Instability of two-pulse periodic waves with long wavelength in some Hamiltonian PDEs

1. 연구 배경 및 문제 제기 (Problem)

• 연구 대상: Korteweg-de Vries (KdV) 방정식의 준선형 일반화 (qKdV) 와 압축성 유체의 오일러 방정식 (라그랑주 또는 오일러 좌표계) 을 포함한 해밀턴 편미분방정식 (PDE) 들입니다. 이 프레임워크는 비선형 슈뢰딩거 방정식 (NLS) 의 유체역학적 표현도 포함합니다.
• 주요 관심사: 주기 traveling wave (주기파) 의 스펙트럼 안정성 (spectral stability) 입니다.
• 구체적 문제: 파장 (주기) 이 무한대로 갈 때, 한 주기 내에 두 개의 펄스 (pulse) 를 갖는 주기파를 연구합니다. 이 두 펄스는 각각 밝은 솔리톤 (bright soliton) 과 어두운 솔리톤 (dark soliton) 으로 수렴합니다.
• 기존 연구와의 차이:
  • 고립파 (solitary waves) 의 경우, 안정성 판별 기준 (예: Boussinesq 운동량의 2 차 도함수 부호) 이 잘 확립되어 있습니다.
  • 기존 연구 (BMR16, BMR20) 는 작은 진폭의 조화 극한 (harmonic limit) 과 단일 솔리톤으로 수렴하는 솔리톤 극한 (soliton limit) 에서 주기파의 안정성을 다뤘습니다.
  • 본 논문은 두 개의 서로 다른 솔리톤이 중첩된 2 펄스 주기파가 충분히 큰 주기를 가질 때, 그 안정성이 어떻게 되는지 규명하는 것이 목표입니다.

2. 방법론 (Methodology)

저자는 2 펄스 주기파의 불안정성을 증명하기 위해 두 가지 서로 다른 접근법을 결합하여 사용합니다.

A. 작용 적분 (Action Integral) 의 점근적 전개

• 이론적 배경: [BMR16] 과 [BMR20] 에서 제시된 해밀턴 시스템의 주기파 안정성 판별 기준을 적용합니다.
• 핵심 도구: 주기파의 축약된 작용 적분 (abbreviated action integral, $\Theta$) 의 헤시안 행렬 ($\nabla^2 \Theta$) 을 계산합니다.
• 접근: 파장 (주기) 이 무한대로 갈 때 ($\epsilon = \sqrt{\mu - \mu_s} \to 0$), 작용 적분의 헤시안 행렬에 대한 점근적 전개를 수행합니다.
• 판단 기준: 헤시안 행렬의 음의 부호 수 (negative signature, $n(\nabla^2 \Theta)$) 를 계산하여, 특정 조건 하에서 선형화된 연산자가 양의 실수 고유값을 갖는지 (즉, 스펙트럼 불안정성) 를 판단합니다.

B. Evans 함수 (Evans Function) 의 수렴성 분석

• 필요성: 작용 적분 기반의 기준은 두 솔리톤이 모두 안정한 경우에도 불안정성을 결론짓지 못하는 경우가 발생할 수 있습니다 (특히 $d_c^2 M_\ell + d_c^2 M_r < 0$ 인 경우).
• 핵심 도구: 주기 Evans 함수와 솔리톤 (동형 궤적) Evans 함수의 관계를 분석합니다.
• 접근:
  1. 주기파를 구성하는 두 펄스가 각각 다른 솔리톤으로 수렴함을 이용합니다.
  2. [YZ19] 의 방법을 2 펄스 상황에 맞게 적응화하여, 적절히 재규격화 (renormalization) 된 주기 Evans 함수가 두 솔리톤의 Evans 함수의 곱으로 지수적으로 빠르게 수렴함을 증명합니다.
  3. 이 수렴성을 통해, 두 솔리톤 중 하나라도 불안정하면 큰 주기의 2 펄스 주기파도 불안정함을 보입니다.

3. 주요 결과 (Key Results)

논문은 Theorem 2.3.3을 통해 2 펄스 주기파의 불안정성에 대한 완전한 분류를 제시합니다.

• 조건 1: 두 솔리톤이 모두 안정한 경우

  • 두 솔리톤 (왼쪽/어두운, 오른쪽/밝은) 의 Boussinesq 운동량 ($M_\ell, M_r$) 에 대한 속도 $c$ 의 2 차 도함수 합이 양수일 때 ($d_c^2 M_\ell + d_c^2 M_r > 0$), 충분히 큰 주기를 가진 2 펄스 주기파는 스펙트럼적으로 불안정합니다.
  • 이는 작용 적분의 헤시안 행렬 분석을 통해 증명됩니다.

• 조건 2: 두 솔리톤 중 하나라도 불안정한 경우

  • 두 솔리톤 중 하나라도 스펙트럼적으로 불안정하면, 충분히 큰 주기를 가진 2 펄스 주기파는 스펙트럼적으로 불안정합니다.
  • 이는 Evans 함수의 수렴성 분석을 통해 증명됩니다.

• 종합 결론:

  • 두 솔리톤이 모두 안정하고 $d_c^2 M_\ell + d_c^2 M_r = 0$ 인 경우를 제외하면, 모든 2 펄스 주기파 (충분히 큰 주기의) 는 스펙트럼적으로 불안정합니다.
  • 이 불안정성은 공주기 (co-periodic) 섭동과 국소화 (localized) 섭동 모두에 대해 성립합니다.

4. 기술적 기여 및 세부 사항

• 점근적 전개의 정밀화: 작용 적분과 헤시안 행렬의 $\epsilon$ 에 대한 고차 점근 전개를 정밀하게 계산하여, 기존 단일 솔리톤 극한 연구 ([BMR20]) 를 2 솔리톤 중첩 상황에 확장했습니다.
• Evans 함수의 새로운 수렴 정리: 두 개의 서로 다른 솔리톤으로 수렴하는 주기파에 대해, 재규격화된 주기 Evans 함수가 두 솔리톤 Evans 함수의 곱으로 수렴함을 증명했습니다 (Proposition 4.4.2). 이는 단일 솔리톤 극한 연구 ([YZ19]) 를 일반화한 중요한 결과입니다.
• 모듈레이션 불안정성 (Modulational Instability) 배제: 연구 결과에 따르면, 불안정성이 발생하지 않는 경우 (즉, $d_c^2 M_\ell + d_c^2 M_r < 0$ 인 경우) 모듈레이션 시스템은 쌍곡형 (hyperbolic) 이 되어 모듈레이션 불안정성이 존재하지 않음을 보였습니다. 따라서 불안정성은 순수한 스펙트럼적 기작에서 비롯됨을 확인했습니다.

5. 의의 및 중요성 (Significance)

• 이론적 확장: 해밀턴 PDE 시스템에서 주기파의 안정성 이론을 단일 솔리톤 극한에서 다중 솔리톤 (2 펄스) 극한으로 확장했습니다.
• 불안정성의 보편성: 긴 파장의 2 펄스 주기파가 본질적으로 불안정하다는 것을 보여주었습니다. 이는 물리적으로 두 개의 솔리톤이 서로 멀리 떨어져 있을 때, 각 솔리톤의 불안정성이 독립적으로 발현되거나, 두 솔리톤의 속도 변화가 동기화를 깨뜨려 전체 시스템이 불안정해짐을 시사합니다.
• 응용 가능성: KdV, 오일러-코트위그 시스템, 비선형 슈뢰딩거 방정식 등 다양한 물리 모델에 적용 가능한 일반적인 프레임워크를 제공했습니다. 특히, mKdV 방정식의 주기파 (cnoidal waves) 에 대한 기존 결과들을 준선형 (quasilinear) 일반화로 확장한 것으로 평가됩니다.
• 비선형 불안정성으로의 연결: 본 논문은 선형 (스펙트럼) 수준의 불안정성을 증명했으며, 준선형 시스템의 경우 비선형 불안정성으로의 전이는 여전히 열린 문제이나, 반선형 (semilinear) 경우의 기존 연구 ([JLL19]) 를 통해 비선형 궤도 불안정성이 예상됨을 언급했습니다.

요약

이 논문은 해밀턴 PDE 시스템에서 긴 파장을 가진 2 펄스 주기파가 항상 스펙트럼적으로 불안정함을 증명했습니다. 이를 위해 작용 적분의 점근적 분석과 Evans 함수의 수렴성 분석이라는 두 가지 강력한 수학적 도구를 결합하여, 구성 요소인 두 솔리톤의 안정성 여부와 관계없이 (단, 특수한 임계 경우 제외) 불안정성이 발생함을 rigorously 보였습니다. 이는 비선형 파동 현상에서 다중 솔리톤 상호작용의 안정성 이론에 중요한 기여를 합니다.