Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

One-dimensional wave mechanics

Learning objectives

After this chapter, you should be able to:

Sections 7.1–7.6 form a core progression from boundary-value problems to probability flow and tunneling. The above-barrier resonance subsection is an optional extension. Section 7.7 introduces a second solution strategy—the oscillator’s algebraic ladder method—and can be taught after the well and current sections without requiring the resonance extension.

7.1 Schrödinger’s equation in position space

Chapter 6 developed the position representation in the abstract: operators become differential expressions, and a ket becomes a wavefunction. This chapter puts that machinery to work on the simplest possible setting, a single spatial dimension, where boundary conditions and matching conditions turn into concrete, solvable calculations. For one nonrelativistic particle of mass mm in a potential V(x,t)V(x,t),

iℏ∂ψ∂t=[−ℏ22m∂2∂x2+V(x,t)]ψ(x,t).i\hbar\frac{\partial\psi}{\partial t} =\left[-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} +V(x,t)\right]\psi(x,t).

If VV is time independent, a separated solution ψ(x,t)=u(x)e−iEt/ℏ\psi(x,t)=u(x)e^{-iEt/\hbar} obeys

−ℏ22md2udx2+V(x)u(x)=Eu(x).-\frac{\hbar^2}{2m}\frac{d^2u}{dx^2}+V(x)u(x)=Eu(x).

This is an eigenvalue equation for the Hamiltonian. A normalizable energy eigenfunction changes only by an overall phase, so its probability density is stationary.

The local behavior of a solution depends entirely on the sign of E−VE-V:

The last condition follows by integrating the differential equation across an arbitrarily narrow interval: a finite jump in VV cannot produce a δ\delta-function in u′′u'', so u′u' cannot jump either. Infinite potentials are the one exception, and it is worth being precise about why. An infinite wall forces u=0u=0 at the wall, but u′u' is allowed to jump there, because the argument just given assumed a finite jump in VV. An infinitely deep well is really the limit of an ever-taller finite well, not a literal potential one can integrate across.

Physically, equation (2) is nothing more than the same eigenvalue problem introduced abstractly in Chapter 3, specialized to the position representation of Chapter 6. H^=p^2/2m+V(x^)\hat H=\hat p^2/2m+V(\hat x) acting on ∣ψ⟩|\psi\rangle becomes a second-order differential operator acting on u(x)=⟨x∣ψ⟩u(x)=\langle x|\psi\rangle. Nothing new is being postulated here—only the concrete form that an old postulate takes once a continuous basis is chosen.

7.2 The infinite square well

This is the simplest bound-state problem in quantum mechanics, and it is worth solving completely: every later matching calculation in this chapter repeats the same basic steps on a harder potential. Let V=0V=0 for 0<x<L0<x<L and V=∞V=\infty elsewhere. The wavefunction vanishes at x=0x=0 and x=Lx=L. Inside,

u(x)=Asin⁡kx+Bcos⁡kx.u(x)=A\sin kx+B\cos kx.

The first boundary gives B=0B=0; the second requires sin⁡kL=0\sin kL=0. Thus

kn=nπL,un(x)=2Lsin⁡nπxL,n=1,2,3,…k_n=\frac{n\pi}{L},\qquad u_n(x)=\sqrt{\frac2L}\sin\frac{n\pi x}{L}, \qquad n=1,2,3,\ldots

and

En=n2π2ℏ22mL2.E_n=\frac{n^2\pi^2\hbar^2}{2mL^2}.

Boundary conditions have quantized the energy. There is no n=0n=0 state: it would be the zero function and could not be normalized. The nonzero ground-state energy is required by confinement and the uncertainty principle—a state squeezed into a region of size LL cannot also have p=0p=0, so it cannot have E=0E=0.

The infinite well is the simplest model of confinement, and its qualitative lessons reappear whenever a particle is trapped: quantum dots, particles in optical lattices, and nucleons in a schematic nuclear well are all discussed using the same vocabulary of quantized levels and a nonzero ground-state energy. One more pattern is worth noting now, because it will recur for every bound-state problem in this chapter: the integer n−1n-1 counts the number of interior nodes of unu_n. More nodes means more curvature, and more curvature means higher energy, since curvature is exactly what converts potential energy into kinetic energy in equation (2).

The first three infinite-square-well wavefunctions are drawn around their energy levels between hard walls. Their energies grow as n squared, and the states have zero, one, and two interior nodes.

