[論文レビュー] Propagation of regularity for solutions of the Kohn Laplacian in a flat boundary

Luca Baracco, Tran Vu Khanh+1 more|ArXiv.org|Aug 14, 2009

Holomorphic and Operator Theory参考文献 7被引用数 7

ひとこと要約

本稿では、$ s \geq 1 $ のもとで $ x_2 = e^{-1/|y_1|^s} $ で定義される平坦な境界において、$ x_1 $-軸に平行な直線が全解析的拡張の伝搬子として機能することを確立する。境界の挙動を漸近的見積もりによって解析する、圧縮された全解析的円板の族を用いて、全解析関数がこのような直線に沿って境界を越えて拡張可能であることを証明し、この設定におけるKohn-Laplacian $ \Box_b $ の非超弱解法性を説明する。

ABSTRACT

We prove that CR lines in an exponentially degenerate boundary are propagators of holomorphic extension. This explains, in the context of the CR geometry, why in this situation the induced Kohn-Laplacian $\Box_b$ is not hypoelliptic according to recent work by Christ.

研究の動機と目的

• 指数的退化 $ x_2 = e^{-1/|y_1|^s} $ を持つ境界において、$ s \geq 1 $ のもとでKohn-Laplacian $ \Box_b $ の非超弱解法性を説明すること。
• 特に、$ x_1 $-軸に平行なCR直線といった幾何的構造が、このような退化した設定において全解析的拡張の伝搬子として機能することを特定すること。
• あるCR直線上の点からの全解析的拡張が、超弱解法性の失敗にもかかわらず、その直線全体にまで伝搬されることを示すこと。
• 全解析的拡張の伝搬と超弱解法性の間の対比を明確にし、この文脈において両者が互いに排他的であることを示すこと。

提案手法

• 境界の幾何を模倣するため、$ \tau = -1 $ 側に圧縮される、$ \mathbb{C} $ 内の全解析的円板の1パラメータ族 $ \varphi_\alpha(\tau) $ を構成し、$ \tau = 1 $ に特異点を持つ。
• $ \tau = 1 $ の近傍における $ |\text{Im}\, \varphi_\alpha| $ と $ |\varphi_\alpha| $ の漸近的挙動を分析し、$ \alpha \to 0 $ のときと対数的項を含む見積もりを導出する。
• 命題2.2を適用して、$ \partial^j_{z_1} h = O(e^{-1/|y_1|^s}) $ を満たす平坦関数 $ h_{\eta}(z_1, y_2) $（$ s \geq 1 $）と $ \varphi_\alpha $ を合成し、滑らかさと微分可能性を保証する。
• 点 $ z^1 $ の近傍に $ \delta/2 $-バンプ を持つ修正された境界関数 $ \tilde{h} $ を導入し、$ z^1 $ で滑らかに $ -\delta/2 $ に漸近させる。これにより、円板の法線方向を制御する。
• 変形された円板 $ A_\eta $ に対してコーシーの積分公式を適用し、点 $ z^1 $ の近傍から原点 $ z^o $ へ全解析的拡張を伝搬する。法線方向が下向きであることに依存する。
• 命題2.5を用いて、$ s \geq 1 $ のもとで $ \alpha \to 0 $ のとき積分 $ F_\alpha $ が消えることを示し、円板の境界が $ \partial\Omega \cup B_\delta(z^1) $ に含まれることを確認。これにより拡張が可能となる。

実験結果

リサーチクエスチョン

• RQ1 なぜ $ s \geq 1 $ のとき、境界 $ x_2 = e^{-1/|y_1|^s} $ においてKohn-Laplacian $ \Box_b $ は超弱解法性を欠くのか？
• RQ2 指数的退化の下で、境界にどのような幾何的構造が、全解析的拡張の伝搬子として機能するか？
• RQ3 圧縮されたCR直線に沿って滑らかに変形する全解析的円板の挙動は、$ \Box_b $ の超弱解法性とどのように関係するか？
• RQ4 退化境界において、CR直線上の1点からの全解析的拡張が、その直線全体にまで拡張可能か？
• RQ5 パラメータ $ s $ が、全解析的拡張の伝搬が生じるかどうかを決定する上で果たす臨界的役割は何か？

主な発見

• $ s \geq 1 $ のとき、境界 $ x_2 = e^{-1/|y_1|^s} $ における直線 $ y_1 = 0, x_2 = \text{const} $ は、全解析的拡張の伝搬子である。つまり、直線上の任意の点の近傍から全解析関数がその直線全体にまで拡張可能である。
• 円板族 $ \varphi_\alpha $ は、$ s > 1 $ のとき $ e^{-1/|\varphi_\alpha|^s} = O^\infty(1 - \tau) $ を満たし、$ s > 1/2 $ のとき $ e^{-1/|\text{Im}\, \varphi_\alpha|^s} = O^\infty(1 - \tau) $ を満たす。これにより $ \tau = 1 $ で滑らかさが保証される。
• 積分 $ F_\alpha = \int_0^{e^{-\delta/\alpha}} \frac{e^{-1/|\text{Im}\, \varphi_\alpha|^s}}{\theta^2} d\theta $ は、$ s \geq 1 $ のもとで $ \alpha \to 0 $ のとき 0 に収束する。これにより、円板の法線成分が $ \tau = 1 $ で下向きであることが確認される。
• $ s < 1 $ のとき、$ \alpha \to 0 $ のとき $ F_\alpha \to \infty $ となる。これにより、円板が下向きに伸びず、伝搬が成立しないことが示される。
• 構成された円板族 $ A_\eta $ は $ \partial A_\eta \subset \partial\Omega \cup B_\delta(z^1) $ を満たし、$ \Omega \cup \bigcup_\eta A_\eta $ は原点の近傍を含む。これにより、コーシーの公式を用いた全解析的拡張が可能となる。
• この結果は、クリストの非超弱解法性の結果を説明する。超弱解法性の欠如は、伝搬子（CR直線）の存在に起因し、それにより境界を越えて全解析的拡張が可能となる。これは境界での滑らかさの欠如と矛盾する。