Well posedness in \(C^ \infty\) for a weakly hyperbolic second order equation
type: Item
instance of: scholarly article
title: Well posedness in \(C^ \infty\) for a weakly hyperbolic second order equation
zbMATH Open document ID: 0820.35097
author: Piero D'ancona
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 1995-09-25T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/108328
review text: This paper, which represents an interesting contribution to the theory of weakly hyperbolic linear equations, is devoted to the one-dimensional Cauchy problem \[ u_{tt} = \bigl( a(t,x) u_ x \bigr)_ x, \quad u(0,x) = u_ 0(x), \quad u_ t(0,x) = u_ 1(x), \tag{*} \] where \(a(t,x)\) is a \({\mathcal C}^ \infty\) function satisfying \(0 \leq a (t,x) \leq \Lambda_ 0\) on the strip \(S_ T = [0,T] \times \mathbb{R}\). It is known [\textit{F. Colombini} and \textit{S. Spagnolo}, Acta Math. 148, 243-253 (1982; Zbl 0517.35053)] that there exists a smooth coefficient \(a(t,x) \equiv a(t)\) for which Problem \((*)\) is not well posed in \({\mathcal C}^ \infty (\mathbb{R})\), even locally in time. On the other hand, a result of O. A. Oleinik [Commun. Pure Appl. Math. 23, 569-586 (1970; Zbl 0193.386)] ensures in particular that \((*)\) is globally well-posed in \({\mathcal C}^ \infty\) when there exist \(0 = t_ 0 < t_ 1 < \cdots < t_ \nu = T\) such that, in each strip \([t_{i-1}, t_ i] \times \mathbb{R}\), the alternative \(a_ t(t,x) \geq - Ka (t,x)\) or \(a_ t(t,x) \leq Ka (t,x)\) holds for some constant \(K > 0\); in particular when \(a(t,x) \equiv a(x)\), or when \(a(t,x) \equiv a(t)\) with \(a(t)\) analytic on \([0,T]\). In the present paper, the author improves Oleinik's result, by showing that \((*)\) is globally well-posed in \({\mathcal C}^ \infty\) whenever, for all \(r>0\), the rectangle \([0,T] \times [- r,r]\) can be split in a finite number of normal domains \(G_{r,i} = \{(t,x) : | x | \leq r\), \(\varphi_{i-1} (x) \leq t \leq \varphi_ i (x)\}\), \(0 \equiv \varphi_ 0 (x) \leq \cdots \leq \varphi_{i-1} (x) \leq \varphi_ i (x) \leq \cdots \leq \varphi_ \nu (x) \equiv T\), whose limiting curves are time-like with respect to the equation (i.e. \(a (\varphi_ i (x),x) \cdot \varphi_ i' (x)^ 2 \leq 1)\), in such a way that the coefficient \(a(t,x)\) satisfies the above alternative in each one of the \(G_{r,i}\)'s. The proof of this result is based on a delicate interplay be…
reviewed by: Sergio Spagnolo
Mathematics Subject Classification ID: 35L80
Mathematics Subject Classification ID: 35L15
zbMATH DE Number: 627425
zbMATH Keywords: Oleinik conditions
zbMATH Keywords: global well-posedness in \({\mathcal C}^ \infty\)
MaRDI profile type: Publication
cites work: An example of a weakly hyperbolic Cauchy problem not well posed in \(C^\infty\)
cites work: Gevrey well-posedness of an abstract Cauchy problem of weakly hyperbolic type
cites work: Geometric measure theory.
cites work: Q3334514
cites work: The cauchy problem for weakly hyperbolic equations of second order
cites work: Q3320763
cites work: A necessary and sufficient condition for the hyperbolicity of second order equations with two independent variables
description: scientific article; zbMATH DE number 627425