Fresnel integral

Plots of S(x) and C(x). The maximum of C(x) is about 0.977451424. If

\frac{\pi}{2}t^2

were used instead of

t^{2}

, then the image would be scaled vertically and horizontally (see below).

Fresnel integrals, S(x) and C(x), are two transcendental functions named after Augustin-Jean Fresnel that are used in optics, which 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:

S(x)=\int _{0}^{x}\sin(t^{2})\,\mathrm {d} t,\,\,\,

C(x)=\int _{0}^{x}\cos(t^{2})\,\mathrm {d} t.

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

Fresnel integrals with arguments

π

t²/2 instead of t² converge to 0.5.

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

{\begin{aligned}S(x)&=\int _{0}^{x}\sin(t^{2})\,\mathrm {d} t=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+3}}{(2n+1)!(4n+3)}}\\[6pt]C(x)&=\int _{0}^{x}\cos(t^{2})\,\mathrm {d} t=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+1}}{(2n)!(4n+1)}}\end{aligned}}

Some authors, including Abramowitz and Stegun, (eqs 7.3.1 – 7.3.2) use $\frac{\pi}{2}t^2$ for the argument of the integrals defining S(x) and C(x), which changes their limits to 0.5 and the arc length for the first spiral turn $(2\pi)$ to 2 (at $t=2$ ), all smaller by a factor ${\sqrt {\frac {2}{\pi }}}$ . The alternative functions are also called Normalized Fresnel integrals.

Euler spiral

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:

\mathrm {d} x=C'(t)\,\mathrm {d} t=\cos(t^{2})\,\mathrm {d} t,

\mathrm {d} y=S'(t)\,\mathrm {d} t=\sin(t^{2})\,\mathrm {d} t.

Thus the length of the spiral measured from the origin can be expressed as

L=\int _{0}^{t_{0}}{\sqrt {\mathrm {d} x^{2}+\mathrm {d} y^{2}}}=\int _{0}^{t_{0}}\mathrm {d} t=t_{0}.

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(t^{2}),\sin(t^{2}))$ also expresses the unit tangent vector along the spiral, giving $\theta =t^{2}$ . Since t is the curve length, the curvature $\kappa$ can be expressed as

\kappa ={\frac {1}{R}}={\frac {\mathrm {d} \theta }{\mathrm {d} t}}=2t.

And the rate of change of curvature with respect to the curve length is

{\frac {\mathrm {d} \kappa }{\mathrm {d} t}}={\frac {\mathrm {d} ^{2}\theta }{\mathrm {d} t^{2}}}=2.

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. 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

C(x) and S(x) are odd functions of x.
Asymptotics of the Fresnel integrals as $x\to \infty$ are given by the formulas:

{\begin{aligned}S(x)&={\sqrt {\frac {\pi }{2}}}\left({\frac {{\mbox{sign}}{(x)}}{2}}-\left[1+O(x^{-4})\right]\left({\frac {\cos {(x^{2})}}{x{\sqrt {2\pi }}}}+{\frac {\sin {(x^{2})}}{x^{3}{\sqrt {8\pi }}}}\right)\right),\\[6pt]C(x)&={\sqrt {\frac {\pi }{2}}}\left({\frac {{\mbox{sign}}{(x)}}{2}}+\left[1+O(x^{-4})\right]\left({\frac {\sin {(x^{2})}}{x{\sqrt {2\pi }}}}-{\frac {\cos {(x^{2})}}{x^{3}{\sqrt {8\pi }}}}\right)\right).\end{aligned}}

Complex Fresnel integral S(z)

Using the power series expansions above, the Fresnel integrals can be extended to the domain of complex numbers, and they become analytic functions of a complex variable.
The Fresnel integrals can be expressed using the error function as follows:^[2]

Complex Fresnel integral C(z)

{\begin{aligned}S(z)&={\sqrt {\frac {\pi }{2}}}{\frac {1+i}{4}}\left[\operatorname {erf} \left({\frac {1+i}{\sqrt {2}}}z\right)-i\operatorname {erf} \left({\frac {1-i}{\sqrt {2}}}z\right)\right],\\[6pt]C(z)&={\sqrt {\frac {\pi }{2}}}{\frac {1-i}{4}}\left[\operatorname {erf} \left({\frac {1+i}{\sqrt {2}}}z\right)+i\operatorname {erf} \left({\frac {1-i}{\sqrt {2}}}z\right)\right].\end{aligned}}

or

