[논문 리뷰] Invariant curves of almost periodic twist mappings

Peng Huang, Xiong Li외 1명|arXiv (Cornell University)|2016. 06. 29.

Nonlinear Differential Equations Analysis참고 문헌 11인용 수 4

한 줄 요약

이 논문은 교차 성질과 해석적 조건 하에서 평면 거의 주기적 휘감기 사상에 대한 불변 곡선의 존재성을 확립하며, 고전적 KAM 유형 결과를 거의 주기적 설정으로 확장한다. 응용으로써, 거의 주기적 외부 힘을 받는 초선형 Duffing 방정식에서 모든 해의 유계성과 무한히 많은 거의 주기적 해의 존재성을 증명한다.

ABSTRACT

In this paper we are concerned with the existence of invariant curves of planar twist mappings which are almost periodic in a spatial variable. As an application of this result to differential equations we will discuss the existence of almost periodic solutions and the boundedness of all solutions for superlinear Duffing's equation with an almost periodic external force.

연구 동기 및 목표

• 교차 성질과 해석적 조건 하에서 평면 거의 주기적 휘감기 사상에 대한 불변 곡선 정리를 확립하기 위해.
• 기존의 주기적 및 준주기적 설정에서의 고전적 KAM 이론을 거의 주기적 경우로 확장하기 위해.
• 불변 곡선 결과를 활용하여 초선형 Duffing 방정식에서 해의 유계성과 거의 주기적 해 존재를 연구하기 위해.
• 작은 매개수 변환과 해석적 거의 주기적 섭동을 사용하여 거의 주기적 힘을 받는 Duffing 방정식의 Poincaré 사상의 역학을 분석하기 위해.

제안 방법

• 작은 매개수 δ와 변수변환 μ = (3/(4d))ρ⁻¹ᐟ³을 도입하여 Poincaré 사상을 재스케일링하고 비틀림 항을 분리한다.
• 원래의 Duffing 방정식을 작은 섭동을 가진 평면 사상 P로 변환한 후, 소비틀림 정리의 조건을 만족하는 새로운 사상 P̃로 변환한다.
• 정리 6.1(거의 주기적 사상에 대한 소비틀림 정리)를 적용하여 주파수 스펙트럼의 비공진성 및 감쇠 조건 하에서 불변 곡선의 존재를 증명한다.
• 변수변환에 의해 유지되는 Poincaré 사상의 교차 성질을 이용하여 소비틀림 정리의 적용 가능성을 보장한다.
• 사상에서의 섭동 f와 g가 t에 대해 실해석적이고 주파수 ω = (…, ω_λ, …)를 가진 거의 주기적임을 확립하고, 비공진성 조건을 만족함을 보인다.
• ρ₀⁻¹ᐟ³에 대한 점근적 전개를 사용하여 Poincaré 사상의 구조를 유도하고, δ → 0일 때 비틀림 항의 작음을 검증한다.

실험 결과

연구 질문

• RQ1 교차 성질과 해석적 조건 하에서 평면 거의 주기적 휘감기 사상에 대해 불변 곡선 정리가 성립하는가?
• RQ2 거의 주기적 휘감기 사상에서 불변 곡선의 존재는 비선형 진동자에서 해의 유계성을 증명하는 데 사용될 수 있는가?
• RQ3 거의 주기적 외부 힘을 받는 초선형 Duffing 방정식은 거의 주기적 해를 가지며, 모든 해가 유계적인가?
• RQ4 거의 주기적 설정에서 불변 곡선의 존재를 보장하는 주파수 스펙트럼에 대한 비공진성 조건은 무엇인가?

주요 결과

• 주파수 ω가 비공진성 조건을 만족하고 섭동 매개수 δ가 충분히 작을 경우, 실해석적 거의 주기적 힘을 받는 초선형 Duffing 방정식의 Poincaré 사상은 불변 곡선을 가진다.
• 불변 곡선은 실해석적이고 주파수 ω = (…, ω_λ, …)를 가진 거의 주기적 형태이며, 이는 무한히 많은 거의 주기적 해의 존재를 의미한다.
• 원점 둘레의 불변 곡선 존재 보장으로 인해 초선형 Duffing 방정식의 모든 해는 동일한 조건 하에서 유계적이다.
• Poincaré 사상의 비틀림 항은 O(δμ₀)이며, μ₀ ∈ [1,2]임을 보였고, 섭동 f̃₁, f̃₂는 각각 O(δ)이고 t₀에 대해 해석적이며 주파수 ω를 가진다.
• 소비틀림 정리의 적용 가능성을 보장하는 비공진성 조건 |⟨k,ω⟩(δα)/(2π) − j| ≥ γ/(Δ([[k]])Δ(|k|))가 성립한다.
• 변환 δμ = (3/(4d))ρ⁻¹ᐟ³을 통해 역학을 재스케일링하여 비틀림 항이 작아지고 주요 정리의 가정을 만족하도록 한다.