Sèrie (matemàtiques)

La sèrie geomètrica 1 + 1/2 + 1/4 + 1/8 + ... convergeix a 2.

En matemàtiques, una sèrie és la suma dels termes d'una successió. Normalment es representa una sèrie amb termes ${\{a_n\}}_{n\in \{1,\cdots ,N\}}$ com $\sum _{i=1}^N{a}_i$ on $N\in \mathbb{N}$ és l'índex final de la sèrie. Les sèries infinites són aquelles on el subíndex agafa el valor d'absolutament tots els nombres naturals, és a dir, $\sum _{i\in \mathbb{N}}{a}_i$.

En l'àmbit del càlcul infinitesimal, se solen classificar les sèries en dos tipus. Es diu que una sèrie $S=\sum _{i\in \mathbb{N}}{a}_i$ per $a_i\in E\mathrm{\forall }i\in \mathbb{N}$ convergeix (o, equivalentment, que és sumable) si $\underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k{a}_i=L$ per algun $L\in E$. A aquest $L$ se l'anomena suma de la sèrie. D'altra banda, es diu que la sèrie divergeix en la resta de casos. Quan $E$ és un espai euclidià, s'anomenen sèries oscil·latòries a aquelles que no tenen límit a la compactació de $\overline{E}$ (l'adherència de $E$).

L'estudi de les sèries és un dels àmbits principals de l'anàlisi matemàtica i els seus resultats són vitals per múltiples disciplines, incloent-hi la física, la computació, l'estadística i l'economia.

Introducció intuïtiva

Serveixi com a exemple la sèrie següent, que anomenarem S:

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

Aquesta sèrie es pot escriure de manera compacta amb la notació de sumatoris com segueix: $S=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n$.

Notem que les regles de la suma habitual (associativitat, commutativitat i distributivitat) poden portar a contradiccions a l'hora d'aplicar-les a sumes infinites. Continuant amb l'exemple anterior, es pot veure com agrupant els termes de diverses maneres s'obtenen resultats diferents. Una possibilitat seria aquesta:

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

i una altra podria ser aquesta:

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

O, fins i tot:

$S=1-1+1-1+1-1+1...=1-(1-1+1-1+1-1...)=1-S⟹2S=1⟹S=1-1+1-1+1-1+1...=\frac{1}{2}$

Amb aquest exemple tan senzill es pot veure que les regles usuals de la suma no poden aplicar-se en sumes amb un nombre infinit de termes. És per aquest motiu que s'usa una definició diferent pel terme "suma" quan es tracta amb sèries d'infinits termes.

Definició

Per tota successió ${\{a_n\}}_{n>0}$ d'elements (ja siguin nombres reals, complexos, funcions, etc.) la seva sèrie associada es defineix com la suma formal:

$\sum _{i=0}^{\mathrm{\infty }}{a}_i=a_0+a_1+a_2+\cdots$.

També es defineix la seqüència de sumes parcials $\{S_k\}$ associada a $\sum _{i=0}^{\mathrm{\infty }}{a}_i$ amb termes

$S_k=\sum _{i=0}^k{a}_i=a_0+a_1+a_2+\cdots +a_k$

Aleshores, definim la suma de la sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

com el límit (si existeix)

$\sum _{i=0}^{\mathrm{\infty }}{a}_i\equiv \lim \{S_k\}$

Aquesta definició posa de manifest la raó per la qual les sèries convergents també se solen anomenar sumables. De fet, podem reescriure l'expressió anterior com

$\sum _{i=0}^{\mathrm{\infty }}{a}_i\equiv \lim \{S_k\}=\underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k{a}_i$

En general podem definir l'aplicació

$\sum _{i=0}^{\mathrm{\infty }}\equiv \underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k$

Un resultat molt útil a l'hora de manipular les sèries és el següent:

"Sigui

$n\in \mathbb{N}$

tota sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

es pot descompondre com una suma finita més una sèrie residual com

$\sum _{i=0}^{\mathrm{\infty }}{a}_i=\sum _{i=0}^{n-1}{a}_i+\sum _{i=n}^{\mathrm{\infty }}{a}_i$

."

En efecte aquest resultat és conseqüència directa de la definició,, ja que

$\sum _{i=0}^{\mathrm{\infty }}{a}_i\equiv \underset{k\to \mathrm{\infty }}{\lim }\sum _{i=o}^k{a}_i=\underset{k\to \mathrm{\infty }}{\lim }(\sum _{i=o}^{n-1}{a}_i+\sum _{i=n}^k{a}_i)=\underset{k\to \mathrm{\infty }}{\lim }\sum _{i=o}^{n-1}{a}_i+\underset{k\to \mathrm{\infty }}{\lim }\sum _{i=n}^k{a}_i\equiv \sum _{i=0}^{n-1}{a}_i+\sum _{i=n}^{\mathrm{\infty }}{a}_i$

La utilitat d'aquest resultat és el fet que la classificació de la sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és la mateixa que la sèrie

$\sum _{i=n}^{\mathrm{\infty }}{a}_i$

(Això també es veu clar a partir de la definició que s'ha donat a l'inici sobre la classificació de les sèries) i, en conseqüència, si fem un nombre finit de canvis a la sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

això no afecta a la seva classificació ja que, al fer un nombre finit de canvis sempre podrem trobar un número

$n$

prou gran perquè tots els canvis que s'hagin fet estiguin dins la suma

$\sum _{i=0}^{n-1}{a}_i$

.

Propietats

Propietat associativa

Hem vist en donar la introducció intuïtiva que al aplicar la propietat associativa a les sèries podem arribar a contradiccions, per això és molt important saber quan és possible aplicar aquesta propietat i quan no.

"La propietat associativa només és aplicable a sèries convergents i sèries divergents no oscil·latòries. Aplicar-la a sèries oscil·latòries pot portar a contradiccions."

Podem definir la propietat associativa (de forma barroera, la definició correcta és aquesta) com la possibilitat de posar parells de parèntesis () on vulguem sense que això afecti al resultat de la suma.

Analitzem que passa si, a la sèrie $\sum _{i=0}^{\mathrm{\infty }}{a}_i$ hi posem un nombre finit de parèntesis. Pel que hem vist a l'apartat anterior, podem trobar un nombre $n$ prou gran tal que tots els parèntesis que posem estiguin inclosos dins la suma finita $\sum _{i=0}^{n-1}{a}_i$, com que aquesta és una suma finita (i la propietat associativa es compleix en una suma finita) és clar que el resultat de la sèrie $\sum _{i=0}^{\mathrm{\infty }}{a}_i$ no es veu afectat (sense importar el tipus de sèrie del que es tracti). El cas interessant és quan el nombre de parèntesis és infinit.

Sigui $\sum _{i=0}^{\mathrm{\infty }}{a}_i=a_0+a_1+a_2+a_3+a_4+a_5+a_6+a_7+a_8+a_9+a_{10}+...$ hem vist que $\sum _{i=0}^{\mathrm{\infty }}{a}_i=\lim \{S_k\}=\lim \{S_0,S_1,S_2,S_3,S_4,S_5,S_6,S_7,S_8,S_9,S_{10}...\}$ amb $S_k=\sum _{i=0}^k{a}_i$.

Si col·loquem infinits parèntesis a la sèrie, deixant-la, per exemple

$(a_0+a_1+a_2+a_3)+a_4+(a_5+a_6+a_7)+a_8+(a_9+a_{10})+...$

Aleshores, tenim una sèrie diferent

$\sum _{i=0}^{\mathrm{\infty }}{b}_i$

amb

$b_0=a_0+a_1+a_2+a_3;b_1=a_4;b_2=a_5+a_6+a_7;b_3=a_8;b_4=a_9+a_{10};...$

I, per definició

$\sum _{i=0}^{\mathrm{\infty }}{b}_i=\lim \{S_k^{\text{'}}\}$

amb

$S_k^{\text{'}}=\sum _{i=0}^k{b}_i$

. Notem aleshores que, en el nostre cas concret,

$S_0^{\text{'}}=b_0=a_0+a_1+a_2+a_3=S_3;S_1^{\text{'}}=b_0+b_1=S_4;S_2^{\text{'}}=S_7;S_3^{\text{'}}=S_8;S_4^{\text{'}}=S_{10}$

Per tant,

$\{S_k^{\text{'}}\}=\{S_3,S_4,S_7,S_8,S_{10},...\}$

és una successió parcial de la successió

$\{S_k\}$

(com es pot veure comparant les successions). Com que, si una successió

$\{a_n\}$

és convergent (divergent), totes les seves successions parcials

$\{a_{n_k}\}$

són convergents (divergents) i convergeixen al mateix valor que la successió original. Per tant, si

$\sum _{i=0}^{\mathrm{\infty }}{a}_i=\lim \{S_k\}$

és convergent, aleshores

$\sum _{i=0}^{\mathrm{\infty }}{b}_i=\lim \{S_k^{\text{'}}\}=\lim \{S_k\}=\sum _{i=0}^{\mathrm{\infty }}{a}_i$

demostrant la propietat associativa per aquest tipus de sèrie.

Si $\sum _{i=0}^{\mathrm{\infty }}{a}_i=\lim \{S_k\}$ és divergent, aleshores $\sum _{i=0}^{\mathrm{\infty }}{b}_i=\lim \{S_k^{\text{'}}\}(=\pm \mathrm{\infty })=\lim \{S_k\}=\sum _{i=0}^{\mathrm{\infty }}{a}_i$ demostrant la propietat associativa per aquest tipus de sèrie.

Si una sèrie és oscil·latòria, aleshores no podem afirmar que $\sum _{i=0}^{\mathrm{\infty }}{b}_i=\lim \{S_k^{\text{'}}\}=\lim \{S_k\}=\sum _{i=0}^{\mathrm{\infty }}{a}_i$ ja que tota successió (convergent o no) pot tenir successions parcials convergents. Aquest és el cas de la sèrie $S=\sum _{i=0}^{\mathrm{\infty }}(-1{)}^i$ com hem vist més amunt. El fet que no totes les sèries tinguin propietat associativa i que una sèrie oscil·latòria pugui esdevenir convergent en aplicar la propietat associativa té com a conseqüència que en les sèries no es pot aplicar la propietat dissociativa.

Linealitat de les sèries

Si tenim dues sèries convergents

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

i

$\sum _{i=0}^{\mathrm{\infty }}{b}_i$

aleshores es compleix que

$\sum _{i=0}^{\mathrm{\infty }}(\lambda a_i+\mu b_i)=\lambda \sum _{i=0}^{\mathrm{\infty }}{a}_i+\mu \sum _{i=0}^{\mathrm{\infty }}{b}_i$

4

En efecte és conseqüència de la linealitat de la suma i la linealitat del límit, ja que:

$\sum _{i=0}^{\mathrm{\infty }}(\lambda a_i+\mu b_i)\equiv \underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k(\lambda a_i+\mu b_i)=\lambda \underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k{a}_i+\mu \underset{k\to \mathrm{\infty }}{\lim }\sum _{i=0}^k{b}_i\equiv \lambda \sum _{i=0}^{\mathrm{\infty }}{a}_i+\mu \sum _{i=0}^{\mathrm{\infty }}{b}_i$

Sèries numèriques de nombres reals

Es diu que una sèrie $\sum _{i=0}^{\mathrm{\infty }}{a}_i$ és una sèrie numèrica quan el elements de la successió $\{a_i\}$ són nombres. En concret, quan són nombres reals parlem de sèries numèriques de nombres reals. Aquestes sèries tenen certes propietats que altres sèries no tenen. Vegem alguns exemples.

Criteri general de convergència d'una sèrie (numèrica de nombres reals)

Hem vist que, per definició, una sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és convergent si i només si el límit

$\lim \{S_k\}$

essent

$S_k=\sum _{i=0}^k{a}_i$

les sumes parcials, convergeix a un nombre real. Però una successió de nombres reals és convergent si i només si és de Cauchy. Per tant, podem afirmar que

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és convergent

$⟺\{S_k\}\to l\in ℝ⟺\{S_k\}$

és de Cauchy.

Però una successió de Cauchy compleix (per definició) que

$\mathrm{\forall }\epsilon >0,\mathrm{\exists }{n}_0\in \mathbb{N}||S_m-S_n|<\epsilon ,\mathrm{\forall }n,m>n_0$

.

Suposem ara que $m>n$, aleshores $S_m=\sum _{i=0}^m{a}_i=\sum _{i=0}^n{a}_i+a_{n+1}+a_{n+2}+...a_m=S_n+a_{n+1}+a_{n+2}+...a_m⟹S_m-S_n=a_{n+1}+a_{n+2}+...a_m$

Si definim $p=m-n(>0)$, aleshores $S_m-S_n=a_{n+1}+a_{n+2}+...a_{n+p}$

Per tant, $\mathrm{\forall }\epsilon >0,\mathrm{\exists }{n}_0\in \mathbb{N}||a_{n+1}+a_{n+2}+...a_{n+p}|<\epsilon$. Com que aquest expressió s'ha de complir $\mathrm{\forall }n,m>n_0$, el valor de $p$ pot ser qualsevol nombre natural i l'expressió que acabem de trobar s'ha de complir $\mathrm{\forall }n>n_0,\mathrm{\forall }p$. El criteri general de convergència d'una sèrie és precisament:

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$ és convergent $⟺\mathrm{\forall }\epsilon >0,\mathrm{\exists }{n}_0\in \mathbb{N}||a_{n+1}+a_{n+2}+...a_{n+p}|<\epsilon ,\mathrm{\forall }n>n_0,\mathrm{\forall }p$

Com a conseqüència, podem afirmar que: $\sum _{i=0}^{\mathrm{\infty }}{a}_i$ és convergent $⟹\{a_i\}\to 0$. El recíproc però, no és cert, la sèrie harmònica n'és un exemple. Plantilla:Caixa desplegable

Convergència absoluta i condicional

Plantilla:Article principal

Es diu que la sèrie

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és absolutament convergent si la sèrie

$\sum _{i=0}^{\mathrm{\infty }}|a_i|$

és convergent. Una cosa interessant d'aquest tipus de sèries és que

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és absolutament convergent

$⟹\sum _{i=0}^{\mathrm{\infty }}{a}_i$

és convergent.

El recíproc no és cert (la sèrie harmònica alterna és convergent, però no ho és absolutament, ja que la sèrie harmònica és divergent).

Precisament les sèries que compleixen aquesta condició (ser convergents, però no absolutament convergents) se les anomenen sèries condicionalment convergents.

Exemples

Veiem alguns exemples de sèries numèriques de nombres reals

• Sèrie geomètrica:

$\sum _{i=0}^{\mathrm{\infty }}{r}^i=1+r+r^2+r^3+r^4...=\{\begin{array}{ccc}\frac{1}{1-r},& \text{si}& |r|<1\\ \text{divergent},& \text{si}& r\ge 1\\ \text{oscil·latòria,}& \text{si}& r\le -1\end{array}$

Notar que la sèrie presentada a l'apartat "introducció intuïtiva" és precisament la sèrie geomètrica pel cas en què $r=-1$.

• Sèrie harmònica:

$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{i}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$

Aquesta sèrie és divergent.

• Sèrie harmònica generalitzada:

$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{i^p}=1+\frac{1}{2^p}+\frac{1}{3^p}+\frac{1}{4^p}+\frac{1}{5^p}+...=\{\begin{array}{ccc}\text{convergent}& \text{si}& p>1\\ \text{divergent}& \text{si}& p\le 1\end{array}$

La sèrie harmònica és el cas concret d'aquesta sèrie en la què $p=1$.

• Sèrie harmònica alterna:

$\sum _{i=1}^{\mathrm{\infty }}\frac{(-1{)}^{i+1}}{i}=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\frac{1}{5}...=\ln (2)$

Vegeu també

Conceptes relacionats

• Successió
• Sèrie convergent
• Sèrie divergent
• Sèrie alternada
• Sèrie geomètrica
• Sèrie telescòpica
• Sèrie de Bell
• Sèrie de Dirichlet
• Sèrie de Lambert
• Sèrie de Laurent
• Sèrie de Taylor

Algunes sèries notables

• Sèrie harmònica
• Sèrie dels inversos dels nombres primers
• Sèrie de Grandi
• 1 − 2 + 3 − 4 + ...