On the spectrum of hyperbolic semigroups. (English) Zbl 0823.35108

The authors obtain a complete characterization of the Fredholm spectrum of the semigroup \(S(t)\), generated by hyperbolic initial-boundary value problems, in terms of some quantities using certain scalar ordinary differential equations along the bicharacteristic flow for the operator \(P\) in the domain \(K\). These are accompanied by sharp energy estimates on the norm of the semigroup above and below (whenever possible). Now we can state the main result.
Theorem. Assume that the coefficient of \(P\) are smooth, the functions \(g\) and \(h\) are smooth and either \(g\equiv 0\) or \(\text{Re } g<0\), and for each \(\gamma\in \text{char } P\) there exists a unique forward generalized bicharacteristic passing through \(\gamma\). Assume that for the Riemannian manifold \((\Omega, \alpha)\) does not exist an open set of closed generalized geodesics which have the same length \(T\), for any \(T\) (in the opposite case similar results are obtained). Then outside the Fredholm spectrum, the spectrum of \(S(t)\) can contain only isolated eigenvalues of finite multiplicity. The Fredholm spectrum is characterized as follows:
A. Assume that either the Dirichlet or the Neumann boundary condition is fulfilled and that \(g(x)=0\) in the latter case. Then \[ -\infty< \sigma_ *\leq \sigma^* \quad \Bigl( \sigma^*= {\textstyle {1\over 2}} \lim_{t\to\infty} t^{-1} \sup_{\gamma_ 0} \omega (t-0, \gamma_ 0),\;\sigma_ *= {\textstyle {1\over 2}} \lim_{t\to\infty} t^{-1} \inf_{\gamma_ 0} \omega(t, \gamma_ 0) \Bigr) \quad \text{and} \]
\[ F(S(t))= \{z\in \mathbb{C};\;e^{\sigma_ * t}\leq | z| \leq e^{\sigma^* t} \}, \quad \text{for any } t>0. \] B. Assume that the Neumann boundary condition is fulfilled with \(\text{Re } g(x)< -1\) whenever \(\text{Im } g(x) =0\). Then \(-\infty< \sigma_ * \leq \sigma^*\) and \[ F(S(t))= \{0\} \cup \{z\in \mathbb{C};\;e^{\sigma_ * t}\leq | z|\leq e^{\sigma^* t}, \quad \text{for any } t>0. \] C. Assume that the Neumann boundary condition is fulfilled and that \(- 1\leq \text{Re } g(x)<0\) and \(\text{Im } g(x)=0\) for some \(x\in \partial K\). Then \(-\infty= \sigma_ *< \sigma^*\) and \[ F(S(t))= \{z\in \mathbb{C};\;| z|\leq e^{\sigma^* t}\}, \quad \text{for any } t>0. \] Thus, except for an at most countable set of values of \(t\) for a very restrictive class of Riemannian manifolds, the Fredholm spectrum of \(S(t)\) is a full annulus (in case A), a full annulus and the origin (in case B) or a full disc (in case C).


35L20 Initial-boundary value problems for second-order hyperbolic equations
47D06 One-parameter semigroups and linear evolution equations
35P05 General topics in linear spectral theory for PDEs
Full Text: DOI