[論文レビュー] Supnorm estimates for $\bar\partial$ on product domains in $\mathbb{C}^n$

Martino Fassina, Yifei Pan|arXiv (Cornell University)|Mar 25, 2019

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

ひとこと要約

この論文は、$\mathbb{C}^n$ 内の積領域上で $\bar\partial$-方程式の明示的な積分解法作用素を構成し、1変数複素解析の技法を用いる。データ $f$ が $C^{n-1,\alpha}(\Omega)$ にある場合、解に対して鋭い $L^\infty$（本質的に $L^\infty$）推定を確立し、解作用素 $\mathbf{T}$ が $\|\mathbf{T}f\|_{L^\infty(\Omega)} \leq C\|f\|_{L^\infty(\Omega)}$ を満たすことを示す。ここで $C$ は $f$ に依存しない一様な定数である。この結果は、ヘンキンの研究を高次元および $C^{1,\alpha}$ 境界を持つ一般の積領域へと拡張する。

ABSTRACT

Let $Ω\subset\mathbb{C}^n$ be a product of one-dimensional open bounded domains with $C^{1,α}$ boundary, where $0

研究の動機と目的

• 積領域 $\Omega \subset \mathbb{C}^n$ における $\bar\partial$-方程式の解に対して一様な $L^\infty$ 推定を確立すること。
• ヘンキンの $L^\infty$ 推定を二変数領域（bidisc）から $C^{1,\alpha}$ 境界を持つ一般の積領域へと拡張すること。
• 1変数複素解析の技法のみを用いて、解作用素 $\mathbf{T}$ の明示的な積分公式を提供すること。
• 連続な $(0,1)$-形式などのより正則性の低いデータに対しても定義可能な、より広い解作用素 $\widetilde{\mathbf{T}}$ を定義すること。

提案手法

• 解作用素 $\mathbf{T}$ は、各 $k$ に対して $\partial_{\bar{z}_k} T^k f = f$ を1変数で解くスライス作用素 $T^k$ の和として構成される。このとき、コーシー＝ポンペイユの公式を用いる。
• 構成は1変数理論に依存している：各 $k$ に対して、$T^k f(z) = -\frac{1}{2\pi i} \int_{D_k} \frac{f(z_1,\dots,\zeta_k,\dots,z_n)}{\zeta_k - z_k} d\bar{\zeta}_k \wedge d\zeta_k$ である。
• 証明では、データ $f_j \in C^{n-1,\alpha}(\Omega)$ のホルダー連続性を用い、1変数の $C^{m,\alpha}$ 正則性理論を適用することで、$\mathbf{T}f \in C^{1,\alpha}(\Omega)$ が保証される。
• 重要な技術的ステップとして、反復積分と境界項を用いて解を表現し、問題を $\alpha < 2$ の $|\zeta - z|^{-\alpha}$ 形の核を持つ特異積分の推定に還元する。
• 著者らは、$f_j$ の微分を避けるために、境界 $\partial D_j$ 上での積分を用いて、$\mathbf{T}f$ の新しい公式を導出する。このとき核 $g_z^{k,i_1\dots i_s}$ を用いる。
• 多重添え字の和を用いて、$\widetilde{\mathbf{T}}$ を定義し、$f_j$ の微分を境界積分に置き換えることで、$C^0(\overline{\Omega})$ データに対しても解を得られるようにする。

実験結果

リサーチクエスチョン

• RQ1 $C^{1,\alpha}$ 境界を持つ $\mathbb{C}^n$ 内の積領域において、$\bar\partial u = f$ の一様な $L^\infty$ 推定を確立できるか？
• RQ2 1変数複素解析の技法のみを用いて、明示的な解作用素 $\mathbf{T}$ を構成できるか？
• RQ3 $f$ が $C^{n-1,\alpha}(\Omega)$ にあるとき、解 $\mathbf{T}f$ の正則性はいかほどか？
• RQ4 連続な $(0,1)$-形式などのより正則性の低いデータに対しても、$L^\infty$ 推定を保ちながら解作用素を拡張できるか？
• RQ5 積領域上で1変数解作用素を繰り返し適用する際、$L^\infty$ 推定はどのように振る舞うか？

主な発見

• 解作用素 $\mathbf{T}$ は、$f$ が $C^{n-1,\alpha}(\Omega)$ に属する $\bar\partial$-閉 $(0,1)$-形式であるとき、$\|\mathbf{T}f\|_{L^\infty(\Omega)} \leq C\|f\|_{L^\infty(\Omega)}$ を満たす一様な $L^\infty$ 推定を満たす。ここで $C$ は $f$ に依存しない定数である。
• $\mathbf{T}f$ は $C^{1,\alpha}(\Omega)$ に属し、解およびその1階微分のホルダー連続性が保証される。
• $\mathbf{T}$ の構成は、1変数積分作用素 $T^k$ のみに依存しており、複素変数関数論における $\bar\partial$-理論を必要としない。
• $f_j$ の微分を境界積分に置き換えることで、$C^0(\overline{\Omega})$ データに対しても定義可能な新しい作用素 $\widetilde{\mathbf{T}}$ が定義される。
• $f_j \in C^{n-1,\alpha}(\Omega)$ である $\bar\partial$-閉形式に対して、拡張作用素 $\widetilde{\mathbf{T}}$ は $\mathbf{T}$ と一致する。すなわち、$\Omega$ 内で $\widetilde{\mathbf{T}}f = \mathbf{T}f$ である。
• 証明により、$\alpha < 2$ の $|\zeta - z|^{-\alpha}$ 形の核を持つ特異積分作用素の一様有界性が確立され、これが $L^\infty$ 推定の根拠となる。