[论文解读] An example of limit of Lempert Functions

Pascal J. Thomas|ArXiv.org|Jan 26, 2006

Meromorphic and Entire Functions参考文献 6被引用 4

一句话总结

本文研究了在ℂ²中三个极点汇聚于原点时，勒姆佩特函数的极限行为。通过解析圆盘构造及基于施瓦茨引理和复几何的估计，建立了极限的精确上下界，表明在不同区域中极限介于2log|z|与(3/2)log|z|之间，优于已知的格林函数估计。

ABSTRACT

The Lempert function for several poles $a_0, ..., a_N$ in a domain $Ω$ of $\mathbb C^n$ is defined at the point $z \in Ω$ as the infimum of $\sum^N_{j=0} \log|ζ_j|$ over all the choices of points $ζ_j$ in the unit disk so that one can find a holomorphic mapping from the disk to the domain $Ω$ sending 0 to $z$. This is always larger than the pluricomplex Green function for the same set of poles, and in general different. Here we look at the asymptotic behavior of the Lempert function for three poles in the bidisk (the origin and one on each axis) as they all tend to the origin. The limit of the Lempert functions (if it exists) exhibits the following behavior: along all complex lines going through the origin, it decreases like $(3/2) \log |z|$, except along three exceptional directions, where it decreases like $2 \log |z|$. The (possible) limit of the corresponding Green functions is not known, and this gives an upper bound for it.

研究动机与目标

• 理解当ℂ²中的三个极点汇聚于原点时，勒姆佩特函数的精确渐近行为。
• 确定勒姆佩特函数的极限是否可以比已知的格林函数估计更紧密地界定。
• 构造显式解析圆盘，使其通过极点和取值点，以估计勒姆佩特函数。
• 在原点附近的各个角域中，建立勒姆佩特函数极限的精确上下界。
• 在极点集中时，改进已知的多复变格林函数不等式。

提出的方法

• 构造一族全纯映射φ: 𝔻 → 𝔻²，使其在点ζj处取值为极点a0, a1, a2。
• 使用复变量ζ0, ζ1, ζ2及辅助参数γ, μ的参数化方法，以控制φ在𝐷上的像。
• 应用施瓦茨引理并估计伪双曲距离，以界定log|ζj|之和，该和定义了勒姆佩特函数。
• 对ε1, ε2（极点位置）施加几何约束，以确保构造的映射保持在双圆盘内并满足所需的插值条件。
• 通过估计|wj|和|wj − wk|，验证构造的映射满足勒姆佩特函数下确界所需的条件。
• 依赖于当ε1, ε2 → 0时的渐近分析，特别关注ε1/ε2的比值及z1/z2的角条件。

实验结果

研究问题

• RQ1 当ℂ²中的三个极点汇聚于原点时，勒姆佩特函数的精确渐近行为是什么？
• RQ2 勒姆佩特函数的极限是否可以比已知的格林函数估计更紧密地界定？
• RQ3 在什么条件下，勒姆佩特函数的极限趋近于(3/2)log|z|？
• RQ4 当z位于坐标轴或直线z1 + z2 = 0上时，勒姆佩特函数是否仍被2log|z|上界控制？
• RQ5 在远离坐标轴的角域中，(3/2)log|z|是否为勒姆佩特函数极限的精确上界？

主要发现

• 当ε1 = ε2 = ε时，勒姆佩特函数的上极限在坐标轴或直线z1 + z2 = 0上被上界控制为2log|z| + C。
• 当z位于满足c0 ≤ |z1/z2| ≤ c0⁻¹且|1 + z1/z2| ≥ c0的锥形区域内时，勒姆佩特函数的下极限被下界控制为(3/2)log|z| − C。
• 在附加条件ε1²/ε2 → 0且ε2²/ε1 → 0下，勒姆佩特函数的上极限被上界控制为(3/2)log|z| + C。
• 在|z2|² < |z1| < |z2|¹ᐟ²的区域中，勒姆佩特函数的极限严格小于2log|z|，优于先前的格林函数界。
• (3/2)log|z|的界是精确的，经由与Magnusson和Sigurdsson即将发表的工作确认，无法进一步改进。
• 勒姆佩特函数不收敛于一个拟凸函数，表明其在极限下不等于格林函数。