Tema 1. Sèries numèriques i integrals impròpies

Introducció

Definició: Una sèrie de nombres reals és un parell de successions [math]\displaystyle{ (a_n)_{n \geq 0}, (s_n)_{n \geq 0} }[/math] relacionades per [math]\displaystyle{ s_n = \sum_{k=0}^n a_k }[/math] on:

• [math]\displaystyle{ a_n }[/math] és el terme n-èssim
• [math]\displaystyle{ s_n }[/math] és la suma parcial n-èssima

Observació: Les sumes parcials determinen els termes:

[math]\displaystyle{ a_0 = s_0 \\ a_n = s_n - s_{n-1} \quad (n \geq 1) }[/math]

Definició: La suma de la sèrie és el límit (si existeix) de les sumes parcials n-èssimes: [math]\displaystyle{ s = \lim s_n = \lim_{n \rightarrow \infty} \sum_{k=0}^n a_k }[/math]

Es representa per [math]\displaystyle{ s = \sum_{n \geq 0} a_n = \sum_{n=0}^\infty a_n }[/math]

Aquesta notació també s'utilitza per representar la sèrie.

Definició: Una sèrie es diu convergent o divergent segons que ho sigui la successió de sumes parcials:

• Convergent: [math]\displaystyle{ \sum_{k \geq 0} a_k \in \mathbb{R} }[/math]
• Divergent: [math]\displaystyle{ \sum_{k \geq 0} a_k = \pm \infty }[/math]
• Oscil·lant: [math]\displaystyle{ \lim_{n \rightarrow \infty} \sum_{k=0}^n a_k }[/math] no existeix

La sèrie geomètrica

Definició: Donat [math]\displaystyle{ r \in \mathbb{R} }[/math], la sèrie geomètrica de raó r és [math]\displaystyle{ \sum_{n \geq 0}r^n }[/math]

Proposició: La sèrie geomètrica és convergent si [math]\displaystyle{ |r| \lt 1 }[/math].

• En tal cas, la seva suma val [math]\displaystyle{ \sum_{n \geq 0}r^n = \frac{1}{1-r} }[/math]
• Si [math]\displaystyle{ r \geq 1 }[/math], la sèrie és divergent.
• Si [math]\displaystyle{ r \leq 1 }[/math], la sèrie és oscil·lant.

