Σειρά Τέιλορ

Στα μαθηματικά, **σειρά Τέιλορ** (αγγλ.  ή Taylor expansion ή **ανάπτυγμα Τέιλορ**)  είναι η αναπαράσταση μίας συνάρτησης ως άθροισμα απείρων όρων οι οποίοι υπολογίζονται από τις τιμές των παραγώγων της σε ένα συγκεκριμένο σημείο. 

Η έννοια της σειράς Τέιλορ καθιερώθηκε επισήμως από τον Άγγλο μαθηματικό Μπρουκ Τέιλορ (*Brook Taylor*) το 1715. Αν η σειρά έχει κέντρο το μηδέν, τότε η σειρά ονομάζεται επίσης σειρά Maclaurin, η οποία το όνομά της το πήρε από τον Σκωτσέζο μαθηματικό Κόλιν Μακλόριν ο οποίος έκανε εκτεταμένη χρήση αυτής της ειδικής περίπτωσης των σειρών Taylor τον 18ο αιώνα. 

Είναι κοινώς πρακτικό να χρησιμοποιείται πεπερασμένος αριθμός από τους όρους της σειράς Τέιλορ για να προσεγγίσουμε μια συνάρτηση. Το θεώρημα του Τέιλορ δίνει ποσοτικές εκτιμήσεις για το σφάλμα της προσέγγισης. Κάθε άθροισμα πεπερασμένου αριθμού αρχικών όρων της σειράς ονομάζεται πολυώνυμο Taylor. Η σειρά Τέιλορ μίας συνάρτησης σε ένα σημείο, ισούται με το όριο του πολυωνύμου Τέιλορ αυτής της συνάρτησης στο σημείο αυτό, υπό την προϋπόθεση ότι το όριο υπάρχει. Μία συνάρτηση ενδέχεται να μην ισούται  με την ίδια την σειρά Τέιλορ της, έστω και αν η Τέιλορ σειρά της συγκλίνει σε κάθε σημείο. Μία συνάρτηση η οποία είναι ίση με την ίδια τη σειρά Τέιλορ της σε ένα ανοιχτό διάστημα (ή σε ένα δίσκο στο μιγαδικό επίπεδο) είναι γνωστή ως μια αναλυτική συνάρτηση.

## Ορισμός
Η σειρά Τέιλορ  μίας πραγματικής ή μιγαδικής συνάρτησης *ƒ*(*x*) η οποία είναι απείρως παραγωγίσιμη σε μία γειτονιά ενός πραγματικού ή μιγαδικού αριθμού *α* είναι η δυναμοσειρά

:f(a)+\frac {f'(a)}{1!} (x-a)+ \frac{f*(a)}{2!} (x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+ \cdots. </math>

η οποία μπορεί να γραφτεί και σε μορφή με πιο συμπαγές [[Άθροιση|άθροισμα όρων]] , όπως:

:<math> \sum_{n=0} ^ {\infin } \frac {f^{(n)}(a)}{n!} \, (x-a)^{n}</math>

όπου *n*! υποδηλώνει το [[παραγοντικό]] του *n* και *ƒ*<sup>&nbsp;(*n*)</sup>(*a*) συμβολίζει *n*-ιοστή [[παράγωγος|παράγωγο]] της *ƒ* στο σημείο *α*. Η [[παράγωγος]] τάξης μηδέν της *ƒ* ορίζεται να είναι η ίδια η *ƒ* και τα  και 0! ισούνται από τον ορισμό με&nbsp;1. Στην περίπτωση που , η σειρά ονομάζεται και σειρά Μακλάουριν.

==Παραδείγματα==
Η σειρά Maclaurin οποιουδήποτε [[πολυώνυμο|πολυωνύμου]] είναι το ίδιο το πολυώνυμο.

Η σειρά Maclaurin του  για |x| < 1 είναι η [[γεωμετρική πρόοδος|γεωμετρική σειρά]]

:<math>1+x+x^2+x^3+\cdots\!</math>

έτσι η σειρά Τέιλορ για *x*<sup>&minus;1</sup> στο  

:<math>1-(x-1)+(x-1)^2-(x-1)^3+\cdots.\!</math>

Ολοκληρώνοντας την παραπάνω σειρά  Μακλάουριν βρίσκεται η σειρά  Μακλόριν του , όπου ln υποδηλώνει τον [[Δεκαδικός λογάριθμος|φυσικό λογάριθμο]]:

:<math>-x-\tfrac{1}{2}x^2-\tfrac{1}{3}x^3-\tfrac{1}{4}x^4-\cdots\!</math>

και η αντίστοιχη σειρά Τέιλορ για το ln(*x*) στο  είναι

:<math>(x-1)-\tfrac{1}{2}(x-1)^2+\tfrac{1}{3}(x-1)^3-\tfrac{1}{4}(x-1)^4+\cdots.\!</math>

γενικότερα, η αντίστοιχη σειρά Τέιλορ για το ln(*x*) σε κάποιο <math>a = x_{0}</math>  είναι:

: <math> \ln ( x_0 ) + \frac{1}{x_0} ( x - x_0 ) - \frac{1}{x_0^2}\frac{( x - x_0 )^2}{2} + \cdots.</math>


Η σειρά Τέιλορ  της [[εκθετική συνάρτηση|εκθετικής συνάρτηση]]ς e<sup>*x*</sup> στο *α*&nbsp;= 0 είναι

:<math>1 + \frac{x^1}{1!} + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!}+ \cdots = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \frac{x^5}{120} + \cdots.\!</math>

