Le formule seguono la numerazione in base al paragrafo di riferimento (titoli H2 ). Ad ogni paragrafo il numero a sinistra incrementa.
La serie di Fourier si utilizza per l’analisi di segnali periodici. Si può rappresentare un segnale come somma di sinusoidi ed analizzare così sistemi fisici lineari e stazionari. Se la funzione in ingresso è sinusoidale, lo sarà anche l’uscita.
La trasformata di Fourier si utilizza per l’analisi di segnali non periodici. Si può rappresentare un segnale nel dominio delle frequenze ed analizzare il suo spettro .
Ad esempio, ad un segnale x ( t ) x(t) x ( t ) non periodico e tempo-continuo si associa una trasformata X ( f ) X(f) X ( f ) non periodica a frequenza continua. La tabella che segue sintetizza tutti i casi possibili.
Tempo Frequenza x ( t ) x(t) x ( t ) non periodico, tempo-continuoX ( f ) X(f) X ( f ) non periodica, f -continuax ( t ) x(t) x ( t ) periodico, tempo-continuoX k X_k X k non periodica, f -discretax [ n ] x[n] x [ n ] non periodico, tempo-discretoX ‾ ( f ) \overline{X}(f) X ( f ) periodica, f -continuax [ n ] x[n] x [ n ] periodico, tempo-discretoX ‾ k \overline{X}_k X k periodica, f -discreta
La serie di Fourier può comunque rappresentare un segnale non periodico limitatamente ad intervallo di ampiezza T 0 T_0 T 0 fissato.
I titoli dei paragrafi sono stati accorciati per migliorare la leggibilità. Si sottintende che serie e trasformata sono “di Fuorier”. La parola “tempo” è abbreviata con “t”. La parola “segnali” è stata eliminata dai titoli: si sottintende che si stanno trattando segnali.
Serie tempo-continuo
Data x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R funzione tempo-continuo periodica di periodo T 0 T_0 T 0 . Se sono soddisfatte le condizioni di Diriclet (condizioni sufficienti), allora è possibile calcolare la sequenza dei coefficienti della serie di Fourier X k ∈ C X_k \in \C X k ∈ C per l’indice k ∈ Z k \in \Z k ∈ Z :
X k : = 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ( t ) e − j 2 π k t / T 0 d t \Large X_k := \frac{1}{T_0} \int_{-T_0/2}^{T_0/2}x(t)e^{-j\,2\pi \,k\,t/T_0}dt X k := T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) e − j 2 π k t / T 0 d t
Dati tali coefficienti è possibile ottenere la funzione di partenza:
x ( t ) : = ∑ k = − ∞ ∞ X k e j 2 π k t / T 0 = ∑ k = − ∞ ∞ X k e j t ω \Large x(t):=\sum_{k=-\infty}^{\infty}X_ke^{j\,2\pi\,k\,t/T_0} = \sum_{k=-\infty}^{\infty}X_ke^{jt \omega} x ( t ) := k = − ∞ ∑ ∞ X k e j 2 π k t / T 0 = k = − ∞ ∑ ∞ X k e j t ω
Si osserva che, nei punti di discontinuità di I specie, la serie converge al punto medio: x m = [ x ( t + ) + x ( t − ) ] / 2 x_m = [x(t^+)+x(t^-)]/2 x m = [ x ( t + ) + x ( t − )] /2 .
Il segnale x ( t ) x(t) x ( t ) diventa una somma di sinusoidi di frequenza k f 0 kf_0 k f 0 con f 0 = 1 / T 0 f_0=1/T_0 f 0 = 1/ T 0 .
Se il segnale è a valori reali, ovvero x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R , allora X − k = X k ∗ X_{-k}=X_k^* X − k = X k ∗ quindi valgono le implicazioni:
il modulo (ampiezza) è simmetrico rispetto a k k k ∣ X − k ∣ = ∣ X k ∗ ∣ |X_{-k}|=|X_k^*| ∣ X − k ∣ = ∣ X k ∗ ∣
gli argomenti (fasi) sono asimmetrici rispetto a k k k arg ( X − k ) = − arg ( X k ) \arg(X_{-k})=-\arg(X_{k}) arg ( X − k ) = − arg ( X k )
Date le proprietà che seguono:
a ) X k e j 2 π k t / T 0 + X − k e j 2 π ( − k ) t / T 0 = 2 ∣ X k ∣ cos ∣ 2 π k t / T 0 + arg ( X k ) ∣ b ) X 0 = 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ( t ) e j ⋅ 0 d t = 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ( t ) d t = X m valore medio \large \eq{
a)&\quad X_k e^{j2\pi kt/T_0}+X_{-k}e^{j2\pi(-k)t/T_0}=2|X_k|\cos \Big|2\pi kt/T_0+\arg(X_{k})\Big| \\ \\
b)&\quad X_0 = \frac{1}{T_0} \int_{-T_0/2}^{T_0/2}x(t)e^{j\cdot 0}dt = \frac{1}{T_0} \int_{-T_0/2}^{T_0/2}x(t)dt = X_m \text{ valore medio}
} a ) b ) X k e j 2 πk t / T 0 + X − k e j 2 π ( − k ) t / T 0 = 2∣ X k ∣ cos 2 πk t / T 0 + arg ( X k ) X 0 = T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) e j ⋅ 0 d t = T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) d t = X m valore medio
Allora, data l’ampiezza A k = 2 ∣ X k ∣ A_k=2|X_k| A k = 2∣ X k ∣ e la fase φ k = arg ( X k ) \varphi_k = \arg(X_k) φ k = arg ( X k ) , si può scrivere x ( t ) x(t) x ( t ) come somma di segnali sinusoidali detti armoniche :
fondamentale ( k = 1 ) (k=1) ( k = 1 ) : A 1 cos ( 2 π f 0 t + φ 1 ) A_1 \cos(2\pi f_0 t + \varphi_1) A 1 cos ( 2 π f 0 t + φ 1 )
di ordine k ( k > 1 ) (k>1) ( k > 1 ) : A k cos ( 2 π f 0 t + φ k ) A_k \cos(2\pi f_0 t + \varphi_k) A k cos ( 2 π f 0 t + φ k )
“componente continua” ( k = 0 ) (k=0) ( k = 0 ) : X m X_m X m
x ( t ) = X m + ∑ k A k cos ( 2 π k f 0 t + φ k ) x(t)=X_m +\sum_{k} A_k \cos(2\pi kf_0 t + \varphi_k) x ( t ) = X m + k ∑ A k cos ( 2 πk f 0 t + φ k )
La rappresentazione grafica di { X k , k ∈ Z } \{ X_k, \, k \in \Z \} { X k , k ∈ Z } viene fatta mediante lo studio di:
spettro di ampiezza: ∣ X k ∣ |X_k| ∣ X k ∣
spettro di fase: arg ( X k ) \arg(X_k) arg ( X k )
Ribadendo un concetto già in parte espresso, dato x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R , lo spettro di ampiezza è simmetrico mentre lo spettro di fase è antisimmetrico (rispetto a k k k ).
Ripetizioni periodiche
x ( t ) → periodica ripetizione y ( t ) F ↓ ↑ serie di F X ( f ) → campionamento Y k \Large \begin{CD}
x(t) @> \text{ripetizione}>\text{periodica}> y(t) \\
@V\mathcal{F}VV @AA\text{serie di }\mathcal{F}A \\
X(f) @> \text{campionamento}>> Y_k
\end{CD} x ( t ) F ↓ ⏐ X ( f ) ripetizione periodica campionamento y ( t ) ⏐ ↑ serie di F Y k
Dato un segnale x ( t ) x(t) x ( t ) e la sua ripetizione periodica di periodo T 0 T_0 T 0 :
y ( t ) = ∑ n = − ∞ ∞ x ( t − n T 0 ) y(t) = \sum_{n=-\infty}^{\infty} x(t-nT_0) y ( t ) = n = − ∞ ∑ ∞ x ( t − n T 0 )
La sua trasformata di Fourier è:
Y k = 1 T 0 ∫ − T 0 / 2 T 0 / 2 y ( t ) e − j 2 π k t / T 0 d t = = 1 T 0 X ( k 1 T 0 ) \eq{Y_k &= \frac{1}{T_0} \int_{-T_0/2}^{T_0/2}y(t)e^{-j\,2\pi \,k\,t/T_0}dt=\\
&= \frac{1}{T_0} X\bigg(k\frac{1}{T_0}\bigg)
} Y k = T 0 1 ∫ − T 0 /2 T 0 /2 y ( t ) e − j 2 π k t / T 0 d t = = T 0 1 X ( k T 0 1 )
Data x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R funzione tempo-continuo non periodica che rispetta le condizioni di Diriclet , allora si può definire la trasformata di Fourier :
X ( f ) = F [ x ( t ) ] : = ∫ − ∞ ∞ x ( t ) e − j 2 π f t d t ∈ C \large X(f) = \mathcal{F}[x(t)]:= \int_{-\infty}^{\infty}x(t)e^{-j2\pi ft}dt \in \C X ( f ) = F [ x ( t )] := ∫ − ∞ ∞ x ( t ) e − j 2 π f t d t ∈ C
Si possono ricavare modulo e argomento:
X ( f ) = ∣ X ( f ) ∣ e j arg ( X ( f ) ) ∈ C X(f)=|X(f)|e^{j\arg{(X(f))}} \in \C X ( f ) = ∣ X ( f ) ∣ e j a r g ( X ( f )) ∈ C
Dalla funzione in campo complesso si estraggono le seguenti funzioni reali:
modulo: spettro di ampiezza
fase: spettro di fase
delle quali è possibile studiare i grafici.
A ( f ) = ∣ X ( f ) ∣ ∈ R Θ ( f ) = arg ( X ( f ) ) = ∠ X ( f ) ∈ R \eq{
& A(f) = |X(f)| \in \R\\
& \Theta(f) = \arg(X(f)) = \angle X(f)\in \R\\
} A ( f ) = ∣ X ( f ) ∣ ∈ R Θ ( f ) = arg ( X ( f )) = ∠ X ( f ) ∈ R
La fase ad una data frequenza indica l’allineamento temporale della componente sinusoidale alla data frequenza nel segnale x ( t ) x(t) x ( t ) .
Si può ricostruire il segnale di partenza con:
x ( t ) = ∫ − ∞ ∞ X ( f ) e j 2 π f t d f \large x(t)=\int_{-\infty}^{\infty}X(f)e^{j2\pi ft}df x ( t ) = ∫ − ∞ ∞ X ( f ) e j 2 π f t df
Il segnale nel dominio temporale x ( t ) x(t) x ( t ) è rappresentato come una somma di sinusoidi:
x ( t ) = ∫ − ∞ ∞ ∣ X ( f ) ∣ e j [ 2 π f t + arg ( X ( f ) ) ] d f \large x(t)=\int_{-\infty}^{\infty}|X(f)|e^{j[2\pi ft+\arg{(X(f))}]}df x ( t ) = ∫ − ∞ ∞ ∣ X ( f ) ∣ e j [ 2 π f t + a r g ( X ( f )) ] df
Tra le condizioni necessarie è importante ricordare che l’energia associata esiste finita ed è tale che:
E x = ∫ − ∞ ∞ x 2 ( t ) d t E_x=\int_{-\infty}^{\infty} x^2(t)dt E x = ∫ − ∞ ∞ x 2 ( t ) d t
Se x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R allora X ( − f ) = X ‾ ( f ) X(-f)=\overline{X}(f) X ( − f ) = X ( f ) quindi valgono le implicazioni:
il modulo (ampiezza) è simmetrico∣ X ( − f ) ∣ = ∣ X ( f ) ∣ |X(-f)|=|X(f)| ∣ X ( − f ) ∣ = ∣ X ( f ) ∣
l’argomento (fase) è asimmetricoarg ( X ( − f ) ) = − arg ( X ( k ) ) \arg(X(-f))=-\arg(X(k)) arg ( X ( − f )) = − arg ( X ( k ))
Si può riscrivere il segnale come somma di infiniti termini sinusoidali con ampiezza 2 ∣ X ( f ) ∣ 2|X(f)| 2∣ X ( f ) ∣ e fase iniziale φ 0 = arg ( X ( f ) ) \varphi_0 = \arg(X(f)) φ 0 = arg ( X ( f )) :
x ( t ) = ∫ − ∞ 0 X ( f ) e j 2 π f t d f + ∫ 0 + ∞ X ( f ) e j 2 π f t d f = = ∫ 0 + ∞ 2 ∣ X ( f ) ∣ ⋅ cos [ 2 π f t + arg ( X ( f ) ) ] d f \eq{
x(t) &= \int_{-\infty}^{0}X(f)e^{j2\pi ft}df + \int_{0}^{+\infty}X(f)e^{j2\pi ft}df =\\
&= \int_{0}^{+\infty} 2 |X(f)| \cdot \cos\!\big[ 2\pi ft+\arg{(X(f))} \big] df
} x ( t ) = ∫ − ∞ 0 X ( f ) e j 2 π f t df + ∫ 0 + ∞ X ( f ) e j 2 π f t df = = ∫ 0 + ∞ 2∣ X ( f ) ∣ ⋅ cos [ 2 π f t + arg ( X ( f )) ] df
Ribadendo un concetto già in parte espresso, la rappresentazione grafica di X ( f ) X(f) X ( f ) viene fatta mediante lo studio di:
spettro di ampiezze: ∣ X ( f ) ∣ |X(f)| ∣ X ( f ) ∣
spettro di fase: arg ( X ( f ) ) \arg(X(f)) arg ( X ( f ))
Dato x ( t ) ∈ R x(t) \in \R x ( t ) ∈ R , lo spettro di ampiezze è simmetrico mentre lo spettro di fase è antisimmetrico (logicamente non più rispetto a k k k , ma rispetto all’origine degli assi).
Se x ( t ) x(t) x ( t ) è una funzione pari, la sua trasformata può essere semplificata prendendo in considerazione solo la parte reale del fattore e − j ( … ) e^{-j (\dots)} e − j ( … ) . Stesso discorso per funzioni dispari: si prende solo la parte immaginaria.
x ( t ) pari ⟹ X ( f ) = 2 ∫ 0 ∞ x ( t ) cos ( 2 π f t ) d t x ( t ) dispari ⟹ X ( f ) = − 2 j ∫ 0 ∞ x ( t ) sin ( 2 π f t ) d t \eq{
& x(t) \text{ pari }\implies X(f)=2\int_{0}^{\infty}x(t)\cos(2\pi ft)dt \\
& x(t) \text{ dispari }\implies X(f)=-2j\int_{0}^{\infty}x(t)\sin(2\pi ft)dt \\
} x ( t ) pari ⟹ X ( f ) = 2 ∫ 0 ∞ x ( t ) cos ( 2 π f t ) d t x ( t ) dispari ⟹ X ( f ) = − 2 j ∫ 0 ∞ x ( t ) sin ( 2 π f t ) d t
Dato un generico valore di α ∈ R \alpha \in \R α ∈ R , si deve prestare molta attenzione all’uguaglianza che segue, poiché chiarisce alcuni passaggi espressi nelle formule precedenti:
e − j α = cos ( α ) − j sin ( α ) ⟹ ∫ x ( t ) e − j α t d t = ∫ x ( t ) cos ( α t ) d t − j ∫ x ( t ) sin ( α t ) d t e^{-j\alpha} = \cos(\alpha)-j\sin(\alpha) \\
\implies \int x(t)e^{-j\alpha t}dt=\int x(t)\cos(\alpha t)dt -j\int x(t)\sin(\alpha t)dt e − j α = cos ( α ) − j sin ( α ) ⟹ ∫ x ( t ) e − j α t d t = ∫ x ( t ) cos ( α t ) d t − j ∫ x ( t ) sin ( α t ) d t
Teoremi e Proprietà
La notazione con ω = 2 π f \omega = 2\pi f ω = 2 π f si appoggia ai concetti di teoria dei circuiti .
Linearità
x ( t ) = α x 1 ( t ) + β x 2 ( t ) ⟹ y ( t ) = F [ x ( t ) ] = α F [ x 1 ( t ) ] + β F [ x 2 ( t ) ] x(t)=\alpha x_1(t) + \beta x_2(t)
\implies y(t)=\mathcal{F}[x(t)]=\alpha \mathcal{F}[x_1(t)] +\beta \mathcal{F}[x_2(t)] x ( t ) = α x 1 ( t ) + β x 2 ( t ) ⟹ y ( t ) = F [ x ( t )] = α F [ x 1 ( t )] + β F [ x 2 ( t )]
Dualità
F [ a ( t ) ] = b ( f ) ⟹ F [ b ( t ) ] = a ( − f ) \mathcal{F}[a(t)] = b(f) \implies \mathcal{F}[b(t)] = a(-f) F [ a ( t )] = b ( f ) ⟹ F [ b ( t )] = a ( − f )
Valore nello zero
X ( 0 ) = ∫ − ∞ + ∞ x ( t ) d t ∧ x ( 0 ) = ∫ − ∞ + ∞ X ( f ) d f X(0) = \int_{-\infty}^{+\infty} x(t) dt \; \land \; x(0)= \int_{-\infty}^{+\infty} X(f)df X ( 0 ) = ∫ − ∞ + ∞ x ( t ) d t ∧ x ( 0 ) = ∫ − ∞ + ∞ X ( f ) df
Derivazione
Sia x ( t ) x(t) x ( t ) continua nel suo dominio, con derivata y ( t ) = d / d t x ( t ) y(t)=d/dt\;x(t) y ( t ) = d / d t x ( t ) . Se esistono le trasformate di Fourier di tali funzioni, allora:
Y ( f ) = F [ y ( t ) ] = X ( f ) ⋅ j 2 π f = X ( f ) ⋅ j ω Y(f)=\mathcal{F}[y(t)]=X(f)\cdot j2\pi f = X(f)\cdot j \omega Y ( f ) = F [ y ( t )] = X ( f ) ⋅ j 2 π f = X ( f ) ⋅ jω
La relazione che intercorre tra i segnali x ( t ) x(t) x ( t ) ed y ( t ) y(t) y ( t ) implica:
Y ( 0 ) = ∫ − ∞ ∞ y ( t ) d t = ∫ − ∞ ∞ d d t x ( t ) d t = 0 Y(0)=\int_{-\infty}^{\infty} y(t)dt= \int_{-\infty}^{\infty} \frac{d}{dt} x(t)dt=0 Y ( 0 ) = ∫ − ∞ ∞ y ( t ) d t = ∫ − ∞ ∞ d t d x ( t ) d t = 0
Integrazione
x ( t ) = ∫ − ∞ t y ( τ ) d τ ∧ ∫ − ∞ ∞ y ( t ) d t = 0 ⟹ X ( f ) = Y ( f ) j 2 π f = Y ( f ) j ω f ≠ 0 x(t) = \int_{-\infty}^{t}y(\tau)d\tau \;\land\; \int_{-\infty}^{\infty} y(t)dt=0 \implies X(f)=\frac{Y(f)}{j2\pi f} = \frac{Y(f)}{j \omega}\quad f\neq 0 x ( t ) = ∫ − ∞ t y ( τ ) d τ ∧ ∫ − ∞ ∞ y ( t ) d t = 0 ⟹ X ( f ) = j 2 π f Y ( f ) = jω Y ( f ) f = 0
Teorema del Ritardo
F [ x ( t − t 0 ) ] = X ( f ) ⋅ e − j 2 π f t 0 \large \mathcal{F} \Big[ x(t-t_0) \Big] = X(f) \cdot e^{-j2\pi f t_0} F [ x ( t − t 0 ) ] = X ( f ) ⋅ e − j 2 π f t 0
Questa operazione corrisponde ad un ritardo se t 0 > 0 t_0 > 0 t 0 > 0 , quindi il grafico trasla verso destra. Altrimenti, se t 0 < 0 t_0 < 0 t 0 < 0 , si effettua un anticipo del segnale.
Come mostrato dalle formule seguenti, un ritardo temporale modifica lo spettro di fase della trasformata del segnale ma non modifica il suo spettro di ampiezza.
y ( t ) = x ( t − t 0 ) Y ( f ) = X ( f ) ⋅ e − j 2 π f t 0 ⟹ ∣ Y ( f ) ∣ = ∣ X ( f ) ∣ ⟹ ∠ Y ( f ) = ∠ X ( f ) − 2 π f t 0 \eq{
& y(t) = x(t-t_0)\\
& Y(f) = X(f) \cdot e^{-j2\pi f t_0}\\
\implies & |Y(f)| = |X(f)| \\
\implies & \angle Y(f) = \angle X(f) -2\pi f t_0
} ⟹ ⟹ y ( t ) = x ( t − t 0 ) Y ( f ) = X ( f ) ⋅ e − j 2 π f t 0 ∣ Y ( f ) ∣ = ∣ X ( f ) ∣ ∠ Y ( f ) = ∠ X ( f ) − 2 π f t 0
Lo sfasamento introdotto dal ritardo varia linearmente con la frequenza.
Prodotto per Fasore
F [ x ( t ) e j 2 π f 0 t ] = X ( f − f 0 ) F [ x ( t ) e − j 2 π f 0 t ] = X ( f + f 0 ) \large \eq{
\mathcal{F}& \bigg[ x(t)e^{j2\pi f_0 t} \bigg] = X(f-f_0)\\
\mathcal{F}&\bigg[x(t)e^{-j2\pi f_0 t} \bigg] = X(f+f_0)
} F F [ x ( t ) e j 2 π f 0 t ] = X ( f − f 0 ) [ x ( t ) e − j 2 π f 0 t ] = X ( f + f 0 )
La moltiplicazione per un esponenziale nel dominio del tempo equivale ad un ritardo (traslazione) nel dominio delle frequenze.
Proprietà della Modulazione
F [ x ( t ) cos ( 2 π f 0 t ) ] = 1 2 [ X ( f − f 0 ) + X ( f + f 0 ) ] \mathcal{F} \bigg[ x(t)\cos(2\pi f_0 t) \bigg] =
\frac{1}{2}\bigg[X(f-f_0)+X(f+f_0)\bigg] F [ x ( t ) cos ( 2 π f 0 t ) ] = 2 1 [ X ( f − f 0 ) + X ( f + f 0 ) ]
Grazie alla relazione di Eulero, si può anche scrivere:
F [ x ( t ) sin ( 2 π f 0 t ) ] = 1 2 j [ X ( f − f 0 ) − X ( f + f 0 ) ] \mathcal{F} \bigg[ x(t)\sin(2\pi f_0 t) \bigg] =
\frac{1}{2j}\bigg[X(f-f_0)-X(f+f_0)\bigg] F [ x ( t ) sin ( 2 π f 0 t ) ] = 2 j 1 [ X ( f − f 0 ) − X ( f + f 0 ) ]
Proprietà del prodotto
Dati due segnali x ( t ) x(t) x ( t ) e y ( t ) y(t) y ( t ) e le relative trasformate, dato il prodotto:
z ( t ) = x ( t ) ⋅ y ( t ) z(t) = x(t)\cdot y(t) z ( t ) = x ( t ) ⋅ y ( t )
La trasformata del prodotto è data dall’operazione di integrale di convoluzione, che si indica con il simbolo ⊗ \otimes ⊗ ed equivale a:
Z ( f ) = ∫ − ∞ + ∞ X ( ν ) Y ( f − ν ) = X ( f ) ⊗ Y ( f ) Z(f) = \int_{-\infty}^{+\infty} X(\nu) Y(f-\nu) = X(f) \otimes Y(f) Z ( f ) = ∫ − ∞ + ∞ X ( ν ) Y ( f − ν ) = X ( f ) ⊗ Y ( f )
Convoluzione
Dati due segnali x ( t ) x(t) x ( t ) e y ( t ) y(t) y ( t ) , se esistono le trasformate di Fourier di tali funzioni allora l’operatore di convoluzione ⊗ \otimes ⊗ è tale che:
z ( t ) = x ( t ) ⊗ y ( t ) = ∫ − ∞ + ∞ x ( τ ) ⋅ y ( t − τ ) d τ ⟹ Z ( f ) = X ( f ) ⋅ Y ( f ) \eq{
& z(t)=x(t) \otimes y(t)=\int_{-\infty}^{+\infty} x(\tau)\cdot y(t-\tau)d\tau \\
\implies & Z(f) = X(f) \cdot Y(f)
} ⟹ z ( t ) = x ( t ) ⊗ y ( t ) = ∫ − ∞ + ∞ x ( τ ) ⋅ y ( t − τ ) d τ Z ( f ) = X ( f ) ⋅ Y ( f )
Si può calcolare la convoluzione in un dato istante t 0 t_0 t 0 restringendo il dominio:
z ( t 0 ) = x ( t ) ⊗ y ( t ) ∣ t = t 0 z(t_0)=x(t)\otimes y(t)\bigg|_{t=t_0} z ( t 0 ) = x ( t ) ⊗ y ( t ) t = t 0
Relazione di Parseval
Dati due segnali complessi x ( t ) x(t) x ( t ) e y ( t ) y(t) y ( t ) ed il complesso coniugato y ( t ) ∗ y(t)^* y ( t ) ∗ di y ( t ) y(t) y ( t ) . Siano definite le trasformate per tali segnali:
F [ x ( t ) ] = X ( f ) F [ y ( t ) ] = Y ( f ) F [ y ( t ) ∗ ] = Y ( f ) ∗ \eq{
& \mathcal{F} \bigg[ x(t) \bigg] = X(f)\\
& \mathcal{F} \bigg[ y(t) \bigg] = Y(f)\\
& \mathcal{F} \bigg[ y(t)^* \bigg] = Y(f)^*
} F [ x ( t ) ] = X ( f ) F [ y ( t ) ] = Y ( f ) F [ y ( t ) ∗ ] = Y ( f ) ∗
Allora:
∫ − ∞ + ∞ x ( t ) y ( t ) ∗ d t = ∫ − ∞ + ∞ X ( f ) Y ( f ) ∗ d f \int_{-\infty}^{+\infty} x(t)y(t)^* dt = \int_{-\infty}^{+\infty} X(f)Y(f)^* df ∫ − ∞ + ∞ x ( t ) y ( t ) ∗ d t = ∫ − ∞ + ∞ X ( f ) Y ( f ) ∗ df
Si osserva che, nel caso in cui y ( t ) = x ( t ) y(t)=x(t) y ( t ) = x ( t ) , la relazione di Parseval equivale all’energia dissipata dal segnale:
∫ − ∞ + ∞ ∣ x ( t ) ∣ 2 d t = ∫ − ∞ + ∞ ∣ X ( f ) ∣ 2 d f = E x \int_{-\infty}^{+\infty} |x(t)|^2 dt = \int_{-\infty}^{+\infty} |X(f)|^2 df=E_x ∫ − ∞ + ∞ ∣ x ( t ) ∣ 2 d t = ∫ − ∞ + ∞ ∣ X ( f ) ∣ 2 df = E x
Teorema del cambiamento di scala
Una dilatazione nel dominio del tempo comporta una compressione nel dominio delle frequenze:
x ( α t ) → F 1 ∣ α ∣ X ( f α ) x(\alpha t) \xrightarrow{\; \mathcal{F}\;} \frac{1}{|\alpha|} X\bigg(\frac{f}{\alpha}\bigg) x ( α t ) F ∣ α ∣ 1 X ( α f )
Dato il segnale x ( t ) x(t) x ( t ) tempo-continuo con periodo T 0 T_0 T 0 , la sua trasformata è:
F [ x ( t ) ] = F [ ∑ k = − ∞ ∞ X k e j 2 π k t / T 0 ] = = ∑ k = − ∞ ∞ X k ⋅ F [ e j 2 π k t / T 0 ] = = ∑ k = − ∞ ∞ X k ⋅ δ ( f − k T 0 ) = = ∑ k = − ∞ ∞ X k ⋅ δ ( f − k f 0 ) \eq{
\Large \mathcal{F}[x(t)]&=
\mathcal{F}\Bigg[\sum_{k=-\infty}^{\infty}X_k e^{j2\pi k t/T_0} \Bigg]=\\
&=\sum_{k=-\infty}^{\infty}X_k\cdot\mathcal{F}\big[e^{j2\pi k t/T_0}\big]=\\
&=\sum_{k=-\infty}^{\infty}X_k\cdot \delta\bigg(f-\frac{k}{T_0}\bigg)=\\
&=\sum_{k=-\infty}^{\infty}X_k\cdot \delta\bigg(f-kf_0\bigg)
} F [ x ( t )] = F [ k = − ∞ ∑ ∞ X k e j 2 πk t / T 0 ] = = k = − ∞ ∑ ∞ X k ⋅ F [ e j 2 πk t / T 0 ] = = k = − ∞ ∑ ∞ X k ⋅ δ ( f − T 0 k ) = = k = − ∞ ∑ ∞ X k ⋅ δ ( f − k f 0 )
Serie tempo-discreto
La sequenza tempo-discreta e periodica x [ n ] x[n] x [ n ] di periodo N 0 N_0 N 0 è esprimibile come una somma di oscillazioni sinusoidali poste in corrispondenza delle frequenze armoniche relative:
f k : = k N 0 T ∀ 0 ≤ k ≤ N 0 − 1 , k ∈ Z (3.0) \tag{3.0} f_k := \frac{k}{N_0 T} \quad \forall 0\leq k \leq N_0 -1,\; k \in \Z f k := N 0 T k ∀0 ≤ k ≤ N 0 − 1 , k ∈ Z ( 3.0 )
Nella formula è presente il periodo di campionamento T poiché f k f_k f k si può esprimere come:
f k = k ⋅ f c N 0 = k ⋅ 1 N 0 ⋅ T = k N 0 T f_k = k \cdot \frac{f_c}{N_0} = k \cdot \frac{1}{N_0 \cdot T} = \frac{k}{N_0 T} f k = k ⋅ N 0 f c = k ⋅ N 0 ⋅ T 1 = N 0 T k
La sequenza dei coefficienti discreti X ‾ k \overline{X}_k X k è generalmente chiamata trasformata discreta di Fourier :
X ‾ k = 1 N 0 ∑ n = 0 N 0 − 1 x [ n ] e − j 2 π k n / N 0 ∀ k ∈ Z (3.1) \tag{3.1} \large \overline{X}_k = \frac{1}{N_0} \sum_{n=0}^{N_0 -1} x[n]e^{-j2\pi kn/N_0} \quad \forall k \in \Z X k = N 0 1 n = 0 ∑ N 0 − 1 x [ n ] e − j 2 πkn / N 0 ∀ k ∈ Z ( 3.1 )
F D [ x [ n ] ] : = X ‾ k , k ∈ Z (3.2) \tag{3.2} \large \mathcal{F}_D \bigg[ x[n]\bigg]:= \overline{X}_k ,\; k \in \Z F D [ x [ n ] ] := X k , k ∈ Z ( 3.2 )
Si osserva che la somma degli X ‾ k \overline{X}_k X k vale per N 0 N_0 N 0 sia pari che dispari e che anche X ‾ k \overline{X}_k X k ha periodo N 0 N_0 N 0 .
La formula inversa è:
x [ n ] = ∑ k = 0 N 0 − 1 X ‾ k e j 2 π k n / N 0 = F D − 1 [ X ‾ k ] n ∈ Z (3.3) \tag{3.3} \large x[n]=\sum_{k=0}^{N_0 -1} \overline{X}_k e^{j2\pi kn/N_0} = \mathcal{F}_D^{-1} \biggl[ \overline{X}_k \biggr]\quad n \in \Z x [ n ] = k = 0 ∑ N 0 − 1 X k e j 2 πkn / N 0 = F D − 1 [ X k ] n ∈ Z ( 3.3 )
Dimostrazione della formula inversa :
Per dimostrare la formula 3.3 , si moltiplica da entrambe le parti per il fattore e − j 2 π n m / N 0 e^{-j\, 2\pi\,n \,m/ N_0} e − j 2 π n m / N 0 con 0 ≤ m ≤ N 0 − 1 0\leq m \leq N_0 -1 0 ≤ m ≤ N 0 − 1 . Bisogna quindi usare una sommatoria:
∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 = ∑ n = 0 N 0 − 1 ∑ k = 0 N 0 − 1 X ‾ k e j 2 π k n / N 0 e − j 2 π n m / N 0 (3.4) \tag{3.4}
\sum_{n=0}^{N_0 -1} x[n] e^{-j\, 2\pi\,n \,m/ N_0} = \sum_{n=0}^{N_0 -1}\sum_{k=0}^{N_0 -1} \overline{X}_k e^{j 2\pi k n / N_0} e^{-j\, 2\pi\,n \,m/ N_0} n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 = n = 0 ∑ N 0 − 1 k = 0 ∑ N 0 − 1 X k e j 2 πkn / N 0 e − j 2 π n m / N 0 ( 3.4 )
Il secondo membro della 3.4 può essere riscritta invertendo l’ordine delle sommatorie ed “estraendo” il termine X ‾ k \overline{X}_k X k :
∑ n = 0 N 0 − 1 ∑ k = 0 N 0 − 1 X ‾ k e j 2 π k n / N 0 e − j 2 π n m / N 0 = ∑ k = 0 N 0 − 1 X ‾ k ∑ n = 0 N 0 − 1 e j 2 π n ( k − m ) / N 0 (3.5) \tag{3.5} \sum_{n=0}^{N_0 -1}\sum_{k=0}^{N_0 -1} \overline{X}_k e^{j 2\pi k n / N_0} e^{-j\, 2\pi\,n \,m/ N_0} = \sum_{k=0}^{N_0 -1} \overline{X}_k \sum_{n=0}^{N_0 -1}e^{j 2\pi n(k-m) / N_0} n = 0 ∑ N 0 − 1 k = 0 ∑ N 0 − 1 X k e j 2 πkn / N 0 e − j 2 π n m / N 0 = k = 0 ∑ N 0 − 1 X k n = 0 ∑ N 0 − 1 e j 2 πn ( k − m ) / N 0 ( 3.5 )
La sommatoria in n assume valori diversi a seconda della relazione che intercorre tra k ed m :
∑ n = 0 N 0 − 1 e j 2 π n ( k − m ) / N 0 = { 0 m ≠ k N 0 m = k (3.6) \tag{3.6} \sum_{n=0}^{N_0 -1}e^{j 2\pi n(k-m) / N_0} =
\sis{
0\quad & m \neq k\\
N_0 \quad & m = k
} n = 0 ∑ N 0 − 1 e j 2 πn ( k − m ) / N 0 = { 0 N 0 m = k m = k ( 3.6 )
Usando l’impulso discreto di Dirac, si può riscrivere la 3.5 come:
∑ k = 0 N 0 − 1 X ‾ k ⋅ N 0 ⋅ δ [ k − m ] = X ‾ m ⋅ N 0 (3.7) \tag{3.7}
\sum_{k=0}^{N_0 -1} \overline{X}_k \cdot N_0 \cdot \delta[k-m] = \overline{X}_m \cdot N_0 k = 0 ∑ N 0 − 1 X k ⋅ N 0 ⋅ δ [ k − m ] = X m ⋅ N 0 ( 3.7 )
Si può riscrivere la 3.4 come:
∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 = N 0 ⋅ X ‾ m ∀ 0 ≤ m ≤ N 0 − 1 ⟹ ∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 = N 0 ⋅ 1 N 0 ∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 ⟹ ∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 = ∑ n = 0 N 0 − 1 x [ n ] e − j 2 π n m / N 0 \tag{3.8}
\eq{
& \sum_{n=0}^{N_0 -1} x[n] e^{-j\, 2\pi\,n \,m/ N_0} = N_0 \cdot \overline{X}_m \quad
\forall 0\leq m \leq N_0 -1\\
\implies & \sum_{n=0}^{N_0 -1} x[n] e^{-j\, 2\pi\,n \,m/ N_0} = N_0 \cdot \frac{1}{N_0} \sum_{n=0}^{N_0 -1} x[n]e^{-j\, 2\pi\,n \,m/ N_0}\\
\implies & \sum_{n=0}^{N_0 -1} x[n] e^{-j\, 2\pi\,n \,m/ N_0} = \sum_{n=0}^{N_0 -1} x[n]e^{-j\, 2\pi\,n \,m/ N_0}
} ⟹ ⟹ n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 = N 0 ⋅ X m ∀0 ≤ m ≤ N 0 − 1 n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 = N 0 ⋅ N 0 1 n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 = n = 0 ∑ N 0 − 1 x [ n ] e − j 2 π n m / N 0 ( 3.8 )
L’uguaglianza è verificata: la formula è dimostrata.
Teoremi e Proprietà
F D \mathcal{F}_D F D effettua operazioni tra vettori. In ambiente MATLAB si fa uso della funzione fft()
: l’algoritmo più efficiente per effettuare la DFT (Discrete Fourier Trasform ).
Prodotto
p [ n ] = x [ n ] ⋅ y [ n ] P ‾ k = N 0 ⋅ X ‾ k ⊗ Y ‾ k \eq{
& p[n]=x[n] \cdot y[n] \\
& \overline{P}_k = N_0 \cdot \overline{X}_k \otimes \overline{Y}_k
} p [ n ] = x [ n ] ⋅ y [ n ] P k = N 0 ⋅ X k ⊗ Y k
La convoluzione tra le trasformate discrete, nel campo delle frequenze, è una somma di convoluzione ciclica tra le sequenze periodiche (X ‾ k \overline{X}_k X k e Y ‾ k \overline{Y}_k Y k ).
Convoluzione Ciclica
Sia z [ n ] z[n] z [ n ] la sequenza data come somma di convoluzione ciclica tra le sequenze periodiche x [ n ] x[n] x [ n ] e y [ n ] y[n] y [ n ] (di periodo N 0 N_0 N 0 ).
z [ n ] = x [ n ] ⊗ y [ n ] → F D Z ‾ k = X ‾ k ⋅ Y ‾ k z[n] = x[n]\otimes y[n]\;\xrightarrow{\quad \mathcal{F}_D \quad}\; \overline{Z}_k=\overline{X}_k\cdot\overline{Y}_k z [ n ] = x [ n ] ⊗ y [ n ] F D Z k = X k ⋅ Y k
Poiché si tratta di un teorema molto importante, si procede con la dimostrazione:
z [ n ] = x [ n ] ⊗ y [ n ] = 1 N 0 ∑ m = 0 N 0 − 1 x [ m ] ⋅ y [ n − m ] = 1 N 0 ∑ m = 0 N 0 − 1 y [ m ] ⋅ x [ n − m ] ⟹ Z k ‾ = 1 N 0 ∑ n = 0 N 0 − 1 z [ n ] e − j 2 π k n / N 0 = 1 N 0 ∑ n = 0 N 0 − 1 1 N 0 ∑ m = 0 N 0 − 1 x [ m ] y [ n − m ] e − j 2 π k n / N 0 = = 1 N 0 ∑ m = 0 N 0 − 1 x [ m ] ∑ n = 0 N 0 − 1 y [ n − m ] e − j 2 π k n / N 0 = = 1 N 0 ∑ m = 0 N 0 − 1 x [ m ] Y ‾ k e − j 2 π k m / N 0 = X ‾ k ⋅ Y ‾ k \eq{
& z[n] =x[n]\otimes y[n]= \frac{1}{N_0}\sum_{m=0}^{N_0 -1} x[m]\cdot y[n-m] = \frac{1}{N_0}\sum_{m=0}^{N_0 -1} y[m]\cdot x[n-m]\\
\implies \overline{Z_k} &= \frac{1}{N_0} \sum_{n=0}^{N_0 -1} z[n] e^{-j 2\pi k n / N_0} = \frac{1}{N_0} \sum_{n=0}^{N_0 -1}\frac{1}{N_0} \sum_{m=0}^{N_0 -1} x[m] y[n-m] e^{-j 2\pi k n / N_0}=\\
&= \frac{1}{N_0} \sum_{m=0}^{N_0 -1} x[m] \sum_{n=0}^{N_0 -1} y[n-m] e^{-j 2\pi k n / N_0} =\\
&= \frac{1}{N_0} \sum_{m=0}^{N_0 -1} x[m] \overline{Y}_k e^{-j 2\pi\, k\, m / N_0} =\overline{X}_k \cdot \overline{Y}_k
} ⟹ Z k z [ n ] = x [ n ] ⊗ y [ n ] = N 0 1 m = 0 ∑ N 0 − 1 x [ m ] ⋅ y [ n − m ] = N 0 1 m = 0 ∑ N 0 − 1 y [ m ] ⋅ x [ n − m ] = N 0 1 n = 0 ∑ N 0 − 1 z [ n ] e − j 2 πkn / N 0 = N 0 1 n = 0 ∑ N 0 − 1 N 0 1 m = 0 ∑ N 0 − 1 x [ m ] y [ n − m ] e − j 2 πkn / N 0 = = N 0 1 m = 0 ∑ N 0 − 1 x [ m ] n = 0 ∑ N 0 − 1 y [ n − m ] e − j 2 πkn / N 0 = = N 0 1 m = 0 ∑ N 0 − 1 x [ m ] Y k e − j 2 π k m / N 0 = X k ⋅ Y k
Campionamento in frequenza
La sequenza periodica y [ n ] y[n] y [ n ] di periodo N 0 N_0 N 0 si costruisce a partire dalla sequenza non periodica x [ n ] x[n] x [ n ] .
y [ n ] = ∑ m = − ∞ ∞ x [ n − m N 0 ] y[n]=\sum_{m=-\infty}^{\infty} x[n-mN_0] y [ n ] = m = − ∞ ∑ ∞ x [ n − m N 0 ]
Data la trasformata di x [ n ] x[n] x [ n ] :
X ‾ ( f ) = ∑ n = − ∞ + ∞ x [ n ] e − j 2 π n f T \overline{X}(f) = \sum_{n=-\infty}^{+\infty} x[n] e^{-j2\pi nfT} X ( f ) = n = − ∞ ∑ + ∞ x [ n ] e − j 2 πn f T
Allora la trasformata della periodicizzazione discreta di x [ n ] x[n] x [ n ] è:
Y ‾ k = 1 N 0 X ‾ ( f ) = 1 N 0 X ‾ ( k N 0 T ) \overline{Y}_k = \frac{1}{N_0}\overline{X}(f) = \frac{1}{N_0}\overline{X}\bigg(\frac{k}{N_0 T}\bigg) Y k = N 0 1 X ( f ) = N 0 1 X ( N 0 T k )
Data una sequenza, ovvero un segnale tempo-discreto non periodico x [ n ] x[n] x [ n ] . La condizione di assoluta sommabilità della sequenza è condizione sufficiente per l’esistenza della sua trasformata di Fourier:
∑ n = − ∞ ∞ ∣ x [ n ] ∣ < ∞ ⟹ ∃ X ‾ ( f ) = ∑ n = − ∞ ∞ x [ n ] e − j 2 π f n T (4.0) \tag{4.0}
\large \sum_{n=-\infty}^{\infty}|x[n]| < \infty \implies \exist \; \overline{X}(f) = \sum_{n=-\infty}^{\infty}x[n]e^{-j2\pi fnT} n = − ∞ ∑ ∞ ∣ x [ n ] ∣ < ∞ ⟹ ∃ X ( f ) = n = − ∞ ∑ ∞ x [ n ] e − j 2 π f n T ( 4.0 )
La funzione X ‾ ( f ) \overline{X}(f) X ( f ) è indicata con l’overline per attuare una distinzione dalla trasformata di Fourier per segnali tempo-continui X ( f ) X(f) X ( f ) . Questa scrittura non è in nessun modo legata al concetto di complesso coniugato .
La sequenza x [ n ] x[n] x [ n ] può essere intesa come il campionamento di un segnale tempo-continuo x ( t ) x(t) x ( t ) . La trasformata X ‾ ( f ) \overline{X}(f) X ( f ) è una funzione periodica di periodo pari alla cosiddetta frequenza di campionamento f c = 1 / T f_c = 1/T f c = 1/ T .
X ‾ ( f ) = X ‾ ( f + f c ) = X ‾ ( f + 1 T ) (4.1) \tag{4.1} \overline{X}(f) = \overline{X}(f+f_c) = \overline{X}\bigg(f+\frac{1}{T}\bigg) X ( f ) = X ( f + f c ) = X ( f + T 1 ) ( 4.1 )
Si osserva inoltre che:
e − j 2 n = 1 ∀ n ∈ Z (4.2) \tag{4.2} e^{-j2n}=1\; \forall n \in \Z e − j 2 n = 1 ∀ n ∈ Z ( 4.2 )
Si può ricostruire il segnale di partenza con:
x [ n ] = T ∫ − 1 / 2 T 1 / 2 T X ‾ ( f ) e j 2 π f T n d f (4.3) \tag{4.3} \large x[n]=T\int_{-1/2T}^{1/2T} \overline{X}(f) e^{j2\pi fTn}df x [ n ] = T ∫ − 1/2 T 1/2 T X ( f ) e j 2 π f T n df ( 4.3 )
Dimostrazione della formula inversa :
Per dimostrare la formula 4.3 , si moltiplica la 4.0 da entrambe le parti per un’oscillazione complessa alla frequenza f f f e si integra sull’intervallo ± 1 / 2 T \pm 1/2T ± 1/2 T :
∫ − 1 / 2 T 1 / 2 T X ‾ ( f ) e j 2 π f n T d f = ∫ − 1 / 2 T 1 / 2 T ∑ m = − ∞ ∞ x [ m ] e − j 2 π f m T e j 2 π f n T = = ∑ m = − ∞ ∞ x [ m ] ∫ − 1 / 2 T 1 / 2 T e − j 2 π f ( m − n ) T d f \tag{4.4} \eq{
\int_{-1/2T}^{1/2T}\overline{X}(f)e^{j2\pi fnT}df &= \int_{-1/2T}^{1/2T} \sum_{m=-\infty}^{\infty}x[m]e^{-j2\pi fmT}e^{j2\pi fnT}=\\
&= \sum_{m=-\infty}^{\infty}x[m] \int_{-1/2T}^{1/2T}e^{-j2\pi f(m-n)T}df
} ∫ − 1/2 T 1/2 T X ( f ) e j 2 π f n T df = ∫ − 1/2 T 1/2 T m = − ∞ ∑ ∞ x [ m ] e − j 2 π f m T e j 2 π f n T = = m = − ∞ ∑ ∞ x [ m ] ∫ − 1/2 T 1/2 T e − j 2 π f ( m − n ) T df ( 4.4 )
Si osserva inoltre che:
∫ − 1 / 2 T 1 / 2 T e − j 2 π f ( m − n ) T d f = { 0 m ≠ n 1 / T m = n (4.5) \tag{4.5}\int_{-1/2T}^{1/2T}e^{-j2\pi f(m-n)T}df = \sis{
0 \quad & m \neq n\\
1/T \quad & m = n
} ∫ − 1/2 T 1/2 T e − j 2 π f ( m − n ) T df = { 0 1/ T m = n m = n ( 4.5 )
La serie al secondo membro della 4.4 si riduce al solo membro in cui n = m n=m n = m . Quindi la 4.4 diventa la 4.3 .
Teoremi e Proprietà
Linearità
x [ n ] = α x 1 [ n ] + β x 2 [ n ] ⟹ y [ n ] = F [ x [ n ] ] = α F [ x 1 [ n ] ] + β F [ x 2 [ n ] ] x[n]=\alpha x_1[n] + \beta x_2[n] \implies y[n]=\mathcal{F}\big[x[n]\big]=\alpha\mathcal{F}\big[x_1[n]\big]+\beta \mathcal{F}\big[x_2[n]\big] x [ n ] = α x 1 [ n ] + β x 2 [ n ] ⟹ y [ n ] = F [ x [ n ] ] = α F [ x 1 [ n ] ] + β F [ x 2 [ n ] ]
Valore nello zero
X ‾ ( 0 ) = ∑ n x [ n ] ≡ ∑ n = − ∞ + ∞ x [ n ] \overline{X}(0) = \sum_{n} x[n] \equiv\sum_{n=-\infty}^{+\infty} x[n] X ( 0 ) = n ∑ x [ n ] ≡ n = − ∞ ∑ + ∞ x [ n ]
Il valore medio è:
x [ 0 ] = T ∫ − 1 / 2 T 1 / 2 T X ‾ ( f ) d f = < X ‾ ( f ) > x[0]=T \int_{-1/2T}^{1/2T} \overline{X}(f) df=<\overline{X}(f)> x [ 0 ] = T ∫ − 1/2 T 1/2 T X ( f ) df =< X ( f ) >
Ritardo
Il ritardo di n 0 n_0 n 0 passi nel dominio temporale è dato da una moltiplicazione nel dominio delle frequenze:
F [ x [ n − n 0 ] ] = X ‾ ( f ) e − j 2 π f n 0 T \large \mathcal{F} \biggl[ x[n-n_0] \biggr] = \overline{X}(f) e^{-j2\pi fn_0 T} F [ x [ n − n 0 ] ] = X ( f ) e − j 2 π f n 0 T
Prodotto per Fasore
F [ x [ n ] e j 2 π f 0 n T ] = X ‾ ( f − f 0 ) \large \mathcal{F} \biggl[ x[n]e^{j2\pi f_0 nT} \biggr] = \overline{X}(f-f_0) F [ x [ n ] e j 2 π f 0 n T ] = X ( f − f 0 )
Proprietà della Modulazione
F [ x [ n ] e j 2 π f 0 n T ] = X ‾ ( f − f 0 ) \mathcal{F}\bigg[x[n]e^{j2\pi f_0 nT}\bigg]=\overline{X}(f-f_0) F [ x [ n ] e j 2 π f 0 n T ] = X ( f − f 0 )
Somma di Convoluzione
z [ n ] = x [ n ] ⊗ y [ n ] = ∑ k = − ∞ + ∞ x [ k ] y [ n − k ] = ∑ k = − ∞ + ∞ y [ k ] x [ n − k ] Z ‾ ( f ) = X ‾ ( f ) ⋅ Y ‾ ( f ) \eq{
& z[n]=x[n]\otimes y[n]=\sum_{k=-\infty}^{+\infty}x[k]y[n-k]=\sum_{k=-\infty}^{+\infty}y[k] x[n-k]\\
& \overline{Z}(f) = \overline{X}(f) \cdot \overline{Y}(f)
} z [ n ] = x [ n ] ⊗ y [ n ] = k = − ∞ ∑ + ∞ x [ k ] y [ n − k ] = k = − ∞ ∑ + ∞ y [ k ] x [ n − k ] Z ( f ) = X ( f ) ⋅ Y ( f )
Convoluzione ciclica
X ‾ ( f ) ⊗ Y ‾ ( f ) = ∫ − 1 / 2 T 1 / 2 T X ‾ ( α ) Y ‾ ( f − α ) d α \overline{X}(f) \otimes \overline{Y}(f) = \int_{-1/2T}^{1/2T}\overline{X}(\alpha)\overline{Y}(f-\alpha) d\alpha X ( f ) ⊗ Y ( f ) = ∫ − 1/2 T 1/2 T X ( α ) Y ( f − α ) d α
Prodotto
z [ n ] = x [ n ] ⋅ y [ n ] → F Z ‾ ( f ) = T ⋅ X ‾ ( f ) ⊛ Y ‾ ( f ) z[n]=x[n]\cdot y[n]\;\xrightarrow{\quad \mathcal{F} \quad}\;\overline{Z}(f)=T\cdot \overline{X}(f)\circledast\overline{Y}(f) z [ n ] = x [ n ] ⋅ y [ n ] F Z ( f ) = T ⋅ X ( f ) ⊛ Y ( f )
Derivazione: incremento
Dati i segnali tempo-discreto non periodici x [ n ] x[n] x [ n ] e y [ n ] y[n] y [ n ] e date le relative trasformate discrete di Fourier: X ‾ ( f ) \overline{X}(f) X ( f ) , Y ‾ ( f ) \overline{Y}(f) Y ( f ) .
L’operazione di derivata, con y incremento di x è:
y [ n ] = Δ [ x [ n ] ] = x [ n ] − x [ n − 1 ] Y ‾ ( f ) = X ‾ ( f ) − X ‾ ( f ) e − j 2 π f T = = X ‾ ( f ) ( 1 − e − j 2 π f T ) \eq{
y[n]&=\Delta \bigg[ x[n] \bigg] = x[n]-x[n-1]\\
\overline{Y}(f)&=\overline{X}(f)-\overline{X}(f) e^{-j2\pi fT}=\\
&= \overline{X}(f)\Big(1-e^{-j2\pi fT}\Big)
} y [ n ] Y ( f ) = Δ [ x [ n ] ] = x [ n ] − x [ n − 1 ] = X ( f ) − X ( f ) e − j 2 π f T = = X ( f ) ( 1 − e − j 2 π f T )
Come appena dimostrato, l’operatore di incremento è Δ [ ⋅ ] \Delta [\cdot] Δ [ ⋅ ] ed è tale che:
Δ [ x [ n ] ] → F X ‾ ( f ) ( 1 − e − j 2 π f T ) \Delta \Big[x[n]\Big]\xrightarrow{\quad \mathcal{F} \quad} \overline{X}(f)\Big(1-e^{-j2\pi fT}\Big) Δ [ x [ n ] ] F X ( f ) ( 1 − e − j 2 π f T )
Somma
Per evitare confusione con la precedente dimostrazione, si utilizza il segnale tempo-discreto non periodico z [ n ] z[n] z [ n ] .
Se, per il segnale x [ n ] x[n] x [ n ] , il valore nello zero è nullo, ovvero se vale la condizione:
X ‾ ( 0 ) = ∑ n x [ n ] = 0 \overline{X}(0)=\sum_{n} x[n] = 0 X ( 0 ) = n ∑ x [ n ] = 0
Allora la sequenza somma z [ n ] z[n] z [ n ] della sequenza x [ n ] x[n] x [ n ] è:
z [ n ] = S [ x [ n ] ] = ∑ k = − ∞ n x [ k ] Z ‾ ( f ) = X ‾ ( f ) 1 − e − j 2 π f T \eq{
z[n] &= S \bigg[ x[n] \bigg] =\sum_{k=-\infty}^{n} x[k]\\
\overline{Z}(f)&=\frac{\overline{X}(f)}{1-e^{-j2\pi fT}}} z [ n ] Z ( f ) = S [ x [ n ] ] = k = − ∞ ∑ n x [ k ] = 1 − e − j 2 π f T X ( f )
La proprietà della somma si dimostra grazie alla proprietà dell’incremento:
Δ [ z [ n ] ] = z [ n ] − z [ n − 1 ] = = ∑ k = − ∞ n x [ k ] − ∑ k = − ∞ n − 1 x [ k ] = x [ n ] \eq{
\Delta \Big[z[n]\Big] &= z[n]-z[n-1]=\\
&= \sum_{k=-\infty}^{n} x[k]-\sum_{k=-\infty}^{n-1} x[k] = x[n]\\
} Δ [ z [ n ] ] = z [ n ] − z [ n − 1 ] = = k = − ∞ ∑ n x [ k ] − k = − ∞ ∑ n − 1 x [ k ] = x [ n ]
Nel dominio nelle frequenze, si ottiene:
Δ [ z [ n ] ] → F Z ‾ ( f ) ( 1 − e − j 2 π f T ) ⟹ X ‾ ( f ) = Z ‾ ( f ) ( 1 − e − j 2 π f T ) ⟹ Z ‾ ( f ) = X ‾ ( f ) 1 − e − j 2 π f T \eq{
\Delta \Big[z[n]\Big]&\xrightarrow{\quad \mathcal{F} \quad} \overline{Z}(f)\Big(1-e^{-j2\pi fT}\Big)\\
\implies \overline{X}(f) &= \overline{Z}(f)\Big(1-e^{-j2\pi fT}\Big)\\
\implies \overline{Z}(f)&=\frac{\overline{X}(f)}{1-e^{-j2\pi fT}}
} Δ [ z [ n ] ] ⟹ X ( f ) ⟹ Z ( f ) F Z ( f ) ( 1 − e − j 2 π f T ) = Z ( f ) ( 1 − e − j 2 π f T ) = 1 − e − j 2 π f T X ( f )
Impulso Triangolare
Dato un impulso triangolare di altezza A e durata T 0 T_0 T 0 :
x ~ ( t ) = A ⋅ triang ( t T 0 / 2 ) \widetilde{x}(t) = A \cdot \text{triang} \bigg(\frac{t}{T_0 / 2} \bigg) x ( t ) = A ⋅ triang ( T 0 /2 t )
La funzione x ( t ) x(t) x ( t ) è un treno di impulsi triangolari come quello sopra descritti:
x ( t ) = ∑ n = − ∞ ∞ A ⋅ triang ( t − n T 0 T 0 / 2 ) x(t) = \sum_{n=-\infty}^{\infty} A \cdot \text{triang} \bigg(\frac{t-nT_0}{T_0 / 2} \bigg) x ( t ) = n = − ∞ ∑ ∞ A ⋅ triang ( T 0 /2 t − n T 0 )
L’impulso x ~ ( t ) \widetilde{x}(t) x ( t ) è una funzione pari, mentre il seno è dispari. Inoltre, l’intervallo di integrazione è simmetrico e centrato nell’origine. La parte positiva del seno è uguale e contraria alla sua parte negativa. Nella formula soprastante, tutto ciò che moltiplica − j -j − j si annulla. Il coseno invece è una funzione pari, quindi:
∫ − T 0 / 2 T 0 / 2 cos ( t ) d t = 2 ∫ 0 T 0 / 2 cos ( t ) d t \int_{-T_0/2}^{T_0/2}\cos(t)dt = 2\int_{0}^{T_0/2}\cos(t)dt ∫ − T 0 /2 T 0 /2 cos ( t ) d t = 2 ∫ 0 T 0 /2 cos ( t ) d t
Si noti che, nella formula che segue, la prima uguaglianza è possibile perché nell’intervallo di integrazione cade un solo triangolo.
X k = 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ( t ) e − j 2 π k t / T 0 d t = = 1 T 0 ∫ − T 0 / 2 T 0 / 2 A ⋅ triang ( t T 0 / 2 ) e − j 2 π k t / T 0 d t = = 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ~ ( t ) cos ( 2 π k t / T 0 ) d t − j 1 T 0 ∫ − T 0 / 2 T 0 / 2 x ~ ( t ) sin ( 2 π k t / T 0 ) d t = = 2 A T 0 ∫ 0 T 0 / 2 triang ( t T 0 / 2 ) cos ( 2 π k t / T 0 ) d t = = 2 A T 0 ∫ 0 T 0 / 2 [ 1 − t T 0 / 2 ] cos ( 2 π k t T 0 ) d t = ⋯ = = A ( π k ) 2 [ 1 − ( − 1 ) k ] ∈ R + ∩ { 0 } \eq{
X_k &=\frac{1}{T_0}\int_{-T_0/2}^{T_0/2}x(t)e^{-j\,2\pi \,k\,t/T_0}dt=\\
&=\frac{1}{T_0}\int_{-T_0/2}^{T_0/2}A \cdot \text{triang} \bigg(\frac{t}{T_0 / 2}\bigg)e^{-j\,2\pi \,k\,t/T_0}dt=\\
&=\frac{1}{T_0}\int_{-T_0/2}^{T_0/2}\widetilde{x}(t)\cos(2\pi \,k\,t/T_0)dt-j\frac{1}{T_0}\int_{-T_0/2}^{T_0/2}\widetilde{x}(t)\sin(2\pi \,k\,t/T_0)dt=\\
&=\frac{2A}{T_0}\int_{0}^{T_0/2}\text{triang} \bigg(\frac{t}{T_0 / 2}\bigg)\cos(2\pi \,k\,t/T_0)dt=\\
&=\frac{2A}{T_0}\int_{0}^{T_0/2}\bigg[1-\frac{t}{T_0 / 2}\bigg]\cos\bigg(2\pi \,k\,\frac{t}{T_0}\bigg)dt=\dots=\\
&=\frac{A}{(\pi k)^2}\Big[1-(-1)^k\Big] \in \R^+ \cap \{0\}
} X k = T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) e − j 2 π k t / T 0 d t = = T 0 1 ∫ − T 0 /2 T 0 /2 A ⋅ triang ( T 0 /2 t ) e − j 2 π k t / T 0 d t = = T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) cos ( 2 π k t / T 0 ) d t − j T 0 1 ∫ − T 0 /2 T 0 /2 x ( t ) sin ( 2 π k t / T 0 ) d t = = T 0 2 A ∫ 0 T 0 /2 triang ( T 0 /2 t ) cos ( 2 π k t / T 0 ) d t = = T 0 2 A ∫ 0 T 0 /2 [ 1 − T 0 /2 t ] cos ( 2 π k T 0 t ) d t = ⋯ = = ( πk ) 2 A [ 1 − ( − 1 ) k ] ∈ R + ∩ { 0 }
I coefficienti assumono valori per tutti i numeri reali, compresi ± ∞ \pm \infty ± ∞ , escluso invece lo zero.
k 0 1 2 3 4 5 X k X_k X k A 2 \frac{A}{2} 2 A 2 A π 2 \frac{2A}{\pi^2} π 2 2 A 0 0 0 2 A ( 3 π ) 2 \frac{2A}{(3\pi)^2} ( 3 π ) 2 2 A 0 0 0 2 A ( 5 π ) 2 \frac{2A}{(5\pi)^2} ( 5 π ) 2 2 A
Per k = 0 k=0 k = 0 si ottiene la componente continua: X k = X m ⟹ X 0 = A / 2 X_k = X_m \implies X_0 = A/2 X k = X m ⟹ X 0 = A /2
Impulso Rettangolare
Dato un impulso rettangolare di durata T :
x ( t ) = rect ( t T ) = { 0 ∣ t ∣ < T / 2 1 ∣ t ∣ > T / 2 1 / 2 ∣ t ∣ = T / 2 ≈ { 0 ∣ t ∣ < T / 2 1 ∣ t ∣ ≥ T / 2 x(t) = \text{rect}\bigg(\frac{t}{T}\bigg) =
\sis{
0 & \quad |t| < T/2 \\
1 & \quad |t| > T/2 \\
1/2 & \quad |t| = T/2
} \quad \approx
\sis{
0 & \quad |t| < T/2 \\
1 & \quad |t| \geq T/2
} x ( t ) = rect ( T t ) = ⎩ ⎨ ⎧ 0 1 1/2 ∣ t ∣ < T /2 ∣ t ∣ > T /2 ∣ t ∣ = T /2 ≈ { 0 1 ∣ t ∣ < T /2 ∣ t ∣ ≥ T /2
La sua trasformata è:
X ( f ) = ∫ − ∞ ∞ x ( t ) e − j 2 π f t d t = = ∫ − ∞ ∞ rect ( t T ) e − j 2 π f t d t = = ∫ − T / 2 T / 2 1 e − j 2 π f t d t = = [ − e − j 2 π f t j 2 π f ] − T / 2 T / 2 = = e j 2 π f T / 2 − e − j 2 π f T / 2 j 2 π f \eq{
X(f) &= \int_{-\infty}^{\infty}x(t)e^{-j2\pi ft}dt =\\
&= \int_{-\infty}^{\infty}\text{rect}\bigg(\frac{t}{T}\bigg)e^{-j2\pi ft}dt =\\
&= \int_{-T/2}^{T/2}1 e^{-j2\pi ft}dt =\\
&= \bigg[-\frac{e^{-j2\pi ft}}{j2\pi f}\bigg]_{-T/2}^{T/2} =\\
&= \frac{e^{j2\pi f T/2}-e^{-j2\pi f T/2}}{j2\pi f}
} X ( f ) = ∫ − ∞ ∞ x ( t ) e − j 2 π f t d t = = ∫ − ∞ ∞ rect ( T t ) e − j 2 π f t d t = = ∫ − T /2 T /2 1 e − j 2 π f t d t = = [ − j 2 π f e − j 2 π f t ] − T /2 T /2 = = j 2 π f e j 2 π f T /2 − e − j 2 π f T /2
Grazie alla formula di Eulero e alla funzione seno cardinale :
θ : = π f T ⟹ e j π f T − e − j π f T j 2 π f = sin ( π f T ) π f \theta := \pi fT \implies \frac{e^{j\pi fT}-e^{-j\pi fT}}{j2\pi f} =\frac{\sin(\pi fT)}{\pi f} θ := π f T ⟹ j 2 π f e jπ f T − e − jπ f T = π f sin ( π f T )
Alla formula sopra, per ottenere un seno cardinale, manca una T a denominatore. Dunque, moltiplicando e dividendo per T , si ottiene un seno cardinale moltiplicato per T.
sinc ( t ‾ ) = { sin ( π t ‾ ) / ( π t ‾ ) t ‾ ≠ 0 1 t ‾ = 0 ; t ‾ : = f T \eq{
\text{sinc}(\overline{t}) = \sis{
\sin(\pi \overline{t})/(\pi \overline{t}) & \quad \overline{t} \neq 0 \\
1 &\quad \overline{t} = 0 \\
} \quad ;\;\overline{t} := fT
} sinc ( t ) = { sin ( π t ) / ( π t ) 1 t = 0 t = 0 ; t := f T
Si può scrivere:
X ( f ) = e j π f T − e − j π f T j 2 π f = = sin ( π f T ) π f = = T T sin ( π f T ) π f = = T sin ( π f T ) π f T = = T sinc ( f T ) \eq{
X(f) &= \frac{e^{j\pi fT}-e^{-j\pi fT}}{j2\pi f} =\\
&= \frac{\sin(\pi fT)}{\pi f} =\\
&= \frac{T}{T}\frac{\sin(\pi fT)}{\pi f} =\\
&= \frac{T \sin(\pi fT)}{\pi fT} =\\
&= T \text{sinc}(fT) } X ( f ) = j 2 π f e jπ f T − e − jπ f T = = π f sin ( π f T ) = = T T π f sin ( π f T ) = = π f T T sin ( π f T ) = = T sinc ( f T )
rect ( t T ) → F T sinc ( f T ) \text{rect}\bigg(\frac{t}{T}\bigg) \xrightarrow{\;\mathcal{F}\;} T \text{sinc}(fT) rect ( T t ) F T sinc ( f T )
La formula rimane valida anche per rettangoli di ampiezza arbitraria A ∈ R A \in \R A ∈ R :
A rect ( t T ) → F A T sinc ( f T ) A\text{rect}\bigg(\frac{t}{T}\bigg) \xrightarrow{\;\mathcal{F}\;} AT \text{sinc}(fT) A rect ( T t ) F A T sinc ( f T )
Inoltre, il rettangolo è una funzione pari, dunque:
X ( f ) = 2 ∫ 0 ∞ x ( t ) cos ( 2 π f t ) d t = 2 ∫ 0 T / 2 1 cos ( 2 π f t ) d t = 2 [ sin ( 2 π f t ) 2 π f ] 0 T / 2 = = 2 [ sin ( 2 π f ⋅ T / 2 ) 2 π f ] = = sin ( π f T ) π f = = T sinc ( f T ) \eq{
X(f)&=2\int_{0}^{\infty}x(t)\cos(2\pi ft)dt \\
&=2\int_{0}^{T/2}1\cos(2\pi ft)dt \\
&=2\bigg[\frac{\sin(2\pi ft)}{2\pi f} \bigg]_{0}^{T/2} =\\
&=2\bigg[\frac{\sin(2\pi f\cdot T/2)}{2\pi f} \bigg] =\\
&=\frac{\sin(\pi fT)}{\pi f}=\\
&= T \text{sinc}(fT)
} X ( f ) = 2 ∫ 0 ∞ x ( t ) cos ( 2 π f t ) d t = 2 ∫ 0 T /2 1 cos ( 2 π f t ) d t = 2 [ 2 π f sin ( 2 π f t ) ] 0 T /2 = = 2 [ 2 π f sin ( 2 π f ⋅ T /2 ) ] = = π f sin ( π f T ) = = T sinc ( f T )
Il risultato è stato ottenuto senza utilizzare la formula di Eulero, quindi è più semplice (meno error-prone ).
Esempi di Triangoli e Rettangoli
Esempio :
x ( t ) = sinc ( t T ) x(t) = \text{sinc}\bigg(\frac{t}{T}\bigg) x ( t ) = sinc ( T t )
Il parametro T indica dove la sinusoide centrata nell’origine interseca l’asse orizzontale del tempo.
X ( f ) = ∫ − ∞ ∞ sin ( π t / T ) π t / T e − j 2 π f t d t X(f) = \int_{-\infty}^{\infty}\frac{\sin(\pi t/T)}{\pi t/T}e^{-j2\pi ft}dt X ( f ) = ∫ − ∞ ∞ π t / T sin ( π t / T ) e − j 2 π f t d t
I calcoli sono molto complicati. Si può applicare la proprietà di dualità :
F [ rect ( t α ) ] = α ⋅ sinc ( f α ) ⟹ F [ α ⋅ sinc ( α t ) ] = rect ( − f α ) \mathcal{F}\bigg[\text{rect}\bigg(\frac{t}{\alpha}\bigg)\bigg] =
\alpha\cdot\text{sinc}(f \alpha) \implies
\mathcal{F}\bigg[\alpha\cdot \text{sinc}(\alpha t)\bigg] =\text{rect}\bigg(-\frac{f}{\alpha}\bigg) F [ rect ( α t ) ] = α ⋅ sinc ( f α ) ⟹ F [ α ⋅ sinc ( α t ) ] = rect ( − α f )
Ponendo α = 1 / T \alpha = 1/T α = 1/ T :
F [ 1 T sinc ( t T ) ] = rect ( − f T ) ⟹ F [ sinc ( t T ) ] = T ⋅ rect ( f T ) \mathcal{F}\bigg[\frac{1}{T}\text{sinc}\bigg(\frac{t}{T}\bigg)\bigg] =\text{rect}(-fT)
\implies \mathcal{F}\bigg[\text{sinc}\bigg(\frac{t}{T}\bigg)\bigg] =T\cdot \text{rect}(fT) F [ T 1 sinc ( T t ) ] = rect ( − f T ) ⟹ F [ sinc ( T t ) ] = T ⋅ rect ( f T )
Esempio : questo esempio è una generalizzazione dell’esempio precedente.
x ( t ) = sinc ( B t ) → F X ( f ) = 1 B rect ( f B ) x(t)= \text{sinc}(Bt) \xrightarrow{\;\mathcal{F}\;} X(f)=\frac{1}{B}\text{rect}\bigg(\frac{f}{B}\bigg) x ( t ) = sinc ( Bt ) F X ( f ) = B 1 rect ( B f )
Dato un impulso triangolare di durata 2 T 2T 2 T . Lungo l’asse orizzontale, la funzione sale da − T -T − T a 0 0 0 per raggiungere la quota 1 1 1 e poi scende per valori di t t t che vanno da 0 0 0 a T T T :
x ( t ) = triang ( t T ) = { 1 − ∣ t / T ∣ ∣ t ∣ ≤ T 0 ∣ t ∣ > T x(t) = \text{triang}\bigg(\frac{t}{T}\bigg)=
\sis{ 1-\big|t/T\big| & \quad |t| \leq T \\ 0 & \quad |t| > T} x ( t ) = triang ( T t ) = { 1 − t / T 0 ∣ t ∣ ≤ T ∣ t ∣ > T
Il triangolo è una funzione pari:
X ( f ) = ∫ − ∞ ∞ triang ( t T ) e − j 2 π f t d t = = 2 ∫ 0 T ( 1 − t T ) cos ( 2 π f t ) d t \eq{
X(f)&=\int_{-\infty}^{\infty}\text{triang}\bigg(\frac{t}{T}\bigg)e^{-j2\pi ft}dt =\\
&= 2\int_{0}^{T} \bigg( 1 -\frac{t}{T} \bigg)\cos(2\pi ft) dt
} X ( f ) = ∫ − ∞ ∞ triang ( T t ) e − j 2 π f t d t = = 2 ∫ 0 T ( 1 − T t ) cos ( 2 π f t ) d t
Si può applicare l’operatore di derivazione.
y ( t ) = d d t x ( t ) ⟹ Y ( f ) = F [ y ( t ) ] = X ( f ) ⋅ j 2 π f ⟹ X ( f ) = Y ( f ) j 2 π f \eq{
y(t) &= \frac{d}{dt} x(t)\\
\implies Y(f)&=\mathcal{F}[y(t)]=X(f)\cdot j2\pi f\\
\implies X(f)&=\frac{Y(f)}{j2\pi f}
} y ( t ) ⟹ Y ( f ) ⟹ X ( f ) = d t d x ( t ) = F [ y ( t )] = X ( f ) ⋅ j 2 π f = j 2 π f Y ( f )
La derivata del triangolo unitario è data dalla somma di due rettangoli unitari. In modo analogo:
y ( t ) = d d t x ( t ) = 1 T rect ( t + T / 2 T ) − 1 T rect ( t − T / 2 T ) y(t) = \frac{d}{dt} x(t) =
\frac{1}{T}\text{rect}\bigg(\frac{t+T/2}{T}\bigg)-\frac{1}{T}\text{rect}\bigg(\frac{t-T/2}{T}\bigg) \\ y ( t ) = d t d x ( t ) = T 1 rect ( T t + T /2 ) − T 1 rect ( T t − T /2 )
Si può calcolare la trasformata della derivata:
Y ( f ) = ∫ − ∞ ∞ y ( t ) e − j 2 π f t d t = = ∫ − ∞ 0 1 T rect ( t + T / 2 T ) e − j 2 π f t d t + ∫ 0 ∞ − 1 T rect ( t − T / 2 T ) e − j 2 π f t d t = 1 T T sinc ( f T ) e j 2 π f T / 2 − 1 T T sinc ( f T ) e − j 2 π f T / 2 = = sinc ( f T ) [ e j π f T − e − j π f T ] \eq{
Y(f) &= \int_{-\infty}^{\infty}y(t)e^{-j2\pi ft}dt =\\
&=\int_{-\infty}^{0}\frac{1}{T}\text{rect}\bigg(\frac{t+T/2}{T}\bigg)e^{-j2\pi ft}dt+
\int_{0}^{\infty}-\frac{1}{T}\text{rect}\bigg(\frac{t-T/2}{T}\bigg)e^{-j2\pi ft}dt\\
&=\frac{1}{T}T\text{sinc}(fT)e^{j2\pi fT/2}-\frac{1}{T}T\text{sinc}(fT)e^{-j2\pi fT/2}=\\
&=\text{sinc}(fT)\Big[e^{j\pi fT}-e^{-j\pi fT}\Big]
} Y ( f ) = ∫ − ∞ ∞ y ( t ) e − j 2 π f t d t = = ∫ − ∞ 0 T 1 rect ( T t + T /2 ) e − j 2 π f t d t + ∫ 0 ∞ − T 1 rect ( T t − T /2 ) e − j 2 π f t d t = T 1 T sinc ( f T ) e j 2 π f T /2 − T 1 T sinc ( f T ) e − j 2 π f T /2 = = sinc ( f T ) [ e jπ f T − e − jπ f T ]
Si ricorda nuovamente lo formula di Eulero:
θ : = π f T ⟹ e j π f T − e − j π f T j 2 π f = sin ( π f T ) π f \theta := \pi fT \implies \frac{e^{j\pi fT}-e^{-j\pi fT}}{j2\pi f} =\frac{\sin(\pi fT)}{\pi f} θ := π f T ⟹ j 2 π f e jπ f T − e − jπ f T = π f sin ( π f T )
La trasformata di x ( t ) x(t) x ( t ) è:
X ( f ) = Y ( f ) j 2 π f = = sinc ( f T ) e j π f T − e − j π f T j 2 π f = = sinc ( f T ) sin ( π f T ) π f = = sinc ( f T ) sin ( π f T ) π f T T = = T sinc 2 ( f T ) \eq{
X(f)&=\frac{Y(f)}{j2\pi f} =\\
&=\text{sinc}(fT)\frac{e^{j\pi fT}-e^{-j\pi fT}}{j2\pi f} =\\
&=\text{sinc}(fT) \frac{\sin(\pi fT)}{\pi f} =\\
&=\text{sinc}(fT) \frac{\sin(\pi fT)}{\pi f}\frac{T}{T} =\\
&= T \text{sinc}^2(fT)
} X ( f ) = j 2 π f Y ( f ) = = sinc ( f T ) j 2 π f e jπ f T − e − jπ f T = = sinc ( f T ) π f sin ( π f T ) = = sinc ( f T ) π f sin ( π f T ) T T = = T sinc 2 ( f T )
Dualità per Triangoli e Rettangoli
Applicando la proprietà di dualità e grazie al teorema del cambiamento di scala, si riassumono le trasformate studiate fino ad ora:
F [ triang ( α t ) ] = 1 ∣ α ∣ sinc 2 ( f α ) ⟹ F − 1 [ 1 ∣ α ∣ sinc 2 ( f α ) ] = triang ( α t ) F [ sinc 2 ( α t ) ] = 1 ∣ α ∣ triang ( f α ) F [ rect ( α t ) ] = 1 ∣ α ∣ sinc ( f α ) F [ sinc ( α t ) ] = 1 ∣ α ∣ rect ( f α ) \eq{
& \mathcal{F}\bigg[\text{triang}\big(\alpha t\big)\bigg]
=\frac{1}{|\alpha|}\text{sinc}^2\bigg(\frac{f}{\alpha}\bigg)\\
& \implies \mathcal{F}^{-1}\bigg[\frac{1}{|\alpha|}\text{sinc}^2\bigg(\frac{f}{\alpha}\bigg)\bigg]=\text{triang}\big(\alpha t\big)\\
& \mathcal{F}\bigg[\text{sinc}^2 (\alpha t)\bigg]
=\frac{1}{|\alpha|}\text{triang}\bigg(\frac{f}{\alpha}\bigg)\\
& \mathcal{F}\bigg[\text{rect}\big(\alpha t\big)\bigg]
=\frac{1}{|\alpha|}\text{sinc}\bigg(\frac{f}{\alpha}\bigg)\\
& \mathcal{F}\bigg[\text{sinc}(\alpha t)\bigg]
=\frac{1}{|\alpha|}\text{rect}\bigg(\frac{f}{\alpha}\bigg)
} F [ triang ( α t ) ] = ∣ α ∣ 1 sinc 2 ( α f ) ⟹ F − 1 [ ∣ α ∣ 1 sinc 2 ( α f ) ] = triang ( α t ) F [ sinc 2 ( α t ) ] = ∣ α ∣ 1 triang ( α f ) F [ rect ( α t ) ] = ∣ α ∣ 1 sinc ( α f ) F [ sinc ( α t ) ] = ∣ α ∣ 1 rect ( α f )
Esempio : trasforma di un segnale sinusoidale tempo-continuo con periodo T 0 T_0 T 0 . La frequenza f 0 f_0 f 0 è l’inverso del periodo. Grazie alla formula di Eulero, si può scrivere:
x ( t ) = A cos ( 2 π t T 0 ) = = A cos ( 2 π f 0 t ) = = A e j π f 0 t + e − j π f 0 t 2 = = A 2 [ e j π f 0 t + e − j π f 0 t ] \eq{
x(t)&=A\cos\bigg(2\pi\frac{t}{T_0}\bigg)=\\
&=A\cos\big(2\pi f_0 t\big)=\\
&=A\frac{e^{j\pi f_0 t}+e^{-j\pi f_0 t}}{2}=\\
&=\frac{A}{2}\bigg[e^{j\pi f_0 t}+e^{-j\pi f_0 t} \bigg]
} x ( t ) = A cos ( 2 π T 0 t ) = = A cos ( 2 π f 0 t ) = = A 2 e jπ f 0 t + e − jπ f 0 t = = 2 A [ e jπ f 0 t + e − jπ f 0 t ]
La funzione Delta di Dirac è la trasformata della costante unitaria.
F [ 1 ] = δ ( f ) ⟹ F [ α ] = α δ ( f ) \mathcal{F}[1]=\delta(f) \implies \mathcal{F}[\alpha]=\alpha\delta(f) F [ 1 ] = δ ( f ) ⟹ F [ α ] = α δ ( f )
La proprietà di modulazione, cambiando il segnale di riferimento per non causare ambiguità, afferma che:
F [ x ~ ( t ) cos ( 2 π f 0 t ) ] = 1 2 [ X ~ ( f − f 0 ) + X ~ ( f + f 0 ) ] \mathcal{F}\bigg[\widetilde{x}(t)\cos(2\pi f_0 t)\bigg] =
\frac{1}{2}\bigg[\widetilde{X}(f-f_0)+\widetilde{X}(f+f_0)\bigg] F [ x ( t ) cos ( 2 π f 0 t ) ] = 2 1 [ X ( f − f 0 ) + X ( f + f 0 ) ]
Utilizzando la forma di x ( t ) x(t) x ( t ) con il coseno , si può scrivere:
x ~ ( t ) = A ⟹ x ( t ) = x ~ ( t ) cos ( 2 π f 0 t ) ⟹ X ( f ) = 1 2 [ X ~ ( f − f 0 ) + X ~ ( f + f 0 ) ] = = 1 2 [ A δ ( f − f 0 ) + A δ ( f + f 0 ) ] = = A 2 [ δ ( f − f 0 ) + δ ( f + f 0 ) ] \eq{
\widetilde{x}(t) &= A \\
\implies x(t)&=\widetilde{x}(t)\cos(2\pi f_0 t)\\
\implies X(f)&=\frac{1}{2}\bigg[\widetilde{X}(f-f_0)+\widetilde{X}(f+f_0)\bigg]=\\
&=\frac{1}{2}\bigg[A\delta(f-f_0)+A\delta(f+f_0)\bigg]=\\
&=\frac{A}{2}\bigg[\delta(f-f_0)+\delta(f+f_0)\bigg]\\
} x ( t ) ⟹ x ( t ) ⟹ X ( f ) = A = x ( t ) cos ( 2 π f 0 t ) = 2 1 [ X ( f − f 0 ) + X ( f + f 0 ) ] = = 2 1 [ A δ ( f − f 0 ) + A δ ( f + f 0 ) ] = = 2 A [ δ ( f − f 0 ) + δ ( f + f 0 ) ]
Oppure, utilizzando la formula del prodotto per un fasore:
F [ x ~ ( t ) e j 2 π f 0 t ] = X ~ ( f − f 0 ) ∧ F [ x ~ ( t ) e − j 2 π f 0 t ] = X ~ ( f + f 0 ) \large \mathcal{F}\bigg[\widetilde{x}(t)e^{j2\pi f_0 t} \bigg] = \widetilde{X}(f-f_0)
\quad \land \quad \mathcal{F}\bigg[\widetilde{x}(t)e^{-j2\pi f_0 t} \bigg] = \widetilde{X}(f+f_0) F [ x ( t ) e j 2 π f 0 t ] = X ( f − f 0 ) ∧ F [ x ( t ) e − j 2 π f 0 t ] = X ( f + f 0 )
Si può scrivere:
x ~ ( t ) = A 2 ⟹ X ~ ( f ) = A 2 δ ( f ) ⟹ x ( t ) = x ~ ( t ) [ e j π f 0 t + e − j π f 0 t ] = = x ~ ( t ) e j π f 0 t + x ~ ( t ) e − j π f 0 t ⟹ X ( f ) = X ~ ( f − f 0 ) + X ~ ( f + f 0 ) = = A 2 δ ( f − f 0 ) + A 2 δ ( f + f 0 ) = = A 2 [ δ ( f − f 0 ) + δ ( f + f 0 ) ] \eq{
\widetilde{x}(t) &= \frac{A}{2} \implies \widetilde{X}(f) = \frac{A}{2}\delta(f) \\
\implies x(t)&=\widetilde{x}(t)\bigg[e^{j\pi f_0 t}+e^{-j\pi f_0 t} \bigg]=\\
&=\widetilde{x}(t) e^{j\pi f_0 t} + \widetilde{x}(t)e^{-j\pi f_0 t}\\
\implies X(f)&=\widetilde{X}(f-f_0)+\widetilde{X}(f+f_0)=\\
&=\frac{A}{2}\delta(f-f_0)+\frac{A}{2}\delta(f+f_0)=\\
&=\frac{A}{2}\bigg[\delta(f-f_0)+\delta(f+f_0)\bigg]
} x ( t ) ⟹ x ( t ) ⟹ X ( f ) = 2 A ⟹ X ( f ) = 2 A δ ( f ) = x ( t ) [ e jπ f 0 t + e − jπ f 0 t ] = = x ( t ) e jπ f 0 t + x ( t ) e − jπ f 0 t = X ( f − f 0 ) + X ( f + f 0 ) = = 2 A δ ( f − f 0 ) + 2 A δ ( f + f 0 ) = = 2 A [ δ ( f − f 0 ) + δ ( f + f 0 ) ]
Esempio: relazione di Parseval . Si vuole calcolare l’energia del segnale che segue:
x ( t ) = A sinc ( t T ) ⟹ E x = ∫ − ∞ ∞ A 2 sinc 2 ( t T ) d t \eq{
x(t) &= A \text{sinc}\bigg(\frac{t}{T}\bigg) \\
\implies E_x &= \int_{-\infty}^{\infty} A^2 \text{sinc}^2\bigg(\frac{t}{T}\bigg)dt
} x ( t ) ⟹ E x = A sinc ( T t ) = ∫ − ∞ ∞ A 2 sinc 2 ( T t ) d t
Il procedimento di questo integrale è molto complesso. Applicando la trasformata, si ottiene:
X ( f ) = A T rect ( f T ) ⟹ E x = ∫ − ∞ ∞ ( A T ) 2 rect 2 ( f T ) d t = = ( A T ) 2 ∫ − 1 / ( 2 T ) 1 / ( 2 T ) 1 d t = = ( A T ) 2 1 T = A 2 T \eq{
X(f) &= AT \text{rect}(fT) \\
\implies E_x &= \int_{-\infty}^{\infty} (AT)^2 \text{rect}^2(fT)dt= \\
&= (AT)^2 \int_{-1/(2T)}^{1/(2T)} 1 dt =\\
&= (AT)^2 \frac{1}{T} = A^2 T
} X ( f ) ⟹ E x = A T rect ( f T ) = ∫ − ∞ ∞ ( A T ) 2 rect 2 ( f T ) d t = = ( A T ) 2 ∫ − 1/ ( 2 T ) 1/ ( 2 T ) 1 d t = = ( A T ) 2 T 1 = A 2 T
Nel campo delle frequenze, il rettangolo è alto A T AT A T (posto fuori dall’integrale) e lungo 1 / T 1/T 1/ T .
Esempio : ripetizioni periodiche.
x ( t ) = A cos ( 2 π t T 0 ) rect ( t T 0 / 2 ) y ( t ) = ∑ n = − ∞ ∞ x ( t − n T 0 ) Y k = 1 T 0 ∫ − T 0 / 2 T 0 / 2 y ( t ) e − j 2 π k t / T 0 d t = = 1 T 0 X ( k 1 T 0 ) \eq{
x(t) &= A \cos\bigg(2\pi\frac{t}{T_0}\bigg)\text{rect}\bigg(\frac{t}{T_0/2}\bigg)\\
y(t) &= \sum_{n=-\infty}^{\infty} x(t-nT_0) \\
Y_k &= \frac{1}{T_0} \int_{-T_0/2}^{T_0/2}y(t)e^{-j\,2\pi \,k\,t/T_0}dt=\\
&= \frac{1}{T_0} X\bigg(k\frac{1}{T_0}\bigg)
} x ( t ) y ( t ) Y k = A cos ( 2 π T 0 t ) rect ( T 0 /2 t ) = n = − ∞ ∑ ∞ x ( t − n T 0 ) = T 0 1 ∫ − T 0 /2 T 0 /2 y ( t ) e − j 2 π k t / T 0 d t = = T 0 1 X ( k T 0 1 )
Grazie alla proprietà di modulazione:
F [ x ~ ( t ) cos ( 2 π f 0 t ) ] = 1 2 [ X ~ ( f − f 0 ) + X ~ ( f + f 0 ) ] x ~ ( t ) = A rect ( t T 0 / 2 ) ⟹ X ~ ( f ) = A T 0 2 sinc ( f T 0 2 ) ⟹ X ( f ) = 1 2 X ~ ( f − 1 T 0 ) + 1 2 X ~ ( f + 1 T 0 ) = = A 2 T 0 2 sinc [ ( f − 1 T 0 ) T 0 2 ] + A 2 T 0 2 sinc [ ( f + 1 T 0 ) T 0 2 ] \eq{
&\mathcal{F}\bigg[\widetilde{x}(t)\cos(2\pi f_0 t)\bigg] =
\frac{1}{2}\bigg[\widetilde{X}(f-f_0)+\widetilde{X}(f+f_0)\bigg]\\
\widetilde{x}(t) &= A \text{rect}\bigg(\frac{t}{T_0/2}\bigg)\\
\implies \widetilde{X}(f) &= A\frac{T_0}{2}\text{sinc}\bigg(f\frac{T_0}{2}\bigg) \\
\implies X(f) &=\frac{1}{2}\widetilde{X}\bigg(f-\frac{1}{T_0}\bigg)+\frac{1}{2}\widetilde{X}\bigg(f+\frac{1}{T_0}\bigg) =\\
&= \frac{A}{2}\frac{T_0}{2}\text{sinc}\bigg[\bigg(f-\frac{1}{T_0}\bigg)\frac{T_0}{2}\bigg]+\frac{A}{2}\frac{T_0}{2}\text{sinc}\bigg[\bigg(f+\frac{1}{T_0}\bigg)\frac{T_0}{2}\bigg]
} x ( t ) ⟹ X ( f ) ⟹ X ( f ) F [ x ( t ) cos ( 2 π f 0 t ) ] = 2 1 [ X ( f − f 0 ) + X ( f + f 0 ) ] = A rect ( T 0 /2 t ) = A 2 T 0 sinc ( f 2 T 0 ) = 2 1 X ( f − T 0 1 ) + 2 1 X ( f + T 0 1 ) = = 2 A 2 T 0 sinc [ ( f − T 0 1 ) 2 T 0 ] + 2 A 2 T 0 sinc [ ( f + T 0 1 ) 2 T 0 ]
Si può campionare il segnale:
Y k = 1 T 0 X ( k T 0 ) = = A 4 sinc [ ( k T 0 − 1 T 0 ) T 0 2 ] + A 4 sinc [ ( k T 0 + 1 T 0 ) T 0 2 ] = = A 4 sinc ( k − 1 2 ) + A 4 sinc ( k + 1 2 ) \eq{
Y_k &= \frac{1}{T_0} X\bigg(\frac{k}{T_0}\bigg) =\\
&= \frac{A}{4}\text{sinc}\bigg[\bigg(\frac{k}{T_0}-\frac{1}{T_0}\bigg)\frac{T_0}{2}\bigg]+\frac{A}{4}\text{sinc}\bigg[\bigg(\frac{k}{T_0}+\frac{1}{T_0}\bigg)\frac{T_0}{2}\bigg]=\\
&= \frac{A}{4}\text{sinc}\bigg(\frac{k-1}{2}\bigg)+\frac{A}{4}\text{sinc}\bigg(\frac{k+1}{2}\bigg)
} Y k = T 0 1 X ( T 0 k ) = = 4 A sinc [ ( T 0 k − T 0 1 ) 2 T 0 ] + 4 A sinc [ ( T 0 k + T 0 1 ) 2 T 0 ] = = 4 A sinc ( 2 k − 1 ) + 4 A sinc ( 2 k + 1 )
Esponenziale monolatero
Il comportamento dell’esponenziale per t ≤ 0 t \leq 0 t ≤ 0 viene azzerato grazie alla moltiplicazione per la funzione gradino.
x ( t ) = e − t / T ⋅ u ( t ) = { e − t / T t > 0 0 t ≤ 0 \large x(t) = e^{-t/T} \cdot u(t)=
\sis{e^{-t/T} \quad & t > 0\\
0 & t \leq 0
} x ( t ) = e − t / T ⋅ u ( t ) = ⎩ ⎨ ⎧ e − t / T 0 t > 0 t ≤ 0
La sua trasformata di Fourier è:
X ( f ) = ∫ − ∞ + ∞ x ( t ) e − j 2 π f t d t = = ∫ 0 + ∞ e − t / T e − j 2 π f t d t = = ∫ 0 + ∞ e − t ( 1 / T + j 2 π f ) d t = = lim c → + ∞ ∫ 0 c e − t ( 1 / T + j 2 π f ) d t = = T 1 + j 2 π f T \eq{
X(f) &= \int_{-\infty}^{+\infty}x(t)e^{-j2\pi ft}dt =\\
&= \int_{0}^{+\infty} e^{-t/T} e^{-j2\pi ft}dt =\\
&= \int_{0}^{+\infty} e^{-t(1/T+j2\pi f)}dt =\\
&= \lim_{c \to +\infty}\int_{0}^c e^{-t(1/T+j2\pi f)}dt=\\
&= \frac{T}{1+j2\pi fT}
} X ( f ) = ∫ − ∞ + ∞ x ( t ) e − j 2 π f t d t = = ∫ 0 + ∞ e − t / T e − j 2 π f t d t = = ∫ 0 + ∞ e − t ( 1/ T + j 2 π f ) d t = = c → + ∞ lim ∫ 0 c e − t ( 1/ T + j 2 π f ) d t = = 1 + j 2 π f T T
L’anti-trasformata di Fourier dell’esponenziale monolatero è:
X ( f ) = { e − f / T f > 0 0 f ≤ 0 x ( t ) = ∫ − ∞ ∞ X ( f ) e j 2 π f t d f = = ∫ 0 ∞ e − f / T e j 2 π f t d f = = lim c → + ∞ ∫ 0 c e f ( j 2 π t − 1 / T ) d f = = lim c → + ∞ j T ( 1 − e c ( j 2 π t − 1 / T ) ) 2 π t T + j = = j T ( 1 − 0 ) 2 π t T + j = j T 2 π t T + j = = T 1 + j 2 π t T \eq{
\large
X(f) &= \sis{e^{-f/T} \quad & f > 0\\ 0 & f \leq 0}\\
x(t)&=\int_{-\infty}^{\infty}X(f)e^{j2\pi ft}df=\\
&=\int_{0}^{\infty}e^{-f/T}e^{j2\pi ft}df=\\
&=\lim_{c\to +\infty}\int_{0}^{c} e^{f(j2\pi t-1/T)}df=\\
&=\lim_{c\to +\infty}\frac{jT(1-e^{c(j2\pi t-1/T)})}{2\pi tT+j}=\\
&=\frac{jT(1-0)}{2\pi tT+j}=\frac{jT}{2\pi tT+j}=\\
&=\frac{T}{1+j2\pi tT}
} X ( f ) x ( t ) = { e − f / T 0 f > 0 f ≤ 0 = ∫ − ∞ ∞ X ( f ) e j 2 π f t df = = ∫ 0 ∞ e − f / T e j 2 π f t df = = c → + ∞ lim ∫ 0 c e f ( j 2 π t − 1/ T ) df = = c → + ∞ lim 2 π tT + j j T ( 1 − e c ( j 2 π t − 1/ T ) ) = = 2 π tT + j j T ( 1 − 0 ) = 2 π tT + j j T = = 1 + j 2 π tT T
Esponenziale discreto
Data la sequenza:
x [ n ] = a n ⋅ u [ n ] x[n]=a^n \cdot u[n] x [ n ] = a n ⋅ u [ n ]
Data la formula della somma della serie geometrica:
∑ n = 0 ∞ q n = 1 1 − q ∣ q ∣ < 1 \sum_{n=0}^{\infty} q^n = \frac{1}{1-q}\quad |q|<1 n = 0 ∑ ∞ q n = 1 − q 1 ∣ q ∣ < 1
La trasformata di Fourier della sequenza è:
X ‾ ( f ) = ∑ n = − ∞ ∞ a n ⋅ u [ n ] ⋅ e − j 2 π f n T = = ∑ n = 0 ∞ a n ⋅ e − j 2 π f n T ⟸ u [ n ] = 0 ∀ n < 0 = ∑ n = 0 ∞ [ a ⋅ e − j 2 π f T ] n = = 1 1 − a e − j 2 π f T ⟸ q = a ⋅ e − j 2 π f T \eq{
\overline{X}(f) &= \sum_{n=-\infty}^{\infty}a^n \cdot u[n]\cdot e^{-j2\pi fnT}=\\
&= \sum_{n=0}^{\infty}a^n \cdot e^{-j2\pi fnT}\impliedby u[n] = 0\quad\forall n < 0\\
&= \sum_{n=0}^{\infty}\Big[a\cdot e^{-j2\pi fT}\Big]^n =\\
&= \frac{1}{1-ae^{-j2\pi fT}}\impliedby q = a\cdot e^{-j2\pi fT}\\
} X ( f ) = n = − ∞ ∑ ∞ a n ⋅ u [ n ] ⋅ e − j 2 π f n T = = n = 0 ∑ ∞ a n ⋅ e − j 2 π f n T ⟸ u [ n ] = 0 ∀ n < 0 = n = 0 ∑ ∞ [ a ⋅ e − j 2 π f T ] n = = 1 − a e − j 2 π f T 1 ⟸ q = a ⋅ e − j 2 π f T
Si osserva che la condizione di esistenza è: ∣ a ∣ < 1 |a|<1 ∣ a ∣ < 1 .
Lo spettro di ampiezza è il modulo della trasformata. Lo spettro di fase è l’argomento principale. Inoltre, X ‾ ( f ) ∈ C \overline{X}(f) \in \C X ( f ) ∈ C :
A ‾ ( f ) = ∣ X ‾ ( f ) ∣ = = ℜ [ X ‾ ( f ) ] 2 + ℑ [ X ‾ ( f ) ] 2 = 1 1 + a 2 − 2 a cos ( 2 π f T ) Θ ( f ) = ∠ X ‾ ( f ) = = − arctg [ a sin ( 2 π f T ) 1 − a cos ( 2 π f T ) ] \eq{
\overline{A}(f)&=|\overline{X}(f)| =\\
&=\sqrt{\Re{\Big[\overline{X}(f)\Big]}^2+\Im{\Big[\overline{X}(f)\Big]}^2}\\
&=\frac{1}{\sqrt{1+a^2-2a\cos(2\pi fT)}}\\ \\
\Theta(f) &= \angle \overline{X}(f) =\\
&= -\text{arctg}\bigg[\frac{a \sin(2\pi fT)}{1-a\cos(2\pi fT)}\bigg]
} A ( f ) Θ ( f ) = ∣ X ( f ) ∣ = = ℜ [ X ( f ) ] 2 + ℑ [ X ( f ) ] 2 = 1 + a 2 − 2 a cos ( 2 π f T ) 1 = ∠ X ( f ) = = − arctg [ 1 − a cos ( 2 π f T ) a sin ( 2 π f T ) ]
Delta di Dirac discreta
La trasformata di Fourier della sequenza δ [ n ] \delta [n] δ [ n ] è:
Δ ‾ ( f ) = ∑ n = − ∞ ∞ δ [ n ] e − j 2 π f n T = 1 \overline{\Delta}(f) = \sum_{n=-\infty}^{\infty}\delta[n]e^{-j2\pi fnT}=1 Δ ( f ) = n = − ∞ ∑ ∞ δ [ n ] e − j 2 π f n T = 1
L’unico termine non nullo della serie si ha per n = 1 n=1 n = 1 :
n ≠ 0 ⟹ δ [ n ] e − j 2 π f n T = 0 n = 0 ⟹ δ [ n ] e − j 2 π f n T = 1 \eq{
n &\neq 0 \implies \delta[n]e^{-j2\pi fnT}=0\\
n &= 0 \implies \delta[n]e^{-j2\pi fnT}=1
} n n = 0 ⟹ δ [ n ] e − j 2 π f n T = 0 = 0 ⟹ δ [ n ] e − j 2 π f n T = 1
Δ ‾ ( f ) \overline{\Delta}(f) Δ ( f ) è una funzione periodica di periodo 1 / T 1/T 1/ T che assume il valore 1 1 1 in ogni periodo.
Dimostrazione Prodotto per fasore
Il sequente codice MATLAB illustra la proprietà del prodotto per fasore per il segnale x ( t ) = r e c t ( t ) x(t) = rect(t) x ( t ) = rec t ( t ) .
function prodotto_fasore_tcontinuo
N = 2 ;
f0 = 1.6 ;
t = linspace ( - N, N, 1001 ) ;
t_size = zeros ( size ( t) ) ;
xt = rect ( t) ;
yt = xt .* exp ( 1i * 2 * pi * f0 .* t) ;
figure ( 1 ) ;
plot ( t, xt, 'LineWidth' , 2.5 , 'Color' , 'b' )
hold on
plot ( t, real ( yt) , 'LineWidth' , 2.5 , 'Color' , 'r' )
hold on
plot ( t, t_size, t_size, t, 'Color' , '#808080' , 'LineStyle' , '--' )
grid on
title ( 'Prodotto per fasore' , FontSize= 20 )
set ( legend ( "$x ( t) = rect ( t) $", "$y ( t) = x ( t) e^ { j2\ pi f_0 t} $") , 'Interpreter' , 'latex' , 'FontSize' , 24 ) ;
hold off
f = linspace ( - N, N, 1001 ) ;
f_size = zeros ( size ( f) ) ;
Xf = sinc ( f) ;
Yf = sinc ( f- f0) ;
figure ( 2 ) ;
plot ( f, Xf, 'LineWidth' , 2.5 , 'Color' , 'b' )
hold on
plot ( f, Yf, 'LineWidth' , 2.5 , 'Color' , 'r' )
hold on
plot ( f, f_size, f_size, f, 'Color' , '#808080' , 'LineStyle' , '--' )
grid on
title ( 'Traslazione in frequenza' , FontSize= 20 )
set ( legend ( "$X ( f) = sinc ( f) $", "$Y ( f) = X ( f- f_0) = sinc ( f- f_0) $") , 'Interpreter' , 'latex' , 'FontSize' , 24 ) ;
hold off
end
function y = rect ( x)
y= zeros ( 1 , length ( x) ) ;
y ( abs ( x) < 1 / 2 ) = 1 ;
y ( abs ( x) == 1 / 2 ) = 1 / 2 ;
end
function y = cardinal_sin ( x)
y= zeros ( 1 , length ( x) ) ;
y ( x== 0 ) = 1 ;
y ( x~= 0 ) = sin ( pi * x ( x~= 0 ) ) ./ ( pi * x ( x~= 0 ) ) ;
end