Καταχρηστικό ολοκλήρωμα

Ένα καταχρηστικό ολοκλήρωμα Ρίμαν πρώτου είδους, όπου η περιοχή στο επίπεδο που υπονοείται από το ολοκλήρωμα είναι άπειρη σε έκταση οριζόντια. Το εμβαδόν μιας τέτοιας περιοχής, την οποία αντιπροσωπεύει το ολοκλήρωμα, μπορεί να είναι πεπερασμένο (όπως εδώ) ή άπειρο.

Ένα καταχρηστικό ολοκλήρωμα Ρίμαν δεύτερου είδους, όπου η υπονοούμενη περιοχή είναι άπειρη κάθετα. Η περιοχή μπορεί να έχει είτε πεπερασμένο (όπως εδώ) είτε άπειρο εμβαδόν.

Στη μαθηματική ανάλυση, ένα καταχρηστικό ολοκλήρωμα ή γενικευμένο ολοκλήρωμα είναι μια επέκταση της έννοιας του ορισμένου ολοκληρώματος σε περιπτώσεις που παραβιάζουν τις συνήθεις παραδοχές για αυτό το είδος ολοκληρώματος. Στο πλαίσιο των ολοκληρωμάτων Ρίμαν (ή, ισοδύναμα, των ολοκληρωμάτων Ντάρμπου), αυτό συνήθως περιλαμβάνει απεριόριστη ποσότητα, είτε του συνόλου πάνω στο οποίο λαμβάνεται το ολοκλήρωμα είτε του ολοκληρώματος (της συνάρτησης που ολοκληρώνεται), είτε και των δύο. Μπορεί επίσης να περιλαμβάνει οριοθετημένα αλλά όχι κλειστά σύνολα ή οριοθετημένες αλλά όχι συνεχείς συναρτήσεις. Ενώ ένα καταχρηστικό ολοκλήρωμα γράφεται συνήθως συμβολικά όπως ένα κανονικό ορισμένο ολοκλήρωμα, στην πραγματικότητα αντιπροσωπεύει ένα όριο ενός ορισμένου ολοκληρώματος ή ένα άθροισμα τέτοιων ορίων- έτσι τα καταχρηστικά ολοκληρώματα λέγεται ότι συγκλίνουν ή αποκλίνουν . Αν ένα κανονικό ορισμένο ολοκλήρωμα (το οποίο μπορεί να ονομαστεί κανονικό ολοκλήρωμα) επεξεργαστεί σαν να είναι καταχρηστικό, θα προκύψει η ίδια απάντηση.

Στην απλούστερη περίπτωση μιας συνάρτησης πραγματικής τιμής μιας μόνο μεταβλητής που ολοκληρώνεται με την έννοια του Ρίμαν (ή του Ντάρμπου) σε ένα μόνο διάστημα, τα καταχρηστικά ολοκληρώματα μπορούν να έχουν οποιαδήποτε από τις ακόλουθες μορφές:

1. $\underset{a}{\overset{\mathrm{\infty }}{\int }}f(x)dx$
2. $\underset{-\mathrm{\infty }}{\overset{b}{\int }}f(x)dx$
3. $\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)dx$
4. $\underset{a}{\overset{b}{\int }}f(x)dx$, όπου $f(x)$ είναι απροσδιόριστο ή ασυνεχές κάπου στο $[a,b]$

Οι τρεις πρώτες μορφές είναι καταχρηστικές επειδή τα ολοκληρώματα λαμβάνονται σε ένα απεριόριστο διάστημα. (Μπορεί να είναι καταχρηστικά και για άλλους λόγους, όπως εξηγείται παρακάτω.) Ένα τέτοιο ολοκλήρωμα περιγράφεται μερικές φορές ως "πρώτου" τύπου ή είδους, αν το ολοκλήρωμα ικανοποιεί κατά τα άλλα τις παραδοχές της ολοκλήρωσης.. Τα ολοκληρώματα της τέταρτης μορφής που είναι καταχρηστικά επειδή το $f(x)$ έχει μια κατακόρυφη ασύμπτωτη κάπου στο διάστημα $[a,b]$ μπορεί να περιγραφούν ως «δεύτερου» τύπου ή είδους. Τα ολοκληρώματα που συνδυάζουν πτυχές και των δύο τύπων περιγράφονται μερικές φορές ως «τρίτου» τύπου ή είδους. .

Σε κάθε παραπάνω περίπτωση, το καταχρηστικό ολοκλήρωμα πρέπει να ξαναγραφεί χρησιμοποιώντας ένα ή περισσότερα όρια, ανάλογα με το τι προκαλεί το καταχρηστικό ολοκλήρωμα. Παραδείγματος χάριν, στην περίπτωση 1, εάν η $f(x)$ είναι συνεχής σε ολόκληρο το διάστημα $[a,\mathrm{\infty })$, τότε

