The Laplace Transform. Theory and Applications

Undergraduate Texts in Mathematics Editors

s. Axler F.w. Gehring K.A. Ribet

Springer New York Berlin Heidelberg Barcelona Hong Kong London Milan Paris Singapore Tokyo

Undergraduate Texts in Mathematics Anglin: Mathematics: A Concise History and Philosophy. Readings in Mathematics. AnglinILambek: The Heritage of Thales. Readings in Mathematics. Apostol: Introduction to Analytic Number Theory. Second edition. Armstrong: Basic Topology. Armstrong: Groups and Symmetry. Axler: Linear Algebra Done Right. Second edition. Beardon: Limits: A New Approach to Real Analysis. BakINewman: Complex Analysis. Second edition. BanchoffIWermer: Linear Algebra Through Geometry. Second edition. Berberian: A First Course in Real Analysis. Bix: Conics and Cubics: A Concretem Introduction to Algebraic Curves. Bremaud: An Introduction to Probabilistic Modeling. Bressoud: Factorization and Primality Testing. Bressoud: Second Year Calculus. Readings in Mathematics. Brickman: Mathematical Introduction to Linear Programming and Game Theory. Browder: Mathematical Analysis: An Introduction. Buskes/van Rooij: Topological Spaces: From Distance to Neighborhood. Cederberg: A Course in Modern Geometries. Childs: A Concrete Introduction to Higher Algebra. Second edition. Chung: Elementary Probability Theory with Stochastic Processes. Third edition. CoxILittle/O'Shea: Ideals, Varieties, and Algorithms. Second edition. Croom: Basic Concepts of Algebraic Topology. Curtis: Linear Algebra: An Introductory Approach. Fourth edition.

Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory. Second edition. Dixmier: General Topology. Driver: Why Math? EbbinghauslFlumlThomas: Mathematical Logic. Second edition. Edgar: Measure, Topology, and Fractal Geometry. Elaydi: An Introduction to Difference Equations. Second edition. Exner: An Accompaniment to Higher Mathematics. FinelRosenberger: The Fundamental Theory of Algebra. Fischer: Intermediate Real Analysis. FlaniganlKazdan: Calculus Two: Linear and Nonlinear Functions. Second edition. Fleming: Functions of Several Variables. Second edition. Foulds: Combinatorial Optimization for Undergraduates. Foulds: Optimization Techniques: An Introduction. Franklin: Methods of Mathematical Economics. Frazier: An Introduction to Wavelets Through Linear Algebra. Gordon: Discrete Probability. HairerlWanner: Analysis by Its History. Readings in Mathematics. Halmos: Finite-Dimensional Vector Spaces. Second edition. Halmos: Naive Set Theory. HammerlinIHoffmann: Numerical Mathematics. Readings in Mathematics. Hartshorne: Geometry: Euclid and Beyond. Hijab: Introduction to Calculus and Classical Analysis. HiltonIHoltonIPedersen: Mathematical Reflections: In a Room with Many Mirrors. Iooss/Joseph: Elementary Stability and Bifurcation Theory. Second edition. (continued after index)

Joel L. Schiff

The Laplace Transform Theory and Applications

With 68 Illustrations

,

Springer

Joel L. Schiff Department of Mathematics The University of Auckland Private Bag 92019 Auckland New Zealand [email protected]

Editorial Board

S. Axler Mathematics Department San Francisco State University San Francisco, CA 94132 USA

FW. Gehring Mathematics Department East Hall University of Michigan Ann Arbor, MI 48109 USA

K.A. R.J.bet

Mathematics Department University of California at Berkeley Berkeley, CA 94720-3840 USA

Mathematics Subject Classification (1991): 44AlO Library of Congress Cataloging-in-Publication Data Schiff, Joel L. The Laplace transform: theory and applications / Joel L. Schiff. p. cm.-(Undergraduate texts in mathematics) Includes bibliographical references and index. ISBN 0-387-98698-7 Calk. paper) 1. Laplace transformation. I. Title. II. Series. QA432.S33 1999 SIS'.723-dc21 98-14037

1999 Springer-Verlag New York, Inc. All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag New York, Inc., 175 Fifth Ayenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the 1tade Marks and Merchandise Marks Act, may accordingly be used freely by anyone.

©

ISBN 0-387-98698-7 Springer-Verlag New York Berlin Heidelberg SPIN 10707361

To my parents

v

It is customary to begin courses in mathematical engineering by explaining that the lecturer would never trust his life to an aeroplane whose behaviour depended on properties of the Lebesgue integral. It might, perhaps, be just as foolhardy to fly in an aeroplane designed by an engineer who believed that cookbook application of the Laplace transform revealed all that was to be known about its stability. T.W. K¨orner Fourier Analysis Cambridge University Press 1988

vii

Preface

The Laplace transform is a wonderful tool for solving ordinary and partial differential equations and has enjoyed much success in this realm. With its success, however, a certain casualness has been bred concerning its application, without much regard for hypotheses and when they are valid. Even proofs of theorems often lack rigor, and dubious mathematical practices are not uncommon in the literature for students. In the present text, I have tried to bring to the subject a certain amount of mathematical correctness and make it accessible to undergraduates. To this end, this text addresses a number of issues that are rarely considered. For instance, when we apply the Laplace transform method to a linear ordinary differential equation with constant coefficients, an y(n) + an−1 y(n−1) + · · · + a0 y
f (t), why is it justified to take the Laplace transform of both sides of the equation (Theorem A.6)? Or, in many proofs it is required to take the limit inside an integral. This is always frought with danger, especially with an improper integral, and not always justified. I have given complete details (sometimes in the Appendix) whenever this procedure is required.

ix

x

Preface

Furthermore, it is sometimes desirable to take the Laplace transform of an infinite series term by term. Again it is shown that this cannot always be done, and specific sufficient conditions are established to justify this operation. Another delicate problem in the literature has been the application of the Laplace transform to the so-called Dirac delta function. Except for texts on the theory of distributions, traditional treatments are usually heuristic in nature. In the present text we give a new and mathematically rigorous account of the Dirac delta function based upon the Riemann–Stieltjes integral. It is elementary in scope and entirely suited to this level of exposition. One of the highlights of the Laplace transform theory is the complex inversion formula, examined in Chapter 4. It is the most sophisticated tool in the Laplace transform arsenal. In order to facilitate understanding of the inversion formula and its many subsequent applications, a self-contained summary of the theory of complex variables is given in Chapter 3. On the whole, while setting out the theory as explicitly and carefully as possible, the wide range of practical applications for which the Laplace transform is so ideally suited also receive their due coverage. Thus I hope that the text will appeal to students of mathematics and engineering alike. Historical Summary. Integral transforms date back to the work of L´eonard Euler (1763 and 1769), who considered them essentially in the form of the inverse Laplace transform in solving second-order, linear ordinary differential equations. Even Laplace, in his great work, Th´eorie analytique des probabilit´es (1812), credits Euler with introducing integral transforms. It is Spitzer (1878) who attached the name of Laplace to the expression


y


b

esx φ(s) ds a

employed by Euler. In this form it is substituted into the differential equation where y is the unknown function of the variable x. In the late 19th century, the Laplace transform was extended to its complex form by Poincar´e and Pincherle, rediscovered by Petzval,

Preface

xi

and extended to two variables by Picard, with further investigations conducted by Abel and many others. The first application of the modern Laplace transform occurs in the work of Bateman (1910), who transforms equations arising from Rutherford’s work on radioactive decay dP
−λi P, dt by setting


p(x)


∞

e−xt P(t) dt

0

and obtaining the transformed equation. Bernstein (1920) used the expression
∞ e−su φ(u) du, f (s)
0

calling it the Laplace transformation, in his work on theta functions. The modern approach was given particular impetus by Doetsch in the 1920s and 30s; he applied the Laplace transform to differential, integral, and integro-differential equations. This body of work culminated in his foundational 1937 text, Theorie und Anwendungen der Laplace Transformation. No account of the Laplace transformation would be complete without mention of the work of Oliver Heaviside, who produced (mainly in the context of electrical engineering) a vast body of what is termed the “operational calculus.” This material is scattered throughout his three volumes, Electromagnetic Theory (1894, 1899, 1912), and bears many similarities to the Laplace transform method. Although Heaviside’s calculus was not entirely rigorous, it did find favor with electrical engineers as a useful technique for solving their problems. Considerable research went into trying to make the Heaviside calculus rigorous and connecting it with the Laplace transform. One such effort was that of Bromwich, who, among others, discovered the inverse transform
γ +i ∞ 1 X(t)
ets x(s) ds 2πi γ −i∞ for γ lying to the right of all the singularities of the function x.

xii

Preface

Acknowledgments. Much of the Historical Summary has been taken from the many works of Michael Deakin of Monash University. I also wish to thank Alexander Kr¨ageloh for his careful reading of the manuscript and for his many helpful suggestions. I am also indebted to Aimo Hinkkanen, Sergei Federov, Wayne Walker, Nick Dudley Ward, and Allison Heard for their valuable input, to Lev Plimak for the diagrams, to Sione Ma’u for the answers to the exercises, and to Betty Fong for turning my scribbling into a text. Joel L. Schiff Auckland New Zealand

Contents

Preface

ix

1 Basic Principles 1.1 The Laplace Transform . . . . . . . . . . . 1.2 Convergence . . . . . . . . . . . . . . . . . 1.3 Continuity Requirements . . . . . . . . . . 1.4 Exponential Order . . . . . . . . . . . . . . 1.5 The Class L . . . . . . . . . . . . . . . . . . 1.6 Basic Properties of the Laplace Transform 1.7 Inverse of the Laplace Transform . . . . . 1.8 Translation Theorems . . . . . . . . . . . . 1.9 Differentiation and Integration of the Laplace Transform . . . . . . . . . . . . . . 1.10 Partial Fractions . . . . . . . . . . . . . . . 2 Applications and Properties 2.1 Gamma Function . . . . . . . . 2.2 Periodic Functions . . . . . . . . 2.3 Derivatives . . . . . . . . . . . . 2.4 Ordinary Differential Equations 2.5 Dirac Operator . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . . . . .

1 1 6 8 12 13 16 23 27

. . . . . . . . . . . .

31 35

. . . . .

41 41 47 53 59 74

. . . . . . . .

. . . . . . . .

. . . . .

. . . . . . . .

. . . . .

. . . . . . . .

. . . . .

. . . . . . . .

. . . . .

. . . . .

xiii

xiv

Contents

2.6 2.7 2.8 2.9

Asymptotic Values . . Convolution . . . . . . Steady-State Solutions Difference Equations

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

88 91 103 108

3 Complex Variable Theory 3.1 Complex Numbers . . . . . . . . 3.2 Functions . . . . . . . . . . . . . 3.3 Integration . . . . . . . . . . . . 3.4 Power Series . . . . . . . . . . . ∞ 3.5 Integrals of the Type −∞ f (x) dx

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

115 115 120 128 136 147

4 Complex Inversion Formula

151

5 Partial Differential Equations

175

Appendix

193

References

207

Tables 209 Laplace Transform Operations . . . . . . . . . . . . . . . . 209 Table of Laplace Transforms . . . . . . . . . . . . . . . . . . 210 Answers to Exercises

219

Index

231

1

C H A P T E R

... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Basic Principles

Ordinary and partial differential equations describe the way certain quantities vary with time, such as the current in an electrical circuit, the oscillations of a vibrating membrane, or the flow of heat through an insulated conductor. These equations are generally coupled with initial conditions that describe the state of the system at time t
0. A very powerful technique for solving these problems is that of the Laplace transform, which literally transforms the original differential equation into an elementary algebraic expression. This latter can then simply be transformed once again, into the solution of the original problem. This technique is known as the “Laplace transform method.” It will be treated extensively in Chapter 2. In the present chapter we lay down the foundations of the theory and the basic properties of the Laplace transform.

1.1

The Laplace Transform

Suppose that f is a real- or complex-valued function of the (time) variable t > 0 and s is a real or complex parameter. We define the

1

2

1. Basic Principles

Laplace transform of f as

  F(s)
L f (t)





∞

0

e−st f (t) dt





lim

τ →∞

τ

e−st f (t) dt

(1.1)

0

whenever the limit exists (as a finite number). When it does, the integral (1.1) is said to converge. If the limit does not exist, the integral is said to diverge and there is no Laplace transform defined for f . The notation L(f ) will also be used to denote the Laplace transform of f , and the integral is the ordinary Riemann (improper) integral (see Appendix). The parameter s belongs to some domain on the real line or in the complex plane. We will choose s appropriately so as to ensure the convergence of the Laplace integral (1.1). In a mathematical and technical sense, the domain of s is quite important. However, in a practical sense, when differential equations are solved, the domain of s is routinely ignored. When s is complex, we will always use the notation s
x + iy. The symbol L is the Laplace transformation, which acts on functions f
f (t) and generates a new function, F(s)
L f (t) . Example 1.1. If f (t) ≡ 1 for t ≥ 0, then
∞   L f (t)
e−st 1 dt 0




lim

τ →∞


lim

τ →∞




τ  e−st  −s  0 e−sτ 1 + −s s

 (1.2)

1 s

provided of course that s > 0 (if s is real). Thus we have

L(1)


1 s

(s > 0).

(1.3)

1.1. The Laplace Transform

3

If s ≤ 0, then the integral would diverge and there would be no resulting Laplace transform. If we had taken s to be a complex variable, the same calculation, with Re(s) > 0, would have given L(1)
1/s. In fact, let us just verify that in the above calculation the integral can be treated in the same way even if s is a complex variable. We require the well-known Euler formula (see Chapter 3) eiθ
cos θ + i sin θ,

θ real,

(1.4)

and the fact that |eiθ |
1. The claim is that (ignoring the minus sign as well as the limits of integration to simplify the calculation)
est est dt
, (1.5) s for s
x + iy any complex number 
0. To see this observe that

est dt
e(x+iy)t dt






e cos yt dt + i xt

ext sin yt dt

by Euler’s formula. Performing a double integration by parts on both these integrals gives
ext  est dt
2 (x cos yt + y sin yt) + i(x sin yt − y cos yt) . x + y2 Now the right-hand side of (1.5) can be expressed as e(x+iy)t est
s x + iy ext (cos yt + i sin yt)(x − iy) x 2 + y2  xt e (x cos yt + y sin yt) + i(x sin yt − y cos yt) ,
2 x + y2




which equals the left-hand side, and (1.5) follows. Furthermore, we obtain the result of (1.3) for s complex if we take Re(s)
x > 0, since then lim |e−sτ |
lim e−xτ
0,

τ →∞

τ →∞

4

1. Basic Principles

killing off the limit term in (1.3). Let us use the preceding to calculate L(cos ωt) and L(sin ωt) (ω real). Example 1.2. We begin with




∞

e−st eiωt dt 0 τ e(iω−s)t 
lim τ →∞ iω − s  0

L(eiωt )





1 , s − iω

since limτ →∞ |eiωτ e−sτ |
limτ →∞ e−xτ
0, provided x
Re(s) > 0. Similarly, L(e−iωt )
1/(s + iω). Therefore, using the linearity property of L, which follows from the fact that integrals are linear operators (discussed in Section 1.6),  iωt  L(eiωt ) + L(e−iωt ) e + e−iωt
L
L(cos ωt), 2 2 and consequently,

L(cos ωt)
Similarly, 1 L(sin ωt)
2i



1 2



1 1 + s − iω s + iω

1 1 − s − iω s + iω




s2




ω + ω2

s . s2 + ω 2



(1.6)

 Re(s) > 0 . (1.7)

The Laplace transform of functions defined in a piecewise fashion is readily handled as follows. Example 1.3. Let (Figure 1.1)

f (t)


t 0≤t≤1 1 t > 1.

Exercises 1.1

5

f (t) 1

O

t

1

FIGURE 1.1

From the definition,
∞   L f (t)
e−st f (t) dt 0





1

te−st dt + lim

0

τ →∞




τ

e−st dt

1

 
1 −st τ 1 e − st  + 
e dt + lim τ →∞ −s  −s 0 s 0 1 1 te−st 




1 − e −s s2



 Re(s) > 0 .

Exercises 1.1   1. From the definition of the Laplace transform, compute L f (t) for (a) f (t)
4t

(b) f (t)
e2t

(c) f (t)
2 cos 3t

(d) f (t)
1 − cos ωt

(e) f (t)
te2t

(f) f (t)
et sin t

 (g) f (t)


1 t≥a 0 t 1.

2. Compute the Laplace transform of the function f (t) whose graph is given in the figures below.

f (t)

f (t)

a

( )

1

O

b

( )

1

t

1

O

1

FIGURE E.1

1.2

2

t

FIGURE E.2

Convergence

Although the Laplace operator can be applied to a great many functions, there are some for which the integral (1.1) does not converge. 2

Example 1.4. For the function f (t)
e(t ) ,
τ
τ 2 −st t 2 lim e e dt
lim et −st dt
∞ τ →∞

τ →∞

0

0

for any choice of the variable s, since the integrand grows without bound as τ → ∞. In order to go beyond the superficial aspects of the Laplace transform, we need to distinguish two special modes of convergence of the Laplace integral. The integral (1.1) is said to be absolutely convergent if
τ lim |e−st f (t)| dt τ →∞

0

  exists. If L f (t) does converge absolutely, then 
 
  τ  τ   e−st f (t) dt  ≤ |e−st f (t)|dt → 0   τ  τ

Exercises 1.2

7

  as τ → ∞, for all τ  > τ. This then implies that L f (t) also converges in the ordinary sense of (1.1).∗ There is another form of convergence that is of the utmost importance from a mathematical perspective. The integral (1.1) is said to converge uniformly for s in some domain  in the complex plane if for any ε > 0, there exists some number τ0 such that if τ ≥ τ0 , then 
∞    −st   0.   (b) Show that L f (t) converges uniformly if Re(s) ≥ x0 > 0.   (c) Show that F(s)
L f (t) → 0 as Re(s) → ∞. 2. Let f (t)
et on [0, ∞). (a) Show that F(s)
L(et ) converges for Re(s) > 1. (b) Show that L(et ) converges uniformly if Re(s) ≥ x0 > 1. ∗

Convergence of an integral




∞

ϕ(t) dt 0

is equivalent to the Cauchy criterion:
τ ϕ(t)dt → 0 as τ

τ → ∞, τ  > τ.

8

1. Basic Principles

(c) Show that F(s)
L(et ) → 0 as Re(s) → ∞. 3. Show that the Laplace transform of the function f (t)
1/t, t > 0 does not exist for any value of s.

1.3

Continuity Requirements

Since we can compute the Laplace transform for some functions and 2 not others, such as e(t ) , we would like to know that there is a large class of functions that do have a Laplace tranform. There is such a class once we make a few restrictions on the functions we wish to consider. Definition 1.5. A function f has a jump discontinuity at a point t0 if both the limits lim f (t)
f (t0− )

t →t0−

and

lim f (t)
f (t0+ )

t →t0+

exist (as finite numbers) and f (t0− ) 
f (t0+ ). Here, t → t0− and t → t0+ mean that t → t0 from the left and right, respectively (Figure 1.2). Example 1.6. The function (Figure 1.3) f (t)


1 t−3

f (t) f (t+0 )

f ( t0 ) O

t0

t

FIGURE 1.2

1.3. Continuity Requirements

9

f ( t)

O

3

t

FIGURE 1.3

f (t) 1

O

t

FIGURE 1.4

has a discontinuity at t
3, but it is not a jump discontinuity since neither limt→3− f (t) nor limt→3+ f (t) exists. Example 1.7. The function (Figure 1.4)

t2 e− 2 t > 0 f (t)
0 t1  1 + t2  sinh t t 
0 i(t)
t  1 t
0 1 1 (t 
0) j(t)
sinh t t  1 − e −t t 
0 k(t)
t  0 t
0

1 2na ≤ t < (2n + 1)a a > 0, n
0, 1, 2, . . . l(t)
−1 (2n + 1)a ≤ t < (2n + 2)a   t + 1, for t ≥ 0, a > 0, where [x]
greatest integer ≤ x. m(t)
a

1. f (t)
2. 3.

4. 5. 6.

7. 8.

12

1. Basic Principles

1.4

Exponential Order

The second consideration of our class of functions possessing a welldefined Laplace transform has to do with the growth rate of the functions. In the definition
∞   L f (t)
e−st f (t) dt, 0

  when we take s > 0 or Re(s) > 0 , the integral will converge as long as f does not grow too rapidly. We have already seen by Example 1.4 2 that f (t)
et does grow too rapidly for our purposes. A suitable rate of growth can be made explicit. Definition 1.10. A function f has exponential order α if there exist constants M > 0 and α such that for some t0 ≥ 0,

|f (t)| ≤ M eαt ,

t ≥ t0 .

Clearly the exponential function eat has exponential order α
a, whereas t n has exponential order α for any α > 0 and any n ∈ N (Exercises 1.4, Question 2), and bounded functions like sin t, cos t, tan−1 t have exponential order 0, whereas e−t has order −1. How2 ever, et does not have exponential order. Note that if β > α, then exponential order α implies exponential order β, since eαt ≤ eβt , t ≥ 0. We customarily state the order as the smallest value of α that works, and if the value itself is not significant it may be suppressed altogether.

Exercises 1.4 1. If f1 and f2 are piecewise continuous functions of orders α and β, respectively, on [0, ∞), what can be said about the continuity and order of the functions (i) c1 f1 + c2 f2 , c1 , c2 constants, (ii) f · g? 2. Show that f (t)
t n has exponential order α for any α > 0, n ∈ N. 2 3. Prove that the function g(t)
et does not have exponential order.

1.5. The Class

1.5

L

13

The Class L

We now show that a large class of functions possesses a Laplace transform. Theorem 1.11. If f is piecewise continuous on [0, ∞) and of exponential order α, then the Laplace transform L(f ) exists for Re(s) > α and converges absolutely. Proof.

First,

|f (t)| ≤ M1 eαt ,

t ≥ t0 ,

for some real α. Also, f is piecewise continuous on [0, t0 ] and hence bounded there (the bound being just the largest bound over all the subintervals), say

|f (t)| ≤ M2 ,

0 < t < t0 .

Since eαt has a positive minimum on [0, t0 ], a constant M can be chosen sufficiently large so that

|f (t)| ≤ M eαt ,

t > 0.

Therefore,


0

τ

|e−st f (t)|dt ≤ M




τ

e−(x−α)t dt

0

τ M e−(x−α)t 
−(x − α) 0


M M e−(x−α)τ − . x−α x−α

Letting τ → ∞ and noting that Re(s)
x > α yield
∞ M |e−st f (t)|dt ≤ . x−α 0

(1.8)

Thus the Laplace integral converges absolutely in this instance (and hence converges) for Re(s) > α. 2

14

1. Basic Principles

Example 1.12. Let f (t)
eat , a real. This function is continuous on [0, ∞) and of exponential order a. Then
∞ at L(e )
e−st eat dt 0





∞

e−(s−a)t dt

0

∞ e−(s−a)t  1

 −(s − a) 0 s−a



 Re(s) > a .

The same calculation holds for a complex and Re(s) > Re(a). Example 1.13. Applying integration by parts to the function f (t)
t (t ≥ 0), which is continuous and of exponential order, gives
∞ L(t)
t e−st dt 0

∞
−t e−st  1 ∞ −st
+ e dt s 0 s 0   1 L(1) provided Re(s) > 0 s 1
2. s Performing integration by parts twice as above, we find that
∞ 2 L(t )
e−st t 2 dt


0

  2 Re(s) > 0 .
3 s By induction, one can show that in general,   n! Re(s) > 0 L(t n )
n+1 (1.9) s for n
1, 2, 3, . . . . Indeed, this formula holds even for n
0, since 0!
1, and will be shown to hold even for non-integer values of n in Section 2.1. Let us define the class L as the set of those real- or complexvalued functions defined on the open interval (0, ∞) for which the

Exercises 1.5

15

Laplace transform (defined in terms of the Riemann integral)  exists  for some value of s. It is known that whenever F(s)
L f (t) exists for some value s0 , then F(s) exists for all s with Re(s) > Re(s0 ), that is, the Laplace transform exists for all s in some right half-plane (cf. Doetsch [2], Theorem 3.4). By Theorem 1.11, piecewise continuous functions on [0, ∞) having exponential order belong to L. However, there certainly are functions in L that do not satisfy one or both of these conditions. Example 1.14. Consider 2

2

f (t)
2t et cos(et ). Then f (t) is continuous on [0, ∞) but not of exponential order. However, the Laplace transform of f (t),
∞   2 2 L f (t)
e−st 2t et cos(et )dt, 0

exists, since integration by parts yields
∞ ∞   2 −st t2  L f (t)
e sin(e ) + s e−st sin(et ) dt 0

0

 2 
− sin(1) + s L sin(et )



 Re(s) > 0 .

and the latter Laplace transform exists by Theorem 1.11. Thus we have a continuous function that is not of exponential order yet nevertheless possesses a Laplace transform. See also Remark 2.8. Another example is the function 1 f (t)
√ . (1.10) t We will compute its actual Laplace transform in Section 2.1 in the context of the gamma function. While (1.10) has exponential order  α
0 |f (t)| ≤ 1, t ≥ 1 , it is not piecewise continuous on [0, ∞) since f (t) → ∞ as t → 0+ , that is, t
0 is not a jump discontinuity.

Exercises 1.5 2

2

1. Consider the function g(t)
t et sin(et ).

16

1. Basic Principles

(a) Is g continuous on [0, ∞)? Does g have exponential order? (b) Show that the Laplace transform F(s) exists for Re(s) > 0. (c) Show that g is the derivative of some function having exponential order. 2. Without actually determining it, show that the following functions possess a Laplace transform. (a)

sin t t

1 − cos t t

(b)

(c) t 2 sinh t 3. Without determining it, show that the function f , whose graph is given in Figure E.3, possesses a Laplace transform. (See Question 3(a), Exercises 1.7.)

f (t) 4 3 2 1

O

a

2

a

3

a

4

a

t

FIGURE E.3

1.6

Basic Properties of the Laplace Transform

Linearity. One of the most basic and useful properties of the Laplace operator L is that of linearity, namely, if f1 ∈ L for Re(s) > α, f2 ∈ L for Re(s) > β, then f1 + f2 ∈ L for Re(s) > max{α, β}, and

L(c1 f1 + c2 f2 )
c1 L(f1 ) + c2 L(f2 )

(1.11)

1.6. Basic Properties of the Laplace Transform

17

for arbitrary constants c1 , c2 . This follows from the fact that integration is a linear process, to wit,
∞   e−st c1 f1 (t) + c2 f2 (t) dt 0
∞
∞ −st
c1 e f1 (t) dt + c2 e−st f2 (t) dt (f1 , f2 ∈ L). 0

0

Example 1.15. The hyperbolic cosine function cosh ωt


eωt + e−ωt 2

describes the curve of a hanging cable between two supports. By linearity 1 [L(eωt ) + L(e−ωt )] 2   1 1 1
+ 2 s−ω s+ω

L(cosh ωt)





s2

s . − ω2

Similarly,

L(sinh ωt)


s2

ω . − ω2

Example 1.16. If f (t)
a0 + a1 t + · · · + an t n is a polynomial of degree n, then n    L f (t)
ak L(t k ) k
0




n  ak k! k
0

s k +1

by (1.9) and (1.11).

 n Infinite Series. For an infinite series, ∞ n
0 an t , in general it is not possible to obtain the Laplace transform of the series by taking the transform term by term.

18

1. Basic Principles

Example 1.17. f (t)
e−t
2

∞  (−1)n t 2n n
0

n!

,

−∞ < t < ∞.

Taking the Laplace transform term by term gives ∞  (−1)n n
0

n!

L(t 2n )



∞  (−1)n (2n)! n! s2n+1 n
0 ∞ 1 (−1)n (2n) · · · (n + 2)(n + 1) . s n
0 s2n

Applying the ratio test,    un+1   
lim 2(2n + 1)
∞, lim  n→∞ un  n→∞ |s|2 and so the series diverges for all values of s. 2 2 However, L(e−t ) does exist since e−t is continuous and bounded on [0, ∞). So when can we guarantee obtaining the Laplace transform of an infinite series by term-by-term computation? Theorem 1.18. If f (t)


∞ 

an t n

n
0

converges for t ≥ 0, with Kαn , n! for all n sufficiently large and α > 0, K > 0, then

|an | ≤

∞ ∞     an n! L f (t)
an L(t n )
s n +1 n
0 n
0



 Re(s) > α .

Proof. Since f (t) is represented by a convergent power series, it is continuous on [0, ∞). We desire to show that the difference      N N             an L(t n )
L f (t) − an t n  L f (t) −     n
0 n
0

1.6. Basic Properties of the Laplace Transform

19

  N     n ≤ Lx f (t) − an t    n
0   ∞ converges to zero as N → ∞, where Lx h(t)
0 e−xt h(t) dt, x
Re(s). To this end,     N ∞         n n an t 
 an t  f (t) −   n
N +1  n
0 ∞  (αt)n ≤K n! n
N +1   N  (αt)n αt
K e − n! n
0

∞ n since ex
n
0 x /n!. As h ≤ g implies Lx (h) ≤ Lx (g) when the transforms exist,     N N     (αt)n  n αt Lx f (t) − an t  ≤ K Lx e −   n! n
0 n
0 


K 
K →0

N  1 αn − x − α n
0 x n +1



N  n 1 1 α − x − α x n
0 x



Re(s)
x > α





as N → ∞. We have used the fact that the geometric series has the sum ∞  1 zn
|z | < 1. , 1−z n
0 Therefore, N    L f (t)
lim an L(t n ) N →∞

n
0

20

1. Basic Principles




∞  an n! n
0



s n +1

 Re(s) > α .

2

Note that the coefficients of the series in Example 1.17 do not satisfy the hypothesis of the theorem. Example 1.19. f (t)


∞  sin t (−1)n t 2n
. t (2n + 1)! n
0

Then,

|a2n |


1 1 < , (2n + 1)! (2n)!

n
0, 1, 2, . . . ,

and so we can apply the theorem:    ∞ sin t (−1)n L(t 2n ) L
t (2n + 1)! n
0 ∞ 

(−1)n (2n + 1)s2n+1 n
0   1
tan−1 , |s| > 1. s




Here we are using the fact that
x
x  ∞ dt
(−1)n t 2n tan−1 x
2 1 + t 0 0 n
0




∞  (−1)n x2n+1 n
0

2n + 1

,

|x| < 1,

with x
1/s, as we can integrate the series term by term. See also Example 1.38. Uniform Convergence. We have already seen by Theorem 1.11 that for functions f that are piecewise continuous on [0, ∞) and of exponential order, the Laplace integral converges absolutely, that is,  ∞ −st | e f (t) | dt converges. Moreover, for such functions the Laplace 0 integral converges uniformly.

1.6. Basic Properties of the Laplace Transform

21

To see this, suppose that

|f (t)| ≤ M eαt , Then


  

∞

e t0

−st

t ≥ t0 .


 f (t) dt  ≤

t0

∞

e−xt |f (t)|dt




≤M

∞

e−(x−α)t dt

t0

∞ M e−(x−α)t 
−(x − α) t0 M e−(x−α)t0 , x−α provided x
Re(s) > α. Taking x ≥ x0 > α gives an upper bound for the last expression:




M e−(x−α)t0 M −(x0 −α)t0 ≤ . e x−α x0 − α

(1.12)

By choosing t0 sufficiently large, we can make the term on the righthand side of (1.12) arbitrarily small; that is, given any ε > 0, there exists a value T > 0 such that 
∞    −st  < ε,  e f (t) dt whenever t0 ≥ T (1.13)   t0

for all values of s with Re(s) ≥ x0 > α. This is precisely the condition required for the uniform convergence of the Laplace integral in the region Re(s) ≥ x0 > α (see Section 1.2). The importance of the uniform convergence of the Laplace transform cannot be overemphasized, as it is instrumental in the proofs of many results.

F(s) →  as s → ∞. A general property of the Laplace transform that becomes apparent from an inspection of the table at the back of this book (pp. 210–218) is the following. Theorem 1.20. If f is piecewise continuous on [0, ∞) and has exponential order α, then   F(s)
L f (t) → 0

22

1. Basic Principles

as Re(s) → ∞. In fact, by (1.8) 
∞    M −st  e f (t) dt  ≤ ,  x−α 0



 Re(s)
x > α ,

and letting x → ∞ gives the result. Remark 1.21. As it turns out, F(s) → 0 as Re(s) → ∞ whenever the Laplace transform exists, that is, for all f ∈ L (cf. Doetsch [2], Theorem 23.2). As a consequence, any function F(s) without this behavior, say (s − 1)/(s + 1), es /s, or s2 , cannot be the Laplace transform of any function f .

Exercises 1.6 1. Find L(2t + 3e2t + 4 sin 3t). ω . 2. Show that L(sinh ωt)
2 s − ω2 3. Compute (a) L(cosh2 ωt)

(b) L(sinh2 ωt).

4. Find L(3 cosh 2t − 2 sinh 2t). 5. Compute L(cos ωt) and L(sin ωt) from the Taylor series representations cos ωt


∞  (−1)n (ωt)2n n
0

(2n)!

,

sin ωt


∞  (−1)n (ωt)2n+1 n
0

(2n + 1)!

respectively. 6. Determine L(sin2 ωt) and L(cos2 ωt) using the formulas sin2 ωt


1 1 − cos 2ωt, 2 2

respectively.   1 − e −t 7. Determine L . t

cos2 ωt
1 − sin2 ωt,

,

1.7. Inverse of the Laplace Transform

23

Hint: log(1 + x)




∞  (−1)n xn+1

n+1

n
0

,

|x| < 1.

 1 − cos ωt . 8. Determine L t 9. Can F(s)
s/log s be the Laplace transform of some function f ?

1.7

Inverse of the Laplace Transform

In order to apply the Laplace transform to physical problems, it is  necessary to invoke the inverse transform. If L f (t)
F(s), then the inverse Laplace transform is denoted by   L−1 F(s)
f (t), t ≥ 0, which maps the Laplace transform of a function back to the original function. For example,   ω L−1 2 t ≥ 0.
sin ωt, s + ω2 The question naturallyarises: Could  there be some other function f (t) ≡ sin ωt with L−1 ω/(s2 + ω2 )
f (t)? More generally, we need to know when the inverse transform is unique. Example 1.22. Let