Η παραπάνω σχέση προκύπτει έτσι επειδή η παράγωγος της e<sup>*x*</sup> ως προς το x είναι επίσης e<sup>*x*</sup> ενώ e<sup>0</sup> ισούται με&nbsp;1. Έτσι μένουν οι όροι  στον αριθμητή και στον παρονομαστή *n* για κάθε όρο της άπειρης σειράς.

==Ιστορία==
Ο Έλληνας φιλόσοφος [[Ζήνων ο Ελεάτης|Ζήνων]] ασχολήθηκε με το πρόβλημα της άθροισης [[Αριθμός π#Άπειρη σειρά|άπειρης σειράς]] προσπαθώντας να επιτύχει πεπερασμένο αποτέλεσμα, αλλά το απέρριψε θεωρώντας το απίθανο. Το αποτέλεσμα ήταν το λεγόμενο [[Παράδοξα του Ζήνωνα|παράδοξο του Ζήνωνα]]. Αργότερα ο [[Αριστοτέλης]] έθεσε μία φιλοσοφική επίλυση του παραδόξου, ωστόσο το μαθηματικό περιεχόμενο του προβλήματος παρέμενε άλυτο έως ότου ασχολήθηκαν με αυτό ο [[Δημόκριτος]] και έπειτα ο [[Αρχιμήδης]]. Με την [[μέθοδος της εξάντλησης|μέθοδο της εξάντλησης]] του Αρχιμήδη ήταν δυνατό να διαχειριστούν διαδοχικές υποδιαιρέσεις ώστε να επιτευχθεί πεπερασμένο αποτέλεσμα. Ο [[Λιου Χούι]] ανεξάρτητα χρησιμοποίησε μια παρόμοια μέθοδο λίγους αιώνες αργότερα.

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

Τον 17ο αιώνα, ο [[Τζέιμς Γκρέγκορι]] επίσης εργάστηκε στον τομέα αυτό και δημοσίευσε διάφορες  σειρές Maclaurin. Το 1715 εν τέλει δόθηκε η γενική μέθοδος κατασκευής αυτών των σειρών για όλες τις συναρτήσεις για τις οποίες υπάρχουν από τον [[Μπρουκ Τέιλορ]], του οποίου πήραν το όνομα.

Οι σειρές Maclaurin πήραν το όνομά του από τον [[Κόλιν Μακλόριν]], καθηγητή στο Εδιμβούργο, ο οποίος δημοσίευσε την ειδική περίπτωση των σειρών Τέιλορ τον 18ο αιώνα.

==Αναλυτικές συναρτήσεις==


Αν η *f*(*x*) δίνεται από μία συγκλίνουσα δυναμοσειρά σε ένα ανοικτό δίσκο (ή διάστημα στον πραγματικό αξονα) με κέντρο το *b*, λέγεται ότι είναι [[αναλυτική συνάρτηση|αναλυτική]] σε αυτόν τον δίσκο. Έτσι για *x* που ανήκουν στον δίσκο, η *f* δίνεται από μία συγκλίνουσα δυναμοσειρά

:<math>f(x) = \sum_{n=0}^\infty a_n(x-b)^n.</math>
Παραγωγίζοντας ως προς *x* την παραπάνω *n* φορές, και θέτωντας *x*=*b* προκύπτει:
:<math>\frac{f^{(n)}(b)}{n!} = a_n</math>
έτσι το ανάπτυγμα της δυναμοσειράς συμφωνεί με την σειρά Τέιλορ. Έτσι μια συνάρτηση είναι αναλυτή σε ένα ανοιχτό δίσκο με κέντρο το *b* αν και μόνον αν η σειρά Τέιλορ της συγκλίνει στην τιμή της συνάρτησης σε κάθε σημείο του δίσκου.

Αν η *f*(*x*) ισούται με την οικεία σειρά Τέιλορ παντού τότε καλείται [[ακέραια αναλυτική συνάρτηση]]. Τα πολυώνυμα, η [[εκθετική συνάρτηση]] *e*<sup>*x*</sup> και οι [[τριγωνομετρική συνάρτηση|τριγωνομετρικές συναρτήσεις]] ημίτονο και συνημίτονο είναι μερικά παραδείγματα ακεραίων συναρτήσεων. Παραδείγματα συναρτήσεων που δεν είναι ακέραιες περιλαμβάνουν τον [[λογάριθμος|λογάριθμο]], την τριγωνομετρική συνάρτηση της εφαπτομένης και την αντίστροφή της, το [[τόξο εφαπτομένης]]. Για αυτές τις συναρτήσεις η σειρά Τέιλορ δεν [[συγκλίνουσα σειρά|συγκλίνει]] αν το *x* απέχει από το *α*. Οι σειρά Τέιλορ μπορεί να χρησιμοποιηθεί για τον υπολογισμό της τιμής μίας ακέραιας συνάρτησης σε κάθε σημείο, αν η τιμή της συνάρτησης, καθώς και όλων των παραγώγων της είναι γνωστές σε ένα σημείο.

Οι χρήσεις της σειράς Τέιλορ για τις αναλυτές συναρτήσεις περιλαμβάνουν:
#Τα μερικά αθροίσματα ([[πολυώνυμα Τέιλορ]] ) της σειράς που μπορούν να χρησιμοποιηθούν ως προσεγγίσεις ολόκληρης της συνάρτησης. Οι προσεγγίσεις αυτές θα είναι καλό αν περιλαμβάνουν αρκετά πολλούς όρους.
#Παραγώγιση και ολοκλήρωση σειρών που μπορεί να πραγματοποιηθεί όρο προς όρο και επομένως είναι ιδιαίτερα εύκολη.
#Μια [[αναλυτική συνάρτηση]] επεκτείνεται μοναδικά σε μια [[ολόμορφη συνάρτηση]] σε ένα [[ανοικτό δίσκο]] στο [[μιγαδικό επίπεδο]]. 
#Η σειρά μπορεί να χρησιμοποιηθεί για να υπολογίσει τις τιμές της συνάρτησης αριθμητικά, (συχνά με την ανασύνταξη του πολυωνύμου στην [[μορφή Chebyshev]] και τον υπολογισμό με τον αλγόριθμο Clenshaw.
#Αλγεβρικές πράξεις μπορούν να γίνουν άμεσα. Για παράδειγμα, ο [[τύπος του Euler]] που προκύπτει από αναπτύγματα σειρών Τέιλορ για τριγωνομετρικές και εκθετικές συναρτήσεις. Το αποτέλεσμα αυτό είναι θεμελιώδους σημασίας σε τομείς όπως η [[αρμονική ανάλυση]] .
#Οι προσεγγίσεις που χρησιμοποιούνται στους πρώτους όρους μιας σειράς Τέιλορ μπορεί να κάνουν διαφορετικά, άλυτα προβλήματα μεταξύ τους να είναι δυνατόν να λυθούν για ένα περιορισμένο τομέα. Η προσέγγιση αυτή χρησιμοποιείται συχνά στη φυσική.

==Προσέγγιση και σύγκλιση==



Στα δεξιά εικονίζεται μια ακριβής προσέγγιση της συνάρτησης [[Ημίτονο|ημx]] γύρω από το σημείο *x* = 0. Η ροζ καμπύλη είναι πολυώνυμο 7<sup>ου</sup> βαθμού:

:<math>\sin x \approx x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}.\!</math>

Το σφάλμα της προσέγγισης δεν είναι πάνω από |*x*|<sup>9</sup>/9. Συγκεκριμένα για , το σφάλμα είναι μικρότερο από 0.000003.

Για αντίθεση, επιδεικνύεται επίσης μία αναπαράσταση της συνάρτησης του φυσικού λογαρίθμου  και κάποιων από τα πολυώνυμα Τέιλορ γύρω από το *α* = 0. Αυτές οι προσεγγίσεις συγκλίνουν στη συνάρτηση μόνο στην περιοχή &minus;1 < *x* ≤ 1; έξω από αυτή την περιοχή τα ανωτέρου βαθμού πολυώνυμα αποτελούν χειρότερες προσεγγίσεις της συνάρτησης. Αυτό είναι παρόμοιο με το φαινόμενο του Runge.

Το σφάλμα που προκύπτει από την προσέγγιση της συνάρτησης με το *n*-οστού βαθμού πολυώνυμο ονομάζεται υπόλοιπο και αποδίδεται από την συνάρτηση  *Rn(x)*. Το [[Ωγκυστέν-Λουί Κωσύ#Θεώρημα του Τέιλορ|θεώρημα Τέιλορ]] μπορεί να χρησιμοποιηθεί για την εύρεση του φράγματος του υπολοίπου.

Εν γένει, η σειρά  δεν είναι συγκλίνουσα. Στην πραγματικότητα το σύνολο των συναρτήσεων με συγκλίνουσα σειρά Τέιλορ είναι υποσύνολο του [[χώρος Frechet|χώρου Frechet]] των [[λεία συνάρτηση|λείων συναρτήσεων]] (συνεχείς παραγώγους οποιασδήποτε τάξεως). Ακόμα και αν η σειρά Τέιλορ μιας συνάρτησης *f* είναι συγκλίνουσα, το όριο της δεν είναι εν γένει ίσο με την τιμή της συνάρτησης *f*(*x*). Για παράδειγμα η συνάρτηση
:<math>
f(x) = \begin{cases}
e^{-1/x^2}&\alpha\nu\ x\not=0\\
0&\alpha\nu\ x=0
\end{cases}
</math>
είναι [[απείρως παραγωγίσιμη]] στο  και όλες οι παράγωγοι είναι μηδέν στο σημείο. Συνεπώς η σειρά Τέιλορ της *f*(*x*) γύρω από το  είναι ταυτόσημη με το μηδέν. Ωστόσο η *f*(*x*) δεν είναι ίση με την [[μηδενική συνάρτηση]] και συνεπώς δεν είναι ίση με την σειρά Τέιλορ γύρω από το μηδέν.

Στην [[πραγματική ανάλυση]], αυτό το παράδειγμα δείχνει ότι υπάρχουν απείρως παραγωγίσιμες συναρτήσεις *f*(*x*) των οποίων η σειρά Τέιλορ δεν είναι ίση με την *f*(*x*) ακόμα και αν συγκλίνει. Αντιθέτως στην [[μιγαδική ανάλυση]] δεν υπάρχουν [[ολόμορφη συνάρτηση|ολόμορφες συναρτήσεις]] *f*(*z*) των οποίων η σειρά Τέιλορ  να συγκλίνει σε τιμή διαφορετική από την *f*(*z*). Η μιγαδική συνάρτηση e<sup>&minus;*z*<sup>&minus;2</sup></sup> δεν προσεγγίζει το 0 καθώς το *z* πλησιάζει το 0 πάνω στον φανταστικό άξονα, και έτσι η σειρά Τέιλορ έτσι ορίζεται εκεί.

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

Κάποιες συναρτήσεις δεν μπορούν να γραφούν ως σειρά Τέιλορ γιατί περιέχουν μία ανωμαλία, σε αυτές τις περιπτώσεις, μπορεί να επιτευχθεί η ανάπτυξη της σειράς αν επιτραπούν οι αρνητικές δυνάμεις της μεταβλητής *x*. Για παράδειγμα η *f*(*x*)&nbsp;= e<sup>&minus;*x*<sup>&minus;2</sup></sup> μπορεί να γραφεί ως σειρά Laurent.

=== Γενίκευση ===
Υπάρχει ωστόσο μία γενίκευση της σειράς Τέιλορ  η οποία συγκλίνει στην τιμή της συνάρτησης για οποιαδήποτε [[φραγμένη συνάρτηση|φραγμένη]] [[συνεχής συνάρτηση|συνεχή συνάρτηση]] στο (0,∞), χρησιμοποιώντας τον λογισμό των [[πεπερασμένες διαφορές|πεπερασμένων διαφορών]]. Ειδικότερα υπάρχει το ακόλουθο θεώρημα του [[Einar Hille]], σύμφωνα με το οποίο για οποιοδήποτε *t*&nbsp;>&nbsp;0,
:<math>\lim_{h\to 0^+}\sum_{n=0}^\infty \frac{t^n}{n!}\frac{\Delta_h^nf(a)}{h^n} = f(a+t).</math>
Εδώ το <math>\Delta^n_h</math> είναι ο τελεστής της *n*-οστής πεπερασμένης διαφοράς. Η σειρά είναι ακριβώς η σειρά Τέιλορ, εκτός από το ότι εμφανίζονται διαιρέσεις με πεπερασμένες διαφορές αντί για παραγωγίσεις: η σειρά μοιάζει με την σειρά Νεύτων. Όταν η συνάρτηση *f* είναι αναλυτική στο *a*, οι όροι της σειράς συγκλίνουν στους όρους της σειράς Τέιλορ, και υπό αυτή την έννοια αποτελεί την γενίκευση της σειράς Τέιλορ.

Εν γένει για οποιαδήποτε άπειρη ακολουθία *a*<sub>*i*</sub>, ισχύει η ακόλουθη ταυτότητα δυναμοσειρών.

:<math>\sum_{n=0}^\infty\frac{u^n}{n!}\Delta^na_i = e^{-u}\sum_{j=0}^\infty\frac{u^j}{j!}a_{i+j}.</math>
Έτσι συγκεκριμένα,
:<math>f(a+t) = \lim_{h\to 0^+} e^{-t/h}\sum_{j=0}^\infty f(a+jh) \frac{(t/h)^j}{j!}.</math>
Η σειρά στα δεξιά είναι η [[αναμενόμενη τιμή]] της *f*(a&nbsp;+&nbsp;*X*), όπου *X* είναι [[τυχαία μεταβλητή]] με [[κατανομή Poisson]] που παίρνει την τιμή *jh* με πιθανότητα *e*<sup>&minus;*t*/*h*</sup>(*t*/*h*)<sup>*j*</sup>/*j*!. Έτσι
:<math>f(a+t) = \lim_{h\to 0^+} \int\limits_{-\infty}^\infty f(a+x)dP_{t/h,h}(x).</math>
Η ταυτότητα ισχύει σύμφωνα με τον [[νόμος των μεγάλων αριθμών|νόμο των μεγάλων αριθμών]].

== Κατάλογος σειρών Μακλόριν κοινών συναρτήσεων ==



Ακολουθούν μερικά σημαντικά αναπτύγματα σειρών Μακλόριν. Όλες οι σχέσεις ισχύουν για μιγαδικά *x*.

[[Εκθετική συνάρτηση]]:
:<math>\mathrm{e}^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\forall x\!</math>

[[Φυσικός λογάριθμος]]:

:<math>\log(1-x) = -\sum^{\infin}_{n=1} \frac{x^n}n</math> για <math>-1\le x<1</math>

:<math>\log(1+x) = \sum^{\infin}_{n=1} (-1)^{n+1}\frac{x^n}n</math> για <math>-1<x\le1</math>

Πεπερασμένη [[γεωμετρική σειρά]]:

:<math>\frac{1-x^{m + 1}}{1-x} = \sum^{m}_{n=0} x^n\quad</math> για <math>x \not= 1</math> και <math>m\in\mathbb{N}_0\!</math>

Άπειρη γεωμετρική σειρά:

:<math>\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n</math> για <math>|x| < 1\!</math>

Παραλλαγές της άπειρης γεωμετρικής σειράς:

:<math>\frac{x^m}{1-x} = \sum^{\infin}_{n=m} x^n\quad</math> για <math>|x| < 1 </math> και <math>m\in\mathbb{N}_0\!</math>

:<math>\frac{x}{(1-x)^2} = \sum^{\infin}_{n=1}n x^n\quad</math> για <math>|x| < 1\!</math>

:<math>\frac{1}{(1-x)^2} = \sum^{\infin}_{n=1}n x^{n-1}\quad</math> για <math>|x| < 1\!</math>

[[Τετραγωνική ρίζα]]:
:<math>\sqrt{1+x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2(4^n)}x^n = 1 + \textstyle \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16} x^3 - \frac{5}{128} x^4 + \dots</math> για <math>|x|\le1</math>

[[Διωνυμική σειρά]] (περιλαμβάνει και την τετραγωνική ρίζα για *α* = 1/2 και την άπειρη γεωμετρική σειρά για *α* = &minus;1):

:<math>(1+x)^\alpha = \sum_{n=0}^\infty {\alpha \choose n} x^n\quad</math> για όλα τα <math>|x| < 1 </math> και όλους τους μιγαδικούς<math>\alpha\!</math>

με γενικευμένους [[διωνυμικός συντελεστής|διωνυμικούς συντελεστές]] 

: <math>{\alpha\choose n} = \prod_{k=1}^n \frac{\alpha-k+1}k = \frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}</math>

[[Τριγωνομετρική συνάρτηση|Τριγωνομετρικές συναρτήσεις]]:

:<math>\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots</math> για όλα τα <math>x\!</math>

:<math>\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots</math> για όλα τα <math>x\!</math>

:<math>\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1} = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \cdots</math> για <math>|x| < \frac{\pi}{2}\!</math>

::όπου *Bs* είναι οι [[αριθμός Bernoulli|αριθμοί Bernoulli]].

:<math>\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}</math> για <math>|x| < \frac{\pi}{2}\!</math>

:<math>\arcsin x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}</math> για <math>|x| \le 1\!</math>

:<math>\arccos x ={\pi\over 2}-\arcsin x={\pi\over 2}- \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}</math> για <math>|x| \le 1\!</math>

:<math>\arctan x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}</math> για <math>|x| \le 1\!</math>

[[Υπερβολικές συναρτήσεις]]:

:<math>\sinh x = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{(2n+1)!} = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots</math> για όλα τα <math>x\!</math>

:<math>\cosh x = \sum^{\infin}_{n=0} \frac{x^{2n}}{(2n)!} = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots</math> για όλα τα <math>x\!</math>

:<math>\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1} = x-\frac{1}{3}x^3+\frac{2}{15}x^5-\frac{17}{315}x^7+\cdots </math> για <math>|x| < \frac{\pi}{2}\!</math>

:<math>\mathrm{arsinh} (x) = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}</math> για <math>|x| \le 1\!</math>

:<math>\mathrm{artanh} (x) = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{2n+1} </math> για <math>|x| < 1\!</math>

Συνάρτηση W του Λαμπέρ:

:<math>W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n</math> για <math>|x| < \frac{1}{\mathrm{e}}\!</math>

Οι αριθμοί *B*<sub>*k*</sub> που εμφανίζονται στο ανάπτυγμα της tan(*x*) και tanh(*x*) είναι οι [[Αριθμός Μπερνούλι|αριθμοί Μπερνούλι]]. Οι *E*<sub>*k*</sub> στο ανάπτυγμα της sec(*x*) είναι οι [[Αριθμός του Όιλερ|αριθμοί Όιλερ]].

==Υπολογισμός της σειράς Τέιλορ==
Αρκετές μέθοδοι υπάρχουν για τον υπολογισμό της σειράς Τέιλορ για μεγάλο αριθμό συναρτήσεων. Είναι δυνατόν να χρησιμοποιηθεί η σειρά Τέιλορ ως έχει και να γενικευθεί η μορφή των συντελεστών, ή να χρησιμοποιηθούν χειρισμοί όπως η αντικατάσταση, ο [[πολλαπλασιασμός]] ή η διαίρεση, πρόσθεση ή αφαίρεση μιας πρότυπης σειράς Τέιλορ για την κατασκευή της σειράς Τέιλορ μιας συνάρτησης. Σε κάποιες περιπτώσεις μπορεί να εξαχθεί η σειρά Τέιλορ από την επαναληπτική ολοκλήρωση κατά μέρη. Ιδιαίτερα βολικη είναι η χρήση του [[συστήμα άλγεβρας υπολογιστών|συστήματος  άλγεβρας υπολογιστών ]]  για τον υπολογισμό σειράς Τέιλορ.

===Πρώτο παράδειγμα===
Υπολογισμός του πολυωνύμου Maclaurin 7ου βαθμού της συνάρτησης
:<math>f(x)=\log\cos x, \quad x\in(-\pi/2, \pi/2)\!</math>.

Αρχικά η συνάρτηση ξαναγράφεται ως
:<math>f(x)=\log(1+(\cos x-1))\!</math>.
Για τον φυσικό λογάριθμο (με χρήση του [[Συμβολισμός Ο|συμβολισμού Ο]])
:<math>\log(1+x) = x - \frac{x^2}2 + \frac{x^3}3 + {O}(x^4)\!</math>
για την συνάρτηση του συνημιτόνου
:<math>\cos x - 1 = -\frac{x^2}2 + \frac{x^4}{24} - \frac{x^6}{720} + {O}(x^8)\!</math>
Η ανάπτυξη της τελευταίας έχει ένα μηδενικό [[Σταθερός όρος|σταθερό όρο]] που επιτρέπει να αντικατασταθεί η δεύτερη σειρα στην πρώτη και να γίνει παράλειψη των όρων τάξεως άνω του 7:

:<math>\begin{align}f(x)&=\log(1+(\cos x-1))\\
&=\bigl(\cos x-1\bigr) - \frac12\bigl(\cos x-1\bigr)^2 + \frac13\bigl(\cos x-1\bigr)^3+ {O}\bigl((\cos x-1)^4\bigr)\\&=\biggl(-\frac{x^2}2 + \frac{x^4}{24} - \frac{x^6}{720} +{O}(x^8)\biggr)-\frac12\biggl(-\frac{x^2}2+\frac{x^4}{24}+{O}(x^6)\biggr)^2+\frac13\biggl(-\frac{x^2}2+O(x^4)\biggr)^3 + {O}(x^8)\\ & =-\frac{x^2}2 + \frac{x^4}{24}-\frac{x^6}{720} - \frac{x^4}8 + \frac{x^6}{48} - \frac{x^6}{24} +O(x^8)\\
& =- \frac{x^2}2 - \frac{x^4}{12} - \frac{x^6}{45}+O(x^8). \end{align}\!</math>
Καθώς το συνημίτονο είναι [[άρτια συνάρτηση]], οι συντελεστές όλων των περιττών δυνάμεων *x*, *x*<sup>3</sup>, *x*<sup>5</sup>, *x*<sup>7</sup>, .. πρέπει να είναι μηδέν.

===Δεύτερο παράδειγμα===
Εύρεση της σειράς Τέιλορ στο 0 της συνάρτησης
: <math>g(x)=\frac{e^x}{\cos x}\!</math>.
Για την εκθετική συνάρτηση
: <math>e^x = \sum^\infty_{n=0} {x^n\over n!} =1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!}+\cdots\!</math>
και, όπως στο πρώτο παράδειγμα
: <math>\cos x = 1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots\!</math>
Υπόθεση ότι η δυναμοσειρά είναι
: <math>{e^x \over \cos x} = c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \cdots\!</math>
Στη συνέχεια πολλαπλασιάζουμε με τον παρονομαστή και αντικαθιστούμε το συνημίτονο από παραπάνω
: <math>\begin{align} e^x &= (c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \cdots)\cos x\\
&=\left(c_0 + c_1 x + c_2 x^2 + c_3 x^3 + c_4x^4 + \cdots\right)\left(1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots\right)\\&=c_0 - {c_0 \over 2}x^2 + {c_0 \over 4!}x^4 + c_1x - {c_1 \over 2}x^3 + {c_1 \over 4!}x^5 + c_2x^2 - {c_2 \over 2}x^4 + {c_2 \over 4!}x^6 + c_3x^3 - {c_3 \over 2}x^5 + {c_3 \over 4!}x^7 +\cdots \end{align}\!</math>
Οι όροι μέχρι τέταρτης τάξεως είναι
: <math>=c_0 + c_1x + \left(c_2 - {c_0 \over 2}\right)x^2 + \left(c_3 - {c_1 \over 2}\right)x^3+\left(c_4+{c_0 \over 4!}-{c_2\over 2}\right)x^4 + \cdots\!</math>
Συγκρίνοντας τους συντελεστές με την παραπάνω σειρά της εκθετικής συνάρτησης προκύπτει η επιθυμητή σειρά Τέιλορ
: <math>\frac{e^x}{\cos x}=1 + x + x^2 + {2x^3 \over 3} + {x^4 \over 2} + \cdots.\!</math>

===Τρίτο Παράδειγμα===
Εδώ  χρησιμοποιούμε μια μέθοδο που ονομάζεται *Έμμεσο Ανάπτυγμα* για να αναπτύξουμε  την συγκεκριμένη συναρτηση. Αυτή η μέθοδος χρησιμοποιεί  αναπτύγματα Τέιλορ  γνωστών συναρτησεων

Ερώτημα: Αναπτύξτε την ακόλουθη συνάρτηση ως μια δυναμοσειρά του x
: <math>(1 + x)e^x</math>.
Γνωρίζουμε τη σειρά Τέιλορ για την <math>e^x</math> 
: <math>e^x = \sum^\infty_{n=0} {x^n\over n!} =1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!}+\cdots\!, -\infty<x<+\infty</math>
Έτσι
: <math>\begin{align}(1+x)e^x &= e^x + xe^x = \sum^\infty_{n=0} {x^n\over n!} + \sum^\infty_{n=0} {x^{n+1}\over n!} = 1 + \sum^\infty_{n=1} {x^n\over n!} + \sum^\infty_{n=0} {x^{n+1}\over n!} \\ &= 1 + \sum^\infty_{n=1} {x^n\over n!} + \sum^\infty_{n=1} {x^{n}\over (n-1)!} =1 + \sum^\infty_{n=1}\left({1\over n!} + {1\over (n-1)!}\right)x^n \\ &= 1 + \sum^\infty_{n=1}{n+1\over n!}x^n, -\infty<x<+\infty  \\ &= \sum^\infty_{n=0}{n+1\over n!}x^n\end{align}</math>

==Σειρές Τέιλορ ως ορισμοί==
Τυπικά, οι αλγεβρικές συναρτήσεις ορίζονται από μία αλγεβρική εξίσωση, και οι [[υπερβατική συνάρτηση|υπερβατικές συναρτήσεις]] είναι (συμπεριλαμβανομένων εκείνων που συζητήθηκαν παραπάνω) εκείνες που ορίζονται από κάποια ιδιότητα τους, όπως μια [[διαφορική εξίσωση]] . Για παράδειγμα η [[εκθετική συνάρτηση]] είναι η συνάρτηση η οποία είναι ίση με την παράγωγό της σε κάθε σημείο και έχει την τιμή 1 στην αρχή των αξόνων. Ωστόσο, μία αναλυτική συνάρτηση μπορεί να οριστεί και από την οικεία σειρά Τέιλορ.

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

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

==Σειρά Τέιλορ πολλών μεταβλητών==
Η σειρά Τέιλορ  μπορεί να γενικευθεί σε συναρτήσεις πολλών μεταβλητών με
:<math>T(x_1,\dots,x_d) = </math>
::<math> = \sum_{n_1=0}^\infty \cdots \sum_{n_d=0}^\infty
\frac{(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!}\,\left(\frac{\partial^{n_1 + \cdots + n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots,a_d).\!</math>

Για παράδειγμα, για μία συνάρτηση δύο μεταβλητών,*x* και *y*, η σειρά Τέιλορ στο σημείο (*a*, *b*) και μέχρι δευτέρας τάξεως είναι:

:<math>
\begin{align}
f(x,y) & \approx f(a,b) +(x-a)\, f_x(a,b) +(y-b)\, f_y(a,b) \\
& {}\quad + \frac{1}{2!}\left[ (x-a)^2\,f_{xx}(a,b) + 2(x-a)(y-b)\,f_{xy}(a,b) +(y-b)^2\, f_{yy}(a,b) \right],
\end{align}
</math>

όπου οι δείκτες υποδηλώνουν τις αντίστοιχες [[μερική παράγωγος|μερικές παραγώγους]].

Το ανάπτυγμα δευτέρας τάξεως σειράς Τέιλορ κλιμακωτής συνάρτησης πολλών μεταβλητών μπορεί να γραφτεί ως
:<math>T(\mathbf{x}) = f(\mathbf{a}) + (\mathbf{x} - \mathbf{a})^T\mathrm{D} f(\mathbf{a})  + \frac{1}{2!} (\mathbf{x} - \mathbf{a})^T \,\{\mathrm{D}^2 f(\mathbf{a})\}\,(\mathbf{x} - \mathbf{a}) + \cdots\!
\,,</math>

Οπου είναι <math>D f(\mathbf{a})\!</math> είναι η [[Κλίση συνάρτησης|βαθμίδα]] της <math>\,f</math> στο <math>\mathbf{x} = \mathbf{a}</math> και 
<math>D^2 f(\mathbf{a})\!</math> είναι ο [[πίνακας του Hesse]]. Χρησιμοποιώντας συμβολισμό δεικτών η σειρά Τέιλορ για πολλές μεταβλητές γίνεται

:<math>T(\mathbf{x}) = \sum_{|\alpha| \ge 0}^{}\frac{(\mathbf{x}-\mathbf{a})^{\alpha}}{\alpha !}\,({\mathrm{\partial}^{\alpha}}\,f)(\mathbf{a})\,,</math>

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

=== Παράδειγμα ===
[[Αρχείο:Taylor e^xln1plusy.png|200px|thumb|right|Ανάπτυγμα δευτέρας τάξης σειράς Τέιλορ (γκρίζο) μια συνάρτησης <math>f(x,y) = e^x\log{(1+y)}</math> γύρω από την αρχή των αξόνων, κατά προσέγγιση.]]
Υπολογισμός αναπτύγματος σειράς Τέιλορ μέχρι δευτέρας τάξεως γύρω από το <math>(a,b) = (0,0)</math> για την συνάρτηση 
:<math>f(x,y)=e^x\log(1+y).\,</math>
Αρχικά υπολογίζονται οι αναγκαίες μερικές παράγωγοι
:<math>f_x(a,b)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0\,,</math>

:<math>f_y(a,b)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1\,,</math>

:<math>f_{xx}(a,b)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0\,,</math>

:<math>f_{yy}(a,b)=-\frac{e^x}{(1+y)^2}\bigg|_{(x,y)=(0,0)}=-1\,,</math>

:<math>f_{xy}(a,b)=f_{yx}(a,b)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1.</math>

Η σειρά Τέιλορ είναι

:<math>\begin{align} T(x,y) = f(a,b) & +(x-a)\, f_x(a,b) +(y-b)\, f_y(a,b) \\
&+\frac{1}{2!}\left[ (x-a)^2\,f_{xx}(a,b) + 2(x-a)(y-b)\,f_{xy}(a,b) +(y-b)^2\, f_{yy}(a,b) \right]+
\cdots\,,\end{align}</math>

που σε αυτή την περίπτωση γίνεται

:<math>\begin{align}T(x,y) &= 0 + 0(x-0) + 1(y-0) + \frac{1}{2}\Big[ 0(x-0)^2 + 2(x-0)(y-0) + (-1)(y-0)^2 \Big] + \cdots \\
&= y + xy - \frac{y^2}{2} + \cdots. \end{align}
</math>

Αφού  είναι αναλυτική στο |*y*|&nbsp;<&nbsp;1, προκύπτει
:<math>e^x\log(1+y)= y + xy - \frac{y^2}{2} + \cdots</math>
για |*y''|&nbsp;0, και το x+\,\! που υποδεικνύει το όριο καθώς προσεγγίζεται το x\,\! από τα δεξιά, και έτσι η κλασματική σειρά Τέιλορ γράφεται:

:f(x+\Delta x) = f(x) + D_x^\alpha  f(x+)\frac{(\Delta x)^\alpha}{\Gamma(\alpha+1)} + D_x^\alpha  D_x^\alpha f(x+)\frac{(\Delta x)^{2\alpha}}{\Gamma(2\alpha+1)} + \cdots.

## Σύγκριση με σειρές Fourier
Η τριγωνομετρική σειρά Fourier επιτρέπει να εκφράσει μια περιοδική συνάρτηση (ή συνάρτηση ορισμένη σε ένα συμπαγές διάστημα) ως άπειρο άθροισμα των τριγωνομετρικών συναρτήσεων (ημιτόνων και συνημιτόνων). Υπό την έννοια αυτή, η σειρά Fourier είναι ανάλογη με σειρά Τέιλορ, δεδομένου ότι η τελευταία επιτρέπει να εκφράσει μια συνάρτηση ως ένα άπειρο άθροισμα. Παρ' όλα αυτά και οι δύο τύποι της σειράς διαφέρουν σε διάφορα σχετικά θέματα:
*Ο υπολογισμός της σειράς Τέιλορ απαιτεί τη γνώση της συνάρτησης σε μια αυθαίρετη μικρή περιοχή, ενώ ο υπολογισμός της σειράς Fourier απαιτεί την γνώση της συνάρτησης σε όλο τον τομέα του διαστήματος. Κατά μία έννοια θα μπορούσε κανείς να πει ότι η σειρά Taylor είναι «τοπική» και η σειρά Fourier είναι «παγκόσμια».
*Ο υπολογισμός της σειράς Τέιλορ απαιτεί η συνάρτηση να είναι κατηγορίας C∞, ενώ η σειρά Fourier απαιτεί η συνάρτηση να είναι μόνο ολοκληρώσιμη (και, επομένως, δεν μπορεί ακόμη να είναι και συνεχής).
*Η σύγκλιση των δύο σειρών έχει πολύ διαφορετικές ιδιότητες. Ακόμη και αν η σειρά Τέιλορ έχει θετική ακτίνα σύγκλισης, η προκύπτουσα σειρά μπορεί να μην συμπίπτει με τη συνάρτηση. Αλλά αν η συνάρτηση είναι αναλυτική τότε η σειρά συγκλίνει σημειακά στη συνάρτηση, και ομοιόμορφα σε κάθε συμπαγές σύνολο. Όσον αφορά τη σειρά Fourier, εάν η συνάρτηση είναι τετραγωνικά ολοκληρώσιμη τότε θα συγκλίνει σε τετραγωνικό μέσο όρο, αλλά άλλες πρόσθετες απαιτήσεις που είναι αναγκαίες για να εξασφαλιστεί η σημειακή και ομοιόμορφη σύγκλιση είναι για παράδειγμα, αν η συνάρτηση είναι περιοδική και κατηγορίας C1 τότε η σύγκλιση είναι ομοιόμορφη.
*Τέλος, στην πράξη, αν κάποιος θέλει να προσεγγίσει τη συνάρτηση με έναν πεπερασμένο αριθμό όρων, ας πούμε με ένα πολυώνυμο Τέιλορ ή με ένα μερικό άθροισμα της τριγωνομετρική σειράς, αντίστοιχα τότε στην περίπτωση της σειράς Τέιλορ το σφάλμα είναι πολύ μικρό σε μια γειτονιά του σημείου όπου υπολογίζεται, ενώ μπορεί να είναι πολύ μεγάλο σε ένα μακρινό σημείο. Στην περίπτωση της σειράς Fourier το σφάλμα διανέμεται κατά μήκος του τομέα της συνάρτησης.

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


## Πηγές
*
*
*

Κατηγορία:Μαθηματική ανάλυση
Κατηγορία:Μιγαδική ανάλυση
Κατηγορία:Σειρές (μαθηματικά)