Chapitre V

Soit f(x) une fonction bornée intégrable définie dans (a,b) ; la fonction

F(x)=∫axf(x)dx+K

est l’intégrale indéfinie de f(x).

En appliquant le théorème de la moyenne on voit que l’intégrale indéfinie de f(x) est une fonction continue, à variation bornée, et qu’elle admet f(x) pour dérivée en tous les points où f(x) est continue.

Que se passe-t-il si f(x) n’est pas continue en α ? Alors il se peut qu’il y ait une dérivée égale à f(α), c’est le cas pour α=0 si f(x) est nulle pour x quelconque, et égale à 1 quand x est l’inverse d’un entier ; il se peut qu’il y ait une dérivée différente de f(α), c’est le cas pour α=0 quand f(x) est partout nulle sauf pour x=0 ; il se peut qu’il n’y ait pas de dérivée, c’est le cas pour α=0 quand f(x)=cos⁡ℒ|x| pour x≠0 et f(0)=0.

Ainsi l’intégration peut conduire à des fonctions n’ayant pas partout une dérivée. Cette conséquence a été signalée par Riemann qui a appelé l’attention sur l’intégrale indéfinie de la fonction

f(x)=∑(nx)n2.

Cette intégrale indéfinie F(x) admet f(x) pour dérivée quand x n’est pas de la forme 2p+12n.

Supposons α=2p+12n et faisons tendre β vers α par valeurs croissantes, on a vu que f(β) tend vers f(α)+π216n2 donc, d’après le théorème de la moyenne, il en est aussi de même de F(β)−F(α)β−α.

Au contraire, ce rapport tendra vers f(α)−π216n2 si l’on fait tendre β vers α par valeurs décroissantes ; donc F(x) n’a pas de dérivée pour les valeurs de la forme 2p+12n.

C’est le premier exemple que l’on ait connu d’une fonction n’admettant pas, en général, une dérivée. On connaissait bien des fonctions, celle de Cauchy, par exemple, +x2, qui, en certains points, n’avaient pas de dérivée ; mais ces points étaient exceptionnels, ils ne formaient jamais un ensemble partout dense ; dans l’exemple de Riemann, au contraire, il y a des points sans dérivée dans tout intervalle. Le principe de condensation des singularités nous donnera autant d’exemples que nous le voudrons de fonctions analogues à celles de Riemann ; si les ap sont tous les nombres rationnels, ∫∑cos⁡ℒ|x−ap|p2dx est une ces fonctions.

L’intégration fournit des fonctions qui n’ont pas toujours une dérivée. Par une méthode toute différente, Weierstrass a construit une fonction n’ayant jamais de dérivée ; il est évident que l’intégration ne peut pas donner de telles fonctions : Les points en lesquels une intégrale indéfinie n’admet pas de dérivée forment un ensemble de mesure nulle, puisque ces points appartiennent à l’ensemble des points de discontinuité de la fonction intégrée f(x).

Lorsqu’une fonction f(x) est bornée, mais non intégrable, on peut lui attacher les deux intégrales indéfinies par excès et par défaut

F(x)‾=∫axf(x)dx‾+K,F(x)=∫axf(x)dx+K.

Ces deux fonctions sont continues, à variation bornée, et admettent f pour dérivée en tous les points où f est continue.

Àla notion d’intégrale indéfinie se rattache une généralisation importante de l’intégrale définie.

Si une fonction f(x) définie dans (a,b) est non intégrable dans (a,b) mais intégrable dans tout intervalle (α,β) intérieur à (a,b), on peut espérer définir une intégrale dans (a,b) en posant en principe la continuité de l’intégrale indéfinie et en appliquant les méthodes de Cauchy.

On voit facilement que les conditions supposées ne sont jamais réalisées si f(x) est bornée. Mais, si f(x) n’est pas bornée, on peut être conduit par la méthode de Cauchy à un nombre déterminé ; il en sera ainsi en particulier si, autour de a et b, |f(x)| est inférieure à une fonction d’ordre d’infinitude déterminé, inférieur à 1.

On peut refaire au sujet de l’intégrale de Riemann tous les raisonnements faits au sujet de l’intégrale de Cauchy et des procédés de Cauchy-Dirichlet ; je n’insiste pas sur ce point.

