Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

기술 요약: Navier–Stokes를 위한 유한 사슬(Finite-Chain) CKN-Bad 스케일 계수

문제 및 동기
본 논문은 3차원 비압축성 나비에-스토크스 방정식의 부분 정칙성(partial regularity) 이론 내에서 발생하는 "유한 사슬(finite-chain)" 장부 기록 문제를 다룬다. 구체적으로, 본 연구는 카파렐리-코언-니렌버그(CKN) $\epsilon$-정칙성 기준의 역(converse)을 조사한다: 만약 유한한 기하학적 사슬의 정규화된 스케일들이 "CKN-bad" 상태(즉, 스케일 임계 속도-압력 양 $\Phi$가 임계값 $\varepsilon_{CKN}$을 초과하는 상태)로 남아 있다면, 어떤 표준 PDE 채널들이 이 'badness'를 유지하기 위해 집중되어야 하는가?

주된 동기는 "동어반복(tautology)"을 피하는 것이다. 계수 정리(counting theorem)는 우변의 비용(cost)이 CKN-bad 양 자체를 암시적으로 포함하고 있다면 공허한 것이 된다. 본 논문은 전체 CKN 노름을 우변에 재구성하지 않고도, 수직 성분 집중, 환형 누출(annular leakage), 압력 꼬리(pressure tails), 압력-플럭스-에너지 잔차(pressure-flux-energy residuals)와 같은 표준 PDE 양으로부터 유도된 비음수(nonnegative) "채널 비용"을 사용하여 bad 스케일 집합의 가중 크기를 제한하고자 한다.

방법론 및 프레임워크
분석은 적합한 약해해(suitable weak solutions)의 프레임워크 내에서 수행되며, $r_k = \lambda^k r_0$인 유한한 기하학적 스케일 사슬을 활용한다. 방법론은 두 가지 평행한 경로인 표준 PDE 접근법과 정준 검출기(Canonical Detector) 구현으로 나뉜다.

1. 표준 PDE 접근법:

   • 입력: 증명은 두 가지 고전적인 입력에 의존한다: (1) 전체 국소 임계 바운드 $\Psi(1) \le M$ (압력 분해 수렴 포함) 하에서의 적합한 약해해의 컴팩트성, 그리고 (2) 수직 속도 성분 $v_3 = 0$인 컴팩트 극한의 정칙성.
   • 폐쇄 메커니즘(Closing Mechanism): 본 논문은 "질적 일성분 컴팩트성(qualitative one-component compactness)" 정리를 확립한다. 이는 수직 성분 집중($\int |u_3|^3$)이 충분히 작고 전체 임계 바운드 $\Psi(1)$이 제어될 때, 특정 반경 $\rho_M$에서 CKN 양 $\Phi$가 작아짐을 입증한다.
   • 비용 정의: "표준 비용" $C_{std}$는 다음의 비동어반복적 항들의 합으로 정의된다:
     • $C_{3,k}$: 수직 성분 집중 ($\int |u_3|^3$).
     • $L_{ann, k}$: 환형 누출 (환형 영역에서의 에너지 및 소산).
     • $P_{tail, k}$: 압력 꼬리 비용 (교환자 오차, 조화 꼬리, 절단 오차를 포함하며, 전체 평균 자유 압력 진동은 명시적으로 제외함).
     • $R_{PFE, k}$: 압력-플럭스-에너지 잔차 (불일치, 결함, 또는 검출기 비교 잔차를 포함하며, 핵심 CKN 노름은 제외함).

2. 정준 검출기 구현:

   • 본 논문은 좌표 기반의 유한 창(finite-window) 계수 철학을 실현하기 위해 새로운 "수정된 정준 검출기(amended canonical detector)"를 정의한다.
   • 추상적인 검출기와 달리, 이 모델은 능동 압력, 조화 압력, 플럭스, 에너지, 그리고 유한 차원 잔차를 사용하여 좌표를 명시적으로 구축한다.
   • 결정적으로, "수정되지 않은(unamended)" 검출기는 $L^\infty_t L^2_x$ 속도와 유지된 저차 압력 모드에 대한 제어가 부족하여 CKN badness를 추출하는 데 불충분함을 보인다.
   • 수정된 검출기는 핵심 에너지($A_{core}$), 핵심 소산($E_{core}$), 그리고 유지된 저차 압력 모드($P_{low}$)를 비용 구조에 추가한다. 이러한 수정은 속도 보간(interpolation)과 압력 분해를 통해 CKN 소량성(smallness)을 추출할 수 있게 한다.

