Angular momentum eigenvalues

Professor M does Science
6 Jan 202124:46

Summary

TLDRIn this educational video, Professor MDA Science delves into the derivation of angular momentum eigenvalues in quantum mechanics. The video explains that angular momentum is quantized and cannot take any arbitrary value. It covers the mathematical derivation of these eigenvalues, introducing the concepts of ladder operators and the commutation relations of angular momentum components. The script guides viewers through the process of finding quantized eigenvalues for both the square of the angular momentum operator and its z-component, ultimately revealing the quantization of angular momentum and its significance in quantum mechanics.

Takeaways

  • 🔬 The video discusses the derivation of angular momentum eigenvalues in quantum mechanics, emphasizing the quantization of angular momentum.
  • 📐 Quantum mechanical quantities are represented by operators, with the eigenvalue equation being central to understanding measurement outcomes.
  • 🧮 The angular momentum operator \( \vec{J} \) is composed of three components \( J_x, J_y, J_z \) that obey specific commutation relations.
  • 🌀 The video introduces \( J^2 \) and \( J_z \) as compatible observables, which means they can have a common set of eigenstates.
  • 🚫 The eigenvalues \( \lambda \) and \( \mu \) of \( J^2 \) and \( J_z \), respectively, are quantized and cannot take arbitrary values.
  • 📈 The mathematical derivation includes the use of ladder operators \( J_+ \) and \( J_- \), which raise and lower the eigenvalues of \( J_z \).
  • 💡 The expectation value of \( J^2 \) is always positive or zero, providing a constraint on the eigenvalues of angular momentum.
  • 🔄 The application of ladder operators leads to the conclusion that there must be a maximum and minimum value for \( \mu \), which are quantized.
  • 🔄 The allowed values of \( \mu \) are integer multiples of \( \hbar \), and the number of these values for a given \( \lambda \) is \( n + 1 \), where \( n \) is a non-negative integer.
  • 🌐 The final result is that the eigenvalues of \( J^2 \) are \( j(j+1)\hbar^2 \) and the eigenvalues of \( J_z \) are \( m\hbar \), with \( m \) ranging from \( -j \) to \( +j \) in integer steps.

Q & A

  • What is the main focus of the video by Professor MDA Science?

    -The main focus of the video is to derive the angular momentum eigenvalues in quantum mechanics, explaining that angular momentum is quantized and not just any value is possible.

  • What is the significance of the eigenvalue equation in quantum mechanics?

    -The eigenvalue equation in quantum mechanics is significant as it helps determine the possible outcomes of a measurement, representing physical quantities through operators.

  • Why are the mathematical derivations in the video considered 'heavy'?

    -The mathematical derivations are considered 'heavy' because they involve complex mathematical steps and concepts, which require a deep understanding of quantum mechanics and linear algebra.

  • What is the role of the raising and lowering operators in the derivation of angular momentum eigenvalues?

    -The raising (j+) and lowering (j-) operators play a crucial role in determining the quantization of angular momentum by creating new eigenstates with incremented or decremented eigenvalues, respectively.

  • What does the commutation relation of angular momentum components imply?

    -The commutation relation of angular momentum components implies that they do not commute, meaning they cannot be simultaneously measured to arbitrary precision, which is a fundamental aspect of quantum mechanics.

  • Why is it necessary to find a common set of eigenstates for j squared and j3?

    -It is necessary to find a common set of eigenstates for j squared and j3 because they are compatible observables, allowing for a consistent description of the quantum state in terms of angular momentum.

  • What does the result that lambda must be larger than or equal to zero signify?

    -The result that lambda (the eigenvalue of j squared) must be larger than or equal to zero signifies that the square of the angular momentum, a physical observable, can only take non-negative values, reflecting the properties of real numbers.

  • How does the square of the eigenvalue mu relate to lambda?

    -The square of the eigenvalue mu is smaller than or equal to lambda, indicating that the eigenvalue associated with one component of the angular momentum vector (j3) is less than or equal to the eigenvalue associated with the square of the total angular momentum.

  • What is the significance of the quantization of angular momentum eigenvalues?

    -The quantization of angular momentum eigenvalues signifies that angular momentum can only take discrete values, which is a fundamental principle in quantum mechanics and has implications for the understanding of atomic and subatomic particles.

  • What are the implications of the video's findings for orbital and spin angular momentum?

    -The findings of the video imply that both orbital and spin angular momentum are quantized, which is essential for understanding the behavior of electrons in atoms and the properties of subatomic particles.

