La convergenza delle serie di Fourier: proprietà classiche...

38
UNIVERSITÀ DEGLI STUDI DI BERGAMO La convergenza delle serie di Fourier: proprietà classiche e moderne Luca Brandolini

Transcript of La convergenza delle serie di Fourier: proprietà classiche...

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

La convergenza delle Serie di Fourier: proprietà classiche e moderne

Università degli Studi di Bergamo

38