WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Московский государственный университет имени М.В. Ломоносова Механико-математический факультет

На правах рукописи

УДК 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 поставили общую задачу описания класса UGW (T) функций, ряды Фурье которых сходятся равномерно после любого гомеоморфизма отрезка T, пробегаемого аргументом. В качестве одного из подходов к этой задаче Ватерман6 определил в одномерном случае классы BV (I) функций ограниченной Wiener N., The quadratic variation of a function and its Fourier coefficients, 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.

Goffman 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) = UGW (T) был несколько позднее решен отрицательно А. А. Саакяном7. Обзор результатов, относящихся к поведению рядов Фурье при гомеоморфных заменах переменной, можно найти, в частности, в монографии Гоффмана, Нишиуры и Ватермана8.

Другие классы функций, инвариантные относительно гомеоморфизма отрезка, в одномерном случае рассматривали, в частности, Е. А. Севастьянов9 (классы функций с заданным порядком кусочномонотонных аппроксимаций), З. А. Чантурия10 (классы функций с заданным модулем изменения). Затем Е. И. Бережной11 12 предложил более общий подход, опирающийся на понятие симметричного пространства последовательностей, и показал, что теорема Ватермана является в смысле этого подхода самым сильным из возможных признаков равномерной сходимости.

В двумерном случае Г. Харди13 определил класс BV (T2) и доказал сходимость по Прингсхейму ряда Фурье функции из этого класса в каждой точке. Затем его результат был обобщен14 на многомерный случай. Для функций двух переменных рассматривались также другие классы ограниченной обобщенной вариации, в частности, -вариация Саакян А. А., О функциях ограниченной -вариации // Докл. АН Арм. ССР. 1985. Т.81.

N2. С.54–58.

Goffman 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=(n)то в классе содержатся всюду разрывные и даже неизмеримые функции. Невыполнение свойства регулярности всех точек для функций из классов Ватермана имеет и положительную сторону: благодаря этому эти классы могут оказаться шире других классов ограниченной обобщенной вариации, для которых указанное свойство выполнено.

Для классов Ватермана изучались другие виды сходимости рядов Фурье: сходимость сферических сумм в работах М. И. Дьяченко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 утверждалось без доказательства, что результат Саакяна из цитированной выше статьи верен для функций трех и более переменных. Однако, как следует из результатов третьей главы нашей диссертации, такое утверждение оказалось ошибочным.

Цель работы.

Диссертация посвящена изучению свойств многомерных классов Ватермана. Рассматриваются как свойства, связанные с их внутренней структурой, так и применение этих классов к вопросам сходимости кратных рядов и интегралов Фурье. Особое внимание при этом уделяется тем результатам, которые в многомерном случае качественно отличаются от одномерного и двумерного случаев. Некоторые результаты являются новыми и для функций одной или двух переменных.

Goffman 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. Введено и изучено понятие непрерывности по -вариации в многомерном случае. В частности, задача о сравнении классов функций ограниченной -вариации с классами функций, непрерывных по -вариации, полностью решена для важного случая j j = {nb }.

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 невырожденных промежутков на прямой, т.е. параллелепипед ненулевого объема с ребрами, параллельными осям координат, который по каждой грани может быть как открытым, так и замкнутым. При этом m будут использоваться обозначения I = I1 · · · Im или I = Ik.

k=Для промежутка на прямой через () обозначим множество всех конечных систем попарно непересекающихся интервалов {In}N таn=ких, что In . Чтобы не загромождать обозначения, мы будем запиk k сывать такие системы просто как {In}, а запись {In} или {In } будет k k означать систему вида {In}N, выбранную на k -м ребре m -мерного n=промежутка.

Для промежутка Rm через обозначим его внутренность.

Рассмотрим функцию f на Rm, точку x Rm и операторы взятия разностей x,s,j(f) = f(x + sej) - f(x), j = 1,..., m, где ej единичный вектор j -й оси. Пусть Ik = (ak, bk).

Величина 1 m f(I) = a,b -a1,1 · · · a,b -am,m(f) называется смешанным приращением (симметрической разностью) m функции f на I = Ik. Хорошо известно, что операторы x,s,j(f) k=при разных j коммутируют друг с другом, поэтому смешанное приращение симметрично относительно перестановок переменных.

Пусть множество {1,..., m} разбито на два непересекающихся множества и , состоящих из p и m - p элементов соответственно.

Если x = (x1,..., xm), то x элемент Rp, состоящий из компонент m xj, j . Для промежутка I = Ij обозначим I = Ij.

j=1 j Через f(I, x) обозначим смешанное приращение f как функции аргументов xj, j , на I при фиксированных значениях xk, k , то есть, если = {j1,..., jp}, то j1 jp f(I, a) = f(a, I) = a,b -aj1,j1 · · · a,b -ajp,jp(f).

Определение 6. Неубывающая последовательность положительных чисел = {n} задает класс функций ограниченной n= вариации (класс Ватермана), если = .

