[Math] Maximum of the Vandermonde determinant / minimum of the logarithmic energy

asymptoticsca.classical-analysis-and-odesdeterminantslegendre polynomialsoc.optimization-and-control

The problem is to find the asymptotics (as $n\to\infty$) of the maximum (say $M_n$) of the Vandermonde determinant
$$V_n:=\prod_{0\le i<j\le n-1}(a_j-a_i)
$$
over all $a_0,\dots,a_{n-1}$ such that $0=a_0<\dots<a_{n-1}=1$ (or, better, an upper bound on $M_n$ which is asymptotic to $M_n$; or, at least, the asymptotics of $\ln M_n$). It is clear that the maximum is attained.

These questions can be obviously restated in terms of the minimization of the logarithmic energy
$$\sum_{0\le i<j\le n-1}\ln\frac1{a_j-a_i}.
$$

I have encountered this problem working on a matter involving higher-order divided differences. It is known that the $n$-tuple $(a_0,\dots,a_{n-1})$ maximizing $V_n$ is given by the formula $a_i=(1+x_i)/2$, where the $x_i$'s are the roots of the polynomial $(1-x^2)P'_{n-1}(x)$ (taken in the ascending order) and $P_{n-1}$ is the Legendre polynomial of degree $n-1$; these points $x_0,\dots,x_{n-1}$ are also known as the Fekete points; see e.g. SE Mathematics. The picture below suggests that $\ln M_n\sim-(a+bn)^2$ as $n\to\infty$, for some real constants $a<0$ and $b>0$.

graph

Best Answer

Write $V(a)$ for the determinant $\prod_{0\leq i<j\leq n-1} |a_i-a_j|$. Selberg's formula tells you that

$$\int_0^1 \cdots \int_0^1 V(a)^{2\beta} \prod_{i=0}^{n-1} da_i= n! \prod_{j=0}^{n-1} \frac{(\Gamma(1+j\beta))^2 \cdot \Gamma((j+1)\beta)} {\Gamma(2+(n+j-1)\beta)\cdot \Gamma(\beta)}=:A(n,\beta)$$

Thus the asymptotics you seek are given by $\lim_{\beta\to\infty} A(n,\beta)^{1/2\beta}$, which can be read from known asymptotics for the Gamma function. I did not try to perform the actual computation.

Remark: The constant $-2b^2$ is the maximum of the logarithmic energy $$\int \log |x-y| \mu(dx) \mu(dy) $$ over all probability measures supported on $[0,1]$. I am sure that this maximizer has been computed somewhere; Maybe it appears in Saff and Totik's book, which I do not have access to at the moment.

Related Question