5
$\begingroup$

Consider expanding the differentiation operator in terms of the forward difference operator as $f' = \log(1 + \Delta)f = \displaystyle \sum_{n = 1}^{\infty} \frac{(-1)^{n + 1}\Delta^n f}{n}$. For some functions, this series does indeed converge to the derivative of $f$ (e.g., polynomials, and apparently even functions of the form $f(x) = x^p$ for non-natural $p$). Alas, however, this formula cannot hold in complete generality (there's no reason the local data of $f'(x)$ for a particular $x$ should be constrained at all by the global data of $f(x), f(x + 1), f(x + 2), ...$).

So one might ask (and I do!): is there a nice characterization of conditions under which this identity does hold?

$\endgroup$
6
  • $\begingroup$ i think for f=0 ,"and it is nice question " $\endgroup$ Jul 27, 2015 at 21:50
  • $\begingroup$ Have you checked Jordan's classic book The Calculus of Finite Differences? $\endgroup$ Jul 27, 2015 at 23:11
  • $\begingroup$ Are you familiar with Newton series? $\endgroup$
    – user13113
    Jul 28, 2015 at 0:20
  • $\begingroup$ f is a Lipschitz continuous function in all the arguments $\endgroup$ Jul 28, 2015 at 0:39
  • $\begingroup$ Link to Jordan's book: books.google.com/… $\endgroup$
    – Todd Trimble
    Aug 3, 2015 at 23:48

1 Answer 1

1
$\begingroup$

This is a special case of well-known general formula for the n-th derivative via differences and Stirling numbers. Cf. good books on finite differences, e.g. of Gelfond or Jordan.

$\endgroup$
4
  • $\begingroup$ I see the identity mentioned in Jordan's "Calculus of Finite Differences", but there does not seem to me to be much discussion of the conditions under which the identity holds, which is really the question I am interested in. (For example, is there simple reason by which one could know a priori that this identity is indeed valid at all points for all functions of the form $f(x) = x^p$, even for non-natural $p$?) $\endgroup$ Jul 29, 2015 at 0:05
  • $\begingroup$ I suppose my example question may boil down to: Is there simple reason by which one could know that the Newton series for $x \mapsto x^p$ based at any point converges to the correct value within a neighborhood of that point? $\endgroup$ Aug 4, 2015 at 17:29
  • 1
    $\begingroup$ In the book of Gelfond there is a special chapter on convergence of Newton series. $\endgroup$
    – Sergei
    Aug 4, 2015 at 18:49
  • $\begingroup$ math.stackexchange.com/questions/892961/… $\endgroup$ Aug 4, 2015 at 23:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.