2.4 Local L 1 estimate [008E]
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
2.4 Local estimate
Given a local chart on with -coordinates and -coordinates , and a point therein, we shall refer to the subregion
|
|
|
as a log scale.
Lemma 2.6.
(Local -estimate)
Within every log scale there is a uniform bound on the -average integral
|
|
|
Proof.
We induct on the depth of the strata. For this follows from Prop. 2.4. So let us assume the bound is achieved for depth . For a given chart, we consider the local psh function associated to and produce the convex average function as in Lemma 2.2. Since a definite neighbourhood of the boundary of the chart lies inside less deep strata, we know that near the boundary by the induction hypothesis and the convexity condition. Using convexity again in the interior of the chart we see in the whole chart.
Within any log scale, by construction the local average
But by , hence
|
|
|
Using we conclude the local -estimate on .
∎