double commutator used to obtain energy relationship summed over energy differences.


by Peeter
Tags: commutator, differences, double, energy, obtain, relationship, summed
Peeter
Peeter is offline
#1
Sep28-10, 09:24 AM
P: 294
1. The problem statement, all variables and given/known data

For
[tex]\begin{align*}H = \frac{\mathbf{p}^2}{2m} + V(\mathbf{r})\end{align*} [/tex]

use the properties of the double commutator [itex]\left[{\left[{H},{e^{i \mathbf{k} \cdot \mathbf{r}}}\right]},{e^{-i \mathbf{k} \cdot \mathbf{r}}}\right][/itex] to obtain

[tex]\begin{align*}\sum_n (E_n - E_s) {\left\lvert{{\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle}}\right\rvert}^2\end{align*} [/tex]


2. Relevant equations

Above.

3. The attempt at a solution

For the commutators I get:

[tex]\begin{align*}\left[{H},{ e^{i \mathbf{k} \cdot \mathbf{r}}}\right]&= \frac{1}{{2m}}e^{i \mathbf{k}\cdot \mathbf{r}} \left((\hbar\mathbf{k})^2 + 2 (\hbar \mathbf{k}) \cdot \mathbf{p} \right)\end{align*} [/tex]

and
[tex]\begin{align*}\left[{\left[{H},{e^{i \mathbf{k} \cdot \mathbf{r}}}\right]},{e^{-i \mathbf{k} \cdot \mathbf{r}}}\right]&=- \frac{1}{{m}} (\hbar \mathbf{k})^2 \end{align*} [/tex]

I have also reduced the energy expression as follows to something just involving the expectation of [itex]\mathbf{k} \cdot \mathbf{p}[/itex]

[tex]\begin{align*}\sum_n (E_n - E_s) {\left\lvert{{\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle}}\right\rvert}^2&=\sum_n (E_n - E_s) {\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} {\lvert {n} \rangle} {\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle} \\ &=\sum_n {\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} H {\lvert {n} \rangle} {\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle} -{\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} {\lvert {n} \rangle} {\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} H {\lvert {s} \rangle} \\ &={\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} H e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle} -{\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} e^{i\mathbf{k} \cdot \mathbf{r}} H {\lvert {s} \rangle} \\ &={\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} \left[{H},{e^{i\mathbf{k} \cdot \mathbf{r}}}\right] {\lvert {s} \rangle} \\ &=\frac{1}{{2m}} {\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} e^{i \mathbf{k}\cdot \mathbf{r}} \left((\hbar\mathbf{k})^2 + 2 (\hbar \mathbf{k}) \cdot \mathbf{p} \right){\lvert {s} \rangle} \\ &=\frac{1}{{2m}} {\langle {s} \rvert} (\hbar\mathbf{k})^2 + 2 (\hbar \mathbf{k}) \cdot \mathbf{p} {\lvert {s} \rangle} \\ &=\frac{(\hbar\mathbf{k})^2}{2m} + \frac{1}{{m}} {\langle {s} \rvert} (\hbar \mathbf{k}) \cdot \mathbf{p} {\lvert {s} \rangle} \\ \end{align*} [/tex]

I figure there is some trick to evaluating that last expectation value related to the double commutator, so expanding the expectation of that seems appropriate

[tex]\begin{align*}-\frac{1}{{m}} (\hbar \mathbf{k})^2 &={\langle {s} \rvert} \left[{\left[{H},{e^{i \mathbf{k} \cdot \mathbf{r}}}\right]},{e^{-i \mathbf{k} \cdot \mathbf{r}}}\right] {\lvert {s} \rangle} \\ &={\langle {s} \rvert} \left[{H},{e^{i \mathbf{k} \cdot \mathbf{r}}}\right] e^{-i \mathbf{k} \cdot \mathbf{r}}-e^{-i \mathbf{k} \cdot \mathbf{r}}\left[{H},{e^{i \mathbf{k} \cdot \mathbf{r}}}\right] {\lvert {s} \rangle} \\ &=\frac{1}{{2m }} {\langle {s} \rvert} e^{ i \mathbf{k} \cdot \mathbf{r}} ( (\hbar \mathbf{k})^2 + 2 \hbar \mathbf{k} \cdot \mathbf{p}) e^{-i \mathbf{k} \cdot \mathbf{r}}-e^{-i \mathbf{k} \cdot \mathbf{r}} e^{ i \mathbf{k} \cdot \mathbf{r}} ( (\hbar \mathbf{k})^2 + 2 \hbar \mathbf{k} \cdot \mathbf{p}) {\lvert {s} \rangle} \\ &=\frac{1}{{m}} {\langle {s} \rvert} e^{ i \mathbf{k} \cdot \mathbf{r}} (\hbar \mathbf{k} \cdot \mathbf{p}) e^{-i \mathbf{k} \cdot \mathbf{r}}-\hbar \mathbf{k} \cdot \mathbf{p} {\lvert {s} \rangle} \end{align*} [/tex]

