Ολοκλήρωμα Φρέσνελ

Τα ολοκληρώματα Φρέσνελ S(x) και C(x) είναι δύο υπερβατικές συναρτήσεις που πήραν το όνομά τους από τον Αουγκουστέν-Ζαν Φρέσνελ και χρησιμοποιούνται στην οπτική ενώ σχετίζονται στενά με τη συνάρτηση σφάλματος (erf)[1]. Προκύπτουν κατά την περιγραφή των φαινομένων περίθλασης Φρέσνελ κοντινού πεδίου και ορίζονται μέσω των ακόλουθων ολοκληρωτικών παραστάσεων:
Η παραμετρική καμπύλη είναι η σπείρα του Όιλερ ή το κλωθοειδές, μια καμπύλη της οποίας η καμπυλότητα μεταβάλλεται γραμμικά με το μήκος του τόξου.
Ο όρος ολοκλήρωμα Φρέσνελ μπορεί επίσης να αναφέρεται στο μιγαδικό ορισμένο ολοκλήρωμα
όπου a είναι πραγματικό και θετικό- αυτό μπορεί να εκτιμηθεί κλείνοντας ένα περίγραμμα στο μιγαδικό επίπεδο και εφαρμόζοντας το θεώρημα ολοκληρωμάτων του Κωσύ.
Ορισμός
[Επεξεργασία | επεξεργασία κώδικα]
Τα ολοκληρώματα Φρέσνελ δέχονται τα ακόλουθα αναπτύγματα δυναμοσειρών που συγκλίνουν για όλα τα x:
Ορισμένοι ευρέως χρησιμοποιούμενοι πίνακες[2][3] χρησιμοποιούν π2t2 αντί για t2 για το επιχείρημα των ολοκληρωμάτων που ορίζουν τα S(x) και C(x). Αυτό αλλάζει τα όριά τους στο άπειρο από 1/2-√π/2 σε 12·√π212[4] και το μήκος τόξου για την πρώτη σπειροειδή στροφή από √2π σε 2 (at t = 2). Αυτές οι εναλλακτικές συναρτήσεις είναι συνήθως γνωστές ως κανονικοποιημένα ολοκληρώματα Φρέσνελ.
Σπείρα Όιλερ
[Επεξεργασία | επεξεργασία κώδικα]Κύριο άρθρο: σπείρα Όιλερ

Η σπείρα Όιλερ, επίσης γνωστή ως σπείρα Κορνού ή κλωθοειδής, είναι η καμπύλη που δημιουργείται από την παραμετρική γραφική παράσταση του S(t) έναντι του C(t). Η σπείρα Όιλερ μελετήθηκε για πρώτη φορά στα μέσα του 18ου αιώνα από τον Λέοναρντ Όιλερ στο πλαίσιο της θεωρίας δοκού Όιλερ-Μπερνούλι. Έναν αιώνα αργότερα, η Μαρί Άλφρεντ Κορνού κατασκεύασε την ίδια σπείρα ως νομόγραμμα για υπολογισμούς περίθλασης.
Από τους ορισμούς των ολοκληρωμάτων Φρέσνελ, τα απειροστά dx και dy είναι έτσι:
Έτσι, το μήκος της σπείρας που μετράται από την αρχή μπορεί να εκφραστεί ως εξής
Δηλαδή, η παράμετρος t είναι το μήκος της καμπύλης μετρούμενο από την αρχή (0, 0) και η σπείρα Όιλερ έχει άπειρο μήκος. Το διάνυσμα (cos(t2), sin(t2)) όπου θ = t2 εκφράζει επίσης το μοναδιαίο εφαπτόμενο διάνυσμα κατά μήκος της σπείρας. Εφόσον το t είναι το μήκος της καμπύλης, η καμπυλότητα κ μπορεί να εκφραστεί ως εξής
Έτσι, ο ρυθμός μεταβολής της καμπυλότητας σε σχέση με το μήκος της καμπύλης είναι
Μια σπείρα Όιλερ έχει την ιδιότητα ότι η καμπυλότητά της σε οποιοδήποτε σημείο είναι ανάλογη της απόστασης κατά μήκος της σπείρας, που μετριέται από την αρχή. Αυτή η ιδιότητα την καθιστά χρήσιμη ως καμπύλη μετάβασης στη μηχανική αυτοκινητοδρόμων και σιδηροδρόμων: αν ένα όχημα ακολουθεί τη σπείρα με μοναδιαία ταχύτητα, η παράμετρος t στις παραπάνω παραγώγους αντιπροσωπεύει επίσης τον χρόνο. Κατά συνέπεια, ένα όχημα που ακολουθεί τη σπείρα με σταθερή ταχύτητα θα έχει σταθερό ρυθμό γωνιακής επιτάχυνσης.
Τα τμήματα από τις σπείρες του Όιλερ ενσωματώνονται συνήθως στο σχήμα των βρόχων του οδοστρωτήρα για να δημιουργηθούν οι λεγόμενοι βρόχοι κλωθοειδούς μορφής.
Ιδιότητες
[Επεξεργασία | επεξεργασία κώδικα]C(x) και S(x) είναι περιττές συναρτήσεις της x,
γεγονός που γίνεται εύκολα αντιληπτό από το ότι τα αναπτύγματα των δυναμοσειρών τους έχουν μόνο όρους περιττού βαθμού, ή εναλλακτικά επειδή είναι αντιπαράγωγα ζυγών συναρτήσεων που είναι επίσης μηδενικές στην αρχή.
Η ασυμπτωτική των ολοκληρωμάτων Φρέσνελ ως x → ∞ δίνεται από τους τύπους:

