Seritë e Tejlorit

Nga testwiki
Versioni i datës 5 shtator 2023 17:02 nga imported>AmbitiousDoughnut (Krijuar nga përkthimi i faqes "Taylor series")
(ndrysh) ← Version më i vjetër | Rishikimi i fundit (ndrysh) | Version më i ri → (ndrysh)
Kërceni tek navigimi Kërceni tek kërkimi
Ndërsa shkalla e polinomit Tejlor rritet, ai i afrohet funksionit të saktë. Ky imazh tregon sin x dhe përafrimet e tij Tejlor me polinome të shkallës 1, 3, 5, 7, 9, 11 dhe 13 në x = 0 .

matematikë, seria Tejlor ose zgjerimi Tejlor i një funksioni është një shumë e pafundme termash që shprehen në terma të derivateve të funksionit në një pikë të vetme. Për shumicën e funksioneve të zakonshme, funksioni dhe shuma e serisë së tij Tejlor janë të barabarta pranë kësaj pike. Seritë Tejlor janë emërtuar sipas Brook Taylor, i cili i paraqiti ato në 1715. Një seri Tejlor quhet gjithashtu një seri Maclaurin kur 0 është pika ku merren parasysh derivatet, pas Colin Maclaurin, i cili përdori gjerësisht këtë rast të veçantë të serisë së Tejlorit në mesin e shekullit të 18-të.

Shuma e pjesshme e formuar nga n + 1 termat e parë të një serie Tejlor është një polinom i shkallës n që quhet polinomi i n -të Tejlor i funksionit. Polinomet e Tejlorit janë përafrime të një funksioni, të cilat në përgjithësi bëhen më të sakta kur rritet n . Teorema e Tejloritit jep vlerësime sasiore mbi gabimin e paraqitur nga përdorimi i përafrimeve të tilla. Një funksion mund të ndryshojë nga shuma e serisë së tij Taylor, edhe nëse seria e tij Taylor është konvergjente. Një funksion është analitik në një pikë x nëse është i barabartë me shumën e serisë së tij Tejlor në një interval të hapur (ose disk të hapur në planin kompleks ) që përmban vetë pikën x . Kjo nënkupton që funksioni është analitik në çdo pikë të intervalit (ose diskut).

Përkufizimi

Seria e Tejlorit e një funksioni real ose me vlerë komplekse f(x) që është pafundësisht i diferencueshëm në një numër real ose kompleks a është seria e fuqisë

f(a)+f(a)1!(xa)+f(a)2!(xa)2+f(a)3!(xa)3+,

ku n ! tregon faktorialin e n . Në shënimin sigma më kompakt, kjo mund të shkruhet si

n=0f(n)(a)n!(xa)n,

ku f(n)(a) tregon derivatin e n-të të f të vlerësuar në pikën a . (Derivati i rendit zero të f është përcaktuar të jetë f vetë dhe (xa)0 dhe 0! janë përcaktuar të dyja të jenë<span typeof="mw:Entity" id="mwWw"> </span>1 . )

Me a = 0, seria Meklaurin merr formën: [1]

f(0)+f(0)1!x+f(0)2!x2+f(0)3!x3+,

ose në shënimin kompakt sigma:

n=0f(n)(0)n!xn.

Shembuj

Seria e Tejlorit për çdo polinomi është vetë polinomi.

Seria Maclaurin e 11x është seria gjeometrike

1+x+x2+x3+.

Pra, duke zëvendësuar x për 1 − x, seria Tejlor e 1xa=1 është

1(x1)+(x1)2(x1)3+.

Duke integruar serinë e mësipërme Meklaurin, gjejmë serinë Meklaurin të ln(1x), ku ln tregon logaritmin natyror :

x12x213x314x4.

Seria përkatëse Tejlor e lnx në a = 1 është

(x1)12(x1)2+13(x1)314(x1)4+,

dhe në përgjithësi, seria përkatëse e Taylor-it e lnx në një pikë arbitrare jozero a është:

lna+1a(xa)1a2(xa)22+.

Seria Meklaurin e funksionit eksponencial e x është

n=0xnn!=x00!+x11!+x22!+x33!+x44!+x55!+=1+x+x22+x36+x424+x5120+.

Zgjerimi i mësipërm vlen sepse derivati i ex në lidhje me x është gjithashtu ex, dhe e 0 është i barabartë 1. Kjo i lë termat (x0)n në numërues dhe n! në emëruesin e çdo termi në shumën e pafundme.

Funksionet analitike

Funksioni e (−1/ x 2 ) nuk është analitik në x = 0 : seria e Tejlorit është identike 0, megjithëse funksioni nuk është.

Nëse f(x) jepet nga një seri fuqie konvergjente në një disk të hapur me qendër në b në planin kompleks (ose një interval në vijën reale), thuhet se është analitik në këtë rajon. Kështu për x në këtë rajon, f jepet nga një seri fuqie konvergjente

f(x)=n=0an(xb)n.

Duke diferencuar në lidhje me x në formulën e mësipërme n herë, më pas vendosja e x=b jep:

f(n)(b)n!=an

dhe kështu zgjerimi i serisë së fuqive përputhet me serinë e Tejlorit. Kështu, një funksion është analitik në një disk të hapur me qendër në b nëse dhe vetëm nëse seria e tij Tejlor konvergjon në vlerën e funksionit në çdo pikë të diskut.

Nëse f(x) është e barabartë me shumën e serisë së saj Tejlor për të gjitha x në rrafshin kompleks, quhet e tërë . Polinomet, funksioni eksponencial e x, dhe funksionet trigonometrike sinusi dhe kosinusi, janë shembuj të funksioneve të tëra. Shembuj të funksioneve që nuk janë të tëra përfshijnë rrënjën katrore, logaritmin, tangjentën e funksionit trigonometrik dhe inversin e saj, arctan . Për këto funksione seria e Taylor-it nuk konvergjon nëse x është larg nga b . Kjo do të thotë, seria e Tejlor-it divergjon në x nëse largësia midis x dhe b është më e madhe se rrezja e konvergjencës . Seria Tejlor mund të përdoret për të llogaritur vlerën e një funksioni të tërë në çdo pikë, nëse vlera e funksionit dhe e të gjithë derivateve të tij janë të njohura në një pikë të vetme.

Përdorimet e serisë së Tejlorit për funksionet analitike përfshijnë:

  1. Shumat e pjesshme ( polinomet e Tejlorit ) të serisë mund të përdoren si përafrime të funksionit. Këto përafrime janë të mira nëse përfshihen mjaft terma.
  2. Diferencimi dhe integrimi i serive të fuqisë mund të kryhet term pas termi dhe për këtë arsye është veçanërisht i lehtë.
  3. Një funksion analitik shtrihet në mënyrë unike në një funksion holomorfik në një disk të hapur në planin kompleks . Kjo bën të gatshme makinerinë e analizës komplekse .
  4. Seria (e cunguar/ e prerë) mund të përdoret për të llogaritur vlerat e funksionit në mënyrë numerike, (shpesh duke e riformuar polinomin në formën Çebishev dhe duke e vlerësuar atë me algoritmin Klenshau ).
  5. Veprimet algjebrike mund të bëhen lehtësisht në paraqitjen e serisë së fuqisë; për shembull, formula e Euler- it vjen nga zgjerimet e serisë së Tejlorit për funksionet trigonometrike dhe eksponenciale. Ky rezultat është i një rëndësie thelbësore në fusha të tilla si analiza harmonike .
  6. Përafrimet duke përdorur termat e parë të një serie Tejlor mund të bëjnë të mundshme probleme të pazgjidhshme për një fushë të kufizuar; kjo qasje përdoret shpesh në fizikë.

