Επέκταση ολοκληρωμάτων Fresnel.

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

Άβαταρ μέλους
Σεραφείμ
Επιμελητής
Δημοσιεύσεις: 1872
Εγγραφή: Τετ Μάιος 20, 2009 9:14 am
Τοποθεσία: Θεσσαλονίκη - Γιάννενα

Επέκταση ολοκληρωμάτων Fresnel.

#1

Μη αναγνωσμένη δημοσίευση από Σεραφείμ » Τρί Οκτ 22, 2013 7:22 pm

Αν \displaystyle{a>1} να αποδειχθούν τα : \displaystyle{1)\;\int\limits_0^\infty  {\sin \left( {{x^a}} \right)dx}  = \frac{1}{a}\Gamma \left( {\frac{1}{a}} \right)\sin \frac{\pi }{{2a}}} και \displaystyle{2)\;\int\limits_0^\infty  {\cos \left( {{x^a}} \right)dx}  = \frac{1}{a}\Gamma \left( {\frac{1}{a}} \right)\cos \frac{\pi }{{2a}}} ,
όπου \displaystyle{\Gamma \left( x \right):} η συνάρτηση Γάμμα του Euler http://mathworld.wolfram.com/GammaFunction.html


Σεραφείμ Τσιπέλης
kwstas12345
Δημοσιεύσεις: 1055
Εγγραφή: Δευ Ιαν 11, 2010 2:12 pm

Re: Επέκταση ολοκληρωμάτων Fresnel.

#2

Μη αναγνωσμένη δημοσίευση από kwstas12345 » Τετ Οκτ 23, 2013 1:55 pm

Αρχικά έχουμε : \displaystyle \int_{0}^{\infty}{\frac{x^{-1/a}}{x^2 +1}}dx=\frac{1}{2}\int_{0}^{\infty}{\frac{x^{-1/2-1/(2a)}}{x+1}}dx=\frac{1}{2}\int_{0}^{\infty}{\int_{0}^{\infty}{x^{-1/2 -1/(2a)}e^{-x-xy}dydx}} \displaystyle =_{*}\frac{1}{2}\Gamma\left(\frac{1}{2}-\frac{1}{2a} \right)\int_{0}^{\infty}{x^{-1/2 +1/(2a)}e^{-x}dx}=\frac{1}{2}\Gamma\left(\frac{1}{2}-\frac{1}{2a} \right)\Gamma\left(\frac{1}{2}+\frac{1}{2a} \right).

Eπίσης: \displaystyle \int_{0}^{\infty}{\frac{x^{-1/a}}{x^2 +1}}dx=\int_{0}^{\infty}{\int_{0}^{\infty}{\sin \left(y \right) e^{-xy}x^{-1/a}dydx}}=_{*}\int_{0}^{\infty}{\int_{0}^{\infty}{\sin \left(y \right) e^{-xy}x^{-1/a}dxdy}}= \displaystyle \Gamma\left(1-\frac{1}{a} \right)\int_{0}^{\infty}{y^{1/a -1}\sin y}dy=a\Gamma\left(1-1/a \right)\int_{0}^{\infty}\sin\left(x^a \right)dx

Τελικά προκύπτει ότι: \displaystyle \int_{0}^{\infty}\sin\left(x^a \right)dx=\frac{1}{2a}\frac{\Gamma\left(\frac{1}{2}-\frac{1}{a} \right)\Gamma\left(\frac{1}{2}+\frac{1}{a} \right)}{\Gamma\left(1-\frac{1}{a} \right)}=\frac{1}{2a}\Gamma\left(1/a \right)\frac{\sin\left(\frac{\pi}{a} \right)}{\cos\left(\frac{\pi}{2a} \right)}=\frac{1}{a}\Gamma(1/a)\sin\left(\frac{\pi}{2a} \right).

H εναλλαγή στην ισότητα * δικαιολογείται υπολογίζοντας το \displaystyle \int_{0}^{M}{\int_{0}^{\infty}{x^{-1/2a}e^{-x-xy}dydx}} στο οποίο επιτρέπεται η εναλλαγή και έπειτα αφήνουμε το M να πάει στο άπειρο.Επίσης χρησιμοποιήθηκε η γνωστή ιδιότητα \displaystyle \Gamma\left(z \right)\cdot \Gamma\left(1-z \right)=\frac{\pi}{\sin\left(\pi z \right)}, z \in \left(0,1 \right).Tα ολοκληρώματα \displaystyle \int_{0}^{\infty}{\cos\left(x^a \right)}dx υπολογίζονται εντελώς παρόμοια ξεκινώντας από τα ολοκληρώματα \displaystyle \int_{0}^{\infty}{\frac{x^{1-1/a}}{x^2 +1}}dx, a>1.


Άβαταρ μέλους
Σεραφείμ
Επιμελητής
Δημοσιεύσεις: 1872
Εγγραφή: Τετ Μάιος 20, 2009 9:14 am
Τοποθεσία: Θεσσαλονίκη - Γιάννενα

Re: Επέκταση ολοκληρωμάτων Fresnel.

#3

Μη αναγνωσμένη δημοσίευση από Σεραφείμ » Τετ Οκτ 23, 2013 5:48 pm

Πολύ ωραία Κωστή, έξυπνη προσέγγιση !!

Η δική μου .. \displaystyle{\int\limits_0^\infty  {\sin {x^a}dx}  = \mathop  = \limits^{{x^a} = y}  = \frac{1}{a}\int\limits_0^\infty  {{y^{1/a - 1}}\sin y\,dy}  = \frac{1}{{2ai}}\int\limits_0^\infty  {{y^{1/a - 1}}\left( {{e^{iy}} - {e^{ - iy}}} \right)\,dy}  = \mathop  = \limits^{\left( * \right)}  = \frac{1}{{2ai}}\left( {\frac{{\Gamma \left( {1/a} \right)}}{{{{\left( { - i} \right)}^{1/a}}}} - \frac{{\Gamma \left( {1/a} \right)}}{{{i^{1/a}}}}} \right) = }

\displaystyle{ = \frac{{\Gamma \left( {1/a} \right)}}{{2ai}}\left( {\frac{1}{{{e^{ - \pi i/\left( {2a} \right)}}}} - \frac{1}{{{e^{\pi i/\left( {2a} \right)}}}}} \right) = \frac{{\Gamma \left( {1/a} \right)}}{a}\left( {\frac{{{e^{\pi i/\left( {2a} \right)}} - {e^{ - \pi i/\left( {2a} \right)}}}}{{2i}}} \right) = \frac{1}{a}\Gamma \left( {\frac{1}{a}} \right)\sin \frac{\pi }{{2a}}}

Εντελώς όμοια προκύπτει και το \displaystyle{\int\limits_0^\infty  {\cos {x^a}dx}  = \frac{1}{a}\Gamma \left( {\frac{1}{a}} \right)\cos \frac{\pi }{{2a}}} .

\displaystyle{\left( * \right):} εφαρμόζεται ο μετασχηματισμός Laplace με μιγαδική μεταβλητή μηδενικού πραγματικού μέρους (κριτήριο Cauchy).


Σεραφείμ Τσιπέλης
Ωmega Man
Δημοσιεύσεις: 1264
Εγγραφή: Παρ Ιουν 05, 2009 8:17 am

Re: Επέκταση ολοκληρωμάτων Fresnel.

#4

Μη αναγνωσμένη δημοσίευση από Ωmega Man » Πέμ Οκτ 24, 2013 10:57 pm



What's wrong with a Greek in Hamburg?
Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 11 επισκέπτες