±è°ü¼®

20200917 21:43:31, Á¶È¸¼ö : 2,688 
 Download #1 : as_Schroed7.jpg (249.7 KB), Download : 1
The Schrödinger Equation (1) (2) (3) (4) (5) (6)
5.3 Harmonic Oscillator _{}
The quantum harmonic oscillator is worth our attention for several reasons. One of those reasons is that it provides an instructive example of the application of several of concepts of previous sections and chapters. The potentialenergy function 𝑉(𝑥) of harmonic oscillator is a reasonable approximation for other potential energy functions in the vicinity of a potential minimum. This means that the harmonic oscillator, although idealized in this treatment, has a strong connection to several realworld configurations.
We may review the basics of the behavior of a system such as a mass sliding on a frictionless horizontal surface while attached to a spring. In the classical case, this type of system oscillates with constant total energy, continuously exchanging potential and kinetic energy as it moves from the equilibrium position to the "turning points" at which its direction of motion reverses. The potential energy of that object is zero at the equilibrium position and maximum at the turning points at which the spring is maximally compressed or extended. Conversely the kinetic energy is maximum as the object passes through equilibrium and zero when object's velocity passes through zero at the turning points. The object moves fastest at equilibrium and slowest at the turning points, which means that measurements of position taken at random times are more likely to yield results near the turning points, because the object spends more time there.
Several aspects of classical harmonic oscillator are relevant to the quantum case.
One of them is the quadratic form of potential energy, usually written as
(5.56) 𝑉(𝑥) = 1/2 𝑘𝑥^{2},
where 𝑥 represents the distance of the object from the equilibrium position and 𝑘 represents the "spring constant" (the force on the object per unit distance from the equilibrium position). The quadratic relationship between potential energy and position pertain to any restoring force that increases linearly with distance, that is, any force that obeys Hook's Law:
(5.57) 𝐹 = 𝑘𝑥,
where the minus sign indicates that the force is always in the direction toward the equilibrium point. We can see the relationship between Hooke's Law and quadratic potential energy by writing force as the negative gradient of the potential energy:
(5.58) 𝐹 = ¡Ó𝑉/¡Ó𝑥 = ¡Ó(1/2 𝑘𝑥)/¡Ó𝑥 = 2𝑘𝑥/2 = 𝑘𝑥,
Another useful result from classical harmonic oscillator is that the motion of the object is sinusoidal, with angular frequency 𝜔 give by
(5.59) 𝜔 = ¡î(𝑘/𝑚),
where 𝑘 represents the spring constant and 𝑚 represents the mass of the object.
We can see a plot of the potential energy of a harmonic oscillator in Fig. 5.25. As in the potential wells we can find the energy levels and wavefunctions of the quantum harmonic oscillator by using separation of variables and solving the TISE (Eq. 3.40). So we have
(5.60) (ℏ^{2}/2𝑚) 𝑑^{2}𝜓(𝑥)/𝑑𝑥^{2} + 1/2 𝑘𝑥^{2}𝜓(𝑥) = 𝐸𝜓(𝑥).
It's customary to use angular frequency 𝜔 rather than spring constant 𝑘 in quantum mechanics. Plugging 𝑘 = 𝑚𝜔^{2} into the TISE gives
𝑑^{2}𝜓(𝑥)/𝑑𝑥^{2}  2𝑚/ℏ^{2}[1/2 𝑚𝜔^{2}𝑥^{2}𝜓(𝑥)] =  2𝑚/ℏ^{2}𝐸𝜓(𝑥) 𝑑^{2}𝜓(𝑥)/𝑑𝑥^{2}  [(𝑚^{2}𝜔^{2}/ℏ^{2})𝑥^{2}𝜓(𝑥)] + (2𝑚/ℏ^{2})𝐸𝜓(𝑥) = 0
(5.61) 𝑑^{2}𝜓(𝑥)/𝑑𝑥^{2} + [(2𝑚/ℏ^{2})𝐸  (𝑚^{2}𝜔^{2}/ℏ^{2})𝑥^{2}]𝜓(𝑥) = 0.
There are two different approaches to solve it, called the "analytic" approach and the "algebraic" approach. The former uses power series to solve Eq. 5.61 and the latter approach involves factoring the equation and an operator called a "ladder operator. Before starting the analytic path, we make two variable substitutions, which is to replace a dimensional variables, such as 𝐸 and 𝑥, with a dimensionless quantity, such as 𝐸_{𝑟𝑒𝑓} and 𝑥_{𝑟𝑒𝑓}. The dimensionless version of energy is called 𝜖. defined like this:
(5.62) 𝜖 ¡Õ 𝐸/𝐸_{𝑟𝑒𝑓} = 𝐸/(1/2 ℏ𝜔),
where 𝜔 is the angular frequency of the groundstate wavefunction, and ℏ𝜔/2 turns out to be the groundstate energy of the quantum harmonic oscillator.
The dimensionless version of position is called 𝜉, defined by
(5.63) 𝜉 ¡Õ 𝑥/𝑥_{𝑟𝑒𝑓} = 𝑥/¡î(ℏ/𝑚𝜔),
where ¡î(ℏ/𝑚𝜔) represent is the distance to the classical turning point of a harmonic oscillator for a particle in the ground state. Both 𝐸_{𝑟𝑒𝑓} and 𝑥_{𝑟𝑒𝑓} are shown in Fig. 5.25.
Now we may start by solving Wqs. 5.62 and 5.63 for 𝐸 and 𝑥, respectively:
(5.64, 65) 𝐸 = 𝜖𝐸_{𝑟𝑒𝑓} = 𝜖(1/2 ℏ𝜔), 𝑥 = 𝜉𝑥_{𝑟𝑒𝑓} = 𝜉¡î(ℏ/𝑚𝜔)
Next, it's necessary to work on the secondorder spatial derivative 𝑑^{2}/𝑑𝑥^{2}. Taking the first spatial derivative of 𝑥 with respect to 𝜉 gives
(5.66) 𝑑𝑥/𝑑𝜉 = ¡î(ℏ/𝑚𝜔), 𝑑𝑥 = ¡î(ℏ/𝑚𝜔) 𝑑𝜉, and so
(5.67) 𝑑𝑥^{2} = ℏ/𝑚𝜔 𝑑𝜉^{2}.
Plugging in the these expressions for 𝐸, 𝑥, and 𝑑𝑥^{2} into Eq. 5.61, which gives
𝑑^{2}𝜓(𝜉)/(ℏ/𝑚𝜔 𝑑𝜉^{2}) + [(2𝑚/ℏ^{2})𝜖(1/2 ℏ𝜔)  (𝑚^{2}𝜔^{2}/ℏ^{2}){𝜉¡î(ℏ/𝑚𝜔)}^{2}]𝜓(𝜉) = 0, 𝑚𝜔/ℏ 𝑑^{2}𝜓(𝜉)/𝑑𝜉^{2} + (𝑚𝜔/ℏ 𝜖  𝑚𝜔/ℏ 𝜉^{2})𝜓(𝜉) = 0
(5.68) 𝑑^{2}𝜓(𝜉)/𝑑𝜉^{2} + (𝜖  𝜉^{2})𝜓(𝜉) = 0.
Differential equation of this type called Weber equations, for which the solutions are known be the products of Gaussian function and Hermite polynomials . Because 𝑑^{2}𝜓/𝑑𝑥^{2} represents the curvature of the wavefunction 𝜓 over distance, 𝜖 is proportional to 𝐸, and 𝜉^{2} is proportional to 𝑥^{2}, Eq. 5.68 means that the magnitude of the curvature of harmonic oscillator wavefunctions increases as energy increases, but for a given energy, the wavefunction curvature decreases with distance from the center of the potential well.^{¡Ø}
If we consider the asymptotic behavior of the solution 𝜓(𝜉) (that is, the behavior at very large or very small values of 𝜉), we can separate out the behavior of the solution in one regime frm that in another, and the differential equation may be simpler to solve in those regimes. For large 𝜉, the Eq. 5.68 looks like this:
(5.69) 𝑑^{2}𝜓(𝜉)/𝑑𝜉^{2}  𝜉^{2})𝜓(𝜉) ≈ 0 𝑑^{2}𝜓(𝜉)/𝑑𝜉^{2} ≈ 𝜉^{2})𝜓(𝜉),
where the 𝜖 term is negligible relative to the 𝜉^{2} term for large 𝜉.
The solutions in this equation for large 𝜉 are ^{¡Ø}
(5.70) 𝜓(𝜉 ¡æ ∓¡Ä) = 𝐴𝑒^{𝜉2/2} + 𝐵𝑒^{𝜉2/2},
but for the harmonic oscillator, if 𝜉 ¡æ ∓¡Ä the, then the potential energy 𝑉(𝑥) increases infinitely and wavefunction 𝜓(𝜉) must go zero. So the coefficient 𝐴 must be zero and we can write
(5.71) 𝜓(𝜉) = 𝑓(𝜉)𝑒^{𝜉2/2},
where the 𝑓(𝜉) represents a function that determines the behavior of 𝜓(𝜉) at small values of 𝜉, and the coefficient 𝐵 has been absorbed into the function. Plugging Eq. 5.71 into Eq. 5.68:
(5.72) 𝑑^{2}[𝑓(𝜉)𝑒^{𝜉2/2}]/𝑑𝜉^{2} + (𝜖  𝜉^{2})𝑓(𝜉)𝑒^{𝜉2/2} = 0.
The first spatial dervative:
𝑑[𝑓(𝜉)𝑒^{𝜉2/2}]/𝑑𝜉 = 𝑑𝑓(𝜉)/𝑑𝜉 𝑒^{𝜉2/2} + 𝑓(𝜉) 𝑑(𝑒^{𝜉2/2})/𝑑𝜉 = 𝑑𝑓(𝜉)/𝑑𝜉 𝑒^{𝜉2/2} + 𝑓(𝜉) (𝜉𝑒^{𝜉2/2}) = 𝑒^{𝜉2/2}[𝑑𝑓(𝜉)/𝑑𝜉  𝜉𝑓(𝜉)],
and taking another spatial derivative gives
𝑑/2[𝑓(𝜉)𝑒^{𝜉2/2}]/𝑑𝜉/2 = 𝑑{𝑒^{𝜉2/2}[𝑑𝑓(𝜉)/𝑑𝜉  𝜉𝑓(𝜉)]}/𝑑𝜉 = 𝑑(𝑒^{𝜉2/2})/𝑑𝜉 [𝑑𝑓(𝜉)/𝑑𝜉  𝜉𝑓(𝜉)] + 𝑒^{𝜉2/2} 𝑑/𝑑𝜉 [𝑑𝑓(𝜉)/𝑑𝜉  𝜉𝑓(𝜉)]
= 𝜉𝑒^{𝜉2/2} 𝑑𝑓(𝜉)/𝑑𝜉  𝜉𝑒^{𝜉2/2}[ 𝜉𝑓(𝜉)] + 𝑒^{𝜉2/2} 𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2} + 𝑒^{𝜉2/2}[𝑓(𝜉)  𝜉 𝑑𝑓(𝜉)/𝑑𝜉]
= 𝑒^{𝜉2/2}[𝜉 𝑑𝑓(𝜉)/𝑑𝜉 + 𝜉^{2}𝑓(𝜉) + 𝑑2𝑓(𝜉)/𝑑𝜉^{2}  𝑓(𝜉)  𝜉 𝑑𝑓(𝜉)/𝑑𝜉] = 𝑒^{𝜉2/2}[𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2}  2𝜉 𝑑𝑓(𝜉)/𝑑𝜉 + 𝑓(𝜉)(𝜉^{2}  1)].
Plugging this into Eq. 5.72 gives
𝑒^{𝜉2/2}[𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2}  2𝜉 𝑑𝑓(𝜉)/𝑑𝜉 + 𝑓(𝜉)(𝜉^{2}  1)] + (𝜖  𝜉^{2})𝑓(𝜉)𝑒^{𝜉2/2} = 0 or
(5.73) 𝑒^{𝜉2/2}[𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2}  2𝜉 𝑑𝑓(𝜉)/𝑑𝜉 + 𝑓(𝜉)(𝜖  1)] = 0.
Since the equation must be true for all values of 𝜉, the term in square brackets must equal zero:
(5.74) 𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2}  2𝜉 𝑑𝑓(𝜉)/𝑑𝜉 + 𝑓(𝜉)(𝜖  1) = 0.
This equation is amenable to solution by the powerseries approach. First we may write the function 𝑓(𝜉) as a power series:
𝑓(𝜉) = 𝑎_{0} + 𝑎_{1}𝜉 + 𝑎_{2}𝜉^{2} + ∙ ∙ ∙ = ¢²_{𝑛=0}^{¡Ä}𝑎_{𝑛}𝜉^{𝑛}.
It's customary to start the index at n = 0, so the groundstate wavefunction will be called 𝜓_{0}. The first and second spatial derivatives of 𝑓(𝜉)
𝑑𝑓(𝜉)/𝑑𝜉 = ¢²_{𝑛=0}^{¡Ä}𝑛𝑎_{𝑛}𝜉^{𝑛1} and 𝑑^{2}𝑓(𝜉)/𝑑𝜉^{2} = ¢²_{𝑛=0}^{¡Ä}𝑛(𝑛1)𝑎_{𝑛}𝜉^{𝑛2}
Inserting these into Eq. 5.74 gives
(5.75) ¢²_{𝑛=0}^{¡Ä}𝑛(𝑛  1)𝑎_{𝑛}𝜉^{𝑛2}  2𝜉¢²_{𝑛=0}^{¡Ä}𝑛𝑎_{𝑛}𝜉^{𝑛1} + ¢²_{𝑛=0}^{¡Ä}𝑎_{𝑛}𝜉^{𝑛}(𝜖  1) = 0.
Since at the first summation for which the 𝑛 = 0 and 𝑛 = 1 terms both contribute nothing to the sum, we can simplify the indices by letting 𝑛 ¡æ 𝑛+2. So Eq. 5.75 may be written as
¢²_{𝑛=0}^{¡Ä}(𝑛 + 2)(𝑛 + 1)𝑎_{𝑛+2}𝜉^{𝑛}  ¢²_{𝑛=0}^{¡Ä}2𝑛𝑎_{𝑛}𝜉^{𝑛} + ¢²_{𝑛=0}^{¡Ä}𝑎_{𝑛}𝜉^{𝑛}(𝜖  1) = 0
¢²_{𝑛=0}^{¡Ä}[(𝑛 + 2)(𝑛 + 1)𝑎_{𝑛+2}  2𝑛𝑎_{𝑛} + 𝑎_{𝑛}𝜉^{𝑛}(𝜖  1)]𝜉^{𝑛} = 0,
which means that the coefficients of 𝜉^{𝑛} for each value of 𝑛 must sum to zero:
(𝑛 + 2)(𝑛 + 1)𝑎_{𝑛+2}  2𝑛𝑎_{𝑛} + 𝑎_{𝑛}𝜉^{𝑛}(𝜖  1) = 0
(5.76) 𝑎_{𝑛+2} = [2𝑛 + (1  𝜖)]/(𝑛 + 2)(𝑛 + 1) 𝑎_{𝑛}.
This is a recursion relation that relates any coefficient 𝑎_{𝑛} to the coefficient 𝑎_{𝑛+2} that is two step higher. If we consider what this equation says about the ratio 𝑎_{𝑛+2}/𝑎_{𝑛} for large 𝑛. The ratio is
(5.77) 𝑎_{𝑛+2}/𝑎_{𝑛} = [2𝑛 + (1  𝜖)]/(𝑛 + 2)(𝑛 + 1),
and for large values of 𝑛 this ratio converges to
(5.78) 𝑎_{𝑛+2}/𝑎_{𝑛} = [2𝑛 + (1  𝜖)]/(𝑛 + 2)(𝑛 + 1) for large 𝑛 ¡æ 2𝑛/(𝑛)(𝑛) = 2/𝑛.
Because 2/𝑛 is exactly what the ratio of the even or odd terms in the power series for the function 𝑒^{𝜉2} converges to, and if the ratio 𝑎_{𝑛+2}/𝑎_{𝑛} behaves like 𝑒^{𝜉2} for large number of 𝑛, then Eq. 5.71 says that the wavefunction 𝜓(𝜉) looks like ^{¡Ø}
𝜓(𝜉) = 𝑓(𝜉)𝑒^{𝜉2/2} for large 𝑛 ¡æ 𝑒^{𝜉2}𝑒^{𝜉2/2} = 𝑒^{+𝜉2/2},
which cannot be normalized if 𝜉 ¡æ ∓¡Ä without any limit. So we must find what condition can cause this series terminate. Accirding to Eq. 5.77 the coefficient 𝑎_{𝑛+2} equals zero at any value of the energy parameter 𝜖 for which
[2𝑛 + (1  𝜖)]/(𝑛 + 2)(𝑛 + 1) = 0. so 2𝑛 + (1  𝜖) = 0 and
(5.79) 𝜖 = 2𝑛 + 1.
This means that 𝜖 is quantized, taking on discrete values that depend on the value of 𝑛. Denoting this quantization by using subscript 𝑛, so we have
𝐸_{𝑛} = 𝜖_{𝑛}(1/2 ℏ𝜔) = (2𝑛 + 1)(1/2 ℏ𝜔) or
(5.80) 𝐸_{𝑛} = (𝑛 + 1/2)ℏ𝜔.
These are the allowed value for the energy of a quantum harmonic oscillator. So the groundstate energy is 𝐸_{0} = (1/2)ℏ𝜔, which is exactly what was used as 𝐸_{𝑟𝑒𝑓} in Eq. 5.62. Each energy level 𝐸_{𝑛} is precisely ℏ𝜔 higher than the adjacient lower level 𝐸_{𝑛1}.
From this point foward the summation index for wavefunction will be labeled as 𝑚 like this:
(5.81) 𝑓(𝜉) = ¢²_{𝑚=0,1,2... }𝑎_{𝑚}𝜉^{𝑚}.
It's helpful to separate this into two series  one with the even powers and the other with the odd power:
(5.82) 𝑓(𝜉) = ¢²_{𝑚=0,2.4... }𝑎_{𝑚}𝜉^{𝑚} + ¢²_{𝑚=1,3.5... }𝑎_{𝑚}𝜉^{𝑚}.
We know that the summation terminates whenever the energy parameter 𝜖_{𝑛}takes on the value 2𝑛 + 1. Plugging this into Eq. 5.76
(5.83) 𝑎_{𝑚+2} = [2𝑚 + (1  𝜖_{𝑛})]/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = [2𝑚 + (1  (2𝑛 + 1)]/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚},
which means the series terminates when 𝑚 = 𝑛. When 𝑚 = 𝑛 = 0 (so all even term with 𝑚 > 𝑛 are zero), To ensure all the odd terms zero we must set 𝑎_{1} = 0. So the function 𝑓_{0}(𝜉) is
(5.84) 𝑓_{0}(𝜉) = ¢²_{𝑚=0 only }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{0}𝜉^{0} = 𝑎_{0}.
Now consider the first excited (𝑛 = 1) case (so all odd term with 𝑚 > 𝑛 are zero). And to make sure that the even series doesn't blow up we must set 𝑎_{0} = 0. So the function 𝑓_{1}(𝜉) for the first excited states is
(5.85) 𝑓_{1}(𝜉) = ¢²_{𝑚=1 only }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{1}𝜉^{1} = 𝑎_{1}𝜉.
For the second excited state 𝑛 = 2, the energy parameter 𝜖_{2} = 5, and even series terminates at 𝑚 = 𝑛 = 2. But in this case the counter 𝑚 can take on 0 and 2. For 𝑚 = 0 and 𝑛 = 2, the recursion relation gives
𝑎_{2} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(0  2)/(0 + 2)(0 + 1) 𝑎_{0} = 2𝑎_{0},
and for 𝑚 = 2 and 𝑛 = 2, the recursion relation gives
𝑎_{2} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(2  2)/(2 + 2)(2 + 1) 𝑎_{0} = 0_{0}, so
(5.86) 𝑓_{2}(𝜉) = ¢²_{𝑚=0 and 2 }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{0}𝜉^{0} + 𝑎_{2}𝜉^{2} = (𝑎_{0} + 𝑎_{2}𝜉^{2}) = 𝑎_{0}(1  2𝜉^{2}).
For the third excited states 𝑛 = 3, 𝜖_{3} = 7, and the odd series terminates at 𝑚 = 𝑛 = 3. In this case the counter 𝑚 can take on the values of 1 and 3. For 𝑚 = 1 and 𝑛 = 3
𝑎_{3} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(1  3)/(1 + 2)(1 + 1) 𝑎_{0} = 2/3 𝑎_{1},
For 𝑚 = 3 and 𝑛 = 3
𝑎_{5} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(3  3)/(2 + 2)(2 + 1) 𝑎_{2} =0, Hence
(5.87) 𝑓_{3}(𝜉) = ¢²_{𝑚=1 and 3 }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{1}𝜉^{1} + 𝑎_{3}𝜉^{3} = (𝑎_{1}𝜉 + 𝑎_{2}𝜉^{3}) = 𝑎_{1}(𝜉  2/3 𝜉^{3}).
For the fourth excited states 𝑛 = 4, 𝜖_{4} = 9, and the even series terminates at 𝑚 = 𝑛 = 4. In this case the counter 𝑚 can take on the values of 0, 2 and 4. For 𝑚 = 0 and 𝑛 = 4
𝑎_{2} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(0  4)/(0 + 2)(0 + 1) 𝑎_{0} = 4𝑎_{0},
For 𝑚 = 2 and 𝑛 = 4
𝑎_{4} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(2  4)/(2 + 2)(2 + 1) 𝑎_{2} = 4/12 𝑎_{2} = 1/3 𝑎_{2} = 4/3 𝑎_{0},
Finally for 𝑚 = 4 and 𝑛 = 4
𝑎_{6} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(4  4)/(4 + 2)(4 + 1) 𝑎_{2} = 0, Hence
(5.88) 𝑓_{4}(𝜉) = ¢²_{𝑚=0,2 and 4 }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{0}𝜉^{0} + 𝑎_{2}𝜉^{2} + 𝑎_{4}𝜉^{4} = 𝑎_{0}(1  4𝜉^{2} + 4/3 𝜉^{4}).
For the fifth excited states 𝑛 = 5, 𝜖_{4} = 11, and the even series terminates at 𝑚 = 𝑛 = 5. In this case the counter 𝑚 can take on the values of 1, 3 and 5. For 𝑚 = 1 and 𝑛 = 5
𝑎_{3} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(1  5)/(1 + 2)(1 + 1) 𝑎_{1} = 4/3 𝑎_{1},
For 𝑚 = 3 and 𝑛 = 5
𝑎_{5} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(3  5)/(3 + 2)(3 + 1) 𝑎_{2} = 4/20 𝑎_{3} = 1/5 𝑎_{3} = 4/15 𝑎_{1},
Lastly for 𝑚 = 5 and 𝑛 = 5
𝑎_{6} = 2(𝑚  𝑛)/(𝑚 + 2)(𝑚 + 1) 𝑎_{𝑚} = 2(5  5)/(5 + 2)(5 + 1) 𝑎_{5} = 0, Thus
(5.89) 𝑓_{5}(𝜉) = ¢²_{𝑚=1,3 and 5 }𝑎_{𝑚}𝜉^{𝑚} = 𝑎_{1}𝜉^{1} + 𝑎_{3}𝜉^{3} + 𝑎_{5}𝜉^{5} = 𝑎_{1}(𝜉  4/3 𝜉^{3} + 4/15 𝜉^{5}).
Now in order to relate to the Hermite polynomials mentioned earlier we may arrange the 𝑓_{𝑛} functions to pull out the constant needed to cause the numerical factor in front of the highest power of 𝜉 for each value of 𝑛 to be 2^{𝑛}. That looks like this:
𝑓_{0}(𝜉) = 𝑎_{0} = 𝑎_{0}(1)
𝑓_{1}(𝜉) = 𝑎_{1}𝜉 = 𝑎_{1}/2(2𝜉)
𝑓_{2}(𝜉) = 𝑎_{0}(1  2𝜉^{2}) = 𝑎_{0}/2 (4𝜉^{2}  2)
𝑓_{3}(𝜉) = 𝑎_{1}(𝜉  2/3 𝜉^{3}) = 𝑎_{1}/12 (8𝜉^{3}  12𝜉)
𝑓_{4}(𝜉) = 𝑎_{0}(1  4𝜉^{2}  4/3 𝜉^{4}) = 𝑎_{0}/12 (16𝜉^{4}  48𝜉^{3} + 12)
𝑓_{5}(𝜉) = 𝑎_{1}(𝜉  4/3 𝜉^{3} + 4/15 𝜉^{5}) = 𝑎_{1}/120 (32𝜉^{5}  160𝜉^{3} + 120𝜉).
Referring to mathematical handbook we can find these expression:
𝐻_{0}(𝜉) = 1 𝐻_{1}(𝜉) = 2𝜉 𝐻_{2}(𝜉) = 4𝜉^{2}  2
𝐻_{3}(𝜉) = 8𝜉^{3}  12𝜉 𝐻_{4}(𝜉) = 16𝜉^{4}  48𝜉^{3} + 12 𝐻_{5}(𝜉) = 32𝜉^{5}  160𝜉^{3} + 120𝜉.
So calling the constant factors involving 𝑎_{0} or 𝑎_{1} in 𝑓_{𝑛}(𝜉) 𝐴_{𝑛} Eq. 5.71 gives
(5.90) 𝜓_{𝑛}(𝜉) = 𝑓_{𝑛}(𝜉)𝑒^{𝜉2/2} = 𝐴_{𝑛}𝐻_{𝑛}(𝜉)𝑒^{𝜉2/2},
where constants will be determined later by normalizing the wavefunction 𝜓_{𝑛}(𝜉).
The quantum harmonic oscillator wavefunctions are comprised of the product of Hermite polynomials 𝐻_{𝑛} and a Gaussian function 𝑒^{𝜉2/2}. The Gaussian term that causes wavefunction 𝜓(𝜉) to decrease toward zero as 𝜉 goes to ∓¡Ä, providing the spatial localization for normalization.
To accomplish that normalization, set the integrated probability density over all space to unity. For 𝜓_{𝑛}(𝑥), the integration is over 𝑥:
(5.91) ¡ò_{¡Ä}^{¡Ä} 𝜓^{*}(𝑥)𝜓(𝑥) 𝑑𝑥 = 1,
and Eq. 5.66 relates 𝑑𝑥 to 𝑑𝜉, so
(5.92) ¡ò_{¡Ä}^{¡Ä} 𝜓^{*}(𝑥)𝜓(𝑥) 𝑑𝑥 = ¡î(ℏ/𝑚𝜔) ¡ò_{¡Ä}^{¡Ä} 𝜓^{*}(𝜉)𝜓(𝜉) 𝑑𝜉, which means
(5.93) ¡î(ℏ/𝑚𝜔) ¡ò_{¡Ä}^{¡Ä} [𝐴_{𝑛}𝐻_{𝑛}(𝜉)𝑒^{𝜉2/2}]^{*}[𝐴_{𝑛}𝐻_{𝑛}(𝜉)𝑒^{𝜉2/2}] 𝑑𝜉 = 1, or
(5.94) ¡î(ℏ/𝑚𝜔) ∣𝐴_{𝑛}∣^{2} ¡ò_{¡Ä}^{¡Ä} ∣𝐻_{𝑛}(𝜉)∣^{2}𝑒^{𝜉2/2} 𝑑𝜉 = 1.
But mathematicans works on weber equation and Hermite polynomials have given us a very neat integral identity: ^{¡Ø}
(5.95) ¡ò_{¡Ä}^{¡Ä} ∣𝐻_{𝑛}(𝜉)∣^{2}𝑒^{𝜉2/2} 𝑑𝜉 = 2^{𝑛}𝑛!(¥ð^{1/2}).
Inserting this expression into Eq. 5.94 yields
¡î(ℏ/𝑚𝜔) ∣𝐴_{𝑛}∣^{2}2^{𝑛}𝑛!(¥ð^{1/2}) = 1 ∣𝐴_{𝑛}∣^{2}2^{ = ¡î(𝑚𝜔/ℏ) 1/[2}2^{𝑛}𝑛!(¥ð^{1/2})],
and taking the square root gives the normalization constant 𝐴_{𝑛}:
(5.96) ∣𝐴_{𝑛}∣ = (𝑚𝜔/ℏ)^{1/4} 1/¡î[2^{𝑛}𝑛!(¥ð^{1/2})] = (𝑚𝜔/¥ðℏ)^{1/4} 1/¡î(2^{𝑛}𝑛!).
With 𝐴_{𝑛} in hand, we can write the wavefunction 𝜓_{𝑛}(𝜉) as
(5.97) 𝜓_{𝑛}(𝜉) = (𝑚𝜔/¥ðℏ)^{1/4} (1/¡î(2^{𝑛}𝑛!) 𝐻_{𝑛}(𝜉)𝑒^{𝜉2/2}.
These wavefntions 𝜓_{𝑛}(𝜉) for six lowest energy levels of the quantum harmonic oscillator are shown in Fig. 5.26. We can compare it with the solutions in the finite rectangular well, which are also oscillatory in the classically allowed region and exponentially decaying in the classically forbidden regions.In the classically allowed region.
the probability densities 𝑃_{𝑑𝑒𝑛}(𝜉) = 𝜓_{𝑛*}(𝜉)𝜓_{𝑛}(𝜉) for the six lowest energy wavefunctions of the harmonic oscillator are shown in Fig. 5.27. At low energies the behavior of quantum harmonic oscillator differs significantly from the classical case. However as 𝑛 increases, the behavior of the quantumn harmonic oscillator does begin to resemble that of the classical case at large values of 𝑛, as required the Correspondence Principle described in Section 4.1.
We should also bear in mind that these wavefunctions are the eigenfunctions of the Hamiltonian operator achieved by separation of variables, so they represent stationary states for which the expectation values of observables such as position, momentum, and energy do not change over time. To determine the behavior of particles in other states, we must include the time function 𝑇(t), shich makes 𝜓_{𝑛}(𝑥, 𝑡) ^{¡Ø}
(5.97) 𝜓_{𝑛}(𝑥, 𝑡) = (𝑚𝜔/¥ðℏ)^{1/4} (1/¡î(2^{𝑛}𝑛!) 𝐻_{𝑛}[¡î(𝑥𝑚𝜔/ℏ)]𝑒^{𝑥2𝑚𝜔/2ℏ}𝑒^{𝑖(𝑛 + 1/2)𝜔𝑡}.
Knowing the allowed energy levels 𝐸_{𝑛} and wavefunctions 𝜓_{𝑛}(𝑥, 𝑡) allows us to determine the quantum harmonic oscillator over space and time. Thus the analytic approach has provided the tools we need to analize this important configuration. But we may also find it useful to understand the algebraic approach to find the energy leves and wavefunctions for the quantum harmonic oscillator.
The algebraic approach involves a dimensionless version of Schrödinger equation using dimensionless versions of position and momentum operators 𝑋^ and 𝑃^. Starting by defining a momentum reference value 𝑝_{𝑟𝑒𝑓} using
𝑝_{𝑟𝑒𝑓}^{2}/2𝑚 = 𝐸_{𝑟𝑒𝑓} = 1/2 ℏ𝜔 𝑝_{𝑟𝑒𝑓} = ¡î(𝑚ℏ𝜔),
we produce a dimensionless version of momentum called 𝓟 as
(5.99, 100) 𝓟 = 𝑝/𝑝_{𝑟𝑒𝑓} = 𝑝/¡î(𝑚ℏ𝜔) or 𝑝 = 𝓟(𝑝_{𝑟𝑒𝑓}/).
To produce a dimensionless version of the TISE, we should write energy 𝐸 in terms of dimensionless energy 𝜖, position 𝑥 in terms of dimensionless position 𝜉, and momentum 𝑝 in terms of dimensionless momentum 𝓟. The TISE from Chapter 3:
(3.40) (ℏ^{2}/2𝑚) 𝑑^{2}[𝜓(𝑥)]/𝑑𝑥^{2} + 𝑉[𝜓(𝜉)] = 𝐸[𝜓(𝜉)],
which can be written in terms of the momentum operator 𝑃^ and position operator 𝑋^ for quantum harmonic oscillator as ^{¡Ø}
[𝑃^^{2}/2𝑚 + 1/2 𝑚𝜔^^{2}𝑋^^{2}][𝜓(𝑥)] = 𝐸[𝜓(𝑥)],
Using dimensionless operators 𝓟^ = 𝑃^/𝑝_{𝑟𝑒𝑓} and 𝜉^ = 𝑋^/𝑥_{𝑟𝑒𝑓} makes this
[[𝓟^ (𝑝_{𝑟𝑒𝑓})]^{2}/2𝑚 + 1/2 𝑚𝜔^^{2}[𝜉^ (𝑥_{𝑟𝑒𝑓})]^{2}][𝜓(𝑥)] = 𝜖(𝐸_{𝑟𝑒𝑓})[𝜓(𝜉)], or
[[𝓟^ ¡î(𝑚ℏ𝜔)]^{2}/2𝑚 + 1/2 𝑚𝜔^^{2}[𝜉^ ¡î(ℏ/𝑚𝜔)]^{2}][𝜓(𝜉)] = 𝜖(1/2 ℏ𝜔)[𝜓(𝜉)] [𝓟^^{2}ℏ𝜔/2 + 𝜉^^{2}ℏ𝜔/2][𝜓(𝜉)] = 𝜖(1/2 ℏ𝜔)[𝜓(𝜉)]. So we have
(5.101) [𝓟^^{2} + 𝜉^^{2}][𝜓(𝜉)] = 𝜖[𝜓(𝜉)].
To solve this equation we begin with two new operators, which are combinations of the dimensionless position and momentum operators. The first one is
(5.101) 𝑎^^{¢Ó} = 1/¡î2 (𝜉^  𝑖𝓟^) and the second one is
(5.102) 𝑎^ = 1/¡î2 (𝜉^ + 𝑖𝓟^).
Their product is
𝑎^^{¢Ó}𝑎^ = 1/¡î2 (𝜉^  𝑖𝓟^) 1/¡î2 (𝜉^ + 𝑖𝓟^) = 1/2 (𝜉^^{2} + 𝑖𝜉^𝓟^  𝑖𝓟^𝜉^ + 𝓟^^{2}).
(5.104) 𝑖𝜉^𝓟^  𝑖𝓟^𝜉^ = 𝑖(𝜉^𝓟^  𝓟^𝜉^) = 𝑖[𝜉^, 𝓟^],
where [𝜉^, 𝓟^] represents the commutator of the operators 𝜉^ and 𝓟^. Thhis makes the product 𝑎^^{¢Ó}𝑎^ looks like this:
(5.105) 𝑎^^{¢Ó}𝑎^ = 1/2(𝜉^^{2} + 𝓟^^{2} + 𝑖[𝜉^, 𝓟^]).
This can be simplified by writing the commutator in terms of 𝑋^ and 𝑃^.
𝑖[𝜉^, 𝓟^] = 𝑖[𝑋^/𝑥_{𝑟𝑒𝑓}, 𝑃^/𝑝_{𝑟𝑒𝑓}] = 𝑖/𝑥_{𝑟𝑒𝑓}𝑝_{𝑟𝑒𝑓} [𝑋^, 𝑃^] or
𝑖[𝜉^, 𝓟^] = 𝑖/¡î(ℏ/𝑚𝜔)¡î(𝑚ℏ𝜔) [𝑋^, 𝑃^] = 𝑖/ℏ [𝑋^, 𝑃^].
Recall from Chapter 4 that the canonical communication relation Eq. 4.68 tells us that [𝑋^, 𝑃^] = 𝑖ℏ, which means
(5.106) 𝑖[𝜉^, 𝓟^] = 𝑖/ℏ [𝑖ℏ] = 1.
Plugging this into Eq. 5.105 gives
(5.107) 𝑎^^{¢Ó}𝑎^ = 1/2(𝜉^^{2} + 𝓟^^{2}  1) or (𝜉^^{2} + 𝓟^^{2}) = 2𝑎^^{¢Ó}𝑎^ + 1.
This makes the TISE Eq. 5.101
[𝓟^^{2} + 𝜉^^{2}][𝜓(𝜉)] = (2𝑎^^{¢Ó}𝑎^ + 1)[𝜓(𝜉)] = 𝜖[𝜓(𝜉)] or 2𝑎^^{¢Ó}𝑎^[𝜓(𝜉)] = (𝜖  1)[𝜓(𝜉)].
Plugging the definition of 𝑎^^{¢Ó} and 𝑎^ into this equation gives
(5.108) 2[{1/¡î2 (𝜉^  𝑖𝓟^)}{1/¡î2 (𝜉^ + 𝑖𝓟^)}][𝜓(𝜉)] = (𝜖  1)[𝜓(𝜉)] or (𝜉^  𝑖𝓟^)(𝜉^ + 𝑖𝓟^) = (𝜖  1)[𝜓(𝜉)].
One way that this equation can be satisfied is for 𝜖 = 1 while 1/¡î2 (𝜉^ + 𝑖𝓟^)[𝜓(𝜉)] = 0.
So if 𝜖 = 1, the total energy is
𝐸 = 𝜖𝐸_{𝑟𝑒𝑓} = (1)(ℏ𝜔/2) = 1/2 ℏ𝜔,
in agreement which 𝐸_{0} determined by the analytical approach in Eq. 5.80. If (𝜉^ + 𝑖𝓟^)[𝜓(𝜉)] = 0, the momentum operators 𝑃^ and 𝓟^ is from Eq. 3.29, Eq. 5.66, and Eq. 5.99
𝑃^ = 𝑖ℏ 𝑑/𝑑𝑥 = 𝑖ℏ 𝑑/[¡î(ℏ/𝑚𝜔) 𝑑𝜉] = 𝑖¡î(𝑚ℏ𝜔) 𝑑/𝑑𝜉 and 𝓟^ = 𝑃^/𝑃_{𝑟𝑒𝑓} = 𝑖¡î(𝑚ℏ𝜔)/¡î(𝑚ℏ𝜔) 𝑑/𝑑𝜉 = 𝑖𝑑/𝑑𝜉, then
(5.109) (𝜉^ + 𝑖𝓟^)[𝜓(𝜉)] = [𝜉 + 𝑖(𝑖𝑑/𝑑𝜉)][𝜓(𝜉)] = 0 [𝜉 + 𝑑/𝑑𝜉][𝜓(𝜉)] = 0 𝑑𝜓(𝜉)/𝑑𝜉 = 𝜉𝜓(𝜉).
The solution is this equation is 𝜓(𝜉) = 𝐴𝑒^{𝜉2/2}, and normalizing gives 𝐴 = (𝑚𝜔/¥ðℏ)^{1/4}.^{¡Ø}
Hence the algebraic approach gives the lowestenergy eigenfunction
𝜓_{0}(𝜉) = (𝑚𝜔/¥ðℏ)^{1/4} 𝑒^{𝜉2/2},
exactly as found for 𝜓_{0}(𝜉) using the analytic approach.
The operator 𝑎^^{¢Ó} and 𝑎^ also useful individually. We can see this by applying the 𝑎^^{¢Ó} to 𝜓_{0}(𝜉):
𝑎^^{¢Ó}𝜓_{0}(𝜉) = 1/¡î2 (𝜉^  𝑖𝓟^)[(𝑚𝜔/¥ðℏ)^{1/4} 𝑒^{𝜉2/2}] = 1/¡î2 (𝑚𝜔/¥ðℏ)^{1/4} [𝜉𝑒^{𝜉2/2}  𝑑/𝑑𝜉(𝑒^{𝜉2/2})] = (𝑚𝜔/¥ðℏ)^{1/4}[¡î2𝜉𝑒^{𝜉2/2}] = 𝜓_{1}(𝜉).
For this reason 𝑎^^{¢Ó} is known as a "raising" operator. For the raising operator, the constant of proportionality is ¡î(𝑛 + 1), so
(5.110) 𝑎^^{¢Ó}𝜓_{𝑛}(𝜉) = ¡î(𝑛 + 1)𝜓_{𝑛+1}(𝜉).
Also the operator 𝑎^ performs the complementary function, producinga wavefunction proportional to the wavefunction with the quantum number lowered by one. Hence 𝑎^ is called a "lowering operator", and for the lowering oprator, the constant of proportionality is ¡î𝑛. Thus
(5.111) 𝑎^𝜓_{𝑛}(𝜉) = ¡î𝑛 𝜓_{𝑛1}(𝜉).
This is why 𝑎^^{¢Ó} and 𝑎^ are known as ladder operators; they alloe us to "climb" up or down the wavefunctions of the quantum harmonic oscillator. Some texts refer to the ladder operators as "creation" and "annihilation" oprators  each step up creates and each set down destroys one quantum (1/2 ℏ𝜔) of energy.
* Textbook: Daniel A. Fleisch A Student's Guide to the Schrödinger Equation (Cambridge University Press 2020)
^{¡Ø} attention: some rigorous derivation might be required
p.s. µ¿ÀÏ ÀúÀÚÀÇ ÀÎ±â Àú¼ÀÎ Maxwell's Equation (2008) [59], Vectors and Tensors (2012) [82]¿¡ ÀÌÀº ¼¼¹øÂ° Ã¥
¾Õ¿¡¼ ¾ð±ÞÇßµíÀÌ Mathematics of Astronomy (2013)µµ ÀÐ¾ú´Âµ¥, ¸ðµÎ ÃµÃ¼¹°¸®ÇÐ ÃÊº¸/µ¶ÇÐÀÚµé¿¡°Ô °·ÂÈ÷ ÃßÃµÇÔ.
ÇÐ½À ÈÄ 1³â Áö³ª¼ ¹ø¿ªÆÇÀ» ¹ß°ßÇÔ..¤¾ <½´·Úµù°Å ¹æÁ¤½Ä> (Daniel A. Fleisch, ÃÖÁØ°ï ¿Å±è, ÇÐ»ê¹Ìµð¾î 2020)


