[論文レビュー] 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

ひとこと要約

本稿では、対象とする特異なLane-Emden-Fowler方程式に勾配項 $|\nabla u|^p$ を含む場合について、多パrameter分岐と漸近的挙動を調査し、分岐パrameter $\lambda$ が臨界閾値 $\lambda^*$ に近づくにつれて、解がコンパクト集合上で一様に爆発することを証明している。解析は、下解・上解および最大原理の技法に依拠しており、勾配項が解の存在および爆発挙動に顕著な影響を及えることが示された。

ABSTRACT

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

研究の動機と目的

• 特異なLane-Emden-Fowler方程式に勾配項 $|\nabla u|^p$ を含む場合の多パrameter分岐構造を分析すること。
• $g(u) \sim u^{-\alpha}$ が $0 < \alpha < 1$ のとき、分岐点近傍における解の漸近的挙動を調査すること。
• 勾配項 $|\nabla u|^p$ が解の存在、正則性、および爆発挙動に与える影響を特定すること。
• 解が存在しない臨界パrameter $\lambda^*$ が存在することを確立し、$\lambda \nearrow \lambda^*$ のとき、解がコンパクト集合上で一様に爆発することを示すこと。
• 勾配依存非線形項と多パrameter依存性を組み込んだことで、従来の特異楕円型方程式に関する結果を拡張すること。

提案手法

• 解の挙動を制御し、存在性および爆発を確立するために、明示的な下解・上解の構築。
• 楕円型方程式における最大原理を応用し、事前推定を導出し、解と下解との比較を行う。
• $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 分岐パrameter $\lambda$ が臨界閾値 $\lambda^*$ に近づく際、解の漸近的挙動はいかなるものか？
• RQ3 $\lambda \nearrow \lambda^*$ のとき、解 $u_\lambda$ が $\Omega$ のコンパクト集合上で一様に爆発する条件は何か？
• RQ4 $0 < \alpha < 1$ のとき、$g(u) \sim u^{-\alpha}$ の特異的挙動は、解の存在性および正則性にどのように影響を与えるか？
• RQ5 $\lambda|\nabla u|^p$ 項と $\mu f(x,u)$ 項が同時に存在する場合、解が存在しない最大パrameter $\lambda^*$ が有限に存在するか？

主な発見

• 特異問題の解 $u_\lambda$ は、分岐パrameter $\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)$ で有界のままだが、$\lambda \nearrow \lambda^*$ のとき $H^1_0(\Omega)$ ノルムで爆発するため、正則性の喪失が示唆される。
• 勾配項 $|\nabla u|^p$ は、存在閾値 $\lambda^*$ を決定する上で決定的役割を果たし、$0 < p \leq 2$ のとき $\lambda^*$ は有限かつ正である。