Χρησιμοποιώντας τα παραπάνω αναπτύγματα δυναμοσειρών, τα ολοκληρώματα Φρέσνελ μπορούν να επεκταθούν στο πεδίο των μιγαδικών αριθμών, όπου γίνονται πλήρεις συναρτήσεις της μιγαδικής μεταβλητής z.
Τα ολοκληρώματα Φρέσνελ μπορούν να εκφραστούν χρησιμοποιώντας τη συνάρτηση σφάλματος ως εξής:[5]

ή
Όρια καθώς το x πλησιάζει στο άπειρο
[Επεξεργασία | επεξεργασία κώδικα]Τα ολοκληρώματα που ορίζουν τα C(x) και S(x) δεν μπορούν να αξιολογηθούν σε κλειστή μορφή ως προς τις στοιχειώδεις συναρτήσεις, εκτός από ειδικές περιπτώσεις. Τα όρια αυτών των συναρτήσεων καθώς η x πηγαίνει στο άπειρο είναι γνωστά:
Απόδειξη του τύπου |
---|
![]() Αυτό μπορεί να προκύψει με οποιαδήποτε από τις διάφορες μεθόδους. Μία από αυτές [6] χρησιμοποιεί ένα ολοκλήρωμα της συνάρτησης γύρω από το όριο της τομεακής περιοχής στο μιγαδικό επίπεδο που σχηματίζεται από τον θετικό άξονα x, τη διχοτόμο του πρώτου τεταρτημορίου y = x με x ≥ 0, και ένα κυκλικό τόξο ακτίνας R με κέντρο την αρχή. Καθώς το R πηγαίνει στο άπειρο, το ολοκλήρωμα κατά μήκος του κυκλικού τόξου γ2 τείνει στο 0
όπου χρησιμοποιήθηκαν πολικές συντεταγμένες z = Reit και χρησιμοποιήθηκε η ανισότητα του Ζορντάν για τη δεύτερη ανισότητα. Το ολοκλήρωμα κατά μήκος του πραγματικού άξονα γ1 τείνει στο μισό γκαουσιανό ολοκλήρωμα
Ας σημειωθεί επίσης ότι επειδή το ολοκλήρωμα είναι μια ολόκληρη συνάρτηση στο μιγαδικό επίπεδο, το ολοκλήρωμά του κατά μήκος ολόκληρου του περιγράμματος είναι μηδέν. Συνολικά, πρέπει να έχουμε
όπου γ3 δηλώνει τη διχοτόμο του πρώτου τεταρτημορίου, όπως στο διάγραμμα. Για να αξιολογήσουμε το αριστερό μέρος, παραμετροποιήστε τη διχοτόμο ως εξής
όπου το t κυμαίνεται από 0 έως +∞. Ας σημειωθεί ότι το τετράγωνο αυτής της έκφρασης είναι απλά +it2. Επομένως, η αντικατάσταση δίνει την αριστερή πλευρά ως εξής
Χρησιμοποιώντας τον τύπο του Όιλερ για να πάρουμε το πραγματικό και το φανταστικό μέρος του e−it2 το δίνει ως εξής
όπου έχουμε γράψει 0i για να τονίσουμε ότι η τιμή του αρχικού ολοκληρώματος Γκάους είναι πλήρως πραγματική με μηδενικό φανταστικό μέρος. Αφήνοντας
και στη συνέχεια εξισώνοντας το πραγματικό και το φανταστικό μέρος προκύπτει το ακόλουθο σύστημα δύο εξισώσεων στους δύο αγνώστους IC και IS:
Η επίλυση για τα IC και IS δίνει το επιθυμητό αποτέλεσμα. |
Γενίκευση
[Επεξεργασία | επεξεργασία κώδικα]Το ολοκλήρωμα
είναι μια συγκλίνουσα υπεργεωμετρική συνάρτηση και επίσης μια ατελής συνάρτηση γάμμα [7]
το οποίο ανάγεται σε ολοκληρώματα Φρέσνελ αν ληφθούν πραγματικά ή φανταστικά μέρη:
Ο πρώτος όρος στο ασυμπτωτικό ανάπτυγμα είναι
και ως εκ τούτου
Για m = 0, το φανταστικό μέρος αυτής της εξίσωσης ειδικότερα είναι
με την αριστερή πλευρά να συγκλίνει για a > 1 και τη δεξιά πλευρά να είναι η αναλυτική της επέκταση σε όλο το επίπεδο λιγότερο όπου βρίσκονται οι πόλοι της Γ(a-1).
Ο μετασχηματισμός Κούμερ της συγκλίνουσας υπεργεωμετρικής συνάρτησης είναι
με
Αριθμητική προσέγγιση
[Επεξεργασία | επεξεργασία κώδικα]Για υπολογισμό με αυθαίρετη ακρίβεια, η δυναμοσειρά είναι κατάλληλη για μικρό επιχείρημα. Για μεγάλο επιχείρημα, τα ασυμπτωτικά αναπτύγματα συγκλίνουν γρηγορότερα.[8] Μπορούν επίσης να χρησιμοποιηθούν μέθοδοι συνεχιζόμενων κλασμάτων.[9]
Για τον υπολογισμό με συγκεκριμένη ακρίβεια στόχου, έχουν αναπτυχθεί άλλες προσεγγίσεις. Ο Cody[10] ανέπτυξε ένα σύνολο αποτελεσματικών προσεγγίσεων που βασίζονται σε ορθολογικές συναρτήσεις και δίνουν σχετικά σφάλματα μέχρι 2×10−19. Μια FORTRAN υλοποίηση της προσέγγισης Cody που περιλαμβάνει τις τιμές των συντελεστών που απαιτούνται για την υλοποίηση σε άλλες γλώσσες δημοσιεύθηκε από τον van Snyder.[11] Ο Μπόερσμα ανέπτυξε μια προσέγγιση με σφάλμα μικρότερο από 1.6×10−9.[12]
Εφαρμογές
[Επεξεργασία | επεξεργασία κώδικα]Τα ολοκληρώματα Φρέσνελ χρησιμοποιήθηκαν αρχικά για τον υπολογισμό της έντασης του ηλεκτρομαγνητικού πεδίου σε ένα περιβάλλον όπου το φως κάμπτεται γύρω από αδιαφανή αντικείμενα.[13] Πιο πρόσφατα, έχουν χρησιμοποιηθεί στο σχεδιασμό αυτοκινητοδρόμων και σιδηροδρόμων, συγκεκριμένα στις ζώνες μετάβασης της καμπυλότητας τους, βλ. καμπύλη μετάβασης τροχιάς.[14] Άλλες εφαρμογές είναι το τρενάκι του λούνα παρκ[13] ή ο υπολογισμός των μεταβάσεων σε μια πίστα ποδηλατοδρομίου ώστε να επιτρέπεται η γρήγορη είσοδος στις στροφές και η σταδιακή έξοδος.
Φωτοθήκη
[Επεξεργασία | επεξεργασία κώδικα]-
Διάγραμμα της ολοκληρωτικής συνάρτησης Φρέσνελ S(z) στο μιγαδικό επίπεδο από -2-2i έως 2+2i με χρώματα που δημιουργήθηκε με τη συνάρτηση ComplexPlot3D του Mathematica 13.1 function ComplexPlot3D
-
Διάγραμμα της ολοκληρωτικής συνάρτησης C(z) του Φρέσνελ στο μιγαδικό επίπεδο από -2-2i έως 2+2i με χρώματα που δημιουργήθηκε με τη συνάρτηση ComplexPlot3D του Mathematica 13.1 function ComplexPlot3D
-
Διάγραμμα της βοηθητικής συνάρτησης Φρέσνελ G(z) στο μιγαδικό επίπεδο από -2-2i έως 2+2i με χρώματα που δημιουργήθηκε με τη συνάρτηση ComplexPlot3D του Mathematica 13.1 function ComplexPlot3D
-
Διάγραμμα της βοηθητικής συνάρτησης Φρέσνελ F(z) στο μιγαδικό επίπεδο από -2-2i έως 2+2i με χρώματα που δημιουργήθηκε με τη συνάρτηση ComplexPlot3D του Mathematica 13.1 function ComplexPlot3D
Εξωτερικοί σύνδεσμοι
[Επεξεργασία | επεξεργασία κώδικα]- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
- Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
- Θεωρία Αριθμών και Εφαρμογές
- Υπολογιστική Θεωρία Αριθμών
- Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
- Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
- Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
- Wolfram Mathematica Online Integrator
- A Table of Integrals of the Error Functions
Δείτε επίσης
[Επεξεργασία | επεξεργασία κώδικα]- Απαγορευτική αρχή του Πάουλι
- Τριγωνομετρική συνάρτηση
- Συνάρτηση γάμμα
- Αλγεβρική θεωρία αριθμών
- Άρθουρ Στάνλεϋ Έντινγκτον
- Μοναδιαία βηματική συνάρτηση
- Σουμπραμανιάν Τσαντρασεκάρ
- Ευκλείδειος χώρος
- Ρητή συνάρτηση
- Κατάλογοι ολοκληρωμάτων
- Εφαρμοσμένα μαθηματικά
- Κατάλογος ολοκληρωμάτων των Γκαουσιανών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των υπερβολικών συναρτήσεων
- Ωγκυστέν-Λουί Κωσύ
- Θεμελιώδες θεώρημα αριθμητικής
- Αλγεβρική γεωμετρία
- Μιγαδικός αριθμός
- Πολυώνυμο
- Ακέραιος αριθμός
Βιβλιογραφία
[Επεξεργασία | επεξεργασία κώδικα]- Albeverio, Sergio· Høegh-Krohn, Rafael (30 Μαΐου 2008). Mathematical Theory of Feynman Path Integrals: An Introduction. Springer Science & Business Media. ISBN 978-3-540-76954-5.
- Albeverio, Sergio A.· Høegh-Krohn, Raphael J. (14 Νοεμβρίου 2006). Mathematical Theory of Feynman Path Integrals. Springer. ISBN 978-3-540-38250-8.
- Siegman, A. E. (1986). Lasers. University Science Books. ISBN 978-0-935702-11-8.
- Lebedev, Nikola? Nikolaevich· Silverman, Richard A. (1 Ιανουαρίου 1972). Special Functions and Their Applications. Courier Corporation. ISBN 978-0-486-60624-8.
- Temme, Nico M. (31 Οκτωβρίου 2014). Asymptotic Methods For Integrals. World Scientific. ISBN 978-981-4612-17-3.
- Mazzucchi, Sonia (16 Νοεμβρίου 2021). Mathematical Feynman Path Integrals And Their Applications (Second Edition). World Scientific. ISBN 978-981-12-1480-6.
- Moeller, Karl Dieter (8 Αυγούστου 2007). Optics: Learning by Computing, with Examples Using Maple, MathCad®, Matlab®, Mathematica®, and Maple®. Springer Science & Business Media. ISBN 978-0-387-26168-3.
- Nahin, Paul J. (27 Ιουνίου 2020). Inside Interesting Integrals: A Collection of Sneaky Tricks, Sly Substitutions, and Numerous Other Stupendously Clever, Awesomely Wicked, and Devilishly Seductive Maneuvers for Computing Hundreds of Perplexing Definite Integrals From Physics, Engineering, and Mathematics (Plus Numerous Challenge Problems with Complete, Detailed Solutions). Springer Nature. ISBN 978-3-030-43788-6.
- Fai, Lukong Cornelius (15 Απριλίου 2021). Feynman Path Integrals in Quantum Mechanics and Statistical Physics. CRC Press. ISBN 978-1-000-34904-7.
- Mnev, Pavel (20 Αυγούστου 2019). Quantum Field Theory: Batalin–Vilkovisky Formalism and Its Applications. American Mathematical Soc. ISBN 978-1-4704-5271-1.
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ «A Table of Integrals of the Error Functions» (PDF).
- ↑ Abramowitz & Stegun 1983, eqn 7.3.1–7.3.2.
- ↑ Temme 2010.
- ↑ Abramowitz & Stegun 1983, eqn 7.3.20.
- ↑ 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 √π⁄2.
- ↑ Another method based on parametric integration is described for example in Zajta & Goel 1989.
- ↑ Mathar 2012.
- ↑ Temme 2010, §7.12(ii).
- ↑ Press και άλλοι 2007.
- ↑ Cody 1968.
- ↑ van Snyder 1993.
- ↑ Boersma 1960.
- ↑ 13,0 13,1 Beatty 2013.
- ↑ Stewart 2008, σελ. 383.
- Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 7". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. Vol. 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. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
- Alazah, Mohammad (2012). «Computing Fresnel integrals via modified trapezium rules». Numerische Mathematik 128 (4): 635–661. doi: . Bibcode: 2012arXiv1209.3451A.
- Beatty, Thomas (2013). "How to evaluate Fresnel Integrals" (PDF). FGCU Math - Summer 2013. Retrieved 27 July 2013.
- Cody, William J. (1968). «Chebyshev approximations for the Fresnel integrals». Math. Comp. 22 (102): 450–453. doi:. https://www.ams.org/journals/mcom/1968-22-102/S0025-5718-68-99871-2/S0025-5718-68-99871-2.pdf.
- Hangelbroek, R. J. (1967). «Numerical approximation of Fresnel integrals by means of Chebyshev polynomials». J. Eng. Math. 1 (1): 37–50. doi: . Bibcode: 1967JEnMa...1...37H.
- Mathar, R. J. (2012). "Series Expansion of Generalized Fresnel Integrals". arXiv:1211.3963 [math.CA].
- Nave, R. (2002). «The Cornu spiral». (Uses π2t2 instead of t2.)
- Press, W. H.· Teukolsky, S. A.· Vetterling, W. T.· Flannery, B. P. (2007). «Section 6.8.1. Fresnel Integrals». Numerical Recipes: The Art of Scientific Computing (3rd έκδοση). New York: Cambridge University Press. ISBN 978-0-521-88068-8. Αρχειοθετήθηκε από το πρωτότυπο στις 11 Αυγούστου 2011. Ανακτήθηκε στις 9 Αυγούστου 2011.
- van Snyder, W. (1993). «Algorithm 723: Fresnel integrals». ACM Trans. Math. Softw. 19 (4): 452–456. doi: .
- Stewart, James (2008). Calculus Early Transcendentals. Cengage Learning EMEA. ISBN 978-0-495-38273-7.
- 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. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.
- Zajta, Aurel J.; Goel, Sudhir K. (1989). «Parametric Integration Techniques». Mathematics Magazine 62 (5): 318–322. doi: .
Πηγές
[Επεξεργασία | επεξεργασία κώδικα]- Humanitarian Data Exchange(HDX) – The Humanitarian Data Exchange (HDX) is an open humanitarian data sharing platform managed by the United Nations Office for the Coordination of Humanitarian Affairs.
- NYC Open Data – free public data published by New York City agencies and other partners.
- Relational data set repository Αρχειοθετήθηκε 2018-03-07 στο Wayback Machine.
- Research Pipeline – a wiki/website with links to data sets on many different topics
- StatLib–JASA Data Archive
- UCI – a machine learning repository
- UK Government Public Data
- World Bank Open Data – Free and open access to global development data by World Bank
- Apostol, Tom M. (29 Ιουνίου 2013). Introduction to Analytic Number Theory. Springer Science & Business Media. ISBN 978-1-4757-5579-4.
- Miller, P. D. (2006), Applied Asymptotic Analysis, American Mathematical Society, ISBN 9780821840788, https://books.google.com/books?id=KQvqBwAAQBAJ
- Apostol, Thomas M. (1976), Introduction to Analytic Number Theory, New York: Springer, ISBN 0-387-90163-9, https://archive.org/details/introductiontoan00apos_0