rekke (matematikk)
Rekke er etmatematisk uttrykk på formen \(a_1+a_2+\cdots +a_n+\cdots\) der alle leddene ertall eller andre matematiske objekter som kan adderes, for eksempelfunksjoner.
Hvis de endelige summene \(a_1+a_2+\cdots +a_n\) nærmer seg engrense \(a\) når \(n\) går motuendelig, sier vi at rekken erkonvergent. Den nevnte grenseverdien \(a\) kalles rekkenssum og vi skriver \[\sum_{n=1}^\infty a_n=a.\] Hvis rekken ikke konvergerer, sier vi at den erdivergent.
Noen spesielle typer rekker:
- Aritmetiske rekker har formen \(a+(a+d)+(a+2d)+\cdots+(a+nd)+\cdots\)
- (Uendelige)Geometriske rekker har formen \(a+ak+ak^2+ak^3+\cdots+ak^n+\cdots\)
- Denharmoniske rekken er rekken \(1+1/2+1/3+1/4+\cdots +1/n+\cdots \). Den erdivergent.
- Et eksempel på en uendeliggeometrisk rekke er rekken \(1+1/2+1/4+1/8+\cdots\) der \(a=1\) og \(k=1/2\). Den er konvergent med sum 2.
En geometrisk rekke konvergerer hvis og bare hvis \(|k|<1\), og da er summen \[\sum_{n=0}^\infty ak^n= \frac{a}{1-k}.\]
Hvis \(a_n=0\) for alle \(n\) større enn et bestemt tall, sier vi at rekken erendelig, ellers er denuendelig. Noen eksempler på endelige rekker er \[\sum_{n=0}^N n= \frac12 N(N+1), \quad N=0,1,2,\dots,\] \[\sum_{n=0}^N n^2= \frac16 N(N+1)(2N+1), \quad N=0,1,2,\dots.\]
Funksjonsrekker
Uendelige rekker spiller en stor rolle imatematikken fordi mange viktige konstanter og funksjoner kan skrives som summen av uendelige rekker av enkle typer.
Potensrekker
Særlig viktige er uttrykkene som kan skrives på formen \(f(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n+\cdots\). Høyre side av likhetstegnet er enpotensrekke, og summen av denne rekken definerer her en funksjon \(f\) for de verdiene av \(x\) som gjør rekken konvergent. Dersom potensrekken til \(f\) konvergerer mot \(f\), så kan koeffisientene \(a_n\) bestemmes ved hjelp av de deriverte til \(f\). Vi har nemlig at \[a_n=\frac{f^{(n)}(0)}{n!}, \quad n=0,1,2,\dots.\] Her er \(n!=1\cdot 2\cdots n\)fakultetsfunksjonen. For alle potensrekker fins det et tall \(R\ge 0\) slik at potensrekken konvergerer mot \(f(x)\) for alle \(x\) slik at \(|x|<R\) og divergerer for alle \(|x|>R\). Om \(R=0\), konvergerer potensrekken bare for \(x=0\), og dersom \(R=\infty\), konvergerer potensrekken for alle \(x\). Her kan godt \(x\) være et komplekst tall.
Eksempler på potensrekker
For eksempel kaneksponentialfunksjonen og detrigonometriske funksjonene fremstilles som summen av uendelige potensrekker som konvergerer for alle verdier av den variable \(x\). Vi har \[ e^x=\sum_{n=0}^\infty \frac{x^n}{n!}, \] \[\sin x= \sum_{n=0}^\infty(-1)^n\frac{x^{2n+1}}{(2n+1)!}, \] \[\cos x= \sum_{n=0}^\infty(-1)^n\frac{x^{2n}}{(2n)!}.\]
Potensrekken for logaritmefunksjonen \[\ln(1+x)=-\sum_{n=1}^\infty (-1)^n \frac{x^n}{n}\] konvergerer for \(|x|<1\). Om vi setter \(x=1\) i potensrekken for eksponentialfunksjonen, finner vi \[e= \sum_{n=0}^\infty \frac{1}{n!}. \]
Fourier-rekker
Andre viktige typer rekkeutviklinger av funksjoner er de trigonometriske rekkene, også kaltfourier-rekker, som er av typen \(f(x)= \frac12 A_0+(A_1\cos x+B_1\sin x)+(A_2\cos 2x+B_2\sin 2x)+\cdots \).
Noen andre kjente tallrekker er \[\frac{\pi^2}{6}=\sum_{n=1}^\infty \frac1{n^2}, \] \[\frac{\pi}{4}=\sum_{n=0}^\infty \frac{(-1)^n}{2n+1}. \]
Riemanns zetafunksjon
En av de mest kjente rekker erRiemanns zetafunksjon som er gitt ved \[\zeta(s)= \sum_{n=1}^\infty \frac1{n^s}.\] Den er definert forkomplekse tall \(s\) med realdel større enn \(1\) (og ved analytisk fortsettelse for andre komplekse tall). Denne funksjonen danner utgangspunktet for det mest kjente uløste problem i matematikk, den såkalteRiemanns hypotese. Denne hypotesen sier at alle nullpunkter for zetafunksjonen, dvs alle verdier av \(s\) slik at \(\zeta(s)=0\), må ha realdel nøyaktig lik \(1/2\) (i tillegg til de såkalte trivielle nullpunktene \(-2,-4,-6, \dots\)). Dette problemet er uløst.
Definisjon av konvergens for rekker
Den presise definisjonen av grenseverdi er følgende: For ethvert (lite) positivt tall \(\epsilon>0\) skal det fins et (stort) naturlig tall \(N\) (som avhenger av \(\epsilon\)) slik at \[|\sum_{n=1}^k a_n-a|<\epsilon\] for alle \(k>N\). Det vil si at vi kan få summen \(\sum_{n=1}^k a_n\) vilkårlig nær \(a\) om vi tar med tilstrekkelig mange ledd. Når \(\epsilon\) blir mindre, vil \(N\) bli større. Om dette er tilfelle, sier vi at rekken konvergerer mot \(a\) og skriver \(\sum_{n=1}^\infty a_n=a\).
Historisk bakgrunn
Det førstestringente grunnlaget for teorien for uendelige rekker ble lagt avNiels Henrik Abel ogAugustin Louis Cauchy på begynnelsen av 1800-tallet.
Les mer i Store norske leksikon
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.
Fagansvarlig forMatematisk analyse
