Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Васюков В_Н_ Теория электрической связи_

.pdf
Скачиваний:
224
Добавлен:
11.03.2016
Размер:
5.46 Mб
Скачать

2.5. Гильбертово пространство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

43

 

 

Действительно, пусть вектор

 

x

 

представлен рядом (2.12). Его

норма

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

* u

 

 

 

 

 

 

x

 

 

x, x

 

 

 

 

 

 

u

 

 

,

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

k

k

 

k

m

m

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

k m

 

k

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

.

 

 

 

 

 

 

(2.13)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m km

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k m

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, доказано равенство Парсеваля. В пространст-

вах

L2

и l2 равенство Парсеваля для сигналов, заданных спектра-

ми m , m

 

 

и

m , m

 

относительно полных орто-

,

,

нормальных базисов, принимает соответственно вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

m

 

 

 

и

 

 

 

 

 

x[n]

 

 

 

 

m

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| x(t) |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

Пусть два вектора представлены в некотором полном ортонор-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

kuk

 

 

 

 

 

 

 

 

 

 

kuk . Тогда

мальном базисе выражениями x

 

 

 

и

y

 

 

их скалярное произведение

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x, y)

 

 

 

 

 

u

 

,

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

k

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

m

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

km

 

 

 

m

 

 

 

 

 

 

 

 

 

 

(2.14)

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

m .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k m

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это выражение носит название обобщенной формулы Рэлея. Значение этих равенств состоит в возможности оперировать вместо сигналов коэффициентами их представления в полных ортонормальных базисах (спектрами), даже не интересуясь конкретным видом базиса.

Обобщенный ряд Фурье (ОРФ), представляющий сигнал из бесконечномерного пространства L , содержит в общем случае

бесконечно много слагаемых. Часто на практике приходится рас-

сматривать усеченный ряд, сумма x которого аппроксимирует

данный сигнал x :

 

K

kuk .

x x

 

 

k 1

 

44

 

 

2. ОСНОВЫ ТЕОРИИ СИГНАЛОВ

 

 

Усеченный ОРФ представляет сиг-

x

нал в виде линейной комбинации K

базисных векторов, поэтому x принад-

 

лежит

K -мерному подпространству

LK

L

пространства L . Поскольку все ба-

 

K

 

 

 

 

x

зисные векторы взаимно ортогональны,

 

ошибка аппроксимации

 

орто-

 

x x

 

гональна по отношению к LK

и при-

Рис. 2.9. Конечномерная

надлежит ортогональному дополнению

L

, такому, что L LK

L (рис. 2.9).

аппроксимация сигнала

 

Символ

обозначает прямую сумму

пространств (например, трехмерное евклидово пространство можно представить прямой суммой плоскости и прямой, ортогональной этой плоскости). Очевидно,

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

2

 

 

K

 

 

 

2

 

 

 

 

 

2

 

K

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

x

 

 

 

 

 

x

 

 

 

 

 

 

 

u

 

 

 

x

 

 

 

 

 

|

 

|

 

0

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

k 1

k k

2

 

 

 

 

 

 

2

 

k 1

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

откуда следует неравенство Бесселя

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K

 

|2

 

x

 

22 ,

 

 

 

 

 

 

 

 

 

 

 

(2.15)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которое означает, что при аппроксимации сигнала конечной суммой обобщенного ряда Фурье энергия аппроксимирующего сигнала не может превзойти энергию аппроксимируемого сигнала. Равенство возможно только в том случае, если сам сигнал

принадлежит подпространству LK .

С увеличением размерности подпространства LK , т.е. с увели-

чением числа слагаемых, входящих в конечную сумму обобщенного ряда Фурье, норма ошибки стремится к нулю (в этом и состоит практический смысл требования полноты базиса). Таким образом, располагая полным ортонормальным базисом, можно обеспечить сколь угодно точную аппроксимацию сигнала суммой конечного числа наперед заданных функций с соответствующими весовыми коэффициентами; при этом гарантируется, что при заданном числе слагаемых ошибка аппроксимации будет минимальной.

