Skip to content

Finite Square Well

The finite square well is the simplest bound-state model where confinement is not absolute. A particle can be mostly localized in the well while its wavefunction extends into the classically forbidden exterior as an evanescent tail. Its discrete bound levels coexist with a scattering continuum; the general spectral distinction is explained in Discrete and Continuous Spectra.

Use the symmetric attractive well

V(x)={−V0,∣x∣<a,0,∣x∣≥a,V0>0.V(x)= \begin{cases} -V_0, & \lvert x\rvert\lt a,\\ 0, & \lvert x\rvert\ge a, \end{cases} \qquad V_0\gt0.

Bound states have energies

−V0<E<0.-V_0\lt E\lt0.

The lower inequality means the wave oscillates inside the well. The upper inequality means it decays outside.

This page sets the exterior potential to zero, so a negative EE is a binding energy relative to the continuum threshold. The kinetic energies in the two regions are

Tinside=E+V0>0,Toutside=E<0.T_{\mathrm{inside}}=E+V_0\gt0, \qquad T_{\mathrm{outside}}=E\lt0.

Some texts instead use V=0V=0 inside and V=V0V=V_0 outside. Their bound-state energy E′=E+V0E'=E+V_0 lies in 0<E′<V00\lt E'\lt V_0. The wave numbers and physics are identical after this constant shift, but formulas look inconsistent if the two zero points are mixed.

The Hamiltonian is bounded below by −V0-V_0. Its spectrum contains finitely many nondegenerate bound levels in (−V0,0)(-V_0,0) and a scattering continuum for E≥0E\ge0. The threshold solution at E=0E=0 is not square-integrable and is not counted as a bound state.

The finite well teaches what the infinite well hides:

  • finite walls do not force ψ\psi to vanish;
  • bound-state wavefunctions have tails outside the classically allowed region;
  • allowed energies are roots of transcendental equations, not simple closed formulas;
  • the number of bound states depends on well depth, width, and mass;
  • the infinite square well appears as a limiting case, not as the generic confinement model.

This model is a bridge from exactly solvable elementary spectra to numerical eigenvalue solving and tunneling physics.

Inside the well, define

q=2m(E+V0)ℏ.q=\frac{\sqrt{2m(E+V_0)}}{\hbar}.

Outside the well, define

κ=−2mEℏ.\kappa=\frac{\sqrt{-2mE}}{\hbar}.

These satisfy

q2+κ2=2mV0ℏ2.q^2+\kappa^2 =\frac{2mV_0}{\hbar^2}.

Inside the well, the stationary Schrödinger equation gives oscillatory solutions. Outside, square integrability requires exponential decay.

Because the potential is even, bound states can be chosen with definite parity.

At x=±ax=\pm a, both ψ\psi and ψ′\psi' are continuous because the mass is constant and the potential jump is finite. The second derivative need not be continuous. Parity reduces the calculation to x≥0x\ge0: an even state has ψ′(0)=0\psi'(0)=0, while an odd state has ψ(0)=0\psi(0)=0.

For even states,

ψeven(x)={Acos⁡(qx),∣x∣<a,Be−κ∣x∣,∣x∣≥a.\psi_{\text{even}}(x)= \begin{cases} A\cos(qx), & \lvert x\rvert\lt a,\\ B e^{-\kappa \lvert x\rvert}, & \lvert x\rvert\ge a. \end{cases}

Continuity of ψ\psi and ψ′\psi' at x=ax=a gives

Acos⁡(qa)=Be−κa,A\cos(qa)=B e^{-\kappa a},

and

−Aqsin⁡(qa)=−Bκe−κa.-Aq\sin(qa)=-B\kappa e^{-\kappa a}.

Dividing the derivative condition by the value condition gives the even-state equation

qtan⁡(qa)=κ.q\tan(qa)=\kappa.

Only roots satisfying −V0<E<0-V_0\lt E\lt0 correspond to bound states.

For odd states,

ψodd(x)={Asin⁡(qx),∣x∣<a,B sgn⁡(x)e−κ∣x∣,∣x∣≥a.\psi_{\text{odd}}(x)= \begin{cases} A\sin(qx), & \lvert x\rvert\lt a,\\ B\,\operatorname{sgn}(x)e^{-\kappa \lvert x\rvert}, & \lvert x\rvert\ge a. \end{cases}

Matching at x=ax=a gives

Asin⁡(qa)=Be−κa,A\sin(qa)=B e^{-\kappa a},

and

Aqcos⁡(qa)=−Bκe−κa.Aq\cos(qa)=-B\kappa e^{-\kappa a}.

The odd-state equation is

−qcot⁡(qa)=κ.-q\cot(qa)=\kappa.

Even and odd equations must not be mixed. Each root gives a different parity eigenstate.

After a root is known, it is convenient to anchor the exterior exponential at the interface. The even state becomes

ψe(x)=Ne{cos⁡(qx),∣x∣≤a,cos⁡(qa)e−κ(∣x∣−a),∣x∣≥a,\psi_e(x) =\mathcal N_e \begin{cases} \cos(qx), & \lvert x\rvert\le a,\\ \cos(qa)e^{-\kappa(\lvert x\rvert-a)}, & \lvert x\rvert\ge a, \end{cases}

with

Ne−2=a+sin⁡(2qa)2q+cos⁡2(qa)κ.\mathcal N_e^{-2} =a+\frac{\sin(2qa)}{2q} +\frac{\cos^2(qa)}{\kappa}.

Similarly, the odd state is

ψo(x)=No{sin⁡(qx),∣x∣≤a,sgn⁡(x)sin⁡(qa)e−κ(∣x∣−a),∣x∣≥a,\psi_o(x) =\mathcal N_o \begin{cases} \sin(qx), & \lvert x\rvert\le a,\\ \operatorname{sgn}(x)\sin(qa) e^{-\kappa(\lvert x\rvert-a)}, & \lvert x\rvert\ge a, \end{cases}

where

No−2=a−sin⁡(2qa)2q+sin⁡2(qa)κ.\mathcal N_o^{-2} =a-\frac{\sin(2qa)}{2q} +\frac{\sin^2(qa)}{\kappa}.

These expressions include both tails. The exterior probability is

Pout={Ne2cos⁡2(qa)/κ,even,No2sin⁡2(qa)/κ,odd.P_{\mathrm{out}} = \begin{cases} \mathcal N_e^2\cos^2(qa)/\kappa, & \text{even},\\ \mathcal N_o^2\sin^2(qa)/\kappa, & \text{odd}. \end{cases}

Parity gives ⟨x⟩=0\langle x\rangle=0 and the formal first momentum moment ⟨p⟩=0\langle p\rangle=0. Unlike the hard-wall interval, the full-line momentum operator is self-adjoint on its standard domain here; the bound state simply is not a momentum eigenstate.

It is often useful to define

z=qa,y=κa,z0=a2mV0ℏ.z=qa, \qquad y=\kappa a, \qquad z_0=a\frac{\sqrt{2mV_0}}{\hbar}.

Then

z2+y2=z02,EV0=−y2z02=z2z02−1.z^2+y^2=z_0^2, \qquad \frac{E}{V_0} =-\frac{y^2}{z_0^2} =\frac{z^2}{z_0^2}-1.

The even equation becomes

ztan⁡z=z02−z2,z\tan z=\sqrt{z_0^2-z^2},

and the odd equation becomes

−zcot⁡z=z02−z2.-z\cot z=\sqrt{z_0^2-z^2}.

Geometrically, (z,y)(z,y) lies on the first-quadrant circle z2+y2=z02z^2+y^2=z_0^2. Bound states occur where that circle intersects

y=ztan⁡zy=z\tan z

on an even branch or

y=−zcot⁡zy=-z\cot z

on an odd branch. The allowed intervals alternate:

parityroot intervalseven(0,π/2), (π,3π/2),…odd(π/2,π), (3π/2,2π),…\begin{array}{c|c} \text{parity} & \text{root intervals}\\ \hline \text{even} & (0,\pi/2),\ (\pi,3\pi/2),\ldots\\ \text{odd} & (\pi/2,\pi),\ (3\pi/2,2\pi),\ldots \end{array}

and every root must also satisfy 0<z<z00\lt z\lt z_0. The parameter z0z_0 measures depth, width, and mass in one dimensionless strength. It is the only parameter controlling the dimensionless bound spectrum.

Quarter-circle construction intersecting alternating even and odd finite-well root branches.

Graphical root construction for z0=4z_0=4. The quarter circle intersects two even branches and one odd branch, giving three bound states. Dashed vertical guides mark the parity-branch boundaries at π/2\pi/2 and π\pi; tangent poles are clipped.

For z0=4z_0=4, bracketed root solving gives:

StateParityz=qaz=qay=κay=\kappa aE/V0E/V_0PoutP_{\mathrm{out}}
1even1.25241.25243.79893.7989−0.9020-0.90200.02040.0204
2odd2.47462.47463.14273.1427−0.6173-0.61730.09240.0924
3even3.59533.59531.75321.7532−0.1921-0.19210.29340.2934

The parity alternates and the node count increases with energy. The highest state is closest to threshold, has the smallest decay constant, and places nearly thirty percent of its probability outside the nominal well. Finite confinement is therefore not a small boundary correction for weakly bound levels.

As V0V_0, aa, or mm increases, z0z_0 increases and more bound states fit inside the well. There is always at least one even bound state for an attractive one-dimensional finite square well. Additional states appear as the well becomes deeper or wider.

For this width and strength convention, the exact count is

Nbound=⌈2z0π⌉,z0>0.N_{\mathrm{bound}} =\left\lceil\frac{2z_0}{\pi}\right\rceil, \qquad z_0\gt0.

To see the threshold convention, suppose z0=rπ/2z_0=r\pi/2 for a positive integer rr. The candidate next state then has y=κa=0y=\kappa a=0 and sits at E=0E=0, so its exterior wavefunction does not decay and it is not normalizable. The ceiling formula counts only the rr states already below threshold. Immediately above that value of z0z_0, a new bound level appears.

Equivalent formulas using a floor function must state how exact thresholds are handled. They also often define the width parameter as 2a2a, so copying a count without checking conventions can introduce a factor of two.

The broader counting logic, including threshold caveats and semiclassical scaling, is collected in Bound-State Counting.

When z0≪1z_0\ll1, only the even ground state exists. Its root has z≪1z\ll1 and y≪1y\ll1. The even equation and circle give, to leading order,

y=ztan⁡z≃z2,z2+y2=z02,y=z\tan z\simeq z^2, \qquad z^2+y^2=z_0^2,

so z≃z0z\simeq z_0 and y≃z02y\simeq z_0^2. The binding energy is therefore

E=−ℏ2κ22m≃−2mV02a2ℏ2.E =-\frac{\hbar^2\kappa^2}{2m} \simeq -\frac{2mV_0^2a^2}{\hbar^2}.

The energy is quadratic in the weak well strength, while the tail length scales as 1/κ∼a/z021/\kappa\sim a/z_0^2 and becomes much larger than the well. This explicit limit realizes the general one-dimensional result that an arbitrarily weak attractive potential supports at least one bound state.

As V0→∞V_0\to\infty, the decay constant κ\kappa becomes large and the exterior tails shrink. The wavefunction becomes effectively zero at x=±ax=\pm a, and the finite-well spectrum approaches the infinite-well spectrum on an interval of length 2a2a:

Eninside∼n2π2ℏ22m(2a)2,E_n^{\text{inside}} \sim \frac{n^2\pi^2\hbar^2}{2m(2a)^2},

measured upward from the bottom of the well. The total energy relative to the outside zero is shifted by approximately −V0-V_0.

More explicitly, at fixed level index,

zn⟶nπ2z_n\longrightarrow\frac{n\pi}{2}

from below, and

En=−V0+ℏ2zn22ma2⟶−V0+n2π2ℏ28ma2.E_n =-V_0+\frac{\hbar^2z_n^2}{2ma^2} \longrightarrow -V_0+\frac{n^2\pi^2\hbar^2}{8ma^2}.

The total energies tend to −∞-\infty under the exterior-zero convention because the well bottom is moving downward. The finite excitation energies En+V0E_n+V_0 are what approach the infinite-well spectrum. Keeping the energy zero fixed is essential when taking this limit.

The finite well therefore explains why the infinite well is an idealization: real finite confinement has penetration depth.

Outside the well, the bound-state wavefunction decays as

e−κ∣x∣.e^{-\kappa \lvert x\rvert}.

The decay length is

ℓtail=1κ.\ell_{\text{tail}}=\frac{1}{\kappa}.

A state close to threshold has small κ\kappa and a long tail. A deeply bound state has larger κ\kappa and is more tightly localized. This tail behavior is a first encounter with tunneling: the wavefunction can enter a classically forbidden region, even though a bound-state probability density remains normalizable.

An evanescent tail does not mean that a stationary bound state is steadily leaking away. The parity eigenfunctions can be chosen real, so their probability current vanishes everywhere. Their exterior probability is time independent. Escape requires coupling to an open channel, a time-dependent perturbation, or a potential for which the state is a resonance rather than a true bound eigenstate.

One-dimensional bound levels are nondegenerate. For this symmetric well they alternate in parity:

even ground state,odd first excited state,even second excited state,…\text{even ground state}, \quad \text{odd first excited state}, \quad \text{even second excited state}, \quad\ldots

Ordered by increasing energy, the nnth bound state has n−1n-1 nodes. The ground state is everywhere of one sign, the first odd state has its node at the origin, and each subsequent branch adds one interior node. This ordering is a consequence of the one-dimensional oscillation theorem, not a peculiarity of square wells.

The finite set of bound eigenfunctions is not complete by itself. The full spectral resolution also contains continuum scattering states. Schematically,

I^=∑n∈bound∣n⟩⟨n∣+∑s=e,o∫0∞dE ∣E,s⟩⟨E,s∣,\hat I =\sum_{n\in\mathrm{bound}} |n\rangle\langle n| +\sum_{s=e,o} \int_0^\infty dE\, |E,s\rangle\langle E,s|,

where the continuum normalization convention must be specified. A localized initial state can have projections onto both sectors: the bound component remains near the well, while the continuum component disperses to infinity.

At E=0E=0, the exterior solution is constant or linear rather than exponentially decaying. A specially tuned threshold solution can strongly influence low-energy scattering, but it is not an ordinary L2L^2 bound state in this one-dimensional problem.

For a given z0z_0, solve separately in each allowed parity interval truncated at z=z0z=z_0. Define

fe(z)=ztan⁡z−z02−z2,fo(z)=−zcot⁡z−z02−z2.\begin{aligned} f_e(z) &=z\tan z-\sqrt{z_0^2-z^2},\\ f_o(z) &=-z\cot z-\sqrt{z_0^2-z^2}. \end{aligned}

A bracketing method such as bisection or Brent’s method is safer than an unrestricted Newton iteration because tangent and cotangent have poles. Do not let a bracket cross a pole, and exclude a root with z=z0z=z_0 because it has κ=0\kappa=0.

After finding zz, reconstruct

q=za,κ=z02−z2a,E=V0(z2z02−1).q=\frac{z}{a}, \qquad \kappa=\frac{\sqrt{z_0^2-z^2}}{a}, \qquad E=V_0\left(\frac{z^2}{z_0^2}-1\right).

Then verify the original matching equations, normalize the piecewise state, and check that ψ\psi and ψ′\psi' agree at both interfaces. A direct finite-difference diagonalization on a sufficiently large exterior domain should converge to the same negative energies, but its box size must be several tail lengths for the least-bound state.

  • Setting ψ(±a)=0\psi(\pm a)=0 for a finite well.
  • Forgetting evanescent tails outside the well.
  • Interpreting a stationary evanescent tail as a probability current leaking to infinity.
  • Mixing the even equation qtan⁡(qa)=κq\tan(qa)=\kappa with the odd equation −qcot⁡(qa)=κ-q\cot(qa)=\kappa.
  • Treating the transcendental equations as if every mathematical root were physically allowed without checking −V0<E<0-V_0\lt E\lt0.
  • Counting an E=0E=0 threshold solution as a normalizable bound state.
  • Using a floor-function state count without checking the width convention and exact-threshold rule.
  • Measuring energies inconsistently, sometimes from the well bottom and sometimes from the outside zero.
  • Assuming the finite-well spectrum has the same n2n^2 spacing as the infinite well.
  • Solving across tangent poles with an unbracketed root finder and accepting a discontinuity as a zero.
  • Normalizing only inside the well and omitting the exterior probability.
  • Treating the finite list of bound states as a complete basis without the continuum sector.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • E. Merzbacher, Quantum Mechanics, 3rd ed., Wiley, 1998.
  • L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Butterworth-Heinemann, 1977.
  1. Derive the even-state equation qtan⁡(qa)=κq\tan(qa)=\kappa from continuity of ψ\psi and ψ′\psi' at x=ax=a.
Solution

For the even state,

ψ(x)=Acos⁡(qx)\psi(x)=A\cos(qx)

inside and

ψ(x)=Be−κx\psi(x)=B e^{-\kappa x}

for x>ax\gt a. Matching values at aa gives

Acos⁡(qa)=Be−κa.A\cos(qa)=B e^{-\kappa a}.

Matching derivatives gives

−Aqsin⁡(qa)=−Bκe−κa.-Aq\sin(qa)=-B\kappa e^{-\kappa a}.

Divide the derivative equation by the value equation:

qsin⁡(qa)cos⁡(qa)=κ,\frac{q\sin(qa)}{\cos(qa)}=\kappa,

so qtan⁡(qa)=κq\tan(qa)=\kappa.

  1. Explain why a state with E>0E\gt0 is not a bound state for the convention used on this page.
Solution

Outside the well, V=0V=0. If E>0E\gt0, the outside Schrödinger equation has oscillatory solutions rather than decaying exponentials. Such states are scattering states, not square-normalizable bound states.

  1. What happens to the tail length as a bound-state energy approaches E=0E=0 from below? Does the growing tail imply a nonzero outward probability current for a stationary parity eigenstate?
Solution

The outside decay constant is

κ=−2mEℏ.\kappa=\frac{\sqrt{-2mE}}{\hbar}.

As E→0−E\to 0^-, κ→0\kappa\to 0, so the tail length 1/κ1/\kappa diverges. The state becomes weakly bound and spatially extended.

The state can be chosen real, apart from its common factor e−iEt/ℏe^{-iEt/\hbar}. Therefore

j=ℏmIm⁡(ψ∗ψ′)=0.j=\frac{\hbar}{m}\operatorname{Im}(\psi^*\psi')=0.

The exterior probability is stationary; a long tail is not a decay flux.

  1. Derive the even-state normalization constant and its exterior probability using the interface-anchored wavefunction.
Solution

By parity,

1=2Ne2[∫0acos⁡2(qx) dx+cos⁡2(qa)∫a∞e−2κ(x−a) dx]=Ne2[a+sin⁡(2qa)2q+cos⁡2(qa)κ].\begin{aligned} 1 &=2\mathcal N_e^2 \left[ \int_0^a\cos^2(qx)\,dx +\cos^2(qa) \int_a^\infty e^{-2\kappa(x-a)}\,dx \right]\\ &=\mathcal N_e^2 \left[ a+\frac{\sin(2qa)}{2q} +\frac{\cos^2(qa)}{\kappa} \right]. \end{aligned}

Hence

Ne−2=a+sin⁡(2qa)2q+cos⁡2(qa)κ.\mathcal N_e^{-2} =a+\frac{\sin(2qa)}{2q} +\frac{\cos^2(qa)}{\kappa}.

The two exterior tails contribute

Pout=2Ne2cos⁡2(qa)∫a∞e−2κ(x−a) dx=Ne2cos⁡2(qa)κ.P_{\mathrm{out}} =2\mathcal N_e^2\cos^2(qa) \int_a^\infty e^{-2\kappa(x-a)}\,dx =\frac{\mathcal N_e^2\cos^2(qa)}{\kappa}.
  1. Use Nbound=⌈2z0/π⌉N_{\mathrm{bound}}=\lceil2z_0/\pi\rceil to count the bound states at z0=0.8z_0=0.8, z0=π/2z_0=\pi/2, z0=π/2+0.1z_0=\pi/2+0.1, z0=πz_0=\pi, and z0=π+0.1z_0=\pi+0.1. Explain the values at exact thresholds.
Solution

The counts are

z00.8π/2π/2+0.1ππ+0.1Nbound11223.\begin{array}{c|ccccc} z_0 & 0.8 & \pi/2 & \pi/2+0.1 & \pi & \pi+0.1\\ \hline N_{\mathrm{bound}} & 1 & 1 & 2 & 2 & 3. \end{array}

At z0=π/2z_0=\pi/2, the candidate odd state has just reached E=0E=0 and is not normalizable, so only the even ground state is bound. Just above the threshold, that odd state moves below zero. The same logic applies to the candidate second even state at z0=πz_0=\pi.

  1. Derive the leading shallow-well binding energy for z0≪1z_0\ll1 and compare it with the bound energy of an attractive delta potential having the same integrated strength.
Solution

For the even ground state,

y=ztan⁡z≃z2.y=z\tan z\simeq z^2.

The circle relation z2+y2=z02z^2+y^2=z_0^2 then gives z≃z0z\simeq z_0 and y≃z02y\simeq z_0^2. Since κ=y/a\kappa=y/a,

E=−ℏ2κ22m≃−ℏ2z042ma2=−2mV02a2ℏ2.E =-\frac{\hbar^2\kappa^2}{2m} \simeq -\frac{\hbar^2z_0^4}{2ma^2} =-\frac{2mV_0^2a^2}{\hbar^2}.

The integrated attractive strength is

g=∫−aaV0 dx=2aV0.g=\int_{-a}^{a}V_0\,dx=2aV_0.

An attractive potential −gδ(x)-g\delta(x) has bound energy −mg2/(2ℏ2)-mg^2/(2\hbar^2), which becomes

−m(2aV0)22ℏ2=−2mV02a2ℏ2.-\frac{m(2aV_0)^2}{2\hbar^2} =-\frac{2mV_0^2a^2}{\hbar^2}.

The agreement reflects the fact that a sufficiently narrow or weak well is controlled at leading order by its integrated attraction.