Outlines

00:00

🔬 Introduction to Angular Momentum Eigenvalues

Professor MDA Science introduces the topic of angular momentum eigenvalues in quantum mechanics. The video aims to derive the quantized values of angular momentum, explaining that physical quantities in quantum mechanics are represented by operators and that the eigenvalue equation is crucial for understanding measurement outcomes. The lecture will cover the mathematical derivation of angular momentum eigenvalues, emphasizing that the process is similar to that used for the quantum harmonic oscillator. The professor also mentions a companion video for further discussion on angular momentum's features and conventions.

05:05

📐 Deriving the Eigenvalue Equations

The lecture continues with a refresher on angular momentum in quantum mechanics, focusing on the vector operator J composed of J1, J2, and J3. The angular momentum operator obeys specific commutation relations, which include the Levi-Civita symbol and Einstein notation. The video explains that J squared, the sum of the squares of the components, commutes with each individual component, allowing for a set of compatible observables. The professor then derives the eigenvalue equations for J squared and J3, labeling the eigenstates by the eigenvalues lambda and mu. The goal is to find the quantized values of lambda and mu, which are constrained to be positive or zero for lambda.

10:07

🔍 Constraints on Angular Momentum Eigenvalues

The video delves into proving constraints on the eigenvalues of angular momentum. It begins by demonstrating that lambda, the eigenvalue of J squared, must be non-negative. This is shown by considering the expectation value of J squared and using the properties of operators. The professor then proves that the square of the eigenvalue mu, associated with J3, must be less than or equal to lambda. This is done by using a result from a previous video on ladder operators and calculating the expectation value of a specific operator expression. The lecture concludes that the eigenvalues of angular momentum are not arbitrary but must adhere to these constraints.

15:08

🌐 The Ladder to Quantization

The lecture explores the implications of the ladder operators, J+ and J-, on angular momentum eigenstates. It explains that applying J+ to an eigenstate increases the eigenvalue of J3 by a constant, while applying J- decreases it. The video argues that there must be a maximum and minimum value for mu, the eigenvalue of J3, to prevent reaching forbidden regions of the real axis. The professor uses diagrams to illustrate how applying the raising operator repeatedly could lead to a contradiction unless there is a maximum value for mu. This maximum value is reached when applying J+ results in the state being 'killed,' thus terminating the ladder and maintaining the constraints on mu.

20:10

🎓 Final Conditions and Conclusions

The final part of the lecture presents the final conditions for the eigenvalues lambda and mu. It is shown that mu must be an integer multiple of a constant, h bar, and that lambda must be of the form n(n+1) times h bar squared, where n is a non-negative integer. The lecture concludes that angular momentum is quantized, with lambda and mu taking on specific quantized values. The professor summarizes the derivation, explaining that the allowed values of j (from lambda) and m (from mu) are integral to understanding angular momentum in quantum mechanics. The video ends with a reminder to watch a companion video for further exploration of angular momentum properties and encourages viewers to subscribe for more content.

Mindmap

Keywords

💡Angular Momentum

Angular momentum is a physical quantity that describes the rotational motion of an object around an axis. In quantum mechanics, it is represented by operators and is quantized, meaning it can only take on discrete values. The video discusses the derivation of angular momentum eigenvalues, which are the possible outcomes of a measurement of angular momentum. The script mentions that angular momentum includes both orbital and spin angular momentum, with the latter not having a classical analog.

💡Operators

In quantum mechanics, operators are mathematical functions that act on the state of a system to produce a new state or a measurable outcome. The script explains that physical quantities in quantum mechanics are represented by operators, and the angular momentum operators are denoted by j1, j2, and j3. These operators are crucial for deriving the eigenvalues associated with angular momentum.

💡Eigenvalue Equation

The eigenvalue equation is a fundamental concept in quantum mechanics that relates an operator to its corresponding eigenvalues and eigenstates. The script uses the eigenvalue equation to explore the quantization of angular momentum, showing that the eigenvalues are not arbitrary but follow specific patterns. The equation is used to find the eigenvalues lambda and mu for the operators j squared and j3.

💡Quantization

Quantization refers to the process by which certain physical quantities can only take on discrete values rather than a continuous range. The video script discusses how angular momentum is quantized, meaning it cannot take just any value but is restricted to specific, quantized values. This is a key result of the mathematical derivation presented in the video.

