Professional Documents
Culture Documents
is given by
1 √ √
G(x, ξ; λ) = √ sin i −λx< exp − −λx>
i −λ
√
where −λ is the branch of the square root with positive real part and
Solution
where c is a constant.
• We choose c so that
dG
− =1
dx x=ξ
Solution
• The problem is regular since it is posed on a finite interval 1 ≤ x ≤ e
and the coefficient function p(x) = x2 is smooth and nonzero on the
interval (including at the endpoints).
• Any eigenvalue is real and positive (e.g. from the Rayleigh quotient,
since p > 0 and q = 0).
• The equation is a homogeneous Euler equation, so we look for solutions
of the form u(x) = xr . Then
−(x2 u0 )0 = −(rxr+1 )0 = −r(r + 1)xr .
(Alternatively, the substitution t = log x reduces the ODE to a constant
coefficient equation.) We therefore get a solution if −r(r + 1) = λ or
r2 + r + λ = 0,
with roots
1 √
r= −1 ± 1 − 4λ .
2
• If λ < 1/4, then r = r1 , r2 where r1 , r2 are distinct real exponents. The
general solution of the ODE is
u(x) = c1 xr1 + c2 xr2 .
The boundary conditions imply that
c1 + c2 = 0, c1 er1 + c2 er2 = 0.
This linear system is non-singular for r1 6= r2 , so c1 = c2 = 0. It follows
that u = 0 and λ is not an eigenvalue.
• If λ = 1/4, then we get a repeated root r = −1/2. A second linearly
independent solution of the ODE is then given by (log x)xr , and the
general solution is
u(x) = c1 xr + c2 (log x)xr .
The boundary conditions implies that c1 = c2 = 0, so λ = 1/4 is not
an eigenvalue.
p
• If λ > 1/4, then r = −1/2 ± iω where ω = λ − 1/4. We have
xr = x−1/2 x±iω , x±iω = e±iω log x = cos(ω log x) ± i sin(ω log x),
so the general solution of the ODE is
u(x) = c1 x−1/2 cos(ω log x) + c2 x−1/2 sin(ω log x).
Solution
• (a) If λ = 0 then [(1 − x2 )u0 ]0 = 0. Integrating this once, we get
c2
u0 =
1 − x2
where c2 is a constant. Integrating again, we get
1 1 + x
u(x) = c1 + c2 log .
2 1 − x
Thus, a fundamental pair of solutions of the ODE is
1 + x
u1 (x) = 1, u2 (x) = log
.
1 − x
dn+1 2 0
2 dn+2 v dn+1 v dn v
(x − 1)v = (x − 1) + 2(n + 1)x + n(n + 1) .
dxn+1 dxn+2 dxn+1 dxn
Similarly, since all derivatives of x of order greater than or equal to two
are zero, we have
dn+1 dn+1 v dn v
(xv) = x n+1 + (n + 1) n .
dxn+1 dx dx
Hence, differentiating (1) n + 1 times, we get
dn+2 v dn+1 v dn v
(x2 − 1) + 2(n + 1)x + n(n + 1)
dxn+2 dxn+1 dxn
n+1
d v dn v
= 2nx n+1 + 2n(n + 1) n .
dx dx
• Dividing this equation by 2n n! and using the definition of Pn (x), we
find that
which simplifies to
The boundary terms drop out because v and its derivatives of order less
than or equal to n − 1 vanish at the endpoints x = ±1, and (x2 − 1)n
is a polynomial of degree 2n with leading term x2n .
Remark. The Legendre polynomials also arise from the Gram-Schmidt or-
thogonalization of the powers {1, x, x2 , . . . , xn , . . . } in L2 (−1, 1). The expan-
sion of a function f on some finite interval in terms of powers,
f (x) = a0 + a1 x + a2 x2 + · · · + an xn + . . . ,