# Leçons sur l’intégration et la recherche des fonctions primitives (première édition)/Chapitre IV
### CHAPITRE IV. LES FONCTIONS À VARIATION BORNÉE.
#### I. — Les fonctions à variation bornée.

La notion de mesure linéaire est une généralisation de la notion de longueur d’un segment, une autre généralisation conduit à la définition de la longueur d’un arc de courbe. En étudiant les questions relatives à la rectification des courbes, nous aurons l’occasion d’appliquer quelques-uns des résultats que nous avons obtenus sur l’intégrale ; nous verrons, en même temps, l’importance d’une classe de fonctions définies par M. Jordan : les fonctions à variation bornée.
Soit une fonction $f(x)$ bornée définie dans un intervalle positif fini ${(a,b)}$. Partageons ${(a,b)}$ à l’aide des points
$a_{0}=a\leqq a_{1}\leqq a_{2}\leqq \ldots \leqq a_{n}=b$
la somme
$v=\left\vert f(a_{1})-f(a_{0})\right\vert +\left\vert f(a_{2})-f(a_{1})\right\vert +\ldots +\left\vert f(a_{n})-f(a_{n-1})\right\vert$
est ce que l’on appelle la variation de $f(x)$ pour le système de points $a_{0}$, $a_{1}$, …, $a_{n}$. Si, quel que soit le système des points de division, $v$ est bornée, la fonction est dite à variation totale finie ou, simplement, à variation bornée. La variation totale finie ou infinie est, par définition, la plus grande limite de $v$, quand le maximum $\lambda$ de la longueur des intervalles partiels employés tend vers zéro. Il est à remarquer que si, entre les points de division choisis, on intercale de nouveaux points, on augmente $v$ ou, du moins, on ne le diminue pas ; en intercalant ainsi indéfiniment de nouveaux points, de manière que $\lambda$ tende vers zéro, on a une suite de nombres $v$ tendant vers une limite, finie ou non, qui est au moins égale au nombre $v$ dont on est parti. On peut donc dire que la variation totale de $f$ est la limite supérieure de l’ensemble des nombres $v$.
On voit aussi très simplement que, dans les définitions précédentes, on peut remplacer $v$ par
$o=\omega _{1}+\omega _{2}+\ldots +\omega _{n}$
où $\omega _{i}$ est l’oscillation de $f$ dans ${(a_{i-1},a_{i})}$, les extrémités comprises.
À cause de cette propriété, quelques auteurs appellent les fonctions qui nous occupent fonctions à oscillation totale finie ; l’oscillation totale étant la limite supérieure des $o$.
Une fonction à variation bornée est intégrable ; elle est, en effet, à oscillation moyenne nulle, puisque cette oscillation est la limite, quand $\lambda$ tend vers zéro, de
$\sum (a_{i}-a_{i-1})\omega _{i}\leqq \sum \lambda \omega _{i}=\lambda \sum \omega _{i}=\lambda o\leqq \lambda \mathrm {O}$
$\mathrm {O}$ étant l’oscillation totale de $f(x)$.
L’intégrabilité résulte aussi de cette proposition évidente : les points en lesquels une fonction à variation bornée a une oscillation supérieure à $\alpha$ (${\alpha >0}$) sont en nombre fini et, par suite, forment bien un groupe intégrable.
Choisissons des nombres $\alpha _{1}$, $\alpha _{2}$, …, qui tendent vers zéro en décroissant. Les points en lesquels l’oscillation est supérieure à $\alpha _{n}$ sans être supérieure à $\alpha _{n-1}$ sont en nombre fini, de sorte qu’une fonction à variation bornée a au plus une infinité dénombrable de points de discontinuité.
La réciproque n’est pas vraie ; il existe même des fonctions continues à variation non bornée.
L’oscillation d’une somme ${f_{1}+f_{2}}$ étant, dans un intervalle quelconque, au plus égale à la somme des oscillations de $f_{1}$ et $f_{2}$ dans cet intervalle, l’oscillation totale de ${f_{1}+f_{2}}$ est, au plus, la somme des oscillations totales de $f_{1}$ et $f_{2}$. Donc la somme de deux fonctions à variation bornée est une fonction à variation bornée.
Des raisonnements analogues permettraient de démontrer que les opérations effectuées aux pages 30, sur des fonctions intégrables, donnent des fonctions à variation bornée quand elles sont effectuées sur des fonctions à variation bornée.
Mais il n’est pas vrai qu’une série uniformément convergente de fonctions à variation bornée donne nécessairement une fonction à variation bornée. La propriété qui remplace celle-là est la suivante :
La limite vers laquelle tend (uniformément ou non) une suite de fonctions à variations totales au plus égales à $\mathrm {M}$ est une fonction dont la variation totale est au plus égale à $\mathrm {M}$.
En effet, prenons une division de l’intervalle ; la variation correspondante pour les termes de la suite tend vers la variation relative à la fonction limite et à la division employée ; donc, cette variation est au plus égale à $\mathrm {M}$ et il en est de même de la variation totale de la fonction limite.
Ce qui précède nous permettrait de citer des fonctions à variation totale bornée. Une fonction croissante $f(x)$ est, en effet, une fonction à variation totale finie et égale à ${f(b)-f(a)}$ ; de même, une fonction décroissante est à variation bornée. Par suite, la différence de deux fonctions croissantes est une fonction à variation bornée. Nous allons démontrer maintenant la réciproque : toute fonction à variation bornée est la différence de deux fonctions jamais décroissantes.
Reprenons la variation
$v=\left\vert f(a_{1})-f(a_{0})\right\vert +\left\vert f(a_{2})-f(a_{1})\right\vert +\ldots +\left\vert f(a_{n})-f(a_{n-1})\right\vert$
et soit $p$ la somme de celles des quantités ${f(a_{i})-f(a_{i-1})}$ qui sont positives et $-n$ la somme de celles qui sont négatifs. On a évidemment
$v=p+n$
$f(b)-f(a)=p-n$
d’où
$v=2p+f(a)-f(b)$
$v=2n+f(b)-f(a)$
$p$ est la variation positive pour la division choisie, $n$ la variation négative. Les deux dernières égalités montrent que les limites supérieures $\mathrm {V}$, $\mathrm {P}$, $\mathrm {N}$, de $v$, $p$, $n$, que l’on appelle variation totale, variation totale positive, variation totale négative, sont liées par les mêmes relations que $v$, $p$, $n$.
Ceci posé, soient $\mathrm {V} (x)$, $\mathrm {P} (x)$, $\mathrm {N} (x)$ les trois variations totales dans ${(a,x)}$, (${x>a}$), on a
$f(x)=f(a)+\mathrm {P} (x)-\mathrm {N} (x)$
Mais $\mathrm {P} (x)$ et $\mathrm {N} (x)$ ne peuvent pas décroître quand $x$ croît, donc le théorème annoncé est démontré.
On a, de plus,
$\mathrm {V} (x)=\mathrm {P} (x)+\mathrm {N} (x).$
Une fonction à variation bornée peut être mise d’une infinité de manières sous la forme d’une différence de deux fonctions croissantes. Si l’on ajoute à $\mathrm {P} (x)$ et $\mathrm {N} (x)$ une même fonction $\lambda (x)$ non décroissante, on obtient deux fonctions non décroissantes $\mathrm {P} _{1}(x)$ et $\mathrm {N} _{1}(x)$ telles que l’on ait
$f(x)=f(a)+\mathrm {P} _{1}(x)-\mathrm {N} _{1}(x)$
On voit facilement que les fonctions non décroissantes $\mathrm {P} _{1}$ et $\mathrm {N} _{1}$ les plus générales satisfaisant à cette égalité sont celles qui viennent d’être construites.
Pour calculer la variation totale d’une fonction discontinue comme limite d’une suite de variations $v$, il faut choisir d’une manière très particulière les points de division ; par exemple, pour une fonction qui est partout nulle, sauf à l’origine, il faut que l’origine soit un point de division. Pour les fonctions continues, on a cette propriété : la variation d’une fonction continue, relative à une division quelconque, tend uniformément vers la variation totale de cette fonction quand le maximum $\lambda$ de la longueur des intervalles employés tend vers zéro.
Soient, en effet, deux suites de divisions $\mathrm {D} _{1},\mathrm {D} _{2},\ldots$ ; $\Delta _{1},\Delta _{2},\ldots$ pour lesquelles les $\lambda$ tendent vers zéro, et soit $\lambda _{j}$ la valeur de $\lambda$ pour $\Delta _{j}$. Le maximum de l’oscillation de $f(x)$ dans un intervalle d’étendue $\lambda _{j}$ est un nombre $\varepsilon _{j}$ qui tend vers zéro avec $\lambda _{j}$. Comparons les variations $v_{i}$, $v'_{j}$ relatives à $\mathrm {D} _{i}$ et $\Delta _{j}$.
Les intervalles de $\Delta _{j}$ étant toujours partagés en deux classes, soient $d'$ ceux qui ne contiennent aucun des points de division de $\mathrm {D} _{i}$. Considérons tous ceux des $d'$ qui sont entre $x_{i}$ et $x_{i+1}$, ils couvrent un intervalle dont l’origine est entre $x_{i}$ et ${x_{i}+\lambda _{j}}$ et dont l’extrémité est entre ${x_{i+1}-\lambda _{j}}$ et $x_{i+1}$. Les valeurs de $f(x)$ pour cette origine et cette extrémité diffèrent de $\varepsilon _{j}$ au plus des nombres $f(x_{i})$, $f(x_{i+1})$. La contribution dans $v'_{j}$ des intervalles considérés est donc au moins
$\left\vert f(x_{i+1})-f(x_{i})\right\vert -2\varepsilon _{j}$
et la contribution de tous les $d'$ dans $v'_{j}$ est au moins égale à
$\textstyle \sum \left[\left\vert f(x_{i+i})-f(x_{i})\right\vert -2\varepsilon _{j}\right]=v_{i}-2n\varepsilon _{j}$
si les points de division de $\mathrm {D} _{i}$ sont en nombre $n$. On a, à plus forte raison,
$v'_{j}\geqq v_{i}-2n\varepsilon _{j}$
et l’une quelconque des limites des $v'_{j}$ est au moins égale à l’une quelconque des limites des $v_{i}$. Mais on peut permuter $v'_{j}$ et $v_{i}$, donc les $v'_{j}$ et les $v_{i}$ tendent vers une même limite bien déterminée.
Voici une conséquence immédiate de cette propriété : les trois variations totales d’une fonction continue à variation bornée sont des fonctions continues. Il suffit de le démontrer pour $\mathrm {V} (x)$ puisque $\mathrm {P} (x)$ et $\mathrm {N} (x)$ s’expriment immédiatement à l’aide de $f(x)$ et de $\mathrm {V} (x)$.
Pour calculer $\mathrm {V} (x_{0})$, j’emploie une division $a_{1},x_{1},\ldots ,x_{n},x_{0}$ ; la variation $v$ correspondant à cette division est égale à celle correspondant à $a,x_{1},\ldots ,x_{n}$ plus ${\left\vert f(x_{0})-f(x_{n})\right\vert }$, $v$ est donc au plus égale à
$\mathrm {V} (x_{n})+\left\vert f(x_{0})-f(x_{n})\right\vert \leqq \mathrm {V} (x_{0}-0)+\left\vert f(x_{0})-f(x_{n})\right\vert$
et, puisque ${f(x_{0})-f(x_{n})}$ tend vers zéro quand on fait tendre vers zéro le maximum des ${x_{i+1}-x_{i}}$, $\mathrm {V} (x_{0})$ est au plus égale à $\mathrm {V} (x_{0}-0)$. Mais $\mathrm {V} (x)$ est une fonction croissante, donc on a
$\mathrm {V} (x_{0})=\mathrm {V} (x_{0}-0)$
la fonction est continue à gauche.
Étudions la variation totale de ${f_{1}(x)=f(-x)}$ entre $-b$ et $-x$, ($x<b$) ; cette variation totale est évidemment égale à
$\mathrm {V} (b)-\mathrm {V} (x)$
Considérée comme fonction de $-x$, elle est continue à gauche de $-x_{0}$ ; donc, en tant que fonction de $x$, elle est continue à droite de $x_{0}$. La fonction $\mathrm {V} (x)$ est donc continue.
La seconde partie de cette démonstration suppose essentiellement que la fonction est à variation bornée. Si $\mathrm {V} (x)$ devenait brusquement infinie pour ${x>x_{0}}$, et nous verrons que cela est possible, le symbole ${\mathrm {V} (b)-\mathrm {V} (x)}$ n’aurait aucun sens pour ${x>x_{0}}$.
Puisque $\mathrm {P} (x)$ et $\mathrm {N} (x)$ sont des fonctions continues, toute fonction continue à variation bornée est la différence de deux fonctions continues non décroissantes.
La variation $v$, pour la division $\mathrm {D}$, a été définie seulement dans le cas où $\mathrm {D}$ ne contient qu’un nombre fini d’intervalles ; pour la suite, il est utile d’étudier un cas où $\mathrm {D}$ comprend une infinité d’intervalles. C’est le cas où les points de division de $\mathrm {D}$ forment un ensemble fermé réductible $\mathrm {E}$ ; alors nous appellerons variation $u$, pour cette division, la somme de la série ${\textstyle \sum \left\vert f(x_{i})-f(x_{i-1})\right\vert }$, étendue à tous les intervalles ${(x_{i_{1}},x_{i})}$ contigus à $\mathrm {E}$.
Nous allons comparer l’ensemble des variations $u$ qui viennent d’être définies à l’ensemble des variations $v$ antérieurement définies.
L’ensemble des $u$ contient l’ensemble des $v$, donc la limite supérieure de l’ensemble des $u$ est au moins égale à la limite supérieure de l’ensemble des $v$. Il suffira de démontrer que $u$ est toujours inférieure à la variation totale pour qu’il soit prouvé que la limite supérieure des $u$ est la variation totale $\mathrm {V}$.
Soit ${(\alpha ,\beta )}$ un intervalle contigu à $\mathrm {E} '$. Soient $\alpha _{1}$ et $\beta _{1}$ deux points situés dans ${(\alpha ,\beta )}$ ; la contribution de ${(\alpha _{1},\beta _{1})}$ dans ${\mathcal {U}}$ est au plus égale à celle qu’elle fournit dans $\mathrm {V}$, puisque $\mathrm {E}$ ne contient qu’un nombre fini de points dans ${(\alpha _{1},\beta _{1})}$. Faisons tendre les points $\alpha _{1}$ et $\beta _{1}$ vers $\alpha$ et $\beta$, la proposition reste vraie et l’on trouve que ${(\alpha ,\beta )}$ fournit dans $\mathrm {V}$ une contribution au moins égale à celle qu’il donne dans $u$.
On prouvera de même que la proposition est vraie dans un intervalle contigu à $\mathrm {E} ''$, ou $\mathrm {E} ''',\ldots$ ; mais l’un des dérivés de $\mathrm {E}$ étant nul dans ${(a,b)}$, la proposition est vraie pour ${(a,b)}$.
Ainsi les $u$ peuvent remplacer les $v$.
Lorsqu’il s’agit d’une fonction continue, le nombre $u$, comme le nombre $v$, tend uniformément vers la variation totale, quand le maximum $\lambda$ de la longueur des intervalles contigus à $\mathrm {E}$ tend vers zéro.
La série $u$ étant convergente, la série ${\textstyle \sum \left[f(x_{i})-f(x_{i-1})\right]}$, étendue à tous les intervalles contigus à $\mathrm {E}$, est absolument convergente. On peut donc parler de la somme de ses termes positifs et de la somme de ses termes négatifs, ces deux sommes peuvent servir à définir $\mathrm {P}$ et $-\mathrm {N}$ quand $\lambda$.
Il est important de remarquer qu’on ne peut pas remplacer l’ensemble réductible $\mathrm {E}$ par un ensemble non dense quelconque sans que certaines des propriétés précédentes cessent d’être vraies. Soit, en effet, la fonction $\xi (x)$ définie par
$2\xi (x)={\frac {a_{1}}{2}}+{\frac {a_{2}}{2^{2}}}+{\frac {a_{3}}{2^{3}}}+\ldots$
quand
$x={\frac {a_{1}}{3}}+{\frac {a_{2}}{3^{2}}}+{\frac {a_{3}}{3^{3}}}+\ldots$
où les $a$ sont égaux à 0 ou à 2. $x$ appartient alors à l’ensemble $\mathrm {Z}$. On vérifie immédiatement que, pour les deux extrémités d’un intervalle contigu à $\mathrm {Z}$, $\xi$ prend la même valeur ; nous assujettissons $\xi$ à rester constante dans un tel intervalle. $\xi (x)$ est maintenant partout définie ; c’est une fonction non décroissante et, cependant, on trouvera zéro pour $u$, si, parmi les points de division employés, se trouvent les points de $\mathrm {Z}$.
Je terminerai en donnant quelques exemples des diverses particularités qui ont été signalées.
La fonction $x\sin {\frac {1}{x}}$ est égale à ${(-1)^{\mathrm {K} +1}{\frac {1}{\mathrm {K} \pi -{\frac {\pi }{2}}}}}$ pour ${x={\frac {1}{\mathrm {K} \pi -{\frac {\pi }{2}}}}}$, donc, si l’on emploie ces valeurs de $x$ pour calculer $u$ dans l’intervalle ${\left(0,{\frac {1}{\pi }}\right)}$, on trouve
$u={\frac {1}{\mathrm {K} \pi -{\frac {\pi }{2}}}}+{\frac {2}{2\mathrm {K} \pi -{\frac {\pi }{2}}}}+{\frac {3}{3\mathrm {K} \pi -{\frac {\pi }{2}}}}+\ldots$
et la fonction est à variation non bornée bien qu’elle soit continue. Pour une fonction continue nulle pour $x$ négatif, égale à $x\sin {\frac {1}{x}}$
pour $x$ positif, la variation totale de −1 à $x$ saute brusquement de 0 à $+\infty$ quand $x$ dépasse la valeur 0.
La fonction $x\sin {\frac {1}{x}}$ a une infinité de maxima et de minima, mais cette condition ne suffit pas pour qu’une fonction soit à variation non bornée. La fonction $x^{2}\sin {\frac {1}{x^{\frac {4}{3}}}}$ admet un maximum ou un minimum, et un seul, dans chaque intervalle ${\left({\frac {1}{(\mathrm {K} \pi )^{\frac {3}{4}}}},{\frac {1}{[(\mathrm {K} +1)\pi ]^{\frac {3}{4}}}}\right)}$ ; si l’on remarque que la valeur absolue de ce maximum ou de ce minimum est au plus ${\frac {1}{(\mathrm {K} \pi )^{\frac {3}{2}}}}$ on voit que la fonction est à variation totale finie au plus égale à $\sum {\frac {1}{(\mathrm {K} \pi )^{\frac {3}{2}}}}$.
Les deux fonctions précédentes n’ont une infinité de maxima et de minima que dans le voisinage de l’origine ; si l’on veut qu’il en soit ainsi autour de tout point, il faut appliquer le principe de condensation des singularités. Il est nécessaire d’employer ce principe d’une façon assez particulière parce que la limite vers laquelle tendent uniformément des fonctions à variation bornée peut être à variation non bornée et parce que les maxima et minima ne se conservent pas dans l’addition.
Considérons les deux fonctions, définies dans (−1, +1),
$a(x)=x\sin {\frac {\pi }{x}}$
$b(x)=x^{2}\sin {\frac {\pi }{x^{\frac {4}{3}}}}$
l’une et l’autre s’annulent pour −1 et +1, la première est à variation totale $\mathrm {V}$ infinie, la seconde à variation totale $\mathrm {V}$ bornée. $f_{1}(x)$ désignera l’une ou l’autre de ces deux fonctions.
$f_{1}(x)$ a une infinité de maxima et de minima qui se présentent quand $x$ appartient à un certain ensemble $\mathrm {E} _{1}$.
$f_{2}(x)$ est une fonction continue qui s’annule aux points de $\mathrm {E} _{1}$ et qui, dans l’intervalle ${(\alpha ,\beta )}$ de deux points consécutifs de $\mathrm {E} _{1}$, est égale à
${\frac {(\beta -\alpha )}{2}}f_{1}\!\left[{\frac {2}{\beta -\alpha }}\left(x-{\frac {\alpha +\beta }{2}}\right)\right]$
$f_{2}(x)$ a même variation totale que $f_{1}(x)$ parce que, dans ${(\alpha ,\beta )}$, la variation totale de $f_{2}(x)$ est ${{\frac {\beta -\alpha }{2}}\mathrm {V} }$.
La fonction ${f_{1}+{\frac {1}{2^{2}}}f_{2}}$ a, dans chaque intervalle ${(\alpha ,\beta )}$, une infinité de maxima et de minima ; en effet, si ${f_{1}=a}$, elle est à variation non bornée dans ${(\alpha ,\beta )}$ et si ${f_{1}=b}$, $f_{1}$ a une dérivée bornée dans ${(\alpha ,\beta )}$, tandis que la dérivée de $f_{2}$ prend toutes les valeurs positives et négatives. Soit $\mathrm {E} _{2}$ l’ensemble des valeurs de $x$ pour lesquelles ${f_{1}+{\frac {1}{2^{2}}}f_{2}}$ est maximum ou minimum.
En opérant, à partir de ${\mathrm {E} _{1}+\mathrm {E} _{2}}$, comme à partir de $\mathrm {E} _{1}$, on formera $f_{3}$, d’où ${f_{1}+{\frac {1}{2^{2}}}f_{2}+{\frac {1}{3^{2}}}f_{3}}$ et $\mathrm {E} _{3}$.
En continuant ainsi, on définit les différents termes de la série
$f(x)=f_{1}(x)+{\frac {1}{2^{2}}}f_{2}(x)+{\frac {1}{3^{2}}}f_{3}(x)+\ldots$
qui est uniformément convergente, car $|f_{i}|$ est inférieure à 1.
La fonction continue $f(x)$ a des maxima et des minima dans tout intervalle. Dans un intervalle quelconque ${(l,m)}$, en effet, pourvu que $n$ soit assez grand, il y a plus de deux points de $\mathrm {E} _{n}$. Supposons qu’il y ait les trois points consécutifs $r$, $s$, $t$ de $\mathrm {E} _{n}$, $f$ étant égale à $f_{n}$ pour ces trois points, $f$ aura un maximum ou un minimum, au moins, entre $r$ et $t$, suivant que $s$ correspond à un maximum ou à un minimum.
De là résulte aussi que la variation totale de $f$ est au moins égale à celle de $s_{n}$, donc $f$ est à variation non bornée dans tout intervalle si ${f_{1}=a}$. Au contraire si ${f_{1}=b}$, la variation totale de ${s_{n}=f_{1}+{\frac {1}{2^{2}}}f_{2}+\ldots +{\frac {1}{n^{2}}}f_{n}}$ étant finie et inférieure à ${\mathrm {V} \left(1+{\frac {1}{2^{2}}}+\ldots +{\frac {1}{n^{2}}}\right)}$, $f$ est à variation bornée dans tout intervalle (voir p. 51).
Occupons-nous maintenant des fonctions discontinues à variation bornée.
Voici une propriété des points singuliers, qu’il était facile d’ailleurs de mettre directement en évidence, et qui résulte immédiatement de la construction de la fonction à variation bornée la plus générale à partir de deux fonctions croissantes : tous les points de discontinuité d’une fonction à variation bornée sont de première espèce.
Soit $x_{0}$ un point de discontinuité ; la quantité
$s_{g}(x_{0})=f(x_{0})-f(x_{0}-0)$
est le saut de la fonction à gauche de $x_{0}$ ;
$s_{d}(x_{0})=f(x_{0}+0)-f(x_{0})$
est le saut à droite de $x_{0}$, enfin
$s(x_{0})=f(x_{0}+0)-f(x_{0}-0)$
est le saut au point $x_{0}$.
Ceci posé, considérons la fonction des sauts de $f(x)$
$\varphi (x)=\sum _{a\leqq x_{i}<x}s_{d}(x_{i})+\sum _{a<x_{i}\leqq x}s_{g}(x_{i})$
où chacune des séries contient tous les $x_{i}$ qui satisfont à l’inégalité placée au-dessous du signe $\textstyle \sum$ correspondant. On verra aisément que ces deux séries sont absolument convergentes et que, si l’on pose
$f(x)=\varphi (x)+\psi (x)$
$\psi (x)$ est une fonction continue à variation bornée ; la variation totale de $f$ étant la somme de celles de $\varphi$ et de $\psi$.
La fonction discontinue la plus générale qui soit à variation bornée s’obtient donc, soit en faisant la différence de deux fonctions discontinues croissantes, soit en ajoutant à une fonction continue à variation bornée la fonction des sauts $\varphi (x)$. Cette seconde méthode montre qu’on peut construire des fonctions à variation bornée en choisissant à volonté l’ensemble dénombrable des points de discontinuité, et même les sauts de droite et de gauche $s_{d}$ et $s_{g}$, pourvu que les séries $\textstyle \sum s_{d}(x)$, $\textstyle \sum s_{g}(x)$ soient absolument convergentes.
Par exemple, l’ensemble des points de discontinuité pourra être l’ensemble des nombres rationnels, les sauts étant, quand $x$ s’écrit ${\frac {a}{b}}$ sous forme irréductible,
$s_{d}=(-1)^{a}{\frac {1}{a^{2}b^{2}}}$
$s_{d}=(-1)^{b}{\frac {1}{a^{3}b^{3}}}$

#### II. — Les courbes rectifiables.

Soit une courbe $\mathrm {C}$ définie dans ${(a,b)}$
$x=x(t)$
$y=y(t)$
$z=z(t)$
Considérons un polygone $\mathrm {P}$ inscrit dans cette courbe et dont les sommets, dans l’ordre où ils se rencontrent sur $\mathrm {P}$, correspondent à des valeurs croissantes de $t$, $a,\alpha _{1},\alpha _{2},\ldots ,\alpha _{p},b$. On peut considérer $\mathrm {P}$ comme une courbe définie dans ${(a,b)}$ à l’aide de fonctions $\xi (t),\eta (t),\zeta (t)$ égales à $x(t),y(t),z(t)$ pour les valeurs $a,t_{1},t_{2},\ldots ,t_{p},b$ de $t$.
Ceci posé, soient deux suites de polygones inscrits dans $\mathrm {C}$, $\mathrm {P} _{i}$ et $\pi _{j}$, choisis tels que le maximum des différences ${t_{k}-t_{k-1}}$ tende vers zéro avec ${\frac {1}{i}}$ d’une part, avec ${\frac {1}{j}}$ d’autre part. La longueur d’un polygone étant la somme des longueurs de ses côtés, nous allons comparer la longueur $s_{i}$ de $\mathrm {P} _{i}$ à celle $\sigma _{j}$ de $\pi _{j}$.
Supposons que deux sommets consécutifs $m_{1},m_{2}$ de $\mathrm {P} _{i}$ correspondent à ${t=\theta _{1}}$ et ${t=\theta _{2}}$. Les points de $\pi _{j}$, $\mu _{1},\mu _{2}$, qui correspondent à ces valeurs de $t$ tendent, quand $j$ augmente indéfiniment, vers $m_{1},m_{2}$ ; la plus petite des limites, pour $j$ infini, de la longueur de l’arc ${\mu _{1}\mu _{2}}$ est donc au moins égale à la longueur du côté ${m_{1}m_{2}}$. Mais ceci est vrai pour chaque côté, et la plus petite limite des $\sigma _{j}$ est au moins égale à $s_{i}$. Par suite les longueurs $s_{i}$ et $\sigma _{j}$ tendent vers la même limite quand $i$ et $j$ augmentent indéfiniment, et elles sont toujours inférieures à leur limite.
Lorsque le maximum de la longueur des côtés d’un polygone inscrit dans une courbe tend vers zéro, la longueur de ce polygone tend vers la limite supérieure des longueurs des polygones inscrits dans la courbe. C’est cette limite que l’on appelle la longueur de la courbe.
Une courbe est dite rectifiable si elle est de longueur finie. L’étude des courbes rectifiables a été entreprise par Ludwig Scheeffer, puis continuée par Jordan à qui l’on doit le résultat suivant :
Pour qu’une courbe soit rectifiable, il faut et il suffit que les fonctions $x(t),y(t),z(t)$ qui la définissent soient à variation bornée.
En effet, un côté quelconque d’un polygone inscrit dans la courbe est de longueur au moins égale à chacune des projections $\delta _{x},\delta _{y},\delta _{z}$ de ce côté sur les axes, et de longueur au plus égale à ${\delta _{x}+\delta _{y}+\delta _{z}}$. Mais la somme des projections $\delta _{x}$ est la variation $v_{x}$ de la fonction $x(t)$ pour les valeurs de $t$ correspondant aux sommets. La longueur du polygone est donc supérieure à $v_{x}$, $v_{y}$ et $v_{z}$ et inférieure à ${v_{x}+v_{y}+v_{z}}$ ; la propriété est démontrée.
De plus la longueur de l’arc de $t_{0}$ à $t$ ($t>t_{0}$) d’une courbe rectifiable est une fonction continue non décroissante de $t$, puisque l’accroissement de cet arc, dans un intervalle quelconque, est compris entre les accroissements de $v_{x}$ et ${v_{x}+v_{y}+v_{z}}$.
Pour calculer la longueur d’une courbe, on pourra se servir de polygones ayant une infinité de sommets correspondant à des valeurs de $t$ formant un ensemble réductible ; car le raisonnement du début s’applique à ces polygones.
Une courbe rectifiable plane est quarrable, car si on la divise en $n$ morceaux de longueur égale à ${\frac {s}{n}}$, chacun d’eux peut être enfermé dans une circonférence de rayon ${\frac {s}{2n}}$, et la sommet ${\frac {\pi s^{2}}{4n^{2}}}$ des aires de ces cercles tend vers zéro avec ${\frac {1}{n}}$.
Supposons que $x(t),y(t),z(t)$ aient des dérivées intégrables ; alors $|x'(t)|,|y'(t)|,|z'(t)|$ sont aussi intégrables, car on peut écrire
${x'}^{2}=u$
$|x'|=+{\sqrt {u}}$
et si l’on élève au carré ou si l’on prend la racine carrée arithmétique d’une fonction intégrable, on ne cesse pas d’avoir des fonctions intégrables.
Si $l,m,n$, $\mathrm {L} ,\mathrm {M} ,\mathrm {N}$ sont les limites inférieures et supérieures de $|x'|,|y'|,|z'|$ dans un intervalle ${(t_{1},t_{2})}$, les sommes telles que ${\textstyle \sum (t_{2}-t_{1})(\mathrm {L} -l)}$, étendues à une division quelconque de ${(a,b)}$ en intervalles partiels, tendent vers zéro quand les intervalles employés tendent vers zéro.
La corde ${(t_{1},t_{2})}$ a une longueur $\delta$ qui vérifie les inégalités
$a=(t_{2}-t_{1}){\sqrt {l^{2}+m^{2}+n^{2}}}\leqq \delta \leqq (t_{2}-t_{1}){\sqrt {\mathrm {L} ^{2}+\mathrm {M} ^{2}+\mathrm {N} ^{2}}}=\mathrm {A}$
Donc un polygone inscrit a une longueur comprise entre les sommes $\textstyle \sum a$, $\textstyle \sum \mathrm {A}$ correspondantes. Si l’on fait tendre vers zéro, les longueurs des côtés du polygone $\textstyle \sum \mathrm {A}$ et $\textstyle \sum a$ tendent vers une même limite, car l’on a
${\begin{aligned}\textstyle \sum \mathrm {A} -\sum a\leqq \sum (t_{2}-t_{1})(\mathrm {L} -l)&+\textstyle \sum (t_{2}-t_{1})(\mathrm {M} -m)\\&+\textstyle \sum (t_{2}-t_{1})(\mathrm {N} -n){\text{.}}\end{aligned}}$
La limite de $\textstyle \sum \mathrm {A}$ et $\textstyle \sum a$ est la longueur de la courbe. Mais, puisque l’intégrale ${\int _{a}^{b}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t}$, qui existe d’après nos hypothèses, est toujours comprise entre $\textstyle \sum a$ et $\textstyle \sum \mathrm {A}$, nous pouvons conclure que, si $x',y',z'$ existent et sont intégrables, la longueur de l’arc ${(a,b)}$ est
$\int _{a}^{b}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t$
Le raisonnement précédent montre aussi que si $f'(x)$ existe sans être intégrable, et nous verrons que cela est possible, la longueur de la courbe ${y=f(x)}$ est comprise entre les intégrales par défaut et par excès de ${\sqrt {1+{f'}^{2}}}$.
Nous obtiendrons la généralisation de cette proposition, ainsi qu’un résultat relatif au cas où ${\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}$ est une dérivée, à l’aide des considérations qui suivent.
On suppose que $x',y',z'$ existent ; alors, du point $x_{0},y_{0},z_{0},t_{0}$, quel qu’il soit, comme origine, on peut tracer une corde dont la longueur ${\sqrt {\delta x_{0}^{2}+\delta y_{0}^{2}+\delta z_{0}^{2}}}$ diffère de ${\varepsilon \,\delta t_{0}}$, de la quantité ${\delta t_{0}{\sqrt {{x'_{0}}^{2}+{y'_{0}}^{2}+{z'_{0}}^{2}}}}$ ; et nous pouvons même assujettir $\delta t_{0}$ à être inférieur à une certaine quantité donnée à l’avance $\lambda$.
La courbe étant définie dans ${(a,b)}$, du point ${a=t_{1}}$ comme origine, nous pouvons tracer une corde remplissant les conditions indiquées ; elle correspond à ${(t_{1},t_{2})}$. De $t_{2}$ nous pouvons tracer une nouvelle corde qui correspond à ${(t_{2},t_{3})}$ et ainsi de suite. Si après un nombre fini d’opérations on arrive en $b$, la construction est ainsi achevée. Sinon les $t_{n}$ ont un point limite $t_{\omega }$ à partir duquel, comme origine, on peut tracer une corde ${(t_{\omega },t_{\omega +1})}$, puis de $t_{\omega +1}$ on trace ${(t_{\omega +1},t_{\omega +2})}$ et ainsi de suite. Si l’on n’atteint pas $b$, on se rapproche d’un point limite $t_{2\omega }$, à partir duquel on opère de même qu’à partir de $t_{\omega }$.
On a ainsi des intervalles dont les origines $t_{\alpha }$ ont pour indices les différents nombres finis et transfinis $\alpha$. Il faut démontrer qu’on arrivera en $b$ avant d’avoir épuisé la suite des nombres transfinis, c’est-à-dire à l’aide d’une infinité dénombrable d’intervalles ${(t_{\alpha },t_{\alpha +1})}$. Cela est tout à fait évident, car il n’y a pas plus de ${\frac {b-a}{\varepsilon }}$ intervalles de longueur supérieure à $\varepsilon$, et tous les intervalles, étant supérieurs en longueur à l’un des nombres $\varepsilon ,{\frac {\varepsilon }{2}},{\frac {\varepsilon }{3}},\ldots$, forment un ensemble fini ou dénombrable.
L’ensemble des valeurs $t_{1},t_{2},\ldots$ est réductible, puisqu’il est fermé et dénombrable ; donc on peut se servir des cordes tracées pour évaluer la longueur de la courbe. La somme des longueurs de ces cordes diffère de la somme
$\mathrm {I} =\sum (t_{\alpha +1}-t_{\alpha }){\sqrt {{x'}^{2}(t_{\alpha })+{y'}^{2}(t_{\alpha })+{z'}^{2}(t_{\alpha })}}$
au plus de
$\varepsilon \textstyle \sum (t_{\alpha +1}-t_{\alpha })=\varepsilon (b-a)$
Si nous faisons tendre simultanément $\varepsilon$ et $\lambda$ vers zéro, ${\varepsilon (b-a)}$ tend vers zéro, la somme des longueurs des cordes tend vers la longueur $s$ de la courbe, $\mathrm {I}$ tend donc vers $s$. Mais, d’après la forme de $\mathrm {I}$, on peut écrire, si ${\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}$ est bornée,
${\underline {\int _{a}^{b}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t}}\leqq s\leqq {\overline {\int _{a}^{b}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t}}$
Supposons maintenant que ${\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}$, bornée ou non, soit la dérivée d’une fonction $\sigma (t)$. Si nous avons choisi chaque intervalle ${(t_{\alpha },t_{\alpha +1})}$ de manière qu’il satisfasse, non seulement aux conditions précédemment indiquées, mais encore, ce qui est possible, à l’inégalité
$\varepsilon \,\delta t_{\alpha }\geqq \left\vert \delta \sigma (t_{\alpha })-\delta t_{\alpha }{\sqrt {{x'}^{2}(t_{\alpha })+{y'}^{2}(t_{\alpha })+{z'}^{2}(t_{\alpha })}}\right\vert$
$\mathrm {I}$ tend vers l’accroissement ${\sigma (b)-\sigma (a)}$ de $\sigma (t)$ dans ${(a,b)}$ quand $\varepsilon$ et $\lambda$ tendent simultanément vers zéro. On a donc
$s=\sigma (b)-\sigma (a)$
La longueur de l’arc est l’accroissement de la fonction $\sigma$.
J’appelle l’attention sur la construction employée dans la démonstration précédente.
Je suppose qu’un procédé, permettant de construire un ou plusieurs intervalles ayant pour origine un point quelconque $t_{0}$, ait été indiqué. Je dirai qu’un intervalle ${(a,b)}$ a été couvert, à partir de $a$, par une chaîne d’intervalles choisis parmi les intervalles définis par le procédé donné, lorsqu’on aura construit par ce procédé un intervalle ${(t_{1},t_{2})}$ d’origine ${t_{1}=a}$, puis un intervalle ${(t_{2},t_{3})}$ d’origine $t_{2}$, etc., puis, si cela est nécessaire, un intervalle ${(t_{\omega },t_{\omega +1})}$ dont l’origine est la limite de $t_{1},t_{2},\ldots$, et ainsi de suite. Il a été démontré qu’on arrive ainsi nécessairement à atteindre $b$ au bout d’un nombre fini ou d’une infinité dénombrable d’opérations, de sorte que la chaîne construite couvrira bien tout ${(a,b)}$.
* ↑ Il est d’ailleurs évident qu’une fonction non bornée ne peut satisfaire aux définitions qui suivent.
* ↑ Et non plus la limite supérieure d’indétermination de la limite des nombres $v$.
* ↑ Un intervalle ${(x_{i-1},x_{i})}$ est dit contigu à un ensemble $\mathrm {E}$ s’il ne contient pas de points de $\mathrm {E}$ et si ses extrémités font partie de $\mathrm {E}$ ou de $\mathrm {E} '$. La dénomination d’intervalle contigu est due à M. R. Baire.
* ↑ Pour être tout à fait rigoureux, il faudrait démontrer que la somme des longueurs des intervalles contigus à $\mathrm {E} _{1}+\mathrm {E} _{2}$, intervalles qui jouent le rôle des ${(\alpha ,\beta )}$, est égale à 2 comme la somme des différences ${\beta -\alpha }$. Cela est presque évident et résulte, si l’on veut, de ce que $\mathrm {E} _{1}+\mathrm {E} _{2}$ est d’étendue extérieure nulle.
* ↑ Quand nous parlerons d’un polygone inscrit dans une courbe, nous supposerons toujours cette dernière condition remplie.
* ↑ Allgemeine Untersuchungen über Rectification der Curven (Acta mathematica, t. V).
* ↑ Cours d’Analyse, t. I, 2e édition. Scheeffer et Jordan ont aussi examiné le cas où $x(t),y(t),z(t)$ ne sont pas continues.
* ↑ La courbe ${x=x(t),y=0,z=0}$, qui sert dans ce raisonnement, est dite la projection sur $ox$ de la courbe donnée ; la projection sur $xoy$ est ${x=x(t),y=y(t),z=0}$.
* ↑ Lorsque le procédé donné fait correspondre plusieurs intervalles à une même origine $t_{\alpha }$, il faut choisir entre tous ces intervalles celui qu’on appellera ${(t_{\alpha },t_{\alpha +1})}$. Ce choix peut être fait arbitrairement si la nécessité de choisir ne se présente qu’un nombre fini de fois. Si elle se présente un nombre infini de fois, pour éviter les difficultés qui surgissent de l’emploi des mots « choisir une infinité de fois », il vaut mieux supprimer le choix en indiquant suivant quelle loi on déterminera ${(t_{\alpha },t_{\alpha +1})}$ parmi tous les intervalles possibles. Dans la démonstration précédente, on pourra assujettir chaque intervalle ${(t_{\alpha },t_{\alpha +1})}$ à être le plus grand qui satisfasse aux conditions imposées ; il y a bien d’ailleurs, dans l’ensemble de ces intervalles, un intervalle plus grand que tous les autres.