Cours d Analyse IV Suites et Séries de fonctions

Transcription

1 Université Clude Bernrd, Lyon I Licence Sciences, Technologies & Snté 43, boulevrd 11 novembre 1918 Spécilité Mthémtiques Villeurbnne cedex, Frnce L. Pujo-Menjouet pujo@mth.univ-lyon1.fr Cours d Anlyse IV Suites et Séries de fonctions 1

2 Prémbule Le but de ce cours est de générliser l notion de somme finie de termes en étudint comment cette dernière se comporte lorsque l on considère une succession infinie de termes. L clé ser de considérer ces sommes infinies, ussi ppelées séries, comme l limite de suites. Autrement dit, qund on se souvient du cours sur les suites, il ser plus fcile d ssimiler le cours sur les séries C est pour cel que les deux premiers chpitres concernnt des rppels ne doit ps être négligé. Un des points clés de ce cours ser l étude des séries de Fourier dont les pplictions sont ssez nombreuses dns d utres domines des mthémtiques (notmment les équtions différentielles et les équtions ux dérivées prtielles). Pour rriver u chpitre concernnt les séries de Fourier, il fudr cependnt fire un petit chemin qui nous y mèner de fçon moins brupte. Comme nous l vons écrit plus hut, nous rppellerons l structure de R, puis l notion de suites dns R ou C. Nous considèrerons ensuite les séries dns leur générlité, puis les suites et séries de fonction, pour ensuite psser ux séries entières, ux fonctions développbles en séries entière et enfin les séries de Fourier. Nous pourrons lors résoudre quelques équtions différentielles à l ide de cette théorie. L objectif de l deuxième prtie du cours ser de résoudre des équtions différentielles à l ide des trnsformées de Lplce. Cet outil mthémtique ne pourr s ppliquer rigoureusement sns un petit trvil préliminire sur les intégrles dépendnt d un prmètre. Une fois ces concepts ssimilés, vous serez en possession d outils solides pour résoudre plusieurs types d équtions différentielles et équtions ux dérivées prtielles mis églement des problèmes un peu plus théoriques. 2

3 Tble des mtières 1 Structure de R, suites dns R ou C : L crise des nombres chez les grecs Suites et voisinges : Limites de suites Borne sup ou inf, mx ou min Suites djcentes Rppels suites complexes, limsup de suites réelles Suites complexes Limite sup et inf Séries dns R ou C : Premiers critères de convergence Séries réelles à termes positifs Comprison d une série et d une intégrle impropre Séries à termes quelconques Sommtion pr pquets, produit Suites de fonctions Propriétés des limites uniformes Série de fonctions DEFINITION Séries entières Opértions sur les séries entières Propriétés fonctionnelles d une série entière Fonctions développbles en séries entières L exemple de l exponentielle complexe Développement en série entière Développement des fonctions usuelles Séries de Fourier Interpréttion géométrique des séries de Fourier

4 TABLE DES MATIÈRES TABLE DES MATIÈRES 9 INTEGRALES DEPENDANT D UN PARAMETRE Intervlle d intégrtion J compct Bornes d intégrtion constntes Bornes d intégrtion vribles Intervlle d intégrtion J non borné Rppel Convergence Fonctions Eulériennes Trnsformées de Lplce Rppel Définition Quelques fonctions élémentires Existence de L Trnsformée inverse et trnsformée de dérivées Trnsformée inverse Trnsformer une dérivée Résolution d équtions différentielles Thorme de trnsltion Trnsltion sur l xe des s Trnsltion sur l xe des t Proprits dditionnelles Multiplier une fonction pr t n Convolution Trnsforme d une intgrle Eqution intgrle de Volterr Trnsforme de fonction priodique Fonction δ-dirc

5 Chpitre 1 Structure de R, suites dns R ou C : () Julius Wilhelm (b) Augustin Richrd Dedekind Louis (1789- ( ), 1857), un mthémticien mthémticien llemnd, il est le frnçis, premier à proposer proposé l une construction première définition rigoureuse des rigoureuse nombres réels à d une limite prtir des nombres d une suite insi rtionnels. que plusieurs contributions fondmentles dns l étude de l convergence séries. des (c) Joseph Louis, comte de Lgrnge ( ) un mthémticien itlien, à l origine semble-t-il de l nottion indicielle des suites. FIGURE 1.1 Quelques mthémticiens célèbres liés ux réels et ux suites. L ensemble des nombres réels, noté R se construit rigoureusement à prtir de N (entiers nturels) en définissnt Z (entiers reltifs) puis Q (nombres rtionnels : de l forme p/q vec p Z et q Z ). Dns ce cours, on v simplement rppeler l différence entre R et Q. 1.1 L crise des nombres chez les grecs Pythgore considère un tringle isocèle rectngle de côté 1. Il remrque que le crré de l hypothénuse vut 2. Or il remrque qu il n existe ps de nombre dns Q dont le crré soit 2. Donc, si 5

