MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I had been reading about Lanzcos derivatives. So if $X = 0,1$ is a Bernoulli trial with each outcome equally likely,

$$ \frac{\mathrm{Cov}(f(t+hX), hX)}{\sigma_{hX}^2} = \frac{f(t+h)-f(t)}{h}$$

and the Lanzcos derivative is good on empirically defined functions. If $X \in [-1,1]$ uniformly at random,

$$ \frac{\mathrm{Cov}(f(t+hX), hX)}{\sigma_{hX}^2} = \frac{3}{2h^3}\int_{-1}^1 f(t+h)t \, dh.$$

Here differentiation becomes a linear regression problem. The derivative is defined as the Covariance of $f(t + hX)$ with a line $hX$ normalized by the variance.

Maybe you can generalize to things other than lines. Could there be a sense in which $$f(k) = \displaystyle \sum_{k=1}^n \phi(k) = \frac{1}{2}\left(1 + \sum_{k=1}^n \mu(k) \left\lfloor \frac{n}{k}\right\rfloor^2 \right)$$ can be differentiated with respect to Mobius function $\mu(\cdot)$ to get just $$\frac{df}{d\mu} =_? \displaystyle \frac{1}{2} \sum_{k=1}^n \left\lfloor \frac{n}{k}\right\rfloor^2 $$ I imagine some far-fetched sense of derivative should exists since $\phi(\cdot)$ and $\mu(\cdot)$ behave oddly at similar points.
I have evaded the issue of what it means for a function $f: \mathbb{Z} \to \mathbb{Z}$ to be ``differentiable". In the spirit of Coarse Geometry maybe we could define $F(x) = \frac{1}{n^2} f(\lfloor n x \rfloor)$. This question is a disaster but I thought I'd ask anyway if this or something similar could be made rigorous.

share|cite|improve this question
Shouldn't it be $\frac{df}{d\mu} = \displaystyle \frac{1}{2} \sum_{k=1}^n \left\lfloor \frac{n}{k}\right\rfloor^2$? – Aeryk Dec 29 '11 at 13:40
thanks. guess i'm trying to say, for differentiable function the "generic" local behavior is a line. I wonder if these number theory functions also have their own generic behavior on $\mathbb{Z}$. Maybe I'm just looking for p-adic continuity or something. – john mangual Dec 29 '11 at 17:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.