CC BY
9
УДК 513.88: 517.948.3
Г.С. ПОЛЕТАЕВ
Одесская государственная академия строительства и архитектуры
НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ УСЛОВИЕ СВЯЗИ РЕШЕНИЙ ПАРНЫХ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ ТИПА СВЁРТКИ - I
Рассмотрено существование и связь между решениями абстрактных парных интегральных уравнений типа свёртки с произвольной и равной дельта-функции Дирака правыми частями. При сделанных предположениях сформулирована теорема - критерий с необходимым и достаточным условием такой связи. Процедура свободна от аппарата теории интеграла типа Коши, гёльдеровости функций.
Ключевые слова: интеграл, уравнение, парное, свёртка, банахова, алгебра, факторизация, проектор.
г.с. подетАев
Одеська державна академiя будiвництва та архтектури
НЕОБХ1ДНА ТА ДОСТАТНЯ УМОВА ЗВ'ЯЗКУ Р1ШЕНБ ПАРНИХ 1НТЕГРАЛБНИХ Р1ВНЯНБ ТИПУ ЗГОРТКИ - I
Розглянуте iснування та зв 'язок м1жргшеннями абстрактних парних ттегральних ргвнянь типу зго-ртки з довшьною та тieю, що дорiвнюe дельта функцП Дiрака, правими частинами. При деяких припущен-нях, сформульовано теорема - критерш з необхiдною та достатньою умовою такого зв 'язку. Процедура вшьна вiд апарату теори ттеграла типу Кошi, умови Гельдера.
Ключовi слова: ттеграл, рiвняння, парне, згортка, банахова, алгебра, факторизащя, проектор.
G.S. POLETAEV
Odessa State Academy of Buildings and Architecture
A NECESSARY AND SAFFICIENT CONDITION FOR CONNECTION SOLUTIONS PAIRED INTEGRAL EQUATIONS OF CONVOLUTION TYPE - I
The connection between the solutions of the abstract convolution type paired intégral équations is considered. Right-hand side of the equations can be arbitrary and equal Dirac 's delta-function. The theorem - criterion for such a connection is formulated.Procedure is a free from the theory of Cauchy integral, Holder requirements.
Keywords: integral, equation, paired, convolution, Banach, algebra, factorization, projection.
Актуальность, постановка проблемы
Известна важная роль теории интегральных уравнений типа свёртки, в частности, парных, с ядрами от разности аргументов, а также круга проблем, связанных с их исследованием, для фундаментальных теоретических и прикладных вопросов. В том числе, в математике, механике, теории некоторых видов дифференциальных и интегро-дифференциальных уравнений, теории упругости, в расчётах строительных элементов, в математической и теоретической физике [1-14]. Общие элементы этой тематики связываются положениями строящейся автором теории уравнений в кольцах с факторизационными парами. Решение такого рода уравнений и смежных задач, в существенном, сопряжено с необходимостью преодоления серьёзных аналитических барьеров. Выяснением самого факта существования решений, разработкой неизвестных, при соответствующих предположениях, подходов к решению и исследованию. Поэтому получение новых общих результатов о разрешимости таких уравнений, возможных путях построения решений, формул их представления через известные величины, изучение свойств решений, возможных связей между решениями является актуальной задачей. Актуальна и разработка элементов точных методов, минимально опирающихся на теорию функций комплексного переменного и на теорию интеграла Фурье. Причём, свободных от аппарата теории интеграла типа Коши, требования гёльдеровости функций.
Анализ исследований и публикаций.
В рассматриваемом виде, изучаемые ниже обобщённые парные уравнения, при сделанных ниже предположениях, впервые, появились в работах автора. Они охватывают известные парные интегральные уравнения типа свёртки [1-4, 6, 10, 12-18]. Наиболее полная теория последних, в случае порождающих ядра
функций kj2(t) £ L(, в целом классе E банаховых пространств построена в [4]. В близкой к рассматриваемой в [12] и ниже постановке, но в других пространствах, эти парные интегральные уравнения изучались Черским Ю.И.; Черским Ю.И. и Гаховым Ф.Д. (1954, 1956; см. также [6]) при дополнительных ограничениях типа гёльдеровости функций. В этих исследованиях использован аппарат задачи Римана -Гильберта, на связь c которой впервые указал И.М. Рапопорт [1]. Наряду с этим, при изучении условия раз-
решимости некоторых видов уравнений разных классов, можно обнаружить существование свойства связи между решениями. При весьма общих предположениях, для них оказывается возможным, зная специальные решения, построить решения, соответствующие произвольной правой части. Это имеет место для ряда известных и новых классов уравнений. В том числе, важных при моделировании теоретических и прикладных задач [12 -18, 21]. Например, обнаруживается связь между решениями, соответствующими произвольной и равной единице кольца (функций, матриц или абстрактных элементов, в котором отыскивается решение) правым частям. Для парных уравнений, в том числе типа свёртки, до работ автора вопросы связи решений оставались не поставленными в общей форме и, в достаточно полном объёме, не были разрешены. База результатов установлена в [12]. Она связана с работами [1, 2, 4] - предшествующими составляющими замечательной истории исследования парных интегральных уравнений типа свёртки. В этих, а также иных работах, имеются и фрагменты историко-мотивационного характера [6].
Цель статьи
Целью статьи - первой части сообщения является формулировка теоремы - критерия связи решений абстрактных обобщённых парных интегральных уравнений типа свёртки относительно неизвестной функции фОО вида:
ф(г) - | кх(г — = а5 + /(г), г < 0;
—X)
X
ф(г) — | к2(г — s)ф(s)ds = р5 + g(г), г > 0.
(1)
Уравнения (1) при а=Р=0; а, в е С являются известными парными интегральными уравнениями типа свёртки [1, 2, 4, 6, 10, 12, 13]. Предполагается, что: к1(г),к2(г)ехр{сг} е Ь^—го,X);с е Кс > 0;
X
[1 — ад) ][ 1 — К2 (X — ¡с) ] * 0, —X < X < X;К (С) := | к] (СУ ^г; ] = 1,2.
—X
Основной материал и результаты
Следуя [12], напомним используемые далее обозначения и положения. Для любой функции к (г), —X < г < X, положим: к+ (г) = к (г), +г > 0, к+ (г) = 0, ± г < 0. Символом Ь(с) = Ь(с)(—X, х), с е К, будем обозначать банахову алгебру всех комплекснозначных измеримых функций к (г), —X < г < X, таких, что ес1к (г) е Ьх(—X, X) = Ь. Норма в Ь, > вводится по формуле:
оэ
к = I к (г) вс^г ■ X; к е Ь, ,, а роль умножения играет свертка. Она обозначается символом * .
Щс) I \ч
Если а и Ь два любых вещественных числа, то через Ьа^ь обозначим пересечение Ь^ и Ь^ : ЬаПЬ := Ь(а} П Ь(ь)' Устанавливается, что Ьапь - банахова алгебра относительно нормы: к г := к+ г + \кЛт и свертки в качестве умножения при обычном смысле сходимости
11 ЬапЬ Ь(тах( а ,Ь)) 11 "Ь(тп( а ,Ь))
интегралов. Через Ь+, Ь+с), обозначим подалгебры функций из Ь, Ь(с), Ь(апЬ), соответственно, которые обращаются в нуль при ±г > 0.
Пусть 8(= 8(г)) формальный элемент (5 - функция Дирака [2]) такой, что
5*5 = 8,8*к = к *5 = к, к е с|} Ф Ь— ^), а А - любая из алгебр L, L+,L(c), Ь;±c), ЬапЬ, Ь+пЬ. Элемент 5 играет роль мультипликативной единицы алгебры А, при этом 5 £ А. Формальным присоединением этой единицы к А, образуем банахову алгебру А. Норма в А вводится по формуле: |^||а = |а| + ||,g = а5 + к;а е С,к е А. Алгебра Ь(—Ь^) не имеет радикала и, следовательно, изоморфна некоторому кольцу непрерывных функций [19, 12]. Поэтому элементы рассматриваемых множеств часто будем называть функциями. Обратный для обратимого в А элемента g е А будем обозначать
X
gВозможен случай, когда элемент g е А, обратимый в А или нет, имеет обратный в некоторой другой алгебре. Тогда, чтобы уточнить, какой именно обратный для g рассматривается, будем применять индексы,
ассоциированные с алгеброй, содержащей этой обратный. Например, для g+ е Ь+ПС символ [ g + ^ ^^^
обозначает обратный, принадлежащий Ь ПС.
Введем коммутирующие проекторы, р+ : Ь+_|с^ + С|) ^ ср, действующие по формуле:
р+ (аб + к) = аб + к+ ,а е С, к е (Ь|_|СФ Ь^с|у), а также проекторы
р0 = р+р_ (= р_р ) , р± = р1 _ р0, р* = р+ + р_ . Ради краткости полагаем [20]: .X + := р + Л, .х := р х, х0 := р0х; х± := р±х, (х е(Ь+_фФ Ь ^ф)). Для любой функции к = аб + к,к е А, положим, к+ = р+к. Очевидно, к+ = аб + к+. Если к е А, то через К(£)
ю
будем обозначать интеграл, I к (г У^Л, рассматриваемый при тех , для которых он существует.
_ю
Обратимость и факторизация элементов в Ь(Су. Следующие утверждения вытекают из общих результатов [19, см.2;12] о кольцах абсолютно интегрируемых функций с весом.
Вариант теоремы Винера в . Для обратимости в элемента аб + к,а е С,к е Ь^С), необходимо и достаточно, чтобы выполнялось условие: а[а + К(^)] * 0,1т^ = _ С; — ю < Яе^ < ю. Вариант теоремы Винера в Ь^Су. Для обратимости в Ь^Су элемента аб + к+, а е С, к+ е Ь|Су,
необходимо и достаточно, чтобы выполнялось условие: а[а + К (С)] * 0, + 1т С > ±с;
—ю < Яе ^ < ю.
Пусть g = аб + к, ае С, к е Ьатакова, что при некотором С е [а, Ь] выполняется условие а[а + К(X _/с)] * 0, — ю < X < ю. Тогда, индексом g, как элемента (кратко с[g, с] либо тё[g]С) назовем число, равное индексу функции а + К(X _ /с) переменной X вдоль сомкнутой вещественной оси {_ю, ю}, получающейся из [_ю, ю] отождествлением концов [2], т.е.
1 ю
С[ g, с] := — I ^[а^а + К (X _ /с)}]. В частности, если g = б_ к, к еЬ, и 2п
_ю
1 ю
1 _ К(X) * 0,_ю < X < ю, то с[g,0] := — I йх[агв{1 _ К(Х)}].
_ ю
Под факторизацией функции g = б _ к, к е Ь^), в Ь^у будем понимать представление её в виде:
g = [б + у+ ] *[б + у_], у+ е Е+с). (2)
Эту факторизацию назовем «правильной в Ь^Су», если хотя бы один из ± факторов б + у+ обратим в
своей подалгебре Ь|Су. Если оба фактора таковы, то (2) назовем «канонической в Ь(Су» факторизацией.
Учитывая, что банахова алгебра Ь^ - полупростая, можно обнаружить, что, в силу изоморфизма соответствующих колец, из факторизационных теорем М.Г. Крейна ([2], § 2]), непосредственно, вытекают следующие факторизационные теоремы в Ь(Су.
Теорема 1 [12]. Для того, чтобы функция g = 5 — к (к е Ь^, с е К) допускала каноническую в факторизацию (2), необходимо и достаточно, чтобы выполнялись следующие два условия:
1 — К (£)* 0 (1т £ = —с; — х< Яе^<х). %[ g,c] = 0.
Если функция g допускает каноническую в факторизацию, то последняя является для неё
единственной правильной в факторизацией.
Теорема 2 [12]. Пусть для функции g = 5 — к (к е Ь(с.} ,с е К) выполнены условия:
1 — К(£)ф 0 (Гт^ = — с; —х< Яе^ < X), с[&с]* 0.
Если, при этом, с[g,с]> 0 (с [8, с] < 0), то, как бы ни были выбраны различные точки
а1,...,ат (т < |ж[^,с]|) внутри верхней полуплоскости П[— с, X] (нижней полуплоскости
т
П[— C,—х]) и натуральные числа Р1,..., рт такие, что ^ р^ = | С [?>с]|, будет существовать един-
i=1
ственная правильная в факторизация (2), при которой функция
( X \ ( ( 0
1 + Г+(С)= 1 + {у+(г>^г\, |1 + Г— (с)= 1 +\г—(гУ(гЛ
V 0
+
V —X
будет иметь внутри верхней полуплоскости П[— с, X] (нижней полуплоскости П[— C,—х]) своими нулями кратностей Р1,..., рт точки а1,..., ат и никаких других нулей иметь не будет. Указанными факторизациями исчерпываются все правильные в Ь^ факторизации функции g в Ь^.
Необходимое и достаточное условие - критерий связи решений парных интегральных уравнений типа свёртки. Используя подготовленную базу, сформулируем условия и приведём формулы связи решений парных интегральных уравнений (1) с произвольной и равной 5 (г) правыми частями, при сделанных предположениях, непосредственно.
Теорема 3. Пусть кх(г) ,к2(/)ехр(с?) е Ь1(—х, +х);с > 0 , т.е. кг е Ь, к2 е Ь<с>; с > 0, и выполнено условие:
(3)
[1 — К1 (X)] • [1 — К2(X — ¡с)] * 0, - X < X < +х,
а парное интегральное уравнение с (1) с правой частью равной 5 (т.е. при а5=р5=5; /(0=8(0=0) имеет решение ф8 е Ь0пс, причём, ф5 = ф5 (г) = 5 + л^; х1 (г) е Ь0и
[1 + Х^)]^ + X1(X — ¡с) * 0, —х < X < +х. (4)
Тогда для существования решений ф(г) е Ь0пс парного интегрального уравнения (1) с произвольной из всевозможных правых частей а5+/(г), -<»«0; в5+8(г), 0<<»; где а,ре С;
г е Ь
/, 8 е оп,с, с>о, необходимо и достаточно, чтобы выполнялось условие:
а = „ в . (5)
При его выполнении, решение ф(г) е Ь0пс обобщённого парного интегрального уравнения типа свёртки (1) с произвольной правой частью а5+ /(г), -<»<<0; а5+g(t), 0<г<<»; аб С; Ь0гс ; с > 0 в Ь0пс можно определить по формуле:
V) = V * {р_ ([ V ]' * [б + к ] * [аб + /_ ]) + р+ ([б * [б + к1 ] * [аб + g+ ])}(0, (6)
где [%]0,б+ к1 (:=[б_ к1 ]0 )е Ь; [^]с ,б+ к1 (:=[б_ к2 ]с )е Ь< с> - обратные в I, ¿< с> , для
решения е Ь п Ь< с> и для коэффициентов [б _ к1 ^)] е Ь, [б _ к2 (^)] е Ь< с> , С > 0 уравнения (1)
(трактуемого как реализация абстрактного парного уравнения в кольце с факторизационной парой [15]).
Результаты о парных интегральных уравнениях освещались автором, в частности, в рамках Международной конференции имени академика М. Кравчука в Киеве, КПИ-2010, 2012, а также Всероссийской конференции «Необратимые процессы в природе и технике», в Москве, МГТУ-2013.
Выводы и перспективы Имеются важные положения исследований по теории интегральных уравнений типа свёртки, которые можно получать единым подходом. При нём, среди прочих, используются элементы строящейся теории уравнений в кольцах с факторизационными парами. Впервые, по сравнению с известными до работ автора элементами теории парных интегральных уравнений типа свёртки, удаётся, не опираясь на теорию задачи Римана, сократить использование преобразований Фурье, снять условие гёльдеровости функций, охарактеризовать разрешимость уравнений и связь решений соответствующих произвольным и специальным правым частям. При весьма общих условиях, без требований гёльдеровости функций, сформулирована теорема с, необходимым и достаточным, условием (- критерием) связи их решений, соответствующих произвольной и равной присоединенной единице, исходных банаховых алгебр, правым частям. Доказательство теоремы будет приведено в продолжении этой статьи. Продолжение под названием «Необходимое и достаточное условие связи решений парных интегральных уравнений типа свёртки - II» представляется для опубликования одновременно. При установлении вида формулы связи существенно использовались варианты теоремы Н. Винера и факторизационных теорем [2, 4, 12 - 14, 19, 20]. В статье-продолжении приведены также пример и дополнительные общие замечания, выводы, перспективы.
Список использованной литературы
1. Рапопорт И.М. О некоторых «парных» интегральных и интегро-дифференциальных уравнениях // Сборник трудов института математики АН УССР. - Киев: Институт математики АН УССР. -1949. -12.
- С. 102-118.
2. Крейн М.Г. Интегральные уравнения на полупрямой с ядрами, зависящими от разности аргументов / М.Г. Крейн // Успехи мат. наук. — 1958. — № 13, Вып. 5(83). — С. 3—120.
3. Попов Г.Я. О спаренных интегро-дифференциальных уравнениях изгиба лежащей на упругом основании неограниченной плиты кусочн-постоянной жесткости// Изв. высш. учебн. завед., Матем. - №1, 1957. - С. 195-209.
4. Гохберг И.Ц., Крейн М.Г. О парном интегральном уравнении и его транспонированном I // Теорет. и прикл. математика. - Изд.-во Львовского ун.-та, 1958. - Вып. 1. - С. 58-81.
5. Мусхелишвили Н.И. Сингулярные интегральные уравнения / Н.И. Мусхелишвили. — М.: Наука, 1968.
— 512 с.
6. Гахов Ф.Д. Краевые задачи / Ф.Д. Гахов. — М.: Гос. изд-во физ.-матем. лит., 1963. — 640 с.
7. Попов Г.Я. Метод факторизации и его численная реализация. Учебное пособие / Г.Я. Попов, П.В. Керекеша, В.Е. Круглов; под ред. проф. Г.Я. Попова. — Одесса: Одесский гос. университет, 1976. — 82 с.
8. Учебное пособие. Редактор: проф. Попов Г.Я. - Одесса: Одесский гос. университет, 1976. - 82 с.
9. Попов Г.Я. Контактные задачи для линейно-деформируемого основания / Г.Я. Попов. — Киев-Одесса: ВШ, 1982. —168 с.
10. Мхитарян С.М. О некоторых плоских контактных задачах теории упругости с учётом сил сцепления и связанных с ними интегральных и дифференциальных уравнениях / С.М. Мхитарян // Изв. АН Армянской ССР. Серия: Механика. — 1968. — № XXI. — №5—6. — С. 3—20.
11. Черский Ю.И. Керекеша Д.П. Метод сопряжения аналитических функций с приложениями / Ю.И. Черский, П.В. Керекеша, Д.П. Керекеша. — Одесса: Астропринт, 2010. — 552 с.
12. Акопян В.Н. Замкнутые решения некоторых смешанных задач для ортотропной плоскости с разрезом / В.Н. Акопян, Л.Л. Даштоян // Современные проблемы механики деформируемого твердого тела, дифференциальных и интегральных уравнений: Тезисы докладов международной научной конференции (Одесса, 2013 г.). — Одесса, 2013. — С. 12.
13. Полетаев Г.С. Парное уравнение типа свертки с ядрами из различных банаховых алгебр // Укр. матем. журн. — 1991. — 43, № 6. — С. 803—813.
14. Полетаев Г.С. Парш рiвняння типу згортки з ядрами з рiзних банахових алгебр абсолютно штегрова-них з вагою функщй// НАУКОВ1 В1СТ1 Нацюнального техшчного ушверситету Укра!ни «Кшвський полггехшчний шститут». - №4(24) , 2002. - С. 143-148.
15. Полетаев Г.С. Парные уравнения типа свёртки с ядрами из разных банаховых алгебр абсолютно интегрируемых по весу функций// М1жнародна наукова конференщя 1меш академша М. Кравчука, 16 - 19 травня 2002 р., Ки!в. Матер1али конференций - Кшв, 2002. - С. 349.
16. Полетаев Г.С. Абстрактный аналог парного уравнения типа свертки в кольце с факторизационной парой // Укр. матем. журн. — 1991. — 43, № 9. — С. 1201—1213.
17. Poletaev G.S. Connection of solutions of the abstract paired equations in the rings with factorization pairs// Birkhauser Verlag Basel/Switzerland, Operator Theory: Advances and Applications, Vol. 191. - 2009. - P. 479 - 484.
18. Полетаев Г.С. Критерий связи решений абстракт. парного уравнения в кольце с факторизационной парой// XIII МНК iм. акад. М. Кравчука.- НТУУ (КП1) травень 2010 р., Кшв. Матерiали конф. - Кшв, 2010. - С.-220.
19. Полетаев Г.С. Связь решений парных интегральных уравнений типа свёртки// XIY МНК iм. академжа М. Кравчука. - НТУУ (КП1) квггень 2012 р., Кив. Матерiали конференци II. - Кшв, 2012. - С.-193.
20. Гельфанд И.М., Райков Д.А., Шилов Г.Е. Коммутативные нормир. кольца. - М.: Физматгиз, 1960. — 316 с.
21. McNabb A., Schumitzky A. Factorization of Operators - I: Algebraic Theory and Examples// J. Funct. Anal. -1972. - Vol. 9, №3. - P. 262-295.
22. Полетаев Г.С. Критерий связи решений парных матричных уравнений с проекторами// В1СНИК ОДАБА. - Одеса, 2013. - вип. 50, ч. 1. - С. 229 - 244.
