Ιστορικά

Επεξεργασία

Στα αρχαία χρόνια

Επεξεργασία
 
Ισαάκ Νεύτων ανέπτυξε τη χρήση του λογισμού στους νόμους της κίνησης και της βαρύτητας.

Η αρχαία περίοδο εισήγαγε κάποιες από τις ιδέες που οδήγησαν στον ολοκληρωτικό λογισμό, αλλά δεν φαίνεται να είχαν αναπτύξει αυτές τις ιδέες σε ένα αυστηρό και συστηματικό τρόπο. Υπολογισμοί όγκων και περιοχών, ένας σκοπός του ολοκληρωτικού λογισμού, μπορεί να βρεθεί στο μαθηματικό πάπυρο της Μόσχας (περ. 1820 π.Χ.), αλλά οι τύποι είναι απλές οδηγίες, με καμία ένδειξη ως προς τη μέθοδο, και μερικά από αυτά δεν διαθέτουν σωστές συνιστώσες. [1] Από την εποχή των αρχαίων ελλήνων μαθηματικών, ο Εύδοξος (περ. 408 - 355 π.Χ.), χρησιμοποίησε τη μέθοδο της εξαντλήσεως, η οποία προδιαγράφει την έννοια του ορίου, για τον υπολογισμό επιφανειών και όγκων, ενώ ο Αρχιμήδης (περ. 287-212 π.Χ.) αναπτύξει περαιτέρω την ιδέα, εφευρίσκοντας διαισθητικά μεθόδους που μοιάζουν με τις μεθόδους του ολοκληρωτικού λογισμού. [2] Η μέθοδος της εξάντλησης αργότερα ανακαλύφθηκε εκ νέου στην Κίνα από Liu Hui τον 3ο μ.Χ. αιώνα, προκειμένου να βρει το εμβαδόν ενός κύκλου. [3] Κατά τον 5ο αιώνα μ.Χ. ο Zu Chongzhi δημιούργησε μια μέθοδο που αργότερα ονομάζεται αρχή του Cavalieri να βρείτε τον όγκο μιας σφαίρας. [4]

Μεσαίωνας

Επεξεργασία

Τον 14ο αιώνα, ο ινδός μαθηματικός Madhava Sangamagrama και το σχολείο Kerala της αστρονομίας και των μαθηματικών όρισε συστατικά του λογισμού, όπως η σειρά Taylor και άπειρες προσεγγίσεις σειράς. [5]

Σύγχρονη εποχή

Επεξεργασία

Στην Ευρώπη, το θεμελιώδες έργο ήταν μια πραγματεία που οφείλετε στον Bonaventura Cavalieri , ο οποίος υποστήριξε ότι οι όγκοι και οι περιοχές θα πρέπει να υπολογίζεται ως το άθροισμα των όγκων και των περιοχών της απειροελάχιστα λεπτές διατομές. Οι ιδέες του ήταν παρόμοιες με του Αρχιμήδη στη μέθοδο, αλλά αυτή η πραγματεία χάθηκε μέχρι τις αρχές του εικοστού αιώνα.Το έργο του Cavalieri δεν ήταν σεβαστό δεδομένου ότι οι μέθοδοι του είχαν οδηγήσει σε λανθασμένα αποτελέσματα, και οι απειροελάχιστες ποσότητες που εισήγαγε ήταν κακόφημες απο την πρώτη του.

Ο Πιέρ ντε Φερμά υποστηρίζοντας ότι δανείστηκε από τον Διόφαντο, εισήγαγε την έννοια της επάρκειας (Adequality), η οποία αντιπροσώπευε την ισότητα μέχρι έναν απειροελάχιστο λανθασμένο όρο. [6] Ο συνδυασμός επιτεύχθηκε από τον John Wallis, Isaac Barrow, James Gregory, τα δύο τελευταία αποδείκνυε το δεύτερο θεμελιώδες θεώρημα του λογισμού γύρω από 1670.

