Диплом на тему Сингулярные интегралы
Работа добавлена на сайт bukvasha.net: 2014-06-22Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего
от 25%

Подписываем
договор
Федеральное агентство по образованию
Государственное муниципальное образовательное учреждение
высшего профессионального образования
Вятский государственный гуманитарный университет
(ВятГГУ)
Математический факультет
Кафедра математического анализа и методики преподавания математики
Выпускная квалификационная работа
Сингулярные интегралы.
Выполнила:
студентка V курса
математического факультета
Сколова Ирина Юрьевна
____________________
Научный руководитель:
старший преподаватель кафедры математического анализа и МПМ
Гукасов Артур Константинович
____________________
Рецензент:
кандидат физико-математических наук, доцент
Подгорная Ирина Иссаковна
____________________
Допущена к защите в ГАК
Зав. кафедрой ___________________ Крутихина М. В.
« » _______________
Декан факультета ___________________ Варанкина В. И.
« » _______________
Киров 2005
§1. Понятие сингулярного интеграла…………………………………………с. 6
§2. Представление функции сингулярным интегралом в заданной точке…с. 11
§3. Приложения в теории рядов Фурье.............................................................с. 18
§4. Сингулярный интеграл Пуассона................................................................с. 23
Литература……………………………………………………………………...с. 27
Основной вопрос теории сингулярных интегралов состоит в установлении связи предельных значений интеграла 
при 
со значением функции f (t) в точке x. Важным также является вопрос о представлении суммируемой функции сингулярным интегралом в точках, где эта функция служит производной своего неопределенного интеграла, или в точках Лебега. Теория сингулярных интегралов имеет многочисленные приложения. Например, вопрос о сходимости ряда Фурье разрешается с помощью сингулярного интеграла.
Во всем дальнейшем интеграл будем понимать в смысле интеграла Лебега. Напомним, что функция называется суммируемой, если существует конечный интеграл от этой функции.
В работе нам будут необходимы следующие определения и теоремы.
Определение. Если в точке x будет 
и 
, то точка x называется точкой Лебега функции f (t).
Теорема (Н. Н. Лузин). Пусть f (x) измеримая и почти везде конечная функция, заданная на [a, b]. Каково бы ни было δ>0, существует такая непрерывная функция 
, что 
.
Если, в частности, 
, то и 
.
Теорему Н. Н. Лузина можно сформулировать и так: измеримая и почти везде конечная функция становится непрерывной, если пренебречь множеством сколь угодно малой меры.
Определение. Пусть дано измеримое множество E. Взяв произвольную точку x и число h>0, положим E( 
, h)=E∙[ 
-h, 
+h]. Это тоже измеримое множество.
Предел отношения 
при h→0 называется плотностью множества E в точке 
и обозначается через 
.
Определение. Пусть функция f (x) задана на сегменте [a, b] и 
. Если существует такое измеримое множество E, лежащее на [a, b] и имеющее точку 
точкой плотности, что f (x) вдоль E непрерывна в точке 
, то говорят, что f (x) аппроксимативно непрерывна в точке 
.
Определение. Измеримая функция f (x) называется функцией с суммируемым квадратом, или функцией, суммируемой с квадратом, если

.
Множество всех функций с суммируемым квадратом обозначается символом 
.
Определение. Пусть на сегменте [a, b] задана конечная функция f (x). Если всякому ε>0 отвечает такое δ>0, что для любой конечной системы взаимно не пересекающихся интервалов 
, для которой 
оказывается

, (3)
то говорят, что функция f (x) абсолютно непрерывна.
Не изменяя смысла определения, можно условие (3) заменить более тяжелым условием 
.
Определение. Две функции f (x) и g(x), заданные на сегменте [a, b], называются взаимно ортогональными, если 
.
Определение. Функция f (x), заданная на [a, b], называется нормальной, если 
.
Определение. Система функций 
, 
, 
, …, заданных на сегменте [a, b], называется ортонормальной системой, если каждая функция системы нормирована, а любые две функции системы взаимно ортогональны.
Определение. Пусть 
есть ортонормальная система и f (x) некоторая функция из 
. Числа 
называются коэффициентами Фурье функции f (x) в системе 
.
Ряд 
называется рядом Фурье функции f (x) в системе 
.
Рассмотрим функцию

