C’est une notion fondamentale. On s’intéresse à la convergence absolue <strong>de</strong> la série ∑ a n z n .Soit I l’ensemble <strong>de</strong>s nombres réels positifs ou nuls r tels que la suite (|a n |r n ) n∈N est majorée. 0appartient à I, si r appartient à I et si 0 ≤ r ′ < r, alors r ′ appartient aussi à I. Donc I est l’union<strong>de</strong>s intervalles [O, r] pour :I = ⋃ r∈I[0, r].Comme O appartient à tous ces intervalles et que chaque intervalle est connexe, I est connexe c’estun intervalle.(On peut aussi poser R = +∞ si I n’est pas majorée et R = sup(I) sinon alors [0, R[⊂ I.)Lemme d’Abel (Convergence absolue et normale <strong>de</strong> la série)Soit ∑ a n z n une série entière et z 0 un nombre complexe tel que (a n z n 0 ) est bornée, alors:a. Pour tout z tel que |z| < |z 0 |, la série ∑ a n z n est absolument convergente,b. Pour tout r tel que r < |z 0 |, la série ∑ a n z n est normalement convergente sur D(0, r).PreuveSi on a b, on a aussi a. Prenons donc r < |z 0 |. Pour tout z tel que |z| ≤ r et tout n, on a:( ) n ( ) n |z|r|a n z n | = |a n z0 n | ≤ |a n z0 n | .|z 0 ||z 0 |Par(hypothèse, il existe M tel que pour tout n, |a n z0 n | ≤ M, et la série numérique <strong>de</strong> terme géneralnrM|z 0 |)est convergente. Ceci prouve b.Définition (Rayon <strong>de</strong> convergence)Si I n’est pas majoré, on dit que le rayon <strong>de</strong> convergence <strong>de</strong> ∑ a n z n est infini, on le note R = ∞.Si I est majoré, on dit que le rayon <strong>de</strong> convergence <strong>de</strong> la série ∑ a n z n est R = sup I.Si I n’est pas majoré, on a I = [0, +∞[ et la série ∑ a n z n converge absolument pour tout z <strong>de</strong>C.Si I est majoré, on a soit I = [0, R], soit I = [0, R[ et la série converge absolument pour tout z<strong>de</strong> C tel que |z| < R et ∑ |a n z n | diverge pour tout z <strong>de</strong> C tel que |z| > R.Si le terme général d’une série ne tend pas vers 0, la série diverge. Dans ce cas, on dit que cettesérie diverge grossièrement.Proposition (La divergence est grossière)Si R est fini, la série ∑ a n z n diverge grossièrement pour tout z tel que |z| > R.PreuveC’est en fait évi<strong>de</strong>nt, si |z| > R, la suite (a n z n ) n’est pas bornée, elle ne tend donc pas vers 0.Le disque D(0, R) <strong>de</strong> centre 0 et <strong>de</strong> rayon R s’appelle le disque <strong>de</strong> convergence <strong>de</strong> la série∑n a nz n . Sur le cercle |z| = R, la série peut converger partout, diverger partout, converger encertains points, diverger en d’autres points.Calcul pratique du rayon <strong>de</strong> convergenceGrâce à d’Alembert, si la limite suivante existe:∣ lima n+1 ∣∣∣n→∞ ∣ = l (fini ou infini),a nalors R = 1 l(R = 0 si l est infini, R = ∞ si l = 0).2
Grâce à Cauchy, si la limite suivante existe:limn→∞√n|an | = l(fini ou infini),alors R = 1 l(R = 0 si l est infini, R = ∞ si l = 0).Ceci donne les convergences <strong>de</strong>s exemples <strong>de</strong> 1.Prouvons par exemple Cauchy: si lim √ nn→∞ |a n | = l > 0, alors si r < 1 l , la suite ( n√ |a n |r tendvers lr < 1, les termes <strong>de</strong> la suite sont donc inférieurs à 1 à partir d’un certain rang, donc à partird’un certain rang |a n r n | < 1 et la suite (a n r n ) est majorée, r ∈ I, donc 1 l ≤ R.Si r > 1 l , la suite ( n√ |a n |r tend vers lr > 1, les termes <strong>de</strong> la suite sont donc supérieurs à α > 1à partir d’un certain rang, la suite (a n r n ) tend vers l’infini, n’est pas majorée, r /∈ I, donc 1 l ≥ R.De façon générale, on a la formule d’Hadamard.Proposition (Formule d’Hadamard)Si { n√ |a n |} est borné, posonsl = lim sup{ n√ √)|a n |} = inf(sup{ p |a p |, p ≥ n} ,nnsinon, posons l = +∞. Alors on a:R = 1 l .PreuveSupposons que l est fini et positif. Soit r < 1 l , ou 1 r> l, il existe N tel quesup{ p √|a p |, p ≥ N} < 1 r .Donc∀p ≥ N,√p|a p |r p < 1, |a p r p | < 1,la suite (|a n |r n ) est bornée et r ∈ I. Donc 1 l ≤ R.Si r > 1 l , soit r′ tel que r > r ′ > 1 l . Alors l > 1 r, pour tout n, sup{ p√ |a ′ p |,existe p n tel que√pnp n ≥ n et |a pn |r ′p n > 1, |apn |r ′p n> 1.p ≥ n} > 1 r ′ , ila:On construit par récurrence une suite (p k ) telle que p k+1 > p k pour tout k et |a pk |r ′p k|a pk |r p k>( rr ′ ) pk|apk |r ′p k>( rr ′ ) pk→ +∞> 1. Onet la suite (|a n |r n ) n’est pas bornée, r /∈ I. Donc 1 l ≥ R.Les cas l = 0 ou l = ∞ se démontrent <strong>de</strong> même, mais il n’y a qu’une inégalité à prouver.3. Opérations sur les séries entièresProlongeons à R l’ordre sur R en posant a < ∞ pour tout a <strong>de</strong> R. On peut alors parler <strong>de</strong>min{R, R ′ }, max{R, R ′ } si R et R ′ sont réels ou ∞.3