In mathematics, trigonometric integrals are a family of nonelementary integrals involving trigonometric functions.

Sine integral

The different sine

is the sinc function, and also the zeroth spherical Bessel function. Since is an even entire function (holomorphic over the entire complex plane), is entire, odd, and the integral in its definition can be taken along any path connecting the endpoints.

By definition, is the antiderivative of whose value is zero at , and is the antiderivative whose value is zero at . Their difference is given by the Dirichlet integral

In signal processing, the oscillations of the sine integral cause overshoot and ringing artifacts when using the sinc filter, and frequency domain ringing if using a truncated sinc filter as a low-pass filter.

Related is the Gibbs phenomenon: If the sine integral is considered as the convolution of the sinc function with the Heaviside step function, this corresponds to truncating the Fourier series, which is the cause of the Gibbs phenomenon.

Cosine integral

The different cosine

is an even, entire function. For that reason, some texts define as the primary function, and derive in terms of .

for , where is the Euler–Mascheroni constant. Some texts use instead of . The restriction on is to avoid a discontinuity (shown as the orange vs. blue area on the left half of the plot above) that arises because of a branch cut in the standard logarithm function ().

is the antiderivative of (which vanishes as

Hyperbolic sine integral

The hyperbolic sine

Hyperbolic cosine integral

The hyperbolic cosine integral is is the Euler–Mascheroni constant.

Auxiliary functions

Trigonometric integrals can be understood in terms of the so-called "auxiliary functions Using these functions, the trigonometric integrals may be re-expressed as

Nielsen's spiral

The spiral formed by parametric plot of ,

The spiral is closely related to the Fresnel integrals and the Euler spiral.

Expansion

Various expansions can be used for evaluation of trigonometric integrals, depending on the range of the argument.

Asymptotic series (for large argument)

These series are asymptotic and divergent, although can be used for estimates and even precise evaluation at .

Convergent series

These series are convergent at any complex , although for , the series will converge slowly initially, requiring many terms for high precision.

Derivation of series expansion

From the Maclaurin series

Relation with the exponential integral of imaginary argument

is called the exponential integral. It is closely related to and

As each respective function is analytic except for the cut at negative values of the argument, the area of validity of the relation should be extended to (Outside this range, additional terms which are integer factors of appear in the expression.)

Efficient evaluation

Padé approximants of the convergent Taylor series provide an efficient way to evaluate the functions for small arguments. The following formulae are accurate to better than for :

The integrals may be evaluated indirectly via auxiliary functions and

the Padé rational functions with error less than :

See also

• Exponential integral

• Logarithmic integral

• Tanc function

• Tanhc function

• Sinhc function

• Coshc function

References

Further reading

External links

• http://mathworld.wolfram.com/SineIntegral.html