-
On the regularity of axially-symmetric solutions to the incompressible Navier-Stokes equations in a cylinder
Authors:
W. S. Ożański,
W. Zajączkowski
Abstract:
We consider the axisymmetric Navier-Stokes equations in a finite cylinder $Ω\subset\mathbb{R}^3$. We assume that $v_r$, $v_\varphi$, $ω_\varphi$ vanish on the lateral boundary $\partial Ω$ of the cylinder, and that $v_z$, $ω_\varphi$, $\partial_z v_\varphi$ vanish on the top and bottom parts of the boundary $\partial Ω$, where we used standard cylindrical coordinates, and we denoted by…
▽ More
We consider the axisymmetric Navier-Stokes equations in a finite cylinder $Ω\subset\mathbb{R}^3$. We assume that $v_r$, $v_\varphi$, $ω_\varphi$ vanish on the lateral boundary $\partial Ω$ of the cylinder, and that $v_z$, $ω_\varphi$, $\partial_z v_\varphi$ vanish on the top and bottom parts of the boundary $\partial Ω$, where we used standard cylindrical coordinates, and we denoted by $ω=\mathrm{curl}\, v$ the vorticity field. We use estimates and $H^3$ Sobolev estimate on the modified stream function to derive three order-reduction estimates. These enable one to reduce the order of the nonlinear estimates of the equations, and help observe that the solutions to the equations is ``almost regular''. We use the order-reduction estimates to show that the solution to the equations remains regular as long as, for any $p\in (6,\infty)$, $\| v_\varphi \|_{L^\infty_t L^p_x}/\| v_\varphi \|_{L^\infty_t L^\infty_x}$ remains bounded below by a positive number.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Construction of the free-boundary 3D incompressible Euler flow under limited regularity
Authors:
Mustafa Sencer Aydin,
Igor Kukavica,
Wojciech S. Ożański,
Amjad Tuffaha
Abstract:
We consider the three-dimensional Euler equations in a domain with a free boundary with no surface tension. We construct unique local-in-time solutions in the Lagrangian setting for $u_0 \in H^{2.5+δ}$ such that the Rayleigh-Taylor condition holds and $\mathrm{curl}\,u_0 \in H^{2+δ}$ in an arbitrarily small neighborhood of the free boundary. We show that the result is optimal in the sense that…
▽ More
We consider the three-dimensional Euler equations in a domain with a free boundary with no surface tension. We construct unique local-in-time solutions in the Lagrangian setting for $u_0 \in H^{2.5+δ}$ such that the Rayleigh-Taylor condition holds and $\mathrm{curl}\,u_0 \in H^{2+δ}$ in an arbitrarily small neighborhood of the free boundary. We show that the result is optimal in the sense that $H^{3+δ}$ regularity of the Lagrangian deformation near the free boundary can be ensured if and only if initial vorticity has $H^{2+δ}$ regularity of vorticity near the free boundary.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Linear instability of symmetric logarithmic spiral vortex sheets
Authors:
Tomasz Cieślak,
Piotr Kokocki,
Wojciech S. Ożański
Abstract:
We consider Alexander spirals with $M\geq 3$ branches, that is symmetric logarithmic spiral vortex sheets. We show that such vortex sheets are linearly unstable in the $L^\infty$ (Kelvin-Helmholtz) sense, as solutions to the Birkhoff-Rott equation. To this end we consider Fourier modes in a logarithmic variable to identify unstable solutions with polynomial growth in time.
We consider Alexander spirals with $M\geq 3$ branches, that is symmetric logarithmic spiral vortex sheets. We show that such vortex sheets are linearly unstable in the $L^\infty$ (Kelvin-Helmholtz) sense, as solutions to the Birkhoff-Rott equation. To this end we consider Fourier modes in a logarithmic variable to identify unstable solutions with polynomial growth in time.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Quantitative control of solutions to the axisymmetric Navier-Stokes equations in terms of the weak $L^3$ norm
Authors:
W. S. Ożański,
S. Palasek
Abstract:
We are concerned with strong axisymmetric solutions to the $3$D incompressible Navier-Stokes equations. We show that if the weak $L^3$ norm of a strong solution $u$ on the time interval $[0,T]$ is bounded by $A \gg 1$ then for each $k\geq 0 $ there exists $C_k>1$ such that $\| D^k u (t) \|_{L^\infty (\mathbb{R}^3) } \leq t^{-(1+k)/2}\exp \exp A^{C_k}$ for all $t\in (0,T]$.
We are concerned with strong axisymmetric solutions to the $3$D incompressible Navier-Stokes equations. We show that if the weak $L^3$ norm of a strong solution $u$ on the time interval $[0,T]$ is bounded by $A \gg 1$ then for each $k\geq 0 $ there exists $C_k>1$ such that $\| D^k u (t) \|_{L^\infty (\mathbb{R}^3) } \leq t^{-(1+k)/2}\exp \exp A^{C_k}$ for all $t\in (0,T]$.
△ Less
Submitted 12 July, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
On a model of an elastic body fully immersed in a viscous incompressible fluid with small data
Authors:
Igor Kukavica,
Wojciech S. Ożański
Abstract:
We consider a model of an elastic body immersed between two layers of incompressible viscous fluid. The elastic displacement $w$ is governed by the damped wave equation $w_{tt} + αw_t + Δw =0$ without any stabilization terms, where $α>0$, and the fluid is modeled by the Navier-Stokes equations. We assume continuity of the displacement and the stresses across the moving interfaces and homogeneous D…
▽ More
We consider a model of an elastic body immersed between two layers of incompressible viscous fluid. The elastic displacement $w$ is governed by the damped wave equation $w_{tt} + αw_t + Δw =0$ without any stabilization terms, where $α>0$, and the fluid is modeled by the Navier-Stokes equations. We assume continuity of the displacement and the stresses across the moving interfaces and homogeneous Dirichlet boundary conditions on the outer fluid boundaries. We establish a~priori estimates that provide the global-in-time well-posedness and exponential decay to a final state of the system for small initial data. We prove that the final state must be trivial, except for a possible small displacement of the elastic structure in the horizontal direction.
△ Less
Submitted 1 September, 2023; v1 submitted 31 August, 2022;
originally announced August 2022.
-
Existence of nonsymmetric logarithmic spiral vortex sheet solutions to the 2D Euler equations
Authors:
T. Cieślak,
P. Kokocki,
W. S. Ożański
Abstract:
We consider solutions of the 2D incompressible Euler equation in the form of $M\geq 1$ cocentric logarithmic spirals. We prove the existence of a generic family of spirals that are nonsymmetric in the sense that the angles of the individual spirals are not uniformly distributed over the unit circle. Namely, we show that if $M=2$ or $M\geq 3 $ is an odd integer such that certain non-degeneracy cond…
▽ More
We consider solutions of the 2D incompressible Euler equation in the form of $M\geq 1$ cocentric logarithmic spirals. We prove the existence of a generic family of spirals that are nonsymmetric in the sense that the angles of the individual spirals are not uniformly distributed over the unit circle. Namely, we show that if $M=2$ or $M\geq 3 $ is an odd integer such that certain non-degeneracy conditions hold, then, for each $n \in \{ 1,2 \}$, there exists a logarithmic spiral with $M$ branches of relative angles arbitrarily close to $\barθ_{k} = knπ/M$ for $k=0,1,\ldots , M-1$, which include halves of the angles of the Alexander spirals. We show that the non-degeneracy conditions are satisfied if $M\in \{ 2, 3,5,7,9 \}$, and that the conditions hold for all odd $M>9$ given a certain gradient matrix is invertible, which appears to be true by numerical computations.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Global-in-time stability of ground states of a pressureless hydrodynamic model of collective behaviour
Authors:
P. B. Mucha,
W. S. Ożański
Abstract:
We consider a pressureless hydrodynamic model of collective behaviour, which is concerned with a density function $ρ$ and a velocity field $v$ on the torus, and is described by the continuity equation for $ρ$, $\partial_t ρ+ \mathrm{div} (vρ)=0$, and a compressible hydrodynamic equation for $v$, $ρv_t + ρv\cdot \nabla v - Δv = -ρ\nabla K ρ$ with a forcing modelling collective behaviour related to…
▽ More
We consider a pressureless hydrodynamic model of collective behaviour, which is concerned with a density function $ρ$ and a velocity field $v$ on the torus, and is described by the continuity equation for $ρ$, $\partial_t ρ+ \mathrm{div} (vρ)=0$, and a compressible hydrodynamic equation for $v$, $ρv_t + ρv\cdot \nabla v - Δv = -ρ\nabla K ρ$ with a forcing modelling collective behaviour related to the density $ρ$, where $K$ stands for the interaction potential, defined as the solution to the Poisson equation on $\mathbb{T}^d$. We show global-in-time stability of the ground state $(ρ, v)=(1,0)$ if the perturbation $(ρ_0-1 ,v_0)$ satisfies $\| v_0 \|_{B^{d/p-1}_{p,1}(\mathbb{T}^d )} + \| ρ_0-1 \|_{B^{d/p}_{p,1}(\mathbb{T}^d )} \leq ε$ for sufficiently small $ε>0$.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
Global well-posedness and exponential decay for a fluid-structure model with small data
Authors:
Igor Kukavica,
Wojciech S. Ożański
Abstract:
We address the system of partial differential equations modeling motion of an elastic body interacting with an incompressible fluid. The fluid is modeled by the incompressible Navier-Stokes equations while the structure is represented by a damped wave equation $w_{tt}-Δw + αw_t =0$, where $α>0$. We prove the global existence and exponential decay of strong solutions for small initial data in a sui…
▽ More
We address the system of partial differential equations modeling motion of an elastic body interacting with an incompressible fluid. The fluid is modeled by the incompressible Navier-Stokes equations while the structure is represented by a damped wave equation $w_{tt}-Δw + αw_t =0$, where $α>0$. We prove the global existence and exponential decay of strong solutions for small initial data in a suitable Sobolev space. We show that the elastic velocity $w_t$ and the acceleration $w_{tt}$ can be controlled by the $H^2$ elliptic estimates and by the dissipation of the fluid via the free interface. We also find that, even though the vanishing of the final displacement $w$ appears invisible in the energy method, it can be deduced from the preservation of total volume. Our approach allows for any superlinear perturbation of the wave equation.
△ Less
Submitted 27 August, 2022; v1 submitted 28 October, 2021;
originally announced October 2021.
-
Well-posedness of logarithmic spiral vortex sheets
Authors:
T. Cieślak,
P. Kokocki,
W. S. Ożański
Abstract:
We consider a family of 2D logarithmic spiral vortex sheets which include the celebrated spirals introduced by Prandtl (Vorträge aus dem Gebiete der Hydro- und Aero-dynamik, 1922) and by Alexander (Phys. Fluids, 1971). We prove that for each such spiral the normal component of the velocity field remains continuous across the spiral. We give sufficient conditions for spiral vortex sheets to be weak…
▽ More
We consider a family of 2D logarithmic spiral vortex sheets which include the celebrated spirals introduced by Prandtl (Vorträge aus dem Gebiete der Hydro- und Aero-dynamik, 1922) and by Alexander (Phys. Fluids, 1971). We prove that for each such spiral the normal component of the velocity field remains continuous across the spiral. We give sufficient conditions for spiral vortex sheets to be weak solutions of the 2D incompressible Euler equations. Namely, we show that a spiral gives rise to such a solution if and only if two conditions hold across every spiral: a velocity matching condition and a pressure matching condition. Furthermore we show that these two conditions are equivalent to the imaginary part and the real part, respectively, of a single complex constraint on the coefficients of the spirals. This in particular provides a rigorous mathematical framework for logarithmic spirals, an issue that has remained open since their introduction by Prandtl in 1922. Another consequence of the main result is well-posedness of the symmetric Alexander spiral with two branches, despite recent evidence for the contrary. Moreover, our result implies a sharpness result of Delort's theorem on global existence of solutions to the Euler equations with initial vorticity measure. Our main tools are new explicit formulas for the velocity field and for the pressure function, as well as a notion of a \emph{winding number} of a spiral, which not only gives a robust way of localizing the spirals' arms with respect to a given point in the plane, but also ensures correct asymptotic behaviour near $0$.
△ Less
Submitted 3 April, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Quantitative transfer of regularity of the incompressible Navier-Stokes equations from $\mathbb{R}^3$ to the case of a bounded domain
Authors:
Wojciech S. Ożański
Abstract:
Let $u_0\in C_0^5 ( B_{R_0})$ be divergence-free and suppose that $u$ is a strong solution of the three-dimensional incompressible Navier-Stokes equations on $[0,T]$ in the whole space $\mathbb{R}^3$ such that $\| u \|_{L^\infty ((0,T);H^5 (\mathbb{R}^3 ))} + \| u \|_{L^\infty ((0,T);W^{5,\infty }(\mathbb{R}^3 ))} \leq M <\infty$. We show that then there exists a unique strong solution $w$ to the…
▽ More
Let $u_0\in C_0^5 ( B_{R_0})$ be divergence-free and suppose that $u$ is a strong solution of the three-dimensional incompressible Navier-Stokes equations on $[0,T]$ in the whole space $\mathbb{R}^3$ such that $\| u \|_{L^\infty ((0,T);H^5 (\mathbb{R}^3 ))} + \| u \|_{L^\infty ((0,T);W^{5,\infty }(\mathbb{R}^3 ))} \leq M <\infty$. We show that then there exists a unique strong solution $w$ to the problem posed on $B_R$ with the homogeneous Dirichlet boundary conditions, with the same initial data and on the same time interval for $R\geq \max(1+R_0, C(a) C(M)^{1/a} \exp ({CM^4T/a})) )$ for any $a\in [0,3/2)$, and we give quantitative estimates on $u-w$ and the corresponding pressure functions.
△ Less
Submitted 26 August, 2021; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Local-in-time existence of free-surface 3D Euler flow with $H^{2+δ}$ initial vorticity in a neighborhood of the free boundary
Authors:
Igor Kukavica,
Wojciech S. Ożański
Abstract:
We consider the three-dimensional Euler equations in a domain with a free boundary with no surface tension. We assume that $u_0 \in H^{2.5+δ}$ is such that $\mathrm{curl}\,u_0 \in H^{2+δ}$ in an arbitrarily small neighborhood of the free boundary, and we use Lagrangian approach to derive an a~priori estimate that can be used to prove local-in-time existence and uniqueness of solutions under the Ra…
▽ More
We consider the three-dimensional Euler equations in a domain with a free boundary with no surface tension. We assume that $u_0 \in H^{2.5+δ}$ is such that $\mathrm{curl}\,u_0 \in H^{2+δ}$ in an arbitrarily small neighborhood of the free boundary, and we use Lagrangian approach to derive an a~priori estimate that can be used to prove local-in-time existence and uniqueness of solutions under the Rayleigh-Taylor stability condition.
△ Less
Submitted 26 June, 2021;
originally announced June 2021.
-
A partial uniqueness result and an asymptotically sharp nonuniqueness result for the Zhikov problem on the torus
Authors:
Tomasz Cieślak,
Wojciech S. Ożański
Abstract:
We consider the stationary diffusion equation $-\mathrm{div} (\nabla u + bu )=f$ in $n$-dimensional torus $\mathbb{T}^n$, where $f\in H^{-1}$ is a given forcing and $b\in L^p$ is a divergence-free drift. Zhikov (Funkts. Anal. Prilozhen., 2004) considered this equation in the case of a bounded, Lipschitz domain $Ω\subset \mathbb{R}^n$, and proved existence of solutions for $b\in L^{2n/(n+2)}$, uniq…
▽ More
We consider the stationary diffusion equation $-\mathrm{div} (\nabla u + bu )=f$ in $n$-dimensional torus $\mathbb{T}^n$, where $f\in H^{-1}$ is a given forcing and $b\in L^p$ is a divergence-free drift. Zhikov (Funkts. Anal. Prilozhen., 2004) considered this equation in the case of a bounded, Lipschitz domain $Ω\subset \mathbb{R}^n$, and proved existence of solutions for $b\in L^{2n/(n+2)}$, uniqueness for $b\in L^2$, and has provided a point-singularity counterexample that shows nonuniqueness for $b\in L^{3/2-}$ and $n=3,4,5$. We apply a duality method and a DiPerna-Lions-type estimate to show uniqueness of the solutions constructed by Zhikov for $b\in W^{1,1}$. We use a Nash iteration to demonstrate sharpness of this result, and also show that solutions in $H^1\cap L^{p/(p-1)}$ are flexible for $b\in L^p$, $p\in [1,2(n-1)/(n+1))$; namely we show that the set of $b\in L^p$ for which nonuniqueness in the class $H^1\cap L^{p/(p-1)}$ occurs is dense in the divergence-free subspace of $L^p$.
△ Less
Submitted 29 January, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
An anisotropic regularity condition for the 3D incompressible Navier-Stokes equations for the entire exponent range
Authors:
Igor Kukavica,
Wojciech S. Ożański
Abstract:
We show that a suitable weak solution to the incompressible Navier-Stokes equations on ${\mathbb{R}^3\times(-1,1)}$ is regular on $\mathbb{R}^3\times(0,1]$ if $\partial_3 u $ belongs to $M^{2p/(2p-3),α} ((-1,0);L^p (\mathbb{R}^3 ))$ for any $α>1$ and $p\in (3/2,\infty)$, which is a logarithmic-type variation of a Morrey space in time. For each $α>1$ this space is, up to a logarithm, critical with…
▽ More
We show that a suitable weak solution to the incompressible Navier-Stokes equations on ${\mathbb{R}^3\times(-1,1)}$ is regular on $\mathbb{R}^3\times(0,1]$ if $\partial_3 u $ belongs to $M^{2p/(2p-3),α} ((-1,0);L^p (\mathbb{R}^3 ))$ for any $α>1$ and $p\in (3/2,\infty)$, which is a logarithmic-type variation of a Morrey space in time. For each $α>1$ this space is, up to a logarithm, critical with respect to the scaling of the equations, and contains all spaces $L^q ((-1,0);L^p (\mathbb{R}^3 ))$ that are subcritical, that is for which $2/q+3/p<2$.
△ Less
Submitted 1 April, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
Global weak solutions of the Navier-Stokes equations for intermittent initial data in half-space
Authors:
Zachary Bradshaw,
Igor Kukavica,
Wojciech S. Ożański
Abstract:
We prove existence of global-in-time weak solutions of the incompressible Navier-Stokes equations in the half-space $\mathbb{R}^3_+$ with initial data in a weighted space that allow non-uniformly locally square integrable functions that grow at spatial infinity in an intermittent sense. The space for initial data is built on cubes whose sides $R$ are proportional to the distance to the origin and…
▽ More
We prove existence of global-in-time weak solutions of the incompressible Navier-Stokes equations in the half-space $\mathbb{R}^3_+$ with initial data in a weighted space that allow non-uniformly locally square integrable functions that grow at spatial infinity in an intermittent sense. The space for initial data is built on cubes whose sides $R$ are proportional to the distance to the origin and the square integral of the data is allowed to grow as a power of $R$.
The existence is obtained via a new a priori estimate and stability result in the weighted space, as well as new pressure estimates. Also, we prove eventual regularity of such weak solutions, up to the boundary, for $(x,t)$ satisfying $t>c_1|x|^2 + c_2$, where $c_1,c_2>0$, for a large class of initial data $u_0$, with $c_1$ arbitrarily small. As an application of the existence theorem, we construct global discretely self-similar solutions, thus extending the theory on the half-space to the same generality as the whole space.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Local regularity of weak solutions of the hypodissipative Navier-Stokes equations
Authors:
Hyunju Kwon,
Wojciech S. Ożański
Abstract:
We consider the 3D incompressible hypodissipative Navier-Stokes equations, when the dissipation is given as a fractional Laplacian $(-Δ)^s$ for $s\in (\frac34,1)$, and we provide a new bootstrap** scheme that makes it possible to analyse weak solutions locally in space-time. This includes several homogeneous Kato-Ponce type commutator estimates which we localize in space, and which seems applica…
▽ More
We consider the 3D incompressible hypodissipative Navier-Stokes equations, when the dissipation is given as a fractional Laplacian $(-Δ)^s$ for $s\in (\frac34,1)$, and we provide a new bootstrap** scheme that makes it possible to analyse weak solutions locally in space-time. This includes several homogeneous Kato-Ponce type commutator estimates which we localize in space, and which seems applicable to other parabolic systems with fractional dissipation. We also provide a new estimate on the pressure, $\|(-Δ)^s p \|_{\mathcal{H}^1}\lesssim \| (-Δ)^{\frac s2} u \|^2_{L^2}$. We apply our main result to prove that any suitable weak solution $u$ satisfies $\nabla^n u \in L^{p,\infty }_{\mathrm{loc}}(\mathbb{R}^3\times(0,\infty))$ for $p=\frac{2(3s-1)}{n+2s-1}$, $n=1,2$. As a corollary of our local regularity theorem, we improve the partial regularity result of Tang-Yu [Comm. Math. Phys., 334(30), 2015, pp. 1455--1482], and obtain an estimate on the box-counting dimension of the singular set $S$, $d_B(S\cap \{t\geq t_0 \} )\leq \frac13 (15-2s-8s^2) $ for every $t_0>0$.
△ Less
Submitted 24 December, 2021; v1 submitted 22 October, 2020;
originally announced October 2020.
-
On regularity properties of a surface growth model
Authors:
Jan Burczak,
Wojciech S. Ożański,
Gregory Seregin
Abstract:
We show local higher integrability of derivative of a suitable weak solution to the surface growth model, provided a scale-invariant quantity is locally bounded. If additionally our scale-invariant quantity is small, we prove local smoothness of solutions.
We show local higher integrability of derivative of a suitable weak solution to the surface growth model, provided a scale-invariant quantity is locally bounded. If additionally our scale-invariant quantity is small, we prove local smoothness of solutions.
△ Less
Submitted 15 March, 2021; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Partial regularity of Leray-Hopf weak solutions to the incompressible Navier-Stokes equations with hyperdissipation
Authors:
Wojciech S. Ożański
Abstract:
We show that if $u$ is a Leray-Hopf weak solution to the incompressible Navier--Stokes equations with hyperdissipation $α\in (1,5/4)$ then there exists a set $S\subset \mathbb{R}^3$ such that $u$ remains bounded outside of $S$ at each blow-up time, the Hausdorff dimension of $S$ is bounded above by $ 5-4α$ and its box-counting dimension is bounded by $(-16α^2 + 16α+5)/3$. Our approach is inspired…
▽ More
We show that if $u$ is a Leray-Hopf weak solution to the incompressible Navier--Stokes equations with hyperdissipation $α\in (1,5/4)$ then there exists a set $S\subset \mathbb{R}^3$ such that $u$ remains bounded outside of $S$ at each blow-up time, the Hausdorff dimension of $S$ is bounded above by $ 5-4α$ and its box-counting dimension is bounded by $(-16α^2 + 16α+5)/3$. Our approach is inspired by the ideas of Katz & Pavlović (Geom. Funct. Anal., 2002).
△ Less
Submitted 11 October, 2021; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Weak solutions to the Navier-Stokes inequality with arbitrary energy profiles
Authors:
Wojciech S. Ożański
Abstract:
In a recent paper, Buckmaster & Vicol (arXiv:1709.10033) used the method of convex integration to construct weak solutions $u$ to the 3D incompressible Navier-Stokes equations such that $\| u(t) \|_{L^2} =e(t)$ for a given non-negative and smooth energy profile $e: [0,T]\to \mathbb{R}$. However, it is not known whether it is possible to extend this method to construct nonunique suitable weak solut…
▽ More
In a recent paper, Buckmaster & Vicol (arXiv:1709.10033) used the method of convex integration to construct weak solutions $u$ to the 3D incompressible Navier-Stokes equations such that $\| u(t) \|_{L^2} =e(t)$ for a given non-negative and smooth energy profile $e: [0,T]\to \mathbb{R}$. However, it is not known whether it is possible to extend this method to construct nonunique suitable weak solutions (that is weak solutions satisfying the strong energy inequality (SEI) and the local energy inequality (LEI)), Leray-Hopf weak solutions (that is weak solutions satisfying the SEI), or at least to exclude energy profiles that are not nonincreasing. In this paper we are concerned with weak solutions to the Navier-Stokes inequality on $\mathbb{R}^3$, that is vector fields that satisfy both the SEI and the LEI (but not necessarily solve the Navier-Stokes equations). Given $T>0$ and a nonincreasing energy profile $e\colon [0,T] \to [0,\infty )$ we construct weak solution to the Navier-Stokes inequality that are localised in space and whose energy profile $\| u(t)\|_{L^2 (\mathbb{R}^3 )}$ stays arbitrarily close to $e(t)$ for all $t\in [0,T]$. Our method applies only to nonincreasing energy profiles. The relevance of such solutions is that, despite not satisfying the Navier-Stokes equations, they satisfy the partial regularity theory of Caffarelli, Kohn & Nirenberg (Comm. Pure Appl. Math., 1982). In fact, Scheffer's constructions of weak solutions to the Navier-Stokes inequality with blow-ups (Comm. Math. Phys., 1985 & 1987) show that the Caffarelli, Kohn & Nirenberg's theory is sharp for such solutions. Our approach gives an indication of a number of ideas used by Scheffer. Moreover, it can be used to obtain a stronger result than Scheffer's. Namely, we obtain weak solutions to the Navier-Stokes inequality with both blow-up and a prescribed energy profile.
△ Less
Submitted 16 October, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
A sufficient integral condition for local regularity of solutions to the surface growth model
Authors:
Wojciech S. Ożański
Abstract:
The surface growth model, $u_t + u_{xxxx} + \partial_{xx} u_x^2 =0$, is a one-dimensional fourth order equation, which shares a number of striking similarities with the three-dimensional incompressible Navier--Stokes equations, including the results regarding existence and uniqueness of solutions and the partial regularity theory. Here we show that a weak solution of this equation is smooth on a s…
▽ More
The surface growth model, $u_t + u_{xxxx} + \partial_{xx} u_x^2 =0$, is a one-dimensional fourth order equation, which shares a number of striking similarities with the three-dimensional incompressible Navier--Stokes equations, including the results regarding existence and uniqueness of solutions and the partial regularity theory. Here we show that a weak solution of this equation is smooth on a space-time cylinder $Q$ if the Serrin condition $u_x\in L^{q'}L^q (Q)$ is satisfied, where $q,q'\in [1,\infty ]$ are such that either $1/q+4/q'<1$ or $1/q+4/q'=1$, $q'<\infty$.
△ Less
Submitted 24 October, 2018; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Partial regularity for a surface growth model
Authors:
W. S. Ożański,
J. C. Robinson
Abstract:
We prove two partial regularity results for the scalar equation $u_t+u_{xxxx}+\partial_{xx}u_x^2=0$, a model of surface growth arising from the physical process of molecular epitaxy. We show that the set of space-time singularities has (upper) box-counting dimension no larger than $7/6$ and $1$-dimensional (parabolic) Hausdorff measure zero. These parallel the results available for the three-dimen…
▽ More
We prove two partial regularity results for the scalar equation $u_t+u_{xxxx}+\partial_{xx}u_x^2=0$, a model of surface growth arising from the physical process of molecular epitaxy. We show that the set of space-time singularities has (upper) box-counting dimension no larger than $7/6$ and $1$-dimensional (parabolic) Hausdorff measure zero. These parallel the results available for the three-dimensional Navier--Stokes equations. In fact the mathematical theory of the surface growth model is known to share a number of striking similarities with the Navier--Stokes equations, and the partial regularity results are the next step towards understanding this remarkable similarity. As far as we know the surface growth model is the only lower-dimensional "mini-model" of the Navier--Stokes equations for which such an analogue of the partial regularity theory has been proved. In the course of our proof, which is inspired by the rescaling analysis of Lin (1998) and Ladyzhenskaya & Seregin (1999), we develop certain nonlinear parabolic Poincaré inequality, which is a concept of independent interest. We believe that similar inequalities could be applicable in other parabolic equations.
△ Less
Submitted 4 December, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
On weak solutions to the Navier-Stokes inequality with internal singularities
Authors:
Wojciech S. Ożański
Abstract:
We construct weak solutions to the Navier-Stokes inequality, $$ u\cdot \left(\partial_t u -νΔu + (u\cdot \nabla) u +\nabla p \right) \leq 0 $$ in $\mathbb{R}^3$, which blow up at a single point $(x_0,T_0)$ or on a set $S \times \{T_0 \}$, where $S\subset \mathbb{R}^3$ is a Cantor set whose Hausdorff dimension is at least $ξ$ for any preassigned $ξ\in (0,1)$. Such solutions were constructed by Sche…
▽ More
We construct weak solutions to the Navier-Stokes inequality, $$ u\cdot \left(\partial_t u -νΔu + (u\cdot \nabla) u +\nabla p \right) \leq 0 $$ in $\mathbb{R}^3$, which blow up at a single point $(x_0,T_0)$ or on a set $S \times \{T_0 \}$, where $S\subset \mathbb{R}^3$ is a Cantor set whose Hausdorff dimension is at least $ξ$ for any preassigned $ξ\in (0,1)$. Such solutions were constructed by Scheffer, Comm. Math. Phys., 1985 & 1987. Here we offer a simpler perspective on these constructions. We sharpen the approach to construct smooth solutions to the Navier-Stokes inequality on the time interval $[0,1]$ satisfying the "approximate equality" $$ \left\| u\cdot \left(\partial_t u-νΔu + (u\cdot \nabla) u +\nabla p \right) \right\|_{L^\infty}\leq \vartheta, $$ and the "norm inflation" $\| u(1) \|_{L^\infty} \geq \mathcal{N} \| u(0) \|_{L^\infty}$ for any preassigned $\mathcal{N}>0$, $\vartheta >0$. Furthermore we extend the approach to construct a weak solution to the Euler inequality $$u\cdot \left(\partial_t u+ (u\cdot \nabla) u +\nabla p \right) \leq 0, $$ which satisfies the approximate equality with $ν=0$ and blows up on the Cantor set $S\times \{T_0 \}$ as above.
△ Less
Submitted 9 July, 2019; v1 submitted 2 September, 2017;
originally announced September 2017.
-
Leray's fundamental work on the Navier-Stokes equations: a modern review of "Sur le mouvement d'un liquide visqueux emplissant l'espace"
Authors:
Wojciech S. Ożański,
Benjamin C. Pooley
Abstract:
This article offers a modern perspective which exposes the many contributions of Leray in his celebrated work on the Navier--Stokes equations from 1934. Although the importance of his work is widely acknowledged, the precise contents of his paper are perhaps less well known. The purpose of this article is to fill this gap. We follow Leray's results in detail: we prove local existence of strong sol…
▽ More
This article offers a modern perspective which exposes the many contributions of Leray in his celebrated work on the Navier--Stokes equations from 1934. Although the importance of his work is widely acknowledged, the precise contents of his paper are perhaps less well known. The purpose of this article is to fill this gap. We follow Leray's results in detail: we prove local existence of strong solutions starting from divergence-free initial data that is either smooth, or belongs to $H^1$, $L^2\cap L^p$ (with $p\in(3,\infty]$), as well as lower bounds on the norms $\| \nabla u (t) \|_2$, $\| u(t) \|_p$ ($p\in(3,\infty]$) as $t$ approaches a putative blow-up time. We show global existence of a weak solution and weak-strong uniqueness. We present Leray's characterisation of the set of singular times for the weak solution, from which we deduce that its upper box-counting dimension is at most $\tfrac{1}{2}$. Throughout the text we provide additional details and clarifications for the modern reader and we expand on all ideas left implicit in the original work, some of which we have not found in the literature. We use some modern mathematical tools to bypass some technical details in Leray's work, and thus expose the elegance of his approach.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.