Некоторые вопросы теории суммирования рядов Фурье-Лагерра тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Бурмистрова, Мария Дмитриевна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
2008 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Некоторые вопросы теории суммирования рядов Фурье-Лагерра»
 
Автореферат диссертации на тему "Некоторые вопросы теории суммирования рядов Фурье-Лагерра"

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

На правах рукописи УДК 517 5

Бурмистрова Мария Дмитриевна

НЕКОТОРЫЕ ВОПРОСЫ ТЕОРИИ СУММИРОВАНИЯ РЯДОВ ФУРЬЕ-ЛАГЕРРА

01 01 01 - математический анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

003449172

Москва, 2008

003449172

Работа выполнена на кафедре высшей математики — 2 Московского государственного института электронной техники (технического университета)

Научный руководитель

кандидат физико-математических наук, доцент С Г Кальней

Официальные оппоненты

доктор физико-математических наук, профессор М И Дьяченко, кандидат физико-математических наук, Р С Лариончиков

Ведущая организация

Московский технический университет связи и информатики

Защита диссертации состоится 31 октября 2008 года в 16 часов 45 минут на заседании диссертационного совета Д501 001 85 при Московском государственном университете им М В Ломоносова по адресу 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, аудитория 16-24

С диссертацией можно ознакомиться в библиотеке механико-математического факультета МГУ (главное здание, 14 этаж)

Автореферат разослан 30 сентября 2008 года

Ученый секретарь диссертационного Совета Д 501 001 85 при МГУ, доктор физико-математических наук, профессор

И H Сергеев

Актуальность темы. Ортогональные многочлены и ряды Фурье по ним имеют широкое применение в различных областях математики, математической физики, в задачах обработки информации, при решении дифференциальных и интегральных уравнений и в других задачах Одной из основных проблем теории рядов Фурье по ортогональным многочленам, как и в целом теории ортогональных рядов, является исследование условий их сходимости и суммируемости Сходимость и суммируемость рядов Фурье изучаются как для произвольных систем ортогональных многочленов, так и для конкретных систем ортогональных многочленов В частности, большое теоретическое и практическое значение имеет исследование вопросов суммируемости разложений Фурье по классическим ортогональным многочленам Якоби, Jlareppa, Эрмита, тесно связанным с решением краевых задач математической физики

Особый интерес представляют ряды по многочленам Лагерра и Эрмита, ортогональным на бесконечном промежутке Неограниченность промежутка вносит существенные сложности в исследование указанных выше вопросов В нашей работе изучается задача о суммировании рядов Фурье-Лагерра линейными методами

Рядом Фурье-Лагерра называется разложение

00

/(*)-о)

т=О

где (7), СО — 1, - ортонормированные многочлены Лагерра,

00

ат = j tae ! f{t}i?m {t}dt - коэффициенты Фурье-Лагерра О

Вопросам сходимости ряда (1) к разлагаемой функции посвящено много исследований В них, в основном, изучалась сходимость рядов Фурье-Лагерра интегрируемых функций в весовых пространствах Лебега и поточечная сходимость в случае непрерывных и дифференцируемых функций Наибольший вклад в исследование задачи о сходимости ряда (1) в среднем в пространствах интегрируемых с различными весами функций внесли X Поллард1, Р Аскей и С Вейнгер2, Б Макенхоупт3 Ряд результатов о поточечной сходимости рядов Фурье-Лагерра изложены в монографиях Г Сеге «Ортогональные многочлены», П К Суетина «Классические ортогональные многочлены» Приближение алгебраическим многочленами

дифференцируемых функций на [0,+со) с весом Лагерра в 'ta изучалось А

1 Pollard H The mean convergence of orthogonal series II Transactions of the American Mathematical Society, 1948, v 63, p 355-367

2 Askey R. and Wamger S Mean convergence of expansions m Laguerre and Hermite series. Amer J Math, 1965, v 87, p 695-708

3 Muckenhoupt B Mean convergence of Hermite and Laguerre series 1,11 Trans Amer Math Soc,1970,v 147, Pj. 419-460 \

X. Бабаевым, В К Лащеновым, М К Потаповым, С К Танкаевой, В М Федоровым и другими математиками

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

треугольными матрицами Л = |/1^| (т — 0,1, ; я = 0,1, .;

при т>п + 1^ Каждая такая матрица определяет последовательность многочленов

т:(/,х,А)=£л1\1ат(х), (2)

от=О

называемых линейными средними ряда Фурье-Лагерра

Говорят, что ряд (1) суммируется в точке Х0 методом, задаваемым

матрицей А, если —> /\хо) при п —> оо Метод,

задаваемый матрицей А, называется регулярным в точке Х0 на пространстве

О функций, заданных на если для любой функции / е (7 ряд (1)

суммируется к ) этим методом в точке х0

Если О является подпространством пространства непрерывных на [0,оо) функций и для любой функции / е(? линейные средние ряда (1)

равномерно сходятся к / на [0,со), то метод Л будем называть равномерно регулярным на О (или просто регулярным)

Точка ? = О называется точкой Лебега функции /, если существует число А такое, что Ь

Д/(г)-Л|Л = о(Л), /г —» +0

о

В диссертации рассматриваются следующие задачи 1 При каких условиях на матрицу А соответствующий метод суммирования является регулярным в точке Хд или равномерно регулярным на некотором подпространстве пространства непрерывных функций9

со

2) Пусть ряд ат 1"т (х) является рядом Фурье-Лагерра некоторой

т=О

функции / и пусть его коэффициенты удовлетворяют условию монотонности или его обобщениям При каких дополнительных условиях на коэффициенты этот ряд сходится к функции f в метрике пространств интегрируемых с весом функций9

3) Пусть /еЬ/Кв)(0,оо) = |/:1/^(в) =|/(0|е^й<со|

и точка X = 0 есть точка Лебега функции / При каких условиях на матрицу А и, если потребуется, дополнительных условиях на поведение функции / на бесконечности, г"(/,0,А)->Л при п—>х> Здесь А -число из определения точки Лебега

Постановка данных задач берет начало в теории тригонометрических рядов Фурье, для которых эти задачи наиболее полно исследованы Существенные результаты для тригонометрических рядов были получены А Н Колмогоровым, С М Никольским, С Б Стечкиным, А В Ефимовым, С А Теляковским Для других ортонормированных систем указанные задачи изучены в меньшей мере, причем, из методов суммирования рассматривались, в основном, методы суммирования Чезаро В частности, для рядов Фурье-Лагерра в работах Г Сеге, Э Г Когбетлянца, К Маркетта, А Л Поиани и других математиков были получены условия сходимости средних Чезаро в точке X = 0, а также в некоторых весовых пространствах Лебега Для произвольных линейных методов суммирования значительные результаты были получены С Г Кальнеем в случае рядов Фурье-Якоби, Б П Осиленкером в случае рядов по ортонормированным с весом на конечном отрезке системам полиномиального вида Для рядов Фурье-Лагерра произвольные линейные методы суммирования рассматривались в работе Дж Гаспера и В Требельса4 Ими была получена оценка снизу функции Лебега-Лагерра линейных средних

Хорошо известно, что исследование сходимости и суммируемости линейных средних ортогонального ряда тесно связано с изучением задачи об ограниченности соответствующей функции Лебега Постановка задачи о нахождении эффективных условий ограниченности функции Лебега метода суммирования берет начало от известной работы С М Никольского5 Далее С Б Стечкин, А В Ефимов, С А Теляковский и другие математики получили различные необходимые и достаточные условия ограниченности констант Лебега для тригонометрических рядов, выраженные через

4 Gasper О , Trebels W A lower estimate for the Lebesgue constants of linear means of Laguerre expansions Res Math 1998, v 34, p 91-100

5 Никольский С M О линейных методах суммирования рядов Фурье, Изо АН СССР, сер матем, 1948, т

12, с 259-278

коэффициенты матрицы Л, их первые разности ЛЯ^ = Л^ - Л^ и

вторые А= А ^АЛ^ | В случае рядов по другим ортогональным

системам задача об ограниченности функции Лебега также изучалась, хотя и в меньшей мере Некоторые условия ограниченности функции Лебега в случае рядов Фурье по многочленам, ортогональным на конечном промежутке, могут быть получены из работ Б П Осиленкера6 Для

суммирования рядов Фурье по многочленам Якоби Р^'^ (х), С Г

Кальнеем7 была доказана теорема, аналогичная теореме С М Никольского В нашей диссертации рассматривается задача об ограниченности функции

00

т=О

dt Нами показано, что из условий

ограниченности данной функции следуют достаточные условия регулярности линейных средних рядов Лагерра для некоторых классов непрерывных функций

Задача о сходимости в метрике Ь тригонометрических рядов с коэффициентами, удовлетворяющими различным обобщениям условия монотонности исследовалась А Н Колмогоровым, Е Хилле и Я Д Тамаркиным, С А Теляковским, Г А Фоминым и другими авторами Ряд классических результатов отражен в монографиях А Зигмунда «Тригонометрические ряды» и Н К Бари «Тригонометрические ряды» Для рядов Фурье-Якоби подобная задача рассматривалась С Г Кальнеем

Задача о суммируемости в точках Лебега для тригонометрических рядов Фурье изучалась С М Никольским, А В Ефимовым и другими математиками Для рядов Якоби данная задача для чезаровских средних рассматривалась в монографии Г Сеге «Ортогональные многочлены», а для более широкого класса методов суммирования - в работах С Г Кальнея8

Цель работы. Целью диссертации является получение эффективных условий ограниченности функции Лебега-Лагерра и, на их основе, необходимых и достаточных условий сходимости линейных средних рядов Фурье-Лагерра, выраженных через коэффициенты матрицы А, изучение задачи о сходимости линейных средних (2) в точках Лебега, а также задачи о сходимости рядов Фурье-Лагерра с квазимонотонными коэффициентами

'ОсиленкерБ П Оценка роста функции Лебега линейных методов суммирования Матем Заметки 1968 т 6, № 3, с 277-286

Осиленкер Б ГТ О сходимости и суммируемости разложений Фурье по ортонормированным полиномам, ассоциированным с разностными операторами второго порядка Сиб матем ж , 1974, т 15, №4, с 892-908 'КзльнейС Г О необходимых и достаточных условиях суммируемости рядов Якоби Изв ВУЗов, матем 1991, т 348, №5, с 75-78

8КальнейС Г Суммируемость рядов Якоби треугольными матрицами Матем заметки 1983 т 34, с 91103

Kal'nei S G , On the summability of Jacobi series at Lebesgue points Analysis Math 2003 v 29, p 181-194

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

1 Получены оценки сверху функции Лебега-Jlareppa линейных средних, а также условия на матрицу А, необходимые и достаточные для регулярности соответствующего метода суммирования

2 Доказаны теоремы о сходимости ряда Фурье-Лагерра в интегральной метрике при условии, что его коэффициенты образуют квазимонотонную последовательность Причем сходимость рядов

Фурье по стандартизованным многочленам Лагерра L?m установлена не

только в пространстве функций интегрируемых с весом е Х^ха, но и

-х/2 у

в пространствах функций интегрируемых с весом е X , где у Ф СХ удовлетворяет некоторым дополнительным условиям

3 Получены достаточные условия сходимости линейных средних рядов Фурье-Лагерра в точке Лебега t = 0 функции f для более широкого класса матриц А, чем матрицы, определяющие методы суммирования Чезаро

Методы исследования. В работе используются методы теории функций и функционального анализа исследования сходимости последовательностей линейных функционалов и операторов, методы теории сингулярных интегралов Также в диссертации использованы некоторые из методов, разработанные в теории суммирования тригонометрических рядов Фурье и рядов по системам многочленов, ортогональных с весом на конечном промежутке, хотя, как уже отмечалось выше, с их применением в случае рядов Фурье-Лагерра возникают дополнительные сложности из-за бесконечности промежутка ортогональности

Теоретическая и практическая ценность. Работа носит теоретический характер Ее результаты и методы могут быть использованы для дальнейших исследований в теории приближения и ортогональных рядов

Апробация работы. Результаты диссертации неоднократно докладывались на научных семинарах по теории функций и ортогональных рядов под руководством акад П Л Ульянова, проф М К Потапова, проф М И Дьяченко (мех -мат МГУ, 2005, 2006), на семинарах под руководством проф С А Теляковского (МИРАН им В А Стеклова, 2005, 2004), на 12-й и 13-й Саратовских зимних математических школах (Саратов, 2004, 2006), Воронежской зимней математической школе (Воронеж, 2005), III и VI международных симпозиумах «Ряды Фурье и их приложения» (Новороссийск, 2005, 2006)

Публикации. Результаты диссертации опубликованы в 10 работах автора, список которых приведен в конце автореферата ([1]-[10]) Публикаций, сделанных в соавторстве, нет

Объем и структура работы. Диссертация состоит из введения, трех глав, разбитых на параграфы и списка литературы Объем работы 101 страница, библиография 62 названия

Краткое содержание диссертации

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

В первой главе изучаются необходимые и достаточные условия регулярности методов суммирования

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

Пусть С - пространство непрерывных на [0, со) функций f, для которых lim f(x)e~x!2 =0, с нормой Ц/Ц^ = sup В§

Х-+-КО 0<х<оо

1 1 доказано, что это пространство является банаховым, показано, что любая функция f 6 С разложима в ряд Фурье-Лагерра Отметим, что множество алгебраических многочленов плотно в этом пространстве Кроме того, в этом же параграфе показано, что преобразования Х,Л) - непрерывные

линеиные операторы из

С в С с

м

х>0

а в

случае фиксированного X = Х0 - непрерывные линейные функционалы на С

= ££(х0,Л),где ££(х,Л)= {

т=0

fdt

функция Лебега-Лагерра Таким образом, из теоремы Банаха-Штейнгауза следует, что ограниченность взвешенной функции Лебега-Лагерра при некоторых дополнительных условиях обеспечивает регулярность метода суммирования

Во втором параграфе главы 1 исследуется поведение функции

Лебега-Лагерра (х, А) в точке X = 0 и даются условия на

коэффициенты матрицы Л, необходимые и достаточные для регулярности метода суммирования Л в этой точке

Основными результатами главы являются следующие теоремы

Теорема 1.2.1. Пусть О <СС <—.Тогда для функции Лебега-Лагерра

линейных средних справедливо неравенство

»

i

п-1 f

(О,А) < С шах ЛW +СУ(т +1)

m=0

п-т

\ п +1 .

А2^

Эта оценка функции Лебега-Лагерра позволяет получить аналог известной теоремы С М Никольского9 о сходимости линейных средних тригонометрических рядов и теоремы С Г Кальнея10 о сходимости линейных средних рядов Фурье-Якоби

Теорема 1.2.2 Пусть 0 < а < — Если А2А$ >0 (< 0) при всех

/И = 0,1, ,п — к, где к > 1 - фиксированное число, не зависящее от п, то для ограниченности (0,Л) необходимо и достаточно, чтобы

4Я) ^С, (т + 1)а(п + 1-ту3/2~а<С

т=О

Как следствие теоремы 12 2 и критерия регулярности метода суммирования в точке, доказанного в § 1 1 (утверждение 1 1 7) получаем теорему о регулярности в точке X = 0 методов суммирования

Теорема 1.2 3. Пусть 0 < а < — Если вторые разности Д2А^ > О (< 0) при всех т - 0,1, ,п — к, где к > 1 - фиксированное число, не

А

зависящее от п, то для регулярности в точке Х0 = О на пространстве С

метода суммирования, задаваемого матрицей А, необходимо и достаточно, чтобы выполнялись условия

О

<с,

« = 1,2, ,

2) ^ ^ {т + \)а {п^\-т)-Ъ12-а <С, « = 1,2, ,

