[論文レビュー] Blow-up solutions for a Kirchhoff type elliptic equation with trapping potential

Helin Guo, Yimin Zhang+1 more|arXiv (Cornell University)|Jul 8, 2017

Advanced Mathematical Physics Problems参考文献 15被引用数 3

ひとこと要約

本稿は、トラッピングポテンシャルを伴う非局所キルヒホッフ型楕円型方程式に対して、正規化された$L^2$ノルム解の存在を確立し、$p < 8/N$のときすべての$\beta > 0$に対して最小化子が存在することを証明するとともに、$p \nearrow 8/N$に伴う爆発挙動を分析している。主な貢献は、すべての$p \in (0, 8/N)$に対して、存在の臨界閾値$\beta^*$を明示的に導出したことであり、$V \equiv 0$の場合とは異なり、トラッピングポテンシャルが解構造に本質的な影響を与えることが明らかになった。

ABSTRACT

We study a generalized Kirchhoff type equation with trapping potential. The existence and blow-up behavior of solutions with normalized L2-norm for this problem are discussed.

研究の動機と目的

• 局所的ケース（$b=0$）における正規化された$L^2$ノルム解の存在および漸近的解析を、非局所キルヒホッフ型方程式（$b>0$）およびトラッピングポテンシャル$V(x) \geq 0$に拡張すること。
• 非ゼロのトラッピングポテンシャルの存在が、$V \equiv 0$の場合と比較して解の存在および爆発挙動に本質的な変化をもたらすかどうかを特定すること。
• すべての$p \in (0, 8/N)$および$1 \leq N \leq 4$に対して、制約エネルギー汎関数の最小化子が存在するための必要十分条件である臨界閾値$\beta^*$の明示的表現を導出すること。
• $p \nearrow p^* = 8/N$に伴う最小化子の爆発プロファイルを分析し、$V(x) = 0$である点に集中することを示すこと。

提案手法

• エネルギー汎関数$E_p^\beta(u)$を、$\|u\|_{L^2} = 1$を満たす関数の集合$S_1$上で制約付き最小化問題として定式化し、制約付き変分法を用いる。
• シュワーツの対称化を用いてエネルギー汎関数を簡略化し、最小化子の回転対称性を確立する。
• エネルギー推定と極限問題との比較を用いて、$p \nearrow 8/N$における爆発挙動を分析し、スケーリング$\overline{w}_p(x) = \epsilon_p^{N/2} u_p(\epsilon_p x + \epsilon_p \overline{y}_{\epsilon_p})$を導入する。
• ファトウの補題と$V(x)$の無限遠における減衰性質を用いて、集中点$z_0$が$V(z_0) = 0$を満たすことを証明し、爆発がポテンシャル井戸の最小値点で発生することを示す。
• スケーリングされた最小化子の漸近的極限$\overline{w}_0$を導出し、$-b\Delta \overline{w}_0 = -\frac{b(4-N)}{2N}\overline{w}_0 + \beta^* \overline{w}_0^{p^*+1}$を満たすことを示し、平行移動を除いて一意性を証明する。
• $V(x) \not\equiv 0$のとき、すべての$\beta > 0$に対して最小化子が存在することを確立し、$V \equiv 0$の場合とは対照的に、存在は$\beta > \beta^*$に依存する。

実験結果

リサーチクエスチョン

• RQ1 非ゼロのトラッピングポテンシャル$V(x)$が、非局所キルヒホッフ方程式における正規化解の存在閾値$\beta^*$に、$V \equiv 0$の場合と比較して本質的な変化をもたらすか？
• RQ2 すべての$p \nearrow 8/N$における最小化子の明確な漸近的挙動は何か？ そして、極限において解はどこに集中するか？
• RQ3 すべての$p \in (0, 8/N)$、特に従来の手法が失敗した$p \in (4/N, 8/N)$の範囲に対しても、$\beta^*$の明示的表現を導出可能か？
• RQ4 解の爆発プロファイルは、特にその最小値の位置に依存するポテンシャル$V(x)$の幾何構造とどのように関係するか？
• RQ5 爆発極限における最小化子は平行移動を除いて一意か？ また、極限プロファイルが満たす方程式は何か？

主な発見

• $V(x) \not\equiv 0$のとき、すべての$\beta > 0$およびすべての$p \in (0, 8/N)$に対して、制約付き最小化問題$d_\beta(p) = \inf_{u \in S_1} E_p^\beta(u)$は最小化子を持つ。これは$V \equiv 0$の場合とは対照的であり、その場合、存在は$\beta > \beta^*$に依存する。
• すべての$p \in (0, 8/N)$に対して、臨界閾値$\beta^*$の明示的表現が導出された。これは従来の結果（$p \in (0, 4/N]$に限られていた）を拡張し、$1 \leq N \leq 4$の範囲で有効である。
• $p \nearrow 8/N$に伴い、最小化子$u_p$は$V(z_0) = 0$を満たす点$z_0$に集中し、スケーリングされたプロファイル$\overline{w}_p$は$H^1(\mathbb{R}^N)$において、平行移動を除いて一意な正の解$\overline{w}_0$に収束する。
• 極限プロファイル$\overline{w}_0$は方程式$-b\Delta \overline{w}_0 = -\frac{b(4-N)}{2N}\overline{w}_0 + \beta^* \overline{w}_0^{p^*+1}$を満たし、これは修正された非線形シュレーディンガー型方程式である。
• $p \nearrow p^*$に伴い、エネルギー差$d_\beta(p) - \widetilde{d}_\beta(p)$は消えることから、最小化子のエネルギーが極限問題のエネルギーに近づくことが示された。
• 集中点$\epsilon_p \overline{y}_{\epsilon_p}$は有界であり、$V(z_0) = 0$を満たす点$z_0$に収束することが証明され、爆発が正確にポテンシャルの最小値点で発生することを示した。