Strauss PDEch 4 S 1 P 3
Strauss PDEch 4 S 1 P 3
Strauss PDEch 4 S 1 P 3
1 - Exercise 3 Page 1 of 4
Exercise 3
A quantum-mechanical particle on the line with an infinite potential outside the interval (0, l)
(“particle in a box”) is given by Schrödinger’s equation ut = iuxx on (0, l) with Dirichlet
conditions at the ends. Separate the variables and use (8) to find its representation as a series.
Solution
ut = iuxx , 0<x<l
u(0, t) = 0
u(l, t) = 0.
u(x, 0) = φ(x)
Since the Schrödinger equation and its boundary conditions are linear and homogeneous, the
method of separation of variables can be applied to solve it. Assume a product solution of the
form, u(x, t) = X(x)T (t), and plug it into the PDE
ut = iuxx → XT 0 = iX 00 T
T0 X 00
= =k
iT X
Values of k for which X(0) = 0 and X(l) = 0 are satisfied are called the eigenvalues, and the
nontrivial functions X(x) associated with them are called the eigenfunctions.
www.stemjock.com
Strauss PDEs 2e: Section 4.1 - Exercise 3 Page 2 of 4
X 00
= µ2 .
X
Multiply both sides by X.
X 00 = µ2 X
The general solution can be written in terms of hyperbolic sine and hyperbolic cosine.
X(0) = C1 = 0
X(l) = C1 cosh µl + C2 sinh µl = 0
We see that C1 = 0 and C2 = 0. Hence, only the trivial solution X(x) = 0 results from
considering positive values for k, and there are no positive eigenvalues.
X 00
= 0.
X
Multiply both sides by X.
X 00 = 0
The general solution is a linear function.
X(x) = C3 x + C4
X(0) = C4 = 0
X(l) = C3 l + C4 = 0
We see that C3 = 0 and C4 = 0. Hence, only the trivial solution X(x) = 0 results from
considering k = 0, and zero is not an eigenvalue.
X 00
= −λ2 .
X
Multiply both sides by X.
X 00 = −λ2 X
www.stemjock.com
Strauss PDEs 2e: Section 4.1 - Exercise 3 Page 3 of 4
www.stemjock.com
Strauss PDEs 2e: Section 4.1 - Exercise 3 Page 4 of 4
Therefore,
∞
n2 π 2 nπx
An e−i t
X
u(x, t) = l2 sin .
l
n=1
The final task is to use Fourier’s method and the initial condition to determine An .
∞
X nπx
u(x, 0) = An sin = φ(x)
l
n=1
Integrate both sides with respect to x over the domain the PDE is defined.
ˆ lX
∞ ˆ l
nπx mπx mπx
An sin sin dx = φ(x) sin dx
0 n=1 l l 0 l
as can be verified with trigonometric identities. This implies that every term in the infinite series
vanishes except for the n = m term.
ˆ l
l nπx
An · = φ(x) sin dx
2 0 l
www.stemjock.com