Figure 1:Hard-wall boundary conditions admit only wavelengths that fit the box. Higher nn brings both more nodes and more curvature, so the kinetic energy rises as n2n^2 rather than in equal steps.

Example 7.1: a superposition in the well

Suppose

ψ(x,0)=u1(x)+u2(x)2.\psi(x,0)=\frac{u_1(x)+u_2(x)}{\sqrt2}.

Then

ψ(x,t)=12[u1(x)e−iE1t/ℏ+u2(x)e−iE2t/ℏ].\psi(x,t)=\frac{1}{\sqrt2} \left[u_1(x)e^{-iE_1t/\hbar}+u_2(x)e^{-iE_2t/\hbar}\right].

The energy probabilities stay 1/21/2, but the position density contains an interference term proportional to cos⁡[(E2−E1)t/ℏ]\cos[(E_2-E_1)t/\hbar]. A superposition of stationary states need not itself have a stationary density.

Concept check 7.1

Why is ψ(x,t)=un(x)e−iEnt/ℏ\psi(x,t)=u_n(x)e^{-iE_nt/\hbar} called stationary if it depends on time?

Answer

Its time dependence is an overall phase, so ∣ψ∣2|\psi|^2 and every time-independent observable distribution are constant.

7.3 General bound states

A bound state is normalizable and localized. For potentials approaching constants at infinity, bound-state energies lie below the asymptotic potential, so the wavefunction decays exponentially outside the classically allowed region.

Several qualitative facts are useful before solving anything further:

The nondegeneracy claim deserves a moment’s justification, and it is special to one dimension specifically. Two independent solutions of a second-order ordinary differential equation at the same EE would be related by their Wronskian. Normalizability at both infinities forces that Wronskian to vanish, which in turn forces the two solutions to be proportional to one another—so there is really only one independent bound state at that energy. Chapter 8 will show that this argument fails in three dimensions, where rotational symmetry routinely produces several independent states at one energy.

The finite square well

For a finite square well, oscillatory interior solutions must be matched to decaying exterior solutions. The matching conditions produce transcendental equations rather than the simple integer rule of the infinite well. The finite well has only finitely many bound states, and each leaks into the classically forbidden region.

Let V(x)=−V0V(x)=-V_0 for ∣x∣<L/2|x|<L/2 and V(x)=0V(x)=0 for ∣x∣>L/2|x|>L/2, with −V0<E<0-V_0<E<0. Inside, the wavefunction oscillates with k=2m(E+V0)/ℏk=\sqrt{2m(E+V_0)}/\hbar; outside, it decays with κ=−2mE/ℏ\kappa=\sqrt{-2mE}/\hbar. Because the well is symmetric about x=0x=0, every bound state can be chosen even or odd, and it is enough to match at x=L/2x=L/2 and use the symmetry to fix the other boundary automatically. Matching uu and u′u' gives

ktan⁡kL2=κ(even states),k\tan\frac{kL}{2}=\kappa \qquad\text{(even states)},
kcot⁡kL2=−κ(odd states).k\cot\frac{kL}{2}=-\kappa \qquad\text{(odd states)}.

Neither equation can be solved in closed form, but both are constrained by energy conservation, k2+κ2=2mV0/ℏ2k^2+\kappa^2=2mV_0/\hbar^2, which is independent of EE. In terms of the dimensionless variables ξ=kL/2\xi=kL/2 and η=κL/2\eta=\kappa L/2, this constraint is the quarter circle

ξ2+η2=z02,z0≡L22mV0ℏ,\xi^2+\eta^2=z_0^2, \qquad z_0\equiv\frac{L}{2}\frac{\sqrt{2mV_0}}{\hbar},

and the bound states are exactly the intersections of this circle with the curves η=ξtan⁡ξ\eta=\xi\tan\xi (even) and η=−ξcot⁡ξ\eta=-\xi\cot\xi (odd) in the first quadrant. The dimensionless number z0z_0 measures the well’s “strength”: how many oscillations the interior wavefunction can complete before decay must take over.

A quarter circle for finite-well strength z zero equal to four intersects alternating even and odd tangent branches at three marked points.

Figure 2:For z0=4z_0=4, the constraint circle meets two even branches and one odd branch. Enlarging the circle admits another state only after it crosses the next branch threshold.

This picture, without any further algebra, already answers the two questions that matter most:

Example 7.2: counting bound states

