Properties and Manipulation of Power Series or Formal Series

The question asks to prove identities, algebraic properties, or perform operations (Cauchy product, composition, inversion) on power series or formal power series, or to state related theorems.

grandes-ecoles 2023 Q30 View
For $Q = D$, verify that $$\forall n \in \mathbb{N}, \quad q_n = \frac{X^n}{n!}$$
grandes-ecoles 2023 Q31 View
For $Q = E_1 - I$, verify that $$\forall n \in \mathbb{N}^*, \quad q_n = \frac{X(X-1)\cdots(X-n+1)}{n!}$$
grandes-ecoles 2023 Q32 View
Let $Q$ be a delta endomorphism with associated polynomial sequence $(q_n)_{n \in \mathbb{N}}$.
Prove that, for all $p \in \mathbb{K}[X]$, the expression $\sum_{k=0}^{+\infty} (Q^k p)(0) q_k$ makes sense and defines a polynomial of $\mathbb{K}[X]$, then that $$p = \sum_{k=0}^{+\infty} (Q^k p)(0) q_k$$
grandes-ecoles 2023 Q33 View
Let $Q$ be a delta endomorphism with associated polynomial sequence $(q_n)_{n \in \mathbb{N}}$.
Deduce that, for every shift-invariant endomorphism $T$, we have $$T = \sum_{k=0}^{+\infty} (T q_k)(0) Q^k$$
grandes-ecoles 2023 Q35 View
If $T$ is an endomorphism of $\mathbb{K}[X]$, its Pincherle derivative $T'$ is defined by $$\forall p \in \mathbb{K}[X], \quad T'(p) = T(Xp) - XT(p)$$
Show that, if there exists $(a_n)_{n \in \mathbb{N}}$ a sequence of scalars such that $T = \sum_{k=0}^{+\infty} a_k D^k$, then $T' = \sum_{k=1}^{+\infty} k a_k D^{k-1}$.
grandes-ecoles 2023 Q36 View
If $T$ is an endomorphism of $\mathbb{K}[X]$, its Pincherle derivative $T'$ is defined by $$\forall p \in \mathbb{K}[X], \quad T'(p) = T(Xp) - XT(p)$$
If $T$ is a shift-invariant endomorphism, show that $T'$ is still a shift-invariant endomorphism.
grandes-ecoles 2023 Q37 View
If $T$ is an endomorphism of $\mathbb{K}[X]$, its Pincherle derivative $T'$ is defined by $$\forall p \in \mathbb{K}[X], \quad T'(p) = T(Xp) - XT(p)$$
If $T$ is a delta endomorphism, show that $T'$ is a shift-invariant and invertible endomorphism.
grandes-ecoles 2023 Q38 View
Let $S$ and $T$ be two endomorphisms of $\mathbb{K}[X]$. The Pincherle derivative of an endomorphism $T$ is defined by $T'(p) = T(Xp) - XT(p)$.
Verify that $(S \circ T)' = S' \circ T + S \circ T'$.
grandes-ecoles 2023 Q39 View
Let $Q$ be a delta endomorphism. There exists a unique shift-invariant and invertible endomorphism $U$ such that $Q = D \circ U$. We denote by $(q_n)_{n \in \mathbb{N}}$ the sequence of polynomials associated with $Q$.
Prove that, for all $n \in \mathbb{N}^*$, we have $$\left(Q' \circ U^{-n-1}\right)\left(X^n\right) = X U^{-n}\left(X^{n-1}\right)$$
grandes-ecoles 2023 Q40 View
Let $Q$ be a delta endomorphism with $Q = D \circ U$ where $U$ is the unique shift-invariant and invertible endomorphism. We denote by $(q_n)_{n \in \mathbb{N}}$ the sequence of polynomials associated with $Q$.
Deduce that, for all $n \in \mathbb{N}^*$, $$n! q_n(X) = X U^{-n}\left(X^{n-1}\right)$$ then that $$n q_n(X) = X (Q')^{-1}\left(q_{n-1}\right)$$
grandes-ecoles 2023 Q42 View
Let $Q$ be a delta endomorphism with associated polynomial sequence $(q_n)_{n \in \mathbb{N}}$.
Show that there exists a unique invertible endomorphism $T$ such that $$\forall n \in \mathbb{N}, \quad T q_n = \frac{X^n}{n!}$$
grandes-ecoles 2023 Q43 View
Let $Q$ be a delta endomorphism with associated polynomial sequence $(q_n)_{n \in \mathbb{N}}$, and let $T$ be the unique invertible endomorphism such that $T q_n = \frac{X^n}{n!}$ for all $n \in \mathbb{N}$.
Also show that $D = T \circ Q \circ T^{-1}$.
grandes-ecoles 2023 Q44 View
We fix $\alpha > 0$ and define the function $W$ from $\mathbb{K}[X]$ by $$W : \begin{array}{ccc} \mathbb{K}[X] & \rightarrow & \mathbb{K}[X] \\ p & \mapsto & p(\alpha X) \end{array}$$
Show that $W$ is an automorphism of $\mathbb{K}[X]$.
grandes-ecoles 2023 Q45 View
We fix $\alpha > 0$ and define $W : p \mapsto p(\alpha X)$. We set $P = W \circ L \circ W^{-1}$ where $L$ is the endomorphism defined by $Lp(x) = -\int_0^{+\infty} \mathrm{e}^{-t} p'(x+t)\,\mathrm{d}t$.
Show that $$P = \frac{1}{\alpha} D \circ \left(\frac{1}{\alpha} D - I\right)^{-1}$$
grandes-ecoles 2023 Q46 View
We fix $\alpha > 0$, define $W : p \mapsto p(\alpha X)$, and set $P = W \circ L \circ W^{-1}$ where $L$ is the endomorphism defined by $Lp(x) = -\int_0^{+\infty} \mathrm{e}^{-t} p'(x+t)\,\mathrm{d}t$. We have $P = \frac{1}{\alpha} D \circ \left(\frac{1}{\alpha} D - I\right)^{-1}$.
Show that $P$ is a delta endomorphism whose associated polynomial sequence $(p_n)_{n \in \mathbb{N}}$ satisfies $$\forall n \in \mathbb{N}, \quad p_n = \ell_n(\alpha X)$$
grandes-ecoles 2023 Q47 View
Let $L$ be the endomorphism defined by $Lp(x) = -\int_0^{+\infty} \mathrm{e}^{-t} p'(x+t)\,\mathrm{d}t$, and let $P = W \circ L \circ W^{-1}$ with $W : p \mapsto p(\alpha X)$.
Verify that $D = L \circ (L-I)^{-1}$ then that $P = L \circ (\alpha I + (1-\alpha)L)^{-1}$.
grandes-ecoles 2023 Q48 View
We denote by $T$ the unique automorphism satisfying, for all $n \in \mathbb{N}$, $T\ell_n = \frac{X^n}{n!}$ and we set $Q = T \circ P \circ T^{-1}$, where $P = L \circ (\alpha I + (1-\alpha)L)^{-1}$.
Show that $Q = D \circ (\alpha I + (1-\alpha)D)^{-1}$. Deduce that $Q$ is a delta endomorphism whose associated polynomial sequence $(r_n)_{n \in \mathbb{N}}$ satisfies $$\forall n \in \mathbb{N}^*, \quad r_n = \sum_{k=1}^n \binom{n-1}{k-1} \alpha^k (1-\alpha)^{n-k} \frac{X^k}{k!}$$
grandes-ecoles 2023 Q6 View
Let $f \in \mathscr { D } _ { \rho } ( \mathbb { R } )$ such that $f ( 0 ) \neq 0$. The purpose of this question is to show that there exists $r \in \mathbb { R } _ { + } ^ { * } , r \leqslant \rho$ such that $\frac { 1 } { f } \in \mathscr { D } _ { r } ( \mathbb { R } )$.
6a. Show that we can assume without loss of generality that $f ( 0 ) = 1$.
We now write $f ( t ) = \sum _ { i = 0 } ^ { \infty } a _ { i } t ^ { i }$ and we assume that $a _ { 0 } = 1$.
6b. Only in this sub-question, we assume that there exists $r \in \mathbb { R } _ { + } ^ { * }$ such that $r \leqslant \rho$ and $g \in \mathscr { D } _ { r } ( \mathbb { R } )$ such that $f ( t ) g ( t ) = 1$ for all $t \in U _ { r }$. We write $g ( t ) = \sum _ { i = 0 } ^ { \infty } b _ { i } t ^ { i }$. Show that: $$\left\{ \begin{aligned} & b _ { 0 } = 1 \\ & \text { for } n \geqslant 1 , b _ { n } = - \left( b _ { 0 } a _ { n } + \ldots + b _ { n - 1 } a _ { 1 } \right) \end{aligned} \right.$$
We now define the sequence $\left( b _ { n } \right) _ { n \geqslant 0 }$ by the above recurrence formula.
6c. Show that there exists $c \in \mathbb { R } _ { + } ^ { * }$ such that $\left| a _ { n } \right| \leqslant c ^ { n }$ for all $n \in \mathbb { N }$.
6d. Show that $\left| b _ { n } \right| \leqslant ( 2 c ) ^ { n }$ for all $n \in \mathbb { N }$.
6e. Conclude.
grandes-ecoles 2024 Q1 View
Show that $\Delta$ is an endomorphism of $\mathbb{K}[X]$, where $$\Delta : \begin{cases} \mathbb{K}[X] \rightarrow \mathbb{K}[X] \\ P(X) \mapsto P(X+1) - P(X) \end{cases}$$
grandes-ecoles 2024 Q4 View
We denote by $\Delta_{d}$ the endomorphism of $\mathbb{K}_{d}[X]$ induced by $\Delta$, where $\Delta(P) = P(X+1) - P(X)$. Determine $\operatorname{Ker}(\Delta_{d})$ and $\operatorname{Im}(\Delta_{d})$ for all $d \in \mathbb{N}^{*}$.
grandes-ecoles 2024 Q5 View
We consider the application $\Delta$ defined by $\Delta(P) = P(X+1) - P(X)$. Deduce $\operatorname{Ker}(\Delta)$ and $\operatorname{Im}(\Delta)$. Apply the results obtained to the study of the equation $(E_{h})$: $$\forall x \in \mathbb{K},\, f(x+1) - f(x) = h(x)$$ in the case where $h$ is a polynomial function.
grandes-ecoles 2024 Q15 View
For all $n \in \mathbb{N}$ and all $z \in \mathbb{C}$, the Bernoulli polynomial is defined by $$B_{n}(z) = n! \int_{0}^{1} \frac{\mathrm{e}^{z\omega(t)}}{(\mathrm{e}^{\omega(t)} - 1)\omega(t)^{n-1}} \,\mathrm{d}t$$ where $\omega(t) = e^{2i\pi t}$. Show that, for all $n \in \mathbb{N}^{*}$, $B_{n}' = n B_{n-1}$.
grandes-ecoles 2024 Q2 View
Let $a \in \mathbf{Q}^{\times}$ be a nonzero rational number. Deduce from Theorem 1 that, for every nonzero polynomial $P \in \mathbf{Q}[x]$, we have $P(e^a) \neq 0$.
(Theorem 1: Let $r \geq 2$ be an integer. If $a_1, \ldots, a_r \in \mathbf{Q}$ are distinct rational numbers, then the real numbers $e^{a_1}, \ldots, e^{a_r}$ are linearly independent over $\mathbf{Q}$.)
grandes-ecoles 2024 Q4 View
Let $Q \in \mathbf{Q}[x]$ be a polynomial with rational coefficients such that 0 is not a root. Show that there exists a unique power series $f \in \mathbf{Q}\llbracket x \rrbracket$ satisfying $Q \cdot f = 1$.
Show that if $Q$ has integer coefficients and its constant term $c_0$ equals 1 or $-1$, then this unique power series $f$ has integer coefficients.
grandes-ecoles 2024 Q5 View
Show that if 0 is not a pole of $P/Q \in \mathbf{Q}(x)$, then there exists a unique power series with rational coefficients $g \in \mathbf{Q}\llbracket x \rrbracket$ such that $P = Q \cdot g$.
Show that the map $P/Q \longmapsto g$ is compatible with addition and multiplication in $\mathbf{Q}(x)$ and in $\mathbf{Q}\llbracket x \rrbracket$, and that it sends the derivative $(P/Q)' = (P'Q - PQ')/Q^2$ to the derived power series $g'$.