[论文解读] 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

一句话总结

本文研究了在 ℂ² 中由光滑非凸函数 b(x) = ¹⁄₄x⁴ + ¹⁄₂px² + qx（其中 p < 0）定义的非强伪凸区域的 Szegö 核。通过积分表示法与振荡积分的渐近分析，作者精确识别出 ℂ²×ℂ² 中 Szegö 核及其导数绝对收敛的集合，表明在 |x| ≥ √(−p) 或 |x| = |r| = √(−p) 的区域中，核在对角线之外发散（即存在奇点），特别是当 x = ±r 时。

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) 的显式积分公式。
• 将核表示为 τ > 0 与 η ∈ ℝ 上的双重积分，形式为 τ e^{ητ(z₁+ w̄₁) + iτ(z₂− w̄₂)} [N(η,τ)]^{-1}，其中包含常数 c。
• 通过研究振荡积分中振幅函数 A(x,r,η) 的行为，特别是相位函数临界点附近的行为，分析核及其导数的收敛性。
• 识别出相位函数 B_η 达到最大值的临界 η 值（例如 η₀, q），并分析这些点邻域内 A(x,r,η) 的局部结构。
• 应用驻相位法与非驻相位法，利用 λ(η) ≈ η^{1/3} 在 |η| → ∞ 时的渐近展开，估计衰减率。
• 通过将振幅与幂律比较，建立 I₁⁰(η) 的收敛或发散性，特别是 (η−η₀)^2(1+|η|)^{-2/3}，当指数 −9/4 应用于该振幅时导致发散。

实验结果

研究问题

• RQ1 对于由光滑非凸函数 b(x) 定义的 ℂ² 中非强伪凸区域，Szegö 核及其导数在何处绝对收敛？
• RQ2 在缺乏强伪凸性时，Szegö 核的奇点如何产生，特别是当 b(x) 为非凸四次函数时？
• 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}，导致 I₁⁰(η) 因指数 −9/4 应用于该振幅而发散。
• 当 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 处发散。
• 分析确认，Szegö 核在集合 x=r 且 |x|≥√(−p)，或 |x|=|r|=√(−p) 的任意邻域内均不绝对收敛，意味着核在对角线之外存在奇点。
• 在上述三种情况下，I₁⁰(η) 的发散性表明，核及其导数在这些区域中不绝对收敛，从而证明了在非强伪凸设定下奇点的存在性。