Теорема Котельникова-Найквиста¶

Теорема Котельникова-Найквиста (также известная как теорема Найквиста — Шеннона, теорема отсчётов) — фундаментальное положение теории информации и цифровой обработки сигналов, устанавливающее условие, при котором непрерывный (аналоговый) сигнал может быть точно восстановлен по его дискретным отсчётам (выборкам). Согласно теореме, если максимальная частота в спектре сигнала не превышает некоторой граничной частоты, то сигнал однозначно представляется последовательностью своих мгновенных значений, взятых с частотой, не менее чем вдвое превышающей эту граничную частоту.

¶История

¶Предпосылки открытия

Вопросы дискретизации сигналов возникли в первой половине XX века в связи с развитием телеграфии, радиосвязи и первых систем передачи данных. В 1928 году американский инженер Гарри Найквист (Harry Nyquist), работавший в Bell Labs, опубликовал работу «Certain Topics in Telegraph Transmission Theory», в которой вывел условие для передачи сигналов без искажений по каналу с ограниченной полосой пропускания. Он показал, что для однозначного восстановления сигнала частота отсчётов должна быть не менее удвоенной максимальной частоты сигнала.

¶Вклад Владимира Котельникова

Независимо от Найквиста, советский учёный Владимир Александрович Котельников в 1933 году опубликовал работу «О пропускной способности эфира и проволоки в электросвязи», в которой строго математически доказал теорему отсчётов для сигналов с ограниченным спектром. Котельников использовал аппарат рядов Фурье и показал, что любой сигнал с конечной полосой частот может быть разложен в ряд по функциям отсчётов (функциям sinc). В советской и российской научной традиции теорема носит преимущественно его имя.

¶Формализация Клодом Шенноном

В 1949 году американский математик и инженер Клод Шеннон (Claude Shannon) в работе «Communication in the Presence of Noise» переоткрыл и обобщил теорему, придав ей современную формулировку в контексте теории информации. Шеннон связал теорему с понятием энтропии и пропускной способности канала, что позволило применять её в цифровой связи и обработке сигналов.

¶Формулировка теоремы

Пусть \( x(t) \) — непрерывный сигнал, спектр которого ограничен частотой \( F_{\text{max}} \) (то есть его преобразование Фурье равно нулю для всех частот \( |f| > F_{\text{max}} \)). Тогда сигнал \( x(t) \) может быть точно восстановлен по последовательности своих отсчётов \( x(nT_s) \), взятых с периодом дискретизации \( T_s \), если выполняется условие:

\[ F_s = \frac{1}{T_s} \geq 2F_{\text{max}} \]

где \( F_s \) — частота дискретизации (частота Найквиста). Величина \( 2F_{\text{max}} \) называется частотой Найквиста (или границей Найквиста). Восстановление осуществляется с помощью интерполяционной формулы:

\[ x(t) = \sum_{n=-\infty}^{\infty} x(nT_s) \cdot \text{sinc}\left(\frac{t - nT_s}{T_s}\right) \]

где \( \text{sinc}(u) = \frac{\sin(\pi u)}{\pi u} \) — функция отсчётов (sinc-функция).

¶Ключевые понятия

¶Частота дискретизации

Частота дискретизации \( F_s \) определяет, сколько отсчётов сигнала берётся за одну секунду. В современных цифровых системах (например, аудио, видео, телеметрия) она выбирается с запасом относительно частоты Найквиста, чтобы компенсировать неидеальность фильтров.

¶Алиасинг (наложение спектров)

Если частота дискретизации \( F_s \) меньше \( 2F_{\text{max}} \), то высокочастотные компоненты сигнала «маскируются» под низкочастотные, что приводит к необратимым искажениям — эффекту наложения спектров (алиасингу). Для предотвращения алиасинга перед дискретизацией применяют антиалиасинговый фильтр (фильтр нижних частот), который подавляет частоты выше \( F_s/2 \).

¶Частота Найквиста

