Plaçons-nous maintenant dans le cas de l'ellipsoïde

les A„, tous positifs, ayant une limite finie et non nulle -j-r' Les Ion-

gueurs des demi-axes tendent vers L, et peuvent être tantôt inférieures, tantôt supérieures à celte valeur. On peut appliquer le principe du raisonnement précédent, en cherchant séparément les plus grands et les plus petits demi-axes de la /î'^™' section. On trouve ainsi que les demi-axes de cette section tendent respectivement

vers —=:^, —=^} • • •> le nombre de ceux qui ne sont pas compris entre

v/ÂT v/A2 ^ * ^

L — e et L + e. restant fini, quelque petit que soit t. Le rayon de la sphère équivalente tend alors vers L,

On peut même obtenir un résultat plus précis, dans le cas ovi le produit

a une limite déterminée, finie, infinie ou nulle, mais indépendante de

l'ordre des facteurs, c'est-à-dire quand la série 2 ( A„ — j— | n'est pas

semi-convergente. Ce produit représente le rapport du volume de la sphère de rajon L dans l'espace E„ à celui de la section de l'ellipsoïde (32) par le plan des a, a-^. . . a„. Si au lieu de cette section on considère la /i"'"* section de l'ellipsoïde dans un système quelconque, on démontre que le rapport du volume de la sphère de rajon L dans l'espace E„ à celui de cette /i'*™" section a la même limite, finie, infinie, ou nulle. Ce résultat donne une idée plus précise du volume de l'ellipsoïde (Sa) que ne le fait la connaissance du rayon L de la sphère équivalente.

73. Dans les cas que nous venons de considérer, les demi-axes ont une limite, finie ou infinie. Si par exemple cette limite est finie et égale à L, on peut, s étant arbitrairement petit, couper la surface par un plan diamétral à to — p dimensions [p étant fini), de manière que tous les points de la section soient à une distance du centre comprise entre L — s et L-j-e. Cette section est presque une sphère, et le fait que dans les directions conjuguées, en nombre fini, les demi-diamètres soient différents de L, ne change pas l'ordre de grandeur du volume. Ces circonstances ne sont possibles que dans le cas du spectre discontinu. Il reste à étudier le cas où, le spectre étant discontinu, les demiaxes n'ont pas de limite, et le cas du spectre continu ou mixte.

CHAP. IV. — AIESUIIK 1>ES VOLLMKS KT DKS SUIIFACKS. 3/\5

Dans ces cas, les demi-axes n'ayanl pas presque tous la inèiiic valeur, leur ordre n'est pas indillércnl, et le choix de la /i''""" section <jue l'on considère ne l'est pas non plus. 11 faut alors se placer au point de vue indiqué n" 48, lié au point de vue de Gâteaux. Comme il est souvent plus commode de se placer au point de \ ue du Chapitre III , il est intéressant de se demander dans quel cas ces points de vue sont équivalents. Il est j)rohable que, comme c'était le cas dans l'étude de la moyenne, il y a équivalence des deux points de vue, soit pour une fonctionnelle U normale et une suite également dense, soit pour une fonctionnelle générale et une suite normalement dense. Nous ne l'avons pas démontré rigoureusement.

74. Nous allons montrer dans un cas particulier qu'il en est bien ainsi. Considérons relli})SOïde U= i, U désignant la fonctionnelle

(33) l = / [x'^i /) + x{() xi\ — t)-^ x^-(i — t )]dt

dl.

l*our définir ce volume, nous devons considérer sa (/i — iy«me ggç tion réduite, en nous plaçant dans le champ des fonctions simples d'ordre n — i, ayant une valeur constante Xi\/ii — i dans chacun des

intervalles { > — — ) • En groupant les termes d'indices i et ii — f ,

U apparaît comme somme de termes de la forme

Xi~\-X,i-i\' [Xi Xfi—

Le terme d'indice - pouvant évidemment être négligé, si n est pair €t suffisamment grand, les demi-axes sont égaux, la moitié à i, l'autre

moitié à — ^- Leur moyenne géométrique, ou rayon de la sphère équi-

valente, tend donc vers ^7=.» tandis que la valeur movenne de U sur la y/s

sphère de ravon i est égale à 2.

Prenons maintenant un système de coordonnées orthogonales, définies par des fonctions f„{t) de période 1, et qui soient toutes paires ou impaires. Désignons par «„ les coordonnées correspondant

aux fondions pailles et bn celles qui corres])()ndenl aux fonctions impaires. I^a fonctionnelle U prend la forme

Pour que les demi-axes aient bien pour moyenne géométrique -i—j

il faut et il suffit que les fonctions /„(/) soient rangées dans un ordre tel que les n premières fonctions comprennent un nombre de (onctions paires équivalent pour n infini à -• C'est précisément la condition pour que la moyenne des coefficients soll ■ = 2, c'est-à-dire

pour que la valeur moyenne de U sur la sphère /•-= i soit bien 2.

Par généralisation, il est naturel de penser que les conditions pour que la moyenne géométrique des demi-axes soit la même aux deux points de vue, sont les mêmes que les conditions pour que la moyenne de U sur la sphère de rayon i soit la même aux deux points de vue ; ces conditions seraient donc que la suite des fonctions /,j(^) soit noiinalenKiiit dense, ou du moins n'admette comme ligne exceptionnelle aucune ligne qui le soit aussi pour la fonctionnelle U.