[论文解读] Bifurcation results for semilinear elliptic problems in R^N

Marino Badiale, Alessio Pomponio|ArXiv.org|Nov 21, 2002

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文通过非线性约化方法，在 $−\Delta$ 的本质谱底部建立了 $ℝ^N$ 上非线性椭圆方程解的分支。该方法将无限维问题约化为有限维流形上的临界点分析，证明了在 $H^1(ℝ^N)$ 或 $L^∞(ℝ^N)$ 中从原点出发的解族的存在性，其精确行为取决于非线性指数 $p$ 和维度 $N$，包括从零、无穷或两者均远离的解曲线。

ABSTRACT

In this paper we obtain, for a semilinear elliptic problem in R^N, families of solutions bifurcating from the bottom of the spectrum of $-Δ$. The problem is variational in nature and we apply a nonlinear reduction method which allows us to search for solutions as critical points of suitable functionals defined on finite-dimensional manifolds.

研究动机与目标

• 在 $ℝ^N$ 上的半线性椭圆方程中，建立在 $H^1(\mathbb{R}^N)$ 和 $L^\infty(\mathbb{R}^N)$ 中从原点出发的解族存在的证明。
• 分析当参数 $\lambda \to 0^-$ 时这些解的渐近行为，区分解从零、从无穷或两者均远离的分支情形。
• 扩展并修正早期关于从连续谱分支的研究，特别是填补了文献[2]中定理3.2证明中的一个漏洞。
• 证明在系数 $a(x)$、$b(x)$ 以及指数 $p$、$q$ 满足适当条件时，解族在参数-解空间中形成连续曲线。
• 通过非线性约化方法建立严格的框架，将无限维问题约化为有限维问题，从而实现临界点分析。

提出的方法

• 应用变量变换 $u(x) = \varepsilon^{2/(1-p)} \psi(x/\varepsilon)$，$\lambda = -\varepsilon^2$，将原方程转化为含小参数 $\varepsilon$ 的扰动方程。
• 使用非线性约化方法，将寻找扰动方程解的问题转化为在有限维流形上寻找泛函临界点的问题。
• 定义依赖于有限维参数 $\theta$ 的约化泛函 $f_\varepsilon(\theta)$，并通过隐函数定理分析其临界点。
• 建立解 $u_\varepsilon = z_{\theta_\varepsilon} + w(\varepsilon, \theta_\varepsilon)$ 的存在性，其中 $z_{\theta_\varepsilon}$ 为平移后的轮廓，$w$ 为随 $\varepsilon \to 0$ 趋于零的余项。
• 证明当 $\varepsilon \to 0$ 时 $\theta_\varepsilon \to 0$，意味着解曲线在轮廓空间中以原点为中心。
• 通过逆变换 $\psi_\lambda(x) = \varepsilon^{2/p - 1} u_\varepsilon(\varepsilon x)$ 恢复原方程的解，并分析其范数在 $\lambda \to 0^-$ 时的行为。

实验结果

研究问题

• RQ1 在 $a(x)$、$b(x)$ 及指数 $p$、$q$ 满足何种条件下，$ℝ^N$ 上的半线性椭圆方程在 $H^1(ℝ^N)$ 中存在从原点出发的解族？
• RQ2 当 $\lambda \to 0^-$ 时，解范数 $||\psi_\lambda||_{H^1}$ 的渐近行为如何依赖于 $p$ 的取值和维度 $N$？
• RQ3 能否证明解族在 $(\lambda, \psi_\lambda)$-空间中形成连续曲线？在 $p$、$N$ 及系数满足何种条件下该结论成立？
• RQ4 临界指数 $p = 1 + 4/N$ 在决定解是从零还是从无穷分支中起始时起什么作用？
• RQ5 对 $a(x)$ 的假设——即 $a - A \in L^1(\mathbb{R}^N)$ 或 $a - A \sim L/|x|^\gamma$ 在无穷远处——如何影响分支结构？

主要发现

• 在假设 $\mathbf{(a_1)}$、$\mathbf{(a_2)}$、$\mathbf{(b_1)}$、$\mathbf{(b_2)}$ 下，方程在 $L^\infty(\mathbb{R}^N)$ 中存在从原点出发的解族；若 $p < 1 + 4/N$，则在 $H^1(\mathbb{R}^N)$ 中也存在。
• 当 $\mathbf{(a_3)}$、$\mathbf{(b_1)}$、$\mathbf{(b_3)}$ 成立时，类似解族在 $L^\infty(\mathbb{R}^N)$ 中从原点出发，且若 $p < 1 + 4/N$，在 $H^1(\mathbb{R}^N)$ 中亦存在。
• 当 $N=1,2,3$ 且 $p \geq 3$ 时，存在连续解曲线 $\lambda \mapsto \psi_\lambda$，其中 $\lambda \in (\lambda_0, 0)$，$\lambda_0 < 0$。
• 当 $N=1$，$2 \leq p < 5$ 时，解范数 $||\psi_\lambda||_{H^1} \to 0$ 当 $\lambda \to 0^-$，表明解从原点分支。
• 当 $N=1$，$p=5$ 或 $N=2$，$p=3$ 时，解范数 $||\psi_\lambda||_{H^1} \to c \neq 0$，表明解既不趋近于零也不趋近于无穷。
• 当 $N=1$，$p>5$ 或 $N=2$，$p>3$ 或 $N=3$，$3 \leq p < 5$ 时，解范数 $||\psi_\lambda||_{H^1} \to \infty$，表明解从无穷分支。