Presentation Fourier

Serie di Fourier
Analisi Matematica 1 (A.A. 2013/2014)

Integrazione e sviluppo in serie di Fourier
Vladimir Georgiev,
University of Pisa
February , 2014
March 28, 2014
Vladimir Georgiev, University of Pisa February , 2014 Analisi Matematica 1 (A.A. 2013/2014) Integrazione e svilupp
Serie di Fourier Nucleo di Dirichlet.
Serie di Fourier - un po di storia
La serie prende il nome dal matematico francese Joseph Fourier
(1768-1830), il quale fu il primo a studiare sistematicamente tali
serie innite. In precedenza esse erano state oggetto di
investigazioni preliminari da parte di Eulero, dAlembert e Daniel
Bernoulli. Fourier ha applicato tali serie alla soluzione
dellequazione del calore, pubblicando i suoi risultati iniziali nel
1807 e nel 1811. Lopera piu ampia, intitolata
Theorie analytique de la chaleur, e del 1822.
Dopo la meta del secolo Dirichlet e Riemann hanno riformulato i
risultati di Fourier con maggiore rigore e precisione e in forma piu
soddisfacente.
Coecienti di Fourier
Deniamo polinomio trigonometrico una combinazione lineare
P
N
(t) =
N
k=N
c
k
e
ikt2/M
. (1)
o
P
N
(t) =
a
0
2
+
N
k=1
a
k
cos(kt2/M) +
N
k=1
b
k
sin(kt2/M). (2)
Abbiamo
a
n
= c
n
+ c
n
, b
n
= i (c
n
+ c
n
),
c
n
=
1
2
(a
n
ib
n
), c
n
=
1
2
(a
n
+ ib
n
) = c
n
.
Sia data una funzione f appartenente a C([0; M]); per ogni intero
n, deniamo il coeciente di Fourier n-esimo di f ,
c
n
=

f (n) =
1
M
_
f (t), e
int2/M
_
=
1
M
_
M
0
f (t)e
int2/M
dt. (3)
a
n
=
2
M
_
M
0
f (t) cos(nt2/M)dt, b
n
=
2
M
_
M
0
f (t) sin(nt2/M)dt.
(4)
Deniamo, inne, la Serie di Fourier di f ,
nZ
f (n)e
int2/M
. (5)
Scegliamo M = 2. Denoteremo con P
N,f
(t) il polinomio
trigonomerico associato alla funzione f , ossia
P
N,f
(t) =
N
k=N
f (k)e
ikt
.
Sia A R un insieme simmetrico rispetto allorigine, ovvero tale
che x A x A. (Ad esempio A = (2, 2))
Denizione 1
Diremo che f : A R è una
funzione pari se x A, f (x) = f (x)
funzione dispari se x A, f (x) = f (x)
Esempio 1.1
La funzione f (x) = x
2
è pari.
La funzione f (x) = x
3
è dispari.
Esercizio 1.1
Sia : A R una funzione che sia contemporaneamente pari e
dispari allora x A, (x) = 0.
Devono essere vericate le seguenti equazioni per ogni x A :
(x) = (x) e (x) = (x) da cui (x) = (x). Da cui
x A, (x) = 0
1
1
Segue dal fatto che y = y y = 0.
Esercizio 1.2
Siano f
p
, g
p
e f
d
, g
d
rispettivamente funzioni pari e funzioni
dispari.Dimostrare che f
p
g
p
è una funzione pari e f
d
g
d
è una
funzione dispari.
Basta osservare che
f
d
(x) g
d
(x) = f
d
(x) [g
d
(x)] = [f
d
(x) g
d
(x)].
Analogo procedimento per il caso pari.
Esercizio 1.3
Siano
p
,
d
: A R tali che x A,
p
(x) +
d
(x) = 0. Allora
x A,
p
(x) = 0 e
d
(x) = 0.
Infatti x A:
da
p
(x) +
d
(x) = 0 segue
p
(x) =
d
(x) =
d
(x)
mentre
da
p
(x) +
d
(x) = 0 segue
p
(x) =
d
(x) =
d
(x)
da queste relazioni e dalla parità di
p
(
p
(x) =
p
(x))
otteniamo
d
(x) =
d
(x). Ovvero
d
è pari. Una funzione che
sia contemporaneamente pari e dispari è identicamente nulla
Esercizio 1.4
Ogni funzione f : A R si può decomporre in un unico modo
come somma di una funzione pari e di una funzione dispari
Basta scrivere
f (x) =
f (x) + f (x)
2
+
f (x) f (x)
2
= f
p
(x) + f
d
(x)
f
p
(x) =
f (x) + f (x)
2
è pari perchè
f
p
(x) =
f (x) + f (x)
2
=
f (x) + f (x)
2
=
f ((x)) + f ((x))
2
=
f
p
(x)
mentre
f
d
(x) =
f (x) f (x)
2
=
f (x) f (x)
2
=
f (x) f (x)
2
=
f ((x)) f ((x))
2
= f
d
(x).
La decomposizione è unica perchè se esistessero g
p
, g
d
rispettivamente funzione pari e funzione dispari tali che
f (x) = g
p
+ g
d
allora f
p
g
p
+ f
d
g
d
= 0. La funzione f
p
g
p
è
pari (mentre la funzione f
d
g
d
è dispari (vedi Esercizio 1.2). La
somma di una funzione pari e di una dispari è zero se sono nulle le
due funzioni, quindi f
p
= g
p
, e f
d
= g
d
.
Denizione 2
Sia f : R R. Diremo che f è una funzione periodica di
periodoT > 0 se
x R, f (x + T) = f (x)
Proposizione 1.1
Se f è è una funzione periodica di periodo T allora
x R, n Z, f (x + nT) = f (x)
Coecienti di Fourier in [T, T]
Usando la relazione
_
T
T
f (x)dx =
_
T+a
T+a
f (x)dx =
_
2T
0
f (x)dx
per ogni funzione 2T periodica, si puo passare dal intervallo
[0; 2T]) a [T, T]. Per ogni intero n, deniamo il coeciente di
Fourier n-esimo di f ,
c
n
=

