Proof of Proposition 5.5 . [03IG]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof of Proposition 5.5.
We denote
|
|
|
Then we have the following expansion as in Section 4.1: let be the spectrum of and are the corresponding eigenfunctions on with ,
| (5.30) |
|
|
|
which implies that
| (5.31) |
|
|
|
On by the definition in Section 4.1,
we have , so we have
| (5.32) |
|
|
|
This implies that for each ,
| (5.33) |
|
|
|
There are three different cases.
If , then we can write and are given by a linear combination of one growing solution and one decaying solution . Using the analysis in Section 4 we know that the asymptotic order of is (see Lemma 4.7). The control (5.28) then implies both and can only be a multiple of the decaying solution .
If and , then and are given by linear combinations of the exponential functions of the form and . Let be the positive constant given in Proposition 4.10, we use (5.33) and the fact that to conclude that, if , then both and must be proportional to the decaying solutions.
If and is constant, then and are linear functions in . Now since and are harmonic functions on , by Lemma 4.11, we conclude that
| (5.34) |
|
|
|
This completes the proof of Proposition 5.5.∎