[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...
[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...
[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
[<strong>http</strong>://<strong>mp</strong>.<strong>cpgedupuydelome</strong>.<strong>fr</strong>] <strong>édité</strong> <strong>le</strong> 26 juil<strong>le</strong>t <strong>2013</strong> Corrections 65<br />
II)a) Soit x ∈ ker v et y = v(a) ∈ Imv. On au(x) = x et y = u(a) − a donc<br />
(x | y) = (u(x) | u(a)) − (x | a) = 0 car u conserve <strong>le</strong> produit scalaire. Ainsi<br />
ker v ⊂ (Imv) ⊥ puis l’égalité par un argument de dimension.<br />
b) Pour x ∈ E, on peut écrire x = a + b avec a ∈ ker v et b ∈ (ker v) ⊥ = Imv.<br />
On a u(a) = a et donc ∀k ∈ N, u k (a) = a. D’autre part, il existe c tel que<br />
b = v(c) = u(c) − c de sorte que u k (b) = u k+1 (c) − u k (c). Par té<strong>le</strong>scopage,<br />
Puisque u conserve la norme :<br />
<br />
<br />
<br />
1<br />
n<br />
un <br />
<br />
(c) <br />
<br />
et donc<br />
un(x) = a + 1<br />
n un (c) − 1<br />
n c<br />
1<br />
= c → 0<br />
n<br />
un(x) → a<br />
Exercice 96 : [énoncé]<br />
I) a) Si |z| < Ra alors anzn est absolument convergente or |anzn | ∼ |bnzn <br />
| donc<br />
bnzn est absolument convergente puis |z| Rb.<br />
Ainsi Ra Rb<br />
puis de même Rb Ra et enfin Ra = Rb.<br />
i b) Puisque <br />
n n 2<br />
(n2 +1)2n <br />
<br />
∼ 1 on obtient R = 1.<br />
II) a) Soit (e1, . . . , en) une base orthonormée de vecteurs propres de f.<br />
Pour<br />
x = x1e1 + · · · + xnen<br />
on a<br />
f(x) = λ1x1e1 + · · · + λnxnen<br />
avec λi > 0 va<strong>le</strong>ur propre associée au vecteur propre ei.<br />
Ainsi, pour x = 0,<br />
〈f(x) | x〉 = λ1x 2 1 + · · · + λnx 2 n > 0<br />
b) Par opérations, la fonction g est de classe C 1 donc admet des dérivées partiel<strong>le</strong>s<br />
relatives à n’i<strong>mp</strong>orte quel<strong>le</strong> base.<br />
Dans la base (e1, . . . , en), ses dérivées partiel<strong>le</strong>s sont<br />
Dig(x) = λixi − ui<br />
en notant u1, . . . un <strong>le</strong>s co<strong>mp</strong>osantes de u.<br />
c) Il est alors immédiat que g admet un unique point critique qui est<br />
z = u1<br />
e1 + · · · +<br />
λ1<br />
un<br />
en = f<br />
λn<br />
−1 (u)<br />
Tout ceci serait plus si<strong>mp</strong><strong>le</strong>, en parlant de différentiel<strong>le</strong> plutôt que de dérivées<br />
partiel<strong>le</strong>s.<br />
d) Pour h ∈ E,<br />
donc<br />
g(f −1 (u) + h) = 1<br />
2 (u + f(h) | f −1 (u) + h) − (u | f −1 (u) + h)<br />
g(f −1 (u) + h) = g(f −1 (u)) + 1<br />
2 (f(h) | h) g(f −1 (u))<br />
car (f(h) | f −1 (u)) = (h | u) par adjonction.<br />
Exercice 97 : [énoncé]<br />
I) a) A = (ai,j), B = (bi,j), AB = (ci,j) et BA = (di,j) avec<br />
donc<br />
tr(AB) =<br />
ci,j =<br />
n<br />
n<br />
k=1<br />
i=1 k=1<br />
ai,kbk,j et di,j =<br />
n<br />
k=1<br />
n<br />
ai,kbk,i et tr(BA) =<br />
bi,kak,j<br />
n<br />
n<br />
i=1 k=1<br />
En réorganisant <strong>le</strong>s deux sommes, on obtient tr(AB) = tr(BA).<br />
b) Si B = P −1 AP alors<br />
trB = tr P −1 (AP ) = tr (AP )P −1 = trA<br />
bi,kak,i<br />
Ainsi si <strong>le</strong>s matrices A et B sont semblab<strong>le</strong>s, alors el<strong>le</strong>s ont même trace.<br />
Les matrices d’un même endomorphisme étant semblab<strong>le</strong>s entres el<strong>le</strong>s, on peut<br />
conclure.<br />
c) A k et B k représentent <strong>le</strong> même endomorphisme donc ces matrices sont<br />
semblab<strong>le</strong>s et ont même trace.<br />
ln t<br />
II) Posons f(x, t) = t+x .<br />
f est définie et continue sur ]0, +∞[ × ]0, 1].<br />
Pour x > 0, f(x, t) ∼ 1<br />
t→0 + x ln t donc √ tf(x, t) −−−→ 0 puis t ↦→ f(x, t) est<br />
t→0 +<br />
intégrab<strong>le</strong> sur ]0, 1].<br />
Ainsi F est définie sur ]0, +∞[.<br />
f admet une dérivée partiel<strong>le</strong> ∂f<br />
∂f<br />
ln t<br />
∂x continue avec ∂x (x, t) = − (t+x) 2 .<br />
Pour a > 0 et x ∈ [a, +∞[,<br />
<br />
<br />
<br />
∂f <br />
(x, t) <br />
|ln t|<br />
∂x = ϕ(t)<br />
a2 Diffusion autorisée à titre entièrement gratuit uniquement - dD