Vous êtes sur la page 1sur 7

[ Table des matires]

Fonctions harmoniques dans R2


par Eric Van der Oord
professeur en classe de Spciales M au lyce Chateaubriand (Rennes) 1.Rsum tude lmentaire des fonctions harmoniques dans le plan. Avec les moyens du programme des classes de Spciales, et notamment des sries de Fourier, on fait le lien entre les aspects fonctionnels (proprit de la moyenne), diffrentiel (laplacien nul), et analytique. On en dduit quelques proprits des fonctions analytiques. 2.Introduction - Terminologie et notations Soit U un ouvert du plan R2, identifi C. Pour tout point a = ( x0,y 0) = x0 + iy0 de U on dsignera par R( a) = d( a,Uc) la distance de a au complmentaire de U ( R( a) = + si U = C), de sorte que D( a) = D( a,R( a)) est le plus grand disque ouvert de centre a contenu dans U. Si f est une application continue de U dans C, on dispose de sa valeur moyenne sur les cercles de centre a contenus dans D( a) :

dfinie pour 0 r < R( a). On dit alors que f possde la proprit de moyenne si f ( a,r) = f ( a) pour tout couple ( a,r), ce qui revient dire que, pour tout a fix dans U, f ( a,r) est indpendante de r . On notera ( U) lespace vectoriel des fonctions possdant la proprit de la moyenne sur U. Soit f une application de classe C1 de U dans C. On prend les notations :

La diffrentielle de f au point z est lapplication, a priori seulement R-linaire :

et lon constate que cette application est C-linaire si, et seulement si, lon a df z( i) = idfz(1), cest dire si fy = ifx, ou encore si lon a les relations de Cauchy :

Lorsque ces relations sont vrifies en tout point z de U, on dit que f est holomorphe dans U. On note alors f ( z) = df z(1) = fx( z), et ( U) lespace vectoriel des fonctions holomorphes sur U. On vrifie que ( U) est une C-algbre. Supposons f de classe C2 dans U. On dira que f est harmonique dans U si son laplacien

est nul en tout point de U. On dira enfin quune application f de U dans C est analytique dans U si, pour tout point a de U, f concide dans D( a) avec la somme dune srie entire n( z - a) n de rayon de convergence suprieur ou gal R( a). Le thorme qui suit est facile tablir : Thorme 0 : Toute fonction f analytique dans U appartient Preuve : Soit a U, pour tout h ( U) et ( U) .

C tel que | h| < R( a) on peut crire

