Operator with strictly positive eigenvalues

Click For Summary

Homework Help Overview

The discussion revolves around demonstrating that a certain operator \( G \) defined on a Hilbert space, constructed from a non-orthogonal basis, has strictly positive eigenvalues. Participants are exploring the properties of the operator and the implications of its hermitian nature.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the hermitian property of the operator \( G \) and its implications for eigenvalues. There is an exploration of the relationship between \( G \) and \( G^2 \), with questions about how to express inner products when the basis is not orthonormal. Some participants suggest alternative approaches to show that the eigenvalues are positive.

Discussion Status

The discussion is active, with participants providing insights and attempting different approaches. Some have suggested that the eigenvalue can be expressed in terms of the norm of the eigenvector and the inner products with the basis vectors, leading to a conclusion about positivity. However, there is still exploration of the relationships and properties involved.

Contextual Notes

Participants note the challenge posed by the non-orthonormality of the basis and the need for additional expressions to relate the operator's properties. There is an emphasis on ensuring that the eigenvector is non-zero, which is crucial for the argument about positivity.

physicus
Messages
52
Reaction score
3

Homework Statement



Consider a Hilbert space with a (not necessarily orthogonal) basis [tex]\{f_i\}[/tex] Show that [tex]G=\sum_i |f_i\rangle\langle f_i|[/tex] has strictly positive eigenvalues.


Homework Equations





The Attempt at a Solution



I know that [tex]G=\sum_i |f_i\rangle\langle f_i|[/tex] is hermitian. Therefore, the eigenvalues are real and the Hilbert space has an orthonormal basis of eigenvectors of G. However, a general hermitian matrix does not need to be positive definite. Therefore, I need another approach.

I consider an eigenvector [tex]|a\rangle = \sum_i a_i |f_i\rangle[/tex] with [tex]G|a\rangle = \lambda|a\rangle[/tex]
[tex]\Rightarrow \lambda\sum_j a_j |f_j\rangle = \lambda |a\rangle = G |a\rangle = \sum_{ij}a_i |f_j\rangle\langle f_j|f_i\rangle[/tex]
[tex]\Rightarrow \lambda = \frac{1}{a_j}\sum_{i}a_i \langle f_j|f_i\rangle[/tex]
Unfortunately, I cannot conclude [tex]\lambda>0[/tex] from that.

Can anybody help me?
 
Physics news on Phys.org
Can you show that G and G2 are related ?
 
Unfortunately, I don't know how to relate G² and G.

[tex]G^2=\sum_{ij}|f_i\rangle\langle f_i|f_j\rangle\langle f_j|[/tex]
I would need an expression for [tex]\langle f_i|f_j\rangle[/tex] But since the basis set is not orthonormal I don't see what this could be.
 
Alright. Different approach. Let psi be an eigenvector of G with eigenvalue a. Then from the spectral equation you have

a=1/normsq(psi) * <psi|G|psi> = 1/normsq(psi) * sum (i) <psi|f_i><f_i|psi> = ...

Can you now show the dots hide a number > 0 ?
 
[tex]\ldots = \frac{1}{||\,|\psi\rangle||^2} \sum_i |\langle \psi | f_i\rangle|^2[/tex]

Since psi ist not the zero vector (as it is an eigenvector) its overlap with at least one of the basis vectors is non-zero. Therefore, the sum of squares is strictly greater than 0.

Thank you very much.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
17
Views
4K
  • · Replies 22 ·
Replies
22
Views
6K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 3 ·
Replies
3
Views
4K