. (1)
Если n и x фиксированы, а t меняется от 0 до 1, то эта функция есть непрерывная функция от t. Значит, для всякой суммируемой f (t) ( 
) можно образовать величину

. (2)
Докажем, что во всякой точке x (0<x<1), в которой функция f(t) непрерывна, будет

. (3)
Для этого прежде всего отметим, что при 

. (4)
Поэтому, чтобы установить (3), достаточно показать, что при 
стремится к нулю разность

.
Возьмем произвольное 
и найдем такое 
, что при 
будет 
. Считая, что 
, представим 
в форме

.
Интеграл 
оценивается следующим образом:

.
В интеграле 
будет 
, поэтому


,
где 
не зависит от n. Аналогично 
и, следовательно, 
,
так что при достаточно больших n будет 
, т. е. 
стремится к 0 с возрастанием n, что и требовалось доказать.
Соотношение (3) обеспечивают следующие свойства функции 
: при больших значениях n те значения 
, которые отвечают сколько-нибудь заметно удаленным от x значениям t, очень малы, так что величина интеграла (2) определяется в основном значениями подынтегральной функции в непосредственной близости точки x. Но около точки x функция f (t) почти равна f (x) (т. к. она непрерывна при t=x). Значит, если n велико, то интеграл (2) мало изменяется при замене f (t) на f (x), т. е. он почти равен интегралу

и, в силу (4), почти равен f (x).
Функция 
, обладающая подобными свойствами, носит название ядра.
Определение. Пусть функция 
(n=1, 2, …), заданная в квадрате ( 
, 
), суммируема по t при каждом фиксированном x. Она называется ядром, если 
при условии, что 
.
Определение. Интеграл вида 
, где 
есть ядро, называется сингулярным интегралом.
В теории сингулярных интегралов очень важен вопрос установления связи предельных значений интеграла 
при 
со значением функции
f (t) в точке x. Так как изменение значения функции f (t) в одной точке никак не отражается на величине 
, то необходимо потребовать, чтобы значение f (x) функции f (t) в точке x было как-то связано с ее значениями в близких точках. Простейшая форма такой связи есть непрерывность функции f (t) в точке t=x. Другими формами связи могут служить аппроксимативная непрерывность, требование, чтобы x была точкой Лебега функции f (t), и т. п.
Теорема 1 (А. Лебег). Пусть на [a, b] задана последовательность измеримых функций 
, 
, 
, … Если существует такая постоянная K, что при всех n и t будет

, (5)
и если при всяком c ( 
) будет

, (6)
то, какова бы ни была суммируемая на [a, b] функция f (t), справедливо равенство

. (7)
Доказательство. Если 
есть сегмент, содержащийся в [a, b], то из (6) следует, что

. (8)
Рассмотрим непрерывную функцию f (t), и для наперед заданного 
разложим [a, b] точками 
на столь малые части, чтобы в каждой из них колебание f (t) было меньше, чем ε.
Тогда 
. (9)
Но 
, так что первая сумма из (9) не больше, чем Kε(b-a). Вторая же сумма (9), в силу (8), стремится к нулю с возрастанием n и для 
окажется меньшей, чем ε. Для этих n будет

,
так что (7) доказано для непрерывной функции f(t).
Пусть f (t) измеримая ограниченная функция 
.
Возьмем ε>0 и, пользуясь теоремой Н. Н. Лузина, найдем такую непрерывную функцию g(t), что 
, 
.
Тогда 
.
Но 
.
Интеграл 
по уже доказанному стремится к нулю и для достаточно больших n становится меньше ε. Значит, для этих n будет

