Fonction de Volterra

En mathématiques, la fonction de Volterra, qui prend son nom de Vito Volterra, est une fonction réelle V définie sur , ayant la curieuse combinaison suivante de propriétés :

Les trois premières étapes de la construction.

Définition et construction

La fonction est définie à partir de l'ensemble de Smith-Volterra-Cantor, qui sera noté ici S, et des « copies » de la fonction définie par pour ≠ 0 et , le but étant de construire une fonction dérivable dont la dérivée est discontinue sur un ensemble de mesure non nulle[1]. Une telle dérivée ne pourra pas être Riemann-intégrable.

L'ensemble S est une partie fermée de [0,1], de mesure non nulle, d'intérieur vide, sans point isolé. Son complémentaire dans [0,1] est une réunion dénombrable d'intervalles ouverts. On définit la fonction de Volterra de la façon suivante. Elle est nulle sur S. Sur chaque intervalle ouvert du complémentaire de S, elle est égale à une fonction dérivable, à dérivée continue, se prolongeant en a et en b en une fonction continue et dérivable, avec , mais de façon que la dérivée soit discontinue en a et en b. Pour cela, on adapte à l'intervalle la construction ci-dessous effectuée, pour simplifier les notations, au cas de l'intervalle ]0,1[ :

  • Prendre pour , avec c un réel élément de et tel que .
  • Prendre sur .
  • Prendre sur .

Propriétés

Ayant effectué une construction comparable sur chaque intervalle du complémentaire de S, on obtient une fonction V dérivable en tout point de , et dont la dérivée est discontinue sur S et continue sur son complémentaire[1].

En effet, la fonction f précédente est dérivable en 0, de dérivée nulle. Mais pour x non nul, on a , ce qui implique que dans tout voisinage de zéro, il y a des points où prend les valeurs 1 et -1. Ainsi, il y a des points où prend les valeurs 1 et -1 dans tout voisinage de chaque borne des intervalles retirés lors de la construction de l'ensemble S de Smith-Volterra-Cantor. Ainsi, en tout point de S, V est dérivable, de dérivée nulle, mais y est discontinue. Cependant, est continue dans chacun de ces intervalles, donc l'ensemble des points de discontinuités de est exactement égal à S.

Comme l'ensemble S admet une mesure de Lebesgue strictement positive, cela signifie que est discontinue sur un ensemble de mesure non nulle, et donc non Riemann-intégrable[2],[3].

Notons que si l'on avait mené la même construction sur l'ensemble de Cantor C, on aurait obtenu une fonction avec des propriétés similaires, mais la dérivée aurait été discontinue sur C qui est de mesure nulle, et la fonction obtenue aurait alors eu une dérivée Riemann-intégrable.

Référence

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Volterra's function » (voir la liste des auteurs).
  1. (en) R. A. Gordon, The Integrals of Lebesgue, Denjoy, Perron, and Henstock, American Math. Society, (ISBN 0-8218-3805-9), p. 35-36
  2. (en) R. A. Gordon, The Integrals of Lebesgue, Denjoy, Perron, and Henstock, American Math. Society, (ISBN 0-8218-3805-9), p. 39
  3. J.-A. Arnaudiès, L'intégrale de Lebesgue sur la droite réelle, Vuivert, (ISBN 2-7117-8904-7), p. 274
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.