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.
First we apply estimates similar to those in Lemma 4.2
to the differential , which we think of as an element in
.
|
|
|
Note that the complex structures and would match
exactly via if there were no terms (this is what
happens in the charts where is constant).
According to (2) of Lemma 3.2 in
. Hence the projection operator
|
|
|
has a norm of order 1 when restricted to , and the desired
bound on will follow
from estimating the terms.
But according to the Lemma 4.2 we have the uniform
bounds:
|
|
|
On the other hand, by (3) of Lemma 3.2 the
gradient is bounded by
.
∎