SPECIAL FUNCTIONS AN INTRODUCTION TO THE CLASSICAL FUNCTIONS OF MATHEMATICAL PHYSICS

Transcription

1 SPECIAL FUNCTIONS AN INTRODUCTION TO THE CLASSICAL FUNCTIONS OF MATHEMATICAL PHYSICS

2 SPECIAL FUNCTIONS AN INTRODUCTION TO THE CLASSICAL FUNCTIONS OF MATHEMATICAL PHYSICS NICO M.TEMME Centrum voor Wiskunde en Informatica Center for Mathematics and Computer Science Amsterdam, The Netherlands A Wiley-Interscience Publication JOHN WILEY & SONS, lac. New York Chichester Brisbane Toronto Singapore

3 This text is printed on acid-free paper. Copyright 1996 by John Wiley & Sons, Inc. All rights reserved. Published simultaneously in Canada. Reproduction or translation of any part of this work beyond that permitted by Section 107 or 108 of the 1976 United States Copyright Act without the permission of the copyright owner is unlawful. Requests for permission or further information should be addressed to the Permissions Department, John Wiley & Sons, Inc., 605 Third Avenue, New York, NY Library of Congress Cataloging in Publication Data: Temme, Ν. M. Special functions: an introduction to the classical functions of mathematical physics / Nico M. Temme p. cm. Includes bibliographical references and index. ISBN (cloth : alk. paper) 1. Functions, Special. 2. Boundary value problems. 3. Mathematical physics. I. Title. QC20.7.F87T dc CIP

4 CONTENTS 1 Bernoulli, Euler and Stirling Numbers 1.1. Bernoulli Numbers and Polynomials, Definitions and Properties, A Simple Difference Equation, Euler's Summation Formula, Euler Numbers and Polynomials, Definitions and Properties, Boole's Summation Formula, Stirling Numbers, Remarks and Comments for Further Reading, Exercises and Further Examples, 22 2 Useful Methods and Techniques 2.1. Some Theorems from Analysis, Asymptotic Expansions of Integrals, Watson's Lemma, The Saddle Point Method, Other Asymptotic Methods, Exercises and Further Examples, 39 3 The Gamma Function 3.1. Introduction, The Fundamental Recursion Property, Another Look at the Gamma Function, Important Properties, Prym's Decomposition, The Cauchy-Saalschiitz Representation, 44

5 νί CONTENTS The Beta Integral, The Multiplication Formula, The Reflection Formula, The Reciprocal Gamma Function, A Complex Contour for the Beta Integral, Infinite Products, Gauss'Multiplication Formula, Logarithmic Derivative of the Gamma Function, Riemann's Zeta Function, Asymptotic Expansions, Estimations of the Remainder, Ratio of Two Gamma Functions, Application of the Saddle Point Method, Remarks and Comments for Further Reading, Exercises and Further Examples, 72 4 Differential Equations Separating the Wave Equation, Separating the Variables, Differential Equations in the Complex Plane, Singular Points, Transformation of the Point at Infinity, The Solution Near a Regular Point, Power Series Expansions Around a Regular Point, Power Series Expansions Around a Regular Singular Point, Sturm's Comparison Theorem, Integrals as Solutions of Differential Equations, The Liouville Transformation, Remarks and Comments for Further Reading, Exercises and Further Examples, Hypergeometric Functions Definitions and Simple Relations, Analytic Continuation, Three Functional Relations, A Contour Integral Representation, The Hypergeometric Differential Equation, The Singular Points of the Differential Equation, The Riemann-Papperitz Equation, Barnes' Contour Integral for F(a, b; c; z), Recurrence Relations, Quadratic Transformations, Generalized Hypergeometric Functions, A First Introduction to ^-functions, 125

