16.08.2013 Views

[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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!