,
что доказывает (7) для случая ограниченной измеримой функции.
Пусть f (t) произвольная суммируемая функция.
Возьмем ε>0 и, пользуясь абсолютной непрерывностью интеграла, найдем такое δ>0, чтобы для любого измеримого множества 
с мерой me<δ было 
.
Сделав это, найдем такую измеримую ограниченную функцию g(t), чтобы было 
. Это возможно по
Теореме. Пусть на множестве Е задана измеримая, почти везде конечная функция f (x). Каково бы ни было ε>0, существует измеримая ограниченная функция g(x) такая, что 
.
Можно считать, что на множестве 
функция g(t) равна нулю.
Тогда 
.
Но 
.
Интеграл же 
при достаточно больших n будет меньше ε, и при этих n окажется 
, что и доказывает теорему.
Пример. Пусть 
. Тогда 
и 
. Следовательно выполнены оба условия теоремы Лебега. Аналогично рассматривается случай 
. Таким образом доказана
Теорема 2 (Риман-Лебег). Для любой суммируемой на [a, b] функции
f (t) будет 
.
В частности, коэффициенты Фурье 
, 
произвольной суммируемой функции стремятся к нулю при 
.
Если соотношение (7) имеет место для всякой суммируемой на [a, b] функции f (t), то мы будем говорить, что последовательность 
слабо сходится к нулю.

при фиксированных n и x ограничено. Тогда сингулярный интеграл 
имеет смысл при любой суммируемой функции f (t).
Теорема 1 (А. Лебег). Если при фиксированном x(a<x<b) и любом δ>0 ядро 
слабо сходится к нулю в каждом из промежутков [a, x-δ],
[x+δ, b] и 
, где H(x) не зависит от n, то, какова бы ни была суммируемая функция f (t), непрерывная в точке x, справедливо равенство
.
Доказательство. Так как 
есть ядро, то
,
и достаточно обнаружить, что
.
С этой целью, взяв ε>0, найдем такое δ>0, что при 
будет

.
Это возможно в силу непрерывности функции f в точке x.
Тогда при любом n 
.
Но каждый из интегралов 
, 
при 
стремится к нулю, т. к. 
слабо сходится к нулю в каждом из промежутков [a, x-δ], [x+δ, b]. Поэтому для 
каждый из них будет по абсолютной величине меньше ε/3.
И для этих n окажется 
, что и требовалось доказать.
Эта теорема относится к представлению суммируемой функции в точках непрерывности, но суммируемая функция, вообще говоря, не имеет ни одной точки непрерывности, что понижает интерес этой теоремы.
Больший интерес представляет вопрос о представлении суммируемой функции в тех точках, где эта функция служит производной своего неопределенного интеграла, или в точках Лебега, так как и те и другие точки заполняют почти весь сегмент задания функции. Перейдем к рассмотрению этого вопроса.
Лемма (И. П. Натансон). Пусть на сегменте [a, b] дана суммируемая функция f (t), обладающая тем свойством, что
. (1)
Какова бы ни была неотрицательная убывающая функция g(t), заданная и суммируемая на [a, b], интеграл

(2)
существует (может быть как несобственный при t=a) и справедливо неравенство

. (3)
В пояснение условий леммы заметим, что не исключается случай, когда 
. Если же 
, то функция g(t) ограничена, и интеграл (2) существует как обычный интеграл Лебега.
Переходя к доказательству леммы, заметим, что не ограничивая общности, можно принять, что g(b)=0. Действительно, если бы это не было так, то можно было ввести вместо g(t) функцию g*(t), определив ее равенствами
g(t), если 
,
g*(t)=
0, если t=b.
Доказав теорему для g*(t), мы затем смогли бы всюду заменить g*(t) на g(t), т. к. такая замена не отражается на величине интересующих нас интегралов. Итак, считаем, что g(b)=0.
Пусть a<α<b. На сегменте [α, b] функция g(t) ограничена, и интеграл
(4)
заведомо существует. Если положить 
, то интеграл (4) можно записать в форме интеграла Стилтьеса

,
откуда, после интегрирования по частям, находим

.
Но, в силу (1), мы имеем, что для любого h из интервала [0, t-a] выполняется неравенство 
и следовательно

, (5)
а так как g(t) убывает, то

. (6)
Значит 
. С другой стороны, функция –g(t) возрастает. Отсюда и из (5) следует, что

.
Преобразуем стоящий справа интеграл по формуле интегрирования по частям:

.
Отсюда, учитывая (6), следует, что

.
Сопоставляя все сказанное, получаем:

