Proof. [03HV]
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.
The proof follows from the standard elliptic regularity. Indeed, the eigenfunction satisfies the elliptic equation
| (4.147) |
It follows from the standard elliptic regularity that there exists some constant depending only the metric such that
| (4.148) |
Applying the Sobolev embedding theorem,
| (4.149) |
where depends only on the metric . The proof is complete. ∎