Tilbake
6.4
Alle fag for Høyskole

6.4 Summering av potensrekker

Finn lukket sum ved å manipulere mot en geometrisk eller kjent Taylor-rekke og derivere/integrere leddvis — toppsjiktets karakterskiller i det gamle regimet.

55 min
11 oppgaver
Summering av potensrekker
Din fremgang i kapitlet
0 / 11 oppgaver
Kapitlets plass i kurset
Forkunnskaper. Dette kapitlet fortsetter kap. 6.3: du må kunne finne konvergensradius og -område, siden all leddvis regning bare er gyldig innenfor konvergensradiusen. Du bør også kjenne Potensrekker og Taylor-rekker fra S2 (Taylor-utvikling i én variabel).

Sist du var her (kap. 6.3): geometrisk rekke 11−x=∑xn\tfrac{1}{1-x}=\sum x^n (∣x∣<1|x|<1), konvergensradius RR, og at endepunktene sjekkes separat. Formelsamlingen gir standard Taylor-rekker (ex, sin⁡x, cos⁡x, ln⁡(1+x), arctan⁡xe^x,\ \sin x,\ \cos x,\ \ln(1+x),\ \arctan x) og geometrisk rekke — disse er referansefamilien vi summerer mot.

Å summere en potensrekke er å finne et lukket uttrykk (uten sum-tegn) for hva den konvergerer til. Nøkkelen er at vi allerede kjenner summen av noen få rekker — først og fremst den geometriske 11−x=∑xn\tfrac{1}{1-x} = \sum x^n — og at nesten enhver annen potensrekke kan manipuleres tilbake til en av disse.

To verktøy gjør dette mulig: (1) algebraisk manipulasjon (indeksskift, faktorisering, multiplikasjon med xx) som gjenkjenner en rekke som en kjent standardrekke; (2) leddvis derivasjon og integrasjon, som er lovlig innenfor konvergensradiusen og forvandler én kjent rekke til en annen. Til slutt kan vi sette inn en tallverdi for xx og lese av en tallrekkesum. Tre løkker: (1) manipulasjon mot standardrekkene; (2) leddvis derivasjon/integrasjon og hjelpefunksjonsmetoden; (3) fra potensrekkesum til tallrekkesum.

Løkke 1 — Standardrekkene og manipulasjon mot geometrisk rekke (~16 min)

Lukket sum av en potensrekke

En lukket sum er et uttrykk for ∑nanxn\sum_{n} a_n x^n som en vanlig funksjon av xx (uten sum-tegn), gyldig på konvergensområdet. For eksempel er ∑n=0∞xn\sum_{n=0}^\infty x^n ikke bare et symbol — den er funksjonen 11−x\tfrac{1}{1-x} for ∣x∣<1|x|<1. Å summere en rekke er å finne denne funksjonen.

Referansefamilien (standardrekkene)
Rekkene vi summerer mot — de kjente Maclaurin-rekkene fra formelsamlingen:

11−x=∑n=0∞xn (∣x∣<1),ex=∑n=0∞xnn!,ln⁡(1+x)=∑n=1∞(−1)n+1xnn (−1<x≤1),\frac{1}{1-x}=\sum_{n=0}^\infty x^n\ (|x|<1),\quad e^x=\sum_{n=0}^\infty \frac{x^n}{n!},\quad \ln(1+x)=\sum_{n=1}^\infty \frac{(-1)^{n+1}x^n}{n}\ (-1<x\le 1),
sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!,cos⁡x=∑n=0∞(−1)nx2n(2n)!,arctan⁡x=∑n=0∞(−1)nx2n+12n+1.\sin x=\sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!},\quad \cos x=\sum_{n=0}^\infty \frac{(-1)^n x^{2n}}{(2n)!},\quad \arctan x=\sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{2n+1}.

Målet ved summering er alltid å gjenkjenne rekka som en av disse (etter manipulasjon).

Indeksskift

Å endre summasjonsvariabelen for å matche en standardrekke, uten å endre selve summen. Skifter du fra nn til m=n−1m=n-1, må start­indeksen og eksponentene følge med. Vanlig grep: skriv ∑n=1∞xn=x∑n=1∞xn−1=x∑m=0∞xm=x1−x\sum_{n=1}^\infty x^{n} = x\sum_{n=1}^\infty x^{n-1} = x\sum_{m=0}^\infty x^m = \tfrac{x}{1-x}. En vanlig feil er å miste eller legge til ett ledd.

Multiplikasjon med xx (faktorisering)

Å trekke en potens av xx ut av eller inn i summen for å treffe en standardrekke. For eksempel: ∑n=0∞xn+2=x2∑n=0∞xn=x21−x\sum_{n=0}^\infty x^{n+2} = x^2\sum_{n=0}^\infty x^n = \dfrac{x^2}{1-x}, og omvendt kan man gange inn en xx for å heve eksponenten. Dette endrer ikke konvergensradiusen.

✏️Eksempel 1: Manipulasjon mot geometrisk rekke

Finn en lukket sum for (a) ∑n=0∞xn3n\sum_{n=0}^\infty \dfrac{x^n}{3^n} og (b) ∑n=0∞(−1)nx2n\sum_{n=0}^\infty (-1)^n x^{2n}, med konvergensområde.

a) Skriv xn3n=(x3)n\dfrac{x^n}{3^n} = \left(\dfrac{x}{3}\right)^n. Dette er en geometrisk rekke med forhold k=x3k=\tfrac{x}{3}:
∑n=0∞(x3)n=11−x3=33−x,∣x3∣<1⇔∣x∣<3.\sum_{n=0}^\infty \left(\frac{x}{3}\right)^n = \frac{1}{1-\tfrac{x}{3}} = \frac{3}{3-x},\qquad \left|\tfrac{x}{3}\right|<1 \Leftrightarrow |x|<3.

b) Skriv (−1)nx2n=(−x2)n(-1)^n x^{2n} = (-x^2)^n — geometrisk med forhold k=−x2k=-x^2:
∑n=0∞(−x2)n=11−(−x2)=11+x2,∣−x2∣<1⇔∣x∣<1.\sum_{n=0}^\infty (-x^2)^n = \frac{1}{1-(-x^2)} = \frac{1}{1+x^2},\qquad |{-x^2}|<1 \Leftrightarrow |x|<1.

Konklusjon: (a) 33−x\dfrac{3}{3-x} for ∣x∣<3|x|<3; (b) 11+x2\dfrac{1}{1+x^2} for ∣x∣<1|x|<1.

📝Oppgave 1

Finn en lukket sum og konvergensområde for

a) ∑n=0∞(x2)n\sum_{n=0}^\infty \left(\tfrac{x}{2}\right)^n og

b) ∑n=0∞x2n\sum_{n=0}^\infty x^{2n}.

Løkke 2 — Leddvis derivasjon, integrasjon og hjelpefunksjon (~20 min)

📜Leddvis derivasjon og integrasjon
Innenfor konvergensradiusen ∣x∣<R|x|<R kan en potensrekke deriveres og integreres ledd for ledd, og den nye rekka har samme konvergensradius RR:

ddx∑n=0∞anxn=∑n=1∞n anxn−1,∫∑n=0∞anxn dx=C+∑n=0∞ann+1xn+1.\frac{d}{dx}\sum_{n=0}^\infty a_n x^n = \sum_{n=1}^\infty n\,a_n x^{n-1},\qquad \int \sum_{n=0}^\infty a_n x^n\,dx = C + \sum_{n=0}^\infty \frac{a_n}{n+1}x^{n+1}.

Dette er lovlig kun innenfor RR — nevn det. Endepunktene kan endre status og må sjekkes på nytt.

Leddvis derivasjon

Å derivere en potensrekke ved å derivere hvert ledd for seg: ddx(anxn)=n anxn−1\tfrac{d}{dx}(a_n x^n) = n\,a_n x^{n-1}. Nyttig når den deriverte rekka er lettere å gjenkjenne — for eksempel gir derivasjon av ∑xnn\sum \tfrac{x^n}{n} den geometriske rekka ∑xn−1=11−x\sum x^{n-1} = \tfrac{1}{1-x}.

Leddvis integrasjon og integrasjonskonstanten

Å integrere en potensrekke ledd for ledd: ∫anxn dx=ann+1xn+1+C\int a_n x^n\,dx = \tfrac{a_n}{n+1}x^{n+1} + C. Integrasjonskonstanten CC må bestemmes — sett inn ett kjent punkt (ofte x=0x=0, der de fleste rekker gir 00). Å glemme å fastsette CC er en klassisk feil.

Hjelpefunksjonsmetoden

Standardgrepet ved summering: definér f(x)=∑anxnf(x) = \sum a_n x^n, deriver eller integrer leddvis for å gjøre rekka gjenkjennbar (typisk geometrisk), finn den lukkede formen der, og deriver/integrer tilbake for å få ff. Sett til slutt inn en tallverdi hvis du skal ha en tallrekkesum.

✏️Eksempel 2: Summering ved leddvis derivasjon

Finn en lukket sum for f(x)=∑n=1∞xnnf(x)=\sum_{n=1}^\infty \dfrac{x^n}{n} på konvergensområdet.

Rekka har R=1R=1 (kap. 6.3). Vi bruker hjelpefunksjonsmetoden. Deriver leddvis (lovlig for ∣x∣<1|x|<1):

f′(x)=∑n=1∞n xn−1n=∑n=1∞xn−1=∑m=0∞xm=11−x(∣x∣<1).f'(x) = \sum_{n=1}^\infty \frac{n\,x^{n-1}}{n} = \sum_{n=1}^\infty x^{n-1} = \sum_{m=0}^\infty x^m = \frac{1}{1-x}\qquad(|x|<1).

Nå integrerer vi tilbake: f(x)=∫11−x dx=−ln⁡(1−x)+Cf(x) = \int \dfrac{1}{1-x}\,dx = -\ln(1-x) + C. Bestem CC fra x=0x=0: f(0)=∑0nn=0f(0)=\sum \tfrac{0^n}{n}=0 og −ln⁡(1)+C=C-\ln(1)+C = C, så C=0C=0.

Konklusjon: ∑n=1∞xnn=−ln⁡(1−x)\displaystyle \displaystyle\sum_{n=1}^\infty \frac{x^n}{n} = -\ln(1-x) for −1≤x<1-1\le x<1. (Gyldig i x=−1x=-1 ved Leibniz/Abel; x=1x=1 divergerer.)

📝Oppgave 2

Finn en lukket sum for f(x)=∑n=1∞n xnf(x)=\sum_{n=1}^\infty n\,x^{n} på konvergensområdet.

Løkke 3 — Fra potensrekkesum til tallrekkesum (~18 min)

Fra potensrekkesum til tallrekkesum

Har du en lukket sum f(x)=∑anxnf(x)=\sum a_n x^n, får du en tallrekkesum ved å sette inn en bestemt xx-verdi x0x_0 innenfor konvergensområdet: ∑anx0n=f(x0)\sum a_n x_0^n = f(x_0). Sjekk alltid at x0x_0 ligger i konvergensområdet (vis konvergens i punktet) før du leser av verdien. Dette er standard sluttgrep i eksamensoppgavene.

Abels teorem (endepunkt, kjennskap)

Hvis potensrekka ∑anxn\sum a_n x^n konvergerer i et endepunkt x=Rx=R, er den lukkede summen kontinuerlig helt inn til dette endepunktet: lim⁡x→R−f(x)=∑anRn\lim_{x\to R^-} f(x) = \sum a_n R^n. Dette rettferdiggjør å sette inn selve endepunktet i den lukkede formen (f.eks. x=−1x=-1 i −ln⁡(1−x)-\ln(1-x) for å få −ln⁡2-\ln 2). Kjennskap holder.

✏️Eksempel 3: Tallrekkesum ved innsetting

Bruk summen ∑n=1∞xnn=−ln⁡(1−x)\sum_{n=1}^\infty \dfrac{x^n}{n} = -\ln(1-x) fra Eksempel 2 til å regne ∑n=1∞1n 2n\sum_{n=1}^\infty \dfrac{1}{n\,2^n}.

Rekka ∑1n 2n\sum \dfrac{1}{n\,2^n} har ledd 1n 2n=(1/2)nn\dfrac{1}{n\,2^n} = \dfrac{(1/2)^n}{n} — nettopp den lukkede summen med x=12x=\tfrac12.