. (7)
Хотя это неравенство установлено при предположении, что g(b)=0, но оно останется верным и без этого предположения. Значит, можно заменить здесь предел b на β, где α<β<b. Но тогда, устремляя α и β к a, получим 
,
чем доказывается существование интеграла (2). Если в (7) перейти к пределу при 
, то получим (3). Лемма доказана. (В оценке (3) множителя M уменьшить нельзя, так как при f (t)=1 в (3) достигается равенство.)
Теорема 2 (П. И. Романовский). Пусть ядро 
положительно и обладает следующим свойством: при фиксированных n и x ядро 
, как функция одного лишь t, возрастает в сегменте [a, x] и убывает в сегменте
[x, b].
Тогда для любой суммируемой функции f (t), которая в точке x является производной своего неопределенного интеграла, будет
.
Государственное муниципальное образовательное учреждение
высшего профессионального образования
Вятский государственный гуманитарный университет
(ВятГГУ)
Математический факультет
Кафедра математического анализа и методики преподавания математики
Выпускная квалификационная работа
Сингулярные интегралы.
Выполнила:
студентка V курса
математического факультета
Сколова Ирина Юрьевна
____________________
Научный руководитель:
старший преподаватель кафедры математического анализа и МПМ
Гукасов Артур Константинович
____________________
Рецензент:
кандидат физико-математических наук, доцент
Подгорная Ирина Иссаковна
____________________
Допущена к защите в ГАК
Зав. кафедрой ___________________ Крутихина М. В.
« » _______________
Декан факультета ___________________ Варанкина В. И.
« » _______________
Киров 2005
Оглавление
Введение………………………………………………………………………...с. 3§1. Понятие сингулярного интеграла…………………………………………с. 6
§2. Представление функции сингулярным интегралом в заданной точке…с. 11
§3. Приложения в теории рядов Фурье.............................................................с. 18
§4. Сингулярный интеграл Пуассона................................................................с. 23
Литература……………………………………………………………………...с. 27
Введение
Цель работы – познакомиться с понятием сингулярного интеграла, рассмотреть представление функции сингулярным интегралом в заданной точке и приложения в теории рядов Фурье.Основной вопрос теории сингулярных интегралов состоит в установлении связи предельных значений интеграла
Во всем дальнейшем интеграл будем понимать в смысле интеграла Лебега. Напомним, что функция называется суммируемой, если существует конечный интеграл от этой функции.
В работе нам будут необходимы следующие определения и теоремы.
Определение. Если в точке x будет
Теорема (Н. Н. Лузин). Пусть f (x) измеримая и почти везде конечная функция, заданная на [a, b]. Каково бы ни было δ>0, существует такая непрерывная функция
Если, в частности,
Теорему Н. Н. Лузина можно сформулировать и так: измеримая и почти везде конечная функция становится непрерывной, если пренебречь множеством сколь угодно малой меры.
Определение. Пусть дано измеримое множество E. Взяв произвольную точку x и число h>0, положим E(
Предел отношения
Определение. Пусть функция f (x) задана на сегменте [a, b] и
Определение. Измеримая функция f (x) называется функцией с суммируемым квадратом, или функцией, суммируемой с квадратом, если
Множество всех функций с суммируемым квадратом обозначается символом
Определение. Пусть на сегменте [a, b] задана конечная функция f (x). Если всякому ε>0 отвечает такое δ>0, что для любой конечной системы взаимно не пересекающихся интервалов
то говорят, что функция f (x) абсолютно непрерывна.
Не изменяя смысла определения, можно условие (3) заменить более тяжелым условием
Определение. Две функции f (x) и g(x), заданные на сегменте [a, b], называются взаимно ортогональными, если
Определение. Функция f (x), заданная на [a, b], называется нормальной, если
Определение. Система функций
Определение. Пусть
Ряд
§1. Понятие сингулярного интеграла
Чтобы познакомиться с идеей, лежащей в основе понятия сингулярного интеграла, начнем с примера.Рассмотрим функцию
Если n и x фиксированы, а t меняется от 0 до 1, то эта функция есть непрерывная функция от t. Значит, для всякой суммируемой f (t) (
Докажем, что во всякой точке x (0<x<1), в которой функция f(t) непрерывна, будет
Для этого прежде всего отметим, что при
Поэтому, чтобы установить (3), достаточно показать, что при
Возьмем произвольное
Интеграл
В интеграле
где
так что при достаточно больших n будет
Соотношение (3) обеспечивают следующие свойства функции
и, в силу (4), почти равен f (x).
Функция
Определение. Пусть функция
Определение. Интеграл вида
В теории сингулярных интегралов очень важен вопрос установления связи предельных значений интеграла
f (t) в точке x. Так как изменение значения функции f (t) в одной точке никак не отражается на величине
Теорема 1 (А. Лебег). Пусть на [a, b] задана последовательность измеримых функций
и если при всяком c (
то, какова бы ни была суммируемая на [a, b] функция f (t), справедливо равенство
Доказательство. Если
Рассмотрим непрерывную функцию f (t), и для наперед заданного
Тогда
Но
так что (7) доказано для непрерывной функции f(t).
Пусть f (t) измеримая ограниченная функция
Возьмем ε>0 и, пользуясь теоремой Н. Н. Лузина, найдем такую непрерывную функцию g(t), что
Тогда
Но
Интеграл
что доказывает (7) для случая ограниченной измеримой функции.
Пусть f (t) произвольная суммируемая функция.
Возьмем ε>0 и, пользуясь абсолютной непрерывностью интеграла, найдем такое δ>0, чтобы для любого измеримого множества
Сделав это, найдем такую измеримую ограниченную функцию g(t), чтобы было
Теореме. Пусть на множестве Е задана измеримая, почти везде конечная функция f (x). Каково бы ни было ε>0, существует измеримая ограниченная функция g(x) такая, что
Можно считать, что на множестве
Тогда
Но
Интеграл же
Пример. Пусть
Теорема 2 (Риман-Лебег). Для любой суммируемой на [a, b] функции
f (t) будет
В частности, коэффициенты Фурье
Если соотношение (7) имеет место для всякой суммируемой на [a, b] функции f (t), то мы будем говорить, что последовательность
§2. Представление функции сингулярным интегралом в заданной точке
Во всем дальнейшем будем считать, что ядроТеорема 1 (А. Лебег). Если при фиксированном x(a<x<b) и любом δ>0 ядро
[x+δ, b] и
Доказательство. Так как
и достаточно обнаружить, что
С этой целью, взяв ε>0, найдем такое δ>0, что при
Это возможно в силу непрерывности функции f в точке x.
Тогда при любом n
Но каждый из интегралов
И для этих n окажется
Эта теорема относится к представлению суммируемой функции в точках непрерывности, но суммируемая функция, вообще говоря, не имеет ни одной точки непрерывности, что понижает интерес этой теоремы.
Больший интерес представляет вопрос о представлении суммируемой функции в тех точках, где эта функция служит производной своего неопределенного интеграла, или в точках Лебега, так как и те и другие точки заполняют почти весь сегмент задания функции. Перейдем к рассмотрению этого вопроса.
Лемма (И. П. Натансон). Пусть на сегменте [a, b] дана суммируемая функция f (t), обладающая тем свойством, что
Какова бы ни была неотрицательная убывающая функция g(t), заданная и суммируемая на [a, b], интеграл
существует (может быть как несобственный при t=a) и справедливо неравенство
В пояснение условий леммы заметим, что не исключается случай, когда
Переходя к доказательству леммы, заметим, что не ограничивая общности, можно принять, что g(b)=0. Действительно, если бы это не было так, то можно было ввести вместо g(t) функцию g*(t), определив ее равенствами
g*(t)=
0, если t=b.
Доказав теорему для g*(t), мы затем смогли бы всюду заменить g*(t) на g(t), т. к. такая замена не отражается на величине интересующих нас интегралов. Итак, считаем, что g(b)=0.
Пусть a<α<b. На сегменте [α, b] функция g(t) ограничена, и интеграл
заведомо существует. Если положить
откуда, после интегрирования по частям, находим
Но, в силу (1), мы имеем, что для любого h из интервала [0, t-a] выполняется неравенство
а так как g(t) убывает, то
Значит
Преобразуем стоящий справа интеграл по формуле интегрирования по частям:
Отсюда, учитывая (6), следует, что
Сопоставляя все сказанное, получаем:
Хотя это неравенство установлено при предположении, что g(b)=0, но оно останется верным и без этого предположения. Значит, можно заменить здесь предел b на β, где α<β<b. Но тогда, устремляя α и β к a, получим
чем доказывается существование интеграла (2). Если в (7) перейти к пределу при
Теорема 2 (П. И. Романовский). Пусть ядро
[x, b].
Тогда для любой суммируемой функции f (t), которая в точке x является производной своего неопределенного интеграла, будет
Доказательство. Так как 
есть ядро, то 
и достаточно проверить, что
.
Разбивая последний интеграл на два, распространенные на сегменте
[a, x] и [x, b], рассмотрим второй из них, так как первый изучается аналогично.
Возьмем ε>0 и найдем такое δ>0, что при 
будет

,
что возможно, так как f (t) в точке t=x есть производная своего неопределенного интеграла. То есть 
и 
.
Тогда по предыдущей лемме

.
Так как 
есть ядро, то 
.
Величина, имеющая конечный предел, ограничена. Значит, существует постоянная K(x) такая, что 
.
Таким образом,

.
С другой стороны, если 
, то
.
Значит функции 
на сегменте [x+δ, b] равномерно ограничены и выполнено условие (5) теоремы Лебега из §1. Но второе ее условие, т. е. условие (6), также выполнено для этих функций, т. к. 
является ядром. Следовательно 
на сегменте [x+δ, b] слабо сходится к нулю, и для достаточно больших n будет
.
При этих n окажется
,
так что
.
Теорема доказана.
В качестве примера ее приложения рассмотрим интеграл Вейерштрасса
.
Функция
есть ядро, т. к. при α<x<β
.
Эта функция положительна, и она возрастает при 
и убывает при 
. Значит, для всякой 
будет 
в каждой точке x, где f (t) есть производная своего неопределенного интеграла.
Определение. Функция Ψ(t, x) называется горбатой мажорантой функции 
, если 
и если Ψ(t, x) при фиксированном x возрастает на сегменте [a, x] и убывает на сегменте [x, b].
Теорема 3 (Д. К. Фаддеев). Если ядро
при каждом n имеет такую горбатую мажоранту 
, что
,
где K(x) зависит лишь от x, то для любой 
, имеющей точку t=x точкой Лебега, будет справедливо равенство
.
Доказательство. Достаточно доказать, что
.
Возьмем ε>0 и найдем такое δ>0, что при 
будет

.
По лемме имеем

.
С другой стороны, в сегменте [x+δ, b] последовательность 
слабо сходится к нулю, т. к. при
будет
.
Следовательно для достаточно больших n будет
.
При этих n окажется 
,
так что
. Теорема доказана.

. В частности, если речь идет о тригонометрической системе

, (1)
то рядом Фурье функции f (x) служит ряд

, (2)
где

, 
. (3)
Во введении предполагали, что 
. Это предположение обеспечило существование коэффициентов Фурье 
функции f (x) в любой ортонормальной системе. Но функции системы (1) ограничены. Поэтому коэффициенты (3), а с ними и ряд (2), можно образовать для любой суммируемой функции.
Вопрос о сходимости ряда (2) приводится к исследованию некоторого сингулярного интеграла. Если 
, то, в силу (3), 
.
Выведем формулу для упрощения выражения в скобках. Для этого сложим равенства

(k=0, 1, …, n-1),

.
Это дает 
, откуда следует равенство

, (4)
Пользуясь этой формулой, придадим сумме 
вид

. (5)
Этот интеграл есть сингулярный интеграл Дирихле.
Рассмотрим вопрос о суммировании ряда (2) по способу Чезаро. Этот способ состоит в отыскании предела среднего арифметического первых n сумм 
:


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

.
Но 
. (7)
Действительно, складывая равенства

(k=0, 1, …, n-1),
находим 
, откуда и следует (7).
С помощью (7) получаем 
. (8)
Интеграл (8) есть сингулярный интеграл Фейера. Покажем, что для него выполнены условия теоремы Фаддеева.
Для этого рассмотрим функцию f (t)=1. Вычисляя ее коэффициенты Фурье по формулам (3), получим 
(k=1, 2, …).
Значит, для этой функции 
(n=0, 1, 2, …), а следовательно и 
.
Но выражая 
интегралом Фейера, получим, что

. (9)
Заметив это, рассмотрим точку 
. Пусть 
. Если 
, то 
, и, следовательно, 
, где A(x, α) не зависит от n.
Отсюда следует, что 
.
Аналогично убедимся, что интеграл стремится к нулю по промежутку [β, π]. Сопоставляя это с (9), находим, что

,
так что функция 
есть ядро.
Для этого ядра можно построить горбатую мажоранту. Заметим, что 
. Отсюда 
. Но 
.
Следовательно 
и

. (10)
С другой стороны, когда 
, то 
, так что

. (11)
Так как 
, 
, то 
может оказаться и больше, чем 
. Но это несущественно. Если положим 
, 
, то разность между интегралом Фейера (8) и интегралом

при возрастании n стремится к нулю (т. к., например, при 
будет 
), поэтому все рассуждения можно вести для интеграла 
.
Из (10) и (11) следует, что

.
Функция 
есть горбатая мажоранта ядра Фейера.
Но 
, т. е. интегралы от мажоранты ограничены числом, не зависящим от n.
Итак, интеграл Фейера удовлетворяет условиям теоремы
Д. К. Фаддеева. Отсюда следует
Теорема 1 (Л. Фейер – А. Лебег). Почти везде на [-π, +π] будет

. (12)
Это соотношение выполняется во всех точках Лебега и тем более во всех точках непрерывности функции f (t), лежащих внутри [-π, +π].
Тригонометрическая система полна. Это означает, что всякая функция 
, у которой все коэффициенты Фурье (3) равны нулю, эквивалентна нулю. Избавимся от ограничения, что f (x) суммируема с квадратом. Справедлива следующая
Теорема 2. Если все коэффициенты Фурье (3) суммируемой функции
f (x) равны нулю, то f (x) эквивалентна нулю.
В самом деле, в этом случае 
и, следовательно, f (x)=0 во всех точках, где имеет место (12), т. е. почти везде.
Теорема 1 позволяет делать некоторые высказывания и о поведении сумм 
. Для этого заметим, что

,
так что 
.
Отсюда 
.

).
Интеграл 
(0<r<1) есть сингулярный интеграл Пуассона. Если x (-π<x<π) есть точка d суммируемой функции f (t), то 
(П. Фату).
1) Докажем, что 
- ядро. Т. к. ядро является 2π-периодической функцией, то интеграл от этой функции, рассматриваемый на периоде, не зависит от x. Рассмотрим 
при x=0.

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

. (1)
Обозначим 
, тогда 
, а 
.
Выражение (1) будет равно 




при 0<r<1.
Получили, что 
и
- ядро.
2) Докажем, что
.
,
.
Тогда
. Следовательно достаточно проверить, что
.
Найдем
такое, что на интервале [x-
, x] ядро 
возрастает, а на [x, x+ 
] убывает. Это возможно, т. к. производная функции 
меняет знак с плюса на минус при переходе через точку x: 
.
Возьмем ε>0 и найдем такое δ (0<δ<
), что при 
будет
, что возможно, так как x есть точка d, т.е. f (t) в точке t=x есть производная своего неопределенного интеграла.
Тогда по лемме И. П. Натансона

