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
Proof.
We use the Green representation of .
The total measure
|
|
|
so the contribution to from the ball is bounded by . The contributions from the 3 ends are neglegible unless the point inside the region (4.14) is close to along some ; we focus on the case of . The key fact is the exponential decay of the measure: along we have
|
|
|
Thus the contribution from the end is controlled by
|
|
|
which implies the estimates on .
For , the main point is that approaches its asymptotic cylinder at an exponentially fast rate. The rest of the arguments are similar.
∎