$\underset{a}{\overset{\mathrm{\infty }}{\int }}f(x)dx=\underset{b\to \mathrm{\infty }}{\lim }\underset{a}{\overset{b}{\int }}f(x)dx.$

Το όριο στα δεξιά θεωρείται ότι είναι ο ορισμός του ολοκληρωτικού συμβολισμού στα αριστερά.

Αν η $f(x)$ είναι συνεχής μόνο στο $(a,\mathrm{\infty })$ και όχι στο $a$, τότε τυπικά αυτό ξαναγράφεται ως εξής

$\underset{a}{\overset{\mathrm{\infty }}{\int }}f(x)dx=\underset{t\to a^{+}}{\lim }\underset{t}{\overset{c}{\int }}f(x)dx+\underset{b\to \mathrm{\infty }}{\lim }\underset{c}{\overset{b}{\int }}f(x)dx,$

για οποιαδήποτε επιλογή του $c>a$. Εδώ και τα δύο όρια πρέπει να συγκλίνουν σε μια πεπερασμένη τιμή για να λέμε ότι το καταχρηστικό ολοκλήρωμα συγκλίνει. Αυτή η απαίτηση αποφεύγει την αμφίσημη περίπτωση της πρόσθεσης θετικών και αρνητικών απειροστών (δηλαδή την απροσδιόριστη μορφή « "$\mathrm{\infty }-\mathrm{\infty }$"). Εναλλακτικά, θα μπορούσε να χρησιμοποιηθεί ένα επαναληπτικό όριο ή ένα ενιαίο όριο με βάση την πρωτεύουσα τιμή Κωσύ.

Αν η $f(x)$ είναι συνεχής στο $[a,d)$ και $(d,\mathrm{\infty })$, με ασυνέχεια οποιουδήποτε είδους στο $d$, τότε

$\underset{a}{\overset{\mathrm{\infty }}{\int }}f(x)dx=\underset{t\to d^{-}}{\lim }\underset{a}{\overset{t}{\int }}f(x)dx+\underset{u\to d^{+}}{\lim }\underset{u}{\overset{c}{\int }}f(x)dx+\underset{b\to \mathrm{\infty }}{\lim }\underset{c}{\overset{b}{\int }}f(x)dx,$

για οποιαδήποτε επιλογή του $c>d$. Οι προηγούμενες παρατηρήσεις σχετικά με τις απροσδιόριστες μορφές, τα επαναλαμβανόμενα όρια και την πρωτεύουσα τιμή Κωσύ ισχύουν και εδώ.

Η συνάρτηση $f(x)$ μπορεί να έχει περισσότερες ασυνέχειες, οπότε απαιτούνται ακόμη περισσότερα όρια (ή μια πιο περίπλοκη έκφραση πρωτεύουσας τιμής).

Οι περιπτώσεις 2-4 αντιμετωπίζονται με παρόμοιο τρόπο. Βλέπε τα παραδείγματα παρακάτω.

Τα καταχρηστικά ολοκληρώματα μπορούν επίσης να αξιολογηθούν στο πλαίσιο των μιγαδικών αριθμών, σε υψηλότερες διαστάσεις και σε άλλα θεωρητικά πλαίσια, όπως η ολοκλήρωμα Λεμπέσγκ ή η ολοκλήρωμα Χένστοκ-Κούρβαϊλ. Τα ολοκληρώματα που θεωρούνται καταχρηστικά σε ένα πλαίσιο μπορεί να μην είναι σε άλλα.

Παραδείγματα

Ο αρχικός ορισμός του ολοκληρώματος Ρίμαν δεν ισχύει για μια συνάρτηση όπως $1/x^2$ στο διάστημα [1, ∞), επειδή σε αυτή την περίπτωση το πεδίο ολοκλήρωσης είναι απεριόριστο. Ωστόσο, το ολοκλήρωμα Ρίμαν μπορεί συχνά να επεκταθεί μέσω της συνέχειας, ορίζοντας το καταχρηστικό ολοκλήρωμα αντ' αυτού ως όριο

$\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{x^2}=\underset{b\to \mathrm{\infty }}{\lim }\underset{1}{\overset{b}{\int }}\frac{dx}{x^2}=\underset{b\to \mathrm{\infty }}{\lim }(-\frac{1}{b}+\frac{1}{1})=1.$

Ο στενός ορισμός του ολοκληρώματος Ρίμαν δεν καλύπτει επίσης τη συνάρτηση $1/\sqrt{x}$ στο διάστημα [0, 1]. Το πρόβλημα εδώ είναι ότι το ολοκλήρωμα είναι απεριόριστο στο πεδίο ολοκλήρωσης. Με άλλα λόγια, ο ορισμός του ολοκληρώματος Ρίμαν απαιτεί τόσο το πεδίο ολοκλήρωσης όσο και το ολοκλήρωμα να είναι οριοθετημένα. Ωστόσο, το καταχρηστικό ολοκλήρωμα υπάρχει αν το κατανοήσουμε ως το όριο