g(t)


Then

sin ωt t > 0 1

  L g(t)


s2

t
0. ω , + ω2

since altering a function at a single point (or even at a finite number of points) does not alter the value of the Laplace (Riemann) integral.   This example illustrates that L−1 F(s) can be more than one function, in fact infinitely many, at least when considering functions

24

1. Basic Principles

with discontinuities. Fortunately, this is the only case (cf. Doetsch [2], p. 24). Theorem 1.23. Distinct continuous functions on [0, ∞) have distinct Laplace transforms. This result is known as Lerch’s theorem. It means that if we restrict our attention to functions that are continuous on [0, ∞), then the inverse transform   L−1 F(s)
f (t)   is uniquely defined and we can speak about the inverse, L−1 F(s) . This is exactly what we shall do in the sequel, and hence we write   ω −1 L t ≥ 0.
sin ωt, s2 + ω 2 Since many of the functions we will be dealing with will be solutions to differential equations and hence continuous, the above assumptions are completely justified. Note also that L−1 is linear, that is,   L−1 a F(s) + b G(s)
a f (t) + b g(t)     if L f (t)
F(s), L g(t)
G(s). This follows from the linearity of L and holds in the domain common to F and G. Example 1.24.  −1 L

1 1 + 2(s − 1) 2(s + 1)



1 t 1 −t e + e 2 2
cosh t, t ≥ 0.




One of the practical features of the Laplace transform is that it can be applied to discontinuous functions f . In these instances, it must be borne in mind that when the inverse is invoked,  transform  there are other functions with the same L−1 F(s) . Example 1.25. An important function occurring in electrical systems is the (delayed) unit step function (Figure 1.7)

1 t≥a ua (t)
0 t < a,

1.7. Inverse of the Laplace Transform

25

u a (t) 1

O

a

t

FIGURE 1.7

for a ≥ 0. This function delays its output until t
a and then assumes a constant value of one unit. In the literature, the unit step function is also commonly defined as

1 t>a ua (t)
0 t < a, for a ≥ 0, and is known as the Heaviside (step) function. Both definitions of ua (t) have the same Laplace transform and so from that point of view are indistinguishable. When a
0, we will write ua (t)
u(t). Another common notation for the unit step function ua (t) is u(t − a). Computing the Laplace transform,
∞   L ua (t)
e−st ua (t) dt 0





∞

e−st dt

a

∞ e−st 
−s  a   e−as Re(s) > 0 . s   It is appropriate to write with either interpretation of ua (t)


−1

L



e−as s


ua (t),

26

1. Basic Principles

  although we could equally have written L−1 e−as /s
va (t) for

1 t>a va (t)
0 t ≤ a, which is another variant of the unit step function. Another interesting function along these lines is the following. Example 1.26. For 0 ≤ a < b, let

   0

t 0, a > 0 . L f (t)
− as s(1 − e ) (b) Write f (t) as an infinite series of unit step functions. (c) By taking the Laplace transform term by term of the infinite series in (b), show that the same result as in (a) is attained.

1.8

Translation Theorems

We present two very useful results for determining Laplace transforms and their inverses. The first pertains to a translation in the s-domain and the second to a translation in the t-domain.   Theorem 1.27 (First Translation Theorem). If F(s)
L f (t) for Re(s) > 0, then     a real, Re(s) > a . F(s − a)
L eat f (t) Proof.

For Re(s) > a,




F(s − a)
0

∞

e−(s−a)t f (t) dt

28

1. Basic Principles





∞

e−st eat f (t) dt

0

 
L eat f (t) .

2

Example 1.28. Since

L(t)




 Re(s) > 0 ,

1 s2

then

L(t eat )




 Re(s) > a ,

1 (s − a)2

and in general,

L(t n eat )


n! , (s − a)n+1



 Re(s) > a .

n
0, 1, 2, . . .

This gives a useful inverse:   1 1 n at −1 L
t e , n + 1 (s − a) n!

t ≥ 0.

Example 1.29. Since

L(sin ωt)


s2

ω , + ω2

then

L(e2t sin 3t)


3 . (s − 2)2 + 9

In general,

L(eat cos ωt)


s−a (s − a)2 + ω2





L(eat sin ωt)


ω (s − a)2 + ω2





L(eat cosh ωt)


s−a (s − a)2 − ω2





L(eat sinh ωt)


ω (s − a)2 − ω2



Re(s) > a Re(s) > a Re(s) > a

 Re(s) > a .

1.8. Translation Theorems

29

Example 1.30.     s s −1 −1 L
L s2 + 4s + 1 (s + 2)2 − 3     s+2 2 −1 −1
L −L (s + 2)2 − 3 (s + 2)2 − 3 √ √ 2
e−2t cosh 3t − √ e−2t sinh 3 t. 3 In the first step we have used the procedure of completing the square.   Theorem 1.31 (Second Translation Theorem). If F(s)
L f (t) , then   L ua (t)f (t − a)
e−as F(s) (a ≥ 0). This follows from the basic fact that

∞ −st e [ua (t)f (t − a)] dt
0

∞

e−st f (t − a) dt,

a

and setting τ
t − a, the right-hand integral becomes
∞
∞ e−s(τ +a) f (τ) dτ
e−as e−sτ f (τ) dτ 0

0


e

−as

F(s).   Example 1.32. Let us determine L g(t) for (Figure 1.9)

0 0≤t 0 .
3 s The second translation theorem can also be considered in inverse form:   L−1 e−as F(s)
ua (t)f (t − a), (1.14)   for F(s)
L f (t) , a ≥ 0. Example 1.33. Find −1

L



 e−2s . s2 + 1

We have e−2s
e−2s L(sin t), s2 + 1 so by (1.14) −1

L



e−2s s2 + 1


u2 (t) sin(t − 2),

(t ≥ 0).

This is just the function sin t, which gets “turned on” at time t
2.

Exercises 1.8 1. Determine (b) L(t 2 e−ωt )

(a) L(e2t sin 3t) −1



(c) L

−1

(e) L



4 (s − 4)3



1 2 s + 2s + 5

(d) L(e7t sinh



−1

(f) L



√

2 t)

s 2 s + 6s + 1



1.9. Differentiation and Integration of the Laplace Transform

  (g) L e−at cos(ωt + θ)

−1



(h) L

  2. Determine L f (t) for  (a) f (t)


0 0≤t α, it is justified (cf. Theorem A.12) to interchange the derivative and integral sign

32

1. Basic Principles

in the following calculation.


∞ d d e−st f (t) dt F(s)
ds ds 0
∞ ∂ −st
e f (t) dt ∂s 0
∞
−te−st f (t) dt 0

 
L − tf (t) . Since for any s > α, one can find some x0 satisfying s ≥ x0 > α, the preceding result holds for any s > α. Repeated differentiation   (or rather induction) gives the general case, by virtue of L t k f (t) being uniformly convergent for s ≥ x0 > α. 2 Example 1.35. d L(cos ωt) ds d s
− ds s2 + ω2 s2 − ω 2
2 . (s + ω2 )2

L(t cos ωt)
−

Similarly,

L(t sin ωt)


(s2

2ωs . + ω 2 )2

For n
1 we can express (1.15) as   1 −1 d (t > 0) F(s) f (t)
− L t ds   for f (t)
L−1 F(s) . This formulation is also useful. Example 1.36. Find −1

f (t)
L

  s+a log . s+b

(1.16)

1.9. Differentiation and Integration of the Laplace Transform

Since

33

  d s+a 1 1 − log ,
ds s+b s+a s+b   1 1 1 − f (t)
− L−1 t s+a s+b


1 −bt (e − e−at ). t

Not only can the Laplace transform be differentiated, but it can be integrated as well. Again the result is another Laplace transform. Theorem 1.37. If f is piecewise  continuous on [0, ∞) and of exponen tial order α, with F(s)
L f (t) and such that limt→0+ f (t)/t exists, then  
∞ f (t) F(x) dx
L (s > α). t s Proof.

Integrating both sides of the equation
∞ e−xt f (t) dt (x real), F(x)
0

we obtain


s

∞




w

F(x) dx
lim

w→∞




∞

e

−xt

 f (t) dt

dx.

0

s

∞ As 0 e−xt f (t) dt converges uniformly for α < s ≤ x ≤ w (1.12), we can reverse the order of integration (cf. Theorem A.11), giving 
∞
∞ 
w −xt F(x) dx
lim e f (t) dx dt s

w→∞

0

∞

s

w e−xt
lim f (t) dt w→∞ 0 −t s
∞
∞ f (t) −st f (t)
e e−wt dt − lim dt w→∞ 0 t t 0   f (t)
L , t


34

1. Basic Principles

  as limw→∞ G(w) 
0 by Theorem 1.20 for G(w)
L f (t)/t . The existence of L f (t)/t is ensured by the hypotheses. 2 Example 1.38.  
∞ sin t dx π (i) L
− tan−1 s
2 t x +1 2 s   1
tan−1 (s > 0). s  
∞ sinh ωt ω dx L
(ii) 2 t x − ω2 s 
∞ 1 1 1
− dx 2 s x−ω x+ω 1 s+ω
ln (s > |ω|). 2 s−ω

Exercises 1.9 1. Determine (a) L(t cosh ωt)

(b) L(t sinh ωt)

(c) L(t 2 cos ωt)

(d) L(t 2 sin ωt).

2. Using Theorem 1.37, show that     1 − e−t 1 (s > 0)
log 1 + (a) L  t  s  1 − cos ωt ω2 1 (s > 0).
2 log 1 + 2 (b) L t s [Compare (a) and (b) with Exercises 1.6, Question 7 and 8, respectively.]     1 − cosh ωt 1 ω2 (c) L (s > |ω|).
log 1 − 2 t 2 s 3. Using (1.16), find   2  s + a2 −1 log 2 (a) L s + b2

−1

(b) L

 tan

−1

1 s

 (s > 0).

1.10. Partial Fractions

4. If

 −1

L

√

e −a s √ s



35

e−a /4t
√ , πt 2

√

find L−1 (e−a s ).

1.10

Partial Fractions

In many applications of the Laplace transform it becomes necessary to find the inverse of a particular transform, F(s). Typically it is a function that is not immediately recognizable as the Laplace transform of some elementary function, such as 1 , (s − 2)(s − 3)   for s confined to some region  e.g., Re(s) > α . Just as in calculus (for s real), where the goal is to integrate such a function, the procedure required here is to decompose the function into partial fractions. In the preceding example, we can decompose F(s) into the sum of two fractional expressions: F(s)


1 A B
+ , (s − 2)(s − 3) s−2 s−3 that is, 1
A(s − 3) + B(s − 2).

(1.17)

Since (1.17) equates two polynomials [1 and A(s − 3) + B(s − 2)] that are equal for all s in , except possibly for s
2 and s
3, the two polynomials are identically equal for all values of s. This follows from the fact that two polynomials of degree n that are equal at more than n points are identically equal (Corollary A.8). Thus, if s
2, A
−1, and if s
3, B
1, so that F(s)


−1 1 1
+ . (s − 2)(s − 3) s−2 s−3

36

1. Basic Principles

Finally, −1

f (t)
L



     1 1 −1 −1 F(s)
L − +L s−2 s−3
−e2t + e3t .

Partial Fraction Decompositions. We will be concerned with the quotient of two polynomials, namely a rational function F(s)


P(s) , Q (s)

where the degree of Q (s) is greater than the degree of P(s), and P(s) and Q (s) have no common factors. Then F(s) can be expressed as a finite sum of partial fractions. (i) For each linear factor of the form as + b of Q (s), there corresponds a partial fraction of the form A , as + b

A constant.

(ii) For each repeated linear factor of the form (as + b)n , there corresponds a partial fraction of the form A1 A2 An + +· · ·+ , 2 as + b (as + b) (as + b)n

A1 , A2 , . . . , An constants.

(iii) For every quadratic factor of the form as2 + bs + c, there corresponds a partial fraction of the form As + B , + bs + c

as2

A, B constants.

(iv) For every repeated quadratic factor of the form (as2 + bs + c)n , there corresponds a partial fraction of the form A1 s + B1 A2 s + B2 An s + Bn + + ··· + , 2 2 2 as + bs + c (as + bs + c) (as2 + bs + c)n A1 , . . . , An , B1 , . . . , Bn constants. The object is to determine the constants once the polynomial P(s)/Q (s) has been represented by a partial fraction decomposition. This can be achieved by several different methods.

1.10. Partial Fractions

37

Example 1.39. 1 A B
+ (s − 2)(s − 3) s−2 s−3 or 1
A(s − 3) + B(s − 2), as we have already seen. Since this is a polynomial identity valid for all s, we may equate the coefficients of like powers of s on each side of the equals sign (see Corollary A.8). Thus, for s, 0
A + B; and for s0 , 1
−3A − 2B. Solving these two equations simultaneously, A
−1, B
1 as before. Example 1.40. Find −1

L



 s+1 . s2 (s − 1)

Write A B C s+1
+ 2+ , − 1) s s s−1