т=о

3) Л^ —> 1 при п —> со для всякого фиксированного т

Отметим, что из теоремы 12 3 следует регулярность в точке Хд = 0 на С методов Чезаро (С,8) при 8 > а +1/2, а также методов суммирования

'Никольский С М О линейных методах суммирования радов Фурье Изв АН СССР, сер матем , 1948, т

12, с 259-278

|0КальнейС Г О необходимых и достаточных условиях суммируемости рядов Якоби Изв ВУЗов, матем 1991,т 348, К°5, с 75-78

Зигмунда, задаваемого матрицей А^ = 1 ■

( \s т

п + \)

,8 > 0, и Рисса

Д1Я) =

1-

т и + 1

.2Л15

1

,5 >а + — 2

/

При доказательстве теоремы 1 2 1 важную роль играет полученная во втором параграфе первой главы оценка интеграла от ядер Вапле Пуссена по многочленам Лагерра

КЛх>') = Т-7 £ (*•'). (л,* = 0,1,. ,кйп),

К +1 т=п-к

где £>£ (х,?) - ядро Дирихле по многочленам Лагерра

Лемма 1 2.1. Пусть П, к — 0,1, ; к < п. Тогда имеет место следующая оценка

1

fc(0 ,t)e~itadt<C

п +1

к +1

п +1

jln(* + 2),

к + {п + \)а+\

к +1

0<а<

а--

а>-2

1

В третьем параграфе первой главы показано, что усчовия теоремы 12 3 будут необходимыми и достаточными для равномерной регулярности метода суммирования Этот факт является следствием того, что

шах(е~х12 достигается в точке х = 0 (утверждение 13])

Частный случай этого результата для функции Лебега-Лагерра чезаровских средних ранее был установлен Е ГерлихомиК Маркеттом"

Во второй главе изучается задача о сходимости рядов Фурье-Лагерра с квазимонотонными коэффициентами Рассматривается ряд по стандартизованным многочленам Лагерра

00

т=О

"GfirlichE andMarkettC A convolution structure for Laguerre series Indag Math 1982 v 44 p 161-171

при этом предполагается, что он является рядом Фурье-Лагерра некоторой

1 °°

функции /, то есть что ат = —-—

I + 0

(/72 = 0,1,.) Функция / предполагается принадлежащей пространству

ч={/ = у^р-*2** <»}. у

Последовательность } называется квазимонотонной с показателем и > 0, если последовательность < —— I монотонно убывает к нулю

\тП

В § 2.1 доказаны теоремы

Теорема 2.1.2 Пусть ряд (5) есть ряд Фурье по многочленам Лагерра функции / е Ьа (0,со) (0<а) Если последовательность {ат} квазимонотонна для некоторого Ц > 0, то для сходимости его к / в метрике Ъа (0,оо) необходимо и достаточно, чтобы

т

а 1

Теорема 2.1.3. Пусть --—</ <тт

' а

1

а >— и 2

а,— + — V 2 4,

пусть ряд (5) есть ряд Фурье по многочленам Лагерра функции У е Ну (0,оо) Если последовательность {<Зт} квазимонотонна для некоторого ¡л~> 0, то для сходимости его к / в метрике Ъу (О, со) необходимо и достаточно, чтобы

аттг+1/2-±0 («-» ю)

Третья глава посвящена вопросу сходимости линейных средних в точке X ~ 0 при условии, что она является точкой Лебега /, принадлежащей пространству

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

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

В § 3.3 строятся и исследуются монотонные мажоранты для ядер Фейера и Балле Пуссена В первом случае доказывается интегрируемость этой мажоранты, а во втором случае дается оценка для интеграла от построенной функции, которая в дальнейшем будет использована для доказательства основных результатов третьей главы

В четвертом параграфе третьей главы доказана следующая теорема Теорема 3.4.1 Пусть — 1<ОГ<1/2 и матрица А удовлетворяет следующим условиям

1) Л^ —> 1 при п —> оо для всякого фиксированного т,

точкой Лебега, А -суммируем в этой точке

В теореме 3 4 1 предполагается, что функция / интегрируема на бесконечности с единичным весом, что является сильным требованием Желательно ослабить ограничение на интегрируемость функции на бесконечности Это можно сделать, применяя теорему Д К Фаддеева о сходимости сингулярных интегралов в точках Лебега не на всем промежутке (0,оо), а на некотором отрезке, содержащем точку X = 0 (точку Лебега), а

на оставшемся промежутке применяя другие соображения Этому и посвящен пятый параграф главы 3, в котором доказаны основные результаты главы о суммируемости в точке Лебега X — 0 рядов Фурье-Лагерра

Теорема 3.5.1. Пусть —1/2 < ОС <1/2 и матрица А, коэффициенты которой ограничены, удовлетворяет условиям

т=и

Тогда ряд Фурье-Лагерра функции

имеющей точку X = О

1) Нш Л^ ^ — 1 для всякого фиксированного т,

П-+СО

2)

3) существует число 3 < 0, такое, что

т-и

Если функция f е УД°илетБ0Ряет условию

00

1

то ряд Лагерра функции f А - суммируем в точке Лебега х = О

Кроме теоремы 3 5,2, в § 3 5 получена еще одна теорема о суммируемости рядов Фурье-Лагерра в точке Лебега Х = 0

Теорема 3.5.2. Пусть -1/2 < а < 1/2 и ограниченная матрица А удовлетворяет условиям

1) lim 4'0 = 1 Для всякого фиксированного W,

и-1

2) £(/И + 1)

w=0

n — m п +1

Л Г-«

2, И

АД

<С,

и, кроме того, существует число 5 < 0, такое, что

3) £(/л + 1)

а/2+3/4

т=О

<Сиг

Тогда ряд Фурье-Лагерра функции / 6 ^р(а) 00) ^ " сУммиРУем в точке Лебега I — 0, если существует число / > 0 такое, что

