Universit Lille 1 UFR de Mathmatiques Licence de Mathmatiques (S5, anne 20052006) L305 : ANALYSE COMPLEXE

Responsable : Jean-Franois Burnol

FEUILLE DE TRAVAIL (1) 1

1.1 Montrer que la fonction f (z ) =
1 z

est holomorphe sur C \ {0} et vrie f (z ) = z12 .

1.2 Si f et g sont deux fonctions drivables au sens complexe au point z0 montrer que f + g , f g et f g le sont et donner la valeur de leurs drives au point z0 . 1.3 Faites de mme pour
f g

lorsque g (z0 ) = 0.

1.4 Montrer la formule pour la drive dune composition g f . 1.5 Soit f et g deux fonctions n-fois drivables au sens complexe sur un ouvert non vide U (remarque : daprs le cours il sut quelles soient drivables une fois sur U pour quelles le soient un nombre quelconque de fois). Montrer la formule de Leibniz gnralise :
n

z U

(f g )

(n)

(z ) =
j =0

n (j ) f (z )g (nj ) (z ) j

n n 1.6 On se donne deux sries entires f (z ) = n=0 an z et g (z ) = n=0 bn z de rayons de convergences R1 et R2 non nuls. En utilisant le thorme sur les sries doubles prouver n f (z )g (z ) = n=0 cn z pour |z | < R = min(R1 , R2 ) avec (formules dites de Cauchy) : n

n N Le rayon de convergence de la srie tre plus grand ?

cn =
j =0

aj bnj

n n=0 cn z

est-il toujours gal min(R1 , R2 ) ou peut-il

1.7 Retrouver le rsultat de lexercice prcdent de manire plus indirecte en montrant que les coecients cn = n j =0 aj bnj sont ceux de la srie de Taylor lorigine de la fonction holomorphe k (z ) = f (z )g (z ). 1.8 En quels points la fonction z z est-elle drivable au sens complexe, et/ou holomorphe ? Mme question pour les fonctions z x et z y . 1.9 Prouver quune fonction holomorphe sur un ouvert connexe dont la drive est identiquement nulle est constante. Et si louvert nest pas connexe ? 1.10 Sur un ouvert connexe U on se donne une fonction holomorphe f qui a la proprit de ne prendre que des valeurs relles. En utilisant les quations de Cauchy-Riemann, montrer que f est constante.

Licence de Mathmatiques (S5, troisime anne)

L305 Analyse Complexe

2
Ces exercices proposent une variante pour dvelopper la thorie de la fonction exponentielle. 2.1 On se donne une fonction f qui est drivable au sens complexe n + 1-fois sur le disque ouvert D(0, R) (on sait quune fois sut mais on ne va pas utiliser ce thorme dicile ici). Soit z D(0, R). En appliquant la formule de Taylor avec reste intgral de Lagrange la fonction de la variable relle t g (t) = f (tz ) pour 0 t 1, prouver : f (z ) = f (0) + f (0)z + f (n) (0) n f (2) (0) 2 z + + z + z n+1 2 n!
1 0

(1 u)n (n+1) f (uz ) du n!

2.2 (suite) On suppose que f est drivable au sens complexe une fois sur D(0, R) et vrie f = f et f (0) = 1. Montrer que f est inniment drivable au sens complexe. En utilisant lexercice prcdent montrer
n

f (z )
k=0

zk |z |n+1 ( sup |f (w)|) k! (n + 1)! |w||z |

zk k=0 k! .
k

et en dduire que pour tout z on a f (z ) =

z 2.3 Rciproquement on considre la fonction F (z ) = k=0 k! . Vrier que le rayon de convergence est inni. tablir par un calcul direct que F (0) existe et vaut 1. En utilisant le thorme sur les sries doubles, montrer F (z + w) = F (z )F (w). En dduire ensuite que F est holomorphe sur C et vrie F = F .

3
n 3.1 Soit n=0 an z une srie entire de rayon de convergence R. Est-il exact que pour |z | > R on a lim |an z n | = ?

3.2 Dterminer les sries de Taylor lorigine de

1 1 1 1 1z , (1z )2 , (1z )3 , (1z )4 .

3.3 Dterminer en tout z0 = 1 la srie de Taylor et son rayon de convergence pour la 1 fonction analytique z 1. 3.4 Dterminer en tout z0 = 1, 2 la srie de Taylor et son rayon de convergence pour la 1 fonction analytique (z 1)( z 2) . On aura intrt rduire en lments simples. De plus on demande dindiquer le rayon de convergence avant de dterminer explicitement la srie de Taylor. 3.5 Dterminer en tout point z0 o elle est dnie la srie de Taylor de la fonction On dterminera son rayon de convergence en fonction de z0 .
k

1 . z 3 1

2 3.6 On considre la srie entire k=0 z . Quel est son rayon de convergence ? On note f (z ) sa somme. Que vaut limt1 f (t) ? (on prend 0 < t < 1 ; minorer f par ses sommes partielles). Plus gnralement que vaut limt1 f (tw) (ici encore t est pris dans ]0, 1[), lorsque w vrie N une quation w2 = 1 ? En dduire quil est impossible de trouver un ouvert U connexe

Universit Lille 1

c JF Burnol, 20052006