Gabimi i përafrimit dhe konvergjenca

Funksioni sinus (blu) përafrohet ngushtë me polinomin e tij të Tejlorit të shkallës 7 (rozë) për një periudhë të plotë të përqendruar në origjinë.
Polinomet e Taylor për ln(1 + x ) ofrojnë vetëm përafrime të sakta në segmentin −1 < x ≤ 1 . Për x > 1, polinomet e Tejlorit të shkallës më të lartë ofrojnë përafrime më të këqija.
Përafrimet e Tejlorit për ln(1 + x ) (e zezë). Për x > 1, përafrimet ndryshojnë.

Në foto është një përafrim i saktë i sin(x) rreth pikës x = 0 . Kurba rozë është një polinom i shkallës shtatë:

sinxxx33!+x55!x77!.

Gabimi në këtë përafrim nuk është më shumë se |x|99! . Për një cikël të plotë të përqendruar në origjinë (π<x<π ) gabimi është më i vogël se 0,08215. Në veçanti, për 1<x<1, gabimi është më i vogël se 0.000003.

Në të kundërt, tregohet gjithashtu një fotografi e funksionit të logaritmit natyror ln(1+x) dhe disa prej polinomeve të tij Taylor rreth a = 0 . Këto përafrime konvergjojnë me funksionin vetëm në rajonin −1 < x ≤ 1 ; jashtë këtij rajoni, polinomet e Tejlorit të shkallës më të lartë janë përafrime më të këqija për funksionin.

Gabimi i bërë në përafrimin e një funksioni me polinomin e tij të Tejlorit të shkallës së n -të quhet mbetje dhe shënohet me funksionin Rn(x) . Teorema e Tejlorit mund të përdoret për të marrë një kufi në madhësinë e pjesës së mbetur .

Lista e serive Meklauren të disa funksioneve të zakonshme

Pasojnë disa zgjerime të rëndësishme të serive Maclaurin. [2] Të gjitha këto zgjerime janë të vlefshme për argumentet komplekse x .

Funksioni eksponencial

Funksioni eksponencial ex (me blu), dhe shuma e n + 1 termave të parë të serisë së tij Tejlor në 0 (me të kuqe).

Funksioni eksponencial ex (me bazën e ) ka serinë Maklauren

ex=n=0xnn!=1+x+x22!+x33!+ .

Kjo seri konvergjon për të gjitha x .

Funksioni gjenerues eksponencial i numrave Bell është funksioni eksponencial i paraardhësit të funksionit eksponencial:

exp(expx1)=n=0Bnn!xn

Logaritmi natyror

Logaritmi natyror (me bazën e ) ka seri Maklauren

ln(1x)=n=1xnn=xx22x33,ln(1+x)=n=1(1)n+1xnn=xx22+x33.

Ato konvergjojnë për |x|<1 . (Përveç kësaj, seria për ln(1x) konvergjon për x = −1, dhe seria për ln(1+x) konvergjon për x = 1 . )

Seria gjeometrike

Seria gjeometrike dhe derivatet e saj kanë seri Maklauren

11x=n=0xn1(1x)2=n=1nxn11(1x)3=n=2(n1)n2xn2.

Të gjitha janë konvergjente për |x|<1 . Këto janë raste të veçanta të serisë binomale të dhëna në seksionin vijues.

Seria binomiale

Seria binomiale është seria e fuqisë(1+x)α=n=0(αn)xnkoeficientët e të cilëve janë koeficientët binomialë të përgjithësuar(αn)=k=1nαk+1k=α(α1)(αn+1)n!.(Nëse n = 0, ky produkt është një produkt bosh dhe ka vlerën 1. ) Konvergjon për |x|<1 për çdo numër real ose kompleks α .

