[논문 리뷰] A new stability and convergence proof of the Fourier-Galerkin spectral method for the spatially homogeneous Boltzmann equation

Jingwei Hu, Kunlun Qi외 1명|arXiv (Cornell University)|2020. 07. 10.

Gas Dynamics and Kinetic Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 연속적 또는 비연속적 초기 자료에 대해 안정성을 보장하는 새로운 안정성 및 수렴성 증명을 제시한다. 이는 충돌 연산자의 양성 또는 '산산이 퍼짐' 성질에 의존하지 않고, 해의 음성 부분에 대한 $L^2$ 추정을 사용하는 방식이다. 이 방법은 이전 접근 방식보다 더 단순하고 일반적인 수렴 프레임워크를 제공하며, 연속적 및 비연속적 초기 자료 모두에 대해 안정성을 확보한다.

ABSTRACT

Numerical approximation of the Boltzmann equation is a challenging problem due to its high-dimensional, nonlocal, and nonlinear collision integral. Over the past decade, the Fourier-Galerkin spectral method has become a popular deterministic method for solving the Boltzmann equation, manifested by its high accuracy and potential of being further accelerated by the fast Fourier transform. Albeit its practical success, the stability of the method is only recently proved by Filbet, F. & Mouhot, C. in [$ Trans. Amer. Math. Soc.$ 363, no. 4 (2011): 1947-1980.] by utilizing the "spreading" property of the collision operator. In this work, we provide a new proof based on a careful $L^2$ estimate of the negative part of the solution. We also discuss the applicability of the result to various initial data, including both continuous and discontinuous functions.

연구 동기 및 목표

• 공간적으로 균일한 보른츠만 방정식에 적용된 푸리에-갈레르킨 스펙트럼 방법에 대해 새로운, 더 단순한 안정성 증명을 확립하는 것.
• 이전 증명에서 사용된 충돌 연산자의 '산산이 퍼짐' 또는 양성 성질에 의존하지 않도록 하는 것.
• 이 방법이 유지되는 초기 자료 조건(연속적 또는 비연속적일 경우 포함)을 정량화하는 것.
• 최소한의 초기 자료 가정 하에 스펙트럼 정확도를 갖는 엄밀한 수렴성 증명을 제공하는 것.
• 이 방법의 실용적 성공을 위한 더 일반적이고 접근하기 쉬운 이론적 기반을 제공하는 것.

제안 방법

• 스펙트럼 근사에서 발생하는 불안정성을 제어하기 위해 해의 음성 부분에 대한 $L^2$ 노름 추정을 사용하는 방법.
• 전역 양성 조건을 강제할 필요 없이, 초기 음성 부분이 작으면서 시간이 지남에 따라 제어 가능하다는 것을 보여줌.
• 도메인 절단과 주기화를 통해 토러스 위에서 분석을 수행하며, 잘라낸 충돌 연산자에 대한 신중한 처리를 함.
• 리츠-토린 보간법과 관련 적분 연산자의 $L^p$ 유계성에 기반하여 충돌 연산자의 이득 부분에 대한 핵심 추정을 도출함.
• 충돌 연산자의 이동 불변성과 푸리에 기저 투영에 의해 유도되는 콘볼루션 유사 구조를 활용한 증명.
• 국소 존재성, 유일성 및 유계 시간 간격에서의 전역 잘 정의됨을 보장하기 위해 $L^2$ 및 $L^p$ 공간에서 사전 경계를 확립함.

실험 결과

연구 질문

• RQ1 충돌 연산자의 양성 또는 산산이 퍼짐 성질에 의존하지 않고도 푸리에-갈레르킨 스펙트럼 방법의 안정성을 증명할 수 있는가?
• RQ2 연속적 또는 비연속적일 수 있는 초기 자료 조건 중에서 스펙트럼 방법의 안정성을 보장하는 조건은 무엇인가?
• RQ3 시간이 지남에 따라 해의 음성 부분에 대한 $L^2$ 노름을 어떻게 제어할 수 있으며, 이는 안정성을 보장하는가?
• RQ4 초기 자료 크기와 방법의 안정성 임계값 사이의 정확한 관계는 무엇인가?
• RQ5 초기 자료에 대한 최소한의 정규성 가정 하에 스펙트럼 정확도와 수렴성을 엄밀히 확립할 수 있는가?

주요 결과

• 초기 자료의 음성 부분에 대한 $L^2$ 노름이 작으면서도 해가 전역적으로 양수가 아니더라도 안정성이 확보된다.
• 잘라낸 푸리에-갈레르킨 시스템에 대해 $L^2$에서 국소 존재성과 유일성을 증명한다.
• 초기 음성 부분이 $L^2$에서 충분히 작을 조건 하에, 임의의 유계 시간 간격에서 전역 잘 정의됨과 안정성이 증명된다.
• 수렴 속도는 예상한 바와 같이 스펙트럼 속도이며, 이 증명은 연속적 및 비연속적 초기 자료 모두에 대해 유효하다.
• 양성 유지 필터가 필요 없으며, 스펙트럼 정확도를 유지하면서도 안정성을 확보한다.
• 이전 증명에서 충돌 연산자의 '산산이 퍼짐' 성질에 의존하는 것보다 더 단순하고 일반적인 이론적 프레임워크를 제공한다.