Finding the supremum of a product of the difference between complex number of modulus one.

75 Views Asked by At

I would like to have some help on the following problem: Let $T=\{ z\in \mathbb{C}~ |~|z|=1\}$ and $n\geq 2$ a positive integer. Find :

$$ \sup_{(z_{1},\cdots , z_{n}) \in T^{n}} (\Pi_{ 1 \leq j \neq k \leq n } |z_{j}-z_{k}|)^{\frac{1}{n(n-1)}} $$

The progress I maid so far is the following : Let $z_k=e^{2\pi ia_k}$. $|z_j-z_k|=|e^{2\pi ia_j}-e^{2\pi ia_k}|=\\ =|\cos{(2\pi a_j)}-\cos{(2\pi a_k)}+i\sin{(2\pi a_j)}-i\sin{(2\pi a_k)}|=\\ =2|\sin{(\pi (a_j-a_k))}|$ $(\prod_{ 1 \leq j \neq k \leq n } |z_{j}-z_{k}|)^{\frac{1}{n(n-1)}}=\left(\prod_{1\leq j\neq k \leq n}2|\sin{(\pi (a_j-a_k))}|\right)^{\frac{1}{n(n-1)}}=\sqrt{2}\left(\prod |\sin{(\pi (a_j-a_k))}|\right)^{\frac{1}{n(n-1)}}$

Then I don't know how to continue. The maximum value of $x \to |\sin(x)|$ is $1$ so I need to find a combinaison of $a_{k}$ such that $|\sin(\pi (a_{j}-a_{k}))|=1$. I need $a_{j}-a_{k}$ to always be in the form $\frac{2m+1}{2}$

1

There are 1 best solutions below

1
On BEST ANSWER

Given $n$, we show that the required supremum $s_n=n^{\tfrac 1{n-1}}$.

Given any $(z_{1},\cdots , z_{n}) \in T^{n}$ let $Z=\| z_{ij}\|$ be an $n\times n$ Vandermonde matrix such that $z_{ij}=z_j^{i-1}$ for each $i,j\in 1,\dots, n$. Then

$$\prod_{ 1 \leq j \neq k \leq n } |z_{j}-z_{k}|=|\det Z|^2.$$

By Hadamard's determinant bound, $|\det Z|\le n^{n/2}$. That is $s_n\le (n^{n})^{{\tfrac{1}{n(n-1)}}}=n^{\tfrac 1{n-1}}.$

On the other hand, put $\xi=e^{2\pi i/n}$ (here $i$ its the imaginary unit) and $z_i=\xi^{i-1}$ for each $i=1,\dots, n$. Then

$$|\det Z|^2=\left|\prod_{ 1 \leq j \neq k \leq n } (z_{j}-z_{k})\right|=\left|\prod_{ 1 \leq j \neq k \leq n } (\xi^{j-1}-\xi^{k-1})\right|=$$ $$\left|\prod_{ 1 \leq j \neq k \leq n } (1-\xi^{k-j})\right|=\left|\prod_{m=1}^{n-1} (1-\xi^m)^{n}\right|=|p(1)^n|,$$

where $p$ is a monic polynomial of $(n-1)$-th degree whose roots are $\xi^1,\dots, \xi^{n-1}$. That is $p(x)=\tfrac {x^{n}-1}{x-1}=\sum_{m=0}^{n-1} x^m$. So $p(1)=n$ and $|\det Z|^2=n^n$, which follows $s_n\ge n^{\tfrac 1{n-1}}$.