Proving an Eigenfunction of Momentum Operators

Click For Summary

Homework Help Overview

The discussion revolves around proving that a given wavefunction is an eigenfunction of momentum operators, specifically the angular momentum operator L_z and its components in Cartesian coordinates. Participants are exploring the definitions and properties of eigenfunctions in the context of quantum mechanics.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Problem interpretation, Assumption checking

Approaches and Questions Raised

  • Participants discuss the criteria for a function to be an eigenfunction, questioning how to apply the operators to the wavefunction. There are attempts to rearrange equations and clarify the definitions of the operators involved.

Discussion Status

The conversation is ongoing, with participants providing guidance on applying the operators to the wavefunction and discussing the implications of the results. Some participants are revising their calculations and questioning previous assumptions, indicating a productive exploration of the topic.

Contextual Notes

There are indications of confusion regarding the notation and the distinction between operators and their application to wavefunctions. Participants are also addressing potential typos and clarifying the correct forms of the operators in Cartesian coordinates.

Hart
Messages
168
Reaction score
0

Homework Statement



physforum1.jpg


Homework Equations



Stated in the question.

The Attempt at a Solution



It is a eigenfunction of L_z as it has no dependence on Z? Not sure if I can just state this, I do need to actually prove it but I can't get the calculations to work.

I managed a similar problem earlier but I just can't understand how to do it with these operators.
 
Physics news on Phys.org
Isn't an eigenfunction of a transformation a function that satisfies
[tex]L_Z\psi = \lambda \psi[/tex] for some constant lambda?

and similarly for [tex]L_x^2 + L_y^2 + L_z^2[/tex]?
 
Mark44 said:
Isn't an eigenfunction of a transformation a function that satisfies
[tex]L_Z\psi = \lambda \psi[/tex] for some constant lambda?

and similarly for [tex]L_x^2 + L_y^2 + L_z^2[/tex]?

Indeed it is.. I just forgot to include that in my post.

So using that, I have rearranged to get:

[tex]\lambda = ( L_Z . \psi) / \psi[/tex]

And then if [tex]\lambda[/tex] has no dependence on Z, then the eigenfunction will be proved. And similarly for the other variations, [tex]L_y[/tex] and [tex]L_z[/tex]

Problem is I don't know how to actually to that calculation.
 
Well, what is [tex]\hat{L}_z[/itex] in Cartesian coordinates?[/tex]
 
All you have to do is to act on the function with the operator, and if it returns a function which is a constant times the original function, it should be an eigenfunction. The calculations should not be difficult.

As for the second question,
If that function is an eigenfunction of Lz, then it shouldn't be an eigenfunction of Lx or Ly since Lz and Lx and Ly don't commute, and therefore do not share eigenfunctions.
 
[tex]L_{z} = -ih(x\frac{\partial}{\partial y}-y\frac{\partial}{\partial z})[/tex]

This is [tex]L_z[/tex] in cartesian coordinates? So I use this?
 
Last edited:
You've got a little typo there near the end, but once you fix that: yes, you just apply that operator to the wavefunction.
 
Hart said:
[tex]L_{z} = -ih(x\frac{\partial}{\partial y}-y\frac{\partial}{\partial z})[/tex]

This is [tex]L_z[/tex] in cartesian coordinates? So I use this?

Close, its actually

[tex]\hat{L}_{z} = -ih(x\frac{\partial}{\partial y}-y\frac{\partial}{\partial x})[/tex]


And yes, apply this operator to the wavefunction you are given and see what you get
 
Here's my calculations:

[tex]\frac{\partial((x+iy)^{2})}{\partial y} = 2ix-2y[/tex]

[tex]\frac{\partial((x+iy)^{2})}{\partial x} = 2x+2iy[/tex]

Therefore:

[tex]x\frac{\partial((x+iy)^{2})}{\partial y} = 2ix^{2}-2xy[/tex]

[tex]y\frac{\partial((x+iy)^{2})}{\partial x} = 2xy+2iy^{2}[/tex]

Therefore:

[tex]x\frac{\partial((x+iy)^{2})}{\partial y} - y\frac{\partial((x+iy)^{2})}{\partial x} = 2ix^{2}-2xy - 2xy+2iy^{2} = 2(ix^{2}-2xy-iy^{2})[/tex]

Hence:

[tex]L_{z}\psi = -2i\hbar(ix^{2}-2xy-iy^{2})[/tex]

Then I need to divide this by [tex]\psi = (x+iy)^{2}[/tex] but that looks messy at the moment..

.. I'm guessing I must have done something wrong for this not to work out! :frown:
 
  • #10
Hart said:
Hence:

[tex]L_{z}\psi = -2i\hbar(ix^{2}-2xy-iy^{2})[/tex]

Then I need to divide this by [tex]\psi = (x+iy)^{2}[/tex] but that looks messy at the moment..

.. I'm guessing I must have done something wrong for this not to work out! :frown:

[tex]ix^2-2xy-iy^2=i(x^2+2ixy-y^2)[/tex]...what do you get when you factor the quantity in brackets?
 
  • #11
.. oh yeah :redface: how did I not spot that!

Right, so then:

[tex]L_{z}\psi = 2\hbar\psi[/tex]

Hence the multiplicative value [tex]\lambda = 2\hbar[/tex] , which has no dependence on Z, so therefore have proven that [tex]\psi = (x+iy)^{2}[/tex] is an eigenfunction.

Am I right to say then that it is also a eigenfunction of [tex]L = L_{x} + L_{y} + L_{z}[/tex], but not of [tex]L_{y}[/tex] or [tex]L_{x}[/tex] individually?
 
  • #12
Hart said:
Am I right to say then that it is also a eigenfunction of [tex]L = L_{x} + L_{y} + L_{z}[/tex], but not of [tex]L_{y}[/tex] or [tex]L_{x}[/tex] individually?

First,

[tex]\hat{\mathbf{L}}=\hat{L}_x\mathbf{i}+\hat{L}_y\mathbf{j}+\hat{L}_z\mathbf{k}[/tex]

is a vector operator.

Second, you are asked to show that the given wavefunction is an eigenfunction of [itex]\hat{L}^2[/itex], not [itex]\hat{\mathbf{L}}[/itex].
 
  • #13
I've just calculated the result:

[tex]\hat{L} = 4\hbarz(2x+iy)+2\hbar\psi[/tex]

Basically by calculating [tex]\hat{L_{x}},\hat{L_{y}},[/tex] and [tex]\hat{L_{z}}[/tex] separately using their cartesian forms;

[tex]\hat{L_{x}} = 2ixz-2yz[/tex]

[tex]\hat{L_{y}} = 2xz+2iyz[/tex]

[tex]\hat{L_{z}} = 2ix^{2}-4xy-2iy^{2}[/tex]

.. and then adding the three results together. Not forgetting the [tex]-i\hbar[/tex] factor of course.

Don't really know where to go with this now, it doesn't seem to simplify nicely like for [tex]\hat{L}_{z}[/tex].

As need to find [tex]\hat{L^{2}}[/tex] so I cud now square the result, see if that makes a difference, but it looks like it won't be any nicer... nope :|

* * Edit Post * *

I think if I work them out one at a time fullly first that might be better..

From calculations:

[tex]\hat{L_{x}^{2}} = \hat{L_{y}^{2}} = \hat{L_{z}^{2}} = -4 \hbar^{2} z^{2} \psi[/tex]

Hence:

[tex]\hat{L^{2}} = -12.\hbar^{2}.z^{2}.\psi[/tex]

Therefore:

[tex]\lambda = -12 \hbar^{2} z^{2}[/tex]
 
Last edited:
  • #14
Hart said:
I've just calculated the result:

[tex]\hat{L} = 4\hbarz(2x+iy)+2\hbar\psi[/tex]

