Introductions to ExpIntegralEi

Transcription

1 Introductions to ExpIntegralEi Introduction to the exponential integrals General The exponential-type integrals have a long history. After the early developments of differential calculus, mathematicians tried to evaluate integrals containing simple elementary functions, especially integrals that often appeared during investigations of physical problems. Despite the relatively simple form of the integrands, some of these integrals could not be evaluated through known functions. Examples of integrals that could not be evaluated in known functions are: log t t sin t t t cos t t t t t t. L. Euler (768) introduced the first integral shown in the preceding list. Later L. Mascheroni (790, 89) used it and introduced the second and third integrals, and A. M. Legendre (8) introduced the last integral shown. T. Caluso (805) used the first integral in an article and J. von Soldner (809) introduced its notation through symbol li. F. W. Bessel (8) used the second and third integrals. C. A. Bretschneider (843) not only used the second and third integrals, but also introduced similar integrals for the hyperbolic functions: sinh t t t cosh t t. t O. Schlömilch (846) and F. Arndt (847) widely used such integrals containing the exponential and trigonometric functions. For the exponential, sine, and cosine integrals, J. W. L. Glaisher (870) introduced the notations Ei, Si, and Ci. H. Amstein (895) introduced the branch cut for the logarithmic integral with a complex argument. N. Nielsen (904) used the notations Si and Ci for corresponding integrals. Different notations are used for the previous definite integrals by various authors when they are integrated from 0 to or from to. Definitions of exponential integrals The exponential integral E Ν, exponential integral Ei, logarithmic integral li, sine integral Si, hyperbolic sine integral Shi, cosine integral Ci, and hyperbolic cosine integral Chi are defined as the following definite integrals, including the Euler gamma constant Γ :

2 E Ν t t Ν t ; Re 0 t Ei t 0 t log log li 0 log t t sin t Si t 0 t sinh t Shi t 0 t cos t Ci t log 0 t cosh t Chi t log. 0 t The previous integrals are all interrelated and are called exponential integrals. Instead of the above classical definitions through definite integrals, equivalent definitions through infinite series can be used, for example, the exponential integral Ei can be defined by the following formula (see the following sections for the corresponding series for the other integrals): Ei log log. k k k k A quick look at the exponential integrals Here is a quick look at the graphics for the exponential integrals along the real axis.

3 3 Si x Ci x Shi x Chi x Ei x li x Connections within the group of exponential integrals and with other function groups Representations through more general functions The exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi are the particular cases of the more general hypergeometric and Meijer G functions. For example, they can be represented through hypergeometric functions p F q or the Tricomi confluent hypergeometric function U: E Ν Ν Ν Ν F Ν; Ν; E Ν Ν U Ν, Ν, Ei F, ;, ; log log Ei U,, log log log li log F, ;, ; log log log log log Si F ; 3, 3 ; 4 Shi F ; 3, 3 ; 4 Ci 4 F 3, ;,, 3 ; 4 log

4 4 Chi 4 F 3, ;,, 3 ; 4 log. Representations of the exponential integrals E Ν and Ei, the sine and cosine integrals Si and Ci, and the hyperbolic sine and cosine integrals Shi and Chi through classical Meijer G functions are rather simple: E Ν G,0, Ν Ν, 0 Ei G,,3,, 0, 0 log log Si Π 4 G,3, 4 0,, Ci Π,0 G,3 4 0, 0, log log Shi Π 4 G,,3 4 0,, Chi Π G,0,3 4 0, 0, log log. Here is the Euler gamma constant and the complicated-looking expression containing the two logarithm simplifies piecewise: log log log ;, 0 log log log Π ;, 0. But the last four formulas that contain the Meijer G function can be simplified further by changing the classical Meijer G functions to the generalied one. These formulas do not include factors and terms log log : Si Ci Π G,,3, Π G,0,3,, 0, 0 0, 0, Shi Π, G,3,, 0, 0 Chi Π3,0 G,4,, 0, 0,,.

5 5 The corresponding representations of the logarithmic integral li through the classical Meijer G function is more complicated and includes composition of the G function and a logarithmic function: li log log log log G,,3 log,, 0, 0. All six exponential integrals of one variable are the particular cases of the incomplete gamma function: Ei 0, log log log Si 0, 0, log log Shi 0, 0, log log Ci log 0, 0, log log Chi 0, 0, log log li 0, log log log log log log log. Representations through related equivalent functions The exponential integral E Ν can be represented through the incomplete gamma function or the regularied incomplete gamma function: E Ν Ν Ν, E Ν Ν Ν Q Ν,. Relations to inverse functions The exponential integral E Ν is connected with the inverse of the regularied incomplete gamma function Q a, by the following formula: E Ν Q Ν, Q Ν, Ν Ν. Representations through other exponential integrals The exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi are interconnected through the following formulas: Ei E log log log Ei li ; Π Im Π Ei log li

6 6 Ei Ci Si log log log Ei Chi Shi log log li E log log log log log log log li Ei log li Ci log Si log log log li Chi log Shi log log log log log log log log log Si E E log log Si 4 Ei Ei log log log log Si li li Π sgn Re ; Re Π Si Shi Shi E E log log Shi 4 Ei Ei log log log log Shi li li Π sgn Im ; Im Π Shi Si Ci E E log log log Ci 4 Ei Ei log log log log log Ci li li Π sgn Im sgn Re ; Re Π Ci Chi log log Chi E E log log Chi 4 Ei Ei log log log 3 log

7 7 Chi li li Π sgn Im log log ; Im Π Chi Ci log log. The best-known properties and formulas for exponential integrals Real values for real arguments For real values of parameter Ν and positive argument, the values of the exponential integral E Ν are real (or infinity). For real values of argument, the values of the exponential integral Ei, the sine integral Si, and the hyperbolic sine integral Shi are real. For real positive values of argument, the values of the logarithmic integral li, the cosine integral Ci, and the hyperbolic cosine integral Chi are real. Simple values at ero The exponential integrals have rather simple values for argument 0: E 0 0 Ei 0 li 0 0 Si 0 0 Shi 0 0 Ci 0 Chi 0 E Ν 0 ; Re Ν. Ν Specific values for specialied parameter If the parameter Ν equals 0,,, the exponential integral E Ν can be expressed through an exponential function multiplied by a simple rational function. If the parameter Ν equals,, 3,, the exponential integral E Ν can be expressed through the exponential integral Ei, and the exponential and logarithmic functions: E 0 E E Ei log log log. The previous formulas are the particular cases of the following general formula:

8 8 E n n n n Ei log n log log n k n n k n k k n k ; n. If the parameter Ν equals ±, ± 3 ± 5,, the exponential integral E Ν can be expressed through the probability integral erf, and the exponential and power functions, for example: E Π erfc 3 E Π erfc. The previous formulas can be generalied by the following general representation of this class of particular cases: E n n erfc n n k n n k n k n n k k ; n. Analyticity The exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi are defined for all complex values of the parameter Ν and the variable. The function E Ν is an analytical functions of Ν and over the whole complex Ν- and -planes excluding the branch cut on the -plane. For fixed, the exponential integral E Ν is an entire function of Ν. The sine integral Si and the hyperbolic sine integral Shi are entire functions of. Poles and essential singularities For fixed Ν, the function E Ν has an essential singularity at. At the same time, the point is a branch point for generic Ν. For fixed, the function E Ν has only one singular point at Ν. It is an essential singular point. The exponential integral Ei, the cosine integral Ci, and the hyperbolic cosine integral Chi have an essential singularity at. The function li does not have poles and essential singularities. The sine integral Si and the hyperbolic sine integral Shi have an essential singularity at. Branch points and branch cuts For fixed, the function E Ν does not have branch points and branch cuts. For fixed Ν, not being a nonpositive integer, the function E Ν has two branch points 0 and, and branch cuts along the interval, 0. At the same time, the point is an essential singularity for this function. The exponential integral Ei, the cosine integral Ci, and the hyperbolic cosine integral Chi have two branch points 0 and. The function li has three branch points 0,, and.

9 9 The sine integral Si and hyperbolic sine integral Shi do not have branch points or branch cuts. For fixed Ν, not being a nonpositive integer, the function E Ν is a single-valued function on the -plane cut along the interval, 0, where it is continuous from above: lim E Ν x Ε E Ν x ; x 0 lim E Ν x Ε E Ν x Π Π Ν x Ν ; x 0. Ν The function Ei is a single-valued function on the -plane cut along the interval, 0, where it has discontinuities from both sides: lim Ei x Ε Ei x Π ; x 0 lim Ei x Ε Ei x Π ; x 0. The function li is a single-valued function on the -plane cut along the interval,. It is continuous from above along the interval, 0 and it has discontinuities from both sides along the interval 0, : lim li x Ε li x ; x 0 lim li x Ε Ei log x Π ; x 0 lim li x Ε li x Π ; 0 x lim li x Ε li x Π ; 0 x. The cosine integral Ci and hyperbolic cosine integral Chi are single-valued functions on the -plane cut along the interval, 0 where they are continuous from above: lim Ci x Ε Ci x ; x 0 lim Chi x Ε Chi x ; x 0. From below, these functions have discontinuity that are described by the formulas: lim Ci x Ε Ci x Π ; x 0 lim Chi x Ε Chi x Π ; x 0. Periodicity The exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi do not have periodicity. Parity and symmetry The exponential integral Ei has mirror symmetry:

10 0 Ei Ei. The sine integral Si and the hyperbolic sine integral Shi are odd functions and have mirror symmetry: Si Si Shi Shi Si Si Shi Shi. The exponential integral E Ν, logarithmic integral li, cosine integral Ci, and hyperbolic cosine integral Chi have mirror symmetry (except on the branch cut interval (-, 0)): E Ν E Ν ;, 0 li li ;, 0 Ci Ci ;, 0 Chi Chi ;, 0. Series representations The exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi have the following series expansions through series that converge on the whole -plane: E Ν Ν Ν Ν Ν k k E Ν Ν Ν ; Ν k Ν k E n n n Ψ n log k n E n n n ; n k n k ; 0 Ν 3 Ν k k ; n k n k Ei log log 4 3 ; 0 8 Ei log log k k k k li log log 36 ; li log log k j k B j S k k k j j

