Teorema del campionamento di Nyquist-Shannon

In ordine da sinistra: segnale analogico, segnale analogico campionato, e campioni da quantizzare

In elettronica e telecomunicazioni, il teorema del campionamento di Nyquist-Shannon o semplicemente teorema del campionamento, il cui nome si deve a Harry Nyquist e Claude Shannon, è un risultato di notevole rilevanza nell'ambito della teoria dei segnali.

Definisce la minima frequenza, detta frequenza di Nyquist (o anche cadenza di Nyquist), necessaria per campionare un segnale analogico senza perdere informazioni, e per poter quindi ricostruire il segnale analogico tempo continuo originario. In particolare, il teorema afferma che, data una funzione la cui trasformata di Fourier sia nulla al di fuori di un certo intervallo di frequenze (ovvero un segnale a banda limitata), nella sua conversione analogico-digitale la minima frequenza di campionamento necessaria per evitare aliasing e perdita di informazione nella ricostruzione del segnale analogico originario (ovvero nella riconversione digitale-analogica) deve essere maggiore del doppio della sua frequenza massima.

Il teorema, comparso per la prima volta nel 1949 in un articolo di C. E. Shannon, dovrebbe chiamarsi Whittaker-Nyquist-Kotelnikov-Shannon (WNKS), secondo l'ordine cronologico di chi ne dimostrò versioni via via più generalizzate.

Il teorema

Il campionamento è il primo passo del processo di conversione analogico-digitale di un segnale. Consiste nel prelievo di campioni (samples) da un segnale analogico e continuo nel tempo ogni $\mathrm{\Delta }t$ secondi. Il valore $\mathrm{\Delta }t$ è detto intervallo di campionamento, mentre $f_s=\frac{1}{\mathrm{\Delta }t}$ è la frequenza di campionamento. Il risultato è un segnale analogico in tempo discreto, che viene in seguito quantizzato, codificato e reso accessibile a qualsiasi elaboratore digitale.

Il teorema di Nyquist-Shannon (o teorema del campionamento dei segnali) stabilisce che, dato un segnale analogico $s(t)$ la cui banda di frequenze sia limitata dalla frequenza $f_M$, e dato $n\in \mathbb{Z}$, il segnale $s(t)$ può essere univocamente ricostruito a partire dai suoi campioni $s(n\mathrm{\Delta }t)$ presi a frequenza $f_s=\frac{1}{\mathrm{\Delta }t}$ se $f_s>2f_M$ mediante la seguente formula:

$s(t)=\sum _{k=-\mathrm{\infty }}^{+\mathrm{\infty }}s(k\mathrm{\Delta }t)\mathrm{sinc}(\frac{t}{\mathrm{\Delta }t}-k)\mathrm{\forall }t\in ℝ$

espressa in termini della funzione sinc normalizzata.

Dimostrazione

La funzione $F(\omega )$

La funzione $Q(\omega )$ è la trasformata di Fourier del segnale campionato $f(n\mathrm{\Delta }t)$. Come si nota è periodica di periodo $4\pi W$ e coincide con $F(\omega )$ in $[-2\pi W,2\pi W]$.

Se $F(\omega )$ ha componenti in frequenza maggiori di $\frac{f_s}{2}$ allora le ripetizioni periodiche di $Q(\omega )$ si sovrappongono ed il segnale ricostruito risulta distorto.

L'idea è che lo spettro di un segnale campionato è uguale allo spettro del segnale originale ripetuto periodicamente con periodo uguale alla frequenza di campionamento $f_s$. Se la frequenza massima del segnale originale supera $f_s/2$ le ripetizioni nello spettro del segnale campionato si sovrappongono, rendendo impossibile l'esatta ricostruzione del segnale originale, che risulterà distorta.

Sia $F(\omega )$ la trasformata di Fourier di $f(t)$. Poiché $f(t)$ ha come limite di banda $f_M$, risulta $F(\omega )=0$ per $|\omega |>2\pi f_M$. Sia $W=f_s/2$, allora per ipotesi se $W\ge f_M$ si ha che $F(\omega )=0$ per ogni $|\omega |>2\pi W$. Sia $Q(\omega )$ la funzione periodica di periodo $4\pi W$ che coincide con $F(\omega )$ nell'intervallo $[-2\pi W,2\pi W]$. Il suo sviluppo in serie di Fourier è dato da:

$Q(\omega )=\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{c}_n{e}^{j\frac{n}{2W}\omega }$

dove:

$c_n=\frac{1}{4\pi W}\underset{-2\pi W}{\overset{2\pi W}{\int }}Q(\omega )e^{-j\frac{n}{2W}\omega }d\omega$

