[논문 리뷰] Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing

Aleksander Czechowski, Piotr Zgliczyński|arXiv (Cornell University)|2015. 04. 17.

Stability and Controllability of Differential Equations참고 문헌 16인용 수 4

한 줄 요약

이 논문은 시간에 따라 변화하는 외력이 작용하는 불안정한 보신스끄 방정식에 대해 엄밀한 수치해석을 통해 매끄럽고 고전적인 주기적 해의 존재를 입증한다. 갈레르킨 투영에서 자가일관된 경계와 주기적 고립 세그먼트를 구성함으로써 특정 매개변수 영역에서 이러한 해의 존재를 증명하며, 해의 노름과 푸리에 모드에서의 감쇠율에 대한 경계도 제공한다.

ABSTRACT

We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth classical periodic solutions in the vicinity of 0. The proof is non-perturbative and relies on construction of periodic isolating segments in the Galerkin projections.

연구 동기 및 목표

• 시간에 따라 변화하는 외력이 작용하는 보신스끄 방정식에 대해, 스무스한 고전적 주기적 해의 존재를 입증하고자 하며, 이는 스무스닝 효과가 없어 불안정한 성질을 띠기 때문이다.
• 기존에 소산성 PDE에 적용된 엄밀한 컴퓨터 보조 방법을, 강한 발산 및 수렴 방향이 모두 존재하는 불확정한 尾(사슬형) 역학을 갖는 시스템으로 확장하고자 한다.
• 갈레르킨 투영에서 주기적 고립 세그먼트를 기반으로 한 위상수학적 방법을 개발하고 적용하여, 비자율적이고 불안정한 PDE에서 주기적 해의 존재를 입증하고자 한다.
• β와 ε를 포함한 다양한 매개변수 범위에서 해의 노름과 푸리에 모드에서의 감쇠율에 대해 명시적이고 검증 가능한 경계를 제공하고자 한다.

제안 방법

• 방정식을 유한차원 시스템으로 축소하기 위해 갈레르킨 투영을 사용하고, 간격 산술을 통해 자가일관된 경계를 구성한다.
• 주기적 고립 세그먼트를 위상수학적 추론을 통해 구성할 수 있도록 하기 위해 변수변환을 적용한다.
• 투영된 위상공간에서 주기적 궤도의 고립성을 확인하기 위해 부등식 (61)과 (35)를 간격 산술로 검증한다.
• 해의 푸리에 계수에 대해 6차 감쇠율을, 그 시간 도함수에 대해 4차 감쇠율을 사용하여 공간에서의 매끄러움을 확보한다.
• 이 방법은 비분석적이며, 보신스끄 방정식과 같이 불확정한 尾를 갖는 시스템에 적용 가능하다. 이는 벡터장 흐름에 따른 위상수학적 불변성을 이용하기 때문이다.
• 계산은 간격 산술을 통해 엄밀한 오차 제어와 검증 가능한 경계를 확보하기 위해 CAPD 패키지를 사용한다.

실험 결과

연구 질문

• RQ1 스무스닝 효과가 없는 불안정한 PDE에서 엄밀한 수치해석을 통해 주기적 해의 존재를 입증할 수 있는가?
• RQ2 주기적 고립 세그먼트 방법이 보신스끄 방정식과 같이 시간에 따라 변화하는 외력이 작용하는 불확정한 尾를 갖는 시스템으로 확장 가능한가?
• RQ3 이러한 시스템에서 주기적 해에 대해 해의 노름과 푸리에 감쇠율에 대한 검증 가능한 경계를 계산할 수 있는가?
• RQ4 강한 외력이 작용하는 보신스끄 방정식에 대해 비분석적 방법으로 매끄럽고 고전적인 해의 존재를 입증할 수 있는가?

주요 결과

• σ = 3, τ > 0, f(t,x) ∈ ℱₜᴬ ∪ ℱₜᴮ 인 경우, β = 1.5, 1.75, 2.5에 대해 각각 ε ∈ [-0.05, 0.05], [-0.1, 0.1], [-0.3, 0.3] 구간에서 고전적인 τ-주기적 해가 존재한다.
• β = 1.5이고 f ∈ ℱₜᴬ일 경우, ||u(t,·)||_{L²} ≤ 0.28862115 및 ||u(t,·)||_{C⁰} ≤ 0.12440683 를 만족한다.
• β = 2.5이고 f ∈ ℱₜᴮ일 경우, ||u(t,·)||_{L²} ≤ 0.84724825 및 ||uₜ(t,·)||_{C⁰} ≤ 1.4795576 를 만족한다.
• 해는 공간에서 C⁴-매끄럽고 시간에서 C²-매끄럽고, u의 푸리에 계수는 O(1/k⁶)로 감쇠하며, uₜ의 푸리에 계수는 O(1/k⁴)로 감쇠한다.
• 해의 존재 증명은 비분석적이며, M = 6 모드와 尾에서의 s = 6 감쇠율을 사용한 검증된 간격 산술 계산에 기반한다.
• 이 방법은 스무스닝이 없더라도 자가일관된 경계와 고립 세그먼트를 통해 주기적 해의 존재를 확인한다.