[论文解读] A note on holomorphic extensions

Ricardo Pérez-Marco|ArXiv.org|Sep 4, 2000

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

一句话总结

本文建立了两个复变量化形式幂级数的全纯延拓准则，其系数为多项式且具有受控的次数增长。利用Γ-容量和Bernstein引理，证明了在由||z₁|| ≤ C₂/(1 + ||z₂||)定义的z₁轴邻域内收敛，改进了针对特定全纯函数环的Rothstein型延拓定理。

ABSTRACT

We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.

研究动机与目标

• 建立两个复变量化形式幂级数全纯延拓的充分条件。
• 通过引入Γ-容量和系数多项式次数增长的约束，改进Rothstein型延拓定理。
• 为在z₂中具有受控多项式次数增长的环R中的级数提供更强的收敛域。
• 解决全纯动力系统和小分母问题中的应用，其中此类级数自然出现。
• 使用高维容量理论，将Γ-容量条件替换为更自然的非多重次极性集，尽管主要结果使用Γ-容量以保持简洁。

提出的方法

• 定义形式幂级数f(z₁,z₂) = Σ Pₙ(z₂)z₁ⁿ的环R，其中deg Pₙ ≤ C₀ + C₁||n||。
• 使用Γ-容量刻画z₂值集合K ⊂ ℂᵐ，使得级数在z₁中收敛。
• 应用Bernstein引理，利用格林函数gΩ(z₂, ∞)和紧集的容量来界定|Pₙ(z₂)|。
• 利用下极限连续性和Baire纲定理，找到紧子集C ⊂ K，其容量为正，且在C上|Pₙ(z₂)| ≤ ρ₁^||n||一致成立。
• 利用渐近行为gΩ(z₂, ∞) ~ log|z₂| + O(1)推导出收敛域||z₁|| ≤ C₂/(1 + ||z₂||)。
• 证明若deg Pₙ/||n|| → 0，则收敛域可扩展至||z₁|| ≤ C，其中C > 0。

实验结果

研究问题

• RQ1 在什么条件下，具有z₂中多项式系数的两个复变量化形式幂级数能在z₁轴邻域内全纯延拓？
• RQ2 基集K ⊂ ℂᵐ的Γ-容量如何影响全纯延拓的域？
• RQ3 当系数多项式具有受控次数增长时，z₁中的收敛半径能否一致有下界？
• RQ4 此类级数的最优全纯域是什么？其依赖于deg Pₙ的增长方式如何？
• RQ5 Γ-容量条件能否被非多重次极性等更强、更自然的条件替代，而不会损失延拓结果？

主要发现

• 对于满足deg Pₙ ≤ C₀ + C₁||n||的级数f(z₁,z₂) = Σ Pₙ(z₂)z₁ⁿ，其全纯延拓成立的区域为U = {(z₁,z₂) ∈ ℂᵏ × ℂᵐ : ||z₁|| ≤ C₂/(1 + ||z₂||)}，其中C₂ > 0。
• 若使级数在z₁中收敛的z₂值集合K ⊂ ℂᵐ具有正Γ-容量，则延拓成立。
• 对于满足deg Pₙ/||n|| → 0的序列(Pₙ)，延拓可在更大的区域||z₁|| ≤ C中成立，其中C > 0。
• 证明依赖于Bernstein引理和渐近行为gΩ(z₂, ∞) = log|z₂| + O(1)，后者控制了系数的增长。
• 存在紧集C ⊂ K，其容量为正，且|Pₙ(z₂)|在C上具有一致的指数界，从而保证了延拓。
• 通过高维容量理论，可将结果强化至非多重次极性集，尽管主定理使用Γ-容量以保持可及性。