Wolfram Researchfunctions.wolfram.comOther Wolfram Sites
Search Site
Function CategoriesGraphics GalleryNotationsGeneral IdentitiesAbout This Site Email Comments

View Related Information In
The Documentation Center
MathWorld

Download All Formulas For This Function
Mathematica Notebook
PDF File

Download All Introductions For This Function
Mathematica Notebook
PDF File

 

Developed with Mathematica -- Download a Free Trial Version
 











CosIntegral






Mathematica Notation

Traditional Notation









Gamma, Beta, Erf > CosIntegral[z] > Introduction to the exponential integrals





The best-known properties and formulas for exponential integrals


For real values of parameter and positive argument , the values of the exponential integral are real (or infinity). For real values of argument , the values of the exponential integral , the sine integral , and the hyperbolic sine integral are real. For real positive values of argument , the values of the logarithmic integral , the cosine integral , and the hyperbolic cosine integral are real.

The exponential integrals have rather simple values for argument :

If the parameter equals , the exponential integral can be expressed through an exponential function multiplied by a simple rational function. If the parameter equals , the exponential integral can be expressed through the exponential integral , and the exponential and logarithmic functions:

The previous formulas are the particular cases of the following general formula:

If the parameter equals , the exponential integral can be expressed through the probability integral , and the exponential and power functions, for example:

The previous formulas can be generalized by the following general representation of this class of particular cases:

The exponential integrals , , , , , , and are defined for all complex values of the parameter and the variable . The function is an analytical functions of and over the whole complex ‐ and ‐planes excluding the branch cut on the ‐plane. For fixed , the exponential integral is an entire function of . The sine integral and the hyperbolic sine integral are entire functions of .

For fixed , the function has an essential singularity at . At the same time, the point is a branch point for generic . For fixed , the function has only one singular point at . It is an essential singular point.

The exponential integral , the cosine integral , and the hyperbolic cosine integral have an essential singularity at .

The function does not have poles and essential singularities.

The sine integral and the hyperbolic sine integral have an essential singularity at .

For fixed , the function does not have branch points and branch cuts.

For fixed , not being a nonpositive integer, the function has two branch points and , and branch cuts along the interval . At the same time, the point is an essential singularity for this function.

The exponential integral , the cosine integral, and the hyperbolic cosine integral have two branch points and .

The function has three branch points , , and .

The sine integral and hyperbolic sine integral do not have branch points or branch cuts.

For fixed , not being a nonpositive integer, the function is a single‐valued function on the ‐plane cut along the interval , where it is continuous from above:

The function is a single‐valued function on the ‐plane cut along the interval , where it has discontinuities from both sides:

The function is a single‐valued function on the ‐plane cut along the interval . It is continuous from above along the interval and it has discontinuities from both sides along the interval :

The cosine integral and hyperbolic cosine integral are single‐valued functions on the ‐plane cut along the interval where they are continuous from above:

From below, these functions have discontinuity that are described by the formulas:

The exponential integrals , , , , , , and do not have periodicity.

The exponential integral has mirror symmetry:

The sine integral and the hyperbolic sine integral are odd functions and have mirror symmetry:

The exponential integral , logarithmic integral , cosine integral , and hyperbolic cosine integral have mirror symmetry (except on the branch cut interval (-∞, 0)):

The exponential integrals , , , , , , and have the following series expansions through series that converge on the whole ‐plane:

Interestingly, closed‐form expressions for the truncated version of the Taylor series at the origin can be expressed through the generalized hypergeometric function , for example:

The asymptotic behavior of the exponential integrals , , , , , , and can be described by the following formulas (only the main terms of the asymptotic expansions are given):

The previous formulas are valid in any direction of approaching point to infinity (z∞). In particular cases, these formulas can be simplified to the following relations:

The exponential integrals , , , and can also be represented through the following equivalent integrals:

The symbol in the second and third integrals means that these integrals evaluate as the Cauchy principal value of the singular integral: .

The arguments of the exponential integrals , , , , and that contain square roots can sometimes be simplified:

The exponential integral satisfies the following recurrence identities:

All of the preceding formulas can be generalized to the following recurrence identities with a jump of length :

The derivative of the exponential integral with respect to the variable has a simple representation through itself, but with a different parameter:

The derivative of the exponential integral by its parameter can be represented through the regularized hypergeometric function :

The derivatives of the other exponential integrals , , , , , and have simple representations through simple elementary functions:

The symbolic -order derivatives with respect to the variable of all exponential integrals , , , , , , and have the following representations:

The exponential integrals , , , , , and satisfy the following linear differential equations of second or third orders:

where , , and are arbitrary constants.

The logarithmic integral satisfies the following ordinary second-order nonlinear differential equation: