Appendix
C.
Solutions
to
odd-numbered
exercises
555
(b)
Suppose
u
is a
solution
to
(6.21).
Then
The
last
step
follows from the
periodic boundary conditions.
(c)
The
negative second derivative operator, subject
to
boundary conditions,
has a
nontrivial
null space, namely,
the
space
of all
constant
functions
on
(—i,i).
In
analogy
to the
Predholm
alternative
for
symmetric matrices,
we
would expect
a
solution
to the
boundary value problem
to
exist
if and
only
if the
right-hand-
side
function
is
orthogonal
to
this
null
space. This condition
is
Thus
Gx = 0
implies
that
the
vector
or
simply
Section
6.4
1.
We
give
the
proof
for
the
general case
of a
Gram matrix
G.
Suppose
Gx = 0,
where
x €
R
n
.
Then
(x, Gx) = 0
must hold,
and
Appendix
C.
Solutions
to
odd-numbered exercises
555
(b) Suppose U is a solution
to
(6.21).
Then
I
t
1£
0
2
f(x)
dx =
-K,
ax~
(x,
t)
dx
-i
-i
[
aU
] l
=
-K,
-(x,t)
ax
-l
(
aU
aU)
=K,
ax(-l,t)-
ax(l,t)
=0.
The
last step follows from
the
periodic boundary conditions.
(c)
The
negative second derivative operator, subject
to
boundary
conditions, has a
nontrivial null space, namely,
the
space of all constant functions on
(-l,
l).
In
analogy
to
the
Fredholm alternative for symmetric matrices,
we
would expect
a solution
to
the
boundary value problem
to
exist
if
and
only if
the
right-hand-
side function
is
orthogonal
to
this null space. This condition is
or simply
Section 6.4
I:
cf(x)
dx = 0 for all c E
R,
t
f(x)dx
=
o.
J-
l
1. We give
the
proof for
the
general case of a
Gram
matrix
G. Suppose
Gx
=
0,
where
x
ERn.
Then
(x,
Gx)
= 0 must hold,
and
n n n
(x,
Gx)
=
Z)GX)iXi
= L L
GijXjXi
i=1
Thus
Gx
= 0 implies
that
the
vector
n
i=1
j=1
n n
i=1
j=1
=
~
(tXjUj,Ui)
Ui
(t
XjUj,
~
XiUi)
n
=
LXjUj
j=1
2
LXjUj
j=1