s2 (s or

s + 1
As(s − 1) + B(s − 1) + Cs2 , which is an identity for all values of s. Setting s
0 gives B
−1; setting s
1 gives C
2. Equating the coefficients of s2 gives 0
A + C, and so A
−2. Whence         s+1 1 1 −1 −1 1 −1 −1 L
−2L −L + 2L s2 (s − 1) s s2 s−1


−2 − t + 2et . Example 1.41. Find −1

L



2s2 (s2 + 1)(s − 1)2

 .

We have As + B C D 2s2
2 + + , 2 2 (s + 1)(s − 1) s +1 s − 1 (s − 1)2

38

1. Basic Principles

or 2s2
(As + B)(s − 1)2 + C(s2 + 1)(s − 1) + D(s2 + 1). Setting s
1 gives D
1. Also, setting s
0 gives 0
B − C + D, or

−1
B − C. Equating coefficients of s3 and s, respectively, 0
A + C, 0
A − 2B + C. These last two equations imply B
0. Then from the first equation, C
1; finally, the second equation shows A
−1. Therefore,       2s2 s 1 −1 −1 −1 L
−L +L (s2 + 1)(s − 1)2 s2 + 1 s−1   1 −1 +L (s − 1)2


− cos t + et + tet .   Simple Poles. Suppose that we have F(t)
L f (t) for F(s)


P(s) P(s)
, Q (s) (s − α1 )(s − α2 ) · · · (s − αn )

αi 
αj ,

where P(s) is a polyomial of degree less than n. In the terminology of complex variables (cf. Chapter 3), the αi s are known as simple poles of F(s). A partial fraction decomposition is F(s)


A1 A2 An + + ··· + . s − α1 s − α2 s − αn

(1.18)

Multiplying both sides of (1.18) by s − αi and letting s → αi yield Ai
lim (s − αi )F(s).



s→αi

(1.19)

In Chapter  3 we will see that the Ai s are the residues of F(s) at the poles αi . Therefore,    n n    Ai −1 −1 L Ai eαi t .
f (t)
L F(s)
s − α i i
1 i
1

Exercises 1.10

39

Putting in the expression (1.19) for Ai gives a quick method for finding the inverse: n    f (t)
L−1 F(s)
lim (s − αi ) F(s) eαi t . i
1

Example 1.42. Find −1



L

(1.20)

s → αi

 s . (s − 1)(s + 2)(s − 3)

f (t)
lim(s − 1) F(s)et + lim (s + 2) F(s)e−2t + lim(s − 3) F(s) e3t s →1

s→−2

s →3

1 2 −2t 3 3t
− et − e + e . 6 15 10

Exercises 1.10 1. Find L−1 of the following transforms F(s) by the partial fraction method. 1 s (a) (b) 2 (s − a)(s − b) 2s + s − 1 (c)

(e)

(g)

s2 + 1 s(s − 1)3

(d)

s (s2

+

a2 )(s2

−

b2 )

2s2 + 3 (s + 1)2 (s2 + 1)2

(f)

(h)

s (s2

s5

+

a2 )(s2

−1

L



s2 + s + 3 s(s3 − 6s2 + 5s + 12)

s2 (s2 − a2 )(s2 − b2 )(s2 − c2 )

(a) by the partial fraction method (b) by using (1.20).

(a 
b)

s+2 − 3s4 + 2s3

(See Example 2.42). 2. Determine

+ b2 )



2

C H A P T E R

... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Applications and Properties

The various types of problems that can be treated with the Laplace transform include ordinary and partial differential equations as well as integral and integro-differential equations. In this chapter we delineate the principles of the Laplace transform method for the purposes of solving all but PDEs (which we discuss in Chapter 5). In order to expand our repetoire of Laplace transforms, we discuss the gamma function, periodic functions, infinite series, convolutions, as well as the Dirac delta function, which is not really a function at all in the conventional sense. This latter is considered in an entirely new but rigorous fashion from the standpoint of the Riemann–Stieltjes integral.

2.1

Gamma Function

Recall from equation (1.9) that

L(t n )


n! s n +1

,

n
1, 2, 3, . . . .

41

42

2. Applications and Properties

In order to extend this result for non-integer values of n, consider
∞ L(t ν )
e−st t ν dt (ν > −1). 0

Actually, for −1 < ν < 0, the function f (t)
t ν is not piecewise continuous on [0, ∞) sinceit becomes infinite as t → 0+ . However, τ as the (improper) integral 0 t ν dt exists for ν > −1, and f (t)
t ν is bounded for all large values of t, the Laplace transform, L(t ν ), exists. By a change of variables, x
st (s > 0),
∞  x ν 1 ν L(t )
e −x dx s s 0
∞ 1
ν +1 xν e−x dx. (2.1) s 0 The quantity


(p)


∞

xp−1 e−x dx

(p > 0)

0

is known as the (Euler) gamma function. Although the improper integral exists and is a continuous function of p > 0, it is not equal to any elementary function (Figure 2.1). Then (2.1) becomes

L(t ν )


(ν + 1) , s ν +1

ν > −1, s > 0.

(p) 5 2

1

O

1

2

3

p

FIGURE 2.1

(2.2)

2.1. Gamma Function

43

Comparing (1.9) with (2.2) when v
n
0, 1, 2, . . . yields (n + 1)
n!.

(2.3)

Thus we see that the gamma function is a generalization of the notion of factorial. In fact, it can be defined for all complex values of ν, ν 
0, −1, −2, · · ·, and enjoys the factorial property (ν + 1)
ν (ν),

ν 
0, −1, −2, . . .

(see Exercises 2.1, Question 1). Example 2.1. For ν
−1/2,

   − 1   12 L t 2
, 1 s2

where

   12





∞

x− 2 e−x dx. 1

0

Making a change of variables, x
u2 ,
∞   2 e−u du.  12
2 0

This integral is well known in the theory of probability and has the √ value π. (To see this, write 
∞  
∞ 
∞
∞ 2 2 2 −x 2 −y 2 e dx e dy
e−(x +y ) dx dy, I
0

0

0

0

and evaluate the double integral by polar coordinates, to get I
√ π/2.) Hence   −1  π 2
L t (s > 0) (2.4) s and

 1 1 L−1 s− 2
√ πt Example 2.2. Determine




L(log t)
0

∞

(t > 0).

e−st log t dt.

(2.5)

44

2. Applications and Properties

Again setting x
st, s > 0,
∞ x 1 L(log t)
e−x log dx s s 0 
∞ 
∞ 1 −x −x
e log x dx − log s e dx s 0 0 1
− (log s + γ), s where




∞

γ
−

(2.6)

e−x log x dx
0.577215 . . .

0

is Euler’s constant. See also Exercises 2.1, Question 4. Infinite Series. If f (t)


∞ 

an t n + ν

(ν > −1)

n
0

converges for all t ≥ 0 and |an | ≤ K(αn /n!), K, α > 0, for all n sufficiently large, then ∞    an (n + ν + 1) L f (t)
s n +ν + 1 n
0



 Re(s) > α .

This generalizes Theorem 1.18 (cf. Watson [14], P 1.3.1). In terms of the inverse transform, if F(s)


∞  n
0

an n + s ν +1

(ν > −1),

(2.7)

where the series converges for |s| > R, then the inverse can be computed term by term: ∞    f (t)
L−1 F(s)
n
0

an t n +ν , (n + ν + 1)

t ≥ 0.

(2.8)

To verify (2.8), note that since the series in (2.7) converges for |s| > R, a   n  n≤K s

2.1. Gamma Function

45

for some constant K and for all n. Then for |s|
r > R,

|an | ≤ K r n .

(2.9)

Also, rn
−1, n ≥ 2, (2.9) and (2.10) imply

|an | K αn K αn ≤
, (n + ν + 1) n (n) n!

(2.11)

as required. Furthermore, (2.11) guarantees     n K(αt)n a n   (t ≥ 0),  (n + ν + 1)  t ≤ n!  n αt and as ∞ converges, (2.8) converges absolutely. n
0 (αt) /n!
e This also shows that f has exponential order. Taking ν
0 in (2.7): If ∞  an F(s)
n +1 s n
0

converges for |s| > R, then the inverse is given by ∞    an n t . f (t)
L−1 F(s)
n! n
0

Example 2.3. Suppose 1 1  a − 12 F(s)
√
√ 1+ s s s+a

(a real).

Using the binomial series expansion for (1 + x)α ,  1 3 5   1 3   2 1 1 a a a 3 + 2 2 − 2 2 2 F(s)
√ 1 − 2 s 2! s 3! s s   n (−1) · 1 · 3 · 5 · · · (2n − 1) a n +··· + + ··· 2n n! s

46

2. Applications and Properties




∞  (−1)n · 1 · 3 · 5 · · · (2n − 1)an

2n n! sn+ 2 1

n
0

,

|s| > |a|.

Inverting in accordance with (2.8), −1

f (t)
L



1 ∞  (−1)n 1 · 3 · 5 · · · (2n − 1)an t n− 2   F(s)
2n n!  n + 12 n
0



∞ 1  (−1)n 1 · 3 · 5 · · · (2n − 1)an t n  
√ . 2n n!  n + 12 t n
0

Here we can use the formula ν (ν)
(ν + 1) to find by induction that      1 1 1 · 3 · 5 · · · (2n − 1)  n+
 2 2 2n   √ 1 · 3 · 5 · · · (2n − 1)
π . 2n Thus ∞ 1  (−1)n an t n f (t)
√ √ π n! t n
0

1
√ e−at . πt Note that in this case f (t) can also be determined from the first translation theorem (1.27) and (2.5).

Exercises 2.1 1. Establish the “factorial property” of the gamma function (ν + 1)
ν (ν), for ν > 0. 2. Compute   (a)  32

(b) (3)

2.2. Periodic Functions

  (c)  − 12

  (d)  − 32 .

3. Compute  3t  e (a) L √ t

 (c) L−1

−1

(e) L

47

 (b)

1 (s − a)3/2

L−1 

 (d) L−1

e−2s √ s



∞  (−1)n n
0



s n +1

, |s| > 1

  ∞  (−1)n+1 , |s| > 1 ns2n n
1

√ (f) L( t). 4. (a) Show that ∂ ν −1
t ν−1 log t. t ∂ν (b) From (a) and 2.2 prove that  (ν) − (ν) log s , sν

L(t ν−1 log t)


s > 0, ν > 0.

(c) Conclude that 1 L(log t)
− (log s + γ), s where


γ
−

∞

e−x log x dx
0.577215 . . . ,

0

is the Euler constant as in (2.6).

2.2

Periodic Functions

If a function f is periodic with period T > 0, then f (t)
f (t + T), −∞ < t < ∞. The periodic functions sin t and cos t both have period

48

2. Applications and Properties

f (t)

O

T

2

T

3

T

t

FIGURE 2.2

T
2π, whereas tan t has period T
π. Since the functions f with which we are dealing are defined only for t ≥ 0, we adopt the same condition for periodicity as above for these functions as well. The function f in Figure 2.2, is periodic with period T. We define
T F1 (s)
e−st f (t) dt, (2.12) 0

which is the Laplace transform of the function denoting the first period and zero elsewhere. The Laplace transform of the entire function f is just a particular multiple of this first one.   Theorem 2.4. If F(s)
L f (t) and f is periodic of period T, then F(s)
Proof.




∞

F(s)


e

−st

1 F1 (s). 1 − e−sT




T

f (t) dt


e

−st


f (t) dt +

0

0

(2.13)

∞

e−st f (t) dt.

T

Changing variables with τ
t − T in the last integral,
∞
∞ e−st f (t) dt
e−s(τ +T) f (τ + T) dτ 0

T


e

−sT


0

∞

e−sτ f (τ) dτ

2.2. Periodic Functions

49

f (t) 1

O

a

2

a

3

a

4

a

a

5

t

FIGURE 2.3

by the periodicity of f . Therefore,
T F(s)
e−st f (t) dt + e−sT F(s); 0

solving, F(s)


1 F1 (s). 1 − e−sT

2

Example 2.5. Find the Laplace transform of the square–wave function depicted in Figure 2.3. This bounded, piecewise continuous function is periodic of period T
2a, and so its Laplace transform is given by F(s)
where

1 F1 (s), 1 − e−2as




2a

F1 (s)


e−st dt

a




1 −as − e−2as ). (e s

Thus, F(s)


e−as 1
. − as s(1 + e ) s(1 + eas )

(2.14)

50

2. Applications and Properties

Observe that (2.13) can be written as F(s)


∞ 

  x
Re(s) > 0 .

e−nTs F1 (s)

(2.15)

n
0

In the case of the square–wave (Figure 2.3), the function can be expressed in the form f (t)
ua (t) − u2a (t) + u3a (t) − u4a (t) + · · · .

(2.16)

Since F1 (s)
(1/s)(e−as − e−2as ), we have from (2.15) ∞    1 F(s)
L f (t)
e−2nas (e−as − e−2as ) s n
0




(T
2a)

∞ 1 (e−(2n+1)as − e−(2n+2)as ) s n
0

1 −as − e−2as + e−3as − e−4as + · · ·) (e s        
L ua (t) − L u2a (t) + L u3a (t) − L u4a (t) + · · · ,




that is, we can take the Laplace transform of f term by term. For other periodic functions with a representation as in (2.16), taking the Laplace transform in this fashion is often useful and justified. Example 2.6. The half –wave–rectified sine function is given by

(2n+1)π sin ωt 2nπ 0, a > 0

by writing F(s) as an infinite series of exponential functions and computing the inverse by term. Draw a graph of f (t) and   term verify that indeed L f (t)
F(s).

2.3

Derivatives

In order to solve differential equations, it is necessary to know the Laplace transform of the derivative f  of a function f . The virtue of L(f  ) is that it can be written in terms of L(f ).

54

2. Applications and Properties

Theorem 2.7 (Derivative Theorem). Suppose that f is continuous on (0, ∞) and of exponential order α and that f  is piecewise continuous on [0, ∞). Then       Re(s) > α . L f  (t)
sL f (t) − f (0+ ) (2.17) Proof. Integrating by parts,
∞
τ e−st f  (t) dt
lim e−st f  (t) dt 0

δ→ 0 τ →∞

δ


τ  −st
lim e f (t)  + s δ→ 0 τ →∞

δ

τ

e

−st

 f (t) dt

δ


−sτ −sδ
lim e f (τ) − e f (δ) + s δ→ 0 τ →∞

τ

e

−st

 f (t) dt

δ

+





−f (0 ) + s

∞

e−st f (t) dt



 Re(s) > α .

0

Therefore,

    L f  (t)
sL f (t) − f (0+ ).

We have made use of the fact that for Re(s)
x > α,

|e−sτ f (τ)| ≤ e−xτ M eατ
M e−(x−α)τ → 0 as τ → ∞. Also, note that f (0+ ) exists since f  (0+ )
limt→0+ f  (t) exists (see Exercises 2.3, Question 1). Clearly, if f is continuous at t
0, then f (0+ )
f (0) and our formula becomes     L f  (t)
s L f (t) − f (0). (2.18)

2 Remark 2.8. An feature of the derivative theorem is   interesting that we obtain L f  (t) without requiring that f  itself be of exponential order. Example 1.14 was an example of this with f (t)
2 sin(et ). Example 2.9. Let us compute L(sin2 ωt) and L(cos2 ωt) from (2.18). For f (t)
sin2 ωt, we have f  (t)
2ω sin ωt cos ωt
ω sin 2ωt. From

2.3. Derivatives

55

(2.18),

L(ω sin 2ωt)
s L(sin2 ωt) − sin2 0, that is, 1 L(ω sin 2ωt) s ω 2ω
2 s s + 4ω2

L(sin2 ωt)





2ω2 . s(s2 + 4ω2 )

Similarly, 1 1 L(−ω sin 2ωt) + s s ω 1 2ω
− + 2 2 s s + 4ω s

L(cos2 ωt)





s2 + 2ω2 . s(s2 + 4ω2 )

Note that if f (0)
0, (2.18) can be expressed as   L−1 sF(s)
f  (t),   where F(s)
L f (t) . Thus, for example −1

L



s 2 s − a2






sinh at a




cosh at.

It may be the case that f has a jump discontinuity other than at the origin. This can be treated in the following way. Theorem 2.10. Suppose that f is continuous on [0, ∞) except for a jump discontinuity at t
t1 > 0, and f has exponential order α with f  piecewise continuous on [0, ∞). Then         Re(s) > α . L f  (t)
s L f (t) − f (0) − e−t1 s f (t1+ ) − f (t1− )

56

2. Applications and Properties

Proof.
∞ e−st f  (t) dt 0
τ
lim e−st f  (t) dt τ →∞ 0  
τ t1− τ   −st −st −st
lim e f (t) + e f (t)  + + s e f (t) dt τ →∞ t1 0 0 

lim e−st1 f (t1− ) − f (0) + e−sτ f (τ) − e−st1 f (t1+ ) + s τ →∞

Hence

τ

 e−st f (t) dt .

0

      L f  (t)
s L f (t) − f (0) − e−st1 f (t1+ ) − f (t1− ) .

If 0
t0 < t1 < · · · < tn are a finite number of jump discontinuities, the formula becomes n        L f  (t)
s L f (t) − f (0+ ) − e−stk f (tk+ ) − f (tk− ) . k
1

(2.19)

2

f

Remark 2.11. If we assume that is continuous [0, ∞) and also of exponential order, then it follows that the same is true of f itself . To see this, suppose that

|f  (t)| ≤ M eαt , Then


f (t)


t

t ≥ t0 , α 
0.

f  (τ) dτ + f (t0 )

t0

by the fundamental theorem of calculus, and
t |f (t)| ≤ M eατ dτ + |f (t0 )| t0

≤

M αt e + |f (t0 )| α

≤ C eαt ,

t ≥ t0 .

Since f is continuous, the result holds for α 
0, and the case α
0 is subsumed under this one.

2.3. Derivatives

57

To treat differential equations we will also need to know L(f  ) and so forth. Suppose that for the moment we can apply formula (2.18) to f  . Then     L f  (t)
s L f  (t) − f  (0)    
s s L f (t) − f (0) − f  (0)  
s2 L f (t) − s f (0) − f  (0). (2.20) Similarly,

    L f  (t)
s L f  (t) − f  (0)  
s3 L f (t) − s2 f (0) − s f  (0) − f  (0)

(2.21)

under suitable conditions. In the general case we have the following result. Theorem 2.12. Suppose that f (t), f  (t), · · · , f (n−1) (t) are continuous on (0, ∞) and of exponential order, while f (n) (t) is piecewise continuous on [0, ∞). Then     L f (n) (t)
sn L f (t) − sn−1 f (0+ ) − sn−2 f  (0+ ) − · · · − f (n−1) (0+ ). (2.22) Example 2.13. Determine the Laplace transform of the Laguerre polynomials, defined by e t d n n −t (t e ), n
0, 1, 2, . . . . n! dt n Let y(t)
t n e−t . Then     t 1 (n) L Ln (t)
L e . y n! Ln (t)


First, we find by Theorem 2.12, and subsequently the first translation theorem (1.27) coupled with (1.9),

L(y(n) )
sn L(y)


sn n! . (s + 1)n+1

It follows that     (s − 1)n t 1 (n) L Ln (t)
L e y
n! s n +1 again by the first translation theorem.



 Re(s) > 1 ,

58

2. Applications and Properties

Exercises 2.3 1. In Theorem 2.7, prove that f (0+ ) exists? (Hint: Consider for c sufficiently small,
c f  (t)dt
f (c) − f (δ), δ

and let δ → 0+ .) 2. Using the derivative theorem (2.7), show by mathematical induction that

L(t n )




n! s n +1

 Re(s) > 0 , n
1, 2, 3, . . . .

3. (a) Show that

L(sinh ωt)


ω s2 − ω 2

by letting f (t)
sinh ωt and applying formula (2.20). (b) Show that

L(t cosh ωt)


s2 + ω 2 . (s2 − ω2 )2

L(t sinh ωt)


2ωs . (s2 − ω2 )2

(c) Show that

4. Verify Theorem 2.10 for the function  t 0≤t≤1 f (t)
2 t > 1. 5. Compute (a) L(sin3 ωt)

(b) L(cos3 ωt).

6. Write out the details of the proof of Theorem 2.12. 7. Give an example to show that in Remark 2.11 the condition of continuity cannot be replaced by piecewise continuity.

2.4. Ordinary Differential Equations

2.4

59

Ordinary Differential Equations

The derivative theorem in the form of Theorem 2.12 opens up the possibility of utilizing the Laplace transform as a tool for solving ordinary differential equations. Numerous applications of the Laplace transform to ODEs will be found in ensuing sections. Example 2.14. Consider the initial-value problem d2y + y
1, y(0)
y (0)
0. d t2 Let us assume for the moment that the solution y
y(t) satisfies suitable conditions so that we may invoke (2.22). Taking the Laplace transform of both sides of the differential equation gives

L(y ) + L(y)
L(1). An application of (2.22) yields s2 L(y) − s y(0) − y (0) + L(y)


1 , s

that is,

L(y)


s(s2

1 . + 1)

Writing A Bs + C 1
+ 2 s(s2 + 1) s s +1 as a partial fraction decomposition, we find 1 s − 2 . s s +1 Applying the inverse transform gives the solution

L(y)


y
1 − cos t. One may readily check that this is indeed the solution to the initialvalue problem. Note that the initial conditions of the problem are absorbed into the method, unlike other approaches to problems of this type (i.e., the methods of variation of parameters or undetermined coefficients).

60

2. Applications and Properties

General Procedure. The Laplace transform method for solving ordinary differential equations can be summarized by the following steps. (i) Take the Laplace transform of both sides of the equation. This results in what is called the transformed equation. (ii) Obtain an equation L(y)
F(s), where F(s) is an algebraic expression in the variable s. (iii) Apply  the  inverse transform to yield the solution y
L−1 F(s) . The various techniques for determining the inverse transform include partial fraction decomposition, translation, derivative and integral theorems, convolutions, and integration in the complex plane. All of these techniques except the latter are used in conjunction with standard tables of Laplace transforms. Example 2.15. Solve y + y
et + t + 1,

y(0)
y (0)
y (0)
0.

Taking L of both sides gives

L(y ) + L(y )
L(et ) + L(t) + L(1), or [s3 L(y) − s2 y(0) − s y (0) − y (0)]

+[s2 L(y) − s y(0) − y (0)]


1 1 1 + 2+ . s−1 s s

Putting in the initial conditions gives s3 L(y) + s2 L(y)


2s2 − 1 , s2 (s − 1)

which is

L(y)


2s2 − 1 . s4 (s + 1)(s − 1)

Applying a partial fraction decomposition to

L(y)


2s2 − 1 A B C D E F
+ 2+ 3+ 4+ + , 4 s (s + 1)(s − 1) s s s s s+1 s−1

2.4. Ordinary Differential Equations

61

we find that

L(y)
−

1 1 1 1 + 4− + , 2 s s 2(s + 1) 2(s − 1)

and consequently         1 1 1 −1 1 1 −1 1 −1 −1 +L − L + L y
−L s2 s4 2 s+1 2 s−1 1 3 1 −t 1 t t − e + e. 6 2 2 In general, the Laplace transform method demonstrated above is particularly applicable to initial-value problems of nth-order linear ordinary differential equations with constant coefficients, that is,


−t +

an

dny d n −1 y + a + · · · + a0 y
f (t), n −1 d tn d t n −1

y(0)
y0 ,

y (0)


y1 , . . . , y

(n−1)

(2.23)

(0)
yn−1 .

In engineering parlance, f (t) is known as the input, excitation, or forcing function, and y
y(t) is the output or response. In the event the input f (t) has exponential order and be continuous, the output y
y(t) to (2.23) can also be shown to have exponential order and be continuous (Theorem A.6). This fact helps to justify the application of the Laplace transform method (see the remark subsequent to Theorem A.6). More generally, when f ∈ L, the method can still be applied by assuming that the hypotheses of Theorem 2.12 are satisfied. While the solution y
y(t) to (2.23) is given by the Laplace transform method for t ≥ 0, it is in general valid on the whole real line, −∞ < t < ∞, if f (t) has this domain. Another important virtue of the Laplace transform method is that the input function f (t) can be discontinuous. Example 2.16. Solve y + y
E ua (t),

y(0)
0, y (0)
1.

Here the system is receiving an input of zero for 0 ≤ t < a and E (constant) for t ≥ a. Then s2 L(y) − s y(0) − y (0) + L(y)


E e−as s

62

2. Applications and Properties

and 1 E e−as + s2 + 1 s(s2 + 1)   1 1 s
2 +E − 2 e−as . s +1 s s +1

L(y)


Whence

  1 s −as − 2 e +EL y
L s s +1  
sin t + E ua (t) 1 − cos(t − a) , −1



1 2 s +1



−1



by the second translation theorem (1.27). We can also express y in the form

sin t 0≤tπ We have


s L(y) + L(y)
2

π

y(0)
y (0)
0.

e−st sin t dt

0

π  −e−st
2 (s · sin t + cos t) s +1 0


e−πs 1 + 2 . 2 s +1 s +1

Therefore,

L(y)


1 e−πs + , (s2 + 1)2 (s2 + 1)2

2.4. Ordinary Differential Equations

63

and by Example 2.42 (i) and the second translation theorem (1.31),    1 1 y
(sin t − t cos t) + uπ (t) sin(t − π) − (t − π) cos(t − π) . 2 2 In other words,

1 2

y


(sin t − t cos t) 0 ≤ t < π

− 12 π cos t

t ≥ π.

Observe that denoting the input function by f (t),   f (t)
sin t 1 − uπ (t)


sin t + uπ (t) sin(t − π), from which

  L f (t)


1 e−πs + , s2 + 1 s2 + 1

again by the second translation theorem. General Solutions. If the initial-value data of (2.23) are unspecified, the Laplace transform can still be applied in order to determine the general solution. Example 2.18. Consider y + y
e−t , and let y(0)
y0 , y (0)
y1 be unspecified. Then s2 L(y) − s y(0) − y (0) + L(y)
L(e−t ), that is,

L(y)



1 s y0 y1 + 2 + 2 2 (s + 1)(s + 1) s + 1 s + 1 1 2

s+1

−

1 2

s−

s2

1 2

+1

+

y0 s y1 + 2 , +1 s +1

s2

by taking a partial fraction decomposition. Applying L−1 ,     1 −t 1 1 y
e + y0 − cos t + y1 + sin t. 2 2 2

64

2. Applications and Properties

Since y0 , y1 can take on all possible values, the general solution to the problem is given by y
c0 cos t + c1 sin t + 12 e−t , where c0 , c1 are arbitrary real constants. Note that this solution is valid for −∞ < t < ∞. Boundary-Value Problems. This type of problem is also amenable to solution by the Laplace transform method. As a typical example consider π
1. y(0)
1, y y + λ2 y
cos λt, 2λ Then

L(y ) + λ2 L(y)
L(cos λt), so that (s2 + λ2 )L(y)


s2

s + s y(0) + y (0), + λ2

implying

L(y)


s s y(0) y (0) + + . (s2 + λ2 )2 s 2 + λ2 s 2 + λ2

Therefore, y


1 y (0) t sin λt + cos λt + sin λt, 2λ λ

(2.24)

where we have invoked Example 2.42 (ii) to determine the first term and replaced y(0) with its value of 1. Finally, from (2.24) π π y (0)
2+ 1
y 2λ 4λ λ gives y (0) π
1 − 2, λ 4λ and thus y


 1 π  t sin λt + cos λt + 1 − 2 sin λt. 2λ 4λ

2.4. Ordinary Differential Equations

65

Similarly, if the boundary data had been, say π
1, y y(0)
1, λ then differentiating in (2.24) y


1 (sin λt + λt cos λt) − λ sin λt + y (0) cos λt. 2λ

Thus, 1
y and

π λ




−π − y (0) 2λ

 π , y (0)
− 1 + 2λ

to yield y


1 1 π 1+ sin λt. t sin λt + cos λt − 2λ λ 2λ

Systems of Differential Equations. Systems of differential equations can also be readily handled by the Laplace transform method. We illustrate with a few examples. Example 2.19. dy dz
−z;
y, y(0)
1, z(0)
0. dt dt Then

L(y )
−L(z)

i.e., s L(y) − 1
−L(z)

and

(2.25)

L(z  )
L(y)

i.e., s L(z)
L(y).

Solving the simultaneous equation (2.25) s2 L(y) − s
−s L(z)
−L(y), or

L(y)


s , s2 + 1

66

2. Applications and Properties

so that y
cos t,

z
−y
sin t.

Example 2.20. y + z  + y + z
1, y + z
et ,

y(0)
−1, z(0)
2.

From the first equation, we have s L(y) + 1 + s L(z) − 2 + L(y) + L(z)


1 . s

(2.26)

From the second equation, we have s L(y) + 1 + L(z)


1 . s−1

(2.27)

Solving (2.26) and (2.27), we arrive at

L(y)



−s2 + s + 1 s(s − 1)2 1 2 1 − + . s s − 1 (s − 1)2

Taking the inverse transform yields y
1 − 2et + t et ,

z
2et − t et .

Integrals. In certain differential equations it is also necessary to compute the Laplace transform of an integral. Theorem 2.21. If f is piecewise continuous on [0, ∞) of exponential order α(≥ 0), and
t f (u) du, g(t)
0

then

 1      Re(s) > α . L g(t)
L f (t) s  Proof. Since g (t)
f (t) except at points of discontinuity of f , integration by parts gives τ  
∞
g(t)e−st  1 τ −st −st e g(t) dt
lim + e f (t) dt . τ →∞ −s 0 s 0 0

2.4. Ordinary Differential Equations

67

Since g(0)
0, we need only compute lim

τ →∞

g(τ)e−sτ . −s

To this end,

|g(τ)e

−sτ

| ≤ e

−xτ




τ

0

≤ Me

−xτ

|f (u)| du




τ

eαu du 0

M −(x−α)τ − e−xτ ) (e α →0 as τ → ∞ for




x
Re(s) > α > 0.

Similarly, this holds for α
0. Hence

 1    L g(t)
L f (t) s



 Re(s) > α .

2

Example 2.22.

  L Si(t)
L


0

t

   sin u 1 sin t du
L u s t 1 1
tan−1 , s s

by Example 1.34 (i). The function, Si(t), is called the sine integral. The result of Theorem 2.22 can also be expressed in the form  
t −1 F(s) L f (u) du,
s 0   where F(s)
L f (t) . Hence, for example,  
1 1 t 1 −1 L sinh au du
2 (cosh at − 1).
2 2 s(s − a ) a 0 a Differential equations that involve integrals (known as integrodifferential equations) commonly arise in problems involving electrical circuits.

68

2. Applications and Properties

R L: inductance (constant) R: resistance (constant) C: capacitance (constant) I: current

E (t)

C L

FIGURE 2.6

Electrical Circuits. In the (RCL) circuit in Figure 2.6, the voltage drops across the inductor, resistor, and capacitor are given by t L(dI/dt), RI, and (1/C) 0 I(τ) dτ, respectively, where Kirchoff’s voltage law states that the sum of the voltage drops across the individual components equals the impressed voltage, E(t), that is,
1 t dI I(τ) dτ
E(t). (2.28) L + RI + dt C 0 t Setting Q (t)
0 I(τ) dτ (the charge of the condenser), we can write (2.28) as Q dQ d2Q +R +
E(t) (2.29) 2 dt dt C since I
dQ /dt. This will be the basis of some of the electrical circuit problems throughout the sequel. L

Example 2.23. Suppose that the current I in an electrical circuit satisfies dI L + RI
E0 sin ωt, dt where L, R, E0 , and ω are constants. Find I
I(t) for t > 0 if I(0)
0. Taking the Laplace transform, Ls L(I) + R L(I)


E0 ω , + ω2

s2

that is,

L(I)


E0 ω . (Ls + R)(s2 + ω2 )

2.4. Ordinary Differential Equations

69

Considering partial fractions

L(I)


E0 ω/L A Bs + C
+ 2 , 2 2 (s + R/L)(s + ω ) s + R/L s + ω2

we find that A


E0 Lω , 2 L ω2 + R2

B


−E0 Lω , + R2

L2 ω 2

C


E0 Rω , 2 L ω2 + R2

and so I(t)


E0 Lω 2 L ω2 + R2

e− L t + R

E0 R 2 L ω2 +

R2

sin ωt −

E0 Lω 2 L ω2 + R2

cos ωt.

Example 2.24. Suppose that the current I in the electrical circuit depicted in Figure 2.7 satisfies
1 t dI I(τ) dτ
E, L + dt C 0 where L, C, and E are positive constants, I(0)
0. Then Ls L(I) +

L(I) E
, Cs s

implying

L(I)


EC E
. 2 2 LCs + 1 L(s + 1/L C)

Thus,

 I(t)
E

E (t)

C 1 t. sin √ L LC

C L

FIGURE 2.7

70

2. Applications and Properties

Differential Equations with Polynomial Coefficients. Recall   (Theorem 1.34) that for F(s)
L y(t) ,

 n dn n F(s)
( − 1) L t y(t) dsn

(s > α)

for y(t) piecewise continuous on [0, ∞) and of exponential order α. Hence, for n
1,   L ty(t)
−F  (s). Suppose further that y (t) satisfies the hypotheses of the theorem. Then    d  L ty (t)
− L y (t) ds  d  sF(s) − y(0)
− ds
−sF  (s) − F(s). Similarly, for y (t), d    L y (t) ds  d  2 s F(s) − sy(0) − y (0)
− ds
−s2 F  (s) − 2sF(s) + y(0).       In many cases these formulas for L ty(t) , L ty (t) , and L ty (t) can be used to solve linear differential equations whose coefficients are (first-degree) polynomials.

L(ty )
−

Example 2.25. Solve y + ty − 2y
4,

y(0)
−1,

y (0)
0.

Taking the Laplace transform of both sides yields

  4 s2 F(s) + s − sF  (s) + F(s) − 2F(s)
, s or 

F (s) +



 3 4 − s F(s)
− 2 + 1. s s

2.4. Ordinary Differential Equations

71

The integrating factor is 

3 2 µ(s)
e ( s −s)ds
s3 e−s /2 .

Therefore,

  4 2 2 2 F(s)s3 e−s /2
− 2 s3 e−s /2 + s3 e−s /2 , s

and 3 −s2 /2

F(s)s e



−4

se

−s2 /2


ds +

s 3 e −s

2

/2

ds.

Substituting u
−s2 /2 into both integrals gives

3 −s2 /2 u
4 e du + 2 ueu du F(s)s e


4e

−s2 /2


2e−s

2

/2



 −s2 −s2 /2 −s2 /2 +2 −e e +C 2 − s 2 e −s

2

/2

+ C.

Thus, 2 1 C 2 − + 3 es /2 . 3 s s s Since F(s) → 0 as s → ∞, we must have C
0 and F(s)


y(t)
t 2 − 1, which can be verified to be the solution. There are pitfalls, however, of which the reader should be aware. A seemingly innocuous problem such as y − 2ty
0, 2

y(0)
1,

has y(t)
et as its solution, and this function, as we know, does not possess a Laplace transform. (See what happens when you try to apply the Laplace transform method to this problem.) Another caveat is that if the differential equation has a regular singular point, one of the solutions may behave like log t as t → 0+ ; hence its derivative has no Laplace transform (see Exercises 1.2, Question 3). In this case, the Laplace transform method can deliver only the solution that is bounded at the origin.

72

2. Applications and Properties

Example 2.26. Solve ty + y + 2y
0. The point t
0 is a regular singular point of the equation. Let us determine the solution that satisfies y(0)
1. Taking the Laplace transform,     − s2 F  (s) − 2sF(s) + 1 + sF(s) − 1 + 2F(s)
0, that is,

−s2 F  (s) − sF(s) + 2F(s)
0, or 



F (s) +

1 2 − 2 s s

Then the integrating factor is µ(s)
e Therefore,



 F(s)
0,

1 s

 − s22 ds

s > 0.


se2/s .

 F(s)se2/s
0

and Ce−2/s . s  n Taking the series ex
∞ n
0 (x /n!) with x
−2/s implies F(s)


F(s)
C

∞  (−1)n 2n n
0

n!sn+1

.

In view of (2.8) we can take L−1 term by term so that y(t)
C

∞  (−1)n 2n t n n
0

(n!)2

.

The condition y(0)
1 gives √ C
1. Note that y(t)
J0 (2 at) with a
2, from the table of Laplace transforms (pp. 210–218), where J0 is the well-known Bessel function (2.55). There is another solution to this differential equation which is unbounded at the origin and cannot be determined by the preceding method.

Exercises 2.4

73

Exercises 2.4 1. Solve the following initial-value problems by the Laplace transform method. dy − y
cos t, y(0)
−1 (a) dt dy + y
t 2 et , y(0)
2 (b) dt 2 d y + 4y
sin t, y(0)
1, y (0)
0 (c) dt 2 d2y dy − 2 − 3y
tet , y(0)
2, y (0)
1 (d) 2 dt dt d2y dy d3y + 5 + 2 − 8y
sin t, y(0)
0, y (0)
0, (e) dt 3 dt 2 dt y (0)
−1 d 2 y dy +
f (t), y(0)
1, y (0)
−1, where (f) dt 2 dt 1 0 π, y(0)
0, y (0)
0 (4) (h) y − y
0, y(0)
1, y (0)
y (0)
y (0)
0. 2. Solve the boundary value problems.

π
π. y(0)
1, y 2λ (a) y + λ2 y
sin λt, π  2  (b) y + λ y
t, y(0)
1, y λ
−1.

3. Suppose that the current I in an electrical circuit satisfies dI + RI
E0 , dt where L, R, E0 are positive constants. L

(a) Find I(t) for t > 0 if I(0)
I0 > 0. (b) Sketch a graph of the solution in (a) for the case I0 > E0 /R. (c) Show that I(t) tends to E0 /R as t → ∞. 4. Suppose that the current I in an electrical circuit satisfies L

dI + RI
E0 + A cos ωt, dt

74

2. Applications and Properties

where L, R, E0 , A and ω are constants. Find I(t) for t > 0 if I(0)
0. 5. Find the current I(t), t > 0, if
dI 1 t L + RI + I(τ) dτ
sin t, dt C 0 and L
1, R
3, C
12 , I(0)
1. 6. Solve the following systems of equations by the Laplace transform method. dx dx (a) 2 + 3x + y
0 (b) + x − y
1 + sin t dt dt dy dy dx 2 + x + 3y
0 − + y
t − sin t dt dt dt x(0)
2, y(0)
0

x(0)
0, y(0)
1

(c) x(t) − y (t) + y(t)
e−t − 1 x (t) + y (t) − y(t)
−3e−t + t x(0)
0, y(0)
1, y (0)
−2. 7. Solve the following differential equations by the Laplace transform method. (a) (b) (c) (d)

2.5

ty − y
1 ty − y
−1, y(0)
0 ty + y
0, y(0)
0 ty + (t + 1)y + 2y
e−t ,

y(0)
0.

Dirac Operator

In order to model certain physical events mathematically, such as a sudden power surge caused by a bolt of lightning, or the dynamical effects of a hammer blow to a spring-mounted weight, it turns out that ordinary functions are ill suited for these purposes. What is required is an entirely new entity that is not really a function at all.

2.5. Dirac Operator

75

Because of the status of this new entity, we also require a new tool in order to discuss it, namely the Riemann–Stieltjes integral, which is just a natural extension of the conventional Riemann integral. Riemann–Stieltjes Integral. Consider a partition of the interval [α, β] given by α
t0 < t1 < · · · < tn−1 < tn
β, choosing from each subinterval [ti−1 , ti ] an arbitrary point xi with ti−1 ≤ xi ≤ ti . Given functions f and ϕ defined on [α, β], we form the sum n  i
1

f (xi )[ϕ(ti ) − ϕ(ti−1 )].

(2.30)

If these sums converge to a finite limit L as 
maxi (ti − ti−1 ) → 0 as i → ∞, and for every choice of xi ∈ [ti−1 , ti ], then this limit is called the Riemann–Stieltjes integral of f with respect to ϕ on [α, β], and for the value of L we write
β f (t) dϕ(t). α

If ϕ(t)
t, then all the sums in (2.30) are the usual Riemann sums and we obtain the ordinary Riemann integral. The basic properties of the Riemann–Stieltjes integral are listed in the Appendix (Theorem A.9) and are very similar to those of the Riemann integral, as one might expect. It is important to note that the function ϕ need not be continuous. In fact, if f is continuous on β [α, β] and ϕ is a nondecreasing function on [α, β], then α f (t) dϕ(t) exists (see Protter and Morrey [10], Theorem 12.16). For example, let ϕ(t)
ua (t), the unit step function (Example 1.25):

1 t≥a ϕ(t)
0 t < a, for a ≥ 0. If f is continuous on some interval [α, β] containing a, say α < a < β, then for any particular partition, only for tj−1 < a ≤ tj is there any contribution to the integral (all the other terms being zero), and n  i
1

f (xi )[ϕ(ti ) − ϕ(ti−1 )]
f (xj )[ϕ(tj ) − ϕ(tj−1 )]

76

2. Applications and Properties

'(t) 1

O




tj

1

a xj

tj



t

FIGURE 2.8


f (xj )(1 − 0)
f (xj ) (Figure 2.8). Taking the limit as  → 0 (whereby xj → a) gives the value of the Riemann–Stieltjes integral
β f (t) dua (t)
f (a) (2.31) α

since f (xj ) → f (a). The property (2.31) is called the “sifting property” in that it sifts out one particular value of the function f . Let us denote δa
dua ,

a ≥ 0,

(2.32)

and for a
0, set δ
δ0 . From the sifting property we see that the action of δa on continuous functions is that of an operator, that is,
∞ δa [f ]
f (t) δa (t)
f (a), (2.33) −∞

and we see that this operator is linear: δa [c1 f1 + c2 f2 ]
c1 δa [f1 ] + c2 δa [f2 ], for constants c1 , c2 . We shall call δa the Dirac operator, although it is also known as the Dirac distribution, Dirac measure concentrated at a, Dirac delta function, or impulse function. P.A.M. Dirac, one of the founders of quantum mechanics, made extensive use of it in his work. However,

2.5. Dirac Operator

77

the “delta function” was highly controversial until it was made rigorous by the French mathematician Laurent Schwartz, in his book Th´eorie des distributions (cf. [13]). The class of linear operators of which the Dirac operator is just one example is known as distributions or generalized functions (see Guest [5], Chapter 12; also Richards and Youn [11]). Let us use the Riemann integral to show that the sifting property (2.33) for continuous functions could not possibly hold for any “proper function” ϕa . Let fn be continuous, fn (t)
0 for |t | ≥ 1/n, fn (t)
1 − n|t | for |t | < 1/n, so that with a
0, fn (0)
1. If ϕ0 is Riemann integrable, then it must be bounded by some constant M on, say, [−1, 1]. If ϕ0 satisfies the sifting property, it follows that
∞
1 n 1
fn (t) ϕ0 (t) dt ≤ fn (t)|ϕ0 (t)| dt −∞


≤M

− n1

1 n

− n1

dt


2M , n

a contradiction for n sufficiently large (Figure 2.9). However, there is an important relationship between the Riemann–Stieltjes and Riemann integrals under suitable conditions. Notably, if f , ϕ, ϕ are continuous on [α, β], then
β
β f (t) dϕ(t)
f (t) ϕ (t) dt (2.34) α

α

(see Theorem A.10).

1

fn 1

n

O

1

n

t

FIGURE 2.9

78

2. Applications and Properties

One further property of the Dirac operator worth noting is
∞ δa (t)
1, (2.35) −∞

which can be expressed as the total point mass concentrated at a is unity. Laplace Transform. In terms of the Riemann–Stieltjes integral, the Laplace transform with respect to a function ϕ defined on [0, ∞) is given by [cf. Widder [15] for an explication using this approach]
∞
b −st F(s)
LR−S (dϕ)
e dϕ(t)
lim e−st dϕ(t) (2.36) b→∞

−∞

−b

whenever this integral exists. Since we have taken the integral over (−∞, ∞), we will always set ϕ(t)
0 for t < 0. In particular, for dϕ
dua
δa ,
∞ LR−S (δa )
e−st δa (t) −∞


e−as ,

a ≥ 0,

(2.37)

by the sifting property. When a
0, we have

LR−S (δ)
1. Here we have an instance of the basic property of the Laplace transform, F(s) → 0 as s → ∞, being violated. But of course, δ is not a function but a linear operator. The application of the Riemann–Stieltjes Laplace transform (or Laplace–Stieltjes transform as it is known) becomes more transparent with the following result. We will take a slight liberty here with the notation and write LR−S (ψ ) for LR−S (dψ) whenever ψ is continuous on [0, ∞). Theorem 2.27. Suppose that ϕ is a continuous function of exponential order on [0, ∞). Then

LR−S (ϕ)
L(ϕ). Proof.

Let


ψ(t)


t

ϕ(τ) dτ, 0

2.5. Dirac Operator

79

and set ϕ(t)
ψ(t)
0 for t < 0. Then ψ (t)
ϕ(t), except possibly at t
0, and in view of (2.34),
∞
∞
∞ L(ϕ)
e−st ϕ(t) dt
e−st ψ (t) dt
e−st dψ(t) −∞

−∞

−∞




LR−S (dψ)
LR−S (ψ )
LR−S (ϕ), 2

as desired.

Remark 2.28. In the preceding theorem, the continuous function ϕ need not be of exponential order as long as the usual Laplace transform exists. Thus we have the following general principle: When taking the Laplace–Stieltjes transform LR−S of functions in a differential equation, we may instead take the ordinary Laplace transform, L. Example 2.29. Let us solve the differential equation x (t)
δ(t),

x(0)
0.

First note that this equation can  ∞ in the sense that  be interpreted both sides are linear operators i.e., x [f ]
−∞ f (t) x (t) dt for, say,  continuous f , which vanishes outside a finite interval . Applying LR−S to both sides, s L(x)
LR−S (δ)
1, and

L(x)


1 , s

so that x(t) ≡ 1, t ≥ 0. Note, however, that the initial condition x(0)
0 is not satisfied, but if we define x(t)
0 for t < 0, then limt→0− x(t)
0. Moreover, x(t)
u(t),   the unit step function compare with (2.32) . Applications. The manner in which the Dirac operator has come to be used in modeling a sudden impulse comes from consideration

80

2. Applications and Properties

uab (t) 1

b a

O

a

b

t

FIGURE 2.10

of the step function (Example 1.26): uab (t)


 1  ua (t) − ub (t) , b−a

b>a≥0

(Figure 2.10). Note that uab (t) has the property
∞ uab (t) dt
1. −∞

(2.38)

In order to simulate a sudden “impulse,” we let b approach a and define a (t)
lim uab (t). b→a

(2.39)

Then a (t)
0 for all t 
a and is undefined (or ∞ if you like) at t
a. From another perspective, let f be continuous in some interval [α, β] containing a, with α < a < b < β. Then
∞
b 1 f (t) uab (t) dt
f (t) dt b−a a −∞


f (c) for some point c ∈ [a, b] by the mean-value theorem for integrals (Figure 2.11). Taking the limit as b → a, we get f (c) → f (a), that is,
∞ f (t) uab (t) dt
f (a). (2.40) lim b→a

−∞

This suggests in a heuristic sense that if only we could take this limit inside the integral (which is not possible), then coupled with

2.5. Dirac Operator

81

f (t) f (b) f (c) f (a)

O

a

c

b




t

FIGURE 2.11

(2.39) we would arrive at the expression
∞ f (t) a (t) dt
f (a). −∞

This formula has absolutely no meaning in the Riemann integral  sense remember that a (t) is zero except for the value ∞ at t
a), but we have already given such an expression a rigorous meaning in the Riemann–Stieltjes sense of (2.33). Again, in (2.38), if only one could take the limit as b → a inside the integral, we would have
∞ a (t) dt
1, −∞

also achieved rigorously in (2.35). As far as the Laplace transform goes, we have

 e−as − e−bs  L uab (t)
s(b − a) as in Example 1.26. Letting b → a and applying l’Hˆopital’s rule,

  e−as − e−bs
e−as . lim L uab (t)
lim b →a b→a s(b − a)

(2.41)

Since limb→a uab (t)
a (t), it is tempting (but meaningless) to write     lim L uab (t)
L a (t) , b →a

82

2. Applications and Properties

and hence by (2.41), equating the two limits   L a (t)
e−as . This is just the expression obtained in (2.37). The foregoing illustrates that the mathematical modeling of a sudden impulse is achieved rigorously by the treatment given in terms of the Riemann–Stieltjes integral. Hereafter, for the sake of convenience, we will abuse the notation further and simply write

L(δa )
e−as . Example 2.30. A pellet of mass m is fired from a gun at time t
0 with a muzzle velocity v0 . If the pellet is fired into a viscous gas, the equation of motion can be expressed as dx d2x +k
m vo δ(t), x(0)
0, x (0)
0, dt 2 dt where x(t) is the displacement at time t ≥ 0, and k > 0 is a constant. Here, x (0)
0 corresponds to the fact that the pellet is initially at rest for t < 0. m

Taking the transform of both sides of the equation, we have m s2 L(x) + ks L(x)
m v0 L(δ)
m v0 ,

L(x)


m v0 v0
. 2 m s + ks s(s + k/m)

Writing v0 A B
+ , s(s + k/m) s s + k/m we find that A


m v0 , k

B
−

m v0 , k

and m v0 /k m v0 /k − . s s + k/m The solution given by the inverse transform is k m v0 x(t)
(1 − e− m t ) k

L(x)


2.5. Dirac Operator

83

x(t) mv0 k

O

t

FIGURE 2.12

t

FIGURE 2.13

x (t) 0

v0

O

(Figure 2.12). Computing the velocity, x (t)
v0 e− m t , k

and limt→0+ x (t)
v0 , whereas limt→0− x (t)
0, indicating the instantaneous jump in velocity at t
0, from a rest state to the value v0 (Figure 2.13). Another formulation of this problem would be d2x dx +k
0, x(0)
0, x (0)
v0 . 2 dt dt Solving this version yields the same results as above. m

Example 2.31. Suppose that at time t
0 an impulse of 1V is applied to an RCL circuit (Figure 2.6), and for t < 0, I(t)
0 and the charge on the capacitor is zero. This can be modeled by the equation
1 t dI L + RI + I(τ) dτ
δ(t), dt C 0 where L, R, and C are positive constants, and (i)

R2 L > , C 4

(ii)

L R2 < . C 4

84

2. Applications and Properties

Applying the Laplace transform gives Ls L(I) + R L(I) +

1 L(I)
1, Cs

that is,

L(I)



s Ls2 + Rs + 1/C L[(s +

R/2L)2

s . + (1/LC − R2 /4L2 )]

Setting a
R/2L, b2
1/LC − R2 /4L2 > 0, assuming (i), then, L L(I)





s (s + a)2 + b2 s+a a − , 2 2 (s + a) + b (s + a)2 + b2

(2.42)

and so I(t)


 e−at  a cos bt − sin bt . L b

Assuming (ii), (2.42) becomes LL(I)


s s+a a
− 2 2 2 2 (s + a) − b (s + a) − b (s + a)2 − b2

with a
R/2L, b2
R2 /4L2 − 1/LC > 0. Consequently,  e−at  a I(t)
cosh bt − sinh bt . L b A Mechanical System. We consider a mass m suspended on a spring that is rigidly supported from one end (Figure 2.14). The rest position is denoted by x
0, downward displacement is represented by x > 0, and upward displacement is shown by x < 0. To analyze this situation let i. k > 0 be the spring constant from Hooke’s law, ii. a(dx/dt) be the damping force due to the medium (e.g., air), where a > 0, that is, the damping force is proportional to the velocity, iii. F(t) represents all external impressed forces on m.

2.5. Dirac Operator

85

x0 FIGURE 2.14

Newton’s second law states that the sum of the forces acting on m equals m d 2 x/dt 2 , that is, m

dx d2x
−kx − a + F(t), 2 dt dt

or d2x dx +a + kx
F(t). 2 dt dt This equation is called the equation of motion. m

(2.43)

Remark 2.32. If a
0, the motion is called undamped. If a 
0, the motion is called damped. If F(t) ≡ 0 (i.e., no impressed forces), the motion is called free; otherwise it is forced. We can write (2.43) with F(t) ≡ 0 as d2x a dx k + + x
0. 2 dt m dt m Setting a/m
2b, k/m
λ2 , we obtain d2x dx + 2b + λ2 x
0. 2 dt dt The characteristic equation is r 2 + 2br + λ2
0, with roots r
−b ±



b2 − λ2 .

(2.44)

86

2. Applications and Properties

x(t) y = Ce

bt

O

t

FIGURE 2.15

The resulting behavior of the system depends on the relation between b and λ. One interesting case is when 0 < b < λ, where we obtain   x(t)
e−bt (c1 sin λ2 − b2 t + c2 cos λ2 − b2 t),  which after some algebraic manipulations (setting c
c12 + c22 , cos ϕ
c2 /c) becomes  x(t)
c e−bt cos( λ2 − b2 t − ϕ). This represents the behavior of damped oscillation (Figure 2.15). Let us apply a unit impulse force to the above situation. Example 2.33. For 0 < b < λ, suppose that d2x dx + 2b + λ2 x
δ(t), x(0)
0, x (0)
0, 2 dt dt which models the response of the mechanical system to a unit impulse. Therefore,

L(x ) + 2b L(x ) + λ2 L(x)
L(δ)
1, so that 1 + 2bs + λ2 1
, 2 (s + b) + (λ2 − b2 )

L(x)


s2

Exercises 2.5

and

87

 1 e−bt sin( λ2 − b2 t), x(t)
√ λ2 − b2

which again is a case of damped oscillation.

Exercises 2.5 1. Solve d2y dy − 4 + 2y
δ(t), y(0)
y (0)
0. dt 2 dt 2. The response of a spring with no damping (a
0) to a unit impulse at t
0 is given by d2x + kx
δ(t), x(0)
0, x (0)
0. dt 2 Determine x(t). 3. Suppose that the current in an RL circuit satisifies m

dI + RI
E(t), dt where L, and R are constants, and E(t) is the impressed voltage. Find the response to a unit impulse at t
0, assuming E(t)
0 for t ≤ 0. 4. Solve L

m

d2x dx + a + kx
δ(t), 2 dt dt

for m
1, a
2, k
1, x(0)
x (0)
0. 5. Show that if f satisfies the conditions of the derivative theorem (2.7), then   L−1 sF(s)
f  (t) + f (0) δ(t). 6. Show that −1

L



s−a s+a




δ(t) − 2ae−at .

88

2. Applications and Properties

7. A certain function U(x) satisfies 1 x > 0, a2 U  − b2 U
− δ, 2 where a and b are positive constants. If U(x) → 0 as x → ∞, and U(−x)
U(x), show that 1 − b |x | e a . 2ab [Hint: Take U(0)
c, U  (0)
0, where c is to be determined.] U(x)


2.6

Asymptotic Values

Two properties of the Laplace transform are sometimes useful in determining limiting values of a function f (t) as t → 0 or as t → ∞, even though the function is not known explicitly. This is achieved  by examining the behavior of L f (t) . Theorem 2.34 (Initial-Value Theorem). Suppose that f , f  satisfy   the conditions as in the derivative theorem (2.7), and F(s)
L f (t) . Then f (0+ )
lim f (t)
lim s F(s) t → 0+

(s real).

s→∞

Proof. By the general property of all Laplace transforms (of func tions), we know that L f  (t)
G(s) → 0 as s → ∞ (Theorem 1.20). By the derivative theorem, G(s)
s F(s) − f (0+ ),

s > α.

Taking the limit,

  0
lim G(s)
lim s F(s) − f (0+ ) . s→∞