Take a well with z0=4z_0=4. Since π/2≈1.57\pi/2\approx1.57, π≈3.14\pi\approx3.14, and 3π/2≈4.713\pi/2\approx4.71, the value z0=4z_0=4 has passed the first two thresholds but not the third: one even branch exists from z0>0z_0>0, a second even branch appears once z0>πz_0>\pi, and one odd branch appears once z0>π/2z_0>\pi/2, while the second odd branch (threshold 3π/23\pi/2) has not yet appeared. Equation (11) confirms this directly: N=⌈8/π⌉=⌈2.55⌉=3N=\lceil 8/\pi\rceil=\lceil2.55\rceil=3. This well supports exactly three bound states: two even and one odd.

Screenshot of the Bound States simulation

Figure 3:Set up a finite well and drag its width and depth to change z0z_0, watching bound states appear at the thresholds equation (11) predicts. The same sim’s other potential shapes carry forward to the harmonic oscillator later in this chapter and to the variational estimates of Chapter 10.

Interactive simulation: Bound States

Concept check 7.2

Does a shallow, narrow finite well always fail to bind a particle if V0V_0 is small enough?

Answer

No. Equation (11) gives N≥1N\ge1 for every z0>0z_0>0: a one-dimensional attractive well of any strength binds at least one even, nodeless state. Only in higher dimensions can an arbitrarily weak well fail to bind anything.

7.4 Probability current

Scattering problems ask how probability flows, not merely how large a wave-amplitude coefficient is. Equation (1) implies the continuity equation

∂∣ψ∣2∂t+∂j∂x=0,\frac{\partial|\psi|^2}{\partial t}+\frac{\partial j}{\partial x}=0,

where

j=ℏ2mi(ψ∗∂ψ∂x−ψ∂ψ∗∂x).j=\frac{\hbar}{2mi} \left(\psi^*\frac{\partial\psi}{\partial x} -\psi\frac{\partial\psi^*}{\partial x}\right).

For AeikxAe^{ikx}, j=(ℏk/m)∣A∣2j=(\hbar k/m)|A|^2. Reflection and transmission probabilities are therefore ratios of outgoing to incoming current. This velocity weighting is essential when two regions have different wave numbers, as the step problem shows next.

7.5 Scattering from a step

Bound states are only half the story: a particle with enough energy to escape to infinity produces a scattering state instead, and the relevant questions become “how much reflects?” and “how much transmits?” rather than “what are the allowed energies?” Consider a particle incident from the left on

