On admet le théorème suivant:
Théorème 1. Si
a) pour tout entier relatif n,unest continue sur R2,
b) et la série de terme général (un(x, y),n∈Z)est normalement convergente
alors la fonction udéfinie par
u(x, y)=X
n∈Z
un(x, y)
est continue sur R2.
ISérie de Fourier àdeux variables
Dans les questions 1 à 9,
u
est une fonction de classe
C∞
sur
R2
,àvaleurs complexes
et doublement2
π−
périodique, c’est-à-dire que pour tous les entiers relatifs
k,l
et tout
couple de réels (x, y),on a:
u(x, y)=u(x+2kπ,y+2lπ).
On pose pour chaque couple d’entiers relatifs (m, n):
am,n(u)=1
4π2Z2π
0Z2π
0
u(x, y)e−imx e−iny dxdy.(1)
Pour tout entier relatif
m
,on introduit la fonction
um
définie pour tout réel
y
,par
um(y)=1
2πZ2π
0
u(x, y)e−imx dx.
1.
Montrer, pour tout entier relatif
m,
que
um
est 2
π
-périodique, continue sur
R
et
que l’on ala relation suivante :
Z2π
0|um(y)|2dy=2πX
n∈Z
|am,n(u)|2.
2. Pour tout réel y,établir l’identité
X
m∈Z
|um(y)|2=1
2πZ2π
0|u(x, y)|2dx.