Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

기술 요약: 3 차원 나비어 - 스토크스 방정식에 대한 대규모 데이터 전역 정규성 II

문제 제기
본 논문은 대규모 초기 데이터를 갖는 3 차원 비압축성 나비어 - 스토크스 방정식의 전역 정규성 문제를 다룬다. 구체적으로, 유한 시간 특이점이 발생하지 않고 모든 시간 ($T^* = \infty$) 에 걸쳐 매끄러운 해가 존재함을 증명하는 것을 목표로 하는 2 부작 시리즈의 두 번째 부분이다. 동반 논문인 Part I 이 직접적인 '첫 번째 임계값' 연장 방법을 사용하여 축대칭 - 와류 (axisymmetric-with-swirl) 클래스에 대한 전역 정규성을 확립했다면, Part II 는 전체 시스템의 '진짜 3 차원' 프론트 엔드를 다룬다. 핵심적인 과제는 스케일 불변 와류 점수가 임계적인 큰 값에 도달하는 국소화된 영역인 '첫 번째 임계값' 패킷이 수축하거나 알려진 정규 사례로 축소되지 않고 지속되거나 성장할 수 없음을 입증하는 것이다.

방법론
증명은 **결합 임계 포락선 (combined critical envelope)**인 $M_{crit}(t)$를 중심으로 한 '직접 첫 번째 임계값 연장' 논증을 활용한다. 이 포락선은 모든 공간 위치와 스케일에 걸친 스케일 불변 국소 와류 점수 ($Q_{3D}$) 의 상한을 추적하며, Part I 에서 유도된 축대칭 성분 ($M_{ax}$) 으로 보강된다.

방법론은 모순 논증을 통해 진행된다:

1. 발산 가정: $M_{crit}(t)$가 유한 시간 $t^*$에서 큰 임계값 $M^*$에 도달한다고 가정한다.
2. 패킷 선택: 특정 순서 (최초 시간, 최소 스케일, 최소 구성 요소 등) 에 따라 최소 '첫 번째 임계값' 패킷 $Q^*$를 선택한다.
3. 유한 중첩 하강: $Q^*$와 관련된 오차 (누출, 쉘 결함, 꼬리 수출, 수동 변형, 위상/정지/패리티 결함) 를 분석한다. '유한 중첩' 메커니즘을 활용하여 이러한 범주의 비섭동적 오차가 비교 가능한 점수를 갖지만 엄격하게 더 작은 선택 순서를 가진 '후손' 패킷 $Q'$의 존재를 강제함을 보인다.
4. 강성과 이분법: 후손이 생성되지 않는 경우 (즉, 모든 오차가 섭동적임), 패킷은 '최종 제로 결함' 조건을 만족해야 한다. 본 논문은 이러한 제로 결함 패킷을 분류하기 위해 **각도 리틀우드 - 페일리 삼중항 (angular Littlewood–Paley triads)**과 **액티브 프레임 강성 (active-frame rigidity)**을 도입한다.
5. 축소: 분석은 최종 제로 결함 패킷은 국소적으로 2 차원이거나 축대칭 - 와류여야 함을 증명한다. 전자는 고전적인 2 차원 정규성으로 처리되고, 후자는 Part I 정리에 의해 처리된다.

주요 기여 및 메커니즘

• 결합 임계 포락선: $M_{crit}(t)$의 도입은 전체 3 차원 분석을 축대칭 결과와 통합하여, 복잡한 3 차원 구조를 2 차원 또는 축대칭 한계로 축소함으로써 전체 시스템을 처리할 수 있게 한다.
• 액티브 프레임 강성: 주요 기여 중 하나는 공명 각도 삼중항에서 유도된 유한 차원 '액티브 프레임' 레이블 공간의 정의이다. 본 논문은 강성 기하학적 구성으로부터의 편차를 측정하는 결함 함수 ($D_{phase}, D_{stall}, D_{netpar}$) 를 정의한다.
  • 정리 4.4/4.5: 이러한 결함의 합이 작으면, 패킷의 액티브 프레임 측도가 두 개의 강성 집합 중 하나, 즉 $Z_{2D}$ (일정 스트레칭 프레임, 국소적 2 차원) 또는 $Z_{ax}$ (물리적 $m=1$ 방위 궤도, 축대칭 - 와류) 에 가깝다는 정량적 간격을 확립한다.
