grandes-ecoles

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

28 maths questions

Show that, for every polynomial $P \in \mathbb{C}[X]$, the map $f_P : A \mapsto P(A)$ is a continuous function from $\mathcal{M}_d(\mathbb{R})$ to $\mathcal{M}_d(\mathbb{C})$.
Show that the map $(A, B) \mapsto \operatorname{Tr}\left({}^t A \times B\right)$ is an inner product on the space $\mathcal{M}_d(\mathbb{R})$.
In the rest of the problem, we denote by $\|\cdot\|$ the norm associated with the inner product $(A, B) \mapsto \operatorname{Tr}({}^t A \times B)$.
For all integers $i, j$ between 1 and $d$ and every matrix $A \in \mathcal{M}_d(\mathbb{R})$, compare $\left|A_{i,j}\right|$ and $\|A\|$.
In the rest of the problem, we denote by $\|\cdot\|$ the norm associated with the inner product $(A, B) \mapsto \operatorname{Tr}({}^t A \times B)$.
Show that: $\forall (A, B) \in \mathcal{M}_d(\mathbb{R})^2, \|A \times B\| \leqslant \|A\| \cdot \|B\|$.
In the rest of the problem, we denote by $\|\cdot\|$ the norm associated with the inner product $(A, B) \mapsto \operatorname{Tr}({}^t A \times B)$.
For $n \in \mathbb{N}^*$ and $A \in \mathcal{M}_d(\mathbb{R})$, compare $\left\|A^n\right\|$ and $\|A\|^n$.
We are given a power series with complex coefficients $\sum_{n \geqslant 0} a_n z^n$ with radius of convergence $R$ strictly positive, possibly equal to $+\infty$. We denote by $\|\cdot\|$ the norm associated with the inner product $(A,B)\mapsto\operatorname{Tr}({}^tA\times B)$ on $\mathcal{M}_d(\mathbb{R})$.
Let $\mathcal{B} = \left\{A \in \mathcal{M}_d(\mathbb{R}), \|A\| < R\right\}$. Show that the map $\varphi : A \mapsto \varphi(A) = \sum_{n=0}^{+\infty} a_n A^n$ is defined and continuous on $\mathcal{B}$.
We are given a power series with complex coefficients $\sum_{n \geqslant 0} a_n z^n$ with radius of convergence $R$ strictly positive, possibly equal to $+\infty$. We denote by $\|\cdot\|$ the norm associated with the inner product $(A,B)\mapsto\operatorname{Tr}({}^tA\times B)$ on $\mathcal{M}_d(\mathbb{R})$, and $\varphi(A) = \sum_{n=0}^{+\infty} a_n A^n$.
Let $A \in \mathcal{M}_d(\mathbb{R})$ be a nonzero matrix such that $\|A\| < R$.
1) Establish the existence of an integer $r \in \mathbb{N}^*$ such that the family $\left(A^k\right)_{0 \leqslant k \leqslant r-1}$ is free and the family $\left(A^k\right)_{0 \leqslant k \leqslant r}$ is dependent.
2) For $n \in \mathbb{N}$, show the existence and uniqueness of an $r$-tuple $(\lambda_{0,n}, \ldots, \lambda_{r-1,n})$ in $\mathbb{R}^r$ such that $$A^n = \sum_{k=0}^{r-1} \lambda_{k,n} A^k$$
3) Show that there exists a constant $C > 0$ such that: $$\forall n \in \mathbb{N}, \quad \sum_{k=0}^{r-1} |\lambda_{k,n}| \leqslant C \left\|A^n\right\|$$
4) Deduce that, for every integer $k$ between 0 and $(r-1)$, the series $\sum_{n \geqslant 0} a_n \lambda_{k,n}$ is absolutely convergent in $\mathbb{C}$.
5) Conclude that there exists a unique polynomial $P \in \mathbb{R}[X]$ such that $\varphi(A) = P(A)$ and $\deg P < r$.
6) Determine this polynomial $P$ when $A = \begin{pmatrix} 0 & -1 & -1 \\ -1 & 0 & -1 \\ 1 & 1 & 2 \end{pmatrix}$ and $a_n = \frac{1}{n!}$ for all $n \in \mathbb{N}$.
We are given a power series with complex coefficients $\sum_{n \geqslant 0} a_n z^n$ with radius of convergence $R$ strictly positive, possibly equal to $+\infty$, and $\varphi(A) = \sum_{n=0}^{+\infty} a_n A^n$ defined on $\mathcal{B} = \{A \in \mathcal{M}_d(\mathbb{R}), \|A\| < R\}$.
Find a necessary and sufficient condition on the power series $\sum_{n \geqslant 0} a_n z^n$ for there to exist $P \in \mathbb{R}[X]$ such that $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad \varphi(A) = P(A)$$
State the theorem allowing the product of two series of complex numbers. (We admit in the rest of Part III that the result valid for series of complex numbers still holds for series of matrices in $\mathcal{M}_d(\mathbb{C})$.)
For $(A, B) \in \mathcal{M}_d(\mathbb{R})^2$ such that $A$ and $B$ commute, show that $\exp(\mathrm{i}A)\exp(\mathrm{i}B) = \exp(\mathrm{i}(A+B))$.
For every $A \in \mathcal{M}_d(\mathbb{R})$, we define $$\cos(A) = \sum_{n=0}^{+\infty} (-1)^n \frac{A^{2n}}{(2n)!} \quad \text{and} \quad \sin(A) = \sum_{n=0}^{+\infty} (-1)^n \frac{A^{2n+1}}{(2n+1)!}$$ Show $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad \cos(A)^2 + \sin(A)^2 = I_d$$
We fix a matrix $A \in \mathcal{M}_d(\mathbb{R})$.
For $R$ large enough, show that, for every $\theta \in \mathbb{R}$, the matrix $(R\mathrm{e}^{\mathrm{i}\theta} I_d - A)$ is invertible in $\mathcal{M}_d(\mathbb{C})$, and that its inverse is the matrix $$\left(R\mathrm{e}^{\mathrm{i}\theta}\right)^{-1} \sum_{n=0}^{+\infty} \left(R\mathrm{e}^{\mathrm{i}\theta}\right)^{-n} A^n$$
We fix a matrix $A \in \mathcal{M}_d(\mathbb{R})$.
Show that, for every $n \in \mathbb{N}^*$ and every $R$ large enough, the matrix $$\frac{1}{2\pi} \int_0^{2\pi} \left(R\mathrm{e}^{\mathrm{i}\theta}\right)^n \left(R\mathrm{e}^{\mathrm{i}\theta} I_d - A\right)^{-1} \mathrm{~d}\theta$$ equals $A^{n-1}$.
We fix a matrix $A \in \mathcal{M}_d(\mathbb{R})$. We consider the characteristic polynomial $$\chi_A(X) = \det\left(A - X \cdot I_d\right) = \sum_{k=0}^d a_k X^k$$ Show that for $R$ large enough: $$\chi_A(A) = \frac{1}{2\pi} \int_0^{2\pi} \left(R\mathrm{e}^{\mathrm{i}\theta}\right) \chi_A\left(R\mathrm{e}^{\mathrm{i}\theta}\right) \left(R\mathrm{e}^{\mathrm{i}\theta} I_d - A\right)^{-1} \mathrm{~d}\theta$$
We fix a matrix $A \in \mathcal{M}_d(\mathbb{R})$, with characteristic polynomial $\chi_A(X) = \det(A - X \cdot I_d) = \sum_{k=0}^d a_k X^k$.
Deduce that $\chi_A(A)$ is the zero matrix. One may use cofactor matrices.
QIVA Differential equations Finding a Function from an Integral Equation View
Let $M \in \mathbb{R}_+^* \cup \{+\infty\}$ and $f : {]-\infty, M[} \rightarrow \mathbb{R}$ be a continuous function such that $$\forall (x, y) \in {\left]-\infty, \frac{M}{2}\right[}^2, \quad 2f(x+y) = f(2x) + f(2y) \tag{IV.1}$$
Let $\alpha$ be a number strictly less than $\frac{M}{2}$ and $F$ be the antiderivative of $f$ vanishing at $\alpha$. Show that for all $x$ and $y$ in $]-\infty, \frac{M}{2}[$, with $y \neq \alpha$, we have: $$f(2x) = 2\frac{F(x+y) - F(x+\alpha) - \frac{1}{4}F(2y) + \frac{1}{4}F(2\alpha)}{y - \alpha}$$
Let $M \in \mathbb{R}_+^* \cup \{+\infty\}$ and $f : {]-\infty, M[} \rightarrow \mathbb{R}$ be a continuous function such that $$\forall (x, y) \in {\left]-\infty, \frac{M}{2}\right[}^2, \quad 2f(x+y) = f(2x) + f(2y) \tag{IV.1}$$
Deduce that the function $f$ is of class $C^\infty$ on $]-\infty, M[$.
QIVC Differential equations Higher-Order and Special DEs (Proof/Theory) View
Let $M \in \mathbb{R}_+^* \cup \{+\infty\}$ and $f : {]-\infty, M[} \rightarrow \mathbb{R}$ be a continuous function such that $$\forall (x, y) \in {\left]-\infty, \frac{M}{2}\right[}^2, \quad 2f(x+y) = f(2x) + f(2y) \tag{IV.1}$$
Show that $f'' = 0$, then that the set of continuous solutions of equation (IV.1) forms an $\mathbb{R}$-vector space, for which we will determine a basis.
We are given a function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ and we define a function $f_\xi : \mathcal{M}_d(\mathbb{R}) \rightarrow \mathcal{M}_d(\mathbb{R})$ such that $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad f_\xi(A) = \left(\xi\left(A_{i,j}\right)\right)_{1 \leqslant i,j \leqslant d}$$ We propose to determine the continuous functions $\xi : \mathbb{R} \rightarrow \mathbb{R}$ such that $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) \text{ invertible} \tag{V.1}$$
Determine the continuous functions $\xi$ satisfying condition (V.1) when $d = 1$.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
Show $$\forall (a, b, c, d) \in \mathbb{R}^4, \quad ad \neq bc \Rightarrow \xi(a)\xi(d) \neq \xi(b)\xi(c)$$ One may consider the matrix $\begin{pmatrix} a & b & 0 & \cdots & 0 \\ c & d & 0 & \cdots & 0 \\ c & d & & & \\ \vdots & \vdots & & I_{d-2} & \\ c & d & & & \end{pmatrix}$.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
Deduce that the function $\xi$ is injective, then that it is strictly monotone on $\mathbb{R}$.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
Show that the function $\xi$ does not vanish on $\mathbb{R}^*$.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
The purpose of this question is to show $\xi(0) = 0$.
1) Show that if $\xi(0) \neq 0$, then there exists $\alpha > 0$ such that $\xi(0)\xi(2) = \xi(1)\xi(\alpha)$.
2) Conclude.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
Let $\eta = \xi^{-1} : I \rightarrow \mathbb{R}$ be the inverse function of the bijection $\xi : \mathbb{R} \rightarrow I$. Show that where it is defined $$(\eta(xy))^2 = \eta\left(x^2\right)\eta\left(y^2\right)$$
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), and $\eta = \xi^{-1} : I \rightarrow \mathbb{R}$ is the inverse function of the bijection $\xi : \mathbb{R} \rightarrow I$.
We assume in this question that the function $\eta$ takes strictly positive values on $I \cap {]0, +\infty[}$.
1) Show that the function $f = \ln \circ \eta \circ \exp$ satisfies equation (IV.1) on an interval $]-\infty, M[$, with $M$ (possibly infinite) to be determined as a function of the interval $I$.
2) Deduce that on the interval $I \cap {]0, +\infty[}$ the function $\eta$ is of the form $$\eta : x \mapsto K_1 x^{\alpha_1}$$ with two constants $K_1 > 0$ and $\alpha_1 > 0$.
3) Show that on the interval $I \cap {]-\infty, 0[}$ the function $\eta$ is of the form $$\eta : x \mapsto K_2(-x)^{\alpha_2}$$ with two constants $K_2 < 0$ and $\alpha_2 > 0$.
4) Show that $I = \mathbb{R}$ then that the function $\eta$ is an odd function.
We are given a continuous function $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying condition (V.1) (with $d \geqslant 2$), where $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$
Deduce in the general case that, if $\xi : \mathbb{R} \rightarrow \mathbb{R}$ is a continuous function satisfying condition (V.1), then it is odd and its restriction to $\mathbb{R}_+^*$ is of the form $x \mapsto Cx^\beta$, with $C \neq 0$ and $\beta > 0$.
For $\lambda \in \mathbb{R}$, calculate the determinant of the matrix $A_\lambda \in \mathcal{M}_d(\mathbb{R})$ having only 1's off the diagonal and only $\lambda$ on the diagonal.
For $\lambda \in \mathbb{R}$, let $A_\lambda \in \mathcal{M}_d(\mathbb{R})$ be the matrix having only 1's off the diagonal and only $\lambda$ on the diagonal.
Deduce all continuous functions $\xi : \mathbb{R} \rightarrow \mathbb{R}$ satisfying $$\forall A \in \mathcal{M}_d(\mathbb{R}), \quad A \text{ invertible} \Rightarrow f_\xi(A) = \left(\xi(A_{i,j})\right)_{1\leqslant i,j\leqslant d} \text{ invertible} \tag{V.1}$$