6 1.2 Suites et voisinges : Structure de R, suites dns R ou C : les seuls nombres qu on connisse sont les rtionnels, il y des longueurs simples qui ne sont ps des nombres! L ensemble des réels, R est défini à prtir de Q en rjoutnt des nombres pour éviter ce genre de problème. Une des fçons de rjouter des nombres est d utiliser l notion de suite : 1.2 Suites et voisinges : Commençons cette section pr l définition des suites réelles. Définition 1 (SUITES) On ppelle suite réelle toute ppliction (x n ) n N. { N R n x n. On note une telle ppliction Remrque On ppeller ussi suite les pplictions dont l ensemble de déprt est N privé de ses premiers éléments jusqu à un certin rng. L notion l plus importnte concernnt les suites est celle de convergence. Pour définir l convergence, on définit l notion de voisinge. L étude des voisinges est une brnche des mthémtiques ppelée l topologie (voir cours d Anlyse III pour les bses, et le cours de Topologie élémentire (Semestre 5) pour plus de détils). On peut définir des voisinges pour des objets utres que des nombres (des vecteurs, des fonctions,...). Chque fois qu on peut définir des voisinges, on peut lors étudier des convergences, des continuités, des notions proches de l dérivbilité, et fire de l optimistion. Définition 2 (VOISINAGE) Soit x R. On dit que V R est un voisinge de x si et seulement s il existe ε > 0 tel que [x ε, x + ε] V. Remrque On peut ussi dire, c est équivlent, que V R est un voisinge de x si et seulement s il existe ε > 0 tel que ]x ε, x + ε[ V. Définition 3 (VOISINAGE DE L INFINI) On dit que V R est un voisinge de + (resp. de ) si et seulement s il existe A R tel que [A, + [ V (resp. ], A] V ). 6

7 Structure de R, suites dns R ou C : 1.3 Limites de suites L notion de voisinge étnt en plce, nous nous intéressons lors u comportement des suites qund n tend vers l infini. Pour cel nous llons introduire les limites de suites. 1.3 Limites de suites Définition 4 (LIMITE) Soit (x n ) n N une suite réelle. Soit l fini ou infini. On dit que l est l limite de (x n ) n N, et on note l = lim x n si et seulement si pour tout V voisinge de l, il existe N V N tel n + que pour tout n N V, x n V. Si une suite dmet une limite finie on dit qu elle CONVERGE. Si elle dmet une limite infinie ou si elle n dmet ps de limite, on dit qu elle DIVERGE. Si l est +, l = lim n + x n signifie : pour tout A R, il existe N A N tel que n N A x n A. Si l R, l = lim n + x n signifie : pour tout ε > 0, il existe N ε N tel que n N ε x n [l ε, l + ε] (c est à dire x n l ε). Propriété 1 (COMPARAISON DES LIMITES) Soient (x n ) n N et (y n ) n N deux suites de réels tels que pour tout n N, x n y n. Supposons que lim x n = l 1 et lim y n = l 2. Alors l 1 l 2. n + n + Remrque Même si on suppose que pour tout n N, x n < y n, on ne peut ps en déduire que l 1 < l 2 (on juste l 1 l 2 ). Exemple : pour tout n N, x n = 0 et y n = 1/n. Propriété 2 (THEOREME DES GENDARMES) Soient (x n ) n N, (y n ) n N et (z n ) n N trois suites de réels telles que pour tout n N, x n y n z n. On suppose que lim x n = lim z n = l (l fini ou infini). Alors n + n + lim y n = l. n + 7

8 1.3 Limites de suites Structure de R, suites dns R ou C : Il existe une notion proche de celle de suite convergente, mis ne nécessitnt ps de préciser l vleur de l. Définition 5 (SUITE DE CAUCHY) Soit (x n ) n N une suite réelle. On dit que (x n ) n N est une suite de Cuchy si et seulement si on pour tout ε > 0, il existe N ε N tel que (n N et m N ε ) x n x m ε. QUESTION IMPORTANTE : est-ce qu être une suite de cuchy est l même chose qu être une suite convergente? Propriété 3 Si une suite est convergente, lors elle est de Cuchy. Preuve Démontré en cours. Remrque ATTENTION : l réciproque n est ps vrie en générl. Pr contre, le fit de trviller sur un espce où l réciproque est vrie serit bien prtique. En effet nous pourrions montrer l convergence d une suite sns voir à clculer l limite de cette suite. Les espces dont l réciproque de l propriété ci-dessus. Définition 6 (ENSEMBLE COMPLET) Si dns un ensemble toute suite de Cuchy est convergente, on dit que cet ensemble est complet Exemple Q n est ps complet. En effet, considérons l suite définie pr x 0 = 2 et pour tout n N, x n+1 = (1/2)(x n + 2/x n ). Tous les x n sont bien dns Q et on montrer (en TD) que cette suite est de Cuchy. Or, si s limite est l, lors l = (1/2)(l + 2/l), c est à dire l 2 = 2 donc l n existe ps dns Q! On peut mintennt dire ce qu est R : R est le complété de Q : c est Q uquel on rjoute toutes les limites des suites de Cuchy. (Cette phrse ne constitue bien sûr ps une construction rigoureuse de R). Mis ce n est ps l seule fçon de construire R. Il en existe deux utres équivlentes. L une d elle permet de définir R à prtir de Q pr l notion de borne sup qui est l objet de l section suivnte. 8

9 Structure de R, suites dns R ou C : 1.4 Borne sup ou inf, mx ou min 1.4 Borne sup ou inf, mx ou min Définition 7 (BORNE SUP, BORNE INF) Soit E R. On dit que M R est l borne supérieure de E (M = sup(e)) si et seulement si 1. M est un mjornt de E (pour tout x E, x M), 2. si M est un mjornt de E, lors M M. De même m R est l borne inférieure de E (m = inf(e)) si et seulement si 1. m est un minornt de E (pour tout x E, x m), 2. si m est un minornt de E, lors m m. Propriété 4 (MAJORANT ET SUITES) M = sup(e) M est un mjornt de E, si et seulement si il existe (x n ) n N suite d éléments de E telle que lim x n = M. n + L propriété correspondnte pour l borne inf est vrie. Définition 8 (MAXIMUM, MINIMUM) Soit E R. On dit que M est le mximum de E (M = mx(e)) si M = sup(e) et M E. On dit que m est le minimum de E (m = min(e)) si m = inf(e) et m E. On peut mintennt décrire l deuxième fçon de construire R : R correspond à Q uquel on rjoute toutes les bornes sup de sous-ensembles de Q. On lors les deux propriétés suivntes : Propriété 5 (PROPRIETE DE LA BORNE SUP) Toute prtie de R non vide et mjorée dmet une borne sup. 9

10 1.5 Suites djcentes Structure de R, suites dns R ou C : Propriété 6 (REEL ET BORNE SUP) Tout réel est l borne sup d un ensemble d éléments de Q. Remrque Q n ps l propriété de l borne sup : {x Q tel que x 2 < 2} dmet 2 comme borne sup dns R et n dmet ps de borne sup dns Q. Enfin, l troisième fçon de construire R utilise les suites croissntes et mjorées : R ser lors Q uquel on rjoute toutes les limites de suites croissntes et mjorées de Q. On lors : Propriété 7 (SUITE CROISSANTE MAJOREE) Toute suite réelle (x n ) n N croissnte et mjorée (resp. décroissnte et minorée) converge et on lim x n = sup x n (resp. lim x n = inf x n). n + n + n N n N Remrque Cette propriété n est ps vrie dns Q. 1.5 Suites djcentes Définition 9 (SUITES ADJACENTES) Soient (x n ) n N et (y n ) n N deux suites de réels. On dit qu elles sont djcentes si et seulement si 1. l une des suites est croissnte, 2. l utre suite est décroissnte, 3. lim n + (x n y n ) = 0. Propriété 8 (LIMITES ET SUITES ADJACENTES) Si (x n ) n N et (y n ) n N sont deux suites réelles djcentes telles que (x n ) n N soit croissnte et (y n ) n N soit décroissnte lors : 1. pour tout (n, m) N 2, x n y m, 2. lim x n et lim y n existent, sont finies et sont égles. n + n + Preuve Démontré en cours. 10

11 Chpitre 2 Rppels suites complexes, limsup de suites réelles 2.1 Suites complexes Il n existe ps x R tel que x 2 = 1 (ou x 2 +1 = 0). Si on veut que tout polynôme de degré 2 it 2 rcines, on introduit le nombre imginire i qui vérifie i 2 = 1. On définit lors les nombres complexes comme l somme d une prtie réelle et d une prtie imginire : C = { + ib, R, b R}. C est donc très similire à R 2 = {(, b), R, b R}. L différence est qu on définit un produit C C C lors qu on ne le fit ps sur R 2 (il existe un produit sclire R 2 R 2 R mis c est différent). Un des intérêts principux des nombres complexes est leur formultion module-rgument : Propriété 1 (MODULE ET ARGUMENT) Soit z = + ib C. il existe un unique couple (ρ, θ) R + [0, 2π[ tel que z = ρe iθ. On lors = ρ cos(θ), b = ρ sin(θ) et ρ = 2 + b 2. Alors si z = ρe iθ et z = e iθ, on zz = ρe i(θ+θ ). Donc une multipliction pr un nombre complexe de module 1 correspond à une rottion. C est à cuse de cet effet qu on utilise les nombres complexes pour modéliser les phénomènes oscillnts. 11

12 2.1 Suites complexes Rppels suites complexes, limsup de suites réelles Définition 1 (SUITE COMPLEXE) Une suite complexe est une ppliction { N C n z n. Pour définir l convergence des suites complexes, on définit les voisinges dns C. Définition 2 (VOISINAGE) Soit z C. On dit que V C est un voisinge de z si et seulement s il existe ε > 0 tel que D(z, ε) = {z C tq z z ε} V. Remrque On peut ussi prendre o D(z, ε) = {z C tq z z < ε}. L définition de limite de suite dns C est lors l même que dns R. Définition 3 (LIMITE D UNE SUITE) Soit (z n ) n N une suite complexe et soit l C. On dit que l est l limite de (z n ) n N, et on note l = lim z n si et seulement si pour tout V voisinge de l, il existe N V N tel que n + pour tout n N V, z n V. Remrque 1. l = lim n + z n signifie donc pour tout ε > 0, il existe N ε N tel que n N ε z n l ε (c est à dire z n D(l, ε)). 2. Dns R on définit des voisinges de + et, ce qui permet de définir des limites infinies. Dns C on ne le fit ps : une limite infinie dns C n ucun sens! Comme dns R, on définit les suites de Cuchy. 12

13 Rppels suites complexes, limsup de suites réelles 2.1 Suites complexes Définition 4 (SUITE DE CAUCHY) Soit (z n ) n N une suite complexe. On dit que (z n ) n N est une suite de Cuchy si et seulement si on : pour tout ε > 0, il existe N ε N tel que (n N ε et m N ε ) z n z m ε. Comme dns R, on lors : Propriété 2 (C EST COMPLET) Dns C, toute suite de Cuchy est convergente. Autrement dit C est complet. Pour le démontrer, on décompose l suite complexe en s prtie réelle et s prtie imginire. On : Propriété 3 (CONVERGENCE (CAUCHY)) Soit (z n ) n N une suite complexe. Les propositions suivntes sont équivlentes : (z n ) n N est de Cuchy (dns C), (Re(z n )) n N et (Im(z n )) n N sont de Cuchy (dns R), (Re(z n )) n N et (Im(z n )) n N convergent (dns R), (z n ) n N converge (dns C). Lorsqu on utilise l formultion module-rgument : Propriété 4 (LIMITE, MODULE ET ARGUMENT) Soit (z n ) n N une suite complexe et l C. On lim z n = l (limite dns C) lim z n = l (limite dns R). n + n + Remrque ATTENTION : LA RECIPROQUE N EST PAS VRAIE. Il n y que deux cs où l étude du module permet de conclure sur l convergence de l suite : si lim z n = 0 lors lim z n = 0. n + n + 13

14 2.2 Limite sup et inf Rppels suites complexes, limsup de suites réelles si lim n + z n = + lors (z n ) n N diverge. DIFFERENCE FONDAMENTALE ENTRE R ET C : il n y ps de reltion d ordre (similire à ) dns C (ni dns R 2 : de fçon générle, on peut ordonner des nombres réels mis ps des vecteurs). Donc ps de notion de suite croissnte, de mjortion, de théorème des gendrmes, de limsup et liminf! 2.2 Limite sup et inf ATTENTION, nous ne considèrerons ici que les suites réelles. L reltion d ordre de R permet de définir l limsup et l liminf d une suite réelle. L intérêt est que l limsup et l liminf existent toujours, dns R {, + }, contrirement à l limite. Définition 5 (LIMSUP, LIMINF) Soit (x n ) n N une suite réelle. Pr définition, lim sup x n = n + lim inf x k. n + k n lim sup n + k n x k et lim inf n + x n = Remrque 1.Cette définition s étend ux suites non nécessirement bornées, en posnt et lim sup x n = + si l suite n est ps mjorée, n + lim inf x n = si l suite n est ps minorée. n + 2. L suite (sup x k ) n N étnt décroissnte, elle dmet toujours une limite dns R {, + }. De k n même, l suite (inf x k) n N étnt croissnte, elle dmet toujours une limite dns R {, + }. k n Il est commode de relier l limsup et l liminf d une suite à ses vleurs d dhérence. Définition 6 (VALEUR D ADHERENCE) Soit (x n ) n N une suite réelle et R {, + }. On dit que est une vleur d dhérence de (x n ) n N si et seulement s il existe une sous-suite de (x n ) n N qui tend vers. On lors : 14

15 Rppels suites complexes, limsup de suites réelles 2.2 Limite sup et inf Propriété 5 (LIMSUP, LIMINF ET ADHERENCE) Soit (x n ) n N une suite réelle. S limite supérieure est l plus grnde de ses vleurs d dhérence, et s limite inférieure est l plus petite. On en déduit : Propriété 6 (CONVERGENCE) Une suite réelle (x n ) n N tend vers l R {, + } si et seulement si lim sup x n = n + lim inf x n = l. n + 15

16 2.2 Limite sup et inf Rppels suites complexes, limsup de suites réelles 16

17 Chpitre 3 Séries dns R ou C : Nous sommes désormis en mesure de définir l notion de série. Nous llons voir que s définition repose sur l notion de suite. Les deux sont donc extrêmement liés, et il ne fudr jmis perdre cet spect de vue. Définition 1 (SERIE) Soit (x n ) n N une suite de nombres réels ou complexes. On ppelle série de terme générl x n et on note x n, l suite (S n ) n N définie pr pour tout n N, S n = n x k. On dit que l série x n converge (resp. diverge) ssi l suite (S n ) n N converge (resp. diverge). Si l série converge, série. lim S n est notée n + k=0 x n et est ppelée l somme de l Exemple (SERIE GEOMETRIQUE) Soit z C tel que z < 1. n Alors z k = 1 n zn+1 et comme, lim 1 z n + zn+1 = 0 on lim z k = 1 n + 1 z. k=0 k=0 L série z n 1 est donc convergente et s somme est 1 z. 17

18 3.1 Premiers critères de convergence Séries dns R ou C : Propriété 1 (SOMMES DE SERIES) Soient x n et y n deux séries réelles ou complexes et λ C. 1. Si x n et y n convergent lors (λx n + y n ) converge et (λx n + y n ) = λ x n + y n. 2. Si λ 0, si x n diverge et y n converge lors (λx n + y n ) diverge. Remrque Si x n et y n divergent, on peut voir qund même (x n + y n ) qui converge. Exemple : si x n = y n. 3.1 Premiers critères de convergence Propriété 2 (CRITERE DE CAUCHY POUR LES SERIES) Une série réelle ou complexe x n converge si et seulement pour tout ε > 0, il existe m N ε N tel que (m > n N ε ) x k ε. k=n+1 Preuve L suite (S n ) n N où S n = k=0 n x k est une suite réelle ou complexe. Donc elle converge si et seulement si elle est de Cuchy. Et (S n ) n N est de Cuchy si et seulement si pour tout ε > 0, il existe N ε N tel que (n N ε et m N ε ) S n S m ε. Ou encore si et seulement si pour tout ε > 0, il existe N ε N tel que (m > n N ε ) S n S m ε. Remrque IMPORTANT : d près l propriété précédente, si x n converge, lors lim n + x n = 0. Du coup, si lim x n 0, on dit que x n est grossièrement divergente. n + Preuve Démontré en cours. Définition 2 (CONVERGENCE ABSOLUE) On dit que l série (réelle ou complexe) x n est bsolument convergente si et seulement si l série (réelle) x n est convergente. 18

19 Séries dns R ou C : 3.2 Séries réelles à termes positifs Propriété 3 (CONVERGENCE ABSOLUE ET CONVERGENCE) Une série réelle ou complexe bsolument convergente est convergente. Preuve Si x n est bsolument convergente lors x n est convergente et vérifie donc le critère de Cuchy : m pour tout ε > 0, il existe N ε N tel que m > n N ε x k = m x k < ε. Or k=n+1 k=n+1 m m x k x k. Donc x n vérifie le critère de Cuchy. Elle est donc convergente. k=n+1 k=n Séries réelles à termes positifs Propriété 4 (COMPARAISON) Soient x n et y n deux séries réelles à termes positifs telles que pour tout n N, x n y n. Alors i) si y n converge lors x n converge, ii) si x n diverge lors y n diverge. Preuve i) Notons S n = n x k et T n = k=0 n y k. On pour tout n N, S n T n. k=0 Si y n converge, notons T = lim T n. Comme y n est à termes positifs, pour tout n + n N, S n T. De plus, comme x n est à termes positifs, (S n ) n N est croissnte. Comme elle est mjorée pr T, elle est convergente. ii) Si x n diverge, puisqu elle est à termes positifs, lim S n = +. Donc lim T n = n + n + +. Définition 3 (EQUIVALENCE) Soient (x n ) n N et (y n ) n N deux suites réelles ou complexes. On dit qu elles sont équivlentes à l infini et on note x n + y n si et seulement si pour n ssez grnd, x n = y n (1 + ε(n)) vec ε(n) = 0. lim n + 19

