Inequality on self adjoint operator eigenvalues

eigenvalues-eigenvectorsinequalityinner-productslinear algebra

I'm studying for a upcoming exam and have found the following problem:

Let $\phi$ be a self adjoint operator in an $n$-dimensional Hermitian space $(V, \left \langle\space , \space\right \rangle)$. If the eigenvalues of $\phi$ are $\lambda_1 \leq … \leq \lambda_n$, show that $$\lambda_1 \leq \frac{\left \langle\phi(a),a \right \rangle}{\left \langle a,a \right \rangle} \leq \lambda_n$$
for every non zero $a \in V$.

I have zero ideas on how to proceed. I'm especially interested in hints for this question, but any help would be deeply appreciated.

Best Answer

Since you requested a hint, I'll provide a modest one, then put a spoiler of the solution at the end (hover your cursor over the block).

Hint: Write $a$ in terms of the orthonormal eigenbasis guaranteed by $\phi$, then just see what pops out when you compute $\frac{\langle \phi(a),a\rangle}{\langle a,a\rangle}$.

Spoiler:

By the spectral theorem, there exists an orthonormal basis of eigenvectors of $\phi$, and all of the eigenvalues are real. If $a=\sum_{j=1}^n a_je_j,$ where $e_j$ are an orthonormal basis of eigenvectors, then $$\langle a,a\rangle=\sum_{j=1}^n |a_j|^2,$$ and $$\langle \phi(a),a\rangle=\left\langle \sum_{j=1}^n a_j\lambda_je_j,\sum_{j=1}^na_je_j\right\rangle=\sum_{j=1}^n |a_j|^2\lambda_j,$$ where we have used that $\phi$ is linear and that $e_j$ are eigenvectors of $\phi,$ so $\phi(a_je_j)=a_j\phi(e_j)=a_j\lambda_je_j.$ Putting this all together, $$\frac{\langle \phi(a),a\rangle}{\langle a,a\rangle}=\frac{\sum_{j=1}^n |a_j|^2\lambda_j}{\sum_{j=1}^n |a_j|^2}.$$ To make this as larger, bound each $\lambda_j$ from above by $\lambda_n$, and to make it smaller, bound each $\lambda_j$ from below by $\lambda_1$. This will provide you with the desired result.

Related Question