Kdjykuj

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)+f′(a)1!(x−a)+f″(a)2!(x−a)2+f(3)(a)3!(x−a)3+⋯{displaystyle 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:

∑n=0∞f(n)(a)n!(x−a)n,{displaystyle sum _{n=0}^{infty }{frac {f^{(n)}(a)}{n!}}(x-a)^{n},,}

kie n! estas la faktorialo de n

f⁽ⁿ⁾(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)⁰=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.

Propraĵoj |

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 ex{displaystyle 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.

La sinusa funkcio sin(x) (blua) estas aproksimita per ĝia polinomo de Taylor de ordo 7 (roza) por plena periodo centrita ĉirkaŭ la punkto a = 0. La roza kurbo estas la polinomo de ordo 7: sin⁡(x)≈x−x33!+x55!−x77!{displaystyle sin(x)approx x-{frac {x^{3}}{3!}}+{frac {x^{5}}{5!}}-{frac {x^{7}}{7!}}}. Pro tio ke signoj de termoj estas alternaj, la eraro de ĉi tiu proksimuma kalkulado estas ne pli granda ol la unua forĵetita termo x99!{displaystyle {frac {x^{9}}{9!}}}. Tiel por |x|<1, la eraro estas ne pli granda ol 3·10−6.

La polinomoj de Taylor por log(1+x). En kontrasto al sinuso, ĉi tiuj proksimumigoj konverĝas al la funkcio nur por -1 < x ≤ 1. Por x > 1, la polinomo de Taylor de pli alta grado estas pli malbona proksimumigo. Ĉi tio estas ekzemplo de fenomeno de Runge.

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.

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 havi 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 |

Sinuso sin x kaj sumoj de la unuaj 1, 3, 5, 7, 9, 11, 13 termoj de ĝia serio de Taylor je a=0.

La eksponenta funkcio (blua), kaj sumoj de la unuaj n+1 termoj de ĝia serio de Taylor je a=0 (ruĝa).

La kosinusa funkcio en la kompleksa ebeno

La polinoma proksimumigo de ordo 8 de la kosinusa funkcio en la kompleksa ebeno

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 e^x estas (ĉar ĉiuj derivaĵoj de e^x estas e^x mem, kaj je 0 ili ĉiuj egalas al 1):

ex=∑n=0∞xnn!={displaystyle mathrm {e} ^{x}=sum _{n=0}^{infty }{frac {x^{n}}{n!}}=}

=1+x11!+x22!+x33!+x44!+x55!+⋯={displaystyle =1+{frac {x^{1}}{1!}}+{frac {x^{2}}{2!}}+{frac {x^{3}}{3!}}+{frac {x^{4}}{4!}}+{frac {x^{5}}{5!}}+cdots =}.

=1+x+x22+x36+x424+x5120+⋯ por cxiu x{displaystyle =1+x+{frac {x^{2}}{2}}+{frac {x^{3}}{6}}+{frac {x^{4}}{24}}+{frac {x^{5}}{120}}+cdots quad {mbox{ por cxiu }}x}

Trigonometriaj funkcioj:

sin⁡x=∑n=0∞(−1)n(2n+1)!x2n+1=x−x33!+x55!−⋯ por cxiu x{displaystyle sin x=sum _{n=0}^{infty }{frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}quad =x-{frac {x^{3}}{3!}}+{frac {x^{5}}{5!}}-cdots {mbox{ por cxiu }}x}

cos⁡x=∑n=0∞(−1)n(2n)!x2n=1−x22!+x44!−⋯ por cxiu x{displaystyle cos x=sum _{n=0}^{infty }{frac {(-1)^{n}}{(2n)!}}x^{2n}quad =1-{frac {x^{2}}{2!}}+{frac {x^{4}}{4!}}-cdots {mbox{ por cxiu }}x}

tan⁡x=∑n=1∞B2n(−4)n(1−4n)(2n)!x2n−1=x+x33+2x515+⋯ por |x|<π2{displaystyle tan x=sum _{n=1}^{infty }{frac {B_{2n}(-4)^{n}(1-4^{n})}{(2n)!}}x^{2n-1}quad =x+{frac {x^{3}}{3}}+{frac {2x^{5}}{15}}+cdots {mbox{ por }}|x|<{frac {pi }{2}}}

kie B_j estas nombroj de Bernoulli.

sec⁡x=∑n=0∞(−1)nE2n(2n)!x2n por |x|<π2{displaystyle sec x=sum _{n=0}^{infty }{frac {(-1)^{n}E_{2n}}{(2n)!}}x^{2n}quad {mbox{ por }}|x|<{frac {pi }{2}}}

kie E_j estas eŭleraj nombroj.

arcsin⁡x=∑n=0∞(2n)!4n(n!)2(2n+1)x2n+1 por |x|<1{displaystyle arcsin x=sum _{n=0}^{infty }{frac {(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}quad {mbox{ por }}|x|<1}

arctan⁡x=∑n=0∞(−1)n2n+1x2n+1 por |x|≤1{displaystyle arctan x=sum _{n=0}^{infty }{frac {(-1)^{n}}{2n+1}}x^{2n+1}quad {mbox{ por }}|x|leq 1}

Hiperbolaj funkcioj:

sinh⁡x=∑n=0∞x2n+1(2n+1)! por cxiu x{displaystyle sinh x=sum _{n=0}^{infty }{frac {x^{2n+1}}{(2n+1)!}}quad {mbox{ por cxiu }}x}

cosh⁡x=∑n=0∞x2n(2n)! por cxiu x{displaystyle cosh x=sum _{n=0}^{infty }{frac {x^{2n}}{(2n)!}}quad {mbox{ por cxiu }}x}

tanh⁡x=∑n=1∞B2n4n(4n−1)(2n)!x2n−1 por |x|<π2{displaystyle tanh x=sum _{n=1}^{infty }{frac {B_{2n}4^{n}(4^{n}-1)}{(2n)!}}x^{2n-1}quad {mbox{ por }}|x|<{frac {pi }{2}}}

kie B_j estas nombroj de Bernoulli.

arcsinh(x)=∑n=0∞(−1)n(2n)!4n(n!)2(2n+1)x2n+1 por |x|<1{displaystyle mathrm {arcsinh} (x)=sum _{n=0}^{infty }{frac {(-1)^{n}(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}quad {mbox{ por }}|x|<1}

arctanh(x)=∑n=0∞x2n+12n+1 por |x|<1{displaystyle mathrm {arctanh} (x)=sum _{n=0}^{infty }{frac {x^{2n+1}}{2n+1}}quad {mbox{ por }}|x|<1}

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

(1+x)α=∑n=0∞(αn)xn por cxiu |x|<1 por cxiu (kompleksa) α{displaystyle (1+x)^{alpha }=sum _{n=0}^{infty }{alpha choose n}x^{n}quad {mbox{ por cxiu }}|x|<1{mbox{ por cxiu (kompleksa) }}alpha }

kie (αn){displaystyle {alpha choose n}} estas ĝeneraligitaj simboloj de Newton

(αn)=∏k=1nα−k+1k=α(α−1)⋯(α−n+1)n!{displaystyle {alpha choose n}=prod _{k=1}^{n}{frac {alpha -k+1}{k}}={frac {alpha (alpha -1)cdots (alpha -n+1)}{n!}}}

Kvadrata radiko:

1+x=∑n=0∞(−1)n(2n)!(1−2n)n!24nxn por |x|<1{displaystyle {sqrt {1+x}}=sum _{n=0}^{infty }{frac {(-1)^{n}(2n)!}{(1-2n)n!^{2}4^{n}}}x^{n}quad {mbox{ por }}|x|<1}

Malfinia geometria serio:

11−x=∑n=0∞xn=1+x+x2+x3+⋯ por |x|<1{displaystyle {frac {1}{1-x}}=sum _{n=0}^{infty }x^{n}=1+x+x^{2}+x^{3}+cdots quad {mbox{ por }}|x|<1}

Variantoj de la malfinia geometria serio:

la serio je a=1 por x−1{displaystyle x^{-1}} estas

x−1=1−(x−1)+(x−1)2−(x−1)3+⋯ por |x−1|<1{displaystyle x^{-1}=1-(x-1)+(x-1)^{2}-(x-1)^{3}+cdots quad {mbox{ por }}|x-1|<1} (por 0 < x < 2 por reela x)

xm1−x=∑n=m∞xn por |x|<1 kaj m∈N0{displaystyle {frac {x^{m}}{1-x}}=sum _{n=m}^{infty }x^{n}quad {mbox{ por }}|x|<1{mbox{ kaj }}min mathbb {N} _{0}}

x(1−x)2=∑n=1∞nxn por |x|<1{displaystyle {frac {x}{(1-x)^{2}}}=sum _{n=1}^{infty }nx^{n}quad {mbox{ por }}|x|<1}

Finia geometria serio:

1−xm+11−x=∑n=0mxn=1+x+x2+x3+⋯+xm por x≠1 kaj m∈N0{displaystyle {frac {1-x^{m+1}}{1-x}}=sum _{n=0}^{m}x^{n}=1+x+x^{2}+x^{3}+cdots +x^{m}quad {mbox{ por }}xnot =1{mbox{ kaj }}min mathbb {N} _{0}}

Natura logaritmo:

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

−ln⁡(1−x)=∑n=1∞xnn=x+x22+x33+x44+⋯ por |x|<1{displaystyle -ln(1-x)=sum _{n=1}^{infty }{frac {x^{n}}{n}}=x+{frac {x^{2}}{2}}+{frac {x^{3}}{3}}+{frac {x^{4}}{4}}+cdots quad {mbox{ por }}|x|<1}

do la serio por ln⁡(x){displaystyle ln(x)} je a=1 estas

ln⁡(x)=(x−1)−(x−1)22+(x−1)33−(x−1)44+⋯ por |x−1|<1{displaystyle 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|<1} (por 0 < x < 2 por reela x)

W funkcio de Lambert:

W0(x)=∑n=1∞(−n)n−1n!xn por |x|<1e{displaystyle W_{0}(x)=sum _{n=1}^{infty }{frac {(-n)^{n-1}}{n!}}x^{n}quad {mbox{ por }}|x|<{frac {1}{mathrm {e} }}}

Serio de Taylor en kelkaj variabloj |

La serio de Taylor povas esti ĝeneraligita al funkcio de pli ol unu variablo

T(x1,⋯,xd)={displaystyle T(x_{1},cdots ,x_{d})=}

=∑n1=0∞⋯∑nd=0∞∂n1∂x1n1⋯∂nd∂xdndf(a1,⋯,ad)n1!⋯nd!(x1−a1)n1⋯(xd−ad)nd{displaystyle =sum _{n_{1}=0}^{infty }cdots sum _{n_{d}=0}^{infty }{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(x)=∑|α|≥0Dαf(a)α!(x−a)α{displaystyle T(mathbf {x} )=sum _{|alpha |geq 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){displaystyle f(x,y)}

≈f(a,b)+fx(a,b)(x−a)+fy(a,b)(y−b){displaystyle approx f(a,b)+f_{x}(a,b)(x-a)+f_{y}(a,b)(y-b)}

+12![fxx(a,b)(x−a)2+2fxy(a,b)(x−a)(y−b)+fyy(a,b)(y−b)2]{displaystyle +{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(x)=f(a)+Df(a)T(x−a)+12!(x−a)TD2f(a)(x−a)+⋯{displaystyle 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 Df(a){displaystyle Df(mathbf {a} )} estas la gradiento (matematiko) kaj D2f(a){displaystyle 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

Eksteraj ligiloj |

• Eric W. Weisstein, Serio de Taylor en MathWorld.


• Madhava de Sangamagramma


• [1]


• Maniero de Parker-Sochacki


• [2]


• 
  Videbligo kie eblas elekti la punkton de la proksimumigo kaj la kvanton de derivaĵoj