Commençons par démontrer le théorème suivant

Considérons une fonction harmonique u continue ainsi que ses dérivées partielles des deux premiers ordres dans l'aire limitée par un contour C, et supposons que sur le contour luimême u et ses dérivées partielles du premier ordre soient continues.

On forme l'intégrale

V représentant une fonction quelconque satisfaisant aux mêmes conditions de continuité que u et prenant sur le contour les mêmes valeurs. Dans ces conditions, V intégrale précédente sera minima pour v = u.

Soit, en effet, v — u = /i\ la fonction h sera nulle sur le contour et l'on aura

- //[(ë)'-(l)>*-',/"/(ëS-ll)-*

Or la seconde intégrale est nulle d'après la formule préliminaire de Green qui peut s'écrire

L'intégrale I est donc moindre pour i^ = u que pour toute autre fonction v prenant les mêmes valeurs sur le contour.

A. ce théorème, nous pouvons joindre une réciproque. Les conditions de continuité restant toujours les mêmes pour les fonctions considérées et celles-ci prenant de plus, toutes, les mêmes valeurs sur le contour, si r intégrale I est minima quand on met à la

GoogI(

place de v une certaine fonction m, celle-ci satisfait à C équation

Aa = o.

Posons '

a désignant une constante et h une fonction àe x et y s*annulant sur C. Pour cette fonction, on aura

Or, le coefficient de a peut s'écrire

Si ce coefficient n'est pas nul, la somme des deux derniers termes dans l'expression de I sera certainement négative si l'on prend a suffisamment petit et d'un signe convenable. Puisque, par hypothèse, l'intégrale 1 est minima pour ç'= «, il faut nécessairement que

(lo) / I h\udxdy = o.

Or la fonction h n'est assujettie qu'à la condition de s'annuler sur C et d'être continue ainsi que ses dérivées partielles des deux premiers ordres. Supposons qu'en un point (^oî^o) ^ Tintérieur de Taire, Hu ne soit pas nul : il sera d'un signe invariable dans le voisinage, soit à l'intérieur d'un cercle F de rayon p ajant (:ro»J^o) pour centre. Définissons alors h par la condition qu'elle soit nulle entre C et F, et que, à l'intérieur de F,

A = [pî- (îP -a'o)*-(r-ro )']"*•

Si l'entier m est supérieur à deux, la fonction ainsi définie s'annulera sur C et sera continue ainsi que ses dérivées partielles des deux premiers ordres. Mais, pour une telle fonction, l'intégrale (lo) ne pourra évidemment pas être nulle. Il en résulte qu'en

GoogI(

FONCTIONS D*LNE VAKIABLE COMPLEXI*:. Sq

tous les points de Taire

comme nous voulions Tétablir.

29. Les deux théorèmes précédents sont à l'abri de toute objection. Il n'en est pas de même de la fin du raisonnement par lequel Riemann établit Texistence d'une fonction harmonique u prenant des valeurs données sur un contour.

Considérons toujours l'intégrale

V désignant une fonction quelconque assujettie seulement, sauf les conditions indiquées de continuité, à prendre la succession de valeurs données sur le contour. Cette intégrale est nécessairement positive; il j a donc une limite inférieure au-dessous de laquelle elle ne peut descendre. Désignons par u la fonction pour laquelle ^intégrale atteindra son minimum; la fonction «, diaprés le théorème précédent, sera harmonique et le problème de Dirichlet se trouve ainsi résolu.

J'ai souligné le point défectueux dans la déduction précédente. On ne peut être certain a /?/'ior/ qu'il existe une fonction m, satisfaisant aux conditions de continuité, pour laquelle l'intégrale atteigne effectivement sa limite inférieure. C'est là une objection capitale et M. Weierstrass (* ) a montré sur un exemple très simple le danger de ce mode de raisonnement. Prenons, avec l'illustre géomètre, l'intégrale

et envisageons les fonctions j^ de x continues ainsi que leurs dérivées premières de — i à -h i et prenant pour a? = — i et a: = + i respectivement les valeurs a et 6 (en supposant essentiellement a différent de b). Nous allons voir que, parmi ces fonctions, il en est qui rendentl'intégrale J aussi voisine de zéro que l'on voudra;

(*) Weikrstkass, Ueber dos sogennante Dirichlet* sche Princip {Mathematische Werke, t. II, p. 49)-

GoogI(

4o CHAPITRE 1.

la limite inférieure de rintégrale est donc zéro pour les fonctions^ considérées. D'autre part, il n'existe évidemment pas de fonction répondant aux conditions indiquées, et rendant l'intégrale nulle. Il faudrait, en effet, que cette fonction fût constante, ce qui est impossible puisque a est différent de b.

En désignant par $ une constante positive, Weierstrass envisage la fonction

arctnns 7

arctang r-

Yarctang qui ligure dans cette expression étant compris entre

etn-;-^; cette fonction satisfait aux conditions indiquées plus

haut

Voyons ce que devient J, quand on meta la place de j/- la fonction précédente. On trouve de suite

arc tan g ^

Donc J sera aussi petit que l'on voudra, si $ est pris lui-ménie assez petit; la limite inférieure de l'intégrale est donc bien nulle. D'autre part, comme nous l'avons dit, il ne peut exister de fonction continue donnant à l'intégrale sa valeur minima. On voit donc combien il faut se méfîer d'un mode de raisonnement dans lequel on admet a /?r/ort l'existence d'une fonction continue donnant à l'intégrale sa valeur minima.

On se demandera tout naturellement ce que devient la fonction jquand Ç tend vers zéro. On voit que l'on a la limite

y = a pour X > o, y = b pour j» < o.

Pour j: = o, la limite est C'est cette fonction discon-

tinue qui donne à l'intégrale la valeur minima zéro,

il n'est pas inutile d'indiquer l'origine de l'expression (E) qui

GoogI(

FONCTIONS d'une VARIABLE COMPLEXE. 4'

a joué un rôle essenllel dans les raisonnements précédents. Envisageons l'intégrale

^ étant une constante positive. Le problème de trouver la fonction conlinviey de x, prenant pour x = i et :c = -+- i respectivement les valeurs a et 6, et rendant l'intégrale minimum, admet une solution parfaitement déterminée, el c'est précisément la fonction (E).

Pour ta trouver, il suffit d'employer une méthode loule semblable à celle du paragraphe 28. On remplace y par ^ -h Aa, en désignant par a une constante et h une fonction qui s*annule pour X = ±i. Le coefficient de a est ici

et, en intégrant par parties et se rappelant que h s'annule aux limites^ on peut le remplacer par

Si la fondions rend l'intégrale I minimum, le coefficient de h devra être identiquement nul. On aura donc

En intégrant cette équation avec les <onditions aux limites, on

trouve

.r , , arctan£? v

arctang r-

c'est Texpression (E).

30. Le problème proposé, que nous avons déjà donné dans le cas du cercle (p. i6), a été traité rigoureusement par M. C. Neumann dans le cas d'un contour convexe. M. Schwarz a montré

GoogI(

ensuite comment on pouvait, dans des cas étendus, passer d'un contour convexe à un contour plus compliqué, ce qui lui a permis de traiter la question dans le cas d'un contour limité par des arcs réguliers de courbes analytiques. Enfin M. Poincaré a donné du problème de Dirichlet une méthode extrêmement originale et qui diffère complètement par le point de départ des méthodes précédentes. Nous nous bornerons dans ce Chapitre à développer la méthode de M. Neumann, qui nous servira en même temps à établir quelques propriétés importantes de la fonction harmonique. Les méthodes de MM. Schwarz et Poincaré seront développées dans d'autres Chapitres.

Nous avons déjà donné, dans le cas de l'espace, la méthode de M. Neumann, modifiée en mettant à profit une idée de Kirchhoff : nous suivrons absolument la même voie dans le cas du plan.

Nous avons supposé que la surface considérée était convexe et avait en chaque point un plan tangent déterminé. Nous garderons pour le contour plan, que nous avons maintenant à considérer, les mêmes hypothèses, sauf toutefois que le contour, toujours convexe, pourra avoir un nombre limité de pointes. En ces derniers points, le contour aura deux tangentes.

31. Une intégrale analogue à celle de Gauss (t. l, p. i34) nous sera fournie par l'intégrale

étendue à une courbe fermée C, r désignant la distance d'un point fixe A à un point M de l'élément d'arc variable di de la courbe, et l'angle cp représentant l'angle de la direction MA avec la normale intérieure à la courbe au point M.

La signification géométrique de cette intégrale est immédiate ; elle représente la somme des angles, pris avec un signe, sous lesquels du point A on voit les éléments rfcr de la courbe. L'intégrale (i i) sera donc égale à stî quand le point A sera à l'intérieur de la courbe C, elle sera nulle quand le point sera extérieur à la courbe, et elle sera égale à ir quand le point sera en un point ordinaire de la courbe. Si enfin le point A est une pointe de contour, l'intégrale sera égale à l'angle a que font les tangentes aux deux

FONCTIONS d'une VARIABLE COMPLEXE. 43

courbes qui forment la pointe. Dans Thjpothèse où nous sommes d'un contour convexe, a sera inférieur à tz.

Nous pouvons généraliser l'intégrale précédente, comme nous l^avons fait (l. I, p. 167). Désignant par a, b les coordonnées de A, nous formons Tintégrale

où p. désigne une fonction continue du paramètre qui fixe la position d'un point sur la courbe. Cette intégrale, considérée comme fonction de (a, 6), est une fonction continue, ainsi que ses dérivées partielles quand le point A esta l'intérieur ou à l'extérieur de la surface. De plus, elle satisfait à l'équation de Laplace; c'est ce qu'on voit de suite en mettant l'intégrale sous la forme

rflogr

car -7- = — coscp (t. I, p. i56).

Or pour un point {x^ y) du contour C, logr considéré comme fonction de (a, b) satisfait à l'équation de Laplace, et il en est

par suite de même de

d\o^r dn

ce qui entraîne la même conclusion pour l'intégrale.

La fonction V (a, b) éprouve une discontinuité pour le passage par la courbe C. Pour étudier celte discontinuité, il n'y a qu'à suivre, sans y rien changer, le mode de raisonnement employé pour l'espace (t. I, p. 168). La seule différence sera que t: sera

partout remplacé par — dans les formules, puisque la circonférence

de rayon un est égale à 211, tandis que Taire de la sphère de rayon un est égale à 4"^^. Prenant un point fixe s sur la courbe C, et désignant par [Xj la valeur de [Ji en ce point, on montrera que

GoogI(

esl une fonclion continue de (a, 6), au point s ^ c^esl-k-dive qu^eWe tend vers la même valeur, de quelque manière que le point (a, b) tende vers 5. En conservant les mêmes notations, on aura donc

Ces formules supposent que le point s ne soit pas une pointe sur le contour. S'il en était ainsi, a désignant l'angle des tangentes, on aurait, en écrivant toujours que W («, b) est continue au point s^

32. On établira encore une remarque analogue à celle du § 10 (t. 1, p. 169). On partage la courbe G en deux parties a et j3, et soient s et s' deux points quelconques de la courbe. Désignons d'une manière générale par IJ l'intégrale

'rf.

relative au point s et étendue à une portion y de la courbe. On peut trouver un membre X compris entre zéro et un, tel que Ton ait

quel/es que soient les positions de s et s' sur la courbe.

Je ferai seulement une remarque sur la démonstration, remarque que nous n'avions pas eu l'occasion de faire pour les surfaces convexes, leur supposant toujours en chaque point un plan tangent unique. Il est un cas où la somme

peut atteindre zéro. Il faut pour cela que chacun des deux termes s'annule; la partie a devra donc se composer de deux droites dont s est le point de rencontre, et il en est de même de ^, qui se composera de deux droites se rencontrant en s'. La courbe convexe, que nous considérons, se réduira alors nécessairement à un triangle ou à un quadrilatère. Ce sont les seuls cas où n'existe pas ce nombre X, dilTérent de zéro. Ces deux courbes sont donc exclues pour l'application de la méthode.

GoogI(

FONCTIONS D*l]NB VARIABLE COMPLEXE. f^D