but if I take this further I just get

[tex]\begin{align*}-\frac{1}{{m}} (\hbar \mathbf{k})^2 = -\frac{1}{{m}} (\hbar \mathbf{k})^2 \end{align*} [/tex]

which isn't very helpful. I don't actually like the approach I've used, where I took the magic expression and blundered through it attempting to get the desired answer.

Can anybody supply a tip that uses a more fundamental principle, where after a natural sequence of steps would arrive and the desired end result (instead of fluking upon it by lucky algebraic manipulation). I'd also settle for the trick as a last resort, or a hint of what it could be.

Also, does this energy relationship have a name?
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)
betel
betel is offline
#2
Sep28-10, 11:08 AM
P: 319
I assume your bold letters represent vectors and not neccessarily operators? i.e. k is not an operator?
Peeter
Peeter is offline
#3
Sep28-10, 11:14 AM
P: 294
Yes:

[tex]\mathbf{k} \cdot \mathbf{r} = k_x x + k_y y + k_z z[/tex]

and all the k_n's are just numbers, not operators.

betel
betel is offline
#4
Sep28-10, 11:33 AM
P: 319

double commutator used to obtain energy relationship summed over energy differences.


In the third line you already have the double commutator.
Try writing the double commutator explicitly to see what you need to get. The last term in your line is almost correct if you combine the exponentials. In the first you only need some justification to swap the minus to the right (I can give another hint there if you want)
Peeter
Peeter is offline
#5
Sep28-10, 09:26 PM
P: 294
Using

[tex]\hbar \mathbf{k} \cdot \mathbf{p} e^{-i \mathbf{k} \cdot \mathbf{r}} = e^{-i \mathbf{k} \cdot \mathbf{r}} \left( -(\hbar \mathbf{k})^2 + \mathbf{k} \cdot \mathbf{p} \right)[/tex]

I can try your suggestion (as I interpretted it) of swapping the exponentials in the first term of the last line:
[tex]\begin{align*}\frac{1}{{m}} {\langle {s} \rvert} e^{ i \mathbf{k} \cdot \mathbf{r}} (\hbar \mathbf{k} \cdot \mathbf{p}) e^{-i \mathbf{k} \cdot \mathbf{r}}-\hbar \mathbf{k} \cdot \mathbf{p}{\lvert {s} \rangle} \\ &=\frac{1}{{m}} {\langle {s} \rvert} (-(\hbar \mathbf{k})^2 + \hbar \mathbf{k} \cdot \mathbf{p})-\hbar \mathbf{k} \cdot \mathbf{p}{\lvert {s} \rangle} \\ &=\frac{1}{{m}} {\langle {s} \rvert} -(\hbar \mathbf{k})^2 {\lvert {s} \rangle}\end{align*} [/tex]

But, like I said, this just takes me full circle.
betel
betel is offline
#6
Sep29-10, 02:05 AM
P: 319
The last part of your calculation is just going full circle. You don't have to use your "trick". You can transform your following line to get the double comm.
[tex]
\begin{align*}\sum_n (E_n - E_s) {\left\lvert{{\langle {n} \rvert} e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle}}\right\rvert}^2&={\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} H e^{i\mathbf{k} \cdot \mathbf{r}} {\lvert {s} \rangle} -{\langle {s} \rvert} e^{-i\mathbf{k} \cdot \mathbf{r}} e^{i\mathbf{k} \cdot \mathbf{r}} H {\lvert {s} \rangle} \end{align*}
[/tex]
Now you should write the double commutator with operators, i.e. without using any commutation relations and compare with this line. Then you should see what you need to transform.
Peeter
Peeter is offline
#7
Sep29-10, 10:06 AM
P: 294
Thanks a lot. I've got it now. My problem was not knowing how the two sign variants of these Hamiltonian exponential sandwiches compared:

[tex]\begin{align*}e^{-i\mathbf{k} \cdot\mathbf{r}} &H e^{i\mathbf{k} \cdot\mathbf{r}} \\ e^{i\mathbf{k} \cdot\mathbf{r}} &H e^{-i\mathbf{k} \cdot\mathbf{r}} \\ \end{align*} [/tex]

Expanding them out (the dumb and simple way) with [itex]\cos + i\sin[/itex] I see that they have the same real part. Since they are both also Hermitian, the expectation value of each is real and only these (equal) real parts can contribute to the respective expectation values. That's enough to equate (up to a constant factor of two) the expectation of the double commutator and this (unnamed?) weighted energy difference sum expression.


Register to reply

Related Discussions
can we obtain electrical energy from sound signals?? Electrical Engineering 4
Commutator of kinetic energy and potential energy Quantum Physics 2
Commutator of Position and Energy Quantum Physics 2
Do we currently obtain useful energy from Gravity? General Physics 13
A review of dark energy/vacuum energy relationship. General Astronomy 0