Chapitre

11
Chapitre 11.
Sries de Fourier

Nous supposons connues les formules donnant les coefficients de Fourier dune fonction 2 priodique :

a0

c 2

an

c 2

bn

c 2

f x dx
f x cos nx dx

f x sin nx dx

Lobjet de ce chapitre est de montrer comment les mettre en uvre, avec la TI-Nspire CAS.

1. Calcul direct
Considrons par exemple la fonction dfinie par f x sin x .
Cette fonction est paire.
Il suffit donc de calculer les coefficients a0

f x dx

et an

f x cos nx dx .

Comme le montre lcran suivant, le calcul des premires valeurs de an se fait sans difficult, et la
TI-Nspire CAS gre bien la prsence des valeurs absolues.

Philippe Fortin (Lyce Louis Barthou Pau) / Roland Poms (Lyce Ren Cassin Bayonne)

TI-Nspire CAS en prpa

Nous allons maintenant nous intresser au calcul du terme gnral an , pour n quelconque.

Ce dernier rsultat appelle deux remarques :

1. Il a t effectu dans le cas gnral, sans se soucier de ce qui pourrait arriver dans certains cas
particuliers (comme par exemple n 1).

a f

2. Le terme en cos n nest absolument pas simplifi.

Ce dernier point est normal. La TI-Nspire CAS ne sait pas que n est un entier (comment pourraitelle le savoir ?), elle na donc aucune raison de simplifier. La seule faon de travailler avec des
variables symboliques entires est dutiliser les variables 1 , 2 qui apparaissent lors de la
rsolution des quations trigonomtriques. On obtient dans la table de caractres (/).
Nous allons donc demander la TI-Nspire CAS de remplacer n par 1 , en tapant a n s | n = 1 :

Cest dj mieuxOn peut factoriser et mmoriser le rsultat obtenu (cran de gauche). Comme on
peut le voir dans lcran de droite, il est ensuite possible de distinguer les deux cas, n pair ou impair :

T France 2012 / Photocopie autorise

Sries de Fourier

En conclusion, a2 p+1 = 0 et a2 p =

4
.
(1- 4 p 2 )p

Rsultat prvisible, la fonction est en fait paire et -priodique.

Attention, aucun moment la TI-Nspire CAS neffectue de vrification sur la validit des calculs.
Considrons par exemple la fonction dfinie par f (x ) = cos3 (x ) .
Le dveloppement en srie de Fourier est immdiat. Il suffit en fait de linariser :

3
1
, a3
et tous les autres
4
4
coefficients sont nuls. Pourtant, le calcul fait dans lcran de droite pourrait laisser penser que tous les
coefficients sont nuls !

La linarisation obtenue dans lcran de gauche montre que a1

Le calcul avec n permet de mieux comprendre cette apparente contradiction :

La calculatrice a obtenu an

a f

FG 1 3 3 1 IJ sinan f.
H 4an 3f 4an 3f 4an 1f 4an 3f K

La simplification de sin n a fait totalement perdre les problmes qui se posaient pour n 1 et n 3 .

2. Programmes de calcul et de reprsentation graphique

2.1 Description
Pour traiter ces exercices, on peut procder en utilisant les manipulations dcrites ci-dessus. Pour
faciliter leur rsolution, on peut aussi utiliser la bibliothque de programmes fourier, tlchargeable sur
le site www.univers-ti-nspire.com, qui propose un ensemble de programmes spcialiss dans l'tude des
sries de Fourier. Lutilisation des bibliothques est dcrite dans le chapitre 15.

T France 2012 / Photocopie autorise

TI-Nspire CAS en prpa

Cette bibliothque propose les programmes suivants :

