Научная статья на тему 'К вопросу о корректности обратных задач для неоднородного уравнения Гельмгольца'

К вопросу о корректности обратных задач для неоднородного уравнения Гельмгольца Текст научной статьи по специальности «Математика»

CC BY
164
72
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УРАВНЕНИЕ ГЕЛЬМГОЛЬЦА / HELMHOLTZ EQUATION / НАЧАЛЬНО-ГРАНИЧНАЯ ЗАДАЧА / INITIAL-BOUNDARY VALUE PROBLEM / НЕЛОКАЛЬНЫЕ ЗАДАЧИ / NONLOCAL PROBLEMS / ОБРАТНЫЕ ЗАДАЧИ / INVERSE PROBLEMS / ЕДИНСТВЕННОСТЬ / UNIQUENESS / СУЩЕСТВОВАНИЕ / EXISTENCE / РЯД / УСТОЙЧИВОСТЬ / STABILITY / ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ / INTEGRAL EQUATIONS / SERIES

Аннотация научной статьи по математике, автор научной работы — Сабитов Камиль Басирович, Мартемьянова Нина Викторовна

Для уравнения Гельмгольца в прямоугольной области изучены начально-граничная задача и ее нелокальные модификации, и обратные задачи по его отысканию правой части. Решения прямых задач с нелокальными граничными условиями и обратных задач построены в явном виде как суммы ортогональных рядов по системе собственных функций одномерной спектральной задачи Штурма-Лиувилля. Доказаны соответствующие теоремы единственности решения всех поставленных задач. Установлены достаточные условия на граничные функции, которые гарантируют теоремы существования и устойчивости решения предложенных новых постановок задач.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On the question of the correctness of inverse problems for the inhomogeneous Helmholtz equation

In the rectangular domain, the initial-boundary value problem for the Helmholtz equation and its non-local modifications are studied and the inverse problems for finding its right-hand side are studied. The solutions of direct problems with nonlocal boundary conditions and inverse problems are constructed in explicit form as the sums of orthogonal series in the system of eigenfunctions of the one-dimensional Sturm-Liouville spectral problem. The corresponding uniqueness theorems for the solution of all set problems are proved. Sufficient conditions for boundary functions are established, which are guaranteed by the existence and stability theorems for the solution of the proposed new problem statements.

Текст научной работы на тему «К вопросу о корректности обратных задач для неоднородного уравнения Гельмгольца»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2018. Т. 22, № 2. С. 269-292 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1600

УДК 517.956.6

К вопросу о корректности обратных задач для неоднородного уравнения Гельмгольца

К. Б. Сабитов1'2, Н. В. Мартемьянова3

1 Самарский государственный технический университет, Россия, 443100, Самара, ул. Молодогвардейская, 244.

2 Самарский государственный социально-педагогический университет, Россия, 443099, Самара, ул. Горького, 65/67.

3 Самарский национальный исследовательский университет имени академика С.П. Королева, Россия, 443086, Самара, Московское ш., 34.

Аннотация

Для уравнения Гельмгольца в прямоугольной области изучены начально-граничная задача и ее нелокальные модификации, и обратные задачи по его отысканию правой части. Решения прямых задач с нелокальными граничными условиями и обратных задач построены в явном виде как суммы ортогональных рядов по системе собственных функций одномерной спектральной задачи Штурма-Лиувилля. Доказаны соответствующие теоремы единственности решения всех поставленных задач. Установлены достаточные условия на граничные функции, которые гарантируют теоремы существования и устойчивости решения предложенных новых постановок задач.

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

Получение: 10 января 2018 г. / Исправление: 21 апреля 2018 г. / Принятие: 11 июня 2018 г. / Публикация онлайн: 27 июня 2018 г.

Введение. В связи с изучением обратной задачи по определению правой части уравнения смешанного эллиптико-гиперболического типа, например, известного уравнения Лаврентьева—Бицадзе

ихх + (sgn у)иуу = Ф(х, у) (*)

Научная статья

3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

Сабитов К. Б., Мартемьянова Н. В. К вопросу о корректности обратных задач для неоднородного уравнения Гельмгольца // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2018. Т. 22, № 2. С. 269-292. doi: 10.14498/vsgtu1600. Сведения об авторах

Камиль Басирович Сабитов © http://orcid.org/0000-0001-9516-2704 доктор физико-математических наук, профессор; профессор, каф. высшей математики1; профессор, каф. физики, математики и методики обучения2; e-mail: sabitov_fmf@mail.ru Нина Викторовна Мартемьянова А http://orcid.org/0000-0001-8025-0234 кандидат физико-математических наук; доцент; каф. высшей математики3; e-mail: ninamartem@yandex .ru

в прямоугольной области С = {(х,у) | 0 < х <1, —а <у < 0}, где

&1(х,у) = Ь(х)дг(у), у> 0, Ф2(х,у) = /2(х)д2(у), У< 0,

возникает необходимость исследования обратных задач по отысканию правых частей уравнений ихх + иуу = Ф1(х,у) в С+ = С П {у > 0} и ихх — иуу = = Ф2(х,у) в С- = С П {у < 0}. Ранее в наших работах [1-6] были изучены обратные задачи по определению функций и(х,у) и ¡\(х) = ¡2(х) = f (х) и и(х,у), /1(х) и f2(х), /1(х) = /2(х) для уравнения (*) в области С при 91 (у) = 92(у) = 1 с локальными и нелокальными граничными условиями. Эти исследования не позволяют пока построить теорию обратных задача для уравнения (*). В связи с этим важно предварительно исследовать обратные задачи для уравнения (*) в областях эллиптичности и гиперболичности.

Отметим, что задачи оптимизации и связанные с ними обратные задачи, например, задача оптимизации сопла Лаваля, являются предметом исследований работ [7,8].

Обратные задачи разного плана для классических уравнений математической физики и для более общих дифференциальных уравнений в частных производных различных типов изучены достаточно полно; усилиями многих математиков создана теория обратных задач (см. [9-16] и приведенную там обширную библиографию).

В данной работе мы исследуем прямые и обратные задачи для уравнений Лапласа и Гельмгольца. К нашим исследованиям близки работы [17-20], где для уравнения Пуассона и более общего уравнения эллиптического типа изучены обратные задачи по отысканию функций и(х,у) и /1(х) в прямоугольной области и областях более общего вида с заданием граничного условия на всей границе области и дополнительной информации о функции и(х, у) внутри области и доказаны теоремы единственности и существования в классах гладких функций.

Отметим также работы [21-23], в которых изучена задача по определению сомножителя правой части операторного уравнения эллиптического типа, где установлен критерий единственности и найдено необходимое и достаточное условие разрешимости поставленной задачи.

В отличие от этих работ, в данной статье решения поставленных обратных задач построены в явном виде как суммы рядов, доказаны соответствующие теоремы единственности, существования и устойчивости.

В связи с этим п. 1 данной работы посвящен изучению начально-граничной задачи, имеющей важное значение в геофизике [13, с. 131], [16, с. 254], и двух ее нелокальных модификаций для уравнения Гельмгольца

ихх + иуу + си = ^ (х,у) = / (х)д(у) (**)

в прямоугольной области С+, которые являются корректными по Адамару и будут использованы в последующем при постановке обратных задач.

В п. 2 изучены обратные задачи по отысканию правой части уравнения (**).

В пп. 2.1 рассмотрен случай, когда д(у) = 1 и неизвестными являются функции и(х,у) и /(х). Решение построено в виде сумм ортогональных

Ф(х,у) =

рядов и доказаны теоремы единственности, существования и устойчивости решения.

В пп. 2.2 изучен случай, когда д(у) ф 1 и неизвестными также являются функции и(х,у) и f (х). Установлен критерий единственности решения поставленной обратной задачи. Аналогично пп. 2.1, решение построено в виде сумм ортогональных рядов и доказаны теоремы существования и устойчивости решения поставленной обратной задачи.

В пп. 2.3 изучается обратная задача, в которой неизвестными являются функции и(х,у) и д(у). На основании результатов п. 1 относительно функции д(у) получено интегральное уравнение Фредгольма второго рода, из которого при определенных условиях на данные следует однозначная разрешимость обратной задачи.

1. Начально-граничная задача и ее нелокальные модификации.

Рассмотрим неоднородное уравнение Гельмгольца

Lu = uxx + Uyy + cu = F (x,y), (1)

где с = const < (n/l)2, в прямоугольной области D = {(х,у) | 0 < х < I, 0 < у < Р} и следующую начально-граничную задачу.

Задача 1. Найти функцию и(х,у), удовлетворяющую условиям

u(x, у) е C2(D) П С 1(D U {0 < ж < 1,у = 0}) П С(D), (2)

Lu(x, у) = F(х, у), (х, у) е D, (3)

u(0, у) = u(l, у) =0, 0 < у < р, (4)

и(х, 0) = f(x), 0 < ж < I, (5)

uy(х, 0) = ф(х), 0 < ж < I, (6)

где F(х,у), ф(х), ф(х) — заданные достаточно гладкие функции.

Отметим, что к этой задаче сводятся двумерные задачи Коши для уравнения Лапласа, связанные с изучением стационарных электростатических или магнитных полей с целью поиска полезных ископаемых [13, с. 131], [16, с. 254].

Рассматриваемая задача (2)-(6) некорректна по Адамару. Пусть F(х, у)ф0. Тогда решением задачи 1 является функция

1 • ( , г ь

- sinxyach \kу + —

с начальными функциями

Uk(x, y) = 1 sin ßkx(a ch \ky + y sh \ky^ (7)

& b

Vk (x) = sin ßkX, фк (x) = - sin ßkX, (8)

a, b — вещественные постоянные, к £ N.

Из (7) и (8) следует, что с ростом к начальные функции ipк(х) и фк(х) стремятся к нулю, а ик(х,у) неограниченно растет, т. е. решение задачи 1 неустойчиво.

Теорема 1. Если существует 'решение задачи (2)-(6), удовлетворяющее условиям

i i жх

iim их sinх = hm их sin —— = 0, (9)

x^l-0 l

то оно единственно.

Доказательство. Пусть существует решение задачи (2)-(6), удовлетворяющее условиям (9). Следуя [3], введем функции

2 Г

uk(у) = у J и(х,у)Хк(х) dx, к е N, (10)

где Хк(х) = sin ц,кх, ц.к = жк/l — собственные функции спектральной задачи Х"(х) + ^Х (х) = 0, X (0) = X (I) = 0,

которые образуют ортогональную и полную систему в пространстве Ь2 [0,1]. Рассмотрим

(■1-е

. и(х,у)Хк(х) йх,

2 [1-£

Uk,e(y) = jJ и(х,у)Хк(х) dx, (11)

где е > 0 — достаточно малое число. Дифференцируя равенство (11) дважды и используя уравнение (1), имеем

2 Г-£ 2 р-£

и'к,е(у) = 22 у иуу(х, у)хк(х) Лх = - J [>(х, у) — ихх — си\Хк(х) dx =

= 22 ! ^(х,у)Хк(х) dx — сик,£ — 22 ! ихх(х,у)Хк(х) йх. (12)

В последнем интеграле правой части (12) после интегрирования по частям два раза и перехода к пределу при е ^ 0 с учетом условий (4)-(9) получим, что функции (10) удовлетворяют дифференциальному уравнению

<(У) - \lUk(у) = Fk(у). (13)

Здесь \\ = ¿I - с> 0,

2 fl

Fk(у) = -J F(х,у)Хк(х) dx.

I

Общее решение уравнения (13) определим в виде

ик (у) = ак еХкУ + Ьк е—ХкУ — -1- Р^(у) — -1- ^ к (у), (14)

2Лк 2лк

удобном для дальнейших исследований. Здесь ак и Ьк — произвольные постоянные,

г Р ¡"У

Р1к(у) = Рк(1)е—Хк^ М, ^к(у)= Рк(1)е—Хк(у—1) <11.

Для нахождения ак и Ьк воспользуемся граничными условиями (5) и (6):

2 Г1 2 Г1

ик(0) = - и(х, 0) sin ц,кxdx = - <р(х) sin ц,кxdx = , (15) ' J0 I J0

о

У

2 fl 2 ¡

uk(0) = у uy (х, 0) sin ц,кxdx = - ф(х) sin ц,кxdx = фк. (16)

t J 0 ' ./o

Теперь, удовлетворяя функции (14) условиям (15) и (16), получим систему

ak + bk = ^к + тЛ" (0), 2\к

ак - Ьк = ^ ^тг^Fik(0), Лк 2Лк

из которой определяются а к и Ьк:

^к + Фк/Хь 1 ^к - Фк/Xк ак =-2--2^ =-2-.

Подставляя найденные значения ак и Ьк в (14), получим явный вид функций ик (у):

ик(у) = <Рк ch Хку + ^ sh Хку + -1-eXkyF^(0) - -1-(у) - -1-F^(у). (17)

Ак 2Лк 2Лк 2Лк

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Пусть теперь ip(x) = 0, ф(х) = 0, F(х,у) = 0. Тогда все <рк = фк = 0, Рк (t) = 0 и из (17) и (10) следует, что при всех к £ N

/ u(x,y)sinц,кxdx = 0. (18)

0

Из (18) в силу полноты системы {sin^кж}к>1 в L2[0,1] следует, что и(х, у) = 0 почти всюду на [0,¿] при любом у £ [0,^]. Поскольку в силу условия (2) функция и(х, у) непрерывна на D, она тождественно равна нулю на D. □

Замечание 1. Отметим, что в работе [16, с. 254-256] приведено доказательство теоремы единственности решения задачи 1 в классе функций из С4 (D), представимых в виде ряда

и(х, у) = ^ ик(у) sin ккх,

к=1

где ик(у) £ С4[0,1], I = Р = 1. В теореме 1 условия (9) означают, что производная их вблизи отрезков х = 0 и х = I может иметь особенности порядка меньше единицы.

Формально решение задачи 1 можно построить в виде суммы ряда

и(х,у) = ^2 ик(У) sin у,кх, (19)

к=1

где коэффициенты ик (у) однозначно определены по формуле (17).

Поскольку система {sin^кж}к>1 образует ортогональный базис в L2[0,l], ряд (19) сходится в L2[0,l] при любом фиксированном у £ [0,fi]. Доказать

равномерную сходимость этого ряда на И не удастся, так как коэффициенты ик(у) при больших к растут по закону экспоненты еХкУ. Поэтому доказательство существования решения задачи 1 в указанном классе функций (2) и (9) остается под большим вопросом.

Возникает вопрос: можно ли, не меняя структуру решения, поправить постановку задачи (2)—(6) так, чтобы измененная задача стала корректной?

Здесь рассмотрим два варианта. В первом варианте предлагается оставить граничные условия (4) и (5) без изменения, а условие (6) заменить нелокальным граничным условием

иу(х, 0) - иу(х,Р) = -ф(х), 0 < ж < I. (20)

Эту задачу назовем Задачей 2. В этом случае решение задачи 2 ищется в классе функций

и(х,у) е С2(Б) П С 1(Б и[у = 0, 0 < ж < 1}и[у = р, 0 < ж < I}) П С (Л). (2')

Во втором варианте предлагается в задаче 1 заменить условие (5) на нелокальное условие

и(х, 0) - и(х,р) = <р(х), 0 < х < I. (21)

Эту задачу назовем Задачей 3. В условиях (20) и (21) функции ф(х) и ^р(х) считаются известными и достаточно гладкими.

Решение задачи (2'), (3)-(5) и (20) (задачи 2), аналогично решению задачи 1, можно построить в виде суммы ряда

и(х, у) = ^ ик(у) sin цкX. (22)

к=1

Действительно, вводя функции (10) относительно ик(у), получаем уравнение (13), общее решение которого определяется по формуле (14). Для определения неизвестных коэффициентов ак и Ьк воспользуемся граничными условиями (5) и (20), т. е. условиями (15) и

2 Í'1

ик(0) — и'к(Р) = - [иу (х, 0) — иу (х, Р)\ sin цкх dx = i Jo

2 fl ~ ~ = j ip(x) sin ц,кxdx = фк. (23) ' Jo

Удовлетворив функции (14) граничным условиям (15) и (23), найдем искомые коэффициенты:

1

ак

2(ch Хк Р — 1) 1

Ьк =

Vк (е-Хк/3 — 1) — ^ + ^ (е-^ — 2) — ^ Лк 2Лк 2Лк

-;фк , Хк/3. еХк^Р1к (0) Р2к (Р)

Щлкр—Г) [\к — ^ — 6 } + 2\к + 2\к

Подставляя найденные значения и Ък в формулу (14), получим явный вид искомых функций:

А \к (Р - у) - А \ку ~ вЬ \ку

ик(У) = ^—(¿-Р-Г)--*кХк(еЬХкр - 1) +

+ Рхк (0)[еЬ Хк (Р - у) - еЬ Хк у - вЬ Хк у]

2Хк(еЬ ХкР - 1)

(у)_ Р2к)вЬ ХкУ___Г_ р (у) (24)

2ЛкНк(У) 2Хк(еЬХкР - 1) 2Лк*2к(У)' (24)

Лемма 1. При любом у € [0,^] для функций (24) справедливы оценки

11

\ик (У)\ < с\(\<рк | + 1 \Фк | + ^ т (у)\\ь2), (25)

К (у)\ < С2(к\^к \ + \Фк \ + т (у)\\ы), (26)

К (у)\ < Сз( к2\рк \ + к\фк \ + к1/2\\Рк (у)\\ь2). (27

Здесь и ниже Сг — положительные постоянные, зависящие, вообще говоря, от данных задачи, Р, с и I; \\Рк(у)\\ь2 = \\рк(у)\\ь2[0,з]. Доказательство. Отметим, что

\ еЬ Хк (Р - у) - еЬ Хк у\ < 1 0 < вЬ Хк у < 1 + е-^ еЬ ХкР - 1 < , < еЬ ХкР - 1 < 1 - е-Х13, 0 < вЬ Хк (Р - у)+8Ь Хк у < 1 + е-Х113 0 < еЬ Хк у < 1 + е-2Х13

еЬ ХкР - 1 1 - еЬ Хкр - 1(1 - е-^!3)2'

№к(,)\ < М^Ъ, ^(у)\ < ШЙа

V 2Лк V 2Лк

Тогда оценки (25)-(27) непосредственно следуют из формулы (24). □

На основании оценок (25)-(27) нетрудно доказать следующие утверждения.

Теорема 2. Если <р(х) € С3[0,1], <р(0) = <р"(0) = 0, ф(х) € С2[0,1], ф(0) = = 4(1) = 0; ^ (х,у), Р'х(х,у), Р^х(х,у) € С (Л), Р (0,у) = ^ (1,у) = 0 при 0 < у < Р, то существует единственное 'решение и(х,у) задачи (2'), (3)-(5) и (20), которое определяется как сумма ряда (22), а коэффициенты — по формуле (24), при этом и(х,у) € С2(0).

Доказательство. В силу леммы 1 ряд (22) и ряды, полученные из него почленным дифференцированием до второго порядка включительно, в замкнутой области И мажорируются числовым рядом

С4 ^к2\^к\ + к\фк\ + к1/2\\Рк(у)\\ь2, к=1

который в силу условий теоремы сходится [24, с. 90-94]. Тогда в силу признака Вейерштрасса указанные ряды сходятся равномерно на И. Поэтому

сумма ряда (22) принадлежит пространству С2 (О) и удовлетворяет граничным условиям (4), (5) и (20). □

Теорема 3. Для решения задачи (2'), (3)-(5) и (20) справедливы оценки устойчивости:

\\Ф, у)\\Ыо,1] < С5,{Шх)\\Ь2т + Шх)\\Ь2[о,г] + \\Р(х,у)\\ыв]), (28) \\Ф, У)\\с(и) < Св(|| Ч>'Шс{о,1] + Шх)\\с{о,1] + (х, у)\\ст). (29)

Доказательство. В силу оценки (25) на основании формулы (22) имеем

1 3 Г 2 / 1 \

Мх,У)\\12т] = (у) < -¡геI2 + \ФкI2 + ¥т(у)й2) < к=1 к=1

