Serio de Taylor

En matematiko, **serio de Taylor** estas prezento de funkcio kiel serio (malfinia sumo de termoj kalkulitaj laŭ valoroj de derivaĵoj de la funkcio je sola punkto. Se la punkto kie estas kalkulitaj derivaĵoj estas nulo, la serio estas nomata ankaŭ kiel **serio de Maclaurin**.

## Difino 
La serio de Taylor de reela aŭ kompleksa funkcio *f(x)*, kiu estas malfinie diferencialebla en najbaraĵo de nombro *a*, estas la potencoserio

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

aŭ la samo alie skribita:

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

kie *n*! estas la faktorialo de *n*
: *f(n)(a)* estas la *n*-a derivaĵo de *f* komputita je punkto *a*; la nula derivaĵo de *f* estas difinita kiel la *f* mem.

Ĉi tie estas uzataj *(x-a)0=1* kaj 0!=1.

Sub certaj kondiĉoj (vidu sube), serio de Taylor de *f(x)* egalas al *f(x)* mem por ĉiuj *x* sufiĉe proksimaj al *a*.

## Proprecoj 
Serio de Taylor ne estas ĝenerale nepre konverĝa serio, sed ofte estas. La limigo de konverĝa serio de Taylor de funkcio *f* ĝenerale ne nepre estas egalas al la funkcia valoro *f(x)*, sed ofte ĝi estas. Se ĉi tiu serio konverĝas por ĉiu *x* en najbaraĵo de *a* (en la intervalo *(a-r, a+r)*) kaj la sumo estas egala al *f(x)*, la funkcio estas nomata kiel analitika funkcio en ĉi tiu najbaraĵo. Se *f(x)* estas egala al ĝia serio de Taylor ĉie ĝi estas nomata kiel tuta funkcio.

La eksponenta funkcio e^x, sinuso *sin x* kaj kosinuso *cos x* estas tutaj funkcioj.

La logaritmo, tangento kaj tangentarko ne estas tutaj funkcioj. Por ĉi tiuj funkcioj la serio de Taylor ne konverĝas se *x* estas sufiĉe malproksime de *a*.

Serio de Taylor povas esti uzata por kalkuli la valoron de la funkcio en la respektiva regiono. La partaj sumoj (la polinomoj de Taylor) de la serio povas esti uzataj kiel proksimumigoj de la funkcio (eble per reordigo de la polinomo en la formon de Ĉebiŝev kaj komputo per la algoritmo de Clenshaw). Ili estas sufiĉe bonaj se sufiĉe multaj termoj estas inkluzivitaj.

La teoremo de Taylor donas diversaj de ĝeneralaj baroj pri la amplekso de la eraro de aproksimado de funkcio per ĝia polinomo de Taylor de iu ordo.

La seria prezento plisimpligas multaj matematikajn pruvojn.

La plej simpla pruvo de eŭlera formulo estas per la serioj de Taylor por sinuso, kosinuso, kaj eksponento.

Diferencialado kaj integralado de potencoserio povas esti plenumita aparte por ĉiu termo kaj estas facilaj. Analitika funkcio povas esti unike etendita al holomorfa funkcio difinita en malfermita disko en la kompleksa ebeno.

frame|La funkcio e−1/x² estas ne analitika je *x=0*, la serio de Taylor estas idente 0, kvankam la funkcio ne estas idente 0.

Ekzistas malfinie diferencialeblaj funkcioj *f(x)* kies serio de Taylor konverĝi, sed estas ne egala al *f*(*x*). Ekzemple, la funkcio difinita kiel *f(x) = e-1/x²* se *x≠0* kaj *f(0) = 0* estas ekzemplo de ne-analitika glata funkcio. Ĉiuj ĝiaj derivaĵoj je *x=0* estas nuloj , tiel la serio de Taylor de *f(x)* je *a=0* estas nulo ĉie, kvankam la funkcio estas nenula por ĉiu *x≠0*. Ĉi tio ne estadas ĉe serio de Taylor en kompleksa analitiko. En kompleksa ebeno, la areo de konverĝo de serio de Taylor estas ĉiam disko (eble kun radiuso 0), kaj se la serio de Taylor konverĝas, ĝi konverĝas al la funkcia valoro. La funkcio *f(z) = e-1/x²* ne proksimiĝas al 0 se *z* proksimiĝas al 0 laŭ la imaginara akso, do ĉi tiu funkcio estas ne kontinua en 0 se ĝi estas konsiderata kiel funkcio de kompleksa variablo.

Pro tio ke ĉiu vico de reela aŭ kompleksaj nombroj povas aperi kiel koeficientoj en la serio de Taylor de malfinie diferencialebla funkcio difinis sur la reela linio, la konverĝa radiuso de serio de Taylor povas esti nulo. Estas eĉ malfinie diferencialeblaj funkcioj difinitaj sur la reela linio kies serio de Taylor havas konverĝan radiuson 0 ĉie.

Iuj funkcioj ne povas esti skribita kiel serio de Taylor ĉar ili havas specialaĵojn; en ĉi tiuj okazoj tamen povas ekzisti seria prezento se konsideri ankaŭ negativajn potencojn de la variablo, vidu en serio de Laurent. Kaj la pli supre konsiderata funkcio *f(x) = e-1/x²* povas esti skribita kiel serio de Laurent.

## Serioj de Taylor de iuj funkcioj 
[eta|[Sinuso *sin x* kaj sumoj de la unuaj 1, 3, 5, 7, 9, 11, 13 termoj de ĝia serio de Taylor je *a=0*.]]
[eta|La [eksponenta funkcio (blua), kaj sumoj de la unuaj *n+1* termoj de ĝia serio de Taylor je *a=0* (ruĝa).]]
[150ra|eta|dekstra|La kosinusa funkcio en la [kompleksa ebeno]]
150ra|eta|dekstra|La polinoma proksimumigo de ordo 8 de la kosinusa funkcio en la kompleksa ebeno
150ra|eta|dekstra|La kosinusa funkcio kaj la ĝia polinoma proksimumigo de ordo 8 kune

La serioj en ĉi tiu ĉapitro estas je *a=0*, se ne estas skribite alie. Ili estas validaj ankaŭ por kompleksaj valoroj de *x*.

Polinomo:

La serio por ĉiu polinomo estas la polinomo mem.

Eksponenta funkcio:

La serio por la eksponenta funkcio *ex* estas (ĉar ĉiuj derivaĵoj de *ex* estas *ex* mem, kaj je 0 ili ĉiuj egalas al 1):

:\mathrm{e}^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!} =
::= 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 \quad\mbox{ por ĉiu } x

