[論文レビュー] Aspects of the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem

Emil J. Sträube|ArXiv.org|Jan 6, 2006

Nonlinear Partial Differential Equations参考文献 50被引用数 6

ひとこと要約

本稿は、擬強凸領域における $\bar{\partial}$-Neumann作用素の $L^2$-Sobolev理論を進展させ、新しい事前推定およびコンパクト性基準を確立することで、$\bar{\partial}$-Neumann問題の $L^2$-Sobolev理論を発展させた。コンパクト性の条件が、Levi形式と境界定義関数を用いて定義される特定の作用素 $A_\rho$ のコンパクト性と同値であることを示し、領域の幾何的性質と解析的正則性・可解性の間の関係を明確にした。

ABSTRACT

The $\bar{\partial}$-Neumann problem is the fundamental boundary value problem in several complex variables. It features an elliptic operator coupled with non-coercive boundary conditions. The problem is globally regular on many, but not all, pseudoconvex domains. We discuss several recent developments in the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem that concern compactness and global regularity.

研究の動機と目的

• $(0,q)$-形式の $L^2$-Sobolev空間における $\bar{\partial}$-Neumann作用素のコンパクト性およびグローバル正則性が成立する条件を明確化すること。
• 交換子技術およびベクトル場近似を用いて、擬強凸領域における $\bar{\partial}$-Neumann問題に対する新しい事前推定を確立すること。
• Diederich-Forn\ae ss指数が $\bar{\partial}$-Neumann解作用素のSobolev正則性レベルをどのように決定するかを調査すること。
• Levi形式と境界定義関数を用いて定義される作用素 $A_\rho$ を通じて、'コンパクト性乗数'の存在と構造を探索すること。
• 厳密に擬強凸領域に限らない、より一般の擬強凸領域におけるグローバル正則性およびコンパクト性に関する既知の結果を、弱い幾何的仮定のもとで拡張すること。

提案手法

• ベクトル場 $X_\varepsilon - \overline{X_\varepsilon}$ と $\nabla$, $\nabla^*$ の交換子を用いて $\bar{\partial}$-Neumann問題の事前推定を導出し、部分積分を用いて交換子項を左辺に戻す。
• $C^2$ 定義関数 $\nabla_\varepsilon$ の2階微分を含む重み付き推定を適用し、$\nabla_\varepsilon$ が境界定義関数 $\nabla$ を近似するようにする。
• $\bar{\partial}$-Neumann境界条件の構造（特に $u$ および $\nabla u$ の法線成分に対するディリクレ型条件）を活用し、エネルギー推定における境界項を制御する。
• 楕円的正則化と形式レベル $q$ における下向き帰納法を用いて、厳密に擬強凸近似領域から得られた推定を極限領域に拡張する。
• 推定 (3.6) が $L^2$-ノルムの交換子項を $\nabla$-ノルム $\|N_1\nabla f\|$ および $\|\nabla^* N_1\nabla f\|$ で有界に保つという、重要な推定に依存しており、小さなパrameter $\varepsilon$ が誤差を制御する。
• $A_\rho(u) = \sum_{j,k} \frac{\partial^2 \rho}{\partial z_j \partial \overline{z_k}} \frac{\partial \rho}{\partial \overline{z_j}} \overline{u_k}$ で定義される作用素 $A_\rho$ を分析し、そのコンパクト性が推定 (3.6) が $\nabla_\varepsilon$ に一様に成り立つための必要十分条件であることを示した。

実験結果

リサーチクエスチョン

• RQ1 擬強凸領域のどの幾何的条件下で、$L^2_{(0,q)}(\Omega)$ 上の $\nabla$-Neumann作用素がコンパクトになるか。
• RQ2 領域の Diederich-Forn\ae ss 指数は、$\nabla$-Neumann解作用素のSobolev正則性レベルにどのように影響するか。
• RQ3 $\nabla$-Neumann作用素のコンパクト性は、Levi形式と定義関数によって定義される特定の積分作用素 $A_\rho$ のコンパクト性によって特徴付けられるか。
• RQ4 正則化および交換子技術を用いて、厳密に擬強凸領域から一般の擬強凸領域への $\nabla$-Neumann問題の事前推定をどの程度まで拡張できるか。
• RQ5 Levi形式が $\nabla$-Neumann作用素のコンパクト性を決定する役割を一般化する 'コンパクト性乗数' の理論は存在するか。

主な発見

• $\nabla$-Neumann作用素 $N_1$ が $L^2_{(0,1)}(\Omega)$ 上でコンパクトであることは、$A_\rho(u) = \sum_{j,k} \frac{\partial^2 \rho}{\partial z_j \partial \overline{z_k}} \frac{\partial \rho}{\partial \overline{z_j}} \overline{u_k}$ で定義される作用素 $A_\rho$ がコンパクトであることと同値である。
• 推定 (3.6) が $\nabla_\varepsilon$ に一様に成り立つのは、$A_\rho$ がコンパクトであるときであり、かつそのときに限る。これは、事前推定が $N_1$ のコンパクト性を導くための必要十分条件を提供する。
• $A_\rho$ のコンパクト性は、すべての凸領域で成り立つ。これは、凸領域が擬正則関数の定義関数を持つからであるが、境界に解析的円板を含まない限り $N_1$ はコンパクトではない。
• ベクトル場 $X_\varepsilon - \overline{X_\varepsilon}$ と交換子推定を用いた証明法により、$\nabla_\varepsilon$ に一様な事前推定が得られ、これにより楕円的正則化を用いて極限に移行できる。
• 結果から、Diederich-Forn\ae ss 指数が推定が成り立つSobolev正則性レベルを制御しており、このレベルは [91] の手法を用いて作用素 $A_\rho$ を通じて回復可能であると示唆される。
• 正則化された作用素に対する非自明な推定が、楕円的正則化に成功するためには、交換子の法線成分における局所的推定の強さが極めて重要である。弱い推定では、[91] で導出されたような、新しい非自明な推定が必要となる。