L’intégration s’applique à des fonctions qui ne sont pas des fonctions dérivées. Une fonction nulle partout, sauf pour x=0, n’est pas une fonction dérivée, puisque sa fonction primitive, si elle existait, devrait être continue, constante pour x positif, et pour x négatif, donc toujours constante et cependant sa dérivée ne serait pas nulle pour x=0. Ceci montre que les notions d’intégrale indéfinie et de fonction primitive sont différentes.

Il semble que l’on ait admis pendant longtemps que la première de ces notions comprend la seconde et que, par suite, l’intégration permet toujours de résoudre le problème de la recherche des fonctions primitives. En tout cas, au lieu de s’occuper de ce problème, on a étudié quels services pouvait rendre l’intégration dans la résolution de problèmes, généralisations, en des sens divers, du problème des fonctions primitives.

Pour l’étude de ces problèmes il nous sera utile de connaître quelques propriétés des nombres dérivés.

Soit f(x) une fonction continue, prenons le rapport

r[f(x),x0,x0+h]=f(x0+h)−f(x0)h ;

et faisons tendre h vers zéro. Si nous assujettissons h à ne prendre que des valeurs négatives, la plus petite et la plus grande des limites du rapport sont les deux nombres dérivés à gauche au point x0. Ces deux nombres, qui ont été définis et étudiés par P. du Bois-Reymond et Dini, sont encore appelés les extrêmes oscillatoires antérieurs. La plus petite limite est le nombre dérivé inférieur à gauche, la plus grande limite est le nombre dérivé supérieur à gauche.

En donnant à h des valeurs positives on définit les deux nombres dérivés à droite ou extrêmes oscillatoires postérieurs.

Ces quatre nombres, qui ne sont pas nécessairement finis, se notent

λg,Λg,λd,Λd ;

si l’on veut rappeler la fonction f et la valeur x0 dont il s’agit on écrit λgf(x0), Λgf(x0).

La signification géométrique de ces nombres est simple. Soit la courbe y=f(x), considérons l’arc AB de cette courbe correspondant à l’intervalle (x0,x0+h) ; supposons-le positif. Toutes les droites joignant A à un point quelconque de AB sont toutes les droites d’un certain angle XAY. Faisons tendre h vers zéro, l’angle XAY varie de telle manière que, pour la valeur h, il contient tous les angles correspondant aux valeurs inférieures à h.

Ceci suffit pour qu’on en conclue l’existence de droites limites ξA, ηA pour XA et YA. Les coefficients angulaires de ces deux droites limites sont les nombres dérivés à droite.

On pourra faire la figure pour la courbe y=xsin⁡1x ; pour x=0 les deux nombres dérivés inférieurs sont égaux à −1 et les deux nombres dérivés supérieurs sont égaux à +1. Pour cette courbe l’angle XAY est fixe. Au contraire, il varie pour la fonction

y=xsin⁡1x+x2sin⁡1x,

qui admet les mêmes nombres dérivés que la précédente pour x=0.

Les nombres dérivés peuvent remplacer dans certaines études les dérivées ordinaires. Dans l’étude de la variation d’une fonction par exemple : si les nombres dérivés sont tous quatre positifs, la fonction est croissante ; si les deux nombres dérivés postérieurs sont positifs, la fonction est croissante à droite ; si les deux dérivés postérieurs sont positifs et les deux antérieurs négatifs, la fonction admet un minimum pour x=x0 ; si les deux nombres dérivés à droite sont de signes contraires, la fonction n’est ni croissante ni décroissante à droite de x=x0, mais si l’un des deux est nul on ne peut plus rien dire.

Lorsque Λd=λd on dit que la fonction admet une dérivée à droite, égale à Λd ; si Λg=λg, la valeur de Λg est dérivée à gauche.

Si Λd=λd=Λg=λg, la fonction a une dérivée égale à Λd. Cette définition est identique à la définition classique, sauf le cas où Λd=±∞.

Faisons une application de ces définitions à l’intégrale. Le théorème de la moyenne donne

si F est l’une quelconque des trois intégrales indéfinies et si l et L sont les limites inférieure et supérieure de f dans (α,β) ; on peut même supposer que α est exclu de l’intervalle (α,β).

Si nous faisons tendre β vers α par valeurs plus petites que α, nous voyons que le nombre dérivé supérieur à gauche pour x=α d’une des intégrales indéfinies d’une fonction bornée f(x), est au plus égal à la limite supérieure de f(x) à gauche de α et le nombre dérivé inférieur de f(x) à gauche est au moins égal à la limite inférieure de f(x), à gauche de α.

Supposons que f(α−0) existe, alors les deux limites de f(x) à gauche de α sont f(α−0), donc : quand f(α−0) existe, l’une quelconque des intégrales indéfinies de la fonction bornée f(x) admet, pour x=α, une dérivée à gauche égale à f(α−0).

On raisonne de même pour les nombres dérivés et la dérivée à droite.

La fonction de Riemann ∑(nx)n2, n’admettant que des points de discontinuité de première espèce, conduit à une intégrale indéfinie qui a, en tout point, une dérivée à droite et une dérivée à gauche déterminée. C’est en somme l’existence de ces dérivées à droite et à gauche qui a été démontrée à la page 65.

Si f(α−0) et f(α+0) existent et sont égales, l’intégrale de f(x) admet la valeur commune de f(α−0) et f(α+0) pour dérivée, quand x=α, quel que soit le nombre f(α).

Il existe pour les nombres dérivés une proposition analogue au théorème des accroissements finis :

Si L et l sont les limites supérieure et inférieure de l’un quelconque des quatre nombres dérivés de la fonction f(x) dans (a,b), on a

l≦r[f(x),a,b]≦L.

Je suppose que l et L soient relatifs à Λd et je vais démontrer seulement qu’il existe des valeurs de Λd au moins égales à

r[f(x),a,b].

J’adopte pour cela le langage géométrique parce qu’il me paraît plus expressif ; on le traduira facilement si l’on veut en langage analytique.

La propriété est évidente si la courbe C qui représente f(x) se réduit à la corde AB joignant ses extrémités (fig. 2).

S’il n’en est pas ainsi et s’il existe des points de la courbe C au-dessus Fig. 2.
de AB (c’est-à-dire du côté de y=+∞), je déplace la droite AB parallèlement à elle-même en A′B′ de manière qu’elle coupe C.

Au-dessus de A′B′ il y a des arcs de C, soit PQ l’un d’eux. Au point P de A′B′, Λd et λd sont évidemment supérieurs ou au moins égaux au coefficient angulaire de PQ, c’est-à-dire à r[f(x),a,b] et la propriété est démontrée dans ce cas.

Enfin si C n’a pas de point au-dessus de AB (fig. 3), je déplace AB parallèlement à elle-même vers y=−∞, et soit A′B′ la dernière Fig. 3.
position dans laquelle elle ait des points communs avec C. Si P est l’un quelconque de ces points, en ce point Λd et λd sont au moins égaux à r[f(x),a,b] ; la propriété est démontrée dans tous les cas.

Du théorème précédent il résulte que les quatre nombres dérivés ont la même limite supérieure et la même limite inférieure dans tout intervalle.

Comparons, en effet, les limites supérieures L et L′ de Λd et λg. Puisque Λd a pour limite L et que Λd est la limite de rapports r[f(x),α,β], où α et β appartiennent à l’intervalle considéré (a,b), on peut trouver α et β dans (a,b) tels que r[f(x),α,β] soit supérieur à L−ε. Le maximum de λg dans (α,β), donc dans (a,b), est par suite au moins égal à L−ε. Ceci suffit pour démontrer que L et L′ sont égaux.

La valeur commune de L et L′ est en même temps la limite supérieure du rapport r[f(x),α,β].

La propriété énoncée pour les limites supérieure et inférieure dans un intervalle entraîne la même propriété pour les limites supérieure et inférieure en un point ; en particulier, si pour l’un des nombres dérivés ces deux limites sont égales, il en est de même pour les autres, ce qui s’énonce : Si en un point x0 l’un des nombres dérivés est continu, il en est de même des trois autres nombres dérivés et de plus la fonction admet une dérivée pour x=x0.

Voici une autre conséquence évidente : si les quatre nombres dérivés sont bornés, ils admettent la même intégrale supérieure et la même intégrale inférieure ; si l’un d’eux est intégrable, tous le sont et ils ont même intégrale.

Dans le cas des dérivées le théorème de Rolle est un cas particulier du théorème des accroissements finis ; dans le cas des nombres dérivés le théorème analogue au théorème de Rolle peut s’énoncer ainsi : Si la fonction continue f(x) s’annule pour a et b, les limites des nombres dérivés dans (a,b) sont, ou toutes deux nulles, ou toutes deux différentes de zéro et de signes contraires.

Cet énoncé se justifie en remarquant que si f(x) n’est pas constant, r[f(x),α,β] prend des valeurs positives et des valeurs négatives.