, т. к.
есть ядро, и 
.
Таким образом, на интервале [x, x+δ] справедливо неравенство 
. На [x-δ, x] интеграл рассматривается аналогично в силу симметричности ядра на интервале [x-δ, x+δ] относительно точки x.
Рассмотрим 
за пределами [x-δ, x+δ], т.е. на
[-π, x-δ,] и на [x+δ, π].
В этих случаях выполняются неравенства

, 
.
Тогда 
и
.
Следовательно 
, т. к. 
, и знаменатель дроби не равен нулю.
Аналогично 
.
То есть 
на интервалах [-π, x-δ,] и [x+δ, π].
При r, достаточно близких к 1, получим
и 
.
При этих r окажется 
,
так что 
и
.
Таким образом, доказано, что 
(0<r<1) есть сингулярный интеграл.
2. Кашин Б. С., Саакян А. А. Ортогональные ряды. –
3. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. – М.: Наука, 1968.
Разбивая последний интеграл на два, распространенные на сегменте
[a, x] и [x, b], рассмотрим второй из них, так как первый изучается аналогично.
Возьмем ε>0 и найдем такое δ>0, что при
что возможно, так как f (t) в точке t=x есть производная своего неопределенного интеграла. То есть
Тогда по предыдущей лемме
Так как
Величина, имеющая конечный предел, ограничена. Значит, существует постоянная K(x) такая, что
Таким образом,
С другой стороны, если
Значит функции
При этих n окажется
так что
Теорема доказана.
В качестве примера ее приложения рассмотрим интеграл Вейерштрасса
Функция
Эта функция положительна, и она возрастает при
Определение. Функция Ψ(t, x) называется горбатой мажорантой функции
Теорема 3 (Д. К. Фаддеев). Если ядро
где K(x) зависит лишь от x, то для любой
Доказательство. Достаточно доказать, что
Возьмем ε>0 и найдем такое δ>0, что при
По лемме имеем
С другой стороны, в сегменте [x+δ, b] последовательность
Следовательно для достаточно больших n будет
При этих n окажется
так что
§3. Приложения в теории рядов Фурье
Во введении мы уже определили понятие ряда Фурье функции f (x) по любой ортонормальной системето рядом Фурье функции f (x) служит ряд
где
Во введении предполагали, что
Вопрос о сходимости ряда (2) приводится к исследованию некоторого сингулярного интеграла. Если
Выведем формулу для упрощения выражения в скобках. Для этого сложим равенства
Это дает
Пользуясь этой формулой, придадим сумме
Этот интеграл есть сингулярный интеграл Дирихле.
Рассмотрим вопрос о суммировании ряда (2) по способу Чезаро. Этот способ состоит в отыскании предела среднего арифметического первых n сумм
В случае сходимости ряда (2) в точке x последовательность
Для исследования
Но
Действительно, складывая равенства
находим
С помощью (7) получаем
Интеграл (8) есть сингулярный интеграл Фейера. Покажем, что для него выполнены условия теоремы Фаддеева.
Для этого рассмотрим функцию f (t)=1. Вычисляя ее коэффициенты Фурье по формулам (3), получим
Значит, для этой функции
Но выражая
Заметив это, рассмотрим точку
Отсюда следует, что
Аналогично убедимся, что интеграл стремится к нулю по промежутку [β, π]. Сопоставляя это с (9), находим, что
так что функция
Для этого ядра можно построить горбатую мажоранту. Заметим, что
Следовательно
С другой стороны, когда
Так как
при возрастании n стремится к нулю (т. к., например, при
Из (10) и (11) следует, что
Функция
Но
Итак, интеграл Фейера удовлетворяет условиям теоремы
Д. К. Фаддеева. Отсюда следует
Теорема 1 (Л. Фейер – А. Лебег). Почти везде на [-π, +π] будет
Это соотношение выполняется во всех точках Лебега и тем более во всех точках непрерывности функции f (t), лежащих внутри [-π, +π].
Тригонометрическая система полна. Это означает, что всякая функция
Теорема 2. Если все коэффициенты Фурье (3) суммируемой функции
f (x) равны нулю, то f (x) эквивалентна нулю.
В самом деле, в этом случае
Теорема 1 позволяет делать некоторые высказывания и о поведении сумм
так что
Отсюда
§4. Сингулярный интеграл Пуассона
Пусть точка x есть точка d суммируемой функции f (t), если в этой точке производная неопределенного интеграла функции f (t) равна f (x) (причемИнтеграл
1) Докажем, что
Для вычисления интеграла используем универсальную тригонометрическую подстановку и получим
Обозначим
Выражение (1) будет равно
Получили, что
2) Докажем, что
Тогда
Найдем
Возьмем ε>0 и найдем такое δ (0<δ<
Тогда по лемме И. П. Натансона
Таким образом, на интервале [x, x+δ] справедливо неравенство
Рассмотрим
[-π, x-δ,] и на [x+δ, π].
В этих случаях выполняются неравенства
Тогда
Следовательно
Аналогично
То есть
При r, достаточно близких к 1, получим
При этих r окажется
так что
Таким образом, доказано, что
Литература
1. Натансон И. П. Теория функций вещественной переменной. – М.: Наука, 1974.2. Кашин Б. С., Саакян А. А. Ортогональные ряды. –
3. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. – М.: Наука, 1968.