Integral de Fresnel

Integrais de Fresnel, S(x) e C(x), são duas funções transcendentais, cujo nome advém de Augustin-Jean Fresnel, que são usadas em óptica. Advieram da descrição do fenômeno de difração de Fresnel em campos próximos (sugerido do inglês, near field) e são definidos pelas seguintes representações de integral:

$S(x)=\int _{0}^{x}\sin(t^{2})\,dt,\quad C(x)=\int _{0}^{x}\cos(t^{2})\,dt.$

A simultânea equação paramétrica de S(x) e C(x) é a Espiral de Cornu (também conhecida como clotóide e como espiral de Euler).

Definição

Os integrais de Fresnel admitem a seguinte série de potências que convergem para todo o x:

S(x)=\int _{0}^{x}\sin(t^{2})\,dt=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+3}}{(2n+1)!(4n+3)}}

C(x)=\int _{0}^{x}\cos(t^{2})\,dt=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{4n+1}}{(2n)!(4n+1)}}

Alguns autores, incluindo Handbook of Mathematical Functions, (eqs 7.3.1 – 7.3.2) usam ${\frac {\pi }{2}}t^{2}$ para o argumento dos integrais definindo S(x) e C(x). Para conseguir estas funções, multiplicam os integrais acima por ${\sqrt {\frac {2}{\pi }}}$ e multiplicam o argumento x por $({\frac {\pi }{2}})^{1/2}$ .

Espiral de Cornu

A espiral de Euler, ou Cornu, ou clotóide, é a curva gerada pela equação paramétrica de S(t) por oposição a C(t). A esperial de Cornu foi criada por Marie Alfred Cornu como um nomograma para computação de difrações em ciência e engenharia.

Pela definição dos integrais de Fresnel, os infinitésimais dx e dy são:

dx=C'(t)dt=\cos(t^{2})dt\,

dy=S'(t)dt=\sin(t^{2})dt\,

Logo o comprimento da esprial medido da origem pode ser expresso como:

L=\int _{0}^{t}{\sqrt {dx^{2}+dy^{2}}}=\int _{0}^{t}{dt}=t

Isto é, o parâmetro $t$ é o comprimento da curva medido da origem (0,0) e a espiral de Cornu tem comprimento infinito. O vector $[cos(t²), sin(t²)]$ , também chamado vector tangente unitário, ao longo da espiral dá θ = $t²$ . Visto t ser o comprimento da curva, a curvatura $\kappa$ pode ser expressa como:

\kappa ={\tfrac {1}{R}}={\tfrac {d\theta }{dt}}=2t

E o rácio de modificação da curvatura com respeito ao comprimento da curva é:

{\tfrac {d^{2}\theta }{dt^{2}}}=2

Uma espiral de Cornu tem uma propriedade em que a curvatura é, em qualquer ponto, proporcional à distância ao longo da espiral, medida desde a origem. Esta propriedade faz com que seja útil no cálculo da curvatura em engenharia de autoestradas ou caminhos de ferro.

Se um veículo segue a espiral a uma velocidade, o parâmetro $t$ nas derivações acima também representa o tempo. Isto é o veículo seguindo a espiral em velocidade constante vai ter um valor constante de aceleração angular.

Secções das espirais de Euler são vulgarmente usadas na forma de ciclos de Montanha-russa para fazer o que é conhecido como ciclos verticais (em que os utilizadores são postos de cabeça para baixo na sua viagem após uma subida, seguido de uma descida).

Propriedades

C(x) e S(x) são funções ímpares de x.
usando a série de potências acima, os integrais de Fresnel podem ser estendidos ao domínios dos números complexos, e tornam-se funções analíticas de uma variável complexa. Os integrais de Fresnel podem ser expresso como Função erro como podemos ver:

S(x)={\frac {\sqrt {\pi }}{4}}\left({\sqrt {i}}\,\operatorname {erf} ({\sqrt {i}}\,x)+{\sqrt {-i}}\,\operatorname {erf} ({\sqrt {-i}}\,x)\right)

