Об уравнении с двумя ядрами типа свертки Конторовича - Лебедева Текст научной статьи по специальности «Математика»

Труды БГТУ, 2016, № 6, с. 31-35

31

УДК 517.968

Л. Д. Яроцкая

Белорусский государственный технологический университет

ОБ УРАВНЕНИИ С ДВУМЯ ЯДРАМИ ТИПА СВЕРТКИ КОНТОРОВИЧА - ЛЕБЕДЕВА

Настоящая работа посвящена изучению интегрального уравнения второго рода с двумя ядрами. В качестве одного из них взята классическая свертка для преобразования Конторови-ча - Лебедева, а в качестве второго - обобщенная свертка, построенная с помощью композиционного равенства для преобразования Конторовича - Лебедева. Предполагается, что свертываемые и искомые функции принадлежат некоторым весовым пространствам Лебега измеримых функций. Путем применения преобразования Конторовича - Лебедева рассматриваемое уравнение сведено к линейному алгебраическому уравнению относительно преобразования Конторовича - Лебедева и некоторого интегрального преобразования по индексу с ядром, связанным с функцией Макдональда. Далее с помощью аппарата интегралов типа Коши полученное уравнение сводится к краевой задаче Римана для полуплоскости в классе функций, исчезающих на бесконечности, и применяются для нее соответствующие известные результаты. Получены условия аналитического продолжения интеграла Конторовича - Лебедева в некоторую полосу, установлена связь между интегралом типа Коши по действительной оси и интегралом Конторовича - Лебедева, записаны аналоги формул Сохоцкого. При этом рассмотрены условия равносильности полученных задач, даны достаточные условия разрешимости и алгоритм для нахождения решения.

Ключевые слова: интегральное уравнение, преобразования по индексу, преобразование Конторовича - Лебедева, композиционная свертка.

L. D. Yarotskaya

Belarusian State Technological University

ON THE EQUATION WITH TWO CONVOLUTIONS OF THE KONTOROVICH - LEBEDEV TYPE IN THE KERNELS

The integral equation of the second kind with two kernels is investigated. One of them is the Kontorovich - Lebedev convolution and the second one is the generalized convolution construction connected with the index transforms of the Kontorovich - Lebedev type. It's supposed that kernels and unknown functions belonging to some weighted Lebesgue spaces of measurable functions. Applying the Kontorovich - Lebedev transform this equation is reduced to a linear algebraic equation associated with the Kontorovich - Lebedev transform and some integral transform with respect to a parameter of the Macdonald type function. Then by means of the Cauchy type integral the last equation can be reduced to the Riemann boundary value problem for the half-plane in the class of functions vanishing at infinity. The solutions are obtained applying the well known results for the Riemann boundary value problem. We obtain the conditions of the analytic continuation of the Kontorovich - Lebedev integral in some strip. We establish the connections between the Cauchy type integral along the real axis and the Kontorovich - Lebedev integral and the analogues Sokhotskii formulas. As a result, sufficient conditions for solvability and the algorithm for receiving the solutions are given.

Key words: integral equation, index transform, Kontorovich - Lebedev transform, general convolution.

Введение. В работе автора [1] впервые были исследованы интегральные уравнения с неподвижной особенностью, разрешимые в замкнутой форме посредством преобразования Конторовича - Лебедева. В дальнейшем оказалось, что ядра рассматриваемых уравнений первого и второго рода являются свертками двух функций. Установлено [2], что преобразование Конторовича - Лебедева порождает целый класс преобразований по индексу. В монографии [3] разработан метод построения композиционных сверток для таких преобразований. В частности, дано понятие

