© Éditions H&K
Mines Maths 2 MP 2012 -- Corrigé
Ce corrigé est proposé par Romain Cosset (Professeur agrégé) ; il a été relu par
Jean Louet (ENS Cachan) et Laetitia Borel-Mathurin (Professeur en CPGE).
Ce problème concerne l'étude de la transformée de Fourier et de la formule
sommatoire de Poisson. Il se compose de 6 parties dont les 3 dernières sont
indépendantes
entre elles.
· Dans la première partie, on introduit et étudie la transformée de Fourier.
Cette partie comporte essentiellement des calculs.
· La deuxième partie utilise les séries de Fourier pour démontrer la formule
sommatoire de Poisson.
· La troisième concerne la formule d'inversion de Fourier permettant de relier
les valeurs des images d'une fonction et la transformée de Fourier de celle-ci.
· La quatrième partie utilise les résultats des deux précédentes. On y démontre
que sous certaines conditions sur la transformée de Fourier, une fonction peut
être entièrement déterminée par ses valeurs en les entiers.
· Le but de la cinquième partie est de fournir un contre-exemple à la formule
sommatoire de Poisson lorsque les hypothèses de croissance à l'infini ne sont
plus
vérifiées. Dans cette partie on utilise beaucoup les théorèmes de domination.
· Finalement, dans la sixième partie, on calcule une approximation numérique
fine d'une série.
Cette épreuve est difficile dans la mesure où les questions calculatoires de la
première partie sont ouvertes et systématiquement utilisées par la suite. Il
est cependant possible d'admettre les résultats des parties B et C pour traiter
la fin du sujet.
Les trois dernières parties peuvent être abordées dans le désordre ; elles
permettent
de se familiariser avec l'utilisation de la transformée de Fourier et de la
formule
sommatoire de Poisson.
© Éditions H&K
Indications
Partie A
3 Montrer que W et W sont stables par les opérations f 7 f et f 7 fy,v .
Justifier
en particulier que si f appartient à L alors il en est de même pour f et fy,v .
4 Ne pas oublier de traiter les cas = 0. Pour calculer b
t(), intégrer par parties.
5 Pour montrer que la fonction x 7 sin(x)/(x) n'est pas intégrable sur R,
décomZ N
sin(x)
dx en une somme d'intégrales sur des intervalles
poser l'intégrale
x
-N
de longueur 1 qu'il faut minorer par le terme général d'une série divergente.
Partie B
8 Bien prendre des lettres différentes pour l'indice n de la somme et le n-ième
coefficient de Fourier.
9 Montrer que la série de terme général fb(n)e 2inx est normalement convergente.
Avec la question 8, exprimer fe comme la somme de sa série de Fourier et évaluer
cette somme en 0.
Partie C
10 La question 3 permet de justifier l'utilisation de la formule de la question
9 à la
fonction fx, . De plus, elle fournit l'expression de fd
x, .
12 Interpréter la formuler d'inversion de Fourier avec la transformée de
Fourier de fb.
Appliquer alors la transformation de Fourier à l'égalité fb = f .
Partie D
13 Utiliser le résultat de la question 11 pour montrer qu'une fonction de W est
uniquement déterminée par sa transformée de Fourier puis le résultat de la
question 10 pour déterminer cette dernière.
14 Considérer une fonction g de W dont la transformée de Fourier est celle
donnée
par l'énoncé. Utiliser pour cela le résultat de la question 11.
Partie E
15 Pour x Z, montrer que f (x) = 0. Pour x
/ Z, se placer sur des intervalles du
type + 1/2K ; + 1 - 1/2K où Z et K N .
16 Remarquer que uk et uk,N sont positives. Les calculs des questions 3 et 4
permettent de déterminer u
ck (0). Pour la seconde partie de la question, utiliser le
résultat de la question 6.
18 Commencer par majorer sup |c
uk | par un terme dépendant de n et k. Choisir
[ n ;n+1 ]
les Nk de façon à obtenir le terme général d'une série convergente.
19 Montrer que pour entier, u[
ck (). Déterminer la série de terme général
k,Nk () = u
uk à l'aide d'une sommation télescopique ce qui permet d'obtenir la valeur de
fb()
à l'aide des questions 3 et 4. Pour conclure, utiliser la question 15.
Partie F
20 Utiliser la formule sommatoire de Poisson (prouvée à la question 9) avec la
fonction x 7 g (x/100) pour accélérer la convergence de la somme. À l'aide de
l'in2
égalité e -x 6 e -x , majorer le reste de la somme obtenue. Montrer que celui-ci
4
est inférieur à 10-10 dès le premier terme de la somme.
© Éditions H&K
A. Préliminaires
1 Soit un nombre réel quelconque. L'application qui à un nombre réel x associe
f (x)e -2ix est continue par morceaux sur R (car f l'est). De plus on a
l'égalité
f (x)e -2ix = |f (x)|
Comme la fonction f appartient à L , elle est intégrable donc f (x)e -2ix l'est
aussi.
Ceci justifie l'existence de fb() pour tout réel . Pour montrer que fb est
continue,
on commence par remarquer que
· à x fixé dans R, l'application 7 f (x)e -2ix est continue sur R.
· à fixé dans R, l'application x 7 f (x)e -2ix est continue par morceaux sur R
(car f l'est).
· pour tous réels x et , f (x)e -2ix = |f (x)|, c'est-à-dire qu'on a une
majoration de x 7 f (x)e -2ix par une fonction intégrable sur R et indépendante
de .
D'après le théorème de continuité sous l'intégrale avec domination, on obtient
que
La fonction fb est bien définie et continue sur R.
2 Montrons l'inclusion L L . Soit f une fonction de L . La fonction f étant
continue, elle est en particulier continue par morceaux. Pour montrer que la
fonction
continue f est intégrable sur R il suffit de le vérifier aux bornes. Comme f
appartient
à L , il existe des réels > 1 et M tels que pour tout réel x on a |x| |f (x)|
6 M donc
|f (x)| 6 M/ |x| pour x non nul. Comme > 1, la fonction x 7 |x| est intégrable
en + et en -. Il en est donc de même pour f . Ceci montre bien que L L .
Pour définir W , on considère la transformée de Fourier d'une fonction de L ,
ce qui a un sens puisqu'on vient de montrer que cet espace est inclus dans L .
Soit f
une fonction de W , on a f L L et fb L L . Ainsi la fonction f
appartient à W et on a montré que
L'espace W est inclus dans l'espace W.
Montrons que la transformation de Fourier est une application linéaire sur L .
Soient f et g deux fonctions de L et soit un nombre réel. Comme L est un espace
vectoriel, f + g appartient à L donc la transformée de Fourier de f + g existe.
Pour tout réel on a
Z +
f\
+ g() =
(f (x) + g(x)) e -2ix dx
par définition
-
Z +
Z +
g(x)e -2ix dx
=
f (x)e -2ix dx +
-
-
f\
+ g() = fb() + b
g ()
On a donc bien vérifié que la transformation de Fourier est linéaire.
Démontrons que l'ensemble W est un espace vectoriel. Il est non vide car la
fonction nulle appartient à cet ensemble. Soient maintenant f et g deux
fonctions
de W et soit un nombre réel. La fonction f + g appartient à L et on vient
de démontrer que la transformée de Fourier de f + g est égale à fb + b
g . Or fb et gb
b
\
appartiennent à l'espace vectoriel L donc il en est de même de f +b
g = f + g. Ainsi,
L'espace W est un espace vectoriel.
© Éditions H&K
Procédons de même pour W . Une nouvelle fois, la fonction nulle est un élément
de W . Soient f et g deux fonctions de W et soit un nombre réel. Comme L
est un espace vectoriel, les fonctions f + g et fb + b
g = f\
+ g appartiennent aussi
à L . Ainsi f + g est un élément de W . En conclusion,
L'espace W est également un espace vectoriel.
On a utilisé sans le démontrer l'affirmation suivante de l'énoncé :
« L et L sont des espaces vectoriels. » Pour L , cela provient du fait que
l'ensemble des fonctions continues par morceaux et l'ensemble des fonctions
intégrables sont des espaces vectoriels. Montrons maintenant que L est bien
un espace vectoriel. Soient f et g deux fonctions de L et soit un nombre
réel. L'ensemble des fonctions continues est un espace vectoriel, f + g est
continue. Comme f et g appartiennent à L , il existe des constantes f > 1
et g > 1 telles que les fonctions
x 7 |x|
f
et
f (x)
x 7 |x|
g
g(x)
soient bornées. Notons Mf et Mg les bornes correspondantes. La fonction
x 7 |x| (f + g) est continue sur le compact [ -1 ; 1 ] donc bornée quelque
soit réel. Prenons = min(f , g ), on a pour |x| > 1,
|x| |(f + g) (x)| = |x| f (x) + |x| g(x)
6 |x| f f (x) + |x|
|x| |(f + g) (x)| 6 Mf + Mg
g
g(x)
Ainsi pour = min(f , g ) > 1, la fonction x 7 |x| (f + g) (x) est bornée.
On vient de vérifier que L était bien un espace vectoriel.
Une autre méthode pour montrer que W et W sont des espaces vectoriels
consiste à remarquer que la transformation de Fourier TF est une application
linéaire et que par définition,
W = L T-1
F (L )
W = L T-1
F (L )
3 Soient f L et > 0, la fonction f appartient à L . Calculons sa transformée
de Fourier. Par définition, pour tout réel,
Z +
Z +
-2ix
fc
()
=
f
(x)e
dx
=
f (x)e -2ix dx
-
-
Effectuons le changement de variable u = x (l'application x 7 x étant C 1 et
bijective de R dans R) :
Z +
du
1 b
-2iu
fc
()
=
f
(u)e
=
f
-
En résumé,
R
1b
fc
()
=
f
De même, la fonction fy,v appartient à L et
Z +
Z
-2ix
d
fy,v () =
fy,v (x)e
dx =
-
+
f (x + y)e -2ivx e -2ix dx
-