[論文レビュー] Subellipticity of the $\bar\partial$-Neumann problem on a weakly $q$-pseudoconvex/concave domain

Tran Vu Khanh, Giuseppe Zampieri|ArXiv.org|Apr 18, 2008

Analytic and geometric function theory参考文献 6被引用数 4

ひとこと要約

本稿は、$5Crm{C}^n$ 内の弱い $q$-擬凸または $q$-擬凹領域における $\bar\theta$-Neumann 問題における、部分的微分作用素の推移的推移の十分条件を確立した。これは、カトリンの手法を擬凸領域を超えて拡張したものである。主な結果は、レビ形式の固有値の特定の和が非負性条件を満たす場合、$\epsilon$ 階部分的微分作用素の推移的推移が成立することを示しており、以前の結果を非擬凸領域へ一般化した。

ABSTRACT

For a domain $D$ of $\mathbb{C}^n$ which is weakly $q$-pseudoconvex or $q$-pseudoconcave we give a sufficient condition for subelliptic estimates for the $\bar{\partial}$-Neumann problem. The paper extends to domains which are not necessarily pseudoconvex, the results and the techniques of Catlin. MSC: 32D10, 32U05, 32V25

研究の動機と目的

• 擬凸でない領域、特に弱い $q$-擬凸または $q$-擬凹領域における $\bar\partial$-Neumann 問題の部分的微分作用素の推移的推移を拡張すること。
• バンドルを用いた接ベクトル場と固有値の和を用いて、カトリンの部分的微分作用素の有限型条件を非擬凸設定に一般化すること。
• レビ形式の幾何的条件と $q_0$-次元部分バンドルの選択に基づき、$\epsilon > 0$ 階の部分的微分作用素の推移的推移の十分条件を確立すること。
• レビ形式の $q$ 個の最小固有値の和と第二基本形式係数が、部分的微分作用素の推移的推移に与える影響を示すこと。

提案手法

• 著者らは、境界上での局所的幾何的条件を定義するために、複素接バンドル $T^{1,0}\partial D$ の $q_0$-次元部分バンドル $\mathcal{V}^{q_0}$ を $L_1, \dots, L_{q_0}$ で張る。
• レビ形式の固有値 $\lambda_j$ と第二基本形式の成分 $r_{jj}$ に対して、$\partial D$ 上で $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$ を要求することで、部分的微分作用素の推移的推移の十分条件を導出する。
• スケーリング法を用い、幾何に適合したテスト形式 $u_t$ の族を、切断関数と単項式型重み関数 $|h_j(z_j)|^{2m_j}$ を用いて構成する。
• スケーリングパラメータ $t \to 0^+$ における漸近解析を用いて、$H^\epsilon$-ノルムと $L^2$-エネルギー $Q(u_t, u_t)$ を推定する。
• 重要なステップとして、Lemma 6.1 を用いて $\int \frac{dx dy}{(t \sum |t^{-\epsilon_k} z_j|^{2m_j} + 1)^{2p-2}}$ の形の積分を推定し、$t$ におけるべき乗則の境界を得る。
• 最終的に $|||u_t|||_{\epsilon}^2$ と $Q(u_t, u_t)$ の比較により、不等式 $\epsilon \leq \epsilon_k$ を得て、$\epsilon_k$ 階の部分的微分作用素の推移的推移を証明する。

実験結果

リサーチクエスチョン

• RQ1 $5Crm{C}^n$ 内の領域の境界にどのような幾何的条件が満たされると、その領域が必ずしも擬凸でない場合でも $\bar\partial$-Neumann 問題が部分的微分作用素の推移的推移を有するか？
• RQ2 標準的存在理論が失敗する $q$-擬凹領域において、カトリンの部分的微分作用素の方法を拡張できるか？
• RQ3 $q_0$-次元の接ベクトル場バンドルが、導関数の損失を制御するために果たす正確な役割は何か？
• RQ4 レビ形式の最小 $q$ 個の固有値の和と第二基本形式が、部分的微分作用素の推移的推移にどのように作用するか？
• RQ5 境界付近での定義関数の零点の位数 $m_j$ を用いて、部分的微分作用素の推移的推移の鋭い階数 $\epsilon$ はどのように表されるか？

主な発見

• 境界点 $z_0$ において、レビ形式の固有値 $\lambda_j$ と第二基本形式の成分 $r_{jj}$ に対して $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$ が $\partial D$ 上で満たされる場合、$\epsilon$ 階の部分的微分作用素の推移的推移が成立する。
• 部分的微分作用素の推移的推移の階数 $\epsilon$ は、$\epsilon_k$ によって上から抑えられ、これは定義関数の成分 $h_j(z_j)$ の零点の位数 $m_j$ に依存し、$\epsilon_k \leq \min_{j \geq k+1} \frac{1}{2m_j}$ が成り立つ。
• $q$-形式で $q_0 + 1 \leq k \leq n-1$ の場合、$\epsilon \leq \epsilon_k$ であれば部分的微分作用素の推移的推移が成立し、テスト形式の構成により $\epsilon_k$ が鋭いことが証明される。
• 強い $q$-擬凸性または $q$-擬凹性（条件における厳密不等号）の場合、結果はそれぞれ $q > n-1 - s^+$ または $q < s^-$ を意味し、既知の有限型条件と関連づけられる。
• この方法により、非擬凸設定でも、レビ形式と第二基本形式の相互作用を通じて、境界の幾何が部分的微分作用素の推移的推移を制御することが確認された。
• 解析により、スケーリングパラメータ $t$ における明示的なべき乗則の境界が得られ、$|||u_t|||_{\epsilon}^2 \gtrsim t^{2p-2+2\epsilon_k - 2k\epsilon_k - \sum_{j=k+1}^{n-1} \frac{1}{m_j}}$ および $Q(u_t, u_t) \lesssim t^{2p-2+2\epsilon_k - 2(n-1)\epsilon_k - \sum_{j=1}^{k} \frac{1}{m_j}}$ が得られ、結論として $\epsilon \leq \epsilon_k$ が導かれる。