• 수동 변형 가시성: 본 논문은 수동 변형 기여가 최종 결함에 보이지 않을 수 없다는 '암흑 물질 부재' 부등식 (Proposition 2.7, Lemma 4.6) 을 도입한다. 수동 변형이 비섭동적이라면 누출, 쉘, 위상 등 측정 가능한 결함으로 나타나거나 국소 소산에 흡수되어야 함을 증명한다.
• 유한 중첩 후손 추출: 정리 6.6 은 누출, 쉘, 꼬리, 위상 또는 분열 채널에서의 큰 오차가 보장된 하한 점수를 갖는 새로운 패킷 (후손) 으로 변환되는 메커니즘을 공식화한다. 이러한 오차가 존재한다면 '첫 번째 임계값' 패킷이 최소 반례가 될 수 없음을 방지한다.

주요 결과

• 정리 2.1 (직접 전체 3 차원 연장): 임의의 매끄러운 발산 없는 초기 데이터 $u_0 \in C_c^\infty(\mathbb{R}^3)$에 대해, 해당 매끄러운 해는 전역적으로 존재한다 ($T^* = \infty$).
• 포락선의 유계성: 임의의 유한 시간 $T$에 대해 결합 임계 포락선은 유계로 유지된다: $\sup_{0<t<T} M_{crit}(t) \leq C(E_0, T)$, 여기서 $E_0$는 초기 $L^2$ 에너지이다.
• 정리 4.8 (전체 차원 제로 최종 결함 후보 부재): 본 논문은 소멸하는 최종 결함을 갖는 '진짜 3 차원' 특이 패킷은 존재할 수 없음을 증명한다. 그러한 패킷은 국소적 2 차원 또는 축대칭 - 와류 클래스로 강제되며, 둘 다 정규성으로 알려져 있다.

의의 및 주장
본 논문은 문제의 '프론트 엔드'를 닫음으로써 3 차원 나비어 - 스토크스 방정식에 대한 전역 정규성의 완전하고 직접적인 증명을 제공한다. 그 의의는 다음과 같다:

1. 시리즈 완성: 축대칭 사례 (Part I) 와 전체 3 차원 시스템 간의 간극을 메워, 전체 시스템이 축대칭 또는 2 차원 축소로 포착되지 않는 새로운 유형의 특이점을 허용하지 않음을 보여준다.
2. 직접 임계값 메커니즘: 특정 노름의 유계를 가정하는 조건부 정규성 결과와 달리, 이 증명은 직접적인 모순을 구성한다: 특이점이 형성된다면 최소 패킷이 존재해야 하지만, 구조적 분석 (강성, 가시성, 하강) 은 그러한 패킷이 존재할 수 없음을 증명한다.
3. 구조적 강성: 이 연구는 제로 결함 한계에서 고점수 패킷에 가능한 유일한 '안정된' 기하학이 고전적인 2 차원 및 축대칭 - 와류 구성임을 확립한다. 다른 모든 복잡한 3 차원 기하학 (나선 위상, 다축 혼합, 더 높은 감김 등) 은 에너지를 엄격하게 소산하거나 후손을 생성하는 비영 결함을 갖는 것으로 밝혀져 특이점 형성을 방지한다.

본 논문은 축대칭 분기에 대한 엔드포인트 입력으로 동반 논문 Part I 정리에 의존하지만, 일반적인 3 차원 프론트 엔드에 대한 미국소 추정식을 증명하는 데는 이를 사용하지 않는다. 증명 자체는 진짜 3 차원 특이점을 배제하는 메커니즘에 관해 독립적이다.