Register to reply 
Dirac Notation, Observables, and Eigenvalues, OH MY! 
Share this thread: 
#1
Nov1012, 01:16 AM

P: 12

Alright... So I'm in an 'introductory' Q.M class in college right now, it's the only one that this twoyear college has, so I don't have an upper division Q.M Profs to talk to about this, and since my prof is equally confused, I turn to the internet.
Okay, so everyone knows that <ψAψ> = <a>, where A is my observable, and <a> is my eigenvalue for the equation. Yay, verily, yay. Now, we were going through a proof, and to begin he said what he was going to do, but didn't tell us why he was doing it (this is how he teaches, mysterious ways to keep our attention) anyway... He gets to the end and the statement looks like this: <fg> = <ψABψ>  <a><ψBψ> <fg> = AB <ψψ>  <a><b><ψψ> And everyone in the class says "wait, how in the hell did you not get eigenvalues for the AB combination in the wave function in the first set? (this one: AB<ψψ>) ... And there was silence... "Well, two years ago when I wrote these notes it made sense. I have no idea" he says. So we discussed it for a little while, came up with some ideas as to why it probably couldn't. Physcially, I think (and please correct me if my thoughts are wrong here): You have two particles that you want to measure *whatever* on in the same wave function. Your probability of measuring both of them at the same time where you want them to be would be less than if you had just a single one. That's what I would like to think anyway. So if indeed <ψABψ> = <a><b>, the probability would be greater to find them both in the same wave function. That's why I think it doesn't work. I can't find anything anywhere about the nitty gritty of a rule that says that this can't work, and I can't come up with any mathlike reasons or proofs as to why it can't work. So.. Why does <ψABψ> = AB and not <ψABψ> = <a><b> 


#2
Nov1012, 02:46 AM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,463

No wonder you are confused!
A and B are operators corresponding to two different observables right? Do they commute? I don't have the context for <fg> ... Why would you be thinking in terms of more than one particle? What has position to do with it? I'd normally write <ψAψ> = <A> rather than <a> but I suppose there's nothing wrong with it. I'd have expected ABψ> to represent operating first by B and then A. Is ψ> supposed to be a simultanious eigenvector of A and B? I'm not sure AB<ψψ> makes sense: after all AB is the product of the operators and don't normally mean anything without something to operate on. As written: <ψABψ> = AB <ψψ>  <a><b><ψψ> + <a><ψBψ> So I think more context is needed. What is supposed to be demonstrated here? A bit of a nitpick 


#3
Nov1012, 03:49 AM

P: 134

You seem to be confused about what is what, such as equating scalars with operators. Why not to pick Shankar and make it clear?



#4
Nov1012, 05:14 AM

P: 12

