[論文レビュー] On De Giorgi Conjecture in Dimension $N \geq 9$

Manuel del Pino, Michał Kowalczyk+1 more|ArXiv.org|Jun 19, 2008

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

ひとこと要約

この論文は、ボンビエリ＝デ・ジョルジ＝ジュスティが構築した非平面な最小グラフ $\Gamma$ を用いて、次元 $N \geq 9$ におけるデ・ジョルジの予想の反例を構成する。精密な接合法と無限次元のライプニッツ＝シュミット還元を用い、レベル集合が吹き抜いた最小グラフ $\Gamma_\alpha = \alpha^{-1}\Gamma$ に漸近する有界で単調な解 $u_\alpha$ を構築することで、予想が要求するようにレベル集合が平面でなければならないという条件を破る。

ABSTRACT

A celebrated conjecture due to De Giorgi states that any bounded solution of the equation $Δu + (1-u^2) u = 0 \hbox{in} \R^N $ with $\pp_{y_N}u >0$ must be such that its level sets $\{u=\la\}$ are all hyperplanes, {\em \bf at least} for dimension $N\le 8$. A counterexample for $N\ge 9$ has long been believed to exist. Based on a minimal graph $Γ$ which is not a hyperplane, found by Bombieri, De Giorgi and Giusti in $\R^N$, $N\ge 9$, we prove that for any small $α>0$ there is a bounded solution $u_α(y)$ with $\pp_{y_N}u_α>0$, which resembles $ anh (\frac t{\sqrt{2}}) $, where $t=t(y)$ denotes a choice of signed distance to the blown-up minimal graph $Γ_α:= α^{-1}Γ$. This solution constitutes a counterexample to De Giorgi conjecture for $N\ge 9$.

研究の動機と目的

• 次元 $N \geq 9$ におけるデ・ジョルジの予想が成り立つかどうかという長年の未解決問題を解消すること。
• 次元 $N \geq 9$ におけるアレン＝オーガン方程式 $\Delta u + (1 - u^2)u = 0$ の有界で単調な解 $u$ を構成し、そのレベル集合が平面でないことを示すこと。
• ボンビエリ、デ・ジョルジ、ジュスティが発見したように、次元 $N \geq 9$ の $\mathbb{R}^N$ に非平面な最小グラフが存在することを応用して、このような解の存在を確立すること。
• 非平面な最小グラフに起因する無限次元の核と非線形性を扱うために、新しい無限次元のライプニッツ＝シュミット還元フレームワークを開発すること。

提案手法

• ボンビエリ、デ・ジョルジ、ジュスティが構築した、平面でない最小グラフ $\Gamma$ を $\mathbb{R}^N$ ($N \geq 9$) に用いる。
• 小さな $\alpha > 0$ に対して最小グラフを $\Gamma_\alpha = \alpha^{-1}\Gamma$ にスケーリングし、ゆっくり変化する大スケールの摂動を生成する。
• 層状のアンザッツを用いて、$t$ を $\Gamma_\alpha$ からの符号付き距離とするとき、$\tanh(t/\sqrt{2})$ に類似した近似解を構築する。
• 非線形接合手順を適用して近似解を補正し、アレン＝オーガン方程式に対する小さな誤差で解を得る。
• 重み付き $L^{p,\nu}$ 空間におけるジャコビ作用素 $\mathcal{J}_0$ の完全な線形化と逆作用素理論を用いて、線形化問題を制御する。
• 適切な関数空間における固定点定理を用いて還元問題を解き、正確な解 $u_\alpha$ を得る。

実験結果

リサーチクエスチョン

• RQ1 アレン＝オーガン方程式 $\mathbb{R}^N$ における有界で単調な解のレベル集合がすべて平面であるというデ・ジョルジの予想は、$N \geq 9$ において成り立つか？
• RQ2 次元 $N \geq 9$ の $\mathbb{R}^N$ に存在する非平面な最小グラフを用いて、デ・ジョルジの予想の反例を構築できるか？
• RQ3 レベル集合が非平面な最小グラフに漸近するような、有界で単調なアレン＝オーガン方程式の解を構築することは可能か？
• RQ4 このような構成に起因する無限次元の核と非線形性を扱うために必要な解析的フレームワークは何か？

主な発見

• 任意の小さな $\alpha > 0$ に対して、次元 $N \geq 9$ におけるアレン＝オーガン方程式 $\Delta u + (1 - u^2)u = 0$ の有界解 $u_\alpha(y)$ が構成され、$\partial_{y_N}u_\alpha > 0$ を満たす。
• 解 $u_\alpha$ は、$t$ を $\Gamma_\alpha = \alpha^{-1}\Gamma$ からの符号付き距離とするとき、$\tanh(t/\sqrt{2})$ に漸近するため、そのレベル集合は平面でない。
• 非平面な最小グラフに起因する非退化性の問題を克服するため、精密な無限次元のライプニッツ＝シュミット還元に依存している。
• 重み付き $L^{p,\nu}$ 空間における固定点定理により、解 $u_\alpha$ が存在することが示され、線形化作用素 $\mathcal{J}_0$ の逆作用素は上解と近似スキームを用いて構成された。
• この方法により、$u_\alpha$ のレベル集合が最小曲面 $\Gamma_\alpha$ の上にグラフとして表され、これは平面でないため、デ・ジョルジの予想の結論に反する。
• この結果により、デ・ジョルジの予想がすべての次元 $N \geq 9$ で成立しないことが確認され、この範囲における最初の明示的反例が得られた。