Table of Contents
Fetching ...

Local-in-time well-posedness for 2D compressible magneto-micropolar boundary layer in Sobolev spaces

Yuming Qin, Junchen Liu

TL;DR

The paper establishes local-in-time well-posedness for the 2D compressible magneto-micropolar boundary layer on the half-plane in Sobolev spaces by reformulating the problem to overcome derivative loss in the tangential direction. A stream function is used to couple the magnetic field components, and a nonlinear coordinate transform yields a Prandtl-type system in reformulated variables, enabling energy methods. A Picard iteration with uniform Sobolev estimates and a compactness argument yields a unique local solution, which is then mapped back to the original variables to prove existence for the boundary-layer equations. The approach hinges on non-degeneracy of the initial tangential magnetic field and careful control of boundary terms through symmetric matrices and energy estimates. Overall, the work extends the boundary-layer well-posedness theory to a compressible magneto-micropolar setting in Sobolev spaces without monotonicity assumptions on the tangential fields.

Abstract

In this paper, we study the two-dimensional compressible magneto-micropolar boundary layer equations on the half-plane, which are derived from 2D compressible magneto-micropolar fluid equations with the non-slip boundary condition on velocity, Dirichlet boundary condition on micro-rotational velocity and perfectly conducting boundary condition on magnetic field. Based on a nonlinear coordinate transformation proposed in \cite{LXY2019}, we first prove the local-in-time well-posedness for the compressible magneto-micropolar boundary layer system in Sobolev spaces, provided that initial tangential magnetic field is non-degenerate.

Local-in-time well-posedness for 2D compressible magneto-micropolar boundary layer in Sobolev spaces

TL;DR

The paper establishes local-in-time well-posedness for the 2D compressible magneto-micropolar boundary layer on the half-plane in Sobolev spaces by reformulating the problem to overcome derivative loss in the tangential direction. A stream function is used to couple the magnetic field components, and a nonlinear coordinate transform yields a Prandtl-type system in reformulated variables, enabling energy methods. A Picard iteration with uniform Sobolev estimates and a compactness argument yields a unique local solution, which is then mapped back to the original variables to prove existence for the boundary-layer equations. The approach hinges on non-degeneracy of the initial tangential magnetic field and careful control of boundary terms through symmetric matrices and energy estimates. Overall, the work extends the boundary-layer well-posedness theory to a compressible magneto-micropolar setting in Sobolev spaces without monotonicity assumptions on the tangential fields.

Abstract

In this paper, we study the two-dimensional compressible magneto-micropolar boundary layer equations on the half-plane, which are derived from 2D compressible magneto-micropolar fluid equations with the non-slip boundary condition on velocity, Dirichlet boundary condition on micro-rotational velocity and perfectly conducting boundary condition on magnetic field. Based on a nonlinear coordinate transformation proposed in \cite{LXY2019}, we first prove the local-in-time well-posedness for the compressible magneto-micropolar boundary layer system in Sobolev spaces, provided that initial tangential magnetic field is non-degenerate.

Paper Structure

This paper contains 10 sections, 8 theorems, 140 equations.

Key Result

Theorem 1.1

Suppose the outflow $(U, I, H, P)(t, x)$ in the equations berlaw is smooth, and the initial data $(u_{1,0},w_{1,0}, h_{1,0})(x,y)$ are smooth, compatible with the boundary condition and satisfy for $t\in[0,T], (x,y)\in\mathbb{T}\times\mathbb{R}_+$ with some constant $\delta>0$. Then there exists $0< T_{*} \leq T$ such that the initial-boundary value problem 1 mm boundary layer admits a unique cl

Theorems & Definitions (12)

  • Theorem 1.1
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • Theorem 3.1
  • Remark 3.2
  • Lemma 3.3
  • proof
  • Lemma 3.4
  • proof
  • ...and 2 more