ScalingStacks

Remark 8.8 . [02Y6]

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

Remark 8.8.

The real roots of the polynomial qq are all negative, this allows the use of the principal determination of the logarithm in (3). Introducing the argument θi∈]−π,π[\theta_{i}\in]-\pi,\pi[ of −ξi-\xi_{i}, the last sum in (3) can be rewritten

12​∑i<jℓi​ℓj​(|ξi|2−|ξj|2)​log⁡|ξi/ξj​|+2|​ξi|​|ξj|​(θi−θj)​sin⁡(θi−θj)|ξi|2+|ξj|2−2​|ξi|​|ξj|​cos⁡(θi−θj)\frac{1}{2}\sum_{i<j}\ell_{i}\ell_{j}\frac{(|\xi_{i}|^{2}-|\xi_{j}|^{2})\log|\xi_{i}/\xi_{j}|+2|\xi_{i}||\xi_{j}|(\theta_{i}-\theta_{j})\sin(\theta_{i}-\theta_{j})}{|\xi_{i}|^{2}+|\xi_{j}|^{2}-2|\xi_{i}||\xi_{j}|\cos(\theta_{i}-\theta_{j})}

showing that it is real.

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