z-преобразование последовательности
определяется по следующей формуле, имея в виду получение которой, говорят о доказательстве теоремы о комплексной свертке:
Контурный интеграл, указанный в правой части уравнения (3.94), берется при обходе в направлении против часовой стрелки контура С, находящегося в пересечении областей сходимости
Если области сходимости
ограничены соответственно значениями
то для определяемого формулой (3.94) преобразования границы области сходимости получаются при объединении этих значений:
[85]. В некоторых случаях, так же как это указывалось для ранее рассмотренных z-преобразований, область сходимости
может быть и более широкой. Примеры определения области сходимости рассматриваемой здесь функции
приведены в [85,101].
Укажем, как получены формула (3.93) и формула (3.94). Сначала дадим вывод формулы (3.93). В выражении z-преобразования свертки последовательностей
представляемом как
изменяем порядок суммирования и вводим обозначение
учитывая, что при этом
Получаем
Так как здесь
а при вынесении
за знак
первой суммы остается
приходим к формуле (3.93).
Чтобы вывести формулу свертки (3.94), подставим в
следующее из общей формулы обратного z-преобразования (3.56) выражение
где С - контур обхода в направлении против часовой стрелки, находящийся в области сходимости
Группируя в полученном уравнении члены
так, что оно приводится к Виду
и имея в виду то, что здесь
приходим к формуле (3.94). Таким образом, оказывается доказанной теорема о комплексной свертке.
Теорема о комплексной свертке применена при выводе соотношений, используемых при разработке ряда цифровых систем управления и связи. Одним из них является соотношение Парсеваля, представляющее собой обобщение для z-преобразований соотношения Парсеваля для преобразования Фурье, о котором говорилось раньше. Согласно обобщенному для комплексных последовательностей
соотношению Парсеваля
При вычислении указанного в правой части уравнения (3.95) контурного интеграла интегрирование производится в направлении против часовой стрелки по контуру, находящемуся в пересечении областей сходимости
При выводе уравнения (3.95) используется также и ранее указанное свойство z-преобразования, согласно которому z-преобразование последовательности
является
если
есть z-преобразование последовательности
В тех случаях, когда
и
сходятся на единичной окружности, принимая
получают на основании уравнения (3.95) следующую форму представления соотношения Парсеваля: