Are resolvents for self-adjoint operators themselves self-adjoint?

  • Context: Graduate 
  • Thread starter Thread starter AxiomOfChoice
  • Start date Start date
  • Tags Tags
    Operators
Click For Summary
SUMMARY

The discussion centers on the self-adjointness of the resolvent operator (T - λI)^{-1} for a self-adjoint operator T on a Hilbert space \mathscr H. It is established that if λ is a real number, then (T - λI)^{-1} is self-adjoint, particularly when T is a positive operator. However, the argument fails for complex λ, indicating that the self-adjointness of the resolvent does not hold in general. The proof relies on properties of bounded operators and the relationship between T and its adjoint T*.

PREREQUISITES
  • Understanding of self-adjoint operators in Hilbert spaces
  • Familiarity with resolvent operators and their properties
  • Knowledge of bounded and unbounded operators
  • Basic concepts of operator theory and functional analysis
NEXT STEPS
  • Study the properties of self-adjoint operators in functional analysis
  • Learn about the spectral theorem for unbounded operators
  • Investigate the implications of resolvent operators in quantum mechanics
  • Explore counterexamples of self-adjointness in complex domains
USEFUL FOR

Mathematicians, physicists, and graduate students specializing in functional analysis, operator theory, or quantum mechanics will benefit from this discussion.

AxiomOfChoice
Messages
531
Reaction score
1
Let T be a (possibly unbounded) self-adjoint operator on a Hilbert space \mathscr H with domain D(T), and let \lambda \in \rho(T). Then we know that (T-\lambda I)^{-1} exists as a bounded operator from \mathscr H to D(T). Question: do we also know that (T-\lambda I)^{-1} is self-adjoint? Can someone prove or give a counterexample?
 
Physics news on Phys.org
Note: I have reason to believe this is true in the case that T is a positive operator (i.e., (Tx,x) \geq 0 for all x\in D(T)). Whether it is true in general...well, I'm not sure!
 
I believe I have a quick and easy proof of this proposition, provided the resolvent has the form (T-\lambda I)^{-1} for \lambda \in \mathbb R. We have
<br /> \langle (T-\lambda I)^{-1}x,y \rangle = \langle x, [(T-\lambda I)^{-1}]^* y \rangle = \langle x, (T^* - \overline \lambda I)^{-1} y \rangle = \langle x, (T-\lambda I)^{-1}y \rangle,<br />
since \lambda = \overline \lambda and T^* = T by assumption. This also uses the fact that (T^*)^{-1} = (T^{-1})^* for T bounded and invertible. Now, if \lambda is complex, this argument is obviously bogus, and in fact I'm reasonably confident that it's just not true!
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K