Arithmetic derivative

In number theory, the arithmetic derivative, or number derivative, is an arithmetic function defined for natural numbers, based on their prime factorization, and a product rule by analogy with the product rule for the derivative of a function that is used in analysis.

Arithmetic derivative of natural numbers

Definition

• For prime numbers, the arithmetic derivative is defined as

$p'\,\equiv \,1\,$

for any prime $\scriptstyle p.\,$

• For natural numbers, the arithmetic derivative is defined in terms of their prime factorization, using the product rule

$(ab)'\,\equiv \,a'b+ab'\,$

for any $\scriptstyle a,\,b\,\in \,\mathbb {N}$.

Considering a natural number's prime factorization

$n=\prod _{i=1}^{\omega (n)}{p_{i}}^{e_{i}},\,$

where $\scriptstyle \{p_{1},\,\ldots ,\,p_{\omega (n)}\}\,$ are the distinct prime factors of $\scriptstyle n\,$, ω(n) is the number of distinct prime factors of $\scriptstyle n\,$ and $\scriptstyle \{e_{1},\,\ldots ,\,e_{\omega (n)}\}\,$ are positive integers,

its arithmetic derivative is thus given by

$n'=\sum _{i=1}^{\omega (n)}e_{i}p_{1}^{e_{1}}\cdots p_{i}^{e_{i}-1}\cdots p_{\omega (n)}^{e_{\omega (n)}}=\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}}n=n\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}}.\,$

Arithmetic derivative of 1

By the Leibniz rule

$1'=(1\cdot 1)'=1'\cdot 1+1\cdot 1'=2\cdot 1',\,$

thus

$1'=0.\,$

Also

$1'=1\ \sum _{i=1}^{\omega (1)}{\frac {e_{i}}{p_{i}}}=1\sum _{i=1}^{0}{\frac {e_{i}}{p_{i}}}=1\cdot 0=0,\,$

since the empty sum is 0.

Arithmetic derivative of -1

By the Leibniz rule

$0=1'=((-1)\cdot (-1))'=-2\cdot (-1)',\,$

thus

$(-1)'=0.\,$

Arithmetic derivative of -n

By the Leibniz rule

$(-n)'=((-1)\cdot n)'=(-1)'\cdot n+(-1)\cdot n'=-n',\,$

thus

$(-n)'=-n'.\,$

Arithmetic derivative of 0

Unlike the functional derivative of analysis, the arithmetic derivative of a sum is not the sum of the arithmetic derivatives, so the following

$0'=(n+(-n))'=n'+(-n)'=n'-n'=0,\,$

thus

$0'=0\,$

is a fallacious 'proof'. But the result is true:

$0'=(-0)'=-0'\,$

thus

$2\cdot 0'=0\,$

so

$0'=0.\,$

E. J. Barbeau was the first to formalize this definition. He extended it to all integers by proving that $\scriptstyle (-x)'\,=\,-x'\,$ uniquely defines the derivative over the integers. Barbeau also further extended it to rational numbers. Victor Ufnarovski and Bo Åhlander expanded it to certain algebraic numbers. In these extensions, the formula above still applies, but the exponents $\scriptstyle e_{i}\,$ are allowed to be arbitrary rational numbers.

Properties

Arithmetic derivative of 0 or a unit (1, -1)

The arithmetic derivative of $\scriptstyle n\,$ is zero if and only if $\scriptstyle n\,$ is zero or a unit (i.e., an invertible element).

Arithmetic derivative of integer primes

An integer prime is a unit (1, -1) times a positive prime $\scriptstyle p\,$.

The arithmetic derivative of an integer prime (a unit (1, -1) times a positive prime $\scriptstyle p\,$) is that unit (if and only if rule)

$(p)'\,=\,p'\,=\,1,\,$

$(-p)'\,=\,-p'\,=\,-1.\,$

Arithmetic second derivative of integer primes

The arithmetic second derivative of an integer prime is thus zero (if and only if rule)

$(p)''\,=\,p''\,=\,1'\,=\,0,\,$

$(-p)''\,=\,-p''\,=\,-1'\,=\,0.\,$

Power rule (for prime powers)

The arithmetic derivative preserves the power rule (for prime powers):

$(p^{a})'=ap^{a-1},\,$

where $\scriptstyle p\,$ is prime and $\scriptstyle a\,$ is a positive integer.

Arithmetic logarithmic derivative

${\frac {n'}{n}}=\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}},\,$

so we may define the arithmetic logarithmic derivative of $\scriptstyle n\,$ as

$ld(n)\equiv (\log n)'\equiv {\frac {n'}{n}}=\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}}.\,$

