4.7 Distance-like function [0244]
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
4.7 Distance-like function
For our later invocation of Hein’s package (cf. section 5.1), we need to know the existence of distance-like functions with gradient and complex Hessian control.
Define a smooth function
As discussed in section 2.6, the distance function to the origin is uniformly equivalent outside a compact set to and can be viewed as a regularized version. An easy consequence of Lemma 4.7 is
Lemma 4.14.
The function satisfies and
In terms of the distance-like function , we can rewrite Cor. 4.13 as
| (37) |
Crucially for our later purpose, this decay is faster than quadratic to all orders of derivatives. Morever, the formula for the Ricci form
implies for the glued ansatz.