[論文レビュー] Subelliptic Estimates

David Catlin, John P. D’Angelo|ArXiv.org|May 29, 2009

Geophysics and Gravity Measurements参考文献 5被引用数 4

ひとこと要約

本稿は、複素次元3の(0,1)-形式における\overline{\partial}-Neumann問題の最適な劣微分的推定パラメータ$\epsilon$について、正確な幾何的特徴づけを確立する。カトリンの方法により、ヘッセ行列が大きな複素正定値関数を構成し、コーンの劣微分的乗数を用いることで、$\epsilon$が境界と複素曲線の接触の順序によって決まることを示し、任意の指定された値$\epsilon \in (0, \frac{1}{4}]$をとる明示的な領域を構成する。主な貢献は、幾何的解析を用いた3次元における劣微分的推定問題の完全な解決である。

ABSTRACT

We discuss some aspects of the theory of subelliptic estimates.

研究の動機と目的

• 劣微分的推定における最大の$\epsilon$と境界の幾何構造との関係を明確化すること。
• 2次元と比べてはるかに複雑である3次元複素空間における最適$\epsilon$を特定する長年の問題を解決すること。
• $\epsilon_0 \in (0, \frac{1}{4}]$の任意の値に対して、劣微分的推定が正確に$\epsilon_0$まで成り立つが、それより大きい$\epsilon$では失敗するような滑らかな擬凸領域が存在することを示すこと。
• 任意の$\epsilon_0$値を実現するために、対数比を制御した正則関数を用いた定義関数の明示的構成を提供すること。
• 2次元の場合に比べて理論が単純であるため、劣微分的推定の理解を2次元の範囲を超えて拡張すること。

提案手法

• 著者らは、境界に近づくとヘッセ行列が$\delta^{-2\epsilon}$のオーダーで発散する一様有界な複素正定値関数$\Phi_\delta$をカトリンの方法で構成し、これにより$\epsilon$の劣微分的推定が成立することを示す。
• 複素曲線$\gamma_t(\zeta)$と境界（$r = 0$で定義される）との接触の順序$\mathbf{T}$を、正則関数$f$と$g$を含む定義関数$r$を用いて分析する。ここで$\log|f| = \lambda \log|g|$である。
• $\epsilon$が接触順序$\mathbf{T} = 2m_1 + \frac{2(1-\lambda)m_1(m_2-1)}{(m_2-1)\lambda + 1}$の逆数に等しく、$|\zeta| \to 0$における$|r(\gamma_t(\zeta))|$の漸近的挙動から導出されることを示す。
• $f(z) = z^p$, $g(z) = z^q$, $\lambda = p/q$として選ぶことで、有理数$\epsilon_0 = 1/\mathbf{T}$を実現する多項式定義関数を構成する。
• 無理数$\epsilon_0$の場合は、$f(\zeta) = \exp(-p/\sqrt{-\zeta})$のように無限次の零点を持つ関数を用い、任意の実数$\epsilon_0 \in (0, \frac{1}{4}]$を達成する。
• ヘッセ行列の成長条件が十分であることは、定理7.1により示され、$H(\Phi_\delta) \geq c\delta^{-2\epsilon}$が劣微分的推定の$\epsilon$順序の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 複素次元3の境界点において、劣微分的推定が成り立つ最大の$\epsilon$は何か？ そしてそれは境界の幾何構造とどのように関係するか？
• RQ2 任意の$\epsilon_0 \in (0, \frac{1}{4}]$に対して、劣微分的推定が正確に$\epsilon_0$まで成り立つ滑らかな擬凸領域を構成できるか？
• RQ3 複素曲線と境界の接触順序$\mathbf{T}$が劣微分的推定における最適$\epsilon$をどのように決定するか？
• RQ4 すべての$\epsilon < \epsilon_0$で成り立つにもかかわらず、$\epsilon_0$で劣微分的推定が失敗することはあり得るか？ そしてその挙動は幾何的にどのように実現されるか？
• RQ5 定義関数における正則関数の選択が、劣微分的推定パラメータ$\epsilon$をどの程度制御できるか？

主な発見

• $\epsilon_0 \in (0, \frac{1}{4}]$の任意の値に対して、$\epsilon = \epsilon_0$では成り立つが、それより大きな$\epsilon$では失敗するような$\mathbb{C}^3$内の滑らかな擬凸領域が存在し、推定の鋭さを示している。
• 最適な$\epsilon$は、接触順序$\mathbf{T} = 2m_1 + \frac{2(1-\lambda)m_1(m_2-1)}{(m_2-1)\lambda + 1}$の逆数に等しく、これは同次度$m_1, m_2$と比$\lambda = \log|f| / \log|g|$に依存する。
• $\lambda = 1$のとき$\mathbf{T} = 2m_1$なので$\epsilon = 1/(2m_1)$；$\lambda \to 0$のとき$\mathbf{T} \to 2m_1m_2$なので$\epsilon \to 1/(2m_1m_2)$となり、$\epsilon$の取り得る値の全範囲が得られる。
• 有理数$\epsilon_0$の場合は、$r = |f|^{2m_1} - |g|^{2m_2}$という多項式定義関数で定義される領域が$\epsilon_0 = 1/\mathbf{T}$を実現できる。
• ヘッセ行列$H(\Phi_\delta) \geq c\delta^{-2\epsilon}$を満たす$\Phi_\delta$を用いた重み付き$L^2$推定法により、$\epsilon$順序の劣微分的推定の十分条件が得られ、構成例においてこれが鋭い条件であることが示された。
• コーンのアルゴリズムが劣微分的乗数を見つける際に有効でないことは、反例（命題4.4）により示され、このアルゴリズムが常に最適な$\epsilon$を返すわけではないことがわかった。