Ecricome Maths approfondies ECS 2018Sujet et corrigé

Epreuve de maths approfondies - ECS 2018

Pas encore noté

Explorer les annales

BanqueEcricome Année2018 FilièreECS MatièreMathématiques

Annales Ecricome ECS Mathématiques Ecricome ECS 2018 ECS Mathématiques Mathématiques 2018

Téléchargements

Télécharger le sujet (PDF)

Corrigé

Lire en ligne LaTeX Word

Rapport du jury : non disponible

Source du document : annales-prepa.fr

Description

Annale de maths approfondies Ecricome pour la filiere ECS, session 2018.

Ces sujets peuvent vous intéresser

Lecture du sujet en ligne

L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.

Sujet en PDF

Marepared

Option Scientifique

Lundi 16 avril 2018 de 8h00 à 12h00

Durée : 4 heures

Candidats bénéficiant de la mesure «Tiers-temps » :

8h00 - 13h20

L'énoncé comporte 6 pages.

CONSIGNES

Aucun document n'est permis, aucun instrument de calcul n'est autorisé.
Conformément au règlement du concours, l'usage d'appareils communiquants ou connectés est formellement interdit durant l'épreuve.
Les candidats sont invités à soigner la présentation de leur copie, à mettre en évidence les principaux résultats, à respecter les notations de l'énoncé et à donner des démonstrations complètes - mais brèves - de leurs affirmations.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.
Ce document est la propriété d'ECRICOME, le candidat est autorisé à le conserver à l'issue de l'épreuve.

EXERCICE 1

On note

E

l'espace vectoriel

ℝ^n

, muni du produit scalaire canonique.
Pour toutes matrices colonnes

X

Y

M_(n, 1)(ℝ)

, on note

⟨X, Y⟩ = ^t XY

.
Pour toute matrice colonne

X

M_(n, 1)(ℝ)

, on note

‖X‖ = \sqrt(^t XX)

.
On considère

u

v

deux endomorphismes de

E

, et on note

A

B

leurs matrices respectives dans la base canonique de

E

Partie 1

Soit

a \in ℝ

. On suppose dans cette partie uniquement que

n = 2

et que les matrices de

u

v

dans la base canonique sont respectivement :

A = 1/(1 + a^2)(1, a; a, a^2) et B = 1/2(1, 1; 1, 1).

Vérifier que $u$ et $v$ sont des projecteurs.
2.(a) Vérifier que les endomorphismes $u, v$ et $u \circ v$ sont tous de rang 1 .
(b) Vérifier que le vecteur $x_0 = (1, a)$ est un vecteur propre de $u \circ v$ .
(c) Déterminer le spectre de $u \circ v$ .
3.(a) Montrer que les valeurs propres de $u \circ v$ appartiennent à l'intervalle $[0, 1]$ .
(b) Pour quelle(s) valeur(s) de $a, u \circ v$ est-il un projecteur?

Partie 2

On revient dans cette partie au cas général, où

n

désigne un entier tel que

n ⩾ 2

.
On suppose que

u

v

sont des projecteurs symétriques de

E

et on pose :

C = BAB

.
4. Montrer que pour tout

X \in M_(n, 1)(ℝ)

‖BX‖^2 = ⟨BX, X⟩.

En déduire que pour tout

X \in M_(n, 1)(ℝ)

‖BX‖ ⩽ ‖X‖.

Montrer que $C$ est diagonalisable dans $M_n(ℝ)$ .
Soit $λ$ une valeur propre de $C$ et $X$ un vecteur propre associé.
(a) Exprimer $‖ABX‖^2$ en fonction de $λ$ et $‖X‖$ .
(b) En déduire que les valeurs propres de $C$ sont réelles positives.
Soit $μ$ une (éventuelle) valeur propre de $AB$ non nulle, et $X$ un vecteur propre associé.
(a) Montrer que $BX$ est un vecteur propre de $C$ . En déduire que $μ$ est strictement positive.
(b) Montrer que : $ABX = μAX$ . En déduire que : $AX = X$ .
(c) Montrer que : $⟨X, BX⟩ = μ‖X‖^2$ .
Déduire des questions précédentes que le spectre de $AB$ est inclus dans $[0, 1]$ .

EXERCICE 2

On considère la suite

(u_n)_(n ⩾ 0)

définie par :

u_0 = 0, u_1 = 1 et \foralln \in ℕ, u_(n + 2) = u_(n + 1) + u_n,

et on note

f

la fonction définie sur

ℝ^2

par :

\forall(x, y) \in ℝ^2, f(x, y) = 2x^3 - 6xy + 3y^2 - 6y.

On pose enfin :

φ = (1 + \sqrt5)/2

