Структурные и геометрические характеристики множеств сходимости и расходимости кратных разложений Фурье тема диссертации и автореферата по ВАК РФ 01.01.01, кандидат физико-математических наук Лифанцева, Ольга Валерьевна

• Лифанцева, Ольга Валерьевна
• кандидат физико-математических наук
• 2009

Оглавление диссертации кандидат физико-математических наук Лифанцева, Ольга Валерьевна

ВВЕДЕНИЕ

ГЛАВА I. СТРУКТУРНЫЕ И ГЕОМЕТРИЧЕСКИЕ ХАРАКТЕРИСТИКИ МНОЖЕСТВ СХОДИМОСТИ И РАСХОДИМОСТИ КРАТНЫХ РЯДОВ ФУРЬЕ, ПРЯМОУГОЛЬНЫЕ ЧАСТИЧНЫЕ СУММЫ КОТОРЫХ РАССМАТРИВАЮТСЯ ПО НЕКОТОРОЙ ПОДПОСЛЕДОВАТЕЛЬНОСТИ

Введение.

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

§ 2. О необходимых условиях справедливости слабой обобщенной локализации почти всюду для кратных рядов Фурье функций из Lp, р > 1.

§ 3. Слабая обобщенная локализация почти всюду для кратных рядов

Фурье функций из Li.

ГЛАВА И. КРИТЕРИЙ СПРАВЕДЛИВОСТИ СЛАБОЙ ОБОБЩЕННОЙ ЛОКАЛИЗАЦИИ ПОЧТИ ВСЮДУ ДЛЯ КРАТНЫХ РЯДОВ ФУРЬЕ С " Jfc-ЛАКУНАРНОЙ ПОСЛЕДОВАТЕЛЬНОСТЬЮ ЧАСТИЧНЫХ

СУММ".

Введение.

§ 1. Поведение подпоследовательностей частичных сумм кратных рядов

Фурье некоторых функций.

§ 2. Критерий справедливости слабой обобщенной локализации почти всюду для кратных рядов Фурье, прямоугольные частичные суммы которых рассматриваются по некоторой подпоследовательности

ГЛАВА III. СТРУКТУРА И ГЕОМЕТРИЯ МАКСИМАЛЬНЫХ МНОЖЕСТВ СХОДИМОСТИ И НЕОГРАНИЧЕННОЙ РАСХОДИМОСТИ ПОЧТИ ВСЮДУ КРАТНЫХ РЯДОВ ФУРЬЕ С "Л-ЛАКУНАРНОЙ ПОСЛЕДОВАТЕЛЬНОСТЬЮ ЧАСТИЧНЫХ СУММ"

Введение.

§ 1. Максимальные множества сходимости и неограниченной расходимости почти всюду кратных рядов Фурье с " Jfc-лакунарной последовательностью частичных сумм"

Введение диссертации (часть автореферата) на тему «Структурные и геометрические характеристики множеств сходимости и расходимости кратных разложений Фурье»

1. Рассмотрим N-мерное евклидово пространство Жм, элементы которого будем обозначать х = (жх,. ,xjy), и положим (пх) = niX\ + ■ • • + пдтх^, \Х\ = (xj + ---+x%)1/2.

Введем множество ZN, С — множество всех векторов с целочисленными координатами, определим множество Ъ^ = {(ni,пдг) Е Z^ : nj > 1, j = l,.,7V}.

Пусть 27г-периодическая (по каждому аргументу) функция / Е L\ где Т^ = {х G М.^ : — тг < Xj < тт= 1 ,.,iV}, разложена в кратный тригонометрический ряд Фурье: f(x) ~ ске^К kezN

Рассмотрим прямоугольную частичную сумму этого ряда где п = (пь . £ Zf.

Пусть 21 — произвольное измеримое множество, 21 С Т^, //21 > 0 (ц — Цы — iV-мерная мера Лебега), и пусть f(x) = 0 на 21.

В диссертации изучается поведение на 21 частичной суммы (0.1) при п оо (т.е. ^min^nj —> оо) в зависимости от гладкости функции f(x), от структурных и геометрических характеристик множества 21, а также от ограничений, накладываемых на компоненты ni,.,njv вектора п — "номера" частичной суммы Sn(x; /). Точнее, нас будет интересовать поведение частичной суммы (0.1) в случае, когда некоторые из компонент вектора п Е являются элементами (однократных) лакунарных последовательностей.

2. Дадим определение лакунарной последовательности и остановимся на некоторых результатах о сходимости тригонометрических рядов Фурье с "лакунарной последовательностью частичных сумм".

Определение 1. Последовательность п^ Е называется лакунарной, если > q > 1, s = 1, 2,. .

В одномерном случае А. Н. Колмогоровым еще в 1922 г. в работе [1] было установлено: для любой функции / Е -^(Т1) последовательность частичных сумм Sn(k)(x;f), где {n^}, п^ Е к = 1, 2,., — лакунарная последовательность, сходится почти всюду (п.в.) на Т1. Указанный результат А. Н. Колмогорова был распространен в 1931 г. Дж. Литтлвудом и Р. Пэли [2] на классы Lp(Т1),^ > 1.1 Позже Р. Госселином [5] и В. Тотиком [6] было установлено, что в Li(T1) этот результат неверен (подробный обзор результатов такого плана в одномерном случае см. в работе П.Л.Ульянова [7]).

В свою очередь, первый результат для кратных рядов (т.е. для N > 2), касающийся "лакунарных последовательностей частичных сумм" был получен П. Шёлиным в 1971 г. в работе [8], где было доказано, что если / Е Lp{Т2), р > 1, {n^}, п^ Е v\ = 1, 2,., — однократная лакунарная последовательность, то lim S („г) (х; f) = fix) п.в. на Т2.2 Vl, Tl2->°° "1 ,П2

В 1977 г. М. Кожима в работе [11] обобщил результат П. Шёлина, доказав, что если функция / е р > 1, N > 2, и {n^}, п{р] Е Z},i/j =

1,21. = 1,. ,N — 1, — однократные лаку парные последовательности, то lim S („,) (x]f) = fix) п.в. на TN. их, .,1/лг-1,плг-)-оо п-у ,.,плг1 ,плгч

1 Здесь, естественно, надо отметить результаты 1966 г. Л.Карлесона [3] и 1967 г. Р. Ханта [4] о том, что одномерный ряд Фурье любой функции из класса Lp(T1), р > 1, сходится п.в. на Т1.

2 В 1977 г. вышла работа Д. К. Санадзе, Ш. В. Хеладзе [9], где указанный результат П. Шёлина [8] был распространен на классы Орлича L(log+ L)4(T2) (см. также работу Л.В.Жижиашвили [10] 1975 г.).

В той же работе М. Кожима доказал (используя результат Ч. Феффермана [12]), что сформулированный выше результат не может быть усилен в следующем смысле: для любой последовательности п = (пз, гц,., nj\r) £ 3 существует непрерывная функция, / € С(Т^), такая, что snun2,n(x'^ f)\ = п-в- на тДГ

П1,П2,Т1—ЮО

Что касается дальнейших (после 1977 г.) исследований вопросов сходимости кратных рядов Фурье, чьи прямоугольные частичные суммы Sn(x-, /) - (0.1) имеют "номер" п = (ni, ., njv) £ в котором компоненты пх,., f^N "в том или ином смысле лакунарны", то подробный обзор результатов такого плана можно найти, например, в работе JT. В. Жижиашвили [13].

3. Далее, перейдем к вопросам локализации для (суммируемых по прямоугольникам) рядов Фурье функций из Lp, р > 1, т.е. к вопросу о поведении ряда Фурье на множествах, где разлагаемая в ряд функция f(x) равна нулю.

Для одномерных рядов Фурье функций / G Li(T1) классический принцип локализации Римана (1853 г.) утверждает, что ряд Фурье функции / 6 Li(T1), равной нулю на интервале I С Т1, сходится к нулю равномерно на каждом сегменте, целиком содержащемся в I.

Для кратных рядов, т.е. при N >2, такая локализация справедлива только для крестообразных окрестностей (см. [14, с. 458]), для сферических окрестностей эта локализация, как отметила JI. Тонелли еще в 1928 г. в работе [15], неверна даже для непрерывных функций. Более того, как следует из работ JI. В. Жижиашвили [16,17], классическая локализация отсутствует и в классе функций с некоторым модулем непрерывности.

Поисками окончательных условий справедливости классической локализации в различных функциональных пространствах, начиная с 1970 г., занима

3 В частности, каждая компонента tij вектора п может быть элементом лакунарной последовательности. лись В. А. Ильин [18], JI. В. Жижиашвили [16], К. Гофман и Д. Ватерман [19], Р. Р. Ашуров [20], А. Й. Бастис [21], И. Р. Лифлянд и М. А. Скопина [22,23] (см. также обзорные статьи [24-26]). Оставаясь же классах Lp естественно было (с учетом существовавших к 1975 - 1978 годам результатов о классической локализации) ввести другое понятие локализации.

В работах [27,28] И. Л. Блошанский дал определение обобщенной локализации почти всюду.

Определение 2. Пусть 21, 21 С TN, — произвольное множество положительной меры. Будем говорить, что для кратных рядов Фурье функций из класса Lp(TN), р > 1, справедлива на мноо/сестве 21 обобщенная локализация почти всюду (ОЛ), если для любой функции / Е Lp(TN), f{x) = 0 на % lim Sn(x\ f) = 0 почти всюду на 21. п-> оо

При N = 1 ОЛ для рядов Фурье справедлива на любых измеримых множествах 21 С Т1 в классах ^(Т1),^ > 1. Это следует из уже упомянутых работ Л. Карлесона [3] и Р. Ханта [4]. Если р = 1, то ОЛ в одномерном случае справедлива в классе Li(T1) на измеримом множестве 21 С Т1,/^ > 0, тогда и только тогда, когда это множество является открытым почти всюду.4 Достаточность этого факта следует из классического принципа локализации Римана, необходимость доказана И. Л. Блошанским в [29].

В кратном случае исследования, касающиеся ОЛ, были проведены И. Л. Блошанским в работах [27-31]. Так в случае N = 2 в работе [27] было доказано, что если функция / Е Lp(T2),p > 1, то для двойных рядов Фурье на открытых почти всюду множествах справедлива ОЛ. Заметим, что усилить данный результат, доказав его в случае N = 2 и р > 1 для произ

4 Множество И будем называть (см. [29]) открытым почти всюду, если существует открытое множество fii такое, что /x(fi Д fii) = 0. вольного измеримого множества, оказалось невозможным, т.к. в работе [30] было построено измеримое множество 21 С Т2 (с мерой, сколь угодно мало отличающейся от меры квадрата Т2), на котором OJT не справедлива в классе Lоо(Т2) (при суммировании по прямоугольникам). 5

Если же рассматривать класс Li(TN), то (см. [31]) уже начиная с двумерного случая OJI не справедлива вообще ни на каком измеримом множестве 21 С TN,0 < /^21 < (271-)-^, даже при суммировании кратного ряда Фурье по кубам.

Что касается случая iV > 3, то, как было установлено в работе [31], OJI в этом случае уже не справедлива ни на каком измеримом множестве 21 С TN, не являющемся плотным в Т^ (т.е. 21 ^ TN, где 21 — замыкание множества 21) при суммировании кратного ряда Фурье по прямоугольникам даже в классе CCJT^).6

Таким образом, т.к. OJI справедлива на произвольном открытом множестве только в случае N = 2, р > 1, то появилась необходимость перейти к более тонкому аппарату исследования поведения ряда Фурье функций / на множествах, где / равна нулю, а именно, к понятию "слабая обобщенная локализация почти всюду", введенному и исследованному И. JI. Блошанским в работах [35-39].

Определение 3. Пусть 01, 21 С TN, — произвольное множество поло-окительной меры. Будем говорить, что для кратных рядов Фурье функций из класса LP(TN), р > 1, справедлива на множестве 21 слабая обобщенная локализация почти всюду (COJl); если для любой функции f Е LP(TN),

5 Справедливость ОЛ на открытых п.в. множествах П С Т2 была также доказана в классе

Lln+Lln+ln+L (см. [32,33]).

6 В работе [34] были проведены исследования справедливости OJT на любых открытых множествах

21 с ТГ3 для функций / е II"(Т3). В частности, установлено, что OJI (для таких функций) справедлива на открытом множестве 21 С Т3, если модуль непрерывности ui(S, f) этой функции удовлетворяет условию = o{[log\logloglog±]~l). f(x) = 0 на 21; существует такое подмножество 2li С 2l; yu2li > 0, что lim Sn(x) f) = О почти всюду на 2li.

71—>00

Заметим, что так как из справедливости на множестве 21 OJI следует справедливость на этом же множестве СОЛ, то СОЛ справедлива при N = 1, р > 1 на произвольных измеримых множествах 21 С Т1, а при N = 1, р = 1 и N = 2, р > 1 — на открытых п.в. множествах 21 С Т^, /л21 > 0. Однако, понятия ОЛ и СОЛ не совпадают (см. [37, теорема 1]).

Для формулировки результатов по СОЛ в классах Lp(TN),p > 1, введем следующие обозначения. 7

