“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:

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]

Definition

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

Some authors, including Abramowitz and Stegun, (eqs 7.3.1 – 7.3.2) use

for the argument of the integrals defining S(x) and C(x). This changes their limits at infinity from

and the arc length for the first spiral turn

to 2 (at

), all smaller by a factor

. The alternative functions are also called Normalized Fresnel integrals.

Euler spiral

The Euler spiral, also known as Cornu spiral or clothoid, is the curve generated by a parametric plot of

against

. The Cornu spiral was created by Marie Alfred Cornu as a nomogram for diffraction computations in science and engineering.

That is, the parameter

is the curve length measured from the origin

, and the Euler spiral has infinite length. The vector

also expresses the unit tangent vector along the spiral, giving

. Since t is the curve length, the curvature

can be expressed as

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

in the above derivatives also represents the time. That is, 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 roller-coaster loops to make what are known as clothoid loops.

Properties

Limits as x approaches infinity

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 limits of {{math|C}} and {{math|S}} as the argument tends to infinity can be found by the methods of complex analysis. This uses the contour integral of the function

around the boundary of the sector-shaped region in the complex plane formed by the positive {{math|x}}-axis, the bisector of the first quadrant {{math|y {{=}} x}} with {{math|x ≥ 0}}, and a circular arc of radius {{math|R}} centered at the origin.

As {{math|R}} goes to infinity, the integral along the circular arc tends to {{math|0}}, the integral along the real axis 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

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

. Therefore, substitution gives the right hand side as

where we have written

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

Generalization

is a confluent hypergeometric function and also an incomplete gamma function^[3]

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

Numerical approximation

For computation to arbitrary precision, the power series is suitable for small argument. For large argument, asymptotic expansions^[4] converge faster. Continued fraction methods may also be used.^[5]

For computation to particular target precision, other approximations have been developed. Cody^[6] developed a set of efficient approximations based on rational functions that give relative errors down to {{val|2|e=-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.^[7] Boersma developed an approximation with error less than {{val|1.6|e=-9}}.^[8]

Applications

The Fresnel integrals were originally used in the calculation of the electromagnetic field intensity in an environment where light bends around opaque objects.^[9] 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 roller coasters^[9] or calculating the transitions on a velodrome track to allow rapid entry to the bends and gradual exit.{{citation needed|date=March 2014}}

See also

References

1. ^¹{{cite book|author=James Stewart|title=Calculus Early Transcendentals|url=https://books.google.com/?id=v4-1Rk7uaEcC&pg=PA383&lpg=PA383&vq=%22design+of+highways%22#v=onepage&q=%22design%20of%20highways%22&f=false|year=2008|publisher=Cengage Learning EMEA|isbn=978-0-495-38273-7|page=383}}
2. ^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

3. ^{{cite arxiv|first1 =R. J. | last1=Mathar|title=Series Expansion of Generalized Fresnel Integrals |year=2012 |eprint=1211.3963| class=math.CA}}
4. ^{{dlmf|id=7.12.ii|title=Error Functions, Dawson’s and Fresnel Integrals: Asymptotic expansions|first=N. M. |last=Temme}}
5. ^{{cite book| last1=Press | first1=WH | last2=Teukolsky | first2=SA | last3=Vetterling | first3=WT | last4=Flannery | first4=BP | year=2007 | title=Numerical Recipes: The Art of Scientific Computing | edition=3rd | publisher=Cambridge University Press | location=New York | isbn=978-0-521-88068-8 | chapter=Section 6.8.1. Fresnel Integrals | chapter-url=http://apps.nrbook.com/empanel/index.html#pg=297}}
6. ^{{cite journal |last1=Cody |first1=William J |title=Chebyshev approximations for the Fresnel integrals |journal=Math. Comp. |date=1968 |volume=22 |issue=102 |pages=450–453 |doi=10.1090/S0025-5718-68-99871-2 |url=http://www.ams.org/journals/mcom/1968-22-102/S0025-5718-68-99871-2/S0025-5718-68-99871-2.pdf}}
7. ^{{cite journal |last1=van Snyder |first1=W |title=Algorithm 723: Fresnel integrals |journal=ACM Trans. Math. Softw. |date=December 1993 |volume=19 |issue=4 |pages=452–456 |doi=10.1145/168173.168193 |ref=snyder}}
8. ^{{cite journal|first1=J. |last1=Boersma|title=Computation of Fresnel Integrals|journal=Math. Comp.|volume=14|issue=72|year=1960|pages=380|mr=0121973|doi=10.1090/S0025-5718-1960-0121973-3 }}
9. ^¹{{cite web|last=Beatty|first=Thomas|title=How to evaluate Fresnel Integrals|url=http://www.thomasbeatty.com/MATH%20PAGES/ARCHIVES%20-%20NOTES/Complex%20Variables/How%20to%20evaluate%20Fresnel%20Integrals.pdf|work=FGCU MATH - SUMMER 2013|accessdate=27 July 2013}}