grandes-ecoles 2024 Q26

grandes-ecoles · France · centrale-maths1__official Taylor series Formal power series manipulation (Cauchy product, algebraic identities)
Let $\varphi$ be the function defined by
$$\forall t \in ] - 1,1 \left[ \backslash \{ 0 \} , \quad \varphi ( t ) = ( 1 - t ) ^ { 1 - 1 / t } \right.$$
We define the sequence $\left( b _ { n } \right) _ { n \in \mathbb { N } }$ by
$$\left\{ \begin{array} { l } b _ { 0 } = - 1 \\ \forall n \in \mathbb { N } ^ { * } , \quad b _ { n } = - \frac { 1 } { n } \sum _ { k = 1 } ^ { n } \frac { 1 } { k + 1 } b _ { n - k } \end{array} \right.$$
Conclude that
$$\forall t \in ] - 1,1 \left[ , \quad \varphi ( t ) = \mathrm { e } \left( 1 - \sum _ { k = 1 } ^ { + \infty } b _ { k } t ^ { k } \right) \right.$$
Let $\varphi$ be the function defined by

$$\forall t \in ] - 1,1 \left[ \backslash \{ 0 \} , \quad \varphi ( t ) = ( 1 - t ) ^ { 1 - 1 / t } \right.$$

We define the sequence $\left( b _ { n } \right) _ { n \in \mathbb { N } }$ by

$$\left\{ \begin{array} { l } 
b _ { 0 } = - 1 \\
\forall n \in \mathbb { N } ^ { * } , \quad b _ { n } = - \frac { 1 } { n } \sum _ { k = 1 } ^ { n } \frac { 1 } { k + 1 } b _ { n - k }
\end{array} \right.$$

Conclude that

$$\forall t \in ] - 1,1 \left[ , \quad \varphi ( t ) = \mathrm { e } \left( 1 - \sum _ { k = 1 } ^ { + \infty } b _ { k } t ^ { k } \right) \right.$$