Пусть М — множество чисел {1,., N} и k G М. Обозначим: J& = {Зъ ■~,jk}, js < ji при s < I, и (в случае к < N) М \ Jk = {тгц,. ms < mi при s < — непустые подмножества множества М. Будем считать также, что Jo = 0 и М \ Jn = 0. Разложим пространство на сумму двух подпространств Е[Jk] и М[М \ «/&], где R[Jfe] = {х = (aji,., ж/v) £ ^^ : Xj = 0 при j G М \ Jfc}, а М[М \ Jk] = {х Е RN : Xj = 0 при j G Jk}-Обозначим также T[Jfc] = {ж £ M[J&] : — 7г < xj < 7г при j G J^} и Т[М \ JJ = {ж G К[М \ JJ : -7г < Xj < тг при j G М \ Jfc}. Очевидно, что R[Jn] = М^, а Т[М] = Т*.

Пусть С Т^, N > 2, — произвольное (непустое) открытое множество, и пусть Q[J2] — pr(j2){fi} — ортогональная проекция множества Q, на плоскость M[J2], J2 С М.

Положим и^й = ОД X Т[М \ J2], J2 С М.8 (0.2)

7 Для удобства дальнейшего изложения формулировать основные результаты работ [35-38] мы будем в терминах, которые появились уже позже при исследовании вопросов справедливости СОЛ в других функциональных пространствах (см., например, [39,40]).

8 При этом любой вектор z — (zi,., z2n) £ л x в , где а с М[J*], а в с К[М \ J*], мы отождествляем

Множества W[J2] будем называть "iV-мерными брусками". Далее для любого Jk, 0 < к < N — 2, рассмотрим следующие множества: множество

W = W(Jk) = Jk) = (J W[J2] (0.3) j2cm\j* которое будем называть "полным N-мерным крестом", если Jk = 0, и "неполным iV-мерным крестом", если Jk ф 0) и множество

W° = W0(Jk) = W°(n}Jk)= р| W[J2] (0.4) j2cm\jk которое будем называть "центром" соответствующего "iV-мерного креста").

Замечание 1. Очевидно, что, во-первых, для каждого к, 0 < к < iV — 2, мы можем построить Сдг = щи-ку. различных "iV-мерных крестов". А во-вторых, если Jk С JSi 0 < к < s < N — 2, то W(Q, Jk) D Js) (при этом

W0(n,Jk)CW°(n,Js)).

В работе [35] (см. также [36,37]) И. JL Блошанским была доказана следующая теорема.

Теорема А. Для любой функции f Е LP(TN), р > 1, N > 2; /(ж) = 0 на w = W(Jq), lim Sn(x; /) = 0 почти всюду на W° = W°(Jq). п—^оо

Таким образом, СОЛ для кратных рядов Фурье, суммируемых по прямоугольникам, в классах LP(TN), р > 1, справедлива на "полном кресте" W = W(JQ) вида (0.3) с числом брусков W[J2] (0.2), равным = M^i) g той же работе была доказана неусиляемость этого результата в следующих с вектором х = (жх,., хм) 6 Ш-1* по формуле

Ха zs при s € Jk, ZN+s при SEM\Jk. смыслах: во-первых, были приведены примеры множества W = W(Jq) вида (0.3) и функции / 6 Ьоо(Т^), равной нулю на W, таких, что lim |5„(а;; /)| = +оо п.в. на TN \ W0; п—too во-вторых, было показано, что на кресте с меньшим, чем Сдг, числом брусков или на кресте с другой геометрией брусков СОЛ, вообще говоря, не справедлива даже в классе непрерывных функций.

Итак, "полные А^-мериые кресты" W = W(Jq) представляют собой "самые простые" множества, на которых справедлива СОЛ для суммируемых по прямоугольникам кратных рядов Фурье функций из класса Lp(TN), р > 1. Отметим, что для справедливости СОЛ в других функциональных пространствах, например, в классе Li, или в классах Орлича L(log+ 0 < е < или в классах Нш непрерывных функций с некоторым модулем непрерывности, как показано в [37-43], требуется другая геометрия "iV-мерных крестов". Так в классе L\ "самыми простыми" (см. [37]) являются ("полные iV-мерные плоскостные" ) кресты вида

Е = Е(П) = [J ЕЩ,

JjCM где "iV-мерными плоскостями" , образующими "плоскостной крест" Е, являются множества вида здесь £l[J\] = — ортогональная проекция (непустого) открытого множества Q на прямую R[Ji], J\ С М.

Приведенные выше результаты поставили вопрос о поиске критерия справедливости СОЛ на произвольных измеримых подмножествах TN положительной меры (для суммируемых по прямоугольникам кратных рядов Фурье функций из класса LP(TN), р > 1). В [37] И. JI. Блошанским такой критерий был сформулирован и доказан для широкого класса измеримых множеств {21}, 21 С TN, N >2, //21 > 0 (с некоторыми ограничениями на границу множества 21), в терминах структурно-геометрических характеристик множества 21, описываемых свойством В2. Чтобы сформулировать этот критерий, дадим следующие определения.

Определение 4. Будем говорить, что множество Л вписывается почти всюду (вписывается с точностью до множества меры нуль) в множество В, если fi(A \ В) = 0.

Определение 5.1. Будем говорить, что множество 21, 21 С TN, N >2, обладает свойством В2, если существует мнооюество W = W(Jq) вида (0.3), которое вписывается п. в. в 21, причем, свойство В2 есть свойство B2(W°), если W = W(W°).

2. Свойство В2(И^°) мноэюества 21 будем называть максимальным свойством В2 множества 21, если для любого множества W0 = W°(Jq) вида (0.4) такого, что fi(W° \ W0) > 0, мнооюество 21 не обладает свойством В2(Й?°).

Замечание 2. Множество 21 С Т2, обладающее свойством В2, — это множество, для которого существует (непустое) открытое множество ST2, Q С Т2, такое, что fi(Q \ 21) == 0 (см. [35,37]).

Обозначим через intP множество внутренних точек Р, через Р — замыкание множества Р и через FrP — границу множества Р.

Пусть 21 — произвольное измеримое множество, 21 С TN: N > 2, 0 < //21 < (27г)^, = TN \ 21. Рассмотрим следующие условия на границу множества 21: ipВ \ in№) = 0, 9 (0.5)

H2Frpr{j2){in№} = 0, J2 С M, (0.6) где fi2 — мера на плоскости.

И. Jl. Блошанский доказал (см., в частности, [37]), что на произвольном измеримом множестве 21, 21 С TN, N > 2, 0 < /i2l < (2^)^, удовлетворяющем условиям (0.5), (0.6), в классах Lp(TN),p > 1, СОЛ для суммируемых по прямоугольникам кратных рядов Фурье справедлива тогда и только тогда, когда множество 21 обладает свойством В2. Подчеркнем, что в части достаточности данное утверждение справедливо без ограничений (0.5), (0.6).

Заметим, что критерий справедливости СОЛ был доказан в расширенной формулировке с указанием подмножества 2li множества 21, па котором существует предел последовательности частичных сумм 5п(ж;/), а именно

Теорема В. Пусть 21 — произвольное измеримое множество, 21 С TN, N > 2, 0 < /х21 < (2tt)n.

1. Если для некоторого И^0 = W°(Jo) вида (0.4) множество 21 обладает свойством В2(ТУ°), то для любой функции f £ LpCT-^), р > 1, такой, что f(x) = 0 на 21, lim Sn(x; f) = 0 почти всюду на W0.

Пусть дополнительно мнооюество 21 удовлетворяет условиям (0.5), (0.6), тогда

2. Если свойство ffi>2(W°) множества 21 является максимальным свойством Ш>2, то существует функция /1 6 Loo(TN) такая, что fi(x) = 0 на

9 В частности, этому условию удовлетворяют множества ® такие, что fi(int*B) = /х25; в свою очередь последнее условие справедливо, например, для множеств 05 таких, что 53 = T'v \ 21, где 21 — произвольное замкнутое множество.

21, но lim l^frc; /i)| = +00 почти всюду на Т^ \ W0. п—^ оо

