We denote $\mathcal { D }$ the open unit disk of $\mathbb { C } : \mathcal { D } = \{ z \in \mathbb { C } ; | z | < 1 \}$. For $z \in \mathcal { D }$, we denote $\Phi _ { 0 } ( z ) = \sum _ { n = 0 } ^ { + \infty } a _ { n } z ^ { n }$ and, subject to convergence, $$\Phi _ { p } ( z ) = \sum _ { n = 0 } ^ { + \infty } ( n + p ) ( n + p - 1 ) \cdots ( n + 1 ) a _ { n + p } z ^ { n }$$ Justify that, for all $p \in \mathbb { N } ^ { * }$ and all $\left. x \in \right] - 1,1 \left[ , \Phi _ { p } ( x ) = \varphi ^ { ( p ) } ( x ) \right.$ and that for all $p \in \mathbb { N } ^ { * }$ and all $z \in \mathcal { D }$, the power series $\sum _ { n = 0 } ^ { + \infty } ( n + p ) ( n + p - 1 ) \cdots ( n + 1 ) a _ { n + p } z ^ { n }$ converges.
We denote $\mathcal { D }$ the open unit disk of $\mathbb { C } : \mathcal { D } = \{ z \in \mathbb { C } ; | z | < 1 \}$. For $z \in \mathcal { D }$, we denote $\Phi _ { 0 } ( z ) = \sum _ { n = 0 } ^ { + \infty } a _ { n } z ^ { n }$ and, subject to convergence,
$$\Phi _ { p } ( z ) = \sum _ { n = 0 } ^ { + \infty } ( n + p ) ( n + p - 1 ) \cdots ( n + 1 ) a _ { n + p } z ^ { n }$$
Justify that, for all $p \in \mathbb { N } ^ { * }$ and all $\left. x \in \right] - 1,1 \left[ , \Phi _ { p } ( x ) = \varphi ^ { ( p ) } ( x ) \right.$ and that for all $p \in \mathbb { N } ^ { * }$ and all $z \in \mathcal { D }$, the power series $\sum _ { n = 0 } ^ { + \infty } ( n + p ) ( n + p - 1 ) \cdots ( n + 1 ) a _ { n + p } z ^ { n }$ converges.