Λογισμός

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

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

Μερικά παραδείγματα άλλων γνωστών λογισμών είναι ο διανυσματικός λογισμός (vector calculus), ο λογισμός μεταβολών (calculus of variations) και ο Λογισμός λάμδα.

Ιστορικά

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

Η αρχαία περίοδος εισήγαγε κάποιες από τις ιδέες που οδήγησαν στον ολοκληρωτικό λογισμό, αλλά δεν φαίνεται να είχαν αναπτυχθεί αυτές οι ιδέες με ένα αυστηρό και συστηματικό τρόπο. Υπολογισμοί όγκων και περιοχών, ένας σκοπός του ολοκληρωτικού λογισμού, μπορεί να βρεθεί στο μαθηματικό πάπυρο της Μόσχας (περ. 1820 π.Χ.), αλλά οι τύποι είναι απλές οδηγίες, με καμία ένδειξη ως προς τη μέθοδο, και μερικά από αυτά δεν διαθέτουν σωστές συνιστώσες. 

Από την εποχή των αρχαίων Ελλήνων μαθηματικών, ο Εύδοξος (περ. 408 - 355 π.Χ.), χρησιμοποίησε τη μέθοδο της εξαντλήσεως, η οποία προδιαγράφει την έννοια του ορίου, για τον υπολογισμό επιφανειών και όγκων, ενώ ο Αρχιμήδης (περ. 287-212 π.Χ.) ανέπτυξε περαιτέρω την ιδέα, εφευρίσκοντας διαισθητικά μεθόδους που μοιάζουν με τις μεθόδους του ολοκληρωτικού λογισμού. 

Η μέθοδος της εξάντλησης αργότερα ανακαλύφθηκε εκ νέου στην Κίνα από τον Liu Hui, τον 3ο μ.Χ. αιώνα, προκειμένου να βρεθεί το εμβαδόν ενός κύκλου. 

Κατά τον 5ο αιώνα μ.Χ. ο Zu Chongzhi δημιούργησε μια μέθοδο που αργότερα ονομάστηκε αρχή του Καβαλιέρι για να βρει τον όγκο μιας σφαίρας.

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

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

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

Ο Πιέρ ντε Φερμά υποστηρίζοντας ότι δανείστηκε από τον Διόφαντο, εισήγαγε την έννοια της επάρκειας (Adequality), η οποία αντιπροσώπευε την ισότητα μέχρι έναν απειροελάχιστο λανθασμένο όρο. 

Ο συνδυασμός επιτεύχθηκε από τους Τζον Ουάλις (John Wallis), Ισαάκ Μπάροου (Isaac Barrow) και Τζέιμς Γκρέγκορι (James Gregory), τα δύο τελευταία αποδείκνυαν το δεύτερο θεμελιώδες θεώρημα του λογισμού γύρω από 1670.

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

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

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

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

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

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

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

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

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

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

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

Σημασία

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

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

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

Αρχές

Όρια

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

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

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

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

Το πιο κοινό σύμβολο για μια παράγωγο είναι μια απόστροφος που ονομάζεται πρώτη παράγωγος. Έτσι η παράγωγος της συνάρτησης  συμβολίζεται ως  , και προφέρεται " πρώτη παράγωγος της  ". Ως παράδειγμα μιας συνάρτησης και της παραγώγου της, εάν , τότε η συνάρτηση  είναι η παράγωγός της (υπολογίζεται με τις μεθόδους παραγώγισης).

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

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

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

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

Γεωμετρικά, η παράγωγος είναι η κλίση της εφαπτομένης της γραφικής παράστασης της  στο . Η παράγωγος είναι ένα όριο των λόγων διαφοράς. Για το λόγο αυτό, η παράγωγος ονομάζεται μερικές φορές η κλίση της συνάρτησης . Εδώ είναι ένα συγκεκριμένο παράδειγμα, όπου υπολογίζεται η κλίση της συνάρτησης  στη θέση 3. 

Έστω η συνάρτηση 

             (Για τον τρόπο με τον οποίο υπολογίζεται ένα όριο, βλέπε Όριο Συνάρτησης)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Επιπλέον, για κάθε  στο διάστημα ,

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

Δείτε επίσης

Σχετικά Θέματα
 Παράγωγος
 Ολοκλήρωμα
 Όριο συνάρτησης
 Συνέχεια συνάρτησης
 Θεώρημα μέσης τιμής
 Μαθηματική ανάλυση
 Σειρά Τέιλορ
 Διαφορική γεωμετρία
 Διαφορική εξίσωση
 Λογισμός λάμδα
 Ανάλυση Φουριέ
 Αρχιμήδης
 Εύδοξος ο Κνίδιος
 Ισαάκ Νεύτων
 Γκότφριντ Βίλχελμ Λάιμπνιτς
 Μπέρναρντ Ρίμαν
 Πιέρ ντε Φερμά
 Ωγκυστέν-Λουί Κωσύ

Πηγές

Σημειώσεις

Βιβλία 