J|/(0<

fdt< 00

для некоторого />>1, причем в случае 1/6 < С£ < 1/2 и £>1/12 — «/2 предполагается, что р удовлетворяет дополнительному условию

12^ + 12

-

6а-1 + Ш

Автор выражает глубокую благодарность своему научному руководителю кандидату физико-математических наук, доценту Сергею Григорьевичу Кальнею за постановку задач и постоянное внимание ко всем этапам данной работы

Работы автора по теме диссертации

1 БурмистроваМ Д О суммируемости рядов Лагерра линейными методами Известия Саратовского университета Серия Математика Механика Информатика 2008, Вып 1,с 15-20

2 Бурмистрова М Д О необходимых и достаточных условиях суммируемости в нуле рядов Фурье-Лагерра Тезисы докладов 12-й Саратовской зимней математической школы Саратов, 2004, с 38-39

3 Бурмистрова М Д О равномерной регулярности методов суммирования рядов Фурье-Лагерра Тезисы докладов Воронежской зимней математической школы Воронеж, 2005, с 46-47

4. Бурмистрова М Д О сходимости в метрике La (0, со) и La/¿ (0,сс)

рядов Фурье-Лагерра с квазимонотонными коэффициентами Тезисы XIII Международной конференции «Математика Экономика Образование» и III Международного симпозиума «Ряды Фурье и их приложения», Ростов-на-Дону, 2005, с 13-14

5 Бурмистрова М Д О суммируемости рядов Лагерра в точках Лебега Тезисы докладов 13-й Саратовской зимней математической школы Саратов, 2006, с 41

6 Бурмистрова М Д О линейных методах суммирования рядов Лагерра для полуцелых а Тезисы XIV Международной конференции «Математика Экономика Образование» и IV Международного симпозиума «Ряды Фурье и их приложения», Ростов-на-Дону, 2006, с 18-19

7 Бурмистрова М Д О сходимости в метриках пространств La (О, оо) и Az/2 (0>°°) рядов Фурье-Лагерра с квазимонотонными

коэффициентами Вестник Московского государственного университета печати, 2006, с 7-14

8 Бурмистрова М Д О сходимости в метрике пространств (0, со)

рядов Фурье-Лагерра с квазимонотонными коэффициентами Труды XIII Международной конференции «Математика Экономика Образование» и III Международного симпозиума «Ряды Фурье и их приложения», Ростов-на-Дону, 2005, с 5-9

9 Burmistrova М D On necessary and sufficient conditions of the regularity of summation methods for Laguerre-Founer senes Analysis Math, 2006, v 32, № 4, p 247-264

10 Бурмистрова M Д О суммируемости рядов Лагерра в точках Лебега Сборник научных трудов «Фундаментальные физико-математические проблемы и моделирование технико-технологических систем», вып 9, М, Изд-во «Янус-К», 2006, с 8-12

Издательство ЦПИ при механико-математическом факультете МГУ им М В Ломоносова

Подписано в печать 23 Off ОЬ Формат 60x90 1/16 Уел печ л D,?S Тираж -(QL) экз Заказ

Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета

 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Бурмистрова, Мария Дмитриевна

Введение.

Глава I. О РЕГУЛЯРНОСТИ МЕТОДОВ СУММИРОВАНИЯ РЯДОВ

ФУРЬЕ-ЛАГЕРРА НЕПРЕРЫВНЫХ ФУНКЦИЙ.

§1.1. Вспомогательные утверждения.

§ 1.2. Регулярность в точке X = 0 методов суммирования рядов Фурье

Лагерра непрерывных функций.

§1.3. Равномерная регулярность методов суммирования рядов Фурье

Лагерра.

Глава II. СХОДИМОСТЬ РЯДОВ ФУРЬЕ-ЛАГЕРРА С

КВАЗИМОНОТОННЫМИ КОЭФФИЦИЕНТАМИ В

ПРОСТРАНСТВАХ ЛЕБЕГА.

§2.1. О сходимости рядов Фурье-Лагерра с квазимонотонными коэффициентами в пространствах ЛебегаЬу (0,оо).

Глава III. СУММИРУЕМОСТЬ РЯДОВ ФУРЬЕ-ЛАГЕРРА

ИНТЕГРИРУЕМЫХ ФУНКЦИЙ В ТОЧКАХ ЛЕБЕГА.

§3.1. Предварительные сведения.

§3.2. Сингулярность ядра линейных средних по полиномам Лагерра.

§3.3. Построение монотонных мажорант для ядер Фейера и Валле

Пуссена.78

§3.4. Суммируемость рядов Фурье-Лагерра интегрируемых с единичным весом функций в точке Лебега t = 0.

§3.5. Сходимость в точке Лебега t — 0 линейных средних для функций пространства L.

 
Введение диссертация по математике, на тему "Некоторые вопросы теории суммирования рядов Фурье-Лагерра"

Ортогональные многочлены и ряды Фурье по ним имеют широкое применение в различных областях математики, математической физики, в задачах обработки информации, при решении дифференциальных и интегральных уравнений и в других задачах. Одной из основных проблем теории рядов Фурье по ортогональным многочленам, как и в целом теории ортогональных рядов, является исследование условий их сходимости и суммируемости. Сходимость и суммируемость рядов Фурье изучаются как для произвольных систем ортогональных многочленов, так и для конкретных систем ортогональных многочленов. В частности, большое теоретическое и практическое значение имеет исследование вопросов суммируемости разложений Фурье по классическим ортогональным многочленам Якоби, Лагерра, Эрмита, тесно связанным с решением краевых задач математической физики.

Особый интерес представляют ряды по многочленам Лагерра и Эрмита, ортогональным на бесконечном промежутке. Неограниченность промежутка вносит существенные сложности в исследование указанных выше вопросов. В нашей работе изучается задача о суммировании рядов Фурье-Лагерра линейными методами.

Пусть \frm (Г)] , а>—1, - ортонормированная на [0,оо) с весом p(t,CC^ = е ~ta система многочленов Лагерра, то есть система алгебраических многочленов таких, что

00 о где 8т i - символ Кронекера. Для определённости положим знак старшего коэффициента (t) равным .

Пусть для некоторой функции f существуют интегралы

00

Ctm — jtae t f [t^I^^t^dt. Тогда функции f можно поставить в О соответствие её ряд Фурье-Лагерра

00

1) т=О

Вопросам сходимости ряда (1) к разлагаемой функции посвящено много исследований. В них, в основном, изучалась сходимость рядов Фурье-Лагерра интегрируемых функций в весовых пространствах Лебега, то есть в пространствах функций f измеримых по Лебегу на [0,+оо) и таких, что

Г™ \1/Р

Л/смоГ dt vo J оо, 1 < р < со, причем весовая функция u(t) связана с весом Лагерра Также изучалась поточечная сходимость в случае непрерывных и дифференцируемых функций.

Наиболее существенный вклад в исследование задачи о сходимости в среднем в пространствах интегрируемых с различными весами функций внесли X. Поллард [58], Р. Аскей и С. Вейнгер [42] и Б. Макенхоупт [55], [56]. Отметим, что сходимость в среднем рядов Фурье-Лагерра существенно зависит от выбора весовой функции u(t). X. Поллард в работе [58] рассматривал сходимость в среднем с весом u{t) — e и доказал, что ряд Фурье

Лагерра сходится в метрике этого пространства только когда р = 2. Р. Аскей и

С. Вейнгер [42] рассматривали сходимость в пространствах I/ с весовой функцией = , при а > 0. Они доказали, что в таком пространстве сходимость ряда Фурье-Лагерра будет иметь место при всех 4/3 <р< 4. Макенхоупт в работах [55], [56] рассматривал произвольные весовые функции. Более того, в работе [56] он рассматривал задачу о сходимости ряда Фурье-JIareppa функции, принадлежащей весовому пространству с одним весом, в метрике пространства с другим весом. В этой работе Макенхоуптом были найдены такие весовые функции, при которых сходимость в среднем в весовом пространстве L/7 гарантирована при любом 1 < р < оо. Приближение алгебраическими многочленами дифференцируемых функций на [0,+оо) с весом JIareppa е изучалось А. X. Бабаевым [2], В. К. Лащеновым [30], М. К. Потаповым и С. К. Танкаевой [35], [59], В. М. Федоровым [41] и другими математиками. Некоторые результаты о поточечной сходимости рядов Фурье-Лагерра изложены в монографиях Г. Сегё [36] и П. К. Суетина [37]. Отметим, что в силу особенностей поведения многочленов Лагерра в окрестности точки X = 0, поведение частных сумм и линейных средних рядов Фурье-Лагерра в точке X = 0 существенно отличается от поведения их на промежутке [a, b] d (0, +со) (см., например, [36], теоремы 9.1.5 и 9.1.7). Этим вызвана необходимость отдельного исследования сходимости рядов Лагерра в концевой точке промежутка ортогональности. Также отдельного исследования требуют вопросы сходимости на всем промежутке [0, +оо).

Известно, что существуют непрерывные, и, более того, дифференцируемые функции, ряд Фурье-Лагерра которых расходится в заданной точке (см., например, [36], стр. 278 и 282). Следовательно, существуют функции, ряд Фурье-Лагерра которых не сходится на промежутке [0,+оо). Поскольку ряд Фурье-Лагерра может расходится, как в отдельных точках, так и в метрике весового If пространства (см. [42], [55], [58]), возникает вопрос о тех методах, которыми можно его суммировать. Имеется ряд исследований, в которых рассматривались вопросы суммируемости рядов Фурье-Лагерра конкретными методами — методами Чезаро ([36], теорема 9.1.7, [49-50], [53-54], [57], [62]). В работах [49], [53-54], [57] рассматривалась суммируемость методами Чезаро в весовых I/ пространствах, были получены оценки сверху и снизу норм операторов чезаровских средних в этих пространствах. Поскольку множество алгебраических многочленов является плотным в лебеговых пространствах с подходящими весами (см. [56]) при р < оо, то из ограниченности норм операторов соответствующих средних можно делать выводы о суммируемости методами Чезаро. Суммируемость методами Чезаро рядов Фурье-Лагерра в точке X = 0 при условии непрерывности разлагаемой функции в этой точке исследовалась в монографии Г. Сегё ([36], теорема 9.1.7). Что касается произвольных методов суммирования, необходимо отметить, что в последнее время активно развивается теория мультипликаторов для разложений по многочленам JIareppa (см., например, [45-47], [61]), которая тесно связана с суммированием рядов Фурье-Лагерра (см. [45]). Однако задача о суммируемости рядов Фурье-Лагерра произвольными методами суммирования остаётся мало изученной.

В нашей работе рассматриваются линейные методы суммирования, задаваемые треугольными матрицами А = |я^| (т = 0,1,.; п = 0,1,.;

Л^ - 0 При т > л + lj. Каждая такая матрица определяет последовательность многочленов

2) т=О называемых линейными средними ряда Фурье-Лагерра.

Будем говорить, что ряд (1) суммируется в точке Х0 методом, задаваемым матрицей А, если Л) —> /{xq) при п—> оо. Метод, задаваемый матрицей Л, будем называть регулярным в точке на подпространстве G пространства функций, заданных на [0,со)5 если для любой функции f е G ряд (1) суммируется к ) этим методом в точке

