Grandis serie

Grandis serie, uppkallad efter Guido Grandi, är en serie bestående av ettor med alternerande tecken:

\sum _{n=0}^{\infty }(-1)^{n}=1-1+1-1+...

Serien är divergent, vilket innebär att den inte har någon summa i vanlig mening. Serien är dock Cesàrosummerbar med Cesàrosumman ½.

Heurestik

Genom att försöka behandla serien med olika knep kan man få flera motsägande resultat. Man kan exempelvis, genom att införa parenteser på olika sätt få resultaten:

1-1+1-1+...=(1-1)+(1-1)+...=0+0+...=0

1-1+1-1+...=1+(-1+1)+(-1+1)+...=1+0+0+...=1

som motsäger varandra. Genom att behandla följden som konvergent kan man även få fram ett tredje värde:

S=1-1+1-1+...

ger:

1-S=1-(1-1+1-1+...)=1-1+1-1+...=S

som ger S = ½ med enkel algebra. Ovanstående knep tar inte i åtanke vad en series summa egentligen betyder.

Divergens

I modern matematik så är summan av en oändlig serie gränsvärdet av talföljden av seriens partiella summor. Grandis series partiella summor är $1,0,1,0,...$ , som uppenbarligen inte konvergerar. Serien är därför inte konvergent (men har två ackumuleringspunkter i 0 och 1).

Det kan visas att vissa operationer, exempelvis omordning av termer, på serier som inte är absolutkonvergenta kan ändra resultatet. Grandis serie kan genom termomordning ändras till att producera vilket heltal som helst.

Alternativa summeringsmetoder

Grandis serie är divergent, men kan med alternativa metoder "summeras" till ett bestämt värde.

Cesàrosummering

Vid Cesàrosummering betraktar man följden av seriens partiella summor $(s_{n})$ och bildar en ny följd $(\sigma _{n})$ bestående av det aritmetiska medelvärdet av de n första partiella summorna, dvs:

\sigma _{n}={\frac {s_{1}+s_{2}+...+s_{n}}{n}}.

Cesàrosumman är gränsvärdet för $(\sigma _{n})$ . För Grandis serie är elementen i $(\sigma _{n})$ :

(1,{\tfrac {1}{2}},{\tfrac {2}{3}},{\tfrac {2}{4}},{\tfrac {3}{5}},{\tfrac {3}{6}},{\tfrac {4}{7}},{\tfrac {4}{8}},...)=(1,{\tfrac {1}{2}},{\tfrac {2}{3}},{\tfrac {1}{2}},{\tfrac {3}{5}},{\tfrac {1}{2}},{\tfrac {4}{7}},{\tfrac {1}{2}},...)

Så att $\sigma _{n}={\tfrac {1}{2}}$ för jämna n, $\sigma _{n}={\tfrac {1}{2}}+{\tfrac {1}{2n}}$ för udda n. Följden av $\sigma _{n}$ konvergerar därför till ½.

Abelsummering

Vid Abelsummering transformerar man en given serie $a_{0}+a_{1}+a_{2}+...$ till en serie $a_{0}+a_{1}x+a_{2}x^{2}+...$ . Om denna nya serie konvergerar för $0<x<1$ till en funktion som har ett gränsvärde då x går mot 1, kallas detta gränsvärde för Abelsumman. I fallet med Grandis serie får man: