[論文レビュー] A general method of weights in the d-bar-Neumann problem

Tran Vu Khanh|arXiv (Cornell University)|Jan 28, 2010

Numerical methods in inverse problems参考文献 21被引用数 14

ひとこと要約

本稿では、$q$-擬凸または $q$-擬凹領域における $\bar{\partial}$-Neumann 問題における主要な推定を統一・拡張する一般枠組み、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質を導入する。関数 $f$ と作用素 $\mathcal{M}$ を含む重み付き推定を定義することで、部分的楕円的、超対数的、コンパクト性、部分的楕円的乗数推定を特別な場合として回復し、解の正則性およびグローバルな挙動に対する統一的アプローチを提供する。

ABSTRACT

This thesis deals with Partial Differential Equations in Several Complex Variables and especially focuses on a general estimate for the $\bar\partial$-Neumann problem on a domain which is $q$-pseudoconvex or $q$-pseudoconcave at a boundary point $z_0$. Generalizing Property ($P$) by \cite{C84}, we define Property $(f\T-\M\T-P)^k$ at $z_0$. This property yields the estimate {(f\T-\M)^k} \qquad o{f(Λ)\mathcal M u}^2\le c( o{\bar\partial u}^2+ o{\bar\partial^*u}^2+ o{u}^2)+C_\M o{u}^2_{-1} for any $u\in C^\infty_c(U\cap \barΩ)^k\cap \T{Dom}(\dib^*)$ where $U$ is a neighborhood of $z_0$. We want to point out that under a suitable choice of $f$ and $\M$, $(f\T-\M)^k$ is the subelliptic, superlogarithmic, compactness and subelliptic multiplier estimate. The thesis also aims at exhibiting some relevant classes of domains which enjoy Property $(f\T-\M\T-P)^k$ and at discussing recent literature on the $\bar\partial$-Neumann problem in the framework of this property.

研究の動機と目的

• $\bar{\partial}$-Neumann 問題における既知の $L^2$ 推定を統一・拡張する一般的な重み法の構築。
• $q$-擬凸または $q$-擬凹領域における境界点において、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質の定義と分析。
• 本一般推定が部分的楕円的、超対数的、コンパクト性、部分的楕円的乗数推定を包含・一般化することの証明。
• $Z(k)$、分離可能、正規座標領域など、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質を満たす領域のクラスの同定。
• グローバル正則性結果の確立、特にコンパクト性が成り立たない場合でもグローバル正則性が成立しうることを示す反例を提示し、Krantz と Straube の先行研究を精緻化。

提案手法

• 境界点 $z_0$ において、[C84] の Catlin の性質 (P) を一般化した $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質を導入する。
• $u \in C^{\infty}_{c}(U \cap \bar{\Omega})^{k} \cap \text{Dom}(\bar{\partial}^{*})$ に対して、重み付き推定 $\|f(\Lambda)\mathcal{M}u\|^{2} \leq c(\|\bar{\partial}u\|^{2} + \|\bar{\partial}^{*}u\|^{2} + \|u\|^{2}) + C_{\mathcal{M}}\|u\|^{2}_{-1}$ を定義する。ここで $U$ は $z_0$ の近傍である。
• ミクロ局所解析を用いて、$\bar{\partial}$-Neumann 系をその接方向対応と関連づけ、[K86, K02] の Kohn の技術を発展させる。
• Kohn と Catlin の手法を組み合わせ、1パrameterのカットオフ関数族を用いた $H_s$ 推定を導出し、正則性の向上を制御可能にする。
• $H_s$ 推定を応用してグローバル正則性結果を証明し、コンパクト性が成立しない場合でも正則性が成立しうることを示す。
• ベルグマン計量の挙動と $f$ の境界からの距離 $\delta(z)$ における成長を分析し、幾何的条件と解析的推定を結びつける。

実験結果

リサーチクエスチョン

• RQ1 $\bar{\partial}$-Neumann 問題において、部分的楕円的、超対数的、コンパクト性、部分的楕円的乗数推定を統合する単一の統一的枠組みを構築可能か？
• RQ2 境界点における領域の幾何的・解析的条件は、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質が成立するためにどのようなものか？
• RQ3 $\bar{\partial}$-Neumann 算術のグローバル正則性はコンパクト性を意味するのか、それともコンパクト性が成り立たなくても正則性が成立しうるのか？
• RQ4 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ フレームワークから導かれる $H_s$ 推定は、解の正則性とどのように関係するか？
• RQ5 分離可能または正規座標領域などの領域クラスのうち、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質を満たすものはどれか？

主な発見

• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 推定は、既知の $L^2$ 推定（部分的楕円的、超対数的、コンパクト性、部分的楕円的乗数推定）を一般化・統一する。
• $f$ および $\mathcal{M}$ の適切な選択により、$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 推定は各古典的推定に還元され、その一般性が示される。
• $H_s$ 推定は、1パrameterのカットオフ関数族を用いて $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 推定から導出され、グローバル正則性結果の証明に有効である。
• コンパクト性推定が成り立たない場合でもグローバル正則性が成立しうることを示す反例を構成し、Krantz [Kr88] の先行研究を精緻化した。
• $Z(k)$ を満たす領域、分離可能な領域、正規座標領域はすべて $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質を満たす。特に、後者については最良の部分的楕円的推定が確立された。
• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性質のもとで、ベルグマン計量は下界 $B(z,X) \geq |X| \frac{f}{\log}(\delta^{-1+\eta}(z))$ を満たすことが示され、幾何的制御と解析的推定の関連が明確にされた。