Bibm@th.

net
Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

Ressources mathématiques > Exercices d'analyse >

Accéder à mon compte > Accéder à ma feuille d'exercices >

Exercices corrigés - Transformée de Fourier

Fonctions intégrables
Exercice 1 - Fonction triangle [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Calculer la transformée de Fourier de la fonction triangle définie par :

Indication
Corrigé
Sans détailler les calculs, et en faisant notamment une intégration par parties, on a :

De même, on trouve

On en déduit :

Ces calculs ne sont valables que si . Si , on doit calculer ou encore

calculer l'aire du triangle. Elle vaut 1 (ce qui est cohérent avec l'expression précédente en
faisant tendre vers ).

Exercice 2 - Transformée de Fourier et produit de convolution [Signaler une erreur]

[Ajouter à ma feuille d'exos]

Enoncé

2 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. En utilisant la transformée de Fourier, montrer que l'algèbre ne possède pas

d'unité, c'est-à-dire qu'il n'existe pas de fonctions telle que pour tout
.
2. Resoudre dans l'équation .

Indication
Corrigé

1. Puisque et sont dans , et que la transformée de Fourier transforme le produit

de convolution en produit de fonctions, on a

Puisque ceci est vrai pour toute fonction de et que pour tout , il existe une
fonction de telle que , on a pour tout . Maintenant, on
sait que la transformée de Fourier d'une fonction de tend vers 0 à l'infini. Il n'y a
donc aucune fonction telle que pour tout .
2. On compose une fois encore par la transformée de Fourier. On a :

On en déduit que pour tout , ou 1, mais comme est continue, on a

forcément pour tout ou pour tout . Comme auparavant, le cas
identiquement égal à 1 est impossible, et donc pour tout . Par injectivité de la
transformée de Fourier, on en déduit que presque partout.

Exercice 3 - Calcul d'une transformée de Fourier par résolution d'une

équation différentielle [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
En formant une équation différentielle vérifiée par , calculer la valeur de

On rappelle que .

Indication
Corrigé
On remarque d'abord que est bien définie pour tout . En effet, on a

Cette fonction est intégrable sur , car en 0 elle est équivalente à qui est intégrable
(intégrale de Riemann), et, au voisinage de , elle vérifie

Prouvons également que est de classe . Pour cela, on remarque que la fonction

3 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

admet en tout point de une dérivée partielle par rapport à égale à

De plus, on a, pour tout ,

et la fonction apparaissant à droite dans l'inégalité précédente est intégrable sur (elle
est continue en 0, et au voisinage de , elle est négligeable devant ). On en déduit par le
théorème de dérivation des intégrales à paramètres que est dérivable, avec

On exprime le membre de droite de cette égalité en fonction de grâce à une intégration par
parties, en posant et . Puisque et
, on en déduit

Il ne reste plus qu'à résoudre cette équation différentielle. On l'écrit sous la forme

ce qui donne

On en déduit qu'il existe une constante telle que

On détermine la valeur de la constante en calculant . On a par ailleurs

en effectuant le changement de variables . Utilisant le rappel, on trouve que .

Exercice 4 - Semi-groupe de Poisson [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Pour , on pose .

4 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. Calculer la transformée de Fourier de .

2. A l'aide de la formule de réciprocité, en déduire la transformée de Fourier de .
3. Calculer ; calculer ainsi la transformée de Fourier de .
4. Déterminer la transformée de Fourier de .

Indication
Corrigé

1. On a :

2. Pour , Cette fonction étant dans , sa transformée de Fourier

est . La transformée de Fourier de est donc .

3. On commence par calculer le produit de convolution. On a :

Si , on a :

La fonction étant paire, l'est aussi, et on a donc .

Maintenant, la transformée de Fourier de cette fonction, pour est ,
puisque la transformée de Fourier transforme le produit de convolution de deux fonctions
en produit usuel. On applique une fois encore la formule d'inversion de la transformée de
Fourier (ce qui est légitime puisque toutes les fonctions sont intégrables). La transformée
de Fourier de est la fonction .

4. Remarquons que la dérivée de la fonction est . En utilisant les

formules habituelles sur l'influence de la dérivation sur le produit de convolution, on en
déduit :

Exercice 5 - Semi-groupe de la chaleur [Signaler une erreur] [Ajouter à ma feuille d'exos]

5 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

Enoncé

Pour , on pose . Calculer la transformée de Fourier de . En déduire

que (la famille s'appelle semi-groupe de la chaleur). On rappelle que la

transformée de Fourier de la fonction définie par est .

Indication
Corrigé

On sait que si , alors on a . Il suffit maintenant d'observer

que . Il vient :

D'autre part, on a :

Par injectivité de la transformée de Fourier, on en déduit que .

Exercice 6 - Régularité [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit telle que . Montrer que coïncide presque partout avec une
fonction de classe sur que l'on déterminera.

Indication
Corrigé
Prouvons d'abord que . Puisque est continue, est bornée sur ce qui
justifie la convergence de . D'autre part, si , on a , ce qui
prouve la convergence de ainsi que celle de . Maintenant, d'après la
formule d'inversion de la transformée de Fourier, est égale presque partout à la fonction

Mais il est clair que cette fonction est de classe (ou bien parce qu'il s'agit de la
transformée de Fourier conjuguée d'une fonction tel que est intégrable, ou bien
en dérivant directement sous le signe intégrale).

Exercice 7 - Une équation intégrale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Le but de cet exercice est de rechercher des fonctions intégrables telles que, pour tout ,

où est un réel strictement positif.

1. On pose, pour , . Calculer la transformée de Fourier de .

2. Ecrire cette équation sous forme d'une équation faisant intervenir un produit de
convolution.
3. On suppose que l'équation admet une solution. Déterminer . En déduire que
.

6 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

4. Réciproquement, on suppose . Démontrer que l'équation admet une unique

solution et la déterminer.

Indication
Corrigé

1. En coupant l'intégrale en deux (intégrale entre et et intégrale entre et ),

on calcule facilement cette transformée de Fourier et on trouve que

2. Il est clair que cette équation peut aussi s'écrire .

3. On suppose qu'il existe une solution intégrable. En appliquant la transformée de
Fourier, on vérifie que vérifie :

où on a utilisé le résultat de la première question. Dans le cas où , ceci définit une

fonction qui n'est pas continue sur puisqu'elle n'est même pas définie en un point.
L'équation n'admet donc pas de solution.
4. Supposons . Si l'équation admet une solution , la question précédente
nous donne une forme unique pour . Par injectivité de la transformée de Fourier,
l'équation admet au plus une solution. Réciproquement, posons

(formule qui vient en inversant la transformée de Fourier). Alors on vérifie que

et donc, par injectivité de la transformée de Fourier toujours, que est solution de

l'équation.

Exercice 8 - Fonctions impaires [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit . On dira dans cet exercice que est impaire si pour presque tout

1. Démontrer que

2. En déduire que est impaire si et seulement si, pour tout , .

Indication
Corrigé

1. On coupe l'intégrale en deux, on se ramène à , puis on fait un changement de

variables :

7 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

2. D'abord, si est impaire, alors pour presque tout , on a

et donc la fonction à l'intérieur de l'intégrale est presque partout nulle et on a

. Réciproquement, si cette intégrale est nulle, posons

Alors on sait d'après la première question que . Par injectivité de la transformée de

Fourier, . Donc, pour presque tout , on a . Ceci entraîne
que est impaire.

Exercice 9 - Non-densité des translatées [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit telle qu'il existe telle que . Montrer que l'espace vectoriel
engendré par les , n'est pas dense dans , où .

Indication
Corrigé
On note l'espace vectoriel engendré par les translatées , et son image dans
par la transformée de Fourier. Soit , alors, l'effet de la transformée de Fourier sur une
translation entraine l'existence d'un entier , de complexes et de réels tels
que . En particulier, s'annule en , et ainsi
n'est pas dense dans . Si était dense dans , alors serait dense dans
, et donc (par transitivité) dense dans .

Exercice 10 - Équation de la chaleur [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On considère une tige homogène très mince de longueur infinie. La température de la tige au
temps au point d'abscisse est notée . On suppose que cette fonction vérifie
l'équation suivante, appelée équation de la chaleur :

On suppose que , et on cherche une solution à l'équation précédente, par rapport

à la variable temps, et par rapport à la variable d'espace, sur , et telle que, pour
chaque , tend vers lorsque tend vers .

8 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. Analyse : On suppose que l'équation précédente possède une solution telle qu'il
existe une fonction , tendant vers 0 en l'infini, vérifiant, pour tout ,

On note la transformée de Fourier de par rapport à la variable d'espace :

1.1. Montrer que

Montrer aussi que

1.2. Pour chaque fixé, on note . Montrer que est solution

d'une équation différentielle en .
1.3. Résoudre cette équation.
1.4. En déduire la valeur de - on rappelle que

2. Synthèse : vérifier que la fonction mise en évidence lors de l'analyse est bien solution
de l'équation de la chaleur.

Indication
Corrigé

1.

1.1. D'abord, on a

De la majoration , on déduit que l'on peut permuter les symboles

d'intégration et de dérivation, et finalement on a :

D'autre part, puisque et sont intégrables, on a aussi, par une double

intégration par parties :

1.2. Le fait d'appliquer la transformée de Fourier sur l'équation initiale donne, pour
fixé :

9 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1.3. On résoud cette question pour tout fixé. On trouve :

Mais et donc on en déduit , ce qui donne :

1.4. Remarquons que l'on a :

où est la fonction donnée par l'énoncé. Par injectivité de la transformée de

Fourier, on obtient

2. Par les propriétés du produit de convolution, il est facile de vérifier que est par
rapport à , la dérivée s'obtenant en dérivant la deuxième fonction intervenant dans le
produit de convolution. En utilisant la décroissance très rapide de , on trouve
que toutes les dérivées sont intégrables. Enfin, il suffit de suivre les calculs pour trouver
que l'équation aux dérivées partielles est vérifiée.

Exercice 11 - Espace de Wiener [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On note , espace de Wiener constitué des fonctions intégrables qui sont
également la transformée de Fourier d'une fonction intégrable.

1. Montrer que et .
2. Montrer que pour tout .
3. Montrer que .
4. Montrer que si alors et .
5. Pour , on pose . Montrer que est une norme sur .
6. Dans cette question, on va prouver que , muni de la norme , est un espace de
Banach. Pour cela, on considère une suite de Cauchy de pour cette norme.
6.1. Montrer l'existence de et de tels que et
.
6.2. Montrer que presque partout.
6.3. En déduire que la suite converge dans , puis que est un
espace de Banach.
7. On pose , et on pose , dont on rappelle que c'est une unité
approchée.
7.1. Prouver que si , alors est continue.
7.2. Prouver que si , alors est dans .
8.

8.1. Soit . Montrer que .

8.2. En déduire que est dense dans pour .
9.

9.1. Soit . Montrer que .

9.2. En déduire que est dense dans muni de .

Indication
Corrigé

10 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. D'abord, si , alors par la formule d'inversion de la transformée de Fourier,

où est défini par . Donc . Réciproquement, si
est telle que , il suffit de poser , et la même formule d'inversion
de la transformée de Fourier donne le résultat!
2. Soit tel que . Par les propriétés de la transformée de Fourier d'une
fonction intégrable, . D'autre part, par hypothèse, . Pour montrer que
, avec , on peut remarquer que :

ce qui donne le résultat.

3. D'abord, si , est clairement dans puisque c'est la transformée de Fourier
d'une fonction intégrable. La réciproque est presque évidente en utilisant la formule de
réciprocité de la transformation de Fourier. En effet, si , on sait que où
. Ce qui prouve le résultat.
4. D'abord, les propriétés du produit de convolution entraînent . D'autre
part, si et , on a . Il suffit donc de vérifier que
est intégrable : mais ceci vient du fait que et sont encore dans d'après la
question 2., et sont donc dans d'après la question 1. Et le produit de deux fonctions de
est dans . Pour le produit, c'est presque pareil. Il est dans car les fonctions et
sont dans , et on a . Enfin, est intégrable comme produit de
convolution de deux fonctions intégrables.
5. Il suffit de vérifier les 3 axiomes, ce qui se fait aisément d'après les propriétés de la
norme et la linéarité de la transformation de Fourier.
6.

6.1. Remarquons que et : les

suites et sont de Cauchy dans , qui est complet, ce qui donne
l'existence de et .
6.2. Par continuité de la transformation de Fourier de dans , on a
. Fixons maintenant . De l'inégalité

on déduit que tend vers dans . Maintenant, on a aussi qui

tend vers dans . Par unicité de la limite, pour presque tout
. étant choisi arbitraire, en prenant une suite qui tend vers ,
on en déduit que presque partout.
6.3. On résume les travaux précédents : la fonction précédemment exhibée est
dans l'espace de Wiener, puisque sa transformée de Fourier est intégrable. En outre,
on vient de prouver que . C'est que converge vers pour
dans , ce qui prouve la complétude.
7.

7.1. Il s'agit d'une application immédiate du théorème de continuité sous le signe

intégrale, une fois le produit de convolution écrit sous la forme

7.2. Remarquons d'abord que est bien élément de (car ). D'autre

part, qui est élément de car est élément de et est
élément de . C'est une conséquence de la question 3., car : est
une gaussienne et la transformée de Fourier d'une gaussienne est une gaussienne

11 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

(c'est-à-dire une fonction du type ).

8.

8.1. C'est une conséquence "standard" des propriétés des unités approchées.
8.2. est dans , et converge vers : on en déduit que est dense dans
, pour la norme de . Maintenant, est dense
dans , puisqu'il contient les fonctions continues à support compact. D'où le
résultat.
9.

9.1. Ce fait est à nouveau une propriété "standard" des unités approchées.
9.2. C'est le même raisonnement que précédemment, car une fois encore, les
fonctions continues à support compact sont denses dans .

Exercice 12 - Non-Surjectivité de la transformée de Fourier [Signaler une erreur]

[Ajouter à ma feuille d'exos]

Enoncé
On sait que la transformation de Fourier est une application linéaire continue de dans
l'ensemble des fonctions continues de limite nulle à l'infini . Le but de cet exercice est de
prouver qu'ainsi définie, la transformée de Fourier n'est pas surjective, c'est-à-dire qu'il existe
des fonctions de qui ne sont pas la transformée de Fourier d'une fonction de . On
fixe , impaire.

1. Montrer que pour tout , on a :

2. Prouver que la fonction est définie, continue et bornée sur .

3. Montrer que l'on a :

En déduire :

4. Soit la fonction définie sur par

4.1. Montrer que .

4.2. On suppose que est la transformée de Fourier d'une fonction intégrable .
Montrer que est nécessairement impaire (presque partout).
4.3. En déduire que n'est pas la transformée de Fourier d'une fonction intégrable.

Indication
Corrigé

1. On découpe l'intégrale en 2, et on fait le changement de variables dans la

première intégrale :

12 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

2. D'abord, la fonction est continue sur , une fois prolongée par 1 en 0.

D'autre part, il est bien connu que, si la fonction n'est pas intégrable, l'intégrale

admet une limite quand . Il suffit pour cela de faire une

intégration par parties :

la première quantité admettant une limite si tend vers , tandis que la fonction
est intégrable sur . Ceci justifie donc que la fonction est définie.
D'autre part, elle est continue sur , car, par la relation de Chasles,

et par le théorème fondamental du calcul intégral, est continue (et même

de classe sur . Enfin, admet pour limite en (c'est le reste d'une
intégrale convergente) : on en déduit qu'elle est bornée sur .
3. On a :

Remarquons que est dans : on a en

effet

et la fonction majorante est clairement intégrable sur . Utilisant le

théorème de Fubini, on en déduit :

Or, si . D'autre part, on a :

Comme la fonction est bornée sur , on obtient :

13 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

On peut donc appliquer le théorème de convergence dominée et on obtient :

4.

4.1. C'est quasi-évident!

4.2. Remarquons que est impaire. On note . La transformée de
Fourier de vérifie :

Par injectivité de la transformée de Fourier, on en déduit que pour

presque tout .
4.3. Au voisinage de , on a :

et il est bien connu que cette dernière fonction n'est pas intégrable (cas d'une
intégrale de Bertrand divergente). Si était la transformée de Fourier d'une fonction
intégrable, par les questions précédentes, l'intégrale convergerait. Ce
n'est pas le cas : la transformation de Fourier n'est pas une surjection de sur
.

Exercice 13 - Non-surjectivité de la transformée de Fourier [Signaler une erreur]

[Ajouter à ma feuille d'exos]

Enoncé

1. Soit l'indicatrice de , et l'indicatrice de . Calculer explicitement .

2. Montrer que est la transformée de Fourier de

3. Montrer que .
4. En déduire que la transformée de Fourier n'est pas un opérateur surjectif de
dans .
5. Montrer que son image est dense.

Indication
Corrigé

1. C'est juste un petit calcul à faire... On trouve que si est dans

, vaut 0 si est hors de , et est linéaire sur
et .

14 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

2. On va en fait calculer la transformée de Fourier de . On a

Un calcul facile montre que

En particulier, on remarque que est dans . La formule d'inversion de la

transformée de Fourier nous dit que

On conclut en remarquant que et coïncident sur les fonctions paires.

3. On utilise le fait que si , . Il vient

Ceci tend vers quand car la fonction n'est pas intégrable.

4. Si la transformée de Fourier était surjective, puisqu'on sait qu'elle est injective et que
et sont des espaces de Banach, elle serait automatiquement un
isomorphisme d'espace de Banach. En particulier, la réciproque serait continue, et il
existerait telle que, pour tout de , on aurait

C'est impossible, en testant cette inégalité avec (la transformée de Fourier de

est bornée par 1).
5. La transformée de Fourier étant un isomorphisme de l'ensemble des fonctions à
décroissance rapide, son image contient . Il est aisé de vérifier que est dense
dans .

Exercice 14 - Une base hilbertienne de [Signaler une erreur] [Ajouter à ma feuille

d'exos]

Enoncé

1. Soit un espace de Hilbert, et E un sous espace vectoriel de .

1.1. Montrer que .
1.2. En déduire si, et seulement si, est dense dans .
2. On suppose désormais que . Le but est d'étudier la famille .
2.1. Montrer qu'il s'agit d'une famille libre.
2.2. Supposons qu'il existe une fonction telle que pour tout
. Montrer que la transformée de Fourier de est bien définie, et est de
classe . On note cette fonction,

Que vaut ?
2.3. Montrer qu'à l'aide de la formule précédente, on peut en fait définir comme
fonction holomorphe sur . Que dire de ?
2.4. En déduire que .
3.

3.1. Démontrer que la famille s'orthonormalise en une famille , où

15 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

est un polynôme de degré (que l'on ne demande pas de calculer). Que dire de la
famille ?
3.2. Démontrer que les sont égaux, à un coefficient près (que l'on ne demande
pas de calculer), aux polynômes de Hermite

Indication
Corrigé

1.

1.1. Prenons . Alors clairement, . Ceci montre que .

Puisque ce dernier ensemble est fermé, il contient même . Prenons maintenant
. étant une partie convexe fermée d'un espace de Hilbert, se décompose
en , où et . En particulier, . Mais alors,
, et donc .
1.2. C'est immédiat!
2.

2.1. Laissé au lecteur.

2.2. L'inégalité de Cauchy-Schwarz montre que, quel que soit , la fonction
est dans . Ceci justifie la définition de la transformée de
Fourier et le fait qu'elle est . En outre,

2.3. Soit . Pour , on a

La fonction qui majore est intégrable : ceci suffit à justifier que la formule

définit une fonction holomorphe sur . Comme toutes ses dérivées en sont nulles,
on sait bien que .
2.4. L'injectivité de la transformée de Fourier assure que .
3.

3.1. Le procédé d'orthonormalisation de Gram-Schmidt garantit l'existence d'une

telle famille. En outre, d'après les questions précédentes, l'espace vectoriel engendré
par la famille est dense dans . Cette famille est donc une base
hilbertienne de .

16 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

3.2. Par unicité dans le procédé d'orthonormalisation de Gram-Schmidt, il suffit de

prouver que, pour , on a

Supposons par exemple , on a

Il suffit maintenant de prouver que, si , on a

ce qui se fait en réalisant intégrations par parties!

Transformée de Fourier-Plancherel
Exercice 15 - Fonction triangle [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
On rappelle que la transformée de Fourier de la fonction triangle définie par :

est . Calculer

Indication
Corrigé
On sait que la transformée de Fourier-Plancherel est une isométrie de sur lui-même. En
utilisant cette isométrie (relation de Parseval), on en déduit

Avec le changement de variables , et en calculant la première intégrale, on trouve

Exercice 16 - Sinus cardinal [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé

1. Calculer la transformée de Fourier de la fonction caractéristique d'un intervalle .

2. Soit . La fonction est-elle dans ? Dans ? Calculer sa transformée de
Fourier-Plancherel.

Indication
Corrigé

17 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. On a :

2. C'est un résultat bien connu que est telle que admet une limite quand
, sans que n'appartienne à . Pour le prouver, on peut par exemple
utiliser

On conclut car tend vers l'infini, alors que converge si . En

revanche, il est clair que appartient à (précisons simplement qu'il n'y a aucun
problème de convergence en 0 où la fonction est prolongée par continuité en posant
). Il est donc légitime de calculer la transformée de Fourier-Plancherel de . Il est
difficile de calculer directement cette transformée. Mais remarquons que, si
, la question précédente nous donne

On utilise la transformée de Fourier conjuguée, et on obtient :

Exercice 17 - Fourier et Fourier-Plancherel [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Pour , on note la transformée de Fourier de . Pour , on note la
transformée de Fourier-Plancherel de .

1. Soit et . Parmi les deux formules suivantes, laquelle peut avoir un

sens?

La démontrer.
2. Soit . Parmi les deux formules suivantes, laquelle peut avoir un sens?

La démontrer.
3. On note . Déduire de la question précédente , avec .
4. Montrer que l'équation , où admet une infinité de solutions.
Comparer avec le cas où .

Indication
Corrigé

1. Le produit de convolution d'une fonction et d'une fonction étant une fonction

, la seule formule qui peut avoir un sens est la deuxième. On la démontre par densité de
. Soit en effet une suite de fonctions de qui converge vers . Alors

18 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

est un élément de , là où les transformées de Fourier et de Fourier-Plancherel

coïncident. On a donc :

La transformée de Fourier-Plancherel étant continue, on a . Il reste à

remarquer que

et d'utiliser à nouveau la continuité de la transformée de Fourier-Plancherel pour obtenir le

résultat.
2. Puisque et sont tous deux dans , leur produit est dans , seule la
deuxième formule peut avoir un sens! On démontre alors cette formule de la même façon
que la précédente... Elle est vraie si et sont tous deux dans -prendre par
exemple la transformée de Fourier conjuguée, puis on procède en prenant une suite
qui converge vers et une suite qui converge vers ...
3. Posons , de sorte que . D'après la formule
précédente, on a

où .
4. Chaque fonction est solution de l'équation.... alors que dans , cette équation
n'a pas de solution non nulle!

Exercice 18 - Densité [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On rappelle qu'une partie d'un espace de Hilbert est totale dans (ie est dense
dans H) si et seulement si .

1. Soit et . Montrer que pour presque tout

.
2. Soit telle que sur un ensemble de mesure strictement positive.
Montrer qu'il existe telle que pour tout .
3. En déduire que si est dense, alors presque partout.
4. Réciproquement, on suppose que presque partout, et on suppose que
. Montrer que la transformée de Fourier (ordinaire!) de est
identiquement nulle. Conclure que est dense.

Indication
Corrigé

1. Cette formule est vraie si (on peut faire le calcul effectif). On

conclut par densité.
2. Puisque la transformée de Fourier-Plancherel est une isométrie, on a:
. Maintenant, si est dans , il existe un entier ,
des complexes et tels que
. On considère une fonction
non nulle presque partout et telle que là où . Alors
pour tout comme précédemment. Puisque la transformée de Fourier-
Plancherel est un isomorphisme, il existe un élément non nul tel que
. Pour ce , on a .
3. D'après la question précédente, et en utilisant le rappel du début de l'exercice, si
est non nul sur un ensemble de mesure positive, alors n'est pas dense.

19 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

Par contraposée, on déduit le résultat demandé.

4. En raisonnant comme précédemment, pour la fonction

Puisque peut-être choisie arbitrairement, la transformée de Fourier de la fonction

est identiquement nulle. En particulier, par injectivité de la transformée de
Fourier, est identiquement nulle, ce qui entraine par hypothèse sur
, puis .

Exercice 19 - Une projection [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On rappelle les résultats suivants :

Si , alors
et réciproquement

Pour , on pose

1. Justifier que est bien définie et est une fonction continue.

2. Montrer que (on s'aidera des rappels, et on pourra écrire ).
3. En déduire que , et que .

Indication
Corrigé

20 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

1. Il s'agit du produit de convolution de deux fonctions de .

2. Attention, ceci n'est plus conséquence des résultats classiques sur le produit de
convolution. Simplement, puisque et sont éléments de , il existe et
éléments de tels que et . On a alors :

Il reste à remarquer que la fonction est l'indicatrice du segment . Elle est

bornée et donc . Par coïncidence de la transformée de Fourier et de la
transformée de Fourier-Plancherel sur ces deux espaces, on en déduit que
.
3. Soit qu'on écrit . On a :

D'autre part,

On conclut en remarquant que .

Transformée de Fourier des fonctions de la classe de Schwartz

Exercice 20 - Produit et produit de convolution [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient et deux élements de . Justifier que et sont encore éléments de .

Indication
Corrigé
Pour le produit, c'est très facile en utilisant la formule de Leibniz pour la dérivée par exemple.
Pour le produit de convolution, le mieux est d'utiliser la transformée de Fourier. En effet,

qui est élément de . On peut alors appliquer la formule d'inversion de la transformée de

Fourier qui donne

et utiliser que est stable par transformation de Fourier (inverse).

Exercice 21 - Une estimation d'intégrale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit une fonction de .

1. Montrer que

21 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

2. Obtenir une estimation du même type pour .

3. En déduire que

Indication
Corrigé

1. On pose . Il est bien connu que la transformée de Fourier de g est :

En utilisant ensuite que la transformée de Fourier est une isométrie de , on obtient

2. De même, si on pose , la transformée de Fourier de est

On en déduit que

3. Il suffit d'utiliser l'inégalité classique pour en déduire le résultat.

Exercice 22 - Principe d'incertitude d'Heisenberg [Signaler une erreur] [Ajouter à ma feuille

d'exos]

Enoncé
Soit à valeurs réelles, telle que .

1. Montrer que

2. En déduire que

3. Dans quels cas a-t-on égalité?

Indication
Corrigé

1. Il suffit de faire une intégration par parties, en dérivant et en intégrant .

2. L'inégalité de Cauchy-Schwarz donne

22 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

Maintenant, il suffit d'utiliser le fait que la transformée de Fourier est une isométrie de
pour obtenir

On obtient donc bien l'estimation annoncée.

3. Pour qu'on ait égalité, il faut et il suffit qu'on ait égalité dans l'inégalité de Cauchy-
Schwarz, ce qui revient à dire qu'il doit exister une constante telle que
pour tout . La résolution de cette équation donne , et il est
nécessaire (et suffisant) que pour que cette fonction soit élément de .

Discussions des forums

crible en python
produit
fraction
Programmation linéaire dualité
Trois devinettes en atten …
Besoin d'aide
Une preuve du petit théor …
peut on enterrer la conje …
convexité
Aide pour chiffrage avec …
Ensemble non mesurable
Approximation des fonctions
equation différentielle
Anneau de Boole
Stabilité par somme d'un …
Accéder aux forums

Mathématicien du mois

23 sur 24 22/11/2022, 21:23

Exercices corrigés -Transformée de Fourier https://www.bibmath.net/ressources/index.php?action=affiche&quoi=...

Rafael Bombelli (1526 - 1572)

Toutes les biographies
Signaler une erreur/Nous contacterMentions LégalesConfidentialité
ContactConfidentialitéMentions légales

24 sur 24 22/11/2022, 21:23