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