Trigonometriaj funkcioj:

:\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\mbox{ por ĉiu } x

:\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots\mbox{ por ĉiu } x

:\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \cdots\mbox{ por } |x| 

:: kie *Bj* estas nombroj de Bernoulli.

:\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{ por } |x| 

:: kie *Ej* estas eŭleraj nombroj.

:\arcsin x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ por } |x| 

:\arctan x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\mbox{ por } |x| \le 1

Hiperbolaj funkcioj:

:\sinh x = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{(2n+1)!} \quad\mbox{ por ĉiu } x

:\cosh x = \sum^{\infin}_{n=0} \frac{x^{2n}}{(2n)!} \quad\mbox{ por ĉiu } x

:\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}\quad\mbox{ por } |x| 

:: kie *Bj* estas nombroj de Bernoulli.

:\mathrm{arcsinh} (x) = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ por } |x| 

:\mathrm{arctanh} (x) = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{2n+1} \quad\mbox{ por } |x| 

Binomo de Newton, inkluzivas la malfinian geometrian serion por *α = -1* kaj la kvadratan radikon por *α = 1/2*:

:(1+x)^\alpha = \sum_{n=0}^\infty {\alpha \choose n} x^n\quad\mbox{ por ĉiu } |x| 

:: kie {\alpha\choose n} estas ĝeneraligitaj simboloj de Newton
:: {\alpha\choose n} = \prod_{k=1}^n \frac{\alpha-k+1}k = \frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}

Kvadrata radiko:

:\sqrt{1+x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)n!^24^n}x^n \quad\mbox{ por } |x|

Malfinia geometria serio:

:\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n = 1+x+x^2+x^3+\cdots \quad\mbox{ por } |x| 

Variantoj de la malfinia geometria serio:

:la serio je *a=1* por x^{-1} estas

