This version keeps the full mathematical derivation but explains every algebraic step, clarifies the power-series (polynomial) argument, and uses explicit derivative calculations so the origin of the quantization condition is transparent. All mathematics is written in LaTeX inside HTML blocks.
The time-independent Schrödinger equation for an electron (mass m, charge \(-e\)) in the Coulomb potential of a proton fixed at the origin is
\[ -\frac{\hbar^2}{2m}\nabla^2\Psi(\mathbf r) + V(r)\,\Psi(\mathbf r) = E\,\Psi(\mathbf r), \]
with
\[ V(r) = -\frac{e^2}{4\pi\varepsilon_0\,r}. \]
Tutor note: Because \(V\) depends only on \(r\), spherical coordinates are the natural choice: \((r,\theta,\phi)\).
The Laplacian is
\[ \nabla^2 = \frac{1}{r^2}\frac{\partial}{\partial r}\!\left(r^2\frac{\partial}{\partial r}\right) + \frac{1}{r^2\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\frac{\partial}{\partial\theta}\right) + \frac{1}{r^2\sin^2\theta}\frac{\partial^2}{\partial\phi^2}. \]
Plugging into Schrödinger's equation gives
\[ -\frac{\hbar^2}{2m}\!\left[ \frac{1}{r^2}\frac{\partial}{\partial r}\!\left(r^2\frac{\partial\Psi}{\partial r}\right) + \frac{1}{r^2\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\frac{\partial\Psi}{\partial\theta}\right) + \frac{1}{r^2\sin^2\theta}\frac{\partial^2\Psi}{\partial\phi^2} \right] - \frac{e^2}{4\pi\varepsilon_0 r}\Psi = E\Psi. \]
Assume a product solution
\[ \Psi(r,\theta,\phi)=R(r)\,Y(\theta,\phi). \]
Substitute and divide by \(RY\). Re-arrange terms so the \(r\)-dependent part is separated from the \((\theta,\phi)\)-part:
\[ -\frac{\hbar^2}{2m}\frac{1}{R r^2}\frac{d}{dr}\!\left(r^2\frac{dR}{dr}\right) - \frac{e^2}{4\pi\varepsilon_0 r} + \underbrace{\left[-\frac{\hbar^2}{2m}\frac{1}{Y r^2\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\frac{\partial Y}{\partial\theta}\right) - \frac{\hbar^2}{2m}\frac{1}{Y r^2\sin^2\theta}\frac{\partial^2 Y}{\partial\phi^2}\right]}_{\text{angular}/r^2} = E. \]
Multiply by \(2m/\hbar^2\) and move the angular piece to one side. The only way a function of \(r\) plus a function of \((\theta,\phi)\) equals a constant for all coordinates is if each piece equals its own constant. Introduce the separation constant \(\ell(\ell+1)\).
The angular equation becomes the spherical-harmonic eigenvalue problem, giving the spherical harmonics \(Y_\ell^m(\theta,\phi)\) with eigenvalue \(\ell(\ell+1)\). Allowed quantum numbers:
The radial equation after separation is
\[ -\frac{\hbar^2}{2m}\frac{1}{r^2}\frac{d}{dr}\!\left(r^2\frac{dR}{dr}\right) + \left[\frac{\hbar^2}{2m}\frac{\ell(\ell+1)}{r^2} - \frac{e^2}{4\pi\varepsilon_0 r}\right]R = E R. \]
This looks messy because of the \(r^2\)-operator. A standard simplification is to define
\[ u(r) \equiv r\,R(r). \]
We will compute derivatives of \(R(r)\) in terms of \(u(r)\) step-by-step (this is where many students trip up):
So the radial kinetic term simplifies:
\[ \frac{1}{r^2}\frac{d}{dr}\!\left(r^2\frac{dR}{dr}\right) = \frac{1}{r^2}\big(r\,u''(r)\big) = \frac{u''(r)}{r}. \]
Multiply by \(-\dfrac{\hbar^2}{2m}\) and combine with the rest of the radial equation; after multiplying both sides by \(r\) we obtain a 1D-like equation for \(u(r)\):
\[ -\frac{\hbar^2}{2m}\,u''(r) + \left[\frac{\hbar^2}{2m}\frac{\ell(\ell+1)}{r^2} - \frac{e^2}{4\pi\varepsilon_0 r}\right]u(r) = E\,u(r). \]
Key point: transforming to \(u=rR\) removes the first-derivative \(r^2\) term and yields a simpler second-order ODE.
We analyse limits to pick a good ansatz for \(u(r)\):
Combine these behaviours by writing
\[ \boxed{u(r) = r^{\ell+1} e^{-\kappa r}\,v(r),} \]
where \(v(r)\) is expected to be a function that does not blow up at \(0\) or \(\infty\). We will show \(v\) must be a polynomial for normalizable bound states.
We need \(u''(r)\). Compute step-by-step. Let \(f(r)=r^{\ell+1}\) and \(g(r)=e^{-\kappa r}\), so \(u = f g v\). Use product rule twice.
First derivative:
\[ u' = (f' g + f g')v + f g v'. \]
Compute the pieces:
So
\[ u' = \big((\ell+1)r^\ell g - \kappa r^{\ell+1} g\big)v + r^{\ell+1} g v'. \]
Second derivative \(u''\) — differentiate the three terms carefully (we show the grouped structure to keep track):
\[ u'' = \frac{d}{dr}\Big[(\ell+1)r^\ell g\,v\Big] - \frac{d}{dr}\Big[\kappa r^{\ell+1} g\,v\Big] + \frac{d}{dr}\Big[r^{\ell+1} g\,v'\Big]. \]
We expand each derivative (we keep the algebra readable; every derivative is a product of simple factors). After expanding and simplifying (collecting like terms in \(v,v',v''\)), one obtains a linear differential equation of the form
\[ u'' = e^{-\kappa r} r^{\ell-1}\Big\{ \text{(polynomial in }r\text{)}\cdot v + \text{(polynomial in }r\text{)}\cdot v' + r^2\cdot v'' \Big\}. \]
Instead of carrying every algebraic term here, we focus on the standard re-arranged form for \(v\) after dividing out the common factor \(e^{-\kappa r} r^{\ell-1}\) — the final differential equation for \(v(r)\) is
\[ r\,v''(r) + 2(\ell+1 - \kappa r)\,v'(r) + \big[\,2\kappa(\ell+1) - \frac{2m e^2}{4\pi\varepsilon_0\hbar^2} - 2\kappa^2 r\,\big]v(r) = 0. \]
Explanation: each derivative step yields terms proportional to \(v\), \(v'\) and \(v''\). Grouping by powers of \(r\) and dividing common exponential and power factors gives the above form.
Introduce the dimensionless coordinate
\[ \rho \equiv 2\kappa r. \]
Then derivatives transform as
\[ \frac{d}{dr} = \frac{d\rho}{dr}\frac{d}{d\rho} = 2\kappa \frac{d}{d\rho},\qquad \frac{d^2}{dr^2} = (2\kappa)^2\frac{d^2}{d\rho^2}. \]
Substitute into the \(v\)-equation and simplify — after dividing through by \(2\kappa\) factors you arrive at the standard associated Laguerre form:
\[ \rho\,\frac{d^2 v}{d\rho^2} + (2\ell + 2 - \rho)\,\frac{dv}{d\rho} + \bigg(\frac{m e^2}{2\pi\varepsilon_0\hbar^2\kappa} - (\ell+1)\bigg)\,v = 0. \]
Define the constant (call it \(\alpha\))
\[ \alpha \equiv \frac{m e^2}{2\pi\varepsilon_0\hbar^2\kappa}. \]
Then the equation becomes
\[ \rho\,v'' + (2\ell+2 - \rho)\,v' + (\alpha - \ell - 1)\,v = 0. \]
The differential equation
\[ \rho\,v'' + (b - \rho)\,v' + a\,v = 0 \]
is Kummer's (confluent hypergeometric) equation in one of its forms. Here \(b = 2\ell+2\) and \(a = \alpha - \ell - 1\). Regular solutions that are finite at \(\rho=0\) are confluent hypergeometric functions \( {}_1F_1(-n_r; b; \rho) \). These become polynomials (generalized Laguerre polynomials) only if the parameter \(a\) is a nonnegative integer (or negative integer depending on conventions). Concretely, the series for \(v(\rho)\) terminates iff \(a=-n_r\) for some integer \(n_r\ge 0\).
So we require
\[ \alpha - \ell - 1 = -n_r \qquad\text{with } n_r=0,1,2,\dots \]
Rearrange:
\[ \alpha = n_r + \ell + 1. \]
Recall \(\alpha = \dfrac{m e^2}{2\pi\varepsilon_0\hbar^2\kappa}\). Substitute the expression for \(\alpha\):
\[ \frac{m e^2}{2\pi\varepsilon_0\hbar^2\kappa} = n_r + \ell + 1. \]
Define the principal quantum number \(n\) by
\[ \boxed{n = n_r + \ell + 1, \qquad n=1,2,3,\dots} \]
so that
\[ \kappa = \frac{m e^2}{2\pi\varepsilon_0\hbar^2\,n}. \]
But recall the Bohr radius
\[ a_0 \equiv \frac{4\pi\varepsilon_0 \hbar^2}{m e^2}. \]
Invert to express \(\dfrac{m e^2}{2\pi\varepsilon_0\hbar^2} = \dfrac{2}{a_0}\). Thus
\[ \kappa = \frac{1}{n a_0}. \]
We used \(E = -\dfrac{\hbar^2\kappa^2}{2m}\). Substitute \(\kappa = 1/(n a_0)\):
\[ \boxed{E_n = -\frac{\hbar^2}{2m}\frac{1}{n^2 a_0^2} = -\frac{m e^4}{2(4\pi\varepsilon_0)^2\hbar^2}\,\frac{1}{n^2}.} \]
Numerically, \(E_n = -\dfrac{13.605693\ \text{eV}}{n^2}\).
From the polynomial termination condition we found \(a = -n_r\). Therefore \(v(\rho)\) is proportional to the generalized (associated) Laguerre polynomial:
\[ v(\rho) \propto L_{n_r}^{(2\ell+1)}(\rho). \]
Recall \(n_r = n - \ell - 1\). Thus the radial function \(R_{n\ell}(r)\) with \(\rho=2r/(n a_0)\) is
\[ \boxed{R_{n\ell}(r) = N_{n\ell}\,\rho^\ell e^{-\rho/2} L_{n-\ell-1}^{(2\ell+1)}(\rho),\qquad \rho=\frac{2r}{n a_0},} \]
where \(N_{n\ell}\) is the normalization constant. The termination of the power series is the crucial quantization step — if the series did not terminate we would get functions that grow like \(e^{+\rho}\) at infinity and are not normalizable.
The standard normalized radial factor is
\[ \boxed{R_{n\ell}(r) = \sqrt{\left(\frac{2}{n a_0}\right)^3 \frac{(n-\ell-1)!}{2n\,(n+\ell)!}} \;\rho^{\ell} e^{-\rho/2} L_{n-\ell-1}^{(2\ell+1)}(\rho).} \]
The full, normalized eigenfunctions are
\[ \boxed{\Psi_{n\ell m}(r,\theta,\phi) = R_{n\ell}(r)\,Y_\ell^m(\theta,\phi).} \]
Important conceptual point: The quantization arises because the radial function \(v(\rho)\) must be a polynomial (generalized Laguerre) so that the full radial wavefunction decays at infinity. That polynomial condition forces \(\alpha - \ell -1 = -n_r\), which produces integer \(n\) and the discrete energy spectrum.
For \(n=1,\ell=0,m=0\):
\[ R_{10}(r) = 2\left(\frac{1}{a_0}\right)^{3/2} e^{-r/a_0}, \qquad \Psi_{100}(r,\theta,\phi) = \frac{1}{\sqrt{\pi a_0^3}} e^{-r/a_0}. \]
Energy: \(E_1 = -13.605693\ \text{eV}.\)
Parting tutor note: The algebraic steps that often seem mysterious are (1) the transformation \(u=rR\) which removes the first-derivative clutter, and (2) the ansatz \(u=r^{\ell+1}e^{-\kappa r}v(r)\) which encodes near-zero and large-\(r\) behaviors. The polynomial termination condition for \(v(\rho)\) is the mechanism that converts a continuous parameter \(\kappa\) into discrete allowed values and therefore quantized energies.
Definition: Quantum Tunneling is a phenomenon where a particle passes through a potential energy barrier that it classically could not surmount because its total energy ($E$) is less than the potential height of the barrier ($V_0$).
Fig 1: Classical particle is blocked (top), while Quantum wavefunction penetrates the barrier (bottom).
The mathematical explanation lies in the solution to the Schrödinger equation inside the barrier region ($0 < x < a$).
The wave function in this region is given by:
$$ \psi(x) = C e^{-\kappa x} $$
Where the decay constant is $\kappa = \frac{\sqrt{2m(V_0 - E)}}{\hbar}$.
Key Concept: The wave function decays exponentially but does not reach zero immediately. This "leaking" of the wave function allows probability amplitude to exist on the other side of the barrier.
The probability of tunneling depends on:
Problem Statement: Consider a particle of mass $m$ and energy $E$ approaching a one-dimensional rectangular potential barrier of height $V_0$ and width $a$ (where $0 < x < a$). We consider the case where the particle's energy is less than the barrier height ($E < V_0$).
The potential $V(x)$ is defined as:
$$ V(x) = \begin{cases} 0 & \text{for } x < 0 \quad (\text{Region I}) \\ V_0 & \text{for } 0 < x < a \quad (\text{Region II}) \\ 0 & \text{for } x > a \quad (\text{Region III}) \end{cases} $$
In these regions, $V(x) = 0$. The Time-Independent Schrödinger Equation is:
$$ \frac{d^2\psi}{dx^2} + \frac{2mE}{\hbar^2}\psi = 0 $$
Let $k^2 = \frac{2mE}{\hbar^2}$. The equation becomes:
$$ \frac{d^2\psi}{dx^2} + k^2\psi = 0 \quad \dots(1) $$
In this region, $V(x) = V_0$. Since $E < V_0$, the term $(E - V_0)$ is negative. We rewrite the equation as:
$$ \frac{d^2\psi}{dx^2} - \frac{2m(V_0 - E)}{\hbar^2}\psi = 0 $$
Let $\kappa^2 = \frac{2m(V_0 - E)}{\hbar^2}$ (where $\kappa$ is real). The equation is:
$$ \frac{d^2\psi}{dx^2} - \kappa^2\psi = 0 \quad \dots(2) $$
The wave function $\psi$ and its derivative $\frac{d\psi}{dx}$ must be continuous at boundaries $x=0$ and $x=a$.
At $x = 0$:
At $x = a$:
The Transmission Coefficient is $T = \frac{|F|^2}{|A|^2}$. We need to express $A$ in terms of $F$.
From equations (5) and (6), we can isolate $C$ and $D$:
$$ 2C e^{\kappa a} = \left( 1 + \frac{ik}{\kappa} \right) F e^{ika} \implies C = \frac{F}{2} \left( 1 + \frac{ik}{\kappa} \right) e^{ika} e^{-\kappa a} $$
$$ 2D e^{-\kappa a} = \left( 1 - \frac{ik}{\kappa} \right) F e^{ika} \implies D = \frac{F}{2} \left( 1 - \frac{ik}{\kappa} \right) e^{ika} e^{\kappa a} $$
From equations (3) and (4), we can solve for $A$: $$ 2A = C\left(1 - i\frac{\kappa}{k}\right) + D\left(1 + i\frac{\kappa}{k}\right) $$
Substituting the values of $C$ and $D$ derived above:
$$ \frac{A}{F} e^{-ika} = \frac{1}{4} \left[ \left(1 + \frac{ik}{\kappa}\right)\left(1 - \frac{i\kappa}{k}\right) e^{-\kappa a} + \left(1 - \frac{ik}{\kappa}\right)\left(1 + \frac{i\kappa}{k}\right) e^{\kappa a} \right] $$
Simplifying the bracketed terms and grouping by Real and Imaginary parts using hyperbolic functions ($\cosh \kappa a$ and $\sinh \kappa a$):
$$ \frac{A}{F} e^{-ika} = \cosh(\kappa a) - i \frac{k^2 - \kappa^2}{2k\kappa} \sinh(\kappa a) $$
$$ \left| \frac{A}{F} \right|^2 = \cosh^2(\kappa a) + \left( \frac{k^2 - \kappa^2}{2k\kappa} \right)^2 \sinh^2(\kappa a) $$
Using $\cosh^2 x = 1 + \sinh^2 x$ and substituting $k^2 = \frac{2mE}{\hbar^2}$ and $\kappa^2 = \frac{2m(V_0 - E)}{\hbar^2}$, we get:
$$ \frac{1}{T} = 1 + \frac{V_0^2}{4E(V_0 - E)} \sinh^2(\kappa a) $$
Final Result: The Transmission Coefficient is given by: $$ T = \left[ 1 + \frac{V_0^2}{4E(V_0 - E)} \sinh^2(\kappa a) \right]^{-1} $$
Time Remaining: 900s