Académique Documents
Professionnel Documents
Culture Documents
Analyse Complexe
Analyse Complexe
Premi`re anne de l e e
CFS de mathmatiques e
Analyse complexe
Emmanuel Plaut
Exercices et probl`mes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 e Ex. 1.1 : Limites dans le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Ex. 1.2 : Drivabilit complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 e e Ex. 1.3 : Classe de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Ex. 1.4 : Dtermination dune fonction holomorphe par sa partie relle . . . . . . . . . . . . . 12 e e Ex. 1.5 : Rciproque de la proposition 1.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 e Ex. 1.6 : Fonctions holomorphes constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Ex. 1.7 : Conjugues de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . 12 e Ex. 1.8 : Conditions de Cauchy en coordonnes polaires . . . . . . . . . . . . . . . . . . . . . 12 e Pb. 1.1 : Transformations homographiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Pb. 1.2 : Transformation de Joukovski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
15
Premi`res consquences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 e e 2.3.1 2.3.2 Innie drivabilit des fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . 19 e e Lien entre fonctions holomorphes et harmoniques . . . . . . . . . . . . . . . . . . . . . 20
2.4
Exercices et probl`me . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 e Ex. 2.1 : Calcul dintgrales curvilignes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 e Ex. 2.2 : Existence de primitives - Thor`me de Morera . . . . . . . . . . . . . . . . . . . . . 23 e e Ex. 2.3 : Sur le lien entre fonctions holomorphes et harmoniques . . . . . . . . . . . . . . . . 23 Pb. 2.1 : Fonctions biharmoniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Sries enti`res dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 e e Identit entre fonctions holomorphes et analytiques . . . . . . . . . . . . . . . . . . . . . . . . 27 e Proprits des fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 ee 3.3.1 3.3.2 3.3.3 Principe didentit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 e Proprit de la moyenne et principe du maximum . . . . . . . . . . . . . . . . . . . . 30 ee Thor`mes de Liouville et de dAlembert . . . . . . . . . . . . . . . . . . . . . . . . . 31 e e
3.4
Fonctions analytiques usuelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.4.1 3.4.2 3.4.3 3.4.4 3.4.5 3.4.6 Fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Fonctions hyperboliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Fonctions trigonomtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 e Fonctions tangente et tangente hyperbolique . . . . . . . . . . . . . . . . . . . . . . . 36 Dtermination principale de la fonction logarithme . . . . . . . . . . . . . . . . . . . . 36 e Fonctions w . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5
Exercices et probl`mes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 e Pb. 3.1 : Crit`res de convergence dune srie enti`re - Applications . . . . . . . . . . . . . . . 38 e e e Ex. 3.1 : Dveloppements explicites en srie de Taylor . . . . . . . . . . . . . . . . . . . . . . 38 e e Ex. 3.2 : Fonction erreur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Ex. 3.3 : Simplication de z 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Ex. 3.4 : Fonctions trigonomtriques complexes . . . . . . . . . . . . . . . . . . . . . . . . . . 39 e Pb. 3.2 : Sur la fonction arcsinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Pb. 3.3 : Sur la fonction arctangente et le calcul de . . . . . . . . . . . . . . . . . . . . . . . 40 Ex. 3.5 : Structure dune fonction analytique au voisinage dun point selle . . . . . . . . . . . 40 Ex. 3.6 : Fonctions holomorphes bornes par une puissance de z . . . . . . . . . . . . . . . . . 41 e Ex. 3.7 : Application du principe du maximum . . . . . . . . . . . . . . . . . . . . . . . . . . 41 Pb. 3.4 : Rsolution dun probl`me issu de la thermique . . . . . . . . . . . . . . . . . . . . . 41 e e Pb. 3.5 : Rsolution dun probl`me issu de llectricit . . . . . . . . . . . . . . . . . . . . . . 42 e e e e Pb. 3.6 : Rsolution du probl`me de Dirichlet a lintrieur et a lextrieur dun cercle . . . . . 42 e e ` e ` e Pb. 3.7 : Rsolution dun probl`me issu de la mcanique des uides . . . . . . . . . . . . . . . 43 e e e Pb. 3.8 : Polynmes de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 o
45
Intgrales du type e
+
F (cos , sin ) d . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Table des mati`res e 4.4 4.5 Thor`me des rsidus avec point a linni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 e e e ` Exercices et probl`mes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 e Ex. 4.1 : Retour sur le thor`me de dveloppement en srie de Taylor . . . . . . . . . . . . . . 55 e e e e Ex. 4.2 : Dveloppements en sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 e e Ex. 4.3 : Multiplication de deux sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . 55 e Ex. 4.4 : Dveloppements en sries de Laurent grce aux nombres de Bernoulli . . . . . . . . 56 e e a Ex. 4.5 : Fonctions holomorphes relies par une ingalit sur leur module . . . . . . . . . . . . 56 e e e Ex. 4.6 : Singularits essentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 e Ex. 4.7 : Calcul dintgrales grce au thor`me des rsidus . . . . . . . . . . . . . . . . . . . . 56 e a e e e Ex. 4.8 : Etude dune intgrale dpendant de deux param`tres . . . . . . . . . . . . . . . . . . 57 e e e Pb. 4.1 : Intgrale comptant les zros et les ples - Thor`me de Rouch . . . . . . . . . . . . 58 e e o e e e Pb. 4.2 : Fonctions de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 A Probl`mes corrigs e e Bibliographie 61 67
Introduction
Ce cours constitue le deuxi`me module de mathmatiques pour lingnieur a lENSEM, ou MI-2 . Il e e e ` propose quelques lments danalyse complexe, sous-discipline de lanalyse visant a tudier les fonctions ee `e rguli`res dune variable complexe. La dnition de la rgularit exige viendra tr`s vite, dans la e e e e e e e section 1.3, et vous semblera peut-tre tonnamment simple. Cependant ce cours tout entier sura a peine e e ` a puiser toutes les proprits remarquables qui en dcoulent, et que nous dcouvrirons au fur et a mesure. `e ee e e ` Dun point de vue fondamental, outre la qualit esthtique de lanalyse complexe lie a ce que nous e e e ` avons dit1 , son intrt rside dans ses tr`s nombreux liens a des domaines connexes des mathmatiques. ee e e ` e Nous mettrons donc en uvre un certain nombre de mthodes et de notions abordes dans le premier e e module de mathmatiques pour lingnieur a lENSEM, ou MI-1 (Antoine 2006) : nous ferons appel e e ` a la thorie des fonctions de plusieurs variables, a lanalyse vectorielle ; nous donnerons des ouvertures sur ` e ` la topologie et la gomtrie direntielle - dailleurs les notions de simple connexit par exemple ont t e e e e ee introduite historiquement pour lanalyse complexe - ; nous apprendrons a faire des changements de variable ` conformes dans une quation aux drives partielles ; nous dmontrerons lunicit et en probl`me lexistence e e e e e e de solutions dun probl`me dni par une quation aux drives partielles ; etc... e e e e e Ces motivations fondamentales et culturelles sont bien sr mles aux nombreuses possibilits u ee e dapplications de lanalyse complexe. Nous ne pouvons en prsenter que quelques unes... Naturellement, e les nombres complexes constituent un outil de choix pour ltude des phnom`nes oscillants quels quils e e e soient. Cet aspect sera abord au chapitre 3, o` nous prsenterons la tr`s utile fonction exponentielle et les e u e e tr`s utiles fonctions trigonomtriques. Le thor`me des rsidus et ses applications au calcul intgral seront e e e e e e bien sr prsents, dans le chapitre 4 ; on reviendra alors sur les fonctions trigonomtriques et les intgrales u e e e e de Fourier en particulier. On peut mentionner quen thorie des quations direntielles ordinaires, en aue e e tomatique et plus particuli`rement en rgulation-stabilit, les fonctions analytiques et des thor`mes de e e e e e calcul intgral tels ceux abords dans le probl`me 4.1 trouvent de nombreuses applications, en lien avec la e e e caractrisation des syst`mes dynamiques par leur fonction de transfert, ou, plus fondamentalement, en lien e e avec les transformes de Fourier-Laplace (cf. par exemple le cours de Iung 2004). Nous insisterons plutt e o ici sur les applications lies aux quations aux drives partielles, en loccurrence a la recherche de fonce e e e ` tions harmoniques ; en ce sens-l` les probl`mes 3.4 a 3.7 constituent lun des sommets de ce cours... Un a e ` probl`me de ce type sera dailleurs trait en TD Mathematica. Il importe de signaler que le plan pratique e e de droulement de ce cours ainsi que quelques consignes sont prsents sur la page web volutive e e e e www.ensem.inpl-nancy.fr/Emmanuel.Plaut/ac que je vous invite a consulter rguli`rement. Une slection dexercices ou de probl`mes a prparer pour les ` e e e e ` e 4 sances de TDs classiques (1 TD d1 heure suivi de 3 TDs de 2 heures) est ache sur cette page ; dautre e e part le sujet du TD Mathematica (qui suivra ces TDs classiques et durera 3 heures) sera publi sur cette e page courant mars.
est une belle thorie mathmatique cest peut-tre celle-l`, qui part dun minimum dhypoth`ses pour arriver a e e e a e ` quantit de rsultats extrmement puissants. e e e
1 Sil
Introduction
Je remercie Didier Bernardin et Olivier Sro-Guillaume pour leurs remarques, qui mont permis dame e liorer ce document. Nancy, le 27 fvrier 2008. e Emmanuel Plaut.
Chapitre 1
et i limaginaire pur forme, muni des lois daddition (x + iy) + (x + iy ) = (x + x ) + i(y + y ) et de multiplication (x + iy) (x + iy ) = xx yy + i(yx + xy ) , (1.2) un corps commutatif. En particulier tout lment non nul de C, i.e. tout lment de C = C{0}, poss`de ee ee e un inverse donn par e x iy 1 = 2 . (1.3) x + iy x + y2 Naturellement la loi (1.2) conduit a lidentit ` e i2 = 1 . (1.4) (1.1)
Dun point de vue gomtrique, le plan euclidien R2 peut tre identi a C en faisant correspondre a tout e e e e` ` point (ou vecteur) de coordonnes (ou composantes) (x,y) son axe z = x + iy. On dit aussi que z = x + iy e est un point du plan complexe ; son complexe conjugu est not z = x iy. La norme euclidienne de e e R2 sidentie au module complexe |z| = zz = x2 + y 2 , (1.5) et ces notions permettent de rcrire (1.3) sous la forme e z C , z 1 = . z |z|2 z,z C, z C, |zz | = |z| |z | , (1.6)
Rappelons que la norme du module vrie par nature les proprits e ee dhomognit, e e e de sparation, e et lingalit triangulaire, e e On en dduit e z,z C, |z z | |z| |z | . (1.10) (1.7) (1.8) (1.9)
z,z C,
|z| = 0
z=0,
|z + z | |z| + |z | .
On aura parfois intrt a introduire les coordonnes polaires de z soit, en anticipant sur les dnitions ee ` e e de la section 3.4 : z = ei = (cos + i sin ) (1.11) o` = |z| , = arg(z) est largument de z . u Cet argument nest dni univoquement qu` condition de choisir son intervalle de valeurs, par exemple e a arg z ] ,] . (1.12)
En eet tel que z = (cos + i sin ) nest dtermin qu` 2 pr`s ; en dautres termes la fonction e i e e a e nest pas une bijection de R sur le cercle unit ; on ne peut donc en dnir un inverse continu sur tout le e e cercle unit. La fonction argument dnie ici1 nest continue que sur C priv de la demi-droite R = {z = x e e e avec x < 0} ; un tel domaine est aussi appel une coupure de C. e Rappelons enn quil nexiste pas de relation dordre totale sur C qui soit compatible avec laddition et la multiplication, contrairement au cas de R.
Une relation dordre x y sur C devrait tre rexive, e e x C, antisymtrique, e x,y C, et transitive x,y,z C, [(x y) et (y z)] = (x z) . Sa compatibilit avec laddition voudrait dire que e x,y,z C, et sa compatibilit avec la multiplication que e x,y,z C, [(x y) et (0 z)] = xz yz . xy = x+z y+z , [(x y) et (y x)] = (x = y) , xx,
Enn de ces deux derni`res proprits on dduirait que e ee e x C, Donc si lordre tait total, e x C,
2
x0 (x 0)
2
0 x2 . (0 x) ,
ou
tous les carrs seraient positifs . Donc 1 = 1 et 1 = i seraient positifs . De 0 1 et 0 1 i.e. 1 0 e on dduirait avec la proprit dantisymtrie que 0 = 1, ce qui nest pas. e ee e
Quon sabstienne donc, en consquence, dassertions abominables comme 1 + z 2 est toujours strictement e positif donc ne sannule pas sur C !... Dailleurs on sait que C est algbriquement clos... et on va en fait e le (re)dmontrer dans le chapitre 3, cf. le thor`me 3.6 p. 32. e e e
1 On aurait pu choisir un autre intervalle de valeurs de la fonction argument, par exemple arg z [0,2[ ; la coupure correspondante aurait alors t le plan complexe priv de R+ = {z = x avec x > 0}. Nous reviendrons sur ce probl`me tr`s e e e e e important de la dnition de largument au chapitre 3 lorsque, apr`s avoir dni proprement la fonction exponentielle complexe, e e e nous essaierons de dnir son inverse, la fonction logarithme complexe (cf. la section 3.4.5). e
1.2
Dnitions et notations e
Un chemin du plan complexe C est une courbe paramtre rguli`re par morceaux trace dans C, e e e e e cest-`-dire une application t z(t) = x(t) + iy(t) dun intervalle [t1 ,t2 ] de R dans C qui est continue, a continment drivable par morceaux ; on supposera en plus que la drive z (t) = x (t) + iy (t), lorsquelle u e e e est dnie, ne sannule pas. e On dsignera par U un ouvert du plan complexe C. U sera toujours suppos connexe 2 , cest-`-dire tel e e a que deux points quelconques de U peuvent toujours tre relis par un chemin z(t) enti`rement inclus dans e e e U . On sintressera aux proprits des applications f de U dans C. On pourra aussi voir une telle application e ee soit comme une application de U ouvert de R2 dans R2 , soit comme un couple dapplications de U ouvert de R2 dans R, f (x + iy) = P (x,y) + iQ(x,y) o` P est la partie relle, Q est la partie imaginaire de f : u e P (x,y) Q(x,y) = = Ref (x + iy) , Imf (x + iy) .
Rappelons quun point z0 est dit adhrent a U si il appartient a la fermeture U de U , cest-`-dire si e ` ` a soit il est intrieur a U , soit il se trouve sur le bord de U (= la fronti`re de U note U ). On dsignera e ` e e e par (z) toute fonction dnie sur un ouvert U auquel 0 est adhrent vriant e e e > 0, r > 0 tel que z U |z| < r = | (z)| < . (1.13)
Ces fonctions nous serviront a dnir la notion de limite dune fonction de variable complexe : bien ` e videmment on dira que e (z) 0 quand z 0 et donc par extension si f est dnie sur U auquel z0 est adhrent, on dira que e e f (z) l quand z z0 si3 f (z) l = (z z0 ) . Il faut bien voir que cette convergence vers zro doit tre uniforme sur tout disque centr sur z 0 : e e e > 0, r > 0 tel que z U |z z0 | < r = |f (z) l| < . En particulier, pour tout chemin z(t) passant par z0 ou aboutissant a z0 a un instant t0 , on doit ncessai` ` e rement avoir f (z(t)) l quand t t0 . Labsence de cette proprit permet de montrer que certaines fonctions nont pas de limite en certains points. ee Par exemple la fonction (x + iy)3 f (z) = f (x + iy) = 3 , x + iy 3 dnie sur U = C {0} = C (C priv de 0), nadmet pas de limite quand z 0. e e + En eet f (t) 1 quand t 0 alors que f (it) 1 quand t 0+ .
it
2 Plus prcisment la dnition de la connexit que nous donnons ici est celle de la connexit par arcs ; on peut aussi dnir e e e e e e la connexit dune faon topologique en disant que U est connexe sil ne peut admettre de sous-ensemble strict non vide a la e c ` fois ouvert et ferm. Comme C est un espace vectoriel norm, ces deux dnitions sont quivalentes. e e e e 3 Ces fonctions correspondent bien s r aux classiques o(1) . Cependant cette derni`re notation me semble peu pratique u e puisque la variable qui tend vers 0 nappara pas explicitement, cette ambiguit entra t e nant des risques derreur.
1.3
admet une limite en z0 . Cette limite est alors la drive de f en z0 , que lon notera f (z0 ). e e
Dapr`s notre dnition de la limite de fonctions de variable complexe, on doit donc avoir e e f (z) f (z0 ) = (z z0 ) (f (z0 ) + (z z0 )) (1.14)
ce que lon peut traduire sur les parties relles et imaginaires de f en introduisant aussi les parties relles e e et imaginaires de f (z0 ) et (z z0 ) : f (z0 ) = a + ib, (z z0 ) = r (z z0 ) + i i (z z0 ). Il vient alors Q(x,y) Q(x0 ,y0 ) P (x,y) P (x0 ,y0 ) = = ax by +
r (z
bx + ay + i (z z0 ) x +
1
z0 ) x i (z z0 )y
r (z
z0 )y
(1.15)
en posant z0 = x0 + iy0 , x = x x0 , y = y y0 . On peut montrer facilement4 que, pour deux fonctions vriant (1.13) telle que e
1 (z
et
z0 ) x +
2 (z
(1.16)
En consquence les quations (1.15) montrent que P et Q sont direntiables en (x 0 ,y0 ), de drives partielles e e e e e P P Q Q (x0 ,y0 ) = a, (x0 ,y0 ) = b, (x0 ,y0 ) = b, (x0 ,y0 ) = a . x y x y (1.17)
Rciproquement si P et Q sont direntiables au point (x0 ,y0 ), de drives partielles donnes par (1.17), on e e e e e 5 peut crire que e P (x,y) P (x0 ,y0 ) = = ax by +
1 (z 2 (z
bx + ay +
z0 ) |z z0 | ,
z0 ) |z z0 | ,
f (z) f (z0 ) = (a + ib)(z z0 ) + [ 1 (z z0 ) + i 2 (z z0 )] |z z0 | = (a + ib + (z z0 ))(z z0 ) qui montre que f admet une drive complexe au point z0 , de valeur a + ib. e e On peut donc noncer la e Proposition 1.1 f est drivable en z0 = x0 + iy0 U ssi sa partie relle P (x,y) et imaginaire Q(x,y) sont e e direntiables au point (x0 ,y0 ) et leurs drives partielles vrient les conditions de Cauchy : e e e e P Q = x y Alors f (z0 ) = a + ib = ou encore f f df = = i dz x y (1.19) et P Q = y x (1.18)
P Q P P Q Q df = +i = i = +i . dz x x x y y x
(1.20)
En dautres termes f considre comme une application de U ouvert de R 2 dans R2 , et note en consquence e e e e plutt f , est direntiable en (x0 ,y0 ), sa matrice jacobienne prenant la forme o e
4 Le 5 Quelle
faire, en rchissant au choix de la norme de R2 utilise pour expliciter o(z z0 ). e e e norme de R2 a ton utilise ici ? e
7 a b b a
Mat
(x0 ,y0 ) =
(1.21)
Une interprtation gomtrique de cette structure de la direntielle de f sera donne dans la prochaine e e e e e section. Une rcriture utile de (1.17) ou (1.18) est base sur le fait quune fonction de (x,y) peut aussi tre e e e considre comme une fonction de (z,z). A partir de ee x= zz z+z , y= , 2 2i
Ainsi f doit tre indpendante de z pour tre drivable par rapport a z. Les conditions de Cauchy peuvent e e e e ` donc se rcrire e f f f (1.22) = 0 +i =0 z x y
Il est maintenant temps de donner la Dnition 1.2 f est holomorphe sur U si elle est drivable par rapport a z en tout point de U . e e `
On remarquera que f est alors continue sur U . Comme la dnition 1.1 de la drivabilit complexe e e e tend naturellement celle de la drivabilit des fonctions relles, les r`gles classiques de calcul des drives e e e e e e e sappliquent aux fonctions holomorphes. Ainsi on pourra dmontrer facilement a partir de la dnition 1.1 e ` e les Proposition 1.2 si f et g sont holomorphes sur U , et sont des complexes quelconques, alors f + g et f g sont holomorphes sur U , de drives complexes e e (f + g) (f g) = = f + g f g + fg . (1.23)
Proposition 1.3 si f et g sont holomorphes sur U , et g ne sannule pas sur U , alors f /g est holomorphe sur U , de drive complexe e e f g = f gg f . g2 (1.24)
Proposition 1.4 si f est holomorphe sur U , g est holomorphe sur V tel que f (U ) V , alors lapplication compose g f est holomorphe sur U , de drive e e e (g f ) (z) = g (f (z)) f (z) . (1.25)
Comme f (z) = z est videmment holomorphe sur C, de drive constante gale a 1, on dduit de e e e e ` e la proposition 1.2 par une rcurrence immdiate que, pour n entier naturel quelconque, f (z) = z n est e e holomorphe sur C, et de drive complexe f (z) = nz n1 . e e On dduit dautre part des propositions 1.2 et 1.3 quune fraction rationnelle en z, f (z) = f 1 (z)/f2 (z) e o` f1 et f2 sont des polynmes en z, est holomorphe dans C priv des zros de f 2 . u o e e
Exemple : f (z) = 1/z est holomorphe sur C . On peut remarquer que les lignes P = Ref = x/(x2 + y 2 ) = constante, qui sont les cercles centrs sur laxe rel tangents en zro a laxe imaginaire, sont orthogonales e e e ` aux lignes Q = Imf = y/(x2 + y 2 ) = constante, qui sont les cercles centrs sur laxe imaginaire tangents e en zro a laxe rel : e ` e y
Cette proprit dorthogonalit est en fait gnrale : ee e e e Proposition 1.5 si f = P + iQ est holomorphe sur U , alors les lignes P (z) = constante sont orthogonales aux lignes Q(z) = constante. En eet les lignes P = constante, Q = constante sont en tout point perpendiculaires respectivement aux vecteurs
P,
P Q P Q + = 0. x x y y
(1.26)
Enn on peut dmontrer6 la proprit de drivation de la fonction rciproque suivante : e ee e e Proposition 1.6 si f est holomorphe et injective sur U , alors : (i) f ne sannule pas sur U ; (ii) lapplication inverse f 1 est holomorphe de f (U ) sur U ; (iii) sa drive est donne par e e e f 1 (w) = 1 au point w = f (z) . f (z) (1.27)
1.4
Nous allons maintenant donner une interprtation gomtrique de la proprit de drivabilit complexe, e e e ee e e qui quivaut dapr`s la proposition 1.1 a avoir une forme tr`s prcise de la jacobienne de f quation (1.21), e e ` e e e soit en introduisant les coordonnes polaires et de f (z0 ) : e Mat
=
(x0 ,y0 ) =
cos sin
sin cos
(1.28)
On reconna la forme gnrique de la matrice dune similitude, compose dune homothtie de rapport et t e e e e dune rotation dangle , do` la u
6 Voir
PSfrag replacements
T2 f (z2 (t))
f
z1 (t) T1
f (z1 (t)) x
Proposition 1.7 f est drivable par rapport a z en z0 U ssi, en tant quapplication de U ouvert de R2 e ` dans R2 , elle est direntiable en z0 et sa direntielle en z0 est une similitude de R2 . e e Considrons maintenant, comme reprsent sur la gure 1.1, un chemin z(t) = x(t) + iy(t) passant par e e e z0 a t = t0 , et dnissons un vecteur tangent T a ce chemin en z0 comme le vecteur daxe complexe ` e ` T = soit en repassant en rels e Tx = x (t0 ) , Ty = y (t0 ) . De mme on peut dnir un vecteur tangent T a limage de ce chemin par f comme le vecteur de compoe e ` santes relles e P P d P (x(t),y(t)) = x (t) + y (t) , Tx = dt x y d Q Q Ty = Q(x(t),y(t)) = x (t) + y (t) , dt x y ce qui traduit matriciellement T =
=
dz (t0 ) = z (t0 ) , dt
T .
Si f est drivable en z0 , de drive non nulle, on en dduit que langle (T, T ) vaut quelque soit le chemin e e e e considr = arg(f (z0 )). On peut retrouver ce rsultat dune autre mani`re en calculant laxe de T par ee e e composition des drives : e e d T = f (z(t0 )) = f (z0 ) z (t0 ) = ei T . dt Par contre dans le cas f (z0 ) = 0, on ne peut conclure sur la direction des vecteurs tangents en utilisant seulement f . En eet on a alors f = 0 , donc f T = 0 ne dnit pas de direction. La direction de la e tangente a f (z(t)) serait plutt donne par la direntielle seconde de f , si elle existe. ` o e e Dans le cas f (z0 ) = 0, si deux chemins z1 (t) et z2 (t) passent par z0 a t = t0 , dsignant par T1 , T2 , T1 , T2 ` e les vecteurs tangents respectivement a z1 (t) et z2 (t), f (z1 (t)) et f (z2 (t)) a t = t0 , on aura : ` ` T1 , T2
= =
= =
T1 , T1 + T1 , T2 + T2 , T2 + T1 , T2 + T1 , T2
T1 , T2
(1.29)
et on dira que f conserve les angles avec leur sens au point z0 . On peut donc noncer la e
10
Proposition 1.8 si f est drivable par rapport a z en z0 U et f (z0 ) = 0, alors f conserve les angles e ` avec leur sens au point z0 . Dnition 1.3 f fonction de U dans C est dite transformation conforme de U si elle est direntiable e e sur U , de direntielle non nulle en tout point de U , et conserve les angles avec leur sens en tout point de e U. Dapr`s la proposition 1.8, toute fonction holomorphe sur U , dont la drive ne sannule pas sur U , e e e est une transformation conforme de U . Rciproquement si f est conforme sur U , alors en tout point de e U sa direntielle est une application linaire non triviale de R2 dans R2 qui conserve les angles. Un e e thor`me de classication des applications linaires du plan euclidien R 2 sur lui mme nous dit alors que cette e e e e direntielle doit tre une similitude de R2 . On peut dmontrer ce rsultat pdestrement : si lapplication e e e e e a b linaire de matrice M = e non nulle conserve les angles, alors en particulier tout couple de vecteurs c d orthogonaux est transform en un couple de vecteurs orthogonaux. En considrant les vecteurs de base e e ex et ey , on obtient ab + cd = 0, et en considrant les premi`re et deuxi`me bissectrices de ex et ey , e e e a2 b2 + c2 d2 = 0. De cette derni`re quation on dduit a2 + c2 = b2 + d2 , mais aussi en la multipliant e e e 2 par b : 0 = b2 a2 b4 + b2 c2 b2 d2 = c2 d2 b4 + b2 c2 b2 d2 = (b2 + d2 )(c2 b2 ) Comme b2 + d2 = a2 + c2 ne peut tre nul, forcment c = b avec = 1. Alors d = a avec = 1. e e e En notant toujours par un les vecteurs tangents images, on doit avoir ex ex = a de mme signe que u doit tre de signe oppos a ex ey = c, do` e e` On en dduit la e
ey ey
= d, do` u
= 1 et c = b.
Proposition 1.9 f est une transformation conforme de U si et seulement si elle est holomorphe sur U , et sa drive ne sannule pas sur U . e e
Exemple : f (z) = z 2 est holomorphe sur C, de drive 2z. Cette drive sannulant en zro, on nest pas e e e e e assur de la conservation des angles des vecteurs tangents a des courbes passant par zro. Eectivement e ` e les demi-droites z(t) = tei (t, > 0) sont transformes en les demi-droites f (z(t)) = t2 e2i ce qui montre e que les angles des tangentes aux courbes droites correspondantes sont multiplis par 2. Par contre f est e une transformation conforme (non injective) de C sur lui-mme, et on peut vrier que les verticales e e et horizontales du plan ne passant pas par zro sont transformes en un rseau de courbes orthogonales e e e (gure 1.2) : les droites x = x0 ont pour image les paraboles dquation |z| = 2x2 x, de foyer O et de directrice e 0 2 x = 2x0 .
2 les droites y = y0 ont pour image les paraboles dquation |z| = 2y0 + x, de foyer O et de directrice e 2 x = 2y0 .
Complment : pour la rsolution analytique ou numrique dquations aux drives partielles e e e e e e a deux dimensions, lutilisation de changements de variables associs a des transformations conformes ` e ` bijectives prsente un intrt certain. En eet on est assur de ce quun syst`me de coordonnes orthogonales e ee e e e sera transform en un nouveau syst`me de coordonnes elles aussi orthogonales 7 . Ceci garanti une certaine e e e simplicit des formules de changement de coordonnes des oprateurs direntiels, tout en permettant de e e e e ` transformer un domaine de gomtrie compliqu en un domaine de gomtrie simple 8 . A ce sujet on dispose e e e e e
7 En 8 Des
gnral lun au moins des deux syst`mes de coordonnes est curviligne. e e e e exemples seront traits dans les probl`mes 3.4 et 3.5. e e
11
Fig. 1.2 Transformation de deux rseaux de droites verticales et horizontales par lapplication z z 2 . On obtient e a cause de la conformit de cette application deux rseaux de courbes qui se coupent a angle droit. ` e e `
du thor`me dit de Riemann9 , qui stipule que, tant donn un ouvert simplement connexe U , il existe e e e e toujours une application conforme bijective f qui transforme U en lintrieur du disque unit. Une extension e e de ce thor`me due a Carathodory et Osgood10 montre que si de plus U est born et sa fronti`re est une e e ` e e e courbe trace par un circuit injectif de C, alors on peut prolonger f sur la fronti`re de U , et cette fronti`re e e e se trouve alors transforme en le cercle unit. Cette derni`re extension est capitale puisque un probl`me e e e e physique comporte toujours des conditions aux limites poses sur la fronti`re de U . e e
1.5
Exercices et probl`mes e
Les exercices 1.1 a 1.8 portent sur la notion de drivabilit complexe et dholomorphie. Les probl`mes qui ` e e e suivent donnent des exemples de transformations conformes utiles au sens du complment prcdent ; e e e les transformations homographiques par exemple, introduites dans le probl`me 1.1, seront utilises dans les e e probl`mes 3.4 et 3.5. e On note toujours z = x + iy avec x, y rels un point quelconque du plan complexe. e Exercice 1.1 Limites dans le plan complexe 1 La fonction f (z) = z3 a telle une limite quand z 0 ? x2 + y 4 xy 2 Mme question pour f (z) = e ? x + iy y 3 La fonction f (z) = arctan admet-elle une limite quand z ia o` a R ? u x
9 Le lecteur intress pourra trouver une dmonstration de ce thor`me dans Chaterji (1997) ou Valiron (1966) ; la dnition e e e e e e de la simple connexit sera quant a elle donne dans la section 2.1. e ` e 10 On pourra trouver une dmonstration partielle dans le cas dune fronti`re dnie par un circuit polygonal dans Chaterji e e e (1997); Valiron (1966).
12
Exercice 1.2 Drivabilit complexe e e En quels points de C les fonctions suivantes sont-elles drivables ? Que vaut alors leur drive complexe ? e e e 1 f (z) = x2 + y 2 4 f (z) = x2 + ixy 2 f (z) = x2 + iy 2 5 f (z) = x2 + 2ixy 3 f (z) = x2 y 2 + 2ixy
Exercice 1.3 Classe de fonctions holomorphes Soit f (z) = u(x) + iv(y) avec u, v fonctions relles de variable relle ; montrez que f est holomorphe sur e e C si et seulement si f (z) = az + b avec a R, b C. Exercice 1.4 Dtermination dune fonction holomorphe par sa partie relle e e Soit P (x,y) = x3 3xy 2 + 2x + 1. Donnez une condition ncessaire et susante sur pour que P soit e la partie relle dune fonction f holomorphe sur C. Dterminez alors f . e e
Exercice 1.5 Rciproque de la proposition 1.5 e Si P et Q, fonctions direntiables de U ouvert de R2 dans R, sont telles que les lignes P (x,y) = constante e sont toujours orthogonales aux lignes Q(x,y) = constante, est-ce que f = P + iQ est forcment holomorphe ? e
Exercice 1.6 Fonctions holomorphes constantes Soit f une fonction holomorphe dans un ouvert connexe U . Montrez que si lune des conditions suivantes est vrie : e e 1 Ref (z) est constante ; 2 Imf (z) est constante ; 3 |f (z)| est constante ; alors f est constante dans U . Une fonction de variable complexe a valeurs relles peut-elle tre holomorphe ? ` e e
Exercice 1.7 Conjugues de fonctions holomorphes e Soit z f (z) une fonction holomorphe sur C. 1 la fonction z f (z) est-elle holomorphe ? 2 et la fonction z f (z) ? Exercice 1.8 Conditions de Cauchy en coordonnes polaires e 1 Soit f = P +iQ une fonction holomorphe sur U ouvert connexe. On fait le changement de variable polaire (r,) (x,y) = (r cos ,r sin ), et on dsigne pour prciser les notations avec un tilde les fonctions P et Q e e considres comme fonctions de r et : ee P (r,) = P (r cos ,r sin ) , Q(r,) = Q(r cos ,r sin ) . e Montrez que les conditions de Cauchy en termes des fonctions P et Q scrivent : Q P =r r et P Q = r . r
13
2 On suppose que U a la gomtrie dune couronne (intersection de lextrieur dun petit disque centr sur e e e e lorigine avec un plus grand disque centr sur lorigine) ventuellement prive dun segment. Trouvez les e e e fonctions holomorphes f dont la partie relle est a symtrie de rotation, i.e. telles que P ne dpende pas de e ` e e . Commentez sur la ncessit dune restriction gomtrique sur U. e e e e
Probl`me 1.1 Transformations homographiques e [ Pour mmoire ; en eet ce sujet a t donn en Devoir Individuel II dans le cadre du module MI-1 ] e ee e On se propose dtudier dans cet exercice les proprits des transformations homographiques, ape ee plications dnies sur C priv ventuellement dun point par e ee z f (z) = az + b cz + d (1.30)
o` a, b, c, d sont des nombres complexes vriant ad bc = 0. u e 1 Montrez quune application de la forme (1.30) avec ad bc = 0 est soit constante, soit jamais dnie. e 2 Montrez que la compose f1 f2 de deux transformations homographiques e f1 (z) = a1 z + b 1 a2 z + b 2 , f2 (z) = c1 z + d 1 c2 z + d 2
est aussi une transformation homographique. Donnez une r`gle matricielle de calcul des coecients e a, b, c, d correspondant a f1 f2 a partir des coecients a1 , b1 , c1 , d1 et a2 , b2 , c2 , d2 . ` ` 3 Montrez quune transformation homographique (1.30) est une transformation conforme bijective de U sur V avec U = V = C si c = 0 et U = C {d/c}, V = C {a/c} si c = 0. 4 Montrez que lquation e zz + z + z + = 0 avec , R, C, ||2 > est lquation gnrique dune droite si = 0 et dun cercle si = 0. e e e 5 Montrez que linversion z 1/z, transformation conforme bijective de C sur lui mme, transforme e a une droite passant par 0 en une droite passant par 0 b une droite ne passant pas par 0 en un cercle passant par 0 c un cercle passant par 0 en une droite ne passant pas par 0 d un cercle ne passant pas par 0 en un cercle ne passant pas par 0 6 Montrez que toute transformation homographique peut tre dcompose comme la composition de trois e e e types de fonctions : (i) translations z z + t avec t C ; (ii) similitudes z tz avec t C ; (iii) inversion z 1/z. (1.31)
Dduisez en que toute transformation homographique transforme une droite ou un cercle en une droite ou e un cercle. 7 Vriez que la transformation de Cayley e f (z) = zi z+i
est une transformation conforme bijective du demi-plan suprieur de C, P = {z C tels que Imz > 0}, sur e lintrieur du disque unit D = {z C tels que |z| < 1} . e e
14
1 Montrez que f est une transformation conforme bijective de E = {z C tels que |z| > 1} sur C priv du segment [1,1] de laxe rel. e e Indication : on aura intrt a identier limage dun cercle z = r ei . ee ` z+1 , f2 (z) = z 2 . z1 Dduisez en que f est une transformation conforme bijective de e 2 Montrez que f = f1 f2 f1 avec f1 (z) = V = z C tels que z + sur un domaine que vous prciserez et dessinerez. e 1 3 > 2 2
Chapitre 2
2.1
On consid`re dans ce qui suit des chemins1 orients + de C, dnis par un ensemble de paramtrages e e e e quivalents au sens suivant : si t [t1 ,t2 ] z(t) et [1 ,2 ] ( ) sont deux paramtrages de + , il e e existe une bijection h continue continment drivable par morceaux et croissante de [t 1 ,t2 ] sur [1 ,2 ] telle u e + que (h(t)) = z(t). Si est contenu dans U ouvert de dnition dune fonction continue f (z) a valeurs e ` complexes, lintgrale curviligne 2 de f (z) le long de + est dnie par3 e e
t2
f (z) dz =
+ t1
f (z(t)) z (t) dt
(2.1)
soit f (z) dz
+
=
+
f (z) dz
+
=
+
Q(x,y) dx + P (x,y) dy .
(2.2)
On vrie lindpendance vis a vis du paramtrage en faisant le changement de variable t h(t) dans la e e ` e dnition (2.1). e La linarit de lintgrale curviligne est vidente. Dautre part si dsigne le chemin + parcouru en e e e e e sens inverse, i.e. si on fait un changement de paramtrage avec une fonction h dont on requiert maintenant e quelle soit dcroissante, on a e
f (z) dz =
f (z) dz .
+
(2.3)
notion de chemin a t dnie p. 5. e e e notion a dj` t vue dans le chapitre Intgrales de lignes et de contour du document MI-1, o` le terme quivalent eae e e u e intgrale de ligne a t utilis. e e e e 3 Dans le cas o` z (t) prsente des points de discontinuits, il faut bien s r dcomposer lintgrale (2.1) en sommes dintgrales u e e u e e e dnies sur les segments o` z (t) est continue. e u
2 Cette
1 La
16
Chapitre 2. Thor`mes dintgration et premi`res consquences e e e e e Un exemple lmentaire dintgrale curviligne est fourni par le cas f = 1 ; alors ee e dz =
+ +
dirence des axes des extrmits de . e e e Donnons aussi un exemple o` lon a besoin dintroduire un paramtrage : si + est un cercle de centre u e O orient dans le sens trigonomtrique (ce que signie le signe +), calculons + z n dz pour n entier relatif. e e Un paramtrage du cercle en polaires est obtenu par [0,2] z() = Rei ; on a alors dz = z ()d = e i iRe d, do` : u
2
z n dz =
+ 0
Rn+1 ie(n+1)i d =
0 R0 i2 = 2i
si si
n+1=0 n+1=0
(2.4)
De mani`re gnrale, on peut se demander a quelles conditions sur f (z) ou P (x,y), Q(x,y) ces intgrales e e e ` e + + ne dpendent que des extrmits de , ou encore sannulent si est un chemin ferm ou circuit, le + e e e e dsignant un circuit orient dans le sens trigonomtrique. On supposera toujours un circuit injectif e e e au sens suivant : sil est paramtr par t [t1 ,t2 ] z(t), on a z(t1 ) = z(t2 ) mais e e t, t ]t1 ,t2 [ z(t) = z(t ) = t = t . (2.5)
Fig. 2.1 Un circuit + injectif orient dans le sens trigonomtrique et son intrieur . e e e
On conna la rponse dans le cas de fonctions relles grce a la formule de Green-Stokes 4 . Si u et v t e e a ` 2 sont des fonctions de U ouvert de R dans R, a drives partielles continues sur U , et si + est un circuit ` e e de U dintrieur enti`rement contenu dans U , orient dans le sens trigonomtrique (i.e. laissant a sa e e e e ` gauche comme reprsent gure 2.1), on a e e (u dx + v dy) =
+
u v x y
dx dy .
(2.6)
Ainsi si u et v vrient e
v u = x y (u dx + v dy) = 0
+
(2.7)
pour tout circuit + dintrieur contenu dans U . Si f (z) est holomorphe sur U et continment direntiable e u e sur U , la condition (2.7) applique aux parties relle et imaginaire de + f (z) dz dnies par leq. (2.2) e e e donne exactement les conditions de Cauchy (1.18). En fait lhypoth`se de continuit de f (z) sur U peut e e tre leve5 , do` le e e u
la section thor`me de Stokes dans le chapitre Intgrales de surface du document MI-1. e e e consultera Chaterji (1997), Valiron (1966) ou Remmert (1991) pour une dmonstration de ce rsultat d au mathe e u e maticien franais Goursat ; cette dmonstration est bien sr base sur une approche dirente nutilisant pas la formule de c e u e e Green-Riemann.
5 On 4 Voir
17
Thor`me 2.1 (de Cauchy) si f est holomorphe sur U et + est un circuit de U dintrieur enti`ree e e e ment contenu dans U , alors f (z) dz = 0
+
(2.8)
Lhypoth`se dinjectivit du circuit + nest pas cruciale pour avoir (2.8). Elle est seulement plus confore e table, car la dnition rigoureuse de lintrieur dun circuit non injectif est dlicate. Cependant en dcome e e e posant un tel circuit en sous-circuits injectifs on peut en gnral tendre (2.8) a des circuits non injectifs e e e ` comme celui reprsent sur la gure 2.2. e e
Fig. 2.2 Ce circuit non injectif est en fait constitu de deux circuits injectifs mis bout a bout. e `
Une reformulation utile du thor`me de Cauchy est base sur la notion dhomotopie : e e e
+ + Dnition 2.1 deux circuits 1 et 2 de U , supposs pour xer les notations paramtrs par e e e e t [0,1] z1 (t) et t [0,1] z2 (t), sont dits homotopes dans U si on peut passer de lun a lautre par ` dformation continue sans sortir de U , i.e. sil existe une application continue de [0,1] [0,1] dans U telle e que t [0,1] (t,0) = z1 (t) , (t,1) = z2 (t) et (0,t) = (1,t) . (2.9)
Un circuit + de U est dit homotope a zro dans U si on peut le rduire par dformation continue a un ` e e e ` + point de U sans sortir de U , i.e. sil existe une application du type prcdent qui relie a un circuit e e ` constant form par un point. e Nous admettrons6 le fait intuitif quun circuit est homotope a zro dans U ssi son intrieur est enti`rement ` e e e contenu dans U . Par exemple sur la gure suivante les circuits 1 et 2 de U sont homotopes a zro, ainsi que les circuits 1 ` e et 2 de U . En revanche le circuit 3 de U nest pas homotope a zro : ` e
U 1
U 1 2
3 2
U et U sont en fait deux ouverts de topologie fondamentalement dirente ; en adoptant la e Dnition 2.2 un ouvert U est simplement connexe si tout circuit de U est homotope a zro dans U e ` e on a pour les ouverts de la gure prcdente que U est simplement connexe mais pas U . e e
6 Des
18
f (z) dz =
+ 1 + 2
f (z) dz .
(2.10)
En particulier lintgrale curviligne de f sur tout circuit homotope a zro dans U est nulle ; si le domaine e ` e de dnition U de f est simplement connexe, lintgrale curviligne de f sur tout circuit de U est nulle. e e Notons que la premi`re partie du thor`me implique la seconde, puisque lintgrale dune fonction sur e e e e un circuit rduit a un point est trivialement nulle. La dmonstration gnrale de la premi`re partie du e ` e e e e thor`me, hors programme, se trouve par exemple dans la section 7.8 de Chaterji (1997). En pratique on e e peut se contenter de situations gomtriques particuli`res simples o` la dmonstration devient lmentaire. e e e u e ee Traitons par exemple le cas (que nous aurons a exploiter par la suite) o` lun des circuits, soit 1 , entoure ` u + compltement le second, soit 2 . On peut alors introduire un circuit qui suit 1 et 2 sauf le long de deux e segments inniment raprochs liant 1 a 2 , soient 12 et 21 : e `
+
12
21
2-
f (z) dz +
12
2
f (z) dz +
21
f (z) dz = 0
dapr`s notre premi`re version du thor`me de Cauchy 2.1. Or si 12 et 21 sont inniment rapprochs leurs e e e e e contributions se compensent, do` le rsultat annonc (2.10). u e e
2.2
Nous venons de voir que lintgrale curviligne dune fonction f holomorphe sur U , le long dun circuit e dintrieur enti`rement contenu dans U , est toujours nulle. e e On peut maintenant se demander ce qui se passe pour des fonctions non holomorphes sur tout lintrieur de , ou par exemple si on divise f holomorphe e + sur U par z z0 o` z0 est un point de lintrieur de . u e Alors f (z)/(z z0 ) sera holomorphe partout dans lintrieur de sauf en z0 . e + Cr Dapr`s le thor`me 2.2, lintgrale le long de e e e e de f (z)/(z z0 ) sera gale a lintgrale de f (z)/(z z0 ) e ` e le long dun cercle de centre z0 et de rayon susamment petit r, r z0
+
f (z) dz = z z0
+ Cr
f (z) dz . z z0
19
+ Cr
+ Cr
+ Cr
Indpendamment de r susamment petit, la premi`re intgrale vaut 2if (z 0 ) dapr`s la formule (2.4). En e e e e utilisant le paramtrage polaire [0,2] z() = z0 + rei du cercle Cr la deuxi`me intgrale scrit e e e e
2
i
0
(rei ) d .
Dapr`s la dnition (1.13) des fonctions , cette intgrale tend vers 0 quand r tend vers 0. e e e On peut donc noncer : e Thor`me 2.3 (formule intgrale de Cauchy) si f est holomorphe sur U , est un circuit de U dine e e trieur enti`rement contenu dans U , et z0 est un point de , alors e e f (z) dz = 2i f (z0 ) + z z0 (2.11)
Linjectivit du circuit + est importante pour avoir (2.11). On peut introduire une formule plus gnrale e e e valable aussi pour des circuits non injectifs, mais a condition dintroduire un facteur dindice du circuit par ` rapport au point intrieur considr, ce facteur dindice comptant le nombre de tours faits par le circuit e ee autour du point. Nous nentrerons pas ici dans ces ranements7 .
2.3
Premi`res consquences e e
De la formule intgrale de Cauchy dcoulent nombre de proprits tr`s fortes des fonctions holomorphes ; e e ee e nous allons en passer en revue quelques unes d`s maintenant. Cependant il faut garder a lesprit le fait que e ` les consquences ultimes de cette formule ne seront exploites quaux chapitres 3 et 4. e e
2.3.1
La formule intgrale de Cauchy (2.11) montre que f (z0 ) peut sexprimer comme une intgrale o` la e e u dpendance en z0 se fait via une fraction rationnelle tr`s simple z0 1/(z z0 ). Cette expression pourra e e se driver sans dicults sous le signe somme, autant de fois que lon veut. On va en dduire que f sera en e e e fait inniment drivable. e Lemme 2.1 (de drivation sous le signe somme) soient une fonction continue de z sur U , un e circuit de U dintrieur enti`rement contenu dans U , n un entier naturel strictement positif. Alors e e dnie sur par e () d (z) = n + ( z) est drivable pour tout z , de drive e e e (z) = n
+
() d . ( z)n+1 () d ( z0 )n+1
(z0 + z) (z0 ) n z
par exemple Chaterji (1997) ou Remmert (1991) pour une dnition mathmatique de lindice, et pour la formule de e e Cauchy gnralise correspondante. e e e
20
()
=
+
1 1 1 n n n+1 d n z( z) z
n+1 n nz n1 +
n
p=2 n p=1
Cp np (z)p nz n + n Cp np (z)p n
Cp np (z)p n
p=1
p=2
Cp np (z)p nz n
soit z 2 P (z,z0 ,) o` P est un polynme en tous ses arguments. Ainsi u o (z0 ,z) = z
+
Reste a voir que comme z0 se trouve dans lintrieur de , si z est de module susamment petit, alors ` e pour tout , | z0 | et | z0 z| restent plus grand que r/2 o` r > 0 est la distance de z0 a . u ` En introduisant M = sup |()| lorsque dcrit et M = sup |P (z,z0 ,)| lorsque z dcrit un voisinage de e e lorigine et dcrit , on obtient pour |z| susamment petit e |(z0 ,z)| |z| ce qui prouve que (z0 ,z) 0 quand z 0. CQFD. Thor`me 2.4 (formule intgrale de Cauchy dordre suprieur) si f est holomorphe sur U alors e e e e `me e elle est indniment drivable sur U , sa drive n e e e e tant donne pour z U et + circuit entourant z e e homotope a zro dans U par ` e f (n) (z) = dn f n! = dz n 2i f () d . ( z)n+1 (2.12)
+
MM d (r/2)2n+1
nous donne en eet la preuve de (2.12) a lordre 0. Si f est n 1 fois drivable avec n 1 0 et (2.12) est ` e vrie a lordre n 1, alors en appliquant le lemme 2.1 a = f qui est continue sur U , on obtient que e e ` ` f (n1) est drivable et que f (n) est donne par (2.12) a lordre n. e e `
2.3.2
Une fonction holomorphe tant en particulier deux fois continment direntiable, on peut se demander e u e quelle sera la forme de sa direntielle seconde compte tenu des restrictions imposes par les conditions de e e Cauchy sur sa direntielle premi`re. Plus simplement, on peut se contenter de driver les conditions de e e e Cauchy (1.18) pour sapercevoir quelles impliquent compte tenu du thor`me de Schwarz : e e 2P 2Q 2Q 2P = = = 2 x2 xy yx y 2P 2Q 2P 2Q = = 2 = y 2 yx xy x
(2.13)
21
(2.14)
Dnition 2.3 une fonction de U dans C est harmonique dans U si elle est deux fois continment e u direntiable dans U et si son laplacien est nul dans U i.e. si elle est solution de lquation de Laplace e e = 0 dans U on va pouvoir montrer le Thor`me 2.5 une fonction f holomorphe dans U est, ainsi que ses parties relles et imaginaires, harmoe e e nique dans U . Rciproquement si U est simplement connexe et si P est une fonction harmonique dans U a e ` valeurs relles, il existe une autre fonction Q harmonique dans U a valeurs relles dite fonction harmoe ` e nique conjugue de P telle que la fonction f = P + iQ soit holomorphe dans U . De telles fonctions Q e sont dnies a une constante (relle) pr`s. e ` e e La partie directe du thor`me dcoule de (2.13) ; on aurait pu aussi la dduire, en considrant a nouveau e e e e e ` une fonction de variable complexe comme une fonction des variables indpendantes z et z, du fait que e = 2 2 + 2 = i x2 y x y +i x y =4 2 zz (2.15)
sannule pour f holomorphe dapr`s la formulation (1.22) des conditions de Cauchy. e La rciproque se montre en construisant la fonction Q a partir de sa direntielle, dont on postule la forme e ` e connaissant les conditions de Cauchy (1.18) : dQ = u dx + v dy = P P dx + dy . y x
(u dx + v dy)
o` + est un chemin trac dans U reliant z0 a z. A z0 x, ceci dnit bien une fonction de z seulement. En u e ` e e eet si deux chemins dirents reliant z0 a z sont choisis dans U , considrons le circuit obtenu en mettant ces e ` e chemins bout a bout. Ce circuit est dintrieur enti`rement contenu dans U a cause de la simple connexit ` e e ` e de U . Comme u et v vrient v/x = u/y la formule de Green-Riemann (2.6) montre que lintgrale de e e u dx + v dy sur ce circuit est nulle, do` lgalit des intgrales prises sur les deux chemins. Dautre part un u e e e changement de point de dpart z0 revient seulement a ajouter une constante relle a Q. Les fonctions Q ainsi e ` e ` construites vrient par dnition Q/x = P/y et Q/y = P/x. On reconna les conditions de e e t Cauchy sur f = P + iQ. Enn si Q, Q sont deux solutions du probl`me il dcoule de ces mmes conditions e e e de Cauchy que Q Q est de drives partielles nulles dans U donc est constante dans U . e e Ce rsultat implique la e Proposition 2.1 une fonction harmonique P a valeurs relles dnie sur un ouvert U est indniment ` e e e direntiable sur U . e En eet si z U et D est un disque inclus dans U centr sur z, D est simplement connexe, donc dans D la e fonction P est partie relle dune fonction holomorphe, indniment drivable dapr`s le thor`me 2.4. e e e e e e En pratique pour calculer la fonction harmonique conjugue dune fonction harmonique relle P il peut e e tre commode de calculer directement la fonction holomorphe associe en utilisant (1.20) : e e df P P = i . dz x y
22
Exemple : P (x,y) = y 3 3x2 y est harmonique dans C, donc partie relle dune fonction holomorphe f e dnie a une constante imaginaire pr`s par e ` e f (z) = 6xy i(3y 2 3x2 ) = 3i(x2 y 2 + 2ixy) = 3iz 2 do` f (z) = iz 3 + i, Q(x,y) = x3 3xy 2 + o` R. u u De mme on peut montrer quune fonction holomorphe peut tre tout aussi bien dnie par sa partie e e e imaginaire donne comme une fonction harmonique iQ, o` Q est a valeurs relles, sur U ; on calculerait e u ` e alors f grce a la deuxi`me forme de (1.20) : a ` e df Q Q = +i . dz y x Complments : on a souvent a rsoudre des quations de Laplace en lectricit, en mcanique, et en e ` e e e e e thermique. Nous nous contenterons de citer deux cas particulier o` le lien entre fonctions harmoniques et u fonctions holomorphes est particuli`rement utile : e llectrocintique des conducteurs homog`nes bidimensionnels. Sous certaines conditions de e e e
symtrie, on obtient que les vecteurs champ lectrique E et densit de courant j sont contenus dans e e e le plan (x,y), alors que le pseudo-vecteur champ magntique est de la forme H = ez . Lquation e e e de Maxwell-Faraday rot E = 0 montre lexistence dun potentiel lectrique tel que E = lquation de Maxwell-Amp`re rot H e e
. De
= j = E =
on dduit alors e
= , y x
= x y
soient les conditions de Cauchy sur f = + i. Ainsi les fonctions et sont harmoniques conjugues ; en particulier on notera que les lignes = constante sont dapr`s la proposition 1.5 e e orthogonales aux lignes = constante, donc correspondent aux lignes de courant (lignes du champ
les coulements irrotationnels bidimensionnels de uides parfaits incompressibles. Lquae e tion de la dynamique de la vorticit = rot v e d = + dt t
montre que la vorticit est conserve le long des trajectoires dans un coulement plan avec v dans e e e le plan x,y et parall`le a z. Si donc il ny a pas de vorticit a linstant initial, il nen appara e ` e` tra jamais : ceci justie la considration des coulements irrotationnels bidimensionnels. La condition e e
rot v
= 0 donne lexistence dun potentiel des vitesses tel que les composantes du champ de
vitesse soient vx = /x, vy = /y . La condition dincompressibilit e v = 0 montre alors que doit tre harmonique. Si le domaine dcoulement U est simplement connexe, le thor`me 2.5 e e e e implique lexistence dune fonction holomorphe f sur U dont la partie relle est ; on appelera en e gnral f = + i le potentiel complexe de lcoulement, et la fonction de courant de lcoulement. e e e e On notera que f (z) = vx (z) ivy (z), et que vx = /y, vy = /x, ce qui implique en particulier que les lignes du champ de vitesse sont immdiatement donnes par les lignes = constante. En e e considrant inversement une fonction holomorphe f sur un ouvert simplement connexe U , on est e assur de lexistence dun coulement irrotationnel de uide parfait incompressible dont le potentiel e e complexe est f . On peut alors dduire le champ de pression correspondant de lquation dEuler ou du e e
23
thor`me de Bernoulli. Cette technique a t beaucoup utilise comme point de dpart pour ltude de e e ee e e e probl`mes darodynamique quasi-bidimensionnels, comme par exemple le calcul de la portance dun e e prol daile donn. e
2.4
Exercices et probl`me e
Les deux premiers exercices prsentent des applications des thor`me et formule intgrale de Cauchy. e e e e Lexercice 2.3 est un exercice lmentaire concernant le lien entre fonctions harmoniques et holomorphes, ee tandis que le probl`me 2.1 propose un complment concernant le lien entre fonctions bi harmoniques et e e holomorphes. Exercice 2.1 Calcul dintgrales curvilignes e Dans cet exercice + dsigne le cercle unit de C orient dans le sens trigonomtrique. e e e e 1 Calculez, pour |z| = 1, I(z) =
+
10 d . ( z)9
Indication : appliquez le thor`me de Cauchy ou la formule intgrale de Cauchy dordre suprieur. e e e e 2 Soient f et g deux fonctions holomorphes sur U ouvert contenant le disque unit ferm de C. Calculez e e pour z U, |z| = 1, f () zg() 1 + J(z) = d . 2i + z z 1 Indication : ramenez-vous a deux intgrales calculables soit avec le thor`me de Cauchy, soit avec la formule ` e e e intgrale de Cauchy. e 3 Soient f holomorphe sur U ouvert contenant le disque unit ferm de C, a et b deux points distincts du e e disque unit ouvert. Montrez que e K= 1 2i f (a) f (b) f (z) dz = . (z a)(z b) ab
Exercice 2.2 Existence de primitives - Thor`me de Morera e e 1 Montrez quune fonction f continue sur U ouvert connexe poss`de une primitive holomorphe sur U si et e seulement si (C) pour tout circuit + de U, f (z) dz = 0 .
+
2 Dduisez-en le thor`me de Morera (rciproque du thor`me de Cauchy) : si f continue sur U ouvert e e e e e e connexe vrie (C), alors f est holomorphe sur U . e
Exercice 2.3 Sur le lien entre fonctions holomorphes et harmoniques [test 2003 2004] Peut on armer en gnral que le module |f | ou le module carr |f |2 dune fonction f holomorphe sur e e e un ouvert connexe U sont harmoniques ?
24
Probl`me 2.1 Fonctions biharmoniques e Les fonctions (x,y) biharmoniques a valeurs relles sont dnies comme les solutions C 4 (U R) de ` e e lquation e () = 0
2 2 e o` = x + y est loprateur laplacien. u Elles apparaissent naturellement dans des probl`mes bidimensionnels de mcanique : e e
(2.16)
dformations dun solide homog`ne lastique isotrope soumis a des contraintes planes e e e ` = i.e. de tenseur des contraintes invariant par rapport a z et tel que zz = 0. On montre a partir de ` ` lquation de lquilibre local lexistence dune fonction de contraintes ou fonction dAiry (x,y) e e telle que
=
= ()1
Par combinaison de la loi de Hooke et des quations de compatibilit cinmatiques sur le tenseur des e e e dformations, on montre que doit vrier lquation (2.16). e e e coulements bidimensionnels de Stokes dun uide visqueux incompressible. On montre a e ` partir de lquation de conservation de la masse et de la bidimensionalit x,y lexistence dune fonction e e courant (x,y) dterminant le champ des vitesses selon e
v = rot( ez ) .
Le rotationnel de lquation de Stokes montre que doit vrier lquation (2.16). e e e Le but de cet exercice est de montrer que les fonctions biharmoniques a valeurs relles peuvent se dduire en ` e e gnral de potentiels complexes. On supposera toujours louvert de dnition U de simplement connexe. e e e 1.a Si (x,y) est biharmonique, et P (x,y) dsigne son laplacien e P (x,y) = (x,y) , montrez quil existe une fonction f (z) holomorphe sur U telle que P = Ref sur U . 1.b Soit g : z A(z) + iB(z) avec A et B a valeurs relles une primitive holomorphe quelconque de f /4. ` e Montrez que la fonction a valeurs relles dnie par ` e e (x,y) = (x,y) [xA(x,y) + yB(x,y)] peut scrire comme la partie relle dune fonction holomorphe h(z) sur U . e e 1.c Concluez-en lcriture de drivant de potentiels complexes holomorphes g et h, e e (z) = Re[ zg(z) + h(z) ] (2.17)
2 Rciproquement soient g et h deux fonctions holomorphes sur U . Montrez que (z) donne par lquae e e tion (2.17) est biharmonique. 3 Quelle fonction dterminent les potentiels complexes e g(z) = iz + , h(z) = z pour constante relle, constante complexe ? e A donne, les potentiels complexes g et h tels que lcriture (2.17) ait lieu sont-ils uniques ? e e
Chapitre 3
Fonctions analytiques
Apr`s quelques rappels et complments sur les sries enti`res dans C, nous pourrons enn donner dans e e e e la section 3.2 le rsultat central de ce cours, qui sera ensuite exploit et illustr. e e e
3.1
Une srie enti`re dans C est une srie de fonctions dont le terme gnral est un monme a n (z z0 )n e e e e e o o` z0 C est un point central . Un exemple canonique de srie enti`re centre en z 0 = 0 est donn u e e e e ` par la srie gomtrique de terme gnral z n . A partir de lidentit algbrique e e e e e e e
p
z C, (z 1)
n=0
z n = z p+1 1 ,
on tablit immdiatement que cette srie converge si et seulement si |z| < 1, vers la fonction 1/(z 1) : e e e
+
z C, |z| < 1
=
n=0
zn =
1 1z
(3.1)
Le fait que le domaine de convergence de la srie soit un disque peut se gnraliser. Pour cela, en revenant e e e n au cas gnral dune srie de la forme n an (z z0 ) , on va dmontrer le e e e e Lemme 3.1 (Abel) si n, |an |rn M , alors la srie converge uniformment pour |z z0 | R < r. e e En eet pour |z z0 | R < r il vient |an ||z z0 |n M (R /r)n terme gnral dune srie gomtrique convergente. On en dduit que la suite de fonctions e e e e e e
p
fp (z) =
n=0
an (z z0 )n
an (z z0 )n
quune suite gp de nombres complexes est de Cauchy si > 0 , N N tel que p N, q N, |gp gq | < .
Rappelons aussi que toute suite convergente est de Cauchy, et que la rciproque est vraie car C est complet. e
26
peut tre major uniformment en z par le reste de la srie gomtrique explicite montre que lon a e e e e e e e convergence uniforme. On en dduit la e Proposition 3.1 lensemble des nombres rels positifs r tels que la srie de terme gnral |a n |rn converge e e e e est un intervalle dorigine 0 ; la borne suprieure R de cet intervalle (ventuellement gale a +) est le e e e ` e rayon de convergence de la srie enti`re, tel que n an (z z0 )n converge pour |z z0 | < R, uniformment e e pour |z z0 | R < R. Lensemble D des nombres complexes z tels que |z z0 | < R est appel disque de convergence de la srie e e e e e enti`re. En dehors de D, pour |z z0 | > R, la suite an (z z0 )n ne peut tre borne, donc a fortiori la srie e n e e e n an (z z0 ) ne peut converger. Par contre il nexiste pas de rsultats gnraux pour la convergence de la srie enti`re sur la fronti`re de D. e e e Nous allons tablir le e Thor`me 3.1 une srie enti`re f (z) = n an (z z0 )n est holomorphe dans son disque de convergence, e e e e de drive e e nan (z z0 )n1 . (3.2) f (z) =
n1
On se place pour la dmonstration dans le cas non trivial o` le rayon de convergence R de f est strictement e u positif. En translatant ventuellement z de z0 on se ram`ne a montrer que g(z) = n an z n est holomorphe e e ` dans son disque de convergence D = {z C / |z| < R}, de drive h(z) = n1 nan z n1 . La convergence e e de cette derni`re srie est assure pour z D ; en eet en choisissant alors r tel que |z| < r < R, il vient e e e n|z|
n1
1 |z| = n r r
n1
rn Cr n
puisque pour < 1 la suite nn1 tend vers 0 lorsque n . On en dduit e n|an ||z|n1 C|an |rn terme gnral dune srie convergente : h(z) a un rayon de convergence au moins gal 2 a R. e e e e ` En xant toujours 0 < r < R, formons pour u et v de module infrieur a r, u = v : e ` g(v) g(u) h(u) = vu En utilisant lidentit e v n un = vu an
n2
v n un nun1 . vu
(3.3)
n1
v n1p up ,
p=0
[v n1p up un1 ]
=
p=0 n1
=
p=1 n1
=
p=1
2 On
up1 (v u)
v np1k uk .
k=0
peut montrer que le rayon de convergence de la srie drive est en fait strictement le mme que celui de la srie e e e e e originale, cf. le probl`me 3.1 question 4. e
3.2. Identit entre fonctions holomorphes et analytiques e Le module de cette expression est au plus gal a e `
n1
27
p=1
1 n(n 1) r n2 , 2
n2
La srie qui appara correspond aux modules de la drive seconde de g, elle converge donc puisque r < R. e t e e On en dduit immdiatement e e
vu,v=u
lim
Par une rcurrence immdiate, on obtient alors le e e Thor`me 3.2 une srie enti`re f (z) = e e e e e son disque de convergence, de drive ki`me e e f (k) (z) =
nk n
n(n 1) (n k + 1) an (z z0 )nk .
Remarquons que ceci implique en particulier ak = pour k 0. Nous sommes maintenant mrs pour la u Dnition 3.1 une fonction f (z) est analytique dans son ouvert de dnition U si pour tout z 0 dans U e e elle peut se dvelopper en srie enti`re dans un disque ouvert non vide centr sur z 0 et inclus dans U selon e e e e f (z) =
n
f (k) (z0 ) k!
(3.5)
an (z z0 )n .
(3.6)
Dapr`s le thor`me 3.1, une fonction analytique est holomorphe. Nous allons voir dans la section suivante e e e que la rciproque est vraie. e
3.2
Soit f holomorphe sur U . La proprit qui va permettre le dveloppement en srie enti`re de f autour ee e e e de z0 lment quelconque de U est la formule intgrale de Cauchy. Choisissant un cercle centr sur z 0 et ee e e homotope a zro dans U , on crit cette formule (2.11) pour un point quelconque z de lintrieur de : ` e e e f (z) = 1 2i f () d . z
+ n=0
(3.7)
Notant r le rayon de , on a alors |z z0 | < | z0 | = r ce qui permet dcrire que e 1 1 1 1 1 = = zz0 = z z0 (z z0 ) z0 1 z0 z0 Cette derni`re srie tant uniformment convergente pour dapr`s e e e e e z z0 z0 = |z z0 | < 1, r z z0 z0
on peut passer a la limite sous le signe intgrale dans (3.7), do` le dveloppement en srie escompt. ` e u e e e
28
Comme peut tre arbitrairement grand du moment quil est enti`rement inclu dans U ainsi que son e e intrieur, on obtient le e Thor`me 3.3 (dveloppement en srie de Taylor) pour quune fonction f (z) dnie dans un ouvert e e e e e U soit analytique dans U , il faut et il sut que f soit holomorphe dans U . On peut alors la dvelopper en e srie de Taylor autour de tout point z0 de U selon e
+
f (z) =
n=0
an (z z0 )n
(3.8)
le rayon de convergence de cette srie tant au moins gal a la distance de z 0 au bord de U . De plus on a e e e ` pour tout circuit de U entourant z0 et homotope a zro dans U : ` e 1 2i f (n) (z0 ) f () d = ( z0 )n+1 n!
an =
(3.9)
compte tenu de (2.12). Ce thor`me est extr`mement puissant, comme illustr par exemple dans les exercices 3.1 et 4.1. e e e e
3.3
Nous allons tirer ici toutes les consquences de la proprit tr`s forte dexistence de dveloppement en e ee e e srie enti`re. En particulier ltymologie du qualicatif holomorphe (du grec holos entier et morph e e e e forme ) va tre justie par le principe didentit, qui stipule quune fonction holomorphe est dtermine e e e e e globalement d`s quon la conna dans un disque ouvert, aussi petit soit-il. e t
3.3.1
Principe didentit e
Proposition 3.2 soit f holomorphe dans un ouvert connexe U . Les quatre proprits suivantes sont quiee e valentes : (P1) f est identiquement nulle sur U . (P2) f est identiquement nulle sur un disque ouvert non vide inclus dans U ; (P3) il existe une suite n de nombres distincts dans U telle que
n
lim n = z0 U
et
n N f (n ) = 0 ;
(P4) il existe z0 U tel que pour tout n N, f (n) (z0 ) = 0 ; Evidemment (P1) (P2) (P3). Montrons que (P3) (P4). Pour cela supposons (P3) et quil existe nanmoins m N tel que f (m) (z0 ) = 0 e (n) alors que f (z0 ) = 0 pour n < m. Par analyticit de f , il va exister un disque D ouvert non vide centr e e sur z0 dans lequel on va pouvoir crire que e f (z) = (z z0 )m [am + am+1 (z z0 ) + ] = (z z0 )m (z) o` , analytique dans D, vrie (z0 ) = am = f (m) (z0 )/m! = 0. Par continuit de en z0 il existera u e e un sous-disque non vide de D, centr sur z0 , dans lequel donc f ne sera jamais nulle. Ceci contredit e lhypoth`se (P3). e Montrons maintenant que (P4) (P2). Si (P4) est vri alors par analyticit de f on pourra la dvelopper e e e e en srie de Taylor (3.8) dans un disque ouvert D non vide centr sur z0 . Dapr`s le lien (3.9) entre les e e e
29
e coecients de cette srie et les drives ni`mes de f , on aura alors f = 0 sur D. e e e 3 Pour dmontrer que (P2) (P1) on utilise que si U est connexe et sil existe un disque D0 U , de centre e z0 , dans lequel f = 0, on va pouvoir joindre nimporte quel point z1 de U a z0 par un chemin de U . ` Dapr`s le lemme 3.2, le long de lapplication z d(z,U ) atteint son minimum. Comme U est ouvert, e ce minimum ne peut tre que strictement positif : il existe donc un tube inclus dans U qui contient le e chemin .
PSfrag replacements
U
z0
z1
D0
U
On peut alors construire une suite de disques D0 , ,Dn inclus dans U et recouvrant tels que chaque disque soit centr dans le prcdent. Sur chaque disque f est dveloppable en sa srie de Taylor donc nulle, e e e e e do` f (z1 ) = 0. u Lemme 3.2 (continuit de la fonction distance au bord dun ouvert) la fonction e z d(z,U ) qui a un complexe z associe sa distance au bord de louvert U : ` d(z,U ) = minU |z | est continue de C dans R. En eet pour z U on a par ingalit triangulaire e e U , |z | |z z| + |z | . On en dduit d(z ,U ) |z z| + d(z,U ), do`, par symtrie des roles de z et z , e u e d(z ,U ) d(z,U ) |z z| . En revenant a la proposition 3.2, le fait que (P3) (P1), qui signie que toute suite de zros dune ` e fonction holomorphe non nulle sur U ne peut avoir de point daccumulation dans U , sappelle le principe des zros isols. e e En appliquant la proposition 3.2 a la dirence de deux fonctions analytiques, on obtient la ` e Proposition 3.3 (principe didentit) soient f et g holomorphes dans U ouvert connexe. Si f et g co e ncident sur un disque inclus dans U , ou pour une suite de nombres distincts possdant un point daccumulation e dans U , alors f = g. Ce rsultat justie la notion tr`s importante de prolongement analytique, qui se formule dans les e e termes suivants : si f holomorphe dans U ouvert connexe est donne, existe til une fonction g analytique e dnie dans un ouvert connexe V strictement plus grand que U telle que g co e ncide avec f sur U ? Dapr`s e le principe didentit, un tel prolongement analytique, sil existe, est unique. e Exemple : pour |z| < 1 on dnit f (z) = n (1)n z n ; f est analytique sur le disque de centre 0 et de e rayon 1. On reconna la somme de la srie 1/(1 + z) ; le prolongement analytique de f sur C {1} est t e donc la fonction g(z) = 1/(1 + z).
dmonstration plus formelle utilisant le fait quun connexe ne peut admettre de sous-ensemble strict a la fois ouvert e ` et ferm peut tre trouve dans Chaterji (1997). e e e
3 Une
(3.10)
30
3.3.2
Munis des rsultats qui prc`dent, nous allons pouvoir dduire de la formule intgrale de Cauchy le e e e e e principe du maximum. Pour cela on commence par rcrire cette formule (2.11) dans le cas o` + est un e u cercle centr sur z0 , en utilisant le paramtrage polaire standard ; on en dduit : e e e Proposition 3.4 (proprit de la moyenne) si f est holomorphe sur U , alors pour tout z 0 U , f (z0 ) e e est la moyenne de f sur tout cercle centr sur z0 et enti`rement contenu dans U ainsi que son intrieur : e e e 1 2
2
f (z0 ) =
f (z0 + rei ) d
0
(3.11)
en notant r le rayon dun tel cercle. Cette proprit de la moyenne sapplique videmment aux parties relle et imaginaire de f holomorphe ; ee e e elle sapplique donc aussi a toute fonction P a valeurs relles harmonique sur U . En eet dapr`s le thor`me ` ` e e e e 2.5, en se restreignant a un voisinage simplement connexe V U de z0 contenant le disque de rayon r, il ` existe alors Q harmonique sur V telle que f (z) = P (x,y) + iQ(x,y) soit holomorphe sur V . En prenant la partie relle de (3.11) applique a f , on obtient immdiatement e e ` e P (x0 ,y0 ) = 1 2
2
(3.12)
La proprit de la moyenne (3.11) implique en particulier, notant C(z0 ,r) un cercle centr sur z0 tel que ee e le disque associ soit enti`rement contenu dans U , e e |f (z0 )| sup
zC(z0 ,r)
|f (z)| .
(3.13)
Si f est non constante, lingalit prcdente est en fait une ingalit stricte : e e e e e e Proposition 3.5 (principe du maximum) soit f une fonction holomorphe non constante dans un ouvert connexe U ; alors la fonction |f (z)| ne peut avoir de maximum relatif dans U , i.e. il nexiste pas de point z 0 dans U tel que, pour un cercle C(z0 ,r) centr sur z0 tel que le disque associ soit enti`rement contenu dans e e e U, |f (z0 )| = sup |f (z)| .
zC(z0 ,r)
Supposons en eet quun tel point z0 existe. Si f (z0 ) = 0, alors f = 0 sur le cercle C(z0 ,r) de lhypoth`se. e Dapr`s le principe didentit, f est alors nulle sur U donc constante sur U ce qui est contradictoire. Si e e f (z0 ) = 0, introduisons g(z) = f (z)/f (z0 ). La fonction g est holomorphe sur U et vrie e z C(z0 ,r) |g(z)| |g(z0 )| = g(z0 ) = 1 .
La proprit de la moyenne (3.11) applique a la partie relle de g (cf. aussi (3.12)) donne alors ee e ` e 1 = 1 2
2
Re g(z0 + rei ) d .
0
Ainsi la fonction h : [0,2] 1 Re g(z0 + rei ), continue sur [0,2], positive sur [0,2] dapr`s e Re g(z0 + rei ) |g(z0 + rei )| 1, vrie e
0 2
h() d = 0 .
3.3. Proprits des fonctions analytiques e e Elle est donc nulle sur [0,2]. Ainsi Re g(z0 + rei ) = 1 pour tout , soit dapr`s |g(z0 + rei )| 1, e g(z0 + rei ) = 1 . Le principe didentit implique alors que g = 1 sur U i.e. f = f (z0 ) sur U , ce qui contredit lhypoth`se. e e
31
Une consquence immdiate de ce principe est que le module dune fonction holomorphe ne peut atteindre e e son maximum que sur la fronti`re du domaine de dnition de f : e e Proposition 3.6 soient U un ouvert connexe born, f continue non constante sur U , holomorphe sur U . e Alors |f (z)| atteint son maximum sur la fronti`re de U et nulle part ailleurs. e En eet comme U est compact |f (z)| y atteint son maximum en un point z 0 , qui ne peut tre a lintrieur e ` e de U daprs le principe du maximum. e Citons nalement lapplication du principe du maximum aux fonctions harmoniques relles : e Proposition 3.7 soit P (x,y) une fonction harmonique a valeurs relles non constante sur U ouvert connexe ; ` e alors P (x,y) ne peut admettre de maximum ni de minimum local dans U . Supposons par exemple lexistence dun maximum local en z0 U . Soit V un ouvert simplement connexe inclus dans U contenant le disque centr sur z0 sur la fronti`re duquel on a P (z) P (z0 ). On sait dapr`s le e e e thor`me 2.5 que P est la partie relle dune fonction f holomorphe sur V . Alors g(z) = exp f (z) est aussi e e e holomorphe sur V , et |g(z)| = exp P (z) admet un maximum local en z0 sans tre constante, ce qui contredit e le principe du maximum. Le rsultat concernant labsence de minimum local sobtient en appliquant ce que e lon vient de dmontrer a P . e ` On en dduit immdiatement la e e Proposition 3.8 soient U un ouvert connexe born, P (x,y) une fonction a valeurs relles continue sur U , e ` e harmonique sur U . Alors il existe z0 et z1 sur le bord de U tels que P (z0 ) = inf P (z) , P (z1 ) = sup P (z) .
zU zU
(3.14)
Ce rsultat implique lunicit des solutions dun probl`me de Dirichlet plan pos sur U ouvert connexe e e e e born : e continue de U dans R , deux fois direntiable sur U , e telle que = 0 dans U = g donne sur le bord de U . e En eet la dirence entre deux solutions est une fonction harmonique dans U , continue sur U , qui vaut e zro sur le bord de U ; une telle fonction est nulle dapr`s la proposition 3.8. e e
3.3.3
des coecients dune srie enti`re en fonction dintgrales sur un cercle entourant z 0 va nous permettre de e e e donner une majoration intressante sur ces coecients, aboutissant a des thor`mes importants. Nous nous e ` e e placerons demble dans le cas z0 = 0. e
32
n Proposition 3.9 soit une fonction analytique f (z) = de rayon de convergence R. Pour tout n an z r, 0 < r < R, on a Mr (f ) |an | (3.16) rn o` Mr (f ) = sup |f (z)| . u |z|=r
Mr (f ) Mr (f ) r d = . rn+1 rn
Thor`me 3.4 (de Liouville) toute fonction analytique et borne dans C est constante. e e e Soit f analytique dans C telle que supzC |f (z)| soit ni gal a M . Alors la srie de Taylor de f en zro, e ` e e e f (z) = n an z n , a un rayon de convergence inni ; dapr`s (3.16) on a |an | M/r n pour tout r donc an = 0 si n 1. CQFD. Thor`me 3.5 (de dAlembert) tout polynme P (z) a coecients complexes non constant admet au e e o ` moins une racine complexe. Considrons en eet un polynme non constant P tel que P (z) = 0 z. Alors la fonction f (z) = 1/P (z) e o serait non constante, analytique et borne puisque |P (z)| quand |z| . Ceci est impossible dapr`s e e le thor`me 3.4. e e Thor`me 3.6 (de compltude algbrique de C) C est algbriquement clos au sens o` toute quation e e e e e u e algbrique dans C, de la forme e P (z) = 0 , P tant un polynme a coecients complexes, admet exactement n = deg P racines dans C. e o ` La dmonstration se fait par rcurrence sur n. Un polynme de degr 1, de forme gnrique P (z) = az+b avec e e o e e e a = 0, admet videmment pour seule racine z = b/a. Si la proprit est dmontre pour tout polynme de e ee e e o degr n 1, soit P un polynme de degr n + 1. P est non constant donc dapr`s le thor`me de dAlembert e o e e e e il admet au moins une racine complexe z0 . Par division euclidienne4 de P par z z0 on a P (z) = (z z0 )Q(z) + R (3.17)
o` Q est de degr n 1 et R de degr 0 cest-`-dire constant. Comme P (z 0 ) = 0 on a R = 0. On conclut en u e e a appliquant lhypoth`se de rcurrence au polynme quotient Q. e e o
3.4
Il est plus que temps de dnir et dtudier les fonctions analytiques usuelles. e e
quen gnral, si A et B sont deux polynmes a coecients complexes, il existe un unique couple de polynmes e e o ` o (Q,R) a coecients complexes tel que lon ait ` A = BQ + R et deg R < deg B . Ici on peut se contenter plus pauvrement de donner directement la solution de (3.17), a savoir, pour P = `
n1 n1k X X k=0 l=0 n X 4 Rappelons
ak z k ,
Q =
33
3.4.1
Fonction exponentielle
(3.18)
est telle que le rapport de deux termes gnraux conscutif z/(n + 1) tend vers 0 lorsque n ; on peut e e e donc la majorer en module, pour z x et n susamment grand, par une srie gomtrique convergente. e e e e Ainsi son rayon de convergence est +. Dapr`s le thor`me 3.1 cette fonction exponentielle est donc e e e holomorphe sur C, de drive complexe (cf eq. (3.2)) e e d exp z = exp z ; dz (3.19)
dapr`s le thor`me 3.3 elle est en fait analytique sur C. Pour u donn dans C, la fonction f : v exp(u + v) e e e e est aussi analytique dans C ; son dveloppement de Taylor autour de zro (3.8) donne e e f (v) = soit exp(u + v) = exp(u) exp(v) . (3.20) On en dduit en particulier, comme exp 0 = 1, que exp(z) exp(z) = 1 pour tout z, donc que exp ne sannule e jamais ; cette derni`re galit implique aussi que e e e exp(z) = Comme exp z = exp z, on a pour t R exp(it) = exp(it) et | exp(it)| = 1 ; (3.22) 1 . exp z (3.21) f (n) (0) n v = n! n=0
+
notons enn que pour z R la fonction exponentielle (3.18) co ncide videmment avec la fonction expoe nentielle que lon a dnie dans les petites classes. Cen est videmment le prolongement analytique sur e e C.
3.4.2
Fonctions hyperboliques
Pour z C on dnit les fonctions cosinus hyperbolique et sinus hyperbolique par e cosh z sinh z = = exp(z) + exp(z) = 2 exp(z) exp(z) = 2 z 2n (2n)! n=0 z 2n+1 (2n + 1)! n=0
+ +
(3.23)
Ce sont videmment des fonctions analytiques sur C, de drives e e e d cosh z = sinh z , dz Des calculs lmentaires montrent que ee exp z = cosh z + sinh z , cosh2 z sinh2 z = 1 , (3.25) (3.26) d sinh z = cosh z . dz (3.24)
34 cosh(z) = cosh z ,
` A partir de ces informations il est ais dtablir les identits e e e cosh(u + v) = cosh u cosh v + sinh u sinh v , sinh(u + v) = sinh u cosh v + cosh u sinh v , (3.28)
ainsi que toutes les identits classiques que lon connaissait sur les fonctions cosinus et sinus hyperboliques e relles, avec lesquelles les fonctions (3.23) co e ncident videmment lorsque leur argument est rel. e e
3.4.3
Fonctions trigonomtriques e
Pour z C on dnit les fonctions cosinus et sinus par e cos z sin z = = cosh(iz) = exp(iz) + exp(iz) 2
+
=
n=0
(1)n
+
z 2n (2n)! (3.29)
n
Ce sont des fonctions analytiques sur C, de drives e e d cos z = sin z , dz Des calculs lmentaires montrent que ee exp(iz) = cos z + i sin z , cos2 z + sin2 z = 1 , cos(z) = cos z , sin(z) = sin z . (3.31) (3.32) (3.33) d sin z = cos z . dz (3.30)
` A partir de ces informations, il est ais dtablir les identits e e e cos(u + v) = cos u cos v sin u sin v , , sin(u + v) = sin u cos v + cos u sin v , sin(u v) = sin u cos v cos u sin v , (3.34a) (3.34b)
ainsi que toutes les identits classiques que lon connaissait sur les fonctions cosinus et sinus relles, avec e e lesquelles les fonctions (3.29) co ncident videmment lorsque leur argument est rel. On montre par exemple e e que cos u cos v sin u sin v sin u cos v = = = 1 [cos(u + v) + cos(u v)] , 2 1 [cos(u v) cos(u + v)] , 2 1 [sin(u + v) + sin(u v)] , 2 (3.35a) (3.35b) (3.35c)
do`, grce a des changements de variables du type p = u + v, q = u v, u a ` cos p + cos q = 2 cos pq p+q cos 2 2 p+q pq sin p + sin q = 2 sin cos 2 2 , , p+q pq sin , 2 2 pq p+q sin p sin q = 2 sin cos . 2 2 cos p cos q = 2 sin (3.36a) (3.36b)
Dautre part, en faisant u = v dans (3.35), on obtient cos2 u = 1 + cos(2u) , 2 sin2 u = 1 cos(2u) , 2 sin(2u) = 2 sin u cos u . (3.37)
3.4. Fonctions analytiques usuelles Ces formules peuvent aussi se dduirent des formules de Moivre e n N , (cos u + i sin u)n = cos(nu) + i sin(nu) , qui dcoulent elles-mmes de lidentit dduite par rcurrence immdiate de (3.20), e e e e e e n N , (exp z)n = exp(nz) .
35
(3.38)
(3.39)
En utilisant les formules du binme et en raisonnant dabord sur u rel, ce qui permet dextraire cos(nu) et o e sin(nu) de (3.38) en prenant parties relle et imaginaire, puis en prolongeant analytiquement le rsultat a e e ` u C tout entier, on obtient par exemple cos(4u) = cos u 6 cos u sin u + sin u , cos(3u) = cos3 u 3 cos u sin2 u ,
4 2 2 4
(3.40a)
2
on dmontre que les priodes de la fonction exponentielle sont 2ni, n Z, i.e. e e z, exp(z + ) = exp z exp = 1 = 2ni, n Z et que les priodes des fonctions sinus et cosinus sont 2n, n Z, i.e. e z, cos(z + ) = cos z cos = 1 = 2n, n Z , ` A partir de z, sin(z + ) = sin z = 2n, n Z . cosh z = cos(iz) , sinh z = i sin(iz) , (3.42) (3.43) (3.44) (3.41)
qui signie que les fonctions hyperboliques se dduisent des fonctions trigonomtriques par compositions e e appropries avec des rotations dangle /2, on dduit en particulier que les priodes des fonctions sinus et e e e cosinus hyperbolique sont 2ni, n Z. Notons que si z = x + iy avec x et y rels on a e cos z sin z do` u | cos z| = cos2 x + sinh2 y , | sin z| = sin2 x + sinh2 y , (3.47) ce qui implique que | cos z| + et | sin z| + quand |Imz| +. Avec les mmes notations on tablit que e e cosh z sinh z = = cosh(x + iy) = cosh x cosh(iy) + sinh x sinh(iy) = cosh x cos y + i sinh x sin y , (3.48) sinh(x + iy) = sinh x cosh(iy) + cosh x sinh(iy) = sinh x cos y + i cosh x sin y , (3.49) = = cos(x + iy) = cos x cos(iy) sin x sin(iy) = cos x cosh y i sin x sinh y , sin(x + iy) = sin x cos(iy) + cos x sin(iy) = sin x cosh y + i cos x sinh y , (3.45) (3.46)
soit t0 = /2. Les valeurs des zros de cos et sin ainsi que leur priode se dduisent facilement de ce rsultat. e e e e
36
3.4.4
Sur C priv des zros de la fonction cosinus, que le lecteur est invit a calculer en exercice (cf. a ce sujet e e e` ` lexercice 3.4), on dnit la fonction tangente trigonomtrique par e e tan z = sin z . cos z (3.50)
Cette fonction est analytique sur son domaine de dnition, de drive e e e cos z cos z + sin z sin z 1 d tan z = = = 1 + tan2 z . dz cos2 z cos2 z (3.51)
On peut dduire diverses formules valables pour cette fonction tangente des formules trigonomtriques e e dmontres section prcdente. Par exemple de (3.34) on dduit e e e e e tan(u + v) = tan u + tan v 1 tan u tan v (3.52)
lorsque tous ces nombres existent. De cette formule et de (3.40) on dduit e tan(2u) tan(3u) tan(4u) = = = 2 tan u , 1 tan2 u 3 tan u tan3 u , 1 3 tan2 u 1 tan2 u 4 tan u 1 6 tan2 u + tan4 u (3.53a) (3.53b) (3.53c)
lorsque tous ces nombres existent. De mme on dnit sur C priv des zros de la fonction cosinus hyperbolique la fonction tangente e e e e hyperbolique sinh z tanh z = . (3.54) cosh z Cette fonction est aussi analytique sur son domaine de dnition, de drive e e e 1 cosh z cosh z sinh z sinh z d = = 1 tanh2 z . tanh z = 2 dz cosh z cosh2 z De plus on a tan z = i tanh(iz) et tanh z = i tan(iz) . (3.56) (3.55)
3.4.5
La fonction exponentielle nest pas surjective puisquelle ne sannule jamais ; elle nest pas non plus injective dapr`s (3.41). On ne peut donc esprer dnir une fonction rciproque de lexponentielle sur C e e e e tout entier. Par contre sur la coupure C R on peut dnir une fonction inverse de lexponentielle par e ln w = ln |w| + i arg w (3.57)
en adoptant la convention de dnition (1.12) de largument, arg w ] ,]. Cette dtermination prine e cipale de la fonction logarithme (on pourrait dnir une innit dautres dterminations en changeant e e e la dnition de la fonction argument) vrie bien e e w C R , exp(ln w) = w ; (3.58)
dapr`s la proposition 1.6 cest donc une bijection analytique de C R sur la bande R] ,[ (voir a ce e ` sujet la gure 3.1), et de plus d ln w 1 = . (3.59) dw w
433 2( ( &"'' " " 21 & $&&% 0 # $# $$ 344'1) ( &!!! 1 ) % $# ) # $ # $$# 2 11 0 ( && 2 ) ' &%&% 443(030' !""!""!"" 22 & $% 2 ) ' % #& 0 $ # 344')141&'024(2400$()%(!" 34444024'023((01%(#&)#(!"" 3 13 23)1 ) ' % $&' !!! 21 ))0 &% # $##$% ##$ 0 $ $ $##$$# 1 % ##$%& ! 40&()13'($&')1&!!!!" 234 1112 )0 %' % 34 23 )$&'( "'' &" " 01 ) ' & & $#& ) ' %%%% 334333'024 13)14(012 )0 ''( %!!! 1)&""" )2 0 ( $$%& #$# 3344444()3'013 24)14()24023(22')1%'01 00%')#%() (((!""!""!"" 344344344'&$!"!" 1222 (( & $&& )0 % #$& $# 3 13 ' &&'' 21 ) &% ##% #$ 0 1 ) ' % #$%&&% # ) # #$$#$#$#$# 1)!!! 211 ' % %% 0 $ $ $# 3430 '( %!" 24)13()23 2%'1&(01 #' %&& 023 1 0) ) )#' % #$ 34341()0$!"!" 134 14'''( "' " " 3443443')3(&)0 )!""!""!"" 34 3 !!! )1 ) ( & & $& $& $ '( % #$$ # 2122 )0 ( %&&% % %&%%&&% 0 % # 1114 12 )0 '('( %' % )0 $### 3331)#%()%'(!!!!" 2212 0 '( &%&& 0 & $ #$$#$# 34334 112 0 ''( !!! 44'04)13(24 %'0 '(""" 112 0 %& #% ) ##$ $#$#$#$ 434443')24023(&)0""" 222 (' %&& 0 % # $#$#$ 3333()3)14'014023(&'1')1%()141(0$%)%')#&')0&()$!"!"!"!" 111 ) ' %'' % ) $#%&%& 34343434'%#!!! 1)!!"" 1212 ( & #$%'' & 2 & )0 #
Imz
PSfrag replacements
Le probl`me 3.1 est un probl`me de rvisions-complments de cours sur les sries enti`res. Les exere e e e e e cices et probl`mes suivants portent sur les fonctions analytiques, tout dabord dun point de vue particulier e permettant de se familiariser en douceur avec ces fonctions (exercices 3.1 a 3.4 complts des probl`mes ` ee e 3.2 et 3.3), puis dun point de vue gnral en se penchant sur les proprits gnriques de ces fonctions e e ee e e (exercices 3.5 a 3.7). Jinsiste sur limportance des fonctions trigonomtriques et de lexercice 3.4 ; une ver` e sion tendue de cet exercice est en fait fournie par les probl`mes 3.2 et 3.3, dont le corrig se trouve en e e e annexe A. Protant dautre part de ce que lon sait maintenant lunicit de la solution dun probl`me de e e Dirichlet, les probl`mes suivants 3.4 a 3.7 se proposent de construire la solution de tels probl`mes en utilisant e ` e lanalyse complexe. On notera que le probl`me 3.6 (dun niveau de dicult plus lev que la moyenne) e e e e fournit la solution gnrale des probl`mes de Dirichlet poss a lintrieur ou a lextrieur dun cercle. Enn e e e e ` e ` e le probl`me 3.8 introduit et tudie grce a lanalyse complexe une famille de fonctions spciales, a savoir e e a ` e ` celle des polynmes de Legendre. o
exp
E G I QR ST UV W Y a cd H P Q S U X ` b c 778878 56 5BBA CD EF G I Q ST UV WX Y a cd 5 99@ AAB D IIP QQR SST aab ccd D E G I R T V W Y a d F H P X ` b CDD FF HH P Q S UV XX `` b c EF GH IP R T V WX Y` ab d 8 99@ AB CD F P R TT V X b dd 78 6 @9@9@99@@ AAB CCD EEF GH IIP QQR SSST UUV WWX Y` aab cccd 6 56 @ B CCCD EEF GGH P QRR STT UVUUV WWX YY` b cdd 87 55566 5AAAB CCDD F GH IPPIP QRRQR STTT V X Y` abbab cddd 78778 5ABA CCD EEF GHG IPI QRQ SST UUV WWX Y`Y aba ccd 65 @@ B C F H V X ` EFF R T V d GG II WW YY aa 77887 65AABAABAABB CDD EFF GH IP QR STT UVV WXX Y` ab cdd 7878 565666AA CDCD EFEF GG II QQ STST UVUV WXWX YY aa cdcd 56 99 DD E G U W Y H P X ` b 8 6 @9@5B 5 9@9@9 B D 6 @ 5 9 CD EEEF GGH UUV WWX YY` WX Y` ab 788 6 D F H IP QR ST V X ` ab cd 6 @ D E H P Q S U X ` b c 5 9@ C FF GH I R T VV WXX Y`` ab d EA C E G I Q S U W Y a c GFC E HG I Q S VU XW `Y a c 8787887 5ABBABBABA CDDCD EFFEF GHG IPI QRQ STTST UVVUV WXXWX Y`Y aba cddcd 68 5 9 CD E G P R T U W Y b d 556 9@5B 5 9@ B CDDCD EFFF GHH I Q ST UVVV WXXX Y`` a cd 57 5AAAB CDDC E GH IPPIP QRRQR STTS U W Y` abbab cddc F H P R T V X ` b d H P Q S U W Y a c EF G I QR ST UV W Y a cd H P Q S U X ` b c GH IP I 8788787 5656BBAA DCCDD FEEFF GG II QQ TSSTT VUUVV XWWXX YY aa dccdd 566 9@@9@ 9@@5 9@9@ DD F H P R T V X ` b d F H P R T V X ` b d 878 6 95AAAB CDC E GH IPIP QRQR STS U W Y` abab cdc 77 556 @5 6 CC E G I Q S U W Y a c 5 EFE QRQ STS UVU cdc 8787 656AAAB C E GH IP QR S U W Y` ab c 7778 556ABABABA CDCD EFEF GHG IPI QRQ STST UVUV WXWX Y`Y aba cdcd 6 99 CC E G I Q S U W Y a c 5 @5 9@ CD EF GH UV WX Y` GG II WW YY aa 7878 5656ABABAB CD EF GH IP QR ST UV WX Y` ab cd 7878 AA CDCD EFEF GG II QQ STST UVUV WXWX YY aa cdcd 56 9 CD EFEF GH QR ST UVUV WX Y` cd 9@9@ 5 9@9@ CD IP QR ST ab cd
3.5
3.4.6
o` u
Attention : certaines formules connues pour des variables relles, qui reposaient sur linjectivit de lexpoe e nentielle relle, ne sont plus valables pour le logarithme complexe. Ainsi il est facile de montrer que e
On peut se servir de la dtermination principale de la fonction logarithme pour dnir pour nombre e e complexe quelconque et w dans la coupure C R la fonction analytique :
Exercices et probl`mes e
Fonctions w
1 = 0 1
+
ln(w1 w2 ) = ln w1 + ln w2 + 2i
si 2 si si
(w ) = w exp(2ni) ln(exp z) = z + 2ni w = exp( ln w) Rez < arg w1 + arg w2 < arg w1 + arg w2 < arg w1 + arg w2 ln . Imw 2 Rew
(3.60)
(3.63)
38
Probl`me 3.1 Crit`res de convergence dune srie enti`re - Applications e e e e Soit f (z) = 1 On dnit e L = lim sup |an |1/n =
n+ p+ n
an (z z0 )n une srie enti`re complexe donne. e e e lim sup |an |1/n [0, + ] .
np
Montrez que le rayon de convergence de la srie enti`re est R = 1/L (crit`re de Cauchy ). e e e Commentaires et indications : vous noterez quune limite sup existe toujours dans [0, + ], car dans le cas non trivial o` la suite des sup est majore on a aaire a une suite dcroissante minore donc convergente. u e ` e e Pour montrer le rsultat demand vous vous ramenerez a montrer que, pour une suite {b n } de rels positifs e e ` e ou nuls, en posant l = lim sup(bn )1/n [0, + ] ,
n+
si l < 1,
n bn
converge, alors que si l > 1, bn ne tend pas vers 0 quand n tend vers +. L = lim an+1 an
2 On suppose que
n+
existe dans [0, + ]. Montrez que L = L et en dduire que R = 1/L (crit`re de dAlembert). e e 3 Donnez le rayon de convergence des sries enti`res suivantes : e e 3.a
n
zn n!
3.b
n
n z n pour R
3.c
n
n!
z n
3.d
n
3.e
n
(2n)! 2n z (n!)2
3.f
n
3.g
n
nan (z z0 )n1
en fonction de celui de f . 5 Montrez que f (z) admet une primitive holomorphe dans son disque de convergence, et donnez cette primitive sous forme dune srie enti`re. e e
Exercice 3.1 Dveloppements explicites en srie de Taylor e e Dans cet exercice on utilisera (comme toujours en labsence de spcications autres) la dtermination e e principale du logarithme. 1 Donnez le dveloppement en srie de Taylor de z ln z autour de z = 1, en prcisant son rayon de e e e convergence. 2 Mme question pour lapplication z z o` C. e u 3 Donnez le dveloppement en srie de Taylor de z 1/z(z 1) autour de z = 2. e e
3.5. Exercices et probl`mes e Exercice 3.2 Fonction erreur Montrez que lon peut dnir pour tout z la fonction erreur 6 e 2 erf(z) =
z
39
exp(u2 ) du .
0
Montrez que erf est une fonction analytique de z sur C, et donnez son dveloppement de Taylor en zro. e e
z2
Sur quelle partie du plan complexe est dnie la dtermination principale de la fonction f : z z 2 ? e e Donnez une (ou des) expression(s) de f (z) en fonction de z nutilisant plus la fonction racine. On distinguera ventuellement dirents cas selon la valeur de z. e e
Exercice 3.4 Fonctions trigonomtriques complexes e Pour les fonctions trigonomtriques e 1 f (z) = cos z 2 f (z) = sin z 3 f (z) = tan z
peut-on rsoudre explicitement lquation f (z) = w pour w complexe donn ? Que peut-on en dduire a e e e e ` propos de la surjectivit de f ? e
Probl`me 3.2 Sur la fonction arcsinus [test 2005 2006] e 1 Rappelez quel est louvert de dpart U de la dtermination principale du logarithme, et comment on peut e e lutiliser pour dnir la fonction racine carre e e . Quel est louvert de dpart U de cette fonction racine ? e 2 Dterminez lensemble des z complexes, soit U , tels que 1 z 2 soit dans le domaine de dnition U de e e cette fonction racine carre. e 3 Montrez que, pour z U , iz + Indications : montrez dans un premier temps que si iz + 1 z 2 nest pas dans U , alors z est de la forme iy avec y R ; dduisez en quon ne peut avoir, pour z U , iz + 1 z 2 hors de U . e 4 Justiez le fait de pouvoir dnir une fonction g holomorphe de U dans C par e g(z) = i ln iz + 1 z2 . 1 z 2 est dans U .
5 Simpliez, pour z U , lexpression de sin g(z), et dduisez du rsultat obtenu quil est lgitime de noter e e e z U , g(z) = arcsin(z) .
6 Error
o` est lcart type, a une probabilit de se trouver entre et + gale a u e e e ` Z + Z +/2 2 1 1 x dx = exp(u2 ) du = erf(/ 2) , exp 2 2 /2 2 donc l erreur que lon commet en supposant cela est 1 erf(/ 2) . Dailleurs on dnit la fonction erreur complmentaire par erfc(z) = 1 erf(z). e e
function en anglais. En thorie des probabilits, une variable alatoire x centre, de densit de probabilit gaussienne e e e e e e 2 x 1 exp P (x) = 2 2 2
40
6 Simpliez lexpression de la drive de la fonction arcsin dnie par g. e e e 7.a Reprsentez graphiquement U . Quelle est son intersection W avec laxe des rels ? e e 7.b Reprsentez le graphe de la fonction arcsin ainsi dnie et restreinte a W . e e `
Probl`me 3.3 Sur la fonction arctangente et le calcul de [examen 2004 2005] e 1 Dterminez le domaine dholomorphie U de f (z) = tan z. e 2.a Tentez de rsoudre lquation tan z = w pour z inconnu dans U et w donn dans C. Dterminez ainsi e e e e f (U ). 2.b En revenant sur ce calcul, rsolvez en gnral lquation f (z) = f (z ) pour z et z dans U . e e e e 2.c Dnissez un sous-domaine ouvert U0 de U le plus grand possible, qui soit de forme simple et symtrique, e e qui contienne 0, et tel que la restriction de f a U0 soit injective. ` 2.d Calculez limage de U0 par lapplication g qui a z associe exp(2iz). ` 2.e Dduisez de ce qui prc`de lensemble des points w qui constituent f (U 0 ), et dessinez cet ensemble. e e e 2.f Donnez une expression de la fonction f 1 = arctan sur f (U0 ) reposant sur lutilisation de la dtermie nation principale du logarithme, et qui vrie arctan 0 = 0. e 3.a Calculez, par la mthode de votre choix, la drive par rapport a w de cette fonction arctan(w). e e e ` 3.b Donnez un dveloppement en srie de Taylor en 0 de arctan (w). Quel est le rayon de convergence de e e ce dveloppement ? e 3.c Dduisez-en le dveloppement en srie de Taylor en 0 de arctan(w). Quel est son rayon de convergence ? e e e 4 En utilisant les formules trigonomtriques tablies section 3.4.4, montrez la validit de la formule de e e e Machin, /4 = 4 arctan(1/5) arctan(1/239) . 5 Proposez un algorithme permettant un calcul ecace de a partir doprations arithmtiques lmen` e e ee taires. Explicitez cet algorithme en crivant un programme dans un langage informatique de votre choix, e que vous prciserez bien entendu. e
Exercice 3.5 Structure dune fonction analytique au voisinage dun point selle Soit f analytique sur U ouvert. On dit que f prsente un point selle en z 0 U si e f (z0 ) = 0 et f (z0 ) = 0 . Par translation des valeurs de f on peut aussi supposer pour simplier que f (z0 ) = 0 . Montrez que, au voisinage de z0 , pour z = z0 + ei avec petit, le signe des parties relle P et imaginaire Q e de f est dtermin uniquement par la valeur de . Dessinez lallure universelle (car indpendante de f ) e e e des lignes P = constante et Q = constante au voisinage de z0 . Esquissez la surface h = P (x,y) au voisinage de z0 .
3.5. Exercices et probl`mes e Exercice 3.6 Fonctions holomorphes bornes par une puissance de z e
41
Soit f (z) une fonction holomorphe dans le plan C tout entier telle quil existe un entier p et deux nombres rels positifs R, M vriant e e z C , |z| R = |f (z)| M |z|p . Montrez que f (z) est un polynme de degr au plus p. o e
Exercice 3.7 Application du principe du maximum Soient U un ouvert connexe born et f (z) une fonction non constante continue sur U , holomorphe sur e U . Montrez que si |f (z)| est constante sur la fronti`re de U , alors f admet au moins un zro dans U . e e Indication : raisonner par labsurde en considrant g(z) = 1/f (z). e
Probl`me 3.4 Rsolution dun probl`me issu de la thermique e e e On veut calculer en rgime stationnaire le champ de temprature T dans la gaine isolante dune conduite e e cylindrique excentre reprsente ci-contre : e e e T=20
T(x,y) ? T=100
Les axes sont tous verticaux (parall`les a z) et le champ de temprature ne dpend que des variables e ` e e horizontales x et y. Dans la canalisation intrieure, forme du cylindre de rayon 0.3R et de centre de e e coordonnes (0.3R,0), circule de la vapeur deau porte a 100 o C. La gaine isolante, comprise entre ce e e ` cylindre et le cylindre extrieur de rayon R et de centre de coordonnes (0,0), est constitue dun matriau e e e e homog`ne et isotrope. Au niveau du cylindre extrieur, elle est en contact thermique avec une atmosph`re e e e a 20 o C. ` 1 Formulez lquation aux drives partielles que doit satisfaire le champ de temprature T (x,y) dans la e e e e gaine isolante, ainsi que les conditions aux limites associes. Montrez que lon peut supposer R = 1. Peut-on e formuler le probl`me en terme de recherche dune fonction holomorphe particuli`re ? e e 2 Montrez que lapplication h(z) = (z3)/(3z1) ralise une transformation conforme bijective du domaine e supportant la gaine isolante vers un domaine que lon prcisera. e 3 Rsolvez le probl`me transport par h. e e e Indication : utilisez les conditions de Cauchy en coordonnes polaires (exercice 1.8). e 4 Dduisez en la solution du probl`me de dpart. e e e
42
Probl`me 3.5 Rsolution dun probl`me issu de llectricit e e e e e On veut calculer le potentiel lectrique dans lespace extrieur a deux cylindres conducteurs daxes e e ` parall`les, de rayon 4 mm, dont les centres sont distants de 10 mm, et qui sont ports respectivement au e e potentiel 0 :
(x,y) ?
+0
` 1 A quelle quation doit satisfaire le potentiel lectrique (x,y) dans lespace extrieur aux conducteurs, e e e constitu dun milieu lectriquement neutre ? Quelles sont les conditions aux limites correspondantes ? Peute e on formuler le probl`me en terme de recherche dune fonction holomorphe particuli`re ? e e 2 Montrez que lapplication h(z) = (z +3)/(z 3) ralise une transformation conforme bijective du domaine e extrieur aux conducteurs vers un domaine que lon prcisera. e e Indication : dcomposez le domaine extrieur aux conducteurs en lintersection des domaines extrieurs a e e e ` chaque disque correspondant, et cherchez limage de chacun de ces domaines en procdant par quivalence : e e z D1 |z5| 4 |h1 (w)5| 4 ... une ingalit portant sur w = h(z)... e e
Probl`me 3.6 Rsolution du probl`me de Dirichlet a lintrieur et a lextrieur dun cercle e e e ` e ` e 1 Soit u une fonction harmonique dans U = {z C tels que |z| < R}. On sait quil existe f holomorphe sur U telle que u = Ref , et que f est unique si on exige de plus Imf (0) = 0. Montrez que pour 0 < r < R, on peut exprimer f (z) puis u(z) dans le disque |z| < r en fonction des valeurs de u sur le cercle |z| = r. Indication : intgrez terme a terme, pour t [0,2] et p entier, le dveloppement de Taylor de u(re it ) eipt e ` e it dduit de celui de f (re ). e
2 Soit u une fonction relle continue dnie sur le cercle |z| = r. Montrez que la formule intgrale de e e e Poisson 2 reit + z 1 u(reit ) dt f (z) = 2 0 reit z dnit une fonction f holomorphe sur U = {z C tels que |z| < r} dont la partie relle est solution du e e probl`me de Dirichlet a lintrieur U du cercle associ a u : e ` e e` e continue de U dans R , deux fois direntiable sur U , telle que = 0 dans U = u sur le bord de U . Indication : on aura intrt a introduire, pour |z| < r et || = r, le noyau de Poisson ee ` P (z,) = Re +z z = r2 |z|2 | z|2 sup P (z,) = 0.
z0 |0 |
43
3 Soit v une fonction relle continue dnie sur le cercle |z| = r ; donnez lexpression de la fonction f e e holomorphe sur U = {z C tels que |z| < r} dont la partie imaginaire est solution du probl`me de e Dirichlet a lintrieur U du cercle associ a v. ` e e` 4 Soit u une fonction relle continue dnie sur le cercle |z| = r ; en utilisant la transformation homograe e phique h(z) = r 2 /z, montrez que f (z) = 1 2
2 0
dnit une fonction f holomorphe sur V = {z C tels que |z| > r} dont la partie relle est solution du e e probl`me de Dirichlet a lextrieur V du cercle associ a u. e ` e e` 5 Soit v une fonction relle continue dnie sur le cercle |z| = r ; donnez lexpression de la fonction f e e holomorphe sur V = {z C tels que |z| > r} dont la partie imaginaire est solution du probl`me de e Dirichlet a lextrieur V du cercle associ a v. ` e e`
Probl`me 3.7 Rsolution dun probl`me issu de la mcanique des uides e e e e On veut tudier lcoulement irrotationnel dun uide parfait incompressible autour dun obstacle constie e tu par un cylindre daxe Oz et de rayon r. On suppose que quand (x,y) , le champ de vitesse v (x,y) e devient unidirectionnel, i.e. v (x,y) v0 ex . On suppose de plus que la symtrie y y na pas t brise e ee e par lcoulement et on se restreint en consquence au domaine e e U = {z C tels que |z| > r et Imz 0} pour calculer lcoulement. e 1 Montrez lexistence dun potentiel complexe f = + i, fonction holomorphe de z = x + iy sur U , tel que v = et les lignes du champ de vitesse sont donnes par les lignes =constante. Montrez que lon e peut exprimer la condition aux limites sur la surface de contact |z| = r en exigeant que (z) = 0 si |z| = r, et que la condition a linni scrit f (z) v0 quand |z| . ` e 2 Posant g(z) = f (z) v0 z an dliminer la contribution de lcoulement a linni, traduisez le probl`me e e ` e en terme de recherche dune fonction g holomorphe sur U de partie imaginaire donne sur un demi-cercle, e et vriant g (z) 0 quand |z| . e 3 Trouvez g en vous appuyant sur les rsultats du probl`me 3.6, question 5. e e 4 Dduisez-en le potentiel complexe f puis le champ de vitesse v . e
44 Probl`me 3.8 Polynmes de Legendre e o 1 Montrez que, pour z de module susamment petit, on a (u,z) = 1 = 1 2uz + z 2
+
Pn (u) z n
n=0
o` les Pn sont des polynmes en u que lon dterminera explicitement. u o e 2 Montrez que Pn (u) = dn 2 1 (u 1)n . 2n n! dun
3 Dduisez en que, si + est le circuit paramtr par t [0,2] u + eit , alors e e e Pn (u) = 1 2i
+
( 2 1)n d . 2n ( u)n+1
4 Montrez a partir de ce rsultat que f = Pn est solution de lquation de Legendre ` e e (1 u2 )f 2uf + n(n + 1)f = 0 . Indication : faire appara tre
+
5 Montrez que les Pn sont des polynmes orthogonaux pour le produit scalaire o
1
P |Q =
P (u)Q(u)du .
1
Chapitre 4
Nous avons vu avec le thor`me 3.3 quune fonction holomorphe dans un ouvert U peut tre dveloppe e e e e e en srie enti`re autour de tout point de cet ouvert. On peut maintenant se demander ce qui se passe si z 0 e e est un point non lment de U mais tel quil existe un circuit de U entourant z 0 . De faon a peine plus ee c ` restrictive on va supposer en fait que U contient une couronne de la forme C = {z tels que r1 < |z z0 | < r2 } avec 0 r1 < r2 + ; on supposera mme C U , et que est contenu dans C. Lide est alors de e e reprendre les calculs du type de ceux dvelopps pour la dmonstration du thor`me 3.3, en crivant pour e e e e e e z C la formule de Cauchy (2.11) sous la forme : f (z) = f1 (z) + f2 (z) = 1 2i
+ 2
1 f () d z 2i
+ 1
f () d z
f1 (z)
f2 (z)
+ z0 1
-
+ 2
Si 2 on crit que e
1 1 1 1 = = 0 z z0 1 zz0 z0 z z z0 z0
+ n=0
z z0 z0
f1 (z) =
n=0
an (z z0 )n
46 avec an =
1 2i
+ 2
1 f () d = ( z0 )n+1 2i
f () d ( z0 )n+1
1 1 1 1 1 = = = z z0 (z z0 ) z z0 1 z0 z z0 zz
0
+ n=0
z0 z z0
r1 < 1. |z z0 |
+ n=1
On peut donc passer a la limite sous le signe intgrale do` ` e u f2 (z) = avec bn = 1 2i f ()
+ 1
( z0 )n d = (z z0 )n+1 1 2i
bn (z z0 )n
+ 1
( z0 )n1 f () d =
( z0 )n1 f () d
Thor`me 4.1 (dveloppement en sries de Laurent) soit f une fonction holomorphe sur U contee e e e nant la couronne C = {z tels que r1 < |z z0 | < r2 } ; elle peut se dvelopper comme la somme de deux e sries convergeant simplement dans C et uniformment dans toute sous-couronne C = {z tels que r1 < e e |z z0 | < r2 } avec r1 < r1 < r2 < r2 , f (z) = f1 (z) + f2 (z) =
n0
an (z z0 )n +
n1
bn (z z0 )n
(4.1)
+ tant un circuit de C homotope aux cercles |z z0 | =constante contenus dans C. e Cette forme explicite des coecients an et bn permet dintroduire immdiatement les majorations : e r ]r1 ,r2 [ o` u M (r) = sup
|zz0 |=r
|an |
M (r) , rn
|bn | rn M (r)
(4.3)
|f (z)| .
(4.4)
Le cas r1 = 0 correspond a celui dune fonction holomorphe tout autour dun point z 0 mais non dnie ` e en z0 . Lexistence du dveloppement (4.1) montre que la singularit isole associe a z 0 ne peut tre que e e e e ` e de trois types. Un premier cas est celui o` la partie singuli`re f2 (z) sannule, i.e. bn = 0 n 1. On est alors en u e prsence dune singularit articielle de f , puisque en la prolongeant par a 0 en z0 on obtient une e e fonction holomorphe sur U {z0 }. Notons que dapr`s la majoration (4.3) des coecients bn on a : e
47
Proposition 4.1 f holomorphe sur U {z0 } admet une singularit articielle en z0 si et seulement si f e est borne sur U {z tels que 0 < |z z0 | < r0 } pour un certain r0 > 0. e Un deuxi`me cas est celui o` la partie singuli`re f2 (z) ne contient quun nombre ni de termes, i.e. il e u e existe m 1 tel que bm = 0 mais bn = 0 n > m. On dit alors que z0 est un ple dordre m de f ; si o m = 1 on dit que z0 est un ple simple de f . Notons que : o Proposition 4.2 f holomorphe sur U {z0 } admet un ple dordre m > 0 en z0 si et seulement si o
zz0
(4.5)
Cette limite nest alors autre que le coecient bm du dveloppement de Laurent (4.1) de f en z0 . e Un troisi`me cas plus rare est celui o` la partie singuli`re f2 (z) contient une innit de termes, i.e. pour e u e e tout m 1 il existe n m tel que bn = 0. On dit alors que z0 est une singularit essentielle de f . e sin z Exemples : la fonction dnie sur C nadmet quune singularit articielle en z = 0, puisque le e e z dveloppement de Taylor de sin z en zro donne e e z2 z4 sin z = 1 + + . z 3! 5! cos z Par contre le point zro est ple dordre 2 de la fonction e o , puisque par dveloppement de Taylor de e z2 cos z en zro on a e 1 1 z2 cos z = 2 + + . z2 z 2! 4! Enn la fonction 1 1 1 1 exp = 1+ + + + z z 2! z 2 3! z 3 prsente une singularit essentielle en zro. e e e Rcriture en terme dune seule srie : en posant, pour n 1, a n = bn , il est parfois utile de rcrire e e e le thor`me 4.1 sous la forme e e f (z) =
nZ
an (z z0 )n avec an =
1 2i
( z0 )n1 f () d .
(4.6)
En utilisant par exemple cette rcriture ainsi que le lemme suivant, de dmonstration immdiate, e e e Lemme 4.1 (intgration par parties dans une intgrale de circuit) si u et v sont holomorphes sur e e U contenant le circuit + , alors u()v ()d = u ()v()d .
+
(4.7)
il est facile dtablir e Proposition 4.3 (drivation terme ` terme dune srie de Laurent) si f vrie les hypoth`ses du e a e e e thor`me 4.1 alors la srie de Laurent de sa drive f sobtient par drivation terme a terme de la srie de e e e e e e ` e Laurent de f quation (4.1). e
4.2
Une application puissante des dveloppements de Laurent (4.1) est le calcul gnral de lintgrale curvie e e e ligne dune fonction f holomorphe sur U ouvert priv dun nombre ni de points singuliers 1 . Soit donc + e
1 De mani`re gnrale on dsigne une fonction holomorphe sur un ouvert V de la forme V = U S o` S = {z , , z , } e e e e u p 1 est un ensemble de ples de f ventuellement inni mais ne possdant pas de point daccumulation dans U comme mromorphe o e e e sur U .
48
un circuit de U dont lintrieur contient les points singuliers z1 , , zp de f . Pour calculer e f (z) dz
+
on construit un circuit reliant + a des petits cercles isolant les points singuliers : `
+ 1z1 2z2
Comme ce grand circuit est dintrieur enti`rement contenu dans le domaine dholomorphie de f , on obtient e e dapr`s le thor`me de Cauchy 2.1, en dsignant par 1 , , p les cercles entourants z1 , , zp : e e e e
p
f (z) dz =
+ k=1
+ k
f (z) dz .
Il reste a voir que chaque cercle k se trouve dans une couronne centre sur zk satisfaisant aux conditions ` e requises pour crire autour de zk le dveloppement de Laurent (4.1). En notant provisoirement an (zk ), bn (zk ) e e les coecients correspondants, on a alors dapr`s la dnition mme de b 1 (zk ) eq. (4.2) : e e e
+ k
f (z) dz = 2i b1 (zk )
p
et donc f (z) dz = 2i
+
b1 (zk ) .
k=1
On aboutit ainsi au Thor`me 4.2 (des rsidus) soient f une fonction holomorphe sur U ouvert priv dun nombre ni de e e e e points singuliers de f , et + un circuit de U dont lintrieur contient les points singuliers z 1 , , zp de f . e Alors
p
f (z) dz = 2i
+ k=1
Res(f,zk )
(4.8)
o` Res(f,zk ) = b1 (zk ) est le rsidu de f au point zk , coecient de 1/(z zk ) dans le dveloppement de u e e Laurent de f autour de zk : Res(f,zk ) = 1 2i f (z) dz
+ k
(4.9)
pour tout cercle k inclus dans U , centr sur zk , et ne contenant aucun autre point singulier de f . e
Pour le calcul pratique des rsidus, deux mthodes reposant sur des calculs de drives se distinguent e e e e selon lordre de multiplicit du ple. e o
4.3. Application au calcul dintgrales e Un ple simple est typiquement obtenu pour o f (z) = g(z) h(z)
49
quotient de deux fonctions holomorphes g et h telles que g(z0 ) = 0, h(z0 ) = 0 et h (z0 ) = 0. En eet on alors g(z0 ) g(z) = lim (z z0 )f (z) = lim (z z0 ) zz0 zz0 h(z) h (z0 ) nie non nulle, donc le crit`re de ple simple (4.5) est vri, et de plus e o e e Res(f,z0 ) = lim (z z0 )f (z) =
zz0
g(z0 ) . h (z0 )
(4.10)
Un ple dordre m est obtenu lorsque la fonction f admet un dveloppement de la forme o e f (z) = (z z0 )m [bm + bm1 (z z0 ) + + b1 (z z0 )m1 + a0 (z z0 )m + a1 (z z0 )m+1 + ] avec bm = 0 ; introduisant alors F (z) = (z z0 )m f (z) on obtient pour F (z) la fonction entre crochets dans lquation prcdente, do` immdiatement e e e u e Res(f,z0 ) = b1 = F (m1) (z0 ) . (m 1)! (4.11)
4.3
De nombreuses intgrales peuvent se calculer tr`s aisment grce au thor`me des rsidus ; nous allons e e e a e e e le montrer ici pour trois types assez gnraux dintgrales. e e e
+
4.3.1
Intgrales du type e
f (x) dx
Considrons une fonction f holomorphe dans e U = {z tels que Imz > c0 } {z1 , ,zp } avec c0 > 0, les zk supposs de partie imaginaire strictement positive tant des points singuliers de f . e e Supposons de plus que lim |zf (z)| = 0 . (4.12)
|z| + Alors pour R > 0, si R est le demi-cercle de centre zro et de rayon R, on obtient e
f (z) dz =
+ R
donc2
+ R
f (z) dz 0 quand R + .
(4.13)
y R
z1 z2 -R
2 Ce
z3
R x
50
Dautre part pour R susamment grand le demi-disque ayant pour fronti`re la runion du segment [R,R] e e + de laxe rel et R contient tous les points zk . Dapr`s le thor`me des rsidus 4.2 on a donc pour lintgrale e e e e e e de f le long de la fronti`re de ce demi-disque : e
R p
f (x) dx +
R
+ R
f (z) dz = 2i
k=1
Res(f,zk ) .
On en dduit la convergence de lintgrale de f sur R en valeur principale ( vp ), cest-`-dire en e e a 3 utilisant un intervalle dintgration symtrique , et sa valeur : e e
+ R p
vp
f (x) dx =
R+
lim
f (x) dx = 2i
R k=1
Res(f,zk ) .
(4.14)
Exemple : f (z) = 1/(1 + z 2n ) avec n entier strictement positif vrie bien |zf (z)| 0 quand |z| . e 2 Cette fonction tant continue sur R, dcroissant au moins en 1/z a linni, on peut armer que lintgrale e e ` e gnralise de f sur R est bien dnie. Les ples de f sont les racines de z 2n = 1 i.e. z n = i = exp(i ) e e e e o 2 soient 2ik exp zk = exp i 2n n pour 0 k n 1. Commenons par traiter le cas n pair soit n = 2p. Les ples de partie imaginaire c o + positive sont alors les zk pour 0 k p 1 et les zk pour 1 k p. La formule (4.10) donnant en gnral e e
Res(f,zk ) = on obtient, avec = exp(i 2n ),
z 1 = k 2n 2n(zk )2n1
1 2i
f (x) dx
1 2n 2n
p1
4k +
k=0
4k
k=1
p1
= = = =
4k (1 + 2 )
k=0
Dans le cas n impair, le lecteur intress montrera que lon aboutit en fait au mme rsultat, do` pour e e e e u nN + dx = . 1 + x2n n sin 2n
+
4.3.2
Intgrales du type e
f (x) exp(iqx) dx
De telles intgrales dites de Fourier se rencontrent communment lors du calcul des transformes du e e e mme nom. Distinguons deux cas selon la nature des points singuliers z 1 , ,zp de f , suppose holomorphe e e dans C {z1 , ,zp } .
3 Rappelons
que si une intgrale gnralise converge, alors elle converge en valeur principale. Par contre une intgrale peut e e e e e converger en valeur principale sans que lintgrale gnralise correspondante converge. e e e e
4.3. Application au calcul dintgrales e Premier cas : pas de point singulier sur laxe rel, i.e. k, Imzk = 0. e Alors il sut de supposer
|z|
51
lim f (z) = 0
(4.15)
f (x) exp(iqx) dx
(4.16)
d`s que q = 0. En eet pour q > 0 par exemple, en utilisant un contour form du segment [R,R] de laxe e e + rel et du demi-cercle R de centre zro et de rayon R, on obtient dapr`s le thor`me des rsidus pour R e e e e e e susamment grand
R
f (x) exp(iqx) dx = 2i
R Imzk >0
f (z) exp(iqz) dz .
+ R
(4.17)
sup |f (z)|
exp(qR sin ) R d
0
o` lintgrale qui appara est borne, puisque lingalit sin 2/ valable pour [0,/2] donne u e t e e e
2 2
exp(qR sin ) R d = 2R
0 0
exp
2qR
d =
1 eqR . q
f (z) exp(iqz) dz = 0
R
ce qui entraine dapr`s (4.17) la convergence de lintgrale dnissant f (q) pour q > 0, qui vaut alors e e e f (q) = 2i
Imzk >0
(4.18)
Pour q < 0 un calcul identique peut tre men en utilisant maintenant un demi-cercle du demi-plan infrieur : e e e
y -R z4 z5 R R x
On obtient alors
R R
f (x) exp(iqx) dx = 2i
f (z) exp(iqz) dz
+ R
o` la deuxi`me intgrale tend vers zro ; ainsi f (q) existe pour q < 0 et vaut alors u e e e f (q) = 2i Res(f (z) exp(iqz),zk ) .
Imzk <0
(4.19)
Pour q = 0, par contre, le facteur exponentiel dcroissant pour Imz disparait, et on est ramen a e e` une intgrale du type vu dans la section prcdente ; il faut donc supposer (4.12) e e e
|z|
52
Deuxi`me cas : il existe un point singulier sur laxe rel, par exemple z1 = 0, suppos ple simple de f . e e e o Pour q > 0 on applique alors le thor`me des rsidus a un contour form des segments [R, r] et [r,R] e e e ` e + de laxe rel, mis bout a bout avec deux demi-cercles r et R de centre zro et de rayon r susamment e ` e petit et R susamment grand :
r R
f (x) exp(iqx) dx +
R r
2i
Imzk >0
(4.20)
R
z2
r
z3 0 r R x
-R
-r
Supposant toujours (4.15), on obtient comme dans le premier cas lim f (z) exp(iqz) dz = 0 .
+ R
Lintgrale lie a r se traite quant a elle via un paramtrage polaire, qui donne e e ` ` e
f (z) exp(iqz) dz = ir
La contribution de la partie rguli`re f1 de f tend videmment vers zro quant r tend vers zro. Celle de la e e e e e partie singuli`re f2 de f scrit dapr`s lhypoth`se de ple simple : e e e e o
f2 (z) exp(iqz) dz = ir
Comme sur lintervalle [0,] la fonction exp(qr sin + iqr cos ) converge uniformment vers 1 lorsque r e tend vers zro, il vient e
r0
lim
d = ib1 = iRes(f,0) .
lim
f (x) exp(iqx) dx +
R r
f (x) exp(iqx) dx
(4.21)
En utilisant maintenant des demi-cercles du demi-plan infrieur, on montre facilement que, pour q < 0, e f (q) peut aussi tre dni et vaut e e f (q) = i Res(f,0) 2i Res(f (z) exp(iqz),zk ) .
Imzk <0
(4.22)
53
Enn pour q = 0 on est oblig de faire lhypoth`se plus forte (4.12) pour obtenir la convergence des e e contributions du demi cercle a linni ; on obtient alors lexistence de f (0), sa valeur tant donne par deux ` e e formules qui doivent tre quivalentes : e e f (0) = = i Res(f,0) + 2i
Imzk >0
Res(f,zk ) Res(f,zk ) .
Imzk <0
i Res(f,0) 2i
(4.23)
La raison qui pourrait para mystrieuse de cette double galit sera claircie par le thor`me des rsidus tre e e e e e e e avec point a linni que nous verrons section 4.4. ` Exemple 1 : f (z) = 1/(z 2 + 1) = 1/(z i)(z + i) est holomorphe sur C {i,i} et vrie (4.12) donc e a fortiori (4.15). Ses deux ples tant imaginaires purs, on se trouve dans le premier cas do` pour q > 0, o e u dapr`s (4.18), et en utilisant la formule (4.10) pour calculer un rsidu en un ple simple, e e o exp(iqz) f (q) = 2i Res ,i z2 + 1 Pour q < 0 la formule (4.19) donne de mme e exp(iqz) ,i f (q) = 2i Res z2 + 1 = exp(q) . = exp(q) .
En sassurant que le cas q = 0 est non singulier, on obtient nalement pour tout q rel e
+
Notez que lon a omis le vp devant lintgrale car il sagit dune intgrale gnralise convergente. e e e e e Exemple 2 : f (z) = 1/z est holomorphe sur C et vrie (4.15). Comme elle prsente un ple simple en e e o zro, on se trouve dans le deuxi`me cas. La formule (4.21) pour q = 1 donne alors e e f (1) = vp
+
exp(ix) dx = i Res(f,0) = i , x
vp
sin x dx = . x
Cest un exercice classique mais non trivial que de dmontrer que cette intgrale gnralise converge, ce e e e e e qui permet l` encore domettre le vp . a
2
4.3.3
Intgrales du type e
0
F (cos , sin ) d
De telles intgrales apparaissent lors du calcul des sries de Fourier de fonctions priodiques. Lide est e e e e + dinverser le paramtrage polaire du cercle unit cach dans lcriture dune telle intgrale. Pour cela on e e e e e pose z = exp(i), ce qui implique dz = iz d, et on introduit f (z) = z + z 1 z z 1 1 F , iz 2 2i (4.24)
suppose holomorphe sur U contenant le cercle unit, sauf en un nombre ni de points singuliers z 1 , ,zp e e que lon suppose tous de module strictement infrieur a 1. On obtient alors e `
2 p
F (cos , sin ) d =
0 +
f (z) dz = 2i
k=1
Res(f,zk ) .
(4.25)
exp(cos ) cos(sin ) d ,
qui est bien dnie car la fonction intgre est continue, on introduit lintgrale complexe e e e e
2 2
Ic =
0
exp(ei ) d
dont I est la partie relle. On a alors f (z) = (exp z)/(iz) do` e u Ic = 2i Res(f,0) = 2 = I .
4.4
La surprenante galit (4.23), valable lorsque zf (z) tend vers 0 pour |z| tendant vers linni, nest en e e fait quun cas particulier dune galit plus gnrale. Celle-ci peut tre introduite pour toute fonction f e e e e e holomorphe sur C sauf en un nombre ni de points singuliers z1 , ,zp . Ainsi f est holomorphe sur la couronne C = {z tels que |z| > sup |zk | } ,
k
an z n
avec
an =
1 2i
z n1 f (z) dz ,
+
(4.26)
+ tant un circuit de C homotope au cercle |z| = supk |zk | + 1. Dans ce dveloppement en srie de Laurent e e e au voisinage de linni, on dsigne le coecient de 1/z comme le rsidu de f a linni, e e ` Res(f,) = a1 . (4.27)
f (z) dz = 2i Res(f,)
+
(4.28)
f (z) dz = 2i
+ k=1
Res(f,zk ) ,
Res(f,zk ) = Res(f,)
k=1
(4.29)
Dans le cas o` zf (z) tend vers 0 quand |z| tend vers linni, le calcul eectu pour dmontrer (4.13) u e e prouve que f (z) dz = 0 = Res(f,)
+
4 Se
convaincre que lon peut sans probl`me avoir r2 = + dans le thor`me 4.1 !... Puis appliquer la rcriture (4.6). e e e e
55
do` u
k=1
Remarque culturelle : certains auteurs prf`rent dnir un rsidu de f a linni Res (f,) par une ee e e ` analogie directe avec (4.9) en considrant que cest plutt le circuit qui entoure le point a linni en le e o ` laissant dans son intrieur cest-`-dire a sa gauche . Ils posent donc e a ` Res (f,) = 1 2i f (z)dz = Res(f,) .
4.5
Exercices et probl`mes e
Exercice 4.1 Retour sur le thor`me de dveloppement en srie de Taylor e e e e 1 Soit une fonction f holomorphe dans un ouvert U de fronti`re U non vide et constitue exclusivement e e de points au voisinage desquels f est non borne (par exemple des singularits isoles non articielles de f ). e e e Montrez que si z0 U , le rayon de convergence du dveloppement en srie de Taylor de f autour de z 0 est e e R = d(z0 ,U ). 2 Quel est le rayon R du plus grand disque centr sur 0 dans lequel la fonction e f (z) = tanh z peut se dvelopper en srie de Taylor ? Vous ne chercherez pas a calculer explicitement les coecients de ce e e ` dveloppement5 ... e
Exercice 4.2 Dveloppements en sries de Laurent e e 1 . Dans les couronnes suivantes, dveloppez f en sries de Laurent autour du point e e z(z 1) central de la couronne : 1 Soit f (z) = 1.b Cb = {z C tels que 0 < |z 1| < 1} , 1.c Cc = {z C tels que 1 < |z| < +} , 2 Dveloppez f (z) = e prcisera. e 1.d Cd = {z C tels que 1 < |z 1| < +} . 1 en sries de Laurent autour de i, dans une couronne contenant 0 que lon e (z 2 + 1)2 1.a Ca = {z C tels que 0 < |z| < 1} ,
an (z z0 )n ,
g(z) =
n=
bn (z z0 )n
deux sries de Laurent dans une couronne {z C tels que r1 < |z z0 | < r2 }. Montrez que dans cette e couronne
+ + +
f (z)g(z) =
n=
cn (zz0 )n avec cn =
m=
am bnm =
m=
Indication : utilisez les expressions intgrales (4.6) des coecients de ces sries de Laurent. e e
5 Ce
56
Exercice 4.4 Dveloppements en sries de Laurent grce aux nombres de Bernoulli e e a z 1 Montrez en considrant g(z) = f (z) + et en tudiant sa parit que, sur un domaine de C que lon e e e 2 prcisera, e + z z B2n 2n =1 + z . f (z) = z e 1 2 n=1 (2n)! 2 An de dmontrer que les B2n sont des nombres rationnels (nombres de Bernoulli ), on note provisoie rement + Bn n f (z) = z n! n=0 avec B0 = 1, B1 = 1/2, B2n+1 = 0 pour n > 0 ; en utilisant lidentit e lexercice 4.3, obtenez une relation de rcurrence sur les Bn . Concluez. e ez 1 f (z) = 1 et les rsultats de e z
3 En exprimant cotanz = cos z/ sin z en fonction de f (z), donnez le dveloppement de cotanz en sries de e e Laurent dans une couronne centre sur zro que lon prcisera. e e e 4 Pour z = n/2 o` n Z, montrez que tan z = cotanz 2cotan2z. Dduisez-en le dveloppement en srie u e e e de Taylor de tan z autour de zro dans un disque que vous prciserez. e e
Exercice 4.5 Fonctions holomorphes relies par une ingalit sur leur module e e e Soient f et g deux fonctions holomorphes dans le plan C tout entier telles que z C , |f (z)| |g(z)| .
Montrez quil exite un nombre complexe de module infrieur ou gal a 1 tel que e e ` z C , f (z) = g(z) .
Indication : considrez h(z) = f (z)/g(z) ; dans le cas o` g admet des zros, tudiez le type des singularits e u e e e associes de h. e
Exercice 4.6 Singularits essentielles e 1 Si f et g sont des fonctions holomorphes (non identiquement nulles) sur U montrez que h(z) = f (z)/g(z) ne peut admettre de singularit essentielle sur U . e 2 Soit f une fonction holomorphe sur U priv dun point z0 singularit essentielle de f . Montrez que lorsque e e z tend vers z0 , f (z) peut tre rendu arbitrairement voisin de nimporte quel nombre complexe a. e Indication : considrez 1/(f (z) a). e Exercice 4.7 Calcul dintgrales grce au thor`me des rsidus e a e e e
+
(x2
2
+
(x2
cos x dx . 1 + x4
57
4
0 +
1 eiz 1 cos x dx en considrant f (z) = e et en utilisant un circuit avec deux demi-cercles, lun 2 x z2 de rayon r petit pour viter lorigine, lautre de rayon R grand pour aller a linni. e `
+
6
0
y R r
+
On tudiera les limites r 0, 0 et R +, e et on utilisera la dtermination du logarithme e dnie par arg z [0,2[. e
7
0 2
sin 7 d . [examen 19992000] 2 + sin d pour a > b > 0. a + b sin sin2 d pour a complexe de module dirent de zro ou un. e e 1 2a cos + a2
8
0 2
9
0
Indications gnrales : on vitera dans un premier temps les questions 5 et 6 ; les autres intgrales se e e e e calculent par des applications directes du cours. Dautre part on acclrera les calculs de certaines intgrales ee e trigonomtriques relles - et, mieux, on vitera de faire des calculs faux !... - en les reconnaissant comme e e e la partie relle ou la partie imaginaire dune intgrale complexe plus simple. Par exemple, question 3, e e
+
cos x dx = 1 + x4
exp(ix) dx . 1 + x4
Exercice 4.8 Etude dune intgrale dpendant de deux param`tres [test 2003 2004] e e e 1 Justiez pour rel strictement positif et rel quelconque la convergence de lintgrale gnralise e e e e e e
+
I(,) =
cos(t) dt . 1 + 22 t2 + 4 t4
2 Par un changement de variable adquat, montrez que lon dduire cette intgrale dpendant de deux e e e e param`tres dune intgrale J() dpendant dun seul param`tre que vous prciserez. e e e e e 3 Calculez J() grce a lanalyse complexe. a ` Indication : vous aurez intrt a faire intervenir la fonction analytique enti`re vedette . ee ` e 4 Dduisez-en I(,) pour rel strictement positif et rel quelconque. e e e 5 Vriez lhomognit du rsultat obtenu, en assimilant naturellement t a un temps. e e e e e ` 6 Que constatez vous lorsque || + ? Pouvez-vous expliquer intuitivement ce phnom`ne ? e e
58
Probl`me 4.1 Intgrale comptant les zros et les ples - Thor`me de Rouch e e e o e e e 1 Soit f holomorphe sur U simplement connexe, nadmettant quun nombre ni de zros u 1 , , up dordre e de multiplicit respectif n1 , , np . Montrez que si + est un circuit de U ne passant par aucun des uk , e alors f (z) 1 dz 2i + f (z) compte le nombre de zros de f intrieurs a + avec leur multiplicit. e e ` e 2 Si maintenant f admet aussi des ples v1 , , vq dordre respectif m1 , , mq , montrez que pour + o circuit de U ne passant par aucun des uk , vk , 1 2i f (z) dz f (z)
est la dirence entre le nombre de zros de f intrieurs a + et le nombre de ples de f intrieurs a + e e e ` o e ` compts chacun avec leur ordre. e 3 Soient f et g deux fonctions holomorphes sur U simplement connexe ne possdant chacune quun nombre e + ni de zros simples. On suppose que le long dun circuit de U on a e |f (z) g(z)| < |g(z)| . Montrez que f et g ont le mme nombre de zros dans lintrieur de + (thor`me de Rouch ). e e e e e e Indication : considrez h = f /g. e
4.5. Exercices et probl`mes e Probl`me 4.2 Fonctions de Bessel [examen 1999 2000] e 1 Pour u complexe x, prcisez le domaine dholomorphie de la fonction e e z fu (z) = exp 1 u z 2 z .
59
fu (z) =
n=
Jn (u)z n ?
Dans quel domaine de valeurs de z ce dveloppement converge til ? Donnez une expression intgrale de e e Jn (u) (fonction de Bessel dordre n) utilisant un circuit + , en prcisant les hypoth`ses a vrier sur e e ` e ce circuit. 3.a En partant de lexpression intgrale prcdente montrez que, pour u C, e e e
+
Jn (u) =
k=0
1 2i
z nk1 exp
+
uz dz . 2
3.b En utilisant une formule dcoulant de la formule intgrale de Cauchy, calculez, pour un circuit + e e vriant les conditions donnes en 2, et pour un entier n quelconque, e e In (u) = 1 2i z n1 exp(uz)dz .
+
3.c Dduisez-en Jn (u) sous forme dune srie enti`re explicite. e e e 3.d Dterminez en fonction de n N la relation entre Jn (u) et Jn (u). e 4.a En partant toujours de lexpression intgrale gnrale de Jn (u), et en utilisant un contour + particulier, e e e montrez que, pour n Z, u C, Jn (u) = 4.b Montrez que, pour n Z, u C, 4.c Montrez que, pour n Z, u C, Jn (u) = 1 2
Jn (u) = Jn (u) . 1
0
5 En partant de lexpression trouve en 3.c, montrez que Jn (u) est solution dune quation direntielle de e e e 6 la forme J (u) (n) Jn (u) + n + 1 + 2 Jn (u) = 0 avec (n) = n2 . (4.30) u u
quations direntielles de la forme (4.30) interviennent naturellement lorsque lon sintresse a des probl`mes de e e e ` e diusion en symtrie cylindrique. Les solutions en rgime stationnaire par exemple apparaissent comme les fonctions g(r,,z) e e solutions de lquation de Laplace e 2g 1 g 1 2g 2g (g) = + + 2 + =0. 2 2 r r r r z 2 On recherche en gnral les solutions complexes de ce probl`me linaire sous la forme e e e e g(r,,z) = G(r) exp[i(m + qz)] o` m est un nombre donde azimuthale et q un vecteur donde axiale. Linjection dans lquation de Laplace donne alors u e ! m2 G (r) q 2 + 2 G(r) = 0 . G (r) + r r Le changement de variable u = iqr dans lquation (4.30) prise pour n = m montre que G(r) = J m (iqr) est solution. e
6 Les
Annexe A
Probl`mes corrigs e e
On donne ici les corrigs des probl`mes 3.2 et 3.3. Il est vivement conseill, apr`s avoir travaill le cours, e e e e e de chercher a rsoudre ces probl`mes seul (et longtemps !) avant de lire leur corrig... ` e e e Probl`me 3.2 Sur la fonction arcsinus e 1 Rappelez quel est louvert de dpart U de la dtermination principale du logarithme, et comment on peut e e lutiliser pour dnir la fonction racine carre e e . Quel est louvert de dpart U de cette fonction racine ? e
Dapr`s le cours U = C R , et la fonction racine carre peut tre dnie par e e e e p z U = U , z = z 1/2 = exp[(1/2) ln(z)] = |z| exp[(i/2) arg(z)] .
2 Dterminez lensemble des z complexes, soit U , tels que 1 z 2 soit dans le domaine de dnition U de e e cette fonction racine carre. e
On veut dterminer U e de sorte que zU soit par ngation que e zU 1 z 2 R 1 z 2 R . 1 z 2 = x (A.1) Explicitons les solutions de cette derni`re condition : e Au bilan (A.1) montre que U = C ` ] , 1] [1, + [ . (A.2) x R+ tel que tel que tel que 1 z 2 U = C R
x R+
x R+
z2 = 1 + x z = 1+x
z ] , 1] [1, + [ .
Indications : montrez dans un premier temps que si iz + 1 z 2 nest pas dans U , alors z est de la forme iy avec y R ; dduisez en quon ne peut avoir, pour z U , iz + 1 z 2 hors de U . e
Soit z U . Supposons que iz + 1 z 2 nest pas dans U , et montrons que lon aboutit ainsi a une contra` diction. Comme U = C R , iz + 1 z 2 nest pas dans U si et seulement si p p x R+ tel que iz + 1 z 2 = x x + iz = 1 z 2 = x2 z 2 + 2ixz = 1 z 2 z = i(x2 1)/(2x) ,
1 z 2 est dans U .
62
4 Justiez le fait de pouvoir dnir une fonction g holomorphe de U dans C par e g(z) = i ln iz + 1 z2 .
Si z U , dapr`s le rsultat de la question 2, 1 z 2 est dans le domaine de dnition de la fonction racine e e e e carre, et, dapr`s le rsultat de la question 3, iz + 1 z 2 est dans le domaine de dnition de la fonction e e e logarithme. Par composition, la fonction g(z) = i ln(iz + 1 z 2 ) est bien dnie et holomorphe sur U . e
5 Simpliez, pour z U , lexpression de sin g(z), et dduisez du rsultat obtenu quil est lgitime de noter e e e z U , g(z) = arcsin(z) .
Pour z U , simplions sin g(z) = = = Il vient que z U , sin g(z) = z . (A.3) Il est donc lgitime de dsigner g comme une fonction arcsinus, et de noter e e z U , p arcsin z = i ln iz + 1 z 2 . (A.4) (1/2i){exp[ig(z)] exp[ig(z)]} o n p p (1/2i) iz + 1 z 2 1/ iz + 1 z 2 o n p p (1/2i) z 2 + 1 z 2 + 2iz 1 z 2 1 / iz + 1 z 2 .
7.a Reprsentez graphiquement U . Quelle est son intersection W avec laxe des rels ? e e
Louvert U dni par (A.2) est la zone blanche de la gure A.1gauche (son complmentaire est reprsent en e e e e rouge) ; videmment e W = U R = ] 1,1[ .
63
1.5
0.5
-1
-1
-0.5 -0.5
0.5
-1
-1.5
Fig. A.1 Gauche : louvert U de dnition de la fonction arcsinus est le plan priv des deux demi-droites e e paisses reprsentes. Droite : graphe de la fonction arcsinus restreinte a W = U R =] 1,1[. e e e `
Probl`me 3.3 Sur la fonction arctangente et le calcul de e 1 Dterminez le domaine dholomorphie U de f (z) = tan z. e
La fonction f (z) = tan z = sin z/ cos z, quotient de deux fonctions holomorphes sur C, est holomorphe dapr`s e le cours sur C priv des zros de son dnominateur. Or, pour z C, e e e cos z = 0 exp(iz) = exp(iz) exp(2iz) = 1 2iz = i + 2in z=
+ n 2
2.a Tentez de rsoudre lquation tan z = w pour z inconnu dans U et w donn dans C. Dterminez ainsi e e e e f (U ).
En posant X = exp(iz) il vient tan z = w 1 X X 1 =w i X + X 1 X 2 1 = iw(X 2 + 1) (1 iw)X 2 = 1 + iw .
Si iw = 1 il vient 0 = 2 ce qui nest pas, donc w = i na pas dantcdent par f . Si w = i il vient e e X 2 = exp(2iz) = 1 + iw 1 iw
en utilisant une dtermination du logarithme dont la coupure vite un voisinage de (1 + iw)/(1 iw). Au bilan e e w a au moins un antcdent par f si w = i. Ceci signie que f (U ) = C {i}. e e
2.b En revenant sur ce calcul, rsolvez en gnral lquation f (z) = f (z ) pour z et z dans U . e e e e
De ce qui prc`de on dduit que, pour z et z dans U , e e e f (z) = f (z ) exp(2iz) = exp(2iz ) 2iz 2iz = 2in z z = n
64
2.c Dnissez un sous-domaine ouvert U0 de U le plus grand possible, qui soit de forme simple et symtrique, e e qui contienne 0, et tel que la restriction de f a U0 soit injective. `
f sera injective sur un sous-domaine U0 de U ssi U0 ne contient aucun segment horizontal (i.e. parall`le a laxe e ` des rels) de longueur suprieure ou gale a . Le plus grand sous-domaine de forme simple et symtrique qui e e e ` e vrie cette condition et contient 0 est la bande e U0 = {x + iy avec /2 < x < /2 et y R} .
2.e Dduisez de ce qui prc`de lensemble des points w qui constituent f (U 0 ), et dessinez cet ensemble. e e e
Dapr`s 2.a on a, pour z quelconque dans U0 et w quelconque dans C {i}, e f (z) = w g(z) = 1 + iw . 1 iw 1+x . 1x
Donc w sera lment de f (U0 ) ssi (1 + iw)/(1 iw) ne se trouve pas sur R , i.e. ee x R+ , 1 + iw = x 1 iw w=i
Une tude de la fonction h qui a x R+ associe (1 + x)/(1 x) montre que h(R+ ) = ] , 1[ ]1, + [, e ` donc, compte tenu dautre part de ce que, depuis le dbut, w = i, il vient e f (U0 ) = C {iy avec y ] , 1] [1, + [} , i.e. f (U0 ) est le plan complexe priv des demi-droites paisses ci-apr`s : e e e
4
i wi 0
-i
-2
-4 -4 -2
wr
2.f Donnez une expression de la fonction f 1 = arctan sur f (U0 ) reposant sur lutilisation de la dtermie nation principale du logarithme.
Si w f (U0 ) on vient de voir que (1 + iw)/(1 iw) est dans la coupure C R qui est justement le domaine dholomorphie de la dtermination principale du logarithme. On peut donc rsoudre tan z = w i.e. e e exp(2iz) = 1 + iw 1 iw
sous la forme pressentie en 2.a, mais maintenant clairement valable sur tout f (U0 ), selon 1 + iw 1 ln 2i 1 iw
z = arctan w =
(A.6)
65
3.a Calculez, par la mthode de votre choix, la drive par rapport a w de la fonction arctan(w) dnie en e e e ` e 2.f.
Premi`re mthode : en partant de lexpression (A.6), on obtient, pour w f (U0 ), e e i i 1 1 + = . arctan w = 2i 1 + iw 1 iw 1 + w2 Deuxi`me mthode : on applique la formule du cours donnant la drive de la rciproque dune fonction : e e e e e ` si w = f (z). Ici f (z) = m`ne a e ` arctan w = 1 1 + w2 . (A.7) cos2 z + sin2 z d sin z = = 1 + tan2 z dz cos z cos2 z f 1 (w) = 1/f (z)
3.b Donnez un dveloppement en srie de Taylor en 0 de arctan (w). Quel est le rayon de convergence de e e ce dveloppement ? e
On reconna une srie gomtrique de w 2 : dans le disque unit du plan des w, soit D(0,1), on a t e e e e arctan w =
+ X
(w2 )n .
n=0
3.c Dduisez-en le dveloppement en srie de Taylor en 0 de arctan(w). Quel est son rayon de convergence ? e e e
Par intgration terme a terme il vient, compte tenu de ce que arctan 0 = 0, e `
+ X
w D(0,1),
arctan w =
(1)n
n=0
w2n+1 2n + 1
(A.8)
Commentaire : au vu du domaine f (U0 ) et de lexistence de singularits de arctan en i, on comprend bien e la valeur 1 du rayon de convergence.
4 En utilisant les formules trigonomtriques tablies section 3.4.4, montrez la validit de la formule de e e e Machin, /4 = 4 arctan(1/5) arctan(1/239) . (M)
Nous allons procder par quivalence. Comme les deux membres de cette formule sont des nombres infrieurs e e e a /2, donc des lments de U0 sur lequel tan est injective, ` ee 1 1 + arctan (M) tan = tan 4 arctan . 4 239 5 En utilisant les formules (3.52) et (3.53) on obtient (M) 1 + 1/239 1 1/52 4 = 1 1/239 5 1 6/52 + 1/54 240 24 = 20 238 476 120 120 = . 119 119
66
5 Proposez un algorithme permettant un calcul ecace de a partir doprations arithmtiques lmen` e e ee taires. Explicitez cet algorithme en crivant un programme dans un langage informatique de votre choix, e que vous prciserez bien entendu. e
La formule de Machin combine au rsultat de 3.c permet de donner comme la somme dune srie numrique : e e e e + X (1)n 4 1 1 1 = 16 arctan 4 arctan = 4 . 5 239 2n + 1 52n+1 2392n+1 n=0 Pour calculer ecacement a partir de cette srie on stockera les valeurs des puissances successives de ` e 1/52 = 1/25 et 1/2392 = 1/57121 dans deux variables ottantes. Un programme Mathematica (langage proche du C++ pour ce qui nous intresse ici) implantant cet algorithme est le suivant : e p5= 1/5.; p239= 1/239.; pi= 4 (4 p5-p239); Do[ p5*= 1/25; p239*= 1/57121; pi+= 4 (-1)^n/(2 n+1) (4 p5-p239); Print["n= ",n," -> pi= ",pi," <-> |pi-Pi|= ",Abs[pi-Pi]] ,{n,6}] On constate quen 6 itrations on a approxim a mieux que 1010 pr`s. e e ` e
Commentaire historique : John Machin (1680-1752), mathmaticien anglais, utilisa cette formule pour e calculer les 100 premi`res dcimales de . Belle performance en eet pour ce calcul a la main pour lequel il e e ` faut quand mme sommer jusqu` des valeurs de n pour lesquelles e a 52n+1 10100 i.e. n 50 ln 10/ ln 5 72 !...
Complment graphique : on peut dduire dune tude de fonction le graphe de la fonction arctangente e e e restreinte a R, qui prsente bien entendu des asymptotes horizontales en /2 approches lorsque largument ` e e tend vers :
arctanx
1.5 1 0.5 -10 -5 -0.5 -1 -1.5 5 10 x
Bibliographie
Antoine, X. 2006 Mathmatiques pour lIngnieur - S1 . Cours ENSEM 1A. e e Chaterji, S. D. 1997 Cours dAnalyse 2 - Analyse complexe. Lausanne : Presses polytechniques et universitaires romandes. Iung, C. 2004 Rgulation. Cours ENSEM 1A. e Remmert, R. 1991 Theory of Complex Functions. Springer-Verlag. Valiron, G. 1966 Thorie des fonctions. Masson. e
...que vous pouvez vous aussi utiliser, car il est portable et gratuit. Pour en savoir plus reportez vous par exemple a ` www.ensem.inpl-nancy.fr/Emmanuel.Plaut/latex