CC BY
27
УДК 517.968
К РЕШЕНИЮ ХАРАКТЕРИСТИЧЕСКОГО СИНГУЛЯРНОГО
ИНТЕГРАЛЬНОГО УРАВНЕНИЯ НА ВЕЩЕСТВЕННОЙ ПРЯМОЙ В ИСКЛЮЧИТЕЛЬНОМ СЛУЧАЕ С ПРОИЗВОЛЬНЫМИ
ПОРЯДКАМИ НУЛЕЙ
Т.М. Урбанович
Полоцкий государственный университет ул. Блохина, 29, Новополоцк, 211440, Белоруссия, e-mail: [email protected]
Аннотация. Исследуется сингулярное интегральное уравнение с ядром Коши с произвольными особенностями нецелого порядка у коэффициентов. Получены условия разрешимости и явная формула представления решения.
Ключевые слова: сингулярное интегральное уравнение, ядро Коши, задача линейного сопряжения.
Рассмотрим характеристическое сингулярное интегральное уравнение на прямой
+ ЬБр = f (1)
с оператором Коши
К Ь — ¿0
где коэффициенты а, Ь и правая часть f принадлежат классу Гельдера Н(К, то) на расширенной прямой К = Му {оо}, причем /(оо) = 0.
Напомним, что функция Е Н(К, то) принадлежит классу Гёльдера на расширенной прямой с показателем 0 < ^ < 1 (условию Липшица при ^ = 1), если существует такая постоянная С > 0, что
- р(*2)|< 2) ,
где
\ti-h\ (i + |ti|)(i + |t2|) '
d(tut2) = ,л , ' u „ , t3e E, j = 1,2
фьто) = = (л * I, ,
(1 + |ь1|)
Условие <^(то) = 0 выделяет в пространстве Н(К, то) подпространство, которое обо-
о
значаем Н (К, то).
о
Очевидно, функции ЕН (К, то) этого класса ведут себя как 0(|г|-£) при |г| — то
о
с некоторым е > 0 (зависящим от <^). В частности, для ^(¿) ЕН (К, то) вне окрестности точки ¿о функция (Ь — ¿0)-1^(Ь) интегрируема, поэтому сингулярный интеграл Коши
понимается в смысле главного значения только по отношению к точке ¿0. Хо-
о
рошо известно [1, 2], что оператор 51 инвариантен в классе Н (К, оо).
Уравнение (1) является уравнением нормального типа, если коэффициенты а ± Ь обратимы в классе оо), т.е. они отличны от нуля всюду на К. Исчерпывающее ис-
следование уравнения этого типа было впервые проведено Ф.Д. Гаховым и изложено в его монографии [1]. Оно основывается на сведении уравнения (1) к эквивалентной задаче линейного сопряжения и эффективного решения последней- Характер разрешимости этого уравнения определяется целым числом ж - индексом Коши
ае = — 1п 0(1) 2пг
I.
. а = (2)
а + Ь ^
Именно, при ж ^ 0 уравнение всегда разрешимо в классе Н (К; о), причем однородное уравнение имеет ж линейно независимых решений. При ж < 0 однородное уравнение имеет только нулевое решение, а неоднородное уравнение разрешимо тогда и только
тогда, когда правая часть f удовлетворяет —ж условиям ортогональности.
*
Исходя из конечного множества Е С К, обозначим Н (К, Е; о) класс функций
о
которые принадлежат Н (К \ и, о) вне любой окрестности и множества Е, а в окрестности каждой точки т Е Е представимы в виде ^0(£)(£ — т)-1, где Е Н и <^0(т) = 0.
*о
Тогда любое решение ^ ЕН (К, Е; о) уравнения (1) с правой частью f ЕН (К, о) также
о
принадлежит классу Н (К, оо).
Пусть заданы конечные множества Е и Е, которые не пересекаются. Метод Ф.Д. Гахова будет воспроизведен ниже в исключительном случае, когда функции а ± Ь допускают нули в конечном числе точек действительной прямой:
(а + Ь)(г) = 0(|* — т|ат) при г ^ т Е Е ,
(3)
(а — Ь)(г) = о(|г — т|ат) при г ^ т е е ,
где конечные множества Е и Е не пересекаются.
В случае целых положительных ат уравнение (1) на гладком замкнутом контуре интегрирования Г было впервые рассмотрено Ф.Д. Гаховым [3] и Л.А. Чикиным [4]. Независимо от этих работ и другим методом Д.И. Шерман [5, 6] получил аналогичные результаты в предположении, что только одна из функций (а ± Ь)(г) имеет нули целых порядков на контуре Г.
В данной работе рассматривается ситуация, когда функции а ± Ь допускают на прямой нули произвольных неотрицательных порядков ат. Случай 0 < ат < 1 рассмотрен в работе [7].
Условия (3) уточним следующим образом. Положим
где ветви соответствующих степенных множителей выбраны с разрезом вдоль отрезков [т, —г]. В частности, А(*) и Б(*) продолжаются до функций, аналитических в полуплоскости = {г, 1шг > 0}, для этих продолжений ниже используем те же обозначения. В принятых обозначениях требуется, чтобы функции с, б в представлении
а + Ь = сА, а — Ь = ¿Б , (5)
принадлежали классу Н(К, то) и были обратимы в этом классе. Заметим, что функции
|АМГ > ' |Б(*)|
кусочно непрерывны на прямой с возможными разрывами в точках множеств Е и Е. Их односторонние пределы в этих точках т £ Е и т £ Е связаны, соответственно, соотношениями
А(т — 0) = епатА(т + 0), т £ Е, Б(т — 0) = епатБ(т + 0), т £ Е. (6)
Поэтому (5) можем представить в виде
1-тат
те^1
t_т
(а + Ъ) (t) = c(t) U— ' " (*) = П
t€E
t + i
где обратимые коэффициенты с и d кусочно непрерывны с характером разрыва (6) в точках E и F соответственно.
В обозначениях (2) введем каноническую функцию X(z), отвечающую коэффициенту G. По определению [1, 2] это кусочно аналитическая функция, которая в полуплоскости D± = {±Imz > 0} представима в виде
X{z) = X°(z), z Е D+; X{z) = X°_{z) (тГ^) , (7)
где аналитическая в D± функция Х± принадлежит и обратима в классе H(D±, оо) (классы H(D±, то) в полуплоскостях определяются совершенно аналогично случаю прямой). Кроме того, предельные значения X± функции X на прямой R связаны соотношением
X + = GX- . (8)
Следуя [1, 2], каноническую функцию X можно построить в явном виде. С этой целью, исходя из непрерывных ветвей логарифма, рассмотрим функцию
ti
g(t) = In G(t) - aeln '
ч* + г,
которая, очевидно, принадлежит классу Н(К, то). Отвечающий ей интеграл типа Коши
= — [ сЛг) -сЛоо) Л,, Z е С\Е, 1 ; 2т ]ж t-z х
принадлежит классу Н (-0±; оо) в каждой из полуплоскостей = {±1тс > 0} и его граничные значения связаны формулой Сохоцкого-Племеля Л+(£) — Л.-(£) = д(Г) — д(то). Поэтому условия (7), (8) выполнены по отношению к Х+ (г) = ехр[Л,(г) + д(то)], г € Б+, и X-(г) = ехр[Л,(г)], г € В-.
Пусть [ж] и {ж} означают, соответственно, целую и дробную части вещественного числа ж. Введем неотрицательные целые числа
т =Етее [ат] ' П = Ет^ [ат] ' (9)
и запишем
А = А0 А1, В = Б0 В1, (10)
где рациональные функции А0, В0 определяются аналогично (4) по целым частям [ат] и аналогичный смысл имеют А1, В1 по отношению к дробным частям показателей.
о
Решение уравнения (1) с правой частью f €Н (К; то) будем отыскивать в классе
[<р\ . (11)
Пусть р есть решение уравнения (1) из этого класса и
т = гев+и1)_. (12)
Хорошо известно [1, 2], что тогда функция ф(г) удовлетворяет условию
ф(2)
B1(z)
ЕН {D+,EUF;oo) , ф(2) ЕН (D_,E U F-ос) , (13)
где классы Н (В±,Е и оо) в полуплоскостях определяются совершенно аналогично случаю прямой.
По формулам Сохоцкого-Племеля
Р = Ф+ — Ф-, ^ = ф+ + ф- , (14)
поэтому, с учетом (2), (8), (9), уравнение (1) можем переписать в форме краевого усло-
вия
А^— - В0В' Ф~ f
X + X- сХ + '
для функции ф. После деления на В1 отсюда следует
(Аф\ + о/" /
\Ш) [х) =д' д = ЖШ-
Введем кусочно аналитическую функцию ф по формулам
где, напомним,
. [ат ]
?0 ^ тг - ^
В°(г) = П
„ + г
Тогда предыдущее краевое условие можем представить в форме
ф+ — ф- = д. (16)
Из (7), (9) и (15) выводим, что в окрестности точки г = —г функция ф имеет поведение
ф(г) = 0(1)(г + г)-(ш+га)0
при г ^ —г, (17)
где, для целого к, под (к)° здесь и ниже понимается неотрицательное число (к + |к|)/2. В частности, при ж + п < 0 функция ф аналитична в окрестности точки г = —г и ее производные до порядка —ж — п — 1 включительно обращаются в этой точке в нуль. Удобно этот факт записывать единообразно в форме
ф(к)(—г) = 0, 0 ^ к ^ (—ж — п)° — 1, (18)
где здесь и ниже условия этого типа по пустому множеству индексов к опускаются. Рассмотрим интеграл типа Коши
, , , 1 [ / 4Ф) = 7Г~- / 1-> 9 ~
2пг ./к г — г сХ+В1
Очевидно, функция ф° принадлежит классу (13) и удовлетворяет краевому условию (16). Поэтому разность ф — ф° аналитична вне конечного множества Е и Е и {—г}, исчезает на бесконечности, допускает слабые особенности в точках т £ Е и Е и возможный полюс в точке —г. С учетом (17) отсюда следует
ф(г) = ф°(г) + р(г)(г + г)-(ж+га)о
с некоторым многочленом р степени degр < (ж + п)° (в случае (ж + п)° = 0 этот многочлен считается равным нулю). Кроме того, при ж + п < 0 функция ф должна быть подчинена условиям (18). При выполнении этих условий функция ф, которая восстанавливается по ф из равенств (15), аналитична вне вещественной оси. В соответствии с (14) и (2), (8) отсюда приходим к следующему заключению.
Теорема 1. Пусть коэффициенты а,Ь уравнения (1) представлены в виде (4), (55),
о
где с, 1 обратимы в классе Н(К; то). Пусть f £Н (К; то) и
* = <?(*) = + (19)
Тогда любое решение <£> уравнения (1) в классе (11) представимо в виде
Х+В1 (д + Бд р\ сХ+ (д-Бд р\ = — + + ' (20)
с некоторым многочленом р степени меньше (ж + п)0, причем
[ 9&)<И +/руА)(_г) = 0) 0О^(-ае-п)0-1. (21)
Л V + г)к+1 \д
Обратно, если эти условия выполнены и формула (20) определяет функцию из класса (11), то эта функция является решением уравнения (1).
Возникает задача описания условий на правую часть f уравнения (1) и многочлен р, обеспечивающих принадлежность функции (20) классу (11). Начнем со следующего вспомогательного предложения.
Лемма 1. Пусть заданы попарно различные точки г\,... ,гг, т\,... ,т3 комплексной плоскости и неотрицательные целые числа т\,... ,тг, п\,... ,п3. Положим М = ш\ + ... + тг, N = н\ + ... + п3 и д(г) = (г — г\)т1 ■ ■ ■ (г — гг)т1. Тогда при М ^ N система линейных уравнений
Р \(к)
Ч = 0С1.СП, 1../ 1.....,. (22)
всегда разрешима в классе Р многочленов степени меньше М, а при М ^ N соответствующая однородная система имеет только нулевое решение. В частности, при N > М существует такое подпространство X С С"1 х ... х С" размерности N — М, что условия
Е
к,3
е, пк = 0, п е X
необходимы и достаточны для разрешимости неоднородной системы (22).
□ Предположим сначала, что М = N и пусть многочлен р е Р удовлетворяет однородной системе (22). Тогда функция рр/д имеет в точках т, нуль порядка п,. Поскольку, по условию, эти точки отличны от точек гк, отсюда следует, что аналогичным свойством обладает и многочлен р. Но тогда либо его степень должна быть не меньше М, что невозможно, либо р = 0. Таким образом, однородная система (22) имеет только нулевое решение и следовательно, неоднородная система однозначно разрешима. Очевидно, последнее свойство справедливо и при N ^ М.
Остается рассмотреть случай М > N .В этом случае систему (22) можем рассматривать в подпространстве Р многочленов степени меньше N, размерность которого равна N. Поэтому эта система, а вместе с ней и исходная система всегда разрешимы. В
Рассмотрим сначала случай f = 0 однородного уравнения (1).
Теорема 2. В условиях теоремы 1 размерность пространства решений однородного уравнения (1) в классе (11) равна (ж — т)0. Более точно, при ж ^ п однородное уравнение в этом классе имеет только нулевое решение, а при ж > п в обозначениях (19) его решениями служат функции
(В1 с \ р
<р = Л
А ¿В0) д
с многочленами p степени меньше (ж + n)0, подчиненными условиям
р Vfc)
- (г) = 0, 0 ^ А: ^ [аг] -1, т е EU FU {-г} , (23)
qj
где для единообразия положено [a-i] = (-ж — n)0.
□ Первую часть условий (23) составляют условия (21) при f = 0, а вторая часть этих условий обеспечивает принадлежность функции ^ классу (11). Пусть P есть класс многочленов степени меньше M = (ж + n)o и N = m + n + (—ж — n)o есть суммарное число условий (23), которые выделяют подпространство P0 С P. Из леммы 1, где следует положить l = 1, z1 = —i, при ж + n > 0 вытекает, что размерность dim P0 = (M — N)0, т.е. P0 = 0 при N > M и dim P0 = M — N в противном случае. Остается заметить, что
M — N = (ж + n)0 — m — n — (—ж — n)0 = ж — m. ■
Вопросу о принадлежности классу (11) функций (20) предпошлем рассмотрение граничных свойств интеграла типа Коши с дифференцируемой плотностью. Пусть 0 < r0 < r1 и D есть полукруг {|z| < r0, Imz > 0}. Рассмотрим в этом полукруге интеграл
1 Г1 p(t)dt .
где 0 ^ 8 < 1, и степенная функция фиксируется ее непрерывной ветвью в одном из полукругов {|z| < r0, ±Imz > 0}. Хорошо известно (и этот факт неоднократно использовался выше), что при <р Е H[—ri,ri] функция zS(f)(z) принадлежит классу H(D).
Лемма 2. Пусть ^ G Hn[—r1,r1], n ^ 1, т.е n—ая производная <^(n) G H[—r1,r1]. Тогда при 8 = 0 функция (24) принадлежит классу Hn(D), а при 0 < 8 < 1 она пред-ставима в виде
n— 1
vkS
= (25) к=0 '
где фо е нп-1ф) п zsф(¿г\z) е нф).
□ Пусть сначала 8 = 0. Дифференцируя функцию (24) и интегрируя результат по частям, получим:
2пг \,/-Г1 Ь - г Г1 - г Г1 + г ) Повторяя эту процедуру, приходим к равенству
с некоторой функцией ф из класса Н^И). Следователвно, и сама производная ф^ принадлежит этому классу.
Пусть теперь 0 < 8 < 1. Предположим сначала, что совпадает с многочленом
к=0 '
Пусть О1 тот из полукругов ||г| < г1, ±1шг > 0}, в котором зафиксирована ветвь степенной функции . Очевидно, либо О С Д1, либо О и О1 лежат в разных полуплоскостях. В первом случае, по формуле Коши
где знак определяется выбором полукруга О1 и Ь есть криволинейная часть его границы. Во втором случае, рассматриваемый интеграл равен нулю в О. Поэтому в обоих случаях утверждение леммы очевидно.
Таким образом, без ограничения общности можно считать, что ^(к)(0) = 0, 0 ^ к ^ п — 1. В этом случае можем записать
1 Г* (п — 1)' 0
так что при 0 ^ к ^ п — 1 будем иметь
= I ЧГГ-У* = /V - гГ->-ПУ1г.
Таким образом,
¿к->(к)(£) е н[—гьп], 0 ^ к ^ п — 1. Следовательно, по формуле Лейбница
п- 1
[г&<^)](п-1) = £ ск¿1-г+к->(к)(£) е н[—Г1,п]
к=0
с соответствующими коэффициентами Ск е К и аналогично
[гг<^)](п) = гг^п)(£) + ро(*), ^0 е н[—Г1,п].
Записывая теперь для производных функции (24) порядков к = п — 1 и к = п аналогичные (26) равенства, отсюда приходим к принадлежности функций ф(п-1)(г) и классу Н(О), что завершает доказательство леммы. ■ С помощью леммы 2 легко описать условия, при которых функция ф имеет нуль максимально возможного порядка.
Лемма 3. В условиях леммы 2 функция ф(г) имеет нуль порядка п — 8 тогда и только тогда, когда
ф(к)(0) = 0 , 0 ^ к ^ п — 1 , при 8 = 0 , ( )
ф(к)(0) = <^(к)(0) = 0 , 0 ^ к ^ п — 1, при 8 > 0 , ( )
п в этом случае функция € Н(0).
□ При 8 = 0 утверждение леммы очевидно. То, что функция г-пф(г) принадлежит классу Н, вытекает из равенства
1 7П Г1
Ф(=) = 7-ттг / (- - *Г Уп)(*)<й = —— / (1 - тГУп)(~т)<*т , (28)
(п — 1)! J0 (п — 1)! J0
где учтено свойство выпуклости полукруга О.
Пусть 0 < 8 < 1. Если одно из значений ^(к)(0), 0 ^ к ^ п — 1, отлично от нуля, то в силу представления (25) функция ф не может иметь нуль порядка п — 1 в точке г = 0. Поэтому условия (27) необходимы. Если они выполнены, то можем написать равенство (28). Согласно лемме 2 в этом случае ф*(г) = Е Н(О), так что и функция
й—п
-1 (1 - г)"-1 (п- 1)4
= 7-7Т7 / -я-Ф*(~т)с1т
принадлежит классу Н. В
Обратимся к неоднородному уравнению (1).
Теорема 3. Пусть выполнены предположения теоремы 1, коэффициенты си функция / принадлежат классу Н К ] в окрестности точек т Е Е и Е. Положим для краткости (Е)0 = {т Е Е, {ат} > 0}. Тогда условия
/(к)(т) = 0, 0 ^ к ^ [ат] — 1, т Е (Е)0 , (29)
необходимы для разрешимости уравнения (1) в классе (11). Пусть эти условия выполнены. Тогда при ж — т ^ 0 уравнение (1) всегда разрешимо, а при ж — т < 0 для его разрешимости необходимо выполнение т — ж линейно независимых условий на правую часть /. Более точно, существует такое подпространство
X С С(-ш-п)о х П ]
_ ААт ееи^
размерности т — ж, что в обозначениях (19) условия ортогональности к г- ^ [ат]-1 [ат]-1
™ Jш (I + г)
£ / Ж*+Е Е + + Е Е - = о (30)
т
тее к=0 тее к=0
ко всем векторам п = (пк, п'к) Е X необходимы и достаточны для разрешимости уравнения (1) в классе (11).
□ По предположению, коэффициенты с, й принадлежат классу
Н[ат]
в окрестности точек т Е Е и Е. Из леммы 1 и построения канонической функции X видно, что аналогичным свойством обладает и функция X +. Таким образом, в окрестности точек т Е (Е)0 функция д в (19) представима в виде
д(1) = (1 — т)-йт~д(1), 8т = {ат} ,
где д € Н[ат], и ветвь степенной функции фиксируется с верхней или нижней полуплоскости, а в окрестности остальных точек принадлежит Н ^ ]. Поэтому, на основании лемм 2 и 3, заключаем, что условия (29) необходимы для того чтобы функции в круглых скобках в (20) имели нуль порядка [ат] в точках т € (Е)0 и принадлежали классу Н[ат]-1 в окрестности всех точек Е и Е, (конечно, при [ат] = 0 под указанным классом следует понимать Н). Совместно с (21) и условиями
9 + 8д + ^У } (г) = о, о ^ к ^ Ы - 1, Г е Е,
2 qt
к (31)
g - Sg (k)
2 q
(т) = 0 , 0 ^ k ^ [ат] - 1 , т Е F,
они необходимы и достаточны для принадлежности функции (20) классу (11). По отношению к многочленам р условия (21) и (31) можно рассматривать как неоднородную систему линейных уравнений леммы 1, правая часть
. с(-ж-п)0 х ТТ С[«т]
А1т ееи^
которой зависит от f. Соответствующая ей однородная система описывается (23). Таким образом, как и при доказательстве теоремы 1, следует воспользоваться этой леммой, где нужно положить М = (ж + п)0 и N = т + п+(—ж — п)0. Поскольку М — N = ж — т, отсюда следуют все утверждения теоремы. При этом соотношения (30) как раз являются условиями разрешимости системы, о которой идет речь в лемме 1. I
Литература
1. Гахов Ф.Д. Краевые задачи. 3-е изд. / М.: Наука, 1977. - 640 с.
2. Мусхелишвили Н.И. Сингулярные интегральные уравнения / М.: Наука, 1968. - 512 с.
3. Гахов Ф.Д. Краевые задачи аналитических функций и сингулярные интегральные уравнения // Известия Казанского физ-матем. общества. - 1949 - 14;3. - С.75-160.
4. Чикин Л.А. Особые случаи краевой задачи Римана и сингулярных интегральных уравнений // Учёные записки Казанского гос. ун-та им. В.И. Ульянова-Ленина. - 1953. -113;10. - С.57-105.
5. Шерман Д.И. Об одном случае регуляризации сингулярных уравнений // Прикладная математика и механика. - 1951. - 15;1. - С.75-82.
6. Шерман Д.И. О приёмах решения некоторых сингулярных интегральных уравнений // Прикладная математика и механика. - 1948. - 12;4. - С.423-452.
7. Солдатов А.П., Урбанович Т.М. Характеристическое сингулярное интегральное уравнение с ядром Коши в исключительном случае // Научные ведомости БелГУ. Математика. Физика. - 2011 - №.17 (112);24. - С.165-171.
TO SOLUTION OF CHARACTERISTIC SINGULAR INTEGRAL EQUATION ON REAL AXIS IN EXCEPTIONAL CASE WITH ARBITRARY ZERO ORDERS T.M. Urbanovich
Polotsk State University, Blohina St., 29, Novopolotsk, 211440, Belarus, e-mail: UrbanovichTMQgmail.com
Abstract. Singular integral equation with Cauchy's kernel having arbitrary singularities of noninteger order is studied. The solvability conditions and the explicit formula of the solution representation are obtained.
Key words: characteristic singular integral equation, Cauchy's kernel, linear conjugation problem.
