임계 드리프트를 가진 변형 스톡스 시스템의 존재와 정규성

초록

본 논문은 유계 Lipschitz 영역에서 발산이 0인 임계 공간 Lⁿ,∞에 속하는 드리프트 b를 포함한 변형 스톡스 방정식의 존재성과 L^q gradient 추정치를 연구한다. b가 Lⁿ에 속하거나 Lⁿ,∞에서 충분히 작을 때는 전역적인 W^{1,q}‑해와 압력 π의 L^q 추정이 얻어지며, b의 크기에 제한을 두지 않을 경우에도 q가 2에 근접한 구간에서 동일한 결과를 확보한다.

상세 분석

논문은 먼저 b∈Lⁿ(Ω)ⁿ, div b=0인 경우와 b∈Lⁿ,∞(Ω)ⁿ, ‖b‖_{Lⁿ,∞}가 충분히 작은 경우를 각각 Proposition 1.3과 Theorem 1.4로 다룬다. 두 결과는 기존 스칼라 방정식(−Δu+∇·(ub)=div F)에서 알려진 “sub‑critical” 기법을 그대로 벡터형 스톡스 시스템에 적용한 것으로, 핵심은 b·∇u 항을 W^{−1,q}에서 적절히 추정하고, 압력 항은 Lemma 2.6을 이용해 L^q 공간으로 복원하는 데 있다. 여기서 Lipschitz 상수 L이 충분히 작아야 하는 이유는 Stokes 연산자의 L^q‑정규성(Theorem 2.7)이 도메인 형태에 민감하기 때문이다.

가장 혁신적인 부분은 Theorem 1.5이다. b∈Lⁿ,∞(Ω)ⁿ, div b=0이면서 ‖b‖_{Lⁿ,∞}가 크더라도, Lipschitz 상수 L<½이면 q∈(p₀′,p₀) (p₀>2, b의 크기에 의존) 구간에서 전역적인 W^{1,q}‑해와 압력의 L^q 추정이 가능함을 보인다. 증명은 Gehring‑type 역 Hölder 불평등을 기반으로 하며, 핵심은 Wolf가 제시한 “local pressure projection”을 이용해 압력 항을 비가역적인 형태로 분리하는 것이다. 구체적으로, 테스트 함수 f(|u|)u ζ를 사용해 에너지 부등식을 유도하고, b·∇u 항은 divergence‑free 성질을 이용해 적분 부분에서 사라지게 만든다. 이후 Caccioppoli 부등식과 역 Hölder 불평등을 반복 적용해 L^2‑에너지에서 L^q‑에너지로 끌어올린다. 이 과정에서 b의 임계성 때문에 Lⁿ,∞‑노름이 작은 경우와 달리, 작은 구간의 q만 보장되는 것이 자연스럽다.

또한, Proposition 1.6은 스칼라 방정식(1.6),(1.7)에 대한 유사한 결과를 제시한다. 여기서는 div b≥0라는 약한 가정만으로도 동일한 p₀>2를 얻으며, 이는 Kwon의 방법을 확장한 것이다. 전체적으로 논문은 기존의 “small‑drift” 가정에서 벗어나, 임계 드리프트가 큰 경우에도 부분적인 정규성을 확보하는 새로운 기술을 제공한다. 특히 압력 항을 다루는 Wolf의 로컬 프로젝션은 벡터형 비선형 PDE에서 거의 사용되지 않았던 도구로, 향후 Navier‑Stokes와 같은 비선형 시스템의 정규성 연구에 중요한 전환점이 될 가능성이 있다.