[論文レビュー] Integral representations on non-smooth domains

Dariush Ehsani|ArXiv.org|Mar 24, 2009

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

ひとこと要約

本稿は、モース型定義関数を備えた非滑らかで強い擬凸領域（ヘンキン＝ライター領域）における$(0,q)$-形式の積分表現を確立し、境界が滑らかでない場合にまでリーブ＝ランゲ理論を拡張する。滑らかな強い擬凸近似$D_\varepsilon$を用いて領域を正則化し、演算子に$\gamma^3 = |\partial r|^3$を乗じ、$\varepsilon \to 0$の極限を取ることで、$\bar{\partial}f$、$\bar{\partial}^*f$、$f$を用いた$\gamma^3 f$の$L^\infty$推定を得る表現を導出する。重み付き$Z_j$作用素による明示的制御を用いて、その結果を達成する。

ABSTRACT

We derive integral representations for $(0,q)$-forms, $q\ge1$, on non-smooth strictly pseudoconvex domains, the Henkin-Leiterer domains. A $(0,q)$-form, $f$ is written in terms of integral operators acting on $f$, $\mdbar f$, and $\mdbar^{\ast} f$. The representation is applied to derive $L^{\infty}$ estimates.

研究の動機と目的

• 滑らかでない強い擬凸領域への$\bar{\partial}$-閉形式に対するリーブ＝ランゲ積分表現理論の拡張。
• 非滑らかな領域$D$における$\bar{\partial}^*$-正則性が、滑らかな近似$D_\varepsilon$における正則性を保証しないという課題に対処する。
• 領域の正則化と$\varepsilon \to 0$の極限を用いて、$D$上での積分表現を構成し、グラフノルムにおける形式の収束を保証する密度補題を用いる。
• 積分表現を重み付き$Z_j$作用素と合成することで、$\gamma^3 f$の$L^\infty$推定を導出し、レヴィ計量と測地的距離の構造を活用する。

提案手法

• 非滑らかなヘンキン＝ライター領域$D$を、モース型定義関数$r$を用いて$D_\varepsilon = \{r + \varepsilon < 0\}$とし、滑らかで強い擬凸領域の族で近似する。
• ヘンキンとアイオルダンの密度補題を用いて、$f$がグラフノルムで収束するような近似形式$f_\varepsilon \in L^2(D_\varepsilon) \cap \text{Dom}(\bar{\partial}) \cap \text{Dom}(\bar{\partial}^*_\varepsilon)$を構成する。
• 各$D_\varepsilon$上に、レヴィ計量と測地的距離$\rho$を用いたリーブ＝ランゲフレームワークに基づく積分作用素$T_\varepsilon^q$、$S_\varepsilon^q$、$P_\varepsilon^q$を構成し、計量の選択によって特異性が相殺されるようにする。
• 得られた表現に$\gamma^3 = |\partial r|^3$を乗じることで、$\varepsilon \to 0$における収束を安定化させ、$D$上での作用素$T_q$、$S_q$、$P_q$の定義を可能にする。
• $Z_1$作用素を$A_{(1,1)}$と$\gamma$を含む誤差項の組み合わせとして定義し、$n+2$回反復して$ L^2(D) $から$ L^\infty(D) $への写像を実現する。
• 反復表現を適用し、$\|\gamma^{3(n+2)}f\|_{L^\infty}$の$L^\infty$推定を$\|\gamma^2 \bar{\partial}f\|_{L^\infty}$、$\|\gamma^2 \bar{\partial}^*f\|_{L^\infty}$、$\|f\|_{L^2}$の項で得る。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない、強い擬凸領域で境界に特異性を持つ$\bar{\partial}$-閉形式に対するリーブ＝ランゲ積分表現理論を、非滑らか領域へ拡張することは可能か？
• RQ2 滑らかな$D_\varepsilon$による近似において、極限領域$D$での$\bar{\partial}^*$-正則性が失敗する場合、その障壁をどのように乗り越えるか？
• RQ3 非滑らか領域における$\varepsilon \to 0$の極限での表現収束を保証するために、積分作用素にどのような修正が必要か？
• RQ4 ヘンキン＝ライター領域上での積分表現から、$\gamma^3 f$の$L^\infty$推定をどのように導出できるか？
• RQ5 $\gamma^3 = |\partial r|^3$の重みが、積分作用素の極限の安定化に果たす役割は何か？

主な発見

• 本稿は、$f \in L^2_{(0,q)}(D) \cap \text{Dom}(\bar{\partial}) \cap \text{Dom}(\bar{\partial}^*)$に対して、重み付き積分表現$\gamma^3 f = \gamma^* T_q \bar{\partial}(\gamma^2 f) + \gamma^* S_q \bar{\partial}^*(\gamma^2 f) + \gamma^* P_q (\gamma^2 f)$をヘンキン＝ライター領域上に確立する。
• 正則化作用素$T_\varepsilon^q$、$S_\varepsilon^q$、$P_\varepsilon^q$の$D$上での極限への収束は、非滑らか境界に起因する特異性を制御する$\gamma^3$の乗算によって保証される。
• $Z_j$作用素は、$Z_1 = A_{(1,1)} + E_{1-2n} \circ \gamma$として定義され、$n+2$回反復することで$ L^2(D) $から$ L^\infty(D) $への写像を実現する。
• 主な$L^\infty$推定は$\|\gamma^{3(n+2)} f\|_{L^\infty} \lesssim \|\gamma^2 \bar{\partial}f\|_{L^\infty} + \|\gamma^2 \bar{\partial}^*f\|_{L^\infty} + \|f\|_{L^2}$であり、$f$の点ごとの大きさに対する定量的制御を提供する。
• $\gamma^3$の重みは不可欠である：$dr$の消失に起因する境界特異性のため、$\gamma^3$がなければ極限表現は収束しない。
• 正則化、計量の適応（レヴィ計量）、$|\partial r|^3$による作用素の精密スケーリングを組み合わせることで、本結果はリーブ＝ランゲ理論を非滑らか領域へ一般化する。