Αριθμητική ολοκλήρωση

μικρογραφία|290x290px|Αριθμητική ολοκλήρωση με τη μέθοδο Monte Carlo:. Τα νέα σημεία απεικονίζονται με σκούρο μπλε χρώμα, ενώ τα παλαιά με ανοιχτό μπλε χρώμα. Η τιμή του ολοκληρώματος τείνει στο 3,32
Στα μαθηματικά, η **αριθμητική ολοκλήρωση** (παραδοσιακά ονομάζεται επίσης **αριθμητικός τετραγωνισμός**) είναι ο κατά προσέγγιση υπολογισμός ολοκληρωμάτων.

Η αριθμητική ολοκλήρωση χρησιμοποιείται όταν μια ριζική συνάρτηση δεν μπορεί να εκφραστεί με στοιχειώδεις συναρτήσεις, η αριθμητική αποτίμηση της ριζικής συνάρτησης είναι πολύ περίπλοκη ή το ολοκλήρωμα είναι μόνο διακριτό, για παράδειγμα ως αποτέλεσμα μετρήσεων. Για το σκοπό αυτό, το ολοκλήρωμα μιας συνάρτησης f στο διάστημα [a,b] αναπαρίσταται ως το άθροισμα της τιμής Q(f) ενός τύπου προσέγγισης Q  (που ονομάζεται επίσης τύπος τετραγωνισμού) και μιας τιμής σφάλματος E(f):
:\int_{a}^{b} f(x)\,dx= Q(f) + E(f).

Η ιδέα του αριθμητικού υπολογισμού των ολοκληρωμάτων δανείζεται απευθείας από τον ορισμό του ολοκληρώματος Ρίμαν.

## Διαδικασία τετραγωνισμού
### Γραφικές διαδικασίες
Οι γραφικές μέθοδοι χρησιμοποιούν  την απεικόνιση του ολοκληρώματος σχεδιάζεται σε ένα σύστημα συντεταγμένων με γραμμικούς άξονες και προσδιορίζεται η περιοχή μεταξύ του γραφήματος και της τετμήματος.

### Μέθοδος καταμέτρησης
Μια ιδιαίτερα απλή μέθοδος προϋποθέτει την απεικόνιση της γραφικής παράστασης σε γραφικό χαρτί και στη συνέχεια τον υπολογισμό του αριθμού των "τετραγωνικών κουτιών χιλιοστών" (επιφανειακών στοιχείων) που καταλαμβάνονται από την επιφάνεια S. Στην περίπτωση αυτή, τα στοιχεία της επιφάνειας από τα οποία διέρχεται η γραφική παράσταση υπολογίζονται μόνο κατά το ήμισυ. Η προσέγγιση προκύπτει τότε με τον αριθμό των τετραγωνικών χιλιοστών N και τα μέρη κλίμακας \Delta x και \Delta y στο:
:\int_{a}^{b}f(x)\,dx \approx N \mathrm{mm}^2 \cdot \tfrac{\Delta x}{\mathrm{mm}} \cdot \tfrac{\Delta y}{\mathrm{mm}}

### Μέτρηση
Μια άλλη γραφική μέθοδος είναι η μέτρηση της επιφάνειας με τη χρήση ενός πλανημέτρου.

### Υπολογισμός χρησιμοποιώντας τύπο τετραγωνισμού
μικρογραφία|255x255px|Η αριθμητική ολοκλήρωση επιδιώκει την απλούστερη δυνατή προσέγγιση για την περιοχή <math>S = \int_{x_u}^{x_o}f(x)\,dx</math>
Ένας τύπος τετραγωνισμού αποτελείται γενικά από ένα σταθμισμένο άθροισμα τιμών συνάρτησης 
:Q(f) = (x_o - x_n)\sum_{i=0}^n w_i f(x_i).

Οι θέσεις x_0,\ldots, x_n ονομάζονται σημεία αναφοράς και οι αριθμοί w_0,\ldots,w_n ονομάζονται βάρη. Τα βάρη εξαρτώνται από τις αποστάσεις μεταξύ ενός σημείου αναφοράς και γειτονικών σημείων αναφοράς. Υπάρχουν διαφορετικές προσεγγίσεις για την επιλογή των σημείων στήριξης και των βαρών έτσι ώστε το σφάλμα τετραγωνισμού E(f) να είναι όσο το δυνατόν μικρότερο.

Ένας τύπος τετραγωνισμού έχει βαθμό ακρίβειας (ή πιστότητας) n αν ολοκληρώνει ακριβώς όλες τις πολυωνυμικές συναρτήσεις μέχρι το μέγιστο βαθμό n και αν n είναι ο μεγαλύτερος δυνατός φυσικός αριθμός που έχει αυτή την ιδιότητα.μικρογραφία|255x255εσ|Σημεία στήριξης στο διάστημαΌπως και το ολοκλήρωμα, οι τύποι τετραγωνισμού είναι γραμμικοί τελεστές.