주요 결과

1. 질적 일성분 컴팩트성 (정리 4.3):
   전체 임계 바운드 $\Psi(1) \le M$ 하에서, 수직 성분 집중 $\int_{Q_1} |u_3|^3$이 충분히 작으면 CKN 양 $\Phi(\rho_M)$은 작아진다. 이 결과는 고전적인 컴팩트성 및 제로 성분 정칙성 입력을 조건으로 한다.

2. 비동어반복적 국소 폐쇄 (정리 5.1):
   전체 표준 비용 $C_{std}$(증명 과정에서 수직 성분 채널에 의해 지배됨)가 작으면, 해는 반경 $\rho_M$에서 CKN-small하다. 대우(contrapositive)는 CKN-badness가 적어도 하나의 표준 채널의 집중을 강제한다는 것을 기술한다.

3. 유한 사슬 계수 정리 (정리 6.3):
   유한한 스케일 사슬 $k=0, \dots, K$에 대하여, bad 스케일의 가중 합은 다음과 같이 표준 채널 비용의 가중 합으로 제한된다:
   $$\sum_{k \in B} w_k \le \frac{1}{\varepsilon_{close}(M)} \sum_{k=0}^K w_k \left( C_{3,k} + L_{ann, k} + P_{tail, k} + R_{PFE, k} \right)$$
   여기서 $B$는 $\Phi_k(\rho_M) \ge \varepsilon_{CKN}$인 인덱스의 집합이다.

4. 검출기 계수 정리 (정리 8.15):
   수정된 정준 검출기에 대한 평행한 계수 정리가 증명된다. 이는 bad 스케일의 가중 합이 수정된 검출기의 거리( $L_{AEF}$, $P_{tail,+}$, $R_{PFE,+}$를 포함)의 가중 합에 의해 제한됨을 확립한다. 이 정리는 "상부 실현(upper realization)" (비용에 의해 검출기가 제한됨), "하부 감사(lower audit)" (검출기에 의해 비용이 제한됨), 그리고 "CKN 추출" (작은 검출기 거리가 CKN 소량성을 의미함)을 증명한다.

주장 및 의의
본 논문은 스스로를 전역 정칙성(global regularity)에 대한 돌파구가 아닌, 보수적이고 기술적인 기여로 명시적으로 위치시킨다.

• 범위: 결과는 "유한 창(finite-window)" 및 "유한 사슬(finite-chain)"에 국한된다. 본 논문은 스케일 균등 정칙성(scale-uniform regularity)이나 나비에-스토크스의 전역 정칙성 증명을 주장하지 않는다.
• 메커니즘에 대한 겸손함: 증명된 주요 폐쇄 메커니즘은 수직 성분 채널이다. 장부에는 환형 누출, 압력 꼬리, PFE 잔차가 포함되어 있으나, 본 논문은 이러한 추가적인 채널들이 독립적으로 CKN 소량성을 강제한다는 것을 증명하지 못했음을 인정한다. 더 강력한 "압력-플럭스-에너지 폐쇄 정리"는 여전히 미해결 과제로 남아 있다.
• 검출기 구분: 본 논문은 수정된 정준 검출기가 이전의 추상적 검출기를 재구성한 것이 아니라 새로운 모델임을 명확히 한다. 또한, 이 특정 수정된 검출기가 동어반복 없이 계수 철학을 성공적으로 실현함을 증명한다.
• 의의: 본 연구는 (singular behavior를 지속시키는 데 책임이 있는) 특정 PDE 채널들을 유한한 스케일 범위 내에서 격리하는 엄밀한 "장부 기록(bookkeeping)" 프레임워크를 제공함으로써, 계수 추정이 목표로 하는 정칙성을 암묵적으로 가정하지 않도록 보장한다. 이는 일성분 컴팩트성과 bad 스케일의 분포 사이의 관계를 공식화한다.