강제 나비에 스토크스 방정식의 정량적 추정과 국소 오리클즈 발산 기준 적용

초록

본 논문은 강제 나비에-스토크스(NSE) 방정식에 대한 정량적 정규성 추정식을 새롭게 구축하고, 이를 이용해 3차원 Navier‑Stokes 방정식의 약간 초임계 오리클즈(Orlicz) 발산 기준을 국소화한다. 또한, 강제항을 포함한 Boussinesq 방정식에 대해 임계 L³ 노름의 발산 속도를 정량적으로 제시한다. 핵심 기법은 Carleman 부등식에 강제항을 포함시키고, 저정규성 강제항을 다루기 위해 Caccioppoli‑형 추정과 공간 집중법을 결합한 것이다.

상세 분석

이 연구는 두 가지 주요 난관을 극복한다. 첫째, 기존 Tao(2021)와 BP(2021)의 정량적 정규성 추정은 무강제 상황에만 적용 가능했으며, Carleman 부등식 사용 시 강제항이 큰 스케일에서 증폭되는 문제가 있었다. 저자들은 강제항 F를 L²_t H¹_x ∩ L⁶_{t,x}에 놓고, 이 공간이 스케일에 대해 서브크리티컬임을 이용해 강제항이 Carleman 부등식에 미치는 영향을 정밀히 추정한다. 구체적으로, 첫 번째 Carleman 부등식(대규모 Gaussian 하한)과 두 번째 Carleman 부등식(역방향 유일성) 각각에 나타나는 추가 항
(T e^{C’ M R^{2}T}|\nabla\times F|{L^{2}}^{2})
를, 강제항의 L⁶{t,x} 노름이 충분히 작을 경우 R의 상한을 제한함으로써 무시할 수 있게 만든다. 이는 “정규성의 고리(annulus of regularity)”를 정의하고, 그 안에서만 Carleman 부등식을 적용함으로써 가능해졌다.

둘째, 강제항이 낮은 정규성을 가짐에도 불구하고 고차 미분(∇²v 등)의 정량적 제어가 필요했다. 이를 위해 저자들은 Caccioppoli‑형 에너지 추정을 도입해, 강제항이 포함된 영역에서도 ∇v와 ω(와류)의 L²‑에너지와 L⁴‑에너지 사이의 관계를 확보한다. 이러한 추정은 공간 집중 방법(spatial concentration method)과 결합돼, 와류 집중 현상이 발생하는 시점 t₀에서의 하한
(\int_{B(0, M c(-t₀)^{1/2})} |\omega|^{2} \ge M - c\sqrt{-t₀})
을 이용해 t=0 시점의 Gaussian 하한을 얻는다. 결과적으로, 정량적 정규성 추정식
(|v|_{L^{\infty}_t L^{3}x} \le M ;\Rightarrow; |v(\cdot,t)|{L^{\infty}} \le t^{-1/2}\exp!\exp!\exp(CM))
이 강제항이 포함된 경우에도 성립한다.

이 정량적 추정을 바탕으로 두 가지 응용을 제시한다. 첫 번째는 약간 초임계 Orlicz 노름
(\int_{B_\delta(x^)} |v|^{3}\bigl(\log\log\log(|v|^{3}+e^{e^{3}})\bigr)^{-\theta})
의 발산을 국소적으로 증명한 정리 A이다. 기존 전역 결과는 Bogovskii 절단과 전역 L⁴‑에너지에 의존했으나, 여기서는 강제항을 포함한 국소 Carleman 부등식과 Caccioppoli 추정으로 동일한 발산을 얻는다. 두 번째 응용은 Boussinesq 방정식에 대한 정량적 L³ 발산 속도 정리 B이다. 온도 θ가 강제항 F=θe₃을 제공하므로, θ의 L²_t H¹_x ∩ L⁶_{t,x} 제어를 통해 강제항을 충분히 작게 만들 수 있다. 따라서 Navier‑Stokes에 대한 정량적 정규성 추정을 그대로 적용해,
(\limsup_{t\to T^}|v(\cdot,t)|_{L^{3}},\log\log\log\frac{1}{T^*-t}=+\infty)
를 얻는다. 이는 Tao가 제시한 정량적 발산 속도의 3중 로그 형태와 일치한다.

전체적으로, 이 논문은 강제항이 존재하는 상황에서도 Carleman 부등식 기반의 정량적 정규성 이론을 확장함으로써, 국소 발산 기준과 물리적 연계 시스템(Boussinesq) 모두에 적용 가능한 새로운 도구를 제공한다. 이는 향후 강제 비선형 파라볼릭 시스템의 정규성·발산 연구에 중요한 전환점이 될 것으로 기대된다.