REMARQUES SUR LES FONCTIONS CROISSANTES ET LES INTÉGRALES DÉFINIES

37. Le problème des moments que nous avons posé au n" 24 nous conduira à considérer une distribution de masse quelconque sur une droite Ox. Une telle distribution sera parfaitement déterminée si l'on sait calculer la masse totale, répandue sur le segment Ox. Ce sera évidemment une fonction croissante de x, et réciproquement, étant donnée une fonction croissante de a;, on pourra toujours imaginer quelle représente, de la manière indiquée, une distribution de masse. Ceci nous amène à faire quelques remarques sur les fonctions croissantes. Soit donc q>{x) une fonction croissante définie dans l'intervalle (a, b),

une suite infinie de nombres positifs décroissants , tendant vers zéro. Les nombres

q>{x-\-Sn) (w = 1 , 2 , 3 , . . .)

seront aussi décroissants , mais ils resteront ^ (p (x). Ces nombres tendent donc vers une limite déterminée A. Soit

une autre suite infinie de nombres positifs décroissants , tendant vers

zéro , on aura encore

lim ç> (a; 4- ei) = B (n= 1, 2, 3, . . .).

Mais il est facile de voir que A = B, et nous pourrons dire que (p{x-\-e)

tend vers une limite déterminée , dès que la quantité positive e tend

vers zéro, d'une façon quelconque. Nous écrirons

+ lim q) (x -\- e) := <p {x),

et il est clair que de même ç>{x — e) tend vers une limite que nous désignerons par <p {x). On a évidemment

Lorsque ç; (rr) = 97 (x) , nous dirons que x est un point de continuité ;

lorsque 93 (a;) > 95 (x) , x est un point de discontinuité , et 99 (x) — 95 (x) est

la mesire de la discontinuité.

Dans tout intervalle (a, /S), il y a des points de continuité.

En effet , soit

et choisissons quatre nombres p, q, r, s, de façon que

a <P<Ç[<r <s<^; il est clair que l'une au moins des deux différences

q>{q) — V>{p), 9{s) — <p(r) sera < ^ • Supposons , par exemple , que ce soit la première de ces

différences qui soit plus petite que ^ •

Ecrivons p = a', g = /J', nous aurons maintenant un intervalle (a', fi'), tel que

et

De même, en partant de l'intervalle (a', /?'), on pourra trouver un intervalle (a", ji"), tel que

En continuant ainsi, on obtient une infinité d'intervalles

(a,^), (a',/^'), («",n, ..., («'"'. i»*"'), ..., tels que

On pourra faire en sorte que

lim aC' = lim /8("> ^ y pour n = 00 . Or il est clair que y sera nécessairement un point de continuité , car

ne peut pas être plus grand que (p (/S'">) — 9 (a'"'), quel que soit n: cette

différence est donc nulle. Il est à peu près évident que la somme des discontinuités que peut présenter cp {x) à l'intérieur de l'intervalle (a, b) ne peut jamais surpasser (p(b) — (p{a). Donc le nombre des discontinuités qui surpassent un nombre donné est fini , et il est clair par là qu'on peut ranger les discontinuités par ordre de grandeur décroissante.

Les points de discontinuité de l'intervalle [a, b) peuvent donc être rangés dans une suite simplement infinie à indices entiers positifs

iCj , X2, X-^, x^, ....

Cela est vrai même lorsque l'intervalle considéré s'étend à l'infini; on le divisera en intervalles

On trouvera une suite infinie de discontinuités pour chaque intervalle; l'ensemble des discontinuités constituera une suite à double entrée, qu'on sait ranger comme une suite simple. De là on peut conclure de nouveau , d'après un théorème de M. Cantor, qu'il y a des points de continuité dans tout intervalle. A la vérité , ce théorème se trouve démontré par les considérations précédentes.

38. Si maintenant, à cette notion d'une fonction croissante, on veut associer l'image d'une distribution de masse , on sera conduit à dire qu'en un point de discontinuité il y a une condensation d'une masse

finie. Un tel point est un point matériel de masse q>{x) — <p{x); et, superposé à ces masses condensées dans des points , il y aura une distribution continue de masse. Il convient de regarder toujours 97(6) — q> (a) comme la masse comprise dans l'intervalle (a, b). L'intervalle (0, a;) contient alors la masse qj{x) — (p{0) ou q){x) simplement,

si l'on suppose (p (0) = 0. On voit alors que (p{x) — cp (x) est la partie de la masse concentrée au point x, qui est censée faire partie de l'intervalle (0, x) , tandis que la masse <p{x) — çj (x) est censée faire partie de l'intervalle {x,x'), (x' y x). En changeant donc la valeur de (p{x)

dans un point ,de discontinuité [naturellement il faut qu'on ait toujours

<p(x)^q> (x) ^ (p {x}\ , on ne change en rien la distribution de masse , on fait seulement une nouvelle convention , relative à la façon de compter

une masse concentrée en x, comme appartenant aux intervalles (0, x) et {x, x').

Considérons maintenant le moment d'une telle distribution de masse par rapport à l'origine. Posons a = XQ, b = Xn, et intercalons entre Xq et Xn,n — 1 valeurs

Xq <C X^ <i X^ < . . . < X„ -i < Xn.

Ensuite prenons n nombres f j , fg > • • • > In , tels que

Xk-l^^k^Xk.

La limite de la somme

Il [.<P («l) — <P (a;o)] + ^2 1<P i^ê — V (^l)] -\r--- + ^n[<P {Xn) — (p (Xn-li]

sera le moment, par définition. Considérons plus généralement la somme

(A) . Afl)[9'W- 9'M+/(l2[?'(^2)-9'(a;i)]+...+Afn)[9'(^n)-9'(^n-l)],

elle aura encore une limite que nous désignerons par

Nous aurons à considérer seulement quelques cas très simples comme /" (m) = M *,/■(«) = — r—-, et il n'y a pas intérêt à donner toute sa généralité à la fonction f(u). Ainsi il suffira, par exemple, de supposer la fonction f(u) continue, et alors la démonstration ne présente aucune difficulté , et nous n'avons pas besoin de la développer , puisqu'elle se fait comme dans le cas ordinaire d'une intégrale définie.

La valeur d'une telle intégrale ne change pas, si l'on change la valeur de <p (x) aux points de discontinuité qui se trouvent a l'intérieur de l'intervalle (a, b). Et, en effet, puisqu'il y a des points de continuité dans tout intervalle, rien n'empêche de supposer que x^, X2, . .., Xn-i soient toujours des points de continuité. II faut remarquer seulement que a et 6 aussi pourront être des points de discontinuité, mais un changement de valeur de 93 (x) dans ces points-là affecte la valeur de l'intégrale , puisque 99 (a) et cp (b) figurent explicitement dans la définition de l'intégrale comme limite de l'expression (A).

Posons 0 = ^0, b = in + i, l'expression (A) peut s'écrire f(b) <p (6) — fia) cp{a) — <p {x^) [/^(Ij ) — r(Q']

— «?(»«) [/■(!« + l)— /(In)],

et l'on a

En passant à la limite, on a donc

/ f(u)d(p(u)=f{b)<p(h) — f{u)<p(a) — \ (p(u)df(u).

Dans le cas /■ (7/) = — ; — , a^O = (p(0), u-\-x

r'>dq){v) (p{b) . r'' (p(u)du

J u-\-x b-\-x'J (u-{-xf

Faisons croître b indéfiniment, en supposant que 9? (6) reste finie, on aura

/°°d 99 (M) r'"(p(u)du

J u-\rx~j (u-\-xf'

Il importait de ne laisser subsister aucun doute sur la légitimé de l'intégration par parties dans les circonstances actuelles.