9
$\begingroup$

I have $n$ lambdas, which are all different real and positive numbers, where: $\lambda_1 < \lambda_2 < \cdots < \lambda_n$.

I then have to show that these functions are linearly independent:

$$e^{\lambda_1 t}, e^{\lambda_2 t}, \ldots, e^{\lambda_n t}$$

So I guess what I want to show is that the only solution to this equations:

$$c_1 e^{\lambda_1 t} + c_2 e^{\lambda_2 t}+ \ldots +c_n e^{\lambda_n t}=0, \quad \text{for all } t$$

is that all constants are zero. I am not entirely sure how to do this when it is for $n$ lambdas - I did it earlier for just 3 lambdas, where I differentiated the function, so I have tried to use the same approach.

I wanted to get $n$ equations with $n$ unknown, so I differentiated the function $n-1$ times, and then I chose to look at the case where $t = 0$, so I have something looking like this:

$$c_1+c_2+ \ldots +c_n = 0$$

$$c_1 \lambda_1+c_2 \lambda_2+ \ldots +c_n \lambda_n = 0$$

$$ \cdots $$

$$c_1 \lambda_1^{n-1}+c_2 \lambda_2^{n-1}+ \ldots +\lambda_n^{n-1} = 0$$

Then I put this into a matrix $Ac = 0$, and now I want to show that the $\det(A)$ doesn't equal zero, so that the only solution is c = 0, but I'm not quite sure how to do this, or whether there is an easier way to do it ?

$\endgroup$
15
$\begingroup$

Define $f_j \colon \mathbf{R} \to \mathbf{R}$ by $$ f_j(t) = e^{\lambda_j t}.$$ Let $V$ denote the vector space of infinitely-differentiable functions from $\mathbf{R}$ to $\mathbf{R}$. Define $D \colon V \to V$ by $$Df = f'.$$ Note that $$Df_j = \lambda_j f_j$$ for $j = 1, \dots n$. Thus $f_1, \dots, f_n$ is a list of eigenvectors of $D$ corresponding to distinct eigenvalues. Now use the theorem that a list of eigenvectors corresponding to distinct eigenvalues is linearly independent, completing the proof that $f_1, \dots, f_n$ is a linearly independent list.

$\endgroup$
  • 2
    $\begingroup$ Oh my god are you "the" Axler who wrote my Linear Algebra book? I really love your text!! (Sorry if this is a bit inappropriate for this site but couldn't help myself!) $\endgroup$ – Landon Carter Sep 26 '15 at 3:07
  • 6
    $\begingroup$ Many thanks for your comment, Landon, about my book Linear Algebra Done Right. $\endgroup$ – Sheldon Axler Sep 26 '15 at 5:53
3
$\begingroup$

Hint: One way to proceed is to show that $\lim_{t \to \infty} |e^{t \lambda_n} / (\sum_{j=1}^{n-1} c_j e^{t \lambda_j})| = \infty$. If you could come up with a linear combination of all the $e^{t \lambda_j}$ with non-zero coefficients that is $0$, then the limit should be a constant.

$\endgroup$
0
$\begingroup$

I'm not sure but this matrix looks like the transpose of the Vandermonde matrix

$\endgroup$
  • $\begingroup$ This looks more like a comment than an answer. $\endgroup$ – Mårten W Nov 14 '16 at 14:44
0
$\begingroup$

You can also use induction on $n$. If $n=1$ this is trivial, so assume $n>1$ and that the result holds for each integer less than $n$. Define $f(t)=\sum_{j=1}^nc_je^{\lambda_jt}$, and assume $f\equiv0$. Then $$0=f'(t)-\lambda_if(t)=\sum_{j=1}^n(\lambda_j-\lambda_i)c_je^{\lambda_jt}=\sum_{j\neq i}(\lambda_j-\lambda_i)c_je^{\lambda_jt}$$ for all $t\in\mathbb R$. Now this sum has $n-1$ terms, so by induction hypothesis $(\lambda_j-\lambda_i)c_j=0$ for all $i\neq j$. But $\lambda_j\neq\lambda_i$ if $j\neq i$, so $c_j=0$ for all $j\neq i$. Hence $c_ie^{\lambda_it}=0$ which of course implies $c_i=0$, and the result is proved.

It should be noted that the idea here is the same as Sheldon Axler's, and more or less contains a proof that eigenvectors of distinct eigenvalues are linearly independent.

$\endgroup$
  • $\begingroup$ I'm not quite sure that i understand the part with the λ_i*f(t) - what is λ_i? $\endgroup$ – Linda Sep 26 '15 at 11:14
  • $\begingroup$ You just choose any $i\in\{1,\ldots,n\}$. If it's easier, you can replace $i$ by $n$ throughout. $\endgroup$ – Jason Sep 26 '15 at 14:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.