Potensrekker, Taylor-rekker. - Universitetet i Tromsø
Potensrekker, Taylor-rekker. - Universitetet i Tromsø
Potensrekker, Taylor-rekker. - Universitetet i Tromsø
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Matematikk 2 og statistikk - studieveiledning.<br />
Generelt om tallfølger og <strong>rekker</strong>. Side 1.<br />
Alle henvisningene til lærebok gjelder Per-Even Kleive: Matematiske metoder 2, 3.<br />
utgave. Henvisninger i parentes gjelder 2. utgave.<br />
Rekker der leddene avhenger av en fri variabel.<br />
Læreboka starter i eks. 3.1 med å merke seg at den geometriske rekka<br />
2 3<br />
1+ x+ x + x + + x n + <br />
1<br />
har summen forutsatt at rekka konvergerer, altså når − < <<br />
1− x 1 x 1.<br />
Vi kan altså skrive<br />
1<br />
2 3<br />
n 1<br />
= 1+ x+ x + x + + x + = når − 1< x < 1.<br />
1−<br />
x 1 − x<br />
Læreboka uttrykker seg mer forsiktig: Den sier at rekka "konvergerer mot"<br />
ledd går mot uendelig.<br />
1<br />
1− x<br />
når antall<br />
Hopp over eks. 3.2. Regn heller oppgave 3.1, 3.3. I begge disse oppgavene er det<br />
geometriske <strong>rekker</strong>, slik at du må finne kvotienten k, og bestemme hvilke x-verdier som gjør<br />
at − 1< k < 1.<br />
Vi forlater nå de geometriske rekkene, og går over til å se på potens<strong>rekker</strong>. Og disse rekkene<br />
skal vi holde oss til i resten av kapitlet og i kap. 4. En enkel form for en potensrekke er gitt i<br />
definisjon 3.1. En mer generell definisjon er gitt i definisjon 3.2.<br />
Før vi går videre, vil jeg si litt om hvorfor vi maser om disse potensrekkene. I eks. 3.1 så vi at<br />
1<br />
funksjonen kan skrives som ei potensrekke når x ligger innenfor et konvergensintervall<br />
1− x<br />
(den geometriske rekka i det eksemplet er også ei potensrekke). Nå viser det seg at svært<br />
mange funksjoner kan skrives som slike potens<strong>rekker</strong>, iallfall når x ligger innenfor et visst<br />
intervall. Dersom vi tar med et endelig antall ledd i rekka, vil rekka tilnærmet være lik<br />
funksjonen. Og slike rekkeutviklinger av funksjoner er faktisk nyttig i mange situasjoner.<br />
Vi må altså ta for oss to problem:<br />
1) Hvordan kan vi finne potensrekka til en funksjon f x Behandles i kap. 4 (og 3.5).<br />
2) For hvilke x-verdier konvergerer rekka mot f x Behandles i resten av kap. 3.<br />
Læreboka starter omtalen av konvergens av potens<strong>rekker</strong> med setning 3.1. Det intervallet der<br />
rekka konvergerer, kalles konvergensintervallet. Halve bredden av dette intervallet blir<br />
konvergensradien, se definisjon 3.3.<br />
• Vi finner konvergensintervallet ved hjelp av forholdskriteriet (kap. 2.11 (2.10)).<br />
• Endepunktene av konvergensintervallet må undersøkes spesielt.<br />
Eks. 3.3 kan danne mønsteroppskrift for en slik konvergensundersøkelse.<br />
Gå gjennom eks. 3.3 og 3.4, og du vil se at mønsteret fra eks. 3.3 går igjen.<br />
Oppgave 3.5 a,b,c,e.<br />
b g<br />
b g<br />
Bjørn Davidsen, <strong>Universitetet</strong> i Tromsø. 2009.
Matematikk 2 og statistikk - studieveiledning.<br />
Generelt om tallfølger og <strong>rekker</strong>. Side 2.<br />
∞<br />
∑ kb<br />
n=<br />
1<br />
Kap. 3.4 er stort sett bare repetisjon av kap. 3.3, men med den generelle rekka c x−<br />
a .<br />
Du finner konvergensintervallet for rekka på samme måte som før, bare med den lille<br />
forskjellen at x blir erstattet av x − a . Etter at du har funnet konvergensintervallet for<br />
x − a , legger du til a på begge sider av likhetstegnet. Se eks. 3.6 - 3.8.<br />
Oppgave 3.6 a,c.<br />
Kap. 3.5 kan virke litt uoversiktlig. Hovedpoengene er:<br />
2<br />
b g b g b g b g n<br />
Anta at f x = c0 + c1 x− a + c2<br />
x− a + + cn<br />
x− a + <br />
innenfor et konvergensintervall. Innenfor dette intervallet kan vi da:<br />
• derivere på begge sider (setning 3.4 (3.5)):<br />
dfbg x<br />
c cbx ag n cnbx ag n −1<br />
=<br />
1<br />
+ 2<br />
2<br />
− + + ⋅ − + <br />
dx<br />
• integrere på begge sider (setning 3.5 (3.4)):<br />
z<br />
x<br />
c1 2 c2 3 cn<br />
n+<br />
1<br />
fbg t dt = c0bx− ag+ bx− ag + bx− ag + +<br />
bx− ag<br />
+ <br />
a<br />
2 3 n + 1<br />
Vi får da nye potens<strong>rekker</strong> med samme konvergensradius som rekka til f x .<br />
Hopp over eks. 3.9 og 3.10. I eks. 3.11 starter vi med at<br />
1<br />
2<br />
= 1+ x+ x + + x n + når − 1< x < 1.<br />
1−<br />
x<br />
Integrerer på begge sider:<br />
zx<br />
1 1 2 1 3 1<br />
= + + + + +<br />
0 1−<br />
t dt x 2<br />
x 3<br />
x n x n<br />
<br />
zx<br />
1<br />
Men =− 1−<br />
0 1−<br />
t dt lnb x g . Innsetting og fortegnsskift gir at<br />
1 2 1 3 1<br />
lnb1<br />
− x g= − x − − − − −<br />
2<br />
x 3<br />
x <br />
n x n når − 1< x < 1.<br />
Og dermed har vi funnet potensrekka til funksjonen fbxg = lnb1 − xg<br />
når − 1< x < 1.<br />
Det samme skjer i eks. 3.12 (3.10). Vi starter med at<br />
1<br />
2 4 6<br />
= 1− x + x − x + når − 1< x < 1 (geometrisk rekke).<br />
2<br />
1 + x<br />
Så integrerer vi på begge sider, og ender opp med ei potensrekke for arcus tangens:<br />
3 5 7<br />
x x x<br />
arctan x = x− + − + når − 1< x < 1.<br />
3 5 7<br />
(Slutten av eksemplet om Gregorys formel kan du hoppe over).<br />
Prøv selv å løse eks. 3.13 før du ser på løsningen (eksemplet er mer rotet i 2. utgave).<br />
Du kan (foreløpig) hoppe over Eks. 3.14 og 3.15. Gå heller gjennom Eks. 3.16 som gjelder<br />
derivasjon av potens<strong>rekker</strong> (bruk av setning 3.4).<br />
Her kommer et eksempel til: Vi starter (som så ofte før) med at<br />
b g<br />
g<br />
k<br />
Bjørn Davidsen, <strong>Universitetet</strong> i Tromsø. 2009.
Matematikk 2 og statistikk - studieveiledning.<br />
Generelt om tallfølger og <strong>rekker</strong>. Side 3.<br />
1<br />
2<br />
= 1+ x+ x + + x n + når − 1< x < 1.<br />
1−<br />
x<br />
Deriverer på begge sider:<br />
1<br />
2 −1<br />
= 1+ 2x+ 3x + + nx n + når − 1< x < 1.<br />
2<br />
b1<br />
− xg<br />
1<br />
Og dermed har vi funnet ei potensrekke for fbg<br />
x =<br />
2<br />
1−<br />
x<br />
når − 1< x < 1.<br />
I noen av eksemplene ovenfor foretar vi operasjoner på slike potens<strong>rekker</strong>. Setning 3.6 og 3.7<br />
kommer da til anvendelse. Se også eks. 3.14 og 3.17.<br />
Et eksempel til: Jeg har nettopp vist at<br />
1<br />
2 −1<br />
= 1+ 2x+ 3x + + nx n + når − 1< x < 1.<br />
2<br />
b1<br />
− xg<br />
Multipliserer med x på begge sider, og får<br />
x<br />
2 3<br />
= x+ 2x + 3x + + nx n + når − 1< x < 1.<br />
2<br />
b1<br />
− xg<br />
x<br />
Og dermed har vi funnet ei potensrekke for fbg<br />
x =<br />
2<br />
b1−<br />
xg<br />
når − 1< x < 1.<br />
Oppgave 3.9.<br />
b<br />
g<br />
<strong>Taylor</strong>- og Maclaurin-<strong>rekker</strong>.<br />
Vi skal nå finne potens<strong>rekker</strong> for en funksjon<br />
∞<br />
∑<br />
fbxg<br />
k<br />
• Rekker av formen cx kalles Maclaurin-<strong>rekker</strong>.<br />
k<br />
k = 1<br />
∞<br />
∑ kb<br />
k = 1<br />
• Rekker av formen c x−<br />
a kalles <strong>Taylor</strong>-<strong>rekker</strong>.<br />
g<br />
k<br />
på en systematisk måte. Litt terminologi:<br />
• Dersom rekkene inneholder et endelig antall ledd, kalles de henholdsvis Maclaurinpolynom<br />
og <strong>Taylor</strong>-polynom.<br />
Vi ser at Maclaurin-<strong>rekker</strong> er spesialtilfeller av <strong>Taylor</strong>-<strong>rekker</strong>. Vi bruker derfor "<strong>Taylor</strong>rekke"<br />
som et generelt uttrykk som også omfatter Maclaurin-<strong>rekker</strong>.<br />
Læreboka starter med å konstruere Maclaurin-polynom (se definisjon 4.1). Denne<br />
definisjonen er viktig, fordi den danner grunnlaget for alt videre arbeid med Maclaurin- og<br />
<strong>Taylor</strong>-<strong>rekker</strong>. Poenget er nå at Maclaurin-polynomet er tilnærmet lik fbxg<br />
, men at<br />
tilnærmingen blir stadig bedre etter som antall ledd øker. Når antall ledd går mot uendelig, vil<br />
Maclaurin-polynomet (som nå er blitt ei Maclaurin-rekke) konvergere mot fbxg<br />
. Se eks. 4.1,<br />
4.2 og 4.3.<br />
Oppgave 4.1, 4.3.<br />
Bjørn Davidsen, <strong>Universitetet</strong> i Tromsø. 2009.
Matematikk 2 og statistikk - studieveiledning.<br />
Generelt om tallfølger og <strong>rekker</strong>. Side 4.<br />
Så går vi løs på det mer generelle <strong>Taylor</strong>-polynomet i kap. 4.3 (4.2). Se definisjon 4.2 og eks.<br />
4.4, og løs oppgave 4.4.<br />
I kap. 4.4 (4.3) lar vi antall ledd gå mot uendelig, slik at vi får <strong>rekker</strong>. De nødvendige<br />
definisjoner finner du i definisjon 4.3 og 4.4. Det grunnleggende resultatet finner du i setning<br />
4.1. Denne setningen kan virke litt kronglete, men hovedinnholdet er at dersom <strong>Taylor</strong>-rekka<br />
fra definisjon 4.3 konvergerer, så vil den konvergere mot fbxg<br />
. Restledd-formelen angir en<br />
øvre grense for den feilen vi gjør ved å kutte rekka etter n ledd.<br />
Gå gjennom eks. 4.7 (4.6) og 4.8 (4.7).<br />
Vi har nå utledet de tre viktigste <strong>Taylor</strong>-rekkene (egentlig Maclaurin-<strong>rekker</strong>):<br />
3 5 7<br />
x x x<br />
sin x = x− + − + <br />
3! 5! 7!<br />
2 4 6<br />
x x x<br />
cos x = 1− + − + <br />
2! 4!<br />
6!<br />
2 3 4<br />
x x x<br />
e<br />
x = 1 + x + 2! + 3! + 4!<br />
+ <br />
Disse rekkene danner utgangspunkt for mange andre <strong>rekker</strong>. Du bør derfor kjenne til dem. Se<br />
eks. 4.9 (4.8) og 4.10 (4.9). Se også setning 4.2, og eks. 4.11 (4.10) og 4.13 (4.12).<br />
Oppgave 4.6 a,b,c, 4.8, 4.9. (Hint til 4.9a: Tenk geometrisk rekke. Hint til 4.9b: Erstatt<br />
x med x 2 ).<br />
b g med konvergensområde − < <<br />
I eks. 4.14 (4.13) utledes ei <strong>Taylor</strong>-rekke for ln 1+ x<br />
1 x 1.<br />
Også denne rekka bør du innlemme i formelsamlingen sammen med rekkene for sin x , cos x<br />
og e x . I eks. 4.15 (4.14) utledes ei <strong>Taylor</strong>-rekke for ln x om x = 2 . Sammenlikn med din<br />
løsning av oppgave 4.4.<br />
Oppgave 4.7a,b.<br />
b<br />
Du kjenner kanskje binomialformelen for 1+ x m<br />
når m er et helt, positivt tall. I kap. 4.4<br />
generaliseres denne formelen slik at den også kan brukes for andre verdier av m. Se hvordan<br />
formelen brukes i eks. 4.16 (4.15) og i eks. 4.17 (4.16).<br />
Oppgave 4.11.<br />
Et råd til slutt: Dersom du skal sette opp <strong>Taylor</strong>-rekka til en funksjon f x , bør du ikke gyve<br />
løs på definisjon 4.3 med det samme. Undersøk om rekka kan settes opp på grunnlag av<br />
x<br />
allerede kjente <strong>rekker</strong>, f.eks. rekkene for sin x , cos x , e og ln x . Undersøk også om f x<br />
a<br />
kan omformes til (eller inneholder en slik faktor), slik at du kan sette opp ei geometrisk<br />
1− k<br />
rekke. Se f.eks. oppgave 4.9a. Dette er jo summen av den uendelige geometriske rekka<br />
2<br />
a+ ak + ak + . Brøkfunksjoner og funksjoner som inneholder rotuttrykk kan ofte<br />
behandles med formelen for binomisk rekke (kap. 4.4).<br />
Vi tar ikke med kap. 4.6 og 4.7 (4.5) om løsing av differensiallikninger.<br />
g<br />
b g<br />
b g<br />
Bjørn Davidsen, <strong>Universitetet</strong> i Tromsø. 2009.