Average values of operators of potential and kinetic energy

Click For Summary

Discussion Overview

The discussion revolves around the average values of kinetic and potential energy operators in quantum harmonic oscillators, particularly in the context of superpositions of eigenstates. Participants explore the implications of Ehrenfest's theorem and the virial theorem, questioning whether the equality of average kinetic and potential energies holds in all prepared states.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants state that in the eigenstate of a quantum harmonic oscillator, the average kinetic and potential energies are equal, specifically given by \(\langle \hat{T} \rangle = \langle \hat{U} \rangle = \frac{1}{2}(n+\frac{1}{2})\hbar \omega\).
  • Others question whether this equality holds in superpositions of states, particularly in cases like \(|\psi \rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)\).
  • A participant suggests that if \(\langle \hat{T} \rangle = \langle \hat{U} \rangle\) in all eigenstates, it should also hold in any linear combination of these eigenstates, although this claim is challenged.
  • Concerns are raised about the applicability of the virial theorem, which some participants argue is valid only for stationary states, while others suggest it may apply more generally.
  • There is a discussion about the non-zero expectation values of kinetic and potential energies between different eigenstates, with a specific example given regarding the harmonic oscillator.
  • A participant expresses confusion about the notation used for expectation values, indicating a need for clarification.

Areas of Agreement / Disagreement

Participants express differing views on whether the equality of average kinetic and potential energies holds in superpositions of states, leading to an unresolved debate on the implications of Ehrenfest's theorem and the virial theorem.

Contextual Notes

Some participants note that the assumptions underlying the virial theorem may limit its applicability to certain states, particularly stationary states, and question the validity of assuming zero expectation values for certain transitions between eigenstates.

LagrangeEuler
Messages
711
Reaction score
22
In case of quantum LHO in eigen state of the system ##|n \rangle##
\langle \hat{T} \rangle=\langle \hat{U} \rangle=\frac{1}{2}(n+\frac{1}{2})\hbar \omega
What will happened in some superposition of states? Does Ehrenfest theorem can tell me something more general? Is it possible to say that
\langle \hat{T} \rangle=\langle \hat{U} \rangle
in any prepared state?
 
Physics news on Phys.org
What do you mean here by a supperposition of states? I mean when you take the average of these quantities, you are averaging them with one state of the harmonic oscillator. However, if your state is a superposition of states, the calculation can be done in the same way. I would start by taking a state which is a superposition of two, for example:

| n\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle )

and see what do you obtain. Then, you can generalize the case of an infinite superposition of states (a vector on the Hilbert space corresponding to the eigenstates of the H0, so just a linear combination of them).
 
I mean superposition of two eigen states. For example if
##|\psi \rangle=\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle) ##
Is then
##\langle \hat{T} \rangle_{\psi}=\langle \hat{V} \rangle_{\psi}##? In this case it is. But is it always the case?
 
LagrangeEuler said:
I mean superposition of two eigen states. For example if
##|\psi \rangle=\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle) ##
Is then
##\langle \hat{T} \rangle_{\psi}=\langle \hat{V} \rangle_{\psi}##? In this case it is. But is it always the case?

If ##<T> = <U>## in all eigenstates, then clearly ##<T> = <U>## in any state (linear combination of eigenstates). The probability of each state is irrelevant, as whatever eigenstate you find, you will have ##<T> = <U>##.

##<T> = \sum |c_n|^2 <T>_n = \sum |c_n|^2 <U>_n = <U>## (at ##t = 0##)

Edit: Apologies: this is rubbish, of course. That calculation only works for <E>, not for <T> and <V>. As has been pointed out below.
 
Last edited:
Newbie here, can someone explain what these fancy brackets are?
 
LagrangeEuler said:
Does Ehrenfest theorem can tell me something more general?
Ehrenfest or virial?
PeroK said:
then clearly <T>=<U> = in any state (linear combination of eigenstates).
Are you sure? Virial theorem was proven under the assumption that the expectation values of kinetic and potential energy were to be taken w.r.t the stationary states, that is the H eigenstate. In fact ## <U-T> = \frac{\omega \hbar}{2}<a^{+2}+a^2>## which in general does not vanish if there are one or more pair of eigenstates in the superposition state which differ in the quantum number by 2.
PeroK said:
<T>=∑|cn|2<T>n
Why have you assumed that ##<T>_{mn} = 0## for ##m\neq n##?
 
LagrangeEuler said:
In case of quantum LHO in eigen state of the system ##|n \rangle##
\langle \hat{T} \rangle=\langle \hat{U} \rangle=\frac{1}{2}(n+\frac{1}{2})\hbar \omega
What will happened in some superposition of states? Does Ehrenfest theorem can tell me something more general? Is it possible to say that
\langle \hat{T} \rangle=\langle \hat{U} \rangle
in any prepared state?
blue_leaf77 said:
Ehrenfest or virial?

Are you sure? Virial theorem was proven under the assumption that the expectation values of kinetic and potential energy were to be taken w.r.t the stationary states, that is the H eigenstate. In fact ## <U-T> = \frac{\omega \hbar}{2}<a^{+2}+a^2>## which in general does not vanish if there are one or more pair of eigenstates in the superposition state which differ in the quantum number by 2.

Why have you assumed that ##<T>_{mn} = 0## for ##m\neq n##?

Yes, you're correct. I took "always" to mean "for any combination" of states. Not "for any time". I've edited my post to clarify.
 
For harmonic oscillator and any time, ##\langle m|T|n\rangle = -\hbar \omega/4 \langle m|a^{+2}-a^+a-aa^++a^2|n\rangle## is in general nonzero.
 
  • Like
Likes   Reactions: PeroK

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K