La mesure d'une sphère de rayon i est, d'après le n

y/io;:

Il n'j^a aucun inconvénient à la prendre comme unité de. volume, à condition de modifier en conséquence les unités de mesure des surfaces et différentes sortes de variétés situées dans l'espace fonctionnel. En désignant par "C^^ la mesure d'une variété à un nombre finip de dimensions, et par V(^p la mesure d'une variété à co — p dimensions, définie, dans une région finie de l'espace fonctionnel, par p conditions d'égalité, toutes les relations que nous aurons à écrire entre les mesures de ces différentes sortes de variétés seront du type

Elles seront homogènes par rapport à l'ensemble des quantités \'^(j, '^'^w-M '^^io-21 • • •• On peut alors adopter pour les volumes '^^(^ d'une part, pour les longueurs d'autre part, telles unités qu'on voudra. Les mesures des volumes du type pp résulte-nt d'une manière bien déterminée de l'unité de longueur, tandis que celles des volumes du type "C^oo-/? dépendent à la fois de l'unité de longueur et de l'unité de volume du type V^-

Pour les longueurs, nous conserverons bien entendu notre définition habituelle. Pour les volumes du type "C^^^, nous prendrons comme unité la sphère du rayon i.

50. Un volume fini de l'espace fonctionnel, mais assez grand pour comprendre une petite sphère à son intérieur ('), a sa mesure com-