On peut aussi dire : si la fonction continue f(x), non constante dans (a,b), s’annule pour a et b, il existe des points de (a,b) pour lesquels les deux nombres dérivés à droite (ou à gauche) sont positifs et non nuls et d’autres points où ils sont négatifs et non nuls.

La réciproque peut s’énoncer sous la forme suivante : si l’on sait que les deux nombres dérivés à droite (ou à gauche) de f(x) ne sont jamais tous deux de même signe, f(x) est une constante.

Parmi les fonctions continues il faut remarquer les fonctions à nombres dérivés bornés qui possèdent beaucoup des propriétés des fonctions dérivables. Cette classe de fonctions comprend les intégrales indéfinies. Les fonctions à nombres dérivés bornés sont celles pour lesquelles on a toujours

|r[f(x),α,β]|<M,

où M est un nombre fixe. Cette inégalité, connue sous le nom de condition de Lipschitz, intervient dans presque tous les raisonnements sur l’existence des solutions des équations différentielles. Ceci montre l’importance pratique des fonctions à nombres dérivés bornés.

Nous reviendrons au Chapitre VII sur l’étude de ces fonctions ; pour le moment il suffira d’en signaler une propriété immédiate :

Une fonction à nombres dérivés bornés et inférieurs en valeur absolue à M est à variation bornée, sa variation totale étant au plus Mδ dans un intervalle d’étendue δ.

Soit maintenant une courbe rectifiable

définie dans (a,b), et soit s(t) son arc de a à t.

L’équation s(t)=s peut être résolue en t quand s est dans l’intervalle [0,s(b)] et n’admet qu’une solution, sauf le cas où x(t), y(t), z(t) seraient constantes à la fois dans un intervalle. Sauf dans ce cas, t(s) est une fonction croissante bien déterminée,

représentent la courbe donnée et les fonctions de s sont des fonctions continues à nombres dérivés au plus égaux à 1.

L’étude des courbes rectifiables, et par suite celle des fonctions à variation bornée, est donc intimement liée à l’étude des fonctions à nombres dérivés bornés. Nous aurons l’occasion de nous servir de cette remarque.

Il existe d’ailleurs des fonctions continues à variation bornée et à nombres dérivés non bornés, la fonction x2sin⁡1x en est un exemple.

Revenons à la recherche des fonctions primitives. Le problème :

A. Trouver une fonction dont la dérivée soit une fonction donnée,

n’admet pas en général de solution. Aussi le remplace-t-on par deux autres :

B. Reconnaître si une fonction donnée est une fonction dérivée.

C. Trouver une fonction connaissant sa dérivée.

Àces problèmes correspondent les suivants :

A′. Trouver une fonction dont le nombre dérivé supérieur à droite (ou l’un des autres nombres dérivés) est donné.

B′. Reconnaître si une fonction donnée est le nombre dérivé supérieur à droite d’une fonction inconnue.

C′. Trouver une fonction connaissant son nombre dérivé supérieur à droite.

Nous allons d’abord préciser l’indétermination de la solution du problème C′ en démontrant qu’une fonction est déterminée, à une constante additive près, quand on connaît la valeur finie de l’un des nombres dérivés pour chaque valeur de la variable.

Soient, en effet, deux fonctions f1(x) et f2(x) ayant en chaque point le même nombre dérivé supérieur à droite. Nous avons, par hypothèse,

Λdf1(x)=Λdf2(x)

et aussi

λd[−f2(x)]=−Λdf2(x),

comme on le voit en se reportant à la définition géométrique ou analytique des nombres dérivés. Cette définition fournit aussi l’inégalité

λd[f1(x)−f2(x)]≦Λdf1(x)+λd[−f2(x)]≦Λd[f1(x)−f2(x)],

dans laquelle le terme du milieu est nul.

La fonction f1(x)−f2(x) n’a donc jamais ses deux nombres dérivés à droite différents de zéro et de même signe, elle est constante.

Notre proposition est démontrée. La démonstration ne suppose pas que la fonction soit à nombres dérivés bornés, mais elle suppose que le nombre dérivé donné est fini, sans quoi le terme du milieu, dans l’inégalité qui nous a servi, n’aurait aucun sens.

Il serait très intéressant de savoir si, dans tous les cas, une fonction est déterminée, à une constante additive près, par l’un de ses nombres dérivés ; cette question n’a pas encore été tranchée, même dans la cas de la dérivée ordinaire, si l’on admet qu’une dérivée peut être infinie : on sait que deux fonctions, qui ont toujours la même dérivée, ne diffèrent que par une constante lorsque cette dérivée est finie ; pour le cas général on ne sait rien.

On peut cependant étendre le résultat précédent à certains nombres dérivés non toujours finis, quand l’ensemble des points où le nombre dérivé est infini est assez simple. Par exemple, si le nombre fini Λdf(x) est donné pour toute valeur de la variable, sauf pour les points d’un ensemble E, la fonction continue f(x) est déterminée à une constante additive près dans tout intervalle contigu à E ; donc il en est aussi de même dans tout intervalle si E est réductible, comme on le voit en reprenant les raisonnements employés au Chapitre I, à l’occasion des recherches de Cauchy et Dirichlet.

Nous aurons un résultat analogue toutes les fois que nous connaîtrons un ensemble solution de l’un des problèmes suivants :

D. En quel ensemble de points suffit-il de connaître la dérivée finie d’une fonction pour que cette fonction soit déterminée à une constante additive près ?

D′. En quel ensemble de points suffit-il de connaître la valeur finie du nombre dérivé supérieur à droite d’une fonction pour que cette fonction soit déterminée à une constante additive près ?

Nous venons de citer une famille d’ensembles répondant à la question : les ensembles réductibles ; on doit à Ludwig Scheeffer une solution plus générale :

Une fonction est déterminée, à une constante additive près, quand on connaît pour chaque valeur de x, sauf peut-être pour celles d’un ensemble dénombrable E, la valeur finie du nombre dérivé supérieur à droite de cette fonction.

Soient f1(x) et f2(x) les deux fonctions ayant en général le même nombre dérivé supérieur à droite fini ; nous allons démontrer que l’on a toujours

f1(x)−f2(x)=f1(a)−f2(a),

et pour cela nous démontrerons que l’égalité

où H est différent de zéro est impossible. Il suffit de considérer le cas où H est positif, puisque l’autre cas se réduit à celui-là par le changement de f1 et f2 ; de même on peut supposer b>a.

Considérons la fonction

ϕc(x)=c(x−a)+f1(x)−f2(x)−f1(a)+f2(a)+H2,

dans laquelle c est une constante telle que

0<c<H2(b−a).

Alors

φc(a)=H2>0,φc(b)=c(b−a)−H2<0 ;

la fonction φc étant continue s’annule entre a et b ; soit xc la plus grande des valeurs comprises entre a et qui annule φc. On a évidemment

Λdφc(xc)≦0.

On peut conclure de là que xc est un point de E.

En effet, nous avons démontré, p. 74, que pour tout point n’appartenant pas à E, on a

Λd[f1(x)−f2(x)]≧0 ;

donc pour ces points on a

Λdφc(x)≧c>0.

Àchaque valeur c de l’intervalle [0,H2(b−a)] correspond ainsi un point xc de E. Mais, si c et c1 sont différents, xc et xc1 le sont, car l’égalité

φc(xc)=φc1(xc1)=0

entraîne

et xc est différent de a.

Donc, pour que l’égalité (1) soit possible, il faudrait que E ait la puissance du continu.

Une conséquence de cette propriété, signalée par Ludwig Scheeffer, est qu’une fonction est déterminée quand on connaît sa dérivée pour toutes les valeurs irrationnelles. Mais une fonction n’est pas déterminée quand on connaît, pour chaque valeur rationnelle de x, la valeur finie de sa dérivée. Pour le prouver, soient x1,x2,… les nombres rationnels positifs. Traçons un intervalle δ1 de longueur incommensurable, ayant x1 comme milieu. Soit xα2 le premier des xi ne faisant pas partie de δ1 ; traçons un intervalle δ2 de longueur incommensurable, de milieu xα2 et n’empiétant pas sur δ1. Si xα3 est le premier des xi qui ne fait partie ni de δ1, ni de δ2, xα3 est le milieu d’un intervalle incommensurable n’empiétant ni sur δ1, ni sur δ2, et ainsi de suite.

La fonction f(x), égale à la somme des longueurs des intervalles δ et des parties d’intervalles δ, compris entre 0 et x, est une fonction continue croissante de x, qui admet +1 comme dérivée pour toutes les valeurs rationnelles de x. Et cependant cette fonction n’est pas nécessairement de la forme x+const., puisque f(+∞)−f(0) est la somme des longueurs des δ, somme qui a telle valeur positive que l’on veut.

La fonction continue f(x)−1 n’est pas constante et dans tout intervalle il existe des points où sa dérivée est nulle.

C’est à l’occasion d’une fonction dont la dérivée s’annule dans tout intervalle que Ludwig Scheeffer a entrepris ses recherches sur la détermination d’une fonction par ses nombres dérivés.

Comme fonctions dont la dérivée s’annule dans tout intervalle nous pouvons encore citer la fonction φ(x), p. 13, la fonction ξ(x), p. 55.

La démonstration précédente est assez artificielle, en voici une autre :

Les deux fonctions f1 et f2 ayant même Λd en tout point, sauf peut-être aux points de E, la fonction f(x)=f1−f2 a, en tout point n’appartenant pas à E, un Λd positif ou nul et un λd négatif ou nul. Si α est un tel point, faisons-lui correspondre le plus grand intervalle (α,α+h) tel que l’on ait

f(α+h)−f(α)<εh.

Supposons les points de E rangés en suite simplement infinie, x1,x2,…. À xn faisons correspondre le plus grand intervalle (xn,x'n) tel que l’on ait

f(x'n)−f(xn)<ε2n.

Chaque point de (a,b) est maintenant l’origine d’un intervalle δ attaché à ce point ; nous pouvons couvrir (a,b), à partir de a, à l’aide d’une chaîne d’intervalles δ, p. 63. Servons-nous de ces intervalles pour calculer f(b)−f(a), nous trouvons que cette quantité est au plus égale à

ε∑h+ε∑12n≦ε(b−a+1) ;

or ε est quelconque, donc f(b)=f(a) ; et, puisque ce raisonnement pourrait être employé pour une partie quelconque de (a,b), la fonction f(x) est constante.

Ce mode de démonstration conduit à un autre résultat. Supposons que E soit, non plus nécessairement dénombrable, mais seulement de mesure nulle. Cela veut dire que les points de E peuvent être recouverts à l’aide d’une infinité dénombrable d’intervalles d dont la somme des longueurs est aussi petite que l’on veut.

L’intervalle δ attaché à un point ne faisant pas partie de E a été défini. À un point P de E nous faisons maintenant correspondre, comme intervalle δ, l’intervalle δ1 dont l’origine est P et dont l’extrémité est l’extrémité de l’intervalle d contenant P.

Nous recouvrons (a,b) à partir de a à l’aide d’une chaîne d’intervalles δ et δ1 ; cette chaîne donne, comme limite supérieure de l’accroissement f(b)−f(a) de f(x) dans (a,b), le nombre ε∑h augmenté de la somme des accroissements de f(x) dans les intervalles δ1. La somme λ des longueurs des δ1 est plus petite que la somme relative aux d, donc elle est aussi petite que l’on veut. Cela ne permet pas d’en conclure en général que la somme correspondante des accroissements de f(x) est aussi petite que l’on veut ; mais si f1(x) et f2(x) ont des nombres dérivés inférieurs en valeur absolue à M, cette somme est inférieure à 2Mλ. Ainsi :

Une fonction f(x), à nombres dérivés bornés, est déterminée, à une constante additive près, quand on connaît son nombre dérivé supérieur à droite, pour toute valeur de x, sauf pour celles d’un ensemble de mesure nulle.

Cet énoncé ne nous fournit aucun renseignement relativement à l’indétermination du problème C′ quand le nombre dérivé donné n’est pas borné, puisque f(x) est supposé à nombres dérivés bornés. Cette restriction est d’ailleurs nécessaire : la fonction ξ(x), page 55, n’est pas une constante, elle a sa dérivée nulle partout, sauf peut-être aux points de Z qui est de mesure nulle.

Les théorèmes précédents peuvent être avantageusement transformés ; pour ces transformations j’utiliserai une généralisation heureuse de la notion de limite inférieure et supérieure qui est due à M. Baire.

Soit une fonction f(x) ; la limite supérieure de f(x), dans un intervalle (a,b), est un nombre L tel que l’ensemble E(f>m), formé des points x de (a,b) tels que f(x) soit supérieure à m, existe dès que m est inférieur à L, tandis qu’il ne contient aucun point pour m>L ; la limite inférieure de f(x) dans l’intervalle (a,b) peut se définir de même.

Il existe de même un nombre L1 tel que l’ensemble E(f>m) est dénombrable pour m>L1 et ne l’est pas pour m<L1. Ce nombre L1 est appelé par M. Baire la limite supérieure de f(x) dans (a,b), quand on néglige les ensembles dénombrables.

Cet exemple suffira pour faire comprendre ce qu’il faudra entendre par la limite supérieure ou inférieure, dans un intervalle ou en un point, d’une fonction quand on néglige les ensembles dénombrables, ou les ensembles non denses, ou les ensembles de mesure nulle. Si, en négligeant certains ensembles, on obtient des limites inférieure et supérieure égales, on pourra dire, qu’à ces ensembles près, la fonction est continue.

Ces définitions posées, voici les deux propositions que j’avais en vue : Les limites inférieure et supérieure d’un nombre dérivé sont les mêmes, que l’on néglige ou non les ensembles dénombrables.

Les limites inférieure et supérieure d’un nombre dérivé fini sont les mêmes, que l’on néglige ou non les ensembles de mesure nulle.

Je démontre, par exemple, la première de ces deux propositions. Si les limites supérieures L et L1 d’un nombre dérivé Λdφ(x), obtenues en tenant compte puis sans tenir compte des ensembles dénombrables, sont inégales, et si K est un nombre fini compris entre L et L1, le nombre dérivé Λd[φ(x)−Kx] est négatif, sauf pour les points d’un ensemble dénombrable pour lesquels il est positif. Or il suffit de reprendre, en le modifiant légèrement, l’un ou l’autre des deux raisonnements qui nous ont conduits au théorème de Scheeffer, pour voir que cela est impossible.

Nous allons essayer de résoudre les problèmes B′ et C′ dans le cas où la fonction f(x), donnée comme Λd, est bornée.

Divisons l’intervalle positif (a,b) en intervalles partiels. Dans (α,β) les limites inférieure et supérieure de f(x) sont l et L, donc on a, si F est la fonction cherchée telle que

ΛdF(x)=f(x),
(β−α)l≦F(β)−F(α)≦(β−α)L.

Si nous faisons la somme des inégalités analogues, relatives aux intervalles partiels, nous avons, en faisant tendre ces intervalles vers zéro,

∫abΛdF(x)dx≦F(b)−F(a)≦∫abΛdF(x)dx‾.

De cette inégalité il résulte en particulier que : si l’un des nombres dérivés d’une fonction f(x) est intégrable, auquel cas les trois autres le sont aussi et ont même intégrale, son intégrale indéfinie est de la forme f(x)+const. ; et cet énoncé, plus particulier encore : lorsqu’une dérivée est intégrable, il y a identité entre ses fonctions primitives et ses intégrales indéfinies.

Ces énoncés s’appliqueraient évidemment au cas où la fonction donnée deviendrait infinie au voisinage des points d’un ensemble réductible, à condition d’employer la généralisation de l’intégrale qui a été indiquée page 66.

Si nous tenons compte des théorèmes énoncés à la fin du Paragraphe précédent, nous voyons que si l’on connaît partout le nombre dérivé, sauf pour les valeurs d’un ensemble dénombrable, — ou si on le connaît partout, sauf pour les valeurs d’un ensemble de mesure nulle, et si l’on sait de plus qu’il est borné partout, — on peut encore appliquer les théorèmes précédents, à condition d’étendre les intégrales qui y figurent à l’ensemble dans lequel on connaît le nombre dérivé.

Àcette remarque s’en rattache une autre plus importante. Le cas dans lequel nous savons résoudre le problème C′ est celui où le nombre dérivé donné est intégrable. Ce nombre dérivé a alors des points de continuité ; en ces points il y a une dérivée égale au nombre dérivé donné, et l’on connaît partout la dérivée de la fonction inconnue, sauf aux points de discontinuité, c’est-à-dire sauf aux points d’un ensemble de mesure nulle. Il suffirait de se servir des valeurs connues de la dérivée pour avoir la fonction. Le cas résolu du problème problème C′ se ramène donc en réalité au problème C.

Les raisonnements qui précèdent nous permettent de répondre aux questions B et B′ dans un cas important, celui où la fonction donnée est intégrable. Pour reconnaître, par exemple, si une fonction intégrable donnée f(x) est une dérivée exacte, on formera son intégrale indéfinie F(x), puis on recherchera si l’on a

f(x)=limh=0F(x+h)−F(x)h.

On a donc un procédé régulier de calcul permettant de reconnaître si f est ou non une dérivée exacte. Il est vrai qu’il faut rechercher si une certaine expression a ou non la limite connue f(x) ; mais une dérivée étant par définition une limite, il est peu probable qu’on puisse remplacer le procédé de calcul indiqué par un autre dans lequel on n’emploierait pas les limites.

Nous avons trouvé une condition nécessaire et suffisante pour qu’une fonction intégrable soit une dérivée ; elle ne se présente pas sous la forme que l’on donne habituellement à de telles conditions. Le plus souvent on énonce, comme condition nécessaire et suffisante pour l’existence d’un fait A, l’existence d’une propriété B qui accompagne toujours le fait A et est toujours accompagnée par lui ; mais, pour que l’on ait autre chose qu’une tautologie, il faut que l’on connaisse un procédé régulier de calcul permettant de savoir si l’on a ou non la propriété B. C’est ce procédé qui a été directement donné pour le cas qui nous occupe.

Si l’on tient à énoncer la condition nécessaire et suffisante trouvée sous la forme habituelle, on pourra, comme le fait M. Darboux, appeler valeur moyenne dans (a,b) d’une fonction intégrable f(x) la quantité 1b−a∫abf(x)dx ; puis on appelle valeur moyenne au point x0 la limite, si elle existe, de la valeur moyenne dans (x0−h,x0+k), quand les nombres positifs h et k tendent vers zéro ; et l’on a l’énoncé suivant :

Pour qu’une fonction intégrable soit une fonction dérivée, il faut et il suffit qu’elle ait en tout point une valeur moyenne déterminée et qu’elle soit partout égale à sa valeur moyenne.

Nous avons vu que l’on a généralisé de différentes manières le problème des fonctions primitives ; recherchons maintenant si l’une de ces généralisations permet de considérer l’intégration au sens de Riemann comme le problème inverse de la dérivation.

Si nous nous rappelons qu’une intégrale indéfinie admet comme dérivée la fonction intégrée en tous les points où celle-ci est continue, nous sommes conduits à nous poser, avec M. Volterra, le problème suivant : Rechercher une fonction continue qui admette une fonction bornée donnée f(x) pour dérivée en tous les points où f(x) est continue.

Ce problème est toujours possible, car les deux intégrales par défaut et par excès de f(x) répondent à la question. Mais il est en général indéterminé, c’est-à-dire que toutes ses solutions ne sont pas comprises dans une formule de la forme F(x)+const. Lorsque f(x) n’est pas intégrable, le problème est toujours indéterminé. Si f(x) est intégrable, il se peut que le problème soit déterminé ; c’est le cas quand l’ensemble des points de discontinuité est réductible, mais il se peut aussi qu’il soit indéterminé. Il en est ainsi lorsque l’ensemble des points de discontinuité contient un ensemble parfait E ; nous avons appris, p. 13, à former une fonction continue non partout constante, mais constante dans tout intervalle contigu à E ; cette fonction, ajoutée à une fonction solution du problème proposé, donne une nouvelle solution de ce problème.

Ainsi notre problème comprend comme cas particulier le problème de l’intégration indéfinie riemannienne, mais il est plus vaste que ce dernier problème.

Proposons-nous maintenant de trouver une fonction à nombres dérivés bornés qui admette une fonction bornée donnée f(x) comme dérivée en tous les points où f(x) est continue.

Ce nouveau problème est toujours possible et admet encore pour solutions les deux intégrales de f(x) ; mais, si f(x) est intégrable, il est déterminé, car la dérivée de la fonction à nombres dérivés bornés cherchée est connue partout, sauf aux points d’un ensemble de mesure nulle. Ce problème n’est donc déterminé que pour les fonctions intégrables ; lorsqu’il est déterminé, sa solution est l’intégrale indéfinie de f(x).

Nous pouvons ainsi, en un certain sens, considérer l’intégration riemannienne comme l’opération inverse de la dérivation.

La fonction de Weierstrass est à variation non bornée dans tout intervalle.

Si une fonction f(x) est continue dans l’intervalle (a,b), et admet une dérivée bien déterminée pour chaque valeur de x intérieure à (a,b), il existe un nombre ξ de cet intervalle tel que

f(b)−f(a)=f′(ξ)(b−a)

Cet énoncé ne suppose pas que f′(x) soit bornée ou même finie, mais si f′(x) est infinie, ce doit être +∞, ou −∞, et non pas ±∞.

Si une fonction continue f(x) s’annule pour a et b, et admet pour les points intérieurs à (a,b) une dérivée déterminée de grandeur et de signe, finie ou non, cette dérivée s’annule dans (a,b).