$\underset{0}{\overset{1}{\int }}\frac{dx}{\sqrt{x}}=\underset{a\to 0^{+}}{\lim }\underset{a}{\overset{1}{\int }}\frac{dx}{\sqrt{x}}=\underset{a\to 0^{+}}{\lim }(2-2\sqrt{a})=2.$

Το καταχρηστικό ολοκλήρωμα
$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{(x+1)\sqrt{x}}=\pi$
έχει απεριόριστα διαστήματα τόσο για το πεδίο όσο και για το εύρος.

Μερικές φορές τα ολοκληρώματα μπορεί να έχουν δύο ιδιομορφίες όπου είναι καταχρηστικά. Ας θεωρήσουμε, επί παραδείγματι, τη συνάρτηση Πρότυπο:Math που ολοκληρώνεται από το 0 έως το Πρότυπο:Math (φαίνεται δεξιά). Στο κάτω όριο του πεδίου ολοκλήρωσης, καθώς το Πρότυπο:Mvar πηγαίνει στο 0, η συνάρτηση πηγαίνει στο Πρότυπο:Math, και το άνω όριο είναι το ίδιο το Πρότυπο:Math, αν και η συνάρτηση πηγαίνει στο 0. Έτσι, αυτό είναι ένα διπλά καταχρηστικό ολοκλήρωμα. Εάν ολοκληρωθεί, ας πούμε, από το 1 έως το 3, αρκεί ένα συνηθισμένο άθροισμα Ρίμαν για να προκύψει ένα αποτέλεσμα Πρότυπο:Pi/6. Για να ολοκληρωθεί από το 1 έως το Πρότυπο:Math, ένα άθροισμα Ρίμαν δεν είναι δυνατό. Ωστόσο, οποιοδήποτε πεπερασμένο άνω όριο, ας πούμε Πρότυπο:Mvar (με Πρότυπο:Math), δίνει ένα καλά ορισμένο αποτέλεσμα, Πρότυπο:Math. Αυτό έχει ένα πεπερασμένο όριο καθώς το Πρότυπο:Mvar πηγαίνει στο άπειρο, δηλαδή Πρότυπο:Pi/2. Ομοίως, το ολοκλήρωμα από το 1/3 στο 1 επιτρέπει επίσης ένα άθροισμα  Ρίμαν, που συμπτωματικά παράγει και πάλι Πρότυπο:Pi/6. Η αντικατάσταση του 1/3 με μια αυθαίρετη θετική τιμή Πρότυπο:Mvar (με Πρότυπο:Math) είναι εξίσου ασφαλής, δίνοντας Πρότυπο:Math. Αυτό, επίσης, έχει ένα πεπερασμένο όριο καθώς το Πρότυπο:Mvar μηδενίζεται, δηλαδή Πρότυπο:Pi/2. Συνδυάζοντας τα όρια των δύο θραυσμάτων, το αποτέλεσμα αυτού του καταχρηστικού ολοκληρώματος είναι

$\begin{array}{cc}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{(1+x)\sqrt{x}}& =\underset{s\to 0^{+}}{\lim }\underset{s}{\overset{1}{\int }}\frac{dx}{(1+x)\sqrt{x}}+\underset{t\to \mathrm{\infty }}{\lim }\underset{1}{\overset{t}{\int }}\frac{dx}{(1+x)\sqrt{x}}\\ & =\underset{s\to 0^{+}}{\lim }(\frac{\pi }{2}-2\arctan \sqrt{s})+\underset{t\to \mathrm{\infty }}{\lim }(2\arctan \sqrt{t}-\frac{\pi }{2})\\ & =\frac{\pi }{2}+(\pi -\frac{\pi }{2})\\ & =\pi .\end{array}$

Αυτή η διαδικασία δεν εγγυάται την επιτυχία- ένα όριο μπορεί να μην υπάρχει ή να είναι άπειρο. Παραδείγματος χάριν, στο περιορισμένο διάστημα από το 0 έως το 1 το ολοκλήρωμα του Πρότυπο:Math δεν συγκλίνει- και στο μη περιορισμένο διάστημα από το 1 έως το Πρότυπο:Math το ολοκλήρωμα του Πρότυπο:Math δεν συγκλίνει.

The improper integral
$\underset{-1}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}=6$
converges, since both left and right limits exist, though the integrand is unbounded near an interior point.