## Τύπος τετραγωνικής παρεμβολής
Μια σημαντική κατηγορία τετραγωνικών τύπων προκύπτει από την ιδέα της προσέγγισης της συνάρτησης f(x) με ένα πολυώνυμο παρεμβολής p_n(x) βαθμού n n και στη συνέχεια της ολοκλήρωσης αυτού του πολυωνύμου. Τα βάρη λαμβάνονται στη συνέχεια ως τα ολοκληρώματα των πολυωνύμων Λαγκράνζ στα συγκεκριμένα σημεία στήριξης. Κατασκευαστικά, αυτοί οι τετραγωνικοί τύποι έχουν τουλάχιστον τον βαθμό ακρίβειας n. Ο τετραγωνικός τύπος είναι επομένως
:\int_a^b f(x) \,dx \approx \int_a^b p_n(x) \,dx = (b-a) \sum_{i=0}^n w_i f(x_i)
με τα βάρη
:w_i = \frac{1}{b-a} \int_a^b L_{i,n}(x) \,dx 
και τα πολυώνυμα Λαγκράνζ
:L_{i,n}(x) = \frac{(x-x_0)\dotsm(x-x_{i-1})(x-x_{i+1})\cdots(x-x_n)}{(x_i-x_0)\dotsm(x_i-x_{i-1})(x_i-x_{i+1})\dotsm(x_i-x_n)}=\prod_{j=0 \atop j \neq i}^n \frac{x-x_j}{x_i-x_j}  

Εάν τα όρια ολοκλήρωσης είναι σημεία στήριξης, μιλάμε για κλειστούς τύπους τετραγωνισμού, διαφορετικά για ανοικτούς τύπους. Εάν τα σημεία στήριξης επιλέγονται να είναι ισαπέχοντα, λαμβάνουμε μεταξύ άλλων τους τύπους Νεύτωνα-Κοτ. Ο κανόνας του τεντωμένου τραπεζοειδούς και ο κανόνας του Σίμπσον αποτελούν μέρος του κλειστού τύπου του Νεύτωνα-Κοτ, ενώ ο κανόνας του εφαπτόμενου τραπεζοειδούς αποτελεί μέρος του ανοιχτού τύπου. Οι τετραγωνικοί τύποι του Νεύτωνα-Κοτ για n ζυγούς αριθμούς έχουν μάλιστα βαθμό ακρίβειας n+1. Οι ανοιχτοί τετραγωνικοί τύποι περιλαμβάνουν επίσης τους τετραγωνικούς τύπους του Γκάους.

### Εκτίμηση σφάλματος
Ονομάζουμε [c,d]  το μικρότερο διάστημα που περιέχει τα σημεία αναφοράς x_i και το διάστημα [a,b]. Επιπλέον, f (n+1)- φορές είναι συνεχώς διαφορίσιμη στο  [c,d]. Ανάλογα με την ποιότητα παρεμβολής του πολυωνύμου παρεμβολής, υπάρχει ένα \xi(x) \in [c,d] , έτσι ώστε :

:f(x) - p_n(x) = \frac{f^{(n+1)}(\xi(x))}{(n+1)!} \prod_{i=0}^n (x-x_i).

Με ολοκλήρωση προκύπτει ο τύπος σφάλματος για αριθμητικό τετραγωνισμό.

:E(f) = \int_a^b f(x) \,dx - \int_a^b p_n(x) \,dx = \frac{1}{(n+1)!} \int_a^b f^{(n+1)}(\xi(x))\prod_{i=0}^n (x-x_i) \,dx.

Αν f^{(n+1)}(x)=0 για όλα τα x \in [c,d], το σφάλμα τετραγωνισμού είναι 0. Επειδή αυτό ισχύει για όλα τα πολυώνυμα μέχρι βαθμού n, ο βαθμός ακρίβειας αυτών των τύπων τετραγωνισμού είναι τουλάχιστον n.

Από αυτόν τον τύπο σφάλματος προκύπτει η εκτίμηση σφάλματος

:| E(f) | \le \frac1{(n+1)!}\ \max_{c\le x \le d} {\left| f^{(n+1)}(x) \right|} \int_a^b \left|\prod_{i=0}^n (x-x_i)\right| \,dx.

Εάν η συνάρτηση \prod_{i=0}^n (x-x_i)  δεν αλλάζει πρόσημο στο διάστημα [a,b], δηλαδή εάν κανένα κομβικό σημείο δεν βρίσκεται στο διάστημα  (a,b), μπορούμε να εξάγουμε την ακόλουθη παράσταση για το υπόλοιπο μέλος χρησιμοποιώντας το θεώρημα μέσης τιμής του ολοκληρωτικού λογισμού:

:E(f) = \frac{f^{(n+1)}(\zeta)}{(n+1)!} \int_a^b \prod_{i=0}^n (x-x_i) \,dx.
με ένα ενδιάμεσο \zeta\in[c,d].

