[论文解读] Growth estimates for pseudo-dissipative holomorphic maps in Banach spaces

Filippo Bracci, Mark Elin+1 more|arXiv (Cornell University)|Apr 24, 2013

Advanced Mathematical Modeling in Engineering被引用 10

一句话总结

本文引入了复Banach空间单位球上的伪耗散全纯映射，推广了半群的无穷小生成元。建立了此类映射的精确增长估计，证明其在所有相对紧子集上有界（有单位有界半径），并给出了涉及零点处导数和数值范围的显式界。关键贡献在于以 $\|z\|$、$V(e^{i\theta}A - a\cdot\text{id})$ 和 $m(e^{i\theta}A)$ 表示的 $\|F(z) - F(0)\|$ 的精确范数估计，将有限维结果推广至无限维。

ABSTRACT

In this paper we introduce a class of pseudo-dissipative holomorphic maps which contains, in particular, the class of infinitesimal generators of semigroups of holomorphic maps on the unit ball of a complex Banach space. We give a growth estimate for maps of this class. In particular, it follows that pseudo-dissipative maps on the unit ball of (infinite-dimensional) Banach spaces are bounded on each domain strictly contained inside the ball. We also present some applications.

研究动机与目标

• 将全纯映射在无限维Banach空间中的增长估计从有限维情形推广。
• 定义并分析一个更广义的映射类——伪耗散全纯映射，其包含半群的无穷小生成元。
• 证明此类映射在单位球的所有相对紧子集上有界，即具有单位有界半径。
• 根据导数和数值范围，推导 $\|F(z) - F(0)\|$ 范数的显式、定量增长界。

提出的方法

• 通过数值范围条件引入伪耗散全纯映射的概念：当 $\|z\| > 1 - \varepsilon$ 时，有 $\text{Re}\,e^{i\theta}\langle h(z), z^*\rangle \leq a\|z\|^2 + b(1 - \|z\|^2)$。
• 利用Hahn-Banach定理定义 $v^*$，使得 $\text{Re}\langle v, v^*\rangle = \|v\|^2 = \|v^*\|^2$，从而实现基于对偶性的估计。
• 将Carathéodory不等式应用于单位圆盘上的全纯函数，以控制幂级数展开的系数。
• 利用Harris不等式，建立齐次多项式范数与其数值半径之间的关系：当 $m \geq 2$ 时，有 $\|P_m\| \leq k_m V(P_m)$，其中 $k_m = m^{m/(m-1)}$，$k_1 = e$。
• 利用 $F(z)$ 的幂级数表示，并通过导出的系数估计控制每一齐次项的范数。
• 通过级数控制和积分估计，对线性、二次及高阶项的范数界进行求和，从而导出主要估计式 (1.2)。

实验结果

研究问题

• RQ1 能否将全纯映射在无限维Banach空间中的增长估计从有限维情形进一步推广？
• RQ2 伪耗散映射类（其推广了无穷小生成元）是否保证在单位球的相对紧子集上有界？
• RQ3 伪耗散映射的 $\|F(z) - F(0)\|$ 范数的精确定量界是什么，其表达式如何依赖于导数和数值范围？
• RQ4 伪耗散映射的增长估计与文献中已有结果相比如何，特别是在有限维情形下？
• RQ5 在何种条件下，伪耗散映射会保持原点的一个不变有界邻域？

主要发现

• 复Banach空间单位球上的伪耗散全纯映射在每个相对紧子集上有界，即具有单位有界半径。
• 估计式 (1.2) 为 $\|F(z) - F(0)\|$ 提供了关于 $\|z\|$、$|a|$、$V(e^{i\theta}A - a\cdot\text{id})$ 和 $m(e^{i\theta}A)$ 的精确上界，显式常数满足 $\alpha < 3.8$ 且 $\beta < 3.3$。
• 与有限维情形下先前结果相比，估计式 (1.2) 有所改进，尤其在 $G(0) = 0$ 且 $DG(0) = \text{id}$ 的情况下，完整体现了对导数和数值范围的依赖。
• 对于无穷小生成元 $G$，有估计式 (1.3)：$\|G(z) - G(0)\| < 4\|z\|^2\|G(0)\| + \frac{\beta\|z\|}{(1 - \|z\|)^2}V(DG(0))$，其中 $\beta < 3.3$，该结果改进了先前的界。
• 若 $e^{i\theta}A - a\cdot\text{id}$ 有界幂，且 $F(0) = 0$，则 $F$ 保持原点的一个有界邻域不变，如推论 1.6 所示。
• 证明方法基于通过Carathéodory不等式和Harris范数界导出的系数估计，该方法在无限维情形下具有普适性且稳健。