Μπορεί επίσης να συμβεί ένα ολοκλήρωμα να είναι απεριόριστο κοντά σε ένα εσωτερικό σημείο, οπότε το ολοκλήρωμα πρέπει να χωριστεί στο σημείο αυτό. Για να συγκλίνει το ολοκλήρωμα στο σύνολό του, τα οριακά ολοκληρώματα και στις δύο πλευρές πρέπει να υπάρχουν και να είναι οριοθετημένα. Επί παραδείγματι:

$\begin{array}{cc}\underset{-1}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}& =\underset{s\to 0^{-}}{\lim }\underset{-1}{\overset{s}{\int }}\frac{dx}{\sqrt[3]{x^2}}+\underset{t\to 0^{+}}{\lim }\underset{t}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}\\ & =\underset{s\to 0^{-}}{\lim }3(1-\sqrt[3]{s})+\underset{t\to 0^{+}}{\lim }3(1-\sqrt[3]{t})\\ & =3+3\\ & =6.\end{array}$

Αλλά το παρόμοιο ολοκλήρωμα

$\underset{-1}{\overset{1}{\int }}\frac{dx}{x}$

δεν μπορεί να αποδοθεί τιμή με αυτόν τον τρόπο, καθώς τα ολοκληρώματα πάνω και κάτω από το μηδέν στο πεδίο του ολοκληρώματος δεν συγκλίνουν ανεξάρτητα. (Ωστόσο, βλέπε πρωτεύουσα τιμή Κωσύ.)

Σύγκλιση του ολοκληρώματος

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

$\underset{t\to \mathrm{\infty }}{\lim }\underset{a}{\overset{t}{\int }}f(x)dx$

υπάρχει και ισούται με L αν τα ολοκληρώματα κάτω από το όριο υπάρχουν για όλα τα επαρκώς μεγάλα t, και η τιμή του ορίου είναι ίση με L.

Είναι επίσης δυνατό ένα καταχρηστικό ολοκλήρωμα να αποκλίνει στο άπειρο. Στην περίπτωση αυτή, μπορεί κανείς να δώσει στο ολοκλήρωμα την τιμή ∞ (ή -∞). Επί παραδείγματι

$\underset{b\to \mathrm{\infty }}{\lim }\underset{1}{\overset{b}{\int }}\frac{dx}{x}=\mathrm{\infty }.$

Ωστόσο, άλλα καταχρηστικά ολοκληρώματα μπορεί απλώς να αποκλίνουν προς καμία συγκεκριμένη κατεύθυνση, όπως

$\underset{b\to \mathrm{\infty }}{\lim }\underset{1}{\overset{b}{\int }}x\sin (x)dx,$

ο οποίος δεν υπάρχει, ακόμη και ως εκτεταμένος πραγματικός αριθμός. Αυτό ονομάζεται απόκλιση με ταλάντωση.

Ένας περιορισμός της τεχνικής της καταχρηστικής ολοκλήρωσης είναι ότι το όριο πρέπει να λαμβάνεται ως προς ένα τελικό σημείο κάθε φορά. Έτσι, για παράδειγμα, ένα καταχρηστικό ολοκλήρωμα της μορφής

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)dx$

μπορεί να οριστεί με τη λήψη δύο ξεχωριστών ορίων- στα οποία

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)dx=\underset{a\to -\mathrm{\infty }}{\lim }\underset{b\to \mathrm{\infty }}{\lim }\underset{a}{\overset{b}{\int }}f(x)dx$

εφόσον το διπλό όριο είναι πεπερασμένο. Μπορεί επίσης να οριστεί ως ένα ζεύγος διαφορετικών καταχρηστικών ολοκληρωμάτων πρώτου είδους:

$\underset{a\to -\mathrm{\infty }}{\lim }\underset{a}{\overset{c}{\int }}f(x)dx+\underset{b\to \mathrm{\infty }}{\lim }\underset{c}{\overset{b}{\int }}f(x)dx$

όπου c είναι οποιοδήποτε βολικό σημείο στο οποίο μπορεί να αρχίσει η ολοκλήρωση. Αυτός ο ορισμός ισχύει επίσης όταν ένα από αυτά τα ολοκληρώματα είναι άπειρο, ή και τα δύο αν έχουν το ίδιο πρόσημο.

Ένα παράδειγμα καταχρηστικού ολοκληρώματος όπου και τα δύο τελικά σημεία είναι άπειρα είναι το γκαουσιανό ολοκλήρωμα Πρότυπο:Nowrap Ένα παράδειγμα που αποτιμάται στο άπειρο είναι Πρότυπο:Nowrap Αλλά ούτε και άλλα ολοκληρώματα αυτού του είδους μπορεί κανείς να ορίσει με σαφήνεια, όπως το Πρότυπο:Nowrap δεδομένου ότι το διπλό όριο είναι άπειρο και η μέθοδος των δύο ολοκληρωμάτων

