ОТС / Литература / Модели сигналов
.pdfС учетом ортонормальности базисной системы, имеем
n−1
∫ s(t) 2dt=∑λk 2
T |
k=0 |
и |
(1.28) |
n−1
s = ∑λk 2 .
k=0
Т.е. норма сигнала, определенная через его энергию, эквивалентна норме евклидового векторного пространства:
s( t ) ↔ x .
Аналогично можно показать, что скалярное произведение двух сигна-
лов равно сумме произведения их проекций на координатные оси
s1 ,s2 = ∫s1 (t)s2 |
|
|
|
|
|
|
|
|
n |
|
|
||||||||||
(t)dt = ∑λk βk |
, |
(1.29) |
|||||||||||||||||||
|
T |
|
|
|
|
|
|
|
|
k =0 |
|
|
|||||||||
что эквивалентно (1.20) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
s1 , s2 ↔ x, y , |
|
|
||||||||||||||||
а расстояние между двумя сигналами равно |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
n−1 |
|
|
||||||||||||
|
s1 − s2 |
|
|
|
= |
∑(λk − βk )2 , |
|
(1.30) |
|||||||||||||
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
k =0 |
|
|
||||||||||||
что эквивалентно (1.22а): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
s1 − s2 |
|
|
|
↔ |
|
|
|
x − y |
|
|
|
. |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
Выражения (1.28) и (1.29) называются равенствами Парсеваля.
Таким образом, пространства L2 (T ) и l2 (n) полностью эквивалентны.
Эта эквивалентность пространств порождает функциональное пространст-
во, базисом в котором является система линейно-независимых функций
{ϕk (t)} .
Так как L2 (T ) образовано множеством L2E (T ), то его называют еще пространством квадратично интегрируемых функций:
40
∫ f (t )2 dt < ∞ .
t T
Условно любой сигнал в таком пространстве графически можно изо-
бразить, как показано на рис. 1.14.
Рис. 1.14. |
Рис. 1.15. |
Представление смеси сигнала s( t ) |
|
Представление сигнала s(t) |
с шумом n(t ) |
в n -мерном функциональном про- |
|
странстве |
|
Аналогично, можно геометрически представить сумму сигнала и шу- ма ξ (t) с дисперсией σ 2 (см. рис. 1.15):
x(t) = s(t)+ n(t).
Так как n(t) – случайный вектор, то конец вектора x(t) будет лежать
на гиперсфере радиуса σ .
1.6. Дискретное представление сигналов
Таким образом, в основе представления и, как будет видно из даль-
нейшего, анализа сигналов лежит понятие многомерного пространства, в
котором определены алгебраические операции над его элементами. Коор-
динатными осями в таком пространстве служит система линейно- независимых функций {ϕk (t)} , которая может быть или не быть
ортогональной (ортонормированной). Если эта система функций ортонор- мирована, то проекции любого сигнала s(t) вычисляются наиболее просто
41
по формуле (1.26.б). Дискретное представление целесообразно рассматри-
вать для сигналов, заданных на конечном интервале времени T . Увеличе-
ние интервала ведет неизбежно к увеличению числа базисных функций
(так как возрастает число точек исходной функции), что делает такое пред-
ставление громоздким. В частности, для финитных сигналов интервал представления T целесообразно ограничивать областью, в которой они от-
личны от нуля.
Подпространства из L2 (T ). Пусть Vn – n -мерное подпространство из L2 (T ), натянутое на базис ϕk (t). Если сигнал принадлежит Vn , то он
единственным образом может быть представлен в виде:
n−1 |
|
s(t) = ∑λiϕi |
(t ), |
i=0 |
(1.31) |
s(t) Vn , t T ,
где вектор-строка = (λ0 , λ1, λ2, , λn−1 ) является искомым представлением
сигнала уже в пространстве вещественных Rn (или комплексных C n ) чи-
сел. |
|
Выражение (1.31) может быть записано в матричном виде: |
|
s(t) = λϕ′(t), |
(1.32) |
где ϕ′(t ) – вектор-столбец базисных функций ϕ = (ϕ1 (t), ϕ2 (t), K, ϕn (t)).
Для определения λ умножим скалярно левые и правые части выра- жения (1.32) на ϕ(t), получим:
λϕ′(t), ϕ(t) = s(t ), ϕ(t),
где всевозможные скалярные произведения ϕ′(t), ϕ(t ) образуют матрицу
скаляров n × n , обозначим ее G .
Если существует обратная матрица G −1 , то
λ = s(t),G −1
или
42
λk = s(t),Φk (t) = ∫ s(t)Φk (t )dt , |
(1.33) |
T |
|
где Φk ( t )имеет смысл взаимного базиса (аналогично базису vk в (1.17)).
Причем, |
|
|
|
|
|
|
|
n−1 |
|
|
|
|
Φi (t) = ∑γ ikϕk |
(t), i = 0,1, ..., n −1, |
|
||
|
|
k =0 |
|
|
|
где γ ik |
– элементы матрицы G−1 |
и |
|
|
|
|
ϕi (t),Φk (t) |
n−1 |
|
|
|
|
= ∑γ ik* ϕi (t ),Φk (t ) = δik . |
|
|||
|
|
k =0 |
|
|
|
Выражения (1.31) и (1.33) носят названия, соответственно, прямого и |
|||||
обратного обобщенного преобразования Фурье. Коэффициенты |
λi назы- |
||||
вают |
спектром сигнала |
s(t) |
в |
базисе {ϕk (t)} . Если |
функции |
{ϕk (t), k = 1,2,K} ортонормированы, то формулы (1.31) и (1.33) совпадают
с (1.26). Представление сигнала в виде (1.31) иногда называют аппрокси-
мацией сигнала обобщенным рядом Фурье или просто представлением
сигнала в виде ряда.
Если функции {ϕk (t ), k = 0,1, 2,K} ортогональны, то формулы обоб-
щенного преобразования Фурье приобретают вид:
|
|
s(t) |
n−1 |
|
(t), |
|
|
|
|
= ∑λkϕk |
(1.34a) |
||||
|
|
|
k =0 |
|
|
|
|
λk = |
1 |
∫ s(t)ϕk |
(t)dt = |
1 |
|
∫ s(t )ϕk (t )dt , |
(1.34б) |
|
|
||||||
E |
P T |
||||||
|
ϕ |
T |
|
ϕ |
|
T |
|
где: Eϕ = ∫ ϕk (t) 2 dt – энергия базисной функции,
T
Pϕ = Eϕ – мощность базисной функции.
T
43
Напомним, что для ортонормированных систем Pϕ = 1.
Ортогональное проектирование. Рассмотрим случай, когда сигнал s(t) не принадлежит подпространству Vn . В этом случае аналогично с
теоремой проектирования для векторов (1.23) может быть получен един- ственный сигнал sˆ(t ), являющийся ортогональной проекцией s(t)
|
|
|
|
|
ˆ( ) |
|
n−1 |
( ) |
|
|
( ) |
|
( ) |
. |
|
|
|
|
|
|||||||||
|
|
|
|
s t |
= ∑ si |
t |
,Φi t |
ϕi t |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
i=0 |
|
|
|
разность |
( ) |
ˆ( ) ортогональна ко |
|||||||||||||||
Так же как и в случае векторов |
, |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s t |
|
|
− s t |
|||
всем сигналам из Vn и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
ˆ( ) |
|
|
|
< |
|
( ) |
~( ) |
|
|
|
, |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
s t |
- s t |
|
|
|
s t |
- s t |
|
|
|
||||||||
где s (t ) любой другой сигнал из Vn . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Погрешность приближения численно характеризуется нормой |
||||||||||||||||||||||||||||
|
|
2 |
|
( ) |
|
|
|
ˆ( ) |
2 |
|
∫ |
( ) |
ˆ( ) 2 |
|
|
|
||||||||||||
|
ε |
|
= |
|
s t |
|
− s t |
|
= |
|
s t |
− s t |
dt |
= |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
= ∫ |
|
s(t) − ∑λiϕi |
(t ) |
T |
|
i =1 |
|
|
|
T |
|
2 |
|
dt = |
(1.35) |
|
|
( ) |
|
2 |
|
|
ˆ( ) |
|
2 |
|
( ) |
|
2 |
|
|
ˆ( ) |
|
2 |
|
= ∫ |
|
s t |
|
dt − ∫ |
|
s t |
|
dt = |
|
s t |
|
|
− |
|
s t |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
T |
T |
|
|
|
|
|
|
|
|
|
|
Приближение с нормой (1.35) называется приближением в средне-
квадратическом.
Естественным путем уменьшения ошибки приближения ε является
увеличение размерности пространства Vn |
путем увеличения числа базис- |
||||||
ных функций в представлении (1.31), тогда оказывается, что |
|||||||
ˆ( ) |
|
n |
( ) |
( ) |
( ) |
( ) |
|
= lim |
∑ |
||||||
lim s t |
s t ,Φi |
t |
ϕi t |
= s t . |
|||
n→∞ |
n→∞ |
|
|
|
|
||
|
|
i=1 |
|
|
|
|
Такой способ уменьшения погрешности возможен только тогда, когда по каким-либо соображениям число базисных функций можно увеличи-
44
вать. Чаще всего возникает другая задача: каким образом выбрать базис- ную функцию, чтобы минимизировать число коэффициентов λi в (1.31),
достигнув при этом наилучшего приближения.
Из (1.35) для ортонормированных систем следует, что:
|
|
|
|
( ) |
ˆ( ) |
|
|
|
2 |
|
|
|
|
|
( ) |
|
|
|
2 |
|
|
|
|
n |
( ) |
|
2 |
||||||||||
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
− ∑ |
|
λiϕi |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
s t |
− s t |
|
|
|
|
|
|
|
|
s t |
|
|
|
|
|
|
|
t |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
2≤ |
|
|
|
s(t) |
|
|
|
2 . |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
∑ |
|
λi |
|
|
|
|
|
|
|
|
|
|
|
|
|
(1.36а) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1
Соотношение (1.36а) носит название неравенства Бесселя, утвер-
ждающее, что сумма квадратов коэффициентов разложения ограничена сверху энергией сигнала.
Последовательность
n
sn (t) = ∑λiϕi (t)
i=1
является последовательностью Коши; если {ϕi (t )} полная ортонормиро- ванная система, то эта последовательность сходится к s(t). Для полной ор-
тонормированной системы неравенство Бесселя (1.36) переходит в равен-
ство Парсеваля:
s(t) |
n |
2 . |
|
= ∑λk |
(1.36б) |
k =1
Нетрудно убедиться в том, что для ортогональных систем равенство Парсеваля будет иметь вид:
|
|
|
|
n |
|
|
s |
|
|
|
2 = ∑λk |
2 Ek . |
(1.36в) |
|
|
|||||
|
|
|
|
k =0 |
|
|
Это обстоятельство подчеркивает важность ортонормированных (ор-
тогональных) базисных систем для представления сигналов. Здесь нужно
45
отметить, что всегда можно подобрать такое число базисных функций n0 , чтобы для заданной величины ошибки ε0 > 0 выполнялось неравенство:
n
s(t)− ∑ s(t ),ϕi (t ) ϕi (t) < ε0 (1.37)
i=1
при n > n0 .
Ортогонализация. Не всякая линейно-независимая система функций,
образующая базис, является ортогональной. Однако, с помощью, например процедуры Грама-Шмидта, из этой системы можно синтезировать ортого-
нальный базис.
Пусть {uk (t )} – система линейно-независимых функций, из которой требуется синтезировать ортогональный базис {ϕk (t)} . Способ Грама-
Шмидта основан на применении следующих рекуррентных формул:
ϕ0 |
(t) = u0 (t), |
(t)+ u |
(t), |
|
|
|
|||
ϕ |
1 |
(t) = γ ϕ |
0 |
|
|
|
|||
|
10 |
|
1 |
|
|
|
|
||
ϕ2 |
(t) = γ 20ϕ0 (t)+ γ 21ϕ1 |
(t)+ u2 |
(t), |
(1.38) |
|||||
. |
|
. |
. |
|
. |
. |
. |
. |
. |
ϕm (t) = γ m0ϕ0 (t)+ γ m1ϕ1 (t)+ K+ γ m,m−1ϕm−1 (t)+ um (t).
Найдем скалярное произведение произвольной функции ϕr (t) с функ- цией ϕm (t). Получим (опустив для простоты переменную t ):
ϕr ,ϕm = γ mo ϕr ,ϕ0 + γ m1 ϕr ,ϕ1 +
+ K+ γ m,m−1 ϕr ,ϕm−1 + ϕr , um .
Так как мы хотим, чтобы функции {ϕr (t)} были ортогональны, то их
скалярные произведения с разными индексами должны быть равны нулю.
Отсюда получим:
0 = γ mr ϕr,ϕr + ϕr , um
и
46
γ mr = − |
ϕr , um |
. |
(1.39) |
|
|||
|
ϕr,ϕr |
|
Придавая в (1.39) индексу r значения r = 0, 1, 2, K, m −1, получим все
коэффициенты γ m0 ,γ m1 ,K,γ m,m−1 , необходимые для определения функции
ϕm (t).
Примеры ортогональных систем. Применение процедуры Грама- Шмидта к системе функций t, t1 , t 2 ,K на интервале [−1,1] дает полную ор- тогональную систему, порождаемую полиномами Лежандра Pm (t ):
ϕ0 (t) =
ϕ1 (t) =
ϕ2 (t) =
ϕ3 (t ) =
1 ;
2 |
|
|
|
|
|
|
3t; |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
5 |
3 |
t 2 |
− |
1 |
|
|
|
|
|
; |
|||
2 |
2 |
|
|
2 |
|
|
7 |
5 |
t 2 |
− |
3 |
t |
|
|
|
|
; |
|||
2 |
2 |
|
|
2 |
|
|
. . . . .
ϕ |
n |
(t) = |
2n +1P (t), |
|
|||
|
|
2 |
n |
|
|||
|
|
|
|
|
|
|
|
где {P (t)} – полином Лежандра P (t ) = |
1 |
|
d n |
(t 2 −1)n . |
|||
|
|
||||||
n |
|
|
n |
2n n! dt n |
|
||
|
|
|
|
|
Интересные результаты дает применение процедуры Грама-Шмидта к
этой же системе функций, дополненной неотрицательной весовой функци- ей w(t). В этом случае ортогонализации подвергается система функций
{ w(t) tm } на различных интервалах. Получаемые при этом ортогональ- ные многочлены ортогональны с весом w(t). К ним относятся хорошо известные многочлены Чебышева (весовая функция (1 − t 2 )12 , интервал
[−1,1]), Эрмита ( e−t2 , (− ∞,+∞)), Лагерра ( e−t , (0,+∞)).
47
Целый ряд ортогональных систем порождается решением дифферен-
циального уравнения второго порядка: |
|
|||||
|
d 2 y |
+ f1 |
(t ) |
dy |
+ f |
2 (t) y = 0 . |
|
|
|
||||
|
dt 2 |
|
dt |
|
Это линейное уравнение с переменными коэффициентами имеет множество решений в зависимости от выбора функций f1 (t) и f 2 (t). В ча-
стности, одним из решений этого уравнения является набор функций, ко-
торый является основой базиса Фурье:
{yk (t)}= {Acos kt + B sin kt} ,
где A и B определенные константы.
Одно время большой популярностью пользовались функции типа
"прямоугольной волны" – система функций Уолша, образующая полную
ортонормированную систему на интервале |
|
− |
1 |
, |
1 |
с весом w(t) = 1. |
|
|
|
|
|
||||
|
|
||||||
|
|
|
2 |
|
2 |
|
Функции Уолша, в свою очередь, образуются перемножением функции
Радемахера: rn (t ) = sign(sin 2n π t ), n = 1, 2, 3, K .
Функции Уолша, как и функции Радемахера принимают только два значения −1 и 1 ( sign – функция знака аргумента).
Важным свойством базисных систем является свойство мультиплика-
тивности, заключающееся в следующем:
а) базисная система {ϕk (t)} вместе с функциями ϕm (t) и ϕn (t) содер-
жит также функцию, образованную их произведением
ϕr (t ) = ϕm (t)ϕk (t);
б) помимо функции ϕk (t) система содержит также функцию
ϕl (t) = 1/ ϕk (t).
Свойство мультипликативности базисных систем особенно ценно для решения различных задач обработки сигналов. Таким свойством, в частно-
48
сти, обладает комплексный базис Фурье {e jkωot }, так как для всех
m, n, k Z
e jmωot e jnωot = e j(m+n )ωot
и
1 |
= e j(−k )ωot . |
|
e jkωot |
||
|
Причем, это свойство для базиса Фурье проявляется как по перемен-
ной k , так и по переменной t . Мультипликативными свойствами обладает также базис Уолша.
Некоторые замечания. При дискретном представлении сигналов не-
обходимо, чтобы базисные функции отвечали следующим условиям:
1. Интервал определения сигнала и интервал ортогональности базис-
ных функций должны совпадать. В противном случае какая-то часть сиг-
нала никак не будет представлена коэффициентами в выбранном базисе. Для того, чтобы привести интервал определения сигнала s(t) (пусть он бу- дет равным T ) и интервал ортогональности {ϕk (t)} (пусть он будет рав-
ным X ), можно воспользоваться следующим приемом. Выполним замену
переменных t = |
T |
x . Тогда базисная функция ϕk |
T |
|
|
|
|
|
x "растянется" (или |
||
X |
|
||||
|
|
X |
|
"сожмется") так, что ее начало и конец совпадут с сигналом. При такой операции мощность функции ϕk (x) останется неизменной, а энергия уве-
личится (уменьшится) в T X раз.
2. Система функций {ϕk (t)} должна быть упорядоченной (по индексу,
показателю степени и т.п.), что позволяет определить ее место в ряду ба-
зисных функций. Примером такого упорядочения является система
1, sin ω t, sin 2ω t, , sin kω t, .
49