C(x)={\frac {\sqrt {\pi }}{4}}\left({\sqrt {-i}}\,\operatorname {erf} ({\sqrt {i}}\,x)+{\sqrt {i}}\,\operatorname {erf} ({\sqrt {-i}}\,x)\right).

C e S são funções inteiras.
Os integrais definindo C(x) e S(x) não podem ser avaliado em numa expressão fechada em termo de funções elementares, excepto em casos especiais. Os limites desta funções à medida que x se aproxima do infinito são conhecidos:

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

Avaliação

Os limites de C e S à medida que o argumento vai para o infinito podem ser encontrados por métodos de Análise complexa. Isto usa o integral de contorno (sugerido do inglês contour integral da função

e^{-{\frac {1}{2}}t^{2}}

à volta da fronteira da região em forma do setor circular no plano complexo criada pelo positivo eixo x, meia linha de y = x, x ≥ 0, e o círculo de raio R centrado na origem.

Como R vai para infinito, o integral ao longo do arco circular tende para 0, o integral ao longo do eixo real tende para o integral gaussiano

\int _{0}^{\infty }e^{-{\frac {1}{2}}t^{2}}dt={\sqrt {\frac {\pi }{2}}},

depois de algumas transformações de rotina, o integral ao longo do bi-sector do primeiro quadrante pode ser relacionado com o limite dos integrais de Fresnel.

Generalização

A integral $\int x^{m}\exp(ix^{n})dx=\int \sum _{l=0}^{\infty }{\frac {i^{l}x^{m+nl}}{l!}}dx=\sum _{l=0}^{\infty }{\frac {i^{l}}{(m+nl+1)}}{\frac {x^{m+nl+1}}{l!}}$

é uma função hipergeométrica confluente (sugerido do inglês, confluent hypergeometric function) e também uma função de gamma incompleta (sugerido do inglês, incomplete Gamma function).

$\int x^{m}\exp(ix^{n})dx={\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)={\frac {1}{n}}i^{(m+1)/n}\gamma ({\frac {m+1}{n}},-ix^{n}),$

que reduz o integral de Fresnel se as suas partes reais ou imaginárias são retiradas:

$\int x^{m}\sin(x^{n})dx={\frac {x^{m+n+1}}{m+n+1}}\,_{1}F_{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)$ .

O termo principal da expansão assintótica é

$_{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 ({\frac {m+1}{n}})e^{i\pi (m+1)/(2n)}x^{-m+1}$ ,

logo $\int _{0}^{\infty }x^{m}\exp(ix^{n})dx={\frac {1}{n}}\Gamma ({\frac {m+1}{n}})e^{i\pi (m+1)/(2n)}$ ,

e em particular $\int _{0}^{\infty }\sin(x^{a})\ dx={\frac {\Gamma \left({\frac {1}{a}}\right)\sin({\frac {\pi }{2a}})}{a}}$

com o lado esquerdo a convergir para a>1 e o lado direito sendo a sua extensão analítica ao plano inteiro menos onde se encontram os polos de $\Gamma (a^{-1})$ .

A transformação de Kummer da função hipergeométrica confluente é

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

com $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)$ .

Ver também

Referências

van Wijngaarden, A.; Scheen, W. L. (1949). Table of Fresnel Integrals. Col: Verhandl. Konink. Ned. Akad. Wetenschapen, 4. 19. [S.l.: s.n.]
Boersma, J. (1960). «Computation of Fresnel Integrals». Math. Comp. 14: 380-380. MR 0121973
Abramowitz, Milton; Stegun, Irene A., eds. (1965), «Chapter 7», Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, ISBN 978-0486612720, New York: Dover, MR 0167642 .
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. 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, ISBN 978-0-521-88068-8 3rd ed. , New York: Cambridge University Press
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. [S.l.]: Cambridge University Press. ISBN 978-0-521-19225-5. MR 2723248
Alazah, Mohammad (2012). «Computing fresnel integrals via modified trapezium rules». arXiv:1209.3451

Ligações externas

«Roller Coaster Loop Shapes». Consultado em 13 de agosto de 2008. Arquivado do original em 23 de setembro de 2008