[論文レビュー] The Szegö kernel for certain non-pseudoconvex domains in C^2

Michael Gilliam, Jennifer Halfpap|arXiv (Cornell University)|Jul 8, 2011

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

ひとこと要約

本稿は、p < 0 である滑らかで凸でない関数 b(x) = ¹⁄₄x⁴ + ¹⁄₂px² + qx で定義される ℂ² 内の非擬凸領域における Szegö 核の性質を調査する。積分表現と振動積分の漸近解析を用いて、Szegö 核およびその導関数が絶対収束する ℂ²×ℂ² 内の明確な集合を同定し、特に x = ±r のとき |x| ≥ √(−p) または |x| = |r| = √(−p) である領域で対角線から離れた部分で発散（したがって特異性を持つ）ことを示している。

ABSTRACT

We consider the Szegö kernel for domains Ωin C^2 given by Ω= {(z,w): Im w &gt; b(Re z)} where b is a non-convex quartic polynomial with positive leading coefficient. Such domains are not pseudoconvex. We describe the subset of \barΩ imes \barΩ on which the kernel and all its derivatives are finite. In particular, we show that there are points off the diagonal of the boundary at which the Szegö kernel is infitie as well as points on the diagonal at which it is finite.

研究の動機と目的

• 標準的な擬凸理論が適用できない ℂ² 内の非擬凸領域における Szegö 射影の写像性質を理解すること。
• 特に擬凸性が成り立たない状況において、Szegö 核およびその導関数が絶対収束する ℂ²×ℂ² 内の明確な集合を同定すること。
• 境界積空間における対角線付近およびそれ以外の領域における Szegö 核の挙動を分析し、非凸定義関数に起因する特異性に焦点を当てる。
• 従来、擬凸領域に限られてきた Bergman 核および Szegö 核に関する既知の結果を、滑らかで非凸な境界をもつ非擬凸領域のクラスへと拡張すること。
• この設定における Szegö 射影の積分核公式から生じる振動積分の詳細な漸近的解析を提供すること。

提案手法

• 関数 N(η,τ) = ∫ e^{2τ[ηλ−b(λ)]} dλ を用いたパラメータ化表現を用いて、Szegö 核 S(z,w) の明示的積分公式を導出する。
• 定数 c を含む、τ > 0 および η ∈ ℝ における二重積分として核を表す。積分核は τ e^{ητ(z₁+ w̄₁) + iτ(z₂− w̄₂)} [N(η,τ)]^{-1} の形をとる。
• 位相関数の臨界点近傍における振幅関数 A(x,r,η) の振る舞いを分析することで、核およびその導関数の収束性を検討する。
• 位相関数 B_η が最大値をとる臨界値 η (例：η₀, q) を同定し、これらの点の近傍における A(x,r,η) の局所的構造を検討する。
• 停留化法および非停留化法を適用し、|η| → ∞ のときの λ(η) ≈ η^{1/3} の漸近展開を用いて、減衰率を推定する。
• 特に (η−η₀)^2(1+|η|)^{-2/3} のようなべき関数との比較により、I₁⁰(η) の収束または発散を特定し、指数 −9/4 を適用した場合に発散することを示す。

実験結果

リサーチクエスチョン

• RQ1 非擬凸領域において、滑らかで非凸な関数 b(x) で定義される ℂ² 内の領域について、Szegö 核およびその導関数が絶対収束する正確な集合はどこか？
• RQ2 b(x) が非凸な四次関数である場合、特に擬凸性が欠如する状況で、Szegö 核の特異性はどのように生じるか？
• RQ3 位相関数の臨界点構造が、積分核表現の収束性を決定づける役割を果たすか？
• RQ4 位相から生じる立方方程式の実根 λ(η) の漸近的挙動が、振幅関数の減衰率にどのように影響するか？
• RQ5 ℂ²×ℂ² のどの領域で Szegö 核が滑らかでなくなるか。また、その特異性の正確な性質（例：べき関数的発散）は何か？

主な発見

• Szegö 核およびその導関数は、位相関数と振幅関数がゼロから離れている限り、集合 Σ = {(z,w) : x=r かつ |x|>√(−p)} ∪ {(z,w) : |x|=|r|=√(−p)} のみで絶対収束する。
• x=r かつ |x|>√(−p) の場合、振幅関数 A(x,x,η) ≈ (η−η₀)^2(1+|η|)^{-2/3} となり、この振幅関数に指数 −9/4 を適用した結果、I₁⁰(η) が発散する。
• x=r かつ |x|=√(−p) の場合、振幅関数は A(x,x,η) ≈ (η−q)^2(1+|η|)^{-2/3} と振る舞い、再び I₁⁰(η) が発散し、核に特異性が生じることを示す。
• |x|=|r|=√(−p) かつ x=−r の場合、振幅関数 A(x,−x,η) ≈ (η−q)h(η) で、|h(η)|≈(1+|η|)^{1/3} と近似可能であり、被積分関数は |η−q|^{-9/4}(1+|η|)^{-3/4} のオーダーとなり、η=q で発散する。
• 解析により、x=r かつ |x|≥√(−p) である集合の任意の近傍で、Szegö 核は絶対収束しないことが確認され、対角線から離れた部分に特異性が存在することが示唆される。
• 上記3つの場合すべてで I₁⁰(η) が発散することから、核およびその導関数がこれらの領域で絶対収束しないことが確立され、非擬凸設定における特異性の存在が証明される。