Existence of a weak solution to the Navier-Stokes equations enjoying the energy equality

기술 요약: 에너지 등식을 만족하는 나비에-스토크스 방정식의 약해(Weak Solution)의 존재성

문제 정의
본 논문은 영역 $\Omega \subseteq \mathbb{R}^3$ (유계, 외부, 반공간 또는 전 공간)에서의 고전적인 나비에-스토크스 초기 경계값 문제를 다룬다. 시스템은 다음과 같이 주어진다:
$$v_t + v \cdot \nabla v + \nabla \pi = \Delta v, \quad \nabla \cdot v = 0$$
여기서 초기 데이터는 $v_0 \in J_2(\Omega)$이다.

레레이-홉프(Leray-Hopf) 약해가 존재한다는 것은 잘 확립되어 있으나, 이러한 해들은 알려진 바와 같이 에너지 부등식만을 만족한다:
$$\|v(t)\|_2^2 + 2\int_s^t \|\nabla v(\tau)\|_2^2 d\tau \leq \|v(s)\|_2^2$$
모든 $t > 0$에 대해 에너지 등식(부등식이 등식이 되는 경우)이 성립하는지의 여부는 $n \geq 3$ 차원에서 미해결 문제로 남아 있다. 저자들은 적어도 하나의 약해가 시간의 거의 모든 곳에서 에너지 등식을 만족하는지 조사하며, 특히 난류 또는 "이상 소산(anomalous dissipation)"의 원인으로 간주되는 간극을 다룬다.

방법론
저자들은 유일성 결과(약해에 대해서는 알려져 있지 않음)를 필요로 하지 않고, 레레이의 독창적인 몰리피케이션(mollification) 기법을 사용하는 구성적 접근 방식을 채택한다. 방법론은 다음과 같이 진행된다:

1. 몰리파이드 시스템(Mollified System): 저자들은 프리드리히 몰리피케이터(Friedrichs mollifier) $J_m$을 통해 비선형 항이 매끄럽게 처리된 정규화된 나비에-스토크스 문제 (3.1)의 수열을 고려한다. 매끄러운 초기 데이터를 가진 이 시스템은 에너지 등식을 정확하게 만족하는 유일한 정칙 해 $\{v_m\}$을 갖는다.
2. 수렴 분석: 증명의 핵심은 특정 함수 공간에서 기울기 수열 $\{\nabla v_m\}$이 $\nabla v$로 강하게 수렴함을 확립하는 데 있다.
   • 보조 정리 2.3 (Lemma 2.3): 표준적인 지배 조건이 실패할 수 있는 수열을 처리하기 위해 컷오프 함수 $p(\alpha, r)$을 사용하는, 르베그 지배 수렴 정리(Lebesgue Dominated Convergence Theorem)의 변형인 특수 수렴 정리가 도입된다. 이를 통해 비선형 항에서 극한으로의 통과가 가능해진다.
   • 보조 정리 3.3 (Lemma 3.3): 저자들은 수열 $\{v_m\}$이 $q \in [1, 2)$인 $L^q(0, T; J^{1,2}(\Omega))$ 공간에서 $v$로 강하게 수렴함을 증명한다. 이는 에너지 균형으로 넘어가기 위해 약한 수렴만으로는 불충분하다는 점을 고려할 때 매우 중요한 단계이다.
3. 보조 함수 구축: 에너지 등식을 회복하기 위해, 아크탄젠트(arctangent)와 로그 항을 포함하는 특정 보조 함수 $p(\alpha, r)$(섹션 4.2에서 정의됨)을 구축한다. 이 함수는 근사 수열의 에너지 방정식에서 가중치 역할을 한다. 파라미터 $\alpha \to 1^-$에 따른 극한을 신중하게 분석함으로써, "결함(defect)" 항(극한의 에너지와 에너지의 극한 사이의 차이)이 소멸함을 입증한다.

주요 기여 및 결과
본 논문의 주요 결과인 **정리 1.1(Theorem 1.1)**은 다음을 확립한다:

• 특정 약해의 존재성: 임의의 초기 데이터 $v_0 \in J_2(\Omega)$에 대하여, 에너지 등식을 만족하는 약해 $v$가 존재한다:
  $$\|v(t)\|_2^2 + 2\int_0^t \|\nabla v(\tau)\|_2^2 d\tau = \|v_0\|_2^2$$
  여기서 $t \in (0, \infty) \setminus I$이며, $I$는 구간 $(0, \theta)$ 내에 포함된 르베그 측도 0인 집합이고 $\theta \leq c\|v_0\|_2^4$이다.
• 정칙성 및 연속성: 해 $v$는 에너지 부등식 (1.3)이 성립하는 모든 시점 $s$에서 $L^2$-노름에 대해 우연속(right-continuous)이다. 가능한 특이 시점들의 집합 $I$는 특정 구간 $(0, \theta)$ 내에 포함된다.
• 기울기의 강한 수렴: 에너지 등식이 이 특정 해에 대해 성립함에 따라, 저자들은 기울기 수열 $\{\nabla v_m\}$이 $L^2(0, T; L^2(\Omega))$에서 $\nabla v$로 강하게 수렴함을 증명한다 (Corollary 4.1).
• 전역 에너지 균형: 이 해는 전역 에너지 소산 항등식을 만족한다:
  $$2\int_0^\infty \|\nabla v(t)\|_2^2 dt = \|v_0\|_2^2$$

의의 및 주장
본 논문은 유일성 정리의 부재로 인해 모든 레레이-홉프 약해가 에너지 등식을 만족한다는 것을 증명하는 것이 아니라, 표준적인 레레이 근사를 통해 구성된 적어도 하나의 그러한 해가 존재함을 증명한다는 점에서 겸손하게 주장한다.

저자들은 다음과 같은 함의를 강조한다:

• 해석적 제약: 이 결과는 가능한 약해들의 집합에 추가적인 제약을 가하며, 에너지 부등식의 "간극"(종종 이상 소산 또는 난류로 해석됨)이 모든 약해의 본질적인 특징이 아니라, 특정 비유일한 해들의 속성일 수 있음을 시사한다.
• 온사거의 추측(Onsager's Conjecture)과의 관계: 저자들은 자신들의 결과가 "이상 소산"(오일러 방정식에 대한 온사거의 추측과 유사한)에 관한 추측들을 재구성할 수 있게 해준다고 언급한다. 만약 에너지가 거의 모든 곳에서 등식을 만족한다면, 에너지 균형의 불일치는 연속적인 추가 소산 메커니즘보다는 $L^2$-노름의 특이 시점에서의 불연속성에 기인해야 하기 때문이다.
• 적절성(Well-posedness) 맥락: 이 결과는 매우 약한 해(very weak solutions)에 대한 나비에-스토크스 방정식의 일의성(ill-posedness)에 관한 최근의 논의들과 관련하여 제시된다. 저자들은 에너지 등식(또는 부등식)을 요구하는 것이 비유일하고 병리적인 해들을 배제할 수 있는 선택 기준으로 작용할 수 있다고 제안한다.

증명은 수렴 논의와 특정 보조 함수의 사용에 의존하는 기초적인 방식임이 언급되었으며, $L^2$ 초기 데이터와 에너지 등식 간의 호환성에 관한 기존 연구를 확장한다. 결과는 유계 및 무계 영역 모두에서 성립하며, 외부 힘 $f \in L^2(0, T; L^2(\Omega))$가 있는 경우로 확장 가능하다.