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
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 ...
, 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 ...
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 de ...
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 ...
,
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
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 ...
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
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 continuou ...
: 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
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 ...
. Some texts use instead of .
is the antiderivative of (which vanishes as ). The two definitions are related by
is an even,
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 ...
integral is defined as
It is related to the ordinary sine integral by
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 ...
.
It has the series expansion
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
(cf. Abramowitz & Stegun p. 232
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.
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)
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
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:
Relation with the exponential integral of imaginary argument
The function
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 ,
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
which is the real part of
Similarly
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 a ...
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 ,
The integrals may be evaluated indirectly via auxiliary functions and , which are defined by
For the Padé rational functions given below approximate and with error less than 10−16:
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 ...
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 ...