:x^{-1} = 1-(x-1)+(x-1)^2-(x-1)^3+\cdots \quad\mbox{ por } |x-1|  (por *0 \frac{x^m}{1-x} = \sum^{\infin}_{n=m} x^n\quad\mbox{ por } |x| 

:\frac{x}{(1-x)^2} = \sum^{\infin}_{n=1}n x^n\quad\mbox{ por } |x| 

Finia geometria serio:

:\frac{1-x^{m + 1}}{1-x} = \sum^{m}_{n=0} x^n = 1+x+x^2+x^3+\cdots+x^m \quad\mbox{ por } x \not= 1\mbox{ kaj } m\in\mathbb{N}_0

Natura logaritmo:

La serio je *a=0* por -\ln(1 - x) estas ricevata per integraligo de la pli supre donita serio por \frac{1}{1-x}:

:-\ln(1 - x) = \sum^{\infin}_{n=1} \frac{x^n}n = x+\frac{x^2}2+\frac{x^3}3+\frac{x^4}4+\cdots \quad\mbox{ por } |x| 

do la serio por \ln(x) je *a=1* estas

:\ln(x) = (x-1)-\frac{(x-1)^2}2+\frac{(x-1)^3}3-\frac{(x-1)^4}4+\cdots \quad\mbox{ por } |x-1|  (por *0 W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n\quad\mbox{ por } |x| 

## Serio de Taylor en kelkaj variabloj 
La serio de Taylor povas esti ĝeneraligita al funkcio de pli ol unu variablo

:T(x_1,\cdots,x_d) = 
::=\sum_{n_1=0}^{\infin} \cdots \sum_{n_d=0}^{\infin}
\frac{\partial^{n_1}}{\partial x_1^{n_1}} \cdots \frac{\partial^{n_d}}{\partial x_d^{n_d}}
\frac{f(a_1,\cdots,a_d)}{n_1!\cdots n_d!}
(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}.

En la mult-indeksa skribmaniero la serio de Taylor por kelkaj variabloj estas

:T(\mathbf{x}) = \sum_{|\alpha| \ge 0}^{}{\frac{\mathrm{D}^{\alpha}f(\mathbf{a})}{\alpha !}(\mathbf{x}-\mathbf{a})^{\alpha}}

Ekzemple por funkcio de 2 variabloj *x* kaj *y*, la serio de Taylor ĝis la 2-a ordo je la punkto (*a*, *b'') estas:

:f(x,y)
::\approx f(a,b) + f_x(a,b)(x-a) + f_y(a,b)(y-b) 
:::+ \frac{1}{2!}[ f_{xx}(a,b)(x-a)^2 + 2f_{xy}(a,b)(x-a)(y-b) + f_{yy}(a,b)(y-b)^2 ]

kie la subaj indicoj signifas la respektivajn partajn derivaĵojn.

La serio de Taylor ĝis la 2-a ordo povas esti skribita kiel

:T(\mathbf{x}) = f(\mathbf{a}) + \mathrm{D} f(\mathbf{a})^T (\mathbf{x} - \mathbf{a}) + \frac{1}{2!} (\mathbf{x} - \mathbf{a})^T \mathrm{D}^2 f(\mathbf{a}) (\mathbf{x} - \mathbf{a}) + \cdots\!

kie D f(\mathbf{a}) estas la gradiento (matematiko) kaj D^2 f(\mathbf{a}) estas la matrico de Hessian.

## Serioj de Taylor kiel difinoj 
Klasike, algebraj funkcioj estas difinita per algebra ekvacio, kaj transcendaj funkcioj estas difinitaj per iuj propraĵoj.

Tamen, ankaŭ serioj de Taylor estas uzitaj por difini iujn funkcion, ekzemple tiel estas difinitaj matrica eksponenta funkcio kaj matrica logaritmo. Sinuso kaj kosinuso povas esti ankaŭ tiel difinitaj.

## Vidu ankaŭ 
* Teoremo de Taylor
* Serio de Laurent
* Neŭtona polinomo
* Colin Maclaurin
* Brook Taylor

## Eksteraj ligiloj 
* 
* Madhava de Sangamagramma  
* [http://math.fullerton.edu/mathews/c2003/TaylorSeriesMod.html ]
* Maniero de Parker-Sochacki 
* http://www.risklatte.com/features/quantsKnow051020.php 
* Videbligo  kie eblas elekti la punkton de la proksimumigo kaj la kvanton de derivaĵoj

Kategorio:Matematika serio