Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

기술 요약: 토러스 상의 2차원 비등방성 나비에-스토크스 방정식에 대한 균등 대형 편차 및 장기 역학

문제 정의
본 논문은 수평 방향으로만 소산(dissipation)이 작용하고 가법적 노이즈(additive noise)가 존재하는 토러스 $\mathbb{T}^2$ 상의 2차원 확률적 비압축성 나비에-스토크스 방정식을 조사한다. 시스템은 다음과 같이 정의된다:
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
여기서 소산 연산자 $A = -P\partial_1^2$는 오직 수평 방향으로만 작용한다. 수직 소산의 부재는 소산 메커니즘으로부터 면역을 가진 정적 상태(순수 수직 전단 모드)의 무한 차원 커널을 생성한다. 저자들은 세 가지 주요 과제를 다룬다: 지수적 타이트니스(exponential tightness)에 의존하지 않고 에너지 공간에서의 해 경로에 대한 균등 대형 편차 원리(Uniform Large Deviation Principle, LDP)를 확립하는 것; 장기 혼합(long-time mixing) 특성을 분석하는 것; 그리고 이 퇴화된 소산이 존재하는 상황에서 불변 측도(invariant measures)의 구조를 규명하는 것이다.

방법론
분석은 세 가지 뚜렷한 방법론적 기둥을 통해 진행된다:

1. 균등 대형 편차 원리 (LDP):
   저자들은 약한 수렴 접근법(weak convergence approach)과 균등 수축 원리(uniform contraction principle)를 결합하여 사용한다.

• 선형 분석: 저자들은 보조 공간 $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$에서의 선형 오른슈타인-우렌벡 과정 $z^\varepsilon$에 대한 LDP를 먼저 확립한다. 이는 스켈레톤 방정식(skeleton equation)에 대한 사전 추정치(a priori estimates)와 유계된 제어(bounded controls)에 대한 해 사상의 컴팩트성을 증명하는 것에 기반한다.
• 비선형 매핑: 선형 궤적을 전체 확률 방정식의 해로 보내는 비선선형 맵 $F_x: G \to C([0, T]; H)$를 구성하는 것이 핵심적인 단계이다. 저자들은 유계된 초기 데이터에 대해 이 맵에 대한 *균등 립시츠 추정치(uniform Lipschitz estimate)*를 증명한다. 이 추정치는 비선형 항 $(u \cdot \nabla)u$를 제어하기 위해 새로운 대수적 조작인 비등방성 가리오-니렌버그 부등식(Gagliardo-Nirenberg inequalities)과 발산 없는 조건(divergence-free condition)을 활용한다.
• 수축 원리: 왕(Wang)의 균등 수축 원리를 적용함으로써, 저자들은 비선형 시스템에 대한 LDP를 도출한다. 이 접근법은 고전적인 LDP 증명에서 일반적으로 요구되는 지수적 타이트니스 조건을 우회하는데, 이는 보조 공간 $G$ 전체에서 립시츠 연속성이 확립되었기 때문이다.

2. 장기 역학 (지수적 혼합):
   저자들은 특정 결정론적 정적 상태 $u_0 = (\sin x_2, 0)$가 수평 스토크스 연산자의 커널에 놓여 있음을 식별함으로써 지수적 혼합의 실패를 분석한다. 이 모드는 수평 미분값이 0이므로 소산 항이 사라지며, 이 특정 프로파일에 대해 비선형 항 또한 사라진다. 결과적으로, 이 감쇠되지 않는 모드는 결정론적 극한에서 이 정적 상태와 영해(zero solution) 사이의 $L^2$-노름을 일정하게 유지한다. 저자들은 모순 증명법을 사용하여, 이 감쇠되지 않는 모드가 작은 노이즈가 존재하더라도 확률 시스템이 균등한 지수적 혼합 추정치를 만족하는 것을 방해함을 보여준다.

3. 불변 측도:
   논문은 결정론적 경우와 확률적 경우를 대조하여 불변 측도의 존재와 구조를 조사한다:

• 결정론적 경우: 연산자 $A$의 무한 차원 커널 $N$은 전적으로 정적 상태로 구성된다. 따라서 $u \in N$에 대한 모든 디락 측도 $\delta_u$는 불변 측도가 되며, 이는 무수히 많은 서로 다른 불변 측도를 초래한다.
• 확률적 경우: 저자들은 노이즈 공분산 범위가 커널 $N$ 내에 완전히 포함되는 특정한 퇴화 노이즈를 구성한다. 그들은 이 시스템의 임의의 불변 측도가 $N$에 직교해야 함($\mu(N) = 0$)을 증명한다. 이 증명은 만약 불변 측도가 $N$에 전하(charge)를 띤다면, $N$으로의 역학 제한이 무한 차원 공간에서 선형적으로 증가하는 분산을 가진 가우스 과정처럼 행동할 것이며, 이는 불변 확률 측도를 허용하지 않음을 보여줌으로써 성립한다.

주요 결과

• 균등 LDP: 본 논문은 $\tilde{H}^{0,1}$에서의 유계된 초기 데이터 집합에 대해 균등하게, 에너지 공간 $C([0, T]; H)$에서의 해 경로에 대한 균등 프레드린-벤트웰(Freidlin-Wentzell) LDP를 증명한다. 이는 지수적 타이트니스나 추가적인 감쇠 없이 에너지 공간에서 달성된 비등방성 나비에-스토스크스 방정식에 대한 최초의 결과이다.
• 지수적 혼합의 실패: 비등방성 나비에-스토크스 방정식이 토러스 상에서 지수적 혼합을 보이지 않음을 엄밀하게 증명한다. 주기적 경계 조건에 의해 보존되는 수직 전단 모드의 무한 차원 커널의 존재는 시스템이 초기 조건을 지수적으로 잊어버리는 것을 방지한다.
• 불변 측도 구조:
  • 결정론적 극한에서, 시스템은 수평 라플라시안의 커널에 대응하는 무수히 많은 디락 불변 측도를 갖는다.
  • 커널 내에서 작용하는 퇴화된 가법적 노이즈 하에서, 존재하는 임의의 불변 측도는 커널에 직교해야 한다. 논문은 더 나아가 이러한 노이즈 하에서 커널 자체가 불변 측도를 지지할 수 없음을 보여준다.

의의 및 주장
저자들은 본 연구를 토러스 상의 비등방성 방정식과 (1) 완전하게 소산되는 나비에-스토크스 방정식 및 (2) 노슬립(no-slip, Dirichlet) 경계 조건을 가진 비등방성 방정식 사이의 날카로운 구별점으로 위치시킨다.

• 디리클레 경계와의 대조: 유계 영역에서 노슬립 조건을 가진 경우, 비등방성 포앵카레 부등식이 성립하고 커널이 자명하며, 유일 에르고디시티(지수적 혼합)가 확립되어 있다(Sun, Qiu, Tang 인용). 반면 토러스 상에서는 주기적 경계 조건이 무한 차원 커널을 보존하며, 이는 장기 역학을 근본적으로 변화시킨다.
• 방법론적 진보: 지수적 타이트니스 없이 균등 LDP를 도출한 것은 보조 공간 $G$에서의 선형 과정의 특정한 정칙성과 비선형 맵의 균등 립시츠 연속성에 의존하는 중요한 기술적 기여로 강조된다.
• 개념적 틀: 저자들은 부분적으로 소산되는 시스템을 이해하기 위한 프레임워크를 제공하며, 소산 연산자의 커널을 통계적 안정성을 방해하는 주요 장애물로 식별한다. 이는 감쇠되지 않는 수직 모드가 지수적 혼합을 방해하지만, 비선형 항이 여전히 소산되는 수평 모드로 에너지를 전달할 수 있는 유일한 잠재적 메커니즘임을 시사한다. 다만, 일반적인 확률적 경우에 대한 전역 불변 측도의 존재 여부는 에너지 카스케이드(energy cascade)의 효율성과 결부된 미해결 과제로 남아 있다.

저자들은 결론적으로, 본 연구가 경계 조건이 비등방성 유체 모델의 질적인 장기 역학을 결정하는 데 있어 어떤 역할을 하는지 명확히 하며, 부분적으로 소산되는 시스템(예: 비등방성 MHD 및 원시 방정식)에 적용 가능한 구조적 관점을 제공한다고 밝힌다.