Poiché $Q(\omega )=F(\omega )$ in $[-2\pi W,2\pi W]$ si può porre:

$c_n=\frac{1}{4\pi W}\underset{-2\pi W}{\overset{2\pi W}{\int }}F(\omega )e^{-j\frac{n}{2W}\omega }d\omega$

Dato che $f(t)$ è l'antitrasformata di Fourier di $F(\omega )$, cioè:

$f(t)=\frac{1}{2\pi }\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}F(\omega )e^{j\omega t}d\omega =\frac{1}{2\pi }\underset{-2\pi W}{\overset{2\pi W}{\int }}F(\omega )e^{j\omega t}d\omega$

dalle precedenti due relazioni si ottiene:

$c_n=\frac{1}{2W}f(-\frac{n}{2W})=\mathrm{\Delta }tf(-n\mathrm{\Delta }t)W=\frac{f_s}{2}=\frac{1}{2\mathrm{\Delta }t}$

Definendo:

$ret{t}_W(\omega )=\{\begin{array}{cc}1& \text{se}|\omega |\le 2\pi W\\ 0& \text{se}|\omega |>2\pi W\end{array}$

allora:

$F(\omega )=Q(\omega )\cdot ret{t}_W(\omega )=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{e}^{j\frac{n}{2W}\omega }ret{t}_W(\omega )=\mathrm{\Delta }t\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}f(-n\mathrm{\Delta }t)e^{jn\mathrm{\Delta }t\omega }ret{t}_W(\omega )$

e inoltre antitrasformando:

$f(t)={ℱ}^{-1}[F(\omega )]=\mathrm{\Delta }t\sum _{k=-\mathrm{\infty }}^{+\mathrm{\infty }}f(k\mathrm{\Delta }t)\frac{\sin (\frac{\pi }{\mathrm{\Delta }t}t-k\pi )}{\pi (t-k\mathrm{\Delta }t)}$

ovvero:

$f(t)={ℱ}^{-1}[F(\omega )]=\sum _{k=-\mathrm{\infty }}^{+\mathrm{\infty }}f(k\mathrm{\Delta }t)\frac{\sin [\pi (\frac{t}{\mathrm{\Delta }t}-k)]}{\pi (\frac{t}{\mathrm{\Delta }t}-k)}$

che può essere anche espressa in termini della funzione sinc normalizzata al seguente modo:

$f(t)={ℱ}^{-1}[F(\omega )]=\sum _{k=-\mathrm{\infty }}^{+\mathrm{\infty }}f(k\mathrm{\Delta }t)\mathrm{sinc}(\frac{t}{\mathrm{\Delta }t}-k)$

Queste equazioni mostrano che $F(\omega )$, e quindi anche la sua antitrasformata $f(t)$, possono essere ricostruite sulla base della conoscenza di $f(n\mathrm{\Delta }t)$, come volevasi dimostrare.

Formula di sommazione di Poisson

Sia $X(f)$ la trasformata di Fourier di una funzione a banda limitata $x(t)$, ovvero:

$X(f)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}x(t)e^{-i2\pi ft}\mathrm{d}t$

con $X(f)=0$ per $|f|>B$. La formula di somma di Poisson mostra che i campioni $x(nT)$ di $x(t)$ sono sufficienti a creare una somma periodica di $X(f)$:

$X_s(f)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}X(f-k{f}_s)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}T\cdot x(nT)e^{-i2\pi nTf}$

che è una funzione periodica equivalente alla serie di Fourier, dove i coefficienti sono $T\cdot x(nT)$. Si tratta della trasformata di Fourier a tempo discreto (DTFT) della successione $T\cdot x(nT)$ per $n$ intero.