12[оЛ + м ^ + и*1 (*, У)\\1(В)).

Отсюда следует справедливость оценки (28).

Пусть (х, у) —произвольная точка области И. Тогда из соотношений (22) и (25) будем иметь

\u(x, у)1 < £ 1ик(у)\ < С\ £(V| + 1 I + \\Fk(у)\\ь2). (30)

k=1 к=1

Теперь, используя представление ^к = Ч^1 //к, где

,(1) 2 "

2 п

<fk = - у' (x)cos^k xdx,

l J0

оценку

\\Fk (v)\\l2 = \\Fk(y)\\LM \\F (x, У)\\ЫВ) < V-P max\F (x,-

и неравенство Коши—Буняковского из (30), получаем

. . Я ^ ( 1, (1), 1, 7, \\F(X, y)\c(D) \

\и^ у)\ < С^(- I^I + 1\ +-<

k=1

го . 1 ч1/2г / го ч 1/2 /го ч 1/2■

С'1 £ (1 ffe^i2) + Е^2

k=1 L —-i / \i—1 /

xk=1 у k=1

+

го1

+ C1\\F ^ y)\c(D)T, 13Г2 k=1

с ^ (\\^ (x)Hl2[0, i] + ml2{0,1]) +C1C2WF (x, y)\\c (D)

V6,---------L.[0„ ■ ,, , . -12,, ^

V6

где

< С (х)\\с [0,г] + Мс м) + CC\\F (х, у)\\с ф), (31)

ОО - 2 ОО -

1 п2 ^ 1

С =С max{M/V",У2p}, = = С2 > 0

к=1 к=1

Из неравенства (31) непосредственно следует оценка (29). □

Аналогично задачам 1 и 2, построим решение задачи (2)—(4), (6) и (21) (задачи 3) как сумму ряда

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

те

и(х, У) = Uk(У) sin х- (32)

к=1

Здесь Uk (у) определяется по формуле

ch Хку фк sh Хк (3 - y) + shXkу

ик (У) = -Рк

ch ХкР - 1 Хк ch ХкР - 1

Fik(0) sh Хк(Р - у) + sh ХкУ + ch ХкУ__1_F , ) +

2 Хк ch ХкР - 1 2Хк 1к(У) +

+ ^cht-b - ^(У), (33)

где

2 Г1 „

Рк = 7 / Ф) sin №кх dx. 0

Лемма 2. При любом у £ [0, Р] справедливы оценки

1

\ик(у)\ < с^\ + ^ + ^\FШь2[0,13]