3. В частности, если множество 21 вообще не обладает свойством ®2, то существует функция /2 Lqq такая, что f2(x) = 0 на 21, но lim \Sn(x] f2)\ = +00 почти всюду на Т^.

71—ЮО

Полученные результаты о справедливости СОЛ для суммируемых по прямоугольникам кратных рядов Фурье поставили новый вопрос: пусть 21 — произвольное измеримое множество, 21 с TN; каким (с точки зрения геометрии и структуры) должно быть "максимальное" множество, на котором сходится п.в. тригонометрический ряд Фурье функции / Е LP(TN), р > 1, равной нулю на 21?

В [29] (см. также [31]) И. Л. Блошанским были введены понятия максимального множества неограниченной расходимости п.в. и максимального множества сходимости п.в. для указанных рядов.

Определение 6. Максимальным множеством неограниченной расходимости (ММНР) почти всюду кратных рядов Фурье функций из класса Lp(TN), р > 1, f(x) = 0 на 21, будем называть множество Е\, Е\ С Т^, fiEi > 0, которое во-первых, является множеством неограниченной расходимости (МНР) почти всюду указанных рядов, т.е. существует функция f\ Е LP(TN), fi(x) = 0 на 21, такая, что lim \Sn(x] fi)\ = +00 почти всюду на Е\\ п-> оо во-вторых, множество Е\ является максимальным, т.е. для любой функции f Е Lp(Tn), f(x) = 0 на 21, lim \Sn(x] f)\ < +00 почти всюду па СЕ\ = Т^ \ Е\. п-+оо

Определение 7. Максимальным множеством сходимости (ММС) почти всюду кратных рядов Фурье функций из класса Lp(TN), р > 1, f(x) = О на 21, будем называть мноэ/сество Е2, Е2 С TN, рьЕч > 0, которое во-первых, является множеством сходимости (МС) почти всюду указанных рядов, т.е. для любой функции f е ^(Т^), f(x) = 0 на 21, существует предел lim Sn{x\ f) = f(x) почти всюду на Е2; п—>оо во-вторых, множество Е2 является максимальным, т.е. существует функция /2 6 LP(TN), /2(ж) = 0 на 21, такая, что Sn(x]/2) расходится при tl —У оо почти всюду на СЕ2 = Т^ \ Е2.

В работе [31] было дано исчерпывающее решение вопроса о структуре и геометрии ММНР и ММС п.в. для любого измеримого множества 21 С Т^ в классе L\{TN), N > 1, и для широкого класса измеримых множеств {21}, 21 С TN, в классах LP(TN), если р > 1. В частности, для N > 2 и р > 1 было доказано следующее утверждение о структуре и геометрии ММНР и ММС.

Пусть С Т^, — произвольное (непустое) открытое множество. Для любого Jk, 0 < k < N — 2, обозначим

V = V(Jk) = V(n,Jk)= U V{J2}= U (fi[J2]xT[M\J2]), (0.7) j2cm\jk .t2cm\jk где 0[J2] = ргщ{0,} — ортогональная проекция множества О, на плоскость

M[J2].

Справедлива следующая теорема.

Теорема С. Пусть 21 — произвольное измеримое множество, 21 С N>2,0<iM< nYN, «В = TN \ 21. Тогда

1. Если nV(in№, J0) = p,TN, то

1) мноэ/сество V(int%$, Jo) (0.7) является максимальным мноэ/се-ством неограниченной расходимости почти всюду для кратных рядов Фурье функций f Е LP(TN), р > 1, f(x) = 0 на 21, при суммировании по прямоугольникам;

2) мнооюеств сходимости указанных рядов нет.

2. Если fiV(intiВ, Jo) < //Т^ и мноо/сество удовлетворяет условиям, (0.5), (0.6), то

1) множество У(т£*В, Jo) — максимальное множество неограниченной расходимости почти всюду кратных рядов Фурье функций f Е L00(T7V), f{x) = 0 на 21, при суммировании по прямоугольникам;

2) множество 2li = Т^ \ V(int%5, Jo) — максимальное множество сходимости почти всюду указанных рядов, при этом а) 2li - П х Т[М \ J2]), где - Т2 \ ргш{т№}; j2cm б) существует мнооюество

WCSti, Jb) = U (^xT[M\J2]) j2cm такое, что ^(^(211, Jo) \ 2t) — 0, т.е. множество 21 обладает максимальным свойством IH>2(21i).

4. В связи с приведенными выше результатами возникают следующие вопросы.

1) Какова должна быть структура и геометрия "самого простого" множества 21 С TN, на котором в классах LP(TN), р > 1, была бы справедлива СОЛ для кратных рядов Фурье в случае, когда (прямоугольные) частичные суммы этих рядов Sn(x; /) имеют "номер" п = (ni,., пдг) Е Zf, в котором некоторые компоненты ni,., пдг являются элементами лакунарных последовательностей?

2) Какими должны быть структурно-геометрические характеристики произвольного измеримого множества 21 С TN (на котором разлагаемая в ряд Фурье функция f(x) равна нулю), чтобы на этом множестве в классах

Lp(TiV), p > 1, была справедлива COJI для кратных рядов Фурье с "лаку-нарной последовательностью частичных сумм" ?

3) Какими (с точки зрения геометрии и структуры) для произвольного измеримого множества 21 С TN должны быть ММНР и ММС п.в. указанных выше рядов функций из класса LP(TN), р > 1, равных нулю на 21?

В настоящей диссертации показано, что "самыми простыми" множествами, на которых справедлива СОЛ для указанных кратных рядов Фурье, являются "неполные iV-мерные кресты" W(Jk) и что для широкого класса измеримых множеств 21 С Т^ (с некоторыми ограничениями на границу 21) интересующие нас структурно-геометрические характеристики описываются так называемым свойством В^ (см. далее определение 8). Перейдем к изложению полученных результатов.

Диссертация состоит из трех глав. Глава I посвящена изучению структурно-геометрических характеристик "самых простых" множеств, на которых справедлива СОЛ в классах Lp(TN),p > l,iV > 3, для кратных рядов Фурье, чьи прямоугольные частичные суммы Sn(x] /) имеют "номер" п = (ni,., n/v) £ , в котором некоторые компоненты являются элементами лакунарных последовательностей. Глава состоит из трех параграфов.

В § 1 главы I мы описываем класс таких ("самых простых") множеств.

