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

МАТЕМАТИКА

DOI: 10.18721/JPM.10308 УДК 517.958

ОБРАТНАЯ ЗАДАЧА ДЛЯ уРАВНЕНИЯ КОЛЕБАНИЙ МЕМБРАНЫ Д.С. Аниконов1, Я.А. Киприянов2, Д.С. Коновалова1

'Институт математики им. С.Л. Соболева СО РАН, г. Новосибирск, Российская Федерация;

2Новосибирский государственный университет, г. Новосибирск, Российская Федерация

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

Ключевые слова: математическое моделирование; уравнение колебаний мембраны; интегральная геометрия; дифференциальное уравнение

Ссылка при цитировании: Аниконов Д.С., Киприянов Я.А., Коновалова Д.С. Обратная задача для уравнения колебаний мембраны // Научно-технические ведомости СПБГПУ. Физико-математические науки. 2017. Т. 10. № 3. С. 84-94. DOI: 10.18721/JPM.10308

AN INVERSE PROBLEM FOR THE EQUATION OF MEMBRANE'S VIBRATION D.S. Anikonov1, Ya.A. Kipriyanov2, D.S. Konovalova1

'Sobolev Institute of Mathematics, Novosibirsk, Russian Federation;

2Novosibirsk State University, Novosibirsk, Russian Federation

A mathematical model for membrane's vibration process is used in this paper. The model is based on seeking a solution of the second-order hyperbolic differential equation. A new inverse problem is set and investigated in two versions. In the first version the known data are as follows: the coefficient defining a phase velocity, starting data of the Cauchy problem, the Cauchy problem solution on the two given planes, derivatives of the solution along the vector being normal to these planes. The challenge has been in localizing the support of the right-hand side of the equation for vibrations. The algorithm permitting to find the bounded domain containing the unknown support was designed. In the second version the algorithm refers to the

case where the coefficient defining a phase velocity is unknown but an interval of its possible values is known. A series of runs was performed to illustrate the proposed model.

Key words: simulation; equation of membrane's vibration; integral geometry; inverse problem

Citation: D.S. Anikonov, Ya.A. Kipriyanov, D.S. Konovalova, An inverse problem for the equation of membrane's vibration, St. Petersburg Polytechnical State University Journal. Physics and Mathematics. 10 (3) (2017) 84-94. DOI: 10.18721/JPM.10308

Введение, обозначения и постановка задачи

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

tt ( Х^Л^! x^x^ )

= f(t,xbx2), (x!,x2) е R2, t > 0,

(1)

где и(7,х1,х2) — смещение точки (х1,х2) мембраны в момент времени t относительно плоскости мембраны; /(7, х1, х2), Л е С2((0, ж) х Я2) — внешняя сила, приложенная к точке (х1, х2) мембраны в момент времени t, а — скорость распространения возмущения, причем а е Я, а > 0.

Пусть заданы следующие начальные условия:

ы(0, х1, х2) = ф(х1, х2), Щ (0, х1, х2) = у( х1, х2),

(2)

ф(х1,х2) е С2(Я2), у^, х2) е С 1(Я2).

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

Как указано, например, в работе [1, С. 705 — 712], для гиперболических уравнений и систем справедливо следующее свойство. Если правая часть при каждом фиксированном t финитна по х и также финитны начальные условия, то и решение задачи Коши оказывается финитным по х при каждом фиксированном t. Отметим, что для задачи (1), (2) этот же факт легко следует из формулы Пуассона.

Рассмотрим теперь задачу, обратную задаче (1), (2). Для этого сделаем некоторые

дополнительные предположения. Функция / предполагается не зависящей от t, т. е.

Л(^ х1, х2) = Л(х1, х2), /1 е С1(Я2),

причем /1 может принимать лишь неотрицательные значения, а множество точек, в которых функция Л положительна, является некоторой ограниченной областью О. Функции ф, у предполагаются финитными.

Везде в настоящей работе обозначение Е относится к некоторому прямоугольнику в плоскости t = 0, со сторонами, параллельными координатным осям Ох1, Ох2. Работа посвящена исследованию следующих двух задач при выполнении сделанных выше предположений.

Задача 1. Имея в качестве исходных данных коэффициент а, функции ф, у,

ы^, х1,0), Мх2(/, X 1,0), и(t,0, х2), 0, X2),

найти такой прямоугольник Е, содержащий в себе область О, чтобы каждая его сторона касалась границы области О.

Смысл этой задачи состоит в локализации носителя правой части уравнения (1), что с физической точки зрения означает приближенное определение места воздействия внешней силы на мембрану.

