CC BY
4
Владикавказский математический журнал 2023, Том 25, Выпуск 3, С. 111-122
УДК 512.5
DOI 10.46698/s0378-3993-5022-o
ВОССТАНОВЛЕНИЕ БЫСТРО ОСЦИЛЛИРУЮЩИХ МЛАДШЕГО КОЭФФИЦИЕНТА И ИСТОЧНИКА ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ ПО ЧАСТИЧНОЙ АСИМПТОТИКЕ РЕШЕНИЯ*
В. Б. Левенштам1'2'3
1 Южный федеральный университет, Россия, 344090, Ростов-на-Дону, ул. Мильчакова, 8 А; 2 Математический институт им. В. А. Стеклова, Россия, 119991, Москва, ул. Губкина, 8; 3 Южный математический институт — филиал ВНЦ РАН, Россия, 362025, Владикавказ, ул. Ватутина, 53 E-mail: vlevenshtam@yandex.ru
Аннотация. Рассмотрена задача Коши для одномерного гиперболического уравнения, младший коэффициент и правая часть которого осциллируют по времени с большой частотой, причем амплитуда младшего коэффициента мала. Исследован вопрос о восстановлении не зависящих от пространственной переменной сомножителей этих быстро осциллирующих функций по заданной в некоторой точке пространства частичной асимптотике решения. Для различных эволюционных уравнений многочисленные задачи об определении неизвестных источника и коэффициентов без предположения их быстрой осцилляции исследованы в классической теории обратных задач, где в дополнительном условии (условии переопределения) фигурирует точное решение прямой задачи. Вместе с тем уравнения с быстро осциллирующими данными нередко встречаются при моделировании физических, химических и других процессов, протекающих в средах, подверженных высокочастотному воздействию электромагнитных, акустических, вибрационных и т. п. полей. Это свидетельствует об актуальности задач теории возмущений о восстановлении неизвестных функций в высокочастотных уравнениях. В работе используется неклассический алгоритм решения такого рода задач, который лежит на стыке двух дисциплин — асимптотические методы и обратные задачи. В условии переопределения при этом участвует не (точное) решение, как в классике, а лишь его частичная асимптотика определенной длины.
Ключевые слова: гиперболическое уравнение, быстро осциллирующие данные, асимптотические
методы, обратная задача.
AMS Subject Classification: 35B40.
Образец цитирования: Левенштам В. Б. Восстановление быстро осциллирующих младшего коэффициента и источника гиперболического уравнения по частичной асимптотике решения // Вла-дикавк. мат. журн.—2023.—Т. 25, вып. 3.—C. 111-122. DOI: 10.46698/s0378-3993-5022-o.
Введение
В работе поставлена и решена асимптотическая задача о (точном) восстановлении неизвестных, не зависящих от пространственной переменной сомножителей быстро осциллирующих по времени источника и младшего коэффициента одномерного волнового уравнения с младшим членом по частичной асимптотике решения.
#Исследование выполнено при финансовой поддержке гранта Российского научного фонда, проект № 20-11-20141.
© 2023 Левенштам В. Б.
Для различных эволюционных уравнений многочисленные задачи об определении неизвестных источника и коэффициентов без предположения их быстрой осцилляции исследованы в теории обратных задач (об этой теории см., например, [1-3]), где в дополнительном условии (условии переопределения) фигурирует точное решение прямой задачи. Вместе с тем уравнения с быстро осциллирующими данными нередко встречаются при моделировании физических, химических и других процессов, протекающих в средах, подверженных высокочастотному воздействию электромагнитных, акустических, вибрационных и т. п. полей. Например, уравнение теплопроводности для стержня, через который пропускается высокочастотный электрический ток, вследствие чего в нем возникают высокочастотные тепловые источники; уравнение колебаний струны или стержня при воздействии на них высокочастотных внешних сил (см. задачу В. Н. Челомея о высокочастотных сжатиях-растяжениях стержня, стабилизирующих его прямолинейную форму); уравнение переноса вещества в несжимаемой жидкости при наличии высокочастотных источников; уравнение тепловой конвекции жидкости в сосуде при его высокочастотных вибрациях (см. [4-6]) и т. д. Все это свидетельствует об актуальности задач теории возмущений о точном восстановлении неизвестных функций в высокочастотном уравнении с помощью нескольких первых членов асимптотики его решения.
В данной работе рассматривается задача Коши для одномерного гиперболического уравнения, младший коэффициент и правая часть которого осциллируют по времени с большой частотой ш, причем амплитуда младшего коэффициента мала — пропорциональна ш-1. Исследован вопрос о восстановлении этих быстро осциллирующих функций (точнее, их не зависящих от пространства высокочастотных сомножителей) по заданной в некоторой точке пространства четырехчленной асимптотике решения. Используется неклассический алгоритм решения такого рода задач, который применялся нами в случае параболических и гиперболических уравнений с неизвестным источником [7-9]. Этот алгоритм лежит на стыке двух дисциплин — асимптотические методы и обратные задачи. В связи с этим решение задачи о восстановлении неизвестных разбивается на две части, относящиеся к соответствующим дисциплинам, и нужно следить за согласованностью (например, в смысле гладкости функций) указанных частей. В условии переопределения при этом участвует не (точное) решение, как в классике, а лишь его частичная асимптотика определенной длины; при этом необходимая информация задается не для всех коэффициентов этой асимптотики, а лишь для некоторых «базисных» функций, которые являются либо соответствующими коэффициентами указанной асимптотики, либо их быстрыми составляющими. Так, в данной работе в постановке задачи о восстановлении (в условии переопределения) участвуют коэффициенты четырехчленной асимптотики, вычисленные в фиксированной точке пространства — это функции до(£), 91 (¿), 92(¿) + А1 (¿, и q3(t) + А2(£, ш£), но непосредственно задаются лишь функции 90(^, 91^), А]_{Ь,т) и А2(^т). Остальные функции произвольным образом задавать нельзя, так как они зависят от заданных. При такой постановке неизвестные быстро осциллирующие функции исходной задачи однозначно и эффективно определяются.
Результаты данной работы без доказательств изложены, в основном, в [10].
1. Построение асимптотики (прямая задача)
Пусть Т > 0, П = {(х^) : х € К, t € [0;Т]}, П = {(х^,т) : (х^) € П, т € [0, то)}. В полосе П рассмотрим задачу Коши для гиперболического уравнения с младшим членом
и большим параметром ш вида
и(х, 0) = ^о(ж); (1.1)
Здесь функции f (х, Ь, т) и а(х, Ь, т) определены на множестве О и 2п-периодичны по т, а функции (10(х) и (1\(х) определены на прямой К. Все рассматриваемые в работе функции считаются вещественными.
Для того чтобы описать условия гладкости, налагаемые на функции а и f, определим следующие линеалы. Для любого целого неотрицательного числа т символом Ст(П) будем обозначать пространство заданных на П непрерывных функций и(х,Ь), обладающих непрерывными на П производными 9 , 0 ^ г + ] ^ т. Символом Ст'°(О) бу-
дем обозначать линейное пространство заданных на О непрерывных функций ь(х,Ь,т),
4 4 производные —дх^з > и ^ г + 3 ^ т- Ьудем еще рассмат-
ривать аналогичный линеал Ст(К). Отметим, что функции из указанных линеалов и их производные могут быть неограниченными.
Функции f и а представим в виде:
f(х,г,т) = ^(х,г) + ф(х,г,т), а(х,ь,т) = Л(х,г) + ъ(х,ь,т), выделив в них средние относительно т (на периоде):
2п
^(М) = (¡(х,г,т)) = — [/(х,г,т)(3т, А{х,г) = (а(ж,*,т)).
2п У о
Пусть А,А0АЫ € С4(П), Ах2 € С2(П)4, ^ € С4(П), ^2 € С2(П), Ъ,ЪЫ € С4>0(О), ф,фгх € С4'0(О), (0 € С5(К), (1 € С4(К). Частичную асимптотику по ш » 1 решения пш(х,Ь) задачи (1.1) будем строить в виде:
гош (х, ¿) = щ(х, ¿) Н—и\(х, ¿) Н—к(и2(х, ¿) + г»2(ж,
1 Ш Ш 1 (1-2) • • • Н—+ г>4(ж,£,и;£)) Н—^(ж,
где функции (х,Ь) и (х,Ь,т) определены на множествах П и О, а также дважды непрерывно дифференцируемы по х и Ь и по х и Ь,т соответственно, причем (х,Ь,т) являются 2п-периодическими по т с нулевым средним.
В дальнейшем часто будем обращаться к следующим двум простейшим типам линейных однозначно разрешимых задач. К первому отнесем задачу о 2п-периодических решениях обыкновенного дифференциального уравнения 2-го порядка вида
з(х,г,т + 2п) = з(х,г,т); (1.3)
{в(х,г,т)) = о,
где ф(х, Ь, т) — определенная на множестве О функция, 2п-периодическая по т. Решение
задачи (1.3), как известно, имеет вид:
>. I (/ -{/„,.,„)).
00 -{/(/,,,--(/„,,,„))4
\0 \о 1/1
Ко второму типу отнесем задачу Коши для волнового уравнения в полосе П вида
ии(х,Ь) - пхх(х,Ь) = д(х,Ь);
и(х,Ь ) |*=о = ^(х ); (1.4 )
иг{х,г) |4=0 = Ь2(х),
где функции д(х, Ь) и Н^х), Н2 (х) определены в П и на К соответственно, причем д(х, Ь) и Н2(х) непрерывно дифференцируемы по х и Н^х) дважды непрерывно дифференцируема (д,дх € С0(П), Н2 € С 1(К), Н1 € С2(К)). Решение задачи (1.4) выражается, как известно, формулой Даламбера:
х+Ь г х+(Ь-з)
х-Ь 0 х-(Ь-в)
При этом, если для некоторого натурального п имеют место соотношения: д,дх € Сп-1(П), 112 € Сп(К), Н € Сп+1(К), то решение задачи (1.4) и € Сп+1(П).
Для любого положительного числа М определим прямоугольник Пм = {(х,Ь) : |х| ^ М, Ь € [0; Т]}, а также введем в рассмотрение (к + 1)-членную, к = 3, 4, асимптотику решения иш задачи (1.1):
\ (х,Ь) = и0(х,Ь) + ш 1и1(х,Ь) + ^2/ ш и3(х,Ь) + у3(х,Ь,шЬ)). (1.5)
«=2
иш (х,Ь) = и0(х,Ь) + ш 1и1(х,Ь)+ ш и,3(х,Ь) + ья(х,Ь,шЬ
Теорема 1. Для каждого М > 0 имеет место асимптотическая формула:
= 0(ш-4), ш —> оо,
з
иш (х, Ь) иш (х, Ь)
С(Пм)
где щ(х, Ь), г = 0,1, 2, 3, (х, Ь, т), ] = 2, 3, являются решениями задач вида (1.4) и (1.3) соответственно.
Здесь С (Пм) — обычное банахово пространство непрерывных в прямоугольнике Пм функций с тах-нормой.
Замечание 1. В теореме 1 речь идет о четырехчленной асимптотике решения иш, поскольку именно эта частичная асимптотика требуется в § 2, и она обеспечена указанными выше требованиями гладкости данных задачи (1.1). При увеличении гладкости данных можно строить асимптотики соответствующих более высоких порядков. При бесконечной гладкости результат, аналогичный теореме 1, справедлив для полной асимптотики решения иш.
< Доказательство теоремы 1. Подставим функцию (х,Ь) (см. (1.2)) в равенства (1.1). Приравняем коэффициенты при одинаковых степенях ш и воспользуемся операцией усреднения по т = шЬ. В результате получим следующий набор задач:
<92адр(ж,4) _ <92ад0(ж,4) _ р, ,4
Ш? дх2 ^ ' '1
и0(х, 0) = (0(х);
(1.6)
ь2(х, Ь,т + 2п) = ь2(х, Ь, т); {ь2(х,Ь,т)) = 0,
~ = -А(х,1)и0(х,1У,
< и1 (х, 0) = 0;
ш
4=0
дь2 (ж,4,г)
57
4,т=0
ь3(х, Ь,т + 2п) = ь3(х, Ь, т); {у3(х,Ь,т)) =0,
< и2(х, Ь)14=0 = Ь2(х,Ь,т)|4,т=0;
ди2(х,£)
ш
4=0
_ дУ2(х,1,т)
— Ш
4,т=0
(ж,4,г)
57
4 ,т=0
дт2
м _ д2у2(х,г,т) _ д2у2(х,г,т) _ г>д2у3(х,г,т) _ , / , Ч / ,4. г2 — дх2 аг2 91дт и{Х, Ь,Т)и\{Х, Ь),
ь4(х,Ь,т + 2п) = ь4(х,Ь,т); {ь4(х,Ь,т)) = 0,
'^й^ - ^^ = -А{х,1)и2{х,1) - (Ь(х,1,т)у2(х,1,т)У, < из(х,Ь)|4=0 = Ьз(х,Ь, т)14,т=0;
9«з(ж,4)
54
4=0
_ 9г)з(ж,4 ,т)
~~ 54
4,т=0
9г)4 (ж,4,г)
4,т=0
Г = - - З^Йг11 - &(*> * > т)и2(®,
—Л(х,Ь)ь2(х,Ь,т) — (Ъ(х,Ь,т)ь2(х,Ь,т) — {Ъ(х,Ь,т)ь2(х,Ь,т))); ь5(х, Ь,т + 2п) = ь5(х, Ь, т); {ь5(х,Ь,т)) =0,
~ = -А(х,1)и3(х,1) - {Ь(х,1,т)у3(х,1,т)У
<9£2 дх2
/ и4(х,Ь)|4=0 = —У4(х,Ь,т)14,т=0;
9«4(Ж,4) 54
4=0
_ 9г)4 (ж,4,г)
~~ 54
4,т=0
¿?г>б (ж,4,г)
57
4,т=0
(1.7)
(1.8)
(1.9)
(1.10)
(1.11)
(1.12)
(1.13)
(1.14)
Отметим, что (1.6), (1.8), (1.10), (1.12) и (1.14) — задачи вида (1.4), а (1.7), (1.9), (1.11) и (1.13) — задачи вида (1.3). Нетрудно проверить, что требуемая для их однозначной
разрешимости гладкость данных, о которой говорилось при описании задач (1.3) и (1.4), выполнена в силу условий, наложенных на функции а(х,Ь,т), f (х,Ь,т), (10(х) и ^1(х). Резюмируя сказанное, придем к задаче:
где
д2^Г'1)) ~ ^^ + ¿а(ж, t, cot) wi(x, t) = /(ж, t, cot) - z(x, t, cot, u>);
4 i
Woj (X, 0) = do (ж) - ^v5(x, 0,0);
5
dw^(x,0) _ , / ч _ 1 dv^(x,0,0)
dt — "lW ^ Qt ,
d2v4 d2v4 d2v5
(1.15)
1
Z(X, t, T,L0) = —
dt2 dx2+2dWT+Av* + ^~{bV^
1
a(u4 + v4) +
d2v5 d2v5
dt2 dx2
1
+ — av5. (1.16)
ш6
Зафиксируем произвольное положительное число М. Из представления (1.16) функции г(х,Ь,т,ш) и равенств (1.6)—(1.14) вытекает асимптотическая формула:
z(x,t,r,w)\\o(Пм) = 0(ш ), ш ^то.
(1.17)
Положим W = иш — и>ш и вычтем из равенств (1.1) соответствующие равенства (1.15). Придем к задаче
W(x,0,0) = ^С0(ж); (1.18)
где Со (ж) = t>5 (ж, 0, 0), С1(ж) = ^(жДО). Считая правую ее часть известной, будем смотреть на (1.18), как на задачу вида (1.4), а потому по формуле Даламбера получим
x+t
1 1 f
W(x,t,r) = ^7o[Co(x-t) + Co(x + t)]+^7o J Ci(Od£
x—t
t x+(t—s) t x+(t— s) (1.19)
J ds J {aW){i,s,us)di +^ j ds J z(£, s,ws,w) d£.
0 x—(t—s)
0 x—(t—s)
Для краткости обозначим предпоследнее слагаемое в правой части (1.20) через Н(х,Ь,ш). Ясно, что для М > 0 найдется такое число шм > 0, что при ш > шм
1
\\Нх,1,и)\\с{Пм)^-\\Ш(х,1,и)\\с{Пм).
Из соотношений (1.19), (1.20), (1.17), (1.18) вытекает асимптотическая формула
= 0(ш-5), ш ^ ж.
Указанная в теореме 1 оценка следует теперь из неравенства треугольника:
= 0(ш-4), ш оо. > С(Пм) у '
(1.20)
иш wu
С(Пм)
3 4 43
иш иш иш — + — иш
С(Пм) С(Пм)
2. Обратная задача
Пусть Т > 0, П = {(х,Ь) : х € Я, Ь € [0, Т]}, д = {(Ь,т) : Ь € [0,Т], т € [0; то)}. В полосе П рассмотрим задачу Коши вида (частный случай (1.1)):
ш - & + = Р(х,1)г(1,ш1);
и(х, 0) = 4(х); (2.1)
Фигурирующие здесь функции В(х,Ь), Г(х,Ь) и й0(х), ^(х) определены в полосе П и на прямой Я соответственно и удовлетворяют условиям (определения используемых здесь линеалов см. в §1): В,В4,В4ж € С4(П), Вх2 € С2(П), Г, Гх2 € С2(П), € С4(П),
4 € С5(Я), € С4(Я). Эти функции предполагаются известными. Положим далее
р(Ь,т ) = ро(Ь) + р1(Ь,т), г(Ь,т ) = Го(Ь)+ п(Ь,т), (2.2)
где р0(Ь) = (р(Ь,т)), г0 = (г(Ь,т)) — средние функций р и г по т на периоде. В этом параграфе функции р0, г0, р1 и г1 неизвестны, но обладают заданной гладкостью: р0 € С2(Я), р1 € С5'0(д), Г0 € С2(Я), Г1 € С5'0(д). Здесь линеал Сга'°(д) состоит из функций в(Ь,т), (Ь,т) € д, обладающих непрерывными в д производными по Ь вплоть до п-го порядка.
В данном параграфе будут описаны дополнительные условия (условия переопределения), а затем сформулирована и решена задача о восстановлении указанных неизвестных функций.
Для того чтобы получить условия переопределения, предположим временно, что функции р0, г0, р1 и г1 известны. Тогда данные задачи (2.1) позволяют рассматривать ее как частный случай задачи (1.1), для которой справедлива теорема 1. Так что для решения иш(х,Ь) задачи (2.1) при фиксированном М > 0 справедлива асимптотическая формула:
и^(х, Ь)
+ — и\(х,1) ш
3
= 0(ш-4), ш ^то, (2.3)
с (Пм)
+ У^ ш ии(х,Ь) + Уи(х,Ь,шЬ)^ к=2
где функции щ, г = 0,1, 2, 3, и , ] = 2, 3, являются решениями следующих задач:
^ - ^ = Р(х,1)г0(1У,
и0(х, 0) = ^(х); (2.4)
^ =
У2(х, Ь,т + 2п) = у2(х, Ь, т); (2.5)
(У2(х,Ь,т)) = 0,
щ(х, 0) = 0; (2.6)
дгч(х,0) _ д'€2 (х,0,0)
Ш ~~ дт '
у3(х,Ь,т + 2п)= у3(х, Ь, т); (2.7)
{уз(х,Ь,т)) =0,
и,2(х, 0) = -У2(х, 0,0); (2.8)
ди2(х,0) _ ду2(х,0,0) _ ду3(х,0,0) дг — т дт '
^ = В{х,1)Р1{1,т)и1{х,1)-
у4(х,Ь,т + 2п)= у4(х,Ь,т); (2.9)
>4(х,Ь,т)) = 0,
- & = - В(х,ЩР1(1,т)у2(х,1т)У,
из(х, 0) = -Уз(х, 0, 0); (2.10)
ди3(х,0) _ Эуз(х,0,0) _ ду4(х,0,0) дЬ ~ ~ дЬ ~ дт
Далее функции р0, Г0, Р1 и Г1 вновь будем считать неизвестными, принадлежащими указанным выше классам. Перейдем к формулировке условий переопределения. Для этого введем в рассмотрение следующие объекты:
(1) х0 € К — точка, в которой выполнены следующие условия: Е(х0,Ь) = 0, В(х0,Ь) = 0 при всех Ь € [0;Т], ^0(х0) = 0 (существование такой точки здесь предполагается) ;
(2) д0 € С5([0,Т]) — функция такая, что д0(Ь) = 0 при всех Ь € [0;Т], д0(0) = ¿0(х0),
?0 (0) = ^(х0);
(3) Л1(Ь,т) — определенная и непрерывная на множестве ( функция, 2п-периоди-ческая по г с нулевым средним, имеющая производные ^рг, €
(4) € С4([0,Т]) - функция, для которой 91(0) = 0, ^(0) = -ЭЛ1Э(°'0);
(5) Л2(Ь,т) — определенная и непрерывная на множестве ( функция, 2п-периоди-ческая по г с нулевым средним, и имеющая вторую производную по т: Оррг £ С5'°((5)-
Для формулировки условия переопределения нам остается указать еще два объекта (две функции), но для этого понадобятся некоторые простые утверждения, которые опишем в виде леммы.
Лемма 1. Справедливы следующие результаты:
1) задача (2.4) с неизвестной функцией г0 при дополнительном условии и0(х0,Ь) = 50 (Ь) однозначно разрешима относительно (г0 ,и0);
2) задачи (2.5) и (2.7) с неизвестными функциями п и р1 и заданной и,0 при дополнительных условиях у2(х0,Ь,т) = Л1(Ь, т) и у3(х0,Ь,т) = Л2(Ь,т) соответственно однозначно разрешимы относительно (г1,у2) и (р1,у3);
3) задача (2.6) с неизвестной функцией р0 и заданными и,0 и у2 при дополнительном условии и1(х0,Ь) = 51(Ь) однозначно разрешима относительно (р0,и1).
Доказательство леммы приведем ниже, а пока введем два последних объекта, необходимых для формулировки условий переопределения.
(6) 52 — функция, определенная на отрезке Ь € [0,Т] равенством 52(Ь) = и2(х0,Ь), где и2 — решение задачи (2.8) с уже известными, в силу леммы 1, функциями р0, и1, У2 и У3.
(7) 53 — функция, определенная на отрезке Ь € [0,Т] равенством 53 = и3(х0,Ь), где и3 — решение задачи (2.10) с известными функциями р0, р1, и2, у2, у3 и у4, последняя из которых является единственным решением (2.9).
Задача о восстановлении функций р и т состоит в нахождении функций р(Ь, т) и т(Ь, т) вида (2.2), где функции ро, то, р1 и т\ принадлежат указанным выше функциональным классам, при которых решение пш(х,£) задачи (2.1) удовлетворяет асимптотической формуле (условию переопределения):
иш(хо,Ь) —
+ + -о + А^,^))
ш ш2 V /
+ ^(<7з(£) + А2(^))
= 0(ш ), ш (2.11)
с([о,т ])
Теорема 2. Задача о восстановлении функций р и т однозначно разрешима.
Замечание 2. Решение задачи о восстановлении функций р и т сводится (посредством арифметических операций, а также операций дифференцирования и интегрирования) к решению двух уравнений Вольтерра 2-го рода.
Прежде чем доказывать теорему, докажем сформулированную выше лемму.
< Доказательство леммы 1 разобъем на пункты в соответствии с пунктами ее формулировки.
(1) Функция го € С2([0,Т]), входящая в (2.4), при дополнительном условии ио(хо,£) = до(£) согласно формуле Даламбера удовлетворяет равенству
4 жо+4-«
Яо^) = ^[с1о(хо-1)+г1о(хо + 1)]+^ I ¿Ш^ + ^У Пз I (2.12)
о ж0— 4+«
Дифференцируя его дважды по получим уравнение Вольтерра 2-го рода (относительно неизвестной то):
то(*) +
1
2Е (хо,*)
Рх (хо + £ — 8,8) — (хо — £ + 8,8) то(8) ¿8
(2.13)
р{1 ^ - ^ <%(х0 + *) + с%(х0 - *)
2
(хо + £) + (хо — £)
В силу условий, наложенных выше на функции Е, !о, !1 и до, уравнение (2.12) эквивалентно (2.13), а последнее имеет единственное решение то € С2([0,Т]). При известной то функция по(х,Ь) однозначно находится из (2.4).
(2) Функция т1 € С5'°, которая входит в (2.5), при дополнительном условии У2(хо,Ь,т) = Л1 (£, т), очевидно имеет вид г\ — Т\хоТ)—дт'2' ^ ■ Функция при
известной т1 (Ь,т) однозначно находится из (2.5) (см. задачу (1.3) выше). Аналогично доказывается и второе утверждение этого пункта леммы, касающееся функций р1, гз. При этом
1
р1(£,т) = —
В (хо,Ь)до(Ь)
292Л1(^,Г) | 92Л2(^,Г)
згдт
дт2
(3) Рассмотрим задачу (2.6) с неизвестными функциями щ, ро при дополнительном условии и\(хо,1) = где <?1(0) = 0, ^(0) = —^2(^0,0). Согласно формуле Даламбера
имеем
т = 4 /
1 Г ду2((, 0,0) ^ 1
2 У дт 2
Хо-4
жо+4-«
¿8 ! В(£,8)По(£,8)ро(8)
Хо-4+«
(2.14).
4
1
4
Дважды дифференцируя последнее равенство по Ь, получим эквивалентное равенство
т = ~
д2у2(х0 + Ь, 0,0) д2у2(х0 - Ь, 0,0)
дхдт дхдт
г
-В(хо,Ш1)ро(1)-± I дС{Х^8) Ро{8)й8, (2.15)
где С (х0,Ь, в) = В (х0 + Ь - в, в)и0(х0 + Ь - в, 8) + В (х0 - Ь + в, в) и0(х0 - Ь + в, в). Из уравнения Вольтерра 2-го рода находим функцию р0, а после этого из (2.6) определяем и1(х,Ь). >
< Доказательство теоремы 2. Предположим, что теорема 2 доказана и найдены функции р(Ь,т) и г(Ь,т), принадлежащие указанным выше классам. Тогда решение иш(х,Ь) задачи (2.1) согласно теореме 1 удовлетворяет асимптотической формуле (2.3), в которой функции и, г = 0,1, 2, 3, Vj, ] = 2, 3, являются единственными решениям соответствующих задач (2.4)-(2.10). Из соотношений (2.3) и (2.11) следуют равенства:
иг(х0,Ь) = 5г(Ь), Ь € [0,Т], г = 0,1, 2, 3; ук (х0 ,Ь, т) = Лк (Ь, т), (Ь, т) € (, к = 1,2. ( . )
Таким образом, условия (2.16) являются необходимыми для выполнения асимптотической формулы (2.11). С другой стороны, неизвестные функции р(Ь,т) и г(Ь,т) однозначно определены именно из соотношений (2.16), причем, как следует из предыдущих рассуждений данного параграфа при этих р, г однозначно определены коэффициенты Ui(х,Ь), г = 0,1, 2, 3 и ук(х, Ь,т), к = 2, 3, для которых справедлива формула (2.3). Из (2.3) и (2.16) вытекает формула (2.11). >
Замечание 3. Задача о восстановлении функций р и г может быть однозначно решена и при несколько меньших требованиях гладкости, налагаемых на функции В, р, ^ и г. Действительно, доказательство теоремы 2, по существу, не изменится, если в теореме 1, на которую оно опирается, порядок малости 0(ш-4) (см. формулировку теоремы 1) будет заменен на о(ш-3), ш ^ ж. Для доказательства же теоремы 1 в последнем случае требуется меньшая гладкость данных. Отмеченное обстоятельство в данной работе незначительно, поэтому мы остановились на первом варианте, доказательство которого немного короче.
Литература
1. Романов В. Г. Обратные задачи математической физики.—М.: Наука, 1984.—262 с.
2. Денисов А. М. Введение в теорию обратных задач.—М.: Изд-во МГУ, 1994.—208 с.
3. Кабанихин С. И. Обратные и некорректные задачи.—Новосибирск: Сиб. науч. изд-во, 2008.
4. Симоненко И. Б. Обоснование метода усреднения для задачи конвекции в поле быстро осциллирующих сил и для других параболических уравнений // Матем. сб.—1972.—Т. 87 (129), № 2.—С. 236253.
5. Левенштам В. Б. Асимптотическое интегрирование задачи о вибрационной конвекции // Диффе-ренц. уравнения.—1998.—Т. 34, № 4.—С. 523-532.
6. Левенштам В. Б. Асимптотическое разложение решения задачи о вибрационной конвекции // Журн. вычисл. матем. и мат. физ.—2000.—'Т. 40, № 9.—С. 1416-1424.
7. Бабич П. В., Левенштам В. Б. Восстановление быстро осциллирующего свободного члена в многомерном гиперболическом уравнении // Матем. заметки.—2018.—Т. 104, № 4.—С. 505-515. Б01: 10.4213/Ш2Ш12151.
8. Бабич П. В., Левенштам В. Б., Прика С. П. Восстановление быстроосциллирующего источника в уравнении теплопроводности по асимптотике решения // Журн. вычисл. матем. и матем. физ.— 2017.—Т. 57, № 12.—С. 1955-1965. БОТ: 10.7868/80044466917120079.
9. Левенштам В. Б. Параболические уравнения с большим параметром. Обратные задачи // Мат.
заметки.—2020.—Т. 107, № 3.—С. 412-425. DOI: 10.4213/mzm12245. 10. Левенштам В. Б. Гиперболическое уравнение с быстро осциллирующими данными. Восстановление малого младшего коэффициента и правой части по частичной асимптотике решения // Докл. РАН. Матем., информ., проц. упр.—2022.—Т. 502.—С. 34-36. DOI: 10.31857/S2686954322010088.
Статья поступила 12 марта 2022 г. Валерий Борисович Левенштам Южный федеральный университет, профессор
РОССИЯ, Ростов-на-Дону, 344090, ул. Мильчакова, 8 А;
Математический институт им. В. А. Стеклова,
ведущий научный сотрудник
РОССИЯ, 119991, Москва, ул. Губкина, 8;
Южный математический институт — филиал ВНЦ РАН,
ведущий научный сотрудник
РОССИЯ, 362025, Владикавказ, ул. Ватутина, 53 E-mail: vlevenshtam@yandex.ru https://orcid.org/0000-0003-2438-5307
Vladikavkaz Mathematical Journal 2023, Volume 25, Issue 3, P. 111-122
RECONSTRUCTION OF A RAPIDLY OSCILLATING LOWEST COEFFICIENT AND THE SOURCE OF A HYPERBOLIC EQUATION FROM THE PARTIAL ASYMPTOTICS OF THE SOLUTION
Levenshtam, V. B.1'2'3
1 South Federal University, 8 A Milchakova St., Rostov-on-Don 344090, Russia;
2 Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow 119991, Russia;
3 Southern Mathematical Institute VSC RAS, 53 Vatutina St., Vladikavkaz 362025, Russia
E-mail: vlevenshtam@yandex.ru
Abstract. The Cauchy problem is considered for a one-dimensional hyperbolic equation, the junior coefficient and the right part of which oscillate in time with a high frequency, and the amplitude of the junior coefficient is small. The question of reconstructing the cofactors of these rapidly oscillating functions independent of the spatial variable according to the partial asymptotics of the solution given at some point in space is investigated. For various evolutionary equations, numerous problems of determining unknown sources and coefficients without assuming their rapid oscillations are studied in the classical theory of inverse problems, where the exact solution of the direct problem appears in the additional condition (redefinition condition). At the same time, equations with rapidly oscillating data are often encountered in modeling physical, chemical, and other processes occurring in media subjected to high-frequency electromagnetic, acoustic, vibrational, etc. effects fields. This testifies to the topicality of perturbation theory problems on the reconstruction of unknown functions in high-frequency equations. The paper uses a non-classical algorithm for solving such problems, which lies at the intersection of two disciplines — asymptotic methods and inverse problems. In this case, the redefinition condition involves not the (exact) solution, as in the classics, but only its partial asymptotics of a certain length.
Keywords: hyperbolic equation, rapidly oscillating data, asymptotic methods, inverse problem.
AMS Subject Classification: 35B40.
For citation: Levenshtam, V. B. Reconstruction of a Rapidly Oscillating Junior Coefficient and the Source of a Hyperbolic Equation from the Partial Asymptotics of the Solution, Vladikavkaz Math. J., 2023, vol. 25, no. 3, pp. 111-122 (in Russian). DOI: 10.46698/s0378-3993-5022-o.
References
1. Romanov, V. G. Obratnye zadachi matematicheskoj fiziki [Inverse Problems of Mathematical Physics], Moscow, Nauka, 1984, 262 p. (in Russian).
2. Denisov, A. M. Vvedenie v teoriyu obratnyh zadach [Introduction to the Theory of Inverse Problems], Moscow, MSU Press, 1994, 208 p. (in Russian).
3. Kabanikhin, S. I. Obratnye i nekorrektnye zadachi [Inverse and Ill-Posed Problems], Novosibirsk, Sibirskoe Nauchnoe Izdatel'stvo, 2008 (in Russian).
4. Simonenko, I. B. A Justification of the Averaging Method for a Problem of Convection in a Field of Rapidly Oscillating Forces and for Other Parabolic Equations, Mathematics of the USSR-Sbornik, 1972, vol. 16, no. 2, pp. 245-263. DOI: 10.1070/SM1972v016n02ABEH001424.
5. Levenshtam, V. B. Asymptotic Integration of a Vibration Convection Problem, Differential Equations, 1998, vol. 34, no. 4, pp. 522-531 (in Russian).
6. Levenshtam, V. B. Asymptotic Expansion of the Solution to the Problem of Vibrational Convection, Computational Mathematics and Mathematical Physics, 2000, vol. 40, no. 9, pp. 1357-1365.
7. Babich, P. V. and Levenshtam, V. B. Recovery of a Rapidly Oscillating Absolute Term in the Multidimensional Hyperbolic Equation, Mathematical Notes, 2018, vol. 104, no. 4, pp. 489-497. DOI: 10.1134/S000143461809016X.
8. Babich, P. V., Levenshtam, V. B. and Prika, S. P. Recovery of a Rapidly Oscillating Source in the Heat Equation from Solution Asymptotics, Computational Mathematics and Mathematical Physics, 2017, vol. 57, pp. 1908-1918. DOI: 10.1134/S0965542517120065.
9. Levenshtam, V. B. Parabolic Equations with Large Parameter. Inverse Problems, Mathematical Notes, 2020, vol. 107, no. 3, pp. 452-463. DOI: 10.1134/S0001434620030098.
10. Levenshtam, V. B. Hyperbolic Equation with Rapidly Oscillating Data: Reconstruction of the Small Lowest Order Coefficient and the Right-Hand Side from Partial Asymptotics of the Solution, Doklady Mathematics, 2022, vol. 105, pp. 28-30. DOI: 10.1134/S1064562422010082.
Received March 12, 2022
Valeriy B. Levenshtam South Federal University,
8 A Milchakova St., Rostov-on-Don 344090, Russia, Professor;
Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow 119991, Russia, Leading Researcher;
Southern Mathematical Institute VSC RAS, 53 Vatutina St., Vladikavkaz 362025, Russia, Leading Researcher E-mail: vlevenshtam@yandex.ru https://orcid.org/0000-0003-2438-5307