💡Ladder Operators

Ladder operators, also known as raising and lowering operators, are used in quantum mechanics to change the eigenvalues of an operator by a fixed amount. The script mentions j+ and j- as ladder operators that can increase or decrease the eigenvalue of j3 by a constant amount, which is crucial for understanding the quantization of angular momentum.

💡Commutation Relations

Commutation relations describe the algebraic relationship between operators, specifically how the order in which they are applied affects the outcome. The script states that the angular momentum components j1, j2, and j3 obey certain commutation relations, which are essential for defining the angular momentum operator in quantum mechanics.

💡Eigenstates

Eigenstates are the states of a quantum system that correspond to the eigenvalues of an operator. The video script discusses finding a common set of eigenstates for the operators j squared and j3, which are labeled by their respective eigenvalues lambda and mu. These eigenstates are fundamental to understanding the quantization of angular momentum.

💡Expectation Value

The expectation value is a statistical measure used in quantum mechanics to predict the average result of a measurement. In the script, the expectation value of j squared is used to prove that the eigenvalue lambda must be positive or zero, which is a key step in the derivation of angular momentum eigenvalues.

💡Raising and Lowering

Raising and lowering refer to the actions of the ladder operators j+ and j- on the eigenstates of angular momentum. The script explains that applying these operators can increase or decrease the eigenvalue of j3, respectively. This process is essential for understanding the quantization of angular momentum and the limits on the possible values of the eigenvalues.

💡Quantum Harmonic Oscillator

The quantum harmonic oscillator is a model in quantum mechanics used to describe systems with oscillatory behavior. The script mentions that the strategy used to derive the eigenvalues of angular momentum is similar to that used for the quantum harmonic oscillator, indicating a broader application of the concepts discussed in the video.

Highlights

Introduction to deriving angular momentum eigenvalues in quantum mechanics

Physical quantities in quantum mechanics are represented by operators

Exploration of the eigenvalue equation of angular momentum operators

Angular momentum is quantized and cannot take just any value

Derivation of angular momentum eigenvalues is similar to that of the quantum harmonic oscillator

Definition of a general angular momentum in quantum mechanics

The importance of the commutation relations in angular momentum

Introduction of the operator j squared and its commutation with j3

Eigenvalue equations for j squared and j3 and their common eigenstates

Proof that the eigenvalue lambda is always positive or zero

Derivation that the square of the eigenvalue mu is smaller than or equal to lambda

Explanation of ladder operators and their properties

Demonstration that there must be a maximum value for mu, called mu max

Argument for the quantization of angular momentum eigenvalues

Final conditions for lambda and mu and their quantized values

Introduction of quantum numbers j and m for angular momentum

Conclusion on the quantization of angular momentum and its implications

Transcripts

play00:02

hi everyone

play00:03

this is professor mda science and today

play00:05

we're going to derive

play00:06

the angular momentum eigenvalues in

play00:09

another one of our videos on rigorous

play00:11

quantum mechanics

play00:12

we know that physical quantities in

play00:14

quantum mechanics are represented by

play00:15

operators

play00:16

and that the most important equation

play00:18

associated with theseophoresis

play00:20

is the eigenvalue equation for example

play00:23

it can tell us about the different

play00:24

outcomes of a measurement

play00:26

today we will explore the eigenvalue

play00:28

equation of angular momentum operators

play00:31

we will learn that angular momentum

play00:32

cannot take just any value it is

play00:35

actually quantized

play00:37

this video will cover the mathematical

play00:39

derivation

play00:40

of angular momentum eigenvalues and

play00:42

although it is a little bit heavy

play00:44

on the mathematical side it has some

play00:46

really neat very visual steps that will

play00:48

give you a very clear

play00:49

understanding of what is going on it is

play00:51

also very similar to the strategy used

play00:53

to figure out the eigenvalues of the

play00:55

quantum harmonic oscillator

play00:57

so what you will learn today will be

play00:59

useful beyond angular momentum

play01:01

you can also find a companion video

play01:03

linked in the description where you will

play01:04

find

play01:05

a discussion of the more interesting

play01:07

features and conventions

play01:08

associated with the eigenvalues of

play01:10

angular momentum

play01:11

so let's go let's start with a quick

play01:15

refresher of angular momentum in quantum

play01:17

mechanics

play01:18

we consider a vector operator j that is

play01:21

made of three operators