\и'к(у)\ < С8(к\ёк\ + \Фк\ + ^WFk(у)\\ыоА \и'к(у)\ < C9{k2\ipk\ +к\фк\ +kl'2\\Fk(у)\\ыоА).

Доказательство аналогично обоснованию леммы 1.

Теорема 4. Если функция F(х, у) удовлетворяет условиям теоремы 2, <р(х) еС3[0,I], £(0) = <р(1) = <р"(0) = tp"(l) = 0, ф(х) е С2[0,I], ф(0) = ф(1) = 0, то существует единственное решение и(х, у) задачи (2)-(4), (6) и (21), и это решение определяется рядом (32), у которого коэффициенты находятся по формуле (33), при этом и(х, у) е С2(D).

Доказательство следует из установленных в лемме 2 оценок.

Для этой задачи имеют место оценки устойчивости, аналогичные оценкам (28) и (29).

2. Обратные задачи по отысканию правой части. Здесь для уравнения (1) исследуем обратные задачи по определению правой части, т.е. функции F(х, у) = f(x)g(y).

2.1. В начале рассмотрим случай, когда g (у) = 1.

Задача 4. Найти функции и(х, у) и f(x), удовлетворяющие условиям (2)— (6) и, кроме того,

и(х,3) = h(x), 0 ^х < I, (34)

f(x) ее (0,1) ПЬ2 (0,1), (35)

где f(x), ф(х) и h(x) —заданные достаточно гладкие функции, условие (6) здесь является дополнительным для определения функции f (х).

Теорема 5. Если существует 'решение задачи 4, удовлетворяющее условиям (9), то оно единственно.

Доказательство. Аналогично доказательству теоремы 1, введем функции (10), которые удовлетворяют уравнению

uk(У) - Xkик(У) = fk, (36)

где

2 Г1

fk = jJ f(x)sinjkxdx. (37)

Общее решение уравнения (36) определяется по формуле

Uk(у) = а,кеХкУ + bkе-ХкУ - ^, (38)

где ak, bk и fk — неизвестные постоянные. Для их нахождения воспользуемся граничными условиями (15), (16) и

2 Г1 2 Г1

uk (¡3) = - u(x,3)sinjk xdx = - h(x)sinjk xdx = hk. (39) I- Jo i Jo

Удовлетворяя функции (38) граничным условиям (15), (16) и (39), получим систему

ak + bk - = fk,

^k

ak - bk = т—,

Xk f

akeXkfi + bke-Xk^ - ^ = hk, Xk

единственное решение которой определяется формулами

= hk -fk _ Ф.k g - e-X^ )

k 2(ch\k3 - 1) 2Xk(chXk3 - 1), ( )

= fk - hk

k 2Xk(chXk3 - 1) 2(chXk3 - 1), ( )

h к <Рк ch\k 3 фк sh\k 3 (42)

Х2к сЪХк3 - 1 сЪХк3 - 1 Хк (сЪХк3 - 1)'

Теперь, подставляя (40)-(42) в (38), найдем функции ик(у) в замкнутом виде:

А Хк3 - А ХкУ сЪХкУ - 1 ик(У) = *к еЪХк(3 - 1 + ккЖХ^Г! +

ъЪХк3 - ъЪХкУ - ъЪХк(3 - у)

+ фк-Хк(^Ж-Г)-• (43)

Пусть теперь *(х) = к(х) = ф(х) = 0. Тогда из (42), (43), (10) и (37) при всех к € N получим

/ и(х, у)$т^кх<!х = 0, / ¡(х)$т^кхйх = 0. (44)

Уо Jo

В силу полноты системы {вт ц,кх}к^\ из равенств (44) следует, что и(х, у) = 0 почти всюду на [0,1] при любом у € [0,3] и ¡(х) = 0 почти всюду на [0,1]. В силу условий (2) и (35) функции и(х, у) = 0 в И и /(х) = 0 на [0,1]. □ Решение задачи 4 определяется как сумма рядов

и(х, у) = ^ ик(у) sin Цкх, (45)

к=1

f (X) = J2 sin^X. (46)

к=1

Здесь коэффициенты ик (у) и fk находятся соответственно по формулам (43) и (42).

Лемма 3. Для коэффициентов рядов (45) и (46) справедливы оценки

\ик(У)\ <Сю(|Ч>к\ + \hк| + ^), (47)

\ик(У)\ <Сп(к\<рк\ + kh\ + \фк\), (48)

\и'к(у)\ 2^к\ +k2h\ +Щк\), (49)

\fк\ з^к\ + h\ + Щфк\). (50)

Справедливость оценок (47)-(50) непосредственно следует из формул (43) и (42). Исходя из оценок (47)-(50) легко доказывается следующая

Теорема 6. Если <р(х), h(x) G С3[0,I], <р(0) = <р"(0) = h(0) = h''(0) = 0, ф(х) G С2[0,I], ф(0) = ф(1) = 0, то существует единственное решение и(х, у) и f(x) задачи 4 и оно определяется рядами (45) и (46), при этом и(х, у) G С2(D) и f (х) G С[0,1].

Теорема 7. Для решения задачи 4 справедливы оценки устойчивости :

\\и(x, у)\\ь2[0,1] < С14 {Мх)\\ь2[0,1] + \\Кх)\\ь2[0Д + \\ф(х)\\ь2[0,1]) , (51)

IIf(x)\\L2[0,i] < с15 {\w(x)\\l2[0,i] + \\h(x)\\L2m + \w(х)\\Ы0д) , (52) \\u(x, У)\\с(d) < Ci6 {у (x)\\c[0,1] + w(x)\\c{o,i] + \^(x)\c[0,i]) , (53) \\/(x)\\c[0,1] < Cu {У"(х)Цср,1] + \\ti(x)\\c[0,i] + U"(x)\\ci0,i]) . (54)

Доказательство оценок (51)-(54) проводится аналогично теореме 3 с использованием оценок (47) и (50).

Замечание 2. Отметим, что в работе [21] изучена обратная задача для операторного уравнения второго порядка, из которой можно получить явную формулу решения задачи 4, т.е. ряды (45) и (46), которые будут сходиться в L2[0,1].

2.2. Пусть д(у) ф 1 — произвольная непрерывная на [0, 3] функция. В этом случае аналогично п. 2.1 можно показать единственность решения задачи 4, но при обосновании существования решения возникают принципиальные трудности в силу роста коэффициентов ряда по закону еХкФ. Поэтому здесь предлагается обратная задача на основании прямой задачи 2 или 3. Остановимся на задаче 2.

Задача 5. Найти функции u(x, у) и f(x), удовлетворяющие условиям (2'),

(3)-(5), (20), (34) и (35). Здесь ^>(x), h(x), ip(x) и д(у) —заданные достаточно гладкие функции.

Пусть существует решение задачи 5, удовлетворяющее условиям (9). Введем функции (10), которые удовлетворяют уравнению (13):

uk (У) - Xl uk (У) = Fk (y),

где

2

Fk (у) = jJo F (x,y) sin ^k xdx = g(y) fk.

В этом случае общее решение уравнения (13) исходя из формулы (14) определяется по формуле

Uk (y) = akex*y + bke-XkV - (gik (y) + g2k(y)), (55)

где ak, bk и fk — неизвестные постоянные,

(Ф ГУ

9ik(у) = g(t)z-Xk(t-y) dt, g2k(y) = g(t)e-Xfc(y-f) dt. (56)

У 0

Для определения этих коэффициентов воспользуемся условиями (15), (24) и (39). Удовлетворяя функции (55) граничным условиям (15), (24) и (39), найдем систему

' fk ak + bk - тгг-gik(0) = ^k, 2 Ak

akeXkfi + bke-Xkfi - 2fg2k(3) = hk, (57)

ak(1 - ) + bk (e-Х*Ф - 1) - а [gik (0) + g2k (3)] = ^.

2 Ak Ak

При условии, что при любом к € N

г3

ГР

А(к)=д 1 к (0)+ 92 к (3 ) = 9^)[е-Хк* + е-Хк (3-)]М = 0 (58)

о

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

система (57) имеет единственное решение:

= Ьк -*к - Фк/Хк + ак = 2(еХк3 - 1) +

+ (*к + Ьк)(1 - е-Хк3) + (фк/Хк)(1 + е-Хк3) д\к(0) + 2(еХ*3 - 1) 91к(0) + д2к(3), ( )

¡к (*к + Ьк)(1 - е-Хк3) + (фк/Хк)(1 + е-Хк3)

2 Хк 2(д 1к (0)+ д2 к )(3)

, 1 / . , Фк \ . еХк3(*к - Ьк +фк/Хк)

Ьк = 2\*к + Ьк - Л) +-2(еХ*3 - 1)--

