Dirac Notation and commutation

  • Thread starter maximus123
  • Start date
  • #1
50
0
Hi everyone, my problem is this
Using Dirac notation show that

[itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|[itex]\hat{A}[/itex]|[itex]\varphi[/itex]> = [itex]\frac{i}{\hbar}[/itex]<[itex]\varphi[/itex]|[[itex]\hat{H}[/itex],[itex]\hat{A}[/itex]]|[itex]\varphi[/itex]>

where A does not explicitly depend on t




I am given as a hint that the hamiltonian operator in Dirac notation is
i[itex]\hbar[/itex][itex]\frac{d}{dt}[/itex]|[itex]\varphi[/itex]>=[itex]\hat{H}[/itex]|[itex]\varphi[/itex]>

and that the conjugate expression is

-i[itex]\hbar[/itex][itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|=<[itex]\varphi[/itex]|[itex]\hat{H}[/itex]




I'm a bit stumped, I know that the left hand side of the equation is the time derivative of the expectation value of operator A but as for the right hand side. I tried to expand the commutator as normal as if it were acting on the function (ket) |phi> but this came out to be zero which if true would surely make the whole RHS zero, which makes me think I don't understand what the rhs means. Any help would be appreciated.
 

Answers and Replies

  • #2
CAF123
Gold Member
2,937
88
Perhaps start with the LHS first and rewrite $$\frac{d}{dt} \langle \hat{A} \rangle = \frac{d}{dt} \langle \psi | \hat{A} | \psi \rangle = \frac{d}{dt} \int dx\, \psi^* \hat{A}\, \psi$$

The RHS can be zero but only if ##\hat{A}## and ##\hat{H}## were to commute, but this was not given.
 
Last edited:
  • #3
491
189
Use the product rule one the left hand side first.
Then impose the hint to rewrite some of the terms.
It should become quite clear almost immediately.

An extra question, does it change a lot if the operator A does explicitly depend on time?
 
  • #4
50
0
Thanks to both of you, I think I have it

[itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|[itex]\hat{A}[/itex]|[itex]\varphi[/itex]> = <[itex]\varphi[/itex]|[itex]\hat{A}[/itex][itex]\frac{d}{dt}[/itex]|[itex]\varphi[/itex]> + [itex]\hat{A}[/itex][itex]\varphi[/itex]>[itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|

then from the hints

[itex]\frac{d}{dt}[/itex](|[itex]\varphi[/itex]>) = [itex]\frac{\hat{H}}{i\hbar}[/itex]( |[itex]\varphi[/itex]>) and [itex]\frac{d}{dt}[/itex](<[itex]\varphi[/itex]|) = -[itex]\frac{\hat{H}}{i\hbar}[/itex]( <[itex]\varphi[/itex]|)

Substitute those in, do a bit of simplifying and rearranging then I got the correct answer. Thanks a bunch

I do have another question if I may

I have to show how we get the commutation identity [[itex]\hat{A}[/itex],[itex]\hat{B^{2}}[/itex]]=[[itex]\hat{A}[/itex],[itex]\hat{B}[/itex]][itex]\hat{B}[/itex] + [itex]\hat{B}[/itex][[itex]\hat{A}[/itex],[itex]\hat{B}[/itex]] but am having trouble, I'd be very grateful for any suggestions in the right direction.

Thanks again
 
  • #5
CAF123
Gold Member
2,937
88
I have to show how we get the commutation identity [[itex]\hat{A}[/itex],[itex]\hat{B^{2}}[/itex]]=[[itex]\hat{A}[/itex],[itex]\hat{B}[/itex]][itex]\hat{B}[/itex] + [itex]\hat{B}[/itex][[itex]\hat{A}[/itex],[itex]\hat{B}[/itex]] but am having trouble, I'd be very grateful for any suggestions in the right direction.

Thanks again
Try working with the RHS this time and show that it reduces to the LHS.
Also, [itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|[itex]\hat{A}[/itex]|[itex]\varphi[/itex]> = <[itex]\varphi[/itex]|[itex]\hat{A}[/itex][itex]\frac{d}{dt}[/itex]|[itex]\varphi[/itex]> + [itex]\hat{A}[/itex][itex]\varphi[/itex]>[itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|

in the second term, I think that should be ##\left( \frac{d}{dt} \langle \psi | \right) \, \hat{A} \psi,## when you are dealing with operators, the ordering matters.
 
Last edited:
  • #6
50
0
Thanks for the help with the last question, hadn't realised it would be so easy, however for my original problem, what I meant in that term you flagged up is

([itex]\hat{A}[/itex]|[itex]\varphi[/itex]>)([itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|)

Is this not correct? I thought

([itex]\hat{A}[/itex]|[itex]\varphi[/itex]>)([itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|) = ([itex]\frac{d}{dt}[/itex]<[itex]\varphi[/itex]|)([itex]\hat{A}[/itex]|[itex]\varphi[/itex]>)

Is that not right?

Thanks again
 
  • #7
764
71
No it's not right. It's like [itex]\mathbf{v}^T\mathbf{w} \neq \mathbf{w} \mathbf{v}^T[/itex]

The first results in a scalar (it's a representation of an inner product), the second results in a higher order tensor (or in other words it's an outer product).

[itex]\langle a \mid b \rangle[/itex] is a scalar.
[itex]\mid a \rangle \langle b\mid[/itex] is an operator that "eats" up [itex]\mid b \rangle[/itex] and results in some multiple of [itex]\mid a \rangle [/itex].
 
  • #8
23
0
First, if you assume the operator has an explicit time dependence, you can write:
[itex] \frac{d}{dt}\langle \phi |A(x,t)|\phi\rangle = \langle \frac{d\phi}{dt}|A|\phi\rangle +\langle \phi|\frac{dA}{dt}|\phi \rangle +\langle \phi |A|\frac{d \phi}{dt}\rangle [/itex]

Then, the R.H.S. can be simplified to:
[itex] \frac{1}{-i\hbar}\langle \phi |HA|\phi \rangle + \frac{1}{i\hbar}\langle \phi |AH|\phi \rangle +\langle \frac{dA}{dt}\rangle[/itex]

The final result is:
[itex] \frac{i}{\hbar}\langle [H,A]\rangle + \langle \frac{dA}{dt}\rangle [/itex]

Drop the dA/dt for no explicit time dependence.
 
Last edited:

Related Threads on Dirac Notation and commutation

Replies
3
Views
1K
  • Last Post
Replies
4
Views
5K
  • Last Post
Replies
13
Views
5K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
1K
Replies
15
Views
2K
Replies
12
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
17
Views
3K
  • Last Post
Replies
1
Views
980
Top