Professional Documents
Culture Documents
Editors
JE. Marsden
L. Sirovich
M. Golubitsky
S.S. Antman
Advisors
G.Iooss
P. Holmes
D. Barkley
M. Dellnitz
P. Newton
Springer
New York
Berlin
Heidelberg
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Texts in Applied Mathematics
With 59 Illustrations
Springer
Brian Davies
Mathematics Department
School of Mathematical Sciences
Australian National University
Canberra, ACT 0200
Australia
Brian.Davies@anu.edu.au
Series Editors
JE. Marsden L. Sirovich
Control and Dynamical Systems, 107-81 Division of Applied Mathematics
California Institute of Technology Brown University
Pasadena, CA 91125 Providence, RI 02912
USA USA
All rights reserved. This work may not be translated or copied in whole or in part without the written
permission of tbe publisher (Springer-Verlag New York, Inc., 175 Fiftb Avenue, New York, NY 10010,
USA), except for brief excerpts in connection witb reviews or scholarly analysis. Use in connection witb
any form of information storage and retrieval, electronic adaptation, computer software, or by similar or
dissimilar metbodology now known or hereafter developed is forbidden.
The use of general descriptive names, trade names, trademarks, etc., in tbis publication, even if the
former are not especially identified, is not to be taken as a sign tbat such names, as understood by the
Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone.
9 8 7 6 5 4 3 2 1
ISBN 978-1-4419-2950-1 ISBN 978-1-4684-9283-5 (eBook)
DOl 10.1007/978-1-4684-9283-5
Springer-Verlag New York Berlin Heidelberg
A member of BertelsmannSpringer Science+Business Media GmbH
Series Preface
It is more than 25 years since I finished the manuscript of the first edition of
this volume, and it is indeed gratifying that the book has been in use over
such a long period and that the publishers have requested a third edition.
After such a long time, a simple coat of paint will not substitute for a more
thorough renovation; in fact, I have pondered for some considerable time
the question of what form a new edition should take. Consequently, this
volume is about 20% longer than the previous one and organized somewhat
differently, into chapters, rather than into four parts, each divided into
sections.
That said, I should state the principles by which I was guided in preparing
the present edition. They are:
(i) To abide by the precept set out in the Preface to the First Edition:
"to produce a work whose scope is selective rather than encyclopedic [so
as not to] make the book too long."
(ii) To include applications that are both interesting and illustrative of
the wide utility of integral transforms.
(iii) To provide a volume that can be used either in teaching an advanced-
level course or for self-study.
The first chapter is largely new, giving a rather brisk account of those
aspects of complex variable theory that will be needed in the sequel. It
replaces the appendixes of the previous editions. I have crystallized this
material over the past few years, when teaching advanced-level students.
Whereas, in the 1980s, one could require such students to have a good
viii Preface to the Third Edition
6 Integral Equations 97
6.1 Convolution Equations of Volterra Type 97
6.2 Convolution Equations over an Infinite Range . 101
6.3 The Percus-Yevick Equation 104
Problems . . . . . . . 107
Bibliography 357
Index 363
1
Functions of a Complex Variable
z = x+iy,
x = Re(z), y = Im(z).
We shall refer to the set of all complex numbers as the complex plane, and
denote it by <C.
An alternative polar form is often used, using the modulus Izl and argu-
ment 0 = arg(z):
This only defines the argument to within a multiple of 27f, a fact of great
importance at nearly every turn. Multiplication is most easily expressed
this way:
where x(t), y(t) are real-valued differentiable functions of the real parame-
ter t, with the further condition that x'(t) and y'(t) must not be simultane-
ously zero.2 A finite number of discrete nonsmooth points on an otherwise
smooth curve may be tolerated by joining together a finite collection of
smooth curves; such a curve will be called piecewise smooth. More often
we shall simply refer to such a curve as a contour oj integration.
Differentiation
For functions u of two real variables, the most useful definition of differenti-
ation goes as follows. Given a point (x, y) contained in a region G in which
u is defined, u is differentiable at (x, y) if there exist a pair of coefficients
¢(x, y), 'l/J(x, y) such that
where
IRI/II(ox, oy)11 -+ 0 as 11(8x,8y)ll-+ O.
au = rI. au = ./.
ax 'P, ay 'P'
The converse does not apply without imposing restrictions on the continuity
of the partial derivatives.
It is convenient to define differentiation of a complex-valued function of
a complex variable in the same way. Given a point z contained in a region
G of C in which J is defined, J is differentiable if there exists a (complex-
valued) coefficient ¢(z) such that
where
IRI/iozi --+ 0 as IOzl --+ O.
Differentiability in a region is defined as differentiability at every point of
the region. It is more usual to write
Cauchy-Riemann Relations
Denote the real and imaginary parts of J as u and v as above. Taking the
real and imaginary parts of the definition (1.2), we see that u and v are
differentiable functions in the plane, and that
Simple Powers
Obviously, the functions zn, n 2: 0, are analytic in all of C; when n < 0, zn
is analytic except at the origin, where it is singular. Moreover,
dz n n-l
dz = nz .
Fractional powers are more difficult. For fractional a = min, zO< is de-
fined as the solution(s) of the equation (n = zm. Expressing z and ( in
polar form with Izl = r, arg(z) = e, 1(1 = p, arg(() = ¢, this is the pair
p = rcx, ¢ = ae.
The problem lies in the equation for the argument. An arbitrary multiple
of 27r may be added to e = arg(z) without affecting the meaning of z, but
when a is not an integer, this gives inequivalent values for ¢ = arg((). In
such a case, the function ( = ZCX is not differentiable at the origin, which is
therefore a singular point.
We may decide to choose a particular solution ¢o = a(e o + 27rk) for
a particular value eo, which fixes a meaning for ZCX along the ray r 2: 0,
e = eo. If we extend the solution away from this ray by choosing ¢ to be
continuous in e, then the two (angular) directions for this extension will
e
meet on some new ray along which differs by 27r (making z continuous
across this ray) but ¢ differs by 27ra. Because the latter is not a multiple
of 27r, the function ( = ZCX cannot be extended across this new ray. The
singular point is z = ( = 0; one circuit of it leads from one branch (solution)
of ( to another, for which reason it is called a branch point. In such a case,
a convenient method to obtain an analytic function in an open domain is
to delete a ray from the complex plane. Since we include the branch point
in this deletion, what remains is again an open set. The deleted curve is
known as a branch cut; what remains is the cut plane.
As an example,
Elementary Functions
The exponential function may be extended to the complex plane in the
obvious manner,
(= lnz z = exp(().
z'" = exp(alnz).
d r r 81
dp ir I(z,p) dz = ir 8p (z,p) dz. (1.6)
l X
!,(t) dt = I(x) - I(a)
extends to the complex plane. However, the value will depend on the choice
of the contour relative to the singularities of the function, as we shall see.
Green's Theorem
The fundamental theorem of calculus extends to the real plane as follows.
If r is any piecewise smooth nonintersecting closed curve in the plane,
if M(x, y) and N(x, y) are a pair of functions differentiable in a simply
connected region containing r,
and if G is the interior of thenr,
fa (~~ - 88~) i dA = (Mdx+Ndy).
Here, the meaning of the symbol f is that the direction of integration along
the closed contour r is taken so that the points of G are always to the left
in the direction of travel. We shall call this the positive or anticlockwise
direction.
This result has an important extension which we often use. If r is a finite
collection of piecewise smooth nonintersecting closed curves rn that form
the boundary of an open region G, and if the direction of integration along
each rn is as above (so that some may be traversed anticlockwise, some
clockwise), then the result still applies.
8 1. Functions of a Complex Variable
Cauchy's Theorems
Suppose now that G and r are as above, and that 1 = u + iv is an analytic
function. Then, by virtue of Green's theorem and the Cauchy-Riemann
relations (1.4),
l Z
!'(() d( = 1(z) - 1(a)
i zndz,
where r is a nonintersecting closed curve that circles the origin once in the
anticlockwise direction. Since zn is analytic except possibly at the origin,
Cauchy's theorem allows the contour to be deformed to a unit circle, Izl = 1,
parametrized as
dz = i eiiJ dB, °: :; B :::; 21f.
Therefore, the integral is
i 1
o
27r
ei(n+l)o dB = {21fi '
0,
n = -1,
n #-1.
(1.7)
Next, let the contour r remain as above, but replace the integrand by
1(z) / z,where 1 is a function analytic in a region G containing r. Then
r may be deformed to a circle of arbitrarily small radius 6 > 0, and the
function may be expanded using (1.2), with the result that, for any E > 0,
11(z) - 1(0)1 < E for sufficiently small 6. Consequently, by choosing such a
6,
J 1(z) dz = J 1(0) dz + R, IRI < 21fE.
Ir z lIzl=8 z
1.3 Analytic Continuation 9
Infinite Differentiability
The last formula leads to a very strong result. Since we require that j
be analytic in a region G containing the closed contour r,
the integral is
uniformly continuous in a for any small disc contained entirely inside the
contour. It follows that we may differentiate, with respect to this parameter,
under the integral sign. Moreover, by the same reasoning, the process may
be iterated. Changing a to z and using ( for the integration variable, we
obtain in this way
The real and imaginary parts of an analytic function are therefore harmonic
junctions, that is, they satisfy Laplace's equation in the variables x, y.
(ii) If R is the maximum value for which the series converges, then it is
called the radius of convergence.
(iii) The function J(x) defined as the sum of the series is differentiable in
the open interval Ix - al < R. Moreover, the derivative may be obtained
by differentiating the series term-by-term.
(iv) The differentiated series has the same radius of convergence as the
original-this implies that the function is infinitely differentiable.
(v) Term-by-term comparison shows that the power series coincides with
the Taylor expansion, that is, an = JCn) (a)/n!.
Power Series
The above facts generalize immediately to the complex case; indeed the
generalization explains some curiosities found in the real case. The only
differences are that we consider series with complex coefficients,
L
00
and that R is the maximum value of Iz - al for which the series converges.
Then it converges, is infinitely differentiable, and provides the Taylor ex-
pansion of J(z), in the open set
Iz - al < R.
In fact, an alternative definition of an analytic function is that it is a
function J(z) for which there is such a power series expansion, with finite
radius of convergence, at every point of some open region.
As a simple example, consider the function
Iz - al < 11- al = R a ,
which is dependent on the choice of a. In fact, Ra is exactly determined by
the distance of the singularity from a.
1.3 Analytic Continuation 11
Overlap of Regions
A crucial property of analytic function theory is related to uniqueness. Sup-
pose that iI, h are two functions analytic in regions Gt, G 2 , respectively.
Suppose further that
(i) the intersection H = G 1 n G 2 is an open region;
(ii) the functions agree on the overlap; iI(z) = h(z), z in H.
Then there is a unique analytic function J, defined on the union of the
regions G = G 1 U G 2 , which takes the values iI in G 1 and h in G 2 .
Normally one starts with one such pair (iI, G 1 ) and then looks for the
second pair. By this process, h is said to analytically continued from G 1
to a function J defined in the larger region G.
Simple Examples
As an immediate example, consider (1.9) again, setting a = O. Suppose we
start with this power series, that is, a function defined in the region Izl < 1
by the power series
00
J(p) = 100
e- pt2 dt.
Provided that Re(p) > 0, the integral is convergent and defines a function
Re(p) > O.
12 1. Functions of a Complex Variable
The formula on the right-hand side can be made into an analytic function
in the cut plane in many different ways, since there is freedom in choosing
the cut. In order for this construction to constitute analytic continuation
of the integral, however, it must agree in the half-plane Re(p) > 0, which
places some limitations on the choice. For example, choosing I arg(x)I < 1f
gives an analytic continuation.
Ei(z) = 1
z
00 -t
~ dt.
t
(1.10)
Ei(z) = 1,
1
00 e-t
-dt+
tot
11 -liz
--dt-
e- t
0
e- t -1
--dt+
t
-dt,
zt
11 1
then the sum of the first two integrals is a constant; on substituting t = l/u
in the first integral and t = u in the second, we find that this constant is
-,,(, where
"( =
o
1
1 1 - e- U - e- 1 / u
u
duo
(_1)n z n
L
00
The series converges for all z, defining a function analytic in all <C. Conse-
quently, we have isolated the behavior at the branch point explicitly.
1.4 Residue Theory 13
Laurent Expansion
At a pole of order n, we have that the function ¢(z) = (z - a)n J(z) is
analytic in the region Iz - al < f. We may therefore expand ¢ in a Taylor
series
L ¢k(Z - a)k.
00
¢(z) =
k=O
This gives an expansion for J about the same point,
L
00
expansion. No matter how high the order of the pole, the residue always
relates to the first singular term, and the integral depends solely on that
coefficient.
For a simple pole, the residue is defined as
Often, this will require some ingenuity for its evaluation. For example, the
function J(z) = l/(e Z -1) has a singularity at the origin and by l'Hospital's
rule
· m
1I ( z --0-) = l
z-tO e Z -1
1· m - = ,
z-tO eZ
(1) 1
which shows that the singularity is a simple pole with residue +1.
Replacing this example by J(z) = l/(e Z -1 - z), the above limit is infi-
nite, so it is not a simple pole. In fact, it has order 2, as may be shown by
evaluating lim z -to(z2 J(z)), using l'Hospital's rule twice. To find the residue,
we need the second coefficient in the expansion of Z2 J(z) about the origin,
which must be taken as a limit
lim { -d ( z2 )} = lim { z 2 eZ -2 - z - z eZ } 2
= --.
z-tO dz eZ -1 - z z-tO (e z -1 - z)2 3
The last step requires no fewer than four applications of l'Hospital's rule,
so considerable care is needed even for simple examples.
In general, for a pole of order n, the residue is the limit
n 1
Res(f) Iz=a
1
= (n _ I)! l~ { dzd n-- 1 ((z - at J(z)) ,
} (1.12)
M eromorphic Functions
A function analytic in a region G, save for isolated poles that have no finite
accumulation point, is said to be meromorphic. This definition does not
preclude an infinite number of poles, but it does rule out that there should
be an infinite number in any bounded region; otherwise there would be at
least one finite accumulation point.
For example, the function
sin 7rZ
is meromorphic, having simple poles at z = n, -00 <n< 00. The residue
at z = n is (-l)n. However, the function
1
e 1 / z -1
1.5 Loop Integrals 15
--
x
x
x
r
has poles at z = 1/2nin, -00 < n < 00, which accumulate at the origin.
The latter is in fact an essential singularity, a concept we will not really
need, and the function is not meromorphic in any region that includes the
origin. On the other hand, excluding a small disc centered at the origin
makes the function meromorphic; in fact, it has now only a finite number
of poles.
Suppose now that r is a closed contour circling poles of a function J(z)
which is meromorphic in a region containing r. Suppose also that the poles
are at positions an, and that the corresponding residues are (Tn. To evaluate
the integral of J around r, we can use the fact that J is analytic except
at the poles to deform the contour so that it consists of n small closed
contours, each enclosing a single pole, and a number of joining segments,
each traversed once each way (see Figure 1.2). The integrals along the latter
cancel, and we have the residue theorem, that is,
i r
J(z)dz = 2ni L.:
n
(Tn·
Square Roots
i
Consider the integral
(z2 - 1)1/2dz, (1.13)
where the branch cut is from -1 to 1, r circles the cut once in the positive
direction, and the sign is determined by taking the positive square root for
Re(z) > 1. Since the function is bounded as we approach the cut, there is
no problem in writing the integral as a sum of integrals taken just above
16 1. Functions of a Complex Variable
Im(z)
Re(z)
then the values of the integrand taken just above and just below the cut,
which we denote by f±(x), are (for E -+ 0)
f±(x) = ±iV1- x 2,
so that
1 (z2 _1)1/2 dz =
Ir
1-
1
1
iV1- x 2 dx + 11 -iV1- x 2 dx
-1
1 (z2 _
Ir
1)-1/2dz = 1-
1
1 -i(l - x2)-1/2dx + 11 i(l _ x2)-1/2dx
-1
= 2i 11 (1 - X2)-1/2dx = 2i7r.
-1
The main difference, in this case, is the treatment of the (infinitely) small
semicircles joining the two line segments above and below the cut. On a
circle of radius E, the integrand is bounded by a multiple of C 1 / 2 , which
becomes large as E -+ O. However, the integral is bounded by the product
of this bound and the length of the semicircle, which is proportional to Eo
This wins out and the integral contributes nothing.
1.5 Loop Integrals 17
Im(z)
Re(z)
J o+
-00 ee t
dt.
The notation -00, 0+ for the limits means that the contour begins and
ends at p = -00, and circles the origin once in the positive direction, as in
Figure 1.4. This is a standard notation for loop integrals around a single
branch point. We can shrink the contour to encircle the branch cut provided
that the contribution around the small circle enclosing the origin tends to
zero as the circle is shrunk. Denote the radius of this circle by E; then the
integral will be bounded by
Since z is held fixed while E --+ 0, the integral contributes nothing provided
that Re(z) > -1. Just above and below the cut, we set t = rexp(±i7f),
giving
(1.14)
An Application
As an illustration of the power of Liouville's theorem we shall prove the
following formula: 7
_7r__ 00 (_1)n
sin7rz - L
z+n·
n=-oo
(1.15)
The first step is to notice that both sides have a simple pole, with residue
+1, at the origin. Both sides are also periodic, undergoing a simple sign
change under the translation z ~ z + 1. It follows that the residues match
at every pole.
Neither function is entire or bounded, because of the poles. Let ¢(z)
denote their difference; it is an entire periodic function. To show that it is
bounded, it is only necessary to show that it is bounded as Im(z) ~ 00.
This is manifestly true for 7r / sin 7rZ. For the infinite sum, write z = x + iy
and fix 0 ~ x ~ 1, while y will become large. Split the sum into 2:;;=-N'
which obviously has the limit zero as y ~ 00. We must show that the tail
of the series is also bounded for fixed N. For two adjacent terms, we have
7Naturally, there are simpler ways to obtain this result, for example, by setting
a = z and t = 0 in the Fourier series of cos at, -7r < t < 7r, 0 < Re(a) < 1,
followed by analytic continuation.
1. 7 The Factorial Function 19
Rational Functions
After constant functions the simplest functions are polynomials. Generally
they are not bounded. But, given a polynomial
n
Pn(z) = L akZn-k,
k=O
since it has the value n! = n· (n -1) ... 2·1 when z = n is a positive integer.
As an improper integral, (1.16) is uniformly convergent for Re(z) > -1,
the singularity at z = -1 being caused by divergence at the lower limit.
It is easy to effect analytic continuation of z! to the entire complex plane,
proving thereby that it is a meromorphic function, and determining its
singularity structure completely. To this end we break the integral into two
11 1
parts,
z! = X Z e- X dx + 00
X Z e- X dx
= 11 X Z e- X dx + D(z),
whereupon the second part, denoted D(z), is quite clearly an entire func-
tion. Furthermore, we may expand the exponential in the other integral
(1.17)
This series is obviously convergent except at the places where one of the
terms has a simple pole. Explicitly, the poles are at z = - (n + 1), n Z
0, with corresponding residue (-1)n/n!. It follows that the function z! is
meromorphic, being the sum of such a function and an entire function, and
that it inherits the singularity structure of (1.17).
Functional Relations
The factorial function satisfies a number of important functional relations.
The most prominent three are
(-1/2)! = V1f.
Another consequence of (1.19) is that z! has no zeros since sin 7rZ is an
entire function whose zeros match exactly the poles of z! (- z - 1)!.
Derivation of (1.18)
Integrating (1.16) by parts, with Re(z) > 0, gives
Derivation of (1.19)
In the strip -1 < Re( z) < 0, we may evaluate the integrals that define the
product z! (-z - I)! as follows. First, write
z! (-z - I)! = la
oo la oo x z y-z-1 e-(x+y) dx dy,
u = x+y, v = x/yo
We then find that
Now break this integral into f01 plus f1°° , and make the substitution v --+
l/v in the latter. Expanding (1 + V)-l and integrating term-by-term in
each integral gives the expansion
z!(-z-I)!= L
00 (_I)n+l
. ,
n=-cx:::>
z+n sm7rZ
where we used (1.15). The restriction on Re(z) may now be lifted by ana-
lytic continuation.
t = 2uv, W = u - v,
22 1. Functions of a Complex Variable
lead to
22z + 1 z! (z + 1/2)! = 1 lu
o
00
0
v 2z + 1 e- U
v u- v
dv du
=1
00 100 + e- dudv
V 2z
~
1 U
o vu-vv
=1 v + e- dv 100 -e-- dw
00
o
2z 1 V
0 fo
W
1-000+
t Z et dt = -2i sin 7rZ . z!, Re(z) > -1.
-1 = - 1
z! 27ri_
100 0
+ C(z+l) et dt. (1.21)
¢(t, z) = t - (z + 1) In t,
we have tc = z + 1 and
¢(tc, z) = (z + 1){1 -In(z + I)}, ¢"(t c , z) = 1/(z + 1).
Deforming the contour to pass over this critical point gives the asymptotic
result 10
lnz! '" (z + 1/2) lnz - z + (1/2) In(27r),
(1.22)
z--+oo, I arg(z) I <7r.
This result is stated here merely for convenience; the complete asymptotic
expansion is derived in Section 13.3 using the Mellin transform.
Beta Function
Related to the factorial function, and often occurring in applications, is the
function
B(p, q) = 1 o
00 p-1
( x ) P + dx.
l+x q
In terms of the factorial function, the beta function has the form
B( ) = (p - I)! (q - I)!
p, q (p + q - I)! '
a result whose derivation may be found in many places (see also Prob-
lem 2.5).
Re(s) > 1.
Re(s) > O.
After summing both sides and reversing the order of summation and inte-
gration, which is permitted for Re(s) > 1, this gives
(s - I)! ((s) = 1 00
o
8-1
_x_ dx,
e X -1
Re(s) > 1. (1.23)
Analytic Continuation
Consider the loop integral
-
1
27ri
J O+ z8-1
---dz
_ooe- z -1 '
(1.24)
24 1. Functions of a Complex Variable
where the contour is the same as the one shown in Figure 1.3. For Re(s) > 1,
we can shrink the contour about the branch cut to get
Since the loop integral is manifestly an entire function of s, this shows that
((s) is analytic except possibly where (-s)! has poles.
where Bn are the Bernoulli numbersY Using this in the present case to
construct a Laurent expansion of the integrand in (1.25) we find that when
s = 1 - m, m = 0,1, ... , we have
- - -_ z -(m+1){ -1 - -z
-z-m + 2: (-1)nBnz2n} .
00
e- Z -1 2 (2n)!
n=1
Excluding for the moment the case m = 0, we can evaluate (1.25) immedi-
ately to give
((0) = -1/2,
(( -2n) = 0,
((1- 2n) = (-1)nB n /2n, n = 1,2,3, ....
11 If this series is not familiar, then it is equally valid to note that such a series
exists and regard it as the generating function for the Bernoulli numbers.
1.8 Riemann's Zeta Function 25
Im(z)
Re(z)
In the limit that N --+ 00 the integrals (1.27) differ from the negative of
the loop integral (1.24) only by the integrals around the circular boundary.
Applying the restriction Re( 8) < 0, these boundary integrals vanish as
N --+ 00, while the sum of residues is convergent. This gives the relation
Asymptotic Forms
It is important to know the asymptotic behavior of ((8) for large 8. For
Re(8) > 1, (1.23) can be rearranged as follows:
1
((8)= (8-1)!J o
r= x1-e-e-
s- 1 x
x (l_e- X +e- X ) dx
= 1 + 1
(8 - I)! 0
1= x s - 1 e- 2x (1- + 1 - -1) dx
1=
x 1 - e- x x
= 1 +-
21 --s
+ 1 x s - 1 e- 2x ( 1 - -1) dx.
8 - 1 (8 - I)! 0 1 - e- x x
In this chapter, we give the definition of the Laplace transform and derive
some of its more important properties, including a result on its asymptotic
behavior known as Watson's lemma. The results given in this chapter may
be found in many places. Some classic books are Ditkin and Prudnikov [20],
Doetsch [22], and Widder [73]. More recent references include Bellman and
Roth [10], Guest [28], Schiff [52], and Watson [69].
is called the Laplace transform of f(t), provided that the integral exists. We
shall confine our attention to functions f(t) that are absolutely integrable
on any interval 0 ::; t ::; a, and for which F((3) exists for some real (3. It
may readily be shown that for such a function, F(P) is an analytic function
of p for Re(p) > (3, as follows. First, note that the functions
are analytic in p; and then that, as T ---+ 00, ¢(p, T) converges uniformly to
F(P) in any bounded region of the p plane satisfying Re(p) > (3. It follows
28 2. The Laplace Transform
from equation (1.6) that F(p) is analytic in the half-plane Re(p) > a =
inf (3. The constant a (the minimum value of (3) is known as the abscissa
of convergence.
As important simple examples of Laplace transforms, we have the fol-
lowing:
(i) The Heaviside step function:
1, t > 0,
h(t) = { (2.2a)
0, t < 0,
H(p) = 1 00
e- pt dt
F(p) = 1 00
eiwt e- pt dt
= l/(p - iw), Re(p) > 0. (2.3b)
°
exhibit only a simple pole and are meromorphic in C; in the case of (2.4b)
there is a branch point at p = except for the special case that I = n is
an integer, when we have a pole of order n + 1.
Linearity
If we consider the linear combination
n
I(t) = L aklk(t),
k=l
n
C[/] = L akC[Ik]· (2.6)
k=l
C [ibI 1 ib
dx = C[/] dx.
The distinction we have made between the value of f at 0 and the limit of
f(t) as t -+ 0 is of importance in problems where there are discontinuities
at t = O. In many problems, initial values of functions are specified with
the implied meaning that they are limiting values for small t, and the
distinction becomes unimportant and may be neglected. By repeating the
procedure of integration by parts, we may derive the general result
n
£[J(n) (t)] = pn £[f] - L:>n-k f(k-l) (0+). (2.7)
k=l
(2.8)
G(p) = 1 00
e- pt dt 1t f(s) ds
= 1 00
f(s) ds 1 00
e- pt dt
11
(2.9)
=- 00
f(s) e- PS ds
p 0
1
= -F(p),
p
where the real part of p must be sufficiently large to ensure that all of the
2.2 Important Properties 31
= e- qt dq
00 00
f(t)dt (2.10)
= 1 00
F(q) dq,
which is valid provided the integrals exist. Both of these procedures may
be iterated to give more general results, which we will not list here.
Translations
From the definition (2.1), we have the simple translation relation
Cleat f(t)] = 1 00
f(t) e(a-p)t dt
(2.11 )
=F(p-a).
Let 7 > 0, and suppose that f(t) = 0 for t < 0; then
C[f(t - 7)] = 1 00
f(t - 7) e- pt dt
= 1 00
f(s) e-p(S+T) ds
= e- PT C[J(t)].
This result applies only to translations to the right since we require 7 > 0;
in particular, the inverse Laplace transform of exp( -p7)F(p) , where F(p) =
C[f(t)], will give f(t-7) for t > 7 and zero 2 for t < 7 provided that 7 > O.
For translations to the left, we have ( 7 ) 0 again)
C[f(t + 7)] = 1
00
f(t + 7) e- pt dt
= 1
00
f(s) e-p(S-T) ds
2The fact that the inverse gives zero will be proved in the next chapter.
32 2. The Laplace Transform
Convolutions
The convolution3 9 = fI * h of two functions fI (t) and h (t) is defined by
Now we take the Laplace transform of g(t), and by interchanging the order
of integration and writing u = t - s, we obtain
= looo fI(s) ds 1 00
h(t - s) e- dt pt
= looo !1(s)e- PS ds looo h(u)e-PUdu
= Fl(P)F2(p),
Thus, the transform of a convolution is simply the product of the individual
transforms, a result of considerable importance. Obviously, this result can
be iterated to obtain a connection between the n-fold convolution of n
functions and the product of the transforms of these functions.
w (2.13)
and
1 . t 1 . t
.c[coswt] = -.c[e'W ] + -.c[e-'W ]
2 2
P
.e[rl sinwt] = 1 00
.e[sinwt] dq
= 1 p
00
q2
w
+ w2 dq
= arctan(wlp)·
l
(iv) Finally, let
z
Si(z) = Si; t dt;
F(p) ~ f(O) 1 00
e- pt dt
(2.14)
= f(O)lp, Ipl » 1.
Definitions
If two functions f(x) and g(x) satisfy the relation4
then we say that they are asymptotically equal as x --+ xo, and write
In the event that x is a complex variable, we may need to add some re-
striction about the way in which x approaches Xo, for example,
lim {f(x)/g(x)}
X-+Xo
= 0,
then we write
f(x) = o(g(x)), (2.17)
and if If(x)/g(x)1 is bounded as x approaches Xo, then we write
f(x) = O(g(x)).
In this book, we shall frequently use the notations (2.16) and (2.17); the
small 0 notation (2.17) will not generally occur.
Asymptotic Expansion
An expansion of the form
00
4For treatments of this subject, see, for example, Dingle [18] or Olver [49].
2.4 Asymptotic Properties: Watson's Lemma 35
Watson's Lemma
We will now state and prove an important result, of which (2.14) is a special
case, linking the asymptotic expansion of a function f(t) about t = 0 with
the asymptotic expansion of F(P) as p -7 00. Suppose that f(t) has the
expansion
00
t -7 0,
v=l
- 1 < Re(>'d < Re(>'2) < ... ,
then F(P) has the corresponding asymptotic expansion
>.'
F(P) "" " a v V·
00
Ipl-7oo,
L...J p>'v+1' (2.19)
v=l
- 7r/2 < arg(p) < 7r/2.
Note that the effect of the restriction I arg (P) I < 7r / 2 is to ensure that Re (p )
becomes infinite as Ipi does in this sector.
To derive the stated result, we introduce functions fn(t) by
n
fn(t) = f(t) - L avt>'v,
v=l
>.'
F(p) = L n
a~v:~ + £[fn(t)].
v=l p
Also, we know that there must be some real value a for which the integral
defining F(P) converges, and we use this constant to define the functions
and
11~ fn(t) e- pt dtl = I(p - a) 1~ ¢n(t) e-(p-a)t dtl
Anlp- al
< R e (p ) -a exp{ -(Re(p) - a)t n }.
This latter integral tends to zero exponentially as p tends to infinity in the
given sector; consequently (2.20) shows that
and Watson's lemma (2.19) is proved. The result must be used with cau-
tion. It gives information about the behavior of F(P) for large p which is
consequent upon the behavior of f(t) for small t. The question of a converse
implication is discussed in Chapter 3.
Problems
2.1 Deduce the following general relationships;5 also determine what con-
ditions (if any) are required on the functions f or 9 for their validity.
(iii) If f(t) = I~ u- 1g(u) du, then F(P) = p-1 IpCXl G(q) dq.
(iv) If f(t) = ftCXl u- 1g(u) du, then F(p) = p-1 I6 G(q) dq.
(v) IOCXl t- 1f(t) dt = IOCXl F(P) dp.
F(p _
)- ~{ p- b
2 + p+b
2
}.
2 (p-b) +a 2 (p+b) +a 2
(viii) f(t) = It OO
u- 1 e- U du, F(p) = p-lln(p + 1).
(i) 10
00
rl sin wt dt.
a> 0, b> 0.
2.4 By taking the Laplace transform with respect to t, evaluate the follow-
ing definite integrals, for all real t:
(ii) 10 00
exp ( _x 2 - ::) dx.
2.5 Let
t",-l
t > 0, Re(a) > 0,
f(t) = {
'
0, t < 0.
tf3-1 t> 0, Re(,8) > 0,
g(t) = { '
0, t < 0.
B(p, q)t",+f3- 1 , t > 0,
h(t) ={
0,
t < 0,
where
38 2. The Laplace Transform
Show that the Laplace transform of the convolution £[(f * g)(t)] is equal
to £[h(t)]. Hence derive the formula 7
2.6 Use Watson's lemma to derive the following large p asymptotic expan-
sions:
7This anticipates the result that the Laplace transform has a unique inverse.
3
The Inversion Integral
In this chapter we state and prove the inversion formula for the Laplace
transform, and develop some of the more important techniques associated
with its definition as a contour integral.
I(w) = la
a+7r / w
f(t) eiwt dt + Ib
a+7r/w
f(t) eiwt dt
= la
a+7r / w
f(t) eiwt dt -
Ib-7r/w
a f(t + n/w) eiwt dt
Ib-
and
I(w) =
7r / w
f(t) eiwt dt +
ib f(t) eiwt dt.
a b-7r/w
ll lib
Thus,
I(w) = -
a
+7r / w f(t) eiwt dt + - f(t) eiwt dt
ll
2 a 2 b-7rW
b- w
+- {f(t) - f(t + n/w)} eiwt dt.
7r
/
2 a
Now it is easily seen, by a mean value theorem for integrals, that the first
two integrals are functions of asymptotic order w- 1 ; furthermore, since f(t)
is uniformly continuous, we may make the integrand in the third integral
arbitrarily small by choosing w sufficiently large. Therefore, we have proved
that
lim Ib f(t) eiwt dt = 0, (3.2)
w-too a
which is known as the Riemann-Lebesgue lemma.
Infinite Interval
The extension of (3.2) to the case where one (or both) limit is infinite will
also be needed. For example, if f(t) is an absolutely integrable function on
the interval 0 ::; t < 00, that is,
10 00
If(t)1 dt < 00,
then we may write
10 00
f(t) eiwt dt = loa f(t) e iwt dt + €,
€ < 1 00
If(t)1 dt,
and because of the absolute convergence, it is possible to make € arbitrarily
small by a suitable choice of a. Using (3.2) on the finite integral, we have
its extension to the infinite integral, that is,
o.
lim
J[00 f(t) e dt
iwt =
w-too o
3.2 Dirichlet Integrals 41
Dirichlet Conditions
We say that a function f(t) satisfies Dirichlet's conditions in the interval
a :s: t :s: b if it has at most a finite number of maxima, minima, and
points of discontinuity in the interval; furthermore, the function must take
only a finite jump at any discontinuity. The importance of the Dirichlet
conditions to the theorems we need is that it enables the interval a :s: t :s: b
to be subdivided into subintervals, in each of which the function is both
uniformly continuous and monotonic. This latter property allows us to use
the second mean value theorem for integrals, which states that if f(t) is a
monotonic function and g(t) a continuous function on the interval a :s: t :s: b,
then there is a point c in the interval such that
lb f(t)g(t) dt = f(a) l c
g(t) dt + f(b) lb g(t) dt.
f(a) l c
eiwt dt + f(b) lb eiwt dt = 0 (w- 1 ), w --+ 00.
Note however, that we may not set a = -00 or b = 00 in this result without
imposing some restriction on f(t) in addition to the absolute convergence
of Jooo If(t)1 dt or J~oo If(t)1 dt.
in the limit w --+ 00. Suppose now that a = 0, b > 0, and f(t) satisfies
Dirichlet's conditions on 0 :s: t :s: b. Choose c so that f(t) is continuous and
monotonic on the interval 0 :s: t :s: c; then an application of the Riemann-
Lebesgue lemma shows that
· lbf()sinwtd
11m t -- t = l
1m' l
Cf ()sinwt
t - - dt,
w-+oo 0 t w-+oo 0 t
42 3. The Inversion Integral
t f(t) sinwt dt
10 t
= f(O+) t sinwt dt + t {f(t) _ f(O+)} sinwt dt
10 10
l
t t
= f(O+) t sinwt dt + {f(c) - f(O+)} c
sinwt dt.
10 t h t
The second mean value theorem was used in the last step, so 0 < h < c.
Now it is a standard result that the integral
1o
00 sint d _
-
t
t--
7r
.1
hm
w-too 0
c sinwt dt
f(t)--
t
7r
= -2 f(O) + E,
lEI < If(c) - f(O+)IM.
lim
w-too
r f(t)sinwt
10
b
t
dt = ~ f(O+).
2
lim
w-too
1 -b
0
f(t) sinwt dt =
t
~ f(O-).
2
Finally, we note that these results are unchanged if b is set to infinity, since
the added integral tends to zero in the limit w ---+ 00 by the lliemann-
Lebesgue lemma.
FCp) = 1 00
f(t) e- pt dt (3.3)
3.3 The Inversion 43
1 jC+iR
h(t) = -2. F(P) ePt dp, c>a.
7f2 c-iR
We substitute for F(P) the integral (3.3), and interchange the orders of
integration, an operation that is valid because (3.3) is uniformly convergent
with respect to p when c> a, to transform the formula for fRet) to
If we break the integral into two, from -t to and to ° ° 00, and allow R to
become infinite, there are three possibilities, namely,
1
0, t < 0,
1
fRet) -t "2 J (o+), t = 0,
This result is generally known as the inversion theorem for Laplace trans-
forms, and is expressed by the reciprocal pair of equations
F(p) = 1 00
J(t) e- pt dt, Re(p) > a,
r r
R R
t> T t< T
where K and T are real constants. We may obtain a bound for the integral
around the semicircle by writing
11 r
F(p) e pt dPI < Kj7r/2 e±R(t-T) COS (;I de.
-7r/2
The upper sign pertains to closing the contour on the right, in which
case, since F(p) is analytic for Re(p) > (x,
f(t) = 0, t < T.
The lower sign pertains to closing the contour on the left, in which case we
may discard the integral around r in the limit R -+ 00.
where
m
A(p) = Lajpi,
j=O
n
B(p) = L bjpi,
j=O
and n > m. The need for such inversions arises particularly in the solution
of differential equations with constant coefficients (Chapter 4), and in tech-
niques of rational approximation (Chapter 19). Equation (3.4) is satisfied
with T = 0, so the only nontrivial case is t > O. Since the singularities of
the integrand are poles produced by the zeros of the denominator, we find
that the original function f(t) is the sum of the residues at these poles.
The evaluation of these residues may be performed by decomposing F(p)
into partial fractions and then inverting each term. In particular, if the roots
001,002, ... , an of B(p) are distinct then we may write immediately
Examples
If
1
F(p) = --p
14'
and
1. 1.
f(t) = "2 sm t - "2 smh t.
Again, if
p 1 1
F(p) = (p _ 1)2 = (p _ 1) + (p _ 1)2'
then
f(t) = (1 + t) et .
1
F(p) = 1 + p2'
then
(_l)n
L
00
2This is a special case ofthe Heaviside series expansion, which will be discussed
in Section 3.10.
3.6 Inversion of Meromorphic Functions 47
lim ~ jr
n-+<Xl 27r2 n
F(P) ePt dp = 0, t>T,
1 - e- pr
F(P)=--
p
The answer, of course, is h(t) - h(t - T), which is zero outside the interval
o~ t ~ T, with the value +1 in the interval 0 < t < T. We want to obtain
this result from the inversion integral; however, F(P) does not satisfy the
bound (3.4) for any value of T. In fact,
Re(p) -+ +00,
but
Re(p) -+ -00.
3The reason for choosing a discrete sequence of contours, rather than allowing
R to vary continuously, is to avoid having poles lying on the contours.
48 3. The Inversion Integral
It follows that we may close the contour to the right for t < 0, giving zero,
and to the left when t > T, giving
which is also correct. But, to get the inverse in the interval 0 < t < T, we
must split the transform into two parts, one satisfying (3.4) for T = 0, the
other satisfying it for T = T. Following this, and only then, one loop will
be closed to the left, the other to the right, giving the correct inversion for
0< t < T.
Examples
(i) A transform to appear in Section 4.1, in connection with the solution
of a partial differential equation, is
1
F(p)---- c> O.
- pcosh"Y,jP'
Notice that the Taylor series for the cosh function has only even powers
of its argument, so that F(p) does not have a branch point at the origin.
The inequality (3.4) is satisfied with T = 0, so
f(t) = 0, t < O.
For t > 0, we may close the contour in the left-hand half-plane, and the
Heaviside expansion theorem gives
3.7 Inversions Involving a Branch Point 49
Again the function does not have a branch point, and the Heaviside
expansion theorem gives, for t > 0,
f(t) = 1 + .!.
11"
f (-l)k cos {o(k - 1/2)11" h} e-(k-lj2)27r2th2.
k - 1/2
k=l
Special Case
The treatment of the loop integral depends on the behavior of the integrand
near the branch point. If F(P) rv pOI, with Re(a) > -1, then we may shrink
the contour onto the branch cut exactly as for Hankel's loop integral (page
17). Writing p = u exp(±i1l") according as Im(p) is positive or negative, this
leads to
1-00 0+
F(p) ePt dp =
100 {F(ue- i7r ) -
0
F(ue i7r )} e- ut duo (3.5)
Simple Examples
Consider the Laplace transform
1
F(P) = - e-'YVP . (3.6)
Vp
50 3. The Inversion Integral
Im(p)
Re(p)
f( t ) = .!.1°O COSbU 1 / 2 )
1/2 e
-ut d
u, t> O.
7r 0 U
f( t ) = _1r=;e
_ _ ,2/4t
. (3.7)
V 7rt
Differentiating (3.6) and (3.7) with respect to " we find further that the
inverse Laplace transform of
is
()_ , _,2/ 4t
9 t - 27r 1/ 2 t 3 / 2 e
We leave it to the reader to verify that the application of Watson's lemma
to these transforms yields an infinite series in ascending powers of b 2 /4t)
for their inverses. Although these are asymptotic series for large t, they
turn out to be convergent for all t > O.
Im(p)
Re(p)
p -+ 0,
v=l
- n < arg(p) < n,
where Re(Ad < Re(A2) < "', and Re(Av) increases without bound as
v -+ 00, then the loop integral
f(t) = - .
1 jO+ F(p) e pt dp, (3.8)
2nz -00
_1_
2ni
jO+
-00 p
A ePt d
p
= 1
(-A - I)! tA+1 .
52 3. The Inversion Integral
For the remainder term, choose n sufficiently large so that Re(An+1) > -1;
then we may shrink the contour onto the branch cut, which we could not do
with (3.8) because there is no restriction on Re(Al)' Equation (3.5) followed
by Watson's lemma for real integrals then yields the estimate
L av(p -
00
F(p) rv a)Av,
v=l
-1-1
27ri
0+
-00
F(p' + a) e(p'+a)t dp' rv
00
Examples
(i) Consider the transform
1
F(P) = , a> 0,
Vp(p+ a)
3.10 Heaviside Series Expansion 53
1 ( 1 -P
F(p)rv- - + 3p2
- · · ·) ,
vfJOa 2a Sa 2
f(t) 1 ( 1 + -1 + -9- . .. ) .
V
rv - -
7f at 4at 22
32a t
(ii) The Bessel function Jo(t) has the Laplace transform (to be derived
in Section 4.4)
1
F(p)= ~. (3.10)
Vp2 +1
Again there are two branch points, both on the imaginary axis, and
consequently of equal importance for large t. The necessary asymptotic
expansions of F(p) are
1
e-i7r/4
p -+ i,
J2(p - i) 4t 32
F(p) rv
Because there are no other singularities in this case, there are no ne-
glected terms that are exponentially small. 4
as a special case. Suppose then, that the Laplace transform F(p) has an
asymptotic expansion5
00
1/=1
then for any n, we may define the function Fn(P) in the usual way by
n
Fn(P) = F(p) - L al/p-A v ,
1/=1
(3.11)
An Example
We consider again the Bessel function Jo(t). Expanding (3.10) in descending
powers of p gives
V7r
L
00
Since the expansion of F(p) is a convergent series for Ipl > 1, the series
(3.12) is also convergent.
Problems
3.1 Show that if f(t) has derivatives up to f(n)(t), and if f(n)(t) is abso-
lutely integrable, then
lim w n
W-+CXJ
lb
a
f(t) e iwt dt = 0,
5If the expansion is convergent, then so is the inverse (3.11). See Carslaw and
Jaeger [15].
Problems 55
R -+ 00.
3.4 Find the inverse Laplace transform of the following functions using the
inversion integral and residue theory:
-ap -bp
(i) e - e
p
, o ::; a < b.
e- ap _ e- bp
(ii) -,-------;::--
1 + p2
o ::; a < b.
F(p) = L
n=OP
~:1'
which is convergent for Ipi > R, then the inverse function has the power
series expansion
3.6 Using the inversion integral, find the inverse Laplace transform of the
following functions, at least as real integrals.
. 1
(1) pYPTI.
56 3. The Inversion Integral
(ii) 1
a+JP
(m (P+b)
... )1 n - - .
p+a
L avpAv lnp,
00
F(p) rv p -+ 00,
v=1
- 7r ::; arg(p) ::; 7r,
where Re(Ad < Re(A2) < ... , and Re(Av) increases without bound, then
the loop integral (3.8) has the asymptotic expansion
where
'ljJ(a + 1) = d~ (lna!).
3.8 Invert
where a is real.
3.9 Find power series (in t) for the functions that were the subject of
Problem 3.6.
e- bVP 2+ a 2
F(p) = VP2 +a2 '
where a, b are real and positive.
4
Ordinary Differential Equations
The influence of the driving term u is felt via a convolution, while the initial
value gives rise to a decaying transient. 2
Now we take the Laplace transform of (4.1); after applying (2.7), we have
Second-Order Equations
Next we consider the second-order initial-value problem
Once again the equation for X (p) is algebraic, and may be solved immedi-
ately to give
X(p) = G(p) {U(p) + (p + b)xo + vo},
G(p) = (p2 + bp + c)-I.
Once again, inversion gives the solution as a convolution integral plus expo-
nential terms depending on the initial conditions. In some cases it is more
convenient to invert the function G(p)U(p) directly, rather than write it as
a convolution and evaluate the latter; nevertheless, the general form of the
solution is important for understanding the role of G(p).
(4.2)
Here we have defined a polynomial H(p) which contains all the information
about the initial conditions,
n-I n
H(p) = "L x Cp )(0) "L akpk-l-I.
1=0 k=I+1
Formally, the solution to (4.2) may be found either by inverting the func-
tions G(p)U(p) and G(p)H(p), or in terms of a convolution, as
This exactly parallels the solutions for first-order and second-order equa-
tions, in particular, the input u(t) and the initial conditions enter on an
equal footing in the transformed solution. Usually the initial conditions are
60 4. Ordinary Differential Equations
Stability
A most important question is the stability of the solution; that is, whether
the function x(t) increases without bound for large time without a corre-
sponding increase in the driving function u(t) to cause this behavior. This
asymptotic behavior depends solely on the position of the poles of G(p) in
the complex plane, for if we turn off the driving force at some time T > 0,
then we may write (4.3) as
Now we know from Section 3.4 that the inversions of G(p) and G(p)H(p)
have the general form
i,j
where the poles of G(p) are at p = Pj, and on substitution into (4.4) it is
readily seen that the large time behavior of x(t) is given by
For stability, we want the solution to remain bounded; hence, all the poles
must be in the left-hand half-plane, except possibly for simple poles on the
imaginary axis.
An Example
For the solution of the initial-value problem
we get
1
X(p)=G(P)p2+1'
1
G(p) = --Y-4.
p +
Now we may factor X(p) as
-i i 3- i 3+ i
X(p) = 10(p _ i) + 10(p + i) - 80(p - 1 - i) - 80(p - 1 + i)
3+i 3-i
+ 80(p + 1 - i) + 80(p + 1 + i) ,
x(t) = ~ sin t - 0
41 et (3 cos t + sin t) + :0 e- (3 cos t - sin t).
t
Note the fact that x(t) grows exponentially for large t, which is evident
from the factorization (P4 + 4) = (p - 1 + i)(P + 1- i)(p - 1 - i)(P + 1 + i);
two of the poles have positive real part.
X(P) = ~ IT _1_,
P j=l P - Pj
where the Pj, not necessarily distinct, are the roots of the characteristic
polynomial p(p) = pn + an_ 1pn-1 + ... + ao of the differential operator
62 4. Ordinary Differential Equations
~L-_G_(p_)------,F
FIGURE 4.1. Simple transfer function.
with the sum contributing transient terms. 6 As for the oscillatory signal,
a = p-Hw
li~ (p - iw)X(P) = G(iw)/2,
b= lim. (p+iw)X(p)=G(-iw)/2.
p-+-.w
Ul(P)
: :H
U2(P)
G(p)
'--------'
X(P) ~I
Block Diagrams
Suppose now that the function x(t) is used as input to another differential
equation with transfer function G1 (P). Then we have, for the second system,
(4.5)
A Feedback Loop
As an example consider the feedback loop shown in Figure 4.3, where the
output is subtracted from the input after being processed by the transfer
function H. An open circle indicates summation of signals, a filled circle
indicates that a signal is subsequently used more than once. Looking at the
signals,
V=U-HX, X=GV,
so that X = G(U - HX), and hence,
64 4. Ordinary Differential Equations
u + V X
G
-
HX X
H
G
G= l+GH'
meaning that the system could be considered as a single black box with
this more complicated transfer function. When dealing with such diagrams,
remember that they are not electric circuit diagrams, but rather signal path
diagrams.
As an example of explicit transfer functions G, H, suppose that G rep-
resents the differential equation
and that H just scales the output: H(P) = K > 0. Then the overall transfer
function of the above configuration becomes
1: p7 / ( 1 + 1 :P7) = 1 + ; + p7 (4.6)
1 1
l+K l+pi'
where i = 7/(1 + K) < 7. This corresponds to the differential equation
1:
feedback, the transfer function becomes
g(t) = K e-t/'f .
The effect of the feedback loop is that the amplitude decreases, since K > 0,
and the rate of decay increases, since i < 7.
4.4 Equations with Polynomial Coefficients 65
V+ V J I GIV J I G2GIV X
Gl G2
I I I I
Y G3
I G3GIV
I
+
H
I
I
FIGURE 4.4. More complicated block diagram.
Of most immediate interest is that these results may be read off from
(4.6) without solving the differential equations-indeed without even writ-
ing them down. Moreover, nothing much changes if G(p) and H(p) have
more complicated forms as rational functions of p, except that the algebra
becomes more complicated; that is precisely the kind of calculation well
suited to symbolic computation.
V = U - H(G 2 - G 3 )G 1 V,
X = G2 G 1 V.
Eliminating the unknown V between the two equation gives X = GU with
Near the origin, the two linearly independent solutions of this equations
have the asymptotic form x±1I except when 11 = 0, in which case 7 the
second solution behaves like lnx. We will consider only functions of the
first kind with 11 ~ 0, normalized by
For this purpose, we make the substitution JII(X) = X-II fll(x) , leading to
the new differential equation
The point ofthe substitution of fll(x) for JII(X) is that the new equation has
coefficients linear, rather than quadratic, in x. On taking the Laplace trans-
form, (4.8) is converted into a first-order differential equation for FII (P) ,
namely,
(1 + p2)F~(p) + (211 + l)pFII(P) - 211f(0) = O. (4.9)
From the assumed behavior of JII(X) at the origin, the term 211f(0) may be
discarded; thus, the general solution of (4.9) is
(4.10)
m c
mf(t)
Example 1
Consider the mechanical system shown schematically in Figure 4.5. Two
masses m move in a straight line and are driven by an external force mf(t).
Their coordinates are taken as the displacements Xl (t), X2 (t), relative to
their equilibrium positions. The connections are as shown: the external
force couples to the first mass via a spring of spring constant k; a similar
spring couples that mass to the second mass, which is also subject to a
linear damping force ex~(t).
We may write the equations of motion as
where w 2 = kim and 'Y = elm. As in the previous section, we shall con-
centrate on the transfer function, which is now a matrix function. That
is,
where
68 4. Ordinary Differential Equations
(4.12)
Expressions for Xl (p) and X 2 (P) are readily found from this. Their analysis
proceeds along analogous lines to those of the last section; in particular,
the crucial information is the position of the poles of the response function,
which arise from zeros of .d(p).
Example 2
We consider the electric circuit shown in Figure 4.6. Here we want to de-
termine the voltage Ej across R2 from a knowledge of the input voltage
E(t) and initial conditions. Ej is equal to i 2 R 2 , and must also equal the
voltage across L, which is L(ii - i~) since i l - i2 is the current through L.
A further equation comes from the fact that E is the sum of Ej and iIR I .
Putting these facts down, we have
E = ilR I + Ej,
Ej = L(ii - i~) (4.13)
= i 2 R2 ·
Now we introduce the notation Xl = iI, X2 = i 2 , and eliminate Ej from
the problem in favor of i2' Then the equations becomes the simultaneous
pair
RIXI + R2X2 = E,
This time we have a solution in which new features appear. This becomes
evident if we try to invert the elements of G(p); two of them do not have
the required large p behavior of (3.4) and the inversion integrals for the
corresponding gij(t) do not exist in the classical sense.
4.5 Simultaneous Differential Equations 69
The most straightforward way out of this problem is to separate the com-
ponent of the transfer function that remains constant as p ---+ 00, writing
This gives
and the second term is now in a form to which the standard inversion
techniques apply. Performing the inversions, we arrive at the solution
(4.14)
where
RIR2
a - ---,----,-
- L(RI + R 2)'
This solution differs from previous solutions we have discussed in two
important respects.
(i) It does not necessarily satisfy any arbitrary initial conditions that we
try to choose. In fact, if we set t = 0 in (4.14), we have the relation
RIXI(O) + R2X2(O) = E(O), which is the first of (4.13). So there is no
contradiction; the basic equations imply that the possible initial values
of Xl, x2 and E are related, and the solution is consistent with that.
70 4. Ordinary Differential Equations
Alternative Formulation
We consider the last example again, this time formulating the problem so
that we do not differentiate a discontinuous function. If we redefine the
variables as Xl = il, X2 = il - i2, then (4.13) become
R2 RlR2
Ef(t) = R R E(t) - R R X2(t),
1+ 2 1+ 2
and this will exhibit the phenomenon of being discontinuous wherever E(t)
is discontinuous.
General Systems
We now consider the system of differential equations
n n
L aijxj(t) + L bijxj(t) = fi(t), i = 1, .. . ,n, (4.15)
j=l j=l
where the aij and bij are constants. Any set of differential equations with
constant coefficients may be reduced to this form without making assump-
tions of differentiability beyond those implicit in the original set. For ex-
ample, (4.11) may be written
0o 0c O
m m0) x2 + (2k
(X~) -k k -k
00
(
1 0 0 0 x~ 0 0 -1
0100 x~ 000
by introducing two extra variables X3 = x~ and X4 = x~.
4.5 Simultaneous Differential Equations 71
where the functions Gij (p) are the elements of the inverse of the matrix
G(p) with (i,j) entry aijP + bij . Using Cramer's rule, we may express the
elements G ij (p) as a ratio of determinants,
From this, we see that the solutions are continuous for finite inputs fj (t),
and that no restrictions are placed on the possible initial values by the
solution.
Anomalous systems are different, as we have seen in (4.13) above. Some of
the functions Gij (p) cannot be inverted as ordinary functions; consequently,
the solutions may be discontinuous for discontinuous inputs. Moreover, the
solution will place certain restrictions on the initial values. The reason for
this is not hard to find; if IAI = 0 then there are nontrivial solutions of the
72 4. Ordinary Differential Equations
homogeneous equation
n
LCiaij = 0, j=l,2, ... ,n.
i=l
i,j=l i=l
General Setting
Consider the general autonomous linear multivariable system:
8For an exposition of the systems that follow in the context of control theory,
see Barnett and Cameron [8]; for a more general setting see Brockett [13].
4.6 Linear Control Theory 73
(iii) The output of the system is the r functions y(t), known as the
observable variables. Therefore the matrix C, which couples the internal
state variables to the observables, has dimension r x n.
The importance of these distinctions is that it may be necessary to have a
higher dimension of internal states than what is required in terms of the
dimension of the inputs and/or the outputs.
Important questions that may be asked about such a system, include:
(i) What is the transfer function that defines the relation between the
control variables (the input) and the observables (the output)? As a
Laplace transform this will be an r x m matrix function G(p).
(iv) Given a proposed matrix transfer function G(p), the entries of which
are rational functions satisfying (3.4), can we find a system of the form
(4.16) that will realize it?
Taking transforms of (4.16) component by component, and assuming
zero initial conditions, we have
Y(p) = G(p)U(p),
(4.17)
G(p) = C(pJ - A)-l B.
Matrix Exponential
In the scalar case (n = 1) we recognize that l/(p - A) is the Laplace
transform of eAt. Following Section 3.5, we may recover this result via the
74 4. Ordinary Differential Equations
expansion
00
exp(At) = L kT tk . (4.18)
k=O
These computations still carry through when A is a matrix; then we are
interested in the matrix inverse
E(P) = (PI - A)-1
00
(4.19)
= LP-(k+l)Ak , Ipl> IIAII,
k=O
where IIAII is a matrix norm. 9 It is a standard result that in this case the
series (4.18) converges to the matrix exponential. It is also well known that
working with the matrix exponential directly can be quite inconvenient, in-
volving in general the Jordan normal form. One property that may be seen
without difficulty is that the entries Eij(p) of E(P) are rational functions
of P that satisfy the condition (3.4). This follows from Cramer's rule; each
element of the inverse (PI - A)-1 is the ratio of determinants, of which the
denominator is the characteristic polynomial,
PA(,~) = det(AI - A)
= >..n + al>..n-l + ... + an.
Each numerator is the determinant of an (n-1)x(n-1)-dimensional minor,
and therefore of degree < n in p. Therefore, the inverses Eij(t) are linear
combinations of terms of the form t mk e- Pkt , where the constants Pk are
the positions of the poles, and the associated factors t mk follow from the
residues at these poles.
Example
Consider the simple matrix
A= (~1 !3)·
Then
(pI-A)
-1
= (P+1)(p+2)
1 (P+3
-1
2)
P
=
1
(P+1)
(2 2) + (P+2)
-1 -1
1 (-1
1
-2)
2 .
9See, for example, Strang [59], Chapter 7; it satisfies IIABII ::; II All ·IIBII·
4.6 Linear Control Theory 75
Of course, the matrix exponential may be written down at this point, but it
is of little immediate interest; One of the strengths of the Laplace transform
is that we need not do that in order to proceed.
Controllability
The system (4.16) is said to be completely controllable if, given arbitrarily
chosen initial state lO Xo and final state Xl, there is a finite time T and a
control (input) u(t), such that x(O) = Xo, x(T) = Xl. Completely refers
to the fact that the choice of the states Xo, Xl is arbitrary. The equations
that determine the output are irrelevant to this definition, so everything is
determined by the matrix pair (A, B).
One can see almost intuitively what condition should be necessary for
a system to be completely controllable. In real time the response of the
system to u(t) is the convolution
is of rank n.
Basically, this is the requirement that any vector in the space ~n can be
represented in terms of columns of B, AB, ... , A n-l B, since these are the
only powers generated by the expansion of eAt B.
x(t) = S-lX(t),
lOSince the system is autonomous, we may always set the origin of time to be
the initial time.
lIThe Cayley-Hamilton theorem.
12For nonautonomous systems the equivalent results are quite sophisticated.
76 4. Ordinary Differential Equations
Xi(t)) _ (An
( x~(t) (4.20)
- 0
Here:
(ii) An and A22 are square matrices of dimension n1, n2, respectively.
(iii) B1 is a matrix of dimension n1 x m.
Note the crucial fact that the control function u(t) is not changed in all of
this, and in this new representation it only feeds directly into the control-
lable pair (An, Bd.
To construct the matrix S, we shall need two elementary facts from linear
algebra:
(i) Given the rank n1 < n of K, choose for the first n1 columns of S any
n1 linearly independent columns of K.
S-l AS = (An
o
412 ) ,
A22
),
(4.21 )
S-lB = (~1
which is all that is required to convert the original form (4.16) to the
new form (4.20). There is of course a high degree of nonuniqueness in the
construction of S.
Now, continuing to work with the block matrix notation, we take the
Laplace transform in this new representation. Because of the block trian-
gular form of (pI - A), the matrix inverse is also block triangular and has
the form
(4.22)
where
Equivalent Systems
The matrix transfer function was defined in (4.17) for linear autonomous
systems so as to relate the outputs to the inputs, without direct reference
to the state variables. Now we have used similarity transformations of the
coefficient matrix A, to discuss controllability (and, below, observability).
Applying a similarity transformation A --t S-1 AS to the state variables
is simply a change of basis (representation) for the internal state of the
system, since it implies the similarity transformations (pI - A) --t S-1 (pI -
A)S and exp(At) --t S-1 exp(At)S.
From the "black box" point of view, all that matters is the transfer func-
tion; two systems that have the same transfer function are quite naturally
regarded as equivalent. A sufficient condition for this to be true is seen by
equating the formulae (4.17) for two matrices A and A = S-1 AS, where S
in any invertible matrix. We get
B=SB ,
The first of these two is precisely the transformation (4.21) used above to
eliminate the uncontrollable part of the system. The new system is therefore
equivalent.
Even more can be said. From (4.21) and (4.22) we have the extremely
simple result
Now write
78 4. Ordinary Differential Equations
the uncontrollable variables play no role at all and might just as well be
dropped.
Observability
There is a dual notation to the above; the system (4.16) is said to be
completely observable if, given an arbitrarily chosen initial state xo, there
is a time T such that knowledge of y(t) for 0 ::::; t ::::; T suffices to determine
Xo uniquely.
Not only is this notion dual in an obvious way, it is actually a manifes-
tation of a mathematical duality, which we shall not go into here. Suffice
it to say that the condition for complete observability takes the following
form:
A system is completely observable if and only if the nr x n matrix
is of rank n.
As with controllability, so again there are similarity transformations Q
which bring the original matrix pair (A, C) to block triangular form with
respect to observability,
where the pair (An, C\) is completely observable. This time Q is con-
structed row by row from the linearly independent rows of the matrix L,
followed by extension to a basis of JRn. Again, the equivalent system has
a transfer function G(p) in which the unobservable state variables play no
part. In this way, any linear system of the form (4.16) may be reduced to
one that has no internal state variables which are redundant by way of
being either uncontrollable or unobservable.
4.7 Realization of Transfer Functions 79
ri = rank(G i ),
then the residue matrices G i are the coefficients in the partial fraction
expansion of G,
k
G(p)=L~·
i=1 P - Pi
The matrices G i have dimension r x m, while the rank ri must satisfy
ri ::::: min(r, m). This is the dimension of both the row and column space of
Gi . For each i, we may therefore find an r x ri matrix Mi and an ri x m
matrix N i , such that G i = MiNi. Then setting
Nk PkNk p~-1 Nk
Supposing that the rows are linearly dependent, then there is a linear com-
bination of the rows that is zero, that is, there is a linear combination of
a linear combination 6 of the first rl rows, a linear combination 6 of the
next r2 rows, etc., which is zero. We thus have k row vectors ~i' each
a linear combination of the rows of the corresponding N i , such that the
following k x nm matrix has rank less than k:
(
~1 P16
6 P26
~k Pk~k
Suppose, in fact, that 2:7=1 Ci(Row)i = 0, and that all the Ci =f. 0, (oth-
erwise omit those rows and deal with a matrix with less rows). Then we
have
k
L Ci (~i Pi~i ... p~-I~d = 0,
i=1
or in matrix form:
°
The coefficient matrices have dimension k x k; moreover, the determinant
of the first is not zero since all the Pj are distinct. It follows that all ~i = 0.
Since the rows of each Ni are linearly independent, it then follows that the
original linear combination had zero coefficients. Observability follows in
the same manner, using the columns of the matrices Mi.
4.7 Realization of Transfer Functions 81
Example 1
Construct a minimal realization for the matrix transfer function
G l = p+ 2
1 ( -p
3p+ 2
-P-1)
2p+2 p=-l -
(1 0)
-1 0 '
G2 =
1
p+ 1
( -p
3p+ 2
-P-1)
+
2p 2 p=-2
= (-2 -1)
4 2 '
Example 2
Find a minimal realization of
G _ 1 (p2+6 p2+ P + 4 )
(P) - p3 + 2p2 _ P _ 2 2p2 - 7p - 2 p2 - 5p - 2 .
14It is a standard theorem that a realization is minimal if and only if its di-
mension is minimal; thus all minimal realizations of a particular matrix transfer
function have the same dimension.
82 4. Ordinary Differential Equations
+
+
U ---.( }-----+--.j 1----.----.( } - - - - . z
1 0
x'(t) = ( 0
o
-1
0 -2
oo ) x(t)+
( -7/2
7/6
10/3
~2 ) u(t),
1 1
y(t) = ( -1 1 ;) x(t).
Problems
4.1 Use the Laplace transform to solve the given differential equations. If
initial conditions are not stated, take them as arbitrary.
4.2 Show that all the zeros of (4.12) are in the left-hand half p-plane as a
consequence of the fact that 'Y > o.
Problems 83
yet) X2(t)
Xl(t) L
u(t)
R2
4.3 Given that, in the block diagram Figure 4.8, F(P) = p-l, G(p) = 3p-2,
H(p) = p2, find the overall transfer function. If u(t) = e- 3t , find the output
z(t) of the system.
4.4 A constant voltage Eo is applied from time t = 0 to a circuit consisting
of a resistor R and capacitor C in series. The charge on C is initially
zero. Find an expression for the current i(t). Is it possible to specify i(O)
arbitrarily?
4.5 In the circuit of Figure 4.9, let the state variables be the voltage Xl
across the capacitor and the current X2 through the inductor. Let the con-
trol variable be the input voltage u and the output variable be the total
current y.
Derive the equations that describe the system, in standard matrix form,
and show that the system is completely controllable and completely ob-
servable except if the circuit components are in the relation R I R 2 C = L.
y(t)=(111)x(t).
Find the Laplace transform Y (p) in terms of U (p), and use it to determine
if it is possible to choose x(O) and a control u(t) such that
m
4.8 Consider the system
y(t)=(O 1 O)x(t).
(iii) Construct a transformation P that splits the system into its control-
lable and uncontrollable parts and determine equations for the control-
lable part.
(wave equation) are amenable to the use of the Laplace transform. 1 Indeed,
on taking the Laplace transform of the former, we get
One may compare the diffusion equation with the system of equations x' =
Ax + Bu, for which the solution is X(p) = (pI - A)-l (x(O) + BU(p))
(Chapter 4); there is an obvious analogy. One essential difference, however,
is that a finite-dimensional matrix A is a bounded operator, whereas a
partial differential operator such as \1 2 is not; furthermore, it is necessary
to impose boundary conditions for these equations. A method of solution
°
u(x, t) if the temperature is initially given by a function ¢(x), after which
the plane x = is held at a time-varying temperature given by a second
function 'ljJ(t). Evidently the solution u(x, t) is determined by the fact that
heat diffuses to equalize the initial temperature distribution ¢( x) and also
in response to the change of boundary temperature 'ljJ(t).
For this problem, the diffusion equation reduces to the form
au 1 a2 u
(5.1)
at Ii ax 2 '
The solution u(x, t) will be defined in the quadrant of the x-t plane x :::: 0,
t :::: 0, by specifying the conditions on its boundary. The requirement that
u(x, 0) = ¢(x)
is usually referred to as an initial condition. behavior. The conditions with
respect to the space variable
Laplace Transform
We introduce the Laplace transform with respect to time,
U(x,p) = 1 00
u(x, t) e- pt dt,
d2
dx 2 U(x,p) - K,pU(x,p) = -K,¢(x). (5.4)
Taking the transform moves the problem from the t-domain to the p-
domain; we must therefore transform all time-dependent equations, so the
boundary condition (5.2) becomes
1/2
( )
_ K, X -Kx2/4t
9 x, t - 27f1/2t3/ 2 e
Simple Example
As a specific example, suppose that the temperature is initially equal to
the constant value To, but that the plane x = 0 is suddenly changed to a
new constant temperature T 1 . This gives
¢(x) = To,
from which
w(P) = Tl, To
Up(x,p) =-.
P p
Therefore, the solution of (5.4) is uniquely determined as
_ To
U( x,p) --+ Tl - To -0: r,q;
e V··Y.
p P
To complete the solution, we need the inverse Laplace transform of the
second term, which may be obtained from the fact that it is a convolution
integral. It is simpler, however, to follow the method of Section 3.7, and
notice that
d (e-'Yvp) _ e-'YVP
d'Y -p- - - .jP ,
which is precisely the transform used above for the heat kernel (with'Y =
x.,[K). It follows that
To determine the other limit in this indefinite integral, note that the inverse
function must go to zero for large positive 'Y /0. Consequently, we have
£-1 [e-'Yvp] =
p
~
.j7r
1 00
'Y /20
e- u2 du
= 1 - erf('Y /20).
So the final result for the temperature distribution u(x, t) is
u(x, t) = To + (Tl - To) erfc( .,[Kx/20),
where we have used the standard notation for the complementary error
function 3 erfc{"f /20) = 1 - erf{"f /20). Note that
u(x, t) :::::J To,
u(x, t) :::::J T1 ,
3The error function erf(x) is defined as erf(x) = (2/,.fir) fo'" exp( -u 2 )du, the
complementary error function as erfc(x) = 1 - erf(x). The name derives from its
association with the normal distribution of probability theory.
5.2 Finite Thickness 89
The subscript x stands for the partial derivative in the usual way.
More generally, the rate of heat transfer may be proportional to the
actual temperature difference, leading to the most general type of linear
boundary condition
°
temperature To. One face (x = 0) is maintained at this temperature, while
the second face is supplied with heat from time t = at a constant rate H.
We want to find the outward heat flow through the first face as a function
of time. Our partial differential equation is again (5.1), and the Laplace
transform is again (5.4). A general solution is
The functions A(P) and B(P) will be determined by the boundary con-
ditions. Since U(O,p) = To/p we immediately have B(P) = 0. To determine
the other constant, and also the heat flow through the face x = 0, we must
90 5. Partial Differential Equations I
consider the function q(x, t) = -K,(au/ax), which represents the heat flow
at an arbitrary point. From (5.6), we can write for the transform of q(x, t)
= (2r - 1) exp { -
H + HL 7r4(-IY
00 27r2t}
(r - 1/2) -l2
K,
.
r=l
The first expansion is useful for computation for small t, while the second
is a good expansion for large t. In particular, we see that -q(O, t) -+ H for
large t, as it must.
where v 2 = T / p and f(x, t) is the external force per unit length. This is
the inhomogeneous, one-dimensional, wave equation. In addition, u(x, t)
must satisfy boundary conditions, which depend on the manner in which
the string is supported. We treat two simple problems to illustrate how the
Laplace transform may be applied to such problems. In both cases, we set
f(x, t) = 0.
Semi-Infinite String
°
We consider first the unbounded region x ~ 0, with u and au/at initially
zerO. For t ~ 0, the end x = is subjected to the time-varying displacement
5.3 Wave Propagation 91
¢(t). The Laplace transform of (5.7), together with the boundary condition
at x = 0, give the equations
2d2 U 2
V dx 2 - P U= 0, (5.8)
U(O,p) = p(p),
and the solution that is bounded for x -+ (Xl is simply
U(x,p) = p(p) e- px / v .
Hence, the displacement imposed on the end propagates down the string
at velocity v.
Finite String
Suppose now we fix the string at x = l, while still subjecting the end
x = 0 to an arbitrary time-varying displacement. Then we must solve (5.8)
subject to the additional boundary condition U(l,p) = o. The solution is
easily found to be
l(x,t) I(X+DX,t)
I
0 • .m:t/.2.J • 0
LDx
E(x,t)
0 r ax
FIGURE 5.1. Segment of transmission line, length 8x.
E(X+Dx,t)
oE(x,p) __ LI( )
ax - p x,p,
(5.10)
o1(x,p) __ CE( )
ax - p x,p,
E(x,p) = p(p)e- px / v ,
v 2 = 1ILC,
R= JLle.
Thus, for this particular choice, the system-transmission line plus load-
appears to the voltage source to be the load without any intervening line.
The input signal is transmitted at velocity v without change of form or loss
of energy, and is delivered to the load R without reflection. The quantity
R = JLle is known as the impedance of the line, and the line is usually
referred to as a H eaviside distoTtionless line.
94 5. Partial Differential Equations I
Problems
5.1 The plane boundary (x = 0) of a semi-infinite body is maintained at
temperature f(t) from t = O. The body is initially at a uniform tempera-
ture To. Find an expression for the subsequent temperature u(x, t), for the
following special cases:
(i)
f(t) = {Tl,
To,
0< t < to,
t > to.
(ii)
f(t) = At.
5.6 Change the boundary conditions in Problem 5.5 so that the face x = 0
radiates according to Newton's law of cooling, while the face x = l is held
at temperature Tl as before. What is the solution to the new problem?
5.7 Change the boundary conditions in Problem 5.6 so that the face x = l
is supplied with heat at a constant rate Q.
where c > O. Hence, obtain from the Laplace transform solution of Prob-
lem 5.10 a direct picture of the displacement of the string in the time
interval 0 ::; t ::; 2l I c.
5.15 A line of inductance L and capacitance C per unit length, also has
resistance R and leakage conductance G (G = the inverse of the leakage
resistance) per unit length. If the line is infinite, and if a potential ¢(t) is
applied at x = 0 from t = 0, find an expression for the voltage distribution
for t > O. In particular, study the case RC = LG.
where f(x) and k(x) are given functions, and)" a given constant. If f(x) ==
0, (6.1) is homogeneous in g(x), and is referred to as an integral equation of
the first kind. The nonhomogeneous problem is an equation of the second
kind. Suppose that the upper limit of integration b is the variable x; then
we have a Volterra integral equation. By the change of variables x --t x - a,
y --t y - a, (6.1) may then be written
Example 1
Consider the equation
t= fotet-sg(s)dS.
Example 2
Consider the equation
Then
1 1
G(p) = - - -G(p),
P p2
6.1 Convolution Equations of Volterra Type 99
Example 3
Let us find the resolvent r(t) of the equation
Example 4
A less trivial example is furnished by the equation
g(t) = (1 + t)2
1
+ a 10
t g(s)
(1 + t _ s)2 ds, (6.5)
= 1- peP 1p
00
e- U du,
u
where the last step follows from the substitution u = p(1 + t). Hence the
integral is the exponential integral (1.10), so
K(p) = 1 - peP Ei(P),
which defines K in the entire complex plane, cut along the negative real
axis. Laplace transformation of (6.5) now gives
g(t) = ~
2nz
l c ioo
+
c-ioo
K(p)
1 - aK (p)
ept dp,
°
where c > is chosen so that the contour is to the right of all zeros of the
denominator 1 - aK(p). Now we know from (1.11) that the exponential
integral has a logarithmic branch point at the origin. Furthermore, it may
be shown (Problem 6.6) that the imaginary part of K(p) is not zero except
for real positive p, so that 1- aK(p) can only have zeros for p ~ O. Again,
for real p we have
K(O) = 1,
K'(p) = -1 00
k(t)te- Pt dt < 0,
g(t) = J(t)
= -1.
2nz
1
0
00
{G-( -~) - G+( -~)} e-e t d~,
Im(p)
isolated pole
Re(p)
branch cut
Hence, the solutions to (6.5) tend to zero for a < 1. If a > 1, a similar
analysis may be made, except that when we deform the contour we must
pick up the residue at the simple pole P = Po (see Figure 6.1).
Po eP ot
g(t) = a(po _ a _ 1) + I(t), a> 1, (6.7)
showing that the solution is exponentially growing in this case. This rel-
atively simple analysis shows that a = 1 is a critical parameter value in
determining the asymptotics of the solution.
f(x) =.A 1 00
k(lx - yl)g(y) dy, x :?: 0,
(6.8)
Q >0.
Taking the Laplace transform of both sides, and splitting the integral over
y into two regions y ::; x and y :?: x, we obtain
3N. Mullineux and J.R. Reed, Q. Appl. Math., 25 (1967), 327. Equations
of this type may be solved by the "Wiener-Hopf" technique (see Chapter 16).
However, we are interested here in a class of problems that can be solved by more
elementary methods.
102 6. Integral Equations
1 00
g(y) dy {[Yoo k(y - x) e- PX dx - [° k(y - x) e- PX dX}
-1 1
00
General Considerations
We consider an integral equation of the form
4We must first take Re(p) < a, and then use analytic continuation on the final
result to extend to Re(p) > 0:.
6.2 Convolution Equations over an Infinite Range 103
-1 1
(6.15)
k(x + y) ePX dx }.
00 00
g(y) dy
n mi
i=l j=O
Substituting a representative term from this into the double integral oc-
curring in (6.15) yields
That is, we obtain a partial fraction expansion whose coefficients are con-
stants, which are related to the Laplace transform G(p) at the points p = C¥i.
To solve (6.15), we temporarily regard these constants as arbitrary. Denot-
ing the double integral in (6.15) by N(p), we obtain the explicit solution
for G(p)
>'N(p) - bF(p)
G(p) = >'{K(p)+K(-p)}-a
In general, the inversion integral for this G(p) will not converge, and this
will restrict the constants, which were temporarily assumed to be arbi-
trary, to certain fixed values. Consequently, (6.14) will lead not only to a
functional relationship between f(x) and g(x), but may also give a set of
subsidiary conditions, as we saw in the example discussed above.
A Further Example
We solve the equation
2A(P2 + ( 2)
Jli(p) = (P2 _ (2)2 _ 2A(P2 + (2)·
Inversion is possible for any values of 1'1 and 1'2; hence, we have
It is not difficult to show that the constants 1'1 and 1'2 are indeed arbitrary
in this case (see Problem 6.12).
I:
form which may be written
+n
I:
cj>(x) = Q2 cj>(x')f(x')cj>(x - x')e(x - x') dx',
(6.17)
Q2 = 1 - n cj>(x')f(x') dx'.
6This is the probability of finding two particles at the stated positions. For an
infinite uniform system it is a function only of the relative positions of the two.
6.3 The Percus-Yevick Equation 105
The integral here is subjected to manipulations similar to, but more compli-
cated than, those we employed on (6.14). We split it up into three regions,
and deal with each in turn:
(i) For x' < 0 we get
roo
Jo
e-PX dx 1° g(x')h(x - x') dx'
100 100
-00
(6.19)
= e- PX dx h(x")g(x - x") dx"
=0.
Here we have used the variable change x" = x - x', and the properties
g(x) = 0, lsi < a,
h(s) = 0, lsi> a.
(ii) If 0 < x' < x, we have a convolution, giving the contribution
G(p)H(p).
(iii) When x' > x, we interchange orders of integration,
1 00
e- PX dx 100 g(x')h(x - x') dx'
= 100 g(x') dx' {[X~ h(x _ x') e-PX dx - [°00 h(x - x') e- PX dx }.
In dealing with both of these integrals, we need to note that g(x) and
h( x) are even functions. In the first integral, the substitution x" = x - x'
yields the contribution G(p)H( -p); in the second a change of sign of
both variables gives (6.19) with p replaced by -po
The problem with this result is the occurrence of H( -p); we now show how
this can be circumvented. 9 Solving for G(p), we obtain
(6.21)
g(x) - h(x) = Q2(1_ nx) + n lax g(x') {h(x - x') + Q2} dx', (6.23)
a considerable simplification on the original (6.17). For Ixl < a, the convo-
lution is zero because g(x') = 0, Ix'i < a; hence,
h(x) = {
- Q2(1 - nx), Ixl < a, (6.24)
0, Ixl > a.
The constant Q2 may be evaluated by inserting this result into the defini-
tion of Q2 (6.17b), this gives Q2 = (1 - na)-2. Equation (6.23) is now a
convolution equation of Volterra type, and is amenable to analysis using
the methods of Section 6.1. Details are left as a problem.
Problems
6.1 Show that Abel's integral equation, namely,
i (
¢(s)
t
o t - s
)a ds = J(t), 0< Re(a) < 1,
sint= lt Jo(t-s)g(s)ds.
and
¢(x) = lX k(x - y)1jJ(y) dy,
are related.
i
t g(s)
J(t) = o (t 2 - s 2)a ds.
6.6 Define
¢(x) = lim Im(K(x + if)),
E--+O
where K(P) is given by (6.6). Show that
¢(x) = { a, x
x> 0,
1Txe , x < 0.
lim Im(K(p)) = 0,
Ipl--+oo
deduce the fact that Im(K(p)) > ° for all p satisfying Im(p) > 0.
6.7 Analyze (6.5) when a = 1 to determine the behavior for large t.
Under what condition (for the kernel function k) may the solution be writ-
ten
g(x) = fox k(x - y)Pn(d/dy)f(y) dy,
6.14 Solve
g(x) = 1 + fo= Ix - yl cos Ix - yl g(y) dy.
6.15 Show that, if the pair distribution function g(x) is bounded as x --+ 00,
then the function defined in (6.21) is bounded as Ipl --+ 00.
6.16 Show that (6.24) implies
Q2 = (1- na)-2,
where Q2 is defined in (6.17).
6.17 Investigate the Volterra integral (6.23) for g(x).
6.18 In three dimensions, the Percus-Yevick equation may be written
The Fourier transform has its origins in the concept of Fourier series, devel-
oped by Joseph Fourier early in the nineteenth century. It is often treated
in the framework of real variable functions and/or Hilbert spaces; here we
choose rather to emphasize the power of complex variable theory.1
for those values of w for which the integral exists. We shall usually refer
to (7.1) as the Fourier transform, omitting any reference to the term expo-
nential. The Fourier transform is related to the Laplace transform; indeed,
on denoting by F± (P) the following Laplace transforms:
F±(P) = 1 00
f(±t) e- pt dt, (7.2)
we have
lFor modern, but practical, accounts, see Korner [34] and Walker [68].
112 7. The Fourier Transform
Furthermore, we see that (7.1) will converge for values of w in the strip
0;+< Im(w) < -0;_, corresponding to the regions of convergence2 of (7.2).
Inversion
Consider the inversion integrals
1 jC+iOO
-. F±(±p)ept dp.
2nz c-ioo
Now if c > 0;+, the first integral gives J(t) for t > 0 and zero for t < O.
Similarly, on making the substitution p --+ -p, we see that if -c > -0;_,
the second integral gives J( -t) for t < 0 and zero for t > O. Adding these
two results we have
= -1
2n
l ic oo
+
ic-oo
F(w) e-,wt
. dw,
where the last step follows from the substitution p --+ -iw. Renaming the
i:
constants 0;+, 0;_, we have the reciprocal transform pair
J(t) = -1
2n
l ic oo
ic-oo
+ F(w) e- iwt dw, 0; < c < (3. (7.3b)
Fs(w) = 21 00
J(t) sinwt dt,
Fc(w) = 21 00
J(t)coswtdt,
(7.4)
2The reader may already be familiar with the theory of Fourier transforms of
a real variable, typically for absolutely integrable or square-integrable functions.
In the general case Q_ = Q+ = 0 for such a function, so there is no overlap
strip; however, one may be introduced by multiplying the function J(t) by a
convergence factor such as exp( -Eltl), E > 0, and taking the limit E --+ 0 at a
later stage. This is an example of using generalized functions, a topic treated in
Chapter 9.
7.1 Exponential, Sine, and Cosine Transforms 113
known as the Fourier sine and Fourier cosine transforms, respectively. They
may be related to the Laplace transforms (7.2) by
f(t) = - 11 00
Fs(w) sinwt dw,
11
7r 0
f(t) = - 00
Fc(w) coswt dw.
7r 0
Examples
(i) For the even function e- a1tl , (2.13) takes the form
f(t) e- a1tl ,
= Re(a) > 0,
2a
F(w) = 2 2
a +w
Here the region of convergence of the integral defining F(w) is - Re(a) <
Im(w) < Re(a). Inserting F(w) into the inversion integral with c = 0,
we may easily evaluate the latter by residues. If t > 0, we must close
the contour in the lower half-plane; if t < 0, we must close in the upper
half-plane. The effect of switching from one pole to the other is to give
the result 3
e -at , t > 0,
{
f(t) =
e+ at , t < 0, (7.5)
Im(ro)
~pole
Re(ro)
= e- w2 / 4a2 1°O
-00
e- au2 du (7.6)
= (Jr/a)1/2e-w2/4a2,
where we have written u = t - iw /2a, and changed the contour from
-00 < t < 00 to -00 < u < 00. In this example, the integral defining
F(w) converges for all w, and the Fourier transform is an entire function
of was a consequence. Since F(w) has the same functional form as f(t),
the inversion integral is evaluated by a trivial modification of (7.6).
(iii) Single pulse. If
f(t) = { 1,
It I < 1,
0, It I > 1,
then
F(w) = 11 -1
e iwt dt = 2 sinw.
w
(7.7)
1=-
1
ri c
1 e- iw (t-1)
w
dw--
1
ri c
1 e- iw (t+1)
w
dw
'
(7.8)
where the contour is shown in Figure 7.1. Now if t < -1, we may close
the contour in the upper half-plane for both integrals, giving I = 0. If
-1 < t < 1, we close in the lower half-plane for the second integral,
obtaining I = 1. Finally, if t > 1, we close in the lower half-plane for
both integrals, and the residues cancel. Hence, 1= f(t).
7.1 Exponential, Sine, and Cosine Transforms 115
Im(ro)
I.. Re(ro}
~branChcut
F(w) = lim
€--TO
1 00
-00
Jo(at) eiwt-eltl dt
(7.9)
= lim {(a 2 - (w _ iE)2) -1/2 + (a 2 _ (w + iE)2) -1/2}.
e---+O
Here we have used the Laplace transform of J o(at) from (4.10). On taking
the limit E --+ 0, we have
Iwl <a,
Iwl > a,
where the result for Iwl > a depends on a consideration of the phases of
the two terms in (7.9). The inversion integral may be transformed into
Bessel's integral (18.32) by the substitution w = a sin 0, viz
Jo(at) = - 11
va
7f -a
a
e- iwt dw
2 - w2
_~ r coswt dw
- io va
7f 2 -w 2
217r/2
= - cos(at sin 0) dO.
7f 0
(v) Let
Cl/2 t > 0,
f(t) = { '
0, t < 0;
then
Im(w) > 0.
f(t) = e-i~41
2y1f C
e-;/
yW
dw. (7.10)
Now if t < 0, we may close the contour in the upper half-plane, to give
zero. If t > 0, we may close in the lower half-plane (Cd, and shrink the
contour about the branch cut. This gives (~ = iw)
Derivatives
i:
Suppose that g(t) = f'(t); then
i:
G(w) = f'(t)eiwtdt
(7.11)
= [f(t) eiwtJ:'(X) - iw f(t) eiwt dt
= -iwF(w).
7.2 Important Properties 117
so that the boundary terms in (7.11) are zero in the strip of convergence. 5
Similarly, if ¢(t) = tf(t), then differentiation of the integral that defines
F(w) yields
<z>(w) = -i d~F(W), (7.12)
d .
- ++ -zw
dt ' (7.13)
d .
dw ++ zt.
Translations
Similarly, there is a duality between translations of a function and multi-
plication by an exponential factor. Denoting by F[f] the Fourier transform
I:
of f(t), we have
I:
F[f(t - r)] = f(t - r) eiwt dt
(7.14)
= eiWT f(u) eiwu du
I:
= eiWT F(w).
Convolutions
A convolution integral of the type given in (2.12) has a particularly sim-
ple Laplace transform. The corresponding result for the Fourier transform
5We will see in Chapter 9 that (7.11) and (7.12) are valid for generalized
functions with no additional assumptions.
118 7. The Fourier Transform
stems from replacing the integration limits by ±oo; that is, we consider the
Fourier transform of the function defined by the convolution integral
I:
I:
G(w) = F[k(t - s)Jf(s) ds
-00
F(w')G(w - w') dw'.
(7.16)
Parseval Relations
One immediate and important consequence of (7.16) is obtained by setting
w = O. The resulting equation, which involves the function G(-w), may be
made more symmetrical by replacing g(t) by its complex conjugate function
g(t), and noting that
F[g(t)] = G( -w).
1 00
-00
f(t)g(t) dt = ~
27r
1
00
-00
F(w)G(w) dw, (7.17)
J(t) = - 1
27r
Joo F(w) e-
-00
iwt dw
Illustrative Example
Consider the following simple mechanical problem. A mass m is suspended
by a spring with force constant k, subject to a linear damping force pro-
portional to its velocity, and driven by the periodic external force J(t) =
Jo sin wt. The equation for the displacement of the particle from equilibrium
is
mx"(t) + ,/,x'(t) + kx(t) = Jo sinwt. (7.18)
For simplicity, we put m = 1 and k = 1, and consider the case of light
damping, '/' « 1.
First, we look for steady-state solutions x(t) = BJosin(wt+f3), where B
and f3 are functions of w but not t. Direct substitution into (7.18) gives us
two relations for these quantities, namely,
12,-----~----~----~----_,
B(co)
2
0
-2 -1 CO 2
A graph of IB(w)1 is shown in Figure 7.3. Notice that for small t the peaks
at w ~ ±1 are high and narrow. Now the rate at which energy is dissipated
by friction is tlx'12; hence, the energy dissipated per cycle is
(7.20)
0, t < 0,
f(t) = { fo sint,
° ~ t ~ 27r,
0, t> 27r,
which is one cycle of a sine wave at the resonant frequency. With this force,
the solution of (7.18) for t « 1 is given approximately by
(i) Use the solution (7.21) to calculate the integral of tlx' (t) 12. Explicitly,
this gives
(7.22)
7.4 Kramers-Kronig Relations 121
(ii) Use (7.20) with w = 1, and multiply by the period 2n during which
the force is applied. This gives n f:5 / 'Y as the energy, a result that disagrees
completely with (7.22).
I:
spectral analysis to the force f(t). Writing
we see that the spectral content F(w) is broadly spread in frequency, with
which agrees with (7.22). This illustrates the fact that the energy 'Ylx'1 2 is
spread out over a wide range of frequencies.
OO(ro)
Q Re(ro)
i:
an influence function k(t); viz
1
c w-
K(w) dw
n ' (7.23)
where the contour is shown in Figure 7.4. We know that K(w) has no
poles inside the contour; hence, the integral has the value zero. Evaluating
one-half the residue at w = n therefore gives
-00
K(w) dw
w- n
= lim
€--}o
1 K(w) dw.
Iwl>€ w - n
Writing K(w) = Kr(w) +iKi(w) and equating real and imaginary parts,
Problems 123
Im(w)
Re(w)
we have
Kr(D) = -~pJoo Ki(W) dw,
7r -00 W - D
Ki(D) = ~pJoo Kr(w) dw,
7r -00 W - D
which are the Kramers-Kronig relations. Thus the requirement of causality
leads to a connection between the real and imaginary parts of K (w) for a
very general class of linear systems.
Another important relation of this type is obtained by considering the
integral (see Figure 7.5)
1W~(W;
c w +~
dw = 7riK(i~). (7.24)
Exploiting the fact that Kr(w) is an even function of (real) w, this gives
K(i~) = 3.
7r
roo W~i(~~
io w +
dw,
Problems
7.1 Prove the following general properties of the Fourier transform:
(i) F[](t)] = F( -w).
(ii) F[j(tja + b)] = aeiabw F(aw).
(iii) F[e ibt f(at)] = ~F (w: b).
124 7. The Fourier Transform
. Fs[cos(bt)f(at)] = 2a
(IV) 1 { Fs - b) }.
+ b) + Fs (W-a-
(w-a-
.
(v) Fs[sm(bt)f(at)] 1 { Fe -a-
= 2a (W - b) - (W b) }.
+
Fe -a-
. Fc[cos(bt)f(at)] = 2a
(VI) +
1 { Fe -a- - b) }.
(w b) + Fe (w-a-
(vii) Fc[sin(bt)f(at)] = 21a {Fs (w: b) _ Fs (w: b) }.
(xii) 2~ 1 00
Fe(w )Ge(w) cos wt dw
=
1 roo
"2 Jo g(u){f(t + u) + f(lt - ul)} duo
(xiii) 2~ 100
Fs(w)Gs(w) cos wt dw
=
1 roo
"2 Jo g(u){f(t + u) + f(lt - ul)} duo
(xiv) 2~ 100
Fs(w)Ge(w) sinwtdw
=
1 roo
"2 Jo f(u){g(lt - ul) - g(t + u)} du
=
1 roo
"2 Jo g(u){f(t + u) - f(lt - ul)} duo
rOO 1 roo
(xv) Jo f(t)g(t) dt = 27r Jo Fs(w)Gs(w) dw
Problems 125
i:
7.2 For a function f(x), with Fourier transform F(p) , define the quantities
(xn) = x n [f(X)[2dx,
(pn) = i:
(LlX)2 = (x 2) _ (x)2,
2~
(Llp)2 = (p2) _ (p)2.
pn[F(p) [2dp,
i:
By considering the inequality
(Llx)(Llp) 2 1/2,
(i)
eiat p < t < q,
f(t) = { '
0, t > q, t < p,
eip(a+w) _ eiq(a+w)
F(w) = .
w
(ii)
l/t, t > 1,
f(t) = {
0, t < 1,
F(w) = -Ei(-iw).
(iii)
f(t) = cos(at2),
F(w) = (7r /a?/2 cos(w 2/4a - 7r /4).
(iv)
f(t) = sin(at 2),
F(w) = (7r/a)1/2 sin(w 2/4a + 7r/4).
(v)
0< Re(a) < 1,
F(w) = 2(-a)! sin1l"a.
Iwl 1 - a
(vi)
e- a1tl
f(t) = ItI 1/ 2 '
(vii)
t < a,
t > a.
(viii)
f(t) = s~nhat, -11" < a < 11",
smh1l"t
F sina
(w) = coshw+cosa.
(ix)
f(t) = cosh at , -11" < a < 11",
cosh1l"t
F(w) = 2 cos( a/2) cosh(w /2) .
coshw + cos a
(x)
Iwl > b,
Iwl < b.
(xi)
f(x) = erf(ax),
e-w2/4a2
F(w)=---
w
Problems 127
(xii)
f(t) = e-t,
2w
Fs (w) = 1 + w2 .
(xiii)
f(t) = e- t2 ,
Fs(w) = ,j7re- W2 / 4 .
(xiv)
f(t) = Si: t,
Fs(w) = In -1 +-
wl .
1 l-w
(i)
1T
2ab(a + b)"
(ii)
(iii)
rOO sin at sin bt dt = {1Ta/2, a< b,
Jo t2 1Tb/2, a> b.
h(x) = f(x)h(x),
f-(x) = f(x)h(-x),
F+(w) = F[h(x)] ,
F_(w) = F[f-(x)].
Then show that
128 7. The Fourier Transform
(i)
00
1 = ~ coth (~) .
n=-CX)
1 + a 2n 2 a a
(ii)
(iii)
L
00
2
Jo(na) =-, a < 27r,
n=-oo
a
(iv)
00
2
n~oo J o(n7r) cos(n7ra) = 7r~' -1 < a < 1.
(v)
2"
00
~ Ko ((2m + l)a).
7r m=-oo
8
Partial Differential Equations II
(8.1)
Example 1
A semi-infinite region -00 < x < +00, y 2': 0 with ¢ specified on the edge:
tfJ(w, 0) = !P(w).
To choose the functions A(w), B(w)-constants with respect to y-we need
a further condition. This is because we have not specified the behavior of
the solution for large y. Assuming that the solution is bounded for large y
we obtain
Re(w) > 0,
Re(w) < O.
The Fourier transform tfJ(w, y) is a product,2 so we introduce a function
K(w,y) by tfJ(w,y) = K(w,y)!P(w). From (7.5) we see that K(w,y) is the
transform of an elementary function, and on using the convolution theorem
we obtain as the solution to (S.2) the general formula
-00 y2
'ljJ(~)
+ (x _ ~)2 d~.
Example 2
Consider the electrostatic field produced by the arrangement shown in Fig-
ure S.l, where a finite section of an infinite electrically conducting cylinder,
of radius a, is held at potential V while the remainder is grounded. Using
cylindrical polar coordinates and the fact that the potential is axially sym-
metric, we obtain the equations
V, Izl < l,
¢(a, z) = { (S.3)
0, Izl > l.
2Note that cP is not an entire function of w even if IJ! is, although it is mero-
morphic in each (open) half-plane.
8.1 Potential Problems 131
z axis
z =-1 z=l
Now we take the Fourier transform with respect to z, so that (8.3) become
d2 1 d
-d2 tJJ(r, w)
r
+ -r -dr tJJ(r, w) - w2 tJJ(r, w) = 0
and
tJJ(a, w) = 2V sinwl.
w
The solution to these equations that is finite for r = 0 is the modified Bessel
function 3 1o(r). Taking into account the boundary condition at r = a we
conclude that
tJJ( ) = 2V sinwl 10 (wr)
r,w w 1o(wa)·
The expression for the potential follows immediately from the inversion
integral, which may be evaluated over real values of w. On noting that
tJJ(r, w) is an even function of w, we may write the solution as a real integral,
namely,
¢(r, z) = 2V roo
coswz sinwl 1o(wr) dw.
7r io w 10 (wa)
This solution could also have been obtained by applying the Fourier cosine
transform to the problem for z ::::: 0, since the potential is obviously an even
function of z, which implies that o¢/oz = 0 at z = o.
Example 3
As a final example of a potential problem, we find the electrostatic field
inside an infinite conducting cylinder of radius a, due to a point charge q
on its axis. 4 If we take the origin of our (cylindrical) coordinates at the
point charge, the potential has the form
q
¢(r, z) = + u(r, z),
y'r2 + Z2
where the first term is the field due to a point charge in the absence of the
boundary, and u(r, z) is a solution of Laplace's equation ('\7 2 u = 0) chosen
to make ¢ = 0 on the surface of the cylinder. Taking the Fourier transform
with respect to z, we obtain the equations
Equations of Motion
We will briefly sketch those equations of hydrodynamics that are appropri-
ate to the theory of water waves. The basic assumption is that water is an
incompressible, nonviscous fluid that may be regarded as a continuum. We
denote its density by p, and its velocity at a point r and time t by v(r, t).
Then a small element of the fluid is acted upon by two distinct forces; the
pressure acting across the boundary of the element, and external forces
such as gravity (generally called body forces). Denoting the pressure by
p and the body forces by F, Newton's second law gives the equation of
motion
Dv
P Dt = F - '\7p,
where the operator D / Dt is the time rate of change for the fluid element,
which is moving at velocity v. In a stationary coordinate system, assum-
ing that the body forces are simply gravitational, the equation of motion
becomes
av + p(v . \7)v + \7p =
p at pg, (8.5)
v = \7¢. (8.6)
Conservation Laws
There is a fundamental conservation law of hydrodynamics that expresses
the fact that fluid is neither created nor destroyed during its motion. For
a fluid of arbitrary density p(r, t), it is
ap
-+\7·(pv)=O.
at
In the present case, p is a constant, and after substituting from (8.6) we
get
(8.7)
so that the velocity potential is a harmonic function as a consequence of
conservation of mass.
Another important equation follows by substituting (8.6) into (8.5). This
gives
a¢ 1 P
at + -2 \7(V ) + \7 -p -
2
\7- 9 = 0
,
1 2 P
-a¢
at + -v
2
+ -p + gz = A(t)
,
Boundary Conditions
We assume that the water has a boundary surface S, with the property
that any point on the surface remains on the surface. At a fixed boundary,
134 8. Partial Differential Equations II
such as the bottom of the sea, the normal velocity must be zero, so that
the velocity potential has to satisfy the condition
an = 0.
O¢
Small-Amplitude Waves
We shall suppose that the elevation of the free surface TJ and the pressure
P are small perturbations from equilibrium values TJ = 0 and P = Po; also,
that the velocity ofthe flow is small. Then we may linearize (8.8) and (8.9),
which gives the simple conditions (p = Po + 8p)
O¢ 8p
g'l'l+-+-=O
·f atp , (8.10)
OTJ _ o¢ = 0 (8.11)
at oz '
on the free surface z = o. Now we may eliminate TJ completely, to get a
boundary condition on ¢, namely,
(8.12)
after which the free surface elevation TJ may be obtained from (8.10). Apart
from the simplified form of these boundary conditions, we have the addi-
tional fact that the region in which ¢ must be determined, and the boundary
at which (8.10) and (8.11) must apply, is fixed by the equilibrium solution.
8.3 Waves Generated by a Surface Displacement 135
(8.14)
°
Suppose that the water is initially at rest, with surface elevation given by
7](x,O) = 7]o(x). The condition ¢(x,z,O) = gives C(w) = 0; on denoting
the transform of 7](x, t) by H(w, t), (8.10) gives
gHo(w) + ~B(w) = 0.
The expressions for the velocity potential ¢ and surface elevation 7] follow
immediately. The integrals for these expressions are intractable even for
simple forms of Ho(w); nevertheless, they yield useful information, either
through numerical studies or asymptotic analysis.
An Asymptotic Form
We examine in some detail the asymptotic form of the solution if we write
Then the expression for ¢(x, 0, t) which we obtain from inverting (8.15a),
1
is
¢(x, 0, t) = --2
yg 00
sin wa .
- - { sm (wx + ty'w9) - .
sm (wx - ty'w9)}
dw
Co'
7r 0 wa yw
°
place x by Ixl; physically this must be so since the initial displacement 1]0 (x)
was symmetrical about x = and hence the disturbance must propagate
in both directions symmetrically. We now make the substitutions
We now make some approximations. First, we note that the major con-
tribution to each integral comes from the regions lal rv 1(31, so that if
a/lxl « 1, we may write 6
¢(x,o,t)':::'.-;
2 (
I~I
)1/2 10 {3
sin(a 2 -(32)da, Ixl »a.
The corresponding approximation to 1](x, t) is readily found to be
1](x, t) = -~ 8¢(~tO, t)
tg1/2 {{3
':::'. - 7rlxI 3 / 2 Jo cos (a 2 - (32) da, Ixl» a.
It is of interest to investigate these integrals for large (3. The two integrals
are the real and imaginary parts of
6 • •• sin(a/lxl)(a ± fJ)2 ()
ThIS follows because, thIS case,
III (a/lxl)(a ± fJ)2 ':::'.1 when a ± fJ ':::'. O.
8.4 Waves Generated by a Periodic Disturbance 137
For large /3, the error function tends to unity, so that we have the approx-
imation
tg 1 / 2 ( gt2 7f)
",(x, t) ~ - 27fIXI 3/ 2 cos 41xl - 4" '
It is interesting to discuss the character of the motion furnished by this
solution. Neglecting the slow decrease of amplitude of the cosine function,
the crests of the waves are given by the condition
gt2 /41xl = (2n + 1/4)7f;
hence, they move at an increasing velocity as time progresses. Another fea-
ture is that the distance between two successive crests increases with time.
Hence, the waves furthest away from the initial disturbance move more
rapidly and become longer as the pattern is drawn out. Simultaneously
new waves of shorter wave length continually appear and also propagate
outward. These conclusions remain unchanged if we consider the three-
dimensional case; 7 furthermore, they may easily be observed by throwing
a small stone into a calm pond.
8
2
~~~' t) + glwIA(w, t) = i~ lP(w) e- uu ,
which is obtained from the boundary condition (8.12). The solution is
and from (8.10), together with the initial condition 1]o(x) = 0 we obtain
the further relation
i~
B(w) - C(w) = p(lwlg _ Q2) tli(w).
1](X, t) = 2~ 1 00
(H(w, t) e- iwx +H( -w, t) eiWX ) dw, (8.19)
and then deform the contour to the one shown in Figure 8.2 which avoids
the point w2 = Qlg. This enables us to consider the various terms in (8.19)
separately, and to define functions 1](S) (x, t) and 1](t) (x, t) by
1](x, t) = 1](S) (x, t) + 1](t) (x, t),
where
1](s) (x, t) = e-
Wt 1 w (tli(w) e- iwx +tli( -w) eiWX ) dw,
1Vw {
27fp C Q2 -wg
t _ 1 (e-iWX+itv'W§ e-iWx-itv'W§)
1]( )(x t) - - tli(w) - -.,----
, - 27fp C 2y'g Q + ..jWg Q - ..jWg (8.20)
eiWX+itv'W§ eiWx-it,;wg) }
+ tli( -w) ( - dw.
Q + ..jWg Q - ..jWg
8.4 Waves Generated by a Periodic Disturbance 139
Im(w)
w=Q/g C
Re(w)
Now we may show that for any fixed x, TJ(t) is of order rl provided that
lli(w) falls off sufficiently fast as w -t
00. To do this, we proceed as follows:
First, observe that the terms having the factor [2 + ...;wg as denominator
may be evaluated as real integrals, and are of order rl for large t by
Problem 2.1. Also, by the same consideration, the contribution from the
other two terms that come from integrating along portions of the real axis
are of order rl. If we denote the integral around the small semicircle by I,
the argument of w - [22/ 9 on the semicircle by ¢, and the minimum value
of 1[2- ...;wgl by .1, then we have the bound
Radiation Conditions
Suppose that ?jJ(x) = 0 for Ixl > a; then lli(w) is an analytic function which
grows no faster than exp(alwl) as Iwl -t 00. We may use this to estimate
TJ( s) (x, t) for large x, by deforming the integration contour to the imaginary
w-axis. If x > a, we deform the contour to the positive imaginary axis for
the term involving exp(iwx) , and to the negative real axis for the term
involving exp( -iwx). In the former case, we must also pick up the residue
at w = [22/ g. Hence,
For large x, the integral is of order x-I, leaving the second term as the
major contribution. 8 This describes travelling waves moving away from the
°
assume that all other functions have the time dependence exp( -int), which
is equivalent to putting B (w) = C (w) = in (8.17). This leads to functions
iJ>(w, z, t), H(w, t) which have poles on the real axis at w = ±n2/ g; conse-
quently the inversion contour must avoid these poles. What our analysis
of the transient terms has achieved has been to indicate the appropriate
choice of contour. We could have done this more easily, however, by one of
two methods:
(i) We could analyze the expression for 1](8) (x, t) obtained for the various
contour choices, and choose the contour that gives outgoing waves.
(ii) We could replace n by n + iE, so that the driving force is increasing
exponentially. By taking the limit E -+ 0, we then recover the correct
result. This procedure is known to physicists as "turning on the pertur-
bation adiabatically" since the effect of the exponential growth is that
there is no driving force for t -+ -00.
Either of these procedures is simpler than the above analysis; the condi-
tion that the steady-state solution has outgoing waves only is known as a
radiation condition.
Problems
8.1 Find the stationary temperature distributionu(x, y) of a semi-infinite
body y ;::: 0, if the boundary is held at the temperature
u(x,O) = {
T, Ixl < a,
0, Ixl > a.
8.4 Show that the solution ¢(x, y) of Laplace's equation in an infinite strip
-00 < x < 00, 0 ::; y ::; a, subject to the boundary conditions
¢(x,O) = f(x),
¢(x, a) = g(x),
is
+ J oo g(t)dt }
_oocosh7r(x-t)/a+cos7ry/a'
Use Problem 7.3(viii).
f(x) = g(x) = {
Vo, Ixl < b,
0, Ixl > b.
8.7 The end of a semi-infinite cylinder 0 ::; r ::; a, 0 ::; z ::; 00 is held
at constant temperature To, while the cylindrical surface is held at zero
temperature. Show that the steady temperature distribution is given by
urz
(
,
_ rro {
) - 101-- 21
7r 0
00
1o(wr)
- ---
10 (wa)
- - dw }
sinwz
w '
where 1o(x) is a modified Bessel function.
u(O, t) = !(t),
u(x, 0) = g(x),
8.10 Show that, if in considering (8.21) we took the contour around the
pole on the other side, the conclusion regarding 1](t) would be invalid.
E + g1] + 8¢ + U 8 ¢ = 0,
p 8t 8x
81] + U 81] _ 8¢ = 0.
8t 8x 8z
Show that, if p(x, t) = p(x) cos nt, t > 0, with the motion undisturbed
initially, then the following behavior is predicted: 9
(i) If u 2 > gh, the disturbance dies out both upstream and downstream
of the region where p(x) is nonzero.
(ii) If U 2 < gh, the disturbance dies out upstream, but at any down-
stream point there is, after sufficient time has elapsed, a steady periodic
disturbance.
IFor example, Gelfand and Shilov [27], Hoskins and Sousa Pinto [29], Kanwal
[31], and Zemanian [76].
144 9. Generalized Functions
In this situation, E(t) may not be recovered for any choice of a smooth
sampling function k(t), and so a theory that deals with values of E(t)
directly would be sufficient. The essential difference between using E(t )
and E(t) is seen more clearly by setting t = 0 in (9.2), for then we see
that E(O) is a function of the functions k(t) and E(t). Functions that act
on functions rather than numbers are usually called functionals; E(t) is
a functional, assigning a value E(t) at each t depending on the pair of
functions k(t) and E(t).
Other examples of functionals are the Fourier and Laplace transforms.
The Fourier transform, for instance, assigns the value F( w) to the function
pair f(x), exp(iwx). The essential difference between these examples, and
the generalized functions we are about to define, is that we may evaluate
the functionals by classical integration theory. We have already seen that
there is no such interpretation possible for (9.1); rather we must define the
delta function by
L[f] = f(xo),
instead of (9.1). This we will now proceed to do, but using a more conve-
nient notation.
(i) Each function ¢(x) has derivatives of every order for all x.
(ii) Each function ¢(x) has compact support, that is, it is zero outside
some finite interval a < x < b, which will depend on the test function.
9.2 Test Functions and Generalized Functions 145
¢(x) = { e
-1/(1-x2)
, Ixl < 1, (9.3)
0, Ixl ?: 1.
Note that any function of a complex variable identically zero for Ixl > a,
for some finite a, must have essential singularities at points on the real axis.
The conditions imposed on the test functions are very restrictive, so it is
reassuring to note that for any continuous function f(x) which is absolutely
integrable, there are test functions that are arbitrarily close, that is, for any
E > 0 we may find a test function 'IjJ(x) such that
¢(x/a)
(9.5)
¢a(t) = J~oo ¢(x/a) dx'
Then it is not difficult to show that the functions 'ljJa(x) defined by
are test functions, and that we may choose aa so that for all a> aa, 'ljJa(X)
satisfies (9.4).
so that p(w) is an entire analytic function whose growth for large Iwl is
bounded by an exponential function. Conversely, given any function p(w)
with these properties it is easy to show that it is the Fourier transform of
a test function. This space of Fourier transforms is usually denoted Z. 3
Linear Functionals
A (complex-valued) function f of a real variable -00 < x < 00 may be
defined as a rule that assigns a complex number (the value f (x)) to each
real x. Now the key to the theory of generalized functions is that this
concept be relinquished in favor of a less restrictive one so that (9.1) may
be given a precise meaning. This is afforded by the concept of a linear
functional, that is, a rule, denoted (1, ¢), which associates with every test
function ¢( x) some complex number satisfying the condition
I:
following: let f(x) be any function that is integrable; then we define (1, ¢)
by
(1, ¢) = f(x)¢(x) dx. (9.6)
Generalized Functions
Since the concept of continuity is of prime importance in the theory of
ordinary functions, we define a similar concept for linear functionals. We
will say that the sequence ¢n (x) of test functions converges to zero if there
is some interval Ixl :::; a outside which all the ¢n(x) vanish, and inside
which they converge to zero uniformly. Further, we will say that a linear
functional (I, ¢) is continuous if the sequence of values (I, ¢n) tends to zero
whenever the sequence of test functions ¢n(x) converges to zero. Finally, we
define generalized functions as the set of all continuous linear functionals
acting on a set of test functions. In particular, (9.6) defines a generalized
function for any integrable function f(x), since it is easy to show that it
is continuous. 4 Functionals of this type, which correspond to an ordinary
integrable function, are said to be regular generalized functions. 5 All others,
for example, the delta function, are said to be singular.
If we denote the delta function by o(x-xo)-a convenient and suggestive
notation although it is not a function-then we retain its essential property
by defining it by
(8(x - xo), ¢) = ¢(xo).
It may readily be seen that this defines a continuous linear functional, that
is, a generalized function.
xo(x) = 0, (9.7)
4By some standard theorems of classical analysis, we may write the series of
inequalities
and if the sequence f/1n{X) converges to zero, so must the right-hand side of this
inequality.
5Thus, the functional E{t) discussed in Section 9.1 is regular.
148 9. Generalized FUnctions
°
since the zero generalized function maps every test function to zero. This
shows that the equation xf(x) = has as one possible solution f(x) =
A8(x), where A is an arbitrary constant. This is quite different from the
situation with ordinary functions, for which the solution of (9.7) would be
f(x) = 0, x =1= 0, f(O) = A, giving the zero generalized function when this
is substituted in (9.6), regardless of the value of A.
Transformation of Variables
Given an integrable function f(x), we may define a regular generalized
function by (9.6). Suppose, however, that we wish to use the composite
function f(g(x)), where g(x) is an infinitely differentiable monotonically
increasing function satisfying g(x) --+ ±oo as x --+ ±oo. We may relate the
i:
two generalized functions by
i:
(1(g(x)), q;(x)) = f(g(x))q;(x) dx
(9.8)
= {J(g)q;(x(g))jg'(x(g))}dg
= (1(g) , ,¢(g)),
where
,¢(g) = q;(x(g)) .
g'(x(g))
9.3 Elementary Properties 149
Differentiation
We again commence with a regular generalized function f, where the func-
tion f(x) has a first derivative that is also integrable. Then we may define
the generalized function f'(x) by (9.6), and relate it to the original gener-
I:
alized function by integrating by parts, viz.
I:
(f', cp) = f'(x)cp(x) dx
= - f(x)cp'(x) dx
= -(f, cp').
Now we define the derivative of an arbitrary generalized function by
I: I:
by an abuse of notation we also denote this by
If f does not satisfy the conditions for validity of integration by parts in the
classical framework, then (9.10) is a symbolic way of writing the definition
(9.9). It emphasizes the important principle that we define the properties
of generalized functions so that desirable manipulations are always valid.
Example 1
Consider the Heaviside step function, h(x), which has the value unity for
x > 0 and zero for x < O. In the ordinary sense it may not be differentiated,
150 9. Generalized Functions
i:
but as a generalized function this causes no trouble. From (9.10), we have
00
h'(x)¢(x) dx = - 100 h(x)¢'(x) dx
= ¢(O),
which is the defining relation for the delta function; hence,
h'(x - xo) = J(x - xo). (9.11)
Example 2
Using (9.11), we may differentiate a function~in the generalized sense----
whose only problem is a finite number of finite discontinuities. We have
represented such a function schematically in Figure 9.1; in precise terms,
we assume that we may write
n
f(x) = h(x) + LAkh(X - Xk),
k=l
Convergence Properties
A sequence of ordinary functions fv(x) is said to converge to the function
f(x) iffor each x the values fv(x) converges to the value f(x). Similarly, we
shall say that the generalized functions fv(x) converge to the generalized
function f(x) iffor each test function ¢(x) the values (Iv, ¢) converge to the
value (I, ¢). This definition is the same for integer values of v or continuous
values of v. We give two examples:
(i) Let
f,(x) = e-'x h(x), E > O.
Then, for any test function,
lim
,-+0
1 00
-00
f,(x)¢(x) dx =
10roo ¢(x) dx;
hence, we write
lim f,(x)
,-+0
= h(x).
9.3 Elementary Properties 151
~: I
'\ I x
(ii) Let
!v(x) = {I/'0,
Ixl ::; 1/2v,
Ixl > 1/2v.
Then we have, for any test function,
lim
v-+oo
1
00
-00
!v(X)¢(X) dx = lim
v-+oo
1/
11/2v
-1/2v
¢(x) dx
= ¢(O),
which may be written as
lim fv(x)
v-+oo
= o(x).
This example shows that a sequence of regular generalized functions may
converge to a singular generalized function. Other simple examples may be
found in Problem 9.5.
define regular generalized functions, and the limit E ---+ 0 is also defined for
all test functions. Hence we may define the singular generalized function
1
x- 1 by
100
00 ¢(x) dx = lim
x E-+O Ixl>E
¢(x) dx,
x
and this is well known as the principal value of the integral, already en-
countered in Section 7.4.
Differentiation of Sequences
For any convergent sequence of generalized functions, and any test function
¢, we may write
lim(f~, ¢) = -lim(fv, ¢')
v v
which converges to a function f (x) equal to (7r - x) /2 for 0 < x < 27r, equal
to zero for x = 0, and periodic with period 27r for other real x. The series
converges to the regular generalized function f (x). One way to show this
is to note that the function defined by
7rX x2
g(x) = 2 - 4'
and extended the the real axis by g( x + 27r) = g( x), is continuous and
piecewise differentiable, and that f (x) = g' (x) in the sense of generalized
functions, even though g' (x) is not defined in the classical sense for x =
(2n + 1)7r. Moreover,
9 x - ( ) _L
oo 1 - cos nx
n2
,
n=l
which is uniformly continuous, so that the order of integration and sum-
mation may be interchanged, making it an equality of generalized function.
Equation (9.14) follows immediately by differentiation of generalized func-
tions.
Differentiating term-by-term once more, we obtain the further relation
1
L
00
Unlike (9.14), this does not converge in the classical sense. If we apply this
to a test function ¢(x), with Fourier transform <1>(w), then on writing the
cosine as a sum of complex exponentials we obtain
L L
00 00
lim _1_.
y-+ox+~y
=.!:. - i7ro(x),
X
(9.17)
where the generalized function X-I is the principal value integral when
applied to a test function.
Ii:
i:
1<1>(w) I = ¢(x) eiwx dxl
< 1¢(x)1 dx
=A,
so that <:l>(w) is bounded as Iwl -+ 00. Moreover, the nth derivative of ¢(x) is
also a test function, so its Fourier transform is bounded for real w. Applying
(7.13a), this means that
n = 0,1,2, ... ,
that is, the functions <:l>(w) fall off faster than any finite power of w. Also,
by using (7.13b) we see that <:l>(w) is infinitely differentiable. Thus we may
use this set of functions 9 to set up generalized functions exactly as for the
original test functions, and all the properties we have proved above will
again apply. 10 In particular, regular generalized functions corresponding
to (9.6) may be constructed; for integrable functions F(w), we write
Examples
(i) Consider the function G(w) = (w - wO)-l, where Wo is real. We may
use it to define two different analytic functionals, namely,
(G+, If/) = l ia oo
+ If/(w) dw,
l-
ia-oo W - Wo
ia + oo If/(w)
(G_,If/) = --dw,
-ia-oo W - Wo
-00
J(x)¢( -x) dx = - 1
27f
1 00
-00
F(w)4>(w) dw.
(9.19)
The integrals on the right-hand side are particular types of analytic func-
i:
tionals, so we introduce the notation
(F,4» = F(w)4>(w)dw.
I:
to represent ¢( -xo) we obtain the analytic functional l l
I:
then (9.20) gives
= 27rP(wo),
which is equivalent to F = 27rJ(w - wo). From (9.18) above, we may also
write F as an analytic functional, even though it is a singular generalized
function.
Elementary Properties
Because of the restriction on the test functions, we may apply (7.13) re-
peatedly to obtain
F[¢(n)(x)] = (-iw)np(w),
(9.21)
F[(ixt¢(x)] = p(n)(w),
for arbitrary n. We use these results to show that they also apply to arbi-
trary generalized functions. Considering first the derivatives of the gener-
alized function f(x), (9.21) yields
l1lf we ignore the fact that exp(iwx) is not a test function and write
1 00
-00
eiwx u"( X - xo ) d x = e iwxo ,
then we lose essential information regarding the contour of the analytic functional.
We shall see the importance of retaining such information in the next chapter,
since it is often equivalent to specifying boundary conditions at infinity.
Problems 157
Comparison with (9.20b) shows that (-iw)n F(w) is the Fourier transform
of fCn)(x). A similar argument shows that FCn)(w) is the Fourier trans-
form of (ix)n f(x). These are the natural extension of (7.13) to generalized
functions.
Another important property of Fourier transforms follows directly from
the definition. Suppose the sequence of generalized functions fv(x) con-
verges; then the sequence of Fourier transforms Fv also converges. This is
frequently useful in finding the Fourier transform of a singular generalized
function as we shall show by example. For, if
f(x) = 8'(x),
then
Again, if
(F, if?) = i: (-iw)if?(w) dw.
f(x) = x,
then
F(w) = -iw8'(w).
As a slightly less trivial example, consider
where h(x) is the unit step function. Now the simplest way is to define the
regular generalized functions f€(x) = exp( -Ex)f(x), E > 0, and then take
the limit E -+ O. In this way, we obtain
- iif?(w) dw,
c W-Wo
where the contour C is parallel to the real axis, and passes above the
singularity at w = Wo.
Problems
lb
9.1 Show that
¢(x) = ¢a(x - y) dy,
9.3 Show that if two regular generalized functions are equal, meaning that
(I, ¢) = (g, ¢) for all ¢, then at any point where f(x) and g(x) are contin-
uous functions,
f(x) = g(x).
9.4 Show that:
(i)
a
-8(Ctx) = --8(x).
1
aCt Ct 2
(ii)
~8'(Ctx) = -~8'(x).
aCt 3 Ct
(iii)
f(x)8(x) = f(O)8(x).
(iv)
f(x)8'(x) = -J'(O)8(x) + f(O)8'(x).
(v)
8(e aX -/3) = ~8
Ct/3
(x _In/3). Ct
(i)
lim
a-+oo 10r coswxdw = 7r8(x).
(ii)
l/ 2 2
lim . (;;;. e- v x = 8(x).
v-+oo V 7r
(iii)
lim ~ e- a1xl = 8(x).
a-+oo 2
12 Such relations are the basis of simpler treatments, such as Lighthill [38]. The
desire to formalize limit interchange operations was also one of the motivations
for the development of the theory.
Problems 159
where
n =I- 0, k > O.
Show that, if p ~ k +2
L
00
where 00
m>O.
m~n.
(ii)
(iii)
r 8(x + Ll) - 8(x) - 8'( )
.l~o Ll - x.
(x~,¢) = 1
o
1
x A ( ¢(x) - ¢(O) - x¢'(O) - ... _ x n ¢(n-l)
(n-1)!
- l(0)
) dx
+1
00 n ¢(k-l)(O)
1 XA¢(X) dx + {; (k _ I)! ().. + k)"
)"~0,-1,-2, ....
and by analytic continuation for Re()..) < -1. Show that the generalized
functions (x ± iO)A are related to x~ by
9.12 The generalized function X-I was defined in Section 9.3 as the prin-
cipal value integral, and we showed that
(i)
(x-n "') = 1 (x- 1 ",(n-l))
,,{-, (n-1)! ,,{-, ,
(ii)
(x- 2 , ¢) = roo ¢(x) + ¢( -:) - 2¢(0) dx.
io x
Problems 161
is
m-l
f(x) = L Gk 8(k)(X),
k=O
(i)
i
F[h(x)] = 1f8(w) + w-.
(ii)
F [e aX ] = 21f8(w - ia).
(iii)
F[sinax] = -i1f{8(w + a) - 8(w - an.
(iv)
F [x~] = ±i e±i7rA/2 A! (w ± iO)-A-l.
(v)
(vi)
(vii)
(viii)
'm
T
.r
[
X
-m] = ~
(m _ l)!w
1f m-l
sgmw.
162 9. Generalized Functions
9.15 Prove that every ultradistribution 14 has the convergent Taylor series
+ a) = L
00 n
F(w ;F(n)(w),
n.
n=O
for all a.
9.16 Using the Taylor series for the exponential function, show that
F [e aX ] = 27rO(w - ia).
lExcellent accounts may be found in Morse and Feshbach [41], Chapter 7, and
Stakgold [57].
164 10. Green's Functions
where the coefficients p(x), q(x), r(x) and the function f(x) are given. If
we impose on the solution y(x) the boundary conditions
aly(a) + a2y'(a) = 0,
(10.2)
b1y(b) + b2 y'(b) = 0, a < b,
then we have a two-point boundary-value problem of a type quite common
in applications. Any two solutions of this problem differ by a solution of
the homogeneous problem
L[y] =0, (10.3)
together with the boundary conditions. If the homogeneous problem has
no solution other than y(x) == 0, then it follows that the original problem
can have only one solution, which we will now construct.
Let UL(X) be the solution of the homogeneous problem (10.3) satisfy-
ing the boundary condition at the left-hand boundary x = aj udx) is
unique up to normalization. Similarly, let UR(X) be the solution satisfying
the boundary condition at the right-hand boundary. The functions UL(X),
UR(X) cannot be linearly dependent, since there are no solutions of (10.3)
satisfying both boundary conditions. We may therefore use these func-
tions to construct a solution of the original boundary-value problem by the
method of variation of parameters. We write
(10.4)
, UR(X)
VL(X) = - p(x)W(x/(x),
, UL(X) (10.6)
VR(X) = p(x)W(x/(x),
W(x) = udx)uk(x) - UR(X)U~(x).
W(x) is the Wronskian of the two solutions. 2 We must also satisfy the
boundary conditionsj from (10.4) we may write these as
vdb) = 0,
2In complete detail we should write W [UL, UR] (x), but we will use abbreviated
notations whose meaning should be apparent from the context.
10.1 One-Dimensional Green's Functions 165
(10.7)
where
x <~,
(10.8)
x >~.
The function g(x,~) thus defined is known as the Green's function for the
given boundary-value problem. It is unique, since the Wronskian W(~)
carries the same normalization as the functions in the numerator.
Adjoint Problem
Suppose u(x) and v(x) are two functions twice differentiable but otherwise
arbitrary. Using integration by parts, we have the identity
for every u(x) satisfying (10.2). Using (10.2) and (10.9), this is equivalent
to the boundary conditions
{alp(a) + a2P'(a) - a2q(a)} v(a) + a2p(a)v'(a) = 0,
(10.10)
{b1P(b) + b2P'(b) - b2q(b)} v(b) + b2P(b)v'(b) = O.
166 10. Green's Functions
ul(x)ut(~) x <~,
p(~)wt(~) ,
gt(x,~) =
ut(x)ul(~ x >~,
p(~)wt(~) ,
= g(~, x).
Thus, the two Green's functions are related quite simply by 9 t (x,~)
x), a natural extension of the (real) matrix adjoint.
g(~,
Self-Adjoint Systems
If the boundary-value problem is identical with its adjoint, it is said to be
self-adjoint. It is readily seen from the foregoing that the necessary and
sufficient condition for this is q = p', so the most general such problem
involves the self-adjoint differential operator
L[u] = (pu')' + ru,
together with the self-adjoint boundary conditions (10.2). The Green's
function for such problems has the important property of symmetry; explic-
itly g(x,~) = g(~, x). Furthermore, since we may easily show (Problem 10.2)
that Ll = p(x)W(x) is a constant, (10.8) simplifies to
x <~,
x >~,
Let us consider the differential equation for g(x, e). We operate on the
function y(x) = (g, ¢) with L, then by (10.8),
Fourier Transform
This viewpoint is particularly useful if the operator L is sufficiently simple
for the Fourier transform to be of use. As an example, we consider the
(::2 -
equation
a2) g(x, e) = 8(x - e), (10.13)
3That is, they are the regular functionals constructed from the usual solutions.
168 10. Green's Functions
Im(ro)
Re(ro)
(10.14)
_ 1
g(x,';) - --2
l ic +oo eiw(e- x )
2 + a 2 dw, c> a,
11" ic-oo W
O' x <.;,
g(x,';) = { -sm
1. h ( C)
a x-." x> .;.
a '
10.3 Poisson's Equation in Two Dimensions 169
(iii) Again we may choose the contour of Figure 10.1, which gives
(10.15)
where x and y are unrestricted. The problem does not have a unique solu-
tion, although any two solutions differ by a harmonic function, that is, a
solution to the homogeneous equation. It can be shown quite readily that a
solution is g(r, r') = (1/2rr) In Ir - r'l. We shall show how to construct this
function from the defining equation via the Fourier transform. On taking
the transform with respect to x we have
(
fj2
ay2 - w
2) .,
G(w, y, x', y') = e'wx 8(y - y'). (10.16)
Now we know that for any w this equation has more than one solution. In
order to obtain for G a form that has an inverse Fourier transform in the
usual sense, we choose the solution of (10.16), for real w, as
~ {jiCt e-iw(x-x')+wly-y'l
2rr -00 2w
dw -1iCt
00 e-iw(x-x')-wly-y'l
2w
dw} (10.17)
1
= - 4rr {Ei(a(x - x') + ialy - y'l) + Ei(a(x - x') - ialy - y'I)}·
4This requirement comes from taking the Fourier transform of o(x - x').
170 10. Green's Functions
Now it is shown in Section 1.3 that the exponential integral may be written
in the form Ei( z) = - In z + ¢( z), where ¢( z) is an entire function. Hence,
(10.17) may be written as
\7 2u(r) = f(r).
This relationship holds for a wide class of functions and generalized func-
tions f(r); in particular it holds for any function f(r) that is absolutely
integrable.
1 R.
g(r,r')f(r} dr = r
JR.
(g(r,r'}'iJ2 u(r) - u(r}'iJ2g(r, r'}) dr
An Example
We will find the Green's function for an infinite strip, determined by the
equations
'iJ2g(r,r') = 8(r - r'), -00 < x < 00, 0< y < I, (10.20a)
172 10. Green's Functions
and
g(r, r') = 0, y = 0, y = l. (1O.20b)
Taking the Fourier transform of (1O.20a) in x, we have
fj2 -
( oy2 W
2) G(w, y, x ,y
I ')
= eiwx' u5:( y - y ') ,
which is the same equation as (10.16). This time, however, there are two
boundary conditions, and on using (10.8) we have
-00
e-iw(x-x') sinhwy< sinhw(l - y»
. h l
wsm w
dw. (10.21)
Relation to Images
In applications, it may be useful to leave 9 as an integral representation,
since it cannot be evaluated in finite closed form. An infinite expansion
may, however, be obtained, as we now show. To obtain it, we first write
(10.21) as twice the integral over the range 0 :::; w < 00, and then apply
the expansion
Normal Derivative
It is of interest to calculate the normal derivative, (n· '\1)g, on the boundary.
For y = 0, we obtain from (10.21)
, , __ 1
gy(x,O,x ,y) -
~
2
IT
00
-00
e-iw(x-x')
SIn
sinhw(l - y')
. h l
w
dw.
If y' --+ 0, the integral tends to o(x-x'); if y' = l, it is identically zero. Both
of these properties are necessary for the validity of (10.19) to the present
system.
which have the time dependence exp( -iflt). This converts the wave equa-
tion to Helmholtz's equation
k = flle,
°
The most straightforward method of solving (10.23) is to look for solu-
tions of ('\1 2 + k 2)e( r, r') = which have a singularity at r = r'; these
turn out to be the Hankel functions of argument klr - r'l. The arbitrary
constants may then be chosen by applying Green's theorem to the integral
where ¢ is a test function, exactly as was done above. We leave this ap-
proach to the problems, choosing rather to attack (10.23) directly. On tak-
ing the Fourier transform with respect to x, we obtain
Im(co)
co=-k
branch cut
C2
Suppose we choose the inversion contour so that Re(v'w 2 - k2) ;::: 0 on it,
then the solution that is bounded for large Iy - y'l is
eiwx'-~IY-Y/l
x' y') - -
E(w , y, -----=-:-r==;;==:=;.,---- (10.25)
,- 2v'w2 - k2 '
and substitution into the Fourier inversion theorem gives explicit forms for
the elementary solution.
The only two contours on which the condition Re( YW 2 - k 2 ) ;::: 0 is
satisfied are shown in Figure 10.2; they lead to two different elementary
solutions. We will evaluate the inversion integral for contour C 1 • First, we
introduce the polar coordinates p, () by
x - x' = pcos(},
Iy - y'l = p sin (),
w = -kcos(¢ + it)
(10.26)
= -k cos ¢ cosh t + ik sin ¢ sinh t, -00 < t < 00.
The path described using this new real variable t is a hyperbola in the
w plane, passing between two branch points at w = ±k, and is shown in
Figure 10.3. On it, we may write
where we have chosen the branch of Yw2 - k 2 , which makes it agree with
the choice appropriate for C 1 . Now we may deform the contour C1 to the
hyperbola provided the contributions from the arcs LI, L2 are of order R- 1
(see Figure 10.3). On LI, this imposes the requirement ¢ :::; (), on L2 we
10.4 Helmholtz's Equation in Two Dimensions 175
CI) =-k
require if> ;:::: e. The only consistent choice is if> = e whereupon the Fourier
inversion integral of (10.25) becomes
e(r, r') = - -
1
471"
100
-00
eikpcosht dt
(10.27)
-- _!:..H(l)(kp)
4 0 .
ro.J
e- 3ill"/4 (
_
2 )1/2 .e~kp kp:» 1.
4 7I"kp ,
ro.J--
e3i1r / 4 ( _
2 )1/2 .e-~kp
kp:» 1.
4 7I"kp ,
This corresponds to incoming waves at infinity. Thus we have two distinct
elementary solutions; the decision on whether to use either one, or a linear
176 10. Green's Functions
(\7 2 + k 2)u(r) =
f(r),
u(r) = (h(r),
(n· \7)u(r) = ¢2(r),
Furthermore, we may again show that
Problems
10.1 Show that the functions defined in (10.11) do satisfy the stated dif-
ferential equation, and the adjoint boundary condition, and that the Wron-
skian is given by
10.4 Show that the Green's function for Poisson's equation in a three-
dimensional half-space, -00 < x < 00, -00 < y < 00, Z > 0, subject to
9 = 0 on Z = 0 is
where
10.5 Show that the Green's function for Helmholtz's equation in a three-
dimensional half-space z > 0, satisfying 8g / 8n = 0 on z = 0, and having
the form of outgoing waves for large R, is
- 47rR - 47rR"
10.6 A metal disc of radius a is set into an infinite metal wall, separated
by a thin insulator. If the potential of the disc oscillates at frequency D,
show that the potential far from the disc has the approximate form
Va 2
,J,. ikR-Wt J 1 (ka sin (})
,+,"'--e
- R kasin{} ,
D=ck,
Jx2 + y2
tan{} = .
z
The coordinates x, y are in the plane of the disc, whose center defines the
origin.
10.7 Show that the Green's function for Helmholtz's equation in the strip
-00 < x < 00, 0 ~ y ~ a, satisfying 9 = 0 when y = 0 or a, is
, ') _ 1
9 (x, x ,y, y - --2
7r
1 0
00
sinh sy< sinh s( a - y» -iwlx-x'I.3..
. h l
ssm s
e uw,
where
provided that the functions 'ljJl, 'ljJ2 satisfy the respective equations
(\7 2 + ki,2)'ljJl,2 = 0,
'ljJl,2(r) = k~,d(r) + g(r), ron S.
°
Use this to represent the solution in terms of the Green's function (for
Helmholtz's equation) that satisfies 9 = on B.
(\7 2 + k 2?'ljJ = 0,
'ljJ(r) = f(r),
} ron S,
\7 2'ljJ(r) = g(r),
'ljJ(r) = J
f(r') :n G(r, r') dB'
1
isr{k 2f(r') + g(r')} 8k8n
8 2
- 2k G(r, r') dB'.
\7 4 ¢(x, y, z) = 0,
-00 < x < 00,
z > 0,
subject to
¢(x,y,O) = f(x,y),
[\7 2 ¢t=o = g(x, y).
11
Transforms in Several Variables
is the two-dimensional Fourier transform of f(x, y). Provided that the in-
version formula (7.3b) may be applied twice, we have
Elementary Properties
Formal manipulations, which we leave to the reader as an exercise, lead to
the following parallels to the properties derived in Section 7.2.
(i) Derivatives: 2
F[Y' f(r)] = -ikF(k),
F[rf(r)] = -iY'kF(k),
or
Y'r ++ -ik,
Y'k ++ +ir.
(ii) Translations:
F[f(r - a)] = eik .a F(k),
F [e iq .r f(r)] = F(k + q).
(iii) Convolutions: if
then
H(k) = G(k)F(k).
f
Also,
F[f(r)g(r)] = (2~)n F(k')G(k - k') dnk'.
2These results apply either to functions having the necessary behavior at infin-
ity to allow integration by parts, or to generalized functions, with no restrictions.
11.1 Basic Notation and Results 183
Illustrative Example
As a simple application, we will rederive the results of Section 10.4 using
a two-variable transform. The algebraic manipulations involved are trivial,
but the analysis of the inversion integral already exhibits some interesting
and illuminating subtleties. We want to solve the equation3
where
E(q) = J e(r) eiq .r d2 r.
e(r)
1
= (271")2
J e- iq .r
k2 _ q2 d2 q. (11.2)
This solution is not unique, since the Fourier transform of a delta function
does not specify the inversion contour. 4 We denote the components of q by
~ and 'f/; it is our intention first to evaluate the 'f/ integral for each value
of ~ that is needed, and then to integrate over ~. Great care is needed at
this point, since the 'f/ integral depends critically on the position of the 'f/
contour relative to each value of~. Hence, we choose the ~ contour first; our
choice is indicated in Figure 11.1. On this contour, 0 < arg(~2 - k 2 ) < 71",
so we may define the function s(~, k) by
I(~, y) = -
1 00
-00
e-i1)Y
Im@
c
~=-k ~=k Re@
branch cut
where we have used the real axis, since the poles lie off it by virtue of (11.3).
By residues, we have
7re- s1yl
I(f"y) = - s '
and on using this in (11.2), we obtain
e(r) - - -
-
1
47r
1 e- i 'f}X-V rP- k2 Iyl
. / 2 k2
d'Yl'/l
C vTJ-
a result already obtained in Section 10.4.
e(r)
1
= -2
7r
100
0
Jo(qr)
k2
- q
2 qdq.
This integral defines an analytic function of k for 0 < arg( k) < 7r, and in
particular, if k = ia, Problem 18.15 yields
1
e(r) = --Ko(ar)
27r
= -2~Ko(-ikr).
11.2 Diffraction of Scalar Waves 185
Having evaluated the integrals, we must set E = 0; (18.47) then shows that
k = Die,
5If we can calculate the aperture function in the presence of the screen, the
problem is exactly solved.
186 11. Transforms in Several Variables
. 1. ( s, Z ) =
If'
_1_ 1 iq.S-Zy'q2_k 2
(271")2 e
d2
q
1..1..( , 0) e -iq.s'd2 s,
If' s,
- __
-
1
(2)2
71"
1' ¢(s ,0) d
2'
S
~
d
z
(1 eiq .(s-s')-zy'q2_k 2 2 )
..jq2_k2
d q (11.8)
= 2~ 1 ¢(S',O)! (e: R
) d2 s',
where
R2 = Z2 + Is - s'1 2.
The evaluation of the q integral, which leads to the last step, is dealt with
in Problem 11.3. This formula is particularly appropriate if ¢ satisfies the
boundary condition ¢ = 0 on B, for then the integral in (11.8) extends
only over the aperture A. Thus, in this case we have expressed ¢ in terms
of its value in A.
where r is the unit vector rllrl. This replacement is made in the expo-
nential function; elsewhere we simply write R ~ r. Situations where it is
necessary to retain the quadratic terms in (11.9) are called Fresnel diffrac-
tion, the simpler case, R ~ r - r . s' is called Fraunhofer diffraction. For
Fraunhofer diffraction, (11.8) becomes
¢(S'Z)=-271"r 2
ze ikr 1 .. , e- tkr . s ¢(s',0)d2 s'
H = V" x A,
l8A
E = -~8t - V"¢,
V" . A + ~ 8¢ = O.
c 8t
After some simple algebra, it is readily shown that A and ¢ are determined
from j and p by
(ll.lOa)
(ll.lOb)
6These units are rarely used any more; however, the choice of units has no
effect on the mathematical techniques illustrated herein.
188 11. Transforms in Several Variables
transform
iP(k,w) = ! ¢(r,t)eiCk-r+wtld3rdt,
with a similar definition for p(k,w). Equation (ll.lOb) now reduces to sim-
ple algebra, with the solution
From the product form, we deduce that the Fourier transform of the Green's
function is 47r/(k 2 - w 2 /c 2 ). This is only defined after we apply boundary
conditions. We take the radiation condition Im(w) > 0, so that
The w integral is not defined in the usual sense; but since we are dealing
with generalized functions we use the result F[o(t - t')] = exp(iwt') to get
A(
r, t
) =~!j(r"t-Ir-r'l/c)d3'
Ir-r 'I r.
c
This is called a retarded solution because the source at r', t' only influences
the potential at r, t at a later time related by t = t' + Ir - r'l/c. Advanced
potentials are obtained by taking Im(w) < 0.
from which
"'(
'Yr,t
)= ! o(r' - ro) d3 ,
I'
r - ro I r,
A( ) = ~! o(r' - ro)v(t - Ir' - rol/c) d3 ,
r, t c I'
r - ro I r.
Problems 189
The integrals must also be evaluated carefully, since ro = r(t -Ir' - rol/c)
is a function of r'. The simplest procedure is to introduce a new variable
s = r' -ro; then it is readily shown that the Jacobian of this transformation
is 1 + R· v(t')/ R, where R = ro - r, t' = t - R/c. Now the delta function
is simply r5 (s), so we have
ec
¢(r,t) = cR+R.v(t')'
ev(t')
A(r, t) = cR + R. v(t')
These are the Lienard-Wiechert potentials.
Problems
11.1 Verify the following Fourier transform pairs (a> 0 throughout):
(i)
e- ar
f(r) = - , r = (x,y),
r
F(k) _ 27r
Vk2 + a 2
(ii)
xe- ar
f(r) = -2-' r = (x,y),
r
F(k)_27r~(1_ k ) k = (~, 7]).
- k2 Jk2 + a2 '
(iii)
f(r) = e- a2r2 , r = (x, y, z),
F(k) = (7r3/2/a3)e-k2/4a2.
(iv)
f(r) = e- ar /r, r = (x,y,z),
47r
F(k) = k2
+a 2
(v)
1, r < a,
f(r) ={ r = (x,y,z),
0, r > a,
F(k) = !: (sinka-kacoska).
190 11. Transforms in Several Variables
11.2 Show that the vector operators (in three dimensions) transform as
'V¢(r) -+ -ikifJ(k),
'V. u(r) -+ -ik· U(k),
'V x u(r) -+ -ik x U(k).
11.3 Evaluate the q integral in (11.8) using the methods of Section 10.4.
11.4 Apply a two-variable Fourier transform to the problem
OU 2
at = y;,'V u,
u(r, 0, 0) = f(r),
to show that
u(r,O,t) = --41-
7ry;,t
10
00
pf(p)e- P2 /4Kt Io(prj2y;,t)dp.
't'"72 ( ) _ ~ 02u(x, y, t)
v U x, y, t - c2 ot2 '
u(x, y, 0) = 0,
Ut(x, y, 0) = 0,
and the boundary condition
u(O, y, t) = f(y),
IS
l
0, t < x/c,
{
u(x, y, t) = xct Y+Y' f(8)
- t > x/c,
7r Y_Y' p2 vic2t 2 _ p2 d8 '
where
u(r,O) = f(r).
In particular, show that
+ 7r- 3 / 2 1 J (r +
t
dt' ¢ 2s&, t') e- 82 d3 s.
192 11. Transforms in Several Variables
G(r - r', v) =
1
(27f)3
J e-ik.(r-r')
1 + ik. v d3 k.
may be written8
Show that
F(p, q) = 11
00 00
f(x, y) e- px - qy dx dy = £2[f(x, y)].
(i)
£2[J(X + y)] = F(q) - F(p) ,
p-q
where
F(p) = £[f(x)].
(ii)
£2[f(x - y)] = F(p) + F(q) , f even,
p+q
F(p) - F(q)
f odd.
p+q
(iii)
£2[8u/8x] = pU(p, q) - Uo(q),
where
Uo(q) = £[u(O, y)](q).
(iv)
where
8u 8u
x::::: 0, y::::: 0,
8x 8y'
subject to
u(x, 0) = a(x).
using the double Laplace transform. (U(p, q) must be analytic for Re(p) >
a, Re(q) > (3, for some fixed a, (3. This imposes a restriction on the possible
value of u(O, y), and thus determines the solution uniquely.)
8u 8 2u
8t = K 8x2' x::::: 0,
u(x, 0) = 0, x::::: 0,
u(O, t) = To, t ::::: 0,
using the double Laplace transform.
= x 2: 0, t 2: 0,
OX 2 C2 ot2 '
U(X,O) = f(x),
Ut(x,O) = g(x),
u(O, t) = 0,
In this and the next chapter, we study the Mellin transform, which, while
closely related to the Fourier transform, has its own peculiar uses. In par-
ticular, it turns out to be a most convenient tool for deriving asymptotic
expansions, although it has other applications. 1
12.1 Definitions
i:
We recall first that the Fourier transform pair may be written in the form
l
and
ic oo
a(t) = -1 + .
A(w) e- twt dw, ex < c < (3.
21l' ic-oo
The Mellin transform and its inverse follows if we introduce the variable
changes
p= iw, f(x) = a(lnx),
1
f(x) = -2.
jC+ioo F(p)x-Pdp, a < c < (3. (12.1b)
7f~ c-ioo
Equation (12.1a) is the Mellin transform, and (12.1b) is the Mellin inversion
formula. The integral defining the transform normally exists only in the
strip a < Re(p) < (3; therefore the inversion contour must be placed in this
strip.
Example 1
The exponential function:
a> 0,
F(p) = 1 00
e- ax xp-1dx
(p - 1)!
Re(p) > o.
By the inversion formula, we then have the integral representation
f(x) = -.
1 jC+ioo (p - 1)! (ax)-Pdp, c> O. (12.2)
27f~ c-ioo
From the asymptotic behavior of (p-1)! for large p (see (1.22)), we readily
conclude that the contour of the inversion integral may be closed in the left
half-plane for any value of x, leading to the expansion
(_1)k
e- ax = L 00
~(ax)k,
k=O
Jm(p)
c
Example 2
The binomial expansion:
rOO xp - 1
F(P) = io (1 + ,6X)'Y dx
roo yp-1
= ,6-p io (1 + y)'Y dy.
the contour separates the two sets of poles as indicated in Figure 12.1.
In order to close the contour so as to utilize the poles and residues of the
integrand, we must first consider the asymptotic form of the integrand for
large Ipl. From (1.22), we see that
I(p - 1)! ("( - p - 1)! (,6x)-PI '"" AI,6xl- Re(p) , p -+ 00,
198 12. The Mellin Transform
and thus, we may close in the left-hand half-plane if l,Bxl < 1 and in the
right-hand half-plane if l,Bxl > 1. This leads immediately to both ascend-
ing and descending expansions, a common feature of the Mellin transform
inversion.
Ascending Expansion
If we close the contour to the left the poles are those of (p - I)!. Evaluating
the residues at these poles, we have
1 (_l)k k
b _ I)! L ~b + k -
00
= 1 - 'Y(,BX) + 'Yb+1)
, (,BX) 2 - ....
2.
Descending Expansion
The poles of b - p - I)! are at p = (k + 1'), k = 0,1,2, ... with residues
(_l)k+l/k!. Therefore, closing the contour to the right we have the expan-
sion
where the additional factor (-1) arises since we are closing the contour in
the negative (clockwise) direction. Written out explicitly the expansion is
again the binomial expansion, this time valid for large values of l,Bxl.
Example 3
The exponential integral was defined in (1.10) as
Ei(x) = 1 00 e-U
-du
u
1
x
00 e-WX
= --dw.
1 w
12.2 Simple Examples 199
~ =
Ei(p) 100 1 00 xp-1dx e- - dw
-
WX
1 1
o 1 W
-dw x p- 1 e- WX dx
00
= 00
1 w 0
(p - I)!
p
Re(p) > o.
Thus,
.
El(X) = -.
1 jC+iOO (p - I)! x- p
dp, c> O.
21f2 c-ioo P
Closing the contour to the left, which is permissible because ofthe asymp-
totic form of Ei(p) , we recover a sum of residues at p = 0, -1, -2, .... The
pole at p = 0 is a double pole, with residue -lnx - ,,(, where "( is Euler's
constant (equal to the value of d(lna!)/da at a = 0); the other poles are
simple poles. Therefore our ascending expansion appears as
. 00 (-l)kxk
El(x)=-lnx-"(-L k!k '
k=l
Complete Expansion
It is easy to guess that Ei(x) rv exp( -x) for large x; consequently we
consider next the function
100
o 1 W
= dw roo e-x(w-l) xp-1dx
10
1
1 w
= (p - I)! 00 w-1(w -l)-Pdw
= (_p)!(p_1)!2, o< Re(p)<1.
There are poles now in both half-planes, but we cannot close the contour to
the right and throwaway the integral around the large semicircle, because
F(p) grows exponentially as p -+ +00.
200 12. The Mellin Transform
Ascending Expansion
Closing the contour to the left, we must evaluate the residues at the double
poles of (p -1)!2. This may be done by writing
11"2 X-P
F(P)x- P = ----
sin 2 11"p (-p)!'
leading to the expansion
k
= e- x L ~!
00
where
d
'lj;(a + 1) = da In(a!).
Descending Expansion
The inversion integral gives
e- X jC+ioo
Ei(x) = -2. F(P)x-Pdp, O<c<1.
1I"Z c-ioo
The contour may not be closed to the right; however, we may shift it a
finite distance, since F(P) goes to zero exponentially as p -+ c ± ioo. Thus
we recover an asymptotic expansion
Ei(x) = e- x ( Ln
k=l
(_l)k+lk!
x
k+1 +~
1 jc+n+ioo
1I"Z
.
c+n-.oo
)
F(P)x-Pdp.
Derivatives
M[j/] = 10 00
!'(x)xP-1dx
Now we assume that the reason why F(p) exists for (X < Im(p) < (3, is that
In this case,
Powers
M[xl" f(x)] = 10 00
xl" f(x)xp-1dx
(12.5)
= F(p + p,).
2 1 1
'\7 f(r,8) = fTT + -'I' fT + 2"
'I'
fee,
and if we take the Mellin transform with respect to the radial variable,
using the notation that F(p,8) is the transform of f(r, 8) with respect to
'1', we obtain the simple relation
2
M['\7 f] = (dd82 + (p - 2) 2) F(p - 2,8),
2 (12.6)
by the application of (12.4) and (12.5). Thus, problems involving this op-
erator may be simplified by the Mellin transform.
Convolutions
If
h(x) = 10 00
f(xy)g(y)yl"dy,
202 12. The Mellin Transform
then
H(P)= 1 00
xp-1dx 100
f(xy)g(y)y/l.dy
= 1 00
g(y)y/l.dy 1 00
f(xy)xp-1dx
1 1
(12.7)
00 00
= g(y)y/l.-Pdy f(t)tp-1dt
= F(P)G(f..L - p + 1).
Similarly, we have the pair
k(x) = 1 00
f(x/y)g(y)y/l.dy,
K(p) = F(P)G(f..L + p + 1).
A further relation that is sometimes useful concerns M[fg]; it is
M[jg] = 1 00
f(x)g(x)xp-1dx
= roo
Jo
1
g(x)xP-1dx -2
1TZ
.1 c ioo
c-ioo
+ F(s)x-Sds
1
= -2
1TZ
.1 cHOO
c-ioo
F(s)G(P - s) ds.
aP
U(p,a) = U(p,-a) = - ,
p
12.5 'Transforms Involving Polar Coordinates 203
Im(s)
Re is
Re(s)
R
1 - -1 arctan (2(ar),62,6
COSj3())
2,6 , o ~ r < a,
u(r, ()) = { 7r a - r (12.11)
.!. (2( ar),6 cos j3()) r > a,
7r r2,6 - a2,6 ,
where j3 = 7r /20:.
1
we have
M [J(re ili )] =
00
f(reili)rP-1dr
= e- ipli J f(s)sP-1ds
(12.12)
= e- ipli F(p),
Sector of Validity
In order to carry out the variable change s = rexp(i(}) in (12.12), we must
assume that J(r) is the value of an analytic function J(z), defined in some
sector -a < arg(z) < a, with r = 14 Replacing the upper limit of r in
(12.12) by R, we may write
Now we have already assumed that M[J] exists in some strip PI < Re(p) <
P2, and that
Applications
(i)
7r
M[ln(l + r)] = psmp7r
. , -1 < Re(p) < O.
Hence,
M [In(l + 2r cos () + r2)] = 7r c.os p(} ,
2 psmp7r
M [ arctan ( rSin(})] =
-7rsinp(}
,
1 +rcos(} psinp7r
-7r/2 < () < 7r/2, -1 < Re(p) < O.
(ii)
where the branches of the logarithm are chosen so that 0 < arctan r <
'if /2. It follows immediately that a = 'if /2; using (12.15) we find that
It is apparent that the Mellin transform does not give iiv (p) directly; rather
we must solve a difference equation.
T(8 + 1) (8-v/2)
T(8) 2(8 + 1/2)(8 + 1)'
A particular solution is
and there is no such overlap unless (3 > 0:+2. Thus, Y(s) cannot have poles,
since they would give rise to a row of poles in S (p) separated by exactly
two units. Also, Y(s) cannot grow faster than lsi as Im(s) -+ 00 in the
inversion strip, otherwise the inversion integral would diverge. Therefore,
by (12.18), Y(s) is a bounded entire function, and thus equal to a constant
by Liouville's theorem. Hence, (12.17) is the only acceptable solution, and
even then only if Re(l/) < -2, and we have
Hv(X)
K
= -.
jC+ioo (s -1//2 -I)! (-s -1/2)! (-s -I)! (x2 )8
-- ds.
2nz c-ioo 2
2v/2
K=~~----~~--~--~
(-1//2 -1/2)! (-1//2 -I)!
2v/2
2v/2 00 (-1)k(-k+1/2)!
H v ( x) =
(-v/2 -1/2)! (-v/2 -I)! 6
'" -'---'-------'----:-;----'--'-
k!
Problems
12.1 Prove the following general properties of the Mellin transform; also
determine the conditions required for validity in each case:
(i) M [f(ax)] = a- P F(p).
(ii) M [J(x a)] = a-I F(p/a).
(iii) M [x- I f(x- I )] = F(l - p).
(vii) M [1 00
f(U)dU] = ~F(P+1).
12.2 Verify the following Mellin transforms:
(p 1)1 ei7rp / 2
(iv) M [e i !3x] = - {J~ , 0< Re(p) < 1.
12.3 Verify the following Mellin transforms and find the interval for the
inversion contour:
erfc(x) = 2
y7r 1 x
00
e- U 2 duo
Show that
M[ ercx _ (p/2-1/2)!
f ( )] - r;;;. .
Py7f
Problems 209
Ci(x) =- 1x
00 cosu
- - duo
u
Show that
(p - I)!
M [Ci(x)] = - cos(1fp/2).
p
12.6 Find the steady-state temperature distribution in a wedge 0 :::; r < 00,
e :::;
o :::; e
a, if the boundary = 0 is held at temperature zero, while the
other boundary is maintained at a temperature given by
To, r < a,
u(r, a) = {
0, r > a.
e
12.7 The boundary = 0 of an infinite wedge 0 :::; r < 00, 0 :::; a, is e :::;
held at zero temperature. Through the other boundary, the concentrated
heat flow
q(r) = Q8(r - a)
is maintained. Show that the steady-state temperature distribution is
( e)- Q 1 {coSh(1fln(r/a)/2a)+sin(1fe/2a)}
u r, - 21fKcosh(1fln(r/a)/2a) n cosh(1fln(r/a)/2a) _ sin(1fe/2a) .
12.8 A thin charged wire carrying charge q per unit length is placed along
the line r = ro, e = eo, inside a wedge-shaped region 0:::; r < 00,0:::; e :::; a,
whose boundaries are held at zero potential. Show that the electrostatic
r
potential may be written as
_
_ 2iq 1 iOO
-ioo
sinp(a ~ eo) sinpe Co
psmpa r
dp,
¢ ( r,e ) - {
_ 2iq 1'0.0 sin peopsmpa
-ioo
s~n p( a - e) (ro) Pdp,
r
1 + 2yTJasin(e/2) + (r/a)
¢ (r, e) = q 1n CT: .
1- 2 y r/asin(e/2) + (r/a)
Calculate the charge density induced on the conducting boundary e = O.
210 12. The Mellin 'fransform
12.10 If in Problem 12.6 the boundaries are at B = ±a, with the boundary
conditions
u(r, -a) = f(r),
u(r, a) = g(r),
then show that
u(r, B)
f3 r f3
= - 7f cos f3B
{1°O u f3 - 1 f(u)
2 f3 f3 . f3B
0 U
2f3
- r u sm +r 2(3 du
roo u f3 - 1 g(u) }
+ 10 u 2f3 + 2r f3 u f3 sin f3B + r2f3 du ,
where f3 = 7f /2a.
12.11 Solve the Laguerre equation
TJ = m-l+ 1,
~=1(l+1),
F(x) = 1 00
h(xt)f(t) dt,
f(t) = 1 00
k(tx)F(x) dx,
H(p)K(l - p) = 1.
12.13 By considering the Mellin transform of Jv(kx), verify that the Han-
kel transform pair (14.1,14.2) satisfies the condition of the previous prob-
lem.
13
Application to Sums and Integrals
This chapter explores some uses of the Mellin transform in obtaining ana-
lytic and asymptotic information about infinite sums and integrals involv-
ing a parameter. The Riemann zeta function, introduced in Section 1.8,
plays a central role for the former.
00
S = Lf(n).
n=l
f(n) = -2
1.
7l'Z
l c ioo
+
c-ioo
F(p)n-Pdp, a < Re(p) < /3,
IThis section is based on G.G. MacFarlane, Phil. Mag., 40 (1949), 188. Mac-
Farlane considers the more general problem of evaluating sums of the form
2::=0 !{(n + a)"}.
212 13. Application to Sums and Integrals
= -. L
1 00 jC+ioo
S F(p)n-Pdp
27fz n=l c-ioo
1 jC+ioo
= 27fi c-ioo F(p)((p) dp, max(l, a) < c < (3,
Example 1
We consider the sum
(p - 3)'
F(p) = - (3P-2' cos(7fp/2), 2 < Re(p) < 3.
Example 2
Consider the finite series
M (1 _ xm2/3)1/2
S(x) = L
m=l
m 2/ 3 '
S(X 2/ 3) = x 2/ 3 f(xm),
m=l
where
t::::: 1,
t> 1.
On using the relation M[f(t a )) = F(P/a. - 1)/a., we obtain
(13.2)
n=-oo
This infinite sum converges for all positive x, but it cannot be summed by
the Mellin summation formula. It obviously satisfiE';; the functional equation
00 1 jC+iOO
f(x) = n~oo 211'i c-ioo (p - I)! e-np(x- P - 1) dp
= L -.1 jC+iOO (p -
00
I)! e-np(x- P - 1) dp
n=O 211'2 c-ioo
1 jC+iOO
+L -.
00
(p - I)! emP(x- P - 1) dp
m=l 211'2 c-ioo
=81 +82 .
8 1 =-2'
1 jC+iOO . (p-l)!
(x- 1)
1-
P -
_p dp, c> 0.
11'2 C-%OO e
This interchange is not permissible in the second sum 8 2 , but we can over-
come the problem by observing that the integrand has no pole at p = 0,
the pole due to (p - I)! being cancelled by the zero of (x- P - 1). Thus we
may translate the contour to the left to write
82 = L
00 1
-2.
jC'+iOO (p - I)! emP(x- P - 1) dp, -1 < C' < 0.
m=l 11'2 c'-ioo
On the new contour our sum converges, and interchanging orders we have
82 = - -2'
1jC'+iOO . (p - I)!
(x- 1)
1_
P -
_p dp,
11'2 C'-%OO e
and
\
-4 -3 -2 -1
x- P -1
lim 1 = -lnx.
P-+O - e- P
L
00
Our function f(x) then does not coincide with the function -lnx, but only
at isolated points given by
The function in fact wobbles about the function -lnx. A similar problem
led Ramanujin to his fallacious proof of the Prime Number Theorem.
This will equal the power series Eanz n provided that the contour may be
closed to the left, and that F(p) has simple poles at 0, -1, -2, ... , with
residue an at p = -no A possible choice of F(p) that satisfies this latter
condition is
F(p) = n(-I)pa_pcosecnp, (13.5)
where 0 < c < 1, and we have assumed that the coefficients may be ex-
pressed by a suitable formula.
Stirling's Series
It is shown in many places 4 that for lal < 1, we may write
00
In(a!) = -"Ya + -.
1 jC+iOO naP. ((p) dp, 1 < c < 2.
2n~ c-ioo P sm np
Using the principle of analytic continuation, we may replace the restriction
lal < 1 by arg(a)1 < n; subsequently moving the contour to the left yields
the asymptotic expansion
- + 2: (-I)n((-n)
In2n 00
(a, z)! = 1 z
to'. e- t dt (13.6)
and
[a, zl! = 1 00
to'. e- t dt
= a! - (a, z),
where we assume Re(a) > -1. Direct expansion of (13.6) gives the Taylor
series
00 (_l)n z n+O:+1
(a,z)!= ~n!(a+1+n)"
For Re(z) -+ 00, (a,z)! obviously behaves as exp(-z), so it is expedient
to deal also with the function J(z) = exp(z)(a, z)! which is defined by the
power series
00 k 00 ()n
(z) - zO:+l ~ :..... ~ -z
J - ~k!~n!(a+1+n)
- fo
- ZO:+l 00
00
zm { m ( - 1)1
t;(m-l)!l!(a+1+l)
, m
}
0:+1 ~ a.z
=Z ~(a+1+m)r
l
Using (13.4) and (13.5), we tentatively write
, _ a! zO:+l e- z c +ioo (p - I)! (-p)! _ _p
(a, z). - 2. . (+ 1 _ )1 ( z) dp, o < c < 1. (13.7)
7rZ c-,oo a p .
The question of the convergence of this integral can be settled by replacing
p by c + ie
and using the asymptotic forms for large for the factorial e
functions. This gives for the absolute value of the integrand the behavior
exp ( - 7re/2 + e arg( -z)), and thus, it will converge in the sector
I arg(-z) I < 7r/2.
To obtain an integral representation in the sector Iarg(z) I < 7r/2, we must
l
work with the power series for (a, z)! directly, to yield
ZO:+l c +ioo (p - I)!
(a,z)! = -2.
7rZ c-ioo a
+ 1 - p z-Pdp, Iarg(z)I < 7r/2. (13.8)
Moving the path of integration in (13.7) and (13.8) to the right, we obtain
the asymptotic information
(a, z)! ""' a! + O(zO: e- Z ),
Iarg(z) I < 7r/2,
00
1 , 0:+1 -z ~ 1
(
a, z ) . ""' -a. z e L..J (a _ I)! zk+1' I arg(-z) I <7r/2.
k=O
A complete descending expansion of [a, zl! may be obtained by a di-
rect application of the Mellin transform, and this leads to the complete
expansion
zO: e- Z (k - a - I)!
L
00
(13.9)
Re(p) > o.
On using the inversion integral, and closing the contour to the left, we
obtain the convergent expansion
h(>') = 100
f(y)g(>.y) dy. (13.10)
The range of p for which this is initially defined, which fixes the placement
of the inversion contour, must be determined in any particular case.
(i) Re(p) > 0, in order that the Mellin transform of the exponential
should be defined.
(ii) Re(l-p) must be in the range of convergence for the Mellin transform
of f(x).
x -+ 0,
n
where
e- Kx
q(x) = f3E2_-.
x
We require an asymptotic expansion for small values of the parameter
.\ = Kf3E2. Using the integral representation (12.2), we may translate the
contour to the left, writing
_ y2 1 jC+iOO _
e y -1 +y - - = -. (p - I)! y Pdp, -3 < c < -2.
2 21rz c-ioo
f(.\) = 100
x 2dx -2'
1 jC+iOO
. (p - I)!
(e- KX )-P
f3E2_- dp.
o 1rZ c-,oo X
For the contour above, the orders of integration may be interchanged, and
the t integration performed at once. Thus,
so that
The integrand has double poles at p = -3, -4, -5, ... , and evaluating the
residues at these poles, we obtain the expansion
6"1 ( ln 3 + 2, - "6
1+1 ),
ln A (13.11)
(13.12)
This will give the first few terms of an asymptotic expansion if the first few
integrals converge, but in most cases it is not particularly useful. Suppose
now that A(k) has the asymptotic form
=
A(k) rv k- v Lalk-1, k --+ 00, 0<1/<1. (13.13)
1=0
7The results were obtained by H.C. Levey and J.J. Mahony, Q. Appl. Maths.,
26 (1967), 101, by a direct analysis. It is interesting to compare the two methods
of derivation.
222 13. Application to Sums and Integrals
1 00
A(k)k-Pdk = 11 A(k)k-Pdk + 1 00
Rn(k)k-Pdk
(13.15)
n
P+V
al l
+ - 1
'
(ixt roo
Rn(k)kndk.
n. Jo
There are also poles from the integral (13.15) at p = I-v-n, n = 0,1,2, ... ,
with corresponding residues
(-v - n)! ei7r (1-v-n)/2 an x v +n - 1
= _7r_ xv - 1 e i7r (1-v)/2 an(ix)n
sin7rv (v+n-l)!
Consequently, moving the contour of the inversion integral to the left gives
the asymptotic series
m=O
It is instructive to compare this with (13.12) in particular, if the first N
coefficients an are zero, then (13.16) and (13.12) coincide for the first N
terms.
Problems 223
Problems
f
13.1 Evaluate
sin(3n.
n=l n
n=l
00
13.3 Evaluate
n=-CX) m=-oo
13.6 By writing
show that
m (_1)/ (a -1)!
L
1=0
(m-l)!l!(a+l) = (m+a)!'
13.7 Let
00 (_x)n
f(x) = L
n=O
n! (2n + 1)'
and
g(x) = eX f(x).
Show that
fo 00 xn
g(x) = 2 ~ (n+ 1/2)!·
Hence, deduce the integral representations
{v:
and the asymptotic series
13.8 Obtain ascending and descending expansions for the following inte-
grals:
(i) erfc(x). (See Problem 12.4.)
(ii) Ci(x). (See Problem 12.5.)
rOO u 2 / 3 e- u2
(iv) Jo (u + x)1/3 duo (See Problem 12.3(vii).)
(v) 1 00
u2 ln(1 - e- vu4 +",) duo
13.9 If
u(y) = 11 t3(I-t4)1/2e-tYsintydt,
1o dx 100 1 - e-1 +y
13.12 If
1 ay2x (1-x)
f(a) = 2 dy,
0
show directly that for small a
Use the Mellin transform to find complete ascending and descending ex-
pansions.
13.13 If (13.11) is replaced by
n
A(k) = La1k- 1 + O(k- n- 1 ),
1=1
f(x) = L (ix)n {
n!
[00 Rn(k)kndk
10
n
where
n
Rn(k) = A(k) - L ark- r - an+lk-n-1h(k - 1),
r=l
Bessel functions have often occurred in our investigations of the Laplace and
Fourier transforms; indeed, we could rewrite most of the formulae we have
derived using Bessel functions of order ±1j2, since they may be written in
terms of sin x, cos x and e±x. In this chapter we explore the use of Bessel
functions (also called cylinder functions) in integral transforms.
(14.1)
(14.2)
These formulae constitute the Hankel transform pair. Proof of the validity
of these results for various classes of functions, such as functions satisfying
Dirichlet conditions, may be found in various places. 1 We will be content
here to reproduce a rather elegant treatment due to MacRobert which is
sufficient to cover many situations that occur in practice.
Im(x)
Re(x)
x=a x=b
Cz
MacRobert's Proof
We consider the integral
1 00
JII(kt) kdk lb JII(kx)f(x) xdx, 0< a < b, (14.3)
where we assume that f (x) is analytic in some region of the complex plane
containing the line a :::; x :::; b. Now we use (18.39) to split up one of the
Bessel functions into Hankel functions, and deform the x contour onto the
contours C 1 and C2 shown in Figure 14.1. Thus, (14.3) becomes
~
2
roo JII(kt) kdk
io
l H~I)(kx)f(x)xdx
l H~2)(kx)f(x)xdx.
C1
(14.4)
+~ roo J (kt) kdk
io II C2
We may reverse the order of integration because the Hankel functions fall
off exponentially, on the respective contours C 1 and C2 , as k -+ 00.
Now recall Lommel's integral;2 for any pair of cylinder functions UII(z)
and Vv(z),
= [jlXUII(AX)V:(jlx) - AXU~(AX)VII(J1x)]:.
Application to (14.4) yields
= -. - - -
11-1 f(x) dx
27rz C t +t X - x
= {f(t), a < t < b,
0, otherwise.
From this, the transform pair (14.1,14.2) follow provided that either f(x)
or Fv(k) has the necessary analytic properties. 3 This is usually the case
for practical applications, although (14.1) and (14.2) are valid for a wider
class of functions. 4
(14.5a)
(14.5b)
r=(r,e), k=(k,¢),
and expand both f(r, e) and F(k, ¢) in Fourier series. This gives
L
00
L
00
where
3If Fv(k) is analytic in a region of the complex plane containing a :::; k :::; b,
then we replace (14.3) by
4In particular, the case b -+ 00 is easy to handle. Also if the interval 0 :::; x < 00
may be split up into a finite number of subintervals, in each of which the condition
of MacRobert's proof applies, then the proof is easily generalized. This covers
most functions that arise in applications.
5We have chosen the constants 2?T in a more symmetrical way than in Chap-
ter 11.
230 14. Hankel Transforms
Fn(k) =
1
22 int" e-inq, d¢ inroo rdr inr 27r
eikrcos(()-q,) L
00
fm(r) eim () dB
(n) 0 0 0 m=-oo
= -1 1 00
fn(r) rdr 127r eino+ikrcosa da
1
2n 0 0
00
= fn(r)Jn(kr) rdr.
Derivatives
Suppose that Fv (k) is the Hankel transform of order v of the function f (x);
then the Hankel transform of the function g(x) = f'(x) is
We assume that the behavior of f(x) at 0 and 00 makes the bracket zero,
and use (18.28) and (18.29) to write
Hence,
Gv(k) = -k (v + 2v
1 F v- 1 (k) _ v-I
2v
FV+l(k)).
Bessel's Equation
Let f(x) be an arbitrary function; then we consider the transform of the
combination
d2 1d v2
g(x) = -f(x) + -- f(x) - - f(x).
dx 2 X dx x2
Integrating by parts, and assuming at each stage that the contributions
from x = 0 and x = 00 are zero, we have
Parseval Relations
There is no simple addition formula for Bessel functions, such as exist for
the exponential and trigonometric functions; thus, the Hankel transform
does not satisfy any simple convolution relation. However, a simple relation
of Parseval type can be derived as follows. Let Fy(k) and Gy(k) be Hankel
transforms of order v, then
1 00
Fy(k)Gy(k) kdk = 1
00
Fy(k) kdk 100
g(x)Jy(kx) xdx
= 1
00
g(x) xdx 100
Fy (k)Jy (kx) kdk
= 1
00
f(x)g(x) xdx.
The similarity with (7.16) and (7.17) is obvious; see Problem 7.1(xv) for
the exact analogue.
Heat Conduction
Suppose that heat enters a semi-infinite body, -00 < x < 00, -00 < y <
00, Z :::: 0, of thermal conductivity Ii, through a disc on the surface of radius
14.4 Boundary-Value Problems 233
( ) _ !Ll°O Jo(kr)J
u r,z - k
1 (ka) -kzdk
e .
7fK,a 0
An Electrostatic Problem
We will find the axially symmetric electrostatic potential generated in the
space between two grounded plates at z = ±a by a point charge q at r = 0,
z = O. This potential satisfies Laplace's equation except at the origin where
it has the singular behavior ¢(r, z) c:::: q/v'r 2 + z2.
On writing ¢(r, z) = q/v'r 2 + z2+IjJ(r, z), we are faced with the equations
o2'lj;(r, z) 1 o'lj;(r, z) o2'lj;(r, z) 0
or2 + ;: or + OZ2 =,
q
'lj;(r, ±a) + = O.
v'r2 + a2
The Hankel transform of order zero turns these into the simpler equations
o2lJ!(k, z) _ k2lJ!(k ) = 0
oz2 ,z,
qe- ka
lJ!(k, ±a) = --k-'
and the solutions follow immediately, viz
lJ!(k ) = _ cosh kz e- ka
,z
¢(r, z)
q cosh ka k '
=
v'r2
q
+ Z2
- q 1
0
00
cosh kz k
hk e- a Jo(kr) dk.
cos a
234 14. Hankel Transforms
Fv(k) = 1 00
f(x)Zv(kx) xdx, (14.10)
roo Zv(kx)
f(x) = io Fv(k) J~(ka) + Y,3(ka) kdk. (14.11)
Simple Application
We consider an infinite slab of uniform solid material of thickness 2l,
through which there is a circular hole ofradius a. If the plane faces are held
at one temperature (which we arbitrarily label as zero temperature), while
the cylindrical surface is heated to a temperature, To, then the steady-state
temperature u(r, z) will satisfy the equations.
and the solution, chosen to satisfy the boundary condition U(k, ±l) = 0, is
U(k,z) = _ 2To
7rk 2
(1- COShkZ).
coshkl
7itrl21
5itrl21
3itrl21
C4 (above)
itrl21
-7itrl21
Now the functions H61,2)(z) have no zeros for Re(z) > 0; hence, we may
deform the contour of integration as follows:
It is evident that the contours C2 and C4 coincide, except for the inden-
tations at ~n = n(n+ 1/2)/l, where they pass on either side. Hence, (14.12)
236 14. Hankel Transforms
becomes
u(r z) = _ To (
,
Ko(~r)
7ri }C2- C 4 Ko(~a)
(1- COS~z) d~
cos~l ~
00 (_1)n KO(~nr)
= - 2To ~ ~ KO(~na) cos~nz,
which is the solution as a Fourier cosine series.
and
¢(r, 0) = V, r < a,
8¢ 8¢ (14.14)
8z (r, 0+) = 8z (r, 0-), r> a.
Applying the Hankel transform of order zero, we easily find from (14.13)
that
p(k,z) = A(k)e- k1zl ,
so that the boundary conditions (14.14) reduce to the dual integral equa-
tions
1 00
A(k)Jo(kr) kdk = v, r < a, (14.15a)
1 00
kA(k)Jo(kr) kdk = 0, r > a. (14.15b)
1 00
A(k)J1 (kr) k 2 dk = 0, r < a,
1 00
A(k)Jo(kr) k 2 dk = 0, r > a.
1
and thus,
00 8¢
¢(r,O) = - r 8s (s, 0) ds,
= { ~~ arcsin(a/r), r > a,
~fx, r < a.
1 00
k- 2ex A(k)JfL(kx) kdk = f(x), x < a,
1 00
k- 2f3 A(k)Jv(kx) kdk = g(x), x> a,
(14.16)
where f(x) and g(x) are only known over part of the range 0 < x < 00,
and it is required to determine A(k), occur in certain mixed boundary-
value problems such as the electrified disc. A convenient formalism for
the solution of these equations may be developed using a modified Hankel
transform defined by
Sv,exf = (2/k)ex 1 00
x-ex f(x)J 2v +ex (kx) xdx.
It is readily verified that the inversion formula for this transform is given
by
S;;:~ = Sv+ex,-ex. (14.17)
Now the dual integral equations (14.16) may be written
SfL/2-ex,2exA(k) = (2/x)2ex f(x), x < a,
(14.18)
Sv/2-f3,2f3 A (k) = (2/X)2 f3 g(X), x> a.
238 14. Hankel Transforms
Suppose that we can find two operators L 1, L2 with the following proper-
ties:
,i) For some pair 'Y, 8,
x < a,
(14.19)
x> a,
and A(k) may be found by applying the inverse operator S"(+O,-8 to the
right-hand side, which is a known function.
Choice of Operators
Using the inversion (14.17) on (14.18), we find that L1 and L2 must satisfy
L1 = S"(,8Sf.L/2+Ot,-200
L2 = S"(,8S.,/2+/3,-2/3'
We will deal here with L 1, leaving the corresponding calculations for L2 to
the reader. Written as a double integral, Ld is
Ld = (2/x)8 1 00
k- 8J 2"(+o(kx) kdk
x (k/2)2Ot 1 00
u 20t Jf.L(ku)f(u) udu,
Ld = 1 00
w(x, u)f(u) du,
w(x, u) = 28-2Otx-8u1+20t 1 00
k 2Ot - 8J2,,(+O (kx)Jf.L (ku) kdk.
This equation represents the first of three conditions that we want the
operators L1 and L2 to satisfy. The second condition requires that w(x, u) =
o when u > x, and reference to (14.9) shows that this is easily satisfied by
choosing 'Y = ",,/2 - a, for which
Ld = 2x 2Ot - 28 -f.L
(8 - 2a -I)!
l
0
x
u1+ 2Ot +f.L(X2 - u 2)8-2Ot-1 f(u) duo (14.20)
14.8 Erdelyi-Kober Operators 239
Restrictions on Parameters
If f(u) and g(u) tend to finite (nonzero) limits as u --+ 0 and u --+ 00,
respectively, then we need
for both integrals (14.20) and (14.21) to converge at these limits. This
causes no difficulty, since we may choose a new 0; by redefining A(k) by
1
'1,a (0; -I)! 0 '
K f = 2x2'1 00
u-2a-2'1+1(u2 - x 2 )a-1f(u) duo
1),a (0; - I)! x
Properties
We will investigate here the operators 11),0< only, relegating the correspond-
ing properties of K1),a to the problems. First, we note that
(14.22)
240 14. Hankel Transforms
Second, we consider
11J,aI1J+0I.,f3f(x)
2 X-21J-2a
= (a _ I)!
l x
21J+1 2 2 a-I
1
0 u (x - u) du
2 -2 1J -201.- 2f3 u
x u t21J+201.+1(u2 _ t 2)f3- 1f(t)dt.
(,8-1)! 0
(14.23)
(14.24)
1 d
Dx=--·
2xdx
Then, on using integration by parts, we see that
Similarly,
Analytic Continuation
We will now lift the restriction Re(o:) > 0 from 1'f/,a and formulae involving
1'f/,a. First we use (14.25) to define 1'f/,a when Re(o:) < 0 by choosing an
integer m such that Re( 0: + m) > 0 and writing
I 'f/,a f(x) = X- 2'1- 2a D xm x 2'f/+2a+2m I 'f/,a+m f(x).
It is trivial to show that with this definition, (14.22), (14.25), and (14.26)
hold without the restriction on Re( 0:). Moreover,
Now let Re(o:) > 0, Re((3) > 0; then on taking the inverse of (14.23).
r1 1- 1
'f/+a,13 'f/,a
r1
= '1,a+13'
which, on using (14.28), and making the substitutions 'T} + 0: + (3 -+ 'T},
-(3 -+ 0:, -0: -+ (3, becomes (14.23) again, except that now Re(o:) < 0 and
Re((3) < O. By similar arguments, (14.23) and (14.24) may be extended to
all values of 0: and (3.
SrJ+Dl,/31rJ,Dl = SrJ,Dl+/3,
KrJ,DlSrJ+Dl,/3 = SrJ,Dl+/3,
SrJ,DlKrJ +Dl,/3 = SrJ,Dl+/3,
SrJ+Dl,/3SrJ,Dl = 1"1,01.+/3,
SrJ,DlSrJ+Dl,/3 = K rJ ,Dl+/3.
Finally, we note that in the notation of the Erdelyi-Kober operators, the
solution of the dual integral equations (14.16) is given by
where
oX = p,j2 + v /2 - a + (3,
and
x < a,
x> a.
Problems
14.1 Prove the following general properties of Hankel transforms of order
v:
(i) 1£v [!(ax)] = a- 2Fv(k/a).
(
.•• ) '1/ [P-l] 2P (v/2 + p/2 - 1/2)!
III T"Lv X = kP+1(v/2-p/2-1/2)!.
- b 2)
No [ e- ax 2 Jo(bx) ] ="2a exp (k2 4a 10 ( 2a
bk ) .
14.5 Use the result of Problem 18.16 to show that (Bonine's second inte-
gral)
1 00
tl"+l (t 2 + a2)-v /2 J v (bVt2 + a2) JI"(xt)dt
¢(r, z) = 1 00
Fo(k)Jo(kr) e- kz kdk.
u(r, t) = ;t 1
00
e-l«r
2
+s 2 )/4t 10 (Krs/2t)f(s) sds.
-q +q
x= - l x=-a x= a x= l
_-'- __
FIGURE 14.3. Configuration for Problem 14.10.
where c is the ratio of the rigidity of the plate (against bending) and its
mass per unit area. Show that an infinite plate, starting from the axially
symmetric initial conditions
w(r,O) = f(r),
wt(r,O) = 0,
w(r, t) = 1 00
Fo(k)Jo(kr) cos(ctk 2) kdk.
1
o
00 1
Jo(kr)Jo(ks) cos(ctk 2) kdk = - Jo(rs/2ct) sin{(r2
2ct
+ s2)/4ct},
w(r, t) = -1
2ct
1 0
00
Jo(rs/2ct) sin{(r2 + s2)/4ct} f(s) sds.
14.10 Two point charges +q, -q, are placed in a vacuum on either side
of a slab of material of dielectric constant E. The geometry is shown in
Figure 14.3; the boundary conditions are as in Problem 11.7. Find an ex-
pression for the electrostatic potential in each of the three regions.
Problems 245
Show that as a -+ 0,
1 00
A(k)J1 (kx) dk = -1, x < 1,
1 00
kA(k)J1 (kx) dk = 0, x> 1,
is
A(k) = cosk-l.
k
1 00
A(k)sinkxdk = f(x), x < 1,
1 00
kA(k)sinkxdk = 0, x> 1,
is given by
1 00
A(k)Jo(kx) kdk = f(x), x < 1,
1 00
A(k)Jo(kx) dk = 0, x> 1,
is
A(k) = - 211
'Tr 0
sinkxdx 1 0
x
J yf(y)
x2 _ y2
dy.
246 14. Hankel Transforms
with a similar definition of u+, u-, and using the Fourier cosine transform
on u+ and Fourier sine transform on u-. Show that, if v- = 0, then
u(x,y) = - 21
7r 0
00
A(k) coskxe- ky dk,
where
A(k) = _ (I tJo(kt) dt {t ~ ds.
10 10 t - s
( )_10roo JI(k)coskxe-
u x,y - k
ky dk
.
1 00
G(k)A(k)Jy(kx) dk = f(x), x < 1,
1 00
A(k)Jy(kx) kdk = 0, x> 1,
k -+ 00, a> O.
Problems 247
z
z=l
z=O r= 1
g(x) = 1 00
A(k)Jv(kx) kdk, x> 0,
where
14.18 Two equal coaxial parallel circular metal discs, of unit radius and
separation l, are charged to potential ±Vo (see Figure 14.4). Show that the
potential ¢(r, z) may be represented as
Vo 1 00
{e- kz -e-k(z-I)}A(k)Jo(kr)dk, z > l,
¢(r,z) = Va 1 00
{e- kz - ek(Z-l)}A(k)Jo(kr) dk, 0< z < l,
Vo 1 00
{e kz - ek(z-I)}A(k)Jo(kr) dk, z < 0,
248 14. Hankel Transforms
provided that the function A(k) satisfies the dual integral equations
1 00
(1 - e-k1)A(k)Jo(kr) dk = 1, r < 1,
1 00
A(k)Jo(kr) kdk = 0, r> 1.
2k211
A(k) = - g(t)cosktdt,
1f 0
l
g(r)--
1f
11
-1
l2
g(s)
+ (r - s
)2ds=1.
c=-1 1f
110
g(r) dr.
15
Integral Transforms Generated
by Green's Functions
lThe book by Antimirov et al. [4] also emphasizes the relation of integral
transforms and Green's functions.
250 15. Integral Transforms Generated by Green's Functions
We first recall the following results from Section 10.1. Let cp).. and 'I/J).. be
solutions of the equation
where>. is a constant and r(x) is a given function, while cp).., 'I/J).., are chosen
to satisfy the respective boundary conditions
alCP)..(a) + a2cp~(a) = 0,
b1'I/J)..(b) + b2'I/J~(b) = o.
Then the Green's function for the operator (L - >'r), which satisfies the
specified boundary conditions, is
(
I >.) _ CP)..(x<)'I/J)..(x»
9 x, x , - .1(>.) , (15.3)
.1(>') = p(x)W [cp).., 'I/J)..; x].
Here the notation is a more compact one than in (10.8); x< stands for the
lesser of x, x', while x> stands for the greater of the two. As we showed
in Section 10.1, .1(>') is independent of x, although it is a function of
>.. The Green's function is undefined when .1(>.) = 0, that is, when the
functions cp).. and 'I/J).. are linearly dependent, making each a solution of
the eigenvalue problem in its own right. Thus there is a close connection
between Green's functions and eigenfunctions; we refer the reader to one
of the many excellent texts for relevant details. 2
Now consider the partial differential equation
. acp(x, t)
zr(x) at = L[cp(x, t)],
together with the initial conditions
cp(x, 0) = f(x),
and the same boundary conditions as before. Taking the Laplace transform
with respect to t, we obtain
(L - ipr(x))<P(x,p) = -ir(x)f(x),
1jC+iOO
f(x) = -- . dp
7T C-l,OO
lba
g(x, x'; -ip)f(x')r(x') dx'. (15.4)
The contour in p must pass to the right of all the singularities of g( x, x'; -ip)
in the p-plane; these are at the points p = iA corresponding to eigenvalues
A of the operator L - Ar. Using the standard result that the eigenvalues of
a self-adjoint operator are real numbers, we find that c may be any positive
number. In our subsequent use of (15.4), we shall replace p by iA and write
f(x) = ---;
1
1fZ
l ic oo
+ dA
ie-oo
lb a
g(x, x'; A)f(x')r(x') dx', c> O. (15.5a)
f(x) 1
= ----;
1fZ
l ie oo
ie-oo
+ dA lb a
g(x, x'; A)f(x')r(x') dx', c < O. (15.5b)
3Titchmarsh [64].
4If anyone of these conditions is not satisfied, we have a singular problem.
252 15. Integral Transforms Generated by Green's Functions
Im(A.)
C Re(A.)
poles at A. = (nrr/l)2
n#m.
f(x) = ~
2nz c
rd'\ irl sinkx<ksi~k(l-
i 0 sm kl
x» f(x ' ) dX', (15.6)
f(x)
2
= yL
00
sin(mfx/l)
t sin(nnx'/l)f(x' ) dX'.
in
n=l 0
15.3 Some Singular Problems 253
Eigenfunction Expansion
Now consider the general case. The zeros of Ll(A), which determine the
poles of g(x, x'; A), are all discrete and simple; hence, we can proceed by
adding (15.5a) and (15.5b) and evaluating residues as for the Fourier series.
To find the residues, we need the value of dLl(A)/dA at A = An, that is, we
need to calculate
(L - Ar(x) ) ocp)..
OA = r(x)cp)..(x),
and solve using the Green's function. After some straightforward algebra,
the calculation gives
When we put A = An, cp).. and'ljJ).. became the same function apart from a
normalizing factor, and in evaluating the residue this factor cancels. Writing
CPn(x) in place of CP)..n (x), we see that the residues are
CPn (x )CPn(x/)
f: cp~(x)r(x) dx'
( )
fx
="
L..t
CPn(x) f: CPn(x')f(x')r(x') dx'
b . (15.7)
n fa cp~(x)r(x) dx
Note that f(x) satisfies the boundary conditions (15.1), as is evident from
its definition, and so there is no conflict caused by the fact that every term
in (15.7) also satisfies these boundary conditions.
Fourier Transform
Let p(x) = -1, r(x) = 1, q(x) = 0, a = -00, b = +00. We apply, as
our boundary conditions, the finiteness of ¢)..(x) and 'l/J)..(x) as x -+ +00,
respectively. Fundamental solutions of (15.2) are exp(±i-IXx). We write
k = -IX and fix the arguments by
f(x) = - 271'
1l ic+oo
dA
1 00 e-ik(x<-x»
k f(x ' ) dx'
1- 1
ic-oo -00
1 iC +00 00 e-ik(x<-x»
= 271' -ic-oo dA -00 k f(x ' ) dX',
with c > O. Now when A is on the negative real axis, these two expressions
differ only in sign, so we add them and let c -+ O. Hence,
f(x) = - 1
271'
1 1 0
00
dA
/\
vA
00
-00
cos k(x - x') f(x ' ) dX'. (15.8)
An Alternative Formula
In each of our examples above, the eigenvalues of the operator had a lower
bound, and the Green's function g(x, x'; A) was analytic across the real axis
to the left of the lowest eigenvalue. Whenever this is the case, we may add
(15.5) to obtain the formula
1
f(x) = -2 .1 Ib
71'% C
dA
a
g(x, x'; A)f(x')r(x' ) dX', (15.9)
where the contour C is shown in Figure 15.2. In the regular case, the
eigenvalues are discrete, and the value of the integral is given by a sum of
residues. With singular problems, however, the Green's function generally
has a branch cut along the real axis, and other appropriate methods of
evaluating the integral must be found. In fact, (15.8) is precisely the result
obtained by shrinking the loop integral onto a branch cut for -IX.
15.3 Some Singular Problems 255
Im(A)
c
J'---+------- Re(A)
minimum eigenvalue
Mellin Transform
If we set p(x) = x, q(x) = 0 and r(x) = x-l in the interval 0 :S x < 00,
then we again have a singular problem. The equation for cp).. and'ljJ).. is
(xu')' = AU/X,
with the solutions X±iv":\". We choose v0. by 0 < arg( v0.) < 7r on the
contour C; then Re(iv0.) < O. Thus,
Hankel Transform
Proceeding as above, we consider the interval 0:S x < 00 with p(x) = -x,
q(x) = v 2/x, r(x) = x where Re(v) > -1/2. The Green's function, finite
as x -+ 0 or 00, is easily constructed as (with k 2 = A)
and
Jv(z) = ~ (HS1)(z) + HS2 )(z)) ,
we readily reduce the integral around the branch cut 0 ~ oX < 00 to the
Hankel transform formula
cp).." + -cp)..
X
1 I - (2k - -oX ) cp).. = 0,
x2
(15.10)
and hence,
g(x, x'; oX + iO) - g(x, x'; oX - iO) = 2i sinh 7r1/ Kiv(kx)Kiv(kx ' ).
7r
15.4 Kontorovich-Lebedev Transform 257
Using this result in (15.9), and subsequently changing the integration vari-
able to v, we obtain a form of the Kontorovich-Lebedev transform, viz
f(x) = 2"21
7f 0
00
vsinh7fvdv 1 0
00
dx', .
Kiv(kx)Kiv(kx')f(x') -
X
(15.12)
An Alternative Formula
Equation (15.12) is the original transform given by Kontorovich and Lebe-
dev; however, there is an alternative formula that demonstrates the close
connection with the Mellin transform. To obtain it, we note that (15.11)
demonstrates that the Ia functions may be written in terms of K a , so that
the distinction between x< and x> could be dropped, provided we main-
tain convergence of the integrals. We therefore set x< = x and x> = x' in
(15.10), and substitute into (15.9). Using a as a new variable, this gives
Regions of Convergence
Consider the Kontorovich-Lebedev transform of a function f(x), defined
1
as
00 dx
F(k, v) = Kv(kx)f(x) - . (15.14)
o x
If we assume that f(x) has the asymptotic form
xf3 x -+ 0,
f(x) '" { '
x a , x -+ 00,
x -+ 0,
x -+ 0,
x -+ 00,
Furthermore, in this limit the inversion integral (15.13) is the Mellin inver-
sion.
u(r,a,z) = f(r,z)
on one boundary, and is zero on all the other boundaries. First, we introduce
a Fourier series in z, using the functions sin(mfz/l), that satisfy the required
boundary conditions at z = 0 and z = l. Thus, we write
u(r, fJ, z) =
n=l
L
(X)
82 1 8 1 82 (n7r)2)
( 8r2 + -:;: 8r + r2 8fJ2 - -l- un(r, fJ) = 0, (15.15a)
and
un(r,O) = 0, (15.15b)
Un (mr/l, v, 0) = 0,
Un (mr/l, v, a) = Fn(mr/l, v).
sinhv()
Un(mr/l,v,()) = . h Fn(mT/l,v),
SIn va
from which an explicit integral representation of the solution may be con-
structed.
( \7 2 -
8 2 ) g(r, ro, t) = J(r - ro)J(t),
c12 8t 2
5These manipulations involve assumptions about the solution which can only
be verified a postiori. Alternatively, we could work with a suitable set of gener-
alized functions from the outset.
6R.D. Turner, Q. Appl. Maths., 14 (1956), 63.
260 15. Integral Transforms Generated by Green's Functions
R
(r,9)
r
9-90
barrier (x,O)
Laplace Transform
We introduce a function ¢(r, (), ro, ()o, t) by g = go + ¢, where go is the free
space solution (10.27). Then the equations that determine ¢ are
( \7 2
1 [j2) ¢ = 0
- --
c2 2 at
and
0, t < Ro/c,
¢(r, 0, ro, ()o, t) = {
- -
1 Jt 2 - R2/c2 t> Ro/c,
21f 0'
¢(r,(),ro,()o,O) = 0,
¢t(r, (), ro, ()o, 0) = O.
If we denote the Laplace transform with respect to t by iJ5, then the Laplace
transform of these equations is
and
1
iJ5(r,O,ro,()o,p) = -21fKo(pRo/c),
Kontorovich-Lebedev Transform
It is convenient to introduce another new function
1
'Ij!(r,(),ro,()o,p) = iJ5+ -Ko(pro/c),
21f
which goes to zero as r ---+ O. After multiplying by r2, the equation for 'Ij! is
2~ ~ ~ _ p2r2) _ _ p2 r2 Ko(pro/c)
(15.16)
(
r ar2 + r or + a()2 c2 'Ij! - c2 21f '
15.6 Diffraction of a Pulse by a Two-Dimensional Half-Plane 261
(~ + v2) W = _vKo(pro/c)
de 2 4sin(7fv/2)'
and
w( e e)1
v, ,ro, o,p
-
Kv(pro/e)cos(7f-eo)v _ Ko(pr/e)
- . . (7fV /).
iI=O,21T 2v sm 7fV 4v sm 2
The solution to these last two equations is
W(v, e, ro, eo,p)
Kv(pro/e) cos(7f - eo)vcos(7f - e)v Ko(pro/e)
v sin 27fv 4v sin( 7fV /2) .
The Solution
The function 'IjJ is given by the inversion integral
'IjJ(r,e,ro,eo,p) = ---;
1 lioo W(v,e,ro,eo,p)Iv(pr/e)vdv.
7f~ -ioo
t < R/e,
t > R/e,
t < RI/e,
t> RI/e,
c f
27l'...;rro n=O
Pn (r2 + r~ -
2rro
c2t2) sin (2n + 10) sin (2n + 1 ( 0 )
2 2
,
Problems
15.1 By setting p(x) = -1, q(x) = 0 and r(x) = 1 over the interval
a :::; x < 00, with the boundary conditions 9 = 0 at x = a, 9 finite as
x -+ 00, derive the transform pair
F(k) = 1 00
(sinkxcoska - cos kx sin ka)f(x) dx,
f(x) = 1 00
(sin kx cos ka - cos kx sin ka)F(k) dk.
F(k) = 1 00
¢(k,x)f(x)dx,
where
¢(k,x) = sinkx - (k/h)coskx.
Show further that if h > 0, there is an extra contribution from a pole at
). = _h2, giving
A= 1 00
e- hx f(x) dx,
q a
15.3 Recover the Weber transform (Section 14.5) by using Green's func-
tions.
15.4 By considering the Hermite equation (see Chapter IS) recover the
eigenfunction expansion
15.5 A quadrant-shaped slab, 0 ::; x < 00, 0 ::; y < 00, 0 ::; z ::; l, has the
face x = 0 held at temperature To, while the other faces are held at zero
temperature. Show that the temperature distribution is
1
n=O
o
. h I
sm 1l"V 2
w n + 1)1l"r Il) d v.
Using the integral representation
Kiv(X) =
cos 1l"V
h I
cos 1l"V 2
10
00
cos(xsinht) dt,
STo.
1l"2
~ sinh ((2n + 1)1l"zll)
u = -sm28 6
n=O 2n + 1
1 0
00 cos ((2n + 1)1l"rsinh(tll))
cosh 2t + cos 28
dt.
¢inc = ei(wt-kx) ,
where k = w / c. Show that the total field ¢ is given by
in the unbounded region -00 < x < 00, -00 < y < 00. We will not inves-
tigate the initial-value problem, but rather look for particular steady-state
solutions with the time dependence exp( -iDt). Then the wave equation
becomes the Helmholtz equation in two dimensions, namely,
k = Dje.
(i) We suppose that the motion is caused by a steady incident plane wave
¢inc = e-ik(x cos O+y sin 0) ,
(ii) We assume that the positive x-axis is a barrier to the waves. Specif-
ically, we impose the boundary condition 8¢j8y = 0 for y = 0, x 2 o. If
we introduce as the new unknown function 'lj; = ¢ - ¢inc, this amounts
to the boundary condition
'lj;y(x,O) = iksin()e-ik(xcoso+sinO), x 2 O.
Because of this, 'lj; may be discontinuous across the positive x-axis. How-
ever, we must have continuity for negative x, giving the further boundary
condition
'lj;(x, 0+) - 'lj;(x, 0-) = 0, x < O.
(iii) In choosing the inversion contour, we must ensure that the resulting
solution is the steady-state component of the (more complicated) initial-
value problem whose solution we are avoiding. We saw in Section 8.4
that one way to do this is to replace D by D + i5, where 5 > 0 if D > 0;
in the present case this amounts to replacing k by k + iE, E > O. After
the problem is solved we take the limit E --+ O.
Preliminary Considerations
The Wiener-Hopf technique relies on the use of Liouville's th€orem (see
Section 1.6), and hence on having some information about the analytic
properties of the Fourier transforms involved. Now it is obvious that in using
an integral transform to solve any problem we are making some assumptions
about the unknown solution. In the present case, we need information about
the analytic properties of the transform of'lj;, and this comes from physical
considerations. Referring to Figure 16.1, there are three regiolls in which
we expect 'lj; to behave quite differently, which we have labelled I, II, and
16.1 The Sommerfeld Diffraction Problem 267
y
...
incident plane
.... waves
..............
..........
I
II
barrier
x
III
III. In region I, 'IjJ should consist of the reflection of the incident plane wave
plus an outgoing diffracted wave coming from the edge of the barrier. In
region II, we expect 'IjJ to be only a diffracted wave. Region III is in the
shadow of the barrier, and here the complete solution cP must be only a
diffracted wave. Hence, 'IjJ = cP - cPinc consists of a diffracted component
and the negative of cPinc.
We are particularly concerned with the behavior of these functions on the
x-axis, since this is where the boundary conditions are applied. The incident
waves have amplitude exp( EX cos (}), and we estimate the amplitude of the
diffracted wave by the following argument: the diffraction is caused by the
edge of the barrier, and the strength of this term at a distance r from
the origin must be proportional to the strength of the incident wave at the
origin at time r / c previously. However, cPinc is increasing in time as exp( 5t),
where 8 = EC, and so the diffracted wave must decrease as exp( -Er) for large
r. This gives us the estimates
eExcoslJ
x> 0,
'IjJ(x, 0) rv
{ ' (16.1)
e EX , x < o.
From this, we expect that the Fourier transform will converge in the strip
E cos () < Im( w) < E, so we confine the inversion contour to this region.
Basic Procedure
Now we take the Fourier transform with respect to x of the equation for
'IjJ, obtaining
d2
( dy2+k -w
2 2)
lP(w,y) =0, (16.2)
268 16. The Wiener-Hopf Technique
Im(ro)
branch cut
c ro=k+if.
•
Re(ro)
ro = --k-if.
ro = (k+ if.) cos e
branch cut
The execution of the method requires that we consider only transforms that
are analytic in a strip containing the inversion contour. From physical con-
siderations, moreover, we must choose from the solutions (16.3) a function
that is bounded as Iyl --+ 00, and this requires that we have knowledge of
the sign of Re( vw 2 - k 2 ) on the contour. Now it is easy to show that if we
choose the branch by vw 2 - k 2 = ik for w = 0, and cut the w-plane as indi-
cated in Figure 16.2, then Re(vw2 - k 2 ) ~ 0 in the strip -to < Im(w) < to,
and suitable solutions of (16.2) are given by
-ksine
Im(w) > ECOSe.
w - kcose'
The whole difficulty with the problem is that whereas we know that the
functions A_(w) and B+(w) have the values indicated, we do not know
A+(w) and B_(w). Consequently, there is not enough explicit information
to write down tlf(w, o±) immediately from the boundary conditions. What
we do know is that 'l/Jy and hence tlfy is continuous at y = 0, and on differ-
entiating (16.4) and, setting y = 0- and y = 0+, this gives the relation
(16.5)
(16.6)
B+(w) B+(w)
vw - k = Jk(cose -1) + B+
( )( 1 1)
w vw - k - Jk(cose - 1) (16.7)
= F+(w) + F_(w).
270 16. The Wiener-Hopf Technique
Im(ro)
Cl
ro =-k Re(ro)
branch cut branch cut
ro =k cos e
(16.8)
The Solution
We insert (16.9) into the inverse Fourier transform, and take the limit
E -+ O. This requires also that we move the contour to avoid the branch
points, which themselves move onto the real axis. The solution may then
16.1 The Sommerfeld Diffraction Problem 271
'.
"".,.,"
~~""'"
.., / /
/".
.......
'\..
""
k ,/ "'" 0) = k cos 8 Cl
0) = - cos X /// ."""',.
.. /' ..... .
C
T2 ",
- sgmyJk72cos(B/2)
'¢(x, y) -
1 e-iwx-IYlvw2_k2
~ dw, (16.10)
7ri C1 (w - k cos B) w - k
where k is real and positive and the contour C 1 is shown in Figure 16,3.
Next, we will demonstrate that the integral (16.10) does indeed describe
a solution having the general properties that we discussed in connection
with Figure 16.1. For this purpose, we introduce the variables r, X by 3
x = r cos X,
Iyl = rsinx,
so that the regions of figure 1 correspond to
3See Section 10.4 for another example of this transformation, which is also
discussed at some length in Noble [43], page 31ff.
272 16. The Wiener-Hopf Technique
(see Figure 16.4). Now it may be shown that the integrals along the arcs
r 1 and n tend to zero as their radius R -t 00; hence, we may deform the
contour 0 1 in (16.10) to this new contour, provided we pick up the residue
at the pole at w = k cos e if the new contour is on the opposite side of the
pole from the original contour.
Temporarily denoting this new integral by J we may write the following
results for the solution ¢:
(i) In region I, k cos X > k cos( 7r - e) = -k cos e, so that the two contours
enclose the pole. Thus,
¢ = ¢inc + eik(x cos O-y sin 0) +J.
Here the second term, which is the residue at the pole, is a reflected plane
wave, as expected.
(ii) In region II, the contours are on the same side of the pole, and we
have
¢ = ¢inc + J.
(iii) In region III, we again have a contribution from the pole, but because
of the different sign of y, it exactly cancels ¢inc, and we obtain
1
(16.11) into (16.10) to give
1 00 eikrcoshtsin((x+it)/2)
J=-sgmysin(e/2)
7r _ 00
e ( .) dt.
cos + cos X + zt
(16.12)
J 2
eiTC/4 sgmy (sin(e/2)sin(X/ )) ( -2- )1/2 e ikr
. (16.13)
cos e + cos X
~
7rkr
Thus, J represents an outgoing diffracted wave, whose amplitude is pro-
portional to the factor sin( e/2) sin(x/2) / (cos e+ cos X). Analysis of J using
the method of steepest descents confirms this conclusion, and also shows
how it behaves asymptotically when cos e + cos X ~ 0, where it is evident
that (16.13) is invalid (see also Problem 16.3).
16.2 Wiener-Hopf Procedure: Half-Plane Problems 273
(16.14)
where this equation holds in a strip a < Im(w) < (3, whereas
P+(w) is analytic in the half-plane Im(w) > a, and Ifi_(w) is
analytic in the half-plane Im(w) < (3. The functions A(w), B(w),
and C(w) are analytic in the strip.
The first step is to find ajactorization of A(w)/ B(w), that is, to find func-
tions K+(w), K_(w), analytic in Im(w) > a and Im(w) < (3, respectively,
such that
A(w) K+(w)
B(w) - K_(w)·
Then we may rewrite the equation as
(16.15)
(16.16)
where again F+(w), F_(w), are analytic for Im(w) > a and Im(w) < {3,
respectively. Taking (16.15) and (16.16) together, we may now define an
4See Duffy [23] or Noble [43] for more references. In addition to problems in one
complex variable, Kraut has considered mixed boundary-value problems which
may be resolved using a Wiener-Hopf type of decomposition in two complex
variables. See E.A. Kraut, Proc. Amer. Math. Soc., 23 (1969), 24, and further
references given there.
274 16. The Wiener-Hopf Technique
At first sight, it may seem that we have merely defined a function that is
analytic in the strip a < Im(w) < (3, but the essential point is that each of
the two ways of defining E(w) makes it analytic in a semi-infinite region,
and since the two regions overlap we may appeal to the principle of analytic
continuation; E(w) is an entire function.
Now suppose that we can show that as Iwl --+ 00,
>.cjJ(x) 1
+ 00 k(x - y)cjJ(y) dy = I(x), x> 0.
The first move is to extend the range of the equation to all x, which may
I:
be achieved by writing
where
cjJ(y) = 0, y < 0,
I(x) = 0, x < 0, (16.19)
'l/J(x) = 0, x> 0.
16.3 Integral and Integro-Differential Equations 275
(16.20)
Example 1
To illustrate, we put k(x) = exp(-alxl), a> 0, and consider the homoge-
neous problem
1 00
e-alx-yl ¢(y) dy = ¢(x), x> o. (16.21)
(16.22)
2
( _2a_-_a__~_w_2) <P+(w) = (w _ ia)tli_(w)
w+za (16.23)
= E(w).
If ¢(x) and 'ljJ(x) are bounded as Ixl -+ 00, then <P+(w) and tli_(w) are of
order Iwl- 1 for large Iwl in the upper and lower half-planes, respectively,
and (16.23) defines a bounded entire function E(w). By Liouville's theorem,
E(w) = A where A is undetermined. Thus,
w +ia )
<P+(w) = A ( 2a-a 2 -w 2 '
A
tli_(w) = - -..
w-za
Note that the inversion contour must pass above the poles of <P+(w) and
below the poles of tli_(w) so as to satisfy (16.19). Inversion now yields
(16.24)
which has two independent solutions. However, the integral equation also
contains the boundary condition
¢' (0) = a 1 00
e- ay ¢(y) dy
= a¢(O),
and when this is added to (16.24) it leads to the solution obtained above.
Example 2
We consider again an equation solved in Section 6.2, namely,
A1 00
e-ajx-yj ¢(y) dy = f(x). (16.25)
p ( )=
+ W
+ a2) F+ ()
(w22a..\ W +
A (w + ia)
2aA
and
¢(x) = a2 f(x) -;.f"(x) + B{ab(x) + b'(x)}. (16.26)
2a
Here B = iAj2"\ is an arbitrary constant. This solution involves general-
ized functions in two ways; explicitly in the combination ab(x) + b'(x) and
implicitly through the appearance of f"(x), the second derivative of a func-
tion that may be discontinuous at x = O. As was observed in Section 6.2,
(16.25) implies the boundary condition
af(O+) - f'(0+) = 0,
x:::; 0,
"() { 0,
fT X = f"(x), x> 0,
16.3 Integral and Integra-Differential Equations 277
Example 3
We continue to use the same integral operator to illustrate the variety
of phenomena that it may contain, and consider the integro-differential
equation
¢"(x) + ~ 10 00
e-alx-yl ¢(y) dy = 0, x 2: O. (16.27)
We may now examine, in retrospect, the conditions necessary for the valid-
ity of our procedure. From the fact that ¢(x) = 0 for x < 0, we obtain for
'lj;(x) the simple expression 'lj;(x) = (constant) exp(ax) , so that its transform
converges if Im(w) < a. This behavior is reflected in (16.28), from which
we see that llf_ (w) has a pole at w = ia. We need an overlapping strip to
ensure that E(w) is an entire function, so the pole in llf_(w) forces us to
assume that ¢(x) grows at a rate less than exp(ax) for large positive x.
Applying this restriction we conclude that E(w) is an entire function that
is of order at most w2 in the upper half-plane, and bounded in the lower
half-plane. Consequently, E(w) = A, and we obtain
Im(w) > a. This latter pole clearly violates our original conditions on
<P+(w). The way out of this difficulty is to choose A so that the numer-
ator of (16.29) has a coincident simple zero, making <P+(w) analytic there.
Thus, A is not an arbitrary constant, but is determined by our assumption
regarding the rate of growth of ¢( x). Inversion of <P+ (w) gives for ¢( x) a lin-
ear combination of three exponential functions depending on two arbitrary
constants, namely, ¢(O) and ¢'(O).
Boundary Conditions
To investigate the significance of these findings, we use the fact that the in-
tegral operator in (16.27) is a Green's function, to convert the problem into
a differential equation. Acting on the original equation with the operator
d 2 / dx 2 - a 2 yields the fourth-order equation
whose solution is
4
¢(x) = Lejer j "',
j=l
Problems
16.1 Show that, if the function 'ljJ(x, 0) of (16.1) has the behavior
where f1, > -1/2, then the entire function E(w) of (16.8) is identically zero.
Investigate the solution obtained for the Sommerfeld diffraction problem
under the weaker assumption that f1, = -1/2.
16.2 By using a suitable free space Green's function for the Helmholtz
equation in a half-plane, show that the solution of the Sommerfeld diffrac-
Problems 279
where R = J(x - ~)2 + y2, while the unknown function h(O is determined
by the integral equation
where
p(w,O) = e 3i7r / 4
In(w - k)
1°00 ei(w-k)u du
x?: 0,
subject to
¢(O) = 1,
¢(x) -+ 0, x -+ 00.
G(O,X') = 0,
G(x, x') -+ 0, x -+ 00.
= 1 00
¢(s + x)¢(s + x') ds + Go(x - x'),
5This relationship holds for a wide class of kernels, of which exp( -Ix - yl) is
the simplest. See G.A. Baraff, J. Math. Phys., 11 (1970), 1938.
Problems 281
where Go is the Green's function for the infinite problem, that is,
1fzcoth(1fz) = K+(z)K_(z),
K+(z) = 1fl/2( -iz)!/ (-iz - 1/2)!,
K_(z) = K+( -z).
\1 2 ¢ - ¢x = 0,
¢(x, y) --1- 0,
¢(x,O) = e- ax ,
while the inversion contour lies in the strip °< Im(w) < 1.
16.12 Consider the infinite strip -b ::::: y ::::: b, -00 < x < 00, along which
a wave ¢inc = exp(ikx) is incident from x = -00. The total wave field ¢,
which consists of the incident travelling wave and waves diffracted by a
semi-infinite barrier at y = 0, x 2: 0, satisfies the equations
(\1 2 + k 2 ) ¢(x, y) = 0,
¢y(x, ±b) = 0, -00 < x < 00,
¢(x,O) = 0, 0::::: x < 00.
Find explicit expressions for ¢(x, y).
°: : :
16.13 Solve the previous problem with the boundary condition on the
barrier replaced by ¢y(x, 0) = 0, x < 00.
First, choose z to lie inside the contour shown in Figure 17.1; then Cauchy's
integral formula gives
p(z) = ~
2nz
f p(() de·
(- z
(17.2)
We consider only functions for which the integrals along C3 and C4 become
zero as L --+ 00. Taking this limit, we obtain the result
1
p(z)=-.
2nz
Jh+
i-y-oo
OO
p( ()
-d(--.
(- z
1
2nz
l iHOO
i8-oo
p( ()
-de.
(- z
(17.3)
284 17. Methods Based on Cauchy Integrals
~ iB
Cl
io
C3 C4
Re(l;)
-L L
C2 i"{
ia.
The first integral defines a function analytic for Im(z) > a, since for any
such z we can always choose 'Y by a < 'Y < Re(z), and the second integral
defines a function analytic for Im(z) < (3. Therefore (17.3) gives the desired
decomposition.
Equation (17.3) gives an additive splitting; however, the same trick may
suffice to give a multiplicative splitting, that is, a factorization of the type
A>( ) = K+(z)
'P Z K_(z)"
If the function K+(z) has no zeros for Im(z) > a and K_(z) has no zeros
for Im(z) < (3, then we may reduce the problem of finding K+(z) and
K_(z) to an equation of the type (17.1) by either of two easy methods.
The first is to take logarithms, which gives
Milne's Equation
On taking the Fourier transform of equation (16.17), we are led to the
problem of factoring
(17.4)
Now the function w- 1 arctanw has branch points at w = ±i, so the strip in
which we must operate is -1 < Im(w) < 1. It is not difficult to show that
17.2 Cauchy Integrals 285
in this strip the only zero is a double zero at w = O. We must remove this
zero in order to apply a contour integral method; therefore, we consider
the problem of finding the factorization
(
W2
w2
+ 1) (arctanw
w
-1) = G+(w).
G_(w)
This is suitable for use in the contour integral method since the logarithm
of the function tends to zero as Iw I --+ (Xl in the strip -1 < Im( w) < 1, and
the double zero has been removed. Assuming that InG+(w) and InG_(w)
have been found by contour integration, (17.4) now admits the factorization
and the functions tJj + (w) and t]f_ (w) may be found by the usual argu-
ments. For details and numerical computations the reader is referred to
the literature. 1
F(z) = ~
27fZ
1 f(() de,
c (- z
(17.5)
1C. Mark, Phys, Rev., 72 (1947), 558; G. Placzek, Phys. Rev., 72 (1947),556.
2Mushkelishvili [42].
3The function f(() satisfies a Holder condition (of index 1) on a contour C if
there exists a real positive constant A such that
c'
the left-hand side as positive and the right-hand side as negative, and to
define the functions
F±(() = lim F(z),
z-+(
where the point ( on C is approached from the side indicated by the suffix.
We also define the principal value by
Fp(() = lim ~
E-+O 27ft
10'
f(u) du,
u- (
Plemelj Formulae
We now derive some very important results in the case that f(() is an
analytic function. 4 Consider first a point ( on C that is not an end point
or a corner; then, by some elementary considerations from the theory of
contour integrals, we may collect together the results
-~ 1
27ft 0'+02 u- (
f(() = f(u) du,
7ft 01 U - (
=~1 f(u) du
7fi O2 u- ( ,
4These results are in fact true for functions f(O that satisfy a Holder condi-
tion, although the proofs are more intricate in this case-see Mushkelishvili [42],
Chapter 2.
17.2 Cauchy Integrals 287
where the various contours are shown in Figure 17.2. On taking the limit
E -+ 0, we recover the Plemelj formulae
1
F+(() = Fp(() + 2f ((),
F_(() = Fp(() - ~f(().
Near a corner of included angle a (see Figure 17.3), we have
f(() = -~ r
f(u) du,
m}c1u-(
= 1
(27r-a)i}C2 u - (
r f(u) du
,
and hence, the Plemelj formulae are changed to
F(z) = ~
27r~
Ib
a
f(() - f(a)
(- z
+ f(a) d(
= 1
-.f(a)
27r~
In - -
Z - a
(z - b) + D(z), (17.6)
288 17. Methods Based on Cauchy Integrals
where
D(z) = ~
27fZ
lb a
f(() - f(a) d(.
(- Z
(17.7)
Since the integral defining D(z) converges when we set z = a, the singu-
larity in F(z) at z = a is of the form
- f(a)
F(z) '" - - . In(z - a).
27fz
ei7r 'Ya ¢( a)
F(z) '" . .,
2z(z - a)'Ya sm 7f"'/a
¢(a) = lim(( - a)"Ya f((),
(-+a
and
e i7r 'Yb ¢( b)
F (z) '" - ~_::-:--'---'cc'-_
2i(z - b)'Yb sin 7f"'/b '
¢(b) = lim(( - b)"Yb f(().
(-+b
(iii) for any end point or corner, I<l>(z) I < Alz - cl.B, f3 > -1,
(on C.
To solve this problem, we first set f() to zero, and find functions K+(z)
and K_(z), with the property
(on C. (17.8)
Leaving aside the construction of such a pair of functions until later, this
reduces the Riemann-Hilbert problem to
f()
(on C.
K+() ,
The discontinuity theorem gives a solution immediately, viz:
<l>(z)
K(z) =
1
27fi
r f()
lc ( _ z)K+() d( + E(z). (17.9)
Construction of K+ and K_
Taking the logarithm of (17.8), we obtain
(17.10)
Closed Contour
If C is a closed contour that does not cross itself, then the function lng(()
will increase by 27rin in one circuit ofthe contour. Introduce a new function
go(() by
go(() = (( - a)-ng((),
where a is an interior point of the region bounded by C. It is easy to check
that the desired decomposition is given in terms of go (() by
In K + (z ) = _1
2·
7rZ
1 C
Ingo (() dr
r
.,,-z .",
Simple Applications
Suppose that C is a smooth arc joining the points z = a and z = b, with
the Riemann-Hilbert problem given as
(17.11)
Since lng(() = i7r, we commence by noting that
_1_1b ~ d( = In(b - z) -In(a - z) .
27ri a (- z 2
17.4 Problems in Linear Transport Theory 291
p(z)
K(z) =
1
21fi
lb
a
f(()
K+(()(( _ z) d( + E(z).
p(z) ~ + n(z) ,
=
2 vz 2 -1
where n(z) is an entire function, which differs from E(z) due to contribu-
tions from the integral.
6We could in fact use a Fourier inversion contour that is not a straight line
parallel to the real axis, thus achieving a generalization of the Wiener-Hopf
technique by using the Plemelj formula.
7This section is based on work by K.M. Case and R.D. Hazeltine, J. Math.
Phys., 12 (1971), 1970.
8See Case and Zweifel [16] for the derivation and interpretation of this
equation.
292 17. Methods Based on Cauchy Integrals
'¢(r, v) = r
iz?o
G(r' - r, v){cp(r', v) + q(r', v)} d3 r'
\[I+(k, v) = r
iz?o
'¢(r, v) eik .r d3 r,
\[I_(k, v) = r
iz$.o
'¢(r, v) eik .r d3 r,
'Tr(k
'¥ , V
) -_ cP+(k, v) + Q+(k, v) +
1 - ik . v
Vz
1 - ik . v
1z=o
of, (
'+'8 r, v ) e ik-r d2 r.
(17.13)
p(r) = J g(v)'Ij;(r, v) d 3 v,
represents the known contributions from the sources q and the boundary
function 'Ij; 8.
For convenience, we denote the z component (normal component) of k
by k; dependence on the transverse components kx , ky will not be explic-
itly mentioned. It is evident from the above formulae that the real k-axis
will separate regions of differing analytic behavior, and that (17.14) is a
standard Riemann-Hilbert problem in the complex variable k. For suit-
ably behaved functions B(k), the solution of (17.14) will be given by the
Cauchy integral
- (k)A (k)
p+ +
= _1
21fi
1
00
-00
B(k')A_(k') dk'
k' - k '
(17.16)
where the functions A+ (k) and A_ (k) factor the dispersion function A( k)
according to
k real.
branch cut
branch cut
A(k) = 1 - 47f
C J dn
1 - ik. n
=1+
2Vk2 +
ic
",2
I (1
n
+ i Vk 2 + ",2 )
1 - iVk2 +",2 '
where ",2 = k; + k~. The analytic structure of this function for c < 1 is
indicated in Figure 17.4; there are two branch points at k = ±iVl + ",2,
and two zeros 10 at k = ±i",o, where "'0 < VI + ",2.
It is clear that the function
L(k) = In (k2 +",2 + 1 A(k))
k 2 +",~
is analytic in the entire complex plane, with the two branch cuts of Fig-
ure 17.4, and that it may be additively decomposed according to
L (k) = _1 JOO L( k') dk'
± 27fi -00
k' - k .
Now we deform the contours to C± of Figure 17.4, so that the factorization
of the dispersion function may be written as
A (k) = k ± i",o X (k)
± k ± iVl + ",2 ± ,
where no is the direction of the incident beam, with (Do)z > O. From this,
using (17.15) and (17.16), and writing Dz = J-L, (Do)z = J-Lo, it follows that
i
B(k) = k+i/J-LO'
and
(17.17)
Substitution of this result into the inverse Fourier transform gives the result
that p(z) = 0 for z < 0, while for z ::::: 0, we may deform the contour into
the lower half-plane, where the integrand has a simple pole and a branch
cut, to obtain
(17.18)
where we have added a circumflex to their functions A(v) and X(v) to dis-
tinguish them from the functions appearing above. Now the eigenfunctions
296 17. Methods Based on Cauchy Integrals
Im(v)
c
...+---...04---........ Re(v)
in (17.18) are
cv 1
rPv(JL) = - p - - + .\(v)O(v - JL),
2 V-JL
where P refers to principal value integration. The meaning of that expan-
sion is most easily expressed in terms of Cauchy integrals via
10
r A(v)rPv(JL) dv = [~
1
r
21f~ 10
1
A+(v)A(v) dV]
v - JL
+
_ [~ r 1
A_(v)A(v) dV] ,
21f~ 10 v - JL
where JL is the complex variable to which the subscripts ± apply. With the
help of these formulae, we may write p(z) as
1
cVoX(vo)
(17.19)
+ (vo - JLo)r(JLo) 2e- Z / V
~
d
v,
21fi c cv(vo - v)(v - JLO)X(v)
where the contour is shown in Figure 17.5.
Under the variable change, = -ilk, it is easily shown that we have the
correspondence
A(v) = A(k),
X(v) = X+(k),
K:o = l/vo,
so that the integral in (17.19) becomes
llBased on KM. Case and R.D. Hazeltine, J. Math. Phys., 12 (1971), 1970.
17.6 A Diffraction Problem 297
Fourier transform method provided a more direct approach, and avoids the
difficulties inherent in the interpretation of singular eigenfunction methods
as explicit formulae suitable for direct computation.
¢(x, y) - ¢i(X, y) = 41
7r
l-a
a
G(x, y, x', O)p(X') dX', (17.20)
where
p(x) = ¢y(x,O+) - ¢y(x,O-).
We recall13 that the Green's function may be written as
(
Gx,y,x,y
I ')
=
100 e- ik (y-y')-!x-x'!v'k 2 -1<2
---r~=~--dk,
-00 yk 2 - K;2
Im(k)
C2
-l(
Re(k)
where we take as the branch cuts the contours C 1 and C2 of Figure 17.6.
Setting y = 0, Ixl ::; a in (17.20), we obtain the integral equation
K(x - x') = 1 00
-00
e
-lx-x'l~
v'k2 - ",2
dk.
(17.21)
The Function K
By deforming contours around the branch cuts, and then shrinking them
onto these cuts, we may deduce the representations
For convergence, C 1 is the contour if x < x' and C 2 is the contour if x > x'.
From this representation of K(x - x'), the following important property
emerges:
r
lC2i(k' -
L1(k') dk' _
k)
r i(k'L1(k')- k) dk'
lCI
= {27r TJ (k), k not on Gi ,
0, k on G i .
With the aid of this formula, the original integral equation is reduced to
+ lCI
r rPli(k'(k') -e-k)iak' dk , + lCr rP2i(k'(k') _e-k)iak' dk,) dk
2
_lCr L1(k) e-ik(a+x) (_ "" .Aj eiakj
~ z(k - kj )
2
J
+ lCI
r rPl(k')e iak' , r
rP2(k')e iak ' ,)
i(k' - k) dk + lC2 i(k' _ k) dk dk
300 17. Methods Based on Cauchy Integrals
For the present problem, with incoming plane waves, ¢i(X,O) is simply
one exponential term, and a solution of this last equation is achieved by
simultaneously solving the three equations:
X 1(k) = (k + h:)-1/2,
X 2(k) = (k - h:)-1/2,
XH(k) + X 1 _(k) = 0 on C 1 ,
X 2+(k) + X 2_(k) = 0 on C2.
Then the Plemelj formulae enable us to express the functions (PI (k) and
¢2 (k) in terms of these Cauchy integrals via
1
¢1(k) = 2" (<PH - <Pl-) on C1,
1
¢2(k) = 2" (<PH - <P2-) on C 2·
14The techniques used for the solution of these singular integral equations are
quite standard: see Mushkelishvili [42).
17.6 A Diffraction Problem 301
where
nl'(k) = _ 2i", _ r ¢2(k') e-ik'a dk'
'I-' k lC2 k' - k .
The solution of this Riemann-Hilbert problem is
(17.24)
Introducing the expression for 'IjJ(k) into (17.24), the first term of 'IjJ(k)
leads to the integral
The second term is dealt with using partial fractions in a similar manner,
so that the singular integral equations (17.23), for the unknown functions
¢1 (k) and ¢2 (k), are reduced to the ordinary integral equations
. X
Z7r 1+ '1-'1 - T
r ¢2(k')Xl(k')e-ik'adk'
(k)'" (k)_2i"'X(0)
1 k' _ k
- lC2
C
on 1,
Problems
17.1 Use Cauchy integrals to derive the factorization of (16.7).
by deforming the contours of the Cauchy integrals to turn them into loop
integrals.
17.5 Use Cauchy integrals to derive the decompositions needed in the so-
lution of Problem 16.6.
18
Laplace's Method for
Ordinary Differential Equations
n
~:)ak + bkX)y(k) (x) = 0, (18.1)
k=O
304 18. Laplace's Method for Ordinary Differential Equations
0= fa {F(P) + xG(p)}S(p) eP x dp
fa
(18.3)
= {F(P)S(P) - d~ G(p)s(P)} eP x dp + [G(p)S(p) eP x ]~,
where
k=O
n
G(p) = Lbkpk.
k=O
The second term in (18.3) is evaluated at the end points of the contour,
which are often at infinity. If we choose the contour so as to make this
contribution vanish, then (18.2) will represent a solution to (18.1) if the
function S (p) satisfies the differential equation
A
S(p) = G(p) exp
(JP G(q)
F(q) )
dq , (18.5)
1
S(p) = - 2p exp
(JP
-
q2 2q+ 2v dq )
= - 2~ exp (-p: - vln p )
e- p2 / 4
- 2pv+l .
(18.7)
Choice of Contour
In general, a variety of paths will satisfy the condition that the integrated
term vanishes; each such path leads to a different solution. The particular
path of interest is usually dictated by the physical or boundary conditions
we impose. Possible paths that satisfy (18.8) are
We will prove in Section 18.3 that Hermite functions have the behavior
w(x) rv Aexp(x 2 ) either for x -+ 00 or x -+ -00, or both, except when
306 18. Laplace's Method for Ordinary Differential Equations
Im(p)
c
Re(p)
v = 0,1,2, ... , for which there are some bounded solutions. 2 Turning first
to such bounded functions, for which v must be an integer, we take C to
be a circle enclosing the origin and write
n = 0,1,2, ....
Hn(x) = -2.
n! 1 e-p2+2px
n+l dp, (18.9)
7fZ C P
where we use the symbol Hn as the (standard) notation for a Hermite
polynomial.
Derivative Form
A formula for Hn(x) follows if we use the change of variables u = p - x in
(18.9), and apply the standard formula (1.12) for evaluating the residue at
a pole or order (n + 1). This gives
Generating Function
From (18.9), we have
(18.10)
2This conclusion may also be reached using Watson's lemma for the paths (i),
(ii), and (iv).
18.3 Hermite Functions 307
that is,
2xt-t 2 _ ~ Hn(x) n
e - L.....-
n.
,t.
n=O
[n/2] (-I)k'
() '" n. ( )n-2k
Hn x=L.....-k!(n_2k)!2x ,
k=O
(18.11)
which is the Laplace integral solution (18.7) with the normalization fixed.
We take the contour shown in Figure 18.1, so that for v = 0,1,2, ... we
recover Hn(x). When v = -1, -2, ... , (18.11) is indeterminate. However,
for Re(v) < 0, we may obtain an alternative representation by shrink-
ing the contour around the branch cut. After the change of variables p =
texp(±i7r), this gives
(18.12)
Re(v) < O.
There are two important immediate consequences. The first is that H v (x)
is an entire function of both x and v; the second is that Hv(O) may be
evaluated. For, on putting x = 0 in (18.12), we have
(-v/2 - I)!
Hv(O) = 2( -v - I)! ' (18.13)
3For details beyond those given in this section see, for instance, Abramowitz
and Stegun [1], Lebedev [37], and Szego [62].
308 18. Laplace's Method for Ordinary Differential Equations
Recurrence Relations
If we multiply (18.11) by 2x and integrate by parts, we find that
v.
2xH,Ax) = - - .
2m c
,1
+2 x e 2
e P - d ( -_p- ) dp
dp pll+!
1)
v+ dp,
( -2p- -p-
Independent Solutions
HII(x) is one solution of Hermite's equation, and it is trivial to show that
H II ( -x) is also a solution. The crucial question is whether this second solu-
tion is linearly independent of the first, and this depends on the Wronskian.
For any two solutions of (18.6), we have 4
(18.15)
_ 211+!J1f x2
W[HII(x), H II ( -x)] - (-v _ I)! e .
ex2 H_ v _ 1 (±iz)
also satisfy Hermite's equation. The Wronskians may again be obtained by
direct calculation at x = 0, which gives
W[Hv (x),e X2 H- v- 1 (±ix)] = ex2 ±i7r(v+1)/2,
so that these new functions provide solutions independent of HZ/(x) for
arbitrary v. We return to this fact below. First, we wish to use these new
solutions to obtain an integral representation similar to (18.12) for Re(v) >
-1. We commence by noting that any three solutions of a second-order
differential equation must be linearly dependent; hence there are constants
A, B, C, such that
(18.16)
By evaluating this expression, and its derivative with respect to x, at x = 0,
we obtain the relation
Hv(x) = 2Vv!
y7r eX 2 (e.mv /2 H_Z/_ 1 (ix) +e- 27rV
. /2
H_ v_ 1 (-ix) ) . (18.17)
Hv(x) =
2 v + 1 e x2
y7r 10roo e- t 2
tV cos (2xt - V1f/2) dt, Re(v) > -1. (18.18)
Asymptotic Forms
We commence with the integral (18.11), and replace the branch cut by the
straight line t = -p exp( io:), where 0: is chosen by the following considera-
tions:
(i) The integral must be unchanged and convergent, which imposes the
restriction -1f / 4 < 0: < 1f / 4.
(ii) We want the factor exp(2xp) to go to zero as p --+ 00, which imposes
the restriction Re(xp) < 0.
Denoting arg(x) by (3, this implies -1f/2 < 0:+(3 < 1f/2 and thus -31f/4 <
(3 < 31f /4. Now we replace exp( -t 2 ) by its Taylor series and apply Watson's
lemma for loop integrals, which gives
v~ (-I)k(2k-v-l)!
Hv(x) '" (2x) L k! (-v _ I)! (2x)2k ' (18.19)
k=O
- 31f/4 < arg(x) < 31f/4.
310 18. Laplace's Method for Ordinary Differential Equations
We also need a formula to cover the region excluded from (18.19). Using
(18.17) rearranged in the form
v ~ (-1)k(2k - v - I)!
Hv(x) rv (2x) ~ k! (-v _ I)! (2k)2k
k=O
ynei1rv e2 (2k + v)! (18.20)
L
00
(18.21 )
u(z) = ~
27r
r(w
lc
2 _ 1),,-1/2 eiwz dw, (18.23)
Another Representation
The integrand in (18.23) has two branch points, at w = ±1, a feature char-
acteristic of the confluent hypergeometric equation, and that causes some
practical difficulties. An alternative approach, applicable only to Bessel
functions, commences by replacing (18.21) by
S( ) = _1
P 4p2 exp
(JP 4(v +4q2l)q + 1 dq)
= ~p"-l e1/4p
4 '
giving the alternative integral representation
g(~) = ~
27rz
rp,,-l eP~-1/4p dp.
lc
6Bessel's equation is a special case of the confluent hypergeometric equation;
one of its distinguishing features is that under this transformation, it remains an
equation of the form (18.1).
312 18. Laplace's Method for Ordinary Differential Equations
J(z) = ~
27r2
1
C
pv-l e!z(p-l/p) dp.
J(z) = ~
27r2
1
C
p-v-l e!z(p-l/p) dp. (18.24)
1
Jv(Z) = -2'
7r2
J O
-00
+ p-v-l e 2z
1 (p-l/p) dp,
Re(z) > 0, (18.25)
where the restriction Re(z) > 0 is necessary to make the integral converge.
Analytic Continuation
It is a simple matter to perform an analytic continuation of (18.25) to all z,
and to elucidate the behavior of Jv(z) about z = 0 at the same time. If we
temporarily restrict z to be real and positive, then the change of variables
u = pz/2 yields
(z/2)V
J (z) = - -
JO+ u- v- 1 eU - z 2 /4u du (18.26)
v 27ri -00 '
where the contour is unchanged since z is real. But the integral in (18.26)
defines an entire function of z since it is single valued, and absolutely con-
vergent for all z. Hence it is a valid representation for all z, and we see that
Jv(z) has a branch point at the origin, but that it has no other singulari-
ties. To complete the definition of Jv(z) we must introduce a branch cut;
the usual convention is to make this the negative real axis, specifying the
branch by the restriction -7r < arg(z) < 7r.
18.5 Bessel Functions of the First Kind 313
Series Expansion
A series expansion for Jv(z) may be obtained from (18.26) by replacing
exp(-z2j4u) by its Taylor series7 and integrating term-by-term. On using
Hankel's integral representation (1.21), we thus obtain
(18.27)
Recurrence Relations
These may easily be obtained from (18.25), temporarily assuming Re(z) >
0, and then using analytic continuation to remove the restriction. If we
differentiate under the integral sign, we have
J' (z) =
v
~
21f~
1~ 0
-00
+
2
(p - ~) p-v-l e!z(p-l/p) dp
P (18.28)
1 1
= 2Jv-1(z) - 2 JV+1(z).
vJv(z) = _. -11
21f~
0
+ (p-V)' e'21 z(p-l/p) dp
1 (1 + ~)
-00
= ~ 0
+ :. p-V e!z(p-l/p) dp (18.29)
21f~ -00 2 p2
Z Z
= 2JV+1(z) + 2 JV - 1(z).
:From these two relations, a number of others may be deduced.
Bessel's Integral
We modify the contour of Figure 18.1 to that shown in Figure 18.2 and
shrink the straight-line sections onto the negative real axis. The integral
then splits up into two terms:
(i) The contribution from the circular path. If we write p = exp(iO), we
have
Im(p)
Re(p)
where the latter result comes from writing the complex exponential in
terms of sine and cosine functions, and using the fact that the former is
an odd function and the latter an even function.
(ii) The contribution from the straight paths. On the upper path we put
u = exp(s - i7f), on the lower path u = exp(s + i7f). This yields
1
_. 10
e-VS +.urv-z (8
e - e -8)/2 ds + _.
1 1 00 .
e-VS-~11'V-Z (e 8 - e -8)/2 ds
. 1
27fZ 00 27fZ 0
- -
7f
sin7fv
-
7f
0
1 0
00 .
exp(-zsmhs - VS) ds, Re(z) > O.
(18.32)
For integer v, the second integral gives no contribution. The first integral
is known as Bessel's integral. The complete formula (18.32) which is valid
for all v, is a generalization of Bessel's integral.
and on inserting the power series (18.10) and considering the limit z -+ 0,
1
A= 1
1I! (-1I - I)! (-1I)! (ll - I)!
(18.33)
-2 sin 7r1l
7r
Choice of Path
The integrand in (18.34) is an entire function of t; consequently, closed
contours yield the trivial function Zv == O. Furthermore, the integrand has
no zeros, so both ends of the contour must approach infinity in such a way
that Re(zsinht) -+ -00. If we restrict our attention to Re(z) > 0, then
these considerations impose the restrictions
Im(t) Im(t)
C1
in I-----=---
Re(t) Re(t)
-in r-__-c..::2-
Im(t)
Im(t)
- - - - - - - i 2in
Re(t) Re(t)
-in 1------
We also note that if two contours are related by the displacement t --+
t + 27rin,
then the functions they define are identical except for the con-
stant multiplier exp( - 27rinv). We consider the four contours shown in Fig-
ure 18.3; any other allowed choices will give linear combinations of the
functions that we obtain.
J,Az) = ~
27rz
r
l0 3
ezsinht-vt dt, Re(z) > O. (18.36)
Thus, we recover functions of the first kind using the contours C 3 and C 4 .
18.6 Functions of the Second and Third Kind 317
Hankel Functions
Functions of the third kind, named after Hankel, are obtained from the
contours C 1 and C 2 . Explicitly, they are defined by
(18.39)
These relations have been proved under the restriction Re(z) > O. However,
analytic continuation is straightforward; if we introduce the negative real
axis as a branch cut, then (18.39) and (18.40) are valid in the entire cut
plane.
Wronskian
The Wronskian of the two Hankel functions is evaluated conveniently by
substituting these results into (18.33). This gives
Thus, the two Hankel functions form a linearly independent pair of func-
tions for all 1I.
Weber's Function
Functions of the second kind, named after Weber, are defined by
318 18. Laplace's Method for Ordinary Differential Equations
Im(z)
n Ttil2
Re(z)
n -Ttil2
The origin is again a branch point, and it is the usual convention to use
the negative real axis as a branch cut. The pair of functions J v , Y v , are
linearly independent for all v, as may be seen by evaluating the Wronskian.
Explicitly,
2
W[Jv(z), Yv(z)] = - .
7fZ
-i1rv/2
HS1)(z) = e . f eiz cosh s-vs ds, }
f
7fZ n
Re(z) > 0, (18.41)
HS2)(z) = __i1rv/2
e_._ e-iz cosh s-vs ds,
7fZ r2
where the contours n and n
are shown in Figure 18.4. If we further
restrict z by Im(z) > 0 for HS 1) and Im(z) < 0 for HS2), we may deform
these contours in the s-plane to the real axis. Hence,
-i1rV/2jOO
HS1)(z) = e . eiz cosh s-vs ds, Im(z) > 0, (18.42)
7fZ -00
where we have removed the restriction Re(z) > 0 since these formulae
achieve analytic continuation of (18.38).
18.7 Poisson and Related Representations 319
Im(ro)
Re(ro)
ro = -1 branch cuts ro = +1
(18.43)
_1 ·
e-",,(v+1/2) e- t 21 + u
0
v - 1 / 2 e- ut 2duo
2 -00
With the help of (1.21), we may easily evaluate this new integral; it has
the value 2niC 2v - 1 / (-v - 1/2)!, and on using these results in (18.43), we
get
320 18. Laplace's Method for Ordinary Differential Equations
= 2 V f1r e- i7rV
/I
1 00
e-t 2 -~ 2 /4t 2 t-2v-1dt (18.44)
-
-
(-v - 1/2)!
vne-i7rv/2(z/2)-V
(-v -1/2)!
0
1 00
-00
e
iz cosh s-vs d
8
'
where the last step follows from the substitution t 2 = (z /2) exp( - 8 - i1f /2).
Comparing with (18.42) we see that we have recovered a Hankel function,
and since (18.43) and (18.44) both define analytic functions for Im(z) > 0,
we may lift the restriction z = i~ to write
° °
are solutions of (18.45) which are finite as z --t if Re(v) 2': 0, and identical
if Re(z) > (Problem 18.9). From them we may construct a solution of
Problems 321
Macdonald's Function
For a second independent solution of (18.45), it is often convenient to have
a function that becomes small for large real z. Such a function cannot be
obtained by replacing J v by Yv in (18.46). However, it may be verified that
the functions
7ri ei7rv/2 H(l) (iz)
2 v'
which are both solutions of (18.45) are equal for Re(z) > 0 (Problem 18.9).
Hence, it is conventional to define as the second solution to (18.45) the
function Kv(z), known as Macdonald's function, by
Recurrence Relations
Relations corresponding to (18.35) are easy to derive from the basic defi-
nition of Iv(z) and Kv(z) and (18.35). They are
2I~(z) = Iv-1(z) + Iv+1(z),
-2K~(z) = Kv-1(z) + Kv+1(z),
2v
-Iv(z) = Iv-1(z) - Iv+l(z),
z
2v
--Kv(z) = Kv-1(z) - KV+l(Z).
z
Problems
18.1 Show that
n = 1,2,3, ....
322 18. Laplace's Method for Ordinary Differential Equations
Yn(z) = - ~
7r
L
n-l (
n-
)'
~,- 1 . (z/2)2k-n
•
k=O
1 (_1)k(z/2)n+2k
+ :; L
<Xl
18.6 Prove the following properties governing the behavior of Bessel func-
tions on the branch cut Im(z) = 0, Re(z) ::; 0:
18.7 Using Watson's lemma in conjunction with the Poisson integral rep-
resentation, show that
18.8 Verify the following properties for Bessel functions of order one-half:
2 )1/2
J 1/2(Z) = ( 7fZ sinz,
2 )1/2
Y1/2(Z) = - ( 7fZ cosz,
1/2
H(l)(z)=-i ( ~) e iz ,
1/2 7fZ
1/2
H(2) (z) = i ( ~) e- iz .
1/2 7rZ
(i)
_ ZV
1/2 (
J1 (w 2 _
1)
v-1/2
e
-wz
dw,
Iv(z) -
2v 7r 1/ - 1/ 2.
)'
-1
(ii)
K (z)
v
=
7f1/2 Zv
2V(I/-1/2)!
1 0
00
e-zcoshtsinh2Vtdt
'
(iii)
2v (v - 1/2)! roo cosxt
Kv(x) = X V 1r 1/ 2 Jo (1 + t2)v+l/2 dt,
x> 0, Re(v) > -1/2.
(i)
K v (Z ) -_ ~ Lv(z)• - Iv(z).,
2 sm 1rV
(ii)
Iv( -x + iO) - III ( -x - iO) = 2i sin 1rV Iv(x),
Kv( -x + iO) - Kv( -x - iO) = -i1r[Lv(x) + Iv (x)],
Kv( -x + iO) + Kv( -x - iO) = 2 COS1rV Kv(x).
(i) Use an integral representation for one of the factors and interchange
the order of integration,
(ii) Expand one of the factors in a power series and integrate term-by-
term.
100
o
e- ax Jv(bx) dx =
(Ja2 + b2 - a)V
bv Ja 2+b2
. ,
a>O, b>O, Re(v) >-1.
Problems 325
1o
e- a 2 x 2 J (bx)x V+1 dx
00
v
=
bV e-
b2 /4 2
(2a 2) v + 1 ·
a
1 xv+1JII(bx)
00
(2 2)
o x + a J.! +1 dx =
aV-J.!bJ.!
2J.!f.L.,Kv-J.!(ab),
a> 0, b> 0, -1 < Re(v) < 2 Re(f.L) + 3/2.
18.16 Using the convolution formula for Laplace transforms, obtain the
result
Airy Functions
In the following exercises, the notation ~ = 2Z 3 / 2 /3 is used:
18.17 Show that two independent solutions of Airy's equation,
u" - zu = 0,
are
Ai(z) = Zl/2/3 {L1/3(~) - h/3(~)} ,
Bi(z) = (z/3)1/2 {L1/3(~) + I1/3(~)} .
These solutions are known as Airy functions of the first and second kind,
respectively.
18.18 By the application of Laplace's method, show that two solutions of
11
Airy's equation are
cos (t 3/3 + xt) dt
00
-
7r 0
and
:;;:1 10roo {e-t3/3+xt+sin (t 3/3 +xt) }dt,
for x ~ 0. Prove that these solutions are the Airy functions Ai(x), Bi(x),
respectively.
326 18. Laplace's Method for Ordinary Differential Equations
A %.( x 2) -_ ~ e _2x 3
21f
/31
0
00
e- XU cos(r;;;u 3 / 2 /3) du,
VU
and hence, derive the asymptotic series
F(P) = 100
f(t) e- pt dt (19.1)
lSee, for example, J.M. Varah, SIAM Review, 21 (1979), 100; J.M. Varah,
SIAM J. Sci. Stat. Camp., 4 (1983), 164; M. Iqbal, J. Compo Appl. Math., 59
(1995), 145.
2B. Davies and B. Martin, J. Camp. Phys, 33 (1979), 1.
3D.G. Duffy, ACM Trans. Math. Software, 19 (1993), 333.
4 Another feature of Duffy's paper is that he considers problems that involve
joint Laplace-Fourier transforms, a topic beyond the scope of this chapter.
19.2 Gaver-Stehfest Method 329
i[¢>n,m(t; a)] = 1 00
f(t)¢>n,m(t; a) dt. (19.3)
On substituting from (19.2) and expanding the factor (1- e-at)n using the
binomial theorem, we see that they are related to the Laplace transform
F(P) at equally spaced points ka, m:::; k :::; m + n, via
_ (n+m)!a ~ (n)
- .
f [¢>n,m(t, a)] - n! (m _ I)! j f='o
(-1) F((m + J )a).
j .
(19.4)
Moreover, in the limit of large m and n, Gaver proved that (19.3) converges
to f(ln2/a), that is, the functions ¢>n,m converge to a delta function.
Of particular interest is the case that m = n, for which Gaver also proved
the asymptotic expansion
(19.5)
These ideas were developed by Stehfest 6 into a simple method that has
seen widespread use. Using the shorthand notation
N/2
f(1n2/a) = L anFn + 0 (1/N N/ 2) , (19.6)
n=l
N/2 1
~ an (N/2 + 1- n)k = c5kO ,
k=1, ... ,N/2-1.
a = (_l)n-l (N/2)n(N/2+1_n)N/2-1
n (N/2)! n .
Finally, we substitute these results into (19.6), to get the inversion formula
where
min{j,N/2) k N / 2 (2k)I
Aj = (_1)N/2+ j
L (N/2 _ k)! k! (k - 1)! (j' - k)! (2k - j)!'
k=[~l
Limitations
Theoretically, J(t) becomes the more accurate the greater the value of N.
In practice there is an optimum value, beyond which the ill-conditioning of
the problem combines with numerical error to increase the total error, as a
function of N, even though the theoretical error continues to decrease. This
is manifest in the fact that, as functions of N, the coefficients Aj increase
the function
Yi(z) = C~zJ F(I~Z +a-b) (19.8)
is analytic is a disc Izl < R, for some R > 1. This inequality comes from
the fact that all singularities, except for the possible singularity at p = 00,
are mapped further away than Izl = 1 by the choice a > (To.
Suitable polynomials in z may now be chosen to enable convenient and
accurate numerical approximation of the inversion integral, which becomes
an integral around the circle Izl = 1. The choice of optimal parameters
a, b, is obviously a compromise: on the one hand it is essential that none
of the singularities of F(P) be mapped too near to the boundary, since
singularities generally upset numerical processes; on the other hand, the
singularities should not be mapped too far away, since they contain the
most essential information.
Radius of Convergence
In a practical calculation, the infinite series
00
(19.9)
c( R) = a +"2b (1 +R2 )
1 _ R2
and radius
bR
r(R)=II_R 2 1· (19.10)
9G. Giunta, G. Laccetti, and M.R. Rizzardi, Numer. Math., 54 (1988), 193.
These formulae are correct for all values of R except R = 1, for which C(R)
degenerates to the straight line Re(p) = a.
19.3 Mobius Transformation 333
Collocation Methods
We may make use of the Mobius transformation in many ways; one is to
define a class of collocation methods.lO The fundamental idea is to select
sets of discrete values of z in the unit disc Izl : : ; 1 as the knots (points) for
polynomial interpolation, and then approximate the inversion integral by
integrating these polynomials exactly.
Introduce the notation that, for each N ~ 0, there is a set of N + 1 knots
To put this into effect, we require a basis of polynomials Pn(z) which are
Laplace transforms of known functions ¢>n(t; s, a, b),u Suppose then that
PO(ZNO)
( Po (ZN1)
PN(ZNO) )
PN(ZN1) Co) ( tJ/(ZNO) )
( Ct = tJ/(~Nd , (19.12)
Convergence
Giunta et al. prove some important convergence theorems in their paper.
Briefly, they may be summarized as follows:
19.4 Use of Chebyshev Polynomials 335
(i) If the knots are selected as equally spaced points around a circle of
radius p :::; 1, that is,
27rij .)
ZNj = pexp ( N + 1 + ~(}o ,
where (}o is an arbitrary real constant, then the sequence fN(t) converges
to f(t) for all t. Moreover, convergence is exponential in N provided that
p < R(a, b).
(ii) If the knots are the zeros of a set of polynomials orthogonal on the
real interval -1 < Z < 1, and if the zeros become dense in the interval
as N -t 00, then the sequence fN(t) converges to f(t) for all t.
Note, however, that the system (19.12) is expected to be ill-conditioned if
p < 1 in the case (i) and also for all instances of case (ii). The difficulty of
real inversion is not unexpected, the difficulty of setting p < 1 means that
one cannot escape some numerical problems when applying the Mobius
transform to functions that are not in the class As.
where the p~a,f3) are Jacobi polynomials. The argument x = 1- 2b/p is, of
course, a Mobius transformation. Since Piessens evaluates the coefficients
an using discrete orthogonality, and the zeros of the polynomials become
dense in [-1,1] as N -t 00, the method falls into the collocation class
considered above. No further general theory is therefore required, and we
devote the rest of this section to practical details of the important special
case Q = (3 = -1/2 (Chebyshev polynomials), which forms the main body
of Piessens' papers on this topic.
Consider therefore the expansion 13
00
12R. Piessens, J. Inst. Math. Apps, 10 (1972), 185. Note that we have replaced
the constant b therein by 2b, so as to maintain uniformity with our notation.
13R. Piessens, Compo J, 25 (1982), 278.
336 19. Numerical Inversion of Laplace Transforms
(19.14)
where
E __ (n-l)(s-n+2)
n- (n-2)(s+n-l)'
and that these relations are numerically stable and thus suitable for auto-
matic computation.
The coefficients an in the expansion may be expressed as definite inte-
grals in the usual manner for orthogonal polynomial expansions. However,
Jacobi polynomials enjoy some remarkable orthogonality properties over
finite sets of points, one of which results in the following property: 14 if g(x)
n = 0,1, ... ,N - 1,
where the ~j are the zeros of TN(X). Applied to the present problem, in
which we have truncated the fundamental expansion (19.13), it gives the
formula
2 N-l + 1/2) + 1/2
an = N L (
W cos
k
N 7r cos
k
N 7r,
k=O
where 15
15This appears to differ slightly from (19.8); (19.15) shows that they are, in
fact, the same.
338 19. Numerical Inversion of Laplace Transforms
2b
£[<Pn(t;s,a,b)]= ( 1-z
)-s zn.
Then the fundamental expansion
L an<Pn(t; s, a, b)
00
f(t) =
n=O
16F. Tricomi, R.C. Acad. Nat. dei Lincei, 21 (1935),232; D.V. Widder, Duke
Math. J., 1 (1935), 126.
17W.T. Weeks, J. ACM., 13 (1966), 419.
18R. Piessens and M. Branders, Proc. lEE., 118 (1971), 1517.
19 J.N. Lyness and G. Giunta, Math. Comp., 47 (1986), 313.
2°J.A.C. Weideman, SIAM J. Sci. Comp., 21 (1999), 111.
19.5 Use of Laguerre Polynomials 339
Error
The error of the approximation is simply the difference j(t) - f(t), but
this is not a natural measure. The reason is easy to see from (19.17); the
factor eat is unrelated to the performance of the sum as an approximating
sequence; the Laguerre functions, on the other hand, have the property
that e- bt L;-1(2bt) is uniformly bounded as n -+ 00. Hence convergence
is determined uniformly by the properties of the coefficients an, provided
that we use
Truncation Error
Using the Cauchy integral formula, the coefficients an may be written as
an = -1-1
21fi Izl=l
w(z) dz.
zn+l
(19.20)
Lyness and Giunta show that, as a consequence of this formula, and pro-
vided (19.9) converges in a region with R > 1, there exists a constant K(R)
such that
(19.21 )
End-point Rule
Lyness and Giunta's algorithm for computing the coefficients employs the
end-point trapezoidal rule on the integral (19.20). We shall denote the
corresponding coefficients an by a~G. Set z = eiO ; then the interval 0 ::;
() ::; 27f is partitioned into M subintervals, and we have
LW
M
a~G = ~ (e27rij/M) e-27rijn/M. (19.22)
j=l
anLG = '~an+kM,
"' (19.23)
k=O
which is a geometrically convergent series because of (19.21). In fact, that
bound gives the estimate
IanLG - an
I < Rn+M'
L(R)
Mid-point Rule
The quadrature rule (19.22) has the disadvantage of including the point
z = 1, corresponding to p = 00. Weideman investigated using the mid-
point rule, with an even number M of symmetrically placed points,
a!; = ~ L
M
W (e 27ri (j-1/2)/M) e- 27ri (j-1/2)n/M. (19.24)
j=l
19.5 Use of Laguerre Polynomials 341
Parameter Optimization
The choice of a and b involves some experimentation in any particular ap-
plication. However, some useful suggestions are given in a paper by Garbow
et al.,21 which describes a practical implementation of the Lyness-Giunta
method. There is still need for experimentation with this implementation.
21B.S. Garbow, G. Giunta, J.N. Lyness, and A. Murli, ACM Trans. Math.
Software, 14 (1988), 163, see also B.S. Garbow, G. Giunta, J.N. Lyness, and
A. Murli, ACM Trans. Math. Software, 14 (1988), 171.
342 19. Numerical Inversion of Laplace Transforms
(19.26)
Function Evaluation
After the coefficients are calculated, it is required to evaluate the sum
(19.18). The Laguerre polynomials may be generated from the recursion
relation
with
() 2n + s - 2 - 2bt
an t = s+n- l '
1-n
(3n(t) = s + n- l'
and
cPa(t; s, a, b) = e(a-b)t t s - 1,
cPl(t; s, a, b) = e(a-b)t tS-1(s - t).
Using these equations for direct substitution into the sum (19.18) is inef-
ficient. The preferred option is to use Glenshaw's algorithm, which works as
follows: 22 Define the quantities 'Yk(t) via 'YN+2(t) = 'YN+l(t) = 0, followed
by the descending recurrence
n?:.l.
Apart from the efficiency, there may be numerical considerations that dic-
tate the use of such an algorithm in place of direct attack.
f(t) = -ect
27r
1 00
-00
F(c + iw) e,wt
.
dw.
For real functions f(t), three equivalent forms of the inversion integral are
given by
f(t) = -2e
ct
1 00
Re (F(c + iw)) cos wt dw, (19.28a)
1
7r a
ct
1m (F(c + iw)) sinwtdw,
00
= -2e- (19.28b)
7r a
ect
= --;- Re (
Jroo .)
a F(c + iw) e,wt dw , (19.28c)
where it is assumed that c> aD. To see why, first note that for real f(t)
we have F(c - iw) = F(c + iw). It follows that the Fourier cosine and sine
transforms of ect f (t) are related to the Laplace transform by
Trapezoidal Rule
If the trapezoidal rule is applied to (19.28), then we obtain three distinct
approximations
2 ect
h(t) = T L00 I
f2(t) = (19.29b)
k=l
ect
L
00 I
where T is a scaling parameter and the prime on the summation means that
the k = 0 term has weight one-half. Whereas the three forms of (19.28) are
identical, these three approximations are not. In fact, it may be shown that
the errors have the expansions 23
+L
00
+L
00
+L
00
This shows the exponential nature of the convergence. It also shows that, if
cT is large, the discretization error is small for hand f2 when 0 :S t :S T,
and for h when 0 :S t :S 2T.
In the applications to follow, we restrict our attention to the complex
form (19.29c), for which the discretization error is more favorable. The
derivation of the error expansion is quite simple; we sketch here the argu-
ment. We require that c > 0"0, so that the function e- ct f(t) is of exponential
decrease for large t. Now define, on the interval 0 < t < 2T, the function
2: e-
00
where the coefficients are given by the usual formulae. For the Ao term,
this gives
Ao
""2 =
1 2T
2T io
r g(t)dt
=~ 1 2: 2T 00
e- c (2kT+t) f(2kT + t) dt
2: 1
2T 0 k=O
1 00 2 (k+l)T
= 2T f(t) e- ct dt
k=O 2kT
1
= 2T F (c).
This is the n = 0 term from (19.29c), taking into account the factor e- ct .
A similar calculation shows that, for each n > 0 the pair of terms from
(19.31) exactly match the corresponding term of (19.29c), and the result is
proved.
Parameter Dependence
For large t, we expect that the asymptotic behavior of the inverse func-
tion f(t) is dominated by the exponential factor eO"ot, so that the terms in
the error expansions (19.30) will be dominated by the exponential factors
e2k (O"o-c)T rather than e- 2kcT . Since c > 0"0, the discretization error should
decrease with increasing cT. Assuming that some estimate Can be made for
the value of f(2T + t), we Can use (19.30c) in the form
to calculate a value (CT)min such that the restriction cT > (CT)min brings
the discretization error under control.
In addition to this error, there will be a truncation error when the infinite
sum is replaced by a finite one. For a fixed N, truncation at the term with
346 19. Numerical Inversion of Laplace Transforms
K orrectur Method
In some cases, the error estimate (19.32) may be improved by using a second
numerical quadrature to estimate the value of f(2T + t); an appropriate
linear combination is then used to eliminate the first term of the error
expansion. 24 To make the procedure clear we introduce a more explicit
notation than that given in the original paper, writing
fN(t; c, T) = ~ £'
k=O
Re (F(C + i'ifk/T) ei7rkt/T). (19.33)
+L
00
Honig and Hirdes have defined the K orrectur method as the linear combi-
nation
24G. Honig and U. Hirdes, J. Compo and Appl. Maths., 10 (1984), 113.
19.6 Representation by Fourier Series 347
(i) The second quadrature employs a contour moved to Re(p) = c/3, for
which reason the authors recommend use only when 0"0 ::; O.
(ii) It may happen that the correction term, e- 2ct !N(2T + t; c/3, 3T), is
numerically insignificant compared with the first term !N(t; c, T). In this
case it is neglected.
(iii) In cases where the correction is included, it may be more efficient to
truncate the series for it at a smaller number of terms than what is used
for the main term.
There is, of course, no reason why other scaling factors should not be
employed in combinations such as (19.35), for the purpose of eliminating
the first error term. Such possibilities do not seem to have been considered
in the literature.
Epsilon Algorithm
The truncation (19.33) may be written in the general form
N
SN =2
Co + ""'
~Ck. (19.36)
k=1
It has long been known that slow convergence as N ---+ 00 is a major prob-
lem. There are a number of algorithms for accelerating the convergence of
infinite series,25 each has a theoretical basis that requires certain properties
of the terms, each may fail for unsuitable problems.
The epsilon algorithm applied to (19.36) is defined as follows. Let
f(m)
-1
= 0, f (m) -
o -
S
m·
f(2) -
0-
S2
f~i = 0
= Z='
00
lim € (n) Ck = 8 00 -
Co
-.
p-+oo 2p 2
k=O
Table entries can be numerically large and the rhombus rule (19.37) of-
ten involves the subtraction of large quantities to find a relatively small
difference. Therefore the calculation can be numerically unstable, so care
must be taken. In particular, it may be necessary to limit the number of
acceleration steps used.
}Jara~eter C7hoice
Honig and Hirdes give two scenarios for choosing an optimum value of c,
after T and t have been selected. 26 Their "Method A" selects the optimum
parameter C from the requirement that the discretization and truncation
errors should be about equal; their "Method B" attempts to minimize the
sum of the two errors and is more complicated to implement. Here we
describe the simpler of the two.
From (19.34), the truncation error is
foo(t; c, T) - fN(t; c, T) =~
ct
k=N+l
z=
00
Compared with the exponential factor, the dependence of the infinite sum
on C is expected to be weak, which suggests that the truncation error may
be assumed to take the form
_ ect
foo(t; c, T) - fN(t; c, T) ~ TR(N). (19.38)
Here iN(t) is the accelerated estimate from values of the sum up to fN(t).
If iN(t) is evaluated for two sufficiently large values of c, say Cl and C2,
then in an obvious notation (19.38) may be solved for R(N), giving the
estimate
26 As noted above, in some cases we might set t = T /2, so as to avoid the eval-
uation of trigonometric functions. If the Korrectur method is used, it would then
read JNK(t) = IN(t; c, 2t) - e- 2ct IN(5t; c/3, 6t), the form assumed by Duffy,3
and the discretization error is of order e- Bct . This limits the parameter choice.
19.7 Quotient-Difference Algorithm 349
C
opt
Rj _1_lnl
2T+ t Tf(2T
R(N)
+ t)
I
.
As with the Korrectur method, the value of f(2T+t) in this formula cannot
be estimated from fN(t; c, T), which is limited to t < 2T, one could however
use fN(t; c', T') with 2T' > 2T + t. The error is estimated to be
L akzk,
00
foo(t; c, T) = (19.39)
k=O
and we show how to construct good rational approximations for the trun-
cations fN.27 The factors involved in choosing the parameters are much the
same as those discussed in the previous section, although some theory has
been developed specifically for the q-d algorithm.28 It is interesting that
in that paper, d'Amore et al. focus on use of the method for individual
t values, which has the advantage that the parameters can be optimized
dynamically. This serves to emphasize that accuracy and robustness may
take precedence over efficiency in many applications.
The algorithm depends on the use of Pade approximation implemented
using continued fractions and the quotient-difference algorithm. First, we
sketch sufficient background material to put the method in context.
27This section is adapted from F.R. de Hoog, J.H. Knight, and A.N. Stokes,
SIAM J. Sci. Stat. Comp., 3 (1982), 357.
28L. d'Amore, G. Laccetti, and A. Murli, ACM Trans. Math. Software, 25
(1999), 279.
350 19. Numerical Inversion of Laplace Transforms
Pade Approximation
Suppose that J(z) has the series representation
p+q
J(z) = 2:akzk + O(Zp+q+l);
k=O
then the rational function Fpq(z) = gp(z)/hq(z), where
p q
J(z) = ~ ~ ;,
is valid for all z. The latter may be found from the original series by the
standard methods of Pade approximation. 29 For nontrivial application, the
coefficients are given numerically, and an algorithm returns the coefficients
required to construct Fpq(z). Often, the sequence Fpp(z), p = 1,2, ... is
used as the successive approximations. This is known as the diagonal Pade
approximation.
Continued Fractions
Suppose that we are given an infinite sequence, dn , n ~ O. Then we may
construct the continued Jraction
do
J(z) = d1z (19.41)
1+---.--
1+~
1+ ".
The meaning is that, given some scheme to truncate after N terms, J(z)
is defined as the N -+ 00 limit, assuming it exists. A general scheme for
Calculation of Coefficients
The first problem is to calculate the coefficients for use in (19.41) so that
they match the expansion (19.39) to order Z2P. The standard algorithm,
known as the quotient-difference algorithm, forms a triangular array, with
alternating columns, of the form
ql(0) = al I ao
e61 ) =0 (0)
e1
ql(1) = a2 I al (0)
q2
e62) =0 (1) (0)
e1 e2
= a3 I a2 (19.42)
(1)
ql(2) q2
(2)
e63) =0 e1
ql(3) = a4 I a3
e64 ) =0
The initialization ofthe first two columns is shown in (19.42); the rhombus
rules for filling in the table are
e(i)
r
= q(Hl)
r
_ q(i)
r
+ e(i+1)
r-l'
(i) _ (HI) (Hl)1 (i)
qr - qr-l er -l er _ 1 ·
The order in which they are applied is obvious from (19.42). The continued
fraction coefficients for the given power series are given by
do = ao, d2m-l -- _ qm'
(0)
followed by
Fpp(z) = Ap(z)/ Bp(z).
The recurrence is the same for both An (z) and Bn (z). What distinguishes
them is the seed; for An(z),
Ao(z) = do,
Improved Remainder
In many continued fractions, the coefficients form a pattern that repeats
in pairs. In such cases, an exact termination may be had by writing
m>n;
On the basis of numerical tests, the authors report that the further accel-
eration can lead to considerable improvement, and that when this is not
so, it is not deleterious.
(ii) There exists a constant K such that Im(Pk) < K for all singularities
Pk of F(p).
These properties ensure that the contour can be deformed, that the singu-
larities remain inside the deformed contour, and that the trapezoidal rule
may be applied to the transformed integral. In particular, the method will
not work it there is an infinite set of singularities along a line Re(p) = Po,
as sometimes happens in applications.
Talbot's method replaces the Bromwich contour Re(p) = a > 0"0 by an
equivalent contour Lv. In order to ensure that all singularities of F(p) are
inside Lv (when closed to the left), some preliminary scaling is required.
If F(p) has a singularity at p = Po, then the function F(A3 + 0") has the
corresponding singularity at 30 = (Po - 0") / A. We may therefore consider
the inversion integral in the form
t > O. (19.44)
The choice of optimum scaling parameter A and shift 0" is critical for the
implementation of the method and requires information about the dom-
inant singularities. For transforms whose singularities all lie on the real
p-axis, or for example along a pair of lines Im(p) = ±a, it is not necessary
to have precise locations beyond the most positive one(s), but in general
one might need the positions of all singularities.
Im(s)
v=l
Re(s)
s=l
M: z = 2iO, (19.46)
(iv) It maps the half-strip H+: Re(z) > 0 to the right of Lv'
The special case l/ = 1 gives a curve that was first derived as a steepest-
descent contour for the function 1/ s. When l/ > 1, the curve is expanded
vertically by the factor l/. This is useful for functions with complex sin-
gularities; in such cases setting l/ = 1 may make it impossible to choose
the other parameters to achieve required accuracy, particularly for larger
values of t.
In terms of the variable 0 of (19.46), the curves Lv have the representation
-71"<0<71". (19.47)
In this form, it is clear that l/ is simply a vertical expansion factor. For the
implementation of (19.49) below, we shall also need
Discretization
Since we assume that .>.., 0", 1/ are chosen so that Lv is an admissible inversion
contour, F(.>..s + 0") is analytic in the strip H+, and also in a region to the
left of M in the strip H_. Therefore, (19.44) may be written
Now let M+ be any contour from -2ni to 2ni in the half-strip H+, and
M _ a contour from - 2ni to 2ni in the half-strip H _, but chosen so that
all singularities of Q(z) are to the left. Then, by the residue theorem,
-
f(t) = 2ni
1 r
JMr M _
Q(z)
1- e-nz'
The path M in (19.49) may be replaced by M+, after which the error may
be written as
E(t) = j(t) - f(t)
= El(t) + E 2 (t),
where
E (t) - _1
1 - 2 .
nz
1M+
Q( z)
e nz - l'
(19.51)
E 2 (t) = ~ r Q(z).
2nz } M_ 1 - e- nz
From the assumed properties of F(p) and its relation to Lv, it is intuitively
clear that both these contributions should tend to zero as n ~ 00, for fixed
A, 0", 1/. A proof may be found in Talbot's paper. An important feature is
that convergence is exponential in yin.
Equations (19.50,19.49,19.47,19.48) fully define the method. What re-
mains is to choose suitable parameters .>.., 0", 1/ and n. A complete prescrip-
tion is provided in Talbot's paper. The details are rather lengthy, and will
not be repeated here; we mention in passing that they are based on analy-
sis of the contour integrals appearing in (19.51), but finally expressed as a
series of practical algorithms. A software implementation is available; see
Murli and Rizzardi. 31
[3] L.C. Andrews and B.K. Shivamoggi, Integral Transforms for Engineers
and Applied Mathematicians, Macmillan, 1988.
[9] RE. Bellman, RE. Kalaba, and J.A. Lockett, Numerical Inversion of
the Laplace Transform, Elsevier, 1966.
358 Bibliography
[10] RE. Bellman and RS. Roth, The Laplace Transform, World Scientific,
1984.
[14] Yu.A. Brychkov, H.-J. Glaeske, A.P. Prudnikov, and V.K. Than, Mul-
tidimensional Integral Transforms, Gordon and Breach, 1992.
[15] H.S. Carslaw and J.C. Jaeger, Operational Methods in Applied Math-
ematics, 2nd ed., Oxford University Press, 1948.
[16] K.M. Case and P.F. Zweifel, Linear Transport Theory, Addison-
Wesley, 1967.
[19] V.A. Ditkin and A.P. Prudnikov, Operational Calculus in Two Vari-
ables and Its Applications, Pergamon Press, 1962.
[20] V.A. Ditkin and A.P. Prudnikov, Integral Transforms and Operational
Calculus, Pergamon Press, 1965.
[21] RK. Dodd, J.C. Eilbeck, J.D. Gibbon, and H.C. Morris, Solitons and
Nonlinear Wave Equations, Academic Press, 1982.
[23] D.G. Duffy, Transform Methods for Solving Partial Differential Equa-
tions, CRC Press, 1994.
[27] I.M. Gelfand and G.E. Shilov, Generalized Functions, vol. 1, Academic
Press, 1964.
[30] W.B. Jones and W.J. Thron, Continued Fractions: Analytic Theory
and Applications, Encyclopedia of Mathematics and Its Applications,
vol. 11, Addison-Wesley, 1980.
[39] Y.L. Luke, The Special Functions and Their Approximations, 2 vol-
umes, Academic Press, 1969.
[43] B. Noble, Methods Based on the Weiner-Hopf Technique for the Solu-
tion of Partial Differential Equations, Pergamon Press, 1958.
[52] J.L. Schiff, The Laplace Transform: Theory and Applications, Springer-
Verlag, 1999.
[59] G. Strang, Linear Algebra and Its Applications, 3rd ed., Harcourt,
Brace, Jovanovich, 1988.
Bibliography 361
[67] B. van der Pol and H. Bremmer, Operational Calculus Based on the
Two-Sided Laplace Transform, 2nd ed., Cambridge University Press,
1955.
[70] G.N. Watson, A Treatise on the Theory of Bessel Functions, 2nd ed.,
Cambridge University Press, 1958.
[72] E.T. Whittaker and G.N. Watson, A Course of Modern Analysis, Cam-
bridge University Press, 1963.
31. Bremaud: Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues.
32. Durran: Numerical Methods for Wave Equations in Geophysical Fluid Dynamics.
33. Thomas: Numerical Partial Differential Equations: Conservation Laws and Elliptic
Equations.
34. Chicone: Ordinary Differential Equations with Applications.
35. Kevorkian: Partial Differential Equations: Analytical Solution Techniques, 2nd ed.
36. DulierudiPaganini: A Course in Robust Control Theory: A Convex Approach.
37. QuarteroniiSacco/Saleri: Numerical Mathematics.
38. Gallier: Geometric Methods and Applications: For Computer Science and
Engineering.
39. Atkinson/Han: Theoretical Numerical Analysis: A Functional Analysis Framework.
40. Brauer/Castillo-Chavez: Mathematical Models in Population Biology and
Epidemiology.
41. Davies: Integral Transforms and Their Applications, 3rd ed.