ScalingStacks

Proof. [02EF]

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.

It follows from the comparison principle (see [GZ 2]) that

∫(φ<ψ)(ω+d​dc​ψ)n≤∫(φ<ψ)(ω+d​dc​φ)n=∫(φ<ψ)et⁡(φ−ψ)​(ω+d​dc​ψ)n.\int_{(\varphi<\psi)}(\omega+dd^{c}\psi)^{n}\leq\int_{(\varphi<\psi)}(\omega+dd^{c}\varphi)^{n}=\int_{(\varphi<\psi)}e^{t(\varphi-\psi)}(\omega+dd^{c}\psi)^{n}.

Since et⁡(φ−ψ)<1e^{t(\varphi-\psi)}<1 on (φ<ψ)(\varphi<\psi), we infer φ≥ψ\varphi\geq\psi for ν\nu almost every point, where ν=(ω+d​dc​ψ)n\nu=(\omega+dd^{c}\psi)^{n}. Reversing the roles of φ,ψ\varphi,\psi yields φ=ψ\varphi=\psi for ν\nu almost every point. Therefore (ω+d​dc​φ)n=(ω+d​dc​ψ)n(\omega+dd^{c}\varphi)^{n}=(\omega+dd^{c}\psi)^{n}, hence φ−ψ=c\varphi-\psi=c is constant by Theorem 3.4 in [GZ 2]. Finally c=0c=0 since et​c=1e^{tc}=1 and t>0t>0. ∎

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