Kur α = -1, kjo është në thelb seria e pafundme gjeometrike e përmendur në pjesën e mëparshme. Rastet e veçanta α = 1/2 dhe a = -1/2 japin rrënjën katrore dhe një ndaj rrënjës katrore:(1+x)12=1+12x18x2+116x35128x4+7256x5=n=0(1)n1(2n)!4n(n!)2(2n1)xn,(1+x)12=112x+38x2516x3+35128x463256x5+=n=0(1)n(2n)!4n(n!)2xn.Kur ruhet vetëm termi linear, kjo thjeshton përafrimin binomial .

Funksionet trigonometrike

Funksionet e zakonshme trigonometrike dhe të anasjelltët e tyre kanë seritë e mëposhtme të Maclaurin:

sinx=n=0(1)n(2n+1)!x2n+1=xx33!+x55!for all xcosx=n=0(1)n(2n)!x2n=1x22!+x44!for all xtanx=n=1B2n(4)n(14n)(2n)!x2n1=x+x33+2x515+for |x|<π2secx=n=0(1)nE2n(2n)!x2n=1+x22+5x424+for |x|<π2arcsinx=n=0(2n)!4n(n!)2(2n+1)x2n+1=x+x36+3x540+for |x|1arccosx=π2arcsinx=π2n=0(2n)!4n(n!)2(2n+1)x2n+1=π2xx363x540for |x|1arctanx=n=0(1)n2n+1x2n+1=xx33+x55for |x|1, x±i

Të gjitha këndet janë të shprehura në radianë . Numrat Bkqë shfaqen në zgjerimet e tan(x) janë numrat e Bernulit . Ek në zgjerimin e sec(x) janë numrat e Eulerit .

Funksionet hiperbolike

Funksionet hiperbolike kanë serinë Maklauren të lidhura ngushtë me serinë për funksionet trigonometrike përkatëse:

sinhx=n=0x2n+1(2n+1)!=x+x33!+x55!+for all xcoshx=n=0x2n(2n)!=1+x22!+x44!+for all xtanhx=n=1B2n4n(4n1)(2n)!x2n1=xx33+2x51517x7315+for |x|<π2arsinhx=n=0(1)n(2n)!4n(n!)2(2n+1)x2n+1=xx36+3x540for |x|1artanhx=n=0x2n+12n+1=x+x33+x55+for |x|1, x±1

Numrat Bk që shfaqen në serinë përtanh(x) janë numrat e Bernulit .

Funksionet polilogaritmike

Pollogaritmet kanë këto identitete përcaktuese:

Li2(x)=n=11n2xn
Li3(x)=n=11n3xn

Funksionet Legendre hi përcaktohen si më poshtë:

χ2(x)=n=01(2n+1)2x2n+1
χ3(x)=n=01(2n+1)3x2n+1

Dhe formulat e paraqitura më poshtë quhen integrale tangjente të anasjellta :

Ti2(x)=n=0(1)n(2n+1)2x2n+1
Ti3(x)=n=0(1)n(2n+1)3x2n+1

termodinamikën statistikore këto formula kanë një rëndësi të madhe.

Llogaritja e serisë Taylor

Ekzistojnë disa metoda për llogaritjen e serive të Tejlorit të një numri të madh funksionesh. Dikush mund të përpiqet të përdorë përkufizimin e serisë Tejlor, megjithëse kjo shpesh kërkon përgjithësimin e formës së koeficientëve sipas një modeli lehtësisht të dukshëm. Përndryshe, mund të përdoren manipulime të tilla si zëvendësimi, shumëzimi ose pjesëtimi, shtimi ose zbritja e serive standarde Tejlor për të ndërtuar serinë gjegjëse të një funksioni, për shkak se seria Tejlor është seri e fuqisë. Në disa raste, mund të nxirret edhe seria Tejlor duke aplikuar në mënyrë të përsëritur integrimin sipas pjesëve . Veçanërisht i përshtatshëm është përdorimi i sistemeve kompjuterike algjebër për të llogaritur seritë në fjalë.

