Proposition 3.23 . [043H]
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
Proposition 3.23.
Let . Then there is a real valued function on , solving the generalised Gibbons-Hawking equation on
|
|
|
Morever is -harmonic on , and
|
|
|
and on . In particular the matrix is positive definite and is positive on .