Vérifier que $φ > 1$ et que les réels $φ$ et $(- 1)/φ$ sont les solutions de l'équation : $x^2 - x - 1 = 0$ .
2.(a) Montrer que $f$ est de classe $C^2$ sur $ℝ^2$ .
(b) Montrer que les seuls points critiques de $f$ sont $(φ, φ + 1)$ et $(- 1/φ, 1/(φ + 1))$ .
(c) Étudier la nature des points critiques de $f$ .
Montrer que, pour tout entier $n \in ℕ : u_n u_(n + 2) - u_(n + 1)^2 = (- 1)^(n + 1)$ .
4.(a) Recopier et compléter la fonction Scilab suivante afin que, prenant en argument un entier $n ⩾ 2$ , elle calcule et renvoie la valeur du terme $u_n$ de la suite $(u_n)_(n ⩾ 0)$ .

function u=suite(n)
    v=0
    w=1
    for k=2:n
        ................
        .................
        .................
    end
    u=..................
endfunction

(b) Justifier qu'il existe des réels

λ

μ

, que l'on déterminera, tels que :

\foralln \in ℕ, u_n = λφ^n + μ((- 1)/φ)^n.

((u_(n + 1))/(u_n))_(n ⩾ 1)

converge et déterminer sa limite.
5. On considère pour tout

n \in ℕ^* : S_n = \sum_(k = 1)^n((- 1)^k)/(u_k u_(k + 1))

.
(a) Montrer, sans chercher à calculer de somme, que la série de terme général

1/(u_n u_(n + 1))

converge.
(b) En déduire que la suite

(S_n)_(n ⩾ 1)

converge.
(c) En utilisant le résultat de la question 3, montrer que pour tout

n \in ℕ^*

S_(n + 1) - S_n = (u_n)/(u_(n + 1)) - (u_(n + 1))/(u_(n + 2)).

(d) Montrer que :

φ = 1 - \sum_(k = 1)^(+ \infty)((- 1)^k)/(u_k u_(k + 1))

PROBLÈME