n n=Далее будем рассматривать только такие . Множество последовательностей, удовлетворяющих перечисленным условиям, будем обозначать через L, а подмножество последовательностей из L, которые к тому же неограниченно растут, через L0. Для последовательности L введем обозначение n (n) =.

k k=и определим последовательности n = {n+k}. Положим также k=H = {n}. Ясно, что H L.

n=Определение 7. Пусть 1,..., m последовательности из L.

(1,..., m) -вариацией функции f(x1,..., xm) относительно переменных (по переменным) x1,..., xm по промежутку (возможно, бесконечному) = 1 · · · m называется величина 1 m |f(Ik · · · Ik )| x1,...,xm 1 m V,...,m(f; ) = sup.

j 1... m {{Ikj }}m k1 km j=1 k1,...,km j {Ikj }(j), j=1,...,m Пусть непустое множество {1,..., m} состоит из элементов j1 < · · · < jp и = {1,..., m} \ . Через x x x V (f; , x) = V (f; x, ) = V,...,jp(f; , x) j1 p обозначим (j,..., j ) -вариацию f как функции переменных x = 1 p (xj,..., xj ) по всем этим переменным, взятую по p -мерному проме1 p жутку = j · · ·j при фиксированных значениях x остальных переменных (если не пусто).

1 p Далее, (j,..., j ) -вариацией функции f(x1,..., xm) относительно переменных x по промежутку = 1 · · · m называется величина x x x V (f; ) = V,...,jp(f; ) = sup V,...,jp(f; , x).

j1 jx Определение 8. Величина x V,...,m(f; ) = V (f; ) {1,...,m} = называется (полной) (1,..., m) -вариацией функции f(x1,..., xm) по промежутку = 1 · · · m. Множество функций, для которых она конечна, называется классом ограниченной (1,..., m) -вариации на и обозначается через (1,..., m)BV (). Если все последовательности j совпадают и равны , то класс будем называть x изотропным и для краткости будем записывать V, V и BV () соответственно. Если же хотя бы две из последовательностей j различны, то класс будем называть анизотропным. Величину VH называют гармонической вариацией. Через V(f; , x) или V(f; x, ) 1 p обозначим полную (j,..., j ) -вариацию f как функции перемен1 p 1 p ных xj,..., xj по p -мерному промежутку = j · · · j при фиксированных значениях x остальных переменных.

Определение 10. Функция f (1,..., m)BV () называется непрерывной по (1,..., m) -вариации, если для любого непустого множества = {j1,..., jp} {1,..., m} и для любого jk выполнено x lim V,...,jk-1,nk,jk+1,...,jp(f; ) = 0.

j jn Множество таких функций обозначим через C(1,..., m)V ().

Далее во введении формулируются основные результаты диссертации. Перейдем к их изложению.

Глава 1 посвящена примерам (семействам примеров) функций, попадающих в заданный класс ограниченной -вариации и не попадающих в более узкие. Поскольку не известны эффективные методы вычисления -вариации даже для гладких функций, построение таких примеров оказывается достаточно сложной задачей.

В §1.1 собраны для удобства ссылок элементарные свойства классов ограниченной -вариации.

В §1.2 приводится разработанная автором конструкция функций специального вида, названных диагональными.

Пусть m 3 и взят m -мерный промежуток . Рассмотрим систему вложенных в 1 интервалов {Dj }, объединение которых не j=равно всему 1, и системы попарно непересекающихся интервалов q q {Dj}, q = 2,..., m, где Dj = (aq, bq) q. Пусть также выбраны j=1 j j q точки cq Dj, q = 2,..., m.

j Возьмем любые функции fj(x) на 1, удовлетворяющие условиям fj(t) = 0 при t a1 и fj(t) = 0 при t b1, а также такие произj j вольные функции hq(t) для q = 2,..., m, равные нулю при t aq j j и t bq, что hq(cj) = 1 для всех j или hq(cj) = -1 для всех j j j j (при данном q ), и функции hq(t) монотонны (возможно, не строго) j на [aq, cq] и на [cq, bq].

j j j j Назовем диагональной функцию на , имеющую вид m f(x) = fj(x1) hq(xq). (1) j j=1 q=Ясно, что носитель этой функции содержится в объединении замыка1 m ний попарно непересекающихся промежутков Dj · · · Dj.

Нами доказывается принадлежность этих функций соответствующим классам Ватермана.

Теорема 1.2. Пусть m 3 и заданы последовательности p L, p = 1,..., m, причем < .

2... m k k k=Тогда следующие условия эквивалентны:

(а) Диагональная функция f(x), определенная формулой (1), принадлежит классу (1,..., m)BV ().

(б) При всех натуральных j выполнено fj 1BV (1), и величины V (fj; 1) ограничены в совокупности некоторым числом C0.

При этом выполняется оценка x V,...,m(f; ) C0 · C(m) ·.

