Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
This is a local result so we can work with the geodesic ball for any such that and . We will show that the -current
is a harmonic in in the distributional sense.
In fact, for any test form we have
(3.44)
Therefore, is a harmonic -current in and hence it is smooth in .
∎