[論文レビュー] Symmetry and linear stability in Serrin's overdetermined problem via the stability of the parallel surface problem

Giulio Ciraolo, Rolando Magnanini+1 more|arXiv (Cornell University)|Jan 29, 2015

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

ひとこと要約

本稿は、平行表面問題の安定性と結びつけることで、Serrinの過剰決定問題における最適線形安定性を確立する。著者らは、平行表面におけるリプシッツ正則性推定に基づく新規戦略を用い、境界上で法線微分が定数であれば、領域は球であることを証明し、$C^{2,\tau}$ 領域において鋭い線形安定性推定を提供する。

ABSTRACT

We consider the solution of the problem $$ -Δu=f(u) \ \mbox{ and } \ u>0 \ \ \mbox{ in } \ Ω, \ \ u=0 \ \mbox{ on } \ Γ, $$ where $Ω$ is a bounded domain in $\mathbb{R}^N$ with boundary $Γ$ of class $C^{2,τ}$, $00$, where $r_e$ and $r_i$ are the radii of a spherical annulus containing $Γ$, $Γ^δ$ is a surface parallel to $Γ$ at distance $δ$ and sufficiently close to $Γ$, and $[u]_{Γ^δ}$ is the Lipschitz semi-norm of $u$ on $Γ^δ$; secondly, if in addition $u_ν$ is constant on $Γ$, show that $$ [u]_{Γ^δ}=o(C_δ)\ \mbox{ as } \ δ o 0^+. $$ In this paper, we prove that this strategy is successful. As a by-product of this method, for $C^{2,τ}$-regular domains, we also obtain a linear stability estimate for Serrin's symmetry result. Our result is optimal and greatly improves the similar logarithmic-type estimate of [ABR] and the Hölder estimate of [CMV] that was restricted to convex domains.

研究の動機と目的

• Serrinの対称性定理が平行表面問題の安定性から導かれるという[CMS2]における予想を解決すること。
• Serrinの過剰決定問題について、$C^{2,\tau}$-正則領域における線形安定性推定を確立すること。
• 従来の対数型およびホルダー型の安定性推定を改善し、最適な線形境界を達成すること。
• 幾何学的および解析的技法を用いて、平行表面問題の安定性をSerrin問題の対称性および安定性と結びつけること。

提案手法

• 距離 $\delta$ 離れた平行表面 $\Gamma^\delta$ 上での解 $u$ のリプシッツ正則性推定を、テイラー展開と曲率の上限を用いて導出する。
• 式 (5.1) を確立し、$\Gamma$ および $\Gamma^t$ 上での $u_\nu$ と $u_{\nu\nu}$ の半ノルムと、$[u]_{\Gamma^\delta}$ のリプシッツ半ノルムとの関係を示す。
• $u$ の $C^{2,\tau}$ 正則性を用いて、$t \to 0^+$ のときの $[u_{\nu\nu}]_{\Gamma^t}$ の減少を制御し、可積分性を保証する。
• 平行表面安定性に関する定理 4.2 を適用し、$r_e - r_i$ が $[u_{\nu\nu}]_{\Gamma^t}$ の積分によって有界であるような定量的アニュラス包含 $B_{r_i} \subset \Omega \subset B_{r_e}$ を得る。
• $\delta \to 0^+$ の極限に移行し、線形安定性推定 $r_e - r_i \leq 2C [u_\nu]_\Gamma$ を得る。
• $[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$ であることに着目し、積分項が極限で消えることを保証し、$u_\nu$ が定数のとき対称性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 Serrinの対称性定理は、平行表面問題に基づく安定性議論から導けるか？
• RQ2 Serrinの過剰決定問題について、$C^{2,\tau}$ 領域における最適な定量的安定性推定は何か？
• RQ3 平行表面 $\Gamma^\delta$ 上での $u$ のリプシッツ正則性は、$\Omega$ の幾何にどのように寄与するか？
• RQ4 対数型やホルダー型の境界を越えて、線形安定性にまで改善できるか？
• RQ5 $u$ の $C^{2,\tau}$ 正則性は、$t \to 0^+$ のときの $[u_{\nu\nu}]_{\Gamma^t}$ の減少にどのような役割を果たすか？

主な発見

• 著者らは、[CMS2]における予想を確認した。Serrinの対称性結果は、平行表面問題の安定性から導かれる。
• 鋭い線形安定性推定が確立された：$r_e - r_i \leq 2C [u_\nu]_\Gamma$、ここで $C$ は $N$ と $\tau$ のみに依存する普遍定数である。
• この安定性推定は最適であり、[ABR]における対数型推定および[CMV]におけるホルダー型推定を改善しており、凸性の仮定を不要としている。
• この手法により、安定性の結果として対称性が得られる：$u_\nu$ が $\Gamma$ 上で定数であれば、$\Omega$ は球である。
• 証明は、$\Gamma^\delta$ 上での $u$ のリプシッツ半ノルムを $\Gamma$ および $\Gamma^t$ 上での法線微分の半ノルムで上から抑える新しい推定式 (5.1) に依存している。
• $[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$ の減少率により、積分項が $\delta \to 0^+$ の極限で消えることが保証され、線形境界が得られる。