$\underset{a\to -\mathrm{\infty }}{\lim }\underset{a}{\overset{c}{\int }}xdx+\underset{b\to \mathrm{\infty }}{\lim }\underset{c}{\overset{b}{\int }}xdx$

δίνει μια απροσδιόριστη μορφή, Πρότυπο:Nowrap Σε αυτή την περίπτωση, μπορεί κανείς ωστόσο να ορίσει ένα καταχρηστικό ολοκλήρωμα με την έννοια της πρωτεύουσας τιμής του Κωσύ:

$\mathrm{p.v.}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}xdx=\underset{b\to \mathrm{\infty }}{\lim }\underset{-b}{\overset{b}{\int }}xdx=0.$

Τα ερωτήματα που πρέπει να απαντηθούν για τον προσδιορισμό ενός καταχρηστικού ολοκληρώματος είναι τα εξής:

• Υπάρχει το όριο;
• Μπορεί να υπολογιστεί το όριο;

Το πρώτο ερώτημα είναι θέμα μαθηματικής ανάλυσης. Το δεύτερο μπορεί να αντιμετωπιστεί με τεχνικές υπολογισμού, αλλά και σε ορισμένες περιπτώσεις με ολοκλήρωση περιγράμματος, μετασχηματισμούς Φουριέ και άλλες πιο προηγμένες μεθόδους.

Τύποι ολοκληρωμάτων

Υπάρχουν περισσότερες από μία θεωρίες ολοκλήρωσης. Από την άποψη του λογισμού, η θεωρία ολοκλήρωσης του Ρίμαν θεωρείται συνήθως ως η προεπιλεγμένη θεωρία. Κατά τη χρήση καταχρηστικών ολοκληρωμάτων, μπορεί να έχει σημασία ποια θεωρία ολοκλήρωσης παίζει ρόλο.

• Για το ολοκλήρωμα Ρίμαν (ή το ολοκλήρωμα Ντάρμπου, το οποίο είναι ισοδύναμο με αυτό), το καταχρηστικό ολοκλήρωμα είναι απαραίτητο τόσο για απεριόριστα διαστήματα (αφού δεν μπορεί κανείς να διαιρέσει το διάστημα σε πεπερασμένου μήκους υποδιαστήματα) όσο και για απεριόριστες συναρτήσεις με πεπερασμένο ολοκλήρωμα (αφού, αν υποθέσουμε ότι είναι απεριόριστο παραπάνω, τότε το άνω ολοκλήρωμα θα είναι άπειρο, αλλά το κάτω ολοκλήρωμα θα είναι πεπερασμένο).
• Το ολοκλήρωμα Λεμπέσγκ αντιμετωπίζει διαφορετικά τα απεριόριστα πεδία και τις απεριόριστες συναρτήσεις, έτσι ώστε συχνά ένα ολοκλήρωμα που υπάρχει μόνο ως καταχρηστικό ολοκλήρωμα Ρίμαν θα υπάρχει και ως (κατάλληλο) ολοκλήρωμα Λεμπέσγκ, όπως ${\int }_1^{\mathrm{\infty }}\frac{dx}{x^2}$.. Από την άλλη πλευρά, υπάρχουν επίσης ολοκληρώματα που έχουν ένα καταχρηστικό ολοκλήρωμα Ρίμαν αλλά δεν έχουν ένα (κατάλληλο) ολοκλήρωμα Λεμπέσγκ, όπως ${\int }_0^{\mathrm{\infty }}\frac{\sin x}{x}dx$. Η θεωρία Λεμπέσγκ δεν το βλέπει αυτό ως ανεπάρκεια: από την άποψη της θεωρίας μέτρων, ${\int }_0^{\mathrm{\infty }}\frac{\sin x}{x}dx=\mathrm{\infty }-\mathrm{\infty }$ και δεν μπορεί να οριστεί ικανοποιητικά. Σε ορισμένες περιπτώσεις, ωστόσο, μπορεί να είναι βολικό να χρησιμοποιηθούν καταχρηστικά ολοκληρώματα Λεμπέσγκ, όπως συμβαίνει, για παράδειγμα, κατά τον ορισμό της πρωτεύουσας τιμής Κωσύ. Το ολοκλήρωμα Λεμπέσγκ είναι λίγο πολύ απαραίτητο στη θεωρητική επεξεργασία του μετασχηματισμού Φουριέ, με διαδεδομένη χρήση ολοκληρωμάτων σε ολόκληρη την πραγματική γραμμή.
• Για το ολοκλήρωμα Χένστοκ - Κούρτζηλ, το καταχρηστικό ολοκλήρωμα «δεν είναι απαραίτητο», και αυτό θεωρείται ένα δυνατό σημείο της θεωρίας: περιλαμβάνει όλες τις ολοκληρώσιμες συναρτήσεις Λεμπέσγκ και τις καταχρηστικά ολοκληρώσιμες συναρτήσεις Ρίμαν.

