Teorema di Parseval

Da Wikipedia, l'enciclopedia libera.

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.

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 questà proprietà è data dal teorema di Plancherel.[1]

Il teorema[modifica | modifica wikitesto]

Siano e due funzioni Riemann integrabli, 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 | modifica wikitesto]

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 | modifica wikitesto]

Exquisite-kfind.png 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 | modifica wikitesto]

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-Khinchin. 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 | modifica wikitesto]

Si determini la potenza del segnale di periodo .

con :

Note[modifica | modifica wikitesto]

  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 | modifica wikitesto]

  • (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 | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

  • (EN) Parseval, MacTutor History of Mathematics archive.
Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica