[論文レビュー] A note on higher regularity boundary Harnack inequality

Daniela De Silva, Ovidiu Savin|arXiv (Cornell University)|Mar 11, 2014

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

ひとこと要約

この論文は、$C^{k,\beta}$ 領域における調和関数に対して高階境界ハーナック不等式を確立し、境界で消える2つの正の調和関数の商が境界に近づくまで $C^{k,\beta}$ であることを証明する。主な結果は、このような商が一般の $C^{k,\beta}$ 関数よりも1階分の正則性を向上させることを示しており、基準となる調和関数 $u$ を用いた多項式近似によって達成される。鋭い推定は次元、$k$、および $α$ のみに依存する。これは古典的な境界ハーナック理論を改善し、特に古典的障害問題を含む自由境界問題に応用可能である。

ABSTRACT

We show that the quotient of two positive harmonic functions vanishing on the boundary of a $C^{k,α}$ domain is of class $C^{k,α}$ up to the boundary.

研究の動機と目的

• 調和関数について、$C^{k,\alpha}$ 領域における高階境界ハーナック不等式を確立し、$k=0$ の場合の古典的 $C^{\alpha}$ 結果を $k \geq 1$ に拡張すること。
• 境界で消える2つの正の調和関数の商 $v/u$ が境界に近づくまで $C^{k,\alpha}$ であることを示し、一般の $C^{k,\alpha}$ 関数よりも1階分の正則性向上を達成すること。
• ハドログラフ変換に依存しない、楕円型偏微分方程式における自由境界の高階正則性を示すための新規な手法を提供すること、特に古典的障害問題に応用可能であること。
• 調和関数に限らず、$C^{k,\alpha}$ 係数および境界データを持つ一般線形楕円型方程式の解に対しても結果を一般化すること。
• 境界 $\partial\Omega$ の正則性が、基準関数 $u$ が $\partial\Omega$ で消える限り、商の正則性向上に制限を及えないことの証明。

提案手法

• 境界で消える $C^{k,\alpha}$ の調和関数 $u$ を基準関数として選び、商 $v/u$ の近似多項式 $uP$（次数 $k$）を構成する。この際、近似スキームにおいて $x_n$ を $u$ に置き換える。
• スケーリングの議論を適用する：与えられた $r$ に対して $v = uP + r^{k+1+\alpha} \tilde{v}(x/r)$ と書き、スケーリングにより単位球内での新しい問題に変換し、誤差を有界にする。
• $;tilde{v}$ が小さな右辺 $;tilde{w} \in C^{k-2,\alpha}$ および小さな低次の係数を持つ摂動された楕円型方程式を満たすことを用い、コンパクトネスと収束性により調和極限に近づくことを示す。
• スケール $\rho r$ における修正された近似多項式 $\bar{P}$ を、$;tilde{v}$ の主要項の振る舞いと一致する調和多項式 $Q$ を用いて前の $P$ を補正することで構成する。これにより誤差が小さくなることを保証する。
• 新規多項式 $\bar{P}$ の係数を解く線形方程式系 (3.6) を解く。これにより、$Σ\mathcal{L}(u\bar{P})$ の $k-1$ 次までのテイラー展開が $f = \mathcal{L}v$ の展開と一致するようにする。この際、楕円型作用素の構造を活用する。
• コンパクトネスおよび摂動論的議論により、差のノルム $\|P - \bar{P}\|_{L^\infty(B_r)} \leq C r^{k+\alpha}$ を制御し、近似列の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 境界で消える $C^{k,\alpha}$ 領域の2つの正の調和関数の商が、古典的な $C^{k-1,\alpha}$ 評価を上回り、境界に近づくまで $C^{k,\alpha}$ であることが示せるか？
• RQ2 商 $v/u$ の1階分の正則性向上が、$C^{k,\alpha}$ ノルムが有界である限り、そのノルムに依存せず一様に成り立つか？
• RQ3 この高階正則性結果を、調和関数に限らず、$C^{k,\alpha}$ 係数を持つ一般線形楕円型方程式の解に対しても拡張可能か？
• RQ4 ハドログラフ変換を用いずに、商の推定のみで古典的障害問題における自由境界の高階正則性を示せるか？
• RQ5 誤差が $\|v - uP\|_{L^\infty} \leq r^{k+1+\alpha}$ となるような近似多項式 $P$ の正確な構造は何か？ そして、それらを反復的に改善する方法は？

主な発見

• 境界で消える2つの正の調和関数の商 $v/u$ は、$C^{k,\alpha}$ 領域 $\Omega \cap B_{1/2}$ で $C^{k,\alpha}$ に属し、そのノルムは $C \|v\|_{L^\infty}$ で有界である。ここで $C$ は次元 $n$、$k$、$α$ のみに依存する。
• 古典的境界ハーナック推定を改善する：一般の境界で消える $C^{k,\alpha}$ 関数では商が $C^{k-1,\alpha}$ にしか得られないが、調和関数では $C^{k,\alpha}$ に達する。
• 証明は、$\|v - uP\|_{L^\infty(\Omega \cap B_r)} \leq r^{k+1+\alpha}$ を満たす近似多項式 $P$ の列を構成することに依存する。多項式の係数は各スケールで線形方程式系によって更新される。
• 鍵となるステップは、$v - uP$ が $L^\infty$ で小さいならば、$\|v - u\bar{P}\|_{L^\infty(\Omega \cap B_{\rho r})} \leq (\rho r)^{k+1+\alpha}$ かつ $\|P - \bar{P}\|_{L^\infty(B_r)} \leq C r^{k+\alpha}$ を満たす新たな近似多項式 $\bar{P}$ が存在することの証明である。
• この方法は、$\|g\|_{C^{k,\alpha}} \leq 1$ を満たすすべての $C^{k,\alpha}$ 領域に対して一様に機能し、推定における定数 $C$ は普遍的（$n$、$k$、$α$ のみに依存）である。
• 系として、$C^{1,\alpha}$ 自由境界と $\Delta u = 1$ を満たす古典的障害問題では、$u_i / u_n$ に対して繰り返し商推定を適用することで、$\partial\Omega \in C^{\infty}$ が導かれる。