Larson, Ron, Bruce H. Edwards (2010). "Calculus", 9th ed., Brooks Cole Cengage Learning. ISBN 978-0-547-16702-2
McQuarrie, Donald A. (2003). Mathematical Methods for Scientists and Engineers, University Science Books. ISBN 978-1-891389-24-5
Stewart, James (2008). Calculus: Early Transcendentals, 6th ed., Brooks Cole Cengage Learning. ISBN 978-0-495-01166-8
Thomas, George B., Maurice D. Weir, Joel Hass, Frank R. Giordano (2008), "Calculus", 11th ed., Addison-Wesley. ISBN 0-321-48987-X

Άλλες πηγές

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

 Boyer, Carl Benjamin (1949). The History of the Calculus and its Conceptual Development. Hafner. Dover edition 1959, ISBN 0-486-60509-4
 Courant, Richard ISBN 978-3-540-65058-4 Introduction to calculus and analysis 1.
 Edmund Landau. ISBN 0-8218-2830-4 Differential and Integral Calculus, American Mathematical Society.
 Robert A. Adams. (1999). ISBN 978-0-201-39607-2 Calculus: A complete course.
 Albers, Donald J.; Richard D. Anderson and Don O. Loftsgaarden, ed. (1986) Undergraduate Programs in the Mathematics and Computer Sciences: The 1985-1986 Survey, Mathematical Association of America No. 7.
 John Lane Bell: A Primer of Infinitesimal Analysis, Cambridge University Press, 1998. ISBN 978-0-521-62401-5. Uses synthetic differential geometry and nilpotent infinitesimals.
 Florian Cajori, "The History of Notations of the Calculus." Annals of Mathematics, 2nd Ser., Vol. 25, No. 1 (Sep., 1923), pp. 1–46.
 Leonid P. Lebedev and Michael J. Cloud: "Approximating Perfection: a Mathematician's Journey into the World of Mechanics, Ch. 1: The Tools of Calculus", Princeton Univ. Press, 2004.
 Cliff Pickover. (2003). ISBN 978-0-471-26987-8 Calculus and Pizza: A Math Cookbook for the Hungry Mind.
 Michael Spivak. (September 1994). ISBN 978-0-914098-89-8 Calculus. Publish or Perish publishing.
 Tom M. Apostol. (1967). ISBN 978-0-471-00005-1 Calculus, Volume 1, One-Variable Calculus with an Introduction to Linear Algebra. Wiley.
 Tom M. Apostol. (1969). ISBN 978-0-471-00007-5 Calculus, Volume 2, Multi-Variable Calculus and Linear Algebra with Applications. Wiley.
 Silvanus P. Thompson and Martin Gardner. (1998). ISBN 978-0-312-18548-0 Calculus Made Easy.
 Mathematical Association of America. (1988). Calculus for a New Century; A Pump, Not a Filter, The Association, Stony Brook, NY. ED 300 252.
 Thomas/Finney. (1996). ISBN 978-0-201-53174-9 Calculus and Analytic geometry 9th, Addison Wesley.
 Weisstein, Eric W. "Second Fundamental Theorem of Calculus." From MathWorld—A Wolfram Web Resource.
Howard Anton,Irl Bivens,Stephen Davis:"Calculus",John Willey and Sons Pte. Ltd.,2002.ISBN 978-81-265-1259-1

Online βιβλία 

 Στέλιος Πηχωρίδης, "Απειροστικός Λογισμός: Πρόχειρες Σημειώσεις". Τμήμα Μαθηματικών Πανεπιστημίου Κρήτης , ανακτημένο από 
 Μιχάλης Παπαδημητράκης  "Απειροστικός Λογισμός". Τμήμα Μαθηματικών Πανεπιστημίου Κρήτης 
 Boelkins, M. (2012). "Active Calculus: a free, open text".  Retrieved 1 Feb 2013 from https://web.archive.org/web/20130530024317/http://faculty.gvsu.edu/boelkinm/Home/Download_files/Active%20Calculus%20ch1-8%20%28v.1.1%20W13%29.pdf
 Crowell, B. (2003). "Calculus" Light and Matter, Fullerton. Retrieved 6 May 2007 from http://www.lightandmatter.com/calc/calc.pdf
 Garrett, P. (2006). "Notes on first year calculus" University of Minnesota. Retrieved 6 May 2007 from http://www.math.umn.edu/~garrett/calculus/first_year/notes.pdf
 Faraz, H. (2006). "Understanding Calculus" Retrieved 6 May 2007 from Understanding Calculus, URL http://www.understandingcalculus.com/ (HTML only)
 Keisler, H. J. (2000). "Elementary Calculus: An Approach Using Infinitesimals" Retrieved 29 August 2010 from http://www.math.wisc.edu/~keisler/calc.html
 Mauch, S. (2004). "Sean's Applied Math Book" California Institute of Technology. Retrieved 6 May 2007 from https://web.archive.org/web/20070614183657/http://www.cacr.caltech.edu/~sean/applied_math.pdf
 Sloughter, Dan (2000). "Difference Equations to Differential Equations: An introduction to calculus". Retrieved 17 March 2009 from http://synechism.org/drupal/de2de/
 Stroyan, K.D. (2004). "A brief introduction to infinitesimal calculus" University of Iowa. Retrieved 6 May 2007 from https://web.archive.org/web/20050911104158/http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm (HTML only)
 Strang, G. (1991). "Calculus" Massachusetts Institute of Technology. Retrieved 6 May 2007 from http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm 
 Smith, William V. (2001). "The Calculus" Retrieved 4 July 2008  (HTML only).