Théorème de Darboux (analyse)

Modèle:Voir homonyme En mathématiques, et plus particulièrement en analyse, le théorème de Darboux est un théorème démontré par Gaston Darboux en 1875 et qui étend le théorème des valeurs intermédiaires aux fonctions non nécessairement continues mais seulement dérivées de fonctions réelles.

Démonstrations

Il existe plusieurs démonstrations. La preuve originelle de Darboux<ref name=Darboux>Modèle:Article, en particulier Modèle:P..</ref><ref>Modèle:Ouvrage (ex. 54).</ref><ref name=DJM/><ref>Modèle:Note autre projet</ref> repose essentiellement — comme celle du théorème de Rolle — sur le théorème des bornes et le théorème de Fermat sur les extrema locaux. D'autres, comme celle de Lebesgue<ref>Modèle:Harvsp.</ref><ref name=DJM>Modèle:Ouvrage.</ref><ref>Modèle:Note autre projet</ref> ou une variante récente (ci-dessous), utilisent d'autres résultats d'analyse élémentaire : le théorème des valeurs intermédiaires joint au théorème de Rolle ou des accroissements finis. L'utilisation du théorème des valeurs intermédiaires est parfois implicite<ref>Modèle:Lien web, Modèle:P..</ref><ref>Modèle:Note autre projet</ref>.

