Lesson 6: Potential wells and tunnelling

Keywords : Potential wells, Boundary conditions, Bound states, Reflection and transmission, Tunnelling

We now know how to write the Schrödinger equation for a particle, and we saw in the previous lesson that solving the dynamics amounts to finding the stationary states, that is, solving the eigenvalue equation

−ℏ22m φ"(x)+V(x) φ(x)=E φ(x).-\frac{\hbar^2}{2m}\,\phi"(x)+V(x)\,\phi(x)=E\,\phi(x).

In this lesson, we shall solve it explicitly for piecewise constant potentials: wells, steps and barriers. These models are of course idealisations, since no real potential has discontinuities. But they have two major advantages. First, the potential is constant on each interval and we already know the solutions: oscillatory, exponential or affine depending on the sign of E−VE-V (see Lesson 5). All the physics then lies at the matching points, and the calculations can be carried out entirely by hand. Second, they suffice to reveal the two most striking phenomena of the quantum mechanics of a point particle: the quantisation of energy for bound states, and tunnelling, that is, the possibility of crossing a barrier that is classically impassable.

We shall first work in one dimension, with a particle of constant mass mm and a time-independent potential. We shall begin by setting out the rules: normalisation, matching conditions and boundary conditions. We shall then study the bound states of two wells, one infinite and one finite, followed by scattering states at a step and a barrier. We shall finish by extending the discussion to three dimensions.

1. The general method

1.1. Bound states and scattering states

Let us first recall what classical mechanics would say. A particle with energy EE can only be found in regions where E≥V(x)E\geq V(x), since its kinetic energy E−V(x)E-V(x) must be positive. If these regions are bounded, the particle is trapped and oscillates between two turning points: its motion is bound. If they extend to infinity, the particle arrives from far away, interacts with the potential and returns to infinity: this is scattering motion.

The same distinction appears in quantum mechanics, with two kinds of stationary state of very different nature.

  • Bound states are normalisable eigenfunctions of H^\hat H, genuine vectors in Hilbert space. Their probability density is concentrated in the region of the well and decays at infinity. We shall see that the normalisability condition is satisfied only for certain values of the energy: the bound-state spectrum is discrete.
  • Scattering states are generalised eigenstates, like the plane waves of the free particle. They oscillate out to infinity and are not normalisable; they exist for a continuum of energies. They do not themselves represent physical states, but rather components of normalisable wave packets, and are interpreted using the probability current introduced in Lesson 5.

1.2. The normalisation condition

For a bound state, the wavefunction must be square-integrable over the whole real line. This condition, though seemingly innocuous, is in fact highly restrictive. Suppose, for example, that in a region x>bx>b where E<VE<V, the general solution of the stationary equation is Aeκx+Be−κxAe^{\kappa x}+Be^{-\kappa x} with κ>0\kappa>0. If A≠0A\neq0, the growing exponential dominates and

∫b+∞∣φ(x)∣2 dx=+∞.\int_b^{+\infty}|\phi(x)|^2\,dx=+\infty .

A bound state must therefore have A=0A=0: on the right, only the decaying exponential is allowed. On the left, by contrast, it is e−κxe^{-\kappa x} that diverges as x→−∞x\to-\infty and must be excluded. These exclusions, combined with the matching conditions, will select the allowed energies.

For scattering states, the situation is different. A plane wave eikxe^{ikx} is not normalisable, but it is bounded, and a superposition of plane waves with neighbouring energies forms a normalisable packet. We therefore impose no normalisation on such a state; we fix the amplitude of the incident wave arbitrarily, and calculate the ratios of the reflected and transmitted currents to the incident current. A solution that grows exponentially at infinity is still excluded, however, because no finite-probability packet could contain it.

1.3. The matching conditions

On each interval where the potential is constant, we know how to write the general solution, which depends on two constants. We still need to know how to join these pieces at the points where the potential jumps. The stationary equation itself provides the answer.

Theorem 1 (Regularity and matching conditions in one dimension)
Consider a solution of the stationary equation for a particle of constant mass.
  1. On an interval where VV is continuous, φ\phi is twice continuously differentiable.
  2. At a point x0x_0 where VV has a finite jump, the wavefunction and its derivative are continuous:
    φ(x0+)=φ(x0−),φ′(x0+)=φ′(x0−).\phi(x_0^+)=\phi(x_0^-),\qquad \phi'(x_0^+)=\phi'(x_0^-).
    (1)
  3. If a point interaction g δ(x−x0)g\,\delta(x-x_0) is added to the potential, the wavefunction remains continuous, but its derivative has a jump:
    φ(x0+)=φ(x0−),φ′(x0+)−φ′(x0−)=2mgℏ2 φ(x0).\phi(x_0^+)=\phi(x_0^-),\qquad \phi'(x_0^+)-\phi'(x_0^-)=\frac{2mg}{\hbar^2}\,\phi(x_0).
    (2)

Proof.
Write the equation in the form φ"(x)=2mℏ2(V(x)−E)φ(x).\phi"(x)=\frac{2m}{\hbar^2}\bigl(V(x)-E\bigr)\phi(x).

On an interval where VV is continuous, the right-hand side is continuous as soon as φ\phi is, and the Picard—Lindelöf theorem guarantees the existence of solutions of class C2C^2. This proves the first point.

Now consider a point x0x_0 where VV jumps, and integrate the equation between x0−ηx_0-\eta and x0+ηx_0+\eta, with η>0\eta>0 small. The left-hand side can be integrated exactly, giving

φ′(x0+η)−φ′(x0−η)=2mℏ2∫x0−ηx0+η(V(x)−E)φ(x) dx.\phi'(x_0+\eta)-\phi'(x_0-\eta)=\frac{2m}{\hbar^2}\int_{x_0-\eta}^{x_0+\eta}\bigl(V(x)-E\bigr)\phi(x)\,dx .

If VV and φ\phi remain bounded in a neighbourhood of x0x_0, the integral is of a bounded function over an interval of length 2η2\eta: it tends to zero as η→0\eta\to0. The derivative is therefore continuous at x0x_0, and hence so is the function itself, which proves the second point. Note, however, that φ"\phi" inherits the jump in VV: the wavefunction is only of class C1C^1 at the matching point.

In the presence of the term g δ(x−x0)g\,\delta(x-x_0), the integral also contains the contribution 2mℏ2∫g δ(x−x0)φ(x) dx=2mgℏ2φ(x0)\frac{2m}{\hbar^2}\int g\,\delta(x-x_0)\phi(x)\,dx=\frac{2mg}{\hbar^2}\phi(x_0), which does not tend to zero: this is the stated jump in the derivative. The function φ\phi remains continuous, since if it had a jump, its derivative would contain a δ\delta term and its second derivative a δ′\delta' term, which nothing in the equation could cancel.

These rules apply to a finite jump in the potential. A point interaction in δ\delta produces a jump in the derivative, while an infinite wall, which we shall now consider, requires a different condition again. Continuity of φ′\phi' must therefore not be applied mechanically to every potential.

Remark 1 (Spatial regularity and temporal regularity)
In Lesson 1, we obtained regularity in time for the evolution of states in the domain of the Hamiltonian, without being able to say anything about the regularity of the wavefunction in xx. The preceding theorem answers this second question for stationary states: spatial regularity is controlled directly by that of the potential. A finite jump in VV leaves φ\phi and φ′\phi' continuous but makes φ"\phi" jump; a delta function makes φ′\phi' jump. This does not, however, mean that every state in L2L^2 acquires regularity during the evolution: a discontinuous initial state remains a legitimate superposition of regular stationary states.

1.4. Infinite walls and Dirichlet conditions

A well with infinite walls models a particle perfectly confined to an interval, for example [0,L][0,L]. It may be viewed as the limit of a finite well whose depth tends to infinity: we shall see below that the wavefunction penetrates into the classically forbidden regions over a length 1/κ1/\kappa which tends to zero in this limit. The particle therefore cannot be found outside, the wavefunction vanishes there, and continuity of φ\phi requires it to vanish at the boundaries:

φ(0)=φ(L)=0.\phi(0)=\phi(L)=0 .
(3)

These are called homogeneous Dirichlet conditions. The derivative φ′\phi', however, is not continuous at the walls: it generally takes a non-zero value just inside and is zero outside. Imposing φ′(0)=φ′(L)=0\phi'(0)=\phi'(L)=0 as well would be an error, leaving no non-zero solution.

More formally, the model takes the state space to be L2(0,L)L^2(0,L) and the Hamiltonian to be the operator −ℏ22md2dx2-\frac{\hbar^2}{2m}\frac{d^2}{dx^2} acting on functions satisfying (3). It is precisely these conditions that make the boundary terms vanish in integrations by parts and render the Hamiltonian self-adjoint: on a bounded interval, the boundary conditions are part of the definition of the observable.

2. The infinite square well

2.1. The spectrum

Consider a particle free to move between two infinite walls placed at x=0x=0 and x=Lx=L, with zero potential inside (Figure 1). This is the simplest model of a confined particle.

The infinite well. The outer regions are inaccessible to the particle. The arrows indicate infinite walls, not a finite potential height.
Figure 1. The infinite well. The outer regions are inaccessible to the particle. The arrows indicate infinite walls, not a finite potential height.
Theorem 2 (Spectrum of the infinite well)
The normalised eigenstates and energies of the infinite well of width LL are

φn(x)=2Lsin⁡ ⁣(nπxL),En=ℏ2π22mL2n2,n=1,2,3,...\boxed{\phi_n(x)=\sqrt{\frac2L} \sin\!\left(\frac{n\pi x}{L}\right), \qquad E_n=\frac{\hbar^2\pi^2}{2mL^2} n^2, \qquad n=1,2,3,...}
(4)

These functions form a Hilbert basis of L2(0,L)L^2(0,L).