play01:23

j1 j2 and j3 the operator j

play01:26

is an angular momentum operator if the

play01:29

three components

play01:30

obey these commutation relations

play01:33

you will remember from the video on

play01:35

angular momentum that epsilon ijk is the

play01:37

levitivita symbol

play01:39

and that we're using einstein notation

play01:41

so that an expression like this

play01:43

implies a sum over repeated indices in

play01:46

this case

play01:47

over the k indices this is the

play01:50

definition of a general angular momentum

play01:52

in quantum mechanics which includes the

play01:54

orbital angular momentum that we're

play01:56

familiar with from classical mechanics

play01:58

as well as the spin angular momentum

play02:00

that doesn't have a classical analog

play02:03

today we will work with the general

play02:04

angular momentum so the results will in

play02:07

principle be

play02:08

relevant for both orbital and spin

play02:10

variants

play02:11

now another important thing to remember

play02:13

is that as the different angular

play02:15

momentum components don't commute

play02:17

they don't form a set of compatible

play02:19

observables

play02:21

what we found in the video that

play02:22

introduces angular momentum

play02:24

was that we can define a new operator j

play02:26

squared

play02:27

equal to j 1 squared plus j 2 squared

play02:30

plus j

play02:31

3 squared and that this operator j

play02:34

squared does commute with each

play02:37

individual component

play02:39

this means that in the quantum theory of

play02:42

angular momentum

play02:43

we can build a set of compatible

play02:45

observables by considering

play02:46

j squared and one of the components ji

play02:50

which is typically chosen to be j3

play02:54

as for any observable the very first

play02:56

thing we need to do is to find

play02:58

their eigenvalues for j squared we have

play03:01

this eigenvalue

play03:02

equation where the eigenvalue is lambda

play03:05

and for j3 we have this eigenvalue

play03:08

equation

play03:09

where the eigenvalue is mu

play03:12

as j squared and j3 are compatible

play03:14

observables

play03:15

we can always find a common set of

play03:17

eigenstates for these two operators

play03:20

and what i've done here is to use such a

play03:22

common set of eigenstates

play03:24

here and here and label them by the

play03:27

eigenvalues

play03:28

lambda and mu

play03:31

the objective of this video is pretty

play03:33

straightforward

play03:34

we want to find out what the eigenvalues

play03:36

lambda and mu

play03:37

are what we will discover as we do this

play03:41

is that lambda and mu cannot take just

play03:44

any value

play03:45

but can only take some very special ones

play03:49

this means that angular momentum in

play03:51

quantum mechanics

play03:52

is quantized and on top of that the

play03:54

derivation is actually quite fun

play03:56

and really eye-opening so i'm sure

play03:59

you're all priming with excitement so

play04:01

let's just

play04:01

get started first we will cover a few

play04:05

prerequisites

play04:07

the raising operator j plus and the

play04:09

lowering of rater j

play04:10

minus are collectively called the ladder

play04:12

operators

play04:13

and what i have here is a long list of

play04:16

the properties

play04:17

all these results should be familiar to

play04:19

you because we derived them in detail in

play04:21

the video on ladder operators

play04:23

i'm writing this list here because we'll

play04:25

use many of these results to figure out

play04:27

what are the possible eigenvalues of the

play04:29

angular momentum operators

play04:31

what i will do is to quote the results

play04:33

from this list as needed

play04:35

during the video we don't have to

play04:37

remember these results they're simply

play04:39

tools that we want to use in our

play04:40

derivations

play04:42

so if you're happy with this then just

play04:44

continue with me

play04:46

however if you first want a reminder on

play04:49

where these results come from or if

play04:52

you've never seen them before

play04:54

then i really encourage you to first

play04:55

check out the video on ladder operators

play04:57

that is linked in the description

play04:59

and continue with this video after that

play05:04

the very first result i want to prove is

play05:07

that the eigenvalue lambda

play05:08

is always positive or zero

play05:12

to do that consider the expectation

play05:14

value of j squared

play05:15

with respect to an arbitrary state psi

play05:19

using the definition of j squared we can

play05:21

expand this into three terms

play05:23

the expectation value of j1 squared the

play05:26

expectation value of j2 squared

play05:28

and the expectation value of j3 squared

play05:32

the angular momentum components are

play05:33

emission which means that ji squared

play05:36

equals ji

play05:37

dagger ji and in turn this means that we

play05:40

can rewrite