Dirac Notation, Observables, and Eigenvalues, OH MY!
Okay.. so these are exactly my notes.
Let my operator be A (since I don't have a 'hat' to put on top of it), with eigenvalue A σA=√(<(ΔA)^{2}>) σA^{2} =<(ΔA)^{2}> σA^{2} = Ʃ((ΔA)^{2}(P(A)) σA^{2} =Ʃ(A<A>)^{2}(P(A)) σA^{2} = <(A<A>)ψ(A<A>)ψ> Define f = (A<A>)ψ So, σA^{2} = <ff> Similarly, we will do this with some other operator/observable σB^{2} = (B<B>)ψ σB^{2} = <gg> where g = (B<B>)ψ Now the professor says "For my own reasons, let's calculate the product of the two"... okay sure whatever you say... σB^{2}σA^{2}=<ff><gg> From the Schwartz inequality (May the Schwartz be with you :) ) σB^{2}σA^{2} = <ff><gg> ≥ <fg>^{2} In general, <fg> is complex Therefore, σB^{2}σA^{2} ≥ [1/2i(<fg><gf>)]^{2} Now, this is where the fun begins... <fg> =<(A<A>)ψ(B<B>)ψ> <fg> = <ψ(A<A>)(B<B>)ψ> <fg> = <ψABψ> <B><ψAψ>  <A><ψ(Bψ>+<A><B><ψψ> <fg> = <ABψψ> <A><B><ψψ><A><B><ψψ>+<A><B><ψψ> This step <fg> = AB<ψψ><A><B><ψψ> To this step <ψψ> = 1 <fg> = AB <A><B> Similarly, <gf> = BA <A><B> So, <fg><gf>=ABBA Define [A,B] =ABBA > "commutator" And I have put in seafoam green what it is that has confused me so. Could anyone explain this ... property? I'm sure there's a property in here that he doesn't know. Or something. Thanks for the help. 


#5
Nov1012, 06:45 AM

P: 123

First of all, there is no need to mention eigenvalues, so A will be an operator and <A> = <ψAΨ> its expected value. In the fourth line, just let the first term as it was: <ψABψ> = <AB> and the rest terms should not have the factor <ψψ> (remember the definition of expected value). Do some algebra to get: <fg> = <AB><A><B> and doing the same for <gf> you should get: <gf> = <BA><A><B> . Subtract the results to get: <fg>  <gf> = <AB><BA> = <ABBA> = <[AB]> Plug this in: σB^{2}σA^{2} ≥ 1/2i(<fg><gf>)^{2} to get: σB σA≥ 1/2<[AB]> 


#6
Nov1012, 06:58 AM

P: 12

Oh, okay that makes sense!
So... you CAN just pull out <AB> as if it were a single operator... And, yes, this was a professor. Thanks for the reply, I was seriously going to use a whole notebook worth of paper trying to figure out the way he did it XD 


#7
Nov1012, 07:02 AM

P: 123




#8
Nov1012, 09:29 PM

P: 12

That is totally what I thought! I asked him if there was a reason why the two together just didn't make a 'separate' observable, and he was like "Yeah i'm not sure if it does." I said, "well do they have an effect on eachother when they're multiplied together?" he said "I'll have to look it up. "
Okay. Whew. 


#9
Nov1112, 10:13 AM

P: 123

Well, you have to distinguish the terms "operator" and "observable" . The opeator is nothing more than a function on a Hilbert space: its input is a state vector and its output is again a state vector. But every operator doesn' t corespond to an observable. A necessery condition for an operator to represent an observable, is that the operator must be hermitian. Now if you have two operators, say A and B, which represent two observables (so they are hermitian), then their composition AB does give a new operator (i.e. a function on Hilbert space) but this new operator is not always hermitian: (AB)^{+} = B^{+}A^{+} = BA Therefore, if A and B commute (i.e. if the observables they represent can be measured simultaneously), than AB could represent an observable because it is then hermitian. 


#10
Nov1112, 10:25 AM

P: 293




#11
Nov1112, 11:00 AM

P: 123

Aψ = aψ , Βψ = bψ if they do not commute. Therefore, if they commute then they do share a set of common eigenvectors, which vectors cary definite information for both of them. So , if the physical system is described by such a vector, then a measurement can give definite information for both of them. 


#12
Nov1112, 11:04 AM

P: 293

Here's what I mean: A and B commute so ABBA=0 Lets consider an eigenfunction of A as being f with eigenvalue a. Multiply it by both sides of equation: ABfBAf=0 ABfaBf=0 Now here it is obvious that f could also be an eigenfunction of B, but I don't see why it must. All I see here is that Bf is an eigenfunction of A. 


#13
Nov1112, 11:59 AM

P: 123

I’m having a problem with my tex, so I will outline what you have to do in order to prove it. First, consider that the set of the eigenvectors of A is a complete set. Therefore you can expand Bf on this set of eigenvectors. Act with A on this expansion: on one side you should have ABf. Act with B on the eigenvalue equation of A: on one side you should have BAf while on the other side you use again the expansion of Bf. Now, subtract the two relations: one side should be zero because of the commutation relation. Since the eigenvectors of A are linearly independent, each coefficient of this expansion should be zero. You have two possibilities: 1) the eigenvalues are the same, so the coefficient of the expansion of Bf can have any value, 2) the eigenvalues are different so the coefficient of the expansion of Bf should be zero. Therefore, you see that the expansion of Bf contains only f times a constant, i.e. f is an eigenvector of B.



#14
Nov1212, 09:10 AM

P: 123

