2024-E3A-Mp1-Corrigé

E3A 2024 — MP — Mathématiques

Exercice 1

Pour {x\in\mathbb R}, la partie entière {\lfloor x\rfloor} est l’unique entier {k} tel que {k\le x\lt k+1}.

Soit {X} une variable aléatoire de loi géométrique de paramètre {p\in]0,1[} sur {(\Omega,\mathcal A,\mathbb P)}, à valeurs dans {\mathbb N^*}.

On cherche la loi de {Y=\left\lfloor\frac{X+1}2\right\rfloor.}

1. Représenter dans un repère orthonormal la fonction {x\mapsto\lfloor(x+1)/2\rfloor} sur {[-2,2]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Déterminer {Y(\Omega)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Pour {k\ge1}, exprimer l’événement {(Y=k)} à l’aide d’événements {(X=j)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. Déterminer la loi de {Y}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2

1. Question préliminaire. En utilisant {\cos(2\theta)=2\cos^2\theta-1}, montrer que {(\cos n)} ne tend pas vers {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

On considère la série entière {\sum\limits_{n\ge1}a_nx^n}, où {a_n=\cos n/n}. Son rayon de convergence est noté {R}.

2. Montrer que {R\ge1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Montrer que la série de terme général {\cos n} diverge.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. En déduire la valeur de {R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Pour {x\in]-1,1[}, on note {f(x)=\sum\limits_{n=1}^{+\infty}\cos(n)x^n/n}.

5. Donner le rayon de convergence et la somme de {\sum\limits_{n=0}^{+\infty}e^{in}x^n}, où {i^2=-1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6. Donner une expression simple de {f'(x)} pour {x\in]-1,1[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7. Exprimer la somme {f} à l’aide de fonctions usuelles.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8. Donner le rayon de convergence et la somme {g(x)} de {\sum\limits_{n\ge1}\cos^2(n/2)x^n/n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3

Soient {n\ge1} et {A\in\mathcal M_n(\mathbb R)} vérifiant {A^T=3A^2-A-I_n.}

1. Montrer que {B=3A^3-A^2-A} est symétrique réelle.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Montrer que les valeurs propres de {B} sont réelles, positives ou nulles.

On pourra étudier {Y^TBY} pour {Y\in\mathbb R^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Montrer que {A=3(A^T)^2-A^T-I_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. Montrer que {P(X)=(3X^2-X-1)^2-X^2} est annulateur de {A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5. Déterminer un polynôme unitaire annulateur de {A^T}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6. Factoriser {P} en un produit de polynômes irréductibles de {\mathbb R[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7. La matrice {A} est-elle inversible ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8. Montrer que {A} est diagonalisable et préciser ses valeurs propres possibles.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
9. Si {\lambda} est valeur propre de {A} et {V} un vecteur propre associé, montrer que {V} est aussi vecteur propre de {A^T}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

10. Polynômes de Lagrange

On note {\alpha_1=1}, {\alpha_2,\alpha_3,\alpha_4} les quatre racines de {P}. L’énoncé introduit la famille {\mathcal L=(L_1,L_2,L_3,L_4)} des polynômes de Lagrange de degré au plus {3}, avec {L_i(\alpha_j)=\delta_{i,j}}.

Rectification de l’énoncé. Le tableau du PDF inverse les valeurs du symbole de Kronecker. Pour les polynômes de Lagrange annoncés, il faut lire {\delta_{i,j}=1} si {i=j} et {0} sinon. C’est cette convention usuelle, cohérente avec la suite, qui est utilisée ci-dessous.

On peut ordonner les trois autres racines en posant {\alpha_2=-1/3}, {\alpha_3=1/\sqrt3} et {\alpha_4=-1/\sqrt3}.

10.1. Déterminer {L_1} sous forme d’un produit de polynômes irréductibles réels.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
10.2. Vérifier que {\mathcal L} est une base de {\mathbb R_3[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
10.3. Pour {R\in\mathbb R_3[X]}, déterminer ses coordonnées dans la base {\mathcal L}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

11. Étude des puissances de A

11.1. Soit {k\ge1}.

11.1.1. Exprimer dans la base {\mathcal L} le reste de la division euclidienne de {X^k} par {P}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
11.1.2. En déduire une expression de {A^k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
11.2. Montrer que {(A^k)} converge vers une matrice de projection et exprimer la limite à l’aide de {A} et des {L_i}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4

Questions préliminaires

1. Montrer qu’une fonction {f} de classe {\mathcal C^1} sur un segment {J} est lipschitzienne sur {J}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Montrer qu’une fonction {k}-lipschitzienne sur un intervalle {I} est uniformément continue sur {I}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Soient {E} l’espace des fonctions réelles continues par morceaux et bornées sur {\mathbb R}, et {F} celui des fonctions réelles continues par morceaux et intégrables sur {\mathbb R}.

L’énoncé utilise les notations {\|g\|_1=\int_{-\infty}^{+\infty}|g(t)|\,dt,\quad\|f\|_\infty=\sup_{t\in\mathbb R}|f(t)|.} On fixe {g\in F} et {f\in E}.

Précision sur la norme intégrale. Pour des fonctions définies point par point, {\|\cdot\|_1} est seulement une semi-norme : une fonction nulle sauf en un point a une intégrale nulle. Elle devient une norme après identification des fonctions égales presque partout.

Cela ne modifie aucune des intégrales ni des estimations demandées ; la norme uniforme sur {E} est bien une norme.

3. Montrer que {(f\star g)(x)=\int_{-\infty}^{+\infty}f(x-t)g(t)\,dt} est bien défini pour tout réel {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. Montrer que {f\star g=g\star f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

5. On pose {f_1(x)=\left\{\begin{array}{ll}1&x\in[-1/2,1/2],\\[8pt]0&\text{sinon}.\end{array}\right.}

5.1. Représenter {f_1} dans un repère orthonormal.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5.2. La fonction {f_1} est-elle continue sur {\mathbb R} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

6. Étude de f₁ ⋆ g

6.1. Montrer que {f_1\star g} est bien défini sur {\mathbb R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6.2. Si {g} est {k}-lipschitzienne sur {\mathbb R}, montrer que {f_1\star g} est uniformément continue.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6.3. Montrer que {(f_1\star g)(x)=\int_{x-1/2}^{x+1/2}g(u)\,du} pour tout {x\in\mathbb R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6.4. Si {g} est continue sur {\mathbb R}, montrer que {f_1\star g} est de classe {\mathcal C^1} et calculer sa dérivée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

7. Étude de {f_1\star f_1}

7.1. Justifier que {f_1\star f_1} existe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7.2. Déterminer {(f_1\star f_1)(x)} suivant les valeurs de {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7.3. Représenter {f_1\star f_1} dans un repère orthonormal.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7.4. La fonction {f_1\star f_1} est-elle continue sur {\mathbb R} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

8. Pour {\alpha>0}, on définit {h_\alpha(x)=\frac1\alpha f_1(x/\alpha).}

8.1. Représenter {h_2} dans un repère orthonormal.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8.2. Vérifier que {\int_{-\infty}^{+\infty}h_\alpha(x)\,dx=1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8.3. Si {g} est continue en {x_0}, montrer que {\lim\limits_{\alpha\to0^+}(h_\alpha\star g)(x_0)=g(x_0)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

9. Étude d’une norme subordonnée

9.1. Montrer que {\|h\star g\|_\infty\le\|g\|_1\|h\|_\infty} pour tout {h\in E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
9.2. Montrer que l’endomorphisme {\Phi:h\mapsto h\star g} de {(E,\|\cdot\|_\infty)} est continu.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
9.3. En déduire une majoration de la norme subordonnée {\|\!|\Phi|\!\|}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
10. On suppose ici {g} bornée et continue par morceaux, et {f\in E} telle qu’il existe {A>0} avec {f(x)=0} pour {|x|\ge A}.

Montrer que {f\star g} est uniformément continue sur {\mathbb R}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :