[논문 리뷰] A reducibility result for a class of linear wave equations on $\mathbb{T}^d$

Riccardo Montalto|arXiv (Cornell University)|2017. 02. 22.

Quantum chaos and dynamical systems참고 문헌 24인용 수 4

한 줄 요약

이 논문은 $ℚ^d$ 토러스 위에서 유계가 아닌 섭동을 가진 선형 파동 방정식에 대해 처음으로 환원 가능성 결과를 확립한다. $
> 0$ 이며 주파수 $ω$ 가 큰 측도를 가진 보렐 집합에 속할 경우, 방정식 $ \partial_{tt}v - \Delta v +
\mathcal{P}(\omega t)[v] = 0$ 는 비정상적, 심플렉틱 변환을 통해 일정 계수 시스템으로 변환될 수 있음을 증명한다. 주요 기여는 시간에 의존하는 유한계수이자 두 번째 차수 섭동을 가진 선형 파동 방정식의 일군을 일정 계수를 가진 블록 대각 형식으로 환원하는 것으로, 이는 장기적 안정성 분석을 가능하게 한다.

ABSTRACT

We prove a reducibility result for a class of quasi-periodically forced linear wave equations on the $d$-dimensional torus $\mathbb{T}^d$ of the form $$ \partial_{tt} v - Δv + \varepsilon {\cal P}(ωt)[v] = 0 $$ where the perturbation ${\cal P}(ωt)$ is a second order operator of the form ${\cal P}(ωt) = - a(ωt) Δ- {\cal R}(ωt)$, the frequency $ω\in {\cal R}^ν$ is in some Borel set of large Lebesgue measure, the function $a : \mathbb{T}^ν o {\cal R}$ (independent of the space variable) is sufficiently smooth and ${\cal R}(ωt)$ is a time-dependent finite rank operator. This is the first reducibility result for linear wave equations with unbounded perturbations on the higher dimensional torus $\mathbb{T}^d$. As a corollary, we get that the linearized Kirchhoff equation at a smooth and sufficiently small quasi-periodic function is reducible.

연구 동기 및 목표

• 유계가 아닌 섭동을 가진 선형 준주기적 강제 파동 방정식이 $d$-차원 토러스 $\mathbb{T}^d$ 에서 환원 가능함을 증명하는 것.
• 작고 매끄럽고 준주기적인 해 근처에서 선형화된 킬히호프 방정식의 환원 가능성 증명.
• 시간에 의존하는 유한계수이자 두 번째 차수 섭동을 가진 파동 방정식을 일정 계수로 환원하기 위한 KAM 유사 반복 절차 개발.
• 스펙트럼 매개변수 $|D|^{-M}$ 에 대해 감쇠하는 잔여항까지 시간 의존성을 제거하는 심플렉틱적, 준주기적 변환 구축.

제안 방법

• 벡터 장 $\mathcal{L}(\varphi)$ 의 정규화 절차를 사용하며, 최고차항의 심플렉틱 대칭화와 시간의 준주기적 재매개변수화 포함.
• 주파수 및 공간 변수에서 선형 연산자의 푸리에 계수의 성장률을 제어하기 위해 블록 감쇠 노름 사용.
• 복소 좌표에서 해밀토니안 체계를 사용하며, 시스템은 $\varphi$-에 의존하는 해밀토니안에 의해 지배되는 일阶 미분 방정식으로 기술된다.
• 핵심 기법은 공액을 통한 반복적 블록 대각화로, 연산자를 $|D|^{-M}$ 차수의 잔여항까지 일정 계수로 환원한다.
• 비공진 집합 $\Omega_\varepsilon$ 를 사용하여 측도 추정을 수행하며, 이는 점 渐진적으로 전체 르베그 측도를 가짐을 보장한다. 이는 적합한 주파수 $\omega$ 의 존재를 보장한다.
• 증명은 라플라스 연산자의 스펙트럼 성질과 $\sigma_0(\sqrt{-\Delta})$ 에서의 추정치를 이용하며, 고유값의 분리성과 유한차원 부분공간에서의 연산자 역행성 보장.

실험 결과

연구 질문

• RQ1 유계가 아닌 시간에 의존하는 섭동을 가진 선형 파동 방정식이, 양의 측도를 가진 주파수 집합에 대해 준주기적 변환을 통해 일정 계수 시스템으로 환원될 수 있는가?
• RQ2 작고 매끄럽고 준주기적인 해 근처에서 선형화된 킬히호프 방정식은 환원 가능하며, 이는 해의 장기적 안정성을 의미하는가?
• RQ3 유한계수, 두 번째 차수 등의 섭동 구조 조건이 고차원에서 KAM 유사 환원 가능성을 가능하게 하는 조건은 무엇인가?
• RQ4 유계가 아닌 섭동이 존재하는 상황에서 시간에 의존하는 연산자의 푸리에 계수 성장률을 어떻게 제어할 수 있는가?
• RQ5 환원 가능성이 성립하는 주파수 집합 $\omega$ 의 측도론적 크기는 얼마이며, 이는 작은 분모 문제와 어떻게 관련되는가?

주요 결과

• 적당히 작은 $\varepsilon$ 와 점 渐진적으로 전체 르베그 측도를 가진 보렐 집합 $\Omega_\varepsilon \subset \Omega$ 에 속하는 $\omega$ 에 대해, 방정식 $\partial_{tt}v - \Delta v + \varepsilon \mathcal{P}(\omega t)[v] = 0$ 는 환원 가능하다.
• 섭동 $\mathcal{P}(\omega t)$ 는 $-a(\omega t)\Delta - \mathcal{R}(\omega t)$ 의 형태를 가지며, 여기서 $a \in \mathcal{C}^q(\mathbb{T}^\nu, \mathbb{R})$ 이고 $\mathcal{R}(\omega t)$ 는 평균이 0인 유한계수 대칭 연산자이다.
• 환원은 준주기적, 심플렉틱 변환을 통해 이루어지며, 이는 시스템을 일정 계수를 가진 블록 대각 형식으로 변환하고 $|D|^{-M}$ 차수의 잔여항까지 허용한다.
• $s \in [1/2, \mathfrak{S}_q]$ 에 대해 해의 노름 $\|(v(t,\cdot), \psi(t,\cdot))\|_{H^{s+1/2} \times H^{s-1/2}}$ 이 시간에 대해 균일하게 유계이므로, 장기적 안정성이 보장된다.
• $\Omega_\varepsilon$ 의 측도는 $\text{meas}(\Omega \setminus \Omega_\varepsilon) \lesssim \varepsilon^a$ 를 만족하며, 이는 $0 < a < 1$ 인 상수 $a$ 를 의미한다. 이는 $\varepsilon \to 0$ 일 때 예외 집합이 수축함을 보여준다.
• 매끄럽고 작은 준주기 함수 근처에서 선형화된 킬히호프 방정식은 환원 가능하며, 이는 이러한 해가 소규모 섭동 하에서도 안정함을 확인한다.