play05:41

these three terms like this

play05:45

this is now the definition of the norm

play05:48

squared of j1 psi

play05:51

this is a norm squared of j 2 psi

play05:54

and this is the norm squared of j 3 psi

play05:58

as a norm is larger than or equal to

play06:01

0 then this whole expression is larger

play06:04

than

play06:04

or equal to zero overall this means that

play06:08

psi j squared psi

play06:10

is larger than or equal to zero for any

play06:13

state psi

play06:15

in particular this must be true when the

play06:17

state psi

play06:18

is an eigen eigenstate of the operator j

play06:21

squared

play06:22

but in this case we can use the

play06:24

eigenvalue equation

play06:25

to write this as lambda lambda mu

play06:30

lambda is a scalar so we can take it out

play06:32

into the left

play06:34

so that we get lambda times the bracket

play06:37

lambda mu

play06:37

lambda mu being larger than or equal to

play06:41

zero this is simply one

play06:46

so in conclusion lambda must be larger

play06:49

than

play06:49

or equal to zero

play06:52

okay so this is our first constraint on

play06:54

the angular momentum eigenvalues

play06:56

all eigenvalues of j squared are

play06:58

positive numbers or zero

play07:01

if we think about this result for a

play07:03

moment it actually makes sense

play07:05

j squared is a physical observable that

play07:07

is given by the square of the angular

play07:09

momentum operators

play07:11

squares of real numbers are always

play07:13

positive or 0 so it makes sense that the

play07:15

eigenvalues of j squared

play07:17

which are the possible outcomes of a

play07:19

measurement of this quantity will also

play07:21

be positive or zero

play07:25

the next result i want to prove is that

play07:27

the square of the eigenvalue mu

play07:30

is smaller than or equal to lambda

play07:34

the first ingredient we need is one of

play07:36

the results from the video on ladder

play07:38

operators

play07:40

we can write j squared minus j3 squared

play07:43

as equal

play07:44

to one half times j plus

play07:47

j minus plus j minus j plus

play07:51

as the ladder operators are at joints of

play07:54

each other

play07:54

we can also write this expression using

play07:57

the add joints

play08:01

we now consider the right hand side of

play08:03

this expression and calculate its

play08:04

expectation value with respect to a

play08:06

common eigenstate of j

play08:08

squared and j3 we can expand this

play08:12

expression into two terms

play08:16

and this term is the norm squared of j

play08:18

minus lambda mu

play08:20

and this term is the norm squared of j

play08:22

plus lambda mu

play08:24

as norms are always larger than or equal

play08:26

to zero then this whole expression

play08:29

is larger than or equal to zero

play08:34

if we now use the left-hand side of the

play08:36

equality at the top

play08:38

this result now implies that the

play08:41

expectation value of j

play08:42

squared minus j three squared with

play08:45

respect to lambda mu

play08:47

must also be larger than or equal to

play08:50

zero

play08:52

expanding this expression we get these

play08:54

two terms

play08:59

we can now use the eigenvalue equation

play09:01

for j squared

play09:02

here and the eigenvalue equation for j3

play09:06

twice here and we end up with these two

play09:10

terms

play09:13

this bracket is equal to 1 and so is

play09:16

this one

play09:18

so that overall we get that mu squared

play09:20

is smaller than

play09:22

or equal to lambda

play09:26

so this here is our second constraint on

play09:28

the angular momentum eigenvalues

play09:31

if we think about this result for a

play09:32

moment we find that it also makes sense

play09:36

j3 is one of the three components of the

play09:38

vector operator j

play09:40

so it makes sense that the square of the

play09:42

eigenvalue associated with j3

play09:45

is smaller than the eigenvalue

play09:47

associated with the square of j

play09:50

we will actually find later in this

play09:52

video that this condition

play09:54

is even more stringent than what we have

play09:57

here

play09:58

but to build some suspense i won't say

play10:00

any more now so you'll have to keep

play10:02

watching to find out

play10:06

the next step starts with another result

play10:08

from the video on ladder operators

play10:11

the raising operator j plus acting on an

play10:14

eigen state

play10:14

lambda mu of j squared and j3 is

play10:18

equal to this prefactor multiplying this

play10:21

new eigenstate of j squared and j3

play10:24

so what is the action of the raising

play10:26

operator on an angular momentum

play10:28

eigenstate

play10:29

it generates another angular momentum

play10:32

eigenstate

play10:33