{\begin{aligned}C(z)+iS(z)&={\sqrt {\frac {\pi }{2}}}{\frac {1+i}{2}}\operatorname {erf} \left({\frac {1-i}{\sqrt {2}}}z\right),\\[6pt]S(z)+iC(z)&={\sqrt {\frac {\pi }{2}}}{\frac {1+i}{2}}\operatorname {erf} \left({\frac {1+i}{\sqrt {2}}}z\right).\end{aligned}}

C and S are entire functions.

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:

\int _{0}^{\infty }\cos t^{2}\,\mathrm {d} t=\int _{0}^{\infty }\sin t^{2}\,\mathrm {d} t={\frac {\sqrt {2\pi }}{4}}={\sqrt {\frac {\pi }{8}}}.

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

The limits of $C$ and $S$ as the argument tends to infinity can be found by the methods of complex analysis. This uses the contour integral of the function

e^{-t^{2}}

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 \geq 0$ , and a circular arc of radius $R$ centered at the origin.

As $R$ goes to infinity, the integral along the circular arc tends to $0$ , the integral along the real axis tends to the half Gaussian integral

\int _{0}^{\infty }e^{-t^{2}}\,\mathrm {d} t={\frac {\sqrt {\pi }}{2}}.

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

\int _{0}^{\infty }e^{-t^{2}}\,\mathrm {d} t=\int _{\gamma _{3}}e^{-t^{2}}\,\mathrm {d} t

where $\gamma _{3}$ denotes the bisector of the first quadrant, as in the diagram. To evaluate the right hand side, parametrize the bisector as $t=re^{\pi i/4}={\frac {\sqrt {2}}{2}}(1+i)r$ where r ranges from 0 to $+\infty$ . Note that the square of this expression is just $+ir^{2}$ . Therefore, substitution gives the right hand side as

\int _{0}^{\infty }e^{-ir^{2}}{\frac {\sqrt {2}}{2}}(1+i)\,\mathrm {d} r.

Using Euler's formula to take real and imaginary parts of $e^{-ir^{2}}$ gives this as

{\begin{aligned}&\int _{0}^{\infty }(\cos(r^{2})-i\sin(r^{2})){\frac {\sqrt {2}}{2}}(1+i)\,\mathrm {d} r\\[6pt]={}&{\frac {\sqrt {2}}{2}}\int _{0}^{\infty }[\cos(r^{2})+\sin(r^{2})]+[\cos(r^{2})-\sin(r^{2})]i\,\mathrm {d} r={\frac {\sqrt {\pi }}{2}}+0i\end{aligned}}

where we have written $0i$ to emphasize that the original Gaussian integral's value is completely real with zero imaginary part. Letting $I_{C}=\int _{0}^{\infty }\cos(r^{2})\,\mathrm {d} r,I_{S}=\int _{0}^{\infty }\sin(r^{2})\,\mathrm {d} r$ and then equating real and imaginary parts produces the following system of two equations in the two unknowns $I_{C},I_{S}$ :

{\begin{aligned}I_{C}+I_{S}&={\sqrt {\frac {\pi }{2}}},\\[6pt]I_{C}-I_{S}&=0.\end{aligned}}

Solving this for $I_{C}$ and $I_{S}$ gives the desired result.

Generalization

The integral

\int x^m \exp(ix^n)\,\mathrm{d}x = \int\sum_{l=0}^\infty\frac{i^lx^{m+nl}}{l!}\,\mathrm{d}x = \sum_{l=0}^\infty \frac{i^l}{(m+nl+1)}\frac{x^{m+nl+1}}{l!}

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

{\begin{aligned}\int x^{m}\exp(ix^{n})\,\mathrm {d} x&={\frac {x^{m+1}}{m+1}}\,_{1}F_{1}\left({\begin{array}{c}{\frac {m+1}{n}}\\1+{\frac {m+1}{n}}\end{array}}\mid ix^{n}\right)\\[6pt]&={\frac {1}{n}}i^{(m+1)/n}\gamma \left({\frac {m+1}{n}},-ix^{n}\right),\end{aligned}}

which reduces to Fresnel integrals if real or imaginary parts are taken:

\int x^m\sin(x^n)\,\mathrm{d}x = \frac{x^{m+n+1}}{m+n+1} \,_1F_2\left(\begin{array}{c}\frac{1}{2}+\frac{m+1}{2n}\\ \frac{3}{2}+\frac{m+1}{2n},\frac{3}{2}\end{array}\mid -\frac{x^{2n}}{4}\right)

.

The leading term in the asymptotic expansion is