6 CONTENTS νϋ Remarks and Comments for Further Reading, Exercises and Further Examples, Orthogonal Polynomials General Orthogonal Polynomials, Zeros of Orthogonal Polynomials, Gauss Quadrature, Classical Orthogonal Polynomials, Definitions by the Rodrigues Formula, Recurrence Relations, Differential Equations, Explicit Representations, Generating Functions, Legendre Polynomials, The Norm of the Legendre Polynomials, Integral Expressions for the Legendre Polynomials, Some Bounds on Legendre Polynomials, An Asymptotic Expansion as η is Large, Expansions in Terms of Orthogonal Polynomials, An Optimal Result in Connection with Legendre Polynomials, Numerical Aspects of Chebyshev Polynomials, Remarks and Comments for Further Reading, Exercises and Further Examples, Confluent Hypergeometric Functions The M-function, The [/-function, Special Cases and Further Relations, Whittaker Functions, Coulomb Wave Functions, Parabolic Cylinder Functions, Error Functions, Exponential Integrals, Fresnel Integrals, Incomplete Gamma Functions, Bessel Functions, Orthogonal Polynomials, Remarks and Comments for Further Reading, Exercises and Further Examples, Legendre Functions The Legendre Differential Equation, Ordinary Legendre Functions, 194

7 viii CONTENTS 8.3. Other Solutions of the Differential Equation, A Few More Series Expansions, The function Q n (z), Integral Representations, Associated Legendre Functions, Remarks and Comments for Further Reading, Exercises and Further Examples, Bessel Functions Introduction, Integral Representations, Cylinder Functions, Further Properties, Modified Bessel Functions, Integral Representations for the /- and ΛΓ-Functions, Asymptotic Expansions, Zeros of Bessel Functions, Orthogonality Relations, Fourier-Bessel Series, Remarks and Comments for Further Reading, Exercises and Further Examples, Separating the Wave Equation General Transformations, Special Coordinate Systems, Cylindrical Coordinates, Spherical Coordinates, Elliptic Cylinder Coordinates, Parabolic Cylinder Coordinates, Oblate Spheroidal Coordinates, Boundary Value Problems, Heat Conduction in a Cylinder, Diffraction of a Plane Wave Due to a Sphere, Remarks and Comments for Further Reading, Exercises and Further Examples, Special Statistical Distribution Functions Error Functions, The Error Function and Asymptotic Expansions, Incomplete Gamma Functions, Series Expansions, Continued Fraction for Γ(α, ζ), Contour Integral for the Incomplete Gamma Functions, Uniform Asymptotic Expansions, 283

8 CONTENTS ix Numerical Aspects, Incomplete Beta Functions, Recurrence Relations, Contour Integral for the Incomplete Beta Function, Asymptotic Expansions, Numerical Aspects, Non-Central Chi-Squared Distribution, A Few More Integral Representations, Asymptotic Expansion; m Fixed, j Large, Asymptotic Expansion; j Large, m Arbitrary, Numerical Aspects, An Incomplete Bessel Function, Remarks and Comments for Further Reading, Exercises and Further Examples, Elliptic Integrals and Elliptic Functions Complete Integrals of the First and Second Kind, The Simple Pendulum, Arithmetic Geometric Mean, Incomplete Elliptic Integrals, Elliptic Functions and Theta Functions, Elliptic Functions, Theta Functions, Numerical Aspects, Remarks and Comments for Further Reading, Exercises and Further Examples, Numerical Aspects of Special Functions A Simple Recurrence Relation, Introduction to the General Theory, Examples, Miller's Algorithm, How to Compute a Continued Fraction, 347 Bibliography 349 Notations and Symbols 361 Index 365

9 PREFACE This book gives an introduction to the classical well-known special functions which play a role in mathematical physics, especially in boundary value problems. Usually we call a function "special" when the function, just as the logarithm, the exponential and trigonometric functions (the elementary transcendental functions), belongs to the toolbox of the applied mathematician, the physicist or engineer. Usually there is a particular notation, and a number of properties of the function are known. This branch of mathematics has a respectable history with great names such as Gauss, Euler, Fourier, Legendre, Bessel and Riemann. They all have spent much time on this subject. A great part of their work was inspired by physics and the resulting differential equations. About 70 years ago these activities culminated in the standard work A Course of Modern Analysis by Whittaker and Watson, which has had great influence and is still important. This book has been written with students of mathematics, physics and engineering in mind, and also researchers in these areas who meet special functions in their work, and for whom the results are too scattered in the general literature. Calculus and complex function theory are the basis for all this: integrals, series, residue calculus, contour integration in the complex plane, and so on. The selection of topics is based on my own preferences, and of course, on what in general is needed for working with special functions in applied mathematics, physics and engineering. This book gives more than a selection of formulas. In the many exercises hints for solutions are often given. In order to keep the book to a modest size, no attention is paid to special functions which are solutions of periodic differential equations such as Mathieu and Lame functions; these functions are only mentioned when separating the wave equation. The current interest in 4-hypergeometric functions would justify an extensive treatment of this topic. It falls outside the scope of the present work, but a short introduction is given nevertheless. xi

10 χίϊ PREFACE Today students and researchers have computers with formula processors at their disposal. For instance, MATLAB and MATHEMATICA are powerful packages, with possibilities of computing and manipulating special functions. It is very useful to exploit this software, but often extra analysis and knowledge of special functions are needed to obtain optimal results. At several occasions in the book I have paid attention to the asymptotic and numerical aspects of special functions. When this becomes too specialistic in nature the references to recent literature are given. A separate chapter discusses the stability aspects of recurrence relations for several special functions are discussed. It is explained that a given recursion cannot always be used for computations. Much of this information is available in the literature, but it is difficult for beginners to locate. Part of the material for this book is collected from well-known books, such as from HOCHSTADT, LEBEDEV, OLVER, RAINVILLE, SZEGO and WHITTAKER & WATSON. In addition to these I have used Dutch university lecture notes, in particular those by Prof. H.A. Lauwerier (University of Amsterdam) and Prof. J. Boersma (Technical University Eindhoven). The enriching and supporting comments of Dick Askey, Johannes Boersma, Tom Koornwinder, Adri Olde Daalhuis, Frank Olver, and Richard Paris on earlier versions of the manuscript are much appreciated. When there are still errors in the many formulas I have myself to blame. But I hope that the extreme standpoint of Dick Askey, who once advised me: never trust a formula from a book or table; it only gives you an idea how the exact result looks like, is not applicable to the set of formulas in this book. However, this is a useful warning. Amsterdam, The Netherlands Nico M. TEMME

11 SPECIAL FUNCTIONS AN INTRODUCTION TO THE CLASSICAL FUNCTIONS OF MATHEMATICAL PHYSICS