Функция Уолша

Материал из testwiki
Перейти к навигации Перейти к поиску
Графики первых четырёх функций Уолша

Функциями Уолша называется семейство функций, образующих ортогональную систему, принимающих значения только +1 и −1 на всей области определения.

В принципе, функции Уолша могут быть представлены в непрерывной форме, но чаще их определяют как дискретные последовательности из 2n элементов. Группа из 2n функций Уолша образует матрицу Адамара.

Функции Уолша получили широкое распространение в радиосвязи, где с их помощью осуществляется кодовое разделение каналов (CDMA), например, в таких стандартах сотовой связи, как IS-95, CDMA2000 или UMTS.

Система функций Уолша является ортонормированным базисом и, как следствие, позволяет раскладывать сигналы произвольной формы в обобщённый ряд Фурье.

Обобщением функций Уолша на случай более чем двух значений являются функции Виленкина — Крестенсона.

Обозначение

Пусть функция Уолша определена на интервале [0, T]; за пределами этого интервала функция периодически повторяется. Введём безразмерное время θ=t/T. Тогда функция Уолша под номером k обозначается как wal(k,θ). Нумерация функций зависит от метода упорядочения функций. Существует упорядочение по Уолшу — в этом случае функции обозначаются так, как описано выше. Также распространены упорядочения по Пэли (pal(p,θ)) и по Адамару (had(h,θ)).

Относительно момента θ=0 функции Уолша можно разделить на чётные и нечётные. Они обозначаются как cal(k,θ) и sal(k,θ) соответственно. Эти функции аналогичны тригонометрическим синусам и косинусам. Связь между этими функциями выражается следующим образом:

cal(k,θ)=wal(2k,θ),
sal(k,θ)=wal(2k1,θ).

Формирование

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

H2n=[H2n1H2n1H2n1H2n1].

Так может быть сформирована матрица Адамара длины 2n:

H1=[1],
H2=[1111],
H4=[1111111111111111],
H8=[1111111111111111111111111111111111111111111111111111111111111111],

Каждая строка матрицы Адамара и является функцией Уолша.

В данном случае функции упорядочены по Адамару. Номер функции по Уолшу вычисляется из номера функции по Адамару путём перестановки битов в двоичной записи номера в обратном порядке с последующим преобразованием результата из кода Грея.

Пример

Номер по Уолшу Двоичная форма Преобразование из кода Грея Перестановка бит Номер по Адамару
0 000 000 000 0
1 001 001 100 4
2 010 011 110 6
3 011 010 010 2
4 100 110 011 3
5 101 111 111 7
6 110 101 101 5
7 111 100 001 1

В итоге получается матрица Уолша, в которой функции упорядочены по Уолшу:

W8=[1111111111111111111111111111111111111111111111111111111111111111].

Свойства

1. Ортогональность

Скалярное произведение двух разных функций Уолша равно нулю:

01wal(n,θ)wal(k,θ)dθ=0при kn.

Пример

Допустим, что n = 1, k = 3 (см. выше). Тогда

01wal(1,θ)wal(3,θ)dθ=
=01/412dθ+1/41/21(1)dθ+1/23/4(1)1dθ+3/41(1)2dθ=0.

2. Мультипликативность

Произведение двух функций Уолша даёт функцию Уолша:

wal(n,θ)wal(k,θ)=wal(i,θ),

где i=nk — поразрядное сложение по модулю 2 номеров в двоичной системе.

Пример

Допустим, что n = 1, k = 3. Тогда

nk=012112=102=2.

В результате умножения получим:

n1111wal(1,θ)1111wal(3,θ)1111wal(2,θ)

Преобразование Уолша — Адамара

Является частным случаем обобщённого преобразования Фурье, в котором базисом выступает система функций Уолша.

Обобщённый ряд Фурье представляется формулой

S(t)=i=0ciui(t),

где ui это одна из базисных функций, а ci — коэффициент.

Разложение сигнала по функциям Уолша имеет вид

S(t)=k=0ckwal(k,t/T).

В дискретной форме формула запишется следующим образом:

S(n)=k=0ckwal(k,n).

Определить коэффициенты ci можно, осуществив скалярное произведение раскладываемого сигнала на соответствующую базисную функцию Уолша:

ck=1T0TS(t)wal(k,t/T)dt.

Следует учитывать периодический характер функций Уолша.

Существует также быстрое преобразование Уолша[1]. Оно является в значительной степени более эффективным, чем преобразование Уолша — Адамара[2]. Кроме того, для частного случая с двумя переменными функции Уолша обобщены как поверхности[3]. Также существуют восемь аналогичных функциям Уолша базисов ортогональных бинарных функций[4], отличающихся нерегулярной структурой, которые также обобщены на случай функций двух переменных. Для каждого из восьми базисов доказано представление «ступенчатых» функций в виде конечной суммы бинарных функций, взвешиваемых с соответствующими коэффициентами[5].

Литература

См. также

Примечания

Шаблон:Примечания