Παρόμοιοι τύποι για το σφάλμα τετραγωνισμού προκύπτουν επίσης για ειδικές κατανομές των σημείων πλέγματος στο διάστημα [a,b], για παράδειγμα για τους τύπους Νεύτων - Κοτ ή τους τύπους τετραγωνισμού Γκάους.

Εάν η συνάρτηση f είναι μόνο συνεχής, οι παραπάνω ισχυρισμοί δεν ισχύουν και το σφάλμα μπορεί να είναι πολύ μεγάλο.

## Άλλοι τύποι τετραγωνισμού
Η προσπάθεια ελαχιστοποίησης της τάξης σφάλματος του τετραγωνικού τύπου οδηγεί στον τετραγωνισμό Γκάους. Χρησιμοποιούν τη θεωρία των ορθογώνιων πολυωνύμων για να αποκτήσουν τύπους που έχουν βαθμό ακρίβειας 2n-1 , όπου n είναι ο αριθμός των αξιολογήσεων της συνάρτησης που χρησιμοποιούνται.

Για την ελαχιστοποίηση του αριθμού των αξιολογήσεων συναρτήσεων, επιτρέποντας παράλληλα τον έλεγχο του σφάλματος, χρησιμοποιείται συχνά η μέθοδος παρέκτασης Ρομπεργκ. Στην περίπτωση αυτή, οι τιμές του ολοκληρώματος προεκτείνονται από όλο και μικρότερες "ζώνες" σε ένα εύρος ζώνης που εξανεμίζεται.

## Αθροιστικοί τύποι τετραγωνισμού
Για να επιτύχουμε καλύτερη προσέγγιση του ολοκληρώματος, διαιρούμε το διάστημα [a,b] σε διάφορα υποδιαστήματα, τα οποία δεν είναι απαραίτητο να έχουν το ίδιο μήκος. Χρησιμοποιώντας έναν από τους παραπάνω τύπους τετραγωνισμού, υπολογίζουμε στη συνέχεια το προσεγγιστικό ολοκλήρωμα σε κάθε υποδιάστημα και αθροίζουμε τα αποτελέσματα. Ιδιαίτερο ενδιαφέρον παρουσιάζουν οι προσαρμοστικοί τύποι, οι οποίοι υποδιαιρούν περαιτέρω ένα διάστημα εάν το εκτιμώμενο σφάλμα στο διάστημα αυτό είναι μεγαλύτερο από ένα δεδομένο όριο.

## Ολοκλήρωση Monte Carlo
Μια μέθοδος που δεν προσπαθεί να χρησιμοποιήσει έναν τύπο προσέγγισης για τη συνάρτηση που πρόκειται να ολοκληρωθεί είναι η ολοκλήρωση Monte Carlo. Για να το θέσουμε γραφικά, το ολοκλήρωμα προσδιορίζεται με τη δημιουργία  n τυχαίων σημείων x_1,\dots,x_n ισοκατανεμημένων στο διάστημα ολοκλήρωσης [a,b](οριζόντια). Στη συνέχεια προκύπτει μια προσέγγιση του ολοκληρώματος ως ο μέσος όρος των τιμών της συναρτήσεων αυτών των σημείων

:S_n(f)=\frac {b-a}n \sum_{i=1}^n f(x_i).

Το πλεονέκτημα είναι η σχετικά απλή εφαρμογή και η σχετικά εύκολη επέκταση σε πολλαπλά ολοκληρώματα. Στην περίπτωση αυτή, οι κλασικοί αλγόριθμοι ολοκλήρωσης επηρεάζονται έντονα από την ατυχία της διαστατικότητας και δεν είναι πλέον εφαρμόσιμοι σε προβλήματα υψηλών διαστάσεων. Ωστόσο, οι ολοκληρωτές υψηλών διαστάσεων είναι γενικά ιδιαίτερα εντοπισμένοι. Σε αυτές τις περιπτώσεις, οι μέθοδοι MCMC μπορούν να παράγουν δείγματα με κατανομή που επιτρέπει τον αποδοτικό υπολογισμό τέτοιων υψηλών διαστάσεων ολοκληρωμάτων.

## Δημοσιεύσεις
* Hans R. Schwarz, Norbert Köckler: *Numerische Mathematik.* 6. Auflage, Teubner, Stuttgart 2006, ISBN 3-519-42960-8
* Helmut Braß: *Quadraturverfahren *, Vandenhoeck & Ruprecht, Göttingen 1977, ISBN 978-3525401422
* H. Braß,K. Petras: *Quadrature Theory (Mathematical Surveys and Monographs)*, Published by American Mathematical Society (2011), ISBN 9780821853610
*Martin Hermann: *Numerische Mathematik, Band 2: Analytische Probleme*. 4., überarbeitete und erweiterte Auflage. Walter de Gruyter Verlag, Berlin und Boston 2020. ISBN 978-3-11-065765-4.

## Παραπομπές


Κατηγορία:Ολοκληρωτικός λογισμός
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Φιλοσοφία των μαθηματικών
Κατηγορία:Ιστορία των Μαθηματικών