Ο κανόνας του προϊόντος και τον κανόνα της αλυσίδας, η έννοια των υψηλότερων παραγώγων, σειρές Taylor και αναλυτικές λειτουργίες εισήχθησαν από τον Ισαάκ Νεύτων σε μια ιδιότυπη σημειογραφία που θα χρησιμοποιούνται για την επίλυση προβλημάτων της μαθηματικής φυσικής. [7] Στα έργα του ο Ισαάκ Νεύτων αναδιατυπώνε τις ιδέες του για να ταιριάζουν με το μαθηματικό ιδίωμα της εποχής του, αντικατέστησε τους υπολογισμούς των απειροελάχιστων από ισοδύναμα γεωμετρικά επιχειρήματα, τα οποία θεωρήθηκαν υπεράνω κριτικής. Συνήθιζε τις μεθόδους του λογισμού για την επίλυση του προβλήματος της πλανητικής κίνησης, το σχήμα της επιφάνειας ενός περιστρεφόμενου ρευστού, το πεπλατυσμένο σχήμα της γης, η κίνηση του βάρους συρόμενη σε ένα κυκλοειδές και πολλά άλλα προβλήματα που συζητήθηκαν στο Principia Mathematica του (1687). Σε άλλη εργασία ανέπτυξε σειρά επεκτάσεων για τις συναρτήσεις, συμπεριλαμβανομένων των κλασματικών και των άρρητων δυνάμεων και ήταν σαφές ότι κατάλαβε τις αρχές της σειράς Taylor. Δεν δημοσιεύονται όλες οι ανακαλύψεις του.

 
Γκότφριντ Βίλχελμ Λάιμπνιτς Ήταν ο πρώτος που δημοσίευσε τα αποτελέσματά του για την ανάπτυξη του λογισμού.

Αυτές οι ιδέες ήταν τοποθετημένες στον πραγματικό απειροστικό λογισμό από τον Γκότφριντ Βίλχελμ Λάιμπνιτς, ο οποίος αρχικά είχε κατηγορηθεί για λογοκλοπή από τον Νεύτων. [8] Πλέον θεωρείτε ως ένας ανεξάρτητος εφευρέτης που έχει συμβάλλει στο λογισμό. Η συμβολή του ήταν να παρέχει ένα σαφές σύνολο κανόνων για την εργασία του με απειροελάχιστες ποσότητες, επιτρέποντας τον υπολογισμό της δεύτερης παραγώγου και υψηλότερες, και απέδειξε τον κανόνα της αλυσίδας. Σε αντίθεση με τον Νεύτων ο Λάιμπνιτς έδωσε πολλή προσοχή στο τρόπο που θα γράψει τους τύπος, συχνά περνούσε μέρες για τον καθορισμό των κατάλληλων συμβόλων για τις έννοιες.

Ο Λάιμπνιτς και ο Νεύτων συνήθως και οι δυο πιστώνονται με την εφεύρεση του λογισμού. Ο Νεύτων ήταν ο πρώτη που έγραψε για την εφαρμογή του λογισμού στη γενική φυσική και ο Λάιμπνιτς ανέπτυξε ένα μεγάλο μέρος του συμβολισμού που χρησιμοποιείται στο λογισμό μέχρι και σήμερα. Οι βασικές ιδέες που εισήγαγαν τόσο Νεύτων όσο και ο Λάιμπνιτς ήταν οι νόμοι της παραγώγησης και της ολοκλήρωσης, τη δεύτερη παράγωγο και μεγαλύτερη, και την προσέγγιση πολυωνυμικών σειρών. Από την εποχή του Νεύτωνα, το θεμελιώδες θεώρημα του λογισμού ήταν γνωστό.

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

Από την εποχή του Νεύτων και του Λάιμπνιτς πολλοί μαθηματικοί έχουν συμβάλει στη συνεχή ανάπτυξη του λογισμού. Μια από τις πρώτες και πιο ολοκληρωμένες δουλειές σχετικά με την πεπερασμένη και την απειρωστή ανάλυση γράφτηκε το 1748 από τη Maria Gaetana Agnesi. [9]

Στις αρχές του λογισμού η χρήση των απειροελάχιστων ποσοτήτων δε ήταν αυστηρή και επικρίθηκε έντονα από ορισμένους συγγραφείς κυρίως από τους Μισέλ Ρολ (Michel Rolle) και Bishop Berkeley. Ο Berkeley γράφει για τον απειροστικό λογισμό στο βιβλίο του The Analyst το 1734. Μια πρόσφατη μελέτη υποστηρίζει ότι ο λογισμός του Λάιμπνιτς ήταν πιο καλά θεμελειωμένος από του Berkeley. [10] Τα θεμέλια που είχαν βάλει ο Νεύτων και ο Λάιμπνιτς για τον λογισμό επειδή ήταν αυστηρά διατυπομένα βοήθησαν τους μαθηματικούς για ένα μεγάλο μέρος του επόμενου αιώνα και εξακολουθούν να είναι σε κάποιο βαθμό ένας ενεργός τομέας της έρευνας σήμερα.

Αρκετοί μαθηματικοί, συμπεριλαμβανομένου του Colin Maclaurin, προσπάθησαν να αποδείξουν την ορθότητα της χρήσης απειροελάχιστων, αλλά δεν μπόρεσαν να το αποδείξουν μέχρι 150 χρόνια αργότερα όταν χάρη στο έργο των Cauchy και Weierstrass ένας τρόπος βρέθηκε τελικά για να αποφευχθεί η απλή "έννοια" των απείρων μικρών ποσοτήτων. Τα θεμέλια του διαφορικού και ολοκληρωτικού λογισμού είχαν τεθεί. Στα έγγραφα του Cauchy θα βρείτε ένα ευρύ φάσμα της θεμελιακής προσεγγίσεις, συμπεριλαμβανομένου του ορισμού της συνέχειας όσον αφορά τα απειροελάχιστα, και ένα (κάπως ασαφές) πρωτότυπο ενός (ε, δ)-ορισμό του ορίου στον ορισμό της διαφοροποίησης. Στο έργο του ο Weierstrass ξαναδιατύπωσε την έννοια του ορίου. Μετά το έργο του Weierstrass έγινε κοινό στο βασικό λογισμό σχετικά με τα όρια αντί για απειροελάχιστες ποσότητες. Μπέρναρντ Ρίμαν (Bernhard Riemann) χρησιμοποίησε αυτές οι ιδέες να δώσει έναν ακριβή ορισμό του ολοκληρώματος. Επίσης κατά τη διάρκεια αυτής της περιόδου ότι οι ιδέες του λογισμού γενικεύονταν στον Ευκλείδειο χώρο και στο μιγαδικό επίπεδο.

Στα σύγχρονα μαθηματικά, τα θεμέλια του λογισμού που περιλαμβάνονται στο πεδίο της πραγματικής ανάλυσης το οποίο περιέχει πλήρεις ορισμούς και τις αποδείξεις από τα θεωρήματα του λογισμού. Η εμβέλεια του λογισμού έχει επίσης επεκταθεί σε μεγάλο βαθμό. Ο Henri Lebesgue εφηύρε τη θεωρία μέτρου που χρησιμοποιείται για να ορίσει ολοκληρώματα όλες όμως τις πιο παθολογικές λειτουργίες. Ο Laurent Schwartz εισήγαγε τις Κατανομές, οι οποίες μπορούν να χρησιμοποιηθούν για να πάρει την παράγωγο οποιασδήποτε συνάρτησης απολύτως.