Пример 2.10. Прямоугольный импульс длительности и и амплитуды A , изображенный на рис. 2.10, на интервале ( T / 2, T / 2) ,

2.5. Гильбертово пространство

 

 

 

 

 

45

 

 

u(t)

 

2Aи

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

Т

 

 

 

 

 

 

 

 

 

 

 

и/2

и/2 t

0

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 2.10. Прямо-

Рис. 2.11. Спектральная диа-

 

угольный

видеоим-

грамма прямоугольного

им-

 

пульс

 

пульса, заданного на конечном

 

 

 

временнóм интервале

 

T и, можно представить рядом (2.9) с коэффициентами, найденными согласно выражению

 

 

1

и / 2

 

 

j

2

kt

 

2A и

 

sin

 

k

и /T

 

 

 

 

Ae

T

dt

 

.

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

и /T

 

 

 

T и / 2

 

 

 

 

 

 

 

T

 

 

 

 

Диаграмма, отображающая спектр прямоугольного импульса относительно ортонормального базиса Фурье, приведена на рис. 2.11. Аппроксимации прямоугольного импульса, полученные

 

K

 

1

 

2

 

 

 

 

как конечные суммы x(t)

 

 

e j T kt

при K 5

,

K 10 и

 

k

 

 

 

 

k K

 

T

K 20, показаны различными линиями на рис. 2.12. ◄

 

 

ut()

t

Рис. 2.12. Аппроксимации прямоугольного

импульса конечными суммами ряда Фурье

Пример 2.11. Базис, составленный из функций Уолша, является ортонормальным полным базисом для L2 ( 1/ 2,1/ 2) . Графики че-

тырѐх первых функций Уолша относительно нормированного времени t /T показаны на рис. 2.13. Функции Уолша привлекли

46

2. ОСНОВЫ ТЕОРИИ СИГНАЛОВ

внимание благодаря простоте их генерирования при помощи переключательных схем.

Функции Уолша определяются с помощью рекуррентного соотношения

wal

 

2n

 

p,

 

n / 2 p

 

 

 

1

 

 

n p

 

 

 

 

1

 

,

 

 

 

(

1)

wal n, 2

 

 

 

( 1)

 

wal n, 2

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

,

1

,

 

 

 

 

n 0,1, 2, ... ,

p 0,1;

 

wal 0,

 

1,

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в противном случае.

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

Здесь n / 2

обозначает целую часть числа n / 2 .

 

 

 

 

 

 

 

 

Иногда используют систему функций Уолша, заданную на интервале нормированного времени (0;1) . Эта система составляет

полный ортонормальный базис для пространства L2 (0,1); такие функции Уолша определяются рекуррентными соотношениями

1

 

wal(0,

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

–1/2

 

0

 

1/2

 

 

 

 

1

 

wal(1,

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

–1/2

 

 

0

 

1/2

1

 

 

 

 

 

 

 

 

 

 

 

wal(2,

)

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

–1/2

–1/4

 

0

1/4

1/2

1

 

 

 

 

 

 

 

 

 

 

 

wal(3,

)

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

–1/2

–1/4

 

0

1/4

1/2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 2.13. Функции Уолша

 

 

 

wal 2n p,

 

 

 

 

wal

 

n, 2

 

n p

wal

 

n, 2

 

 

 

 

( 1)

 

1 ,

 

 

 

n 0,1, 2, ... , p 0,1;

 

wal 0,

 

1,

0,1 ,

 

 

в противном случае.

 

 

 

 

0

Известны также способы определения функций Уолша через матрицы Адамара; при этом получаемые системы функций отличаются нумерацией (способом упорядочения); подробнее см., например, [23]. ◄

Разложение сигналов в различных ортонормальных или ортогональных базисах применяется на практике в тех случаях, когда оперировать спектром сигнала удобнее, чем его временнóй функцией. Устройство, вычисляющее спектральные

коэффициенты сигнала, называется

анализатором спектра (рис. 2.14).

2.5. Гильбертово пространство

47

Зная спектральные коэффициенты и базисные функции, можно восстановить сигнал, т.е. выполнить его синтез согласно рис. 2.15. Разложение сигналов относительно неортогонального базиса также возможно, но оно сложнее и его результаты труднее интерпретировать.

 

 

1

 

1

u1 (t)

u*

 

 

 

1

 

x(t)

 

 

x(t)

2

2

 

u*2

 

u2 (t)

 

 

 

K

K

 

 

u*

 

uK (t)

K

 

 

Рис. 2.14. Структура анализатора

 

Рис. 2.15. Синтез сигнала

спектра

 

по его спектру

Существует алгоритм, называемый процедурой Грама – Шмидта22, позволяющий по имеющемуся набору линейно независимых функций (векторов) построить ортонормальный базис.

Пусть vk , k 1, – совокупность линейно независимых векторов, на основе которой требуется построить ортонормальный базис. Введем обозначение wk , k 1, для вспомогательной со-

вокупности векторов, а также обозначение uk , k 1, для орто-

нормального базиса, который получается в результате выполнения

следующих шагов:

1) первый вспомогательный вектор приравнивается первому вектору исходного линейно независимого базиса w1 v1 ; первый

22Йорген Грам (1850 – 1916) – датский математик, известен исследованиями в области математической статистики, теории чисел, теории приближения функций рядами; Эрхард Шмидт (1876 – 1959) – немецкий математик, известен результатами исследований в области интегральных уравнений и функционального анализа.

48

 

 

 

 

 

 

 

 

2. ОСНОВЫ ТЕОРИИ СИГНАЛОВ

вектор результирующего ортонормального базиса получается нор-

мировкой

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

u

w

;

 

 

 

 

 

 

 

 

1

 

w1 2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) второй вспомогательный вектор w2

получается вычитанием

из второго вектора v2

исходной совокупности его проекции на уже

построенный вектор u1

ортонормального базиса, после чего произ-

водится его нормировка и получается второй вектор ортонормаль-

ного базиса

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

w v (v , u )u ,

u

2

 

w ;

 

 

 

2

2

2

1

1

 

 

 

w2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

3) третий вспомогательный вектор

 

w3

формируется путем вы-

читания из очередного вектора v3

исходной совокупности его про-

екций на уже построенные векторы u1

и u2

ортонормального ба-

зиса, после чего этот вектор нормируется

 

1 w и т.д.

w v (v , u )u (v , u )u

,

 

u

3

3

3

1

1

3

 

2

2

 

 

3

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w3 2

 

Продолжая процедуру Грама – Шмидта, можно построить ор-

тонормальный базис любой размерности.

 

 

 

Пример 2.12. Множество S

4

{v (t) 1, v (t) t, v (t) t2

, v (t) t3},

где t 1,1 ,

 

 

 

 

 

0

 

 

 

1

2

3

линейно независимо (см. пример 2.1). В результате

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

u2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u0

 

 

 

 

 

 

 

–1

 

–0,5

 

 

0

 

 

 

0,5

 

1 t

 

 

 

 

 

u1

 

 

 

–1

 

 

 

u3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

–2

 

 

 

 

 

 

 

 

Рис. 2.16. Базис, полученный при-

 

 

 

менением процедуры Грама–Шмидта

 

 

 

к совокупности степенных функ-

 

 

 

ций, показанной на рис. 2.7

 

 

2.6. Непрерывные представления сигналов

49

применения процедуры Грама – Шмидта получается ортонормальный базис, состоящий из четырех функций, показанных на рис. 2.16. Это известные полиномы Лежандра, нормированные к

единице по норме пространства L2( 1,1) . ◄

Очевидно, в пространствах аналоговых и дискретных сигналов можно построить бесконечно много ортонормальных базисов. Выбор наиболее подходящего базиса определяется конкретной решаемой задачей.

