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

книжка умняшкина по моцос

.pdf
Скачиваний:
133
Добавлен:
16.04.2013
Размер:
1.55 Mб
Скачать

нение (1) принимает вид: φ( x) = φ(2x)+φ(2x 1), откуда h0 = h1 =1 2 ,k0,1: hk=0. Тогда коэффициенты для уравнения (3) можем выбрать:

g0 = h1 =1 2 , g1 = −h0 = −1 2 , k0,1:

gk=0, и масштабирующее

уравнение для вейвлетов принимает вид:

ψ(x) = φ(2x)φ(2x 1). По-

стройте самостоятельно графики масштабирующей функции φ(x)=φ0,0(x),

материнского вейвлета ψ(x)=ψ0,0(x), вейвлетов ψ1,0(x), ψ1,1(x), и сравните их с графиками функций системы Хаара из примера 1.12. Что можно

сказать о свойствах функций f(x) Vm?

◄ Базисом пространства Vm являются (см. лемму 1) функции {φm,n (x)}n Ζ , которые в данном случае являются кусочно постоянными:

2m / 2 , при x m

 

m

 

n

 

n +

1

φm,n ( x) =

 

mn ,

где

n

=

 

 

,

 

m

.

0

2

m

2

 

, при x n

 

 

 

 

 

 

 

Поскольку любая функция f(x) из подпространства Vm должна быть

представима в

виде линейной комбинации базисных функций

{φm,n (x)}n Ζ Vm,

то все функции f(x) Vm также должны быть кусочно

постоянными: f(x)=const при x mn . ►

Укажем на частотные свойства функций из подпространств Vj, Wj, j Z. Если ν0 – понимаемая в каком-либо смысле (см. раздел 2.3) ширина частотной полосы спектров масштабирующих функций S0,n(ν)=Ф{φ0,n(x)}, то для масштабирующих функций {φj,n(x)}n Z – базиса Vj – частотная полоса νj будет шире в 2j раза. Например, для понимаемой в смысле эффективного значения ширины частотной полосы в силу свойств 2°-4° интеграла Фурье (см. раздел 2.1):

2

S j,0

(ν)

2

dν

=

1

2

 

ν

 

 

2

ν j = ν

 

 

2

j

ν

 

 

S0,0

j

 

dν =

−∞

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

22 j

ν 2 S0,0 (ν) 2 dν = 2 j ν0 ,

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поскольку S j,0 (ν) = Φ{2

j

/ 2

 

 

 

j

x)}=

1

 

S0,0

ν

 

 

 

 

 