(') Pour comprendre l'utilité de ces restrictions, remarquons que le volume

limité par la surface / \x\i'dt est infini, n'étant intérieur à aucune sphère,

si p>2, et est au contraire nul, ne comprenant aucune sphère à son intérieur, si p < 2.

CHAP. IV. — MESURE DES VOLUMES ET DES SURFACES. 3l7

prise entre deux expressions de la forme r^'^ et R". On doit donc s'attendre à ce que les volumes que nous avons à considérer soient fréquemment du tjpe aoPa^.

L'ordre de grandeur d'un tel volume est défini par <7, que nous appellerons rayon de la sphère éqawalente à ce volume; d'une manière précise, le rayon de la sphère égale à sa /i'^"*" section tend vers a. On peut se demander s'il est utile, à côté de a^, de conserver le facteur cto'^. La réponse est évidemment affirmative. Nous avons vu par exemple que la moyenne d'une fonctionnelle définie dans un cylindre limité est en général effectivement la moyenne de valeurs différentes qu'elle prend dans des portions de volumes du même ordre de grandeur, et que l'on ne peut comparer qu'en tenant compte d'une manière précise du facteur c.

On peut d'autre part indiquer des exemples qui donnent lieu à des difficultés assez sérieuses. Considérons une sphère de rayon R. Le plan E„, ^i'*™« section de l'espace fonctionnel, ne contenant en général pas exactement son centre, la coupe suivant une sphère de rayon réduit R|, dont on peut seulement dire qu'il tend vers R en croissant constamment, mais on peut placer le centre de la sphère de manière que R( tende vers R aussi lentement qu'on veut. Le

rapport ( -tt ) de la n'*''"® section de la sphère considérée et de celle

d'une sphère de même rayon ayant l'origine pour centre peut donc ne pas tendre vers i, ou même tendre vers zéro. Deux sphères de même rayon n'auraient pas des volumes égaux. Une telle conclusion est inadmissible.

Gomme la difficulté provient de ce que le plan E/^ ne coupe pas la sphère suivant sa plus grande section, on peut y échapper en appelant ^'^'"^ section dhin volume^ non sa section par le plan E„, mais sa projection sur le plan E^^ ('). On obtiendrait peut-être

(') Voici une autre difficulté qui se résout de la méiiie manière. Soit le cylindre de révolution r^ — a"=:i, a désignant la distance à un plan. Le plan E„ faisant avec l'axe du cylindre un angle très petit s, en général non nul, la section du cylindre par ce plan est un ellipsoïde ayant un axe égal à -: — > et les autres égaux

1 à I ; le rayon de la sphère équivalente est (sine) « ; en général, e ne tend pas vers zéro assez rapidement pour qu'il devienne infini, et la valeur limite de ce rayon est une fonction de la direction de l'axe du cylindre. Au contraire, en prenant la projection du cylindre sur le plan E„ (ce plan ne pouvant être perpendiculaire à l'axe

3l8 TROISIÈME PARTIE. — MOYENNE DANS LE DOMAINE FONCTIONNEL.

de cette manière une meilleure définition de la notion de volume. Dans la suite, nous n'aurons pas besoin de distinguer les deux définitions, et nous adopterons plutôt la première, qui facilite en général l'exposé sans rien changer d'essentiel aux résultats.

51. Les facteurs de la forme mP semblent n'intervenir que rarement dans la comparaison des volumes, les facteurs essentiels à considérer étant c ou a^ suivant qu'ils sont du même ordre de grandeur ou non. Par contre, les facteurs de la forme oj/^ jouent un rôle essentiel dans la comparaison des volumes et des surfaces.

Dans l'espace E,,, la relation entre le volume X'^^ et la surface S,i d'une sphère de rajon R est

A la limite, dans l'espace fonctionnel, on a

Le volume de la sphère, avec l'unité choisie, étant R^\ sa surface sera représentée par wR'*^~^

On trouve de même le volume \'^o)-i de la sphère de rajon R dans une variété linéaire à w — i dimensions, ou section diamétrale de la

sphère de l'espace fonctionnel. Il suffit de former le rapport T.' »

\ Il

qui a pour valeur principale — 1/— i? de sorte qu'il vient

que pour un nombre fini de valeurs de /r, puisque z tend vers zéro), la /i'^"" section est un cylindre, dont le volume est infini. Le rayon de la sphère équivalente à un cylindre de l'espace fonctionnel est al(»rs toujours infini; cette conception, à ce point de vue plus satisfaisante, donne encore lieu à des difficultés {voir n° 83). En réalité, ce rayon doit être considéré comme indéterminé.

Pour un volume fini et convexe, les deux conceptions sont équivalentes, non au point de vue de l'évaluation du volume, mais pour le calcul de la moyenne d'une fonctionnelle uniformément continue. Dans le cas d'une sphère, par exemple, peu importe que l'on considère le plan de la section E„, ou le plan parallèle passant par le centre; la différence des valeurs moyennes relatives aux deux plans tend vers zéro. Ce n'est que si l'on avait à prendre la moyenne dans un volume constitué par exemple par l'ensemble de deux sphères de même rayon, que la distinction indiquée deviendrait essentielle pour le calcul de la moyenne.

On en déduit que la variété qui limite celte sphère, ou section diamétrale de la surface de la sphère de l'espace fonctionnel, a pour mesure

Il était d'ailleurs aisé de prévoir c|ue les mesures de v^, ^'^^-n >>, So)-i sont d'ordres de grandeur croissants. Ainsi la couronne comprise entre les sphères de rajon R et R — <iR, inférieure évidemment à SdK, constitue, quelque petit que soit <iR, presque tout le volume \'>; il faut donc cjue S soit d'un ordre de grandeur supérieur

De même la portion de V'^cd-m située à une dislance du centre supérieure à R — f/R, et qui constitue presque toute celte région,

est la projection de la portion correspondante de la demi-sphère ->

le rapport des éléments correspondants étant aussi petit qu'on le

veut, si dJ\ est assez petit. Le rapport —^— est donc infiniment petit.

Un cylindre circonscrit à la sphère et de hauteur i a pour volume \')(,)-i Gl pour surface ^^-i- Oi' il ^ sur une hauteur finie une section que la sphère n'a que sur une hauteur infiniment petite, les sections voisines devenant immédiatement néo^lioeables devant la section maxima. Il en résulte que ce volume ^^^-i et cette surface .S(,), sont d'ordres de grandeur respectivement supérieurs à ceux du volume \'^ ou de la surface ^ de la sphère de l'espace fonctionnel.

52. La notion d'intégrale. — La notion de volume étant définie, il est facile d'arriver à la notion d'intégrale.

Divisons un volume V en volumes partiels V,, Vo, . • ., V^, de mesures \'^<, ^^21 • • •? '^\v' Soient u une fonctionnelle bornée, et w,, W2, . . ., Up ses valeurs en des points choisis respectivement dans les volumes V,, V2, . . . , V^. Posons

Supposons la loi de division adoptée telle que, pour y> assez grand, on arrive, si petit que soit le nombre positif £, à ce que les différences des valeurs de u en deux points d'un même volume V,- ne puissent pas dépasser s. En subdivisant ces volumes V/, et en for-

mant à l'aide des nouveaux volumes partiels obtenus une somme aanalogue à 5, on a évidemment

Considérons de même une division en volumes V, , Y',, . . . , V' de mesures ■ç\^ -^^K,^ . . ., V^^, tels que dans un même volume V la différence de deux valeurs de u ne dépasse pas s, et posons

u'j étant une valeur prise par u dans le volume V) . Prenant maintenant un nouveau mode de division constitué par des volumes dont chacun appartient à un même volume Yi et un même volume V) , on est conduit à une somme a-, différant de moins de t^s; aussi bien de s que de s\ ce qui prouve que l'on a

S De cette formule résulte que -^ a, quand z tend vers zéro, une limite

qui ne dépend, ni des modes de division que l'on considère successivement, ni du choix de la valeur Ui relative à chaque volume V/. Cette limite est la valeur moyenne de u dans le volume V ; son produit par t^, qui représente l'ordre de grandeur de la somme s et est à un facteur fini près, si la valeur moyenne de a n'est pas nulle, du même ordre de grandeur que "C), est Vintégrale de u dans le volume V. Nous la représenterons par la notation

u dp,

l'indice supérieur, mis entre parenthèses, indiquant le nombre de dimensions du domaine d'intégration, ou ordre de l'intégrale.

53. Remarques. — i*' La définition de la moyenne qui précède se ramène aisément à celles des Chapitre II et III. Pour définir les valeurs relatives des différents volumes V/, il faut considérer leurs ^^lèmes sections, et pourvu qu'on adopte dans les deux cas la même définition de la n'^"^^ section, cela revient au même de se placer au point de vue qui précède, ou à celui des Chapitres II et III. La véri-

fication de ce fait par un raisonnement rigoureux ne présente aucune difficulté.

L'existence de la notion d'intégrale est donc bien établie dans les cas où nous avons pu former effectivement la valeur moyenne d'une fonctionnelle. Il reste intéressant de généraliser la théorie classique de l'intégrale définie en établissant l'existence de l'intégrale, en partant seulement de conditions relatives au mode de continuité de la fonctionnelle intégrée et de la surface limitant le volume V. Nous reviendrons sur cette question au Chapitre VI.

2° Lorsqu'on définit l'intégrale d'une fonction continue dans l'espace ordinaire, ou dans l'espace à ri dimensions, il est indifférent de prendre des volumes V/ ayant leurs dimensions très petites dans tous les sens, ou ayant certaines dimensions finies. L'essentiel est que dans chacun de ces volumes les valeurs extrêmes de la fonction intégrée diffèrent de moins de s. Si l'on prend les volumes V/ très petits dans tous les sens, on obtient la définition classique de l'intégrale définie. Si l'on prend des volumes ayant certaines dimensions finies, par exemple ceux limités par les surfaces de niveau ii = const., on est conduit au point de vue de M. Lebesgue, qui permet l'extension de la notion d'intégrale à certaines fonctions discontinues.

Dansi l'espace fonctionnel, il n'est pas possible de diviser un volume fini V en un nombre fini de volumes ayant leurs dimensions très petites dans tous les sens. Ainsi il n'est pas possible de diviser une sphère de rayon i en volumes dont chacun soit intérieur à une sphère de rayon donné t <^\] le volume de la sphère de rayon i est en effet supérieur à celui d'un nombre quelconque de sphères de rayon c. Il en résulte que, si l'on veut que l'aspect de la théorie soit celui du n" o2, le nombre de termes de chaque somme s étant fini, le point de vue de M. Lebesgue est seul possible.

3** Le théorèuie de la moyenne, les théorèmes relatifs à l'addition, soit des volumes V, soit des fonctions intégrées, se généralisent sans difficulté. Il est aisé également de définir l'intégrale d'une fonctionnelle u ne restant pas finie, en se plaçant au point de vue de M. Lebesgue, c'est-à-dire en négligeant d'abord les portions du volume ou | ;^ | << DIL, puis en faisant augmenter Oli indéfiniment.

4*^ Les considérations qui précèdent s'étendent aisément aux intégrales de surface, et d'une manière générale aux variétés w — p fois

LKVY. 21

étendues. Nous désignerons de telles intégrales par la notation

Nous emploierons en principe les expressions volumes ou intégrales de volumes^ dans le cas des régions à w dinlensions, portions de l'espace fonctionnel définies par des conditions d'inégalité, ou dans le cas des régions analogues situées dans une variété linéaire, variété dont la géométrie est identique, soit à celle de l'espace fonctionnel, soit à celle d'un espace à un nombre fiiil de dimensions. Dans le cas des variétés à 03 — i dimerisions, nous emploierons les expressions surfaces^ aires et intégrales de surfaces. Dans le cas des variétés à to — 2 dimensions, limitant une portion de surface, nous emploierons les expressions contours., mesures des contours^ intégrales étendues aux contours.

54. La variation de l'aire d'une surface. — Considérons une surface S, qui se déforme, chacun de ses points ajant un déplacement normal dont nous désignerons la grandeur par 5v. Nous désignerons par i, l'aire de la surface et par K la courbure moyenne en chaque point. Dans l'espace E/^, en employant les mêmes notations affectées de l'indice ai, et en convenant toujours d'appeler courbure moyenne non la somme, mais la moyenne des courbures correspondant aux directions principales, la variation d'un élément d'aire d^n est

(i) ■ hdèn-=~{n-i)Kn^^fdi>„.

ce qu'on peut écrire, si la surface dépend d'un paramètre A,

ou, si y^^ est le rayon de la sphère de l'espace E//, dont le volume est d6n^

^^> -dT- —^''dï'

Lorsque n devient infini, on est conduit à écrire, dans l'espace

CHAP. IV. — MESURE DES VOLUMES ET DES SURFACES. SlS

fonctionnel, les formules analogues

(4) Ôc^S = — (w — i)KSv^S,

La dernière de ces formules a seule une signification précise; les deux premières ne sont que des manières symboliques d'écrire la formule (6). Il est naturel de trouver, pour la vitesse de variation relative de d^^ une valeur infinie, puisque, non seulement cette aire varie, mais son ordre de grandeur varie, si K n'est pas nul, la variation de yj étant donnée par la formule (6); si l'on avait pour — -^ —

„ une ah

expression finie, cela indiquerait que le rapport -7— (de' désignant l'aire déformée) n'est ni nul, ni infini.

Lorsque K = o, la vitesse de variation de yj est nulle; mais cela ne signifie pas que l'aire reste constante. Les seconds membres des formules (4) et (5) sont de la forme indéterminée o X 00, et la dérivée logarithmique — -^ — peut, suivant les cas, être nulle, finie ou iniinie. Si par exemple, en désignant par a,, «2? •••7 <^/o •••5 <^6S coordonnées orthogonales dans l'espace fonctionnel, on considère la portion de surface du cylindre de révolution

intérieure au cylindre

son aire, lorsque \ varie, R restant fixe, est évidemment proportionnelle à X^— ' . Dans l'espace à n dimensions, le rayon de la sphère équi-

^'alejite à cette aire (^) varie comme A''~*, facteur qui tend vers 1

(•) Aussi bien dans l'espace E„ que dans l'espace fonctionnel, nous emploierons cette expression pour désigner le rayon de la sphère dont la section par un plan contenant le centre a l'aire considérée. Dans l'espace fonctionnel, l'aire de cette

section et l'aire de la surface de la sphère sont dans le rapport . / ^ ; et il est

.4-aJ+^-t-..

ire

indifférent de considérer l'une ou l'autre, les facteurs de la forme a** intervenant seuls dans le calcul du rayon.

quand n devient infini. Dans l'espace fonctionnel, le rayon considéré reste donc constant (et égal à R), comme l'indique la formule (6) (le cylindre considéré, n'ayant que p rayons de courbures finis, est une surface minima); mais l'aire elle-même varie comme A^~^

5o. Considérons maintenant la variation de l'aire finie 8. On peut être tenté d'écrire qu'elle a la valeur

(7) . -(co-oy^

(ly) -1)

K 8v di>.

et, cette expression étant dépourvue de sens par elle-même, de penser qu'elle signifie que la dérivée logarithmique du rayon de la

sphère équivalente à S est égale à la valeur moyenne de K -^. Il n'en

est rien, et il y a lieu de n'employer qu'avec précaution des expressions de la forme (7).

Supposons" en effet que K-^ n'ait pas la même valeur dans presque

toute l'aire <8. Désignons par m, le plus grand nombre (algébriquement) tel qu'on ait, quelque petit que soit s,

dans une aire dont le rayon de la sphère équivalente ait la même valeur R que pour l'aire totale. Lorsque \ aune variation positive cCk^ on obtient une aire déformée pour laquelle le rayon de la sphère équivalente a la valeur R(i + m| d\). Pour aucune autre région de la surface, on ne peut avoir après déformation une aire comparable; en effet, pour toute autre région, ou bien le rayon de la sphère équivalente est inférieur à R, et, variant d'une manière continue, ne peut devenir égal à R(i -f- m, d\) ; ou bien, ce rayon étant R, on a

et il croît moins vite que pour la région considérée d'abord, qui constitue ainsi, après la déformation, presque toute la surface. La dérivée logarithmique de R, lorsque X croit^ est donc m^.

Précisons le résultat obtenu. En désignant par R le rayon de la sphère équivalente à l'aire S, on a le droit de négliger des portions

CH\P. IV. — MESURE DES VOLUMES ET DES SURFACES. SsS

de Taire équivalentes à une sphère de rayon inférieur à Pi; les valeurs correspondantes de K-^ sont sans importance. Mais il faut tenir compte de toute valeur prise sur une aire pour laquelle le rayon de la sphère équivalente a la valeur R, bien qu'une telle aire puisse ne constituer qu'une fraction négligeable de l'aire totale, comme nous allons le voir par un exemple.

Répartissons les coordonnées «o, ^3, •••5 <^« (supposées rangées dans un ordre normal et «< étant laissé de côté) en deux groupes, dont le premier les contienne presque tous, mais dont le second en contienne une infinité. Nous entendons par là que, si /i, et a?2 désignent respectivement les nombres des coordonnées ai d'indice au plus égal à n appartenant à l'un et l'autre groupe, /îo devient infini, mais de manière que — tende vers zéro. Nous désignerons par ^,, b■2^ •.., ^o ... les coordonnées du premier groupe et par Cj, Co, . . ., c/, . . . celles du second groupe.

Prenons pour volume V le volume

et considérons les portions de ce volume limitées par des plans parallèles au plan a, = o. Admettons que les systèmes de coordonnées rangés dans l'ordre normal jouent le même rôle dans les évaluations de volumes que dans les calculs de moyenne; l'ordre de grandeur des volumes ou aires considérés s'obtiendra en considérant leur section par le plan des a^a.^. . .an- L'aire de* la section du volume V„, j^ième scction de V, par un plan <7,=:const., est évidemment proportionnelle à R"'y"^(a,). Pour n très grand, le deuxième facteur est négligeable devant le premier, et le rayon de la sphère équivalente à l'aire considérée est, dans l'espace fonctionnel, égal à R. Le volume V est donc découpé en tranches pour chacune desquelles le rayon de la sphère équivalente est le même; pourtant celle pour laquelle y («< ) est maximum est infiniment supérieure aux autres et compte seule pour le calcul de la moyenne d'une fonctionnelle.

Les mêmes circonstances se produisent pour les tranches découpées par les plans rt, = const. dans la surface S qui limite le volume V. Presque toutes ces tranches sont négligeables devant celle pour laquelle f{ct\) est maximum, mais elles ont même rayon de

sphère équivalente, et il suffit qu'une de ces tranches soit dilatée un peu plus que les autres, lorsque \ varie, pour l'emporter infiniment sur elles dans le calcul de l'aire déformée, et de la dérivée de celte aire. Si par exemple, dans l'équation du volume V, lorsque X croît, on remplace R par R[i + A«(a,)], c'est la tranche rendant i?(«i) maximum qui comptera seule dans le calcul de la variation de l'aire. Ainsi, parmi les contours C définis sur une surface quelconque S

parla condition K-^r =:const., nous ne considérons que ceux pour

lesquel le rayon de la sphère équivalente à C (ou à la portion d'aire voisine de G) a la valeur R. Désignons par /?î, et m-i la plus grande et

la plus petite valeur (algébriquement) de — ^ y) S"^' ^^^ contours

considérés. On a, d'après les considérations qui précèdent, qui s'étendent évidemment au cas où \ est négatif,

... d\o^R { mi (r7X>o),

d'X I m^ ((ifX > o).

Si l'on considère la courbe donnant R en fonction de A, elle admet un point anguleux au point considéré, lorsque ni^ ^mo. Gela ne peut avoir lieu que pour des valeurs exceptionnelles de A, et l'on voit qu'en général m, = m2, c'est-à-dire que K-7T a presque partout la même valeur /??, les portions d'aire pour lesquelles celte quantité n'est pas comprise entre m — £ et m-j-s, non seulement étant négligeables quelque petit que soit £, mais ayant un rayon de sphère équivalente inférieur à R. Ge résultat constitue une vérification assez curieuse du théorème général du n*^ lo.

Si en particulier, pour une certaine valeur de A, l'aire rS est maxima,

ou si elle varie sans que R varie, K-ry est nécessairement presque partout nul sur la surface correspondant à cette valeur.

56. Gonsidérons un autre exemple, plus élémentaire que celui qui vient d'êlre considéré. Soit un faisceau linéaire simplement infini de sphères; leur intersection G est une sphère d'un plan à w — i dimensions; pour faciliter le langage, nous l'appellerons cercle. Prenons pour S une des portions de sphère limitée au cercle G, et désignons par 6 l'angle sous lequel elle coupe le plan du cercle, considéré comme aigu ou obtus suivant que S est la plus petite ou la plus

grande des deux portions de sphère séparées par C; désignons par p le rayon G.

Si G est aigu, l'aire S est concentrée près de C, et, en comparant son aire S à l'aire ^o de sa projection orthogonale sur le plan du cercle C, on a

cosG

Elle croît donc avec 9, le rapport — devenant infini pour Q = — , mais

le rayon R de la sphère équivalente reste égal à p, même pour Q = — {voii' la note du n° oi). Au contraire, pour 6 obtus, S constitue presque toute la sphère de rayon ■; — ^-^> et R, égal à ce rayon, croît avec 9.

Si maintenant nous voulons appliquer les considérations du numéro précédent, il faut comparer les éléments des différentes sphères situés sur des trajectoires orthogonales à ces sphères, c'està-dire sur des cercles orthogonaux. Lorsque 6 croît, chaque élément d'aire est remplacé par un élément d'aire plus grand, le rayon de la sphère équivalente à cet élément croissant. Mais il croît d'autant moins vite que l'élément considéré est plus près du cercle G, et, tant que le voisinage de ce cercle constitue presque toute la sphère, c'està-dire tant que 6 ne dépasse pas -) on s'explique que cette aire croisse

en restant du même ordre de grandeur, bien que ce soit une somme d'éléments pour chacun desquels l'ordre de grandeur aille en augmentant.

L'ordre de grandeur de chaque zone sphérique comprise entre deux plans très voisins parallèles à celui de C étant défini par son rayon, on s'explique que, dès que 9 est obtus, apparaissent des zones qui l'emportent sur celle voisine de G, et que R augmente.

57. Relations entre un volume et la surface qui le limite. — Nous avons déjà observé qu'un volume V, de dimensions finies, est concentré sur la surface S qui le limite. Gette circonstance est tout à fait générale, que cette surface soit convexe ou non. En effet un volume V, homothétique de V, le rapport d'homothétie étant inférieur à i et très voisin de ce nombre, est négligeable devant V. Les régions de V

extérieures à V constituent donc presque tout le volume V; or elles sont voisines de la surface S.

Pour mesurer V, on peut donc considérer ce volume comme formé d'éléments dY voisins de la surface S, ayant pour bases des éléments <iS, et limités latéralement par des normales à cette surface; ils seront limités d'autre part vers l'intérieur de V à une surface S| voisine de S, et dont la détermination est sans importance; ce qui est à l'intérieur de cette surface peut être négligé.

D'autre part on peut se contenter de considérer les portions de la surface S pour lesquelles la courbure^ moyenne K est dirigée vers rintérieur. Pour les autres, en effet, les éléments d\ considérés s'élargissent lorsqu'on s'éloigne de la surface, vers l'intérieur, et en les prolongeant au delà de S,, on a des éléments d\\ plus grands que les éléments dV correspondants. Étant à l'intérieur de V, ils ne constituent par leur réunion qu'une portion négligeable du volume total, et il en est de même a fortiori des éléments d\ correspondants.

Pour la même raison, on peut négliger les portions de surface pour lesquelles K = o.

Considérons maintenant deux éléments égaux, d'S et c/S', pris dans la région pour lesquels K est positif, et cherchons à comparer les éléments correspondants dW et d\' . A cet effet, considérons-les comme décrits par des éléments d'une surface S, allant de S à S, quand le paramètre \ dont elle dépend varie -de zéro à une valeur convenable, et définie par la condition que K -^ = i sur toute la surface S.

D'après la formule (6), les sections des éléments d\ et dW' par chaque surface S sont du même ordre de grandeur (*), et si ces éléments ne sont pas égaux, c'est que leurs hauteurs ne sont pas

égales, mais proportionnelles aux valeurs correspondantes de -jt;

comme d'ailleurs les portions de volume non voisines de S sont négligeables, il importe peu que les surfaces 2 n'aient pas aux points correspondants même courbure moyenne que S; il n'y a qu'à considérer les courbures moyennes K et K' des éléments <iS et <:/S', et

(^) Nous disons du même ordre de grandeur, el non égaux. En se plaçant dans l'espace E„, et effectuant ensuite le passage du fini à l'infini, il est facile de lever Tobjection résultant de cette circonstance et de rendre le raisonnement rigoureux.

l'on a

dS ~ dS' '

dS, d6\ d-^^ d-^)' désignant respectivement les mesures des éléments dSj dS', <iV, dV' .

On peut en particulier appliquer ce résultat en prenant pour ds'

un élément d'une sphère de rayon a. Le rapport — j^ a partout la

même valeur sur la sphère; cette valeur est donc —^, X^' et S' désignant

le volume et la surface totale de la sphère. D'après le n° 51, cette valeur peut être désignée par w, et il vient

/ \ j,c, dS

(9) '='^' = iû;'

et pour le volume total \'^,

D\L désignant une moyenne sur la surface S.

De la formule (9) résulte immédiatement l'énoncé suivant :

La moyenne, dans un volume V, d' une fojictionnelle uniformément continue, est égale à sa moyenne sur la surface S qui le limite, calculée en donnant à chaque élément de surface un poids proportionnel au produit de sa mesure par soji rayon de courbure moyenne. On peut d^ailleurs ne tenir compte que des portions de surface pour lesquelles ce rayon est fini et dirigé vers r intérieur.

Remarquons que ces résultats supposent l'existence, sur presque toute la surface, de plans tangents déterminés, et continus à la Lipschitz (c'est-à-dire que les rayons de courbure principaux sont limités inférieurement). Ce n'est en effet qu'à cette condition que le volume situé entre S et S, sera, pour un choix convenable de Sj, décrit une fois et une seule par des éléments de normales à S.

Si par exemple nous considérons le volume compris entre un plan et une calotte sphérique, et comprenant moins de la demi-sphère, presque toute la surface est dans le voisinage des points anguleux et nos raisonnements ne s'appliquent pas. Nous constatons en effet qu'une surface minima, le plan, constitue une fraction finie de la

33o TROISIÈME PARTIE. — MOYENNE DANS LE DOMAINE FONCTIONNEL.

surface totale, ce qui n'est pas possible pour une surface régulière fermée.

58. Variation d'un volume. — Des remarques analogues à celles relatives à la variation des surfaces s'appliquent à la variation des volumes. Soit à étudier la variation de la mesure \') d'un volume V limité par une surface S qui se déforme, ou, ce qui revient au même, le volume décrit par cette surface. On peut la représenter par l'expression

à condition de prendre les mêmes précautions que pour l'expression (7).

Nous savons que l'expression — (to — i)K8v(i^ de la variation de dS indique que, si K ôv ^ o, l'aire déformée devient, dès que X varie, négligeable devant l'aire initiale, de sorte que la variation de dé^ pour une variation finie de )^, si petite soit-elle, est — de. De même, l'expression ov dS du volume élémentaire décrit par l'élément dS

indique que, pour une variation finie de X, on a le volume 777 -^

^^'^ ' K((xj — i)

. fis ' . • 1

ou, ce qui revient au même, -j^^ — ? puisque co et w — i sont équivalents;

on retrouve ainsi l'expression (9).

Le rajon de la sphère équivalente au volume \ est, d'après la formule (10), égal à celui de la sphère d'aire équivalente à Faire S. Sa variation est donc la même, et dépend des valeurs de Kôv. Cela peut surprendre à première vue, l'expression ù d'Ç =^ ov dS ne contenant pas K; mais si l'on remplace dS par sa valeur KiodY tirée de la formule (9), on a pour la variation ù d'Ç l'expression Kio^yd'Ç tout à fait analogue à l'expression (4) de ^ dS et entraînant les mêmes conséquences.

59. Les variétés à w — 2 dimensions. — Plaçons-nous d'abord dans l'espace E„, et considérons un cojitour C, ou variété k n — 2 dimensions, intersection de deux surfaces S et S'. En un point A de ce contour, désignons par AN et AN' les normales à S et à S', par II le plan tangent à G, intersections des plans P et P' tangents à S et S', par AT une droite variable de ce plan. On peut étudier le contour G

en étudiant ses sections par les plans à 3 dimensions ATNN' ; ce sont des courbes, admettant une normale principale AH, le plan ATH pour plan osculateur, et une courbure k que nous représenterons géométriquement par un vecteur v égal à k dirigé sijivant AH.

Faisons décrire à AT le plan II. Soit v^ la moyenne, au sens géométrique, du vecteur v^ étant entendu que l'on accorde des poids égaux à des vecteurs décrivant des angles solides égaux; c'est une moyenne sur une sphère de l'espace à n — 2 dimensions. Chaque vecteur ç ayant pour projections sur AN et AN' les courbures des sections des surfaces S et S' par les plans ANT et AN'T, le vecteur Vm a pour projections les courbures moyennes K, et K'j de la section de S par le plan (11, AN) et de celle de S' par le plan (n, AN').

Nous appellerons la droite AH, qui porte ce vecteur, la normale principale moyenne du contour G; sa longueur K/„, courbure moyenne de ce contour; le plan déterminé par n et cette normale, plan osculateur moyen.

Si 9 et 8' désignent les angles de la normale principale moyenne avec AN et AN', comptés positivement de AN vers AN', et a l'angle de AN et AN', on a

cos6 cos6

Les formules (12) généralisent le théorème de Meusnier; les formules (12) et (i3) permettent de déterminer A*, 9, et 6'. La construction géométrique du centre de courbure moyenne (situé à la distance 7 sur la normale principale moyenne) est la même que dans l'espace ordinaire; M et M' étant les points situés sur AN et AN' aux distances tt ^^ tff^ ce centre est le pied de la perpendiculaire abaissée

de A sur MM'.

Ces différentes notions s'étendent sans peine au cas de l'espace fonctionnel. Dans ce cas, en vertu des résultats connus sur la moyenne d'une fonctionnelle sur une sphère, on remarque de plus que :

1^ Le centre de courbure des sections de C par les plans ATNN' sont presque tous confondus avec le centre de courbure moyenne; le

plan osculateur a presque toujours la même position; le rajon de courbure a presque toujours la même valeur;

2° Les nombres K, et K', sont égaux aux courbures moyennes K et K' de ces surfaces; les formules (i:^) s'écrivent donc

cosO cosO"

les points M et M' sont les centres de courbure moyenne des surfaces S et S'.

60. Des considérations analogues aux précédentes s'étendent aisément à la notion de courbure géodésique sur une surface.

Pour une courbe tracée sur la surface S, la courbure géodésique est la courbure de sa projection sur le plan tangent; elle est représentée par le vecteur i'o^, projection du vecteur ç sur ce plan.

Lorsqu'on considère les différentes courbes tracées sur S, sections d'un contour G de cette surface par tous les plans à trois dimensions contenant le plan ANN, normal à G, les vecteurs i^«^ ont tous même direction AN,, située dans le plan tangent à S et normale à G. Leur moyenne est la projection du vecteur (',„, moyenne au sens géométrique des vecteurs v; c'est la courbure géodésique moyenne de G, projection de sa courbure moyenne, ou, ce qui revient au même, courbure moyenne de sa projection sur le plan tangent à S. Désignant sa grandeur par K^, on a évidemment

(i5) K^= K„,sin0 =KtgO.

Nous désignerons par géodésiques d^ ordre to — 2, ou simplement, lorsqu'il n'y aura pas ambiguïté, géodésiques^ les variétés à w — 2 dimensions pour lesquelles K-= o. (On définirait de même les géodésiques de divers ordres; les remarques qui précèdent s'étendent en effet sans peine aux variétés à w — p dimensions; on peut aussi les étendre aux variétés à p dimensions; mais dans ce cas, les deux remarques finales dn numéro précédent ne s'appliquent pas.)

La formule (i 5) nous montre que, si la surface S n'est pas minima, une géodésique est une variété à to — 2 dimensions dont le plan osculateur moyen est normal à la surface.

D'après la formule (i4), une surface minima, contenant un contour G dont la courbure moyenne n'est pas nulle, admet pour plan

tangent, en chaque point de C, le plan oscillateur moyen de ce contour; réciproquement, si elle est tangente à ce plan, sa courbure moyenne est nulle pour les points de G. Si C est sur une surface S non minima, nous voyons que la condition nécessaire et suffisante pour les surfaces minima contenant G soient normales à S, est que G soit une géodésique de S.

On remarque que la condition imposée à une surface contenant G d'être minima entraîne que cette surface ait un plan tangent déterminé, comme si l'étude des surfaces minima dépendait d'une équation du premier ordre, et non du second. Des circonstances analogues joueront un grand rôle dans le Ghapitre suivant. Dans l'espace à n dimensions, une surface minima S contenant un contour G peut de plus avoir un plan tangent arbitraire ; mais celles qui touchent le plan osculateur moyen de G sont caractérisées par une circonstance particulière : elles ont avec la normale principale AH moyenne de G un contact du second ordre. Ainsi, la courbure moyenne étant la moyenne des courbures des sections normales de S tangentes à n — ■ 1 directions du plan P perpendiculaires deux à deux, on peut prendre n — 2 directions dans le plan 7t tangent à G, la dernière étant AH; les courbures correspondantes sont nulles en moyenne dans chacun des deux groupes. Lorsque n devient infini, la courbure relative à une direction unique n'a plus d'importance dans le calcul de la moyenne; il est alors indifférent que la surface 2 ait avec AH un contact d'ordre 2; la condition pour que sa courbure moyenne soit nulle est que les courbures normales correspondant aux directions du plan n soient nulles en moyenne, c'est-à-dire que le plan tangent à S soit le plan osculateur moyen de G.

61. L'étude de la déformation d'un contour sur une surface S est analogue à celle d'une surface dans l'espace. Il y a même identité, si S est un plan, rien ne distinguant la géométrie d'un plan à oj — i dimensions de celle de l'espace fonctionnel. On passe de là à une surface quelconque en assimilant chacun de ses éléments à un élément de plan; il en résulte des erreurs sur les angles ou des erreurs relatives sur les longueurs, qui sont infiniment petites du second ordre, et par suite sans influence sur les variations premières des quantités considérées. Toutes les considérations des n°' 34 à 08 s'appliquent donc, matatis mutandis ; précisons en particulier que

la notion de courbure moyenne d'une surface est remplacée par celle de courbure g-éoc/ésique moyenne d'un contour.

En particulier, par extension des résultats qui terminent le n** oo, si une surface fermée S est décrite par un contour G dépendant d'un paramètre a :

i" Sauf au plus pour certaines valeurs exceptionnelles de X, la courbure géodésique moyenne de chaque contour G a presque partout la même valeur;

2"" 11 existe évidemment au moins une valeur de A pour laquelle le voisinage de G constitue une fraction finie de la surface; pour le contour G correspondant, la courbure géodésique moyenne est presque partout nulle.

Remarquons aussi que si une portion S de surface, d'aire S, est limitée par un contour G, de mesure G, dont la courbure géodésique moyenne soit presque partout dirigée vers S, on a, par généralisation de la formule (lo),

62. Décomposition en carrés d'une forme quadratique. — Avant d'indiquer d'autres applications des notions de volume et d'aire, à l'étude du volume de l'ellipsoïde et de la courbure totale des surfaces, il est nécessaire de rappeler quelques résultats, dus à MM. D. Hilbert (') et E. Schmidt (-), et rapidement devenus classiques, sur la décomposition en carrés d'une forme quadratique^ c'est-à-dire d'une fonctionnelle entière et homogène du second degré. Pour plus de détails, ou pour les points qui seront indiqués sans démonstration, le lecteur peut se reporter au Mémoire de M. E. Schmidt ou aux Ouvrages déjà cités sur la théorie des équations intégrales (première partie, n° 100).

Si étant donnée une forme quadratique U, nous arrivons à trouver une suite de fonctions orthogonales et normales

/l(0, Ait), ..., fn(t), ...,

(') D. Hilbert, Grundzuge einer aUgemeuien Théorie der linearen ïnlegralgleichungen {Gôttinger Nachrichten, années igo^ et suiv.).

(^) Schmidt, Zur Théorie der linearen und nlcht linearen Integralgleichungen {Mathematlsche Annalen, t. 63 et suiv.).

telle que

U = Cl af -4- C2 a| -H . . . -4- C/, a,^i + . . . ,

Un= f Mt)T{t)dt],

la forme quadratique sera décomposée en cannés. Une telle décomposition n'est d'ailleurs pas toujours possible, comme nous allons le voir en cherchant à généraliser la théorie relative au cas des formes quadratiques de n variables.

Les directions des axes de coordonnées a^^ a^^ . • ., a^, . . ., ou axes de la quadrique U=:const., s'obtiennent en cherchant les points où cette quadrique et la sphère r^rzzconst. ont même plan tangent, c'est-à-dire où la variation ô(XU — r-) est identiquement nulle, X étant un coefficient convenable. L'équation en x{t) ainsi obtenue est en général une équation intégrale, naturellement linéaire et homogène.

63. Forme normale de Gâteaux. — Plaçons-nous d'abord dans le cas où U a la forme normale de Gâteaux

(i;) ^~f I ?{fy '^)^{0^i''-)dtdz,

o(^, t) étant symétrique et de carré sommable. On a

8(XU — r») =2 r oa;it)dt\\ f ^(t, x) x(z) dz — x(t)\.

Les fonctions x{t) annulant cette variation sont donc les solutions de l'équation de Fredholm, homogène et à noyau symétrique

(i8) x{t) = \ f o{t,')x{'z)dz.

11 n'existe de solution non identiquement nulle de cette équation que si X est une des racines

(19) Xi, X2, ..., X,j, ...

de son déterminant; ce déterminant étant une fonction entière de X, ces racines, que l'on appelle nombres fondamentaux ou caractéristiques de l'équation (18), ou bien sont en nombre fini, ou bien

croissent indéfiniment. Dans la suite (19), nous supposerons chaque racine écrite un nombre de fois égal à son ordre de multiplicité.

A une racine simple "k^ correspond une solution yrt(^) de l'équation (18), définie à un facteur constant près. Nous supposerons ce facteur choisi de manière que^la fonction y„(^) soit normale.

A h racines égales correspondent des solutions de l'équation (18), fonctions linéaires à coefficients arbitraires de h d'entre elles, qu'on peut supposer orthogonales et normales, et que nous ferons correspondre aux racines considérées.

A la suite des nombres fondamentaux correspond ainsi une suite de solutions fondamentales

(20) A(0, Ait), ..., fn{t), ...

de l'équation (18). Je dis que ces fonctions sont orthogonales et normales.

D'après la manière dont nous les avons choisies, elles sont normales, et celles qui correspondent à des valeurs égales de X sont orthogonales. Il reste à vérifier que deux fonctions /„(^) etfp{t)^ correspondant à deux valeurs distinctes A^^ et \p^ sont orthogonales.

On a, par définition defn{t)j

Mt)=\n f <^(t,z)Mz)ch,

d'où, en multipliant par 'kpfp{t) dt et intégrant de o à i ,

, kp f Mt)fp(t)dt = -kn>^p f f <o{t,'z)f,{t)fn{'z)dtdx.

Le deuxième membre ne change pas si l'on intervertit les indices n elp. Il en est donc de même du premier, ce qui donne

(In-lp) f fn{t)fp{t)dt = 0.

Le premier facteur n'étant pas nul, le résultat énoncé est établi.

64. On peut établir une théorie des développements des fonctions de carrés sommables de deux variables en séries de fonctions orthogonales, analogue à celle déjà exposée dans le cas d'une variable.

Nous considérerons à cet effet deux suites complètes de fonctions

orthogonales et normales

Les fonctions /p(^)^-y(':), considérées comme fonctions des deux variables t et t, sont orthogonales et normales dans le carré o <i t<^i, o<<':<i.

Soit d'abord une fonction cp(^, t) continue dans ce carré. On peut, pour chaque valeur de t, la représenter par une série de fonctions /n{t)^ les coefficients

pouvant eux-mêmes se représenter par une série de fonctions gn{'^)' On est ainsi conduit à représenter cp(/, t) par la série

(22) où

2 ^''r,7fp(nê''/{'^.

(23) cp^,j= f f f,,(t)g^iz)f{t,z)dtdi.

On vérifie d'ailleurs sans peine qu'elle converge en moyenne vers(p(^, t).

Si la fonction co(^, t) n'est pas continue, mais seulement de carré sommable, on peut en approcher en moyenne, autant qu'on veut, par une fonction continue, et par suite, par une somme limitée de la forme (22). Or de toutes les sommes de cette forme, formées avec des systèmes déterminés d'indices yw, q, mais des coefficients indéterminés, on vérifie sans peine que celle qui approche en moyenne le plus de C3(^,':) est celle formée avec les coefficients (23), projections de la fonction cp(^, t) sur les vecteurs qui représentent //,(^)^<y(T) dans l'espace fonctionnel à 20) dimensions qui représente les fonctions de carrés sommables de deux variables. 11 est donc certain que la série (22), p ei q prenant toutes les valeurs entières, converge en moyenne vers cp(^, t).

Inversement, si les coefficients Cp^q sont donnés, et tels que S^ soit finie, on vérifie sans peine que la série (22) représente une

LIÎVY. 22

fonction cp(^, t) de carré soinmable, et que

60. Appliquons ces résultats au cas où l'on prend pour fonction cp(^, t) la fonction symétrique, nojau de l'équation (18) et pour suite des /p(t) et pour suite des gph) la suite (20), supposée complète. Il vient

^P,^= f fp(t)dt f f,{x)^{t,x)d-=± f f,{t)f,{t)dt,

c'est-à-dire o, si p et q sont différents, etr— ? s'ils sont égaux. On a alors

(,5) ,u,x)=/lii^'-^-...+ :MiiA(l)^...,

Al A/2

cette série étant, sinon convergente, du moins convergente en moyenne, dans le carré o<^^<^i, o<^':<^i, et

formule qui montre que les X„, racines du déterminant de l'équation (18), ne sont pas des nomb'res quelconques, mais doivent croître assez vite pour que cette série converge.

En portant cette expression dans la valeur de la fonctionnelle U, on trouve

(27)^ , U= yL+...-+-^+...,

série qui est bien convergente, puisque llaf^ est fini et que les an augmentent indéfiniment.

66. 11 peut arriver que la suite (20) ne soit pas complète. Les séries ^Cp^qfp{t)fg(^^) ne représentent pas dans ce cas toutes les fonctions de carrés sommables. Le résultat fondamental de M. Schmidt consiste en ce qu'elles peuvent certainement représenter le noyau cp(^, t) dont la suite (20) est déduite. Alors les formules (25), (26) et (27) restent valables, la série de la première formule étant convergente en moyenne, et les autres étant convergentes.

Pour montrer la possibilité, soit de ce cas, soit du précédent où la suite (20) est complète, il suffit de se donner a priori cette suite, finie ou infinie, et dans ce dernier cas complète ou incomplète, puis les X^ tels que la série (26) converge. La série (aS) définit alors la fonction de carré sommable cp(^, t), et il est bien évident que l'équation (18), pour ) =: A;j, admet la solution /;î(/), de sorte qu'en partant de cette équation, on retrouve la suite des fonctions /«(^) choisies.

67. Gomme conclusion de ce qui précède, nous voyons que la fonctionnelle (17) est toujours décomposable en un nombre fini ou une infinité dénombrable de carrés orthogonaux. En d'autres termes, on peut rapporter la quadrique U 1= const. à ses axes, comme nous nous étions proposés de le faire.

Si la suite (20) n'est pas complète, le système des coordonnées «j, «2. •••5 (^Wj ••• peut être complété par d'autres coordonnées 6,, b'2, .... Ces dernières n'intervenant pas dans l'expression (27), la quadrique U = const. est du type parabolique; d'une manière plus précise, c'est un cylindre, ayant ses plans générateurs parallèles au plan

Si la suite (20) est complète, la quadrique U = i est du type ellipsoïde ou du type hyperboloïde suivant que les X^ sont ou non tous du même signe.

Dans un cas comme dans l'autre, les demi-axes ont la valeur In = s/\n' On remarque qu'ils deviennent infinis, la série ^ -p^ étant convergente.

68. Forme normale quelconque. — Des circonstances toutes différentes se présentent si U n'est pas une fonctionnelle de Gâteaux. Supposons-la de la forme

(•28) U = r ^(t)x^(t)dt.

La condition ô(aL — r-) =i o s'écrit

ï^our aucune valeur de X, elle n'est vérifiée pour une fonction non identiquement nulle, du moins en général. Pour expliquer cette circons-

34o TROISIÈME PARTIE. — MOYENNE DANS LE DOMAINE FONCTIONNEL.

tance, appliquons la méthode du passage du fini à l'infini. Remplaçons d'abord <|>(^)par une fonction simple d'ordre n égale successivement

àtj>,, '^2, . . ., 'ha- Dans l'intervalle ( ? - j ? le facteur)/i>(0 — i s'annule si l'on prend A = -- , et la condition précédente est vérifiée si

x(^i) est nul en dehors de cet intervalle. Si nous nous bornons aussi pour xij) aux fonctions simples d'ordre ai, nous n'avons qu'à prendre

comme valeur de x{^t) correspondant à la valeur Xf=i j- •> la fonction

Xii^t) égale à y/ ai dans l'intervalle ( ? - j et nulle en dehors de cet

intervalle, et nous avons la formule de décomposition en carrés

en posant ^(^) =: 2ai;rt(^), c'est-à-dire que \iz=i\Jnai est la valeur de xi^t) dans l'intervalle

Quand n augmente indéfini aient, l'ensemble des valeurs caractéristiques de X tend vers l'ensemble de toutes les valeurs de -r-, — : on

dit qu'il forme un spectre continu^ tandis que, dans le cas précédent, on avait un spectre discontinu. La somme des carrés tend alors non vers une série, comme dans l'exemple précédent, mais vers une intégrale, qui n'est autre que l'intégrale (28). Chacune des fonctions Xii^t) ne converge pas en moyenne vers une fonction de carré sommable, puisque son module fonctionnel restant égal à i , elle tend vers iéro, sauf en un point de l'intervalle (o, i) ; ceci explique que nous n'ayons pas pu trouver de fonction de carré sommable correspondant à chacune des valeurs caractéristiques À ■=^ ~rr~\ ^^ annulant a(XU-r2).

C'est d'ailleurs cette circonstance qui caractérise le cas du spectre continu, et non le fait que les longueurs des demi-axes des n}^"^^^ sections aient pour valeurs limites toutes les valeurs d'un certain intervalle. Cette dernière circonstance est réalisée aussi par exemple pour la quadrique

