Published by the Syndics of the Cambridge University Press The Pitt Building, Trumpington Street, Cambridge CB2 1RP Ben...
249 downloads
951 Views
14MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
Published by the Syndics of the Cambridge University Press The Pitt Building, Trumpington Street, Cambridge CB2 1RP Bentley House, 200 Euston Road, London },TW1 2DB 32 East 57th Street, New York, NY10022, USA 296 Beaconsfield Parade, Middle Park, Melbourne 3206. Australia
© Cambridge University Press 1975 First published 1975 Printed in Great Britain at the University Printing House. Cambridge (Euan Phillips, University Printer)
Library of Congres8 Cataloguing in Publication Data Copson, Edward Thomas, 1901Partial differential equations. Bibliography: p. 277 Includes index. 1. Differential equation, Partial.!. Title. QA377.Cn 515'.353 74--12965 ISBN 0 521 205832 hard covers ISBN 0 521098939 paperback
CONTENTS
Preface
page vii
1 Partial differential equations of the first order
1
2 Characteristics of equations of the second order
24
3 Boundary value and initial value problems
44
4 Equations of hyperbolic type
54
5 Riemann's method
77
6 The equation of wave motions
90
7 Marcel Riesz's method
107
8 Potential theory in the plane
131
9 Subharmonic functions and the problem of Dirichlet
175
10 Equations of elliptic type in the plane
186
11 Equations of elliptic type in space
207
12 The equation of heat
238
Appendix
271
Books for further reading
277
Index
279
PREFACE
This book has been written in memory of my father-in-law the late Professor Sir Edmund Whittaker, F.R.S., in gratitude for all the help and encouragement he gave me for over thirty years. Today is the hundredth anniversary of his birth. When I went to Edinburgh as a young lecturer in 1922, I was surprised to find how different the curriculum was from that in Oxford. It included such topics as Lebesgue integration, matrix theory, numerical analysis, Riemannian geometry, of which I knew nothing. I was particularly impressed by Whittaker's lectures on partial differential equations to undergraduate and postgraduate students, far different from the standard English textbooks of the time. This book is not based on Whittaker's lectures; yet without his inspiration it would never have been written. I have frequently given courses of lectures on partial differential equations and have always regretted that there was no book to which I could refer my stud~nts. Friends told me that the remedy was to write one myself; and here it is, a presentation of some of the theory by the methods of classical analysis. There are few references to original sources. Mter lecturing on the subject for so many years, I could not now say whence the material came. On page 277 will be found a list of the books which I have read with profit, many of them more advanced than this.
E.T.C. St Andrews 24 October 1973
[ vii]
1
PARTIAL DIFFERENTIAL EQUATIONS OF THE FIRST ORDER
1.1 Lagrange's equation Lagrange's partial differential equation ofthe first order is ofthe form Pp+Qq = R,
(1)
where p = ou/ox, q = ou/oy and P, Q, R are functions of x, y and u; it is sometimes called a quasi-linear equation since it is linear in the derivatives. If P, Q and R do not involve u, Lagrange's equation is said to be linear; if only R involves u it is said to be semi-linear. By a solution of (1), is meant a function u(x, y) which satisfies the differential equation; but we often have to be content with a solution defined implicitly by a relation !(x, y, u) = O. If we regard (x, y, u) as rectangular Cartesian coordinates, !(x, y, u) = 0 is the equation of a surface; if! = 0 provides a solution of (1), the surface is called an integral surface. The fundamental problem is: given a regular arct r in space, is there a unique integral surface through r? Alternatively, given a regular arc l' in the xy-plane, is there a solution u(x,y) of (1) which takes given values on 1'? Let the parametric equations of r be x = xo(t),
y = yo(t),
u = uo(t)·
On any surface, du = pdx+qdy. Hence, if there is an integral surface through r, the values Po(t), qo(t) of p and q on the integral surface at the point of parameter t of r satisfy (2)
where dots denote differentiation with respect to t. If we denote by Po, Qo,R othe values ofP, Q,R at the pointofr ofparametert, we have PoPo + Qoqo = R o·
(3)
Hence if XoQo - Yo Po is not zero, Po and qo are determined. It is conventional to denote the second derivatives u=, u Zll ' u llll by r, 8, t; the fact that we have also used t to denote the parameter of r t The term regular arc is defined [ 1 ]
in Note 3 of the Appendix.
2]
EQUATIONS OF THE FIRST ORDER
[1.1
will not cause any confusion. If we differentiate (1) with respect to x, weget Pr+Qs
=
F(x,y,u,p,q),
so that, at the point of r of parameter t, Poro+Qos o = Fo·
Since dp = rdx+sdy, If xoQo-YoPo is not zero, Po and qo are determined on r, and hence so also are ro and So' Similarly we can find all the partial derivatives of u on r. Thus we get a formal solution as a Taylor series u = uo+{Po(x-xo)+qo(y-yo)} + l-{ro(x - XO)2 + 2s o(x-x o) (y- Yo) + to(Y _YO)2} + ....
Under suitable conditions, it can be shown that the series converges in a neighbourhood of (x o' Yo' u o) of r, provided that x oQo - Yo Po is not zero. Now drop the suffix zero which has served its purpose. At a point of r, an integral surface satisfies Pp+Qq = R,
Hence
px+qy = u.
(Qx-Py)q = Rx-Pu,
and similarly for p. If Qx - Py vanishes at every point of r, this equation is impossible unless the transport equation Pu
(or equivalently)
=
Rx
Qu =Ry
°
is satisfied. Hence, if Qx-Py = on r, there is no integral surface through runless u satisfies the transport equation; and then there are an infinite number ofintegral surfaces since q can be chosen arbitrarily. An arc r which has this property is called a characteristic. There is one characteristic through each point of space at which P, Q, R are not all zero; a charact.eristic satisfies
x y P
u
Q "k
A characteristic is the curve of intersection of two integral surfaces. For ifu = u1(x,y), u = u 2(x,y) are two intersecting integral surfaces, P1dx+q1dy-du
=
0,
P2d:r+q2dy-du = 0,
EQUATIONS OF 1.1J in an obvious notation, and so
But
PPI +Qql = R,
so that
Pp2+Qq'J = R
~=_Q_= ql-q2
[3
THE FIRST ORDER
P2-Pl
R P2ql -Plq2
Therefore on the curve of intersection of two integral surfaces,
The differential equations for a characteristic can be written as
x=
Y = Q,
P,
1i = R
by a change of parameter. The solution of these equations contains three constants of integration; two of these can be the coordinates of the point where the characteristic cuts, say, the plane u = 0, and the third can be fixed by measuring t from that point - the differential equations are unaltered if we replace t by t + c. The characteristics then form a two-parameter family. If C is a noncharacteristic are, it can be shown that the unique integral surface through C is generated by the one-parameter family of characteristics which intersect C. Again, ifthe two-parameter family ofcharacteristics is given by ¢(x, y, u)
=
a,
'!fr(x, y, u) = b,
we can construct a one-parameter family by setting up a relation between a and b, say b = F(a). This one-parameter family generates the integral surface '!fr(x,y,u) = F{¢(x,y,u)}.
°
The projection'}' of a characteristic r on the plane u = is called a characteristic base-curve. If P and Q do not involve u, the characteristic base-curves satisfy
x=P,
y=Q.
In order that there may be a solution which takes given values on '}', the data must satisfy the equation
Pu =Rx.
4]
EQUATIONS OF THE FIRST ORDER
[1.2
1.2 Two examples We know that, if u is a homogeneous function of x and y of degree n then ou ou x ox + Y oy = nu. We now prove the converse. The subsidiary equations of Lagrange are dx x
dy y
du nu'
-=-=-
From these equations we get '!f...=a x '
Hence the general solution is
;n =f(~). As a second example, let. us find the integral surface of (y-u)p+ (u-x)q = x-y,
which goes through the curve u = 0, xy = 1. The characteristics are given by x = y-u,
which give
y = u-x,
x+y+u = 0,
U = x-y,
xx+yy+uu = 0.
Hence the characteristics are circles, x+y+u = a,
X2+y2+ U2 = b.
We have to choose the one-parameter family which goes through u = O,xy = 1. When u = O,xy = 1, a 2 = (X+y)2 = X2+y2+ 2xy
:z
b + 2.
The required integral surface is therefore (X+y+U)2
or
=
X2+y2+ U2+ 2 1-xy x+y'
u=--
1.3] 1.3
[5
EQUATIONS OF THE FIRST ORDER
The general first order equation
We now ask the same question concerning the general first order equation F(x, y, U,p, q) = 0. (1) Does there exist an integral surface through a given regular arc
x
= xo(t),
Y
= yo(t),
r
U = uo(t)?
The method is to try to construct a Taylor series which satisfies (1) and converges in a neighbourhood of an arbitrary point of r. This involves calculating at that point all the partial derivatives of u. The first derivatives of u satisfy the condition du = pdx+qdy, so their values Po and qo at the point of r of parameter t are given by
F(x o, Yo, Uo,Po, qo) xoPo+Yoqo
=
=
0,
uo'
We suppose that we can find a real pair (Po, qo) which satisfies these equations; if we cannot, there is no real integral surface. Next denote the partial derivatives of F with respect to x, y, U,p, q by X, Y, U, P, Q. Then, if we differentiate (1) partially with respect to x, the variables U,p, q now being functions of x and y, we get
Pr+Qs+X + Up = 0. By hypothesis, p is now known on
r. Using the condition
dp = rdx+sdy, the values of the second derivatives of rand s on
r
satisfy
~ro+Qo8o+Xo+UoPo = 0,
xoro+Yo8o = Po· (2)
Hence
(3)
Since where
Xdx+ Ydy+ Udu+Pdp+Qdq = 0, du
=
pdx+qdy,
(2) and (3) are in fact the same equa.tion. IfQoxo-~yo is not zero, the values ro,8o,to of the second derivatives are determined on r, and similarly for the derivatives of higher orders. Thus we again get a formal solution as a double Taylor
6]
EQUATIONS OF THE FIRST ORDER
[1.3
series which can, under suitable conditions, be shown to converge in some neighbourhood of the chosen point of r, provided that Qoxo-Poyo does not vanish there. Now drop the suffix zero. At a point ofr, an integral surface satisfies F(x,y,u,p,q) = 0, u = px+qy, Pr+Qs
and
=
-X-pU,
Ps+Qt = - Y -qU, rx+siJ = p,
where
(Qx-PiJ) s
Hence
=
sx+tiJ = q. -
(X +pU)x-Pp,
(Qx-PiJ)s = (Y +qU)iJ+Qq.
and
If Qx-PiJ vanishes at every point of r, there is no integral surface
through r unless the expressions on the right of the last two equations vanish. This means that there is no integral surface unless u,p, q are appropriately chosen on r. Thus we have now not an arc but a strip; a sort of narrow ribbon formed by the arc r and the associated surface elements specified by p and q. Such a ribbon is called a characteristic strip. The arc carrying the strip may be called a characteristic. The differential equations of a characteristic strip are
x'
u
p =~= pP+qQ
X+pU
F(x,y,u,p,q)
and also
=
Y+qU
0,
regarded, not as a differential equation, but as an equation in five variables. By a change in the parameter t, we can write the equations as x=P, where
iJ=Q,
u=pP+qQ,
p= -X-pU,
q= -Y-qU,
F(x, y, U,p, q) = 0.
The characteristic strips form a three-parameter family. There are five constants of integration; one of these is fixed by the identity F = 0, the second by choice of the origin of t. The unique integral surface which passes through a non-characteristic arc C is generated by a one-parameter family of characteristic strips. The first step is to construct an initial integral strip by asso-
1.3]
EQUATIONS OF THE FIRST ORDER
[7
ciating with each point of C a surface element whose normal is in the direction p:q: -1. If the parametric equations of Care x = xo(s),
y = yo(s),
u = uo(s),
where s need not be the arc-length, we choose p = Po(s), duo ds
so that
q = qo(s) dx o
8yo
= Po di + qo ds
and Through each surface element of the initial strip, there passes a unique characteristic strip. The one-parameter family of characteristic strips so formed generates the required integral surface, as illustrated by the example of the next section. This method is usually called the method of Lagrange and Charpit. It will be noticed that although the quasi-linear equation Pp+Qq = R
does possess characteristic strips no use is made of them in solving such an equation. This is because of an important geometrical difference between Lagrange's equation and the general equation F(x,y,u,p,q) = 0. If (x o, Yo' u o) is a point on an integral surface of F = 0, the direction ratios Po:qo: -1 of the normal there satisfy F(x o, Yo, uo,Po' qo) = 0.
Hence the normals to all possible integral surfaces through the point generate a cone N whose equation is F(X o, YO' u O' - x-xo , _y-Yo) u-u o u-u o
=
0.
The tangent planes at (x o, Yo, u o) to all possible integral surfaces through this point envelope another cone T whose equation is obtained by eliminating Po and qo from the equations u-
Uo
= Po(x - x o) + qo(y - Yo)'
(x-xo)Qo-(Y-yo)~
= 0,
F(x o,Yo' uo,Po, qo) = 0,
where ~ and Qo denote the values of 8F/8p and 8F/8q at
8]
EQUATIONS OF THE FIRST ORDER
[1.3
The tangent plane to a particular integral surface at (x o, Yo, u o) goes through a generator ofthe cone T; the normal there lies on the cone N. In the case of Lagrange's equation, the cone N degenerates into the plane the cone T becomes the straight line x-x o
u-u o
p;-
Jr' o
1.4 An example of the Lagrange-Charpit method We find by the method of characteristics the integral surface of pq = xy which goes through the curve u = x, y = O. The characteristic strips are given by the differential equations
x=
if
q,
=
u=
p,
P=
2pq,
q= x
y,
= xy. It turns out that t Aet+Be- , y = Cet+De- t, u = ACe 2t -BDe- 2t +E, p = Cet-De- t , q = Aet-Be-t ,
and the relation pq
x
=
where the constants of integration are connected by
AD+BC= O. x
On the initial curve
s,
=
y
=
u
0,
s.
=
On the initial integral strip, the equations du = pdx+qdy, pq = xy give p = 1, q = O. Let t be measured from the initial curve. Then when t = 0, we have
A+B
=
s,
C+D
C-D
1,
=
AC-BD+E = s,
A-B
=
0
AD + BC = O.
where These give
0,
=
A
=
B
=
!-s,
C = -D
=
i,
E
=
is,
the condition AD + BC = 0 being satisfied automatically since the initial strip is an integral strip. The characteristics through the initial integral strip are therefore
x
=
s cosht,
y
=
P = cosht,
sinht,
u
=
s cosh 2 t,
q = ssinht.
1.4]
EQUATIONS OF THE FIRST ORDER
[9
Eliminating 8 and t from the first three equations, we obtain u 2 = x2(1 +y2) as the equation of the required integral surface.
1.5 An initial value problemt In this section we prove that the equation P =f(x,y,u,q) (1) has, under certain conditions, a unique analytic solution which satisfies the initial conditions u(xo, y) = ¢(y), q(xo, y) = ¢'(y), (2) where ¢(y) is analytic. The result we obtain is a local result; we show, by the method of dominant functions, that there is a solution U = u(x, y) regular in a neighbourhood of any point (xo,Yo) of the initial line x = x o' It is convenient to write U o for ¢(Yo), qo for ¢'(Yo)' And we make the assumption that f(x, y, u, q) is an analytic function of four independent variables, regular in a neighbourhood of (xo,Yo, uo,qo)' The problem can be transformed into one involving three quasilinear equations with three dependent variables U,P, q. If there is an analytic solution, then oqjox = opjoy. From equation (1) we have oq op ox =fx+fup +fqox ' Hence U,P, q satisfy the equations OU -=P ox ' op op ox =fx+fup+fq Oy'
(3)
oq op ox = oy' under the initial conditions u(xo'y) = ¢(y), p(xo,Y) =f(xo,y,¢(y),¢'(y)), q(xo,Y) = ¢'(y). This system of three equations is equivalent to equation (1) under the initial conditions (2). From the first and last of equations (3),
~(q_ OU) ox
oy
= 0
t See Notes 1 and 2 in the Appendix.
10]
EQUATIONS OF THE FIRST ORDER
OU q- oy =
so that
[1.5
W 1 (Y)·
By the initial conditions, w1 (y) is identically zero, so that q = oujoy. The second equation of (3) gives
op oq ox =fx+fup+fq ox since
=
of ox
oq 02U 02U op ox = ox oy = oy ox = oy'
when u is analytic. Hence
P = f(x, y, u, q) + w2 (y)· Again, by the initial conditions, w2 (y) is identically zero, and so p = f(x, y, U, q). The coefficients in the second equation of (3) involve the independent variables x and y. We can get rid of this restriction by introducing two additional dependent variables £ and r; defined by
o£ or; ox = oy'
orJ
ox
=
°
under the initial conditions
£=
0,
r; = y-Yo,
when x = x o' Since r; is independent of x, r; = y - Yo for all x. Then o£lox = 1 so that £ = x-xo' If we put x = x o+£' y = yo+r; in f(x, y, U,p, q) we get an analytic function g(£, r;, U,p, q) of five variables regular in a neighbourhood of (0,0, uo'Po' qo)' We now have a system of five equations OU or; ox = P oy'
op Or; Op ox = {g,+gup} Oy +gq oy' oq op ox = oy' o£ or; ox = oy'
°
or; = ox '
1.5]
EQUATIONS OF THE FIRST ORDER
[11
with the initial conditions u
= ¢(y), P = f(x o, y, ¢(y), ¢'(y)), q = ¢'(y),
£=
0,
1J
= V-Yo
when x = x o' This system is of the form
i;
oUi _ OUi ox - j=1 (Iii oy
(i = 1,2, ... ,n)
with the initial conditions Ui
= ¢i(Y)
(i = 1,2, ... , n)
when x = X o' The coefficients (Iii are analytic functions of the dependent variables only, regular in a neighbourhood of (¢l(YO)' ¢2(YO)' ... , ¢n(Yo))
and the data ¢i(Y) regular in a neighbourhood of Yo' Here n = 5; later, we shall need the case n = 8. The method of proof does not depend on the number of variables. The easiest case is when n = 2. The general case is discussed in Courant and Hilbert's book. Consider, then, the simplest case of two equations OU ox
= A OU +B oV
OV ox
= C OU +D OV
oy oy
oy' oy'
under the initial conditions U
= ¢(y), v = 1fr(y),
when x = X o, where ¢ and 1fr are analytic functions regular in a neighbourhood of Yo' For simplicity in writing, shift the origin so that X o and Yo are zero. The coefficients A, B, C, D are analytic functions of U and v, regularinaneighbourhoodof(u o, vo),whereu o = ¢(O),vo = ljr(O). Again, by a shift of origin in the uv-plane, we can take U o and Vo to be zero. Since ¢,1fr and the coefficients are analytic, we can find constants M and R so that ¢(y) and 1fr(y) are dominated by My/(l-y/R) in Iyl 0, of hyperbolic type when xy < parabolic type on the axes.
°and of
5. A semi-linear system has two distinct families of characteristics ;(x, y) = constant, 'YJ(x, y) = constant. Prove that, if; and 'YJ are taken as
independent variables, the equations of the system are OU OV alo; +a20; = hI'
OU ov blO'YJ +b 2 O'YJ = h 2·
(; and 'YJ are called characteristic variables.)
6. In the equation aw",,,, + 2bw"'l1 + CW IIII = h, the coefficients a, b, C depend only on x and y, but h is a function of x, y, W"', w lI " Show that it is equivalent to the half-linear system au", + bv",+ bUll + cV II = h(x,y,u,v),
with characteristics given by
v",-u ll =
°
ay2-2bXfj+cx2 = 0.
EQUATIONS OF THE FIRST ORDER
[23
7. Find the integral surface of yp -xq = 1 + n 2 which goes through the circle u = 0, x2 +y2 = 1. 8. Find the integral surface of yp +xq = u which goes through the curve r,y = 0.
u =
9. Find the integral surface of xpq+ yq2 = 1 which goes through the curve u = x, y = 0. 10. Find the characteristic strips of xp +yq = pq. Deduce the equation of the integral surface through u = lx, y = 0. 11. u and v satisfy the system of quasi-linear equations
ou ou ov -+u-+2v- =0, ox oy oy ov ov ou 2 -+2u-+v- = 0. ox oy oy If u and v are given on a regular arc y, prove that the~partial derivatives of u and v on y can be found uniquely if Y =l= (u ± v) x. Showthat,ify = (u+v)xon y, values can be found for the first derivatives, though not uniquely, if u+2v is constant on y. Find the corresponding result if x = (u-v) yon y. If there is a family ofstraight lines x = at, y = bt which are characteristic base curves on which if = (u + v) X, prove that u and v are functions of yjx and hence that 2Y Y U=3 x + A , v=--A, 3x where A is an arbitrary constant. 12. If, in Ex. 11, u and v are taken as independent variables and x and y as dependent variables, show that the equations become
ox ox oy 2v--u-+- =0, OU ov ov
ox Ox .oy 2u--v--2- =0. ou ov ou
Prove that this system has characteristics u ± 2v = constant. Show that, if ; = u+2v, 'Y/ = u-2v,
ox (;+3'Y/) 0;
oy
= 4 0;'
ox oy = 4-. 0'Y/ 0'Y/
(3s+'Y/)-
2
CHARACTERISTICS OF EQUATIONS OF THE SECOND ORDER
2.1
The general equation of the second order
The general equation of the second order with two independent variables is (1) F(x,y,u,p,q,r,s,t) = 0, where, in the usual notation, p = u x ' q = u lI ' r = u xx ' S = U Xll ' t = U lIlI " Given a regular arc r in space, (x, y, u) being rectangular Cartesian coordinates, does there exist a unique solution of (1), forwhichp and q take given values on n This is called the Problem of Cauchy; the existence theorem under appropriate conditions is the theorem of Cauchy and Kowalewsky. There are two other ways offormulatingthe problem. If D. is a developable surface containing r, does there exist a unique integral surface which touches D. along r? Alternatively, if y is a regular arc in the x, y-plane, does there exist a unique solution of (1) for which u,p,q take given values on y? The data must satisfy the strip condition du = pdx+qdy on y. The Cauchy-Kowalewsky theorem is a local theorem. It is assumed that F is an analytic function of the eight variables, and that the data U,p, q are analytic functions of the parameter, say the arc, which defines position on y. The result is that, if (x o, Yo) is any point of y, there exists a unique solution of (1) in the form of a convergent Taylor series co (x-x )m(y_y )n U
=
U
00
+ ~u 1 mn
0
m!n!
0
where U mn is the value of om+nujoxmoyn at (x o, Yo). The first step is to show that u has unique partial derivatives of all orders at every point ofy. The result is that the problem has a unique solution in a domain containing y. On y, we have u, p and q, analytic functions of the arc length 1say. Denote differentiation with respect to the arc by dashes. Then on y p' = rx' +sy',
q' =
SX'
+ty'.
(2)
We have three equations (1) and (2) to determine r, s, t on y. There are three possibilities. Firstly, there may be no set of real values of (r,s,t) which satisfies (1) and (2); in this case the problem has no [ 24 ]
2.1]
[25
CHARACTERISTICS
solution. Secondly, there may be just one real set (r, s, t) which satisfies (1) and (2); in this case, ifthere is a solution, it is unique. Thirdly, there may be several real sets, in which case we may get a solution corresponding to each set. Suppose that there is just one set. The next step is to calculate the third derivatives. If we differentiate (1) partially with respect to x, we obtain
Rrx+Ssx+Tt x =
-x - Up-Pr-Qs
(3)
in the obvious notation (R = of/or, ... ). In this equation, everything is known on y except rx , sx' t x. Sincedr = rxdx + sxdy, ds = sxdx+txdy, because r y = sx' Sy = t x' we have on y x'rx+Y'sx = r', . x'sx + y't x = s'.
(4)
vVe now have three equations to determine rx ' Sx and tx on y, namely (3) and (4). The three derivatives are determined uniquely provided that the determinant of (3) and (4) does not vanish. That is, provided that Ry'2 - Sx'y' + TX'2 does not vanish. Similarly we can calculate all the partial derivatives of u on y provided that this condition is satisfied. IfRy'2 - Sx'y' + TX'2 vanishes everywhere on y, y is called a characteristic base curve. The condition Ry'2_Sx 'y' + TX'2 = 0 for a curve y to be a characteristic usually depends on the values of u, p and q given on y. The following examples make this clearer. The curve y is a characteristic of p2r - 3pqs + 2q 2t = 0 py'2 - 3pqx'y' + 2q2x'2 =
if
o.
If y = x is a characteristic, p2 - 3pq + 2q2 = o. The data must satisfy p = q or p = 2q on the line; otherwise it is not a characteristic. The curve y is a characteristic of r-3q+2t
=
y'2 - 3x'y' + 2X'2
if
0
= 0,
a condition which does not depend on the data. Either y' = x' or y' = 2x' so that there are two real families of characteristics y = x + a and y = 2x + f3 where a and f3 are constants. Lastly, the curve y is a pr - qs = 0 characteristic of if
py'2 -qx'y' =
o.
There is one family, y = constant, of characteristics independent of the data; the otherfamily, given bypy' -qx' = O,depends on the data. 2
CPO
26]
2.2
[2.2
CHARACTERISTICS
The Cauchy-Kowalewsky theorem
If F(x,y,u,p,q,r,s,t) getting
= 0 involves
r explicitly, we can solve for r, (1)
r =j(x,y,u,p,q,s,t).
This is no restriction; for if it does not involve r explicitly, we can always make a change of independent variables to (x',y') say, so that 82u/oX'2 does occur explicitly. The Cauchy-Kowalewsky Theorem asserts that, if j is an analytic function of the seven variables, there is a unique analytic solution of (1) which is regular in a neighbourhood of (x o, Yo) and which satisfies the conditions u
=
¢(y),
p
=
(2)
Jjr(y),
when x = x o, provided that ¢(y) and Jjr(y) are regular in a neighbourhood of Yo. If these conditions are satisfied at eyery point (x o, Yo) of a finite interval y of the initial line x = x o' the Problem of Cauchy posed in (1) and (2) has a unique solution regular near y. The case when y is a regular arc x = w(y) can be reduced to this case by a change of independent variable. The values of u and its first and second derivatives at (x o, Yo) are Uo
=
¢(Yo), So
=
Po
=
Jjr'(yo),
Jjr(yo), to
=
qo
=
¢'(Yo),
¢H(yO),
r o = j(xo,Yo' uo,Po' qo, so' to)·
And all the other partial derivatives are uniquely determined at (x o,Yo). The existence of a unique analytic solution of (1) is proved by transforming the problem into one of solving a system of six quasilinear equations with six dependent variables U,p, q, r, s, t. The argument is like that of § 1.5. We do not now assume that p, q, r, s, tare partial derivatives of u; that they are, will be a consequence of the system of equations. The system is Ux
= p,
r, qx = Py, Sx = ry, tx = Sy,} r x = X + Up+Pr+Qpy+Sry+Tsy, Px
=
(3)
where X = oj/ox, etc.,j(x,y,u,p,q,s,t) being regarded as a function of seven independent variables. Note that in each of equations (3), the partial derivatives with respect to x occur on the left but not on the right. The conditions when x = X o are u
and
=
¢(y),
p
=
Jjr(y) ,
q
=
¢'(y),
S = Jjr'(y),
t
r = j(xo, y, ¢(y), Jjr(y) , ¢'(y), Jjr'(y), ¢JH(y)).
=
¢H(y),
(4)
2.2J
CHARACTERISTICS
[27
The first and second equations of (3) ensure that p and r have their usual meanings. The first and third give
~ ox
(q_ OU) = 0, oY
so that q-u y is independent of x. Using (4), we find that q = u y. The second and fourth equations give
!.(8- OP) ox oy
= 0
,
so that 8-py is independent ofx. Using (4), we find that 8 = Py = u xv ' Similarly for t and r. Thus system (3) with conditions (4) is equivalent to equation (1) with conditions (2). The coefficients in the last equation of (3) involve x and Y as well as the five dependent variables u,p,q,8,t. By introducing two more variables ~ and 1J, we get a system in which the coefficients do not involve x and y. We define 1J by 1Jx = 0 with the condition that 17=Y-Yo when x=x o; then 1J=Y-Yo for all x. We define ~ by ~x = 1Jy, where ~ = 0 when x = x o' This gives ~x = 1 and so ~ = X-X o' Now write f(XO+~'YO+1J,U,p,q,8,t)= g(~,1J,U,p,q,8,t).
vVe now have the system
rx = (gf,+guP+gpr)1Jy +gq py+gsry+gt 8y, ~x = 1Jy,
under the given conditions when x
i
OUi oU; ox = ;=lgii OY'
1Jx = 0 = X o.
This system is of the form
(i=1,2, ... ,n)
with initial conditions when x = x o, which was discussed in § 1.5. The coefficients gii are functions of the Uz only, and are regular in a neighbourhood of { 0, but of hyperbolic type when y < o.
2.3]
CHARACTERISTICS
[29
Return now to equation (2). If y is a characteristic, (2) gives, in general, an infinite value for 8, and so there is no integral surface satisfying the prescribed conditions. But if the data on y satisfy ap'y' +bq'x' + Fx'y' = 0
(3)
we can assign 8 arbitrarily on y. This corresponds to the transport relation we found in the theory of linear systems of the first order. In fact, if (1) does not involve u explicitly, we can replace (1) by such a system, viz.
where F is linear in v and w, the second equation being the condition that vdx + wdy is an exact differential duo If y is a characteristic, there is no solution unless the data on y satisfy the transport condition (3); and, if the condition is satisfied, the solution is not unique. The simplest equation of hyperbolic type is the equation of wave motions r - t = O. The characteristics are given by y' = ± x', and so are straight lines x-y = constant and x+y = constant. The data on a characteristic must satisfy p'y' -q'x' = O. On x-y = constant, this shows that p - q is constant. Hence p-q = 2¢(x-y).
On x + y = constant, p
+ q is constant, and so p+q = 21fr(x+y).
Therefore p
= ¢(x-y)+1fr(x+y), q = -¢(x-y)+1fr(x+y),
and so
u = (x-y)+'¥(x+y),
the well-known solution. From this, the solution of the initial value problem u = f(x), U v = g(x) when y = 0, viz. U
= l{f(x-y)
+ f(x+y)}+l
f
X+V
x-v g(r)dr
follows. The problem of the vibrations of a string with fixed ends is to find the solution of r - t = Oin 0 ~ x ~ 1, y ~ 0 given thatu = f(x), U v = g(x) when y = 0, 0 ~ x ~ 1 and u = 0 when x = 0 or 1 and y ~ O. It can be discussed by the method of characteristics as in § 1.7. The problem of Cauchy is of little importance for equations of
[2.3
CHARACTERISTICS
30]
elliptic type. The fundamental problem for Laplace's equation is the problem of Dirichlet, to find a solution which takes given values on a simple closed regular curve C and which is analytic inside C. For example, if C is t,he circle x 2+ y2 = a 2, the solution which takes values cos 8 in polar coordinates on C and is analytic inside C is 'U = x/a; and the values of p and q on C follow. It is possible to ask whether there is a solution which satisfies Cauchy conditions on C. For example, if u = cos 8, ou/er = on C, the solution is r+t =
°
°
r
a
a
r
u = i-cos8+t-cos8.
This is regular except at the origin. This Cauchy problem has a solution regular near C, but no solution regular everywhere inside C.
2.4 The quasi-linear equation The quasi-linear equation of the second order is of the form Ar+2Hs+Bt+F = 0,
(1)
where A, H, B, F are analytic functions of five variables (x, y, v.,p, q) regular in some appropriate domain. Given a regular arc r in xyuspace, the theorem of Cauchy and Kowalewsky shows that there is a unique analytic solution, regular near r, on which p and q take given analytic values satisfying the strip condition du = pdx+qdy, provided that r is not a characteristic. Since the coefficients involve u, p and q, there is no unique family of characteristic base curves, so that the theory is more complicated than for the linear equation. On r, p' = rx' +sy', q' = sx' +ty', where dashes denote derivatives with respect to the arc length. Eliminating rand t from (1) we have (Ay'2 - 2Hx'y' + BX'2) s = Ap'y' + Bq'x' + Fx'y'
just as for the linear equation. Usually this determines s and so also rand t on r. But if Ay'2_2Hx'y'+Bx'2 = 0, (2) there is no solution unless Ap'y' + Bq'x' + Fx'y'
=
0.
(3)
If this last condition is satisfied, we can choose s arbitrarily and get an infinite member of solutions. A strip which satisfies equations (2) and (3) is called a characteristic strip. Suppose that A and B are not both zero. If they are, we make a
2.4]
[31
CHARACTERISTICS
linear change of variable. If A is zero, we interchange the parts played by x and y in what follows. Equation (2), regarded as a quadratic in y'lx', has two roots p and cr. If p and cr are complex, the equation is of elliptic type, and no characteristic strips exist. If p and cr are real and distinct, the equation is of hyperbolic type, and there are two families of characteristic strips. On the first family, y' =px', u' = px' + qy' , Ap'y' + Bq'x' + Fx'y' = 0.
Since B = pcrA, these equations become dy dx =p, du dx =p+qp,
(4)
dp dq A dx +Acr dx +F = 0.
The equations of the second system are obtained by interchanging p and cr. In equations (4), A, F, p and cr are functions of x, y, u, p and q. So we have three equations to determine y, u, p, q on a characteristic strip. If we put one of these variables equal to some arbitrary function of x, we have three equations to determine the other three. So the equations of a characteristic strip involve an arbitrary function. There are, in general, two families of characteristic strips. It can be shown that a surface generated by a one-parameter family of characteristic strips is an integral surface, and conversely. In practice, the method is complicated and of little use. We sometimes can make use of the differential equations of characteristic strips in a different way to find intermediate integrals, which are partial differential equations of the first order. The differential equations of one family of characteristic strips are dy-pdx
=
0,
du-pdx-qdy = 0, pAdp+Bdq+Fpdx
=
0.
If we can find functions a, fl, y such that a(dy-pdx) +fl(du-pdx-qdy) +y(Apdp +Bdq+Fpdx)
32]
CHARACTERISTICS
[2.4
is the exact differential dV of a function of five independent valuables x, y, U,p, q, the equation V = constant is called a first integral. It is a first order partial differential equation, and it can be shown that every solution of it satisfies Ar + 2Hs + Bt + F = O. If we can find two first integrals T~ = constant and T~ = constant, then but hyperbolic type in y < 0, has different normal forms in the elliptic and hyperbolic half-planes. vVe suppose that a, h, b are analytic functions of x, y regular in a domain D and that L(u) = is of fixed type in D. Let
°
°
; = ;(x, y), 1J = 1J(x, y) be a bijection which maps D onto a domain~. Every point of D has a unique image in~; every point of ~ has a unique inverse image in D. We suppose also that; and 1J are real and have continuous second derivatives. The Jacobian J = 8(;,1J) 8(x, y)
does not vanish on D. This mapping gives L(u) == aUg + 2KU{" + flu"" + 20,
(2)
where 0 does not involve the second derivatives of u. A straightforward calculation shows that
[2.5
CHARACTERISTICS
34]
where Q is the quadratic form Q(X, Y) = aX2+2hXY +bP,
and TI is the polar form of Q, namely TI(X, Y;X', Y')
=
aXX'+h(XY'+X'Y)+bYY'.
At any fixed point (x, y) there, are three cases. If ab - h 2 > 0, the equation Q(X, Y) = ± 1, where the sign is + or - according as a > or a < 0, represents an ellipse in the XY-plane; the equation L(u) = is then of elliptic type at (x,y). If ab-h 2 < 0, Q(X, Y) = 1 is the equation of a hyperbola; and L(u) = is of hyperbolic type at (x, y). Lastly, if ab - h 2 = 0, aQ(X, Y) = 1 is the equation of a pair of parallel lines; and L(u) = is of parabolic type at (x, y). Suppose that L(u) = is of hyperbolic type at every point of some domain D. ",Ve can choose ~ and 1J so that a and fJ both vanish everywhere. Then ~ and 1J both satisfy the equation
°
°
°
°
°
a¢~ + 2h¢x ¢y + b¢~ = 0.
The curves ~ = constant and 11 = constant are therefore the characteristics of L(u) = since on them
°
ady 2 - 2hdydx + bdx 2 = 0.
(3)
Since a, h, b are analytic in D, so also are ~ and 1J. ",Vhen chosen in this way, we obtain the normal form K
8 2u O~(}rl +0 = 0,
~
and 1J are
(4)
the form of the original equation when a and b are both zero. If a is not zero, (3) gives dy dx a so that the curves ~ = constant and 1J = constant are nowhere tangent, and the Jacobian J does not vanish. If a is zero, ~ is equal to x, and the changes are straightforward. A different normal form is obtained by putting ~ + 11 = A, ~ -1] = fL in (4), namely,
If L(u) is of elliptic type in D, the functions complex functions. In equation (4) ,we put ~ +1J
~
=
and 1J are conjugate A, ~ -1J = iv, where
2.5]
[35
CHARACTERISTICS
A and v are real. This gives the normal form K
021£ 02n} {o/p + ov 2 + G =
°
for an equation of elliptic type with two independent variables. Lastly, if rib - h 2 = 0, we can have a = 0, h = 0, and L(l£) = comes bl£ yy +F = 0,
°be-
which is already of normal form. A similar result follows if b h = 0. If a, b, h are not all zero, equation (3) becomes ady-hdx
=
=
0,
0.
If this has solution 1J = constant, the coefficient j3 vanishes. If we take any analytic function 1J(x, y) such that the Jacobian .J is not zero, we have an(~x, ~y; 1Jx' 1Jy) = a~x(a1Jx + h1Jy) + h~y(a1Jx + h1Jy) = 0,
so that then
K
= 0. The normal form for an equation of parabolic type is al£~s+G = 0.
The linear equation with constant coefficients can be still further simplified. The transformation from (x,y) to (A,,u) in the hyperbolic case is a non-singular linear transformation, and the transformed equation becomes 1£"" -1£1'1' + 2gl£).. + 2fu" + el£ = 0, where g,j, e are constants. If we put 1£ = vexp ( - gA + l,u), we obtain
v,u-vl',,+(e+j2-g2)v = 0. And similarly for the equation of elliptic type.
2.6 The half-linear equation with three independent variables The half-linear equation ofthe second order with independent variables x, y, z is of the form auxx + buyy + CU zz + 2/1£yz + 2gl£xx + 2hl£xy + F = 0,
(1)
where F is a function of x, y, Z, 1£ and the first derivatives of 1£, but a, b, e,j, g, h depend only on x, y and z. The problem of Cauchy for thi!! . equation is to show that, under appropriate conditions, there is a unique solution of (1) for which 1£ and its normal derivative ol£/oN take given values on a given regular cape. t If the coefficients in (1) t
See Note 6.
36]
CHARACTERISTICS
[2.6
and the data on C are analytic functions regular in a neighbourhood of every point of C, the proof of the existence of the solution goes very like that for two independent variables; we do not go into this in detail. The proof depends on showing that, in a neighbourhood of any point of C, a formal Taylor series satisfying the equation can usually be constructed and its convergence proved by the method of dominant functions. Let N be the unit vector normal to C. Since u and au/oN are given on C, all the first derivatives of u are known on C. Now, if w is a scalar, gradw can be resolved into a component N.gradw in the direction of Nand N x grad w in a direction perpendicular to N. Hence if w is known on C, N x grad w, being a tangential derivative, is known on C. In particular, the three vectors N x grad u x '
N x grad u y,
N x grad U z
are known on C. They are not independent, since each is perpendicular to N. In this way, we obtain nine expressions, each linear in the second derivatives of u, which are lmown on C. If (l, m, n) are the components of N, we can choose five of these expressions which are linearly independent. Such a set is nuxx -luxz =
v
luyy - muXY = 2' muzz - nuyZ = 3' muxz - nuxy luyz - muzx where
=
4'
=
5'
(2)
auxx + buyy + cUzz + 2fuyz + 2guzx + 2huxy = - F.
The expressions on the right are all known on C. Hence we can find all the second derivatives on C, provided that the determinant a n 0 0 0 0
b 0
2f 2g 2h 0 -l 0 1 0 0 0 -m 0 m -nO 0 0 0 0 1)1, -n 0 0 1 -m 0 C
0
is not zero. This determinant is equal to lmn(al 2 + bm 2 + cn 2 + 2fmn + 2gnl + 2hlm).
CHARACTERISTICS [37 2.6] If 1mn is not zero, all the second derivatives of u are determined on the cap C, provided that the quadratic form
Q = a1 2 + bm 2 + cn 2 + 2fmn + 2gm1 + 2h1m does not vanish. This condition is also sufficient in the exceptional case 1mn = 0. If 1 = m = 0, n = 1, C lies on a plane z = constant. The data determine all the second derivatives except u zz ; the differential equation then gives u zz provided that c 4= 0. If n = 0, 1m 4= 0, u xz' u yZ' U zz are all determined on C. We then have
1uyy - muxy = 2' 1uxv - muxx = 6' which determine U xx' U yy , uxvprovided thata1 2 +bm2 + 2h1m 4= 0. Thus, in any case, unless Q = 0, the second derivatives of u are determined onC. We could go on to discuss higher derivatives, and prove the CauchyKowalewsky theorem for the half-linear equation. But what happens when Q = is more interesting; for if Q = everywhere on C, the problem proposed does not have a unique solution. C is said to be a characteristic. Suppose that the equation of Cis ¢(x, y, z) = 0. Since
°
°
l:m:n
=
¢x:¢y:¢z'
we have the partial differential equation a¢~+b¢~+c¢~+2f¢y¢z+2g¢z¢x+2h¢x¢y = 0,
(3)
satisfied by the characteristic surfaces of (1). Since the coefficients were assumed to be functions of x, y, z alone in the semi-linear equation (1), the family of characteristics is independent of the data in the Cauchy problem. We can arrive at the condition (3) in a somewhat different way. We can ask what conditions ¢ must satisfy if the problem of Cauchy does not have a unique solution with data on the surface ¢(x, y, z) = 0. In other words, can there exist two solutions u = ul(x,y,z) and u = u 2 (x, y, z) of (1) with the properties
on ¢ = o?
8ul
8u 2
8z
8z
[2.6
CHARACTERISTICS
38]
'\Trite u l
u2
-
= V,
so that v and its first derivatives vanish on
9 = 0. Since F has the same values for U I and U 2 on 9 = 0, (4)
there. Let y be a regular arc x = x(t), Y = y(t),
89. 89. 89;, _
8x x+ 8y y+ 8z Since 8vJ8x vanishes on
w
-
Z
= z(t) on 9 = 0; then
° •
9 = 0,
z, we have
Eliminating
(9x'cxz-9zvxx)X+(9yVxz-9zVxy)if = 0. But since y is an arbitrary regular are, we can choose X, if as we please and so Hence on
vxx:vxy:vxz
9 = 0. Similarl:,-
Therefore on
9 = 0,
•V • •• • V xx· yyoL ZZ ·
=
9x:9y:9z
Vyx:Vyy:VyZ = 9x:9y:9z' vzx:VZy:vzz = 9x:9y:9z· v yzovzx· .•, . vxy
_,1,2 • ,1,2 • ,1,2.,1, ,I, .,1, ,I, .,1, ,I, ¥'X"¥'y"¥'z·Yy't'Z"¥'Z¥'x·Yx't'y·
-
Hence, by (4)
a9;,+b¢;+C9;+2j¢y9z+2g9z9x+2h9x9y = 0,
°
so that if; = is a characteristic. If we solve if;(x, y, z) = for z, and if we denote the partial derivatives of Z by p and q, the differential equation for the characteristics becomes ap2+bq2+C- 2fq- 2gp+ 2hpq = 0. (5)
°
The characteristics can be built up from the characteristics of this first order equation, as we saw in eh. 1. The characteristics of (5) are called the bicharacteristics of equation (1).
2.7
The half-linear equation in general The half-linear equation with n independent variables (Xl. x 2 ' is of the form n 82u L: aij 8-;::- +F = 0, I xiox j
••• ,
x n ), (1)
2.7]
CHARACTERISTICS
[39
where a ij are functions of the independent variables alone, but F can also involve U and its first derivatiyes; it can be treated by the method of §2.6. Its characteristics satisfy the first-order equation n 8¢ 8¢ L:I a ij uX ;- " = 0. uX i
(2)
j
Consider the quadratic form
where the coefficients are evaluated at any fixed point Po. By a suitable non-singular linear transformation, we can express Q as a sum of squares m Q = L:JLi1J~, (3) i=l
where m ~ n. The number m does not depend on the particular linear transformation. If m is less than n, the equation (1) is said to be of parabolic type at Po. If m = n, the number of positive coefficients fLi does not depend on the particular linear transformation. If the transformation is orthogonal, the fLi are the latent roots (eigenvalues) of the matrix (a ij ). If all the coefficients fLi are of the same sign, (1) is said to be of elliptic type at -Po. An equation which is everywhere of elliptic type has no characteristics. If all but one of the fLi are of the same sign, the equation is said to be of hyperbolic type at Po. There are intermediate cases, such as Uxx+Uyy-Uzz-Utt
= 0,
which are of neither type; about these, little is known.
2.8
The half-linear equation with constant coefficients The half-linear equation with n independent variables (Xl' X 2 ' ••• , x n )
is of the form
n
82u
I
UXiUXj
L:aij~+F
= 0,
where F is a function of the independent variables and possibly of U and its first derivatives. If we introduce new independent variables £i
= £i(X I , x 2 '
••• ,
xn )
(i = 1,2, ... , n)
and try to choose the functions £i so that the resulting equation is of the form n 82u ~bi 8£;+0 = 0,
40]
CHARACTERISTICS
[2.8
we find that the n functions ~i have to satisfy tn(n-1) differential equations of the first order. This is, in general, impossible if n > 3; if n = 3, there are just enough conditions to determine the functions ~;. There are special cases when it is possible to make a transformation of this kind when n > 3; a particular case is when the coefficients a ij are constants. ",",Vhen the coefficients are constants, the differential operator
L(u)
=
13 2u
2:a·.-t] 13x 13x i
j
can be written in vector form
L(u) = STASu, where A is the real symmetric matrix (a ij ), ST is the row-vector operator
and S is the transpose of ST. Let x' = M x be a real non-singular linear transformation from the variables (X V x 2 , •.. ,xn ) to (x~,x~, ... ,x~), using the obvious vector notation. Then where S' is the transpose of the row-vector operator (S' ) T -_
(
8
8
uX!
uX 2
8 )
",",,,,", ... '2+-;-2+2~+2~+2~+2~ uX uZ uxoy uXuZ uXOt ozut ...
82u uX
82u oxoy
82 u uXuz
= 0.
= 0.
82u uXut
(lll) = u+ R' o
where R o is the distance from ~. The potential u of the induced charge satisfies Laplace's equation, has no singularities outside Sand has a gradient which vanishes at infinity. On S, u = -ejRo. Again it is 'obvious' that u is uniquely determined. Finding u is a particular case of the external problem of Dirichlet. Laplace's equation is also satisfied by the velocity potential defining the irrotational motion of an incompressible perfect fluid. Suppose that the motion of such a fluid in a spherical cavity D with rigid wall S is caused for a source m at ~ and an equal sink at Pl. If the distances of a point of the cavity from Po and PI are R o and R I respectively, the velocity potential is
m m 1>=u+---
Ro R I '
where u is a solution of Laplace's equation with no singularity in D. Since there is no flow across S, the normal velocity 81>j8N vanishes on S. Hence u satisfies the condition
:; =
8~ (;: - ;:)
on S. Obviously u is uniquely determined, up to an additive constant. This is a particular case of the problem of Neumann. Lastly suppose that we have a rigid spherical obstacle D fixed in a perfect fluid whose flow at infinity is uniform with velocity V. The velocity potential outside D is
1> = u+ Vx. The function u is a solution of Laplace's equation with no singularity
46]
BOUNDARY AND INITIAL VALUE PROBLEMS
[3.1
outside D. On the boundary of D, 8u 8 8N = - 8N(Vx)
and at infinity grad u vanishes. This is a particular case of the external problem of Neumann. Naturally, in all these problems, there is no special merit in considering only spherical boundaries except that it saves a lengthy explanation of the nature of the boundary. The important problems for Laplace's equations are thus boundary value problems, in "Which only one condition is satisfied on the boundary.
3.2 The equation of wave motions The simplest equation of hyperbolic type is the equation of "Wave motions 2 Y'2 Zt
1 8u
= c2 satisfies 02U 20u
or 2 +;; or and, if we put U =
1 o2u
= C2 8f2:
vir, we obtain the one-dimensional wave equation 02V
or 2
1 02V
= C2 ot 2 •
Hence a solution of (4) which represents expanding waves with spherical symmetry is of the form 1
U
= - f(ct- r). r
3.3]
BOUNDARY AND INITIAL VALUE PROBLEMS
Let us suppose thatf(r) andf'(r) vanish when r 1
U
= - f(ct-r),
r
~
ct;
= 0,
r
~
ct,
r
~
[49
O. Then
is the velocity potential of sound waves of small amplitude due to a source at the origin expanding into the gas at rest. The disturbance at a point distance r from the origin is zero until the instant t = ric. The plane sections t = constant of the characteristic cone x 2+ y2 + Z2 = c2t2 give the successive positions of the moving wave front. :More generally, a disturbance with wave front f(x, y, z) = t propagated into the gas initially at rest is specified by a velocity potential u which is zero on one side of the wave front and non-zero on the other. If the motion is not a shock wave, u and its first derivatives vanish on the wave front. Hence we have two solutions, U = U 1 representing the propagated waves and U = 0 representing the state of rest, which are equal and have equal first derivatives on the wave front, which is therefore a characteristic. Suppose that the normal at (x, y, z) onf(x, y, z) = t cutsf(x, y, z) = t' where t' > tat (x',y',z'). If the distance from (x,y,z) to (x',y',z') is J,
f(x+lJ,y+mJ,z+nJ) = t', where (l,m,n) are the direction cosines of the normal. Then
t' -t =f(x+lJ,y+mJ,z+nJ)-f(x,y,z) = J{lfx + mfy + nfz}, where fx,fy,fz are evaluated at (x + etJ, y + 8mJ, z + 8nJ) where 0 o. A discontinuity in the data for p produces a discontinuity in r along Oy. Similarly a discontinuity in the data for q produces a discontinuity in t along Ox. The argument can be extended by a change of variable to the case when the Cauchy data are given on a curve y = ¢(x), where ¢(x) is strictly monotonic and is such that no characteristic touches y = ¢(x) or cuts it in more than one point. Such a curve is said to be duly r=!,,(x)+h'(x)=g'(x)
inclined.
4.3 The uniqueness theorem for u xy = 0 In § 4.2 we found a solution of u xy == 0 satisfying the Cauchy conditions U = f(x), p == g(x), q = h(x) on x+y = 0, where!, = g-h. If AB is a closed segment ofx+y = 0 on which!", g', h' are continuous, the solution we found has continuous second derivatives on the square with AB as diagonal. If there were two such solutions U 1 and U 2 , U = U 1 - U 2 would also be a solution of Uxy = 0 satisfying the conditions U = P = q = 0 on AB. To prove uniqueness, we have to show that U 1 - u 2 is identically zero on the square. Suppose, then, that U is a solution of Uxy = 0 with zero Cauchy data on the segment AB of x+ y = 0, and that U has continuous second derivatives on the squal'e with AB as diagonal. Let the characteristics through any point P(x, y) of the square cut AB in Q( - y, y) and R(x, - x). If D is the triangle PQR, r its perimeter, we have, by Green's theorem given in Note 5 of the Appendix,
fr
(lu;+muVds
= 2 ff»
(u'I U 'Ig+ u gu g'l)dgd1]
= 0,
land m being the direction cosines of the outward normal to Therefore _y u~(g, y) dg +, -x u;(x, 1]) d1] = 0
fX
3
IY
r.
58]
[4.3
EQUATIONS OF HYPERBOLIC TYPE
since the first derivatives of 11 vanish on QR. Hence uf,(;,y) = O,(-y 0 given that
Ut = h(x),
when t = 0, we take r to be the triangle with vertices Po(xo, to), Q(xo - to, 0), R(xo + to, 0). The inclined sides of the triangle are characteristics. On PoQ,dx = dt; on PoR,dx = -dt. Hence equation (2) becomes
f
QR
(VUt-UVt)dX-f (VdU-Udv)+f (vdu-udv) = 0, RP. p.Q
whence
f
QR
(VUt-UVt)dX-[UV]~o+2f
RP,
UdV+[UV]~o-2f
~Q
udv
=
O.
If v is constant and equal to unity on PoQ and PoR, this gives up
o
=
1
!UQ+tuR+-2 f
QR
(VUt-uvt)dx.
(3)
The function v is the Riemann-Green function which we have to determine in order to complete the solution. We try to find the Riemann-Green function as a series of the form
where The conditions on the characteristics PoQ and PoR are satisfied by
86]
[5.6
RIEMANN'S METHOD
taking V o == 1. The differential equation L(v) = 0 becomes 00
fi
fi-1
00
2:o JDJ . L(v j ) + 4 2:1 (J.-1)' J., 0
0
0
{
OVo Ovo} (x- x o) -;-l + (t- to) "'t] uX u
4 [ (x-x ) -",-+(t-t OVj+l OV j ..1-1] Rence L(v j )+-.' +4V j ..1-1 = o o)--",
J+1
uX
ut
'
o.
This is satisfied when v j is constant and jj+l
=-
!L(v j )
::;: -
i vj
o
v j = (- !)i vo = (- i-)i.
Hence
Thus the Riemann-Green function is 00
v(x,t;xo,t o) =
(-1)ifi
2: -.-,-.,- 4i o J.J.
,
= Jo(.v f ),
where Jo is the Bessel function of order zero. In our initial value problem, f is negative, and so v = 1 0 [,J{(t-t o)2- (X-X O)2}],
where 10 is the Bessel function 'of imaginary argument'. This result can be easily verified. The solution (3) then becomes U(X o, to)
=
1fx'+to H(x o-to)+i!(xo +to)+2 zo_t,h(x)10 [,J{t 5 -(x-xo)2}]dx 1fx'+to 0 +2 !(x)fj10 [,/{t5- (X-X O)2}] dx. z,-t, to
5.7 More examples of the Riemann-Green function The Riemann-Green function v(x, y; x o, Yo) for the self-adjoint equation 02U v(1- v) --+---u=O oxoy (X+y)2 '
(1)
where v is a constant, is constant on the characteristics x = x o, y = Yo' and so is equal to unity when f
=
(x- xo)(y- Yo)
vanishes. Hence we try
with V o = 1.
v Ti
TI. o J.J.
00
v(x, y; x o, Yo)
= 2:
5.7]
RIEMANN'S METHOD
[87
The coefficients vi satisfy the recurrence relation ov i ov i · .02vi _ 1 .v(l-v) -0 (x-xo) y > 0 which satisfies the conditions U Ul/ = h(x) when y = o.
= f(x),
5. Prove that the Riemann-Green function for 02U
o2u
v(1- v)
---+--u=O ox2 oy2 x2 v(x,y; x O' Yo)
is
= F(v, 1-v; 1; f/(4xx o))'
where Hence find the solution which satisfies the conditions wheny = O.
U
= f(x),
ul/
= h(x)
6. Prove that the Riemann-Green function for o2u a OU b OU -+--+--=0 oXOy
x ox
x oy
,
where a and b are constants is v(x,y;xo, Yo) = ( XX)b exp {a(y-yo)} X IFI (1-b; 1; -af/(xxo)), o o f = (x-x o) (Y-Yo), where and
IFI (a;f3;
r(f3) ex> r(a+n) tn t) = r(a) ~ r(f3+n) n t"
7 v(x,y;xo,Yo) is the Riemann-Green function of
L(u) == u"'l/+gu",+ful/+cu = O. u(x, y; Xv YI) is the solution of L( u) u'" = - fu on y = Yv Ul/ = -gy on x = tion to
=0 Xl'
whi ch satisfies the conditions
By applying Green's transforma-
IID (vL(u)-~L*(v))dxdY,
where D is the rectangle with opposite corners (xo' Yo) and (xv Yo) and (Xl' YI)' prove that 4
CPD
6
THE EQUATION OF WAVE MOTIONS
6.1 Spherical waves The equation of wave motions in space of n dimensions is 82 U
,12U-= 0 8t 2
with an appropriate choice of units, \72 being Laplace's operator. In spherical polar coordinates, this is 2 2 8 U + n-1 8U +.!.A(U)- 8 U = 0, 81'2 l' 81' 1'2 8t 2
where A is a linear operator containing only derivatives with respect to the angle variables. A solution U with spherical symmetry about the origin does not involve the angle variables, and so satisfies 82U n-18U 82U (1) 81'2 +-1'- a;:- 8t2 = O. This can be reduced to the self-adjoint form 82 u
821l
01'2 - 8t2 -
(n- 1) (n- 3) 41'2 U = 0
(2)
by putting U = ur-(n-l)!2. When n = 3, this is the one-dimensional wave equation. Hence the general solution of the wave equation with spherical symmetry in three dimensional space is U =
~{ 1', this solution fails because f(1') [ 90 ]
6.1]
[91
WAVE MOTIONS
and h(r) are not defined for r < O. This is what we should expect; Cauchy data on t = 0, r ;?; 0 determine U only up to the characteristic r = t in the rt-plane. To determine U when t > r another condition must be satisfied on r = O. If we require U to be finite at r = 0 for all t ;?; 0, U must vanish for r = O. Now lfT+t U = !(r-t)f(r-t)+!(r+t)f(r+t)+2 T-t sh(s)ds,
when 0 in 0
~
r
~ ~
t
~
r, and
lfr'(t+r)
Ur
=
+ Ut is constant
on every characteristic r + t =
(r+t)f'(r+t)+f(r+t)+(r+t)h(r+t), lfr'(t) = tf'(t) + f(t) + th(t).
or Therefore and
(5)
¢(t) + lfr(t) = 0,
t, where
for t ;?; O. But since constant, we have
u = !¢(t-r)+ilfr(t+r)
lfr(t) = tf(t) + f~ sh(s) ds + lfr(O) ¢(t)
= - tf(t) - f~ sh(s) ds- lfr(O).
Inserting these values in (5), we find that, when t
;?;
r,
1 { -(t-r)f(t-r)+(t+r)f(t+r)+ ft+T U = 2r t-T sh(s)ds} .
Iff(s) and h(s) are zero for s ;?; a, then, for a fixed r ;?; a, U remains zero until t = r - a and again when t > r + a. Thd initial bounded disturbance is thus propagated with a sharp head and tail.
6.2 Cylindrical waves The equation of wave motions in two-dimensional space is 82U 1 8U 1 a2u 82U 8r2 802 - 8t2 = 0,
+r -ar+rz
in polar coordinates. This equation can be solved by the method of separation of variables. In particular, if U is independent of 0, it is of the form V(r) eit'T where T is a constant and
d2 V
1 dV
-+ - - + T 2 V= 0 dr 2 r dr '
w AVE
92]
[6.2
MOTIONS
which is Bessel's equation of order zero. There are two independent solutions Jo(r1') and :Yo(n); but it is preferable to use the Hankel functionst H~l)(r1')
= .lo(r1') + i:Yo(r1') ,
H~2)(r1')
= Jo(r1') -iYo(r1')
because of their simpler behaviour when r1' is large. Vile have, then, two solutions symmetrical about the origin U1 =
eiTtH~l)(n),
U2 =
eiTtH~2)(r1').
'Vhen r is real and r1' large, U1
(~)t exp(ir(t+1')-!7Ti), 7Tr1'
,....,
U2 ,...., (~)\ t exp (ir(t - 1') + !7Ti), 7Tr1'
so that the real parts of ~ and U2 represent contracting and expanding cylindrical waves respectively which vary simply-harmonically with the time. Using the integral formulae for the Hankel functions, we find that U1
= ~foo exp (itr +irr cosh¢» d¢>,
U2 =
7TZ
0
-~foo exp(itT-irrcosh¢»d¢>. 0 7T~
It follows that a general solution of the two-dimensional wave equation with symmetry about the origin is
oo
U
= f~oo dr fo d¢>exp (ir(t-1'cosh¢»)f(r)
oo
oo
or
U
+ f~oo dr fo
d¢>exp(ir(t+1'cosh¢»)g(r),
oo
= fo F(t-1'cosh¢»d¢>+ fo G(t+ l' cosh¢» d¢>.
(1)
This result, which corresponds to the solution (3) for spherical waves, has been obtained by a purely formal argument. To verify that, if F" is continuous, U =
oo fo F(t-1'cosh¢)d¢
(2)
t See, for example, Copson, Functions of a Complex Variable (Oxford, 1935), p. 323.
6.2]
[93
WAVE MOTIONS
satisfies the equation 02U
loU
02U
-+ ----= 0 dr 2 r or ot 2 is quite straightforward, provided that we can justify differentiation under the sign of integration and provided sinh ¢F'(t-r cosh¢) ~ as
¢~
+00.
°
The function (2) can be regarded as the cylindrical wave function due to a source of strength 27TF(t) at r = 0. A peculiarity of the twodimensional propagation of waves which it describes is the existence of a 'tail' to the disturbance. For if F(t) = when t > to, we have
°
U
=
!soo F(t-rcosh¢)d¢
when t > to+r, where rcoshs = t-t o; this expression does not generally vanish. In this respect, waves in two dimension differ essentially from those in spaces of one or three dimensions. A different integral formula for a cylindrical wave function U = f:f(t-rcOS¢)d¢ was given by Poisson; this is certainly valid iff" is continuous. None of these formulae is of much use in solving the initial value problem for the equation of cylindrical waves.
6.3 Poisson's mean value solution If p(x, y, z) has continuous partial derivatives of the first and second orders, the equation of wave motions (1)
has the solution
u
= tvll(p; x, y, z; t),
(2)
when t > 0, where vii denotes the mean value of p over the sphere with centre (x, y, z) and radius t; this solution satisfies the initial conditions u = 0, U t = P when t = and has continuous derivatives of the first and second orders. The proof uses Boussinesq's spherical potential
°
94]
[6.3
WAVE MOTIONS
where S is the sphere with centre (x, y, z) and radius t. If (l, m, n) are the direction cosines of the outward normal to S,
V(X,y,z,t) = t IInP(X+lt,y+mt,z+nt)dQ,
(3)
where Q is the unit sphere l2+ m2+ n 2 = 1. Evidently V has continuous deriYatives of the first and second orders, and vanishes when t = O. Now \72V(X,y,z,t) = tIIn \J2p(x+lt,y+mt,z+nt)dQ
If If ( = -+- If ( Iff 1 =t
eV V -+t ott
Also
V t
=
S
{02P 02p 02p } 0;2 + 0'17 2+ OS2 dS.
op op OP) dQ l-+m-+nnOx oy OZ
1
t
op op OP) dS l-+m-+n0; 0'17 os
s
V 1 = T+t
D
(02 p 02p 02p ) 0;2+ 0'172+ OS2 df,d1J d S,
(4)
where D is the interior of S. This may be written as
1ft dT Ifn T2\J2p(x+lT,y+mT,z+nr)dQ.
oV = -+V -d t t t
0
~
Hence 2
ae-
0ot2 V = t1 0V t2 V -i2 1
02V ot 2
By (4)
=t
If
Iff
+t
n
D
\J2p d;d1J dS
JIn \J2p(x+ It, y+rnt, z+
\J2p(x+lt,y+mt,z+nt)dQ
nt) dQ.
= \J2V,
(5)
so that V satisfies the equation of wave motions. Moreover
o-;,T' = ut so that
If
n
p(x+lt,y+mt,z+ nt) dQ+tff
n
(l~P +m 0; +n ~P) dQ, ox uy oz
T~(x,y,z,O)=47Tp(X,y,z).
(6)
Since V = 47TtJ/, it follows that
u = tvlt(p;x,y,z;t) is a solution of the equation of wave motions which has the required differentiability properties and satisfies the initial conditionE! 11 = 0
6.3] Ut
[95
WAVE MOTIONS
= p. We see later that it is unique. Moreover, if Ipl
< e, we have < te ~ Te in 0 ~ t ~ T, so that the problem is well posed. Ifu = V;(x,y,Z;t)!47T it follows from (6) and (5) that
InI
u(x, y, z; 0) = p(x, y, z),
ut(x, y, z, 0) =
o.
8
Hence
U
= at {tvK(p; x, y, z; t)}
satisfies the equation of wave motions under the initial conditions = p, U t = O. In order that this solution should have continuous derivatives of the second order, it suffices that p has continuous derivatives of the third order. Again, the solution is unique. And if Ipl < e, Igradpl < e, we have lui < e+te ~ (1 +T)e in 0 ~ t ~ T, so that the problem is well posed.
U
To sum up, if f(x, y, z) has continuous derivatives of the third order and h(x, y, z) of the second order, a solution of the wave equation in t > 0 satisfying the initial conditions u = f, U t = h is U
=
8
tvK(h;x,y,z;t)+8i{tvK(f;x,y,z;t)}.
(7)
We show later that this solution is unique. The expression on the right of (7) depends only on the initial data on the sphere with centre (x, y, z) and radius t. If f and h are zero except on some bounded closed set F, and if the greatest and least distances from F of some point (x, y, z) not in Fare R 1 and R 2 , then U = 0 when t > R 1 and when 0 < t < R 2 , since in these cases the sphere over which the mean is taken does not then cut F. The solution represents a wave motion with a sharply defined front and rear; there is no residual after-effect.
6.4 The method of descent If we use the method of §6.3 with the initial conditions u(x,y,z,O) =f(x,y),
ut(x,y,z,O)
=
h(x,y),
(1)
the two mean values in (7) do not involve z, and so the solution satisfies 82u 82u 8x 2 + 8y 2
82u
= 8i2 .
This device was called by Hadamard the method of descent.
(2)
96]
[6.4
WAVE MOTIONS
With this sort of data,
tJI(f;x,y;t) =
4~tffDf(x+£,y+1J)dS,
where integration is over the sphere £2 + 1J2 + S2 = t2 • Hence 1 tJI(f;x,y;t) = 27T
If
dsd1J r-.!(X+ S,Y+1J) \/(t2_S2_1J2)'
where ~o is the disc S2 + 1J2 ~ t 2, since dS = tdsd1JIISI; a factor 2 arises since there are two hemispheres in S ~ and S ~ whose projections on S = are both the disc ~o. The solution in t > of the initial value problem (1) for the equation of wave motions in the plane is thus
°
° U
1
= 27T
If
r-
° °
dsd1J h(s,1J) .J{t2_(X-S)2_(y-1J)2} 1 0 + 27T Ft
If/(s,
dsd1J 1J) \/{t2_ (X-S)2- (Y-1J)2}'
(3)
where integration is over the disc ~ on which (X-S)2+(Y-1J)2 ~ t 2. Suppose that f and h are zero except on a bounded closed set F. If (x, y) is a point outside F at a distance R from F, both integrals in (3) vanish when ~ t < R, but not when t > R. As t.-+ +00, the integrals tend to integrals over the whole plane, which are usually not zero. The solution (3) represents a wave motion which has a sharply defined start but leaves a residual after-effect. We obtain formula (3) again by a different method in §7.4 where we show that, if h has continuous second order derivatives and f has continuous third order derivatives, then (3) gives the solution of (2) which satisfies the initial conditions and has continuous second order derivatives. If f and h are defined only on some domain D of the initial plane t = 0, formula (3) determines u(x, y; t) when t is positive only if the disc ~ lies in D. This determines the domain of influence of D. For example, if D is the disc S2 + 1J2 ~ a 2 on the plane t =- 0, the domain of influence in t ~ is X2+y2 ~ (a-:t)2, ~ t ~ a.
°
°
6.5
°
The uniqueness theorem
To prove that the solution of the equation 02U 82u 82u
- =ot-2 ox2+8y:
found in § 6.4 is unique, we have to show that, if u = 0, = 0, then u = for all t > 0.
t
°
Ut
=
°when
WAVE MOTIONS [97 6.5] Regard (x, y,.t) as Cartesian coordinates in a three-dimensional Euclidean space. Let D be the volume defined by
(X-X O)2+(Y_YO)2
~
(t-t O)2,
0 ~ t ~ to.
Then if U has continuous second order derivatives, we have, by Green's theorem,
Iff 8t D
=
=
OU (02u o2u 02u) ot2 - ox2 - oy2 dxdydt
II {:e (u;,+u~ ~IIs {n(u;,+u~ +u~)
~I
D
+Un - 2 :x (uxut ) - 2 :y (UyUt )} dxdydt - 21U x Ut- 2muyu t }dS,
where (1, m, n) are the direction cosines of the outward normal to the boundary S of D. If U satisfies the wave equation, this surface integral vanishes. S consists of two parts, a disc in the plane t = 0 and a portion So of the cone (X-X O)2+(Y_YO)2 = (t-t O)2
cut off by the plane t = O. On So, n = 1/")2 and so 12+ m 2 = n 2. Ifwe multiply through by n, we get
or
IIs. {(l2+m2)u~+n2u;+n2y~-21nuxut-2mnuyut}dS IIs. o.
= 0,
{(lUt- nu x)2+ (mUt- nu y)2}dS =
The integrand must be zero, and so
on So. Denote each fraction by v. Then, on a generator of So, du = uxdx+uydy+uzdz = v(ldx+mdy+ndz) = 0
since the normal with direction cosines (l,m,n) is perpendicular to the generator. Therefore u is constant on every generator, and so is zero since U = 0 when t = o. In particular, u(x o, Yo' to) is zero, which was to be proved. There is a vanant of this proof in which we take D to be the truncated cone (X-X O)2+(Y_YO)2 ~ (t-t O)2, 0 ~ t ~ t l ,
98]
[6.5
WAVE MOTIONS
where t1 < to. As before, we get
ffs{n(U;'+U~+Un-2lUxUt-21nUyUt}d8=
0,
where 8 is now the boundary of the truncated cone. On the base, the integrand vanishes. It follows that
~ff
n
~
{(lUt- nUx)2+(mut -nU y )2}d8+ff
~
(u;,+u~+uF)dxdy=
where n = 1N2 on the curved boundary 8 1 of D, and in which t = t1 cuts D. Therefore
ff1:.
(u;,+u~+undxdy =
~1
0,
is the disc
0,
so that u x' u y,Ut all vanish on ~1. As t1 is arbitrary, Ux' uy, Ut vanish everywhere in D, and so u is a constant. As u vanishes when t = 0, u is zero everywhere in D. These proofs also apply to the equation of wave mot,ions with any number of space variables, though the details are more complicated.
6.6 The Euler-Poisson-Darboux equation In § 6.1 we saw that spherically symmetrical solutions of the equation of wave motions in space of m + 1 dimensions satisfy the equation
02U m oU 02U -+ ----=0. or 2 r or ot 2
(1)
If we introduce the characteristic variables x = r + t, Y = r - t, we obtain the equation of Euler, Poisson and Darboux
o2u N (Ou Ou) -0 --+-oxoy x+Y -+ox oy - ,
(2)
where N = im. 'Ve do not restrict our discussion to integral values of 2N; the equation arises in some physical problems when 2N is not an integer. Nor shall we restrict our attention to the case when x and yare real. Laplace's equation
has axially symmetrical solutions, which are functions of y and
6.6]
[99
WAVE MOTIONS
m+ 1
r=
Jf 4·
These solutions satisfy oZu + m ou + oZu = 0 or 2 r or oy2 .
The characteristic variables are now conjugate complex numbers z = r+iy,
z = r-iy.
In terms of these variables, the equation becomes
OZU N (OU OU) ozoz+ z+z OZ + oz =
o.
The self-adjoint form of (2), 02V + N(1-N)v = 0 oxoy (X+y)2
(3)
is obtained by putting U = v(X+y)-N. Equation (3) is unaltered if we replace N by 1- N. It follows that, if U is a solution of (2),
U = u(x + y)2N-l is a solution of
02U oxoy
(OU + o~ + 1-N x+Y ox oy -
0
.
Again, if we put ux+u y = (x+y)v in (2), we have uxy+Nv =
Hence
o.
(ux+uy)xy+N(vx+v y ) = 0,
or {(x+Y) v}xy +N(vx+vy ) = o. Therefore v satisfies o2v + N + 1 + OV) = 0 oxoy x+Y ox oy .
(Ov
These recurrence formulae enable us to deduce from a solution of (2) a solution ofthe same equation with N replaced by 1 +N or 1-N. When N is not an integer, we need only consider the case when N lies between 0 and 1. Considerable use has been made of these formulae by Weinstein, to whom they are due. The general solution of (2) when N = 0 is By the first relation,
Uo
=
(x) + '¥(y).
1
u1 = {(x) + '¥(y)} x+y
100]
WAVE MOTIONS
[6.6
is the general solution when N = 1. In particular (x) U1
is a solution when
.J..\T =
= x+y
1. Therefore
is a solution when N = 2; so also is o 'Y(x) oy (X+y)2·
Similarly
1 (OU2 OU2) 02 (x) 3 U = x+Y OX + oy = ox 2 (X+y)3
is a solution when N = 3. And so on. For any integer N, the general solution of (2) is ON-l (x) ON-l 'Y(y) +-1 N OX - (X+y)N oyN-l (X+y)N'
U=--
(4)
where and 'Yare arbitrary functions, and N is a positive integer. The first term in (4) is (N -l)!f 2rri
(s)ds
o(s- X)N (s + y)N
if C is a simple closed contour surrounding x but not -y, provided that (S) is an analytic function of the complex variable S, regular in and on C. By the first recurrence formula (x + y)l-2Nf
¢(S) o (s _X)l-N (s + y)l-.l\°
is also a solution when N is zero or a negative integer. This suggests that we should consider complex integrals of the form (5)
for general values of the constant N. Suppose that (S) is an analytic function regular in a domain which contains the disc lsi ~ R. Let x and y be two points of the disc. The integrand is not one-valued in the disc if N is not an integer: it has branch points at x and - y. If we choose a particular branch at, say, R and take C to be a figure of eight starting at R, enclosing x in the posit,ive sense, -y in the negative sense, and returning to R,
6.6]
[101
WAVE MOTIONS
the integrand returns to its original value. \Ve can deform C, so long as it remains a figure of eight enclosing x in the positive sense, - y in the negative sense, without altering the value ofthe integral. Moreover, - the integral is an analytic function of x and of y; its partial derivatives can be calculated by differentiation under the sign of integration. Since (S-X)-N(S+y)-N satisfies the Euler-Poisson-Darboux equation, so also does the integral. Alternatively, if (S) is an integral function, we can choose a particular branch and take C to be a path which starts at infinity, passes round x in the positive sense and returns to infinity.
6.7 Poisson's solutions Suppose that x and yare real, and that C is the figure of eight contour of §6.6. Choose the branch of(s-x)N (s +y)N which is real and positive when S is real and greater than max (lxi, Iyl). Consider the case when x > - y. "Ve can deform C into a small circle of radius e and centre x, described in the positive sense, the real axis from x - e to - y + 8, a small circle of radius 8 and centre - y, described in the negative sense, the real axis from - y + 8 to x-e.
f
In U
1 -
(S)
O(S-X)N(s+y)N
dt: !,,,
the integrals round the small circles tend to zero as e and 8 tend to zero if N < 1. Then U1 = U1
2isinN1T
f:y (X-~)-N(y+~)-N(~)df
vanishes if N is zero or a negative integer. If we put
S = !{(x-y) + (x+y) cos y,} and drop a factor which is unimportant if 0 < N < 1, we obtain U1
)l-2Nftr {!(x-y)+!(x+y) cos y,} sin 1-2Ny,dy,.
X+ Y = ( -2-
0
Restoring the original variables r = 4(x+y),
t = !(x-y),
we find that a solution of oZu + ~ OU _ oZu = 0
or 2
is
U1
f:
= r 1- m
r or
ot 2
(t+rcosy,)sin1-my,dy"
102]
[6.7
WAVE MOTIONS
when 0 < m < 2. 'Ve assumed that x+y = 2r is positive; but the argument can be modified when x + y is negative, with the same result. Similarly, from - ()1-22Vf 'Y(S) dY U2 x+y O(S-X)l-N(S+y)l-l, ~ we find the solution U2
= f: 'Y(t + r cos ljr) sinm-1ljr dljr,
when 0 < m < 2. The two solutions are identical when m = 1. The proof assumed that and 'Yare analytic, but the formulae give solutions which have continuous derivatives of the first and second orders if " is continuous. Whenm = 1,
To get a second solution, consider the limit as m -+ 1 of
_1_f1T 'Y(t + r cos ljr) (sinm-1ljr- r
m-1
1-
m sin 1-
mljr) dljr.
0
This gives the other solution U3
=
f:'Y(t +r cos ljr) log (rsin 2ljr) dljr
when m = 1. All these formulae are due to Poisson, who did not derive them in this way.
6.8
The formulae of Volterra and Hobson
In the solution where x> -y, take C to be the path starting at +00 on the real axis encircling x in the positive sense and returning to + 00. Start with (S-X)N(S+y)N real and positive when S is real and larger than Ixl and Iyl. If (S) is analytic, we may suppose N is not zero or a negative integer, since the integral then vanishes. Deform C into the real axis from + 00 to x + t, followed by Is- x I = t described in the positive sense, and then the real axis from x + t to +00. The integral round the small circle tends to zero if N < 1, which we assume to be the case. Then
6.8]
[103
WAVE MOTIONS
!(x-y)+!(x+y)cosh V
~ =
If we put
and drop the non-zero numerical factor, we get U
=
I:
{l(x + yj}l-2N
{t(x - y) + !(x + y) cosh lfr} sinhl - 2N 1frd1fr.
Restoring the original variables, we obtain Hobson's solution of 02U + m OU _ o2u _ 0 or 2 r or ot 2 - ,
namely
u 1 = r 1- mIooo (t+rcosh1fr)sinh1-m1frd1fr.
This solution in the special case m = 1 was found by Volterra. t We do not need to assume that is analytic. The result is true if m < 2, " is continuous and behaves suitably at infinity. Since the equation is unaltered if we replace r by -r, a second solution is U2
= r1-m
Iooo (t -
r cosh 1fr) sinh1 - m1fr d1fr.
The first solution u 1 represents converging waves, the second expanding waves. Using the first recurrence formula, we get solutions
U2
ua= Iooo (t+rcosh1fr)sinhm-l1frd1fr and
U4
=
I:
(t-rcosh1fr)sinhm-1ifrd1fr
valid when m > o. When m = 1, u 2 and u 4 are the same. A second solution is then lim
_1_Ioo (t -
m-+lm-1
r cosh 1fr) (sinhm -l
0
=
I:
1fr -
r 1- msinh1 - m1fr) d1fr
(t - r cosh 1fr) log (r sinh2 1fr) d1fr.
Similarly, since u 1 and u a are the same when m = 1, the second solution is then (t + r cosh 1fr) log (r sinh2 1fr) d1fr.
I:
t
Volterra, Acta math. 18 (1894), 161. Hobson, Proc. London Math. Soc. (1) 12 (1891), 431-449.
104]
WAVE MOTIONS
Exercises 1. Use Poisson's formula to find the solution of the equation
given that
U = 0,
ut
= x 2+xY+Z2
when
t = 0.
2. Use Poisson's formula to solve the wave equation, given that, when t = 0, U = 0, and Ut = 1 for X2+y2+ Z2 ~ a 2, Ut = for X2+y2+ Z2 ~ a 2. Examine the discontinuities of the solution.
°
3. U is a solution of utt-u",,,,-u'j/'j/-uzz=O of the form v(r,t) cosO in spherical polar coordinates. Prove that
02V 20v 2 o2v -+----v= 8r2 r or r 2 ot 2 • Hence show that
U = cosO ~ ¢(r-t):1fr(r+t),
where ¢ and 1fr are arbitrary functions. Obtain the same result from the fact that, if U is a wave function, so also is u"'. 4. Show that (1-XW)-N(1 +yW)-N satisfies the equation
02U N (OU OU) oxoy + (x+y) ox + oy = 0. By considering its expansion in ascending powers of w, prove that the equation has homogeneous polynomial solutions
where (N)" = N(N +1) ". (N +p-1). Prove that, if K =
IN! and
R = max (\x\, !y\) !F,,(x,y)!
then
~
(2K)"
-,_Rn. n.
°
5. Prove that Tricomi's equation of mixed type yU",,,,+u'j/'j/ = has imaginary characteristics x ± iiyf = constant in the elliptic half-plane y > and real characteristics x ± i( - y)f = constant in the hyperbolic half-plane y < 0. Prove that, if y < 0, the equation can be written as
°
02U 1 OU o2u or2 + 3r or - 8t2 = 0, where r =
!( _y)f, t =
x.
WAVE MOTIONS
6. If u satisfies
[105
oZu Mou Nou -+--+---=0 oxoy x+yox x+y oy ,
where M and N are real constants, prove that v = (X+y),u+N-lU satisfies the same equation with M and N replaced by 1 -:v and 1- M respectively 7. Show that u = ('_X)-N('+y)-M satisfies the equation of Ex. 6. By considering
where C is the double circuit contour of fig. 7, deduce the solution
Fig. 7 (after Whittaker & Watson, A Course of Modern Analysis). when 0 < ffI < 1,0 < N < 1. Obtain also the solution
u 2 = (x + y)l-M-N f:y (;) (X_;)M-l(y+;)N-1d;. These solutions are the same when M + N = 1. Obtain the second solution whenM+N= 1. 8. If u satisfies the equation of Ex. 6, show that
MU:zJ+Null x+y
V= -..;;;,._--:
satisfies
o2v M + 1 ov N + 1 ov --+---+---=0. oXOy x+y ox x+y oy
9. v(x, y, z; t; r) is the solution of the equation of wave motions L(v)
02V o2v o2v 02V =------=0 0&2 ox 2 oy2 OZ2
which satisfies the initial conditions
v(x,y,z;r;r) = 0, for all r. If
vt(x,y,z;r;r) = h(x,y,z;r)
u(x,y,z;t) =
f~V(X,y,z;t;r)dr
106]
WAVE MOTIONS
prove that U satisfies the equation L(v) = h(x, y, z; t) under the initial conditions v(x,y,z;O) = 0, ut(x,Y,z;O) = 0. By using Poisson's mean value solution, show that
where 10. v(x, t) is the solution of Utt - U xx = h(x, t) which satisfies the initial conditions U = 0, U t = when t = 0. By considering the integral of utt-u xx over a suitable triangle, prove that
°
u(x,t)
1ft dT fX+7 d~h(~,t-T). =2
o X-7 Obtain this result also by a modification of the method of the previous example.
7
MARCEL RIESZ'S METHOD
7.1 A comparison with potential theory Let u be a solution of Laplace's equation V'2u = which has continuous derivatives of the second order inside and on a simple regular closed surface ~, and let Po(xo,yo,zo) be any point inside ~. The elementary solution which plays an important part in potential theory is
°
v=
1
....,.,..--~----o------::-:
..){(x - XO)2 + (y - YO)2 + (z - ZO)2} .
If we apply Green's transformation to
I I I V (UV'2V - vV'2u) dxdydz = 0, where V is bounded externally by ~ and internally by a small sphere S with centre (xo,Yo' zo), v being this elementary solution, we obtain
II~ (u :;-v :;)dS+ IIs (u :;-v :;)dS =
0,
where %N denotes differentiation along the normal drawn out of V. [f we now make the radius of S tend to zero, we find that
u(xo,Yo,zo)
=
4~II~ (v:;-U:;)dS,
which expresses u at a point Po inside ~ in terms of the values taken by u and au/oN on ~. It does not solve the problem of Cauchy, since we cannot assign u and ou/oN arbitrarily on ~; given u on ~, ou/oN is determined there. If we replace x and y by ix and iy respectively and z by t, Laplace's equation becomes the two-dimensional equation of wave motions
L(u)
~2u
o2u =o2u ot2 - ox 2- oy2 = 0.
We might expect that an application of Green's transformation to
IIIv{UL(v)-VL(U)}dXdYdt with
=
°
1
v = ..){(t-tO)2_(X-XO)2_(Y_YO)2} , [ 107 ]
108]
MARCEL RIESZ'S METHOD
[7.1
would enable us to find u in terms of the boundary values of 1t and ou/oN on a surface ~ in the space with (x, y, t) as Cartesian coordinates. But we immediately meet difficulties which do not appear in potential theory. In the first place, v is real only when (X-X O)2+(y_yo)2
~
(t-t O)2,
so we take V to be bounded in part by the characteristic cone (X-X O)2+ (y_YO)2
=
(t-t O)2.
Next, the surface S on which we have the Cauchy data must be duly inclined. The characteristic cone then cuts S in a simple closed curve, bounding an area ~ on S. The boundary of V is ~ and the characteristic cone. For example, if S is the plane t = 0 so that we are dealing with an initial value problem, V is given by (X-XO)2+ (y_YO)2
~
(t- t o)2,
0 ~ t ~ to.
The next difficulty is more serious. On the characteristic cone, v and its derivatives are infinite. There are two classical methods of getting over this difficulty. Volterra used, instead of v, its integral cosh- 1
It-tol ,J{(x - XO)2 + (y - YO)2} ,
which behaves satisfactorily on the characteristic cone but has a line of singularities on the axis of the cone. By cutting out of V the singularities on the axis by means of a small coaxial cylinder and then applying Green's transformation, Volterra obtained a formula for
and hence a formula for u. The values of u and ou/oN on the characteristic cone do not appear in the solution because of the properties of Volterra's function. Hadamard, in his Lectures on Cauchy's Problem, on the other hand, did not try to avoid the occurrence of divergent integrals, but developed a method of picking out the' finite part' of a divergent integral. Marcel Riesz has shown how the difficulties of Hadamard's method disappear if we introduce a complex parameter a whose real part can be chosen so large that all the integrals converge. The solution is then obtained by the analytic continuation of a function of a complex variable. Moreover Riesz's method is applicable to the wave equation
7.1]
MARCEL RIESZ'S METHOD
[109
in a Euclidean space of any number of dimensions and more generally to the wave equation in a Riemannian space with positive definite metric. What Riesz does is to introduce a generalization of the Riemann-Liouville integral of fractional order of a function of one variable·t
7.2 The Riesz integral of functional order The problem of Cauchy for the equation L(u)
02U
= -ot2 -
n
~
k=l
o2u -
o~
=
°
(i)
is to find u, given the values taken by u and its first derivatives on some duly-inclined n-dimensional manifold S in the (n+ i)-dimensional Euclidean space with rectangular Cartesian coordinates
In the case of the initial value problem, Sis t = 0. As t plays a special part in equation (1), we treat it separately and denote a point in the space-time manifold by (x;t) where x is the vector (xl>x 2 , ••• ,xn ). The equation of the characteristic cone with vertex P(x; t) is
r = (t-7)2_lx-;12
=
°
where (;;7) is a variable point in the space-time manifold. This cone divides space-time into three domains, viz. r > 0,7 > t; r > 0,7 < t; r < 0. The region in which r < lies outside the cone. r = is a double cone; the part for which 7 ~ t is called the retrograde cone. Since, by hypothesis, S is duly inclined, the retrograde cone cuts S is a simple closed curve, if t is large enough. We denote by V(P, S) the domain bounded by S and the retrograde cone. In the particular case of the initial value problem, t is positive and V(P, S) is the set of points (;; 7) for which r ~ 0, ~ 7 ~ t. The Riesz integral offractional order a of a continuous function f is defined to be
°
°
°
where t is chosen so that V(P, S) is not an empty set. The constant H(a, n) is chosen so that ]lZe t = et when S is 7 = Then
t Acta math.
81 (1949), pp. 1-223.
-00.
MARCEL RIESZ'S METHOD
110]
[7.2
where V is the region r ~ 0, r ~ t. By a change of origin, we may assume that x = 0; and if we put r = t-r', we get
I
H(a, n) =
e- T'r 0, 0< r < t. By a notation of axes, we can replace x in this integral by (1',0,0, ... ,0),
where
l'
=
1x I· Then, by a Lorentz transformation Xl = xi cosh y + t' sinh y, t = xi sinh y + t' cosh y
we can replace l' by zero, and t by 8 = ,J(t2 -1' 2 ). Hence
g( x, t; 0, 0) = g(O, 8; 0, 0). But g(O, 8; 0,0) = f
w,
{(8- r)2 - ;2}( max (-1, n- 3). The remaining term is J1 =
H(aa+2)I~ drI:" dO IOn dQnf(x+ll'sinO;t-r) X
r"-l sin"-l 0 cos",-n+2 0
which is regular when rea> max (0, n- 3).
7.3]
MARCEL RIESZ'S METHOD
[115
(i) When n = 2, 21TJ3 is equal to
1T
at:t. It I~7T r(a+1) dOsinOcosC1.0 0 d¢f(x+ltsinO;O),
°
where x = (x, y), 1 = (cos ¢, sin ¢) so that dQ 2 = d¢. This is an analytic function of a, when t > 0, regular when re a > - 1. Hence J3 is zero when a = 0. Next, 21TJ2 is equal to a ItodrrC1. r(a+1)
fi°1T dO sin 0 cosJ. 0 I °1T d¢ft(x+lrsinO;t-r). 2
This again is regular when re a > - 1; and vanishes when a = 0, Lastly, when re a > 0, 21T~ is equal to
fi°1T dOsinOcos:t.O I °21T d¢f(x+lrsinO;t-r).
a It drrC1.-1 r(a+1)
°
Integration by parts is valid since f is continuously differentiable. Hence 21TJ1 is equal to
tC1. I r(a+1)
2
i
°1T dOsinOcosC1.0 I °1T d¢f(x+ltsinO;O)
1 1) It drrC1. I - r(a+
°
i
2
0 °1T dOsinOcos:t.O I °1T d¢ o/(x+lrsinO;t-r)
which is regular when rea> -1. When a is zero, 21TJ1 becomes i
I
1T
o dO sin 0
I21T ° d¢f(x+ltsinOsinO;O) i
0 - I °1T dOsinO I21T ° d¢ It°dr arf(x+lrsinO;t-r) i
=
°1T dOsinO I21T ° d¢f(x,t) = I
21Tf(x;t).
Therefore, when n = 2 and f(x, y; t) is continuously differentiable, Riesz's integral ]J.f(x,y;t) is regular in rea> -1, and
]Of(x, y; t) = f(x, y; t).
116]
[7.3
MARCEL RIESZ'S METHOD
(ii) When n = 3 and rea> 0,
t
J3 = " r(1. ") r(1. )f!1T dof do'3sin20cos"-10f(x+ltsinO; 0), 2
7T
2a
0
2a
0,
where listhe vector (sin ¢ cos ljf, sin ¢sin ljf, cos¢) anddo' 3 = sin¢d¢dljf. If f is continuously differentiable, we may integrate by parts with respect to 0 and obtain
1T J3 = 2"H7T r(1: t a ) r(ta) f: dO fo, do' 3cos" 0
x :0 {sin Of( x+ ltsin 0; O)}. Hence J3 is regular when re a > - 1 and vanishes when a = 0. To deal with Jl and J2 we make the additional assumption that f has continuous derivatives of the second order. When re a > 0, we integrate by parts in J2 =
2"'7Tr(t~) r(ta)f~ dr f:
1T
dO fo, do' 3 x ft( x + lrsin 0; t- r) r(X sin 2 0 COS,,-l 0
and obtain J. = 2
1
2"H7T r(1 +ta) r(ta ) X
ft drf!1T dof dO, 0
0
0,
3
ret cos" 0 :oft( x + lr sin 0; t- r).
Hence J2 is also regular when re a > - 1 and vanishes when a = 0. Lastly, when re a > 0, we may again integrate by parts with respect to in
e
J = l
2"7Tr(t~) r(ta)f~ dr f:
1T
dO fo, do' 3 X f( X + lr sin 0; t - r) r,,-l sin 2 0 COS,,-l 0
and obtain
~ = 2"H7Tr(1 ~ta) r(ta)f~ dr f: where
1T dO fo, do'3r"-1 cos" OF
. F = :0 (f(x+lrsinO;t-r)sinO),
since, by h~ypothesis,· F is continuous. In fact, F is continuously differentiable, so we may integrate by parts with respect to r, to get
.11
= 2"+27T r(1 +
~a) r(1 + ta)
U:
1T dO fo, do' 3cos" Ot"[FJr=t
1T - f: dO fo.
d~3f~ drr" cos" 0 ~~}.
7.3]
[117
MARCEL RIESZ'S METHOD
Thus J1 is regular when rea> -1. When a = 0,
Ii" I = Ii" f = 4~ In. I:"
1 J1 = -4
IT
1 -4
IT
0
0
de
1 dQ3 [FJr=t--4
~
de
n.
dQ 3
IT
Ii" f It 0
de
~
dQ 3
0
r8F T
ur
dQ 3 [FJr=o de :e {f( x; t) sin e}
=f(x;t). Thus when f(x;t) has continuous derivatives of the second order, ](l.f( x; t) is an analytic function of a, regular in re a> -1, and
]Of(x;t) =f(x;t). (iii) The argument can be repeated for larger values of n. ](1. f( x; t) is regular in rea> -1 provided that we assume that f(x;t) has continuous partial derivatives of a sufficiently high order. The cases n = 2 and n = 3 suffice for our applications. The simple case n = 1 occurs in Ex. 2 at the end of the chapter.
7.4 Cauchy's problem for the non-homogeneous wave equation in two dimensions If
82u
Lu
=
Lu
the problem is to solve when t > 0, given that
82u
82u
8£2- 8x2- 8y 2' =
u = f(x, y),
F(x,y;t), Ut
(1)
= h(x, y),
when t = 0. Heref, hand F are continuous functions, with continuous partial derivatives of orders which emerge in the sequel. The solution is to have continuous second order derivatives. If v is a function of ;, 1], r, it is convenient to write 82v
Av
=
82v
82v
8r2 - 8;2 - 81]2·
Let P be any fixed point (x,y; t) in space-time with t > 0, and let V be the region r ~ 0, ~ r ~ t where
°
118]
[7.4
MARCEL RIESZ'S METHOD
By Green's transformation
I
{U(g,1;: r) Av(;, 17; r) - v(;, 17; r)" \U(g, 1J; r)} df,d1Jdr
r
Is {v (u~~ - v:~) - A( :~ v:;) - # ( u:;- v:;)}dS,
=
U
-
where S is the boundary of V and (A,#, v) are the direction cosines of the normal to S drawn out of V. The transformation is valid when u and v have continuous derivatives of the second order. Let u(x,y;t) be the desired solution of (1), and let V= P,,-1)/2. Then Au = F(;,1J; r), and Av = a(a...£ 1) pcx-3)!2. Then, when rea> 3,
Iv
{a(a-1)uP"-3l/2_FP"-ll/2}d;d1J dr
Is [(a- 1)
=
p,,-3)f2 U{A(f, -
+ v( r- t)} + p"-1)f2{AUg +#u1J -IJUT}J dS.
x) + #(1J - y)
Since re a > 3, the integral over the retrograde cone part of S vanishes; the rest of Sis L, specified by r
On L, A = #
I
=
=
0, v
0,
r o == t 2_(X-;)2_(Y-1J)2 ~
= -
1. Hence
0.
{a(a-1) uPcx-3l!2_FP"-ll/2}d;d1Jdr
v =
t
{Q,,-ll/2uT + (a-1) r&,,-3 l/2tu}d;d1J.
Using the initial conditions, this is, in Riesz's notation, ]"u-]"..,.2F=
I
1 r 3, it is true in this larger domain. In particular, taking a = 0, we have u(x, y; t)
=
]2F(x, y; t)
+ 2~ I~ ro~h(g, 17) d;d1J 1
cI
-~
+27Tat ~ro !(;,1J)d; d17,
7.4] or
MARCEL RIESZ'S METHOD
'll(X,y;t)
[119
217TIvF(;,1];r){(t-r)2-(x-~)2_(Y-1])2}-~d;d1]dr
=
+ 2~ IE h(;, 1]){t 2- (x- ;)2 - (y -1])2}-~d;d1] 2+~ ~I f(;iJ){t 27T 8t E '
(x- ;)2_ (Y-1])2}-~d;d1].
(2)
When F is identically zero, this reduces to the solution found in §6.4. If we put ; = x+pcos¢., 1] = y+psin¢, the first term in (2) becomes 2
1 It0 dr It-r 1(X, y; t) = 27T 0 pdp I 0 1T d¢ x F(x+p cos ¢, y +psin ¢; r){(t- r)2_p2}-~
1
= 27T I~ dr I: pdp I:1T d¢ x F(x+p cos ¢, y +psin ¢; t- r) {r2_p2}-~. If we then put p = tp', r = tr', we get
1(X, y; t)
=
~: I: dr I: pdp I:1T d¢ x F(x+tp cos¢' Y +tp sin ¢; t-tr)(r2_p2)-~ (3)
dropping the dashes. This representation as a repeated integral is valid since F is, by hypothesis, continuous. The expression on the right of (3) is continuous in t ~ o. If F(x, y; t) has continuous derivatives of the second order, so also has 1(X, y; t); and 1 and 81!8t vanish when t =0. The second term in (2) is 2
2(X,y;t)
=
t II0 pdp I 0 1T d¢h(x+tpcos¢,y+tpsin¢) (1-p2)-~, 27T
which vanishes when t = O. Since h is continuous and
t1 {$2(X, y; t) -
2(X, y; O)} 2
= -1 II pdp I 1T d¢h(x+tpcos¢, y+ tpsin ¢) (1_p2)-~ 27T
0
0
120]
MARCEL RIESZ'S METHOD
82!8t exists and is equal to 1 27T h (X,y)
II 0
pdp
~(l_p2)
I
2
0
1T
d¢
[7.4
= h(x,y).
If h has continuous derivatives of the second order, so also has 2(X, y; t).
The third term in (2) is
II I II I
2
8 3(X,y;t) = - 1 7:;t 27T ut
pdp
0
0
1T d¢f(x+tpcos¢,y+tpsin¢) (l_p2)-~
2
1 oPdp = 27T
0 1T d¢f(x+tpcos¢,y+tpsin¢)(l-p2)-t
~ fl d f21T d",8f(x+tpcoS¢,y+tpsin¢)(l_ 2)-t +27TtOPPO'fJ 8t p,
differentiation under the sign of integration being certainly valid when the partial derivatives fx and f v are continuous; and then 3(X, y; 0) = f(x, y). In order that 3(X, y; t) may have continuous partial derivatives of the second order, it suffices that f should have continuous derivatives of the third order. We have thus proved that equation (2) solves the Cauchy problem for
when F(x, y; t) and h(x, y) have continuous partial derivatives of the second order,f(x, y) ofthe third order, the solution (2) has continuous second order derivatives.
7.5 The equation of wave motions in three dimensions The Riesz solution for 82u
82u
;2.u
82u
Lu == 8t 2 - 8x 2- 8y 2- 8z 2 = F(x, y; z, t)
(1)
in three spatial dimensions starts like the corresponding solution in two dimensions. The initial conditions are u
= f(x, y, z),
Ut
= h(x, y, z),
(2)
when t = o. Here f, hand F are continuous functions, differentiable to orders which suffice to ensure the existence of a solution ·with continuous second derivatives.
7.5]
[121
MARCEL RIESZ'S METHOD
With any fixed point (x, y, z; t) in space-time, let V be the region in r = 0 and r = 0, where
r ~ 0 bounded by
r
(t-r)2_(x-;)2_(Y-1])2_(z-S')2.
=
If u and v have continuous second derivatives, Green's transformation gives
Ir.
{u(;, 'i],
S'; r)Av(;, 1], S'; r) -v(;, 1], S'; r) Au(;, 1], S'; r)}d;d1]dS'dr =
f {Til s
(u ov -v oU) -;\(u ov -v oU) or or 0; o~ - p (u
:~ -
v :;) - v (u
:~ - v :~) } dB,
where B is the boundary of V and (;\,p, v, ro) are the direction cosines of the outward normal. As before, Au = u 77 -uf;;-u'l'l-u". Let u be the desired solution of our problem, and let v = r - 1. Let r; andVsbe the parts of Von which t-y ::::; T::::; tandO::::; T::::; t-y. Then 1 f r 0, Jau+Ja+lu
=
Ja+1F.
Deduce that
where J o is Bessel's function of order zero.
8
POTENTIAL THEORY IN THE PLANE
8.1 Gravitation The simplest equation of elliptic type is Laplace's equation where
V'2U
= 0,
This equation with n = 2 or 3 is of frequent occurrence in mathematical physics, notably in the theory of gravitation. N ewton's law of universal gravitation asserts that every particle of matter in the universe attracts every other particle with a force whose direction is that ofthe line joining them, and whose magnitude varies directly as the product of their masses and inversely as the square of their distance apart. With an appropriate choice of units, the attractive force is mm'Ir 2 where m and m' are the masses of the particles and r their distance apart. If a particle of unit mass moves under the attraction of a particle of mass m fixed at, say, the origin, the increase in the kinetic energy of the particle of unit mass as it moves from a position Po to a position Pis
m
The expression
u=-
OP
is called the gravitational potential of m. If the coordinates of the variable point Pare (x,y,z), 82u
82u
82u
8x 2 + 8y 2 + 8z 2
=
0;
and the force is grad (mlr). By a generalisation of Newton's law, the attractive force due to a continuous distribution of matter of density m(x, y, z) in a volume V acting on a particle of unit mass at a point (x,y,z) outside V is equal to gradu, where u= v m(;, 1], ~d;d1]dS'
fff
s)
[ 131 ]
132]
[8.1
POTENTIAL THEORY
R2 = (X-;)2+(Y-1])2+(Z-{;')2.
where
This potential satisfies Laplace's equation outside V, but in V it satisfies Poisson's equation V'2U = - 47Tm. Similar formulae hold for the gravitational potential of distributions of matter on curves or surfaces. For example, an infinitely long uniform straight thin wire of mass m per unit length located on the z-axis attracts a particle of unit mass at (x, y, z) with a force normal to the ·wire of magnitude IOO r d {;', -00 m RS r 2 = X2+y2,
where
R2
= r 2+(z_{;')2.
This is equal to 2mjr and is independent of z. If the unit particle moves from a position Po to a position P under the attraction of the wire, its increase in kinetic energy is r 2m log.J!, r where r o and r are the distances of Po and P from the wire. The expression 1 2m logr is the gravitational potential of the wire; its gradient is the attractive force. More generally, if we have an infinitely long straight rod of cross section D parallel to the z-axis, the density O"(x, y) being independent of z, it attracts a unit particle at (x, y, z) outside the rod with a force 2 grad u, where u = IIn O"(;,1])log~d;d1], R2
where
=
(X-;)2+(Y-1])2.
Such a function u is called a logarithmic potential. It is independent of z and satisfies Laplace's equation outside the rod; but inside the rod, V'2u = - 27T0"(X, y). There is one important difference between the Newtonian potential and the logarithmic potential. If V is bounded, u == I I Iv
m(~,.1], {;') d;~d{;' '" ~(X2+~2+Z2)II
Ir,
m(;, 1],
{;')d~d1]d{;'
at great distances. But if D is bounded, u = IIn
O"(;,1])log~d;d{;''" log ~(X2~y2)IIn 0"(;, 17)d;d1].
8.1]
[133
POTENTIAL THEORY
The Newtonian potential behaves like the potential of a particle, and vanishes at infinity. The logarithmic potential behaves like the potential of a thin wire, and is infinite at infinity. In this chapter, we deal with the solution of Laplace's equation and Poisson's equation in the plane. Fundamental tools in the theory are the first and second identities of Green, which are consequences of Green's theorem enunciated in Note 5 of the Appendix. Let D be a domain bounded by a regular closed curve C. Let ¢, ljr and their first partial derivatives be continuous in the closure of D. Then, if we put u = ¢ljrx' V = ¢ljrll in Green's theorem, we have
IID (¢V ljr+¢xljrx + ¢lIljrlI)dxdy = Ia ¢ :t ds , 2
where 8ljrJ8N is the derivative along the outward normal, provided that ljrxx and ljrllll exist and are bounded in D and the double integrals of ¢ljrxx and ¢ljrllll over D exist. This is Green's first identity. It holds when ¢ and ljr are interchanged, provided that ¢xx and ¢VII exist and are bounded in D and the double integrals of ljr¢xx and ljr¢lIlI over D exist. By subtraction, we have Green's second identity
I IfD a m (¢V2ljr_ljrV2¢) dxdy =
(¢ 8ljr -ljr 8¢) ds.
m
Simple conditions for the truth of these results are that ¢ and ljr should have continuous second derivatives in 15, the closure of D. D Il?-ay be a multiply-connected domain bounded by several nonintersecting regular closed curves. These results still hold, the integral over C being replaced by the sum of the integrals over the boundary curves; N is still the unit normal vector drawn out of the domain D.
8.2 Green's equivalent layer It is convenient to use (;,1]) as the coordinates of the integration point and (x, y) as the coordinates of a fixed point, usually the coordinates of the point at which the solution is desired; and we use ~ to denote Laplace's operator with (;,1]) as variables. In Green's second identity, put 1Jr = log l/R where R2 = (X-;)2+(Y-1])2.
Then if C is a regular closed curve bounding a domain D, we have
134]
[8.2
POTENTIAL THEORY
This is certainly true if ¢ has continuous second derivatives in D, provided that (x, y) is not a point of D. If (x,y) is a point of D, the region R ::::; e lies in D for all sufficiently small values of e. Let Do be the domain D when the region R ::::; e has been deleted; and let 0 0 be R = e. Then
Ie {¢ o~Tlog~ - :tTIog~}dS+ Ie, {¢ o~log~ - :tlog~}dS = - IIn, log~ t!.¢ df,d1J. On 0 0 , %N = - %R. The integral over 0 0 is then
I {Yl+ I:" e,
=
¢
8¢
1}
oR log Yl ds
{¢(X +e cose, y +e sin e) +e¢.(x+e cos e, y+esin e) log~} de
-+ 27T¢(X,
y)
as e -+ 0, since ¢ is continuously differentiable. Therefore
1 ¢(x, y) = - 27T
IInlOg~ .t!.¢ .df,d1J .
1
I (0
1
1
o¢)
- 27T e ¢ oN log Yl -log Yl oN ds,
(1 )
when (x, y) is a point of D. But when (x, y) is outside the curve 0, the value of the expression on the right of (1) is zero. If ¢ is a solution of Laplace's equation, we have 1
I
1
o¢
1
f
0
1
¢(x,y) = 27T e logYl oN ds - 27T e ¢ oN log Yl ds .
(2)
The first term is the logarithmic potential of a distribution of matter of line density on o. The second term is the logarithmic potential of a distribution of normally directed doublets of linear strength 1
27T ¢. These two distributions on 0 form Green's equivalent layer. It must be emphasised that the formula does not provide a solution of the
8.2]
[135
POTENTIAL THEORY
problem of Cauchy; we cannot assign ¢ and
c. If ¢ satisfies Poisson's equation 'i/ 2¢ = -
o¢/oN independently on
21T(j,
there is an additional
term
in (1). This is the potential of a distribution of matter of density (J' on D. If ¢ satisfies Poisson's equation everywhere, we may take C to be a circle of large radius. If the integral over C in (1) tends to zero as the radius tends to infinity, then
holds everywhere, integration being over the whole plane.
8.3
Properties of the logarithmic potentials
If (J'(x, y) is bounded and integrable over a domain D, the logarithmic potential
when R2 = (X-;")2+(Y-1])2, is continuous everywhere. Its first derivatives are also continuous, and can be found by differentiating under the sign of integration. If (J'(x, y) has continuous first derivatives on D, the second derivatives of u are continuous on D and satisfy Poisson's equation 'i/2u = - 27T(J'. If we differentiate formally, we obtain the expressions
We have to showthatu, X, Yare continuous and that grad u = (X, Y). If we introduce polar coordinates, ; = x+Rcose,1] = y+Rsine, we obtain u(x,y) =
ffn (J'(x+Rcose,y+Rsine)Rlog~dRde,
with corresponding results for X and Y. Since (J'(x, y) is bounded and integrable, the integrals defining u, X and Y converge everywhere. On the exterior of D, u has continuous derivatives of all orders, obtained by differentiation under the sign of integration; it satisfies Laplace's equation there.
136]
POTENTIAL THEORY
To deal with the case when function
1
= 10g:n
(x,y)
[8.3
is a point of D, introduce the
(R ~ 8),
where 8 is so small that the disc R < 8 lies in D; denote the disc by Do. ThenJ(R; 8) is continuous and continuously differentiable everywhere. If
then On Do, the expression in square brackets is not negative; and there exists a constant K such that 10'"1 ~ K on D. Then
lu-u81~
2rrKJ: [ -RlogR-!R+Rlog 8+ ~:2] dR = t rrK82 .
Hence U 8 tends to u uniformly as 8-+ also is u. Similarly,
+ 0. Since u 8 is continuous, so
X
x - ~:8 = JJDo 0'"(;,71) [;';2 -;~2X] d;dlj
8~-;:2 (;-x)d;d7J. Do 2 X _ ou8! ~ 2 KJ8 8 - R 2dR = 4rrK8 ox "rr 0 82 3 . ! = JJ O'"(;,7J)
and so
Hence, as 8-+ + 0, OU8/0X converges uniformly to X. Since OU8/0X is continuous, X is continuous everywhere, and ou/ox = X. In the same way, Y is continuous, and ou/oy = Y. On the exterior of D, that is, on the complement ofthe closure of D, u has continuous derivatives of all orders and satisfies Laplace's equation. In order to deal with second derivatives on D, we assume that 0'" has continuous first order derivatives. 'Ve could have assumed that 0'" has piece-wise-continuous first derivatives, or, even that it satisfies a Heilder condition; these weaker conditions make the analysis more difficult.
8.3]
[137
POTENTIAL THEORY
Let D 1 be an open disc contained in D, and let D 2 be the rest of D. Write
u 1 (x, y) =
ff
D, o. So V2U is not positive anywhere on D; similarly it is not negative. Hence All we have proved is that, if there is a function U belonging to I!2f for which l(u) attains the infimum m, then U is harmonic. The assumption that there is a function which minimises the integral1(u) was called by Riemann Dirichlet' 8 principle. The principle remained suspect until, in 1899, Hilbert showed that it can be used under proper conditions on the domain, the boundary values and the class of admissable functions.
8.7 A problem in electrostatics Consider an infinity long perfectly conducting cylinder with generators parallel to the z-axis. Suppose that the plane z = 0 cuts the cylinder in a regular closed curve bounding a domain D. An infinitely long line charge of density e per unit length parallel to the z-axis through the point (x o, Yo' 0) of D has electrostatic potential 2elog where
1
R,
146]
[8.7
POTENTIAL THEORY
If the conducting cylinder is earthed, a surface charge of density (T is induced on the conductor. This surface charge produces an electrostatic field of potential u inside the cylinder; u does not depend on z, is harmonic in D and continuous in D. The total field inside the cylinder has potential 1 U = u+2elog:n'
The electric force is grad U. On first sight, we should expect on physical grounds, that U would haye continuous first derivatives on D. But since U is zero on the conductor, the electric force is normal to the conductor and has magnitude aU/aN. As we go round aD, the direction of the normal vector changes suddenly at each corner, if such exist. The direction of the electric force would then seem to change suddenly at a corner. This is impossible unless aU/aN either tends to zero or to infinity as we approach the corner. Since the charge density (T is equal to (1/47T) aU/aN, the total charge per unit length is
J au
1 d 47T oD aN s
and this is equal to - e. Thus, although aU/aN may be infinite at a finite number of points of aD, it is integrable. The potential U, with e = t, is called the Green's Junction, and is denoted usually by G(x,y;xo,yo)' No doubt it is physically obvious that Green's function exists; to prove mathematically that it exists is equivalent to proving the existence of the solution of a particular case of the problem of Dirichlet. The same physical argument can be applied when aD consists of a finite number of non-intersecting regular closed curves.
8.8 Green's function and the problem of Dirichlet In this section, we show how a knowledge of Green's function enables one to solve the problem of Dirichlet for a bounded domain D. 'We assume that D is simply connected and that its frontier is a regular closed curve aD. If u is continuously differentiable in D, and if u has continuous second derivatives in D, then 1 ( ( u aloer au ) dS+-1 u(x,y)=? ,":~T R -"I\TlogR 27T _7T. oJ) 0..1.\ u1
If 01
D
Llu(~,11)logRd~(11/
when (x, y) is a point of D, provided that the double integral exists: here
POTENTIAL THEOR Y 8.8] If v is harmonic in D and continuously differentiable in
J
have
1 (av au) 1 O=21T aD uaN-v aN +21T
If
[147
D,
we also
D(j.u(;,rJ).v(;,1J)dgd1J.
Subtracting, u(x, y) = -
2~ JOD {u a~v (v-logR) -
(v-logR) :;} ds
1 - 21T I ID(j.u(;, 1J) {I:(;, 1J) -logR}d;d1J.
Now suppose that D has a Green's function G(;,1J;x,y) = v(;,1J;x,y)-logR
which vanishes when (;,1J) is a point of aD. vVith this value of v, u(x, y)
= -
1 21T JOD u(;, 1J) :;'dS-
2~ IID (j.u(;, rJ) G(;, 1J; x, y)d;d1J. (1 )
This holds if G is continuously differentiable with respect to ; and 1J in D, or, more generally, if aG/aN is integrable round aD. If u(x,y) satisfies Poisson's equation V'2u = -21TCT(X,y), this becomes u(x, y)
J
= - ~1T ..} aD u(;, 1J) ~~T ds +JJ 0"(;, 1J) G(;, 1J; x, y) d;d1J. Ulv D
Presumably this would give the solution of Poisson's equation in D when u is known on aD. It is necessary to prove the existence of Green's function and to show that 1 u(x, y) = - 21T JOD!(;' 1J) :;. ds + J J D 0"(;, 1J) G(;, 1J; x, y) d;d1J (2)
tends to !(xo' Yo) as (x, y) tends, on D, to any point (xo, Yo) of aD. The corresponding solution for Laplace's equation is (3)
8.9 Properties of Green's function Let D be a bounded domain whose frontier consists of a finite number of non-interesting regular closed curves and which possesses a Green's function G(x,y;xo,yo)
where
= v(x,y;xo,yo)-logR,
148]
[8.9
POTENTIAL THEORY
(x o, Yo) being a fixed point of D. Regarded as a function of the coordinates (x, y) of a variable point of D, v is assumed to be harmonic in D, continuous in D and continuously differentiable in D. The integral of 8Gj8N round 8D is - 27T. This follows from equation (1) of §8.8 if we put u == 1. The physical argument suggests that it holds even if 8D has corners. For every pair of points (x, y) and (xo, Yo) of D, G(x, y; x o, Yo) > o. For values of e which are not too large, the closed disc R ~ e lies in D. Let 00 be the circle R = e, Do the domain obtained by deleting the disc from D. Regarded as a function of (x, y), G is harmonic in Do, continuous in Do. On 8D, G is zero; on 00' G is positive since G-+ +00 as R-+O. By the maximum principle, G attains its supremum and infimum in Do on the boundary of Do. Hence G is strictly positive when (x, y) is any point of Do. Since e can be as small as we please, this proves the result. The Green's function possesses the symmetry property G(x, y; x o, Yo)
= G(x o, Yo; x, y)
for every pair of points (x, y) and (xo' Yo) of D. Write G(x,y;x o, Yo) = Go(x,y), G(x,y;XVYl) = Gl(x,y).
Let R o and R l be the distances of (x, y) from (x o, Yo) and (xv Yl) respectively. Let 00 be the circle R o = 8, 01 the circle R l = e, where 8 and e are such that 0 1 and 8D do not intersect; then the discs R o < 8, R l < e lie in D. Since Go and Gl are harmonic in the domain bounded by 00' 0 1 and 8D,
°,°
J (a°8N CO
8Gl
G 8Go) l8N ds+ +
J( J( C,
oD
8Gl G 8Go) G08N - l8N ds 8Gl 8Go) G08N -G18N ds =
o.
The third integral vanishes since Go and Gl vanish when (x, y) is on 8D. Near (xo,Yo), G1(x,y) is continuous, but Go is of the form v(x, y; x O' Yo) -logRo'
where v is harmonic. It follows that the first integral tends to - 27TG1(x o, Yo)
as 8-+0; similarly the second integral tends to 27TG o(X V Yl) as e-+O. Hence G1 (xo' Yo) = Go(x v Yl)'
8.10] 8.10
POTENTIAL THEORY
[149
The case of polynomial data
In continuation of §8.8, let f(x,y) be any polynomial. If there is a function u(x, y) harmonic in D and continuously differentiable in D, which takes on the boundary aD the same values as f(x, V), then U
=
u-f(x,y)
vanishes on aD and satisfies Poisson's equation
V'2U = - 27TCT(X, V), where CT
=
V'2ff47T is also a polynomial. By (2) of §8.8, we have U(x,y)
= JJn CT(;, 1]) G(;, 1]; x, y) d;d1].
(1)
Hence, instead of (3) of §8.8, we have a different formula u(x, y)
= f(x, y) +J J n CT(;, 1]) G(;, 1]; x, y) d;d1]
(2)
for the harmonic function. Since G(;, 1]; x, y) vanishes when (x, y) is a point of aD by the symmetry property, the function defined by (2) does take the prescribed valuef(x, y) when (x, y) is a point of D. This is not enough; we have to show that (1) gives a function harmonic in D and continuous in D; for, if this were so, u(x, y) would tend to f(x, y) as (.1:, y) moves up to the boundary. The Green's function G(;,1];x,y)
we write as
=
G(;, 1]; x, y) = 10g
v(;,1];x,y)-logR
a
B + {v(;, 1];x,y) -loga}
where a is a constant greater than the diameter of D. On aD, v-logR is zero, and so v -log a is negative. By the maximum principle, v -log a is negative on D. Therefore o ~ G(;, 1]; x, y) ~ 10g a
B
for all points (;,1]) of D. Let (xo' Yo) be any point of aD. Let Do be the part of D for which (; - XO)2 + (1] - YO)2 < e2
and let D 1 be the rest of D. Then U(x,y)
=
ffno CT(;, 1]) G(;, 1]; x,y) d;d1] + ffn, CT(;,1])G(;,rj;x,y)d;d1].
150]
POTENTIAL THEORY
[8.10
Since er is a polynomial, it is bounded on I5. There exists a constant K such that !er! ~ K there, and so
!U(x,y)!
~ K ffDoG(;,1J;x,Y)d;d1J+K ffD,G(;,17;X,Y)d~d1J.
Suppose that (x, y) is a point of Do. The integral over D1 tends to zero as (x, y) moves to (x o' Yo) on D. Hence limsup !U(x,y)! ~ limsuPKJJ G(;,1J;x,y)d;d1J. (X,Y)-(Xo,Yo) Do But, if D 2 is the disc R < 2e, D 2 contains Do and so
ffDoG(;'1J; x,y) d;d1J
~ fJDologid;d1J P~, and so is continuously differentiable. In particular, oGjoN is continuous on the boundary of the semicircle and vanishes at the corners. The Green's function for the half-plane 1J > with singularity (x, y) where y > 0, can be found by the method of images; it is
°
From this, we should expect that, if u is harmonic in y > 0, u(x, y)
= -1JOO u(;, 0) ( 7T
-00
x-
Y ;)2
+Y
2d;
under suitable conditions. The discussion must be deferred until after we have considered functions harmonic on an unbounded domain, Similarly, the Green's function for the quadrant; > 0,1J > with singularity (x, y) is . -.1 (;-X)2+(1J+y)2 (;+X)2+(1J_y)2 G(;, 1/,X,y) - 2 log (; _X)2+ (1J_y)2' (; +X)2+ (1J +y)2'
°
again by the method of images. G is a harmonic function of (;,1/) on any domain which does not contain any of the points (± x, ± V), and so is continuously differentiable. oGjoN is continuous on the boundary of the quadrant and vanishes at the origin which is a corner of the boundary. The method of images can be used to find the Green's function for other domains, such as an infinite strip or a rectangle, but the results are complicated since an infinity of images arise. Care must be taken that the process of taking images does not introduce unwanted singularities. A simple instance of this is when the domain D is the whole plane cut along the positive part of the x-axis. If we simply took the image of (x, y) in the x-axis, we should get a singularity at (x, - y) which lies in D; we should get the Green's function for the half-plane. In the cut plane, the angle variables are restricted to lie between (I and 27T. It can be shown, by using Sommerfield's multiple-valued
8.11]
[153
POTENTIAL THEORY
potential, t that the Green's function for the cut plane is
'. . _ p + r - 2-J(pr) cos t(O + cp) G(pcoscp,psmcp,rcosO,rsmO) - tlog 9-J( 1(0 cpr p + r - ~ pr) cos ~ This vanishes when cp = 0 and when cp = 21T. It has the correct logarithmic singularity when the point of polar coordinates (p, cp) moves to (r,O) since
{p +r - 2-J(pr) cos t(O - cp)}{p + r + 2-J(pr) cos t(O -cp)} = p2+r2-2prcos(O-cp). It also has alogarithmicsingularitywhenp = r,cost(O+cp) = 1. Now cos t( 0 + cp) = 1 when cp = 4n1T - 0 where n is an integer or zero. As and cp are restricted to lie between 0 and 21T, this is impossible; the Green's function has but one singularity in the cut plane. The origin is a 'corner' of the boundary of angle 21T. When p is small, oG/op and p-l oG/OO are both of the order O(p-t) and so tend to infinity as the point of polar coordinates (p, cp) moves up to the corner.
o
8.12 Poisson's integral Let u(x,y) be harmonic in a domain D. If K is an open disc with centre (xo, Yo) and radius a, which is contained in D, then if (x, y) is any point of K, u(x,y) where and
=
1 21T
J2" u(xo+acoscp,yo+asincp)P(r,O-cp)dcp, 0
x = xo+rcosO, P(r,O)
=
y = yo+rsinO
(r < a)
a 2 -r2 2 a - 2ar cos O + r·
(1)
2
Here u is known to be harmonic in a domain containing K; the formula merely states a relation connecting the known value of u at any point of the disc K and the known values of u on oK. We now ask what properties 1 u(x,y) = 21T 0 f(cp)P(r,O-cp)dcp (2)
J2"
has whenf is an arbitrary function. By a shift of origin, we may suppose X o and Yo to be zero. The simplest case is whenf(cp) is a continuous periodic function of t
A brief account of Sommerfeld's multiple.valued potentials is given in Jeans, The Mathematical Theory of Electricity and Magneti8m, 5th edn (Cambridge, 1925), pp. 279-283. 6
CPD
154]
[8.12
POTENTIAL THEORY
period 27T. 'Ve need the following properties of the Poisson kernel P(r,O): (i) for every value of ep, P(r, 0- ep) is harmonic in r < a, (ii) (iii )
P(r, 0) > 0 when r < a, 217 o P(r, 0 - ep) dep = 27T.
J
It is evident that we may differentiate (2) under the sign of integration as often as we please with respect to x and y, provided that r < a. It follows, using (i) that the function u(x, y), defined by (2), is harmonic in r < a, and has partial derivatives of all orders, which are also harmonic in r < a. We next show that u(x,y) tends to f(ex) as (x, y) tends to (a cos ex, a sin ex) in any manner in r < a. Now
lu(r cos 0, r sin 0) - f(ex)1 ~ lu(r cos 0, r sin 0) - f(O)
1
+ If(O) - f(ex) I.
Since f is continuous, the second term can be made as small as we please by taking 0 near enough to ex. Hence it suffices to consider radial approach to the boundary. By a rotation, we can make ex equal to zero. Then 1 J217 u(r, 0) - f(O) = 27T 0 {f(ep) - f(O)}P(r, ep) dep, and so
1 J217
lu(r, 0) - f(O)1 ~ 27T
0
If(ep) - f(O)1 P(r, ep) dep.
8.12]
[155
POTENTIAL THEORY
Hence
lu(r,O)-f(O)I n ~ no. Hence the sequence {un(x, y)} converges uniformly on F; let its limit be u(x,y). By Harnack's first convergence theorem, u(x, y) is harmonic in the interior ofF. As F was any closed subset of D, u(x,y) is harmonic onD.
8.17 Functions harmonic in an annulus If u is harmonic in a domain containing an annulus 0 < a ~ r polar coordinates, its value at a point (x, y) of the annulus is u(x,y)
=
2~ {fe. + feJ (u Ol~;R -logR:;) ds,
where 0 1 is r = a, O2 is r = b, and
~
bin
162]
[8.17
POTENTIAL THEORY
On 02'
S=
b cos ¢, 17 = b sin ¢, and so R2 = r 2- 2brcos (¢- 8) +b 2,
where (r, 8) are the polar coordinates of (x, y). As in § 8.5, 1 -2
1T
But on 01'
f
c,
n
=
00 ao+ 2: (ancosn8+bnsinn8)br n ·
1
S=
acos¢, 17 = asin¢, and R2 = a 2-2arcos(¢-8)+r2, where r > a. Then 00
a:/l,
10gR = logr- 2: - n cosn(8-¢) 1 nr n 810gR 810gR 00 a - 1 and - - = - - - = 2: -cosl1(8-¢). 8N 8a 1 rn It follows that
f
1 = 21T c. Here
a~10gr+~(a;,cosn8+b~sinn8)an. n r
1
,I fc. 8N 8u d s;
ao =
21T
but this is not necessarily zero since we are not given that u is harmonic in r ~ a. A function u(x, y), harmonic in a domain containing the annulus 0 < a ~ r ~ b, is of the form 00 rn u(x, y) = ao +a~logr + 2: (all, cosn8 +bnsin n8)-b n
1
00
all,
1
r
+ 2: (a~ cosn8+b~sinn8)-.n The first infinite series is convergent when r < b and uniformly convergent in rand 8 when r ~ b' < b. The second is convergent when r > a and uniformly convergent when r ~ a' > a. This is the analogue of Laurent's theorem for harmonic functions. If the one-valued function u(x, y) is harmonic in a neighbourhood of a point Po, except at Po itself, and is bounded in the neighbourhood of Po, then we can define u at Po so that u is harmonic in the whole neighbourhood. "\Ve may take Po to be the origin and the neighbourhood to contain r ~ b. Then, changing the notation, 00
u(x,y) =
ao+a~logr+ 1',
(all, cosn8+b" sinn8)rn
1 00
+ 2: 1
(a~ cosn8+b~sin
n8) r- n ,
8.17]
[163
POTENTIAL THEORY
the series being uniformly convergent on any closed set contained in 0 < r < b. Suppose that lui ~ Kin r ~ b. By integrating term-byterm we have
21T(ao+a~10gr) =
f:"
u(rcos 0, rsinO) dO
lao+a~logrl ~ K.
and so
As this holds no matter how small r may be, we must have Similarly, if n > 0,
lanrn+a~r-nl
=
a~ =
O.
I~f:" u(rcoso,rsino)cosnOdol ~ 2K.
Again, as this holds no matter how small r may be, b~ = O. Hence
a~ =
O. Similarly
aJ
u(x, y) = a o +
L: (an cos nO + bn sin nO) rn 1
for 0 < r < b, and also for r = 0 if we define u(O, 0) to be ao' Since ~(ianl + Ibnll cn is convergent for c < b, u is harmonic in r < b. ~ is called a removable singularity. If the one-valued function u(x, y) is harmonic in a neighbourhood of a point Po except at Po itself, and u tends to + 00 as (x, y) tends to Po, then u = a~logr+v, where a~ is negative and v is harmonic in a neighbourhood of Po· Since u-.+ +00, for any positive value of K, no matter how large, we can choose r o so that u > K when 0 < r < roo Using the Laurent
expansion, we have 21T(ao +a~ logr) +1T(an r n +a~r-n)
= ~
since 1 + cos nO
~
O. Similarly
f
2"
0
K
u(rcos 0, rsinO) {1 + cos nO} dO 2" 0
f
(l+cosnO)dO = 21TK,
21T(ao +a~logr) -1T(an r n +a~r-n)
~
21TK.
These inequalities hold in 0 < r < ro, no matter how small r may be. If a~ =l= 0, these inequalities cannot both be true since ± 1Ta~r-n are the dominant terms on the left. Hence a~ = 0; similarly b~ = O. The inequalities also imply that a~logr-.+ +00 as r-.+O; hence a~ < O. Hence aJ u(x,y) = ao+~logr+.s (an cosnO+bnsin nO) r n 1
which was to be proved.
164]
[8.18
POTENTIAL THEORY
8.18 Unbounded domains So far, we have considered only bounded domains. If D is unbounded, we say that u(x, y) is harmonic on D if it is bounded and is harmonic on every bounded domain contained in D. 'We may suppose that the origin is not a point of D, so that D lies outside a circle X2+y2 = a 2. The point (x',y') inverse to (x,y) with respect to this circle has coordinates x' = a2xj(x 2+y2),
y' = a2yj(x 2+y2),
or, in polar coordinates, r' = a 2 jr,
8'
=
8.
The inverse of the domain D is a domain D', which lies inside the circle. The origin is not a point of D'; but D' does contain a' punctured' disc Since the function
(x
2
2
2
U 8 u) + Y2) (88x2 + 8y 2
2 _ ('2 '2) (8 U 82u ) - X +Y 8X'2 + 8y'2 '
a2x' a2y' ) u1(x', y') = U ( X'2+ '2' X'2+ '2 y y
is harmonic on the punctured disc, and is bounded there. The origin is therefore a removable singularity of u1(x',y'); as r' -+ 0, u1(x',y') then tends to a limit ao' The function which is equal to u1(x',y') on < r' < b and is equal to a o at the origin is harmonic on r' < b. Let C be a regular closed curve. The exterior problem of Dirichlet is to find a function which is harmonic on the domain D exterior to C and which takes given continuous values on C. By the definition, we require the function u(x,y) to be bounded and to be harmonic on every domain contained in D. If the boundedness condition is dropped, the problem does not have a unique solution. Choose as origin a point inside C. The inverse of D with respect to the circle r = a is a bounded domain, punctured at the origin. The inverse of C is a regular closed curve r. If u1(x',y') is the unique function which is harmonic inside r and takes the corresponding continuous boundary values on r, then
°
U
1
a2x a2y ) ( x2 + y2' x2 + y2
is the required solution of the exterior problem of Dirichlet. The existence and uniqueness ofthe solution ofthe interior problem ofDirichlet
POTENTIAL THEORY [165 8.18] implies the existence and uniqueness of the solution of the exterior problem of Dirichlet in the class of bounded functions. A simple example is the solution of the exterior problem of Dirichlet when the boundary is a circle r = a. The solution of the interior problem is 1 f2" a 2-r2 u(r,8) = 21T 0 a2-2arcos(8-¢;)+r 2 !(¢;)d¢;.
If we invert with respect to r = a, the interior domain becomes the unbounded domain r > a. Replacing r by a 2jr, we get 1
u(r,8) = 21T
f2" 0
r 2-a 2 a2-2arcos(8-¢;) + r2!(¢;) d¢;,
a result which can also be obtained from the fact that a function which is bounded and harmonic when r > a is of the form
:More generally, the solution of the exterior problem of Dirichlet in the class of bounded functions can be deduced from the Green's function solution of the interior problem obtained by inversion. This implies that we can define the Green's function in the ordinary way for an unbounded domain, provided that we require it to be bounded at infinity. For example, the Green's function for the halfplane 1] > 0 with singularity (x, y) where y > 0 is G(s, 1]; x, y) = !log
(s(S-X)2+(1]+y)2 r + ( r' -x~
1]-y~
This satisfies the condition of vanishing when 1] = 0; it has the correct logarithmic singularity at (x, y) and is bounded at infinity.
8.19
Connexion with complex variable theory Letw = !(z) be an analytic function of the complex variablez = x+iy, regular in a bounded domain D. If w = u + iv, where u and v are real, u and v are harmonic in D. For both have continuous derivatives of all orders; and since U x = vlJ' ulJ == - vx' both u and v satisfy Laplace's equation. Conversely, ifu is harmonic in a simply connected domain D, whose boundary is a regular closed curve C, then u is the real part of an analytic function, regular in D. By Green's theorem,
fr
(uxdy -ulJdx)
166]
[8.19
POTENTIAL THEORY
r
vanishes for every regular closed curve
lying in D. Hence
(X,y)
f
v(x,y) =
(uxdy-uydx)
(Xo,Yo)
is independent of the path of integration; v(x, y) is a one-valued function which has continuous derivatives inD, and V x = - u y, v y = u x ' Therefore u + iv is an analytic function of z, regular in D. The harmonic function v is called the conjugate of u. If (x o' Yo) is a point of D, u is the real part of an analytic function 1(z), regular in a disc Iz - zol < R contained in D. By Taylor's theorem, 00
1(z) = 2:cn (z-zo)n o
is convergent on the disc. Hence u can be expressed, either as 00
u = 2: o
where Cn =
Icnl eia.n and z =
Icnl rncos (n8+iX n ),
zo+re 8i , or as
m
U
=
2: amn(x-xo)m(Y_Yo)n. m,n=O
By the sort of argument used in § 8.5, we can show that this double series is absolutely convergent on the square
Ix-xol + IY-Yol
< R,
and hence that u(x, y) is analytic.
8.20
Conformal mapping
If S = F(z) is an analytic function, regular in a bounded domain D, itmapsD into adomain~inthe splane. Such a mapping is conformal, since the angle between the tangents at the point of intersection of two curves is unaltered by the mapping. If the mapping is a bijection, that is, to every point of D there corresponds one point of ~ and to every point of ~ there corresponds one point of D, S = F(z) is said to map D conformally on ~; such a mapping is sometimes said to be simple or schlicht. If S = F(z) maps D conformally onto ~, for any function u(x, y),
we have
82
(~2u 82 )
82
8x~.+ 8Y~ ~
IF'(z)12
~f,2 + 87J~
,
where z = x+ iy, s = f, + i7J. Hence ifu is harmonic on D, the conformal . mapping turns it into a function harmonic on ~.
POTENTIAL THEORY [167 8.20] Suppose that D is bounded by a regular closed curve C. Then, by Riemann's theorem on conformal mapping, there exists a unique analytic function F(z), regular in D, such that S = F(z) maps D conformally on lsi < 1, transforms any point a within C into the origin, and a given direction at a into the positive direction of the real axis. It would seem, therefore, that all we have to do to solve the problem of Dirichlet for D is to map D conformally on the unit circle lsi < 1 and solve the corresponding problem in the S plane. If we know an explicit formula for the mapping, this is satisfactory. The argument fails to prove the general existence theorem since Riemann's theorem is equivalent to the theorem concerning the existence and uniqueness of the solution of Dirichlet's problem. As an example, we deduce Poisson's formula from Gauss's mean value theorem. The conformal transformation
where Izol < a and 20 is the conjugate of zo, maps Izl ~ a onto lsi ~ 1, the image of Zo being the origin of the Splane. This mapping turns a function u(x, y) harmonic in the z plane into a function U(s,7J) harmonic in lsi ~ 1; and u(xo, Yo) = U(O, 0). But U(O, 0)
=
2~
5
r U(s, 71) dCT,
where CT is the arc length of the unit circle Hence
where 8 is the arc length of C, where r < a. Now
Ids I I
Izi
= a.
r whose equation is lsi
On C,
z
= ae 0 by a path in the upper half plane, u(x, y) tends to f+(s) wheref+ is bounded and continuous. As (x, y) moves to the same point by a path in the lower half-plane, u(x, y) tends to f-(s) where f- is also bounded and continuous. Prove that if (x,y) has polar coordinates (r,8) when 0 < 8 < 21T,
15. ll(x, y) has continuous second derivatives on a bounded domain D where it satisfies y2U = - 21Ta(x, y) where a is non-negative. If (x o,Yo) is any point of D, there exists a disc with centre (x o,Yo) and radius a which lies in D. Prove that
J:"
u(xo+rcos8,yo+rsin8)d8
is a decreasing function of r when r < a. Hence show that
9
SUBHARMONIC FUNCTIONS AND THE PROBLEM OF DIRICHLET
9.1 The enunciation of the problem If D is a bounded domain, the problem is to show that there exists a function, harmonic in D and continuous in 15, which takes given continuous values on the frontier aD of D. A domain is an open connected set; its frontier is the intersection of its closure and the closure of its complement. There are several proofs of this existence theorem. vVe give here the proof, associated with the names of Perron and Remak, which uses the theory of subharmonic functions. No assumption is made initially about the connectivity of D or the structure of aD. A function is found which is harmonic in D and is specially related to the boundary values. Conditions are found on the structure of aD, under which this harmonic function is continuous in 15 and takes the given values on aD. These conditions are satisfied when D is simply connected and is bounded by a regular closed curve; more generally, when D is multiply connected and is bounded by a finite number of non-intersecting regular closed curves. Although the function which solves the problem of Dirichlet is 'found', the method does not provide a practical method of solving particular problems.
9.2 Subharmonic functions Afunctionu(x,y), continuous in a domain D, is said to be subharmonic in D if, for every closed disc (S-X)2+(1J_y)2 ~ r 2 contained in D U(x,y)
~ ~f21T u(x+rcos8,y+rsin8)d8. 21T
0
If U and - U are both subharmonic, U is harmonic, by the converse of Gauss's mean value theorem. IfulJu2' ... 'U n are subharmonic on a domain D, so also are
[ 175 ]
176J
[9.2
SUBHARHONIC FUNCTIONS
where c1 , c2 ,
••• , Cn
are positive constants, and
max (u1 , U 2'
•.. ,
un)'
The first result is obvious. The second can be proved by induction since where So it suffices to prove the second result in the case n Let
= 2.
This means that, at each point (x, y), the value of u(x, y) is the greater of u1(x, y) and u 2 (x, y). Since U U
= t(u1 +u2 + !U1 - U2 J)
is continuous on D. If U = u(x,y)
=
U1
at the point (x, y), we have
1
f2lT 0 u1(x+rcosO,y+rsinO)dO
1
f2lT 0 u(x+1·cosO,y+rsinO)dO.
u1(x,y) :::; 27T
:::; 27T
We get the same result if U = subharmonic.
U2
at the point considered. Hence
U
is
If U is subharmonic on a bounded domain D and has a relative maximum at a point of D, theTe is a disc, which lies in D and has the point as centre, on which u is constant. Take the point as origin. Then there is a disc r < a whose closure
lies in D. Since u is subharmonic, 1
u(O,O) :::; 27T
f2lT 0 u(r cos 0, r sin 0) dO
for all r < a. Suppose that there is no disc with centre 0 on which 11 is constant. Since u has a relative maximum at 0, we can find a circle r = b on which the supremum M of u is less than u(O, 0). Let w(x, y) be the function, given by Poisson's integral, which takes on r = b the same values as u(x, y). Then w(O, 0)
and so
=
1
27T
f2lT 0 u(bcosO,bsinO)dO ~ w(O, 0) > M.
u(O,O),
SUBHARMONIC FUNCTIONS [177 9.2J This is impossible since w(x, y), being harmonic in r < b and continuous in r :::; b, cannot take at the origin a value greater than its supremum on r = b. It follows that there must be a disc with centre 0 on which u is constant. If u is subharm<Jnic on a bounded domain D and continuous on D, it attains its supremum on D at a point or points of aD. If it also attains this s~tpremum at a point of D, it is a constant. Since u is continuous on D, it is bounded and attains its supremum at a point of D. We have to show that, if u is not constant, it cannot attain its supremum at a point of D. Suppose this is not so. Let A be the set of points of D at which u = M, where M is the supremum of u on D. If (x, y) is a point of A, u has a relative maximum at that point, and so there is an open disc with centre (x, y) on which u = M. The set A is therefore the union of a family of open discs and hence is an open set. Let B be the set of points of D at which u < 3-'J. Since u is continuous, B is an open set. But D is the union of the disjoint open sets A and B, which is impossible since D, being a domain, is connected. Hence either A or B is an empty set. If B is empty, A is D and u = J.lJ everywhere on D. This is impossible if u is not constant. Hence A is empty, and u does not attain its supremum on D at any point of the interior of D. Let Ll be an open disc whose closure is contained in D. We can associate with any function u which is continuous in D a function Ut. with the following properties: (i) Ull. is continuous in D; (ii) Ull. = U on the complement of Ll with respect to D; (iii) ut. is harmonic on Ll. In fact, Ull. on Ll is given by Poisson's integral. If u :::; Ull. for every open disc Ll where closure is contained in D, then u is subharmonic in D. Conversely, if u is subharmonic in D, so also is Ut. for every disc Ll whose closure is contained in D; and u :::; Ut.. If (x,y) is any point of D, there exists a positive number a such that, if r < a, the closure of the disc Ll with centre (x, y) and radius r lies in D. Then, if r < a,
u(x,y) :::; ut.(x,y)
=
1
27T
J211' . 0 ut.(x+rcosO,y+rsinO)dO
1 J211' = 27T 0 u(x+rcosO,y+rsinO)dO,
since ull. = u on all. Hence u is subharmonic.
178J
SUB HARMONIC FUNCTIONS
[9.2
'We now consider the converse. Since U,:,. is harmonic on Ll, it is subharmonic on Ll. Since U,:,. = U on the part of D outside l, it is subharmonic there. It remains to discuss points on all. Since - u ~ is harmonic on Ll, it is subharmonic. Hence U - U,:,. is subharmonic on Ll, and so attains its supremum in Zi. at points of all. But u-u::, vanishes on all; hence u-uj. :::; 0 on l. But u,:,. = U on the part of D outside Ll. Therefore U :::; U,:,. everywhere on D. If (x, y) is a point of all,
u,:,.(x,y) = u(x,y):::;
f:
7T
u(x+pcosO,y+psinO)dO
for all sufficiently small values of p. It follows that
ut,.(x,y):::;
f
27T
0
u,:,.(x+pcosO,y+psinO)dO,
so that Ut,. is subharmonic at every point of all.
9.3 Lower functions Let f be continuous on the frontier aD of a bounded domain D. A function v, which is continuous on D and subharmonic on D and which satisfies v :::; f on aD, is called a lower function or subfunction associated v;rith f on D. 'We denote the family of all lower functions associated withf on D by SIj. The family is not empty; the infimum m off on aD belongs to SIj. By the maximum principle, every function v belonging to SIj satisfies on D the inequality v :::; JJf, where JJf is the supremum off on aD. If V 1 ,V2 ""'Vn belong to SIj, so also does max(vl ;v2 ,oo.,vn ). For max (VI' v 2 , ... , vn ) is continuous on D, subharmonic on D and does not exceedf on aD. If v belongs to SIj, then v,:,. belongs to SIj for every disc Ll whose closuTe lies in D. v,:,. is continuous in D, subharmonic on D and, on aD, v,:,. = v :::; f. 9.4
Perron's function If v belongs to SIj, v :::; JJf at every point of D. The values taken by the functions of the family of SIj at a given point (x, y) of D have, therefore, a finite supremum which we denote by u(x, y). Perron's function u(x,y) = supv(x,y) •• E!I'f
is therefore defined everywhere on D, where it satisfies u:::; JJ1. On aD, u:::;f. This is all we know about u(x,y); we prove that it is harmonic on D.
SUB HARMONIC FUNCTIONS [179 9.4J Let Ll be a disc whose closure is contained in D. If Po is a point of ~, there exist functions of 9f which take values as near as we please to u at Po. Hence we can find a function v~ of 9f such that
v~ (Po) ~ u(Po) - 1.
If we write
then VI also belongs to 9f and is harmonic on Ll. Since v~ ~ we have Again, there exists a function
VI
on 15,
v; of 9f such that
v;(Po) ~ u(Po) -
i·
The function also belongs to
9f and is harmonic on :l. Since
we have Proceeding in this way, we can construct two sequences
{v~}
and
{v n } offunctions of 9f such that
v~(Po) ~
u(Po)
-~, n
Since both sequences converge to u(Po) at Po. Now
Vn- I
~ max(vn_l>V~) ~ [max(vn_l>v~)]a = Vn ~]}[
everywhere on 15. Hence {v n }, being a bounded increasing sequence, converges everywhere on 15 to a function v. Since each function V n is harmonic on Ll, the limit V is harmonic on Ll, by Harnack's second convergence theorem. The convergence of {v n } to V is uniform on every closed subset of Ll. We know that V = u at Po; we shall now show that v = u everywhere on Ll. By definition, V n ~ u and so v ~ u on Ll. If v 9= u everywhere on Ll, there is a point PI of Ll such that v(PI ) < u(PI ). We carry out the same construction starting with the point PI instead of Po. We get
180J
[9.4
SUBHARMONIC FUNCTIONS
two sequences {u';,} and {wn } of functions ofthe family SIj such that u(-R.)
~ W~(Pl) ~
u(P 1)-!, 11
Both sequences converge to u(P1 ) at -R.. And, as before, {w n } converges to a function w which is harmonic in Ll. Now consider the sequences {W~}, {Jv,.}, where
TF;, = max (v n , w n ),
Jv,. =
[Wa~·
All these functions belong to the family SIj, and {W~} is a bounded increasing sequence since HY~
= max (v n , wn )
Tl~
:::; max (v nH , w nH )
=
is harmonic on Ll. W~H'
The sequence {Tl~} is also a bounded increasing sequence. For, outside Ll, Jv,. = W~, n~+l = W~+I' and so {Tl~} is increasing outside Ll. On Ll Tl~+l - Jv,. is harmonic and takes non-negative values W~+I - W~ on all; hence Jv,.+l - Tl~ ~ 0 on Ll. The sequence {Tl~} converges, therefore, to a function W which is harmonic on Ll. Moreover, W ~ v, W ~ w. Since u is.the supremum of the functions of the family 9;, Tl~(Po)
and so
:::; u(Po)
HT(PO) :::; u(po) = v(Po) :::; Tl1(Po).
Therefore the function W - v, which is harmonic on Ll, vanishes at Po. But W - v ~ O. Hence TV-v attains its minimum at an interior point of Ll, and so is identically zero on Ll. In particular, v(P1 )
=
W(P1 ) ~ w(-R.)
=
u(-R.).
This is a contradiction, since we assumed V(P1 ) < u(P1 ). Hence v = u everywhere on Ll, and v is harmonic on Ll. Hence Perron's function u is harmonic on any disc Ll where closure is contained in D. As D is an open set, the union of a family of open discs, it follows that Perron's function is harmonic in D.
9.5 .Barriers In this section, P denotes a point of D, but Q and Qo are points of aD. We have to find conditions under which Perron's function u(P) tends tof(Qo) as P tends to Qo by a path in D. To do this, we introduce
SUBHARMONIC FUNCTIONS [181 9.5J the concept of a barrier. A barrier is a function w(P; Q) u'hich is
continuous in D, harmonic in D, whose boundary-values w(Q; Qo) a1'e strictly positive except at the point Qo; and (o(Qo; Qo) = O. If there is such a barrier at Qo, u(P) does tend to f(Qo) as P tends to Qo' If
every point of aD has a barrier, Perron's function is the required solution of the problem of Dirichlet, which we know is unique. The boundary function f(Q) is continuous on the closed set aD and so is bounded; there exists a constant K such that I f(Q)1 :::; K. The result will follow if we can show that, for every positive value of e, limsupu(P) :::;f(Qo)+e, p-~
liminfu(P) ?:-f(Qo)-e, p-~
when there exists a barrier w(P;Q o)' Let Ll be a disc with centre Qo where radius is so small that Ll does not contain the whole of the domain D; ~' is the complement of U. For every positive value of e, we can choose the radius of 6. so that If(Q) -f(Qo)1 < e
for all points Q in Ll n aD. On D n Ll', w(P; Qo) is harmonic and strictly positive, and so has a positive minimum Wo which is attained on the boundary of D n Ll'. Consider the harmonic function W(P) = f(Qo) + e+ w(P; Qo) [K - f(Qo)]' Wo
Everywhere on
D,
W(P) ~ f(Qo) +e.
Sincef(Q) lies betweenf(Qo) ± e on aD
n Ll, we have
W(Q) > f(Q)
there. But on aD n 6.'
Thus W - f > 0 on aD. Ifv belongs to the family.9j, v - Wis continuous in D, subharmonic in D, and v-W:::;f-W
°
on 8D except at Qo' Hence the result. This enables us to complete the discussion where D is simplyconnected and 8D is a regular closed curve. If Qo is not are-entrant corner, we take as the regular arc the straight segments ofthe previous test. If Qo is a re-entrant corner, take Qo as origin and choose the xaxis so that, near Qo, lJ' lies in x > 0. Near Qo, the two arcs of 8D have equations y = ¢(x) and y = ¢(x) where ¢ and ljf are differentiable. Since the two arcs intersect only at Qo, there is an interval < x < a on which ¢(x) < ljf(x); and ¢(x) < y < ljf(x) belongs to lJ'. Then,
°
for
°.:; x < a,
y = H¢(x) + ljf(x)}
is a regular arc which lies, apart from its end point Qo, in [j'. The problem of Dirichlet thus has a unique solution when 8D is a regular closed curve. The same argument applies when D is a multiplyconnected domain bounded by a finite number of non-intersecting regular closed curves.
9.7 Discontinuous boundary data In the case ,,·hen the domain D is bounded by a regular closed curve, the requirement that the boundary data be continuous can be lightened; we can allow for a finite number of ordinary discontinuities. It suffices to consider one such discontinuity. Suppose that. the boundary function f has one ordinary discontinuity at a point (a, b) which is not a cusp of 8D. Since 8D is regular, there is either a tangent to 8D at (a,b) or the two regular arcs which join these have tangents in different directions. Vi7e may suppose that the axes are chosen so that the approach to (a, b) on the two arcs is as x-+a-O and as x-+a+O. As x-+a+O on 8D,
y-b
- - -+tana x-a and as x-+a- 0,
y-b
- - -+tanfJ x-a
(-!7T < a < !7T),
(t 7T < jJ
< i7T)·
If there is a unique tangent at (a,b),jJ=7T+a. As x->a+O on 8D,f-+f+; as x-+,a-O,f-+f_·
SUBHARMONIC FUNCTIONS
9.7J
If
[185
y-b F(x,y) =/(x,y)+Ktan-1- - , x-a
F-+I++Krx as x-+a+O, F-+I_+KfJ as x-+a-O. Hence F is continuous at (a,b) if K = (/+-I-)/(fJ-rx). Let U(x,y) be the function which is harmonic in D, continuous on D and which takes the continuous boundary values F on aD. Then b u(x,y) = U(x,y)-Ktan- 1y - , x-a
with an appropriate choice of the branch of the inverse tangent, is harmonic in D and takes the continuous boundary values 1 on aD except at (a, b). Since U is continuous on D, U tends to a limit L as (x,y) tends to (a, b) on a path in D not tangent to the regular arcs which meet at (a, b); and the inverse tangent tends to a limit y definitely between rx and fJ. Since F is continuous, L =1++Krx = 1-+KfJ.
Hence
u-+I+ -K(y-rx)
1
=
fJ-rx {(fJ-y)j+ + (y-rx)/_}·
Hence u tends to a limit, depending on the direction in which (x, y) approaches (a, b); this limit lies between 1+ and 1-.
7
CPD
10 EQUATIONS OF ELLIPTIC TYPE IN THE PLANE
10.1 The linear equation Suppose that a linear equation of the second order with two independent variables is ofelliptic type in some region in which the coordinates (x, y) can be chosen so that the characteristics are x ± iy = constant. Then the equation is of the form 82u 82 u 8u 8u 8x2 + 8y 2 + 2a 8x + 2b 8y + cu = F,
(1)
where a, b, c and F are functions of x and y alone. For brevity we write this equation as L(u) = F. Associated with L is the adjoint operator L* defined by
L*(u) Then
82u 8x
82u 8y 2
8 8x
8 8y
vL(u)-uL*(v)
= -~-+-
= -+--2-(au)-2-(bu)+cu. 2 8H ox
(2)
oK 8y'
H = vu x -uvx +2auv, K = VU y -uv y +2buv. L is said to be self-adjoint if the operators Land L* are identical; this happens if and only if a and b are zero. If a and b are constants, the operator M defined Q.y where
M(u) = eax+bYL(e-ax-byu) is self-adjoint. The problem of Dirichlet for the linear equation (1) is to find a solution which is continuously differentiable in the closure of a bounded domain D, which has continuous second derivatives in D and which takes given continuous boundary values On the frontier 8D of D. ViTe have seen that, in the particular case of Laplace's equation or Poisson's equation when a, b, c are identically zero, the problem of Dirichlet has a solution and that it is unique, provided that the boundary satisfies certain conditions. This is not necessarily the case for the general linear equation. [ 186 ]
10.lJ
ELLIPTIC EQUATIONS
[187
If the linear equation (1) had two solutions u 1 and u 2 , the function U 1 - U 2 would satisfy L(u) = and would vanish on 8D. For Laplace's equation, this implies that u is identically zero on the closure of D, so that, if the problem of Dirichlet has a solution, it is unique. It can happen that the problem of Dirichlet for L(u) = with zero boundary values on 8D possesses solutions which are not identically zero on 15, so that the problem of Dirichlet for L(u) = F does not necessarily possess a unique solution. The other problem associated with a bounded domain is the problem of Neumann, in which the normal derivative is assigned on 8D. In the case of an unbounded domain, we have to impose in both these problems conditions on the behaviour ofthe solution at infinity, just as we did for Laplace's equation.
u =
°
°
10.2
The reduced wave equation
In the theory of small vibrations of a uniform stretched plane membrane with a fixed rim, the small normal displacement U of the membrane at the point (x,y) at the instant t satisfies the equation of wave motions (1)
with an appropriate choice of units of length and time. Since the equation is linear, the general solution is the sum of solutions corresponding to the vibration~ in normal modes of oscillation. In a normal mode, U is of the form u(x, y) cos (kt+a) where k and a are constants, and u satisfies the reduced wave equation 82u 82u 8x2+ 8y2 + k2u = 0.
(2)
If the boundary of the membrane is a regular closed curve 0, we require u to satisfy the usual differentiability conditions inside and on 0 and to vanish on C. In the simplest case, 0 is the square with sides x = 0, x = a, y = 0, y = a. Then (2) has the solution . mrrx . nrry
u=sm--,;:-sm--,;-, which vanishes on 0 provided that m and n are positive integers and that (3)
In the problem ofthe vibrations of a square membrane, this equation 7-2
188J
ELLIPTIC EQUATIONS
[10.2
gives the frequencies of the normal modes of vibration, and the general solution of equation (1) is of the form ~ . mrrx . nrry cos (k'mn t + cx ), .£..J a SIn - smmn m,n mn a a
where Now forget the membrane problem and consider the reduced wave equation (2) as an elliptic equation with a given k. If a = ..)2rrjk, equation (2) has the solution . kx . ky (4) u = sm ")2 sm ..)2' which vanishes on C, but does not vanish identically inside C. Therefore for this square, the problem of Dirichlet does not have a unique solution; we can always add to any solution a multiple ofthe solution (4). But if a < ..)2rrjk, there is no non-zero solution of(2) which vanishes on C; hence, if the problem of Dirichlet for (2) has a solution, it seems likely that it is unique if the square is sufficiently small. The problem of the normal modes of vibration of a circular membrane with fixed rim l' = a, using polar coordinates, can be discussed in a similar way. In a normal mode of vibration, U is of the form ucos (kt+cx) where u satisfies the reduced wave equation. Now, in polar coordinates, equation (2) is 02U 1 ou 1 02u 2 01'2 +;- or +;2 082+ k u
= o.
By the method of separation of variables, we find that this equation has the particular solution u
=
Jm(kr) cos (m()+cm),
where m is a positive integer or zero, to ensure that the solution is finite and one-valued when l' ::::; a, and Jm is the Bessel function of order m. In the membrane problem, we get the normal modes by choosing k so that Jm(ka) vanishes, and the general solution is the sum of solution corresponding to the various normal modes. Now z-mJm(z) is an even function of z, whose zeros are all real and simple. Denote the positive zeros by jm,1,jm,2'''' in increasing order of magnitude. Then the norma,l modes of vibration of the circular membrane with fixed rim l' = a are given by U = JmUm,n1'ja) cos (m8+ €m,n) cos (km,nt+cxm,n),
where
10.2J
ELLIPTIC EQUATIONS
[189
Again, forget about the membrane problem and consider the reduced wave equation (2) in its own right. If k = jm,n/a, there exists a solution which vanishes on r = a. Hence for the disc r :::; a, the problem of Dirichlet does not have a unique solution. The least of the zerosjm,n isjo,l' If a < jo,l/k, there is no non-zero solution of (2) which vanishes on r = a. Hence, if the problem of Dirichlet for (2) has a solution, it seems likely that it is unique if the disc is sufficiently small. The argument in this section is not entirely rigorous, but it does suggest the sort of result we should expect.
10.3 The elementary solution The theory of harmonic functions in the plane depends on the existence of the solution log R where R is the distance from the singularity (xo, Yo) to the variable point (x, y). A homogeneous linear equation (1)
also possesses a solution with a similar logarithmic singularity; it was called by Hadamard the elementary solution. Its existence for V'2u+cu = 0 was first proved by Picard. In his Lectures on Cauchy's Problem, Hadamard deals with the general linear homogeneous equation which is not a parabolic type. He discusses the problem in a space of any number of dimensions; in n-dimensional space, the elementary solution behaves near the singularity like 1/Rn-2. The reduced wave equation u=+u YV +k2u
=
0
has two solutions which depend only on R, viz. Jo(kR) and Yo(kR). Jo(z) is an integral function of z in the complex plane, but :Yo(z) has a logarithmic singularity at z = 0; in fact, ~(z)
2
= -Jo(z)logz+ V(z), 7T
where V(z) is an integral function. Hence :Yo(kR) is the required elementary solution of the reduced wave equation. It is not uniquely determined; we could add to it any constant multiple of Jo(kR). The discussion here is based on Hadamard's proof and the method of Frobenius for solving by series an ordinary linear homogeneous differential equation.
190J
ELLIPTIC EQUATIONS
[10.3
'Ve choose the singular point as origin, and we assume that there is a neighbourhood of the origin in which the coefficients a, b, c in the equation [(1 )J
are analytic functions. Follow Hadamard, we "rrite f for r 2 , where (r, e) are the polar coordinates of the point (x, y). We ask whether L(u) = has a solution ofthe form
°
(2)
where v is a constant at our disposal and where the coefficients Un are analytic.
ffin~
L(UfV )
au = f L(U)+4vf"-1 ( ra;-+(v+'Y) U ), V
'Y = ax+by,
where we have L(u)
=
co
co
~fn+vL(Un)+4ffn+v-l(n+v)
(
au
)
r arn+(n+v+'Y)U" ,
assuming that term-by-term differentiation is valid. It follo,,-s that L(u)
= 4vfv- 1
(r aa~o + (v+ 'Y) Uo)
(3)
if the other coefficients satisfy the recurrence relation r
aa~n + (n + v + 'Y) Un = -
4(n
~ v) L(Un-l)'
(4)
If Uo is given, this differential equation gives the other coefficients successively; it is an ordinary differential equation in which the variable is only a parameter. If we choose Uo so that o r~+'YUo = 0,
e
au ur
,
(3) becomes
the resemblance to the case of equal exponents in Frobenius's method being evident. The equation satisfied by Uo is an ordinary differential equation with solution
Uo = A exp ( where A may depend on
e.
f:
\F ~~) ,
10.3J
[191
ELLIPTIC EQUATIONS
Since a and b are analytic near the origin, there is a disc on which '¥ = ax+by
=~' amnxmyn,
where the~' indicate summation over all non-negative integer~ except
o.
m = n = Since
rxmyn xmyn - - dr = cos me sin ne fr rm+n-1dr = -, fo r o m+n r dr xmyn ,¥-=~'a -mn m + n fo r
we have
on the disc where the series for '¥ is uniformly and absolutely convergent. Hence myn x -) . Uo = Aexp ( -~ , a mn m+n If, in (4), we substitute '¥ we obtain
r :r
(g;) +
(n + v)
=
-;0 °o~o,
g; = -
4(n: v) U L(Un_1)· o
It follows that Un = - 4(
U fr r n +v - 1 0) nv + L(Un_1) dr, n+vr 0 0
-u.
the lower limit of integration being taken to be zero to ensure that each coefficient Un is analytic near the origin. If we write U = r(v+l) u.w: n r( V + n + 1) 0 n' where Jfo = 1, we have r(v+ 1) v (5) u = uor r( 1) ~rn. o v+n+
z: (X)
The recurrence formula becomes
where with
02W 02W oW oW L1(W) = ox 2 + oy2 + 2a1"8X+ 2b 1ay +C1W, a1 = a+
1 oUo
Uo
ox'
b1 = b+
1 oUo
Uo
8Y'
c1 =
1 L
U.
llo (
0)·
Since Uo is analytic and does not vanish in a neighbourhood of the
192J
ELLIPTIC EQUATIONS
[10.3
ongm, these coefficients are all analyt,ic there. By the method of dominant functions, it can be shown that the series (5) is uniformly and absolutely convergent in a neighbourhood of the origin, and the formal method by which (5) was obtained is then valid. The details under more general conditions will be found in Hadamard's book. Since U defined by (5) satisfies L(u) = 4v 2
r 1 uo, v-
where rand Uo do not depend on v, we obtain a solution U 1 of L(u) = 0 by putting v = 0; this solution
COw
U1
where
Wo
= UoL:o -f rn, n.
= 1, w n = -
4~n
J:
L 1 (u'n_l)1· n - 1 dr,
is analytic in a neighbourhood of the origin. The series (5) and the series obtained by differentiation with respect to v can be shown to converge uniformly on any interval a ::::; l' ::::; jJ which contains no negative integer. Since L
(OU) ov
=
a second solution of L(u)
8vrv - 1 [1,0 + 4v 2 r v - 1 [1,0 log r' =
0 is
u2
=
OU) ' (IOv. v=o
or This is the required elementary solution. The first term contains the logarithmic singularity, the second is analytic in a neighbourhood ofthe origin; we could add to the second term any solution ofL(u) = 0, analytic near the origin. This discussion of the theory of Hadamard's elementary solution is incomplete - a discussion of the convergence of the series (5) is needed. All that is given here is a method of finding the form of an elementary solution. The difficulty in the method is the evaluation of the integrals which determine successively the coefficients IT:;'. In some problems it is possible to calculate explicitly the first few coefficients and to make an inspired guess at the form ofthe elementary solution and then to find it by direct substitution in the differential equation.
10AJ 10.4
[193
ELLIPTIC EQUATIONS
Boundary value problems
Let D be a bounded domain whose frontier aD consists of a finite number of non-intersecting regular closed curves. The most important boundary value problems for the linear equation L(u) == V2u-t2au x +2buy +cu = F(x,y),
where a, b, c, F are analytic, are the problems of Dirichlet and of Neumann. In the problem of Dirichlet, we have to find a solution with continuous first derivatives in 15 and continuous bounded second derivatives in D, given that u = f(x, y) on aD, f being continuous. In the problem of Neumann, au/oN is given on aD. We try to solve these problems by the use of Green's theorem. (See Note 5.) Let. L* be the operator adjoint to L. If the double integral exists ffn{VL(U)-uL*(v)}dxd Y = fan (lH+mK)ds,
where (I, m) are the direction cosines of the normal to aD drawn out of D, and H = vux -uvx +2auv, K = VU y -uvy +2buv. This is true if u and v have continuous bounded second derivatives on D and continuous first derivatives on 15. In particular, if L*(v) = 0, ffn vFdxdy = fan (v
:~-u ~~+2(la+mb)Uv)ds.
vVe assumed that a, b, c are analytic. Then L*(v) = mentary solution 1 v = vologR+vv
(1)
° has an ele-
where and
vo(xo' Yo) = 1.
If (x o' Yo) is a point of D, Vo and VI are analytic in D, but v has a logarithmic singularity at (x o' Yo)· Equation (1) no longer holds; it is replaced by u(xo,Yo) -=
2~fan {(v :~-u:~) +2(la+mb)Uv}ds-2~ffn vFdxdy,
by the argument we used in the theory of Laplace's equation. This formula contains the values of u and au/oN on aD. In order to solve the problem of Dirichlet, we must in some way eliminate au/oN. The elementary solution v is not uniquely determined; we
194J
[lOA
ELLIPTIC EQUATIONS
can add to VI any solution v 2 of L*(v) = 0 which has no singularitiei' on 15. Suppose that VI is fixed. Then we can take as the elementary solution 1 V = V olog 'R, + VI + v2 and choose v2 so that
v2
= -
1
V
olog 'R, -
VI
on aD, if this is possible. Assuming that this particular problem of Dirichlet for the adjoint equation is soluble, V vanishes on aD, and we get the required solution of L(u) = F. The elementary solution chosen in this way is the Green's function. In the same way, we can solve the problem of Neumann if we can find an elementary solution of L*(v) = 0 of the form 1
V
= volog'R, + VI +v s
where the solution Vs of the adjoint equation L*(v) = 0 satisfies the condition
1)
(1)
av 2 (la+mb)v s = - oN a (volog'R,+vI +2(la+mb) volog'R,+vI aNs
on aD. But V s is not a solution of the problem of Neumann for the adjoint equation; it has to satisfy a more general condition of the form av ()1I~ + hvs = g(x, y) on the boundary aD. Even if we succeed in finding a solution ofthe problem of Dirichlet for the equation L(u) = F(x, y), we still have to show that the solution is unique. If there were two solutions U I and u 2 , u = U I - U 2 would satisfy L(u) = 0 and would vanish on aD. To prove uniqueness, WE' have to show that the only solution of this last problem is identicall~ zero. As we have seen in the case of the reduced wave equation, thif: is not necessarily the case. Consider the self-adjoint equation
V'2U + CU
= 0,
where c is now not constant on D. Since
ffn {uV'2u+ui+u~}dxdy= fan u :;d8, v;,e have
ffn
(u~+u~)dxdy =
ffn cu 2 dxdy
10.4[
[195
ELLIPTIC EQUATIONS
if u vanishes on aD. If c ::::; 0 everywhere on D, ffn
(u;+u~)dxdy::::; o.
Therefore U x and u y vanish everywhere on D. Since we are considering solutions which are continuously differentiable on the closure of D, u is constant on D and so is identically zero on 15. It follows that, if the problem of Dirichlet for V'2U+ CU = F(;-,;,y), where c::::; 0 on D, has a solution, the solution is unique. This result can be extended. If c ::::; 0 on D, the equation L(u) == V'2U+ 2aux + 2bull +C1t
= F(x,y)
has at most one solution which is continuously differentiable on 15, which has continuous bounded second derivatives on D and which takes given continuous values on the boundary aD. This is equivalent to proving that if u satisfies the differentiability conditions and is a solution of L(u) = 0 which vanishes on aD, then u is identically zero on 15. Suppose firstly that c < 0 everywhere on D. Then no solution of L(u) = 0 has a positive maximum or a negative minimum at any point of D. For if such a solution had a relative maximum at a point P of D, U X and u y would vanish at P and we should have u xx ::::; 0, 'U yy ::::; 0 there. By the differential equation, CU ~ 0 at P and hence u ::::; 0 there. Similarly if it had a relative minimum at a point P of D, we should have u ~ 0 there. Since u is continuous, it attains its supremum and its infimum on 15. A supremum attained at a point of D (an interior point of 15) is a relative maximum and so cannot be positive. But u vanishes on aD, and therefore the supremum of u on 15 is zero. Similarly the infimum of u on 15 is zero. Hence u vanishes identically on 15. The case c ::::; 0 can be transformed into the case c < 0 by a change of dependent variable. If we put
u = (A _e aX ) U, where A and a are positive constants, the equation L(u) = 0 becomes V'2U + 2a'Ux + 2b'UlI +c'U = 0,
where
C
'
= Ac-eaX (a 2 +2aa+c)
A _e ax
•
Now a and c, being continuous, are bounded on 15. Choose a so large that
196]
ELLIPTIC EQUATIONS
[lOA
on 15. Then chouse A so that A > e where h is the supremum of x on 15. Then A _e IXX ~ A _e lXh > 0 lXh
e' = _Aiel +e
on 15. But
IXX
(a 2 +2aa+e) < 0
A_e lXx
on 15. It follows that U1 and hence u, are identically zero on 15. If the condition e ~ 0 does not hold everywhere on D, it suffices to require that the area of D is sufficienHy small. The result is stated by Petrovsky·t
10.5 The linear equation with constant coefficients The homogeneous linear equation of the second order with constant coefficients can be put into the form 82u 82u 8x 2 + 8 2 +AU = 0,
y
(1)
where A is a constant. If the problem of Dirichlet for this equation has a solution, it is unique when A ~ 0 but not necessarily unique when A> o. Let us consider this in more detail when the domain is a disc D with the circle C (equation r = a in the polar coordinates) as frontier. Try to find a solution which is continuously differentiable in r ~ a, which has continuous second derivatives in r < a, and which satisfies the condition U = 1(0) when r = a, 1 being of period 21T. The function 1(0) must then have a continuous derivative 1'(0). Then 1(0) has a Fourier series 00 tao + '1: (an cos nO + bnsin nO), 1
which is uniformly convergent on any finite interval, since nan and nb n tend to zero as n ....HX). If A = k 2 , (1) has a formal solution _ 1 Jo(h) u - ~ao Jo(ka)
.
+
t 00
(an COS n
0 'b T
. 0 In(kr) n S111 n ) In(ka) .
(2)
Now z-nJn(z) is an even function ofzwhich has only real simple zeros; the positive zeros arejn.l,jn,2,jn,3' .. , in increasing order.ofmagnitude. If Jm(ka) = 0, the series (2) becomes meaningless, except in the case when am = bm = O. The series (2) does then give a solution of the problem of Dirichlet; but it is not unique - we can always add to it a term of the form . (A cosmO+BsmmO)Jm(lcr).
t
Lectures on Partial DijJenntial Equations (Kew York, 1955), p. 232,
10.5]
[197
ELLIPTIC EQUATIONS
This difficulty does not arise if a is small enough. If jn,l is the least positive zero of z-nJn(z), the numbers Un,l:n = 0, 1,2, ...} form an increasing sequence. If < ka < jo, v none of the functions
°
vanishes, and the formal solution exists. If A is negative, say A = - P, equation (1) has solutions In(lcr) cos nO,
where
In(kr) sin nO,
• •
In(z) = ~-nJn(~z) = (iz)n
(-!z )2k
00
'1: k'( n+ k)". k=O l;.
The zeros of In(z), apart from the zero at the origin, are all purely imaginary, being of the form ± ijn.v ± ijn, 2' .... A formal solution is then . .1 Io(kr) 00 O ' 0 In(kr) a 2 O Io(ka) + ~ (an cos n + bn sm n ) In(ka)' (3) When r = a, its sum is 1(0). We have to discuss its convergence and continuity on r ~ a. When x ~ 0, the function I n (x) behaves like a multiple of x n when n is large, since _ (!x)n{ 00 n! 2 k} In(x) - - I 1+ '1: ( k)lk,(i x ) . n. k=l n+ . . (!x)n
= - , {1 + 1Jn(x)},
n.
where
1 1 1 °~ 1Jn(x) ~ n+ --1 '1: k' (!X 2)k < --1 exp (!x 2). k=l . n+ 00
Hence Since {nan} and {nb n} are null sequences, the series (3) and the series obtained by differentiation as often as we please are uniformly and absolutely convergent on every disc r ~ R when R < a. The sum of the series is therefore a solution of V'2u - k2u = continuously differentiable as often as we please on r < a. On r ~ a and on any finite interval of values of 0, the series (3) is of the form
°
where
198]
[10.5
ELLIPTIC EQUATIONS
The series ~un(8) is uniformly convergent. For any particular value of r in the interval [O,a], we have O~vn(r)~l;
and since where wn(r,a) tends to zero as n-+oo uniformly with respect to r, {vn(r)} is a non-increasing sequence on [0, aJ. It follows by Abel's test that the series (3) is uniformly convergent on X 2 +y2 ~ a 2 and so is continuous there. The series (3) thus gives a solution of 'V2u-k 2u = which is continuous on r ~ a, which is continuously differentiable as often as we please on r < a and which takes the given continuously differentiable valuesf(8) on r = a. The corresponding problem for V'2u + k 2u = can be discussed in a similar way.
°
°
10.6 The use of the elementary solution Let D be a bounded domain whose frontier consists of a finite number of non-intersecting regular closed curves. If L(u) == 'V2u+k2u where k is a positive constant, we have
ffD {uL(v)-vL(u)}dxdy = foD ('11 :;-v :;) ds, where OfoN denotes differentiation along the normal to oD drawnout of D. Sufficient conditions for this use of Green's theorem are that '11 and v be continuously differentiable in the closure of D and possess bounded continuous second derivatives in D. Ifu and v are solutions of L(w) = 0, the left-hand side vanishes and (1)
If R is the distance from a fixed point (xo, Yo) of D to a variable point (x, y), this result holds if v is Jo(kR), but not if v is the elementary solution 2 :fo(kR) = -logR·Jo(kR) + ..., 1T
where the terms omitted have no singularity in D. If v is the elementary solution, we have to exclude from D a disc with centre (xo,Yo) just as in the theory of Laplace's equation. The
10.6]
ELLIPTIC EQUATIONS
[199
result is that, if (x o' Yo) is a point of D, u(xo, Yo) =
~fiJD {u O~:Yo(kR) -
:Yo(kR) :;} ds.
(2)
This formula involves the boundary values of u and its normal derivative, and so does not provide a solution either of the problem of Dirichlet or of the problem of Neumann. To solve them, we have to construct Green's functions. If oD is a circle X 2+y2 = a 2, a typical point of the boundary has polar coordinates (a, e). If (x o' Yo) has polar coordinates (r o, eo), then R2 = a 2+ r~ - 2aro cos (e - eo)'
If we use the addition theorem <xl
:Yo(kR)
= :Yo(ka) Jo(kr o) + 2 '1: Yn(ka) In(kr o) cos n(e - eo), 1
we obtain a solution 00
u(ro' eo) = !aoJo(kro) + '1: (an cos neo + bn sin neo) In(kr o), 1
where the coefficients an and bn depend on the boundary values of u and ou/oN. In particular, (2) gives the value of u at the origin Uo
= !kY~(ka) fe uds-i:Yo(ka) fe:;ds,
where C is the circle r = a. But (1), with v = Jo(kR), gives
o = tkJ~(ka) fe uds-iJo(ka) fe:;ds. Hence
Jo(ka)u o =
~{Jo(ka) Y~(ka)-J~(ka):Yo(ka)} fe uds
in which the values of ou/oN on the boundary do not appear. The expression is called the Wronskian of Jo and:Yo; it has the value 2/(1TZ). We have thus arrived at the mean-value formula Uo
=
21T~(ka)fe uds.
Since J~(z) = -J1(z), we have another mean-value formula uo = -
f
1 -ou ds 21TaJ;.(ka) eoN
depending only on the values of the normal derivative on C.
200]
[10.7
ELLIPTIC EQUATIONS
10.7 Divergent waves So far, we have considered the solution of the reduced wave equation only on a bounded domain. When the domain is unbounded, a condition at infinity is necessary. An important case arises in the theory of the reflection of sound waves of small amplitude by a rigid obstacle. Ifthe incident waves have a velocity potential9i' the reflected waves a velocity potential ¢s' the condition on the boundary of the obstacle is
The condition at infinity is that ¢s should represent a divergent wave motion. 'Ve assume that the motion is 'monochromatic', that the velocity potentials vary in a 'simple-harmonic manner with the time. It is convenient to use complex velocity potentials of the form
¢ = ue-ikct where k > 0, and take real parts at the end. Then u satisfies the reduced wave equation V'2u+k 2u = 0. In this section we consider the case when the wave motion is cylindrical; the obstacle is a cylinder with generators parallel to the z-axis; ¢i' and hence also 9s' are independent of z. We saw in §6.1 that the velocity potential of cylindrical waves due to a source of strength 21TF(t) per unit length on the z-axis is
¢=
f:oo F(t-rcosha)da
where r is the distance from the axis of z. In particular, for monochromatic divergent cylindrical waves .
¢
=
exp ( -ikct)
f:
00
exp (ikr cosh a) da = 1TiH&l) (kr) exp ( - ikct),
where H&l) denotes the Hankel function of order zero. The function of order n is Using the asymptotic expansion for the Hankel function H&l)(kr), we find that
¢o
=
H&l) (kr) exp ( - ikct) '"
r
(1T~r
exp {i(kr - kct -
i 1T )}
as r -+ 00. The velocity potential ¢o represents expanding harmonic
10.7]
[201
ELLIPTIC EQUATIONS
cylindrical waves with amplitude decreasing like 1Nr. A more general velocity potential is
¢n
=
H~)(kr) C?S nO exp (-ikct), sm
which behaves like a multiple of exp {ik( r - ct)} cos 0 .jr sin n , as r""",*oo. If ¢n = un exp (-ikct), it can be shown that, for any integer n, (i) as r""",*oo, un.jr is bounded, uniformly with respect to 0, (ii) .jr{oun/or-ikun}""",*O as r""",*oo, uniformly with respect to O. These two conditions were called by Sommerfeld the finiteness condition and the radiation condition. They play an important part in the theory of the solution of the reduced wave equation in an unbounded domain. Let D be the domain which is bounded internally by a regular closed curve C and externally by a circle r of large radius a. Then if (x o, Yo) is a point of D, we obtain, as in §10.6 the expression
°
for the value of a solution u of V'2U + k2u = at the point (x o, Yo). This is obtained by combining formula (2) and formula (1) with v = Jo(kR). We may take r to be the circle R = a. Hence
u(xo, Yo )
="4i
f
r
{OU kR ) - u oR 0 H(l) } oR H(l) 0 ( 0 (kR) ds,
+£f {U~H&I)(kR) - Ou 4 c on on
H&l)
(kR)} ds
'
where n is the unit normal vector drawn out of the bounded domain whose frontier is C, this being oppositely directed to N. In the integral over r, the integrand is
-ikU) v- (OV -ikv) U ( OU oR oR ' where
v
=
H&I)(kR).
This function v satisfies Sommerfeld's finiteness and radiation conditions. There exists a constant K I such that Ivl < KI/.jR; and, for
202]
[10.7
ELLIPTIC EQUATIONS
every positive value of e, there exists a positive number a l such that ov
'k
loR-~
I
v
0,
u(xo,yo) =
where
~fiJD {:; H&lJ(kR) -u o~ H&lJ(kR)} ds, R2 = (X-X O)2+(y_YO)2;
°= ~fiJD {:;H&lJ(kR)-U O~H&lJ(kR)}dS,
but where
R2 = (x-xo)2+(Y+Yo)2
since (x o, -Yo) is in Y < 0. As in §10.7, the integra ls round the semicircle x 2+ y2 = a 2, y ~ tend to zero as a -+ 00. On y = O,ou/oN = -g(x). Also
°
..?-H(lJ(kR) = -H(l.)( kR)koR = _H(lJ( kR)k(y -yo) oyO 1 oy 1 R'
so that, on y = 0,
~H(lJ(kR) = -H(lJ( kR ) kyo oN 0 1
0
R o'
where Similarly, on y = 0,
.!.. H(lJ(kR) = oN 0
H(lJ(kR ) kyo lOR' o
Therefore, when Yo > 0, u(xo,Yo) = -£foo 4 -00 and
°
=
g(X)H&lJ(kRo)dx+~4'foo f(x)H~lJ(kRo)kyRodx,
_£fOOg(x)H&lJ(kRo)dX-~4' foo f(x)H~lJ(kRo) 4 -00
-00
Adding, we have u(xo,Yo) =
0
-00
-ii f:oo g(x) H&ll(kRo) dx.
kyRodx. 0
204]
[10.8
ELLIPTIC EQUATIONS
Subtracting, or
u(xo, Yo) = u(xo,Yo) = -
ii
f:
00
l)
f(x) Hi (kRo)
ti :, foo v:/o
-
7£0 dx,
f(x) H&l) (kR o)dx. 00
To give a rigorous proof of these results, we should have to impose suitable conditions on f(x) and g (x) and consider the limits of these integrals as Yo -+ + o.
10.9
A boundary and initial value problem
We discussed in Ch. 7 the Cauchy problem for the equation of wave motions
namely to find u when t = 0, given that u = f(x, y), u t = h(x, y) when = O. In the theory of small vibrations of a uniform stretched membrane with a fixed rim, we have to solve a boundary value and an initial value problem; we are given the values of u and u t on a plane domain D when t = 0 and also given that u vanishes on the boundary of D when t ~ O. The solution is a sum of terms, each representing a normal mode of vibration, in which u = U(x,y) cos (wt+e). The function U satisfies the reduced wave equation
t
V 2 U +w 2 U = O.
In the simplest case, D is a rectangle 0 ~ x method of separation of variables; we obtain
~
a, 0
~
y
~
b. By the
. m1TX • n1TY U = sm-asm-b-'
where m and n are positive integers because U vanishes on cD, and W = wm •n where 2 m2n 2 n2n 2 wm •n =7+""1)"2· Hence we get a formal solution u =
'" (A £..;
m,n=l
" . m1TX • n1TY m.ncoswm.nt+ B m.nsmwm,nt)sln-a smb '
where the coefficients Am,n and B m.n have to be chosen so that u = f· = h when t = 0, For a rigorous discussion we need to know the difficult theory of double Fourier series. The calculation of the coeffi·
Ut
10.9]
[205
ELLIPTIC EQUATIONS
cients is easy; the usual Fourier rule gives 4 A m,n = ab
Wm,n B m,n
If If
4 = ab
D
f( x,y ). m1TX sm • n1TY dx d y sm--;-
b
D
h( x,y ). m1TX • n1TY d x d y. sm~ sm
b
When D is the disc r < a in polar coordinates, the reduced wave equation
has solutions· In(wr) cos (nO + a),
Yn(wr) cos (nO + fJ).
Since U is one-valued on the disc n is a positive integer or zero; and the Bessel function of the second kind cannot occur since it tends to infinity as r -+ O. Since U vanishes when r = a, In(wa) = O. The equation In(z) = 0 has a multiple root at the origin and all its other roots are real and simple; they are ±jn,l' ±jn, 2' •••• The positive roots from an increasing sequence, andjn,k tends to infinity with k. Write wn,k = jn,kia. Then we get a formal solution 00
u
=
~
n=O
00
~ (An,k cos nO +Bn,ksin nO) In(wn,kr) cos (Wn,kt+sn.k)'
k=l
where the coefficients have to be chosen so that the initial conditions on r ~ a are satisfied. This involves the theory of Fourier-Bessel expansions, of which an account will be found in Ch. 18 of G. N. ·Watson's Treatise on the Theory of Bessel Functions.
Exercises 1. Deduce from the mean value theorem of § 10.6 that a solution of Y'2u+k 2u = 0 cannot have a positive minimum or a negative maximum.
2. Monochromatic sound waves of small amplitude are propagated along a cylindrical wave guide of uniform cross section D. Taking the z-axis along the guide, show that a complex velocity potential satisfying ~2
Y'2 U = _1 0 U c2
is of the form
at 2
206]
ELLIPTIC EQUATIONS
where U satisfies the reduced wave equation
[PU
02U
_ + _ + ( k2_ y 2) U = 0, ox2 oy2
with boundary condition OU IoN = 0 on the surface of the wave guide. If the cross section of the guide is the square 0 ~ x ~ a, 0 ~ y ~ a, prove that a complex velocity potential is u
= cos mrrx cos nrry ei(yz-kct) a
where
a
'
y2 = k2_(m2+n2)rr2ja2,
m and n being positive integers. Show that this mode is propagated only if k > rr '\f(m 2 + n 2 )ja. If this mode is propagated, show that the phase velocity V = kcjy is greater than c and that the group velocity d(kc)jdy is less than c.
11
EQUATIONS OF ELLIPTIC TYPE IN SPACE
11.1 Laplace's equation The simplest equation of elliptic type in three dimensions is Laplace's equation 2 _ 82u 82 u 82u V u = 8x 2 + 8y 2 + 8z 2 =
o.
The theory of the solutions of this equation resembles the theory of harmonic functions in two dimensions, with some important differences. The theory of harmonic functions in two dimensions can be made to depend on the theory of analytic functions of a complex variable x + iy. There is nothing corresponding to the theory of functions of a complex variable x+iy in three dimensions. The nearest approach is given by Whittaker's general solution 217
u(x,y,z) =
J 0
f(z+ixcosu+iysinu,u)du
of Laplace's equation. The applications of Green's theorem run, in general, parallel to those in two dimensions, with the difference that the elementary solution in three dimensions is l/R which vanishes at infinity, whereas in two dimensions it is log l/R. There are coordinate systems in which Laplace's equation in three dimensions is separable, and these lead to solutions as infinite series whose terms are the various special functions of analysis.
11.2 Polynomial solutions A solution of Laplace's equation, analytic in a neighbourhood of some fixed point which we may take as origin is expansible as a convergent series 00 2:.fn(x, y, z), o
where fn(x, y, z) is a homogeneous polynomial of degree n which satisfies Laplace's equation. Now the most general homogeneous [ 207 I
208]
ELLIPTIC EQUATIONS IN SPACE
[11.2
polynomial fn of degree n contains i(n+2) (n+ 1) terms and so has the same number of independent coefficients. Since y2fn is a homogeneous polynomial of degree n-2, it has tn(n-1) different terms. If y2fn = 0, we have tn(n - 1) independent linear relations connecting the t(n+ 2) (n+ 1) constants infn' Hence there are only t(n+2) (n+ 1) -tn(n -1) = 2n+ 1
independent constants in a homogeneous polynomial of degree n which satisfies Laplace's equation. Thus there are 2n+ 1 independent homogeneous polynomials ofdegree n which satisfy Laplace's equation in three dimensions. For example, if n = 1, the three solutions are x,y,z; if n = 2, the five solutions are x 2-z 2,y2- z2,yz,zx,xy. In contrast to this, in two dimensions, there are only two independent homogeneous polynomials of degree n which satisfy Laplace's equation, viz. r n cos nO and r n sin nO in plane polar coordinates. A particular homogeneous polynomial of degree n which satisfies Laplace's equation is ( . . . ) z + ~x cos w + ~y sm w n, where w is a parameter. This can be expanded as a trigonometric polynomial n
tao(x,y,z)+
'1:
(Gm(x,y,z)cosmw+bm(x,y,z)sinmw).
m=l
Since w is independent of x, y, z, each coefficient am, bmis a homogeneous polynomial which satisfies Laplace's equation. The highest power of z in am(x, y, z) is zn-m, and am is an even function of y. Similarly the highest power of z in bm(x, y, z) is zn-m, but bm is an odd function of y. Thus the 2n + 1 polynomials am and bm are linearly independent, and are the required 2n + 1 harmonic polynomials of degree n. They are given explicitly by Gm(x,y,z) =
~Jl7
(z+ixcosw+iysinw)ncosmwdw
!Jl7
(z+ixcosw+iysinw)nsinmwdw.
1T
bm(x,y,Z)
=
1T
-17
-17
Every harmonic polynomial of degree n is therefore of the form
J:l7 (z+ixcosw +iy sinw)nf(w) dw, where f(w) is a trigonometric polynomial. A harmonic polynomial of degree n is usually called a spherical ha1·monic.
11.2]
ELLIPTIC EQUATIONS IN SPACE
[209
Now, if V(x, y, z) is a harmonic function analytic in a neighbourhood of the origin, it is of the form 00
V(x, y, z) = 1; 1i~(x, y, Z), 1
where ~(x,y,z) is a harmonic polynomial of degree n, the series being convergent near the origin. Hence
V(x,y,z) =
~
f:"
(z+cxcosw+iysinw)nfn(w)dw,
where fn(w) is a trigonometric polynomial. From this follows Whittaker's general solution of Laplace's equation
V(x,y,z) =
f:"
F(z+ixcosw+iysinw,w)dw,
where F(I;, w) is expressible as a power series in 1;, convergent in a neighbourhood of I; = O. This solution holds under less stringent conditions. All we need is that F is such that differentiation under the sign of integration is valid. Shifting the origin, we get a solution
V(x,y,z) =
f:"
F(z-zo+ixcosw-ixocosw+iysinw-iYosinw,w)dw
valid near (xo, Yo' zo). The generalisation is rather trivial since this solution is merely
V(x,y,z) =
f:"
G(z+ixcosw+iysinw,w)dw.
There is no special merit in giving z priority; we can interchange x, y, z as we please. It should be noted that ·Whittaker's solution can represent different harmonic functions in different parts of the plane. For example 1 21T
f"_"z+ixcosw+iysinw dw 1
is equal to
1
.j(X 2+y2+ Z2)'
;: =
when z > 0, but is equal to - l/r when z < O. ·When z = 0, the integral is not convergent, but has the principal value zero. We also have
-1 21T
f"
.
dw
"
_"x+~ycosw+~zsmw
1 =+-, -r
210]
ELLIPTIC EQUATIONS IN SPACE
[11.2
where the sign is + or - according as x is positive or negative. Moreover, we have found in the region x > 0, Z > two different integral representations of l/r, and there does not appear to be any simple transformation of the one integral into the other. It should be noted that, if we put z = ict, V\Thittaker's formula gives a solution -17 H(ct+xcosw+ysinw,w)dw
°
Jl7
of the two dimensional wave equation. Further applications of Whittaker's solution will be found Chapter 18 of 'Yhittaker and Watson's Modern Analysis.
III
11.3 Spherical harmonics There are 2n + 1 linearly independent spherical harmonics of degree n which we denoted by am(x,y,z) =
~Jl7 1T
(z+ixcosw+iysinw)ncosmwdw
-17
(m
bm(x,y,z) =
~Jl7
1T
=
0,1,2, ... ,n),
(z+ixcosw+iysinw)nsinmwdw
-17
(m=1,2, ... ,n).
In spherical polar coordinates
x = r sin 8 cos rp, these are
n
am(x,y,z) = r 1T
and
bm(x,y,z) = r
Jl7
y = r sin 8 sin ¢,
z = r cos 8,
{cos8+isin8cos(w-rp)}ncosmwdw,
(1)
{cos 8+isin 8 cos (w-rp)}nsinmwdw.
(2)
-17
n
1T
Jl7 -17
Now
(cos8+isin8cost)n = Pn(cos8) +2
i:
m=l
i- m ( n! ),P,:::(cos8)cosmt, n+m. (3)
where Pn(ji,) is Laplace's polynomial and P':::(Jl) is the associated function defined when - 1 < Jl < 1 byt m Pr;:(Jl) = (_1)m (1- Jl2)i md :;::)
t
This is Hobson's definition. The factor (_l)m is sometimes omitted. Formula (3) will be found in Hobson, The Theory oj Spherical and Ellipsoidal Harmonics, (Cambridge, 1931), p. 98; 'Whittaker and Watson, in Oourse oj l1iodern Analysis, (4th edn (Cambridge, 1927), p. 392) omit the factor. For properties of the Legendre' polynomials, see also Copson, Functions oj a Oomplex T'm'iable (Oxford, University Press, 1935) and Erdelyi et al. Higher Transcendental Functions (New York, 1953), Vol. 1.
11.3]
ELLIPTIC EQUATIONS IN SPACE
[211
It follows that
ao(x,y,z) = 2rnPn(cose), am(x,y,z)
=
n'. ),p'::(Cose)Cosmrp, 2r ni-m ( n+m.
bm(x,y,z) = 2rni-m ( n! ),p~(Cose)sinmrp. n+m. Every spherical harmonic of degree n is of the form [AoPn(COS e) + m~1 (Am cos mrp + Bmsin mrp) P:;:(cos e)] rn,
where the coefficients A k and B k are constants. The expression inside the square brackets is often called a surface harmonic. Of particular interest are solutions of Laplace's equation with symmetry about an axis, say the axis of z. Now such a solution which is analytict in a neighbourhood of the origin is expansible as a series 00
'1: un(x, y, z), o
where un is a homogeneous harmonic polynomial of degree n, independent of rp. Hence it is of the form 00
U(x,y,z)
=
'1: A n rllPnCu), o
where Jl = cose. If this solution takes on the sphere r = a the values f(Jl), we have formally 00
'1: AnanPn(Jl) = f(Jl)· o
Using the orthogonal properties of the Legendre polynomials, we get
~1 Anan = Jl f(Jl) Pn(,u) dlt. n+ -1 Thus a formal solution of the problem is V(x,y,z) =
2n+ 1 r n '1: 2 - - Pn(Jl) 00
Jl
f(t)Pn(t)dt. an -1 The problem now is to discuss whether the series on the right converges for r < a and whether its sum tends to f(Jl) as r~a. A full discussion of this is outside the scope of this book. We refer the reader to Ch. VII of Hobson's The Theory of Spherical and Ellipsoidal Harmonics. The problem of Dirichlet for a sphere is discussed later in this chapter by the use of Poisson's integral. t We shall see later that if a solution of Laplace's equation is harmonic in a neigho
bourhood of the origin, it is necessarily analytic there.
212]
11.4
ELLIPTIC EQUATIONS IN SPACE
[11.4
Green's theorem
Let D be a domain whose function is a regular closed surface S, as defined in Kote 6. S is then the union of a finite number of smooth caps; on each cap, there is a continuously varying normal direction. Let u, 'V, W be continuous in 15 and have bounded cont,inuous first derivatives in D. Then, if the triple integral exists
If
s(lu+mv+nw)dS=
Iff ( D
OU ov OW) 8x+ay+az dxdydz,
(1)
where (l, m, n) are the direction cosines of the outward drawn normal. The fact that there may be a finite number of curves on S, the rims of the caps, across which the direction of the unit normal vector N = (l, m, n) is discontinuous, does not affect the truth of this result. If, in (1), we put
u=
U~,
v = UVy,
w
=
U~,
we obtain
If we interchange U and V and subtract, we obtain
JIs (U:;-
V:~) dS =
IIID (UV 2V - VV2U)dxdydz,
(3)
provided that U, V, grad U, grad V are continuous on 15, that U and V have bounded continuous second derivatives on D, and that the triple integral exists. 'Ve sometimes need the case when 8D consists of a finite number of non-intersecting regular closed surfaces. For example, D might be the domain a < r < b in spherical polar coordinates; then aD is the pair of non-intersecting spheres r = a and r = b. In such a case, N is the unit normal vector drawn out of D.
11.5 Harmonic functions A function is said to be harmonic in a bounded domain D if it has continuous derivatives of the second order and satisfies Laplace's
11.5]
ELLIPTIC EQUATIONS IN SPACE
[213
equation there. The elementary solution l/R, where R2 = (X-XO)2+(Y_YO)2+(Z-ZO)2,
plays the same part as the logarithm does in the theory of harmonic functions in the plane. In spherical polar coordinates
where .Ie is a linear operator involving only differentiations with respect to the angle variables. If we put r = a 2 /s,
Hence It follows that, if V (x, y, z) is harmonic, so also is ~V r
(ar 2x' a2y a2z) r2 , r2 • 2
V(x, y, z) is said to be harmonic at infinity if ~V r
(a 2x a2y2 a2z)2 2
r ' r ' r
is harmonic at the origin. This enables us to extend the definition of harmonic functions to unbounded domains. If U = 1 and V is harmonic in D, equation (2) of § 11.4 becomes
IIs:;dS = o.
(1)
If V = U and V is harmonic, the equation becomes (2) fIs V:;dS = IIID (V~+ ~+ ~)dxdydz. Hence if V8V/8N vanishes on S, V. all vanish on D and so V ~,~,
is a constant. From this follow the uniqueness theoreIilll for the problems of Dirichlet and Neumann. If U1 and Uz are two functions which are harmonic in D and take the same continuous boundary values on S, V = U1 - Uz, is harmonic in D and vanishes on S. Hence V vanishes on D, and U1 = U2 there. Again, if U1 and U2 are two functions which are harmonic in D, and
214]
[11.5
ELLIPTIC EQUATIONS IN SPACE
if oUI/oN and oUz/81\T take the same continuous boundary values on S, V = UI - Uz is harmonic on D and eV/oN vanishes on S. Hence V is a constant on D, and the functions UI and Uz differ by a constant. As in the plane case, we cannot assign arbitrarily the values of the normal derivative on S of a function V harmonic in D; the boundary values must satisfy equation (1). In equation (3) of § 11.4, suppose that V is harmonic on D and that, U = 1/1'. Then
provided that the origin is not a point of D. In particular, if D is bounded by two concentric spheres r = a and r = R, then, if V is harmonic in r :::; R,
ff (~r °orV + rV) dS = rf Z
r=R
•
r=a
(~r
°OrV + rV) dS Z
.
As a-+O, the expression on the right tends to 47TV(0, 0, 0). The expression on the left is
Iff
R
oV -~
r=R Or
dS+ RzIff
T7 r=R
dS.
The first term vanishes by equation (1). Hence
V(O, 0, 0)
=
47T~Z
J
f=R
V
dS,
which is called Gauss's mean value theorem. Suppose that V is harmonic in a bounded domain D and continuous in D. If V is not constant it follows from the mean value theorem that V cannot have a relative maximum or a relative minimum at a point of D. Hence V attains its supremum and its infimum on D at points of oD. In particular if V is constant on oV, V is constant on D. This provides an alternative proof of the uniqueness of the solution of the problem of Dirichlet, if such a solution exists. If UI and Uz are two functions, harmonic in D and continuous in 15, which take "the same continuous boundary values on oD, V = UI - Uz is also harmonic in D and continu.ous in 15, and vanishes on oD. Hence V is zero on D.
11.6 Green's equivalent layer Let S be a regular closed surface bounding a domain D. If U and V have continuous first derivatives in D and have continuous second derivatives in D where they satisfy Laplace's equation, it follows
11.6]
[215
ELLIPTIC EQUATIONS IN SPACE
from (3) of § 11.4 that
IIs(U;;-V:~dS=O.
(1)
If R is the distance from a fixed point (x o,Yo, zo) to the variable point (x, y, z), we can put V = 1/R provided that (x o,Yo' zo) lies outside D. If (xo,Yo' zo) is a point of D, let So be the sphere R = £, where £ is so small that So lies in D. Then
If (
01
1
OU)
s U oNR-R olf dS+
If (
01
1
OU)
s, U oNR-R oN dS =
o.
Now on So, %N is - OjoR. Hence
IIs (U
o~ ~-~ :~) dS =
-
IIs,
(~2 U +~ :~) dS
= - IIs.( U +£ :~) dw , where dw is the element of solid angle subtended at (xo, Yo, zo) by the surface element dS of So. Since U and oU/oR are continuous in D, we obtain -47TU(Xo,yo,zo) as the limit ofthe right-hand side as £~o. Hence
U(xo,Yo,zo)
=
1
47T
If
(1 0 U
0 1)
s RoN- U oNR dS.
(2)
This result is known as the Green's equivalent layer theorem. It expresses U on D as the sum of potentials of a simple layer of density (oU /oN)/47T on S and a double layer of density - U/47T on S. Combining equations (1) and (2), we have
1 U(xo,Yo,zo) = 47T IIs {( V +~)
~~- U o~ (V +~)}dS.
If we could choose the harmonic function V so that
V+
1
R
vanished at all points of S, the derivative oU/oN would not occur in this integral. Such a function V + 1/R is simply the electrostatic potential of a unit point charge at (xo,Yo' zo) inside an earthed conductor S, and is called the Green's function. This physical argument suggests that there should be a Green's function. If we denote the Green's function by G(xo,yo,zo;x,y,z) or, more briefly, by G(po,P), a function harmonic in D has the representation
U(Po)
= -
:1TIIs U(P) o~G(Po,P)dS.
(3)
216]
ELLIPTIC EQUATIONS IN SPACE
11.6]
Thus the existence of a solution of the problem of Dirichlet is equivalent to the existence of a Green's function. By the argument used in the plane case, we can prove the symmetry property G(Po,P) = G(P, Po)' Lastly we assumed that the frontier of D was a regular closed surface. It could equally well have been a finite number of nonintersecting regular closed surfaces.
11.7 Green's function for a sphere The image of a unit point charge at a point Po inside a perfectly conducting sphere S of radius a and centre is a charge - a/OPo at the point PI which is the inverse of Po with respect to the sphere. For if P is any point of the sphere, the triangles 0PoP and OP fJr are similar, and so 1 a PoP = 0Po.fJrP'
°
Hence the Green's function for the sphere is 1 a G(po,P) = PoP- OPO.PIP'
If U is harmonic in the sphere, U(Po) = -
4~JJsU(P)O~{P:P-OPo~fJrP}dS.
It is convenient to use spherical polar coordinates. If Po is (r, 8, ¢) where r < a, then PI is (a 2/r,8,¢). If Pis (p,a,j3) POP2 = R5 = r 2+p2-2rpcosy, 4
fJrP2 =
where Since
2
a a Ri = -+p2-2-pcosy r2 r '
cosy = cos8cosa+sin8sinacos(¢-j3). o 1 rcosy-p 0 1 a2 cosy-rp op R o = R5 op R I = rRr
it follows that, when P is on the surface of the sphere,
where Hence
R2 = r 2+a2-2arcosy.
11.7]
ELLIPTIC EQUATIONS IN SPACE
[217
)JJn(a2+r2-2arcosy)t' U(a,J.,f3)dO.
2 2 U 8 ¢ = a(a -r (r, , ) 47T
or
where dO. is sinadadf3, the element of solid angle. Thus if U(r, 8, ¢) is equal to f (8, ¢) when r = a, we should expect that 2 2 U(r 8 ¢ = a(a -r )ff f(a,f3)d0. (1) , ,) 47T n(a 2+r2-2arcosy)t· This is called Poisson's integral. It is readily verified that the expression on the right is harmonic when r < a. We have to show that it tends to f(8, ¢) as r-+aunder appropriate conditions on f. If f is constant on r = a, U is constant when r :::; a. Hence
°
As we can rotate the axes in any way we please, it suffices to consider the limit when 8 = -i7T, ¢ = 0. Then 2 2 U(r, 17T , 0) - f(i 7T , 0) = a(a -r f(a, 13) - f~i7T, 0) dO.. 47T n(a2+r2-2arsmacosf3)1
)ff
We assume thatf(8, ¢) is continuous. For every positive value of e, there exists a positive number 0 such that If(a,f3)-f(i7T,O)1 < e, when - 0 < 13 < 0, i7T - 0 < a < i7T + O. Call the part of 0. on which this holds 0.0' and the rest 0.1' Firstly, we have
l
~ a(a2-r2)f'r 47T
f(a,f3) -f(i7T , 0) d0.1 2ar sin a cos 13)1
Jn. (a 2+ r2-
,::: ~ a(a2- r2)ef'r dO. ~ 47T . In.(a 2+r 2 -2arsinacosf3)! :::; ..!..a(a2-r2)efI dO.. < e. 47T n(a 2+r2-2arsmacosf3)!
Since f(a,f3) is continuous, it is bounded on 0.. Hence there exists a constant .11l such that
If(a, 13) - f(17T, 0)1 :::; M on 0., and, in particular, on 0.1' On 0.1, sin a cos 13 :::; cos 0, and so a2+r2- 2ar sin a cos 13 ~ a2+r2- 2arcos O. 8
CPO
218]
[11.7
ELLIPTIC EQUATIONS IN SPACE
Therefore
< (a2+r2-2arcoso)~'
which tends to zero as r -+ a - 0. Hence with the same value of we can choose 1'1 sufficiently near to u, so that
14~ a(a 2-r2)JJn,(a2!;~!da~{i~:'C;Sj3)tdQ I < when r 1 < r < a. Therefore, when r 1
a, including the condition at infinity, and assumes the valuesf(8,¢) on r = a, then
r:: U r
z)
2 2 (a x a2y a 2 2 r ' r ' r2
is harmonic in r < a and assumes the same boundary values on r = u,. It follows that the solution of the external problem of Dirichlet for r > a is U(· 8 ¢ - 1 (2 2 f(a,j3)dQ ,1,
where
,
) -
47Ta r -a)
If
n{a2+r2-2a1'cosy)t'
cosy = cos8cosa+sin8sinacos(¢-j3).
11.8 The analytic character of harmonic functions Let U(x,y,z) be harmonic in a domain D. With any point of D as origin, there exists a closed neighhourhood r ;::;; a contained in D. U is continuous in D, and so takes continuous values f(8, ¢) on r = a
11.8]
ELLIPTIC EQUATIONS IN SPACE
[219
in polar coordinates. By Poisson's integral, if (;l::,y,z) is a point with polar coordinates (r, e, ¢) where r < a,
1 2 2 U(x,y,z) = 4 17 a (a -r ) JJn
(a2!r~a~~~~~OSy)t'
(1)
cosy = cosecosa+sinesinacos(¢-j3).
where
From the generating function
(1-2hcosy+h 2)-:i
<Xl
=
L;hnpn(cosy) o
for the Legendre polynomials, it follows that
1-h2 <Xl ')h hOlt = ~ (2n+ 1) hn.P,,(cosy). -:.. cosy+· 0 n U(x,y,z) = ~JJ !(a,j3)i;(2n+1)r Pn(cosy)dQ. 417 n 0 an (1
Hence
(2)
(3)
Now IPn(cosy)1 :::; 1. It follows that the infinite series under the sign of integration is absolutely convergent when 0:::; r :::; b < a, and that the convergence is uniform. vVe may therefore integrate termby-term to obtain 1
U(x,y,z) = 4
~ (2n+ 1) an rnJJ !(a,j3) Pn(cosy) dQ. n
(4)
17 0
But Pn(cosy) is a polynomial of degree n in cosy. Hence
rn JJn!(a,j3)Pn(cos y )dQ is a homogeneous polynomial of degree n in x, y and z which satisfies Laplace's equation; it is a spherical harmonic. vVe have thus expressed U(x,y,z) as a series of polynomial terms which converges uniformly and absolutely in r :::; b. Thus U is analytic in any sphere contained in D; this proves the analytic character of U. We can deduce from (4) the formula for the expansion in terms of the standard spherical harmonics by using the addition-theorem
Pn(cosy) = Pn(cos e) Pn(cosa) + 2
(n-m)' ( ); P;:(cos e) P;:(cos a) cosm(¢ - 13). m=l n+m . <Xl
~
It follows that
U(x,y,z) = A o+ frn{AnPn(COse) + il(A~COSm¢ +B~sinm¢)p;:(coSe)}, 8'2
220]
ELLIPTIC EQUATIONS IN SPACE
[11.8
where A"
.
2n+1J1T =' - da J21T dflsinaPn(cosa) f(a,fJ), 21Ta?'
0
0
'>n+1 (n-m)'J1T J21T ); da 27Ta n+m, 0 ° dflsinaP';(cosa)cosmfl f(a,fl),
A~ = - - -n - (
B7: =
'>n+ 1 (n-m)IJ1T J21T n ( ); da dflsinaP~'(cosa)sinmflf(a,fl)· 7Ta n+m. 0 0
=----2
If f is independent of 13, this reduces to the expansion found in § 11.3. In a similar way we can use Poisson's formula for the solution of the exterior problem of Dirichlet with data on the sphere r = a. The solution is of the form
U(x,y,z) = A a a2n+1 { < X l } +:Z: n+1 AnPn(cos8)+ ~ (A~'cosm¢+B~sinm¢)~(cos8) r 1 r m=l OCJ
_0_
with the same constants.
The linear equation of elliptic type If the coefficients of the second deri,'atives in a linear equation of elliptic type are constants, we can find a non-singular linear transformation of the independent variables which turns the equation into 11.9
L(u) == V'2u +2aux +2bu y +2cuz +du
=
F(x,y,z),
(1)
where the coefficients a, b, c, d and F are assumed to be analytic on a bounded domain D whose frontier aD consists of a finite number of non-intersecting regular closed surfaces. We denote by (l,m,n) the direction cosines of the normal to aD drawn out of D. The operator L* adjoint to L is defined by L*(v) == V'2 V - 2(av)x- 2(bv)y- 2(cv)z+dv. vL(u) -uL*(v) =
Then
ax aY ez
-~-+-~-+-;:;-
ox
oy
oz'
where
x
=
VU X
-uv,.+2auv,
r = VU y -uv y +2buv,
Z =
vuz-uvz+2cu~·.
Green's theorem then gives JJJ D {vL(u) -
uL*(~,)} dxdydz =
J Jan (lX + m r + nZ) dS,
11.9]
[221
ELLIPTIC EQUA nONS IN SPACE
a result which is true if u and v have bounded continuous second derivatives in D and continuous first derivatives in D. In particular, if L(u) = F, L*(v) = 0, we obtain
JJJD vFdxdydz = JJuD {v :;-u :;+ 2(la+mb+nC)uv} dS. (2)
As Hadamard showed, the elementary solution of L*(v) = singularity at (x o, Yo, zo) is of the form
°with
vo(x, y, z) V=
R
'
where and V o is analytic and takes the value 1 at (x o,Yo, zo). We can substitute this elementary function for v in (2) provided that (x o' Yo, zo) is not a point of D. If (x o,Yo' zo) is a point of D, we have u(xo,Yo' zo) =
4~ JJUD {v : ; - u :1~ +2(la+mb+nC)Uv}dS-
:17JffD vFdxdydz.
(3)
This formula will not solve the problem of Dirichlet since it involves the boundary values of u and au/oN. If we could find a solution VI of L*(v) = with no singularities on D such that
°
(4)
vanished on aD, formula (3) would not involve au/oN, and so would solve the problem of Dirichlet. The function (4) would be the Green's function. Thus, if we could solve a particular case of the problem of Dirichlet for L*(v) = 0, (3) would give a solution of the problem of Dirichlet for L(u) = F. But we should still have to show it is unique. Using the argument of § 10.4, we can show that: If d :::; 0, the equation L(u) = F has at most one solution which is continuously differentiable on D, which has bounded continuous second derivatives on D and which takes given continuous values on aD.
11.10 The equation with constant coefficients. If the coefficients a, b, c, din V 2 U + 2aUx + 2bUy + 2cUz + dU = (x, y, z)
222]
ELLIPTIC EQUATIONS IN SPACE
are constants, the change of variable U =
U
[11.10
exp ( - ax - by - cz) gives
y2 U + AU = P(x,y,z),
(1)
A = d-a 2-b 2-c 2
where
°
is a constant. If Ais positive, \,2'11 + AU = is called the reduced wave equation; it arises when we try to find 'monochromatic' wave functions in three-dimensional space. Let D be a domain bounded by one or more non-intersecting regular closed surfaces. If the problem of Dirichletfor (1) has two solutions U 1 and U2' U = u 1 - U2 satisfies y2U+ AU = and vanishes on cD. But, by Green's transformation,
°
If
8'11 dS = oD U a.l\-
Iff {8
8
8}
D ax (uu x ) + oy (uu y ) + 8z (uu z ) dxdydz
= JJJD {u~+u;+u;+uV2u}dxdydz = JfJD {u~+U~+U;-AU2}dxdydz. Hence
JJJD{U~+U~+U;}dXdYdZ= AJJJD n 2dxdydz.
If A :::; 0, both sides of this equation are equal to zero. Hence u x ' u y, U z vanish on D, and so U is constant on D. Therefore U1 = U2. Thus, if the problem of Dirichlet has a solution when A :::; 0, it is unique. If A > 0, the solution may not be unique. For example, if A = k2 and Dis r < a, there is a solution
sinkr u=-r-' which vanishes on r = a if ka = mT. Thus there are values of k for which the problem of Dirichlet on r :::; a does not have a unique solution.
The mean value theorem If U 1~S a solution of y2 U + k 2u = which has continuous second derivatives in a domain contain1:ng (x-:r o)2+(Y_Yo)2+(z-zo)2:::; a 2, the mean value of 11 over (x - x o)2 + (y - YO)2 + (z - ZO)2 = R2, where R :::; a, i8 11.11
°
sinkR
kR u(xo,Yo' zo)'
11.11]
ELLIPTIC EQUATIONS IN SPACE
[223
This reduces to Gauss's mean value theorem when k = 0. "We may take (x o, Yo' zo) to be the origin, and use spherical polar coordinates (r, e, ¢) so that x = lr,y = mr,z = nr, where
m = sin esin ¢,
1 = sinecos¢,
n = cose.
o denotes the whole solid angle at 0; dO = sineded¢.
The mean value of u over the sphere ~, X 2+y2+ Z 2 = r2, where r :::; a is I(r) = ~JJ ndS = ~Jf u(lr, mr, nr) dO. 417r 1: 417 n Hence
dI 1 ff n (lux + muy + nuz ) dO = 4m2 1 Jf E oN ou dS, dr = 417
where %N is differentiation along the outward normal. By Green's theorem = 4:r 2fJJ Y2u(;,17,S)d;d17 d S
~~
= -
4~:2 f f f
u(;, 17, s) d;d1J d s,
where integration is over ~2 + 17 2+ S2 :::; r2 • Therefore
dd
I r
2
= - k 2JT s2dsff u(ls, ms, ns) dO 417r
n
0
= - k:fT s2I(s)ds. r
Therefore or Hence
0
di r2 dI = -k 2r2I dr dr d2I dI 2r2I = 0. r 2-+2r-+k dr 2 dr I
= r~(Acoskr+Bsinkr).
But I tends to u(O, 0, 0) as r -+ 0, and so A 1
=
= 0, and
sinkr -r;:u(O, 0, 0).
The corresponding result for y2,u - k2u =
°is
sinhkr I = ~u(O,O,O).
224]
ELLIPTIC EQUATIONS IN SPACE
[11.11
From this it follows that a solution of V'2U - k2u = 0 which satisfies the usual differentiability conditions on a bounded domain D cannot have a positive maximum or a negative minimum at any point of D. This implies the uniqueness theorem; for if 1(, "anished on oD, it would be identically zero on D.
11.12 The solution of V 2 u- k 2 u = 0 in polar coordinates Suppose that we wish to solve the equation in the domain r < a in polar coordinates, given that u = f(8, ¢) when l' = a. Sincef(8, ¢) can be expanded as a series OCJ
~Sn(8,¢),
o
where Sn(8, ¢) is a surface harmonic of order n, we try to find solutions of the form RSn (8, ¢) where R depends on r alone, The differential equation in polar coordinates is 82u 28u 1 -+ - - - k2u+-Yu = 0' or 2 r or r2
where Since Y Sn
= -
n(n
+ 1) Sn' the corresponding function R
2 dR dr~ 9
If we put R =
_ {k 2 n(n+ + r~ dR dr + r2
satisfies
i)} R = O.
S/.jr, this becomes 2
d S +~ dS -{k2+ (n+t)2}s dr 2 r dr r2
=
0,
which is Bessel's equation for the functions of purely imaginary argument. It has the independent solutionst
where
_ "<Xl (tz )2m 1"(z) - (tz) m~o m! r(v+m+ 1)'
Hence we have two solutions
.
I n +! (kr) S (8 "') \/(kr) n ' Y' ,
t
See 'Watson, A Treatise on tl~f. Theory oj Bessel Functions, 2nd edn (Cambridge, 1944), p. 77.
11.12]
ELLIPTIC EQUATIONS IN SPACE
[225
When n = 0, these solutions are constant multiples of sinh kr
cosh kr
---,;;;:- , ---,;;;:Now Iy(z)/zY is an integral function of the complex variable Z and has no real zeros. If z is small, In+t(z)/.jz and Ln-t(z)/.jz behave like multiples of zn and z-n-l respectively. As the solution is to be finite at the origin, it cannot contain the function L n-!. Hence if <Xl
f(8,¢) = 1:.8n (8,¢), o
where 811, is a surface harmonic of order n, u
=
i; In+t(kr) o
.j(ka) 811,(8, ¢). .j(kr) In+t(ka)
There is no restriction on a, since In+t(ka) never vanishes. If we wish to solve the external problem of Dirichlet with data on r = a, we have to use another solution of Bessel's equation since In+t(kr) and Ln-t(kr) tend to infinity exponently as r.-+oo. But Kn+t(kr) = (- 1 )n-lj7T{ In+t(kr) - Ln-t(kr)}
,. . , (..!!--) t e2kr
kr
as r.-+oo. The required solution of the external problem is then u =
i
o
Kn+t(kr) .j(ka) 811,(8, ¢). .j(kr) Kn+t(ka)
Again, there is no restriction on the value of a since Ky(z) has no positive zeros. Lastly, if R2 = (x- X O)2 + (y - YO)2 + (z - ZO)2, the function
cosh kR/R
is the elementary solution of Y'2u - k2u
=
0.
11.13 The solution of V2u+k2u = 0 in polar coordinates If <Xl f(8, ¢) = 1:. 811,(8, ¢), o
the solution of the problem of Dirichlet of the equation Y'2u+k2u = for r < a, given that u = f(8, ¢) on r = a is u =
i o
In+t(kr) .j(ka) 811,(8, ¢). .j(kr) In+t (ka)
°
226J
ELLIPTIC EQUATIONS IN SPACE
[11.13
This can be obtained by repeating the argument of § 11.2 or, more simply, by replacing k by ik. This is satisfactory, subject to convergence considerations, provided that ka is not a zero of J,,+!(z). The positive zeros of J,,(z) form an increasing sequence; and, if the least positive zero is j,., then < jv < jp+l' Since
°
J~(z) =
J
(:z) sin z,
the least positive zero of J!(z) is 17. Therefore, if ka < 17, ka is not a zero of In+*(z) for any positive integer n. The formal solution we have found thus- holds if the radius of the sphere is sufficiently small. But if, say, In+!(ka) = 0, the equation has a solution
J,,~ (kr) S (8 "') ~(kr)
" , 'f/
,
which vanishes on r = a; and the problem of Dirichlet for r < a does not have a unique solution. The particular solutions
do not depend on 8 and
ep, and are proportional to sinkr -r-'
respectively. If
coskr l'
R2 = (X-X O)2+ (Y-YO)2+ (Z-ZO)2,
coskR
the function
Jr
is the elementary solution of V'2U + k2u = 0. Sometimes it is more convenient to use the Hankel functions H;~~ ~
(z) = J,,+! (z) - (- 1)"iJ_,,_~ (z)
H~~t (z) = J,,+! (z)
+ (-1 )"iJ_,,-t (z),
n being a positive integer or zero. These functions are of the form
11.13)
ELLIPTIC EQUATIONS IN SPACE
H~) (kr)
The solutions
H~2) (kr)
~(kr)' eikr
are multiples of
[227
~(kr) e- ikr
r'
r
11.14 Helmholtz's formula In dealing with problems of wave propagation which vary simpleharmonically with the time, it is often convenient to use a complex wave function U = uexp (-ikct), (1) where u does not depend on t, and to take real parts at the end. If
u is a complex solution of the reduced wave equation V'~L + Pu =
o.
(2)
The only wave functions in which u depends only on the distance R from a fixed point are exp (ikR - ikct) R
exp ( - ikR - ikct) . R '
the former represents expanding spherical waves, the latter contracting spherical waves. If we wish uexp (-ikct), where u is a solution of (2), to represent expanding waves, we want u to behave like exp (ikr)/r, when r is large. This is the origin of Sommerfeld's conditions, which appear later in this section. We have seen that the reduced wave equation (2) has an elementary solution cos kR/R, where R is the distance from (X o,Yo' zo) to (x,y,z). We can, if we wish, use the complex elementary solution exp (ikR)/R. We first state Helmholtz's formula, which is the analogue for the reduced wave equation of Green's equivalent layer formula in potential theory. Let D be the domain bounded by a regular closed surface B. Let u be a solution of V'~+k~ = 0 which is continl£onsly differentiable in J5, and has bOl£nded continl£ol£s second derivatives in D. Then the vall£e of
~ff {exp (ikR) 01£ _ 417 s R oN
1£
~ exp (ikR)} dB oN R '
228J
[11.14
ELLIPTIC EQUATIONS IN SPACE
R2 =
where
(X-X O)2+(Y-YO)2+(Z-ZO)2
is u(x o, Yo' :::0) or zero according as (x o' Yo' zo) is inside or outside S.
This is a straightforward consequence of Green's theorem. 'Vc note that, if n is real, the value of
~ { { {COS kR ~UT -11 r,C cos leR) dS T
417 ~ ~ s
R
cIo.
0]\
R
J
is u(xo, Yo, zo) or zero according as (xo' Yo, zo) is inside or outside S. But the value of
~
417
Jfs {Sin
kR au _ '11 ~ sin leR} dS R aN Oi.V R .
is zero everywhere, as we should expect; for sin kR/R is a solution of the reduced wave equation without any singularity. Let Li be the unbounded domain exterior to a regular closed surface S Let '11 be a solution of \12'11+ k 2u = 0 which is continuously differentiable in 3. and has bounded continuous second derivatives in Li. Then if n is the unit normal vector to S drawn into Li, the value of
~Jf (eXP(ikR) 0'11 -u!.... eXp(ikR))dS 417 s R an on R is - '11(: 0 and c < 0 are both covered. F. V. Atkinsont proved that, when k is real, Sommerfeld's two conditions at infinity ensure uniqueness. But he also showed that the two conditions can be replaced by one condition which suffices to ensure uniqueness even when k is complex. Atkinson proves first two lemmas, using the notation of the first paragraph of this section. Lemma 1. Let 11. be such that (i) V'2U + k 2u = 0 outside S,
(ii) (iii)
11.
is continuously differentiable on fj, has bounded continuous second derivatives on D,
11.
(iv) rexp (ikr) {(ik-n
11.-
~~)
tends to zero as r -+ 00 uniformly with respect to the polar angles Then 11. can be expressed in the form 11.
= exp (ikr)
e and ¢.
2: anr- n, 1
where the coefficients an are independent of r and are continuous functions of direction. ~lJforeover, there exists a constant a such that the series is absolutely convergent when r ~ a and uniformly convergent there with respect to e and ¢. This is not an expansion in terms of the Hankel functions of order n + t and surface harmonics of order n. A typical term exp (ikr) an r- n does not satisfy the reduced wave equation. If Po(xo, Yo' zo) lies outside S, it follows by the argument of § 11.14 that, if 11. satisfies condition (iv) of the lemma
fJ (
':' ) = ~ ( . Yo' ~o 4 IT.
11. X Ol
S
au)
~ exp (ikE) _ exp (ikR) dS v. un 0; the result holds for all real or complex values of k,
[11.15
ELLIPTIC EQUATIONS IN SPACE
232J
Lemma 2. Let u be such that (i) V'2u +k2u = outside S, (ii) u is continuously differentiable on 15, (iii) u has bounded continuous second derivatives on D. If im k ~ 0, the conditions
°
(A)
rexp (ikr) {(ik -~) u- ~~} -+ 0,
(B)
r 3 exp (-ikr)
{(ik-~) u- ~~} = 0(1),
as l' -+ 00, are equivalent. They are also equivalent to (0)
u-+O,
(D)
ru
r(iku-~~)-+oasr-+oo,
= 0(1),
andto
1'2 (ikU- ~~) = 0(1) as 1'-+00.
Write k = p+iq, where p and q are real and q (B) holds. Then
/1 ex p (i7cr) o
~ 0.
Suppose that
{(ik-~) u- ~~} I
= Ir3 exp (- ikr) {(ik -~) u- ~~} exp ;:ikr) / = 0 (ex
p
(r~ 2qr))
so that (A) holds. If (A) holds, we can apply the result of Lemma, 1, to obtain p r 3 exp (- ikr) {(ik -~) u- ~~} = _1'2 :1' (u jex ;ikr))
= _ 1'2 ~ or
:r 00
an = ~ (n - 1) an r n- 1 2' r n- 2 '
the series being absolutely and uniformly convergent when l' ~ a. Hence (B) holds. (0) implies (A) since lexp (ikr)j = exp (-qr) :::; 1. If (A) holds, then 00
u = exp (ikr) 2; 1
when
l'
~
a -.E n
r
'
a, and so u-+o as 1'-+00. Also l'
'k OU) ( t u-~ ur
nan = exp(t'k 1')2;n 00
1
r '
11.15]
ELLIPTIC EQUATIONS IN SPACE
[233
which tends to zero as r-HXJ. Thus (A) implies (0). Similarly we can show that (D) implies (A) and (A) implies (D). And thus (0) and (D) are also equivalent. Thus when im k ~ 0, Sommerfeld's two conditions can be replaced by one condition (A) . The only function which satisfies the conditions of Lemma 1 and vanishes everywhere on S is identically zero. From this follows the uniqueness theorem for the external problem of Dirichlet. We assumed that k = p + iq, where q ~ O. There are three cases to consider, viz. (i) p 4= 0, q > 0, (ii) p = 0, q > 0, (iii) P 4= 0, q = 0. (i) Suppose that p 4= 0, q > 0, and that there is a solution which vanishes on S. Let ~ be the sphere r = b, where b > a. Then S lies inside~. Let Ll be the domain bounded externally by~, internally by S. If u is the complex conjugate of u,
fff~ (u'VZU-u'V~)dxdydz = ff~ (u:;-U:;)d~, since u and u vanish on S. The expression on the left is (k
2
-k 2 ) fff~ uudxdydz =
4ipq
fft. 1u21
dxdydz.
00
By Lemma 1,
u = exp (ipr - qr)
2: anr- n , 1 00
u = exp ( - ipr - qr) 2: ii n 1,-n, 1
when r
~ a,
and so u au _ or
u au = or
0 (ex p ( - 2qr )) r2
as r-+oo. Therefore the integral over 1: tends to zero as b-+oo, and so, since pq 4= 0,
Hence u vanishes everywhere on D. (ii) Suppose, next, that p = 0, q > so that k 2 = - q2. Let u be a solution which satisfies the differentiability conditions of Lemma 1 and vanishes on S. Then
°
234]
ELLIPTIC EQUATIONS IN SPACE
[11.15
because u vanishes on 8. Since
uOU
or
as r -+ 00, the integral over
~
=0
(exp (r- 2qr )) 2
tends to zero as b -+ 00. Therefore
and so u is again zero everywhere on 15. (iii) Lastly suppose that p =!= 0, q = O. If u is a solution which vanishes on 8 and satisfies the differentia bility conditions,
JJr~ (u'V2U - u'V 2u) dxdydz = JJ2: (u :~ -- U :;T) d~. The triple integral vanishes. By Lemma 1,
If we substitute this in
b2JJn (u ou - Uau) or or
dQ
=0
r=b
and make b-+oo, we find that la 1 12 = O. Proceeding in this way, we find that every coefficient an is identically zero, and u vanishes everywhere on D. Exercises 1. (i) Prove that, if 0 < h < 1,0 < k < 1, l dfl __ 1_ l+,.j(hk) 10 _1,!(1-2hfl+h2 ),/(1-2kfl+k2 ) - ,/(hk) gl-.j(hkr
J
(ii) The Legendre pOl~'1lOmials have the generating function
Deduce from (i) that
ELLIPTIC EQUATIONS IN SPACE
2. u is harmonic in a domain containing r a, u = f{ft,) , where/" = cosO. Prove that
~ a
[235
in polar coordinates. On
"=
where
_-,--_d_u _ o z+ix cos u+iysin 1/, 2"
J
3. Prove that
27T r
where z > 0. Deduce that, if r < 1,
27T
2" _ _--:-_du_-,--,-_ o 1 - z - ix cos u - iy sin u
J
where /" = cosO. Hence show that
Pn(cosO)
1 f2" = 27T 0 (cosO+isinOcost)ndt
Deduce that 4. If
Rfi = (X-XO)2+(y_YO)2+(Z-ZO)2,
Rr = (X-XO)2+(y_YO)2+(Z+::0)2, 1 1 Ro R1
where Zo > 0, prove that
is the Green's function for the Laplace's equation in z > 0. Show that 1 1 ---R = Ro 1
where
00
2: 1
rn
--fJ. {Pn(coseX) -Pn(cosj1)}, r +
= cos 0 cos 00 + sin 0 sin 00 cos (p - ¢o), cosj1 = -cosO cos Oo+sinOsin 0ocos (p -Po), (r, 0, p) being the polar coordinates of (xo, Yo, zo) and cos eX
(ro, 0 0 , Po), (x, y, z). Show that the series is absolutely convergent in r ~ a, for any a > ro, and that the convergence is uniform with respect to 0 and p. If u is harmonic in z > 0, prove that
Zo
u(xo'yo,zo) provided that as
r~oo
= 27T
ffoo -00
u(x,y,O) dxdy
{(X-XO)2+(Y_YO)2+ zfi}!
au 2u -+-~O Or r
uniformly with respect to 0 and
p.
236)
ELLIPTIC EQUATIONS IN SPACE
5. Shm\' that, in spherical polar coordinates, Laplacc's equation is 2 ~ ~ 2 CV) + _1_ ~ (sin 17 8F) +_1_ 8 F = o. 2 2 2 r 2 or or r sin 17 8B 017 r sin 17 8¢2
(r
By the method of separation of variables, obtain the solution (Arn+Br- n) cos (m¢+c) 0';;(J.l),
where J.l = cos 17: and 0';; satisfies 2 (1_/l 2)d 0 _2J.ld0 +[n(n+1)-~]0 = dJ.l2 dJ.l 1- J.l2
o.
6. Show that, in cylindrical coordinates, Laplace's equation is 82 V 18V 1 82V 82V -+--+--+-= 0. 8p2 P 8p p2 8¢2 8z 2 By the method of separation of variables, show that a solution is (Ael:z+Be- kz ) (CJm(kp) + DYm(kp)) cos(m¢+c),
where A, B, C, D and c are constants. If this solution is one-valued and has no singularity, prove that m is an integer and that D is zero. 7. Let u(x,y,z) be a non-negative function, harmonic in a bounded domain D. Let 2 (X-X O)2+(Y_YO)2+(Z-ZO)2"; a
be a closed sphere contained in D. If (x, y, z) is a point of the sphere at a distance r < a from its centre, prove that a(a-r) a(a+r) u(xo,yo,zo) .,; u(x,y,z) .,; --)-2 u(xo,Yo,zo)· (a+r) (a-r
---2
Deduce that a non-negative function harmonic in every bounded domaill is a constant. 8. Prove that Harnack's first and second theorems on convergence. proved in §8.14 and §8.16 for plane harmonic functions, also hold fa)" sequences of harmonic functions in space of three dimensions.
Rfi =
9. If
(X-X O)2+(Y_YO)2+(Z-ZO)2,
eikRo
prove that
eikr [
-- =-
Ro
r
00
l+"a
t
rn] "r n , ...Q.
where an is a function of cosa = cos 17 cos 170 + sin 17 sin 00 cos (¢-90) alone, (r o, 170 : 90) and (r, 17, ¢) being the polar coordinates of (x o,Yo' zo) and lanl .,; 1 and that the series is absolutely convergent when r ;:, a for any a > ro, and that the convergence is uniform. (x, y, z). Prove that
ELLIPTIC EQUATIONS IN SPACE
[237
If k > 0, Zo > 0, show that
Ro
R1
Ri = (X-X O)2+(Y-YO)2+(Z+ZO)2,
where
°
is the Green's function of the equation 'V 2u + k 2u = for the half-space : > 0. Hence show that if u is continuously differentiable on Z ~ 0, has bounded continuous second derivatives on z > and satisfies 'V 2u + k2u = 0, then ikR Z e u(xo,Yo,zo) = 2~ -co R3 (l-ikR)u(x,y,O)dxdy,
°
ffco
where
R2
provided that as
r~oo,
=
(X-XO)2+(Y_YO)2+Z~,
ou +~ (2-ikr) -+ or r
uniformly with respect to () and
p.
°
12
THE EQUATION OF HEAT
12.1
The equation of conduction of heat
\Yhen heat flows along an insulated uniform straight rod of thermal conductivity K, density p and specific heat c, the temperature u at time t at a distance x from a fixed point of the rod satisfies the equation
a2u cx 2
pc 8u
Kat·
Since K: p: c are constants, this can be written in the form 82u
ox2
8u 8t
by a change of time-scale. This is the simplest linear equation of parabolic type with two independent yariables. It is called the equation of heat or the equation of diffusion. It has one family of characteristics: namel:-- the lines t = constant in the xt-plane. The simplest problem is that of the infinite rod with a given initial temperature distribution u(x, 0) = f(x). On physical grounds, it is obyious that the temperature at any subsequent instant is uniquely determined. The problem is to find conditions satisfied by f(x) so that this is true: and to find an explicit formula for u. 12.2
A formal solution of the equation of heat 82u
If, in
we put u we have
ox2
= XT
OU
= at'
(1 )
where X and T are functions of x and t respectively. X" ¥-',
where dashes and dots denote differentiation with respect to :r anel t. Hence
12.2]
EQUATION OF HEAT
[239
where a is the separation constant. Thus we have a solution 2
u
= exp ( - a 2(t - to)) cos a(x - x o),
where X o and to are constants. In the physical problems of heat conduction, u cannot increase indefinitely with t, so we assume that a is real. A more general solution, valid when t > to, is u
= f:<Xl exp(-a 2(t-to))cosa(x-xo)da
f
.J1T
= .J(t-to) exp \ -
(X-X O)2}
4(t-to) .
If x =1= X O' this solution tends to zero as t -+ to + O. Other formal solutions can be obtained by integration. For example, (2)
is a solution valid when t > O. If we put; = x + 21J.Jt we obtain U
= T1 f<Xl f(x + 21J.Jt) exp (_1J2) d1J, \/1T
-<Xl
(3)
when t > O. The limit of this as t -+ + 0 is f(x). Hence (2) is the formal solution of the initial value problem for the infinite rod. Iff(x) is zero when x < a and when x > b where a < b, the solution (2) becomes 1 U = 2.J(1Tt) a f(;) exp (-!(x - ;)2jt) df
fb
If, in addition, f(x) is positive when a < x < b, u(x, t) is positive when t > 0 for all values of x. The effect of an initial non-zero temperature distribution on a finite interval is immediately felt everywhere. This result is quite different from that for the equation of wave motions where an initial disturbance restricted to a finite interval is propagated with a finite velocity. It is convenient to write k(x,t)
=
2.J~1Tt)exP(-ix2jt),
so that the formal solution (2) becomes (4)
240)
[12.2
EQUATION OF HEAT
when t > O. This result can be justified if we assume thatf(x) possesse~ a continuous second cleri,-ative and satisfies suitable conditions at infinity to ensure the uniform com'ergence of the integrals obtained from (3) h~' differentiation under the sign of integration. But tlw result holds under very much less restricti,-e conditions. The solution (4) was obtained by integrating a multiple of lc(x-~,t-7)
along a path in the
~7-plane. Another
u(x,l)
formal solution is
= J~ ¢(7)k(:r,I-7)d7,
(5)
where t > 0, the upper limit being t since k(x, t - 7) is complex when 7 > t. This solution is an even function of x. Its value when x = 0 i" u(O,i)
1 Jt
d7
= 2,..,f7T 0 ¢(7) '1/(t- 7)'
This is Abel's integral equation for 9. If u(O, t) is continuous and vanishes 'when t = 0, the solution of the integral equation is ¢(t)
2 dJt
= -, -d .J7T t
0
d7 u(O, 7) -'(--)' ,\'
t-
7
Thus (5) is a formal solution of the equation of heat in terms of the ,-alues taken by the solution when x = O. Yet another formal solution can be obtained by differentiating the expression on the right of (5) with respect to x. It is a multiple of u(X,t) = It ¢(7)....!.-k(x,t-7)d7,
t- 7
• 0
(6)
t being positive. The expression (6) is an odd function of x. If ,,'e make the substitution t- 7 = ix 2 jv. when x> O,f, > 0, (6) gives u(x, t)
=
1 -1-
J
ro
'\ 7T ix'it
2
9 ( t -X- ) 4u
u-t e- u d7L
The limit of this as x-+ + 0 is ¢(t) when t > 0; but the limit as x....,.. is - ¢(t). since 71(X, I) is an odd function of x.
12.3
(I
Use of integral transforms
Problems of heat conduction in an infinite or semi-infinite rod can often be soh-ed by the use of integral transforms. As it is difficult to give this method a rigorous form, ,w content ourselves with illustrative examples.
12.3]
[241
EQUATION OF HEAT
To solve the initial value problem u(x, 0) = f(x) for an infinite rod, we may use the complex Fourier transform 1 foo . U(ex, t) = ..)(21T) _oou(x, t) euxdx,
whose inverse is u(x, t)
1
= ..) (21T)
foo
.
-00
U (ex, t) e-,udex.
Assuming that differentiation under the sign of integration is valid, we have 8U = _1_foo 8u(x,t) eia.xdx = _1_foo 82u(x,t) eia.xdx 8t ..)(21T) -00 8t ..)(21T) -00 &2
= -~foo u(x t)eia.xdx = -ex 2 U(a t) ..)(21T)
-00
'
,
,
provided that u(x, t) behaves at x = ± 00 so that the integrated terms vanish. We then have U(ex, t) = U(ex, 0) exp ( - ex 2t) =
..J(~1T) exp ( -
ex 2t) f:oof(;) expiex;d;.
Using the formula for inverting the Fourier transform, u(x, t) =
2~ f:oo exp ( -
ex 2t - iax) f:oo f(;) exp (iex;) d;dex
=
2~f:oof(;) f:oo exp(-ex2t-iex(x-;))dexd;
=
2..)~1Tt) f:oo f(;) exp ( -!(x -
;)2jt) d;,
the result we obtained in § 12.2. To solve the problem for the semi-infinite rod x > 0 with data u(x,O) = f(x), u(O, t) = ¢(t) when t > 0, it is more convenient to use the Fourier sine transform
~(ex, t) whose inverse is
=
u(x, t) =
J(~) f:
J(2) foo
IT
0
u(x, t) sinaxdx, ~(ex, t)
sin axdex.
Then
8~(ex,t)_J(~)fOOOu(X,t). 0 under the conditions 11(:t',
U)
= () (.l· >
0),
1/(0, t)
=
¢(t) (t > 0).
12.3)
EQUATION OF HEAT
[243
If the Laplace transform of the solution u(x, t) is
= fo<Xl u(x, t) e-stdt,
U(x, s)
we have
= [u(x, t) e-·~t]~ +s
f:
u(x,t)estdt.
82 U
~-sU = 0
Hence
uX~
provided that the real part of s is so large that u(x, t) e- st tends to zero as t -+ + co. Write s = 0-2 where the branch of 0- is taken which is positive when s > 0. Then Since U (0, s) is the Laplace transform of u(O, t), which is given to be ¢(t), we have A +B = (s). We need another condition in order to determine A and B. If we require u(x, t) to be such that U(x, s) is a bounded function of x, A is zero, and U(x, s)
= (s) e-- + 0 uniformly on any finite interval of the x-axis. If we have found a solution of the initial value problem, another solution will be obtained if we add a multiple of Tikhonov's solution. But the resulting solution does not satisfy an inequality 11£(x, t)1 ~ .M exp (ax 2) in t ~ O.
12.6 The case of continuous initial data In § 12.1, we obtained the formal solution
foo
1 l£(x,t) = 2.j(7Tt) _oof(f,) exp (_t(X-f,)2jt)
df"
(1)
which we expect to satisfy the initial condition l£(x, 0) = f(x) for all x. We now consider the simplest case when f(x) is continuous and satisfies the inequality (2) If(x) 1 ~ M eax' for all x, whereais a non-negative constant, and showthatl£(x, t) tends to f(x o) as (x, t) tends to (xo, + 0) in any manner. If (x, t) lies in the rectangle - a ~ x ~ a, 0 < jJ ~ t ~ y, we have If(f,) exp (-t(x-f,)2jt)1 •
~
M exp {af,2- 4~ (X-;)2}
~ 11'1 exp {- (4~ -a) f,2+ 2~ alf,I}.
248]
[12.6
EQUATION OF HEAT
Hence, if i' < 1j4a, the integral (1) converges uniformly on the rectangle, and so u(x, t) is continuous. Since ct may be as large as "\\'e please, u(x, t) is continuous on the strip 0 < t < 1j4a. A similar argument showi' that we may calculate the derivatives of u(x, t) by differentiation under the sign of integration, and that the derivati-ns of all orders are continuous in the same strip. Since
satisfies the equation of heat, (1) is a solution in the strip 0 < t < 1j4a. And if (2) holds for every non-negative value of a, (1) is a solution in t> O. We next show that u(x,t) tends tof(x) as t-?- +0, uniformly with respect to x on any closed interval - ct ~ X ~ ct. 'Ve have 1 JOO u(x,t)-f(x) = 2~('1Tt) _oo{f(f,)-f(x)}ex p (-i(x- fY jt)df,
(3)
Since f(x) is uniformly continuous, corresponding to any positive value of e, there exists a positive number 0 such that, if x and x + 11 belong to [ - ct, ct], then
If(x+1/)-f(;/:)1 < e, ",henever 11/1
- e whcnever the point (x, t) is at a distance less than 0 from B. If the theorem is false, there exists a point (Xl' t l ) of D at which u is ncgative, so that U(Xl,t l ) = -1 < O. Let where
v(x,t) = u(X,t)+K.(t-t l ) K i~
a constant. Since u satisfies the equation of heat, we have 82 v OV 8x2 = ot -K.
Choose
K
so that
(I
O. Let
o
-e+K(t-t l ) > -l+Kt > -1.
12.7]
[251
EQUATION OF HEAT
Since v(x v tl ) = -l, the minimum of v(x, t) cannot exceed -l, and so is attained at a point (x 2 , t2 ) of D. This is impossible. For at a minimum ovlot = 0 (or possibly ovlot < 0 ift 2 = c), and o2vlox2 ~ 0, yet 02V
oV
ox2 = ot
-K,
where K > O. Hence the assumption that u(x, t) is negative at a point of D is false, and the theorem is proved.
Theorem 2. Ifu(x, t) belongs to Ye in the strip 0 < t
~
c, if
u(x, t) = 0
lim (X,t)->(x,,+O)
sup u(x, t) = O(eaXZ )
for all xu' and if
O- ± 00, for some positive value of a, then u(x, t) is identically zero in the strip. Note that we assume that u(x, t) tends to zero as (x, t) tends to (xo, + 0) in any manner in t > O. Let F(x) = sup lu(x,t)l. O 0, and, in particular, in the region D defined by -R < x < R,O < t ~ c.
U(R t) >- F(R) k(O ) = F(R) ,,,.. ,t 2,J(7Tt)"
Now Hence, if 0 < t
~
c,
lu(R,t)1 or
~ F(R) ~ F(R)~~ ~ 2,J(7TC) U(R, t)
2U(R,t),J(7TC)
± u(R, t)
~ O.
A similar result follows with R replaced by - R. Let w1 (x, t) = 2,J(7TC) U(x, t) + u(x, t).
This function belongs to Ye in 0 < t ~ C and is non-negative when x = ±R,O < t ~ c. If (x,t)-J>-(x o, +0) where -R < X o < R, then 9"Z
252}
[12.7
EQUA TION OF HEAT
+ 0), then F( - R) k(:r + R, t) tends to zero and F(Ri lc(x- R, t) is non-negative. Hence
v' l (x, t) tends to zero. If (x, t) -J>- (R,
U(x, t)
lim inf (x,I)~(R,
B." hypothesis.
~
O.
+0)
liminf 1i(X,t) = limu(:r,f) = O. (x,I)-:-(R, +0)
liminf w 1 (x, t)
Hence
~
0,
(x,I)-:-(R,+O)
with a similar result as (x, t) -J>- (-R, + 0). By Theorem 1, w 1 (x, t) in D. In the same way, we can prove that
u'2(x,f) = 2\/(7TC) U(x,t)-u(x,f) in D. Therefore
~
~
0
0
lu(x,t)1 ~ 2\/(7TC) U(x,t)
onD. The function u(x, t) does not depend on R. If we can show that U(x, t) tends to zero as R-""" 00, we shall have u(x, t) = O. Kow 7 R lIf {R" (R-X)2} F (R) tC(x,t) ~ 2\/(7Tt)ex p a -4t
so that F(R) k(x - R, t) tends to zero as R -J>- 00, provided that
o< t
< 1/(4a),
with a similar result for F( - R)k(x + R, f). Hence if c ~ 1/(4a), u(x, t) is zero on the strip 0 < t ~ c. If C > 1/(4a), we can repeat the argument with u(x, t + 1/80), and so forth as often as is necessary: u(x, t) vanishes on 0 < t ~ c for any given value of c. From this follows Tikhonov's uniqueness theorem: If u 1 (x, t) and u 2(x, t) belong to £ in 0 < t ~ c, if both tend to f(x o) as (x, t) -J>- (x o' + 0) for all values of X o, and zf sup u 1 (x, f) = O(c'';'''), O;
iV] =
max{lf(xo+OI, If(xo-O)I}.
(x.t)-(x•• +0)
Iff(x) is continuous at x o' let u 1 (x, t) = u(x, t) - f(x o).
Then
u 1(x,t) = I:oo {f(;)-f(xo)}k(x-;,t)df
By the first part of the theorem, lim sup lu 1 (x, t)1 :>;
o.
(x.t)_(x•• +0)
Hence, as (x, t) tends to (x o' + 0), u 1 (x, t) tends to zero and so u(x, t) tends to f(x o)' A similar result, due to G. H. Hardy, t is that, for fixed x, u(x, t) tends to f(x) as t -+ + 0 for almost all values of x and that it tends to -Hf(x+ 0) +f(x- O)} whenever this expression has a meaning.
12.8
The equation of heat in two and three dimensions 2 The function k ( ' t) 1 (X + y2) x,y, = 41Ttexp -~ satisfies the equation
82u 82u 8u 8x 2 + 8y 2 =
at·
From this we can construct the formal solution u(x,y,t) = If we put
4~tII:oof(;'1J)exp{ ; = x+2X.jt,
(X-;)2:e(y-1J)2}d;d1J.
1J = y+2Y .jt,
we obtain 1Ioo u(x, y, t) = iT _oof(x +2X .jt, y +2 Y.jt) exp (-X2 - Y2)dXdY.
As t-+ +0, this solution tends tof(x,y) under suitable conditions. t Mess. Math., 46
(1916), 43-48.
256]
EQUATION OF HEAT
SimjlaJ'l~',
[12.8
a formal solution of the initial value problem for
a2u
(32 u
(32 u
au
+-+-=ox 2 ay 2 0::: 2 at IS
where
U(X,y,z,t)
=
_1_2
8(7Tt)~
JJJr»
-r»
f(~,1/,i;)exp(-iR2Jt)d;d1Jdl;,
R2 = (X- ;)2 + (y _1J)2 + (z - 1;)2.
12.9 Boundary conditions In the problem of heat conduction in a finite rod, there are, in addition to the initial condition, boundary conditions at the end points of the rod. Similar problems arise in the theory of heat conduction in the plane or in space. Suppose that we have a conducting solid bounded by a closed surface 8. The temperature u satisfies a2u 02U a2u au + + = 2 ax oy2 OZ2 at and is given initially everywhere inside 8. There are three possible types of boundary condition on 8. (i) The temperature may be prescribed on 8 for all time. (ii) There may be no flow of heat across 8 so that au/eN vanishes on8. (iii) If the flux of heat across 8 is proportional to the difference between the temperature at the surface and the temperature U o of the surrounding medium, it is equal to H (u o- u) where H is a positive constant. The boundary condition is then
au
K aN = H(U o-11), where a/aN is differentiation along the outward normal, and K is a positive constant. YVe write this as
au
aN+ hu =
huo,
where h is a positive constant. If the solid is bounded externally by a closed surface 81> internally by a closed surface 8 2 , we could have different types of boundary condition on 8 1 and 8 2 ,
12.10]
EQU A TION OF HEA T
[257
12.10 The finite rod In the case of an insulated uniform rod of finite length a, we have to show that
has a unique solution which satisfies the initial condition u = f(x), when t = 0, < x < a, and also satisfies conditions at the ends. There are the four types of condition at the ends. (i) The temperature is given at the ends by
°
u(O, t) = !/o(t),
u(a, t) = !/l(t),
when t > 0. We do not require u(x, t) to tend to a limit as (x, t) tends to (0, +0) in any manner or as (x,t) tends to (a, +0). For example, we might ha.ve the problem of a finite rod at a unique temperature whose end points are suddenly cooled to zero. The conditions are then u(x,O)
=1
u(O, t) = 0,
(0 < x < a),
u(a, t) =
°
(t > 0).
This is the idealisation of a real problem in which the cooling of the ends of the rod takes place in a very short time. (ii) :: - hou
= !/o(t) (x = 0, t
> 0),
where ho and hI are non-negative constants. (iii) u = !/o(t) (x = O,t > 0),
:: +h1u = !/l(t) (x = a,t > 0);
(iv) :: -hou = !/o(t) (x = O,t > 0),
u = !/l(t) (x = a,t > 0).
To prove uniqueness, we have to show that, iff, !/o and!/l are all zero, u(x, t) is identically zero for all t > 0.
Let D be the rectangle dary. In the relation
°< x < a, 0< t < b, and let r be its boun-
where (1, m) are the direction cosines of the outward normal, put ¢J = U2 , where u satisfies the equation of heat. Then
t
IfD u;dxdt
=
fr
(luu,;-t mu2 )ds.
258]
[12.10
EQUATION OF HEAT
If f, go and :11 arc all zero, this equation becomes
JJn u~dxdt+tJ: {u(x,b)}2dx
(i)
Jr 'u~d:(;dt + t r
= 0,
a
(ii)
• 1J
•
{n(x, b)}2dx
(I
+hoJ: {u(O,t)}2dt + hIJ: {u(a,t))2dt = 0, (iii) JJD
u~dxdt+tJ: {u(x,b)}2dX+h I J: {u(a,t)}2dt =
0,
(J (b {u(O,t))2dt = in the four cases. Since k and hI are not negative, we have 'u(x, b) = ° when °< x < a, for every positive value of b. Hence u(x, vanishes when °< x < a, t > which proves the uniqueness theorem. (iv)
U~dxdt+tJa {u(x,b)}2dx+h o • n o .
0,
0
o
t)
0,
12.11 The semi-infinite rod In the problem of the semi-infinite rod, there is an initial condition, an end condition and an order condition at infinity. The initial condition we take to be 'u(x, 0) = f(x) (x > 0), "'heref(x)e- ax2 is integrable over (0, co) for every positive value of a. There are various end conditions. ';Ve start by considering the cases when either (i) u = ¢(t) (x = 0, t > 0), or
(ii)
Ux
= 1fr(t)
(x = 0, t > 0),
where ¢(t) and y'r(t) are integrable over any finite interval. The first problem can be split into two simpler problems (a) when ¢(t) is iclt'ntically zero, (b) when f(x) is identically zero. The required solution is the snm of the solutions of the two simpler problems. The solution of problem (a) is an odd function of x. To solve it, we extend the initial data to x < by introducing a new function
°
F(.T) = f(x) (x > 0),
F(x)
= - f( - x) (x
< 0).
YVe can assign to F(O) any value we please. The problem with this initial function has a unique solution
12.11]
[259
EQUATION OF HEAT
°
This is an odd function of x, continuous when t > 0, and so u 1 (0, t) = there. At every point of continuity of F(x), u 1 (x,t)-+F(x o) as (x, t) -+(xo, +0) in any manner. The solution of problem (b) has already been found; it is
x
t
I
u 2 (x,t) =
o
¢(r)-k(x,t-r)dr. t- r
Hence the solution of problem (i) is U(X,t) =
I
OO
o
f(~){k(x-~,t)-k(x+~,t)}d~+
It 0
x ¢(r)-k(x,t-r)dr. t-r
The solution of problem (ii) can also be split into two simpler problems, (c) when 1fr(t) is identically zero, (d) whenf(x) is identically zero. To solve problem (c), we introduce a new function G(x)
The solution is
= f(x) (x u 1 (x,t)
> 0),
=
G(x)
= f( -
x) (x < 0).
I:oo G(~)k(x-~,t)d;.
At any point of continuity X o of G(x), this tends to G(xo) as t-+ + 0. In t > 0, u 1 (x, t) is continuous and continuously differentiable. Hence
o~(x,t) = ox
-Ioo
G(~)x-~k(x-~,t)d~.
-00
2t
When x = 0, t > 0, this is equal to
which vanishes since G(~) is an even function. The solution of problem (d) is
This vanishes when t = 0. Also OU 2 (x, t) ox
=
It 0
1fr( r)...!:.- k(x, t - r) dr, t- r
and this tends to 1fr(to) as (x, t) tends to ( + 0, to) in any manner when to> 0. The solution of problem (ii) is u(x, t)
=
I: f(~){k(x -~,
t) + k(x +~, t)} d~ - 2
I:
1fr( r) k(x, t - r) dr.
260]
[12.11
EQUATION OF HEAT
YVhen the end condition for the semi -infinite rod was 1i = 0 or U x = 0 when x = 0, we started with the solution
= Jooof(~)k(X-f,t)df+ Jooo g(~)k(x+~,t)df
u(x,t)
of the equation of heat and chose the function g(f) appropriately. The same method can be applied when the end condition is U x - hu = 0 where h > O. V?hen x = 0, Ux
= Jooo f(~) ~t k(~, t) d~ - Jooo g(~) ~t k(~, t) d~ =-
oo
J 0
()
{j(f) - g(~)} ()~ k(~, t) d~.
This we can integrate by parts if f(~) and g(~) are absolutely continuous. For then the derivatives l' and g' exist almost everywhere. YVe then have
ux(O, t)= -
[{j(~) - g(~)} k(~, t)]O" + Jooo {j'(S) -
g'(m k(s, t) dft
= J~ {j'(O-g'(mk(~,t)dft provided that the terms at the limits vanish. 'We can ensure this by choosing g(~) so that g(O) = f(O) and lim {j(~)- g(m k(~, t) = O.
;_00
The end condition is then
Jooo {1'(~)-hf(~)-g'(ft)-hg(~)}k(~,t)d~ = 0, for t > O. This is satisfied if g(~) satisfies the differential equation
g' + hg The solution is
g(~)elt;-g(O) =
= l' - hf.
J: {j'(1J)-hf(1J)}e hn d1J
= f(~) e"; - f(O) - 2hJ>(1J) ehn d1J. Since g(O)
= f(O),
f(f,)-g(~) = 2he-lt;J;!(17)ell1ld17. o
If
If(~)1
< M ea;2
.
12.11]
[261
EQUATION OF HEAT
for every positive value of a,
Mh p (-;2/ 4t - h;) If(;)-g(;)lk(;,t) < .j(17t)ex
I; 0
exp(a1J2+k'l)d1J
Mh < .j(17t); exp ( - ;2/4t + a£2), which tends to zero as f...:;..co when t < 1/4a. As a can be as small as we please, If(;)-g(;)1 k(;,t) tends to zero as ;.-+co for any positive value oft. The solution of the equation of heat we are trying to obtain is thus
u(x,t) = f:f(;){k(X-;,t)+k(x+;,t)}d; - 2h I: k(x +;, t) e-h;I: eh~f(1J) d1Jdf Inverting the order of integration
u(x, t) = I: f(;){k(x-;, t) + k(x +;, t)} d; - 2hI: f(1J) K(x +1J, t) d1J, K(x,t) = Ioook(x+;,t)ChSd;.
where
K(x, t) can be expressed in terms of known functions. For
x Y = 2.jt +h.jt.
where Hence
K(x, t)
=
)17 exp {hx + h 2t} Erfc (2~t +h.jt) ,
where Erfcx is the Error Function.
262]
12.12
[12.12
EQUA TION OF HEAT
The finite rod again
In the problem of heat conduction in a finite rod we have to solve the equation of heat in < x < a, t > 0, given certain end conditions and an initial condition 'lI(X, 0) = f(x), where f(x) is bounded and integrable. Suppose that the temperature is assigned at the ends, so that
°
u(O, t)
= ¢(t), 'It(a, t) = JjJ(t),
when t > 0, where ¢ and JjJ are bounded and integrable over any finite interval. This problem can be split up into three problems: in problem (a), ¢ and JjJ are zero; in problem (b)fand ¥ are zero; in problem (c), f and ¢ are zero. VIce solve problem (a) by extending the initial data, just as we did in the case of the semi-infinite rod. Since u(O, t) = 0, let u(x, t) be an odd function of x; since u(a, t) = 0, let u(a + x, t) be an odd function of x. 'Ve consider then the infinite rod with F(x)
= f(x)
(0 < x < a),
F(-x)= -F(x) F(a+x)
=
-F(a-x).
The second and third equations give F(a+x) = F(x-a)
and so
F(x) = F(x+ 2a).
The extended initial data satisfy F(x) =f(x)(O < x < a),
F(-x)
=
-F(x),
F(x+2a)
= F(x).
Since f(x) is bounded, F(x) certainly satisfies the condition IF(x)1
0).
The particular solution
. n7TX exp ( - n 2 7T 2t/a 2 ) sm-a vanishes when x for f(x) is
=
°and x = a. If the Fourier half-range sine series
where
bn
=
. n7TX a2faof(x)sm-;;:dx,
we should expect co b • n7Tx U(X,t) = Z; nexp(-n 27T 2t / a-Q) sm-
a
1
(1 )
would be the required solution. IVe assume that f(x) is integrable in Lebesgue's sense. Then {b n } is a null-sequence, and so is bounded; there exists a constant K such that Ibnl < K for all values ofn. Hence, ifO ~ x ~ a, < to ~ t ~ t1 , we have
°
The series (1) therefore converges uniformly and absolutely in the rectangle, and so its sum is continuous there. In particular u(O, t) and u(a, t) vanish when t ~ to > 0. The series obtained from (1) by differentiation under the sign of summation are also uniformly and absolutely convergent. Therefore (1) defines a solution of the equation of heat which satisfies the end conditions. co
The series 2: b" sin n7Tx/a is not necessarily convergent, but it is 1
summable (C, 1)t almost everywhere; and its Cesaro sum is J(x) at every point of continuity, again almost everywhere. To complete the co
proof we use a theorem due to Bromwich,t that if 1: a k is summable o
(C, 1) with sum s, then co
lim 2: an exp (- eA.,,) = s /1-+0 0
t The term" "ummable ~
(C. 1) and Cesaro sum are defined in note S of the Appendi>:. Bromwich, An Introduction to Infinite Series, 2nd edn (1926), p. 429.
12.13]
[267
EQUATION OF HEAT
if {An} is an increasing sequence of postitive integers such that, for all n,
where K is a constant. In the present case () = 1T 2tfa 2, and An = n 2, so that Bromwich's conditions are satisfied. Hence the series in (1) tends to f(x) as t -+ + whenever f(x) is continuous. The problem ofsolving the equation of heat in x::::; a,t > O,when u(x,O) = 0, u(O, t) = ¢(t), u(a, t) = can be solved by a modification of the Fourier method. Assume that
°
°:: :;
°
00 n1TX u(x, t) = L; bn(t) sin-, 1 a
. n1TX bn(t) = -2Ia u(x, t) sm dx. a a 0
where
Since u(x, t) vanishes when t = 0, bn(O) = 0. We have
dbn(t) = ~Ia 8u(x, t) sin n1TX dx ot a dt a 0 2Ia o2u (x,t). n1Tx ~2 S l n - dx a a 0 uX
=-
. n1TX n1T n1TX] a 2n2rr2Ia . n1TX = -2 [OU - s m - - - u c o s - - -3u(x,t)sm-dx a ox
a
2n1T
n2rr2
a
a
0
a
0
a
= -a2¢ ( t ) -a-2bn(t). From we have Thus
2n1Tft 2 ¢(r)exp(-n2rr2(t-r)fa 2)dr. bn = a 0
21T 00 n1TX I t U(X,t) = 2 L;nsin- ¢(r)exp(-n2rr 2(t-r)fa 2)dr. a 1 a 0
This formal argument gives the answer found in § 12.12, but it would be difficult to give a rigorous proof. Note that u(O, t) = 0. The reason for this is that u(x, t) is an odd function of x. u(x, t) tends to ¢(t) as x -+ + 0, but it tends to - ¢(t) as x -+ - 0. The sum of the series when x = is t{u( + 0, t) + u( - 0, t)}, which is zero.
°
268]
[12.13
EQUATION OF HEAT
If we try to so1\'e the equation of heat for the finite rod when the conditions are u(x, 0) = f(x) (0 < x < a), u.x(O, t) - hu(O, t)
= 0,
ux(a, t) + Hu(a, t)
=
°
(t > 0),
where 11 and H are positive constants, we might start with the solution u = exp (- k 2t) (A cos kx + B sin kx).
In order to satisfy the end conditions, we must have (P - hH) sin ka = k(h + H) cos ka.
This equation in k has no complex roots. Its real roots occur in pairs ± kv ± k2 , .•. where {k n } is a strictly increasing sequence of positive numbers. IVhen n is large, k = n1T + a(h+H) +0 (~). n a n1T n2
Since ak.J1T is not an integer, the Fourier series method is not applicable. IVe have to use instead an expansion as a series of SturmLiouville functions. The theory is outside the scope of this book.
Exercises 1. If U(a, t) is the Fourier transform of a solution u(x, t) of
02U OU ox2 = ot +xu,
prove that and hence that
U(a, t) = F(a+ it) eJl..-P (- ii( 3).
Deduce that, if u(x, 0) = f(x) for all values of x .
u(x,t) =
.
2,\1~1Tt) eJl..-P(it3 -xt) J:oof(;)eJl..-p(-t(X-;-t 2)2/t )d;.
2. u(x,t) satisfies the equation of heat in x > O,t > u(x,O)
= f(x),
u",(O, t) = Jjr(t).
The Fourier cosine transform of u(x, t) is
°under the conditions
[269
EQUATION OF HEAT
with inverse
U(x,t)
Prove that
= J(~)I:", Uc(a,t)cos:xxda. °Zc = J
(~) ljr(t) -
Deduce that Ue(x, t) = Fc(a) e-"St_ J
(~)
a 2 Uc'
J:
ljr(r) e-"S(t-T)dr,
where Fc(x) is the Fourier cosine transform of!(x), and hence that u(x,t)
= I: !(;') {k(x-;,t) +k(x+;,t)} d;-:2 I: ljr(r) k(x,t-r) dr.
3. Prove that, if a and b are positive, I:", k(x-;,a)k(;,b)d; = k(x,a+b).
Hence show that, if the operator
t9'; is defined by
~[f] = I:",!(;)k(x-s,t)d;
(t> 0),
then t9':1 [t9':. [f]] = t9':1 + t. [f], if t1 and t2 are positive. 4. Find the solution of in
°< x < 1T, t > °such that U(x, 0) =0 (O<XO),
U(1T,t) =0 (t>O).
Prove that this solution tends to (1T-X)/1T as t-+ +00. Why would you expect this result?
5. u(x, t) is the solution of the equation of heat which satisfies the conditions U= (t = O,X ~ 0), ure-hu = ¢J(t) (x = O,t ~ 0),
° where h is a positive constant and ¢J(t) is continuous. Prove that, when x> °and t> ° e:u -hu It ¢J(r)'-:"" k(x,t-r)dr. =
0
vX
t-r
Hence show that u(x,t)
=-
'" e-h ; Itx+; --¢J(t-T)k(x+;,r)d;dT. 0 r I o
6. u(x,t) satisfies the equation of heat in x > O,t > 0, under the condi·
tions
u(x,O) =
° (x > 0),
u(O, t) = ¢J(t) (t > 0).
270]
EQUATION OF HEAT
J'" if; (
Prove that v -_ " 'here.Ll.
2 X U(X, t) = .j7T
2
X ) e-s' d;, 4;2
t-
1 / I :!x 'I,f.
°
7. Prove that the solution of the equation of heat in t ~ which satisfies the conditions u(x,O) = 1 (x> 0), u(x, 0) = -1 (:1: < 0)
x! ]• T2 [ 1-Erfc-
u(x,t) =
IS
2 'Ii t
'I 7T
8. Prove that the solution of the equation of heat in x satisfies the conditions u(x,O)
=
O(x > 0), u(x, t)
IS
u(O,t)
=
1 (0 < t < T),
2
x
'1m
'I'
t
~7T [Erfc 2
'I
= -,- Erfc -2I =
'I
(0
T)
T).
I x T] (f> T).
2 'I (t-
)
Verify that the solution is continuous and continuously differentiable. 9. u,(x, t) satisfies the equation of heat in
ditions u(x,O) = f(x) (0 < x < a),
°
~ x ~
0, t
u",(O, t) = u",(a, t) =
~
0, under the con·
°
(t > 0),
wheref(x) is integrable. Prove that u(x,t) =
'" n7TX tao + L;ane-n''''t/a'cos-,
a
1
where
n7Tx tao + :E'"1 an COSa
is the Fourier half.range cosine series for f(x). 10. Show that the solution of the equation of heat in x > 0, t > Osuch that u(x,O) =f(x) (x> 0),
is where
u",(O,t)-hu(O,t)
=
°
(t > 0)
u(x,t) = Jo'" {f(;)k(:/:-f"t)+g(;)k(x+;,t)}d;, g(x) = f(x)- 2he- hx
J:
f(;) eltsdf,.
APPENDIX Note 1. Analytic functions The function !(x,y) of two real variables is said to be an analytic function regular in a neighbourhood of (xo, Yo) if it can be expanded as a double series 00 Z; amn(x-xo)m (Y_Yo)n m,n=O
absolutely convergent on a disc (x - X O)2 + (y - YO)2 < R~. If (xO+R1,Yo+R1) is a point ofthis disc, {amnRf+n} is a bounded double sequence. Hence if R < R 1 the double series is uniformly and absolutely convergent on the square Ix-xol ~ R, IY-Yol ~ R. The series can therefore be differential term-by-term on that closed square as often as we please. The definition can be extended in the obvious way to any number of variables.
Note 2. Dominant functions Suppose that, by some formal process, we have obtained a double series 00 Z; amn(x-xo)m(Y-Yo)n m,n=O
and that there exists a double sequence of positive numbers {A mn } such that the double series 00
Z; Amn(x- xo)m (Y- Yo)n
m,n=O
is convergent absolutely and uniformly when Ix - xol ~ R, Iy - Yol ~ R and that lamnl < A mn for all m and n. Then, by the comparison test, 00
Z; amn(x-xo)m (Y-Yo)n
m,n=O
is also uniformly and absolutely convergent when Ix-xol ~ R, IY-Yol ~ R. If we denote the sums of the two series by! and F, we say that F is a dominant (or majorant) function of!, and we write ! ~ F. If, on the same square,! ~ F, g ~ G, then !+g~F+G, !g~FG. [ 271 ]
272]
Also
APPENDIX
of of ox ~ ox'
of of oy ~ oy;
with similar expressions for derivatives of all orders. The definition can obviously be extended to any number of variables. If f(x, y) is an analytic function, regular in a neighbourhood of some point, the origin say, it is expansible as a double series ~amnxmyn
uniformly and absolutely convergent on a square Ixl ~ R, Iyl ~ R. The double sequence {amnRm+n} is therefore bounded, Iamn Rm+n I < M. It follows that
f~ ~M~'Z: = Also
M/(l-i) (1-~).
f~!:nM(:7n~)! ~: =
M /(1-~-~).
Note 3. Re~ular arcs A set of points in the plane defined by parametric equations x =f(t), y = g(t) (a ~ t ~ b), where f(t) and g(t) are continuous functions, is called an arc. If no point of the arc corresponds to two different values of t, the arc is said to be simple. If, in addition,f(t) and g(t) are continuously differentiable, the derivatives being one-sided at the end points, we shall call such a simple arc a regular arc. A regular arc has an arc length defined in the usual way. The definition also holds with the obvious changes for arcs in space. Note 4. Re~ular closed curves A set of points in the plane defined by parametric equations x=f(t),
y=g(t)
(a~t:(b),
when f(t) and g(t) are continuous, is called a simple closed curve if no point corresponds to two different values of t except that f(a) =f(b),
g(a) = g(b).
If the simple closed curve is a chain of a finite number of regular arcs we shall call it a regular closed curve. A regular closed curve may have a finite number of corners; it has a piece-wise continuously-turning tangent. A regular closed curve in the plane divides the plane into two domains, a bounded interior domain and an unbounded exterior domain.
[273
APPENDIX
Note 5. Green's theorem in the plane Let D be the domain bounded by a regular closed curve 0. If (i) u and v are continuous in D, the closure of D, (ii) U x and vy exist and are bounded in D, (iii) the double integrals of tt x and VII over D exist, then
° °
°
where (l,m) are the direction cosines of the normal to drawn out of D. The fact that the normal to may suddenly change direction at a finite number of points of does not affect the truth of the result. And the result is evidently true if U x and vy are continuous in D. There is an alternative form of the result corresponding to Stokes's theorem in space, namely that Ic Pdx+Qdy = IID (Qx- P1J)dxdy,
°
where integration over is in the positive sense. . If D is bounded externally by a regular closed curve 01 and internally by a regular closed curve 02'
If
(ux+Vy)dxdy = I
D
c.
(lu+mv)d8+I (lu+mv)ds, c.
where (1, m) are the direction cosines of the normal to 01 or 02' again drawn out of D. The Stokes form is, in this case,
If
(Qx-Py)dxdy = I
D
c.
PdX+Qdy-I Pdx+Qdy, c.
where integration over 01 and over O2 are both in the positive sense.
Note 6. Surfaces A simple closed surface in three-dimensional Euclidean space is one which is topologically equivalent to a sphere. Two surfaces are topologically equivalent if each can be transformed into the other by continuous deformation. A simple closed surface is bounded and divides the whole space into a bounded interior domain and an unbounded exterior domain. A simple closed curve drawn on a simple closed surface divides the surface into two portions, which we call caps. A cap has parametric equations r = r(i\,,u) in vector notation, where each component is a
274]
APPENDIX
continuous function of A and fl. If r(A, j1) is differentiable, the vectors rIc and r ll are tangent to the cap, and N = (r,\ x r/J/lr,\ x rill
is a unit vector normal to the cap at the point of parameters A and fl. If rIc and r ll are continuous, the direction of N varies continuously as (A,fL) moves on the cap. "\Ye then call the cap a regular cap. If a simple closed surface is formed of a finite number of regular caps, we call it a regular closed surface.
Note 7. Green's theorem in space Let D be a domain bounded by a regular closed surface 8. If (i) U,V and ware continuous in 15, the closure of D, (ii) u x ' v y and 1Cz exist and are bounded in D, (iii) the integrals of u x ' v y and W z over D exist, then
where (l, m, n) are the direction cosines of the normal to 8 drawn out ofD. More generally, if D is bounded internally by a regular closed surface 8 0 and externally by a regular closed surface 8 1 , the triple integral is then equal to
(lu+mv+nw)d8+If (lu+mv+nw)d8, If s , . s, where (l, m, n) are still the direction cosines of the normal drawn out ofD.
Note 8. Summability a:J
The infinite series
La"
is said to be convergent with sum
8
if the
1
sequence {8,,} defined by 8n
= aO +al +a 2 + '" +a,,_1
tends to the limit 8 as n-7-ct:.:. If the series is not convergent, it may be summable in some other sense. If
[275
APPENDIX
it may happen that the sequence
{CTn }
tends to the limit
CT
as n-yoo.
00
If this is the case, the series
~
o
an is said to be summabIe by Cesaro's 00
mean, or summable (0,1), with Cesaro sum with sum 8, it is summable (0,1), and (0,1) is not necessarily convergent. 00
If the series
~
o
CT
=
If ~ an is convergent o But a series summable
CT.
8.
anxn has radius of convergence unity and has sum 00
f(x) when Ixl < 1, the series
~
an is said to be summable in Abel's
1
sense, or summabIe (A), if f(x) tends to a finite limit S as
X-y
1- 0;
00
S is called the Abel sum. If ~ an is convergent with sum o
sum is also
8,
8,
the Abel
by Abel's theorem on the continuity of power series.
00
If ~ an is summable (0,1), with sum o
CT,
its Abel sum is also
Note 9. Fourier series If f(O) is integrable in Lebesgue's sense over 0 Fourier series 00 tao + ~ (an cos nO + bnsin nO),
~
0
~ 211,
CT.
it has a
1
where
an =
~f2" f(O)cosnOdO,
11
0
bn =
~f2" f(O)sinnOdO.
11
0
The sequences {an} and {b n} are null-sequences, but this does not imply that the Fourier series is convergent. But the Fourier series is summable (0, 1) to the sum
t{f(O + 0) +f(O - OJ} for every value of 0 for which this has a meaning. If we assume that f(O) is periodic of period 211, the sum (0,1) when 0 = 0 is Mf( + 0) +f(211 - OJ}. In particular, the series is summable (0,1) to the sumf(O) at every point wheref(O) is continuous; it is summable (0, 1) tof(O) for almost all O. Since {an} and {b n} are null-sequences, the power series 00
tao + ~ (an cos nO + bn sin nO) x n 1
276]
APPENDIX
has radius of convergence unity. Since the series with x = 1 is summabIe (0,1) with sum f(O) at every point where f is continuous, it follows that . lim + (an cosnO+bnsin nO)Xn] =}(O) x-+l-O
[tao
I; 1
at every point where f is continuous. The Abel sum of the Fourier series isf(O) for almost all O.
BOOKS FOR FURTHER READING
Bateman, H. Partial Differential Equations of Mathematical Physics (Cambridge, 1932). Courant, R. and Hilbert, D. Methods of Mathematical Physics (New York, 1 (1953), 2 (1962)). This is the revised translation of Methoden der Mathematischen Physik (Berlin, 1 (1924),2 (1937)). Duff, G. F. D. Partial Differential Equations (Toronto, 1956). Epstein, B. Partial Differential Equations (New York, 1962). Garabedian, P. R. Partial Differential Equations (New York, 1964). Goursat, E. Course in Mathematical Analysis, 3 parts 1 and 2 (New York, 1964). This is the translation of tome 3 of Cours d'Analyse MatMmatique (Paris, 1923). Hadamard, J. Lectures on Cauchy's Problem in Linear Partial Differential Equations (Yale, 1923; reprinted New York, 1952). Hellwig, G. Partial Differential Equations, an Introduction (Waltham, Mass., 1964). Jeffreys, H. and B. S. Methods of Mathematical Physics, 3rd edn (Cambridge, 1956). Kellogg, O. D. Foundations of Potential Theory (Berlin, 1923; reprinted, New York, 1953). Petrovsky, 1. G. Lectures on Partial Differential Equations (New York and London, 1955). Sauer, R. Anfangswertprobleme bei Partiellen Differentialgleichungen (Berlin, 1952). Sneddon, 1. N. Mixed Boundary Value Problems in Potential Theory (Amsterdam, 1966). Steinberg, W. J. and Smith, T. L. The Theory of Potential and Spherical Harmonics (Toronto, 1944).
[ 277 ]
INDEX
adjoint linear operator, 77 analytic functions, 271 barriers, 180 boundary value problems, 45, 175, 193 Cauchy, problem of, 24, 44, 58 Cauchy and Kowalewsky, theorem of, 26,244 characteristics, 2, 28, 47 characteristic base curve, 25 characteristic strips, 6, 30 classification of second order equations, 34,39 complex variable, use of, 165
harmonic functions in the plane, 139 in space, 212 harmonics, spherical, 210 Harnack, theorems of, 158, 159, 161 heat, equation of, 50, 238 Helmholtz, formula of, 227 hyperbolic type, equations of, 16, 19, 34,54 Lagrange, linear first order equation of, 1 Lagrange and Charpit, method of, 7 Laplace, equation of, 131, 207 Laplace transform, use of, 242
descent, Hadamard's method of, 95 Dirichlet boundary value problem of, 45, 175, 193 principle of, 144 divergent waves, 200 dominant functions, 271
maximum principle for harmonic functions, 143 mean value theorem, 141,214,222
elementary solution of Hadamard, 189, 198 elliptic type, equations of, 16, 19, 34, 186, 207 Euler, Poisson and Darboux, equation of,98 existence theorem for the equation of heat, 249 for Laplace's equation, 175
parabolic type, equations of, 16, 34, 50, 238 Perron and Remak's solution of Dirichlet's problem, 175 Picard's method, 59 Poisson's integral, 153 potential theory, 131, 207
Neumann, problem of, 156, 167, 193 normal form of a second order equation, 33-42
first order equations, 1 systems of, 11, 14 Fourier series summabilityof,275 use of, 71, 155, 165 Fourier transforms, use of, 240 Gauss, mean value theorem of, 141, 214, 222 Green's equivalent layer, 133, 214 Green's function, 146, 150, 169, 216 Green's theorem, 273,274 Hadamard's method of descent, 95
radiation condition of Sommerfeld, 201, 229 reduced wave equation, 222, 225 regular are, 272 regular closed curve, 272 regular closed surface, 273 Riemann, method of, 77 Riemann-Green function, 79, 81 Riesz, method of Marcel, 107 second order equations, 24 classification of, 34, 39 normal form of, 33-42 self-adjoint linear operator, 78 spherical harmonics, 210 subharmonic functions, 175
[279 ]