Analisi complessa/Definizione e proprietà della trasformata di Fourier: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 43:
 
=Trasformata di Fourier in <math>L^{2}</math>=
{{Nota
 
|allineamento =destra
<math>L^{2}</math> non e' un sottoinsieme di <math>L^{1}</math> , e quindi esistono funzioni in <math>L^{2}</math> per le quali
|larghezza = 350px
|titolo =Gli spazi <math>L^p</math>
|contenuto = Gli spazi <math>L^p(\R)</math>, con <math>p\geq1</math> reale oppure infinito, sono le funzioni <math>f:\R\longrightarrow\C</math> che sono ''p-sommabili'' cioè:
<math>\int_{-\infty}^{\infty}|f(t)|^p dt<\infty</math>
}}
<math>L^{2}</math> non e'è un sottoinsieme di <math>L^{1}</math> , e quindi esistono funzioni in <math>L^{2}</math> per le quali
::<math> \hat{f}(\lambda)=\frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} f(x)e^{-i \lambda x}dx </math>
non e' ben definita.
 
Si puo'può pero'però definirla senza problemi in <math>L^{2} \cap L^{1}</math> ; considerato che <math>L^{2} \cap L^{1}</math> e'è un sottoinsieme denso di
<math>L^{2}</math> , e che <math>\forall f \in L^{2}</math>
esiste <math>\left\{f_n\right\} \subseteq L^{2} \cap L^{1}</math>
Line 61 ⟶ 67:
<math>0</math> (in effetti gli elementi di
<math>L^{2}</math> sono '''classi di equivalenza'''
di funzioni che sono uguali quasi ovunque), il problema di questa definizione e'è che la trasformata e'è ben definita come elemento dello spazio di Hilbert <math>L^{2}</math> , ma non puntualmente.
Si puo'può dimostrare che vale anche l''''uguaglianza di Parseval'''
:<math>\Vert f \Vert _2=\Vert \hat{f} \Vert _2</math>