[論文レビュー] Saddle-shaped solutions of bistable diffusion equations in all of $\mathbb{R}^{2m}$

Xavier Cabré, Joana Terra|ArXiv.org|Jan 22, 2008

Nonlinear Partial Differential Equations参考文献 13被引用数 9

ひとこと要約

本稿では、すべての偶数次元 $\mathbb{R}^{2m}$ における二重安定拡散方程式に対して、サドル型解の存在を確立し、次元 $2m=4$ において無限のモーゼス指数を示すことにより不安定性を証明する。さらに、高次元 ($2m \geq 6$) における漸近的安定性を分析し、弱い意味での安定性の可能性を示唆する。これは、デ・ジョルジ予想および高次元における反例の存在に影響を及ぼす。

ABSTRACT

We study the existence and instability properties of saddle-shaped solutions of the semilinear elliptic equation $-Δu = f(u)$ in the whole $\R^{2m}$, where $f$ is of bistable type. It is known that in dimension $2m=2$ there exists a saddle-shaped solution. This is a solution which changes sign in $\R^2$ and vanishes only on $\{|x_1|=|x_2|\}$. It is also known that this solution is unstable. In this article we prove the existence of saddle-shaped solutions in every even dimension, as well as their instability in the case of dimension $2m=4$. More precisely, our main result establishes that if $2m=4$, every solution vanishing on the Simons cone $\{(x^1,x^2)\in\R^m imes\R^m : |x^1|=|x^2|\}$ is unstable outside of every compact set and, as a consequence, has infinite Morse index. These results are relevant in connection with a conjecture of De Giorgi extensively studied in recent years and for which the existence of a counter-example in high dimensions is still an open problem.

研究の動機と目的

• すべての偶数次元 $\mathbb{R}^{2m}$ において、二重安定方程式 $-\Delta u = f(u)$ のサドル型解の存在を確立すること。
• 特に次元 $2m=4$ におけるこれらの解の安定性特性を分析すること。この次元では不安定性が証明されている。
• 高次元 ($2m \geq 6$) におけるサドル型解が、変数分離型の摂動に対して漸近的安定性を示すかどうかを調査すること。
• これらの結果を、次元 $n \geq 8$ における反例の存在に関連づけたデ・ジョルジ予想に結びつけること。
• これらの解のノード集合としてのシモンズ円錐 $\{|x^1| = |x^2|\}$ の役割と、その幾何学的・変分的意義を明確にすること。

提案手法

• $\mathbb{R}^{2m} = \mathbb{R}^m \times \mathbb{R}^m$ における半径変数 $s = |x^1|$ と $t = |x^2|$ のみに依存する関数としてサドル型解を構成すること。
• エネルギー汎関数解析と変分法を用い、エネルギーの2次変分 $Q_u(\xi) = \int_{\mathbb{R}^n} \left\{ |\nabla \xi|^2 - f'(u)\xi^2 \right\} dx$ を通じて、グローバル最小解、安定性、およびモーゼス指数を定義すること。
• テスト関数 $\xi(y,z) = \phi(y)\psi(z)$ を用いた摂動論法を適用し、ここで $\psi(z) = \dot{u}_0(z)$ は1次元二重安定解の微分である。
• 領域 $\{ -y < z < y \}$ において部分積分を実行し、対称性と径数的構造を活用して2次変分の符号を分析すること。
• $\mathbb{R}^{2m-1}$ におけるハーディー型不等式を用いて得られる二次形式の符号を評価し、次元 $2m \geq 6$ における漸近的安定性を推論すること。
• スケーリングされたテスト関数 $\xi_a(y,z) = \eta(y/a)\dot{u}_0(z)$ を用いて、$a \to \infty$ の極限における2次変分の挙動を分析し、長期的安定性の性質を特定すること。

実験結果

リサーチクエスチョン

• RQ1 二重安定方程式 $-\Delta u = f(u)$ のサドル型解は、すべての偶数次元 $\mathbb{R}^{2m}$ に存在するか？
• RQ2 次元 $2m = 4$ におけるサドル型解は不安定であり、無限のモーゼス指数を持つのか？
• RQ3 次元 $2m \geq 6$ におけるサドル型解は、変数分離型摂動に対して漸近的安定性を示すのか？
• RQ4 サドル型解の安定性特性は、デ・ジョルジ予想および高次元における反例の存在とどのように関係するか？
• RQ5 シモンズ円錐 $\{|x^1| = |x^2|\}$ がノード集合として果たす役割と、その幾何的性質が解の挙動を決定づける役割は何か？

主な発見

• すべての偶数次元 $2m$ において、サドル型解が $\mathbb{R}^{2m}$ に存在する。
• 次元 $2m = 4$ において、シモンズ円錐 $\{|x^1| = |x^2|\}$ に零となるすべての解は、任意のコンパクト集合の外部で不安定である。
• この不安定性のおかげで、$2m = 4$ におけるこれらの解は無限のモーゼス指数を持つ。
• 次元 $2m \geq 6$ において、摂動 $\xi(y,z) = \phi(y)\dot{u}_0(z)$ に対するエネルギーの2次変分は、$a \to \infty$ の極限で非負の極限に近づくため、ある種の漸近的安定性を示している。
• $2m \geq 6$ における漸近的安定性は、$m-1 \leq (2m-3)^2/4$ を満たすハーディー型不等式によって裏付けられており、これは $2m \geq 6$ のとき成立する。
• このように漸近的安定性が示されても、$2m=6$ における完全な解は、著者らの後続結果により不安定であると判明しており、漸近的安定性がグローバル安定性を意味するとは限らないことを示している。