Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
where denotes the current of integration along .
By directly taking derivatives and use (2.13) we obtain that outside ,
(4.131)
By (3.349) and (3.381), the right hand side is given by . Now using the asymptotics of near in (4.17), one sees that is bounded near . So the following current equation holds globally on
(4.132)
Now
(4.133)
So by standard elliptic regularity we get the conclusion for . The proof for the other equation is similar.
∎