Non-uniform dependence for Euler equations in Besov spaces
Introduction
We consider the Cauchy problem governing the motion of a non-viscous and incompressible fluid in a domain where is the velocity field, is the pressure function and is the divergence free initial velocity.
A Cauchy problem is said to be well-posed in the sense of Hadamard if given an initial data one can show the existence of a unique solution that depends continuously on the initial data. Our main concern here is with the local, in time, theory. We first generalize the periodic result of Himonas and Misiołek [12] and show that continuous dependence on the initial data in the Eulerian coordinates is the best result one can expect for Besov spaces on the torus .
Theorem 1 Let , and . The data-to-solution map of the incompressible Euler equations (1) is not uniformly continuous from the unit ball in into .
Liu and Tang [15] extended the periodic result in [12] to for . We further extend their result to include the cases and use similar scales as in [15] for the non-periodic case. Recently, in the special case , Misiołek and Yoneda [21] have shown that the solution map for the Euler equations is not even continuous in the space of Hölder continuous functions, and thus not locally Hadamard well-posed in unless restricted to the little Hölder subspace . More precisely, they showed that the incompressible Euler equations (1) are locally well-posed in the sense of Hadamard in for any and , where is the closure of the functions with respect to the Hölder norm, see [3]. Most recently Bourgain and Li [7] settled the border line case left open in [12] in the non-periodic case.
As a consequence to Theorem 1 we have the following result. Corollary 1 The data-to-solution map of the incompressible Euler equations (1) is not uniformly continuous from the unit ball in into for any and .
For the non-periodic case we have the following result. Theorem 2 Let , and . The data-to-solution map of the incompressible Euler equations (1) is not uniformly continuous from the unit ball in into .
For background on well-posedness of the Euler equations we refer the reader to the monographs of Bahouri, Chemin and Danchin [2], Bertozzi and Majda [4] and Chemin [8]. The first rigorous results in this direction were proved in the framework of Hölder spaces by Gyunter [11], Lichtenstein [20] and Wolibner [29], and subsequently by Kato [16], Yudovich [30], Ebin and Marsden [10] and others. Concerning the properties of the data-to-solution map, the first results can be found in [10] and in the work of Kato [17], who among other things showed that the solution map for Burgers' equation is not Hölder continuous in topology for any Hölder exponent. Further continuity results for the solution map of the Euler equations were obtained in by Kato and Lai [18], and subsequently in by Kato and Ponce [19]. Ever since, the subject has become an active area of research involving many non-linear evolution equations.
It is worth pointing out in passing that Pak and Park [23] established existence and uniqueness of solutions of the Euler equations in and showed that the solution map is in fact Lipschitz continuous when viewed as a map between and . Later, Cheskidov and Shvydkoy [9] proved that the solution of the Euler equations cannot be continuous as a function of the time variable at in the spaces where if and if . Furthermore, Bourgain and Li [5], [6] showed that for the Euler equations are strongly ill-posed in the Sobolev space for any , the Besov space for any , , and in the classical spaces and for any integer , see also [22]. Most recently, Holmes, Keyfitz and Tiglay [13] proved the non-uniform continuity of the solution map for compressible gas in the Sobolev spaces, and Holmes and Tiglay [14] have obtained similar results for the Hunter Saxton equation in Besov spaces.
Section snippets
Preliminaries
In this section we introduce notation and preliminary results. The solutions that we consider take values in the Besov spaces . Given a smooth bump function supported in the ball of radius 2 and equal to one in the ball of radius 1, we let and set for all . Any such dyadic partition of unity defines a frequency restriction operator on functions, , via the relation . In what follows we will let X denote either or
Non-uniform dependence in Besov spaces - the periodic case
In this section we prove that the solution map is not uniformly continuous in the periodic case.
To proceed we will need the following estimates for high frequencies in Besov spaces. Lemma 2 Let and . For any constant we have the estimates
Proof We will proceed by cases. Case I: . Since any dyadic partition induces an equivalent norm we further assume that the 's are radial and use the inverse Fourier transform to get
Non-uniform dependence in Hölder spaces - the periodic case
In this section we prove Corollary 1. is the space of functions in satisfying the additional vanishing condition
Given that the case is already included in the scope of Theorem 1 we see that the result holds in where it is expected for as shown in [21], in this case the solution map is not even continuous. Thus our result states that in , continuity of the data-to-solution map is optimal. Since
Non-uniform dependence in Besov spaces - the non-periodic case
As in Section 3, our general strategy will be to find two sequences of solutions to (7) for which conditions (i)-(iii) are satisfied. We make use of the approximate solutions technique as in [12]. For more details about this technique refer to Tzvetkov [28]. We first select two sequences of bounded approximate solutions, which are arbitrarily close at time zero but separated at later times. We then show that the difference between the approximate solutions and the exact solutions to equation (7)
Acknowledgements
This work was done in full while the author conducted graduate studies in the Department of Mathematics at the University of Notre Dame. The author would like to thank the José Enrique Fernández Fellowship for the support during his years at Notre Dame and Gerard Misiołek for all the conversations that lead to the development of this manuscript.
References (30)
- et al.
Nonlinear evolution equations and the Euler flow
J. Funct. Anal.
(1984) Analyticity for the Stokes operator in Besov spaces
J. Korean Math. Soc.
(2003)- et al.
Fourier Analysis and Nonlinear Partial Differential Equations
(2011) - et al.
Interpolation Spaces
(1976) - et al.
Vorticity and Incompressible Flow
(2002) - et al.
Strong ill-posedness of the incompressible Euler equation in borderline Sobolev spaces
Invent. Math.
(2015) - et al.
Strong ill-posedness of the incompressible Euler equation in integer spaces
Geom. Funct. Anal.
(2015) - et al.
Galilean boost and non-uniform continuity for incompressible Euler
Commun. Math. Phys.
(2019) Perfect Incompressible Fluids
(1998)- et al.
Ill-posedness of the basic equations of fluid dynamics in Besov spaces
Proc. Am. Math. Soc.
(2010)
Groups of diffeomorphisms and the motion of an incompressible fluid
Ann. Math.
On the motion of a fluid contained in a given moving vessel
Izv. Akad. Nauk USSR, Ser. Phys. Mat.
Non-uniform dependence on initial data of solutions to the Euler equations of hydrodynamics
Commun. Math. Phys.
Nonuniform dependence on initial data for compressible gas dynamics: the Cauchy problem on
SIAM J. Math. Anal.
Non-uniform dependence of the data-to-solution map for the Hunter–Saxton equation in Besov spaces
J. Evol. Equ.
Cited by (12)
Ill-posedness for the Euler equations in Besov spaces
2023, Nonlinear Analysis: Real World ApplicationsNon-uniform dependence on initial data for the Benjamin–Ono equation
2022, Nonlinear Analysis: Real World ApplicationsThe continuous dependence of the viscous Boussinesq equations uniformly with respect to the viscosity
2024, Nonlinear Differential Equations and ApplicationsOn the Cauchy problem for a four-component Novikov system with peaked solutions
2023, Mathematical Methods in the Applied SciencesSome properties of the solutions of the N-component Camassa–Holm system with peakons
2023, Monatshefte fur MathematikNon-uniform dependence of the data-to-solution map for the two-component Fornberg–Whitham system
2023, Annali di Matematica Pura ed Applicata