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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

[<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 85<br />

Exercice 140 : [énoncé]<br />

I) a) Soit H une primitive de la fonction h, cel<strong>le</strong>-ci existe car h est continue.<br />

Puisque la fonction h est positive, la primitive H est croissante.<br />

Si l’intégra<strong>le</strong> de h sur [a, b] est nul<strong>le</strong> alors H(a) = H(b) et la croissance de H<br />

entraîne sa constance. On en déduit que la fonction dérivée h est nul<strong>le</strong>.<br />

b) On vérifier que l’on a bien défini une forme bilinéaire symétrique définie<br />

positive.<br />

c) On a<br />

<br />

1<br />

<br />

√ 1 1<br />

−x<br />

xe dx x dx e−2x √<br />

1 − e−2 dx =<br />

2<br />

0<br />

0<br />

II) a) La fonction f est continue et de classe C 1 par morceaux sur R car el<strong>le</strong> l’est<br />

sur [−π, π]. On en déduit que la série de Fourier de f converge uniformément vers<br />

f.<br />

b) Après calculs, pour n ∈ N,<br />

n−1 2α sin απ<br />

an = (−1)<br />

π(n2 − α2 ) et bn = 0<br />

c) Pour tout t = π, la convergence de la série de Fourier de f donne<br />

cos(απ) =<br />

et en posant x = απ on obtient<br />

cos x =<br />

ce qui fournit la relation demandée.<br />

0<br />

sin απ<br />

απ +<br />

+∞ 2α sin(απ)<br />

π(α<br />

n=1<br />

2 − n2 )<br />

sin x<br />

x +<br />

+∞<br />

n=1<br />

2x sin x<br />

x 2 − (nπ) 2<br />

Exercice 141 : [énoncé]<br />

I) a) La fonction est intégrab<strong>le</strong> car on a<br />

√ xf(x) −−−→<br />

x→0 0 et x3/2 f(x) −−−−−→<br />

x→+∞ 0<br />

b) La fonction n’est pas intégrab<strong>le</strong> car<br />

2e<br />

f(x) ∼<br />

x→2 +<br />

−2<br />

x − 2<br />

II) a) Soit (e1, . . . , en) une base orthonormée de vecteurs propres de f.<br />

Pour<br />

on a<br />

x = x1e1 + · · · + xnen<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 142 : [énoncé]<br />

I) a) On vérifie aisément que l’on a bien défini une forme bilinéaire symétrique sur<br />

E.<br />

Pour f ∈ E, on a évidemment 〈f | f〉 0 par intégration bien ordonnée d’une<br />

fonction positive.<br />

Si 〈f | f〉 = 0 alors, puisque la fonction f 2 est continue et positive sur [−π, π], on<br />

peut affirmer que f 2 , et donc f, est nul<strong>le</strong> sur [−π, π]. Enfin, puisque f est<br />

2π-périodique, on peut conclure que f est la fonction nul<strong>le</strong>.<br />

b) On a<br />

〈f4, f5〉 = 1<br />

π<br />

1<br />

sin(4x) dx = 0<br />

π −π 2<br />

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!