Assuming that the set of the eigenvetors of A is a complete set, we can expand [tex]B{{\psi }_{n}}[/tex] as: [tex]B{{\psi }_{n}}=\sum\limits_{m}{{{c}_{nm}}{{\psi }_{m}}}[/tex] Acting on this relation with A we get: [tex]AB{{\psi }_{n}}=\sum\limits_{m}{{{c}_{nm}}{{a}_{m}}{{\psi }_{m}}}[/tex] Acting with B on the eigenvalues equation of A, we get: [tex]BA{{\psi }_{n}}={{a}_{n}}B{{\psi }_{n}}=\sum\limits_{m}{{{c}_{nm}}{{a}_{n}}{{\psi }_{m}}}[/tex] Subtract the above last two relations is order to get: [tex]\left[ A,B \right]{{\psi }_{n}}=\sum\limits_{m}{{{c}_{nm}}\left( {{a}_{m}}{{a}_{n}} \right){{\psi }_{m}}}=0[/tex] assuming that the operators commute. Since the eigenvectors of A are linearly independent, this expression will hold iff: [tex]{{c}_{nm}}\left( {{a}_{m}}{{a}_{n}} \right)=0[/tex] for all n,m . There are two possibilities: [tex]\left. 1 \right)\,\,n=m\to {{a}_{n}}{{a}_{n}}=0[/tex] so c_{nn} can have any finite value, say b_{n} [tex]\left. 2 \right)\,\,m\ne n\to {{a}_{m}}{{a}_{n}}\ne 0\Rightarrow {{c}_{nm}}=0[/tex] The two possibilities can be summarized in the expression:[tex]{{c}_{nm}}={{\delta }_{mn}}{{b}_{n}}[/tex] So, the expansion of [tex]B{{\psi }_{n}}[/tex] will eventually be: [tex]B{{\psi }_{n}}=\sum\limits_{m}{{{\delta }_{nm}}{{b}_{n}}{{\psi }_{m}}}={{b}_{n}}{{\psi }_{n}}[/tex] i.e. ψ_{n} is an eigenvector of B . 


#15
Nov1212, 09:51 PM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,463

if ψ is a state vector, and A and B are (hermitian) operators, then the eigenvectors of those operators may be used a (complete) basis. ψ may be expanded in terms of the eigenvectors of either of them. It is possible to prepare the system so that it is in an eigenstate of either operator, but ψ is not necessarily an eigenvector of either. In general, however, an eigenvector of A need not be an eigenvector of B. If it is not, then a measurement of B on an eigenvector of A will destroy information about that state. If [A,B]=0, then it is possible to prepare the system so that it is in an eigenstate of both. The system is not necessarily in such a state. But if it were, then it is possible to measure A and B's observables, in principle, at the same time. [A,B]=0 does not imply that all eigenvectors of A are also eigenvectors of B. See: http://www.physicsforums.com/showthread.php?t=561694 However, there must be at least one. You can see this by expanding the eigenvectors of A in terms of B and then using the completeness of the set of eigenstates of A and B respectively... I think this is the proof you were looking for(?) Also see: Stephanus J. L. Eijndhoven, Johannes (1986); A Mathematical Introduction to Dirac's Formalism p3012 [Elsevier Science Publishers B.V.] ... and others. It is a standard proof in texts of matrix math. Note  in general, for two matrixes A and B, I don't think [A,B]=0 is sufficient to ensure there are simultaneous eigenvectors. But that is not the situation under discussion  here we are considering operators of observables ... these are hermitian, and, we have a complete basis for each. 


#16
Nov1412, 04:06 PM

P: 293

Thank you that was helpful.



#17
Nov1412, 08:05 PM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,463

No worries.
Since we awereonly dealing with observables  there was no need to worry if a stated relation was true in general (the mathfolk can sort it out). But, since you have expressed an interest, it may be an interesting exercise for you  if A and B are two commuting matrices for which a complete set of eigenvectors is available, do they need to be hermitian to guarantee at least one shared eigenvector between them? 


Register to reply 
Related Discussions  
Eigenvalues and eigenvectors of observables  Introductory Physics Homework  3  
Eigenvalues of commuting observables (angular momentum)  Advanced Physics Homework  5  
Observables and eigenvalues  Quantum Physics  8  
Dirac Notation  Advanced Physics Homework  4  
Index notation vs Dirac notation  Special & General Relativity  6 