[논문 리뷰] Nonuniform $(\mu, u)$-dichotomies and local dynamics of difference equations

António J. G. Bento, César M. Silva|arXiv (Cornell University)|2011. 05. 11.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 3인용 수 3

한 줄 요약

이 논문은 비자명한 비동차 선형 차분방정식의 비균일 $(\mu, \nu)$-분할을 갖는 섭동에 대해 국소 안정다양체 정리가 성립함을 보이며, 균일 및 비균일 부분에서 임의의 성장률을 允허한다. 일반적인 비선형 섭동 하에서 안정다양체의 존재성과 하올더 유형의 감쇠 추정을 증명하여, 리아푸노프 지수 값이 0일 수 있는 경우를 포함한 고전적 결과를 확장하며, 다항 및 비지수적 분할을 특수한 경우로 포함한다.

ABSTRACT

We obtain a local stable manifold theorem for perturbations of nonautonomous linear difference equations possessing a very general type of nonuniform dichotomy, possibly with different growth rates in the uniform and nonuniform parts. We note that we consider situations were the classical Lyapunov exponents can be zero. Additionally, we study how the manifolds decay along the orbit of a point as well as the behavior under perturbations and give examples of nonautonomous linear difference equations that admit the dichotomies considered.

연구 동기 및 목표

• 비균일 분할의 매우 일반적인 클래스 하에서 비자명한 선형 차분방정식의 섭동에 대해 국소 안정다양체 정리를 수립하는 것.
• 기존 결과를 지수적 분할을 초월하여 다항 및 기타 비지수적 성장률을 포함하도록 확장하는 것.
• 안정다양체를 따라 해의 감쇠 행동과 그 섭동에 대한 의존성 분석하기.
• 고전적 리아푸노프 지수가 0일 경우에도 유효한 프레임워크 제공하여 더 넓은 초구형 유사 역학을 다루는 것.
• 섭동 공간에 적절한 거리 척도를 사용하여 안정다양체의 연속성 정량화하기.

제안 방법

• 균일 부분에 대한 성장률 $\mu_n$ 과 비균일 부분에 대한 성장률 $\nu_n$ 을 별개로 허용하는 일반화된 비균일 $(\mu, \nu)$-분할 도입.
• 함수의 수열로 구성된 바나흐 공간에서 고정점 추론을 통해 안정다양체를 함수 $\phi$ 의 그래프로 구성하며, 수축 조건을 만족시킴.
• 가중치 $\beta_n$ 을 갖는 하올더 유사 함수 공간에서 수축 사상 원리에 기반한 그래프 변환 기법 적용.
• 분할 경계와 섭동의 구조를 이용하여 안정다양체 위의 해에 대한 감쇠 추정 수립.
• 섭동 간 거리에 대한 추정을 위해 거리 척도 $\|f - \bar{f}\|''' = \sup \frac{\|f_n(u) - \bar{f}_n(u)\|}{\|u\|^{q+1}}$ 를 사용.
• 감쇠 및 수축 속도 제어를 위해 $\|A_{k+1,n}^{-1} Q_{k+1}\|$ 와 같은 연산자 노름을 $\mu_n^a \nu_n^\varepsilon$ 로 가중함.

실험 결과

연구 질문

• RQ1 비균일이고 비지수적 분할을 갖는 비자명한 차분방정식에 대해 국소 안정다양체 정리를 수립할 수 있는가?
• RQ2 분할이 균일 및 비균일 성장률을 서로 다를 경우 안정다양체가 궤도를 따라 어떻게 감쇠되는가?
• RQ3 안정다양체는 섭동에 어떻게 의존하며, 이를 적절한 거리 척도로 정량화할 수 있는가?
• RQ4 고전적 리아푸노프 지수가 0인 경우, 예를 들어 다항 분할의 경우 이 이론이 포함될 수 있는가?
• RQ5 일반적인 비선형 섭동이 존재할 때 고정점 추론이 안정다양체 수렴을 보장하는 조건은 무엇인가?

주요 결과

• 비균일 $(\mu, \nu)$-분할을 갖는 비자명한 선형 차분방정식의 섭동에 대해 국소 안정다양체가 존재한다.
• 안정다양체는 궤도를 따라 $C \left( \frac{\mu_m}{\mu_n} \right)^a \nu_\varepsilon^n$ 으로 유계로 감쇠하며, 이때 $a < 0$, $\varepsilon \geq 0$ 이므로 $a=0$ 이어도 감쇠 보장.
• 이 정리는 고전적 비균일 지수 분할과 비균일 다항 분할을 특수한 경우로 포함한다.
• 안정다양체는 섭동에 대해 하올더 연속이며, $\|\phi - \bar{\phi}\|' \leq 4 \cdot 3^{q+1} C^{q+1} D \delta^q \|f - \bar{f}\|'''$ 를 만족한다.
• 충분히 작은 $\delta > 0$ 에 대해 존재 결과가 성립하여 고정점 추론의 수축 조건을 만족함.
• 초선형 비선형성을 다루는 $\|f_m(u) - f_m(v)\| \leq c \|u - v\|(\|u\| + \|v\|)^q$ 를 만족하는 섭동에 대해서도 이 프레임워크가 유효하다.