The Fresnel integralsS(x) and C(x) are two transcendental functions named after Augustin-Jean Fresnel that are used in optics and are closely related to the error function (erf). They arise in the description of near-field Fresnel diffraction phenomena and are defined through the following integral representations:
The simultaneous parametric plot of S(x) and C(x) is the Euler spiral (also known as the Cornu spiral or clothoid).
The Fresnel integrals admit the following power series expansions that converge for all x:
Some widely used tables [1] [2] use π/2t2 instead of t2 for the argument of the integrals defining S(x) and C(x). This changes their limits at infinity from 1/2·√π/2 to 1/2 [3] and the arc length for the first spiral turn from √2π to 2 (at t = 2). These alternative functions are usually known as normalized Fresnel integrals.
The Euler spiral , also known as Cornu spiral or clothoid, is the curve generated by a parametric plot of S(t) against C(t). The Cornu spiral was created by Marie Alfred Cornu as a nomogram for diffraction computations in science and engineering.
From the definitions of Fresnel integrals, the infinitesimals dx and dy are thus:
Thus the length of the spiral measured from the origin can be expressed as
That is, the parameter t is the curve length measured from the origin (0, 0), and the Euler spiral has infinite length. The vector (cos(t2), sin(t2)) also expresses the unit tangent vector along the spiral, giving θ = t2. Since t is the curve length, the curvature κ can be expressed as
Thus the rate of change of curvature with respect to the curve length is
An Euler spiral has the property that its curvature at any point is proportional to the distance along the spiral, measured from the origin. This property makes it useful as a transition curve in highway and railway engineering: if a vehicle follows the spiral at unit speed, the parameter t in the above derivatives also represents the time. Consequently, a vehicle following the spiral at constant speed will have a constant rate of angular acceleration.
Sections from Euler spirals are commonly incorporated into the shape of rollercoaster loops to make what are known as clothoid loops.
C(x) and S(x) are odd functions of x,
Asymptotics of the Fresnel integrals as x → ∞ are given by the formulas:
Using the power series expansions above, the Fresnel integrals can be extended to the domain of complex numbers, where they become analytic functions of a complex variable.
C(z) and S(z) are entire functions of the complex variable z.
The Fresnel integrals can be expressed using the error function as follows: [4]
or
The integrals defining C(x) and S(x) cannot be evaluated in the closed form in terms of elementary functions, except in special cases. The limits of these functions as x goes to infinity are known:
This can be derived with any one of several methods. One of them [5] uses a contour integral of the function
around the boundary of the sector-shaped region in the complex plane formed by the positive x-axis, the bisector of the first quadrant y = x with x ≥ 0, and a circular arc of radius R centered at the origin.
As R goes to infinity, the integral along the circular arc γ2 tends to 0
where polar coordinates z = Reit were used and Jordan's inequality was utilised for the second inequality. The integral along the real axis γ1 tends to the half Gaussian integral
Note too that because the integrand is an entire function on the complex plane, its integral along the whole contour is zero. Overall, we must have
where γ3 denotes the bisector of the first quadrant, as in the diagram. To evaluate the left hand side, parametrize the bisector as
where t ranges from 0 to +∞. Note that the square of this expression is just +it2. Therefore, substitution gives the left hand side as
Using Euler's formula to take real and imaginary parts of e−it2 gives this as
where we have written 0i to emphasize that the original Gaussian integral's value is completely real with zero imaginary part. Letting
and then equating real and imaginary parts produces the following system of two equations in the two unknowns IC and IS:
Solving this for IC and IS gives the desired result.
The integral
is a confluent hypergeometric function and also an incomplete gamma function [6]
which reduces to Fresnel integrals if real or imaginary parts are taken:
The leading term in the asymptotic expansion is
and therefore
For m = 0, the imaginary part of this equation in particular is
with the left-hand side converging for a > 1 and the right-hand side being its analytical extension to the whole plane less where lie the poles of Γ(a−1).
The Kummer transformation of the confluent hypergeometric function is
with
For computation to arbitrary precision, the power series is suitable for small argument. For large argument, asymptotic expansions converge faster. [7] Continued fraction methods may also be used. [8]
For computation to particular target precision, other approximations have been developed. Cody [9] developed a set of efficient approximations based on rational functions that give relative errors down to 2×10−19. A FORTRAN implementation of the Cody approximation that includes the values of the coefficients needed for implementation in other languages was published by van Snyder. [10] Boersma developed an approximation with error less than 1.6×10−9. [11]
The Fresnel integrals were originally used in the calculation of the electromagnetic field intensity in an environment where light bends around opaque objects. [12] More recently, they have been used in the design of highways and railways, specifically their curvature transition zones, see track transition curve. [13] Other applications are rollercoasters [12] or calculating the transitions on a velodrome track to allow rapid entry to the bends and gradual exit.[ citation needed ]
In mathematics, the arithmetic–geometric mean of two positive real numbers x and y is the mutual limit of a sequence of arithmetic means and a sequence of geometric means:
Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions y(x) of Bessel's differential equation
In mathematics, the error function, often denoted by erf, is a complex function of a complex variable defined as:
Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.
In geometry, a solid of revolution is a solid figure obtained by rotating a plane figure around some straight line, which may not intersect the generatrix. The surface created by this revolution and which bounds the solid is the surface of revolution.
In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.
In the physical sciences, the Airy function (or Airy function of the first kind) Ai(x) is a special function named after the British astronomer George Biddell Airy (1801–1892). The function Ai(x) and the related function Bi(x), are linearly independent solutions to the differential equation
In mathematics, the Clausen function, introduced by Thomas Clausen (1832), is a transcendental, special function of a single variable. It can variously be expressed in the form of a definite integral, a trigonometric series, and various other forms. It is intimately connected with the polylogarithm, inverse tangent integral, polygamma function, Riemann zeta function, Dirichlet eta function, and Dirichlet beta function.
In mathematics, the Dawson function or Dawson integral (named after H. G. Dawson) is the one-sided Fourier–Laplace sine transform of the Gaussian function.
The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is
In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.
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:
In calculus, the Leibniz integral rule for differentiation under the integral sign states that for an integral of the form
In mathematics (specifically multivariable calculus), a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z). Integrals of a function of two variables over a region in (the real-number plane) are called double integrals, and integrals of a function of three variables over a region in (real-number 3D space) are called triple integrals. For multiple integrals of a single-variable function, see the Cauchy formula for repeated integration.
In mathematics, the Struve functionsHα(x), are solutions y(x) of the non-homogeneous Bessel's differential equation:
In mathematics, and more precisely in analysis, the Wallis integrals constitute a family of integrals introduced by John Wallis.
In integral calculus, the tangent half-angle substitution is a change of variables used for evaluating integrals, which converts a rational function of trigonometric functions of into an ordinary rational function of by setting . This is the one-dimensional stereographic projection of the unit circle parametrized by angle measure onto the real line. The general transformation formula is:
In calculus, the integral of the secant function can be evaluated using a variety of methods and there are multiple ways of expressing the antiderivative, all of which can be shown to be equivalent via trigonometric identities,
In mathematics, a Böhmer integral is an integral introduced by Böhmer (1939) generalizing the Fresnel integrals.