[论文解读] Radii of convexity of integral operators

Parvaneh Najmadi, Sh. Najafzadeh+1 more|arXiv (Cornell University)|Apr 11, 2018

Analytic and geometric function theory参考文献 6被引用 5

一句话总结

本文研究了涉及导数与标准化解析函数乘积的两个积分算子的凸性半径。通过应用次纯化原理和线性不变族中的不等式，作者在特定系数和阶数约束下推导出凸性半径的显式公式，为单位圆盘内单芽性与凸性的最优界限提供了支持。

ABSTRACT

The object of the present paper is to study of radius of convexity two certain integral operators as follows \begin{equation*} F(z):=\int_{0}^{z}\prod_{i=1}^{n}\left(f'_i(t) ight)^{γ_i}{ m d}t \end{equation*} and \begin{equation*} J(z):=\int_{0}^{z}\prod_{i=1}^{n}\left(f'_i(t) ight)^{γ_i}\prod_{j=1}^{m} \left(\frac{g_j(z)}{z} ight)^{λ_j}{ m d}t, \end{equation*} where $γ_i, λ_i\in\mathbb{C}$, $f_i$ $(1\leq i\leq n)$ and $g_j$ $(1\leq j\leq m)$ belong to the certain subclass of analytic functions.

研究动机与目标

• 确定涉及解析函数及其导数乘积的广义积分算子的凸性半径。
• 将现有关于星形性与凸性的结果推广至具有复指数的更一般积分算子。
• 建立积分算子在半径 r < 1 的圆盘内保持凸性的充分条件。
• 通过在核中引入多个函数和复指数，推广先前关于积分算子的研究。
• 基于分量函数的阶数和指数范数，提供凸性半径的显式、闭式表达式。

提出的方法

• 作者定义了两个积分算子：$ F(z) = \int_0^z \prod_{i=1}^n (f_i'(t))^{\gamma_i} dt $ 和 $ J(z) = \int_0^z \prod_{i=1}^n (f_i'(t))^{\gamma_i} \prod_{j=1}^m \left(\frac{g_j(z)}{z}\right)^{\lambda_j} dt $，其中 $ f_i, g_j $ 为单位圆盘内的解析函数。
• 他们使用条件 $ \mathfrak{Re}\left(1 + \frac{zJ''(z)}{J'(z)}\right) \geq 0 $ 来刻画凸性，将问题简化为估计涉及 $ \frac{zf_i''(z)}{f_i'(z)} $ 和 $ \frac{zg_j'(z)}{g_j(z)} - 1 $ 的实部之和。
• 对于属于 $ \mathcal{U}_{\alpha_i} $ 的函数，作者应用引理 1.1，以 $ \alpha_i $ 和 $ |z| $ 表示 $ \left| \frac{zf_i''(z)}{f_i'(z)} \right| $ 的上界，从而得到关于 $ r = |z| $ 的二次下界。
• 对于 $ g_j \in \mathcal{S}^*(\xi_j) $，他们利用其对 $ \frac{1 + (1 - 2\xi_j)z}{1 - z} $ 的次纯化，从而得到 $ \mathfrak{Re}\left( \frac{zg_j'(z)}{g_j(z)} - 1 \right) $ 关于 $ \xi_j $ 和 $ r $ 的上界。
• 通过在所有分量上求和，并利用 $ \sum |\gamma_i| \leq M $，$ \sum |\lambda_j| \leq N $，他们推导出一个有理函数 $ \varphi(r) $，其正性决定了凸性半径。
• 凸性半径 $ r_c(M,N) $ 作为将 $ \varphi(r) $ 的分子设为零后所得二次方程的最小正实根获得，从而得到闭式表达式。

实验结果

研究问题

• RQ1 在单位圆盘内，积分算子 $ J(z) $ 的最大凸性区域 $ |z| < r $ 是什么？
• RQ2 分量函数 $ f_i $ 和 $ g_j $ 的阶数以及指数 $ \gamma_i, \lambda_j $ 的范数如何影响凸性半径？
• RQ3 当函数属于广义类 $ \mathcal{U}_{\alpha_i} $ 和 $ \mathcal{S}^*(\xi_j) $ 时，能否推导出凸性半径的统一公式？
• RQ4 在何种条件下，积分算子 $ J(z) $ 可保证在原点为中心的圆盘内为凸？
• RQ5 所推导的半径公式的最优性如何？是否可退化为已知情形（如凸函数或星形函数）？

主要发现

• 积分算子 $ J(z) $ 的凸性半径由显式公式 $ r_c(M,N) = \frac{\sqrt{[(\xi-1)N - \alpha M]^2 - 2[(\xi-1)N - M - 1]} - (\xi-1)N + \alpha M}{2[(\xi-1)N - M - 1]} $ 给出，其中 $ \alpha = \max\{\alpha_1, \dots, \alpha_n\} $，$ \xi = \max\{\xi_1, \dots, \xi_m\} $，$ M = \sum |\gamma_i| $，$ N = \sum |\lambda_j| $。
• 当 $ \alpha = 1 $ 时，公式简化为 $ r_c(M,N) = \frac{\sqrt{[(\xi-1)N - M]^2 - 2[(\xi-1)N - M - 1]} - (\xi-1)N + M}{2[(\xi-1)N - M - 1]} $，对应所有 $ f_i $ 均为凸函数的情形。
• 对于局部凸单芽函数（阶数为 $ \beta_i $），凸性半径是二次方程 $ -[2(1-\xi)N + \beta M + 1]r^2 - [2(1-\xi)N + \beta M]r + 1 = 0 $ 的正实根，其中 $ \beta = \max\{\beta_1, \dots, \beta_n\} $。
• 所推导的界限是最优的，因为当函数为 $ \frac{z}{(1-z)^{2(1-\xi)}} $ 时等号成立，该函数在次纯化估计中实现了极值行为。
• 该方法依赖于将次纯化原理与线性不变族中的不等式（特别是引理 1.1）相结合，以控制对数导数实部的有界性。
• 结果通过引入复指数和多个函数，推广了先前关于积分算子的研究，为凸性半径提供了一个统一的框架。