Καταχρηστικά ολοκληρώματα Ρίμαν και ολοκληρώματα Λεμπέσγκ

Figure 1

Figure 2

Σε ορισμένες περιπτώσεις, το ολοκλήρωμα

$\underset{a}{\overset{c}{\int }}f(x)dx$

μπορεί να οριστεί ως ένα ολοκλήρωμα (ένα ολοκλήρωμα Λεμπέσγκ, για πα

ράδειγμα) χωρίς αναφορά στο όριο

$\underset{b\to c^{-}}{\lim }\underset{a}{\overset{b}{\int }}f(x)dx$

αλλά δεν μπορεί να υπολογιστεί με άλλο τρόπο. Αυτό συμβαίνει συχνά όταν η συνάρτηση f που ολοκληρώνεται από το a στο c έχει κάθετη ασύμπτωτη στο c ή όταν c = ∞ (βλέπε σχήματα 1 και 2). Σε τέτοιες περιπτώσεις, το καταχρηστικό ολοκλήρωμα Ρίμαν επιτρέπει τον υπολογισμό του ολοκληρώματος Lebesgue της συνάρτησης. Συγκεκριμένα, ισχύει το ακόλουθο θεώρημα (Apostol 1974, Θεώρημα 10.33):

• Εάν μια συνάρτηση f είναι ολοκληρώσιμη κατά Ρίμαν στο [a,b] για κάθε b ≥ a και τα μερικά ολοκληρώματα

$\underset{a}{\overset{b}{\int }}|f(x)|dx$

are bounded as b → ∞, τότε τα καταχρηστικά ολοκληρώματα Ρίμαν

$\underset{a}{\overset{\mathrm{\infty }}{\int }}f(x)dx,\text{and }\underset{a}{\overset{\mathrm{\infty }}{\int }}|f(x)|dx$

υπάρχουν και τα δύο. Επιπλέον, η f είναι ολοκληρώμα Λεμπέσγκ στο [a, ∞), και το ολοκλήρωμά της κατά Λεμπέσγκ

είναι ίσο με το καταχρηστικό ολοκλήρωμά της κατά Ρίμαν.

Παραδείγματος χάριν, το ολοκλήρωμα

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^2}$

μπορεί να ερμηνευθεί εναλλακτικά ως καταχρηστικό ολοκλήρωμα

$\underset{b\to \mathrm{\infty }}{\lim }\underset{0}{\overset{b}{\int }}\frac{dx}{1+x^2}=\underset{b\to \mathrm{\infty }}{\lim }\arctan b=\frac{\pi }{2},$

ή μπορεί να ερμηνευθεί ως ολοκλήρωμα Λεμπέσγκ στο σύνολο (0, ∞). Δεδομένου ότι και τα δύο αυτά είδη ολοκληρωμάτων συμφωνούν, είναι ελεύθερος κανείς να επιλέξει την πρώτη μέθοδο για τον υπολογισμό της τιμής του ολοκληρώματος, ακόμη και αν τελικά επιθυμεί να το θεωρήσει ως ολοκλήρωμα Λεμπέσγκ. Έτσι, τα καταχρηστικά ολοκληρώματα είναι σαφώς χρήσιμα εργαλεία για την απόκτηση των πραγματικών τιμών των ολοκληρωμάτων.

Σε άλλες περιπτώσεις, ωστόσο, ένα ολοκλήρωμα Λεμπέσγκ μεταξύ πεπερασμένων τελικών σημείων μπορεί να μην ορίζεται καν, επειδή τα ολοκληρώματα του θετικού και του αρνητικού μέρους της f είναι και τα δύο άπειρα, αλλά το καταχρηστικό ολοκλήρωμα Ρίμαν μπορεί να εξακολουθεί να υπάρχει. Τέτοιες περιπτώσεις είναι τα «κατάλληλα καταχρηστικά» ολοκληρώματα, δηλαδή οι τιμές τους δεν μπορούν να οριστούν παρά μόνο ως τέτοια όρια. Επί παραδείγματι,

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}dx$

δεν μπορεί να ερμηνευθεί ως ολοκλήρωμα Λεμπέσγκ, δεδομένου ότι

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\left|\frac{\sin (x)}{x}\right|dx=\mathrm{\infty }.$

Αλλά $f(x)=\frac{\sin (x)}{x}$ είναι ωστόσο ολοκληρώσιμη μεταξύ δύο οποιωνδήποτε πεπερασμένων τελικών σημείων και το ολοκλήρωμά της μεταξύ 0 και ∞ συνήθως νοείται ως το όριο του ολοκληρώματος:

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}dx=\underset{b\to \mathrm{\infty }}{\lim }\underset{0}{\overset{b}{\int }}\frac{\sin (x)}{x}dx=\frac{\pi }{2}.$

