[論文レビュー] Closed range of $\bar\partial$ in $L^2$-Sobolev spaces on unbounded domains in $\mathbb{C}^n$

Phillip S. Harrington, Andrew Raich|arXiv (Cornell University)|Apr 25, 2017

Advanced Harmonic Analysis Research参考文献 6被引用数 3

ひとこと要約

本稿は、$\mathbb{C}^n$ 内の非有界領域における重み付き $L^2$-Sobolev 空間上での $(0,q)$-形式に対する $\bar\partial$ 算術の閉じた範囲を保証する十分条件である弱 $Z(q)$ 条件を確立する。これは、古典的な結果を非強凸的かつ非有界な設定へ一般化したものである。主な貢献は、このような領域において重み付き Sobolev 空間が閉じた範囲を保証するために不可欠であることを示し、弱 $Z(q)$ 条件が $\bar\partial$-Neumann 問題の正則性と可解性を保証することである。

ABSTRACT

Let $Ω\subset\mathbb{C}^n$ be a domain and $1 \leq q \leq n-1$ fixed. Our purpose in this article is to establish a general sufficient condition for the closed range of the Cauchy-Riemann operator $\bar\partial$ in appropriately weighted $L^2$-Sobolev spaces on $(0,q)$-forms. The domains we consider may be neither bounded nor pseudoconvex, and our condition is a generalization of the classical $Z(q)$ condition that we call weak $Z(q)$. We provide examples that explain the necessity of working in weighted spaces both for closed range in $L^2$ and, even more critically, in $L^2$-Sobolev spaces.

研究の動機と目的

• 非有界領域における $\mathbb{C}^n$ 上の $(0,q)$-形式に対する重み付き $L^2$-Sobolev 空間上での $\bar\partial$ 算術の閉じた範囲を保証する一般な十分条件を確立すること。
• 古典的な $Z(q)$ 条件を、非強凸的かつ非有界な領域に適用可能な弱い曲率条件である弱 $Z(q)$ に一般化すること。
• 非有界領域において、重みなし空間では幾何的・解析的障害のため失敗するが、重み付き $L^2$-Sobolev 空間が閉じた範囲推定に不可欠であることを示すこと。
• 重み付き Sobolev 評価を構築し、$\bar\partial$-Neumann 理論を非有界領域へ拡張することで、解の正則性を保証すること。

提案手法

• 弱 $Z(q)$ 条件を、古典的な $Z(q)$ 条件を一般化し、非有界領域にも適用可能な Levi 形式の曲率条件として導入する。
• 領域が非有界であっても $\bar\partial$-Neumann 問題を安定化させるために、重み $e^{-t|z|^2}$ を用いた重み付き $L^2$-Sobolev 範数を用いる。
• 部分積分と交換子評価を用いて、重み付き Sobolev 範数内での $\bar\partial$ 及びその随伴 $\bar\partial_t^*$ の高階微分を制御する。
• 境界付近でのベクトル場の接線性を活用し、小定数／大定数の議論により交換子を制御し、低次の項を吸収する。
• 重み付き $H^k$ 評価を証明する：$\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$。
• 標準的解作用素と $\bar\partial$-Neumann 作用素の連続性を用いて、$C^\infty$ 級解の可解性および境界に沿った正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 強凸性や有界性を仮定しない非有界領域における $L^2$-Sobolev 空間上での $(0,q)$-形式に対する $\bar\partial$ の閉じた範囲は、どのように確立できるか？
• RQ2 非有界領域における重み付き $L^2$-Sobolev 空間上での $\bar\partial$ の閉じた範囲を保証する、Levi 形式に対する最も弱い曲率条件は何か？
• RQ3 なぜ非有界領域では重み付き $L^2$-Sobolev 空間が閉じた範囲推定に不可欠であり、幾何的障害が重みなし推定を不可能にするのか？
• RQ4 弱 $Z(q)$ 条件は、既存の文献における古典的な $Z(q)$ 及び関連条件をどのように一般化するのか？また、$\bar\partial$-Neumann 作用素の正則性を保証する役割は何か？
• RQ5 重み付き Sobolev 評価を用いて、非有界領域上での $\bar\partial$-Neumann 問題を $C^\infty$ 級で解けるか？重みおよび領域に必要な構造的条件は何か？

主な発見

• 弱 $Z(q)$ 条件は、$\mathbb{C}^n$ 内の非有界領域における $(0,q)$-形式に対する重み付き $L^2$-Sobolev 空間上での $\bar\partial$ の閉じた範囲を保証する十分な曲率条件であり、領域が強凸的でない場合でも成立する。
• 非有界領域では重み付き $L^2$-Sobolev 空間が閉じた範囲推定に不可欠であり、重みなし推定は、$u_R$ を用いたスケーリング議論により、任意に大きな球の存在によって失敗することが示される。
• $\bar\partial$-Neumann 作用素 $N_{q,t}$ は重み付き $H^k$ 評価を満たす：$\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$（$t$ が十分大きい場合）。
• 標準的議論により理論は $C^\infty$-滑らかな解へ拡張され、弱 $Z(q)$ 条件の下で非有界領域上での $\bar\partial$-Neumann 問題が $C^\infty$ 級で可解であることが示される。
• 証明において接線ベクトル場を用いることで、交換子を制御し、低次の項を吸収でき、これが主要な $H^k$ 評価の導出を可能にする。
• 無限個の固定半径の互いに交わらない球を持つ非有界領域では Rellich の補題が成り立たないため、$H^1(\Omega)$ は $L^2(\Omega)$ でコンパクトでない。これは、Sobolev 理論において重み付き空間の必要性を正当化する。