s→∞

Therefore, f (0+ )
lim s F(s). s→∞

Example 2.35. If

  L f (t)


s+1 , (s − 1)(s + 2)

2

2.6. Asymptotic Values

then



s+1 f (0 )
lim s s→∞ (s − 1)(s + 2) +

89


1.

Theorem 2.36 (Terminal-Value Theorem). Suppose that f satisfies the conditions of the derivative theorem (2.7) and furthermore that limt→∞ f (t) exists. Then this limiting value is given by lim f (t)
lim s F(s)

t →∞

(s real),

s →0

  where F(s)
L f (t) .

Proof. First note that f has exponential order α
0 since it is bounded in view of the hypothesis. By the derivative theorem,   G(s)
L f  (t)
s F(s) − f (0+ ) (s > 0). Taking the limit, lim G(s)
lim s F(s) − f (0+ ). s→0

s →0

Furthermore,




∞

lim G(s)
lim s→0

s →0




∞




(2.45)

e−st f  (t) dt

0

f  (t) dt,

(2.46)

0

since in this particular instance the limit can be passed inside the integral (see Corollary A.4). The integral in (2.46) exists since it is nothing but
∞
τ  f (t) dt
lim f  (t) dt τ →∞

0

0


lim [f (τ) − f (0+ )]. τ →∞

(2.47)

Equating (2.45), (2.46), and (2.47), lim f (t)
lim s F(s).

t →∞

s →0

Example 2.37. Let f (t)
sin t. Then lim s F(s)
lim s →0

s →0

s
0, s2 + 1

2

90

2. Applications and Properties

but limt→∞ f (t) does not exist! Thus we may deduce that if lims→0 s F(s)
L, then either limt→∞ f (t)
L or this limit does not exist. That is the best we can do without knowing a priori that limt→∞ f (t) exists.

Exercises 2.6 1. Without determining f (t) and assuming f (t) satisfies the hypotheses of the initial-value theorem (2.34), compute f (0+ ) if   s3 + 3a2 s (a) L f (t)
2 2 3 (s √ −a ) 2   s + a2 − s)n (b) L f (t)
(n ≥ 0) √ 2 2   s +a s+a (c) log (a 
b). s+b 2. Without determining f (t), and assuming f (t) satisfies the hypotheses of the terminal-value theorem (2.36), compute lim f (t) t →∞

if

  (a) L f (t)


s+b (b > 0) (s + b)2 + a2    1  a . (b) L f (t)
+ tan−1 s s 3. Show that s lim s 2 s→0 (s + a2 )2 exists, and



t L sin at 2a




(s2

yet lim

t →∞

does not exist.

t sin at 2a

s , + a 2 )2

2.7. Convolution

2.7

91

Convolution

The convolution of two functions, f (t) and g(t), defined for t > 0, plays an important role in a number of different physical applications. The convolution is given by the integral
t (f ∗ g)(t)
f (τ)g(t − τ) dτ, 0

which of course exists if f and g are, say, piecewise continuous. Substituting u
t − τ gives
t (f ∗ g)(t)
g(u) f (t − u) du
(g ∗ f )(t), 0

that is, the convolution is commutative. Other basic properties of the convolution are as follows: (i) c(f ∗ g)
cf ∗ g
f ∗ cg, c constant; (ii) f ∗ (g ∗ h)
(f ∗ g) ∗ h (associative property); (iii) f ∗ (g + h)
(f ∗ g) + (f ∗ h) (distributive property). Properties (i) and (iii) are routine to verify. As for (ii), [f ∗ (g ∗ h)](t)
t
f (τ)(g ∗ h)(t − τ) dτ 0








t

0





t 
0




t −τ

f (τ)

0

0

t

 f (τ)g(u − τ)h(t − u) du dτ

τ


t 


 g(x)h(t − τ − x) dx dτ

u

 f (τ)g(u − τ) dτ h(t − u) du

0


[(f ∗ g) ∗ h](t), having reversed the order of integration.

(x
u − τ)

92

2. Applications and Properties

Example 2.38. If f (t)
et , g(t)
t, then
t eτ (t − τ) dτ (f ∗ g)(t)
0

t t  
t eτ  − (τ eτ − eτ ) 0

0


e − t − 1. t

One of the very significant properties possessed by the convolution in connection with the Laplace transform is that the Laplace transform of the convolution of two functions is the product of their Laplace transforms. Theorem 2.39 (Convolution Theorem). If f and g are piecewise continuous on [0, ∞) and of exponential order α, then       Re(s) > α . L[(f ∗ g)(t)]
L f (t) · L g(t) Proof.

Let us start with the product 
∞  
    −sτ L f (t) · L g(t)
e f (τ) dτ





0

0

∞ 
∞

e 0

−s(τ +u)

∞

e

−su

 g(u) du



f (τ) g(u) du dτ.

0

Substituting t
τ + u, and noting that τ is fixed in the interior integral, so that du
dt, we have 
∞ 
∞     L f (t) · L g(t)
e−st f (τ) g(t − τ) dt dτ. (2.48) 0

τ

If we define g(t)
0 for t < 0, then g(t − τ)
0 for t < τ and we can write (2.48) as
∞
∞     L f (t) · L g(t)
e−st f (τ)g(t − τ) dt dτ. 0

0

Due to the hypotheses on f and g, the Laplace integrals of f and g converge absolutely and hence, in view of the preceding calculation,
∞
∞  −st  e f (τ)g(t − τ) dt dτ 0

0

2.7. Convolution

93

converges. This fact allows us to reverse the order of integration,∗ so that
∞
∞     L f (t) · L g(t)
e−st f (τ)g(t − τ) dτ dt 0 
0 ∞ 
t −st
e f (τ) g(t − τ) dτ dt 0 0 
t 
∞ −st
e f (τ) g(t − τ) dτ dt 0

0


L[(f ∗ g)(t)].

2

Example 2.40.

L(eat ∗ ebt )
Moreover,

L−1



1 (s − a)(s − b)

1 . (s − a)(s − b)


eat ∗ ebt
t
eaτ eb(t−τ) dτ 0

eat − ebt
a−b ∗

Let




n +1

amn





n

m +1


|h(t, τ)| dt dτ,

n +1

bmn


m




∞

0

∞ ∞




∞




m +1

h(t, τ) dt dτ, n

so that |bmn | ≤ amn . If

a 
b.

m

|h(t, τ)| dt dτ < ∞,

0

 ∞ then n
0 m
0 amn < ∞, implying ∞ n
0 m
0 |bmn | < ∞. Hence, by a standard result on double series, the order of summation can be interchanged: ∞  ∞ 

bmn


n
0 m
0

i.e.,


0

∞


0

∞

∞  ∞ 

bmn ,

m
0 n
0




∞

h(t, τ) dt dτ





∞

h(t, τ) dτ dt. 0

0

94

2. Applications and Properties

Example 2.41. Find −1



L

 1 . s2 (s − 1)

Previously we applied a partial fraction decomposition. But we can also write s2 (s

1 1 1
2· , − 1) s s−1

where L(t)
1/s2 , L(et )
1/(s − 1). By the convolution theorem, 1 1 ·
L(t ∗ et ), 2 s s−1 and thus −1

L



1 2 s (s − 1)


t ∗ et
et − t − 1

by Example 2.38. Example 2.42. (i)

ω ω ω2
2 · (s2 + ω2 )2 s + ω 2 s2 + ω 2


L(sin ωt ∗ sin ωt), so that

L−1



ω2 (s2 + ω2 )2


sin ωt ∗ sin ωt
t
sin wτ sin ω(t − τ) dτ 0




1 (sin ωt − ωt cos ωt). 2w

2.7. Convolution

95

Similarly,   s 1 −1
cos ωt ∗ sin ωt (ii) L 2 2 2 (s + ω ) ω
1 t
cos ωτ sin ω(t − τ) dτ ω 0 1
t sin ωt. 2ω Here we have used the fact that sin(A − B)
sin A cos B − cos A sin B to compute both integrals. These examples illustrate the utility of the convolution theorem in evaluating inverse transforms that are products. Error Function. The error function from the theory of probability is defined as
t 2 2 erf(t)
√ e−x dx. π 0 Note that 2 lim erf(t)
√ t →∞ π




∞

e−x dx
1 2

(2.49)

0

by Example 2.1 (Figure 2.16). The error function is related to Laplace transforms through the problem (see also Chapters 4 and 5) of finding   1 −1 L . √ s(s − 1)

t

erf ( ) 1

O

t 1

FIGURE 2.16

96

2. Applications and Properties

We know from (2.5) that





1 L √ πt

1
√ s

and also that L(et )
1/(s − 1). Then by the convolution theorem,   1 1 L−1 √
√ ∗ et s(s − 1) πt
t 1
√ et−x dx πx 0
t −x et e
√ √ dx. x π 0 √ Substituting u
x gives √   t t
1 2e 2 L−1 √ e−u du
√ s(s − 1) π 0 √
et erf( t). Applying the first translation theorem 1.27 with a
−1 yields √   1 . L erf( t)
√ s s+1 Beta Function. If f (t)
t a−1 , g(t)
t b−1 , a, b > 0, then
t τ a−1 (t − τ)b−1 dτ. (f ∗ g)(t)
0

Substituting τ
ut, (f ∗ g)(t)
t

a +b − 1




1

ua−1 (1 − u)b−1 du.

(2.50)

0

The term


B(a, b)


1

ua−1 (1 − u)b−1 du

(2.51)

0

is known as the beta function. Then by the convolution theorem,   L t a+b−1 B(a, b)
L(t a−1 ) L(t b−1 )




(a) (b) s a +b

2.7. Convolution

97

by (2.2). Therefore, t

a +b − 1

−1



B(a, b)
L

(a) (b) s a +b


(a) (b)



t a +b −1 , (a + b)

(2.52)

and we obtain Euler’s formula for the beta function: B(a, b)


(a) (b) . (a + b)

(2.53)

Calculating B(1/2, 1/2) in (2.51) with u
sin2 θ, we find from (2.53)     2 π
B 12 , 12
 12 , that is, 

1 2




√ π

(2.54)

since (1/2) > 0. See also Example 2.1. Bessel Function. This important function is the solution to the Bessel equation of order ν, d2y dy +t + (t 2 − ν2 )y
0, 2 dt dt   and is given by the solution to (2.55) has a
1 t2

∞  (−1)n (at)2n+ν Jν (at)
, 22n+ν n!(n + ν)! n
0

where (n + ν)!
(n + ν + 1). For ν
0, J0 (at)


∞  (−1)n a2n t 2n n
0

22n (n!)2




∞ 

a2n t 2n

n
0

(Figure 2.17). J0 (at) is a bounded function and

|a2n |


|a|2n |a|2n ≤ . 22n (n!)2 (2n)!

(2.55)

98

2. Applications and Properties

J0 (at) 1

O

t FIGURE 2.17

The latter inequality for n
0, 1, 2, · · · can be verified by induction. Taking α
|a| in Theorem 1.18 means that we can take the Laplace transform of J0 (at) term by term. Hence, ∞    (−1)n a2n L J0 (at)
L(t 2n ) 2n (n!)2 2 n
0




∞  (−1)n a2n (2n)! n
0

22n (n!)2 s2n+1

∞ 1 (−1)n (2n)! s n
0 22n (n!)2   1 s
√ s s2 + a 2







√

1 s2

+ a2

a2 s2

n





Re(s) > |a|

.

Here we have used the Taylor series expansion

√

1 1+

x2




∞  (−1)n (2n)! n
0

22n (n!)2

x2n

(|x| < 1)

with x
a/s. Integral Equations. Equations of the form
t f (t)
g(t) + k(t, τ) f (τ) dτ 0

2.7. Convolution

and




99

t

g(t)


k(t, τ) f (τ) dτ 0

are known as integral equations, where f (t) is the unknown function. When the kernel k(t, τ) is of the particular form k(t, τ)
k(t − τ), the integrals represent convolutions. In this case, the Laplace transform lends itself to their solution. Considering the first type, if g and k are known, then formally

L(f )
L(g) + L(f ) L(k) by the convolution theorem. Then

L(f )


L(g) , 1 − L(k)

and from this expression f (t) often can be found since the right-hand side is just a function of the variable s. Example 2.43. Solve the integral equation
t −t sin(t − τ) x(τ) dτ. x(t)
e + 0

We apply the Laplace transform to both sides of the equation so that     L x(t)
L(e−t ) + L(sin t) L x(t) and

  L x(t)


L(e−t ) 1 − L(sin t)




s2 + 1 s2 (s + 1)




2 1 1 + 2− . s+1 s s

Hence x(t)
2e−t + t − 1.

100

2. Applications and Properties

y

y = y(x) y

O

u

x

FIGURE 2.18

As an example of an integral equation of the second type, let us consider a classical problem from the 19th century. A particle is to slide down a frictionless curve with the requirement that the duration of descent (due to gravity) is independent of the starting point (Figure 2.18). Such a curve is called a tautochrone. An analysis of the physics of the situation leads to the (Abel) integral equation
y 1 f (u) du T0
√ , (2.56) √ y−u 2g 0 where T0 is a constant (time), g is the gravitational constant, and f (u) represents ds/dy at y
u, where s
s(y) is arc length. The integral √ (2.56) then is the convolution of the functions f (y) and 1/ y. Taking the transform gives     1 1 L(T0 )
√ L f (y) L √ , y 2g and so by (2.4)

  L f (y)
Therefore,

  L f (y)




√ 2g T0 /s . √ π/s

2g/π s

1 2

T0


c0 1

s2

.

The inverse transform gives c f (y)
√ . y

(2.57)

Exercises 2.7

Since

 ds f (y)

dy



1+

101

2

dx dy

,

we arrive at the differential equation  2 dx c2
, 1+ dy y invoking (2.57). Then


 x


c2 − y dy. y

Setting y
c2 sin2 (ϕ/2) leads to c2 c2 y
(ϕ + sin ϕ), (1 − cos ϕ), 2 2 which are the parametric equations of a cycloid. x


Exercises 2.7 1. Use the convolution theorem to find the following:     1 1 −1 −1 (b) L (a) L (s − 1)(s + 2) s(s2 + 1) −1



(c) L

−1

(e) L



1 2 2 s (s + 1)



−1

(d) L



1 2 s (s + 4)2



 s . (s2 + 1)3

2. Prove the distributive property for convolutions: f ∗ (g + h)
f ∗ g + f ∗ h. 3. Show that if f and g are piecewise continuous and of exponential order on [0, ∞), then (f ∗ g)(t) is of exponential order on [0, ∞).

102

2. Applications and Properties

4. Use the convolution theorem to show that
t cos τ sin(t − τ) dτ
12 t sin t. 0

5. Show that y(t)


1 ω




t

f (τ) sinh ω(t − τ) dτ

0

is a solution to the differential equation y − ω2 y
f (t),

y(0)
y (0)
0,

for f continuous of exponential order on [0, ∞). 6. Determine   √ 1 (a) L−1 √ (b) L(eat erf at) s s+a

√ (c) L(t erf at). 7. Find

 e −s √ s2 + 1
1 1 1 8. Evaluate u− 2 (1 − u) 2 du. (a) L−1



(b) L−1

 √

1

s s2 + a 2

0

 .

9. The modified function of order ν is given by Iν (t)
 Bessel 2n+ν 2n+ν i−ν Jν (it)
∞ t /2 n!(n + ν)!. Show that n
0

  1 Re(s) > |a|). L I0 (at))
√ s2 − a 2 10. Solve the following integral equations:
t cos(t − τ) x(τ) dτ (a) x(t)
1 + 0
t eτ x(t − τ) dτ (b) x(t)
sin t + 0
t (sin τ) x(t − τ) dτ (c) x(t)

0 t (d) te−at
x(τ) x(t − τ) dτ. 0

11. Solve the integro-differential equations

2.8. Steady-State Solutions






(a) x (t) + (b) sin t


t


0 t

x(t − τ) dτ
cos t,

103

x(0)
0

x (τ) x(t − τ) dτ,

x(0)
x (0)
0.

0

12. Solve the initial-value problem y − 2y − 3y
f (t),

2.8

y(0)
y (0)
0.

Steady-State Solutions

Let us consider the general nth-order, linear, nonhomogeneous differential equation with constant coefficients y(n) + an−1 y(n−1) + · · · + a1 y + a0 y
f (t)

(2.58)

for f ∈ L, and with initial conditions y(0)
y (0)
· · ·
y(n−1) (0)
0.

(2.59)

To be more precise, we should really say y(0+ )
y (0+ )
· · ·
y(n−1) (0+ )
0, but we shall continue to employ the conventional notation of (2.59). A solution of (2.58) satisfying (2.59) is called a steady-state solution. By (2.22), proceeding formally,     L y(k) (t)
sk L y(t) , k
0, 1, 2, . . . . Thus, the Laplace transform of (2.58) is

    (sn + an−1 sn−1 + · · · + a1 s + a0 )L y(t)
L f (t) ,

or

   L f (t)  L y(t)
, Q (s)

where Q (s)
sn + an−1 sn−1 + · · · + a1 s + a0 . Suppose that   1
L g(t) Q (s)

(2.60)

104

2. Applications and Properties

for some function g(t). Then       L y(t)
L f (t) L g(t)


L[(f ∗ g)(t)] and


y(t)


t


f (τ) g(t − τ) dτ


0

t

g(τ) f (t − τ) dτ.

(2.61)

0

Since

  Q (s) L g(t)
1,

in other words,

    (sn + an−1 sn−1 + · · · + a1 s + a0 ) L g(t)
L δ(t) ,

we may consider g
g(t) to be the steady-state solution of g (n) + an−1 g (n−1) + · · · + a1 g  + a0 g
δ(t).

(2.62)

This means that we can determine the solution y
y(t) via (2.61) by first determining g
g(t) as a steady-state solution of (2.62). In this case, g(t) is known as the impulsive response since we are determining the response of the system (2.58) for f (t)
δ(t). Example 2.44. Find the steady-state solution to y − y
f (t)
e2t by first determining the response of the system to the Dirac delta function. For g  − g
δ(t), s2 L(g) − L(g)
1, namely,

L(g)


1 1/2 1/2
− , s2 − 1 s−1 s+1

so that g(t)


1 t 1 −t e − e . 2 2

2.8. Steady-State Solutions

By (2.61),

105


t

 1 τ 1 −τ 2(t−τ) e dτ e − e y(t)
2 2 0
1 2t t −τ
e (e − e−3τ ) dτ 2 0

1 2t 1 t 1 −t e − e + e . 3 2 6 This approach, while seemingly cumbersome, comes into its own when the impulse response g(t) is not known explicitly, but only indirectly by experimental means. By the same token, it is also worthwhile to determine the response of the steady-state system (2.58)/(2.59) to the unit step function, u(t). To this end, if f (t)
u(t), the (indicial) response h
h(t) satisfies




h(n) + an−1 h(n−1) + · · · + a1 h + a0 h
u(t), h(0)
h (0)
· · ·
h(n−1) (0)
0.

(2.63)

Moreover,

   L u(t)  1 L h(t)

. Q (s) s Q (s)   Revisiting (2.60) with 1/Q (s)
s L h(t) ,       L y(t)
s L h(t) L f (t)      
L h (t) L f (t) h(0)
0
L[(h ∗ f )(t)].

Therefore,




y(t)
0

t






h (τ) f (t − τ) dτ


t

f (τ) h (t − τ) dτ.

(2.64)

0

Once again we find that the steady-state solution of (2.58)/(2.59) can be determined by a convolution of a particular function with the input, f (t), in this case the steady-state solution h(t) of (2.63). Note that in the preceding we could have witten       L y(t)
s L f (t) L h(t)

106

2. Applications and Properties

     
L f  (t) + f (0) L h(t) , and consequently


y(t)


t

f  (τ) h(t − τ) dτ + f (0) h(t).

(2.65)

0

This approach involving the convolution with the indicial response is known as the superposition principle. Example 2.45. For the steady-state problem in Example 2.44 and f (t)
u(t),

     1  s2 L h(t) − L h(t)
L u(t)
, s that is,

  L h(t)


1 1 1/2 1/2
− + + , s(s − 1)(s + 1) s s−1 s+1

and 1 t 1 −t e + e , 2 2 1 1 h (t)
et − e−t , 2 2 h(t)
−1 +

the latter quantity being exactly the expression obtained for g(t) in the previous example. Then
t h (τ) f (t − τ) dτ y(t)
0




1 2t 1 t 1 −t e − e + e , 3 2 6

as before. Let us go back to the polynomial Q (s) of (2.60) and suppose that all of its roots α1 , α2 , · · · , αn are simple, so that we have the partial fraction decomposition   n n   1 Ak αk t

L Ak e . Q (s) s − αk k
1 k
1

Exercises 2.8

107

Putting this expression into (2.60) gives   n      L y(t)
L f (t) L Ak eαk t , k
1

and so


y(t)


t

f (τ) 0




n 

Ak eαk (t−τ) dτ

k
1

n 




t

Ak

f (τ)eαk (t−τ) dτ.

(2.66)

0

k
1

Since Ak
lim

s → αk

s − αk , Q (s)

we can write Ak
lim

s → αk




s − αk Q (s) − Q (αk )

1 Q  (α

k)

,

k
1, 2, . . . , n,

invoking l’Hˆopital’s rule [Q  (αk ) 
0 from Section 3.4 since the αk s are simple]. A fortiori (2.66) becomes
t n  1 f (τ) eαk (t−τ) dτ, (2.67) y(t)
 (α ) Q k 0 k
1 the Heaviside expansion theorem.

Exercises 2.8 1. Solve the following steady-state problems by first determining the response of the system to the Dirac delta function and then using equation (2.61): (a) y + y − 2y
4e−t

108

2. Applications and Properties

(b) y − y
sin t (c) y − 2y − 5y + 6y
2t. 2. Solve parts (a), (b), and (c) of Question 1 by first determining the response of the system to the unit step function and then using equation (2.64) or (2.65). 3. Solve parts (a), (b), and (c) of Question 1 directly by using the Heaviside expansion theorem (2.67). 4. A mass attached to a vertical spring undergoes forced vibration with damping so that the motion is given by d 2 x dx + + 2x
sin t, dt 2 dt where x(t) is the displacement at time t. Determine the displacement at time t of the steady-state solution.

2.9

Difference Equations

A difference equation expresses the relationship between the values of a function y(t) and the values of the function at different arguments, y(t + h), h constant. For example, y(t − 1) − 3y(t) + 2y(t − 2)
et , y(t + 1) y(t)
cos t are difference equations, linear and nonlinear, respectively. Equations that express the relationship between the terms of a sequence a0 , a1 , a2 , . . . are also difference equations, as, for example, an+2 − 3an+1 + 2an
5n an+1
2an2

(linear), (nonlinear).

As we will see, the function and sequence forms are not as unrelated as they may appear, with the latter easily expressed in terms of the former. Both of the above linear forms are amenable to solution by the Laplace transform method. For further reading on difference equations, see Mickens [8].

2.9. Difference Equations

109

Example 2.46. Solve  π
sin ωt, y(t)
0, t ≤ 0. y(t) − y t − ω We compute
∞    π  π
L y t− e−st y t − dt ω ω 0
∞  π π
e−s(τ + ω ) y(τ) dτ τ
t− ω − ωπ
∞ − πs ω e−sτ y(τ) dτ
e 0


e

− πs ω

  L y(t) .

Therefore, taking the Laplace transform of both sides of the difference equation,     πs ω L y(t) − e− ω L y(t)
2 , s + ω2 or   ω L y(t)
 πs  , 2 2 (s + ω ) 1 − e− ω and

y(t)


sin ωt 0

(2n+1)π 2nπ max(0, log a) .
− s s(1 − ae )




Let us then turn to the following type of difference equation. Example 2.48. Solve an+2 − 3an+1 + 2an
0,

a0
0, a1
1.

To treat this sort of problem, let us define y(t)
an ,

n ≤ t < n + 1, n
0, 1, 2, . . . .

Then our difference equation becomes y(t + 2) − 3y(t + 1) + 2y(t)
0. Taking the Laplace transform, we first have
∞   L y(t + 2)
e−st y(t + 2) dt
0 ∞
e−s(τ −2) y(τ) dτ (τ
t + 2) 2
∞
2 2s −sτ 2s
e e y(τ) dτ − e e−sτ y(τ) dτ 0

0

(2.68)

2.9. Difference Equations

 
e L y(t) − e2s




1

−sτ

a0 dτ − e 0  −s    e − e−2s
e2s L y(t) − e2s s s  e 
e2s L y(t) − (1 − e−s ), s 2s

e


2s

2

111

e−sτ a1 dτ

1

since a0
0, a1
1. Similarly,

    L y(t + 1)
es L y(t) . Thus the transform of (2.68) becomes

 es      e2s L y(t) − (1 − e−s ) − 3es L y(t) + 2L y(t)
0, s or es (1 − e−s ) s(e2s − 3es + 2)   es (1 − e−s ) 1 1
− s es − 2 es − 1   1 − e −s 1 1 −
s 1 − 2e−s 1 − e −s 1 − e −s 1 − e −s
− s(1 − 2e−s ) s(1 − e−s )
L(2[t] ) − L(1)  by Example 2.47. The solution is then given by equating the expressions for y(t)

  L y(t)


an
2n − 1,

n
0, 1, 2, . . . .

Checking this result: an+2
2n+2 − 1, an+1
2n+1 − 1, and so (2n+2 − 1) − 3(2n+1 − 1) + 2(2n − 1)
2n+2 − 3 · 2n+1 + 2 · 2n


2 · 2n+1 − 3 · 2n+1 + 2n+1
0, as desired.

112

2. Applications and Properties

If in the preceding example the right-hand side had been something other than 0, say an+2 − 3an+1 + 2an
3n ,

a0
0, a1
1,

it would have transpired that

  L y(t)
L(2[t] ) − L(1) +

L(3[t] ) e2s − 3es + 2

and

L(3[t] ) 1 − e −s 1
2s s − s 3s e − 3e + 2 s(1 − 3e ) e − 3es + 2 es − 1 s(es − 3)(es − 2)(es − 1)   1 1 es − 1 1 2
− + 2 s es − 1 es − 2 es − 3   1 1 1 − e −s 1 2 2 − +
s 1 − e −s 1 − 2e−s 1 − 3e−s







1 1 L(1) − L(2[t] ) + L(3[t] ). 2 2

Whence an


1 n 1 3 − , 2 2

n
0, 1, 2, . . . .

Linear difference equations involving derivatives of the function y(t) can also be treated by the Laplace transform method. Example 2.49. Solve the differential-difference equation y (t) − y(t − 1)
δ(t),

y(t)
y (t)
0, t ≤ 0.

Similarly, as we saw in Example 2.46,     L y(t − 1)
e−s L y(t) . Then transforming the original equation,     s2 L y(t) − e−s L y(t)
1,

Exercises 2.9

113

so that

  L y(t)





s2

1 1
 − s −e s2 1 −

∞  e−ns s2n+2 n
0

e −s





Re(s) > 0

s2



 Re(s) > 1 .

Observe that by (1.9) and (1.14)  −ns  e (t − n)2n+1 −1 L u (t)
n s2n+2 (2n + 1)!

(t −n)2n+1 t≥n (2n+1)!
0 t < n. Hence by (2.69) and (2.70) and the linearity of L,  [t]   (t − n)2n+1   L y(t)
L (2n + 1)! n
0 and y(t)


[t]  (t − n)2n+1 n
0

(2n + 1)!

.

Exercises 2.9 1. Show that the function f (t)
a[t] ,

t > 0,

has exponential order on [0, ∞). 2. (a) Show that the function f (t)
[t],

t > 0,

has Laplace transform

  L f (t)




1 e −s
. s(es − 1) s(1 − e−s )

(2.69)

(2.70)

114

2. Applications and Properties

(b) Show that the solution to y(t + 1) − y(t)
1,

y(t)
0, t < 1,

is given by the function in part (a). 3. From the expression e −s e −s
(1 + ae−s + a2 e−2s + · · ·), s(1 − ae−s ) s deduce that f (t)
L−1





e −s s(1 − ae−s )

and for a 
1, −1

f (t)
L






 [t]  

a n −1

  n
1

0

e −s s(1 − ae−s )




t≥1 0 < t < 1,

a[t] − 1 . a−1

4. Solve for an : (a) (b) (c) (d)

an+2 − 7an+1 + 12an
0 a0
0, a1
−1 an+2 − 7an+1 + 12an
2n a0
0, a1
−1 an+1 + an
1, a0
0, a1
1 an+2 − 2an+1 + an
0, a0
0, a1
1.

5. The Fibonacci difference equation is given by a n + 2
an + 1 + a n , Deduce that 1 an
√ 5



a0
0, a1
1.

√ n  √ n  1+ 5 1− 5 − , 2 2

n
0, 1, 2, . . . .

6. Solve (a) y(t) + y(t − 1)
et , (b) y (t) − y(t − 1)
t,

y(t)
0, t ≤ 0 y(t)
0, t ≤ 0.

7. Find an if an+2 − 5an+1 + 6an
4n + 2,

a0
0, a1
1.

3

C H A P T E R

... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Complex Variable Theory

In this chapter we present an overview of the theory of complex variables, which is required for an understanding of the complex inversion formula discussed in Chapter 4. Along the way, we establish the analyticity of the Laplace transform (Theorem 3.1) and verify the differentiation formula (1.15) of Chapter 1 for a complex parameter (Theorem 3.3).

3.1

Complex Numbers

Complex numbers are ordered pairs of real numbers for which the rules of addition and multiplication are defined as follows: If z
(x, y), w
(u, v), then z + w
(x + u, y + v), zw
(xu − yv, xv + yu). With these operations the complex numbers satisfy the same arithmetic properties as do the real numbers. The set of all complex numbers is denoted by C.

115

116

3. Complex Variable Theory

We identify (real) a with (a, 0) and denote i
(0, 1), which is called the imaginary number. However, it is anything but imaginary in the common sense of the word. Observe that z
(x, y)
(x, 0) + (0, y)
(x, 0) + (y, 0)(0, 1)
x + yi
x + iy. It is these latter two forms that are typically employed in the theory of complex numbers, rather than the ordered-pair expression. But it is worth remembering that the complex number x + iy is just the ordered-pair (x, y) and that i
(0, 1). Moreover, i2
(0, 1)(0, 1)
(−1, 0)
−1, √ which can also be expressed as i
−1. The real part of z
x + iy, written Re(z), is the real number x, and the imaginary part, I m(z), is the real number y. The two complex numbers z
x + iy, w
u + iv are equal if and only if x
u and y
v, that is, their real and imaginary parts are the same.  The modulus (or absolute value) of z is |z |
r
x2 + y2 , and |zw|
|z | |w|. As with real numbers, the triangle inequality holds:

|z + w| ≤ |z | + |w|. The conjugate of z
x + iy is given by z
x − iy (Figure 3.1). Thus, z z
|z |2 and z + w
z + w, zw
z w. y

z z

j j

= x + iy = (x
y)

=r

O

x

=x

z

iy

FIGURE 3.1

3.1. Complex Numbers

117

Complex numbers can be depicted in a plane known as the complex plane (Figure 3.1), also denoted by C. The x-axis is called the real axis and the y-axis the imaginary axis. The complex number z can also be thought of as a vector that makes an angle θ with the real axis, and θ is called the argument of z, denoted by arg(z). Clearly, x
r cos θ,

y
r sin θ,

and tan θ


y . x

Thus, we have z
x + iy
r(cos θ + i sin θ), the polar form of z. If z
r(cos θ + i sin θ) and w
R(cos ϕ + i sin ϕ), then  zw
rR (cos θ cos ϕ − sin θ sin ϕ) + i(sin θ cos ϕ + cos θ sin ϕ) 
rR cos(θ + ϕ) + i sin(θ + ϕ) . In other words, the arguments are additive under multiplication. Thus, z 2
r 2 (cos 2θ + i sin 2θ), and in general, z n
[r(cos θ + i sin θ)]n
r n (cos nθ + i sin nθ), which is known as De Moivre’s theorem. The function ez is defined by ez
ex+iy
ex (cos y + i sin y). Setting x
0 gives eiy
cos y + i sin y, and the expression (Euler’s formula) eiθ
cos θ + i sin θ,

0 ≤ θ < 2π,

represents any point on the unit circle |z |
1 and leads to the

118

3. Complex Variable Theory

y

z

= ei

1

O

x

FIGURE 3.2

remarkable expression eiπ
−1 (Figure 3.2). In general, therefore, any complex number z
x + iy
r(cos θ + i sin θ) can be written as z
r eiθ . De Moivre’s theorem now reads z n
(r eiθ )n
r n einθ . If r eiθ
z
wn
Rn einϕ , then w
z 1/n and 1

R
rn,

θ + 2kπ , n

ϕ


k
0, ±1, ±2, · · · .

Due to periodicity we need take only the values k
0, 1, · · · , n − 1 to obtain the n distinct roots of z: z n
r n ei ( 1

1

θ +2kπ n

).

For example, the four fourth roots of unity (z
1) are given by z 4
ei ( 1

0+2kπ 4

),

k
0, 1, 2, 3,

Exercises 3.1

119

that is, z1
1,

π

z2
ei 2
i,

z3
eiπ
−1,

3π

z4
ei 2
−i.

Exercises 3.1 1. If z
1 + 2i, w
2 − i, compute (a) 2z + 3w

(b) (3z)(2w)

2 3 + . z w 2. Find the modulus, argument, real and imaginary parts of (c)

(a) (1 + i)3

(b)

1−i 1+i

1 (1 − i)2

(d)

4 + 3i 2−i

(c)

(e) (1 + i)30 . 3. Write the complex numbers in Question 2, parts (a) and (d), in polar form. 4. Show that if z is a complex number, then (a) z + z
2 Re(z) (b) z − z
2i I m(z) (c) |Re(z)| ≤ |z |, |I m(z)| ≤ |z |. 5. Prove by mathematical induction that

|z1 + z2 + · · · + zn | ≤ |z1 | + |z2 | + · · · + |zn |, You may assume it is already valid for n
2. 6. Show that    z−a    1 − a z  < 1 if |z | < 1 and |a| < 1. (Hint: |w|2
w w.)

n ≥ 2.

120

3. Complex Variable Theory

7. Determine the region in the z-plane denoted by (a) |z − i| < 1

(b) 1 ≤ |z | ≤ 2

