Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

기술 요약: 나비에-스토크스 방정식을 위한 유한 창(Finite-Window) 재귀적 감사 체인

문제 정의
본 논문은 압축되지 않는 나비에-스토크스 방정식의 르레(Leray)–호프(Hopf) 유한 에너지 프레임워크와 적합한 약해해(suitable weak solutions)의 부분 정칙성 이론(Scheffer, Caffarelli–Kohn–Nirenberg) 내에서 작동한다. 다루고자 하는 핵심 문제는 직접적인 전역 정칙성 증명이나 특이점 배제(클레이 밀레니엄 문제)가 아니라, 제한 및 재스케일링(restriction and rescaling) 하에서 생성된 나비에-스토크스 데이터의 "감사 패키지(audit packages)"에 대한 구조적 분석이다.

구체적으로, 본 논문은 "유한 재귀적 질문(finite recursive question)"을 조사한다: 즉, 한 번의 제한-재스케일링 단계 이후, 나비에-스토크스에 의해 생성된 패키지가 여전히 허용 가능한 클래스 내에 머무는가? 만약 그렇다면, 감사 계수(audit coefficients)와 잔차 장부(residual ledgers, 오차 예산)는 어떻게 진화하는가? 목표는 특정 구조적 및 대수적 조건이 충족될 때, 국소화된 탐지기 값(localized detector value)의 하한이 유한한 스케일 체인을 통해 전파될 수 있는 프레임워크를 구축하는 것이다.

방법론
방법론은 스케일에 따른 솔루션 패키지의 진화를 두 가지 주요 구성 요소로 분해하는 "유한 창 재귀적 감사 프레임워크"를 구축한다:

1. 단일 단계 허용성(One-Step Admissibility): 스케일 $k$에서의 패키지 $D_k$가 제한 및 재스케일링을 거쳐 $D_{k+1}$로 변환될 때, 모든 "불일치(mismatch)"(변환에 의해 도입된 오차)가 명시적인 "장부(ledger)" $\Delta_k$에 기록된다는 조건 하에 $ANS_{k+1}$ 클래스 내에 머무름을 검증하는 메커니즘.
2. 재귀적 전파(Recursive Propagation): 가변 계수 오차 재귀와 가중 합산을 사용하여 각 스케일에서 사용 가능한 정적 감사 인증서(static audit certificates)를 합산함으로써 전역 하한을 도출하는 메커니즘.

이 프레임워크는 오차를 별개의 채널로 분류하는 "장부" 시스템에 의존한다:

• PDE 생성 채널: 압력/소스 보존, 에너지/플럭스 국소화, 그리고 국소적 압력 재계산(Calderón–Zygmund 커뮤테이터를 통해).
• 구조적/축소된 채널: 동기화(synchronization), 투영/조화 꼬리(projection/harmonic tails), 게이트/슬랙(gate/slack) 제약, 탐지기 비교, 차트 가시성, 그리고 클린 갭(clean-gap) 조건.

분석에는 정규화된 실린더 $Q_1$, 표준 Calderón–Zygorn 압력 분해, 그리고 국소 에너지 부등식이 사용된다. 또한 "광범위한(broad)" 클래스(적분 가능성 및 허용성에 의해 정의됨)와 특정 구조적 입력(커널 프리 또는 컴팩트 몫 모델)이 가정되거나 검증되는 "축소된(reduced)" 클래스를 구분한다.

주요 기여
본 논문은 다음과 같은 구체적인 기여를 한다:

1. 광범위한 NS 생성 감사 패키지의 정의: 유한 에너지 나비에-스토크스 데이터에 의해 생성된 패키지로서, 속도, 활성/조화 압력, 소스, 국소화, 게이트/슬랙, 탐지기 및 잔차를 위한 좌표를 갖춘 클래스 $ANS_k$를 정의한다.
2. 고정 창 PDE 모듈: 압력 허용 데이터에 대해, 단일 단계 맵이 압력/소스 좌표를 보존하고 에너지/플럭스 국소화 누출과 압력 재계산 커뮤테이터 오차를 특정 장부 구성 요소에 할당함을 증명한다. 이는 국소 에너지 부등식과 특이 적분 추정치로부터 직접 증명된다.
3. 구조적 장부 할당: 구조적 입력(동기화, 투영, 조화 꼬리, 게이트/슬랙, 탐지기 비교, 차트, 클린 갭)을 장부에 삽착하는 과정을 공식화한다. 결정적으로, 이를 별도의 정리(예: 특정 클래스의 컴팩트성)에 의해 검증되지 않는 한 조건부 입력으로 취급한다.
4. 유한 체인 재귀적 안티-팬텀 정리(Anti-Phantom Theorem): 각 스케일에서 정적 감사 인증서가 존재하고 단일 단계 허용성이 성립할 경우, 탐지기 값의 가중 합이 다음을 만족함을 증명한다:
   $$\sum_{k=0}^K w_k M_k \geq c_{\min}^K \sum_{k=0}^K w_k \delta_k - E_{rec}^K$$
   여기서 $E_{rec}^K$는 누적된 재귀적 오차이다.
