[논문 리뷰] The energy technique for the six-step BDF method

Georgios Akrivis, Minghua Chen외 2명|arXiv (Cornell University)|2020. 07. 17.

Differential Equations and Numerical Methods참고 문헌 11인용 수 8

한 줄 요약

이 논문은 에너지 기법을 사용하여 Nevanlinna–Odeh 다중항이 없는 6단계 BDF 방법의 안정성을 확립하기 위해, Grenander–Szegö 정리에 기반한 완화된 다중항 조건을 도입한다. 자기수반 타원형 연산자를 갖는 포물형 방정식에 대해, 시간에 의존하는 계수 조건 하에서도 이전에 요구되었던 것보다 더 완화된 양의 조건을 만족하는 새로운 다중항을 통해 무조건적 안정성을 입증한다.

ABSTRACT

In combination with the Grenander--Szegö theorem, we observe that a relaxed positivity condition on multipliers, milder than the basic %fundamental requirement of the Nevanlinna--Odeh multipliers that the sum of the absolute values of their components is strictly less than $1$, makes the energy technique applicable to the stability analysis of BDF methods for parabolic equations with selfadjoint elliptic part. This is particularly useful for the six-step BDF method for which no Nevanlinna--Odeh multiplier exists. We introduce multipliers satisfying the positivity property for the six-step BDF method and establish stability of the method for parabolic equations.

연구 동기 및 목표

• 표준 에너지 기법 적용을 방해하는, Nevanlinna–Odeh 다중항이 없는 6단계 BDF 방법의 문제를 해결한다.
• 5단계를 초월하는 고차수 BDF 방법의 안정성 분석에서의 안정성 장벽을 극복한다.
• 다중항에 대해 이전보다 더 완화된 양의 조건을 도입함으로써 에너지 기법을 6단계 BDF 방법에 확장한다.
• 연산자가 유계 변동 조건을 만족할 때, 시간에 의존하는 자기수반 타원형 연산자를 갖는 포물형 방정식에 대해 안정성을 확립한다.
• 안정성과 일致성 오차 분석을 결합하여 최적 오차 추정의 프레임워크를 제공한다.

제안 방법

• 모든 $x \in \mathbb{R}$ 에 대해 $1 - \mu_1\cos x - \cdots - \mu_6\cos(6x) > 0$ 를 만족하는, 더 완화된 양의 조건을 만족하는 6단계 BDF 방법을 위한 새로운 다중항 클래스를 도입한다. 이는 Nevanlinna–Odeh 조건보다 더 약한 조건이다.
• 에너지 기법에서 발생하는 토피리츠 유사 행렬의 스펙트럼 성질을 분석하기 위해 Grenander–Szegö 정리를 적용한다.
• 새로운 다중항을 사용하여 이산 에너지 항등식을 구성하고, $|u^n|^2 + \tau \sum_{\ell=6}^n \|u^\ell\|^2 \leq C \sum_{j=0}^5 (|u^j|^2 + \tau \|u^j\|^2)$ 형태의 안정성 추정을 유도한다.
• 시간에 의존하는 연산자를 다루기 위해, 스킴에서 $t^m$ 에서 연산자를 동결하고, 연산자 변화에 의한 교란을 유계 변동 조건 $\|A(t) - A(\tilde{t})\|_{\star} \leq \sigma(t) - \sigma(\tilde{t})$ 를 사용하여 추정한다.
• 합성합 및 이산 그로워럴 부등식을 사용하여 시간에 의존하는 연산자 변화로 인한 누적 오차를 통제한다.
• 강제항과 일치성 오차를 포함한 변형된 스킴에 대해 안정성을 확립함으로써 최적 순서 오차 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Nevanlinna–Odeh 다중항이 없는 6단계 BDF 방법에 대해 에너지 기법을 어떻게 확장할 수 있는가?
• RQ2 어떤 완화된 다중항 조건이 엄격한 $\sum |\mu_j| < 1$ 조건을 요구하지 않고도 6단계 BDF 방법의 안정성을 보장하는가?
• RQ3 에너지 방법은 어떻게 시간에 의존하는 자기수반 타원형 연산자를 갖는 포물형 방정식에 적용할 수 있는가?
• RQ4 Grenander–Szegö 정리는 다중항 기반 에너지 함수의 양의 조건 분석에 어떤 역할을 하는가?
• RQ5 연산자의 유계 변동 조건 하에서 6단계 BDF 방법에 대해 최적 오차 추정을 도출할 수 있는가?

주요 결과

• 모든 $x \in \mathbb{R}$ 에 대해 $1 - \sum_{j=1}^6 \mu_j \cos(jx) > 0$ 를 만족하는 6단계 BDF 방법을 위한 새로운 다중항 클래스가 구성되었으며, 이는 Nevanlinna–Odeh 요구 조건보다 더 완화된 조건이다.
• 이러한 다중항을 사용하여 에너지 기법이 성공적으로 6단계 BDF 방법에 적용되었으며, 자기수반 타원형 연산자를 갖는 포물형 방정식에 대해 무조건적 안정성이 입증되었다.
• 유계 변동 조건 $\|A(t) - A(\tilde{t})\|_{\star} \leq \sigma(t) - \sigma(\tilde{t})$ 를 만족하는 시간에 의존하는 연산자 $A(t)$ 에 대해서도 안정성이 증명되었다.
• 상수 $C$ 가 $\tau$ 와 $m$ 에 독립적인 $|u^m|^2 + \tau \sum_{\ell=6}^m \|u^\ell\|^2 \leq C \sum_{j=0}^5 (|u^j|^2 + \tau \|u^j\|^2)$ 형태의 안정성 추정이 성립한다.
• 안정성 결과와 변형된 스킴에 대한 일치성 오차 분석을 결합함으로써 최적 순서 오차 추정이 가능해졌다.
• 누적 변동 항 $M^m$ 에 이산 그로워럴 추론을 적용함으로써 균일 유계성이 도출되었고, 이는 최종 안정성 bound에 이르게 하였다.