les Cn étant finis et partout denses dans un certain intervalle ; mais en

direction, les demi-axes de la quadrique tendent vers des droites limites déterminées, situées dans l'espace fonctionnel, c'est-à-dire représentant des fonctions de carrés sommables ; c'est ce qui caractérise le cas du spectre discontinu.

Si la fonction <{/(^) garde un signe constant sans s'annuler, la forme L sera définie, la quadrique U = const. étant du type ellipsoïde. Si ^(t) s'annule dans une partie de l'intervalle (o, i), la quadrique L = const. sera un cylindre, elliptique ou hyperbolique suivant que les valeurs non nulles de ^(t) sont toutes de même signe ou non. Si '^(t) change de signe, en ne s'annulant que pour les points d'un ensemble de mesure nulle, ce qui est indifférent pour la fonctionnelle L , la quadrique est du type hyperbolique.

De toute façon, les demi-axes de la quadrique U == i prennent

toutes les valeurs de la fonction -^== •

69. On obtient naturellement des circonstances plus générales pour la forme

(29) • ^' = / / ^{t, 'z)x{t)x{')dtdi-\- j ^{t)x^(t)dt

qui comprend les deux précédentes comme cas particulier. La condition o(}.U — 7-2) = o s'écrit

x(J)[j — l ^(f)] = \ f ro{t. z)xi'z)d'z.

