grandes-ecoles

Papers (191)
2025
centrale-maths1__official 40 centrale-maths2__official 42 mines-ponts-maths1__mp 20 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 24 mines-ponts-maths2__psi 26 polytechnique-maths-a__mp 27 polytechnique-maths__fui 16 polytechnique-maths__pc 27 x-ens-maths-a__mp 18 x-ens-maths-c__mp 9 x-ens-maths-d__mp 38 x-ens-maths__pc 27 x-ens-maths__psi 38
2024
centrale-maths1__official 28 centrale-maths2__official 29 geipi-polytech__maths 9 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 19 mines-ponts-maths2__mp 23 mines-ponts-maths2__pc 21 mines-ponts-maths2__psi 21 polytechnique-maths-a__mp 44 polytechnique-maths-b__mp 37 x-ens-maths-a__mp 43 x-ens-maths-b__mp 35 x-ens-maths-c__mp 22 x-ens-maths-d__mp 45 x-ens-maths__pc 24 x-ens-maths__psi 26
2023
centrale-maths1__official 44 centrale-maths2__official 33 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 15 mines-ponts-maths1__pc 23 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 18 mines-ponts-maths2__psi 22 polytechnique-maths__fui 23 x-ens-maths-a__mp 25 x-ens-maths-b__mp 24 x-ens-maths-c__mp 20 x-ens-maths-d__mp 20 x-ens-maths__pc 18 x-ens-maths__psi 15
2022
centrale-maths1__mp 48 centrale-maths1__official 48 centrale-maths1__pc 37 centrale-maths1__psi 43 centrale-maths2__mp 32 centrale-maths2__official 32 centrale-maths2__pc 39 centrale-maths2__psi 45 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 24 mines-ponts-maths1__psi 24 mines-ponts-maths2__mp 24 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 x-ens-maths-a__mp 13 x-ens-maths-b__mp 40 x-ens-maths-c__mp 27 x-ens-maths-d__mp 46 x-ens-maths1__mp 13 x-ens-maths2__mp 40 x-ens-maths__pc 15 x-ens-maths__pc_cpge 15 x-ens-maths__psi 22 x-ens-maths__psi_cpge 23
2021
centrale-maths1__mp 40 centrale-maths1__official 40 centrale-maths1__pc 36 centrale-maths1__psi 29 centrale-maths2__mp 30 centrale-maths2__official 29 centrale-maths2__pc 38 centrale-maths2__psi 37 x-ens-maths2__mp 39 x-ens-maths__pc 44
2020
centrale-maths1__mp 42 centrale-maths1__official 42 centrale-maths1__pc 36 centrale-maths1__psi 40 centrale-maths2__mp 38 centrale-maths2__official 38 centrale-maths2__pc 40 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 24 mines-ponts-maths2__mp_cpge 21 x-ens-maths-a__mp_cpge 18 x-ens-maths-b__mp_cpge 20 x-ens-maths-d__mp 14 x-ens-maths1__mp 18 x-ens-maths2__mp 20 x-ens-maths__pc 18
2019
centrale-maths1__mp 37 centrale-maths1__official 37 centrale-maths1__pc 40 centrale-maths1__psi 39 centrale-maths2__mp 37 centrale-maths2__official 37 centrale-maths2__pc 39 centrale-maths2__psi 49 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 26
2018
centrale-maths1__mp 47 centrale-maths1__official 47 centrale-maths1__pc 41 centrale-maths1__psi 44 centrale-maths2__mp 44 centrale-maths2__official 44 centrale-maths2__pc 35 centrale-maths2__psi 38 x-ens-maths1__mp 19 x-ens-maths2__mp 17 x-ens-maths__pc 22 x-ens-maths__psi 24
2017
centrale-maths1__mp 45 centrale-maths1__official 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__official 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 26 x-ens-maths2__mp 16 x-ens-maths__pc 18 x-ens-maths__psi 26
2016
centrale-maths1__mp 42 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 47 centrale-maths2__psi 27 x-ens-maths1__mp 18 x-ens-maths2__mp 46 x-ens-maths__pc 15 x-ens-maths__psi 20
2015
centrale-maths1__mp 42 centrale-maths1__pc 18 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 18 centrale-maths2__psi 33 x-ens-maths1__mp 16 x-ens-maths2__mp 31 x-ens-maths__pc 30 x-ens-maths__psi 22
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 27 centrale-maths2__mp 24 centrale-maths2__pc 26 centrale-maths2__psi 27 x-ens-maths1__mp 9 x-ens-maths2__mp 16 x-ens-maths__pc 4 x-ens-maths__psi 24
2013
centrale-maths1__mp 22 centrale-maths1__pc 45 centrale-maths1__psi 29 centrale-maths2__mp 31 centrale-maths2__pc 52 centrale-maths2__psi 32 x-ens-maths1__mp 24 x-ens-maths2__mp 35 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__mp 36 centrale-maths1__pc 28 centrale-maths1__psi 33 centrale-maths2__mp 27 centrale-maths2__psi 18
2011
centrale-maths1__mp 27 centrale-maths1__pc 17 centrale-maths1__psi 24 centrale-maths2__mp 29 centrale-maths2__pc 17 centrale-maths2__psi 10
2010
centrale-maths1__mp 19 centrale-maths1__pc 30 centrale-maths1__psi 13 centrale-maths2__mp 32 centrale-maths2__pc 37 centrale-maths2__psi 27
2023 polytechnique-maths__fui