2... m k k k=Конструкция диагональных функций применяется, в частности, для построения примеров расходящихся рядов и интегралов Фурье.

В §1.3 строятся еще две общие конструкции и соответствующие им классы примеров функций. Эти конструкции используют некоторые идеи, применявшиеся О. С. Драгошанским в его цитированной выше работе для двумерного изотропного случая.

Глава 2 посвящена изучению внутренних свойств классов.

В §2.1 рассматривается вопрос о вложении классов Ватермана друг в друга. Получено такое утверждение, включающее в качестве частного случая одномерный результат Перлмана и Ватермана34:

Теорема 2.1. Пусть заданы последовательности j L и Mj L, j = 1,..., m. Класс функций (M1,... Mm)BV () вложен в класс функций (1,..., m)BV () тогда и только тогда, когда при каждом p = 1,..., m найдется такое число Cp, что при всех натуральных N выполнено неравенство N N 1 p(N) = CpMp(N) = Cp.

p µp n n k=1 k= При этом, если Cp = max{Cp, 1}, то выполняется оценка 1 V,...,m(f; ) C1... CmVM,...,Mm(f; ).

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) Объединение классов (M1,..., Mm)BV () по всем таким поµj n следовательностям Mj = {µj } L, что 0 при n .

n j n (ii) Объединение классов (M1,..., Mm)BV () по всем таким поj(n) следовательностям Mj = {µj } L, что 0 при n .

n Mj(n) Если все j совпадают, то к тому же CV () = MBV ().

µn ML : n В §2.2 подробно изучается понятие непрерывности по -вариации.

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

Здесь естественно взять четыре определения, получаемые из двух пар условий и совпадающие для функций одной переменной. Рассмотрим компоненту вариации x x V,...,jp(f; ) = sup V,...,jp(f; , x).

j1 jx Определим следующие условия:

(А) Для любого непустого = {j1,..., jp} {1,..., m} и для любого jk выполнено x lim V,...,jk-1,nk,jk+1,...,jp(f; , x) = 0.

j jn (Б) Для любого непустого = {j1,..., jp} {1,..., m} выполнено x lim V,...,np(f; , x) = 0.

j1 j n n (1) Стремление к нулю в (А), (Б) равномерно по x (при непустом ).

(2) Стремление к нулю в (А), (Б) происходит для каждого x (при непустом ).

В определении 10 нами была взята пара условий (A1).

Теорема 2.3. Для любого натурального m и любых 1,..., m L0 определения (A1), (A2) и (Б1) эквивалентны.

Рассмотрим также более широкий (возможно, формально) класс:

Определение 15. Скажем, что функция f, принадлежащая классу (1,..., m)BV () слабо непрерывна по -вариации (обозначение: f Cw(1,..., m)V () ), если для неё выполнена пара условий (Б2).

Конструкция диагональных функций (§1.2) позволяет установить следующее утверждение.

Теорема 2.4. Пусть m 3, промежуток в Rm, а последовательности 1,..., m L таковы, что для некоторого p {1,..., m} выполнено условие m < . (2) q k k=1 q=q =p Тогда в классе функций ограниченной (1,..., m) -вариации найдется непрерывная функция, которая не принадлежит классу непрерывных по (1,..., m) -вариации функций. Если к тому же 1 L0, то в классе слабо непрерывных по (1,..., m) -вариации функций найдется непрерывная функция, которая не принадлежит классу непрерывных по (1,..., m) -вариации функций.

При m = 2 пары последовательностей (1, 2) с указанными в теореме свойствами не существует, так как условие (2) при m = противоречит определению класса L.

В свою очередь, конструкции, построенные в §1.3, позволяют построить другие примеры несовпадения классов.

Теорема 2.5. Пусть m 2, промежуток в Rm, а последовательности 1,..., m L таковы, что для каждого k {1,..., m} выполнено условие k 2n k lim 2d n k n m при некотором dk (0, 1), причем dk m - 1. Тогда класс слаk=бо непрерывных по (1,..., m) -вариации функций строго уже, чем весь класс функций ограниченной (1,..., m) -вариации, причем существует непрерывная функция, принадлежащая последнему классу и не принадлежащая первому.

Теорема 2.6. Пусть m 2, промежуток в Rm и заданы последовательности j L0, причем существуют такие d (0, 1) и j1, j2 {1,..., m}, j1 = j2, что 1/d j 2n lim 2d, < .

2 n j j n k k=Тогда в классе (1,..., m)BV () найдется непрерывная функция, не попадающая в класс C(1,..., m)V (), но слабо непрерывная по (1,..., m) -вариации.

Затем результаты этого параграфа иллюстрируются на примере j последовательностей вида j = {nb }.

n=Следствие 2.1. Если m 2, промежуток в Rm и выбраны m числа bj [0, 1), j = 1,..., m, где bj m - 1, то j=1 m 1 m ({nb },..., {nb })BV () = Cw({nb },..., {nb })V ().

