2차원 테일러‑그린 소용돌이의 불안정성 완전 규명

초록

본 논문은 선형 해밀토니안 연산자에 대한 새로운 불안정성 기준을 제시하고, 이를 2차원 이상적인 유체의 정상 해인 테일러‑그린 소용돌이에 적용한다. 결과적으로 허수축을 벗어난 스펙트럼이 네 개의 단순 고유값 {λ★, ¯λ★, −λ★, −¯λ★} 로 구성됨을 증명하고, 컴퓨터 보조 증명을 통해 λ★의 위치를 정확히 규명한다. 또한 짝수·홀수 대칭 하위공간별 안정성을 분석하고, 비선형 불안정성까지 연결한다.

상세 분석

이 연구는 두 단계로 이루어진 혁신적인 접근법을 제시한다. 첫 번째는 일반적인 선형 해밀토니안 연산자 L = J H에 대해, H를 양의 부분 H_s와 유한 차원 음의 부분 H_u 로 분해하고, T := H_s^{1/2} J H_s^{1/2} 를 정의함으로써 불안정 고유값 λ∉iℝ 를 찾는 문제를 ‘유한 차원 행렬 M_λ’의 영점 문제로 환원한다. 구체적으로 Φ(λ) := det M_λ 라는 전역적인 전단사 함수를 도입하고, Φ(λ)=0 ⇔ λ∈σ(L)\iℝ 임을 증명한다. 이 절차는 기존의 Pontryagin‑Krein 이론이나 Galerkin 전개와 달리, 사전 정의된 유한 차원 공간 V_u (음의 방향 수와 동일)만을 사용하므로 계산량이 크게 감소한다. 특히 n=1 일 때는 Φ(λ)=1−h_u s_u ‖E_u‖²⟨(T−λ)^{-1}T E_u, E_u⟩ 형태로 명시적으로 표현되어, 실수축 위에서의 단조성 검증이나 복소 평면에서의 근 위치 추정이 용이해진다.

두 번째 단계에서는 이 일반 기준을 2차원 테일러‑그린 소용돌이 ω_E = 2 sin x sin y 에 적용한다. L_E는 J = −{ψ_E,·} 와 H = Id + 2Δ^{−1} 로 구성된 해밀토니안 연산자이며, H는 네 개의 음의 고유값과 네 개의 영고유값을 가진다. 따라서 최대 8개의 비허수 고유값이 존재할 가능성이 있다. 저자들은 L_E의 대칭성을 이용해 L²₀(T²) 를 ‘홀‑홀’, ‘홀‑짝’, ‘짝‑홀’, ‘짝‑짝’ 네 개의 파리티 서브스페이스로 분해하고, 각 서브스페이스를 다시 Fourier 모드의 짝·홀 성질에 따라 세분화한다.

• ‘홀‑홀’ 및 ‘짝‑짝