ScalingStacks

Proof. [02UI]

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.

The function gg can be written as g=∑m∈Mαm​χm∑m∈Mβm​χmg=\frac{\sum_{m\in M}\alpha_{m}\chi^{m}}{\sum_{m\in M}\beta_{m}\chi^{m}}. Then

ψg​(u)\displaystyle\psi_{g}(u) =1λK​log⁡|g⁡(θ0​(𝐞λK⁡(u)))|\displaystyle=\frac{1}{\lambda_{K}}\log|g(\theta_{0}({\operatorname{\mathbf{e}}}_{\lambda_{K}}(u)))|
=1λK​log⁡|∑m∈Mαm​χm​(θ0​(𝐞λK⁡(u)))​|−1λK​log|​∑m∈Mβm​χm​(θ0​(𝐞λK⁡(u)))|\displaystyle=\frac{1}{\lambda_{K}}\log\Bigl|\sum_{m\in M}\alpha_{m}\chi^{m}(\theta_{0}({\operatorname{\mathbf{e}}}_{\lambda_{K}}(u)))\Bigr|-\frac{1}{\lambda_{K}}\log\Bigl|\sum_{m\in M}\beta_{m}\chi^{m}(\theta_{0}({\operatorname{\mathbf{e}}}_{\lambda_{K}}(u)))\Bigr|
=maxm∈M⁡(log⁡|αm|λK−⟨m,u⟩)−maxm∈M⁡(log⁡|βm|λK−⟨m,u⟩)\displaystyle=\max_{m\in M}\Bigl(\frac{\log|\alpha_{m}|}{\lambda_{K}}-\left<m,u\right>\Bigr)-\max_{m\in M}\Bigl(\frac{\log|\beta_{m}|}{\lambda_{K}}-\left<m,u\right>\Bigr)
=maxm∈M⁡(−ord⁡(αm)−⟨m,u⟩)−maxm∈M⁡(−ord⁡(βm)−⟨m,u⟩)\displaystyle=\max_{m\in M}(-{\operatorname{ord}}(\alpha_{m})-\left<m,u\right>)-\max_{m\in M}(-{\operatorname{ord}}(\beta_{m})-\left<m,u\right>)
=minm∈M⁡(⟨m,u⟩+ord⁡(βm))−minm∈M⁡(⟨m,u⟩+ord⁡(αm)).\displaystyle=\min_{m\in M}(\left<m,u\right>+{\operatorname{ord}}(\beta_{m}))-\min_{m\in M}(\left<m,u\right>+{\operatorname{ord}}(\alpha_{m})).

Thus, it is the difference of two H-lattice concave functions. ∎

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