Следствие 2.2. Если m 2, промежуток в Rm и выбраны числа bj (0, 1), j = 1,..., m, где либо не все bj одинаковы, либо b1 = · · · = bm = b >, то m-1 m 1 m C({nb },..., {nb })V () = Cw({nb },..., {nb })V ().

В частности, если не все bj одинаковы и их сумма не больше (m 1), то все три класса попарно различны. Также они различны, если 1 b1 = · · · = bm = b (m-1, 1 - ].

m Следствие 2.3. Если m 2, промежуток в Rm и выбраны числа bj [0, 1], j = 1,..., m, то равенство 1 m 1 m ({nb },..., {nb })BV () = C({nb },..., {nb })V () выполнено тогда и только тогда, когда m = 2 и b1 = b2 >.

В §2.3 рассматривается проблема локального поведения вариации.

Пусть (0, )m, а {-1, 1}m. Будем обозначать через m (x, x + ) промежуток Ij, где Ij = (xj, xj + j) при j = 1 и j=Ij = (xj - j, xj) при j = -1. Через (x - , x + ) обозначим проm межуток (xj - j, xj + j). В качестве нормы в Rm возьмем, для j=определенности, = max |j|.

Как хорошо известно, для функции ограниченной вариации на отрезке справедливо следующее свойство: если в точке x0 функция непрерывна справа, то ее вариация по отрезку [x0, x0 + h] стремится к нулю при h +0. Используя введенные выше определения, его можно переформулировать следующим образом: для функции ограниченной вариации ее вариация по промежутку (x0, x0 + h] стремится к нулю при h +0. В цитированных выше работах Д. Ватермана, А. А. Саакяна и А. И. Саблина при получении результатов о сходимости рядов Фурье доказывались аналогичные свойства для некоторых классов ограниченной -вариации.

Автором [1, теорема 4] было впервые показано, что для некоторых классов Ватермана локальное стремление вариации к нулю в окрестности точки непрерывности может не иметь места (см. ниже следствие 2.4). В той же работе было впервые отмечено, что для таких случаев локальное стремление вариации к нулю тем не менее можно гарантировать, если функция попадает в некоторый более узкий класс Ватермана. Общее решение этой проблемы дают наши теоремы 2.8 и 2.9.

Но вначале мы выделяем следующий частный результат, который был получен раньше ([1, теорема 2]) и доказывается короче и нагляднее.

Теорема 2.7. Пусть 1,..., m L, промежуток в Rm, и пусть f C(1,..., m)V (). Тогда для любой регулярной точки x и для любого {-1, 1}m справедливо lim V,...,m(f; (x, x + )) = 0.

+Если к тому же f(x) непрерывна в окрестности компакта K, то lim V,...,m(f; (x - , x + )) = +равномерно по x на K.

В следующей общей теореме, если при каждом p выполнено (3), то в силу теоремы 2.2 получается то же утверждение, что и выше в теореме 2.7.

Теорема 2.8. Пусть m 2, последовательности p L и Mp L, p = 1,..., m, таковы, что для каждого p выполнено либо условие p(n) lim = 0, (3) n Mp(n) либо пара условий m p(n) sup < , = . (4) Mp(n) µq nN k k=1 q=q =p Тогда для любого промежутка Rm, для произвольной функции f из класса (M1,..., Mm)BV (), любой ее регулярной точки x и для каждого {-1, 1}m выполнено условие lim V,...,m(f; (x, x + )) = 0.

+Если к тому же f непрерывна в окрестности компакта K, то lim V,...,m(f; (x - , x + )) = 0.

+равномерно по x K.

Теорема 2.9. Пусть последовательности p L и Mp L, p = 1,..., m, таковы, что для некоторого p нарушены условия (3) и (4). Тогда найдется непрерывная функция f, принадлежащая классу (M1,..., Mm)BV ([-1, 1]m), для которой lim V,...,m(f; (0, )m) > 0.

+Отметим также непосредственно вытекающее из теорем 2.8 и 2.Следствие 2.4. Пусть последовательности 1,..., m L таковы, что для каждого p {1,..., m} выполнено условие = . (5) k j j=1 k =p Тогда для любого промежутка Rm, для произвольной функции f из класса (1,..., m)BV (), любой ее регулярной точки x и для каждого {-1, 1}m выполнено условие lim V,...,m(f; (x, x + )) = 0.

+Если к тому же f непрерывна в окрестности компакта K, то lim V,...,m(f; (x - , x + )) = 0.

+равномерно по x K. Если же для некоторого p условие (5) нарушено, то существует непрерывная функция f (1,..., m)BV (), для которой lim V,...,m(f; (0, )m) 1.

+Второе из трех утверждений этого следствия ранее было получено Саблиным.

Заключительный §2.4 этой главы посвящен классам ограниченной неполной -вариации. Такие классы находят применение в задаче о локализации частичных сумм рядов Фурье, о чем будет сказано ниже при изложении результатов четвертой главы.