Toutes les variables aléatoires dans ce problème sont supposées définies sur un même espace probabilisé noté (

Ω, A, P

Partie 1 - Variables vérifiant une relation de Panjer

On dit qu'une variable aléatoire

N

, à valeurs dans

ℕ

vérifie une relation de Panjer s'il existe un réel

a < 1

et un réel

b

tels que :

P(N = 0) \neq 1 et \forallk \in ℕ^*, P(N = k) = (a + b/k)P(N = k - 1).

On suppose dans cette question que $a = 0$ , et que $b$ est un réel strictement positif.
(a) Montrer que :

\forallk \in ℕ, P(N = k) = (b^k)/(k!)P(N = 0).

(b) Calculer

\sum_(k = 0)^(+ \infty)P(N = k)

. En déduire que

N

suit une loi de Poisson de paramètre

b

Préciser son espérance et sa variance.
2. On suppose dans cette question que

a < 0

et que

b = - 2a

.
(a) Montrer que :

\forallk ⩾ 2, P(N = k) = 0.

(b) En déduire que

N

suit une loi de Bernoulli dont on précisera le paramètre en fonction de

a

.
3. On suppose dans cette question que

Z

suit une loi binomiale de paramètres

n \in ℕ^*

p \in ]0, 1[

.
(a) Montrer que :

\forallk \in [ [1, n] ], P(Z = k) = p/(1 - p) \times (n - k + 1)/k \times P(Z = k - 1).

(b) En déduire que

Z

vérifie une relation de Panjer en précisant les valeurs de

a

b

correspondantes en fonction de

n

p

.
4. On revient dans cette question au cas général :

a

est un réel vérifiant

a < 1, b

est un réel, et on suppose que

N

est une variable aléatoire, à valeurs dans

ℕ

, vérifiant la relation de Panjer.
(a) Calculer

P(N = 1)

. En déduire que

a + b ⩾ 0

.
(b) Montrer que pour tout entier

m ⩾ 1

\sum_(k = 1)^m kP(N = k) = a\sum_(k = 0)^(m - 1)(k + 1)P(N = k) + b\sum_(k = 0)^(m - 1)P(N = k).

((1 - a)\sum_(k = 1)^m kP(N = k))_(m ⩾ 1)

est majorée, puis que

N

admet une espérance.

Préciser alors la valeur de

E(N)

en fonction de

a

b

.
(d) Montrer que

N

admet un moment d'ordre 2 et que :

E(N^2) = ((a + b)(a + b + 1))/((1 - a)^2)

(e) En déduire que

N

admet une variance et préciser la valeur de

V(N)

en fonction de

a

b

.
(f) Montrer que

E(N) = V(N)

si et seulement si

N

suit une loi de Poisson.

Partie 2 - Fonction génératrice

On notera dans la suite :

\forallk \in ℕ, p_k = P(N = k)

où

N

est une variable aléatoire à valeurs dans

ℕ

.
5. Montrer que pour tout réel

x

de l'intervalle

[0, 1]

, la série

\sum_(k ⩾ 0)p_k x^k

est convergente.

On appelle alors fonction génératrice de

N

la fonction

G

définie sur

[0, 1]

par :

\forallx \in [0, 1], G(x) = \sum_(k = 0)^(+ \infty)p_k x^k = \sum_(k = 0)^(+ \infty)P(N = k)x^k

et on suppose dans cette partie que

N

vérifie une relation de Panjer avec

0 < a < 1

et que

b/a > 0

. On pose :

α = (- (a + b))/a

On note enfin

f

la fonction définie par :

\forallx \in [0, 1], f(x) = p_0(1 - ax)^α.

Montrer que pour tout $k \in ℕ$ :

\forallx \in [0, 1], f^((k))(x) = k! \times p_k(1 - ax)^(α - k)

Soit $x \in [0, 1]$ .
(a) Pour tout entier $n \in ℕ$ , montrer que :

f(x) = \sum_(k = 0)^n p_k x^k + (n + 1)p_(n + 1)\int_0^x(1 - at)^(α - n - 1)(x - t)^n dt

(b) Vérifier que pour tout

t \in [0, x], (x - t)/(1 - at) ⩽ 1

puis montrer que pour tout

n \in ℕ

0 ⩽ \int_0^x(1 - at)^(α - n - 1)(x - t)^n dt ⩽ \int_0^x(1 - at)^(α - 1) dt

G(x) = p_0(1 - ax)^α.

En calculant

G(1)

, exprimer

p_0

en fonction de

a, b

α

, et vérifier que

G^'(1) = E(N)

Partie 3 : formule de récursivité

On considère une suite

(X_n)_(n \in ℕ^*)

de variables aléatoires de même loi, à valeurs dans

ℕ

, mutuellement indépendantes et indépendantes de la variable

N

étudiée dans la question 4 de la partie 1 .
On considère alors la variable aléatoire

S

définie par :

S = {0, si N = 0; ∑_(k = 1)^N X_k, si N ⩾ 1

autrement dit :

\forallω \in Ω, S(ω) = 0 si N(ω) = 0 et S(ω) = \sum_(k = 1)^(N(ω))X_k(ω) sinon.

Calculer $P(S = 0)$ lorsque $a \in ]0, 1[$ à l'aide de la partie 2 .
(a) Calculer $P(S = 0)$ lorsque $N$ suit une loi de Poisson de paramètre $λ$ .
(b) On considère la fonction Scilab suivante, où $n$ est un paramètre dont dépend la loi commune $desX_k$ :

function y=simulX(n)
    y=0 ;
    for i=1:n
        if rand()<1/2
            y=y+1;
        end
    end
endfunction

Quelle loi de probabilité est simulée par la fonction simulX? Préciser ses paramètres.
(c) On rappelle qu'en Scilab l'instruction grand(1,1,"poi", lambda) renvoie une réalisation d'une loi de Poisson de paramètre lambda.
On suppose que

N

suit une loi de Poisson de paramètre

λ

, et que la loi des variables

X_k

est celle simulée à la question précédente par la fonction simulX.
Recopier et compléter la fonction Scilab suivante, afin qu'elle renvoie une simulation de la variable aléatoire

S

function s=simulS(lambda,n)
    N = grand(1,1,"poi", lambda)
    ........................
    .........................
    .........................
    .........................
    ........................
endfunction

Dans la suite du problème, on revient au cas général où $N$ vérifie la relation de Panjer. On note toujours :

\forallk ⩾ 0, p_k = P(N = k)

et on notera également :

\forallk ⩾ 0, q_k = P(X_1 = k)

Enfin, on considère pour tout entier

n ⩾ 1

, la variable aléatoire

S_n = \sum_(k = 1)^n X_k

, en convenant qu'on a

S_0 = 0

.
(a) Soit

n \in ℕ

k \in ℕ^*

. Montrer que :

\foralli \in [ [1, n + 1] ], E(X_i|S_(n + 1) = k) = k/(n + 1).

Indication : on pourra considérer la somme

\sum_(i = 1)^(n + 1)E(X_i|S_(n + 1) = k)

.
(b) Justifier que :

\forallj \in [ [0, k] ], P_([S_(n + 1) = k])(X_(n + 1) = j)P(S_(n + 1) = k) = q_j P(S_n = k - j).

\sum_(j = 0)^k(a + (bj)/k)q_j P(S_n = k - j) = (a + b/(n + 1))P(S_(n + 1) = k).

Soit $k \in ℕ^*$ .
(a) Montrer que :

\forallj \in [ [0, k] ], P(S = k - j) = \sum_(n = 0)^(+ \infty)p_n P(S_n = k - j)

(b) Montrer que :

\sum_(j = 0)^k(a + (bj)/k)q_j P(S = k - j) = \sum_(n = 0)^(+ \infty)p_(n + 1)P(S_(n + 1) = k).

P(S = k) = \sum_(n = 0)^(+ \infty)p_(n + 1)P(S_(n + 1) = k).

(d) En déduire finalement que :

P(S = k) = 1/(1 - aq_0)\sum_(j = 1)^k(a + (bj)/k)q_j P(S = k - j)

ECRICOME

Pas de description pour le moment

Commentaires• Ecricome Maths approfondies ECS 2018

Connectez-vous pour participer aux discussions

Partagez vos avis, posez des questions et échangez avec la communauté

Chargement des commentaires...