On the absence of anomalous dissipation for the Navier-Stokes equations with Navier boundary conditions: a sufficient condition

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

• 주제: 유한 영역 (bounded domain) 에서 정의된 3 차원 비압축성 나비에 - 스토크스 (Navier-Stokes, NS) 방정식의 점성 소멸 극한 (vanishing viscosity limit, $\nu \to 0$) 을 다룹니다.
• 핵심 문제: 난류 이론의 핵심인 '비정상 소산 (Anomalous Dissipation)' 현상입니다. 점성 계수 $\nu$가 0 으로 수렴할 때, 나비에 - 스토크스 해가 오일러 (Euler) 방정식의 해로 수렴하더라도 에너지 소산이 0 이 되지 않고 양의 값을 유지하는 현상을 의미합니다. 이는 콜모고로프의 제 0 법칙 (Kolmogorov zeroth law) 과 관련이 깊습니다.
• 경계 조건: 기존의 많은 연구가 '무미끄럼 (no-slip, Dirichlet)' 경계 조건에 집중했던 반면, 본 논문은 나비에 (Navier) 경계 조건을 적용합니다. 이는 유체의 법선 성분이 0 이고, 접선 성분에 대한 특정 조건 (일반화된 나비에 조건) 을 만족하는 경우로, 경계층 형성이 무미끄럼 조건보다 약한 경우를 다룹니다.
• 기존 연구의 한계:
  • 기존 결과들은 주로 오일러 방정식의 해가 '강해 (strong solution)'로 존재하거나, 압력의 경계 근처에서의 규칙성 (regularity) 을 가정하는 경우가 많았습니다.
  • 무미끄럼 조건 하에서는 프란틀 (Prandtl) 경계층으로 인해 비정상 소산이 발생할 수 있어, 오일러 해의 존재성이나 특정 규칙성이 필수적이었습니다.

2. 방법론 (Methodology)

• 약해 (Weak Solution) 정의의 정립:
  • 나비에 - 스토크스 방정식에 대한 레레이 - 호프 (Leray-Hopf) 약해의 정의를 나비에 경계 조건에 맞게 재구성했습니다. 특히, 경계 조건을 약형식 (weak formulation) 에 직접 포함시켰습니다.
  • 오일러 방정식에 대한 약해의 정의를 제시하고, 기존의 정의와 동등함을 증명했습니다. 이때 압력에 대한 새로운 경계 조건을 사용했습니다.
• 압력 규칙성 결과의 활용:
  • 최근 Bardos, Boutros, Titi 의 연구 [Arch. Ration. Mech. Anal., 2025] 에서 증명된 결과를 핵심 도구로 활용했습니다. 이 결과는 3 차원 비압축성 오일러 방정식의 약해에서 속도장이 Hölder 연속 ($C^{0,\alpha}$) 이면, 이에 대응하는 압력도 동일한 Hölder 규칙성을 가진다는 것입니다.
  • 중요한 점은 이 압력 경계 조건이 고전적인 강해 (strong solution) 에 대한 조건과 다르며, 약해 맥락에서 엄밀하게 유도되었다는 점입니다.
• 수렴성 증명:
  • 나비에 - 스토크스 해의 열 (sequence) 이 오일러 해로 수렴하는지 확인하기 위해 Aubin-Lions 보조정리와 Banach-Alaoglu 정리를 사용하여 약수렴 (weak-* convergence) 을 다뤘습니다.
  • 에너지 불평등 (Energy inequality) 을 분석하여 점성 소산 항이 0 으로 수렴하는지 여부를 판별했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

가. 비정상 소산 부재를 위한 충분 조건 (Theorem 6)

본 논문은 나비에 경계 조건 하에서 비정상 소산이 발생하지 않기 위한 충분 조건을 제시합니다.

• 가정:
  1. 초기 데이터가 $C^{0,\alpha}(\Omega)$ 공간에서 강하게 수렴합니다.
  2. 나비에 - 스토크스 해의 열 $\{u_{\nu_k}\}$이 다음과 같이 균일하게 유계 (uniformly bounded) 입니다:
     $$\sup_k \|u_{\nu_k}\|_{L^\infty((0,T); C^{0,\alpha}(\Omega))} + \sup_k \nu_k^{1/2} \|u_{\nu_k}\|_{L^2((0,T); H^1(\Omega))} < \infty$$
• 결론:
  • 이 조건 하에서 나비에 - 스토크스 해의 어떤 부분열의 약수렴 극한 $u$는 오일러 방정식의 약해가 됩니다.
  • 만약 $\alpha > 1/3$이라면, 이 극한 해는 에너지를 보존합니다 ($\|u(t)\|_{L^2} = \|u_0\|_{L^2}$).
  • 따라서 비정상 소산이 발생하지 않습니다 (점성 소산이 0 으로 수렴).

나. 기존 연구와의 차별점

1. 압력 규칙성 불필요: 본 결과는 오일러 해의 압력이 경계 근처에서 어떤 특정 규칙성을 가진다는 가정을 전혀 하지 않습니다. 대신 속도장의 규칙성 ($C^{0,\alpha}$) 만을 가정합니다.
2. 강해 존재성 불필요: 오일러 방정식의 '강해 (strong solution)'가 존재한다는 가정을 하지 않습니다. 약해의 맥락에서 결과를 도출했습니다.
3. 경계 조건의 적합성: 무미끄럼 조건 (Prandtl 경계층 발생) 과는 달리, 나비에 경계 조건은 속도 불연속을 유발하지 않아 경계층이 약하므로, 위와 같은 규칙성 조건이 더 자연스럽게 적용될 수 있음을 강조합니다.

다. 부록 (Global Existence)

• 일반화된 나비에 경계 조건 하에서 나비에 - 스토크스 방정식의 레레이 - 호프 약해의 전역 존재성 (Global Existence) 을 증명하는 개요를 부록에 제시했습니다. 이는 Galerkin 방법을 사용하여 증명되었습니다.

4. 의의 및 중요성 (Significance)

• 난류 이론의 발전: 난류에서의 에너지 소산 메커니즘을 이해하는 데 중요한 진전을 이루었습니다. 특히 경계 조건이 다른 경우 (나비에 조건) 에 비정상 소산이 어떻게 제어될 수 있는지를 명확히 했습니다.
• 수학적 엄밀성: 압력이나 오일러 해의 강해 존재성에 대한 강한 가정 없이, 속도장의 Hölder 규칙성만으로 비정상 소산 부재를 증명함으로써 수학적 모델의 범위를 확장했습니다.
• 물리적 통찰: 무미끄럼 조건과 달리 나비에 경계 조건을 가진 유체 흐름에서, 점성이 사라질 때 에너지가 보존되는 영역을 수학적으로 규명했습니다. 이는 실제 공학적 응용 (예: 표면 마찰이 있는 유체 흐름) 에서의 모델링 정확도를 높이는 데 기여할 수 있습니다.
• 헌정: 이 논문은 난류 및 유체 역학 연구에 기여한 Peter Constantin 교수의 75 세 생일을 기념하여 헌정되었습니다.

요약

이 논문은 나비에 경계 조건을 가진 3 차원 나비에 - 스토크스 방정식에 대해, 속도장의 Hölder 연속성 ($C^{0,\alpha}, \alpha > 1/3$) 만을 가정하고 압력의 경계 규칙성이나 오일러 강해의 존재성 없이도 비정상 에너지 소산이 발생하지 않음을 증명했습니다. 이는 난류 이론과 점성 소멸 극한 연구에 있어 중요한 이론적 토대를 제공합니다.