We prove the time analyticity for weak solutions of inhomogeneous parabolic equations with measurable coefficients in the half space with either the Dirichlet boundary condition or the conormal boundary condition under the assumption that the solution and the source term have the exponential growth of order $2$ with respect to the space variables. We also obtain the time analyticity for bounded mild solutions of the incompressible Navier-Stokes equations in the half space with the Dirichlet boundary condition. Our work is an extension of the recent work by Zhang [Proc. Amer. Math. Soc. 148 (2020)] and Dong-Zhang [J. Funct. Anal. (2020)], where the authors proved the time analyticity of solutions to the homogeneous heat equation and the Navier-Stokes equations in the whole space.
In this paper, we show the optimal decay rate estimates of the space-time derivatives and the joint space-time analyticity of solutions to the Navier-Stokes equations. As it is known from the Hartogs's theorem, for a complex function with two complex variables, the joint analyticity with respect to two variables can be derived from combining of analyticity with respect to each variable. However, as a function of two real variables for space and time, the joint space-time analyticity of solutions to the Navier-Stokes equations cannot be directly obtained from the combination of space analyticit…
By using a new bilinear estimate, a pointwise estimate of the generalized Oseen kernel and an idea of fractional bootstrap, we show in this note that solutions to the Navier-Stokes equations with fractional dissipation are analytic in space variables.
Lei and Lin have recently given a proof of a global mild solution of the three-dimensional Navier-Stokes equations in function spaces based on the Wiener algebra. An alternative proof of existence of these solutions was then developed by Bae, and this new proof allowed for an estimate of the radius of analyticity of the solutions at positive times. We adapt the Bae proof to prove existence of the Lei-Lin solution in the spatially periodic setting, finding an improved bound for the radius of analyticity in this case.
We study the Cauchy problem for the (generalized) incompressible Navier-Stokes equations \begin{align} u_t+(-Δ)^αu+u\cdot \nabla u +\nabla p=0, \ \ {\rm div} u=0, \ \ u(0,x)= u_0. \nonumber \end{align} We show the analyticity of the local solutions of the Navier-Stokes equation ($α=1$) with any initial data in critical Besov spaces $\dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n)$ with $1< p<\infty, \ 1\le q\le \infty $ and the solution is global if $u_0$ is sufficiently small in $\dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n)$. In the case $p=\infty$, the analyticity for the local solutions of the Navier-Stokes equ…
In this note we give an elementary proof of the space-like real analyticity of solutions to a degenerate evolution problem that arises in the study of fractional parabolic operators of the type $(\partial_t - div_x(B(x)\nabla_x))^s$, $0<s<1$. Our primary interest is in the so-called \emph{extension variable}. We show that weak solutions that are even in such variable, are in fact real-analytic in the totality of the space variables. As an application of this result we prove the weak unique continuation property for nonlocal parabolic operators of the type above, where $B(x)$ is a uniformly ell…
It is proved that there exists a local-in-time solution $u\in C([0,T),bmo(\mathbb{R}^d)^d)$ of the Navier-Stokes equations such that every $u(t)$ has an analytic extension on a complex domain whose size only depends on $t$ (and increases with $t$) and the external force $f$, assuming only that the initial velocity $u_0$ is a local $BMO$ function. Our method for proving is a combination and refinement of the work by Grujić and Kukavica [13], Guberović [15] and Kozono et al. [18]. One challenging step is the estimation of the heat and Stokes semigroups from $BMO$-type spaces to $L^\infty$; a res…
We study spatial analyticity properties of solutions of the Navier-Stokes equations and obtain new growth rate estimates for the analyticity radius. We also study stability properties of strong global solutions of the Navier-Stokes equations with data in H^r, r greater or equal 1/2, and prove a stability result for the analyticity radius.
We study the radius of analyticity~$R(t)$ in space, of strong solutions to systems of scale-invariant semi-linear parabolic equations. It is well-known that near the initial time,~$R(t)t^{-\frac12}$ is bounded from below by a positive constant. In this paper we prove that~$\displaystyle\liminf_{t\rightarrow 0} R(t)t^{-\frac12}= \infty$, and assuming higher regularity for the initial data, we obtain an improved lower bound near time zero. As an application, we prove that for any global solution~$u\in C([0,\infty); H^{\frac12}(\R^3))$ of the Navier-Stokes equations, there holds~$\displaystyle\li…
We obtain a logarithmically sharp estimate for the space-analyticity radius of the solutions of the damped-driven 2D Navier-Stokes equations with periodic boundary conditions and relate this to the small scales in this system. This system is inspired by the Stommel--Charney barotropic ocean circulation model.
We are concerned with an isothermal model of viscous and capillary compressible fluids derived by J. E. Dunn and J. Serrin (1985), which can be used as a phase transition model. Compared with the classical compressible Navier-Stokes equations, there is a smoothing effect on the density that comes from the capillary terms. First, we prove that the global solutions with critical regularity that have been constructed in [11] by the second author and B. Desjardins (2001), are Gevrey analytic. Second, we extend that result to a more general critical L p framework. As a consequence, we obtain algebr…
We find new quantitative estimates on the space-time analyticity of solutions to linear parabolic equations with analytic coefficients near the initial time. We apply the estimates to obtain observability inequalities and null-controllability of parabolic evolutions over measurable sets.
Analyticity and asymptotic behavior of solutions to the compressible Navier-Stokes-Korteweg equations with the zero sound speed in scaling critical spaces
Graduate School of Engineering Science, The University of Osaka（大阪大学工学研究科）；Faculty of Engineering, Shinshu University（信州大学工学部）
Analyticity of the data-to-solution map for a stationary Navier-Stokes fluid-structure interaction problem
University of Zagreb Faculty of Electrical Engineering and Computing（萨格勒布大学电气工程学院与计算学院）；University of Zagreb Faculty of Science, Department of Mathematics（萨格勒布大学理学院数学系）
We prove the analyticity in time for solutions of two parabolic equations in the whole space, without any decaying or vanishing conditions. One of them involves solutions to the heat equation of exponential growth of order $2$ on $\M$. Here $\M$ is $\R^d$ or a complete noncompact manifold with Ricci curvature bounded from below by a constant. An implication is a sharp solvability condition for the Cauchy problem of the backward heat equation, which is a well known ill-posed problem. Another implication is a sharp criteria for time analyticity of solutions down to the initial time. The other pe…
In this paper, we investigate pointwise time analyticity of solutions to fractional heat equations in the settings of $\mathbb{R}^d$ and a complete Riemannian manifold $\mathrm{M}$. On one hand, in $\mathbb{R}^d$, we prove that any solution $u=u(t,x)$ to $u_t(t,x)-\mathrm{L}_α^κ u(t,x)=0$, where $\mathrm{L}_α^κ$ is a nonlocal operator of order $α$, is time analytic in $(0,1]$ if $u$ satisfies the growth condition $|u(t,x)|\leq C(1+|x|)^{α-ε}$ for any $(t,x)\in (0,1]\times \mathbb{R}^d$ and $ε\in(0,α)$. We also obtain pointwise estimates for $\partial_t^kp_α(t,x;y)$, where $p_α(t,x;y)$ is the f…
Through Borel summation methods, we analyze two different variations of the Navier-Stokes equation --the Boussinesq equation and the magnetic Benard equation. This method has previously been applied to the Navier-Stokes equation. We prove that an equivalent system of integral equations in each case has a unique solution, which is exponentially bounded for p in R^{+}, p being the Laplace dual variable of 1/t. This implies the local existence of a classical solution in a complex t-region that includes a real positive time (t)-axis segment. In this formalism, global existence of PDE solutions bec…
We develop a strategy making extensive use of tent spaces to study parabolic equa-tions with quadratic nonlinearities as for the Navier-Stokes system. We begin with a new proof of the well-known result of Koch and Tataru on the well-posedness of Navier-Stokes equations in \R^n with small initial data in BMO^{-1}(\R^n). We then study another model where neither pointwise kernel bounds nor self-adjointness are available.
In this paper we give a survey on how to apply recent techniques of Clifford analysis over conformally flat manifolds to deal with instationary flow problems on cylinders and tori. Solutions are represented in terms of integral operators involving explicit expressions for the Cauchy kernel that are associated to the parabolic Dirac operators acting on spinor sections of these manifolds.
We show that solutions to a large class of inviscid equations, in Eulerian variables, extend as holomorphic functions of time, with values in a Gevrey class (thus space-analytic), and are solutions of complexified versions of the said equations. The class of equations we consider includes those of fluid dynamics such as the Euler, surface quasi-geostrophic, Boussinesq and magnetohydrodynamic equations, as well as other equations with analytic nonlinearities. The initial data are assumed to belong to a $\mathit{Gevrey\:class}$, i.e., analytic in the space variable. Our technique follows that of…
We consider the wellposedness of the fractional Navier-Stokes as a generalization of the wellposedness result in Koch-Tataru's paper. An interesting remark is that our result does not contradict to the well-known ill-posedness result for Navier-Stokes with initial data in $\dot B^{-1, \infty}_\infty$ by Bourgain-Pavlovic. In the end, we also discuss the regularity and analyticity in the space variable.
In this paper, we shall establish the global well-posedness, the space-time analyticity of the Navier-Stokes equations for a class of large periodic data $u_0 \in BMO^{-1}(\mathbb{R}^3)$. This improves the classical result of Koch \& Tataru \cite{koch-tataru}, for the global well-posedness with small initial data $u_0 \in BMO^{-1}(\mathbb{R}^n)$.
The embeddings theorem of space-boundary-type DeGiorgi-Ladyzhenskaya parabolic classes into Holder spaces is presented, which is useful for regularity considerations for parabolic boundary value problems. Additionaly, the application of this theory to Navier-Stokes-s swirl is presented.
We provide a detailed analysis of the boundary layers for mixed hyperbolic-parabolic systems in one space dimension and small amplitude regimes. As an application of our results, we describe the solution of the so-called boundary Riemann problem recovered as the zero viscosity limit of the physical viscous approximation. In particular, we tackle the so called doubly characteristic case, which is considerably more demanding from the technical viewpoint and occurs when the boundary is characteristic for both the mixed hyperbolic-parabolic system and for the hyperbolic system obtained by neglecti…
We address the local well-posedness of the hydrostatic Navier-Stokes equations. These equations, sometimes called reduced Navier-Stokes/Prandtl, appear as a formal limit of the Navier-Stokes system in thin domains, under certain constraints on the aspect ratio and the Reynolds number. It is known that without any structural assumption on the initial data, real-analyticity is both necessary and sufficient for the local well-posedness of the system. In this paper we prove that for convex initial data, local well-posedness holds under simple Gevrey regularity.
The goal of this paper is twofold. First, we give a simple proof that sufficiently sparse Navier--Stokes solutions do not develop singularities. This provides an alternative to the approach of \cite{Grujic2013}, which is based on analyticity and the `harmonic measure maximum principle'. Second, we analyze the claims in \cite{algebraicreduction,grujic2019asymptotic} that \emph{a priori} estimates on the sparseness of the vorticity and higher velocity derivatives reduce the 'scaling gap' in the regularity problem.
In this paper we give a new formulation of the compressible Navier-Stokes by introducing an suitable effective velocity $v=u+\n\va(ρ)$ provided that the viscosity coefficients verify the algebraic relation of \cite{BD}. We give in particular a very simple proof of the entropy discovered in \cite{BD}, in addition our argument show why the algebraic relation of \cite{BD} appears naturally. More precisely the system reads in a very surprising way as two parabolic equation on the density $ρ$ and the vorticity ${\rm curl}v$, and as a transport equation on the divergence ${\rm div}v$. We show the ex…
We establish the validity of the Euler$+$Prandtl approximation for solutions of the Navier-Stokes equations in the half plane with Dirichlet boundary conditions, in the vanishing viscosity limit, for initial data which are analytic only near the boundary, and Sobolev smooth away from the boundary. Our proof does not require higher order correctors, and works directly by estimating an $L^{1}$-type norm for the vorticity of the error term in the expansion Navier-Stokes$-($Euler$+$Prandtl$)$. An important ingredient in the proof is the propagation of local analyticity for the Euler equation, a re…
The set of nonzero external forces for which the zero function is in the global attractor of the 2D Navier-Stokes equations is shown to be meagre in a Fréchet topology. A criterion in terms of a Taylor expansion in complex time is used to characterize the forces in this set. This leads to several relations between certain Gevrey subclasses of $C^{\infty}$ and a new upper bound for a Gevrey norm of solutions in the attractor, valid in the strip of analyticity in time.
Based on some elementary estimates for the space-time derivatives of the heat kernel, we use a bootstrapping approach to establish the optimal decay rates for the $L^q(\mathbb{R}^d)$ ($1\leq q\leq\infty$, $d\in\mathbb{N}$) norm of the space-time derivatives of solutions to the (modified) Patlak-Keller-Segel equations with initial data in $L^1(\mathbb{R}^d)$, which implies the joint space-time analyticity of solutions. When the $L^1(\mathbb{R}^d)$ norm of the initial datum is small, the upper bound for the decay estimates is global in time, which yields a lower bound on the growth rate of the r…
We develop, analyze, and test an approximate, global data assimilation/synchronization algorithm based on purely local observations for the two-dimensional Navier-Stokes equations on the torus. We prove that, for any error threshold, if the reference flow is analytic with sufficiently large analyticity radius, then it can be recovered within that threshold. Numerical computations are included to demonstrate the effectiveness of this approach, as well as variants with data on moving subdomains. In particular, we demonstrate numerically that machine precision synchronization is achieved for mobi…
In 2001, H. Koch and D. Tataru proved the existence of global in time solutions to the incompressible Navier-Stokes equations in ${\mathbb{R}}^d$ for initial data small enough in $BMO^{-1}$. We show in this article that the Koch and Tataru solution has higher regularity. As a consequence, we get a decay estimate in time for any space derivative, and space analyticity of the solution. Also as an application of our regularity theorem, we prove a regularity result for self-similar solutions.
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.
Analytic smooth solutions of a general, strongly parabolic semi-linear Cauchy problem of $2m$-th order in $\mathbb{R}^N\times (0,T)$ with analytic coefficients (in space and time variables) and analytic initial data (in space variables) are investigated. They are expressed in terms of holomorphic continuation of global (weak) solutions to the system valued in a suitable Besov interpolation space of $B^{s;p,p}$-type at every time moment $t\in [0,T]$. Given $0 < T'< T\leq \infty$, it is proved that any $B^{s;p,p}$-type solution $u\colon \mathbb{R}^N\times (0,T)\to \mathbb{C}^M$ with analytic ini…
In this paper, we present two constructions of forward self-similar solutions to the $3$D incompressible Navier-Stokes system, as the singular limit of forward self-similar solutions to certain parabolic systems.
We treat the heat equation with singular drift terms and its generalization: the linearized Navier-Stokes system. In the first case, we obtain boundedness of weak solutions for highly singular, "supercritical" data. In the second case, we obtain regularity result for weak solutions with mildly singular data ( those in the Kato class). This not only extends some of the classical regularity theory in [AS], [CrZ] and others from the case of elliptic and heat equations to that of linearized Navier-Stokes equations but also proves an unexpected gradient estimate, which extends the recent interestin…
For incompressible Navier-Stokes equations, Necas-Ruzicka-Sverak proved that self-similar solution has to be zero in 1996. Further, Yang-Yang-Wu find symmetry property plays an important role in the study of ill-posedness. In this paper, we consider two types of symmetry property. We search special symmetric and uniform analytic functions to approach the solution and establish global uniform analytic and symmetric solution with initial value in general symmetric Fourier-Herz space. For two kinds of symmetry of initial data, we prove that the solution has also the same symmetric structure. Furt…
The purpose of this work is to study the existence and analytic smoothing effect for the compressible Navier- Stokes system with quantum pressure in pseudo-measure spaces. This system has been considered by B. Haspot and an analytic smoothing effect for a Korteweg type system was considered by F. Charve, R. Danchin and J. Xu, both of them in Besov spaces. Here we give a better lower bound of the radius of analyticity near zero. This work is an opportunity to deepen the study of partial differential equations in pseudo-measure spaces by introducing a new functional setting to deal with non-line…
We show that for any given solenoidal initial data in $L^2$ and any solenoidal external force in $L_{\text{loc}}^q \bigcap L^{3/2}$ with $q>3$, there exist partially regular weak solutions of the Navier-Stokes equations in $\R^4 \times [0,\infty[$ which satisfy certain local energy inequalities and whose singular sets have locally finite $2$-dimensional parabolic Hausdorff measure. With the help of a parabolic concentration-compactness theorem we are able to overcome the possible lack of compactness arising in the spatially $4$-dimensional setting by using defect measures, which we then incorp…
Let $L$ be a Neumann operator of the form $L=-Δ_{N}$ acting on $L^2(\mathbb R^n)$. Let ${BMO}_{Δ_{N}}(\mathbb R^n)$ denote the BMO space on $\mathbb R^n$ associated to the Neumann operator $Ł$. In this article we will show that a function $f\in { BMO}_{Δ_{N}}(\mathbb R^n)$ is the trace of the solution of $${\mathbb L}u=u_{t}+L u=0, u(x,0)= f(x),$$ where $u$ satisfies a Carleson-type condition \begin{eqnarray*} \sup_{x_B, r_B} r_B^{-n}\int_0^{r_B^2}\int_{B(x_B, r_B)} |\nabla u(x,t)|^2 {dx dt } \leq C <\infty, \end{eqnarray*} for some constant $C>0$. Conversely, this Carleson condition character…
In this paper we deal with parabolic variational inequalities of Navier-Stokes type with time-dependent constraints on velocity fields, including gradient constraint case. One of the objectives of this paper is to propose a weak variational formulation for variational inequalities of Navier-Stokes type and to solve them by applying the compactness theorem, which was recently developed by the authors (cf. [22]). Another objective is to approach to a class of quasi-variational inequalities associated with Stefan/Navier-Stokes problems in which we are taking into account the freezing effect of ma…
This paper would focus on the subject of the 2-D incompressible Navier-Stokes-Cahn-Hilliard (NS-CH) system with a singular free energy density. Due to lack of the maximum principle for the convective Cahn-Hilliard equation (as a fourth-order parabolic equation), we construct its approximate second-order parabolic equation, and use comparison principle and the basic energy estimates to separate the solution from the singular values of the singular free energy density, where the Orlicz embedding theorem plays a key role. Based on these, we prove the global well-posedness of the Cauchy problem of…
We study the partial regularity problem of the three-dimensional incompressible Navier--Stokes equations. We present a new boundary regularity criterion for boundary suitable weak solutions. As an application, a bound for the parabolic Minkowski dimension of possible singular points on the boundary is obtained.