_{1}F_{1}\left({\begin{array}{c}{\frac {m+1}{n}}\\1+{\frac {m+1}{n}}\end{array}}\mid ix^{n}\right)\sim {\frac {m+1}{n}}\,\Gamma \left({\frac {m+1}{n}}\right)e^{i\pi (m+1)/(2n)}x^{-m-1},

and therefore

\int _{0}^{\infty }x^{m}\exp(ix^{n})\,\mathrm {d} x={\frac {1}{n}}\,\Gamma \left({\frac {m+1}{n}}\right)e^{i\pi (m+1)/(2n)}.

For m = 0, the imaginary part of this equation in particular is

\int _{0}^{\infty }\sin(x^{a})\,\mathrm {d} x=\Gamma \left(1+{\frac {1}{a}}\right)\sin \left({\frac {\pi }{2a}}\right)

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 $\Gamma(a^{-1})$ .

The Kummer transformation of the confluent hypergeometric function is

\int x^m \exp(ix^n)\,\mathrm{d}x = V_{n,m}(x)e^{ix^n}

with

V_{n,m}:={\frac {x^{m+1}}{m+1}}\,_{1}F_{1}\left({\begin{array}{c}1\\1+{\frac {m+1}{n}}\end{array}}\mid -ix^{n}\right).

Applications

The Fresnel integrals were originally used in the calculation of the electromagnetic field intensity in an environment where light bends around opaque objects.^[4] 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^[4] or calculating the transitions on a velodrome track to allow rapid entry to the bends and gradual exit.

References

1 2 James Stewart (2008). Calculus Early Transcendentals. Cengage Learning EMEA. p. 383. ISBN 0-495-38273-6.
↑ 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 $\sqrt{\pi/2}$
↑ Mathar, R. J. (2012). "Series Expansion of Generalized Fresnel Integrals". arXiv:1211.3963.
1 2 Beatty, Thomas. "How to evaluate Fresnel Integrals" (PDF). FGCU MATH - SUMMER 2013. Retrieved 27 July 2013.

van Wijngaarden, A.; Scheen, W. L. (1949). Table of Fresnel Integrals. Verhandl. Konink. Ned. Akad. Wetenschapen. 19.
Boersma, J. (1960). "Computation of Fresnel Integrals". Math. Comp. 14: 380–380. doi:10.1090/S0025-5718-1960-0121973-3. MR 0121973.
Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 7". 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. p. 297. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
Bulirsch, Roland (1967). "Numerical calculation of the sine, cosine and Fresnel integrals". Numer. Math. 9 (5): 380–385. doi:10.1007/BF02162153.
Hangelbroek, R. J. (1967). "Numerical approximation of Fresnel integrals by means of Chebyshev polynomials". J. Eng. Math. 1 (1): 37–50. Bibcode:1967JEnMa...1...37H. doi:10.1007/BF01793638.
Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 6.8.1. Fresnel Integrals", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8
Nave, R. (2002). "The Cornu spiral". (Uses πt²/2 instead of t².)
Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR 2723248
Alazah, Mohammad (2012). "Computing fresnel integrals via modified trapezium rules". Numerische Mathematik. 128: 635–661. arXiv:1209.3451. doi:10.1007/s00211-014-0627-z.
Mathar, R. J. (2012). "Series Expansion of Generalized Fresnel Integrals". arXiv:1211.3963.

External links

Cephes, free/open-source C++/C code to compute Fresnel integrals among other special functions. Used in SciPy and ALGLIB.
Faddeeva Package, free/open-source C++/C code to compute complex error functions (from which the Fresnel integrals can be obtained), with wrappers for Matlab, Python, and other languages.
Hazewinkel, Michiel, ed. (2001) [1994], "Fresnel integrals", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
"Roller Coaster Loop Shapes". Archived from the original on September 23, 2008. Retrieved 2008-08-13.
Weisstein, Eric W. "Fresnel Integrals". MathWorld.
Weisstein, Eric W. "Cornu Spiral". MathWorld.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Stewart-1] 1 2 James Stewart (2008). Calculus Early Transcendentals. Cengage Learning EMEA. p. 383. ISBN 0-495-38273-6.

[2] unctions.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 $\sqrt{\pi/2}$

[3] Mathar, R. J. (2012). "Series Expansion of Generalized Fresnel Integrals". arXiv:1211.3963.

[Beatty-4] 1 2 Beatty, Thomas. "How to evaluate Fresnel Integrals" (PDF). FGCU MATH - SUMMER 2013. Retrieved 27 July 2013.

Fresnel integral

Definition

Euler spiral

Properties

Limits as x approaches infinity

Generalization

Applications

See also

References

External links