обобщенной свертки (( * g) двух функций / и g как операции умножения в некоторой алгебре, когда с помощью действия соответствующего интегрального оператора К на свертку приходим к обычному умножению образов. Если при некоторых условиях имеет смысл обратный оператор от произведения функций, то в некотором пространстве функций свертку можно определить равенством Парсеваля:

(/ * g )(х ) = К-1 ([ К,/][ К2 g ])(х), где К1, К2 — некоторые интегральные операторы.

Это позволило полученные конструкции применить для исследования некоторых классов интегральных уравнений с композиционной сверткой [2].

Основная часть.

1. Предварительные сведения. Рассмотрим преобразование Конторовича - Лебедева следующего вида:

Кт[/] = ]Кт(х)/(х^х, т> 0. (1)

0

Здесь К н(х) - функция Макдональда мнимого параметра, для которой справедливо следующее интегральное представление [3]:

Двойной интеграл

K ) = J

e xchucos(tu)du.

(2)

Обозначим через Ь, р (К + ) пространство измеримых на положительной полуоси функций со степенным весом, норма которого определяется формулой

llv, p

= lí| xV f (x ) T

у/p

< ^

(3)

/

где V е И, р > 1. Заметим, что в случае \р = 1 пространство Ь,р (К+ ) совпадает с пространством Ьр (К + ).

В монографии [3] показано, что оператор Конторовича - Лебедева (1) ограничено действует из пространств функций (К + ) с параметром 0 < V < 1 в пространство Ь2 (К +).

Через

KL (v,p ) = {g : g (t) = K t[ f ]}

(4)