Ενώ μερικές από τις ιδέες του λογισμού είχαν αναπτυχθεί νωρίτερα στην Αίγυπτο, την Ελλάδα, την Κίνα, την Ινδία, το Ιράκ, την Περσία, και την Ιαπωνία, η σύγχρονη χρήση του λογισμού ξεκίνησε στην Ευρώπη, κατά τη διάρκεια του 17ου αιώνα, όταν ο Ισαάκ Νεύτων και ο Γκότφριντ Βίλχελμ Λάιμπνιτς χτίσαν το έργο των προηγούμενων μαθηματικών και εισαγάγαν τις βασικές αρχές του λογισμού.

Εφαρμογές του διαφορικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν την ταχύτητα και την επιτάχυνση, την κλίση της καμπύλης, και βελτιστοποίηση. Εφαρμογές του ολοκληρωτικού λογισμού περιλαμβάνουν υπολογισμούς που αφορούν έκταση, τον όγκο, το μήκος του τόξου, το κέντρο της μάζας και την πίεση. Πιο προηγμένες εφαρμογές περιλαμβάνουν δυναμοσειρές και σειρές Fourier. Ο λογισμός χρησιμοποιείται επίσης για να αποκτήσουμε μια ακριβέστερη κατανόηση της φύσης του χώρου, του χρόνου, και της κίνηση.

Κύριο λήμμα: Όριο συνάρτησης

Λογισμός συνήθως αναπτύσσενται δουλεύοντας με πολύ μικρές ποσότητες. Πρόκειται για αντικείμενα που μπορούν να αντιμετωπίζονται σαν αριθμούς αλλά τα οποία είναι κατά κάποιο τρόπο "απειροελάχιστα". Ένας απειροελάχιστος dx αριθμός θα μπορούσε να είναι μεγαλύτερος από 0 αλλά μικρότερος από οποιοδήποτε αριθμό της ακολουθίας 1, 1/2, 1/3, ... και μικρότερος από κάθε θετικό πραγματικό αριθμό. Κάθε ακέραιο πολλαπλάσιο ενός απειροελάχιστου εξακολουθεί να είναι απείρως μικρός. Από αυτή την άποψη ο λογισμός είναι μια συλλογή από τεχνικές για το χειρισμό των απειροελάχιστων. Η προσέγγιση αυτή έπεσε σε δυσμένεια τον 19ο αιώνα, επειδή ήταν δύσκολο να γίνει η έννοια της απειροελάχιστη ακριβείς. Ωστόσο, η ιδέα αναβίωσε κατά τον 20ο αιώνα, με την εισαγωγή της μη τυποποιημένης ανάλυσης και την ομαλή απειροελάχιστη ανάλυση, η οποία παρέχει γερά θεμέλια για τη χειραγώγηση των απειροελάχιστων.

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

Διαφορικός λογισμός

Επεξεργασία
 
Η εφαπτομένη στο σημείο (x, f(x)). Η παράγωγος f′(x) μιας καμπύλης σε ένα σημείο είναι η κλίση (αύξηση πάνω κίνηση) της εφαπτομένης στην εν λόγω καμπύλη σε εκείνο το σημείο.

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

Το πιο κοινό σύμβολο για μια παράγωγο είναι μια απόστροφος που ονομάζετε πρώτη παράγωγος. Έτσι η παράγωγος της συνάρτησης f είναι «f' και προφέρεται" πρώτη παράγωγος της f." Για παράδειγμα, εάν f(x) = x2 είναι το x στο τερτάγωνο, τότε f′(x) = 2x είναι η παράγωγός της.

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

Αν μια συνάρτηση είναι γραμμική (δηλαδή, εάν η γραφική παράσταση της συνάρτησης είναι μια ευθεία γραμμή), τότε η συνάρτηση μπορεί να γραφτεί ως y = mx + b, όπου x είναι η ανεξάρτητη μεταβλητή, y είναι η εξαρτημένη μεταβλητή και b είναι το σημείο τομής της y:

 

