Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Given a function $g(x)$, is it possible to find a function $f(x)$ that satisfies

$$ f(x+1) - f(x-1) = g(x) $$

share|cite|improve this question
What kind of functions are we talking about here? – Qiaochu Yuan Jan 13 '11 at 2:00
up vote 14 down vote accepted

Pick any choice of $f$ on the interval $[-1,1)$. By using the property $f(x) = g(x-1) + f(x-2)$, you can extend this definition to $[1,3)$, and so on to the rest of the positive real line. Similarly, you can extend $f$ to the negative real line using $f(x) = f(x+2) - g(x+1)$. This is one solution to your equation.

Of course, a different choice of $f$ on $[-1,1)$ will give you a different result. This corresponds to the fact that adding any periodic function $h$ with period 2 to $f$ still satisfies the original equation. In other words, there are infinitely many solutions.

For particular restricted classes of functions, as Qiaochu alludes to, there may be a single canonical solution. For example, if $g$ is a polynomial of degree $n$, there is a unique polynomial solution for $f$. This is a polynomial of degree $n+1$, and you can find it by expanding out the original equation and comparing powers starting with the highest. A similar fact holds for exponentials and trigonometric functions (except of course when the trigonometric functions have period 2, in which case you would have to include multiples of $x \sin \pi x$ and $x \cos \pi x$ in $f$ to get a solution).

share|cite|improve this answer

Let $f(x)=\frac{1}{2}x g(0)$ for $-1\le x \le 1$, $f(x)=g(x-1) + f(x-2)$ for $x>1$, and $f(x)=f(x+2)-g(x+1)$ for $x<-1$.

share|cite|improve this answer

There might be something to gain by interpreting $g(x)$ as being an approximation to the derivative of $f(x)$, (barring a factor of 2). It's not really the derivative, but the centered finite-difference.

share|cite|improve this answer

I don't know whether this procedure is correct or not:


$x\to x+1$:





$f(2x)=\sum_x g(2x+1)+\Theta_1(x)$, where $\Theta_1(x)$ is an arbitrary periodic function with unit period

$f(x)=h\left(\dfrac{x}{2}\right)+\Theta(x)$, where $h(x)=\sum_x g(2x+1)$ and $\Theta(x)$ is an arbitrary periodic function with period $2$

If $\lim_{x\to+\infty}g(x)=0$, according to, the result can be further simplified to $f(x)=\sum_{n=0}^\infty(g(2n+1)-g(x+2n+1))+\Theta(x)$, where $\Theta(x)$ is an arbitrary periodic function with period $2$, $\sum_{n=0}^\infty(g(2n+1)-g(x+2n+1))$ i.e. kernelisation of $\sum_{n=0}^{\frac{x}{2}-1}g(2n+1)$

share|cite|improve this answer
In other words: solutions to this problem are equivalent to solutions of the "indefinite summation" problem. – GEdgar Jul 1 '12 at 22:24

Your Answer


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

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