LE POINT DE VUE PRATIQUE

G6. Fonctionnelles continues dans le champ des fonctions de carrés sommables. — Ce sont celles que nous considérerons principalement. Nous avons déjà remarqué qu'en pratique, il n'y a guère intérêt à introduire d'intégrales de Stieltjes dans les formules. Cette introduction, nécessaire évidemment si l'on veut obtenir une représentation générale des fonctionnelles considérées, ne fait en général que compliquer les calculs sans en changer essentiellement les conclusions. Aussi, lorsque nous considérerons des fonctionnelles entières et

homogènes du second degré, les supposerons-nous de la forme

(n) U= r f^(t,ti)x{t)x{t^)dtdt,^jf{t)x'^{t)dt

Dans cette expression, l'intégrale double correspond à des niasses réparties dans le carré o<^<i, o<^,<i, avec une densité superficielle C5(#, tf) de carré sommable; la première intégrale simple correspond à des masses réparties sur la diagonale t = ti avec une densité linéaire/(/!) mesurable et bornée; les autres intégrales simples, réunies sous le signe S, correspondent à des masses réparties sur d'autres lignes C, intérieures au même carré, et ne,pouvant comprendre aucun segment de droite parallèle aux axes. L'ensemble des masses peut être supposé réparti symétriquement par rapport à la diagonale f = ^,, ce qui exige en particulier que cp(i, /, ) soit symétrique en f et t^; cela ne restreint pas la généralité.

Parmi ces fonctionnelles, il nous arrivera de considérer spécialement celles du type

(12) U= / / ç(f, ti)x(t)x{ti) df dti-^- I f(t)x^-{t)dt,

Jo '-■'0 '- 0

que nous appellerons fonctionnelles normales du second degré. Les autres seront dites fonctionnelles générales, entières et homogènes du second degré.

Pour montrer la raison de cette distinction, considérons l'expres-

ff(t)x{t)x(i — t)dt.

C'est une fonctionnelle singulière, correspondant à des masses réparties sur la droite t-\- t^:= ^ . On remarque que sa définition introduit une solidarité entre les valeurs de x pour des points symétriques l'un de l'autre par rapport au milieu de l'intervalle (o, i). La dérivée fonctionnelle

Ix= [gij)^g{\-t)]x(i-t)

relative au point t dépend spécialement de la valeur de x au point I — t.