20 3.2 Séries réelles à termes positifs Séries dns R ou C : Propriété 5 (SERIES ET EQUIVALENTS) Soient x n et y n deux séries réelles à termes positifs telles que x n + y n. Alors xn et y n sont de même nture (convergentes ou divergentes). Preuve Si x n + y n, lors pour n ssez grnd, x n = y n (1 + ε(n)) où lim ε(n) = 0. Pour n ssez n + grnd, 1/2 ε(n) 1/2 donc y n /2 y n (1 + ε(n)) = x n 3y n /2. Puisque pour n ssez grnd y n /2 x n, si x n converge lors y n converge et si y n diverge lors x n diverge. Puisque pour n ssez grnd x n 3y n /2, si y n converge lors x n converge et si x n diverge lors y n diverge. Ces comprisons ne sont vlbles que prce que x n et y n sont à termes positifs. Définition 4 (NEGLIGEABILITE) Soient (x n ) n N et (y n ) n N deux suites réelles ou complexes. On dit que (x n ) n N est négligeble devnt (y n ) n N à l infini et on note x n = + o(y n ) si et seulement si pour n ssez grnd, x n = y n ε(n) vec ε(n) = 0. lim n + Propriété 6 (SERIES ET NEGLIGEABILITE) Soient x n et y n deux séries réelles telles que x n = + o(y n ). On suppose que y n est à termes positifs et qu elle converge. Alors x n est ussi convergente. Propriété 7 (SERIE DE RIEMANN) Soit α R +. Si α > 1 lors l série 1/n α converge et si α 1 lors elle diverge. Preuve Cette propriété ser démontrée pr comprison d une série et d une intégrle en dessous. Propriété 8 (COMPARAISON AVEC LES SERIES DE RIEMANN) Soit x n une série réelle à termes positifs. 1. S il existe α > 1 tel que pour tout n N, n α x n 1, lors x n converge. 2. S il existe α 1 tel que pour tout n N, n α x n 1, lors x n diverge. 20