Αυτό δίνει μια ακριβή τιμή για την κλίση μιας ευθείας γραμμής. Αν η γραφική παράσταση της συνάρτησης δεν είναι μια ευθεία γραμμή, τότε η αλλαγή στο y διαιρούμενη με τη μεταβολή χ ποικίλλει. Συγκεκριμένα, έστω f είναι μια συνάρτηση, ορίζουμε ένα σημείο a στο πεδίο ορισμού της, f. (a, f(a)) είναι ένα σημείο πάνω στη γραφική παράσταση της συνάρτησης. Αν h είναι ένας αριθμός κοντά στο μηδέν, τότε a + h είναι ένας αριθμός κοντά στο a. Επομένως (a + h, f(a + h)) τείνει στο (a, f(a)). Η κλίση μεταξύ αυτών των δύο σημείων είναι

 

Η έκφραση αυτή ονομάζεται πηλίκο διαφοράς. Μια γραμμή μέσω δύο σημείων σε μια καμπύλη ονομάζεται τέμνουσα γραμμή, έτσι m είναι η κλίση της τέμνουσας γραμμής μεταξύ των (a, f(a)) και (a + h, f(a + h)). Η τέμνουσα γραμμή είναι μόνο μια προσέγγιση στη συμπεριφορά της συνάρτησης στο σημείο a διότι δεν λαμβάνει υπόψη για ό, τι συμβαίνει μεταξύ a και a + h. Δεν είναι δυνατόν να ανακαλύψει την συμπεριφορά στο a θέτοντας το h μηδέν επειδή αυτό θα απαιτούσε τη διαίρεση με το μηδέν, η οποία είναι αδύνατη. Η παράγωγο ορίζεται από τη λήψη του όριου καθώς το h τείνει στο μηδέν, πράγμα που σημαίνει ότι θεωρεί την συμπεριφορά της fγια όλες τις μικρές τιμές του h και εξάγει μια τιμή για την περίπτωση κατά την οποία το h ισούται με μηδέν:

 

Γεωμετρικά, η παράγωγος είναι η κλίση της εφαπτομένης στο γράφημα της f στο a. Η παράγωγος είναι ένα όριο των λόγων διαφορά. Για το λόγο αυτό, η παράγωγος ονομάζεται μερικές φορές η κλίση της συνάρτησης f. Εδώ είναι ένα συγκεκριμένο παράδειγμα, η παράγωγος της x στο τετράγωνο συνάρτησης της εκχωρούμε το 3. Έστω f(x) = x2 η συνάρτηση

 
Η παράγωγος της f′(x) στο a είναι η κλίση της εφαπτομένης στην εν λόγω καμπύλη σε εκείνο το σημείο. Η κλίση αυτή καθορίζεται λαμβάνοντας υπόψη την οριακή τιμή των πλάγιων τεμνούμενων ευθειών. Εδώ η συνάρτηση (με το κόκκινο χρώμα) είναι η f(x) = x3x.Η εφαπτομένη (με πράσινο χρώμα) η οποία περνάει από το σημείο (−3/2, −15/8) έχει κλίση 23/4. Σημειώστε ότι οι κατακόρυφες και οριζόντιες ευθείες σε αυτή την εικόνα είναι διαφορετικές.
 

Η σημειογραφία του Λάιμπνιτς

Επεξεργασία

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

 

Σε μια προσέγγιση που βασίζεται στα όρια, το σύμβολο dy/dx πρέπει να ερμηνευθεί όχι ως το πηλίκο των δύο αριθμών αλλά ως συντομογραφία για το όριο που υπολογίστηκε πάνω. Ο Λάιμπνιτς όμως είχε την πρόθεση να εκπροσωπεί το πηλίκο των δύο απειροελάχιστα μικρών αριθμών dy είναι η απειροελάχιστη αλλαγή του y που προκαλείται από μια απειροελάχιστη αλλαγή dx εφαρμοσμένη στο x. Μπορούμε επίσης να σκεφτούμε το d/dx διαφορετική πράξη που παίρνει μια συνάρτηση ως εισροή και δίνει μια άλλη συνάρτηση, την παράγωγο ως έξοδο. Για παράδειγμα:

 

