[논문 리뷰] On the long time behavior for solutions of semi-linear harmonic oscillator with small Cauchy data on R^d.

Benoît Grébert, Rafik Imekraz외 1명|arXiv (Cornell University)|2008. 08. 06.

Advanced Mathematical Physics Problems인용 수 1

한 줄 요약

이 논문은 R^d 위에서 소규모 초기 자료를 가진 비선형 조화 진동자에 대한 장기 역학을 연구한다. 히르미트 승수 M에 대한 비공진 조건과 함께 비르코프 정규형 기법을 사용하여, d=1과 d≥2에 대해 각각 해의 적분 가능성과 유계성을 증명함으로써 소규모 초기 자료에 대해 거의 전역 존재성을 확보한다.

ABSTRACT

We consider the semi-linear harmonic oscillator $$i\psi_t=(-\Delta +x^{2} +M)\psi +\partial_2 g(\psi,\bar \psi), \quad x\in \R^d, t\in \R$$ where $M$ is a Hermite multiplier and $g$ a smooth function globally of order at least three. We prove that such a Hamiltonian equation admits, in a neighborhood of the origin, a Birkhoff normal form at any order and that, under generic conditions on $M$ related to the non resonance of the linear part, this normal form is integrable when $d=1$ and gives rise to simple dynamics (in particular bounded) when $d\geq 2$. As a consequence we prove the almost global existence for solutions of the above equation with small Cauchy data.

연구 동기 및 목표

• R^d 위에서 소규모 초기 자료를 가진 비선형 조화 진동자 방정식의 장기적 행동을 이해하는 것.
• 원점 근처에서 시스템이 어떤 순서에서도 비르코프 정규형을 갖는지 조사하는 것.
• 히르미트 승수 M에 어떤 조건이면 정규형이 적분 가능하거나 유계 동역학을 유도하는지 결정하는 것.
• M에 대한 일반적인 비공진 조건 하에서 해의 거의 전역 존재성을 확립하는 것.
• d=1에서의 결과를 고차원 d≥2로 확장하여, 특히 정규형 내의 동역학의 구조에 초점을 맞추는 것.

제안 방법

• 비선형 조화 진동자 방정식과 관련된 해밀토니안 시스템에 비르코프 정규형 이론을 적용하는 것.
• 조화 진동자 해밀토니안 $-\Delta + x^2 + M$을 포함하는 선형 부분의 구조를 이용하는 것. 여기서 M는 히르미트 승수이다.
• 해밀토니안 전개에서 임의의 유한 차수까지 비공진 항을 제거하기 위해 섭동 기법을 사용하는 것.
• 선형 연산자의 고유값에 대한 비공진 조건을 분석하여 정규형의 수렴성과 적분 가능성 보장하는 것.
• g가 매끄럽고 전반적으로 최소한 3차 이상임을 이용하여 고차 비선형성을 제어하는 것.
• 차원에 따라 달라지는 구조를 활용: d=1일 경우 정규형은 적분 가능하며, d≥2일 경우 단순하고 유계된 동역학을 유도한다.

실험 결과

연구 질문

• RQ1 비선형 조화 진동자 방정식은 원점 근처에서 어떤 순서에서도 비르코프 정규형을 갖는가?
• RQ2 히르미트 승수 M에 어떤 조건이면 비르코프 정규형이 적분 가능해지는가?
• RQ3 차원 d가 정규형 내의 동역학에 어떻게 영향을 미치는가? 특히 d≥2일 경우 해가 유계가 되는가?
• RQ4 정규형의 적분 가능성 또는 유계성은 해의 장기 존재성을 증명하는 데 사용될 수 있는가?
• RQ5 선형 스펙트럼에 대한 비공진 조건이 정규형의 타당성과 그 역학적 결과를 보장하는 데 정확히 어떤 역할을 하는가?

주요 결과

• 비선형 조화 진동자 방정식은 원점 근처에서 임의의 차수에서 비르코프 정규형을 갖는다.
• d=1일 경우, M에 대한 일반적인 비공진 조건 하에서 정규형은 적분 가능하며, 이는 규칙적이고 예측 가능한 동역학을 의미한다.
• d≥2일 경우, 비선형성의 구조와 선형 부분의 스펙트럼 성질 덕분에 정규형은 단순하고 유계된 동역학을 유도한다.
• 모든 차수에서 정규형의 존재는 소규모 초기 자료를 가진 해의 거의 전역 존재성을 증명할 수 있게 한다.
• 비선형성 g가 매끄럽고 전반적으로 최소한 3차 이상임을 가정할 때 결과가 성립한다.
• 핵심적인 역학적 행동—유계성과 적분 가능성—은 선형 연산자 $-\Delta + x^2 + M$의 고유값의 비공진성에 달려 있다.