7.3.2. Fixing the constants in the definition of weighted spaces [0560]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
7.3.2. Fixing the constants in the definition of weighted spaces
From now on, we will fix weight parameters in the definition of weight spaces, which allows us to prove the uniform injectivity estimate in Proposition 7.15 and apply the implicit function theorem to complete the proof the main theorem in Section 7.4. The parameters , , are fixed as follows (similar to the specification of the parameters in Section 6.1):
(GP1)
(Fix ) The parameter is chosen such that
(7.74)
(GP2)
(Fix ) The Hölder constant is chosen such that
(7.75)
(GP3)
(Fix ) The constant is chosen such that
(7.76)
where is in Lemma 6.7 (Liouville theorem on ),
is in Proposition 4.23, are the constants in Proposition 7.4 applied to , and are the constants in Theorem 5.2 applied to .
(GP4)
(Fix ) The parameter is chosen as
(7.77)
As a comparison, on the neck region , the corresponding choice of parameters are given in (6.10), (6.11),
(6.12) and
(6.13).