Professional Documents
Culture Documents
LECTURE 21
Green's Identities
where @D is the boundary of D and n(r) is the unit vector that is (outward) normal to the surface @D at
the point r 2 @D.
Recall that the identity (21.2) was essential to the proof that any extrema of a solution of 2-dimensional
Laplace's equation
2 2
r2 = @@x2 + @@y2 = 0
must occur on the boundary of region. The analogous proposition about extrema for solutions of Laplace's
equation in n-dimensions is also true and again it is relatively easy consequence of (21.2).
Another special case of Stokes' theorem comes from the choice
(21.3) F = r :
For this case, Stokes' theorem says
Z Z
(21.4) r (r ) dV = r ndS :
D @D
91
92 21. GREEN'S IDENTITIES
lim 1 = jr ,1 r j
!0 jr , ro j + o
1 1
lim r jr , r j + = r jr , r j
!0 o o
we obtain R
,4 (ro ) = D jr,1roj r2 dV
(21.9) R
+ @D jr,1roj r , r jr,1roj ndS
:
Laplace's equation in D then its value at any point ro 2 D is completely determined by the values of and
@
@n
on the boundary of D.
1. GREEN'S FUNCTIONS AND SOLUTIONS OF LAPLACE'S EQUATION, II 93
Each of these solutions really only makes sense in the region R , fOg; for each possesses a singularity at
n
the origin.
We studied the case when n = 3, a little more closely and found that we could actually write
(21.12) r r = ,4 (r) = 10 ;; ifif rr 6=
2 1 3
=O
O
In fact, using similar arguments one can show that
(21.13) r2(r) = ,cn n (r)
where cn is the surface area of the unit sphere in Rn. Thus, the fundamental solutions can actually be
regarded as solutions of an inhomogeneous Laplace equation where the driving function is concentrated
at a single point.
Let us now set n = 3 and consider the following PDE/BVP
(21.14) r2(r) = f (r) ; r 2 D
(r) j@D = h(r) j@D
where D is some closed, connected, simply connected region in R3. Let ro be some xed point in D and set
(21.15) G (r; ro) =
,1 + (r; r )
4 jr , ro j o o
where o (r; ro ) is some solution of the homogeneous Laplace equation
(21.16) r2 o (r; ro) = 0 :
Then
(21.17) r2G (r; ro) = 3 (r , ro ) :
Now recall Green's third identity
Z Z
,
(21.18) r2 , r2 dV = (r , r) n dS :
D @D
Up to this point we have only required that the function o satises Laplace's equation. We will now make
our choice of o more particular; we shall choose o (r; ro) to be the unique solution of Laplace's equation
in D satisfying the boundary condition
(21.20) 1 = (r; r )j
4 jr , ro j @D o o @D
so that
G (r; ro)j@D = 0 :
94 21. GREEN'S IDENTITIES
Then the last integral on the right hand side of (21.19) vanishes and so we have
Z Z
(21.21) (ro ) = G(r; ro)f (r) dV + h(r) @G @n
(r; ro) dS :
D @D
Thus, once we nd a solution o (r; ro) to the homogenenous Laplace equation satisfying the boundary
condition (21.20), we have a closed formula for the solution of the PDE/BVP (21.14) in terms of integrals of
G (r; ro) times the driving function f (r), and of @G (r; ro) times the function h(r) describing the boundary
conditions on . Note that the Green's function G (r; ro) is xed once we x o which in turn depends only
@n
I claim that ~ (r; ; ) so dened also satises Laplace's equation in the region exterior to the sphere.
To prove this, it suces to show that
(21.23) 0 = r2 r~ = @r @
r2 @@r~ + sin(1 ) @@
sin() @@~ + sin21() @@ 2 ~2
or ! !
@ 2 @ ~ 1 @ @ ~ 1 @ 2 ~ :
(21.24) @r
r
@r
= , sin() @ sin( )
@
, sin2 () @ 2
Set
R2
(21.25) u=
r
:
so that
r = Ru
2
and so 4 ,
r2 @@r~ = , Ru 2 @u , Ru22 @u@ Ru
@ 2 @ R
@r u2
,@
= uR2 @u @
@u
(u)
= uR2 u @@u22 + 2 @@u
(21.27) = Ru @u
, @ , @
2
u @u ,
= , Ru sin(1 ) @ @
sin( ) @@ + sin21() @@ 2
2
= , sin(1 ) @ @
sin() @@~ + sin21() @@ 2 ~2
Notice that
(21.28) lim ~ (r; ; ) = (r; ; )
r !R
This transform is called Kelvin inversion.
1. GREEN'S FUNCTIONS AND SOLUTIONS OF LAPLACE'S EQUATION, II 95
Now let return to the problem of nding a Green's function for the interior of a sphere of radius. Let
R2 R2
(21.29) ~r = r r
; ; = 2 r :
r
In view of the preceding remarks, we know that the functions
1 (r) = jr,1roj
(21.30) 2 (r) = Rr j~r,1roj = ~ 1(r)
will satisfy, respectively,
r21 (r) = ,4 3 (r, ro )
(21.31) r22 (r) = , 4R 3 Rr2r , ro :
2
r
However, notice that the support of r22 (r) lies completely outside the sphere. Therefore, in the interior
of the sphere, 2 is a solution of the homogenous Laplace equation. We also know that on the boundary of
the sphere that we have
(21.32) 1(r) = 2(r) :
Thus, the function
G (r; ro) = Rr 4 j~r1,roj , 4jr1,roj
(21.33) = 4j Rr r1, Rr roj , 4jr1,roj
thus satises
(21.34) r2r G (r; ro) = 3 (r , ro )
for all r inside the sphere and
(21.35) G (r; ro) = 0
or all r on the boundary of the sphere. Thus, the function G (r; ro) dened by (21.33) is the Green's function
for Laplace's equation within the sphere.
Now consider the following PDE/BVP
(21.36) r2 (r) = f (r) ; r 2 B
(R; ; ) = 0 :
where B is a ball of radius R centered about the origin. According to the formula (21.21) and (21.33), the
solution of (21.36) is given by
Z Z
@G
(ro ) = G(r; ro)f (r) dV + h ( ; )
@n
(r; ro) dS
ZB @B
Thus,
Z Z 2 Z
R
Rf (r; ; )r2 sin()drdd
(r; ; ) = p
0 0 0 4 R4 + r22 , 2R2r (cos( , ) sin() sin( ) + cos() cos( ))
Z R Z 2 Z
f (r; ; )r2 sin()drdd
, p
0 0 0 4 r2 + 2 , 2r (cos( , ) sin() sin( ) + cos() cos( ))