Teorema di Parseval

In analisi complessa il teorema di Parseval o identità di Rayleigh, il cui nome è dovuto a Marc-Antoine Parseval, è un teorema che stabilisce che la sommatoria del prodotto dei coefficienti di Fourier di due funzioni periodiche è uguale all'integrale del loro prodotto. In sostanza il teorema di Parseval ci fornisce la potenza di un segnale a partire dai coefficienti del suo sviluppo in serie di Fourier.

Nonostante il termine "teorema di Parseval" sia spesso utilizzato per descrivere l'unitarietà di ogni trasformata di Fourier, in particolar modo in fisica e in ingegneria, la forma più generale di questa proprietà è data dal teorema di Plancherel.[1]

Il teorema modifica

Siano   e   due funzioni Riemann integrabili, a valori complessi e definite su  . Siano esse periodiche con periodo   e sia la rappresentazione per mezzo della serie di Fourier:

 

Allora:

 

Nel caso particolare in cui   il teorema stabilisce che, data una funzione in   su   con derivata prima e seconda assolutamente convergenti, allora l'area sottesa dal modulo al quadrato della funzione è uguale a quella sottesa dal modulo al quadrato della sua trasformata di Fourier:

 

Inoltre, spesso si considerano solo le serie di Fourier per funzioni a valori reali   e  , che corrispondono al caso speciale in cui   è reale,  ,   è reale e  . In tal caso si ha:

 

dove   denota la parte reale.

Dimostrazione nel caso A=B modifica

Sia   una funzione periodica di periodo   sviluppabile in serie di Fourier, e sia:

 

la serie di Fourier della funzione, dove i coefficienti della serie sono allora dati da:

 

con   e  .

Allora si ha:

 
 
  
  

Dimostrazione del teorema di Plancherel modifica

  Lo stesso argomento in dettaglio: Teorema di Plancherel.

Il teorema di Parseval è un caso particolare del teorema di Plancherel. Sia  , con:

 

Allora:

 

dove   indica la funzione,   la funzione coniugata e   la trasformata di Fourier di  .

Applicazioni modifica

Nel caso di due segnali di energia   e  , con trasformate di Fourier rispettivamente   e  , con  , il teorema di Parseval si scrive spesso nella forma:

 

Infatti, esprimendo   attraverso l'antitrasformata di Fourier di  , si ha:

 

e quindi:

 

ove nell'ultimo termine si sono scambiate l'integrazione nel tempo e quella in frequenza. Poiché anche   è per ipotesi un segnale di energia, si conclude che, come volevasi dimostrare:

 

Nel caso particolare nel quale   si ottiene:

 

cioè, l'energia del segnale può essere espresso anche tramite l'integrale del quadrato della sua densità spettrale di energia. Ciò può interpretarsi fisicamente dicendo che l'energia totale di un segnale può essere calcolata sommando sia l'energia di una serie di suoi campioni nel tempo, che la densità spettrale di una serie di campioni nella frequenza.

Una dimostrazione alternativa può essere ottenuta tenendo conto del teorema di Wiener-Chinčin. Considerando che per ogni funzione trasformabile secondo Fourier si ha:

 

ponendo   si ottiene:

 

Dalla definizione di correlazione incrociata tra due segnali di energia si ha:

 

che trasformando secondo Fourier fornisce, per il teorema citato:

 

per cui si conclude che:

 

ovvero:

 

Un teorema analogo vale per segnali di potenza, ed una dimostrazione alternativa è basata sul teorema di convoluzione.

Esempi modifica

Si determini la potenza del segnale   di periodo  .

 
 
 

con  :

 

Note modifica

  1. ^ Plancherel, Michel (1910) "Contribution a l'etude de la representation d'une fonction arbitraire par les integrales définies," Rendiconti del Circolo Matematico di Palermo, vol. 30, pages 298-335.

Bibliografia modifica

  • (EN) George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists (Harcourt: San Diego, 2001).
  • (EN) Hubert Kennedy, Eight Mathematical Biographies (Peremptory Publications: San Francisco, 2002).
  • (EN) Alan V. Oppenheim and Ronald W. Schafer, Discrete-Time Signal Processing 2nd Edition (Prentice Hall: Upper Saddle River, NJ, 1999) p 60.
  • (EN) William McC. Siebert, Circuits, Signals, and Systems (MIT Press: Cambridge, MA, 1986), pp. 410–411.
  • (EN) David W. Kammler, A First Course in Fourier Analysis (Prentice-Hall, Inc., Upper Saddle River, NJ, 2000) p. 74.

Voci correlate modifica

Collegamenti esterni modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica