[논문 리뷰] Perturbations of Mathieu equations with parametric excitation of large period

Mário Bessa|arXiv (Cornell University)|2010. 06. 25.

Advanced Differential Equations and Dynamical Systems참고 문헌 10인용 수 3

한 줄 요약

이 논문은 대칭성 주기적 외부 자극을 받는 마티외 방정식의 섭동을 다루며, 임의의 그러한 시스템에 대해, 모든 유한한 개수의 닫힌 궤도를 제외한 나머지 닫힌 궤도에서 불안정한 해를 가지는 해밀토니안 감쇠 마티외 방정식이 존재함을 증명한다. 이 불안정성은 주기적 계수의 소규모 $C^0$ 섭동을 통해 발생하며, 코사이클 이론과 $sl(2,\mathbb{R})$ 상의 추상적 행렬 역학을 활용한다. 주요 결과는 장기간의 닫힌 궤도 존재 조건 하에서 일반적인 불안정성의 존재를 확립한다.

ABSTRACT

We consider a linear differential system of Mathieu equations with periodic coefficients over periodic closed orbits and we prove that, arbitrarily close to this system, there is a linear differential system of Hamiltonian damped Mathieu equations with periodic coefficients over periodic closed orbits such that, all but a finite number of closed periodic coefficients, have unstable solutions. The perturbations will be peformed in the periodic coefficients.

연구 동기 및 목표

• 주기적 계수를 가진 마티외 방정식으로부터 유도된 선형 미분계수계의 역학적 거동을 조사하는 것.
• 장기간의 닫힌 궤도 존재 조건 하에서 주기적 계수의 소규모 섭동이 해의 안정성에 미치는 영향을 이해하는 것.
• 임의의 주기적 계수를 가진 마티외 방정식에 대해, 유한한 개수의 궤도를 제외한 거의 모든 닫힌 주기 궤도에서 불안정한 해를 가지는 감쇠 해밀토니안 시스템이 존재함을 보이는 것.
• 선형 외적 흐름에서 계수 함수의 $C^0$ 섭동을 통한 불안정성 유도의 일반적 메커니즘을 확립하는 것.

제안 방법

• 코사이클 형식을 사용하여 마티외 방정식을 컴act 다각형에서의 선형 외적 흐름으로 표현한다.
• 계수 함수 $A: M \to \mathfrak{gl}(2,\mathbb{R})$ 를 가진 선형 미분계수계 $(M, \varphi^t, A)$ 로 모델링하고, $C^0$ 위상 내에서의 섭동을 고려한다.
• Lie 대수의 구조인 $sl(2,\mathbb{R})$ 를 이용하여 해밀토니안(트레이스 0) 역학을 보장하고 기본 해의 면적 보존 성질을 유지한다.
• 소규모 방향성 등장비와 각도 변화를 이용해 단위 행렬의 모노드로미 행렬에 대한 명시적 섭동을 구성하며, Lemma 2.1 을 활용해 원래 시스템에 대한 $C^0$-근접성을 확보한다.
• 문헌 [3, Lemma 6.6] 의 결과를 적용하여, 충분히 긴 궤도($\pi(p) \geq T$)에 대해 모노드로미 행렬이 실수 고유값(하이퍼볼릭 또는 파라볼릭)을 가지도록 섭동을 설계할 수 있음을 보인다.
• 변환을 통해 $\Gamma_\eta(t)$ 와 $\Psi_\eta(t)$ 를 정의하며, 이는 $g(t)$, $\eta$, 행렬 성분을 포함한다. 이에 따라 $\Gamma_\eta \to 0$ 이고 $\Psi_\eta \to \psi(t)$ 로 수렴한다.

실험 결과

연구 질문

• RQ1 소규모 $C^0$ 계수 섭동이 마티외 방정식의 주기적 계수에 가해질 경우, 대부분의 닫힌 주기 궤도에서 해의 불안정성을 유도할 수 있는가?
• RQ2 주어진 마티외 시스템에 대해, 모든 유한한 개수의 궤도를 제외한 나머지 주기 궤도에서 불안정한 해를 가지는 감쇠 해밀토니안 마티외 시스템을 임의로 가까이에 구성할 수 있는가?
• RQ3 궤도 길이가 모노드로미 행렬의 섭동을 통해 불안정성 생성에 기여하는 데 어떤 역할을 하는가?
• RQ4 궤도에 국한된 섭동을 어떻게 설계할 수 있으며, 원래 시스템에 대한 $C^0$-근접성과 모노드로미 맵의 실수 고유값 보존 조건을 유지할 수 있는가?
• RQ5 복소수 고유값(타원형)을 가지는 시스템이 실수 고유값(하이퍼볼릭 또는 파라볼릭)을 가지도록 섭동될 수 있는 조건은 무엇인가?

주요 결과

• 모든 $\delta > 0$ 에 대해, $T > 0$ 이 존재하여, 모든 닫힌 궤도의 주기 $\pi(p) \geq T$ 를 만족하는 경우, 원래 시스템에 대해 $B \in \mathcal{U}(A, \delta)$ 를 만족하는 $C^0$-섭동 $B$ 가 존재하고, $\Phi_B^{\pi(p)}$ 는 오직 실수 고유값을 가진다.
• 섭동된 시스템 $B$ 는 $\Gamma_\eta(t)$ 가 0에 가까워지고 $\Psi_\eta(t)$ 가 $\psi(t)$ 에 가까워지므로 원래 시스템에 대해 $C^0$-근접성을 유지하는 해밀토니안 감쇠 마티외 방정식이다.
• 섭동된 시스템의 닫힌 주기 궤도 중 거의 유한한 개수를 제외한 나머지는 모두 불안정한 해를 가지며, 이는 모노드로미 행렬의 실수 고유값이 1의 절댓값을 가지지 않기 때문이다.
• 섭동은 국소화되어 있다: $B = A$ 는 궤도의 작은 이웃 주변 외부에서 성립하므로, 원래 역학은 궤도 외부에서는 그대로 유지된다.
• 모노드로미를 $k$-겹 곱으로 분해하고, 각각의 $C_j$ 변환에 대해 $|\theta_j| < \delta$ 인 소규모 회전 $R_{\theta_j}$ 를 적용하여 실수 고유값을 유도한다.
• 섭동된 시스템은 $\ddot{y} + \Gamma_\eta(t)\dot{y} + (\omega^2 + \epsilon \Psi_\eta(t))y = 0$ 를 만족하며, $\eta \to 0$ 일 때 $\Gamma_\eta(t) \to 0$ 이고 $\Psi_\eta(t) \to \psi(t)$ 로 수렴하여 섭동이 작고 물리적으로 타당함을 확인한다.