Σε αυτή τη χρήση το dx σε ένα ο παρονομαστής "διαβάζεται σε σχέση με το x".

Ολοκληρωτικός Λογισμός

Επεξεργασία
Κύριο λήμμα: Ολοκλήρωμα

Ο ολοκληρωτικός λογισμός είναι η μελέτη των ορισμών, των ιδιοτήτων και των εφαρμογών των δύο συναφείς εννοιών, το αόριστο ολοκλήρωμα και το ορισμένο ολοκλήρωμα. Η διαδικασία για την εξεύρεση της τιμής από ένα ολοκλήρωμα ονομάζετε ολοκλήρωση. Το αόριστο ολοκλήρωμα είναι η αντιπαράγωγος, η αντίστροφη λειτουργία της παραγώγου. F είναι ένα αόριστο ολοκλήρωμα της f όταν f είναι μια παράγωγος της F. (Αυτή η χρήση των μικρών και κεφαλαίων γραμμάτων για μια συνάρτηση και το αόριστο ολοκλήρωμα της είναι συχνή στο λογισμό.)

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

Ένα ενδεικτικό παράδειγμα είναι η διανυθείσα απόσταση σε μια δεδομένη χρονική στιγμή.

 

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

 
Η ολοκλήρωση μπορεί να θεωρηθεί ως μέτρηση της περιοχής κάτω από μια καμπύλη, ορίζεται από f(x), μεταξύ δυο σημείων (εδώ του a και του b).

Αν η f(x) το διάγραμμα στα αριστερά αντιπροσωπεύει την ταχύτητα καθώς μεταβάλλεται συναρτήσει του χρόνου, η διανυθείσα απόσταση (μεταξύ των χρόνων αντιπροσωπεύεται από a και b) είναι η σκιασμένη περιοχή s.

