[論文レビュー] On Serrin's overdetermined problem and a conjecture of Berestycki, Caffarelli and Nirenberg

Kelei Wang, Juncheng Wei|arXiv (Cornell University)|Feb 16, 2015

Advanced Mathematical Modeling in Engineering参考文献 19被引用数 5

ひとこと要約

本稿は、やや弱い正則性および次元制約の下で、epigraph領域におけるSerrinの過剰決定問題が、領域が半空間であり、解が1次元的であることを示す。単調性、吹き下げ解析、varifold収束を用いて、次元n ≤ 8、またはグローバルリプシッツ的・平面的epigraphに対して、Berestycki-Caffarelli-Nirenberg予想を解決し、最良の条件下での剛性を確認した。n ≥ 9では反例を提示し、次元制限の最適性を示した。

ABSTRACT

This paper concerns rigidity results to Serrin's overdetermined problem in an epigraph $$ \{\begin{aligned} &Δu+ f(u)=0,\ \ \ {in}\ Ω=\{(x^\prime,x_n): x_n>φ(x^\prime)\},\\ &u>0,\ \ \ {in}\ Ω,\\ &u=0,\ \ \ {on}\ \partialΩ,\\ &| abla u|=const. {on} \partialΩ. \end{aligned}. $$ We prove that up to isometry the epigraph must be an half space and that the solution $u$ must be one-dimensional, provided that one of the following assumptions are satisfied: either $n=2$; or $ φ$ is globally Lipschitz, or $n \leq 8$ and $ \frac{\partial u}{\partial x_n} >0$ in $Ω$. In view of the counterexample constructed in \cite{DPW} in dimensions $n\geq 9$ this result is optimal. This partially answers a conjecture of Berestycki, Caffarelli and Nirenberg \cite{BCN}.

研究の動機と目的

• unboundedなepigraph領域におけるSerrinの過剰決定問題に関するBerestycki-Caffarelli-Nirenberg予想を解決すること。
• 自然な条件下で、唯一の許容可能な領域は半空間であり、解は1次元的であることを確立すること。
• Serrinの定理による有界領域の剛性結果を、非有界epigraphに非線形項（Allen-Cahn型）を含めて拡張すること。
• 剛性の鋭い次元閾値を特定し、n ≥ 9での反例により最適性を示すこと。
• 過剰決定問題の解析において、単調性、自由境界、幾何測度論の手法を統合すること。

提案手法

• 与えられた非線形性の条件下で、動平面法と単調性推定を用いて、Ω内で∂u/∂xₙ > 0を示すこと。
• u_ε(x) = u(ε⁻¹x)によるスケーリングを用いた吹き下げ解析により、エネルギー汎関数から極限varifold Vを抽出すること。
• 極限varifold Vを、∫nᵢ[Lᵢ]の形の重み付きの線分の有限和として特徴づけ、定常条件∑nᵢeᵢ = 0を満たすこと。
• 2次元における{u = 0}の零点集合の凸性と、φのリプシッツ性・強制的性質を用いて、極限領域を制約すること。
• Modica型不等式とW(u)のL¹バインディングを用いてエネルギーの成長を制御し、極限で半空間に収束することを保証すること。
• varifoldの定常性と幾何的制約（凸性、漸近的平坦性）を組み合わせ、極限が半空間でなければならないことを導出すること。

実験結果

リサーチクエスチョン

• RQ1 epigraph領域におけるSerrinの過剰決定問題が、領域が半空間であることを示す条件は何か？
• RQ2 epigraph領域において、次元n ≤ 8でBerestycki-Caffarelli-Nirenberg予想は真か？
• RQ3 幾何的・変分的手法を用いて、有界領域を超えた非有界領域における過剰決定問題の剛性結果を拡張できるか？
• RQ4 剛性が失敗する鋭い次元閾値は何か？その構造的特徴は解の構造にどのように反映されるか？
• RQ5 単調性、エネルギーバインディング、varifold収束が、自由境界問題における1次元的対称性の証明にどのように作用するか？

主な発見

• n = 2の場合、epigraph領域におけるSerrinの過剰決定問題の任意の解は1次元的であり、領域は半空間でなければならない。
• φがグローバルリプシッツ的であれば、解は1次元的であり、領域は半空間でなければならない。これにより、このクラスで予想が確認された。
• φが強制的（|x'| → ∞ で φ(x') → ∞）であれば、過剰決定問題には解が存在しない。
• 次元n ≤ 8では、Ω内で∂u/∂xₙ > 0を仮定すれば、解は1次元的であり、領域は半空間でなければならない。
• 結果は最適である：n ≥ 9では反例が存在し、次元制限を外せないことが示された。
• 吹き下げプロセスからの極限varifoldは、∫nᵢeᵢ = 0を満たす重み付き線分の有限和であり、幾何的制約が極限を半空間に強制する。