Trigonometric Integral
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, trigonometric integrals are a
family Family (from la, familia) is a Social group, group of people related either by consanguinity (by recognized birth) or Affinity (law), affinity (by marriage or other relationship). The purpose of the family is to maintain the well-being of its ...
of
integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
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 all ...
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 oppo ...
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 In mathematics, physics and engineering, the sinc function, denoted by , has two forms, normalized and unnormalized.. In mathematics, the historical unnormalized sinc function is defined for by \operatornamex = \frac. Alternatively, the u ...
, and also the zeroth
spherical Bessel function Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary ...
. Since is an
even Even may refer to: General * Even (given name), a Norwegian male personal name * Even (surname) * Even (people), an ethnic group from Siberia and Russian Far East ** Even language, a language spoken by the Evens * Odd and Even, a solitaire game w ...
entire function In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any fin ...
(
holomorphic In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivati ...
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^\in ...
, \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 audio signal processing, sound, image processing, images, and scientific measurements. Signal processing techniq ...
, the oscillations of the sine integral cause overshoot and
ringing artifacts In signal processing, particularly digital image processing, ringing artifacts are artifacts that appear as spurious signals near sharp transitions in a signal. Visually, they appear as bands or "ghosts" near edges; audibly, they appear as "ec ...
when using the
sinc filter In signal processing, a sinc filter is an idealized filter that removes all frequency components above a given cutoff frequency, without affecting lower frequencies, and has linear phase response. The filter's impulse response is a sinc functio ...
, 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 signa ...
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 filter des ...
. Related is the
Gibbs phenomenon In mathematics, the Gibbs phenomenon, discovered by Available on-line at:National Chiao Tung University: Open Course Ware: Hewitt & Hewitt, 1979. and rediscovered by , is the oscillatory behavior of the Fourier series of a piecewise continuousl ...
: If the sine integral is considered as the
convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
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 ''p ...
, 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 Euler's constant (sometimes also called the Euler–Mascheroni constant) is a mathematical constant usually denoted by the lowercase Greek letter gamma (). It is defined as the limiting difference between the harmonic series and the natural l ...
. 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 Even may refer to: General * Even (given name), a Norwegian male personal name * Even (surname) * Even (people), an ethnic group from Siberia and Russian Far East ** Even language, a language spoken by the Evens * Odd and Even, a solitaire game w ...
,
entire function In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any fin ...
. For that reason, some texts treat as the primary function, and derive in terms of .


Hyperbolic sine integral

The
hyperbolic sine In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points form a circle with a unit radius, the points form the right half of the u ...
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 In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points form a circle with a unit radius, the points form the right half of the u ...
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 Euler's constant (sometimes also called the Euler–Mascheroni constant) is a mathematical constant usually denoted by the lowercase Greek letter gamma (). It is defined as the limiting difference between the harmonic series and the natural l ...
. 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 integral 250px, Plots of and . The maximum of is about . If the integrands of and were defined using instead of , then the image would be scaled vertically and horizontally (see below). The Fresnel integrals and are two transcendental functions n ...
s 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. E ...
. 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 In mathematics, the exponential integral Ei is a special function on the complex plane. It is defined as one particular definite integral of the ratio between an exponential function and its argument. Definitions For real non-zero values of  ...
. 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é approximant In mathematics, a Padé approximant is the "best" approximation of a function near a specific point by a rational function of given order. Under this technique, the approximant's power series agrees with the power series of the function it is ap ...
s 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 In mathematics, the logarithmic integral function or integral logarithm li(''x'') is a special function. It is relevant in problems of physics and has number theoretic significance. In particular, according to the prime number theorem, it is a ...
*
Tanc function In mathematics, the tanc function is defined for z \neq 0 as \operatorname(z)=\frac Properties The first-order derivative of the tanc function is given by : \frac - \frac The Taylor series expansion is\operatorname z \approx \left(1+ \frac ...
*
Tanhc function In mathematics, the tanhc function is defined for z \neq 0 as \operatorname(z)=\frac The tanhc function is the hyperbolic analogue of the tanc function. Properties The first-order derivative is given by : \frac - \frac The Taylor series e ...
* Sinhc function * Coshc function


References

*


Further reading

* * * *


External links

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