Définitions et généralités

Soient ( a n ) (a_n) une suite à valeurs dans setR . A ( a n ) (a_n) on peut associer une suite

S n = a 0 + a 1 + + a n = k = 0 n a k S_n = a_0 + a_1 + dotsaxis + a_n = sum from k=0 to n a_k

Définition

On appelle série de terme général a n a_n , que l'on note ( a n ) sum (a_n) , la suite ( S n ) (S_n) de nombres réels définie par :

S n = k = 0 n a k S_n = sum from k=0 to n a_k

a n a_n est appelé terme général de la série ( a n ) left ( sum a_n right )

S n S_n est appelée somme partielle des n n premiers ou nième somme partielle de la série ( a n ) left ( sum a_n right )

( S n ) n (S_n)_{n in setN} est appelée suite des sommes partielles de la série ( a n ) left ( sum a_n right )

Définition

Soit ( a n ) left ( sum a_n right ) une série à termes réels. On dit que la série ( a n ) left ( sum a_n right ) converge lorsque la suite des sommes partielles ( S n ) (S_n) de la série converge.

En cas de convergence, lim n + S n lim from n toward + infinity S_n est notée k = 0 + a k sum from k=0 to +infinity a_k et est appelée somme de la série.

Un série qui ne converge pas est dite divergente.

Définition

Si une série converge vers setR , on appelle suite des restes la suite ( R n ) (R_n) définie pour tout n n entier naturel par R n = S S n R_n = S - S_n

On a donc :

R n = k = n + 1 + a k et lim n + R n = 0 R_n = sum from k=n+1 to +infinity a_k " et " lim from n toward + infinity R_n = 0

Exemple

Exemple

Soit la série de terme général 1 n ( n + 1 ) 1 over {n(n+1)} , n n in setN^{{}*{}}

On a :

S n = k = 1 n 1 n ( n + 1 ) = k = 1 n 1 n k = 1 n 1 n + 1 = k = 1 n 1 n k = 2 n + 1 1 n = 1 1 n + 1 S_n = sum from k=1 to n {1 over {n(n+1)}} = sum from k=1 to n {1 over {n}} - sum from k=1 to n {1 over {n+1}} = sum from k=1 to n {1 over {n}} - sum from k=2 to {n+1} {1 over {n}} = 1 - 1 over {n+1}

et

lim n + S n = lim n + [ 1 1 n + 1 ] = 1 lim from n toward + infinity S_n = lim from n toward + infinity left [ 1 - 1 over {n+1}right ] = 1

donc la série de terme général 1 n ( n + 1 ) 1 over {n(n+1)} converge et :

k = 1 + 1 n ( n + 1 ) = 1 sum from k=1 to + infinity {1 over {n(n+1)}} = 1

Exemple

Exemple

Soit la série de terme général 3 2 n 3 over 2^n

La suite ( a n ) (a_n) définie par a n = 3 2 n a_n = 3 over 2^n est une suite géométrique de premier terme 3 3 et de raison 1 2 n 1 over 2^n .

On a :

S n = 3 + 3 2 + 3 2 2 + + 3 2 n = 3 1 ( 1 2 ) n + 1 1 1 2 = 6 ( 1 ( 1 2 ) n + 1 ) S_n = 3 + 3 over 2 + 3 over 2^2 + dotsaxis + 3 over 2^n = 3 {1- size 8 left (1 over 2 right )^{n+1}} over {1 - size 8 {1 over 2} } = 6 left ( 1- left(1 over 2 right )^{n+1} right )

et

lim n + S n = lim n + 6 ( 1 ( 1 2 ) n + 1 ) = 6 lim from n toward +infinity S_n = lim from n toward +infinity 6 left ( 1- left(1 over 2 right )^{n+1} right ) = 6

donc la série de terme général 3 2 n 3 over 2^n converge et :

k = 0 + 3 2 n = 6 sum from k=0 to +infinity {3 over 2^n} = 6

Note : on dit que la série ( 1 2 n ) left (sum {1 over 2^n} right ) est une série géométrique.