Введем следующие обозначения. Пусть а = a(Jk) = (а^,. ,ajk) Е Zj, js 6 Jk, s = 1 Символом n(a) = n^[Jk] = (nb . .,nN) E обозначим TV-мерный вектор, у которого компоненты rij с номерами j = js, s = 1,. ,к, являются элементами некоторых (однократных бесконечно больших) последовательностей натуральных чисел (при j Е Jk '• nj = п^ и п?3>> —Ь сю при a>j —> оо). В частности, символом п^ = n^[Jk] Е Zf (где Л = Л(Jk) = (A., Xjk) Е Z{, js Е Jk, s = 1,., k) будем обозначать /V-мерный вектор, у которого компоненты nj, j Е Jk, являются элементами некоторых (однократных) лакунарных последовательностей.

Справедлива следующая теорема.

Теорема I.I. Для любого J& С М, 1 < к < N — 2, N > 2>, и для любой функции f Е LP(TN), р>1, f(x) = 0naW — W{Jk), lim^ 5n(A)[jfc](a;; /) = 0 для почти всех х Е W° = W°(Jk). (0.8)

Tij —> оо, j € М \ Jj.

Результат теоремы показывает, что для кратных рядов Фурье с " Jj:-лакунарной последовательностью частичных сумм" Sn(\)[Jk](x] f) СОЛ в классах LP(TN), р > 1, при N > 3 будет справедлива на "неполном кресте из TV-мерных брусков" — множестве W = W(Jk) вида (0.3). При этом "TV-мерные бруски" W[J2], образующие указанный "крест" W, имеют "основания" Q[J2] в тех плоскостях M[J2], J2 — с М, для которых соответствующие компоненты "номера" Е Ъ^ — компоненты ns и nt — являются "свободными" (т.е., в частности, не являются элементами никаких лакунарных последовательностей), и число таких "брусков" будет равно

П2 (N-k)(N-k-1) — 2 •

Естественно, встает вопрос о том, можно ли усилить результат теоремы I.I, установив при iV>3nl<fc<iV — 2 равенство (0.8) на всем множестве W(Jk) вида (0.3), т.е. (см. определение 2) будет ли при N>3nl<k<N — 2 справедлива ОЛ на множестве W(Jk)?

Ответ на поставленный вопрос зависит от размерности пространства N и числа к компонент "номера" частичной суммы Sn(x;f), которые являются элементами лакунарных последовательностей. Если при N > 3 величина к = N — 2, то такое усиление теоремы I.I оказывается возможным, а именно, справедливо следующее утверждение.

Следствие (теоремы I.I). При N > 3 для любого Jn-2 С М, и для любой функции f Е Lp{TN), p > 1, f(x) = 0^1^ = W(Jn-2), lim Sn(x)!j ](x] f) = 0 для почти всех x E W. nj-*oo,jeM\JN2

Если же при N > 4 величина к меньше N — 2, то усилить теорему I.I, установив равенство (0.8) на всем W(Jk), нельзя, что показывает следующая теорема.

Теорема I.II. Пусть N > 4 и J& С М, 1 < k < N—3, тогда существуют множество W = W(Jk) вида (0.3) и функция f Е L00(TiV) такие, что /(ж) = 0 на W и для любых к последовательностей натуральных чисел {rij*3^}, j 6 Jk, rijоо при aj oo,10 справедлива оценка lim |5n(a)fj.i(a:;/)| — +oo почти всюду на TN \ W°, aj-лоо, jeJ/., rij —>oo,j£M\J/, где множество W° = W°(Jk) определено формулой (0.4).

В § 2 главы I нами исследуется вопрос о необходимых условиях справедливости СОЛ для кратных рядов Фурье с " Jfc-лакунарной последовательностью частичных сумм" на множествах W(Jk) вида (0.3).

Следующая теорема, например, покажет нам, что мы не можем "существенно изменить" геометрию множества W(Jk). Фиксируем произвольное ^ СМ и обозначим

72 = 72Ш = max j, 71 = 7i(Jfc) = max j. (0.9) j£M\jk jeM\{Jk Ш72})

Далее выберем произвольное a, — 7Г < a < 7г, и положим

Wfru 72](а) = fi[7i, 72] х [-7Г, тг]^3 X [-тг, а], (0.10) где сегмент [—7Г, а] может принадлежать любой из осей Ох\, I Е М\ Jfc, I Ф 71,

10 В частности, все последовательности {п^*'^}, j & Jk, могут быть лакунарными или, например (если N > 4 и к > 2), почленно равными между собой (т.е. п^"3^ = ■ • • = ^ = щ)

I ф 72. Положим

Wa = [J W[J2]{JW[llll2](a), (0.11)

J2CM\Jk, где W[J2], J2 С M \ Jk, J2 Ф {71,72}, определены в (0.2).

Теорема I.III. Пусть N>3uJkcM,l<k<N — 2. Для любого а, —7г < а < 7Г, существуют функция f = fa £ C(T^) и множество Wa вида (0.10) - (0.11) такие, что f(x) = 0 на Wa и для любых к последовательностей натуральных чисел {n^}, j G Jk, п^ —> оо при aj оо, справедлива оценка lim |5n(«)rj i(х] /)| = +оо почти всюду на TN. aj-^ooj&jf., Irij —>00 ,j£M\J/.

Таким образом, на "кресте" с меньшим, чем числом "брусков" (как следует из теоремы I.III) СОЛ для рассматриваемых нами рядов Фурье справедлива не будет. В таком случае возникает следующий вопрос: нельзя ли изменить геометрию самих "брусков" (т.е. можно ли установить равенство (0.8) на "кресте из iV-мерных брусков", основаниями которых будут трехмерные множества)?

Для N > 4 и любого JkcM,l<k<N — 3, рассмотрим по аналогии с (0.2) и (0.3) множества

W[J3] = ОД х Т [М \ Js], JzCM\Jk (0.12) где Г^[«7з] = pr(j3){£7} — ортогональная проекция (непустого) открытого множества £7 С TN на пространство Ж[7з]), и пусть

W(jk)= (J W[h}. (0.13) j3cm\jk

Теорема I.IV. Пусть N > 4 и Jk С М, 1 < k < N — 3. Существуют функция f £ ССГ^), и множество W(Jk) вида (0.12) - (0.13) такие, что f(x) = 0 на W(Jk) и для любых к последовательностей натуральных чисел {nf3)}, j £ Jk, rij*^ —> оо при aj —> оо, справедлива оценка lim^ \Sn(a)[jk}(x] f)\ = +00 при всех х внутри TN.

Tij—»oo,j"6M\ Jf.

Сформулированные выше теоремы ставят новый вопрос: если нельзя изменить геометрию множества W(Jk) (т.е. нельзя отказаться от "неполного креста из брусков" с числом "брусков" Cfjk) и нельзя изменить геометрию самих "брусков" при N > 4,1 < k < N — 3, то нельзя ли усилить данный результат при N>3, l<k<N — 2ир> 1 уже в смысле "структуры" множеств f2[J2], входящих в множества (0.2) - (0.4), т.е. будет ли СОЛ справедлива на "неполном кресте из брусков", в сечении хотя бы одного из которых лежит произвольное измеримое множество (т.е. если множество Q С TN таково, что хотя бы одно из множеств n[J2], J2 С М \ Jk, является произвольным измеримым множеством)? В настоящей работе на этот вопрос дается отрицательный ответ.

Пусть W[J2], J2 С M\Jk, J2 ф {7ь 72}, — множества вида (0.2), где £}[J2] — открытые множества, a W[7i,72] — измеримое множество также вида (0.2) (71,72 определены в (0.9)). Составим из них "крест" W(Jk) вида (0.3), т.е.

W(Jk)= U WlJ2\\JWbin2\. (0.14)

