[논문 리뷰] On parametric Gevrey asymptotics for some nonlinear initial value problems in two complex time variables

Alberto Lastra, Stéphane Malek|arXiv (Cornell University)|2018. 06. 12.

Differential Equations and Numerical Methods참고 문헌 17인용 수 7

한 줄 요약

이 논문은 두 개의 복소 시간 변수를 가진 비선형 편미분방정식의 특수한 섭동 문제에 대해 다중 수준 Gevrey 점근적 해석을 수립한다. 섭동 매개수 $\epsilon$ 에 대한 공통의 형식적 점근 전개를 공유하는 분야 해석적 해를 구축하며, Borel-Laplace 변환과 바나흐 공간에서의 고정점 원리를 결합하여 해가 형식적 급수로 표현되며, 계수들이 편미분방정식의 구조에서 유도된 재귀적 체계를 만족함을 증명한다.

ABSTRACT

The asymptotic behavior of a family of singularly perturbed PDEs in two time variables in the complex domain is studied. The appearance of a multilevel Gevrey asymptotics phenomenon in the perturbation parameter is observed. We construct a family of analytic sectorial solutions in $ε$ which share a common asymptotic expansion at the origin, in different Gevrey levels. Such orders are produced by the action of the two independent time variables.

연구 동기 및 목표

• 두 복소 시간 변수에서의 특수한 섭동 비선형 초기값 문제의 가속 행동을 분석하기 위해.
• 섭동 매개수 $\epsilon$ 에 대해 공통의 형식적 점근 전개를 공유하는 분야 해석적 해의 존재를 확립하기 위해.
• 두 개의 독립된 시간 변수 간의 상호작용으로 인해 발생하는 다중 수준 Gevrey 점근적 현상을 보여주기 위해.
• 특히 $t_1$ 과 $t_2$ 의 단항식에 의한 지수적 성장을 고려한 철저히 설계된 바나흐 공간에서의 고정점 원리를 통해 해를 구축하기 위해.
• 형식적 해가 해석적 해와 서로 다른 Gevrey 순서 $k_1$ 과 $k_2$ 에서 점근적으로 관련됨을 증명하기 위해.

제안 방법

• 문제는 두 복소 시간 변수 $t_1, t_2$, 작은 매개수 $\epsilon$, 그리고 $\epsilon$ 에 대해 해석적 의존성을 가지는 다항계수를 포함하는 비선형 적분미분방정식으로 공식화된다.
• 해석적 해는 $t_1$, $t_2$, $\epsilon$ 에 대해 해석적 함수의 바나흐 공간에서의 고정점 원리에 의해 구성되며, $t_1$ 과 $t_2$ 의 단항식에 의한 지수적 성장을 제어한다.
• 분야 해는 $\epsilon$-평면의 분야 $\mathcal{E}_{p_1,p_2}$ 에서 얻어지며, 각각 Gevrey 순서 $k_1$ 과 $k_2$ 를 가진 점근 전개를 갖는다.
• 해석적 해를 형식적 급수에서 복원하기 위해 Borel-Laplace 변환이 적용되며, 변환은 다중 수준 구조에 따라 정의된다.
• 형식적 해 $\hat{u}(\boldsymbol{t},z,\epsilon) = \sum_{m \geq 0} H_m(\boldsymbol{t},z) \frac{\epsilon^m}{m!}$ 의 계수 $H_m(\boldsymbol{t},z)$ 를 위한 재귀적 체계는 편미분방정식에서 $\epsilon$ 에 대해 미분한 후 $\epsilon \to 0$ 의 극한을 취함으로써 도출된다.
• 점근 전개의 수렴성은 $\epsilon \to 0$ 인 적절한 분야에서 잔여항이 0으로 수렴함을 보여줌으로써 검증된다.

실험 결과

연구 질문

• RQ1 두 개의 독립된 시간 변수가 특수 섭동 편미분방정식의 Gevrey 점근적 구조에 미치는 영향은 무엇인가?
• RQ2 한 개의 해석적 해가 섭동 매개수 $\epsilon$ 에 대해 여러 개의 Gevrey 순서를 통해 형식적 해와 점근적으로 관련될 수 있는가?
• RQ3 해석적 해를 구성할 때 $t_1$ 과 $t_2$ 에서 동시에 지수적 성장을 제어하기 위해 필요한 바나흐 공간 프레임워크는 무엇인가?
• RQ4 편미분방정식의 비선형적 구조는 형식적 급수의 계수를 재귀적으로 결정하는 데 어떤 영향을 미치는가?
• RQ5 형식적 해 $\hat{u}(\boldsymbol{t},z,\epsilon)$ 가 $\epsilon$ 의 분야 영역에서 실제 해석적 해와 대응하는 조건은 무엇인가?

주요 결과

• 해석적 해 $u(\boldsymbol{t},z,\epsilon)$ 는 $t_1$, $t_2$, $\epsilon$ 에 대해 제어된 성장을 갖는 해석적 함수의 바나흐 공간에서의 고정점 해로서 구성된다.
• 해는 형식적 점근 전개 $\hat{u}(\boldsymbol{t},z,\epsilon) = \sum_{m \geq 0} H_m(\boldsymbol{t},z) \frac{\epsilon^m}{m!}$ 를 갖는다. 이 전개는 다중 수준 Gevrey 점근적 해석의 관점에서 타당함이 입증된다.
• 계수 $H_m(\boldsymbol{t},z)$ 는 $\epsilon$ 에 대해 편미분하고 $\epsilon \to 0$ 의 극한을 취함으로써 편미분방정식에서 도출된 재귀적 체계를 만족한다.
• 형식적 해 $\hat{u}(\boldsymbol{t},z,\epsilon)$ 는 방정식 (81)의 형식적 해임이 증명되며, 이를 대입하고 계수를 매칭함으로써 검증된다.
• 점근적 관계가 성립한다: 각각의 $p_1, p_2$ 에 대해, 함수 $G^1_{p_1,p_2}(\epsilon)$ 과 $G^2_{p_1,p_2}(\epsilon)$ 는 각각 $\hat{G}^1_{p_1,p_2}(\epsilon)$ 과 $\hat{G}^2_{p_1,p_2}(\epsilon)$ 를 Gevrey 순서 $k_1$ 과 $k_2$ 에 대한 점근 전개로 갖는다.
• 구성은 $\epsilon = 0$ 근방에서 $P_1, P_2, c_0$, 및 $f$ 의 해석성과 유계성을 기반으로 하며, 이는 $\epsilon$ 에 대한 타일러 급수의 수렴성을 보장한다.