The Fourier method is used to find conditions on the right-hand side and on the initial data in the Rayleigh-Stokes problem, which ensure the existence and uniqueness of the solution. Then, in the Rayleigh-Stokes problem, instead of the initial condition, consider the non-local condition: $u(x,T)=βu(x,0)+φ(x)$, where $β$ is either zero or one. It is well known that if $β=0$, then the corresponding problem, called the backward problem, is ill-posed in the sense of Hadamard, i.e. a small change in $u(x,T)$ leads to large changes in the initial data. Nevertheless, we will show that if we consider sufficiently smooth current information, then the solution exists and it is unique and stable. It will also be shown that if $β=1$, then the corresponding non-local problem is well-posed and coercive type inequalities are valid.
We are concerned with the initial value problem governed by generalized Rayleigh-Stokes equations, where the nonlinearity depends on history states and takes values in Hilbert scales of negative order. The solvability and Hölder regularity of solutions are proved by using fixed point arguments and embeddings of fractional Sobolev spaces. An application to a related inverse source problem is given.
We consider a functional semilinear Rayleigh-Stokes equation involving fractional derivative. Our aim is to analyze some circumstances, in those the global solvability and some results on asymptotic behavior of solutions take place. By establishing a new Halanay type inequality, we show the dissipativity and asymptotic stability of solutions to our problem. In addition, we prove the existence of a compact set of decay solutions by using local estimates and fixed point arguments.
The two-phase free boundary problem with surface tension and downforce gravity for the Navier-Stokes system is considered in a situation where the initial interface is close to equilibrium. The boundary symbol of this problem admits zeros in the unstable halfplane in case the heavy fluid is on top of the light one, which leads to the well-known Rayleigh-Taylor instability. Instability is proved rigorously in an $L_p$-setting by means of an abstract instability result due to Henry.
Non-local time problem for the Rayleigh--Stokes type fractional equations
V. I. Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences（乌兹别克斯坦科学院 V.I.罗曼诺夫斯基数学研究所）；Central Asian University（中亚大学）；National University of Uzbekistan（乌兹别克斯坦国立大学）；Tashkent International University of Financial Management and Technologies（塔什干国际金融管理技术大学）
In recent years, much attention has been paid to the study of forward and inverse problems for the Rayleigh-Stokes equation in connection with the importance of this equation for applications. This equation plays an important role, in particular, in the study of the behavior of certain non-Newtonian fluids. The equation includes a fractional derivative of order $α$, which is used to describe the viscoelastic behavior of the flow. In this paper, we study the behavior of the solution of such equations depending on the parameter $α$. In particular, it is proved that for sufficiently large $t$ the…
This article is devoted to backward self-similar blow up solutions of the compressible Navier-Stokes equations with radial symmetry. We show that such solutions cannot exist if they either satisfy an appropriate smallness condition, or have finite energy. Furthermore, numerical simulations lead us to the conjecture that such solutions do not exist.
The Navier-Stokes equation driven by heat conduction is studied. As a prototype we consider Rayleigh-Bénard convection, in the Boussinesq approximation. Under a large aspect ratio assumption, which is the case in Rayleigh-Bénard experiments with Prandtl number close to one, we prove the existence of a global strong solution to the 3D Navier-Stokes equation coupled with a heat equation, and the existence of a maximal B-attractor. A rigorous two-scale limit is obtained by homogenization theory. The mean velocity field is obtained by averaging the two-scale limit over the unit torus in the local …
A nonlocal boundary value problem for the fractional version of the well known in fluid dynamics Rayleigh-Stokes equation is studied. Namely, the condition $u(x,T)=βu(x,0)+φ(x)$, where $β$ is an arbitrary real number, is proposed instead of the initial condition. If $β=0$, then we get the inverse problem in time, called the backward problem. It is well known that the backward problem is ill-posed in the sense of Hadamard. If $β=1$, then the corresponding non-local problem becomes well-posed in the sense of Hadamard, and moreover, in this case a coercive estimate for the solution can be establi…
This article is concerned with the dynamic behaviour of two immiscible and incompressible fluids in a cylindrical domain, which are separated by a sharp interface. In case that the heavy fluid is situated on top of the light fluid, one expects that the fluid on top sags down into the lower phase. This effect is known as the Rayleigh-Taylor-Instability. We present a rather complete analysis of the corresponding free boundary problem which involves a contact angle. Our main result implies the existence of a critical surface tension with the following property. In case that the surface tension of…
We establish a connection between the strong solution to the spatially periodic Navier-Stokes equations and a solution to a system of forward-backward stochastic differential equations (FBSDEs) on the group of volume-preserving diffeomorphisms of a flat torus. We construct representations of the strong solution to the Navier-Stokes equations in terms of diffusion processes.
In this paper we introduce a class of forward-backward stochastic differential equations on tensor fields of Riemannian manifolds, which are related to semi-linear parabolic partial differential equations on tensor fields. Moreover, we will use these forward-backward stochastic differential equations to give a stochastic characterization of incompressible Navier-Stokes equations on Riemannian manifolds, where some extra conditions used in [22] are not required.
In this paper, it is shown that there does not exist a non-trivial Leray's backward self-similar solution to the 3D Navier-Stokes equations with profiles in Morrey spaces $\dot{\mathcal{M}}^{q,1}(\mathbb{R}^{3})$ provided $3/2<q<6$, or in $\dot{\mathcal{M}}^{q,l}(\mathbb{R}^{3})$ provided $6\leq q<\infty$ and $2<l\leq q$. This generalizes the corresponding results obtained by Nečas-Råužička-Šverák [19, Acta.Math. 176 (1996)] in $L^{3}(\mathbb{R}^{3})$, Tsai [25, Arch. Ration. Mech. Anal. 143 (1998)] in $L^{p}(\mathbb{R}^{3})$ with $p\geq3$,, Chae-Wolf [3, Arch. Ration. Mech. Anal. 225 (2017)] …
By reversing the time variable we derive a stochastic representation for backward incompressible Navier-Stokes equations in terms of stochastic Lagrangian paths, which is similar to Constantin and Iyer's forward formulations in \cite{Co-Iy}. Using this representation, a self-contained proof of local existence of solutions in Sobolev spaces are provided for incompressible Navier-Stokes equations in the whole space. In two dimensions or large viscosity, an alternative proof to the global existence is also given. Moreover, a large deviation estimate for stochastic particle trajectories is present…
We explain why the theory of Escauriaza, Seregin, and Sverak (Russian Math. Surveys, 2003) on potential finite time singularity in Navier-Stokes solutions must be largely misapprehended. It is found that the proofs of the backward uniqueness theorem for parabolic equations contain technical errors. The stated validity of a theorem for vorticity is established on ill-informed analyses as the solenoidal constraint is not taken into account. There are many cases where parabolic scalings are erroneously applied. We briefly discuss a number of related issues.
The Navier-Stokes equation on Rd (d greater or equal to 3) formulated on Besov spaces is considered. Using a stochastic forward-backward differential system, the local existence of a unique solution in B_ r, with r > 1 + d is obtained. We also show p,p p the convergence to solutions of the Euler equation when the viscosity tends to zero. Moreover, we prove the local existence of a unique solution in B_ pr,q, with p > 1, 1 greater or equal to q greater or equal to infinity, r > max(1, d); here the maximal time interval depends on p the viscosity.
The goal of the paper is to understand properties of the so-called ancient (backward) solutions to the Navier-Stokes equations. We focus on the case of the half space.
In this paper, we have showed $L^{4,\infty}$-solutions to the cauchy problem for the four-dimensional Navier-Stokes equations are smooth through backward uniqueness and analytic functions properties .
We prove that every solution of a KdV-Burgers-Sivashinsky type equation blows up in the energy space, backward in time, provided the solution does not belong to the global attractor. This is a phenomenon contrast to the backward behavior of the periodic 2D Navier-Stokes equations studied by Constantin-Foias-Kukavica-Majda [18], but analogous to the backward behavior of the Kuramoto-Sivashinsky equation discovered by Kukavica-Malcok [50]. Also we study the backward behavior of solutions to the damped driven nonlinear Schrodinger equation, the complex Ginzburg-Landau equation, and the hypervisco…
This paper is concerned with the Rayleigh-Taylor instability for the nonhomogeneous incompressible Navier-Stokes equations with Navier-slip boundary conditions around a steady-state in an infinite slab, where the Navier-slip coefficients do not have defined sign and the slab is horizontally periodic. Motivated by [18], we extend the result from Dirichlet boundary condition to Navier-slip boundary conditions. Our results indicate the factor that "heavier density with increasing height" still plays a key role in the instability under Navier-slip boundary conditions.
We consider the Stokes-Boussinesq (and the stationary Navier-Stokes-Boussinesq) equations in a slanted, i.e. not aligned with the gravity's direction, 3d channel and with an arbitrary Rayleigh number. For the front-like initial data and under the no-slip boundary condition for the flow and no-flux boundary condition for the reactant temperature, we derive uniform estimates on the burning rate and the flow velocity, which can be interpreted as stability results for the laminar front.
We study the dynamics of the interface given by two incompressible viscous fluids in the Stokes regime filling a 2D horizontally periodic strip. The fluids are subject to the gravity force and the density difference induces the dynamics of the interface. We derive the contour dynamics formulation for this problem through a $x_1$-periodic version of the Stokeslet. Using this new system, we show local-in-time well-posedness when the initial interface is described by a curve with no self-intersections and $C^{1+γ}$ Hölder regularity, $0<γ<1$. This well-posedness result holds regardless of the Ray…
In this work, we establish the so-called backward uniqiueness property for a coupled system of partial differential equations (PDEs) which governs a certain fluid-structure interaction. In particular, a three-dimensional Stokes flow interacts across a boundary interface with a two-dimensional mechanical plate equation. By way of attaining this result, a certain estimate is obtained for the associated semigroup generator resolvent.
We introduce new classes of solutions to the three dimensional Navier-Stokes equations in the whole and half spaces that add rotational correction to self-similar and discretely self-similar solutions. We construct forward solutions in these new classes for arbitrarily large initial data in $L^3_w$ on the whole and half spaces. We also comment on the backward case.
In this paper, we study the singular set of 3-dimensional Navier-Stokes equations. Under the condition$\frac{1}{R^{\frac{3s}{q}+2-s}}\int^{R^{2}}_{0}(\int_{B_{R}}|u|^{q}dx)^{\frac{s}{q}}ds <C,$ for $(q,s)\in\{(2,5),(5,2)\},$ we use the backward uniqueness of parabolic equations to show that the Hausdorff dimension of the singular set is less than 1.
It is shown that Wiener's regularity of the vertex of a backward paraboloid for 3D Navier-Stokes equations with zero Dirichlet conditions on the paraboloid boundary is given by Petrovskii's criterion for the heat equation (1934), i.e., the nonlinear convection term does not affect the regularity result.
We derive upper bounds for the number of asymptotic degrees (determining modes and nodes) of freedom for the two-dimensional Navier--Stokes system and Navier-Stokes system with damping. In the first case we obtain the previously known estimates in an explicit form, which are larger than the fractal dimension of the global attractor. However, for the Navier--Stokes system with damping our estimates for the number of the determining modes and nodes are comparable to the sharp estimates for the fractal dimension of the global attractor. Our investigation of the damped-driven 2D Navier--Stokes sys…
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 rule out the existence of Leray's backward self-similar solutions to the Navier--Stokes equations with profiles in $L^{12/5}(\R^3)$ or in the Marcinkiewicz space $L^{q,\infty}(\R^3)$ for $q\in(12/5, 6)$. This follows from a more general result formulated in terms of Morrey spaces and the first order Riesz's potential.
The aim of this paper is to show time-decay estimates of solutions to linearized two-phase Navier-Stokes equations with surface tension and gravity. The original two-phase Navier-Stokes equations describe the two-phase incompressible viscous flow with a sharp interface that is close to the hyperplane $x_N=0$ in the $N$-dimensional Euclidean space, $N \geq 2$. It is well-known that the Rayleigh-Taylor instability occurs when the upper fluid is heavier than the lower one, while this paper assumes that the lower fluid is heavier than the upper one and proves time-decay estimates of $L_p-L_q$ type…
We prove the existence of a unique unstable strong solution in the sense of $L^1$-norm for an abstract Rayleigh--Taylor (RT) problem arising from stratified viscous fluids in Lagrangian coordinates based on a bootstrap instability method. In the proof, we develop a method to modify the initial data of the linearized abstract RT problem based on an existence theory of unique solution of stratified (steady) Stokes problem and an iterative technique, so that the obtained modified initial data satisfy necessary compatibility conditions of the (original) abstract RT problem. Applying an inverse tra…
We consider the motion of two superposed immiscible, viscous, incompressible, capillary fluids that are separated by a sharp interface which needs to be determined as part of the problem. Allowing for gravity to act on the fluids, we prove local well-posedness of the problem. In particular, we obtain well-posedness for the case where the heavy fluid lies on top of the light one, that is, for the case where the Rayleigh-Taylor instability is present. Additionally we show that solutions become real analytic instantaneously.
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 formulate a new criterion for regularity of a suitable weak solution v to the Navier-Stokes equations at the space-time point (x_0,t_0). The criterion imposes a Serrin-type integrability condition on v only in a backward neighbourhood of (x_0,t_0), intersected with the exterior of a certain space-time paraboloid with vertex at point (x_0,t_0). We make no special assumptions on the solution in the interior of the paraboloid.
We study the equations obtained from linearizing the compressible Navier-Stokes equations around a steady-state profile with a heavier fluid lying above a lighter fluid along a planar interface, i.e. a Rayleigh-Taylor instability. We consider the equations with or without surface tension, with the viscosity allowed to depend on the density, and in both periodic and non-periodic settings. In the presence of viscosity there is no natural variational framework for constructing growing mode solutions to the linearized problem. We develop a general method of studying a family of modified variationa…
We study the three-dimensional Navier-Stokes equations in the presence of the axisymmetric linear strain, where the strain rate depends on time in a specific manner. It is known that the system admits solutions which blow up in finite time and whose profiles are in a backward self-similar form of the familiar Burgers vortices. In this paper it is shown that the existing stability theory of the Burgers vortex leads to the stability of these blow-up solutions as well. The secondary blow-up is also observed when the strain rate is relatively weak.
We study scenarios of self-similar type blow-up for the incompressible Navier-Stokes and the Euler equations. The previous notions of the discretely (backward) self-similar solution and the asymptotically self-similar solution are generalized to the locally asymptotically discretely self-similar solution. We prove that there exists no such locally asymptotically discretely self-similar blow-up for the 3D Navier-Stokes equations if the blow-up profile is a time periodic function belonging to $C^1(\Bbb R ; L^3(\Bbb R^3)\cap C^2 (\Bbb R^3))$. For the 3D Euler equations we show that the scenario o…
We obtain an improved blow-up criterion for solutions of the Navier-Stokes equations in critical Besov spaces. If a mild solution $u$ has maximal existence time $T^* < \infty$, then the non-endpoint critical Besov norms must become infinite at the blow-up time: $$ \lim_{t \uparrow T^*} \lVert{u(\cdot,t)}\rVert_{\dot B^{-1+3/p}_{p,q}(\mathbb{R}^3)} = \infty, \quad 3 < p,q < \infty. $$ In particular, we introduce a priori estimates for the solution based on elementary splittings of initial data in critical Besov spaces and energy methods. These estimates allow us to rescale around a potential si…
We consider the behaviour of weak solutions of the unforced three-dimensional Navier-Stokes equations, under the assumption that the initial condition has finite energy ($\|u\|^2=\int|u|^2$) but infinite enstrophy ($\|Du\|^2=\int|{\rm curl} u|^2$). We show that this has to be reflected in the solution for small times, so that in particular $\|Du(t)\|\to+\infty$ as $t\to0$. We also give some limitations on this `backwards blowup', and give an elementary proof that the upper box-counting dimension of the set of singular times can be no larger than one half. Although similar in flavour, this fina…
It is shown both locally and globally that $L_t^{\infty}(L_x^{3,q})$ solutions to the three-dimensional Navier-Stokes equations are regular provided $q\not=\infty$. Here $L_x^{3,q}$, $0<q\leq\infty$, is an increasing scale of Lorentz spaces containing $L^3_x$. Thus the result provides an improvement of a result by Escauriaza, Seregin and {\v S}verák ((Russian) Uspekhi Mat. Nauk {\bf 58} (2003), 3--44; translation in Russian Math. Surveys {\bf 58} (2003), 211--250), which treated the case $q=3$. A new local energy bound and a new $ε$-regularity criterion are combined with the backward uniquenes…
Vortex Stretching in the Navier-Stokes Equations and Information Dissipation in Diffusion Models: A Reformulation from a Partial Differential Equation Viewpoint
Graduate School of Economics, Hitotsubashi University（早稻田大学经济学研究科）
We revisit the regularity theory of Escauriaza, Seregin, and Šverák for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in natur…