V(x)={0,x<0,V0,x>0.V(x)= \begin{cases} 0,&x<0,\\ V_0,&x>0. \end{cases}

For E>V0E>V_0, write

uI=eik1x+re−ik1x,uII=teik2x,u_I=e^{ik_1x}+r e^{-ik_1x},\qquad u_{II}=t e^{ik_2x},

where k1=2mE/ℏk_1=\sqrt{2mE}/\hbar and k2=2m(E−V0)/ℏk_2=\sqrt{2m(E-V_0)}/\hbar. Matching uu and u′u' at x=0x=0 gives

r=k1−k2k1+k2,t=2k1k1+k2.r=\frac{k_1-k_2}{k_1+k_2}, \qquad t=\frac{2k_1}{k_1+k_2}.

Even though E>V0E>V_0, reflection occurs because the wavelength changes abruptly. The amplitude ∣t∣2|t|^2 is not by itself the transmission probability when the speeds differ. Using the current from Section 7.4 gives

R=∣r∣2,T=k2k1∣t∣2,R+T=1.R=|r|^2,\qquad T=\frac{k_2}{k_1}|t|^2,\qquad R+T=1.

Probability conservation plays the role here that particle-number bookkeeping played in Stern–Gerlach chains.

Concept check 7.3

Can a particle reflect from an upward step when E>V0E>V_0?

Answer

Yes. Matching waves of different wavelengths produces a reflected amplitude. Classical certainty of transmission is not the quantum prediction.

Total reflection below the step

Now suppose E<V0E<V_0. Region II no longer oscillates. Boundedness as x→∞x\to\infty, together with the absence of an exponentially growing incoming term from the right, leaves the purely decaying solution uII=Ce−κxu_{II}=Ce^{-\kappa x}, with κ=2m(V0−E)/ℏ\kappa=\sqrt{2m(V_0-E)}/\hbar. Matching uu and u′u' at x=0x=0 as before gives

r=ik1+κik1−κ.r=\frac{ik_1+\kappa}{ik_1-\kappa}.

Both numerator and denominator have the same magnitude k12+κ2\sqrt{k_1^2+\kappa^2}, so ∣r∣=1|r|=1 exactly: every particle reflects, exactly as a classical particle would. What is not classical is that uIIu_{II} is nonzero. The wavefunction penetrates into the classically forbidden region with an exponentially decaying tail, even though the probability current carried by a purely real exponential vanishes identically,

jII=ℏ2mi(uII∗uII′−uIIuII∗′)=0,j_{II}=\frac{\hbar}{2mi} \left(u_{II}^*u_{II}'-u_{II}u_{II}^{*\prime}\right)=0,

since uIIu_{II} and uII′u_{II}' differ only by the real factor −κ-\kappa. The forbidden region has nonzero probability density but carries no net probability flow toward x=+∞x=+\infty, consistent with R=1R=1. This statement does not assign a trajectory in which an individual particle travels in and then returns.

Writing rr in polar form exposes a reflection phase shift with no classical analog. If κ→∞\kappa\to\infty (an infinitely high step, i.e. an infinite wall), r→−1r\to-1: the familiar node-forcing hard-wall reflection. For finite κ\kappa, the phase interpolates continuously between this hard-wall value and r→+1r\to+1 as E→V0−E\to V_0^-—which matches the E>V0E>V_0 formula for rr evaluated at k2→0k_2\to0, so the two regimes join smoothly at threshold even though their functional forms look unrelated.

Example 7.3: how a soft wall differs from a hard one

For κ=k1\kappa=k_1 (a step exactly twice the particle’s kinetic energy), equation (18) gives r=(ik1+k1)/(ik1−k1)=(i+1)/(i−1)=−ir=(ik_1+k_1)/(ik_1-k_1)=(i+1)/(i-1)=-i. The reflection probability is still ∣r∣2=1|r|^2=1, but r=−i=e−iπ/2r=-i=e^{-i\pi/2} differs by a quarter cycle from the κ→∞\kappa\to\infty hard-wall answer r=−1=eiπr=-1=e^{i\pi}. A detector counting reflected atoms cannot see this phase directly; an interference experiment that recombines the reflected wave with another coherent path can.

Concept check 7.4

For E<V0E<V_0 at a step, is the probability density zero in the classically forbidden region?

Answer

No. ∣uII∣2=∣C∣2e−2κx|u_{II}|^2=|C|^2e^{-2\kappa x} is nonzero and decays smoothly. What vanishes is the probability current there, so no probability permanently escapes to x→+∞x\to+\infty; R=1R=1 is still exact.

7.6 Tunneling through a barrier

Section 7.5 showed total reflection when E<V0E<V_0 for a step that stays high forever. What changes if the classically forbidden region has finite width instead? Let a rectangular barrier have height V0>EV_0>E and width aa. Inside the barrier, solutions are exponential rather than oscillatory, yet matching at both boundaries leaves a nonzero transmitted amplitude. The exact transmission probability is

T=[1+V02sinh⁡2(κa)4E(V0−E)]−1,κ=2m(V0−E)ℏ.T=\left[ 1+\frac{V_0^2\sinh^2(\kappa a)} {4E(V_0-E)} \right]^{-1}, \qquad \kappa=\frac{\sqrt{2m(V_0-E)}}{\hbar}.

For a thick or high barrier, κa≫1\kappa a\gg1,

T≈16E(V0−E)V02e−2κa.T\approx \frac{16E(V_0-E)}{V_0^2}e^{-2\kappa a}.

The exponential dependence explains why tunneling is highly sensitive to barrier width and particle mass. Tunneling does not mean the particle borrows energy and violates conservation. An energy measurement in the stationary scattering state still gives EE; the spatial wavefunction simply extends through a region where a classical particle of that energy could not travel.

A wave approaches a rectangular barrier higher than its energy, decays across the barrier, and emerges with smaller amplitude. A logarithmic graph shows transmission falling exponentially with barrier thickness.

Figure 4:Inside a classically forbidden barrier the stationary wavefunction is exponential, not absent. Matching it at the second boundary leaves a transmitted amplitude whose probability is extraordinarily sensitive to barrier width.

Example 7.4: compare two barrier widths

In the thick-barrier regime, increasing aa by Δa\Delta a multiplies TT by e−2κΔae^{-2\kappa\Delta a}. If κΔa=1\kappa\Delta a=1, the transmission falls by e−2≈0.135e^{-2}\approx0.135. This sensitivity underlies scanning tunneling microscopy and many decay processes.

Screenshot of the Quantum Tunneling simulation

Figure 5:Send a wave packet at a rectangular barrier and adjust its width and height to see the exponential sensitivity of equation (20) directly: a reflected packet, a smaller transmitted one, and no borrowed energy anywhere. A CheerpJ simulation takes tens of seconds to load on a cold cache and is mouse-only.

Interactive simulation: Quantum Tunneling

Optional extension: above-barrier resonant transmission

Equation (20) was derived for E<V0E<V_0, but the same matching calculation applies for E>V0E>V_0, where the interior solution oscillates instead of decaying, with k2=2m(E−V0)/ℏk_2=\sqrt{2m(E-V_0)}/\hbar. Formally replacing κ→ik2\kappa\to ik_2—so that sinh⁡(κa)→isin⁡(k2a)\sinh(\kappa a)\to i\sin(k_2a)—turns equation (20) into

T=[1+V02sin⁡2(k2a)4E(E−V0)]−1,E>V0.T=\left[1+\frac{V_0^2\sin^2(k_2a)}{4E(E-V_0)}\right]^{-1}, \qquad E>V_0.

Unlike the tunneling regime, this transmission is not monotonic in the barrier width. Whenever k2a=nπk_2a=n\pi for an integer nn—the barrier width equals a whole number of half wavelengths of the interior wave—sin⁡(k2a)=0\sin(k_2a)=0 and T=1T=1: the barrier becomes completely transparent, exactly as an antireflection coating of the right thickness eliminates reflected light. Away from these resonances, some reflection persists even though E>V0E>V_0 classically guarantees transmission. The two formulas meet consistently at E=V0E=V_0, where both κ\kappa and k2k_2 vanish and a careful limit of either expression gives the finite value T=[1+mV0a2/(2ℏ2)]−1T=[1+mV_0a^2/(2\hbar^2)]^{-1} rather than an ambiguous 0/00/0.

Concept check 7.5

If a barrier is thick enough that κa≫1\kappa a\gg1, can it ever be perfectly transparent?

Answer

Not for E<V0E<V_0: sinh⁡2(κa)\sinh^2(\kappa a) grows without bound, so TT only shrinks with increasing width. Perfect transmission (T=1T=1) is a feature of the E>V0E>V_0 resonant regime in equation (22), where the interior wave oscillates rather than decays.

7.7 The harmonic oscillator

Every bound state so far was found by directly solving a differential equation and matching boundary conditions—a fresh calculation for each new energy level. The harmonic oscillator admits a much slicker, purely algebraic route that sidesteps this repetition entirely. For

H^=p^22m+12mω2x^2,\hat H=\frac{\hat p^2}{2m}+\frac12m\omega^2\hat x^2,

define

a^=mω2ℏx^+i2mℏωp^,a^†=mω2ℏx^−i2mℏωp^.\hat a=\sqrt{\frac{m\omega}{2\hbar}}\hat x +\frac{i}{\sqrt{2m\hbar\omega}}\hat p,\qquad \hat a^\dagger=\sqrt{\frac{m\omega}{2\hbar}}\hat x -\frac{i}{\sqrt{2m\hbar\omega}}\hat p.

They satisfy [a^,a^†]=1[\hat a,\hat a^\dagger]=1, and

H^=ℏω(a^†a^+12).\hat H=\hbar\omega\left(\hat a^\dagger\hat a+\frac12\right).

The spectrum does not follow merely by naming these operators, so here is the essential argument. Define N^=a^†a^\hat N=\hat a^\dagger\hat a. For every normalized state,

⟨ψ∣N^∣ψ⟩=∥a^∣ψ⟩∥2≥0,\langle\psi|\hat N|\psi\rangle =\|\hat a|\psi\rangle\|^2\geq0,

so its eigenvalues cannot be negative. The commutator above gives

[H^,a^†]=ℏωa^†,[H^,a^]=−ℏωa^.[\hat H,\hat a^\dagger]=\hbar\omega\hat a^\dagger, \qquad [\hat H,\hat a]=-\hbar\omega\hat a.

Therefore a^†\hat a^\dagger raises any energy eigenvalue by ℏω\hbar\omega, while a^\hat a lowers it by the same amount. Starting from a number eigenstate with eigenvalue ν\nu, repeated lowering would produce ν−1,ν−2,…\nu-1,\nu-2,\ldots. Because number eigenvalues cannot be negative, this sequence must terminate at a state annihilated by a^\hat a. For that state, ∥a^∣0⟩∥2=⟨0∣N^∣0⟩=0\|\hat a|0\rangle\|^2=\langle0|\hat N|0\rangle=0, so its number eigenvalue is zero. The original ν\nu must therefore have been a nonnegative integer. Repeated raising gives every n=0,1,2,…n=0,1,2,\ldots, and the norms of the raised and lowered states fix the ladder factors:

a^∣n⟩=n ∣n−1⟩,a^†∣n⟩=n+1 ∣n+1⟩,\hat a|n\rangle=\sqrt n\,|n-1\rangle,\qquad \hat a^\dagger|n\rangle=\sqrt{n+1}\,|n+1\rangle,

with

En=ℏω(n+12),n=0,1,2,…E_n=\hbar\omega\left(n+\frac12\right),\qquad n=0,1,2,\ldots

The ground state is defined by a^∣0⟩=0\hat a|0\rangle=0. In position space this first-order equation gives a Gaussian, as Example 7.5 works out explicitly. The ladder method obtains the complete spectrum without solving a new differential equation for every level: every excited state is reached from ∣0⟩|0\rangle by repeated algebra with a^†\hat a^\dagger, rather than by solving a new second-order boundary-value problem for each nn as the earlier well problems required.

A parabolic harmonic-oscillator potential contains the first three wavefunctions drawn around equally spaced energy levels. The ground state is Gaussian and each higher state gains one additional node.

Figure 6:Unlike the square well, the oscillator has equal energy spacing. The ladder operator raises both the energy by ℏω\hbar\omega and the node count by one, building every state from the Gaussian ground state.

Example 7.5: the ground state in position space

Writing p^=−iℏ d/dx\hat p=-i\hbar\,d/dx, the condition a^ ⟨x∣0⟩=0\hat a\,\langle x|0\rangle=0 becomes the first-order equation

mω2ℏ x u0(x)+ℏ2mω du0dx=0,sodu0u0=−mωℏx dx.\sqrt{\frac{m\omega}{2\hbar}}\,x\,u_0(x) +\sqrt{\frac{\hbar}{2m\omega}}\,\frac{du_0}{dx}=0, \qquad\text{so}\qquad \frac{du_0}{u_0}=-\frac{m\omega}{\hbar}x\,dx.

Integrating and normalizing gives

u0(x)=(mωπℏ)1/4e−mωx2/(2ℏ).u_0(x)=\left(\frac{m\omega}{\pi\hbar}\right)^{1/4} e^{-m\omega x^2/(2\hbar)}.

This is a Gaussian of exactly the form studied in Chapter 6 as a minimum-uncertainty wave packet, with width σx=ℏ/(2mω)\sigma_x=\sqrt{\hbar/(2m\omega)} and zero mean momentum. It therefore saturates Δx Δp=ℏ/2\Delta x\,\Delta p=\hbar/2, just like the minimum-uncertainty packets of that chapter. But this particular Gaussian does not spread with time the way a free-particle packet does: it is an exact energy eigenstate, so ∣ψ(x,t)∣2=∣u0(x)∣2|\psi(x,t)|^2=|u_0(x)|^2 is stationary. Confining harmonic forces, unlike free propagation, can hold a minimum-uncertainty packet in a permanent balance between spreading and restoring force.

Concept check 7.6

Why does the oscillator not have E=0E=0?

Answer

The ground state has E0=ℏω/2E_0=\hbar\omega/2. A state with both zero kinetic and zero potential energy would require exact p=0p=0 and x=0x=0, contradicting [x^,p^]=iℏ[\hat x,\hat p]=i\hbar.

Summary

Exercises

Exercises 1–12 form the core set on wells, probability flow, tunneling, and the oscillator algebra. Exercises 13–19 deepen boundary matching and below-step reflection. Exercises 20–24 are synthesis or optional-extension problems.

  1. Derive equations (4) and (5) from both boundary conditions.

  2. Find ⟨x⟩\langle x\rangle for every infinite-well energy eigenstate by symmetry.

  3. For (u1+u2)/2(u_1+u_2)/\sqrt2, calculate ∣ψ(x,t)∣2|\psi(x,t)|^2 explicitly and identify its oscillation period.

  4. Show that no two distinct normalizable bound states in one dimension can have the same energy by analyzing their Wronskian.

  5. Derive rr and tt for the potential step and verify equation (17).

  6. Calculate the current for Aeikx+Be−ikxAe^{ikx}+Be^{-ikx}.

  7. Derive the continuity equation from the Schrödinger equation and its complex conjugate.

  8. Estimate the change in thick-barrier transmission when the particle mass is multiplied by four.

  9. Verify [a^,a^†]=1[\hat a,\hat a^\dagger]=1 from [x^,p^]=iℏ[\hat x,\hat p]=i\hbar.

  10. Derive equation (25).

  11. Show that a^†∣n⟩\hat a^\dagger|n\rangle has energy En+ℏωE_n+\hbar\omega.

  12. Example 7.5 derives the ground state u0(x)u_0(x). Apply a^†\hat a^\dagger to u0(x)u_0(x) in position space to find u1(x)u_1(x) explicitly, and verify by direct substitution that it solves equation (2) with E1=32ℏωE_1=\tfrac32\hbar\omega.

Boundary-matching consolidation

  1. Starting from continuity of uu and u′u' at x=L/2x=L/2, and using the symmetry of the well to relate u(−L/2)u(-L/2) to u(L/2)u(L/2), derive the even- parity condition in equation (8).

  2. Derive the odd-parity condition in equation (9) following the same steps as Exercise 13.

  3. For a well with z0=7z_0=7, find the total number of bound states and how many are even and how many are odd.

  4. Explain, using the ξ→0\xi\to0 limit of ξtan⁡ξ\xi\tan\xi, why a one-dimensional finite well can never have zero bound states, no matter how small V0V_0 or LL is.

  5. Derive equation (18) by matching uu and u′u' at x=0x=0 for E<V0E<V_0.

  6. Show directly from equation (18) that ∣r∣=1|r|=1 for every κ>0\kappa>0, and confirm that r→−1r\to-1 as κ→∞\kappa\to\infty.

  7. Show that the probability current jIIj_{II} vanishes identically for uII=Ce−κxu_{II}=Ce^{-\kappa x}, for any constant CC, and explain why this is consistent with R=1R=1.

Extensions and synthesis

  1. Derive equation (22) from equation (20) by the substitution κ→ik2\kappa\to ik_2, and find the smallest barrier width aa giving T=1T=1 for a given k2k_2.

  2. Take the limit E→V0E\to V_0 of equation (20) carefully (expanding sinh⁡(κa)≈κa\sinh(\kappa a)\approx\kappa a) to show that T(E=V0)=[1+mV0a2/(2ℏ2)]−1T(E{=}V_0)=[1+mV_0a^2/(2\hbar^2)]^{-1}, and check that the same value follows from equation (22) in the limit k2→0k_2\to0.

  3. Using the Gaussian ground state of equation (31), calculate Δx\Delta x and Δp\Delta p explicitly and confirm Δx Δp=ℏ/2\Delta x\,\Delta p=\hbar/2.

  4. Explain, in terms of Ehrenfest’s theorem from Chapter 6, why the mean position of an oscillator energy eigenstate is time independent even though a classical particle of the same energy oscillates back and forth.

  5. Compare the ground-state energy ℏω/2\hbar\omega/2 of the harmonic oscillator with the ground-state energy of an infinite well of width L=2ℏ/(mω)L=2\sqrt{\hbar/(m\omega)} (a rough width match). Which is larger, and why might that be expected from the shape of the two potentials near their minima?

Selected exercise guidance

Use these checks only after making a complete attempt.

Exercise 5

Use j=(ℏk/m)∣A∣2j=(\hbar k/m)|A|^2 separately for the incident, reflected, and transmitted traveling waves. The reflected current points left, so RR uses its magnitude. Substituting the matched amplitudes should give R+T=1R+T=1.

Exercise 8

Because κ∝m\kappa\propto\sqrt m, multiplying the mass by four doubles κ\kappa. In the thick-barrier approximation the exponent therefore changes from −2κa-2\kappa a to −4κa-4\kappa a, apart from the algebraic prefactor.

Exercise 15

N=⌈14/π⌉=5N=\lceil14/\pi\rceil=5. The parity alternates from the even ground state, so there are three even states and two odd states.