Considérons les fonctions continues : <math>\varphi_a : \begin{array}{l|rcl} & [a,b] & \longrightarrow & \R \\

   & x & \longmapsto & \left\{ \begin{array}{ll} f'(a) \text{ si } x=a \\ \frac{f(x)-f(a)}{x-a} \text{ sinon} \end{array} \right. \end{array}</math>et <math>\varphi_b : \begin{array}{l|rcl}
& [a,b] & \longrightarrow & \R \\
   & x & \longmapsto & \left\{ \begin{array}{ll} f'(b) \text{ si } x=b \\ \frac{f(x)-f(b)}{x-b} \text{ sinon} \end{array} \right. \end{array}</math>

D'après le théorème des valeurs intermédiaires, <math>\varphi_a([a,b])</math> et <math>\varphi_b([a,b])</math> sont des intervalles contenant tous deux le taux <math>\frac{f(b)-f(a)}{b-a} = \varphi_a(b) = \varphi_b(a)</math>, leur réunion est encore un intervalle contenant <math>\varphi_a(a) = f'(a)</math> et <math>\varphi_b(b) = f'(b)</math>. Si <math>k</math> est strictement compris entre <math>f'(a)</math> et <math>f'(b)</math>, il existe donc un <math>l\in\left]a,b\right[</math> tel que <math>k=\varphi_a(l) \text{ ou } k = \varphi_b(l)</math>. Par exemple si <math>k=\varphi_a(l) = \frac{f(l)-f(a)}{l-a}</math>, le théorème des accroissements finis prouve l'existence de <math>c\in\left]a,l\right[</math> et donc à fortiori de <math>c\in[a,b]</math> tel que <math>f'(c)=k</math>.

Historique

Une fonction réelle f, définie sur un intervalle I, vérifie la propriété des valeurs intermédiaires si, u et v étant les deux valeurs prises par f respectivement en deux points quelconques a et b de I, toutes les valeurs comprises entre u et v sont également prises par f lorsque la variable varie de a à b. C'est le cas des fonctions continues, ce résultat constituant le théorème des valeurs intermédiaires.

Au Modèle:S mini- siècleModèle:Vérification siècle, la plupart des mathématiciens pensaient que, réciproquement, une fonction f sur I qui vérifie la propriété des valeurs intermédiaires est nécessairement continue sur I. Autrement dit, la propriété des valeurs intermédiaires serait une caractéristique des fonctions continues. En 1875, Darboux mit un terme à cette conviction<ref name=Darboux/><ref>Hélène Gispert-Chambaz, Camille Jordan et les fondements de l'analyse, Publications mathématiques d'Orsay, université de Paris-Sud, 1982, Modèle:P..</ref>, en prouvant d'une part qu'il existe des fonctions dérivables dont la dérivée n'est continue sur aucun intervalle et d'autre part Modèle:Supra, que toute fonction dérivée vérifie la propriété des valeurs intermédiaires.

Les fonctions de Darboux

Dans son mémoire, Darboux donne l'exemple suivant de fonction F dérivable dont la dérivée f n'est continue sur aucun intervalle.

Il utilise une première fonction, qui est dérivable en tout point, mais dont la dérivée est discontinue en 0 :

<math> \varphi \colon \R \rightarrow \R,\ x \mapsto

\begin{cases} x^{2}\sin(1/x)&\text{si }x \neq 0\\ 0&\text{sinon.} \end{cases}</math> Pour toute série <math>\sum{a_{n}}</math> absolument convergente, il définit ensuite la fonction :

<math> F : x \mapsto \sum_{n=1}^{\infty} \frac{a_{n}}{n} \varphi(\sin(nx\pi))</math>

Il prouve que cette fonction est dérivable en tout point, de dérivée :

<math> f : x \mapsto \sum_{n=1}^{\infty} \pi a_{n} \varphi'(\sin(nx\pi)) \cos(nx\pi)</math>

et affirme qu'on obtient ainsi une fonction Modèle:Math dont la dérivée Modèle:Math n'est continue en aucun rationnel<ref>Modèle:Article démontre que cette affirmation est exacte si et seulement si, pour tout entier q > 0, au moins l'un des a_mq est non nul. Une condition suffisante est donc que tous les a_n soient non nuls.</ref>.

D'après le théorème de Darboux, la fonction f ci-dessus vérifie donc la propriété des valeurs intermédiaires sur tout intervalle, tout en n'étant continue sur aucun intervalle.

Depuis, on appelle fonction de Darboux toute fonction vérifiant la propriété des valeurs intermédiaires. Ces fonctions ont été très étudiées, en relation avec la propriété d'être de classe de Baire 1<ref>Modèle:Ouvrage, chap. 1 et 2.</ref><ref>Modèle:Article.</ref>.

De telles fonctions sont nombreuses. Toute fonction continue est une fonction de Darboux. La dérivée <math>\varphi'</math> de la fonction <math>\varphi</math> définie ci-dessus est une fonction de Darboux discontinue en 0. Toute fonction réelle est somme de deux fonctions de Darboux ; plus généralement<ref>Modèle:Ouvrage.</ref>, les fonctions réelles de toute famille ayant au plus la puissance du continu sont toutes sommes de deux fonctions « fortement Darboux » dont l'une est fixe, une fonction f étant dite fortement Darboux si Modèle:Nobr pour tout intervalle I contenant au moins deux points (une telle fonction est automatiquement de Darboux et discontinue en tout point). Les éventuelles discontinuités d'une fonction de Darboux f sont toujours essentielles ; plus précisément, si f est, par exemple, discontinue à droite en un point alors, en ce point, f n'a pas de limite à droite, même infinie. Une fonction de Darboux est continue si (et seulement si) tous ses ensembles de niveau sont fermés<ref>Modèle:Article.</ref><ref>Modèle:Harvsp.</ref>.

Le théorème de Darboux énonce que la dérivée d'une fonction dérivable est une fonction de Darboux.

La réciproque est fausse. En effet, on sait que toute fonction dérivée est à la fois borélienne et continue sur un ensemble dense et il existe des fonctions « fortement Darboux » (donc discontinues en tout point), comme celles mentionnées ci-dessus ou celles construites par Lebesgue<ref>Modèle:Ouvrage (La fonction construite par Lebesgue n'est pas « fortement Darboux » au sens strict, mais le devient par composition avec une surjection de [0, 1] dans ℝ.)</ref> ou par Conway ; il en existe même qui ne sont pas Lebesgue-mesurables<ref>Modèle:Ouvrage.</ref><ref>Modèle:Harvsp.</ref><ref>Voir aussi : Équation fonctionnelle de Cauchy.</ref>.

Applications

Ce théorème peut servir à montrer qu'une fonction n'admet pas de primitive, en montrant qu'il existe un intervalle sur lequel cette fonction ne vérifie pas le théorème des valeurs intermédiaires. Un exemple trivial est donné par la fonction partie entière.