Le programme fourier permet de traiter le cas gnral des fonctions dfinies sur un intervalle
quelconque de longueur 2 .
Le programme fourier_impaire permet de traiter le cas des fonctions impaires, dfinies par leur
expression sur lintervalle 0, .
La programme fourier_paire permet de traiter le cas des fonctions paires, dfinies par leur
expression sur lintervalle 0, .
Le programme help permet dobtenir des informations assez dtailles, et le programme demo
permet de gnrer quelques exemples.
Lappel de lun des 3 programmes fourier, fourier_paire, fourier_impaire permet dobtenir les valeurs
des coefficients de Fourier, et de prparer la reprsentation graphique de la fonction tudier ainsi que
des sommes partielles des sries de Fourier. Il suffira pour cela de demander la reprsentation
graphique de la fonction f.f(x), ou celle de f.sf(x,k) avec k compris entre 1 et 10.
Comme vous allez le voir dans la suite, ce programme est assez performant. Il repose cependant sur les
mmes mthodes que celles indiques dans la partie prcdente, et peut donc prsenter les mmes
faiblesses.

2.2 Un exemple d'utilisation

af

a fg

Dveloppement en srie de Fourier de f x max 0,sin x .

On peut commencer par reprsenter cette fonction. /I pour crer une nouvelle page et choisir
lapplication Graphiques. On entre ensuite la dfinition de la fonction dans la ligne ddition puis on
applique un zoom Trigo.

T France 2012 / Photocopie autorise

Sries de Fourier

Cette fonction nest ni paire, ni impaire. La construction met en vidence (et il est facile de le justifier)
sin x si 0 x
.
que f x
0
si x 2

a f RS a f
T

Nous allons indiquer tout cela notre programme :

Il suffit ensuite de valider pour lancer les calculs correspondants.

La calculatrice indique la formule de calcul utilise, puis l'expression du coefficient :

On peut demander une somme partielle de la srie de Fourier. La fonction permettant de calculer ces
sommes partielles est accessible sous le nom f.sf.

T France 2012 / Photocopie autorise

TI-Nspire CAS en prpa

On peut demander une factorisation pour obtenir une expression plus concise des coefficients de
Fourier. Les fonctions permettant de calculer les coefficients sont accessibles sous les noms f.a et f.b.
Pour bnficier des simplifications utilisables avec les entiers, il vaut mieux entrer : f a c t o r ( f . a ( 1 ) )
plutt que f a c t o r ( f . a ( n ) )

Le cas particulier n = 1 a t correctement dtect par le programme. Le calcul de bn pose un

problme similaire celui que nous avons rencontr la fin de la premire partie.
Le calcul de lintgrale de

af a f

sin x sin n x dx laisse clairement voir la nature de ce dernier :

T France 2012 / Photocopie autorise

Sries de Fourier

Exercices1
1 Dveloppement d'une fonction paire, calcul de sommes
Rechercher le dveloppement en srie de Fourier de la fonction paire, 2 -priodique, telle que

R|1
||
f at f S0
||
|T1

si 0 t
si t
si

En dduire la valeur des sommes

1
et
2n 1 2 n 2 .
n1
n0

2 Dveloppement d'une fonction impaire

Dveloppement en srie de Fourier de f, fonction impaire, 2 -priodique, telle que :

R|t
f at f S
|| t
T

si 0 t
si

3 Un exercice doral de Centrale

Soit f une fonction paire 2 -priodique, telle que f ( x) a x 2 b x c sur 0, , a, b, c 3 .
a) Calculer les coefficients de Fourier de f.
b) Montrer quil existe a, b, c 3 tel que la srie de Fourier de f soit gale

Reprsenter f sur , .

cos nx
.
n2
n 1

c) En dduire la somme dune srie classique.

Les deux premiers exercices sont extraits du livre dexercices corrigs, Analyse, 2 e anne PSIPCPT, de JeanMarie Monier. ditions Dunod.
1

T France 2012 / Photocopie autorise

TI-Nspire CAS en prpa

Solutions des exercices

1 Dveloppement d'une fonction paire, calcul de sommes
Noubliez pas que dans ce type dexercice, ltude de la convergence de la srie est au moins aussi
importante que la partie calculatoire sur la recherche des coefficients de Fourier.
La calculatrice peut prendre en charge tous les calculs, mais ltude thorique de la convergence reste
faire totalement.

On a ainsi obtenu a0 0 , an

F I
H K

sin n
pour n 1 , et bn 0 .
2
n

T France 2012 / Photocopie autorise

Sries de Fourier

On peut poursuivre le travail dans lcran de calcul, afin de simplifier lexpression de an en fonction
de la parit de n.

a f