Частота Найквиста \( F_N = F_s/2 \) — это максимальная частота, которая может быть корректно представлена при заданной частоте дискретизации. Например, для компакт-дисков (CD) частота дискретизации составляет 44,1 кГц, поэтому частота Найквиста равна 22,05 кГц, что достаточно для воспроизведения звукового диапазона (до 20 кГц).

¶Применение

¶Цифровая обработка сигналов

Теорема Котельникова-Найквиста лежит в основе аналого-цифрового преобразования (АЦП) и цифро-аналогового преобразования (ЦАП). Без её выполнения невозможно корректное преобразование сигналов в цифровую форму и обратно.

¶Аудиотехника

В цифровом звуке (форматы WAV, MP3, FLAC) частота дискретизации выбирается в соответствии с теоремой. Стандарт 44,1 кГц (CD) обеспечивает воспроизведение звуков до 20 кГц, что соответствует слуховому диапазону человека. Для профессионального аудио используются 48 кГц, 96 кГц и выше.

¶Видео и изображения

В цифровом видео (например, стандарты PAL, NTSC, HDTV) частота кадров и разрешение связаны с теоремой. Для изображений теорема применяется в пространственной области: частота дискретизации (количество пикселей на единицу длины) должна быть не менее удвоенной пространственной частоты деталей.

¶Связь и телекоммуникации

В системах передачи данных (цифровое телевидение, сотовая связь, Wi-Fi) теорема используется для выбора частоты дискретизации при аналого-цифровом преобразовании принимаемых сигналов, а также для проектирования фильтров и модуляторов.

¶Медицинская визуализация

В МРТ, КТ и ультразвуковой диагностике теорема применяется для реконструкции изображений по пространственным отсчётам.

¶Ограничения и обобщения

¶Реальные сигналы

На практике сигналы редко имеют строго ограниченный спектр (например, из-за шумов или переходных процессов). Поэтому теорема применяется с допущением, что энергия спектра выше \( F_{\text{max}} \) пренебрежимо мала. Антиалиасинговые фильтры не идеальны, что приводит к остаточным искажениям.

¶Дискретизация с перекрытием

В некоторых областях (например, в радиолокации) используется дискретизация с частотой ниже частоты Найквиста, но с учётом априорной информации о сигнале (сжатое зондирование, compressive sensing). Это обобщение теоремы, разработанное в начале XXI века.

¶Многомерные сигналы

Для изображений и видео теорема обобщается на двумерный и трёхмерный случай. Например, для двумерного сигнала (изображения) частота дискретизации должна быть не менее удвоенной максимальной пространственной частоты по каждой оси.

¶Интересные факты

• В русскоязычной литературе теорему часто называют «теоремой Котельникова», в англоязычной — «теоремой Найквиста — Шеннона» (Nyquist–Shannon sampling theorem). В международной практике также встречается название «теорема Уиттакера — Найквиста — Котельникова — Шеннона» (WKS theorem) в честь математика Эдмунда Уиттакера, который в 1915 году опубликовал близкие результаты по интерполяции.
• Владимир Котельников сформулировал теорему на 16 лет раньше Клода Шеннона, но его работа долгое время оставалась малоизвестной за пределами СССР из-за языкового барьера и закрытости советской науки.
• Теорема является частным случаем более общего принципа: для точного восстановления сигнала необходимо, чтобы частота дискретизации превышала удвоенную ширину его спектра. Это условие не зависит от формы сигнала.

¶Источники

• Котельников В. А. «О пропускной способности эфира и проволоки в электросвязи» (1933)
• Nyquist H. «Certain Topics in Telegraph Transmission Theory» (1928)
• Shannon C. E. «Communication in the Presence of Noise» (1949)
• Oppenheim A. V., Schafer R. W. «Discrete-Time Signal Processing» (3rd ed., 2010)
• Введение в цифровую обработку сигналов: учебное пособие / под ред. А. Б. Сергиенко (2016)