Arithmetic derivative of rational numbers

For any nonzero $\scriptstyle n\,$

$0=1'={\bigg (}{\frac {n}{n}}{\bigg )}'=n'{\bigg (}{\frac {1}{n}}{\bigg )}+n{\bigg (}{\frac {1}{n}}{\bigg )}'\,$

thus

${\bigg (}{\frac {1}{n}}{\bigg )}'=-{\frac {n'}{n^{2}}}.\,$

For any $\scriptstyle a\,\in \,\mathbb {Z} ,\,b\,\in \,\mathbb {N^{+}} \,$ (quotient rule), we have

${\bigg (}{\frac {a}{b}}{\bigg )}'=a'{\bigg (}{\frac {1}{b}}{\bigg )}+a{\bigg (}{\frac {1}{b}}{\bigg )}'={\frac {a'}{b}}-a{\frac {b'}{b^{2}}}={\frac {(a'b-ab')}{b^{2}}}\,$,

which is analogous to the quotient rule for the derivative of a function in analysis.

Properties

The arithmetic derivative preserves the power rule (for negative prime powers):

${\bigg (}{\frac {1}{p^{a}}}{\bigg )}'=-{\frac {a}{p^{a+1}}},\,$

where $\scriptstyle p\,$ is prime and $\scriptstyle a\,\geq \,1.\,$

Sequences

The arithmetic derivative of $\scriptstyle n,\ n\,\geq \,0\,$, gives the sequence A003415

{0, 0, 1, 1, 4, 1, 5, 1, 12, 6, 7, 1, 16, 1, 9, 8, 32, 1, 21, 1, 24, 10, 13, 1, 44, 10, 15, 27, 32, 1, 31, 1, 80, 14, 19, 12, 60, 1, 21, 16, 68, 1, 41, 1, 48, 39, 25, 1, 112, 14, 45, 20, 56, 1, 81, 16, 92, 22, 31, 1, 92, 1, 33, 51, ...}

Arithmetic derivative of Gaussian integers

Ufnarovski and Ahlander briefly mention this idea, but they do not pursue it because the derivative of Gaussian integers is not an extension of the arithmetic derivative of integers. Every nonzero Gaussian integer has a unique factorization into the product of a unit (1, -1, i, -i) and powers of positive Gaussian primes (i.e. Gaussian primes $\scriptstyle a+bi\,$ where $\scriptstyle a\,>\,0\,$ and $\scriptstyle b\,\geq \,0\,$).

Definition

• The arithmetic derivative of all positive (first quadrant) Gaussian primes $\scriptstyle p\,$ is defined as 1

$p'\,\equiv \,1;\,$

• The arithmetic derivative of a product follows the Leibniz rule

$(uv)'\,\equiv \,u'v+uv'.\,$

Arithmetic derivative of 0 or a unit (1, -1, i, -i)

The definition leads to the following results

• The arithmetic derivative of 0 or a unit (1, -1, i, -i) is 0;

• The arithmetic derivative of a unit (1, -1, i, -i) times a Gaussian integer is that unit times the arithmetic derivative of that Gaussian integer

$(u)'\,=\,u',\,$

$(-u)'\,=\,-u',\,$

$(iu)'\,=\,iu',\,$

$(-iu)'\,=\,-iu'.\,$

Arithmetic derivative of Gaussian primes

A Gaussian prime is a unit (1, -1, i, -i) times a positive Gaussian prime.

The arithmetic derivative of a Gaussian prime (a unit (1, -1, i, -i) times a positive Gaussian prime) is that unit (if and only if rule)

$(p)'\,=\,p'\,=\,1,\,$

$(-p)'\,=\,-p'\,=\,-1,\,$

$(ip)'\,=\,ip'\,=i,\,$

$(-ip)'\,=\,-ip'\,=\,-i.\,$

Arithmetic second derivative of Gaussian primes

The arithmetic second derivative of a Gaussian prime is thus zero (if and only if rule)

$(p)''\,=\,p''\,=\,1'\,=\,0,\,$

$(-p)''\,=\,-p''\,=\,-1'\,=\,0,\,$

$(ip)''\,=\,ip''\,=i'\,=\,0,\,$

$(-ip)''\,=\,-ip''\,=\,-i'\,=\,0.\,$

Arithmetic derivative of Gaussian rationals

This definition of arithmetic derivative can be extended to fractions $\scriptstyle u/v\,$, where $\scriptstyle u\,$ and $\scriptstyle v\,$ are Gaussian integers.

Generalizations

The relation $\scriptstyle (ab)'\,=\,a'b+ab'\,$ implies $\scriptstyle 1'\,=\,0\,$, but it does not imply $\scriptstyle p'\,=\,1\,$ for $\scriptstyle p\,$ a prime. In fact, any function $\scriptstyle f\,$ defined on the primes can be extended uniquely to a function on the integers satisfying this relation (Cf. A003415, comment from: Franklin T. Adams-Watters (FrankTAW(AT)Netscape.net), Nov 07 2006):

$f(n)=f{\bigg (}\prod _{i=1}^{\omega (n)}{p_{i}}^{e_{i}}{\bigg )}={\bigg (}\prod _{i=1}^{\omega (n)}{p_{i}}^{e_{i}}{\bigg )}{\bigg (}\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}}f(p_{i}){\bigg )}=n{\bigg (}\sum _{i=1}^{\omega (n)}{\frac {e_{i}}{p_{i}}}f(p_{i}){\bigg )}.\,$

