Владикавказский математический журнал 2021, Том 23, Выпуск 4, С. 15-27
УДК 517.958
DOI 10.46698/l4464-6098-4749-m
КВАЗИДВУМЕРНАЯ КОЭФФИЦИЕНТНАЯ ОБРАТНАЯ ЗАДАЧА ДЛЯ ВОЛНОВОГО УРАВНЕНИЯ В СЛАБО ГОРИЗОНТАЛЬНО-НЕОДНОРОДНОЙ СРЕДЕ С ПАМЯТЬЮ*
З. А. Ахматов1, Ж. Д. Тотиева1'2
1 Южный математический институт — филиал ВНЦ РАН, Россия, 362027, Владикавказ, Маркуса, 22; 2 Северо-Кавказский центр математических исследований ВНЦ РАН, Россия, 362027, Владикавказ, Маркуса, 22 E-mail: [email protected], [email protected]
Аннотация. В работе представлена обратная задача последовательного определения двух неизвестных — коэффициента, характеризующего свойства среды со слабо горизонтальной неоднородностью, и ядра интегрального оператора, описывающего память среды. Прямая начально-краевая задача содержит нулевые данные и граничное условие Неймана. В качестве дополнительной информации задается след на границе среды Фурье-образа решения прямой задачи. Для исследования обратных задач предполагается, что искомый коэффициент разлагается в асимптотический ряд по степеням малого параметра. В статье построен метод нахождения (с учетом памяти среды) коэффициента с точностью до поправки, имеющей порядок O(e2). На первом этапе одновременно определяется решение прямой задачи в нулевом приближении и ядро интегрального оператора, при этом обратная задача сводится к эквивалентной задаче решения системы нелинейных интегральных уравнений Вольтерра второго рода. На втором этапе ядро считается заданным, и одновременно определяется решение прямой задачи в первом приближении и искомый коэффициент. В этом случае решение эквивалентной обратной задачи будет решением линейной системы интегральных уравнений Вольтер-ра второго рода. Доказаны теоремы однозначной локальной разрешимости поставленных обратных задач. Приведены результаты численных расчетов функции ядра и коэффциента.
Ключевые слова: обратная задача, дельта-функция, ядро, преобразование Фурье, интегро-диф-ференциальное уравнение.
Mathematical Subject Classification (2010): 35L20, 35R30, 35Q99.
Образец цитирования: Ахматов З. А., Тотиева Ж. Д. Квазидвумерная коэффициентная обратная задача для волнового уравнения в слабо горизонтально-неоднородной среде с памятью // Владикавк. мат. журн.—2021.—Т. 23, вып. 4.—С. 15-27. DOI: 10.46698/l4464-6098-4749-m.
1. Введение. Постановка задачи
Как известно, учет памяти среды при распространении в ней упругих, акустических и электромагнитных волн, дает более точное описание процессов, происходящих в этих средах. Поэтому восстановление неизвестных характеристик для сред с последействием,
#Работа выполнена в Северо-Кавказском центре математических исследований ВНЦ РАН при поддержке Минобрнауки России, соглашение № 075-02-2021-1844. © 2021 Ахматов З. А., Тотиева Ж. Д.
несомненно, является актуальной задачей. Для практических приложений более интересным является случай, когда характеристики среды зависят от двух и более переменных. Например, для геофизики одним из основных вопросов является количественная оценка горизонтальных неоднородностей в скоростях сейсмических волн. Накоплены факты, свидетельствующие о существовании внутри Земли неоднородностей по географичесим координатам, или горизонтальных неоднородностей. К числу таких фактов относятся систематические отклонения годографов волн от усредненного годографа, асиметрия гравитационного и электромагнитного полей. При этом отклонения от годографов, отвечающих сферически-симметричному распределению скоростей упругих волн, достаточно малы [1].
Целью данной работы является определение двумерного коэффициента и ядра интегрального оператора для волного уравнения в слабо горизонтально-неоднородной среде.
Для (х,г,г) € М3, г > 0, рассмотрим прямую задачу определения функции и(х,г,г) из интегро-дифференциального уравнения:
г
игг — ихх — ихх — д(х,г)и = J к(т) и(х,г,г — т) йт, (1.1)
о
Щ|г<о = 0, (12)
ди дг
= —5'(х)5' (г), (1.3)
х=+0
где 5'( ) — производная дельта-функции Дирака; д(х,г) — коэффициент, характеризующий свойства среды, в которой распространяется волновой процесс; к (г) — ядро, описывающее память среды.
При заданных функциях д(х,г), к(г) задача (1.1)—(1.3) корректно поставлена и имеет единственное решение и,(х,г,Ь), обладающее компактным носителем при любом конечном г.
Обратная задача заключается в определении коэффициента д(х,г), (х,г) € М2, г > 0 и к(г), г > 0, входящих в (1.1), если относительно решения прямой задачи (1.1)—(1.3) известна дополнительная информация
и(х, г, г)|г=о = /(х, г), г> 0, х € М, (1.4)
/ (х,г) — заданная функция.
Определение. Пара функций д(х,г), к (г) из класса непрерывных функций С (К+) и С (К х К+), соответственно, называется решением обратной задачи (1.1)-(1.4), если соответствующее ей решение прямой задачи (1.1)-(1.3) и(х,г,г) из класса обобщенных функций О'(К х К+) удовлетворяет (1.4) для /(х,г), принадлежащих классу функций О(К х К+).
Задачи по определению ядер интегральных операторов — это интенсивно развивающееся направление в теории обратных задач. Первые результаты по данному направлению отражены в работах [2-8]. Одной из фундаментальных работ по определению ядер для гиперболических уравнений является монография [9]. В ней представлены результаты исследования корректности ряда постановок одномерных и многомерных обратных динамических задач. Литературные источники, представленные в монографии достаточно полно отражают исследования в области задач определения ядер. Из последних результатов в этой области можно отметить, например, работы [10-17].
Методика данного исследования базируется на развитых ранее методах исследований обратных задач для уравнений гиперболического типа [18-20]. В частности, в работе [19] рассмотрена одна модельная задача определения двумерного ядра интегро-дифференциального уравнения в среде со слабо горизонтальной неоднородностью, в которой развиты методы решения обратных задач из работы [18].
В работе [20] изучена обратная задача по определению двух неизвестных функций для уравнения, описывающего процесс распространения волн в полупространстве, заполненном средой. Было показано, что обе искомые функции одной переменной однозначно определяются заданием образа Фурье по переменной х решения прямой задачи на границе полупространства.
Предполагаем, что д(х, я) слабо зависит от горизонтальной переменной х:
5(х, я) = до(г) + ехд^я) + 0(е2), (1.5)
где е — малый параметр. В дальнейшем будем полагать в равенстве (1.5) 50(я) = 5о > 0 есть известная величина.
Решение прямой задачи (1.1)-(1.3) будем искать в виде ряда по степеням е:
те
и(х,я,£) = ^ е-7 Uj (х, (1.6)
.7=0
Тогда, учитывая (1.4) и (1.6), имеем
те
/ (х,*) = £ е7 /- (х,*). (1.7)
7=о
Нетрудно проверить, что и. (следовательно и /-) — нечетные по х при четных ] и четные — при нечетных Тем самым, по известной функции /(х,£) можно найти /о(х,£) и Д(х,£) с точностью до 0(е2) :
Подставляя (1.5), (1.6) в (1.1)-(1.4) и приравнивая коэффициенты при е-7, ^ = 0,1, получаем две обратные одномерные задачи последовательного определения к(£) и 51(2), которые будут рассмотрены в параграфах 2 и 3 соответственно. Для решения обратных задач достаточно задать образ Фурье от функций /0(х,£) и Д(х,£) по переменной х для фикисированного ненулевого значения параметра преобразования. Результатами исследования являются теоремы однозначной локальной разрешимости решения обратных задач.
2. Задача определения и0(х,я,£) и к(£)
Рассмотрим прямую задачу определения и0(х,я,£) из следующей начально-краевой задачи:
г
(и0)й = (и0)хх + (ио).^ + 50 ' ЗД -J к(т)ио(х,2,£ - Т) ^Т, (х, 2, ¿) € М3, 0, (2.1)
ио
г<о
0,
дио дг
= —5' (х)5' (г).
г=+0
Применяя преобразования Фурье, получаем
г
(Що)гг = (Що)хх + {до — V2)зд — J к(т)Що(V, г, г — т) йт, г > 0, г € М,
(2.2) (2.3)
(2.4)
Що |г<о = 0,
дио дг
= —ш5' (г),
z=0
(2.5)
где Що (V,г,г) = ^Х [ио]^,г,г) := /-— ио(х,г,г)е гга йх.
Обратная задача 1. Найти ио^,г,г) и к(г), входящие в (2.4)-(2.5), если ио^,г,г) для некоторого ненулевого значения параметра V известно
ио^,г,г)\=о = IV5(г) + /о^,г) в (г), г € м,
(2.6)
где /о^, г) = ^Х[/о]^,г) — заданная функция, в(г) — функция Хевисайда (далее знак над функциями ио, /о будет опущен).
Будем искать решение (2.4)-(2.5) в виде
ио (V, г, г) = Ы(г — г) + у^, г, г) в (г — г).
(2.7)
Тогда, подставляя (2.7) в (2.4)-(2.5) и применяя метод выделения особенностей [21], относительно функции у^, г, г) получим
t-z
Уп — vzz — (до — V2)у = —IVк(г — г) — ! к(т)у(V, г, г — т) йт, г > г > 0,
(2.8)
ду дг
z=о
1 шг . 2)
= 0, у\^2 = -—(до-и2).
у|г=о = /о(У,г).
(29) (2.10)
Введем новые переменные г1 := г + г, г\ := г — г и пусть
г1 — г1 г1 + г1
и(V, г1,г1) := у [V
2
2
Задача (2.8)-(2.10) перепишется в терминах функции и(V, г1,г1) следующим образом:
д2и
дг1 дг1
г1
{до — V2)и(V, г1,г1) — IVк(г1) — ^ к(т)и(V, г1 — т,г1 — т) йт
и 1г1=*1 = /о(v,гl),
дЦ
дг1
tl=Z1
= о Ш'гМ К),
(2.11)
(2.12) (2.13)
и
=о
(9о - V2).
(2.14)
Из (2.14) следует, что /0^, 0) = 0. Пусть
( ди ,5о - V2
тогда
и (V, 21 ,¿1) = /о(^1) + у ^,£,¿1)
Из уравнения (2.11) выводим
т
(2.15)
^Т.
Так как
£1
то для ш^, ) имеем
£1 т
^ J (<7о — г\, т) — гик(т) — ^ к{г])и{у, — г],т — г])йг]
Взяв Ь = 0 в уравнении (2.16) и дифференцируя его по 21, получим
^Т.
(2.16)
= \ У (^о - - У к(г])ш(и,г1-г],т -г])г1г]
о [ о
£1
(5о - V2)/о^, 21) - ) - У к(п)/о(V, 21 - п) ¿П
^Т
Отсюда выводим уравнение для к(21):
2?
£1
(5о - V2) ?
£1
/о (г/, 21) + - / Л (г)/о (г/, 21 - г) с1т
—— У (5о — ь,2)ш{ь', г) — У к(г])и)(и, — г],т — г]) г1г]
(2.17)
^Т.
Теорема 1. Пусть Т > 0 фиксировано и выполнены следующие условия: /о^, 0) = 0, (/о)^(г/, 0) = — гг/^0"^ , € С2[0,Т] для некоторого ненулевого значения парамет-
ра V. Тогда обратная задача (2.4)-(2.6) в области = {(2, ¿): 0 ^ 2 ^ Ь ^ Т - 2} имеет единственное решение к(Ь) € С[0,Т].
т
V
т
< Заметим, что в условиях теоремы обратная задача (2.8)-(2.10) эквивалента замкнутой нелинейной системе интегральных уравнений Вольтера второго рода с непрерывными ядрами и непрерывными свободными членами (2.15)-(2.17). Это показывается переходом от начально-краевой задачи (2.8)-(2.10) к системе (2.11)-(2.14), и далее к уравнениям (2.16), (2.17). Равенство (2.15) очевидно и используется для замыкания системы. Нетрудно убедиться, что и обратные преобразования имеют место [20]. Систему (2.15)-(2.17) можно переписать в виде
р = Ар, (2.18)
где А := (А1, А2, А33) — нелинейный оператор, действующий на множестве вектор-функций р € С [От],
р := и(V,г1 ,г1),ш^,г1,г1 ),к(г1)
Вид А1, А2, А3 определяется правыми частями равенств (2.15)-(2.17). В качестве малого параметра данная система (2.18) содержит промежуток интегрирования, который не превосходит число Т. Поэтому при малых Т к ней применим принцип Банаха, обеспечивающий существование единственного решения системы. Действительно, пусть Я(ро, \\роУ) =: {р : \\р — ро\\ ^ ||ро||} — шар радиуса ||ро|| с центром в точке ро пространства непрерывных функций, где вектор-функция
Po(v,Zi) :=
/о(МО, i), Ц~ iq0 „^'/ofosi)
4-..-'
¥01
¥02 ¥03
= тах{Про1Н> \\ро2\ \\роз\\} , \\ • \\ := \\ • \с[От]. Нетрудно заметить, что для р € Q(ро, 11ро \) имеет место оценка
< \\ро\\ + \\ро\\ < 2
Пусть p(v,z1 ,t1) € Q(p0, ||poII)- Покажем, что при подходящем выборе T оператор A переводит шар в шар, т. е. Ap € Q(po, ||p0||). На самом деле, составляя норму разностей с помощью равенств системы (2.18), для (z,t) € Gt имеем
||Ap - po|| = sup |Ap - po| ^ a (zi,ti)€Gr
где
a = ii[qo + v + \\fo\\ + 2T\\p0\\], » = 2Tmax |l,
Очевидно, что существует такое Т*, при котором а < 1 и для Т € (0,Т*) оператор А переводит множество Q в себя.
Пусть теперь р1, р2 — любые два элемента из Q(р0, 11 ро \) - Тогда, используя вспомогательные неравенства вида
Ыр)— р2р21 < Ы1 Ы — р21 + 1р21 Ы — р21 < 4\\ро\\ Цр1 — р2\\,
и
получим
где
й = ^[(?о + г/ + ||/о||+4Т||ро||].
Заметим, что из условия а < 1 следует а < 1. Поэтому можно сделать вывод о том, что оператор А является сжимающим на Q(ро, ||ро||). Тогда согласно принципу Банаха уравнение (2.18) имеет и притом единственное решение в Q(ро, ||ро||) при Т € (0,Т*).
Решая систему уравнений (2.18) методом последовательных приближений, можно однозначно построить в области От для Т € (0,Т*) вектор-функцию р и тем самым определить функцию к(г) € С[0, Т] [9]. >
3. Задача определения их(х,г,г) и д\(г)
Рассмотрим прямую задачу определния щ(х,г,г) из следующей начально-краевой задачи:
г
(и\)гг = (щ)гг + хдг(г)щ + дои\ - J к(т)щ(х, г,г - т) йт, (3.1)
о
= 0, г > 0, (х,г) € М. (3.2)
I П ди1
х=о
Обратная задача 2. Найти и\(х,х,г) и дх(г), входящих в (3.1)—(3.2), если относительно преобразования Фурье Гх[и\](и,г,Ь) для некоторого ненулевого значения параметра V известно
Ех[иг]^,х,г)1=о = ¡1^,1), г> 0.
После преобразования Фурье по переменной х имеем (далее знак т над их^,г,г), будет опущен)
(и\)гг = (их)хх + гдх(г)(ио)'и(V, г, г) + (до - V2) и^, г, г) г
- J к(т)их (V, г, г - т) йт, г > 0, г € К,
(3.3)
1 П дих
= 0, иг1г=* = 0, (3.4)
х=о
и11г=о = ¡1(У,г). (35)
Пусть ¿2 := ¿2 = ^ и 17*(и, 22, ¿г) := £2 — ¿2, + тогда задача (З.З)-(З.Б) перепишется в терминах новой функции и*^,г2 ,г2)
д2и * г
= 01(22 - ¿2) [¿¿(2*2) + 222, 2*2Ж2*2)]
1 + 2
дЬ2дх2 2
2г 1 (3.6)
и*^,г2Л2) - I к(т)и*(V,
(до - V2)и*(V, г2,Ь2) к(т)и*(V, г2 - т,Ь2 - т) йт
и* Iг2=о = 0, и*и2 = ^ (37)
ди *
д22
= (/1 (V, 222).
¿2=^2
С учетом (3.8) очевидно, что
£2
ди *
и*(у, г= + I
¿2
Из уравнения (3.6) имеем
£2 £2 £2
/■ ди * 1 Г ? Г
У Лт = "2 У 91 ^ " тЖ2т) Лт + 2 У 91 ^ " г)С7^(г/'2^2'2т) Лт
¿2 ¿2 ¿2
£2 2т
+ ~ г/2)С7*(г/'2;2,'г) - J к(г])и*(и,г2 -г],т -г])йг]
¿2 I о
^Т.
С другой стороны,
£2
¿2
ди* , ди*
(г/, 22, г) (1т = (Л)г2(1/, 222) - ^ ¿2, ¿2).
ди
1 ? С
д (^,^,¿2) = (/1)^(^,222)+ -91(22)-- ] q¿Z2-т)U,v^y,2z2,2т)dт
t2
£2 Г 2т
J (9о - г/2)С/(г/,22,г) - J к(г])и*(и,г2 -г],т-г])с1г]
Так как в силу (3.7) то взяв в (3.12) ¿2 = 0, выводим
о
д22 ¿2=0
£2
222) + 2? /
о
2т
^Т.
£2 2т
+ 2 У (5о - V 2)и * (V, 22, т ) -У к(п)и * (^22 - п,Т - п) ¿П
^Т.
Подставляя (3.12) в (3.11), получим уравнение для и22,Ь2):
и*{у,г2М) = /1(^,222) + ^ [ / /
¿2
£2 ? 2т
2*
¿2 ¿2
(50 - V2)и>,£,т) -у к(п)и>,£ - п, т - п) ¿п] о
(3.8)
(3.9)
(3.10)
(3.11)
(3.12)
(3.13)
(3.14)
0
V
Уравнения (3.13) и (3.14) являются замкнутой системой относительно дг^) и иХ2 М).
Теорема 2. Пусть Т € (0,Т*), € С 1[0,Т], 0) = 0, (Д)£(V, 0) = 0, и
функции по(и,г,Ь) и к(Ь) являются решением задачи (2.4)-(2.6). Тогда в области От существует единственное решение обратной задачи (3.13)—(3.14) д1(х) € С[0,Т/2].
< Обратная задача (3.3)-(3.5) эквивалентна системе интегральных уравнений (3.13), (3.14). Данная система является замкнутой линейной системой интегральных уравнений Вольтерра второго рода с непрерывными свободными членами и ядрами относительно неизвестных функций в области От при V € К. Идея доказательства существования единственного решения данной системы состоит в применении обобщенного принципа сжатых отображений [22]. Запишем систему (3.13), (3.14) в виде операторного уравнения
ф = Бф, (3.15)
ф := <71(22), 2)
ф1 ф2
Линейный оператор Б = (Б\,Б2) определен на множестве вектор-функции ф € С (К х От) и Б\, Б2 определяются правыми частями уравнений (3.13), (3.14). Покажем теперь, что некоторая степень п (п — натуральное число) линейного отображения Бф является сжатием. Положим От := [0,Т/2] х [0,Т/2] и
||ф||^) = тах ] тах |ф,- М)1, 3 = 1, 2>.
^ (¿2 ¿2)&От >
Пусть ф(1), ф(2) — две непрерывные вектор-функции в К х От, удовлетворяющие линейной системе интегральных уравнений (3.15). Для ^,г2,Ь2) € К х От имеем
тах\Бз ф(1) - Бз ф(2)\^,г2 ^2) < Мх2\\ф(1) - ф(2) II, ^,г2,Ь2) € К х От, з
где М — константа, зависящая от величин Т, ||Ц,||, д0, V, ||к(£)||. Далее
Г ¿2
I В2ф{1) -В2ф(2) |(1/,22,*2) ^М2 - < м2^\\ф{1) - Ф{2)\\, 3 = 1, 2.
0
Отсюда
тах|Б^(1) - ЩфЩ&ъМ) < М2Щ\ф^ -ф^ II, (^,¿2) € Дг,
и, вообще, ||Бга^(1) — Впф^ || ^ — ^(^Ц. При любом фиксированном Т
число п можно выбрать настолько большим, что
А/Ж < !.
п!
Тогда отображение Бп является сжатием. Согласно обобщению принципа сжимающих отображений уравнение Бф = ф имеет одно и только одно решение, принадлежащее
з
С (Я х Пт). Данное решение может быть найдено методом последовательных приближений. >
Формулы (2.15)—(2.17) и (3.13)—(3.14) служат основой для численной реализации алгоритма определения значений коэффициента 9(2). Подробное описание аналогичного алгоритма предложено в монографии [23, гл. 5], где в области Пт вводится равномерная сетка с шагом Н = Т/(2Ы), N — количество узлов разбиения отрезка [0,Т/2]. Затем в формулах (2.15)-(2.17), (3.13)-(3.14) интегралы заменяются квадратурными формулами прямоугольников. Значения функций в узлах сетки находятся по рекуррентным формулам [23]. Результаты расчетов функций к(Ь), 91(2) представлены на рисунках 1 и 2 соответственно при следующих значениях входных данных: Т = 4, до = 0.5, V = 1, Пи,I) = На рисунке 2 — графики коэффициента 91(2) (с учетом ядра
памяти — пунктирная линия, без учета — сплошная линия).
Рис. 1. Функция памяти.
Рис. 2. Коэффициент.
Литература
1. Романов В. Г. Обратные задачи математической физики.—М.: Наука, 1984.
2. Lorenzi A. and Sinestrari E. An inverse problem in the theory of materials with memory I // Nonlinear Anal. TMA.—1988.—Vol. 12, № 12.—P. 1317-1335. DOI: 10.1016/0362-546X(88)90080-6.
3. Lorenzi А. An inverse problem in the theory of materials with memory II // Semigroup Theory and Applications, Ser. Pure and Appl. Math.—1989.—Vol. 116.—P. 261-290.
4. Дурдиев Д. K. Обратная задача для трехмерного волнового уравнения в среде с памятью // Мат. анализ и дискретная математика.—Новосибирск: НГУ, 1989.—C. 19-27.
5. Lorenzi A., Paparoni E. Direct and inverse problems in the theory of materials with memory // Ren. Sem. Math. Univ.—1992.—Vol. 87.—P. 105-138.
6. Bukhgeym A. L. Inverse problems of memory reconstruction // J. of Inverse and Ill-Posed Problems.—
1993.—Vol. 1, № 3.—P. 193-206. DOI: 10.1515/jiip.1993.1.1.17.
7. Дурдиев Д. К. Многомерная обратная задача для уравнения с памятью // Сиб. мат. журн.—
1994.—Т. 35, № 3.—С. 574-582. DOI: 10.1007/BF02104815.
8. Bukhgeim A. L., Dyatlov G. V. Inverse problems for equations with memory // SIAM J. Math. Fool.— 1998.—Vol. 1, № 2.—P. 1-17.
9. Дурдиев Д. К. Обратные задачи для сред с последействием.—Ташкент: Турон-Икбол, 2014.
10. Дурдиев Д. К., Сафаров Ж. Ш. Обратная задача определения ядра для уравнения вязкоупругости в ограниченной области // Мат. заметки.—2015.—T. 97, № 6.—C. 855-867.
11. Дурдиев Д. К., Тотиева Ж. Д. Задача определения многомерного ядра уравнения вязкоупругости // Владикавк. мат. журн.—2015.—Т. 17, № 4.—C. 18-43. DOI: 10.23671/VNC.2015.4.5969.
12. Дурдиев Д. К., Тотиева Ж. Д. Задача об определении одномерного ядра электровязкоупругости // Сиб. мат. журн.—2017.—Т. 58, № 3.—С. 553-572. DOI: 10.17377/smzh.2017.58.307.
13. Дурдиев Д. К., Рахмонов А. А. Обратная задача для системы интегро-дифференциальных уравнений SH-волн в вязкоупругой пористой среде: глобальная разрешимость // Теор. и мат. физика.— 2018.—T. 195, № 3.—C. 491-506. DOI: 10.4213/tmf9480.
14. Durdiev U. D. A problem of identification of a special 2D memory kernel in an integro-differential hyperbolic equation // Eurasian J. Math. Comp. App.—2019.—Vol. 7, № 2.—P. 4-19.
15. Durdiev U. D., Totieva Z. D. A problem of determining a special spatial part of 3D memory kernel in an integro-differential hyperbolic equation // Math. Meth. Appl. Sci.—2019.—Vol. 42, № 18.—P. 7440-7451.
16. Дурдиев Д. К., Тотиева Ж. Д. О глобальной разрешимости многомерной обратной задачи для уравнения с памятью // Сиб. мат. журн.—2021.—Т. 62, № 2.—C. 215-229.
17. Kumar P., Kinra R., Mohan M. A local in time existence and uniqueness result of an inverse problem for the Kelvin-Voigt fluids // Inverse Problems.—2021.—Vol. 37, № 8.—085005. DOI: 10.1088/1361-6420/ac1050.
18. Благовещенский А. С., Федоренко Д. А. Обратная задача для уравнения акустики в слабо горизонтально-неоднородной среде // Зап. науч. сем. ПОМИ.—2008.—T. 354.—C. 81-99.
19. Дурдиев Д. K., Бозоров З. Р. Задача определения ядра интегро-дифференциального волного уравнения со слабо горизонтальной однородностью // Дальневост. матем. журн.—2013.—Т. 13, № 2.— C. 209-221.
20. Дурдиев Д. К. Обратная задача определения двух коэффициентов в одном интегродифференци-альном волновом уравнении // Сиб. журн. индустр. матем.—2009.—Т. 12, № 3.—C. 28-40.
21. Курант Р. Уравнения с частными производными.—М.: Мир, 1964.
22. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа.—М.: Физматлит, 2006.
23. Яхно В. Г. Обратные задачи для дифференциальных уравнений упругости.—Новосибирск: Наука, 1988.
Статья поступила 1 августа 2021 г.
Ахматов Зариф Ануарович
Южный математический институт ВНЦ РАН,
аспирант
РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: [email protected]
Тотиева Жанна Дмитриевна
Южный математический институт ВНЦ РАН,
старший научный сотрудник отдела математического моделирования РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22; Северо-Кавказский центр математических исследований ВНЦ РАН, РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 ведущий научный сотрудник E-mail: j annatuaeva@inbox. ru https://orcid.org/0000-0002-0089-074X
Vladikavkaz Mathematical Journal 2021, Volume 23, Issue 4, P. 15-27
QUASI-TWO-DIMENSIONAL COEFFICIENT INVERSE PROBLEM FOR THE WAVE EQUATION IN A WEAKLY HORIZONTALLY INHOMOGENEOUS MEDIUM WITH MEMORY
Akhmatov, Z. A.1 and Totieva, Zh. D.1'2
1 Southern Mathematical Institute VSC RAS, 22 Marcus St., Vladikavkaz 362027, Russia;
2 North Caucasus Center for Mathematical Research VSC RAS, 22 Marcus St., Vladikavkaz 362027, Russia E-mail: [email protected], [email protected]
Abstract. The paper studies the inverse problem of sequentially determining the two unknowns: the coefficient characterizing the properties of a medium with weakly horizontal inhomogeneity and the kernel of some integral operator describing the memory of the medium. The direct initial-boundary value problem contains zero data and the Neumann boundary condition. As additional information, the trace of the Fourier image of the direct problem solution at the boundary of the medium is given. To study inverse problems, it is assumed that the unknown coefficient decomposes into an asymptotic series. In this paper, a method is constructed for finding (taking into account the memory of the medium) the coefficient with accuracy O(e2). At the first stage, the solution of the direct problem in the zero approximation and the kernel of the integral operator are simultaneously determined. The inverse problem is reduced to solving a system of nonlinear Volterra integral equations of the second kind. At the second stage, the kernel is considered to be given, and the first approximation solution of the direct problem and the unknown coefficient are determined. In this case, the inverse problem and the problem of solving a linear system of Volterra integral equations of the second kind will be equivalent. Two theorems on unique local solvability of the inverse problems are proved. Numerical results on the kernel function and coefficient are presented.
Key words: inverse problem, delta function, kernel, fourier transform, integro-differential equation.
Mathematical Subject Classification (2010): 35L20, 35R30, 35Q99.
For citation: Akhmatov, Z. A. and Totieva, Zh. D. Quasi-Two-Dimensional Coefficient Inverse Problem for the Wave Equation in a Weakly Horizontally Inhomogeneous Medium with Memory, Vladikavkaz Math. J., 2021, vol. 23, no. 4, pp. 15-27 (in Russian). DOI: 10.46698/l4464-6098-4749-m.
References
1. Romanov, V. G. Obratnye zadachi matematicheskoj fiziki [Inverse Problems of Mathematical Physics], Moscow, Nauka, 1984 (in Russian).
2. Lorenzi, A. and Sinestrari, E. An Inverse Problem in the Theory of Materials with Memory I, Nonlinear Analysis: Theory, Methods and Applications, 1988, vol. 12, no. 12, pp. 1317-1335. DOI: 10.1016/0362-546X(88)90080-6.
3. Lorenzi, А. An Inverse Problem in the Theory of Materials with Memory II, Journal of Semigroup Theory and Applications, Series on Pure and Applied Mathematics, 1989, vol. 116, pp. 261-290.
4. Durdiev, D. K. The Inverse Problem for a Three-Dimensional Wave Equation in a Memory Environmentu, Matematicheskij analiz i diskretnaya matematika, Novosibirsk, Izd-vo Novosibirskogo Universiteta, 1989, pp. 19-27 (in Russian).
5. Lorenzi, A. and Paparoni, E. Direct and Inverse Problems in the Theory of Materials with Memory, The Mathematical Journal of the University of Padua, 1992, vol. 87, pp. 105-138.
6. Bukhgeym, A. L. Inverse Problems of Memory Reconstruction, Journal of Inverse and Ill-posed Problems, 1993, vol. 1, no. 3, pp. 193-206. DOI: 10.1515/jiip.1993.1.1.17.
7. Durdiev, D. K. A Multidimensional Inverse Problem for an Equation with Memory, Siberian Mathematical Journal, 1994, vol. 35, pp. 514-521. DOI: 10.1007/BF02104815.
8. Bukhgeim, A. L. and Dyatlov, G. V. Inverse Problems for Equations with Memory, SIAM J. Math. Fool., 1998, vol. 1, no. 2, pp. 1-17.
9. Durdiev, D. K. Obratnye zadachi dlya sred s posledejstviem, Tashkent, Turon-Ikbol, 2014.
10. Durdiev, D. K. and Safarov, Zh. Sh. Inverse Problem of Determining the One-Dimensional Kernel of the Viscoelasticity Equation in a Bounded Domain, Mathematical Notes, 2015, vol. 97, no. 6, pp. 855-867. DOI: 10.4213/mzm10659.
11. Durdiev, D. K. and Totieva, Zh. D. The Problem of Determining the Multidimensional Kernel of Viscoelasticity Equation, Vladikavkaz Mathematical Journal, 2015, vol. 17, no. 4, pp. 18-43 (in Russian). DOI: 10.23671/VNC.2015.4.5969.
12. Durdiev, D. K. and Totieva, Z. D. The Problem Of Determining The One-Dimensional Kernel of the Electroviscoelasticity Equation, Siberian Mathematical Journal, 2017, vol. 58, no. 3, pp. 427-444. DOI: 10.1134/S0037446617030077.
13. Durdiev, D. K. and Rahmonov, A. A. Inverse Problem for a System of Integro-Differential Equations for SH Waves in a Visco-Elastic Porous Medium: Global Solvability, Theoretical and Mathematical Physics, 2018, vol. 195, pp. 923-937. DOI: 10.1134/S0040577918060090.
14. Durdiev, U. D. A Problem of Identification of a Special 2D Memory Kernel in an Integro-Differential Hyperbolic Equation, Eurasian J. Math. Comp. App., 2019, vol. 7, no. 2, pp. 4-19.
15. Durdiev, U. D. and Totieva, Z. D. A Problem of Determining a Special Spatial Part of 3D Memory Kernel in an Integro-Differential Hyperbolic Equation, Mathematical Methods in Applied Sciences, 2019, vol. 42, no. 18, pp. 7440-7451. DOI: 10.1002/mma.5863.
16. Durdiev, D. K. and Totieva, Z. D. About Global Solvability of a Multidimensional Inverse Problem for an Equation with Memory, Siberian Mathematical Journal, 2021, vol. 62, no. 2, pp. 215-229. DOI: 10.1134/S0037446621020038.
17. Kumar, P., Kinra, R. and Mohan, M. A Local in Time Existence and Uniqueness Result of an Inverse Problem for the Kelvin-Voigt Fluids, Inverse Problems, 2021, vol. 37, no. 8, 085005. DOI: 10.1088/1361-6420/ac1050.
18. Blagoveshchenskii, D. A. and Fedorenko, A. S. The Inverse Problem for the Acoustic Equation in a Weakly Horizontally Inhomogeneous Medium, Journal of Mathematical Sciences, 2008, vol. 155, no. 3, pp. 379-389, DOI: 10.1007/s10958-008-9221-1.
19. Durdiev, D. K. and Bozorov, Z. R. A Problem of Determining the Kernel of Integrodifferential Wave Equation with Weak Horizontal Properties, Dal'nevostochnyi matematicheskii zhurnal, 2013, vol. 13, no. 2, pp. 209-221 (in Russian).
20. Durdiev, D. K. The Inverse Problem of Determining Two Coefficients in One Integro Differential Wave Equation, Sib. zhurnal industrialnoy matematiki [Siberian Journal of Industrial Mathematics], 2009, vol. 12, no. 3, pp. 28-40 (in Russian).
21. Courant, R. and Hilbert, D. Methods of Mathematical Physics, II, New York-London, Interscience Publ., 1962.
22. Kolmogorov, A. N. and Fomin, S. V. Elementy teorii funktsiy i funktsionalnogo analiza [Elements of the Function's Theory and Functional Analysis], Moscow, Fizmatlit, 2006, 572 p. (in Russian).
23. Yakhno, V. G. Obratnyye zadachi dlya differentsialnykh uravneniy uprugosti [Inverse Problems for Differential Equations of Elasticity], Novosibirsk, Nauka, 1988, 304 p. (in Russian).
Received August 1, 2021 Zarif A. Akhmatov
Southern Mathematical Institute VSC RAS, 22 Marcus St., Vladikavkaz 362027, Russia, Graduate Student E-mail: [email protected]
Zhanna D. Totieva
Southern Mathematical Institute VSC RAS,
22 Marcus St., Vladikavkaz 362027, Russia,
Senior Researcher of the Department of Math. Modelin;
North Caucasus Center for Mathematical Research VSC RAS,
22 Marcus St., Vladikavkaz 362027, Russia,
Leader Researcher
E-mail: j annatuaeva@inbox. ru
https://orcid.org/0000-0002-0089-074X