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
2022 mines-ponts-maths2__pc

19 maths questions

Q1 Matrices Matrix Norm, Convergence, and Inequality View
Justify that if $M \in \mathcal{M}_{n}(\mathbf{C})$, the map $$X \in \Sigma_{n} \longmapsto \|MX\|$$ attains its maximum, which we denote by $\|M\|_{\text{op}}$. Establish the two properties $$\begin{gathered} \forall M \in \mathcal{M}_{n}(\mathbf{C}), \quad \|M\|_{\mathrm{op}} = \max\left\{\frac{\|MX\|}{\|X\|}; X \in \mathcal{M}_{n,1}(\mathbf{C}) \backslash \{0\}\right\}, \\ \forall (M, M^{\prime}) \in \mathcal{M}_{n}(\mathbf{C})^{2}, \quad \|M^{\prime}M\|_{\mathrm{op}} \leq \|M^{\prime}\|_{\mathrm{op}} \|M\|_{\mathrm{op}}. \end{gathered}$$
Q2 Matrices Matrix Norm, Convergence, and Inequality View
If $U \in \mathcal{M}_{n,1}(\mathbf{C})$, show that $$\max\left\{\left|V^{T}U\right|; V \in \Sigma_{n}\right\} = \|U\|.$$ Deduce that, if $M$ is in $\mathcal{M}_{n}(\mathbf{C})$, then $$\max\left\{\left|X^{T}MY\right|; (X,Y) \in \Sigma_{n} \times \Sigma_{n}\right\} = \|M\|_{\mathrm{op}}.$$
Q3 Matrices Matrix Norm, Convergence, and Inequality View
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $$b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}.$$
Let $M \in \mathcal{B}_{n}$, $X \in \mathcal{M}_{n,1}(\mathbf{C})$. Show that the sequence $\left(\left\|M^{k}X\right\|\right)_{k \in \mathbf{N}}$ is bounded. If $\lambda \in \sigma(M)$, if $X$ is an eigenvector of $M$ associated with $\lambda$, express for $k \in \mathbf{N}$, the vector $M^{k}X$ in terms of $\lambda$, $k$ and $X$. Deduce that $\sigma(M) \subset \mathbb{D}$.
Q5 Matrices Diagonalizability and Similarity View
We say that the element $M$ of $\mathcal{M}_{n}(\mathbf{C})$ satisfies $\mathcal{P}$ if, for every $(i,j)$ in $\{1,\ldots,n\}^{2}$, there exists an element $P_{M,i,j}$ of $\mathbf{C}_{n-1}[X]$ such that $$\forall z \in \mathbf{C} \backslash \sigma(M), \quad \left(R_{z}(M)\right)_{i,j} = \frac{P_{M,i,j}(z)}{\chi_{M}(z)}$$
Show that the diagonalizable matrices of $\mathcal{M}_{n}(\mathbf{C})$ satisfy $\mathcal{P}$. Begin with the case of diagonal matrices.
Q6 Proof Deduction or Consequence from Prior Results View
We say that the element $M$ of $\mathcal{M}_{n}(\mathbf{C})$ satisfies $\mathcal{P}$ if, for every $(i,j)$ in $\{1,\ldots,n\}^{2}$, there exists an element $P_{M,i,j}$ of $\mathbf{C}_{n-1}[X]$ such that $$\forall z \in \mathbf{C} \backslash \sigma(M), \quad \left(R_{z}(M)\right)_{i,j} = \frac{P_{M,i,j}(z)}{\chi_{M}(z)}$$
We admit that every matrix in $\mathcal{M}_{n}(\mathbf{C})$ satisfies $\mathcal{P}$. Deduce that, if $M \in \mathcal{M}_{n}(\mathbf{C})$ and $(X,Y) \in \mathcal{M}_{n,1}(\mathbf{C})^{2}$, there exists an element $P_{M,X,Y}$ of $\mathbf{C}_{n-1}[X]$ such that $$\forall z \in \mathbf{C} \backslash \sigma(M), \quad X^{T}R_{z}(M)Y = \frac{P_{M,X,Y}(z)}{\chi_{M}(z)}.$$
Q7 Sequences and Series Matrix Exponentials and Series of Matrices View
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}$.
Let $M \in \mathcal{B}_{n}$ and $z \in \mathbf{C} \backslash \mathbb{D}$. Show that the series of matrices $\sum \frac{M^{j}}{z^{j+1}}$ converges. We will admit the following fact: let $(E, N)$ be a finite-dimensional normed vector space; if $(v_{j})_{j \in \mathbf{N}}$ is a sequence of elements of $E$ such that the series $\sum N(v_{j})$ converges, then the series $\sum v_{j}$ converges in $E$. If $m \in \mathbf{N}$, give a simplified expression for $\left(zI_{n} - M\right)\sum_{j=0}^{m} \frac{M^{j}}{z^{j+1}}$. Deduce that $$R_{z}(M) = \sum_{j=0}^{+\infty} \frac{M^{j}}{z^{j+1}}$$
Q8 Matrices Matrix Norm, Convergence, and Inequality View
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}$. For $M \in \mathcal{B}_{n}$, we define the function $$\varphi_{M}: z \in \mathbf{C} \backslash \mathbb{D} \longmapsto (|z|-1)\left\|R_{z}(M)\right\|_{\mathrm{op}}.$$
Deduce from the previous question the inequality $$\forall M \in \mathcal{B}_{n}, \quad \forall z \in \mathbf{C} \backslash \mathbb{D}, \quad \varphi_{M}(z) \leq b(M)$$
Q9 Sequences and Series Uniform or Pointwise Convergence of Function Series/Sequences View
Let $(c_{j})_{j \in \mathbf{N}}$ be a sequence of complex numbers such that the series $\sum c_{j}$ converges absolutely. We set $$\forall t \in \mathbf{R}, \quad u(t) = \sum_{j=0}^{+\infty} c_{j} e^{-i(j+1)t}.$$
Justify the existence and continuity of the function $u$. For $k \in \mathbf{N}$, show that $$\frac{1}{2\pi} \int_{-\pi}^{\pi} u(t) e^{i(k+1)t} \mathrm{d}t = c_{k}$$
Q10 Sequences and Series Evaluation of a Finite or Infinite Sum View
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}$.
Let $M \in \mathcal{B}_{n}$, $r \in ]1, +\infty[$ and $(X,Y) \in \mathcal{M}_{n,1}(\mathbf{C})^{2}$. Determine a sequence of complex numbers $(c_{j})_{j \in \mathbf{N}}$ such that the series $\sum c_{j}$ converges absolutely and that $$\forall t \in \mathbf{R}, \quad X^{T}R_{re^{it}}(M)Y = \sum_{j=0}^{+\infty} c_{j} e^{-i(j+1)t}.$$ If $k \in \mathbf{N}$, deduce, using question 9, an integral expression for $X^{T}M^{k}Y$.
Q11 Continuous Probability Distributions and Random Variables Expectation and Moment Inequality Proof View
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$
By considering a well-chosen sequence of functions, show that there does not exist an element $C$ of $\mathbf{R}^{+*}$ such that $$\forall f \in \mathcal{C}^{1}, \quad V(f) \leq C\|f\|_{\infty}$$
Q12 Continuous Probability Distributions and Random Variables Change of Variable and Integral Evaluation View
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$
Let $f \in \mathcal{C}^{1}$ with real values. We assume that the set $C(f)$ of points in $]-\pi, \pi[$ where the function $f^{\prime}$ vanishes is finite. We denote by $\ell$ the cardinality of $C(f)$ and, if $\ell \geq 1$, we denote by $t_{1} < \cdots < t_{\ell}$ the elements of $C(f)$. We set $t_{0} = -\pi$ and $t_{\ell+1} = \pi$.
Show that $$V(f) = \sum_{j=0}^{\ell} \left|f\left(t_{j+1}\right) - f\left(t_{j}\right)\right|$$
For $0 \leq j \leq \ell$, let $\psi_{j}$ be the function from $\mathbf{R}$ to $\{0,1\}$ equal to 1 on $\left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$ and to 0 on $\mathbf{R} \backslash \left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$. Show that $$V(f) = \sum_{j=0}^{\ell} \int_{-\|f\|_{\infty}}^{\|f\|_{\infty}} \psi_{j}$$
Q13 Sequences and Series Proof of Inequalities Involving Series or Sequence Terms View
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$
Let $f \in \mathcal{C}^{1}$ with real values. We assume that the set $C(f)$ of points in $]-\pi, \pi[$ where the function $f^{\prime}$ vanishes is finite. We denote by $\ell$ the cardinality of $C(f)$ and, if $\ell \geq 1$, we denote by $t_{1} < \cdots < t_{\ell}$ the elements of $C(f)$. We set $t_{0} = -\pi$ and $t_{\ell+1} = \pi$. For $0 \leq j \leq \ell$, let $\psi_{j}$ be the function from $\mathbf{R}$ to $\{0,1\}$ equal to 1 on $\left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$ and to 0 on $\mathbf{R} \backslash \left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$.
If $y \in \mathbf{R}$, show that the set $f^{-1}(\{y\}) \cap [-\pi, \pi[$ is finite with cardinality bounded by $\ell+1$; we denote this cardinality by $N(y)$. If $y \in \mathbf{R}$, express $N(y)$ in terms of $\psi_{0}(y), \ldots, \psi_{\ell}(y)$. Deduce the inequality $$V(f) \leq 2\max\{N(y); y \in \mathbf{R}\}\|f\|_{\infty}$$
Q14 Proof Bounding or Estimation Proof View
We denote by $\mathcal{R}_{n}$ the set of rational functions with no pole in $\mathbb{U}$ of the form $\frac{P}{Q}$ where $P$ and $Q$ are two elements of $\mathbf{C}_{n}[X]$.
Let $F \in \mathcal{R}_{n}$, $P$ and $Q$ be two elements of $\mathbf{C}_{n}[X]$ satisfying $F = \frac{P}{Q}$ and $$\forall z \in \mathbb{U}, \quad Q(z) \neq 0$$ For $t \in [-\pi, \pi]$, we set $$f(t) = F\left(e^{it}\right) = g(t) + ih(t) \quad \text{where} \quad (g(t), h(t)) \in \mathbf{R}^{2}$$ For $u \in [-\pi, \pi]$, we define a function $f_{u}$ from $[-\pi, \pi]$ to $\mathbf{R}$ by $$\forall t \in [-\pi, \pi], \quad f_{u}(t) = g(t)\cos(u) + h(t)\sin(u) = \operatorname{Re}\left(e^{-iu}F\left(e^{it}\right)\right) = \operatorname{Re}\left(e^{-iu}f(t)\right).$$
In this question, we fix $u \in [-\pi, \pi]$ and assume that $f_{u}$ is not constant. We also fix $y \in \mathbf{R}$. Using if necessary the expression of $f_{u}(t)$ as the real part of $e^{-iu}F\left(e^{it}\right)$ and Euler's formula for the real part, determine $S \in \mathbf{C}_{2n}[X]$ such that $$\forall t \in [-\pi, \pi], \quad f_{u}(t) = y \Longleftrightarrow S\left(e^{it}\right) = 0.$$ Deduce that the set $f_{u}^{-1}(\{y\}) \cap [-\pi, \pi[$ is finite with cardinality bounded by $2n$.
Q15 Indefinite & Definite Integrals Integral Equation with Symmetry or Substitution View
By observing that the function $|\cos|$ is $2\pi$-periodic, calculate, for $\omega \in \mathbf{R}$, the integral $$\int_{-\pi}^{\pi} |\cos(u - \omega)| \mathrm{d}u$$ Deduce that, if $(a,b) \in \mathbf{R}^{2}$, $$\int_{-\pi}^{\pi} |a\cos(u) + b\sin(u)| \mathrm{d}u = 4\sqrt{a^{2} + b^{2}}$$
Q16 Integration by Parts Integral Involving a Parameter or Operator Identity View
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$
Let $F \in \mathcal{R}_{n}$, $P$ and $Q$ be two elements of $\mathbf{C}_{n}[X]$ satisfying $F = \frac{P}{Q}$ and $\forall z \in \mathbb{U},\ Q(z) \neq 0$. For $t \in [-\pi, \pi]$, we set $f(t) = F(e^{it}) = g(t) + ih(t)$. For $u \in [-\pi, \pi]$, we define $f_{u}(t) = g(t)\cos(u) + h(t)\sin(u)$.
Express the integral $$\int_{-\pi}^{\pi} \left(\int_{-\pi}^{\pi} \left|f_{u}^{\prime}(t)\right| \mathrm{d}u\right) \mathrm{d}t$$ in terms of $V(f)$.
Q17 Proof Deduction or Consequence from Prior Results View
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$
Let $F \in \mathcal{R}_{n}$, $P$ and $Q$ be two elements of $\mathbf{C}_{n}[X]$ satisfying $F = \frac{P}{Q}$ and $\forall z \in \mathbb{U},\ Q(z) \neq 0$. For $t \in [-\pi, \pi]$, we set $f(t) = F(e^{it}) = g(t) + ih(t)$. For $u \in [-\pi, \pi]$, we define $f_{u}(t) = g(t)\cos(u) + h(t)\sin(u)$.
We admit the equality $$\int_{-\pi}^{\pi} \left(\int_{-\pi}^{\pi} \left|f_{u}^{\prime}(t)\right| \mathrm{d}u\right) \mathrm{d}t = \int_{-\pi}^{\pi} \left(\int_{-\pi}^{\pi} \left|f_{u}^{\prime}(t)\right| \mathrm{d}t\right) \mathrm{d}u$$ We also admit that, for $u \in [-\pi, \pi]$ such that $f_{u}$ is not constant, the set of points in $]-\pi, \pi[$ where the function $f_{u}^{\prime}$ vanishes is finite.
Deduce the inequality $$(3) \quad V(f) \leq 2\pi n \|f\|_{\infty}.$$
Q18 Complex numbers 2 Contour Integration and Residue Calculus View
Let $M \in \mathcal{B}_{n}$. We define $$b^{\prime}(M) = \sup\left\{\varphi_{M}(z); z \in \mathbf{C} \backslash \mathbb{D}\right\}$$ where $\varphi_{M}: z \in \mathbf{C} \backslash \mathbb{D} \longmapsto (|z|-1)\left\|R_{z}(M)\right\|_{\mathrm{op}}$, and $b^{\prime}(M) \leq b(M)$.
We fix $r \in ]1, +\infty[$ and $(X,Y) \in \Sigma_{n}^{2}$. For $\rho \in \mathbf{R}^{+*}$, we denote $\mathbb{D}_{\rho} = \{z \in \mathbf{C}; |z| \leq \rho\}$.
Show that there exists an element $F_{r}$ of $\mathcal{R}_{n}$ whose poles are all in $\mathbb{D}_{1/r}$ and such that the following two properties are satisfied: $$\begin{gathered} \forall z \in \mathbf{C} \backslash \mathbb{D}_{1/r}, \quad \left|F_{r}(z)\right| \leq \frac{b^{\prime}(M)}{r|z|-1} \\ \forall k \in \mathbf{N}, \quad X^{T}M^{k}Y = \frac{r^{k+1}}{2\pi} \int_{-\pi}^{\pi} F_{r}\left(e^{it}\right) e^{i(k+1)t} \mathrm{~d}t \end{gathered}$$
Q19 Complex numbers 2 Inequalities and Estimates for Complex Expressions View
Let $M \in \mathcal{B}_{n}$. We define $$b^{\prime}(M) = \sup\left\{\varphi_{M}(z); z \in \mathbf{C} \backslash \mathbb{D}\right\}$$ where $\varphi_{M}: z \in \mathbf{C} \backslash \mathbb{D} \longmapsto (|z|-1)\left\|R_{z}(M)\right\|_{\mathrm{op}}$.
We fix $r \in ]1, +\infty[$ and $(X,Y) \in \Sigma_{n}^{2}$. For $\rho \in \mathbf{R}^{+*}$, we denote $\mathbb{D}_{\rho} = \{z \in \mathbf{C}; |z| \leq \rho\}$.
By using the previous question, integration by parts and inequality (3) from question $17$, show that $$\forall k \in \mathbf{N}, \quad \left|X^{T}M^{k}Y\right| \leq \frac{r^{k+1}}{(k+1)(r-1)} n b^{\prime}(M).$$
Q20 Sequences and series, recurrence and convergence Coefficient and growth rate estimation View
Let $M \in \mathcal{B}_{n}$. We define $$b^{\prime}(M) = \sup\left\{\varphi_{M}(z); z \in \mathbf{C} \backslash \mathbb{D}\right\}$$ where $\varphi_{M}: z \in \mathbf{C} \backslash \mathbb{D} \longmapsto (|z|-1)\left\|R_{z}(M)\right\|_{\mathrm{op}}$, and $b^{\prime}(M) \leq b(M)$.
Using the inequality from question 19, prove the inequality $$(4) \quad b(M) \leq e n b^{\prime}(M).$$