23 maths questions

QExercise-1 Matrices Diagonalizability and Similarity View
Let $J \in M_{n}(\mathbb{C})$ be the matrix defined by
$$J = \left( \begin{array}{ccccc} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & & \ddots & 0 & 1 \\ 1 & 0 & \ldots & 0 & 0 \end{array} \right).$$
Calculate $J^{n}$ and show that $J$ is diagonalisable.
QExercise-2 Matrices Eigenvalue and Characteristic Polynomial Analysis View
Let $J \in M_{n}(\mathbb{C})$ be the matrix defined by
$$J = \left( \begin{array}{ccccc} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & & \ddots & 0 & 1 \\ 1 & 0 & \ldots & 0 & 0 \end{array} \right).$$
Calculate the eigenvalues of $J$.
QExercise-3 Matrices Determinant and Rank Computation View
Let $J \in M_{n}(\mathbb{C})$ be the matrix defined by
$$J = \left( \begin{array}{ccccc} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & & \ddots & 0 & 1 \\ 1 & 0 & \ldots & 0 & 0 \end{array} \right).$$
Deduce the value of the determinant
$$\left| \begin{array}{ccccc} a_{0} & a_{1} & \ldots & a_{n-2} & a_{n-1} \\ a_{n-1} & a_{0} & \ddots & & a_{n-2} \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ a_{2} & & \ddots & a_{0} & a_{1} \\ a_{1} & a_{2} & \cdots & a_{n-1} & a_{0} \end{array} \right|$$
where $a_{0}, \ldots, a_{n-1}$ are arbitrary complex numbers.
Q1 Groups Subgroup and Normal Subgroup Properties View
If $\varphi : \mathbb{R} \rightarrow \mathbb{R}$ is a continuous function, the support of $\varphi$ is defined by: $$\operatorname{Supp}(\varphi) = \overline{\{x \in \mathbb{R} : \varphi(x) \neq 0\}}$$ We say that $\varphi$ has compact support if $\operatorname{Supp}(\varphi)$ is a bounded subset of $\mathbb{R}$. We denote by $\mathcal{C}_{c}(\mathbb{R})$ the set of continuous functions with compact support on $\mathbb{R}$.
Show that $\mathcal{C}_{c}(\mathbb{R})$ is a vector subspace of the space of continuous functions on $\mathbb{R}$.
Q2 Proof Proof That a Map Has a Specific Property View
If $\varphi : \mathbb{R} \rightarrow \mathbb{R}$ is a continuous function, the support of $\varphi$ is defined by: $$\operatorname{Supp}(\varphi) = \overline{\{x \in \mathbb{R} : \varphi(x) \neq 0\}}$$ We say that $\varphi$ has compact support if $\operatorname{Supp}(\varphi)$ is a bounded subset of $\mathbb{R}$. We denote by $\mathcal{C}_{c}(\mathbb{R})$ the set of continuous functions with compact support on $\mathbb{R}$. If $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we set $$\|\varphi\|_{\infty} = \sup_{x \in \mathbb{R}} |\varphi(x)| \text{ and } \|\varphi\|_{1} = \int_{-\infty}^{+\infty} |\varphi(t)| dt$$
Show that $\|\cdot\|_{1} : \varphi \mapsto \|\varphi\|_{1}$ is a norm on $\mathcal{C}_{c}(\mathbb{R})$. One may admit without proof that $\|\cdot\|_{\infty}$ is also a norm.
Q3 Proof True/False Justification View
If $\varphi : \mathbb{R} \rightarrow \mathbb{R}$ is a continuous function, the support of $\varphi$ is defined by: $$\operatorname{Supp}(\varphi) = \overline{\{x \in \mathbb{R} : \varphi(x) \neq 0\}}$$ We say that $\varphi$ has compact support if $\operatorname{Supp}(\varphi)$ is a bounded subset of $\mathbb{R}$. We denote by $\mathcal{C}_{c}(\mathbb{R})$ the set of continuous functions with compact support on $\mathbb{R}$. If $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we set $$\|\varphi\|_{\infty} = \sup_{x \in \mathbb{R}} |\varphi(x)| \text{ and } \|\varphi\|_{1} = \int_{-\infty}^{+\infty} |\varphi(t)| dt$$
Are the norms $\|\cdot\|_{\infty}$ and $\|\cdot\|_{1}$ equivalent?
Q4 Differentiation from First Principles View
Let $[a, b]$ be a compact interval of $\mathbb{R}$ and $f$ a function continuous on $[a, b]$ and differentiable on $]a, b[$, with real values. Suppose that $f'(x)$ has a finite limit $\ell$ as $x \rightarrow a^{+}$. Show that $f$ is right-differentiable at $a$ and specify the value of $f'(a)$.
Q5 Taylor series Prove smoothness or power series expandability of a function View
Let $\varphi_{0}$ be the function defined on $\mathbb{R}$ by
$$\left\{ \begin{array}{l} \varphi_{0}(x) = e^{-1/x^{2}} \text{ if } x \neq 0 \\ \varphi_{0}(0) = 0 \end{array} \right.$$
a. Show that for all $n \in \mathbb{N}$ there exists a polynomial $P_{n}$ such that for $x \neq 0$ we have
$$\varphi_{0}^{(n)}(x) = P_{n}\left(\frac{1}{x}\right) e^{-1/x^{2}}$$
b. Show that $\varphi_{0}$ is of class $C^{\infty}$ on $\mathbb{R}$.
Q6 Proof Existence Proof View
Let $\varphi_{0}$ be the function defined on $\mathbb{R}$ by
$$\left\{ \begin{array}{l} \varphi_{0}(x) = e^{-1/x^{2}} \text{ if } x \neq 0 \\ \varphi_{0}(0) = 0 \end{array} \right.$$
Using $\varphi_{0}$, show that there exists a function $\varphi_{1}$ of class $C^{\infty}$ on $\mathbb{R}$, whose support is $[0, \infty[$. Deduce that there exists a function $\varphi_{2}$ of class $C^{\infty}$ on $\mathbb{R}$ such that $\operatorname{Supp}(\varphi_{2}) = [-1, 1]$.
Q7 Proof Existence Proof View
Let $f : \mathbb{R} \rightarrow \mathbb{R}$ be a function of class $C^{\infty}$ with compact support. For all $n \in \mathbb{N}$, we set $$M_{n} = \sup_{x \in \mathbb{R}} \left|f^{(n)}(x)\right| = \left\|f^{(n)}\right\|_{\infty}$$ and we seek properties satisfied by the sequence $(M_{n})$. In this part we assume that $f$ is not identically zero.
Show that there exists $x_{0} \in \operatorname{Supp}(f)$ such that for all integers $n \geqslant 0$, $f^{(n)}(x_{0}) = 0$.
Q8 Proof Direct Proof of a Stated Identity or Equality View
Let $f : \mathbb{R} \rightarrow \mathbb{R}$ be a function of class $C^{\infty}$ with compact support. For all $n \in \mathbb{N}$, we set $$M_{n} = \sup_{x \in \mathbb{R}} \left|f^{(n)}(x)\right| = \left\|f^{(n)}\right\|_{\infty}$$ In this part we assume that $f$ is not identically zero, and $x_{0} \in \operatorname{Supp}(f)$ is such that for all integers $n \geqslant 0$, $f^{(n)}(x_{0}) = 0$.
Show that for all $x \in \mathbb{R}$ and all $n \in \mathbb{N}$, we have
$$f(x) = \int_{x_{0}}^{x} \frac{(x-t)^{n}}{n!} f^{(n+1)}(t)\, dt$$
Q9 Taylor series Lagrange error bound application View
Let $f : \mathbb{R} \rightarrow \mathbb{R}$ be a function of class $C^{\infty}$ with compact support. For all $n \in \mathbb{N}$, we set $$M_{n} = \sup_{x \in \mathbb{R}} \left|f^{(n)}(x)\right| = \left\|f^{(n)}\right\|_{\infty}$$ In this part we assume that $f$ is not identically zero, and $x_{0} \in \operatorname{Supp}(f)$ is such that for all integers $n \geqslant 0$, $f^{(n)}(x_{0}) = 0$.
Show that if there exist constants $A > 0$ and $B > 0$, and a subsequence $(n_{j})_{j \geqslant 1}$ such that $M_{n_{j}} \leqslant A B^{n_{j}} (n_{j})!$, then $f$ is identically zero on the interval $]x_{0} - 1/B,\, x_{0} + 1/B[$.
Q10 Taylor series Prove smoothness or power series expandability of a function View
Let $f : \mathbb{R} \rightarrow \mathbb{R}$ be a function of class $C^{\infty}$ with compact support. For all $n \in \mathbb{N}$, we set $$M_{n} = \sup_{x \in \mathbb{R}} \left|f^{(n)}(x)\right| = \left\|f^{(n)}\right\|_{\infty}$$ In this part we assume that $f$ is not identically zero.
Deduce that for all $B > 0$ we have
$$\frac{M_{n}}{B^{n} n!} \underset{n \rightarrow \infty}{\longrightarrow} +\infty$$
Q11 Continuous Probability Distributions and Random Variables Integrability, Boundedness, and Regularity of Density/Distribution-Related Functions View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
Show that $T_{\mu}$ is a linear map, which sends the space $\mathcal{C}_{c}(\mathbb{R})$ into itself, and that for all $\varphi \in \mathcal{C}_{c}(\mathbb{R})$ we have $\|T_{\mu}\varphi\|_{\infty} \leqslant \|\varphi\|_{\infty}$.
Q12 Continuous Probability Distributions and Random Variables Change of Variable and Integral Evaluation View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
Show that if $\varphi \in \mathcal{C}_{c}(\mathbb{R})$ is a positive function, we have $\|T_{\mu}\varphi\|_{1} = \|\varphi\|_{1}$.
Q13 Indefinite & Definite Integrals Properties of Integral-Defined Functions (Continuity, Differentiability) View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
Show that for all $k \geqslant 0$, if $\varphi \in \mathcal{C}_{c}^{k}(\mathbb{R})$ then $T_{\mu}\varphi \in \mathcal{C}_{c}^{k+1}(\mathbb{R})$. Also show that
$$\left\|(T_{\mu}\varphi)^{(k)}\right\|_{\infty} \leqslant \left\|\varphi^{(k)}\right\|_{\infty}$$
Q14 Indefinite & Definite Integrals Integral Inequalities and Limit of Integral Sequences View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
For $k \geqslant 1$, show that if $\varphi \in \mathcal{C}_{c}^{k+1}(\mathbb{R})$, we have
$$\left\|(T_{\mu}\varphi)^{(k)} - \varphi^{(k)}\right\|_{\infty} \leqslant \frac{\mu}{2} \left\|\varphi^{(k+1)}\right\|_{\infty}.$$
Q15 Indefinite & Definite Integrals Properties of Integral-Defined Functions (Continuity, Differentiability) View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
We assume that $(\mu_{n})_{n \geqslant 1}$ is a sequence of strictly positive real numbers such that $\sum_{n \geqslant 1} \mu_{n}$ converges. We fix $\psi_{0} \in \mathcal{C}_{c}(\mathbb{R})$ and we define by recursion the sequence $(\psi_{n})_{n \geqslant 0}$ by
$$\forall n \geqslant 0,\quad \psi_{n+1} = T_{\mu_{n+1}} \psi_{n}$$
Show that for all $n \geqslant k$, $\psi_{n}$ is of class $C^{k}$.
Q16 Sequences and series, recurrence and convergence Sequence of functions convergence View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
We assume that $(\mu_{n})_{n \geqslant 1}$ is a sequence of strictly positive real numbers such that $\sum_{n \geqslant 1} \mu_{n}$ converges. We fix $\psi_{0} \in \mathcal{C}_{c}(\mathbb{R})$ and we define by recursion the sequence $(\psi_{n})_{n \geqslant 0}$ by
$$\forall n \geqslant 0,\quad \psi_{n+1} = T_{\mu_{n+1}} \psi_{n}$$
Show that for all $k \in \mathbb{N}$ and $n \geqslant k+2$, we have
$$\left\|\psi_{n+1}^{(k)} - \psi_{n}^{(k)}\right\|_{\infty} \leqslant \frac{\mu_{n+1}}{2} \left\|\psi_{k+1}^{(k+1)}\right\|_{\infty}.$$
Deduce that for all $k \in \mathbb{N}$, the sequence of functions $\psi_{n}^{(k)}$ converges uniformly on $\mathbb{R}$.
Q17 Sequences and series, recurrence and convergence Sequence of functions convergence View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
We assume that $(\mu_{n})_{n \geqslant 1}$ is a sequence of strictly positive real numbers such that $\sum_{n \geqslant 1} \mu_{n}$ converges. We fix $\psi_{0} \in \mathcal{C}_{c}(\mathbb{R})$ and we define by recursion the sequence $(\psi_{n})_{n \geqslant 0}$ by
$$\forall n \geqslant 0,\quad \psi_{n+1} = T_{\mu_{n+1}} \psi_{n}$$
Show that the limit $f = \lim_{n \rightarrow \infty} \psi_{n}$ is of class $C^{\infty}$, and that for all $k \geqslant 0$ we have
$$\left\|f^{(k)}\right\|_{\infty} \leqslant \left\|\psi_{k}^{(k)}\right\|_{\infty}.$$
Q18 Chain Rule Proof of Differentiability Class for Parameterized Integrals View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
We assume that $(\mu_{n})_{n \geqslant 1}$ is a sequence of strictly positive real numbers such that $\sum_{n \geqslant 1} \mu_{n}$ converges. We fix $\psi_{0} \in \mathcal{C}_{c}(\mathbb{R})$ and we define by recursion the sequence $(\psi_{n})_{n \geqslant 0}$ by
$$\forall n \geqslant 0,\quad \psi_{n+1} = T_{\mu_{n+1}} \psi_{n}$$
Show that for all $k \geqslant 1$ we have
$$\left\|\psi_{k}^{(k)}\right\|_{\infty} \leqslant \left\|\psi_{0}\right\|_{\infty} \frac{1}{\mu_{1} \cdots \mu_{k}}$$
Q19 Chain Rule Proof of Differentiability Class for Parameterized Integrals View
For $\mu > 0$ and $\varphi \in \mathcal{C}_{c}(\mathbb{R})$, we define $T_{\mu} : \varphi \mapsto T_{\mu}\varphi$, where for all $x \in \mathbb{R}$,
$$T_{\mu}\varphi(x) = \frac{1}{2\mu} \int_{x-\mu}^{x+\mu} \varphi(t)\, dt$$
We assume that $(\mu_{n})_{n \geqslant 1}$ is a sequence of strictly positive real numbers such that $\sum_{n \geqslant 1} \mu_{n}$ converges. We fix $\psi_{0} \in \mathcal{C}_{c}(\mathbb{R})$ and we define by recursion the sequence $(\psi_{n})_{n \geqslant 0}$ by
$$\forall n \geqslant 0,\quad \psi_{n+1} = T_{\mu_{n+1}} \psi_{n}$$
Let $f = \lim_{n \rightarrow \infty} \psi_{n}$. Show that $f$ has compact support and that if $\psi_{0}$ is positive and not identically zero, then so is $f$.
Q20 Chain Rule Proof of Differentiability Class for Parameterized Integrals View
We seek to show that if $(M_{n})_{n \geqslant 0}$ is a sequence of strictly positive real numbers such that the series $\sum_{n \geqslant 1} \frac{M_{n-1}}{M_{n}}$ converges, there exists a function $f \in \mathcal{C}_{c}^{\infty}(\mathbb{R})$ not identically zero such that for all $n \geqslant 0$, $\|f^{(n)}\|_{\infty} \leqslant M_{n}$.
Conclude regarding the initially posed question.