5. 조건부 CKN 호환 결함 추출: 감사 베이스라인 거리와 Caffarelli–Kohn–Nirenberg(CKN) $\epsilon$-정칙성 기준 사이의 분기를 설정한다. 명시적인 "감사-to-CKN 지배 가설(audit-to-CKN domination hypothesis)"이 성립한다는 조건 하에, 특정 스케일이 "CKN-bad"(정칙성 임계값을 위반)인 경우 감사 결함 $\delta_k$가 양수여야 함을 보여준다.
6. 매끄러운 축소 클래스에서의 검증: 매끄러운 축소 나비에-스토크스 패키지($A_{K,N,M}^{sm,red}$)에 대해, 구조적 입력(컴팩트성, 커널-프리, 투영 꼬리)이 검증될 수 있음을 입증하여, 이 프레임워크가 공집합이 아니며 매끄러운 데이터에 적용 가능함을 보여준다.

결과

• 정리 8.1 (광범위 단일 단계 허용성): 모든 불일치가 상응하는 장부 구성 요소에 기록된다면, 나비에-스토크스 생성 패키지가 다음 스케일에서도 허용 가능함을 확립한다.
• 정리 10.3 (유한 체인 재귀적 안티-팬텀): 유한 체인 감사 인증서에 대한 가중 하한을 제공한다.
• 정리 16.14 (조건부 유한 감사 체인 추출): 감사-to-CKN 지배 가설을 가정할 때, "CKN-bad" 스케인들의 체인이 비퇴화된 베이스라인 결함을 가진 허용 가능한 유한 감사 체인을 생성함을 보여준다.
• 정리 17.1 (최종 유한 창 정리): 단일 단계 허용성, 정적 인증서, 그리고 구조적 입력을 종합하여 포괄적인 유한 체인 하한 정리를 합성한다.

의의 및 주장
본 논문은 그 범위에 대해 명시적으로 겸손한 태도를 취한다. 본 논문은 다음을 주장하지 않는다:

• 무한 체인 전파 또는 스케일-균일 정칙성 증명.
• 특이점 배제 또는 나비에-스토크스 정칙성 문제 해결.
• 구조적 가설(컴팩트성, 커널-프리, 동기화 안정성)이 모든 적합한 약해해에 대해 성립한다는 증명.

그 의의는 정칙성 문제의 구조적 분해에 있다. 본 논문은 "어려운" PDE 입력(압력/소스 보존, 에너지 국소화)을 "구조적" 입력(컴팩트성, 탐지기 안정성, 차트 가시성)으로부터 격리한다. 또한 다음과 같은 프레임워크를 제공한다:

1. PDE 생성 부분은 유한 창 회계 추정치임을 증명한다.
2. 구조적 부분은 특정 솔루션 클래스(예: 매끄러운 모델 또는 축소 모델)에 대해 검증되어야 할 명시적 가설으로 식별된다.
3. "감사-to-CKN" 분지는 조건부 가교를 제공한다: 만약 감사 거리(audit distance)가 CKN 거리에 의해 지배됨을 검증할 수 있다면, CKN-badness는 양의 감사 결함(audit defect)을 함의한다.

본 논문은 재귀적 감사 프레임워크가 스케인의 유한 체인을 분석하기 위한 도구라고 결론짓는다. 무한 체인 또는 전역 정칙성에 관한 결론을 내리기 위해서는 (여기서 증명되지는 않았으나 향후 과제로 식별된) 추가적인 균등 가설(예: 계수의 균등 양의 값, 오차의 합산 가능성)이 필요하다. 본 연구는 정칙성 정보를 전파하는 데 필요한 메커니즘의 작동 여부를 "유한 창" 관점에서 검증하며, 이러한 메커니즘이 모든 나비에-스토크스 해에 대해 보편적으로 성립한다고 주장하기보다는 그 경계를 명확히 하는 데 목적이 있다.