[논문 리뷰] 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)|2021. 04. 02.

Stability and Controllability of Differential Equations인용 수 4

한 줄 요약

이 논문은 $C_0$-semigroup에 대한 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.

연구 동기 및 목표

• 진화 PDE를 풀기 위한 핵심 도구인 $C_0$-semigroup에 대한 Chernoff 근사에서 수렴 속도를 분석하는 것.
• 수렴 속도가 임의로 매우 빠르거나 매우 느릴 수 있는 명시적 예를 제시하여 이 방법의 유연성과 한계를 입증하는 것.
• Chernoff 근사에서 잔차 항의 노름에 대한 일반적인 상한을 도출하여 수치적 방법의 오차 추정을 가능하게 하는 것.
• 이론적 결과를 계수가 변하는 일차원 포아송형 PDE에 적용하여 구체적인 수렴 속도를 제공하는 것.
• 선형 진화 PDE의 코시 문제를 풀기 위한 더 빠른 수렴 속도를 갖는 수치적 방법의 개발을 지원하는 것.

제안 방법

• Chernoff 함수 $S$를 사용하여 반복 연산자 $S(t/n)^n$를 통해 $C_0$-semigroup을 근사하는 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 계수가 변하는 포아송형 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})$.
• 특정한 Chernoff 함수인 예제 4.2에서 수렴 속도가 $O(1/n)$임을 보이며, 상수는 계수의 노름과 $f$의 도함수의 노름에 따라 달라진다.
• 주요 정리의 조건을 만족시킴으로써 이전에 알려진 예제보다 더 빠른 수렴 속도를 갖는 Chernoff 근사를 구성할 수 있는 이론적 프레임워크를 제공한다.
• 결과는 계수가 변하는 일차원 포아송형 PDE에 직접 적용 가능하며, 수치적 해에 대한 정량화된 오차 추정을 제공한다.