Proof.
Let us begin by showing that the energy is strictly positive. For a normalised eigenstate, integration by parts gives E=⟨φ|H^φ⟩=−ℏ22m∫0Lφ∗φ" dx=−ℏ22m[φ∗φ′]0L+ℏ22m∫0L∣φ′(x)∣2 dx.E=\braket{\phi}{\hat H\phi} =-\frac{\hbar^2}{2m}\int_0^L\phi^*\phi"\,dx =-\frac{\hbar^2}{2m}\Bigl[\phi^*\phi'\Bigr]_0^L+\frac{\hbar^2}{2m}\int_0^L|\phi'(x)|^2\,dx .

The boundary term vanishes because of the Dirichlet conditions, leaving E≥0E\geq0. If E=0E=0, the equation φ"=0\phi"=0 would give φ(x)=Ax+B\phi(x)=Ax+B, and the conditions φ(0)=φ(L)=0\phi(0)=\phi(L)=0 would imply A=B=0A=B=0. Since the zero vector is not a state, we indeed have E>0E>0.

Set k=2mE/ℏ>0k=\sqrt{2mE}/\hbar>0. Inside the well, the stationary equation becomes φ"=−k2φ\phi"=-k^2\phi, whose general solution is

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

The condition at x=0x=0 imposes B=0B=0. The condition at x=Lx=L then imposes Asin⁡(kL)=0A\sin(kL)=0. Since A≠0A\neq0 for a non-zero state, we must have

sin⁡(kL)=0,that isk=nπL,n=1,2,3,...\sin(kL)=0,\qquad\text{that is}\qquad k=\frac{n\pi}{L},\quad n=1,2,3,...

Negative integers give nothing new, since they reproduce the same functions up to a sign, and n=0n=0 gives the zero function. With E=ℏ2k2/(2m)E=\hbar^2k^2/(2m), we obtain the stated energies. Normalisation follows from

∫0Lsin⁡2 ⁣(nπxL)dx=∫0L1−cos⁡(2nπx/L)2 dx=L2,\int_0^L\sin^2\!\left(\frac{n\pi x}{L}\right)dx=\int_0^L\frac{1-\cos(2n\pi x/L)}{2}\,dx=\frac L2,

which gives ∣A∣=2/L|A|=\sqrt{2/L}; we choose AA to be real and positive, since the overall phase is immaterial. The orthogonality of two functions φn\phi_n and φm\phi_m with n≠mn\neq m may be checked by writing the product of sines as a difference of cosines, but it also follows directly from the fact that they are eigenvectors of a self-adjoint operator associated with distinct eigenvalues. Finally, completeness of the family is the completeness of Fourier sine series on [0,L][0,L], a result from analysis which we shall assume.

The first three eigenfunctions of the infinite well, with L\, _n(x) on the vertical axis. Each function vanishes at both walls and has n-1 nodes inside. These are amplitudes, not probability densities.
Figure 2. The first three eigenfunctions of the infinite well, with L φn(x)\sqrt L\,\phi_n(x) on the vertical axis. Each function vanishes at both walls and has n−1n-1 nodes inside. These are amplitudes, not probability densities.

2.2. Comments

The origin of quantisation.

The energy can take only the discrete values E1,4E1,9E1,...E_1,4E_1,9E_1,... It is important to see where this quantisation comes from: the boundary conditions leave only the standing waves for which an integer number of half-wavelengths fits inside the well, as for a vibrating string fixed at both ends. The free particle on the whole real line, which is subject to no such condition, instead had a continuous spectrum. As we noted in Lesson 3, quantisation is therefore not a general property of quantum mechanics, but a consequence of confinement.

Zero-point energy.

The ground level has energy E1>0E_1>0: the particle cannot be at rest at the bottom of the well. This can be understood from Heisenberg's uncertainty relation. Confined to the interval [0,L][0,L], the particle has a position spread at most of order L/2L/2, and hence a momentum spread at least of order ℏ/L\hbar/L. Since ⟨P^⟩=0\langle\hat P\rangle=0 in a real state, the mean energy satisfies

E=⟨P^2⟩2m=σP22m≥ℏ28mσX2≳ℏ22mL2.E=\frac{\langle\hat P^2\rangle}{2m}=\frac{\sigma_P^2}{2m}\geq\frac{\hbar^2}{8m\sigma_X^2}\gtrsim\frac{\hbar^2}{2mL^2}.

This rough estimate gives the correct order of magnitude and the correct dependence on mm and LL; the exact calculation simply replaces the factor 11 by π2\pi^2. Confinement has a kinetic-energy cost, which increases as 1/L21/L^2 when the well is narrowed. For an electron in a 11 nm well, one finds E1≈0.38E_1\approx0.38 eV, which is the order of magnitude of the energies involved in semiconductor nanostructures.

Nodes.

The function φn\phi_n vanishes n−1n-1 times inside the well. The higher the energy, the more the wavefunction oscillates, consistent with the fact that kinetic energy is related to the curvature of the wavefunction: indeed, E=ℏ22m∫∣φ′∣2dxE=\frac{\hbar^2}{2m}\int|\phi'|^2dx from the calculation in the proof. We shall encounter this node rule again for the finite well, the harmonic oscillator and the hydrogen atom.

The dynamics.

An arbitrary state can be expanded in the basis of the φn\phi_n, and evolves according to

ψ(x,t)=∑n≥1cn e−iEnt/ℏ φn(x),cn=∫0Lφn(x) ψ(x,0) dx.\psi(x,t)=\sum_{n\geq1}c_n\,e^{-iE_nt/\hbar}\,\phi_n(x), \qquad c_n=\int_0^L\phi_n(x)\,\psi(x,0)\,dx .

The probabilities ∣cn∣2|c_n|^2 of the different energies are constant, but the position density generally depends on time because of the cross terms between levels.

Example 1 (Oscillation of a superposition of two levels)
Take ψ(x,0)=(φ1(x)+φ2(x))/2\psi(x,0)=\bigl(\phi_1(x)+\phi_2(x)\bigr)/\sqrt2. The probability density is ∣ψ(x,t)∣2=12(φ12+φ22)+φ1φ2cos⁡(ω21t),ω21=E2−E1ℏ=3E1ℏ.|\psi(x,t)|^2=\frac12\Bigl(\phi_1^2+\phi_2^2\Bigr)+\phi_1\phi_2\cos(\omega_{21}t), \qquad \omega_{21}=\frac{E_2-E_1}{\hbar}=\frac{3E_1}{\hbar}.

Since φ1φ2\phi_1\phi_2 is positive on the left half of the well and negative on the right half, the probability moves periodically from one side to the other. To quantify this, let us calculate the mean position. By symmetry, ⟨φn|X^φn⟩=L/2\braket{\phi_n}{\hat X\phi_n}=L/2, and, writing the product of sines as a difference of cosines and then integrating by parts,

⟨φ1|X^φ2⟩=2L∫0Lxsin⁡πxLsin⁡2πxL dx=−16L9π2.\braket{\phi_1}{\hat X\phi_2}=\frac2L\int_0^Lx\sin\frac{\pi x}{L}\sin\frac{2\pi x}{L}\,dx=-\frac{16L}{9\pi^2}.

It follows that

⟨X^⟩(t)=L2−16L9π2cos⁡(ω21t)≃L2−0.18 Lcos⁡(ω21t).\langle\hat X\rangle(t)=\frac L2-\frac{16L}{9\pi^2}\cos(\omega_{21}t)\simeq\frac L2-0.18\,L\cos(\omega_{21}t).

The particle oscillates in the well at the angular frequency ω21\omega_{21}, set by the difference between the two energies. We shall study this type of beating in general in Lesson 11.

2.3. A delta function at the centre of the well

To see the jump condition (2) at work, add a repulsive point interaction g δ(x−L/2)g\,\delta(x-L/2), with g>0g>0, at the centre of the well (Figure 3). This term models a very thin, very high barrier with integral gg; the coefficient gg has the dimensions of energy times length.

Infinite well with a repulsive point interaction at its centre. The central arrow represents the weight g of the delta function, not its height.
Figure 3. Infinite well with a repulsive point interaction at its centre. The central arrow represents the weight gg of the delta function, not its height.

On either side of the centre, the potential is zero and the solution is sinusoidal. Choosing from the outset solutions that vanish at the walls, we write

φ(x)=Asin⁡(kx)for 0<x<L2,φ(x)=Bsin⁡(k(L−x))for L2<x<L,\phi(x)=A\sin(kx)\quad\text{for }0<x<\frac L2,\qquad \phi(x)=B\sin\bigl(k(L-x)\bigr)\quad\text{for }\frac L2<x<L,

with E=ℏ2k2/(2m)E=\hbar^2k^2/(2m). It remains to impose continuity of φ\phi and the jump in its derivative at L/2L/2. Since the potential is symmetric about the centre, we can seek separately solutions that are odd and even about this point (we shall justify this procedure below).

The solutions that are odd about the centre vanish there. The right-hand side of (2) is then zero: the delta function does not see them. These are the functions sin⁡(2jπx/L)\sin(2j\pi x/L) of the ordinary well, that is, the φn\phi_n with even index nn, with the same energies.

For the even solutions, take B=AB=A. The derivative is Akcos⁡(kL/2)Ak\cos(kL/2) immediately to the left of the centre and −Akcos⁡(kL/2)-Ak\cos(kL/2) immediately to its right. The jump condition reads

−2Akcos⁡kL2=2mgℏ2 Asin⁡kL2,that iskcot⁡kL2=−mgℏ2.-2Ak\cos\frac{kL}{2}=\frac{2mg}{\hbar^2}\,A\sin\frac{kL}{2}, \qquad\text{that is}\qquad k\cot\frac{kL}{2}=-\frac{mg}{\hbar^2}.

This is a transcendental equation, to be solved graphically or numerically. Its two limiting cases are instructive. For g=0g=0, we recover cos⁡(kL/2)=0\cos(kL/2)=0, that is, the φn\phi_n with odd index in the ordinary well. For g>0g>0, the right-hand side is negative and each solution is shifted towards a larger value of kk: the energies of the even states increase, as expected since the barrier is repulsive and these states have non-zero amplitude at the centre. As g→+∞g\to+\infty, we must have sin⁡(kL/2)→0\sin(kL/2)\to0, that is, k→2jπ/Lk\to2j\pi/L: each even state approaches the energy of its neighbouring odd state. We then obtain two independent wells of width L/2L/2, whose levels are doubly degenerate. For large but finite gg, the levels remain grouped in closely spaced pairs: this is our first encounter with the two-site model coupled by tunnelling, which we shall revisit in Lesson 11.

3. The finite square well

3.1. Solutions in the three regions

Now consider a well of finite depth V0>0V_0>0 and width 2a2a:

V(x)={0,x<−a(region I),−V0,−a<x<a(region II),0,x>a(region III).\begin{aligned} V(x)=\begin{cases} 0,&x<-a\quad\text{(region I)},\\ -V_0,&-a<x<a\quad\text{(region II)},\\ 0,&x>a\quad\text{(region III)}. \end{cases} \end{aligned}

This model is more realistic than the infinite well: the particle can escape if its energy is high enough. Here we seek bound states with energy −V0<E<0-V_0<E<0 (Figure 4).

Finite well of width 2a and depth V_0. For a bound state, -V_0<E<0: the wavefunction oscillates in region II and decays exponentially in regions I and III.
Figure 4. Finite well of width 2a2a and depth V0V_0. For a bound state, −V0<E<0-V_0<E<0: the wavefunction oscillates in region II and decays exponentially in regions I and III.

Why this range of energies? On the one hand, for E≥0E\geq0, the outer regions are classically allowed and the solutions there are oscillatory (or affine if E=0E=0): they are not square-integrable and describe scattering states. On the other hand, the energy of a normalised state cannot fall below the minimum of the potential, since E=ℏ22m∫∣φ′∣2dx+∫V∣φ∣2dxE=\frac{\hbar^2}{2m}\int|\phi'|^2dx+\int V|\phi|^2dx and V≥−V0V\geq-V_0. We therefore set

k=2m(E+V0)ℏ,κ=−2mEℏ,k>0, κ>0.k=\frac{\sqrt{2m(E+V_0)}}{\hbar},\qquad \kappa=\frac{\sqrt{-2mE}}{\hbar}, \qquad k>0,\ \kappa>0.

The wavenumber kk describes the oscillation inside the well, where the classical kinetic energy is E+V0E+V_0, and κ\kappa the decay outside. They are not independent, since

k2+κ2=2mV0ℏ2.k^2+\kappa^2=\frac{2mV_0}{\hbar^2}.
(5)

In region II, the equation is φ"=−k2φ\phi"=-k^2\phi; in regions I and III, it is φ"=κ2φ\phi"=\kappa^2\phi. The normalisation condition excludes the exponential e−κxe^{-\kappa x} on the left and eκxe^{\kappa x} on the right. This leaves

φ(x)=A eκ(x+a),x<−a,φ(x)=Bcos⁡(kx)+Csin⁡(kx),−a<x<a,φ(x)=F e−κ(x−a),x>a.\begin{aligned} \phi(x)&=A\,e^{\kappa(x+a)},&&x<-a,\\ \phi(x)&=B\cos(kx)+C\sin(kx),&&-a<x<a,\\ \phi(x)&=F\,e^{-\kappa(x-a)},&&x>a. \end{aligned}

The shifts x+ax+a and x−ax-a in the exponentials do not change the form of the solutions: they merely simplify the values at the boundaries, which are AA and FF.

3.2. Matching conditions and parity

The potential has only finite jumps: the function and its derivative are continuous at x=−ax=-a and x=ax=a. This gives four linear equations for the four constants A,B,C,FA,B,C,F:

A=Bcos⁡(ka)−Csin⁡(ka),κA=kBsin⁡(ka)+kCcos⁡(ka),F=Bcos⁡(ka)+Csin⁡(ka),−κF=−kBsin⁡(ka)+kCcos⁡(ka).\begin{aligned} A&=B\cos(ka)-C\sin(ka),&\qquad \kappa A&=kB\sin(ka)+kC\cos(ka),\\ F&=B\cos(ka)+C\sin(ka),&\qquad -\kappa F&=-kB\sin(ka)+kC\cos(ka). \end{aligned}

We could solve this system directly by requiring its determinant to vanish for a non-zero solution to exist. But the calculation can be simplified considerably by using the symmetry of the problem. The potential is even, V(−x)=V(x)V(-x)=V(x): if φ(x)\phi(x) is a solution with energy EE, then so is φ(−x)\phi(-x), and hence so are the combinations φ(x)±φ(−x)\phi(x)\pm\phi(-x), which are respectively even and odd. We may therefore seek the eigenstates among even functions (C=0C=0, A=FA=F) and odd functions (B=0B=0, A=−FA=-F), without losing any eigenvalue.

Proposition 1 (Equations for the bound levels)
The energies of the even bound states are given by ktan⁡(ka)=κ,k\tan(ka)=\kappa,

and those of the odd bound states by

−kcot⁡(ka)=κ,-k\cot(ka)=\kappa,

where kk and κ\kappa are related by (5).

Proof.
For an even state, C=0C=0 and F=Bcos⁡(ka)F=B\cos(ka). Continuity of the derivative at x=ax=a gives −κF=−kBsin⁡(ka)-\kappa F=-kB\sin(ka), or κBcos⁡(ka)=kBsin⁡(ka)\kappa B\cos(ka)=kB\sin(ka). Since B≠0B\neq0 for a non-zero state, we obtain ktan⁡(ka)=κk\tan(ka)=\kappa. The conditions at x=−ax=-a give the same equation, by symmetry.

For an odd state, B=0B=0 and F=Csin⁡(ka)F=C\sin(ka). Continuity of the derivative at x=ax=a gives −κCsin⁡(ka)=kCcos⁡(ka)-\kappa C\sin(ka)=kC\cos(ka), hence −kcot⁡(ka)=κ-k\cot(ka)=\kappa.

The corresponding wavefunctions are, up to a normalisation constant,

φeven(x)=Ce{cos⁡(ka) eκ(x+a),x<−a,cos⁡(kx),∣x∣<a,cos⁡(ka) e−κ(x−a),x>a,φodd(x)=Co{−sin⁡(ka) eκ(x+a),x<−a,sin⁡(kx),∣x∣<a,sin⁡(ka) e−κ(x−a),x>a.\begin{aligned} \phi_{\rm even}(x)=C_{\rm e} \begin{cases} \cos(ka)\,e^{\kappa(x+a)},&x<-a,\\ \cos(kx),&|x|<a,\\ \cos(ka)\,e^{-\kappa(x-a)},&x>a, \end{cases} \qquad \phi_{\rm odd}(x)=C_{\rm o} \begin{cases} -\sin(ka)\,e^{\kappa(x+a)},&x<-a,\\ \sin(kx),&|x|<a,\\ \sin(ka)\,e^{-\kappa(x-a)},&x>a. \end{cases} \end{aligned}

The normalisation must take all three regions into account. For the even state, for example, the condition ∫∣φ∣2dx=1\int|\phi|^2dx=1 reads

1=Ce2[∫−aacos⁡2(kx) dx+2cos⁡2(ka)∫a∞e−2κ(x−a) dx]=Ce2[a+sin⁡(2ka)2k+cos⁡2(ka)κ],1=C_{\rm e}^2\left[\int_{-a}^{a}\cos^2(kx)\,dx +2\cos^2(ka)\int_a^{\infty}e^{-2\kappa(x-a)}\,dx\right] =C_{\rm e}^2\left[a+\frac{\sin(2ka)}{2k}+\frac{\cos^2(ka)}{\kappa}\right],

and similarly, for the odd state, we obtain

Co−2=a−sin⁡(2ka)2k+sin⁡2(ka)κ.C_{\rm o}^{-2}=a-\frac{\sin(2ka)}{2k}+\frac{\sin^2(ka)}{\kappa}.
An exact even state of the finite well, for ka= a= /4. The function and its slope match at both boundaries. The exponential tails extend the state beyond the well, without producing any outgoing current in this stationary bound state.
Figure 5. An exact even state of the finite well, for ka=κa=π/4ka=\kappa a=\pi/4. The function and its slope match at both boundaries. The exponential tails extend the state beyond the well, without producing any outgoing current in this stationary bound state.

3.3. Graphical solution

The equations in Proposition 1 are transcendental: their solutions cannot be expressed in terms of elementary functions. The problem is nevertheless solved exactly, in the sense that the energies are the roots of explicit equations, which can be calculated numerically to any desired accuracy. To visualise these roots, introduce the dimensionless variables

z=ka,z0=a2mV0ℏ.z=ka,\qquad z_0=\frac{a\sqrt{2mV_0}}{\hbar}.

The parameter z0z_0 measures both the depth and the width of the well. From (5), κa=z02−z2\kappa a=\sqrt{z_0^2-z^2}, and the equations become

ztan⁡z=z02−z2(even),−zcot⁡z=z02−z2(odd),0<z<z0.z\tan z=\sqrt{z_0^2-z^2}\quad\text{(even)},\qquad -z\cot z=\sqrt{z_0^2-z^2}\quad\text{(odd)},\qquad 0<z<z_0 .

The solutions are the intersections of the quarter-circle z02−z2\sqrt{z_0^2-z^2} with the positive branches of the curves ztan⁡zz\tan z and −zcot⁡z-z\cot z, shown in Figure 6.

Graphical solution for z_0=4. The blue curve is z_0^2-z^2. Its intersections with the positive branches of z z and -z z give two even states and one odd state. The negative portions of the trigonometric functions, which cannot satisfy the equations, are not shown.
Figure 6. Graphical solution for z0=4z_0=4. The blue curve is z02−z2\sqrt{z_0^2-z^2}. Its intersections with the positive branches of ztan⁡zz\tan z and −zcot⁡z-z\cot z give two even states and one odd state. The negative portions of the trigonometric functions, which cannot satisfy the equations, are not shown.

Several conclusions can be read directly from this figure.

  • There is always at least one bound state. On the interval 0<z<min⁡(z0,π/2)0<z<\min(z_0,\pi/2), the function ztan⁡zz\tan z starts at zero and increases, while z02−z2\sqrt{z_0^2-z^2} starts at z0>0z_0>0 and decreases: the two curves must intersect. Thus, in one dimension, an attractive well has at least one even bound state, however shallow or narrow it may be1.
    Note 1: This result is specific to one dimension. In three dimensions, a spherical well that is too weak has no bound state, as may be checked later.
  • The number of bound states is finite, and is 1+⌊2z0/π⌋1+\lfloor 2z_0/\pi\rfloor, where ⌊⋅⌋\lfloor\cdot\rfloor denotes the integer part. Indeed, the positive branches of ztan⁡zz\tan z and −zcot⁡z-z\cot z occupy in turn the intervals [0,π/2[[0,\pi/2[, [π/2,π[[\pi/2,\pi[, [π,3π/2[[\pi,3\pi/2[, and so on. On each of them, the trigonometric function starts at zero and increases, while the quarter-circle decreases until it vanishes at z0z_0: each interval that begins before z0z_0 therefore contains exactly one intersection. For z0=4z_0=4, there are indeed three states. A wider or deeper well contains more.
  • Even and odd states alternate as the energy increases, and the nnth state has n−1n-1 nodes, as in the infinite well.
  • The infinite well is recovered when V0→+∞V_0\to+\infty. In this limit z0→+∞z_0\to+\infty, the quarter-circle intersects the branches near their asymptotes z=π/2,π,3π/2,...z=\pi/2,\pi,3\pi/2,..., that is, k≃nπ/(2a)k\simeq n\pi/(2a). The energies measured from the bottom of the well therefore tend to E+V0=ℏ2π2n2/(2m(2a)2)E+V_0=\hbar^2\pi^2n^2/(2m(2a)^2), those of the infinite well of width 2a2a.

3.4. Penetration into the forbidden region

Unlike in the infinite well, the wavefunction does not vanish at the boundary of the well: it extends into the classically forbidden regions as a decaying exponential, called an evanescent wave. This name describes the spatial dependence of the amplitude, not a decrease in probability over time: the state is stationary. The amplitude decays over the characteristic length 1/κ1/\kappa, and the probability density as e−2κde^{-2\kappa d} at a distance dd from the boundary. As the energy approaches zero from below, κ→0\kappa\to0 and the tail extends farther and farther.

The probability of finding the particle outside the well is therefore non-zero. For the even state, it is

Pext=2 Ce2cos⁡2(ka)∫a∞e−2κ(x−a) dx=Ce2 cos⁡2(ka)κ.P_{\rm ext}=2\,C_{\rm e}^2\cos^2(ka)\int_a^\infty e^{-2\kappa(x-a)}\,dx=C_{\rm e}^2\,\frac{\cos^2(ka)}{\kappa}.

This is a purely quantum effect: a classical particle with energy E<0E<0 could never reach the region ∣x∣>a|x|>a. This does not mean that the particle escapes: the density is stationary and the probability current is zero everywhere, since the wavefunction is real. The particle remains bound, but its wavefunction “spills out” of the well. As we shall see, it is this spillover that makes it possible to cross a barrier of finite width.

Finally, note that the bound states do not form a basis of L2(R)L^2(\R): to describe an arbitrary state, the scattering states with energy E>0E>0 must be added. Here the spectrum of the Hamiltonian has a finite discrete part and a continuous part.

4. Parity and non-degeneracy

We used the parity of the potential to seek even or odd solutions. This procedure has a general justification: the parity operator (Π^ψ)(x)=ψ(−x)(\hat\Pi\psi)(x)=\psi(-x) commutes with the Hamiltonian whenever VV is even, and H^\hat H and Π^\hat\Pi, whose eigenvalues are ±1\pm1, can therefore be diagonalised simultaneously. But we obtained a stronger result: every bound state is automatically even or odd. This follows from the next result.

Proposition 2 (Non-degeneracy of bound states in one dimension)
For a real, piecewise regular potential with no point interaction, two bound states with the same energy are proportional.
Proof.
Let φ\phi and χ\chi be two solutions of the stationary equation with the same energy EE. Consider their Wronskian W=φχ′−φ′χW=\phi\chi'-\phi'\chi. Its derivative is W′=φχ"−φ"χ=φ⋅2mℏ2(V−E)χ−2mℏ2(V−E)φ⋅χ=0.W'=\phi\chi"-\phi"\chi=\phi\cdot\frac{2m}{\hbar^2}(V-E)\chi-\frac{2m}{\hbar^2}(V-E)\phi\cdot\chi=0 .

The Wronskian is therefore constant on each interval where VV is regular, and is continuous at the matching points since φ\phi, χ\chi and their derivatives are continuous there. It is thus constant over the whole real line. For bound states, the functions and their derivatives tend to zero at infinity, so this constant is zero. Wherever χ\chi does not vanish, W=0W=0 may be written (φ/χ)′=−W/χ2=0(\phi/\chi)'=-W/\chi^2=0, hence φ=c χ\phi=c\,\chi on that interval. Uniqueness of solutions to the differential equation for given initial conditions at one point then extends the proportionality to the whole real line.

If VV is even and φ\phi is a bound state, φ(−x)\phi(-x) is a bound state with the same energy, so φ(−x)=c φ(x)\phi(-x)=c\,\phi(x). Applying this relation twice gives c2=1c^2=1: the state is even or odd.

The assumptions matter. A particle on a ring, whose wavefunction must be periodic and does not tend to zero, has states of the same energy with opposite momenta, e±ikxe^{\pm ikx}. And we shall see at the end of this lesson that degeneracies are common in three dimensions.

5. The potential step

We now turn to scattering states, beginning with the potential step: V=0V=0 for x<0x<0 and V=V0>0V=V_0>0 for x>0x>0 (Figure 7). A particle approaches from the left with energy EE. Classically, the situation is simple: if E>V0E>V_0, the particle crosses the step and slows down; if E<V0E<V_0, it bounces back. Let us see what quantum mechanics says.

The potential step. The two dashed lines show the two regimes considered. For E<V_0, the region on the right is classically forbidden.
Figure 7. The potential step. The two dashed lines show the two regimes considered. For E<V0E<V_0, the region on the right is classically forbidden.

5.1. Above the step

For E>V0E>V_0, the solutions are oscillatory on both sides, with wavenumbers

k=2mEℏ,q=2m(E−V0)ℏ<k.k=\frac{\sqrt{2mE}}{\hbar},\qquad q=\frac{\sqrt{2m(E-V_0)}}{\hbar}<k .

On the left, there is the incident wave eikxe^{ikx}, whose amplitude we set to one, and a possible reflected wave e−ikxe^{-ikx}. On the right, there is only a transmitted wave eiqxe^{iqx} travelling to the right: a term in e−iqxe^{-iqx} would describe a wave arriving from +∞+\infty, which is not the situation under study. We therefore write

φ(x)=eikx+r e−ikx(x<0),φ(x)=t eiqx(x>0).\phi(x)=e^{ikx}+r\,e^{-ikx}\quad(x<0), \qquad \phi(x)=t\,e^{iqx}\quad(x>0).

Continuity of φ\phi and φ′\phi' at x=0x=0 gives

1+r=t,ik(1−r)=iqt.1+r=t,\qquad ik(1-r)=iqt .

Substituting the first equation into the second gives k(1−r)=q(1+r)k(1-r)=q(1+r), hence

r=k−qk+q,t=1+r=2kk+q.r=\frac{k-q}{k+q},\qquad t=1+r=\frac{2k}{k+q}.

These coefficients are amplitudes. To obtain reflection and transmission probabilities, the probability fluxes must be compared, and this is where the current from Lesson 5 becomes essential.

Proposition 3 (Reflection and transmission at a step)
The reflection and transmission coefficients, defined as the ratios of the reflected and transmitted currents to the incident current, are R=∣r∣2=(k−q)2(k+q)2,T=qk ∣t∣2=4kq(k+q)2,R+T=1.R=|r|^2=\frac{(k-q)^2}{(k+q)^2}, \qquad T=\frac qk\,|t|^2=\frac{4kq}{(k+q)^2}, \qquad R+T=1.

Proof.
We saw in Lesson 5 that a wave AeikxAe^{ikx} carries the current ℏk∣A∣2/m\hbar k|A|^2/m and a wave Ae−ikxAe^{-ikx} carries the opposite current. The incident, reflected and transmitted currents are therefore jinc=ℏkm,jrefl=−ℏkm∣r∣2,jtrans=ℏqm∣t∣2.j_{\rm inc}=\frac{\hbar k}{m},\qquad j_{\rm refl}=-\frac{\hbar k}{m}|r|^2,\qquad j_{\rm trans}=\frac{\hbar q}{m}|t|^2 .

We define R=∣jrefl∣/jincR=|j_{\rm refl}|/j_{\rm inc} and T=jtrans/jincT=j_{\rm trans}/j_{\rm inc}, which gives the stated expressions. Their sum is ((k−q)2+4kq)/(k+q)2=1\bigl((k-q)^2+4kq\bigr)/(k+q)^2=1.

The equality R+T=1R+T=1 is no accident: it expresses conservation of probability. For a stationary state, the continuity equation reduces to ∂xj=0\partial_xj=0, and the current is the same everywhere. On the left, it is jinc+jreflj_{\rm inc}+j_{\rm refl} (the cross terms between eikxe^{ikx} and e−ikxe^{-ikx} may be checked not to contribute to the current); on the right, it is jtransj_{\rm trans}. Their equality gives precisely R+T=1R+T=1.

Notice the factor q/kq/k in TT: it reflects the fact that the transmitted wave propagates more slowly than the incident wave. This is the example announced in the previous lesson: the squared modulus of the transmitted amplitude ∣t∣2|t|^2, which can exceed one, is not a transmission probability. Note also that, contrary to classical intuition, the reflection is non-zero even though the energy exceeds the height of the step. It vanishes only in the limit E≫V0E\gg V_0, where q≃kq\simeq k. This is a typically wave-like phenomenon, analogous to the partial reflection of light at the interface between two media with different refractive indices.

5.2. Below the step

For 0<E<V00<E<V_0, the region on the right is classically forbidden. Set κ=2m(V0−E)/ℏ\kappa=\sqrt{2m(V_0-E)}/\hbar. The solution there is exponential, and we retain only the decaying exponential, since the growing exponential could not describe the tail of any finite-probability packet:

φ(x)=eikx+r e−ikx(x<0),φ(x)=t e−κx(x>0).\phi(x)=e^{ikx}+r\,e^{-ikx}\quad(x<0), \qquad \phi(x)=t\,e^{-\kappa x}\quad(x>0).

The matching conditions at zero now read 1+r=t1+r=t and ik(1−r)=−κtik(1-r)=-\kappa t. They give

r=k−iκk+iκ,t=2kk+iκ.r=\frac{k-i\kappa}{k+i\kappa},\qquad t=\frac{2k}{k+i\kappa}.

The numerator and denominator of rr are complex conjugates: ∣r∣=1|r|=1, and reflection is total, R=1R=1. The same result follows from the current: in the region on the right, φ\phi is a real exponential multiplied by a constant, so φ∗φ′\phi^*\phi' is real and the current is zero, T=0T=0. As in the finite well, the wavefunction penetrates the forbidden region over a length 1/κ1/\kappa, but this penetration is accompanied by no transmission to infinity. Reflection is accompanied only by a phase shift, r=e−2iθr=e^{-2i\theta} with tan⁡θ=κ/k\tan\theta=\kappa/k, corresponding to a slight delay of the reflected packet.

6. The potential barrier and tunnelling

6.1. Statement of the problem

What happens now if the forbidden region is no longer semi-infinite, but has finite width? Consider the barrier V=V0V=V_0 for 0<x<a0<x<a and V=0V=0 elsewhere, and a particle approaching from the left with energy 0<E<V00<E<V_0 (Figure 8). Classically, the particle always bounces off the barrier. We have just seen that the wavefunction penetrates the forbidden region: if the barrier is thin enough, the evanescent wave is not yet negligible on the other side and can give rise to a transmitted wave there. This is tunnelling.

Barrier of width a. For 0<E<V_0, the waves are oscillatory in regions I and III, and exponential in region II.
Figure 8. Barrier of width aa. For 0<E<V00<E<V_0, the waves are oscillatory in regions I and III, and exponential in region II.

Using the same notation as for the step,

k=2mEℏ,κ=2m(V0−E)ℏ,k=\frac{\sqrt{2mE}}{\hbar},\qquad \kappa=\frac{\sqrt{2m(V_0-E)}}{\hbar},

the solutions in the three regions are written

φ(x)=eikx+r e−ikx,x<0,φ(x)=A eκx+B e−κx,0<x<a,φ(x)=t eikx,x>a.\begin{aligned} \phi(x)&=e^{ikx}+r\,e^{-ikx},&&x<0,\\ \phi(x)&=A\,e^{\kappa x}+B\,e^{-\kappa x},&&0<x<a,\\ \phi(x)&=t\,e^{ikx},&&x>a. \end{aligned}

This time both exponentials must be retained in the barrier: since the region has finite length, the growing exponential presents no normalisation problem there. Continuity of φ\phi and φ′\phi' at x=0x=0 and x=ax=a gives four equations,

1+r=A+B,ik(1−r)=κ(A−B),Aeκa+Be−κa=t eika,κ(Aeκa−Be−κa)=ik t eika,\begin{aligned} 1+r&=A+B,&\qquad ik(1-r)&=\kappa(A-B),\\ Ae^{\kappa a}+Be^{-\kappa a}&=t\,e^{ika},&\qquad \kappa\bigl(Ae^{\kappa a}-Be^{-\kappa a}\bigr)&=ik\,t\,e^{ika}, \end{aligned}

which determine the four unknowns rr, AA, BB and tt.

6.2. The transmission coefficient

Theorem 3 (Transmission through a square barrier)
For 0<E<V00<E<V_0, the transmission coefficient is

T=[1+V024E(V0−E)sinh⁡2(κa)]−1\boxed{T=\left[1+\frac{V_0^2}{4E(V_0-E)} \sinh^2(\kappa a)\right]^{-1}}
(6)

It is strictly positive for every barrier of finite width.

Proof.
Rather than solving the system head-on, let us proceed from right to left. Inside the barrier, instead of e±κxe^{\pm\kappa x}, use the basis functions cosh⁡κ(x−a)\cosh\kappa(x-a) and sinh⁡κ(x−a)\sinh\kappa(x-a), which take the values 11 and 00, respectively, at x=ax=a. The solution that matches at x=ax=a to the transmitted wave, with value teikate^{ika} and derivative ikteikaikte^{ika}, is then immediate: φ(x)=t eika[cosh⁡κ(x−a)+ikκsinh⁡κ(x−a)],0<x<a.\phi(x)=t\,e^{ika}\left[\cosh\kappa(x-a)+\frac{ik}{\kappa}\sinh\kappa(x-a)\right],\qquad 0<x<a .

Its value and derivative at x=0x=0 then follow, using the evenness of cosh⁡\cosh and the oddness of sinh⁡\sinh:

φ(0)=t eika[cosh⁡κa−ikκsinh⁡κa],φ′(0)=t eika[−κsinh⁡κa+ikcosh⁡κa].\phi(0)=t\,e^{ika}\left[\cosh\kappa a-\frac{ik}{\kappa}\sinh\kappa a\right], \qquad \phi'(0)=t\,e^{ika}\Bigl[-\kappa\sinh\kappa a+ik\cosh\kappa a\Bigr].

The matching conditions at x=0x=0 read 1+r=φ(0)1+r=\phi(0) and 1−r=φ′(0)/(ik)1-r=\phi'(0)/(ik). Adding them eliminates the reflected amplitude:

2=t eika[2cosh⁡κa−(ikκ+κik)sinh⁡κa]=t eika[2cosh⁡κa+i κ2−k2kκsinh⁡κa],2=t\,e^{ika}\left[2\cosh\kappa a-\Bigl(\frac{ik}{\kappa}+\frac{\kappa}{ik}\Bigr)\sinh\kappa a\right] =t\,e^{ika}\left[2\cosh\kappa a+i\,\frac{\kappa^2-k^2}{k\kappa}\sinh\kappa a\right],

hence

t=e−ikacosh⁡κa+i κ2−k22kκ sinh⁡κa.t=\frac{e^{-ika}}{\cosh\kappa a+i\,\dfrac{\kappa^2-k^2}{2k\kappa}\,\sinh\kappa a}.

Since the potential is zero on both sides, the incident and transmitted waves have the same wavenumber, and T=∣t∣2T=|t|^2. Using cosh⁡2u=1+sinh⁡2u\cosh^2u=1+\sinh^2u, the squared modulus of the denominator is

cosh⁡2κa+(κ2−k2)24k2κ2sinh⁡2κa=1+[1+(κ2−k2)24k2κ2]sinh⁡2κa=1+(k2+κ2)24k2κ2sinh⁡2κa.\cosh^2\kappa a+\frac{(\kappa^2-k^2)^2}{4k^2\kappa^2}\sinh^2\kappa a =1+\left[1+\frac{(\kappa^2-k^2)^2}{4k^2\kappa^2}\right]\sinh^2\kappa a =1+\frac{(k^2+\kappa^2)^2}{4k^2\kappa^2}\sinh^2\kappa a .

Finally, k2+κ2=2mV0/ℏ2k^2+\kappa^2=2mV_0/\hbar^2 and k2κ2=(2m/ℏ2)2E(V0−E)k^2\kappa^2=(2m/\hbar^2)^2E(V_0-E), so the ratio is V02/(4E(V0−E))V_0^2/(4E(V_0-E)).

One point deserves clarification. We saw that a single real exponential carries zero current, and transmission beyond a step was zero. How, then, can the barrier transmit a non-zero current? The answer is that, inside the barrier, the wavefunction is a combination of the two exponentials, with complex coefficients. A direct calculation gives, for φ=Aeκx+Be−κx\phi=Ae^{\kappa x}+Be^{-\kappa x},

j=ℏmIm⁡(φ∗φ′)=2ℏκmIm⁡(AB∗),j=\frac{\hbar}{m}\operatorname{Im}(\phi^*\phi')=\frac{2\hbar\kappa}{m}\operatorname{Im}(AB^*),

which is non-zero whenever AA and BB do not have the same phase. The matching conditions impose precisely the combination that carries the transmitted current: there is no contradiction with the step, where the growing exponential was excluded.

6.3. Thick barrier and orders of magnitude

When the barrier is thick compared with the penetration length, κa≫1\kappa a\gg1, we may approximate sinh⁡κa≃eκa/2\sinh\kappa a\simeq e^{\kappa a}/2, and the term 11 becomes negligible in (6). This leaves

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

The prefactor is of order unity: everything is controlled by the exponential. This can be understood simply: the amplitude of the evanescent wave is reduced by a factor e−κae^{-\kappa a} in crossing the barrier, and the probability by a factor e−2κae^{-2\kappa a}.

This exponential dependence makes tunnelling extraordinarily sensitive to the width of the barrier and the mass of the particle. Consider an electron and a barrier exceeding its energy by V0−E=1V_0-E=1 eV. We find 1/κ≈0.21/\kappa\approx0.2 nm. For a barrier of 11 nm, e−2κa≈4×10−5e^{-2\kappa a}\approx4\times10^{-5}; for a barrier of 22 nm, it falls to about 10−910^{-9}: doubling the width reduces the transmission by several tens of thousands. For a proton, κ\kappa is multiplied by mp/me≈43\sqrt{m_p/m_e}\approx43, and the transmission through the 11 nm barrier becomes of order e−440e^{-440}, entirely negligible. Tunnelling is therefore a phenomenon of light particles and atomic distances. It underlies the scanning tunnelling microscope, whose current varies by an order of magnitude for a tip displacement of about one ångström, and it also explains α\alpha radioactivity, in which an α\alpha particle crosses the Coulomb barrier of the nucleus.

One point of interpretation bears emphasis. It is sometimes said that the particle temporarily “borrows” energy to cross the barrier. This picture is misleading: the Hamiltonian is time-independent, the state is stationary, and the energy is EE on both sides of the barrier. Tunnelling is a direct consequence of the wave nature of the wavefunction and the continuity imposed by the matching conditions.

6.4. Above the barrier

For E>V0E>V_0, the barrier region is classically allowed, with wavenumber q=2m(E−V0)/ℏq=\sqrt{2m(E-V_0)}/\hbar. The solution there is Aeiqx+Be−iqxAe^{iqx}+Be^{-iqx}, and the preceding calculation remains valid if κ\kappa is replaced by iqiq. Since sinh⁡(iqa)=isin⁡(qa)\sinh(iqa)=i\sin(qa) and κ2=−q2\kappa^2=-q^2, we obtain

T=[1+V024E(E−V0) sin⁡2(qa)]−1.T=\left[1+\frac{V_0^2}{4E(E-V_0)}\,\sin^2(qa)\right]^{-1}.

The transmission is not equal to one, as it would be classically, but oscillates with energy. It becomes perfect, T=1T=1, when qa=nπqa=n\pi with n≥1n\geq1, that is, when the width of the barrier contains an integer number of half-wavelengths: the waves reflected from the two edges of the barrier then interfere destructively. This is the same interference mechanism as in an anti-reflection coating, and a further illustration of the rules for adding amplitudes seen in Theme 1. At the threshold E=V0E=V_0, the solution inside the barrier is affine; taking the limit in either formula, with sinh⁡κa≃κa\sinh\kappa a\simeq\kappa a, gives

T=[1+mV0a22ℏ2]−1.T=\left[1+\frac{mV_0a^2}{2\hbar^2}\right]^{-1}.

6.5. An application: flash memory

Tunnelling is not merely a laboratory curiosity: it lies at the heart of the flash memory in our USB drives, phones and solid-state drives. A flash-memory cell contains a region capable of storing electric charge, separated from the rest of the transistor by an insulating layer a few nanometres thick, which acts as a potential barrier for electrons. To write or erase, a control voltage is applied that deforms the barrier and makes it sufficiently probable for electrons to cross by tunnelling. Once the voltage is removed, the barrier returns to its original shape, transmission becomes negligible again, and the charge remains trapped for years, even without a power supply. The stored charge changes the voltage required to make the transistor conduct, allowing the information to be read.

Our square barrier explains the principle: a modest change in the barrier changes the transmission by several orders of magnitude, making both rapid writing and very long retention possible. In the real device, the electric field makes the barrier triangular rather than rectangular, and charge may be stored in an isolated gate or in traps in the material; formula (6) therefore does not directly give the current through a cell. But the quantum mechanism that allows electrons to cross the insulator is indeed the one we have just calculated2.

Note 2: For the operation of a NAND cell and the role of stored charge, see the presentation by the manufacturer KIOXIA, NAND Flash Memory[1].

7. Extension to three dimensions

7.1. Separation of variables

In three dimensions, the stationary equation becomes a partial differential equation:

−ℏ22m(∂2φ∂x2+∂2φ∂y2+∂2φ∂z2)+V(x,y,z) φ=E φ.-\frac{\hbar^2}{2m}\left(\frac{\partial^2\phi}{\partial x^2}+\frac{\partial^2\phi}{\partial y^2}+\frac{\partial^2\phi}{\partial z^2}\right)+V(x,y,z)\,\phi=E\,\phi .

It is generally much more difficult to solve than in one dimension. There is, however, one case that reduces directly to the preceding results: when the potential is a sum of three terms, each depending on only one coordinate, V=Vx(x)+Vy(y)+Vz(z)V=V_x(x)+V_y(y)+V_z(z), and the boundary conditions are themselves separable. We then seek solutions in the form of a product

φ(x,y,z)=u(x) v(y) w(z).\phi(x,y,z)=u(x)\,v(y)\,w(z).

Substitution and division by uvwuvw wherever this product does not vanish gives

1u(−ℏ22mu"+Vxu)+1v(−ℏ22mv"+Vyv)+1w(−ℏ22mw"+Vzw)=E.\frac{1}{u}\Bigl(-\frac{\hbar^2}{2m}u"+V_xu\Bigr) +\frac{1}{v}\Bigl(-\frac{\hbar^2}{2m}v"+V_yv\Bigr) +\frac{1}{w}\Bigl(-\frac{\hbar^2}{2m}w"+V_zw\Bigr)=E .

The first term depends only on xx, the second only on yy and the third only on zz. Since their sum is constant for all values of xx, yy and zz, each of them must be constant; denote these constants by ExE_x, EyE_y and EzE_z, with E=Ex+Ey+EzE=E_x+E_y+E_z. This gives three one-dimensional stationary equations, which we know how to solve. To assert that these products provide a basis for all states, each of the three families of solutions must also be complete, as will be the case in the example below.

Remark 2 (Separating the problem does not factorise every state)
Even when the Hamiltonian separates, a general state is not a product: it is a superposition of products. In particular, when an energy is degenerate, a combination of several products with the same energy is still an eigenstate, without being factorisable. Moreover, a separable potential is not sufficient: if the boundary of the domain couples the coordinates, as for a spherical or pyramidal box, separation in Cartesian coordinates fails. The geometry of the boundary conditions is part of the problem.

7.2. The rectangular box

Consider a particle confined in the box 0<x<Lx0<x<L_x, 0<y<Ly0<y<L_y, 0<z<Lz0<z<L_z, with zero potential inside and infinite walls (Figure 9). The wavefunction must vanish on all six faces. Each of the three functions uu, vv, ww must therefore vanish at both ends of its interval, and the results for the infinite well apply in each direction.

Rectangular box with homogeneous Dirichlet conditions on all six faces. This geometry allows the three coordinates to be separated.
Figure 9. Rectangular box with homogeneous Dirichlet conditions on all six faces. This geometry allows the three coordinates to be separated.
Proposition 4 (Spectrum of a rectangular box)
An orthonormal basis of eigenstates is given by φnxnynz(x,y,z)=8LxLyLz sin⁡(nxπxLx)sin⁡(nyπyLy)sin⁡(nzπzLz),nx,ny,nz≥1,\phi_{n_xn_yn_z}(x,y,z)= \sqrt{\frac{8}{L_xL_yL_z}}\, \sin\Bigl(\frac{n_x\pi x}{L_x}\Bigr) \sin\Bigl(\frac{n_y\pi y}{L_y}\Bigr) \sin\Bigl(\frac{n_z\pi z}{L_z}\Bigr), \qquad n_x,n_y,n_z\geq1,

with energies

Enxnynz=ℏ2π22m(nx2Lx2+ny2Ly2+nz2Lz2).E_{n_xn_yn_z}=\frac{\hbar^2\pi^2}{2m} \left(\frac{n_x^2}{L_x^2}+\frac{n_y^2}{L_y^2}+\frac{n_z^2}{L_z^2}\right).

Proof.
Each second derivative acts only on the sine in its own variable, multiplying it by the square of its wavenumber. The Hamiltonian therefore multiplies the product by the sum of the three one-dimensional energies. Each factor vanishes on the two corresponding faces, giving the Dirichlet condition on the whole boundary. The integral of the squared modulus factorises into three integrals, equal to Lx/2L_x/2, Ly/2L_y/2 and Lz/2L_z/2, which gives the normalisation constant; orthogonality factorises in the same way. Finally, completeness follows from that of the sine series in each of the three variables.

For a cube of side LL, set ε0=ℏ2π2/(2mL2)\varepsilon_0=\hbar^2\pi^2/(2mL^2). The ground level (1,1,1)(1,1,1) has energy 3ε03\varepsilon_0, and is unique. The first excited level has energy 6ε06\varepsilon_0, and is attained by the three states (2,1,1)(2,1,1), (1,2,1)(1,2,1) and (1,1,2)(1,1,2): it is threefold degenerate. This degeneracy is a direct consequence of the symmetry of the cube, which makes the three directions equivalent; it disappears if the box is elongated in one direction. Thus, the non-degeneracy proved on the real line does not generalise to higher dimensions.

7.3. Quantum dots and other geometries

Nanotechnology makes it possible to produce genuine “boxes” for electrons: quantum dots. These are devices ranging from a few nanometres to a few tens of nanometres in size, in which the motion of electrons is confined in all three directions. Confinement may be produced by interfaces between two semiconductor materials, by electrodes that create an electrostatic potential, or simply by the small size of a nanocrystal. As in our model, the electrons occupy discrete levels whose spacing increases as the size decreases; this makes it possible to tune the colour of the light emitted by nanocrystals by varying their size.

The rectangular-box model already explains the appearance of these levels and their 1/L21/L^2 dependence. For a quantitative comparison with a real dot, one would have to specify the exact shape of the confining potential, which need not be a cube with infinite walls, replace the mass of the electron by its effective mass in the material, and take interactions between electrons into account. Two neighbouring dots, coupled by tunnelling, also realise the two-site model; in Lesson 11 we shall see how to prepare a charge in one dot and observe its transfer to the other.

For a domain D\mathcal D of arbitrary shape, the problem remains a Dirichlet problem,

−ℏ22m∇2φ=E φin D,φ=0on the boundary ∂D,-\frac{\hbar^2}{2m}\nabla^2\phi=E\,\phi\quad\text{in }\mathcal D, \qquad \phi=0\quad\text{on the boundary }\partial\mathcal D,

but its eigenvalues depend on the geometry. A sphere or cylinder still permits separation of variables in suitable coordinates; a more general shape usually requires a numerical calculation. Likewise, a central potential, which depends only on the distance from a point, requires separation in spherical coordinates: the hydrogen atom will provide an example in Lesson 8. Before that, however, the harmonic oscillator will show us that a spectrum can also be calculated by purely algebraic means, without solving a differential equation level by level.

8. References