J2CM\Jk, ^2^(71,72}

Теорема I.V. Пусть N > 3 и Jk С М, 1 < к < N — 2, тогда для любого £ > 0 существуют функция f = f£ £ L^iТ^) и измеримое множество W£(Jk) вида (0.14) такие, что 1. f(x) = 0HaWe{Jk)-, 2- VW£( Jk) > (2k)n

3. для любых к последовательностей натуральных чисел {п^*^}, j 6 Jk, oo при aj —> oo, справедлива оценка lim^ f)\ = +00 почти всюду на TN. nj->oo,j£M\Jk

Таким образом, найденные структурно-геометрические характеристики "неполных TV-мерных крестов" W = W(Jk) вида (0.3) являются точными в смысле числа образующих множества "TV-мерных брусков" , а также их ("брусков") геометрии и структуры.

Наконец, в § 3 главы I нами доказана теорема, которая показывает, что СОЛ для рассматриваемых нами рядов в классе Li(Tn) на множествах W{ Jk) вида (0.3) справедлива не будет.

Теорема I.VI. Пусть N > 3 и Jk С М, 1 < k < N — 2, тогда существуют множество W = W(Jk) вида (0.3) и функция / Е Li(TN) такие, что fix) = 0 на W, но "Jk-лакупарная последовательность частичных сумм" SnW[jk}{x'i f) расходится почти всюду на Т^ при Aj —»• 00, j Е Jk, nj оо,j е M\Jk.

В главе II диссертации нами доказан критерий справедливости в классах LP(TN), р > 1, СОЛ для кратных рядов Фурье с " J^-лакунарной последовательностью частичных сумм" на произвольных подмножествах TN положительной меры (удовлетворяющих некоторым ограничениям на границу множества) в терминах свойства В^ •

Введем следующие понятия.

Определение 8. Пусть 21 С TN, TV > 3, и пусть Jk С М, 1 < k < TV-2, или Jk = 0, к = 0.

1. Будем говорить, что множество 21 обладает свойством В^, если найдется мноэюество W = W(Jk) вида (0.3), которое .вписывается п.в. в 21, причем свойство В^ есть свойство В^k\w0), если W = WiW®).

2. Свойство B^fe)(iy°) • множества 21 будем называть максимальным свойством В^ множества 21, если для любого множества W0 = W°(Jk) вида (0.4) такого, что /j,(W° \ W®) > 0, мноэ\сество 21 не обладает свойством В {2Jk)(W°).

Заметим, что при к = 0 свойство В^ = В^ и максимальное свойство B2J°^(VF°(Jo)) = B®(Wo(0)) совпадают, соответственно, со свойством В2 и максимальным свойством B2(W°) (см. определение 5).

Далее, учитывая замечание 1, отметим, что если множество 21 обладает свойством Bg^W^Q, Jfc)), 0 < к < N — 3, то для любого Js такого, что Js D J&, к < s < N — 2, множество 21 обладает свойством В2 s Js)) при этом Js) 2 Jk)).

Справедлива следующая теорема.

Теорема II.I. Пусть 21 — произвольное измеримое множество, 21 С TN, N >3,0 < д21 < (27r)^, = Т^ \21, и пусть Jk — произвольная "выборка" из М, 1 < k < N — 2. Если множество 21 удовлетворяет условиям (0.5), (0.6'), где lL2Frprm{inVB} = 0, J2CM\Jk, (0.6') то на мнооюестве 21 в классе Lp(TN), р > 1, для кратных рядов Фурье, чьи прямоугольные частичные суммы Sn(x] f) имеют "номер" п — n^[Jk] (в котором к компонент nj:j G Jk, являются элементами лакунарных последовательностей, а остальные N — к компонент nj,j € М \ Jk, — "свободны"), справедлива слабая обобщенная локализация почти всюду тогда и только тогда, когда множество 21 обладает свойством в!^.

Замечание 3. В части достаточности теорема II.I справедлива без ограничений (0.5), (0.6').

Так как теорема II.I не дает информации о том, на каких же подмножествах 2li С 21 существует предел "J^ -лакунарной последовательности частичных сумм" lim Sn(x)[Jk](x; f) = О при условии /(ж) — 0 на 21, а на каких нет, то целесообразно дать развернутую формулировку этой теоремы.

Теорема II.I'. Пусть 21 — произвольное измеримое множество, 21 С TN, N > 3, 0 < д21 < (271-)N, и пусть Зк С М, 1 < к < N - 2.

1. Если существует множество WQ = W°(Jk) вида (0.4) такое, что множество 21 обладает свойством B^^W0), то для любой функции f £ LP(TN), р > 1, такой, что /(ж) = 0 на 21, lim Sn(\)\ja{x\ f) = 0 почти всюду на W nj—too,j£M\Jf.

Пусть дополнительно множество 21 удовлетворяет условиям (0.5), (0.6'), тогда

2. Если свойство B^'^W0) множества 21 является максимальным свойством В^, то существует функция fi £ L00(TiV) такая, что fi(x) = 0 на 21 и для любых к последовательностей натуральных чисел {nf^}, j £ Jk, оо при aj —У оо, 11 справедлива оценка lim |5n(a)rj,](a:; Ml = +оо почти всюду на TN \ W0. п j —> со, j € M \ Jfc

3. В частности, если множество 21 вообще Tie обладает свойством В^, то существует функция /2 £ L00(TiV) такая, что /2(ж) — 0 на 21 и для любых к последовательностей натуральных чисел {п^}, j £ Jk, п^ —У оо при aj —> 00, справедлива оценка lim |5n(a)rj ](ж;/2)| = +оо почти всюду на TN.

