Интерполяционная формула Уиттекера — Шеннона
Интерполяционная формула Уиттекера — Шеннона служит для восстановления непрерывного сигнала с ограниченным спектром из последовательности равноотстоящих отсчётов.
Интерполяционная формула, как её обычно называют, восходит к работе Эмиля Бореля, датированной 1898 годом, и к работе Эдмунда Уиттекера, датированной 1915 годом. Интерполяционная формула была процитирована из работы сына Эдмунда Уиттекера — Джона Макнейтена Уиттекера, датированной 1935 годом, в виде теоремы отсчётов Найквиста — Шеннона в 1949 году, автором редакции был Клод Шеннон, до Шеннона данную теорему сформулировал Котельников. Также интерполяционную формулу обычно называют интерполяционной формулой Шеннона, или интерполяционной формулой Уиттекера.
Теорема отсчётов гласит, что при некоторых ограничивающих условиях функция [math]\displaystyle{ x(t) }[/math] может быть восстановлена из её дискретизации, [math]\displaystyle{ x[n]=x(nT) }[/math], согласно интерполяционной формуле Уиттекера — Шеннона:
- [math]\displaystyle{ x(t)=\sum_{n=-\infty}^\infty x[n]\cdot\mathrm{sinc}\left(\frac{t-nT}{T}\right), }[/math]
где [math]\displaystyle{ T=1/f_s }[/math] — период дискретизации, [math]\displaystyle{ f_s }[/math] — частота дискретизации, [math]\displaystyle{ \mathrm{sinc}\,x }[/math] — нормализированная sinc-функция.
Граничные условия
Есть два граничных условия, которым должна удовлетворить функция [math]\displaystyle{ X(t) }[/math], для того чтобы выполнялась интерполяционная формула:
- [math]\displaystyle{ x(t) }[/math] должно быть ограничено. Преобразование Фурье для функции [math]\displaystyle{ x(t) }[/math] должно обладать следующим свойством: [math]\displaystyle{ \mathcal{F}\{x(t)\}=X(f)=0 }[/math] для [math]\displaystyle{ |f|\gt B }[/math], где [math]\displaystyle{ B\gt 0 }[/math].
- Частота дискретизации [math]\displaystyle{ f_s }[/math] должна по крайней мере более чем в два раза превышать диапазон частот, [math]\displaystyle{ f_s\gt 2B }[/math], или что эквивалентно:
- [math]\displaystyle{ T\lt \frac{1}{2B}, }[/math]
где [math]\displaystyle{ T }[/math] — период дискретизации.
Интерполяционная формула воссоздаёт оригинальный сигнал [math]\displaystyle{ x(t) }[/math] только тогда, когда эти два условия будут выполнены. В противном случае возникает наложение высокочастотных компонентов на низкочастотные — алиасинг.
Интерполяция как сумма свёртки
Интерполяционная формула выведенная в теореме Котельникова указывает на то что, она также может быть выражена как свёртка «гребёнки» Дирака с sinc-функцией:
- [math]\displaystyle{ x(t)=\left(\sum_{n=-\infty}^\infty x[n]\cdot\delta(t-nT)\right)*\mathrm{sinc}\left(\frac{t}{T}\right). }[/math]
Это эквивалентно фильтрации «гребёнкой» Дирака с помощью идеального низкочастотного фильтра.
Сходимость
Интерполяционная формула всегда сходится, конечно и локально равномерно при условии:
- [math]\displaystyle{ \sum_{n\in\Z,\;n\ne 0}\left|\frac{x[n]}n\right|\lt \infty. }[/math]
Неравенство Гёльдера считается выполненным, если последовательность [math]\displaystyle{ \{x[n]\}_{n\in\Z} }[/math] принадлежит к любому из [math]\displaystyle{ \ell^p(\Z,\;\Complex) }[/math]-пространств, где [math]\displaystyle{ 1\lt p\lt \infty }[/math], что эквивалентно условию:
- [math]\displaystyle{ \sum_{n\in\Z}|x[n]|^p\lt \infty. }[/math]
Это условие достаточно, но не необходимо.
Случайные стационарные процессы
Если [math]\displaystyle{ \{x(n)\} }[/math] — бесконечная последовательность отсчётов дискретной функции в широком смысле стационарного процесса, и она не является членом любого [math]\displaystyle{ \ell^p }[/math] или [math]\displaystyle{ L^p }[/math]-пространства, с вероятностью 1; то сумма этих отсчётов, возведённых в степень [math]\displaystyle{ p }[/math], не принимает конечного ожидаемого значения. Несмотря на то, что интерполяционная формула сходится с вероятностью 1. Сходимость легко может быть показана путём расчёта разницы в ограниченных условиях суммирования, и свидетельствует о том, что разницу можно сделать сколь угодно малой при выборе достаточного количества условий. Если этот процесс отличен от нуля, тогда пары условий должны быть учтены таким образом, чтобы показать, что ожидаемое значение из ограниченных выражений сходится к нулю.
Поскольку случайный процесс не имеет преобразования Фурье, условие, при котором сумма сходится к оригинальной функции, должно также быть другим. Неизменный случайный процесс имеет автокорреляционную функцию и, следовательно, монохроматическую плотность в соответствии с теоремой Винера — Хинчина. Достаточным условием сходимости к дискретной функции от этого процесса является то, что спектральная плотность равна нулю на всех частотах, больше либо равных половины дискретизации.