Fresnel integral

The Fresnel integrals S(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:

Plots of S(x) and C(x). The maximum of C(x) is about 0.977451424. If the integrands of S and C were defined using π/2t2 instead of t2, then the image would be scaled vertically and horizontally (see below).

The simultaneous parametric plot of S(x) and C(x) is the Euler spiral (also known as the Cornu spiral or clothoid). Recently, they have been used in the design of highways and other engineering projects.[1]

DefinitionEdit

 
Fresnel integrals with arguments π/2t2 instead of t2 converge to 1/2.

The Fresnel integrals admit the following power series expansions that converge for all x:

 

Some widely used tables[2][3] 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 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.

Euler spiralEdit

 
Euler spiral (x, y) = (C(t), S(t)). The spiral converges to the centre of the holes in the image as t tends to positive or negative infinity.

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.

PropertiesEdit

  • C(x) and S(x) are odd functions of x.
  • Asymptotics of the Fresnel integrals as x → ∞ are given by the formulas:
 
 
Complex Fresnel integral S(z)
 
Complex Fresnel integral C(z)
 
or
 

Limits as x approaches infinityEdit

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:

 
 
The sector contour used to calculate the limits of the Fresnel integrals

The limits of C(x) and S(x) as the argument x tends to infinity can be found by using 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 right hand side, parametrize the bisector as

 

where r ranges from 0 to +∞. Note that the square of this expression is just +ir2. Therefore, substitution gives the right hand side as

 

Using Euler's formula to take real and imaginary parts of eir2 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.

GeneralizationEdit

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

 

Numerical approximationEdit

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]

ApplicationsEdit

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.[1] 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]

See alsoEdit

NotesEdit

  1. ^ a b Stewart 2008, p. 383.
  2. ^ Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 7, eqn 7.3.1 – 7.3.2". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
  3. ^ Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Properties", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.
  4. ^ functions.wolfram.com, Fresnel integral S: Representations through equivalent functions and Fresnel integral C: Representations through equivalent functions. Note: Wolfram uses the Abramowitz & Stegun convention, which differs from the one in this article by factors of π2.
  5. ^ Another method based on parametric integration is described for example in Zajta & Goel 1989.
  6. ^ Mathar 2012.
  7. ^ Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Asymptotic expansions", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.
  8. ^ Press et al. 2007.
  9. ^ Cody 1968.
  10. ^ van Snyder 1993.
  11. ^ Boersma 1960.
  12. ^ a b Beatty 2013.

ReferencesEdit

External linksEdit