[論文レビュー] Stable solutions to some elliptic problems: minimal cones, the Allen-Cahn equation, and blow-up solutions

Xavier Cabré, Giorgio Poggesi|LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)|Jan 1, 2018

Nonlinear Partial Differential Equations参考文献 37被引用数 10

ひとこと要約

本稿は、最小錐、アレン＝キャーン方程式、反応拡散方程式における吹き上がり解の3つの基本的な楕円型問題に対する安定解の統一的解析を提示する。変分法および第二変分推定を用いて、正則性と分類に関する結果を確立し、低次元では安定解が滑らかであることを証明するとともに、有界性および対称性の鋭い閾値を特定する。特に、シモンズの錐と鞍状解の役割を通じてその特徴を明らかにする。

ABSTRACT

These notes record the lectures for the CIME Summer Course taught by the first author in Cetraro during the week of June 19-23, 2017. The notes contain the proofs of several results on the classification of stable solutions to some nonlinear elliptic equations. The results are crucial steps within the regularity theory of minimizers to such problems. We focus our attention on three different equations, emphasizing that the techniques and ideas in the three settings are quite similar. The first topic is the stability of minimal cones. We prove the minimality of the Simons cone in high dimensions, and we give almost all details in the proof of J. Simons on the flatness of stable minimal cones in low dimensions. Its semilinear analogue is a conjecture on the Allen-Cahn equation posed by E. De Giorgi in 1978. This is our second problem, for which we discuss some results, as well as an open problem in high dimensions on the saddle-shaped solution vanishing on the Simons cone. The third problem was raised by H. Brezis around 1996 and concerns the boundedness of stable solutions to reaction-diffusion equations in bounded domains. We present proofs on their regularity in low dimensions and discuss the main open problem in this topic. Moreover, we briefly comment on related results for harmonic maps, free boundary problems, and nonlocal minimal surfaces.

研究の動機と目的

• 非線形楕円型方程式の安定解を分類すること。特に、最小錐、アレン＝キャーン方程式、安定解の有界性という3つの中心的問題に焦点を当てる。
• 見た目には異なるこれらの問題の間で、解析的手法を統一し、安定性および正則性の性質における深い構造的類似性を明らかにすること。
• 特にシモンズの平坦性定理および鞍状解に関する予想の詳細な証明の解説を提供し、高次元における未解決問題への洞察を提示すること。
• 低次元における安定解の正則性結果を確立し、次元が有界性および対称性を決定づける重要な役割を強調すること。
• キャリブレーション技術および幾何学的解析を用いて、調和写像、自由境界問題、非局所的最小表面といったより広範な文脈と関連付けること。

提案手法

• 最小曲面の安定性を解析するため、面積関数の第一および第二変分を用い、平均曲率 $\mathcal{H}$ および接ベクトル場 $\delta\xi$ と主曲率を含む第二変分を扱う。
• 第二変分の公式 $\left.\frac{d^2}{dt^2}P(E_t,B_R)\right|_{t=0} = \int_{\partial E} \left\{ |\delta\xi|^2 - (c^2 - \mathcal{H}^2)\xi^2 \right\} dH_{n-1}$ を用いて、安定最小曲面を定義・解析する。
• ベクトル場 $X = \nabla u$ が $\mathrm{div}\, X = \frac{|\partial\Omega|}{|\Omega|}$ および $X \cdot \nu = 1$ を $\partial\Omega$ 上で満たすようにしてキャリブレーション技術を適用し、等周不等式を導出する。
• 面積公式および幾何平均・算術平均不等式を用いて $\det D^2u$ を制御し、$|\nabla u(\Gamma_u)| \geq \mathrm{vol}(B_1)$ を証明することで最適性を確立する。
• アレン＝キャーン方程式の解析において、デ・ジョルジの予想に焦点を当て、シモンズの錐上で消える鞍状解の存在と対称性を検討する。
• $L^p$-推定およびソボレフ埋没を用いて $L^\infty$-有界性を確立し、$L^{(n-1)/(n-3)}$ と $L^3$ のノルムの指数比較から、臨界次元 $n \leq 4$ が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 アレン＝キャーン方程式の $\mathbb{R}^n$ における安定解が、デ・ジョルジが予想したように、$n \geq 8$ のとき常に1次元的である条件は何か？
• RQ2 $m \geq 2$ のとき、$\mathbb{R}^{2m}$ における錐のうち、シモンズの錐は周囲面積関数の最小化者として一意的であるか？ また、高次元におけるその安定性はいかがな状態か？
• RQ3 反応拡散方程式 $-\Delta u = f(u)$ の有界領域におけるすべての安定解は有界であるか？ その有界性の鋭い次元閾値は何か？
• RQ4 高次元におけるアレン＝キャーン方程式の安定解の分類において、シモンズの錐の役割は何か？
• RQ5 キャリブレーション法を用いて、等周不等式が球のみで等号成立することを証明できるか？ そのために必要な幾何学的および解析的条件は何か？

主な発見

• $m \geq 2$ のとき、シモンズの錐は $\mathbb{R}^{2m}$ で最小である。さらに、$2m \geq 8$ のとき、すべての錐の中で周囲面積関数の最小化者である。
• $n \leq 7$ のとき、$\mathbb{R}^n$ における安定最小錐は平坦（すなわち、超平面）である。これは、第二変分推定を用いたシモンズの定理によって確立された。
• アレン＝キャーン方程式のデ・ジョルジ予想は、$n \geq 8$ の次元で未解決のままであり、シモンズの錐上で消える鞍状解は、反例候補として重要な役割を果たす。
• $\Omega$ が有界領域である反応拡散方程式 $-\Delta u = f(u)$ の安定解は、$n \leq 4$ の次元で有界であり、$C^2$ 級である。その有界性は $f$ の $L^\infty$-ノルムに依存する。
• 等周不等式 $\frac{|\partial\Omega|}{|\Omega|^{(n-1)/n}} \geq \frac{|\partial B_1|}{|B_1|^{(n-1)/n}}$ は、$\Omega$ が球である場合に限り等号が成立する。これは、$X = \nabla u$ を用いたキャリブレーションによる証明により示された。
• $\Omega$ で $\Delta u = \frac{|\partial\Omega|}{|\Omega|}$ かつ $\partial\Omega$ 上で $u_\nu = 1$ を満たす $u$ を用いたキャリブレーション法により、$|\nabla u(\Gamma_u)| \geq \mathrm{vol}(B_1)$ が得られ、等周不等式が球のみで等号成立することを証明した。