intersectant D(0, 1) mais non inclus entirement dans D(0, 1) et une fonction holomorphe g (z ) sur U tels que g = f sur U D(0, 1). Pour tout z0 D(0, 1) dterminer alors le rayon de convergence de la srie de Taylor de f au point z0 . 3.7 Montrer que le rayon de convergence de chacune des sries concernes est 1 et prouver : 1. 2. 3.
n n=1 nz ne converge en aucun n z n=1 n2 converge en tout point zn n=1 n converge en tout point

point du cercle |z | = 1. du cercle |z | = 1. du cercle |z | = 1 sauf en z = 1.

Pour ce dernier cas on dnit S0 = 1, S1 = 1+ z , S2 = 1+ z + z 2 , . . .(on pose aussi S1 = 0). zn En crivant z n = Sn Sn1 exprimer N n=1 n en fonction des Sn . Montrer que les Sn sont bornes lorsque |z | = 1, z = 1. Conclure. 3.8 Montrer quun entier k 1 scrit de manire unique sous la forme 2n (2m + 1), n 0, m 0. Puis prouver pour |z | < 1 : z z z2 z2 + + + . n+1 + = 2 4 2 1z 1z 1z 1z On justiera les interversions de sries. Prouver aussi : 2z 2 2n z 2 z z + + + . n + = 2 2 1+z 1+z 1+z 1z
n n

4
Lorsque z est complexe les fonctions sin(z ), cos(z ), sh(z ) et ch(z ) sont dnies par les formules : eiz eiz 2i iz e + eiz cos(z ) = 2 sin(z ) = ez ez 2 z e + ez ch(z ) = 2 sh(z ) =

4.1 Montrer que cos et ch sont des fonctions paires et sin et sh des fonctions impaires et donner leurs reprsentations comme sries entires. Prouver eiz = cos(z )+ i sin(z ), sin(iz ) = i sh(z ), cos(iz ) = ch(z ), sh(iz ) = i sin(z ), ch(iz ) = cos(z ). 4.2 tablir les formules : cos(z + w) = cos(z ) cos(w) sin(z ) sin(w) sin(z + w) = sin(z ) cos(w) + cos(z ) sin(w) en crivant de deux manires direntes ei(z +w) . Donner une autre preuve en utilisant le principe du prolongement analytique et la validit (admise) des formules pour z et w rels. 4.3 Prouver pour tout z complexe cos( + z ) = cos(z ), sin( + z ) = sin(z ). Prouver cos( 2 z ) = sin(z ). 4.4 Prouver les formules cos2 z + sin2 z = 1 et ch2 z sh2 z = 1 pour tout z C.
Licence de Mathmatiques (S5, troisime anne) L305 Analyse Complexe

4.5 Montrer sin(a + ib) = sin(a) ch(b) + i cos(a) sh(b). Puis en prenant dornavant a et b rels, prouver : a, b R = | sin(a + ib)|2 = sin2 (a) + sh2 (b) Dterminer alors les nombres complexes z = a + ib tels que sin(z ) = 0. Donner une autre preuve. 4.6 Montrer a, b R = | cos(a + ib)|2 = cos2 (a) + sh2 (b) = ch2 (b) sin2 (a)

Dterminer les nombres complexes z avec cos(z ) = 0.

5
Les fonctions de Bessel sont trs importantes en Analyse. Elles apparaissent trs souvent dans des problmes de physique mathmatique. Lanalyse complexe permet dtudier de manire approfondie ces fonctions. Ici nous nous contentons des tout dbuts de la thorie. Nous ne considrons que les fonctions 1 J0 , J1 , J2 , . . ., qui sont dnies par les formules : 2

N, z C

J (z ) =
n=0

(1)n

2n+ (z 2) n!(n + )!

5.1 Montrer que le rayon de convergence de la srie dnissant J est +. 5.2 En drivant terme terme prouver les formules : (z J ) = z J 1 (z

( 1) ( 0)

J ) = z

J +1

En particulier on a (zJ1 ) = zJ0 et J0 = J1 .

d 5.3 Rcrire les quations prcdentes sous la forme (z dz + )J = zJ 1 ( 1) et d +1 d d (z dz )J = zJ +1 ( 0) et en dduire ( dz + z )( dz z )J = J , puis, aprs simplication, lquation direntielle de Bessel : z 2 J + zJ + (z 2 2 )J = 0

5.4 Pour cette question, je devrais vous guider par des indications mais il ny a plus la place sur cette page. Montrer pour tout N que la srie entire dnissant J est la seule ( une constante multiplicative prs) qui donne une solution de lquation direntielle de Bessel. 3
1. dites fonctions de Bessel de premire espce (et dindices entiers) . 2. Autrement dit : z z2 z4 z6 J (z ) = 1 + + ... 2.4. . . . .(2 ) 2.(2 + 2) 2.4.(2 + 2).(2 + 4) 2.4.6.(2 + 2).(2 + 4).(2 + 6) Remarquez que seule la constante 2.4. . . . .(2 ) = 2 ! nous restreint (pour le moment) des valeurs entires 1 de . Si on en fait abstraction on obtient avec = 2 la fonction z 1/2 cos(z ) tandis quavec = + 1 on 2 q q 1/2 2 2 obtient z sin(z ). Les dnitions exactes sont J1/2 (z ) = z cos(z ) et J1/2 (z ) = z sin(z ). 3. les autres solutions de lquation direntielle sont singulires en z = 0, avec une composante logaP P rithmique ( Z). Pour / Z il y a une solution en z ( k0 ck z k ) et une autre en z ( k0 dk z k ). Universit Lille 1 c JF Burnol, 20052006