Extending functions from integers to reals in a "nice" way.

For every function $f$ from $\mathbb{Z}$ to $\mathbb{R}$, can we find a function $g$ from $\mathbb{R}$ to $\mathbb{R}$ that is infinitely differentiable and agrees with $f$ on $\mathbb{Z}$? Furthermore, would there be a simple way to explicitly define a $g$ for every $f$?

Could we impose stronger conditions on $g$ than this; I feel making $g$ infinitely differentiable wouldn't be too difficult in some piecewise way (perhaps using variations of $e^{-1/x^2}$ that are stretched and stitched together so all derivatives are 0 at every integer, though this seems ugly), but perhaps we can also find a $g$ equal to its Taylor series around a point, or a $g$ satisfying other nice conditions? Thanks.

Yes. We can even make $g$ equal to its Taylor series around every point, everywhere -- or, in other word, every function $\mathbb Z\to\mathbb C$ can be extended to an analytic function $\mathbb C\to\mathbb C$.

We can construct $g$ as the sum of a sequence of polynomials $g_1, g_2, g_3, \ldots$, such that

• $g_n$ is zero on $[-(n-1),n-1]\cap\mathbb Z$
• $g_n$ has the right values at $-n$ and $n$ to give the sum the right value at these two points.
• $|g_n(z)|<2^{-n}$ for $|z|\le n-1$.

The last of these properties will guarantee that the sum exists everywhere and is analytic everywhere (since it converges uniformly on every bounded subset of $\mathbb C$).

No matter what the values of $g_n(-n)$ and $g_n(n)$ need to be we can always achieve all the required properties by choosing $$ g_n(z) = (b+cz)z^m\prod_{k=-(n-1)}^{n-1} (z-k) $$ for appropriate constants $m$, $b$ and $c$. (Choosing $m$ large enough can make the magnitude of the value of the function on the disk $B_{n-1}(0)$ small enough compared with the values at $-n$ and $n$ that the third property can be achieved).

Of course, this extension is not unique -- at the very least we can add any multiple of $\sin(\pi z)$ we want to the result without losing analyticity.

Or, if we only want $g$ to be analytic on $\mathbb R$, we can simply choose $$ g(x) = \sum_{k\in\mathbb Z} \operatorname{sinc}(x-k)^{m_k} f(k) $$ where $\operatorname{sinc}(x)=\frac{\sin(\pi x)}{\pi x}$ and $m_k$ is chosen large enough that $\operatorname{sinc}(x)^{m_k}f(k) < 2^{-|k|}$ for all $|x|>1$.