[論文レビュー] A note on the elliptic Kirchhoff equation in R^N perturbed by a local nonlinearity

Antonio Azzollini|arXiv (Cornell University)|Jun 9, 2013

Advanced Mathematical Physics Problems参考文献 1被引用数 7

ひとこと要約

本稿は、$\mathbb{R}^N$ 上の楕円型キルヒホッフ方程式に局所的非線形項を加えた場合の基底状態解の存在および特徴付けを、スケーリングおよび変分法を用いて確立する。先行研究の誤りを是正・補完し、特に$N=4$の場合に、解が存在するための必要十分条件として、$b\int_{\mathbb{R}^N}|\nabla \bar{v}|^2 < 1$が得られ、$N \geq 5$では明示的な条件が提示される。この条件下で作用関数は下界をもつ。

ABSTRACT

In this note we complete the study made in a previous paper on a Kirchhoff type equation with a Berestycki-Lions nonlinearity. We also correct Theorem 0.6 inside.

研究の動機と目的

• キルヒホッフ方程式の存在解析を、ベルスティスキー＝ライオンズ型非線形項を伴う$\mathbb{R}^N$ 上で完成および是正すること。特に、先行研究における誤りに焦点を当てる。
• スケーリング変換を用いて、キルヒホッフ方程式の解を標準的非線形シュレーディンガー型方程式の解と関連付けること。
• すべての次元$N \geq 3$において、基底状態解の存在に必要なパラメータ$a$、$b$および基底状態解のノルムに関する明確な条件を同定すること。
• 導出された存在条件のもとで、キルヒホッフ方程式に関連する作用関数がその下界に達することを証明すること。

提案手法

• キルヒホッフ方程式の解と標準方程式$-\Delta v = g(v)$の解を結びつけるために、スケーリング変換$u(x) = v(tx)$を用いる。
• キルヒホッフ方程式の解の存在は、ある$t > 0$および制限方程式の解$v$に対して、方程式$t^2 a + t^{4-N} b \int_{\mathbb{R}^N} |\nabla v|^2 = 1$の解法に帰着される。
• 作用関数$I(u)$は、関連する解$v$の$\mathcal{D}^{1,2}$ノルムを用いて表現され、その強制性および有界性の解析が可能になる。
• ポホジャエフの恒等式を適用して、$I(u)$を$\int_{\mathbb{R}^N} |\nabla u|^2$の関数として明示的に表現し、作用値の比較に不可欠な役割を果たす。
• 対称化の議論と$H^1_r(\mathbb{R}^N)$における径対称関数上での関数$\int G_1(u)$のコンパクト性を用いて、下界の達成を証明する。
• $t > 0$における関数$f(t) = a t^2 + b_0 t^{4-N}$の詳細な解析を行い、$N \geq 5$における存在の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 $N=4$の場合、$\mathbb{R}^N$ 上のキルヒホッフ方程式はどのような条件下で基底状態解をもつか？
• RQ2 キルヒホッフ方程式の解と制限方程式$-\Delta v = g(v)$の解との間には、どのような明確な関係があるか？
• RQ3 キルヒホッフ方程式の解に対して作用関数はどのように振る舞い、どのような条件下でその最小値に達するか？
• RQ4 $N=4$におけるパラメータ$b$の臨界閾値は何か？これは解の存在を決定づける。
• RQ5 $N \geq 5$において、$a$、$b$および基底状態ノルムに関する明示的条件は何か？この条件が解の存在を保証する。

主な発見

• $N=3$の場合、すべての$a>0$、$b>0$に対してキルヒホッフ方程式は基底状態解をもつ。
• $N=4$の場合、基底状態解が存在するための必要十分条件は、$\bar{v}$を方程式$-\Delta v = g(v)$の基底状態解とするとき、$b \int_{\mathbb{R}^N} |\nabla \bar{v}|^2 < 1$である。
• $N \geq 5$の場合、基底状態解が存在するための必要十分条件は、$a \leq \left(\frac{N-4}{N-2}\right)^{\frac{N-2}{N-4}} \left(\frac{2}{(N-4)b \int_{\mathbb{R}^N} |\nabla \bar{v}|^2}\right)^{\frac{2}{N-4}}$である。
• 作用関数$I(u)$は$N \geq 5$において$H^1(\mathbb{R}^N)$上で有下界かつ強制的であり、下界の達成が保証される。
• この$N \geq 5$の存在条件が厳密不等式で成り立つ場合、スケーリング方程式の2つの解$t_1 < t_2$の存在により、2つの異なる解が存在する。
• この$N \geq 5$の存在条件が成立しない場合、作用関数$I(u)$は$H^1(\mathbb{R}^N)$上で非負である。