Μια διαισθητική μέθοδος θα ήταν να χωρίσουμε την απόσταση μεταξύ των a και b σε μια σειρά από ίσα τμήματα, το μήκος του κάθε τμήματος που αντιπροσωπεύεται από το σύμβολο Δx. Για κάθε μικρό τμήμα, μπορούμε να επιλέξουμε μία τιμή της συνάρτησης f(x). Την τιμή αυτή την καλούμε h. Στη συνέχεια, η περιοχή του ορθογωνίου με βάση Δx και ύψος h δίνει την απόσταση ((ο χρόνος Δx πολλαπλασιάζεται με την ταχύτητα h) που διάνυσε σε αυτό το τμήμα. Η σύνδεση με κάθε τμήμα είναι η μέση τιμή της συνάρτησης πάνω από αυτό, f(x)=h. Το άθροισμα όλων αυτών των ορθογωνίων δίνει μια προσέγγιση του χώρου μεταξύ του άξονα και της καμπύλης, η οποία είναι μια προσέγγιση της συνολικής διανυόμενης απόστασης. Η μικρότερη τιμή για Δx θα δώσει ορθογώνια και στις περισσότερες περιπτώσεις μια καλύτερη προσέγγιση, , αλλά για μια ακριβή απάντηση που πρέπει να λάβει το όριο καθώς το Δx τείνει στο μηδέν.

Το σύμβολο της ολοκλήρωσης είναι   ,ένα επίμηκες S (Το S σημαίνει "άθροισμα" ("sum")).

Το ορισμένο ολοκλήρωμα γράφεται ως:   και διαβάζετε "το ολοκλήρωμα από το a στο b του f του x ντε x(ντε x δηλαδή ως προς x)

Ο συμβολισμός του Λάιμπνιτς dx προορίζεται να προτείνει τη διαίρεση της περιοχής κάτω από την καμπύλη σε ένα άπειρο αριθμό των ορθογωνίων, έτσι ώστε το Δx πλάτος τους γίνεται το απειροελάχιστο dx.

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

Το αόριστο ολοκλήρωμα, ή αντιπαράγωγος, γράφετε:  

Οι συναρτήσεις αυτές διαφέρουν μόνο κατά μία σταθερή και έχουν την ίδια παράγωγο και μπορεί να αποδειχθεί ότι η αντιπαράγωγος μιας δεδομένης συνάρτησης είναι στην πραγματικότητα μια οικογένεια συναρτήσεων που διαφέρει μόνο κατά μία σταθερά. Δεδομένου ότι το παράγωγο της συνάρτησης y = x² + C , εδώ το C είναι μια σταθερά, είναι y′ = 2x η αντιπαράγωγος του τελευταίου δίνεται από:

 

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

Θεμελιώδες Θεώρημα του Λογισμού

Επεξεργασία

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

Το Θεμελιώδες Θεώρημα του Λογισμού αναφέρει: Αν η συνάρτηση f είναι συνεχείς στο διάστημα [a, b ] και αν F είναι μια συνάρτηση της οποίας η παράγωγος είναι η f στο διάστημα [a, b ], τότε

 

Επιπλέον, για κάθε x στο διάστημα (a, b),

 

Η διαπίστωση αυτή γίνεται τόσο από τον Νεύτωνα όσο και από τον Λάιμπνιτς, οι οποίοι βασίστηκαν σε προηγούμενες εργασίες του Isaac Barrow, ήταν το κλειδί για τη μαζική εξάπλωση των αναλυτικών αποτελεσμάτων που μετά τη δουλειά τους έγιναν γνωστά. Το θεμελιώδες θεώρημα παρέχει μια αλγεβρική μέθοδο υπολογισμού ορισμένων ολοκληρωμάτων-χωρίς την εκτέλεση των διαδικασιών ορίων-με την εξεύρεση τύπων για την αντιπαραγώγιση.

Δείτε επίσης

Επεξεργασία

Σχετικά Θέματα

Επεξεργασία

Σημειώσεις

Επεξεργασία
  1. Morris Kline, Mathematical thought from ancient to modern times, Vol. I
  2. Archimedes, Method, in The Works of Archimedes ISBN 978-0-521-66160-7
  3. Dun, Liu; Fan, Dainian; Cohen, Robert Sonné (1966). A comparison of Archimdes' and Liu Hui's studies of circles. Chinese studies in the history and philosophy of science and technology. 130. Springer, σελ. 279. ISBN 0-7923-3463-9. http://books.google.com/books?id=jaQH6_8Ju-MC. , Chapter , p. 279
  4. Zill, Dennis G.· Wright, Scott· Wright, Warren S. (2009). Calculus: Early Transcendentals (3 έκδοση). Jones & Bartlett Learning. σελ. xxvii. ISBN 0-7637-5995-3. , Extract of page 27
  5. http://www-history.mcs.st-andrews.ac.uk/HistTopics/Indian_mathematics.html
  6. André Weil: Number theory. An approach through history. From Hammurapi to Legendre. Birkhauser Boston, Inc., Boston, MA, 1984, ISBN 0-8176-4565-9, p. 28.
  7. Donald Allen: Calculus, http://www.math.tamu.edu/~dallen/history/calc1/calc1.html
  8. Leibniz, Gottfried Wilhelm. The Early Mathematical Manuscripts of Leibniz. Cosimo, Inc., 2008. Page 228. Copy
  9. Unlu, Elif (1995). «Maria Gaetana Agnesi». Agnes Scott College.  Unknown parameter |month= ignored (βοήθεια)
  10. Katz, Mikhail; Sherry, David (2012), «Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond», Erkenntnis, doi:10.1007/s10670-012-9370-y .

Άλλες πηγές

Επεξεργασία

Περαιτέρω μελετη

Επεξεργασία

Online βιβλία

Επεξεργασία