еХк3 [(ук + Ьк)(1 - е-Хк3) + (фк/Хк)(1 + е-Хк3)] д1к(0)

2(еХк3 - 1) дгк(0)+ д2к(3)'

(61)

Найденные значения коэффициентов по формулам (59)-(61) подставим в (55) Тогда получим

ик (у) = *к

еХк(3-у) - ^ Хку (1 - е-Хк3)д 1к(0)(еХкУ - еХк(3-у))

еХк3 - 1 2(еХк3 - 1)(д^(0) + д2к(3))

(1 - е-Хк3)(д\к(у)+ д2к(У))

+

2(91 к (0)+ 92 к (3))

+

+ Ь к

вЪХкУ + (1 - е-Хк3)д 1к(0)(еХкУ - еМ3-у)) +

еХк3 - 1 2(еХк3 - 1)(д 1к(0) + 92к(3))

(1 - е-Хк3 )(д\к (у)+ д2к (у))

+

2(д 1к (0)+ 92к(3))

+

Фк г вЪХкУ , (1 + е-Хк3)д 1к(0)(еХкУ - еХк(3-у))

Хк

+ л.Я .-+

( к

+

еХк3 - 1 2(еХк3 - 1)(д 1к(0) + ^к(3))

(1 + е-Хк3 )(д 1к (у)+ д2к (У))

(62)

2(д 1к (0)+ д2к (3))

Теперь докажем единственность решения задачи 5. Пусть *(х) = Ь(х) = = ф(х) = 0 и выполнены условия (58) при всех к € N. Тогда из (60) и (62) следует, что при всех к € N функции ик (у) = 0 и Д = 0. Получим равенства (44), из которых уже следует, что и(х, у) = 0 в И и ¡(х) = 0 на [0,1].

Пусть при некотором к = р € N нарушается условие (58), т.е. А(р) = 0. Тогда однородная задача 5 (где *(х) = Ь(х) = ф(х) = 0) имеет ненулевое решение:

ир(х, у) =иР(у)ат^Рх, (63)

fp(x) = fp sin ^x, (64)

где

л fp9ip(0)(chAp(f3 -y) - chApy) fp , ,

UP(V) =-2Ap(chApf - 1)--2Ap^P(y) + , (65)

fp = 0 — произвольная постоянная.

Теперь возникает вопрос о существовании нулей выражения Д(р). Из (58) видно, что если функция g(t) на [0, f ] не меняет знак, т.е. знакопостоянная, то Д(к) = 0 при любом к Е N. Если g(t) меняет знак, т.е. имеет нули на [0,f], то уравнение Д(р) = 0 может иметь корни. В качестве примера возьмем функцию

g(t) = sin(at + b), a,b Е R, a = 0. Тогда выражение Д( ) примет вид

2уАр + BP . fa/3 . ( a/s ш = А2+a2 si4T + v s14^ -

АР + a2 V2 2

Здесь

А

Ар = Ар(1 - e-Xpf), Bp = a(1 + e-Xpf), = arcsln р

+ Вр

Отсюда следует, что уравнение Д(р) = 0 имеет счетное множество корней относительно af /2.

Таким образом, нами установлен следующий критерий единственности решения задачи 5.

Теорема 8. Если существует 'решение задачи 5, удовлетворяющее условиям (9), то оно единственно только тогда, когда выполнены условия (58) при всех k Е N.

При условии (58) решение задачи 5 формально можно построить в виде сумм рядов (45) и (46), где коэффициенты уже находятся соответственно по формулам (62) и (60). Покажем, что суммы этих рядов принадлежат соответственно классам С2(D) и С[0,1].

Лемма 4. Если функция д(у) непрерывна на [0,f] и |д(у)\ ^ т = const > 0, то существует постоянная С0 > 0 такая, что при всех k Е N

|д(к)| > Со. (66)

Доказательство. На основании теоремы о среднем выражение Д(к) из (58) представим в виде

Д(к) = J* g(t) [e-Xkt + e-Xk dt = g(02(1 ~^ ^), 0 <£<f. Отсюда следует

|Д(к)| > 2m(1 - ^) > С, iky/1 - c(l/(irk))2 k '

так как

Vl - С( I/(жк ))2 Л при С< 0

v [ 1 при 0 < с

1 при 0 <с< (ж/1 )2,

где постоянная Со зависит от 1,0, с и т. □

Лемма 5. Для коэффициентов рядов ик(у) и fk справедливы следующие оценки:

и(у)1 < Cis(l^kI + IhkI + 1ф|), (67)

U(у)I < Cw Щ<ркI + klhkI + 1фк|), (68)

U(у)I < C20 {k2I<PkI + k2IhkI + кШ) , (69)

I fkI ^ С21 {k2^kI + k2IhkI + кфI) . (70)

Доказательство. Предварительно оценим следующие выражения:

1 > еХк(р-у) - chXky >_ chAk0 - 1 1 > exkl — 1 > ехкР — 1 2,

ехкУ _ exk(l3-y)

-1 <-—-< 1,

^ еХкР - 1 '

191kШ < <C1, 192k(y)I < С,

где Ci и С2 — положительные постоянные, зависящие от 0, с, I и max Iд(у)У

о^у^р

Тогда на основании оценки (66) из формул (62) и (60) следует справедливость приведенных оценок (67)—(70). □

Теперь на основании оценок (67)-(70) нетрудно обосновать справедливость следующих утверждений.

Теорема 9. Пусть функции ф(х) и h(x) удовлетворяют условиям теоремы 6, ф(х) е С2[0,I], ф(0) = ф(1) = 0, а функция д(у) удовлетворяет условиям леммы 4. Тогда существует единственное решение и(х, у) и f(x) задачи 5, которое определяется рядами (45) и (46), при этом коэффициенты этих рядов находятся по формулам (62) и (60) и и(х, у) е С2(D), f(x) еС[0,1].

Теорема 10. Для решения задачи 5 имеют место оценки устойчивости (51)-(54), но с другими постоянными, и в этих оценках функцию ф(х) следует заменить на ф(х).

2.3. Пусть теперь f(х) — известная, а д(у) — неизвестная функции. В этом случае дополнительное условие следует уже задать на отрезке х = х0 е (0,1), 0 ^ у ^ 0, а другие краевые условия можно задать, комбинируя граничные условия задач 1-3:

и(х, 0) = (р(х), 0 ^ х ^ I,

~ (Bi)

иу(х, 0) - иу(х, 0) = ф(х), 0 ^ х ^ I;

иу(х, 0) = ф(х), 0 ^ X ^ I, и(х, 0) — и(х, Р) = <(х), 0 ^ х ^ I; и(х,Р) = Ы(х), 0 ^ х ^ I,

~ ш

иу (х, 0) — иу(х, Р) = ф(х), 0 ^ х ^ I;

иу(х, Р) = Ы(х), 0 ^ х ^ I,

и(х, 0) — и(х, Р) = <(х), 0 ^ х ^ I.

Здесь остановимся на первом варианте (условие (В\)), т.е. поставим следующую задачу.

Задача 6. Найти функции и(х, у) и д(у), удовлетворяющие условиям (2'), (3)-(5), (20) и, кроме того, условиям

и(х0, у) = й(у), 0 ^у ^ Р, 0 <х0 <1, (71)

д(у) еС[0,Р].

Здесь <(х), ф(х), /(х) и й(у) —заданные достаточно гладкие функции, при этом ¿(0) = <(х0).

Решение задачи (2'), (3)-(5), (20), т.е. задачи 2, нами уже построено в виде суммы ряда (22), где коэффициенты ик(у) определяются по формулам (24). Поскольку ^(х, у) = ¡(х)д(у), имеем ^(у) = }кд(у), следовательно,

(у) = 1к91к (у), Р2 к (у) = ¡к92к (у),

где д1 к (у) и д2 к (у) определены формулами (56). С учетом этих изменений формула (24) принимает вид

А \к (Р — у) — А ХкУ ~ еЬЛкУ

ик Ь) = <к (еЬ Лк Р — 1)--Фк Хк (еЬ ЛкР — 1) +

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

+ /к г91к(0)(еЬЛк(Р — у) — еЬЛкУ — еЬЛку)

2 Лк

(еЬ Лк Р — 1)

, л 92к(Р)вЬ ЛкУ . ;

—51 к (у) — "еиЛкР—г—5 2к (у)

где

= 2Гк [д1к (0) Ак (У) — ^ к (Р )Вк (у) — 91 к (у) — 92 к (у)] + Ск (У), (72)

еЬ Лк (Р — у) — еЬ ЛкУ — еЬ ЛкУ „ , л еЬ ЛкУ Ак (У) = -ГПз-1-, Вк (У) =

еЬ Лк Р — 1 ' ^ еЬ Лк Р — 1'

Ск(У)=<кеЬЛк(р—у)а — еЬЛку—Фк~ *ЬЛку

еЬ ЛкР — 1 ТкЛк (еЬ ЛкР — 1)'

Теперь удовлетворим ряд (22) граничному условию (71):

и(хо, у) = ^ик (у)етц,к х0 = й(у), 0 (73)

к=1

здесь и к (у) находится по формуле (72).

Предварительно первое слагаемое в квадратных скобках в правой части формулы (72) преобразуем к виду

«к(У) = 9\к(0)Ак(у) - У2к(3)Вк(у) - 9\к(у) - 92к(у) =

г3 г3

¡•р ¡-P

= Ак(у) g(t)e-Xkt dt - Вк(у) g(t)e-Xk(P-$ dt-Jo Jo

fP ГУ

- g(t)е-Хк(t-y)dt - g(t)e-Xk(y-t)dt = Jy Jo

ГУ

= g(t) [Ак(у)e-Xkt - Вк (у)e-Xk(P-- e-Xk(y-t)] dt+ o

fP

+ / g(t) [Ак (у) e-Xkt - Вк (у) е-Хк (P-t) - е-Хк (t-y)] dt =

У

¡■y rP

= д(1)Ек(t, у)dt + / д^)Нк(t, у)dt. (74)

o У

Здесь

Ек (t, у) =Ак (у) е-Xkt -Вк (у) e-Xk(P-t > - e-Xk(y-t \ Нк (t, у) = Ак (у) e-Xkt -Вк (у) e-Xk(P-t > - e-Xfc (í-y). Тогда с учетом (72) и (74) равенство (73) принимает вид

jt 2tk{L У CÁt )Ек (f, у) dt + £ 9(*)Нк (t, у) d?j sin »к xo =

те

= d(у) Ск(у)ът^кХо = (И(у). (75) к=1

В силу теоремы 3 ряд (22) сходится равномерно на замкнутой области D, поэтому в левой части равенства (75), переставляя операции суммирования и интегрирования между собой, получим интегральное уравнение типа первого рода:

¡■y rP

/ g(t)E(t, v)dt + / g(t)H(t,у) dt = d(v), (76)

o У

где

те »

E (*, у) = E 2ГЕк (f, у) s[n № xo, (77)

к=1 к

те »

H(t, у) = ^ ^Hk (t, у)*™^. (78)

к=1 2Хк

При этом заметим, что

те

d(0) = d(0) - ^С\к(0)вт»кxo = d(0) - <p(xo) = 0

к=1

и левая часть уравнения (76) при у = 0 равна нулю.

Обе части уравнения (76) продифференцируем. В результате получим

д(у) [ Е(у, у) — Н(у, у)] + £ д(1) М + £ д(1)М = Л(у). (79)

При этом из соотношений (77) и (78) следует, что

те »

Е (у, у) — Н (у, у) = ^ 2;^ [ек (у , у) — Нк (у , у)] й1п ^к хо = 0, к=1

так как

Ек (у, у) —Нк (у, у) = 0. Тогда, еще раз дифференцируя уравнение (79), будем иметь

9Е(1, у) — т^Щ + Г д2Е(1 ,у) ду ду и=у Ус ду2

г? д2Н (I, у)

д

Теперь на основании (77) и (78) вычислим

+ з(*)—тг^лг = й" (у). (80

дЕ(г, У) дН(г, У)! ¡к

д д

= у 2 Лк к=1

дЕк (I, у) дНк (I, у)

ет ^кхс =

д д те

= ^21к хс = /(хс). (81)

к=1

Если потребовать что /(хс) = 0, то из (80) и (81) получим интегральное уравнение Фредгольма второго рода:

г?

9(У) — л! д(1)К (I, у)м = »(у), (82)

с

где

^ 0 <<< у, К ^ ,у)= \д2дНЪ у) <ф<я (83)

У<1<Р,

д2Еа,у) те /к д2Еки, у) теЛк„ ^ , ,

ду2 =1^2Л\к-д>у2-81П^к хс = 1^^1кЕк , y)sm»кхс, (84)

д2Н(I, у) те Л д2Нк(I, у) . те>Лкг гг и л •

—— = 1^2Л--дГ2-хс = 2^"2к^кНк (*, у)е1п^к хс, (85)

У к=1 к У к=1

Л = — 1/f (xo), »(y) = d" (y)/f (xo).

Заметим, что функции Ек(t, у) и Нк(t, у) имеют производные любого порядка соответственно на замкнутых областях 0 ^ t ^ у ^ 0 и 0 ^ у ^ t ^ 0, и Ек(у, у) = Нк(у, у), а по переменной к ограничены. Тогда равномерная сходимость рядов (84) и (85) зависит от Д, т.е. от гладкости функции f(x) на [0,1]. Если функция f(x) е С2[0,1] и f(0) = f(l) = 0, то

12 fl f(2)

fk =--2 7 f"(x) s[n^kxdx = —kr

Vк 1 Jo Vk

и ряды (84) и (85) будут равномерно сходиться на указанных областях. Поэтому ядро К(t, у), определенное формулой (83), непрерывно в замкнутом квадрате 0 ^ t,y ^ 0. Если d(y) е С2[0,0] и функции p(x) и i¡)(x) удовлетворяют условиям теоремы 3, то функция ^(у) непрерывна на [0,0]. Итак, уравнение (82) представляет собой интегральное уравнение Фредгольма второго рода с непрерывным ядром и непрерывной правой частью. Тогда методом последовательных приближений можно доказать однозначную разрешимость данного уравнения в классе непрерывных на [0,0] функций при |Л| < 1/(МI), где

М = max 1К(t, у)1. Из теории Фредгольма следует также, что если Л не яв-D

ляется характеристическим числом ядра К( , ), то интегральное уравнение (82) имеет непрерывное на [0,0] решение. Таким образом, нами доказана следующая

Теорема 11^Пустьу^) е С3[0,I], <р(0) = p"(0) = p(l) = p"(I) = 0, <p(x) е С2[0,I], ip(0) = ф(1) = 0, d(y) е С2[0,0], d(0) = p(xo), f(x) е С2[0,I], f(0) = f(l) = 0, f(x0) = 0. Тогда единственное 'решение задачи 6 существует при выполнении одного из следующих условий:

1) |f(xo)l >М1,

2) число — f ^x^ не является характеристическим числом ядра К(t,у). При этом функция д(у) определяется как решение интегрального уравнения (82) в классе С[0,0], после чего функция u(x, у) находится как решение задачи 2 по формуле (22) и принадлежит С2(D).

Отметим, что в теореме 11 условие f(xo) = 0 существенно, здесь xo = = x0/l е (0,1). Пусть при некоторых xo и п = р е N выражение sin-Kkxo = 0. Тогда для функций f(x) = sinvpx и g(y) е С[0,0] аналогично (63)-(65) строится ненулевое решение однородной задачи 6 (где u(0, у) = u(l, у) = 0, p(x) = Íjj(x) = 0, d(y) = 0):

u(x, у) = Up(y) sin vPx, (86)

где

p

UP(y) = 2P [g 1p(0)AP(y) — g2p(0)BP(y) — g!p(y) — 92p(y)\ ,

fp = 0 — произвольная постоянная. Заметим, что здесь f(xo) = 0.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Следовательно, в силу построенного примера (86), однозначная разрешимость задачи 6 зависит также от выбора точки xo, т.е. от отношения xo/l. Соотношение sin^kxco = 0 &xo = р/q, где р, q е N, т.е. тогда, когда отношение xo/l является рациональным числом из интервала (0,1).

В заключение отметим, что аналогично можно исследовать аналоги задачи 6 на основании граничных условий ( В2)—(В4). В этих случаях относительно неизвестной функции д(у) получится интегральное уравнение типа (82).

Конкурирующие интересы. Мы не имеем конкурирующих интересов. Авторский вклад и ответственность. Все авторы принимали участие в разработке концепции статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.

Финансирование. Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 16-31-00421_мол_а), Российского фонда фундаментальных исследований и Республики Башкортостан (проект № 17-41-020516_р_а).

Библиографический список

1. Сабитов К. Б., Мартемьянова Н. В. Нелокальная обратная задача для уравнения смешанного типа// Изв. вузов. Матем., 2011. №2. С. 71-85.

2. Сабитов К. Б., Хаджи И. А. Краевая задача для уравнения Лаврентьева-Бицадзе с неизвестной правой частью// Изв. вузов. Матем., 2011. №5. С. 44-52.

3. Сабитов К. Б., Мартемьянова Н. В. Обратная задача для уравнения эллиптико-гиперболического типа с нелокальным граничным условием // Сиб. матем. журн., 2012. Т. 53, №3. С. 633-647.

4. Сабитов К. Б., Мартемьянова Н. В. Обратная задача для уравнения Лаврентьева-Бицадзе, связанная с поиском элементов правой части// Изв. вузов. Матем., 2017. №2. С. 44-57.

5. Сабитов К. Б., Мартемьянова Н. В. Нелокальная обратная задача для уравнения с оператором Лавретьева-Бицадзе в прямоугольной области // Доклады АМАН, 2013. Т. 15, №2. С. 73-86.

6. Sabitov K. B., Martemyanova N. V. Nonlocal boundary value problem for the third order equation of mixed type // Contemporary Analysis and Applied Mathematics, 2015. vol. 3, no. 2. pp. 153-169. doi: 10.18532/caam.52633.

7. Крайко А. Н., Макаров В. Е., Пудовиков Д. Е. К построению головной ударной волны при "обратном" расчете сверхзвукового течения методом характеристик // Ж. вычисл. матем. и матем. физ., 1999. Т. 39, №11. С. 1889-1894.

8. Крайко А. Н., Пьянков К. С. Построение профилей и мотогондол, суперкритических в околозвуковом потоке идеального газа// Ж. вычисл. матем. и матем. физ., 2000. Т. 40, № 12. С. 1890-1904.

9. Лавретьев М. М., Романов В. Г., Шишатский С. П. Некорректные задачи математической физики и анализа. М.: Наука, 1980. 287 с.

10. Лавретьев М. М., Резницкая К. Г., Яхно В. Г. Одномерные обратные задачи математической физики. Новосибирск: Наука, 1982. 88 с.

11. Романов В. Г. Обратные задачи математической физики. М.: Наука, 1984. 264 с.

12. Романов В. Г., Кабанихин С. И. Обратные задачи геоэлектрики. М.: Наука, 1991. 304 с.

13. Денисов А. М. Введение в теорию обратных задач. М.: МГУ, 1994. 206 с.

14. Prilepko A. I., Orlovsky D. G., Vasin I. A. Methods for Solving Inverse Problems in Mathematical Physics / Monographs and Textbooks in Pure and Applied Mathematics. vol. 231. Boca Raton: CRC Press, 2000. xiv+709 pp. doi: 10.1201/9781482292985

15. Isakov V. Inverse problems for partial differential equations/ Applied Mathematical Sciences. vol.127. New York: Springer, 2006. xiii+346 pp. doi: 10.1007/0-387-32183-7

16. Кабанихин С. И. Обратные и некорректные задачи. Новосибирск: Сибирское научное изд-во, 2009.

17. Соловьев В. В. Обратные задачи определения источника для уравнения Пуассона на плоскости// Ж. вычисл. матем. и матем. физ., 2004. Т. 44, №5. С. 862-871.

18. Соловьев В. В. Обратные задачи для эллиптических уравнений на плоскости. I // Диф-ференц. уравнения, 2006. Т. 42, №8. С. 1106-1114.

19. Соловьев В. В. Обратные задачи для эллиптических уравнений на плоскости. II // Дифференц. уравнения, 2007. Т. 43, №1. С. 101-109.

20. Соловьев В. В. Обратные задачи для уравнений эллиптического и параболического типов в пространствах Гельдера: Автореферат диссерт. ... д-ра физ.-мат. наук.. М., 2014.

21. Орловский Д. Г. Об одной обратной задаче для дифференциального уравнения второго порядка в банаховом пространстве // Дифференц. уравнения, 1989. Т. 25, №6. С. 10001009.

22. Орловский Д. Г. К задаче определения параметра эволюционного уравнения // Дифференц. уравнения, 1990. Т. 26, №9. С. 1614-1621.

23. Орловский Д. Г. Обратная задача Дирихле для уравнения эллиптического типа // Диф-ференц. уравнения, 2008. Т. 44, №1. С. 119-128.

24. Сабитов К. Б. Уравнения математической физики. М.: Физматлит, 2013.

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 269-292

d http://doi.org/10.14498/vsgtu1600

ISSN: 2310-7081 (online), 1991-8615 (print)

MSC: 35R30, 35M13

On the question of the correctness of inverse problems for the inhomogeneous Helmholtz equation

K. B. Sabitov1'2, N. V. Martem'yanova3

1 Samara State Technical University,

244, Molodogvardeyskaya st., Samara, 443100, Russian Federation.

2 Samara State University of Social Sciences and Education, 65/67, M. Gorkiy str., Samara, 443099, Russian Federation.

3 Samara National Research University,

34, Moskovskoye shosse, Samara, 443086, Russian Federation.

Abstract

In the rectangular domain, the initial-boundary value problem for the Helmholtz equation and its non-local modifications are studied and the inverse problems for finding its right-hand side are studied. The solutions of direct problems with nonlocal boundary conditions and inverse problems are constructed in explicit form as the sums of orthogonal series in the system of eigenfunctions of the one-dimensional Sturm-Liouville spectral problem. The corresponding uniqueness theorems for the solution of all set problems are proved. Sufficient conditions for boundary functions are established, which are guaranteed by the existence and stability theorems for the solution of the proposed new problem statements.

Keywords: Helmholtz equation, initial-boundary value problem, nonlocal problems, inverse problems, uniqueness, existence, series, stability, integral equations.

Received: 10th January, 2018 / Revised: 21st April, 2018 / Accepted: 11th June, 2018 / First online: 27th June, 2018

Competing interests. We have no competing interests.

Authors' contributions and responsibilities. Each author has participated in the article concept development and in the manuscript writing. The authors are absolutely

Research Article

3 ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:

Sabitov K. B., Martem'yanova N. V. On the question of the correctness of inverse problems for the inhomogeneous Helmholtz equation, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 269-292. doi: 10.14498/vsgtu1600 (In Russian). Authors' Details:

Kamil B. Sabitov © http://orcid.org/0000-0001-9516-2704

Dr. Phys & Math. Sci.; Professor, Dept. of Higher Mathematics1, Professor, Dept. of Physics,

Mathematics and Methods of Teaching2; e-mail: sabitov_fmf@mail.ru

Nina V. Martem'yanova http://orcid.org/0000-0001-8025-0234

Cand. Phys & Math. Sci.; Associate Professor; Dept. of Higher Mathematics3;

e-mail: ninamartem@yandex .ru

responsible for submitting the final manuscript in print. Each author has approved the

final version of manuscript.

Funding. This paper was written with the support of the Russian Foundation for Basic

Research (grant no. 16-31-00421_mol_a), Russian Foundation for Basic Research and Republic Bashkortostan (grant no. 17-41-020516_r_a).

References

1. Sabitov K. B., Martem'yanova N. V. A nonlocal inverse problem for a mixed-type equation, Russian Math. (Iz. VUZ), 2011, vol. 55, no. 2, pp. 61-74. doi: 10.3103/S1066369X11020083.

2. Sabitov K. B., Khadzhi I. A. The boundary-value problem for the Lavrent'ev-Bitsadze equation with unknown right-hand side, Russian Math. (Iz. VUZ), 2011, vol. 55, no. 5, pp. 35-42. doi: 10.3103/S1066369X11050069.

3. Sabitov K. B., Martem'yanova N. V. An inverse problem for an equation of elliptic-hyperbolic type with a nonlocal boundary condition, Siberian Math. J., 2012, vol. 53, no. 3, pp. 507-519. doi:10.1134/S0037446612020310.

4. Sabitov K. B., Martem'yanova N. V. The inverse problem for the Lavrent'ev-Bitsadze equation connected with the search of elements in the right-hand side, Russian Math. (Iz. VUZ), 2017, vol.61, no. 2, pp. 36-48. doi: 10.3103/S1066369X17020050.

5. Sabitov K. B., Martem'yanova N. V. Nonlocal inverse problem for the equation with the Lavret'ev-Bitsadze operator in a rectangular domain, Doklady AMAN, 2013, vol. 15, no. 2, pp. 73-86 (In Russian).

6. Sabitov K. B., Martem'yanova N. V. Nonlocal boundary value problem for the third order equation of mixed type, Contemporary Analysis and Applied Mathematics, 2015, vol. 3, no. 2, pp. 153-169. doi: 10.18532/caam.52633.

7. Krajko A. N., Makarov V. E., Pudovikov D. E. Construction of the bow wave through upstream computation of a supersonic flow by the method of characteristics, Comput. Math. Math. Phys., 1999, vol.39, no. 11, pp. 1814-1819.

8. Krajko A. N., P'yankov K. S. Construction of airfoils and engine nacelles that are supercritical in a transonic perfect-gas flow, Comput. Math. Math. Phys., 2000, vol.40, no. 12, pp. 1816-1829.

9. Lavrent'ev M. M., Romanov V. G., Shishatskii S. P. Nekorrektnye zadachi matematicheskoy fiziki i analiza [Ill-posed Problems of Mathematical Physics and Analysis]. Moscow, Nauka, 1980, 287 pp. (In Russian)

10. Lavrent'ev M. M., Reznitskaya K. G., Yakhno V. G. Odnomernye obratnye zadachi matematicheskoy fiziki [One-dimensional Inverse Problems of Mathematical Physics]. Novosibirsk, Nauka, 1982, 88 pp. (In Russian)

11. Romanov V. G. Obratnye zadachi matematicheskoy fiziki [Inverse Problems of Mathematical Physics]. Moscow, Nauka, 1984, 264 pp. (In Russian)

12. Romanov V. G., Kabanikhin S. I. Obratnye zadachi geoelektriki [Inverse Problems of Geo-electrics]. Moscow, Nauka, 1991, 304 pp. (In Russian)

13. Denisov A. M. Elements of the Theory of Inverse Problems, Inverse and Ill-Posed Problems Series, vol. 14. Utrecht, VSP Press, 1999, viii+272 pp. doi: 10.1515/9783110943252

14. Prilepko A. I., Orlovsky D. G., Vasin I. A. Methods for Solving Inverse Problems in Mathematical Physics, Monographs and Textbooks in Pure and Applied Mathematics, vol. 231. Boca Raton, CRC Press, 2000, xiv+709 pp. doi: 10.1201/9781482292985

15. Isakov V. Inverse problems for partial differential equations, Applied Mathematical Sciences, vol. 127. New York, Springer, 2006, xiii+346 pp. doi: 10.1007/0-387-32183-7

16. Kabanikhin S. I. Inverse and Ill-posed Problems, Inverse and Ill-posed Problems. Theory and Applications, vol.55. Utrecht, VSP Press, 2011, xvi+459 pp. doi: 10.1515/9783110224016

17. Solov'ev V. V. Inverse problems of source determination for the Poisson equation on the plane, Comput. Math. Math. Phys., 2004, vol.44, no. 5, pp. 815-824.

18. Solov'ev V. V. Inverse problems for elliptic equations on the plane: I, Differ. Equ., 2006, vol.42, no. 8, pp. 1170-1179. doi: 10.1134/S0012266106080118.

19. Solov'ev V. V. Inverse problems for elliptic equations on the plane: II, Differ. Equ., 2007, vol.43, no. 1, pp. 108-117. doi: 10.1134/s0012266107010119.

20. Solov'ev V. V. Inverse problems for equations of elliptic and parabolic type in Holder spaces, Thesis, Doctor of Phys.-Math. Sci. Moscow, 2014.

21. Orlovsky D. G. On an inverse problem for a second order differential equation in Banach space, Differ. Equ., 1989, vol.25, no. 6, pp. 730-738.

22. Orlovsky D. G. Determination of a parameter of an evolution equation, Differ. Equ., 1990, vol. 26, no. 9, pp. 1201-1207.

23. Orlovsky D. G. Inverse Dirichlet problem for an equation of elliptic type, Differ. Equ., 2008, vol.44, no. 1, pp. 124-134.

24. Sabitov K. B. Uravneniia matematicheskoy fiziki [Equations of mathematical physics]. Moscow, Fizmatlit, 2013 (In Russian).

i Надоели баннеры? Вы всегда можете отключить рекламу.