21 Séries dns R ou C : 3.2 Séries réelles à termes positifs Preuve L preuve est une simple ppliction de l proposition précédente et du principe de comprison des séries à termes positifs. Les deux propriétés suivntes (règle de Cuchy et règle de D Alembert) consistent à comprer une série à termes positifs vec une série géométrique. L fçon l plus simple de les énoncer est d utiliser les limsup et liminf : Propriété 9 (REGLE DE CAUCHY) Soit x n une série réelle à termes positifs. Notons l = lim sup n xn. Alors n + i) Si l < 1, x n converge, ii) si l > 1, x n diverge, iii) si l = 1, on ne peut ps conclure. C est le cs douteux de l règle de Cuchy. Propriété 10 (REGLE DE D ALEMBERT) Soit x n+1 x n une série réelle à termes strictement positifs. Notons L = lim sup et n + x n x n+1 l = lim inf. Alors n + x n i) Si L < 1, x n converge, ii) si l > 1, x n diverge, iii) si l 1 L, on ne peut ps conclure. C est le cs douteux de l règle de D Alembert. x n+1 Remrque Lorsque lim existe, on L = l et l règle de D Alembert est lors très similire à l règle de Cuchy : n + x n i) Si l < 1, x n converge, ii) si l > 1, x n diverge, iii) si l = 1, cs douteux. Remrque LIEN ENTRE LES REGLES DE CAUCHY ET DE D ALEMBERT : x n+1 Si lim existe, lors lim n x n+1 xn existe et lim = lim n xn. Donc il est n + x n n + n + x n n + x n+1 inutile d essyer l règle de Cuchy si l règle de D Alembert donné lim = 1. n + x n x n+1 Si lim n existe ps, il est possible que lim n xn existe qund même, et il est n + x n n + possible qu on ne soit ps dns le cs douteux de l règle de Cuchy, même si on est dns le cs douteux de celle de D Alembert. 21