cest dire f ( a + h) = f ( a) + 1h + o( h), puisque la fonction g, continue dans D(0 ,R( a)), est borne au voisinage de 0. On a tabli que la diffrentielle de f au point a est lapplication Clinaire h 1 h. f est donc holomorphe dans U. Dautre part, soit r [0 ,R( a)[, on sait que la srie n zn converge normalement pour | z| r . La srie de fonctions nr nein converge alors uniformment sur [0 , 2], et en lintgrant terme terme on trouve f ( a,r) = 0 = f ( a) : f possde la proprit de moyenne dans U. CQFD Lanalyticit est donc une proprit forte, mais malheureusement assez lourde utiliser : mme dans des cas trs simples, il est difficile de dmontrer directement, par exemple, que la compose de deux fonctions analytiques est analytique. Le but de cet article est dtablir les proprits classiques suivantes : ( U) concide avec lensemble des fonctions harmoniques sur U. ( U) concide avec lensemble des fonctions analytiques dans U.

- Si U est toil, alors, pour toute fonction f harmonique dans U, il existe des fonctions A et B analytiques dans U, uniques une constante additive prs, telles que f ( z) = A( z) + B( z). En particulier toute fonction harmonique dans U et valeurs relles est la partie relle dune fonction holomorphe dans U, unique laddition prs dune constante imaginaire pure. Les outils utiliss pour cela sont ceux du programme des classes prparatoires. La mthode employe, centre sur la proprit de moyenne, nest pas la plus rapide. 3.Un exemple lmentaire : les polynmes harmoniques Considrons la C -algbre C[X,Y] des applications polynomiales de R2 dans C. Un lment P de cette algbre se dcompose de manire unique sous la forme P = p0Hp, o, pour tout entier naturel p, Hp est homogne de degr p. Il est clair que P est harmonique si et seulement si chaque composante Hp de P est harmonique, et que les polynmes de degr infrieur ou akXp-kY k, la gal un sont harmoniques. Dautre part si lon crit, pour p 2, Hp = condition Hp = 0 se traduit par les relations :

do

cest dire en utilisant la formule du binme :

On peut dautre part crire H1 = 2ax + 2by = ( a - ib )(x + iy) + ( a + ib )(x - iy), de sorte quil existe des polynmes A,B C[ X] tels que P( x,y ) = A( x + iy) + B( x - iy) = A( z) + B( z). Rciproquement sil existe des polynmes A,B C[ X] tels que :

les fonctions z A( z) et z B( z) sont analytiques, et on voit que P est harmonique et possde la proprit de la moyenne dans C. Exercice : Vrifier par un calcul direct que toute application polynomiale de R2 dans C qui possde la proprit de la moyenne est harmonique. 4.Caractrisation et proprits des fonctions harmoniques Thorme 1 : Toute application f C2( U, C) harmonique dans U appartient ( U) .

Nous aurons besoin des lemmes suivants : Lemme 1 : Soient f C2( U, C) , a U, r ]0 ,R( a)[, et posons g( r, ) = f ( a + re i ) . On a lidentit :

(expression du laplacien en coordonnes polaires, bien connue des physiciens !). En effet on a successivement :

do lidentit de lnonc. CQFD Lemme 2 : Soient un rel positif ou nul, R un rel strictement positif, alors toute fonction u C2 (]0, R[ , C ) , solution de lquation diffrentielle

et borne au voisinage de 0, est proportionnelle la fonction r r . On vrifie facilement en effet que le plan des solutions de cette quation diffrentielle admet pour base (1 , ln r ) si = 0, et ( r ,r-) si > 0. CQFD Preuve du thorme 1 : Avec les notations de lnonc, fixons a R( a)[, U et posons, pour r [0 ,

u est continue, donc borne au voisinage de 0. Par drivation sous le signe intgral, et en utilisant la formule (1), on voit que u vrifie, sur lintervalle ]0 ,R( a)[, lquation diffrentielle (2) avec = 0, donc est constante. CQFD Thorme 2 : Soit f dans U. C( U, C) un lment de ( U) . Alors f est de classe C, et harmonique

Soient a U, = R( a) 2, nous allons construire une fonction de classe C proportionnelle f dans le disque D( a, ). cette fin posons ( x, y) = ( x2 + y2 - 2) 2 si x2 + y2 < 2, ( x,y ) = 0 dans le cas contraire. On vrifie que est de classe C1 . Considrons le produit de convolution f * dfini par :

(lintgrale est prise sur R2, mais la fonction intgrer est support compact). On voit, par drivation sous le signe intgral de la premire expression, que, si f est de classe Cp, alors f * est de classe Cp+1 . Pour tout b D( a, ), on a dautre part, en passant en polaires dans la seconde intgrale :

daprs la proprit de la moyenne applique f . Donc, par rcurrence, f , tant de classe C0, sera de classe C . Choisissons alors a U et reprenons le calcul fait dans la preuve du thorme 1 prcdent. La fonction u est constante et vrifie pour 0 < r < R( a) :

et, en simplifiant par r 2, puis en faisant tendre r vers zro, on voit que f ( a) = 0. CQFD Remarque : Il rsulte de cette preuve quune fonction harmonique est de classe C, ce qui ntait pas vident a priori. Ce rsultat va tre prcis dans lnonc suivant. ( U) , pour tout a U il existe des sries entires A( z) = n0 nzn et B( z) = n1 nzn, de rayons de convergence suprieurs ou gaux R( a) , telles que pour tout z D( a) on ait f ( z) = A( z - a) + B( z - a) . La condition sur la valuation de B entrane lunicit de ces sries. Thorme 3 : Soit f En effet, a tant fix dans U, on dispose pour 0 r < R( a) de la fonction C, 2-priodique, gr : f ( a + re i ), dont les cfficients de Fourier :

vrifient, compte tenu de la formule (1) et de la condition f = 0, la relation

aprs deux intgrations par parties. Comme cn est une fonction continue de r , donc borne au voisinage de zro, il existe daprs le lemme 2, pour tout n Z, une constante n telle que cn ( r ) = n r | n| . Dautre part gr est somme de sa srie de Fourier, ce qui donne la relation cherche :

soit le rsultat avec

lunicit rsultant de celle des cfficients de Fourier de gr, puisque, pour tout entier relatif n,

CQFD 5.Premires applications En utilisant la proprit de la moyenne, on se convaincra sans mal du rsultat suivant : Thorme 4 : Soient U un ouvert de R2, ( f n) une suite de fonctions harmoniques sur U convergeant uniformment sur tout compact de U vers une fonction f. Alors f est harmonique. Un examen de la preuve du thorme 3 permettra de rsoudre lexercice suivant : Exercice : Soit ( f n) une suite croissante de fonctions harmoniques sur un ouvert connexe de R2. Montrer que sil existe un point a de U tel que la suite ( f n( a)) converge, alors ( f n) converge uniformment sur toute partie compacte de U. Thorme 5 (Liouville) : Soit u une fonction harmonique sur C telle quil existe une constante positive M et un entier naturel n tels que pour tout z C de module assez grand on ait lingalit | u( z)| M | z| n. Alors u est un polynme (en ( x,y ) ) harmonique, de degr infrieur ou gal n. En particulier si u est harmonique et borne sur C, u est constante. On aura en effet, avec les notations du thorme 3, pour tout p r | p| | Mrn , do p = 0 pour | p| > n. CQFD Corollaire (dAlembert-Gauss) : Tout polynme non constant cfficients complexes a au moins une racine dans C . En effet si P C [ X] de degr n 0 ne sannule pas dans C, la fonction u : z 1P ( z) est dfinie et continue dans C, borne (car znu( z) a une limite linfini) et harmonique (calcul immdiat), donc constante. CQFD 6.Analyticit des fonctions holomorphes. Consquences On se propose dtablir que ( U) concide avec lensemble des fonctions analytiques sur U. Lensemble des fonctions holomorphes ayant des proprits de stabilit trs faciles tablir, on obtiendra des retombes intressantes pour ltude des fonctions dfinies par des sries entires. On a dja vu que les fonctions analytiques dans U taient holomorphes, il ne reste donc tablir que le thorme suivant : Thorme 6 : Toute fonction holomorphe dans louvert U est analytique dans U. Soient f ( U), a U, r ]0 ,R( a)[. Si lon pose g( r, ) = f ( a + re i ), on a, avec les notations de lintroduction, gr( r, ) = ei f ( a + re i ) et g ( r, ) = irei f ( a + re i ) = irgr( r, ). On peut driver la fonction r f ( a,r) sous le signe intgral, obtenant : Z et tout r assez grand, | p

de sorte que f , vrifiant la proprit de la moyenne, est harmonique. On peut alors crire, daprs le thorme 3, pour tout z D( a), f ( z) = A( z - a) + B( z - a), o A et B sont des sommes de sries entires de rayon de convergence au moins gal R( a), et B(0) = 0. La condition dholomorphie fx + ify = 0 scrit alors B = 0, do B = 0. CQFD Les proprits de stabilit suivantes des fonctions homomorphes sont videntes au vu de leur dfinition : ( U) est une algbre. ( U) et si V = { z U,f ( z) = 0}, alors 1f ( V ).

- Si f

- La compose de deux fonctions holomorphes est holomorphe sur son domaine de dfinition.

- Si f : U V est un C1-diffomorphisme holomorphe, alors f -1 est holomorphe. On en dduit les proprits et applications classiques suivantes : 1. Soit f ( z) = anzn la somme dune srie entire de rayon de convergence R strictement positif. Alors f est dveloppable en srie entire en tout point a D(0 ,R), avec un rayon de convergence au moins gal R -| a|. Autrement dit, f est analytique dans D(0 , R). 2. Soit f ( z) = anzn la somme dune srie entire de rayon de convergence R strictement positif. Si f (0) = 0, la fonction 1f est dveloppable en srie entire, avec un rayon de convergence au moins gal min( R, ), o est la distance de 0 lensemble des zros de f . 3. Soient f ( z) = anzn, g( z) = bnzn des sries entires de rayons de convergence strictement positifs. Si g(0) = 0, la fonction f g est dveloppable en srie entire au voisinage de 0. 4. U est lensemble de nombres complexes dont la partie imaginaire est strictement comprise entre - et , V le plan fendu C \ R- ; on prend f ( z) = ez. On obtient alors une fonction rciproque Log , appele dtermination principale du logarithme complexe ; si z = e i , ( , ) ]0 , [ ] - ,[, on a Log( z) = ln ( ) + i . Cette fonction est holomorphe donc analytique dans V . Par restriction R+ on constate que le dveloppement en srie entire de Log au point 1 est donn par la formule habituelle :

Remarquons pour la suite que la fonction Log nadmet pas de prolongement continu C* car

7.Harmonicit et holomorphie Le thorme suivant tend des rsultats qui, jusqu prsent, nont t tablis que localement. Il fournit galement loccasion dutiliser de nouvelles mthodes. Thorme 7 : Soit U un ouvert toil de C, alors : a. Pour toute fonction f harmonique dans U il existe des fonctions A et B holomorphes dans U telles que f ( z) = A( z) + B( z) . Pour toute autre criture f ( z) = A1( z) + B1( z) il existe C tel que A1 = A - et B1 = B + b. Toute fonction harmonique relle f sur U scrit f ( z) = Re ( A( z)), o A est holomorphe dans U. Pour toute autre criture f ( z) = Re ( A1( z)) il existe R tel que A1 = A + i . Remarquons dabord que, quitte sparer les parties relle et imaginaire de f , il suffit de dmontrer le b. Soit donc f C2( U) une fonction harmonique relle, on cherche g C2( U) telle que A = f + ig soit holomorphe dans U. On doit donc avoir

cest--dire

de sorte que g doit tre une primitive de la forme diffrentielle

La relation f = 0 montre que est ferme. Comme U est toil, le thorme de Poincar

fournit lexistence, et lunicit une constante additive prs, de g. CQFD Remarque : Ce thorme ne stend pas tous les ouverts de C. Si lon prend par exemple U = C* et f ( z) = ln (| z|), on est conduit intgrer la forme diffrentielle :

Si cette forme diffrentielle admettait une primitive dans louvert connexe U, cette primitive devrait, dans le plan fendu C \ R-, diffrer dune constante de

fonction qui, comme on la vu, ne se prolonge pas par continuit C*. Bibliographie Jean DIEUDONN : Calcul infinitsimal , Hermann. E.C. TITCHMARSH : The theory of functions , Oxford University Press. Henri CARTAN : Thorie lmentaire des fonctions analytiques dune ou plusieurs variables complexes , Hermann. W. RUDIN : Real and Complex Analysis, Mc Graw-Hill, existe en traduction franaise. Michel HERVE : Les fonctions analytiques, Presses Universitaires de France. P. DOLBEAULT : Analyse complexe , Masson. [ Table des matires] [<]