[논문 리뷰] A new approach in the theory of ordinary differential equations with small parameter

Mikhail A. Kamenskii, Oleg Makarenkov외 1명|ArXiv.org|2007. 09. 29.

Nonlinear Differential Equations Analysis참고 문헌 3인용 수 6

한 줄 요약

이 논문은 소수의 매개변수를 가진 상미분방정식의 주기적 문제와 코시 문제를 분석하기 위한 새로운 접근법을 제시한다. 고전적인 가정(예: 고립된 주기적 해 또는 변환의 T-주기성)을 회피하며, 선형화된 시스템과 회전수 이론을 활용하여 더 약한 조건 하에서도 주기적 해의 존재를 입증한다. 특히 비편미분 시스템이 고립되지 않은 순환을 가질 경우에 일반화된 고전적 평균화 이론을 제공하고, 기존의 알려진 결과들을 특수한 경우로 포함한다.

ABSTRACT

A topological degree based averaging principle has been proposed by J. Mawhin in his PhD thesis [J. Mawhin, Le Probleme des Solutions Periodiques en Mecanique non Lineaire, These de doctorat en sciences, Universite de Liege, 1969]. In the present paper we extend this result for the case when the unperturbed system is nonlinear but possesses a set of T-periodic solutions whose initial conditions constitute a boundary of some open set.

연구 동기 및 목표

• 고전적 평균화 이론의 한계를 해결하기 위해, 고립된 주기적 해나 T-주기적 변환을 요구하는 조건을 제거한다.
• 비편미분 시스템(ε=0)이 고립되지 않은 순환을 가진 경우, 이는 응용 분야에서 흔하지만 해석적으로 도전적인 케이스이다.
• ε > 0 이며 충분히 작을 때, 더 약한 위상적 및 구조적 가정 하에서 T-주기적 해의 존재를 확립한다.
• 고전적 평균화 결과를 일반화하고, [7] 및 Bogolubov-Krylov의 결과와 같은 알려진 정리들을 제안된 프레임워크의 특수한 경우로 복원한다.
• 회전수 이론과 선형화된 동역학을 활용해 주기적 문제와 코시 문제에 대한 통합된 이론적 프레임워크를 제공한다.

제안 방법

• 비편미분 시스템(ε=0)의 흐름인 $\Omega$를 사용해 선형화된 시스템 (5): $\dot{y} = \phi(t,\Omega(t,0,\xi)) + \psi^{(2)}_{\text{der}}(t,\Omega(t,0,\xi))y$ 를 도입한다.
• 시작 조건 $y(s)=0$ 를 가진 (5)의 해인 $\eta(t,s,\xi)$ 를 정의하여, 회전수를 계산한다.
• 경계 $\partial U$ 상에서 사상 $\eta(T,0,\cdot)$ 의 회전수 $\gamma(\eta(T,0,\cdot), U)$ 를 사용해 주기적 해의 존재를 추론한다.
• 위상적 도구를 적용: 회전수 이론과 호모토피 불변성을 활용해 벡터장 간의 비교를 수행하고, 비영인 지수를 보장한다.
• 코시 문제의 경우, 한계 벡터장 $\Phi(\xi) = -\lim_{n\to\infty} \frac{\eta(-nT,0,\xi)}{nT}$ 를 정의하고, 이를 장시간 간격에서의 해를 근사하는 데 사용한다.
• 점근적 가까움을 확립: $\|x_\varepsilon(t) - \Omega(t,0,z(\varepsilon t))\| \leq \gamma$ for $t \in [0, d/\varepsilon]$, 한계 장 $\Phi$ 를 사용하여.

실험 결과

연구 질문

• RQ1 비편미분 시스템(ε=0)이 고립되지 않은 순환을 가질 경우, 소수의 ε > 0 에서 T-주기적 해의 존재를 보장할 수 있는가?
• RQ2 표준 평균화에서 사용되는 변환이 T-주기적이지 않은 경우, 고전적 평균화 이론을 어떻게 확장할 수 있는가?
• RQ3 ε=0일 때 해 집합이 연속체(예: 한계 순환)를 이룰 경우, 어떤 위상 조건이 주기적 해의 존재를 보장하는가?
• RQ4 선형화된 시스템의 환류 사상의 회전수를 사용해 고립된 해를 가정하지 않고도 주기적 해의 존재를 추론할 수 있는가?
• RQ5 코시 문제의 해(1)가 장시간 간격에서 평균화된 시스템의 해와 얼마나 가까이 유지되는가?

주요 결과

• 정리 1은 조건 (A0), (A1), (A2) 하에서 모든 충분히 작은 $\varepsilon > 0$ 에 대해 집합 $X = \{x : \Omega(0,t,x(t)) \in U,\ t \in [0,T]\}$ 내에 최소한 하나의 T-주기적 해가 존재함을 입증한다.
• 조건 (A2), 즉 $\eta(T,0,\cdot)$ 가 $U$ 상에서 비영인 회전수는, ε=0일 때 해 집합이 고립되지 않은 경우에도 주기적 해의 존재를 보장한다.
• 정리 2는 $\phi_1$ 과 $\phi_2$ 가 호모토피를 이루는 동안 중간 가족이 (A1) 조건을 만족하면, 회전수가 불변임을 보여주며, 이는 다양한 편미분 간 비교를 가능하게 한다.
• 정리 3은 $\mathbb{R}^2$ 내 단순 순환 $x_0$ 의 내부에 T-주기적 해가 존재함을 증명한다. 조건 (A3)₁이 성립할 경우: $\int_0^T e^{-\int_0^t \text{Sp}\, \psi^{(2)}(\tau,x_0(\tau)) d\tau} \langle \phi(t-\theta,x_0(t)), \dot{x}_0(t)^\perp \rangle dt \neq 0$.
• 이 프레임워크는 고전적 결과를 복원한다: $\psi=0$ 이면 결과는 표준 평균화 이론으로 줄어들고, $\psi(t,x)=Ax$ 이며 $A$ 가 고유값 $\pm i$ 를 가질 경우 [7]의 결과가 특수한 경우로 복원된다.
• 코시 문제의 경우, 정리 4는 한계 장 $\Phi$ 가 존재하고 $[0,d]$ 에서 유일한 해를 가지면, $t \in [0, d/\varepsilon]$ 에서 해 $x_\varepsilon(t)$ 가 평균화된 궤적 $\Omega(t,0,z(\varepsilon t))$ 와 $\gamma$ 이내에 유지됨을 보장한다.