22 3.3 Comprison d une série et d une intégrle impropre Séries dns R ou C : 3.3 Comprison d une série et d une intégrle impropre Rppelons ici l définition d une intégrle impropre. Nous y reviendrons plus trd dns le chpitre conscré ux intégrles. Définition 5 (INTEGRALE IMPROPRE) Soient R et f : [, + [ R intégrble sur tout intervlle borné inclus dns [, + [. Si X lim X + converge, et on note impropre diverge. f(x)dx existe et est finie, on dit que l intégrle impropre f(x)dx = X lim X + f(x)dx f(x)dx. Sinon, on dit que l intégrle Propriété 11 (COMPARAISON SERIE ET INTEGRALE IMPROPRE) Soit f : [, + [ R intégrble sur tout intervlle borné inclus dns [, + [, décroissnte et positive. Alors l intégrle impropre même nture (convergentes ou divergentes). f(x)dx et l série f(n) sont de Preuve Comme f est décroissnte, on pour tout n N, pour tout x [n, n + 1], f(n + 1) f(x) f(n), donc n+1 n f(n + 1)dx C est à dire f(n + 1) f(x)dx Donc, puisque n+1 n n+1 n X =lim X + X N =lim X + X N n+1 n f(x)dx n+1 n f(x)dx f(n). Or f(n)dx. ( f(x)dx E()+1 f(x)dx + X 1 f(x)dx f(n), si n=e()+1 f(x)dx diverge, n+1 n ) f(x)dx. c est à dire n+1 f(x)dx diverge, lors f(n) diverge, et si f(n) converge, lors n converge. De même, puisque f(n+1) n+1 n f(x)dx, si et donc f(n) converge, et si f(n) diverge, lors f(x)dx f(x)dx converge, lors f(n+1) converge f(x)dx diverge. Exemple 1/n α, α > 0 : 22

23 Séries dns R ou C : 3.4 Séries à termes quelconques Si α 1, 1 { 1, si α > 1, 1 α +, si α < 1. Si α = 1, 1 1 x α dx = 1 x dx = X lim X + 1 lim X + [ln(x)]x 1 Donc 1 converge si et seulement si α > 1. nα 1 x α dx = = +. [ ] x 1 α X lim = X + 1 α 1 Propriété 12 (ENCADREMENT DU RESTE) Soit f : [, + [ R positive et décroissnte, telle que pour n, R n = Alors, pour tout n, f(x)dx R n f(k). k=n+1 n+1 n f(x)dx. f(x)dx converge. Notons Remrque Pour toute série réelle ou complexe x n convergente, l quntité R n = est ppelée reste d ordre n de x n, et on lim R. n + k=n+1 x k 3.4 Séries à termes quelconques Définition 6 (SERIE SEMI-CONVERGENTE) Lorsqu une série est convergente mis ps bsolument convergente, on dit qu elle est semi-convergente. Définition 7 (SERIE ALTERNEE) Une série réelle x n est dite lternée si et seulement si ( 1) n x n grde un signe constnt pour tout n N. 23

24 3.5 Sommtion pr pquets, produit Séries dns R ou C : Propriété 13 (REGLE DES SERIES ALTERNEES) Pour qu une série lternée x n converge, il suffit que l suite ( x n ) n N soit décroissnte et tende vers 0. De plus, dns ce cs, le reste d ordre n, R n = n N, R n x n+1. k=n+1 x k, vérifie pour tout Exemple ( 1) n /n est convergente mis ps bsolument convergente (donc elle est semi-convergente). Cette série est ppelée série hrmonique lternée. On peut montrer en ppliqunt Tylor-Lgrnge à ln(1 + x) sur [0, 1] que n=1 ( 1) n n = ln(2) Propriété 14 (REGLE D ABEL) Soit x n une série complexe où pour tout n N, x n = α n u n tels que i) l suite (α n ) n N est réelle, décroissnte et tend vers 0, n ii) il existe M R tel que pour tout n N, u k M. Alors x n est convergente. k=0 Exemple Pour α > 0 et θ 0 [2π], l série exp(inθ)/n α converge. En effet : 1/n α joue le rôle de α n, (1/n α ) n N est une suite réelle, décroissnte et qui tend vers 0. exp(inθ) joue le rôle de u n, n exp(ikθ) = 1 exp(i(n + 1)θ) 1 exp(iθ) 2 1 exp(iθ). k=0 2 Or est indépendnt de n, donc l règle d Abel s pplique. 1 exp(iθ) 3.5 Sommtion pr pquets, produit On peut remplcer des pquets de termes consécutifs pr leur somme effectuée : 24

25 Séries dns R ou C : 3.5 Sommtion pr pquets, produit Propriété 15 (COMPARAISON DE SERIES) Soit n ϕ(n) une ppliction strictement croissnte de N dns N. Soit x n une série complexe. On considère l série ϕ(n+1) 1 y n où y n = x k lors k=ϕ(n) i) Pour que x n converge, il est nécessire que y n converge. De plus, si c est le cs, x n = y n. ii) Si les x n sont des réels positifs, pour que x n converge, il est nécessire et suffisnt que y n converge. Définition 8 (PERMUTATION) On ppelle permuttion de N une bijection de N sur N. Définition 9 (SERIE COMMUTATIVEMENT CONVERGENTE) On dit qu une série x n est commuttivement convergente si et seulement si pour toute permuttion σ de N, l série x σ(n) est convergente. Propriété 16 (COMMUTAT. ET ABS. CONVERGENTE) Une série complexe est commuttivement convergente si et seulement si elle est bsolument convergente. Dns ce cs, s somme ne chnge ps si on chnge l ordre des termes. Remrque Cette propriété implique que pour toute série complexe semi-convergente, on peut trouver une permuttion des termes qui donne une série divergente. On peut ussi démontrer que pour toute série complexe semi-convergente, pour tout nombre complexe fixé à l vnce, on peut trouver une permuttion des termes qui donne une série dont l somme est ce nombre. Exemple à prtir de l série hrmonique lternée x n = ( 1) n+1 = 1 1 n = ln(2), n 1 n 1 on construit l série y n = n (2n + 1) 1 2(2n + 2) +... n 1 Puis, pr sommtion pr pquets, on considère 25

26 3.5 Sommtion pr pquets, produit Séries dns R ou C : z n = n 1 n 1 1 ( 1) n+1 2 n ( 1 1 ) 1 ( ) 1 ( ) n (2n + 1) = 1 2 ln(2). Or si y n converge lors n 1 y n = n 1 z n = 1 2 ln(2). Donc n 1 y n n 1 x n. 1 2(2n + 2) + = Définition 10 (SERIE PRODUIT) Soient x n et y n deux séries complexes. On ppelle série produit de x n et y n l série z n où n N, z n = n n x p y q = x p y n p = x n q y q. p+q=n p=0 q=0 Propriété 17 (CONVERGENCE SERIE PRODUIT) xn yn Soient et deux séries complexes bsolument convergentes. Alors l série produit zn de x n et yn est bsolument convergente et z n = ( + ) ( + x n y n ). Remrque Cette propriété ne s étend ps ux séries semi-convergentes. Exemple On pose pour tout n N, x n = y n = ( 1)n (n + 1). 1/4 Les séries x n et y n sont lternées et convergentes. 1 Elles ne sont ps bsolument convergentes cr x n = (n + 1) donc x 1/4 n est de même nture que 1/n 1/4, (cr (n + 1) 1/4 + n 1/4 ) qui est une série de Riemnn divergente. L série produit est z n vec z n = ( 1) n 1 1 (p + 1) 1/4 (q + 1). 1/4 p+q=n Or pour tout p n, (p + 1) 1/4 (n + 1) 1/4 donc pour tout (p, q) N 2 tel que p + q = n, 1 (p + 1) 1/4 (q + 1) 1 1/4 (n + 1). 1/2 Donc z n 1 (n + 1) = (n + 1) 1/2 (n + 1) = 1/2 (n+1)1/2. Donc z n est grossièrement divergente. p+q=n 26

27 Chpitre 4 Suites de fonctions Dns les prties suivntes, on v considérer des fonctions D C C. L continuité, l limite finie qund z tend vers z 0 (z 0 fini) et l dérivbilité de telles fonctions se définissent comme pour les fonctions D R R (mis le module remplce l vleur bsolue). On ne définit ps de limite infinie, ni de limite qund z tend vers l infini. Les fonctions D C C dérivbles sont dites holomorphes et ont des propriétés bien plus fortes que les fonctions D R R dérivbles. Leur étude ne commence qu en L3 de mthémtiques. Remrque Dns R, l définition de l dérivée fit intervenir le rpport f(x) f(x 0). Elle implique donc de x x 0 pouvoir diviser pr (x x 0 ). Dns C, ç un sens, l division pr un nombre complexe est bien définie. Dns R 2 ç n en ps, l division pr un vecteur n est ps définie. Pour cette rison, on peut définir l dérivée d une fonction D C C mis ps d une fonction D R 2 R 2. Pour ces dernières, on introduit une notion plus sophistiquée, l différentibilité. L étude de l différentibilité se voit en ANALYSE III. Comme il n y ps de reltion d ordre dns C, il n y ps de théorème de Rolle, et ps d églité des ccroissements finis. Mis on peut qund même démontrer une inéglité des ccroissements finis : Théorème 1 (INEGALITE DES ACCROISSEMENTS FINIS) Soit f : D C C holomorphe sur D, de dérivée f et (z 0, z) D 2 tels que [z 0, z] D, lors f(z) f(z 0 ) z z 0 sup f (t). t [z 0,z] 27

28 Suites de fonctions Remrque t [z 0, z] signifie il existe α [0, 1] tel que t = z 0 + α(z z 0 ). Définition 1 (CONVERGENCE SIMPLE) Soit (f n ) n N une suite de fonctions définies sur le même domine D : pour tout n N, f n : D C C. Soit f : D C C. On dit que (f n ) n N converge simplement vers f sur D ssi pour tout z D, lim f n(z) = f(z) (limite dns C). n + Remrque Cette définition est ussi vlble pour les fonctions D R R. Exemple On considère f n : { [0, 1] R, x x n. (f n ) n N converge simplement sur [0, 1] vers f où f : [0, 1] { R 0 si x [0, 1[, x 1 si x = 1. On remrque que dns cet exemple, pour tout n N, f n est continue mis que f est discontinue en 1. Définition 2 (CONVERGENCE UNIFORME) Soit (f n ) n N une suite de fonctions D C C et f : D C C. On dit que (f n ) n N converge uniformément vers f sur D si et seulement si lim sup f n (z) f(z) = 0. n + z D Remrque (f n ) n N converge simplement vers f sur D se trduit pr : pour toutz D, pour tout ε > 0, il existen z,ε N tel que n N z,ε f n (z) f(z) ε. (f n ) n N converge uniformément vers f sur D se trduit pr : pour toutε > 0, il existen ε N tel que n N ε pour tout z D, f n (z) f(z) ε. Il y un risque de confondre ces deux expressions qui se ressemblent (surtout si on note N u lieu de N z,ε et N ε ). L différence est que pour l convergence uniforme, N ε doit convenir pour tous les z D. 28

29 Suites de fonctions Propriété 1 (CONVERGENCE UNIFORME ET SIMPLE) Si (f n ) n N converge uniformément vers f sur D lors elle converge simplement vers f sur D. Preuve Soit z 0 D. On 0 f n (z 0 ) f(z 0 ) sup z D le théorème des gendrmes, f n (z) f(z). Donc si lim lim f n(z 0 ) f(z 0 ) = 0 donc n + Remrque LA RECIPROQUE N EST PAS VRAIE! Définition 3 (SUITE UNIFORMEMENT DE CAUCHY) sup n + z D f n (z) f(z) = 0, d près lim f n(z 0 ) = f(z 0 ). n + Soit (f n ) n N une suite de fonctions D C C. On dit que (f n ) n N est uniformément de Cuchy sur D si et seulement si ε > 0, N ε N tel que (n N ε et m N ε ) f n (z) f m (z) < ε. sup z D Propriété 2 (CONVERGENCE UNIFORME ET CAUCHY) Une suite (f n ) n N de fonctions D C C converge uniformément sur D si et seulement si elle est uniformément de Cuchy sur D. En prtique, on fit d bord l étude de l convergence simple, ce qui détermine f. On étudie lors f n (z) f(z). sup z D Si on le mjore pr (α n ) n N tel que uniforme. Si on le minore pr (α n ) n N tel que uniforme. lim n + α n = 0 lors on montré qu il y convergence lim α n 0 lors on montré qu il n y ps convergence n + Propriété 3 (SUITE NON CONVERGENTE UNIFORMEMENT) Soit (f n ) n N une suite de fonctions D C C et f : D C C. Pour que (f n ) n N ne converge ps uniformément vers f sur D, il suffit qu il existe une suite (z n ) n N de points de D tels que f n (z n ) f(z n ) ne converge ps vers 0 (limite dns C). 29

30 4.1 Propriétés des limites uniformes Suites de fonctions 4.1 Propriétés des limites uniformes Propriété 4 (LIMITE ET CONTINUITE) Soit (f n ) n N une suite de fonctions D C C et f : D C C telles que (f n ) n N converge uniformément vers f sur D. Soit D. Si pour tout n N, f n est continue en, lors f est continue en. Preuve Soit D. Soit ε > 0. N ε N tel que n N ε, x D, f n (x) f(x) ε/3. η ε > 0 tel que ( x η ε et x D) f Nε (x) f Nε () ε/3. Donc ( x η ε et x D) f(x) f() f(x) f Nε (x) + f Nε (x) f Nε () + f Nε () f() ε. Donc f est continue en. Remrque { [0, 1] R On voit que l suite de fonctions f n : x x n ne converge uniformément sur [0, 1] vers ucune fonction. En effet elle converge simplement sur [0, 1] vers une fonction qui n est ps continue. Propriété 5 (LIMITE ET INTEGRALE) Soient (, b) R 2, ( < b) et (f n ) n N une suite de fonctions continues de [, b] dns R. Soit f : [, b] R telle que (f n ) n N converge uniformément vers f sur [, b]. Alors lim n + b f n (x)dx = b f(x)dx. Preuve Soit ε > 0 fixé. Il existe N N tel que n N pour tout x [, b], f n (x) f(x) ε/(b ). Donc, si n N, b b b f n (x)dx f(x)dx = b (f n (x) f(x))dx Donc lim n + b f n (x)dx = b f(x)dx. f n (x) f(x) dx ε. Remrque Cette propriété n est plus vrie si on n que l convergence simple de (f n ) n N vers f. 30

31 Suites de fonctions 4.1 Propriétés des limites uniformes Propriété 6 (LIMITE ET DERIVABILITE) Soient D un disque de C et (f n ) n N une suite de fonctions D C C, holomorphes sur D. On suppose que i) l suite (f n) n N converge uniformément sur D vers une fonction g. ii) il existe z 0 D tel que (f n (z 0 )) n N converge. Alors (f n ) n N converge uniformément vers une fonction f : D C C sur toute prtie bornée de D. De plus, f est holomorphe sur D et f = g. Remrque Cette proposition est encore vrie pour les fonctions D R R (remplcer holomorphe pr dérivble et D disque de C pr D intervlle de R). 31

32 4.1 Propriétés des limites uniformes Suites de fonctions 32

33 Chpitre 5 Série de fonctions 5.1 DEFINITION De fçon nlogue ux séries, les séries de fonctions sont définies à prtir des suites de fonctions. Définition 1 (SERIE DE FONCTIONS) Soit (f n ) n N une suite de fonctions définies sur le même domine D : pour tout n N, f n : D C C. On dit que l série de fonctions f n converge simplement (resp. uniformément) sur D ssi l suite des somme prtielles (suites de fonctions) (S n ) n N où n pour tout n N, pour tout z D, S n (z) = f k (z) converge simplement (resp. uniformément) sur D. k=0 Remrque En prtique, pour l étude de l convergence simple d une série de fonctions D C C, on est rmené à l étude de l convergence d une série complexe. Propriété 1 (CRITERE DE CAUCHY UNIFORME) Une série de fonctions f n où f n : D C C converge uniformément sur D si et seulement pour tout ε > 0, il existe N ε N tel que (m > n N ε ) m sup f k (z) ε. z D k=n+1 On en déduit que 33

34 5.1 DEFINITION Série de fonctions Propriété 2 (CONDITION NECESSAIRE DE CONV. UNIF.) Pour que l série de fonctions f n où f n : D C C converge uniformément sur D, il fut que l suite (f n ) n N converge uniformément vers 0 sur D. Les propriétés sur l continuité, l dérivtion et l intégrtion viennent des propriétés des suites de fonctions : Propriété 3 (SERIE DE FONCTIONS ET CONTINUITE) Soit f n, f n : D C C, une série de fonctions et D tel que pour tout n N, f n soit continue en. Si f n converge uniformément sur D lors en. f n est continue Propriété 4 (SERIE DE FONCTIONS ET DERIVATIONS) Soient D un disque de C et (f n ) n N une suite de fonctions D C C, holomorphes sur D. On suppose que i) l série f n converge uniformément sur D, ii) il existe z 0 D tel que f n (z 0 ) converge. Alors f n converge simplement ( sur D et uniformément sur toute prtie bornée de D. + ) De plus, f n est holomorphe et f n = f n. Propriété 5 (SERIE DE FONCTIONS ET INTEGRATION) Soit f n, f n : [, b] R R ( < b) une série de fonctions continues. Si f n ( b + ) b converge uniformément sur [, b], lors f n (x)dx = f n (x)dx. On étudie mintennt une utre notion de convergence plus forte que l convergence uniforme : Définition 2 (CONVERGENCE NORMALE) Soit f n, f n : D C C, une série de fonctions. On dit que f n converge normlement sur D ssi pour tout n N, sup f n (z) < + et sup f n (z) converge. z D z D 34

35 Série de fonctions 5.1 DEFINITION Remrque En prtique, - pour montrer qu il y convergence normle, on cherche à mjorer sup f n (z) pr un réel α n tel z D que α n soit convergente, et - pour montrer qu il n y ps convergence normle, on cherche à minorer sup f n (z) pr un réel z D α n tel que α n soit divergente. Une fçon de minorer est d utiliser : Propriété 6 (SERIE NON CONVERGENTE NORMALEMENT (1)) (règle de l suite (z n ) n N ) Soit f n, f n : D C C, une série de fonctions. Pour que f n ne converge ps normlement sur D, il suffit qu il existe une suite (z n ) n N de points de D tels que f n (z n ) diverge. Remrque Cette propriété est bsée sur une minortion : si pour tout n N, z n D, lors sup f n (z) f n (z n ). Donc, si f n (z n ) diverge, lors z D sup f n (z) diverge. z D Un cs prticulier de l propriété précédente est : Propriété 7 (SERIE NON CONVERGENTE NORMALEMENT (2)) Soit f n, f n : D C C, une série de fonctions. S il existe z 0 D tel que f n (z 0 ) ne soit ps bsolument convergente, lors f n n est ps normlement convergente sur D. L intérêt de l convergence normle est dns l propriété suivnte : Propriété 8 (CONVERGENCE NORMALE ET UNIFORME) Toute série normlement convergente est uniformément convergente. Preuve Si ( n ) f n est normlement convergente, l suite sup f k (z) est convergente donc de z D k=0 n N Cuchy. C est à dire que pour tout ε > 0, il existen ε N tel que (m > n N ε ) 35

36 5.1 DEFINITION Série de fonctions m n m sup f k (z) sup f k (z) ε, ou encore sup f k (z) z D z D z D ε. k=0 k=0 k=n+1 m Or pour tout z D, f k (z) m m f k (z) sup f k (z). z D k=n+1 k=n+1 k=n+1 m Donc sup f k (z) ε. Donc f n vérifie le critère de Cuchy uniforme sur D. Donc elle z D k=n+1 converge uniformément sur D. Autre critère de convergence uniforme : Propriété 9 (REGLE D ABEL UNIFORME)) Soit f n, f n : D C C une série de fonctions telles que pour tout n N, pour tout z D, f n (z) = α n (z)u n (z) vec i) pour tout z D, l suite (α n (z)) n N est réelle et décroissnte, ii) l suite de fonctions (α n ) n N converge uniformément vers l fonction identiquement nulle sur D. n iii) il existe M R tel que pour tout n N, sup u k (z) M. Alors f n converge uniformément sur D. z D k=0 36

37 Chpitre 6 Séries entières Les séries entières sont des séries de fonctions de forme prticulière. Elles sont bien dptées à l opértion de dérivtion, et donc à l résolution d équtions différentielles. Définition 1 (SERIE ENTIERE) Une série entière est une série de fonctions de l forme n z n (fonctions C C, z n z n ) où pour tout n N, n C. Pour étudier l convergence de l série, Propriété 1 (THEOREME D ABEL) Soit n z n une série entière. Soit z 0 C tel que l suite ( n z n 0 ) n N soit bornée. Alors i) pour tout z 1 C tel que z 1 < z 0, l série (complexe) n z n 1 est bsolument convergente. ii) r tel que 0 r < z 0, l série de fonctions n z n est normlement convergente sur le disque fermé D(0, r) = {z C tq z r}. Preuve Si z 0 = 0, z 1 C tel que z 1 < z 0 et r R tel que r < z 0 donc l propriété est trivile. Si z 0 0, soit M tel que n N, n z0 n M. ( ) n i) Si z 1 C est tel que z 1 z 0 lors n N, n z1 n = nz0 n z1 n M z 1 z 0 z 0. n Comme z 1 z 1 converge donc n z1 n converge. z 0 = z 1 z 0 < 1, M ii) Si 0 r < z 0, sup converge. z D(0,r) z 0 n z n sup M z D(0,r) 37 n z 1 z 0 = M ( r z 0 ) n et M ( ) n r z 0

