[論文レビュー] Overdetermined boundary value problems for the $\infty$-Laplacian

Giuseppe Buttazzo, Bernd Kawohl|arXiv (Cornell University)|Nov 13, 2009

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

ひとこと要約

本稿は、領域 Ω⊂ℝⁿ における ∞-ラプラシアンの過剰決定境界値問題を調査し、粘性解が −Δ∞u=1 かつゼロDirichlet境界条件と定数Neumann境界条件を満たす場合、解がウェブ関数（境界からの距離にのみ依存）であると仮定すれば、Ω は球である必要があることを示している。主な結果は、境界からの距離関数 u∞(x)=d(x,∂Ω) が、|Du|−1=0 および Ω∖ℛ(Ω) における −Δ∞u=0 を満たす極限問題の唯一の粘性解であるということである。

ABSTRACT

We consider overdetermined boundary value problems for the $\infty$-Laplacian in a domain $Ω$ of $\R^n$ and discuss what kind of implications on the geometry of $Ω$ the existence of a solution may have. The classical $\infty$-Laplacian, the normalized or game-theoretic $\infty$-Laplacian and the limit of the $p$-Laplacian as $p o \infty$ are considered and provide different answers.

研究の動機と目的

• ∞-ラプラシアンの過剰決定境界値問題が解をもつとき、その解が領域 Ω⊂ℝⁿ に及ぼす幾何的意味を特定すること。
• 古典的、正規化、p-ラプラシアンの極限としての ∞-ラプラシアンの定義の違い、および解の概念（粘性解 vs. 弱解）の違いが、Ω の幾何に与える影響を検討すること。
• 解がウェブ関数（u が ∂Ω からの距離にのみ依存）であると仮定した場合、唯一の可能な領域は球であることを確立すること。
• 境界からの距離関数 d(x,∂Ω) が、|Du|−1=0 および Ω∖ℛ(Ω) における粘性解としての −Δ∞u=0 を満たす極限問題の唯一の粘性解であることを証明すること。

提案手法

• 粘性解理論を用いて ∞-ラプラシアンを定義し、−Δ∞u = ⟨D²u Du, Du⟩ とし、接触点における下位解および上位解の条件によって解を解釈する。
• 球における径数解を解析し、u(r) = (3⁴ᐟ³/4)(R⁴ᐟ³−r⁴ᐟ³) の明示的形を得る。ここで Neumann 条件 −∂u/∂ν = a を満たすと、R = a³/3 が得られる。
• p→∞ における p-ラプラシアン方程式の漸近的解析を適用し、粘性解 uₚ が距離関数 u∞(x)=d(x,∂Ω) に収束することを示す。
• p-ラプラシアンの不等式を極限にとらえ、u∞ が min{|Du|−1, −⟨D²u Du, Du⟩}=0 の粘性下位解および上位解であることを示す。
• Cauchy-Kowalewski の定理と勾配上昇の軌道解析を用いて、一般の領域におけるウェブ関数仮定の正当性を裏付ける。
• 比較原理と収束論を用いて、極限方程式が正則集合における eikonal 方程式 |Du|=1 と ∞-調和方程式 −Δ∞u=0 の両方の本質的特徴を捉えていることを示す。

実験結果

リサーチクエスチョン

• RQ1 −Δ∞u=1 に粘性解が存在し、境界 ∂Ω で u=0 および −∂u/∂ν=a を満たす場合、領域 Ω に課される幾何的制約は何か？
• RQ2 過剰決定問題において、∞-ラプラシアンの解構造は p-ラプラシアンのそれとどのように異なるか。特に正則性および解の一意性の観点から。
• RQ3 距離関数 d(x,∂Ω) は、eikonal 方程式と ∞-調和方程式を含む極限過剰決定問題の粘性解として機能できるか？
• RQ4 距離関数が ∞-ラプラシアンの唯一の固有関数となる条件は何か。また、リッジ集合 ℛ(Ω) はこの一意性にどのように影響するか？
• RQ5 ウェブ関数仮定は、解構造と領域の幾何の間の関係をどのように結びつけるか。この仮定は一般の領域において正当化可能か？

主な発見

• 距離関数 u∞(x)=d(x,∂Ω) は、Ω において min{|Du|−1, −⟨D²u Du, Du⟩}=0 の粘性解であり、|Du|=1 および Ω∖ℛ(Ω) における −Δ∞u=0 を満たす。
• 解は ∂Ω で u=0 を満たし、∂Ω の微分可能部分で −∂u/∂ν=1 を満たすため、極めて過剰決定された境界値問題の解である。
• リッジ集合 ℛ(Ω) が中点軸 M(Ω) と一致する場合、u∞ は ∞-ラプラシアンの唯一の固有関数であり、Ω における固有値方程式 min{−⟨D²u Du, Du⟩, −|Du|+Λ∞u}=0 を満たす。
• 古典的 ∞-ラプラシアンにおいて、半径 R=a³/3 の球における径数解は、Dirichlet 条件および Neumann 条件を両方満たしており、このような解を持つのは球のみであることが示された。
• 粘性解のアプローチにより、|Du|=0 またはヘッセ行列が退化する点においても、滑らかな関数が上からまたは下から接触する点でテストすることで、非滑らか解の解析が可能になる。
• p→∞ における p-ラプラシアン解 uₚ が u∞ に収束することを粘性解理論によって確立し、極限方程式が過剰決定問題の本質的特徴を捉えている。