Dérivée arithmétique

En mathématiques, et plus précisément en théorie des nombres, la dérivée arithmétique est une fonction définie sur les entiers naturels, basée sur la décomposition en facteurs premiers, par analogie avec la règle du produit pour le calcul des dérivées utilisé en analyse.

Définition

Il existe sur l'ensemble des entiers naturels $ℕ$ une application unique notée $n \mapsto n^{'}$ et appelée dérivée arithmétique, telle que

$p^{'} = 1$ pour tous les nombres premiers $p$ .
$(a b)^{'} = a^{'} b + a b^{'}$ pour tous $a <mo>,</mo> b \in ℕ$ (règle de Leibniz).

On déduit facilement de la règle du produit^[1] que $0^{'} = 1^{'} = 0$ ; plus généralement, si on pose

x = p_{1}^{e_{1}} \dots p_{k}^{e_{k}} <mo>,</mo>

(où $p_{1}, \dots, p_{k}$ sont des nombres premiers distincts et $e_{1}, \dots, e_{k}$ des entiers), on obtient^[2]

x^{'} = \sum_{i = 1}^{k} e_{i} p_{1}^{e_{1}} \dots p_{i}^{e_{i} - 1} \dots p_{k}^{e_{k}} = x \sum_{i = 1}^{k} \frac{e_{i}}{p_{i}} .

La dérivée arithmétique vérifie également la formule usuelle pour les puissances (entières) :

(x^{n})^{'} = n x^{'} x^{n - 1}

, et en particulier pour p premier

(p^{n})^{'} = n p^{n - 1} <mo stretchy="false">.</mo>

La suite des dérivées arithmétiques des entiers k = 0, 1, 2, ... commence par :

0, 0, 1, 1, 4, 1, 5, 1, 12, 6, 7, 1, 16, 1, 9, ... (c'est la Modèle:OEIS).

E.J. Barbeau fut le premier à formaliser cette définition^[3], qu'il étendit à tous les entiers en montrant qu'elle entraîne $(- x)^{'} = - x^{'}$ ; il montra également que la formule précédente s'étend aux rationnels en admettant des exposants négatifs. Victor Ufnarovski et Bo Åhlander l'étendirent encore à certains irrationnels, en acceptant des exposants rationnels arbitraires.

Alexandru Buium et Michael Stay ont généralisé la dérivation arithmétique à d'autres objets classiques du calcul différentiel ; ils définissent par exemple la notion de dérivée arithmétique partielle (par rapport à un nombre premier p) en posant "dx/dp" = $(x - x^{p}) / p$ (qui est un entier d'après le petit théorème de Fermat).

Relations avec la théorie des nombres

Victor Ufnarovski et Bo Åhlander ont montré que cette fonction permet d'exprimer simplement diverses conjectures liées à de célèbres questions ouvertes en théorie des nombres, telle que la conjecture des nombres premiers jumeaux, ou la conjecture de Goldbach. Par exemple, la conjecture de Goldbach entraîne l'existence, pour chaque k > 1, d'un n tel que n' = 2k. L'existence d'une infinité de nombres premiers jumeaux entraîne qu'il existe une infinité de k pour lesquels k'' = 1.

Notes

Modèle:Références

Références

Modèle:Traduction/Référence

Modèle:En E. J. Barbeau, Remark on an arithmetic derivative, Canadian Mathematical Bulletin, Vol. 4 (1961), pp. 117–122.
Modèle:En Victor Ufnarovski et Bo Åhlander, How to Differentiate a Number, Journal of Integer Sequences Vol. 6 (2003), Article 03.3.4.
Modèle:Planetmath
Modèle:En Linda Westrick, Investigations of the Number Derivative.
Modèle:En Modèle:Lien, Math Trek: Deriving the Structure of Numbers.
Modèle:En Michael Stay, Generalized Number Derivatives.
Modèle:En Alexandru Buium, Arithmetic analogues of derivations. J. Algebra 198 (1997), no. 1, 290-299.

Modèle:Portail

↑ En effet, $0^{'} = (0 \times 0)^{'} = 2 (0 \times 0^{'}) = 0$ et $1^{'} = (1 \times 1)^{'} = 2 (1 \times 1^{'}) = 2 \times 1^{'}$
↑ V. Ufnarovski, How to Differentiate a Number, théorème 1 ; on a par exemple $8 1^{'} = (3^{4})^{'} = (9 \cdot 9)^{'} = 9^{'} \cdot 9 + 9 \cdot 9^{'} = 2 [9 (3 \cdot 3)^{'}] = 2 [9 (3^{'} \cdot 3 + 3 \cdot 3^{'})] = 2 [9 \cdot 6] = 108 = 4 \cdot 3^{3}$
↑ Mais Michael Stay fait remarquer qu'elle a été redécouverte indépendamment à plusieurs reprises par la suite

[1] En effet, $0^{'} = (0 \times 0)^{'} = 2 (0 \times 0^{'}) = 0$ et $1^{'} = (1 \times 1)^{'} = 2 (1 \times 1^{'}) = 2 \times 1^{'}$

[2] V. Ufnarovski, How to Differentiate a Number, théorème 1 ; on a par exemple $8 1^{'} = (3^{4})^{'} = (9 \cdot 9)^{'} = 9^{'} \cdot 9 + 9 \cdot 9^{'} = 2 [9 (3 \cdot 3)^{'}] = 2 [9 (3^{'} \cdot 3 + 3 \cdot 3^{'})] = 2 [9 \cdot 6] = 108 = 4 \cdot 3^{3}$

[3] Mais Michael Stay fait remarquer qu'elle a été redécouverte indépendamment à plusieurs reprises par la suite

[1]

[2]

[3]

Dérivée arithmétique

Sommaire

Définition

Relations avec la théorie des nombres

Notes

Références

Menu de navigation

Dérivée arithmétique

Définition

Relations avec la théorie des nombres

Notes

Références

Menu de navigation

Rechercher