\[
X(z) = ∑n=-∞∞ x[n] z-n
\]
con
prendiamo la definizione di trasformata z e la definizione di Fourier per sequenze
\begin{align*}
&X(z) = ∑n=-∞∞ x[n] z-n
&\overline{X}(F) = ∑n=-∞∞ x[n] e-j2π Fn \
\end{align*}
le due formule sono abbastanza simili, entrambe hanno $∑ x[n]\ qualcosa-n$, nel caso di Fourier questo qualcosa = $ej2π F$, nel caso della z questo può essere qualsiasi cosa, vediamo allora il caso particolare in cui z ha la forma $ej2π F$.
\begin{align*}
&X(z) \rvert z = e^{j2π F}
= &(∑n=-∞∞ x[n] z-n)\rvert z = e^{j2π F} \
= & ∑n=-∞∞ x[n] (ej2π F)-n \
= & ∑n=-∞∞ x[n] e-j2π Fn \
= & \overline{X}(F)
\end{align*}
quindi $X(z) \rvert z = e^{j2π F}$ =
si prenda la sequenza
\[
x[n] = 2^n u[n]
\]
allora
\begin{align*}
& X(z) = ∑n=-∞∞ x[n] z-n
& X(z) = ∑n=-∞∞ x[n] = 2^n u[n] z-n \
\end{align*}
per il gradino
\begin{align*}
& X(z) = ∑n=0∞ x[n] = 2^n z-n
& X(z) = ∑n=0∞ x[n] = (2z-1)-1 \
\end{align*}
essendo questa diventata una serie geometrica, si ricordi intanto che
\[
f(q) = ∑n=0∞ q^n ⇒
f(q) = \begin{cases}
\frac{1}{1-q} & \text{se } \lvert q \rvert < 0
\text{non converge} & \text{se } \lvert q \rvert \geq 0
\end{cases}
\]
L’ipotesi è che
\begin{align*}
&x[n] \iff X(z)
&n x[n] \iff -z \frac{dX(z)}{dz}
\end{align*}
la dimostrazione è che se \[ X(z) = ∑n=-∞∞ x[n] z-n \]
allora facendo la derivata a entrabmi i lati ottieni \[ \frac{dX(z)}{dz} = \frac{d}{dz}(∑n=-∞∞ x[n] z-n) \]
sia la derivata che la sommatoria sono lineari, quindi puoi fare \[ \frac{dX(z)}{dz} = ∑n=-∞∞ \frac{d}{dz}(x[n] z-n) \]
&\frac{dX(z)}{dz} = ∑n=-∞∞ x[n] \frac{dz-n}{dz}= \
&\frac{dX(z)}{dz} = ∑n=-∞∞ x[n] -n z-n-1= \
&\frac{dX(z)}{dz} = ∑n=-∞∞ x[n] -n z-n z-1
\end{align*}
$z-1$ non dipende da n quindi lo portiamo fuori insieme al segno
\begin{align*}
&\frac{dX(z)}{dz} = -z-1 ∑n=-∞∞ x[n] n z-n
&-z \frac{dX(z)}{dz} = ∑n=-∞∞ x[n] n z-n \
\end{align*}
si nota [fn::come se qualcuno andasse effettivamente a cercarsi ste
cose] che la parte destra dell’equazione corrisponde a
\[ \mathcal{Z}\{n x[n]\} = -z \frac{dX(z)}{dz} \]