Press "Enter" to skip to content

Haagerup formulas

Let $latex (T_n)_{n\geq0}$ be the Chebychev polynomials of the first kind given by

$latex \displaystyle T_n(\cos(x))=\cos(nx).$

These polynomials are orthogonal with respect to the arcsine probability distribution

$latex \displaystyle x\mapsto \frac{1}{\pi\sqrt{1-x^2}}\mathbf{1}_{[-1,1]}(x).$

They satisfy to the recurrence relation $latex T_0=1$, $latex T_1(x)=x$ and

$latex \displaystyle T_{n+1}(x)=2xT_n(x)-T_{n-1}(x).$

First Haagerup formula: if $latex -2\leq x\neq y\leq 2$ then (the series is convergent)

$latex \displaystyle \log\left|x-y\right|=-\sum_{n=1}^{\infty}\frac{2}{n}T_n\left(\frac{x}{2}\right)T_n\left(\frac{y}{2}\right).$

Second Haagerup formula: if $latex x>2$ and $latex -2\leq y\leq 2$ then (absolutely convergent series)

$latex \displaystyle \log\left|x-y\right|=\log\left|\frac{x+\sqrt{x^2-4}}{2}\right|-\sum_{n=1}^\infty\frac{2}{n}\left(\frac{x-\sqrt{x^2-4}}{2}\right)^nT_n\left(\frac{y}{2}\right).$

I have learnt these beautiful formulas in a talk given by Ionel Popescu during the Workshop Probability and Geometry in High Dimensions held at Marne-la-Vallée. The proofs are elementary. These formulas are deeply related to the fact that the arcsine distribution  on $latex [-a,a]$ is the maximum of the Voiculescu entropy (i.e. minimum of logarithmic energy) over the set of probability distributions supported in $latex [-a,a]$. This fact is quite classical, and goes back at least to the works of  Erdős and Turán , and Szegő, on the equilibrium measure of the roots of orthogonal polynomials. You may take a look at the books by Saff and Totik and by van Assche.

Danemark flag

Note: Uffe Haagerup is a Danish mathematician. His MR number is 78865.

Be First to Comment

    Leave a Reply

    Your email address will not be published. Required fields are marked *