La somma $X_s$ è composta da copie di $X(f)$ traslate di un fattore $k{f}_s$. Se queste copie non si sovrappongono (ai loro estremi sull'asse delle ascisse) allora il termine $k=0$ può essere ricavato tramite il prodotto:

$X(f)=H(f)\cdot X_s(f)$

dove:

$H(f)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{\begin{array}{cc}1& |f|<B\\ 0& |f|>f_s-B\end{array}$

In questo modo, $X(f)$ definisce univocamente $x(t)$.

Per ricostruire $x(t)$, si nota che $H(f)$ non deve essere definita in $[B,f_s-B]$ poiché all'interno di tale intervallo $X_s(f)$ è nulla.

Tuttavia, il caso peggiore si verifica quando $B=f_s/2$ (la frequenza di Nyquist). Una funzione che si presta allo scopo è:

$H(f)=\mathrm{rect}\left(\frac{f}{f_s}\right)=\{\begin{array}{cc}1& |f|<\frac{f_s}{2}\\ 0& |f|>\frac{f_s}{2}\end{array}$

dove $\mathrm{rect}$ è la funzione rettangolo. Si ha:

$\begin{array}{cc}X(f)& =\mathrm{rect}\left(\frac{f}{f_s}\right)\cdot X_s(f)\\ & =\mathrm{rect}(Tf)\cdot \sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}T\cdot x(nT)e^{-i2\pi nTf}\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}x(nT)\cdot \underset{ℱ\{\mathrm{sinc}\left(\frac{t-nT}{T}\right)\}}{\underbrace{T\cdot \mathrm{rect}(Tf)\cdot e^{-i2\pi nTf}}}\end{array}$

La trasformata inversa di entrambi i membri produce la formula di interpolazione di Whittaker-Shannon:

$x(t)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}x(nT)\cdot \mathrm{s}\mathrm{i}\mathrm{n}\mathrm{c}\left(\frac{t-nT}{T}\right)$

Aliasing nella conversione analogico-digitale

Ogni apparato di conversione analogico-digitale ha un filtro anti-alias a monte del campionatore, il cui ruolo è quello di eliminare dal segnale in ingresso le componenti di frequenza maggiori della metà della frequenza di campionamento dell'apparato $f_s/2$. Tuttavia, essendo questo filtro analogico, non è possibile tagliare le frequenze indesiderate a partire esattamente dalla frequenza massima del segnale, poiché occorrerebbe un filtro con un numero di poli elevatissimo (ognuno in grado di abbassare la pendenza della retta di taglio di -20 dB/decade).

Data l'impossibilità di realizzare filtri di ordine superiore a 11-12, solitamente si preferisce utilizzare un filtro anti-alias meno preciso con frequenza di taglio maggiore rispetto a quella imposta dal teorema di Nyquist. Questo porta ad avere un sovracampionamento di un fattore $K$, che allontana tra loro le varie repliche del segnale nel dominio della frequenza. Per ricostruire il segnale digitale si utilizza allora un filtro digitale passa-basso seguito da un blocco decimatore con il compito di eliminare i campioni ridondanti. Con questa soluzione ibrida si ottiene un filtro analogico-digitale con una pendenza elevatissima ed un costo limitato, a discapito di una maggiore velocità richiesta per il convertitore.

Se si ha a disposizione un apparato di conversione A/D che lavora ad una data frequenza $f_s$ e si è interessati alle componenti di un segnale che superano $f_s/2$ si possono seguire strade diverse: utilizzare uno strumento più veloce o utilizzare tecniche di sottocampionamento. La seconda opzione è realizzabile quando le frequenze di interesse sono racchiuse in un range del tipo:

$\mathrm{\Delta }f=f_{\text{max}}-f_{\text{min}}<\frac{f_s}{2}$

e questo è possibile anche se sia $f_{\text{max}}$ che $f_{\text{min}}$ superano $f_s/2$. In questo caso, tuttavia, il limite imposto dal teorema del campionamento non è più sufficiente a garantire un campionamento corretto.

Bibliografia

• Template:Cita libro
• Template:Cita pubblicazione
• Template:Cita libro (english translation, PDF) Template:Webarchive
• Template:En Karl Küpfmüller, "Utjämningsförlopp inom Telegraf- och Telefontekniken", ("Transients in telegraph and telephone engineering"), Teknisk Tidskrift, no. 9 pp. 153–160 and 10 pp. 178–182, 1931. [1] [2]
• Template:Cita libro
• Template:En R.J. Marks II, Editor: Advanced Topics in Shannon Sampling and Interpolation Theory, Springer-Verlag, 1993.
• Template:En R.J. Marks II, Handbook of Fourier Analysis and Its Applications, Oxford University Press, (2009), Chapters 5-8. Google books.
• Template:En H. Nyquist, "Certain topics in telegraph transmission theory", Trans. AIEE, vol. 47, pp. 617–644, Apr. 1928 Reprint as classic paper in: Proc. IEEE, Vol. 90, No. 2, Feb 2002.

Voci correlate

• Aliasing
• Campionamento (teoria dei segnali)
• Dithering
• Formula di interpolazione di Whittaker-Shannon
• Formula di sommazione di Poisson
• Quantizzazione (elettronica)
• Trasformata di Fourier

Collegamenti esterni

• Template:Collegamenti esterni
• Template:EnLearning by Simulations Interactive simulation of the effects of inadequate sampling
• Template:Cita web
• Template:Cita web
• Template:Cita web
• Template:Cita web