Рассмотрим также более общий случай, когда про коэффициент а известна только его принадлежность определенному отрезку [а1, а2]. Начальные данные здесь будем считать нулевыми.

Задача 2. Имея в качестве исходных данных интервал [ах, а2 ] для коэффициента а, функции ы(^ х1, 0), их (/, х1,0), ы(t, 0, х2), их 0, х2) и полагая ф = 0, у = 0, найти прямоугольник Е, содержащий в себе область О.

Отметим, что эта задача аналогична предыдущей, но исследование проводится в условиях большей неопределенности. Подразумевается, что при нахождении ис-

комого прямоугольника E мы должны стремиться к минимизации его размеров.

Теоретическое исследование поставленных проблем

Вначале приведем анализ задачи о локализации источника возмущения мембраны в случае, когда скорость распространения волны (коэффициент a) известна.

Теорема 1. При выполнении всех вышеуказанных предположений существует единственное решение задачи 1.

Доказательство. Произведя замену

Щ = Ц + ¿Ц^ Щ = — aux2,

мы из задачи (1), (2) получим видоизмененную задачу:

дt — а кдх1 дЩ2 1 дх2 J = /, (3а)

д Щ 2 д t + а ( д Щ2 1дх1 Л д щ, + —к дх2 = 0, (3Ь)

щ 1 (0, , х2) = у(х 1, х2) + афХ1 (, х2), (4а)

Щ2(0, х1, х2) = -афх2 (х1, х2). (4Ь)

Отметим, что при сделанных предположениях функции щ1, щ2 также оказываются финитными по х при каждом фиксированном ^

Для того чтобы уменьшить количество переменных в задаче (3), (4) до двух, употребим метод плоских средних, предложенный Р. Курантом [1, С. 705 - 712]. Для этого воспользуемся следующим свойством: интеграл от производной финитной функции по некоторой переменной вдоль числовой оси, соответствующей этой же переменной, равен нулю. Следуя этому методу, проинтегрируем уравнения системы (3) по переменной х1 от минус бесконечности до плюс бесконечности и введем следующие обозначения:

ад

| Щ^, х1, х2^1 = х2),

-ОТ

ад

| х1, х2)^х1 = х2).

—ад

Тогда из задачи (3),(4), пользуясь усло-

вием, что функции w1, w2 являются финитными и, следовательно,

ад (,X!, Х2)

— дх,

—ад 1

-ёх, = 0,1 = 1,2,

получим следующую задачу:

+ а = g(t, x2),

дt дх2

—- + а —- = 0,

дt дх0

(5а) (5Ь)

где

г1(0,х2) = | у(х1,х2)йх1, (6а)

—ад

ад

^ (0, х2) =| -афх2 (х1, х2 )йх1, (6Ь)

—ад

ад

g^, х2) = | /(t, х1, х2)йх1.

—ад

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

¿1 = V + ¿2 = V — получим задачу в таком виде:

+ а^ = g(t, х2),

дt дх2

— а ^ = g(t, х2^

дt дх0

(7а) (7Ь)

¿1(0, х2) = | [у(х-, х2) — афх2(х1, х2)]ах1, (8а)

—ад

ад (8Ь)

¿2 (0, х2) =| [у(х1, х2) + афх 2 (х1, х2 Жх.

—ад

Таким образом, мы свели задачу (1), (2) к задаче для гиперболической системы с двумя независимыми переменными.

Будем рассматривать полученные уравнения вместе с начальными данными по отдельности. Для определенности будем исследовать задачу для уравнения относительно неизвестной переменной ¿2. Заметим, что заданных в постановке задачи дополнительных условий и(^ ху,0), их (7, ху,0) достаточно для того, чтобы вычислить £2(/, 0). Действительно, значения £2(/, 0), определяются функциями v1(t, 0), у2(/, 0), имеющими вид

= | , х1,0)1х1,

—ж

ж

0) = | ^2 (t, х1,0)^^1.

—ж

Напомним, что

,х1,х2) = ыt(t,х1, х2) + аых (t,х1,х2), , х!, х2) = —аых2 (/, хх, х2),

т. е.

ж

П^, 0) =| (щ (t, х1,0) + аых1 (t, х1, 0))^х1,

—ж

ж

12 (*, 0) = — | аых2 (/, х1, 0)1х 1.

—ж

Таким образом, наличия значений ы(7, х1,0), их ^, х1,0) достаточно для того, чтобы вычислить z2 ^, 0).