φ0,0 (2

 

 

 

 

 

 

. При этом (убеди-

 

 

 

2 j / 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 j

 

 

 

тесь!) эффективное значение длительности для базисных функций

151

{φj,n (x) = 2 j / 2 φ0,0 (2 j x n)}

пропорционально

уменьшается:

t j = ∆t0 / 2 j .

 

 

С частотной точки зрения понижение точности проецирования при уменьшении номера m подпространства Vm можно объяснить сужением частотной полосы базисных функций, и как следствие, своего рода низкочастотной «сглаживающей» фильтрацией исходного сигнала, при которой отбрасываются высокие частоты исходного спектра S(ν)=Ф{f(x)}. Переход от проекции fm Vm к более точной fm+1 Vm+1, напротив, означает двукратное расширение частотной полосы базисных функций и, соответственно, добавление дополнительных высокочастотных составляющих в представление проекции fm+1 Vm+1.

Поскольку Vm Wm =Vm+1 , то любую функцию fm+1 Vm+1 можно представить в виде ее «сглаженной» проекции fm Vm, частотная полоса которой вдвое уже по сравнению с fm+1 Vm+1, и некоторой функции

ym Wm из пространства вейвлетов: fm+1(x)=fm(x)+ym(x), причем fm ym. Разность между функцией fm+1 и ее сглаженной копией fm: ym=fm+1-fm – это

как раз недостающие высокочастотные составляющие функции

fm+1 Vm+1, те «детали», которые «уточняют» проекцию fm до fm+1. Можно сказать, что в разложении fm+1=fm+ym первое слагаемое соответствует

нижней, а второе – верхней половине частотного диапазона функции

fm+1 Vm+1.

7.2. Проецирование функций на подпространства КМА

Как мы увидим далее, в качестве исходного объекта для вейвлетанализа вместо функции f(x) L2(R) оказывается удобнее рассматривать элемент наилучшего приближения fM=AM(f) VM, где AM – оператор проецирования функции на подпространство VM L2(R):

 

fM (x) = aM ,nφM ,n (x) .

(4)

n=−∞

Как отмечалось в разделе 7.1, за счет надлежащего выбора подпространства VM можно получить как угодно высокую точность приближения исходной функции f(x) ее проекцией fM(x). Поэтому для любой практической задачи найдется такое подпространство VM, которое позволит адекватно описать сигнал f(x) элементом наилучшего приближения fM(x).

152

Пример 2. Для КМА, построенного в примере 1, оценить ошибку приближения ε = f fN для дифференцируемой функции f(x), определен-

ной на отрезке x [0,1].

◄ В пространстве VN проекция fN=AN(f) функции f(x), заданной на отрезке x [0,1], для КМА из примера 1 может быть представлена в виде:

 

 

 

 

2N 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fN (x) = aN ,nφN ,n (x) ,

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

φN ,n ( x) =

2N / 2 , при x N

N

n

 

n +

1

причем

 

Nn ,

n

=

 

 

 

,

 

 

 

,

2

N

2

N

 

 

 

 

0

, при x n

 

 

 

 

 

 

 

 

и поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n+1) / 2N

 

 

 

 

 

 

aN ,n = f ,φN ,n = f (x)φN ,n (x)dx = 2N / 2

f (x)dx = 2N / 2 fvn ,

 

 

 

Nn

 

n / 2N

 

 

 

 

 

 

v

(n+1) / 2N

 

 

 

 

 

 

 

 

 

 

 

 

 

= 2N f (x)dx

- среднее значение функции f(x) на интервале

где

fn

n/ 2N

xNn . Заметим, что в силу дифференцируемости f(x) – непрерывна,

поэтому n = 0,K,2N 1 xn Nn : fn = f (xn ) ; с использованием данного обозначения можем записать:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2N 1

 

 

 

 

 

 

 

 

fN (x) =

 

f (xn )φN ,n (x) ,

 

N / 2

 

 

 

 

 

 

 

 

 

 

 

2

 

n=0

где некоторые точки

xn Nn , n=0,…,2N-1, то есть fN (x) = f (xn ) для

x Nn (в силу кусочного постоянства функции fN(x) ).

Обозначим h =

 

Nn

 

 

=1/ 2N . Для ошибки проецирования

 

 

1

 

 

 

 

 

N

ε2 =

 

 

 

f fN

 

 

 

2 = (f (x) fN (x))2 dx = 21(f (x) fN (x))2 dx

 

 

 

 

0

 

 

 

 

 

n=0N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

найдем оценку для слагаемого

εn2 = (f (x) fN (x))2 dx = (f (x) f (xn ))2 dx .

 

 

 

 

Nn

 

 

 

 

 

Nn

Представим f(x) при помощи формулы Тейлора:

f (x) = f (xn ) + f (xn )( x xn ) + O((x xn )2 ).

153

Так как

 

x Nn

= [nh,(n +1)h):

 

x xn

 

h , то можем записать:

 

 

 

 

 

εn2 = (f (xn )(x xn

) +O(h2 ))2 dx

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

O(h2 )+O(h4 )dx

 

(f (xn ))2

(x xn )2 + 2

 

f (xn )

 

 

 

 

x xn

 

 

 

 

 

 

 

 

 

 

144

 

 

 

4442444443

 

 