11 Еще раз отметим (см. сноску к теореме I.II), что все последовательности {nj-™3^}, j £ Jk, могут быть, в частности, лакунарными или, например (если n > 4 и к > 2), почленно равными между собой (т.е.

Замечание 4. Итак, мы видим, что для любого к, 1 < к < N — 2, справедливость или несправедливость СОЛ для кратных рядов Фурье (суммируемых по прямоугольникам) в классах LP(TN), р > 1, на произвольном измеримом множестве 21 С TN, N > 3, определяется структурой и геометрией множества 21, которые, в свою очередь, описываются свойством В^, гДе величина к — это число "лакунарных компонент" вектора п = (ni,., njv) Е Z^ ("номера" частичной суммы Sn(x\ /)).12

Замечание 5. Сравнивая теорему В и теорему II.I', мы видим, что для справедливости на измеримом множестве 21 С , N > 3, СОЛ (для суммируемых по прямоугольникам кратных рядов Фурье функций / Е Lp, р > 1, f(x) = 0 на 21) в случае, когда все компоненты вектора n Е Ъ® — номера частичной суммы Sn(x] /) — "свободны", на множество 21 должны быть наложены "более жесткие" условия, описываемые свойством В2 (= В^), чем условия на это же множество в случае, когда часть компонент вектора п — лакунарны. Поясним сказанное на "достаточно хорошем" множестве

210 С Т*, О < [Mq < (2tt)n (скажем, 21о — открытое п.в., т.е. //(21оД^) — О, где Г2 — открытое): для сходимости п.в. к нулю кратного ряда Фурье (суммируемого по прямоугольникам) функции / Е Lp, р > 1, на 21о необходимо и достаточно равенство нулю функции f(x) на "полном брусочном кресте" W( Jo) = W(Q, Jo), если все компоненты вектора п Е Zf — "свободны", и равенство нулю той же функции f(x) только на "неполном брусочном кресте" W(Jk) = Jfc), Jk = {jl, • • •, jk} С M, если вектор n = (nb ., nN) £ Zf имеет к "лакунарных компонент" на местах с номерами ji,.

Далее заметим, что чем "более мягкими" при возрастании к (1 < к <

12 Подчеркнем, что "iV-мерные бруски" W[J2], J2 С М \ J к, образующие "неполный крест" W(Jk) (0.3) (который удовлетворяет условию fi(W(Jk)\21) = 0), имеют "основания" fi[J2] в тех плоскостях Е[./2], для которых соответствующие компоненты "номера" п € Ъу — компоненты tij, j £ М \ Jk, — являются "свободными" (т.е., в частности, не являются компонентами никаких лакунарных последовательностей).

N — 2) становятся условия на структурно-геометрические характеристики множества 21 (описываемые в теореме II.Г свойством Bg7^ множества 21), тем "более жесткими" становятся условия на последовательности частичных сумм 5п(а)[^л](ж; /), оставляя "свободными" (не лакунарными) все меньше и меньше компонент в векторе п — n^[Jk] — номере частичной суммы кратного ряда Фурье рассматриваемой функции, и, наконец, "в пределе" (т.е. когда только две переменные в векторе п остаются свободными) от структурно-геометрических свойств множества 21 требуется "только лишь" выполнение условия: должен существовать такой "TV-мерный брусок" Wfjy, который вписывается п.в. в множество 21.

Подчеркнем, что если мы еще уменьшим число "свободных" компонент в векторе п = n^[Jk] (сведя их количество до единицы, а остальные компоненты естественно оставив лакунарными), то, как следует из уже упоминавшихся результатов П. Шёлина [8] и М.Кожимы [11], для справедливости па множестве 21 СОЛ в классах Lp, р > 1, от множества 21 уже не требуется никаких ограничений (в плане структурно-геометрических характеристик), кроме измеримости.

Таким образом, если мы фиксируем некоторое множество 21о С Т^, О < //2lo < (2tt)n (например, как и выше, открытое п.в.), и перед нами встает вопрос о сходимости п.в. на этом множестве кратного ряда Фурье (суммируемого по прямоугольникам) функций из ^(Т^), р > 1, то одно из возможных решений поставленной задачи13 — рассматривать прямоугольные частичные суммы Sn(x; /) с номером п (п £ Zf), имеющим N — 1 "лакунарную компоненту" (т.е. не более одной "свободной" переменной). При этом заметим, что сходимость (п.в.) указанного ряда Фурье будет не только на (выбранном

13 Еще одним решением могут быть некоторые "локальные условия гладкости" разлагаемой в ряд функции на множествах, в которые 21о вписывается и.в. (см., например, работы [44-4С]). нами) множестве 21о, но и на всем TN. Если же мы (добиваясь сходимости рассматриваемых в настоящей работе рядов Фурье, вообще говоря, только на 21о, где = 0, а Г2 — открытое) хотим увеличить число "свободных" компонент, то нам придется рассматривать класс функций (из Lp, р > 1), равных нулю на некотором множестве 21, содержащем Q в качестве подмножества, и требовать уже "жесткие условия" (а именно, В^О^"0^ Jk))) Iia структурно-геометрические характеристики множества 21 (напрямую зависящие от числа "свободных" переменных rijk+1,., njN, 0 < к < N — 2, в номере п).

Укажем также на некоторое обобщение теоремы IIЛ в плане ослабления ограничений на множество 21.

Теорема II.II. Пусть 21 — произвольное измеримое множество, 21 С TN, N > 3, 0 < //21 < {2ir)N, 03 = Т^ \ 21, и пусть Jk - произвольная "выборка" из М, 1 < k < N — 2. Если существуют подмнооюество 031 с 93 и открытое множество такие, что

1. ju(©iA П) = 0; (0.15)

2. fi2Frpr{j2){Q} = 0, J2cM\Jfc; (0.16)

3. = 112ргШ{Я}, J2cM\Jk (0.17) где ц2 — мера на плоскости), то на множестве 21 в классе Lp(TN), р > 1, для кратных рядов Фурье, чьи прямоугольные частичные суммы Sn(x; /) имеют "номер" п = n^[Jk], справедлива слабая обобщенная локализация почти всюду тогда и только тогда, когда множество 21 обладает свойством Ш>2к\

Замечание 6. Ограничения на множество 03 в виде условий (0.15) - (0.17) впервые появились (для Л^>2и^ = 0)в работе [37], и этим условиям удовлетворяют, например, множества 03, представимые в виде 03 = 03^ [J 03^2\

93«П®(2) = 0, где ©W = ¥>(50, ®<2> С ¥>(S2), Si = {ж <= : 0 < п < ж| < г2 < 7г}, S2 — {х £ Т^ : |ж| < ri}, a tp — произвольный гомеоморфизм <р : TN —> Т^; при этом произвольное множество ^ может иметь сколь угодно "плохую" геометрию и структуру.

Список литературы диссертационного исследования кандидат физико-математических наук Лифанцева, Ольга Валерьевна, 2009 год

1. Колмогоров А. Н. Une contribution а Vetude de la convergence des series de Fourier 1.j Fund. Math. 1924. V. 5. P. 96-97.

2. Littlewood J., Paley R. Theorems on Fourier series and power series // J. Lond. Math. Soc. 1931. V. 6. P. 230-233.

3. Carleson L. On convergence and growth of partial sums of Fourier series // Acta Math. 1966. V. 116. P. 135-157.

4. Hunt R. On the convergence of Fourier series // Proc. Conf. Edwardsville 111. 1967, Southern Illinouis Univ. Press. Carbondale 111. 1968. P. 235-255.

5. Gosselin R. P. On the divergence of Fourier series // Proc. Amcr. Math. Soc. 1958. V. 9. P. 278-282.

6. Totik V. On the divergence of Fourier series. // Publ. math., Debrecen. 1982. V. 29. № 3-4. P. 251-264.

7. Ульянов П. JI. A. H. Колмогоров и расходящиеся ряды Фурье j j Успехи мат. наук. 1983. Т. 38. №4 (232).

8. Sjolin P. Convergence almost everywhere of certain singular integrals and multiple Fourier series // Arkiv Matem. 1971. V. 9. № 1. P. 65-90.

9. Санадзе Д. К., Хеладзе Ш.В. О сходимости и расходимости кратных рядов Фурье-Уолша // Тр. Тбилисск. мат. ин-та АН Груз. ССР. 1977. Т. 55. С. 93-106.

10. Жижиашвили Л. В. О сходимости и расходимости тригонометрических рядов Фурье // ДАН СССР. 1975. Т. 225. № 3. С. 495-496.

11. Kojima M. On the almost everywhere convergence of rectangular partial sums of multiple Fourier series // Sci. Repts. Kanazava Univ. 1977. V. 22. №2. R 163-177.

12. Fefferman C. On the divergence of multiple Fourier series // Bull. Amor. Math. Soc. 1971. V. 77. № 2. R 191-195.

13. Жижиашвили Jl. В. Некоторые вопросы многомерного гармонического анализа. 3 изд. Изд. Тбилисск. университ., 2005.

14. Зигмунд А. Тригонометрические ряды. Т. 2. М.: Мир, 1965.

15. Tonelli L. Serie trgonometriche. Bologna, 1928.

16. Жижиашвили Л. В. О некоторых вопросах из теории простых и крат-пых тригонометрических и ортогональных рядов // УМН. 1973. Т. 28. № 2. С. 65-119.

17. Жижиашвили Л. В. Сопряэ/сенные функции и тригонометрические ряды Тбилиси, 1969.

18. Ильин В. А. Условия локализации прямоугольных частичных сумм кратного тригонометрического ряда Фурье в классах С. М. Никольского1.j Матем. заметки. 1970. Т. 8. № 5. С. 595-606.

19. Goffman С., Waterman D. The localization principle for double Fourier series

20. Stud. Math. 1980. V. 69. № 1. R 41-57.

21. Ашуров P. P. Условия локализации квадратных частичных сумм кратного тригонометрического ряда Фурье в классах С. М. Никольского // Матем. заметки. 1989. Т. 46. № 2. С. 3-7.

22. Bastys A.Y. Generalized localization or Fourier series with respect to the eigenfunctions of the Laplace operator in the classes Lp // Lith. Math. 1991. V. 31. № 3. P. 269-282.

23. Liflyand E. R., Skopina M.A. Square linear means with hyperbolic factor // Analysis Math. 1998. V. 9. № 1. P. 65-90.

24. Skopina M.A. Localization principle for wavelet expansions // Self-similar systems. Proceedings of the international workshop. Dubna. Russia. July 30 August 7, Dubna: Joint Institute for Nuclear Research, 1999. P. 125-132.

25. Алимов Ш.А., Ильин В. А., Никишин E.M. Вопросы сходимости кратных тригонометрических рядов и спектральных разложений // УМН. 1976. Т. 31. № 6. С. 28-83.

26. Голубов Б. И. Кратные ряды и интегралы Фурье // В сб. Итоги науки и техники. Серия Матем. анализ. М.: ВИНИТИ, 1982. Т. 19. С. 3-54.

27. Дьяченко М. И. Некоторые проблемы теории кратных тригонометрических рядов // УМН. 1992. Т. 47. № 5. С. 97-158.

28. Блошанский И. JI. Равносходимость разложений в кратный тригонометрический ряд Фурье и интеграл Фурье // Матем. заметки. 1975. Т. 18. № 2. С. 153-168.

29. Блошанский И. JL Обобщенная локализация почти всюду и сходимость двойных рядов Фурье // ДАН СССР. 1978. Т. 242. № 1. С. 11-13.

30. Блошанский И. JI. О максимальных мноэ/сествах сходимости и неограниченной расходимости кратных рядов Фурье функций из L\, равных нулю на данном множестве // ДАН СССР. 1985. Т. 283. № 5. С. 10401044.

31. Bloshanskii I. L. Generalised localization and convergence tests for double trigonometric Fourier series of functions from Lp, p> 1 // Analysis Math. 1981. V. 7. №1. P. 3-36.

32. Блошанский И. JI. Некоторые вопросы многомерного гармонического анализа. Дисс. . докт. физ.-мат. наук. М.: МИАН, 1991.

33. Рослова Т. Ю. О справедливости обобщенной локализации для двойных тригонометрических рядов Фурье функций из Lln+Lln+ln+L // ДАН России. 1998. Т. 359. № 6. С. 744-745.

34. Блошанская С. К., Блошанский И. Л., Рослова Т. Ю. Обобщенная локализация для двойных тригонометрических рядов Фурье и рядов Фурье-Уолша функций из Lln+Lln+ln+L // Матем. сборник. 1998. Т. 189. № 5. С. 21-46.

35. Блошанский И. Л. О сходимости и локализации кратных рядов и интегралов Фурье. Дисс. . канд. физ.-мат.наук. М., 1978.

36. Блошанский И. Л. О критериях слабой обобщенной локализации в N-мерном пространстве // ДАН СССР. 1983. Т. 271. № 6. С. 1294-1298.

37. Блошанский И. Л. О геометрии измеримых множеств в N-мерном пространстве, на которых справедлива обобщенная локализация для кратных тригонометрических рядов Фурье функций из Lp, р > 1 // Матем. сборник. 1983. Т. 121. № 1. С. 87-110.

38. Блошанский И. Л. Два критерия слабой обобщенной локализации для кратных тригонометрических рядов Фурье функций из Lp, р > 1 // Изв. АН СССР. Серия матем. 1985. Т. 49. № 2. С. 243-282.

39. Блошанский И. JI. Структура и геометрия максимальных множеств сходимости и неограниченной расходимости почти всюду кратных рядов Фурье функций из L\, равных нулю на данном множестве // Изв. АН СССР. Серия матем. 1989. Т. 53. № 4. С. 675-707.

40. Блошанский И. JI., Мацеевич Т. А. Слабая обобщенная локализация для кратных рядов Фурье непрерывных функций с некоторым модулем непрерывности // Метрическая теория функций и смежные вопросы анализа. Сб. статей. М.: АФЦ. 1999. С. 37-56.

41. Блошанский И.Л., Иванова O.K. Слабая обобщенная локализация для тригонометрических рядов Фурье функций из классов Орлича // Современные проблемы теории функций и их приложения. Тез. докл. 12-ой Саратовской зимн. шк. Саратов. 2004. С. 28-29.

42. Иванова О. К. Мажорантные оценки для частичных сумм кратных рядов Фурье функций из пространств Орлича, равных нулю на некотором множестве // Матем. заметки. 1999. Т. 65. № 6. С. 821-830.

43. Блошанский И.Л. Локальные условия гладкости, обеспечивающие сходимость кратного тригонометрического ряда Фурье // Теория функций и приближений. Труды 5-ой Сарат. зимней шк. Саратов. 1992. С. 150155.

44. Стейн И. Сингулярные интегралы и дифференциальные свойства функций. М.: Мир, 1973.ОСНОВНЫЕ РЕЗУЛЬТАТЫ ДИССЕРТАЦИИ ОПУБЛИКОВАНЫ В РАБОТАХ

45. Лифанцева О.В., Блошанский И.Л. Слабая обобщенная локализация для кратных рядов Фурье, прямоугольные частичные суммы которых рассматриваются по некоторой подпоследовательности // Матем. заметки. 2008. Т. 84. Ш 3. С. 334-347.

46. Лифанцева О.В., Блошанский И.Л. Критерий слабой обобщенной локализации для кратных рядов Фурье, прямоугольные частичные суммы которых рассматриваются по некоторой подпоследовательности // ДАН России. 2008. Т. 423. № 4. С. 439-442.