В работе [2, С. 95] представлена формула, в которой решение задачи Коши для гиперболической системы с двумя независимыми переменными выражается через данные Коши, и интеграл от правой части вдоль соответствующей характеристики. Применяя эту формулу, мы получим следующее выражение для , 0) :

t ж

z2( t,0) = z2(0, at ) + J gdl,

(9)

где Ь — отрезок (элемент соответствующей характеристики), соединяющий в плоскости (^х2) точки (0, а0 и (7,0); (11 — элемент длины вдоль отрезка Ь.

Рассмотрим правую часть выражения (9). Согласно начальному условию (8Ь),

ж

£2(0, &) = | [у(х1, &) + аф (х1, а)](к1.

—ж

Рассмотрим теперь интеграл в правой части выражения (9). Выразим через 1 т, т е [0, t] :

((I = V1 + а2 (1 т.

Тогда интеграл в правой части выражения (9) можно записать следующим образом: _t

|g(t, х2)11 = V1 + а2 |g(т, а(t — т))1 т =

Vi + a2 J J f (т, хг, a(t - x))dxldт.

0 -ж

Сделав еще одну замену переменных, a(t - т) = перепишем последний интеграл в равенстве выше:

л/i + a2 J J f (т, xi, a(t - T))dxidт =

0 -ж Г 2 at ж

Vi + a

- I I j I ' -

a

J J f [t - a Xi, dd^d Ç.

0 -ж

Таким образом, мы преобразовали выражение (9) к виду

0) = | [у(х1, ^) + аф (х1, Ш)]1х1 +

—ж

^л/т+1 л лг—ах1,

а- V а- у

0 —ж 4 У

В последнем равенстве перенесем слагаемое

ж

| [у(х1, а) + афх2 (х1, а)]1х1

—ж

в левую часть и воспользуемся предположением о том, что функция / не зависит от ^

Z2(t, 0) - J [y(Xi, at) + ajx2(Xi, at)]dXi

i 2 at ж

—J J fi(Xi,^)dXid^

(i0)

0 -ж

Проделывая выкладки, аналогичные приведенным выше для равенств (7), (8) относительно переменной получим следующее равенство, аналогичное (10):

zi (t, 0) - J [y(Xi, -at) - ajX2 (xi , -at)]dxi

Vi + a2

0 ж

( ii)

J J fi(Xi, %)dXid

Рассмотрим теперь возможные случаи расположения области О. Для простоты мы предполагаем, что область О не пересекает координатные оси.

Пусть область О расположена в полупло-

t ж

-at -ж

L

0

скости х2 > 0. Рассмотрим уравнение (10). Ранее нами было отмечено, что функция ¿2 (, 0) однозначно определяется данными задачи, поэтому левая часть равенства (10) известна, а правая представляет собой интеграл от функции / по полосе, длина которой (вдоль переменной ху) бесконечна, а ширина равна at. Заметим, что с увеличением t будет расти и ширина полосы. Для краткости обозначим правую часть равенства (10) через 12^). Поскольку область О расположена в полуплоскости х2 > (3, при некотором значении t = Ту верхняя граница полосы коснется границы области О. При последующих значениях t, вплоть до некоторого значения t = Т2, значение функции 12 (7) будет возрастать (здесь мы пользуемся предположением о том, что функция / является неотрицательной). При t > Т2 значение функции ) будет одним и тем же, равным 12(Т2).

Вернемся к задаче (7), (8). Проведем две характеристические прямые, соответствующие уравнению (7Ь), через точки (Т-,0) и (Т2,0),, соответственно. Эти прямые пересекут ось х2 в двух точках: аТу и аТ2. Следовательно, область О содержится в полосе

^ = 0, х1 е Я1, х2 е [аТ1,аТ2]}.

Пусть теперь область О расположена в полуплоскости х2 < 0. Рассмотрим равенство (11). Обозначим его правую часть через К?). Заметим, что /у(0, как и 12 (V), является интегралом от функции / по полосе бесконечной длины, ширина которой равна at, только в данном случае при увеличении t будет меняться нижняя граница полосы, а не верхняя. Определим значения t = Ту, t = Т2, Т2 > Т, при которых нижняя граница полосы касается границы области О. Проведем две характеристические прямые, соответствующие уравнению (7а), через точки (Т-, 0) и (Т2,0). Эти прямые пересекут ось х2 в двух точках: —аТу и —аТ2. Следовательно, область О содержится в полосе

{t = 0, х1 е Я1, х2 е [—аТх, —аТ2]}.

Итак, нами были найдены точки на оси х2, соответствующие границам полосы, внутри которой содержится область О. Обо-

значим найденные значения как X], (пусть для определенности Х2 < Х| ).

Вернемся к системе (3) и теперь, вместо интегрирования по переменной х1, проинтегрируем уравнения системы (3) по переменной х2 от минус-бесконечности до плюс-бесконечности. Далее, проводя рассуждения, полностью аналогичные приведенным выше, получим равенства, аналогичные равенствам (10), (11), правая часть которых будет представлять собой интеграл по полосе, длина которой (на этот раз вдоль переменной х2) бесконечна, а ширина равна at.

Рассматривая эти уравнения при различных значениях переменной t, определим значения Ту, Т2, при которых полосы будут касаться области О. Проведя через точки (0, Ту), (0, Т2) соответствующие характеристические прямые, получим в плоскости (?, х,) некоторые значения X",1, X,2 (пусть Х{ < X2), при которых эти прямые пересекают ось ху = 0.

Теперь в качестве искомой локализации Е для области О можно взять прямоугольник

{(хх2) е [Xт, X2] х[Х], Х22]}.

Из построения ясно, что этот прямоугольник единственный. Тем самым задача локализации решена для случая, когда известен коэффициент а.

Таким образом, теорема 1 доказана.

Далее проведем теоретическое исследование задачи 2.

Теорема 2. Пусть а е [ау, а2], где —

известные положительные вещественные числа, ф = 0, у = 0. Тогда в предположениях, принятых для теоремы 1, существует алгоритм, который позволяет определить область Е для задачи 2.

Доказательство. Проведем доказательство теоремы для случая, когда область О расположена в квадранте

{(ху,х2) : ху > 0, х2 > 0}.

Остальные случаи расположения области О рассматриваются аналогично. Как и при доказательстве теоремы 1, обратимся к равенству (10). Поскольку по условию теоремы ф = 0, у = 0, левая часть в этом

равенстве нам по-прежнему известна. Следовательно, рассуждая точно так же, как и при доказательстве теоремы 1, можно определить значения Т1, Т2, при которых соответствующие полосы интегрирования будут касаться области О. Ясно, что при наших предположениях

Т1а1 < Т1а < Т2а < Т2а2,

т. е. полоса

{I = 0, х1 е Я1, х2 е [аТх,аТ2]},

содержащая область О, содержится в полосе

{I = 0, х1 е Я1, х2 е [а1Т1, а2Т2]}.

Продолжим действовать аналогично доказательству теоремы 1, а именно — вернемся к системе (3), проинтегрируем ее уравнения от -да до +<» по переменной х2; тогда получим выражение, аналогичное равенству (10), и определим из него значения I = Т,Т2, при которых прямые х1 = аТ1, х2 = аТ2 будут касаться области О. Соответствующая полоса

{I = 0, х1 е [агГ1, аТ2], х1 е Я1},

содержащая О, находится в множестве

{I = 0, х1 е [а1Т1, а2Т2], х2 е Я1},

а пересечение полос

{I = 0, х1 е [а1Т1, а2Т2], х2 е Я1}

и

{I = 0, х1 е Я1, х2 е [а1Т1, а27^]}

является искомым прямоугольником.

Как видно, размеры оболочки Е зависят от интервала Ц,а2]. В частности, если интервалы [ах, а2 ] стягиваются в точку, т. е. а2 - а1 ^ 0, то соответствующие прямоугольники стремятся к прямоугольнику Е, являющемуся решением задачи 1, размеры которого минимальны.

Теорема 2 доказана.

Отметим, что доказательства теорем 1 и 2, ввиду их конструктивности, могут рассматриваться как численные алгоритмы, что также подтверждается приведенными ниже численными экспериментами.

Замечание 1. С физической точки зрения функция /1(х), х = (х1, х2) означает приме-

нение силы на участке ее носителя. Возможно, более естественным было бы считать функцию /1(х) разрывной. Однако и наш подход, где /1(х) — гладкая функция, тоже оправдан с физической точки зрения. Действительно, разрывную функцию можно приближенно заменить гладкой функцией, изменяя ее только в в-окрестности линии ее разрыва. При этом, конечно, производные этой функции могут принимать лишь очень большие значения в упомянутой в -окрестности. Но в нашем алгоритме производные от /1(х) не используются и поэтому не влияют на получение искомых оболочек. Вышеизложенное хорошо проиллюстрировано на приведенных в статье численных экспериментах.

Замечание 2. Рассмотренная задача соответствует неограниченной мембране, что несколько снижает ее физическое содержание. Однако, если учесть упомянутую финитность функции и(1,х), то, задавая и (^, х) = 0 для значений х, достаточно больших по модулю, мы получаем задачу для мембраны больших размеров с закрепленными краями. Решение указанной задачи совпадает с решением задачи для неограниченной мембраны при tе (О,!1*]. Еще отметим, что для простоты формулировки в задачах 1, 2 предполагаются известными определенные функции, однако фактически используются только интегралы от них, т. е. объем необходимой информации несколько меньше, чем утверждают теоремы 1 и 2.

Что касается истории вопроса об исследовании обратных задач для гиперболических уравнений, то она весьма обширна и не может быть представлена сколько-нибудь полно в этой небольшой работе. Укажем только некоторые публикации этого направления [3 — 12]. Также отметим, что существенный вклад в эту теорию принадлежит сибирской школе условно-корректных задач под руководством М.М. Лаврентьева. Часть соответствующих результатов можно найти в монографии [13], где имеется обширная библиография. В вышеуказанных работах преобладали постановки обратных задач о нахождении коэффициентов или правых частей дифференциальных уравнений.

Специфика нашей работы состоит в новом подходе, когда определяется только часть неизвестной информации, но и это позволяет получать новые результаты и способствует улучшению качества ограничений на известные данные. Из последних работ отметим статьи [14 — 16], в которых используются некоторые математические приемы, частично аналогичные нашим.

Численные эксперименты

Как видно из доказательств теорем 1 и 2, исходная задача сводится к следующей проблеме.

Задача интегральной геометрии. Требуется указать прямоугольник Е, соответствующий решениям задач 1, 2, если известны интегралы от /(х) по полоскам

{(х2, х2) е [0, at] х [—ад, ад]}, {(х2, х2) е [—а^ 0] х [—ад, ад]}, {(х2, х2) е [—ад, ад] х [0, а^}, {(х2, х2) е [—ад, ад] х [—а^ 0]}, t е [0, ад).

Отметим, что процедура сведения исходной задачи к указанной проблеме интегральной геометрии осуществлялась с помощью однократного дифференцирования, интегрирования и построения определенных линейных комбинаций. Эти действия с точки зрения численных расчетов легко реализуемы. Поэтому в численных экспериментах мы решили ограничиться тестированием задачи интегральной геометрии; эту задачу можно отнести к новой составляющей выполненного исследования.

Напомним, что если коэффициент а известен, то прямоугольник Е, построенный при доказательстве теоремы 1, имеет стороны, которые параллельны осям координат и касаются области О (носителя функции

/1(х) ).

Процедура численного эксперимента.

Данный эксперимент проводился следующим образом. Сначала на равномерной сетке (двумерной) с заданным шагом И вычислялись значения функции f (х). Затем на одномерной сетке с тем же шагом численно находились значения функций

g(хг) = | /у(х-,

—ад ад

#(х-) = | /у(х-, х2)йх2.

—ад

Далее осуществлялось численное интегрирование функций g(х2) и х2) по соответствующим независимым переменным от нуля до некоторого граничного значения в положительном и отрицательном направлениях.

Стороны прямоугольника Е находились следующим образом. Сначала фиксировалось некоторое положительное число 5 > 0. Если для некоторого значения X- на оси х2 впервые выполнялось условие

x2+h

x;

| g(х2^2 — | g(х2^х7

> 5

(данное условие означает, что полоса, по которой производится интегрирование функции /2 (х), коснулась границы области О), то мы считали, что одна сторона прямоугольника Е найдена и ее х2-координата равна X-.

Далее, после нахождения X-, если для некоторого значения x; на оси х2 впервые выполнилось условие

X2;+И X,2

| g(х2^х2 — | g(х2^х2

<5

(данное условие означает, что переменная граница полосы снова коснулась границы области О и эта область теперь целиком содержится в указанной полосе), то мы считали, что другая сторона прямоугольника Е найдена и ее х2-координата равна X;.

Аналогичным образом находились стороны прямоугольника Е, параллельные оси х2. Число 5 определялось путем численных экспериментов. Физически это число можно интерпретировать как предельную погрешность измерительной аппаратуры.

В приведенных примерах функция /2 (х) строилась путем свертки некоторой разрывной функции с бесконечно гладкой финитной функцией («шапочкой») юе (х), е > 0,

определенной, например, в работе [17, С. 86].

Конкретизация процедуры. Зафиксируем е > 0 и определим функцию юе (х) равенствами

юе(х) = сеехр(—е2 / (е2 — | х |2)), | х |< е; юе(х) = 0, | х |> е,

где число се выбрано так, чтобы интеграл от юе (х) по кругу | х |< е был равен единице.

Все тесты проводились в квадрате

[— 10, 10] х [— 10, 10].

Во всех тестах использовались следующие значения параметров: И = 0,01, е = 0,04, 5 = 0,001. В первых трех тестах предполагалось что а = 1, а носитель функции /2(х) выбирался таким образом, чтобы искомая область Е в идеале представляла собой квадрат с вершинами

(2,96, 4,96), (2,96, 7,04),

(5,04, 7,04), (5,04, 4,96).

В тесте 4 мы предположили, что сам параметр а неизвестен, но известно, что его значение принадлежит интервалу [0,9; 1,1].

Носитель функции /2(х) был выбран таким образом, чтобы область Е представляла собой прямоугольник с вершинами

(2,42, 4,06), (2,42, 8,60),

(6,16, 8,60), (6,16, 4,06).

В действительности, при работе алгоритма полученный прямоугольник Е несколько отличается от точного варианта вследствие погрешностей.

Тест 1. Здесь при тестировании мы положили /1(х) = /(х) * 0>е (х), где

/ (х х ) -I1' (х- — 4)2 + (х2 — ^ * 1;

/1( ^ 2 |0, (ху — 4)2 + (х2 — 6)2 > 1.

Результаты численного эксперимента представлены на рис. 1, а. Найденный прямоугольник Е имеет следующие вершины: Ау = (3,00, 5,00), в2 = (3,00, 7,01), С2 = (5,01, 7,01), £21 = (5,01, 5,00).

Тест 2. При данном тестировании мы считаем, что

/у(х) = (/2(ху) * ®е(х1))(/2(х2) * ®е(х2)),

где

/2(х2) Л1' х1 е [3'5];

1 [о, ху е [3,5],

/2(х2) = ^ х2 е [5'7]; [о, х2 е [5,7].

Результаты численного эксперимента представлены на рис. 1, Ь.

Найденный прямоугольник Е имеет следующие вершины:

А = (2,98, 4,98), В2 = (2,98, 7,03), С2 = (5,03, 7,03), Б2 = (5,03, 4,98).

Тест 3. В данном тестировании мы положили /2(х) = /3(х) * гае(х), где

/ (х , ) = 0,25 < (х- — 4)2 + (х2 — 6)2 < 1;

[0, иначе.

Результаты численного эксперимента представлены на рис. 1, с. Найденный прямоугольник Е имеет следующие вершины:

А3= (3,00, 5,00), В3 = (3,00, 7,01), С3 = (5,01, 7,01), Бъ = (5,01, 5,00).

Можно заметить, что в тестах 1 и 3 был восстановлен один и тот же прямоугольник Е.

Тест 4. В данном тестировании мы взяли /2(х) из теста 1. Результаты представлены на рис. 1, ¿. Найденный прямоугольник Е имеет следующие вершины:

А4 = (2,45, 4,09), В4 = (2,45, 8,56), С4 = (6,12, 8,56), л4 = (6,12, 4,09).

Замечание 3. Отметим, что при проведении численного эксперимента в работе мы не встретились с какими-либо затруднениями. Однако, поскольку рассмотренные обратные задачи имеют физический смысл, для полного анализа алгоритмов следует проверить их устойчивость и, возможно, предложить вариант их регуляризации. Кроме того, при проведении численных экспериментов целесообразно использовать исходные данные с погрешностью (шумом). Указанные аспекты могут быть предметом последующего самостоятельного исследования.

Замечание 4. Важно подчеркнуть, что в этой работе главным для нас является

а)

Ь)

в\ С,

А А

1 2 3 4 5 6 7

В3 Сз

0

¿ъ А

о)

в2 А

а2 А

1 2 3 4 5 6 7

В<

1 2 3 4 5 6 7

¡А.

1 2 3 4 5 6 7

Рис. 1. Результаты численного эксперимента по нахождению прямоугольника Е с помощью тестов

1 (а), 2 (Ь), 3 (с), 4 (О)

не полученный результат, а демонстрация нового метода, который, по нашему мнению, имеет определенные перспективы для исследования более общих обратных задач. В частности, представленный здесь метод можно применить к исследованию задач с разрывной правой частью. В соответствующих обратных задачах нужно будет локализовать линию разрыва. Если при этом начальные данные (функции ф и у) будут гладкими, то их конкретных значений в таких задачах, по-видимому, не потребуется.

Заключение

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

Работа выполнена при поддержке программы Президиума РАН, номер проекта 0314-2015-001013-01-275, а также при поддерж-

ке Российского фонда фундаментальных исследований, номер проекта 16-31-00112мол_а.

список литературы

1. Курант р. Уравнения с частными производными. М.: Мир, 1964. 830 с.

2. Петровский И.Г. Лекции об уравнениях с частными производными. 3-е изд. М.: Наука, 1961. 401 с.

3. Denisov А.М. Determination of a nonlinear coefficient in a hyperbolic equation for the Coursat problem // J. of Inverse and Ill-Posed Problems. 1998. Vol. 6. No. 4. Pp. 327-334.

4. Scheglov A.Yu. The inverse problem of determination of a nonlinear course in a hyperbolic equation // J. of Inverse and Ill-Posed Problems. 1998. Vol. 6. No. 6. Pp. 625-644.

5. Яковлева Ю.О. Характеристическая задача для системы гиперболических дифференциальных уравнений третьего порядка общего вида с некратными характеристиками // Вестник Самарского гос. техн. ун-та. Сер. Физ.-мат. науки. 2013. № 1(30). С. 99-106.

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

7. Щеглов А.Ю. Приближенное решение обратной коэффициентной задачи для квазилинейного уравнения гиперболического типа // Вестник МГУ. Сер. 15. Вычисл. математика и физика. 2004. № 2. С. 13-19.

8. Friedman A., Reitich F. Hyperbolic inverse problem arising in the evolution of combustion aerosol // Archive for Rational Mechanics and Analysis. 1990. Vol. 110. No. 4. Pp. 313-350.

9. Prilepko A.I., Orlovsky D.G., Vasin I.A. Methods

for solving inverse problems in mathematical physics. New York: Marcel Dekker, XII, 2000. 709 p.

10. Puel J.P., yamamoto M. Generic well-posedness in a multidimensional hyperbolic inverse problem // J. of Inverse and Ill-Posed Problems. 1997. Vol. 5. No. 1. Pp. 55-83.

11. yamamoto M. Lipschitz stability for a hyperbolic inverse problem by finite local boundary data// Appl. Anal. 2006. Vol. 85. No. 10. Pp. 1219-1243.

12. Weston V.H., Krueger R.J. On the inverse problem for a hyperbolic dispercive partial differential equation // J. Math. Phys. 1972. Vol. 13. Pp. 1952-1956.

13. лаврентьев М.М., Савельев л.Я. Теория операторов и условно-корректные задачи. Новосибирск: Изд-во Института математики СО РАН, 1999. 912 c.

14. Derevtsov E.Yu., Maltseva S.V., Svetov I.E. Mathematical models and algorithms for reconstruction of singular support of functions and vector fields by tomographic data // Eurasian J. Math. Comp. Applications. 2015. Vol. 3. No. 4. Pp. 4-44.

15. Коновалова Д.С. Локализация линии разрывов правой части дифференциального уравнения // Сиб. журн. индустр. матем. 2016. T. 19. № 1. С. 62-72.

16. Kazantsev S.G. Singular value decomposition for the cone-beam transform in the ball // J. of Inverse and Ill-Posed Problems. 2015. Vol. 23. No. 2. Pp. 173-185.

17. Владимиров В.С. Уравнения математической физики. 4-е изд. М.: Наука, 1981. 512 c.

Статья поступила в редакцию 29.05.2017, принята к публикации 03.07.2017.

СВЕДЕНИЯ ОБ АВТОРАх

АНИКОНОВ Дмитрий Сергеевич — доктор физико-математических наук, заведующий лабораторией условно-корректных задач Института математики им. С.Л. Соболева СО РАН, г. Новосибирск, Российская Федерация.

630090, Российская Федерация, г. Новосибирск, пр. Академика Коптюга, 4 anik@math.nsc.ru

КИПрИЯНОВ Ярослав Андреевич — аспирант кафедры дифференциальных уравнений Новосибирского государственного университета, г. Новосибирск, Российская Федерация. 630090, Российская Федерация, г. Новосибирск, ул. Пирогова, 2а. yaroslav.kipriyanov@gmail.com

КОНОВАлОВА Дина Сергеевна — кандидат физико-математических наук, старший научный сотрудник лаборатории условно-корректных задач Института математики им. С.Л. Соболева СО РАН, г. Новосибирск, Российская Федерация.

630090, Российская Федерация, г. Новосибирск, пр. Академика Коптюга, 4 dsk@math.nsc.ru

REFERENCES

[1] R. Kurant, Uravneniya s chastnymi proizvodnymi [Partial differential equations], Moscow, Mir, 1964.

[2] I.G. Petrovskiy, Lektsii ob uravneniyakh s chastnymi proizvodnymi [Lectures on partial differential equations], 3d ed., Moscow, Nauka, 1961.

[3] A.M. Denisov. Determination of a nonlinear coefficient in a hyperbolic equation for the Coursat problem, J. of Inverse and Ill-Posed Problems. 6 (4) (1998) 327-334.

[4] A.Yu. Scheglov, The inverse problem of determination of a nonlinear course in a hyperbolic equation, J. of Inverse and Ill-Posed Problems. 6 (6) (1998) 625-644.

[5] Yu.O. yakovleva, Kharakteristicheskaya zadacha dlya sistemy giperbolicheskikh differentsialnykh uravneniy tretyego poryadka obshchego vida s nekratnymi kharakteristikami [A characteristic problem for a system of the third-order hyperbolic differential equations of a common mode with aliquant characteristics], Vestnik Samarskogo gosudarstvennogo tekhnicheskogo universiteta, Ser. fiz.-mat. nauki. No. 1(30) (2013) 99-106.

[6] D.G. Orlovskiy, Ob odnoy obratnoy zadache dlya differentsialnogo uravneniya vtorogo poryadka v banakhovom prostranstve [On an inverse problem for the second-order differential equation in the Banach space], Differentsialnyye uravneniya. 25 (6) (1989) 1000-1009.

[7] A.Yu. Shcheglov, Priblizhennoye resheniye obratnoy koeffitsiyentnoy zadachi dlya kvazilineynogo uravneniya giperbolicheskogo tipa [An approximate solution of the inverse coefficient problem for a quasilinear hyperbolic equation], Vestnik MGU. Ser. 15, Vychislitelnaya Matematika i Fizika. (2) (2004) 13-19.

[8] A. Friedman, F. Reitich, Hyperbolic inverse

Received 29.05.2017, accepted 03.07.2017.

problem arising in the evolution of combustion aerosol, Archive for Rational Mechanics and Analysis. 110 (4) (1990) 313-350.

[9] A.I. Prilepko, D.G. Orlovsky, I.A. Vasin, Methods for solving inverse problems in mathematical physics, NY, Marcel Dekker. xii, 2000.

[10] J.P. Puel, M. yamamoto, Generic well-posedness in a multidimensional hyperbolic inverse problem, J. of Inverse and Ill-Posed Problems. 5(1) (1997) 55-83.

[11] M. yamamoto, Lipschitz stability for a hyperbolic inverse problem by finite local boundary data, Appl. Anal. 85 (10) (2006) 1219-1243.

[12] V.H. Weston, R.J. Krueger, On the inverse problem for a hyperbolic dispercive partial differential equation, J. Math. Phys. 13 (1972) 1952-1956.

[13] M.M. Lavrentyev, L.ya. Savelyev, Teoriya operatorov i uslovno-korrektnyye zadachi [The theory of operators and conventionally wellset problems], Novosibirsk, Izdatelstvo Instituta matematiki SO RAN, 1999.

[14] E.Yu. Derevtsov, S.V. Maltseva, I.E. Svetov, Mathematical models and algorithms for reconstruction of singular support of functions and vector fields by tomographic data , Eurasian J. Math. Comp. Applications. 3 (4) (2015) 4-44.

[15] D.S. Konovalova, Lokalizatsiya linii razryvov pravoy chasti differentsialnogo uravneniya [Localization of a line of discontinuities in the right side of a differential equation], Sib. Zhurn. Industr. Matem. 19 (1) (2016) 62-72.

[16] S.G. Kazantsev, Singular value decomposition for the cone-beam transform in the ball, J. of Inverse and Ill-Posed Problems. 23 (2) (2015) 173-185.

[17] V.S. Vladimirov, Uravneniya matematicheskoy fiziki [Equations of mathematical physics], 4-th ed., Moscow, Nauka, 1981.

THE AUTHORS

ANIKONOV Dmitriy S.

Sobolev Institute of Mathematics

4 Acad. Koptyug Ave., Novosibirsk, 630090, Russian Federation anik@math.nsc.ru

KIPRIYANOV Yaroslav A.

Novosibirsk State University

2a, Pirogov St., Novosibirsk, 630090. Russian Federation yaroslav.kipriyanov@gmail.com

KONOVALOVA Dina S.

Sobolev Institute of Mathematics

4 Acad. Koptyug Ave., Novosibirsk, 630090, Russian Federation dsk@math.nsc.ru

© Санкт-Петербургский политехнический университет Петра Великого, 2017