[论文解读] Holomorphic minorants of plurisubharmonic functions

Б. Н. Хабибуллин, T. Yu. Baĭguskarov|arXiv (Cornell University)|Mar 6, 2016

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

一句话总结

本文通过加权 $L^2$ 估计和 Jensen 不等式，建立了全纯函数关于拟凸函数上界的精确点态上界。关键贡献是提出了一个新点态估计（定理 1）：对任意 $a>0$，存在一个在伪凸域 $D\subset\mathbb{C}^n$ 上非零的全纯函数 $f$，使得 $\log|f(z)|$ 被 $\varphi$ 在 $B(z,r)$ 上的 Lebesgue 平均值加上关于 $r$ 和 $|z|$ 的对数项所控制，且对 $a$ 的依赖关系为最优。该结果通过引入平均化并改进增长控制，优于早期结果。

ABSTRACT

Let $φ$ be a plurisubharmonic function on a pseudoconvex domain $D \subset \mathbb C^n$. We show that there exists a nonzero holomorphic function $f$ on $D$ such that some local mean value of $φ$ with logarithmic additional terms majorizes $\log |f|$. A similar problem is discussed for a locally integrable function on $D$ in terms of balayage of positive measures. Key words: holomorphic function, plurisubharmonicity, minorant, balayage, Jensen inequality, mean value in the ball.

研究动机与目标

• 在伪凸域中，为非零全纯函数建立其对给定拟凸函数 $\varphi$ 的精确点态估计。
• 通过在球体上对 $\varphi$ 进行空间平均，改进 Hörmander 理论中现有的 $L^2$ 估计。
• 通过在控制函数中以 Lebesgue 平均替代逐点上确界，改进先前结果，获得更紧致且更灵活的上界。
• 通过底层函数的测度条件，将全纯下界的存在性推广至可变平均化情形。

提出的方法

• 利用 Bombieri 存在性定理与 Hörmander 的 $L^2$ 方法，推导出关于 $e^{-2\varphi}$ 加权 $L^2$ 可积的非零全纯函数的存在性。
• 对次调和函数 $2\log|f|$ 与比较函数 $2\psi = 2\varphi + (n+a)\log(1+|z-z_0|^2)$ 应用 Jensen 不等式，以导出点态估计。
• 运用次调和函数的一个关键引理，将 $\log|f(z)|$ 以函数 $\psi$ 在球 $B(z,r)$ 上的平均值加上对数修正项进行控制。
• 引入可变平均算子 $F^{*d}(z) = \frac{1}{\lambda(B(0,d(z)))}\int_{B(z,d(z))} F\,d\lambda$，将估计推广至非恒定半径情形。
• 通过 [4] 中的对偶性结果，将 $F^{*d}$ 的下界问题转化为寻找满足 $\varphi \leq F^{*d}$ 的拟凸下界。
• 对下界 $\varphi$ 应用定理 1，得到最终的点态上界，其中包含平均化的 $\varphi$ 及关于 $r$ 和 $|z|$ 的对数修正项。

实验结果

研究问题

• RQ1 能否通过用球体上的 Lebesgue 平均替代逐点上确界，改进全纯下界对拟凸函数的点态上界？
• RQ2 在对数修正项中，该上界对参数 $a>0$ 的最优依赖关系为何？
• RQ3 在何种条件下，函数 $F$ 存在非零全纯下界，且满足可变半径平均估计？
• RQ4 与先前结果相比，球体上的平均化如何影响下界估计的紧致性与适用性？
• RQ5 能否通过使用局部平均化，使上界独立于参考点 $z_0$ 的选择？

主要发现

• 对任意 $a>0$，在伪凸域 $D\subset\mathbb{C}^n$ 上存在一个非零全纯函数 $f$，使得对所有 $z\in D$ 及 $0<r<\operatorname{dist}(z,\mathbb{C}^n\setminus D)$，有 $\log|f(z)| \leq \frac{1}{\lambda(B(0,r))}\int_{B(z,r)}\varphi\,d\lambda + n\log\frac{1}{r} + (n+a)\log(1+|z|+r)$。
• 上界右侧包含 $\varphi$ 在 $B(z,r)$ 上的 Lebesgue 平均值，其严格小于先前估计中使用的逐点上确界。
• 该结果在意义下是紧致的：若去掉与 $a$ 相关的对数项 $ (n+a)\log(1+|z|+r) $，则此类下界的存在性将不复成立。
• 该结果可推广至可变半径平均：若 $\inf\{\int F\,d\mu : \mu_0 \prec_{\operatorname{psh}(D)} \mu \in \mathcal{M}_{\rm ac}^{+}(D)\} > -\infty$，则类似上界对 $F^{*d}$ 成立。
• 该方法表明，在自然可积性条件下，全纯下界的存在性等价于平均函数 $F^{*d}$ 的拟凸下界的存在性。
• 当 $n=1$ 时，若 $\varphi$ 在 $\mathbb{C}$ 上为次调和函数，该上界严格优于早期结果（如 [5]、[6]、[7]），尤其在衰减与增长控制方面。