[论文解读] A general approach to approximation theory of operator semigroups

A. M. Gomilko, Sylwia Kosowicz+1 more|arXiv (Cornell University)|Jan 21, 2018

Advanced Banach Space Theory参考文献 37被引用 4

一句话总结

本论文提出了一套统一的函数演算框架，用于在巴拿赫空间上通过其生成元的有界完全单调函数来逼近 $C_0$-半群。通过利用伯恩斯坦函数与希尔-菲利普斯函数演算，该框架推广了已知的逼近公式（如约西达公式与欧拉公式），实现了最优收敛速率，包括在某些情况下得到精确常数，并首次在这一普遍性下引入了具有显式速率的新型二阶逼近公式。

ABSTRACT

We develop a general, functional calculus approach to approximation of $C_0$-semigroups on Banach spaces by bounded completely monotone functions of their generators. The approach comprises most of well-known approximation formulas, yields optimal convergence rates, and sometimes even leads to sharp constants. In an important particular case when semigroups are holomorphic, we are able to significantly improve our results for general semigroups. Moreover, we present several second order approximation formulas with rates, which in such a general form appear in the literature for the first time.

研究动机与目标

• 将 $C_0$-半群的多种不同逼近公式统一到一个统一的函数演算框架之下。
• 为半群逼近提供最优收敛速率，包括在特定情况下的精确常数。
• 将理论扩展至解析半群，从而获得显著改进的收敛估计。
• 引入并分析具有显式速率的二阶逼近公式，这是文献中首次在这一普遍性下实现的创新贡献。
• 通过引入更广泛的生成函数类并建立定量误差界，推广 [32] 中的结果。

提出的方法

• 利用希尔-菲利普斯函数演算，将逼近族表示为 $e^{-n\varphi(tA/n)}$ 的形式，其中 $\varphi$ 为满足 $\varphi(0)=0$、$\varphi'(0)=1$ 且 $|\varphi''(0)|<\infty$ 的伯恩斯坦函数。
• 通过分析当 $n \to \infty$ 时差值 $e^{-tz} - e^{-nt\varphi(z/n)}$ 的渐近行为，推导收敛速率。
• 利用伽马函数与拉普拉斯变换的积分表示，通过 $c_\alpha[g_n]$ 和 $R_\alpha(n)$ 估计误差项。
• 利用伽马函数 $\Gamma(n)/\Gamma(n+\beta)$ 的渐近展开，推导出 $O(n^{-1})$ 与 $O(n^{-2})$ 的误差项。
• 将余项分解为 $R_{0,\alpha}(n)$ 与 $R_{1,\alpha}(n)$，其中 $R_{0,\alpha}(n)$ 通过贝塔函数恒等式处理。
• 利用函数 $m(z) = (1-g(z))/z$ 的性质，建立对 $|1 - f_\alpha(z)|$ 与 $|f'_\alpha(z)|$ 的界，以控制第二余项中的误差。

实验结果

研究问题

• RQ1 能否通过单一的函数演算框架，将 $C_0$-半群的已知逼近公式（如约西达公式与欧拉公式）统一于同一理论体系之下？
• RQ2 由生成元的有界完全单调函数生成的半群逼近，其最优收敛速率是什么？
• RQ3 当半群为解析且扇形有界时，相比一般的 $C_0$-情形，收敛速率如何提升？
• RQ4 能否在此方法下，为 $C_0$-半群在全一般性下推导出具有显式误差界的新二阶逼近公式？
• RQ5 生成函数 $g$ 在零点的导数（特别是 $g''(0)$、$g'''(0)$ 与 $g^{(4)}(0)$）在决定收敛速率中起什么作用？

主要发现

• 对于一般的 $C_0$-半群，本文建立了收敛速率 $\|e^{-ntA(n+A)^{-1}}x - e^{-tA}x\| \leq 16M(t/n)^{\alpha/2}\|A^\alpha x\|$，其中 $x \in \text{dom}(A^\alpha)$，$\alpha \in (0,2]$，且 $M = \sup_{t \geq 0}\|e^{-tA}\|$。
• 对于解析半群，速率提升为 $\|e^{-ntA(n+A)^{-1}}x - e^{-tA}x\| \leq C(nt^{1-\alpha})^{-1}\|A^\alpha x\|$，其中 $\alpha \in [0,1]$，$C > 0$ 为绝对常数，显著优于先前估计。
• 本文推导出一个二阶逼近公式，其误差界满足 $\leq \frac{5(g^{(4)}(0)-1)}{6n^2}$，并进一步优化为 $\leq \frac{g''(0)-1}{n^2}$，从而确立了 $O(n^{-2})$ 的收敛速率。
• 对于生成函数 $g(z) = \log(1+z)$（对应欧拉逼近），该方法给出了 $O(n^{-2})$ 的收敛速率，并附带显式常数。
• 分析表明，收敛速率的关键取决于生成函数 $g$ 在零点的二阶与四阶导数，其中 $g''(0)-1$ 与 $g^{(4)}(0)-1$ 作为误差界中的关键系数出现。
• 本文证明了余项 $R_{1,\alpha}(n)$ 满足 $|R_{1,\alpha}(n)| \leq \frac{C(g)\alpha}{n^{3-\alpha}}$，这对建立二阶情形下的 $O(n^{-2})$ 收敛速率至关重要。