3π π < arg(z) < , |z | < 1. 2 2 8. Write in the form x + iy (c)

π

(a) ei 4

(b) e2nπi , n
0, ±1, ±2, . . .

(c) e(2n−1)πi , n
0, ±1, ±2, . . .

(d) ei 3 .

9. Compute all the values of √ (a) 4 −1 (c)

3.2

5π

(b)

√ 3 i

√ 5 1 + i.

Functions

A complex-valued function w
f (z) of a complex variable assigns to each independent variable z one or more dependent variables w. If there is only one such value w, then the function f (z) is termed single-valued; otherwise f (z) is multiple-valued. Complex-valued functions are in general assumed to be single-valued unless otherwise stated. For z
x + iy and w
u + iv, one can write w
f (z)
u(x, y) + iv(x, y), where u
u(x, y), v
v(x, y) are real-valued functions—the real and imaginary parts of f (z). For example, f (z)
z 2
(x2 − y2 ) + 2ixy, g(z)
ez
ex cos y + i ex sin y, h(z)
c
a + ib

(a, b, c constants)

are all (single-valued) complex functions.

3.2. Functions

y

v

z plane

w

121 plane

4 i 2 i

O

a

b

x

1

O

1

ea eb

u

2 i 4 i

FIGURE 3.3

Complex functions are mappings from a domain in the z-plane to the range in the w-plane. For example, the exponential function w
ez
ex eiy maps the z-plane in such a way that each horizontal strip of width 2π is mapped onto the entire w-plane minus the origin (Figure 3.3). A vertical line at x in one of these strips maps to a circle of radius ex in the w-plane. Note that when x
0, then e2nπi
1, n
0, ±1, ±2, . . ., and zn
2nπi, n
0, ±1, ±2, . . . are the only points that map to w
1. Likewise zn
(2n − 1)πi are the only points that map to w
−1. Functions related to the exponential function are as follows: sin z
tan z
sinh z
tanh z
sech z


eiz − e−iz ; 2i sin z ; cos z e z − e −z ; 2  sinh z  z 
(n − 12 )πi ; cosh z  1  z 
(n − 12 )πi ; cosh z

for n
0, ±1, ±2, . . . .

cos z
cot z
cosh z
coth z
csch z


eiz + e−iz ; 2 cos z ; sin z e z + e −z ; 2 cosh z (z 
nπi); sinh z 1 (z 
nπi); sinh z

122

3. Complex Variable Theory

Some useful identities include sinh(z ± w)
sinh z cosh w ± cosh z sinh w, cosh(z ± w)
cosh z cosh w ± sinh z sinh w, and, for z
x + iy, sinh z
cos y sinh x + i sin y cosh x, cosh z
cos y cosh x + i sin y sinh x. An example of a multiple-valued complex function is the inverse of the exponential function, namely the logarithm function log z
log |z | + i arg(z) + 2nπi, n
0, ±1, ±2, . . . , 0 ≤ arg(z) < 2π which maps for each value of n the complex plane minus the origin onto the horizontal strips as in Figure 3.3 with the roles of the z- and w-planes reversed. We call w
Log z
log |z | + i arg(z),

0 ≤ arg(z) < 2π,

the principal logarithm. By removing the nonnegative real axis (a branch cut) from the domain, Log z, as well as each of the branches, log z
log |z | + i arg(z) + 2nπi,

n
0, ±1, ±2, . . . ,

for each fixed n, becomes single-valued and analytic. Another multiple-valued function is w
z n
r n ei ( 1

1

θ +2kπ n

),

k
0, 1, . . . , n − 1,

which has n branches (one for each value of k) that are single-valued analytic for 0 < θ < 2π, r > 0, having again removed the non√ negative real axis. In particular, when n
2, w
z has two branches: 1

w1
r 2 eiθ/2 ; w2
r 2 ei(θ/2)+π
−w1 . 1

We can even take a branch cut removing the nonpositive real axis so that w1 and w2 are (single-valued) analytic on −π < θ < π, r > 0. For the preceding multiple-valued functions, after one complete circuit of the origin in the z-plane, we find that the value of w shifts to

3.2. Functions

123

another branch. Because of this property, z
0 is termed a branch point. The branch √ point can be a point other than the origin; the function w
z − 1 has a branch point at z
1. Analytic Functions. The notions of limit and continuity are essentially the same for complex functions as for real functions. The only difference is that whenever z → z0 in a limit, the value of the limit should be independent of the direction of approach of z to z0 . Regarding the derivative, we say that a complex function f (z) defined on a domain (connected open set) D is differentiable at a point z0 ∈ D if the limit df f (z) − f (z0 ) (z0 )
f  (z0 )
lim z →z0 dz z − z0 exists. If f (z) is differentiable at all points of some neighborhood |z − z0 | < r, then f (z) is said to be analytic (holomorphic) at z0 . If f (z) is analytic at each point of a domain D, then f (z) is analytic in D. Since analytic functions are differentiable, they are continuous. Differentiation of sums, products, and quotients of complex functions follow the same rules as for real functions. Moreover, there are the familiar formulas from real variables, d n z
n z n −1 , dz d z e
ez , dz   1 d 0 < arg(z) < 2π , Logz
dz z and so forth. Cauchy–Riemann Equations. For an analytic function f (z)
u(x, y) + iv(x, y), the real and imaginary parts u and v cannot be arbitrary functions but must satisfy a special relationship known as the Cauchy–Riemann equations: ux
vy ;

uy
−vx .

(3.1)

f  (z0 )
ux (z0 ) + ivx (z0 ),

(3.2)

These arise from the fact that

124

3. Complex Variable Theory

letting z → z0 along a line parallel to the real axis in computing the derivative, and f  (z0 )
vy (z0 ) − i uy (z0 ),

(3.3)

letting z → z0 along a line parallel to the imaginary axis. Equating the real and imaginary parts of (3.2) and (3.3) gives (3.1). One consequence of (3.1) is that a nonconstant analytic function f
u + iv cannot have v ≡ 0 (that is, f is a real-valued function), for the Cauchy–Riemann equations would imply u ≡ constant, a contradiction. Equally important is the partial converse: If f (z)
u(x, y) + iv(x, y) is defined in a domain D and the partial derivatives ux , uy , vx , vy are continuous and satisfy the Cauchy–Riemann equations, then f (z) is analytic in D. Let us make use of this result to show that the Laplace transform is an analytic function. Theorem 3.1. Let f (t) be piecewise continuous on [0, ∞) and of exponential order α. Then   F(s)
L f (t) is an analytic function in the domain Re(s) > α. For s
x + iy,
∞
−st e f (t) dt
F(s)


Proof.

0





∞

e−(x+iy)t f (t) dt

0

∞

e−xt (cos yt − i sin yt) f (t) dt

0





∞

(e

−xt




∞

cos yt) f (t) dt + i

0

(−e−xt sin yt) f (t) dt

0


u(x, y) + iv(x, y). Now consider 
∞  
∞      ∂ − xt − xt  (−te cos yt) f (t) dt  (e cos yt) f (t) dt 
  ∂x t0 t0
∞ te−xt |f (t)| dt ≤ t0

3.2. Functions




∞

≤M

e−(x−α−δ)t dt

125

(δ > 0)

t0

≤

M e−(x−α−δ)t0 , x−α−δ

where δ > 0 can be chosen arbitrarily small. Then for x ≥ x0 > α (and hence x ≥ x0 > α + δ), the right-hand side can be made arbitrarily  ∞small by taking t0 sufficiently large, implying that the integral 0 (∂/∂x) (e−xt cos yt) f (t) dt converges uniformly in Re(s) ≥ x0 > α. ∞ Likewise, the integral 0 (∂/∂y)(−e−xt sin yt) f (t) dt converges uniformly in Re(s) ≥ x0 > α. Because of this uniform convergence, and the absolute convergence of L(f ), by Theorem A.12 we can differentiate under the integral sign, that is to say,
∞ ∂ −xt ux
(e cos yt) f (t) dt ∂x 0
∞
(−t e−xt cos yt) f (t) dt, 0


vy


∞

0





∞

∂ (−e−xt sin yt) f (t) dt ∂y (−t e−xt cos yt) f (t) dt,

0

and so ux
vy . In a similar fashion the reader is invited to show that uy
−vx . The continuity of these partial derivatives follows from Theorem A.2 applied to the function g(t)
−t f (t) and taking the real and imaginary parts. Thus, the Cauchy–Riemann conditions are satisfied and F(s)
u(x, y) + iv(x, y) is an analytic function in the domain Re(s) > α, since any such point s will lie to the right of a vertical line at some x0 > α. 2 Remark 3.2. In general, if f ∈ L, then F(s) is analytic in some half-plane, Re(s) > x0 (cf. Doetsch [2], Theorem 6.1). In view of the foregoing discussion, let us verify the following formula proved in Chapter 1 for a real parameter s (Theorem 1.34).

126

3. Complex Variable Theory

Theorem 3.3. If f is piecewise continuous on [0, ∞) of order α and has Laplace transform F(s), then

  dn F(s)
L (−1)n t n f (t) , n
1, 2, 3, . . . (Re(s) > α). n ds Proof. Writing F(s)
u(x, y) + iv(x, y), where u, v are as in the preceding theorem, we have by (3.2) F  (s)
ux + ivx
∞
−xt
(−t e cos yt) f (t) dt + i 0





∞

(t e−xt sin yt) f (t) dt

0

∞

−t(e−xt cos yt − i e−xt sin yt) f (t) dt

0





∞

−t e−st f (t) dt

0

 
L − t f (t) . 2

Repeated application of this procedure gives the formula.

The real and imaginary parts of an analytic function f
u +iv not only satisfy the Cauchy–Riemann equations, but taking the second partial derivatives [which we can do since f (z) has derivatives of all orders; see formula (3.7)], we find that u
uxx + uyy
0,

(3.4)

and likewise for v. Since the second partial derivatives are also continuous, both u and v are harmonic functions, satisfying the Laplace equation (3.4), and  is the Laplace operator. Here v is called the harmonic conjugate of u and vice versa.

Exercises 3.2 1. Show that (a) ez
1 if and only if z
2nπi, n
0, ±1, ±2, . . . (b) ez
−1 if and only if z
(2n + 1)πi, n
0, ±1, ±2, . . ..

Exercises 3.2

127

2. Compute (a) Log(−1)

(b) Log(−ei)



 1+i . (c) Log 1−i 3. We define the principal value of z w by   w log|z |+i arg(z) w wLog z z
e
e . Find the principal value of 1

(b) (−1) π

(a) (i)i (c) (1 + i)(1+i) . 4. Show that d (a) cos z
− sin z dz d cosh z
sinh z (b) dz d tanh z
sech2 z (c) dz 5. Show that

  z 
(n − 12 )πi .

(a) sinh(z ± w)
sinh z cosh w ± cosh z sinh w (b) cosh(z ± w)
cosh z cosh w ± sinh z sinh w. 6. Show that for z
x + iy (a) sinh z
cos y sinh x + i sin y cosh x (b) cosh z
cos y cosh x + i sin y sinh x. 7. Prove that the functions f (z)
z and g(z)
|z | are nowhere analytic. 8. (a) Show that the function u(x, y)
x3 − 3xy2 + xy is harmonic in C . (b) Show that the function v(x, y)
3x2 y − y3 −

x2 y2 + 2 2

128

3. Complex Variable Theory

is harmonic in C and that f
u + iv is analytic in C , where u is given in part (a). 9. If f (z) is analytic, show that ∂2 ∂2 2 | f (z) | + |f (z)|2
4|f  (z)|2 . ∂x2 ∂y2 10. Show that if f
u + iv is an analytic function and v ≡ constant, then f ≡ constant.

3.3

Integration

Integrals of complex-valued functions are calculated over certain types of curves in the complex plane. A parametric representation of a continuous curve C: z(t)
x(t) + iy(t), α ≤ t ≤ β, is smooth if z  (t) is continuous for α ≤ t ≤ β and z  (t) 
0 for α < t < β. A contour C is just a continuous curve that is piecewise smooth, that is, there is a subdivision α
t0 < t1 < · · · < tn
β and z
z(t) is smooth on each subinterval [tk−1 , tk ], k
1, · · · , n. The point z(α) is the initial point, z(β) is the terminal point, and, if z(α)
z(β), C is closed. (See Figure 3.4.) If C does not cross itself, it is called simple. Simple, closed contours (see Figure 3.5) enjoy both properties and form an important class of curves. The positive direction along a simple, closed contour C keeps the interior of C to the left, that is, the curve is traversed counterclockwise. If ∞ is an interior point, however, the positive direction is clockwise, with ∞ on the left.

y z( O

z (
)

)

x FIGURE 3.4

3.3. Integration

y

C

129

(simple closed)

O

x

FIGURE 3.5

The reason for being so particular about the choice of curves is that for a continuous, complex-valued function f (z) defined on a contour C, the (Riemann) integral of f (z) over C can be defined as
β
  f (z) dz
f z(t) z  (t) dt (3.5) α

C

since the right-hand integral exists. This is so because the integrand is piecewise continuous. In view of (3.5), many of the standard rules for integration carry over to the complex setting. One rule in particular is worth singling out:

− f (z) dz
f (z) dz, −C

C

where −C represents the contour C traversed in the opposite direction to that of C. Furthermore, if C1 , C2 , . . . , Cn are disjoint contours, we define



f (z) dz
f (z) dz + f (z) dz + · · · + f (z) dz. C1 +C2 +···+Cn

C1

C2

Cn

If f (z) is continuous on contour C, then we can write 
 
β 
β            f (z) dz 
 ≤ f z(t)  |z  (t)| dt f z(t) z (t) dt     C




α




α

|f (z)| |dz |, C

where







β

|dz |
C

α






|z (t)| dt
α

β



[x (t)]2 + [y (t)]2 dt

130

3. Complex Variable Theory

y r

C a

O

x

FIGURE 3.6


length of C
LC . Thus, if |f (z)| ≤ M on C, 

   f (z) dz  ≤ |f (z)| |dz | ≤ M LC .   C

C

This type of estimate will be useful in the sequel. Example 3.4. Let C: z
a + r eit , 0 ≤ t < 2π (Figure 3.6). Then dz
ir eit dt and

2π dz ir eit dt

2πi. r eit C z−a 0 Note that the function being integrated, f (z)
1/(z − a), is analytic in C − {a}, but not at the point z
a. In what follows, it is advantageous to consider our underlying domain in which we shall be integrating over closed contours, to “not contain any holes,” unlike in the preceding example. To be more precise, we say that a domain D is simply connected if for any two continuous curves in D having the same initial and terminal points, either curve can be deformed in a continuous manner into the other while remaining entirely in D. The notion of a continuous deformation of one curve into another can be made mathematically precise, but that need not concern us here (cf. Ahlfors [1]).

3.3. Integration

131

y

C1 C3

C4

C2 O

x D

hole

FIGURE 3.7

For example, the complex plane C is simply connected, as is any disk, and so is the domain C − {nonnegative real axis}. On the other hand, C − {a} is not simply connected, nor is the annulus A
{z : 1 < |z | < 2}, nor the domain D in Figure 3.7. This brings us to the cornerstone of complex variable theory: Cauchy’s Theorem. Let f (z) be analytic in a simply connected domain D. Then for any closed contour C in D,
f (z) dz
0. C

One important consequence is that for any two points z1 , z2 ∈ D (simply connected) and f (z) analytic,
z2 f (z) dz z1

does not depend on the contour path of integration from z1 to z2 , since the integral from z1 to z2 over contour C1 , followed by the integral from z2 to z1 over another contour C2 , gives by Cauchy’s

132

3. Complex Variable Theory

y

z2 C1 z1

C2

O

x

theorem

FIGURE 3.8


C1 +C2

f (z) dz
0

(Figure 3.8). Consequently,

f (z) dz


−C 2

C1

f (z) dz,

and we say that the integral of f (z) is independent of path. This means that the integral
z2 f (z) dz z1

can be evaluated in the manner of a real integral, that is, the integral has the value g(z2 ) − g(z1 ), where g(z) is any antiderivative of f (z), namely, g  (z)
f (z). Example 3.5. The integral




iπ

−iπ

dz z

can be computed by taking any contour C lying in the left half-plane that connects the points −iπ and iπ (Figure 3.9). Therefore,
iπ iπ dz 
Log z 
Log(iπ) − Log(−iπ) −iπ z −iπ


log |iπ| + i arg(iπ) − log | − iπ| − i arg(−iπ)
−iπ.

3.3. Integration

133

y i

C

O

x

i FIGURE 3.9

Cauchy Integral Formula. Let f (z) be analytic within and on a simple, closed contour C. If z0 is any point interior to C, then
1 f (z) dz , (3.6) f (z0 )
2πi C z − z0 taking the integration along C in the positive direction. The hypothesis means that f (z) is analytic on a slightly larger region containing C and its interior. Furthermore, the nth derivative of f (z) at z
z0 is given by
n! f (z) dz , n
0, 1, 2, . . . . (3.7) f (n) (z0 )
2πi C (z − z0 )n+1 For n
0 we have the Cauchy integral formula. Example 3.6. Evaluate


C

ez dz , z2 + 1

where C : |z |
2 is taken in the positive direction. Taking a partial fraction decomposition and the Cauchy integral formula, we find


ez 1 ez 1 ez
− dz dz dz 2 2i C z − i 2i C z + i C z +1

134

3. Complex Variable Theory




1 1 2πi ei − 2πie−i 2i 2i


π(ei − e−i ). If f (z) is analytic within and on a circle C : |z − z0 |
R, and M
max|z|
R |f (z)|, then from (3.7) we have for n
0, 1, 2, . . .
n! |f (z)| |dz | n! M (n) |f (z0 )| ≤ ≤ · n+1 · 2πR n + 1 2π C |z − z0 | 2π R




Mn! . Rn

The condition |f (n) (z0 )| ≤ Mn!/Rn is known as Cauchy’s inequality. If M bounds all values of |f (z)|, z ∈ C, namely f (z) is bounded, as well as analytic in C, then letting R → ∞ in Cauchy’s inequality with n
1 gives f  (z0 )
0. Since in this case z0 is arbitrary, f  (z)
0 for all z ∈ C, implying f ≡ constant in C by the Cauchy–Riemann equations. We have established the following result. Liouville’s Theorem. Any bounded analytic function in constant.

C is

As an application, suppose that f (z)
u(z) + iv(z) is analytic in C with u(z) > 0, z ∈ C. Then the analytic function F(z)
e−f (z) satisfies |F(z)|
e−u(z) < 1 in C, and Liouville’s theorem implies F(z) ≡ constant. Whence f (z) ≡ constant.

Exercises 3.3 1. Compute the value of the following integrals over the given contour C traversed in the positive direction:
dz (a) , C : |z − 1|
3
C z + 1 (b)

zdz, C

C : |z |
1

Exercises 3.3

135

y i
(c)

zdz,

C:

C

O


1

x

FIGURE E.8

z dz, C : |z + i|
1 2
C z + 1 (e) ez dz, C is the perimeter of the square with vertices at

(d)

C

z

