[论文解读] Sharp estimates for semi-stable radial solutions of semilinear elliptic equations

Salvador Villegas|ArXiv.org|Jun 8, 2009

Nonlinear Partial Differential Equations参考文献 9被引用 4

一句话总结

本文建立了单位球内半线性椭圆方程半稳定径向解的精确点态估计，特别是针对方程 $-\Delta u = \lambda f(u)$ 在 Dirichlet 边界条件下的极值解。对于 $N \geq 10$，证明了极值解及其前三阶径向导数在原点附近具有最优渐近行为，消除了先前估计中出现的 $\sqrt{\left|\log|x|\right|}$ 因子，并构造了一个庞大的无界 $H^1$ 解族，以证明这些界是精确的。

ABSTRACT

This paper is devoted to the study of semi-stable radial solutions $u\in H^1(B_1)$ of $-Δu=g(u) {in} B_1\setminus \{0\}$, where $g\in C^1(R)$ is a general nonlinearity and $B_1$ is the unit ball of $R^N$. We establish sharp pointwise estimates for such solutions. As an application of these results, we obtain optimal pointwise estimates for the extremal solution and its derivatives (up to order three) of the semilinear elliptic equation $-Δu=λf(u)$, posed in $B_1$, with Dirichlet data $u|_{\partial B_1}=0$, and a continuous, positive, nondecreasing and convex function $f$ on $[0,\infty)$ such that $f(s)/s o\infty$ as $s o\infty$.

研究动机与目标

• 在 $B_1 \setminus \{0\}$ 中为 $-\Delta u = g(u)$ 的半稳定径向解建立精确点态估计，其中 $g \in C^1(\mathbb{R})$。
• 改进 $-\Delta u = \lambda f(u)$ 在单位球中极值解 $u^*$ 的现有估计，其中 $f$ 非减、严格凸，且满足当 $s \to \infty$ 时 $f(s)/s \to \infty$。
• 解决一个开放问题：对于 $N \geq 10$，能否从先前估计中去除 $\sqrt{\left|\log|x|\right|}$ 因子？
• 为 $N \geq 10$ 构造一个庞大的半稳定、径向递减、无界 $H^1(B_1)$ 解族，以证明所导出界的精确性。

提出的方法

• 通过分析半线性椭圆方程的径向常微分方程形式，推导径向解的点态估计。
• 使用变换 $u_r = -r^{-N/2 + \sqrt{N-1} + 1} \varphi(r)$ 将问题转化为研究 $\varphi(r)$ 及其导数的行为。
• 应用比较论证与渐近分析，控制 $u^*$ 及其在 $r = 0$ 附近的导数的增长，特别是当 $N \geq 10$ 时。
• 采用基于 $C^2$ 函数 $h$（满足 $h(0) = 0$，$h' \geq 0$，$h'' \leq 0$）的摄动框架，以构造在给定点具有预设 $u_{rrr}$ 行为的解。
• 通过构造序列 $\{r_n\}$ 和 $\{M_n\}$，使得对无界解有 $|u_{rrr}(r_n)| \geq M_n$，证明界的精确性，表明不存在可积的控制函数 $\psi(r)$。
• 利用半稳定性条件 $\int_{B_1} (|\nabla v|^2 - g'(u)v^2)\,dx \geq 0$（对紧支集 $v$）确保解的半稳定性。

实验结果

研究问题

• RQ1 对于 $N \geq 10$，先前估计中极值解的 $\sqrt{\left|\log|x|\right|}$ 因子能否被去除？
• RQ2 对于 $N \geq 10$ 的径向情形，极值解 $u^*$ 及其前三阶径向导数的最优点态衰减速率是什么？
• RQ3 极值解 $u^*$ 及其导数的渐近行为是否精确？能否通过显式构造无界 $H^1$ 解来证明这一点？
• RQ4 对于 $N \geq 10$，是否存在一个通用控制函数 $\psi(r)$，使得对所有半稳定、径向递减的 $H^1$ 解，均有 $|u_{rrr}(r)| \leq C\psi(r)$？
• RQ5 对于 $N \geq 10$，极值解的第三阶径向导数在原点附近的精确爆破速率是什么？

主要发现

• 对于 $N < 10$，极值解满足 $u^*(r) \leq C(1 - r)$ 对所有 $r \in [0,1]$ 成立，表明其在边界处有界且 Hölder 连续。
• 对于 $N = 10$，极值解满足 $u^*(r) \leq C|\log r|$ 对所有 $r \in (0,1]$ 成立，确认了对数增长的精确性。
• 对于 $N > 10$，极值解满足 $u^*(r) \leq C(r^{-N/2 + \sqrt{N-1} + 2} - 1)$，表明其具有幂函数型爆破，指数为 $-N/2 + \sqrt{N-1} + 2$。
• 对于 $N \geq 10$，前三阶径向导数满足 $|\partial_r^k u^*(r)| \leq C r^{-N/2 + \sqrt{N-1} + 2 - k}$，其中 $C = C_N \min_{t \in [1/2,1]} |u_r^*(t)|$，证明了最优衰减速率。
• 对于 $N \geq 10$，不存在一个通用的 $\psi(r)$ 使得对所有此类解均有 $|u_{rrr}(r)| \leq C\psi(r)$，从而证明了所导出界的精确性。
• 对于 $N \geq 10$，存在一个庞大的半稳定、径向递减、无界 $H^1(B_1)$ 解族，通过径向轮廓的摄动构造而成，证明了估计的最优性。