Interprtation gomtrique de la drive complexe

Essaidi Ali Jeudi 16 Mai 2013

Soit U un ouvert non vide de C et f : U C. On identie C au plan R2 muni de la base canonique (e1 , e2 ).

Interprtation gomtrique de largument de la drive complexe :

Soit I un intervalle non vide de R et : I U de classe C 1 sur I . Soit t0 I . On pose z0 = (t0 ) et on suppose que f est drivable en z0 . Si (t0 ) = 0 alors la tangente en z0 la courbe dquation z = (t) existe et est drige par le vecteur u dafxe (t0 ). Si, en plus, f (z0 ) = 0 alors la tangente en f (z0 ) la courbe f () existe et est drige par le vecteur v dafxe (f ) (t0 ) = f ( (t0 )) (t0 ) = f (z0 ) (t0 ). On a (u, v ) Arg(f (z0 ) (t0 )) Arg( (t0 ))[2 ] Arg(f (z0 )) + Arg( (t0 )) Arg( (t0 ))[2 ] Arg(f (z0 ))[2 ].

CPGE Laayoune

https ://www.facebook.com/mathlaayoune

Essaidi Ali

On dduit que largument de f (z0 ) est exactement langle entre les deux vecteurs u et v directeurs, respectivement, des tangentes en z0 et f (z0 ) et f ().

Principe de conservation des angles :

Soit I un intervalle non vide de R et 1 , 2 : I U de classe C 1 sur I . On suppose que les courbes 1 et 2 dquations respectives z = 1 (t) et z = 2 (t) se rencontrent en un point z0 U . Il existe alors t1 , t2 I tels que z0 = 1 (t1 ) = 2 (t2 ). On suppose que 1 (t1 ) = 0, 2 (t2 ) = 0 et f (z0 ) = 0 donc : La tangente en z0 la courbe 1 existe et est drige par le vecteur u1 dafxe 1 (t0 ). La tangente en z0 la courbe 2 existe et est drige par le vecteur u2 dafxe 2 (t0 ). La tangente en f (z0 ) la courbe f (1 ) existe et est drige par le vecteur v1 dafxe (f 1 ) (t1 ) = f (1 (t1 ))1 (t1 ) = f (z0 )1 (t1 ). La tangente en f (z0 ) la courbe f (2 ) existe et est drige par le vecteur v2 dafxe (f 1 ) (t2 ) = f (1 (t2 ))1 (t2 ) = f (z0 )1 (t2 ). Daprs linterprtation de largument de f (z0 ), (u1 , v1 ) (u2 , v2 )[2 ] Arg(f (z0 ))[2 ]. Donc, daprs Chasles, (v1 , v2 ) (v1 , u1 ) + (u1 , u2 ) + (u2 , v2 )[2 ] (u1 , v1 ) + (u1 , u2 ) + (u2 , v2 )[2 ] (u1 , u2 )[2 ].

Langle entre 1 et 2 en z0 est la mme que celle entre f (1 ) et f (2 ) en f (z0 ). On dit quil y a conservation des angles en z0 . Remarques : www.mathlaayoune.webs.com 2/5 mathlaayoune@gmail.com

CPGE Laayoune

https ://www.facebook.com/mathlaayoune

Essaidi Ali

Le rsultat est faux si f (z0 ) = 0. En effet, pour f (z ) = z 2 et z0 = 0, les axes R et iR sont perpendiculaires en 0 alors que leurs images ne le sont pas car f (R) = f (iR) = R. On suppose que f (z0 ) = 0. Lorsque les courbes 1 et 2 sont perpendiculares en z0 il en est de mme pour f (1 ) et f (2 ) en f (z0 ). On dit quil y a conservation dorthogonalit. Exemple 01 : Images dun carr par une famille de fonctions holomorphes :

On voit que, mme aprs dformation du carr par les diffrentes fonctions holomorphes, on obtient toujours une courbe avec quatre angles droits. Exemple 02 : Images dune grille par une famille de fonctions holomorphes :

On obtient, chaque fois, une famille de courbes perpendiculaires aux points de rencontre.

Les lignes de niveau ef = et mf = :

ef (x + iy ) et

On pose V = {(x, y ) R2 /x + iy U }, P : (x, y ) V Q : (x, y ) V mf (x + iy ). www.mathlaayoune.webs.com 3/5

mathlaayoune@gmail.com

CPGE Laayoune

https ://www.facebook.com/mathlaayoune

Essaidi Ali

Donc z U de forme algbrique z = x + iy on a f (z ) = P (x, y ) + iQ(x, y ). Soient , R et on suppose que les courbes dquations P (x, y ) = et Q(x, y ) = se rencontrent en un point (x0 , y0 ) V et f drivable en z0 = x0 + iy0 avec f (z0 ) = 0. P P P On a f (z0 ) = P x (x0 , y0 )i y (x0 , y0 ) = 0 donc gradP (x0 , y0 ) = x (x0 , y0 ), y (x0 , y0 ) = (0, 0). Le vecteur gradP (x0 , y0 ) est alors directeur de la normale la courbe dquation P (x, y ) = en (x0 , y0 ). On a f (z0 ) =
Q Q y (x0 , y0 )+i x (x0 , y0 )

= 0 donc gradQ(x0 , y0 ) =

Q Q x (x0 , y0 ), y (x0 , y0 )

(0, 0). Le vecteur gradQ(x0 , y0 ) est alors directeur de la normale la courbe dquation Q(x, y ) = en (x0 , y0 ). On a, daprs les conditions de Cauchy-Riemann, gradQ(x0 , y0 ) =
Q Q x (x0 , y0 ), y (x0 , y0 )

P P y (x0 , y0 ), x (x0 , y0 ) donc < gradP (x0 , y0 ), gradQ(x0 , y0 ) >= 0. On dduit

que les vecteurs gradP (x0 , y0 ) et gradQ(x0 , y0 ) sont orthogonaux et par suite les courbes P (x, y ) = et Q(x, y ) = sont perpendiculaires en (x0 , y0 ).

Exemple : Lignes de niveau de la partie relle et la partie imaginaire dune famille de fonctions holomorphes :

www.mathlaayoune.webs.com

4/5

mathlaayoune@gmail.com

CPGE Laayoune

https ://www.facebook.com/mathlaayoune

Essaidi Ali

Lorthogonalit des courbes aux points de rencontre est claire.

www.mathlaayoune.webs.com

5/5

mathlaayoune@gmail.com