Nn

 

 

 

 

 

 

 

 

 

 

 

 

 

O(h3 )

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

(f (xn ))2 (x xn )2 dx + O(h3 )dx = (f (xn )) (x xn )3

x=nh

+1)h

+O(h4 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x=(n

 

 

 

Nn

 

Nn

3

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как (убедитесь!)

max

(((n +1)h xn )3 (nh xn )3 )= h3 / 4 (при

 

 

 

 

nhxn (n+1)h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn=(n+0,5)h ), то отбрасывая бесконечно малую величину более высокого

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

h3

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

порядка O(h

), получаем оценку:

 

εn

 

 

 

 

max

 

.

 

 

 

 

 

f (x)

 

Тогда, учитывая, что 2N=1/h, получаем:

 

12 nhx(n+1)h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2N

1 2

 

 

h2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε

 

 

 

=

 

f

 

fN

 

 

 

 

=

 

 

 

εn

 

 

 

max

 

f (x)

 

 

,

 

 

 

 

 

 

12

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

x [0,1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε =

f fN

 

 

h

 

 

 

 

 

 

 

 

 

 

 

(5)

 

 

 

 

 

 

 

 

 

 

 

max f (x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 3 x [0,1]

 

 

 

 

 

 

 

 

Видим, что lim

 

 

 

f

 

fN

 

 

 

 

= lim

 

 

 

f

fN

 

 

= 0 и порядок ошибки ε=O(h). ►

 

 

 

 

 

 

 

 

 

N →∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задать функцию fM(x) VM, как видно из (4) и приведенного примера 2, можно набором коэффициентов

 

aM ,n = f ,φM ,n = f (x)φM ,n (x)dx ,

(6)

−∞

n Z. Однако вычисление интегралов (6) при аппаратной обработке сигналов представляет собой сложную для реализации процедуру. Оказывается, набор коэффициентов (6) можно достаточно точно найти в результате обычной дискретизации непрерывного сигнала f(x). Поясним данное утверждение.

Масштабирующие функции, используемые для построения КМА, имеют выраженную локализацию во временной области и чаще всего обладают финитным носителем (см. пример 1). В силу этого интеграл (6) можно приближенно представить в виде

154

aM ,n = f ,φM ,n f (x)φM ,n (x)dx ,

(7)

Mn

 

где Mn - интервал локализации функции φM ,n (x) (в частности, отрезок, который содержит носитель φM ,n (x) , а если последний конечен, то в (7)

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

Если конечный носитель для масштабирующей функции φ(x)=φ0,0(x)

представляет

собой

отрезок

00 ,

то

носители

функций

{ φM ,n (x) = 2m / 2φ(2m x n) }n Z, очевидно,

будут представлять собой от-

резки длины Mn = ∆00 2M . Поскольку, рассматривая для исходного

описания сигнала его проекцию fM(x) VM, можно выбрать как угодно большое число M, то можно добиться как угодно малой длины отрезка

Mn и для непрерывной функции f(x) обеспечить ε>0,

x Mn :

 

f (x) f (xM ,n )

 

< ε , где xM,n – произвольная точка из отрезка

Mn , на-

 

 

пример, его середина. Не меняя общности рассуждений положим, что

серединой отрезка 0 является точка x

= 0.5 , тогда серединой отрезка

 

 

 

 

 

0

 

 

 

 

0,0

 

Mn

будет точка

xM ,n =

n + 0.5

.

Для

дифференцируемой функции

 

 

 

 

 

 

 

 

 

 

2M

 

 

 

f (x) f (xM ,n )

 

= O(

 

Mn

 

)= O(2M ) .

Поэтому с любой точностью ε

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

можно получить x Mn : f(x)=f(xM,n)±εconst. Тогда, вынося константу из-под знака интеграла в (7), имеем:

aM ,n = f (x)φM ,n (x)dx

Mn

 

 

~

 

 

 

 

 

 

f (xM ,n )2

M / 2

φ(2

M

x n)dx =

 

 

aM ,n = f (xM ,n ) φM ,n (x)dx =

 

 

 

 

 

 

 

Mn

 

 

 

 

 

 

 

Mn

 

 

=

f (xM ,n )

φ(2

M

x n)d(2

M

x n)=

 

f (xM ,n )

φ(x)dx = f (xM ,n )C(M ) , (8)

2

M / 2

 

 

 

2

M / 2

 

 

Mn

 

 

 

 

 

 

00

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

155

где C(M ) = φM ,n (x)dx = φ(x)dx 2M / 2 - множитель, который опре-

Mn

00

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

h = xM ,n+1 xM ,n =

1

, если последний выбран из условия:

2M

 

 

f (x) f (x + h) . Как оценить эту точность?

Пример 3. Для дважды дифференцируемой функции f(x), заданной на отрезке x [0,1], и КМА, построенного в примере 1, оценить ошибку

ε =

 

 

 

~

 

, где

~

2N 1~

- приближенное проецирова-

 

 

 

 

 

 

fN fN

 

fN (x) =

aN ,nφN ,n (x)

 

 

 

 

 

 

 

 

n=0

 

ние, при котором коэффициенты разложения получены по формуле (8) в результате масштабирования и равномерной выборки с шагом h=1/2N отсчетов функции:

 

~

 

h f ((n +0,5)h),

 

 

 

 

n=0,1,…,2

N

-1.

 

 

 

aN ,n =

 

 

 

 

 

 

 

◄ В силу

ортонормированности

 

базиса

{φN ,n (x)}n Z для

функции

 

~

 

равенство Парсеваля принимает вид:

 

 

γ (x) = fN (x) fN (x)

 

 

 

 

2

 

 

 

~

 

2

 

 

 

2N 1

 

 

~

2

 

 

 

 

 

ε

=

 

 

 

=

 

(aN ,n

 

 

 

 

 

 

 

 

fN fN

 

 

 

aN ,n ) .

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

Оценим величину εn =

 

 

 

 

. Имеем (см. пример 2):

 

 

 

 

 

 

 

 

 

aN ,n aN ,n

 

 

εn = 1

(n+1)h

 

 

 

 

 

 

 

 

 

 

 

 

(n+1)h

 

(n+1)h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)dx f ((n +0,5)h)

 

dx = 1

f (x) f

(xn )dx

,

h

nh

 

 

 

 

 

h

 

 

 

 

 

 

nh

 

h

nh

 

 

 

 

1442443 1444~24443

 

 

 

 

 

 

 

 

 

 

 

 

 

aN ,n

 

 

 

 

 

 

 

aN ,n

 

 

 

 

 

 

 

 

 

 

 

где xn = (n +0,5)h -

середина интервала Nn

= [nh,(n +1)h). С использо-

ванием формулы Тейлора

 

 

 

 

 

f

′′

 

 

)

 

xn )2 +O((x xn )3 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) = f (xn ) + f (xn )(x xn ) +

 

(x

n

(x

 

 

2

 

 

получаем:

156

 

 

(n+1)h

 

′′

 

 

 

 

3

f

′′

 

)

 

 

 

1

 

 

2

3

1

 

h

(x

4

 

 

f (xn)

 

 

 

 

n

 

εn =

 

 

(x xn) +O(h )dx

 

 

 

 

 

 

 

 

+O(h ) ,

h

f (xn)(x xn) +

2

 

 

 

24

 

 

 

nh

 

 

 

h

 

 

 

 

 

 

 

 

 

(n+1)h

 

(n+1)h

 

 

h3

 

 

 

 

 

 

 

поскольку

(x xn )dx = 0 ,

(x xn )2 dx =

.

 

 

 

 

 

 

12

 

 

 

 

 

 

 

 

 

nh

 

nh

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отбросим величину более высокого порядка малости, чем O(h4 ) , тогда:

 

2

2N 1 2

h5 2N 1

 

 

 

 

2

 

 

 

h5

N

 

 

 

 

 

 

2

 

h4

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε

 

= εn

 

 

 

f ′′(xn )

 

 

 

 

 

2

 

max

f ′′(x)

 

=

 

 

 

max

f ′′(x)

 

.

 

 

2

 

 

 

 

2

 

 

 

2

 

 

n=0

24

 

n=0

 

 

 

 

24

 

 

 

 

x [0,1]

 

 

24

 

x [0,1]

 

 

 

Окончательно:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

h2

 

 

 

′′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε =

f N f N

 

 

 

 

 

max

.

 

 

 

 

 

 

(9)

 

 

 

 

 

 

 

 

 

 

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

24 x [0,1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Как видим, ошибка ε =

 

 

 

 

 

есть величина ε = O(h2 )

и имеет по-

fN fN

 

 

рядок малости, превосходящий порядок ошибки проецирования (5). То есть на практике использование точного проецирования с применением формулы (6) для КМА из примера 1 лишено смысла и влечет лишь увеличение вычислительных затрат. ►

В общем случае приближенное вычисление коэффициентов (6) с использованием формулы (8) дает бóльшую ошибку по сравнению с оценкой (9), полученной в примере 3.

Лемма 2. При использовании формулы (8) для приближенного вычисления коэффициентов (6) дифференцируемой функции f(x), для КМА с

конечным носителем 00 = [0,1]

 

масштабирующей функции φ(x)=φ0,0(x),

верна оценка:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

εn

 

 

 

~

 

h

3 / 2

f (xn ) ,

 

 

 

 

 

= aN ,n aN ,n

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

где xn =

n +0.5

-

середина отрезка

Nn ,

который является носителем

 

 

2N

 

 

 

 

 

 

 

 

 

~

 

функции φN ,n (x) ,

 

N

=1 2

N

- его длина,

-

h = ∆n

 

 

aN ,n = f (xn ) φN ,n (x)dx

приближенное значение коэффициента aN,n.

Nn

 

 

 

◄ Для ошибки εn =

 

~

 

 

, используя неравенство Гёльдера (см.

 

 

 

aN ,n aN ,n

 

теорему 1.1), получаем:

157

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

( f (x) f (xn ))φN ,n (x)dx

 

 

 

 

( f (x) f (xn ))φN ,n (x)

 

 

 

 

 

 

εn =

 

 

 

 

dx

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

f (x) f (xn )

 

2 dx

 

φN ,n (x)

 

2 dx = (f (xn )(x xn ) +O(h2 ))2 dx =

 

 

 

 

 

Nn

 

 

 

 

 

 

 

Nn

Nn

 

 

 

 

 

 

 

 

 

 

 

1442443

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

φN ,n ( x)

 

 

 

2 =1

 

 

 

 

 

2 h3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

f (xn )

 

2 (x xn )2 +O(h3 )dx =

 

f (xn )

 

+O(h4 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

Nn

 

 

 

 

 

 

 

 

 

Отбрасывая бесконечно малую величину более высокого порядка, чем O(h3) и извлекая корни, получаем искомое неравенство. ►

Следствие. Если 00 =1 , то в пространстве L2[0,1] ошибка приближе-

ния, определяемая использованием формулы (8) для дифференцируемой функции в общем случае равна:

ε =

~

h

max f

(10)

fN fN

2

(x) .

 

 

 

3 x [0,1]

 

 

◄ Убедитесь самостоятельно аналогично тому, как это было проделано в примере 3. Сравните полученную оценку (10) с результатом примера 3

– неравенством (9). ►

Таким образом, мы пришли к важному выводу: с точностью до постоянного масштабного множителя С при достаточно малом шаге дискретизации коэффициенты разложения (4) можно трактовать как отсче-

ты дискретного сигнала, взятые с шагом δx =1/ 2M .

7.3. Вычисление вейвлет-преобразований

Рассмотрим вопросы практического вычисления вейвлетпреобразования произвольной функции f(x) L2(R), т.е. нахождения коэффициентов Фурье {cm,n} ряда

∞ ∞

 

f ( x) = ∑ ∑cm,nψm,n (x) .

(11)

m=−∞ n=−∞

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

158

Совершенно аналогично из (3) следует, что

 

cm,n = f ,ψm,n = f (x)ψm,n (x)dx ,

(12)

−∞

если в качестве исходного объекта для вейвлет-анализа вместо функции f(x) L2(R) задан некоторый элемент наилучшего приближения (4), представленный набором коэффициентов (6).

Поскольку VM = M 1 Wj , то вейвлет-разложение (11) для проекции

j =−∞

fM(x) VM принимает вид:

M 1

 

fM (x) = ∑ ∑cm,nψm,n (x) .

(13)

m=−∞ n=−∞

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

Представим некоторый элемент

fm (x) Vm =Vm1 Wm1 в виде

суммы fm (x) = f (x)m1 + y(x)m1 , где

fm1(x) Vm1 , ym1(x) Wm1 .

Тогда раскладывая функции fm (x) , f (x)m1 , y(x)m1 по базисным эле-

ментам соответствующих подпространств Vm, Vm-1, Wm-1, можем записать:

 

am,nφm,n (x) = am1,nφm1,n (x) + cm1,nψm1,n (x) .

(14)

n=−∞

n=−∞

n=−∞

 

1442443

144424443

144424443

 

fm Vm

fm1 Vm1

ym1 Wm1

 

Далее заметим, что из масштабирующего уравнения (1) следует соотношение:

φm1,k (x) = h j 2kφm, j (x).

(15)

j Z

 

Действительно,

φm,k (x)

m+1

= h j 2 2

j Z

= 2m / 2φ(2m x k) = 2m / 2 2 h jφ(2(2m x k) j)=

j Z

φ(2m+1 x j 2k )= h jφm+1, j+2k ( x) = h j 2kφm+1, j (x) .

j Z

j Z

ψm1,k (x) = g j 2kφm, j (x).

(16)

j Z

 

159

am1,k = am,nhn2k n=−∞

Умножим равенство (14) скалярно на элемент φm-1,k(x):

am,n < φm,n (x),φm1,k (x) > = am1,k

n=−∞

иподставим в полученное уравнение вместо функции φm-1,k(x) ее представление по (15):

am1,k = am,n φm,n (x), hj2kφm, j (x) = am,n hj2k φm,n (x),φm, j (x) . n Ζ j Z n Ζ j Z

В силу ортонормированности системы {φm,k (x)}k Ζ Vm получим окончательно k:

. (17)

Аналогично, умножая уравнение (14) скалярно на функцию ψm-1,k(x) и затем представляя последнюю при помощи выражения (16), получим k:

 

 

 

cm1,k = am,n gn2k .

(18)

 

n=−∞

 

Формулы (17) и

(18) задают вычислительную процедуру, рекур-

рентное применение

которой к последовательностям

{am,n}n Z для

m = M , M 1, M 2,K позволяет найти коэффициенты разложения (13) по известному набору (6), т.е. выполнить вейвлет-преобразование функции f(x) L2(R), заданной своей проекцией fM(x) VM. Отметим, что вычисления по формулам (17), (18) носят дискретный характер, сводятся к обработке числовых последовательностей. Причем для КМА, образованного масштабирующей функцией с конечным носителем, суммы в (17) и в (18) также конечны. Алгоритм вычислений можно изобразить в виде следующей схемы (рис. 7.1).

 

(18)

yM 1 {cM 1,n}

(18)

yK {cK ,n}

 

(17)

 

(17)

 

 

 

 

fM {aM ,n}

fM 1 {aM 1,n}

fK {aK ,n}

 

 

Рисунок 7.1. Схема вычисления вейвлет-преобразования

160