Ιδιομορφίες

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

Πρωτεύουσα τιμή του Κωσύ (Cauchy) Κύριο άρθρο: Πρωτεύουσα τιμή του Κωσύ (Cauchy)

Ας θεωρήσουμε τη διαφορά στις τιμές δύο ορίων:

$\underset{a\to 0^{+}}{\lim }(\underset{-1}{\overset{-a}{\int }}\frac{dx}{x}+\underset{a}{\overset{1}{\int }}\frac{dx}{x})=0,$

$\underset{a\to 0^{+}}{\lim }(\underset{-1}{\overset{-a}{\int }}\frac{dx}{x}+\underset{2a}{\overset{1}{\int }}\frac{dx}{x})=-\ln 2.$

Η πρώτη είναι η πρωτεύουσα τιμή Κωσύ της κατά τα άλλα ασαφώς καθορισμένης έκφρασης

$\underset{-1}{\overset{1}{\int }}\frac{dx}{x}(\text{which}\text{gives}-\mathrm{\infty }+\mathrm{\infty }).$

Παρομοίως, έχουμε

$\underset{a\to \mathrm{\infty }}{\lim }\underset{-a}{\overset{a}{\int }}\frac{2xdx}{x^2+1}=0,$

αλλά

$\underset{a\to \mathrm{\infty }}{\lim }\underset{-2a}{\overset{a}{\int }}\frac{2xdx}{x^2+1}=-\ln 4.$

Η πρώτη είναι η πρωτεύουσα τιμή της κατά τα άλλα ασαφώς καθορισμένης έκφρασης

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{2xdx}{x^2+1}(\text{which}\text{gives}-\mathrm{\infty }+\mathrm{\infty }).$

Όλα τα παραπάνω όρια είναι περιπτώσεις της απροσδιόριστης μορφής $\mathrm{\infty }-\mathrm{\infty }$.

Αυτές οι παθογένειες δεν επηρεάζουν την «Ολοκλήρωση κατά Λεμπέσγκ », δηλαδή τις συναρτήσεις των οποίων τα ολοκληρώματα των απόλυτων τιμών είναι πεπερασμένα.

Αθροιστικότητα

Ένα καταχρηστικό ολοκλήρωμα μπορεί να αποκλίνει με την έννοια ότι το όριο που το ορίζει μπορεί να μην υπάρχει. Σε αυτή την περίπτωση, υπάρχουν πιο περίπλοκοι ορισμοί του ορίου που μπορούν να παράγουν μια συγκλίνουσα τιμή για το καταχρηστικό ολοκλήρωμα. Αυτές ονομάζονται μέθοδοι αθροιστικότητας.

Μια μέθοδος αθροιστικότητας, δημοφιλής στην ανάλυση Φουριέ, είναι αυτή της άθροισης Σεζάρο. Το ολοκλήρωμα

$\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x)dx$

είναι αθροιζόμενο κατά Σεζάρο (C, α) αν

$\underset{\lambda \to \mathrm{\infty }}{\lim }\underset{0}{\overset{\lambda }{\int }}{(1-\frac{x}{\lambda })}^{\alpha }f(x)dx$

υπάρχει και είναι πεπερασμένη Πρότυπο:Harv. Η τιμή αυτού του ορίου, αν υπάρχει, είναι το (C, α) άθροισμα του ολοκληρώματος.

Ένα ολοκλήρωμα είναι (C, 0) αθροιζόμενο ακριβώς όταν υπάρχει ως καταχρηστικό ολοκλήρωμα. Ωστόσο, υπάρχουν ολοκληρώματα τα οποία είναι (C, α) αθροιζόμενα για α > 0 τα οποία δεν συγκλίνουν ως καταχρηστικά ολοκληρώματα (με την έννοια του Ρίμαν ή του Λεμπέσγκ). Ένα παράδειγμα είναι το ολοκλήρωμα

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\sin xdx$

