Trigonometric Integral
   HOME

TheInfoList



OR:

In mathematics, trigonometric integrals are a
family Family (from la, familia) is a group of people related either by consanguinity (by recognized birth) or affinity (by marriage or other relationship). The purpose of the family is to maintain the well-being of its members and of society. Idea ...
of
integral In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...
s involving
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in ...
s.


Sine integral

The different
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opp ...
integral definitions are \operatorname(x) = \int_0^x\frac\,dt \operatorname(x) = -\int_x^\infty\frac\,dt~. Note that the integrand 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 In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically ...
of whose value is zero at , and is the antiderivative whose value is zero at . Their difference is given by the
Dirichlet integral In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line: : \int_0^\inft ...
, \operatorname(x) - \operatorname(x) = \int_0^\infty\frac\,dt = \frac \quad \text \quad \operatorname(x) = \frac + \operatorname(x) ~. In
signal processing Signal processing is an electrical engineering subfield that focuses on analyzing, modifying and synthesizing '' signals'', such as sound, images, and scientific measurements. Signal processing techniques are used to optimize transmissions, ...
, the oscillations of the sine integral cause overshoot and ringing artifacts when using the sinc filter, and
frequency domain In physics, electronics, control systems engineering, and statistics, the frequency domain refers to the analysis of mathematical functions or signals with respect to frequency, rather than time. Put simply, a time-domain graph shows how a ...
ringing if using a truncated sinc filter as a
low-pass filter A low-pass filter is a filter that passes signals with a frequency lower than a selected cutoff frequency and attenuates signals with frequencies higher than the cutoff frequency. The exact frequency response of the filter depends on the filt ...
. Related is the Gibbs phenomenon: If the sine integral is considered as the
convolution In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution' ...
of the sinc function with the
heaviside step function The Heaviside step function, or the unit step function, usually denoted by or (but sometimes , or ), is a step function, named after Oliver Heaviside (1850–1925), the value of which is zero for negative arguments and one for positive argume ...
, this corresponds to truncating the
Fourier series A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or '' ...
, which is the cause of the Gibbs phenomenon.


Cosine integral

The different cosine integral definitions are \operatorname(x) = \int_0^x \frac\,dt~, \operatorname(x) = -\int_x^\infty \frac\,dt = \gamma + \ln x - \int_0^x \frac\,dt \qquad ~\text ~\left, \operatorname(x)\ < \pi~, where is the Euler–Mascheroni constant. Some texts use instead of . is the antiderivative of (which vanishes as x \to \infty). The two definitions are related by \operatorname(x) = \gamma + \ln x - \operatorname(x)~. is an even, entire function. For that reason, some texts treat as the primary function, and derive in terms of .


Hyperbolic sine integral

The hyperbolic sine integral is defined as \operatorname(x) =\int_0^x \frac \,dt. It is related to the ordinary sine integral by \operatorname(ix) = i\operatorname(x).


Hyperbolic cosine integral

The hyperbolic cosine integral is \operatorname(x) = \gamma+\ln x + \int_0^x\frac\,dt \qquad ~ \text ~ \left, \operatorname(x) \ < \pi~, where \gamma is the Euler–Mascheroni constant. It has the series expansion \operatorname(x) = \gamma + \ln(x) + \frac + \frac + \frac + \frac + \frac + O(x^).


Auxiliary functions

