1 Serie di Fourier

1.1 Serie Trigonometrica

la serie trigonometrica `e esprimibile nel seguente modo
a0 2 2
+ n=0 [an cos + bn sin ]
2 T T
dove lelemento n-esimo `e esprimibile come
2nx 2nx
un = an cos( + bn sin(
T T
Se n=1 si ottiene
2x 2x
u1 = acos + bn sin
T T
Attraverso le formule di Eulero si pu`o ottenere
einx + einx einx einx
un = an + bn
2 2i
raggruppando le parti reali e quelle immaginarie si ottiene
an ibn inx an + ibn inx
un = e + e
2 2
Il primo membro si pu`
o esprimere come
Cn
mentre il secondo come
Cn
e quindi la serie
a0
+ n=+
n= Cn e
inx
2
Moltiplicando ambo i membri per una stessa quantit`a pari a
Z x0+2
cosmx
x0

si ottiene allora
Z x0+2 Z x0 +2
a0
cosmx( + ... + an cosnx + bn sinnx = f (x)cos(mx)dx
x0 2 x0

E alla fine si ottiene

Z x0+2 Z x0 +2
am cosmxcosmx = am = f (x)cosmxdx
x0 x0

Per cui si ha che Z x0 +2

1
am = f (x)cosmxdx
x0
ed laltro coefficiente `e
Z x0 +2
1
bm = f (x)sinmxdx
x0

Tali coefficienti appena espressi vengono definiti come Coefficienti di Fourier

e quindi alla luce di ci`
o la serie trigonometrica si pu`o esprimere come
am cosmx + bm sinmx

1
 Spazi di Hilbert Definisco spazio di Hilbert uno spazio siffatto
Z
2
L () = {f : |f |2 dx < }

Propriet`
a

1) Z
1
||f || = ( |f |2 d) 2

2)
||f + g|| < ||f || + ||g||
Tale propriet`
a va sotto il nome di disuguaglianza triangolare

Prodotto Cartesiano
(x, y)SXS
Si definisce distanza o metrica la distanza tra due punti allinterno di uno spazio.
Per cui posso fare il prodotto tra due funzioni allinterno di uno spazio libero
Z
1
(f, g) = d(f, g) = ( |f (x) g(x)|2 ) 2 = ||f g||2

Per cui la distanza tra due funzioni pu`o essere vista coma la differenza delle
rispettive norme. Si pu`
o anche esprimere come
Z
(f, g) = f g dx

Analisi di convergenza di una funzione in uno spazio libero Data

una f come faccio a capire se posso definire una serie che converge uniformemente
alla funzione di partenza? La serie converge se

limn ||nk=0 ... f ||2 = 0 d(nk=0 ..., f ) = 0

Esempio Se ho una serie

n=0 Cn n

quando converge in media a f? In primis si verifichi che

{n } (ortonormale)

Dim.
n
{n } = { = n } ||n || = 1
||n ||
Per cui
{n } ||n || = 1

2
A questo punto si verifichi lUguaglianza di Parseval

|Cn |2 = ||f ||2

Tale condizione rappresenta una condizione necessaria e sufficiente affinch`e la

serie converge in media a f. Si pu`o verificare la convergenza anche se

|Cn |2 < ||f ||2

che va sotto il nome di Disuguaglianza di Bessel.