Dérivée de Dini

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, une dérivée de Dini est une quantité qui généralise la notion de dérivée d'une fonction lorsque celle-ci n'est pas dérivable. Les dérivées de Dini ont été introduites par Ulisse Dini.

Définition[modifier | modifier le code]

Soit f une fonction d'un intervalle I ouvert de ℝ, à valeurs réelles, et soit x un point de I. Les quatre dérivées de Dini sont respectivement les limites inférieure et supérieure du taux d'accroissement à gauche et à droite de f :

Dérivée à droite supérieure :

D^{+}f(x)=\limsup _{h\to 0^{+}}{\frac {f(x+h)-f(x)}{h}}

Dérivée à droite inférieure :

D_{+}f(x)=\liminf _{h\to 0^{+}}{\frac {f(x+h)-f(x)}{h}}

Dérivée à gauche supérieure :

D^{-}f(x)=\limsup _{h\to 0^{-}}{\frac {f(x+h)-f(x)}{h}}

Dérivée à gauche inférieure :

D_{-}f(x)=\liminf _{h\to 0^{-}}{\frac {f(x+h)-f(x)}{h}}

(les deux dérivées à droite, supérieure et inférieure, sont parfois notées respectivement f'_+d et f'_–d et celles à gauche, f'_+g et f'_–g).

Propriétés[modifier | modifier le code]

Deux propriétés découlent trivialement de la définition des dérivées de Dini :

Si la dérivée à droite supérieure est égale à la dérivée à droite inférieure, alors f est dérivable à droite de x. De même à gauche.
f est dérivable en x si et seulement si les quatre dérivées de Dini sont égales.

Le théorème suivant^[1]^,^[2] a été démontré par Arnaud Denjoy en 1915 pour les fonctions continues, puis étendu aux fonctions mesurables par Grace Chisholm Young en 1916 et aux fonctions quelconques par Stanisław Saks en 1924 :

Théorème de Denjoy-Young-Saks — Soit f définie sur un intervalle I. Alors, I est la réunion d'un ensemble négligeable et des quatre parties suivantes :

I₁ : en les points duquel f est dérivable au sens ordinaire,
I₂ : en les points duquel D⁺f = D_–f (finie), D^–f = $+\infty$ et D₊f = $-\infty$ ,
I₃ : en les points duquel D^–f = D₊f (finie), D⁺f = $+\infty$ , D_–f = $-\infty$ ,
I₄ : en les points duquel D^–f = D⁺f = $+\infty$ , D_–f = D₊f = $-\infty$ .

De plus, les dérivées bilatérales supérieure et inférieure (à valeurs dans $[-\infty, +\infty]$ ) sont mesurables.

Pour démontrer ce théorème^[3], on peut s'appuyer sur le cas particulier classique où f est croissante, donc dérivable presque partout.

Notes et références[modifier | modifier le code]

↑ (en) A. M. Bruckner et J. L. Leonard, « Derivatives », Amer. Math. Monthly, vol. 73,‎ 1966, p. 24-56.
↑ (en) Stanislaw Saks, Theory of the Integral, Dover, 1937, 2^e éd. (lire en ligne), « IX, § 4 ».
↑ (en) Vladimir I. Bogachev, Measure Theory, Berlin/New York, Springer, 2007 (ISBN 978-3-540-34514-5, lire en ligne), p. 371-372.

Bibliographie[modifier | modifier le code]

(en) Anthony P. Morse (en), « Dini derivatives of continuous functions », Proc. Amer. Math. Soc., vol. 5,‎ 1954, p. 126-130 (lire en ligne)

Portail de l'analyse

[1] (en) A. M. Bruckner et J. L. Leonard, « Derivatives », Amer. Math. Monthly, vol. 73,‎ 1966, p. 24-56.

[2] (en) Stanislaw Saks, Theory of the Integral, Dover, 1937, 2^e éd. (lire en ligne), « IX, § 4 ».

[3] (en) Vladimir I. Bogachev, Measure Theory, Berlin/New York, Springer, 2007 (ISBN 978-3-540-34514-5, lire en ligne), p. 371-372.

[1]

[2]

[3]