3.3.3. Двойственный фрейм
Как мы видели в § 3.2, двойственный фрейм определяется так:
где . У нас есть явная формула для нахождения обратного к которая сходится с экспоненциальной скороестью, т. е. как с отношением сходимости а, пропорциональным — Таким образом, полезно иметь границы фрейма А и В, близкие друг другу. Тем не менее для (3.2.8) в принципе необходимо знать бесконечное число Ситуация не так плоха, как можно было ожидать: если ввести обозначение
то легко проверить, что для всех
Следовательно, перестановочны. В частности, тогда
или
К сожалению, и не перестановочны, так что нам по-прежнему необходимо вычислять бесконечно много Практический интерес представляют лишь функции, «живущие» на конечном числе шкал, где достаточно хорошо аппроксимируется комбинациями
(см. пункт о частотно-временной локализации, § 3.5). Если целое, то легко проверить, что такой усеченный перестановочен с Тогда остается вычислить лишь различных Однако во многих практических приложениях это число по-прежнему достаточно велико. Таким образом, становится особенно выгодно работать с почти жесткими фреймами, т. е. такими, для которых : мы можем ограничиться лишь членом нулевого порядка в формуле восстановления (3.2.11), избежать всех сложностей, связанных с двойственным фреймом и по-прежнему будем иметь высокое качество восстановления произвольной . С другой стороны, при специальном выборе можно получить фрейм не являющийся близким жесткому фрейму, для которого все порождаются одной единственной функцией
В главе 8 мы рассмотрим такой пример — некоторые биортогональные базисы. Другим примером является -преобразование из работы Фразиера и Яверта [82] (см. также работу Фразиера, Яверта и Вайса [83]).
Важно осознать, что могут иметь очень разные свойства регулярности. Например, существуют фреймы, для которых сама принадлежит и убывает быстрее, чем любой обратный полином, в то время как некоторые из не принадлежат для маленьких (что предполагает их очень медленное убывание). Пример Лемарье приведен Добеши во всех подробностях в [54], стр. 988-989.10 Нечто подобное может произойти, даже если все порождены одной функцией существуют примеры, в которых (к — произвольно большое), а не является непрерывной. (Примерами такого рода являются биортогональные базисы из главы 8, первый пример был построен Чамичаном в Такое несоответствие можно исключить, накладывая дополнительные условия на (см. Добеши [54], § II.D.2, стр. 991-992).