$L^2$ well-posed Cauchy problems and symmetrizability of first order systems

Métivier, Guy

Journal de l’École polytechnique — Mathématiques, Tome 1 (2014), pp. 39-70.

Le problème de Cauchy est bien posé dans $L^2$ pour les systèmes du premier ordre $L(t,x,{\partial }_t,{\partial }_x)$ qui admettent un symétriseur microlocal $S(t,x,\xi )$ $C^{\infty }$ en $\xi \ne 0$ et lipschitzien en $(t,x)$. Cet article contient trois principaux résultats. D’abord, il est montré qu’une régularité lipschitzienne globale en $(t,x,\xi )$ pour le symétriseur est suffisante. Ensuite, il est établi que l’existence de symétriseurs microlocaux est équivalente à l’existence de symétriseurs complets $\Sigma (t,x,\tau ,\xi )$ de même régularité, notion introduite dans [FL67]. Cette étape est le point clé dans la démonstration du troisième résultat qui affirme que l’existence de symétriseurs microlocaux est préservée par changement de variable de temps. Un corollaire en est l’unicité locale et la vitesse finie de propagation.

The Cauchy problem for first order system $L(t,x,{\partial }_t,{\partial }_x)$ is known to be well-posed in $L^2$ when it admits a microlocal symmetrizer $S(t,x,\xi )$ which is smooth in $\xi$ and Lipschitz continuous in $(t,x)$. This paper contains three main results. First we show that a Lipschitz smoothness globally in $(t,x,\xi )$ is sufficient. Second, we show that the existence of symmetrizers with a given smoothness is equivalent to the existence of full symmetrizers having the same smoothness. This notion was first introduced in [FL67]. This is the key point to prove the third result saying that the existence of microlocal symmetrizer is preserved if one changes the direction of time, implying local uniqueness and finite speed of propagation.

Classification : 35L
Keywords: Systems of partial differential equations, Cauchy problem, hyperbolicity, strong hyperbolicity, symmetrizers, energy estimate, local uniqueness, finite speed of propagation
Mot clés : Systèmes d’équations aux dérivées partielles, problème de Cauchy, hyperbolicité, hyperbolicité forte, symétriseurs, estimation d’énergie, unicité locale, propagation à vitesse finie

[Bro79] Bronshtejn, M. D. Smoothness of roots of polynomials depending on parameters, Sibirsk. Mat. Zh., Volume 20 (1979) no. 3, pp. 493-501 English transl. Siberian Math. J. 20 (1980), p. 347–352 | DOI | MR | Zbl

[Cal60] Calderón, A.-P. Integrales singulares y sus aplicaciones a ecuaciones diferenciales hiperbolicas, Cursos y Seminarios de Matemática, Fasc. 3, Universidad de Buenos Aires, Buenos Aires, 1960 | MR | Zbl

[FL67] Friedrichs, K. O.; Lax, P. D. On symmetrizable differential operators, Singular Integrals (Chicago, 1966) (Proc. Sympos. Pure Math.), Amer. Math. Soc., Providence, R.I., 1967, pp. 128-137 | MR | Zbl

[Fri54] Friedrichs, K. O. Symmetric hyperbolic linear differential equations, Comm. Pure Appl. Math., Volume 7 (1954), pp. 345-392 | MR | Zbl

[Fri58] Friedrichs, K. O. Symmetric positive linear differential equations, Comm. Pure Appl. Math., Volume 11 (1958), pp. 333-418 | MR | Zbl

[Går51] Gårding, L. Linear hyperbolic partial differential equations with constant coefficients, Acta Math., Volume 85 (1951), pp. 1-62 | MR | Zbl

[Går63] Gårding, L. Problèmes de Cauchy pour des systèmes quasi-linéaires d’ordre un, strictement hyperboliques, Les EDP (Colloques Internationaux du CNRS), Volume 117, CNRS, Paris, 1963, pp. 33-40 | Zbl

[Går98] Gårding, L. Hyperbolic equations in the twentieth century, Matériaux pour l’histoire des mathématiques au XX${}^{\mathrm{e}}$ siècle (Nice, 1996) (Séminaires & Congrès), Volume 3, Soc. Math. France, Paris, 1998, pp. 37-68 | MR | Zbl

[Hör83] Hörmander, L. The analysis of linear partial differential operators. II, Grundlehren der Mathematischen Wissenschaften, 257, Springer-Verlag, Berlin, 1983, pp. viii+391 | DOI | MR | Zbl

[IP74] Ivriĭ, V. Ja.; Petkov, V. M. Necessary conditions for the Cauchy problem for non-strictly hyperbolic equations to be well-posed, Uspehi Mat. Nauk, Volume 29 (1974) no. 5(179), pp. 3-70 English Transl. Russian Math. Surveys 29 (1974), p. 1–70 | DOI | MR | Zbl

[JMR05] Joly, J.-L.; Métivier, G.; Rauch, J. Hyperbolic domains of determinacy and Hamilton-Jacobi equations, J. Hyperbolic Differ. Equ., Volume 2 (2005) no. 3, pp. 713-744 | DOI | MR | Zbl

[Lax57] Lax, P. D. Asymptotic solutions of oscillatory initial value problems, Duke Math. J., Volume 24 (1957), pp. 627-646 | MR | Zbl

[Lax63] Lax, P. D. Lectures on hyperbolic partial differential equations, Stanford Lecture Notes, Stanford University, 1963

[Ler53] Leray, J. Hyperbolic differential equations, The Institute for Advanced Study, Princeton, N.J., 1953, pp. 238 pp. Reprinted November, 1955 | MR

[LN66] Lax, P. D.; Nirenberg, L. On stability for difference schemes: A sharp form of Gårding’s inequality, Comm. Pure Appl. Math., Volume 19 (1966), pp. 473-492 | MR | Zbl

[Mét08] Métivier, G. Para-differential calculus and applications to the Cauchy problem for nonlinear systems, Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series, 5, Edizioni della Normale, Pisa, 2008, pp. xii+140 | MR | Zbl

[Miz62] Mizohata, S. Some remarks on the Cauchy problem, J. Math. Kyoto Univ., Volume 1 (1961/1962), pp. 109-127 | MR | Zbl

[Rau05] Rauch, J. Precise finite speed with bare hands, Methods Appl. Anal., Volume 12 (2005) no. 3, pp. 267-277 | DOI | MR | Zbl

[Str66] Strang, G. Necessary and insufficient conditions for well-posed Cauchy problems, J. Differential Equations, Volume 2 (1966), pp. 107-114 | MR | Zbl

[Vai70] Vaillancourt, R. On the stability of Friedrichs’ scheme and the modified Lax-Wendroff scheme, Math. Comput., Volume 24 (1970), pp. 767-770 | MR | Zbl

[Yam59] Yamaguti, M. Sur l’inégalité d’énergie pour le système hyperbolique, Proc. Japan Acad., Volume 35 (1959), pp. 37-41 | MR | Zbl