Demostració
[math]\displaystyle{ s_n = 1 + r + r^2 + \cdots + r^n = \left\{\begin{array}{ll} n+1 & \text{si } r = 1 \\ \frac{r^{n+1} - 1}{r - 1} & \text{si } r \neq 1 \end{array}\right. }[/math] ∎

Exemple: [math]\displaystyle{ \sum_{n \geq 1}\frac{1}{n(n+1)} = \frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \cdots = 1 }[/math]

[math]\displaystyle{ s_1 = \frac{1}{2} \\ s_2 = \frac{2}{3} \\ s_3 = \frac{3}{4} \\ \vdots \\ s_n = \frac{n}{n+1} \text{?} }[/math]

Proposicions i propietats de les sèries

Proposició: [math]\displaystyle{ \sum a_n \text{ convergent} \implies \lim a_n = 0 }[/math] (condició necessària de convergència)

Demostració
[math]\displaystyle{ a_n = s_n - s_{n-1} \implies \lim a_n = \lim s_n - \lim s_{n-1} = s - s = 0 }[/math] ∎

Proposició: (criteri de Cauchy per a sèries) Una sèrie [math]\displaystyle{ \sum a_n }[/math] és convergent sii [math]\displaystyle{ \forall \epsilon \gt 0, \exists n_0 \text{ tq } m \gt n \geq n_0 \implies |s_m - s_n| = |a_{n+1} + \cdots + a_m| \lt \epsilon }[/math]

Demostració
És el criteri de Cauchy aplicat a la successió de sumes parcials (s_n) ∎

Propietats

• Linealitat: trivial (suma de termes: suma de sumes; escalació de termes: escalació de la suma)

La convergència d'una sèrie només depèn de la "cua" de la sèrie.

Proposició: Si dues successions [math]\displaystyle{ (a_n), (b_n) }[/math] són iguals llevat d'un nombre finit de termes, aleshores les dues sèries [math]\displaystyle{ \sum a_n \text{ i } \sum b_n }[/math] tenen el mateix caràcter (les dues són convergents, divergents o oscil·lants).

Demostració

Les dues són iguals llevat d'un nombre finit de termes, o sigui, a partir d'algun [math]\displaystyle{ n_0 }[/math] les dues successions són iguals. Per tant, si [math]\displaystyle{ n \geq n_0 }[/math], [math]\displaystyle{ \begin{array}{l} \sum_{k=0}^n a_k = \overbrace{\sum_{k=0}^{n_0 - 1} a_k}^{A} + \sum_{k=n_0}^n a_k \\ \sum_{k=0}^n b_k = \underbrace{\sum_{k=0}^{n_0 - 1} b_k}_{B} + \sum_{k=n_0}^n b_k \end{array} \underset{a_k = b_k \text{ si } k \geq n_0 \\ \text{i fem el límit}}{\implies} \begin{array}{l} \lim \sum_{k=0}^n a_k = A + \lim \sum_{k=n_0}^n a_k \\ \lim \sum_{k=0}^n b_k = B + \lim \sum_{k=n_0}^n a_k \end{array} }[/math] ∎

Proposició: (associativitat) Sigui [math]\displaystyle{ \sum_{n \geq 0} a_n }[/math] una sèrie i [math]\displaystyle{ (n_k)_{k \geq 0} }[/math] una successió estrictament creixent de nombres naturals.

Definim [math]\displaystyle{ b_0 = a_0 + \cdots + a_{n_0} }[/math] i, si [math]\displaystyle{ k \gt 0, b_k = a_{n_{k-1}+1} + \cdots + a_{n_k} }[/math].

Aleshores, [math]\displaystyle{ \exists \sum_{n \geq 0} a_n \implies \exists \sum_{k \geq 0} b_k \text{ i } \sum_{n \geq 0} a_n = \sum_{k \geq 0} b_k }[/math]

El que estem fent és: [math]\displaystyle{ \sum a_n = \underbrace{(a_0 + a_1 + \cdots + a_{n_0})}_{b_0} + \underbrace{(a_{n_0+1} + \cdots + a_{n_1})}_{b_1} + \underbrace{(a_{n_1+1} + \cdots + a_{n_2})}_{b_2} + \cdots }[/math]

Demostració
[math]\displaystyle{ \left.\begin{array}{r} A_n \text{ suma parcial d'}(a_n) \\ B_n \text{ suma parcial de }(b_n) \end{array}\right\} \implies B_k = A_{n_k} \quad (A_n) \text{ té limit} \underset{(B_k) \text{ successió} \\ \text{parcial d'} (A_n)}{\implies} (B_k) \text{ té límit i és el mateix} }[/math] ∎

Observació: El recíproc és fals. Per exemple:

[math]\displaystyle{ \sum_{n \geq 0} (-1)^n = \begin{cases} (1-1)+(1-1)+(1-1)+\cdots=0 \\ 1-(1+1)-(1-1)-\cdots=1 \end{cases} }[/math]

Sèries de termes positius

Si una sèrie [math]\displaystyle{ \sum a_n }[/math] és de termes positius ([math]\displaystyle{ a_n \geq 0 }[/math]), aleshores la successió de sumes parcials és creixent, i doncs sempre té límit (finit o infinit).

