ScalingStacks

Claim 3.24 . [04B8]

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

Claim 3.24.

There is a weighted partition L=A1+A2L=A_{1}+A_{2} such that

Re​∫AiΩ=Re​∫LiΩ>0,Im​∫A2Ω≤Im​∫L2Ω,Im​∫A1Ω≥Im​∫L1Ω.\text{Re}\int_{A_{i}}\Omega=\text{Re}\int_{L_{i}}\Omega>0,\quad\text{Im}\int_{A_{2}}\Omega\leq\text{Im}\int_{L_{2}}\Omega,\quad\text{Im}\int_{A_{1}}\Omega\geq\text{Im}\int_{L_{1}}\Omega.

Consequently arg∫A2Ω≤arg∫L2Ω=θ^2\arg\int_{A_{2}}\Omega\leq\arg\int_{L_{2}}\Omega=\hat{\theta}_{2} and arg∫A1Ω≥arg∫L1Ω=θ^1\arg\int_{A_{1}}\Omega\geq\arg\int_{L_{1}}\Omega=\hat{\theta}_{1}, so in particular infLθL≤θ^2\inf_{L}\theta_{L}\leq\hat{\theta}_{2} and supLθL≥θ^1\sup_{L}\theta_{L}\geq\hat{\theta}_{1}.

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