Quantum Operators Indices Confusion

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
10 replies · 3K views
barnflakes
Messages
156
Reaction score
4
My lecturer has written [itex]A | \alpha_n> = a_n |\alpha_n> => A = \sum_n a_n | \alpha_n>< \alpha_n |[/itex]

and

[itex]B | \alpha_k> = b_k |\alpha_k> => B = \sum_k b_k | \alpha_k>< \alpha_k |[/itex]

Where A is a hermitian operator. I understand he's used the properties of the unitary projector operator here, but is ok to include the subscript n three times in a sum? It goes on to say:

[itex]AB = \sum_{n,k} a_n b_k |\alpha_n>< \alpha_n | \alpha_k >< \alpha_k| = \sum_n a_n b_n | \alpha_n>< \alpha_n|[/itex]

Now to me I can't see how the indices are correct there, since the middle [itex]< \alpha_n | \alpha_k > = \delta_{nk}[/itex] can only get rid of the b_k index and not the one in the vector as well.

Can anyone shed any light please?
 
Physics news on Phys.org
All of that is correct. When you perform the sum over k, only the terms will k=n will contribute since all the others are =0. You can certainly have same index appear three times in the sum. The only time when we don't want to see the same index three times is when we want to use the summation convention that says that we never write any summation sigmas and always sum over those indices that appear exactly twice. The result you got only implies that this would be a very bad time to try to use that convention.
 
Last edited:
Thank you Fredrik, that's cleared it up nicely. Another line further on has me somewhat confused:

[itex]<\alpha_n | B | \alpha_m> = \delta_{nm} <\alpha_m | B | \alpha_m>[/itex]

How is that possible? Unless you are able to change the index in the state vector?

The closest I got was :
[itex]<\alpha_n | B | \alpha_m> = \sum_m \delta_{nm} <\alpha_m | B | \alpha_m>[/itex]

Has he just been lazy and missed out the sum?
 
That equation is obviously true if the left-hand side is =0 when [itex]m\neq n[/itex], and you can easily verify that it is:

[tex]\langle\alpha_n|B|\alpha_m\rangle=b_m \langle\alpha_n|\alpha_m\rangle= b_m\delta_{nm}[/tex]

The result you got is wrong. It would imply that [itex]\langle\alpha_n|B|\alpha_m\rangle[/itex] is independent of m (since your right-hand side is just [itex]\langle\alpha_n|B|\alpha_n\rangle=b_n[/itex]).
 
Last edited:
Thanks Fredrik, I think I'm slowly starting to understand. Can I just confirm:

[itex]\sum_{n,k} |\alpha_n>< \alpha_k|[/itex] is equal to the identity matrix? If [itex]<\alpha_n | \alpha_k > = \delta_{nk}[/itex] of course.
 
barnflakes said:
Also, for equation 6 on this document: https://www.physicsforums.com/library.php?do=view_item&itemid=208

Is it just using the fact that [itex]|z|^2 = |Imz|^2 + |Rez|^2 \geq |Imz|^2[/itex] or is something more subtle going on?

no what you have is:

a + b >= a

there is a curly bracket missing though:

[tex] | \langle \Delta A \Delta B \rangle |^2 = \frac{1}{4}| \langle [ A,B] \rangle |^2 + \frac{1}{4} | \langle \{ \Delta A,~ \Delta B} \rangle |^2 \geq \frac{1}{4}| \langle [A,B] \rangle |^2~~~-~(6)[/tex]

should read

[tex] | \langle \Delta A \Delta B \rangle |^2 = \frac{1}{4}| \langle [ A,B] \rangle |^2 + \frac{1}{4} | \langle \{ \Delta A,~ \Delta B \} \rangle |^2 \geq \frac{1}{4}| \langle [A,B] \rangle |^2~~~-~(6)[/tex]

also these posts are good:
https://www.physicsforums.com/library.php?do=view_item&itemid=207

http://mathworld.wolfram.com/SchwarzsInequality.html
 
barnflakes said:
[itex]\sum_{n,k} |\alpha_n>< \alpha_k|[/itex] is equal to the identity matrix? If [itex]<\alpha_n | \alpha_k > = \delta_{nk}[/itex] of course.
Try having that operator act on [itex]|\alpha_m\rangle[/itex] and see what you get.

(Also, your bras and kets would look better if you use \langle and \rangle instead of < and >).
 
Actually, you have pointed it correctly. or you see the effect, you will get it fully~
 
Can someone explain why [tex]\langle \bold{r} | \bold {p} \rangle = \frac{e^{i \bold{p}.\bold{r}/ \hbar}}{(2 \pi \hbar)^{3/2}}[/tex] I simply don't know how to get that result
 
barnflakes said:
Can someone explain why [tex]\langle \bold{r} | \bold {p} \rangle = \frac{e^{i \bold{p}.\bold{r}/ \hbar}}{(2 \pi \hbar)^{3/2}}[/tex] I simply don't know how to get that result

what has this to do anything with your first question and the title of the thread?

p-hat (in r-space) = -i d/dr

and in 3 dimensions

p-hat = -i nabla

so it is just a simple differential equation, with the normalization condition, edit: I dropped the hbar since I am a particle physicst ;)