38 Séries entières Définition 2 (RAYON DE CONVERGENCE) Soit n z n une série entière. On ppelle ryon de convergence de l série le nombre R = sup{r R + tq ( n r n ) n N soit bornée}. Remrque {r R + tq ( n r n ) n N soit bornée} cr il contient 0. Si cet ensemble est mjoré il dmet une borne sup. Sinon, on convient de poser R = +. Propriété 2 (VALEURS DE RAYONS DE CONVERGENCE) Soit R le ryon de convergence d une série entière n z n. i) Si R = 0, n z n 1 ne converge que pour z 1 = 0. ii) Si R = +, pour tout z 1 C, n z n 1 converge bsolument et pour tout r 0, n z n 1 converge normlement sur D(0, r). iii) Si R est un nombre fini non nul, pour tout z 1 C tel que z 1 < R, n z n 1 converge bsolument, pour tout z 1 C tel que z 1 > R, n z n 1 diverge, pour tout r tel que 0 r < R, n z n 1 converge normlement sur D(0, r). Définition 3 (DISQUE DE CONVERGENCE) Si R est le ryon de convergence d une série entière n z n, le disque ouvert o D(0, R) = {z C tq z < R} est ppelé disque de convergence de l série entière. Remrque Si R est fini, on ne sit ps à priori si n z n converge pour z = R. Détermintion du ryon de convergence : Propriété 3 (D ALEMBERT ET RAYON DE CONVERGENCE) Soit lim n + n z n n+1 n une série entière et R son ryon de convergence. Supposons que = l (l fini ou infini). Alors si 0 < l < +, R = 1/l ; si l = 0, R est + ; si l est +, R = 0. Remrque Cette propriété se démontre pr l règle de d Alembert. 38