Xq.

Если G является подпространством пространства непрерывных на [0,оо) функций и для любой функции / gG линейные средние ряда (1) равномерно сходятся к f на [0,оо)3 то метод Л будем называть равномерно регулярным на G (или просто регулярным).

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

Линейные средние (2) являются линейными операторами на соответствующем пространстве функций, а при фиксированном X - линейными функционалами. Поэтому при изучении задачи естественно использовать известную теорему Банаха-Штейнгауза ([26], с. 266). Однако из-за бесконечности промежутка ортогональности многочленов Лагерра при её использовании возникают дополнительные сложности. Например, не всякая непрерывная на [0, оо) функция может быть разложена в ряд Фурье-Лагерра.

Кроме того, множество алгебраических многочленов плотно не во всяком подпространстве пространства непрерывных функций, разложимых в ряд Фурье-Лагерра. Поэтому возникает вопрос о выборе подходящего подпространства пространства непрерывных на положительной полуоси функций. В § 1.1 настоящей работы показано, что в качестве такого подпространства можно взять пространство С непрерывных на [О, со) функций f, для которых Иш = 0, с нормой

Ас = sup |ЛХ)

0<Х<оо

X—>+00

-х/2 п

Обозначим К% (x,t,A) = (t) - ядро линейного м=0 метода суммирования, задаваемого матрицей Л. Линейные средние (2)

V А являются (см. § 1.1) непрерывными линейными операторами из С в С с нормой та шахе х/2££(х,л),где лг>0 оО х,Л) = j]^ (x,t,K)e-tl2tadt (3) о

- функция Лебега-Лагерра линейных средних, задаваемых матрицей А. При фиксированном X = х0 линейные средние (2) являются непрерывными линейными функционалами на С с нормой = Применяя теорему Банаха-Штейнгауза, получаем, что для регулярности метода суммирования, задаваемого матрицей А, в точке х0е[0,оо) на С необходимо и достаточно, чтобы выполнялись условия:

1) /%(х0,А)<С, п = 1,2,.;

2) Л^ —> 1 при ft —> оо для всякого фиксированного m. Соответственно, для равномерной регулярности метода суммирования, А задаваемого матрицей Л, на С необходимо и достаточно, чтобы

1) шахе~х!2(х,Л) < С, п = 1,2,.; х>0

2) Л^ —> 1 при П —> оо для всякого фиксированного Ш.

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

Так как проверка условия ограниченности "^функции Лебега для конкретных матриц трудна, желательно заменить это условие другими, проверка которых не вызывает больших трудностей.

Постановка данной задачи о нахождении эффективных условий ограниченности функции Лебега метода суммирования берет начало от известной работы С. М. Никольского [32]. В этой работе С. М. Никольский показал, что в случае тригонометрических рядов Фурье для выпуклых вогнутых) при каждом п последовательностей Л^ условие ограниченности п констант Лебега Сп (А) = — f

П t следующими условиями: ьт с

1 п т=1 п X м cos mt dt можно заменить

1т т=\ п + 1-т

Со.

Далее С. Б. Стечкин, А. В. Ефимов, С. А. Теляковский и другие математики получили различные необходимые и достаточные условия ограниченности констант Лебега для тригонометрических рядов, выраженные через коэффициенты матрицы А, их первые разности АЛ^ = Л^ — Л^^ и вторые А2Л^ = А ^АЛ^ j. В случае рядов по другим ортогональным системам задача об ограниченности функции Лебега линейных средних также изучалась, хотя и в меньшей мере. Некоторые условия ограниченности функции Лебега в случае рядов Фурье по многочленам, ортогональным на конечном промежутке, могут быть получены из работ Б. П. Осиленкера (см., например, [33], [34]). Для суммирования рядов Фурье по многочленам Якоби

Р^'^ (х) ряд интересных результатов был получен С. Г. Кальнеем. В частности, им в статьях [22-23] была доказана теорема, аналогичная теореме С.М. Никольского.

Для рядов Фурье-Лагерра вопрос ограниченности функций Лебега для общих линейных методов суммирования исследован мало. В работах Е. Гёрлиха и К. Маркетта [48] и [49], К. Маркетта [53], [54], Е. Л. Поиани [57], достаточно подробно рассмотрен вопрос об оценке сверху и снизу норм операторов конкретных линейных средних - средних Чезаро - в ^^ пространствах, 1<р<со, - весовая функция, связанная с весом p{t,Произвольные линейные методы суммирования исследовали Дж.

Гаспер и В. Требельс в работе [45], в которой они, используя схему работы [25], получили оценку снизу функции Лебега для линейных методов суммирования рядов Лагерра. Отметим, что рассматриваемые в работах [48], [49], [53], [54] и

57] при р = оо, сс > 0, пространства включают функции, удовлетворяющие условию lim f(x)e =0, S>0, что сильнее наложенного нами условия lim = 0.

X->+00

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

СС ( . л л оператора Тп yf, X, A J из С в С совпадает с нормой этого оператора из L а

ОО в Le, где ~La=<f\ ||/|jL = \\f{t)\e-"2tadt«* а О из ограниченности функции Лебега-Лагерра можно делать выводы также о сходимости линейных средних по норме пространства .

Результаты о сходимости конкретных линейных средних можно применять к исследованию других задач. Так, в нашей работе исследуется задача о сходимости ряда Фурье-Лагерра к разлагаемой функции в интегральной метрике, если коэффициенты ряда удовлетворяют условию монотонности или его обобщениям. Для тригонометрических рядов данная задача исследовалась А. Н. Колмогоровым, Е. Хилле и Я. Д. Тамаркиным, С. А. Теляковским, Г. А. Фоминым и другими авторами. Ряд классических и результатов отражен в монографиях А.Зигмунда [20] и Н. К. Бари [3]. В 1923 году А. Н. Колмогоров в работе [52] полностью решил вопрос о сходимости в метрике L ряда а 00 при условии, что его коэффициенты стремятся к нулю и последовательность \cim } выпукла или хотя бы квазивыпукла. Он показал, что в этом случае ряд

4) является рядом Фурье, а для его сходимости в метрике L необходимо и достаточно, чтобы при т —> оо выполнялось условие ат log т —> 0. Позже С. А. Теляковский и Г. А. Фомин в работе [38] доказали, что условие ат log т —> 0 является необходимым и достаточным для сходимости ряда Фурье (4) в метрике L при условии квазимонотонности последовательности (последовательность jcm j называется квазимонотонной с показателем с,

Ц>0, если последовательность т т<и монотонно убывает к нулю). Аналог теоремы С.А. Теляковского и Г.А. Фомина для рядов Фурье-Якоби был получен С. Г. Кальнеем в работе [24]. Нами доказана соответствующая теорема для рядов Фурье-Лагерра функции f Е La.

Заметим, что данную задачу о сходимости ряда Фурье по многочленам Лагерра Z^ с квазимонотонными коэффициентами можно рассматривать не только в пространстве , но и в пространствах Лебега L^, где у ^ ОС. В настоящей работе доказаны теоремы о сходимости рядов Фурье-Лагерра с квазимонотонными коэффициентами для случая f е Ly, а 1

---< у<mm

2 4 г а п а,—h — v 2 4 у 1 а > —. 2

Еще одним важным вопросом теории суммирования рядов Фурье по классическим ортогональным многочленам представляется вопрос о сходимости линейных средних в концевой точке промежутка ортогональности при условии, что она является точкой Лебега.

Точка t = О называется точкой Лебега функции f, если существует число А такое, что

Задача о сходимости линейных средних рядов по различным ортогональным системам в точках непрерывности и точках Лебега разлагаемой функции рассматривалась во многих работах. В частности, в случае тригонометрических рядов эта проблема изучалась С. М. Никольским [32], А. В. Ефимовым [19] и другими математиками. Для рядов Якоби данная задача для чезаровских средних рассматривалась в монографии Г. Сегё [36], для более широкого класса методов суммирования - в работах С. Г. Кальнея [21], [51], для рядов по ультрасферическим многочленам в работах Топурия С. Б. и других грузинских математиков (см. [39]), Тан Пин [60]. Примечательно, что в случае рядов Якоби для сходимости линейных средних в точке Лебега t — 1 необходимо, вообще говоря, даже для случая чезаровских методов суммирования, накладывать на функцию дополнительное "антиполярное" условие - ограничение на поведение функции в другой концевой точке отрезка ортогональности. В случае рядов Лагерра, в монографии Г. Сегё [36] доказана теорема о сходимости чезаровских средних порядка k> СС +1/2 в точке непрерывности t = 0 функции f при выполнении дополнительного условия, 1 условия в случае рядов Якоби. Нетрудно показать, что упомянутая теорема Г. Сегё остаётся верной, если вместо непрерывности функции в точке t — 0 h

0. о

00 которое является аналогом антиполярного предположить, что точка t = О является точкой Лебега функции f. Для этого достаточно слегка изменить доказательство теоремы аналогично тому, как сделано на стр. 272 монографии [36] для случая рядов Якоби. В настоящей работе мы приводим достаточные условия сходимости линейных средних в точке Лебега t = О функции f для более широкого класса матриц А, чем матрицы, определяющие методы суммирования Чезаро. Наше исследование основано на теореме Д. К. Фаддеева о представлении интегрируемых функций в точках Лебега сингулярными интегралами (см. [40]).

Настоящая работа состоит из введения и трёх глав. Параграфы нумеруются двумя числами, первое из которых обозначает номер соответствующей главы. Так, § 2.1 означает первый параграф второй главы. Теоремы, леммы, формулы нумеруются тремя числами, первое из которых указывает главу, второе - номер параграфа внутри этой главы, а третье - номер теоремы (леммы, формулы) в данном параграфе. Например, теорема 1.2.3 означает третью теорему второго параграфа первой главы.

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

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

Во втором параграфе главы 1 исследуется поведение функции Лебега

Лагерра в точке X = 0 и даются условия на коэффициенты матрицы

Л, необходимые и достаточные для регулярности метода суммирования А в этой точке. С использованием полученной в этом же параграфе оценки интеграла сумм Валле Пуссена, доказана основная теорема первой главы. 1

Теорема 1.2.1. Пусть \)<СС<—.Тогда для функции Лебега-Лагерра линейных средних справедливо неравенство:

О, Л) < С шах

О <т<п хм

1т c"t(m +1) т—О n-m\i

-а V

А2Я(п)

7 + 1 у

Эта оценка сверху функции Лебега-Лагерра и доказанная Дж. Гаспером и В. Требельсом [45] оценка ее снизу позволяют получить необходимые и достаточные условия ограниченности функции Лебега-Лагерра для выпуклых вогнутых) последовательностей Х^.

Теорема 1.2.2. Пусть 0 <а<—. Если > 0 (< 0) при всех

Ш = 0,1,., и — к, где k> 1 - фиксированное число, не зависящее от п, то для ограниченности (0, А) необходимо и достаточно, чтобы

С, (m + lf (n + \-myV2-a <С. т=0

Как следствие теоремы 1.2.2 и критерия регулярности метода суммирования в точке, доказанного в § 1.1 (утверждение 1.1.7) получаем теорему о регулярности в точке X = 0 методов суммирования, являющуюся аналогом известной теоремы С. М. Никольского [32] о сходимости линейных средних тригонометрических рядов и теоремы С. Г. Кальнея [23] о сходимости линейных средних рядов Фурье-Якоби.

Теорема 1.2.3. Пусть 0 <СС<—. Если вторые разности А2/1^

4 >0 0) при всех т = ОД,— к, где k> 1 - фиксированное число, не зависящее от п, то для регулярности в точке Х0 = 0 на пространстве С метода суммирования, задаваемого матрицей А, необходимо и достаточно, чтобы выполнялись условия:

1) л<"> с, тт п

2) (w + lf(« + l-w)3/2"<C, п = 1,2,.; т=0

3) Л^ —> 1 при п —> со Эля всякого фиксированного Ш.

В третьем параграфе первой главы показано, что те же самые условия будут необходимыми и достаточными для равномерной регулярности метода суммирования. Этот факт является следствием того, что max^e достигается в точке X = 0 (утверждение 1.3.1).

Частный случай этого результата для функции Лебега-Лагерра чезаровских средних ранее был установлен Е. Гёрлихом и К. Маркеттом в работе [48].

Во второй главе изучается задача о сходимости рядов Фурье-Лагерра с квазимонотонными коэффициентами. Рассматривается ряд по стандартизованным многочленам Лагерра

00

5) т=О при этом предполагается, что он является рядом Фурье-Лагерра некоторой 00 функции /, то есть что ат = —-— j' ta e~l f (t) Lam (t)/Lam (0)dt

1 + 1J 0 m = 0,1,.).

В § 2.1 доказаны теоремы.

Теорема 2.1.2. Пусть ряд (5) есть ряд Фурье по многочленам Лагерра Ц^ функции f e~La (0,оо) (0 < а). Если последовательность квазимонотонна для некоторого JH > 0, то для сходимости его к f в метрике La (0,оо) необходимо и достаточно, чтобы ma+l/2am ->0 (т-> со). а 1

Теорема 2.1.3. Пусть < У < mm а О а,—ь — 2 4 1

ОС > — — и пусть

V ^ ^ J ряд (5) есть ряд Фурье по многочленам Лагерра функции f £ Ly (О, оо).

Если последовательность квазимонотонна для некоторого jLl> 0, то для сходимости его к f в метрике необходимо и достаточно, чтобы атт

7+1/2 0 (т—»оо).

Третья глава посвящена вопросу сходимости линейных средних в точке X = 0 при условии, что она является точкой Лебега.

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

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

В § 3.3 строятся и исследуются монотонные мажоранты для ядер Фейера и Валле Пуссена. В первом случае доказывается интегрируемость этой мажоранты, а во втором случае даётся оценка для интеграла от построенной функции, которая в дальнейшем будет использована для доказательства основных результатов третьей главы.

Четвертый параграф третьей главы посвящен доказательству следующей теоремы.

Теорема 3.4.1. Пусть -1 < а <1/2 и матрица А удовлетворяет следующим условиям:

1) Л^ —> 1 при YI —> оо для всякого фиксированного Ш ; т п

2) £(f» + l) т- О

А2Л{п) гл /ьт с.

Тогда ряд Фурье-Лагерра функции f G L^OjOo), имеющей точку X = О точкой Лебега, А-суммируем в этой точке.

В теореме 3.4.1 предполагается, что функция / интегрируема на бесконечности с единичным весом, что является сильным требованием. Желательно ослабить ограничение на интегрируемость функции на бесконечности. Это можно сделать, применяя теорему Д.К. Фаддеева о сходимости сингулярных интегралов в точках Лебега не на всём промежутке

О, оо), а на некотором отрезке, содержащем точку X = О (точку Лебега), а на оставшемся промежутке применяя другие соображения. Этому и посвящен пятый параграф главы 3, в котором доказаны основные результаты главы о суммируемости в точке Лебега X = 0 ряда Фурье-Лагерра функции е L р(а)

00 f\\f\Vp(a) = \\f{tb"tadt<^

Теорема 3.5.1. Пусть —lIlKCKXjl и матрица А, коэффициенты которой ограничены, удовлетворяет условиям:

1) Нш Л^ = 1 для всякого фиксированного т; п—>00 1 f rt-уиЛо а

2) £(/и +1) т-О п-т v п +1

2 А2Х^

С;

3) существует число 8 < О, такое, что п

2+3/4 т=О

А 2Л{п)

Спс

Если функция f G ^Дсг) удовлетворяет условию оо ф-'/2га/2+<?-13/12Л<оо, то ряд Лагерра функции У Л - суммируем в точке Лебега X = 0.

Кроме теоремы 3.5.2, в § 3.5 получена ещё одна теорема о суммируемости рядов Фурье-Лагерра в точке Лебега X — 0, в которой ограничение на поведение функции на бесконечности состоит в требовании интегрируемости функции в некоторой степени в окрестности бесконечности.

Теорема 3.5.2. Пусть —1/2 < ОС <1/2 и ограниченная матрица А удовлетворяет условиям:

1) lim Я^ = 1 для всякого фиксированного Ш;

П—>оэ

2) 2 (»»+ 1)| т=О п-т п +1 а у а2я

С; и, кроме того, существует число д < 0, такое, что п

3) + т=О а/2+3/4

А 1Х{п)

Спс

Тогда ряд Фурье-Лагерра функции f Е А- суммируем в точке

Лебега t = 0, если существует число Z >0 такое, что оо

МО'

-//2 tadt< оо для некоторого р> 1; причем в случае 1/6 <ос< 1/2 и 8 > 1/12-а/2 предполагается, что р удовлетворяет дополнительному условию

2а + \2 р<-.

6а-1 + 125

Результаты диссертации докладывались на 12-й и 13-й Саратовских зимних математических школах (Саратов, 2004, 2006), Воронежской зимней математической школе (Воронеж, 2005), III и VI международных симпозиумах «Ряды Фурье и их приложения» (Новороссийск, 2005, 2006), на семинарах под руководством проф. С. А. Теляковского (МИРАН им. В. А. Стеклова, 2005, 2004), на научных семинарах по теории функций и ортогональных рядов под руководством акад. П. Л. Ульянова, проф. М. К. Потапова, проф. М.И. Дьяченко (мех.-мат. МГУ, 2005, 2006). По теме диссертации опубликовано 10 научных работ [6-15].

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

20

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Бурмистрова, Мария Дмитриевна, Москва

1. Алексия Г. Проблемы сходимости ортогональных рядов. М., 1963.

2. Бабаев А. X. О приближении функций с заданным модулем непрерывности частичными суммами Фурье-Лагерра. УМН, 1967, т. XXII, №2, с. 130-132.

3. Бари Н. К. Тригонометрические ряды. М., 1961.

4. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции, т.2, М., 1974.

5. Бернштейн С. Н. О весовых функциях. Докл. АН СССР, 1951,т. 77, с. 549-552.

6. Бурмистрова М. Д. О необходимых и достаточных условиях суммируемости в нуле рядов Фурье-Лагерра. Тезисы докладов 12-й Саратовской зимней математической школы. Саратов 2004, с. 38-39.

7. Бурмистрова М. Д. О равномерной регулярности методов суммирования рядов Фурье-Лагерра. Тезисы докладов Воронежской зимней математической школы. Воронеж, 2005, с. 46-47.

8. Бурмистрова М. Д. О суммируемости рядов Лагерра в точках Лебега. Тезисы докладов 13-й Саратовской зимней математической школы. Саратов, 2006, с. 41.

9. Бурмистрова М. Д. О линейных методах суммирования рядов Лагерра для полуцелых а. Тезисы IX Международной конференции «Математика. Экономика. Образование» и IV Международного симпозиума «Ряды Фурье и их приложения», Ростов-на-Дону, 2006 г, с. 18-19.

10. Бурмистрова М. Д. О сходимости в метриках пространств La (0, оо) и Laj2 (О, оо) рядов Фурье-Лагерра с квазимонотонными коэффициентами.Вестник Московского государственного университета печати, 2006, с. 714.

