[논문 리뷰] Approximation of the inertial manifold for a nonlocal dynamical system

Xingjie Yan, Jinchun He외 1명|arXiv (Cornell University)|2014. 03. 02.

Stability and Controllability of Differential Equations참고 문헌 19인용 수 3

한 줄 요약

이 논문은 분수라플라스 연산자 $(-\Delta)^{\alpha/2}$를 갖는 비국소 편미분방정식에 대해 관성다양체의 존재성을 확립하고, 작은 법선 확산 $\varepsilon\Delta$ 가 도입되었을 때의 관성다양체의 점근적 근사값을 제시한다. $\varepsilon \to 0^+$ 일 때, 법선 확산이 있는 경우와 없는 경우의 관성다양체 사이의 하우스도르프 반거리가 0으로 수렴하며, 수렴 속도는 $o(\varepsilon)$임을 증명한다. 이는 $\alpha$와 확산 매개변수에 의존하는 스펙트럼 갭 조건을 만족할 때 성립한다.

ABSTRACT

We consider inertial manifolds and their approximation for a class of partial differential equations with a nonlocal Laplacian operator $-(-Δ)^{\fracα{2}}$, with $0

연구 동기 및 목표

• 분수라플라스 연산자 $(-\Delta)^{\alpha/2}$를 갖는 비국소 동역계에 대해 $0 < \alpha < 2$ 일 때 관성다양체의 존재성을 확립하는 것.
• 이상확산 매개변수 $\alpha$가 관성다양체 존재에 필요한 스펙트럼 갭 조건에 미치는 영향을 조사하는 것.
• 작은 법선 확산 $\varepsilon\Delta$ 가 시스템에 추가되었을 때 관성다양체의 근사값을 분석하는 것, $\varepsilon \in (0,1)$.
• 법선 확산이 있는 경우와 없는 경우의 관성다양체 사이의 하우스도르프 반거리에 대한 추정식을 유도하는 것, $\varepsilon \to 0^+$ 일 때.

제안 방법

• 적절한 함수 공간에서 비선형 사상의 고정점으로서 관성다양체를 구성하기 위해 르파노프-페론 방법이 사용된다.
• 선형 연산자의 고유값 갭과 비선형성의 리프시츠 상수 간의 관계를 묶는 스펙트럼 갭 조건을 만족할 경우 관성다양체의 존재성이 증명된다.
• 해공간을 투영 $P_N$ 과 $I - P_N$ 을 통해 저주파수 및 고주파수 성분으로 분해하여 관성다양체 상의 동역학을 다룬다.
• 시스템으로부터 유도된 적분방정식의 유일한 해가 존재함을 보이기 위해 가중 함수공간 $\mathcal{F}_\sigma$ 에서 수축사상 원리를 적용한다.
• 법선 확산의 거듭제곱에 대한 편미분 급수를 사용하여 관성다양체의 점근적 근사값을 도출하며, 계수 $\Phi^k(p)$ 는 $k$-번째 보정항을 나타낸다.
• 관성다양체 $\mathcal{M}_\varepsilon$ 와 $\mathcal{M}_0$ 사이의 하우스도르프 반거리를 보정항 $\Phi^k(p)$ 의 균일 유계성에 의해 추정한다.

실험 결과

연구 질문

• RQ1 분수라플라스 연산자 $(-\Delta)^{\alpha/2}$ 를 갖는 비국소 PDE에 대해 관성다양체가 존재하는 조건은 무엇인가?
• RQ2 이상확산 항의 매개변수 $\alpha$ 는 관성다양체 존재에 필요한 스펙트럼 갭 조건에 어떻게 영향을 미치며, 결과적으로 관성다양체 존재성에 어떤 영향을 미치는가?
• RQ3 작은 법선 확산 $\varepsilon\Delta$ 가 추가되었을 때, $\varepsilon \to 0^+$ 일 때 관성다양체의 거동는 어떠한가?
• RQ4 작은 법선 확산이 존재하는 시스템의 관성다양체는 법선 확산이 없는 경우의 다양체를 어떻게 근사할 수 있는가?
• RQ5 하우스도르프 반거리 기준으로, 작은 법선 확산이 존재하는 관성다양체가 없는 경우로 수렴하는 속도는 어떠한가?

주요 결과

• 스펙트럼 갭 조건이 만족될 경우, 이상확산과 법선 확산이 모두 존재하는 비국소 시스템에 대해 관성다양체가 존재한다. 이 조건은 $\alpha$, 고유값, 비선형성의 리프시츠 상수 간의 상호작용에 의존한다.
• 만약 $\alpha < 1$ 이면, 법선 확산이 없는 경우($\varepsilon = 0$) 스펙트럼 갭 조건이 실패하므로, 일반적인 가정 하에 관성다양체는 존재하지 않는다.
• 작은 법선 확산 $\varepsilon\Delta$ 가 존재하는 시스템의 관성다양체 $\mathcal{M}_\varepsilon$ 는 편미분 급수 형태로 표현된다: $\mathcal{M}_\varepsilon = \{p + \Phi^0(p) + \varepsilon\Phi^1(p) + \cdots \mid p \in P_N H\}$.
• 관성다양체 $\mathcal{M}_\varepsilon$ 와 $\mathcal{M}_0$ 사이의 하우스도르프 반거리에 대해 $\text{dist}_H(\mathcal{M}_\varepsilon, \mathcal{M}_0) \leq o(\varepsilon)$ 가 성립하며, $\varepsilon \to 0^+$ 일 때 다양체 간 수렴을 나타낸다.
• 모든 $k \geq 1$ 에 대해 보정항 $\Phi^k(p)$ 는 공간 $H$ 에서 균일 유계이며, 이는 편미분 급수의 수렴성과 점근적 근사의 타당성을 보장한다.
• 수렴 속도 $o(\varepsilon)$ 는 가중공간 $\mathcal{F}_\sigma$ 에서의 수축사상 원리를 통해 증명되며, $A_\varepsilon$ 가 생성하는 반군에 대한 지수분할 추정을 활용한다.