grandes-ecoles 2024 Q41
View
A function $E$ (with rational coefficients) is a power series $f(x) = \sum_{n=0}^{\infty} \frac{b_n}{n!} x^n \in \mathbf{Q}\llbracket x \rrbracket$ satisfying: (a) $f$ is a solution of a differential equation; (b) there exists a real number $C > 0$ such that $|b_n| \leq C^n$ and $\operatorname{denom}(b_0, \ldots, b_n) \leq C^n$ for all $n \geq 1$.
Let $f$ be an exponential polynomial (i.e., $f(x) = \sum_{i=1}^{s} P_i(x) e^{c_i x}$ with $c_i \in \mathbf{Q}$ and $P_i \in \mathbf{Q}[x]$). Show that $f$ is a function $E$ such that $\widehat{f}$ is the power series expansion of a rational fraction with rational poles.