which has the same j squared eigenvalue

play10:35

lambda

play10:36

but whose j 3 eigenvalue mu

play10:39

has increased by a constant h bar

play10:43

now this is the result we got in the

play10:45

video on ladder operators

play10:46

and it is a valid general result but

play10:50

crucially it also includes the

play10:52

possibility of a particular result

play10:54

which is that the action of j plus on

play10:56

the state lambda mu

play10:57

is equal to zero this will happen if

play11:01

lambda

play11:02

is equal to mu squared plus mu h bar

play11:05

because in this case the prefactor here

play11:06

vanishes

play11:09

so why do we need these results what we

play11:11

want to prove

play11:12

next is that there must be some angular

play11:15

momentum eigenvalues lambda and mu

play11:18

for which this equality holds

play11:22

to see this consider the real axis we

play11:25

have

play11:25

0 here and we want to draw allowed

play11:28

values of the mu

play11:29

eigenvalue on this real axis what we

play11:33

know so far

play11:34

is that mu squared is smaller than or

play11:36

equal to lambda

play11:38

this means that we can place the square

play11:39

root of lambda here

play11:41

and minus the square root of lambda here

play11:44

and mu must always be

play11:46

somewhere between these two values so we

play11:48

can discard this region

play11:49

and this region of the real axis as off

play11:53

limits

play11:53

for mu let's imagine that mu is here

play11:57

within the allowed region this

play11:59

corresponds to the eigenstate

play12:01

lambda mu we can now apply the raising

play12:05

operator to this state

play12:07

and we get a new state at mu plus h bar

play12:10

which is another angular momentum

play12:12

eigenstate with the same lambda

play12:13

but a mu that is larger by h bar

play12:18

we can now apply j plus again to get a

play12:21

new state at

play12:22

mu plus 2 h bar which again is another

play12:25

angular momentum eigenstate

play12:28

and in principle we could continue up

play12:29

the ladder by applying j

play12:31

plus again and again and again however

play12:35

you may already see that at some point

play12:37

we will have a problem

play12:39

let's zoom into this region near the

play12:41

square root of

play12:42

lambda we can draw the real axis again

play12:46

in this zoomed in region and let's also

play12:49

draw the points

play12:51

square root of lambda minus h bar and

play12:54

square root of lambda minus 2 h bar

play12:58

let's imagine that we've been applying

play12:59

the j plus operator sequentially

play13:02

and after applying it p minus 1 times we

play13:05

land here

play13:07

and we can then apply it again but then

play13:10

we end up with this new state at

play13:12

mu plus ph bar so here is the problem

play13:17

if we now try to apply it one more time

play13:20

we would land somewhere in the forbidden

play13:23

region

play13:24

beyond square root of lambda

play13:27

so something has gone horribly wrong in

play13:29

our construction

play13:31

because we've ended up with a state for

play13:33

which mu

play13:34

is larger than square root of lambda

play13:36

which we know

play13:37

is impossible so what does this mean

play13:42

if we pick mu at random like we did here

play13:45

and we apply j plus enough times then we

play13:48

will always eventually get past

play13:50

square root of lambda violating this

play13:52

condition that we have up here

play13:55

as this is not possible this means that

play13:57

the mu that we started with is in fact

play14:00

not an allowed value of mu because we've

play14:02

just seen that it eventually leads to a

play14:04

violation

play14:05

of the upper bound looking at these

play14:08

diagrams again

play14:10

you may now think that in fact no value

play14:12

of mu will actually be allowed

play14:14

because in principle we can always apply

play14:16

j plus to increase the value

play14:18

past the upper bound square root of

play14:20

lambda

play14:22

so does this mean that there can be no

play14:24

allowed value of mu

play14:29

applying the raising operator as shown

play14:30

in case 1

play14:32

means that we can go up the mu ladder

play14:34

indefinitely

play14:35

which we've just found leads to a

play14:37

violation of the upper limit of mu

play14:39

and this is precisely where case 2 comes

play14:42

in

play14:43

it allows us to terminate the ladder

play14:46

to see how this comes about let's

play14:48

restate the problem

play14:50

the fact that mu cannot be larger than

play14:53

square root of

play14:54

lambda implies that mu must have

play14:58

some maximum value which i call mu max

play15:02

but how can mu have a maximum value if

play15:05

we can keep

play15:05

increasing its value by h bar by simply

play15:08

applying the raising operator like this

