From: TCL on
The derivative of an arithmetic function f:Z^+ -> C is defined as

f'(n)=f(n)log n

Does anyone know who first defined this definition? Dirichlet?
I can't find this info from Google.
From: Gerry Myerson on
In article
<271b2a4b-1624-4f50-a1d8-2c48b39cfef1(a)y4g2000yqy.googlegroups.com>,
TCL <tlim1(a)cox.net> wrote:

> The derivative of an arithmetic function f:Z^+ -> C is defined as
>
> f'(n)=f(n)log n
>
> Does anyone know who first defined this definition? Dirichlet?
> I can't find this info from Google.

Pentti Haukkanen, of Tampere, has written on this (although I think
he uses f'(n) = - f(n) log n), maybe you should try to contact him.

--
Gerry Myerson (gerry(a)maths.mq.edi.ai) (i -> u for email)
From: Han de Bruijn on
On Jul 1, 1:31 am, Gerry Myerson <ge...(a)maths.mq.edi.ai.i2u4email>
wrote:
> In article
> <271b2a4b-1624-4f50-a1d8-2c48b39cf...(a)y4g2000yqy.googlegroups.com>,
>
>  TCL <tl...(a)cox.net> wrote:
> > The derivative of an arithmetic function f:Z^+ -> C is defined as
>
> > f'(n)=f(n)log n
>
> > Does anyone know who first defined this definition? Dirichlet?
> > I can't find this info from Google.
>
> Pentti Haukkanen, of Tampere, has written on this (although I think
> he uses f'(n) = - f(n) log n), maybe you should try to contact him.
>
> --
> Gerry Myerson (ge...(a)maths.mq.edi.ai) (i -> u for email)

Any idea about the heuristics or where it's good for?

Han de Bruijn
From: David C. Ullrich on
On Thu, 01 Jul 2010 09:31:05 +1000, Gerry Myerson
<gerry(a)maths.mq.edi.ai.i2u4email> wrote:

>In article
><271b2a4b-1624-4f50-a1d8-2c48b39cfef1(a)y4g2000yqy.googlegroups.com>,
> TCL <tlim1(a)cox.net> wrote:
>
>> The derivative of an arithmetic function f:Z^+ -> C is defined as
>>
>> f'(n)=f(n)log n
>>
>> Does anyone know who first defined this definition? Dirichlet?
>> I can't find this info from Google.
>
>Pentti Haukkanen, of Tampere, has written on this (although I think
>he uses f'(n) = - f(n) log n), maybe you should try to contact him.

Why would that be called a "derivative"?


From: Frederick Williams on
"David C. Ullrich" wrote:
>
> On Thu, 01 Jul 2010 09:31:05 +1000, Gerry Myerson
> <gerry(a)maths.mq.edi.ai.i2u4email> wrote:
>
> >In article
> ><271b2a4b-1624-4f50-a1d8-2c48b39cfef1(a)y4g2000yqy.googlegroups.com>,
> > TCL <tlim1(a)cox.net> wrote:
> >
> >> The derivative of an arithmetic function f:Z^+ -> C is defined as
> >>
> >> f'(n)=f(n)log n
> >>
> >> Does anyone know who first defined this definition? Dirichlet?
> >> I can't find this info from Google.
> >
> >Pentti Haukkanen, of Tampere, has written on this (although I think
> >he uses f'(n) = - f(n) log n), maybe you should try to contact him.
>
> Why would that be called a "derivative"?

A quote from Tom Apostol's _Introduction to Analytic Number Theory_,
section 2.18:

This concept of derivative shares many of the properties of the
ordinary derivative discussed in elementary calculus. For example,
the usual rules for differentiating sums and products also hold if
the products are Dirichlet products.

Theorem 2.26 If f and g are arithmetical functions we have:
(a) (f + g)' = f' + g'.
(b) (f*g)' = f'*g + f*g'.
(c) (f^{-1})' = -f'*(f*f)^{-1}, provided that f(1) = 0.

[* is the Dirichlet product, natrulich.]

--
I can't go on, I'll go on.