39 Séries entières 6.1 Opértions sur les séries entières Propriété 4 (FORMULE D HADAMARD) Soit n z n une série entière et R son ryon de convergence. Notons n lim sup n = l. Alors n + si 0 < l < +, R = 1/l ; si l = 0, R est + ; si l est +, R = 0. Exemple 1. Pour zn, R est +, ( lim n! n + n! (n + 1)! = 2. Pour n!z n (n + 1)!, R = 0, ( lim n + n! 3. Pour zn n z n n = 1 n d Abel). n + 1, R = 1, ( lim n + n lim n + 1 n + 1 = 0). = lim (n + 1) = + ). n + diverge. Si θ 0 [2π], exp(inθ) n 4. Pour zn (n + 1) 2, R = 1, ( lim n2 n + n 2 = 1). Pour z = 1, z = exp(iθ). Si θ = 0 [2π], Donc z C tel que z = 1, zn est bsolument convergente. n2 6.1 Opértions sur les séries entières Propriété 5 (SOMME ET PRODUIT DE SERIES ENTIERES) converge (déj montré pr l règle = 1). Pour z = 1, z n = 1 n converge. 2 Soient n z n et b n z n deux séries entières de ryon de convergence respectif R et R b. On considère - l série entière somme ( n + b n )z n, et - l série entière produit n c n z n où c n = p b n p de ryon de convergence respectif p=0 R s et R p. On lors R s inf(r, R b ), R p inf(r, R b ) et pour tout z 1 C tel que z 1 < inf(r, R b ), ( n + b n )z1 n = n z1 n + b n z1 n,et ( + ) ( + ) c n z1 n = n z1 n b n z1 n. n 2 39