Tant que | ^ | -^ t^w-j ')i^ désignant le module maximum de 'i>(^),

on peut diviser par i — \hiyl)^ ce qui ramène l'équation à la forme de Fredholm, et la solution est donnée par les formules habituelles; on ne peut avoir qu'un spectre discontinu. Mais le spectre peut

devenir continu dès que | À | dépasse la valeur — •

70 Forme générale. — Des circonstances différentes encore se produiront pour les formes qui ne sont pas normales. Soit, par exemple, la fonctionnelle déjà considérée

<3o) U = /■ xU)x{\ — t)dt

La condition S(XU — /•-) = o s'écrit

Pour que cette formule soit vraie à la fois pour t gI \ — ^ ^, il faut que Irzrzhi. Pour la valeur caractéristique i, les fonctions x{^t) correspondantes doivent être telles que x{t) =^ x{y — ^), c'est-à-dire paire^ si on la prolonge pour t négatif de manière qu'elle admette la période i . Pour \^=z — i , les fonctions correspondantes seront impaires. On a ainsi deux valeurs caractéristiques d'ordres infinis, et en développant les fonctions paires en série de fonctions orthogonales et normales

Mt), Ait), .... f,,it), ...,

et de même les fonctions impaires en une série analogue de fonctions on arrive à la formule