11 Si 8 k k Si k k Shi 8 4 ; Shi k k 4 ; k Ci log 4 4 ; Ci log k k k k k Chi log 4 4 ; Chi log k k k. k Interestingly, closed-form expressions for the truncated version of the Taylor series at the origin can be expressed through the generalied hypergeometric function p F q, for example: E Ν F, Ν ; n k k F n, Ν Ν Ν k Ν k n n Ν, Ν n Ν n F, n Ν ; n, n Ν 3; n Ei F ; F n log log n k n Ei k k n n F, n ; n 3, n 3; n Si F ; n k k n n 3 F n Si k k n 3 n F 3, n 3 ; n, n 5, n 5 ; 4 n Ci F ; F n log k k k Asymptotic series expansions n k k n n Ci 4 n n F 3, n ; n 3, n, n ; 4 n.

12 The asymptotic behavior of the exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi can be described by the following formulas (only the main terms of the asymptotic expansions are given): E Ν O ; Ei log log log O ; li log log log log log log O log log ; 0 Si Π cos O sin O ; Shi Π cosh O sinh O ; log Ci log sin O cos O ; log Chi log sinh O cosh O ;. The previous formulas are valid in any direction of approaching point to infinity ( these formulas can be simplified to the following relations: ). In particular cases, E Ν O ; Ei O ; Re 0 li O log log Si Π cos O ; 0 Re 0 sin O ; Shi Π cosh O sinh O ; Arg Π Ci sin O Chi sinh O cos O ; Arg Π cosh O ; Re 0. Integral representations

13 3 The exponential integrals E Ν, Ei, Si, and Ci can also be represented through the following equivalent integrals: E Ν Ν t Ν t t ; Arg Π t Ei x t ; x x t x t Ei x t ; x t Si Π sin t t t cos t Ci t ; Arg Π. t The symbol in the second and third integrals means that these integrals evaluate as the Cauchy principal value of the singular integral: b f t a t x t lim x Ε f t Ε 0 a t x t x Ε Transformations b f t t x t ; a x b. The arguments of the exponential integrals Ei, Si, Shi, Ci, and Chi that contain square roots can sometimes be simplified: Ei Ei log log log log Shi Si Si Shi Shi Ci Ci log log Chi Chi log log. Identities The exponential integral E Ν satisfies the following recurrence identities: E Ν Ν E Ν

14 4 E Ν Ν E Ν. All of the preceding formulas can be generalied to the following recurrence identities with a jump of length n: E Ν n Ν n n E n Ν Ν k k ; n E Ν n n Ν n E Ν n n k Ν k ; n. Simple representations of derivatives The derivative of the exponential integral E Ν with respect to the variable has a simple representation through itself, but with a different parameter: E Ν E Ν. The derivative of the exponential integral E Ν by its parameter Ν can be represented through the regularied hypergeometric function F : E Ν Ν Ν log Ψ Ν Ν F Ν, Ν; Ν, Ν;. Ν The derivatives of the other exponential integrals Ei, li, Si, Shi, Ci, and Chi have simple representations through simple elementary functions: Ei li Si Shi Ci Chi log sin sinh cos cosh. The symbolic n th -order derivatives with respect to the variable of all exponential integrals E Ν, Ei, li, Si, Shi, Ci, and Chi have the following representations:

15 5 n E Ν n E Ν n ; n n n li n n k k k S n n log k ; n n Ei n F, ;, n; n n n n ; n n Si n n Π n F 3, ; 3, n, 3 n ; 4 ; n n Shi n n Π n F 3, ; 3, n, 3 n ; 4 ; n n Ci n n n n 3 Π n F n 3, ;, 3 n, n ; 4 ; n n Chi n n n n n 3 Π n F 3, ;, 3 n, n ; Differential equations 4 ; n. The exponential integrals E Ν, Ei, Si, Shi, Ci, and Chi satisfy the following linear differential equations of second or third orders: w Ν w Ν w 0 ; w c E Ν c w 3 w w 0 ; w c Ei c Ei c 3 w 3 w w 0 ; w c Si c Ci c 3 w 3 w w 0 ; w c Shi c Chi c 3, where c, c, and c 3 are arbitrary constants. The logarithmic integral li satisfies the following ordinary second-order nonlinear differential equation: w w 0 ; w li. Applications of exponential integrals Applications of exponential integrals include number theory, quantum field theory, Gibbs phenomena, and solutions of Laplace equations in semiconductor physics.

16 6 Copyright This document was downloaded from functions.wolfram.com, a comprehensive online compendium of formulas involving the special functions of mathematics. For a key to the notations used here, see Please cite this document by referring to the functions.wolfram.com page from which it was downloaded, for example: To refer to a particular formula, cite functions.wolfram.com followed by the citation number. e.g.: This document is currently in a preliminary form. If you have comments or suggestions, please comments@functions.wolfram.com , Wolfram Research, Inc.