[论文解读] Multiparameter bifurcation and asymptotics for the singular Lane-Emden-Fowler equation with convection term

Marius Ghergu, Vicenţiu D. Rădulescu|ArXiv.org|Feb 9, 2005

Nonlinear Differential Equations Analysis参考文献 25被引用 5

一句话总结

本文研究了带对流项 $|\nabla u|^p$ 的奇异 Lane-Emden-Fowler 方程的多参数分岔与渐近行为，证明当分岔参数 $\lambda$ 趋近临界阈值 $\lambda^*$ 时，解在紧子集上一致爆破。分析基于上下解与最大值原理技术，表明对流项对解的存在性及爆破行为具有决定性影响。

ABSTRACT

We establish several bifurcation results for the singular Lane-Emden-Fowler equation.

研究动机与目标

• 研究带对流项 $|\nabla u|^p$ 的奇异 Lane-Emden-Fowler 方程的多参数分岔结构。
• 研究当 $g(u) \sim u^{-\alpha}$ 且 $0 < \alpha < 1$ 时，解在分岔点附近的渐近行为。
• 确定对流项 $|\nabla u|^p$ 对解的存在性、正则性及爆破行为的影响。
• 建立临界参数 $\lambda^*$ 的存在性，超过该值则无解存在，且当 $\lambda \nearrow \lambda^*$ 时，解在紧子集上一致爆破。
• 通过引入梯度相关非线性项与多参数依赖性，拓展先前关于奇异椭圆方程的研究结果。

提出的方法

• 构造显式上下解以控制解的行为，建立存在性与爆破性质。
• 应用椭圆方程的最大值原理，推导先验估计，并将解与下解进行比较。
• 通过 $M(\lambda) = \|u_\lambda\|_{L^2(\Omega)}$ 的加权 $L^2$-范数归一化，分析爆破形态。
• 利用 $H^1_0(\Omega)$ 中的弱收敛与 $L^2(\Omega)$ 中的强收敛，分析缩放解的极限行为。
• 运用 Green 恒等式与分部积分，推导出 $\Delta w_\lambda$ 在 $L^1_{\text{loc}}(\Omega)$ 中收敛于零。
• 通过 $L^2$-范数归一化与特征函数展开的反证法，证明 $v_\lambda \to \infty$ 在紧集上一致成立。

实验结果

研究问题

• RQ1 对流项 $|\nabla u|^p$ 如何影响奇异 Lane-Emden-Fowler 方程的分岔结构？
• RQ2 当分岔参数 $\lambda$ 趋近临界阈值 $\lambda^*$ 时，解的渐近行为如何？
• RQ3 在何种条件下，解 $u_\lambda$ 在 $\Omega$ 的紧子集上随着 $\lambda \nearrow \lambda^*$ 一致爆破？
• RQ4 当 $g(u) \sim u^{-\alpha}$ 且 $0 < \alpha < 1$ 时，其奇异行为如何影响解的存在性与正则性？
• RQ5 同时存在 $\lambda|\nabla u|^p$ 与 $\mu f(x,u)$ 项时，是否会导致一个有限的最大参数 $\lambda^*$，使得超过该值则无解存在？

主要发现

• 当 $\lambda \nearrow \lambda^*$ 时，奇异问题的解 $u_\lambda$ 在 $\Omega$ 的紧子集上一致爆破。
• 解的爆破由对流项 $|\nabla u|^p$ 驱动，该作用阻止了 $\lambda^*$ 之后解的存在性。
• 缩放序列 $w_\lambda = u_\lambda / M(\lambda)$ 在 $H^1_0(\Omega)$ 中弱收敛，在 $L^2(\Omega)$ 中强收敛，且 $\|w\|_{L^2} = 1$，若 $v_\lambda$ 有界则导致矛盾。
• 矛盾源于特征值不等式 $\lambda_1 \int v^* \varphi_1 \geq \lambda_1 \int (v^* + 1) \varphi_1$，该式不可能成立，因为 $\varphi_1 > 0$ 且 $\int \varphi_1 > 0$。
• 解 $u_\lambda$ 在 $L^2(\Omega)$ 中有界，但在 $H^1_0(\Omega)$ 范数下随着 $\lambda \nearrow \lambda^*$ 而爆破，表明正则性丧失。
• 对流项 $|\nabla u|^p$ 在决定存在性阈值 $\lambda^*$ 中起决定性作用，且当 $0 < p \leq 2$ 时，$\lambda^*$ 为有限正数。