Professional Documents
Culture Documents
Section 2
Greens Functions
In this section we show how the Greens function may be used to derive a general solution
to an inhomogeneous Boundary Value Problem.
Boundary Value Problems and Linear Superposition
Denition 2.1: A linear boundary value problem (BVP) for an ordinary dierential equa-
tion (ODE) of at least second order, consists of the following:
(a) an unknown function u (x) dened and continuous on an interval x [a, b] where a, b
are real constants and x is a real variable a x b;
(b) an ordinary dierential equation (ODE) for u(x),
Lu (x) = f (x) (2.1)
on (a, b), where L is a dierential operator
L =
N
i=0
a
i
(x)
d
i
dx
i
, N 2 (2.2)
= a
N
(x) u
(N)
(x) + a
N1
(x) u
N1
(x) + . . . + a
1
(x) u
(x) + a
0
(x) u (x)
and f (x) (the forcing function, inhomogeneous term), a
i
(x) (coecients), 0
i N are known functions of x.
(c) N boundary conditions/data (BCs) to be satised by u (x) and/or its derivatives
at x = a, x = b.
Typical BCs are u (a) =
1
, du/dx(b) =
2
etc. where
i
are known numbers. For
given BCs written in some xed order, form the vector
1
, ...,
N
= and call the set
f (x) ; the data.
Solve the BVP in a way that exhibits dependence on the data it is then easy to change
the data. Linearity of (2.1) allows this.
Example 1: Let
x
d
2
u
dx
2
+ 2x
2
du
dx
+ 4u = exp x
on the interval [0, 1] subject to
u (0) = 1,
du
dx
(1) = 2,
then
a = 0, b = 1.
L = x
d
2
dx
2
+ 2x
2
d
dx
+ 4,
f (x) = exp x,
1
= 1,
2
= 2
and the data is exp x; 1, 2.
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 2
Theorem 2.2: This concerns superposition of the data. Let u
1
(x) be a solution for
data
f
1
(x) ;
1
and u
2
(x) be a solution for data
f
2
(x) ;
2
.
Then
Au
1
(x) + Bu
2
(x)
is a solution for the data
Af
1
(x) + Bf
2
(x) ; A
1
+ B
2
k
(x y) =
_
2
k
if [x y[
1
2
k+1
,
0 if [x y[ >
1
2
k+1
,
then the area under each curve is 1 and
(x y) = lim
k
k
(x y) .
Other examples of such sequences are
k
(x y) =
_
k if [x y[
1
2k
,
0 if [x y[ >
1
2k
,
k
(x y) =
1
k
1 + k
2
(x y)
2
,
k
(x y) =
k
exp
_
k
2
(x y)
2
.
Denition 2.4: The Heaviside (unit) step function, H (x y), is dened by
H (x y) =
_
1 if x > y,
0 if x < y.
At x = y, H (0) may be left undened or given some value k, e.g. k = 0,
1
2
, 1.
Proposition 2.5: (a) H
(x y) = (x y) provided x ,= y, where
denotes
d
dx
;
(b) H (x y) =
_
x
yc
(z y) dz for any c > 0.
Proof: (a) Informally - if x ,= y both sides equal zero. If x = y both sides are undened.
A more formal proof is given shortly after the following theorem.
(b) If x < y both sides equal zero. If x > y both sides equal 1.
Theorem 2.6: We can dene the Sifting Property:
_
x+d
xc
f (y) (x y) dy = f (x) ,
for any c, d > 0.
Proof: Integrating the left-hand side by parts, let
u = f (y) ,
dv
dy
= (x y) ,
then
du
dy
= f
(y) , v = H (x y) ,
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 4
and so
_
x+d
xc
f (y) (x y) dy = [H (x y) f (y)]
y=x+d
y=xc
_
x+d
xc
H (x y) f
(y) dy
= H (d) f (x + d) H (c) f (x c) +
_
x+d
xc
H (x y) f
(y) dy.
Now
H (d) = 0, H (c) = 1,
and
H (x y) =
_
1 if x c y < x,
0 if x < y x + d.
Hence
_
x+d
xc
f (y) (x y) dy = f (x c) +
_
x
xc
f
(y) dy
= f (x c) + [f (y)]
x
xc
= f (x) .
Note: Employing the usual inner product for two real functions, f and g say:
g, f) =
_
b
a
f (x) g (x) dx
for a < x < b, we may write
(x y) , f (y)) = f (y) , (x y)) = f (x) . (2.3)
We can now prove Proposition 2.5(a) more formally. Indeed for a function (x) with
sucient decay at innity, we have, initially using integration by parts
H
(x)),
=
_
0
(x)dx,
= (0)
where we used the fundamental theorem of calculus. Finally we know that
(0) = (x), (x))
and therefore we must have H
(x) = (x).
Greens function
Example 3: Take the BVP
x
d
2
u
dx
2
+ 2x
2
du
dx
+ 4u = f(x),
u (a) = 2,
du
dx
(b) = 1.
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 5
Let G(x, y) be a function of two variables x, y and apply the dierential operator L to
G(x, y). Write
L
x
G(x, y) =
_
x
d
2
dx
2
+ 2x
2
d
dx
+ 4
_
G(x, y)
to emphasise that L acts on G as a function of x (i.e. dierentiate with respect to (w.r.t.)
x) and that y is a parameter. Then G(x, y) satises the BVP with homogeneous BCs:
L
x
G(x, y) = (x y), y [a, b],
G(a, y) = 0,
dG
dx
(b, y) = 0.
Denition 2.7: A Greens function G(x, y) for any BVP satises the equation
L
x
G(x, y) = (x y) , (2.4)
for some operator L
x
with homogeneous BCs, i.e. it is the solution corresponding to the
data (x y) ; 0.
Thus, G(x, y) is the response, under homogeneous BCs, to a forcing function consisting
of a concentrated unit impulse (or inhomogeneity) at x = y.
Theorem 2.8: Let G(x, y) be known for a homogeneous BVP (2.4), then the solution to
the inhomogeneous equation
Lu (x) = f (x) ,
where f (x) is a given function, subject to homogeneous boundary conditions, may be writ-
ten
u (x) =
_
b
a
G(x, y) f (y) dy.
Proof: Dierentiating under the integral sign
Lu (x) =
_
b
a
L
x
G(x, y) f (y) dy
or by (2.4)
=
_
b
a
(x y) f (y) dy
and hence using (2.3)
= f (x) .
Let us now show how construction of a Greens function is achieved for a specic example.
Example 4: Find the general solution (i.e. the solution for arbitrary f (x)) of
Lu (x) = f (x) (2.5)
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 6
in the case where
L =
d
2
dx
2
subject to the BCs u (0) = u
(1) = 0.
To nd the general solution we know that we have to determine the Greens function,
which is the solution to the following BVP:
2
G
x
2
= (x y)
with G(0, y) = 0, G(1, y)/x = 0. In order to nd the Greens function we split up the
problem on two two domains, x [0, y) and x (y, 1]. On those domains, we know that
since x ,= y,
2
G
x
2
= 0
One can consider this like an ODE in x but whose constants are actually functions of
y. Indeed, this equation has simple solutions
G(x, y) = A(y)x + B(y), (2.6)
where A and B are arbitrary functions of y. In the left hand interval [0, y) we require the
Greens function to satisfy the homogeneous governing equation (except at x = y) and the
left hand boundary condition. Similarly, in the right hand interval, (y, 1), G(x, y) satises
the homogeneous governing equation and the right hand boundary condition.
Denoting the left hand solution as G
1
(x, y) = A
1
(y)x + B
1
(y), with G
1
(0, y) = 0 this
gives B
1
= 0. so that G
1
(x, y) = A
1
(y)x. Similarly in the right domain, with G
2
(x, y) =
A
2
(y) +B
1
(y) we nd that G
2
(1, y) = 0 gives A
2
= 0 so that G
2
(x, y) = B
1
(y). Hence the
Greens function can be written as
G(x, y) =
_
A
1
(y)u
1
(x) = A
1
(y)x for 0 x < y,
B
2
(y)u
2
(x) = A
2
(y) for y < x 1,
(2.7)
Now, G(x, y) must be continuous at x = y, which means that
A
1
(y) y = B
2
(y) . (2.8)
A second condition can be found by integrating the governing equation
L
x
G(x, y) =
2
G(x, y)
x
2
= (x y)
from y to y + . This yields
_
G(x, y)
x
_
x=y+
x=y
= 1, (2.9)
which means that the derivative of the Greens functions is discontinuous across the unit
impulse, with jump unity. From (2.7) we have
G
x
=
_
A
1
(y) for 0 < x < y,
0 for y < x < 1,
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 7
and hence, from (2.9),
0 A
1
(y) = 1.
Substituting this into (2.8) reveals
A
1
(y) = 1, B
2
(y) = y
or
G(x, y) =
_
x for 0 x y,
y for y x 1.
Now, recall the Heaviside step function
H (t) =
_
1 if t > 0,
0 if t < 0,
and so the Greens function may be expressed as
G(x, y) = xH (y x) yH (x y) .
The general solution of the ODE (2.5) is, from Theorem 2.8,
u (x) =
_
1
0
G(x, y) f (y) dy
=
_
1
0
[xH (y x) yH (x y)] f (y) dy
= x
_
1
x
f (y) dy
_
x
0
yf (y) dy.
This completes the solution for this example; however, later we will revisit it and apply a
couple of checks to ensure that it is correct.
Analogous problem
In section 0, we stated the Greens function for the steady state heat equation,
d
2
u
dx
2
= f(x)
subject to u(0) = 0 = u(L). Derive this using the approach given above.
Construction of Greens Functions for Sturm-Liouville Operators
Let us now consider the construction of G(x, y) for the general Sturm-Liouville operator:
L =
1
r (x)
_
d
dx
_
p (x)
d
dx
_
+ q (x)
_
. (2.10)
This operator, and special cases of it, occur when solving PDEs by separation of variables.
We will see that the general construction of G(x, y) follows the same route as for the above
specic example.
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 8
From (2.4), G(x, y) satises the homogeneous equation
L
x
G(x, y) = 0
except at x = y. Consider the two sub-intervals (a, y) and (y, b) of (a, b) separately.
The operator L is second order and so the general solution of Lu (x) = 0 contains two
arbitrary constants A, B say. Write
u (x) = Av (x) + Bw(x) .
The BVP has two homogeneous boundary conditions, one at x = a and the other at x = b.
For the Greens function then since L
x
G = 0, we can once again split the problem up into
two domains:
(i) In [a, y), use the BC at x = a to obtain a solution containing one arbitrary constant
and which satises the BC at x = a.
Write the solution as G
1
(x, y) = c
1
(y)u
1
(x) .
(ii) In (y, b] use the BC at x = b to obtain a solution containing one arbitrary constant
and which satises the BC at x = b.
Write the solution as G
2
(x, y) = c
2
(y)u
2
(x).
The constants c
1
, c
2
depend (continuously) upon the parameter y, i.e. c
1
= c
1
(y) and
c
2
= c
2
(y) . We have
G(x, y) =
_
c
1
(y) u
1
(x) for a x < y,
c
2
(y) u
2
(x) for y < x b.
(2.11)
To nd c
1
(y) , c
2
(y) we need to nd two conditions on G(x, y) at x = y. From (2.4) and
(2.10) the function G(x, y) satises
x
_
p (x)
G(x, y)
x
_
+ q (x) G(x, y) = (x y) r (x) . (2.12)
Theorem 2.9: The Greens function G(x, y) is continuous (w.r.t. x) at x = y:
c
1
(y) u
1
(y) = c
2
(y) u
2
(y) . (2.13)
Proof: Suppose it is not continuous, then, at best G(x, y) has a step discontinuity (like
H (x y)) at x = y. The LHS of (2.12) therefore contains the second derivative of a step
function, i.e. the rst derivative of a -function. The RHS does not have such, and so the
equation cannot balance. There is a contradiction, so G must be continuous.
Now, let
y
= lim
0
(y ) , y
+
= lim
0
(y + )
then G(x, y) is continuous
G(y
, y) = G(y
+
, y) = G(y, y) .
From (2.11) at x = y,
c
1
(y
) u
1
(y) = c
2
(y
+
) u
2
(y) .
The c
1
(y) , c
2
(y) are continuous in y, and so
c
1
(y) u
1
(y) = c
2
(y) u
2
(y) .
x=y
+
x=y
= c
2
(y) u
2
(y) c
1
(y) u
1
(y) =
r (y)
p (y)
. (2.14)
Proof: The LHS of (2.12) contains the derivative of a step function, i.e. a -function. So
does the RHS, so the equation balances and everything is consistent.
Integrate (2.12) from y to y + ,
_
p (x)
G(x, y)
x
_
y+
y
+
_
y+
y
q (x) G(x, y) dx =
_
y+
y
(x y) r (x) dx
= r (y)
by the sifting property. Let 0,
p (y
+
)
G(y
+
, y)
x
p (y
)
G(y
, y)
x
+ 0 = r (y) .
However, p (x) is continuous, so
G(y
+
, y)
x
G(y
, y)
x
=
r (y)
p (y)
. (2.15)
From (2.11)
G(x, y)
x
=
_
c
1
(y) u
1
(x) for x < y,
c
2
(y) u
2
(x) for x > y,
and hence
c
2
(y) u
2
(y) c
1
(y) u
1
(y) =
r (y)
p (y)
.
2
(y) c
1
(y) u
1
(y) =
r (y)
p (y)
,
for c
1
(y) and c
2
(y) gives, by elimination,
c
1
(y) =
r (y) u
2
(y)
p (y) W (y)
, c
2
(y) =
r (y) u
1
(y)
p (y) W (y)
(2.16)
where
W (y) =
u
1
(y) u
2
(y)
u
1
(y) u
2
(y)
2
G(x, y)
x
2
= (y x) .
Check 2: Recall the fundamental theorem of integral calculus. If
F (x) =
_
x
a
f (y) dy then F
(x) = f (x) .
We have
u (x) = x
_
1
x
f (y) dy
_
x
0
yf (y) dy,
and so
u
(x) =
_
1
x
f (y) dy x[f (x)] xf (x) =
_
1
x
f (y) dy
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 11
together with
u
(1) =
_
1
1
f (y) dy = 0,
so these are satised too.
We can now make a number of remarks about what we have achieved. First, in the above
example, G(x, y) is symmetric in x, y: G(y, x) = yH (x y) xH (y x) = G(x, y).
This is true for any Sturm-Liouville problem for which r(x) is constant. See a later section
for further discussion of this issue.
Second, the Greens function G(x, y) may be regarded as the response at the point x to
a unit impulse at the point y. The general inhomogeneous term f on 0 < y < 1 can be
regarded as a set of impulses, with f (y) giving the magnitude of the impulse at point y.
Third, note that given that the Greens function permits the solution to a problem involv-
ing homogeneous boundary conditions with inhomogeneous forcing (RHS in the ODE),
we can also consider now how to solve the inhomogeneous boundary condition problem.
Well, this is relatively simple. We use linear superposition, determining a solution of
Lu = 0
subject to the inhomogeneous BCs (e.g. u(a) = , u(b) = ). Let us call this the comple-
mentary function u
CF
(x) and therefore the solution to the full BVP
Lu = f(x)
subject to inhomogeneous BCs (e.g. u(a) = , u(b) = ) is
u(x) = u
CF
(x) +
_
b
a
G(x, y)f(y)dy
In Example 4 we worked out the Greens function directly using boundary conditions,
continuity of G(x, y) at x = y and a condition on the discontinuity of the derivative of
G(x, y) at x = y. We noted later that since the operator was of Sturm-Liouville form,
we could have also used the explicit formulae (2.16) in order to determine the Greens
function. When the problem is not of Sturm-Liouville form, then we have no option but
to determine the Greens function directly. We now consider an example of this type.
Example 5:
Determine the Greens function associated with part of Q1 from Sheet 2, i.e. that associated
with
x
2
u
(x) xu
(x) 3u(x) = x 3
with u(1) = 0, u(2) = 0, conrming that the solution you obtain is equivalent to that
which you obtained in that question using standard direct ODE methods.
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 12
Let us determine the GF associated with this equation, satisfying
x
2
2
G
x
2
x
G
x
3G = (x y) (2.18)
and G(1, y) = G(2, y) = 0. Since this is an Euler equation (x
n
times nth derivative), by
posing solutions of the form x
n
, we know that the solutions to the homogeneous problem
with no forcing are x
3
and x
1
. As above we go about nding the Greens function by
splitting the function into two domains, one to the left of x = y (G
1
(x, y)) and one to the
right (G
2
(x, y)). We write
G
1
(x, y) = A
1
(y)x
3
+
B
1
(y)
x
, 1 x y,
G
2
(x, y) = A
2
(y)x
3
+
B
2
(y)
x
, y x 2.
Imposing BCs gives B
1
= A
1
and B
2
= 16A
2
so that
G
1
(x, y) = A
1
(y)
_
x
3
1
x
_
, 1 x y,
G
2
(x, y) = A
2
(y)
_
x
3
16
x
_
, y x 2.
Now impose continuity at x = y which gives
A
2
= A
1
_
y
4
1
y
4
16
_
. (2.19)
Finally we need a jump condition. Integrate the equation (2.18) between y
and y
+
,
taking the limit as 0:
_
y
+
y
x
2
2
G
x
2
dx
_
y
+
y
x
G
x
dx 3
_
y
+
y
Gdx =
_
y
+
y
(x y)dx = 1.
Use integration by parts so that the rst term is of the form
_
y
+
y
x
2
2
G
x
2
dx =
_
x
2
G
x
_
y+
y
2
_
y
+
y
x
G
x
dx
We can combine this with the second term and noting that the term involving only an
integral of the Greens function (continuous at x = y) must be zero (continuity) we nd
that
_
x
2
G
x
_
y+
y
3
_
y
+
y
x
G
x
dx = 1.
Since x
2
is continuous at x = y the rst term reduces to
y
2
_
G
x
_
y+
y
3
_
y
+
y
x
G
x
dx = 1.
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 13
and using integration by parts in the second term we nd that
_
y
+
y
x
G
x
dx = [xG]
_
y
+
y
_
y
+
y
Gdx = 0
by continuity. Therefore the jump condition for this problem is
_
G
x
_
y+
y
=
1
y
2
.
Applying this, using
G
1
x
= A
1
(y)
_
3x
2
+
1
x
2
_
, 1 x y,
G
2
x
= A
2
(y)
_
3x
2
+
16
x
2
_
, y x 2.
we nd that, upon using (2.19)
A
1
(y) =
y
4
16
60y
4
and therefore
A
2
(y) =
y
4
1
60y
4
.
The Greens function is therefore
G(x, y) =
_
_
_
G
1
(x, y) =
_
y
4
16
60y
4
_
_
x
3
1
x
_
, 1 x y,
G
2
(x, y) =
_
y
4
1
60y
4
_
_
x
3
16
x
_
, y x 2,
(2.20)
which can therefore be written as
G(x, y) = H(y x)
_
y
4
16
60y
4
__
x
3
1
x
_
+ H(x y)
_
y
4
1
60y
4
__
x
3
16
x
_
. (2.21)
and the solution of the BVP can therefore be written
u(x) =
_
2
1
G(x, y)f(y)dy =
_
2
1
G(x, y)(y 3)dy.
Well return to this shortly.
Lets rst perform some checks on the Greens function derived in (2.20). Boundary
conditions? G(1, y) = 0, yes. G(2, y) = 0, yes. Check continuity at x = y, yes. We
note that the Greens function is NOT symmetric - the equation is not self-adjoint. Check
for yourself that the Greens function satises the equation with delta function forcing.
Remember to use the form in (2.21) and the fact that H
(x y) = (x y), etc.).
Finally, lets check that the solution in integral form is the same as that which we evaluated
directly in Q1, sheet 2. We have
u(x) =
_
2
1
G(x, y)(y 3)dy,
=
_
x
1
_
y
4
1
60y
4
__
x
3
16
x
_
(y 3)dy +
_
2
x
_
y
4
16
60y
4
__
x
3
1
x
_
(y 3)dy
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 14
Bringing out the terms depending on x, performing the integration in y and simplifying,
we obtain (after a lot of algebra)
u(x) = 1
x
4
1
60
x
3
11
15x
which we note is the correct solution as found in Q1, Sheet 2 with homogeneous boundary
conditions.
Further worked examples for you to put in your notes: construct the Greens function
associated with, and hence solve the following BVPs:
x
2
d
2
u
dx
2
4x
du
dx
+ 6u = f(x), u(1) = 1, u
(2) = 2.
d
2
u
dx
2
+ 2
du
dx
+ u = f(x), u(0) = 1, u(1) = 0.
Symmetry and the Adjoint Greens Function
We have said that
u(x) =
_
b
a
G(x, y)f(y)dy, (2.22)
indeed we have shown this in Theorem 2.8, because we can operate on this equation with
L to give
Lu =
_
b
a
LG(x, y)f(y)dy,
=
_
b
a
(x y)f(y),
= f(x)
as we require.
However in Section 0, we showed from rst principles, by integrating combinations of the
ODEs that u and G satisfy, that, in fact (note the position of the x and y in the argument
of the Greens function)
u(x) =
_
b
a
G(y, x)f(y)dy
for the operator L = d
2
/dx
2
. Since for this operator, L
= L (self-adjoint), we argued
that the Greens function is symmetric G(x, y) = G(y, x) and thus
u(x) =
_
b
a
G(x, y)f(y)dy.
But what if the operator is not self-adjoint? We have already seen lots of such examples
and in this case the Greens function is not symmetric. So we cannot use this argument.
We can avoid this diculty using the denition of the Adjoint operator and Adjoint Greens
function. In particular, from the denition of the Adjoint operator, i.e. L
v, u) = v, Lu)
for the usual inner product and arbitrary functions u and v taken from the appropriate
space, it is evident that
_
b
a
_
(L
v(x))u(x) v(x)Lu(x)
_
dx = 0. (2.23)
MATH34032: Greens Functions, Integral Equations and the Calculus of Variations 15
This prompts the denition of the adjoint Greens function G
x
G
)u G
Lu]dx = u(y)
_
b
a
G
(x, y)f(x)dx
From (2.23), the LHS is zero and thus
u(y) =
_
b
a
G
(x, y)f(x)dx.
Now interchange x and y to give
u(x) =
_
b
a
G
(y, x).
Proof: We know that
LG = (x y), (2.27)
L
= (x y). (2.28)
From the denition of L
we have
_
b
a
G
(x, y)L
x
G(x, t)dx =
_
b
a
L
x
G
(t, y) = G(y, t)
as required.
Note that for self-adjoint operators, L = L
and then G