How to Evaluate \exp (i f(A)) in Ket-Bra Form for a Hermitian Operator?

  • Thread starter Thread starter jdstokes
  • Start date Start date
  • Tags Tags
    Sakurai
Click For Summary

Homework Help Overview

The discussion revolves around evaluating the expression \exp(i f(A)) in ket-bra form, where A is a Hermitian operator with known eigenvalues. Participants are exploring the implications of defining a function f that maps real numbers to real numbers, particularly in the context of power series expansions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants are considering the nature of the function f and its representation as a power series. There is a question about whether f should be treated as a matrix-valued function of a matrix variable. One participant mentions the notation used in defining f(A) and its implications for the evaluation process.

Discussion Status

The discussion is ongoing, with participants sharing insights about the notation and the generalization of the function f. Some guidance has been provided regarding the use of power series and the orthonormality of the eigenbasis, but no consensus has been reached on the best approach to take.

Contextual Notes

There is a mention of the potential for confusion in notation among physicists, as well as the specific context of the eigenvalues of A being real, which may influence the choice of function f.

jdstokes
Messages
520
Reaction score
1
Evaluate [itex]\exp (i f(A))[/itex] in ket-bra form, where A is a Hermitian operator whose eigenvalues are known.

[itex]\exp (i f(A)) = \exp(i f(\sum_i a_i \langle a_i |))[/itex]. I'm a little bit stuck on where to go from here. Is f supposed to be a matrix values function of a matrix variable or what?
 
Physics news on Phys.org
jdstokes said:
Evaluate [itex]\exp (i f(A))[/itex] in ket-bra form, where A is a Hermitian operator whose eigenvalues are known.

[itex]\exp (i f(A)) = \exp(i f(\sum_i a_i \langle a_i |))[/itex]. I'm a little bit stuck on where to go from here. Is f supposed to be a matrix values function of a matrix variable or what?

Assume [itex]f:\mathbb{R} \rightarrow \mathbb{R}[/itex] can be expressed using a power series expansion:

[tex]f \left( x \right) = \sum_j c_j x^j.[/tex]

In a standard abuse (should use a different symbol, maybe [itex]\hat{f}[/itex]) of notation, define

[tex]f \left( A \right) = \sum_j c_j A^j.[/tex]

Now use

[tex]A = \sum_i a_i \left| a_i \right> \left< a_i \right|[/tex]

with [itex]\left\{ \left| a_i \right> \right\}[/itex] chosen to be orthonormal.
 
Interesting. I've seen this done for exp, but never thought about generalizing to arbitrary [itex]f: \mathbb{R} \to\mathbb{R}[/itex]. I wish physicists would be more careful with their notation sometimes. Thanks.
 
jdstokes said:
Interesting. I've seen this done for exp, but never thought about generalizing to arbitrary [itex]f: \mathbb{R} \to\mathbb{R}[/itex]. I wish physicists would be more careful with their notation sometimes. Thanks.

Sometimes it might be [itex]f: \mathbb{C} \rightarrow \mathbb{C}[/itex]. I think [itex]f: \mathbb{R} \rightarrow \mathbb{R}[/itex] is okay here, since the eigenvalues of [itex]A[/itex] are real.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
7K
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
Replies
1
Views
6K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
9
Views
40K