2.6.НЕПРЕРЫВНЫЕ ПРЕДСТАВЛЕНИЯ СИГНАЛОВ

Обобщенный ряд Фурье представляет сигнал в виде взвешенной суммы счетного23 множества базисных функций. Иногда счетный базис неудобен или не годится для описания сигнала. Напри-

мер, счетный базис Фурье, полный в L2(T) , не полон в L2( , )

и поэтому непригоден для представления сигналов бесконечной длительности. С другой стороны, известные полные в L2( , )

счетные базисы не обладают теми привлекательными свойствами, которые обусловили широкое применение базиса Фурье в теории и практике и о которых далее будет сказано подробно (см. разд. 2.9).

Гармонические функции, аналогичные функциям базиса Фурье, могут применяться для представления сигналов из L2( , ) , но

для этого мощность их множества должна быть больше мощности счетного множества (иначе говоря, множество должно быть непрерывным).

Таким образом, понятие обобщенного ряда Фурье подвергается дальнейшему обобщению. Суть этого обобщения заключается в замене суммы бесконечного счетного множества базисных функций, умноженных на спектральные коэффициенты, интегралом от функции двух переменных (которая представляет собой «несчетное множество» базисных функций), умноженной на функцию одной переменной, называемой спектральной плотностью.

Ниже приведены попарно термины и формулы, соответствующие дискретному и непрерывному (интегральному) представлениям аналоговых сигналов.

23Элементы счетного множества могут быть пронумерованы, т.е. поставлены в соответствие элементам множества целых неотрицательных чисел.

50

2. ОСНОВЫ ТЕОРИИ СИГНАЛОВ

 

Дискретное представление

Интегральное представление

v (t), k

 

 

 

 

 

 

 

 

 

 

 

– базис

(необя-

v(s, t) –

базисное ядро интеграль-

 

 

 

,

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ного представления

 

 

 

 

 

зательно ортогональный)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k , k

 

 

 

 

 

 

 

 

спектр

сигнала

(s) – спектральная плотность сиг-

 

 

 

,

 

 

 

 

относительно выбранного базиса

нала относительно выбранного ядра

 

 

 

 

 

 

 

x(t)

k

 

 

 

k vk (t)

 

дискретное

x(t)

(s)v(s,t)ds

 

интеграль-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

представление сигнала

 

ное представление сигнала

 

 

k

x, wk

 

 

 

 

 

 

x(t)wk* (t)dt

(s)

x(t)w*(s, t)dt

 

 

(2.16)

формула нахождения спектрально-

формула нахождения спектральной

го коэффициента с использованием

плотности с использованием сопря-

сопряженного (взаимного) базиса

женного ядра w(s,t)

 

 

 

 

 

wk (t), k

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

vk , wm

 

 

 

km

условие взаимно-

v(s, t)w*( , t)dt

 

(s

) –

(2.17)

сти

(сопряженности)

базисов

 

 

 

 

 

 

 

 

vk (t), k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

условие

сопряженности

 

ядер

и wk (t),k

 

 

 

 

 

 

 

 

 

 

 

 

v(s, t) и w(s, t)

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

uk ,um

 

 

 

km

 

условие ортонор-

u(s,t)u*( ,t)dt

(s

) и

 

мальности

 

(самосопряженности)

 

 

 

 

 

 

 

 

 

базиса

uk (t),k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

u(s, t)u*(s, )ds

 

(t

)

усло-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вия самосопряженности

базисного

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ядра u(s, t)

 

 

 

 

 

x(t)

k

 

 

 

kuk (t)

обобщенный

x(t)

(s)u(s, t)ds

интеграль-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд Фурье (представление сигна-

ное представление сигнала относи-

ла

в

 

ортонормальном

базисе

тельно самосопряженного базисно-

{uk (t), k

 

 

 

,

 

})

 

 

 

 