[math]\displaystyle{ \sum_{n \geq 0} a_n = \lim s_n = \sup s_n = \left\{\begin{array}{ll} L \in [0, +\infty[ & \text{convergent} \\ +\infty & \text{divergent} \end{array}\right. }[/math]

Proposició: (criteri de comparació directa) Siguin [math]\displaystyle{ \sum a_n, \sum b_n }[/math] sèries de termes positius. Si [math]\displaystyle{ \exists n_0 \in \mathbb{N} \text{ tq } \forall n \geq n_0, a_n \leq b_n }[/math], aleshores [math]\displaystyle{ \sum_{k=n_0}^\infty a_k \leq \sum_{k=n_0}^\infty b_k }[/math]

Per tant: [math]\displaystyle{ \begin{array}{rcl} \sum b_k \text{ conv.} & \implies & \sum a_k \text{ conv.} \\ \sum a_k \text{ div.} & \implies & \sum b_k \text{ div.} \end{array} }[/math]

Demostració
Trivial: [math]\displaystyle{ \sum_{k=n_0}^n a_k \leq \sum_{k=n_0}^n b_k \implies \lim \sum_{k=n_0}^n a_k \leq \lim \sum_{k=n_0}^n b_k }[/math], ... ∎

La sèrie harmònica i la sèrie de Riemann

Definició: Anomenem sèrie harmònica generalitzada, o sèrie de Riemann de paràmetre [math]\displaystyle{ p \in \mathbb{R} }[/math], a la sèrie: [math]\displaystyle{ \sum_{n \geq 1}\frac{1}{n^p} }[/math]

Quan [math]\displaystyle{ p=1 }[/math], tenim la sèrie harmònica: [math]\displaystyle{ \sum_{n \geq 1}\frac{1}{n} }[/math]

Proposició: La sèrie de Riemann és convergent [math]\displaystyle{ \iff p\gt 1 }[/math]

Demostració

[math]\displaystyle{ p=1 }[/math] (sèrie harmònica) Utilitzarem l'associatitivitat i la comparació directa: [math]\displaystyle{ \sum_{n \geq 1} \frac{1}{n} = 1 + \frac{1}{2} + (\frac{1}{3} + \frac{1}{4}) + (\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}) + \cdots + (\frac{1}{2^{k-1}} + \cdots + \frac{1}{2^k}) + \cdots \\ \geq 1 + \frac{1}{2} + (\frac{1}{4} + \frac{1}{4}) + (\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}) + \cdots = \\ = 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \cdots = + \infty }[/math] [math]\displaystyle{ p \lt 1 \implies n^p \leq n \implies \frac{1}{n^p} \geq \frac{1}{n} \underset{\text{comparació}}{\implies} \text{divergent} }[/math] [math]\displaystyle{ p \gt 1 }[/math] [math]\displaystyle{ \sum_{n \geq 1} \frac{1}{n^p} = 1 + (\frac{1}{2^p} + \frac{1}{3^p}) + (\frac{1}{4^p} + \cdots + \frac{1}{7^p}) + \cdots \\ \leq 1 + (\frac{1}{2^p} + \frac{1}{2^p}) + (\frac{1}{4^p} + \cdots + \frac{1}{4^p}) = \\ = 1 + (\frac{1}{2^{p-1}}) + \frac{1}{2^{2(p-1)}} + \cdots + \frac{1}{2^{(n-1)(p-1)}} + ... }[/math] En aquest cas és una sèrie geomètrica de raó [math]\displaystyle{ \frac{1}{2^{p-1}} \lt 1 }[/math], així que pel criteri de comparació directa, [math]\displaystyle{ \sum\frac{1}{n^p}, p \gt 1 }[/math] és convergent. Demostració alternativa de la no convergència de la sèrie harmònica: Suposem [math]\displaystyle{ \sum \frac{1}{n} = s }[/math] convergent. Llavors [math]\displaystyle{ s = (1 + \frac{1}{2}) + (\frac{1}{3} + \frac{1}{4}) + \cdots \gt (\frac{1}{2} + \frac{1}{2}) + (\frac{1}{4} + \frac{1}{4}) + \cdots = 1 + \frac{1}{2} + \frac{1}{3} + \cdots = s }[/math] Com [math]\displaystyle{ s \gt s }[/math] és una contradicció, en realitat la suposició que la sèrie fos convergent és errònia. ∎

Proposició: (criteri de comparació en el límit) Siguin [math]\displaystyle{ \sum a_n, \sum b_n }[/math] sèries de termes estrictament positius, i suposem que [math]\displaystyle{ \exists \lim \frac{a_n}{b_n} = l \in [0, +\infty] }[/math]

Aleshores:

• Si [math]\displaystyle{ l \lt +\infty \text{: } \begin{array}{c} \sum b_n \text{ convergent} \implies \sum a_n \text{ convergent} \\ \sum a_n \text{ divergent} \implies \sum b_n \text{ divergent} \\ \end{array} }[/math]
• Si [math]\displaystyle{ l \gt 0 \text{: } \begin{array}{c} \sum a_n \text{ convergent} \implies \sum b_n \text{ convergent} \\ \sum b_n \text{ divergent} \implies \sum a_n \text{ divergent} \\ \end{array} }[/math]
• Si [math]\displaystyle{ 0 \lt l \lt +\infty }[/math]: les dues sèries tenen el mateix caràcter.

Demostració

[math]\displaystyle{ l \lt +\infty }[/math] Fixada [math]\displaystyle{ \epsilon \gt 0 }[/math], per definició de límit [math]\displaystyle{ \exists n_0 \text{ tq } n \geq n_0 \implies \frac{a_n}{b_n} \lt l + \epsilon \implies a_n \lt (l + \epsilon)b_n }[/math] Per comparació directa, queden demostrades les dues implicacions. [math]\displaystyle{ l \gt 0 }[/math]: es dedueix de l'anterior i [math]\displaystyle{ \frac{b_n}{a_n} \longrightarrow \frac{1}{l} }[/math] [math]\displaystyle{ 0 \lt l \lt +\infty }[/math]: conjunció dels dos primers. ∎