ScalingStacks

Proof. [007T]

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.

We seek the test function in the form v=Φ∘log⁡hv=\Phi\circ\log h for some convex, non-increasing, non-negative C2C^{2}-function Φ\Phi. Compute

∂∂¯​v=Φ′′​∂log⁡h∧∂¯​log⁡h+Φ′​(∂∂¯​log⁡h~),\partial\bar{\partial}v=\Phi^{\prime\prime}\partial\log h\wedge\bar{\partial}\log h+\Phi^{\prime}(\partial\bar{\partial}\log\tilde{h}),

so using the properties of hh above,

−1​∂∂¯​v∧ω𝒳|Xtn−1≥{(Φ′′C1′min{1h,h1/n|t|−2/n}+Φ′C2′)ω𝒳|Xtn,|t|2≲h≤δ,C3′Φ′ω𝒳|Xtn,h≲|t|2.\sqrt{-1}\partial\bar{\partial}v\wedge\omega_{\mathcal{X}}|_{X_{t}}^{n-1}\geq\begin{cases}\left(\Phi^{\prime\prime}C_{1}^{\prime}\min\{\frac{1}{h},h^{1/n}|t|^{-2/n}\}+\Phi^{\prime}C_{2}^{\prime}\right)\omega_{\mathcal{X}}|_{X_{t}}^{n},\quad&|t|^{2}\lesssim h\leq\delta,\\ C_{3}^{\prime}\Phi^{\prime}\omega_{\mathcal{X}}|_{X_{t}}^{n},\quad&h\lesssim|t|^{2}.\end{cases}

To satisfy our conditions on vv, it is enough to have

  • •

    Φ⁡(x)=0\Phi(x)=0 for x≥log⁡δx\geq\log\delta.

  • •

    |Φ′​(x)|≲1|\Phi^{\prime}(x)|\lesssim 1 for 2​log⁡|t|≲x≤log⁡δ2\log|t|\lesssim x\leq\log\delta.

  • •

    −dd​xlog|Φ′|=Φ′′|Φ′|≥C4′max{h,h−1/n|t|2/n}-\frac{d}{dx}\log|\Phi^{\prime}|=\frac{\Phi^{\prime\prime}}{|\Phi^{\prime}|}\geq C_{4}^{\prime}\max\{h,h^{-1/n}|t|^{2/n}\} for h=ex≤δ,h=e^{x}\leq\delta, where C4′>C2′/C1′C_{4}^{\prime}>C_{2}^{\prime}/C_{1}^{\prime}. Morever, for x<δx<\delta, we need Φ′<0\Phi^{\prime}<0 so that −1​∂∂¯​v∧ω𝒳|Xtn−1\sqrt{-1}\partial\bar{\partial}v\wedge\omega_{\mathcal{X}}|_{X_{t}}^{n-1} has some strict positivity for δ/2<h<δ\delta/2<h<\delta. Notice convexity of Φ\Phi is a consequence of these conditions.

To construct such Φ\Phi, we can prescribe the behaviour near x=log⁡δx=\log\delta by Φ′​(x)=−e1/(x−log⁡δ)\Phi^{\prime}(x)=-e^{1/(x-\log\delta)} for x<log⁡δx<\log\delta, and match this with a solution to

−dd​xlog|Φ′|=C4′max{ex,e−x/n|t|2/n},x<logδ-\frac{d}{dx}\log|\Phi^{\prime}|=C_{4}^{\prime}\max\{e^{x},e^{-x/n}|t|^{2/n}\},\quad x<\log\delta

for some large enough C4′C_{4}^{\prime}, such that Φ′\Phi^{\prime} remains C1C^{1} at the matching point. Integration shows that |Φ′||\Phi^{\prime}| remains uniformly bounded at h∼|t|2h\sim|t|^{2}, or equivalently x∼2​log⁡|t|x\sim 2\log|t|. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.