arXiv subjects
Publications and source records attributed to Edriss S. Titi.
In this paper, we consider the initial-boundary value problem of the 3D primitive equations for oceanic and atmospheric dynamics with only horizontal diffusion in the temperature equation. Global well-posedness of strong solutions are established with $H^2$ initial data.
In this paper, we consider the initial-boundary value problem of the viscous 3D primitive equations for oceanic and atmospheric dynamics with only vertical diffusion in the temperature equation. Local and global well-posedness of strong solutions are established for this system with $H^2$ initial data.
We establish, for smooth enough initial data, the global well-posedness (existence, uniqueness and continuous dependence on initial data) of solutions, for an inviscid three-dimensional {\it slow limiting ocean dynamics} model. This model was derived as a strong rotation limit of the rotating and stratified Boussinesg equations with periodic boundary conditions. To establish our results we utilize the tools developed for investigating the two-dimensional incompressible Euler equations and linear transport equations. Using a weaker formulation of the model we also show the global existence and uniqueness of solutions, for less regular initial data.
In this paper we show that the long time dynamics (the global attractor) of the 2D Navier-Stokes equation is embedded in the long time dynamics of an ordinary differential equation, named {\it determining form}, in a space of trajectories which is isomorphic to $C^1_b(\bR; \bR^N)$, for $N$ large enough depending on the physical parameters of the Navier-Stokes equations. We present a unified approach based on interpolant operators that are induced by any of the determining parameters for the Navier-Stokes equations, namely, determining nodal values, Fourier modes, finite volume elements, finite elements, etc... There are two immediate and interesting consequences of this unified approach. The first is that the constructed determining form has a Lyapunov function, thus its solutions converge, as time goes to infinity, to the set of steady states of the determining form. The second is that these steady states of the determining form are identified, one-to-one, with the trajectories on the global attractor of the Navier-Stokes equations. It is worth adding that this unified approach is general enough that it applies, in an almost straightforward manner, to a whole class of dissipative dynamical systems.
In this paper, a lower bound estimate on the uniform radius of spatial analyticity is established for solutions to the incompressible, forced Navier-Stokes system on an n-torus. This estimate improves or matches previously known estimates provided that certain bounds on the initial data are satisfied. It is argued that for 2D or 3D turbulent flows, the initial data is guaranteed to satisfy these hypothesized bounds on a significant portion of the 2D global attractor or the 3D weak attractor. In these scenarios, the estimate obtained for 3D generalizes and improves upon that of [Doering-Titi], while in 2D, the estimate matches the best known one found in [Kukavica]. A key feature in the approach taken here is the choice of the Wiener algebra as the phase space, i.e., the Banach algebra of functions with absolutely convergent Fourier series, whose structure is suitable for the use of the so-called Gevrey norms.
This paper addresses the problem of global well-posedness of a coupled system of Korteweg-de Vries equations, derived by Majda and Biello in the context of nonlinear resonant interaction of Rossby waves, in a periodic setting in homogeneous Sobolev spaces $\dot H^s$, for $s\geq 0$. Our approach is based on a successive time-averaging method developed by Babin, Ilyin and Titi [1].
We study the persistence of the Gevrey class regularity of solutions to nonlinear wave equations with real analytic nonlinearity. Specifically, it is proven that the solution remains in a Gevrey class, with respect to some of its spatial variables, during its whole life-span, provided the initial data is from the same Gevrey class with respect to these spatial variables. In addition, for the special Gevrey class of analytic functions, we find a lower bound for the radius of the spatial analyticity of the solution that might shrink either algebraically or exponentially, in time, depending on the structure of the nonlinearity. The standard $L^2$ theory for the Gevrey class regularity is employed; we also employ energy-like methods for a generalized version of Gevrey classes based on the $\ell^1$ norm of Fourier transforms (Wiener algebra). After careful comparisons, we observe an indication that the $\ell^1$ approach provides a better lower bound for the radius of analyticity of the solutions than the $L^2$ approach. We present our results in the case of period boundary conditions, however, by employing exactly the same tools and proofs one can obtain similar results for the nonlinear wave equations and the nonlinear Schrödinger equation, with real analytic nonlinearity, in certain domains and manifolds without physical boundaries, such as the whole space $\mathbb{R}^n$, or on the sphere $\mathbb{S}^{n-1}$.
This paper is concerned with the cubic Szegő equation $$ i\partial_t u=Π(|u|^2 u), $$ defined on the $L^2$ Hardy space on the one-dimensional torus $\mathbb T$, where $Π: L^2(\mathbb T)\rightarrow L^2_+(\mathbb T)$ is the Szegő projector onto the non-negative frequencies. For analytic initial data, it is shown that the solution remains spatial analytic for all time $t\in (-\infty,\infty)$. In addition, we find a lower bound for the radius of analyticity of the solution. Our method involves energy-like estimates of the special Gevrey class of analytic functions based on the $\ell^1$ norm of Fourier transforms (the Wiener algebra).
The 3D incompressible Euler equations with a passive scalar $θ$ are considered in a smooth domain $Ω\subset \mathbb{R}^{3}$ with no-normal-flow boundary conditions $\bu\cdot\bhn|_{\partialΩ} = 0$. It is shown that smooth solutions blow up in a finite time if a null (zero) point develops in the vector $\bB = \nabla q\times\nablaθ$, provided $\bB$ has no null points initially\,: $\bom = \mbox{curl}\,\bu$ is the vorticity and $q = \bom\cdot\nablaθ$ is a potential vorticity. The presence of the passive scalar concentration $θ$ is an essential component of this criterion in detecting the formation of a singularity. The problem is discussed in the light of a kinematic result by Graham and Henyey (2000) on the non-existence of Clebsch potentials in the neighbourhood of null points.
Helical symmetry is invariance under a one-dimensional group of rigid motions generated by a simultaneous rotation around a fixed axis and translation along the same axis. The key parameter in helical symmetry is the step or pitch, the magnitude of the translation after rotating one full turn around the symmetry axis. In this article we study the limits of three-dimensional helical viscous and inviscid incompressible flows in an infinite circular pipe, with respectively no-slip and no-penetration boundary conditions, as the step approaches infinity. We show that, as the step becomes large, the three-dimensional helical flow approaches a planar flow, which is governed by the so-called two-and-half Navier-Stokes and Euler equations, respectively.
We present a new continuous data assimilation algorithm based on ideas that have been developed for designing finite-dimensional feedback controls for dissipative dynamical systems, in particular, in the context of the incompressible two-dimensional Navier--Stokes equations. These ideas are motivated by the fact that dissipative dynamical systems possess finite numbers of determining parameters (degrees of freedom) such as modes, nodes and local spatial averages which govern their long-term behavior. Therefore, our algorithm allows the use of any type of measurement data for which a general type of approximation interpolation operator exists. Our main result provides conditions, on the finite-dimensional spatial resolution of the collected data, sufficient to guarantee that the approximating solution, obtained by our algorithm from the measurement data, converges to the unknown reference solution over time. Our algorithm is also applicable in the context of signal synchronization in which one can recover, asymptotically in time, the solution (signal) of the underlying dissipative system that is corresponding to a continuously transmitted partial data.
We study the global regularity, for all time and all initial data in $H^{1/2}$, of a recently introduced decimated version of the incompressible 3D Navier-Stokes (dNS) equations. The model is based on a projection of the dynamical evolution of Navier-Stokes (NS) equations into the subspace where helicity (the $L^2-$scalar product of velocity and vorticity) is sign-definite. The presence of a second (beside energy) sign-definite inviscid conserved quadratic quantity, which is equivalent to the $H^{1/2}-$Sobolev norm, allows us to demonstrate global existence and uniqueness, of space-periodic solutions, together with continuity with respect to the initial conditions, for this decimated 3D model. This is achieved thanks to the establishment of two new estimates, for this 3D model, which show that the $H^{1/2}$ and the time average of the square of the $H^{3/2}$ norms of the velocity field remain finite. Such two additional bounds are known, in the spirit of the work of H. Fujita and T. Kato \cite{kato1,kato2}, to be sufficient for showing well-posedness for the 3D NS equations. Furthermore, they are directly linked to the helicity evolution for the dNS model, and therefore with a clear physical meaning and consequences.
This contribution covers the topics presented by the authors at the {\it ``Fundamental Problems of Turbulence, 50 Years after the Marseille Conference 1961"} meeting that took place in Marseille in 2011. It focuses on some of the mathematical approaches to fluid dynamics and turbulence. This contribution does not pretend to cover or answer, as the reader may discover, the fundamental questions in turbulence, however, it aims toward presenting some of the most recent advances in attacking these questions using rigorous mathematical tools. Moreover, we consider that the proofs of the mathematical statements (concerning, for instance, finite time regularity, weak solutions and vanishing viscosity) may contain information as relevant, to the understanding of the underlying problem, as the statements themselves.
In an earlier work we have shown the global (for all initial data and all time) well-posedness of strong solutions to the three-dimensional viscous primitive equations of large scale oceanic and atmospheric dynamics. In this paper we show that for certain class of initial data the corresponding smooth solutions of the inviscid (non-viscous) primitive equations blow up in finite time. Specifically, we consider the three-dimensional inviscid primitive equations in a three-dimensional infinite horizontal channel, subject to periodic boundary conditions in the horizontal directions, and with no-normal flow boundary conditions on the solid, top and bottom, boundaries. For certain class of initial data we reduce this system into the two-dimensional system of primitive equations in an infinite horizontal strip with the same type of boundary conditions; and then show that for specific sub-class of initial data the corresponding smooth solutions of the reduced inviscid two-dimensional system develop singularities in finite time.
The determining modes for the two-dimensional incompressible Navier-Stokes equations (NSE) are shown to satisfy an ordinary differential equation of the form $dv/dt=F(v)$, in the Banach space, $X$, of all bounded continuous functions of the variable $s\in\mathbb{R}$ with values in certain finite-dimensional linear space. This new evolution ODE, named {\it determining form}, induces an infinite-dimensional dynamical system in the space $X$ which is noteworthy for two reasons. One is that $F$ is globally Lipschitz from $X$ into itself. The other is that the long-term dynamics of the determining form contains that of the NSE; the traveling wave solutions of the determining form, i.e., those of the form $v(t,s)=v_0(t+s)$, correspond exactly to initial data $v_0$ that are projections of solutions of the global attractor of the NSE onto the determining modes. The determining form is also shown to be dissipative; an estimate for the radius of an absorbing ball is derived in terms of the number of determining modes and the Grashof number (a dimensionless physical parameter). Finally, a unified approach is outlined for an ODE satisfied by a variety of other determining parameters such as nodal values, finite volumes, and finite elements.
We show that for a certain family of initial data, there exist non-unique weak solutions to the 3D incompressible Euler equations satisfying the weak energy inequality, whereas the weak limit of every sequence of Leray-Hopf weak solutions for the Navier-Stokes equations, with the same initial data, and as the viscosity tends to zero, is uniquely determined and equals the shear flow solution of the Euler equations. This simple example suggests that, also in more general situations, the vanishing viscosity limit of the Navier-Stokes equations could serve as a uniqueness criterion for weak solutions of the Euler equations.
We study an initial-boundary value problem (IBVP) for a coupled Cahn-Hilliard-Hele-Shaw system that models tumor growth. For large initial data with finite energy, we prove global (local resp.) existence, uniqueness, higher order spatial regularity and Gevrey spatial regularity of strong solutions to the IBVP in 2D (3D resp.). Asymptotically in time, we show that the solution converges to a constant state exponentially fast as time tends to infinity under certain assumptions.
We study a viscous two-layer quasi-geostrophic beta-plane model that is forced by imposition of a spatially uniform vertical shear in the eastward (zonal) component of the layer flows, or equivalently a spatially uniform north-south temperature gradient. We prove that the model is linearly unstable, but that non-linear solutions are bounded in time by a bound which is independent of the initial data and is determined only by the physical parameters of the model. We further prove, using arguments first presented in the study of the Kuramoto-Sivashinsky equation, the existence of an absorbing ball in appropriate function spaces, and in fact the existence of a compact finite-dimensional attractor, and provide upper bounds for the fractal and Hausdorff dimensions of the attractor. Finally, we show the existence of an inertial manifold for the dynamical system generated by the model's solution operator. Our results provide rigorous justification for observations made by Panetta based on long-time numerical integrations of the model equations.