40 6.2 Propriétés fonctionnelles d une série entière Séries entières Remrque Si R R b, lors R s = inf(r, R b ). 6.2 Propriétés fonctionnelles d une série entière Propriété 6 (CONTINUITE) Soit n z n une série entière de ryon de convergence R 0. Alors surd(0, o R), z n z n est une fonction continue. Preuve Soit z 0 D(0, o R). Alors z 0 < R. Soit r tel que z 0 < r < R. n z n converge normlement sur D(0, r) et pour tout n N, z n z n est continue sur D(0, r) donc en z 0. Pour l étude de l intégrtion des séries entières, on se restreint dns ce cours u cs des séries entières réelles : n x n où pour tout n N, n R et x R. Toutes les propriétés des séries entières complexes sont vries pour les séries entières réelles. Si R est l ryon de convergence d une série entière réelle n z n, son disque de convergence est l intervlle ] R, R[. Propriété 7 (INTEGRATION) Soit n x n une série entière réelle de ryon de convergence R 0. Alors pour tout, b tels que < b et [, b] ] R, R[, b n x n dx = b n x n dx. Pour l étude de l dérivtion, on revient ux fonctions complexes : Propriété 8 (DERIVATION) i) Les séries entières n z n et n n z n 1 ont le même ryon de convergence. ii) Soit n z n une série entière de ryon de convergence R 0. Alors sur o D(0, R), z ( + ) (p) n z n = n=p n z n est indéfiniment dérivble et pour tout p N, n(n 1)... (n p + 1) n z n p. 40

41 Séries entières 6.2 Propriétés fonctionnelles d une série entière Preuve i) Démontré en cours, ii) n n z n 1 le même ryon de convergence R que n z n. Soit z 0 D(0, o R) et soit r tel que z 0 < r < R. n n z n 1 et n z n convergent normlement sur D(0, r) qui est un disque de C. De plus, pour tout n N, z n z n est holomorphe et s dérivée est z n n z n 1 Donc est holomorphe sur D(0, r) (donc en z 0 ), et s dérivée est n=1 n n z n 1 En ppliqunt ce résultt à l série entière dérivée n n z n 1 on obtient l série entière dérivée seconde n(n 1) n z n 2. Pour tout p N, en réitérnt ce processus, on obtient l série entière dérivée d ordre p. On voit là que contrirement ux utres séries de fonctions, les séries entières sont bien dptées à l dérivtion. Grâce à cette propriété, elles constituent un outil prtique pour l résolution de certines équtions différentielles : n z n Exemple On cherche une série entière qui soit égle à s dérivée (donc on cherche une série entière solution de f f = 0). On suppose donc qu il existe R > 0 tel que pour tout x ] R, R[, f(x) = Donc f (x) = n=1 n n x n 1 = (n + 1) n+1 x n. Or f f = 0 donc pour tout x ] R, R[, Donc ( (n + 1) n+1 n ) x n = 0. (n + 1) n+1 x n n x n = 0. n x n. Donc pour tout n N, n = (n + 1) n+1. C est à dire 1 = 0, 2 = 1 /2 = 0 /2, 3 = 2 /3 = 0 /6... Montrons pr récurrence que n = 0 : c est vri ux rngs 1, 2 et 3. Supposons que ç soit vri n! u rng k : k = 0 k!. Alors k+1 = k k + 1 = 0 (k + 1)!. L série insi formée, 0 n! xn pour ryon de convergence + et on peut montrer en utilisnt le théorème de Tylor-Lgrnge que pour tout x R, 0 n! xn = 0 exp(x). Donc toute série entière solution de f f = 0 est de l forme C exp(x) où C est une constnte. En fit il n y ps d utre solution, définie sur un intervlle : si g est définie sur un intervlle I et telle que g g = 0, lors 41

42 6.2 Propriétés fonctionnelles d une série entière Séries entières Donc il existe C R tel que pour tout x I, ( ) g(x) = g (x) exp(x) exp(x)g(x) exp(x) exp(2x) g(x) exp(x) = 0. = C. Donc g(x) = C exp(x). 42

43 Chpitre 7 Fonctions développbles en séries entières 7.1 L exemple de l exponentielle complexe On vu que l exponentielle est (à une constnte multiplictive près) l seule fonction qui soit égle à s dérivée (sur un intervlle), et c est l rison pour lquelle on l utilise pour résoudre les équtions différentielles d ordre 1. Pour le montrer, on vu que le ryon de convergence de l série entière réelle xn + n! est + et que pour tout x R, exp(x) = x n. On générlise cette n! expression à tout z C. Définition 1 (EXPONENTIELLE COMPLEXE) Pour tout z C, on pose exp(z) = z n n!. On toujours l propriété fondmentle de l exponentielle. Propriété 1 (PROPRIETE DE L EXPONENTIELLE) Pour tous z 1, z 2 C, exp(z 1 ) exp(z 2 ) = exp(z 1 + z 2 ). Preuve Pour tout z 1, z 2 C, exp(z 1 ) exp(z 2 ) = ( + z n 1 n! 43 ) ( + z n 2 n! ) = c n où pour tout n N, c n =