---
title: 3D Stationary Micropolar Fluid Equations
url: https://www.emergentmind.com/topics/3d-stationary-micropolar-fluid-equations
type: topic
---

# 3D Stationary Micropolar Fluid Equations

Searching arXiv for recent papers on 3D stationary micropolar fluid equations and related Liouville, existence, and fundamental-solution results.
The three-dimensional stationary micropolar fluid equations are a steady incompressible continuum model in which the usual macroscopic velocity field is coupled to a microrotation, or angular-velocity, field. In the cited literature, the system is treated on the whole space \(\mathbb{R}^3\), with unknowns typically denoted by \(u\) for velocity, \(\omega\) or \(w\) for microrotation, and \(p\) or \(\pi\) for pressure. It is studied both as a particular generalization of the usual Navier–Stokes system where the microrotations of the fluid particles must be taken into account, and as the zero-magnetic-field reduction of the stationary magneto-micropolar system [2306.04270], [2204.05759].

## 1. Governing formulations

A forced stationary micropolar system used in the whole-space analysis is
\[
A\,u-(u\cdot\nabla)u-\nabla p+V\,\omega+f=0,\qquad \operatorname{div}u=0,
\]
\[
A\,\omega+\nabla\operatorname{div}\omega-(u\cdot\nabla)\omega-K\,\omega+V\,u+g=0,
\]
where \(A=-\Delta\), \(V=\nabla\times\), \(K>0\) is a given viscosity parameter, \(f,g\) are distributional forces, \(u(x)\in\mathbb{R}^3\) is the fluid velocity, \(p(x)\in\mathbb{R}\) is the pressure, and \(\omega(x)\in\mathbb{R}^3\) is the microrotation field [2306.04270].

A normalized unforced form considered in recent Liouville theory is
\[
\begin{cases}
-\Delta u+(u\cdot\nabla)u+\nabla\pi=\tfrac12\,\mathrm{curl}\,\omega,\\[2mm]
-\Delta\omega+(u\cdot\nabla)\omega-\nabla(\operatorname{div}\omega)+\kappa\,\omega=\tfrac12\,\mathrm{curl}\,u,\\[2mm]
\operatorname{div}u=0,
\end{cases}
\]
with \(\kappa>0\) the vortex-viscosity parameter [2508.02449].

The stationary micropolar system also appears as the pure-fluid reduction of the stationary three-dimensional magneto-micropolar system. If one formally sets the magnetic field \(b\equiv0\), then
\[
\left\{
\begin{aligned}
-\Delta u+(u\cdot\nabla)u+\nabla\Pi&=\chi\,\nabla\times w,\\
-\gamma\,\Delta w+(u\cdot\nabla)w&=\nabla(\nabla\cdot w)+\chi\,\nabla\times u-2\chi\,w,\\
\nabla\cdot u&=0,
\end{aligned}
\right.
\]
which is precisely the classical stationary micropolar fluid system [2204.05759].

Across these formulations, the structural additions relative to stationary Navier–Stokes are the second vector field \(\omega\), the coupling terms \(V\omega\) in the momentum equation and \(Vu\) in the microrotation equation, and the terms \(\nabla\operatorname{div}\omega\) and \(K\omega\), or their equivalent normalized versions, in the angular-momentum balance [2306.04270].

## 2. Whole-space setting and solution classes

The stationary theory summarized in the cited works is formulated on \(\mathbb{R}^3\), with no boundary. Decay at infinity is encoded either by Sobolev and Lebesgue membership or by explicit vanishing assumptions [2306.04270].

For weak-solution existence, one seeks
\[
u,\omega\in H^1(\mathbb{R}^3)^3,\qquad p\in \dot H^1(\mathbb{R}^3),
\]
under
\[
f,g\in H^{-1}(\mathbb{R}^3)\cap H^{-2}(\mathbb{R}^3),\qquad \operatorname{div}f=0,
\]
while strong solutions occur when \(f,g\) are smooth or zero, and one shows ultimately \(u,\omega,p\in C^\infty(\mathbb{R}^3)\) [2306.04270].

For Liouville-type analysis, the principal setting is that of smooth entire solutions. One recent framework imposes
\[
u,\omega\in C^\infty(\mathbb{R}^3),\qquad \operatorname{div}u=0,\qquad \lim_{|x|\to\infty}u(x)=\lim_{|x|\to\infty}\omega(x)=0,
\]
and measures decay or growth at infinity by Lebesgue norms on dyadic annuli
\[
A_R=\{x\in\mathbb{R}^3: R<|x|<2R\},
\]
through the quantities
\[
X_{\alpha,p}(R)=R^{-\alpha}\|u\|_{L^p(A_R)},\qquad
Y_{\beta,q}(R)=R^{-\beta}\|\omega\|_{L^q(A_R)}.
\]
This annular formulation is central in the 2025 Liouville results [2508.02449].

A second whole-space framework uses potentials for the fields. In the magneto-micropolar setting, smooth solutions \((u,b,w,\Pi)\) are assumed to admit matrix-valued potentials \(\Phi,\Psi,\Upsilon\) with
\[
\nabla\cdot\Phi=u,\qquad \nabla\cdot\Psi=b,\qquad \nabla\cdot\Upsilon=w,
\]
together with a mean-oscillation bound on balls \(B_r\). This provides a BMO-type route to rigidity [2204.05759].

## 3. Existence and regularity

For the forced stationary problem in \(\mathbb{R}^3\), there exists at least one weak solution \((u,p,\omega)\) whenever \(f,g\in H^{-1}\cap H^{-2}\) and \(\operatorname{div}f=0\), with
\[
u,\omega\in H^1(\mathbb{R}^3),\qquad p\in \dot H^1(\mathbb{R}^3)
\]
[2306.04270].

The construction proceeds by mollifying the system with a cutoff \(\phi_R\) localizing to \(|x|\le 2R\) and an extra viscous term \(\varepsilon>0\), rewriting the mollified problem as a fixed-point equation
\[
U=T_{R,\varepsilon}(U),\qquad U=(u,\omega),
\]
in \(E\times E\), where \(E=H^1\cap H^2\) with the divergence-free constraint on \(u\). The cited proof checks continuity, compactness, and a uniform bound for all \(\lambda\)-scale-invariant solutions \(U=\lambda T_{R,\varepsilon}(U)\), applies Schaefer’s theorem, and then passes \(R\to\infty\) and \(\varepsilon\to0\) by weak and strong compactness [2306.04270].

The same work gives a regularity bootstrap. From the equation
\[
-\Delta p=\operatorname{div}\operatorname{div}(u\otimes u),
\]
one recovers \(p\in \dot H^1\) by product laws in Sobolev spaces. Applying the Leray projector to the momentum equation yields
\[
u = (-\Delta)^{-1}\bigl[P\,\operatorname{div}(u\otimes u)-P\,V\,\omega\bigr],
\]
so \(u\in \dot H^2\); then the \(\omega\)-equation yields \(\omega\in \dot H^2\), and iteration gives arbitrarily high Sobolev regularity, whence smoothness [2306.04270].

Within the summarized literature, these existence and regularity results are distinct from the Liouville theorems. The former guarantee solvability for forced data in natural Sobolev classes, while the latter identify conditions under which unforced entire stationary solutions must collapse to the trivial state.

## 4. Liouville-type rigidity

A central topic is the absence of nontrivial entire stationary solutions under suitable integrability, decay, or growth restrictions.

For the stationary magneto-micropolar system in \(\mathbb{R}^3\), smooth solutions are trivial under three classes of assumptions: first, a mean-oscillation growth condition on potentials \(\Phi,\Psi,\Upsilon\) for some exponent \(3<s\le 6\); second, global \(L^p(\mathbb{R}^3)\) membership of \(u,b,w\) for \(2\le p<9/2\); and third, global \(L^p(\mathbb{R}^3)\) membership for \(1\le p<9/4\) together with
\[
\lim_{|x|\to\infty}u(x)=\lim_{|x|\to\infty}b(x)=\lim_{|x|\to\infty}w(x)=0.
\]
In each case one obtains
\[
u\equiv b\equiv w\equiv 0.
\]
By setting \(b\equiv0\), the same statements apply to the pure stationary micropolar system [2204.05759].

For the stationary micropolar system itself, Chamorro–Llerena–Vergara-Hermosilla prove a Liouville-type uniqueness statement for weak solutions: if \(f=g=0\) and
\[
u\in L^q(\mathbb{R}^3),\qquad 3<q\le 9/2,
\]
then the only solution is
\[
u\equiv0,\qquad \omega\equiv0,\qquad p\equiv \text{constant}.
\]
Remarkably, no smallness or extra condition on \(\omega\) is required—only a single Lebesgue-decay condition on \(u\) [2306.04270].

A later annular-norm formulation sharpens the picture. For \(\kappa>\tfrac14\), if
\[
p\in[3,9/2],\quad q\in[1,\infty],\quad \alpha\in\Bigl[0,\frac3p-\frac23\Bigr],\quad \beta\ge0,
\]
and there exists a sequence \(R_j\to\infty\) such that
\[
X_{\alpha,p}(R_j)\to0,\qquad Y_{\beta,q}(R_j)<+\infty,
\]
then the only smooth solution is trivial. If
\[
p\in\Bigl(\frac32,3\Bigr),\quad q\in[1,\infty],\quad \alpha\in\Bigl[0,\frac2p-\frac13\Bigr],\quad \beta\ge0,
\]
and
\[
\liminf_{R\to\infty}\bigl(X_{\alpha,p}(R)+Y_{\beta,q}(R)\bigr)<\infty,
\]
with the endpoint condition specified in the statement, then again \(u\equiv\omega\equiv0\). The corresponding corollary states that if
\[
u\in L^p(\mathbb{R}^3),\qquad \omega\in L^q(\mathbb{R}^3),\qquad p\in\Bigl(\frac32,\frac92\Bigr],\quad q\in[1,\infty],
\]
then any smooth solution of the stationary micropolar system must be trivial [2508.02449].

A recurrent issue in this literature is whether the additional microrotation field permits new entire steady states in \(\mathbb{R}^3\). The cited Liouville theorems show that, under the stated whole-space decay, integrability, or mean-oscillation hypotheses, it does not.

## 5. Analytical methods

The proofs of the rigidity results follow a localized energy strategy. In the magneto-micropolar setting, one chooses a large ball \(B_R\), a smooth cutoff \(\varphi\), and tests the equations by
\[
u\varphi^2-W_R,\qquad b\varphi^2,\qquad w\varphi^2,
\]
where \(W_R\) solves
\[
\nabla\cdot W_R=\nabla\cdot(\varphi^2u)
\]
in an annular shell. Integration by parts cancels the pressure term through the divergence correction, and the nonlinear and coupling terms are estimated by Hölder and Young inequalities. One then applies an iteration lemma of Giaquinta type to an inequality for the localized Dirichlet integral, and finally lets \(R\to\infty\) [2204.05759].

Two auxiliary tools are singled out in that analysis. One is a solenoidal extension lemma: if \(f\in L^p(\Omega)\) has zero mean, then there exists \(v\in W^{1,p}_0(\Omega;\mathbb{R}^3)\) with \(\nabla\cdot v=f\) and \(\|\nabla v\|_{L^p}\le C\|f\|_{L^p}\). The other is a mean-oscillation estimate for vector fields possessing a potential \(F\) whose oscillation satisfies the ball-growth condition
\[
\Bigl(|B_r|^{-1}\!\int_{B_r}|F-F_{B_r}|^s\Bigr)^{1/s}\lesssim r^{\frac13-\frac1s},\qquad 3<s\le 6.
\]
These tools convert potential growth assumptions into \(L^2\) and \(L^3\) control for the fields [2204.05759].

In the 2025 micropolar analysis, the method is again a localized energy-iteration scheme, but with a Bogovskiĭ corrector on thin annuli and a specifically defined energy profile
\[
f(\rho)=\int_{B_\rho}\bigl(|\nabla u|^2+|\nabla\omega|^2+|\operatorname{div}\omega|^2+|\omega|^2\bigr)\,dx
+\|u\|_{L^6(B_\rho)}^2+\|\omega\|_{L^6(B_\rho)}^2.
\]
From testing by \(u\eta^2-v\) and \(\omega\eta^2\), one obtains
\[
f(s)\le \tfrac12 f(t)+\sum_{i=1}^4 J_i.
\]
The proof then relies on a novel combination of two different interpolation inequalities to estimate the microrotation and mixed terms. In particular, the paper states that it allows the \(L^q\)-norm of the angular velocity on the annuli to grow polynomially at any degree [2508.02449].

These methods collectively illustrate a characteristic analytic pattern for stationary micropolar systems: pressure elimination by divergence correction, localized energy testing, annular interpolation, and an iteration lemma in the spirit of Giaquinta.

## 6. Linearized steady singular solutions and broader significance

The steady theory also includes explicit fundamental solutions for linearized three-dimensional incompressible micropolar flow. In the Oseen setting with a uniform background velocity \(U_\infty e_1\), the linearized equations are
\[
\nabla\cdot u=0,
\]
\[
\rho\,(U_\infty\cdot\nabla)u=-\nabla p+(\mu+\kappa)\nabla^2u+\kappa\,\nabla\times\omega+F\,\delta(x),
\]
\[
\rho J\,(U_\infty\cdot\nabla)\omega=-2\kappa\,\omega+\gamma\,\nabla^2\omega+\kappa\,\nabla\times u+C\,\delta(x),
\]
with \(F\delta(x)\) a point force and \(C\delta(x)\) a point couple. In the pure Stokes limit \(U_\infty\to0\), the convective terms drop out [1402.5023].

Explicit three-dimensional steady Green-type singularities derived in this framework include the micropolar Stokeslet, the micropolar Stokes couplet, the micropolar Oseenlet, and the micropolar Oseen couplet. These fundamental solutions do not exist in Newtonian flow due to the absence of microrotation velocity field. They satisfy the equations away from the origin, reproduce the required delta-singularity, and in the Stokes case decay at least as fast as \(O(r^{-2})\) at infinity [1402.5023].

This linearized theory complements the nonlinear Liouville results. The Green-function constructions demonstrate that steady micropolar flow admits distinctive singular responses to point forcing and point couples, while the whole-space Liouville theorems show that smooth entire solutions with suitable decay or integrability are forced to be trivial. A plausible implication is that the stationary three-dimensional micropolar theory separates sharply between singularly forced linear responses and globally decaying nonlinear equilibria.

The cited works also make the comparison with classical stationary Navier–Stokes explicit. The micropolar system augments Navier–Stokes by the angular-velocity equation and coupling terms, yet the whole-space rigidity theorems show that the microrotation equation does not introduce new non-trivial entire-space steady solutions under the same or closely related decay ranges [2306.04270]. In that sense, the stationary micropolar equations retain the classical Liouville theme while introducing substantially richer PDE structure.

Source: https://www.emergentmind.com/topics/3d-stationary-micropolar-fluid-equations