го ядра u(s, t)

 

 

 

 

 

k

x, u

 

 

 

 

 

x(t)u* (t)dt

(s)

x(t)u*(s, t)dt

 

формула

 

 

k

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

формула нахождения спектрально-

нахождения спектральной

плотно-

го

коэффициента

относительно

сти относительно самосопряженно-

ортонормального базиса

 

го ядра u(s, t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.6. Непрерывные представления сигналов

51

Таким образом, интегральное представление имеет много общего с обобщенным рядом Фурье.

Пример 2.13. Для представления сигналов из пространства

L2( , )

очень

часто

используется

базисное

ядро

u( f , t) e j 2 ft (вместо переменной s

в обозначении ядра исполь-

зовано общеупотребительное обозначение частоты буквой

f ). Яд-

ро является самосопряженным, так как

 

 

 

 

 

 

 

 

 

 

 

 

 

u( f , t)u*( , t)dt e j 2 fte j 2

t dt

 

 

 

 

 

 

 

 

 

lim

T

)t dt

lim sin 2 T( f

 

) ( f )

 

e j 2 ( f

 

 

T T

 

T

( f )

 

 

(аналогично доказывается и второе условие самосопряженности). Поэтому спектральная плотность сигнала x(t) относительно

данного ядра, которую обозначим X ( f ) , определяется выражением

 

 

 

X ( f )

x(t)e j 2 ft dt ,

(2.18)

известным как преобразование Фурье; формула интегрального представления сигнала

 

 

 

x(t)

X ( f )e j 2 ft df

(2.19)

называется обратным преобразованием Фурье.

Запишем скалярное произведение двух сигналов x(t) и y(t) ,

выразив сигналы через спектральные плотности при помощи обратного преобразования Фурье:

 

 

 

 

 

 

 

 

 

(x, y) x(t)y*(t)dt

X (

)e j 2

t d Y *( f )e j 2

ftdf dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (

)Y *( f )

e j 2

( f )t dtdfd

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (

)Y *( f )

( f )dfd

X ( f )Y*( f )df .

 

 

 

 

 

 

 

 

52

 

2. ОСНОВЫ ТЕОРИИ СИГНАЛОВ

Таким образом, получена обобщенная формула Рэлея

 

 

 

 

 

 

x(t)y*(t)dt

X ( f )Y*( f )df

(2.20)

 

 

 

 

для интегрального представления сигналов относительно базисно-

го ядра Фурье e j 2 ft . Аналогичное выражение будет справедливо

для интегрального представления сигналов относительно любого самосопряженного ядра.

Подставляя в (2.20)

y(t) x(t) , получаем равенство Парсеваля

 

 

 

 

|

x(t) |2

dt | X ( f ) |2 df .

(2.21)

 

 

 

 

Симметричная форма левых и правых частей выражений (2.20) и (2.21) должна наводить на мысль, что «естественное» временнóе представление сигнала есть на самом деле представление относительно некоторого самосопряженного ядра. Справедливость такого утверждения устанавливается в следующем примере.

Пример 2.14. Для пространства сигналов L2( , )

примем в

качестве базисного ядра сдвинутую (задержанную)

-функцию

u(t, ) (t ) (вместо переменной s использовано обозначение

задержки буквой ). Это ядро является самосопряженным [2]. Поэтому спектральная плотность сигнала x(t) относительно данного

ядра определяется выражением

 

 

 

x( ) x(t)

(t )dt ,

(2.22)

а интегральное представление сигнала задается формулой

 

 

 

x(t) x( )

(t )d .

(2.23)

Полученное выражение, описывающее стробирующее свойство -функции и совпадающее с динамическим представлением сиг-

нала (2.4), явно демонстрирует тот факт, что обычное временнóе представление сигнала можно рассматривать как интегральное (спектральное) представление относительно базисного ядра

u(t, ) (t ) со спектральной плотностью x( ) . Иными словами, временная функция x( ) , описывающая сигнал, есть не что