Let $P$ be an interval in $\mathbf{R}$, $n \in \mathbf{N}$. Assume that a function $f: P \rightarrow \mathbf{R}$ satisfies $\Delta^{n+1}\_h f(x)=0$ for every $x \in P$ and every $h>0$ such that $x+(n+1)h \in P$. I want to know whether there exists a function $F: \mathbf{R} \rightarrow \mathbf{R}$ such that $\Delta^{n+1}\_h F(x)=0$ for every $x \in \mathbf{R}$ and every $h>0$,and $F|\_P=f$.


Thanks



Extension of polynomial functions
Yes, such an extension does exist.


Let $\{ e\_i \}\_{i \in I}$ be a basis of $\mathbb{R}$ over $\mathbb{Q}$. Pick any finite subset $e\_1, ..., e\_k$ of the $e\_i$s, and look at the restriction of $f$ to $P' = (\mathbb{Q}e\_1 \oplus \cdots \oplus \mathbb{Q}e\_k) \cap P$. It's easy to see that there is a unique extension of $f$ to a polynomial $\mathbb{Q}e\_1 \oplus \cdots \oplus \mathbb{Q}e\_k \rightarrow \mathbb{R}$ of degree at most $n$, where by polynomial, I mean a polynomial in the coefficients on $e\_1, ..., e\_k$ (for uniqueness, you can use that $P'$ is Zariski-dense in $\mathbb{Q}e\_1 \oplus \cdots \oplus \mathbb{Q}e\_k$).


By the uniqueness of this polynomial, we see that if instead of choosing $e\_1, ..., e\_k$ we had chosen some subset of them, we would still get the same function on the vector space spanned by the subset. Thus, the following definition for $F$ is well-defined: for any $x \in \mathbb{R}$, write $x$ as a linear combination of finitely many $e\_i$s $e\_1, ..., e\_k$, and evaluate the polynomial extension of $f$ to $\mathbb{Q}e\_1 \oplus \cdots \oplus \mathbb{Q}e\_k$ at $x$.


To see that this satisfies $\Delta^{n+1}\_hF(x) = 0$ for any $x,h$, choose a finite set $e\_1, ..., e\_k$ with which we can represent both $x$ and $h$, and then note that on the restriction to $\mathbb{Q}e\_1 \oplus \cdots \oplus \mathbb{Q}e\_k$, $F$ is equal to a polynomial of degree at most $n$, and thus $\Delta^{n+1}\_hF(x) = 0$.


