[[:Πρότυπο:Mvar]] (μαθηματική σταθερά)
Πρότυπο:Επιστημονικό πεδίο Ο αριθμός Πρότυπο:Mvar είναι σημαντική μαθηματική σταθερά, η οποία αποτελεί τη βάση του φυσικού λογαρίθμου. Είναι περίπου ίση με Πρότυπο:Math,[1] και είναι το όριο της ακολουθίας Πρότυπο:Math όσο το Πρότυπο:Mvar πλησιάζει το άπειρο, μια έκφραση που προκύπτει από την μελέτη των σύνθετων τόκων. Μπορεί επίσης να υπολογιστεί ως το άθροισμα της άπειρης σειράς.[2]
Η σταθερά μπορεί να οριστεί με πολλούς τρόπους. Για παράδειγμα, ο Πρότυπο:Mvar μπορεί να οριστεί ως ο μοναδικός θετικός αριθμός Πρότυπο:Mvar, τέτοιος ώστε το γράφημα της συνάρτησης Πρότυπο:Math έχει κλίση ίση με Πρότυπο:Math όταν Πρότυπο:Math.[3] Η συνάρτηση Πρότυπο:Math ονομάζεται εκθετική και η αντίστροφή της είναι ο φυσικός λογάριθμος ή λογάριθμος με βάση το Πρότυπο:Mvar. Ο φυσικός λογάριθμος ενός θετικού αριθμού Πρότυπο:Math μπορεί επίσης να οριστεί άμεσα ως η περιοχή κάτω από την καμπύλη Πρότυπο:Math μεταξύ Πρότυπο:Math και Πρότυπο:Math, όπου , το Πρότυπο:Mvar είναι ο αριθμός του οποίου ο φυσικός λογάριθμος είναι Πρότυπο:Math. Υπάρχουν όμως περισσότεροι εναλλακτικοί χαρακτηρισμοί.
Αποκαλούμενος μερικές φορές ως αριθμός Όιλερ από τον Ελβετό μαθηματικό Λέοναρντ Όιλερ, ο Πρότυπο:Mvar δεν πρέπει να συγχέεται με την Πρότυπο:Mvar, τη σταθερά Όιλερ–Μασκερόνι που μερικές φορές αναφέρεται απλά σταθερά Όιλερ. Ο αριθμός Πρότυπο:Mvar είναι επίσης γνωστός ως σταθερά του Νέιπιερ, αλλά η επιλογή του Όιλερ του συμβόλου Πρότυπο:Mvar λέγεται ότι έχει διατηρηθεί προς τιμήν του.[4] Ο Πρότυπο:Mvar ανακαλύφθηκε από τον Ελβετό μαθηματικό Γιακόμπ Μπερνούλι όταν μελετούσε σύνθετους τόκους.
Ο αριθμός Πρότυπο:Mvar είναι εξέχουσας σημασίας στα μαθηματικά,[5] μαζί με το [[0 (αριθμός)|Πρότυπο:Math]], το [[1 (αριθμός)|Πρότυπο:Math]], το [[π (μαθηματική σταθερά)|Πρότυπο:Mvar]] και το [[Φανταστική μονάδα|Πρότυπο:Mvar]]. Και οι πέντε από αυτούς τους αριθμούς παίζουν σημαντικό και επαναλαμβανόμενο ρόλο στα μαθηματικά και είναι οι πέντε σταθερές που εμφανίζονται σε μία διατύπωση της ταυτότητας του Όιλερ. Όπως και η σταθερά Πρότυπο:Mvar, το Πρότυπο:Mvar είναι άρρητος, δηλ. δεν είναι λόγος ακεραίων, και είναι υπερβατικό, δηλ. δεν είναι ρίζα κανενός μη-μηδενικού πολυώνυμου με ρητούς συντελεστές. Η αριθμητική αξία του Πρότυπο:Mvar μέχρι τα 50 δεκαδικά ψηφία είναι Πρότυπο:Math... (ακολουθία A001113 στο OEIS).
Ιστορία[επεξεργασία]
Οι πρώτες αναφορές στη σταθερά e δημοσιεύθηκαν το 1618 στον πίνακα του προσαρτήματος ενός έργο για λογαρίθμους από τον Τζον Νάπιερ (John Napier). Ωστόσο αυτό δεν περιλαμβάνει την ίδια τη σταθερά, αλλά απλούστερα μια λίστα από λογαρίθμους που υπολογίζονται από τη σταθερά. Υποστηρίζεται ότι ο πίνακας γράφτηκε από τον William Oughtred. Η ανακάλυψη της ίδιας της σταθεράς πιστώνεται στον Γιακόμπ Μπερνούλι (Jacob Bernoulli) ο οποίος προσπάθησε να βρει την τιμή του από την ακόλουθη έκφραση (που είναι στην πραγματικότητα το e):
Η πρώτη γνωστή χρήση της σταθεράς, που αντιστοιχεί στο γράμμα b, ήταν σε αντιστοιχία από τον Γκότφριντ Βίλχελμ Λάιμπνιτς (Gottfried Wilhelm Leibniz) στον Κρίστιαν Χόυχενς (Christiaan Huygens) το 1690 και το 1691. Ο Λέοναρντ Όιλερ (Leonhard Euler) εισήγαγε το γράμμα e ως στη βάση για φυσικούς λογαρίθμους, γράφοντάς το σε επιστολή του στον Κρίστιαν Γκόλντμπαχ (Christian Goldbach) στις 25 Νοεμβρίου του 1731. Ο Όιλερ ξεκίνησε να χρησιμοποιεί το γράμμα e ως σταθερά το 1727 ή το 1728, σε ένα αδημοσίευτο έγγραφο σχετικά με τις εκρηκτικές δυνάμεις σε κανόνια, και η πρώτη εμφάνιση του e σε μια δημοσίευση ήταν του Όιλερ, με τίτλο Μηχανική (1736, πρωτότυπος τίτλος: Mechanica). Ενώ στα επόμενα χρόνια κάποιοι ερευνητές χρησιμοποίησαν το γράμμα c, το e ήταν το πιο γνωστό και τελικά έγινε το πρότυπο.
Εφαρμογές[επεξεργασία]
Τόκος ανατοκισμού[επεξεργασία]
Ο Γιακόμπ Μπερνούλι ανακάλυψε αυτή τη σταθερά μελετώντας μια ερώτηση σχετικά με τους τόκους ανατοκισμού:
Ένας λογαριασμός ξεκινά με $ 1.00 και πληρώνει 100 τοις εκατό τόκο ανά έτος. Εάν ο τόκος πιστώνεται μια φορά η αξία του λογαριασμού στο τέλος του έτους θα είναι $ 2,00. Τι συμβαίνει αν ο τόκος υπολογιστεί και πιστωθεί πιο συχνά κατά τη διάρκεια του έτους;
Αν ο τόκος πιστωθεί δύο φορές το έτος, το επιτόκιο για κάθε 6 μήνες θα είναι 50%, οπότε στο τέλος του πρώτου εξαμήνου θα ισχύει: (1+ 50%) = 1 + 0,5 = 1,5$ και τελικά στο τέλος του δευτέρου εξαμήνου προκύπτει: (1,5 + 50%) = 1,50 + 0,75 = 2,25 $ στο τέλος του έτους. Υπολογίζοντας τις τριμηνιαίες αποδόσεις είναι $ 1,00 × 1.254 = 2,4414 δολάρια ... και υπολογίζοντας του κάθε μήνα τις αποδόσεις είναι $ 1,00 × (1 + 1/12) 12 = 2,613035 δολάρια ... Αν υπάρχουν n ίσα διαστήματα, ο τόκος για κάθε διάστημα θα είναι 100% / n και η αξία το τέλος του έτους θα είναι 1,00 € × (1 + 1 / n)^n.
Ο Μπερνούλι παρατήρησε ότι αυτή η αλληλουχία πλησιάζει το όριο (τη δύναμη του ενδιαφέροντος) με μεγαλύτερα n και, ως εκ τούτου, τα μικρότερα διαστήματα σύνθεσης. Υπολογίζοντας την εβδομάδα (n = 52) αποδίδει 2,692597 δολάρια ..., ενώ υπολογίζοντας ημερησίως (n = 365) αποδίδει 2,714567 δολάρια ..., μόλις δύο λεπτά περισσότερο. Το όριο καθώς το n μεγαλώνει είναι ο αριθμός που έγινε γνωστός ως e! Με συνεχή σύνθεση, η αξία του λογαριασμού θα φτάσει τα $ 2.7182818 .... Γενικότερα, ένας λογαριασμός που ξεκινάει από $ 1 και προσφέρει ετήσιο επιτόκιο R, μετά από t έτη, θα αποδίδει eRt δολάρια με συνεχείς υπολογισμούς. (Εδώ το R είναι ένα κλάσμα, έτσι για το επιτόκιο 5%, R = 5/100 =0,05)[6]
Οι δοκιμές του Μπερνούλι[επεξεργασία]
Ο ίδιος ο αριθμός e έχει επίσης εφαρμογές στη θεωρία των πιθανοτήτων όπου προκύπτει, κατά τρόπο που δεν σχετίζεται προφανώς με εκθετική αύξηση. Ας υποθέσουμε ότι ένας παίκτης παίζει έναν κουλοχέρη που πληρώνει με πιθανότητα ένα στο n και παίζει n φορές. Στη συνέχεια, για μεγάλο n (όπως ένα εκατομμύριο), η πιθανότητα ότι ο παίκτης θα χάσει κάθε στοίχημα είναι (περίπου) 1 / e. Για n = 20 είναι ήδη περίπου 1/2.79.
Αυτό είναι ένα παράδειγμα της διαδικασίας των δοκιμών Μπερνούλι. Κάθε φορά που ο παίκτης παίζει με τον κουλοχέρη, υπάρχει μία στο ένα εκατομμύριο πιθανότητες να κερδίσει. Παίζοντας ένα εκατομμύριο φορές διαμορφώνεται από τη διωνυμική κατανομή, η οποία είναι στενά συνδεδεμένη με το διωνυμικό θεώρημα. Η πιθανότητα της νίκης k φορές μετά από ένα εκατομμύριο προσπάθειες είναι :
Ειδικότερα, η πιθανότητα νίκης μηδέν φορές (k = 0) είναι
Αυτό είναι πολύ κοντά στο ακόλουθο όριο για το 1/e:
Αναδιατάξεις[επεξεργασία]
Άλλη μια εφαρμογή του e , επίσης ανακαλύφθηκε εν μέρει από τον Μπερνούλι μαζί με τον Πιερ Ραϊμόν ντε Μονμόρ (Pierre Raymond de Montmort) που είναι στο πρόβλημα της αναδιάταξης, γνωστό σαν το πρόβλημα "έλεγχος καπέλου". Αυτό είναι το εξής: ν επισκέπτες είναι προσκεκλημένοι σε ένα πάρτι, στην πόρτα κάθε επισκέπτης ελέγχει το καπέλο του με τον μπάτλερ που τους τα τοποθετεί στη συνέχεια σε ν κουτιά, το καθένα από αυτά έχει πάνω το όνομα του κάθε επισκέπτη. Όμως ο μπάτλερ δεν γνωρίζει τα ονόματα των φιλοξενούμενων ,έτσι βάζει τα καπέλα στα κουτιά με τυχαίο τρόπο. Το πρόβλημα του ντε Μονμόρ είναι να βρει την πιθανότητα, ώστε κανένα από τα καπέλα να τοποθετηθεί στο σωστό κουτί. Η απάντηση είναι:
Ασύμπτωτες[επεξεργασία]
Ο αριθμός e συμβαίνει να συνδέεται φυσικά με πολλά προβλήματα που εμπεριέχουν ασύμπτωτες . Ένα διακεκριμένο πρόβλημα είναι η φόρμουλα Stirling για τις ασύμπτωτες της παραγοντικής συνάρτησης στην οποία και οι δυο αριθμοί e και π εισέρχονται :
Μια ιδιαίτερη συνέπεια αυτού είναι :
- .
Τυπική κανονική κατανομή[επεξεργασία]
(Κανονική κατανομή )
Η πιο απλή περίπτωση μιας κανονικής κατανομής είναι η τυπική κανονική κατανομή , που περιγράφεται από την συνάρτηση πυκνότητας πιθανότητας η οποία είναι :
Ο παράγοντας σε αυτή την έκφραση διασφαλίζει πως η συνολική περιοχή κάτω από την καμπύλη ϕ(x) είναι ένα. Ο εκθέτης 1/2 διασφαλίζει ότι η κατανομή έχει διαφορά μονάδων (και για αυτό το λόγο επίσης και η τυπική απόκλιση ). Η συνάρτηση είναι συμμετρική γύρω από το x=0, όπου επιτυγχάνει τη μέγιστη τιμή της : και έχει σημεία καμπής στο +1 και -1.
Ο αριθμός e στον λογισμό[επεξεργασία]
Το βασικό κίνητρο για την εισαγωγή του αριθμού e, στον λογισμό , είναι για να εκτελεί διαφορικού και ολοκληρωτικού λογισμού συναρτήσεις με εκθετικές και λογαριθμικές λειτουργίες. Μια γενική εκθετική συνάρτηση y = aχ έχει την παράγωγο που φαίνεται στο παρακάτω όριο :
Το όριο στα δεξιά είναι ανεξάρτητο από την μεταβλητή χ .Εξαρτάται μόνο από την βάση α. Όταν η βάση είναι ε, το όριο είναι ίσο με 1, και έτσι το e είναι συμβολικά ορίζεται από την εξίσωση:
Ως εκ τούτου, η εκθετική συνάρτηση με βάση e είναι ιδιαίτερα κατάλληλη για τον λογισμού. Επιλέγοντας ε, σε αντίθεση με κάποιο άλλο αριθμό, διότι η βάση της εκθετικής συνάρτησης κάνει υπολογισμούς που αφορούν την παράγωγο πολύ πιο άπλα.
Ένα άλλο κίνητρο έρχεται από την εξέταση της βάσης λογαρίθμου. Λαμβάνοντας υπόψιν τον ορισμό της παραγώγου του Loga x είναι το όριο:
όπου η αντικατάσταση u = h/x έγινε στο τελευταίο βήμα .Το τελευταίο όριο που εμφανίζονται σε αυτό τον υπολογισμό είναι και πάλι ένα απροσδιόριστο όριο που εξαρτάται μόνο από τη βάση α , και αν αυτή η βάση είναι ε, τότε το όριο είναι ίσο με 1. Έτσι συμβολικά :
Ο λογάριθμος σε αυτή την ειδική βάση ονομάζεται ο φυσικός λογάριθμος και αναπαρίσταται ως ln ;συμπεριφέρεται καλά κάτω από τη διαφοροποίηση, δεδομένου ότι δεν υπάρχει απροσδιόριστο όριο να φέρει σε πέρας τους υπολογισμούς.
Υπάρχουν λοιπόν δύο τρόποι με τους οποίους μπορούμε να επιλέξουμε έναν ειδικό αριθμό α = e. Ένας τρόπος είναι να ορίσετε την παράγωγο της εκθετικής συνάρτησης aχ σε
aχ .Ο άλλος τρόπος είναι να θέσουμε την παράγωγο της βάσης του λογαρίθμου σε 1/χ και να λύσουμε προς a .Σε κάθε περίπτωση φτάνει κανείς σε μια βολική επιλογή της βάσης. Στην πραγματικότητα, αυτές οι δύο λύσεις για το Α είναι στην πραγματικότητα το ίδιο, ο αριθμός e.
Εναλλακτικοί χαρακτηρισμοί[επεξεργασία]
Άλλοι χαρακτηρισμοί του e που είναι επίσης πιθανοί: ένας είναι το όριο μιας ακολουθίας, άλλος είναι το άθροισμα άπειρης σειράς και μερικοί ακόμα βασίζονται στον ολοκληρωτικό λογισμό. Μέχρι στιγμής, οι ακόλουθες δύο (ισοδύναμες) ιδιότητες έχουν εισαχθεί:
1. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε:
2. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε:
Οι ακόλουθοι τρεις χαρακτηρισμοί μπορούν να αποδειχθούν ισοδύναμα:
3. Ο αριθμός e είναι το όριο
Ομοίως :
4. Ο αριθμός e είναι το άθροισμα της άπειρης σειράς
όπου n! είναι το παραγοντικό του n.
5. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε
Ιδιότητες
Λογισμός
Όπως και στο κίνητρο, η εκθετική συνάρτηση ex είναι σημαντική εν μέρει επειδή είναι η μοναδική με μη τετριμμένη συνάρτηση (μέχρι τον πολλαπλασιασμό με μια σταθερά) η οποία είναι δική του παράγωγος
και ως εκ τούτου η δική του αντιπαράγωγος, καθώς και:
Συναρτήσεις σαν Εκθετικές
Βλέπε επίσης: πρόβλημα του Στάινερ
Το μέγιστο συνολικό όριο για τη συνάρτηση
εμφανίζεται στο x = e. Ομοίως, το x= 1 / e είναι εκεί όπου το ολικό ελάχιστο λαμβάνει χώρα για τη συνάρτηση
ορίζεται για τη θετική x. Γενικότερα x = e−1/n είναι αυτό που το ολικό ελάχιστο λαμβάνει χώρα για τη συνάρτηση
για κάθε n> 0. Η άπειρη σειρά
συγκλίνει αν και μόνο αν e−e ≤ x ≤ e1/e (ή περίπου μεταξύ 0.0660 και 1.4447), σύμφωνα με το θεώρημα του Λέοναρντ Όιλερ.
Θεωρία των Αριθμών[επεξεργασία]
Ο πραγματικός αριθμός e είναι άρρητος. Ο Όιλερ απέδειξε αυτό, δείχνοντας ότι η απλή συνέχιση της επέκτασης του κλάσματος είναι άπειρη.
Επιπλέον, από το θεώρημα Λίντεμαν-Βάιερστρας, το e είναι υπερβατικό, πράγμα που σημαίνει ότι δεν είναι μια λύση μιας οποιασδήποτε πολυωνυμικής μη σταθερής εξίσωσης με ακέραιους συντελεστές. Ήταν ο πρώτος αριθμός που αποδείχθηκε ότι είναι υπερβατικός χωρίς να έχει κατασκευαστεί ειδικά για το σκοπό αυτό (σε σύγκριση με τον αριθμό Λιουβίλ). Η απόδειξη δόθηκε από τον Τσαρλς Χέρμιτ το 1873.
Εικάζεται ότι το e είναι κανονικός αριθμός, γεγονός που σημαίνει ότι όταν το e εκφράζεται σε οποιαδήποτε βάση τα πιθανά ψηφία στην εν λόγω βάση είναι ομοιόμορφα κατανεμημένα (εμφανίζονται ισοπίθανα σε οποιαδήποτε δεδομένη ακολουθία πεπερασμένου μήκους).
Μιγαδικοί αριθμοί[επεξεργασία]
Η εκθετική συνάρτηση ex μπορεί να γραφεί ως μια σειρά Τέιλορ
Επειδή αυτή η σειρά κρατά πολλές σημαντικές ιδιότητες για την ex ακόμη και όταν το x είναι σύνθετο, συνήθως χρησιμοποιείται για την επέκταση του ορισμού του ex με μιγαδικούς αριθμούς. Αυτό, με τη σειρά Τέιλορ για τα sin και cos x, επιτρέπει σε κάποιον να τα αντλήσει από τον τύπο του Όιλερ:
η οποία ισχύει για όλα τα x. Η ειδική περίπτωση x = π είναι η ταυτότητα του Όιλερ:
από την οποία προκύπτει ότι, στο κύριο κλάδο του λογαρίθμου,
Επιπλέον, χρησιμοποιώντας τους νόμους για την ύψωση σε δύναμη,
ο οποίος είναι ο τύπος του ντε Μουάβρ.
Η έκφραση
αναφέρεται μερικές φορές στο cis(x).
Διαφορικές Εξισώσεις[επεξεργασία]
Η γενική συνάρτηση
είναι η λύση της διαφορικής εξίσωσης
Παραστάσεις[επεξεργασία]
Κύριο άρθρο (Λίστα από παραστάσεις)
Ο αριθμός e μπορεί να παρασταθεί ως πραγματικός αριθμός με διάφορους τρόπους: ως άπειρη σειρά, ως ένα άπειρο προϊόν, ως ένα συνεχές κλάσμα, ή ένα όριο μιας ακολουθίας. Η επικεφαλής μεταξύ αυτών των αναπαραστάσεων, κυρίως σε εισαγωγικά μαθήματα λογισμού είναι το όριο
που δόθηκε παραπάνω, καθώς επίσης και η σειρά
δίνεται από την αξιολόγηση της παραπάνω σειράς από το ex στο x = 1.
Λιγότερο γνωστό είναι το συνεχιζόμενο κλάσμα (ακολουθία A003417 στην OEIS).
το οποίο αναγραμμένο μοιάζει με
Αυτό το συνεχές κλάσμα για το e συγκλίνει τρεις φορές πιο γρήγορα από το:
το οποίο αναγραμμένο μοιάζει με
Πολλές άλλες σειρές, η ακολουθία, το συνεχές κλάσμα, και οι άπειρες παραστάσεις των προϊόντων του e έχουν αναπτυχθεί.
Στοχαστικές παραστάσεις[επεξεργασία]
Εκτός από τις ακριβείς αναλυτικές εκφράσεις για το ε, υπάρχουν στοχαστικές τεχνικές για την εκτίμηση του ε. Μία τέτοια προσέγγιση ξεκινά με μια άπειρη ακολουθία ανεξαρτήτων τυχαίων μεταβλητών X1, X2..., προέρχονται από την ομοιόμορφη κατανομή στο [0,1]. Ας είναι V ο ελάχιστος αριθμός n, τέτοιος ώστε το άθροισμα των πρώτων δειγμάτων ν να υπερβαίνει το 1:
Στη συνέχεια, η αναμενόμενη τιμή του V είναι e : Ε(ν)=ε
Γνωστά ψηφία[επεξεργασία]
Το πλήθος των γνωστών ψηφίων του e έχει βελτιωθεί δραματικά κατά την διάρκεια των τελευταίων δεκαετιών. Αυτό οφείλεται τόσο στην αυξημένη απόδοση των υπολογιστών όσο και στις αλγοριθμικές βελτιώσεις.
Παραπομπές[επεξεργασία]
- ↑ Oxford English Dictionary, 2η έκδοση: natural logarithm Αρχειοθετήθηκε 2013-02-08 στο Wayback Machine.
- ↑ Encyclopedic Dictionary of Mathematics 142.D
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Εξωτερικοί σύνδεσμοι[επεξεργασία]
This article "E (μαθηματική σταθερά)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:E (μαθηματική σταθερά). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
This page exists already on Wikipedia. |