Upload
dothuy
View
221
Download
0
Embed Size (px)
Citation preview
UNIVERSITÀ DEGLI STUDI DI BERGAMO
La convergenza delle serie di Fourier: proprietà classiche e moderne
Luca Brandolini
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
2
Analisi di Fourier
Le serie (e più in generale) l’analisi di Fourier sono uno strumento matematico
utilizzato molti contesti diversi:
• Risoluzione di equazioni differenziali alle derivate parziali
• Filtraggio di segnali e/o immagini
• Compressione di segnali e/o immagini
• L’idea fondamentale consiste nel tentare di scrivere un oggetto complesso
come somma di oggetti più semplici e di ricostruire poi le proprietà dell’oggetto
composito a partire dalla conoscenza delle proprietà degli oggetti semplici.
• Uno dei problemi centrali dell’analisi di Fourier, storicamente il primo, è quello
di determinare sotto quali condizioni una funzione periodica possa essere
espressa come la somma (eventualmente infinita) di seni e coseni, le funzioni
periodiche per antonomasia, ed in quale senso la somma rappresenti la
funzione.
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
3
Preludio
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
4
Serie di Fourier
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
5
L’onda quadra
Consideriamo la funzione “onda quadra” di periodo 2π
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
6
L’onda quadra
-3.0 -2.5 -2.0 -1.5 -1.0 -0.5 0.5 1.0 1.5 2.0 2.5 3.0
-0.1
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
1.1
x
y
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
7
L’onda quadra
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2.0
-0.1
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
x
y
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
8
Convergenza della serie di Fourier
Questo semplice esempio mostra due fenomeni:
• La convergenza nell’intorno di punti “regolari”
• Il fenomeno di Gibbs nei pressi dei punti di discontinuità
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
9
Convergenza nei punti regolari
• La convergenza della serie di Fourier per funzioni regolari in tutti
i punti non è difficile da dimostrare.
• Se una funzione è regolare solo nell’intorno di un punto si può
usare il principio di localizzazione:
• Se f(x) si annulla in un intervallo e
allora la serie di Fourier converge a zero in ogni punto
dell’intervallo in cui la funzione è nulla.
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
10
Il fenomeno di Gibb’s
• Questo fenomeno è stato osservato nel 1898 da Josiah WillardGibbs (ingegnere, fisico e chimico statunitense) in risposta ad
una breve nota di Albert Michelson su Nature
• Nel caso della funzione “onda quadra” se si indica con SN la somma dei primi N termini della serie di Fourier allora per N
grande
SN(π/2- π/N)>1.17 e SN(π/2+ π/N)<-0.17 .
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
11
Convergenza delle serie di Fourier
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
12
Nucleo di Dirichlet
-3.0 -2.5 -2.0 -1.5 -1.0 -0.5 0.5 1.0 1.5 2.0 2.5 3.0
-20
20
40
60
80
100
x
y
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
13
Sviluppi successivi
• Il metodo di Dirichlet è stato il punto di partenza per altri criteri di
convergenza (Jordan, Dini, Legesgue,…..).
• Nel 1876 du Bois-Reymond ha trovato un esempio di funzione
continua la cui serie di Fourier non converge in un punto.
• Nel corso del XX secolo la nascita dell’integrale di Lebesgue e
delle tecniche analitiche moderne hanno portato a risultati comequello di Kolmogorov (1903-1987) e di Carleson (1928 - ) –
Hunt.
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
14
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
15
Serie in forma complessa
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
16
Serie di Fourier multiple
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
17
Compressione di immagini
• Serie di Fourier doppie (più
precisamente la versione
discreta di tale sviluppo) vengono utilizzate nella
compressione delle
immagini
• Accanto una immagine non
compressa (600x600 = circa
1MB)
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
18
Compressione di immagini
• Accanto un’immagine
compressa in formato JPEG
(circa 70KB).
• La compressione avviene
dividendo l’immagine in
quadrati di 8x8 pixel.
Ognuno di questi quadrati viene pensato come una
funzione periodica della
quale vengono calcolati i
coefficienti di Fourier. La compressione avviene
trascurando i coefficienti più
piccoli.
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
19
Compressione di immagini
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
20
JPEG e fenomeno di Gibbs
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
21
Un esempio di serie di Fourier doppie
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
22
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
23
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
24
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
25
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
26
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
27
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
28
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
29
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
30
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
31
Il teorema di Fejer
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
32
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
33
Medie di Bochner-Riesz
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
34
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
35
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
36
Un contesto più generale
La convergenza delle Serie di Fourier: proprietà classiche e moderne
Università degli Studi di Bergamo
37