f (n) =
1
2T
_
f (t), e
int/T
_
=
1
2T
_
T
T
f (t)e
int/T
dt. (6)
a
n
=
1
T
_
T
T
f (t) cos(nt/T)dt, b
n
=
1
T
_
T
T
f (t) sin(nt/T)dt.
(7)
Deniamo, inne, la Serie di Fourier di f ,
nZ
f (n)e
int/T
. (8)
Possiamo confrontare la funzione f (t) e la somma paziale della
serie di Fourier
S
N
(f ; t) =
|n|N
f (n)e
int/T
. (9)
Simulazioni numeriche ed esercizi.
Proviamo a confrontare la funzione f (t) = exp(|t|) nel intervallo
[1, 1] e la somma paziale della serie di Fourier
S
N
(f ; t) =
|n|N
f (n)e
int
. (10)
1.0 0.5 0.5 1.0
0.5
0.6
0.7
0.8
0.9
1.0
Figure: Il confronto tra f (t) = exp |t| e S
N
caso N = 2.
1.0 0.5 0.5 1.0
0.5
0.6
0.7
0.8
0.9
1.0
Figure: Il confronto tra f (t) = exp |t| e S
N
caso N = 6.
Disuguaglianza di Bessel
Per ogni funzione f , periodica e continua, vale la disuguaglianza
di Bessel,
nZ
|
f (n)|
2
1
2
_
2
0
|f (t)|
2
dt. (11)
Ci serve la norma
f (t)
2
=
_
T
T
|f (t)|
2
dt
ben denita per ogni funzione continua ( continua a tratti). La
norma e collegata con il prodotto scalare
f (t); g(t) =
_
T
T
f (t)g(t).
Valgono le relazioni
f (t); g(t) = g(t); f (t)
f (t); g(t) +g(t); g(t) = 2Re f (t); g(t) ,
f + g
2
= f
2
+g
2
+ 2Re f ; g .
Dimostrazione]
f (t) P
N,f
(t)
2
=
_
_
_
_
_
f (t)
N
k=N
f (k)e
ikt
_
_
_
_
_
2
= f
2
+
_
_
_
_
_
N
k=N
f (k)e
ikt
_
_
_
_
_
2
2Re
_
f (t);
N
k=N
f (k)e
ikt
_
= f
2
+
_
_
_
_
_
N
k=N
f (k)e
ikt
_
_
_
_
_
2
2
N
k=N
f (k)
_
f (t); e
ikt
_
_
_
_
N
_
_
_
2
N
Osserviamo che
_
_
_
_
_
N
k=N
f (k)e
ikt
_
_
_
_
_
2
=
=
_
N
k=N
f (k)e
ikt
;
N
m=N
f (m)e
imt
_
=
= 2
N
k=N
f (k)
f (k),
si ha
0 f (t) P
N,f
(t)
2
= f
2
2
N
k=N
|
f (k)|
2
.
Passando al limite per N si ottiene la disuguaglianza (11).
Dalla disuguaglianza di Bessel segue che, per ogni funzione f per
quale lintegrale di Riemann
_
2
0
|f (t)|
2
dt
la la serie
nZ
|
f (n)|
2
converge. Come corollario di questo fatto si ha:
Teorema di Riemann-Lebesgue
Teorema 1 (Riemann-Lebesgue)
Per ogni funzione f appartenente a L
2
(0; 2),
lim
k
f (k) = 0. (12)
Il polinomio trigonometrico
D
N
(t) =
N
k=N
e
ikt
è detto nucleo di Dirichlet. Osserviamo che, per ogni intero
positivo N e ogni numero reale t, il nucleo di Dirichlet D
N
(t) è un
numero reale, in eetti
D
N
(t) =
N
k=N
e
ikt
= 1 +
N
k=1
e
ikt
+
1
h=N
e
iht
= 1 +
N
k=1
_
e
ikt
+ e
ikt
_
= 1 +
N
k=1
2e
ikt
.
Inoltre vale lidentità
D
N
(t) =
sin
_
N +
1
2
_
t
sin
t
2
e, in particolare,
lim
t0
D
N
(t) = 2N + 1.
Denotato, infatti, con q = e
it
, quando q = 1, si ha
D
N
(t) =
n
k=N
q
k
= q
N
(1 + q + + q
2N
) = q
N
q
2N+1
1
q 1
=
q
N+1
q
N
q 1
=
q
1
2
_
q
N+
1
2
q
N
1
2
_
q
1
2
_
q
1
2
q
1
2
_
=
q
N+
1
2
q
N
1
2
q
1
2
q
1
2
.
Osservato che q
k
q
k
= 2i sin kt,
D
N
(t) =
2i sin
_
N +
1
2
_
t
2i sin
t
2
=
sin
_
N +
1
2
_
t
sin
t
2
.
Quanto al limite, attraverso la formula di de lH opital,
lim
t0
D
N
(t) = lim
t0
sin
_
N +
1
2
_
t
sin
t
2
H
= lim
t0
_
N +
1
2
_
cos
_
N +
1
2
_
t
1
2
cos
t
2
= 2N+1.
Inne,
_
2
0
D
N
(t) dt =
_
2
0
N
k=N
e
ikt
dt =
N
k=N
_
2
0
e
ikt
dt = 2.
Attraverso la denizione di nucleo di Dirichlet e la denizione dei
coecienti di Fourier, si ha
P
N,f
(t) =
N
k=N
c
k
e
ikt
=
1
2
N
k=N
_
_
2
0
f (s)e
iks
ds
_
e
ikt
=
1
2
N
k=N
_
2
0
f (s)e
ik(ts)
ds =
1
2
_
2
0
f (s)
N
k=N
e
ik(ts)
ds
=
1
2
_
2
0
f (s)D
N
(t s) ds.
ossia
P
N,f
(t) =
1
2
_
2
0
f (s)D
N
(t s) ds (13)
Inoltre,
1
2
_
2
0
f (t)D
N
(t s) ds =
f (t)
2
_
2
0
D
N
(t s) ds
=
f (t)
2
_
t2
t
D
N
() d
=
f (t)
2
_
2
0
D
N
() d = f (t),
ossia
f (t) =
1
2
_
2
0
f (t)D
N
(t s) ds (14)
Dalle formule (13) e (14) si ottiene
f (t) P
N,f
(t) =
1
2
_
2
0
_
f (t) f (s)
D
N
(t s) ds. (15)
Problem 1
Sviluppare in serie di Fourier la funzione e
2x
1 nellintervallo
[0, 2].

Presentation Fourier

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Presentation Fourier

Caricato da

Copyright:

Formati disponibili

Serie di Fourier

Analisi Matematica 1 (A.A. 2013/2014)

Potrebbero piacerti anche