2024-E3A-Psi-Corrigé

E3A — PSI — 2024

Calculatrice interdite. Quatre exercices indépendants.

Exercice 1

Soit {n\ge1}. Les variables {Y,Z}, définies sur un même espace probabilisé {(\Omega,\mathcal A,P)}, sont indépendantes et suivent la loi binomiale {\mathcal B(n,1/2)}.

Pour {\omega\in\Omega}, on pose

{A(\omega)=\begin{pmatrix}Y(\omega)&0\\[8pt]2&Z(\omega)\end{pmatrix}.}1. Calcul d’une somme

1.1. Déterminer le coefficient de {X^n} dans {(1+X)^{2n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1.2. En utilisant {(1+X)^{2n}=(1+X)^n(1+X)^n}, exprimer ce coefficient autrement.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1.3. En déduire une expression simplifiée de {\sum\limits_{k=0}^n\binom nk^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. À quelle condition nécessaire et suffisante sur {a,c\in\mathbb R} la matrice {\begin{pmatrix}a&0\\[8pt]2&c\end{pmatrix}} est-elle diagonalisable ?
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. Calculer la probabilité que {A} soit diagonalisable, en simplifiant à l’aide de 1.3.
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. Calculer la probabilité que {A} soit 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 :

Exercice 2

On note {E=C^0([0,1],\mathbb R)}. Pour {x,t\in[0,1]}, {\min(x,t)=x} si {x\le t}, et {\min(x,t)=t} sinon.

Questions préliminaires

1. Résoudre sur {\mathbb R}, selon {\alpha\in\mathbb R}, l’équation {y''+\alpha y=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 :
2. Soient {h\in E} et {a\in[0,1]}. Justifier que {H(x)=\int_a^xh(t)\,dt} est de classe {C^1} sur {[0,1]} et déterminer 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 :

3. Cas particuliers

3.1. Tracer sur {[0,1]} la courbe de {t\mapsto\min(1/3,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 :
3.2. Calculer {\int_0^1\min(1/3,t)\,dt}.
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.3. Pour {x\in[0,1]}, exprimer {\int_0^1\min(x,t)\,dt} en fonction 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 :

4. Soit {f\in E} et {F(x)=\int_0^1\min(x,t)f(t)\,dt}.

4.1. Justifier que {F} est de classe {C^1} et calculer {F'(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.2. Calculer {F(0)} et {F'(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 :
4.3. Montrer que {F} est de classe {C^2} et que {F''=-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 :

À {f\in E}, on associe la fonction {T(f)} définie par

{T(f)(x)=\int_0^1\min(x,t)f(t)\,dt.}

5. Montrer que {T} est un endomorphisme de {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 :
6. L’application {T} est-elle injective ?
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. On pose {\mathcal A=\{G\in C^2([0,1],\mathbb R):G(0)=G'(1)=0\}}.

7.1. Montrer que {\operatorname{Im}T\subset\mathcal 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 :
7.2. Pour {G\in\mathcal A}, calculer {T(G'')}.
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. Déterminer {\operatorname{Im}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 :

8. Recherche des éléments propres de {T}

8.1. Démontrer par l’absurde que toute valeur propre {\lambda} de {T} est strictement positive. On pourra utiliser Q4.
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. Déterminer les valeurs propres de {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 :
8.3. Pour chaque valeur propre, donner la dimension et une base du sous-espace propre associé.
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

Soit {n\ge3}. On identifie les colonnes de {\mathcal M_{n,1}(\mathbb R)} à {\mathbb R^n}. La transposée est notée {A^\top} et le produit scalaire canonique est {(X_1\mid X_2)=X_1^\top X_2}, avec {\|X_1\|^2=X_1^\top X_1}.

Soient {X=(x_i)} et {Y=(y_i)} deux vecteurs linéairement indépendants. Pour {\alpha,\beta\in\mathbb R}, on définit {M=(m_{ij})} par

{m_{ij}=\delta_{ij}+\alpha x_ix_j+\beta y_iy_j,}où {\delta_{ij}=1} si {i=j} et {0} sinon. On note {f} l’endomorphisme de matrice {M} dans la base canonique.

1. Justifier que {M} est diagonalisable 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 :

2. On note {U_X=XX^\top}.

2.1. Justifier que {U_X\in\mathcal M_n(\mathbb R)} et écrire son terme général. Est-elle diagonalisable ?
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.2. Déterminer le rang de {U_X} et une base de son image.
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.3. Prouver que {\ker U_X} et {\operatorname{Im}U_X} sont orthogonaux.
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.4. Prouver que ces sous-espaces sont supplémentaires.
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.5. Déterminer un polynôme annulateur de degré {2} de {U_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 :
2.6. Donner la matrice de l’endomorphisme {u_X} associé dans une base adaptée à la décomposition de 2.4.
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. Si {\alpha\ne0} et {\beta=0}, déterminer les valeurs propres de {M} et une matrice diagonale semblable à {M}.
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. On revient au cas général {M=I_n+\alpha U_X+\beta U_Y}, quels que soient {\alpha,\beta}.

4.1. On pose {F=\operatorname{Vect}(X,Y)}.

4.1.1. Déterminer {MX}.
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.1.2. En déduire que {F} est stable par {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 :
4.2. Justifier que {F^\perp} est stable et déterminer l’endomorphisme induit par {f} sur {F^\perp}.
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.3. On pose

{G=\begin{pmatrix}1+\alpha\|X\|^2&\alpha(X\mid Y)\\[8pt]\beta(X\mid Y)&1+\beta\|Y\|^2\end{pmatrix}.}

4.3.1. Justifier que {G} est la matrice de l’endomorphisme induit sur {F} dans la base {(X,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 :
4.3.2. Écrire la matrice de {f} dans une base adaptée à {\mathbb R^n=F\oplus F^\perp}.
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.3.3. Sans calculer ses valeurs propres, justifier que {G} est diagonalisable sur {\mathbb R} et que ses valeurs propres sont réelles.
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.3.4. Déterminer les valeurs propres de {G}.
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.4. Déterminer les valeurs propres de {M}.
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

1. Pour {n\ge2}, on pose, sous réserve d’existence,

{\gamma_n=\int_0^1\frac{1-t^{1/n}}{(1-t)^{1+1/n}}\,dt.}1.1. Soit {\alpha\gt0}.

1.1.1. Rappeler le développement limité à l’ordre {2} en {0} de {(1+h)^\alpha}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1.1.2. En déduire un équivalent de {1-t^\alpha} au voisinage de {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 :
1.2. Pour {\beta\in\mathbb R}, donner une condition nécessaire et suffisante de convergence de {\int_0^1(1-t)^{-\beta}\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1.3. Justifier l’existence de {\gamma_n} pour {n\ge2}.
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émonstration d’un encadrement

2.1. Montrer que {1+t\le e^t} pour tout réel {t}, et que {e^t\le1+t+t^2/2} pour {t\le0}.
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.2. On pose {U_m(u)=\sum\limits_{k=0}^mu^k/k!}. Pour un entier {p\ge1} fixé, on suppose que, pour tout {u\le0},

{U_{2p-1}(u)\le e^u\le U_{2p}(u).}

2.2.1. Montrer que {U_{2p+1}(u)\le e^u} pour {u\le0}.
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.2.2. Montrer également que {e^u\le U_{2p+2}(u)} pour {u\le0}.
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.3. En déduire, pour tout {p\ge1}, un encadrement de {e^u} lorsque {u\le0}.
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 {0\lt t\lt1}, {n\ge2} et {p\ge1}, montrer que

{\begin{array}{l}\displaystyle1-\sum_{k=0}^{2p}\frac1{k!}\left(\frac{\ln t}n\right)^k\\[8pt]\quad\le1-e^{(\ln t)/n}\\[8pt]\quad\le\displaystyle1-\sum_{k=0}^{2p-1}\frac1{k!}\left(\frac{\ln t}n\right)^k.\end{array}}

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. Pour {p\ge1} et {n\ge2}, prouver l’existence de {\int_0^1\ln^p(t)/(1-t)^{1+1/n}\,dt}. On rappelle {\ln t\sim t-1} en {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 :
5. Montrer que, pour {n\ge2},

{\begin{array}{l}\displaystyle\frac1n\int_0^1\frac{-\ln t}{(1-t)^{1+1/n}}\,dt\\[8pt]\displaystyle\quad-\frac1{2n^2}\int_0^1\frac{\ln^2t}{(1-t)^{1+1/n}}\,dt\\[8pt]\quad\le\gamma_n\\[8pt]\quad\le\displaystyle\frac1n\int_0^1\frac{-\ln t}{(1-t)^{1+1/n}}\,dt.\end{array}}

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. Pour {p\ge1}, déterminer la limite de {\int_0^1\ln^p(t)/(1-t)^{1+1/n}\,dt} lorsque {n\to\infty}. Vérifier les hypothèses des théorèmes utilisés.
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. Prouver que {n\gamma_n\to\int_0^1(-\ln t)/(1-t)\,dt}.
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. Prouver l’existence de {\int_0^1(-\ln t)t^p\,dt} pour tout {p\in\mathbb 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 :
9. Montrer que {\int_0^1(-\ln t)t^p\,dt=1/(p+1)^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 :
10. Démontrer que {\int_0^1(-\ln t)/(1-t)\,dt=\sum\limits_{p=0}^{+\infty}1/(p+1)^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 :
11. En admettant {\sum\limits_{p=1}^{+\infty}p^{-2}=\pi^2/6}, prouver

{\gamma_n=\frac{\pi^2}{6n}+o(1/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 :