Sjekk konvergens i punktet: x=12x=\tfrac12 ligger i konvergensområdet [−1,1)[-1,1), så innsetting er lovlig.

Sett inn x=12x=\tfrac12:
∑n=1∞1n 2n=−ln⁡ ⁣(1−12)=−ln⁡12=ln⁡2.\sum_{n=1}^\infty \frac{1}{n\,2^n} = -\ln\!\left(1-\tfrac12\right) = -\ln\tfrac12 = \ln 2.

Konklusjon: ∑n=1∞1n 2n=ln⁡2\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n\,2^n} = \ln 2 (eksakt). (Numerisk ≈0,693\approx 0{,}693, som stemmer.)

📝Oppgave 3

Vis at ∑n=0∞xnn+1=−ln⁡(1−x)x\sum_{n=0}^\infty \dfrac{x^n}{n+1} = \dfrac{-\ln(1-x)}{x} for 0<∣x∣<10<|x|<1, og bruk det til å regne ∑n=0∞1(n+1)3n\sum_{n=0}^\infty \dfrac{1}{(n+1)3^n}.

Eksamensrettet oppgavepulje

Stigende vanskegrad. Manipuler mot en standardrekke, deriver/integrer leddvis (nevn at det gjelder for ∣x∣<R|x|<R), og sett inn en tallverdi der en tallrekkesum kreves.

📝Oppgave 4

Finn en lukket sum og konvergensområde for ∑n=0∞(2x)n\sum_{n=0}^\infty (2x)^n.

📝Oppgave 5

Finn en lukket sum for ∑n=0∞xnn!\sum_{n=0}^\infty \dfrac{x^n}{n!} og bruk den til å regne ∑n=0∞1n!\sum_{n=0}^\infty \dfrac{1}{n!}.

📝Oppgave 6

Finn en lukket sum for ∑n=1∞n xn−1\sum_{n=1}^\infty n\,x^{n-1} og bruk den til å regne ∑n=1∞n2n−1\sum_{n=1}^\infty \dfrac{n}{2^{n-1}}.

📝Oppgave 7

Finn en lukket sum for ∑n=0∞(−1)nx2n\sum_{n=0}^\infty (-1)^n x^{2n} og bruk leddvis integrasjon til å finne en rekke for arctan⁡x\arctan x.

📝Oppgave 8

La f(x)=∑n=1∞xnn(n+1)f(x)=\sum_{n=1}^\infty \dfrac{x^{n}}{n(n+1)}.

a) Finn konvergensradius.

b) Finn en lukket sum ved delbrøk og de kjente summene.

c) Regn ∑n=1∞1n(n+1)2n\sum_{n=1}^\infty \dfrac{1}{n(n+1)2^n}.

Begrepsbank

Kjernebegrepene fra kapitlet samlet som oppslag og flashcards.

Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.

