3차원 무강제 나비에 스톡스 방정식에서 Leray Hopf 해의 비유일성 증명

초록

본 논문은 무강제 3차원 불변성 나비에‑스톡스 방정식에 대해 Leray‑Hopf 해가 동일한 초기 데이터에서 무한히 많이 존재한다는 사실을 최초로 컴퓨터 보조 증명을 통해 확립한다. 자기유사 형태의 기본 해를 구축하고, 그 주변의 선형화 연산자의 불안정 고유값을 엄밀히 검증함으로써 두 번째(이하 무한히 많은) 해의 존재를 보인다. 핵심은 연산자를 강제성 부분과 콤팩트 부분으로 분해하고, 유한 차원 근사와 잔차 추정을 결합한 전산적 검증 기법이다.

상세 분석

이 연구는 3차원 무강제 나비에‑스톡스 방정식의 Leray‑Hopf 해가 전통적으로 전역 존재는 보장되지만 유일성은 미해결이라는 난제에 직접적인 답을 제시한다는 점에서 획기적이다. 저자들은 먼저 자기유사 변수 ξ = x/√t 로 변환한 정적 방정식(1.6)을 풀어, 초기 데이터가 |x|⁻¹ 형태의 특이점을 갖는 ‘프로파일’ Û(ξ)를 얻는다. 이 프로파일은 Leray‑Hopf 해의 핵심이 되며, 기존 연구에서는 존재는 알려졌으나 불안정 고유값의 존재 여부가 추정에 머물렀다.

논문은 선형화 연산자 L_{Û}를
L_{Û}v = ½v + ½ξ·∇v – Π( Û·∇v + v·∇Û ) + Δv
로 정의하고, 이 연산자를 ‘강제(coercive) 부분’과 ‘콤팩트 교란(compact perturbation)’으로 분해한다. 강제 부분은 라플라시안과 ½v 항으로 구성되어 양의 정의를 갖고, 콤팩트 교란은 유한 차원 근사 연산자 K와 잔차 R으로 표현한다. 저자들은 고정점 이론과 컴퓨터 보조 검증을 이용해 K의 스펙트럼을 정확히 계산하고, R의 ‖·‖‖₂‑노름을 엄격히 상한한다. 이를 통해 L_{Û}가 이미지(K) 위에서 가역임을 증명하고, 결과적으로 실수부가 양인 고유값 λ>0와 대응 고유함수 v̂를 확보한다.

이 불안정 고유값은 시간 로그 τ = log t 로 재표현된 비선형 방정식(1.10)의 해 φ(τ,ξ) 가 τ→−∞ 에서 0 으로 수렴하면서도 지수적으로 성장함을 의미한다. 따라서 φ를 초기 조건이 0인 새로운 해로 삽입하면, 원래 나비에‑스톡스 방정식에 두 개 이상의 Leray‑Hopf 해가 동일한 초기 데이터에서 발생한다는 결론에 도달한다.

컴퓨터 보조 증명의 핵심 기술은 (i) 고정밀 수치 해 U와 v̂ 를 얻기 위한 스펙트럴/유한요소 혼합 방법, (ii) 잔차 E_U, E_v 를 L²‑노름으로 엄격히 제한하는 자동 검증 알고리즘, (iii) 유한 차원 근사 행렬의 고유값 구간을 인터벌 연산으로 검증하는 절차이다. 특히, 원거리(ξ→∞)에서의 경계조건 Û(ξ)=|ξ|⁻¹A(ξ/|ξ|)+O(|ξ|⁻³) 를 만족하도록 설계된 ‘radial cut‑off’와 ‘heat‑smoothing’ 기법은 무한 영역에서의 수치 오차를 제어하는 데 결정적 역할을 한다.

이러한 방법론은 기존의 ‘스펙트럼 가정’에 의존하던 접근과 달리, 실제 연산자를 직접 검증함으로써 가정 자체를 증명으로 전환한다는 점에서 이론적·계산적 혁신을 제공한다. 결과적으로, 무강제 3차원 나비에‑스톡스 방정식에 대해 Leray‑Hopf 해의 비유일성이 무한히 많은 해를 통해 입증되었으며, 이는 강제 항이 없는 경우에도 유사한 비유일성 현상이 발생할 수 있음을 시사한다.