Московский государственный университет
имени М.В. Ломоносова
Механико-математический факультет
На правах рукописи
УДК 517.518.47+517.518.24
Бахвалов Александр Николаевич
МНОГОМЕРНЫЕ КЛАССЫ ФУНКЦИЙ
ОГРАНИЧЕННОЙ ВАРИАЦИИ
И ИХ ПРИМЕНЕНИЕ В ТЕОРИИ
РЯДОВ И ИНТЕГРАЛОВ ФУРЬЕ
01.01.01 вещественный, комплексный и функциональный анализАВТОРЕФЕРАТ
диссертации на соискание ученой степени доктора физико-математических наук
Москва, 2011
Работа выполнена на кафедре теории функций и функционального анализа механико-математического факультета Московского государственного университета имени М.В. Ломоносова.
Официальные оппоненты:
доктор физико-математических наук Антонов Николай Юрьевич, доктор физико-математических наук, профессор Блошанский Игорь Леонидович, доктор физико-математических наук, профессор Рубинштейн Александр Иосифович.
Ведущая организация:
Московский физико-технический институт (государственный университет).
Защита диссертации состоится 25 ноября 2011 г. в 16 часов 45 минут на заседании диссертационного совета Д 501.001.85 при Московском Государственном Университете имени М.В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, аудитория 16-24.
С диссертацией можно ознакомиться в библиотеке механико-математического факультета (главное здание, 14 этаж).
Автореферат разослан " " 2011 г.
Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор В.Н. Сорокин
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы.
Диссертация посвящена исследованию многомерных классов функций ограниченной -вариации (классов Ватермана) и задачам сходимости тригонометрических рядов и интегралов Фурье функций многих вещественных переменных из таких классов.
В одномерном случае классической является теорема Жордана о сходимости тригонометрического ряда Фурье для функции ограниченной вариации. Впоследствии рядом авторов (в частности, Н. Винером1, Л. Юнгом2, Р. Салемом3, А. Гарсиа и С. Сойером4 ) были построены классы функций ограниченной обобщенной вариации и доказаны аналоги теоремы Жордана для функций из этих более широких классов.
Все эти классы и соответствующие им признаки сходимости ряда Фурье обладают следующим свойством: поскольку при гомеоморфизме T : T T (здесь и далее через T обозначается отрезок [, ] ) обычная вариация функции, а также ее обобщенные вариации, сохраняются, то для любого T и для любой функции f из этих классов ряд Фурье функции f T сходится всюду, а если к тому же f непрерывна, то ряд Фурье f T сходится равномерно.
К. Гоффман и Д. Ватерман5 поставили общую задачу описания класса U GW (T) функций, ряды Фурье которых сходятся равномерно после любого гомеоморфизма отрезка T, пробегаемого аргументом. В качестве одного из подходов к этой задаче Ватерман6 определил в одномерном случае классы BV (I) функций ограниченной Wiener N., The quadratic variation of a function and its Fourier coecients, J. Math. and Phys.
MIT. 1924. V.3. P.72–94.
Young L. C., Sur une generalisation de la notion de variation de puissance p -ieme bornee au sence de M. Wiener, et sur la convergence des series de Fourier // C. R. Acad. Sci. Paris, 1937. V.204.
P.470–472.
Salem R., Essais sur les series trigonometriques // Actualities Sci. Ind. No 862. Paris. 1940.
Garsia, A. M., Sawyer S., On some classes of continuous functions with convergent Fourier series //J. of Math. and Mech. 1964. V.13. P.586-601.
Goman C., Waterman D., Functions whose Fourier series converge for every change of variable // Proc. Amer. Math. Soc. 1968. V.19. P.80–86.
Waterman D., On convergence of Fourier series of functions of generalized bounded variation // Studia math. 1972. V.44. N2. P.107–117.
вариации и доказал для них аналог признака Жордана. Ватерманом было установлено, что его теорема не слабее предшествующих результатов такого типа. Вопрос об равенстве HBV (T) C(T) = U GW (T) был несколько позднее решен отрицательно А. А. Саакяном7. Обзор результатов, относящихся к поведению рядов Фурье при гомеоморфных заменах переменной, можно найти, в частности, в монографии Гоффмана, Нишиуры и Ватермана8.
Другие классы функций, инвариантные относительно гомеоморфизма отрезка, в одномерном случае рассматривали, в частности, Е. А. Севастьянов9 (классы функций с заданным порядком кусочномонотонных аппроксимаций), З. А. Чантурия10 (классы функций с заданным модулем изменения). Затем Е. И. Бережной11 12 предложил более общий подход, опирающийся на понятие симметричного пространства последовательностей, и показал, что теорема Ватермана является в смысле этого подхода самым сильным из возможных признаков равномерной сходимости.
В двумерном случае Г. Харди13 определил класс BV (T2 ) и доказал сходимость по Прингсхейму ряда Фурье функции из этого класса в каждой точке. Затем его результат был обобщен14 на многомерный случай. Для функций двух переменных рассматривались также другие классы ограниченной обобщенной вариации, в частности, -вариация Саакян А. А., О функциях ограниченной -вариации // Докл. АН Арм. ССР. 1985. Т.81.
N2. С.54–58.
Goman C., Nishiura T., Waterman D., Homeomorphisms in analysis. New York, AMS, 1997.
Севастьянов Е. А., Кусочно монотонная аппроксимация и -вариация //Analysis Math. 1975.
V.1. N2. P.141–164.
Чантурия З. А., Модуль изменения и его применение в теории рядов Фурье. //Докл. АН СССР. 1974. Т.214. N1. С.63–66.
Бережной Е. И., Пространства функций обобщенной ограниченной вариации. I. Теоремы вложения. Оценки констант Лебега. // Сиб. мат. ж. 1999. Т.40. N5. С.997–1011.
Бережной Е. И., Пространства функций обобщенной ограниченной вариации. II. Вопросы равномерной сходимости рядов Фурье. // Сиб. мат. ж. 2001. Т.42. N3. С.515–532.
Hardy G. H., On double Fourier series and especially those which represent the double zetafunction with real and incommensurable parameters// Quart. J. Math. V.37. N1. 1906. P.53–79.
Morse M., Transe W., The Frechet variation and a generalization for multiple Fourier series of the Jordan test// Rev. Mat. Univ. Parma. 1950. V.1. P.3–18.
в работах Б. И. Голубова15 16 17, многомерные классы Чантурия в работе Г. Ш. Бекаури18.
А. А. Саакян19 ввел понятие -вариации функции двух переменных. Он доказал, что для любой измеримой функции ограниченной гармонической вариации ее ряд Фурье сходится по Прингсхейму в каждой регулярной точке, и сходимость равномерна внутри любого открытого множества, на котором функция непрерывна.
Рядом авторов, в первую очередь, М. И. Дьяченко20, изучался вопрос о регулярности всех точек для функций из заданного класса Ватермана, т.е. о существовании в каждой точке пределов по координатным квадрантам (октантам и т.д.). Для того, чтобы все точки были регулярными для любой функции из класса BV (T2 ), необхоn=1 (n )2 =. Если же оно нарушено, димо и достаточно условие то в классе содержатся всюду разрывные и даже неизмеримые функции. Невыполнение свойства регулярности всех точек для функций из классов Ватермана имеет и положительную сторону: благодаря этому эти классы могут оказаться шире других классов ограниченной обобщенной вариации, для которых указанное свойство выполнено.
Для классов Ватермана изучались другие виды сходимости рядов Фурье: сходимость сферических сумм в работах М. И. Дьяченко20 21, сходимость треугольных сумм в работе автора22, а также более обГолубов Б. И., Функции обобщенной ограниченной вариации, сходимость их рядов Фурье и сопряженных тригонометрических рядов // Доклады АН СССР. 1972. Т.205. N6. С.1277–1280.
Голубов Б. И., О сходимости двойных рядов Фурье функций обобщенной ограниченной вариации // Сиб. мат. ж. 1974. Т.15. N2. С.262–292.
Голубов Б. И., О сходимости двойных рядов Фурье функций обобщенной ограниченной вариации. II // Сиб. мат. ж. 1974. Т.15. N4. С.767–783.
Бекаури Г. Ш., О равномерной сходимости и суммируемости методом Чезаро отрицательного порядка кратных рядов Фурье // Сообщ. АН Груз. ССР. 1985. Т.118. N2. С.281–283.
Саакян А. А., О сходимости двойных рядов Фурье функций ограниченной гармонической вариации // Изв. АН Арм. ССР. 1986. Т.21. N6. С.517–529.
Dyachenko M. I., Waterman classes and spherical partial sums of double Fourier series //Analysis Math. 1995. V.21. N1. P.3–21.
Дьяченко М. И., Сферические частичные суммы двойных рядов Фурье функций с ограниченной обобщенной вариацией // Матем. сб. 1997. Т.188. N1. С.29–58.
Бахвалов А. Н., Классы Ватермана и треугольные частичные суммы двойных рядов Фурье // Analysis Math. 2001. V.27. N1. P.3–36.
щие U - и U (K) -сходимости в другой работе Дьяченко23. Позднее в совместной статье Дьяченко и Ватермана24 было рассмотрено другое обобщение понятия -вариации на двумерный случай и поведение прямоугольных сумм для такого обобщения.
Для функций одной переменной Ватерманом25 были получены также результаты о суммируемости рядов Фурье методами Чезаро отрицательного порядка. При решении этой задачи были введены и использованы классы CV ([a, b]) функций, непрерывных по -вариации.
Эти классы представляют и самостоятельный интерес.
Задачу о совпадении классов CV ([a, b]) и BV ([a, b]), поставленную Ватерманом, рассматривали Форан и Флейсснер26, Саблин27 28.
Критерий их совпадения в одномерном случае был установлен Ф. ПрусВишнёвски29 и состоит в том, что классы не совпадают, лишь если последовательность растет достаточно медленно (неформально говоря, логарифмически).
В случае функций многих переменных, понятие непрерывности по -вариации было впервые предложено автором (см. [1]). В двумерном случае такое определение одновременно рассматривалось О. С. Драгошанским30. Результаты Драгошанского показывают, что уже в двумерном изотропном случае картина существенно отличается от одномерной, в частности, классы CV и BV могут не совпадать для последовательностей, растущих степенным образом. Во второй главе диссертации показано, что несовпадение этих классов для функций Дьяченко М. И., Двумерные классы Ватермана и u -сходимость рядов Фурье // Матем. сб.
1999. Т.190. N7. С.23–40.
Dyachenko M. I., Waterman D., Convergence of double Fourier series and W -classes //Trans.
Amer. Math. Soc. 2004. V.357. N1. P.397–407.
Waterman D., On the summability of Fourier series of functions of -bounded variation // Studia math. 1976. V.55. N1. P.87–95.
Foran J., Fleissner R., A note on -bounded variation. // Real Analysis Exchange. 1978/79. V.4.
P.185–191.
Саблин А. И., -вариация и ряды Фурье // Изв. ВУЗов. Математика. 1987. N10. С.66–68.
Саблин А. И., Функции ограниченной -вариации и ряды Фурье. Дисс.... канд. физ.-мат.
наук. Москва, 1987.
Prus-Winiowski F., Bounded harmonic variation and the Garsia Sawyer class // Real Analysis Exchange. 1994/95. V.20. N1. P.37–38.
Драгошанский О. С., Непрерывность по -вариации функций многих переменных // Матем.
сб. 2003. Т.194. N7. С.57–82.
нескольких переменных является, в некотором смысле, типичным случаем.
Для функций двух переменных Гофманом и Ватерманом31 был получен также результат о локализации прямоугольных частичных сумм ряда Фурье в терминах неполной гармонической вариации.
Первые результаты о сходимости и локализации рядов Фурье функций из классов Ватермана для размерности m 3 были получены Саблиным в цитированных выше работах. Они относились только к непрерывным функциям, а также содержали дополнительные условия на локальное поведение гармонической вариации, причем вопрос о существенности этих условий не был решен. Одновременно и независимо классы функций ограниченной -вариации для функций трех и более переменных были введены В. Райтгрубером32, но в его работе изучены только некоторые элементарные свойства этих классов.
Позднее в работе О. Г. Саргсяна33 утверждалось без доказательства, что результат Саакяна из цитированной выше статьи 19 верен для функций трех и более переменных. Однако, как следует из результатов третьей главы нашей диссертации, такое утверждение оказалось ошибочным.
Цель работы.
Диссертация посвящена изучению свойств многомерных классов Ватермана. Рассматриваются как свойства, связанные с их внутренней структурой, так и применение этих классов к вопросам сходимости кратных рядов и интегралов Фурье. Особое внимание при этом уделяется тем результатам, которые в многомерном случае качественно отличаются от одномерного и двумерного случаев. Некоторые результаты являются новыми и для функций одной или двух переменных.
Goman C., Waterman D., The localization principle for Fourier series // Studia math. 1980.
V.69. N1. P.41–57.
Reitgruber W., Funktionen von beschrnkter gewichteter Schwankung //Sitzungsber. Osterr.
Acad. Wiss. Math - Naturwiss. Kl. Abt. 2. 1987. V.196. N8–10. P.463–494.
Саргсян О. Г., О сходимости и явлении Гиббса кратных рядов Фурье функции ограниченной гармонической вариации. // Изв. НАН Армении. Математика. 1993. Т.28. N3. С.3–20.
Научная новизна.
Все результаты диссертации являются новыми. Основные из них состоят в следующем:
1. Введено и изучено понятие непрерывности по -вариации в многомерном случае. В частности, задача о сравнении классов функций ограниченной -вариации с классами функций, непрерывных по -вариации, полностью решена для важного случая 2. Изучено локальное поведение многомерной -вариации и его связь с принадлежностью функции более узкому классу Ватермана.
3. Получены новые результаты о сходимости кратных рядов и интегралов Фурье по прямоугольникам, при этом выявлены качественные отличия между случаем размерности два и случаем более высокой размерности, связанные с особенностями локального поведения гармонической вариации.
4. Найдены достаточные условия для локализации прямоугольных частичных сумм ряда Фурье в терминах -вариаций функции по части переменных. Показано, что требования типа непрерывности функции при этом нельзя полностью отбросить.
5. Получены новые результаты о суммируемости кратных рядов Фурье методами Чезаро отрицательного порядка, при этом найдены существенные отличия от одномерного случая и от результатов о сходимости.
Методы исследования.
В работе используются различные методы метрической теории функций одного и многих действительных переменных, методы гармонического анализа. Разработаны новые подходы к построению функций с некоторыми заданными свойствами.
Теоретическая и практическая ценность.
Работа носит теоретический характер. Ее результаты могут быть полезны в теории функций многих действительных переменных, в частности, при изучении кратных тригонометрических рядов Фурье, в теории приближений, при получении различных теорем вложения.
Апробация диссертации.
Основные результаты диссертации докладывались на семинаре по теории функций действительного переменного под руководством академика РАН, профессора П. Л. Ульянова и член-корреспондента РАН, профессора Б. С. Кашина, а затем под руководством членкорреспондента РАН, профессора Б. С. Кашина, профессоров Б. И. Голубова, С. В. Конягина и М. И. Дьяченко (многократно в 2002–2010) и на семинаре по теории ортогональных и тригонометрических рядов под руководством профессоров М. К. Потапова, В. А. Скворцова, Т. П. Лукашенко и М. И. Дьяченко (неоднократно в 2002–2007) на механико-математическом факультете МГУ имени М. В. Ломоносова;
на международных симпозиумах Ряды Фурье и их приложения (Новороссийск, 2002, 2006, 2008), на Саратовских зимних школах Современные проблемы теории функций и их приложения (2004, 2006, 2008, 2010), на Воронежских зимних математических школах Современные методы теории функций и смежные проблемы (2003, 2005, 2007, 2011), на международной конференции Дифференциальные уравнения и смежные вопросы, посвященной памяти И. Г. Петровского (Москва, 2007); на международной конференции Современные проблемы анализа и преподавания математики, посвященной 105-летию академика С. М. Никольского (Москва, 2010).
Публикации.
Основные результаты диссертации опубликованы в 12 статьях автора, из которых 11 в журналах, входящих в список ВАК. Их список приведен в конце автореферата. Кроме того, имеется 16 публикаций в сборниках тезисов конференций. Работ, написанных в соавторстве, нет.
Структура и объем работы.
Диссертация состоит из введения и пяти глав, разбитых на параграфы. Общий объем диссертации составляет 212 страниц. Список литературы включает (вместе с публикациями автора) 81 наименование.
КРАТКОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ
Введение.Во введении приводятся определения используемых понятий, дается обзор ранее известных результатов, связанных с тематикой диссертации.
Приведем здесь определение основного изучаемого понятия классов функций ограниченной -вариации (классов Ватермана).
Промежутком в Rm будем называть декартово произведение m невырожденных промежутков на прямой, т.е. параллелепипед ненулевого объема с ребрами, параллельными осям координат, который по каждой грани может быть как открытым, так и замкнутым. При этом Для промежутка на прямой через () обозначим множество всех конечных систем попарно непересекающихся интервалов {In }N та- n= ких, что In. Чтобы не загромождать обозначения, мы будем запиk k сывать такие системы просто как {In }, а запись {In } или {Ink } будет означать систему вида {In }N, выбранную на k -м ребре m -мерного промежутка.
Для промежутка Rm через обозначим его внутренность.
Рассмотрим функцию f на Rm, точку x Rm и операторы взятия разностей j = 1,..., m, где ej единичный вектор j -й оси. Пусть I k = (ak, bk ).
Величина называется смешанным приращением (симметрической разностью) функции f на I = при разных j коммутируют друг с другом, поэтому смешанное приращение симметрично относительно перестановок переменных.
Пусть множество {1,..., m} разбито на два непересекающихся множества и, состоящих из p и m p элементов соответственно.
Через f (I, x ) обозначим смешанное приращение f как функции аргументов xj, j, на I при фиксированных значениях xk, k, то есть, если = {j1,..., jp }, то Определение 6. Неубывающая последовательность положительных чисел = {n } задает класс функций ограниченной n= Далее будем рассматривать только такие. Множество последовательностей, удовлетворяющих перечисленным условиям, будем обозначать через L, а подмножество последовательностей из L, которые к тому же неограниченно растут, через L0. Для последовательности L введем обозначение и определим последовательности n = {n+k }. Положим также H = {n}n=1. Ясно, что H L.
Определение 7. Пусть 1,..., m последовательности из L.
менных (по переменным) x1,..., xm по промежутку (возможно, бесконечному) = 1 · · · m называется величина Пусть непустое множество {1,..., m} состоит из элементов обозначим (j1,..., jp ) -вариацию f как функции переменных x = (xj1,..., xjp ) по всем этим переменным, взятую по p -мерному промежутку = j1 · · · jp при фиксированных значениях x остальных переменных (если не пусто).
Далее, (j1,..., jp ) -вариацией функции f (x1,..., xm ) относительно переменных x по промежутку = 1 · · · m называется величина Определение 8. Величина называется (полной) (1,..., m ) -вариацией функции f (x1,..., xm ) по промежутку = 1 · · · m. Множество функций, для которых она конечна, называется классом ограниченной (1,..., m ) -вариации на и обозначается через (1,..., m )BV (). Если все последовательности j совпадают и равны, то класс будем называть изотропным и для краткости будем записывать V, V и BV () соответственно. Если же хотя бы две из последовательностей j различны, то класс будем называть анизотропным. Величину VH называют гармонической вариацией. Через V (f ;, x ) или V (f ; x, ) обозначим полную (j1,..., jp ) -вариацию f как функции переменных xj1,..., xjp по p -мерному промежутку = j1 · · · jp при фиксированных значениях x остальных переменных.
Определение 10. Функция f (1,..., m )BV () называется непрерывной по (1,..., m ) -вариации, если для любого непустого множества = {j1,..., jp } {1,..., m} и для любого jk выполнено Множество таких функций обозначим через C(1,..., m )V ().
Далее во введении формулируются основные результаты диссертации. Перейдем к их изложению.
Глава 1 посвящена примерам (семействам примеров) функций, попадающих в заданный класс ограниченной -вариации и не попадающих в более узкие. Поскольку не известны эффективные методы вычисления -вариации даже для гладких функций, построение таких примеров оказывается достаточно сложной задачей.
В §1.1 собраны для удобства ссылок элементарные свойства классов ограниченной -вариации.
В §1.2 приводится разработанная автором конструкция функций специального вида, названных диагональными.
Пусть m 3 и взят m -мерный промежуток. Рассмотрим систему вложенных в 1 интервалов {Dj }, объединение которых не равно всему, и системы попарно непересекающихся интервалов {Dj }, q = 2,..., m, где Dj = (aq, bq ) q. Пусть также выбраны Возьмем любые функции fj (x) на 1, удовлетворяющие условиям (при данном q ), и функции hq (t) монотонны (возможно, не строго) на [aj, cj ] и на [cj, bj ].
Назовем диагональной функцию на, имеющую вид Ясно, что носитель этой функции содержится в объединении замыкаm ний попарно непересекающихся промежутков Dj · · · Dj.
Нами доказывается принадлежность этих функций соответствующим классам Ватермана.
Теорема 1.2. Пусть m 3 и заданы последовательности p L, p = 1,..., m, причем Тогда следующие условия эквивалентны:
(а) Диагональная функция f (x), определенная формулой (1), принадлежит классу (1,..., m )BV ().
(б) При всех натуральных j выполнено fj 1 BV (1 ), и величины V1 (fj ; 1 ) ограничены в совокупности некоторым числом C0.
При этом выполняется оценка Конструкция диагональных функций применяется, в частности, для построения примеров расходящихся рядов и интегралов Фурье.
В §1.3 строятся еще две общие конструкции и соответствующие им классы примеров функций. Эти конструкции используют некоторые идеи, применявшиеся О. С. Драгошанским в его цитированной выше работе для двумерного изотропного случая.
Глава 2 посвящена изучению внутренних свойств классов.
В §2.1 рассматривается вопрос о вложении классов Ватермана друг в друга. Получено такое утверждение, включающее в качестве частного случая одномерный результат Перлмана и Ватермана34 :
Теорема 2.1. Пусть заданы последовательности j L и M j L, j = 1,..., m. Класс функций (M 1,... M m )BV () вложен в класс функций (1,..., m )BV () тогда и только тогда, когда при каждом p = 1,..., m найдется такое число Cp, что при всех натуральных N выполнено неравенство При этом, если Cp = max{Cp, 1}, то выполняется оценка Perlman S., Waterman D., Some remarks on functions of -bounded variation //Proc. Amer.
Math. Soc. 1979. V.74. N1. P.113–118.
Изучены также вложения одного класса Ватермана в класс функций, непрерывных по вариации другого класса. Установлена Теорема 2.2. (О структуре класса функций, непрерывных по вариации.) Для любых последовательностей j L0, j = 1,..., m, класс функций C(1,..., m )V () совпадает со следующими двумя:
(i) Объединение классов (M 1,..., M m )BV () по всем таким поj n следовательностям M j = {µj } L, что j 0 при n.
(ii) Объединение классов (M,..., M )BV () по всем таким поj (n) Если все j совпадают, то к тому же В §2.2 подробно изучается понятие непрерывности по -вариации.
Наши результаты, в отличие от предшествующих результатов других авторов, относятся к случаю произвольной размерности, как изотропному, так и анизотропному. Для более тонкой классификации, мы рассматриваем несколько способов определить понятие непрерывности по -вариации в многомерном случае.
Здесь естественно взять четыре определения, получаемые из двух пар условий и совпадающие для функций одной переменной. Рассмотрим компоненту вариации Определим следующие условия:
(А) Для любого непустого = {j1,..., jp } {1,..., m} и для любого jk выполнено (Б) Для любого непустого = {j1,..., jp } {1,..., m} выполнено (1) Стремление к нулю в (А), (Б) равномерно по x (при непустом ).
(2) Стремление к нулю в (А), (Б) происходит для каждого x (при непустом ).
В определении 10 нами была взята пара условий (A1).
Теорема 2.3. Для любого натурального m и любых 1,..., m L0 определения (A1), (A2) и (Б1) эквивалентны.
Рассмотрим также более широкий (возможно, формально) класс:
Определение 15. Скажем, что функция f, принадлежащая классу (1,..., m )BV () слабо непрерывна по -вариации (обозначение: f C w (1,..., m )V () ), если для неё выполнена пара условий (Б2).
Конструкция диагональных функций (§1.2) позволяет установить следующее утверждение.
Теорема 2.4. Пусть m 3, промежуток в Rm, а последовательности 1,..., m L таковы, что для некоторого p {1,..., m} выполнено условие Тогда в классе функций ограниченной (1,..., m ) -вариации найдется непрерывная функция, которая не принадлежит классу непрерывных по (1,..., m ) -вариации функций. Если к тому же 1 L0, то в классе слабо непрерывных по (1,..., m ) -вариации функций найдется непрерывная функция, которая не принадлежит классу непрерывных по (1,..., m ) -вариации функций.
При m = 2 пары последовательностей (1, 2 ) с указанными в теореме свойствами не существует, так как условие (2) при m = противоречит определению класса L.
В свою очередь, конструкции, построенные в §1.3, позволяют построить другие примеры несовпадения классов.
вательности 1,..., m L таковы, что для каждого k {1,..., m} выполнено условие при некотором dk (0, 1), причем m dk m 1. Тогда класс слаk= бо непрерывных по (1,..., m ) -вариации функций строго уже, чем весь класс функций ограниченной (1,..., m ) -вариации, причем существует непрерывная функция, принадлежащая последнему классу и не принадлежащая первому.
последовательности j L0, причем существуют такие d (0, 1) и Тогда в классе (1,..., m )BV () найдется непрерывная функция, не попадающая в класс C(1,..., m )V (), но слабо непрерывная по (1,..., m ) -вариации.
Затем результаты этого параграфа иллюстрируются на примере последовательностей вида j = {nbj }.
Следствие 2.1. Если m 2, Следствие 2.2. Если m 2, числа bj (0, 1), j = 1,..., m, где либо не все bj одинаковы, либо В частности, если не все bj одинаковы и их сумма не больше (m 1), то все три класса попарно различны. Также они различны, если Следствие 2.3. Если m 2, числа bj [0, 1], j = 1,..., m, то равенство выполнено тогда и только тогда, когда m = 2 и b1 = b2 > 1.
В §2.3 рассматривается проблема локального поведения вариации.
Пусть (0, )m, а {1, 1}m. Будем обозначать через (x, x + ) промежуток I = (x, x ) при = 1. Через (x, x + ) обозначим проm межуток определенности, = max | j |.
Как хорошо известно, для функции ограниченной вариации на отрезке справедливо следующее свойство: если в точке x0 функция непрерывна справа, то ее вариация по отрезку [x0, x0 + h] стремится к нулю при h +0. Используя введенные выше определения, его можно переформулировать следующим образом: для функции ограниченной вариации ее вариация по промежутку (x0, x0 + h] стремится к нулю при h +0. В цитированных выше работах Д. Ватермана, А. А. Саакяна и А. И. Саблина при получении результатов о сходимости рядов Фурье доказывались аналогичные свойства для некоторых классов ограниченной -вариации.
Автором [1, теорема 4] было впервые показано, что для некоторых классов Ватермана локальное стремление вариации к нулю в окрестности точки непрерывности может не иметь места (см. ниже следствие 2.4). В той же работе было впервые отмечено, что для таких случаев локальное стремление вариации к нулю тем не менее можно гарантировать, если функция попадает в некоторый более узкий класс Ватермана. Общее решение этой проблемы дают наши теоремы 2.8 и 2.9.
Но вначале мы выделяем следующий частный результат, который был получен раньше ([1, теорема 2]) и доказывается короче и нагляднее.
и пусть f C(1,..., m )V (). Тогда для любой регулярной точки x и для любого {1, 1}m справедливо Если к тому же f (x) непрерывна в окрестности компакта K, то равномерно по x на K.
В следующей общей теореме, если при каждом p выполнено (3), то в силу теоремы 2.2 получается то же утверждение, что и выше в теореме 2.7.
Теорема 2.8. Пусть m 2, последовательности p L и M p L, p = 1,..., m, таковы, что для каждого p выполнено либо условие либо пара условий Тогда для любого промежутка Rm, для произвольной функции f из класса (M 1,..., M m )BV (), любой ее регулярной точки x и для каждого {1, 1}m выполнено условие Если к тому же f непрерывна в окрестности компакта K, то равномерно по x K.
Теорема 2.9. Пусть последовательности p L и M p L, p = 1,..., m, таковы, что для некоторого p нарушены условия (3) и (4). Тогда найдется непрерывная функция f, принадлежащая классу (M 1,..., M m )BV ([1, 1]m ), для которой Отметим также непосредственно вытекающее из теорем 2.8 и 2. Следствие 2.4. Пусть последовательности 1,..., m L таковы, что для каждого p {1,..., m} выполнено условие Тогда для любого промежутка Rm, для произвольной функции f из класса (1,..., m )BV (), любой ее регулярной точки x и для каждого {1, 1}m выполнено условие Если к тому же f непрерывна в окрестности компакта K, то равномерно по x K. Если же для некоторого p условие (5) нарушено, то существует непрерывная функция f (1,..., m )BV (), для которой Второе из трех утверждений этого следствия ранее было получено Саблиным.
Заключительный §2.4 этой главы посвящен классам ограниченной неполной -вариации. Такие классы находят применение в задаче о локализации частичных сумм рядов Фурье, о чем будет сказано ниже при изложении результатов четвертой главы.
Первый тип таких классов был введен в работе Гоффмана и сноски 27 28 31 ). В этом определении налагаются условия на все компоненты вариации, кроме вариации по полному набору переменных.
Для удобства введем для числа k {1,..., m} обозначение для множества k = {1,..., m} \ {k}.
Определение 16. Пусть 1,..., m L, а m -мерный промежуток. Скажем, что f (1,..., m )BV (), если она интегрируема по Лебегу на, при каждом k = 1, 2,..., m функция конечна п.в. на k и существуют такие функции vk L(k ), что Мы выделим в классе (1,..., m )BV () следующий подкласс.
Определение 17. Скажем, что f (1,..., m )B0 V (), если она интегрируема по Лебегу на и при k = 1, 2,..., m выполнены условия т.е. полная вариация по (m 1) переменной равномерно ограничена как функция от оставшейся переменной.
Определение 18. Пусть заданы последовательности j L, j = 1,..., m. Скажем, что функция f принадлежит (1,..., m )BV (), если она измерима и конечны все величины Vj (f ; ), т.е. одномерные вариации по каждой переменной ограничены равномерно по всем значениям оставшихся (m 1) переменной.
Из определений сразу следует, что Мы сравниваем условия на полную вариацию функции с условиями на одномерные компоненты вариации, и в качестве следствия получаем сравнение условий на (m 1) -мерные компоненты вариации с условиями на одномерные компоненты вариации. Получены следующие результаты.
Тогда класс BV () не вкладывается в класс HBV ().
для любого промежутка Rm класс BV () вложен в класс HBV ().
В случае m = 2 эти теоремы являются частным случаем результатов Гогинавы и Саакяна35.
a > m2, то для любого промежутка Rm класс BV () вложен в класс H B0 V (). Если же выполнено неравенство 1 a < m 2, то класс BV () не вложен в класс H BV ().
Случай a < 1 не рассматривается, т.к. последовательность {n } = { lna (n+1) } не попадает в класс L.
В главе 3 получены результаты о сходимости и расходимости рядов и интегралов Фурье для функций из классов ограниченной вариации. Напомним, что прямоугольной частичной суммой ряда Фурье называется где коэффициенты Фурье функции f. Если N1 = · · · = Nm = N, то такая частичная сумма называется кубической и обозначается SN (f, x). Ряд Фурье функции f называется сходящимся по прямоугольникам (по Goginava U., Sahakian A., On the convergence of double Fourier series of functions of bounded partial generalized variation. // East J. Approx. 2010. V.16. N2. P.109–121.
Прингсхейму) в точке x, если существует предел прямоугольных частичных сумм при независимом стремлении Nj к бесконечности. Ряд Фурье функции f называется сходящимся по кубам в точке x, если существует предел кубических частичных сумм при N.
В цитированных выше работах А. И. Саблина была получена Теорема J. Пусть f (x) HBV (Tm ) непрерывная 2 -периодическая по каждому аргументу функция, и равномерно по всем промежуткам I. Тогда ее ряд Фурье равномерно сходится к ней по Прингсхейму.
Если f (x) (1,..., m )BV (Tm ) непрерывная 2 -периодическая по каждому аргументу функция, причем q k и для любого p {1,..., m} справедливо условие то ее ряд Фурье равномерно сходится к ней по Прингсхейму.
Вопрос, можно ли в этой теореме отбросить условие (6) или хотя бы заменить его более слабым условием, послужил отправной точкой для результатов первых двух параграфов третьей главы.
В §3.1 находятся достаточные условия сходимости в регулярной точке, а для непрерывных функций и равномерной сходимости. Вначале доказывается теорема о сходимости интегралов Фурье. В одномерном случае из результатов Ватермана и принципа равносходимости36 следует, что если f HBV (R) L(R), то в каждой точке R интеграл Фурье f сходится в смысле главного значения к величине 2 (f (x + 0) + f (x 0)), и сходимость равномерна на любом отрезке, лежащем внутри интервала непрерывности функции, а для более широких классов это неверно. В многомерном случае свойство равносходимости, вообще говоря, не выполняется (см. в этой связи работу см., например, Зигмунд А., Тригонометрические ряды. Т.2. гл. 16, п.1; М., Мир, 1965.
И. Л. Блошанского37 ), более того, сходимость интеграла Фурье может существенно зависеть от поведения функции в окрестности бесконечности. Поэтому вопрос о представимости функции интегралом Фурье представляет самостоятельный интерес.
Введем обозначение преобразование Фурье функции f, а Aj (0, +). Наш где f () основной результат состоит в следующем.
Теорема 3.1. Пусть f L(Rm ) HBV (Rm ). Для заданных > и B > и точки x Rm положим Тогда в каждой регулярной точке x Rm функции f, для которой выполнены два условия:
(Б) найдутся 0 > 0 и B > 0, такие, что f CHV () для любого параллелепипеда E0,B (x) ;
имеет место равенство Здесь A + означает, что min Aj +, то есть сходимость понимается в смысле Прингсхейма.
На основе этой теоремы мы получаем теорему о рядах Фурье, которая обобщает первую часть теоремы J. Мы избавляемся от условия Блошанский И. Л., О равносходимости разложений в кратный тригонометрический ряд Фурье и интеграл Фурье. //Матем. заметки. 1975. Т.18. N2. С.153-168.
непрерывности, при этом, естественно, равномерная сходимость заменяется поточечной.
Теорема 3.3. Пусть f HBV (Tm ). Тогда в каждой регулярной точке x Tm функции f, для которой ее ряд Фурье сходится по Прингсхейму к величине f (x).
Затем мы применяем результаты §2.3, чтобы получить условия сходимости в терминах принадлежности функции более узкому классу.
Полученные условия являются обобщением второй части теоремы J.
Вместе с тем следует подчеркнуть их отличие. Саблин нашел условие на класс BV (Tm ), гарантирующее хорошее локальное поведение -вариации, из чего делался вывод о хорошем локальном поведении гармонической вариации. Следствие 2.4 показывает, что на этом пути усилить вторую часть теоремы J не получится.
Мы же приводим условия на класс BV (Tm ), гарантирующие хорошее локальное поведение гармонической вариации, и эти условия оказываются качественно слабее.
Прежде всего, комбинируя первую часть теоремы J и теорему 2.7, получаем такое утверждение.
Следствие 3.1. Пусть f (x) CHV (Tm ) непрерывная 2 периодическая по каждому аргументу функция. Тогда ее ряд Фурье равномерно сходится к ней по Прингсхейму на Tm.
В частности, рассмотрим классы BV (Tm ) для = {n }. Таn= кая последовательность удовлетворяет условию (6) при 0 < m1.
В то же время BV (Tm ) CHV (Tm ) для любого (0, 1) независимо от размерности по теореме 2.2. Таким образом, при m следствие 3.1 оказывается сильнее второй части теоремы J, и чем выше размерность, тем более существенным оказывается это усиление.
Аналогично из теоремы 3.3 и теоремы 2.7 вытекает Следствие 3.2. Пусть f CHV (Tm ). Тогда в каждой регулярной точке x Tm функции f ее ряд Фурье сходится по Прингсхейму к величине f (x).
Сходный результат получается и для интегралов Фурье.
Следствие 3.3. Пусть f L(Rm ) CHV (Rm ). Тогда в каждой регулярной точке x Rm функции f имеет место равенство Отметим также, что для размерности m = 2 упоминавшиеся выше результаты Драгошанского позволяет формально ослабить условия в следствии 3.3.
Следствие 3.5. Пусть f L(R2 ) HBV (R2 ). Тогда в каждой регулярной точке x R2 функции f имеет место равенство Более точные условия для рядов получаются, если вместо теоремы 2.7 применить теорему 2.8.
Теорема 3.4. Пусть m 1,..., m, таковы, что для каждого p выполнено либо условие либо пара условий Тогда для произвольной функции f из класса (1,..., m )BV (Tm ) и любой ее регулярной точки x ряд Фурье функции f сходится по Прингсхейму в точке x к величине f (x). Если к тому же f непрерывна, то ее ряд Фурье сходится по Прингсхейму равномерно.
§3.2 посвящен построению примеров функций из классов ограниченной гармонической вариации с расходящимся в точке рядом или интегралом Фурье. Эти теоремы показывают существенность условий на локальное поведение вариации и на класс в результатах §3.1.
Теорема 3.5. Пусть m таковы, что Тогда в классе (1,..., m )BV (Tm ) существует непрерывная функция, ряд Фурье которой расходится по кубам в точке 0 = (0,..., 0).
В частности, условия этой теоремы выполнены, если m 3и j = H при всех j. Таким образом, для размерности m 3 нельзя заменить в следствии 3.2 класс CHV (Tm ) классом HBV (Tm ).
Теорема 3.5 показывает окончательность условий на класс в теореме 3.4. Действительно, если хотя бы для одного p нарушено первое из условий (8), то найдется функция из одномерного класса p BV (T), ряд Фурье которой расходится в точке. Если же первое из условий (8) выполнено при всех p, но хотя бы при одном p нарушено как условие (7), так и второе из условий (8), то применима теорема 3.5.
Аналогичный пример строится и для интегралов Фурье.
Теорема 3.6. Пусть m таковы, что Тогда в классе (1,..., m )BV (Rm ) существует непрерывная функция f (x) L(Rm ), тождественно равная нулю вне (, )m, такая, что величины SA (f, 0) расходятся даже в смысле сходимости по кубам.
Но для интегралов строится и пример другого рода.
Теорема 3.7. Пусть m 3, а последовательности 2,..., m L удовлетворяют второму из условий (9). Тогда существует непрерывная функция f (x) из класса (H, 2,..., m )BV (Rm ) L(Rm ), тождественно равная нулю на (, )m, такая, что величины SA (f, 0) расходятся даже в смысле сходимости по кубам.
полняется свойство локализации для кратных интегралов Фурье, в то время как в классе HBV (Tm ) свойство локализации для рядов Фурье выполнено по теореме 3.3. При m = 2 свойство локализации для кратных интегралов Фурье выполнено в силу следствия 3.5.
Отметим также, что построенные в теоремах 3.5 3.7 функции контрпримеры слабо непрерывны по гармонической вариации, то есть среди разных обобщений понятия непрерывности по вариации именно введенное и рассмотренное нами в качестве основного определение непрерывности по -вариации оказывается полезным для изучения сходимости рядов Фурье.
Для наглядности посмотрим теперь, что дают результаты первых двух параграфов главы 3 для некоторых простых примеров последовательностей. Определим, гарантирует ли принадлежность измеримой 2 -периодической функции классу (1,..., m )BV (Tm ) сходимость её тригонометрического ряда Фурье по прямоугольникам в каждой регулярной точке.
Пусть вначале j = {nbj }, где bj [0, 1], j = 1,..., m. Здесь выделяется ряд подслучаев в зависимости от того, при скольких j {1,..., m} выполнено условие bj = 1, т.е. j = H.
• Если bj < 1 при каждом j, то соответствующий класс по теореме 2.2 вложен в класс функций, непрерывных по гармонической вариации, и по следствию 3.1 сходимость гарантируется.
• Если найдутся три различных j, при которых bj = 1, то такой класс будет удовлетворять условиям теоремы 3.5, и в нем существует непрерывная функция с расходящимся в точке рядом • Если bj < 1 при всех j, кроме одного, например, кроме j = 1, то результат будет зависеть от величины S = m bj. Если S 1, то мы оказываемся в условиях теоремы 3.4, и сходимость гарантируется, а если S > 1 в условиях теоремы 3.5, и существует пример расходимости.
• Если bj = 1 при двух j, то гарантировать сходимость можно лишь в том случае, когда bj = 0 при остальных j.
Для варианта, когда среди j есть две последовательности H, интересен также пример, когда остальные последовательности растут логарифмически.
• Пусть для определенности 1 = 2 = H, j = {lndj (n + 1)} 3.4, и сходимость гарантируется, а если S > 1 в условиях теоремы 3.5, и существует пример расходимости.
В заключительном параграфе третьей главы (§3.3) изучается поведение коэффициентов Фурье функций из многомерных классов Ватермана. В одномерном случае Шрамм и Ватерман38 получили следующий результат.
Теорема. Для функции f из класса BV (T) при n справедлива оценка Позднее Саблин показал, что для функции f из класса CV (T) справедлива оценка |cn (f )| = o(1/(n)) при n.
В многомерном случае, мы вначале доказываем оценки сверху.
Теорема 3.8. Пусть 1,... m L. Для любой функции f из класса (1,..., m )BV (Tm ) ее тригонометрические коэффициенты Фурье при nj = 0 удовлетворяют оценке Следствие 3.6. Пусть 1,... m L, дана функция f из класса (1,..., m )BV (Tm ), множество {1,..., m} разбито на две непустые Schramm M., Waterman D., On the magnitude of Fourier coecients // Proc. Amer. Math. Soc.
1982. V.85. N3. P.407–410.
части и. Если номер n таков, что nj = 0 тогда и только тогда, когда j, то тригонометрические коэффициенты Фурье функции f удовлетворяют оценке Следствие 3.7. Пусть 1,... m L, M 1 L, и пусть функция f принадлежит классу (M 1, 2,..., m )BV (Tm ), где Тогда ее тригонометрические коэффициенты Фурье при minj |nj | удовлетворяют оценке В частности, если f C(1,..., m )V (Tm ), то для её коэффициентов Фурье выполнено условие (11).
где последовательность 1 такова, что 1 BV (T) = C1 V (T). Тогда для любых фиксированных n2,..., nm = 0 справедлива оценка Замечание: Оценки, аналогичные установленым выше, верны, очевидно, также для коэффициентов Фурье по системе произведений синусов и косинусов.
Затем в некоторых случаях несовпадения классов устанавливаются оценки снизу и показывается, что для всего большего класса нельзя поставить “ o ” вместо “ O ”. Точнее имеет место Теорема 3.10. Пусть m 2 и заданы неограниченные последовательности j L, j = 1,..., m, причем при каждом j выполнено условие Тогда в классе (,..., )BV (T ) найдется непрерывная функция, синус-коэффициенты Фурье которой удовлетворяют условию Интересно сопоставить этот пример с теоремой 3.9. В частности, условиям и теоремы 3.10, и теоремы 3.9, т.е. в оценке (10) можно поставить “ o ” вместо “ O ”, когда мы увеличиваем только один индекс, и нельзя этого сделать, если мы увеличиваем сразу все индексы.
В главе 4 рассматриваются вопросы локализации прямоугольных частичных сумм.
Первый результат о локализации в терминах неполной гармонической вариации был получен Гофманом и Ватерманом (см. сноску 31 ).
Теорема. Пусть функция f L(T2 ) равна нулю в окрестности нуля (, )2, и f H BV (T2 ).
Тогда двойной тригонометрический ряд Фурье функции f равномерно сходится к нулю по прямоугольникам на любом компакте K (, )2. Для любого более широкого класса BV (T2 ) утверждение перестаёт быть верным.
Саблин распространил эту теорему на случай m 3, но лишь для непрерывных функций, а при m 4 еще и наложив дополнительное условие на локальное поведение вариации.
В §4.1 нами изучена существенность условия на локальное поведение вариации в этом результате. Установлено, что, как и для случая сходимости, его можно заменить условием принадлежности более узкому классу, но нельзя отбросить.
Теорема 4.1. Пусть 1,... m L, и пусть непрерывная функция f равна нулю на открытом множестве G Tm и принадлежит классу (1,..., m )BV (Tm ), где H(n)/j (n) 0 при n для каждого j = 1,..., m. Тогда кратный тригонометрический ряд Фурье этой функции равномерно сходится к нулю по прямоугольникам на любом замкнутом множестве K G.
Теорема 4.2. Существует непрерывная на T4 функция F, равная нулю при |x1 | < /2, для которой при k = 1, 2, 3, 4, но ее 4-кратный тригонометрический ряд Фурье не сходится к нулю по кубам в точке 0.
Для разрывных функций трех и более переменных результатов о локализации в терминах неполных -вариаций известно не было. В §4.2 мы показываем, что непрерывность можно заменить подходящими условиями на регулярность точек. Эти условия относятся только к поведению функции в точках, у которых хотя бы одна координата совпадает с точкой, в которой рассматривается локализация. Таким образом, они существенно слабее, чем непрерывность функции всюду.
Теорема 4.3. Пусть функция f равна нулю в окрестности точки x0 Tm и принадлежит классу H BV (Tm ), причем для любого разбиения множества {1,..., m} на два непустых множества и выполнены следующие условия:
1. для любых значений x точка x является регулярной точкой 2. в каждой такой точке (x, x ) Тогда кратный тригонометрический ряд Фурье этой функции сходится к нулю по прямоугольникам в точке x0.
Замечание. Для m = 3 условие (12) следует из остальных условий теоремы. Для m 4 условие (12) нельзя отбросить, как видно из сравнения теоремы 4.3 с теоремой 4.2.
С другой стороны, в §4.3 мы показываем, что при m 3 от указанных выше условий на регулярность отказатьcя нельзя.
Теорема 4.4. Пусть последовательности 1 и 2 из L удовлетвоn=1 1 2 <, а ность из L. Тогда существует функция F на T3, равная нулю при |x3 | < /2 и принадлежащая классу (1, 2, 3 )BV (T3 ), 3-кратный тригонометрический ряд Фурье которой не сходится к нулю по прямоугольникам в точке 0.
Затем в §4.4 мы рассматриваем классы функций, для которых ограничения наложены лишь на одномерные компоненты -вариации.
Оказывается, что и в терминах таких классов можно установить условия локализации, причем не требующие регулярности точек, если ограничиться не слишком вытянутыми прямоугольными суммами.
Определение 19. Пусть d 1. Скажем, что m -кратный ряд сходится d -квазирегулярно к числу S, если существуют такие постоянные Cj, l 1, l = j, что все прямоугольные частичные суммы с номерами n, удовлетворяющие оценкам сходятся к S при увеличении minj nj.
В частности, при d = 1 и = maxj,l Cj,l получаем известное определение -регулярной сходимости, или -сходимости.
Теорема 4.5. Пусть m 2 и заданы последовательности k L, k = 1,..., m, причем при каждом k выполнено условие Пусть функция f равна нулю на открытом множестве G Tm и принадлежит классу (1,..., m )BV (Tm ). Тогда для любого d кратный тригонометрический ряд Фурье этой функции равномерно d -квазирегулярно сходится к нулю на любом замкнутом множестве Границы возможного усиления этой теоремы дает Теорема 4.6. Пусть m 2, а последовательность L такова, что Тогда существует непрерывная функция f из класса BV (Tm ), которая равна нулю на [1, 1]m, но кубические частичные суммы ее ряда Фурье в точке 0 не сходятся к нулю.
В частности, из этих теорем вытекает го a 1. Пусть a > m 2, функция f равна нулю на открытом множестве G Tm и принадлежит классу BV (Tm ). Тогда для любого d 1 кратный тригонометрический ряд Фурье этой функции равномерно d -квазирегулярно сходится к нулю на любом замкнутом множестве K G. Если же 1 a < m2, то существует непрерывная функция f из класса BV (Tm ), которая равна нулю на [1, 1]m, но кубические частичные суммы ее ряда Фурье в точке 0 не сходятся к нулю.
Отметим также, что теоремы вложения, полученные в §2.4, показывают некоторую согласованность следствия 4.2 с результатами из §§4.1, 4.2 о локализации в терминах (m 1) -мерных вариаций.
А именно, в силу следствия 2.6 класс BV (Tm ) с последовательноn стью = { ln(n+1)a } вкладывается при a > m2 в класс H B0 V (Tm ), а при 1 a < m2 вложение даже в более широкий класс HB0 V (Tm ) уже не имеет места.
В главе 5 изучается суммируемость рядов Фурье функций ограниченной -вариации методами Чезаро отрицательного порядка. Напомним соответствующие определения. Для заданного > 1 числа A определяются из формулы Пусть задан вектор = (1,..., m ), где j > 1. Тогда прямоугольными средними Чезаро ряда Фурье порядка называются величины где Sk (f, x) прямоугольные суммы ряда Фурье. Мы рассматриваем сходимость таких средних в смысле Прингсхейма, т.е. при независимом стремлении nj к бесконечности. Ряд называется ( C, ) ограниченным, если его чезаровские средние указанного порядка ограничены.
В одномерном случае эта задача была впервые рассмотрена Ватерманом (см. сноску 25 ), который установил такой результат.
Теорема. Пусть (1, 0). Тогда для любой функции f из класса {n+1 }BV (T) ее ряд Фурье всюду (C, ) -ограничен, и равномерно (C, ) -ограничен внутри каждого интервала непрерывности. Если к тому же f непрерывна по {n+1 } -вариации, то ее ряд Фурье всюду (C, ) -суммируется к среднему арифметическому пределов слева и справа, и сходимость средних равномерна внутри каждого интервала непрерывности.
Было также показано, что класс {n+1 }BV (T) нельзя заменить на более широкий. Саблин в качестве следствия своего упоминавшегося выше результата о совпадении классов показал, что во втором утверждении дополнительное условие непрерывности по {n+1 } -вариации можно отбросить.
Основной результат §5.1 заключается в следующем.
Теорема 5.1. Пусть j (1, 0) и j = j + 1, j = 1,..., m. Тогда для любой функции f из класса ({n1 },..., {nm })BV (Tm ) ее ряд Фурье равномерно (C, ) -ограничен. Если к тому же f непрерывна по ({n1 },..., {nm }) -вариации, то ее ряд Фурье (C, ) -суммируется к f (x0 ) в каждой регулярной точке x0, и суммируемость равномерна на любом компакте, в окрестности которого функция непрерывна.
Напомним, что для m = 2 также известны случаи, в которых совпадают классы ({n1 }, {n2 })BV (T2 ) и C({n1 }, {n2 })V (T2 ). А именно, согласно упомянутому выше результату Драгошанского, совпадение имеет место при 1 = 2 > 2. В этих случаях условие непрерывности по вариации оказывается несущественным.
В §5.2 показывается, что для размерности m 3, а при некоторых j и для размерности m = 2, условие непрерывности по вариации оказывается существенным для суммируемости и (в отличие от теоремы 3.3 о сходимости) даже для локализации средних. Точнее, имеют место следующие теоремы, первая из которых опирается на конструкцию из §1.2, а вторая и третья на конструкции из §1.3.
Теорема 5.2. Пусть m 3, а числа j (1, 0) и j = j + 1, j = 1,..., m таковы, что при некотором p {1,..., m} выполнено условие Тогда в классе ({n1 },..., {nm })BV (Tm ) найдется непрерывная функция f, равная тождественно нулю на [1, 1]m, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.
Теорема 5.3. Пусть m 2, а числа j (1, 0) и j = j + 1, рывная функция f из класса ({n },..., {nm })BV (Tm ), равная тождественно нулю на Tm \ (1, )m, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.
Теорема 5.4. Пусть j (1, 0) и j = j + 1, j = 1, 2, причем 1 = 2. Тогда существует непрерывная функция f из класса ({n1 }, {n2 })BV (T2 ), равная тождественно нулю на [1, 1]2, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.
Из этих теорем вытекает Следствие 5.2. Пусть m 1,..., m, причем эти числа таковы, что (см. выше следствие 2.3). Тогда в классе ({n1 },..., {nm })BV (Tm ) найдется непрерывная функция, равная нулю всюду на [1, 1]m, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.
Автор выражает искреннюю благодарность всем руководителям и участникам семинаров по теории функций действительного переменного и по теории ортогональных и тригонометрических рядов на механико-математическом факультете МГУ имени М. В. Ломоносова за внимание к результатам диссертации, за конструктивные обсуждения рассматриваемого круга задач.
В особенности автор благодарен профессору М. И. Дьяченко и профессору М. К. Потапову за поддержку при работе, а также за советы и предложения, которые помогли значительно улучшить изложение материала в диссертации.
Список основных работ автора по теме диссертации [1] А. Н. Бахвалов. Непрерывность по -вариации функций многих переменных и сходимость кратных рядов Фурье. // Матем. сборник. 2002. Т.193. N12. С.3–20.
[2] А. Н. Бахвалов. Представление непериодических функций ограниченной -вариации интегралом Фурье в многомерном случае.
// Известия РАН, Сер. матем. 2003. Т.67. N6. С.3–22.
[3] А. Н. Бахвалов. О локальном поведении многомерной -вариации. //Матем. сборник. 2010. Т.201. N11. С.3-18.
[4] А. Н. Бахвалов. Суммирование методами Чезаро рядов Фурье функций из многомерных классов Ватермана. //Доклады АН.
2011. Т.437. N6. C.731–733.
[5] А. Н. Бахвалов. О коэффициентах Фурье функций из многомерных классов ограниченной -вариации. //Вестник Моск. Ун-та, Сер.1. Математика. Механика. 2011. N1. С.10–18.
[6] А. Н. Бахвалов. О локальном поведении многомерной гармонической вариации. //Известия РАН, Сер. матем. 2006. Т.70. N4.
[7] А. Н. Бахвалов. О сходимости и локализации кратных рядов Фурье для классов функций ограниченной -вариации. //Вестник Моск. Ун-та, Сер.1. Математика. Механика. 2008. N3. С.6–12.
[8] А. Н. Бахвалов. Примеры расходящихся рядов Фурье для классов функций ограниченной -вариации. //Матем. заметки. 2009.
Т.86. N5. С.664-672.
[9] А. Н. Бахвалов. О локализации для кратных рядов Фурье функций ограниченной гармонической вариации. //Вестник Моск.
Ун-та, Сер.1. Математика. Механика. 2007. N1. С.13–18.
[10] А. Н. Бахвалов. О представлении непериодических функций ограниченной -вариации интегралом Фурье. // Вестн. Моск.
Ун-та, Сер. 1. Математика. Механика. 1998. N3. C. 6–12.
[11] А. Н. Бахвалов. О понятии непрерывности по -вариации функций многих переменных.// Вестн. Моск. Ун-та, Сер. 1. Математика. Механика. 2003. N2. C.47–50.
[12] А. Н. Бахвалов. О локализации кратных рядов Фурье для функций ограниченной неполной -вариации. //Современные проблемы математики и механики. Т.6. Математика. Выпуск 1. К 105-летию С. М. Никольского. М., изд-во Моск. ун-та. 2011. С.27Статьи [1]–[11] опубликованы в изданиях, входящих в список ВАК.