In the paper \cite{KNSS:1}, the authors make the following conjecture: {\it any bounded ancient mild solution of the 3D axially symmetric Navier-Stokes equations is constant.} And it is proved in the case that the solution is swirl free. Our purpose of this paper is to improve their result by allowing that the solution can grow with a power smaller than 1 with respect to the distance to the origin. Also, we will show that such a power is optimal to prove the Liouville type theorem since we can find counterexamples for the Navier-Stokes equations such that the Liouville theorem fails if the solution can grow linearly.
In this note, we investigate the 3D steady axially symmetric Navier-Stokes equations, and obtained Liouville type theorems if the velocity or the vorticity satisfies some a priori decay assumptions.
We study axially symmetric $D$-solutions of three dimensional steady Navier-Stokes equations. We prove that if the velocity $u$ decays like $|x'|^{-(\frac{2}{3})^+}$ uniformly for $z$, or the vorticity $ω$ decays like $|x'|^{-(\frac{5}{3})^+}$ uniformly for $z$, then $u$ vanishes. Here $|x'|$ denotes the distance to the axis.
The axially symmetric solutions to the Navier-Stokes equations in a periodic cylinder with boundary slip conditions on the lateral part of its boundary are considered. A priori estimates for solutions with large swirl necessary for a proof of global regular solutions are derived.
In the present paper, we prove a sufficient condition of local regularity for suitable weak solutions to the Navier-Stokes equations having axial symmetry. Our condition is an axially symmetric analog of the so-called $L_{3,\infty}$-case in the general local regularity theory.
We study the nonhomogeneous boundary value problem for the Navier--Stokes equations of steady motion of a viscous incompressible fluid in a three--dimensional exterior domain with multiply connected boundary. We prove that this problem has a solution for axially symmetric domains and data (without any smallness restrictions on the fluxes).
The existence of global regular axially symmetric solutions to the Navier-Stokes equations in a bounded cylinder is proved. The main step in the proof is a proof of the Holder continuity of the swirl. This gives a possibility to prove global a priori estimate for regular solutions. Then a local solution can be extended step by step in time.
We show that if v is an axially symmetric suitable weak solution to the Navier Stokes equations (in the sense of L. Caffarelli, R. Kohn & L. Nirenberg) such that the radial component of v has a higher regularity (i.e. satisfies weighted Serrin-Prodi type condition), then all components of v are regular.
Axially symmetric solutions to the Navier-Stokes equations in a bounded cylinder are considered. On the boundary the normal component of the velocity and he angular components of the velocity and vorticity are assumed to vanish. If the norm of the initial swirl is sufficiently small, then the regularity of axially symmetric, weak solutions is shown. The key tool is a new estimate for the stream function in certain weighted Sobolev spaces.
A domain in $\mathbb{R}^3$ that touches the $x_3$ axis at one point is found with the following property. For any initial value in a $C^2$ class, the axially symmetric Navier Stokes equations with Navier slip boundary condition has a finite energy solution that stays bounded for any given time, i.e. no finite time blow up of the fluid velocity occurs. The result seems to be the first case where the Navier-Stokes regularity problem is solved beyond dimension 2.
Global regular axially symmetric solutions with large swirl in a cylinder with periodic conditions on the top and on the bottom are proved. On the lateral part of its boundary the boundary slip conditions are assumed. The proof is obtained step by step extending a local solution and showing that the initial data are not increasing.
Two main results will be presented in our paper. First, we will prove the regularity of solutions to axially symmetric Navier-Stokes equations under a $log$ supercritical assumption on the horizontally radial component $u^r$ and vertical component $u^z$, accompanied by a $log$ subcritical assumption on the horizontally angular component $u^θ$ of the velocity. Second, the precise Green function for the operator $-(Δ-\frac{1}{r^2})$ under the axially symmetric situation, where $r$ is the distance to the symmetric axis, and some weighted $L^p$ estimates of it will be given. This will serve as a t…
In this paper, we consider the Liouville property for ancient solutions of the incompressible Navier-Stokes equations. In 2D and the 3D axially symmetric case without swirl, we prove sharp Liouville theorems for smooth ancient mild solutions: velocity fields $v$ are constants if vorticity fields satisfy certain condition and $v$ are sublinear with respect to spatial variables, and we also give counterexamples when $v$ are linear with respect to spatial variables. The condition which vorticity fields need to satisfy is $\lim\limits_{|x|\rightarrow +\infty}|w(x,t)|=0$ and $\lim\limits_{r\rightar…
We investigate the decay properties of smooth axially symmetric D-solutions to the steady Navier-Stokes equations. The achievements of this paper are two folds. One is improved decay rates of $u_þ$ and $\na {\bf u}$, especially we show that $|u_þ(r,z)|\leq c\left(\f{\log r}{r}\right)^{\f 12}$ for any smooth axially symmetric D-solutions to the Navier-Stokes equations. These improvement are based on improved weighted estimates of $\om_þ$, integral representations of ${\bf u}$ in terms of $\bm{\om}=\textit{curl }{\bf u}$ and $A_p$ weight for singular integral operators, which yields good decay e…
Smooth solutions to the axially symmetric Navier-Stokes equations obey the following maximum principle:$\|ru_θ(r,z,t)\|_{L^\infty}\leq\|ru_θ(r,z,0)\|_{L^\infty}.$ We first prove the global regularity of solutions if $\|ru_θ(r,z,0)\|_{L^\infty}$ or $ \|ru_θ(r,z,t)\|_{L^\infty(r\leq r_0)}$ is small compared with certain dimensionless quantity of the initial data. This result improves the one in Zhen Lei and Qi S. Zhang \cite{1}. As a corollary, we also prove the global regularity under the assumption that $|ru_θ(r,z,t)|\leq\ |\ln r|^{-3/2},\ \ \forall\ 0<r\leqδ_0\in(0,1/2).$
Let $v$ be the velocity of Leray-Hopf solutions to the axially symmetric three-dimensional Navier-Stokes equations. Under suitable conditions for initial values, we prove the following a priori bound \[ |v(x, t)| \le \frac{C}{r^2} |\ln r|^{1/2}, \]where $r \in (0, 1/2)$ is the distance from $x$ to the z axis, and $C$ is a constant depending only on the initial value. This provides a pointwise upper bound (worst case scenario) for possible singularities while the recent papers \cite{CSTY2} and \cite{KNSS} gave a lower bound. The gap is polynomial order 1 modulo a half log term.
In this paper we study Liouville properties of smooth steady axially symmetric solutions of the Navier-Stokes equations. First, we provide another version of the Liouville theorem of \cite{kpr15} in the case of zero swirl, where we replaced the Dirichlet integrability condition by mild decay conditions. Then we prove some Liouville theorems under the assumption $\|\f{u_r}{r}{\bf 1}_{\{u_r< -\f 1r\}}\|_{L^{3/2}(\mbR^3)}< C_{\sharp}$ where $C_{\sharp}$ is a universal constant to be specified. In particular, if $u_r(r,z)\geq -\f1r$ for $\forall (r,z)\in[0,\oo)\times\mbR$, then ${\bf u}\equiv 0$. …
Let $v(x, t)= v^r e_r + v^θe_θ+ v^z e_z$ be a solution to the three-dimensional incompressible axially-symmetric Navier-Stokes equations. Denote by $b = v^r e_r + v^z e_z$ the radial-axial vector field. Under a general scaling invariant condition on $b$, we prove that the quantity $Γ= r v^θ$ is Hölder continuous at $r = 0$, $t = 0$. As an application, we give a partial proof of a conjecture on Liouville property by Koch-Nadirashvili-Seregin-Sverak in \cite{KNSS} and Seregin-Sverak in \cite{SS}. As another application, we prove that if $b \in L^\infty([0, T], BMO^{-1})$, then $v$ is regular. Th…
In this paper, we derive asymptotic properties of both the velocity and the vorticity fields to the 3-dimensional axially symmetric Navier-Stokes equations at infinity under the generalized D-solution assumption $\int_{\mathbb{R}^3}|\nabla u|^qdx<\infty$ for $2<q<\infty$. We do not impose any zero or nonzero constant vector asymptotic assumption on the solution at infinity. Our results generalize those in \cite{CJ:2009JMFM,Ws:2018JMFM,CPZ2018} where the authors focused on the case $q=2$ and the velocity field approaches zero at infinity. Meanwhile, when $q\to 2_+$ and the velocity field approa…
We study axially symmetric D-solutions of the 3 dimensional Navier-Stokes equations. The first result is an a priori decay estimate of the velocity for general domains. The second is an a priori decay estimate of the vorticity in $\bR^3$, which improves the corresponding results in the literature. In addition, we prove a similar decay of full 3d solutions except for a small set of angles. Next we turn to D-solutions which are periodic in the third variable and prove vanishing result under a reasonable condition. As a corollary we prove that axially symmetric D-solutions in the slab $\bR^2 \tim…
In this paper, we investigate the 3D inhomogeneous Navier-Stokes flows with vacuum, and obtain regularity criteria and Liouville type theorems in the Lorentz space if a smooth solution $(ρ, \mathbf{u})$ satisfies suitable conditions.
Liouville type theorems for the stationary Navier-Stokes equations are proven under certain assumptions. These assumptions are motivated by conditions that appear in Liouvile type theorems for the heat equations with a given divergence free drift.
A Liouville type theorem is proven for the steady-state Navier-Stokes equations. It follows from the corresponding theorem on the Stokes equations with the drift. The drift is supposed to belong to a certain Morrey space.
An old problem asks whether bounded mild ancient solutions of the 3 dimensional Navier-Stokes equations are constants. While the full 3 dimensional problem seems out of reach, in the works \cite{KNSS, SS09}, the authors expressed their belief that the following conjecture should be true. For incompressible axially-symmetric Navier-Stokes equations (ASNS) in three dimensions: \textit{bounded mild ancient solutions are constant}. Understanding of such solutions could play useful roles in the study of global regularity of solutions to the ASNS. In this article, we essentially prove this conjectur…
Let $v$ be the velocity of Leray-Hopf solutions to the axially symmetric three-dimensional Navier-Stokes equations. It is shown that $v$ is regular if the angular velocity $v_θ$ satisfies an integral condition which is critical under the standard scaling. This condition allows functions satisfying \[ |v_θ(x, t)| \le \frac{C}{r |\ln r|^{2+ε}}, \quad r<1/2, \] where $r$ is the distance from $x$ to the axis, $C$ and $ε$ are any positive constants. Comparing with the critical a priori bound \[ |v_θ(x, t)| \le \frac{C}{r}, \qquad 0< r \le 1/2, \]our condition is off by the log factor $|\ln r|^{2+ε}…
Our aim is to prove Liouville type theorems for the three dimensional steady-state Navier-Stokes equations provided the velocity field belongs to some Lorentz spaces. The corresponding statement contains several known results as a particular case.
It is shown that any smooth solution to the stationary Navier-Stokes system in $R^3$ with the velocity field, belonging globally to $L_6$ and $BM0^{-1}$, must be zero.
We prove Liouville type theorems for the self-similar solutions to the Navier-Stokes equations. One of our results generalizes the previous ones by Nečas-Ružička-Šverak and Tsai. Using the Liouville type theorem we also remove a scenario of asymtotically self-similar blow-up for the Navier-Stokes equations with the profile belonging to $L^{p, \infty} (\Bbb R^3)$ with $p> \frac{3}{2}$.
In this paper we study the Liouville type problem for the stationary Navier-Stokes equations in $\Bbb R^3$. We deduce an asymptotic formula for an integral involving the head pressure, $Q=\frac12 |v|^2 +p$, and its derivative over domains enclosed by level surfaces of $Q$. This formula provides us with new sufficient condition for the triviality of solution to the Navier-Stokes equations.
The problem for the stationary Navier-Stokes equation in 3D under finite Dirichlet norm is open. In this paper we answer the analogous question on the 3D hyperbolic space. We also address other dimensions and more general manifolds.
Uniqueness of Leray solutions of the 3D Navier-Stokes equations is a challenging open problem. In this article we will study this problem for the 3D stationary Navier-Stokes equations and under some additional hypotheses, stated in terms of Lebesgue and Morrey spaces, we will show that the trivial solution U = 0 is the unique solution. This type of results are known as Liouville theorems.
Liouville type of theorems play a key role in the blow-up approach to study the global regularity of the three-dimensional Navier-Stokes equations. In this paper, we will prove Liouville type of theorems to the 3-D axisymmetric Navier-Stokes equations with swirls under some suitable assumptions on swirl component velocity $u_θ$ which are scaling invariant. It is known that $ru_θ$ satisfies the maximum principle. The assumptions on $u_θ$ will be natural and useful to make further studies on the global regularity to the three-dimensional incompressible axisymmetric Navier-Stokes equations.
The Liouville problem for the stationary Navier-Stokes equations on the whole space is a challenging open problem who has know several recent contributions. We prove here some Liouville type theorems for these equations provided the velocity field belongs to some Lorentz spaces and then in the more general setting of Morrey spaces. Our theorems correspond to a improvement of some recent result on this problem and contain some well-known results as a particular case.
We establish a Liouville type result for a backward global solution to the Navier-Stokes equations in the half plane with the no-slip boundary condition. No assumptions on spatial decay for the vorticity nor the velocity field are imposed. We study the vorticity equations instead of the original Navier-Stokes equations. As an application, we extend the geometric regularity criterion for the Navier-Stokes equations in the three-dimensional half space under the no-slip boundary condition.
We establish a Liouville theorem for bounded mild ancient solutions to the axi-symmetric incompressible Navier-Stokes equations on $(-\infty, 0] \times (\mathbb{R}^2 \times \mathbb{T}^1)$. This is a step forward to completely solve the conjecture on $(-\infty, 0] \times \mathbb{R}^3$ which was made in \cite{KNSS} to describe the potential singularity structures of the Cauchy problem.
We prove several Liouville type results for stationary solutions of the $d$-dimensional compressible Navier-Stokes equations. In particular, we show that when the dimension $d \geqslant 4$, the natural requirements $ρ\in L^{\infty} (\mathbbm{R}^d)$, $v \in \dot{H}^1 (\mathbbm{R}^d)$ suffice to guarantee that the solution is trivial. For dimensions $d=2,3$, we assume the extra condition $v \in L^{\frac{3d}{d-1}}(\mathbb R^d)$. This improves a recent result of Chae (2012).
We prove that suitable weak solutions of the Navier-Stokes equations exhibit Type I singularities if and only if there exists a non-trivial mild bounded ancient solution satisfying a Type I decay condition. The main novelty is in the reverse direction, which is based on the idea of zooming out on a regular solution to generate a singularity. By similar methods, we prove a Liouville theorem for ancient solutions of the Navier-Stokes equations bounded in $L^3$ along a backward sequence of times.
We examine the conditional regularity of the solutions of Navier-Stokes equations in the entire three-dimensional space under the assumption that the data are axially symmetric. We show that if positive part of the radial component of velocity satisfies a weighted Serrin condition and in addition angular component satisfies some condition, then the solution is regular.
In this paper we prove Liouville type theorem for the stationary Navier-Stokes equations in $\Bbb R^3$ under the assumptions on the relative decays of velocity, pressure and the head pressure. More precisely, we show that any smooth solution $(u,p)$ of the stationary Navier-Stokes equations satisfying $u(x) \to 0$ as $|x|\to +\infty$ and the condition of finite Dirichlet integral $\int_{\Bbb R^3} | \nabla u|^2 dx <+\infty $ is trivial, if either $|u|/|Q|=O(1)$ or $|p|/|Q| =O(1) $ as $|x|\to \infty$, where $|Q|=\frac12 |u|^2 +p$ is the head pressure.
This paper has been withdrawn by the author due to the fact that the negative sign of the exponent of $R$ in (2.20) is not allowed by the second inequality of (2.2), and thus the desired vanishing in (2.20) could not be obtained by this method.
In this paper we prove three different Liouville type theorems for the steady Navier-Stokes equations in $\Bbb R^3$. In the first theorem we improve logarithmically the well-known $L^{\frac92} (\Bbb R^3)$ result. In the second theorem we present a sufficient condition for the trivially of the solution($v=0$) in terms of the head pressure, $Q=\frac12 |v|^2 +p$. The imposed integrability condition here has the same scaling property as the Dirichlet integral. In the last theorem we present Fubini type condition, which guarantee $v=0$.
In this paper we prove Liouville type result for the stationary solutions to the compressible Navier-Stokes-Poisson equations(NSP) and the compressible Navier-Stokes equations(NS) in $\Bbb R^N$, $N\geq 2$. Assuming suitable integrability and the uniform boundedness conditions for the solutions we are led to the conclusion that $v=0$. In the case of (NS) we deduce that the similar integrability conditions imply $v=0$ and $ρ=$constant on $\Bbb R^N$. This shows that if we impose the the non-vacuum boundary condition at spatial infinity for (NS), $v\to 0$ and $ρ\to ρ_\infty >0$, then $v=0$, $ρ=ρ_\…
This work studies the system of $3D$ stationary Navier-Stokes equations. Several Liouville type theorems are established for solutions in mixed-norm Lebesgue spaces and weighted mixed-norm Lebesgue spaces. In particular, we show that, under some sufficient conditions in mixed-norm Lebesgue spaces, solutions of the stationary Navier-Stokes equations are identically zero. This result covers the important case that solutions may decay to zero with different rates in different spatial directions, and some these rates could be significantly slow. In the un-mixed norm case, the result recovers avail…
We study Liouville type of theorems for the Navier-Stokes and the Euler equations on $\Bbb R^N$, $N\geq 2$. Specifically, we prove that if a weak solution $(v,p)$ satisfies $|v|^2 +|p| \in L^1 (0,T; L^1(\Bbb R^N, w_1(x)dx))$ and $\int_{\Bbb R^N} p(x,t)w_2 (x)dx \geq0$ for some weight functions $w_1(x)$ and $w_2 (x)$, then the solution is trivial, namely $v=0$ almost everywhere on $\Bbb R^N \times (0, T)$. Similar results hold for the MHD Equations on $\Bbb R^N$, $N\geq3$.
The global regularity for the incompressible magnetohydrodynamic equations (MHD) in three dimensions is a long standing open problem of fluid dynamics and PDE theory. The Navier-Stokes equations can be viewed as a special case of MHD with a constant magnetic field, whose global regularity problem is known as a Clay Millennium Prize Problem. In this article, we prove the global regularity of axially symmetric solutions to the ideal MHD in three dimensions for a family of non-trivial magnetic fields. The proofs are based on the special structures of MHD and can of course also applied to the resi…
We study bounded ancient solutions of the Navier-Stokes equations. These are the solutions which are defined for all past time. In two space dimensions we prove that such solutions are either constant or functions of time only, depending on the exact definition of admissible solutions. The general three dimensional problem seems to be out of reach of existing techniques, but partial results can be obtained in the case of axi-symmetric solutions. We apply these results to some scenarios of potential singularity formation for axi-symmetric solutions.
We study the Liouville type problem for the stationary 3D Navier-Stokes equations on $\Bbb R^3$. Specifically, we prove that if $v$ is a smooth solution to (NS) satisfying $ω={\rm curl}\,v \in L^q (\Bbb R^3) $ for some $\frac32 \leq q< 3$, and $|v(x)|\to 0$ as $|x|\to +\infty$, then either $v=0$ on $\Bbb R^3$, or $\int_{\Bbb R^6} Φ_+ dxdy=\int_{\Bbb R^6} Φ_- dxdy=+\infty$, where $Φ(x,y) :=\frac{1}{4π}\frac{ω(x)\cdot(x-y)\times (v(y)\times ω(y) )}{|x-y|^3} $, and $Φ_\pm:=\max\{ 0, \pm Φ\}$. The proof uses crucially the structure of nonlinear term of the equations.