Trigonometric integrals can be understood in terms of the so-called "auxiliary functions" \begin f(x) &\equiv&\displaystyle \int_0^\infty \frac \,dt &=&\displaystyle \int_0^\infty \frac \,dt &=& \quad \operatorname(x) \sin(x) + \left frac - \operatorname(x) \right\cos(x)~, \qquad \text \\ g(x) &\equiv&\displaystyle \int_0^\infty \frac \,dt &=&\displaystyle \int_0^\infty \frac \,dt &=& -\operatorname(x) \cos(x) + \left frac - \operatorname(x) \right\sin(x)~. \end Using these functions, the trigonometric integrals may be re-expressed as (cf. Abramowitz & Stegun
p. 232
\begin \frac - \operatorname(x) = -\operatorname(x) &=& f(x) \cos(x) + g(x) \sin(x)~, \qquad \text \\ \operatorname(x) &=& f(x) \sin(x) - g(x) \cos(x)~. \\ \end


Nielsen's spiral

The
spiral In mathematics, a spiral is a curve which emanates from a point, moving farther away as it revolves around the point. Helices Two major definitions of "spiral" in the American Heritage Dictionary are:x(t) = a \times \operatorname(t) y(t) = a \times \operatorname(t) The spiral is closely related to the Fresnel integrals and the
Euler spiral An Euler spiral is a curve whose curvature changes linearly with its curve length (the curvature of a circular curve is equal to the reciprocal of the radius). Euler spirals are also commonly referred to as spiros, clothoids, or Cornu spirals. Eu ...
. Nielsen's spiral has applications in vision processing, road and track construction and other areas.


Expansion

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


Asymptotic series (for large argument)

\operatorname(x) \sim \frac - \frac\left(1-\frac+\frac-\frac\cdots\right) - \frac\left(\frac-\frac+\frac-\frac\cdots\right) \operatorname(x) \sim \frac\left(1-\frac+\frac-\frac\cdots\right) - \frac\left(\frac-\frac+\frac-\frac\cdots\right) ~. These series are
asymptotic In analytic geometry, an asymptote () of a curve is a line such that the distance between the curve and the line approaches zero as one or both of the ''x'' or ''y'' coordinates tends to infinity. In projective geometry and related contexts, ...
and divergent, although can be used for estimates and even precise evaluation at .


Convergent series

\operatorname(x)= \sum_^\infty \frac=x-\frac+\frac-\frac\pm\cdots \operatorname(x)= \gamma+\ln x+\sum_^\frac=\gamma+\ln x-\frac + \frac\mp\cdots 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 expansion of sine:\sin\,x = x - \frac+\frac- \frac+\frac-\frac + \cdots \frac = 1 - \frac+\frac- \frac+\frac-\frac+\cdots \therefore\int \fracdx = x - \frac+\frac- \frac+\frac-\frac+\cdots


Relation with the exponential integral of imaginary argument

The function \operatorname_1(z) = \int_1^\infty \frac\,dt \qquad~\text~ \Re(z) \ge 0 is called the exponential integral. It is closely related to and , \operatorname_1(i x) = i\left(-\frac + \operatorname(x)\right)-\operatorname(x) = i \operatorname(x) - \operatorname(x) \qquad ~\text~ x > 0 ~. 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.) Cases of imaginary argument of the generalized integro-exponential function are \int_1^\infty \cos(ax)\frac \, dx = -\frac+\gamma\left(\frac+\ln a\right)+\frac +\sum_ \frac ~, which is the real part of \int_1^\infty e^\frac\,dx = -\frac + \gamma\left(\frac+\ln a\right)+\frac -\fraci\left(\gamma+\ln a\right) + \sum_\frac ~. Similarly \int_1^\infty e^\frac\,dx = 1 + ia\left -\frac + \gamma \left( \frac + \ln a - 1 \right) + \frac - \ln a + 1 \right + \frac \Bigl( \gamma+\ln a - 1 \Bigr) + \sum_\frac~.


Efficient evaluation

Padé approximants of the convergent Taylor series provide an efficient way to evaluate the functions for small arguments. The following formulae, given by Rowe et al. (2015), are accurate to better than for , \begin \operatorname(x) &\approx & x \cdot \left( \frac \right)\\ &~&\\ \operatorname(x) &\approx & \gamma + \ln(x) +\\ && x^2 \cdot \left( \frac \right) \end The integrals may be evaluated indirectly via auxiliary functions f(x) and g(x), which are defined by For x \ge 4 the Padé rational functions given below approximate f(x) and g(x) with error less than 10−16: \begin f(x) &\approx & \dfrac \cdot \left(\frac \right) \\ & &\\ g(x) &\approx & \dfrac \cdot \left(\frac \right) \\ \end


See also

* Logarithmic integral * Tanc function * Tanhc function *
Sinhc function In mathematics, the sinhc function appears frequently in papers about optical scattering, Heisenberg spacetime and hyperbolic geometry. For z \neq 0, it is defined as \operatorname(z)=\frac The sinhc function is the hyperbolic analogue of the sinc ...
*
Coshc function In mathematics, the coshc function appears frequently in papers about optical scattering, Heisenberg spacetime and hyperbolic geometry. For z \neq 0, it is defined as \operatorname(z)=\frac It is a solution of the following differential equation: ...


References

*


Further reading

* * * *


External links

* http://mathworld.wolfram.com/SineIntegral.html * * {{DEFAULTSORT:Trigonometric Integral Trigonometry Special functions Special hypergeometric functions Integrals