1 + i, z
−1 + i, z
−1 − i, z
1 − i dz (f) , C : |z |
2 4
z +1 (cosh z + z 2 ) dz, C : |z |
2 (g) 2 + 1)
C z(z 2z 4 + 3z 2 + 1 dz, C : |z |
4. (h) (z − πi)3 C 2. Compute the value of the following integrals:
iπ/2
iπ dz (a) zez dz. (b) z iπ/2 −iπ/2 3. Let C be the arc of the circle from z
R to z
−R that lies in the upper half-plane. Without evaluating the integral, show that 
   eimz πR   dz (m > 0).  z 2 + a2  ≤ R2 − a2 C 4. (a) Using the Cauchy integral formula, show that
a−b f (z) dz, f (a) − f (b)
2πi |z|
R (z − a)(z − b) for f (z) analytic in C , |a| < R, |b| < R. (b) Use the result of part (a) to give another proof of Liouville’s theorem.

136

3. Complex Variable Theory

5. Let f (z) be analytic in the disk |z | ≤ 3 and suppose that |f (z)| ≤ 5 for all values of z on the circle |z − 1|
2. Find an upper bound for |f (4) (0)|. 6. Suppose that f (z) is analytic in C and satisfies

|f (z)| ≥

1 , 10

z ∈ C.

Prove that f (z) ≡ constant. 7. Suppose that f (z) is analytic in C and satisfies

|f (z)| ≤ |ez |,

z ∈ C.

Show that f (z)
cez for some constant c.

3.4

Power Series

A power series is an infinite series of the form ∞ 

an (z − z0 )n
a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · · ,

(3.8)

n
0

where z is a complex variable and z0 , a0 , a1 , . . . are fixed complex numbers. Every power series (3.8) has a radius of convergence R, with 0 ≤ R ≤ ∞. If R
0, then the series converges only for z
z0 . When 0 < R < ∞, the series converges absolutely for |z − z0 | < R and uniformly for |z − z0 | ≤ R0 < R. The series diverges for |z − z0 | > R. When R
∞, the series converges for all z ∈ C. The value of R is given by R


lim

n→∞

or by

1 √ n

|an |

  an R
lim  n→∞ a

n +1

whenever this limit exists.

   

3.4. Power Series

137

Example 3.7. (a)

∞ 

n
1. n→∞ n + 1

R
lim

nz n

n
0

(b)

∞ n  z

n!

n
0

(c)

∞ 

(n + 1)!
∞. n→∞ n!

R
lim

n!
0. n→∞ (n + 1)!

R
lim

n!z n

n
0

The circle |z − z0 |
R, when 0 < R < ∞, is called the circle of convergence. Two power series, f (z)


∞ 

an (z − z0 )n ,

g(z)


n
0

∞ 

bn (z − z0 )n ,

n
0

that converge in a common disk |z −z0 | < R can be added, subtracted, multiplied, and divided according to these rules:

• f (z) ± g(z)


∞ 

(an ± bn )(z − z0 )n ,

|z − z0 | < R;

n
0

• f (z) g(z)


∞ 

cn (z − z0 )n ,

|z − z0 | < R,

n
0

where cn


n 

ak bn−k ,

n
0, 1, 2, . . . ;

k
0

•

∞ f (z) 
cn (z − z0 )n , g(z) n
0

|z − z0 | < r ≤ R,

for g(z) 
0 in |z − z0 | < r, and cn satisfies the recursive relation cn


an − c0 bn − c1 bn−1 − · · · − cn−1 b1 b0

  g(z0 )
b0 
0 .

A most significant feature of power series is that: A power series represents an analytic function inside its circle of convergence. Moreover, the converse is true:

138

3. Complex Variable Theory

If f (z) is analytic in a disk |z − z0 | < R, then f (z) has the Taylor series representation f (z)


∞ (n)  f (z0 ) n
0

n!

(z − z0 )n

(3.9)

at each point z in the disk. The coefficients an


f (n) (z0 ) n!

are known as Taylor coefficients. For example, the function f (z)
cosh z has the representation cosh z


∞  z 2n (2n)! n
0

(z0
0),

where an
f (n) (0)/n!
1/n! (n even), an
0 (n odd). Suppose that f (z) is not analytic in a complete disk but only in an annular region A bounded by two concentric circles C1 : |z − z0 |
R1 and C2 : |z − z0 |
R2 , 0 < R1 < R2 (Figure 3.10). We will assume that f (z) is analytic on C1 and C2 as well, hence on a slightly larger

y C2

C1

R2 R1

A

z0 O

x FIGURE 3.10

3.4. Power Series

139

region. Then for each z ∈ A, we have the Laurent series representation ∞ ∞   bn an (z − z0 )n + , (3.10) f (z)
(z − z0 )n n
0 n
1 where an
bn


1 2πi 1 2πi





C2

f (ζ) dζ , (ζ − z0 )n+1

C1

f (ζ) dζ , (ζ − z0 )−n+1

n
0, 1, 2, . . . , n
1, 2, 3, . . . ,

(3.11) (3.12)

and integration over C1 and C2 is in the positive direction. This representation is a generalization of the Taylor series, for if f (z) were analytic within and on C2 , then all the bn s are zero by Cauchy’s theorem since the integrands are analytic within and on C1 . Furthermore, an


f (n) (z0 ) , n!

n
0, 1, 2, . . .

by (3.7). Example 3.8. Let us determine the Laurent series representation of the function 1 f (z)
(z − 1)(z + 2) in the annulus 1 < |z | < 2. First, by partial fractions we have 1 1 1
− . (z − 1)(z + 2) 3(z − 1) 3(z + 2) Since the geometric series ∞ 

βn
1 + β + β2 + · · ·

n
0

converges for |β| < 1 to the value 1/(1 − β), and as we have in fact, |1/z | < 1 and |z/2| < 1, it follows that ∞ 1 1 1 1 
 ,
1 z−1 z n
0 z n z 1− z

140

3. Complex Variable Theory

∞ n 1 1 1 nz 
 ( − 1) .
z+2 2 n
0 2n 2 1 + 2z

Hence ∞ ∞ 1 1 1 1 (−1)n z n
− , (z − 1)(z + 2) 3 n
0 z n +1 3 n
0 2n+1

1 < |z | < 2.

This is the form of a Laurent series representation, and since the Laurent expansion is unique, we are done. Singularities. A singularity (singular point) z0 of a function f (z) is a point at which f (z) is not analytic, but any open disk about z0 , |z − z0 | < R, contains some point at which f (z) is analytic. We say that z0 is an isolated singularity (isolated singular point) if f (z) is not analytic at z0 but is analytic in a punctured disk, 0 < |z − z0 | < R, of z0 . For example, f (z)


1 (z − 1)2 (z + 2)

has isolated singularities at z
1, z
−2. On the other hand, g(z)


1   sin 1z

has isolated singularities at zn
1/nπ, n
±1, ±2, . . . . The origin is also a singularity of g(z) but not an isolated one since no punctured disk about z
0 is free of singular points. In this text we are concerned only with isolated singularities, of which there are three types. If z0 is an isolated singularity of f (z), then we have the Laurent series representation (3.10) f (z)


∞  n
1

∞  bn + an (z − z0 )n (z − z0 )n n
0

valid in some punctured disk 0 < |z − z0 | < R. (i) If bn
0 for all n, then for z 
z0 (3.13) becomes f (z)


∞  n
0

an (z − z0 )n .

(3.13)

3.4. Power Series

141

Setting f (z0 )
a0 makes f (z) analytic at z0 , and z0 is termed a removable singularity. For example, the function f (z)
sin z/z


∞ 

(−1)n z 2n /(2n + 1)!

(z 
0)

n
0

has a removable singularity at z
0 if we set f (0)
1. (ii) If all but finitely many bn s are zero, say bn
0 for all n > m ≥ 1 and bm 
0, then ∞  b1 b2 bm + + · · · + + an (z − z0 )n . z − z0 (z − z0 )2 (z − z0 )m n
0 (3.14) In this case, we say that z0 is a pole of order m of f (z). If m
1, then z0 is a simple pole of f (z). As an illustration,

f (z)


f (z)


ez 1 1 1 1
3+ 2+ + + ··· 3 z z z 2!z 3!

(|z | > 0)

has a pole of order 3 at z
0. From the Laurent representation (3.13), it is readily deduced that f (z) has a pole of order m at z0 if and only if f (z)


h(z) , (z − z0 )m

where h(z) is analytic at z0 , h(z0 ) 
0. Thus, the function f (z)


z2

1 1
+1 (z − i)(z + i)

is seen to have simple poles at z
±i. A function that is analytic except for having poles is called meromorphic. (iii) If an infinite number of bn s are not zero in (3.13), then z0 is an essential singularity of f (z).

142

3. Complex Variable Theory

The function 1 1 1 1 + + + ··· + + ··· 2 3 z 2!z 3!z n!z n has an essential singularity at z
0. 1

f (z)
e z
1 +

(|z | > 0)

Residues. For a function f (z) with an isolated singularity at z0 and Laurent series representation f (z)


∞  n
1

∞  bn + an (z − z0 )n (z − z0 )n n
0

in 0 < |z − z0 | < R, the coefficient b1 , according to (3.12), is given by
1 f (ζ) dζ b1
2πi C for C : |z − z0 |
r < R. This coefficient is very special because of its integral representation and is termed the residue of f (z) at z0 , abbreviated by Res(z0 ). In the event f (z) has a pole of order m at z0 , the algorithm Res(z0 )
b1


1 d m −1 lim m−1 [(z − z0 )m f (z)] (m − 1)! z→z0 dz

(3.15)

permits the easy determination of the residue. When z0 is a simple pole (i.e., m
1), we have Res(z0 )
lim (z − z0 ) f (z).

(3.16)

z →z0

This latter case can often be treated as follows. Suppose that f (z)


p(z) , q(z)

where p(z) and q(z) are analytic at z0 , p(z0 ) 
0, and q(z) has a simple zero at z0 , whence f (z) has a simple pole at z0 . Then q(z)
(z − z0 ) Q (z), Q (z0 ) 
0, and q (z0 )
Q (z0 ), implying Res(z0 )
lim (z − z0 ) z →z0




p(z0 ) . q (z0 )

p(z)
lim q(z) z→z0

p(z) q(z)−q(z0 ) z −z 0

(3.17)

3.4. Power Series

143

On the other hand, if q(z0 )
0 and q (z0 ) 
0, then q(z)
q (z0 )(z − z0 ) +

q (z0 ) (z − z0 )2 + · · · 2!


(z − z0 ) Q (z), where Q (z0 )
q (z0 ) 
0. That is, we have shown that z0 is a simple zero of q(z), hence a simple pole of f (z). Example 3.9. The function 2

e(z ) f (z)
(z − i)3 has a pole of order 3 at z
i. Therefore, 1 d2 1 d2 2 lim 2 [(z − i)3 f (z)]
lim 2 e(z ) z → i z → i 2! dz 2 dz 1 2 2
lim[2z 2 e(z ) + e(z ) ]
− . z →i e Example 3.10. For Res(i)


f (z)


eaz 2eaz p(z)
z
, − z sinh z e −e q(z)

the poles of f (z) are the zeros of sinh z, that is, where ez
e−z , and so e2z
1, implying z
zn
nπi, n
0, ±1, ±2, . . .. Since p(zn ) 
0 and q (zn )
enπi + e−nπi
(−1)n · 2 
0, the poles zn of f (z) are simple. Thus, Res(zn )


p(zn )
(−1)n eanπi , q (zn )

n
0, ±1, ±2, . . . .

The reason for computing residues is the following: Cauchy Residue Theorem. Let f (z) be analytic within and on a simple, closed contour C except at finitely many points z1 , z2 , . . . , zn lying in the interior of C (Figure 3.11). Then
n  f (z) dz
2πi Res(zi ), C

i
1

where the integral is taken in the positive direction.

144

3. Complex Variable Theory

y C

z2

z1

zn O

x FIGURE 3.11

Example 3.11. Evaluate


C

eaz dz cosh z

for C : |z |
2 in the positive direction. Write eaz p(z) f (z)

. cosh z q(z) Then cosh z
(ez + e−z )/2
0 when ez
−e−z (i.e., e2z
−1), so that   z
zn
n − 12 πi, n
0, ±1, ±2, . . . . Now, p(zn ) 
0 with e(n− 2 )πi − e−(n− 2 )πi q (zn )

(−1)n+1 i 
0, 2 so that all the poles zn of f (z) are simple. Furthermore, only z1
(π/2)i and z0
(−π/2)i lie interior to C. Hence, 1

1



π

p(z1 ) ea 2 i Res(z1 )

, q (z1 ) i p(z0 ) e −a 2 i Res(z0 )

. q (z0 ) −i π

Therefore,


C

 π π eaz dz
2π ea 2 i − e−a 2 i cosh z  aπ  .
4πi sin 2

Exercises 3.4

145

Exercises 3.4 1. Determine the radius of convergence of the following series: (a)

∞  (−1)n z n

n2 + 1

n
0

(c)

(b)

n
0

∞  n(z − i)n

(d)

n+1

n
1

∞ 

3n z n (2n + 1)!

∞  (−1)n z n n
0

22n (n!)2

.

2. Compute the Taylor series about z0
0 for the following functions and determine the radius of convergence: (a) e(z (c)

2

)

(b) sinh z

1 1−z

(d) log(1 + z).

3. Let f (z) be analytic in C with Taylor series f (z)


∞ 

an z n .

n
0

If |f (z)| ≤ M(r) on |z |
r, show that

|an | ≤

M(r) , rn

n
0, 1, 2, . . . .

(Note: This is another version of Cauchy’s inequality.) 4. Determine the nature of the singularities of the following functions: 1 (a) 2 z(z + 1)2 (c) sin

1 z

2

e(z ) (b) 3 z (d)

1 + cos πz . 1−z

5. Write down the first three terms of the (Taylor/Laurent) series representation for each function: (a)

z sin z

(b)

1 z sinh z

146

3. Complex Variable Theory

√ sinh z (c) √ √ . z cosh z 6. Find the Laurent series expansion (in powers of z) of f (z)


1 z(z + 1)(z − 3)

in the, regions: (a) 0 < |z | < 1

(b) 1 < |z | < 3

(c) |z | > 3. 7. Find all the poles of the following functions and compute their residues: z 1 (b) (a) 2 2 z +a z(1 + eaz ) sin z . z3 8. Evaluate the following integrals over the contour C taken in the positive direction:
1 − ez (a) dz, C : |z |
1 2
C z cos z (b) dz, C : |z |
2 2
C z + 1 (c)

(c)


C

cot z dz,

C : |z |
4

1+e dz, C : |z |
1 z
C 1 − e dz , C : |z |
3. (e) 2 (z + 2)(z − 1) z C z

(d)

9. Evaluate the integral
C

eiπz , 2z 2 − 5z − 3

C : |z |
2

(taken in the positive direction) by using the (i) Cauchy integral formula (ii) method of residues.

3.5. Integrals of the Type

3.5

Integrals of the Type

∞ −∞

f (x) dx

147

∞ −∞ f (x) dx

Much of the complex variable theory presented thus far has been to enable us to evaluate real integrals of the form
∞ f (x) dx. −∞

To this end, we transform the problem to a contour integral of the form
f (z) dz, R

where R is the contour consisting of the segment [−R, R] of the real axis together with the semicircle CR : z
R eiθ , 0 ≤ θ ≤ π (Figure 3.12). Suppose that f (z) is analytic in the complex place C except at finitely many poles, and designate by z1 , z2 , . . . , zn the poles of f (z) lying in the upper half-plane. By choosing R sufficiently large, z1 , z2 , . . . , zn will all lie in the interior of R . Then by the Cauchy residue theorem,
n  Res(zi )
f (z) dz 2πi i
1

R





If we can demonstrate that

−R

y

R

f (x) dx +

f (z) dz. CR

f (z) dz
0, CR

z = Rei

CR z2

zn







lim

R→∞

R

R z1

O

R x

FIGURE 3.12

148

3. Complex Variable Theory

then we can deduce that the solution to our problem is given by
∞
R n  f (x) dx
lim f (x) dx
2πi Res(zi ). (3.18) R→∞

−∞

−R

i
1

Example 3.12. Evaluate
∞ −∞

dx , (x2 + a2 )(x2 + b2 )

b > a > 0.

Let f (z)


1 (z 2

and consider

+

a2 )(z 2

+ b2 )

,


f (z) dz, R

where R is the contour in Figure 3.12. For R sufficiently large, the simple poles of f (z) at the points ai and bi will be interior to R . Then by (3.16) Res(ai)
lim

z →ai




z − ai (z − ai)(z + ai)(z 2 + b2 )

1 , (2ai)(b2 − a2 ) z − bi z →bi (z 2 + a2 )(z − bi)(z + bi)

Res(bi)
lim


and

(a2

1 , − b2 )(2bi)

  2πi Res(ai) + Res(bi)


π . ab(a + b)

Moreover, on CR , z
R eiθ , |dz |
|iR eiθ dθ |
Rdθ, with |z 2 + a2 | ≥ |z | − |a|2
R2 − a2 , |z 2 + b2 | ≥ R2 − b2 , and so 

  dz |dz |  ≤   2 2 2 2 2 2 |z + a | |z 2 + b2 | CR (z + a )(z + b ) 2

Exercises 3.5




π

≤ 0




(R2

Rdθ − a2 )(R2 − b2 ) πR

(R2

−

149

a2 )(R2

− b2 )

→0

as R → 0. Consequently, by the Cauchy residue theorem,
R
dx dz π
+ , 2 2 2 2 2 2 2 2 ab(a + b) −R (x + a )(x + b ) CR (z + a )(z + b ) and letting R → ∞,
∞ −∞

dx (x2

+

a2 )(x2

+

b2 )




π . ab(a + b)

This example illustrates all the salient details, which will be exploited further in the next chapter.

Exercises 3.5 Use the methods of this section to verify the following integrals.
∞ dx 2π
√ . 1. 2 x +x+1 3√
−∞ ∞ dx π 3
2. . x4 + x2 + 1 √ 6
0 ∞ 2 x dx π 2
. 3. 4 4
0 ∞ 1 + x dx 5π
. 4. 2 2 2 (x + 1)(x + 4) 288 0
∞ cos x πe−a 5. dx
. x2 + a 2 2a 0 [Hint: For this type of problem, consider the function f (z)


eiz , z 2 + a2

150

3. Complex Variable Theory

and observe that on the x-axis   eix cos x Ref (z)
Re 2 .
2 x + a2 x + a2 Now
∞ proceed as before.] x sin mx π dx
e−am , a > 0. 6. 2 2 x +a 2 0 [Hint: Consider the function f (z)


zeimz , z 2 + a2

so that on the x-axis,

I mf (z)


x sin mx . x2 + a 2

Also, you will need the inequality sin θ ≥ 2θ/π, for 0 ≤ θ ≤ π/2.]
∞ π dx n  π  , n ≥ 2.
7. n +1 x sin 0  n  [Hint: Consider C dz/(z n + 1) where C is the contour in Figure E.9.]

y

O

Re2

R

i=n

x

FIGURE E.9

4

C H A P T E R

... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Complex Inversion Formula

The complex inversion formula is a very powerful technique   for computing the inverse of a Laplace transform, f (t)
L−1 F(s) . The technique is based on the methods of contour integration discussed in Chapter 3 and requires that we consider our parameter s to be a complex variable. For a continuous function f possessing a Laplace transform, let us extend f to (−∞, ∞) by taking f (t)
0 for t < 0. Then for s
x + iy,


∞   L f (t)
F(s)
e−st f (t) dt 0
∞  
e−iyt e−xt f (t) dt −∞


F(x, y). In this form F(x, y) represents the Fourier transform of the function g(t)
e−xt f (t). The Fourier transform is one of the most useful tools in mathematical analysis; its principal virtue is that it is readily inverted. Towards this end, we assume that f is continuous on [0, ∞), f (t)
0 for t < 0, f has exponential order α,and f  is piecewise continuous on [0, ∞). Then by Theorem 1.11, L f (t) converges absolutely for

151

152

4. Complex Inversion Formula

Re(s)
x > α, that is,

∞ −st |e f (t)| dt
0

∞ −∞

e−xt |f (t)| dt < ∞,

x > α.

(4.1)

This condition means that g(t)
e−xt f (t) is absolutely integrable, and we may thus invoke the Fourier inversion theorem (Theorem A.14), which asserts that g(t) is given by the integral
∞ 1 eiyt F(x, y) dy, t > 0. g(t)
2π −∞ This leads to the representation for f ,
∞ 1 ext eiyt F(x, y) dy, f (t)
2π −∞

t > 0.

(4.2)

Transforming (4.2) back to the variable s
x + iy, since x > α is fixed, we have dy
(1/i) ds and so f is given by
x +i ∞
x+iy 1 1 ts f (t)
e F(s) ds
lim ets F(s) ds. (4.3) y→∞ 2πi x−iy 2πi x−i∞ Here the integration is to be performed along a vertical line at x > α (Figure 4.1). The expression (4.3) is known as the complex (or Fourier–Mellin) inversion formula, and the vertical line at x is known as the Bromwich line. In order to calculate the integral in (4.3) and so determine the inverse of the Laplace transform F(s), we employ the standard methods of contour integration discussed in Chapter 3. To wit, take a semicircle CR of radius R and center at the origin. Then for s on the Bromwich contour R
ABCDEA of Figure 4.2,


1 1 1 ts ts e F(s) ds
e F(s) ds + ets F(s) ds. (4.4) 2πi R 2πi CR 2πi EA

O

x

FIGURE 4.1

4. Complex Inversion Formula

153

B CR

R

A(x + iy)
1

C

O

x
2 E (x iy)

D FIGURE 4.2

Since F(s) is analytic for Re(s)
x > α, all the singularities of F(s), such as they are, must lie to the left of the Bromwich line. For a preliminary investigation, let us assume that F(s) is analytic in Re(s) < α except for having finitely many poles z1 , z2 , . . . , zn there. This is typical of the situation when, say F(s)


P(s) , Q (s)

where P(s) and Q (s) are polynomials. By taking R sufficiently large, we can guarantee that all the poles of F(s) lie inside the contour R . Then by the Cauchy residue theorem,
n  1 ets F(s) ds
Res(zk ), (4.5) 2πi R k
1 where Res(zk ) is the residue of the function ets F(s) at the pole s
zk . Note that multiplying F(s) by ets does not in any way affect the status of the poles zk of F(s) since ets 
0. Therefore, by (4.4) and (4.5),
x+iy
n  1 1 ts Res(zk )
e F(s) ds + ets F(s) ds. (4.6) 2πi 2πi x−iy CR k
1

154

4. Complex Inversion Formula

In what follows, we prove that when
ets F(s) ds
0, lim R→∞

CR

and then by letting R → ∞ in (4.6), we obtain our desired conclusion:
x+iy n  1 f (t)
lim ets F(s) ds
Res(zk ). (4.7) y→∞ 2πi x−iy k
1 This formula permits the easy determination of the inverse function f . Let us then attend to the contour integral estimation.



ets F(s) ds →  as R → ∞. An examination of the table of Laplace transforms (pp. 210–218) shows that most satisfy the growth restriction M |F(s)| ≤ p , (4.8) |s | CR

for all sufficiently large values of |s|, and some p > 0. For example, consider s F(s)
2
L−1 (cosh at). s − a2 Then

|F(s)| ≤

|s2

|s | |s | , ≤ 2 2 −a | |s| − |a|2

and for |s| ≥ 2|a|, we have |a|2 ≤ |s|2 /4, so that |s|2 − |a|2 ≥ 3|s|2 /4, giving

|F(s)| ≤

4/3 |s|

(|s| ≥ 2|a|).

Observe that under the condition (4.8), F(s) → 0 as |s| → ∞. Consider again the contour R as given in Figure 4.2. Any point s on the semicircle CR is given by s
R eiθ , θ1 ≤ θ ≤ θ2 . Thus, ds
iR eiθ dθ and |ds|
Rdθ. Lemma 4.1. For s on CR , suppose that F(s) satisfies

|F(s)| ≤

M , |s |p

some p > 0, all R > R0 .

4. Complex Inversion Formula

Then

155


ets F(s) ds
0

lim

R→∞

(t > 0).

CR

Proof. For points s
R eiθ on CR , |ets |
etR cos θ . Therefore, for R sufficiently large so that all the poles of F(s) are interior to R , F(s) will be continuous on CR with |F(s)| ≤ M/Rp for all large R. Hence on the circular arc BCD, 

  st  ≤ e F(s) ds |ets | |F(s)| |ds|   BCD

BCD

≤

M R p −1




3π 2

eRt cos θ dθ.

(4.9)

π 2

At this stage substitute θ
ϕ + (π/2), which results in 

π   st  ≤ M e F(s) ds e−Rt sin ϕ dϕ   R p −1 0 BCD
π 2 2M
p −1 e−Rt sin ϕ dϕ, R 0

(4.10)

the latter equality being a consequence of sin ϕ’s being symmetric about ϕ
π/2, for 0 ≤ ϕ ≤ π. In order to obtain a bound for the last integral, consider the graph of y
sin ϕ, 0 ≤ ϕ ≤ π/2 (Figure 4.3). The line from the origin to the point (π/2, 1) has slope m
2/π < 1, and thus the line y
(2/π)ϕ lies under the curve y
sin ϕ, that is, sin ϕ ≥

y

O

0 ≤ ϕ ≤ π2 .

ϕ,




( 2 1)

y = sin ' y=

2 π

2'

'

FIGURE 4.3

156

4. Complex Inversion Formula

Consequently, (4.10) yields 

π   2 2Rtϕ 2M ts   e F(s) ds ≤ p−1 e− π dϕ  R BCD 0 2M π  − 2Rtϕ π2
p −1 e π 0 R −2Rt Mπ
p (1 − e−Rt ) R t →0 as R → ∞. Over the arc AB, we have |ets | ≤ etx
c for fixed t > 0, and the length of AB, (AB), remains bounded as R → ∞, so that 
  cM(AB)  ts  e F(s) ds ≤ →0  Rp AB as R → ∞. Here we have taken x to be the value through which the Bromwich line passes, as in Figure 4.2. Likewise, 
   ts  →0 e F(s) ds as R → ∞.   DE

As a consequence, we have our desired conclusion:
ets F(s) ds
0. lim R→∞

2

CR

Remarks 4.2. i. We could have replaced the growth condition (4.8) with

|F(s)| ≤ εR , where εR → 0 as R → ∞, uniformly for s on CR . For example, log s s does satisfy this latter condition but not (4.8). ii. If cR is any subarc of CR , say given by π/2 ≤ θ1 ≤ θ ≤ θ2 ≤ 3π/2, then
3π
θ2 2 eRt cos θ dθ ≤ eRt cos θ dθ F(s)


θ1

π 2

4. Complex Inversion Formula

157

as the integrand is positive. Since the right-hand integral features in (4.9) and is ultimately bounded above by a quantity that tends to zero as R → 0, we deduce that
ets F(s) ds
0. lim R→∞

cR

iii. Sometimes it is advantageous to use parabolas or other contours instead of semicircles (see Example 4.9). Summarizing the result claimed in (4.7): Theorem 4.3. Suppose that f is continuous and f  piecewise continu  ous on [0, ∞), with f of exponential order α on [0, ∞). If F(s)
L f (t) , for Re(s)
x > α, also satisfies the growth condition

|F(s)| ≤

M , |s|p

p > 0,

  for all |s| sufficiently large and some p or condition (i) above , and if F(s) is analytic in C except for finitely many poles at z1 , z2 , . . . , zn , then
x +i ∞ n  1 f (t)
ets F(s) ds
Res(zk ), (4.11) 2πi x−i∞ k
1 where Res(zk ) is the residue of the function ets F(s) at s
zk . In view of the properties of the inverse Fourier transform (Theorem A.14), we have the next result. Corollary 4.4. If f is only piecewise continuous on [0, ∞), then the value returned by the complex inversion formula (4.11) is f (t + ) + f (t − ) 2 at any jump discontinuity t > 0. Remark. The preceding theorem and corollary can be shown to hold under less restrictive conditions on f√(see Doetsch [2], Theorem 24.4), so that functions such as f (t)
1/ t are not excluded by the inversion process. Essentially, the Laplace transform of f should converge absolutely and f should be of “bounded variation” in a neighborhood of the point t > 0 in question.

158

4. Complex Inversion Formula

Example 4.5. F(s)


1 . s(s − a)

Then F(s) has a simple pole at s
0 and s
a, and |F(s)| ≤ M/|s|2 for all |s| sufficiently large, say |F(s)| ≤ 2/|s|2 if |s| ≥ 2|a|. Moreover, Res(0)
lim s ets F(s) s →0


lim s →0

ets 1
− , s−a a

Res(a)
lim(s − a) ets F(s) s→a


lim s→a

ets eat
. s a

Whence f (t)


1 at (e − 1). a

Of course, F(s) could have been inverted in this case using partial fractions or a convolution. Example 4.6. F(s)


s(s2

1 1
. 2 2 +a ) s(s − ai)2 (s + ai)2

Then F(s) has a simple pole at s
0 and a pole of order 2 at s
±ai. Clearly, |F(s)| ≤ M/|s|5 for all |s| suitably large. Res(0)
lim s ets F(s)
lim s →0

s →0

ets 1
4. 2 2 2 (s + a ) a

 d (s − ai)2 ets F(s) s→ai ds   d ets
lim s→ai ds s(s + ai)2

Res(ai)
lim




it iat eiat e − . 4a3 2a4

4. Complex Inversion Formula

159

 d (s + ai)2 ets F(s) s→−ai ds   d ets
lim s→−ai ds s(s − ai)2

Res(−ai)
lim




e−iat −it e−iat − . 4a3 2a4

Therefore, 1 it + 3 (eiat − e−iat ) a4 4a 1 − 4 (eiat + e−iat ) 2a  1  a
4 1 − t sin at − cos at a 2
f (t).

Res(0) + Res(ai) + Res(−ai)


Example 4.7. F(s)


P(s) , Q (s)

where P(s) and Q (s) are polynomials (having no common roots) of degree n and m, respectively, m > n, and Q (s) has simple roots at z1 , z2 , . . . , zm . Then F(s) has a simple pole at each s
zk , and writing F(s)


an sn + an−1 sn−1 + · · · + a0 bm sm + bm−1 sm−1 + · · · + b0

an + ans−1 + · · · + asn0 
sm−n bm + bms−1 + · · · +

b0 sm

(an , bm 
0)

,

it is enough to observe that for |s| suitably large,  an − 1 a0   + · · · + n  ≤ |an | + |an−1 | + · · · + |a0 |
c1 , an + s s     bm + bm−1 + · · · + b0  ≥ |bm | − |bm−1 | − · · · − |b0 | ≥ |bm |
c2 ,  m s s  |s| |s|m 2 and thus

|F(s)| ≤

c1 /c2 . |s |m − n

160

4. Complex Inversion Formula

Hence by (3.17), Res(zk )


ezk t P(zk ) , Q  (zk )

k
1, 2, . . . , m,

and f (t)


m  P(zk ) zk t e . Q  (zk ) k
1

This is equivalent to the formulation given by (1.20). Infinitely !∞ Many Poles. Suppose that F(s) has infinitely many poles at zk k
1 all to the left of the line Re(s)
x0 > 0, and that

|z1 | ≤ |z2 | ≤ · · · , where |zk | → ∞ as k → ∞. Choose a sequence of contours n
Cn ∪ [x0 − iyn , x0 + iyn ] enclosing the first n poles z1 , z2 , . . . , zn as in Figure 4.4. Then by the Cauchy residue theorem,
n  1 ets F(s) ds
Res(zk ), 2πi n k
1 where as before, Res(zk ) is the residue of ets F(s) at the pole s
zk . Hence
x0 +iyn
n  1 1 ts Res(zk )
e F(s) ds + ets F(s) ds. 2πi 2πi x − iy C 0 n n k
1

y

x0 + iyn

Cn z2 zn

O

z1 x0

x

x0 iyn

FIGURE 4.4

4. Complex Inversion Formula

Once again, if it can be demonstrated that
ets F(s) ds
0, lim n→∞

161

(4.12)

Cn

whereby |yn | → ∞, then we achieve the representation 1 f (t)
2πi




x0 +i∞

x 0 −i ∞

ets F(s) ds


∞ 

Res(zk ).

(4.13)

k
1

Example 4.8. Find −1



L

 1 , s(1 + eas )

a > 0.

The function F(s)


1 s(1 + eas )

has a simple pole at s
0. Moreover, 1 + eas
0 gives eas
−1
e(2n−1)πi ,

n
0, ±1, ±2, . . . ,

implying that sn


 2n−1  πi, a

n
0, ±1, ±2, . . . ,

are poles of F(s). For G(s)
1 + eas , G  (sn )
−a 
0, which means that the poles sn are simple. Furthermore, Res(0)
lim s ets F(s)
s→0

Res(sn )


etsn

  [s(1 + eas )] 


−

1 , 2

2n−1 a


s
s n

et( )πi . (2n − 1) πi

etsn a sn easn

162

4. Complex Inversion Formula

y

s plane

Cn

plane

2n i

Rn

O

x0

x

O

1

2n i

2

1

FIGURE 4.5

Consequently, ∞  2n−1 1 1 sum of residues
− et( a )πi 2 n
−∞ (2n − 1)πi ∞   1 2  1
− sin 2na−1 πt. 2 π n
1 (2n − 1)

(4.14)

Finally, let Cn be the semicircle given by s
Rn eiθ , with Rn
2nπ/a. To make the subsequent reasoning simpler, let us take a
1. Then the circles Cn cross the y-axis at the points s
±2nπi. (See Figure 4.5.) We wish to consider what happens to the points s on Cn under the mapping H(s)
1 + es . (i) In the region 0 < x ≤ x0 and s on Cn , the image points ζ
H(s)
1 + ex eiy all lie to the right and slightly below the point ζ
2, for y sufficiently close to 2nπ, that is, for n sufficiently large. (Notice that as n increases, the circles Cn flatten out so that y
I m(s) approaches 2nπ from below.) Hence

|1 + es | ≥ 2 for 0 ≤ x ≤ x0 . (ii) For s on Cn with Re(s)
x < 0, the values of the function H(s)
1 + ex eiy lie inside the circle |ζ − 1|
1. As the value of y
I m(s) goes from 2nπ down to (2n − 1)π, the images

4. Complex Inversion Formula

163

spiral half a revolution with modulus

|1 + es | ≥ 1 + e2nπ cos ϕ cos(2nπ sin ϕ) > b > 0, for x
2nπ cos ϕ, y
2nπ sin ϕ. As y
I m(s) goes from (2n − 1)π down to (2n − 2)π, the images H(s) spiral away from the origin half a revolution. For y < 0, it is the same story but spiraling outward. Summarizing, the preceding shows that

|H(s)|
|1 + es | ≥ c > 0 for some c, for all s on Cn , and likewise for |1 + eas |. Consequently,

|F(s)| ≤

c −1 , |s|

s on Cn , n sufficiently large. It follows that
ets F(s) ds
0 lim n→∞

Cn

in view of Lemma 4.1. The key here is that the contours Cn should straddle the poles. We conclude that     ∞ 1 1 2  1 2n − 1 −1 f (t)
L πt, sin
− s(1 + eas ) 2 π n
1 (2n − 1) a as given by (4.14), at the points of continuity of f . Remark. It should be observed that (4.14) is the Fourier series representation of the periodic square-wave function considered in Example 2.5. There we deduced that this function had Laplace transform F(s)
1/s(1 + eas ). Note also that at the points of discontinuity, t
na, the series (4.14) gives the value 1/2 (Figure 4.6). Other useful inverses done in a similar fashion are (0 < x < a) √   ∞ sinh x s x 2 (−1)n −n2 π2 t/a2 nπx −1 L sin e , (4.15) √
+ a π n
1 n a s sinh a s √     ∞ cosh x s 4 (−1)n −(2n−1)2 π2 t/4a2 2n − 1 −1 L cos πx. e √
1+ π n
1 2n − 1 2a s cosh a s (4.16)

164

4. Complex Inversion Formula

f (t) 1

1 2

O

a

2

a

3

a

4

a t

FIGURE 4.6

In the following example it is more appropriate to use parabolas instead of semicircles for the contours. Example 4.9. √ √ √ coth s e s + e− s √ .
√ √ F(s)
√ s s(e s − e− s )

Setting e

√

s

√

− e−

s


0

leads to e2

√

s


1,

implying

√ 2 s
2nπi,

n
±1, ±2, . . . ,

and so sn
−n2 π2 ,

n
1, 2, 3, . . . √  are simple poles of F(s) since (e s − e− s ) s
s
(−1)n /nπi 
0. n When n
0, F(s) also has a simple pole at s0
0 because √ √     √ √ 1 + s + 2!s + · · · + 1 − s + 2!s − · · · e s + e− s    √
√  √ √ √ √s s 1 + s + 2!s + · · · − 1 − s + 2!s − · · · s(e − e− s ) √

4. Complex Inversion Formula

165

y

Pn s 2 (n + 1) 2

n2

2

O

x0

x

FIGURE 4.7





1+ s+

s 2! s2 3!

+ ··· + ···

1 1 + + positive powers of s terms. s 3

Let us consider the curve Pn in Figure 4.7 given by that part of the parabola   2  s
τ + i n + 12 π  2    
τ 2 − n + 12 π2 + i2τ n + 12 π


x + iy, for x
Re(s) < x0 (x0 > 0) and τ a real parameter. Note that when τ
0, 2  x
− n + 12 π2 , y
0. The advantage in taking this particular curve is that for s on Pn , 1 1 √ eτ +i(n+ 2 )π + e−τ −i(n+ 2 )π coth s
1 1 eτ +i(n+ 2 )π − e−τ −i(n+ 2 )π




e τ − e −τ
tanh τ. e τ + e −τ

Hence,

| tanh τ |    |F(s)|
 τ + i n + 1 π  2

166

4. Complex Inversion Formula

≤

1  n + 12 π


εn → 0 as n → ∞ (uniformly) for s on Pn . By Exercises 4, Question 4, we conclude that
ets F(s) ds
0 (t > 0). lim n→∞

Pn

Regarding the residues, we have Res(0)
1,

√ coth s Res(−n π )
lim (s + n π )e √ s→−n2 π2 s 2 2

2 2





lim

ets s + n2 π 2 √ · lim2 2 √ s s→−n π tanh s

lim

ets √ · lim2 2 s s→−n π

s→−n2 π2

s→−n2 π2


2e−n Finally,

ts

2 2

π t

1 √

2 s

1 √ sech2 s

.

  f (t)
L−1 F(s) ∞ 
Res(−n2 π2 ) n
0


1+2

∞ 

e −n

2 2

π t

(t > 0).

n
1

What facilitated the preceding calculation of the inverse transform was the judicious choice of the parabolas Pn . Herein lies the difficulty in determining the inverse of a meromorphic function F(s) that has infinitely many poles. The curves Cn must straddle the poles, yet one must be able to demonstrate that F(s) → 0 (uniformly) for s on Cn as n → ∞. This task can be exceedingly difficult and may sometimes be impossible. It is tempting for practitioners of this technique, when F(s) has infinitely many poles, not to ver-

4. Complex Inversion Formula

167

ify (4.12) for suitable Cn . This leaves open the possibility that the resulting “inverse” function, f (t), is incorrect. Remark 4.10. There are many other variations where F(s) involves the quotient of hyperbolic sines and hyperbolic cosines. See Doetsch [2], 174–176, for further machinations involved with showing  pp. ts e F(s) ds → 0 as n → ∞ via Lemma 4.1. Notwithstanding our Cn  preceding caveat, we will assume in Chapter 5 that Cn ets F(s) ds → 0 as n → ∞ where required. Branch Point. Consider the function 1 F(s)
√ , s which has a branch point at s
0. Although the inverse Laplace transform of F(s) has already been considered in (2.5), it is instructive to apply the methods of the complex inversion formula in this case. Consider the contour CR
ABCDEFA, where AB and EF are arcs of a circle of radius R centered at O and CD is an arc γr of a circle of radius r also with center O (Figure 4.8).

CR

R

A(x0 + iy)

r

B

C

E

D

O

r

x0 F (x0 iy)

FIGURE 4.8

168

4. Complex Inversion Formula

√ For w
s we take a branch cut along the nonpositive real axis with −π < θ < π and consider a (single-valued) analytic branch √ of w. Then F(s)
1/ s is analytic within and on CR so that by Cauchy’s theorem
ets √ ds
0. s CR Whence



ets 1 ets 1 ets √ ds + √ ds + √ ds 2πi AB s 2πi BC s s x0 −iy


1 ets 1 ets 1 ets + √ ds + √ ds + √ ds. (4.17) 2πi γr s 2πi DE s 2πi EF s

1 0
2πi




x0 +iy

For s
R eiθ lying on the two arcs AB and EF, we have

|F(s)|


1 1

|s| 2

,

so that by Remark 4.2, part (ii), coupled with the argument used in the proof of Lemma 4.1 to treat the portions of these arcs from A to x
0 and from x
0 to F, we conclude that

ets ets lim √ ds
lim √ ds
0. R→∞ AB R→∞ EF s s For s
r eiθ on γr , 

−π tr cos θ  ets  e  √ rdθ ds ≤ 1  s r2 π γr
−π 1 2
r etr cos θ dθ → 0 π

as r → 0 since the integrand is bounded. Finally, we need to consider the integrals along BC and DE. The values of these integrals converge to the values of the corresponding integrals when BC and DE are the upper and lower edges, respectively, of the cut along the negative x-axis. So it suffices to compute √ √ √ the latter. For s on BC, s
x eiπ , s
x eiπ/2
i x, and when s

4. Complex Inversion Formula

goes from −R to −r, x goes from R to r. Hence
−r ts
r −tx
ets e e √ ds
√ ds
− √ dx s s BC −R R i x
1 R e−tx
√ dx. i r x √ √ √ iπ Along DE, s
x e−iπ , s
x e− 2
−i x, and
−R ts

R −tx ets e e √ ds
√ ds
− √ dx s s r −i x DE −r
1 R e−tx
√ dx. i r x

169

(4.18)

(4.19)

Combining (4.18) and (4.19) after multiplying each by 1/2πi gives


ets 1 ets 1 R e−tx 1 √ ds + √ ds
− √ dx. 2πi BC s 2πi DE s π r x Letting R → ∞ and r → 0 in (4.17) yields
x0 +i∞ ts
1 e 1 ∞ e−tx 0
√ ds − √ dx; 2πi x0 −i∞ π 0 x s in other words, f (t)
L−1




1 π




0

1 √ s

∞




1 2πi




x0 +i∞

x0 − i ∞

ets √ ds s

e−tx

√ dx. x

To compute this latter integral, observe that by Example 2.1
∞ −u 1 √ e  2
√ du
π. u 0 Setting u
tx, du
tdx and

∞ −tx √ ∞ e−tx √ e π
√ √ tdx
t √ dx. x t x 0 0 Therefore, 1 f (t)
π

√  π 1
√ , √ t πt

170

4. Complex Inversion Formula

in accordance with (2.5). Another useful example involving a branch point that arises in the solution of certain partial differential equations (see Section 5.1) is the determination of  √  e −a s L−1 , a > 0. s As in the preceding example, s
0 is a branch point. Thus we can use the same contour (Figure 4.8) and approach in applying the complex inversion formula. √ For w
s we take a branch cut along the nonpositive √ real axis and consider the (single-valued) analytic branch w1
|s|eiθ/2 with positive real part. √ Again, F(s)
e−a s /s is analytic within and on CR so that √ √

ets e−a s ets−a s ds
ds
0. s s CR CR Thus, 1 0
2πi




x0 +iy

x0 −iy

1 + 2πi 1 + 2πi


BC


DE

ets−a s ets−a s

√

√

ets−a s

s

s

√

s

1 ds + 2πi 1 ds + 2πi 1 ds + 2πi


AB


γr


EF

ets−a s

ets−a s

√

√

ets−a s

s

ds s

ds √

s

ds.

s
R eiθ on the two circular arcs AB and EF, w1
√ For Reiθ/2 and  √   e−a s  e−a√R cos θ/2 1   |F(s)|
 < , 
 s  |s| |s|

(4.20)

√ s


and so as in the preceding example, √ √

ets−a s ets−a s lim ds
lim ds
0. R→∞ AB R→∞ EF s s For s on the line segments BC and DE, again we take them to be the respective upper and lower edges of the cut along the negative

4. Complex Inversion Formula

171

√ √ axis. If s lies on BC, then s
xeiπ , s
i x, and when s goes from −R to −r, x goes from R to r. Therefore, √
−r ts−a√s
r −tx−ai√x
ets−a s e e ds
ds
dx. (4.21) s s x BC −R R √ √ Along DE, similarly s
xe−iπ , s
−i x implying
DE

ets−a s

√

s


ds
r

R

e−tx+ai x

√

x

dx.

(4.22)

Combining (4.21) and (4.22) after multiplying each by 1/2πi yields √ √
R −tx ai√x
e (e − e−ai x ) 1 R e−tx sin a x 1 dx
dx. (4.23) 2πi r x π r x Letting r → 0 and R → ∞ in (4.23), we obtain the integral √
1 ∞ e−tx sin a x dx. π 0 x

(4.24)

In Section 2.7 we introduced the error function
t 2 2 erf(t)
√ e−x dx. π 0 It can be shown that the integral in (4.24) can be written in terms of the error function (see Theorem A.13), that is, √  
1 ∞ e−tx sin a x a dx
erf √ ; π 0 x 2 t we shall use use latter expression. Finally, for s
r eiθ on γr , we can take the integration from π to −π,
ts−a√s
−π treiθ −a√reiθ/2 iθ 1 e 1 e ire dθ ds
iθ 2πi γr s 2πi π re
π
π √ iθ/2 1 1 iθ
− etre −a re dθ → − dθ 2π −π 2π −π


−1

172

4. Complex Inversion Formula

for r → 0. We have used here the uniform continuity of the integrand to pass the limit inside the integral.∗ Whence, letting r → 0, R → ∞ in (4.20) gives  
x0 +i∞ ts−a√s 1 e a 0
(4.25) ds + erf √ − 1; 2πi x0 −i∞ s 2 t in other words,

 −1

f (t)
L

e −a s


1 − erf

√

s



1
2πi




x0 +i∞ x0 −i∞

ets−a s

√

s

ds

 a √ . 2 t

(4.26)

The function erfc(t)
1 − erf(t) is called the complementary error function, and so we have by (4.26)  √    −a s a −1 e
erfc √ . L (4.27) s 2 t ∗

Since for fixed a, t, f (r, θ)
etre

tθ −a√reiθ/2

is continuous on the closed rectangle 0 ≤ r ≤ r0 , −π ≤ θ ≤ π, it is uniformly continuous there. Hence for ε > 0, there exists δ
δ(ε) > 0 such that |f (r, θ) − f (r  , θ  )| < ε

whenever

|(r, θ) − (r  , θ  )| < δ.

In particular, |f (r, θ) − f (0, θ)| < ε

Then


  




π

−π

f (r, θ) dθ −

that is,




−π


 f (0, θ) dθ  ≤

−π

f (r, θ) dθ


0 < r < δ.

π

−π




π

lim r →0

π

whenever

|f (r, θ) − f (0, θ)| dθ < 2πε,


π

lim f (r, θ) dθ


−π r → 0

π

f (0, θ) dθ. −π

Exercises

173

Exercises 1. Using the method of residues (Theorem 4.3), determine the function f (t) if the Laplace transform F(s) is given by s s (a) (b) (a 
b) (s − a)(s − b) (s − a)3 (c)

s 2 (s + a2 )2

(e)

s3 . (s2 + a2 )3

2. Show that  L−1

(d)

1 s2 cosh s


t+

s2 + a 2 (s2 − a2 )2

  ∞ 8  (−1)n 2n − 1 sin πt. π2 n
1 (2n − 1)2 2

3. Verify formulas (4.15) and (4.16). [You do not have to verify that
ets F(s) ds
0.] lim n→∞

Cn

4. Show  that  if Pn is the parabola given in Example 4.9 and |F(s)| ≤ 1/ n + 12 π → 0 uniformly on Pn as n → ∞, then
ets F(s) ds
0 (t > 0). lim n→∞

Pn

 2 [Hint: For x > 0, i.e., τ 2 > n + 12 π2 , show that  √ |ds|
(dx)2 + (dy)2 ≤ 2 dx, and hence,
Pn (x>0)

|ets | |F(s)| |ds| → 0

as

 2 For x < 0, i.e., τ 2 < n + 12 π2 , show that   √ 1 |ds| ≤ 2 2 n + π dτ, 2

n → ∞.

174

4. Complex Inversion Formula

and hence


Pn (x0
ν s π t 1 −ν Hence by (2.2) deduce the formula (ν) (1 − ν)
π csc νπ. (Note: For ν 
1/2,  is the branch point example.) √this 6. Determine L erfc( t) .

5

C H A P T E R

... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Partial Differential Equations

Partial differential equations, like their one-variable counterpart, ordinary differential equations, are ubiquitous throughout the scientific spectrum. However, they are, in general, more difficult to solve. Yet here again, we may apply the Laplace transform method to solve PDEs by reducing the initial problem to a simpler ODE. Partial differential equations come in three types. For a function of two variables u
u(x, y), the general second-order linear PDE has the form a

∂2 u ∂2 u ∂u ∂u ∂2 u + 2b + c + d + e + fu
g, 2 2 ∂x ∂x ∂y ∂y ∂x ∂y

(5.1)

where a, b, c, d, e, f , g may depend on x and y only. We call (5.1) elliptic if hyperbolic if parabolic if

b2 − ac < 0, b2 − ac > 0, b2 − ac
0.

Example 5.1. (i) The heat equation ∂u ∂2 u
c 2 ∂t ∂x is parabolic.

175

176

5. Partial Differential Equations

(ii) The wave equation 2 ∂2 u 2∂ u
a ∂t 2 ∂x2

is hyperbolic. (iii) The Laplace equation ∂2 u ∂2 u + 2
0 ∂x2 ∂y is elliptic. Laplace Transform Method. We consider the function u
u(x, t), where t ≥ 0 is a time variable. Denote by U(x, s) the Laplace transform of u with respect to t, that is to say
∞   U(x, s)
L u(x, t)
e−st u(x, t) dt. 0

Here x is the “untransformed variable.” Example 5.2.

L(ea(x+t) )


eax . s−a

We will assume that derivatives and limits pass through the transform. Assumption (1).



∂u L ∂x







∞

0




∂ ∂x

e−st




∞

∂ u(x, t) dt ∂x

e−st u(x, t) dt

0

∂ U(x, s). (5.2) ∂x In other words, “the transform of the derivative is the derivative of the transform.”




Assumption (2).
lim x→x0

∞

e 0

−st


u(x, t) dt
0

∞

e−st u(x0 , t) dt,

(5.3)

5. Partial Differential Equations

177

that is, lim U(x, s)
U(x0 , s).

x→x0

In (5.2) it is convenient to write ∂ d dU U(x, s)
U(x, s)
, ∂x dx dx since our parameter s can be treated like a constant with respect to the differentiation involved. A second derivative version of (5.2) results in the expression  2  ∂ u d2U L .
∂x2 dx2 Note that in the present context the derivative theorem (2.7) reads     ∂u L
s L u(x, t) − u(x, 0+ ) ∂t
s U(x, s) − u(x, 0+ ). The Laplace transform method applied to the solution of PDEs consists of first applying the Laplace transform to both sides of the equation as we have done before. This will result in an ODE involving U as a function of the single variable x. For example, if ∂u ∂u
, ∂x ∂t then



∂u L ∂x



(5.4)



 ∂u ,
L ∂t

implying d (5.5) U(x, s)
s U(x, s) − u(x, 0+ ). dx The ODE obtained is then solved by whatever means avail themselves. If, say, u(x, 0+ )
x for equation (5.4), we find that the general solution is given by U(x, s)
c esx +

x 1 + 2. s s

(5.6)

178

5. Partial Differential Equations

PDE problems in physical settings come with one or more boundary conditions, say for (5.4) that u(0, t)
t.

(5.7)

Since the boundary conditions also express u as a function of t, we take the rather unusual step of taking the Laplace transform of the boundary conditions as well. So for (5.7)

  1 U(0, s)
L u(0, t)
2 . s Feeding this into (5.6) gives c
0 so that x 1 + 2. s s Since this is the transform of the desired function u(x, t), inverting gives the solution to (5.4) and (5.7) [(and u(x, 0+ )
x]: U(x, s)


u(x, t)
x + t. This simple example illustrates the basic techniques involved in solving partial differential equations. In what follows we will demonstrate the utility of the Laplace transform method when applied to a variety of PDEs. However, before proceeding further, we require two more inverses based upon (4.27):  √    −a s a −1 e
erfc √ , L a > 0. s 2 t Theorem 5.3. √ a 2 (i) L−1 (e−a s )
√ e−a /4t 3  √  2 πt e −a s 1 2
√ e−a /4t (ii) L−1 √ s πt

(a > 0). (a > 0).

Proof. (i) √ Applying the derivative theorem to (4.27) and noting  that erfc a/2 t → 0 as t → 0+ , we have    √ d a L erfc √
e −a s , dt 2 t

5. Partial Differential Equations

that is,



a 2 L √ e−a /4t 3 2 πt



√


e −a s ,

179

(5.8)

as desired. For (ii), we differentiate (5.8) with respect to s, √   d a a e −a s −a2 /4t L √ e
− √ , ds 2 s 2 π t3 and by Theorem 1.34, √   −a s at a e 2 L − √ e−a /4t
− √ , 2 s 2 π t3

2

which after cancellation gives (ii). Example 5.4. Solve the boundary-value problem

∂y ∂y + + ay
bx2 , x > 0, t > 0, a, b constants, (5.9) ∂x ∂t y(0, t)
0, y(x, 0+ )
0.   Setting L y(x, t)
Y(x, s) and taking the Laplace transform of both sides of (5.9) give x

xYx (x, s) + s Y(x, s) − y(x, 0+ ) + a Y(x, s)


bx2 , s

that is, x

bx2 dY + (s + a)Y
, dx s

or (s + a) bx dY + Y
(s > 0). dx x s Solving this first-order ODE using an integrating factor gives Y(x, s)


bx2 + cx−(s+a) s(s + a + 2)

(x > 0, s > −a).

Taking the Laplace transform of the boundary condition y(0, t)
0 gives   Y(0, s)
L y(0, t)
0,

180

5. Partial Differential Equations

and thus c
0. Therefore, Y(x, s)


bx2 , s(s + a + 2)

and inverting, y(x, t)


bx2 (1 − e−(a+2)t ) a+2

by Example 2.40. One-Dimensional Heat Equation. The heat flow in a finite or semi-infinite thin rod is governed by the PDE ∂u ∂2 u
c 2, ∂t ∂x where c is a constant (called the diffusivity), and u(x, t) is the temperature at position x and time t. The temperature over a cross-section at x is taken to be uniform. (See Figure 5.1.) Many different scenarios can arise in the solution of the heat equation; we will consider several to illustrate the various techniques involved. Example 5.5. Solve ∂2 u ∂u
, ∂x2 ∂t

x > 0, t > 0,

(5.10)

for (i) u(x, 0+ )
1, x > 0,

O

x

FIGURE 5.1

5. Partial Differential Equations

181

(ii) u(0, t)
0, t > 0, (iii) lim u(x, t)
1. x→∞

Taking the Laplace transform of (5.10) yields d2U
s U − u(x, 0+ )
s U − 1. (5.11) dx2 Transforming the boundary conditions (ii) and (iii) gives   U(0, s)
L u(0, t)
0,    1  lim U(x, s)
lim L u(x, t)
L lim u(x, t)
. x→∞ x→∞ x→∞ s Now (5.11) is an ODE whose solution is given by √

√

1 + . s The boundary condition limx→∞ U(x, s)
1/s implies c1
0, and U(0, s)
0 implies U(x, s)
c1 e

sx

+ c2 e−

sx

√

1 e sx . U(x, s)
− s s By (4.26),



x u(x, t)
erf √ 2 t



2
√ π




√

x/2 t

e−u du. 2

0

Direct calculation shows that u(x, t) indeed satisfies (5.10) and that the initial and boundary conditions are satisfied [cf. (2.49)]. Example 5.6. Solve ∂2 u ∂u
, 2 ∂x ∂t

x > 0, t > 0,

for (i) u(x, 0+ )
0, (ii) u(0, t)
f (t), t > 0, (iii) lim u(x, t)
0. x→∞

The transformed equation is d2U − s U
0, dx2

182

5. Partial Differential Equations

whose solution is given by √

U(x, s)
c2 e−

sx

in view of condition (iii). By (ii),

  U(0, s)
L f (t)
F(s),

so that c2
F(s) and √

U(x, s)
F(s)e−

sx

.

Invoking Theorem 5.3 (i) and the convolution theorem 2.39, we have
t x 2 e−x /4τ f (t − τ) dτ. u(x, t)
√ 3 0 2 πτ Making the substitution σ 2
x2 /4τ, we find that  
∞ 2 x2 −σ 2 u(x, t)
√ e f t − 2 dσ, 4σ π x/2√t which is the desired solution. Example 5.7. Solve ∂u ∂2 u
, ∂x2 ∂t

0 < x < , t > 0,

for (i) u(x, 0+ )
u0 , ∂ u(0, t)
0 (i.e., left end insulated), (ii) ∂x (iii) u(, t)
u1 . Taking the Laplace transform gives d2U
s U − u0 . dx2 Then U(x, s)
c1 cosh

√ √ u0 sx + c2 sinh s x + , s

and by (ii), c2
0, so that U(x, s)
c1 cosh

√ u0 sx + . s

5. Partial Differential Equations

183

We find by (iii) that U(, s)


√ u1 u0
c1 cosh s  + , s s

and so c1
Therefore,

u1 − u0 √ . s cosh s 

√ (u1 − u0 ) cosh s x u0 U(x, s)
+ . √ s s cosh s 

Taking the inverse by (4.16) gives −1

u(x, t)
u0 + (u1 − u0 )L



√  cosh s x √ s cosh s 

∞ 4(u1 − u0 )  (−1)n −(2n−1)2 π2 t/42 e π (2n − 1) n
1   2n − 1 × cos πx. 2


u1 +

Example 5.8. Solve ∂u ∂2 u
, 2 ∂x ∂t

0 < x < 1, t > 0,

for (i) u(x, 0+ )
f (x), (ii) u(0, t)
0, t > 0, (iii) u(1, t)
0, t > 0. Therefore, d2U − s U
−f (x). dx2 Here we solve this ODE by the Laplace transform method as well. To this end, let Y(x)
U(x, s). Then Y(0)
U(0, s)
0, Y(1)
U(1, s)
0. Setting a2
s, we obtain σ 2 L(Y) − σY(0) − Y  (0) − a2 L(Y)
−L(f )
−F(σ),

184

5. Partial Differential Equations

that is,

L(Y)


Y  (0) F(σ) − 2 . 2 2 σ −a σ − a2

Inverting gives


Y  (0) sinh ax 1 x − f (u) sinh a(x − u) du Y(x)
U(x, s)
a a 0 √
x √ Y  (0) sinh s x 1
−√ f (u) sinh s(x − u) du. √ s s 0 Now, Y(1)
0, implying Y  (0)


1 √ sinh s




1

f (u) sinh

√ s(1 − u) du.

0

Thus,

√ √ s x sinh s(1 − u) U(x, s)
f (u) du √ √ s sinh s 0 √
x sinh s(x − u) − f (u) du. √ s 0 1 x 1 We can write 0
0 + x and use the fact from Section 3.2 that


1

sinh

sinh(z ± w)
sinh z cosh w ± cosh z sinh w. Then

√ √ √  s x sinh s(1 − u) sinh s(x − u) f (u) − du U(x, s)
√ √ √ s sinh s s 0 √ √
1 sinh s x sinh s(1 − u) + f (u) du √ √ s sinh s x √ √
x sinh s(1 − x) sinh s u
f (u) du √ √ s sinh s 0 √ √
1 sinh s x sinh s(1 − u) + f (u) du. √ √ s sinh s x


x



sinh

5. Partial Differential Equations

185

To determine the inverse we use the complex inversion formula. When it is applied to the first integral we have √ √ "
x0 +i∞ 
x 1 sinh s(1 − x) sinh s u ts du ds
 Res. e f (u) √ √ 2πi x0 −i∞ s sinh s 0 There are simple poles in this case at s0
0 and sn
−n2 π2 , n
1, 2, 3, . . . (see Example 4.9).




x

Res(0)
lim s s→0

f (u)

sinh

0

Res(−n2 π2 )

√ √ s(1 − x) sinh s u du
0. √ √ s sinh s

√ √ s(1 − x) sinh s u du
lim2 2 (s + n π )e f (u) √ √ s→−n π s sinh s 0 √ √
x s + n2 π 2 sinh s(1 − x) sinh s u ts
lim2 2 f (u) du √ · lim2 2 e √ s→−n π sinh s s→−n π s 0
x sinh[(nπi)(1 − x)] sinh(nπi)u −n 2 π 2 t
2e f (u) du cosh(nπi) 0
x sin[nπ(1 − x)] sin nπu −n 2 π 2 t
2e f (u) du, − cos nπ 0


2 2

x

sinh

ts

where we have used the properties from Section 3.2 (for z
x + iy) sinh z
cos y sinh x + i sin y cosh x, cosh z
cos y cosh x + i sin y sinh x to obtain the last equality. Therefore,



Res
2

∞ 

e

−n 2 π 2 t

n
1




x

 f (u) sin nπu du sin nπx.

0

Similarly, the inverse of the second integral is given by 2

∞  n
1

e −n


2 2

π t x

1

 f (u) sin nπu du sin nπx.

186

5. Partial Differential Equations

Finally, u(x, t)
2

∞ 

e −n




1

2 2

π t

n
1

 f (u) sin nπu du sin nπx.

0

The same result is obtained when we solve this problem by the separation-of-variables method. One-Dimensional Wave Equation. The wave motion of a string initially lying on the x-axis with one end at the origin can be described by the equation 2 ∂2 y 2∂ y
a , ∂t 2 ∂x2

x > 0, t > 0

(Figure 5.2). The displacement is only in the vertical direction and is given√ by y(x, t) at position x and time t. The constant a is given by a
T/ρ, where T is the tension on the string and ρ its mass per unit length. The same equation happens to describe the longitudinal vibrations in a horizontal beam, where y(x, t) represents the longitudinal displacement of a cross section at x and time t. Example 5.9. Solve 2 ∂2 y 2∂ y
a , ∂t 2 ∂x2

x > 0, t > 0,

for (i) y(x, 0+ )
0, x > 0, y

y (x t)

O

x

FIGURE 5.2

5. Partial Differential Equations

187

(ii) yt (x, 0+ )
0, x > 0,  (iii) y(0, t)
f (t) f (0)
0 , (iv) lim y(x, t)
0. x→∞

The transformed equation becomes s2 Y(x, s) − s y(x, 0+ ) −

∂ d2Y y(x, 0+ )
a2 2 , ∂t dx

that is, d2Y s2 − Y
0. dx2 a2 Solving, Y(x, s)
c1 e(s/a)x + c2 e−(s/a)x . Since y(x, t) → 0 as x → ∞, then c1
0 and Y(x, s)
c2 e−(s/a)x .   By condition (iii), Y(0, s)
L f (t)
F(s), so that c2
F(s), and Y(x, s)
F(s) e−(s/a)x . Inverting via the second translation theorem (1.31) gives  x y(x, t)
u ax (t)f t − , a or

  f t − ax t ≥ ax y(x, t)
0 t < ax . Thus, the string remains at rest until the time t
x/a, after which it exhibits the same motion as the end at x
0, with a time delay of x/a. Example 5.10. Solve ∂2 y ∂2 y
, ∂t 2 ∂x2 for (i) y(0, t)
0, t > 0, (ii) y(, t)
a, t > 0,

0 < x < , t > 0,

188

5. Partial Differential Equations

(iii) y(x, 0+ )
0, 0 < x < , (iv) yt (x, 0+ )
0, 0 < x < . By transforming the equation we obtain d2Y − s2 Y
0, dx2 whose solution is given by Y(x, s)
c1 cosh sx + c2 sinh sx. Then 0
Y(0, s)
c1 and Y(x, s)
c2 sinh sx. Moreover, Y(, s)


a
c2 sinh s s

and c2
a/s sinh s. Thus, Y(x, s)


a sinh sx . s sinh s

This function has simple poles at sn
nπi/, n
0, ±1, ±2, . . .. a sinh sx s sinh s x cosh sx
a lim s→0  cosh s ax
. 

Res(0)
lim s ets s →0

For n
±1, ±2, · · ·,     nπi nπi ets sinh sx Res
a lim s −   s sinh s s→ nπi    s − nπi ets sinh sx 
a lim · lim sinh s s→ nπi s s→ nπi  enπi t/ sinh nπix a   cosh nπi nπi/ a nπx
(−1)n enπi t/ sin . nπ 




Exercises

Therefore, y(x, t)




Res


∞  ax a nπi t/ nπx + (−1)n sin e  nπ  n
−∞ n
0




∞ ax 2a  (−1)n nπx nπt + sin cos ,  π n
1 n  

by the complex inversion formula.

Exercises 1. Solve the boundary-value problem ∂y 1 ∂y +
t, ∂x x ∂t y(x, 0+ )
x,

x > 0, t > 0, y(0, t)
0.

2. Solve the following heat equations. (a)

∂2 u ∂u
, ∂x2 ∂t

x > 0, t > 0,

(i) u(x, 0+ )
0, x > 0, (ii) u(0, t)
δ(t), t > 0, (iii) lim u(x, t)
0. x→∞

2

(b)

∂u ∂ u
, 2 ∂x ∂t

x > 0, t > 0,

(i) u(x, 0+ )
u0 , x > 0, (ii) u(0, t)
u1 , t > 0, (iii) lim u(x, t)
u0 . x→∞

2

(c)

∂u ∂ u
, 2 ∂x ∂t

0 < x < 1, t > 0,

(i) u(x, 0+ )
0, 0 < x < 1, (ii) u(0, t)
0, t > 0, (iii) u(1, t)
1, t > 0.

189

190

5. Partial Differential Equations

(d)

∂u ∂2 u
, 2 ∂x ∂t

0 < x < , t > 0,

(i) u(x, 0+ )
ax, 0 < x <  (a constant), (ii) u(0, t)
0, t > 0, (iii) u(, t)
0, t > 0. 3. Solve the following wave equations. (a)

∂2 y ∂2 y
, ∂t 2 ∂x2 (i) (ii) (iii) (iv)

(b)

(c)

0 < x < 1, t > 0,

y(x, 0+ )
0, 0 < x < 1, y(0, t)
0, t > 0, y(1, t)
0, t > 0, yt (x, 0+ )
x, 0 < x < 1.

∂2 y ∂2 y
, ∂t 2 ∂x2 (i) (ii) (iii) (iv)

0 < x < 1, t > 0,

y(x, 0+ )
0, 0 < x < 1, y(1, t)
1, t > 0, yx (0, t)
0, t > 0, yt (x, 0+ )
0, 0 < x < 1.

∂2 y ∂2 y
, ∂t 2 ∂x2 (i) (ii) (iii) (iv)

(d)

y(x, 0+ )
sin πx, 0 < x < 1, y(0, t)
0, t > 0, y(1, t)
0, t > 0, yt (x, 0)
0, 0 < x < 1.

∂2 y ∂2 y
, ∂t 2 ∂x2 (i) (ii) (iii) (iv)

0 < x < 1, t > 0,

0 < x < 1, t > 0, for

y(x, 0+ )
f (x), x > 0, y(0, t)
0, t > 0, y(1, t)
0, t > 0, yt (x, 0+ )
0, 0 < x < 1.

(Note: This problem is similar to Example 5.8.)

Exercises

4. Solve the boundary-value problem ∂2 y ∂2 y
− sin πx, ∂t 2 ∂x2

0 < x < 1, t > 0,

for (i) (ii) (iii) (iv)

y(x, 0+ )
0, 0 < x < 1, y(0, t)
0, t > 0, y(1, t)
0, t > 0, yt (x, 0+ )
0, 0 < x < 1.

5. A “fundamental solution” to the heat equation satisfies ∂u ∂2 u
a2 2 , ∂t ∂x

x > 0, t > 0, a > 0,

for (i) u(x, 0+ )
δ(x), x > 0, ∂ u(0, t)
0, t > 0, (iv) ∂x (iii) lim u(x, t)
0. x→∞

Solve for u(x, t). (See Exercises 2.5, Question 7.)

191

Appendix

The sole integral used in this text is the Riemann integral defined as follows. Let 
{a
t0 < t1 < · · · < tn
b} be a partition of the interval [a, b]. Let f be a function defined on [a, b] and choose any point xi ∈ [ti−1 , ti ], i
1, · · · , n. The sum n  i
1

f (xi )(ti − ti−1 )

is called a Riemann sum. Denote by 
max1≤i≤n (ti − ti−1 ). The function f is said to be Riemann integrable if there is a number Iab such that for any ε > 0, there exists a δ > 0 such that for each partition  of [a, b] with  < δ, we have

  n     f (xi )(ti − ti−1 ) − Iab  < ε,   i
1 

193

194

Appendix

for all choices of xi ∈ [ti−1 , ti ], i
1, · · · , n. The value Iab is the Riemann integral of f over [a, b] and is written as


Iab


b

f (t) dt. a

It is worth noting that if f is Riemann integrable on [a, b], it is bounded on [a, b]. Moreover, every continuous function on [a, b] is Riemann integrable there. In order to see just how dangerous it can be to pass a limit inside an integral without sound justification, consider the following. Example A.1. Let {fn } be a sequence of functions defined on [0, 1] by  1   4n2 t 0≤t≤   2n    1 1 fn (t)
−4n2 t + 4n 0 and n > 1/t, fn (t)
0, implying lim fn (t)
0,

n →0

2n

fn

f1

2

O

t ∈ [0, 1].

1 2n

1

n

1

t

FIGURE A.1

Appendix

By construction,

so that limn→∞




1 0

1

195

fn (t) dt
1,

0

fn (t) dt
1. On the other hand,
1
1 lim fn (t) dt
0 dt
0. 0 n→∞

0

In Theorem 3.1 it was shown that the Laplace transform of a piecewise continuous function of exponential order is an analytic function. A necessary ingredient in that proof was that the Laplace transform be continuous. Theorem A.2. If f is a piecewise continuous function, and
∞ e−st f (t) dt
F(s) 0

converges uniformly for all s ∈ E ⊆ C, then F(s) is a continuous function on E, that is, for s → s0 ∈ E,
∞
∞ −st e f (t) dt
lim e−st f (t) dt
F(s0 ). lim s → s0

0

0

s → s0

Proof. By the uniform convergence of the integral, given ε > 0 there exists some t0 such that for all τ ≥ t0 , 
∞    −st  e f (t) dt  < ε, (A.1)  τ

for all s ∈ E. Now consider 
∞  
∞ 
∞     −st −s0 t −st −s0 t    e f (t) dt − e f (t) dt 
 (e − e )f (t) dt   0 0 
∞0 
t0   −st −s0 t −st −s0 t  ≤ |e − e | |f (t)| dt +  (e − e )f (t) dt  . 0

t0

In view of (A.1), the second integral satisfies 
∞  
∞  
     −st −s0 t −st    (e − e )f (t) dt  ≤  e f (t) dt  +   t0

t0

< ε + ε
2ε.

∞

e t0

−s0 t

  f (t) dt 

196

Appendix

For the first integral,
t0
−st −s0 t |e − e | |f (t)| dt ≤ M 0

t0

|e−st − e−s0 t | dt

0

since f is piecewise continuous, hence bounded on [0, t0 ]. Finally, |e−st − e−s0 t | can be made uniformly small for 0 ≤ t ≤ t0 and s sufficiently close to s0 ,∗ say 1 ε. M t0

|e−st − e−s0 t | < Hence




t0

|e−st − e−s0 t | |f (t)| dt < ε,

0

and so




∞

lim

s→s0

e

−st




∞

f (t) dt


0

2

e−s0 t f (t) dt.

0

A more subtle version of the preceding result which was used in the proof of the terminal-value theorem (2.36) is the following. Theorem A.3. Suppose that f is piecewise  ∞ continuous on [0, ∞) and   L f (t)
F(s) exists for all s > 0, and 0 f (t) dt converges. Then
∞
∞ −st e f (t) dt
f (t) dt. lim s → 0+

Proof. Since large so that

∞ 0


   ∞

e

−st

0

∞ τ0

  ε f (t) dt  < . 2

 
  f (t) dt 


∞

(A.2)

(1 − e

−st

0


≤ 0

∗

0

f (t) dt converges, given ε > 0, fix τ0 sufficiently

Next consider 
∞
  f (t) dt −  0

0

τ0

(1 − e

−st


)|f (t)| dt +

∞

  )f (t) dt 

(1 − e−st )|f (t)| dt.

τ0

We are using the fact that the function g(s, t)
e−st is uniformly continuous on a closed rectangle.

Appendix

197

For the first integral, since f is piecewise continuous it is bounded on [0, τ0 ], say |f (t)| ≤ M. Then
τ0
τ0 (1 − e−st )|f (t)| dt ≤ M (1 − e−st ) dt 0

0

M(sτ0 + e−sτ0 − 1) →0 s




as s → 0+ by an application of l’Hˆopital’s rule. Thus the first integral can be made smaller than ε/2 for s sufficiently small. For the second integral
∞
∞ ε −st (1 − e )|f (t)| dt ≤ |f (t)| dt < 2 τ0 τ0 by (A.2). Therefore, 
∞
  f (t) dt −  0

∞ 0

  e−st f (t) dt  < ε

for all s sufficiently small, proving the result.

2

Corollary A.4. Suppose  that f satisfies the conditions of the derivative theorem (2.7), L f  (t)
F(s) exists for all s > 0, and limt→∞ f (t) exists. Then
∞
∞ lim e−st f  (t) dt
f  (t) dt. s → 0+

0

0

f

Proof. Note that is piecewise continuous on [0, ∞) and as we have shown in the proof of Theorem 2.36 [namely, equation (2.47)], ∞ the existence of limt→∞ f (t) implies that 0 f  (t) dt converges. The result now follows from the theorem. 2 Even though a function is only piecewise continuous, its integral is continuous. Theorem A.5. If f is piecewise continuous on [0, ∞), then the function
t g(t)
f (u) du 0

is continuous on [0, ∞).

198

Appendix

f (t) O

f t0

t0 + h

t FIGURE A.2

Proof. Assume that t0 is a point of discontinuity of f (Figure A.2). Then for h > 0,
t0 +h g(t0 + h) − g(t0 )
f (u) du. (A.3) t0

Since f is piecewise continuous, f is bounded on (t0 , t0 + h), say |f | < M there. Thus we find that 
t0 +h 
t0 +h    <M f (u) du du
Mh → 0 (A.4)   t0

t0

as h → 0. In view of (A.3), we obtain lim g(t0 + h)
g(t0 ).

h→0+

Similarly, lim g(t0 + h)
g(t0 )

h → 0−

for t0 > 0. If t0 is a point of continuity of f , the proof is the same.

2

The justification of applying the Laplace transform method to solving ODEs is aided by the fact that the solution will be continuous of exponential order and thus possess a Laplace transform. Theorem A.6. For the nth-order, linear, nonhomogeneous ordinary differential equation an y(n) + an−1 y(n−1) + · · · + a0 y
f (t),

(A.5)

a0 , a1 , . . . , an constants, if f (t) is continuous on [0, ∞) and of exponential order, then any solution is also continuous on [0, ∞) of exponential order.

Appendix

199

Proof. We give the proof for n
2 as the proof for higher-order equations follows similarly. For ay + by + cy
f (t), the general solution yh to the corresponding homogeneous equation ay + by + cy
0 is given by yh
c1 y1 + c2 y2 , where y1 , y2 are two linearly independent solutions (of the homogeneous equation) of the prescribed form (cf., e.g.,Zill [16]) (i) em1 t , em2 t , (ii) emt , t emt , (iii) eat cos bt, eat sin bt. Since each of these terms has exponential order, yh does also and is continuous on [0, ∞). A particular solution yp of (A.5) can be found by the method of variation of parameters (Zill [16]). Here yp takes the form yp
u1 y1 + u2 y2 , where u1


−y2 f (t) , aW(y1 , y2 )

u2


y1 f (t) , aW(y1 , y2 )

and W(y1 , y2 ) is the Wronskian    y1 y2    W(y1 , y2 )
   
y1 y2 − y1 y2 
0.  y1 y2  In cases (i), (ii), (iii), W(y1 , y2 ) can be determined and seen to be of the form Meβt and hence so is W −1 (y1 , y2 ). Since the product of functions of exponential order also have exponential order [Exercises 1.4, Question 1(ii)], we conclude that u1 and u2 have exponential order and are continuous on [0, ∞). The same holds for u1 and u2 by Remark 2.11 and likewise for yp . Finally, the general solution of (A.5), given by y
yh + yp , is continuous and has exponential order, as desired.

2

200

Appendix

Remark. Let us show that for n
2, the Laplace transform method is indeed justified in solving (A.5) under the conditions stipulated. In fact, not only is y
yh + yp continuous and of exponential order on [0, ∞), but so is y
yh + yp
yh + (u1 y1 + u1 y1 + u2 y2 + u2 y2 ),

  and hence also y
(1/a) f (t) − by − cy . The hypotheses of Theorem 2.12 are clearly satisfied, and the Laplace transform method can be applied. In general, the continuity of y(t), y (t), . . . , y(n−1) (t) for t > 0 is a basic a priori requirement of a unique solution to (A.5) (see Doetsch [3], p. 78). A useful result in dealing with partial fraction decompositions is the following Theorem A.7 (Fundamental Theorem of Algebra). Every polynomial of degree n, p(z)
an z n + an−1 z n−1 + · · · + a1 z + a0 ,

an 
0,

with complex coefficients, has exactly n roots in C, with the roots counted according to multiplicity. Corollary A.8. Any two polynomials of degree n that are equal at n + 1 points are identically equal. This is so because the difference of the two polynomials is itself a polynomial of degree n and therefore can vanish at n points only unless it is identically the zero polynomial, in which case all the coefficients must be zero. Thus the two polynomials have identical coefficients. The Riemann–Stieltjes integral was introduced in Section 2.5 in order to deal with the Laplace transform of the Dirac distribution. It enjoys properties similar to those of the conventional Riemann integral.

Appendix

201

Theorem A.9. b b (i) If a fdϕ1 and a fdϕ2 both exist, and ϕ
ϕ1 + ϕ2 , then f is (Riemann–Stieltjes) integrable with respect to ϕ and
b
b
b fdϕ
fdϕ1 + fdϕ2 . a

b

a

b

a

(ii) If a f1 dϕ and a f2 dϕ both exist and f
f1 + f2 , then f is integrable with respect to ϕ and
b
b
b fdϕ
f1 dϕ + f2 dϕ. (iii) If

(iv) If

b a

c a

a

a

a

fdϕ exists, then for any constant c,
b
b (cf )dϕ
c fdϕ. fdϕ and

b c

a

a

b fdϕ exist, a < c < b, then a fdϕ exists and
c
b
b fdϕ
fdϕ + fdϕ. a

a

c

The proofs are a natural consequence of the definition of the Riemann–Stieltjes integral. b Theorem A.10. If f, ϕ, ϕ are continuous on [a, b], then a fdϕ exists and
b
b f (t) d ϕ(t)
f (t) ϕ (t) dt. a

Proof.

a

Given ε > 0, we need to show that  
b n      f (x )[ϕ(t ) − ϕ(t )] − f (t) ϕ (t) dt   0 such that whenever |ξj − xj | < δ, it follows that ε |ϕ (ξj ) − ϕ (xj )| < . (A.8) 2M(b − a) Since fϕ is Riemann integrable, for any suitably fine subdivision of [a, b], with  < δ, we have  
b n   ε   f (xj ) ϕ (xj )(tj − tj−1 ) − f (t) ϕ (t) dt  < . (A.9)   j
1  2 a From (A.8) we get   n     f (xj )[ϕ (ξj ) − ϕ (xj )](tj − tj−1 )   j
1 
0, except for possibly a finite number  ∞ of jump discontinuities across the lines t
ti , i
1, . . . , n, and if 0 f (x, t) dt converges uniformly for all x in [a, b], then
∞
b
b
∞ f (x, t) dt dx
f (x, t) dx dt. a

0

0

a

Appendix

Proof.

From the theory of ordinary integrals we have
τ
b
b
τ f (x, t) dx dt
f (x, t) dt dx, 0

implying


∞
b 0

a

0

a




b

f (x, t) dx dt
lim

τ →∞

a

For the other integral

b
∞ f (x, t) dt dx
0

a

203

b




τ




τ

f (x, t) dt dx. a




b

f (x, t) dt dx +

0

a

(A.11)

0




∞

f (x, t) dt dx. a

τ

(A.12) Since 0 f (x, t) dt converges uniformly, given any ε > 0, there exists T > 0 such that for all τ ≥ T 
∞    ε  f (x, t) dt  < ,  b − a τ

∞

for all x in [a, b]. Hence for τ ≥ T, 
b
∞     f (x, t) dt dx < ε,  τ

a

that is,




b




∞

lim

τ →∞

a

f (x, t) dt dx
0.

τ

Letting τ → ∞ in (A.12),

b
∞ f (x, t) dt dx
a

via (A.11).

0

0

∞
b

f (x, t) dx dt a

2

Note that the hypotheses are satisfied by our typical integrand e−xt f (t), where f is piecewise continuous of exponential order. The following general theorem tells when taking the derivative inside an integral such as the Laplace integral, is justified. Theorem A.12. Suppose that f (x, t) and ∂/∂x f (x, t) are continuous on each rectangle a ≤ x ≤ b, 0 ≤ t ≤ T, T > 0, except possibly for a

204

Appendix

finite number of jump discontinuities across the lines t
ti , i
1, . . . , n, and of the two integrals
∞
∞ ∂ F(x)
f (x, t) dt and f (x, t) dt; ∂x 0 0 the first one converges and the second one converges uniformly. Then
∞ ∂ d F(x)
f (x, t) dt (a < x < b). dx ∂x 0 Proof.

Let




∞

G(u)
0

∂ f (u, t) dt. ∂u

Then G is continuous as in the proof of Theorem A.2 and employing Theorem A.11 gives
x
∞
x ∂ G(u) du
f (u, t) dt du ∂u 0 a a





∞
x

0





a

∞

∂ f (u, t) du dt ∂u

[f (x, t) − f (a, t)] dt

0


F(x) − F(a). Therefore,


∞ ∂ d 2 F(x)
G(x)
f (x, t) dt. dx ∂x 0 A consequence of the preceding theorem which was useful in Chapter 4 follows. Theorem A.13. √  
1 ∞ e−tx sin a x a dx
erf √ , π 0 x 2 t

Proof.

t > 0.

Denote the left-hand side by y(a, t), so that by setting x
u2 ,
2 2 ∞ e−tu sin au y(a, t)
du. π 0 u

Appendix

205

In view of Theorem A.12 we can differentiate under the integral sign so that
∂y 2 ∞ −tu2 2
e cos(au) du
Y(a, t). (A.13) ∂a π 0 π Now, ∞
∞ 2 e−tu sin au  −tu2 e cos(au) du
Y(a, t)
  a 0

+

2t a


−




0

∞

e−tu u sin(au) du 2

0

2t ∂Y , a ∂a

or a ∂Y
− Y, ∂a 2t

where Y(0, t)


√ √ π/2 t by (2.49). Solving gives √ a2 π Y(a, t)
√ e− 4t . 2 t

Therefore, by (A.13), a2 1 ∂y
√ e− 4t , ∂a πt

and since y(0, t)
0, 1 y(a, t)
√ πt




a

w2

e− 4t dw

0




√

a/2 t 2 2
√ e−u du π 0   a
erf √ , 2 t

since we substituted u2
w2 /4t.

2

Theorem A.14 (Fourier Inversion Theorem). Suppose that f and f  are piecewise continuous on (−∞, ∞), that is, both are continuous in any finite interval except possibly for a finite number of jump

206

Appendix

discontinuities. Suppose further that f is absolutely integrable, namely,
∞ |f (t)| dt < ∞. −∞

Then at each point t where f is continuous,
∞ 1 f (t)
eiλt F(λ) dλ, 2π −∞ where


F(λ)


∞

−∞

(A.14)

e−iλt f (t) dt

is the Fourier transform of f . At a jump discontinuity t, the integral in (A.14) gives the value f (t + ) + f (t − ) . 2 For a proof of this exceptionally important result, see for example, Jerri [6], Theorem 2.14.

References

[1] Ahlfors, L.V., Complex Analysis, McGraw-Hill, 3rd ed., 1979. [2] Doetsch, G., Introduction to the Theory and Application of the Laplace Transform, Springer-Verlag, 1970. [3] Doetsch, G., Guide to the Applications of Laplace Transforms, Van Nostrand Co., 1963. [4] Grove, A.C., An Introduction to the Laplace Transform and the Z-Transform, Prentice-Hall, 1991. [5] Guest, P.B., Laplace Transforms and an Introduction to Distributions, Ellis Horwood, 1991. [6] Jerri, A., Integral and Discrete Transforms with Applications to Error Analysis, Marcel Dekker Inc., 1992. [7] Kuhfittig, P.K.F., Introduction to the Laplace Transform, Plenum Press, 1978. [8] Mickens, R., Difference Equations, Van Nostrand Reinhold Co., 1987. [9] Oberhettinger, F. and Badii, L., Tables of Laplace Transforms, Springer-Verlag, 1973.

207

208

References

[10] Protter, M.H. and Morrey, C.B., A First Course in Real Analysis, Springer-Verlag, 1977. [11] Richards, I. and Youn, H., Theory of Distributions: A Non-Technical Introduction, Cambridge University Press, 1990. [12] Roberts, G.E. and Kaufman, H., Table of Laplace Transforms, Saunders, 1966. ´ [13] Schwartz, L., Th´eorie des distributions, Nouvelle Edition, Hermann, 1966. [14] Watson, E.J., Laplace Transforms, Van Nostrand Reinhold Co., 1981. [15] Widder, D.V., The Laplace Transform, Princeton University Press, 1946. [16] Zill, D.G., A First Course in Differential Equations with Applications, 4th ed., 1989, PWS-Kent.

Tables Laplace Transform Operations F(s)

f (t)

c1 F1 (s) + c2 F2 (s)

c1 f1 (t) + c2 f2 (t)   1 t f a a

(a > 0)

F(as)

F(s − a) e−as F(s)

eat f (t)

(a ≥ 0)

ua (t)f (t − a)

s F(s) − f (0+ )

f  (t)

s2 F(s) − s f (0+ ) − f  (0+ )

f  (t)

sn F(s) − sn−1 f (0+ ) − sn−2 f  (0+ )

f (n) (t)

− · · · − f (n−1) (0+ )


F(s) s




t

f (τ) dτ 0

F  (s)

−t f (t)

F (n) (s)

(−1)n t n f (t)

∞

1 f (t) t

F(x) dx s




t

F(s) G(s)

f (τ) g(t − τ) dτ

0

lim s F(s)

s→∞

lim s F(s) s→0

lim f (t)
f (0+ )

t → 0+

lim f (t)

t →∞

209

210

Tables

Table of Laplace Transforms F(s)

f (t)

1

δ(t)

1 s 1 s2 1 sn

1 t

(n
1, 2, 3, . . .) 1 sν

(s − 1)n s n +1

(ν > 0) (n
0, 1, 2, . . .)

1 s−a 1 s(s − a) 1 (s − a)(s − b)

t n −1 (n − 1)! t ν −1 (ν) e t d n n −t (t e ) n! dt n Laguerre polynomials Ln (t)


eat 1 at (e − 1) a (a 
b)

s (a 
b) (s − a)(s − b) s (s − a)2 a 2 s + a2 s s2 + a 2 a (s − b)2 + a2 s−b (s − b)2 + a2

eat − ebt a−b a eat − b ebt a−b (1 + at) eat sin at cos at ebt sin at ebt cos at

Table of Laplace Transforms

F(s)

f (t)

a s2 − a 2

sinh at

s − a2

cosh at

s2

a (s − b)2 − a2

ebt sinh at

s−b (s − b)2 − a2

ebt cosh at

(s2

1 + a2 )2

1 (sin at − at cos at) 2a3

(s2

s + a2 )2

1 (t sin at) 2a

s2 (s2 + a2 )2

1 (sin at + at cos at) 2a

s3 (s2 + a2 )2

cos at − 12 at sin at

s2 − a 2 (s2 + a2 )2

t cos at

(s2

1 − a2 )2

1 (at cosh at − sinh at) 2a3

(s2

s − a2 )2

1 (t sinh at) 2a

211

212

Tables

F(s)

f (t)

s2 (s2 − a2 )2

1 (sinh at + at cosh at) 2a

s3 (s2 − a2 )2

cosh at + 12 at sinh at

s2 + a 2 (s2 − a2 )2

t cosh at

(a2 
b2 )

a sin bt − b sin at a 2 − b2

(a2 
b2 )

cos bt − cos at a 2 − b2

s2 (s2 + a2 )(s2 + b2 )

(a2 
b2 )

a sin at − b sin bt a 2 − b2

s3 (s2 + a2 )(s2 + b2 )

(a2 
b2 )

a2 cos at − b2 cos bt a 2 − b2

(a2 
b2 )

b sinh at − a sinh bt a 2 − b2

(a2 
b2 )

cosh at − cosh bt a 2 − b2

s2 (s2 − a2 )(s2 − b2 )

(a2 
b2 )

a sinh at − b sinh bt a 2 − b2

s3 (s2 − a2 )(s2 − b2 )

(a2 
b2 )

a2 cosh at − b2 cosh bt a 2 − b2

ab (s2

+

a2 )(s2

(s2

+

a2 )(s2

+

b2 )

+

b2 )

s

ab (s2

−

a2 )(s2

(s2

−

a2 )(s2

−

b2 )

−

b2 )

s

Table of Laplace Transforms

f (t)

F(s) a2 s2 (s2 + a2 )

t−

a2 s2 (s2 − a2 )

1 sinh at − t a

1 √ s

1 √ πt

1 √ s+a

e−at √ πt √ 1 √ erf( at) a

1 s s+a

√

1 √ s s

e−bt − e−at √ 2(b − a) π t 3  t 2 π

1 √ (s − a) s

√ 1 √ eat erf at a

1 √ √ s+a+ s+b

1 √ s−a+b

 e

at

 √ 1 b2 t √ − b e erfc(b t) πt

1 √ 2 s + a2

J0 (at)

1 √ s2 − a 2

I0 (at)

√ ( s2 + a2 − s)ν √ s2 + a 2 √ (s − s2 − a2 )ν √ s2 − a 2

(ν > −1)

aν Jν (at)

(ν > −1)

aν Iν (at)

1 2 (s + a2 )ν

(ν > 0)

1 − a2 )ν

(ν > 0)

(s2

1 sin at a

√  ν− 1 2 π t Jν− 1 (at) 2 (ν) 2a √  ν− 1 2 π t Iν− 1 (at) 2 (ν) 2a

213

214

Tables

f (t)

F(s)

√ ( s2 + a2 − s)ν

(ν > 0)

νaν Jν (at) t

√ s 2 − a 2 )ν

(ν > 0)

νaν Iν (at) t

(s −

√ √ s−a− s−b

1 √ (ebt − eat ) 2t π t √ cos 2 at √ πt √ sin 2 at √ πa

e−a/s √ s e−a/s √ s s e−a/s s ν +1

(ν > −1)

 ν/2 √ t Jν (2 at) a

(a > 0)

e−a /4t √ πt

√

e −a s √ s e −a e −a s

√

√

2

s

(a > 0)

s

(a > 0) √

s 2 +a 2

e −k √ s2 + a 2 √

e −k s −a √ s2 − a 2 2

2

   

a 2 e−a /4t √ 3 2 πt   a erfc √ 2 t

0 0 0)

ua (t)

s 2 1 e−as
s(eas − 1) s(1 − e−as ) e −s 1
(a 
1) s(es − a) s(1 − ae−s ) 1 − e −s es − 1
s(es − a) s(1 − ae−s ) es

2

/4

erfc

1 s(1 − e−as )

2 2 √ e −t π

  t ([t] : greatest integer ≤ t) a a[t] − 1 a−1 a[t] f (t)

4 3 2 1

O

a

2

a

2

a

3

a

3

a

4

a

t

a

4

a

t

f (t)

1

1 s(1 + e−as )

O f (t)

1

1 s(1 + eas )

O

a

2

a

a

2

a

4

a

4

3

a

a

t

a

t

5

f (t)

1

1 − e−as s(eas + e−as )

O

1

a

3

a

5

216

Tables

f (t)

F(s) f (t)

1

(1 − e−as ) 1 as
tanh − as s(1 + e ) s 2

O

1

a

a

a

2

a

3

t

4

f (t)

1 − e−as 1 as
2 tanh 2 − as as (1 + e ) as 2

1

O

a

2

a

3

a

2

a

3

a

t

a

t

a

4

a

4

f (t)

1 − (1 + as)e−as as2 (1 − e−2as )

1

O

f (t)

1

ω (s2 + ω2 )(1 − e−π s/ω )

O

!

2

!

3

!

t

!

2

3

t

f (t)

  ω 1 + e−π s/ω ω πs coth
2 2 2 − π s/ω 2 s +ω 1−e s +ω 2ω   s+a log s+b

−(log s + γ) s

(γ: Euler constant)

1

O

!

e−bt − e−at t

log t

!

Table of Laplace Transforms

F(s)

f (t)

log s s

−(log t + γ)

2  s + a2 log 2 s + b2

2 (cos bt − cos at) t

tan−1

a s

sinh xs s sinh as sinh xs s cosh as cosh xs s sinh as cosh xs s cosh as sinh xs 2 s sinh as sinh xs s2 cosh as cosh xs s2 sinh as cosh xs cosh as √ sinh x s √ sinh a s

s2

217

1 sin at t ∞ x 2 (−1)n nπx nπt + sin cos a π n
1 n a a     ∞ 4 (−1)n−1 2n − 1 2n − 1 πx sin πt sin π n
1 2n − 1 2a 2a ∞ t 2 (−1)n nπx nπt + cos sin a π n
1 n a a     ∞ 4 (−1)n 2n − 1 2n − 1 1+ πx cos πt cos π n
1 2n − 1 2a 2a ∞ xt 2a  (−1)n nπx nπt + 2 sin sin 2 a π n
1 n a a     ∞ 8a  (−1)n 2n − 1 2n − 1 x+ 2 sin πx cos πt π n
1 (2n − 1)2 2a 2a   ∞ 1 a2 2a  (−1)n nπx nπt 2 2 x +t − cos cos − 2 2a 3 π n
1 n 2 a a     ∞ 8a  (−1)n 2n − 1 2n − 1 t+ 2 cos πx sin πt π n
1 (2n − 1)2 2a 2a ∞ 2π  nπx 2 2 2 (−1)n ne−n π t/a sin 2 a n
1 a

218

Tables

F(s)

f (t)

√ cosh x s √ cosh a s √ sinh x s √ √ s cosh a s √ cosh x s √ √ s sinh a s √ sinh x s √ s sinh a s √ cosh x s √ s cosh a s √ sinh x s √ s2 sinh a s √ cosh x s √ s2 cosh a s

  ∞ π  2n − 1 n −1 −(2n−1)2 π2 t/4a2 (−1) (2n − 1)e cos πx a 2 n
1 2a   ∞ 2 2n − 1 n−1 −(2n−1)2 π2 t/4a2 (−1) e sin πx a n
1 2a ∞ 1 2 nπx 2 2 2 + (−1)n e−n π t/a cos a a n
1 a ∞ x 2 (−1)n −n2 π2 t/a2 nπx + sin e a π n
1 n a   ∞ 4 (−1)n −(2n−1)2 π2 t/4a2 2n − 1 1+ cos πx e π n
1 2n − 1 2a ∞ xt 2a2  (−1)n nπx −n2 π2 t/a2 + 3 (1 − e ) sin a π n
1 n 3 a   ∞ x2 − a 2 16a2  (−1)n −(2n−1)2 π2 t/4a2 2n − 1 + t − 3 n
1 e cos πx 2 π (2n − 1)3 2a

Answers to Exercises

Exercises 1.1. 4 1. (a) 2 s 2s (c) 2 s +9 1 (e) − (s − 2)2 e−as s e−(s−1) 2 2e−s (i) − + s s s−1  −s  1 1 e 2. (a) − +1 s s s (g)

1 s−2 s 1 (d) − 2 s s + ω2 1 (f) 2 s − 2s + 2 (b)

(h)

ω(1 + e−πs/ω ) s2 + ω 2

(b)

1 (1 − e−s )2 s2

Exercises 1.3. 1. f (t) is continuous except at t
−1. 2. g(t) is continuous on R\{0}, and also at 0 if we define g(0)
0.

219

220

Answers to Exercises

3. h(t) is continuous on R\{1}, with a jump discontinuity at t
1. 4. i(t) is continuous on R. 5. j(t) is continuous on R\{0}. 6. k(t) is continuous on R\{0}, with a jump discontinuity at t
0. 7. l(t) is continuous except at the points t
a, 2a, 3a, . . ., where it has a jump discontinuity. 8. m(t) is continuous except at the points t
a, 2a, 3a, . . ., where it has a jump discontinuity. Exercises 1.4. 1. (i) c1 f1 + c2 f2 is piecewise continuous, of order max(α, β). (ii) f · g is piecewise continuous, of order α + β. Exercises 1.5. 1. (a) Yes.

No.

Exercises 1.6. 3 12 2 + 2 1. 2 + s (s − 2) s + 9 3. (a) 4. 5.

s2 − 2ω2 s(s2 − 4ω2 )

3s − 4 s2 − 4 ∞  (−1)n ω2n n
0

s2n+1 2

2ω , + 4ω2 )   1 7. log 1 + s 6.

8.

s(s2




(b)

∞  (−1)n ω2n+1

s , 2 s + ω2

n
0

s2n+2

s + 2ω s(s2 + 4ω2 ) 2

2ω2 s(s2 − 4ω2 )

2

  ∞  (−1)n+1  ω 2n 1 ω2
log 1 + 2 2n s 2 s n
1




s2

ω + ω2

Answers to Exercises

221

9. No. Exercises 1.7.



2. (a) N(t)


1 t
0 0t
 0

(There are many other examples.) (d) f (t) ≡ 0 is the only continuous null function. ∞  3. (b) f (t)
una (t). n
0

Exercises 1.8. 1. (a)

2 (s + ω)3 √ 2 (d) (s − 7)2 − 2

3 (s − 2)2 + 9

(b)

(c) 2t 2 e4t

e−t sin 2t   √ √ 3 (f) e−3t cosh(2 2 t) − √ sinh(2 2 t) 2 2 (cos θ)(s + a) − (sin θ)ω (g) (s + a)2 + ω2

(e)

1 2

(h) e−t (1 − t) 2. (a)

e−2(s−a) s−a

3. (a)

1 2

(b)

s e−πs/2 (s2 + 1)

u2 (t)(t − 2)2

(c)

s e−πs s2 + 1

(b) E − ua (t) cos(t − a)

√  1 (c) √ uπ (t) sinh 2(t − π) 2 Exercises 1.9. 1. (a) (c)

s2 + ω 2 (s2 − ω2 )2

(b)

2s(s2 − 3ω2 ) (s2 + ω2 )3

(d)

(s2

2ωs − ω 2 )2

2ω(2s2 − ω2 ) (s2 + ω2 )3

222

Answers to Exercises

2 (cos bt − cos at) t

(b)

sin t t

eat − ebt a−b

(b)

1 3

(c) −1 + et + t 2 et

(d)

3. (a)

a e−a /4t 4. √ 2t πt 2

Exercises 1.10. 1. (a)

(e) (g) (h)

1 (cosh bt − cos at) a 2 + b2 3 −t e + 54 2 1 − 54 e3t 4

(f)

e−t + 16 et/2

b2 5 2

1 (cos at − cos bt) − a2

+ 2t +

t2 2

− 3et + 12 e2t

t e−t − 32 cos t + 14 sin t − 14 t sin t

+

23 20

e4t −

3 20

e −t

2. The answer for both parts (a) and (b) is a sinh at b sinh bt c sinh ct + 2 + 2 . 2 2 2 2 2 2 2 (a − b )(a − c ) (b − a )(b − c ) (c − a2 )(c2 − b2 ) Exercises 2.1. √ √ π (b) 2 (c) −2 π 2. (a) 2 √ u2 (t) π (b) √ 3. (a) √ π(t − 2) s−3 2 (d) e−t (c) √ t 1/2 eat π   ∞  (−1)n+1 t 2n−1 1 − cos t (e)
2 n(2n − 1)! t n
1 √ π (f) 3/2 2s Exercises 2.2. 1 1. (a) s(1 + e−as )

√ 4 π (d) 3

Answers to Exercises

1 (b) s



1 − e−as 1 + e−as




1 as tanh s 2

1 − e−as − as e−as a s2 (1 − e−2as )   1 1 − e−as 1 as (d) 2
2 tanh − as as 1 + e as 2 (c)

2.

1 s(1 + e−as )

 n 3. f (t)
u(t) + 2 ∞ n
1 ( −1) una (t) 1 as F(s)
tanh s 2 ∞ 1 (−1)n (e−as(2n+1) − e−2as(n+1) ) 4. F(s)
s n
0 f (t)


∞  n
0

  (−1)n u(2n+1)a (t) − u2a(n+1) (t)

f (t) 1

Graph of f (t) :

O

a

a

2

a

3

a

4

a t

5

1

Exercises 2.3. 6ω3 (s2 + 9ω2 )(s2 + ω2 ) s(s2 + 7ω2 ) (b) 2 (s + 9ω2 )(s2 + ω2 )

5. (a)

6. Use induction. 7. f (t)
e[t+1] , where [t]
greatest integer ≤ t. 2

Exercises 2.4. 1. (a) y
− 12 (et + cos t − sin  t)7 −t 1 1 t 1 2 (b) y
e 2 t − 2 t + 4 + 4 e

223

224

Answers to Exercises

(c) (d) (e) (f) (g) (h)

y
13 sin t − 16 sin 2t + cos 2t 13 3t y
− 14 t et + 16 e + 19 e −t 16 1 13 1 t 8 −4t y
− 170 cos t − 170 sin t − 30 e − 85 e + − t − t +1 y
t − 1 + 2e − u1 (t)[t − 2 + e ] 1 y
2 [t sin t + uπ (t)(t − π) sin(t − π)] y
12 cos t + 14 e−t + 14 et

2 15

e−2t

2. (a) y
(−1/2λ)t cos λt + cos λt + π sin λt (b) y
t/λ2 + cos λt + 1/λ + 1/λ3 sin λt. 3. (a) I(t)
(E0 /R) + (I0 − E0 /R) e−Rt/L I (t) I0

E0 =R O

(b)

t

 4. I(t)
(E0 /R) − (E0 /R) + AR/(L2 ω2 + R2 ) e−Rt/L 

    + AR/(L2 ω2 + R2 ) cos ωt + ALω/(L2 ω2 + R2 ) sin ωt 5. I(t)


sin t +

3 10

1 10

cos t − 32 e−t +

6. (a) x(t)
e−2t + e−t y(t)
e−2t − e−t (b) x(t)
t + sin t y(t)
t + cos t (c) x(t)
t + e−t − 1 y(t)
e−t − t 7. (a) y(t)
−1 + Ct (b) y(t)
t + C t 2 ∞  (−1)n t n+1 (c) y(t)
C (n + 1)! n! n
0 − t (d) y(t)
t e Exercises 2.5. 1. y(t)


2t

e √

sinh 2

√

2t

√  √ k/m t 2. x(t)
(1/ km) sin

12 −2t e 5

Answers to Exercises

3. I(t)
(1/L)e−Rt/L 4. x(t)
t e−t Exercises 2.6.



1. (a) 0

(b)

f (0+ )




1 if n
0 0 if n > 0

(c) a − b 2. (a) 0

(b) 1

Exercises 2.7. 1. (a) 13 (et − e−2t ) (d) (e)

1 (2t − 32 1 (t sin t 8

(b) 1 − cos t

1) +

e−4t 32

(2t + 1)

− t 2 cos t)

√ a (b) √ (s − a) s

√

√

6. (a) (1/ a) erf( at)

√ a(3s + 2a) (c) 2 2s (s + a)3/2 7. (a) u1 (t) J0 (t − 1) 8. π/2 10. (a) 1 +

√2

sin 3

(c) t − sin t

(b)

∞  (−1)n a2n t 2n+1 22n (2n + 1)(n!)2 n
0

√  3 t et/2 2

(b) − 15 cos t + 35 sin t + 15 e2t (c) 0 (d) e−at 11. (a) 12 (sin t + t cos t) (b) Same as for 7(b) with a
1 t 12. 14 0 (e3τ − e−τ ) f (t − τ) dτ Exercises 2.8. 1. (a)

2 3

et + 43 e−2t − 2e−t

(c) − 13 et +

1 30

e−2t +

1 3t e 45

(b)

+ 13 t +

5 18

1 4

et − 14 e−t − 12 sin t

225

226

Answers to Exercises

 4.

1 2

e−t/2

√ √  7 1 7 cos t − √ sin t + 12 (sin t − cos t) 2 2 7

Exercises 2.9. 4. (a) an
3n − 4n (c) an


[1 − (−1)n ] [t] 6. (a) y(t)
n
0 (−1)n et−n 1 2

(b) an
12 (2n − 4n ) (d) an
n (b) y(t)


[t]

n
0

(t − n)n+2 /(n + 2)!

7. an
4 + 2n − 7 · 2n + 3n+1

Exercises 3.1. 1. (a) 8 + i

(b) 24 + 18i (c) 75 − 45 i √   2. (a) |(1 + i)3 |
2 2, arg (1 + i)3
3π/4     3 3
−
2 R e (1 + i) 2, I m (1 + i)     1 − i 1 − i 3π 
1, arg (b) 
1 + i 1+i 2     1−i 1−i Re
0, I m
−1 1 +i   1+i  1  1 1 π 
, arg
(c)   2 2 (1 − i) 2 (1 − i) 2     1 1 1 Re
0, I m
2 2 (1− i) (1− i) 2    4 + 3i  √ 4 + 3i 
5, arg
tan−1 (2) (d)  2−i  2−i     4 + 3i 4 + 3i Re
1, I m
2 2−i 2−i   3π (e) |(1 + i)30 |
215 , arg (1 + i)30
2     30 30 Re (1 + i)
0, I m (1 + i)
215 . √ 3π √ −1 (d) (4 + 3i)/(2 − i)
5 ei tan (2) 3. (a) (1 + i)3
2 2 ei 4

Answers to Exercises

|z − i| < 1

7. (a)

(b)

y

i

y

O

O (c)

1 ≤ |z | ≤ 2

x

x

π 3π < arg(z) < , |z | < 1 2 2

y

O

x

√ √ π 8. (a) ei 4
1/ 2 + i/ 2

(b) 1 (n
0, ±1, ±2, . . .) √ (d) (1/2) − ( 3/2) i

(c) −1 (n
0, ±1, ±2, . . .) √ π 3π 5π 7π 9. (a) 4 −1
ei 4 , ei 4 , ei 4 , ei 4 √ π 5π 9π (b) 3 i
ei / 6 , ei 6 , ei 6
−i √ √ 9π √ 17π √ 25π √ 33π √ π (c) 5 1 + i
10 2 ei 20 , 10 2 ei 20 , 10 2 ei 20 , 10 2 ei 20 , 10 2 ei 20 Exercises 3.2. (b) 1 + i (3π/2)

2. (a) iπ (c) iπ/2 3. (a) e−π/2 (c) (1 + i)e−π/4 ei log

(b) ei √

2

Exercises 3.3. 1. (a) 2πi

(b) 2πi

(c) 0

227

228

Answers to Exercises

(d) iπ

(e) 0

(g) 2πi(2 − cos 1)

(h) πi(−24π2 + 6)   (b) 1 + (π/2) + i(1 − π)

2. (a) −iπ

(f) 0

5. |f (4) (0)| ≤ 120 6. Look at 1/f (z). 7. Look at f (z)/ez . Exercises 3.4. 1. (a) R
1

(b) R
∞

(c) R
1 2. (a) (b) (c) (d)

(d) R
∞  2 ez
∞ z 2n /n!, R
∞ n
0 ∞ 2n+1 sinh z
n /(2n + 1)!, R
∞
0 z ∞ 1/(1 − z)
n
0 z n , R
1 n n +1 log(1 + z)
∞ /(n + 1), R
1 n
0 ( −1) z

4. (a) z z (b) z (c) z (d) z


0 (simple pole)
±i (poles of order 2)
0 (pole of order 3)
0 (essential singularity)
1 (removable singularity)

5. (a) 1 + (c) 1 −

z2 6 z 3

+ +

1 6. (a) − 3z + 1 (b) − 3z + 1 (c) − 3z +

7z 4 360

(b)

1 z2

−

1 6

+

7z 2 360

2z 2 15 ∞  1 n n +2 (−1)n z n − 14 ∞ n
0 z /3 4 n
0  ∞ ∞ 1 1 n n +1 (−1) /z − 4 n
0 z n /3n+2 4 n
0 ∞ ∞ 1 1 n n +1 n n +1 + 12 n
0 ( −1) /z n
0 3 /z 4

7. (a) Res(±ia)
1/2 (b) Res(0)
1/2   (2n − 1) i Res πi
a (2n − 1)π

n
0, ±1, ±2, . . .

(c) Res(0)
0 8. (a) −2πi

(b) 0

(c) 6πi

229 (d) −4πi 9. −

(e) 0

2π 7

Exercises 4.   1. (a) 1/(a − b) (a eat − b ebt ) (c)

1 2a 1 8a

t sin at

(b) eat

1

at 2 + t 2



(d) t cosh at

(e) (3t sin at + at cos at) √ √ 6. 1/ s + 1( s + 1 + 1) 2

Exercises 5. 1. y(x, t)
x(t − 1 + 2e−t ) √ 2 2. (a) u(x, t)
(x/2 πt 3 ) e−x /4t  √ (b) u(x, t)
u0 + (u1 − u0 ) erfc x/2 t   −n 2 π 2 t  n (c) u(x, t)
x + (2/π) ∞ sin nπx n
1 ( −1) /n e ∞ n +1 − n2 π2 t/2 (d) u(x, t)
(2a/π) n
1 (−1) /n e sin(nπx/) 3. (a) y(x, t)
sin πx cos πt      (−1)n cos 2n2−1 πx cos 2n2−1 πt (b) y(x, t)
1 + (4/π) ∞ n
1 2n − 1    n +1 /n2 sin nπx sin nπt (c) y(x, t)
(2/π2 )  ∞ n
1 ( −1) 1  (d) y(x, t)
2 ∞ n
1 0 f (u) sin nπu du sin nπx cos nπt   4. y(x, t)
(sin πx)/π2 (cos πt − 1) √ 2 2 5. u(x, t)
(1/a πt)e−x /4a t

Index

Analytic functions, 123

Argument, 117 Asymptotic values, 88 Bessel function, 72, 97, 213, 214

Beta function, 96 Boundary-value problems, 64 Branch cut, 122 point, 123, 167 Bromwich line, 152 contour, 152

Complex inversion formula, 151 numbers, 115 plane, 117 Complementary error function, 172 Conjugate, 116 Continuity, 8 piecewise, 10 Contour, 128 Convergence, 2, 6 absolute, 6 uniform, 7, 20 Cycloid, 101

Cauchy

inequality, 134, 145 integral formula, 133 residue theorem, 143 –Riemann equations, 123 theorem, 131 Circle of convergence, 137 Closed (contour), 128

De Moivre’s theorem, 117

Derivative theorem, 54 Difference equations, 108 Differential equations, 59 Differentiation of Laplace transform, 31 under the integral sign, 203

231

232 Diffusivity, 180 Divergence, 2 Dirac operator, 74, 210, 215

Index

function, 25, 79, 215 Hyperbolic equations, 175 functions, 121

Electrical circuits, 68, 83

Elliptic equations, 175 Equation of motion, 85 Error function, 95 Euler constant, 44, 47 formula, 3, 117 Excitation, 61 Exponential order, 12 Fibonacci equation, 114

First translation theorem, 27 Forcing function, 61 Fourier inversion formula, 205 series, 163 transform, 151 Full–wave–rectified sine, 51, 216 Fundamental theorem of algebra, 200 Functions (complex-valued), 120

Impulsive response, 104 Imaginary axis, 117 number, 116 part, 116 Independence of path, 132 Indicial response, 105 Infinite series, 17, 44 Initial point, 128 -value theorem, 88 Input, 61 Integral equations, 98 Integrals, 66 Integration, 33, 128 Integro-differential equations, 67 Jump discontinuity, 8 Kirchoff’s voltage law, 68

Gamma function, 41

Laplace

General solutions, 63 Greatest integer ≤ t, 109, 113, 215

operator, 126 transform (definition), 1, 78 transform method, 60, 176 transform tables, 210 –Stieltjes transform, 78 Laurent series, 139 Lerch’s theorem, 24 Linearity, 16 Liouville’s theorem, 134 Logarithm, 122, 216, 217

Half–wave–rectified sine, 50,

216 Harmonic function, 126 conjugate, 126 Heat equation, 175, 180 Heaviside expansion theorem, 107

Mechanical system, 84

233

Index

Meromorphic function, 141 Modified bessel function, 102, 213, 214 Modulus, 116 Multiple-valued function, 120

–Stieltjes integral, 75, 201 Roots of unity, 118 of a complex number, 118 Second translation theorem, 29

Null function, 26 One-dimensional

heat equation, 180 wave equation, 186 Order (of a pole), 141 Ordinary differential equations, 59 with polynomial coefficients, 70 Output, 61 Parabolic equations, 175

Partial differential equations, 175 fractions, 35 Partition, 75, 193 Periodic functions, 47 Positive direction, 128 Polar Form, 117 Pole, 141 Power series, 136 Principal logarithm, 122 Radius of convergence, 136

Real part, 116 Residue, 38, 142 Response, 61 Riemann integrable, 193 integral, 194

Simple contour, 128 pole, 38, 141 Simply connected, 130 Sine integral, 67 Single-valued functions, 120 Singularities essential, 141 pole, 141 removable, 141 Smooth (contour), 128 Square–wave, 49, 215 Steady-state solutions, 103 Systems of differential equations, 65 Superposition principle, 106 Tautochrone, 100

Taylor coefficients, 138 series, 138 Terminal point, 128 -value theorem, 89 Translation theorems, 27 Uniqueness of inverse, 23

Unit step function, 24, 79, 215 Wave equation, 176, 186

Undergraduate Texts in Mathematics (continuedfrom page ii)

Isaac: The Pleasures of Probability. Readings in Mathematics. James: Topological and Unifonn Spaces. Jiinich: Linear Algebra. Jiinich: Topology. Kemeny/Snell: Finite Markov Chains. Kinsey: Topology of Surfaces. Klambauer: Aspects of Calculus. Lang: A First Course in Calculus. Fifth edition. Lang: Calculus of Several Variables. Third edition. Lang: Introduction to Linear Algebra. Second edition. Lang: Linear Algebra. Third edition. Lang: Undergraduate Algebra. Second edition. Lang: Undergraduate Analysis. LaxIBursteinlLax: Calculus with Applications and Computing. Volume l. LeCuyer: College Mathematics with APL. LidllPilz: Applied Abstract Algebra. Second edition. Logan: Applied Partial Differential Equations. Macki-Strauss: Introduction to Optimal Control Theory. Malitz: Introduction to Mathematical Logic. MarsdenIWeinstein: Calculus I, II, III. Second edition. Martin: The Foundations of Geometry and the Non-Euclidean Plane. Martin: Geometric Constructions. Martin: Transfonnation Geometry: An Introduction to Symmetry. Millman/Parker: Geometry: A Metric Approach with Models. Second edition. Moschovakis: Notes on Set Theory. Owen: A First Course in the Mathematical Foundations of Thennodynamics. Palka: An Introduction to Complex Function Theory.

Pedrick: A First Course in Analysis. Peressini/SullivanlUhl: The Mathematics of Nonlinear Programming. PrenowitzlJantosciak: Join Geometries. Priestley: Calculus: A Liberal Art. Second edition. ProtterlMorrey: A First Course in Real Analysis. Second edition. ProtterlMorrey: Intennediate Calculus. Second edition. Roman: An Introduction to Coding and Infonnation Theory. Ross: Elementary Analysis: The Theory of Calculus. Samuel: Projective Geometry. Readings in Mathematics. Scharlau/Opolka: From Fennat to Minkowski. Schiff: The Laplace Transfonn: Theory and Applications. Sethuraman: Rings, Fields, and Vector Spaces: An Approach to Geometric Constructability. Sigler: Algebra. SilvermanITate: Rational Points on Elliptic Curves.. Simmonds: A Brief on Tensor Analysis. Second edition. Singer: Geometry: Plane and Fancy. Singerffhorpe: Lecture Notes on Elementary Topology and Geometry. Smith: Linear Algebra. Third edition. Smith: Primer of Modem Analysis. Second edition. StantonIWhite: Constructive Combinatorics. Stillwell: Elements of Algebra: Geometry, Numbers, Equations. Stillwell: Mathematics and Its History. Stillwell: Numbers and Geometry. Readings in Mathematics. Strayer: Linear Programming and Its Applications. Thorpe: Elementary Topics in Differential Geometry. Toth: Glimpses of Algebra and Geometry. Readings in Mathematics.

Troutman: Variational Calculus and Optimal Control. Second edition. Valenza: Linear Algebra: An Introduction to Abstract Mathematics.

WhyburnlDuda: Dynamic Topology. Wilson: Much Ado About Calculus.