4 1 p
Ainsi, a2 p 0 et a2 p 1
.
2p 1

L'galit de Parseval qui est utilisable ici puisque la fonction est 2 -priodique, continue par
morceaux, donne alors :

D'o

F a f I 2 1 f atf2 dt 1 f atf2 dt .
GH a f JK 2 z
z0

1 4 1 p

2 p 0 2 p 1

1
1 dt 2 , et donc :

a2 p 1f2

p 0

2
8
p 0 2 p 1

De plus,

1
1
1
1 1
1
1 1

2 2 p 1 2 2 p 2 2 p 1 2 4 p2 2 p 1 2 4 n2
n 1 n
p 0
p 1
p 0
p 1
p 0
n 1

a f

D'o :

1
1
4
1
4 2 2

2
2p 1 2 3 8 6
2
1 p
3

p
2
1
n 1 n

p
0
0
1
4

F
H

I
K

On peut vrifier ces rsultats avec la calculatrice :

T France 2012 / Photocopie autorise

10

TI-Nspire CAS en prpa

Les fonctions f.f et f.sf qui ont t dfinies automatiquement lors de lexcution du programme
fourier_paire permettent dobtenir une reprsentation graphique.
f.f permet de construire la reprsentation sur un intervalle quelconque de la fonction qui a t dfinie
par son expression sur 0, et ses proprits de priodicit et de parit.
f.sf permet dobtenir la reprsentation des sommes partielles.

2 Dveloppement d'une fonction impaire

On a ainsi obtenu :
an 0 , pour tout entier n.
bn

F I pour n 1.
H 2K

sin n

T France 2012 / Photocopie autorise

Sries de Fourier

11

On peut poursuivre le travail dans lcran de calcul, afin de simplifier lexpression de bn en fonction
de la parit de n.

Ainsi, b2 p 0 et b2 p 1

a f .
a2 p 1f2
4 1 p

Lcran de droite donne la somme partielle de Fourier dordre 5.

3 Un exercice doral de Centrale

La fonction f tant paire et 2 -priodique, les coefficients bn ( f ) sont nuls et les an ( f ) sont donns
par la formule de lcran de gauche ci-dessous. On ouvre une nouvelle activit.

Une condition ncessaire pour que la srie de Fourier soit de la forme dsire est que a0 f 0 ,
a1 f 1 et a2 f

1
. Ceci nous donne trois quations pour dterminer les inconnues a, b et c.
4

On affecte aux variables les valeurs trouves.

On aurait galement pu utiliser le modle

T France 2012 / Photocopie autorise

pour saisir le systme rsoudre.

12

TI-Nspire CAS en prpa

Il reste prsent vrifier que le dveloppement en srie de Fourier de la fonction f, dfinie en

cos nx
utilisant les valeurs de a, b et c que nous venons de dterminer, est bien de la forme 2 .
n
n 1
Cela est fait dans lcran ci-dessous ( gauche) :

Le calcul de f ( x) permet de vrifier lexpression de la fonction f.

1
On calcule ensuite an(n) , pour voir si on obtient bien 2 .
n
En fait, ce calcul ne permet pas dobtenir une expression simplifie de an ( f ) , car
TI-Nspire CAS ne peut pas savoir que n est un entier (voir page 2).
Pour obtenir une expression correctement simplifie, il suffit de remplacer n par n1. On
obtient bien le rsultat attendu.

Pour achever lexercice, et calculer la somme demande, on peut observer que la fonction f est
continue, de classe 1 par morceaux. Sa srie de Fourier converge donc normalement vers f sur .
En particulier, la convergence simple en 0 nous donne lgalit entre f (0) et la somme de la srie

n
n 1

. On obtient ainsi

n
n 1

2
.
6

On peut vrifier la valeur de cette somme en demandant un calcul direct de la somme de cette srie
(dernier calcul dans lcran de droite).

En utilisant le programme fourier_paire, on peut vrifier le calcul des coefficients, puis reprsenter la
fonction sur plusieurs priodes ( gauche), ou voir ( droite) que la srie de Fourier (trait fin vert)
converge trs rapidement vers cette fonction (pointills gras rouge)

T France 2012 / Photocopie autorise