482 Chapter 8
These eigenfunctions can be orthonormalized over the interval I with respect to the weight
function w(x) = 1. The resulting statement of orthonormality reads
a
0
X
n
(x)X
m
(x)dx = δ(n, m)
for n, m = 0, 1, 2, 3,.... Recall, δ(n, m) is the familiar Kronecker delta function.
Since the preceding boundary value problem is a regular Sturm-Liouville problem over the
finite interval I ={x |0 <x<a}, then the eigenfunctions form a “complete” set with respect to
any piecewise smooth function over this interval. Using similar arguments from Section 2.4, if
we assume the solution v(x, t) to be a piecewise smooth function with respect to the variable x
over this interval, then the eigenfunction expansion solution of v(x, t), in terms of the
“complete” set of orthonormalized eigenfunctions X
n
(x), reads
v(x, t) =
∞
n=0
T
n
(t)X
n
(x)
Here, the terms T
n
(t) are the time-dependent Fourier coefficients in the expansion of v(x, t).
To determine the Fourier coefficients, we face having to substitute the series solution for v(x, t)
into the partial differential equation. Thus, we will be differentiating the infinite series, and this
can be a tricky process. Note, however, that the preceding series is an expansion in terms of
eigenfunctions X
n
(x), which satisfy the same boundary conditions as v(x, t). This condition is
in our favor for making the term-by-term differentiation of the series legitimate. Without proof,
it can be simply stated that if v(x, t) and its derivatives with respect to both x and t are
continuous, and if v(x, t) satisfies the same spatial boundary conditions as X
n
(x), then term by
term differentiation of the infinite series is justified.
We now deal with the nonhomogeneous term q(x, t). In a similar manner, if we assume q(x, t)
to be a piecewise smooth function with respect to the variable x over this interval, then the
eigenfunction expansion of q(x, t), in terms of the “complete” set of orthonormalized
eigenfunctions X
n
(x), reads
q(x, t) =
∞
n=0
Q
n
(t)X
n
(x)
Here, the terms Q
n
(t) are the time-dependent Fourier coefficients of q(x, t). Since q(x, t) is
already determined from knowledge of the two functions h(x, t) and s(x, t) as shown earlier,
then we can evaluate the Fourier coefficents Q
n
(t) by taking the inner product of the preceding
with respect to the orthonormal eigenfunctions and the weight function w(x) = 1. Doing so
yields
a
0
q(x, t)X
m
(x)dx =
∞
n=0
Q
n
(t)
⎛
⎝
a
0
X
m
(x)X
n
(x)dx
⎞
⎠