ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«БЕЛГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ НАЦИОНАЛЬНЫЙ
ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ»
(НИУ «БелГУ»)
ИНСТИТУТ ИНЖЕНЕРНЫХ ТЕХНОЛОГИЙ И ЕСТЕСТВЕННЫХ
НАУК
КАФЕДРА ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
ПРЕОБРАЗОВАНИЯ ГИЛЬБЕРТА И ЕГО ПРИМЕНЕНИЯ
Выпускная квалификационная работа
обучающегося по направлению подготовки
01.03.01 Математика
очной формы обучения, группы 07001413
Камышанова Андрея Евгеньевича
Научный руководитель
д. ф.-м. н., профессор,
Васильев В.Б.
Белгород - 2018
2
ОГЛАВЛЕНИЕ
Введение………………………...………………………………………………....3
Глава 1. Основные свойства преобразования Гильберта
1.1.
Определение и основные свойства интегрального преобразования
Гильберта…………………………………………………………………………..5
1.2.
Преобразование Фурье ядра Гильберта…………………….…………..16
1.3.
Преобразование Гильберта и аналитические функции. Формулы
Сохоцкого……………………………………………………………………...…21
Глава 2.Сингулярные интегральные уравнения
2.1.
Сингулярные
интегральные
уравнения
в
общем
случае…………………………………………………………………..................27
2.2.
Сингулярные
интегральные
уравнения
и
их
решение…………………………………………………………………………..31
2.3. Применение сингулярных интегральных уравнений в плоской задаче
теории
упругости…………………………………………………………………………36
Заключение………....……………………………….………………………..…..49
Список литературы………………………………………………………...…….51
3
Введение
Давид Гильберт (Hilbert, 1862-1943), немецкий математик. Окончил
Кенигсбергский университет. В 1895-1930 годах профессор Геттингенского
университета. Исследования Гильберта оказали большое влияние на развитие
многих разделов математики, а его деятельность в Гёттингенском
университете содействовала тому, что Геттинген являлся одним из основных
мировых центров математической мысли. В данной
основные
вычислительные
методы,
работе рассмотрены
позволяющие
разобраться
в
преобразовании Гильберта, а так же применение преобразования Гильберта и
особые интегральные уравнения.
В самых разнообразных областях современной науки и техники часто
приходится
встречаться
с
математическими
задачами,
для
которых
невозможно получить точное решение классическими методами или же
решение может быть получено в таком сложном виде, которое не приемлемо
для практического использования.
В этой работе мы рассмотрим вторую основную краевую задачу теории
аналитических функций, так называемую задачу Гильберта, а так же тесно
связанные с ней особые интегральные уравнения с ядром Гильберта.
Эта работа представляет собой краткий обзор математической теории
преобразований Гильберта.
4
Исторически изучение этих преобразований, названных в честь
немецких математик Дэвид Гильберт, возник в первый раз в начале 20-го века
в рамках изучения функций, аналитических на единичном диске.
С тех пор теория широко расширилась и нашла много приложений как в
математике, так и в физике.
Хотя темы, обсуждаемые в этой работе, не следуют каким-либо
конкретным источник, основное влияние многих из них - первый том великого
произведения Гильберта Преобразования, написанного Фредериком У.
Кингом. Начнем с определения преобразования Гильберта и рассмотрим
понятие главного значения Коши, необходимого в определении. После этого
мы перейдем к рассмотрению некоторых основных свойств преобразования
Гильберта, большая часть которых будет доказана в деталях. Последний
раздел этой главы, это эссе посвященное вычислению преобразования
Гильберта некоторых функций которые знакомят нас с их использованием.
На протяжении всей этой работы наша конвенция для преобразования
Фурье функция 𝑓 будет
∞
ℱ(𝑓)(𝜉) = ∫ 𝑓(𝑥)𝑒 −2𝜋𝑖𝜉 𝑑𝑥
−∞
Соответственно обратное преобразование Фурье будет дано формулой
∞
ℱ
−1 (𝑓)(𝑥)
= ∫ 𝑓(𝜉)𝑒 2𝜋𝑖𝜉𝑥 𝑑𝜉
−∞
Нам также понадобится свертка двух вещественных функций 𝑓 и g
∞
(𝑓 ∗ g)(𝑥) = ∫ 𝑓(𝑦)𝑔(𝑥 − 𝑦)𝑑𝑦
−∞
Тема исследования: Преобразование Гильберта и его применения.
Цель: изучить преобразования Гильберта и научиться их применять.
Объект: процесс преобразования Гильберта и его применения.
Задачи:
5
-
основные свойства интегрального преобразования Гильберта;
-
Преобразование Фурье ядра Гильберта;
-
Преобразование Гильберта и аналитические функции.
-
Формулы Сохоцкого
-
Преобразование
Гильберта
и
сингулярные
интегральные
уравнения
-
Сингулярные интегральные уравнения и их решение
-
Применение сингулярных интегральных уравнений в плоской
задаче теории упругости.
Для реализации поставленных задач применялся комплекс методов:
-
обобщение изученных ранее данных;
-
анализ научно-методической литературы;
-
систематизация информации.
1.1.
Определение и основные свойства интегрального
преобразования Гильберта
Определение: преобразование Гильберта вещественнозначной функции
𝑓 определяется как
∞
1
𝑓(𝜏)
𝐻(𝑓)(𝑡) = 𝑃. 𝑉. ∫
𝑑𝜏,
𝜋
−∞ 𝑡 − 𝜏
при условии, что указанное выше выражение существует . Сразу видно, что
существует
возможная
расходимость
при
𝑡 = 𝜏,
поэтому
интеграл
рассматривается как главное значение Коши, обозначаемое 𝑃. 𝑉. Это также
легко заметить что можно рассматривать преобразование Гильберта как
свертку 𝑓 с функция (𝜋𝑡)−1 , Прежде чем рассматривать свойства
преобразования Гильберта, давайте кратко рассмотрим понятие главного
значения Коши.
6
Основное значение Коши
Рассмотрим вещественнозначную функцию 𝑓 и ее интеграл по
интервалу [𝑎, 𝑏]:
𝑏
∫ 𝑓(𝑥)𝑑𝑥
𝑎
Предположим, что для некоторого 𝑥0 ∈ [𝑎, 𝑏]:] 𝑓 неограничен, т.е.
lim sup|𝑓(𝑥)| = ∞
𝑥→𝑥0
В таком случае обычно рассматривается интеграл как
𝑏
𝑥0 −𝜀1
∫ 𝑓(𝑥)𝑑𝑥 = lim ∫
𝑓(𝑥)𝑑𝑥 + lim ∫
𝜀1 →0 𝑎
𝑎
𝑏
𝜀2 →0 𝑥 +𝜀
0
2
𝑓(𝑥)𝑑𝑥
где пределы берутся независимо друг от друга. Эти ограничения могут
однако не существовать. Другая возможность - смотреть на симметричный
предел, называемым главным значением Коши интеграла,
𝑥0 −𝜀
lim [∫
𝜀→0
𝑏
𝑓(𝑥)𝑑𝑥 + ∫
𝑎
𝑏
𝑓(𝑥)𝑑𝑥 ] = 𝑃. 𝑉. ∫ 𝑓(𝑥)𝑑𝑥
𝑥0 +𝜀
𝑎
которые могут существовать, даже если индивидуальные ограничения не
существуют. Это связано с тем, что факт использования одного параметра в
пределе допускает отмену интеграла. Главное значение Коши несобственного
∞
интеграла ∫−∞ 𝑓(𝑥)𝑑𝑥 определяется аналогично:
∞
𝐶
𝑃. 𝑉. ∫ 𝑓(𝑥)𝑑𝑥 = lim ∫ 𝑓(𝑥)𝑑𝑥
−∞
𝐶→∞ −𝐶
Следует отметить, что даже если и главное значение Коши, и
несимметричный предел интеграла существует, им не нужен такой же
результат.
7
Главное значение Коши - полезный инструмент, который позволяет
извлекать конечных и значимые величины из других необоснованных
выражений. Рассмотрим, например, интеграл
4
∫
0
1
𝑑𝑥
3−𝑥
где подынтегральное выражение имеет полюс в точке 𝑥 = 3.
Стандартная несимметричная предельная процедура приводит к
4
3−𝜀1
4
1
1
1
∫
𝑑𝑥 = lim ∫
𝑑𝑥 + lim ∫
𝑑𝑥
𝜀1 →0 0
𝜀2 →0 3−𝜀 3 − 𝑥
3−𝑥
0 3−𝑥
2
𝜀1
1
= − lim [ln ( )] − lim [ln ( )]
𝜀1 →0
𝜀2→0
3
𝜀2
выражение формальной формы ∞ − ∞ и, следовательно, не определено.
Главное значение интеграла Коши дает, с другой стороны, опрятный результат
4
3−𝜀
4
1
1
1
𝑃. 𝑉. ∫
𝑑𝑥 = lim (∫
𝑑𝑥 + ∫
𝑑𝑥 )
𝜀→0
3−𝑥
0 3−𝑥
0
3−𝜀 3 − 𝑥
𝜀
1
1
= − lim [ln ( ) + ln ( )] = − lim [ln ( )] = ln 3
𝜀→0
𝜀→0
3
𝜀
3
Симметрия предела действительно важна для согласованности.
Результаты; если верхний предел первого интеграла в приведенном
выше расчете было бы 3 − 2𝜀, в то время как у другого интеграла все еще было
2
3 + 𝜀 в качестве его нижнего предела, результат был бы ln , что
3
действительно не имеет никакого значения.
Свойства
8
В этой главе мы изучим некоторые из основных свойств преобразования
Гильберта. Многие результаты можно обобщить на распределения, но для
простоты сформулируем свойства для функций на ℝ. Предполагается также,
что что функции ведут себя красиво, таким образом, что результат Фурье,
анализ которого может быть использован, когда это необходимо. Начнем с
простого результата, касающегося характера преобразования Гильберта как
оператора.
Теорема 1. Преобразование Гильберта линейно.
Доказательство. Пусть 𝑓 и g- вещественнозначные функции и 𝛼, 𝛽 ∈ ℝ.
Прямо из определения, которое мы получаем
∞
1
𝑎𝑓(𝜏) + 𝛽𝑔(𝜏)
𝐻(𝑎𝑓 + 𝛽𝑔)(𝑡) = 𝑃. 𝑉. ∫
𝑑𝜏
𝜋
𝑡−𝜏
−∞
∞
∞
𝑎
𝑓(𝜏)
𝛽
𝑔(𝜏)
= 𝑃. 𝑉. ∫
𝑑𝜏 + 𝑃. 𝑉. ∫
𝑑𝜏
𝜋
𝜋
−∞ 𝑡 − 𝜏
−∞ 𝑡 − 𝜏
𝛼𝐻(𝑓)(𝑡) + 𝛽𝐻(𝑔)(𝑡).
Очевидно, было бы хорошо знать, как связано преобразование
Гильберта 𝐻 к преобразованию Фурье 𝐹. Эта информация изображена в
следующей важной теореме.
Теорема 2. Преобразования Гильберта и Фурье связаны между собой
соотношением
𝐹(𝐻(𝑓))(𝜉) = −𝑖𝑠𝑔𝑛(𝜉)𝐹(𝑓)(𝜉)
где 𝑠𝑔𝑛 - функция 𝑠𝑖𝑔𝑛𝑢𝑚
−1 𝑖𝑓 𝑥 < 0
𝑠𝑔𝑛(𝑥) = { 0 𝑖𝑓 𝑥 = 0
1 𝑖𝑓 𝑥 > 0
9
Доказательство. Напомним, что преобразование Гильберта можно
записать в виде свертки:
𝐻(𝑓)(𝑡) = (𝑓 ∗ 𝑔)(𝑡)
(1)
где 𝑔 (𝑥) = (𝜋𝑥)−1 . Следует иметь в виду, что интегралы все еще
считаются главными значениями Коши. Преобразование Фурье с обеих сторон
(1) используя тот факт, что преобразование Фурье свертки
равен произведению преобразованных Фурье функций дает
𝐹(𝐻(𝑓))(𝜉) = 𝐹(𝑓 ∗ 𝑔)(𝜉0 = [𝐹(𝑓)(𝜉)][𝐹(𝑔)(𝜉)]
1
1
= 𝐹 ( ) (𝜉)𝐹(𝑓)(𝜉)
𝜋
𝑥
(2)
1
Нам остается вычислить преобразование Фурье . Это можно записать
𝑥
как
∞
∞
1
1 −2𝜋𝑖𝑥𝜉
cos(2𝜋𝑥𝜉) − 𝑖 sin(2𝜋𝑥𝜉)
𝐹 ( ) (𝜉) = 𝑃. 𝑉. ∫
𝑒
𝑑𝑥 = 𝑃. 𝑉. ∫
𝑑𝑥
𝑥
𝑥
−∞ 𝑥
−∞
∞
∞
cos(2𝜋𝑥𝜉)
sin(2𝜋𝑥𝜉)
= 𝑃. 𝑉. ∫
𝑑𝑥 − 𝑖 𝑃. 𝑉. ∫
𝑑𝑥
𝑥
𝑥
−∞
−∞
Первый интеграл обращается в нуль как главное значение, так как
подынтегральное выражение нечетная функция. Последнее не имеет
расходимостей, так как подынтегральное выражение приближается к
значению 1 вблизи начала координат, и поэтому главное значение не играет
никакой роли. Вместо этого его нужно рассматривать отдельно для разных
значений из 𝜉. При 𝜉 = 0 интеграл обращается в нуль тривиально.
10
Предполагая, что 𝜉 < 0 и делая замену переменных 𝑧 = 2𝜋𝑥𝜉, интеграл
становится
∞
∞
∞
sin(2𝜋𝑥𝜉)
sin(𝑧)
∫
𝑑𝑥 = − ∫
𝑑𝑧 = − ∫ 𝑠𝑖𝑛𝑐(𝑧)𝑑𝑧 = −𝜋
𝑥
𝑧
−∞
−∞
−∞
где мы использовали известное значение для интеграла от функции 𝑠𝑖𝑛𝑐.
При 𝜉 > 0 тот же расчет дает
∞
sin(2𝜋𝑥𝜉)
𝑑𝑥 = 𝜋
𝑥
−∞
∫
Объединив все эти результаты, можно сделать вывод, что
1
𝐹 ( ) (𝜉) = −𝑖𝜋𝑠𝑔𝑛(𝜉)
𝑥
(3)
Подставляя это в уравнение (2), получаем желаемый результат:
𝐹(𝐻(𝑓))(𝜉) =
1
[−𝑖𝜋𝑠𝑔𝑛(𝜉)]𝐹(𝑓)(𝜉) = −𝑖𝑠𝑔𝑛(𝜉)𝐹(𝑓)(𝜉).
𝜋
Теперь, когда мы знаем, как преобразования Фурье и Гильберта ведут
себя вместе, мы можем легко доказать следующую теорему.
Теорема 3. Применяя преобразование Гильберта дважды к той же
функции, получаем обратную функцую с отрицательным знаком, т. е.
𝐻(𝐻(𝑓))(𝑡) = −𝐹(𝑡)
Доказательство. Взяв обратное преобразование Фурье от результата в
теореме 2 получаем
11
𝐻(𝑓)(𝑡) = −𝑖𝐹 −1 (𝑠𝑔𝑛(𝜉)𝐹(𝑓)(𝜉))(𝑡)
Два последовательных преобразования Гильберта дают
𝐻(𝐻(𝑓))(𝑡) = −𝑖𝐹 −1 (𝑠𝑔𝑛(𝜔)𝐹 (−𝑖𝐹 −1 (𝑠𝑔𝑛(𝜉)𝐹(𝑡)(𝜉))) (𝜔)) (𝑡)
= −𝐹 −1 (𝑠𝑔𝑛(𝜔)𝑠𝑔𝑛(𝜔)𝐹(𝑓)(𝜔))(𝑡) = −𝑓(𝑡)
⏞= 1 когда 𝜔 ≠ 0
Полученный результат может быть символически записан как 𝐻2 = −1,
где 1 обозначает оператор идентичности. Это подразумевает формально, что
𝐻 = −𝐻−1 , то есть −𝐻 = 𝐻3 служит обратным преобразованием Гильберта.
Функция 𝑓 (𝑡) может быть записана как
𝑓(𝑡) = 𝐻
−1
∞
1
𝐻(𝑓)(𝜏)
𝑑𝜏
(𝐻(𝑓))(𝑡) = −𝐻(𝐻(𝑓))(𝑡) = − 𝑃. 𝑉. ∫
𝜋
𝑡
−
𝜏
−∞
Мы закончим этот раздел результатом ограниченности Гильберта. Мы
не будем приводить доказательства здесь, но обращаем читателя к исходному
источнику.
Примеры
В этом пункте мы будем вычислять некоторые преобразования
Гильберта чтобы продемонстрировать его использование.
3.1. Постоянная функция
12
Пусть
𝑓: ℝ → ℝ
-
постоянная
функция,
𝑓 (𝑥) = 𝑐 ∈ ℝ.
Преобразование Гильберта 𝑓 тогда получаем
1
∞
𝑡−𝜀
𝑡+
𝜀 1
1
𝑐
𝑐
1
𝐻(𝑓)(𝑡) = 𝑃. 𝑉. ∫
𝑑𝜏 = lim (∫
𝑑𝜏 + ∫
𝑑𝜏)
1 𝑡−𝜏
𝜀→0
𝜋
𝑡
−
𝜏
𝜋
𝑡
−
𝜏
−∞
𝑡−
𝑡+𝜀
𝜀
𝑐
1
1
= − lim [ln(𝜀) − ln ( ) + ln ( ) − ln(𝜀)] = 0
𝜋 𝜀→0
𝜀
𝜀
Заметим, что здесь нам приходилось иметь дело с двумя типами
особенностей: из-за полюса при 𝜏 = 𝑡 и того, который исходит из
интегрального расходящегося при ± ∞. Поскольку этот расчет выполняется
для любого 𝑡 ∈ ℝ, заключаем, что преобразование Гильберта постоянной
функции обращается в нуль.
3.2. Дельта-функция Дирака
В этом параграфе мы рассмотрим преобразование Гильберта дельтафункции Дирака 𝛿 (х). Это немного тонкая проблема, поскольку дельтафункция Дирака на самом деле не функция в традиционном смысле; его
следует рассмотреть как распределение. Поэтому сначала не очевидно что
наши ранее представленные методы совместимы вообще с этим существенно.
Вот почему следует рассмотреть презентацию, приведенную ниже. Как схема
более строгой процедуры, которая остается вне объема этой работы.
Начнем с того, что согласно теореме 2 преобразование Гильберта 𝛿 (если
предположить, что оно существует), заданной формулой
𝐻(𝛿)(𝑡) = −𝑖𝐹 −1 (𝑠𝑔𝑛(𝜉)𝐹(𝛿)(𝜉))(𝑡)
(4)
13
Поэтому единственное, что нам нужно знать о дельта-функции Дирака,
является его преобразованием Фурье, которое нам хорошо известно
∞
𝐹(𝛿)(𝑡) = ∫ 𝛿(𝑥)𝑒 −2𝜋𝑖𝑥𝜉 𝑑𝑥 = 1
−∞
Подставляя это в уравнение (4), получаем
−1
𝐻(𝛿)(𝑡) = −𝑖𝐹
(𝑠𝑔𝑛(𝜉))(𝑡)
(5)
поэтому мы закончили, если мы просто можем найти обратное
преобразование Фурье для функции 𝑠𝑖𝑔𝑛𝑢𝑚.
Мы могли бы просто рассчитать это явно; существуют стандартные
методы для сделать это. Однако мы можем использовать результат,
полученный при доказательстве теоремы №2, а именно уравнение (3), в
котором утверждается, что преобразование Фурье
1
𝑥
является −𝑖𝜋 𝑠𝑔𝑛 (𝜉).
Принимая обратное преобразование Фурье и используя его линейность в
уравнении (3) дает нам
𝐹 −1 (𝑠𝑔𝑛(𝜉))(𝑡) = −
1
𝑖𝜋𝑡
Это вместе с уравнением (5) дает нам преобразование Гильберта Дирака
дельта-функция:
𝐻(𝛿)(𝑡) =
Гауссова функция
1
𝜋𝑡
14
Мы закончим этот раздел, вычислив преобразование Гильберта
2
гауссовской функцией. Итак, пусть 𝑓: ℝ → ℝ, 𝑓 (𝑥) = 𝑒 −𝑎𝑥 , где 𝛼 ∈ ℝ, 𝛼 >
0. Используя снова теорему 2 знаем, что преобразование Гильберта функции
𝑓 задается формулой
2
𝐻(𝑓)(𝑡) = −𝑖𝐹 −1 (𝑠𝑔𝑛(𝜉)𝐹(𝑒 −𝑎𝑥 )(𝜉)) (𝑡)
(6)
Преобразование Фурье гауссовской функцией является просто
еще одним гауссовым решение в нашем примере
𝐹(𝑒
−𝑎𝑥 2
𝜋 −𝜋2𝜉 2
√
𝑒 𝑎
)(𝜉) =
𝑎
Следовательно, уравнение (6) становится
𝜋
𝐻(𝑓)(𝑡) = −𝑖 √ 𝐹
−1
𝑎
(𝑠𝑔𝑛(𝜉)𝑒
𝜋2 𝜉2
𝑎
−
) (𝑡).
(7)
Обратное преобразование Фурье выше
2
𝐹
−1
𝜋2 𝜉
− 𝑎
(𝑠𝑔𝑛(𝜉)𝑒
2
𝜋2 𝜉
− 𝑎
∞
) (𝑡) = ∫ 𝑠𝑔𝑛(𝜉)𝑒
𝑒2𝜋𝑖𝜉𝑡 𝑑𝜉
−∞
∞
2
𝜋2 𝜉
− 𝑎
= ∫ 𝑠𝑔𝑛(𝜉)𝑒
[cos(2𝜋𝜉𝑡) + 𝑖 sin(2𝜋𝜉𝑡) 𝑑𝜉]
−∞
∞
= ∫ 𝑠𝑔𝑛(𝜉)𝑒
−∞
2
𝜋2 𝜉
− 𝑎
∞
2
𝜋2 𝜉
− 𝑎
cos(2𝜋𝜉𝑡) 𝑑𝜉 + 𝑖 ∫ 𝑠𝑔𝑛(𝜉)𝑒
sin(2𝜋𝜉𝑡) 𝑑𝜉
−∞
Чтобы упростить приведенное выше выражение, отметим, что 𝑠𝑖𝑔𝑛𝑢𝑚 и
𝑠𝑖𝑛𝑒 являются нечетными функциями, а косинус четными. Таким образом,
первый интеграл имеет нечетное подынтегральное выражение, и оно исчезает.
Второе подынтегральное выражение четное, и мы можем выполнить
интегрирование по положительным действительным числам и умножить
результат на два, чтобы получить тот же результат. В целом мы получаем
15
𝐹
−1
𝜋2 𝜉 2
−
(𝑠𝑔𝑛(𝜉)𝑒 𝑎 ) (𝑡)
∞
𝜋2 𝜉 2
−
𝑒 𝑎
= 2𝑖 ∫
sin(2𝜋𝜉𝑡)𝑑𝜉
−∞
где мы отказались от функции 𝑠𝑖𝑔𝑛𝑢𝑚, поскольку она больше не играет
важную роль. Если далее ввести изменение переменных 𝜂 =
𝜋𝜉
√𝑎
наш результат
становится
𝐹
−1
(𝑠𝑔𝑛(𝜉)𝑒
𝜋2 𝜉2
𝑎
−
) (𝑡) =
𝑖2√𝑎 ∞ −𝜂 2
∫−∞ 𝑒
𝜋
sin(2√𝑎𝑡𝜂)𝑑𝜂
(8)
Для этого мы можем использовать отношения
∞
2
∫ 𝑒 −𝑢 sin(2𝑥𝑢)𝑑𝑢 = 𝐷(𝑥)
−∞
где 𝐷 (𝑥) - так называемый интеграл Доусона, определенный 𝑏
𝑥
2
2
𝐷(𝑥) = 𝑒 −𝑥 ∫ 𝑒 𝑢 𝑑𝑢
0
Это позволяет записать обратное Преобразование Фурье (8)
𝐹
−1
𝜋2 𝜉 2
−
(𝑠𝑔𝑛(𝜉)𝑒 𝑎 ) (𝑡)
=
𝑖2√𝑎
𝐷(√𝑎𝑡)
𝜋
которые вместе с уравнением (7) дает нам преобразование Гильберта
нашей Гауссовой функции
𝐻(𝑓)(𝑡) =
2
√𝜋
𝐷(√𝑎𝑡)
Этот конечный результат можно также быть дан в терминах функции
𝑒𝑟𝑓 определенный
erf(𝑥) =
получая
2
√𝜋
𝑥
2
∫ 𝑒 −𝑠 𝑑𝑠
0
16
2
𝐻(𝑓)(𝑡) = −𝑖𝑒 −𝑎𝑥 erf(𝑖√𝑎𝑡)
Еще
одна
форма
может
быть
достигнута
с
использованием
конфлюэнтной гипергеометрической системы Куммера
1.2.
Преобразование Фурье ядра Гильберта
В этом разделе рассматривается оценка преобразования Гильберта
некоторых общих функции ядра, которые часто встречаются в анализе Фурье,
Пуассон, Дирихле, и ядра Фейера. Частичная сумма сопряженного ряда Фурье
может быть связана с преобразованием Гильберта ядра Дирихле, а среднее
Cesàro - среднее из первых 𝑛 частных сумм сопряженного ряда Фурье - может
быть связано с преобразованием Гильберта ядра Фейера. Исследуемое первое
ядро
𝑃(𝑟, 𝜃) =
1−𝑟 2
1−2𝑟 cos 𝜃+𝑟 2
,
для 0 ≤ 𝑟 < 1
(1)
которая называется ядром Пуассона (или иногда ядром Абеля-Пуассона)
. В дальнейшем будет полезно выразить 𝑃 (𝑟, 𝜃) как бесконечный ряд.
Вспоминая расширение серии
𝑛
(1 − 𝑧)−1 = ∑∞
𝑛=0 𝑧 ,
для |𝑧| < 1
(2)
что упрощает использование замены 𝑧 = 𝑟𝑒 iθ , чтобы получить
1
2
𝑛 𝑖𝑛𝜃
+ ∑∞
=
𝑛=0 𝑟 𝑒
=
(1+𝑧)
2(1−𝑧)
1−𝑟 2 +2𝑖𝑟 sin 𝜃
2(1−2𝑟 cos 𝜃+𝑟 2 )
(3)
Взятие реальной и мнимой частей приводит к
𝑛
1 + 2 ∑∞
𝑛=1 𝑟 cos 𝑛𝜃 =
1−𝑟 2
1−2𝑟 cos 𝜃+𝑟 2
(4)
и
𝑛
∑∞
𝑛=1 𝑟 sin 𝑛𝜃 =
𝑟 sin 𝜃
1−2𝑟 cos 𝜃+𝑟 2
(5)
Преобразование Гильберта 𝑃 (𝑟, 𝜃) можно найти при использовании
следующих результатов
17
1
∞
𝜃−𝑠
∫ cot (
2𝜋 −∞
2
) 𝑑𝑠 = 0
(6)
и более общая формула
1
2𝜋
∞
𝑃 ∫−∞ cos 𝑘𝑠 cot (
𝜃−𝑠
2
) 𝑑𝑠 = sin 𝑘𝜃,
для целого 𝑘 ≥ 0
(7)
Эти результаты можно получить следующим образом. Использую
следующие расширения (распределения):
𝜃
cot = 2 ∑∞
𝑚=1 sin 𝑚𝜃
(8)
2
для целого n ≥ 0, дает
1
2𝜋
𝜋
𝑥−𝑠
𝑃 ∫−𝜋 cos 𝑛𝑠 cot (
2
𝜋
1
) 𝑑𝑠 = 𝜋 𝑃 ∫−𝜋 cos 𝑛𝑠 ∑∞
𝑚=1 sin(𝑚𝑥 − 𝑚𝑠) 𝑑𝑠
∞
∞
1
= ∑ sin 𝑚𝑥 ∫ cos 𝑛𝑠 cos 𝑚𝑠 𝑑𝑠
𝜋
−∞
𝑚=1
∞
= ∑ sin 𝑚𝑥 𝛿𝑚𝑛
𝑚=1
= sin 𝑛𝑥
(9)
где 𝛿𝑛𝑚 обозначает дельту Кронекера. Частный случай 𝑛 = 0
устанавливает уравнение (6). Таким образом, 𝐻𝑃 (𝑟, 𝜃) можно оценить
следующим образом:
𝐻𝑃(𝑟, 𝜃) =
1
2𝜋
∞
𝜃−𝑠
𝑃 ∫−∞ 𝑃(𝑟, 𝑠) cot (
2
) 𝑑𝑠
∞
∞
1
𝜃−𝑠
=
𝑃 ∫ {1 + 2 ∑ 𝑟𝑘 cos 𝑘𝜃 } cot ( 2 ) 𝑑𝑠
2𝜋 −∞
𝑘=1
∞
=
∞
∞
1
𝜃−𝑠
1
𝜃−𝑠
𝑃 ∫ cot ( 2 ) 𝑑𝑠 + 𝜋 ∑ 𝑟𝑘 𝑃 ∫ cos 𝑘𝜃 cot (
) 𝑑𝑠
2𝜋 −∞
2
−∞
𝑘=1
𝑘
= 2 ∑∞
𝑘=1 𝑟 sin 𝑘𝜃,
(10)
и используя уравнение (5) получаем
𝐻𝑃(𝑟, 𝜃) =
2𝑟 sin 𝜃
1−2𝑟 cos 𝜃+𝑟 2
(11)
Ядро Дирихле определяется формулой
𝐷𝑛 (𝜃) = 1 + 2 ∑𝑛𝑘=1 cos 𝑘𝜃 =
sin{(2𝑛+1)𝜃⁄2}
sin(𝜃⁄2)
(12)
18
Когда
с
𝜃 = 2𝜋𝑚
𝑚 ∈ 𝑍, 𝐷𝑛 (𝜃) = 2𝑛 + 1.
Для
оценки
преобразования Гильберта 𝐷𝑛 (𝜃), сначала полезно оценить конечную сумму
синусных членов вида ∑𝑛𝑘=1 𝑠𝑖𝑛 𝑘𝜃, и в этом процессе докажем уравнение (12).
Использую стандартное преобразование
𝑘
𝑧 𝑛 − 1 = (𝑧 − 1) ∑𝑛−1
𝑘=0 𝑧
(13)
что упрощает с заменой 𝑧 = 𝑒 iθ на
∑𝑛𝑘=0 𝑒 𝑖𝑘𝜃 =
=
1
= [1 +
2
sin{(2𝑛+1)𝜃⁄2}
sin(𝜃⁄2)
1−𝑒 𝑖(𝑛+1)𝜃
1−𝑒 𝑖𝜃
1−𝑒 −𝑖𝜃 +𝑒 𝑖𝑛𝜃 −𝑒 𝑖(𝑛+1)𝜃
]+
2−(𝑒 𝑖𝜃 +𝑒 −𝑖𝜃 )
𝑖[cos(𝜃⁄2)− cos{(2𝑛+1)𝜃⁄2}]
.
2 sin(𝜃⁄2)
(14)
Возьмем реальные и мнимые части, и получаем
1 + 2 ∑𝑛𝑘=1 cos 𝑘𝜃 =
sin{(2𝑛+1)𝜃⁄2}
(15)
sin(𝜃⁄2)
это доказывает правую часть уравнения (12) и
𝑛
𝜃
cos{(2𝑛 + 1) 𝜃⁄2}
2
sin(𝜃⁄2)
2 ∑ sin 𝑘𝜃 = cot ( ) −
𝑘=1
= sin 𝑛𝜃 + (1 − cos 𝑛𝜃) cot(𝜃⁄2)
(16)
Из уравнения (12) и используя уравнения (6) и (7), получаем
𝑛
∞
1
𝜃−𝑠
𝐻𝐷𝑛 (𝜃) =
𝑃 ∫ {1 + 2 ∑ cos 𝑘𝑠} cot (
) 𝑑𝑠
2𝜋 −∞
2
𝑘=1
= 2 ∑𝑛𝑘=1
1
2𝜋
∞
𝜃−𝑠
𝑃 ∫−∞ cos 𝑘𝑠 cot (
2
) 𝑑𝑠
= 2 ∑𝑛𝑘=1 sin 𝑘𝜃
(17)
и поэтому
𝐻𝐷𝑛 (𝜃) = sin 𝑛𝜃 + (1 + cos 𝑛𝜃) cot(𝜃⁄2)
(18)
19
Если периодическая функция 𝑓 выражается как ряд Фурье, то частичная
сумма первых 𝑛 членов ряда может быть записана через интеграл,
включающая 𝑓 и ядро Дирихле. Близкий результат можно получить для суммы
первых 𝑛 членов сопряженных рядов Фурье. В этом случае ядро Дирихле
заменяется на сопряженное ядро Дирихле, приведенное в уравнении (18).
Ядро Fejér рассматривается следующим образом, и это определяется
формулой
𝐹𝑛 (𝜃) =
1
𝑛+1
∑𝑛𝑘=0 𝐷𝑘 (𝜃).
(19)
Сумма, участвующая в этом определении, может быть упрощена
следующим образом:
𝐹𝑛 (𝜃) =
1
𝑛+1
[
sin{(𝑛+1)𝜃⁄2} 2
]
sin(𝜃⁄2)
(20)
Чтобы доказать это, начнем с
𝑛
𝑛
𝑛+1
𝑘=0
𝑘=0
𝑘=1
(2𝑘 + 1)𝜃
𝜃
1
1
∑ sin {
} sin ( ) = ∑ cos 𝑘𝜃 − ∑ cos 𝑘𝜃
2
2
2
2
1
= {1 − cos(𝑛 + 1)𝜃}
2
(𝑛+1)𝜃
= 𝑠𝑖𝑛2 (
2
)
(21)
Деление на 𝑠𝑖𝑛2 (𝜃 / 2) дает требуемый результат. Преобразование
Гильберта из 𝐹𝑛 (𝜃) может оценивать, используя результат, полученный для
𝐻𝐷𝑛 (𝜃), то есть
𝐻𝐹𝑛 (𝜃) =
=
1
𝑛+1
∑𝑛𝑘=0 𝐻𝐷𝑘 (𝜃)
1
𝜃
∑𝑛 {sin 𝑘𝜃 + (1 − cos 𝑘𝜃) cot ( )},
𝑛+1 𝑘=0
2
(22)
что упрощает, принимая во внимание уравнения (15) и (16),
𝜃
sin(𝑛+1)𝜃
𝐻𝐹𝑛 (𝜃) = cot ( ) −
2
2(𝑛+1)𝑠𝑖𝑛2 (𝜃⁄2)
(23)
Этот результат также можно записать следующим образом:
𝜃
𝐻𝐹𝑛 (𝜃) = cot ( ) −
2
cot{(𝑛+1)𝜃⁄2} sin{(𝑛+1)𝜃⁄2} 2
𝑛+1
[
sin(𝜃⁄2)
]
(24)
20
из чего следует, что
(𝑛+1)𝜃
𝜃
𝐻𝐹𝑛 (𝜃) = cot ( ) − cot (
2
2
) 𝐹𝑛 (𝜃)
(25)
Мотивация определения 𝐻𝐹𝑛 (𝜃) дается следующим развитием.
Рассмотрим серию
𝑆 = ∑∞
𝑘=0 𝑎𝑘
(26)
и пусть частичные суммы даются выражением
𝑠𝑛 = ∑𝑛𝑘=0 𝑎𝑘 .
(27)
Позволяет
𝜎𝑛 =
𝑠0 +𝑠1 +⋯+𝑠𝑛
(28)
𝑛+1
то есть
lim 𝜎𝑛 = 𝑆
(29)
𝑛→∞
Ряд ∑∞
𝑘=0 𝑎𝑘 суммируем Cesàro или (𝐶, 1) суммируема.
Пусть 𝑓 представляет периодическую функцию с периодом 2𝜋,
интегрируемую на интервале [0, 2𝜋] и обозначим частичные суммы
разложения в ряд Фурье функции 𝑓 на
𝑠𝑛 = ∑𝑛𝑘=−𝑛 𝑎𝑘 𝑒 𝑖𝑘𝑥
(30)
Используя уравнения (12) и (19), 𝜎𝑛 оцениваются как
𝜎𝑛 (𝑥) =
=
1
2𝜋
∫ 𝑓(𝑡) ∑𝑛𝑘=0
2𝜋(𝑛+1) 0
1
sin{(2𝑛+1)(𝑥−𝑡)/2}
sin{(𝑥−𝑡)/2}
𝑑𝑡
2𝜋
∫ 𝑓(𝑡) 𝐹𝑛 (𝑥 − 𝑡)𝑑𝑡
2𝜋 0
(31)
Важным результатом является то, что средства Cesàro ряда Фурье
функции 𝑓 сходятся к (1/2) {𝑓 (𝑥0 +) + 𝑓 (𝑥0 −)} для каждого 𝑥0 , где правый
и левый пределы в точке 𝑥0 , существуют. Этот результат имеет последствия
для
приближения
тригонометрическими
непрерывных
полиномами.
функций
Аналог
на
интервале
предыдущего
[0, 2𝜋]
результата
относится к сопряженным рядам Фурье функции 𝑓, причем 𝑓 заменяется на
𝐻𝑓, 𝜎𝑛 (𝑥) на 𝜎̃𝑛 (𝑥), и 𝐹𝑛 (𝑥 − 𝑡) через 𝐻𝐹𝑛 (𝑥 − 𝑡).
21
1.3. Преобразование Гильберта и аналитические функции.
Формулы Сохоцкого.
Преобразование Гильберта на вещественной прямой
Развитие преобразования Гильберта с точки зрения комплексного
анализа рассматривается в этом пункте. Пусть 𝑓 аналитична в верхней
половине комплексной плоскости и пусть 𝑓 (𝑧) → 0 при 𝑧 → ∞. Рассмотрим
контур, показанный на рисунке 1. Из Интегральная теорема Коши,
1
𝑓(𝑧)𝑑𝑧
∮
2𝜋𝑖 𝐶 𝑧−𝑥0
=0
(1)
Рисунок 1. Полукруглый контур в верхней полуплоскости с отступом
полукруг в точке 𝑥0
Заметим, что сингулярность лежит вне замкнутого контура и что ядро
везде аналитично в верхней полуплоскости. Контурный интеграл в (1) может
быть упрощен следующим образом:
∮𝐶
𝑓(𝑧)𝑑𝑧
𝑧−𝑥0
𝑥 −𝜀 𝑓(𝑥)𝑑𝑥
= ∫−𝑅0
𝑥−𝑥0
∫𝐶
𝜀
𝑓(𝑧)𝑑𝑧
𝑧−𝑥0
𝑅
𝑓(𝑥)𝑑𝑥
𝑓(𝑧)𝑑𝑧
∫
−𝜀
𝐶
𝑥−𝑥0
0
𝑅 𝑧−𝑥0
∫𝑥
(2)
22
Теперь внимание сосредоточено на оценке правой части уравнения (2) в
пределах при 𝑅 → ∞ и 𝜀 → 0. Первый и третий интегралы в правой части
уравнения (2) упрощают интеграл главных значений Коши:
𝑥0 −𝜀
lim lim {∫
𝑅→∞ 𝜀→0
−𝑅
𝑅
∞
𝑓(𝑥)𝑑𝑥
𝑓(𝑥)𝑑𝑥
𝑓(𝑥)𝑑𝑥
+∫
} = 𝑃∫
𝑥 − 𝑥0
𝑥0 +𝜀 𝑥 − 𝑥0
−∞ 𝑥 − 𝑥0
(3)
Для решения второго интеграла в правой части уравнения (2) с участием
интегрирование по контуру 𝐶𝜀 , множество 𝑧 − 𝑥0 = 𝜀𝑒 𝑖𝜃 , что приводит к
0
𝑓(𝑧)𝑑𝑧
𝑓(𝑥0 + 𝜀𝑒 𝑖𝜃 )𝜀𝑒 𝑖𝜃 𝑖𝑑𝜃
lim ∫
= lim ∫
𝜀→0 𝐶 𝑥 − 𝑥0
𝜀→0 𝜋
𝜀𝑒 𝑖𝜃
𝜀
𝜋
= −𝑖 lim ∫ 𝑓(𝑥0 + 𝜀𝑒 𝑖𝜃 ) 𝑑𝜃
𝜀→0 0
= −𝑖𝜋𝑓(𝑥0 )
(4)
Обратите внимание, что контур перемещается против часовой стрелки.
Последний интеграл в (2), взятый по контуру 𝐶𝑅 , упрощается, полагая 𝑧 =
𝑅𝑒 𝑖𝜃 ; следовательно
𝜋
𝑓(𝑧)𝑑𝑧
𝑓(𝑟𝑒 𝑖𝜃 )𝑖𝑅𝑒 𝑖𝜃 𝑑𝜃
lim ∫
= lim ∫
=0
𝑅→∞ 𝐶 𝑧 − 𝑥0
𝑅→∞ 0
𝑅𝑒 𝑖𝜃 − 𝑥0
𝑅
(5)
если 𝑓 (𝑧) → 0 при 𝑧 → ∞. Поэтому уравнение (1) упрощается
1
∮
2𝜋𝑖 𝐶
Теперь
𝑓(𝑧)𝑑𝑧
𝑧−𝑥0
положим
∞ 𝑓(𝑥)𝑑𝑥
= 𝑃 ∫−∞
𝑥−𝑥0
− 𝑖𝜋𝑓(𝑥0 ) = 0
𝑓 (𝑥) = 𝑢 (𝑥) + 𝑖𝑣 (𝑥),
(6)
где
𝑢и𝑣
-
вещественнозначные функции; то уравнение (6) можно разбить на два
сопряженных соотношения:
23
∞ 𝑣(𝑥)𝑑𝑥
1
𝑢(𝑥0 ) = − 𝑃 ∫−∞
𝜋
𝑥0 −𝑥
(7)
и
1
∞ 𝑢(𝑥)𝑑𝑥
𝑣(𝑥0 ) = 𝑃 ∫−∞
𝜋
(8)
𝑥0 −𝑥
Эти два уравнения составляют пару преобразований Гильберта для
вещественной прямой. Из уравнений (7) и (8), следует, что
𝑢(𝑥0 ) =
1
𝜋2
∞
𝑃 ∫−∞
𝑑𝑥
𝑥−𝑥0
∞ 𝑢(𝑠)𝑑𝑠
𝑃 ∫−∞
𝑥−𝑠
(9)
которая является интегральной формулой Гильберта. Харди (1928а)
доказал истинность этой формулы когда 𝑢 принадлежит 𝐿2 (ℝ) и непрерывна
при 𝑥 = 𝑥0 . Он также доказал функции 𝑢, принадлежащие 𝐿𝑝 при 𝑝 > 1, и
непрерывные в точке 𝑥0 . Аналог уравнения (9) на ℝ+ положительная
вещественная ось, то есть интервал [0, ∞), хорошо известна сто лет
(Schlömilch, 1848, стр. 158).
Формулы Сохоцкого
Понятие функции является исключительно важным в математике. Оно
проделало длительную и нетривиальную эволюцию и в настоящее время
используется в нескольких смыслах. Например, в курсе математического
анализа, говоря о функции 𝜑 ∶ 𝑋 → 𝑌 , вы подразумевали, что каждому
элементу множества 𝑋 с помощью некоторого правила 𝜑 сопоставлен
единственный элемент множества 𝑌 . Однако при изучении теории функций
комплексного переменного вы познакомились с многозначными функциями,
когда одному элементу из 𝑋 может соответствовать несколько элементов из 𝑌
.
Мы приступаем к изучению совершенно новой для вас точки зрения на
понятие функциональной зависимости — теории обобщенных функций. С
прагматической точки зрения можно считать, что нашей целью является
освоение тех многочисленных симпатичных формул, в которых участвует -
24
функция Дирака и которые играют столь важную роль, например в
электродинамике, или нахождение наиболее общего класса функций, для
которых справедливы свойства преобразования Фурье, установленные нами
для быстро убывающих функций.
Начнем с определений.
Пусть 𝐺 — открытое множество в ℝ𝑛 и пусть 𝜑 ∶ 𝐺 → 𝐶. Носителем
функции 𝜑 называется замыкание в ℝ𝑛 множества тех точек x ∈ G, в которых
𝜑 (𝑥) ≠ 0. Другими словами, точка 𝑥 ∈ 𝐺 принадлежит но- сителю функции
𝜑, если найд¨ется последовательность 𝑥1 , 𝑥2 , . . . , 𝑥𝑛 , . . . точек из 𝐺, сходящаяся
к 𝑥 и такая, что 𝜑 (𝑥) ≠ 0 для всех 𝑛 = 1, 2, . .. . Носитель функции ϕ
обозначается через 𝑠𝑢𝑝𝑝 𝜑 (от англ. support). Функция 𝜑: 𝐺 → 𝐶 называется
основной, или пробной, если 𝜑 бесконечно дифференцируема и 𝑠𝑢𝑝𝑝 𝜑
является ограниченным подмножеством в 𝐺. Другими словами, основными мы
называем те бесконечно дифференцируемые функции, которые зануляются в
некоторой окрестности границы области определения. Согласно теореме
Лебега, известной вам из курса математического анализа, множество в ℝ𝑛
компактно, если и только если оно замкнуто и ограничено. Поэтому можно
сказать,
что
носитель
основной
функции
является
компактным
подмножеством её области определения 𝐺. Отметим также, что носитель
основной функции не пересекается с границей области G.
Контрпример. Пусть 𝐺 ⊂ 𝑅 является открытым интервалом (0, 1) и
пусть 𝜑 ∶ 𝐺 → 𝐶 тождественно равна единице: 𝜑 (𝑥) = 1 для всех 0 < 𝑥 <
1. Конечно, так определенная функция 𝜑 бесконечно дифференцируема, но ее
носитель, очевидно, совпадает с замкнутым отрезком [0, 1] и, тем самым, не
содержится в множестве 𝐺. Поэтому ϕ не является основной функцией.
Определим
еще
две
сингулярные
обобщенные
функции,
соответствующие выбору либо верхнего, либо нижнего знака, по формуле
+∞
1
𝜑(𝑥)
, 𝜑) = lim ∫
𝑑𝑥
(
𝜀→0+
𝑥 ± 𝑖0
𝑥 ± 𝑖𝜀
−∞
25
Следующая теорема дает нам пример одного из тех симпатичных
соотношений с участием функции, и показывает, как это соотношение может
быть строго доказано в рамках изучаемого нами подхода к обобщенным
функциям.
Теорема (формулы Сохоцкого). Справедливы соотношения
1
1
= ±𝑖𝜋𝛿 + 𝑃
𝑥 ± 𝑖0
𝑥
Доказательство. Фиксируем основную функцию 𝜑 ∈ 𝐷(𝑅). Пусть она
зануляется для всех 𝑥 ∈ 𝑅 таких, что |𝑥| > 𝑅. Тогда по определению
обобщенной функции 1/(𝑥 + 𝑖0) имеем
+∞
𝑅
1
𝜑(𝑥)
𝜑(𝑥)
, 𝜑) = lim ∫
𝑑𝑥 = lim ∫
𝑑𝑥 =
(
𝜀→0+
𝜀→0+
𝑥 ± 𝑖0
𝑥 ± 𝑖𝜀
𝑥 ± 𝑖𝜀
−∞
−𝑅
В числителе прибавим и вычтем число 𝜑 (0), а затем избавимся от
мнимых
значений
в
знаменателе,
для
чего
умножим
и
разделим
подынтегральное выражение на 𝑥 − 𝑖𝜀. Получим
𝑅
𝑅
𝑥 − 𝑖𝜀
𝑥 − 𝑖𝜀
[𝜑(𝑥) − 𝜑(0)]𝑑𝑥
= 𝜑(0) lim ∫ 2
𝑑𝑥
+
lim
∫
𝜀→0+
𝜀→0+
𝑥 + 𝜀2
𝑥2 + 𝜀2
−𝑅
(1)
−𝑅
Подсчитаем порознь интегралы, фигурирующие в формуле (1).
Поскольку интеграл от нечетной функции по промежутку, симметричному
относительно нуля, равен нулю, то
𝑅
∫
−𝑅
𝑥
𝑑𝑥 = 0
𝑥2 + 𝜀2
Следующий интеграл легко находится по формуле Ньютона—
Лейбница. Это дает
𝑅
lim ∫
𝜀→0+
−𝑅
−𝑖𝜀
𝑅
𝑑𝑥 = −2𝑖 lim 𝑎𝑟𝑐𝑡 = −𝑖𝜋
2
𝜀→0+
+𝜀
𝜀
𝑥2
Наконец, в последнем интеграле в формуле (1) перейдем к пределу под
знаком интеграла:
26
𝑅
𝑅
−𝑅
−𝑅
𝑥 − 𝑖𝜀
𝜑(𝑥) − 𝜑(0)
[𝜑(𝑥)
lim ∫ 2
−
𝜑(0)]𝑑𝑥
=
∫
𝑑𝑥
𝜀→0+
𝑥 + 𝜀2
𝑥
+∞
= 𝑣. 𝑝. ∫
−∞
𝜑(𝑥) − 𝜑(0)
1
𝑑𝑥 = (𝑃 , 𝜑).
𝑥
𝑥
Переход к пределу под знаком интеграла при 𝜀 → 0 возможен,
поскольку
из
неравенства
|𝑥| ≤ | 𝑥 + 𝑖𝜀|,
справедливого
для
всех
вещественных 𝑥 и 𝜀, вытекает |[ 𝜑 (𝑥) − 𝜑 (0)]/(𝑥 + 𝑖𝜀)| ≤ |[ 𝜑 (𝑥) −
𝜑 (0)]/𝑥|. Доопределив последнюю функцию в нуле как | 𝜑 ′(0)|, мы получим
непрерывную (а значит интегрируемую на конечном промежутке [−𝑅, 𝑅])
функцию,
мажорирующую
подынтегральное
выражение.
Учитывая
проделанные вычисления, можем продолжить равенство (1) следующим
образом:
(
1
1
1
, 𝜑) = 𝑖𝜋𝜑(0) + (𝑃 , 𝜑) = (−𝑖𝜋𝛿 + 𝑃 , 𝜑)
𝑥 + 𝑖0
𝑥
𝑥
Последнее равенство показывает, что обобщенные функции (т. е.
1
линейные функционалы) 1/(𝑥 + 𝑖0) и − 𝑖𝜋𝛿 + 𝑃 одинаково действуют на
𝑥
любую основную функцию. Значит эти обобщенные функции равны между
собой. Формула Сохоцкого, отвечающая выбору знака «минус», доказывается
аналогично.
27
Глава 2.Сингулярные интегральные уравнения
2.1. Сингулярные интегральные уравнения в общем случае
Во всей данной главе, если противное не оговорено, 𝐿 обозначает
кусочно-гладкую линию. Гладкие дуги, составляющие L, обозначаются через
Lh , K = 1,2, … , 𝑝, а узлы (в том числе и концы) линии L — через сk , k =
1, 2, . . n. Через 𝑡0 , 𝑡, 𝑡1 обозначаются точки линии L.
В этом разделе будут изучаться уравнения вида 𝐾𝜑 = 𝑓, где K—
оператор, определяемый формулой
𝐾𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
1
𝐾(𝑡0 ,𝑡)𝜑(𝑡)𝑑𝑡
∫
𝜋𝑖 𝐿
𝑡−𝑡0
(Ι)
в которой А(t) и К (t 0 , t) обозначают функции, подчиненные
определенным условиям, которые будут сейчас указаны.
А именно, для того чтобы иметь возможность применить без особых
усложнений методы, мы будем считать, что оператор К представим в одном из
следующих двух видов:
𝐾𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘(𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡
𝜋𝑖 𝐿
(a)
или
𝐾𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
1
∫
𝜋𝑖 𝐿
𝐵(𝑡)𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘 ′ (𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡
𝜋𝑖 𝐿
(b)
где A(t), В(𝑡), k (𝑡0 , t), 𝑘 ′ (𝑡0 , 𝑡) — функции класса 𝐻0 на L; условие,
налагаемое на две последние функции, можно значительно ослабить, не
изменяя результатов, но мы на этом останавливаться не будем.
От формы представления (𝐼) оператора К можно перейти к формам (𝑎)
или (𝑏), если положить
𝐵(𝑡) = 𝐾(𝑡, 𝑡),
𝑘(𝑡0 , 𝑡) =
𝐾(𝑡0 , 𝑡) − 𝐵(𝑡0 )
,
𝑡 − 𝑡0
𝑘 ′ (𝑡0 , 𝑡) =
𝐾(𝑡0 , 𝑡) − 𝐵(𝑡)
𝑡 − 𝑡0
28
и если предположить, что функции 𝐵(𝑡), 𝑘(𝑡0 , 𝑡) или 𝑘 ′ (𝑡0 , 𝑡)
удовлетворяют указанным выше условиям.
Если, в частности, о б е функции 𝑘(𝑡0 , 𝑡) и 𝑘 ′ (𝑡0 , 𝑡) принадлежат классу
𝐻0 (по обеим переменным), то уравнение (𝐼) может быть приведено к любому
из двух видов (𝑎), (𝑏). Однако мы этого предположения вводить не будем, ибо
оно никаких существенных упрощений не внесет, а только снизит общность.
Таким образом, при наших предположениях, операторы типов (𝑎) и (𝑏),
вообще говоря, несводимы друг к другу. Если мы, например, попытаемся
преобразовать оператор типа (𝑏) к виду (𝑎) тем же путем, каким мы
преобразовали оператор типа (𝐼) к виду (𝑎), получим :
𝐴(𝑡0 )𝜑(𝑡0 ) +
1
𝐵(𝑡)𝜑(𝑡)𝑑𝑡 1
∫
+ ∫ 𝑘 ′ (𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡 =
𝜋𝑖 𝐿
𝑡 − 𝑡0
𝜋𝑖 𝐿
= 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
но, вообще говоря, отношение
+
1
∫
𝜋𝑖 𝐿
{
𝐵(𝑡)−𝐵(𝑡0 )
𝑡−𝑡0
+ 𝑘 ′ (𝑡0 , 𝑡)} 𝜑(𝑡)𝑑𝑡
𝐵(𝑡)−𝐵(𝑡0 )
𝑡−𝑡0
- имеет в окрестностях узлов 𝑐𝑘
особенности вида (𝑡 − 𝑡0 )−1 когда 𝑡0 и 𝑡 расположены на различных дугах Lj ,
сходящихся в 𝑐𝑘 .
Всюду в дальнейшем под сингулярными операторами мы будем
подразумевать операторы одного из видов (𝑎), (𝑏), т. е. операторы 𝐾, 𝐾′,
определяемые формулами
𝐾𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘(𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡
𝜋𝑖 𝐿
(1)
и
𝐾′𝜓 ≡ 𝐴(𝑡0 )𝜓(𝑡0 ) +
1
∫
𝜋𝑖 𝐿
𝐵(𝑡)𝜓(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘(𝑡, 𝑡0 )𝜓(𝑡)𝑑𝑡
𝜋𝑖 𝐿
(2)
где A(𝑡), B(t), k (t 0 , t) принадлежат классу 𝐻0 на L.
Мы записали второй оператор, т. е. оператор вида (𝑏), несколько иначе,
чем выше, по причине, которая будет сейчас указана.
Операторы (1) и (2) мы будем называть союзными друг с другом,
сохраняя определение союзных операторов вида (𝐼). Так же как в случае,
29
союзные операторы и соответствующие им сингулярные интегральные
уравнения тесно связаны друг с другом. Поэтому целесообразно (для того
чтобы не умножать без надобности терминов и обозначении) изучать
операторы вида (𝑏) не самостоятельно, а в качестве операторов, союзных с
оператором вида (𝑎). Это, конечно, нисколько не ограничивает общности и
тем более целесообразно, что одновременное рассмотрение союзных
операторов неизбежно.
Мы будем говорить, что операторы К и К′ нормального типа, если
𝐴(𝑡) + 𝑏(𝑡) ≠ 0,
𝐴(𝑡) → 𝑏(𝑡) ≠ 0
(3)
всюду на 𝐿; при 𝑡 = 𝑐𝑗 под этим подразумевается, как всегда, что
отличны от нуля пределы соответствующих выражений при 𝑡 → 𝑐𝑗 по любой
из дуг𝐿𝑘 , имеющих концом 𝑐𝑗 .
Во всем дальнейшем мы будем считать, что рассматриваемые операторы
нормального типа.
Оператор 𝐾 0 , определяемый формулой
𝐾 0 𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
𝜑(𝑡)𝑑𝑡
∫𝐿
𝑡−𝑡0
(4)
мы будем называть характеристической частью оператора 𝐾, а
функции 𝐴(𝑡0 ), 𝐵(𝑡0 )— коэффициентами характеристической части.
Если через 𝑘 мы обозначим Фредгольмов оператор первого рода
𝑘𝜑 ≡
1
∫ 𝑘(𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡,
𝜋𝑖 𝐿
(5)
то оператор К можно представить в виде суммы операторов 𝐾 0 и 𝑘, т. е.
𝐾𝜑 = 𝐾 0 𝜑 + 𝑘𝜑
(6)
Оператором, союзных с 𝐾 0 , будет оператор 𝐾 0 ′, определяемый формулой
′
𝐾 0 𝜓 ≡ 𝐴(𝑡0 )𝜓(𝑡0 ) −
1
∫
𝜋𝑖 𝐿
𝐵(𝑡)𝜓(𝑡)𝑑𝑡
𝑡−𝑡0
(7)
В соответствии с этим
𝐾′𝜑 = 𝐾 0 ′𝜑 + 𝑘′𝜑
(8)
где 𝑘′ — фредгольмов оператор первого рода, союзный с оператором 𝑘, т. е.
30
𝐾′𝜑 ≡
1
∫
𝜋𝑖 𝐿
𝑘(𝑡, 𝑡0 ) 𝜓(𝑡)𝑑𝑡
(9)
Мы будем применять операторы 𝐾 и 𝐾′ к функциям 𝜑, 𝜓 класса 𝐻∗ на L.
Легко видеть на основании результатов, что эти операторы переводят функции
класса 𝐻 ∗ в функции того же класса. В частности, функции класса 𝐻0
переводятся этими операторами в функции класса 𝐻𝜀∗ , а функции класса 𝐻𝜀∗
— в функции того же класса.
Мы познакомились с важной формулой
∫𝐿 𝜓𝐾𝜑𝑑𝑡 = ∫𝐿 𝜑𝐾′ 𝜓𝑑𝑡
(10)
где L представляет собой совокупность гладких замкнутых контуров, а
𝜑, 𝜓— произвольные функции класса 𝐻.
Легко видеть, что эта формула сохраняет силу и в случае, когда L —
произвольная кусочно-гладкая линия. Однако нам придется применять эту
формулу к более широкому классу функций 𝜑, 𝜓, чем функции класса 𝐻, а
именно, к функциям класса 𝐻 ∗ . Если 𝜑 и 𝜓 — произвольные функции класса
𝐻∗ , то интегралы в формуле (10) могут оказаться расходящимися. Но в
дальнейшем мы будем применять формулу (10) лишь в случаях, когда в
окрестности каждого узла одна из функций 𝜑, 𝜓 принадлежит классу 𝐻𝜀∗ .
Легко проверить, что в этом случае формула (10) сохраняет силу.
Уравнения следующих двух видов:
𝐾𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘(𝑡0 , 𝑡)𝜑(𝑡)𝑑𝑡 = 𝑓(𝑡0 )
𝜋𝑖 𝐿
(11)
и
𝐾 ′ 𝜓 ≡ 𝐴(𝑡0 )𝜓(𝑡0 ) −
1
∫
𝜋𝑖 𝐿
𝐵(𝑡)𝜓(𝑡)𝑑𝑡
𝑡−𝑡0
+
1
∫ 𝑘(𝑡, 𝑡0 )𝜓(𝑡)𝑑𝑡 = 𝑔(𝑡0 )
𝜋𝑖 𝐿
(12)
где 𝑓(𝑡) и 𝑔(𝑡) — заданные функции класса 𝐻∗ на 𝐿, мы будем называть
сингулярными интегральными уравнениями; решения этих уравнений мы
всегда будем разыскивать в классе 𝐻∗ .
В дальнейшем мы не будем требовать, чтобы уравнение (11) или (12)
удовлетворялось в точках, совпадающих с узлами линии 𝐿.
31
Мы будем всегда предполагать, что эти уравнения нормального типа, т.
е. что операторы 𝐾 и 𝐾′ нормального типа.
Уравнения 𝐾𝜑 = 𝑓 и 𝐾′𝜓 = 𝑔, каковы бы ни были правые их части 𝑓 и
g, мы будем называть союзными.
Обычно мы будем рассматривать уравнение типа 𝐾 ′ 𝜓 = g не
самостоятельно, а как союзное с уравнением 𝐾𝜑 = 𝑓; это делается с
единственной целью не умножать терминов и обозначений и нисколько нас не
ограничивает.
Уравнение простейшего вида
𝐾 0 𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
= 𝑓(𝑡0 )
(13)
мы будем называть характеристическим уравнением, а функции
𝐴(𝑡0 ), 𝐵(𝑡0 ) — его коэффициентами.
Уравнение же
′
𝐾 0 𝜓 ≡ 𝐴(𝑡0 )𝜓(𝑡0 ) −
1
𝐵(𝑡)𝜓(𝑡)𝑑𝑡
∫
𝜋𝑖 𝐿
𝑡−𝑡0
= 𝑔(𝑡0 )
(14)
мы будем называть союзным с характеристическим.
Замечание. Под узлами линии L мы подразумеваем не только узлы в
геометрическом смысле, но и другие точки этой линии, в которых
допускаются разрывы рассматриваемых функций.
Мы увидим, что главную роль играют разрывы функций A (t), B (𝑡), а не
геометрические свойства линии L (т. е. наличие угловых точек и пр.).
2.2. Сингулярные интегральные уравнения и их решение
Начнем с решении характеристического уравнения
𝐾 0 𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜑(𝑡)𝑑𝑡
𝑡−𝑡0
= 𝑓(𝑡0 )
(1)
Мы будем считать, как было уже сказано, что
𝐴2 (𝑡) − 𝐵2 (𝑡) ≠ 0 всюду на 𝐿.
(2)
32
Кроме того, мы будем считать пока, что 𝑓(𝑡) принадлежит классу 𝐻0 ;
решение же 𝜑(𝑡) уравнения (1) мы будем, как было условлено, искать в классе
𝐻∗ .
Введем в рассмотрение кусочно-голоморфную функцию
Ф(𝒛) =
∞ 𝝋(𝒕)𝒅𝒕
𝟏
∫
𝟐𝝅𝒊 −∞
𝒕−𝒛
,
(3)
исчезающую на бесконечности. Тогда
1
𝜑(𝑡0 ) = Ф+ (𝑡0 ) − Ф− (𝑡0 ),
∞ 𝜑(𝑡)𝑑𝑡
∫
𝜋𝑖 −∞
𝑡−𝑡0
= Ф+ (𝑡0 ) − Ф− (𝑡0 )
(4)
откуда следует, что функции Ф(𝑧) должна быть исчезающим на
бесконечности решением задачи сопряжения
(𝐴 + 𝐵)Ф+ − (𝐴 − 𝐵)Ф− = 𝑓
(5)
или
Ф+ (𝑡0 ) = 𝐺(𝑡0 )Ф− (𝑡0 ) +
𝑓(𝑡0 )
𝐴(𝑡0 )+𝐵(𝑡0 )
(6)
где
𝐺(𝑡0 ) =
𝐴(𝑡0 )−𝐵(𝑡0 )
(7)
𝐴(𝑡0 )+𝐵(𝑡0 )
Задача эта была подробно изучена в предыдущем пункте.
Особенные и неособенные узлы, соответствующие этой задаче, мы
будем
теперь
называть
особенными
и
неособенными
узлами,
соответствующим и оператору 𝐾 0 или уравнению 𝐾 0 𝜑 = 𝑓.
Неособенные
узлы
мы
будем
по-прежнему
обозначать
через
𝑐1 , 𝑐2 , … , 𝑐𝑚 (𝑚 ≤ 𝑛).
Самое общее решение (класса 𝐻∗ ) задачи (6), имеющее конечный
порядок на бесконечности, можно представить, например, в виде
Ф(𝑧) =
𝑋(𝑧)
2𝜋𝑖
∞
𝑓(𝑡)𝑑𝑡
∫−∞ [𝐴(𝑡)+𝐵(𝑡)]𝑋 + (𝑡)(𝑡−𝑧) 𝑋0 (𝑧)𝑄(𝑧)
(8)
где 𝑋(𝑧) — каноническая функция какого либо класса ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ),
соответствующая задаче (6), 𝑋0 (𝑧) — каноническая функция для той же задачи
класса ℎ0 . a 𝑄 (z) — некоторый полином.
33
Решение Ф(𝑧) должно быть подчинено еще условию, что Ф(∞) = 0;
этим условием мы займемся ниже, а теперь выведем некоторые заключения из
того факта, что если существуют решения уравнения (1), то все они
необходимо даются формулой 𝜑(𝑡0 ) = Ф+ (𝑡0 ) − Ф− (𝑡0 ), в которой Ф(𝑧)
имеет вид (8).
Вычислим 𝜑(𝑡0 ). Введем с этой целью обозначение
𝑍(𝑡0 ) = [𝐴(𝑡0 ) + 𝐵(𝑡0 )]𝑋 + (𝑡0 ) = [𝐴(𝑡0 ) − 𝐵(𝑡0 )]𝑋 − (𝑡0 )
(9)
Функцию 𝑍(𝑡) мы будем называть канонической функцией данного
класса ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ), соответствующей уравнению K 0 φ = f или оператору
K 0.
В
частности,
каноническая
функция
класса
ℎ0 =
𝑍0 (𝑡0 ) = [𝐴(𝑡0 ) + 𝐵(𝑡0 )]𝑋0+ (𝑡0 ) = [𝐴(𝑡0 ) − 𝐵(𝑡0 )]𝑋0− (𝑡0 )
(9a)
𝑍0 (𝑡)
ℎ(0)соответствующая случаю q = 0, определяется формулами
Введем обозначения
𝐴∗ (𝑡0 ) =
𝐴(𝑡0 )
𝐴2 (𝑡0 )−𝑩2 (𝑡0 )
,
𝐵∗ (𝑡0 ) =
𝐵(𝑡0 )
𝐴2 (𝑡0 )−𝑩2 (𝑡0 )
.
(10)
Тогда, пользуясь формулами Сохоцкого—Племеля, легко получим
𝜑(𝑡0 ) = 𝐾 ∗ (𝑡0 ) + 𝐵∗ (𝑡0 )𝑍0 (𝑡0 )𝑃(𝑡0 )
(11)
где
𝐾 ∗ 𝑓 ≡ 𝐴∗ (𝑡0 )𝑓(𝑡0 ) −
𝐵 ∗ (𝑡0 )𝑍(𝑡0 )
𝜋𝑖
∞
𝑓(𝑡)𝑑𝑡
∫−∞ 𝑍(𝑡)(𝑡−𝑡 ) ,
0
(12)
а 𝑃(𝑡0 ) обозначает полином.
На основании определения (9) функции 𝑍(𝑡0 ) и на основании других
формул, очевидно, что
𝑍(𝑡0 ) = 𝜔0 (𝑡0 ) ∏𝑛ℎ=1(𝑡0 − 𝑐𝑘 )𝑣𝑘
(13)
где 𝜔0 (𝑡0 ) – функция класса 𝐻0 , не обращающаяся в нуль, а
0 < 𝑅𝑒 𝑣𝑘 < 1(𝑘 = 1,2, … , 𝑞); −1 < 𝑅𝑒 𝑣𝑘 < 0 (𝑘 = 𝑞 + 𝑞, … , 𝑚);
𝑅𝑒 𝑣𝑘 = 0 (𝑘 = 𝑚 + 1, … , 𝑛).
(14)
Такие же формулы имеют место для 𝑍0 (𝑡0 ); следует только в последнем
случае считать 𝑞 = 0.
34
Исходя из сказанного, приходим к следующим выводам:
В окрестностях всех особенных узлов ck (k = m + 1, … , n) решение φ(t)
принадлежит классу 𝐻𝜀∗ . Кроме того, оно ограничено вблизи тех из особенней
узлов ck , для которых 𝑣𝑘 ≠ 0; вблизи же тех узлов ck , для которых 𝑣𝑘 = 0, оно
может быть неограниченным как ln(t − ck ).
Если в окрестности какого-либо неособенного узла решение φ(t)
ограничено, то оно принадлежит в этой окрестности классу H0 .
В самом деле, пусть ck — неособенный узел, вблизи которого функция
φ(t 0 ) ограничена. Возьмем в формулах (11), (12) в качестве канонической
функции 𝑍(𝑡) такую, которая исчезает на ck . Тогда первое слагаемое правой
части (11) принадлежит в окрестности ck классу H0 . Поэтому для того, чтобы
функция φ(t 0 ) была ограниченной, необходимо, чтобы полином 𝑃(t 0 ) имел
корень ck и наше утверждение становится очевидным.
Разобьем
теперь
все
возможные
решения
рассматриваемого
интегрального уравнения 𝐾 0 𝜑 = 𝑓 на классы, относя к классу ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ),
0 ≤ 𝑞 ≤ 𝑚, все
решения
𝜑(𝑡),
которые
остаются
ограниченными
в
окрестностях неособенных узлов 𝑐1 , 𝑐2 , … , 𝑐𝑞 . Мы видели, что такие решения
будут принадлежать в окрестностях узлов 𝑐1 , 𝑐2 , … , 𝑐𝑞 классу 𝐻0 ; поэтому
данное здесь определение класса решений согласуется с определением класса
функций 𝜑(𝑡).
Легко видеть, что решению класса ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ) интегрального
уравнения (1) будет, по формуле (3), соответствовать решение одноименного
класса задачи сопряжения (6)1 ). Поэтому для нахождения всех решении этого
класса уравнения (1) достаточно найти все решения одноименного класса
задачи сопряжения (6), исчезающие на бесконечности.
Исходя из того, что мы знаем о решении этой последней задачи, легко
приходим к следующим заключениям.
Будем называть индексом 𝜒 данного класса ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ) уравнения
𝐾 0 𝜑 = 𝑓 или оператора 𝐾 0 индекс одноименного класса задачи сопряжения
35
(6). Тогда, если подразумевать под 𝑍(𝑡) каноническую функцию класса
ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ), будем иметь:
При 𝜒 ≥ 0 все решения класса h = ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ) уравнения 𝐾 0 𝜑 =
𝑓 даются формулой
𝜑(𝑡0 ) = 𝐾 ∗ 𝑓 + 𝐵∗ (𝑡0 )𝑍(𝑡0 )𝑃𝜒−1 (𝑡0 ),
(15)
где 𝑃𝜒−1 (𝑡0 ) обозначает произвольный полином степени не выше 𝜒 −
1[𝑃𝜒−1 (𝑡0 ) = 0 при 𝜒 = 0].
При 𝜒 < 0 решение (единственное) существует при соблюдении
(необходимых и достаточных) условий
∞ tk f(t)dt
∫−∞ Z(t)
= 0, k = 0,1, … , −𝜒 − 1,
(16)
и дается той же формулой (15), в которой 𝑃𝜒−1 (𝑡0 ) = 0.
Из предыдущего следует так же, что при 𝜒 ≤ 0 однородное уравнение
𝐾 0 𝜑 = 0 не имеет решений класса ℎ, отличных от нуля; при 𝜒 > 0 оно имеет
ровно 𝜒 линейно независимых решений класса ℎ, совокупность которых
дается формулой
φ(t) = B ∗ (t)Z(t)𝑃𝜒−1 (𝑡)
(17)
где 𝑃𝜒−1 (𝑡) – произвольный полином степени не выше 𝜒 − 1.
Легко видеть, что предыдущие результаты останутся в силе, если
функция 𝑓(𝑡), вместо того чтобы принадлежать классу 𝐻0 , принадлежит
классу ℎ(𝑐1 , 𝑐2 , … , 𝑐𝑞 ). Только в этом случае решения могут быть
неограниченными так же близи тех особенных узлов, для которых 𝑣𝑘 ≠ 0, если
функция 𝑓(𝑡) не ограничена вблизи этих узлов.
Замечание . Рассмотрим уравнение
𝐾1 𝜑 ≡ 𝐴(𝑡0 )𝜑(𝑡0 ) −
𝐵(𝑡0 )
𝜋𝑖
∞ 𝜑(𝑡)𝑑𝑡
∫−∞
𝑡−𝑡0
= 𝑓(𝑡0 )
(18)
получающееся из (1) заменой 𝐵(𝑡0 ) на −𝐵(𝑡0 ). Это уравнение не будет
союзным с уравнением (1), кроме случая 𝐵(𝑡0 ) = 𝑐𝑜𝑛𝑠𝑡 (союзное уравнение
будет рассмотрено в следующем параграфе). Соответствующая уравнению
36
(18) задача сопряжения получается из задачи (6) заменой 𝐵(𝑡0 ) на −𝐵(𝑡0 ), т.е.
имеет вид
Ψ + (𝑡0 ) = [П(𝑡0 )]−1 Ψ − (𝑡0 ) +
𝑓(𝑡0 )
,
𝐴(𝑡0 )−𝐵(𝑡0 )
(19)
ибо при замене 𝐵 на – 𝐵 функция 𝐺 заменяется на 𝐺 −1 . Однородные
задачи сопряжения, соответствующие задачам (6) и (19), являются, таким
образом, союзными. Поэтому на основе сказанного если 𝑋(𝑧) и 𝜒 –
каноническая функция и индекс класса ℎ, соответствующие задачи (6), то
[𝑋(𝑧)]−1 и – 𝜒 являются канонической функцией и индексом класса ℎ′,
союзного с ℎ, соответствующими задаче (18).
Принимая
теперь
во
внимание
формулы
(9),
определяющие
каноническую функцию 𝑍(𝑡), соответствующую уравнению (1), и такие же
формулы, составленные применительно к уравнению (19), приходим к
следующему выводу.
Все формулы и результаты данного пункта останутся в силе, если
заменить соответственно
𝐵(𝑡),
𝑍(𝑡)
𝜒, ℎ
на
−𝐵(𝑡),
𝐴2 (𝑡) − 𝐵2 (𝑡)
,
𝑍(𝑡)
− 𝜒, ℎ′
где ℎ′ обозначает класс, союзный с ℎ.
2.3. Применение сингулярных интегральных уравнений в плоской
задаче теории упругости
Напомним для удобства, некоторые основные формулы и предложения
плоской статической теории упругости, ограничиваясь для простоты случаем,
когда упругое тело занимает на плоскости 𝑧 = 𝑥 + 𝑖𝑦 конечную область 𝑆,
ограниченную простым замкнутым гладким контуром 𝐿.
37
Основные уравнения плоской теории упругости при отсутствии
объемных сил, что мы и будем предполагать, сводятся к следующим:
𝜕𝑋𝑥
𝜕𝑥
+
𝜕𝑋𝑦
𝜕𝑦
= 0,
𝑋𝑥 = 𝜆𝜃 + 2𝜇
𝜕𝑢
𝜕𝑥
𝜕𝑌𝑥
𝜕𝑥
𝜕𝑌𝑦
+
𝜕𝑦
= 0,
, 𝑌𝑦 = 𝜆𝜃 + 2𝜇
𝑋𝑦= 𝑌𝑥 = 𝜇 (
𝜕𝑢
𝜕𝑥
+
𝜕𝑣
𝜕𝑥
𝜕𝑣
𝜕𝑥
,
(1)
),
где 𝑋𝑥 , 𝑌𝑦 , 𝑋𝑦= 𝑌𝑥 – компоненты напряжения, 𝑢, 𝑣 – компоненты смещения, 𝜆 >
0, 𝜇 > 0 – постоянные Ламе и где для кратности положено
𝜃=
𝜕𝑢
𝜕𝑥
+
𝜕𝑣
𝜕𝑥
.
(2)
Общее (регулярное) решение основных уравнений (1) может быть
выражено через две произвольные голоморфные в 𝑆 функции 𝜑(𝑧), 𝜓(𝑧)
следующим образом:
𝑋𝑥 + 𝑌𝑦 = 4𝑅𝑒𝜑 ′ (𝑧), 𝑌𝑦 − 𝑋𝑥 + 2𝑖𝑋𝑦 = 2[𝑧̅𝜑 ′′ (𝑧) + 𝜓 ′ (𝑧)],
̅̅̅̅̅̅,
2𝜇(𝑢 + 𝑖𝑣) = 𝜘𝜑(𝑧) − ̅̅̅̅̅̅̅̅̅
𝑧𝜑 ′ (𝑧) − 𝜓(𝑧)
(3)
(4)
где
𝜘=
𝜆+3𝜇
𝜆+𝜇
= 3 − 4𝜎 > 1;
(4a)
через
𝜎=
𝜆
2(𝜆+𝜇)
1
обозначение коэффициент Пуассона (0 < 𝜎 < ).
2
Укажем еще одну важную формулу, которой можно заменить фор–мулы
(3)
̅̅̅̅̅̅ = 𝑖 ∫𝑥 (𝑋𝑛 + 𝑖𝑌𝑛 ) 𝑑𝑠 + 𝑐𝑜𝑛𝑠𝑡,
𝜑(𝑧) + 𝑧 ̅̅̅̅̅̅̅
𝜑′(𝑧) + 𝜓(𝑧)
𝑥
0
(5)
где интеграл взят по любой гладкой дуге 𝑙, не выходящей из 𝑆, соединяющей
произвольно фиксированную точку 𝑧0 с переменной точкой 𝑧 области
𝑆; 𝑋𝑛 и 𝑌𝑛 обозначают компоненты напряжения, действующего на дугу 𝑙 со
стороны положительной нормали, т.е. нормали, направленной вправо, если
смотреть вдоль положительного направления 𝑙 (ведущего от 𝑧0 к 𝑧).
38
Как известно,
𝑋𝑛 = 𝑋𝑥 𝑐𝑜𝑠(𝑛, 𝑥) + 𝑋𝑦 cos(𝑛, 𝑦),
(6)
𝑌𝑛 = 𝑌𝑥 𝑐𝑜𝑠(𝑛, 𝑥) + 𝑌𝑦 cos(𝑛, 𝑦)
Интеграл в правой части не зависит от пути интегрирования,
соединяющего точку z с точкой z. Это легко проверить непосредственно и
очевидно с механической точки зрения.
Добавим к предыдущему еще следующие замечания, важные для
дальнейшего.
При заданных напряжениях функция 𝜑(𝑧)определяется с точностью до
выражения 𝐶𝑖𝑧 + 𝛾, где 𝐶 – действительная, a 𝛾 – комплексная произвольные
постоянные; функция же 𝜓(𝑧) определяется с точностью до произвольной
комплексной постоянной 𝛾′, так что, не изменяя напряжений, можно заметить
𝜑(𝑧) на 𝜑(𝑧) + 𝐶𝑖𝑧 + 𝛾,
𝜓(𝑧) на 𝜓(𝑧) + 𝛾′
и только такая замена не изменяет напряжений. В частности, если напряжения
равны нулю, то 𝜑(𝑧) = 𝐶𝑖𝑧 + 𝛾, 𝜓(𝑧) = 𝛾 ′ . Эти последние формулы
выражают жесткое (бесконечно малое) смещение тела, как целого, что не
отражается на напряжениях, как это показывают формулы (3).
При заданных смещениях (тогда заданы и напряжения)
𝐶 = 0,
𝛾𝜘 − 𝛾̅′ = 0.
Если заданы напряжения и, кроме того, фиксирована постоянная в
правой части формулы (5), то действительная постоянная 𝐶 остается
произвольной, но 𝛾 и 𝛾′ связаны соотношением 𝛾 − 𝛾̅′ = 0.
Наконец, если заданы смещения и фиксирована постоянная в правой
части (5), то
𝐶 = 𝛾 = 𝛾′ = 0.
В статистической теории упругости (в нашем случае плоской) под
основными граничными задачами подразумевают задачи определения
упругого равновесия тела по следующим граничным условиям.
39
В первой основной задаче задаются внешние напряжения, приложенные
к границе. Во второй основной задаче задаются смещения точек границы.
Наконец, в основной смешанной задаче на одной части границы задаются
напряжения, а на другой – смещения.
Единственность решения каждой из этих задач вытекает из известной
формулы, которая легко выводится при помощи формулы Остроградского –
Грина,
2
2
2
+ 𝑒𝑦𝑦
+ 2𝑒𝑥𝑦
)] 𝑑𝑥𝑑𝑦, (7)
∫𝐿 (𝑋𝑛 𝑢 + 𝑌𝑛 𝑣) 𝑑𝑠 = ∬𝐵 [𝜆(𝑒𝑥𝑥 + 𝑒𝑦𝑦 )2 + 2𝜇(𝑒𝑥𝑥
где
𝑒𝑥𝑥 =
𝑑𝑢
,
𝑑𝑥
𝑒𝑦𝑦 =
𝑑𝑣
,
𝑑𝑦
1 𝑑𝑢 𝑑𝑣
𝑒𝑥𝑦 = ( + )
2 𝑑𝑥 𝑑𝑥
– компоненты деформации.
При обычном элементарном выводе этой формулы предполагается, что
компоненты смещения и напряжения непрерывно продолжимы на все точки
границы 𝐿 области. О применимости формулы при более общих условиях, с
которыми нам придется иметь дело.
Во всех трех основных задачах для разности двух возможных решений
имеем на границе
𝑋𝑛 𝑢 + 𝑌𝑛 𝑣 = 0.
Поэтому вследствие того, что квадратичная форма переменных 𝑒𝑥𝑥 , 𝑒𝑦𝑦 , 𝑒𝑥𝑦
под знаком двойного интеграла в правой части положительная, мы должны
для разности двух решений иметь 𝑒𝑥𝑥 = 𝑒𝑦𝑦 = 𝑒𝑥𝑦 = 0 , откуда легко следует,
что
𝑢 = −𝜀𝑦 + 𝛼 ,
𝑣 = 𝜀𝑥 + 𝛽,
где 𝜀, 𝛼, 𝛽 – (действительные) постоянные; последние формулы выражают
жесткое (бесконечно малое) смещение тела, как целого.
В первой основной задаче эти постоянные остаются произвольными, так
как решения, отличающиеся жестким смещением, не считаются различными.
Во второй и смешанной основных задач 𝜀 = 𝛼 = 𝛽 = 0; это показывает
40
непосредственная подстановка в граничные условия и очевидно с
механической точки зрения, так как если хотя бы на части границы смещения
равны нулю, жесткое смещение исключается.
Замечание 1. Принимая во внимание формулы (4) и (5) мы можем
переписать формулу (7) еще так:
′ (𝑡) − 𝜓(𝑡)
̅̅̅̅̅̅̅
̅̅̅̅̅̅ ]𝑑[ 𝜑(𝑡)
̅̅̅̅̅̅ + 𝑡̅𝜑 ′ (𝑡) + 𝜓(𝑡)] =
−2𝜇 Im ∫𝐿 [𝜘𝜑(𝑡) − 𝑡𝜑
′ (𝑡) − 𝜓(𝑡)
̅̅̅̅̅̅̅
̅̅̅̅̅̅ ] =
= −2𝜇 Im ∫𝐿 [ ̅̅̅̅̅̅
𝜑(𝑡) + 𝑡̅𝜑 ′ (𝑡) + 𝜓(𝑡)] 𝑑[𝜘𝜑(𝑡) − 𝑡𝜑
2
2
2
= ∬𝐵 [(𝜆 + 2𝜇)𝑒𝑥𝑥
+ 2𝜆𝑒𝑥𝑥 𝑒𝑦𝑦 + (𝜆 + 2𝜇)𝑒𝑦𝑦
+ 4𝜇𝑒𝑥𝑦
] 𝑑𝑥𝑑𝑦
(8)
(второй интеграл получается из первого интегрирования по частям), где,
напоминаем,
𝑢, 𝑣 обозначают
действительную
функцию, связанные
с
𝜑(𝑧), 𝜓(𝑧) соотношением.
′ (𝑡) − 𝜓(𝑡)
̅̅̅̅̅̅̅
̅̅̅̅̅̅,
2𝜇(𝑢 + 𝑖𝑣) = 𝜘𝜑(𝑡) − 𝑡𝜑
и где
𝑒𝑥𝑥 =
𝑑𝑢
,
𝑑𝑥
𝑒𝑦𝑦 =
𝑑𝑣
,
𝑑𝑦
1 𝑑𝑢 𝑑𝑣
𝑒𝑥𝑦 = ( + )
2 𝑑𝑥 𝑑𝑥
Легко видеть на основании рассуждений, приведших нас к этой
формуле, что она справедлива на всяких двух голоморфных в 𝑆 функций
𝜑(𝑧), 𝜓(𝑧), если они достаточно регулярны вблизи границы, лишь бы
постоянные 𝜆, 𝜇, 𝜘 были связаны соотношением
𝜘=
𝜆 + 3𝜇
2
=1+
;
𝜆+𝜇
𝜆+𝜇
справедливость формулы (8) легко проверить и непосредственно, без
привлечения формул теории упругости.
Легко, далее, видеть, что формула (8) справедлива и для многосвязной,
конечной или бесконечной области 𝑆, ограниченной гладкими замкнутыми,
контурами, лишь бы функция 𝜑(𝑧), 𝜓(𝑧) были голоморфны в ней, включая
бесконечную удаленную точку, если область бесконечна. Справедливость
формулы (8) для бесконечной области легко проверить, если применить ее
41
сначала к конечной части области 𝑆, заключенной внутри окружности |𝑧| = 𝑅
при достаточно большом 𝑅, и перейти к пределу при 𝑅 → ∞. Интеграл в левой
части, взятый по этой окружности, будет при этом, как легко видеть,
стремиться к 0.
Заметим 𝜆 < 0 физически невозможен, если рассматривать 𝜆 как
постоянную Ламе в теории упругости.
Замечание 2.На теоремы единственности, вытекающие из формул (7)
или (8), нам придется ссылаться и в тех случаях, когда достаточные для
элементарного вывода этих формул условия, указанные вслед за формулой (7),
не соблюдены. Но во всех тех случаях, с которыми нам придется встретиться,
дело будет обстоять так. Упомянутые условия будут соблюдены для области
𝑆′, получаемой из 𝑆 удалением бесконечно малых частей, вырезаемых
окружностями бесконечно малых радиусов с центрами в конченом числе точек
границы 𝐿. Мы поэтому сможем применить формулу (7) или (8) к области 𝑆′
и затем перейти к пределу, когда радиусы упомянутых окружностей,
стремятся к нулю. При этом во всех случаях, с которыми нам придется иметь
дело, интегралы в левой части, распространенные на дуги этих окружностей,
заключенные в 𝑆, будут стремиться к нулю, и наши формулы окажутся
справедливыми для области 𝑆.
Здесь мы укажем решение основной смешанной задачи в общем случае,
ограничиваясь, впрочем, для простоты рассмотрением конечной односвязной
области. Для многосвязной (конечной или бесконечной) области ход решения
тот же, но в этом случае требуется некоторые дополнительные рассмотрения.
Итак, пусть тело занимает конечную область 𝑆, ограниченную простым
замкнутым контуром 𝐿. Мы будем теперь предполагать, что контур 𝐿 не только
гладкий, но обладает кривизной, удовлетворяющей условию Липшица.
Пусть на 𝐿 взяты дуги 𝐿𝑗′ = 𝑎𝑗 , 𝑏𝑗 , 𝑗 = 1,2, … , 𝑝, не имеющих общих
концов, положительные направления которых совпадают с положительным
направлением 𝐿, оставляющим область 𝑆 слева, и которые следуют друг за
42
другом в этом направлении. Дуги 𝑏𝑗 𝑎𝑗+1 , 𝑗 = 1,2, … , 𝑝
подразумевается 𝑎𝐼 ) мы обозначим через
(под 𝑎𝑝+1
𝐿𝑗′′ . Совокупность дуг 𝐿𝑗′ мы
обозначим через 𝐿′ , а совокупность дуг 𝐿𝑗′′ – через 𝐿′′ .
Основная смешанная задача, к решению которой мы приступаем,
заключается в следующем: требуется определить упругое равновесие тела,
если на части 𝐿′ границы заданы внешние напряжения, а на остальной части
𝐿′′ – смещения.
На основании формул (4), (5) эта задача сводится, очевидно, к задаче
определения двух голоморфных в 𝑆 функций 𝜑(𝑧), 𝜓(𝑧) по граничным
условиям
𝜑(𝑡) + 𝑡𝜑(𝑡) + 𝜓(𝑡) = 𝑓(𝑡) + 𝐶(𝑡)
−𝜘𝜑(𝑡) + 𝑡𝜑(𝑡) + 𝜓(𝑡) = 𝑓(𝑡)
при 𝑡 ∈ 𝐿′
}
при 𝑡 ∈ 𝐿′′
(9)
этих формулах 𝑓(𝑡) – заданная на 𝐿 функция, а именно,
𝑡
𝑓(𝑡) = 𝑖 ∫(𝑋𝑛 + 𝑖𝑌𝑛 ) 𝑑𝑠 при 𝑡 ∈ 𝐿𝑗′
𝑎𝑗
(10)
′′
𝑓(𝑡) = −2𝜇(𝑔1 + 𝑖𝑔2 ) при 𝑡 ∈ 𝐿 ,
где 𝑋𝑛 , 𝑌𝑛 – заданные на 𝐿′ компоненты внешнего напряжения, а 𝑔1 , 𝑔2 –
заданные на 𝐿′′ компоненты смещения; интегралы берутся вдоль дуг 𝐿′ =
𝑎𝑗 𝑏𝑗 ;
𝑠 обозначает дуговую абсциссу. Наконец, 𝐶(𝑡) обозначает кусочно-
постоянную функцию на 𝐿′ , т.е. 𝐶(𝑡) = 𝐶𝑗 при 𝑡 ∈ 𝐿𝑗′ , где 𝐶𝑗 обозначают
постоянные, не задаваемые заранее.
Мы будем считать, что 𝑓(𝑡) принадлежит классу𝐻0 , а 𝑓 ′ (𝑡) =
𝑑𝑓(𝑡)
𝑑𝑡
–
классу 𝐻∗ , при узлах 𝑎𝑗 , 𝑏𝑗 , 𝑗 = 1,2, … , 𝑝.
Здесь и в дальнейшем, если это не может вызвать недоразумения, мы
пишем 𝜑(𝑡), 𝜑′(𝑡), 𝜓(𝑡) вместо 𝜑 + (𝑡), 𝜑 ′+ (𝑡), 𝜓 + (𝑡).
Решение, следуя Д.И. Шерман, мы будем искать в следующем виде
𝜑(𝑧) =
1
∫
2𝜋𝑖 𝐿
𝜔(𝑡)𝑑𝑡
𝑡−𝑧
,
(11)
43
𝜓(𝑧) = −
̅̅̅̅̅̅̅
𝜔(𝑡)𝑑𝑡
𝜘
∫
2𝜋𝑖 𝐿
𝑡−𝑧
+
1
∫
2𝜋𝑖 𝐿
̅̅̅
𝜔(𝑡)𝑑𝑡
𝑡−𝑧
−
1
∫
2𝜋𝑖 𝐿
𝑡̅𝜔 (𝑡)𝑑𝑡
𝑡−𝑧
,
где 𝜔(𝑡) – функция точки 𝑡 границы, подлежащая определению.
Если считать, что функция 𝜔(𝑡)непрерывна и имеет интегрируемую
производную 𝜔′(𝑡), то при помощи интегрирования по частям последнюю
формулу можно переписать еще так:
𝜘
𝜓(𝑧) = −
∫
2𝜋𝑖 𝐿
̅̅̅̅̅̅̅
𝜔(𝑡)𝑑𝑡
𝑡−𝑧
−
1
∫
2𝜋𝑖 𝐿
𝑡̅𝜔′ (𝑡)𝑑𝑡
𝑡−𝑧
(11а)
,
Аналогично мы можем представить производную 𝜑′(𝑧) следующим
образом:
𝜑 ′ (𝑧) =
1
∫
2𝜋𝑖 𝐿
𝜔(𝑡)𝑑𝑡
(𝑡−𝑧)2
=
1
∫
2𝜋𝑖 𝐿
𝜔′ (𝑡)𝑑𝑡
𝑡−𝑧
.
(11b)
Вычислим теперь граничные значения 𝜑 + (𝑡), 𝜑 ′+ (𝑡), 𝜓 + (𝑡), считая, что
формулы Сохоцкого – Племеля применимы к правым частям первой формулы
(11) и формул (11а), (11b), и подставим полученные выражения в граничные
условия (9), имея в виду, что в этих последних под 𝜑(𝑡), 𝜑′(𝑡), 𝜓(𝑡)
подразумевается соответственно 𝜑 + (𝑡), 𝜑 ′+ (𝑡), 𝜓 + (𝑡). Это легко приводит к
следующему интегральному уравнению для определения 𝜔(𝑡):
𝐾𝜔 ≡ 𝐴(𝑡0 )𝜔(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∫𝐿
𝜔(𝑡)𝑑𝑡
𝑡−𝑡0
+ ∫𝐿 𝑘1 (𝑡0 , 𝑡) 𝜔(𝑡)𝑑𝑡 +
̅̅̅̅̅̅̅̅̅ = 𝑓(𝑡0 ) + 𝐶(𝑡0 ),
+ ∫𝐿 ̅̅̅̅̅̅̅̅̅̅̅
𝑘2 (𝑡0 , 𝑡) 𝜔(𝑡)𝑑𝑡
(12)
где
1
1
(1 − 𝜘) на 𝐿′ ,
𝐴(𝑡0 ) = { 2
−𝜘
𝐵(𝑡0 ) = { 2
0
на 𝐿′′ ,
𝑘1 (𝑡0 , 𝑡) =
𝜘 𝜕
2𝜋𝑖 𝜕𝑡
ln
𝑡̅−̅̅̅
𝑡0
𝑡−𝑡0
,
(1 − 𝜘) на 𝐿′ ,
𝑘1 (𝑡0 , 𝑡) =
на 𝐿′′ ,
1 𝜕 𝑡̅−̅̅̅
𝑡0
2𝜋𝑖 𝜕𝑡 𝑡−𝑡0
(13)
(14)
и, наконец,
𝐶 на 𝐿𝑗′ ,
𝐶(𝑡) = { 𝑗
0 на 𝐿′′ .
𝑗 = 1, 2, … . , 𝑝,
(15)
44
Постоянный 𝐶𝑗 , как было уже сказано, не задаются заранее и
определяются при решении задачи; это будет показано ниже. Пока же мы не
будем рассматривать функцию 𝐶(𝑡) как заданную.
Под частной производной по 𝑡, в формулах (14) следует подразумевать
производную по 𝑡, вычисленную в предположении, что точка 𝑡0 постоянная;
величина же 𝑡̅ рассматривается как функция от 𝑡, так что
̅̅̅
𝜕𝑡 𝑑𝑡̅ 𝑑𝑡̅ 𝑑𝑡
=
=
: ,
𝜕𝑡 𝑑𝑡 𝑑𝑠 𝑑𝑠
где 𝑠 – дуговая абсцисса.
Характеристическим
однородным
уравнением,
соответствующим
уравнению (12), будет
𝐴(𝑡0 )𝜔(𝑡0 ) +
𝐵(𝑡0 )
𝜋𝑖
∞ 𝜔(𝑡)𝑑𝑡
∫−∞
𝑡−𝑡0
=0
(16)
Соответствующая этому уравнению однородная задача сопряжения
Ф+ (𝑡) = 𝐺(𝑡)Ф− (𝑡),
где
−𝜘 при 𝑡 на 𝐿′ ,
𝐺(𝑡) =
={
𝐴(𝑡)+𝐵(𝑡)
1 при 𝑡 на 𝐿′′ ,
𝐴(𝑡)−𝐵(𝑡)
решается
чрезвычайно
просто.
А
именно,
как
(17)
легко
проверить
непосредственно или на основании общих формул, все узлы 𝑎𝑘 , 𝑏𝑘
неособенные и каноническое решение 𝑋(𝑧), например, наиболее узкого класса
ℎ2𝑝 , дается формулой (с точностью до постоянного отличного от нуля
множителя)
𝑋(𝑧) =
∏𝑝𝑗=1(𝑧
− 𝑎𝑗 )
1
+𝑖𝐵
2
1
(𝑧 − 𝑏𝑗 )2+𝑖𝐵 ,
(18)
где
𝛽=
ln 𝜘
(19)
2𝜋
Под множителями
(𝑧 − 𝑎𝑗
1
+𝑖𝐵
)2 (𝑧
−
1
𝑏𝑗 )2+𝑖𝐵
𝑧 − 𝑎𝑗
= √(𝑧 − 𝑎𝑗 )(𝑧 − 𝑏𝑗 ) [
]
𝑧 − 𝑏𝑗
𝑖𝛽
45
следует подразумевать ветви, голоморфные на разрезанной соответственно
вдоль дуг 𝑎𝑗 𝑏𝑗 плоскости, например те, разложения которых в окрестности
бесконечно удаленной точки по убывающим степеням 𝑧 имеют первым
членом 𝑧.
Канонические
решения
всех
других
классов
можно
получить
умножением 𝑋(𝑧) на множители вида (𝑧 − 𝑎𝑘 )−1 и (𝑧 − 𝑏𝑘 )−1 . Но нам
придется иметь дело лишь с функцией 𝑋(𝑧).
Из (18) следует что индекс класса ℎ2𝑝 нашей задачи сопряжения равен
(−𝑝), ибо порядок 𝑋(𝑧) на бесконечности равен 𝑝. Следовательно, согласно
определению, – 𝑝 является индексом оператором 𝐾.
Мы будем искать решение 𝜔(𝑡) уравнения (12) в классе ℎ2𝑝 .
Можно показать, что тогда 𝜔(𝑡) будет принадлежать классу 𝐻, а
производная 𝜔′(𝑡) – классу 𝐻 ∗ .
Так как индекс класса ℎ2𝑝 оператора 𝐾 равен (−𝑝), то имеем
𝑣 − 𝑣 ′ = −2𝑝,
(20)
где 𝑣 – число линейно независимых(в узком смысле) решений класса ℎ2𝑝 ,
однородного уравнения 𝐾𝜔 = 0, а 𝑣 ′ – число линейно независимых решений
′
класса ℎ0 = ℎ2𝑝
союзного однородного уравнения 𝐾 ′ 𝜎 = 0.
Докажем, что 𝑣 = 0 и, следовательно, 𝑣 ′ = −2𝑝. В самом деле, пусть
𝜔0 (𝑡) – какое-либо решение класса ℎ2𝑝 уравнений 𝐾𝜔 = 0, а 𝜑0 (𝑧), 𝜓0 (𝑧) –
функции, определяемые формулами (11), если вместо 𝜔(𝑡) взять в них 𝜔0 (𝑡).
Тогда
′
̅̅̅̅̅̅̅
̅̅̅̅̅̅̅
𝜑0 (𝑡) + 𝑡𝜑
0 (𝑡) + 𝜓0 (𝑡) = 0 на 𝐿′
(21)
−𝜘𝜑0 (𝑡) +
′
̅̅̅̅̅̅̅
𝑡𝜑
0 (𝑡) +
̅̅̅̅̅̅̅
𝜓
0 (𝑡) = 0 на 𝐿′′
В силу теоремы единственности которая звучала ранее легко заключаем,
что
𝜑0 (𝑧) = 0,
𝜓0 (𝑧) = 0
46
во всей области 𝑆. Но тогда на основании формул (11) а так же (11а) мы
должны иметь
∞
1
𝜔0 (𝑡)𝑑𝑡
∫
= 0,
2𝜋𝑖
𝑡−𝑧
−∞
∞
∞
−∞
−∞
̅̅̅̅̅̅̅̅
𝜘
𝜔
1
𝑡̅𝜔′0 (𝑡)𝑑𝑡
0 (𝑡)𝑑𝑡
∫
+
∫
=0
2𝜋𝑖
𝑡−𝑧
2𝜋𝑖
𝑡−𝑧
для всех 𝑧 ∈ 𝑆. Отсюда заключаем на основании доказанного предложения,
что функции 𝜑 ∗ (𝑡), 𝜓 ∗ (𝑡), определяемые равенствами
̅̅̅̅̅̅̅̅
𝑖𝜑 ∗ (𝑡) = 𝜔0 (𝑡), −𝑖𝜓 ∗ (𝑡) = 𝜘𝜔
0 (𝑡) + 𝑡 ̅𝜔′0 (𝑡),
(22)
являются граничными значениями функций 𝜑 ∗ (𝑡), 𝜓 ∗ (𝑡), голоморфных в
области 𝑆 − , дополняющей
𝑆+𝐿
до всей плоскости, причем 𝜑 ∗ (∞) =
𝜓 ∗ (∞) = 0. Исключая 𝜔0 (𝑡) из равенства (22), получим:
∗ (𝑡) − 𝑡 ̅𝜔 ∗′ (𝑡) − 𝜓 ∗ (𝑡) = 0 на 𝐿
̅̅̅̅̅̅̅
𝜘𝜑
0
(23)
Это граничное условие соответствует второй основной задаче для тела,
занимающего бесконечную область 𝑆 − , когда смещения на границе равны
нулю. Отсюда на основании соответствующей теоремы единственности и
условию 𝜑 ∗ (∞) = 𝜓 ∗ (∞) = 0 заключается, что 𝜑 ∗ (𝑧) = 𝜓 ∗ (𝑧) = 0. Но тогда
на основании (22) 𝜔0 (𝑡) = 0.
Таким образом, наше утверждение о том, что 𝑣 = 0 и, следовательно,
𝑣 ′ = 2𝑝, доказано.
В силу теоремы условию разрешимости (в классе ℎ2𝑝 ) уравнения (12)
имеют вид
𝑅𝑒 ∫𝐿 [𝑓(𝑡) + 𝐶(𝑡)]𝜎𝑗 (𝑡)𝑑𝑡 = 0,
𝑗 = 1,2, … . ,2𝑝,
(24)
где 𝜎𝑗 (𝑡), 𝑗 = 1,2, … . ,2𝑝, – полная система линейно независимых решений
′
класса ℎ0 = ℎ2𝑝
уравнения 𝐾 ′ 𝜎 = 0.
Полагая 𝐶𝑘 = 𝛾𝑘 + 𝑖𝑦𝑘+𝑝 , 𝑘 = 1,2, … . , 𝑝, где
𝛾𝑗 – действительные
постоянные, мы получим(действительную) систему линейных уравнений для
определения постоянных 𝛾𝑘 , 𝑘 = 1,2, … . , 𝑝, вида
∑2𝑝
ℎ=1 𝐴𝑗𝑘 𝛾𝑘 = 𝐵𝑗 ,
𝑗 = 1,2, … . ,2𝑝,
(25)
47
где 𝐴𝑗𝑘 – определенные постоянные, не зависящие от 𝑓(𝑡), а 𝐵𝑗 – также
постоянные, но зависящие от 𝑓(𝑡):
∞
𝐵𝑗 = 𝑅𝑒 ∫ 𝑓(𝑡)𝜎𝑗 (𝑡)𝑑𝑡.
−∞
Докажем, что определитель системы (25) отличен от нуля. В самом деле,
пусть 𝑓(𝑡) = 0. Тогда в системе (25) все 𝐵𝑗 = 0, и она обратиться в
однородную. Если определитель этой системы равен нулю, то она допускает
отличные от нуля решения. Пусть 𝛾𝑘0 , 𝑘 = 1,2, … . ,2𝑝, – одно из них. Тогда
уравнение (12) будет разрешимо (в классе ℎ2𝑝 ) при 𝑓(𝑡) = 0, 𝐶𝑘 = 𝐶𝑘0 = 𝛾𝑘0 +
0
𝛾𝑘+𝑝
. Пусть 𝜔0 (𝑡) – его решение, а 𝜑0 (𝑧), 𝜓0 (𝑧) – соответствующие ему
функции 𝜑(𝑧), 𝜓(𝑧).
Тогда
0
′
′
̅̅̅̅̅̅̅
̅̅̅̅̅̅̅
𝜑0 (𝑡) + 𝑡𝜑
0 (𝑡) + 𝜓0 (𝑡) = 𝐶𝑘 на 𝐿𝑘 ,
𝑘 = 1,2, … , 𝑝,
′
′′
̅̅̅̅̅̅̅
̅̅̅̅̅̅̅
−𝜘𝜑0 (𝑡) + 𝑡𝜑
0 (𝑡) + 𝜓0 (𝑡) = 0 на 𝐿
Отсюда в силу теоремы единственности для смешанной задачи легко
̅ где 𝛿 – некоторая постоянная.
заключаем, что 𝜑0 (𝑧) = 𝛿, 𝜓0 = 𝜘𝛿,
Поэтому будем иметь
∞
1
𝜔0 (𝑡)𝑑𝑡
𝜑0 (𝑧) =
∫
= 𝛿,
2𝜋𝑖
𝑡−𝑧
−∞
∞
∞
−∞
−∞
(26)
̅̅̅̅̅̅̅̅
𝜘
𝜔
1
𝑡̅𝜔0′ (𝑡)𝑑𝑡
0 (𝑡)𝑑𝑡
𝜓0 (𝑧) = −
∫
−
∫
= 𝜘𝛿
2𝜋𝑖
𝑡−𝑧
2𝜋𝑖
𝑡−𝑧
для всех 𝑧 ∈ 𝑆. Вводя теперь снова обозначения (22), приходим на основании
предложения, доказанного ранее, к заключению, что функции 𝜑 ∗ (𝑡), 𝜓 ∗ (𝑡)
являются граничными значениями некоторых функций
𝜑 ∗ (𝑧), 𝜓 ∗ (𝑧),
голоморфных в бесконечной области 𝑆 − , причем эти граничные значения
связаны соотношением (23); на этот раз 𝜑 ∗ (∞) = −𝑖𝛿, 𝜓 ∗ (∞) = −𝑖𝜘𝛿̅.
Подставляя эти значения в (23), получаем, что 𝛿 = 0б откуда в силу (22)
48
𝜔0 (𝑡) = 0. Но тогда 𝜑0 (𝑧) = 𝜓0 (𝑧) = 0 в 𝑆 и, следовательно,
𝐶𝑘0 = 𝛾𝑘0 +
0
𝛾𝑘+𝑝
= 0, 𝑘 = 1,2, … . , 𝑝, что противоречит предположению.
Таким образом, определитель системы (25) отличен от нуля, и, значит,
она всегда однозначно разрешима относительно постоянных 𝛾𝑘 , 𝑘 =
1,2, … . ,2𝑝.
Следовательно,
постоянные
𝐶𝑗 , 𝑗 = 1,2, … . , 𝑝,
вполне
определяются; при этих значениях постоянных уравнение (12) однозначно
разрешимо (в классе ℎ2𝑝 ), и его решение 𝜔(𝑡) приводит к решению исходной
задачи.
Уравнение (12) приобретает чрезвычайно простой вид в случае, когда 𝐿–
окружность. В этом случае оно, по существу, сводится к характеристическому
уравнению с коэффициентами 𝐴(𝑡), 𝐵(𝑡), определяемыми формулами (13), а
это, в конечном счете, приводит к задаче сопряжения, в которой коэффициент
𝐺(𝑡) определяется формулой (17), а свободный член содержит некоторое
число незаданных заранее постоянных, которые однозначно определяются в
ходе решения задачи из систем линейных алгебраических уравнений. Однако
в
нашем
случае
решение
можно
гораздо
проще
получить
путем
непосредственного приведения к задаче сопряжения, минуя интегральные
уравнения.
Заключение
Изучая научную литературу, исследуя и анализируя данную тему можно
сделать вывод, что интегральные преобразования являются мощным
49
средством решения различных задач не только в математике, но и в других
областях науки .
Применение методов, использующих преобразования Фурье и Лапласа
позволяет минимизировать и упростить вычисления сложных задач
математики. Методы решения дифференциальных уравнений в частных
производных, не применяющие технику интегральных преобразований, не
всегда делают возможным проведение численного анализа необходимого для
практического
использования
полученных
результатов.
Интегральные
преобразования позволяют найти решения целого ряда сложных задач
математики.
Применение
интегрального
преобразования
во
многих
случаях
позволяет свести решение дифференциального уравнения в частных
производных с n независимыми переменными к решению уравнения с n-1
независимыми переменными, что облегчает решение рассматриваемой задачи.
Последовательное применение интегральных преобразований может иногда
свести задачу к решению обыкновенного дифференциального уравнения,
теория которого хорошо разработана.
Достоинство
операционного
метода
решения
по
сравнению
с
классическим методом решения неоднородных дифференциальных уравнений
состоит в том, что начальные условия автоматически (естественным образом
в процессе преобразований) входят в изображающее уравнение. Поэтому
после выполнения обратного преобразования Лапласа сразу получается
частное
решение
уравнения,
удовлетворяющее
заданным
начальным
условиям. Следовательно, при операционном методе не надо искать
произвольные постоянные.
Недостаток метода – трудность обращения преобразования Лапласа,
особенно в случае сложной правой части или уравнений высокого порядка.
Существенным преимуществом метода интегральных преобразований
является возможность подготовки таблиц прямых и обратных преобразований
различных функций, часто встречающихся в приложениях.
50
Список использованной литературы
1.
E. Carneiro and F. Littmann, Bandlimited Approximations to the
Truncated Gaussian and Applications, Constructive Approximation 38 (2013) 1957, doi: 10.1007/s00365-012-9177-8.
51
2.
F. W. King, Hilbert Transforms, Volume 1, Encyclopedia of
Mathematics and Its Applications 124, Cambridge University Press, New York,
2009.
3.
G. B. Arfken and H. J. Weber, Mathematical Methods for Physicists, 4
th Edition, Academic Press, San Diego, 1995.
4.
M. Riesz, Sur les fonctions conjuguées, Mathematische Zeitschrift 27
(1928) 218-244, doi: 10.1007/BF01171098.
5.
P. Szekeres, A Course In Modern Mathematical Physics: Groups,
Hilbert Space and Differential Geometry, Cambridge University Press, New York,
2012.
6.
Боярский, Б.В. Об обобщенной граничной задаче Гильберта/ Б.В.
Боярский. – М.: Альфа, 1960. – 589 с.
7.
Введение в теорию одномерных сингулярных интегральных
операторов/ И.Ц. Гохберг, Н.Я. Крупник. – К.:ШТИИНЦА, 1973. – 163 с.
8.
Гахов,
Ф.Д.
Краевые
задачи
аналитических
функций
и
сингулярные интегральные уравнения/ Ф.Д. Гахов. – Изв. Казанск.физ-матем.,
1949. – 258 с.
9.
Гахов, Ф.Д. О краевой задаче Гильберта для многосвязной
области/Ф.Д. Гахов, Э.Г. Хасабов // Математика. – 1958. – №1. – С. 45-69.
10.
Гахов, Ф.Д. Уравнения типа свертки/ Ф.Д. Гахов, Ю.И. Черский. –
М.: Наука, 1978. – 269 с.
11.
Диткин, В.А. Интегральные преобразования и операционное
исчисление/ В.А. Диткин, А.П. Прудников. – М.: Физматгиз, 1961. – 145 с.
12.
Иванов, В.В. Теория приближенных методов и ее применение к
численному решению сингулярных интегральных уравнений/ В.В. Иванов. –
Киев: «Наукова думка», 1968. – 256 с.
13.
Князев, П.Н. Интегральные преобразования. Под редакцией Ф.Д.
Гахова: Учебное пособие для студентов математических факультетов
университетов и пединститутов. – Издательство «Вышейшая школа», Минск,
1969. – 185 с.
52
14.
Математическая Энциклопедия/ Под ред. И. М. Виноградова. –
М.: «Советская Энциклопедия», 1977. – 1152 с.
15.
Моисеев, Н.Д. Решение линейных дифференциальных уравнений
с постоянными коэффициентами при помощи преобразований Лапласа/ Н.Д.
Моисеев. – М.: Просвещение, 1969. – 178 с.
16.
Пискунов, Н.С. Дифференциальное и интегральное исчисления
для втузов, т. 2: Учебное пособие для втузов/ Н.С. Пискунов.– М.: Наука,
Главная редакция физико-математической литературы, 1985. – 560 с.
17.
Численный анализ в плоских задачах теории трещин / Под ред.
Саврук М. П., Осив П. Н., Прокопчук И. В.; Отв. ред. Панасюк В. В.; АН УССР.
Физ.-мех. ин-т им. Г. В. Карпенко. – Киев : Наук. думка, 1989. – 278 с.
Отзывы:
Авторизуйтесь, чтобы оставить отзыв