(Esto no es sino una expansión de mi comentario; se aclara lo que se puede hacer fácilmente por un ingenuo de alimentación de la serie método)
La pregunta es para probar que la diferencia finita operador $\Delta : f \mapsto f(z+1) - f(z)$ define un surjection $\mathcal O(\mathbb C) \a \mathcal O(\mathbb C)$. ($\mathcal O(\mathbb C)$ es el álgebra de la totalidad de funciones, que es holomorphic funciones en todo $\mathbb C$).
Porque de estándar de análisis complejos teoremas, toda una función es la suma de potencia de la serie infinita de convergencia de la radio. Que es, la suma de series da un isomorfismo
$$ A_\infty = \left\{\sum_{n\geq 0} a_n z^n \in \mathbb C[[z]] \, \medio | \, \forall R > 0, a_n = O(R^{-n}) \right\} \\mathcal O(\mathbb C).$$
Así que la diferencia finita operador también se define un operador $\Delta : A_\infty \A_\infty$. Básicamente, está dada por Newton de la fórmula binominal: por $j \geq 0$, tenemos
$$\Delta(z^j) = (z+1)^j - z^j = \sum_{i=0}^{j-1} \binom j i z^i.$$
Para una potencia de la serie $\sum_{j \geq 0} a_j z^j \in \mathbb C[[z]]$, se puede aplicar la última fórmula y linealidad para obtener
$$\Delta\left( \sum_{j=0}^K a_j z^j \right) = \sum_{j=0}^K a_j \left( \sum_{i=0}^{j-1} \binom j i z^i \right) = \sum_{i=0}^{K-1} \left(\sum_{j=i+1}^K a_j \binom j i \right) z^i.$$ Así que, como, $K$ crece, todos los coeficientes de este polinomio se mantienen en constante cambio. Debido a que $\binom j i$ es un grado-$i$ polinomio en $j$, la serie $\sum_{j>i} a_j \binom j i$ converge y el operador $\Delta : A_\infty \A_\infty$ se define por la fórmula:
$$\begin{array}{ccc} A_\infty&\& A_\infty\\ \sum_{n \geq 0} a_n z^n & \mapsto &\displaystyle \sum_{n\geq 0} \left( \sum_{k=n+1}^{+\infty} a_k \binom k n \right) z^n.\end{array}$$
Así que la pregunta original es realmente equivalente a:
Pregunta: es este operador $\Delta : A_\infty \A_\infty$ surjective?
Para abordar esta cuestión, parece bastante razonable para mirar polinomios de grado $N$ en primer lugar, a continuación, buscar en $N \to \infty$. Exactamente igual que en el cálculo de $\Delta$, usted necesita tener algún tipo de convergencia para ampliar las definiciones de la polinomio de caso para la alimentación de caso de la serie. En el anterior cálculo, se necesita la convergencia de $\sum_{k \geq n} a_k \binom k n$ para todo $n$ y el hecho de que $\sum_{n \geq 0} a_n z^n$ tiene una infinita convergencia de la radio era más que suficiente para que.
Lo que voy a explicar es que para obtener un mapa de $I : A_\infty \A_\infty$ tal que $\Delta \circ I = \mathrm{id}_{A_\infty}$ (que es equivalente a probar que $\Delta$ es surjective) un enfoque similar funciona, pero sólo si podemos suponer que la decadencia de la $(a_n)$ es más fuerte que el $\forall R > 0, a_n = O(R^{-n})$ hipótesis. Es por eso que esta no es realmente una respuesta a la pregunta original.
Obviamente (ya sea debido a la definición o a causa de la gran desordenado de la fórmula anterior) $\Delta$ induce lineal mapa de $\mathbb C_{n}[z] \to \mathbb C_{n-1}[z]$. Es muy fácil demostrar que la única polinomios en $\ker \Delta$ son la constante, por lo que una dimensión de cálculo muestra que $\Delta \mathbb C_{n}[z] \to \mathbb C_{n-1}[z]$ a, para todo $n$. No es entonces un mapa de $I : \mathbb C_{n-1}[z] \to \mathbb C_{n}[z]$ tal que $\Delta \circ I = \mathrm{id}_{\mathbb C_{n-1}[z]}$ y este mapa es único, hasta la adición constante de polinomios.
De hecho, uno puede ser muy explícito acerca de que: si $B_n$ es el $$n-ésimo número de Bernoulli, el polinomio
$$P_k = \frac{1}{k+1} \left( \sum_{n=0}^{k+1} \binom{k+1}{n} B_{k+1-n} z^n\right)$$ (que, hasta el $1/(k+1)$ factor, es el $(k+1)$-ésimo polinomio de Bernoulli) satisface la siguiente relación
$$\Delta P_k = z^k,$$
así que parece una buena idea para definir $I(z^k) = P_k$.
Si $\sum_{k\geq 0} a_k z^k \A_\infty$, entonces tenemos que
$$\begin{align*}\left(\sum_{k=0}^K a_k z^k\right) &= \sum_{k=0}^K a_k \left(\frac{1}{k+1} \sum_{n=0}^{k+1} \binom{k+1}{n} B_{k+1-n} z^n\right)\\
& = \sum_{n=0}^{K+1} \left(\sum_{k=n-1}^K \frac{a_k}{k+1} \binom{k+1}n B_{k+1-n} \right) z^n.\end{align*}$$
Ahora, si la decadencia de $(a_k)$ era lo suficientemente fuerte como para garantizar la convergencia absoluta de
$\sum_{k\geq n-1} \frac{a_k}{k+1} \binom{k+1}n B_{k+1-n}$, la fórmula anterior (con $K$ reemplazado por $\infty$) definir una lineal mapa de $I : A_\infty \A_\infty$ tal que $\Delta \circ I = \mathrm{id}_{A_\infty}$. Este sería el caso si tuviéramos $|B_p| \leq C\cdot R^p$ para algunas constantes $C$, $R$, por ejemplo. El problema es que el real asymptotics para los números de Bernoulli es
$$|B_{2n}| \sim 4\sqrt{\pi n}\left(\frac{n}{\pi e}\right)^{2n}$$ (por $n > 0$, $B_{2n+1} = 0$).
A continuación, es posible encontrar secuencias $(a_n)$ tal que $a_n = O(R^{-n})$ para todo $R$, pero que, sin embargo, satisfacer $$\limsup_{k\to\infty} \left|\frac{a_k}{k+1} \binom{k+1}n B_{k+1-n}\right| = +\infty.$$ Por ejemplo, $a_k = k^{-\alpha k}$ parece que a $0 < \alfa < 1$.
Así que creo que este método funciona si nos limitamos a las clases de la totalidad de las funciones de una fuerte descomposición Taylor coeficientes (con la fuerza suficiente para nuestro $I$ a definir), pero no para toda la función.
Como dije en mi comentario, estoy sorprendido de que la respuesta a la Pregunta planteada antes podría ser "sí" con este método natural fallando. Si el OP no había reclamado el resultado original para ser verdad, me gustaría por ahora creo que el $\Delta$ operador de no ser surjective en $A_\infty$ o $\mathcal O(\mathbb C)$.
Por otro lado, si usted intenta este método (el uso de polinomios de más y más alto grado de aproximar la potencia de la serie de solución) para la construcción de elementos de $\ker \Delta$, usted probablemente sólo encontrar la constante de funciones, mientras que el núcleo de $\Delta$ en $\mathcal O(\mathbb C)$ [o $A_\infty$] es mucho mayor que (por ejemplo cointains $z \mapsto e^{2\pi z}$). Así que tal vez hay una buena razón por la que este método fue condenada a fracasar (algunos inestabilidad de la propiedad?) y mi sorpresa es que en realidad nada sino una consecuencia de mi ingenuidad.