an:00757628
Zbl 0823.35108
Koch, Herbert; Tataru, Daniel
On the spectrum of hyperbolic semigroups
EN
Commun. Partial Differ. Equations 20, No. 5-6, 901-937 (1995).
00026314
1995
j
35L20 47D06 35P05
Fredholm spectrum; hyperbolic initial-boundary value problems
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).
S.Nik??evi?? (Beograd)