[论文解读] Upper and lower estimates for rate of convergence in the Chernoff product formula for semigroups of operators

Oleg E. Galkin, Ivan D. Remizov|arXiv (Cornell University)|Apr 2, 2021

Stability and Controllability of Differential Equations被引用 4

一句话总结

本文为 $C_0$-半群的 Chernoff 积分公式中的收敛速率提供了上界和下界，确定了收敛可任意快或任意慢的条件。推导出适用于变系数一维抛物型 PDE 的残差项范数的一般上界估计，从而为求解此类方程提供了具有量化误差边界的改进数值方法。

ABSTRACT

Chernoff approximations to strongly continuous one-parameter semigroups give solutions to a wide class of differential equations. This paper studies the rate of convergence of the Chernoff approximations. We provide simple natural examples for which the convergence is arbitrary fast, is arbitrary slow, and holds in the strong operator topology but does not hold in the norm operator topology. We also prove a general theorem that gives an upper estimate for the speed of decay of the norm of the residual term of the Chernoff approximations. The result is applied to one-dimensional parabolic differential equations with variable coefficients. The obtained estimates can be used for the numerical solution of PDEs.

研究动机与目标

• 分析 $C_0$-半群的 Chernoff 近似中的收敛速率，这是求解演化型 PDE 的关键工具。
• 构造显式例子，其中收敛可任意快或任意慢，以展示该方法在收敛速度上的灵活性与局限性。
• 推导 Chernoff 近似中残差项范数的一般上界，以支持数值格式中的误差估计。
• 将理论结果应用于具变系数的一维抛物型 PDE，提供具体的收敛速率。
• 支持开发针对线性演化型 PDE 的 Cauchy 问题的更快收敛数值方法。

提出的方法

• 使用 Chernoff 积分公式，通过迭代算子 $S(t/n)^n$ 近似 $C_0$-半群，其中 $S$ 为 Chernoff 函数。
• 利用泰勒展开和算子范数估计，推导残差项 $\|S(t/n)^n f - e^{tL}f\|$ 的一般上界。
• 将主要定理应用于通过变系数二阶微分算子定义的特定 Chernoff 函数 $S(t)$。
• 使用带拉格朗日余项的泰勒展开估算 $S(t)f$ 的导数，以量化近似阶数。
• 建立对 Chernoff 函数 $S(t)$ 的条件，包括有界性和光滑性，以确保收敛速率估计成立。
• 利用范数估计 $\|S(t)\| \leq e^{\|c\|t}$ 和高阶导数有界性，控制近似中残差项的大小。

实验结果

研究问题

• RQ1 Chernoff 积分公式中的收敛速率可能有哪些？是否可任意快或任意慢？
• RQ2 在何种条件下，Chernoff 近似可在强算子拓扑中收敛，但不在范数算子拓扑中收敛？
• RQ3 能否为 Chernoff 近似中残差项的范数建立一般上界？
• RQ4 如何利用 Chernoff 公式估计具变系数抛物型 PDE 的收敛速率？
• RQ5 理论收敛速率能否用于设计针对 PDE 的更快收敛数值方法？

主要发现

• 本文构造了 Chernoff 近似可任意快或任意慢的显式例子，展示了该方法在收敛速度上的灵活性。
• 证明了收敛可在强算子拓扑中发生，但不在范数算子拓扑中发生，突显了收敛行为中的关键差异。
• 建立了如下一般上界：$\|S(t/n)^n f - e^{t\overline{A}}f\| \leq \frac{t^2 e^{\|c\|t}}{n} \big( C_0\|f\| + \cdots + C_4\|f^{(IV)}\| \big)$，其中 $f \in UC_b^4(\mathbb{R})$。
• 对于例 4.2 中的特定 Chernoff 函数，收敛速率被证明为 $O(1/n)$，常数依赖于系数的范数和 $f$ 的导数范数。
• 理论框架允许通过满足主定理的条件，构造出比以往已知例子收敛更快的 Chernoff 近似。
• 结果可直接应用于具变系数的一维抛物型 PDE，为数值解提供量化误差估计。