Remark 4.19.3 . [052Z]
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
Remark 4.19.3.
The constant term in the definition of the weight function is needed to deal with the non-linear term in the application of the implicit function theorem (see Proposition 6.4). When the non-linear term is quadratic and this constant term is unnecessary, but when we need to choose appropriate so that the weight function has a uniform lower bound independent of .