Again, [tex]\mathbf{\hat{L}}=\hat{L}_x\mathbf{i}+\hat{L}_y\mathbf{j}+\hat{L}_z\mathbf{k}[/itex] is a <b>vector</b> operator. There is no such operator as [itex]\hat{L}=\hat{L}_x+\hat{L}_y+\hat{L}_z[/itex].<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> [tex]\hat{L_{x}} = 2ixz-2yz[/tex]<br /> <br /> [tex]\hat{L_{y}} = 2xz+2iyz[/tex]<br /> <br /> [tex]\hat{L_{z}} = 2ix^{2}-4xy-2iy^{2}[/tex] </div> </div> </blockquote><br /> You are being incredibly sloppy with your notation and your calculations here.<br /> <br /> [tex]\hat{L_{x}}=i\hbar\left(z\frac{\partial}{\partial y}-y\frac{\partial}{\partial z}\right)\neq 2ixz-2yz[/tex]<br /> <br /> It is only when you operate [itex]\hat{L}_x[/itex] on the wavefunction you are given that you get something like [itex]2ixz-2yz[/itex]. What you <i>should</i> say is that [itex]\hat{L}_x\psi=-2\hbar z(x+iy)[/itex]<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> .. and then adding the three results together. Not forgetting the [tex]-i\hbar[/tex] factor of course. </div> </div> </blockquote><br /> I'll say this again just to drive home the point; you can't just add these together, they are components of a vector.<br /> <br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> * * Edit Post * * <br /> <br /> I think if I work them out one at a time fullly first that might be better.. </div> </div> </blockquote><br /> I agree, however...<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> From calculations:<br /> <br /> [tex]\hat{L_{x}^{2}} = \hat{L_{y}^{2}} = \hat{L_{z}^{2}} = -4 \hbar^{2} z^{2} \psi[/tex] </div> </div> </blockquote><br /> No, you've clearly made some mistakes in your calculations (and you are again failing to distinguish [itex]L^2[/itex] from [itex]L^2\psi[/itex]...one is an abstract operator, the other is what you get after you act on the wavefunction [itex]\psi(x,y,z)[/itex] with that abstract operator...which of these are you really calculating here?). <br /> <br /> For starters, <br /> <br /> [tex]\hat{L}_{z}^2\psi=\hat{L}_z(\hat{L}_z\psi)=\hat{L}_z(2\hbar\psi)=2\hbar\hat{L}_z\psi=4\hbar^2\psi[/tex]<br /> <br /> Second, [itex]\hat{L}_x^2\psi\neq\hat{L}_y^2\psi[/itex] and neither are equal to [itex]-4\hbar^2z^2\psi[/itex]<br /> <br /> Third;<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Hence:<br /> <br /> [tex]\hat{L^{2}} = -12.\hbar^{2}.z^{2}.\psi[/tex]<br /> <br /> Therefore:<br /> <br /> [tex]\lambda = -12 \hbar^{2} z^{2}[/tex] </div> </div> </blockquote><br /> How is it that you have gotten an eigenvalue which depends on [itex]z[/itex], and hence is not a constant (as an eigenvalue should be); and have not realized that something must be wrong with your calculations?[/tex]
 
  • #15
I've think realized the mistakes (hopefully all of them!) , let me try again..

.. after some revised calculations..

[tex]\hat{L_{z}} = 2\hbar[/tex]

[tex]\hat{L_{x}} = -2\hbarz(x+iy)[/tex]

[tex]\hat{L_{y}} = -2\hbarz(x+iy)[/tex]

hence:

[tex]\hat{L_{z^{2}}} = 4\hbar^{2}[/tex]

[tex]\hat{L_{x^{2}}} = 4\hbar^{2}z^{2}(x+iy)^{2} = 4\hbar^{2}z^{2}\psi[/tex]

[tex]\hat{L_{y^{2}}} = 4\hbar^{2}z^{2}(x+iy)^{2} = 4\hbar^{2}z^{2}\psi[/tex]

so:

[tex]\hat{L^{2}} = 4\hbar^{2} + 2\left(4\hbar^{2}z^{2}\right)[/tex]..
 
  • #16
Hart said:
I've think realized the mistakes (hopefully all of them!) , let me try again..

.. after some revised calculations..

[tex]\hat{L_{z}} = 2\hbar[/tex]

Again, what you are essentially claiming with this equation is that the z-component of the angular momentum operator always has the value [itex]2\hbar[/itex] times the identity matrix no matter which state it operates on. But that simply isn't true. [tex]\hat{L_z}\psi=2\hbar\psi[/tex] does not mean that [tex]\hat{L_z}=2\hbar[/tex].

[tex]\hat{L_{x}}\psi= -2\hbar z(x+iy)\psi[/tex]

[tex]\hat{L_{y}}\psi = -2\hbar z(x+iy)\psi[/tex]

Surely this fixed quote is what you really mean, right?

hence:

[tex]\hat{L_{z^{2}}} = 4\hbar^{2}[/tex]

Again, you can say [tex]\hat{L}_z^2\psi=4\hbar^2\psi[/tex], but you cannot claim [tex]\hat{L}_z^2=4\hbar^2[/tex]. An operator is not equal to one of its eigenvalues.

[tex]\hat{L_{x^{2}}} = 4\hbar^{2}z^{2}(x+iy)^{2} = 4\hbar^{2}z^{2}\psi[/tex]

[tex]\hat{L_{y^{2}}} = 4\hbar^{2}z^{2}(x+iy)^{2} = 4\hbar^{2}z^{2}\psi[/tex]

Even ignoring the missing [itex]\psi[/itex]'s on the LHS of these equations, you have some calclulation errors. Keep in mind that both [tex]\hat{L}_x\psi[/itex] and [tex]\hat{L}_y\psi[/itex] have a factor of [itex]z[/itex] in them and so [itex]\frac{\partial}{\partial z}[/itex] of them is not zero...You will need to use the product rule and your results will be messier than that of [tex]L_{z}^2\psi[/itex].[/tex][/tex][/tex]
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
Replies
1
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K