Shembulli i parë

Për të llogaritur polinomin Meklauren të shkallës së 7-të për funksionin

f(x)=ln(cosx),x(π2,π2) ,

së pari mund të rishkruhet funksioni si

f(x)=ln(1+(cosx1)) .

Seria Tejlor për logaritmin natyror është (duke përdorur shënimin e madh O )

ln(1+x)=xx22+x33+O(x4)

dhe për funksionin kosinus

cosx1=x22+x424x6720+O(x8) .

Zgjerimi i serisë së fundit ka një term konstant zero, i cili na mundëson të zëvendësojmë serinë e dytë me të parën dhe të zbresim lehtësisht termat e rendit më të lartë se shkalla e 7-të duke përdorur shënimin e madh O :

f(x)=ln(1+(cosx1))=(cosx1)12(cosx1)2+13(cosx1)3+O((cosx1)4)=(x22+x424x6720+O(x8))12(x22+x424+O(x6))2+13(x22+O(x4))3+O(x8)=x22+x424x6720x48+x648x624+O(x8)=x22x412x645+O(x8).

Meqenëse kosinusi është një funksion çift, koeficientët për të gjitha fuqitë x1,x3,x5,x7 ... duhet të jenë zero.

Shembulli i dytë

Supozoni se duam serinë e Tejlorit në 0 të funksionit

g(x)=excosx.

Kemi për funksionin eksponencial

ex=n=0xnn!=1+x+x22!+x33!+x44!+

dhe, si në shembullin e parë,

cosx=1x22!+x44!

Supozoni se seria e fuqisë është

excosx=c0+c1x+c2x2+c3x3+

Pastaj shumëzimi me emëruesin dhe zëvendësimi i serisë së kosinusit jep

ex=(c0+c1x+c2x2+c3x3+)cosx=(c0+c1x+c2x2+c3x3+c4x4+)(1x22!+x44!)=c0c02x2+c04!x4+c1xc12x3+c14!x5+c2x2c22x4+c24!x6+c3x3c32x5+c34!x7+c4x4+

Mbledhja e termave deri në rendin e katërt jep

ex=c0+c1x+(c2c02)x2+(c3c12)x3+(c4c22+c04!)x4+

Vlerat e ci mund të gjendet duke krahasuar koeficientët me shprehjen e sipërme për ex, duke dhënë:

excosx=1+x+x2+2x33+x42+.

Shembull

Përafrimi i serisë së Tejlorit të rendit të dytë (në portokalli) i një funksioni f(x,y)=exln1+y rreth origjinës.

Për të llogaritur një zgjerim të serisë Taylor të rendit të dytë rreth pikës (a,b)=(0,0) të funksionit

f(x,y)=exln(1+y),

së pari llogariten të gjitha derivatet e nevojshme të pjesshme:

fx=exln(1+y)fy=ex1+yfxx=exln(1+y)fyy=ex(1+y)2fxy=fyx=ex1+y.

Vlerësimi i këtyre derivateve në origjinë jep koeficientët e Tejlorit

fx(0,0)=0fy(0,0)=1fxx(0,0)=0fyy(0,0)=1fxy(0,0)=fyx(0,0)=1.

Zëvendësimi i këtyre vlerave në formulën e përgjithshme

T(x,y)=f(a,b)+(xa)fx(a,b)+(yb)fy(a,b)+12!((xa)2fxx(a,b)+2(xa)(yb)fxy(a,b)+(yb)2fyy(a,b))+

jep

T(x,y)=0+0(x0)+1(y0)+12(0(x0)2+2(x0)(y0)+(1)(y0)2)+=y+xy12y2+

Meqenëse ln(1+y) është analitike në |y|<1, kemi

exln(1+y)=y+xy12y2+,|y|<1.
  1. Stampa:Harvnb
  2. Most of these can be found in Stampa:Harvard citation.