[論文レビュー] Commutator Estimates for the Dirichlet-to-Neumann Map in Lipschitz Domains

Zhongwei Shen|arXiv (Cornell University)|Aug 28, 2013

Advanced Harmonic Analysis Research参考文献 12被引用数 5

ひとこと要約

本稿は、リプシッツ領域における発散型第二順位楕円型系に関連するディリクレ・トゥ・ノイマン写像に対して、2つの新しい交換子推定を確立する。ダールベルクの双線形推定と摂動論法を用いて、係数行列 $A$ が Hölder 継続的かつ対称的であるという条件下で、$L^2(ar{\partial\Omega})$ 上で $[\Lambda, g]f = \Lambda(gf) - g\Lambda(f)$ が有界であることを証明する。その有界性の見積もりは、$\|g\|_{C^{0,1}}$ または $\|g\|_{H^1}$ および境界データの調和拡張の $L^\infty$ ノルムに依存する。

ABSTRACT

We establish two commutator estimates for the Dirichlet-to-Neumann map associated with a second-order elliptic system in divergence form in Lipschitz domains. Our approach is based on Dahlberg's bilinear estimates.

研究の動機と目的

• リプシッツ領域における楕円型系に関連するディリクレ・トゥ・ノイマン写像 $\Lambda$ に対して、交換子 $[\Lambda, g]$ の $L^2$ 有界性を確立すること。
• 定常係数をもつ古典的な Calderón 型交換子推定を、非滑らか領域および非定数係数をもつ系へと拡張すること。
• 交換子の推定において、$g$ のリプシッツノルムと $H^1$ ノルムの両方を含み、境界データの調和拡張の $L^\infty$ ノルムと関連付けること。
• 急激に振動する係数をもつ均質化理論における漸近的挙動の解析のための枠組みを提供すること。
• $\mathcal{L} = -\Delta$ のラプラシアンの場合から、リプシッツ領域における Hölder 継続的かつ対称的係数をもつ一般の第二順位楕円型系へと結果を一般化すること。

提案手法

• 証明は、非接線的 maximal 関数と重み付き $L^2$ ノルムの勾配を含むダールベルクの双線形推定に依拠する。
• 定数係数から Hölder 継続的係数行列への双線形推定の拡張に、摂動論法を用いる。
• 交換子を、$\nabla v$、$\nabla h$、および係数行列 $A$ と $B$ の差異を含む積分項に分解し、$L^2$ およびカールソン測度推定を丁寧に適用する。
• 重要な推定では、$|\nabla A(x)|^2 \delta(x)\,dx$ がカールソン測度であるという事実を用い、境界付近での勾配の増大を制御する。
• 部分積分とコーシー・シュバルツの不等式を用いて、$v$、$h$、および調和拡張 $u$ を含む項を抑え、境界項を注意深く取り扱う。
• 証明は、次元 $d=2,3$ および $m=1$ の場合に、調和拡張の $L^\infty$ 有界性を活用し、$L^1$ における同等の推定を得るために双対性を用いる。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ・トゥ・ノイマン写像の交換子推定を、ラプラシアンから一般の第二順位楕円型系へのリプシッツ領域への拡張は可能か？
• RQ2 非定数係数をもつ系について、非滑らか領域における古典的 Calderón 交換子推定 $\| [\Lambda, g]f \|_{L^p} \leq C\|g\|_{C^{0,1}}\|f\|_{L^p}$ は成立するか？
• RQ3 調和拡張 $u$ の $L^\infty$ ノルムが $L^2$ での交換子を制御する条件は何か？
• RQ4 交換子推定を $g$ の $C^{0,1}$ ノルムではなく $H^1$ ノルムで表すことは可能か？また、$u$ の $L^\infty$ ノルムはどのような役割を果たすか？
• RQ5 アグモン＝ミランドの最大原理は、リプシッツ領域における系の交換子推定において、$\|u\|_{L^\infty}$ を $\|f\|_{L^\infty}$ に置き換えるのに十分か？

主な発見

• 交換子 $[\Lambda, g]f = \Lambda(gf) - g\Lambda(f)$ は、$\mathbb{R}^m$ 値のリプシッツ関数 $f$ およびスカラー値のリプシッツ関数 $g$ に対して、$\| [\Lambda, g]f \|_{L^2(\partial\Omega)} \leq C\|g\|_{C^{0,1}(\partial\Omega)}\|f\|_{L^2(\partial\Omega)}$ を満たす。ここで $A$ は Hölder 継続的かつ対称的と仮定する。
• 別な推定が成り立つ：$\| [\Lambda, g]f \|_{L^2(\partial\Omega)} \leq C\|u\|_{L^\infty(\Omega)}\|g\|_{H^1(\partial\Omega)}$ であり、$u$ は $f$ の調和拡張である。ここで $C$ は $A$ と $\Omega$ のみに依存する。
• 次元 $d=2,3$ および $m=1$ または $m>1$ の場合、$\|u\|_{L^\infty(\Omega)} \leq C\|f\|_{L^\infty(\partial\Omega)}$ の $L^\infty$ 界は、推定において $\|u\|_{L^\infty}$ を $\|f\|_{L^\infty}$ に置き換えることを可能にする。
• カールソン測度条件 $|\nabla A|^2 \delta(x)\,dx$ の下で、双線形推定 $\left| \int_\Omega \nabla u \cdot v \,dx \right| \leq C \| \nabla u \|_{L^2(\Omega, \delta dx)} \| \nabla v \{L^2(\Omega, \delta dx)} + \| (v)^* \|_{L^2(\partial\Omega)}$ が確立される。
• 行列値関数 $g$ が $A(x)$ と可換である場合、同じ推定が成り立ち、有界性の見積もりも保たれる。
• 結果は、急激に振動する係数をもつ均質化問題に応用され、$\mathcal{L} = -\Delta$ の場合の先行結果を一般化する。