[論文レビュー] A note on some overdetermined elliptic problem

Frédéric Hélein, Laurent Hauswirth+1 more|arXiv (Cornell University)|Jan 7, 2010

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

ひとこと要約

この論文は、ユークリッド空間における特異的領域—非有界領域で、ゼロのディリクレ境界条件および非ゼロの定数ノイマン境界条件を満たす正の調和関数をもつ領域—を導入し、それらを研究する。次元2における特異的曲面についてワイエルシュトラス型表現を確立し、コンフォーマル写像を用いてℝ²における非自明な例を構成し、バーナイン型定理を証明する：上半平面にコンフォーマルであるが正の勾配をもつ特異的領域は、半平面に限る。これは楔型領域の存在を排除する。

ABSTRACT

We define the notion of an exceptional manifold to be a flat Riemannian manifold with boundary which supports a positive harmonic function satisfying simultaneously a zero Dirichlet condition and a constant (nonzero) Neumann condtion at the boundary. We study the two-dimensional case: we present various examples and give a general construction algorithm of such surface by using complex analysis. We deduce a classification of all such surfaces assuming some further natural hypotheses and prove a Bernstein type theorem.

研究の動機と目的

• 非有界な滑らかなm次元特異的多様体を分類すること。特異的多様体とは、ゼロのディリクレ境界条件および非ゼロの定数ノイマン境界データをもつ正の調和関数をもつ平坦なリーマン多様体として定義される。
• 特異的領域と最小曲面の類似性を調査すること。これは、極値的領域と一定平均曲率超曲面の間の既知の対応関係を模倣する。
• 半空間や球の補集合といった自明なケース以外のℝ²における非自明な特異的領域の例を構成すること。
• 上半平面にコンフォーマルである特異的領域について、半平面型の剛性結果を確立すること。
• m ≥ 3次元における特異的領域の存在と構造を調査すること。現時点では非自明な例は知られていない。

提案手法

• ラプラシアンのコンフォーマル不変性を用いて、無限大ストリップ上の調和関数を、正則微分同相写像F(z) = z + sinh(z)によって新しい領域に変換する。
• 特定の境界挙動をもつ正則関数を用いて、ℝ²における特異的平坦曲面をパラメトライズするワイエルシュトラス型表現公式を適用する。
• 動く平面法を用いて、屋根関数の対称性および単調性を導出し、∂ₓu > 0を保証する。
• 解析接続および反射原理を用いて、上半平面上で定義された正則関数を、虚軸上の境界条件を活用して複素平面全体に拡張する。
• 最大原理およびリウヴィル型の議論を用いて、特定の領域ではゼロ境界データをもつ有界な調和関数が存在できないことを示し、トポロジカルな制約を導く。
• 単位円板の境界上で|H(z)| = 1であることから、Hが有限ブラシケ積であることを導き、正則構造の分類に至る。

実験結果

リサーチクエスチョン

• RQ1 半空間、球の補集合、および低次元特異的領域の積以外に、ℝ²における非自明な特異的領域は存在するか？
• RQ2 上半平面にコンフォーマルであり、屋根関数の正の勾配をもつ2次元特異的領域が半平面でないことはあり得ないか？
• RQ3 コンフォーマル不変性は、ℝ²における特異的領域の構成および分類において果たす役割は何か？
• RQ4 m ≥ 3次元における特異的曲面について、ワイエルシュトラス型表現は存在するか？
• RQ5 ℝ²における楔型領域に特異的領域が存在しうるか。もしあるならば、どのような条件下で存在するか？

主な発見

• Ω = {w ∈ ℂ : |Im w| < π/2 + cosh(Re w)} は、コンフォーマル写像F(z) = z + sinh(z)による無限大ストリップの像として得られるℝ²における非自明な特異的領域である。
• この領域における屋根関数はu(w) = Re(F⁻¹(w))で与えられ、調和的であり、Ω内で正であり、∂Ω上で消失し、定数非ゼロのノイマン境界データをもつ。
• 上半平面にコンフォーマルであり、∂ₓu > 0をもつℝ²における任意の特異的領域は、半平面に限る。これはバーナイン型の剛性結果を証明する。
• 任意の楔型領域{z ∈ ℂ : Re z ≥ κ|Im z|}（κ > 0）に特異的領域が含まれることはありえない。なぜなら、そのような領域ではゼロ境界データをもつ有界な正の調和関数が存在するが、これは屋根関数の構造に矛盾する。
• 上半平面上で定義された正則関数H = (∂z u) ∘ Ψは、|H| ≡ 1 on ℝを満たし、Hは有限ブラシケ積である。勾配条件の下では、Hは定数でなければならない。これによりuはアフィン関数となる。
• ℝ²における特異的領域の分類（相似変換を除いて）は、半空間、球の補集合、および第2節で構成された例のみからなると予想される。