[論文レビュー] On supnorm estimates for $\bar\partial$ on infinite type convex domains in $\mathbb C^2$

John Erik Fornæss, Lina Lee+1 more|ArXiv.org|Nov 12, 2009

Nonlinear Partial Differential Equations被引用数 3

ひとこと要約

本稿では、$ \mathbb{C}^2 $ 内の特定の無限型凸領域、特に指数関数的境界挙動を示す丸みを帯びた双円板に対して、$ \bar\partial $-方程式の $ L^\infty $-ノルム推定を確立する。修正されたヘンキン積分核と慎重な $ L^1 $-型推定を用いて、指数 $ \alpha < 1 $ のとき、一様な $ L^\infty $-境界が成り立つことを証明し、このクラスの領域に関して長年の未解決問題を解決する。

ABSTRACT

In this paper, we study the $\bar\partial$-equation on some convex domains of infinite type in $\mathbb C^2$. In detail, we prove that supnorm estimates hold for infinite exponential type domains provided the exponent is less than 1.

研究の動機と目的

• $ \mathbb{C}^2 $ 内の無限型凸領域における $ \bar\partial $-方程式の解の均一な $ L^\infty $-ノルム推定を確立すること。古典的手法は無限型特異性のため失敗する。
• ヘンキンの積分公式技法を双円板から、平坦かつ強く凸な境界部を持つ領域へと拡張すること。特に、指数関数的平坦化を示す領域。
• ヘンキン核が絶対可積分のままである臨界指数 $ \alpha $ を特定すること。これにより $ L^\infty $-推定が可能になる。
• リーマン平坦部と強く凸な境界部を持つ領域における $ \bar\partial $-解作用素の挙動を、特に無限型点付近で分析すること。
• 無限型境界プロファイルを有する丸みを帯びたポリディスクにおける $ L^\infty $-推定のフレームワークを提供すること。これは、有限型および厳密凸領域の結果を一般化する。

提案手法

• 双円板におけるヘンキンの積分核公式を、平坦面と丸みを帯びた無限型境界部を持つ領域に適応する。
• 境界積分を三つの部分に分割する：平坦面（ヘンキン型）、コン pact な強く凸部、および無限型点付近の遷移領域。
• 部分積分と変数変換を適用し、平坦面からの積分を曲面部へと移動させ、$ L^1 $-型境界を保つ。
• 極座標と $ L^p $-双対性推定（$ p_0 > 2 $, $ q_0 < 2 $）を用いて、指数的平坦化に起因する対数的および特異的項を制御する。
• 不等式 $ a^p + b^q \gtrsim ab $（$ 1/p + 1/q = 1 $）を用いて、核内の特異性を分離し、$ \alpha < 1 $ のとき可積分性を保証する。
• 極座標における $ |\ln(r^2 - 1)|^{p_0}/(r^2 - 1)^{p_0\alpha/2} $ の近似により、無限型点付近の核の挙動を分析し、$ \alpha < 1 $ のとき収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 無限型凸領域における $ \mathbb{C}^2 $ 内の $ \bar\partial $-方程式に対して、$ L^\infty $-ノルム推定を確立できるか？
• RQ2 指数関数的平坦化を示す領域において、ヘンキン積分核が絶対可積分のままである臨界指数 $ \alpha $ は何か？
• RQ3 双円板に用いられる手法は、平坦部、強く凸部、無限型境界部が混在する領域へと拡張可能か？
• RQ4 境界が指数 $ \alpha < 1 $ の指数的プロファイルで滑らかにされた丸みを帯びた双円板に対し、$ L^\infty $-推定が得られるか？
• RQ5 $ \alpha = 1 $ が $ L^\infty $-推定において最適か、それとも境界を改善できるか？

主な発見

• 境界関数 $ \chi(t) = 1 + \exp(-1/(t-1)^{\alpha/2}) $ を $ (1,1+\epsilon) $ 上で定義した領域 $ \Omega = \{ \chi(|z_1|^2) + |z_2|^2 < 4 \} $ に対して、$ \alpha < 1 $ のとき $ \bar\partial u = f $ の $ L^\infty $-推定が成り立つ。
• 指数 $ \alpha < 1 $ のとき、遷移領域における $ \bar\partial $-解作用素に付随する積分核は、制御された対数的およびべき乗特異性のため、一様に $ L^1 $ に属する。
• $ \alpha < 1 $ のとき、$ \int_{1<r<1+\epsilon} \frac{|\ln(r-1)|^{p_0}}{(r-1)^{p_0\alpha/2}} dr < \infty $ が成り立つ。これにより、無限型点付近の核成分の可積分性が保証される。
• 本手法は、$ \chi $ が凸かつ指数的に平坦であると仮定した $ \rho(z) = \chi(|z_1|) + \chi(|z_2|) - 2 + a < 0 $ で定義される丸みを帯びた双円板へも成功裏に拡張可能であり、$ \alpha < 1 $ のとき $ L^\infty $-境界が得られる。
• 臨界指数 $ \alpha = 1 $ は未解決のままである。著者らは $ \alpha < 1 $ が十分であることを示したが、必要条件であるとは証明していない。
• 解析により、解 $ u $ の $ L^\infty $-境界が $ \|u\|_\infty \leq C \|f\|_\infty $（ある定数 $ C = C(\Omega) $）を満たすことが確認された。これは指定された無限型領域で有効である。