Сибирский математический журнал Май—июнь, 2008. Том 49, № 3
УДК 517.5
ЭКСПОНЕНЦИАЛЬНО УБЫВАЮЩИЕ ВСПЛЕСКИ, ИМЕЮЩИЕ РАВНОМЕРНО ОГРАНИЧЕННЫЕ КОНСТАНТЫ НЕОПРЕДЕЛЕННОСТИ ПО ПАРАМЕТРУ, ОПРЕДЕЛЯЮЩЕМУ ГЛАДКОСТЬ Е. А. Лебедева Аннотация. Построено семейство всплеск-функций, масштабирующие функции которых имеют экспоненциальное убывание и равномерно ограниченные константы неопределенности по параметру, определяющему гладкость. Ключевые слова: всплеск, масштабирующая функция, маска, всплеск Мейера, ряд Фурье, средние Валле-Пуссена, константа неопределенности.
В работе [1] для широкого класса ортогональных масштабирующих функций и всплесков (например, всплесков Добеши и всплесков Баттла — Лемарье) доказано, что константы неопределенности стремятся к бесконечности с ростом гладкости. Однако в работах [2] и [3] построено семейство модифицированных всплесков Добеши, причем локализованность по времени и частоте автокорреляционной функции, построенной для масштабирующей функции данного всплеска, сохраняется с возрастанием гладкости. Следует выяснить, можно ли построить семейство всплесков, масштабирующие функции которых имеют, как и сплайн-всплески, экспоненциальное убывание на бесконечности и убывание порядка O(ω −l ) при |ω| → ∞ в частотной области, причем константы неопределенности масштабирующих функций равномерно ограничены по параметру l, определяющему гладкость. Основное содержание данной работы составляет построение такого семейства всплесков. § 1. Основные обозначения, определения и вспомогательные результаты k Далее [x] — целая часть числа x, C[a,b] — пространство всех k раз непрерывно дифференцируемых функций, заданных на отрезке [a, b], с нормой kf kC k := k P max |f (j) (x)|, C 0 [a, b] = C[a, b]. j=0 x∈[a,b]
Модуль непрерывности функции f ∈ C[a,b] определяется соотношением ω(h, f ) :=
sup x,x+x1 ∈[a,b], 0 π/3. В дальнейшем предполагается, что θ — неубывающая дважды непрерывно дифференцируемая функция. Пусть w0 — параметр, изменяющийся в промежутке π/3 < w0 < π/2, w1 := π − w0 . Масштабирующая функция Мейера ϕM определяется так: |w| ≤ 2w0 , 1, π π d M (w) := cos 4 + θ 3(π−2w0 ) (w − π) , 2w0 < |w| ≤ 2w1 , ϕ 0, |w| > 2w1 . Маска Мейера — 2π-периодическая функция, определяемая на отрезке [−π; π] следующим образом: |w| ≤ w0 , 1, π π M d M m (w) := ϕ (2w) = cos 4 + θ 3(π−2w0 ) (2w − π) , w0 < |w| ≤ w1 , (2) 0, w1 < |w| ≤ π. Константа неопределенности функции f равна f fˆ, где Z Z −2 −2 2 2 2 2 ˆ f := kf kL2 (R) (t − t0f ) |f (t)| dt, fˆ := kf kL2 (R) (w − w0fˆ)2 |fˆ(w)|2 dw, R
R
576
Е. А. Лебедева t0f := kf k−2 L2 (R)
Z
t|f (t)|2 dt,
w0fˆ := kfˆk−2 L2 (R)
R
Z
w|fˆ(w)|2 dw.
R
iw ¯
Числа ±e называются парой симметричных корней маски m, если m(w) = m(w + π) = 0. Множество различных комплексных чисел B := {b1 , . . . , bn } называется циклическим, если bj+1 = b2j , j = 1, . . . , n, bn+1 = b1 . Циклическое множество B называется циклом маски m, если m(w + π) = 0 для всех w таких, что exp(iw) = bj для некоторого j = 1, . . . , n. Тривиальным циклом называется множество {1}. Маска называется чистой, если она не имеет ни пары симметричных нулей, ни циклов. Показатель Г¨ельдера αf функции f , заданной на отрезке [a, b], определяется так: αf := k + sup{β ∈ R | |f (k) (x1 ) − f (k) (x2 )| ≤ Cβ |x1 − x2 |β , x1 , x2 ∈ [a, b]}, β∈R
где k := max{h | f ∈ C h [a, b]}. h∈Z
Гладкость функции характеризуется также числом θfˆ := sup{β ∈ R | |fˆ(w)| ≤ C(|w| + 1)−β }. β∈R
Для введенных характеристик гладкости, как известно, справедливо неравенство θfˆ − 1 ≤ αf ≤ θfˆ. Пусть θ(m) означает θϕb, где ϕ — масштабирующая функция, соответствующая маске m. Для нахождения θ(m) может быть использован следующий результат. Теорема 2 [5, лемма 7.4.2, предложение 7.4.4]. Пусть маска m представL+1 mc (w), где mc — чистая маска. Тогда θ(m) = лена в виде m(w) = cos w2 L + 1 + θ(mc ) и θ(mc ) = lim θk , где k→∞
1 θk := − log2 kmc (w) . . . mc (2k−1 w)k∞ . k
(3)
§ 2. Сходимость семейства масок к маске Мейера Рассмотрим 2π-периодический тригонометрический полином mM ,w l w 2l V[ N (l)+1 ] 2 , ml (w) := cos 2 V[ N (l)+1 ] mM l ,0 2
где mM l (w) :=
mM (w) 2l , cos w2
l ∈ N.
Последовательность N (l) будет определена позднее в предложении 1. Обозначим vl (w) := V[ N (l)+1 ] mM l ,w . 2
Так как
mM l
∈ C[−π; π], по теореме 1
vl − mM
≤ Kω (N (l))−1 , mM . l l C[−π;π]
Экспоненциально убывающие всплески
577
Также из непрерывности функции mM l следует, что → 0 при N (l) → ∞. ω (N (l))−1 , mM l Из определения функции mM вытекает, что если N (l) → ∞ при l → ∞, то l −1 M ω (N (l)) , ml является возрастающей последовательностью по l. Найдем N (l) такое, что ω (N (l))−1 , mM → 0 при l → ∞. По определению l модуля непрерывности M ml (w + h) − mM ω((N (l))−1 , mM ) = sup l (w) . −π≤w,w+h≤π, 0 0, то
vl − mM
< Kε, l C[−π;π]
(4)
где K — абсолютная константа (допустим, K = 44). Например,
если N (l) ≥ b3l (l(b − 1)0,5 + M1 ), то vl − mM < Kb−2l . l C[−π;π]
(5)
В дальнейшем предполагаем, что N (l) удовлетворяет (5). Обозначим α(l, w) := vl (w) − mM l (w)
и α(l) := Kb−2l .
(6)
Тогда из (5) следует, что |α(l, w)| < |α(l)| и
lα(l) → 0
при l → ∞.
(7)
Заметим, что N0 (l) := b3l (l(b−1)0,5 +M ) — возрастающая положительная функция, следовательно, обратная функция l 7→ l(N0 ) существует, возрастает и неотрицательна. Из (4) получим
578
Е. А. Лебедева Следствие 1. В условиях предложения 1 справедливо неравенство
2l
M
cos ·
< Kε. v (·) − m (·) l
2 C[−π;π]
Доказательство. Действительно, 2l M cos w vl (w) − m (w) ≤ vl (w) − mM l (w) ≤ Kε. 2 Замечание 1. Из неравенства (4) следует, что vl (0) → mM l (0) = 1 при l → ∞, поэтому 0 < d < c ≤ mM (0) начиная с некоторого l , где c := inf vl (0), а d — 0 l l≥l0
абсолютная константа. Не умаляя общности, можно рассматривать вводимые семейства функций (ml , mM l и др.) начиная с номера l0 . Поэтому имеет место Следствие 2. Имеет место сходимость kml − mM kC[−π;π] → 0 при l → ∞. Доказательство. Так как mM (0) = 1 и |mM | ≤ 1, то w 2l vl (w) mM (w) M |ml (w) − m (w)| = cos − M 2 vl (0) m (0) 2l 1 1 w 1 M M ≤ cos − vl (w) − m (w) + m (w) |vl (0)| 2 vl (0) mM (0) 1 2Kε Kε + |vl (0) − 1| ≤ . ≤ c vl (0) c
Поскольку ml — тригонометрический полином и ml (0) = 1, по предложе∞ Q нию 2.4.1 из [5] бесконечное произведение ml 2wj сходится абсолютно и равj=1
номерно на любом компакте. (Считаем, что бесконечное произведение сходится и в случае, когда оно равно нулю.) Поэтому функция ml является маской для стабильной, но не ортогональной масштабирующей функции ϕl , преобразова∞ Q ние Фурье которой определяется равенством ϕbl (w) := ml 2wj . Утверждение j=1
о том, что функции ϕl (· + 2πk), k ∈ Z, образуют базис Рисса в замыкании своей линейной оболочки, доказано в лемме 3 (неравенство (17)). § 3. Рост гладкости (на основании свойств маски) Оценим показатель гладкости функции ϕl . Для этого представим маску в 2l m0,l (w), где m0,l (w) := vvll(w) виде ml (w) = cos w2 (0) . Докажем, что m0,l являет ся чистой маской. Другими словами, вспоминая, что vl (w) := V[ N (l)+1 ] mM l ,w , 2 докажем, что для каждого l ∈ N существует N (l) ≥ N0 (l), для которого V[ N (l)+1 ] mM l , π 6= 0. Предположим, что это условие не выполняется и мож2 но найти такой номер n0 , что Vn mM l , π = 0 для всех n > n0 . Вспоминая определение средних Фейера для функции mM l , получим σ2n−1 mM l ,π
1 = π
Zπ −π
mM l (t + π)
1 (sin nt)2 dt, n (2 sin 0, 5t)2
Экспоненциально убывающие всплески σn−1 mM l ,π
1 = π
Zπ
mM l (t + π)
579
2 (sin 0, 5nt)2 dt n (2 sin 0, 5t)2
−π
2 = π
Zπ
1 (sin(un − 0, 5πn))2 du = 2 n (2 cos u) π
2 mM l (2u)
Zπ
mM l (2u)
1 (sin(2uk))2 du, k (2 cos u)2
−π
0
где предпоследнее равенство получено с помощью подстановки u = 0, 5(t + π), а последнее следует из четности функции mM l и записано для четных n = 2k, k ∈ N. Тогда на основании (1) и определения средних Фейера имеем M M V n mM l , π = 2σ2n−1 ml , π − σn−1 ml , π Zπ 1 (sin 2kt)2 1 t M = 2 sin2 mM dt = σ4k−1 (gl , 0), l+1 (t + π) − ml+1 (2t) π 2 2k (2 sin 0, 5t)2 −π
M где gl (t) := 2 sin2 2t mM l+1 (t + π) − ml+1 (2t) . Таким образом, существует k0 = [0, 5n0 ] + 1 такое, что σ4k−1 (gl , 0) = 0 при k ≥ k0 . Так как σm (f, w) = (m + 1)−1 (S0 (f, w) + · · · + Sm (f, w)), где Sm (f, ·) — m-я частичная сумма ряда Фурье функции f , то (4k + 4)σ4k+3 (gl , 0) − 4kσ4k−1 (gl , 0) =
3 X
S4k+j (gl , 0)
j=0
и, следовательно,
3 P
S4k+j (gl , 0) = 0. Поскольку gl — четная функция, имеем
j=0 3 X
S4k+j (gl , 0) = 2a0 + 4
am + 3a4k+1 + 2a4k+2 + a4k+3 ,
m=1
j=0
где am = π −1
4k X
Rπ
gl (w) cos mw dw. Тогда
−π
2a0 + 4
4k X
am + 3a4k+1 + 2a4k+2 + a4k+3 = 0.
m=1
Заменяя в последнем равенстве k на k + 1, получим 2a0 + 4
4k+4 X
am + 3a4k+5 + 2a4k+6 + a4k+7 = 0.
m=1
Вычитаем из последнего равенства предпоследнее: a4k+1 + 2a4k+2 + 3a4k+3 + 4a4k+4 + 3a4k+5 + 2a4k+6 + a4k+7 = 0. Используя определение am и равенство cos x+cos y = 2 cos 0, 5(x+y) cos 0, 5(x−y), приходим к равенству Zπ 2gl (t)(cos 3t + 2 cos 2t + 3 cos t + 4) cos(4k + 4)t dt = 0. −π
580
Е. А. Лебедева
Обозначим hl (t) := 2gl (t)(cos 3t + 2 cos 2t + 3 cos t + 4), тогда
Rπ
hl (t) cos(4k +
−π
4)t dt = 0. Преобразуем последний интеграл: Z2π
Zπ hl (t) cos(4k + 4)t dt = 0, 5 −π
2π Z Z0 hl (0, 5t) cos 2(k + 1)t dt = 0, 5 +
−2π
0
−2π
Zπ = 0, 5
(hl (0, 5(t + π)) + hl (0, 5(t + π))) cos 2(k + 1)t dt.
−π
Применяя аналогичные рассуждения к последнему интегралу, окончательно получим Zπ Zπ hl (t) cos(4k + 4)t dt = ql (t)(−1)k cos(k + 1)t dt, −π
−π
где ql (t) :=
1 4
hl
t + 3π 4
+ hl
t+π 4
+ hl
t−π 4
+ hl
t − 3π 4
.
Тогда Zπ ql (t) cos kt dt = 0
для всех k ≥ [0, 5n0 ] + 2.
(8)
−π
Так как по определению ql — четная функция, то bm = 0 для всех m ∈ N, Rπ где bm := π −1 ql (t) sin mt dt. Из определения функции θ следует, что ql — −π
непрерывно дифференцируемая функция. Тогда ряд Фурье, построенный по ql , сходится к ql , поэтому из (8) получаем, что ql — тригонометрический полином: [0,5n P0 ]+2 ql (t) = cm cos mt. Из определения функции ql и того, что маска Мейера m=0
mM не является тригонометрическим полиномом, следует, что функция ql не будет тригонометрическим полиномом. Полученное противоречие означает, что для любого n0 существует n1l (n0 , n1l ∈ N) такое, что Vn1l mM , π 6= 0 и n1l ≥ n0 . l Таким образом, при N (l) = n1l соответствующая маска m0l будет чистой, что и требовалось доказать. Так как m0l — чистая маска, для оценки показателя гладкости функции ϕl можно воспользоваться теоремой 2. Найдем lim θk для m0,l (w), где θk опреk→∞
делены в теореме 2. Из замечания 1, равенства (1), а также свойства средних Фейера быть ограниченными теми же константами, что и порождающие их функции (см., например, [6, с. 610]), последовательно имеем 1 1 M |vl (w)| ≤ max 2σ2[ N (l)+1 ]−1 mM l , w , σ[ N (l)+1 ]−1 ml , w 2 2 c c w M M и sup σn mM l , w ≤ sup ml (w) для любого n ∈ N. Из определения функции ml w w w −2l M следует, что mM при 0 ≤ w ≤ w1 и mM l четная, ml (w) ≤ cos 2 l (w) ≤ 0 при w1 < w ≤ π. |m0,l (w)| ≤
Экспоненциально убывающие всплески
581
−2l при Определим четную функцию f0,l такую, что f0,l (w) := 2c cos w2 0 ≤ w ≤ w1 и f0,l (w) := 0 при w1 < w ≤ π. Таким образом, sup |m0,l (w)| ≤ w
sup f0,l (w), поэтому θk (m0,l ) ≥ θk (f0,l ). w
По определению функции f0l имеем kf0l (w) . . . f0l (2k−1 w)k∞ = f0l (w1 ) . . . f0l
w (2/c)k 1 = . k−1 2 (cos w1 /2 . . . cos w1 /2k )2l
Тогда на основании (3) получим 2 k c 1 w1 w1 − k1 θk (f0l ) = − log2 . . . cos k при k → ∞. − 2l log2 cos → log2 k c 2 2 2 ∞ Q При предельном переходе использовалось тождество cos 2wj = sinww . j=1 цикла Таким образом, θ(m0,l ) ≥ log2 2c . Для m0,l кратность тривиального c c равна 2l. Окончательно, 2l − 1 + log2 2 ≤ αϕl ≤ 2l + log2 2 . Таким образом, αϕl → ∞ при l → ∞.
§ 4. Сходимость неортогонализованных масштабирующих функций к масштабирующей функции Мейера d M (w)| → 0 Лемма 1. Для любого w ∈ R имеет место сходимость |ϕbl (w) − ϕ при l → ∞. Доказательство. Фиксируем w ∈ R, находим D ∈ N так, чтобы |w|/2D < 2w0 , w0 — параметр, входящий в определение маски Мейера mM . Тогда Y ∞ w Y w ∞ d M (w)| = ml j − |ϕbl (w) − ϕ mM 2 2j j=1 j=1 D ∞ D ∞ wY w Y wY w Y = ml j ml D j − mM mM j D 2j 2 j=1 2 2 2 2 j=1 j=1 j=1 Y D ∞ w Y w w Y D M m m ≤ ml j − l 2 2j j=1 2D 2j j=1 j=1 ∞ ∞ D w Y w Y w Y M + ml D j − mM m 2 2 2D 2j j=1 2j j=1 j=1 Y D w Y w w w D d ϕbl = ml j − mM + ϕ b − 1 ϕM (w). l j D D 2 2 2 2 j=1 j=1 Так как kml − mM kC[−π;π] → 0 при l → ∞, то Y D w Y w D → 0 при l → ∞. ml j − mM j 2 2 j=1 j=1
582
Е. А. Лебедева
d d M (w) не зависит от l и ϕ M (w) ≤ 1. Если доказать, что Также заметим, что ϕ w w ϕbl 2D → 1 при l → ∞, то ϕbl 2D будет ограничено по l. Таким образом, достаточно доказать ϕ(w) b → 1 при l → ∞ для фиксированного |w| < 2w0 . Имеем ϕbl (w) − 1 =
∞ Y
ml
w 2j
j=1 ∞ P
Докажем, что
ln ml
j=1 ∞ X j=1
w 2j
ln ml
ln
−1=e
∞ Q
ml (
j=1
w 2j
)
∞ P
−1=e
ln ml (
j=1
w 2j
)
− 1.
→ 0 при l → ∞. Так как ln ml (0) = 0, то
w 2j
=
∞ X j=1
ln ml
w 2j
− ln ml (0) .
По теореме Лагранжа w w 0 ln ml j − ln ml (0) = j (ln ml (w))w=w∗ , j 2 2
где 0 < wj∗
4e2w0 . Значит, искомую функцию ξ можно определить так: 1 + ν, |w| ≤ 4e2w0 , ξ(w) := 2 e2w0 |w|−l1 +2 log2 c , |w| > 4e2w0 , где ν — абсолютная константа, ν > 0, l1 := max l0 , 2 log2 2c + 2 . Тогда доказательство леммы 2 следует из теоремы Лебега и леммы 1. § 5. Равномерная ограниченность частотных радиусов функций ϕ⊥ l P −0,5 Определим ϕ d bl l , где l (w) := |ϕbl (w + 2πk)|2 . Тогда, как l⊥ := ϕ k∈Z
известно (см., например, [5, предложение 4.2.1]), ϕ⊥ l — ортонормированная масштабирующая функция, порождающая тот же кратномасштабный анализ, что 0,5 −0,5 ⊥ и ϕl . Маска для функции ϕ⊥ (2·). l определяется так: ml (·) := ml (·)l (·)l Лемма 3. Для любого l ∈ N имеет место неравенство 2c⊥ ≤ C1 , где C1 — ϕl
абсолютная константа. Доказательство. Оценим 2π-периодическую функцию l . Пусть w ∈ [−π; π]. Тогда из леммы 1 следует, что |ϕ(w)| b ≥ √12 − ε(l) , где ε(l) → 0 при l → 0. Имеем 2 X 1 2 l (w) = |ϕbl (w)|2 + |ϕbl (w + 2πk)| ≥ √ − ε(l) . (15) 2 k∈Z,k6=0
Экспоненциально убывающие всплески С другой стороны, если p := X
|ϕbl (w + 2πk)|2 =
X
4e2w0 +π
+
|k|≤p
k∈Z
2π
X
+ 1, то из (14) получим
≤ e4w0
|k|>p
585
X
|w + 2πk|−2l+4 log2
2 c
|k|>p
e4w0 ζ −2l + 4 log2 + (1 + ε(l)) (2p + 1) ≤ (2p + 1)(1 + ε(l)) + c (2π)2l−4 log2 2 2
2
c 2
≤ (2p + 1)(1 + ε(l))2 + R,
(16)
где R — абсолютная константа. В последнем равенстве использована ограниченность на луче (2, +∞) функции Римана. 2 Обозначим A(l) := √12 − ε(l) , B(l) := (2p + 1)(1 + ε(l))2 + R. Так как ε(l) → 0 при l → ∞, то A(l) ≥ A > 0 и B(l) ≤ B, где A и B — абсолютные константы. Таким образом, 0 < A ≤ A(l) ≤ l ≤ B(l) ≤ B.
(17)
Тем самым из (15) и (14) имеем Z
⊥ (w) 2 dw = w2 ϕc l
R
≤ A−1
Z
Z |ϕbl (w)|2 2 dw ≤ A−1 w2 |ϕbl (w)| dw l (w) R R Z 2 w2 (1 + ε(l)) dw + e4w0 |w|−2l+4 log2
Z
w2
|w|4e2w0
2 2w0 3 2e4w0 2 (4e ) (1 + ε(l)) + |4e2w0 |−2l+4 log2 3 2l − 4 log2 2c − 3
2 c +3
≤ 2πC1 ,
где C1 — абсолютная константа. ⊥ — четная функция, то частотный центр w Так как ϕc равен 0, поэтому c ⊥ l 0ϕ l
2c⊥ = ϕl
1 2π
Z
⊥ (w) 2 dw. w2 ϕc l
R
Поскольку 1 lim l→∞ A
2 2w0 3 2e4w0 |4e2w0 |−2l+4 log2 2 (4e ) (1 + ε(l)) + 3 2l − 4 log2 2c − 3
имеем lim 2c⊥ ≤ l→∞
ϕl
1 2w0 3 ) . 3Aπ (4e
2 c +3
! =
2(4e2w0 )3 , 3A
Замечание 3. Так как ml — тригонометрический полином, то ϕl имеет компактный носитель. Следовательно, учитывая соотношение (17), получаем, что ϕ⊥ l убывает на бесконечности экспоненциально (см., например, [5, замечание 4.2.2]).
586
Е. А. Лебедева § 6. Равномерная ограниченность временных радиусов функций ϕ⊥ l
Лемма 4. Пусть преобразование Фурье масштабирующей функции, имеющей ортонормированные целые сдвиги, определяется равенством ϕ(w) b =
∞ Y
w m j 2 j=1
и бесконечное произведение допускает почленное дифференцирование на любом ограниченном множестве. Тогда π 0,5 Z 0,5 Z t2 |ϕ(t)|2 dt ≤ J |m0 (w)| dw , −π
R −0,5
0,5
где J = (2π) (2 + 1). как ϕ b0 (w) = iwϕ(w), b то по теореме Планшереля R 2 Доказательство. R 0 Так 1 2 2 t |ϕ(t)| dt = 2π |ϕ b (w)| dw. Пусть w ∈ [−(2N + 1)π; (2N + 1)π]. Из опредеR
R
ления функции ϕ(w) b следует, что Y X ∞ 0 −l 0 −l m (2 w) m(2−p w). ϕ b (w) = 2 m(2−l w) p=1 l∈N
Так как |m(w)| ≤ 1, то |ϕ b0 (w)| ≤
X
2−l |m0 (2−l w)|
l∈N
=
X
∞ Y p=l+1 ∞ Y
2−l |m0 (2−l w)|
|m(2−p w)| |m(2−p−l w)| =
p=1
l∈N 0
−l
X
2−l |m0 (2−l w)| · |ϕ(2 b −l w)|.
l∈N −l
Положим al (w) := |m (2 w)| |ϕ(2 b w)|. Тогда на основании неравенства Коши — Буняковского получим X 2 X X 2−l al (w) ≤ 2−2lq 2−2l(1−q) a2l (w), l∈N
l∈N
где 0 < q < 12 . Поэтому 0,5 (2N Z+1)π |ϕ b0 (w)|2 dw ≤
l∈N
(2N Z+1)π
0,5 X 2 2−l al (w) dw
−(2N +1)π l∈N
−(2N +1)π
X 0,5 X ≤ 2−2lq 2−2l(1−q) l∈N
l∈N
l∈N
0,5 a2l (w) dw
−(2N +1)π
X 0,5 X = 2−2lq 2−l(1−2q) l∈N
(2N Z+1)π
2
−l
(2N Z +1)π
−2−l (2N +1)π
0,5 2 |m0 (w)|2 · |ϕ(w)| b dw
Экспоненциально убывающие всплески ≤ (2(1 − 2−2q )(1 − 2−(1−2q) ))−0,5
(2N Z+1)π
587 0,5
2 |m0 (w)|2 |ϕ(w)| b dw
.
−(2N +1)π
Так как m0 — 2π-периодическая функция, то (2N Z+1)π
2 |m0 (w)|2 |ϕ(w)| b dw
−(2N +1)π
Zπ
0
N X
2
|m (w)|
=
Zπ
2
|ϕ(w b + 2πk)| dw ≤
k=−N
−π
|m0 (w)|2
X
|ϕ(w b + 2πk)|2 dw.
k∈Z
−π
Поскольку ϕ имеет ортонормированные целые сдвиги, то
P k∈Z
|ϕ(w b + 2πk)|2 = 1
и, следовательно, 0,5 (2N Z+1)π Zπ 0 2 −2q −(1−2q) −0,5 | ϕ b (w)| dw ≤ (2(1 − 2 )(1 − 2 )) |m0 (w)|2 dw. −π
−(2N +1)π
Так как последнее неравенство выполняется для любого N ∈ N, для любого 0 < q < 0, 5 и min (2(1−2−2q )(1−2−(1−2q) ))−0,5 = (2(1−2−0,5 )(1−2−0,5 ))−0,5 = 0p
|k|>p 2
+ (2p + 1)(1 + ε(l)) ≤ (2p + 1)(1 + ε(l)) + 2e2w0 (2π)−l+2 log2 c ζ(l − 2 log2 (2/c)). Таким образом, " # 2 2w0 0 0,5 (w) 0 ≤ M (1 + ε(l)) (2p + 1)(1 + ε(l)) + 2e ζ l − 2 log22 c . l A0,5 (1 − α(l)) (2π)l−2 log2 c
(20)
Так как была установлена равномерная по w сходимость P в ходе доказательства ряда ((ϕbl (w + 2πk))2 )0 , то тем самым обеспечена законность почленного дифk∈Z P ференцирования ряда (ϕbl (w + 2πk))2 . k∈Z
Установим законность почленного дифференцирования бесконечного про⊥ , на произвольном ограниченном мноизведения, определяющего функцию ϕc l жестве. Для этого достаточно (см., например, [7, c. 171]) проверить равномерQ n 0 w ную по w сходимость последовательности m⊥ . j l 2 j=1
590
Е. А. Лебедева
Докажем равномерную по w из ограниченного множества фундаментальность данной последовательности. Пусть n > m, |w| < D. Имеем n ! ! m Y 0 0 Y ⊥ w ⊥ w ml − ml j j 2 2 j=1 j=1 m ! n m X Y Y w w ⊥ w −j0 ⊥ w ⊥ 0 ⊥ 0 ml ≤ 2 − ml ml ml 2j 2j0 2j 2j0 j0 =1 j=1, j6=j0 j=1,j6=j0 n n X w Y w ⊥ 0 + 2−j0 m⊥ m . l l 2j 2j0 j0 =m+1
j=1,j6=j0
Обозначим первое и второе слагаемые последней суммы F1 (w) и F2 (w) соответ 0 (w) по l ственно. Оценим каждое из них. Равномерная ограниченность m⊥ l 0 (w) . Неравенство m⊥ и w доказана выше. Пусть K0 := sup m⊥ l (w) ≤ 1 l w∈R,l∈N
следует из свойств маски. Тогда для второго слагаемого получим F2 (w) ≤ n P K0 2−j0 ≤ K0 2−m . Оценим первое слагаемое: j0 =m+1
Y n m w w Y F1 (w) ≤ K0 2−j0 m⊥ − m⊥ l l j 2 2j j=1, j6=j0 j0 =1 j=1, j6=j0 n m w Y X . m⊥ ≤ K0 2−j0 − 1 l j 2 j=m+1 j0 =1 ⊥ Последнее неравенство следует из свойства маски ml ≤ 1. Пусть m выбрано w 0 пока так, чтобы |w| 2m < w0 . Обозначим w := 2m . Тогда ∞ Q w0 n n−m m⊥ 0 l 2j Y Y w w j=1 ⊥ m m⊥ − 1 = − 1 = − 1 l l ∞ j j Q 0 2 2 w ⊥ j=m+1 j=1 ml 2 j m X
j=n−m+1
c w0 0 ϕ⊥ ϕbl (w0 )0,5 l 2n−m l (w ) = − 1 = − 1 0 0,5 w 0) w0 ⊥ ϕ b (w n−m l ϕc l 2 l 2n−m 0,5 0 w0 w0 ϕbl (w0 )0,5 − ϕ b (w ) n−m n−m l l l 2 2 = 0,5 w0 ϕbl 2n−m l (w0 ) w0 w0 0,5 0,5 0 −0,5 0 ≤ 2A − ϕbl l (w ) . ϕbl (w )l n−m n−m 2 2 Так как ϕbl и l0,5 непрерывны, а ϕbl (0) = 0,5 l (0) = 1, то для любого ε > 0 существует δ(ε) такое, что при |w0 | < δ выполняется |ϕbl (w) − 1| < 18 A0,5 B −0,5 ε, 0,5 (w) − 1 < 1 A0,5 ε. Выберем m так, чтобы |w| l 16 2m < min{δ, w0 }, тогда 0 w w0 0,5 0,5 −0,5 0 0 2A − ϕbl l (w ) ≤ ε. ϕbl (w )l 2n−m 2n−m m P Следовательно, F1 (w) ≤ ε 2−j0 ≤ ε. j0 =1
Экспоненциально убывающие всплески
591
Таким образом, почленная дифференцируемость бесконечного произведе⊥ , на произвольном ограниченном множестве ния, определяющего функцию ϕc l установлена. На основании неравенства (18) с помощью оценок (19) и (20) получаем 0 ограниченность по l семейства функций m⊥ (w), а следовательно, и ограl ниченность по l временных ´ радиусов констант неопределенности построенного семейства. Автор выражает благодарность профессору И. Я. Новикову за постановку данной задачи. ЛИТЕРАТУРА 1. Chui C. K., Wang J. High-order orthonormal scaling functions and wavelets give poor time-frequency localization // J. Fourier Anal. Appl. 1996. V. 2, N 5. P. 415–426. 2. Novikov I. Ya. Modified Daubechies wavelets preserving localization with growth of smoothness // East J. Approx.. 1995. V. 1, N 3. P. 314–348. 3. Новиков И. Я. Константы неопределенности для модифицированных всплесков Добеши // Изв. Тульск. гос. ун-та. Сер. Математика. Механика. Информатика. 1998. Т. 4, № 1. С. 107–111. 4. Кашин Б. С., Саакян А. А. Ортогональные ряды. М.: АЦФ, 1999. 5. Новиков И. Я., Протасов В. Ю., Скопина М. А. Теория всплесков. М.: Физматлит, 2005. 6. Фихтенгольц Г. М. Курс интегрального и дифференциального исчисления. М.: Физматгиз, 1959. Т. 2. 7. Рудин У. Основы функционального анализа. М.: Мир, 1976. Статья поступила 19 января 2007 г., окончательный вариант — 1 октября 2007 г. Лебедева Елена Александровна Курский гос. университет, ул. Радищева, 33, Курск 305000, ГСП
[email protected]