1953, vol. 74, pp. 10-43. DOI: 10.1090/S0002-9947-1953-0054850-X.
19. Madsen I. B., Milgram R. J. The Classifying Spaces for Surgery and Cobordism of Manifolds. Princeton, NJ, Princeton Univ. Press, 1979.
20. Dold A. Homology of symmetric products and other functors of complexes Ann. Math. (2), 1958, vol. 68, no. 1, pp. 64-80. DOI: 10.2307/1970043.
21. Dold A., Thom R. Quasifaserungen und unendliche symmetrische Produkte. Ann. Math. (2), 1958, vol. 67, no. 2, pp. 239-281. DOI: 10.2307/1970005
22. Dranishnikov A. N. Absolute F-valued retracts and spaces of functions in the topology of pointwise convergence. Siberian Math. J., 1986, vol. 27, no. 3, pp. 366-376. DOI: 10.1007/BF00969273.
23. Alimov A. R. A number of connected components of sun's complement East J. Approx., 1995, vol. 1, no. 4, pp. 419-429.
24. Brown A. L. Suns in normed linear spaces which are finite-dimensional Math. Ann., 1987, vol. 279, pp. 87-101. DOI: 10.1007/BF01456192.
25. Brown A. L. Suns in polyhedral spaces. Seminar Math. Anal., Proceedings / eds.: D. G. Alvarez, G. Lopez Acedo, R. V. Caro, Univ. Malaga and Seville (Spain), Sept. 2002 - Feb. 2003. Sevilla, Universidad de Sevilla, 2003, pp. 139-146.
26. Alimov A. R. Monotone path-connectedness and solarity of Menger-connected sets in Banach spaces. Izv. Math., 2014, vol. 78, no. 4, pp. 641-655. DOI: 10.1070/IM2014v078n04ABEH002702.
УДК 517.518
О РАСХОДИМОСТИ ПОЧТИ ВСЮДУ РЯДОВ ФУРЬЕ НЕПРЕРЫВНЫХ ФУНКЦИЙ ДВУХ ПЕРЕМЕННЫХ
Н. Ю. Антонов
Доктор физико-математических наук, заведующий отделом теории приближения функций, Институт математики и механики им. Н. Н. Красовского УрО РАН, Екатеринбург, Nikolai.Antonov@imm.uran.ru
Рассматривается один вид сходимости двойных тригонометрических рядов Фурье, промежуточный между сходимостью по квадратам и А-сходимостью при Л > 1. Построен пример непрерывной функции двух переменных, ряд Фурье которой расходится в указанном смысле почти всюду.
Ключевые слова: кратные ряды Фурье, сходимость почти всюду.
Пусть N, Z, R — множества натуральных, целых и действительных чисел соответственно, T2 = [0, 2п)2 — двумерный тор,
^ aKlei(kx+ly), (x,y) е T2, (1)
(k,i)ez2
— двойной тригонометрический ряд Фурье 2п-периодической по каждой переменной и суммируемой на T2 функции f и для (m, n) е N2
Sm,n (f,x,y) = ^ ak,i ei(kx+ly)
(.k,l)GZ2: |k|^m, |l|^n
— (m, п)-я прямоугольная частичная сумма ряда (1).
Говорят, что ряд (1) сходится по Прингсхейму в точке (x,y) е T2, если существует
lim Smn (f,x,y). (2)
Пусть Л ^ 1. Ряд (1) называется А-сходящимся в точке (x, y) е T2, если существует предел (2), рассматриваемый только по тем парам (m, n), для которых 1/А ^ m/n ^ Л. В случае Л = 1 Л-схо-димость называется сходимостью по квадратам.
Аналогичным образом определяются кратный ряд Фурье, его прямоугольные частичные суммы и упомянутые виды сходимости для функций d переменных при d > 2.
Через f е C(T2) и Lp(T2), p ^ 1, будем обозначать множества 2п-периодических по каждой переменной функций, которые непрерывны и суммируемы с p-й степенью соответственно.
В случае сходимости по квадратам (кубам) известно [1,2], что если функция f принадлежит классу Lp(Td), p > 1, d ^ 2, в частности, если f непрерывна, то ряд Фурье этой функции сходится (по
кубам) почти всюду. С другой стороны, Ч. Фефферман (C. Fefferman) [3] построил пример непрерывной функции двух переменных, ряд Фурье которой расходится по Прингсхейму всюду. М. Бахбух и Е. М. Никишин [4] доказали, что существует функция f G C(T2) с расходящимся на множестве положительной меры рядом Фурье и удовлетворяющая следующему условию на модуль непрерывности: w(f, 5) = O (ln-1 (1/5)) при 5 ^ +0. А. Н. Бахвалов [5] установил, что для любого Л > 1 найдется функция f G C(T2m) такая, что ее ряд Фурье Л-расходится всюду, а модуль непрерывности удовлетворяет условию
w(f,5) = O (ln-m(1/5)), 5 ^ +0. (3)
Затем в работе [6] Бахвалов доказал существование функции f G C(T2m), удовлетворяющей условию (3) и такой, что ее ряд Фурье Л-расходится всюду для всех Л > 1.
Пусть Л = (Л,— невозрастающая последовательность положительных чисел,
{1
(m, n) G N2 : -— ^ — ^ 1 + Лп
1 + Лт n
Двойной ряд Фурье функции f G L(T2) назовем Л-сходящимся в точке (x, y) G T2 к числу A, если для любого числа s > 0 найдется номер N такой, что для всех пар (m, n) G из условия m, n > N следует |Sm,n(f, x,y) — A| < s. Ряд, не являющийся Л-сходящимся, будем называть Л-расходящимся.
Заметим, что если Л^ = Л — 1 для некоторого Л > 1, то условие Л-сходимости превращается в определенное выше условие Л-сходимости. А если Л^ ^ 0 при v ^ œ, то условие Л-сходимости является более слабым, чем условие Л-сходимости при любом Л > 1. Ниже будет доказано следующее утверждение.
Теорема. Пусть невозрастающая последовательность положительных чисел Л = (Л^удовлетворяет условию ln2 Л^ = o(ln v ) при v ^ œ. Тогда существует функция F g C (T2) такая, что ее ряд Фурье Л-расходится почти всюду на T2.
Доказательство. Обозначим через mes E плоскую лебегову меру измеримого множества E С T2, через |_xj — целую часть числа x G R, через Dn(t) — ядро Дирихле порядка n: Dn(t) = = (sin(n + 1/2)t)/(2sin(t/2)). Через Cl5 C2, C3,... будем обозначать абсолютные положительные константы. Не ограничивая общности, будем считать, что Л^ ^ 0 при v ^ œ.
1. Зафиксируем некоторое достаточно большое натуральное число v. Обозначим:
Av = [п — 2Л^, п + 2Л^ ]2, Bv = [п — Л^/2, п + Л^/2]2.
Определим функцию gv следующим образом:
, , i eivxy, x G Av, gv (x, y) = <
V ' 4 x G [0,2n)2\Av.
Продолжим эту функцию 2п-периодически по каждой переменной. Зафиксируем (x, y) G Bv. Пусть m = l_vyJ, n = |_vx_|. Не трудно проверить, что если v достаточно большое, то (m,n) G . Оценим величину (m, п)-й частичной суммы ряда Фурье функции gv в точке (x,y). Будем следовать с некоторыми видоизменениями схеме доказательства теоремы 1' из работы [3]. Воспользуемся представлением
Sm,„(gv,x,y) = J j Dm(u - x) Dn(v - y) gv(u, v) du dv =
T T
2n 2n
1 [ [ sin vy(u — x) sin vx(v — y) , , , , I , ,
= -2 --f-T7-г-gv(u, v) dudv + Rv(gv, x, y) = 2 + Rv(gv,x,y),
П2 J J (u — x) (v — y) П2
0 0
где величина Rv(gv,x,y) ограничена некоторой абсолютной константой.
Рассмотрим интеграл из правой части последнего равенства. Согласно определению функции gv
n+2Av n+2Av
I = í í SÍn - X)SÍn VX((V - У) eivuv dudv.
J J (u - x) (v - y)
n —2 Av n — 2 Av
Положим для произвольных M, N е Z
Г [ cos(My(u - x) + Nx(v - y) - v- xy)) .
Pm'N (x'y)= J У -(u - x) (v - y)-
п —2Av \п —2Av
n+2A^ / n+2Av
[ f sin(My(u - x) + Nx(v - y) - v(uv - xy)) . n (x'y)= J I/ -(u - x) (v - y)-
п —2Av \п —2Av
где интегралы в правых частях понимаются в смысле главного значения, т. е. как
(х—е п+2ЛД / Х—е n+2Av
Í + / " / + /
п —2Av x+е / \п —2Av y+е
Тогда
4e—ivxyI = Pv, —V(x, y) - P— (x, y) + P—V, —V(x, y) - Pv,v(x, y) +
+iQv,— V(x, y) - iQ —v,v(x, y) + iQ — V, — V(x, y) - iQv,v(x, y). (4)
Рассмотрим последнее слагаемое в правой части (4). Имеем:
n+2Av / n+2Av
Qvv (x,y)= í í SÍn "(y(U - x)+ ^ - y) - (UV - xy)) dv|du =
J \ J (u - x) (v - y)
п — 2Л v \п — 2Av
n+2Av / n+2Av
sin V(u —x)(v —y) , , , v n dv du =
J (u - x)(v - y)
п — 2 Av \ п — 2 A v
( x — 8/(Avv) x+8/(Avv) п+2Лv \ / п+2Лv
+ í + í / í sin V(u - x)(v - y) J J \ J (u - x)(v - y)
У п 2Av x — 8/(Avv) x+8/(Avv) / \п — 2Av
dv du = -(Ji + J2 + J3). (5)
Оценим каждое из трех слагаемых в правой части (5). Начнем с третьего слагаемого:
п+2Av / п+2Av
Í 1 / í sin V(u - x)(v - y) , . , J3 = 7-т -Ч-^-— dv I du.
7 (u - x) \ J (v - y)
x+8/(Av v) \ п 2 A v
sin t П Л B sin t Используя равенство J - dt = —, нетрудно проверить, что если A, B ^ 8, то J -dt ^ 1.
0 t 2 —A t
Поэтому для u ^ x + 8/(Avv)
п+2Лv v (u—x)Xr+2Av —y)
[' sin V(u — x)(v — y) , [' sin t ,
-Ц-^-— dv = - dt ^ 1.
J (v - y) J t
п 2Л v v(u —х)(п —2Av — y)
Отсюда при достаточно большом v
п+2Av 2
f du ,3 vAv ln v
J3 ^ 7-г ^ ln-— ^ -.
J (u - x) 16 2
x+8/(Av v)
Аналогичным образом можно показать, что J1 ^ (ln v)/2. Оценим теперь J2. Так как
sin v(u - x)(v - y)
(v - y)
^ V|u - x|,
то
и | =
Таким образом,
х+8/(А^ V)
п+2А^
У (и — х)
х —8/(А^ V) \п-2А^
Бт V (и — х)(-и — у) (х, у)| ^ С 1п V.
¿V ¿и
х+8/(А^ V)
^ J 4ЛV = 64.
х —8/(А^ V)
Рассмотрим первое слагаемое в правой части (4). Имеем:
п+2Аь
п+2А^
Р,, —V (х,у) = —
(и — х)
п— 2А^ \п— 2А^
СОБ V(и + х)(^ — у) — У)
¿V ¿и.
Обозначим:
ту = шт{п — у + 2ЛV, у — п + 2ЛV}, Му = шах{п — у + 2ЛV, у — п + 2ЛV}, тх = шт{п — х + 2ЛV, х — п + 2ЛV}, Мх = шах{п — х + 2ЛV, х — п + 2ЛV}.
Используя нечетность функций ^(г) = cos(v(и + х)г)/г и ^(в) = 1/в, получаем:
V (х,у)| =
/Му
и
п+2А^
п —2А^
(и — х)
/Му \
СОБ V(и + х)г
г
/
<
1
0 \т
М„
СОБ V(2х + в)г , Г СОБ V(2х — в)г , ----¿г- ----¿г
п+2А^ —х
1
/Му
СОБ V(2х + в)г
п—2А^—х \т
г
¿в
<
+
Мх / МУ \
/■ СОБ V(2х + в)г
г
¿г
тх \т
/ v(2x+s)My v(2x —«)Му \
СОБ г , (' СОБ г ,
¿г — -¿г
<
XV (2х+з)ту тх v(2x+s)My
[ 1 Г СОБг
J в J г
0 V (2х —«)Му
г
¿г ¿в
г
V (2х — з)ту
¿в
/
+
Мх
/ V(2х+^)Му \
СОБ г
¿г
тх у(2х+з)ту
/
¿в
/
¿в
<
+
тх v(2x+s)my
1 СОБ г
вг
0 v(2ж —з)ту
¿г ¿в
Поскольку для в е [0, тх]
V (2х + ^)Му
СОБ г
¿г
V (2х — з)Му
<
+
2в
Мх
/ V(2х + ^)Му \
СОБ г
¿г
тх У(2х+«)ту
¿в
(6)
(2х — в)'
то
тх V (2х+з)Му
1 СОБ г
вг
0 v(2x —«)Му
¿г ¿в
^ 4.
Второе слагаемое в правой части (6) оценивается аналогично. Для третьего слагаемого в правой части (6), оценивая внутренний интеграл с помощью второй теоремы о среднем, получаем:
Мх
/ V(2х+з)Му \
СОБ г
¿г
тх у(2х+з)ту
¿в
Мх 11 ^ - - ¿в ^ 1.
vxmy ^ в
В итоге
Р, — V (х, у)| ^ С.
(7)
Для слагаемых со второго по седьмое в правой части (4) с помощью рассуждений, подобных приведенным рассуждениям для PV)—v(х, у), можно получить оценку, аналогичную (7).
1
1
1
у
у
у
1
г
в
г
г
г
Таким образом, при достаточно больших V для (х, у) е В
(^,х,у)| ^ Сз 1п V.
(8)
2. Пусть V е М, как и в предыдущем пункте, достаточно большое. Положим Ь = ^ = Lп/8ЛV Определим функцию (х,у), (х,у) е [0, 2п), следующим образом:
Ь —1 Ь—1
^ (х,у)= £ £ ^
7=—Ьк=—Ь
п^ пк \
х — Т'у — т)
(9)
Продолжим 2п-периодически функцию (х,у) на всю плоскость М2.
Не трудно убедиться, что построенная функция является (п/Ь)-периодической по каждой переменной. Заметим также, что носитель функции (х,у) — квадрат А со стороной 4ЛV, а п/Ь ^ 8ЛV. Поэтому носители слагаемых в правой части равенства (9) попарно не пересекаются. Положим
Ь —1 Ь —1
Е = и и 1(х.у>: (х — ^.у — т) е В
Тогда
швБ Е = (2Ь)2 швБ В = 4Л
8Л,.
>
64
(10)
Пусть (х, у) е Е. Покажем, что найдется пара (т, п) е Од такая, что (т, п)-я частичная сумма ряда Фурье функции будет принимать в точке (х, у) «большое» значение. В силу (п/Ь)-периодичности функции можно без ограничения общности считать, что (х,у) е В. Итак, зафиксируем (х, у) е В. Возьмем т и п такими, как в п. 1. Имеем:
п—4А^ п+4А^ 2п
/ + / + /
0 п—4А^ п+4А^
2п 2п
п2 (^,х,у) = ^ J Рт(и — х) (V — у) ^(и,^) ¿и ¿V = 00
п —4А^ п+4А^ 2п \
J + J + J I (и — х) Р„(г> — у) (и, V) ОиОи.
0 п—4А^ п+4А^ /
(11)
Правая часть равенства (11) естественным образом разбивается на девять слагаемых. Рассмотрим эти слагаемые.
Если (и,-и) е [п — 4ЛV, п + 4ЛV], то (и,-и) = (и,-и). Отсюда, используя (8) и определение функции , получаем:
п+4А^ п+4А^
Рт(и — х) (V — у) (и, V) ¿и ¿V
п—4А^ п—4А^
= п2 |5т,п(^,х,у)| ^ Сз 1п V.
(12)
Далее, так как (и,-и)| ^ 1, то
2п 2п
/ /
п+4А^ п+4А^
2п — х
Рт(и — х) (V — у) (и, V) ¿и ¿V
<
2п —у
^ у |Ят (и)| ¿и J |Ят (и)| ¿V ^ С4 1п" Л^
п+4А^ — х п+4А^ — у
(13)
Еще три слагаемых из правой части (11), аналогичные только что рассмотренному, оцениваются подобным образом.
2
2
7Г
7Г
Наконец, рассмотрим слагаемое третьего типа из правой части (11). Пусть и £ [п + 4Л^, 2п]. Тогда либо для всех V £ [п — 4Л^ , п + 4Л^] имеет место равенство ^ (и, V) = 0, либо для некоторого числа Ь, зависящего от и,
D„ (v - y) hv (u, v) dv
n-4Av
n+2Av
Dn (v - y) ei6v dv
n —2Av
<
n+2Av
sin n(v — y) eibv dv
П —2Av
v-y
+ C5 =
n —y+2Av
n —y—2Av
sin nt eibt dt
+
t
n —y+2Av
+ C5 ^
n —y+2Av
cos(n — b)tdt
n —y —2Av
sin(n — b)t dt
2t
n —y—2Av
+
2t
n —y+2Av
+
n —y+2Av
cos(n + b)tdt
2t
n —y—2Av
+
sin(n + b)t dt
2t
n —y—2Av
+ C5
Отсюда, учитывая, что для любого a e R
n —y+2Av
cos at dt
n —y—2Av
получаем:
2t
n+4Av
n —4Av
^ Ce ln(1/Av),
n —y+2Av
sin at dt
2t
n —y—2Av
^ Ce,
Dn(v — y) hv(u, v) dv
^ C7ln(1/Av),
2n n+4Av
Dm(u — x) Dn(v — y) hv(u, v) dv du
n+4Av n —4AV
2n
^ C7ln(A—1) / |Dm(u)|du ^ C8 ln2 Av. (14)
n —x+4Av
Также справедливы еще три оценки, подобные (14), для аналогичных слагаемых из правой части (11).
Из (11)—(13), трех оценок, аналогичных (13), (14), трех оценок, аналогичных (14), а также из условия теоремы на рост ln2 Av вытекает существование константы K = K(Л) > 0, зависящей только от Л такой, что
max |Sm,n(hv,x,y)| ^ (K + 1) lnv, (x,y) e E. (15)
(т,п)£йд,
m,n^4v
3. Пусть v e N, как и в предыдущем пункте, достаточно большое. Пусть 0 < е ^ Av, (x,y) e [0, 2п)2. Обозначим через p(x,y) = p(x,y; Ev) расстояние от точки (x, y) до множества Ev : p(x,y) = min{||(x,y) — (u, v)||R2 : (u, v) e Ev}. Если p(x, y) ^ е, то ближайший к (x,y) элемент множества Ev (существует и) единственен. Обозначим этот элемент через (x,y). Положим
fv (x,y) = /^(x,y) =
( ^ — p(xJ hv(x, y), p(x, y) ^ е;
p(x,y) > е-
0,
Продолжим функцию / 2п-периодически по каждой переменной. Заметим, что если (ж, у) £ Е, то (ж, у) = (ж,у) и /(ж, у) = (ж, у). Число е > 0 можно выбрать таким маленьким, чтобы
2п 2п
| /v (u, v) — hv (u, v) | du dv ^
0 0
2n
8v + 1
(16)
Будем считать е таким, что для / = соотношение (16) выполняется. Из (16) следует, что для всех т, п ^ 4^ и (ж, у) £ [0, 2п)2 |5т>п(/, ж, у)| ^ |£т,п(Л< ¡,,ж, у)| — 1. Отсюда и из (15) вытекает
max |Sm,n(/,x, y)| ^ K ln v, (x, y) e Ev.
(т,п)ёПл, m,n^4 v
(17)
2
Не трудно проверить, что функция fv является липшицевой. Следовательно (см., напр., [7, теорема 1]), найдется константа Mv > 0 такая, что
sup max |Sm,n(fv,x,y)| ^ . (18)
4. Выберем возрастающую последовательность натуральных чисел {vkпо следующему правилу. Пусть v1 — такое большое, чтобы для v ^ v1 все приведенные выше в доказательстве рассуждения были справедливы. Предположим, что v1, v2, ..., vk-1 уже выбраны. Выберем vk так, чтобы
v/inVk ^ Wln Vk-1, (19)
3 k-1
V^nVk ^ Mvj, (2°)
j=1
где MVj — величины из (18), а K — из (17);
(21)
r- 6(8vfc_i + 1)2
vln Vk ^-к-
Рассмотрим последовательность множеств {EVk В силу (10) и двумерного аналога леммы 1.24 из [8, гл. 13] найдется последовательность точек {(xk, yk)}^L1 С [0, 2п)2 такая, что множество
œ œ
E = П U {(x,y) : (x - Xk,y - yk) G Evfe}
q=1 k=q
имеет полную меру: mes E = 4п2. Положим
F(x,y) = V (X —^ - Ук). k=1 ^
Из того, что ||/Vk ||C(T2) = 1, k G N, и (19) вытекает непрерывность функции F.
Покажем, что ряд Фурье функции F Л-расходится всюду на множестве E и, следовательно, почти всюду на [0, 2п)2. Пусть (x, y) G E, M > 0 — произвольное сколь угодно большое число. Тогда согласно определению множества E найдется номер k > M такой, что (x—xk, y — yk) G EVk. Используя определение функции F, имеем:
1С fJP M^ |Sm,n(/vfc ,x — xk,y — yk)|
max |Sm,n(F,x,y)| ^ max
(m,n)G^A, (ш,п)еПл, уШ Vk
E|Sm,n (/Vj ,x — xj ,y — yj )| ^^ |Sm,n (/Vj ,x — xj ,y — yj)| /00.
max --— - — > max --—, -. (22)
, = i (m,n)G^A, ^yin Vj •=k+1 yln Vj j = 1 j = k+1
Оценим каждое слагаемое из правой части (22). Согласно (17)
^ K v/bVk. (23)
|Sm,n (/vfc ,x — xk ,y — yk )| ^ и /f
max -:-2— - ^ к y in Vk.
(m,n)efiA, vin Vk
С помощью (18) и (20) имеем:
E|Sm,n(/Vj ,x xj,y yj)| .
max --— - ^
,=1 (m,n)eÛA, д/ln Vj
j = 1
k_1 k_1
u,v)l K \J in Vk ^ > sup max -/Н=- ^ 1, Mvj ^ -5-. (24)
j=1(m,n)£QA (u,v)G[0,2n)2 yln Vj j=i 3
Наконец, оценивая суммы Фурье путем замены подынтегрального выражения в их интегральном представлении максимумом модуля этого выражения, а затем применяя (21) и (19), получаем:
Е
|Sm,n (/j - ,У - yj ^ ^ (8Vfc + 1)2 K ^ Vk + 1 ^ K max --—- ^ -, ^ — y j ^ —. (25)
Объединяя (22)-(25), заключаем
max |Sm,n (F,x,y)| ^ K ^9ln Vk .
(m,n)E"A, 3
m,n^4 vfc
Поскольку номер k можно выбрать сколь угодно большим, получаем:
sup |Sm,n (F,x,y)| =
(m,n)G^A
Теорема доказана.
Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00496) и гранта Президента РФ для государственной поддержки ведущих научных школ (проект НШ-4538.2014.1).
Библиографический список
1. Тевзадзе Н. Р. О сходимости двойного ряда Фурье функции, суммируемой с квадратом // Сообщ. АН ГССР. 1970. T. 58, № 2. C. 277-279.
2. Fefferman C. On the convergence of multiple Fourier series // Bull. Amer. Math. Soc. 1971. Vol. 77, № 5. P. 744-745.
3. Fefferman C. On the divergence of multiple Fourier series // Bull. Amer. Math. Soc. 1971. Vol. 77, № 2. P. 191-195.
4. Бахбух М., Никишин Е. М. О сходимости двойных рядов Фурье от непрерывных функций // Сиб. матем. журн. 1973. Т. 14, № 6. С. 1189-1199.
5. Бахвалов А. Н. О расходимости всюду рядов Фурье
непрерывных функций многих переменных // Матем. сб. 1997. Т. 188, № 8. С. 45-62. 001: 10.4213Дт240.
6. Бахвалов А. Н. О А-расходимости всюду ряда Фурье непрерывной функции многих переменных // Матем. заметки. 2002. Т. 72, № 4. С. 490-501. 001: 10.4213/тгт438.
7. Степанец А. И. Оценки отклонений частных сумм Фурье на классах непрерывных периодических функций многих переменных // Изв. АН СССР. Сер. матем. 1980. Т. 44, № 5. С. 1150-1190.
8. Зигмунд А. Тригонометрические ряды : в 2 т. Т. 2. М. : Мир, 1965. 538 с.
On Divergence Almost Everywhere of Fourier Series of Continuous Functions of Two Variables
N. Yu. Antonov
N. N. Krasovskii Institute of Mathematics and Mechanics UB RAS, 16, S. Kovalevskoy str., Ekaterinburg, 620990, Russia, Nikolai.Antonov@imm.uran.ru
We consider one type of convergence of double trigonometric Fourier series intermediate between convergence over squares and A-convergence for A > 1. We construct an example of continuous functions of two variables, Fourier series of which diverges in this sense, almost everywhere.
Key words: multiple Fourier series, almost everywhere convergence.
This work was supported by the Russian Foundation for Basic Research (project no. 14-01-00496) and by the Grant of the President of the Russian Federation for state support of leading scientific schools (project Hm-4538.2014.1).
References
1. Tevzadze N. R. On the convergence of double Fourier series. Bull. Amer. Math. Soc., 1971, vol. 77, no. 5, series of quadratic summable functions. Soobshcheniia pp. 744-745. DOI: 10.1090/S0002-9904-1971-12793-3 Аkad. Nauk Gruzin. SSR., 1970, vol. 58, no. 2, pp. 277- 3. Fefferman C. On the divergence of multiple Fourier 279 (in Russian). series. Bull. Amer. Math. Soc., 1971, vol. 77, no. 2,
2. Fefferman C. On the convergence of multiple Fourier pp. 191-195. DOI: 10.1090/S0002-9904-1971-12675-7
4. Bakhbukh M., Nikishin E. M. The convergence of the double Fourier series of continuous functions. Siberian Math. J., 1973, vol. 14, iss. 6, pp. 832-839. DOI: 10.1007/ BF00975888
5. Bakhvalov A. N. Divergence everywhere of the Fourier series of continuous functions of several variables. Sb. Math., 1997, vol. 188, no. 8, pp. 1153-1170. DOI: 10.1070/ SM1997v188n08ABEH000240.
6. Bakhvalov A. N. A-divergence of the Fourier series of continuous functions of several variables. Math.
Notes, 2002, vol. 72, iss. 3-4, pp. 454-465. DOI: 10.4213/mzm438.
7. Stepanec A. I. Estimates of deviations of partial Fourier sums on classes of continuous periodic functions of several variables. Math. USSR Izv., 1981, vol. 17, iss. 2, pp.369-403. DOI: 10.1070/IM1981v017n02ABEH 001364.
8. Zygmund A. Trigonometric series. Vol. 2. Cambridge Univ. Press, 1959.
УДК 517.51
СИСТЕМЫ СЖАТИЙ И СДВИГОВ В ЗАДАЧЕ СЖАТИЯ ИЗОБРАЖЕНИЙ
А. A Барышев1, Д. С. Лукомский2, С. Ф. Лукомский3
кандидат физико-математических наук, инженер-программист, ООО «Геофизтехника», Саратов, baryshevaa@gmail.com, 2Кандидат физико-математических наук, доцент кафедры математической физики и вычислительной математики, Саратовский государственный университет им. Н. Г. Чернышевского, lukomskiids@info.sgu.ru
3Доктор физико-математических наук, профессор кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, lukomskiids@info.sgu.ru
Рассматривается новый подход к построению двумерных p-ичных систем Хаара и Виленкина. Для полученных систем разработаны быстрые алгоритмы преобразования Фурье-Хаара и Фурье-Виленкина. Проведен сравнительный анализ разработанных алгоритмов в задаче сжатия изображения.
Ключевые слова: преобразование Хаара, преобразование Виленкина, компактная группа, сжатие изображений. ВВЕДЕНИЕ
В проблеме сжатия изображений можно выделить три направления — сжатие без потери данных, с потерями и смешанные методы. К первому направлению можно отнести RLE и LZW-алгоритмы, кодирование по Хаффману и т.д. [1]. Группа вторых методов основана на представлении исходного изображения как двумерного массива данных и разложения его по какой-либо системе функций. Из смешанных методов наиболее известен стандарт сжатия данных JPEG, где применяется дискретное косинус-преобразование, а затем кодирование по Хаффману. Основной вклад в таких смешанных методах дает сжатие с потерями, и задача поиска ортогональной системы, обеспечивающей наилучшее сжатие, по-прежнему привлекает внимание. Широкое распространение для решения этой задачи в последнее время получили вейвлет-базисы [2]. Настоящая работа посвящена сравнительному анализу алгоритмов сжатия изображений с помощью обобщенной системы Хаара и системы Виленкина. Функция Хаара на поле p-адических чисел впервые появилась в работе С. В. Козырева [3]. Обобщенные функции Хаара на нуль-мерных группах были введены в работе [4]. В статье [5] предложен способ построения функций Хаара на произведении нуль-мерных групп. Он основан на сведении произведения групп к новой группе с новой основной цепочкой подгрупп. Такую основную цепочку можно выбирать разными способами, в результате получаются различные двумерные системы Хаара. Каждая такая система определяется некоторыми целыми параметрами (v, s). В статье для любых допустимых значений этих параметров строится система Хаара, приводится быстрый алгоритм дискретного преобразования по этой системе. Приводится алгоритм быстрого дискретного преобразования Виленкина, основанный на той же идее сведения произведения групп к одномерной. Для сравнения алгоритмов сжатия по таким системам с косинус-преобразованием были написаны на языке СИ программы, реализующие эти алгоритмы, вычислены среднеквадратичное отклонение MSE (mean square error) и коэффициент PSNR (peak signal-to-noise ratio). Сравнительный анализ по этим системам и тригонометрической для традиционных изображений lenna и flowers приводится в последнем параграфе.
1. БЫСТРЫЙ АЛГОРИТМ ВЫЧИСЛЕНИЯ КОЭФФИЦИЕНТОВ ФУРЬЕ-ХААРА НА КОМПАКТНОЙ ГРУППЕ
Пусть p — простое число, (G, +) — p-ичная компактная нуль-мерная группа, (Gn)£=0 — основная цепочка, gn e Gn \ Gn+1 — базисная последовательность, — цепочка аннуляторов,