Applications

Emmons, Krebs, & Shaheen suggest several undergraduate projects involving the study of the arithmetic derivative.

See also

• A003415 a(n) = n' = derivative of n: a(0) = a(1) = 0, a(prime) = 1, a(mn) = m*a(n) + n*a(m).
• A086134 Least prime factor of n'.
• A086131 Greatest prime factor of n'.
• A085731 gcd(n, n').

• k-th arithmetic derivative of n
  • A003415 a(n) = n' = derivative of n: a(0) = a(1) = 0, a(prime) = 1, a(mn) = m*a(n) + n*a(m).
  • A068346 Arithmetic second derivative of n.
  • A099306 Arithmetic third derivative of n.
  • ...
  • A129150 n-th arithmetic derivative of 2^3.
  • A129151 n-th arithmetic derivative of 3^4.
  • A129152 n-th arithmetic derivative of 5^6.
  • A099309 k-th arithmetic derivative of n is nonzero for all k.
  • A099308 k-th arithmetic derivative of n is zero for some k.
  • A099307 Least k such that the k-th arithmetic derivative of n is zero.

• Arithmetic derivative of polynomials
  • A068719 Arithmetic derivative of 2n.
  • A068312 Arithmetic derivative of triangular numbers.
  • A068720 Arithmetic derivative of n^2.
  • A068721 Arithmetic derivative of n^3.

• A068329 Arithmetic derivative of Fibonacci(n).

• Arithmetic derivative of exponentials
  • A001787 Arithmetic derivative of 2^n.
  • A027471 Arithmetic derivative of 3^n.
  • A085708 Arithmetic derivative of 10^n.

• Arithmetic derivative of super-exponential functions
  • A024451 Arithmetic derivative of p#.
  • A068311 Arithmetic derivative of n!
  • A068327 Arithmetic derivative of n^n.

• Arithmetic derivative of special numbers
  • A068328 Arithmetic derivative of squarefree numbers.
  • A086300 Arithmetic derivative of 7-smooth numbers.

• Arithmetic derivative of arithmetic functions
  • A096371 Arithmetic derivative of partition number.
  • A099301 Arithmetic derivative of d(n).
  • A099310 Arithmetic derivative of phi(n).

• 'Arithmetic differential' Diophantine equations
  • A051674 n such that n' = n (i.e. (n-th prime)^(n-th prime).)
  • A098700 n such that x' = n has no integer solution.
  • A098699 Least x such that x' = n.
  • A099303 Greatest x such that x' = n.
  • A099302 Number of solutions to x' = n.
  • A099304 Least such that (n+k)' = n' + k'.
  • A099305 Number of solutions to (n+k)' = n' + k'.
• Arithmetic derivative of rational numbers
  • A068237 Numerator of arithmetic derivative of 1/n.
  • A068238 Denominator of arithmetic derivative of 1/n.

• Arithmetic derivative of Gaussian integers
  • A099379 The real part of n', the arithmetic derivative for Gaussian integers.
  • A099380 The imaginary part of -n', the arithmetic derivative for Gaussian integers.

References

• E. J. Barbeau, "Remark on an arithmetic derivative", Canadian Mathematical Bulletin, Vol. 4 (1961), 117–122.
• Victor Ufnarovski and Bo Åhlander, "How to Differentiate a Number", Journal of Integer Sequences Vol. 6 (2003), Article 03.3.4.

External links

• Arithmetic Derivative, Planet Math, accessed 04:15, 9 April 2008 (UTC).
• L. Westrick, Investigations of the Number Derivative.
• I. Peterson, Math Trek: Deriving the Structure of Numbers.
• Michael Stay, Generalized Number Derivatives, Journal of Integer Sequences, Vol. 8 (2005).