play15:11

the answer of course is that at some

play15:13

point the application of j

play15:15

plus must kill the state

play15:18

and how can it happen well this is

play15:21

precisely what this case here

play15:23

allows us to do if we ever reach a mu

play15:27

such that this equation holds then the

play15:30

next time that we apply

play15:32

j plus we will kill the state and

play15:34

terminate the ladder

play15:37

this means that if we are to find

play15:40

any allowed values of mu there must be a

play15:43

mu for which this equation holds

play15:47

and by definition that will be the

play15:50

maximum mu

play15:51

that we can reach which we have called

play15:53

mu max

play15:56

mathematically we can start with a state

play15:58

with eigenvalue mu

play16:00

and we now know that this mu cannot be

play16:03

arbitrary

play16:04

there must be an integer p for which

play16:07

applying the raising operator p times we

play16:10

end up

play16:11

with a state with eigenvalue mu plus

play16:14

ph bar and for which this value we end

play16:18

up with

play16:19

must be exactly equal to mu max

play16:23

this is necessary because then when we

play16:25

apply j

play16:26

plus again we will kill the state

play16:28

terminating the ladder and thus obeying

play16:30

the upper bound

play16:31

on the values of mu if we draw our real

play16:35

actors again

play16:37

then our discussion tells us not only

play16:39

that mu must be smaller than the square

play16:41

root of lambda

play16:43

so that this region is off limits but

play16:47

also that it can only take some very

play16:50

special values

play16:51

along the allowed region these special

play16:55

values are mu max

play16:56

which for a given lambda is then

play16:58

uniquely given by this equation

play17:01

and then successively mu max minus h bar

play17:05

mu max minus 2 h bar and so on

play17:09

so this here is our new constraint on

play17:11

the angular momentum eigenvalues

play17:14

mu is not only forced to be within minus

play17:17

square root of lambda

play17:18

and plus square root of lambda but it

play17:20

can actually only take

play17:21

some very specific values in this

play17:23

allowed region

play17:25

any other value of mu that is not an

play17:27

integer multiple of h bar

play17:29

below mu max would mean that applying j

play17:32

plus enough times we would cross into

play17:34

the forbidden region

play17:36

thus disqualifying any such mu as a

play17:39

possible eigenvalue

play17:41

and this of course means you've probably

play17:42

guessed it already that the new

play17:44

eigenvalues are quantized

play17:49

as you can imagine we can make an

play17:51

analogous argument by considering the

play17:53

action of the lowering operator

play17:55

on an angular momentum eigenstate from

play17:57

the video on ladder operators

play17:59

the action of the lowering operator is

play18:01

such that it decreases the mu

play18:03

eigen value by h bar and again we can

play18:07

have a second situation in which the

play18:09

action of j

play18:10

minus kills the state which happens if

play18:13

lambda equals mu squared minus mu h bar

play18:17

in this case starting with a state with

play18:19

eigenvalue mu

play18:21

we then apply the lowering operator q

play18:23

times to end up with a state with

play18:25

eigenvalue mu

play18:27

minus qh bar and the j3 eigenvalue of

play18:31

this final state

play18:32

must equal some minimum mu which i call

play18:35

mu min

play18:37

such that mu min squared minus mu min h

play18:40

bar

play18:40

is equal to lambda

play18:43

this is necessary to terminate the

play18:45

ladder when we apply

play18:47

j minus one final time

play18:51

analogously to the case for the rating

play18:53

operator we can draw the real axis

play18:56

and we must terminate the ladder given

play18:59

by the lowering operator

play19:00

to ensure that we never cross into the

play19:02

forbidden region

play19:03

below minus square root of lambda

play19:10

so these are our two new conditions one

play19:13

of the values that mu takes must be mu

play19:15

max

play19:16

such that this equation is debate and

play19:19

another one of the values that mu takes

play19:22

must be mu min such that this

play19:24

other equation is obeyed putting these

play19:28

two equations together

play19:30

we have that mu max squared plus mu max

play19:33

h bar is equal to mu min squared

play19:36

minus mu min h bar this in turn

play19:40

means that mu max is equal to minus mu

play19:43

min

play19:46

let's now draw our real axis again

play19:49

and place the barriers at square root of

play19:52

lambda

play19:53

and minus square root of lambda and we

play19:56

now know that mu must actually be

play19:58

somewhere between

play20:00

mu min and mu max

play20:03

