[论文解读] Radial growth of functions from the Korenblum space

Alexander Borichev, Yurii Lyubarskii+2 more|arXiv (Cornell University)|Mar 30, 2009

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

一句话总结

本文研究了在单位圆盘中，被Korenblum型控制函数 $ v(r) = -\log(1-r)^{-1} $ 控制的解析函数与调和函数的径向增长与衰减。通过Hausdorff测度估计，表明极端径向增长或衰减仅可能发生在Lebesgue测度为零的例外集合上，且给出了这些集合大小的精确定量估计，以尺度 $ h_\alpha(t) = t|\log t|^\alpha $ 表示。主要贡献在于利用Hausdorff测度对例外集合给出了精确估计。

ABSTRACT

We study radial behavior of analytic and harmonic functions, which admit a certain majorant in the unit disk. We prove that extremal growth or decay may occur only along small sets of radii and give precise estimates of these exceptional sets.

研究动机与目标

• 理解被 $ v(r) = \log\frac{1}{1-r} $ 控制的单位圆盘中解析与调和函数的径向行为，该函数是Korenblum空间 $ A^{-\infty} $ 的模型。
• 确定此类函数沿半径的生长或衰减速度，特别是极端增长/衰减是否可能在大量半径集合上发生。
• 使用Hausdorff测度与测度函数 $ h_\alpha(t) = t|\log t|^\alpha $，量化可能表现出极端径向增长或衰减的例外半径集合的大小。
• 表明对于Korenblum类中的函数，此类极端行为被限制在Lebesgue测度为零的集合上，并给出精确的测度论界。
• 通过显式构造函数与具有受控Hausdorff测度的Cantor型集合，证明估计的精确性。

提出的方法

• 将集合 $ D_+(f) $ 与 $ D_-(f) $ 定义为角度 $ \theta \in [0,2\pi) $ 的集合，使得 $ \log|f(re^{i\theta})| $ 的增长或衰减速度超过 $ |\log(1-r)| $。
• 利用Poisson积分表示将调和函数与边界测度联系起来，并从径向增长推导出非切向增长的估计。
• 应用调和测度不等式与极大函数估计，控制径向增长或衰减超过控制函数的例外集合的大小。
• 通过嵌套区间与二进制分解构造Cantor型集合 $ C $，使其具有预设的Hausdorff测度 $ H_\lambda(C) $，以检验估计的精确性。
• 使用测度函数 $ \lambda(t) = t|\log t|^\alpha $ 定义Hausdorff测度，并通过覆盖论证与递归区间计数，推导出 $ H_\lambda(D_\pm(f)) $ 的下界。
• 构造一列正调和函数 $ v^{(n)} $，满足 $ v^{(n)} \in \mathcal{K} $，且 $ H_\lambda(E_+(v^{(n)})) \to \infty $，从而证明边界的精确性。

实验结果

研究问题

• RQ1 在Korenblum空间中，函数沿半径表现出比 $ \log\frac{1}{1-r} $ 更快径向增长的集合的最大可能大小是什么？
• RQ2 在Korenblum空间中的调和函数是否可能沿一个大集合的半径以快于 $ -\log\frac{1}{1-r} $ 的速度衰减至 $ -\infty $，如果是，这样的集合最大可以有多大？
• RQ3 径向增长与衰减的例外集合在大小上如何比较？是否可以使用测度函数 $ h_\alpha(t) = t|\log t|^\alpha $ 的Hausdorff测度进行量化？
• RQ4 对径向增长例外集合的Hausdorff测度估计是否精确？是否可通过显式构造实现？
• RQ5 当考虑满足控制条件的正调和函数时，行为是否发生显著变化？

主要发现

• 对于任意 $ f \in A^{-\infty} $，在 $ \log|f(re^{i\theta})| $ 的增长速度超过 $ |\log(1-r)| $ 的半径集合 $ D_+(f) $，其关于任意测度函数 $ \lambda(t) = o(t|\log t|^\alpha) $（当 $ t \to 0 $ 时）的Hausdorff测度为零，对所有 $ \alpha > 0 $ 成立。
• 当 $ \lambda(t) = t|\log t|^\alpha $ 且 $ \alpha \geq 1 $ 时，例外集合 $ D_+(f) $ 的 $ H_\lambda $-测度为正，且该界是精确的：存在函数使得 $ H_\lambda(D_+(f)) > 0 $。
• 对于满足 $ u \in \mathcal{K} $ 的调和函数 $ u $，在 $ u(re^{i\theta}) \to -\infty $ 的速度超过 $ \log\frac{1}{1-r} $ 的半径集合 $ D_-(u) $，其Hausdorff测度估计与 $ D_+(f) $ 相同，表明例外集合大小具有对称性。
• 本文构造了一个函数 $ u \in \mathcal{K} $，使得当 $ \lambda(t) = t|\log t| $ 时，有 $ H_\lambda(E_+(u)) = \infty $，表明该边界是精确的，无法进一步改进。
• 对于满足 $ u(z) \leq \log\frac{1}{1-|z|} $ 的正调和函数，其径向增长的例外集合 $ E_+(u) $ 满足 $ H_\lambda(E_+(u)) = \infty $（当 $ \lambda(t) = t|\log t| $ 时），表明其行为与一般调和函数不同。
• 通过构造Cantor型集合 $ C^{(n)} $，使得当 $ n \to \infty $ 时 $ H_\lambda(C^{(n)}) \to \infty $，且这些集合始终位于正调和函数的例外集合中，从而确认了测度论估计的精确性。