[Math] How to show a certain determinant is non-zero

determinantslinear algebra

For any $n$ distinct points $x_1,x_2 , \ldots , x_n$ on the real line show that
the matrix $M$ where $M(i,j) = e^{\lambda_j x_i} $ has non-zero determinant
where $\lambda_1 \lt \lambda_2 \lt \ldots \lt \lambda_n \in \mathbb{R}$ are fixed constants.

I am able to show this for $n=1$(duh…) and $n=2$. Is this an inductive proof?

Best Answer

Just in case it helps: to see that the OP's matrix $M$ has nonzero determinant using the argument in Noam Elkies' argument above, consider

$$\begin{equation*} \mathrm{det}\; \begin{pmatrix} e^{\lambda_1 x_1} & e^{\lambda_2 x_1} & \cdots & e^{\lambda_n x_1}\\\\ e^{\lambda_1 x_2} & e^{\lambda_2 x_2} & \cdots & e^{\lambda_n x_2}\\\\ \vdots & \vdots & & \vdots\\\\ e^{\lambda_1 x} & e^{\lambda_2 x} & \cdots & e^{\lambda_n x} \end{pmatrix} \end{equation*} $$

as an exponential polynomial $f(x) = \sum_{k=1}^n a_k e^{\lambda_k x}$. This has roots at $x = x_1, x_2, \ldots, x_{n-1}$. On the other hand, Elkies argued (see mathoverflow.net/questions/83999) that an exponential polynomial with $n$ terms has at most $n-1$ real roots. (We actually need only the weaker claim that $f(x)$ has at most $n-1$ distinct real roots. This follows by induction, where the inductive step involves Rolle's theorem applied to the derivative of the exponential polynomial $e^{-\lambda_n x}f(x)$, which has $n-1$ terms.) Thus $f(x)$ must be nonzero at $x = x_n$, as desired.

Related Question