^^ r^r^(^) -+-^(1-^)1--^^ r'rx(t)~x{i-t)y

dt=zi,(— i)«a2

On voit que nous obtenons une décomposition en une infinité dénombrable de carrés, mais dans laquelle les coefficients alternativement égaux à — I et à -f- i , ne tendent pas vers une limite. Cette circonstance ne semble pas pouvoir se produire avec une fonctionnelle normale; en tout cas, elle ne le peut pas, comme nous l'avons déjà remarqué, si la suite des fonctions//, (^) correspondant aux axes est la suite (6) du Chapitre précédent.

Elle se produira au contraire, en général, avec une fonctionnelle générale donnant lieu à un spectre discontinu, puisqu'une telle fonctionnelle peut être obtenue en choisissant arbitrairement les directions des axes, et une suite de nombres c,, Co, . . ., c„, . . ., dont les modules soient bornés, et en posant

U = Cl a| -h C2 a| 4- . . . + c,j a;^ -I- . . . .

71. Le volume de l'ellipsoïde. — Proposons-nous d'évaluer le volume de l'ellipsoïde dans les différents cas que nous venons de considérer. Soit d'abord Tellipsoïde c", d'équation

Al A2 A/i

le système des axes des «i, a^-, . . ., «„, . . . étant supposé complet, et les \ji étant des nombres positifs, augmentant indéfiniment que nous supposerons rangés par ordre de grandeurs croissantes (si 2^ Y^

converge, U est une fonctionnelle normale de Gâteaux) .

La section de cet ellipsoïde par le plan des a,, a^-, • . -, ci,i est un ellipsoïde, équivalent à une sphère du même plan, dont le rajon, moyenne géométrique des demi-axes v/)m,v/>*^2, ..., y/X,, augmente indéfiniment avec ai. A la limite, le volume de l'ellipsoïde i.' apparaît comme supérieur à celui de n'importe quelle sphère.

Au lieu de la section de l'ellipsoïde C par le plan des a^^ a>. ...^a,n on peut considérer sa /i'^™^ section c„, soit au point de vue du n'' 48, soit au point de vue du Chapitre HT, les axes étant seulement différents de ceux de l'ellipsoïde. Nous allons montrer que les demi-axes de l'ellipsoïde C,i, rangés par ordre de grandeurs croissantes, tendent respectivement vers y/X,, y/Xg, . . ., de sorte que la conclusion relative au volume de l'ellipsoïde C reste exacte à ce nouveau point de vue.

Pour simplifier le raisonnement, nous supposerons les \„ tous distincts; il n'y aurait aucun changement essentiel si l'on en supposait plusieurs égaux.

Pour n assez grand, le plan de l'ellipsoïde Cn approche autant qu'on veut de tout point de l'espace fonctionnel, et en particulier des extrémités de l'axe des «, dans l'ellipsoïde C. Par suite, €„ contient des points dont la distance au centre, évidemment toujours supérieure à \/T,, approche autant qu'on veut de cette valeur. Donc le plus petit demi-axe de l'ellipsoïde C^ tend en grandeur vers y/X( et par suite en position vers l'axe des a<.

Dans la section de l'ellipsoïde Cn par le plan perpendiculaire à cet axe, plan qui tend vers le plan a^:= o^ la distance au centre devient et reste supérieure, pour n assez grand, à y/Xo — s, s étant un nombre positif arbitrairement petit. Les deux points de cette section les plus rapprochés du centre tendent alors vers les extrémités de l'axe des «2 dans l'ellipsoïde »!'. Le second des demi-axes de l'ellipsoïde *!'«, rangés par ordre de grandeurs croissantes, tend donc versy/Xg; et ainsi de suite. c. Q. F. D.