Теоремы утверждают, что существует совокупность ортонормальных функций обладающая следующими свойствами. При функции тождественно равны нулю; для любой функции удовлетворяющей условиям а), б) и в),
где
Согласно теореме Ландау и Поллака,
По теореме Шеннона
5А.1. ОГРАНИЧЕНИЯ НА ЛИНЕЙНЫЕ КОМБИНАЦИИ
Допустим, что совокупность ортонормальных функций, таких, что любая линейная комбинация этих функций вида
обладающая единичной энергией, удовлетворяет условиям а), б) и в), причем (в частности, все тоже удовлетворяют этим условиям). Тогда, используя теорему Ландау и Поллака, можно показать, что число функций в совокупности удовлетворяет неравенствам
и, следовательно,
Доказательство проводится рассуждением от противного. Предположим, что Тогда существует линейная комбинация функций [10], ортогональная ко всем функциям Обозначим эту линейную комбинацию, пронормированную так, чтобы ее энергия была
равна единице, через Тогда
С другой стороны, согласно геореме Ландау и Поллака,
что противоречит и, следовательно, нашему предположению, что
ОГРАНИЧЕНИЯ НА ОРТОНОРМАЛЬНЫЕ ФУНКЦИИ
Теперь воспользуемся теоремой Шеннона для оценки числа ортонормальных функций отличных от нуля в интервале длины и удовлетворяющих ограничениям, несколько более слабым, чем те, которым удовлетворяли функции, рассмотренные в разд. Требование, заключающееся в том, чтобы каждая линейная комбинация обладала спектром, удовлетворяющим условию в), заменим требованием, чтобы лишь сами функции удовлетворяли этому условию. Таким образом, мы потребуем только, чтобы доля спектральной энергии функций вне полосы частот не превышала допуская, что для некоторых линейных комбинаций эта энергия могла бы быть больше. В этом случае получим следующую (более слабую) оценку:
и, следовательно,
Хотя оценки, даваемые неравенствами несколько превышают это превышение несущественно при больших и малых . При согласно
Докажем соотношение . Вначале заметим, что, согласно
где
Но левая часть неравенства равна