CC BY
13
Труды БГТУ, 2017, серия 3, № 2, с. 11-14
11
УДК 517.948
С. В. Пономарева1, О. Н. Пыжкова2
1 Белорусский государственный университет белорусский государственный технологический университет
ДОСТАТОЧНЫЕ УСЛОВИЯ РАЗРЕШИМОСТИ УРАВНЕНИЙ СО СТЕПЕННО-ЛОГАРИФМИЧЕСКИМИ ЯДРАМИ С ДЕЙСТВИТЕЛЬНОЙ СТЕПЕНЬЮ ЛОГАРИФМА
Рассматриваются уравнения первого рода со степенно-логарифмическими ядрами с действительными степенями логарифмов на отрезке действительной оси в пространстве абсолютно непрерывных на отрезке функций. К таким уравнениям приводят задачи как из некоторых разделов математики, в частности, дифференциальных уравнений, так и из физики, механики и других естественных наук. При этом проблема обращения с точки зрения приложений является одной из центральных. С этой проблемой тесно связана задача получения условий разрешимости рассматриваемых уравнений в различных пространствах. Ограничимся в данной работе случаем абсолютной непрерывности весовой функции и значениями параметра на промежутке 0 < а < 1 (для значений а за границами этого промежутка придется дополнительно дифференцировать или интегрировать дополнительно соответствующее выражение [а] раз). Решение такого уравнения было представлено в [1], но с использованием производной от выражения, содержащего интеграл от свободного члена с функцией Вольтерра в ядре. В данной работе получены достаточные условия разрешимости рассматриваемого уравнения в пространстве абсолютно непрерывных на отрезке функций и представляется другой вид решения в терминах правой части. Уравнение решается методами дробного интегрирования с использованием классических интегралов Римана - Лиувилля, специальных функций Вольтерра и операторов типа свертки.
Ключевые слова: интегральное уравнение, уравнения со степенно-логарифмическими ядрами, интегральный оператор типа свертки.
S. V. Ponomareva1, O. N. Pyzhkova2
:Belarusian State University 2Belarusian State Technological University
THE SUFFICIENT CONDITIONS OF SOLVABILITY OF EQUATIONS WITH POWER-LOGARITHMIC KERNELS
The integral equations of the first kind with power-logarithmic kernels with real degrees of logarithms on a segment of the real axis in the space of absolutely continuous functions are investigated. The problems from certain sections of mathematics (in particular differential equations) as well as from physics, mechanics, and other natural sciences result in such equations. In this case, the problem of addressing from the point of applications view is one of the central ones. This problem is closely connected with the problem of obtaining the solvability conditions for the equations in various spaces. In this paper, we limited ourselves to the case of absolute continuity of weight function and parameter values on the interval 0 < а < 1 (for values а beyond this interval we need to differentiate or integrate appropriate expression [а] times additional). The solution of thus equation was presented in [1], but using a
derivative of the expression containing the integral of the free member with the Volterra function in the kernel. We obtain the sufficient conditions for the solvability of the considered equations and establish a different kind of solution in terms of the right side. The equation can be solved by fractional integration methods using classical Riemann-Liouville integrals, special Volterra functions and operators of convolution type.
Key words: integral equation, equation with power-logarithmic kernels, operator of convolution type.
Введение. Решение интегральных уравнений со степенно-логарифмическими ядрами с целыми степенями логарифмов в пространствах интегрируемых и непрерывных функций исследовалось в монографии [1], другой вид решения и достаточные условия разрешимости в тех же пространствах были получены в [2], для
уравнений с чисто логарифмическим ядром с действительными степенями логарифмов - в [3]. В [1] был предложен метод решения уравнений с действительными степенями логарифмов, однако не было получено условий разрешимости этого уравнения в определенных пространствах функций, при которых решение может выражаться
в терминах правой части исходного уравнения. Для решения указанной задачи понадобилось исследование некоторых интегральных операторов. Более того, представляет также интерес исследование рассматриваемых уравнений с комплексными значениями параметра.
Основная часть.
1. Предварительные сведения. Рассматриваются уравнения
-Ц'¡с(х - г)(х - г)а-11пр-^ф(г)Л = /(х), Г(а) а х - г
(а < х < Ь < ^
(1)
со степенно-логарифмическими ядрами с действительными степенями логарифмов на отрезке [а, Ь] действительной оси -га< а < Ь <га, у > Ь - а в пространстве абсолютно непрерывных на отрезке функций АС [а,Ь] . Будем рассматривать случай абсолютной непрерывности функции с (х) и 0 <а< 1, в > -1.
Для решения нам понадобятся некоторые специальные функции и обозначения:
Г(г) = |хг-1е"хйх, Яе г > 0,
^ ,р(х ) = |
хггр
Г(в + 1)Г(г +1)
= 1в
1 Г х V-1
Г(т)IУ
(г), -га<р<.
и некоторые другие. Их определения и свойства описываются, например, в [1] и [4].
В монографии [1] приводится формула обращения интегрального оператора типа свертки
(1а+Рф)( х) = ^ 1 (х -()а-11пв хГ7ф( г) * = У (х), (2)
(а < х < Ь < га)
и условия разрешимости уравнения (1) в следующей формулировке.
Теорема 1. Для разрешимости уравнения (2) в пространстве Ьр (а, Ь) ,1 < р <га необходимо и достаточно, чтобы свободный член / был представим в виде
х
У(х) = | Ца,р(х - г)х(г)л,х(г)е Ьр (а,Ь). (3)
При выполнении этого условия решение ф единственно и выражается формулой
х-
йх
ф( х ) = ( Е + гч)~ Гх 1 х
11 ^-а,-р( х - г ) f ( г ) йг
у
V ' а
(4)
где
оператор (Туф)(х) = |х - г)ф(г)йг (см. [1,
с. 487]).
2. Интегральный оператор типа свертки.
Для того чтобы получить другой вид решения уравнения (1), введем обозначение по аналогии с целочисленным случаем (см. [1, с. 483]):
1 х
(/+а,рУ)(х) = -|^-а,-р(х - г) f (г)йг. (5)
У а
Для оператора /^рf в пространстве абсолютно непрерывных на отрезке функций выполняется следующая теорема.
Теорема 2. Пусть f (х)е АС [а, Ь]. Тогда
(/)(х )е АС [а, Ь].
Доказательство. Так как функция f (х)е АС [а, Ь], то она представима в виде
х
f (х) = | f'(г)йг + f (а). Подставим это преда
ставление в (3) и, осуществляя перестановку порядка интегрирования во втором слагаемом по формуле Дирихле, имеем:
(Jъ*,вf)(х ) =
1 х г
= -1 ^_а,-р( х - г ) У (а) + | f' (т) йт
У а а
У (а)
| М-1-а,-р ( х - г ) йг
+
1х х
+11У"(т)йт |М-1-а,-р (х - г)Ж. У а т
В силу СВОЙСТВ функции Цар (см. [4
(х-а)°
с. 230]), а также равенства /_а®(х) = - „ ч
+ У ' Г(а +1)
для ф(х) = 1, х > а, имеем:
^1-а,-р(х)|< к на [а,Ь\-
где К = шах^
I, | а-1 |1-а
Ь-а Ь-а
Г(а + 1)'Г(а +1) [
а
0
0
У
С,'
и
С. В. Пономарева, О. Н. Пыжкова
13
Отсюда следует оценка
X
ЦЦ1-а,-р( X -х )| Ж < К (Ь - а),
а
что означает абсолютную непрерывность первого слагаемого.
Для второго слагаемого снова используем оценку |р1-а-р(х)| < К и абсолютную непрерывность, а значит, ограниченность функции /(х) на отрезке [а,Ь]:
1 X X
-1 / '(т) й т{ Ц!-а,-р( X - х) йх <
^ а т
X X
< Л/'(т)- К •(Ь - а)| йт< К •(Ь - а) Ц/'(т)| йт,
аа
откуда следует, что и второе слагаемое является абсолютно непрерывной функцией. Что и завершает доказательство теоремы.
Следствие. Оператор /^р/ ограничен в
пространстве АС [а,Ь] .
Теорема 3. Пусть функция /(X) е АС [а, Ь]. Тогда она может быть представлена в виде
X
/(X) = |Ца,р(X-х)х(X)йх, х(х)е Ь (а,Ь). (6)
а
Доказательство. Согласно [1, с. 487], для функции / (X) выполняется равенство
f ( x ) = f ^a,ß( x - t) СсФ( t) + f V( t -TMT) d T
dt.
Здесь c0 = lim c (x). Так как оператор T' вполне
непрерывен в Lp (a, b) ,1 < p < ^ , то в качестве
функции %(t)е Lp (a, b) можно взять %(t) =
= (c0E + Ty)(9(t)).
Далее рассматриваем пространство AC0 [a, b] абсолютно непрерывных на отрезке и обращающихся в нуль в его начале функций. Теорема 4. Пусть f (x)е AC0 [a, b]. Тогда
( Jy,a,ßf )(X)e AC0 [a b] , ПРИ ЭТОМ
1 x
= - J ^i_a,_ß( x - t) f(t) dt = ( J+fK x ). (7)
Y a
Доказательство. По теореме 2, (J+aßf)(x)e AC[a, b]. В силу
аналитично сти
функции ра р, абсолютной непрерывности и равенства нулю в точке а функции / (X),
(.№р/)(а) = 0.
Значит, (/у,а,р/)(x)е АС0 [а, Ь]. Далее, по
аналогии с доказательством теоремы 2, так как функция /(X)е АС0 [а, Ь], то она представима
X
в виде /(X) = |/'(х)йх, /'(х)е Ь(а,Ь). Подста-
а
вим это представление в (5):
1 X X
(.Ив/)(X)= -1^1-а,-р(X - х)|/'(т)й^.
^ а а
Изменяя порядок интегрирования по теореме Фубини и учитывая свойства функции ра р , получим
ix t
( J'Okßf )( x )= - i dt J ^i-a,-ß(t-T) f (t) d T ,
Y a a
что равнозначно представлению (7).
3. Достаточные условия разрешимости уравнения (1). И наконец, сформулируем следующую теорему, дающую достаточные условия разрешимости уравнения (1) и другую форму его решения.
Теорема 5. Пусть /(X)е АС0 [а, Ь],
с (X )е АС [а, Ь]. Тогда уравнение (1) разрешимо в Ьр (а, Ь) ,1 < р и его единственное решение дается формулой
ф( x) = (c0E + Гу)-Г( /;,а,р/')(X). (8)
Доказательство. Согласно теореме 3, функция / (X) представима в виде (3), а значит, по теореме 1, уравнение (2) разрешимо в Ьр (а, Ь), р > 1 и его единственное решение
может быть представлено в виде (4). Далее, используя теорему 4, формулу (7), обозначение (5) и [1, теорему 32.2], получим
ф( X ) = ( С0 Е + Гу)-Г|- ( /;+а,р/)( X ) =
= ( С0 E + Ty)-1'( J+aßf')( x ),
0 у) \ у,а:
что равносильно (8).
Заключение. Получены достаточные условия разрешимости уравнений со степенно-логарифмическими ядрами с действительной степенью логарифма в пространстве абсолютно непрерывных на отрезке функций; дано решение рассматриваемых уравнений в терминах правой части.
a
a
Литература
1. Самко С. Г., Килбас А. А., Маричев О. И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с.
2. Демьянко С. В. Решение интегральных уравнений со степенно-логарифмическими ядрами в пространствах интегрируемых и непрерывных функций: Автореферат дис. ... канд. физ.-мат. наук: 01.01.01; БГУ. Минск, 2002. 20 с.
3. Пономарева С. В. Решение интегральных уравнений первого рода в некоторых пространствах // Физико-математические науки: тезисы 78-й науч.-техн. конференции профессорско-преподавательского состава, научных сотрудников и аспирантов (с международным участием), Минск, 3-13 февр. 2014 г. / Белорус. гос. технол. ун-т; отв. за издание И. М. Жарский. Минск, 2014. С. 39.
4. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции: в 3 т. М.: Наука, 1965-1967. Т. 3: Эллиптические и автоморфные функции. 1967. 299 с.
References
1. Samko S. G., Kilbas A. A., Marichev O. I. Integraly i proizvodnye drobnogo poryadka i nekotorye ikh prilozheniya [Integrals and derivatives of fractional order and some of their applications]. Minsk, Nauka i tekhnika Publ., 1987. 688 p.
2. Demyanko S. V. Reshenie integral'nykh uravneniy so stepenno-logarifmicheskimi yadrami v prostranstvakh integriruemykh i nepreryvnykh funktsiy [Solution of integral equations with power-logarithmic kernels in the spaces of integrable and continuous functions: Abstract of thesis dis. cand. of Physics and Mathematics sci.]. Minsk, 2002. 20 p.
3. Ponomareva S. V. [Solution of integral equations first order in some space]. Tezisy 78-y nauch.-tekhn. konferentsii professorsko-prepodavatel'skogo sostava, nauchnykh sotrudnikov i aspirantov (s mezhdunarodnym uchastiem) (Fiziko-matematicheskie nauki) [Abstracts of the 78th scientific conference of the faculty researchers and graduate students (with international participation]. Minsk, 2014, p. 39 (In Russian).
4. Beytmen G., Erdeyi A. Vysshie transtsendentnye funktsii [Higher transcendental functions: in 3 vol.]. Moscow, Nauka Publ., 1965-1967. Vol. 3: Elliptic and automorphic functions. 1967. 299 p.
Информация об авторах
Пономарева Светлана Владимировна — кандидат физико-математических наук, доцент кафедры общей математики и информатики. Белорусский государственный университет (220050, г. Минск, пр-т Независимости, 4, Республика Беларусь). E-mail: [email protected]
Пыжкова Ольга Николаевна — кандидат физико-математических наук, заведующая кафедрой высшей математики. Белорусский государственный технологический университет (220006, г. Минск, ул. Свердлова, 13 а, Республика Беларусь). E-mail: [email protected]
Information about the authors
Ponomareva Svetlana Vladimirovna - PhD (Physics and Mathematics), Assistant Professor, the Department of General Mathematics and Informatics. Belarusian State University (4, Nezavisimosti Ave., 220050, Minsk, Republic of Belarus). E-mail: [email protected]
Pyzhkova Olga Nikolaevna - PhD (Physics and Mathematics), Head of the Department of Higher Mathematics. Belarusian State Technological University (13a, Sverdlova str., 220006, Minsk, Republic of Belarus). E-mail: [email protected]
Поступила 05.05.17