CHAP. V. — VARIATION SECONDK KT FONCTIONNKI.LES DU SF.CONI) I)i:(;ni':. 85

Une telle solidarité enlre deux [>oiiil.s dislincls n'existe pas dans les fonclionnelles que les proi)l«!;iues [>liysiqiie> eondnisenl à (Ujusidérer. Ces fonctionnelles seront donc normales.

Au point de vue du développement de la théorie mathématique, à l'expression (i i) (pii déjà n'était pas tout à fait générale, on peut souvent, sans inconvénient, suhstiluer l'expression (12). La forme plus sinqile de cette expression facilite le développement de la théorie sans risquer de la conduire dans une fausse direction, comme ce serait le cas, ainsi que nous le remarquerons plus loin, si l'on voulait réduire cette expression à l'intégrale double. Les résultats, une fois obtenus, peuvent ensuite être vérifiés dans le cas général.

67. Le passage du fini à l'infini. — Les fonctionnelles homogènes et entières du second degré peuvent, si elles sont continues, être obtenues par la méthode du passage du fini à l'infini.

Pour une fonction simple d^ordre n, c'est-à-dire ayant une valeur

constante x; dans chacun des intervalles ( ■> - ) , la fonctionnelle

considérée prend la forme

Or, on peut trouver une fonction simple d'ordre n approchant en moyenne autant qu'on veut de toute fonction oc{t^ de carré sommable. Le point de l'espace fonctionnel représentant xîl) est donc la limite de points représentant des fonctions simples d'ordres croissants, et, en raison de la continuité, la fonctionnelle D est la limite des valeurs correspondantes de «„.

Les nombres xt sont assujettis à la condition que - "ï^x] ait une limite déterminée, c'est-à-dire que les quantités x] et xiXj sont en moyenne finies. L'expression (i3) restera alors finie si iSc,.y est finie. Il suffit pour cela que les coefficients c/y soient de l'ordre de grandeur de — ; s'il y en a de l'ordre de grandeur de — > il faut que leur nombre soit de l'ordre de grandeur de n.

L'ensemble des termes qui sont de l'ordre de grandeur de — conduisent à la limite à l'intégrale double des expressions ( 1 1) et (i 2). Ceux qui sont de l'ordre de grandeur de -> si leur nombre est de

Tordre de grandeur de -» conduisent à des intégrales simples. Il est parlicidièrement naturel de s'attendre à ce que les coefficients de xj jouent un rôle particulier et soient de Tordre de grandeur de -• S'ils sont seuls dans ce cas. la fonctionnelle obtenue est normale.

68. Les dérivées fonctionnelles secondes. — Passant de la notion de fonctionnelle du second degré à celle de variation seconde, considérons une fonctionnelle L avant une variation seconde de la forme normale

en écrivant, pour simplifier, x et x^ au lieu de x{t) et x{ti). Cette variation apparaît comme étant la limite dune différentielle seconde

; = n j = n ( I 5 ) d- Un=/ 2, ^'J ^^« '^^.Z'

les coefficients c/v étant de Tordre de —, et les autres coefficients c/ ,.

si la fonction 'c( t. t^) est bornée, étant de Tordre de —7- Supposons

d" ailleurs

(f(7, f,) = ç(^i, n, c,j=cj,-,

ce qui ne restreint en rien la généralité. On a alors

^'■' ~ ôxf ' ^'-^ ~ àXi âXj

Passant à la limite, nous appellerons dérivées Jonctlonnelles secofides de L, et désignerons par U".» et U^,.^ les fonctions

^16) \j'U = f(t), U'L;= rif: ii)-

Ce serait une erreur, ou du moins une notation risquant de conduire à des erreurs, de désigner par L",, et de considérer comme généralisant la dérivée ——^^ la fonction cl /, / ). au lieu de fit ), ainsi qu'on serait conduit à le faire si Ton n'introduisait pas systématiquement l'intégrale simple dans l'expression dune fonctionnelle normale du second degré.

CHAI'. V. — v.viiiATioN si:(:(»MtK kt foxctionmcli.es uu sixonmi i)i;(.iiic. 8;

Ainsi, nous xciioiis dans la Iroisit'nw l'ailic qiir la iIm-uiic <\tt r r ( [ Il a 1 1 1 1 n

(17) I J\l\(lt = 0

j;éneTali.se d'une nianirrc r('inar(|ual)lc la llic(n'I(î de Téqualion de La|)hu'(\ Il n'en est pas de même tic 1 <(juation

(iSj çit, f )d/ — o,

que le point de vue indiqué conduirait à considérer comme la géiiéralisalion naturelle de Téqualion de Laplace.

On peut même dire que celle équation ne paraît pas susceptible de présenter de l'intérêt. La fonction 'j>( /,<,), qui intervient dans une intégrale double, est essentielleiiienl une fonction mesurable superlîciellemenl. On peut changer sa valeur sur la droite t=^ i, sans rien changer d'essentiel ; même si l'on suppose la fonction 'Zi(t,ti) continue, on peut s'arranger pour (pie le changement ne porte que sur une aix-e aussi petite que l'on veut.

On peut, de celte remarque, déduire la conséquence suivante : de l'équation (18) ou, d'une manière générale, de toute équation faisant intervenir spécialement les valeurs de o(f, t, ) le long d'une courbe, on ne peut déduire aucune conséquence relative à la fonctionnelle U vérifiant cette équation et vériliable par un calcul numérique approché, portant sur la fonctionnelle elle-même et non sur ses dérivées. En d'autres termes, une fonctionnelle continue cjuelconque, donnée dans un domaine fini, peut être approchée autant qu'on veut dans tout ce domaine par une solution de l'équation considérée.

69. Les fonctionnelles dont la variation seconde est normale jouissent de cette propriété que la variation seconde est définie par la donnée des dérivées fonctionnelles secondes. C'est de là que vient leur intérêt.

Dans le cas général, si la donnée des dérivées fonctionnelles secondes ne suffit pas pour définir o-L, il faut remarquer qu'elles sont tout de même bien définies. Il peut exister des masses réparties sur des lignes autres que la droite i == ^, ; cela n'empêche pas que la densité superficielle Uj,,.^ est bien définie, sauf peut-être pour les

points d'un ensemble de mesure superficielle nulle, ce qui est sans importance, et, si elle est continue, elle est définie partout; de même U'U, qui est au facteur y/â près la densité linéaire sur la droite < = ^,, est toujours bien définie.

D'ailleurs, les propriétés résultant d'équations aux dérivées fonctionnelles telles que l'équation de Laplace (17) ou Téquation (19) cidessous, plus faciles à vérifier dans le cas des fonctionnelles normales, s'étendent au cas général, comme nous le verrons au Chapitre suivant et dans la troisième Partie.

70. Les fonctionnelles de Gâteaux. — Nous désignerons ainsi les fonctionnelles pour lesquelles

Si elles sont normales et du second degré, leur expression se réduit alors à l'intégrale double

(•>o) / / cp(/, fi)x(fi)dtdti,

c'est-à-dire que la répartition de masses liée à cette fonctionnelle ne comprend que des masses réparties superficiellement.

On pourrait penser que les propriétés principales des fonctionnelles (20), au point de vue de leur continuité, tiennent à l'absence de masses réparties sur des lignes. 11 n'en est rien, et nous verrons au Chapitre suivant une propriété considérée par Gâteaux, qui appartient à l'intégrale (20), mais qui caractérise non les fonctionnelles pour lesquelles il n'y a pas de masses réparties sur des lignes, mais celles pour lesquelles il n'j en a pas sur la droite t = t,, c'est-à-dire les fonctionnelles de Gâteaux.

On s'explique aisément cette circonstance par la métiiode du passage du fini à l'infini. Une fonctionnelle de Gâteaux, entière et homogène du second degré, est la limite d'une fonction

t=: Il I = n

^ ^^ ^iJ^i^J^

dans laquelle les termes carrés Ciix] sont très petits par rapport à -, de sorte C|ue leur somme est infiniment petite. On peut les négliger

CHAI'. V. — VAUlVTKlN SKCOMtK KT |•ON(:■rlO^^■KM,^:S DU SKCONf) DEGRi:. 8<)

sans rien cliani;»'!- à la liiuiic f.a roiulionnello de Gâteaux, du moins ie cas du second dejirr <|ue notis considérons ici, apparaît alors comme limite d'une fonction u„{x,^X2, . . ., T„) linéaire par rapport à chacune des variables r,. C'est cette propriété (pii conduit de la manière la plus intuitive aux |)rincipales propriétés des fonctionnelles de Gâteaux.

Pour cette raison, j'avais d'abord désigné ces fonctionnelles sous le nom de fonctionnelles multilinéaires. J'ai adopté le nom de fonctionnelles de Gâteaux, depuis que j'ai remarqué leur identité avec celles qui jouissent d'une propriété considérée par Gâteaux, du moins dans le cas où les dérivées fonctionnelles existent; la propriété en question ne fait pas, en effet, intervenir les dérivées fonctionnelles. Nous reviendrons sur cette question au Chapitre suivant, à propos des fonctionnelles de degré quelconque.

71. Variation de la dérivée fonctionnelle seconde. — 11 y a naturellement un lien entre la variatl.)u seconde et la variation de la dérivée fonctionnelle première.

Appliquons la méthode du passage du fini à rinfini, en nous plaçant dans le cas où la variation seconde a la forme normale. Les

coefficients c, t sont alors seuls de l'ordre de grandeur de -, et la formule

dxi Ox^axi ''' ' dxiôxn

donne à la limite

(21) ^l 'j. = L '^-^ OX -h U.r.r, 03-, £//l

Ur.r, étant une fonction symétrique de t et t,.

On retrouve la forme considérée au n° 51, comme conséquence de l'hypothèse que U^ soit continue, et dépende spécialement du point t et de ce point seulement. On devait s'y attendre, car la continuité de U'^ dans le champ des fonctions de carrés sommables résulte de l'existence de Ô2U, et dire qne L'^. dépend spécialement du point t. et de ce point seulement, c'est évidemment la même chose que de dire que dans la répartition de masses liée à o-JLI, il y a des masses situées sur la droite t = tf. mais qu'il n'y en a sur aucune autre ligne.

Si Uj. dépend spécialement dun point autre que le point /. de lexpression de ùU'^. en différentiant oL , on déduit sans peine une expression de o-U qui est de la forme générale i i ii.

7!2. Cas des fonctionnelles continues d'ordre p. — Dans les cas plus généraux, oL ^. est Loujours une fonctionnelle linéaire de ox, dont la forme dépend de t. Nous emploierons généralement, pour désigner une telle expression, la notation

(•22) oL;r=E(oa;).

Considérons le cas où L^est en moyenne continue d'ordre/?, et ne dépend spécialement d'aucun autre point que le point t. En admettant, pour simplifier l'écriture, que Uj.,.^ soit de carré sommable, même dans le voisinage du point t =i t,. où il pourrait ne pas en être ainsi {i-oir n" o!2), oL',. a une expression de la forme

o\j j. — Ao OX -T- Al OX' -r- . . .-f- A,j rjX P' -}- / ç(<, /, J OJ"i clti.

Les coefficients Aj sont naturellement des fonctions mesurables bornées, et 'f(^, t^) est une fonction de carré sommable. Mais ces quantités doivent vérifier d'autres conditions.

Supposons que la forme de x{t) dépende non d'un paramètre A, mais de deux paramétres A et a, et, pour éviter d avoir à faire figurer ces paramétres dans les formules, posons

Oi ( ■ ) = — i — au.

On doit avoir

Oi oL ,

ce qui impose quelques restrictions à lexpression E(oj?). Lorsque nous aurons précisé ces restrictions, nous formerons o-L . La formule (24). développée, s'écrit

^ [oia"E(o.r) -+- U^poôi.rj f/C = / [oirE(8i .r ) -+- U'^ o, oj-] <//. ou, [Hiisque Ô0|a7=0|0X, (25) ^ l,xV.{Zx)dt= f ?.xE{oix)dt.

ClIAP. V. — VAllIAtlON SK<:t)\f)l': ET l'ONCTIONMil.l.KS Di: SECOND DEGHK. 9I

Celte roriiiiilc <li>iL ('lie vériliée quelles (jue soic^nl les loiiclidiis ojc etojr,. Cela revient à dire (jiie rex[)iession E(o.r) est identifjue à son adjointe. Nous allons élahlir quelques propriélés des expressions adjointes. Nous reviendrons ensuite au proMènie qui nous occupe.

73. Les expressions adjointes ( ' ). — Nous dirons (pic d(Mi\ expressions E(x) et v^(r), londioiuiclles linéaires de x dont la forme dépende de ^, sont adjoinles, si l'on a

(26) / y{l)K{x\dl ^ I x{l)C(y)dl,

X et y étant des fonctions de t quelconques, ou assujetties seulement aux conditions d'être continues, d'avoir des dérivées continues et d'être périodiques de période i .

Une fonctionnelle linéaire ne |)eul admettre qu'une adjointe. En efFet, si ^{x) et è'i(j7) sont adjointes à la même expression E(a:), on a, quelle que soit la fonction x{t),

et, par suite,

C(y) = Ciiy).

De la formule de définition (26) résulte immédiatement le théorème suivant, que nous utiliserons souvent dans la suite.

Si ^{x) et F(:r) admettent respectivement pour adjointes C{x) et^{x), E[F(.r)] admet pour adjointe 5'^[^(;r)]. Un énoncé analogue s'applique à la composition de plus de deux opérations fonctionnelles linéaires. En particulier, si E(.3?) est sa propre adjointe, il en est de même de F| E[iF(j:)] |.

Comme l'opération /(i):r est évidemment sa propre adjointe, et

que l'opération -7^ , d'après la formule d'intégration par parties,

de

dt

(') Voir Paul Levy, Sur l'intégration des équations aux dérivées fonction- ?ielles partielles {Rendiconti del Circolo Matematico di Palernio, 191 i. 1" semestre, § 2).

92 PREMfÉRE PARTIE. — LES FONDEMENTS DU CALCUL FONCTIONNEL.

■ d' X {x et y étant périodiques), admet pour adjointe ( — \ )^ ~ , il résulte

du théorème précédent sur la composition des opérations fonctionnelles linéaires que l'expression

est sa propre adjointe, et que l'expression

(28) Aox(i)-^ kix'(t)-h.. .+ A/,ar'/''(0,

Ao, A, A^ étant des fonctions de ^, admet comme adjointe

d(ki.r) , , dP{k,,x)

La condition pour que l'expression (28) soit identique à son adjointe s'exprime alors par un système d'équations différentielles vérifiées par les fonctions A, que l'on obtient en égalant les coefficients de chacune des dérivées de x dans les expressions (28) et (29). La première de ces équations, obtenue en égalant les coefficients de x^P\ est

Elle nous montre que p est pair, ou bien A^ nul. En retranchant de (28) une expression de la forme (2^), on peut donc faire disparaître la dérivée de l'ordre le plus élevé. En recommençant la même opération, on fera disparaître tous les termes de l'expression (28). On voit donc que la condition nécessaire et suffisante pour que cette expression soit identicjue à son adjointe est qu'elle soit une somme de termes de la forme (27).

D'autre part, il résulte encore de la formule de définition (26) que l'expression

(p(^, /) 0x1 dt^

admet pour adjointe

/ ç(^i, ^ I Zxi dtx.

Elles sont identiques si 9 est une fonction symétrique de ces deux arguments.

CHAI'. V, — VARIATION SECOMtK KT FONCTIONNELLES DU SECOND DEGRÉ. «j'i

Considérons enfin l'expression plus générale

\i{x) = kox -^ \xx' -i- . . .-\- \,,x'i''' -^ I 'f (/, ti)oxicat.

Elle ne peul être nulle. f[uelle que soil la lonclion x, que si l'intégrale et les autres tenues stmt nuls séparément. Elle ne peut de même être identique à son adjointe ([ue si les deux louctionnelles définies par l'intégrale et par les autres ternies jouissent séparément de cette propriété. Il faut et il suffit pour cela que la fonction o{t, ^,) soit symétrique en t et ti et que les termes dépendant spécialement du point t soient une somme d'expressions de la forme (27).

7 i. Application aux dérivées fonctionnelles. — Appliquons ces résultats à l'expression (23), qui doit être une fonctionnelle linéaire de ùx identique à son adjointe. 11 vient, en posant p =2^,

(3o) 8U^ = /o(05.^ - ^ \J\{t) ox'] + . . .^ (- i)<7 -^ [f,,(s) ox'Vi]

cp(f, ti ) oj'i dti.

la fonction o{t, tf) étant symétrique en ^ et /,.

Si l'on cherche à définir une fonctionnelle inconnue L d'après la donnée de sa dérivée fonctionnelle U^., il faut donc, pour que le problème soit possible, que cU'^. soit de la forme (3o). A cette condition, la condition (24) sera vérifiée quelles que soient les fonctions ox etS).r, et l'on peut dire que oU est une di (férentielle exacte. On voit que les conditions que nous venons de former jouent dans la théorie des équations aux dérivées fonctionnelles le même rôle que la condition

dx dy ôy dx

dans la théorie de l'équation aux différentielles totales

c/a = V dx -f- Q dy.

74. Nous pouvons maintenant former o-U. En différentiant SL, il vient

S2 u = / ( 0 u;^ ojc -+- u ;,. ô^ x ) dr.

g't PREMIÈRE PARTIE. — LES FONDEMENTS DU CALCUL FONCTIONNEL.

La fonction x étant rargumenl de la fonctionnelle U, analogue à la variable indépendante d'une fonction ordinaire, nous pouvons supposer o2j:: = o. Tenant compte alors de la formule (3o) et rendant l'intégrale simple symétrique par une intégration par parties, il vient

-J- / / <f(t,(i)OXOXi(/t(/ti.

Telle est la forme de la variation seconde d'une fonctionnelle, lorsque la variation de U',. est de la forme (2.3). On remarque, d'après cette expression, que o-U, considéré comme dépendant de oiC, a une continuité d'ordre q; la fonctionnelle U ne peut donc avoir qu'une continuité d'ordre q; elle aura en général cette continuité, tandis que U,. a une continuité d'ordre '2q. La dérivée fonctionnelle d'une fonctionnelle continue d'ordre q est doue seulement continue d'ordre 2q.