Preliminary considerations [02E3]
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
Preliminary considerations
Thanks to Lemma 3.2 – here we use that – and Theorem 2.1, for every there is a unique continuous function such that
where is an adequate normalisation constant and is uniformly bounded by a constant independant of .
We cannot use right away [Y], Theorem 8 p. 403, to ensure that be smooth outside for , since our integral condition is stronger than his. However we can use [Y], Thm 3, p 365 to conclude that, in case , is smooth outside and is a form whose coefficients are globally bounded on , hence for . Since this does not imply ellipticity if , this does not imply higher regularity on the whole of .
The required uniformity in is not proved in [Y]. To deal with this case, we use a nice trick due to H.Tsuji [Ts].