Geometrisk rekke som referanse
11−x=∑n=0∞xn\dfrac{1}{1-x} = \sum_{n=0}^\infty x^n for ∣x∣<1|x|<1 er startpunktet for nesten all summering. Fra den får du ved derivasjon ∑nxn−1=1(1−x)2\sum n x^{n-1} = \tfrac{1}{(1-x)^2}, ved integrasjon ∑xn+1n+1=−ln⁡(1−x)\sum \tfrac{x^{n+1}}{n+1} = -\ln(1-x), og ved bytte x→−x2x\to -x^2 rekka for arctan⁡\arctan.
Rekka for exe^x
ex=∑n=0∞xnn!e^x = \sum_{n=0}^\infty \dfrac{x^n}{n!}, konvergent for alle xx (R=∞R=\infty). Fordi n!n! vokser fortere enn enhver potens, er konvergensradiusen uendelig. Innsetting x=1x=1 gir e=∑1n!e = \sum \tfrac{1}{n!}.
Rekka for ln⁡(1+x)\ln(1+x)
ln⁡(1+x)=∑n=1∞(−1)n+1xnn\ln(1+x) = \sum_{n=1}^\infty \dfrac{(-1)^{n+1}x^n}{n} for −1<x≤1-1<x\le 1. Fås ved leddvis integrasjon av 11+x=∑(−x)n\tfrac{1}{1+x}=\sum(-x)^n. Ekvivalent: −ln⁡(1−x)=∑n=1∞xnn-\ln(1-x) = \sum_{n=1}^\infty \tfrac{x^n}{n}, som er den formen vi oftest bruker.
Rekkene for sin⁡x\sin x og cos⁡x\cos x
sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!\sin x = \sum_{n=0}^\infty \dfrac{(-1)^n x^{2n+1}}{(2n+1)!} og cos⁡x=∑n=0∞(−1)nx2n(2n)!\cos x = \sum_{n=0}^\infty \dfrac{(-1)^n x^{2n}}{(2n)!}, begge konvergente for alle xx. Merk at sin⁡\sin har bare odde potenser (odde funksjon) og cos⁡\cos bare like (like funksjon); ddx\tfrac{d}{dx} av den ene gir den andre.
Rekka for arctan⁡x\arctan x
arctan⁡x=∑n=0∞(−1)nx2n+12n+1\arctan x = \sum_{n=0}^\infty \dfrac{(-1)^n x^{2n+1}}{2n+1} for ∣x∣≤1|x|\le 1. Fås ved å integrere 11+x2=∑(−x2)n\tfrac{1}{1+x^2}=\sum(-x^2)^n leddvis. Innsetting x=1x=1 (Abel) gir Leibniz' formel π4=1−13+15−⋯\tfrac{\pi}{4} = 1 - \tfrac13 + \tfrac15 - \cdots.
Binomisk rekke
(1+x)α=∑n=0∞(αn)xn(1+x)^\alpha = \sum_{n=0}^\infty \binom{\alpha}{n} x^n for ∣x∣<1|x|<1, der (αn)=α(α−1)⋯(α−n+1)n!\binom{\alpha}{n} = \dfrac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}. For heltalls positiv α\alpha er det den vanlige binomialformelen (endelig sum); for andre α\alpha en uendelig rekke. Står i formelsamlingen.
Taylor- og Maclaurin-rekke
Taylor-rekka til ff om x0x_0 er ∑n=0∞f(n)(x0)n!(x−x0)n\sum_{n=0}^\infty \dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n; om x0=0x_0=0 kalles den Maclaurin-rekka. Standardrekkene er nettopp Maclaurin-rekker. Koeffisienten foran xnx^n er f(n)(0)n!\tfrac{f^{(n)}(0)}{n!} — dette knytter summering til derivasjon.
Rekkerepresentasjon (analytisk funksjon)

En funksjon som er lik sin egen potensrekke på et intervall, kalles analytisk der. Da er potensrekka og funksjonen to sider av samme sak: å summere rekka er å finne funksjonen, og å Taylor-utvikle funksjonen er å finne rekka. Alle standardrekkene er analytiske på sitt konvergensområde.

Konvergensradius bevares

Både leddvis derivasjon og leddvis integrasjon gir en ny potensrekke med samme konvergensradius RR som den opprinnelige. Bare oppførselen i endepunktene x=±Rx=\pm R kan endres (derivasjon kan ødelegge endepunktkonvergens, integrasjon kan skape den) — derfor sjekkes endepunktene på nytt.

Delbrøkoppspalting (summeringshjelp)

Å skrive en rasjonal koeffisient som en sum av enklere brøker, f.eks. 1n(n+1)=1n−1n+1\dfrac{1}{n(n+1)} = \dfrac1n - \dfrac{1}{n+1}, slik at rekka splittes i to kjente rekker. Vanlig grep når nevneren er et produkt — hver del summeres mot −ln⁡(1−x)-\ln(1-x) eller en beslektet standardrekke.

Vise konvergens i innsettingspunktet

Før en tallrekkesum leses av som f(x0)f(x_0), må x0x_0 ligge i konvergensområdet — ellers er likheten ugyldig. For indre punkter (∣x0∣<R|x_0|<R) er det automatisk; for et endepunkt må konvergensen vises (Leibniz) og Abels teorem påberopes. En liten, men poenggivende, detalj.

Repetisjon
Din fremgang
0 / 3 oppgaver
Symbol- og formelliste

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.

Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.