[논문 리뷰] Global Well-posedness for The 2D Boussinesq System Without Heat Diffusion and With Either Anisotropic Viscosity or Inviscid Voigt-$α$ Regularization

Adam Larios, Evelyn Lunasin외 1명|arXiv (Cornell University)|2010. 10. 25.

Navier-Stokes equation solutions참고 문헌 36인용 수 31

한 줄 요약

이 논문은 열확산이 없는 2D Boussinesq 시스템에 대해 두 가지 설정에서 전역 적으로 잘 정의됨을 확립한다: (1) 이방성 점성(수평 방향에서만 점성), (2) 점성 없는 Voigt-α 정규화. 새로운 고유성 증명 기법을 도입하여 Yudovich 유형 기법과 변환 θ = Δξ를 사용하고, 파라프로덕트 미적분을 피함으로써 고유성 증명을 새롭게 구성한다. 주요 기여는 초기 자료에 대한 최소한의 정규성 가정으로 전역 존재성과 고유성을 확보하는 것으로, Voigt 정규화를 통한 새로운 폭발 기준이 포함된다.

ABSTRACT

We establish global existence and uniqueness theorems for the two-dimensional non-diffusive Boussinesq system with viscosity only in the horizontal direction, which arises in Ocean dynamics. This work improves the global well-posedness results established recently by R. Danchin and M. Paicu for the Boussinesq system with anisotropic viscosity and zero diffusion. Although we follow some of their ideas, in proving the uniqueness result, we have used an alternative approach by writing the transported temperature (density) as $θ= Δξ$ and adapting the techniques of V. Yudovich for the 2D incompressible Euler equations. This new idea allows us to establish uniqueness results with fewer assumptions on the initial data for the transported quantity $θ$. Furthermore, this new technique allows us to establish uniqueness results without having to resort to the paraproduct calculus of J. Bony. We also propose an inviscid $α$-regularization for the two-dimensional inviscid, non-diffusive Boussinesq system of equations, which we call the Boussinesq-Voigt equations. Global regularity of this system is established. Moreover, we establish the convergence of solutions of the Boussinesq-Voigt model to the corresponding solutions of the two-dimensional Boussinesq system of equations for inviscid flow without heat (density) diffusion on the interval of existence of the latter. Furthermore, we derive a criterion for finite-time blow-up of the solutions to the inviscid, non-diffusive 2D Boussinesq system based on this inviscid Voigt regularization. Finally, we propose a Voigt-$α$ regularization for the inviscid 3D Boussinesq equations with diffusion, and prove its global well-posedness. It is worth mentioning that our results are also valid in the presence of the $β$-plane approximation of the Coriolis force.

연구 동기 및 목표

• 초기 온도에 대한 더 적은 가정으로, 수평 방향에서만 점성이 있는 2D 비확산 Boussinesq 시스템에 대해 전역 존재성과 고유성을 확립함으로써 이전 결과를 향상시키는 것.
• θ = Δξ로 설정함으로써 Yudovich의 방법을 2D Euler 방정식에 적응시키고, 파라프로덕트 미적분에 의존하지 않는 새로운 고유성 증명 기법을 개발하는 것.
• 비점성 α-정규화된 비확산 2D Boussinesq 시스템인 Boussinesq-Voigt 모델을 도입하고 분석하여, 그 전역 정칙성을 증명하는 것.
• Voigt 정규화된 모델의 해 수렴성을 바탕으로 원래의 비점성, 비확산 2D Boussinesq 시스템에 대한 유 end 시간 폭발 기준을 유도하는 것.
• Voigt 정규화 접근법을 확산이 있는 3D Boussinesq 방정식에 적용하여, 그 경우에도 전역 적으로 잘 정의됨을 증명하는 것.

제안 방법

• 2D 비확산 Boussinesq 시스템에 대한 비점성 α-정규화로 Boussinesq-Voigt 방정식을 도입하여, 운동량 방정식에 −α²Δu 항을 수정함.
• θ = Δξ 변환을 통해 온도 방정식을 스트림기능 유사 변수로 재구성함으로써 Yudovich 유형 에너지 추정의 적용 가능성을 확보함.
• 두 해의 차이에 대해 Grönwall 부등식을 적용하고, 속도와 변환된 온도 변수 ξ의 에너지 추정을 조합하여 고유성을 증명함.
• 온도에 대해 L^p 및 L^∞ 공간에서 사전 추정을 사용하며, 정규화 매개수 α에 독립적인 유계성 확보.
• Hopf-Stampacchia 기법과 Brezis-Gallouët 유형 부등식을 사용하여, α → 0 극한에서 속도와 온도의 L^∞ 노름을 제어함.
• Voigt 정규화된 시스템의 해가 원래 시스템의 고전적 해 존재 간격 내에서 α → 0일 때 수렴함을 확립함.

실험 결과

연구 질문

• RQ1 초기 온도에 대해 최소한의 정규성 조건을 가정할 때, 수평 방향에서만 점성이 있는 2D 비확산 Boussinesq 시스템에 대해 전역 적으로 잘 정의됨을 확보할 수 있는가?
• RQ2 파라프로덕트 미적분을 피하고 Yudovich 유형의 접근법 및 θ = Δξ 변환에 의존하는 새로운 고유성 증명 기법을 개발할 수 있는가?
• RQ3 Voigt 정규화된 Boussinesq 시스템(Boussinesq-Voigt)은 전역 해를 가지며, α → 0일 때 그 해가 원래 시스템의 고전적 해로 수렴하는가?
• RQ4 Voigt 정규화 프레임워크를 사용하여 원래의 비점성, 비확산 2D Boussinesq 시스템에 대한 끝없는 시간 폭발 기준을 도출할 수 있는가?
• RQ5 확산이 있는 3D Boussinesq 방정식에 Voigt 정규화를 적용할 경우, 전역 적으로 잘 정의됨이 유지되는가?

주요 결과

• 이방성 점성(ν_x > 0, κ = 0)이 있는 2D 비확산 Boussinesq 시스템에 대해, θ₀ ∈ L^∞일지라도 더 높은 소볼레프 정규성 조건이 필요 없이 전역 존재성과 고유성이 확립됨.
• θ = Δξ 변환과 Yudovich 방법을 사용함으로써 파라프로덕트 미적분을 피한 고유성 증명이 가능해져, 초기 자료에 대한 더 약한 가정이 가능해짐.
• Boussinesq-Voigt 모델(P^α_{0,0})은 모든 α > 0에 대해 전역적으로 잘 정의됨으로써, 시간과 공간 노름에서 α에 독립적인 균일한 유계성이 확보됨.
• Boussinesq-Voigt 모델의 해는 원래 2D 비확산 시스템의 고전적 해 존재 간격 내에서 α → 0일 때 원래 시스템의 해로 수렴함.
• 끝없는 시간 폭발 기준이 도출됨: ∇θ의 L^∞ 노름이 너무 빨리 증가하면 원래 시스템이 폭발할 수 있으며, 이는 Voigt 정규화된 시스템을 통해 감지 가능함.
• Voigt 정규화 접근법은 확산이 있는 3D Boussinesq 방정식로 확장되어, 그 경우에도 정규화된 시스템에 대해 전역 적으로 잘 정의됨을 증명함.