[論文レビュー] Sharp Estimates for the $\bar{\partial}$-Neumann Problem on Regular Coordinate Domains

David Catlin, Jae-Seong Cho|ArXiv.org|Nov 5, 2008

Holomorphic and Operator Theory参考文献 9被引用数 4

ひとこと要約

本稿は、$\ mathbb{C}^{n+1}$ 内の正則座標領域における $\ubar{\ubar{\nabla}}$-Neumann 問題について、鋭い亜楕円的推移的評価を確立し、最適な亜楕円的増加が $\epsilon = \frac{1}{2m_1 \cdots m_n}$ であることを証明している。ここで $m_s$ は原点における定義正則関数の零点の位数である。証明は、整数不変量に基づく修正された被覆論法を用いて、ヘッセ行列の成長を制御する一連の擬凸関数を構成し、このクラスの領域に対して D’Angelo の予想を裏付けた。

ABSTRACT

This paper treats subelliptic estimates for the $\bar{\partial}$-Neumann problem on a class of domains known as regular coordinate domains. Our main result is that the largest subelliptic gain for a regular coordinate domain is bounded below by a purely algebraic number, the inverse of twice the multiplicity of the ideal associated to a given boundary point.

研究の動機と目的

• 正則座標領域における $\bar{\partial}$-Neumann 問題の鋭い亜楕円的推移的評価に関する D’Angelo の予想を解決すること。
• 関連するイデアルの多重度の逆数の2倍の下限として与えられる、このような領域における最適な亜楕円的増加 $\epsilon$ を確立すること。
• 正則座標領域の幾何的構造の不安定性を考慮し、被覆プロセスに安定性を回復させる修正された被覆論法を開発すること。
• 明示的な例を用いて、構成された $\epsilon$ が鋭いかどうかを確認すること。

提案手法

• サブレベル集合 $S_\delta$ 上でヘッセ行列の下界が $\delta^{-2\epsilon}$ に比例するように、有界な $C^2$ 擬凸関数 $\lambda_\delta$ の族を構成する。
• 領域の局所的幾何構造に適合した、境界点を中心とする多円板 $B(z,\delta)$ の体系を定義する。
• スケール構造を分類し、被覆プロセスに安定性を回復させるために、整数不変量 $\mathcal{T}(z,\delta)$ を導入する。
• 有限個の $\mathcal{T}$-類にわたる貼り合わせ手順を用いて、局所的な擬凸関数を一つのグローバルな $\lambda_\delta$ に統合する。
• スケール $\tau_s(p,\delta)$ を漸近的推定式 $\tau_s(p,\delta) \lesssim \delta^{1/(2m_1\cdots m_s)}$ を用いて D’Angelo 型に関連付ける。
• Catlin [Ca3] の基準を適用し、$S_\delta$ 上で $H(\lambda_\delta)(L,\bar{L}) \gtrsim \delta^{-2\epsilon}|L|^2$ を満たすならば、亜楕円的推移的評価が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 正則座標領域における $\bar{\partial}$-Neumann 問題の鋭い亜楕円的増加 $\epsilon$ は何か？
• RQ2 D’Angelo が $\epsilon = \frac{1}{2m(I)}$ を予想しているが、このクラスの領域に対してそれが証明可能か？
• RQ3 幾何的構造が不安定な領域において、最適なヘッセ行列成長を示す擬凸関数をどのように構成できるか？
• RQ4 構成された $\epsilon = \frac{1}{2m_1\cdots m_n}$ は鋭いか？ これは明示的な例により確認可能か？
• RQ5 標準的な安定性が欠如する状況において、不変量分類を用いて被覆論法をどのように適合できるか？

主な発見

• 正則座標領域における $\bar{\partial}$-Neumann 問題の鋭い亜楕円的増加は $\epsilon = \frac{1}{2m_1 \cdots m_n}$ であり、ここで $m_s$ は原点における $f_s$ の零点の位数である。
• 構成された擬凸関数 $\lambda_\delta$ は $S_\delta$ 上で $H(\lambda_\delta)(L,\bar{L}) \gtrsim \delta^{-2\epsilon}|L|^2$ を満たし、$\epsilon$ 階の亜楕円的推移的評価が裏付けられた。
• 値 $\epsilon = \frac{1}{2m_1 \cdots m_n}$ は鋭い。これは、$r(\gamma(\zeta)) = |\zeta|^{2m_1\cdots m_n}$ を満たす曲線 $\gamma(\zeta)$ を用いて、$T(b\Omega,0) \geq 2m_1\cdots m_n$ であることを示すことで確認された。
• 幾何的安定性の欠如を補うために、スケール構造を分類する有限個の整数不変量 $\mathcal{T}(z,\delta)$ を導入し、安定な貼り合わせプロセスを可能にした。
• この構成により、$\lambda_\delta$ は $S(c\delta)$ 内で一様有界かつ_compactly 支持され、ヘッセ行列の下界が $t_\delta = \sup \tau_s(p,\delta)$ のみに依存するよう保証された。
• 結果として、正則座標領域に対して D’Angelo の予想が裏付けられ、複素ヘッセ行列が $\sum |f_s(z)|^2$ のそれより支配的であるより一般な領域へも拡張された。