ScalingStacks

Proposition 7.15 . [02XD]

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

Proposition 7.15.

Let Δ⊂ℝn\Delta\subset\mathbb{R}^{n} be a simplex of dimension nn and let ℓ:ℝn→ℝ\ell\colon\mathbb{R}^{n}\to\mathbb{R} be an affine function which is non-negative on Δ\Delta. Write ℓ⁡(x)=⟨u,x⟩−λ\ell(x)=\langle u,x\rangle-\lambda for some vector uu and constant λ\lambda. Then 1voln⁡(Δ)​∫Δℓ⁡(x)​log⁡(ℓ⁡(x))​d​voln\displaystyle\frac{1}{\operatorname{vol}_{n}(\Delta)}\int_{\Delta}\ell(x)\log(\ell(x))\,\text{\rm d}\operatorname{vol}_{n} equals

(7.16) ∑V∈Δ⁡(u)∑β′(nn−|β′|)​ℓ⁡(V)​(log⁡(ℓ⁡(V))−∑j=2|β′|+11j)(|β′|+1)​∏ν∉V(−(ℓ⁡(ν)ℓ⁡(V)−1)βν′),\sum_{V\in\Delta(u)}\sum_{\beta^{\prime}}\binom{n}{n-|\beta^{\prime}|}\frac{\ell(V)\left(\log(\ell(V))-\sum_{j=2}^{|\beta^{\prime}|+1}\frac{1}{j}\right)}{(|\beta^{\prime}|+1)\prod_{\nu\notin V}\left(-\big(\frac{\ell(\nu)}{\ell(V)}-1\big)^{\beta^{\prime}_{\nu}}\right)},

where the second sum is over β′∈(ℕ×)n−dim(V)\beta^{\prime}\in(\mathbb{N}^{\times})^{n-\dim(V)} with |β′|≤n|\beta^{\prime}|\leq n and the product is over the n−dim(V)n-\dim(V) vertices ν\nu of Δ\Delta not in VV. In case ℓ⁡(x)\ell(x) is the defining equation of a hyperplane containing a facet FF of Δ\Delta,

(7.17) 1voln⁡(Δ)​∫Δℓ⁡(x)​log⁡(ℓ⁡(x))​d​x=ℓ⁡(νF)n+1​(log⁡(ℓ⁡(νF))−∑j=2n+11j),\frac{1}{\operatorname{vol}_{n}(\Delta)}\int_{\Delta}\ell(x)\log(\ell(x))\,\text{\rm d}x=\frac{\ell(\nu_{F})}{n+1}\bigg(\log(\ell(\nu_{F}))-\sum_{j=2}^{n+1}\frac{1}{j}\bigg),

where νF\nu_{F} denotes the unique vertex of Δ\Delta not contained in FF.

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