[论文解读] Covering and distortion theorems for spirallike functions with respect to a boundary point

Mark Elin|ArXiv.org|Nov 28, 2005

Analytic and geometric function theory参考文献 9被引用 7

一句话总结

本文建立了关于以边界点为基准的旋轮函数的精确覆盖与畸变定理，引入了由实部不等式定义的类 $\mathop{\rm G}\nolimits(\mu,\beta)$，其中涉及参数 $\mu$ 与阶数 $\beta$。文章推导了这些函数的积分表示，并证明当 $\mu\beta = 1$ 时，其像覆盖以 $1$ 为中心、半径为 $1$ 的圆盘，显著优于以往仅保证半径为 $1/4$ 的结果。主要贡献在于揭示了此前未知的更大覆盖区域。

ABSTRACT

In this note we obtain some distortion results for spirallike functions with respect to a boundary point. In particular, we find the maximal domain covered by all spirallike functions of order $β$.

研究动机与目标

• 建立关于以边界点为基准的单芽旋轮函数的精确覆盖与畸变定理。
• 定义并分析类 $\mathop{\rm G}\nolimits(\mu,\beta)$，该类由以边界点为基准的 $\mu$-旋轮函数构成，阶数为 $\beta$。
• 利用单位圆上的概率测度，为 $\mathop{\rm G}\nolimits(\mu,\beta)$ 中的函数推导积分表示。
• 确定所有 $\mathop{\rm G}\nolimits(\mu,\beta)$ 中函数所覆盖的最大区域，特别是当 $\mu\beta = 1$ 时，并与先前结果进行比较。
• 通过变换 $s(z) = zf(z)/(1-z)^\mu$，将类 $\mathop{\rm G}\nolimits(\mu,\beta)$ 与以内部点为基准的旋轮函数联系起来。

提出的方法

• 本文通过不等式 $\mathop{\rm Re}\left(\frac{2}{\mu}\frac{zf'(z)}{f(z)} + \frac{1+z}{1-z}\right) > \beta$ 引入类 $\mathop{\rm G}\nolimits(\mu,\beta)$，该不等式推广了以边界点为基准的旋轮函数。
• 证明了 $f \in \mathop{\rm G}\nolimits(\mu,\beta)$ 的积分表示：$f(z) = (1-z)^\mu \exp\left[-\mu(1-\beta)\oint \ln(1 - z\bar{\zeta}) \, d\sigma(\zeta)\right]$，其中 $\sigma$ 是单位圆上的一类概率测度。
• 证明过程利用 Riesz–Herglotz 公式表示相应的 Carathéodory 函数，并对所得的对数导数进行积分。
• 通过变换 $s(z) = zf(z)/(1-z)^\mu$ 建立 $\mathop{\rm G}\nolimits(\mu,\beta)$ 与以内部点为基准的旋轮函数之间的联系，表明当 $\mu = re^{i\phi}$ 时，$s$ 是阶数为 $\cos\phi - r(1-\beta)/2$ 的 $\phi$-旋轮函数。
• 通过分析函数 $a_s(t) = |(1 + e^{it})^s - 1|^2$ 的几何性质，确定极值并推导覆盖半径。
• 应用 Ruscheweyh 和 Špaček 的已知结果，推导次序与控制条件，从而获得 $\mathop{\rm G}\nolimits(\mu,\beta)$ 的替代刻画。

实验结果

研究问题

• RQ1 所有以边界点为基准、阶数为 $\beta$ 的旋轮函数构成的类 $\mathop{\rm G}\nolimits(\mu,\beta)$ 所覆盖的最大区域是什么？
• RQ2 函数 $\mathop{\rm G}\nolimits(\mu,\beta)$ 的积分表示如何与其几何与解析性质（如覆盖与畸变）相关联？
• RQ3 类 $\mathop{\rm G}\nolimits(\mu,\beta)$ 能否通过次序于一个典型函数来刻画，这对其函数像意味着什么？
• RQ4 当 $\mu\beta = 1$ 时，$\mathop{\rm G}\nolimits(\mu,\beta)$ 的覆盖半径与以往结果相比如何？
• RQ5 类 $\mathop{\rm G}\nolimits(\mu,\beta)$ 与以内部点为基准的旋轮函数之间存在何种关系？该联系如何用于推导新的覆盖定理？

主要发现

• 当 $\mu\beta = 1$ 时，$\mathop{\rm G}\nolimits(\mu,\beta)$ 中任意函数的像均覆盖以 $1$ 为中心、半径为 $1$ 的圆盘 $\{w : |w - 1| < 1\}$，这显著优于 Chen 和 Owa 的先前结果，后者在相同条件下仅保证半径为 $1/4$ 的圆盘。
• 当 $\mu\beta = 1$ 时，覆盖圆盘的半径为 $1$，在给定归一化条件下为最大可能值，且该界是精确的。
• 对于所有 $f \in \mathop{\rm G}\nolimits(\mu,\beta)$，积分表示 $f(z) = (1-z)^\mu \exp\left[-\mu(1-\beta)\oint \ln(1 - z\bar{\zeta}) \, d\sigma(\zeta)\right]$ 成立，其中 $\sigma$ 是单位圆上的概率测度。
• 变换 $s(z) = zf(z)/(1-z)^\mu$ 将 $\mathop{\rm G}\nolimits(\mu,\beta)$ 中的函数映射为阶数为 $\cos\phi - r(1-\beta)/2$ 的 $\phi$-旋轮函数，从而将边界点旋轮函数与内部点旋轮函数联系起来。
• 类 $\mathop{\rm G}\nolimits(\mu,\beta)$ 可通过次序刻画：对所有 $u,v \in \overline{\Delta}$，有 $\left(\frac{1-uz}{1-vz}\right)^\mu \frac{f(vz)}{f(uz)} \prec \left(\frac{1-uz}{1-vz}\right)^{(1-\beta)\mu}$。
• 当 $\phi = 0$，$\alpha = \beta = 1/2$，且 $s$ 为 $1/2$ 阶星形函数时，函数 $1 - (1-z)^2 (s(z)/z)$ 覆盖单位开圆盘，且 $\frac{(1-z)^2 s(z)}{2z - (1-z)^2 s(z)}$ 覆盖右半平面。