το οποίο αποτυγχάνει να υπάρξει ως καταχρηστικό ολοκλήρωμα, αλλά είναι (C,α') αθροιστικό για κάθε α > 0. Πρόκειται για μια ολοκληρωτική εκδοχή της σειράς του Γκράντι.

Πολυμεταβλητά καταχρηστικά ολοκληρώματα

Το καταχρηστικό ολοκλήρωμα μπορεί επίσης να οριστεί για συναρτήσεις πολλών μεταβλητών. Ο ορισμός είναι ελαφρώς διαφορετικός, ανάλογα με το αν απαιτείται ολοκλήρωση σε ένα απεριόριστο πεδίο, όπως ${ℝ}^2$, ή αν ολοκληρώνεται μια συνάρτηση με ιδιομορφίες, όπως $f(x,y)=\log (x^2+y^2)$.

Καταχρηστικό ολοκλήρωμα σε αυθαίρετα πεδία

Αν $f:{ℝ}^n\to ℝ$ είναι μια μη αρνητική συνάρτηση που είναι ολοκληρώσιμη κατά Ρίμαν πάνω σε κάθε συμπαγή κύβο της μορφής $[-a,a{]}^n$, για $a>0$, τότε το καταχρηστικό ολοκλήρωμα της f πάνω στο ${ℝ}^n$ ορίζεται ως το όριο

$\underset{a\to \mathrm{\infty }}{\lim }\underset{[-a,a{]}^n}{\int }f,$

υπό την προϋπόθεση ότι υπάρχει.

Μια συνάρτηση σε ένα αυθαίρετο πεδίο A στο ${ℝ}^n$ επεκτείνεται σε μια συνάρτηση $\tilde{f}$ στο ${ℝ}^n$ με μηδενισμό εκτός του A:

$\tilde{f}(x)=\{\begin{array}{cc}f(x)& x\in A\\ 0& x\in ̸A\end{array}$

Το ολοκλήρωμα Ρίμαν μιας συνάρτησης σε ένα περιορισμένο πεδίο Α ορίζεται τότε ως το ολοκλήρωμα της εκτεταμένης συνάρτησης $\tilde{f}$ over a cube $[-a,a{]}^n$ που περιέχει Α:

$\underset{A}{\int }f=\underset{[-a,a{]}^n}{\int }\tilde{f}.$

Γενικότερα, αν το A είναι απεριόριστο, τότε το καταχρηστικό ολοκλήρωμα Ρίμαν σε ένα αυθαίρετο πεδίο στο ${ℝ}^n$ ορίζεται ως το όριο:

$\underset{A}{\int }f=\underset{a\to \mathrm{\infty }}{\lim }\underset{A\cap [-a,a{]}^n}{\int }f=\underset{a\to \mathrm{\infty }}{\lim }\underset{[-a,a{]}^n}{\int }\tilde{f}.$

Συναρτήσεις με θετικές και αρνητικές τιμές

Αυτοί οι ορισμοί ισχύουν για συναρτήσεις που είναι μη αρνητικές. Μια γενικότερη συνάρτηση f μπορεί να αναλυθεί ως διαφορά του θετικού μέρους της $f_{+}=\max \{f,0\}$ και του αρνητικού μέρους της $f_{-}=\max \{-f,0\}$, οπότε

$f=f_{+}-f_{-}$

με $f_{+}$ και $f_{-}$ και τις δύο μη αρνητικές συναρτήσεις. Η συνάρτηση f έχει ένα καταχρηστικό ολοκλήρωμα Ρίμαν, αν κάθε μία από τις $f_{+}$ και $f_{-}$ έχει ένα, οπότε η τιμή αυτού του καταχρηστικού ολοκληρώματος ορίζεται ως εξής

$\underset{A}{\int }f=\underset{A}{\int }{f}_{+}-\underset{A}{\int }{f}_{-}.$

Για να υπάρχει με αυτή την έννοια, το καταχρηστικό ολοκλήρωμα συγκλίνει κατ' ανάγκη απόλυτα, αφού

$\underset{A}{\int }|f|=\underset{A}{\int }{f}_{+}+\underset{A}{\int }{f}_{-}.$

Εξωτερικοί σύνδεσμοι

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
• Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
• Θεωρία Αριθμών και Εφαρμογές
• Υπολογιστική Θεωρία Αριθμών
• Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
• Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
• Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή

Δείτε επίσης

• Απαγορευτική αρχή του Πάουλι
• Συγκλίνουσα σειρά
• Κανονική κατανομή
• Αλγεβρική θεωρία αριθμών
• Διαφορική γεωμετρία
• Άρθουρ Στάνλεϋ Έντινγκτον
• Θεωρία αναπαραστάσεων
• Σουμπραμανιάν Τσαντρασεκάρ
• Ευκλείδειος χώρος
• Ανρί Λεόν Λεμπέσγκ
• Σουμπραμανιάν Τσαντρασεκάρ
• Εφαρμοσμένα μαθηματικά
• Προβολικός χώρος
• Ωγκυστέν-Λουί Κωσύ
• Θεμελιώδες θεώρημα αριθμητικής
• Αλγεβρική γεωμετρία
• Μιγαδικός αριθμός
• Τυχαία μεταβλητή
• Ακέραιος αριθμός

Βιβλιογραφία

• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book

Παραπομπές

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.

• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation
• Πρότυπο:Citation.
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Cite journal
• Πρότυπο:Cite book Ch. 1–6 of 2013 edition

Πηγές

• 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