El teorema de Kotelnikov (en la literatura inglesa - el teorema de Nyquist - Shannon , el teorema de muestreo ) - una declaración fundamental en el campo del procesamiento de señales digitales , conectando señales continuas y discretas y afirmando que "cualquier función que consta de frecuencias de 0 a , puede ser transmitido continuamente con cualquier precisión con números que se suceden en menos de segundos » [1] .
Al probar el teorema, tomamos restricciones en el espectro de frecuencias , donde [2] .
Esta interpretación considera el caso ideal cuando la señal comenzó hace un tiempo infinito y nunca termina, y además no tiene puntos de ruptura en la característica de tiempo . Si una señal tiene discontinuidades de cualquier tipo en función de su tiempo, entonces su potencia espectral no se desvanece en ninguna parte. Esto es exactamente lo que significa el concepto de "un espectro limitado desde arriba por una frecuencia finita ".
Por supuesto, las señales reales (por ejemplo, el sonido en un medio digital) no tienen tales propiedades, ya que son finitas en el tiempo y suelen tener discontinuidades en la característica temporal. En consecuencia, el ancho de su espectro es infinito. En este caso, la restauración completa de la señal es imposible, y los siguientes corolarios se derivan del teorema de Kotelnikov [3] [4] :
En términos más generales, el teorema de Kotelnikov establece que una señal continua se puede representar como una serie de interpolación:
donde está la función sinc . El intervalo de muestreo satisface las restricciones . Los valores instantáneos de esta serie son muestras discretas de la señal .
Aunque en la literatura occidental el teorema suele denominarse teorema de Nyquist con referencia al trabajo " Ciertos temas en la teoría de la transmisión telegráfica " de 1928 , en este trabajo estamos hablando únicamente del ancho de banda requerido de una línea de comunicación para transmitir una señal pulsada (la repetición debe ser inferior al doble del ancho de banda). Por lo tanto, en el contexto del teorema de muestreo, es justo hablar solo de la frecuencia de Nyquist. Casi al mismo tiempo , Karl Küpfmüller obtuvo el mismo resultado [6] . En estos trabajos no se discute la posibilidad de una reconstrucción completa de la señal original a partir de lecturas discretas. El teorema fue propuesto y probado por Vladimir Kotelnikov en 1933 en su trabajo “Sobre la capacidad de transmisión del éter y el cable en las telecomunicaciones”, en el que, en particular, uno de los teoremas se formuló de la siguiente manera [7] [8] : “ Cualquier función que consta de frecuencias de 0 a , se puede transmitir de forma continua con cualquier precisión utilizando números que se suceden uno tras otro en segundos » . Independientemente de él, este teorema fue demostrado en 1949 (16 años después) por Claude Shannon [9] , razón por la cual en la literatura occidental este teorema se suele denominar teorema de Shannon. En 1999, la Fundación Internacional de Ciencias Eduard Rein (Alemania) reconoció la prioridad de Kotelnikov otorgándole un premio en la nominación "para investigación fundamental" por el primer teorema de muestreo matemáticamente formulado y probado con precisión en el aspecto de las tecnologías de la comunicación [10] . La investigación histórica muestra, sin embargo, que el teorema de muestreo, tanto en términos de afirmar la posibilidad de reconstruir una señal analógica a partir de lecturas discretas, como en términos del método de reconstrucción, fue considerado en términos matemáticos por muchos científicos anteriormente. En particular, la primera parte fue formulada allá por 1897 por Borel [11] .
Posteriormente, se propusieron un gran número de métodos diferentes para aproximar señales con un espectro limitado, generalizando el teorema de muestreo [12] [13] . Entonces, en lugar de una serie cardinal en funciones sinc , que son copias desplazadas de la respuesta de impulso de un filtro de paso bajo ideal, puede usar series en convoluciones finitas o infinitas de funciones sinc . Por ejemplo, la siguiente generalización de la serie de Kotelnikov de una función continua con un espectro finito es válida en base a las transformadas de Fourier de funciones atómicas [14] :
donde los parámetros y satisfacen la desigualdad , y el intervalo de discretización:
de compresión | métodos|||||||
---|---|---|---|---|---|---|---|
Teoría |
| ||||||
sin pérdidas |
| ||||||
Audio |
| ||||||
Imágenes |
| ||||||
Video |
|
Procesamiento de señales digitales | |
---|---|
Teoría | |
Subsecciones |
|
Técnicas |
|
Muestreo |
|