[논문 리뷰] A Hamiltonian-Krein (instability) index theory for KdV-like eigenvalue problems

Todd Kapitula, Atanas Stefanov|arXiv (Cornell University)|2012. 10. 22.

Advanced Mathematical Physics Problems참고 문헌 21인용 수 16

한 줄 요약

이 논문은 ∂ₓ가 유계가 아닌 역행렬을 가진 KdV 유사 고유값 문제에 대해 해밀토니안-크라인 지표 이론을 개발한다. 이는 본질 스펙트럼이 0에 닿는 문제를 극복하기 위한 것으로, 문제를 유계 역행렬을 가진 것으로 변환함으로써 스펙트럼 불안정성의 공식을 유도한다. 파동은 해밀토니안-크라인 지표가 홀수일 경우 불안정하며, 이는 연산자의 음의 지표와 파동의 질량 및 에너지에 대한 도함수의 부호에 따라 달라진다. 이 이론은 분수계 BBM 방정식에 적용되어 매개수 s와 p에 기반한 명시적 안정성 기준을 도출한다.

ABSTRACT

The Hamiltonian-Krein (instability) index is concerned with determining the number of eigenvalues with positive real part for the Hamiltonian eigenvalue problem $ J L u=λu$, where $J$ is skew-symmetric and $L$ is self-adjoint. If $J$ has a bounded inverse the index is well-established, and it is given by the number of negative eigenvalues of the operator $L$ constrained to act on some finite-codimensional subspace. There is an important class of problems - namely, those of KdV-type - for which $J$ does not have a bounded inverse. In this paper we overcome this difficulty and derive the index for eigenvalue problems of KdV-type. We use the index to discuss the spectral stability of homoclinic traveling waves for KdV-like problems and BBM-type problems.

연구 동기 및 목표

• KdV 유사 고유값 문제에서 연산자 ∂ₓ의 유계 역행렬이 없어 표준 불안정성 지표 계산이 방해되는 문제를 해결하기 위해.
• 관련 연산자 𝒥가 유계 역행렬을 가지도록 스펙트럼 문제를 재구성함으로써 해밀토니안-크라인 지표 이론의 적용을 가능하게 하기 위해.
• 본질 스펙트럼이 0에 닿는 상황에서 표준 가정을 위반하나, 해밀토니안-크라인 지표의 공식을 유도하기 위해.
• 이론을 분수계 BBM 방정식에 적용하고, 기저 상태 이동파의 스펙트럼 안정성 조건을 도출하기 위해.

제안 방법

• 변수 변경과 연산자 코어지션을 사용하여 원래 고유값 문제 ∂ₓℒu = λu를 𝒥가 유계 역행렬을 가지는 등가 문제로 변환한다.
• 필요한 스펙트럼 성질을 만족하는 신규 연산자 ℒ₀ = c|∂ₓ|ˢ + (c−1) − (p+1)U_cᵖ를 정의한다.
• 푸리에 분석과 분수계 소볼레프 공간(Hˢ, Ḣ⁻¹ 등)을 사용하여 |∂ₓ|⁻¹/² 및 ∂ₓ⁻¹ 등의 연산자 작용을 엄밀히 정의하고 분석한다.
• Q와 U_c의 감쇠 추정을 통해 L²(ℝ)에서 (I + |∂ₓ|ˢ)⁻¹/²U_cᵖ(I + |∂ₓ|ˢ)⁻¹/²의 컴팩턴스를 확립한다.
• ∂꜀⟨(I + ℳ)U_c, U_c⟩의 도함수를 Q와 그 분수계 도함수의 노름으로 명시적으로 계산한다.
• 유도된 지표 공식을 적용하여 스펙트럼 안정성을 결정한다: 해밀토니안-크라인 지표가 홀수일 경우 불안정성이 발생하며, 이는 ℒ₀의 음의 지표와 ∂꜀⟨(I + ℳ)U_c, U_c⟩의 부호에 따라 달라진다.

실험 결과

연구 질문

• RQ1 ∂ₓ의 유계 역행렬이 없는 고유값 문제에 대해 해밀토니안-크라인 지표는 어떻게 정의할 수 있는가?
• RQ2 본질 스펙트럼이 0에 닿더라도 변환된 연산자의 스펙트럼이 지표 계산을 방해하지 않는 조건은 무엇인가?
• RQ3 변환된 연산자 ℒ₀의 음의 지표는 원래 문제의 불안정성과 어떻게 관련되는가?
• RQ4 분수계 BBM 방정식의 기저 상태 해의 스펙트럼 안정성 기준은 무엇인가?
• RQ5 매개수 (s, p, c)의 어떤 영역에서 분수계 BBM 방정식의 기저 상태 파동은 스펙트럼적으로 안정하거나 불안정한가?

주요 결과

• 스펙트럼 문제에 대한 해밀토니안-크라인 지표는 K_Ham = n(ℒ₀) − p(∂꜀⟨(I + ℳ)U_c, U_c⟩)로 주어지며, 여기서 n(ℒ₀)은 ℒ₀의 음의 고유값의 수이다.
• 파동 U_c는 해밀토니안-크라인 지표가 홀수일 경우 스펙트럼적으로 불안정하다. 이는 n(ℒ₀)이 짝수이고 ∂꜀⟨(I + ℳ)U_c, U_c⟩ > 0이거나, n(ℒ₀)이 홀수이고 ∂꜀⟨(I + ℳ)U_c, U_c⟩ < 0일 때 발생한다.
• 분수계 BBM 방정식의 경우, 1 ≤ s < 2 이고 0 < p ≤ 4일 때 유도된 표현의 부호에 따라 파동은 스펙트럼적으로 안정하다.
• 도함수 ∂꜀⟨(I + ℳ)U_c, U_c⟩는 [(4−p)sc + 2(s−1)p]⟨Q,Q⟩ + [2sc + (s−1)p]⟨|∂ₓ|ˢ/²Q, |∂ₓ|ˢ/²Q⟩에 비례한다.
• 안정성 조건의 부등식이 뒤집힐 경우 선형화 문제에는 정확히 하나의 양의 실수 고유값이 존재하여 불안정성을 나타낸다.
• 이 이론은 더 일반적인 다항식 α(ξ) = |ξ|ˢ를 允허하여 린의 결과를 확장하며, 비국소 분산을 가진 더 넓은 범주에 속하는 KdV 유사 방정식에 적용 가능하다.