Extension of polynomial functions - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:05:57Z http://mathoverflow.net/feeds/question/76116 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/76116/extension-of-polynomial-functions Extension of polynomial functions rts 2011-09-22T11:34:51Z 2011-09-22T12:15:54Z <p>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$.</p> <p>Thanks</p> http://mathoverflow.net/questions/76116/extension-of-polynomial-functions/76120#76120 Answer by zeb for Extension of polynomial functions zeb 2011-09-22T12:15:54Z 2011-09-22T12:15:54Z <p>Yes, such an extension does exist.</p> <p>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$).</p> <p>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$.</p> <p>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$.</p>