Green Functions Notes
Green Functions Notes
Green’s Functions
“I do not want to claim that every topic should be probed in detail. Following one’s
own talent and inclination, one should select at least one topic, and study it in
depth. In the others, one should follow the example of the bee which sucks a drop of
nectar from each flower ...” - Jacopo Francesco Riccati (1676-1754)
“The young theoretical physicists of a generation or two earlier subscribed to
the belief that: If you haven’t done something important by age 30, you never will.
Obviously, they were unfamiliar with the history of George Green, the miller of
Nottingham.” Julian Schwinger (1918-1994)
8.1 introduction
L[u] = f ,
u = L −1 [ f ] .
dy( x )
d
p( x ) + q ( x ) y ( x ) = f ( x ). (8.3)
dx dx
Note that f ( x ) in this equation is not the same function as in the general
equation posed at the beginning of this section.
We begin by assuming that we have determined two linearly independent
solutions of the homogeneous equation. The general solution is then given
by
y ( x ) = c1 y1 ( x ) + c2 y2 ( x ). (8.4)
In order to determine a particular solution of the nonhomogeneous equa-
tion, we vary the parameters c1 and c2 in the solution of the homogeneous
problem by making them functions of the independent variable. Thus, we
seek a particular solution of the nonhomogeneous equation in the form
y p ( x ) = c1 ( x ) y1 ( x ) + c2 ( x ) y2 ( x ). (8.5)
green’s functions 265
Without loss of generality, we will set the sum of the last two terms to zero.
(One can show that the same results would be obtained if we did not. See
Problem 2.) Then, we have
p( x )y′′p ( x ) + p′ ( x )y′p ( x ) + q( x )y p ( x ) = f ( x ),
f ( x ) y1 ( x )
c2′ ( x ) = . (8.10)
p( x ) y1 ( x )y2′ ( x ) − y1′ ( x )y2 ( x )
266 differential equations
y1 ( x ) y2 ( x )
W (y1 , y2 )( x ) = .
y1′ ( x ) y2′ ( x )
Therefore,
p( x )W ( x ) = constant.
So, after an integration, we find the parameters as
Z x
f ( ξ ) y2 ( ξ )
c1 ( x ) = − dξ
x0 p ( ξ )W ( ξ )
Z x
f ( ξ ) y1 ( ξ )
c2 ( x ) = dξ, (8.12)
x1 p ( ξ )W ( ξ )
where x0 and x1 are arbitrary constants to be determined later.
Therefore, the particular solution of (8.3) can be written as
Z x Z x
f ( ξ ) y1 ( ξ ) f ( ξ ) y2 ( ξ )
y p ( x ) = y2 ( x ) dξ − y1 ( x ) dξ. (8.13)
x1 p ( ξ )W ( ξ ) x0 p ( ξ )W ( ξ )
As a further note, we usually do not rewrite our initial value problems in
self-adjoint form. Recall that for an equation of the form
where
1
f (x) = p ( x ) g ( x ).
a2 ( x )
With this in mind, Equation (8.13) becomes
Z x Z x
g ( ξ ) y1 ( ξ ) g ( ξ ) y2 ( ξ )
y p ( x ) = y2 ( x ) dξ − y1 ( x ) dξ. (8.15)
x1 a 2 ( ξ )W ( ξ ) x0 a ( ξ )W ( ξ )
green’s functions 267
y′′ − y′ − 6y = 20e−2x .
y1 ( x ) = e3x , y2 ( x ) = e−2x .
y p ( x ) = c1 ( x )e3x + c2 ( x )e−2x .
We just need to determine the ci ’s. Since this problem is not in self-
adjoint form, we will use
f (x) g( x )
= = 20e−2x
p( x ) a2 ( x )
as seen above. Then the linear system we have to solve is
or
c1′ ( x ) = 4e−5x .
Inserting this back into the first equation in the system, we have
leading to
c2′ ( x ) = −4.
These equations are easily integrated to give
4
c1 ( x ) = − e−5x , c2 ( x ) = −4x.
5
Therefore, the particular solution has been found as
e3x e−2x
W ( x ) = W (y1 , y2 )( x ) = = −5e x .
3e3x −2e−2x
Also, we need p( x ), which is given by
Z
p( x ) = exp − dx = e− x .
Z x Z x
f ( ξ ) y1 ( ξ ) f ( ξ ) y2 ( ξ )
y ( x ) = c1 y1 ( x ) + c2 y2 ( x ) + y2 ( x ) dξ − y1 ( x )
dξ.
x1 p ( ξ )W ( ξ )
p ( ξ )W ( ξ ) x0
(8.19)
As seen in the last section, an appropriate choice of x0 and x1 could be
found so that we need not explicitly write out the solution to the homoge-
neous problem, c1 y1 ( x ) + c2 y2 ( x ). However, setting up the solution in this
form will allow us to use x0 and x1 to determine particular solutions which
satisfies certain homogeneous conditions.
We will now consider initial value and boundary value problems. Each
type of problem will lead to a solution of the form
Z b
y ( x ) = c1 y1 ( x ) + c2 y2 ( x ) + G ( x, ξ ) f (ξ ) dξ, (8.20)
a
dy( x )
d
p( x ) + q ( x ) y ( x ) = f ( x ).
dx dx
y (0) = y0 , y ′ (0) = v0 . (8.21)
Of course, we could have studied the original form of our differential equa-
tion without writing it in self-adjoint form. However, this form is useful
when studying boundary value problems. We will return to this point later.
We first note that we can solve this initial value problem by solving two
separate initial value problems. We assume that the solution of the homo-
geneous problem satisfies the original initial conditions:
dy ( x )
d
p( x ) h + q( x )yh ( x ) = 0.
dx dx
y h (0) = y0 , y′h (0) = v0 . (8.22)
dy p ( x )
d
p( x ) + q ( x ) y p ( x ) = f ( x ).
dx dx
y p (0) = 0, y′p (0) = 0. (8.23)
270 differential equations
Therefore, we need only focus on solving for the particular solution that
satisfies homogeneous initial conditions.
Recall Equation (8.13) from the last section,
Z x Z x
f ( ξ ) y1 ( ξ ) f ( ξ ) y2 ( ξ )
y p ( x ) = y2 ( x ) dξ − y1 ( x ) dξ. (8.24)
x1 p ( ξ )W ( ξ ) x0 p ( ξ )W ( ξ )
We now seek values for x0 and x1 which satisfies the homogeneous initial
conditions, y p (0) = 0 and y′p (0) = 0.
First, we consider y p (0) = 0. We have
Z 0 Z 0
f ( ξ ) y1 ( ξ ) f ( ξ ) y2 ( ξ )
y p (0) = y2 (0) dξ − y1 (0) dξ. (8.25)
x1 p ( ξ )W ( ξ ) x0 p ( ξ )W ( ξ )
since the contributions from differentiating the integrals will cancel. Evalu-
ating this result at x = 0, we have
Z 0
f ( ξ ) y2 ( ξ )
y′p (0) = −y1′ (0) dξ. (8.28)
x0 p ( ξ )W ( ξ )
This result is in the correct form and we can identify the temporal, or
initial value, Green’s function. So, the particular solution is given as
Z x
y p (x) = G ( x, ξ ) f (ξ ) dξ, (8.30)
0
green’s functions 271
y1 ( ξ ) y2 ( x ) − y1 ( x ) y2 ( ξ )
G ( x, ξ ) = .
p(ξ )Wξ )
We summarize
The solution of the initial value problem (8.21) takes the form
Z x
y( x ) = yh ( x ) + G ( x, ξ ) f (ξ ) dξ, (8.31)
0
where
y1 ( ξ ) y2 ( x ) − y1 ( x ) y2 ( ξ )
G ( x, ξ ) =
p(ξ )Wξ )
and the solution of the homogeneous problem satisfies the initial condi-
tions,
yh (0) = y0 , y′h (0) = v0 .
y1 ( τ ) y2 ( t ) − y1 ( t ) y2 ( τ )
G (t, τ ) =
p(τ )Wτ )
= sin t cos τ − sin τ cos t
= sin(t − τ ). (8.32)
Z t
= (sin t cos τ − sin τ cos t) (2 cos τ ) dτ
0
Z t Z t
= 2 sin t cos2 τdτ − 2 cos t sin τ cos τdτ
0 0
t t
τ 1 1 2
= 2 sin t + sin 2τ − 2 cos t sin τ
2 2 0 2 0
= t sin t. (8.33)
1
f (x) = p ( x ) g ( x ).
a2 ( x )
Inserting this into the Green’s function form of the particular solution, we
obtain the following:
y1 ( ξ ) y2 ( x ) − y1 ( x ) y2 ( ξ )
G ( x, ξ ) = (8.36)
a 2 ( ξ )W ( ξ )
dy( x )
d
p( x ) + q( x )y( x ) = f ( x ), a < x < b,
dx dx
y( a) = 0, y(b) = 0. (8.37)
However, the general theory works for other forms of homogeneous bound-
ary conditions.
green’s functions 273
We are seeking a Green’s function so that the solution can be written as one
integral. We can move the functions of x under the integral. Also, since
a < x < b, we can flip the limits in the second integral. This gives
Z x Z b
f ( ξ ) y1 ( ξ ) y2 ( x ) f ( ξ ) y1 ( x ) y2 ( ξ )
y( x ) = dξ + dξ. (8.41)
a p ( ξ )W ( ξ ) x p ( ξ )W ( ξ )
y1 ( a ) y2 ( ξ )
G ( a, ξ ) = = 0,
pW
y1 ( ξ ) y2 ( b )
G (b, ξ ) = = 0.
pW
Also, the Green’s function is symmetric in its arguments. Interchanging the
arguments gives
y1 ( x ) y2 ( ξ ) , a ≤ x ≤ ξ
pW
G (ξ, x ) = . (8.44)
y1 ( ξ ) y2 ( x ) ξ ≤ x ≤ b
pW
G ( x, ξ ) = G (ξ, x ).
We will make use of these properties in the next section to quickly deter-
mine the Green’s functions for other boundary value problems.
Example 8.4. Solve the boundary value problem y′′ = x2 , y(0) =
0 = y(1) using the boundary value Green’s function.
We first solve the homogeneous equation, y′′ = 0. After two integra-
tions, we have y( x ) = Ax + B, for A and B constants to be determined.
We need one solution satisfying y1 (0) = 0 Thus, 0 = y1 (0) = B. So,
we can pick y1 ( x ) = x, since A is arbitrary.
The other solution has to satisfy y2 (1) = 0. So, 0 = y2 (1) = A + B.
This can be solved for B = − A. Again, A is arbitrary and we will
choose A = −1. Thus, y2 ( x ) = 1 − x.
For this problem p( x ) = 1. Thus, for y1 ( x ) = x and y2 ( x ) = 1 − x,
Notice the symmetry between the two branches of the Green’s func-
tion. Also, the Green’s function satisfies homogeneous boundary con-
ditions: G (0, ξ ) = 0, from the lower branch, and G (1, ξ ) = 0, from the
upper branch.
Finally, we insert the Green’s function into the integral form of the
solution:
Z 1
y( x ) = G ( x, ξ ) f (ξ ) dξ
0
Z 1
= G ( x, ξ )ξ 2 dξ
0
green’s functions 275
Z x Z 1
= − ξ (1 − x )ξ 2 dξ − x (1 − ξ )ξ 2 dξ
0 x
Z x Z 1
= −(1 − x ) ξ 3 dξ − x (ξ 2 − ξ 3 ) dξ
0 x
x 1
ξ4 ξ3 ξ4
= −(1 − x ) −x −
4 0 3 4 x
1 1 1
= − (1 − x ) x4 − x (4 − 3) + x (4x3 − 3x4 )
4 12 12
1 4
= ( x − x ). (8.46)
12
1. Differential Equation:
∂G ( x,ξ )
∂
∂x p ( x ) ∂x + q( x ) G ( x, ξ ) = 0, x ̸= ξ
For x < ξ we are on the second branch and G ( x, ξ ) is proportional to
y1 ( x ). Thus, since y1 ( x ) is a solution of the homogeneous equation, then
so is G ( x, ξ ). For x > ξ we are on the first branch and G ( x, ξ ) is propor-
tional to y2 ( x ). So, once again G ( x, ξ ) is a solution of the homogeneous
problem.
2. Boundary Conditions:
For x = a we are on the second branch and G ( x, ξ ) is proportional to
y1 ( x ). Thus, whatever condition y1 ( x ) satisfies, G ( x, ξ ) will satisfy. A
similar statement can be made for x = b.
4. Continuity of G at x = ξ: G (ξ + , ξ ) = G (ξ − , ξ )
Here we have defined
G (ξ + , x ) = lim G ( x, ξ ), x > ξ,
x ↓ξ
G (ξ − , x ) = lim G ( x, ξ ), x < ξ.
x ↑ξ
y1 ( ξ ) y2 ( ξ ) y ( ξ ) y2 ( ξ )
= 1 .
pW pW
276 differential equations
5. Jump Discontinuity of ∂G
∂x at x = ξ:
∂G (ξ + , ξ ) ∂G (ξ − , ξ ) 1
− =
∂x ∂x p(ξ )
∂G (ξ + , ξ ) ∂G (ξ − , ξ ) 1 1 ′
− = − y (ξ )y2′ (ξ ) + y ( ξ ) y2 ( ξ )
∂x ∂x pW 1 pW 1
y1′ (ξ )y2 (ξ ) − y1 (ξ )y2′ (ξ )
= −
p(ξ )(y1 (ξ )y2′ (ξ ) − y1′ (ξ )y2 (ξ ))
1
= . (8.47)
p(ξ )
y (0) = 0 = y (1),
with ω ̸= 0.
Thus, for x ̸= ξ,
G (0, ξ ) = c2 (ξ ) cos ωx = 0.
So,
G ( x, ξ ) = c1 (ξ ) sin ωx, 0 ≤ x ≤ ξ.
c2 (ξ ) = −c1 (ξ ) tan ω.
This gives
G ( x, ξ ) = c1 (ξ ) sin ωx − c1 (ξ ) tan ω cos ωx.
green’s functions 277
This can be simplified by factoring out the c1 (ξ ) and placing the remain-
ing terms over a common denominator. The result is
c1 ( ξ )
G ( x, ξ ) = [sin ωx cos ω − sin ω cos ωx ]
cos ω
c (ξ )
= − 1 sin ω (1 − x ). (8.48)
cos ω
Since the coefficient is arbitrary at this point, as can write the result as
G ( x, ξ ) = d1 (ξ ) sin ω (1 − x ), ξ ≤ x ≤ 1.
We can make the branches symmetric by picking the right forms for c1 (ξ )
and d1 (ξ ). We choose c1 (ξ ) = C sin ω (1 − ξ ) and d1 (ξ ) = C sin ωξ. Then,
C sin ω (1 − ξ ) sin ωx, 0 ≤ x ≤ ξ
G ( x, ξ ) = .
C sin ω (1 − x ) sin ωξ, ξ ≤ x ≤ 1
IV. Continuity of G ( x, ξ )
We note that we already have continuity by virtue of the symmetry im-
posed in the last step.
∂x G ( x, ξ ).
∂
V. Jump Discontinuity in
We still need to determine C. We can do this using the jump discontinuity
of the derivative:
∂G (ξ + , ξ ) ∂G (ξ − , ξ ) 1
− = .
∂x ∂x p(ξ )
For our problem p( x ) = 1. So, inserting our Green’s function, we have
∂G (ξ + , ξ ) ∂G (ξ − , ξ )
1 = −
∂x ∂x
∂ ∂
= [C sin ω (1 − x ) sin ωξ ] x=ξ − [C sin ω (1 − ξ ) sin ωx ] x=ξ
∂x ∂x
= −ωC cos ω (1 − ξ ) sin ωξ − ωC sin ω (1 − ξ ) cos ωξ
= −ωC sin ω (ξ + 1 − ξ )
= −ωC sin ω. (8.49)
278 differential equations
Therefore,
1
C=− .
ω sin ω
Finally, we have our Green’s function:
− sin ω (1−ξ ) sin ωx ,
0≤x≤ξ
ω sin ω
G ( x, ξ ) = . (8.50)
− sin ω ( 1− x ) sin ωξ
, ξ≤x≤1
ω sin ω
Inserting this result into the Variation of Parameters result for the Green’s
function leads to the same Green’s function as above.
∂G ( x, ξ )
∂
p( x ) + q( x ) G ( x, ξ ) = 0, x ̸= ξ. (8.52)
∂x ∂x
When x = ξ, we saw that the derivative has a jump in its value. This is
similar to the step, or Heaviside, function,
1, x > 0
H (x) = .
0, x < 0
In the case of the step function, the derivative is zero everywhere except at
the jump. At the jump, there is an infinite slope, though technically, we have
learned that there is no derivative at this point. We will try to remedy this
by introducing the Dirac delta function,
d
δ( x ) = H ( x ).
dx
We will then show that the Green’s function satisfies the differential equa-
tion
∂G ( x, ξ )
∂
p( x ) + q( x ) G ( x, ξ ) = δ( x − ξ ). (8.53)
∂x ∂x
The Dirac delta function, δ( x ), is one example of what is known as a
generalized function, or a distribution. Dirac had introduced this function in
green’s functions 279
the 1930’s in his study of quantum mechanics as a useful tool. It was later
studied in a general theory of distributions and found to be more than a
simple tool used by physicists. The Dirac delta function, as any distribution,
only makes sense under an integral.
Before defining the Dirac delta function and introducing some of its prop-
erties, we will look at some representations that lead to the definition. We
will consider the limits of two sequences of functions.
First we define the sequence of functions
0, | x | > 1
n
f n (x) = .
n
, |x| < 1
2 n
1. δ( x ) = 0 for x ̸= 0.
R∞
2. −∞ δ( x ) dx = 1.
–4 –3 –2 –1 0 1 2 3 4
x
60
40
20
–4 –2 0 2 4
x
and Z b
δ( x ) dx = 0, 0∈
/ [ a, b].
a
Another common property is what is sometimes called the sifting property.
Namely, integrating the product of a function and the delta function “sifts”
out a specific value of the function. It is given by
Z ∞
δ( x − a) f ( x ) dx = f ( a).
−∞
green’s functions 281
This can be seen by noting that the delta function is zero everywhere except
at x = a. Therefore, the integrand is zero everywhere and the only contribu-
tion from f ( x ) will be from x = a. So, we can replace f ( x ) with f ( a) under
the integral. Since f ( a) is a constant, we have that
Z ∞ Z ∞ Z ∞
δ( x − a) f ( x ) dx = δ( x − a) f ( a) dx = f ( a) δ( x − a) dx = f ( a).
−∞ −∞ −∞
Another property results from using a scaled argument, ax. In this case
we show that
δ( ax ) = | a|−1 δ( x ). (8.55)
As usual, this only has meaning under an integral sign. So, we place δ( ax )
inside an integral and make a substitution y = ax:
Z ∞ Z L
δ( ax ) dx = lim δ( ax ) dx
−∞ L→∞ − L
Z aL
1
= lim δ(y) dy. (8.56)
L→∞ a − aL
If a > 0 then Z ∞ Z ∞
1
δ( ax ) dx = δ(y) dy.
−∞ a −∞
However, if a < 0 then
Z ∞ Z −∞ Z ∞
1 1
δ( ax ) dx = δ(y) dy = − δ(y) dy.
−∞ a ∞ a −∞
A more general scaling of the argument takes the form δ( f ( x )). The in-
tegral of δ( f ( x )) can be evaluated depending upon the number of zeros of
f ( x ). If there is only one zero, f ( x1 ) = 0, then one has that
Z ∞ Z ∞
1
δ( f ( x )) dx = δ( x − x1 ) dx.
−∞ −∞ | f ′ ( x1 )|
y+2 2
Z ∞
1 ∞
1 4 4
Z
δ(3x − 2) x2 dx = δ(y) dy = = .
−∞ 3 −∞ 3 3 9 27
More generally, one can show that when f ( x j ) = 0 and f ′ ( x j ) ̸= 0 for x j ,
j = 1, 2, . . . , n, (i.e.; when one has n simple zeros), then
n
1
δ( f ( x )) = ∑ | f ′ (x j )| δ(x − x j ).
j =1
R 2π
Example 8.8. Evaluate 0 cos x δ( x2 − π 2 ) dx.
In this case the argument of the delta function has two simple roots.
Namely, f ( x ) = x2 − π 2 = 0 when x = ±π. Furthermore, f ′ ( x ) = 2x.
Therefore, | f ′ (±π )| = 2π. This gives
1
δ( x2 − π 2 ) = [δ( x − π ) + δ( x + π )].
2π
Inserting this expression into the integral and noting that x = −π is
not in the integration interval, we have
Z 2π 2π
1
Z
cos x δ( x2 − π 2 ) dx = cos x [δ( x − π ) + δ( x + π )] dx
0 2π 0
1 1
= cos π = − . (8.58)
2π 2π
Finally, we previously noted there is a relationship between the Heavi-
side, or step, function and the Dirac delta function. We defined the Heavi-
side function as
0, x < 0
H (x) =
1, x > 0
L[y] = f ( x )
L[ G ] = δ( x − ξ ). (8.61)
The right hand side will only vanish if G ( x, ξ ) also satisfies these homoge-
neous boundary conditions. This then leaves us with the solution
Z b
y(ξ ) = f ( x ) G ( x, ξ ) dx.
a
We insert the Green’s function into the solution and use the given
conditions to obtain
Z 1 ξ =1
2 ∂G ′
y( x ) = G ( x, ξ )ξ dξ − y(ξ ) ( x, ξ ) − G ( x, ξ )y (ξ )
0 ∂ξ ξ =0
Z x Z 1
3 ∂G ∂G
= ( x − 1)ξ dξ + x (ξ − 1)ξ 2 dξ + y(0) ( x, 0) − y(1) ( x, 1)
0 x ∂ξ ∂ξ
( x − 1) x 4 x (1 − x 4 ) x (1 − x 3 )
= + − + ( x − 1) − 2x
4 4 3
x4 35
= + x − 1. (8.68)
12 12
green’s functions 285
x4
y( x ) = + c1 x + c2 .
12
Inserting this solution into each boundary condition yields the same
result.
We have seen how the introduction of the Dirac delta function in the
differential equation satisfied by the Green’s function, Equation (8.59), can
lead to the solution of boundary value problems. The Dirac delta function
also aids in our interpretation of the Green’s function. We note that the
Green’s function is a solution of an equation in which the nonhomogeneous
function is δ( x − ξ ). Note that if we multiply the delta function by f (ξ ) and
integrate we obtain
Z ∞
δ( x − ξ ) f (ξ ) dξ = f ( x ).
−∞
∂G ( x, ξ )
∂
p( x ) + q( x ) G ( x, ξ ) = δ( x − ξ ). (8.69)
∂x ∂x
Since the q( x ) term is continuous, the limit of that term vanishes. Using the
Fundamental Theorem of Calculus, we then have
∂G ( x, ξ ) ξ +ϵ
lim p( x ) = 1. (8.71)
ϵ →0 ∂x ξ −ϵ
There are times that it might not be so simple to find the Green’s function
in the simple closed form that we have seen so far. However, there is a
method for determining the Green’s functions of Sturm-Liouville boundary
value problems in the form of an eigenfunction expansion. We will finish
our discussion of Green’s functions for ordinary differential equations by
286 differential equations
showing how one obtains such series representations. (Note that we are
really just repeating the steps towards developing eigenfunction expansion
which we had seen in Chapter 6.)
We will make use of the complete set of eigenfunctions of the differential
operator, L, satisfying the homogeneous boundary conditions:
with coefficients
cn = −λn an .
( f , ϕk )
ak = − ,
Nk λk
Rb
where ( f , ϕk ) ≡ a f ( x )ϕk ( x ) dx.
As before, we can rearrange the solution to obtain the Green’s function.
Namely, we have
∞ Z b ∞
( f , ϕn ) ϕn ( x )ϕn (ξ )
y( x ) = ∑ − Nn λn ϕn (x) = ∑
a n =1 − Nn λn
f (ξ ) dξ
n =1
| {z }
G ( x,ξ )
The Green’s function for this problem can be constructed fairly quickly
for this problem once the eigenvalue problem is solved. We will solve
this problem three different ways in order to summarize the methods
we have used in the text.
The eigenvalue problem is
ϕ′′ ( x ) + k2 ϕ( x ) = 0,
where
k2 = 4 + λ.
Solutions satisfying the boundary condition at x = 0 are of the form
ϕ( x ) = A sin kx.
0 = A sin k ⇒ k = nπ, k = 1, 2, 3 . . . .
λn = n2 π 2 − 4, n = 1, 2, . . .
ϕn = sin nπx, n = 1, 2, . . . .
We can now construct the Green’s function for this problem using
Equation (8.72).
∞
sin nπx sin nπξ
G ( x, ξ ) = 2 ∑ (4 − n2 π 2 )
. (8.73)
n =1
∞
Z 1
!
sin nπx sin nπξ
= 2∑ ξ 2 dξ
0 n =1 (4 − n2 π 2 )
∞ Z 1
sin nπx
= 2 ∑ 2 2
ξ 2 sin nπξ dξ
n =1 (4 − n π ) 0
∞
(2 − n2 π 2 )(−1)n − 2
sin nπx
= 2∑ 2 2
n =1 (4 − n π ) n3 π 3
(8.74)
We can compare this solution to the one one would obtain if we did
not employ Green’s functions directly. The eigenfunction expansion
method for solving boundary value problems, which we saw earlier
proceeds as follows. We assume that our solution is in the form
∞
y( x ) = ∑ cn ϕn (x).
n =1
We note that this is the same solution as we had obtained using the
Green’s function obtained in series form.
One remaining question is the following: Is there a closed form for
the Green’s function and the solution to this problem? The answer
is yes! We note that the differential operator is a special case of the
example done is section 8.3.2. Namely, we pick ω = 2. The Green’s
function was already found in that section. For this special case, we
have
− sin 2(1−ξ ) sin 2x , 0 ≤ x ≤ ξ
2 sin 2
G ( x, ξ ) = . (8.78)
− sin 2 ( 1− x ) sin 2ξ
, ξ≤x≤1
2 sin 2
What about the solution to the boundary value problem? This so-
lution is given by
Z 1
y( x ) = G ( x, ξ ) f (ξ ) dξ
0
Z x Z 1
sin 2(1 − x ) sin 2ξ 2 sin 2(ξ − 1) sin 2x 2
= − ξ dξ + ξ dξ
0 2 sin 2 x 2 sin 2
1 h 2 i
= − − x sin 2 − sin 2 cos2 x + sin 2 + cos 2 sin x cos x + sin x cos x .
4 sin 2
1 h 2 i
= − − x sin 2 + (1 − cos2 x ) sin 2 + sin x cos x (1 + cos 2) .
4 sin 2
1 h 2 i
= − − x sin 2 + 2 sin2 x sin 1 cos 1 + 2 sin x cos x cos2 1) .
4 sin 2
1 h i
= − − x2 sin 2 + 2 sin x cos 1(sin x sin 1 + cos x cos 1) .
8 sin 1 cos 1
x2 sin x cos(1 − x )
= − . (8.79)
4 4 sin 1
In Figure 8.4 we show a plot of this solution along with the first five
terms of the series solution. The series solution converges quickly.
−0.02
−0.04
−0.06
y( x ) = c1 cos 2x + c2 sin 2x + y p ( x ),
290 differential equations
2A + 4( Ax2 + Bx + C ) = x2 ,
1 1
A= , B = 0, C=− .
4 8
So, the general solution of the nonhomogeneous differential equation is
x2 1
y( x ) = c1 cos 2x + c2 sin 2x + − .
4 8
We now determine the arbitrary constants using the boundary condi-
tions. We have
0 = y (0)
1
= c1 −
8
0 = y (1)
1
= c1 cos 2 + c2 sin 2 + (8.80)
8
1
Thus, c1 = 8 and
1
+ 18 cos 2
c2 = − 8 .
sin 2
Inserting these constants in the solution we find the same solution as before.
" #
1 1
1 8 + 8 cos 2 x2 1
y( x ) = cos 2x − sin 2x + −
8 sin 2 4 8
cos 2x sin 2 − sin 2x cos 2 − sin 2x x2 1
= + −
8 sin 2 4 8
(1 − 2 sin2 x ) sin 1 cos 1 − sin x cos x (2 cos2 1 − 1) − sin x cos x − sin 1 cos 1 x2
= +
8 sin 1 cos 1 4
sin2 x sin 1 + sin x cos x cos 1 x2
= − +
4 sin 1 4
x 2 sin x cos(1 − x )
= − . (8.81)
4 4 sin 1
Problems
a. y′′ + y = tan x.
b. y′′ − 4y′ + 4y = 6xe2x .
green’s functions 291
3. Find the solution of each initial value problem using the appropriate
initial value Green’s function.
∂2 G ∂G
= δ ( x − x0 ), (0, x0 ) = 0, G (π, x0 ) = 0.
∂x2 ∂x
a. Solve by direct integration.
b. Compare this result to the Green’s function in part b of the last
problem.
c. Verify that G is symmetric in its arguments.
R∞
d. 0 e−2x δ( x2 − 5x + 6) dx. [See Problem 10.]
R∞ 2
e. −∞ ( x − 2x + 3)δ( x2 − 9) dx. [See Problem 10.]
10. For the case that a function has multiple simple roots, f ( xi ) = 0,
f ′ ( xi ) ̸= 0, i = 1, 2, . . . , it can be shown that
n
δ ( x − xi )
δ( f ( x )) = ∑ | f ′ ( xi )|
.
i =1
R∞
Use this result to evaluate −∞ δ( x2 − 5x + 6)(3x2 − 7x + 2) dx.
11. Consider the boundary value problem: y′′ − y = x, x ∈ (0, 1), with
boundary conditions y(0) = y(1) = 0.