[논문 리뷰] An index theorem for the stability of periodic traveling waves of KdV type

Jared C. Bronski, Mathew A. Johnson외 1명|ArXiv.org|2009. 07. 24.

Advanced Mathematical Physics Problems참고 문헌 39인용 수 26

한 줄 요약

이 논문은 KdV형 방정식의 주기적 정상파 주위의 선형화 연산자에 대한 불안정 고유값의 수를 세는 인덱스 정리를 수립한다. 이 정리는 파동 프ofile의 도함수의 영점 수와 보존량과 라그랑주 승수 사이의 사상의 기하학적 불변량과 연결함으로써 이루어지며, 핵심 결과는 이 사상의 야코비안 행렬식에 기반한 스펙트럼 안정성 기준이다. 이는 슈투름의 진동 정리의 일반화이자 단일파 안정성 이론을 주기파로 확장한 것이다.

ABSTRACT

We consider periodic solutions to equations of Korteweg-Devries type. While the stability theory for periodic waves has received much some attention the theory is much less developed than the analogous theory for solitary wave stability, and appears to be mathematically richer. We prove an index theorem giving an exact count of the number of unstable eigenvalues of the linearized operator in terms of the number of zeros of the derivative of the traveling wave profile together with geometric information about a certain map between the constants of integration of the ordinary differential equation and the conserved quantities of the partial differential equation. This index can be regarded as a generalization of both the Sturm oscillation theorem and the classical stability theory for solitary wave solutions for equations of Korteweg-de Vries type. In the case of a polynomial nonlinearity this index, together with a related one introduced earlier by Bronski and Johnson, can be expressed in terms of derivatives of period integrals on a Riemann surface. Since these period integrals satisfy a Picard-Fuchs equation these derivatives can be expressed in terms of the integrals themselves, leading to an expression in terms of various moments of the solution. We conclude with some illustrative examples.

연구 동기 및 목표

• KdV형 방정식의 주기적 정상파 해에 대한 기하학적 스펙트럼 안정성 기준을 개발한다.
• 슈투름의 진동 정리와 단일파 안정성 이론을 주기파 설정으로 일반화한다.
• 해의 안정성 지표를 기본적인 상미분방정식 및 편미분방정식의 위상수학적·기하학적 불변량으로 표현한다.
• 다항비선형성의 경우 아벨 적분과 피카르-프류스 미분방정식이 안정성 지표 계산에 어떻게 기여하는지 설명한다.
• 보존량과 작용 원리에 기반한 주기파의 스펙트럼 불안정성 식별 프레임워크를 제공한다.

제안 방법

• KdV형 방정식을 주기적 정상파 근처에서 변형하고 얻어진 고유값 문제를 분석함으로써 선형화 연산자를 유도한다.
• 방정식의 해밀토니언 구조를 이용하여 선형화 안정성 문제를 $ \mathbf{J} \mathcal{L} \phi = \mu \phi $ 형태로 표현한다. 여기서 $ \mathcal{L} $ 는 주기적 계수를 가진 슈뢰딩거형 연산자이다.
• 안정성 지표를 오른쪽 반평면에 있는 불안정 고유값의 수에 더하여 음의 크라인 서명을 가진 순수 허수 고유값의 수로 정의한다.
• 라그랑주 승수 $ (a, c) $ 에서 보존량 $ (T, M, P) $ 으로의 사상의 야코비안 행렬식과 관련지어, 야코비안에 대한 파오아송 괄호 스타일 표기법을 사용한다.
• 다항비선형성의 경우, 리만 곡면 위의 주기 적분의 도함수로 야코비안을 표현하며, 이는 피카르-프류스 미분방정식을 만족한다.
• 유도된 대수적 구조를 이용하여 지표를 해의 모멘트와 보존량으로 표현함으로써 명시적 계산이 가능하게 한다.

실험 결과

연구 질문

• RQ1 주기적 정상파 주위의 선형화 연산자에 대한 불안정 고유값의 수를 기하학적으로 어떻게 세는가?
• RQ2 주기적 파동 프ofile의 도함수의 영점 수와 스펙트럼 불안정성 사이의 관계는 무엇인가?
• RQ3 안정성 지표는 보존량과 그 라그랑주 승수에 대한 의존성으로 표현될 수 있는가?
• RQ4 아벨 적분과 피카르-프류스 미분방정식은 다항비선형성의 경우 안정성 지표 계산에 어떻게 기여하는가?
• RQ5 모듈레이션 불안정성 지표는 주기적 KdV형 파동의 스펙트럼 불안정성에 대해 必要하고 충분한 조건인가?

주요 결과

• 오른쪽 반평면에 있는 불안정 고유값의 수에 더하여 음의 크라인 서명을 가진 순수 허수 고유값의 수는 $ u_x $ 의 영점 수와 $ (a, E, c) $ 에서 $ (T, M, P) $ 로의 사상의 야코비안에 의존하는 인덱스로 주어진다.
• 영역 $ \{T, M, P\}_{a,E,c} > 0 $ 에서는 $ k $ 가 크면 $ L^2(\mathbb{T}_k) $ 에서 궤도 안정성이 유지되나, 스펙트럼 불안정성은 여전히 존재한다.
• $ \{T, M, P\}_{a,E,c} < 0 $ 인 경우, 불안정 고유값의 수는 $ k_{\mathbb{I}}^{-} + k_{\mathbb{R}} + k_{\mathbb{C}} = 2k - 1 $ 를 만족하여 강한 스펙트럼 불안정성을 나타낸다.
• 다항비선형성의 경우, 안정성 지표는 리만 곡면 위의 주기 적분 도함수로 표현되며, 이는 해의 모멘트로 기술될 수 있다.
• 수치적 증거는 스펙트럼 불안정성이 모듈레이션 불안정성 지표가 음수일 때에만 발생함을 시사하지만, 이는 아직 추측에 머물러 있다.
• 이 방법은 실수 고유값(불안정성의 징후)과 음의 크라인 서명을 가진 순수 허수 고유값을 식별할 수는 있으나, 두 번 모odu로만 식별 가능하다.