[論文レビュー] 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積分公式の収束速度について、上界と下界を提供し、収束が任意に速いか、任意に遅いかの条件を確立している。残差項のノルムに対する一般上界を導出し、変数係数を有する1次元放物型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.

研究の動機と目的

• Chernoff近似における$C_0$-半群の収束速度を分析すること。これは、発展型PDEを解くための主要な道具である。
• 収束が任意に速いか、任意に遅いかとなる明示的例を構築し、この手法の柔軟性と限界を示すこと。
• Chernoff近似における残差項のノルムに対する一般上界を導出し、数値スキームにおける誤差推定を可能にすること。
• 理論的結果を変数係数を有する1次元放物型PDEに適用し、明確な収束速度を提供すること。
• 線形発展型PDEのCauchy問題を解くための、より高速に収束する数値法の開発を支援すること。

提案手法

• Chernoff関数$S$を用いて、$S(t/n)^n$として繰り返し作用素による$C_0$-半群の近似にChernoff積分公式を適用する。
• テイラー展開および作用素ノルム推定を用いて、残差項$\|S(t/n)^n f - e^{tL}f\|$の一般上界を導出する。
• 変数係数を有する2階微分作用素によって定義される特定のChernoff関数$S(t)$に、主定理を適用する。
• ラグランジュ剰余項を用いたテイラー展開による$S(t)f$の導出の推定を用いて、近似の次数を定量化する。
• 収束速度推定が成り立つように、Chernoff関数$S(t)$の有界性および滑らかさに関する条件を確立する。
• ノルム推定$\|S(t)\| \leq e^{\|c\|t}$および高階微分の境界を用いて、近似における残差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 Chernoff積分公式における収束の可能性のある速度は何か？ また、それらは任意に速いか、任意に遅いかになり得るか？
• RQ2 Chernoff近似が強作用素位相で収束するが、ノルム作用素位相で収束しないのはどのような条件下か？
• RQ3 Chernoff近似における残差項のノルムに対する一般上界は、どのように確立できるか？
• RQ4 変数係数を有する放物型PDEに対して、Chernoff公式を用いて収束速度をどのように推定できるか？
• 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)$ for $f \in UC_b^4(\mathbb{R})$。
• 具体的な例4.2における収束速度は$O(1/n)$であることが示され、定数は係数のノルムおよび$f$の微分のノルムに依存する。
• 主定理の条件を満たすことで、従来の例よりも高速に収束するChernoff近似の構築が理論的枠組みによって可能である。
• 結果は、変数係数を有する1次元放物型PDEに直接適用可能であり、数値解に対する明示的誤差推定を提供する。