Κατάλογοι ολοκληρωμάτων
Μια συλλογή ενός καταλόγου ολοκληρωμάτων (Integraltafeln) και τεχνικών του ολοκληρωτικού λογισμού δημοσιεύθηκε από τον Γερμανό μαθηματικό Μάιερ Χιρς [1] (γερμανικά: Meier Hirsch) το 1810[2] Οι κατάλογοι αυτοί επανεκδόθηκαν στο Ηνωμένο Βασίλειο το 1823. Εκτενέστεροι κατάλογοι καταρτίστηκαν το 1858 από τον Ολλανδό μαθηματικό Ντέιβιντ Μπίρενς ντε Χάαν[3] για το έργο του Πίνακες ολοκληρωμένων υπολογισμών (Tables d'intégrales définies), το οποίο συμπληρώθηκε από το βιβλίο Supplément aux tables d'intégrales définies (Συμπλήρωμα στους πίνακες των ορισμένων ολοκληρωμάτων) περίπου το 1864. Μια νέα έκδοση του κυκλοφόρησε το 1867 με τον τίτλο Nouvelles tables d'intégrales définies (Νέοι πίνακες ορισμένων ολοκληρωμάτων).
Οι πίνακες αυτοί, οι οποίοι περιέχουν κυρίως ολοκληρώματα στοιχειωδών συναρτήσεων, παρέμειναν σε χρήση μέχρι τα μέσα του 20ού αιώνα. Στη συνέχεια αντικαταστάθηκαν από τους πίνακες Γκραντστάιν και Ρίζικ, οι οποίοι είναι πολύ πιο πλήρεις. Στους πίνακες Γκραντστάιν και Ρίζικ, τα ολοκληρώματα από το βιβλίο του Μπιέρενς ντε Χάαν αναφέρονται ως BI.
Δεν έχουν όλες οι εκφράσεις κλειστής μορφής αντιπαράγωγα κλειστής μορφής- η μελέτη αυτή αποτελεί αντικείμενο της διαφορικής θεωρίας Γκαλουά, η οποία αναπτύχθηκε αρχικά από τον Ζοζέφ Λιουβίλ στις δεκαετίες του 1830 και 1840, οδηγώντας στο θεώρημα του Λιουβίλ που ταξινομεί ποιες εκφράσεις έχουν κλειστού τύπου αντιπαράγωγα. Ένα απλό παράδειγμα συνάρτησης χωρίς αντιπαράγωγο κλειστής μορφής είναι η Πρότυπο:Math, της οποίας το αντιπαράγωγο είναι (μέχρι σταθερές) η συνάρτηση σφάλματος.
Από το 1968 υπάρχει ο αλγόριθμος Ρισχ για τον προσδιορισμό αόριστων ολοκληρωμάτων που μπορούν να εκφραστούν με όρους στοιχειωδών συναρτήσεων, συνήθως με τη χρήση ενός συστήματος υπολογιστικής άλγεβρας. Τα ολοκληρώματα που δεν μπορούν να εκφραστούν με τη χρήση στοιχειωδών συναρτήσεων μπορούν να χειριστούν συμβολικά με τη χρήση γενικών συναρτήσεων, όπως η συνάρτηση G του Μέιγιερ[4].
Κατάλογοι ολοκληρωμάτων
Περισσότερες λεπτομέρειες μπορείτε να βρείτε στις ακόλουθες σελίδες για τους καταλόγους ολοκληρωμάτων:
- Κατάλογος ολοκληρωμάτων των ρητών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των άρρητων συναρτήσεων
- Κατάλογος ολοκληρωμάτων των τριγωνομετρικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων αντίστροφων τριγωνομετρικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των υπερβολικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων αντίστροφων υπερβολικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των εκθετικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των λογαριθμικών συναρτήσεων
- Κατάλογος ολοκληρωμάτων των Γκαουσιανών συναρτήσεων
Ο πίνακας ολοκληρωμάτων, σειρών και παραγώγων των Γκραντστάιν, Ρίζικ, Γερόνιμους, Τσέιτλιν, Τζέφρι, Ζβίλινγκερ και Μολ (GR) περιέχει μια μεγάλη συλλογή αποτελεσμάτων. Ένας ακόμη μεγαλύτερος πίνακας, σε πολλούς τόμους, είναι αυτός των Προυντνίκοφ, Μπρίτσκοφ και Μάριτσεφ (οι τόμοι 1 έως 3 απαριθμούν ολοκληρώματα και σειρές στοιχειωδών και ειδικών συναρτήσεων, οι τόμοι 4 και 5 είναι πίνακες μετασχηματισμών Λαπλάς). Πιο συμπαγείς συλλογές μπορούν να βρεθούν, επί παραδείγματι, στους Πίνακες Αόριστων Ολοκληρωμάτων των Μπριτσκόφ, Μάριτσεφ και Προυντνίκοφ, ή σε μορφή κεφαλαίου στο CRC Πρότυποι Μαθηματικοί Πίνακες και Τύποι του Ζβίλινγκερ, ή στο Οδηγός Μαθηματικών, Εγχειρίδιο Μαθηματικών ή Οδηγός Χρηστών Μαθηματικών των Μπρόνστειν και Σεμεντιάγιεφ, καθώς και σε άλλα εγχειρίδια μαθηματικών.
Άλλες χρήσιμες πηγές είναι οι μελέτες Αμπράμοβιτς και Στέγκουν και το έργο Bateman Manuscript Project. Και τα δύο αυτά περιέχουν πολλές ταυτοποιήσεις που αφορούν συγκεκριμένα ολοκληρώματα, οι οποίες είναι οργανωμένες σύμφωνα με το πιο σχετικό θέμα και όχι συγκεντρωμένες σε ξεχωριστό πίνακα. Δύο τόμοι του χειρογράφου Μπέιτμαν αφορούν ειδικά τους ολοκληρωτικούς μετασχηματισμούς.
Αρκετοί δικτυακοί τόποι προσφέρουν πίνακες ολοκληρωμάτων και ολοκληρωμάτων κατά παραγγελία. Το πρόγραμμα Γούλφραμ Άλφα μπορεί να εμφανίσει τα αποτελέσματα και, για ορισμένες απλούστερες εκφράσεις, τα ενδιάμεσα στάδια της ολοκλήρωσης. Η Wolfram Research διαχειρίζεται επίσης μια άλλη διαδικτυακή υπηρεσία, το Mathematica Online Integrator.
Ολοκληρώματα απλών συναρτήσεων
Το C χρησιμοποιείται για μια αυθαίρετη σταθερά ολοκλήρωσης που μπορεί να προσδιοριστεί μόνο αν είναι γνωστό κάτι σχετικά με την τιμή του ολοκληρώματος σε κάποιο σημείο. Έτσι, κάθε συνάρτηση έχει άπειρο αριθμό αντιπαραγώγων.
Αυτοί οι τύποι δηλώνουν μόνο με άλλη μορφή τους ισχυρισμούς του πίνακα των παραγώγων.
Ολοκληρώματα με ιδιομορφία
Όταν υπάρχει μια Ιδιομορφία στην ολοκληρωμένη συνάρτηση, έτσι ώστε η αντιπαράγωγος να γίνεται απροσδιόριστη ή σε κάποιο σημείο (η ιδιομορφία), τότε το C δεν χρειάζεται να είναι το ίδιο και στις δύο πλευρές της ιδιομορφίας. Οι παρακάτω μορφές συνήθως υποθέτουν την κύρια τιμή του Κωσύ γύρω από μια ιδιομορφία στην τιμή του C, αλλά αυτό είναι γενικά, όχι απαραίτητο. Παραδείγματος χάριν στο
υπάρχει μια ιδιομορφία στο 0 και η αντιπαράγωγος γίνεται άπειρη εκεί. Αν το παραπάνω ολοκλήρωμα χρησιμοποιούνταν για τον υπολογισμό ενός ορισμένου ολοκληρώματος μεταξύ -1 και 1, θα παίρναμε τη λανθασμένη απάντηση 0. Αυτή όμως είναι η κύρια τιμή Κωσύ του ολοκληρώματος γύρω από την ιδιομορφία. Αν η ολοκλήρωση γίνει στο μιγαδικό επίπεδο, το αποτέλεσμα εξαρτάται από τη διαδρομή γύρω από την αρχή, στην περίπτωση αυτή η ιδιομορφία συνεισφέρει -iΠρότυπο:Pi όταν χρησιμοποιείται διαδρομή πάνω από την αρχή και iΠρότυπο:Pi για διαδρομή κάτω από την αρχή. Μια συνάρτηση στην πραγματική ευθεία θα μπορούσε να χρησιμοποιήσει μια εντελώς διαφορετική τιμή του C σε κάθε πλευρά της αρχής, όπως στο:[5]
Ρητές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων ρητών συναρτήσεων
Η ακόλουθη συνάρτηση έχει μια μη ολοκληρώσιμη ιδιομορφία στο 0 για Πρότυπο:Math:
- (Τύπος τετραγωνισμού του Καβαλιέρι)
-
- Γενικότερα,[6]
Εκθετικές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων των εκθετικών συναρτήσεων
- }
(αν είναι θετικός ακέραιος αριθμός)
(αν είναι θετικός ακέραιος αριθμός)
Λογάριθμοι
Βλ. επίσης: Κατάλογος ολοκληρωμάτων λογαριθμικών συναρτήσεων
Τριγωνομετρικές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων τριγωνομετρικών συναρτήσεων
-
- (Βλ. Ολοκλήρωμα της δευτερεύουσας συνάρτησης. Το αποτέλεσμα αυτό ήταν μια γνωστή εικασία τον 17ο αιώνα.)
-
- (βλ.το ολοκλήρωμα της τεμνούσας σε κύβους.)
Αντίστροφες τριγωνομετρικές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων αντίστροφων τριγωνομετρικών συναρτήσεων
Υπερβολικές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων υπερβολικών συναρτήσεων
Αντίστροφες υπερβολικές συναρτήσεις
Βλ. επίσης: Κατάλογος ολοκληρωμάτων αντίστροφων υπερβολικών συναρτήσεων
Παράγωγοι συναρτήσεων ανάλογες προς τις δεύτερες παραγώγους τους
Συναρτήσεις αβέβαιων τιμών
Έστω Πρότυπο:Math μια Συνέχεια συνάρτησης, που έχει το πολύ μία ρίζα. Αν η Πρότυπο:Math έχει μηδέν, έστω Πρότυπο:Math το μοναδικό αντιπαράγωγο της Πρότυπο:Math που είναι μηδέν στη ρίζα της Πρότυπο:Math- διαφορετικά, έστω Πρότυπο:Math οποιοδήποτε αντιπαράγωγο της Πρότυπο:Math. Τότε
όπου Πρότυπο:Math είναι η συνάρτηση προσήμου, η οποία παίρνει τις τιμές -1, 0, 1 όταν Πρότυπο:Math είναι αντίστοιχα αρνητική, μηδενική ή θετική.
Αυτό μπορεί να αποδειχθεί με τον υπολογισμό της παραγώγου της δεξιάς πλευράς του τύπου, λαμβάνοντας υπόψη ότι η συνθήκη για το Πρότυπο:Math είναι εδώ για την εξασφάλιση της συνέχειας του ολοκληρώματος.
Έτσι προκύπτουν οι ακόλουθοι τύποι (όπου Πρότυπο:Math), οι οποίοι ισχύουν για κάθε διάστημα όπου η Πρότυπο:Math είναι συνεχής (σε μεγαλύτερα διαστήματα, η σταθερά Πρότυπο:Mvar πρέπει να αντικατασταθεί από μια τμηματικά σταθερή συνάρτηση):
όταν Πρότυπο:Math είναι περιττή, και .
όταν για κάποιο ακέραιο αριθμό Πρότυπο:Math.
όταν για κάποιο ακέραιο αριθμό Πρότυπο:Math.
όταν για κάποιο ακέραιο αριθμό Πρότυπο:Math.
όταν για κάποιο ακέραιο αριθμό Πρότυπο:Math.
Αν η συνάρτηση Πρότυπο:Math δεν έχει συνεχή αντιπαράγωγο που παίρνει την τιμή μηδέν στα μηδενικά της Πρότυπο:Math (αυτό συμβαίνει για τις συναρτήσεις ημίτονο και συνημίτονο), τότε Πρότυπο:Math είναι μια αντιπαράγωγος της Πρότυπο:Math σε κάθε διάστημα στο οποίο η Πρότυπο:Math δεν είναι μηδέν, αλλά μπορεί να είναι ασυνεχής στα σημεία όπου Πρότυπο:Math. Για να έχουμε μια συνεχή αντιπαράγωγο, πρέπει επομένως να προσθέσουμε μια καλά επιλεγμένη συνάρτηση βήματος. Αν χρησιμοποιήσουμε επίσης το γεγονός ότι οι απόλυτες τιμές του ημιτόνου και του συνημιτόνου είναι περιοδικές με περίοδο Πρότυπο:Pi, τότε έχουμε:
Ειδικές συναρτήσεις
Πρότυπο:Math, Πρότυπο:Math: Τριγωνομετρικά ολοκληρώματα, Πρότυπο:Math: Εκθετικό ολοκλήρωμα, Πρότυπο:Math: Πρότυπο:Math: Συνάρτηση σφάλματος
Ορισμένα ολοκληρώματα χωρίς αντιπαράγωγα κλειστής μορφής
Υπάρχουν ορισμένες συναρτήσεις των οποίων οι αντιπαραγωγές δεν μπορούν να εκφραστούν σε κλειστή μορφή. Ωστόσο, οι τιμές των ορισμένων ολοκληρωμάτων σε κάποια από αυτές τις συναρτήσεις σε κάποια κοινά διαστήματα μπορούν να υπολογιστούν. Μερικά χρήσιμα ολοκληρώματα δίνονται παρακάτω.
- (βλ. επίσης Συνάρτηση Γάμμα)
- for Πρότυπο:Math (το γκαουσιανό ολοκλήρωμαl)
- for Πρότυπο:Math
- για Πρότυπο:Math, Πρότυπο:Math είναι ένας θετικός ακέραιος και !! είναι το διπλό παραγοντικό.
- when Πρότυπο:Math
- for Πρότυπο:Math, Πρότυπο:Math
- (βλ. επίσης αριθμός Μπερνούλι)
- (βλ. συνάρτηση sinc και το ολοκλήρωμα Ντίριχλετ)
- (αν Πρότυπο:Math είναι ένας θετικός ακέραιος και !! είναι το διπλό παραγοντικό).
- (για Πρότυπο:Math ακέραιοι αριθμοί με Πρότυπο:Math και Πρότυπο:Math, βλ. επίσης Διωνυμικό συντελεστή)
- (για Πρότυπο:Math πραγματικός, Πρότυπο:Math ένας μη αρνητικός ακέραιος και Πρότυπο:Mvar ένας περιττός θετικός ακέραιος- αφού το ολοκλήρωμα είναι περιττό)
- (για Πρότυπο:Math ακέραιοι αριθμοί με Πρότυπο:Math και Πρότυπο:Math, βλ. επίσης Διωνυμικό συντελεστή)
- (για Πρότυπο:Math ακέραιοι αριθμοί με Πρότυπο:Math και Πρότυπο:Math, βλ. επίσης Διωνυμικό συντελεστή
- (όπου Πρότυπο:Math είναι η εκθετική συνάρτηση Πρότυπο:Math, και Πρότυπο:Math.)
- (οπου είναι η συνάρτηση Γάμμα)
- (για Πρότυπο:Math και Πρότυπο:Math, βλ. συνάρτηση βήτα)
- (όπου Πρότυπο:Math είναι η τροποποιημένη συνάρτηση Μπέσελ πρώτου είδους)
- (για Πρότυπο:Math , αυτό σχετίζεται με τη συνάρτηση πυκνότητας πιθανότητας της Κατανομής t-Student)
Εάν η συνάρτηση Πρότυπο:Math έχει περιορισμένη μεταβολή στο διάστημα [a,b], τότε η μέθοδος της εξάντλησης παρέχει έναν τύπο για το ολοκλήρωμα:
Το «Όνειρο του δευτεροετούς»:
αποδίδεται στον Γιόχαν Μπερνούλι.
Εξωτερικοί σύνδεσμοι
- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
- Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
- Θεωρία Αριθμών και Εφαρμογές
- Υπολογιστική Θεωρία Αριθμών
- Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
- Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
- Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
- Wolfram Mathematica Online Integrator
Δείτε επίσης
- Απαγορευτική αρχή του Πάουλι
- Τριγωνομετρική συνάρτηση
- Συνάρτηση γάμμα
- Αλγεβρική θεωρία αριθμών
- Άρθουρ Στάνλεϋ Έντινγκτον
- Μοναδιαία βηματική συνάρτηση
- Σουμπραμανιάν Τσαντρασεκάρ
- Ευκλείδειος χώρος
- Ρητή συνάρτηση
- Σουμπραμανιάν Τσαντρασεκάρ
- Εφαρμοσμένα μαθηματικά
- Υπερβολικές συναρτήσεις
- Κατάλογος ολοκληρωμάτων των υπερβολικών συναρτήσεων
- Ωγκυστέν-Λουί Κωσύ
- Θεμελιώδες θεώρημα αριθμητικής
- Αλγεβρική γεωμετρία
- Μιγαδικός αριθμός
- Πολυώνυμο
- Ακέραιος αριθμός
Βιβλιογραφία
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
Παραπομπές
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book. Second revised edition (Russian), volume 1–3, Fiziko-Matematicheskaya Literatura, 2003.
- Yuri A. Brychkov (Ю. А. Брычков), Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas. Russian edition, Fiziko-Matematicheskaya Literatura, 2006. English edition, Chapman & Hall/CRC Press, 2008, ISBN 1-58488-956-X / 9781584889564.
- Daniel Zwillinger. CRC Standard Mathematical Tables and Formulae, 31st edition. Chapman & Hall/CRC Press, 2002. ISBN 1-58488-291-3. (Many earlier editions as well.)
- Meyer Hirsch [de], Integraltafeln oder Sammlung von Integralformeln (Duncker und Humblot, Berlin, 1810)
- Meyer Hirsch [de], Integral Tables Or A Collection of Integral Formulae (Baynes and son, London, 1823) [English translation of Integraltafeln]
- David Bierens de Haan, Nouvelles Tables d'Intégrales définies (Engels, Leiden, 1862)
- Benjamin O. Pierce A short table of integrals - revised edition (Ginn & co., Boston, 1899)
Πηγές
- 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 Πρότυπο:Webarchive
- 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
- Πρότυπο:Cite book
- Πρότυπο:Citation
- Πρότυπο:Citation
Πρότυπο:Κατάλογοι ολοκληρωμάτων Πρότυπο:Portal bar Πρότυπο:Authority control
- ↑ Πρότυπο:Cite web
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite web
- ↑ Πρότυπο:Cite web
- ↑ Serge Lang] . A First Course in Calculus, 5th edition, p. 290
- ↑ "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, March 19, 2012