Первый тип таких классов был введен в работе Гоффмана и Ватермана ( m = 2 ), а позднее Саблина ( m 3 ) (см. выше 27 28 сноски ). В этом определении налагаются условия на все компоненты вариации, кроме вариации по полному набору переменных.

Для удобства введем для числа k {1,..., m} обозначение для множества k = {1,..., m} \ {k}.

Определение 16. Пусть 1,..., m L, а m -мерный про межуток. Скажем, что f (1,..., m)BV (), если она интегрируема по Лебегу на , при каждом k = 1, 2,..., m функция k(xk) = V (f; xk, k) = V1 (f; xk, k) k,...,k-1,k+1,...,m конечна п.в. на k и существуют такие функции vk L(k), что |k(xk)| vk(xk) п.в.

Мы выделим в классе (1,..., m)BV () следующий подкласс.

Определение 17. Скажем, что f (1,..., m)B0V (), если она интегрируема по Лебегу на и при k = 1, 2,..., m выполнены условия sup V (f; xk, k) < , k xkk т.е. полная вариация по (m - 1) переменной равномерно ограничена как функция от оставшейся переменной.

Определение 18. Пусть заданы последовательности j L, j = 1,..., m. Скажем, что функция f принадлежит (1,..., m)BV (), xj если она измерима и конечны все величины V (f; ), т.е. одномерj ные вариации по каждой переменной ограничены равномерно по всем значениям оставшихся (m - 1) переменной.

Из определений сразу следует, что (1,..., m)B0V () (1,..., m)BV (), (1,..., m)B0V () (1,..., m)BV (), (1,..., m)BV () (1,..., m)B0V ().

Мы сравниваем условия на полную вариацию функции с условиями на одномерные компоненты вариации, и в качестве следствия получаем сравнение условий на (m - 1) -мерные компоненты вариации с условиями на одномерные компоненты вариации. Получены следующие результаты.

n Теорема 2.10. Пусть m 2, a [-1, m - 1), и n =.

lna(n+1) Тогда класс BV () не вкладывается в класс HBV ().

n Теорема 2.11. Пусть m 2, a > m - 1 и n =. Тогда lna(n+1) для любого промежутка Rm класс BV () вложен в класс HBV ().

В случае m = 2 эти теоремы являются частным случаем результатов Гогинавы и Саакяна35.

n Следствие 2.6. Пусть m 3, a -1 и n =. Тогда, если lna(n+1) a > m-2, то для любого промежутка Rm класс BV () вложен в класс HB0V (). Если же выполнено неравенство -1 a < m - 2, то класс BV () не вложен в класс HBV ().

Случай a < -1 не рассматривается, т.к. последовательность n {n} = {ln (n+1)} не попадает в класс L.

a В главе 3 получены результаты о сходимости и расходимости рядов и интегралов Фурье для функций из классов ограниченной вариации. Напомним, что прямоугольной частичной суммой ряда Фурье называется N1 Nm SN(f, x) = SN,...,Nm(f, x) = · · · cnei n,x, n1=-N1 nm=-Nm где cn = cn(f) = cn,...,nm(f) = f(x)e-i n,x dx1... dxm – (2)m Tm коэффициенты Фурье функции 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 -периодическая по каждому аргументу функция, и lim VH(f; I) = diam Iравномерно по всем промежуткам I. Тогда ее ряд Фурье равномерно сходится к ней по Прингсхейму.

Если f(x) (1,..., m)BV (Tm) непрерывная 2 -периодическая по каждому аргументу функция, причем q k и для любого k p {1,..., m} справедливо условие m = , (6) q k k=1 q=q =p то ее ряд Фурье равномерно сходится к ней по Прингсхейму.

Вопрос, можно ли в этой теореме отбросить условие (6) или хотя бы заменить его более слабым условием, послужил отправной точкой для результатов первых двух параграфов третьей главы.

