×

A class of locally solvable semilinear equations of weakly hyperbolic type. (English) Zbl 0849.35076

The goal of the present paper is to study the following quasilinear weakly hyperbolic Cauchy problem \[ u_{tt}- \sum^n_{i, j= 1} (a_{ij}(t, x) u_{x_i})_{x_j}+ \sum^n_{j= 1} b_j(t, x) u_{x_j}= f(u, u_t), \]
\[ u(0, x)= u_0(x),\;u_t(0, x)= u_1(x). \] Here, weakly hyperbolic means that \(a_{ij}= \overline{a_{ji}}\), \(\Lambda^2 |\xi|^2\geq \sum^n_{j= 1} a_{ij} \xi_i \xi_j\geq 0\). In general one cannot expect well-posedness in \(C^\infty\) if the coefficients, data and right-hand side are only \(C^\infty\). For this reason one has to prescribe so-called Levi conditions. The authors use the Oleijnik condition \[ B \Biggl( \sum^n_{j= 1} b_j(t, x) \xi_j\Biggr)^2\leq A \sum^n_{i, j= 1} a_{ij}(t, x) \xi_i \xi_j+ \sum^n_{i, j= 1} \partial_t a_{ij}(t, x) \xi_i \xi_j \] with some positive constants \(A\) and \(B\). Then they can prove local \(C^\infty\)-well posedness under some additional standard assumptions. Here well posedness means local existence and finite speed of propagation, cone of dependence respectively.
Two different proofs are presented. If \(f\) is nonlinear only in \(u\), then some a-priori estimates and an iteration process give the existence result. If \(f\) is nonlinear in \(u_t\), too, then we have in the a-priori estimates some uniformly loss of Sobolev regularity. Consequently, the application of the Nash-Moser technique leads to the desired results.

MSC:

35L70 Second-order nonlinear hyperbolic equations
35L80 Degenerate hyperbolic equations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Colombini, F.; Spagnolo, S., An example of a weakly hyperbolic Cauchy problem not well posed in C^∞, Acta Math., 148, 243-253 (1982) · Zbl 0517.35053
[2] Dionne, P. A., Sur les problèmes hyperbolique bien posés, J. Anal. Math., 10, 1-90 (196263) · Zbl 0112.32301
[3] Glaeser, G., Racine carrée d’une fonction différentiable, Ann. Inst. Fourier, 13, 203-210 (1963) · Zbl 0128.27903
[4] Hamilton, R. S., The inverse function theorem of Nash and Moser, Bull. A.M.S., 7, 65-222 (1982) · Zbl 0499.58003
[5] Nishitani, T., A necessary and sufficient condition for the hyperbolicity of second order equations with two independent variables, J. Math. Kyoto Univ., 24, 91-104 (1984) · Zbl 0552.35049
[6] Oleinik, O. A., On the Cauchy problem for weakly hyperbolic equations of second order, Comm. Pure Appl. Math., 23, 569-586 (1970)
[7] Oleinik, O., Linear equations of second order with non negative characteristic form, Mat. Sb., 61, 111-140 (1966)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.