Proof. [046S]
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.
Let be the Green operator on the model space, so is an -invariant function. Applying Hein’s package on Poisson equations as in Corollary 2.17 with a simple scaling argument, the function decays like
The decay exponent here comes from the quintic volume growth rate of . Since the model space is smooth, we can bootstrap this to a weighted estimate on . The function is obtained by cutting off at a dyadic scale . The cutoff error is controlled by the Hessian estimate. ∎