
Exercises 233
According to
the d’Alambert’s formula (2.1.4), the solution of this Cauchy problem has the
form
u(x,t) = A sin
πx
l
cos
aπt
l
.
It
is
easy to check that this function also is the solution of problem 6.2.10:1.
6.2.11. Solve the following problem in the domain −∞ < x < ∞, t ≥ 0 :
u
tt
= a
2
u
xx
, u(x,0) = f (x), u
t
(x,0) = −a f
0
(x),
where f is a smooth function (see fig. 6.2.1).
6
-
6
-
3
u
x
u
x
t
u(x,t)
= f (
x −at)
Figure
6.2.1.
2.
Method of separation of variables
Sturm-Liouville problem. Consider the following boundary value problem L
−(k(x)y
0
(x))
0
+ q(x)y(x) = λρ(x)y(x), 0 ≤x ≤l,
h
1
y
0
(0) + hy(0) = H
1
y
0
(l) + Hy(l) = 0,
which is called the Sturm-Liouville problem. Here λ is the spectral parameter, k,q, ρ
are real-valued functions, and h
1
,h, H
1
,H are real numbers. We assume that ρ(x),k(x) ∈
W
1
2
[0,l] (i.e. ρ(x),k(x),ρ
0
(x),k
0
(x) are absolutely continuous functions), q(x) ∈ L(0,l) ,
ρ(x) > 0, k(x) > 0 , and |h
1
|+ |h| > 0 , |H
1
|+ |H| > 0 . We are interested in non-trivial
solutions of the boundary value problem L .
The values of the parameter λ for which L has nonzero solutions are called eigenval-
ues, and the corresponding nontrivial solutions are called eigenfunctions.
It is known that L has a countable set of eigenvalues {λ
n
}
n≥0
, and λ
n
= O(n
2
) as
n → ∞ . For each of these eigenvalues λ
n
there exists only one eigenfunction (up to a