В §3.1 находятся достаточные условия сходимости в регулярной точке, а для непрерывных функций и равномерной сходимости. Вначале доказывается теорема о сходимости интегралов Фурье. В одномерном случае из результатов Ватермана и принципа равносходимости36 следует, что если f HBV (R) L(R), то в каждой точке R интеграл Фурье f сходится в смысле главного значения к величине (f(x + 0) + f(x - 0)), и сходимость равномерна на любом отрезке, лежащем внутри интервала непрерывности функции, а для более широких классов это неверно. В многомерном случае свойство равносходимости, вообще говоря, не выполняется (см. в этой связи работу см., например, Зигмунд А., Тригонометрические ряды. Т.2. гл. 16, п.1; М., Мир, 1965.

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

Введем обозначение A1 Am SA(f, x) =... f()ei ,x d, (2)m/-A1 -Am где f() преобразование Фурье функции f, а Aj (0, +). Наш основной результат состоит в следующем.

Теорема 3.1. Пусть f L(Rm) HBV (Rm). Для заданных > и B > и точки x Rm положим E,B(x) = {t Rm : j |xj - tj| , k |xk - tk| B}.

Тогда в каждой регулярной точке x Rm функции f, для которой выполнены два условия:

(А) lim VH(f; (x, x + )) = 0;

+{-1,1}m (Б) найдутся 0 > 0 и B > 0, такие, что f CHV () для любого параллелепипеда E,B(x) ;

имеет место равенство lim SA(f, x) = f(x).

A+ Здесь A + означает, что min Aj +, то есть сходимость j понимается в смысле Прингсхейма.

На основе этой теоремы мы получаем теорему о рядах Фурье, которая обобщает первую часть теоремы J. Мы избавляемся от условия Блошанский И. Л., О равносходимости разложений в кратный тригонометрический ряд Фурье и интеграл Фурье. //Матем. заметки. 1975. Т.18. N2. С.153-168.

непрерывности, при этом, естественно, равномерная сходимость заменяется поточечной.

Теорема 3.3. Пусть f HBV (Tm). Тогда в каждой регулярной точке x Tm функции f, для которой lim VH(f; (x, x + )) = 0, +{-1,1}m ее ряд Фурье сходится по Прингсхейму к величине 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 < .

m-В то же время 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 имеет место равенство lim SA(f, x) = f(x).

A+ Отметим также, что для размерности m = 2 упоминавшиеся выше результаты Драгошанского позволяет формально ослабить условия в следствии 3.3.

Следствие 3.5. Пусть f L(R2) HBV (R2). Тогда в каждой регулярной точке x R2 функции f имеет место равенство lim SA(f, x) = f(x).

A+ Более точные условия для рядов получаются, если вместо теоремы 2.7 применить теорему 2.8.

Теорема 3.4. Пусть m 2, последовательности p L, p = 1,..., m, таковы, что для каждого p выполнено либо условие ln(n + 1) lim = 0, (7) n p(n) либо пара условий m ln(n + 1) sup < , = . (8) p(n) q nN k k=1 q=q =p Тогда для произвольной функции f из класса (1,..., m)BV (Tm) и любой ее регулярной точки x ряд Фурье функции f сходится по Прингсхейму в точке x к величине f(x). Если к тому же f непрерывна, то ее ряд Фурье сходится по Прингсхейму равномерно.

§3.2 посвящен построению примеров функций из классов ограниченной гармонической вариации с расходящимся в точке рядом или интегралом Фурье. Эти теоремы показывают существенность условий на локальное поведение вариации и на класс в результатах §3.1.

Теорема 3.5. Пусть m 3, а последовательности 1,..., m L таковы, что ln(n + 1) lim > 0, < .

n 1(n) 2... m k k k=Тогда в классе (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), то найдется функция из одномерного класса pBV (T), ряд Фурье которой расходится в точке. Если же первое из условий (8) выполнено при всех p, но хотя бы при одном p нарушено как условие (7), так и второе из условий (8), то применима теорема 3.5.

Аналогичный пример строится и для интегралов Фурье.

Теорема 3.6. Пусть m 3, а последовательности 1,..., m L таковы, что ln(n + 1) lim > 0, < . (9) n 1(n) 2... m k k k=Тогда в классе (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) расходятся даже в смысле сходимости по кубам.

Таким образом, при m 3 в классе L(Rm) HBV (Rm) не выполняется свойство локализации для кратных интегралов Фурье, в то время как в классе HBV (Tm) свойство локализации для рядов Фурье выполнено по теореме 3.3. При m = 2 свойство локализации для кратных интегралов Фурье выполнено в силу следствия 3.5.

Отметим также, что построенные в теоремах 3.5 3.7 функции контрпримеры слабо непрерывны по гармонической вариации, то есть среди разных обобщений понятия непрерывности по вариации именно введенное и рассмотренное нами в качестве основного определение непрерывности по -вариации оказывается полезным для изучения сходимости рядов Фурье.

Для наглядности посмотрим теперь, что дают результаты первых двух параграфов главы 3 для некоторых простых примеров последовательностей. Определим, гарантирует ли принадлежность измеримой 2 -периодической функции классу (1,..., m)BV (Tm) сходимость её тригонометрического ряда Фурье по прямоугольникам в каждой регулярной точке.

j Пусть вначале j = {nb }, где 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, то m результат будет зависеть от величины S = bj. Если S 1, j=то мы оказываемся в условиях теоремы 3.4, и сходимость гарантируется, а если S > 1 в условиях теоремы 3.5, и существует пример расходимости.

• Если bj = 1 при двух j, то гарантировать сходимость можно лишь в том случае, когда bj = 0 при остальных j.

Для варианта, когда среди j есть две последовательности H, интересен также пример, когда остальные последовательности растут логарифмически.

j • Пусть для определенности 1 = 2 = H, j = {lnd (n + 1)} при j 3. Тогда результат будет зависеть от величины S = m dj. Если S 1, то мы оказываемся в условиях теоремы j=3.4, и сходимость гарантируется, а если S > 1 в условиях теоремы 3.5, и существует пример расходимости.

В заключительном параграфе третьей главы (§3.3) изучается поведение коэффициентов Фурье функций из многомерных классов Ватермана. В одномерном случае Шрамм и Ватерман38 получили следующий результат.

Теорема. Для функции f из класса BV (T) при n справедлива оценка CV(f; T) |cn(f)|.

(n) Позднее Саблин показал, что для функции f из класса CV (T) справедлива оценка |cn(f)| = o(1/(n)) при n .

В многомерном случае, мы вначале доказываем оценки сверху.

Теорема 3.8. Пусть 1,... m L. Для любой функции f из класса (1,..., m)BV (Tm) ее тригонометрические коэффициенты Фурье при nj = 0 удовлетворяют оценке C(m)V,...,m(f; Tm) |cn(f)|. (10) 1(|n1|)... m(|nm|) Следствие 3.6. Пусть 1,... m L, дана функция f из класса (1,..., m)BV (Tm), множество {1,..., m} разбито на две непустые Schramm M., Waterman D., On the magnitude of Fourier coefficients // Proc. Amer. Math. Soc.

1982. V.85. N3. P.407–410.

части и . Если номер n таков, что nj = 0 тогда и только тогда, когда j , то тригонометрические коэффициенты Фурье функции f удовлетворяют оценке C(m)V,...,m(f; Tm) |cn(f)|.

j(|nj|) j Следствие 3.7. Пусть 1,... m L, M1 L, и пусть функция f принадлежит классу (M1, 2,..., m)BV (Tm), где 1(n) lim = 0.

n M1(n) Тогда ее тригонометрические коэффициенты Фурье при minj |nj| удовлетворяют оценке |cn(f)| = o. (11) 1(|n1|)... m(|nm|) В частности, если f C(1,..., m)V (Tm), то для её коэффициентов Фурье выполнено условие (11).

Теорема 3.9. Пусть 1,... m L и f (1,..., m)BV (Tm), где последовательность 1 такова, что 1BV (T) = C1V (T). Тогда для любых фиксированных n2,..., nm = 0 справедлива оценка |cn(f)| = o 1(|n1|) при n1 .

Замечание: Оценки, аналогичные установленым выше, верны, очевидно, также для коэффициентов Фурье по системе произведений синусов и косинусов.

Затем в некоторых случаях несовпадения классов устанавливаются оценки снизу и показывается, что для всего большего класса нельзя поставить “ o ” вместо “ O ”. Точнее имеет место Теорема 3.10. Пусть m 2 и заданы неограниченные последовательности j L, j = 1,..., m, причем при каждом j выполнено условие j 2n j lim 2d, n j n m где числа dj [0, 1) удовлетворяют неравенству dj m - 1.

j=Тогда в классе (1,..., m)BV (Tm) найдется непрерывная функция, синус-коэффициенты Фурье которой удовлетворяют условию lim bn,...,n(f) · 1(n)... m(n) > 0.

n Интересно сопоставить этот пример с теоремой 3.9. В частности, m-если j = = {na} при 0 < a, то класс удовлетворяет n=m условиям и теоремы 3.10, и теоремы 3.9, т.е. в оценке (10) можно поставить “ o ” вместо “ O ”, когда мы увеличиваем только один индекс, и нельзя этого сделать, если мы увеличиваем сразу все индексы.

В главе 4 рассматриваются вопросы локализации прямоугольных частичных сумм.

Первый результат о локализации в терминах неполной гармонической вариации был получен Гофманом и Ватерманом (см. сноску ).

Теорема. Пусть функция f L(T2) равна нулю в окрестности нуля (-, )2, и f HBV (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, для которой VH (F ; xk, T3) dxk < k T при k = 1, 2, 3, 4, но ее 4-кратный тригонометрический ряд Фурье не сходится к нулю по кубам в точке 0.

Для разрывных функций трех и более переменных результатов о локализации в терминах неполных -вариаций известно не было. В §4.2 мы показываем, что непрерывность можно заменить подходящими условиями на регулярность точек. Эти условия относятся только к поведению функции в точках, у которых хотя бы одна координата совпадает с точкой, в которой рассматривается локализация. Таким образом, они существенно слабее, чем непрерывность функции всюду.

Теорема 4.3. Пусть функция f равна нулю в окрестности точ ки x0 Tm и принадлежит классу HBV (Tm), причем для любого разбиения множества {1,..., m} на два непустых множества и выполнены следующие условия:

1. для любых значений x точка x является регулярной точкой 1 функции g(x) = f(x, x) ;

2. в каждой такой точке (x, x) 1 lim VH (f; x, (x, x + )) = 0. (12) 1 0 (+0)|| {-1,1}|| Тогда кратный тригонометрический ряд Фурье этой функции сходится к нулю по прямоугольникам в точке x0.

Замечание. Для m = 3 условие (12) следует из остальных условий теоремы. Для m 4 условие (12) нельзя отбросить, как видно из сравнения теоремы 4.3 с теоремой 4.2.

С другой стороны, в §4.3 мы показываем, что при m 3 от указанных выше условий на регулярность отказатьcя нельзя.

Теорема 4.4. Пусть последовательности 1 и 2 из L удовлетво ряют условию < , а 3 произвольная последовательn=1 n n ность из 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, удовлетворяющие оценкам nl Cj,l(nj)d, сходятся к S при увеличении minj nj.

В частности, при d = 1 и = maxj,l Cj,l получаем известное определение -регулярной сходимости, или -сходимости.

Теорема 4.5. Пусть m 2 и заданы последовательности k L, k = 1,..., m, причем при каждом k выполнено условие lnm-1(n + 1) 0 при n .

k(n) Пусть функция f равна нулю на открытом множестве G Tm и принадлежит классу (1,..., m)BV (Tm). Тогда для любого d кратный тригонометрический ряд Фурье этой функции равномерно d -квазирегулярно сходится к нулю на любом замкнутом множестве K G.

Границы возможного усиления этой теоремы дает Теорема 4.6. Пусть m 2, а последовательность L такова, что lnm-1(n + 1) lim = .

n (n) Тогда существует непрерывная функция f из класса BV (Tm), которая равна нулю на [-1, 1]m, но кубические частичные суммы ее ряда Фурье в точке 0 не сходятся к нулю.

В частности, из этих теорем вытекает n Следствие 4.2. Пусть m 2, а = {ln (n+1)} для некотороa го a -1. Пусть a > m - 2, функция f равна нулю на открытом множестве G Tm и принадлежит классу BV (Tm). Тогда для любого d 1 кратный тригонометрический ряд Фурье этой функции равномерно d -квазирегулярно сходится к нулю на любом замкнутом множестве K G. Если же -1 a < m-2, то существует непрерывная функция 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 > m-2 в класс HB0V (Tm), а a при -1 a < m-2 вложение даже в более широкий класс HB0V (Tm) уже не имеет места.

В главе 5 изучается суммируемость рядов Фурье функций ограниченной -вариации методами Чезаро отрицательного порядка. Напомним соответствующие определения. Для заданного > -1 числа A определяются из формулы n ( + 1)... ( + n) Axn = (1 - x)--1, т.е. A =.

n n n! n=Пусть задан вектор = (1,..., m), где j > -1. Тогда прямоугольными средними Чезаро ряда Фурье порядка называются величины -m n m j j n (f, x) = A A -1 Sk(f, x), nj nj-kj j=1 k=0 j=где Sk(f, x) прямоугольные суммы ряда Фурье. Мы рассматриваем сходимость таких средних в смысле Прингсхейма, т.е. при независимом стремлении nj к бесконечности. Ряд называется ( C, ) ограниченным, если его чезаровские средние указанного порядка ограничены.

В одномерном случае эта задача была впервые рассмотрена Ватерманом (см. сноску ), который установил такой результат.

Теорема. Пусть (-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. То1 m гда для любой функции f из класса ({n },..., {n })BV (Tm) ее ряд Фурье равномерно (C, ) -ограничен. Если к тому же f непрерывна 1 m по ({n },..., {n }) -вариации, то ее ряд Фурье (C, ) -суммируется к f(x0) в каждой регулярной точке x0, и суммируемость равномерна на любом компакте, в окрестности которого функция непрерывна.

Напомним, что для m = 2 также известны случаи, в которых сов1 2 1 падают классы ({n }, {n })BV (T2) и C({n }, {n })V (T2). А именно, согласно упомянутому выше результату Драгошанского, совпадение имеет место при 1 = 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} выполнено условие m j - p > 1.

j=1 m Тогда в классе ({n },..., {n })BV (Tm) найдется непрерывная функция f, равная тождественно нулю на [-1, 1]m, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.

Теорема 5.3. Пусть m 2, а числа j (-1, 0) и j = j + 1, m j = 1,..., m таковы, что k m - 1. Тогда существует непреk=1 m рывная функция f из класса ({n },..., {n })BV (Tm), равная тождественно нулю на Tm \ (1, )m, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.

Теорема 5.4. Пусть j (-1, 0) и j = j + 1, j = 1, 2, причем 1 = 2. Тогда существует непрерывная функция f из класса 1 ({n }, {n })BV (T2), равная тождественно нулю на [-1, 1]2, ряд Фурье которой (C, ) -не суммируется к нулю в нуле, даже если рассматривать только кубические средние.

Из этих теорем вытекает Следствие 5.2. Пусть m 2, j (-1, 0) и j = j + 1, j = 1,..., m, причем эти числа таковы, что 1 m 1 m ({n },..., {n })BV () = C({n },..., {n })V () 1 m (см. выше следствие 2.3). Тогда в классе ({n },..., {n })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.

С.3–20.

[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. С.2751.

Статьи [1]–[11] опубликованы в изданиях, входящих в список ВАК.







© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.