обозначим область значения преобразования Конторовича - Лебедева (1) функций / пространства Ь, р (К+), где v< 1, р > 1. Показано [3], для того чтобы g (т)е КЬ (( р), 0 <v<1, р > 1, необходимо и достаточно, чтобы

g(t)G Lr (R +), г > 1, lei.m.(/eg)e Lv,p(R + ).

(5)

e i 0+

Кроме того, справедлива следующая формула обращения преобразования (1):

/(х) = 1.1 .т.(/еg)(х), х > 0, (6)

81 0+

( g)(х )=-22-8х п х

х]т((п-8)х)КгТ(х^(т)Лт, 8е (0,п), (7)

0

причем предел в (5), (6) понимается по норме (3) пространстваЬ, р (К +).

(f*g)(t)= 1 Це 2u 2t 2yf(u)g(y)dudy (8)

ty yu ut 2u 2t 2y

2t

0 0

называется сверткой двух функций / и g для преобразования Конторовича - Лебедева (1).

Лемма 1 [3]. Свертка (8) функций /(х) и g(х)е Ь2 (К +) существует и принадлежит пространству Ь,,2 (К +) с параметром ,> 1/2. Кроме того, если 1/ 2 <,< 1, то для любого х > 0 справедливо факторизационное равенство

[К,(/* g )] (х ) = [ Кт / ](х ) [ Кт g ](х). (9)

Подчеркнем, что свертку (8) можно определить как обратное преобразование Конторовича -Лебедева (7) функции Кн[/ ]КН[ ]. ^

В работе [4] построена свертка (/* g) двух функций / и g, определенная обратным преобразованием Конторовича - Лебедева функции

(( * g )(х х) = -2Г х

п х

х] т (пт)Кт(х )Р (т)Кт [g\йт. (10)

Здесь

F(t) = JMrt (u)f (u)du - (11)

интегральное преобразование, где специальная функция ядра определяется интегралом

Mi t (u ) = J e-u ch t sin (Tt )dt. (12)

0

Заметим, что интеграл (12) напоминает интегральное представление (2) для функции Макдональда KiT (x).

В работе [4] доказаны следующие свойства преобразования (11) и свертки (10). В частности, если f (xje L2 (R +), то интеграл в (11) существует и F (x )е L2 (R+).

Лемма 2-g)xПусть f (x), g(x)e L2 (R+), G(x)e L lxe(n )x;R +), где G(x) - преобразование (1) функции g(y) и 0 <5<п/2. Тогда свертка (10) функций f (x) и g (x) существует и принадлежит пространству Lv,2 (R+), где V > 1.

Для функций f (x)e Lv2 (R +) с параметром 1 <v<1 + e0, e0 > 0, определим преобразование Конторовича - Лебедева следующим образом:

Kiz[f ]= lim JK,(x)f (x)xedx,

eiü+J 0

0 <e<e0.

Л. А. Яроцкая

33

Лемма 3. Пусть f (x), g(x)e L (R+). Тогда преобразование (13) свертки (10) существует и справедливо факторизационное равенство

K,[(/ * g )] = ¿O-g]. (14)

2. Аналитическое продолжение интеграла Конторовича - Лебедева. Рассмотрим функцию комплексного переменного z

Kz [f ] = JKz (x)f (x)dx.

(15)

Теорема 1. Пусть /(х)е Ьу2 (К+), 0 <у<1. Тогда Кг [/] — аналитическая функция в полосе |1ш < 1 -V.

Доказательство. Используем формулу [3]

, i8+«

Kz (x) = 1 J e-xchß+izßdß, 8e[0,n/2).

(16)

Сделав замену переменной ß = u + ¿8, оценим:

ÎKz )

= C-

e-8 Re

' < «.

(17)

Применяя неравенство Гёльдера, оценку (17) и обобщенное неравенство Минковского, имеем:

г д

J—Kz (x)f (x)dx

, dz

< Ce

-8| Re

lv,2

X

. , f —u Im z 1 v-1 / 2 . s 2

X J e ch Hu +8

Интеграл в последнем равенстве сходится, если |lm Z < 1 - v. Следовательно, функция Kiz [ f ] является непрерывно дифференцируемой и аналитической в этой полосе. Теорема доказана.

3. Связь интеграла Конторовича - Лебедева (1) с интегралом типа Коши [5]. В силу четности функции Макдональда возьмем те R.

Пусть f (x )е L2 (R+). Тогда

1 J F(x)dт= 1 « dT «к (t) f (

2ni /T"_ ^ Orri » t_ 7J

Fir)

T-z

2ro j t - z ■

Воспользовавшись представлением (16) при 5 = 0, в силу абсолютной сходимости поменяв порядок интегрирования в полученном повторном интеграле, можем представить интеграл типа Коши в следующем виде:

-J

9-п-У j

f (t)

2то

о

d t =

t-z

1 « 0 1 « ¿Tu

= -2 J f (t )dt J e-t ch udu — J -— dT

2 . 2'ni T z

iTu

+

1 00 00 1 00 ¿Tu

+-- J f (t )dt J e-t ch udu — J -— dT.

2 л 2 ni T z

В зависимости от того, в какой полуплоскости лежит г, возможны два случая: 1) пусть 1ш г > 0, тогда

J ^d T = 2 J f (t )J<

-L « Fi-)

2ni-LT-z -о 0

2) пусть Im z < 0, тогда

« f!-)

2я7 T-z

-t ch u +iuz ^

1 « F(t) , 1 « w

"2П7 J TTz d T = -2 J f (t ) J'

-t ch u +iuz ,

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

F +(z )= 2 J f (t )J e-

2 0 0 1 « 0

F -(z ) = -± J f (t ) J e

t ch u +iuz ^

-t ch u+iuz ,

(18)

(19)

будут аналитическими соответственно в верхней и нижней полуплоскостях.

Кроме того, справедливы формулы Со-хоцкого:

^+(х)-F-(x) = F (х), (20)

^+(х) + F-(x) = iF (х). (21)

Введем следующие два класса функций:

Г 1 - 4°)

(КЬ)± = < F±(х) = ±-21/) | е-'сЬи+шхСисИ \

[ 2 0 0(--)

где / (') из класса функций (4).

Теорема 2. Для того чтобы заданная на действительной оси функция Р (х) из (КЬ) принадлежала классу (КЬ)+ ((КЬ) ), необходимо и достаточно, чтобы выполнялось следующее условие:

« 0(«

Jf (t) J

0 -«(0)

e-1 chu+iuxdu dt = 0, Vx e R. (22)

Доказательство. Необходимость. Пусть F (x )e (KL )+. Тогда

F (x ) = F +(x ) = 1J f (t )J e"

t ch u+iux „

= 1F (х) +(х).

Отсюда имеем: F (х) = iF (х), и из второй формулы Сохоцкого (21) следует, что F-(х) = 0, т. е. выполняется условие (22).

Достаточность. Если выполняется условие (22), тогда из первой формулы Сохоцкого (20) следует, что функция F + (х) = F(х) принадлежит классу (КЦ) . Теорема доказана.

4. Постановка задачи. Пусть t > 0. Рассмотрим интегральное уравнение вида

f (х) + (f * m1 )(Х) + (f ¥ m2 )(Х) = g(Х) (23)

в классе функций

Ц (К+)п 1,2, (К+)п(К+), (24)

где 1/2 <у<1, 1 <|< 1 + е0, е0 > 0, а свертки (f * m1) и (f * m2) определяются по формулам (8) и (10) соответственно.

Пусть Mk (х) = KiT[mk ] - преобразование (1) функций mk (0, к = 1,2. Предположим, что M2(x)е Ц (хе( )х; К+), 0<8<л/2, и

1+М1 (х)±iM2 (х)* 0. (25)

5. Решение задачи. Используя свойства сверток (8), (10), леммы 1, 2, 3, формулы (9), (14), применим преобразование Конторовича - Лебедева (1), (13) к уравнению (23) и сведем его при < х < га к виду

F(х)+ М1 (х)F(х)+ М2 (х)F(х) = О(х) (26) в классе функций

КЦ(( (К+)п(К+)пЦ|,2 (К+)), (27)

где 1/2 <у<1, 1 <|< 1 + е0, е0 > 0.

Уравнения (23) и (26) равносильны, так как оператор Конторовича - Лебедева, действующий из пространства (24) в пространство (27), можно рассматривать как сужение прежнего оператора К1Х [ f ]: (К +) ^ КЦ(((К +)), 0 <У< 1, и обратный оператор может быть определен по формуле (6) со сходимостью по норме пространства Ц2 (К +).

Введем кусочно аналитическую функцию, заданную интегралом типа Коши, плотностью которого служит решение уравнения (26):

' (')=

F (т)

2го т — г

ё т.

(28)

Согласно формулам (18), (19), теореме 2, предельные значения функции F(z) принадлежат классам (КЦ) и (КЦ) . Внося значения F(х) и F(х) из (20), (21) в уравнение (26) и решая его относительно F + (х), получим, что кусочно аналитическая функция F(г) должна являться решением краевой задачи Римана:

F +(х ) = Б (х )F —(х) + Н (х),

—га < х < га,

(29)

Б( х) = Н (х) =

1 + М1 (х) + iM2 (х) 1 + М1 (х) — iM 2 (х)'

О (х) .

1 + М1 (х) — iM2 (х)'

(30)

Уравнение (26) и задача (29) равносильны в следующем смысле: если F(г), представимая в виде (18), (19), есть общее решение краевой задачи (29), то функция F(x) из (20) есть решение уравнения (26); обратно, если F(x) - общее решение уравнения (26), то интеграл типа Коши (28) есть решение задачи Римана (29), представимое в виде (18), (19).

Краевая задача Римана подробно изучена в [4]. Пусть к - индекс задачи (29). Учитывая, что выполнено условие нормальности (25), выпишем все необходимые формулы:

F (г) = X (г)

¥(г) +

Рк—1 (г)

(г +) _

где Рк—1 (г) - многочлен степени к —1

(31)

X + (г) = вГ+(г

X—(г)=

4°)

Г±(г) = ±21У(') ¡' е

2 0 0(—га)

У(х ) =

г — г

г + i

г—Х сЬг

(г) (32)

ёи ёХ,

(33)

п2 х

х

х| т (лт)Kiт(x )1п

т + i

Б (т)

ёт, (34)

1 га -(0)

¥±(г) = ±-1) | ешг—сЬиёиёХ,

2 0(—га

¥(х )=-т" Iт ^ %тК,т(х )~Н(\ ё т.

п х 0 X (т)

(35)

(36)

В работе [3] показано, что функция, предста-вимая интегралом Конторовича - Лебедева (1), исчезает на бесконечности и является бесконечно дифференцируемой функцией и, следовательно, удовлетворяет условию Гёльдера [5] с любым показателем 1. Используя результаты задачи Римана для полуплоскости в классе исчезающих на бесконечности функций [5], сформулируем следующий результат исследования.

Теорема 3. Если индекс задачи

к = Ш

1 + M1 (х) + iM 2 (х) 1 + M1 (х) — iM2 (х)

Л. Ä. Яроцкая

35

положителен, то однородное уравнение (23) (g = 0) имеет ровно к линейно независимых решений, а неоднородное уравнение безусловно разрешимо и его решение зависит от к произвольных комплексных постоянных.

В случае к<0 однородное уравнение не имеет отличных от нуля решений. Неоднородное уравнение при к = 0 безусловно разрешимо, причем решение единственно. Если индекс задачи отрицателен, то условия

- с = 0

1 ^)(+/у" '

т = 1, ...,|к|,

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

Во всех случаях, когда решение уравнения (23) существует, его можно найти по формулам (6), (7), если g(т) = F+(т)-F-(т),где F+(x), F-(x) -предельные значения построенного по формулам (31)-(36) решения задачи (29).

Заключение. Построено решение для интегрального уравнения второго рода с двумя ядрами типа свертки Конторовича - Лебедева с достаточными условиями разрешимости. Установлена связь между интегралом типа Коши и интегралом Конторовича - Лебедева. Получены аналоги формул Сохоцкого.

Литература

1. Лебедев Н. Н. Сингулярные интегральные уравнения, связанные с интегральными представлениями математической физики // Доклады АН СССР. 1949. Т. 65, № 1. С. 621-624.

2. Yakubovich S. B., Luchko Yu. F. The hypergeometric approach to integral transforms and convolutions. Ser. Mathematics and its Applications. Vol. 287. Dordrecht: Kluwer Acad. Publ., 1994. 336 p.

3. Yakubovich S. B. Index transforms. Singapore: World Scientific Publ., 1996. 252 p.

4. Яроцкая Л. Д. Об одной интегральной свертке, связанной с преобразованием Конторовича -Лебедева // Труды БГТУ. 2012. № 6: Физ.-мат. науки и информатика. C. 31-33.

5. Гахов Ф. Д. Краевые задачи. М.: Наука, 1977. 640 с.

References

1. Lebedev N. N. Some singular integral equations connected with the integral representations of mathematical physics. Doklady AN SSSR [Proceedings of the USSR Academy of Sciences], 1949, vol. 65, no. 1, pp. 621-624 (In Russian).

2. Yakubovich S. B., Luchko Yu. F. The hypergeometric approach to integral transforms and convolutions. Ser. Mathematics and its Applications. Vol. 287. Dordrecht, Kluwer Acad. Publ., 1994. 336 p.

3. Yakubovich S. B. Index transforms. Singapore, World Scientific Publ., 1996. 252 p.

4. Yarotskaya L. D. On one integral convolution related to the Kontorovich - Lebedev transform. Trudy BGTU [Proceedings of BSTU], 2012, no. 6: Physical-mathematical sciences and informatics, pp. 31-33 (In Russian).

5. Gakhov F. D. Kraevyye zadachi [Boundary value problems]. Moscow, Nauka Publ., 1977. 640 p.

Информация об авторе

Яроцкая Людмила Дмитриевна — кандидат физико-математических наук, доцент кафедры высшей математики. Белорусский государственный технологический университет (220006, г. Минск, ул. Свердлова, 13а, Республика Беларусь). E-mail: [email protected]

Information about the authors

Yarotskaya Lyudmila Dmitrievna — PhD (Physics and Mathematics), Assistant Professor, the Department of Higher Mathematics. Belarusian State Technological University (13a, Sverdlova str., 220006, Minsk, Republic of Belarus). E-mail: [email protected]

Поступила 10.03.2016