[논문 리뷰] Geometric analysis of a truncated Galerkin discretization of fast-slow PDEs with transcritical singularities

Maximilian Engel, Christian Kuehn|arXiv (Cornell University)|2020. 07. 20.

Advanced Mathematical Modeling in Engineering인용 수 5

한 줄 요약

이 논문은 스펙트럼 갈레르킨 이산화와 도메인 적응형 붕괴 기법을 적용하여, 초속-저속 반응-확산 PDE에 대한 기하학적 붕괴 분석을 개발한다. 유한 차원 근사에서 불변 다변량의 구조를 확립하고 무한 차원 문제로의 수렴을 증명하여, 입구/출구 차트에서 준선형 자유경계 PDE와 중심 차트에서 유한 시간 특이성 PDE를 드러낸다.

ABSTRACT

We consider a fast-slow partial differential equation (PDE) with reaction-diffusion dynamics in the fast variable and the slow variable driven by a differential operator on a bounded domain. Assuming a transcritical normal form for the reaction term and viewing the slow variable as a dynamic bifurcation parameter, we analyze the passage through the fast subsystem bifurcation point for the spectral Galerkin approximation of the PDE. We characterize the invariant manifolds for the finite-dimensional Galerkin ODEs using geometric desingularization via a blow-up analysis. In addition to the crucial approximation procedure, we also make the domain dynamic during the blow-up analysis. Finally, we elaborate in which sense our results approximate the infinite-dimensional problem. Within our analysis, we find that the PDEs appearing in entry and exit blow-up charts are quasi-linear free boundary value problems, while in the central/scaling chart we obtain a PDE, which is often encountered in classical reaction-diffusion problems exhibiting solutions with finite-time singularities.

연구 동기 및 목표

• 초속-저속 PDE에서 비하이퍼볼릭성 상실이 발생하는 초점에서의 통과 현상을 분석하는 것.
• 스펙트럼 갈레르킨 이산화와 기하학적 탈특이화를 조합하여 붕괴 방법을 ODE에서 PDE로 확장하는 것.
• 초속-저속 PDE 시스템의 유한 차원 갈레르킨 근사에서의 불변 다변량을 특성화하는 것.
• 무한 차원 PDE 역학의 유한 차원 갈레르킨 시스템에 의한 근사의 엄밀한 정당화.
• 붕괴 차트에서 나타나는 PDE의 구조를 규명하는 것, 특히 자유경계 문제와 유한 시간 특이성 문제를 포함하여.

제안 방법

• 라플라스 연산자의 노이만 경계 조건을 갖는 고유함수를 사용하여 PDE를 무한 개의 ODE로 줄이기 위해 스펙트럼 갈레르킨 근사를 적용한다.
• 기하학적 탈특이화를 위해 붕괴 변환을 수행하여 원점에서의 비하이퍼볼릭 초점 특이성을 해결한다.
• 붕괴 분석에서 동적 도메인을 도입하여 차트 간 기하학적 일관성을 유지한다.
• 점근 전개와 섭동 기법을 사용하여 입구, 출구, 중심(스케일링) 차트에서 유도된 PDE를 분석한다.
• 균일한 $L^2$ 유계성과 양방향 정규성 조건을 이용하여 $\varepsilon \to 0$일 때 수렴을 확보하기 위해 차트 간 해를 매칭한다.
• 특이한 극한 $\varepsilon = 0$을 사용하여 중심 차트의 PDE를 유한 시간 특이성을 보이는 고전적 반응-확산 PDE로 줄인다.

실험 결과

연구 질문

• RQ1 무한 차원 초속-저속 PDE에서의 비하이퍼볼릭성 상실을 다루기 위해 붕괴 방법을 어떻게 적응시킬 수 있는가?
• RQ2 초속-저속 PDE의 갈레르킨 근사에서의 불변 다변량의 구조는 어떻게 되어 있는가? (특히 초점 비선형성 존재 시)
• RQ3 갈레르킨 절단 시스템이 원래의 무한 차원 PDE 역학을 어떤 의미에서 근사하는가?
• RQ4 다양한 붕괴 차트에서 어떤 유형의 PDE가 나타나며, 이는 기존의 PDE 클래스와 어떻게 관련되어 있는가?
• RQ5 붕괴 분석에서의 동적 도메인은 근사의 타당성과 수렴성에 어떤 영향을 미치는가?

주요 결과

• 입구 및 출구 붕괴 차트는 붕괴 변환과 공간 도메인의 상호작용로 인해 준선형 자유경계 문제를 유도한다.
• 중심(스케일링) 차트는 유한 시간 특이성을 보이는 고전적 반응-확산 방정식과 유사한 PDE를 생성한다.
• 갈레르킨 근사는 붕괴 방법의 기하학적 구조를 유지하여 유한 차원에서의 불변 다변량 분석을 가능하게 한다.
• 중심 차트의 PDE 해는 균일한 유계성과 양방향 정규성 조건으로 인해 특이한 극한 $\varepsilon \to 0$에서 ODE 역학으로 $L^2$ 수렴한다.
• 붕괴 방법은 PDE 설정에서 초점 특이성을 성공적으로 해결하여 ODE를 넘어서 적용 가능성을 넓혔다.
• 갈레르킨 시스템이 $L^2$ 유계성과 입구/출구 차트에서의 매칭 조건을 통해 유한 시간 스케일에서 무한 차원 문제로의 수렴이 확립된다.