Download Table of Integrals, Series, and Products

Table of Integrals, Series, and Products
Seventh Edition
Table of Integrals, Series, and Products
Seventh Edition
I.S. Gradshteyn and I.M. Ryzhik
Alan Jeffrey, Editor
University of Newcastle upon Tyne, England
Daniel Zwillinger, Editor
Rensselaer Polytechnic Institute, USA
Translated from Russian by Scripta Technica, Inc.
AMSTERDAM • BOSTON • HEIDELBERG • LONDON
NEW YORK • OXFORD • PARIS • SAN DIEGO
SAN FRANCISCO • SINGAPORE • SYDNEY • TOKYO
Academic Press is an imprint of Elsevier
Academic Press is an imprint of Elsevier
30 Corporate Drive, Suite 400, Burlington, MA 01803, USA
525 B Street, Suite 1900, San Diego, California 92101-4495, USA
84 Theobald’s Road, London WC1X 8RR, UK
∞
This book is printed on acid-free paper. c 2007, Elsevier Inc. All rights reserved.
Copyright No part of this publication may be reproduced or transmitted in any form or by any
means, electronic or mechanical, including photocopy, recording, or any information
storage and retrieval system, without permission in writing from the publisher.
Permissions may be sought directly from Elsevier’s Science & Technology Rights
Department in Oxford, UK: phone: (+44) 1865 843830, fax: (+44) 1865 853333,
E-mail: [email protected]. You may also complete your request online
via the Elsevier homepage (http://elsevier.com), by selecting “Support & Contact”
then “Copyright and Permission” and then “Obtaining Permissions.”
For information on all Elsevier Academic Press publications
visit our Web site at www.books.elsevier.com
ISBN-13: 978-0-12-373637-6
ISBN-10: 0-12-373637-4
PRINTED IN THE UNITED STATES OF AMERICA
07 08
09 10 11 9
8
7
6
5
4
3
2
1
Contents
Preface to the Seventh Edition
Acknowledgments
The Order of Presentation of the Formulas
Use of the Tables
Index of Special Functions
Notation
Note on the Bibliographic References
0
Introduction
0.1
0.11
0.12
0.13
0.14
0.15
0.2
0.21
0.22
0.23–0.24
0.25
0.26
0.3
0.30
0.31
0.32
0.33
0.4
0.41
0.42
0.43
0.44
1
xxi
xxiii
xxvii
xxxi
xxxix
xliii
xlvii
Finite Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Progressions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sums of powers of natural numbers . . . . . . . . . . . . . . . .
Sums of reciprocals of natural numbers . . . . . . . . . . . . . .
Sums of products of reciprocals of natural numbers . . . . . . .
Sums of the binomial coefficients . . . . . . . . . . . . . . . . .
Numerical Series and Infinite Products . . . . . . . . . . . . . .
The convergence of numerical series . . . . . . . . . . . . . . .
Convergence tests . . . . . . . . . . . . . . . . . . . . . . . . .
Examples of numerical series . . . . . . . . . . . . . . . . . . .
Infinite products . . . . . . . . . . . . . . . . . . . . . . . . . .
Examples of infinite products . . . . . . . . . . . . . . . . . . .
Functional Series . . . . . . . . . . . . . . . . . . . . . . . . . .
Definitions and theorems . . . . . . . . . . . . . . . . . . . . . .
Power series . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Fourier series . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Asymptotic series . . . . . . . . . . . . . . . . . . . . . . . . . .
Certain Formulas from Differential Calculus . . . . . . . . . . . .
Differentiation of a definite integral with respect to a parameter .
The nth derivative of a product (Leibniz’s rule) . . . . . . . . . .
The nth derivative of a composite function . . . . . . . . . . . .
Integration by substitution . . . . . . . . . . . . . . . . . . . . .
Elementary Functions
Power of Binomials . . . .
1.11
Power series . . . . . . .
1.12
Series of rational fractions
1.2
The Exponential Function
1.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
1
3
3
3
6
6
6
8
14
14
15
15
16
19
21
21
21
22
22
23
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
25
26
26
vi
CONTENTS
1.21
1.22
1.23
1.3–1.4
1.30
1.31
1.32
1.33
1.34
1.35
1.36
1.37
1.38
1.39
1.41
1.42
1.43
1.44–1.45
1.46
1.47
1.48
1.49
1.5
1.51
1.52
1.6
1.61
1.62–1.63
1.64
2
Series representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series of exponentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Trigonometric and Hyperbolic Functions . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The basic functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . .
The representation of powers of trigonometric and hyperbolic functions in terms
of functions of multiples of the argument (angle) . . . . . . . . . . . . . . . . .
The representation of trigonometric and hyperbolic functions of multiples of
the argument (angle) in terms of powers of these functions . . . . . . . . . . .
Certain sums of trigonometric and hyperbolic functions . . . . . . . . . . . . .
Sums of powers of trigonometric functions of multiple angles . . . . . . . . . .
Sums of products of trigonometric functions of multiple angles . . . . . . . . .
Sums of tangents of multiple angles . . . . . . . . . . . . . . . . . . . . . . . .
Sums leading to hyperbolic tangents and cotangents . . . . . . . . . . . . . . .
The representation of cosines and sines of multiples of the angle as finite products
The expansion of trigonometric and hyperbolic functions in power series . . . .
Expansion in series of simple fractions . . . . . . . . . . . . . . . . . . . . . .
Representation in the form of an infinite product . . . . . . . . . . . . . . . . .
Trigonometric (Fourier) series . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series of products of exponential and trigonometric functions . . . . . . . . . .
Series of hyperbolic functions . . . . . . . . . . . . . . . . . . . . . . . . . . .
Lobachevskiy’s “Angle of Parallelism” Π(x) . . . . . . . . . . . . . . . . . . .
The hyperbolic amplitude (the Gudermannian) gd x . . . . . . . . . . . . . . .
The Logarithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series of logarithms (cf. 1.431) . . . . . . . . . . . . . . . . . . . . . . . . . .
The Inverse Trigonometric and Hyperbolic Functions . . . . . . . . . . . . . . .
The domain of definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Indefinite Integrals of Elementary Functions
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.00
General remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.01
The basic integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.02
General formulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1
Rational Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10
General integration rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.11–2.13
Forms containing the binomial a + bxk . . . . . . . . . . . . . . . . . . . . . .
2.14
Forms containing the binomial 1 ± xn . . . . . . . . . . . . . . . . . . . . . .
2.15
Forms containing pairs of binomials: a + bx and α + βx . . . . . . . . . . . . .
2.16
Forms containing the trinomial a + bxk + cx2k . . . . . . . . . . . . . . . . . .
2.17
Forms containing the quadratic trinomial a + bx + cx2 and powers of x . . . .
2.18
Forms containing the quadratic trinomial a + bx + cx2 and the binomial α + βx
2.2
Algebraic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.20
Introduction . . . . . . . . . . . . . . . . .√. . . . . . . . . . . . . . . . . . .
2.21
Forms containing the binomial a + bxk and x . . . . . . . . . . . . . . . . .
2.0
26
27
27
28
28
28
31
33
36
37
38
39
39
41
42
44
45
46
51
51
51
52
53
53
55
56
56
56
60
63
63
63
64
65
66
66
68
74
78
78
79
81
82
82
83
CONTENTS
2.22–2.23
2.24
2.25
2.26
2.27
2.28
2.29
2.3
2.31
2.32
2.4
2.41–2.43
2.44–2.45
2.46
2.47
2.48
2.5–2.6
2.50
2.51–2.52
2.53–2.54
2.55–2.56
2.57
2.58–2.62
2.63–2.65
2.66
2.67
2.7
2.71
2.72–2.73
2.74
2.8
2.81
2.82
2.83
2.84
2.85
vii
n
Forms containing √
(a + bx)k . . . . . . . . . . . . . . . . . . . . . . . . . .
Forms containing √a + bx and the binomial α + βx . . . . . . . . . . . . . .
Forms containing √a + bx + cx2 . . . . . . . . . . . . . . . . . . . . . . . .
Forms containing √a + bx + cx2 and integral powers of x . . . . . . . . . . .
Forms containing √a + cx2 and integral powers of x . . . . . . . . . . . . . .
Forms containing a + bx + cx2 and first- and second-degree polynomials . .
Integrals that can be reduced to elliptic or pseudo-elliptic integrals . . . . . .
The Exponential Function . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Forms containing eax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The exponential combined with rational functions of x . . . . . . . . . . . . .
Hyperbolic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Powers of sinh x, cosh x, tanh x, and coth x . . . . . . . . . . . . . . . . . .
Rational functions of hyperbolic functions . . . . . . . . . . . . . . . . . . .
Algebraic functions of hyperbolic functions . . . . . . . . . . . . . . . . . . .
Combinations of hyperbolic functions and powers . . . . . . . . . . . . . . .
Combinations of hyperbolic functions, exponentials, and powers . . . . . . . .
Trigonometric Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Powers of trigonometric functions . . . . . . . . . . . . . . . . . . . . . . . .
Sines and cosines of multiple angles and of linear and more complicated functions of the argument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Rational functions of√the sine and cosine
. . . . . . . . . . . . . . . . . . . .
√
Integrals containing a ± b sin x or a ± b cos x . . . . . . . . . . . . . . . .
Integrals reducible to elliptic and pseudo-elliptic integrals . . . . . . . . . . .
Products of trigonometric functions and powers . . . . . . . . . . . . . . . .
Combinations of trigonometric functions and exponentials . . . . . . . . . . .
Combinations of trigonometric and hyperbolic functions . . . . . . . . . . . .
Logarithms and Inverse-Hyperbolic Functions . . . . . . . . . . . . . . . . . .
The logarithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of logarithms and algebraic functions . . . . . . . . . . . . . .
Inverse hyperbolic functions . . . . . . . . . . . . . . . . . . . . . . . . . . .
Inverse Trigonometric Functions . . . . . . . . . . . . . . . . . . . . . . . . .
Arcsines and arccosines . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The arcsecant, the arccosecant, the arctangent, and the arccotangent . . . .
Combinations of arcsine or arccosine and algebraic functions . . . . . . . . . .
Combinations of the arcsecant and arccosecant with powers of x . . . . . . .
Combinations of the arctangent and arccotangent with algebraic functions . .
3–4 Definite Integrals of Elementary Functions
3.0
Introduction . . . . . . . . . . . . . . .
3.01
Theorems of a general nature . . . . . .
3.02
Change of variable in a definite integral .
3.03
General formulas . . . . . . . . . . . . .
3.04
Improper integrals . . . . . . . . . . . .
3.05
The principal values of improper integrals
3.1–3.2
Power and Algebraic Functions . . . . .
3.11
Rational functions . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
84
88
92
94
99
103
104
106
106
106
110
110
125
132
139
148
151
151
151
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
161
171
179
184
214
227
231
237
237
238
240
241
241
242
242
244
244
.
.
.
.
.
.
.
.
247
247
247
248
249
251
252
253
253
viii
CONTENTS
3.12
3.13–3.17
3.18
3.19–3.23
3.24–3.27
3.3–3.4
3.31
3.32–3.34
3.35
3.36–3.37
3.38–3.39
3.41–3.44
3.45
3.46–3.48
3.5
3.51
3.52–3.53
3.54
3.55–3.56
3.6–4.1
3.61
3.62
3.63
3.64–3.65
3.66
3.67
3.68
3.69–3.71
3.72–3.74
3.75
3.76–3.77
3.78–3.81
3.82–3.83
3.84
3.85–3.88
3.89–3.91
3.92
3.93
3.94–3.97
3.98–3.99
4.11–4.12
4.13
Products of rational functions and expressions that can be reduced to square
roots of first- and second-degree polynomials . . . . . . . . . . . . . . . . . . .
Expressions that can be reduced to square roots of third- and fourth-degree
polynomials and their products with rational functions . . . . . . . . . . . . . .
Expressions that can be reduced to fourth roots of second-degree polynomials
and their products with rational functions . . . . . . . . . . . . . . . . . . . . .
Combinations of powers of x and powers of binomials of the form (α + βx) . .
Powers of x, of binomials of the form α + βxp and of polynomials in x . . . . .
Exponential Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exponential functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exponentials of more complicated arguments . . . . . . . . . . . . . . . . . . .
Combinations of exponentials and rational functions . . . . . . . . . . . . . . .
Combinations of exponentials and algebraic functions . . . . . . . . . . . . . .
Combinations of exponentials and arbitrary powers . . . . . . . . . . . . . . . .
Combinations of rational functions of powers and exponentials . . . . . . . . .
Combinations of powers and algebraic functions of exponentials . . . . . . . . .
Combinations of exponentials of more complicated arguments and powers . . .
Hyperbolic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hyperbolic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of hyperbolic functions and algebraic functions . . . . . . . . . .
Combinations of hyperbolic functions and exponentials . . . . . . . . . . . . .
Combinations of hyperbolic functions, exponentials, and powers . . . . . . . . .
Trigonometric Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Rational functions of sines and cosines and trigonometric functions of multiple
angles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Powers of trigonometric functions . . . . . . . . . . . . . . . . . . . . . . . . .
Powers of trigonometric functions and trigonometric functions of linear functions
Powers and rational functions of trigonometric functions . . . . . . . . . . . . .
Forms containing powers of linear functions of trigonometric functions . . . . .
Square roots of expressions containing trigonometric functions . . . . . . . . .
Various forms of powers of trigonometric functions . . . . . . . . . . . . . . . .
Trigonometric functions of more complicated arguments . . . . . . . . . . . . .
Combinations of trigonometric and rational functions . . . . . . . . . . . . . .
Combinations of trigonometric and algebraic functions . . . . . . . . . . . . . .
Combinations of trigonometric functions and powers . . . . . . . . . . . . . . .
Rational functions of x and of trigonometric functions . . . . . . . . . . . . . .
Powers of trigonometric
with other powers . . . . . . . . .
functions combined
√
2
2
2
Integrals containing 1 − k sin x, 1 − k cos2 x, and similar expressions . .
Trigonometric functions of more complicated arguments combined with powers
Trigonometric functions and exponentials . . . . . . . . . . . . . . . . . . . . .
Trigonometric functions of more complicated arguments combined with exponentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Trigonometric and exponential functions of trigonometric functions . . . . . . .
Combinations involving trigonometric functions, exponentials, and powers . . .
Combinations of trigonometric and hyperbolic functions . . . . . . . . . . . . .
Combinations involving trigonometric and hyperbolic functions and powers . . .
Combinations of trigonometric and hyperbolic functions and exponentials . . . .
254
254
313
315
322
334
334
336
340
344
346
353
363
364
371
371
375
382
386
390
390
395
397
401
405
408
411
415
423
434
436
447
459
472
475
485
493
495
497
509
516
522
CONTENTS
4.14
4.2–4.4
4.21
4.22
4.23
4.24
4.25
4.26–4.27
4.28
4.29–4.32
4.33–4.34
4.35–4.36
4.37
4.38–4.41
4.42–4.43
4.44
4.5
4.51
4.52
4.53–4.54
4.55
4.56
4.57
4.58
4.59
4.6
4.60
4.61
4.62
4.63–4.64
5
ix
Combinations of trigonometric and hyperbolic functions, exponentials, and powers
Logarithmic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Logarithmic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Logarithms of more complicated arguments . . . . . . . . . . . . . . . . . . . .
Combinations of logarithms and rational functions . . . . . . . . . . . . . . . .
Combinations of logarithms and algebraic functions . . . . . . . . . . . . . . .
Combinations of logarithms and powers . . . . . . . . . . . . . . . . . . . . . .
Combinations involving powers of the logarithm and other powers . . . . . . . .
Combinations of rational functions of ln x and powers . . . . . . . . . . . . . .
Combinations of logarithmic functions of more complicated arguments and powers
Combinations of logarithms and exponentials . . . . . . . . . . . . . . . . . . .
Combinations of logarithms, exponentials, and powers . . . . . . . . . . . . . .
Combinations of logarithms and hyperbolic functions . . . . . . . . . . . . . . .
Logarithms and trigonometric functions . . . . . . . . . . . . . . . . . . . . . .
Combinations of logarithms, trigonometric functions, and powers . . . . . . . .
Combinations of logarithms, trigonometric functions, and exponentials . . . . .
Inverse Trigonometric Functions . . . . . . . . . . . . . . . . . . . . . . . . . .
Inverse trigonometric functions . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of arcsines, arccosines, and powers . . . . . . . . . . . . . . . . .
Combinations of arctangents, arccotangents, and powers . . . . . . . . . . . . .
Combinations of inverse trigonometric functions and exponentials . . . . . . . .
A combination of the arctangent and a hyperbolic function . . . . . . . . . . .
Combinations of inverse and direct trigonometric functions . . . . . . . . . . .
A combination involving an inverse and a direct trigonometric function and a
power . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of inverse trigonometric functions and logarithms . . . . . . . . .
Multiple Integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Change of variables in multiple integrals . . . . . . . . . . . . . . . . . . . . .
Change of the order of integration and change of variables . . . . . . . . . . .
Double and triple integrals with constant limits . . . . . . . . . . . . . . . . . .
Multiple integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Indefinite Integrals of Special Functions
Elliptic Integrals and Functions . . . . . . . . . . . . . . . .
5.11
Complete elliptic integrals . . . . . . . . . . . . . . . . . . .
5.12
Elliptic integrals . . . . . . . . . . . . . . . . . . . . . . . .
5.13
Jacobian elliptic functions . . . . . . . . . . . . . . . . . . .
5.14
Weierstrass elliptic functions . . . . . . . . . . . . . . . . . .
5.2
The Exponential Integral Function . . . . . . . . . . . . . .
5.21
The exponential integral function . . . . . . . . . . . . . . .
5.22
Combinations of the exponential integral function and powers
5.23
Combinations of the exponential integral and the exponential
5.3
The Sine Integral and the Cosine Integral . . . . . . . . . . .
5.4
The Probability Integral and Fresnel Integrals . . . . . . . . .
5.5
Bessel Functions . . . . . . . . . . . . . . . . . . . . . . . .
5.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
525
527
527
529
535
538
540
542
553
555
571
573
578
581
594
599
599
599
600
601
605
605
605
607
607
607
607
608
610
612
619
619
619
621
623
626
627
627
627
628
628
629
629
x
CONTENTS
6–7 Definite Integrals of Special Functions
6.1
Elliptic Integrals and Functions . . . . . . . . . . . . . . . . . . . . . . . . .
6.11
Forms containing F (x, k) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.12
Forms containing E (x, k) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.13
Integration of elliptic integrals with respect to the modulus . . . . . . . . . .
6.14–6.15
Complete elliptic integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.16
The theta function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.17
Generalized elliptic integrals . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2–6.3
The Exponential Integral Function and Functions Generated by It . . . . . . .
6.21
The logarithm integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.22–6.23
The exponential integral function . . . . . . . . . . . . . . . . . . . . . . . .
6.24–6.26
The sine integral and cosine integral functions . . . . . . . . . . . . . . . . .
6.27
The hyperbolic sine integral and hyperbolic cosine integral functions . . . . .
6.28–6.31
The probability integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.32
Fresnel integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4
The Gamma Function and Functions Generated by It . . . . . . . . . . . . .
6.41
The gamma function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.42
Combinations of the gamma function, the exponential, and powers . . . . . .
6.43
Combinations of the gamma function and trigonometric functions . . . . . . .
6.44
The logarithm of the gamma function∗ . . . . . . . . . . . . . . . . . . . . .
6.45
The incomplete gamma function . . . . . . . . . . . . . . . . . . . . . . . .
6.46–6.47
The function ψ(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5–6.7
Bessel Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.51
Bessel functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.52
Bessel functions combined with x and x2 . . . . . . . . . . . . . . . . . . . .
6.53–6.54
Combinations of Bessel functions and rational functions . . . . . . . . . . . .
6.55
Combinations of Bessel functions and algebraic functions . . . . . . . . . . .
6.56–6.58
Combinations of Bessel functions and powers . . . . . . . . . . . . . . . . . .
6.59
Combinations of powers and Bessel functions of more complicated arguments
6.61
Combinations of Bessel functions and exponentials . . . . . . . . . . . . . . .
6.62–6.63
Combinations of Bessel functions, exponentials, and powers . . . . . . . . . .
6.64
Combinations of Bessel functions of more complicated arguments, exponentials,
and powers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.65
Combinations of Bessel and exponential functions of more complicated arguments and powers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.66
Combinations of Bessel, hyperbolic, and exponential functions . . . . . . . . .
6.67–6.68
Combinations of Bessel and trigonometric functions . . . . . . . . . . . . . .
6.69–6.74
Combinations of Bessel and trigonometric functions and powers . . . . . . . .
6.75
Combinations of Bessel, trigonometric, and exponential functions and powers
6.76
Combinations of Bessel, trigonometric, and hyperbolic functions . . . . . . .
6.77
Combinations of Bessel functions and the logarithm, or arctangent . . . . . .
6.78
Combinations of Bessel and other special functions . . . . . . . . . . . . . . .
6.79
Integration of Bessel functions with respect to the order . . . . . . . . . . . .
6.8
Functions Generated by Bessel Functions . . . . . . . . . . . . . . . . . . . .
6.81
Struve functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.82
Combinations of Struve functions, exponentials, and powers . . . . . . . . . .
6.83
Combinations of Struve and trigonometric functions . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
631
631
631
632
632
632
633
635
636
636
638
639
644
645
649
650
650
652
655
656
657
658
659
659
664
670
674
675
689
694
699
.
708
.
.
.
.
.
.
.
.
.
.
.
.
.
711
713
717
727
742
747
747
748
749
753
753
754
755
CONTENTS
6.84–6.85
6.86
6.87
6.9
6.91
6.92
6.93
6.94
7.1–7.2
7.11
7.12–7.13
7.14
7.15
7.16
7.17
7.18
7.19
7.21
7.22
7.23
7.24
7.25
7.3–7.4
7.31
7.32
7.325∗
7.33
7.34
7.35
7.36
7.37–7.38
7.39
7.41–7.42
7.5
7.51
7.52
7.53
7.54
7.6
7.61
7.62–7.63
7.64
7.65
xi
Combinations of Struve and Bessel functions . . . . . . . . . . . . . . . . . . .
Lommel functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thomson functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mathieu Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mathieu functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of Mathieu, hyperbolic, and trigonometric functions . . . . . . .
Combinations of Mathieu and Bessel functions . . . . . . . . . . . . . . . . . .
Relationships between eigenfunctions of the Helmholtz equation in different
coordinate systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Associated Legendre Functions . . . . . . . . . . . . . . . . . . . . . . . . . .
Associated Legendre functions . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of associated Legendre functions and powers . . . . . . . . . . .
Combinations of associated Legendre functions, exponentials, and powers . . .
Combinations of associated Legendre and hyperbolic functions . . . . . . . . .
Combinations of associated Legendre functions, powers, and trigonometric
functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A combination of an associated Legendre function and the probability integral .
Combinations of associated Legendre and Bessel functions . . . . . . . . . . . .
Combinations of associated Legendre functions and functions generated by
Bessel functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integration of associated Legendre functions with respect to the order . . . . .
Combinations of Legendre polynomials, rational functions, and algebraic functions
Combinations of Legendre polynomials and powers . . . . . . . . . . . . . . . .
Combinations of Legendre polynomials and other elementary functions . . . . .
Combinations of Legendre polynomials and Bessel functions . . . . . . . . . . .
Orthogonal Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of Gegenbauer polynomials Cnν (x) and powers . . . . . . . . . .
Combinations of Gegenbauer polynomials Cnν (x) and elementary functions . . .
Complete System of Orthogonal Step Functions . . . . . . . . . . . . . . . . .
Combinations of the polynomials C νn (x) and Bessel functions; Integration of
Gegenbauer functions with respect to the index . . . . . . . . . . . . . . . . .
Combinations of Chebyshev polynomials and powers . . . . . . . . . . . . . . .
Combinations of Chebyshev polynomials and elementary functions . . . . . . .
Combinations of Chebyshev polynomials and Bessel functions . . . . . . . . . .
Hermite polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Jacobi polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Laguerre polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hypergeometric Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of hypergeometric functions and powers . . . . . . . . . . . . . .
Combinations of hypergeometric functions and exponentials . . . . . . . . . . .
Hypergeometric and trigonometric functions . . . . . . . . . . . . . . . . . . .
Combinations of hypergeometric and Bessel functions . . . . . . . . . . . . . .
Confluent Hypergeometric Functions . . . . . . . . . . . . . . . . . . . . . . .
Combinations of confluent hypergeometric functions and powers . . . . . . . .
Combinations of confluent hypergeometric functions and exponentials . . . . .
Combinations of confluent hypergeometric and trigonometric functions . . . . .
Combinations of confluent hypergeometric functions and Bessel functions . . .
756
760
761
763
763
763
767
767
769
769
770
776
778
779
781
782
787
788
789
791
792
794
795
795
797
798
798
800
802
803
803
806
808
812
812
814
817
817
820
820
822
829
830
xii
CONTENTS
7.66
7.67
7.68
7.69
7.7
7.71
7.72
7.73
7.74
7.75
7.76
7.77
7.8
7.81
7.82
7.83
Combinations of confluent hypergeometric functions, Bessel functions, and powers
Combinations of confluent hypergeometric functions, Bessel functions, exponentials, and powers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of confluent hypergeometric functions and other special functions
Integration of confluent hypergeometric functions with respect to the index . .
Parabolic Cylinder Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Parabolic cylinder functions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Combinations of parabolic cylinder functions, powers, and exponentials . . . . .
Combinations of parabolic cylinder and hyperbolic functions . . . . . . . . . . .
Combinations of parabolic cylinder and trigonometric functions . . . . . . . . .
Combinations of parabolic cylinder and Bessel functions . . . . . . . . . . . . .
Combinations of parabolic cylinder functions and confluent hypergeometric
functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integration of a parabolic cylinder function with respect to the index . . . . . .
Meijer’s and MacRobert’s Functions (G and E) . . . . . . . . . . . . . . . . .
Combinations of the functions G and E and the elementary functions . . . . .
Combinations of the functions G and E and Bessel functions . . . . . . . . . .
Combinations of the functions G and E and other special functions . . . . . . .
8–9 Special Functions
8.1
Elliptic Integrals and Functions . . . . . . . . . . . . . . . . . . . . . . . . . .
8.11
Elliptic integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.12
Functional relations between elliptic integrals . . . . . . . . . . . . . . . . . . .
8.13
Elliptic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.14
Jacobian elliptic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.15
Properties of Jacobian elliptic functions and functional relationships between them
8.16
The Weierstrass function ℘(u) . . . . . . . . . . . . . . . . . . . . . . . . . .
8.17
The functions ζ(u) and σ(u) . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.18–8.19
Theta functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2
The Exponential Integral Function and Functions Generated by It . . . . . . . .
8.21
The exponential integral function Ei(x) . . . . . . . . . . . . . . . . . . . . . .
8.22
The hyperbolic sine integral shi x and the hyperbolic cosine integral chi x . . .
8.23
The sine integral and the cosine integral: si x and ci x . . . . . . . . . . . . . .
8.24
The logarithm integral li(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.25
The probability integral Φ(x), the Fresnel integrals S (x) and C (x), the error
function erf(x), and the complementary error function erfc(x) . . . . . . . . .
8.26
Lobachevskiy’s function L(x) . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3
Euler’s Integrals of the First and Second Kinds . . . . . . . . . . . . . . . . . .
8.31
The gamma function (Euler’s integral of the second kind): Γ(z) . . . . . . . .
8.32
Representation of the gamma function as series and products . . . . . . . . . .
8.33
Functional relations involving the gamma function . . . . . . . . . . . . . . . .
8.34
The logarithm of the gamma function . . . . . . . . . . . . . . . . . . . . . . .
8.35
The incomplete gamma function . . . . . . . . . . . . . . . . . . . . . . . . .
8.36
The psi function ψ(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.37
The function β(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.38
The beta function (Euler’s integral of the first kind): B(x, y) . . . . . . . . . .
8.39
The incomplete beta function Bx (p, q) . . . . . . . . . . . . . . . . . . . . . .
8.4–8.5
Bessel Functions and Functions Associated with Them . . . . . . . . . . . . . .
831
834
839
841
841
841
842
843
844
845
849
849
850
850
854
856
859
859
859
863
865
866
870
873
876
877
883
883
886
886
887
887
891
892
892
894
895
898
899
902
906
908
910
910
CONTENTS
8.40
8.41
8.42
8.43
8.44
8.45
8.46
8.47–8.48
8.49
8.51–8.52
8.53
8.54
8.55
8.56
8.57
8.58
8.59
8.6
8.60
8.61
8.62
8.63
8.64
8.65
8.66
8.67
8.7–8.8
8.70
8.71
8.72
8.73–8.74
8.75
8.76
8.77
8.78
8.79
8.81
8.82–8.83
8.84
8.85
8.9
8.90
8.91
8.919
8.92
8.93
8.94
xiii
Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integral representations of the functions Jν (z) and Nν (z) . . . . . . . .
(1)
(2)
Integral representations of the functions Hν (z) and Hν (z) . . . . . .
Integral representations of the functions Iν (z) and Kν (z) . . . . . . . .
Series representation . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Asymptotic expansions of Bessel functions . . . . . . . . . . . . . . . .
Bessel functions of order equal to an integer plus one-half . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Differential equations leading to Bessel functions . . . . . . . . . . . . .
Series of Bessel functions . . . . . . . . . . . . . . . . . . . . . . . . .
Expansion in products of Bessel functions . . . . . . . . . . . . . . . . .
The zeros of Bessel functions . . . . . . . . . . . . . . . . . . . . . . .
Struve functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thomson functions and their generalizations . . . . . . . . . . . . . . .
Lommel functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Anger and Weber functions Jν (z) and Eν (z) . . . . . . . . . . . . . . .
Neumann’s and Schläfli’s polynomials: O n (z) and S n (z) . . . . . . . .
Mathieu Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mathieu’s equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Periodic Mathieu functions . . . . . . . . . . . . . . . . . . . . . . . .
(2n)
(2n+1)
(2n+1)
(2n+2)
Recursion relations for the coefficients A2r , A2r+1 , B2r+1 , B2r+2
Mathieu functions with a purely imaginary argument . . . . . . . . . . .
Non-periodic solutions of Mathieu’s equation . . . . . . . . . . . . . . .
Mathieu functions for negative q . . . . . . . . . . . . . . . . . . . . .
Representation of Mathieu functions as series of Bessel functions . . . .
The general theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Associated Legendre Functions . . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integral representations . . . . . . . . . . . . . . . . . . . . . . . . . .
Asymptotic series for large values of |ν| . . . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Special cases and particular values . . . . . . . . . . . . . . . . . . . .
Derivatives with respect to the order . . . . . . . . . . . . . . . . . . .
Series representation . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The zeros of associated Legendre functions . . . . . . . . . . . . . . . .
Series of associated Legendre functions . . . . . . . . . . . . . . . . . .
Associated Legendre functions with integer indices . . . . . . . . . . . .
Legendre functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conical functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Toroidal functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Orthogonal Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Legendre polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . .
Series of products of Legendre and Chebyshev polynomials . . . . . . .
Series of Legendre polynomials . . . . . . . . . . . . . . . . . . . . . .
Gegenbauer polynomials Cnλ (t) . . . . . . . . . . . . . . . . . . . . . .
The Chebyshev polynomials Tn (x) and Un (x) . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
910
912
914
916
918
920
924
926
931
933
940
941
942
944
945
948
949
950
950
951
951
952
953
953
954
957
958
958
960
962
964
968
969
970
972
972
974
975
980
981
982
982
983
988
988
990
993
xiv
CONTENTS
8.95
8.96
8.97
9.1
9.10
9.11
9.12
9.13
9.14
9.15
9.16
9.17
9.18
9.19
9.2
9.20
9.21
9.22–9.23
9.24–9.25
9.26
9.3
9.30
9.31
9.32
9.33
9.34
9.4
9.41
9.42
9.5
9.51
9.52
9.53
9.54
9.55
9.56
9.6
9.61
9.62
9.63
9.64
9.65
9.7
9.71
9.72
The Hermite polynomials H n (x) . . . . . . . . . . . . . . . . . . . . . . . . .
Jacobi’s polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The Laguerre polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hypergeometric Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integral representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Representation of elementary functions in terms of a hypergeometric functions .
Transformation formulas and the analytic continuation of functions defined by
hypergeometric series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A generalized hypergeometric series . . . . . . . . . . . . . . . . . . . . . . . .
The hypergeometric differential equation . . . . . . . . . . . . . . . . . . . . .
Riemann’s differential equation . . . . . . . . . . . . . . . . . . . . . . . . . .
Representing the solutions to certain second-order differential equations using
a Riemann scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hypergeometric functions of two variables . . . . . . . . . . . . . . . . . . . .
A hypergeometric function of several variables . . . . . . . . . . . . . . . . . .
Confluent Hypergeometric Functions . . . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The functions Φ(α, γ; z) and Ψ(α, γ; z) . . . . . . . . . . . . . . . . . . . . . .
The Whittaker functions Mλ,µ (z) and Wλ,µ (z) . . . . . . . . . . . . . . . . . .
Parabolic cylinder functions Dp (z) . . . . . . . . . . . . . . . . . . . . . . . .
Confluent hypergeometric series of two variables . . . . . . . . . . . . . . . . .
Meijer’s G-Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A differential equation for the G-function . . . . . . . . . . . . . . . . . . . . .
Series of G-functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Connections with other special functions . . . . . . . . . . . . . . . . . . . . .
MacRobert’s E-Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Representation by means of multiple integrals . . . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Riemann’s Zeta Functions ζ(z, q) and ζ(z), and the Functions Φ(z, s, v) and ξ(s)
Definition and integral representations . . . . . . . . . . . . . . . . . . . . . .
Representation as a series or as an infinite product . . . . . . . . . . . . . . . .
Functional relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Singular points and zeros . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The Lerch function Φ(z, s, v) . . . . . . . . . . . . . . . . . . . . . . . . . . .
The function ξ (s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bernoulli Numbers and Polynomials, Euler Numbers . . . . . . . . . . . . . . .
Bernoulli numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bernoulli polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Euler numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The functions ν(x), ν(x, α), µ(x, β), µ(x, β, α), and λ(x, y) . . . . . . . . . .
Euler polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Constants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bernoulli numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Euler numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
996
998
1000
1005
1005
1005
1006
1008
1010
1010
1014
1017
1018
1022
1022
1022
1023
1024
1028
1031
1032
1032
1033
1034
1034
1034
1035
1035
1035
1036
1036
1037
1037
1038
1039
1040
1040
1040
1041
1043
1043
1044
1045
1045
1045
CONTENTS
9.73
9.74
xv
Euler’s and Catalan’s constants . . . . . . . . . . . . . . . . . . . . . . . . . .
Stirling numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10 Vector Field Theory
10.1–10.8
Vectors, Vector Operators, and Integral
10.11
Products of vectors . . . . . . . . . .
10.12
Properties of scalar product . . . . . .
10.13
Properties of vector product . . . . . .
10.14
Differentiation of vectors . . . . . . . .
10.21
Operators grad, div, and curl . . . . .
10.31
Properties of the operator ∇ . . . . .
10.41
Solenoidal fields . . . . . . . . . . . .
10.51–10.61 Orthogonal curvilinear coordinates . .
10.71–10.72 Vector integral theorems . . . . . . . .
10.81
Integral rate of change theorems . . .
1046
1046
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1049
1049
1049
1049
1049
1050
1050
1051
1052
1052
1055
1057
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1059
1059
1059
1060
1061
12 Integral Inequalities
12.11
Mean Value Theorems . . . . . . . . . . . . . . . . . . . .
12.111
First mean value theorem . . . . . . . . . . . . . . . . . .
12.112
Second mean value theorem . . . . . . . . . . . . . . . . .
12.113
First mean value theorem for infinite integrals . . . . . . .
12.114
Second mean value theorem for infinite integrals . . . . . .
12.21
Differentiation of Definite Integral Containing a Parameter
12.211
Differentiation when limits are finite . . . . . . . . . . . . .
12.212
Differentiation when a limit is infinite . . . . . . . . . . . .
12.31
Integral Inequalities . . . . . . . . . . . . . . . . . . . . .
12.311
Cauchy-Schwarz-Buniakowsky inequality for integrals . . .
12.312
Hölder’s inequality for integrals . . . . . . . . . . . . . . .
12.313
Minkowski’s inequality for integrals . . . . . . . . . . . . .
12.314
Chebyshev’s inequality for integrals . . . . . . . . . . . . .
12.315
Young’s inequality for integrals . . . . . . . . . . . . . . .
12.316
Steffensen’s inequality for integrals . . . . . . . . . . . . .
12.317
Gram’s inequality for integrals . . . . . . . . . . . . . . . .
12.318
Ostrowski’s inequality for integrals . . . . . . . . . . . . .
12.41
Convexity and Jensen’s Inequality . . . . . . . . . . . . . .
12.411
Jensen’s inequality . . . . . . . . . . . . . . . . . . . . . .
12.412
Carleman’s inequality for integrals . . . . . . . . . . . . . .
12.51
Fourier Series and Related Inequalities . . . . . . . . . . .
12.511
Riemann-Lebesgue lemma . . . . . . . . . . . . . . . . . .
12.512
Dirichlet lemma . . . . . . . . . . . . . . . . . . . . . . .
12.513
Parseval’s theorem for trigonometric Fourier series . . . . .
12.514
Integral representation of the nth partial sum . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1063
1063
1063
1063
1063
1064
1064
1064
1064
1064
1064
1064
1065
1065
1065
1065
1065
1066
1066
1066
1066
1066
1067
1067
1067
1067
Theorems
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
11 Algebraic Inequalities
11.1–11.3
General Algebraic Inequalities . . . . . . . . . .
11.11
Algebraic inequalities involving real numbers . .
11.21
Algebraic inequalities involving complex numbers
11.31
Inequalities for sets of complex numbers . . . .
.
.
.
.
xvi
CONTENTS
12.515
12.516
12.517
Generalized Fourier series . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bessel’s inequality for generalized Fourier series . . . . . . . . . . . . . . . . .
Parseval’s theorem for generalized Fourier series . . . . . . . . . . . . . . . . .
1067
1068
1068
13 Matrices and Related Results
13.11–13.12
Special Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.111
Diagonal matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.112
Identity matrix and null matrix . . . . . . . . . . . . . . . . . . . . . . .
13.113
Reducible and irreducible matrices . . . . . . . . . . . . . . . . . . . . . .
13.114
Equivalent matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.115
Transpose of a matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.116
Adjoint matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.117
Inverse matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.118
Trace of a matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.119
Symmetric matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.120
Skew-symmetric matrix . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.121
Triangular matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.122
Orthogonal matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.123
Hermitian transpose of a matrix . . . . . . . . . . . . . . . . . . . . . . .
13.124
Hermitian matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.125
Unitary matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.126
Eigenvalues and eigenvectors . . . . . . . . . . . . . . . . . . . . . . . .
13.127
Nilpotent matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.128
Idempotent matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.129
Positive definite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.130
Non-negative definite . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.131
Diagonally dominant . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.21
Quadratic Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.211
Sylvester’s law of inertia . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.212
Rank . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.213
Signature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.214
Positive definite and semidefinite quadratic form . . . . . . . . . . . . . .
13.215
Basic theorems on quadratic forms . . . . . . . . . . . . . . . . . . . . .
13.31
Differentiation of Matrices . . . . . . . . . . . . . . . . . . . . . . . . . .
13.41
The Matrix Exponential . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.411
Basic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1069
1069
1069
1069
1069
1069
1069
1070
1070
1070
1070
1070
1070
1070
1070
1070
1071
1071
1071
1071
1071
1071
1071
1071
1072
1072
1072
1072
1072
1073
1074
1074
14 Determinants
14.11
14.12
14.13
14.14
14.15*
14.16
14.17
14.18
14.21
14.31
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1075
1075
1075
1075
1076
1076
1076
1077
1077
1077
1078
Expansion of Second- and Third-Order Determinants
Basic Properties . . . . . . . . . . . . . . . . . . . .
Minors and Cofactors of a Determinant . . . . . . . .
Principal Minors . . . . . . . . . . . . . . . . . . . .
Laplace Expansion of a Determinant . . . . . . . . .
Jacobi’s Theorem . . . . . . . . . . . . . . . . . . .
Hadamard’s Theorem . . . . . . . . . . . . . . . . .
Hadamard’s Inequality . . . . . . . . . . . . . . . . .
Cramer’s Rule . . . . . . . . . . . . . . . . . . . . .
Some Special Determinants . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENTS
14.311
14.312
14.313
14.314
14.315
14.316
14.317
15 Norms
15.1–15.9
15.11
15.21
15.211
15.212
15.213
15.31
15.311
15.312
15.313
15.41
15.411
15.412
15.413
15.51
15.511
15.512
15.61
15.611
15.612
15.71
15.711
15.712
15.713
15.714
15.715
15.81–15.82
15.811
15.812
15.813
15.814
15.815
15.816
15.817
15.818
15.819
15.820
15.821
15.822
xvii
Vandermonde’s determinant (alternant) . . . . .
Circulants . . . . . . . . . . . . . . . . . . . . .
Jacobian determinant . . . . . . . . . . . . . .
Hessian determinants . . . . . . . . . . . . . .
Wronskian determinants . . . . . . . . . . . . .
Properties . . . . . . . . . . . . . . . . . . . .
Gram-Kowalewski theorem on linear dependence
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1078
1078
1078
1079
1079
1079
1080
Vector Norms . . . . . . . . . . . . . . . . . . . . . . . . . .
General Properties . . . . . . . . . . . . . . . . . . . . . . .
Principal Vector Norms . . . . . . . . . . . . . . . . . . . .
The norm ||x||1 . . . . . . . . . . . . . . . . . . . . . . . .
The norm ||x||2 (Euclidean or L2 norm) . . . . . . . . . . .
The norm ||x||∞ . . . . . . . . . . . . . . . . . . . . . . . .
Matrix Norms . . . . . . . . . . . . . . . . . . . . . . . . .
General properties . . . . . . . . . . . . . . . . . . . . . . .
Induced norms . . . . . . . . . . . . . . . . . . . . . . . . .
Natural norm of unit matrix . . . . . . . . . . . . . . . . . .
Principal Natural Norms . . . . . . . . . . . . . . . . . . . .
Maximum absolute column sum norm . . . . . . . . . . . . .
Spectral norm . . . . . . . . . . . . . . . . . . . . . . . . .
Maximum absolute row sum norm . . . . . . . . . . . . . . .
Spectral Radius of a Square Matrix . . . . . . . . . . . . . .
Inequalities concerning matrix norms and the spectral radius
Deductions from Gerschgorin’s theorem (see 15.814) . . . .
Inequalities Involving Eigenvalues of Matrices . . . . . . . . .
Cayley-Hamilton theorem . . . . . . . . . . . . . . . . . . .
Corollaries . . . . . . . . . . . . . . . . . . . . . . . . . . .
Inequalities for the Characteristic Polynomial . . . . . . . . .
Named and unnamed inequalities . . . . . . . . . . . . . . .
Parodi’s theorem . . . . . . . . . . . . . . . . . . . . . . . .
Corollary of Brauer’s theorem . . . . . . . . . . . . . . . . .
Ballieu’s theorem . . . . . . . . . . . . . . . . . . . . . . . .
Routh-Hurwitz theorem . . . . . . . . . . . . . . . . . . . .
Named Theorems on Eigenvalues . . . . . . . . . . . . . . .
Schur’s inequalities . . . . . . . . . . . . . . . . . . . . . . .
Sturmian separation theorem . . . . . . . . . . . . . . . . .
Poincare’s separation theorem . . . . . . . . . . . . . . . . .
Gerschgorin’s theorem . . . . . . . . . . . . . . . . . . . . .
Brauer’s theorem . . . . . . . . . . . . . . . . . . . . . . . .
Perron’s theorem . . . . . . . . . . . . . . . . . . . . . . . .
Frobenius theorem . . . . . . . . . . . . . . . . . . . . . . .
Perron–Frobenius theorem . . . . . . . . . . . . . . . . . . .
Wielandt’s theorem . . . . . . . . . . . . . . . . . . . . . .
Ostrowski’s theorem . . . . . . . . . . . . . . . . . . . . . .
First theorem due to Lyapunov . . . . . . . . . . . . . . . .
Second theorem due to Lyapunov . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1081
1081
1081
1081
1081
1081
1081
1082
1082
1082
1082
1082
1082
1082
1083
1083
1083
1083
1084
1084
1084
1084
1085
1086
1086
1086
1086
1087
1087
1087
1087
1088
1088
1088
1088
1088
1088
1089
1089
1089
xviii
CONTENTS
15.823
15.91
15.911
15.912
Hermitian matrices and diophantine relations
rational angles due to Calogero and Perelomov
Variational Principles . . . . . . . . . . . . . .
Rayleigh quotient . . . . . . . . . . . . . . . .
Basic theorems . . . . . . . . . . . . . . . . .
involving
. . . . .
. . . . .
. . . . .
. . . . .
circular functions
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
of
. .
. .
. .
. .
.
.
.
.
1089
1091
1091
1091
16 Ordinary Differential Equations
1093
16.1–16.9
Results Relating to the Solution of Ordinary Differential Equations . . . . . . . 1093
16.11
First-Order Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093
16.111
Solution of a first-order equation . . . . . . . . . . . . . . . . . . . . . . . . . 1093
16.112
Cauchy problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093
16.113
Approximate solution to an equation . . . . . . . . . . . . . . . . . . . . . . . 1093
16.114
Lipschitz continuity of a function . . . . . . . . . . . . . . . . . . . . . . . . . 1094
16.21
Fundamental Inequalities and Related Results . . . . . . . . . . . . . . . . . . 1094
16.211
Gronwall’s lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1094
16.212
Comparison of approximate solutions of a differential equation . . . . . . . . . 1094
16.31
First-Order Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1094
16.311
Solution of a system of equations . . . . . . . . . . . . . . . . . . . . . . . . . 1094
16.312
Cauchy problem for a system . . . . . . . . . . . . . . . . . . . . . . . . . . . 1095
16.313
Approximate solution to a system . . . . . . . . . . . . . . . . . . . . . . . . . 1095
16.314
Lipschitz continuity of a vector . . . . . . . . . . . . . . . . . . . . . . . . . . 1095
16.315
Comparison of approximate solutions of a system . . . . . . . . . . . . . . . . 1096
16.316
First-order linear differential equation . . . . . . . . . . . . . . . . . . . . . . . 1096
16.317
Linear systems of differential equations . . . . . . . . . . . . . . . . . . . . . . 1096
16.41
Some Special Types of Elementary Differential Equations . . . . . . . . . . . . 1097
16.411
Variables separable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1097
16.412
Exact differential equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1097
16.413
Conditions for an exact equation . . . . . . . . . . . . . . . . . . . . . . . . . 1097
16.414
Homogeneous differential equations . . . . . . . . . . . . . . . . . . . . . . . . 1097
16.51
Second-Order Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1098
16.511
Adjoint and self-adjoint equations . . . . . . . . . . . . . . . . . . . . . . . . . 1098
16.512
Abel’s identity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1098
16.513
Lagrange identity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1099
16.514
The Riccati equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1099
16.515
Solutions of the Riccati equation . . . . . . . . . . . . . . . . . . . . . . . . . 1099
16.516
Solution of a second-order linear differential equation . . . . . . . . . . . . . . 1100
16.61–16.62
Oscillation and Non-Oscillation Theorems for Second-Order Equations . . . . . 1100
16.611
First basic comparison theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 1100
16.622
Second basic comparison theorem . . . . . . . . . . . . . . . . . . . . . . . . . 1101
16.623
Interlacing of zeros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
16.624
Sturm separation theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
16.625
Sturm comparison theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
16.626
Szegö’s comparison theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
16.627
Picone’s identity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
16.628
Sturm-Picone theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
16.629
Oscillation on the half line . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
16.71
Two Related Comparison Theorems . . . . . . . . . . . . . . . . . . . . . . . . 1103
16.711
Theorem 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1103
CONTENTS
16.712
16.81–16.82
16.811
16.822
16.823
16.91
16.911
16.912
16.913
16.914
16.92
16.921
16.922
16.923
16.924
16.93
xix
Theorem 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Non-Oscillatory Solutions . . . . . . . . . . . . . . . . . . . . .
Kneser’s non-oscillation theorem . . . . . . . . . . . . . . . . .
Comparison theorem for non-oscillation . . . . . . . . . . . . . .
Necessary and sufficient conditions for non-oscillation . . . . . .
Some Growth Estimates for Solutions of Second-Order Equations
Strictly increasing and decreasing solutions . . . . . . . . . . . .
General result on dominant and subdominant solutions . . . . .
Estimate of dominant solution . . . . . . . . . . . . . . . . . . .
A theorem due to Lyapunov . . . . . . . . . . . . . . . . . . . .
Boundedness Theorems . . . . . . . . . . . . . . . . . . . . . .
All solutions of the equation . . . . . . . . . . . . . . . . . . . .
If all solutions of the equation . . . . . . . . . . . . . . . . . . .
If a(x) → ∞ monotonically as x → ∞, then all solutions of . . .
Consider the equation . . . . . . . . . . . . . . . . . . . . . . .
Growth of maxima of |y| . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1103
1103
1103
1104
1104
1104
1104
1104
1105
1105
1106
1106
1106
1106
1106
1106
17 Fourier, Laplace, and Mellin Transforms
17.1–17.4
Integral Transforms . . . . . . . . . . . . . . . . . . . . . . . . .
17.11
Laplace transform . . . . . . . . . . . . . . . . . . . . . . . . . .
17.12
Basic properties of the Laplace transform . . . . . . . . . . . . . .
17.13
Table of Laplace transform pairs . . . . . . . . . . . . . . . . . .
17.21
Fourier transform . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.22
Basic properties of the Fourier transform . . . . . . . . . . . . . .
17.23
Table of Fourier transform pairs . . . . . . . . . . . . . . . . . . .
17.24
Table of Fourier transform pairs for spherically symmetric functions
17.31
Fourier sine and cosine transforms . . . . . . . . . . . . . . . . . .
17.32
Basic properties of the Fourier sine and cosine transforms . . . . .
17.33
Table of Fourier sine transforms . . . . . . . . . . . . . . . . . . .
17.34
Table of Fourier cosine transforms . . . . . . . . . . . . . . . . . .
17.35
Relationships between transforms . . . . . . . . . . . . . . . . . .
17.41
Mellin transform . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.42
Basic properties of the Mellin transform . . . . . . . . . . . . . .
17.43
Table of Mellin transforms . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1107
1107
1107
1107
1108
1117
1118
1118
1120
1121
1121
1122
1126
1129
1129
1130
1131
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18 The z-Transform
18.1–18.3
Definition, Bilateral, and
18.1
Definitions . . . . . . .
18.2
Bilateral z-transform . .
18.3
Unilateral z-transform .
References
Supplemental references
Index of Functions and Constants
General Index of Concepts
Unilateral z-Transforms
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1135
1135
1135
1136
1138
1141
1145
1151
1161
Preface to the Seventh Edition
Since the publication in 2000 of the completely reset sixth edition of Gradshteyn and Ryzhik, users of the
reference work have continued to submit corrections, new results that extend the work, and suggestions
for changes that improve the presentation of existing entries. It is a matter of regret to us that the
structure of the book makes it impossible to acknowledge these individual contributions, so, as usual,
the names of the many new contributors have been added to the acknowledgment list at the front of the
book.
This seventh edition contains the corrections received since the publication of the sixth edition in
2000, together with a considerable amount of new material acquired from isolated sources. Following
our previous conventions, an amended entry has a superscript “11” added to its entry reference number,
where the equivalent superscript number for the sixth edition was “10.” Similarly, an asterisk on an
entry’s reference number indicates a new result. When, for technical reasons, an entry in a previous
edition has been removed, to preserve the continuity of numbering between the new and older editions
the subsequent entries have not been renumbered, so the numbering will jump.
We wish to express our gratitude to all who have been in contact with us with the object of improving
and extending the book, and we want to give special thanks to Dr. Victor H. Moll for his interest in
the book and for the many contributions he has made over an extended period of time. We also wish to
acknowledge the contributions made by Dr. Francis J. O’Brien Jr. of the Naval Station in Newport, in
particular for results involving integrands where exponentials are combined with algebraic functions.
Experience over many years has shown that each new edition of Gradshteyn and Ryzhik generates
a fresh supply of suggestions for new entries, and for the improvement of the presentation of existing
entries and errata. In view of this, we do not expect this new edition to be free from errors, so all
users of this reference work who identify errors, or who wish to propose new entries, are invited to
contact the authors, whose email addresses are listed below. Corrections will be posted on the web site
www.az-tec.com/gr/errata.
Alan Jeffrey
[email protected]
Daniel Zwillinger
[email protected]
xxi
Acknowledgments
The publisher and editors would like to take this opportunity to express their gratitude to the following
users of the Table of Integrals, Series, and Products who, either directly or through errata published
in Mathematics of Computation, have generously contributed corrections and addenda to the original
printing.
Dr. A. Abbas
Dr. P. B. Abraham
Dr. Ari Abramson
Dr. Jose Adachi
Dr. R. J. Adler
Dr. N. Agmon
Dr. M. Ahmad
Dr. S. A. Ahmad
Dr. Luis Alvarez-Ruso
Dr. Maarten H P Ambaum
Dr. R. K. Amiet
Dr. L. U. Ancarani
Dr. M. Antoine
Dr. C. R. Appledorn
Dr. D. R. Appleton
Dr. Mitsuhiro Arikawa
Dr. P. Ashoshauvati
Dr. C. L. Axness
Dr. E. Badralexe
Dr. S. B. Bagchi
Dr. L. J. Baker
Dr. R. Ball
Dr. M. P. Barnett
Dr. Florian Baumann
Dr. Norman C. Beaulieu
Dr. Jerome Benoit
Mr. V. Bentley
Dr. Laurent Berger
Dr. M. van den Berg
Dr. N. F. Berk
Dr. C. A. Bertulani
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
J. Betancort-Rijo
P. Bickerstaff
Iwo Bialynicki-Birula
Chris Bidinosti
G. R. Bigg
Ian Bindloss
L. Blanchet
Mike Blaskiewicz
R. D. Blevins
Anders Blom
L. M. Blumberg
R. Blumel
S. E. Bodner
M. Bonsager
George Boros
S. Bosanac
B. Van den Bossche
A. Boström
J. E. Bowcock
T. H. Boyer
K. M. Briggs
D. J. Broadhurst
Chris Van Den Broeck
W. B. Brower
H. N. Browne
Christoph Bruegger
William J. Bruno
Vladimir Bubanja
D. J. Buch
D. J. Bukman
F. M. Burrows
xxiii
Dr. R. Caboz
Dr. T. Calloway
Dr. F. Calogero
Dr. D. Dal Cappello
Dr. David Cardon
Dr. J. A. Carlson Gallos
Dr. B. Carrascal
Dr. A. R. Carr
Dr. S. Carter
Dr. G. Cavalleri
Mr. W. H. L. Cawthorne
Dr. A. Cecchini
Dr. B. Chan
Dr. M. A. Chaudhry
Dr. Sabino Chavez-Cerda
Dr. Julian Cheng
Dr. H. W. Chew
Dr. D. Chin
Dr. Young-seek Chung
Dr. S. Ciccariello
Dr. N. S. Clarke
Dr. R. W. Cleary
Dr. A. Clement
Dr. P. Cochrane
Dr. D. K. Cohoon
Dr. L. Cole
Dr. Filippo Colomo
Dr. J. R. D. Copley
Dr. D. Cox
Dr. J. Cox
Dr. J. W. Criss
xxiv
Dr. A. E. Curzon
Dr. D. Dadyburjor
Dr. D. Dajaputra
Dr. C. Dal Cappello
Dr. P. Daly
Dr. S. Dasgupta
Dr. John Davies
Dr. C. L. Davis
Dr. A. Degasperis
Dr. B. C. Denardo
Dr. R. W. Dent
Dr. E. Deutsch
Dr. D. deVries
Dr. P. Dita
Dr. P. J. de Doelder
Dr. Mischa Dohler
Dr. G. Dôme
Dr. Shi-Hai Dong
Dr. Balazs Dora
Dr. M. R. D’Orsogna
Dr. Adrian A. Dragulescu
Dr. Eduardo Duenez
Mr. Tommi J. Dufva
Dr. E. B. Dussan, V
Dr. C. A. Ebner
Dr. M. van der Ende
Dr. Jonathan Engle
Dr. G. Eng
Dr. E. S. Erck
Dr. Jan Erkelens
Dr. Olivier Espinosa
Dr. G. A. Estévez
Dr. K. Evans
Dr. G. Evendon
Dr. V. I. Fabrikant
Dr. L. A. Falkovsky
Dr. K. Farahmand
Dr. Richard J. Fateman
Dr. G. Fedele
Dr. A. R. Ferchmin
Dr. P. Ferrant
Dr. H. E. Fettis
Dr. W. B. Fichter
Dr. George Fikioris
Mr. J. C. S. S. Filho
Dr. L. Ford
Dr. Nicolao Fornengo
Acknowledgments
Dr. J. France
Dr. B. Frank
Dr. S. Frasier
Dr. Stefan Fredenhagen
Dr. A. J. Freeman
Dr. A. Frink
Dr. Jason M. Gallaspy
Dr. J. A. C. Gallas
Dr. J. A. Carlson Gallas
Dr. G. R. Gamertsfelder
Dr. T. Garavaglia
Dr. Jaime Zaratiegui Garcia
Dr. C. G. Gardner
Dr. D. Garfinkle
Dr. P. N. Garner
Dr. F. Gasser
Dr. E. Gath
Dr. P. Gatt
Dr. D. Gay
Dr. M. P. Gelfand
Dr. M. R. Geller
Dr. Ali I. Genc
Dr. Vincent Genot
Dr. M. F. George
Dr. P. Germain
Dr. Ing. Christoph Gierull
Dr. S. P. Gill
Dr. Federico Girosi
Dr. E. A. Gislason
Dr. M. I. Glasser
Dr. P. A. Glendinning
Dr. L. I. Goldfischer
Dr. Denis Golosov
Dr. I. J. Good
Dr. J. Good
Mr. L. Gorin
Dr. Martin Götz
Dr. R. Govindaraj
Dr. M. De Grauf
Dr. L. Green
Mr. Leslie O. Green
Dr. R. Greenwell
Dr. K. D. Grimsley
Dr. Albert Groenenboom
Dr. V. Gudmundsson
Dr. J. Guillera
Dr. K. Gunn
Dr. D. L. Gunter
Dr. Julio C. Gutiérrez-Vega
Dr. Roger Haagmans
Dr. H. van Haeringen
Dr. B. Hafizi
Dr. Bahman Hafizi
Dr. T. Hagfors
Dr. M. J. Haggerty
Dr. Timo Hakulinen
Dr. Einar Halvorsen
Dr. S. E. Hammel
Dr. E. Hansen
Dr. Wes Harker
Dr. T. Harrett
Dr. D. O. Harris
Dr. Frank Harris
Mr. Mazen D. Hasna
Dr. Joel G. Heinrich
Dr. Sten Herlitz
Dr. Chris Herzog
Dr. A. Higuchi
Dr. R. E. Hise
Dr. Henrik Holm
Dr. Helmut Hölzler
Dr. N. Holte
Dr. R. W. Hopper
Dr. P. N. Houle
Dr. C. J. Howard
Dr. J. H. Hubbell
Dr. J. R. Hull
Dr. W. Humphries
Dr. Jean-Marc Huré
Dr. Ben Yu-Kuang Hu
Dr. Y. Iksbe
Dr. Philip Ingenhoven
Mr. L. Iossif
Dr. Sean A. Irvine
Dr. Óttar Ísberg
Dr. Cyril-Daniel Iskander
Dr. S. A. Jackson
Dr. John David Jackson
Dr. Francois Jaclot
Dr. B. Jacobs
Dr. E. C. James
Dr. B. Jancovici
Dr. D. J. Jeffrey
Dr. H. J. Jensen
Acknowledgments
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Edwin F. Johnson
I. R. Johnson
Steven Johnson
I. Johnstone
Y. P. Joshi
Jae-Hun Jung
Damir Juric
Florian Kaempfer
S. Kanmani
Z. Kapal
Dave Kasper
M. Kaufman
B. Kay
Avinash Khare
Ilki Kim
Youngsun Kim
S. Klama
L. Klingen
C. Knessl
M. J. Knight
Mel Knight
Yannis Kohninos
D. Koks
L. P. Kok
K. S. Kölbig
Y. Komninos
D. D. Konowalow
Z. Kopal
I. Kostyukov
R. A. Krajcik
Vincent Krakoviack
Stefan Kramer
Tobias Kramer
Hermann Krebs
J. W. Krozel
E. D. Krupnikov
Kun-Lin Kuo
E. A. Kuraev
Konstantinos Kyritsis
Velimir Labinac
A. D. J. Lambert
A. Lambert
A. Larraza
K. D. Lee
M. Howard Lee
M. K. Lee
P. A. Lee
xxv
Dr. Todd Lee
Dr. J. Legg
Dr. Armando Lemus
Dr. S. L. Levie
Dr. D. Levi
Dr. Michael Lexa
Dr. Kuo Kan Liang
Dr. B. Linet
Dr. M. A. Lisa
Dr. Donald Livesay
Dr. H. Li
Dr. Georg Lohoefer
Dr. I. M. Longman
Dr. D. Long
Dr. Sylvie Lorthois
Dr. Y. L. Luke
Dr. W. Lukosz
Dr. T. Lundgren
Dr. E. A. Luraev
Dr. R. Lynch
Dr. R. Mahurin
Dr. R. Mallier
Dr. G. A. Mamon
Dr. A. Mangiarotti
Dr. I. Manning
Dr. J. Marmur
Dr. A. Martin
Sr. Yuzo Maruyama
Dr. David J. Masiello
Dr. Richard Marthar
Dr. H. A. Mavromatis
Dr. M. Mazzoni
Dr. K. B. Ma
Dr. P. McCullagh
Dr. J. H. McDonnell
Dr. J. R. McGregor
Dr. Kim McInturff
Dr. N. McKinney
Dr. David McA McKirdy
Dr. Rami Mehrem
Dr. W. N. Mei
Dr. Angelo Melino
Mr. José Ricardo Mendes
Dr. Andy Mennim
Dr. J. P. Meunier
Dr. Gerard P. Michon
Dr. D. F. R. Mildner
Dr. D. L. Miller
Dr. Steve Miller
Dr. P. C. D. Milly
Dr. S. P. Mitra
Dr. K. Miura
Dr. N. Mohankumar
Dr. M. Moll
Dr. Victor H. Moll
Dr. D. Monowalow
Mr. Tony Montagnese
Dr. Jim Morehead
Dr. J. Morice
Dr. W. Mueck
Dr. C. Muhlhausen
Dr. S. Mukherjee
Dr. R. R. Müller
Dr. Pablo Parmezani Munhoz
Dr. Paul Nanninga
Dr. A. Natarajan
Dr. Stefan Neumeier
Dr. C. T. Nguyen
Dr. A. C. Nicol
Dr. M. M. Nieto
Dr. P. Noerdlinger
Dr. A. N. Norris
Dr. K. H. Norwich
Dr. A. H. Nuttall
Dr. Frank O’Brien
Dr. R. P. O’Keeffe
Dr. A. Ojo
Dr. P. Olsson
Dr. M. Ortner
Dr. S. Ostlund
Dr. J. Overduin
Dr. J. Pachner
Dr. John D. Paden
Mr. Robert A. Padgug
Dr. D. Papadopoulos
Dr. F. J. Papp
Mr. Man Sik Park
Dr. Jong-Do Park
Dr. B. Patterson
Dr. R. F. Pawula
Dr. D. W. Peaceman
Dr. D. Pelat
Dr. L. Peliti
Dr. Y. P. Pellegrini
xxvi
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Dr.
Acknowledgments
G. J. Pert
Nicola Pessina
J. B. Peterson
Rickard Petersson
Andrew Plumb
Dror Porat
E. A. Power
E. Predazzi
William S. Price
Paul Radmore
F. Raynal
X. R. Resende
J. M. Riedler
Thomas Richard
E. Ringel
T. M. Roberts
N. I. Robinson
P. A. Robinson
D. M. Rosenblum
R. A. Rosthal
J. R. Roth
Klaus Rottbrand
D. Roy
E. Royer
D. Rudermann
Sanjib Sabhapandit
C. T. Sachradja
J. Sadiku
A. Sadiq
Motohiko Saitoh
Naoki Saito
A. Salim
J. H. Samson
Miguel A. Sanchis-Lozano
J. A. Sanders
M. A. F. Sanjun
P. Sarquiz
Avadh Saxena
Vito Scarola
O. Schärpf
A. Scherzinger
B. Schizer
Martin Schmid
J. Scholes
Mel Schopper
H. J. Schulz
G. J. Sears
Dr. Kazuhiko Seki
Dr. B. Seshadri
Dr. A. Shapiro
Dr. Masaki Shigemori
Dr. J. S. Sheng
Dr. Kenneth Ing Shing
Dr. Tomohiro Shirai
Dr. S. Shlomo
Dr. D. Siegel
Dr. Matthew Stapleton
Dr. Steven H. Simon
Dr. Ashok Kumar Singal
Dr. C. Smith
Dr. G. C. C. Smith
Dr. Stefan Llewellyn Smith
Dr. S. Smith
Dr. G. Solt
Dr. J. Sondow
Dr. A. Sørenssen
Dr. Marcus Spradlin
Dr. Andrzej Staruszkiewicz
Dr. Philip C. L. Stephenson
Dr. Edgardo Stockmeyer
Dr. J. C. Straton
Mr. H. Suraweera
Dr. N. F. Svaiter
Dr. V. Svaiter
Dr. R. Szmytkowski
Dr. S. Tabachnik
Dr. Erik Talvila
Dr. G. Tanaka
Dr. C. Tanguy
Dr. G. K. Tannahill
Dr. B. T. Tan
Dr. C. Tavard
Dr. Gonçalo Tavares
Dr. Aba Teleki
Dr. Arash Dahi Taleghani
Dr. D. Temperley
Dr. A. J. Tervoort
Dr. Theodoros Theodoulidis
Dr. D. J. Thomas
Dr. Michael Thorwart
Dr. S. T. Thynell
Dr. D. C. Torney
Dr. R. Tough
Dr. B. F. Treadway
Dr. Ming Tsai
Dr. N. Turkkan
Dr. Sandeep Tyagi
Dr. J. J. Tyson
Dr. S. Uehara
Dr. M. Vadacchino
Dr. O. T. Valls
Dr. D. Vandeth
Mr. Andras Vanyolos
Dr. D. Veitch
Mr. Jose Lopez Vicario
Dr. K. Vogel
Dr. J. M. M. J. Vogels
Dr. Alexis De Vos
Dr. Stuart Walsh
Dr. Reinhold Wannemacher
Dr. S. Wanzura
Dr. J. Ward
Dr. S. I. Warshaw
Dr. R. Weber
Dr. Wei Qian
Dr. D. H. Werner
Dr. E. Wetzel
Dr. Robert Whittaker
Dr. D. T. Wilton
Dr. C. Wiuf
Dr. K. T. Wong
Mr. J. N. Wright
Dr. J. D. Wright
Dr. D. Wright
Dr. D. Wu
Dr. Michel Daoud Yacoub
Dr. Yu S. Yakovlev
Dr. H.-C. Yang
Dr. J. J. Yang
Dr. Z. J. Yang
Dr. J. J. Wang
Dr. Peter Widerin
Mr. Chun Kin Au Yeung
Dr. Kazuya Yuasa
Dr. S. P. Yukon
Dr. B. Zhang
Dr. Y. C. Zhang
Dr. Y. Zhao
Dr. Ralf Zimmer
The Order of Presentation of the
Formulas
The question of the most expedient order in which to give the formulas, in particular, in what division
to include particular formulas such as the definite integrals, turned out to be quite complicated. The
thought naturally occurs to set up an order analogous to that of a dictionary. However, it is almost
impossible to create such a system for the formulas of integral calculus. Indeed, in an arbitrary formula
of the form
b
f (x) dx = A
a
one may make a large number of substitutions of the form x = ϕ(t) and thus obtain a number of
“synonyms” of the given formula. We must point out that the table of definite integrals by Bierens
de Haan and the earlier editions of the present reference both sin in the plethora of such “synonyms”
and formulas of complicated form. In the present edition, we have tried to keep only the simplest of the
“synonym” formulas. Basically, we judged the simplicity of a formula from the standpoint of the simplicity
of the arguments of the “outer” functions that appear in the integrand. Where possible, we have replaced
a complicated formula with a simpler one. Sometimes, several complicated formulas were thereby reduced
to a single, simpler one. We then kept only the simplest formula. As a result of such substitutions, we
sometimes obtained an integral that could be evaluated by use of the formulas of Chapter Two and the
Newton–Leibniz formula, or to an integral of the form
a
f (x) dx,
−a
where f (x) is an odd function. In such cases, the complicated integrals have been omitted.
Let us give an example using the expression
π/4
0
p−1
(cot x − 1)
sin2 x
ln tan x dx = −
π
cosec pπ.
p
By making the natural substitution u = cot x − 1, we obtain
∞
π
up−1 ln(1 + u) du = cosec pπ.
p
0
Integrals similar to formula (0.1) are omitted in this new edition. Instead, we have formula (0.2).
xxvii
(0.1)
(0.2)
xxviii
The Order of Presentation of the Formulas
As a second example, let us take
π/2
ln (tanp x + cotp x) ln tan x dx = 0.
I=
0
The substitution u = tan x yields
∞
I=
0
ln (up + u−p ) ln u
du.
1 + u2
If we now set υ = ln u, we obtain
∞
∞
pυ
υeυ
ln (2 cosh pυ)
−pυ
dυ.
dυ
=
I=
ln
e
+
e
υ
2υ
2 cosh υ
−∞ 1 + e
−∞
The integrand is odd, and, consequently, the integral is equal to 0.
Thus, before looking for an integral in the tables, the user should simplify as much as possible the
arguments (the “inner” functions) of the functions in the integrand.
The functions are ordered as follows: First we have the elementary functions:
1.
2.
3.
4.
5.
6.
7.
The function f (x) = x.
The exponential function.
The hyperbolic functions.
The trigonometric functions.
The logarithmic function.
The inverse hyperbolic functions. (These are replaced with the corresponding logarithms in the
formulas containing definite integrals.)
The inverse trigonometric functions.
Then follow the special functions:
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
Elliptic integrals.
Elliptic functions.
The logarithm integral, the exponential integral, the sine integral, and the cosine integral functions.
Probability integrals and Fresnel’s integrals.
The gamma function and related functions.
Bessel functions.
Mathieu functions.
Legendre functions.
Orthogonal polynomials.
Hypergeometric functions.
Degenerate hypergeometric functions.
Parabolic cylinder functions.
Meijer’s and MacRobert’s functions.
Riemann’s zeta function.
The integrals are arranged in order of outer function according to the above scheme: the farther down
in the list a function occurs, (i.e., the more complex it is) the later will the corresponding formula appear
The Order of Presentation of the Formulas
xxix
in the tables. Suppose that several expressions have the same outer function. For example, consider
sin ex , sin x, sin ln x. Here, the outer function is the sine function in all three cases. Such expressions are
then arranged in order of the inner function. In the present work, these functions are therefore arranged
in the following order: sin x, sin ex , sin ln x.
Our list does not include polynomials, rational functions, powers, or other algebraic functions. An
algebraic function that is included in tables of definite integrals can usually be reduced to a finite combination of roots of rational power. Therefore, for classifying our formulas, we can conditionally treat a
power function as a generalization of an algebraic and, consequently, of a rational function.∗ We shall
distinguish between all these functions and those listed above, and we shall treat them as operators.
Thus, in the expression sin2 ex , we shall think of the squaring operator as applied to the outer function,
sin x+cos x
namely, the sine. In the expression sin
x−cos x , we shall think of the rational operator as applied to the
trigonometric functions sine and cosine. We shall arrange the operators according to the following order:
1.
2.
3.
4.
Polynomials (listed in order of their degree).
Rational operators.
Algebraic operators (expressions of the form Ap/q , where q and p are rational, and q > 0; these are
listed according to the size of q).
Power operators.
Expressions with the same outer and inner functions are arranged in the order of complexity of the
operators. For example, the following functions [whose outer functions are all trigonometric, and whose
inner functions are all f (x) = x] are arranged in the order shown:
sin x,
sin x cos x,
1
= cosec x,
sin x
sin x
= tan x,
cos x
sin x + cos x
,
sin x − cos x
sinm x,
sinm x cos x.
Furthermore, if two outer functions ϕ1 (x) and ϕ2 (x), where ϕ1 (x) is more complex than ϕ2 (x), appear
in an integrand and if any of the operations mentioned are performed on them, the corresponding integral
will appear [in the order determined by the position of ϕ2 (x) in the list] after all integrals containing
only the function ϕ1 (x). Thus, following the trigonometric functions are the trigonometric and power
functions [that is, ϕ2 (x) = x]. Then come
• combinations of trigonometric and exponential functions,
• combinations of trigonometric functions, exponential functions, and powers, etc.,
• combinations of trigonometric and hyperbolic functions, etc.
Integrals containing two functions ϕ1 (x) and ϕ2 (x) are located in the division and order corresponding
to the more complicated function of the two. However, if the positions of several integrals coincide
because they contain the same complicated function, these integrals are put in the position defined by
the complexity of the second function.
To these rules of a general nature, we need to add certain particular considerations that will be easily
1
understood from the tables. For example, according to the above remarks, the function e x comes after
1
1
ex as regards complexity, but ln x and ln are equally complex since ln = − ln x. In the section on
x
x
“powers and algebraic functions,” polynomials, rational functions, and powers of powers are formed from
power functions of the form (a + bx)n and (α + βx)ν .
∗ For any natural number n, the involution (a + bx)n of the binomial a + bx is a polynomial. If n is a negative integer,
(a + bx)n is a rational function. If n is irrational, the function (a + bx)n is not even an algebraic function.
Use of the Tables∗
For the effective use of the tables contained in this book, it is necessary that the user should first become
familiar with the classification system for integrals devised by the authors Ryzhik and Gradshteyn. This
classification is described in detail in the section entitled The Order of Presentation of the Formulas (see
page xxvii) and essentially involves the separation of the integrand into inner and outer functions. The
principal function involved in the integrand is called the outer function, and its argument, which is itself
usually another function, is called the inner function. Thus, if the integrand comprised the expression
ln sin x, the outer function would be the logarithmic function while its argument, the inner function,
would be the trigonometric function sin x. The desired integral would then be found in the section
dealing with logarithmic functions, its position within that section being determined by the position of
the inner function (here a trigonometric function) in Gradshteyn and Ryzhik’s list of functional forms.
It is inevitable that some duplication of symbols will occur within such a large collection of integrals,
and this happens most frequently in the first part of the book dealing with algebraic and trigonometric
integrands. The symbols most frequently involved are α, β, γ, δ, t, u, z, zk , and ∆. The expressions
associated with these symbols are used consistently within each section and are defined at the start of
each new section in which they occur. Consequently, reference should be made to the beginning of the
section being used in order to verify the meaning of the substitutions involved.
Integrals of algebraic functions are expressed as combinations of roots with rational power indices,
and definite integrals of such functions are frequently expressed in terms of the Legendre elliptic integrals
F (φ, k), E (φ, k) and Π(φ, n, k), respectively, of the first, second, and third kinds.
The four inverse hyperbolic functions arcsinh z, arccosh z, arctanh z, and arccoth z are introduced
through the definitions
1
arcsinh(iz)
i
1
arccos z = arccosh(z)
i
1
arctan z = arctanh(iz)
i
arccot z = i arccoth(iz)
arcsin z =
∗ Prepared
by Alan Jeffrey for the English language edition.
xxxi
xxxii
Use of the Tables
or
1
arcsin(iz)
i
arccosh z = i arccos z
1
arctanh z = arctan(iz)
i
1
arccoth z = arccot(−iz)
i
arcsinh z =
The numerical constants C and G which often appear in the definite integrals denote Euler’s constant
and Catalan’s constant, respectively. Euler’s constant C is defined by the limit
s
1
− ln s = 0.577215 . . . .
C = lim
s→∞
m
m=1
On occasion, other writers denote Euler’s constant by the symbol γ, but this is also often used instead
to denote the constant
γ = eC = 1.781072 . . . .
Catalan’s constant G is related to the complete elliptic integral
π/2
dx
K ≡ K(k) ≡
0
1 − k 2 sin2 x
by the expression
∞
(−1)m
1 1
K dk =
= 0.915965 . . . .
G=
2 0
(2m + 1)2
m=0
Since the notations and definitions for higher transcendental functions that are used by different
authors are by no means uniform, it is advisable to check the definitions of the functions that occur in
these tables. This can be done by identifying the required function by symbol and name in the Index of
Special Functions and Notation on page xxxix, and by then referring to the defining formula or section
number listed there. We now present a brief discussion of some of the most commonly used alternative
notations and definitions for higher transcendental functions.
Bernoulli and Euler Polynomials and Numbers
Extensive use is made throughout the book of the Bernoulli and Euler numbers Bn and En that are
defined in terms of the Bernoulli and Euler polynomials of order n, B n (x) and E n (x), respectively. These
polynomials are defined by the generating functions
∞
tn
text
=
for |t| < 2π
B
(x)
n
et − 1 n=0
n!
and
∞
2ext
tn
=
for |t| < π.
E n (x)
t
e + 1 n=0
n!
The Bernoulli numbers are always denoted by Bn and are defined by the relation
Bn = Bn (0)
for n = 0, 1, . . . ,
when
B0 = 1,
1
B1 = − ,
2
B2 =
1
,
6
B4 = −
1
,....
30
Use of the Tables
xxxiii
The Euler numbers En are defined by setting
1
En = 2 E n
for n = 0, 1, . . .
2
The En are all integral, and E0 = 1, E2 = −1, E4 = 5, E6 = −61, . . . .
An alternative definition of Bernoulli numbers, which we shall denote by the symbol Bn∗ , uses the
same generating function but identifies the Bn∗ differently in the following manner:
1
t2
t4
t
= 1 − t + B1∗ − B2∗ + . . . .
t
e −1
2
2!
4!
This definition then gives rise to the alternative set of Bernoulli numbers
n
B1∗ = 1/6, B2∗ = 1/30, B3∗ = 1/42, B4∗ = 1/30, B5∗ = 5/66,
B6∗ = 691/2730, B7∗ = 7/6, B8∗ = 3617/510, . . . .
These differences in notation must also be taken into account when using the following relationships
that exist between the Bernoulli and Euler polynomials:
n
1 n
Bn−k E k (2x)
n = 0, 1, . . .
k
2n
k=0
x x+1
2n
E n−1 (x) =
Bn
− Bn
n
2
2
B n (x) =
or
E n−1 (x) =
and
x 2
B n (x) − 2n B n
n
2
n = 1, 2, . . .
n n−k
2
− 1 Bn−k B n (x)
n = 2, 3, . . .
k
2
k=0
There are also alternative definitions of the Euler polynomial of order n, and it should be noted that
some authors, using a modification of the third expression above, call
x 2
B n (x) − 2n B n
n+1
2
the Euler polynomial of order n.
E n−2 (x) = 2
n
−1
n−2
Elliptic Functions and Elliptic Integrals
The following notations are often used in connection with the inverse elliptic functions sn u, cn u, and
dn u:
1
sn u
sn u
sc u =
cn u
sn u
sd u =
dn u
ns u =
1
cn u
cn u
cs u =
sn u
cn u
cd u =
dn u
nc u =
1
dn u
dn u
ds u =
sn u
dn u
dc u =
cn u
nd u =
xxxiv
Use of the Tables
The elliptic integral of the third kind is defined by Gradshteyn and Ryzhik to be
ϕ
da
2
Π ϕ, n , k =
2
2
0
1 − n sin a
1 − k 2 sin2 a
−∞ < n2 < ∞
sin ϕ
dx
=
2
2
(1 − n x ) (1 − x2 ) (1 − k 2 x2 )
0
The Jacobi Zeta Function and Theta Functions
The Jacobi zeta function zn(u, k), frequently written Z(u), is defined by the relation
u
E
E
2
zn(u, k) = Z(u) =
dn υ −
dυ = E(u) − u.
K
K
0
This is related to the theta functions by the relationship
∂
zn(u, k) =
ln Θ(u)
∂u
giving
πu π ϑ1 2K
cn u dn u
πu −
(i).
zn(u, k) =
2K ϑ
sn u
1
2K
πu ϑ
2
π
dn u sn u
2K −
(ii). zn(u, k) =
2K ϑ πu
cn u
2
2K
πu ϑ
π 3 2K
sn u cn u
− k2
(iii). zn(u, k) =
2K ϑ πu
dn u
3
2K
πu π ϑ4 2K
(iv). zn(u, k) =
2K ϑ πu
4
2K
Many different notations for the theta function are in current use. The most common variants are the
replacement of the argument u by the argument u/π and, occasionally, a permutation of the identification
of the functions ϑ1 to ϑ4 with the function ϑ4 replaced by ϑ.
The Factorial (Gamma) Function
In older reference texts, the gamma function Γ(z), defined by the Euler integral
∞
Γ(z) =
tz−1 e−t dt,
0
is sometimes expressed in the alternative notation
Γ(1 + z) = z! = Π(z).
On occasions, the related derivative of the logarithmic factorial function Ψ(z) is used where
(z!)
d (ln z!)
=
= Ψ(z).
dz
z!
Use of the Tables
xxxv
This function satisfies the recurrence relation
Ψ(z) = Ψ(z − 1) +
and is defined by the series
Ψ(z) = −C +
∞ n=0
1
z−1
1
1
−
n+1 z+n
.
The derivative Ψ (z) satisfies the recurrence relation
Ψ (z + 1) = Ψ (z) −
and is defined by the series
Ψ (z) =
1
z2
∞
1
.
(z
+
n)2
n=0
Exponential and Related Integrals
The exponential integrals E n (z) have been defined by Schloemilch using the integral
∞
E n (z) =
e−zt t−n dt
(n = 0, 1, . . . , Re z > 0) .
1
They should not be confused with the Euler polynomials already mentioned. The function E 1 (z) is
related to the exponential integral Ei(z) through the expressions
∞
E 1 (z) = − Ei(−z) =
e−t t−1 dt
z
and
z
dt
= Ei (ln z)
[z > 1] .
ln
t
0
The functions E n (z) satisfy the recurrence relations
1 −z
e − z E n−1 (z)
E n (z) =
[n > 1]
n−1
and
E n (z) = − E n−1 (z)
with
li(z) =
E 0 (z) = e−z /z.
The function E n (z) has the asymptotic expansion
e−z
3π
n n(n + 1) n(n + 1)(n + 2)
−
+
·
·
·
|arg
z|
<
E n (z) ∼
1− +
z
z
z2
z3
2
while for large n,
n
e−x
n(n − 2x) n 6x2 − 8nx + n2
1+
+
+
+ R(n, x) ,
E n (x) =
x+n
(x + n)2
(x + n)4
(x + n)6
where
1
−4
−0.36n ≤ R(n, x) ≤ 1 +
[x > 0] .
n−4
x+n−1
The sine and cosine integrals si(x) and ci(x) are related to the functions Si(x) and Ci(x) by the
integrals
x
π
sin t
Si(x) =
dt = si(x) +
t
2
0
and
xxxvi
Use of the Tables
(cos t − 1)
dt.
t
0
The hyperbolic sine and cosine integrals shi(x) and chi(x) are defined by the relations
x
sinh t
shi(x) =
dt
t
0
and
x
(cosh t − 1)
chi(x) = C + ln x +
dt.
t
0
Some authors write
x
(1 − cos t)
Cin(x) =
dt
t
0
so that
Cin(x) = − Ci(x) + ln x + C.
The error function erf(x) is defined by the relation
x
2
2
erf(x) = Φ(x) = √
e−t dt,
π 0
and the complementary error function erfc(x) is related to the error function erfc(x) and to Φ(x) by the
expression
erfc(x) = 1 − erf(x).
The Fresnel integrals S (x) and C (x) are defined by Gradshteyn and Ryzhik as
x
2
sin t2 dt
S (x) = √
2π 0
and
x
2
C (x) = √
cos t2 dt.
2π 0
Other definitions that are in use are
x
x
πt2
πt2
dt,
C 1 (x) =
dt,
S 1 (x) =
sin
cos
2
2
0
0
and
x
x
sin t
cos t
1
1
√ dt,
√ dt.
S 2 (x) = √
C 2 (x) = √
t
t
2π 0
2π 0
These are related by the expressions
2
= S 2 x2
S (x) = S 1 x
π
and
2
= C 2 x2
C (x) = C 1 x
π
x
Ci(x) = C + ln x +
Hermite and Chebyshev Orthogonal Polynomials
The Hermite polynomials H n (x) are related to the Hermite polynomials He n (x) by the relations
x
−n/2
He n (x) = 2
Hn √
2
and
√ H n (x) = 2n/2 He n x 2 .
Use of the Tables
xxxvii
These functions satisfy the differential equations
dHn
d2 H n
+ 2n H n = 0
− 2x
dx2
dx
and
d2 He n
d He n
+ n He n = 0.
−x
2
dx
dx
They obey the recurrence relations
H n+1 = 2x H n −2n H n−1
and
He n+1 = x He n −n He n−1 .
The first six orthogonal polynomials He n are
He 0 = 1, He 1 = x, He 2 = x2 − 1, He 3 = x3 − 3x, He 4 = x4 − 6x2 + 3, He 5 = x5 − 10x3 + 15x.
Sometimes the Chebyshev polynomial U n (x) of the second kind is defined as a solution of the equation
d2 y
dy
+ n(n + 2)y = 0.
1 − x2
− 3x
dx2
dx
Bessel Functions
A variety of different notations for Bessel functions are in use. Some common ones involve the replacement
of Y n (z) by N n (z) and the introduction of the symbol
−n
1
Λn (z) =
z
Γ(n + 1) J n (z).
2
1
In the book by Gray, Mathews, and MacRobert, the symbol Y n (z) is used to denote π Y n (z) +
2
(ln 2 − C) J n (z) while Neumann uses the symbol Y (n) (z) for the identical quantity.
(1)
(2)
The Hankel functions
Hν (z) and H ν (z) are sometimes denoted by Hsν (z) and Hiν (z), and some
1
authors write Gν (z) =
πi H (1)
ν (z).
2
The Neumann polynomial O n (t) is a polynomial of degree n + 1 in 1/t, with O 0 (t) = 1/t. The
polynomials O n (t) are defined by the generating function
∞
1
= J 0 (z) O 0 (t) + 2
J k (z) O k (t),
t−z
k=1
giving
n−2k+1
[n/2]
1 n(n − k − 1)! 2
O n (t) =
for n = 1, 2, . . . ,
4
k!
t
k=0
where 12 n signifies the integral part of 12 n. The following relationship holds between three successive
polynomials:
2 n2 − 1
nπ
2n
O n (t) =
sin2
.
(n − 1) O n+1 (t) + (n + 1) O n−1 (t) −
t
t
2
xxxviii
Use of the Tables
The Airy functions Ai(z) and Bi(z) are independent solutions of the equation
d2 u
− zu = 0.
dz 2
The solutions can be represented in terms of Bessel functions by the expressions
1√
2 3/2
2 3/2
2 3/2
1 z
Ai(z) =
z
z
K 1/3
z
z I −1/3
− I 1/3
=
3
3
3
π 3
3
2 3/2
2 3/2
1√
Ai(−z) =
z
z
z J 1/3
+ J −1/3
3
3
3
and by
2 3/2
2 3/2
z
z
z
+ I 1/3
,
I −1/3
3
3
3
2 3/2
2 3/2
z
z
z
Bi(−z) =
− J 1/3
.
J −1/3
3
3
3
Bi(z) =
Parabolic Cylinder Functions and Whittaker Functions
The differential equation
d2 y 2
+ az + bz + c y = 0
dz 2
has associated with it the two equations
d2 y
1 2
1 2
d2 y
z
z
+
+
a
y
=
0
and
−
+
a
y = 0,
dz 2
4
dz 2
4
the solutions of which are parabolic cylinder functions. The first equation can be derived from the second
by replacing z by zeiπ/4 and a by −ia.
The solutions of the equation
1 2
d2 y
z +a y =0
−
dz 2
4
are sometimes written U (a, z) and V (a, z). These solutions are related to Whittaker’s function D p (z) by
the expressions
U (a, z) = D −a− 12 (z)
and
1
1
D −a− 12 (−z) + (sin πa) D −a− 12 (z) .
V (a, z) = Γ
+a
π
2
Mathieu Functions
There are several accepted notations for Mathieu functions and for their associated parameters. The
defining equation used by Gradshteyn and Ryzhik is
d2 y 2
+
a
−
2k
cos
2z
y=0
with k 2 = q.
dz 2
Different notations involve the replacement of a and q in this equation by h and θ, λ and h2 , and
√
b and c = 2 q, respectively. The periodic solutions sen (z, q) and cen (z, q) and the modified periodic
solutions Sen (z, q) and Cen (z, q) are suitably altered and, sometimes, re-normalized. A description of
these relationships together with the normalizing factors is contained in: Tables Relating to Mathieu
Functions. National Bureau of Standards, Columbia University Press, New York, 1951.
Index of Special Functions
Notation
β(x)
Γ(z)
γ(a, x), Γ(a, x)
∆(n − k)
ξ(s)
λ(x, y)
µ(x, β), µ(x, β, α)
ν(x), ν(x, α)
Π(x)
Π(ϕ, n, k)
ζ(u)
ζ(z,
q),
ζ(z)
πu πu , Θ1 (u) = ϑ
Θ(u) 
= ϑ4 2K
3 2K

 ϑ0 (υ | τ ) = ϑ4 (υ | τ ), 

ϑ1 (υ | τ ), ϑ2 (υ | τ ),




ϑ3 (υ | τ )
σ(u)
Φ(x)
Φ(z, s, υ)
Φ(a,
c;
x)
= 1 F 1 (α; γ;

 x)
Φ
(α,
β,
γ,
x,
y)


 1

Φ2 (β, β , γ, x, y)




Φ3 (β, γ, x, y)
ψ(x)
℘(u)
am(u, k)
Bn
B n (x)
B(x, y)
Bx (p, q)
bei(z), ber(z)
Name of the function and the number of
the formula containing its definition
Lobachevskiy’s angle of parallelism
Elliptic integral of the third kind
Weierstrass zeta function
Riemann’s zeta functions
Jacobian theta function
8.37
8.31–8.33
8.35
18.1
9.56
9.640
9.640
9.640
1.48
8.11
8.17
9.51–9.54
8.191–8.196
Elliptic theta functions
8.18, 8.19
Weierstrass sigma function
See probability integral
Lerch function
Confluent hypergeometric function
8.17
8.25
9.55
9.21
Degenerate hypergeometric series in two
variables
9.26
Euler psi function
Weierstrass elliptic function
Amplitude (of an elliptic function)
Bernoulli numbers
Bernoulli polynomials
Beta functions
Incomplete beta functions
Thomson functions
8.36
8.16
8.141
9.61, 9.71
9.620
8.38
8.39
8.56
Gamma function
Incomplete gamma functions
Unit integer pulse function
continued on next page
xxxix
xl
Index of Special Functions
continued from previous page
Notation
C
C (x)
C ν (a)
C λn (t)
C λn (x)
ce2n (z, q),
ce2n+1 (z, q)
Ce2n (z, q),
Ce2n+1 (z, q)
chi(x)
ci(x)
cn(u)
D(k) ≡ D
D(ϕ, k)
D n (z), D p (z)
dn u
e1 , e2 , e3
En
E
(ϕ,
k) E(k) = E
E(k ) = E
E(p; ar : q; s : x)
Eν (z)
Ei(z)
erf(x)
erfc(x) = 1 − erf(x)
F (ϕ, k)
p F q (α1 , . . . , αp ; β1 , . . . , βq ; z)
2 F 1 (α, β; γ; z) = F (α, β; γ; z)
1 F 1 (α; γ; z) = Φ(α, γ; z)
FΛ (α :β1 , . . . , βn ;
γ1 , . . . . . . , γn : z1 , . . . , zn )
F1 , F2 , F3 , F4
fen (z, q), Fen (z, q) . . .
Feyn (z, q), Fekn (z, q) . . .
G
g2 , g3
gd x
gen (z, q), Gen (z, q)
Geyn (z, q), Gekn (z, q)
,... ,ap
x ab11,...
G m,n
p,q
,bq
Name of the function and the number of
the formula containing its definition
Euler constant
9.73, 8.367
Fresnel cosine integral
8.25
Young functions
3.76
Gegenbauer polynomials
8.93
Gegenbauer functions
8.932 1
Periodic Mathieu functions (Mathieu
8.61
functions of the first kind)
Associated (modified) Mathieu functions of
8.63
the first kind
Hyperbolic cosine integral function
8.22
Cosine integral
8.23
Cosine amplitude
8.14
Elliptic integral
8.112
Elliptic integral
8.111
Parabolic cylinder functions
9.24–9.25
Delta amplitude
8.14
(used with the Weierstrass function)
8.162
Euler numbers
9.63, 9.72
Elliptic integral of the second kind
8.11–8.12
Complete elliptic integral of the second
8.11-8.12
kind
MacRobert’s function
9.4
Weber function
8.58
Exponential integral function
8.21
Error function
8.25
Complementary error function
8.25
Elliptic integral of the first kind
8.11–8.12
Generalized hypergeometric series
9.14
Gauss hypergeometric function
9.10–9.13
Degenerate hypergeometric function
9.21
Hypergeometric function of several
9.19
variables
Hypergeometric functions of two variables
9.18
Other nonperiodic solutions of Mathieu’s
8.64, 8.663
equation
Catalan constant
9.73
Invariants of the ℘(u)-function
8.161
Gudermannian
1.49
Other nonperiodic solutions of Mathieu’s
equation
8.64, 8.663
Meijer’s functions
9.3
continued on next page
Index of Special Functions
xli
continued from previous page
Notation
h(n)
heiν (z), herν (z)
H (1)
ν (z),
H (2)
ν (z)
πu H (u) = ϑ1 2K πu
H 1 (u) = ϑ2 2K
H n (z)
Hν (z)
I ν (z)
I x (p, q)
J ν (z)
Jν (z)
kν (x)
K(k) = K, K(k ) = K
K ν (z)
kei(z), ker(z)
L(x)
Lν (z)
Lα
n (z)
li(x)
M λ,µ (z)
O n (x)
P µν (z),
P µν (x)
P ν (z), P ν (x) 

a b c

P α β γ δ
 
α β γ
(α,β)
P n (x)
Q µν (z),
Q µν (x)
Q ν (z), Q ν (x)
S (x)
S n (x)
s µ,ν (z), S µ,ν (z)
se2n+1 (z, q), se2n+2 (z, q)
Se2n+1 (z, q),
Se2n+2 (z, q)
shi(x)
si(x)
sn u
T n (x)
U n (x)
Name of the function and the number of
the formula containing its definition
Unit integer function
18.1
Thomson functions
8.56
Hankel functions of the first and second
8.405, 8.42
kinds
Theta function
8.192
Theta function
8.192
Hermite polynomials
8.95
Struve functions
8.55
Bessel functions of an imaginary argument
8.406, 8.43
Normalized incomplete beta function
8.39
Bessel function
8.402, 8.41
Anger function
8.58
Bateman’s function
9.210 3
Complete elliptic integral of the first kind
8.11–8.12
Bessel functions of imaginary argument
8.407, 8.43
Thomson functions
8.56
Lobachevskiy’s function
8.26
Modified Struve function
8.55
Laguerre polynomials
8.97
Logarithm integral
8.24
Whittaker functions
9.22, 9.23
Neumann’s polynomials
8.59
Associated Legendre functions of the first
8.7, 8.8
kind
Legendre functions and polynomials
8.82, 8.83, 8.91
Riemann’s differential equation
9.160
Jacobi’s polynomials
Associated Legendre functions of the
second kind
Legendre functions of the second kind
Fresnel sine integral
Schläfli’s polynomials
Lommel functions
Periodic Mathieu functions
Mathieu functions of an imaginary
argument
Hyperbolic sine integral
Sine integral
Sine amplitude
Chebyshev polynomial of the 1st kind
Chebyshev polynomials of the 2nd kind
8.96
8.7, 8.8
8.82, 8.83
8.25
8.59
8.57
8.61
8.63
8.22
8.23
8.14
8.94
8.94
continued on next page
xlii
Index of Special Functions
continued from previous page
Notation
U ν (w, z), V ν (w, z)
W λ,µ (z)
Y ν (z)
Z ν (z)
Zν (z)
Name of the function and the number of
the formula containing its definition
Lommel functions of two variables
8.578
Whittaker functions
9.22, 9.23
Neumann functions
8.403, 8.41
Bessel functions
8.401
Bessel functions
Notation
Symbol
Meaning
x
The integral part of the real number x (also denoted by [x])
(b+)
a
(b−)
a
!
C
PV
Contour integrals; the path of integration starting at the point a extends
to the point b (along a straight line unless there is an indication to the
contrary), encircles the point b along a small circle in the positive
(negative) direction, and returns to the point a, proceeding along the
original path in the opposite direction.
Line integral along the curve C
!
Principal value integral
z = x − iy
The complex conjugate of z = x + iy
n!
= 1 · 2 · 3 . . . n,
(2n + 1)!!
= 1 · 3 . . . (2n + 1). (double factorial notation)
(2n)!!
= 2 · 4 . . . (2n). (double factorial notation)
0!! = 1 and (−1)!! = 1
(cf. 3.372 for n = 0)
00 = 1
(cf. 0.112 and 0.113 for q = 0)
p
p!
p(p − 1) . . . (p − n + 1)
=
,
1 · 2...n
n!(p − n)!
[n = 1, 2, . . . , p ≥ n]
=
n
x
k=m
n
"
,
= a(a + 1) . . . (a + n − 1) =
0
= 1,
p
n
=
p!
n!(p − n)!
Γ(a+n)
Γ(a)
(Pochhammer symbol)
n
= um + um+1 + . . . + un . If n < m, we define
uk = 0
uk
,
p
= x(x − 1) . . . (x − n + 1)/n! [n = 0, 1, . . . ]
n
(a)n
n
0! = 1
m,n
#
k=m
Summation over all integral values of n excluding n = 0, and summation
over all integral values of n and m excluding m = n = 0, respectively.
"
#
An empty
has value 0, and an empty
has value 1
continued on next page
xliii
xliv
Notation
continued from previous page
Symbol
1 i=j
δij =
0 i=
j
Meaning
Kronecker delta
τ
Theta function parameter (cf. 8.18)
× and ∧
Vector product (cf. 10.11)
·
Scalar product (cf. 10.11)
∇ or “del”
Vector operator (cf. 10.21)
∇2
Laplacian (cf. 10.31)
∼
Asymptotically equal to
arg z
The argument of the complex number z = x + iy
curl or rot
Vector operator (cf. 10.21)
div
Vector operator (divergence) (cf. 10.21)
F
Fourier transform (cf. 17.21)
Fc
Fourier cosine transform (cf. 17.31)
Fs
Fourier sine transform (cf. 17.31)
grad
Vector operator (gradient) (cf. 10.21)
hi and gij
Metric coefficients (cf. 10.51)
H
Hermitian transpose of a vector or matrix (cf. 13.123)
0 x<0
H(x) =
1 x≥0
Heaviside step function
Im z ≡ y
The imaginary part of the complex number z = x + iy
k
The letter k (when not used as an index of summation) denotes a number
in the interval [0, 1]. This notation is used in√integrals that lead to elliptic
integrals. In such a connection, the number 1 − k 2 is denoted by k .
L
Laplace transform (cf. 17.11)
M
Mellin transform (cf. 17.41)
N
The natural numbers (0, 1, 2, . . . )
O(f (z))
The order of the function f (z). Suppose that the point z approaches z0 .
If there exists an M > 0 such that |g(z)| ≤ M |f (z)| in some sufficiently
small neighborhood of the point z0 , we write g(z) = O(f (z)).
continued on next page
Notation
xlv
continued from previous page
Symbol
Meaning
q
The nome, a theta function parameter (cf. 8.18)
R
The real numbers
R(x)
A rational function
Re z ≡ x
The real part of the complex number z = x + iy
Snm
Stirling number of the first kind (cd. 9.74)
Sm
n
Stirling number of the second kind (cd. 9.74)


+1
sign x =
0


−1
x>0
x=0
x<0
The sign (signum) of the real number x
T
Transpose of a vector or matrix (cf. 13.115)
Z
The integers (0, ±1, ±2, . . . )
Zb
Bilateral z transform (cf. 18.1)
Zu
Unilateral z transform (cf. 18.1)
Note on the Bibliographic References
The letters and numbers following equations refer to the sources used by Russian editors. The key to the
letters will be found preceding each entry in the Bibliography beginning on page 1141. Roman numerals
indicate the volume number of a multivolume work. Numbers without parentheses indicate page numbers,
numbers in single parentheses refer to equation numbers in the original sources.
Some formulas were changed from their form in the source material. In such cases, the letter a appears
at the end of the bibliographic references.
As an example, we may use the reference to equation 3.354–5:
ET I 118 (1) a
The key on page 1141 indicates that the book referred to is:
Erdélyi, A. et al., Tables of Integral Transforms.
The Roman numeral denotes volume one of the work; 118 is the page on which the formula will be
found; (1) refers to the number of the formula in this source; and the a indicates that the expression
appearing in the source differs in some respect from the formula in this book.
In several cases, the editors have used Russian editions of works published in other languages. Under
such circumstances, because the pagination and numbering of equations may be altered, we have referred
the reader only to the original sources and dispensed with page and equation numbers.
xlvii