Integral Fresnel

Integral Fresnel pada nilai S(x) dan C(x) adalah dua fungsi transendental yang ditemukan oleh Augustin-Jean Fresnel yang digunakan dalam optik dan terkait erat dengan fungsi kesalahan (erf). Ketika muncul dalam deskripsi fenomena difraksi Fresnel pada medan terdekat dan dapat didefinisikan melalui representasi integral, sebagai berikut:

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

Dari rumus di atas plot parametrik simulasi dari nilai S(x) dan nilai C(x) adalah hasil nilai spiral Euler atau juga dikenal sebagai spiral Cornu atau clothoid. Baru-baru ini, mereka telah digunakan dalam desain jalan raya dan proyek teknik lainnya.^[1]

Definisi

Integral Fresnel dengan nilai argumen

π

t²/2 bukan nilai t² konvorgumen 0.5.

Integral Fresnel menerima ekspansi deret pangkat berikut yang menyatu untuk semua yaitu nilai x:

{\begin{aligned}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)}}.\end{aligned}}

Beberapa tabel yang banyak digunakan adalah^[2]^[3] nila $\pi t^{2}/2$ saat digantikan oleh nilai $t^{2}$ untuk argumen integral yang merumuskan nilai S(x) dan C(x). Hal tersebut dapat mengubah limit tak hingga dari nilai $\textstyle (1/2)\cdot {\sqrt {\pi /2}}$ untuk nilai $1/2$ dan panjang busur yang digunakan untuk putaran spiral pertama $(2\pi )$ to 2 (at $t=2$ ). Fungsi alternatif saat ini biasanya dikenal sebagai Integral Fresnel yang Dinormalisasi.

Spiral Euler

Spiral euler

(x,y)=(C(t),S(t))

. Spiral menyatu ke tengah lubang pada gambar karena

t

cenderung positif atau negatif tak terhingga.

Spiral Euler, atau dikenal juga sebagai Cornu spiral atau clothoid, adalah kurva yang dihasilkan oleh plot parametrik dari $S(t)$ melawan $C(t)$ . Spiral Cornu diciptakan oleh Marie Alfred Cornu sebagai nomogram untuk komputasi difraksi dalam sains dan teknik.

Dari definisi integral Fresnel, infinitesimal $dx$ dan $dy$ demikian:

{\begin{aligned}dx&=C'(t)\,dt=\cos(t^{2})\,dt,\\dy&=S'(t)\,dt=\sin(t^{2})\,dt.\end{aligned}}

Dengan demikian panjang spiral yang diukur dari asal dapat dinyatakan sebagai

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

Artinya, parameter $t$ adalah panjang kurva yang diukur dari titik asal $(0,0)$ , dan spiral Euler memiliki panjang tak terbatas. The vector $(\cos(t^{2}),\sin(t^{2}))$ juga mengekspresikan satuan vektor tangen di sepanjang spiral, memberi $\theta =t^{2}$ . Karena t adalah panjang kurva, maka kelengkungan tersebut $\kappa$ dapat dinyatakan sebagai

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

Dengan demikian laju perubahan kelengkungan terhadap panjang kurva adalah

{\frac {d\kappa }{dt}}={\frac {d^{2}\theta }{dt^{2}}}=2.

Spiral Euler memiliki sifat bahwa kelengkungan pada titik mana pun sebanding dengan jarak sepanjang spiral, diukur dari titik awalnya. Properti ini membuatnya berguna sebagai kurva transisi dalam teknik jalan raya dan perkeretaapian: Jika kendaraan mengikuti spiral dengan kecepatan satuan, parameter $t$ di turunan di atas juga mewakili waktu. Akibatnya, kendaraan yang mengikuti spiral dengan kecepatan konstan akan memiliki laju konstan percepatan sudut.

Bagian dari spiral Euler biasanya digabungkan ke dalam bentuk loop roller coaster untuk membuat apa yang dikenal sebagai lingkaran clothoid.

Properti

C(x) dan S(x) adalah fungsi ganjil dari x.
Asimtot integral Fresnel sebagai $x\to \infty$ diberikan oleh rumus:

{\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),\\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}}

Integral Fresnel yang kompleks S(z)

Dengan menggunakan ekspansi deret pangkat di atas, integral Fresnel dapat diperpanjang ke domain bilangan kompleks s, di mana mereka menjadi fungsi analitik dari variabel kompleks.
C(z) dan S(z) adalah seluruh fungsi dari variabel kompleks z.
Integral Fresnel dapat diekspresikan menggunakan fungsi kesalahan sebagai berikut:^[4]

Integral Fresnel yang kompleks 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],\\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}}

atau

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

Generalisasi

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!}}

Integral adalah fungsi hipergeometrik konfluen dan juga fungsi gamma tidak lengkap^[5].

{\begin{aligned}\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 \left({\frac {m+1}{n}},-ix^{n}\right),\end{aligned}}

Integral direduksi menjadi integral Fresnel jika bagian nyata atau imajiner diambil:

\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)

.

Istilah utama dalam ekspansi asimtotik adalah:

_{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},

Oleh karena itu, dapat diberikan kesimpulan bahwa:

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

Untuk m = 0, bagian imajiner dari persamaan ini secara khusus adalah:

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

Dengan sisi kiri menyatu untuk a> 1 dan sisi kanan menjadi ekstensi analitiknya ke seluruh bidang kurang di mana letak kutub $\Gamma (a^{-1})$ .

Transformasi Kummer dari fungsi hipergeometrik konfluen adalah

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

Dengan

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

Penggunaan Integral Fresnel

Penggunaan Integral Fresnel pada awalnya digunakan dalam perhitungan intensitas medan elektromagnetik di lingkungan di mana cahaya membelok di sekitar objek buram.^[6]^[7]

Baru-baru ini, mereka telah menggunakan perhitungan ini sebagai desain jalan raya dan rel kereta api, khususnya zona transisi kelengkungannya, lihat kurva transisi lintasan.^[8] developed a set of efficient approximations based on rational functions that give relative errors down to 2×10⁻¹⁹. atau menghitung transisi pada trek velodrome untuk memungkinkan masuknya cepat ke tikungan dan keluar secara bertahap.^[9] 1,6×10⁻⁹.^[10]

Lihat pula

Referensi

^ Stewart 2008, hlm. 383.
^ ^[1]
^ Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Properties", dalam Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
^ 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 2012.
^ Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Asymptotic expansions", dalam Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
^ Press et al. 2007.
^ Cody 1968.
^ van Snyder 1993.
^ Boersma 1960.

[Stewart-1] Stewart 2008, hlm. 383.

[2] [1]

[3] Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Properties", dalam Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .

[4] 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}}$ .

[5] Mathar 2012.

[6] Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals: Asymptotic expansions", dalam Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .

[7] Press et al. 2007.

[8] Cody 1968.

[9] van Snyder 1993.

[10] Boersma 1960.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[1]