Содержание к диссертации
Введение 3
1. Разложения по собственным функциям оператора
Лагерра-Эрмита 8
2. Разложения по собственным функциям оператора
Лагерра-Якоби. . , 34
3. Разложения по собственным функциям оператора
Эрмита-Якоби 63
4. Точные оценки скорости сходимости двойных
рядов Фурье-Эрмита 81
5. Разложения по собственным функциям оператора
Л1(х) + Л2(у)2 + В1(х) + В2(у)^ 87
6. Разложения по собственным функциям операторов
Лагерра-Лагерра, Эрмита-Эрмита, Якоби-Якоби
(обратные теоремы) 100
Литература 118
Введение к работе
Известно, что решение многих задач теоретической и математической физики приводит нас к различным специальным функциям математической физики (классические ортогональные многочлены, цилиндрические, сферические и гипергеометрические функции), которые обычно возникают при решении уравнений математической физики методом разделения переменных, основанном на теоремах разложения функций по различным ортогональным системам.
Вопросами разложения функций в ряды Фурье по различным ортогональным системам занимались многие математики. Им посвящены фундаментальные монографии Н.К. Бари, А. Зигмунда, Г. Cere, Г.Н. Ватсона, Б.М. Левитана и И.С. Саргсяна, А.Г. Костюченко и И.С. Саргсяна, Э.Ч. Титчмарша и др., а также ряд обзорных статей П.Л. Ульянова, Б.И. Голубова, Л.В. Жижиашвили, В.А. Ильина-Е.М. Никишина-Ш.А. Алимова, В.М. Тихомирова, М.И. Дьяченко и др.
Настоящая работа также посвящена некоторым вопросам разложения функций многих переменных в кратные ряды Фурье по собственным функциям дифференциальных операторов второго порядка.
В диссертации, в частности, рассматриваются разложения функций двух переменных по собственным функциям, которые образуют полную ортогональную систему в пространстве Li (р(аг, у); Q) с подходящим весом р(х, у), относительно которого ортогональна соответствующая система в ее области определения Q, следующих дифференциальных операторов
д2 д2 п д а д
д2 д2 д д
Известно, что в вопросах сходимости рядов Фурье по тригонометрической системе существенную роль играет оператор сдвига Thf{%) =-/(1 + Л) и определяемые с его помощью модули непрерывности различных порядков. В вопросах же, связанных со сходимостью рядов Фурье по другим системам собственных функций, например, по собственным функциям дифференциального оператора второго порядка
jp_.jp__2 JL_2
дх2 ду2 дх ду'
аналогичную роль играют операторы обобщенного сдвига. Операторы обобщенного сдвига, построеннные в диссертации, тесно связаны с теоремами сложения и умножения для рассматриваемых систем собственных функций, а также с производящими функциями этих систем.
В диссертации с помощью операторов обобщенного сдвига вводится понятие обобщенного модуля непрерывности различных порядков для функции двух переменных, характеризующее ее гладкость. Рассматриваемые в диссертации классы функций характеризуются с одной стороны обобщенным модулем непрерывности, а с другой — тесно связаны с дифференциальными операторами, по собственным функциям которых иссследуются разложения функций.
Отыскивая скрость сходимости двойных рядов Фурье по собственным функциям дифференциальных операторов, указанных выше, на тех или иных классах функций двух переменных в различных функциональных пространствах с весом, мы, можно сказать, естественно приходим к исследованию величины, равной точной верхней грани уклонения частичных сумм на рассматриваемом классе функций. Так как, в отличие от одномерных рядов Фурье, здесь нет естественного способа построения частичных сумм, то мы должны были бы сначала фиксировать некоторый класс функций, а затем построить частичные суммы кратного ряда Фурье так, чтобы указанная выше величина была минимально возможной. Эти идеи при-
вели А.Н. Колмогорова к рассмотрению величины, названной им N -поперечником рассматриваемого класса функций.
В диссертации установлено, что в ряде случаев наибольший интерес представляют треугольные частичные суммы, так как мы показываем, что для заданных классов функций точный порядок убывания колмогоровских поперечников дают именно треугольные частичные суммы. Следовательно, при другом построении частичных сумм порядок убывания уклонений на всем классе не может быть лучше.
Остановимся теперь вкратце на содержании диссертации. Работа состоит из шести параграфов. Так как в результатах, полученных в диссертации для различных систем собственных функций много общего, мы опишем содержание первого параграфа.
В первом параграфе исследованы вопросы, связанные с разложениями по собственным функциям дифференциального оператора второго порядка
д2 1 д2 „ ч д д
хМ + 2ді2 + (1 + а~х)дї-удї
названного нами,. для удобства, оператором Лагерра-Эрмита. В первом параграфе даны точные или порядковые оценки скорости сходимости двойных рядов Фурье по собственным функциям оператора Лагерра-Эрмита (рядов Фурье-Лагерра-Эрмита) на достаточ-но широких классах функций в пространстве 2^0^+ х R;е~х _ууа), характеризующихся обобщенным модулем непрерывности, доказана теорема, устанавливающая связь между структурными свойствами функций и скоростью сходимости их рядов Фурье-Лагерра-Эрмита, указаны достаточные условия абсолютной сходимости двойного ряда Фурье-Лагерра-Эрмита, найдены точные значения или слабые эквивалентные оценки N -поперечников Колмогорова рассматрива-емых выше классов функций в пространстве L2OK+ х R;e_a5 ~ууа) .-Во втором и третьем параграфах аналогичные вопросы изучены для разложений по собственным функциям дифференциальных операторов второго порядка Лагерра-Якоби и Эрмита-Якоби.
- в -
В четвертом параграфе мы даем точные оценки скорости сходимости двойного ряда Фурье-Эрмита на одном классе функций, характеризующемся с одной стороны обобщенным модулем непрерывности, а с другой — дифференциальным оператором Эрмита-Эрмита.
В пятом параграфе мы рассматриваем аналогичные вопросы, связанные с разложениями по собственным функциям одной краевой задачи штурм-лиувиллевского типа. Здесь также даны точные оценки скорости сходимости двойных рядов Фурье на рассматриваемых классах функций.
В шестом параграфе мы доказываем так называемые обратные теоремы. Эти теоремы с известными ранее результатами характеризуют связь между скоростью сходимости двойных рядов Фурье-Лагерра, Фурье-Эрмита, Фурье-Якоби и гладкостью разлагаемой в ряд функции.
Отметим, что аналогичные вопросы для одномерных рядов Фурье, построенных по специальным функциям достаточно хорошо изучены (см., напр,, [16], [17] и цитир. там литерат.). В последние годы возрос интерес к вопросам разложения функций многих переменных в кратные ряды Фурье до указанным системам функций (см., напр., [1] и цитир. там литер.)
В дальнейшем мы неоднократно будем пользоваться обобщенными частными производными в смысле Леви. Напомним, что функция / Є L2((a,6) X (с, d);p(xty)) имеет обобщенную частную производную в смысле Леви по переменной а: Є (a, 6), обозначаемую
через —, если существует функция /*(я, у) ((#, у) (a, b) х (с, d)),
ох эквивалентнаяя функции f(x, у) в области (а, &) х (с, d) и локально абсолютно непрерывная по переменной х Є (а, Ь) для почти всех
у Є (с, а), при этом — это любая функция, эквивалентная ——
ох ох
df* в области (а, Ь) х (с, d). Функция —— существует почти всюду в
ох области (a, b) х (с, d). Аналогично определяется производная по переменной у Є (c,d). Обобщенные производные высших порядков
определяются соотношениями
<^ = JL(K) d2f _ д (df)
дх2 дх \дх) ' дхду дх \ду J
и т.д. (см, [15], с. 172).
Кроме того, мы неоднократно будем пользоваться следующими двумя хорошо известными утверждениями, которые, для удобства ссылок, сформулируем в виде теорем Лі и Ач.
Теорема Лі ([13], стр. 341).
Пусть Н — гильбертово пространство. Если множество МсН содержит шар 7 В радиуса у некоторого N + 1-мерного подпространства Н, то
<ММ;Н)>7,
где <1м{М;Ш) — N-поперечник Колмогорова множества М в пространстве Ы.
Теорема Л2 ([11], стр. 51). Если А : И — Н — вполне непрерывный самосопряженный оператор в пространстве Н,
|Аі|^|А2|^...>|Адг| ^...,
отличные от пуля собственные значения оператора Л, расположенные в порядке убывания их абсолютных величин, причем в написанной цепочке неравенств каждое собственное число повторяется столько раз, какова его кратность, то
dN(M;H) = |Ajv+i|,
М={5Н:5 = Л/,/Н,||/К1}
и, как и выше, (In(M; Ы) N-поперечник Колмогорова множества М в пространстве Н.