we are now ready for the final step

play20:07

let's imagine that this here is an

play20:09

allowed meal

play20:11

then we must reach this mu max by

play20:14

applying the racing operator

play20:16

some number of times say p times

play20:20

this means that the distance between mu

play20:22

and mu max is equal to an

play20:24

integer multiple of h bar

play20:27

similarly from the same mu we must reach

play20:30

this mu min by applying the logging

play20:33

operator some number of times

play20:34

say q times this means that the distance

play20:38

between

play20:38

mu and mu min is also equal to an

play20:41

integer multiple of

play20:42

h bar so putting these two together

play20:46

the distance between mu min and mu max

play20:50

must be equal to an integer multiple of

play20:52

h bar

play20:54

so let's call that integer n

play20:58

mathematically this means that mu max is

play21:01

equal to mu min

play21:03

plus n times h bar for some positive

play21:06

integer

play21:07

n

play21:10

we're now almost there we just figured

play21:13

that mu max is equal to mu min plus nh

play21:16

bar where n is an integer

play21:18

we also know that mu min is equal to

play21:21

minus mu max

play21:22

so we can rewrite this equation like

play21:25

this

play21:26

and this means that mu max is equal to n

play21:29

over 2

play21:30

times h bar for integer n

play21:33

and it then follows that mu min is equal

play21:36

to minus a half

play21:38

in h bar going back to the relation

play21:41

between lambda and

play21:43

mu max we have that lambda must equal

play21:47

n over 2 h bar all squared plus

play21:50

n over 2 h bar squared which is equal to

play21:54

n over 2 times n over 2 plus 1

play21:58

times h bar squared

play22:01

so these are the final conditions for

play22:03

lambda and mu

play22:05

lambda can only have this form

play22:09

where n is 0 or a positive integer

play22:13

and for a given value of lambda then mu

play22:16

can be its minimum value or we can add

play22:19

one h bar or another h bar and so on

play22:23

until we get to one h bar short of the

play22:26

maximum value

play22:27

and then we can of course have the

play22:29

maximum value

play22:31

so for a given lambda the only allowed

play22:33

values of mu are the ones on this list

play22:36

and there will be a total of n plus one

play22:39

allowed values of mu

play22:40

for a given lambda

play22:45

so we've done it we started with the

play22:48

general eigenvalue equations for j

play22:50

squared and for j3

play22:53

where the eigenvalues lambda and mu are

play22:55

general

play22:56

and we have now determined that the only

play22:59

allowed values of lambda

play23:00

are of this form

play23:04

and for a given lambda then that can be

play23:07

n plus 1 different values of mu

play23:09

which are given by this list in steps of

play23:12

h bar

play23:15

in the theory of angular momentum what

play23:17

we do is we call the number

play23:19

n over 2 j and as

play23:22

n is a positive integer or zero then the

play23:25

allowed values of j

play23:26

are zero one half one three halves two

play23:30

and so on in this language

play23:33

lambda is equal to j times j plus one

play23:36

times

play23:36

h bar squared we also write mu as equal

play23:40

to

play23:41

m h bar and the allowed values of m

play23:44

are minus j minus j plus one minus j

play23:48

plus two

play23:49

all the way to j minus 1 and j

play23:53

we can finally take the original

play23:55

eigenvalue equations with general lambda

play23:58

and mu

play23:59

and write them again using the allowed

play24:01

values of

play24:02

lambda and of mu

play24:05

where i have re-labeled the common

play24:07

eigenstates using

play24:09

the quantum numbers j and m as is

play24:12

usually done

play24:14

the derivation was a little bit lengthy

play24:16

but i think it was worth it because now

play24:18

we've demonstrated that angular momentum

play24:20

is indeed quantized

play24:21

also don't forget to look at the

play24:23

companion video

play24:24

where we will take the eigenvalues of

play24:26

the angular momentum operator that we've

play24:28

derived today and look at some of the

play24:29

more general properties

play24:31

you can also learn more about the role

play24:32

of angular momentum eigenvalues by

play24:34

checking out our videos on orbital and

play24:37

spin angular momentum and as always

play24:39

if you liked the video please subscribe

Rate This

5.0 / 5 (0 votes)

相关标签
Quantum MechanicsAngular MomentumEigenvaluesRigorous DerivationProfessor MDAQuantizationLadder OperatorsOrbital MechanicsSpin MechanicsEducational Video
您是否需要英文摘要?