11. Burmistrova М. D. On necessary and sufficient conditions of the regularity of summation methods for Laguerre-Fourier series. Analysis Math., 2006, v. 32, № 4, p. 247-264.

12. Бурмистрова M. Д. О суммируемости рядов Лагерра в точках Лебега. Сборник научных трудов «Фундаментальные физико-математические проблемы и моделирование технико-технологических систем», вып. 9, М., Изд-во «Янус-К», 2006, с. 8-12.

13. Бурмистрова М. Д. О суммируемости рядов Лагерра линейными методами. Известия Саратовского университета, 2008, Т. 8. Сер. Математика. Механика. Информатика, вып. 1, с. 15-20.

14. Владимиров B.C. Уравнения математической физики. М., 1967.

15. Геронимус Я. Л. Многочлены, ортогональные на окружности и на отрезке. М: Государственное изд-во физ.-мат. литературы, 1958.

16. Джексон Д. Ряды Фурье и ортогональные полиномы. Москва-Ижевск, 2002.

17. Ефимов А. В. О линейных методах суммирования рядов Фурье. Изв. АН СССР сер. матем., 1960, т. 24, с. 743-756.

18. Зигмунд А. Тригонометрические ряды. Изд-во "Мир", Москва, 1965.

19. Кальней С. Г. Суммируемость рядов Якоби треугольными матрицами. Матем. Заметки, 1983, т. 34, № 1, с. 91-103.

20. Кальней С. Г. О линейных методах суммирования рядов Якоби для полуцелых ОС. Analysis Mathem., 1996, v. 22, p. 35-50.

21. Кальней С. Г. О необходимых и достаточных условиях суммируемости рядов Якоби. Изв. ВУЗов, матем., № 5, 1991, т. 348, с. 75-78.

22. Кальней С. Г. О сходимости в среднем рядов Фурье-Якоби с квазимонотонными коэффициентами. Труды МИАН, 1986, т. 173, с. 136139.

23. Кальней С. Г. Об оценке снизу функции Лебега линейных средних рядов Фурье-Якоби. Труды МИАН, 1984, т. 170, с. 113-118.

24. Канторович Л. В., Акилов Г. П. Функциональный анализ. М., 1984.

25. Качмаж С., Штейнгауз Г. Теория ортогональных рядов. М., Физматгиз, 1958.

26. Кашин Б.С., Саакян А.А. Ортогональные ряды. М.: Наука, 1984.

27. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М.: Наука, 1981.

28. Лащенов В. К. Приближение дифференцируемых функций частными суммами ряда Фурье-Лагерра. Изв. ВУЗов, матем., № 1, 1981, т. 224, с. 44-57.

29. Натансон И. П. Теория функций вещественной переменной. М., 1974.

30. Никольский С. М. О линейных методах суммирования рядов Фурье. Изв. АН СССР, сер. матем., 1948, т. 12, с. 259-278.

31. Осиленкер Б. П. О сходимости и суммируемости разложений Фурье по ортонормированным полиномам, ассоциированным с разностными операторами второго порядка. Сиб. матем. ж., 1974, т. 15, № 4, с. 892-908.

32. Осиленкер Б. П. Оценка роста функции Лебега линейных методов суммирования. Матем. Заметки., 1968, т. 6, № 3, с. 277-286.

33. Потапов М. К., Танкаева С. К. О структурных характеристиках функций с данным порядком наилучшего приближения алгебраическими многочленами. Вестн. МГУ, 1994, сер. 1, Математика. Механика, № 1, с. 46-54.

34. Сегё Г. Ортогональные многочлены. М.: Физматгиз, 1962.

35. Суетин П.К. Классические ортогональные многочлены. 3-е изд., М.: Физматлит, 2007.

36. Теляковский С. А., Фомин Г.А. О сходимости в метрике L рядов Фурье с квазимонотонными коэффициентами. Труды МИАН, 1975,т. 134, с. 310313.

37. Топурия С. Б. Ряды Фурье-Лапласа на сфере. Изд-во Тбилисского Ун-та, Тбилиси, 1987.

38. Фаддеев Д. К. О представлении суммируемых функций сингулярными интегралами в точках Lebesgue'a. Матем. сб. 1936. т. 1/43, №3. с. 351-368.

39. Федоров В. М. Аппроксимация многочленами на полуоси. Конструктивная теория функций 81. София, 1983, с. 181-184.

40. Askey R., Wainger S. Mean convergence of expansions in Laguerre and Hermite series. Amer. J. Math., 1965, v. 87, p. 695-708.

41. Askey R. Orthogonal polynomials and positivity. Studies in Applied Mathematics, Wave Propagation and Special Functions, SIAM, 1970, p. 64-85.

42. Freud G. Orthogonale Polynome. Berlin, 1969.

43. Gasper G., Trebels W. A lower estimate for the Lebesgue constants of linear means of Laguerre expansions. Res. Math. 1998, v. 34, p. 91-100.

44. Gasper G., Trebels W. On a restriction problem of de Leeuw type for Laguerre multipliers. Acta. Math. Hungar., 1995, v. 68, № 1-2, p. 135-149.

45. Gasper G., Trebels W. On necessary multiplier conditions for Laguerre expansions. Canad. J. Math., 1991, p. 1228-1242.

46. Gorlich E., Markett C. A convolution structure for Laguerre series. Indag. Math., 1982, v. 44, p. 161-171.

47. Gorlich E., Markett C. On approximation by Cesaro means of the Laguerre expansion and best approximation. Res. Math, 1979, v. 2, p. 124-150.

48. Gupta D. P. Cesaro summability of Laguerre series. Approx. Theory v. 7 1973, p. 226-238.

49. Kal'nei S. G. On the summability of Jacobi series at Lebesgue points. Analysis Math., 2003., v. 29, p. 181-194.

50. Kolmogorov A. N. Sur l'ordre de grandeur des coefficients de la smie de Fourier-Lebesgue. Bull. Acad, polon. sci. (A), sci. math., 1923, p. 83-86.

51. Markett C. Mean Cesaro summability of Laguerre expansions and norm estimates with shifted parameter. Analysis. Math. 1982, v. 8, p. 19-37.

52. Markett C. Norm estimates for Cesaro means of Laguerre expansions. Approximation and Function Spaces (Proc. Conf. Gdansk, 1979); p. 419-435, North Holland (Amsterdam, 1981).

53. Muckenhoupt B. Mean convergence of Hermite and Laguerre series I. Trans. Amer. Math. Soc., 1970, v. 147, p. 419-431.

54. Muckenhoupt B. Mean convergence of Hermite and Laguerre series II. Trans. Amer. Math. Soc., 1970, v. 147, p. 433-460.

55. Poiani E. L. Mean Cesaro summability of Laguerre and Hermite series. Trans. Amer. Math. Soc., 1972, v. 173, p. 1-31.

56. Pollard H. The mean convergence of orthogonal series II. Trans. Amer. Math. Soc., 1948, v. 63, p. 355-367.

57. Potapov M. K., Tankaeva S. K. On approximation of functions on the half-line by algebraic polynomials. Analysis Math., 1994, v. 20, p. 107-115.

58. Tang Ping. On linear summation methods of Fourier-Laplace series II, Analysis Math., 1998, v. 25, p. 151-162.

59. Thangavelu S. Transplantation, summability and multipliers for multiple Laguerre expansions. Tohoku Math. J., 1992, v. 44, p. 279-298.

60. Yadav S. P. Approximation of Fourier-Laguerre Expansions by its Cesaro mean in certain Banach Spaces. Approx. Theory, 1983, v. 39, p.l53-156.