# Analisi complessa/Definizione e proprietà della trasformata di Fourier

Analisi complessa
Copertina Tutti i moduli · Sviluppo
* Analisi complessa
** Numeri complessiAnalisi complessa/Numeri complessi
** Funzioni di variabile complessaAnalisi complessa/Funzioni di variabile complessa
** Funzioni elementariAnalisi complessa/Funzioni elementari
** DerivateAnalisi complessa/Derivate
** Integrali nel campo complessoAnalisi complessa/Integrali nel campo complesso
** Serie di potenzeAnalisi complessa/Serie di potenze
** Calcolo dei residuiAnalisi complessa/Calcolo dei residui
* Spazi di Hilbert
** Insiemi finiti, numerabili, non numerabiliAnalisi complessa/Insiemi finiti, numerabili, non numerabili
** Spazi metriciAnalisi complessa/Spazi metrici
** Campi e spazi vettorialiAnalisi complessa/Campi e spazi vettoriali
** Norma e spazi di BanachAnalisi complessa/Norma e spazi di Banach
** Prodotto scalare e spazi di HilbertAnalisi complessa/Prodotto scalare e spazi di Hilbert
** Serie trigonometricheAnalisi complessa/Serie trigonometriche
** Operatori lineari in HAnalisi complessa/Operatori lineari in H
* Trasformata di Fourier
** Definizione e proprietà della trasformata di FourierAnalisi complessa/Definizione e proprietà della trasformata di Fourier
** ConvoluzioneAnalisi complessa/Convoluzione
* Integrale di Lebesgue
** Integrale di RiemannAnalisi complessa/Integrale di Riemann
** Misura di LebesgueAnalisi complessa/Misura di Lebesgue
** Integrale di LebesgueAnalisi complessa/Integrale di Lebesgue
Modifica il sommario
chiudi indice

## Trasformata di Fourier
### Definizione e proprietà
#### Definizione 3.1.1.

    Sia $L^{1}(R)$l'insieme di tutte le funzioni a modulo integrabile su $\mathbb {R}$,
       $L^{1}(\mathbb {R} )=\left\{f:\mathbb {R} \rightarrow \mathbb {C} ,\int _{-\infty }^{\infty }|f(t)|dt<\infty \right\}$.
Sia $f\in L^{1}(\mathbb {R} )$, definiamo la trasformata di Fourier di $f$ come la funzione
    ${\hat {f}}(\lambda )={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }f(x)e^{-i\lambda x}dx$
definiamo poi l'antitrasformata di Fourier la funzione
    ${\check {g}}(x)={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }g(\lambda )e^{i\lambda x}d\lambda$
Sotto opportune ipotesi,
    $\left({\hat {f}}\right){\check}=f$
Cioè, l'antitrasformata della trasformata di una funzione $f$ coincide con la funzione stessa

### TEOREMA 3.1.2

Sotto opportune ipotesi di regolarità, per le funzioni $f,f_{1},f_{2}\in L^{1}(\mathbb {R} )$e le loro trasformate ${\hat {f}},{\hat {f_{1}}},{\hat {f_{2}}}$ valgono le seguenti proprietà algebriche:
    Siano $a,b\in \mathbb {C} ,k\in \mathbb {R}$:
   * $(af_{1}+bf_{2})^{\hat}=a{\hat {f_{1}}}+b{\hat {f_{2}}}$
   * $({\hat {f}})^{\hat}(x)=f(-x)$
   * $({\overline {f}})^{\hat}(\lambda )={\overline {{\hat {f}}(-\lambda )}}$
   * $(f(x-u))^{\hat}(\lambda )=e^{-i\lambda u}{\hat {f}}(\lambda )$
   * $(e^{i\mu x}f(x))^{\hat}(\lambda )={\hat {f}}(\lambda -\mu )$
   * $(f(kx))^{\hat}(\lambda )={\frac {1}{k}}{\hat {f}}\left({\frac {\lambda }{k}}\right)$
e le proprietà analitiche:
   * ${\hat {f}}$ è limitata, $|{\hat {f}}(\lambda )|\leq \Vert f\Vert _{L^{1}}={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }|f(x)|dx$
   * ${\hat {f}}$ è uniformemente continua
   * $\lim _{|\lambda |\rightarrow \infty }{\hat {f}}(\lambda )=0$
   * Se $f^{(m)}\in L^{1}(\mathbb {R} )$ e $\lim _{|x|\rightarrow \infty }f^{(n)}(x)=0$ per $n\leq m$, allora $(f^{(m)}(x))^{\hat}(\lambda )=(i\lambda )^{m}{\hat {f}}(\lambda )$
   * Se $x^{m}f(x)\in L^{1}(\mathbb {R} )$ allora
             $\forall j\leq m\quad x^{j}f(x)\in L^{1}(\mathbb {R} )$, e $((ix)^{j}f(x))(\lambda )^{\hat}={\hat {f}}^{(j)}(\lambda )$

## Trasformata di Fourier in $L^{2}$

Gli spazi $L^{p}$
$L^{p}(\mathbb {R} )$
$p\geq 1$
$f:\mathbb {R} \longrightarrow \mathbb {C}$
$\int _{-\infty }^{\infty }|f(t)|^{p}dt<\infty$
$L^{2}$ non è un sottoinsieme di $L^{1}$, e quindi esistono funzioni in $L^{2}$ per le quali
       ${\hat {f}}(\lambda )={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }f(x)e^{-i\lambda x}dx$
non è ben definita.
Si può però definirla senza problemi in $L^{2}\cap L^{1}$; considerato che $L^{2}\cap L^{1}$ è un sottoinsieme denso di $L^{2}$, e che $\forall f\in L^{2}$ esiste $\left\{f_{n}\right\}\subseteq L^{2}\cap L^{1}$ tale che $f_{n}\rightarrow f$ in norma $2$, possiamo definire
    ${\hat {f}}=\lim _{n\rightarrow \infty }{\hat {f_{n}}}$
Dato che la norma di $L^{2}$ non distingue tra funzioni che differiscono su un insieme di misura $0$ (in effetti gli elementi di $L^{2}$ sono classi di equivalenza di funzioni che sono uguali quasi ovunque), il problema di questa definizione è che la trasformata è ben definita come elemento dello spazio di Hilbert $L^{2}$, ma non puntualmente.
Si può dimostrare che vale anche l'uguaglianza di Parseval:
    $\Vert f\Vert _{2}=\Vert {\hat {f}}\Vert _{2}$