On hyperbolicity and Gevrey well-posedness. I: The elliptic case

From MaRDI portal
Publication:2220244



Abstract: In this paper we prove that the Cauchy problem for first-order quasi-linear systems of partial differential equations is ill-posed in Gevrey spaces, under the assumption of an initial ellipticity. The assumption bears on the principal symbol of the first-order operator. Ill-posedness means instability in the sense of Hadamard, specifically an instantaneous defect of H"older continuity of the flow from Gsigma to L2, where sigmain(0,1) depends on the initial spectrum. Building on the analysis carried out by G. M'etivier [ extit{Remarks on the well-posedness of the nonlinear Cauchy problem}, Contemp. Math. 2005], we show that ill-posedness follows from a long-time Cauchy-Kovalevskaya construction of a family of exact, highly oscillating, analytical solutions which are initially close to the null solution, and which grow exponentially fast in time. A specific difficulty resides in the observation time of instability. While in Sobolev spaces, this time is logarithmic in the frequency, in Gevrey spaces it is a power of the frequency. In particular, in Gevrey spaces the instability is recorded much later than in Sobolev spaces.


The author is interested in the Cauchy problem for first-order quasilinear systems of partial differential equations \[ \begin{cases} \partial_t u=\displaystyle\sum_{j=1}^d A_j(t,x,u)\partial_{x_j}u+f(t,x,u)\\ u(0,x)=h(x) \end{cases}\tag{E} \] where \(t\geq0\), \(x\in\mathbb R^d\), \(u(t,x)\) and \(f(t,x,u)\) are in \(\mathbb R^N\), and where \(A_j(t,x,u)\) are in \(\mathbb R^N\times\mathbb R^N\) for all \(j\). The coefficients \(A_j\) and \(f\) are besides assumed to be analytic near the origin \((0,0,0)\). \textit{G. Métivier} [Contemp. Math. 368, 337--356 (2005; Zbl 1071.35074)] proved in the case, where the first-order operator is initially micro-locally elliptic, that the Cauchy problem (E) is ill-posed in Gevrey spaces. Here, the ill-posedness means instability in the sense of Hadamard, specifically an instantaneous defect of Hölder continuity of the flow from \(G^{\sigma}\) to \(L^2\), where \(\sigma\in(0,1)\) depends on the initial spectrum. The aim of this article is to extend this result under some convenient assumption on the principal symbol of (E). In particular, some bounds on \(\sigma\) are made explicit.











This page was built for publication: On hyperbolicity and Gevrey well-posedness. I: The elliptic case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220244)