Understanding Exponential of Operator: Expansion and Eigenvalues Explained

  • Context: Graduate 
  • Thread starter Thread starter KFC
  • Start date Start date
  • Tags Tags
    Exponential Operator
Click For Summary

Discussion Overview

The discussion revolves around the mathematical properties of the exponential of an operator, particularly in relation to its eigenvalues and the implications of expressing the operator in power form. Participants explore the expansion of the exponential operator, its application to diagonalizable and non-diagonalizable operators, and the mathematical foundations required for such proofs.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant states that the exponential of an operator can be expanded as a series, leading to the conclusion that if the eigenvalue of the operator \(\hat{A}\) is \(a_i\), then \(e^{\hat{A}}|\psi\rangle\) results in a matrix with diagonal elements \(\exp(a_i)\).
  • Another participant agrees that this holds true for diagonalizable operators, noting that functions of diagonalizable operators are defined based on their eigenvalues.
  • A different participant asserts that if \(\hat{A}|\psi\rangle = a_i|\psi\rangle\), then both \(e^{\hat{A}}|\psi\rangle\) and \(e^{\hat{A}^n}|\psi\rangle\) yield \(\exp(a_i)\) and \(\exp(a_i^n)\) respectively, suggesting that this can be proven using the Taylor series definition.
  • One participant introduces the spectral theorem for self-adjoint operators, indicating that the proof of the function of an operator involves a more complex mathematical framework, particularly for self-adjoint operators.

Areas of Agreement / Disagreement

Participants generally agree on the behavior of the exponential of diagonalizable operators and its relation to eigenvalues. However, there is acknowledgment of the complexities involved with non-diagonalizable operators, indicating that multiple views on the definitions and implications exist.

Contextual Notes

Limitations include the dependence on the operator being diagonalizable and the need for a deeper understanding of the spectral theorem for self-adjoint operators. The discussion does not resolve the complexities surrounding non-diagonalizable operators.

KFC
Messages
477
Reaction score
4
Hi there,
I learn from the text that the exponential of an operator could be expanded with a series such that

[itex]e^{\hat{A}} = \sum_{n=0}^{\infty} \frac{\hat{A}^n}{n!}[/itex]
So if the eigenvalue of the operator [itex]\hat{A}[/itex] is given as [itex]a_i[/itex]
[itex]e^{\hat{A}}|\psi\rangle[/itex]

will be a matrix with diagonal elements given as [tex]\exp(a_i)[/tex], is that right?

So I am wondering what happen if [itex]\hat{A}[/itex] is now written as a power form, i.e. [itex]\hat{A}^n[/itex], can we conclude that
So if the eigenvalue of the operator [itex]\hat{A}[/itex] is given as [itex]a_i[/itex]

[itex]e^{\hat{A}^n}|\psi\rangle[/itex]

gives a matrix with diagonal elements as [itex]\exp(a_i^n)[/itex] ?
 
Last edited:
Physics news on Phys.org
That's correct - for operators that can be diagonalised.

Its basically how functions of diagonalisable operators are defined - when diagonalised its a function of the eigenvalues.

Non diagonalisable operators are however a bit trickier - there are a few definitions I have seen and even a paper showing they are basically all equivalent - but the point is they are a more difficult proposition.

Thanks
Bill
 
If [itex]\hat{A}|\psi\rangle = a_i|\psi\rangle[/itex], then [itex]e^{\hat{A}}|\psi\rangle= \exp(a_i)|\psi\rangle[/itex] and [itex]e^{\hat{A}^n}|\psi\rangle = \exp(a_i^n)|\psi\rangle[/itex]. You should be able to prove this pretty easily using the Taylor series definition you mentioned.
 
afaik the proof of

[tex]f(A) = \sum_n f_n A^n[/tex]

where fn are the Taylor coefficients is rather involved mathematically. What you need is the spectral theorem for self-adjoint operators. For us physicists it reads

[tex]f(A) = f(A) \sum_n |a\rangle\langle a| = \sum_n f(a) |a\rangle\langle a|[/tex]

where the states |a> are the eigenstates of A and form a complete set.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K