ВОССТАНОВЛЕНИЕ БЫСТРО ОСЦИЛЛИРУЮЩЕЙ ПРАВОЙ ЧАСТИ ВОЛНОВОГО УРАВНЕНИЯ ПО ЧАСТИЧНОЙ АСИМПТОТИКЕ РЕШЕНИЯ Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2020, Том 22, Выпуск 4, С. 28-44

УДК 517.955.8

Б01 10.46698/80301-1959-8380-8

ВОССТАНОВЛЕНИЕ БЫСТРО ОСЦИЛЛИРУЮЩЕЙ ПРАВОЙ ЧАСТИ ВОЛНОВОГО УРАВНЕНИЯ ПО ЧАСТИЧНОЙ АСИМПТОТИКЕ РЕШЕНИЯ*

П. В. Бабич1, В. Б. Левенштам1

1 Математический институт им. В. А. Стеклова Россия, 119991, Москва, ул. Губкина, 8 E-mail: xblahblahc@gmail.com, vlevenshtam@yandex.ru

Работа посвящается 75-летию Семена Самсоновича Кутателадзе

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

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

Mathematical Subject Classification (2010): 35L05, 35L20, 35R30.

Образец цитирования: Бабич П. В., Левенштам В. Б. Восстановление быстро осциллирующей правой части волнового уравнения по частичной асимптотике решения // Владикавк. мат. журн.— 2020.—Т. 22, вып. 4.—С. 28-44. DOI: 10.46698/s0301-1959-8380-s.

Введение

В работе рассматривается начально-краевая задача для одномерного волнового уравнения с неизвестной быстро осциллирующей по времени правой частью. Исследуется задача о восстановлении этой правой части по тем или иным сведениям (дополнительным условиям) о нескольких первых коэффициентах асимптотики решения. Ранее аналогичный вопрос был исследован нами для одномерного уравнения теплопроводности [1, 2]. Теории обратных задач посвящен целый ряд монографий (см., например [3-6]) и большое число статей. В статьях [7-9], например, решены различные задачи о восстановлении

#Работа выполнена при финансовой поддержке Российского научного фонда, проект № 20-11-20141. © 2020 Бабич П. В., Левенштам В. Б.

неизвестных правых частей одномерных уравнения теплопроводности и волнового уравнения. В [3-9] быстрые осцилляции данных задачи отсутствуют. В данной работе задача о восстановлении правой части вида f (х, t)r(t, wt), где сомножитель r(t, т) периодичен по т, волнового уравнения с большим параметром ш поставлена и решена в следующих четырех случаях:

1) не известна функция r(t, т);

2) не известна функция f (x,t) = f(x);

3) в паре f, r известно лишь среднее ro функции r(t, т) по т;

4) не известны обе функции — f и r.

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

1. Неизвестный сомножитель источника зависит только от временной переменной

1.1. Прямая задача. Символом П обозначим замкнутый плоский прямоугольник:

П = {(х, Ь) : 0 ^ х ^ п; 0 ^ Ь ^ Т}, Т > 0.

Рассмотрим в П начально-краевую задачу для волнового уравнения с большим параметром ш:

д2и д2и

+ (1)

dt2 dx2

du

u\t=о = 0, — dt

= 0, (2)

t=o

и|х=0,п = 0. (3)

Здесь функция /(х,Ь) определена на П и существуют непрерывные на П функции

/, /Х'2, /л, Л, Л'2, Л"', (4)

обращающиеся в нуль при х = 0, х = п, причем каждая из функций (4) имеет две непрерывные на П производные по х. Ясно, что справедливость условий равенства нулю функций (4) при х = 0,п достаточно проверять лишь для функций / и /"2.

Пусть Q — полуполоса: Q = {(Ь,т) € [0,Т] х [0, то)}. Относительно функции г(Ь,т) будем предполагать, что она определена и непрерывна на множестве Q, а также 2п-пе-риодична по т. Обозначим через г0(Ь) ее среднее по т, т. е. плавную часть:

2п

г0(*) = </•(*, т))г = ^ У г(*,т)с*т, (5)

а через т1(Ь,т) — быструю часть:

п(Ь,т) = т(Ь,т) - То(Ь) - {т1(1,г)}т

(6)

Будем предполагать, что функции ^р1 € к = 0,1, 2, 3. Функцию г(£, г), удовлетво-

ряющую указанным в этом абзаце условиям, будем для краткости называть функцией класса (А).

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

/„(¿) = ^ У /(«> вт пв <1$, к,п{1) = ^ /

1 (д21 (з,1)

п ] дз2 о

8Ш пзбз,

ро(Ь,Т У Т1(Ь,з) бз — ^ j т1(Ь, з) б^ ^бр

I (!■■" б—(/<■})*) - {I {¡"с <■}■»

Л \ Л \ Л /_/ / V л V л / V

о 4 о

т т

Решение задачи (1)-(3) представим в виде:

пш(ж,Ь) = иш (ж,Ь) + ^(ж,Ь), ш » 1,

р /г

где

иш (ж,Ь) = ио(ж,Ь) + ш ^(ж^) + ш 2 [и2(ж,Ь) + У2(ж,Ь,шЬ)] , ш » 1

Цр(ж,£) = У^ I _ в)/п(з)го(8) бз,

п ./

(7)

П=1

и1

/ \ X ^ » / \ / / \ В1П пж

(ж, *) = - /„(0)р^(0, 0)^— ипп*,

П=1

У2(ж,г,г) = / (ж,Ь)ро(Ь,т),

(8) (9) (10)

(11) (12)

и2(ж, Ь) = — ^ /п(0)ро(0,0) сов пЬ в1п пж

те

+ Е (/П*(0)ро(0, 0) + /п(0)р'ог(0, 0)) в1ппЬ

п= 1

п= 1

втпж п

(13)

Теорема 1. Решение иш(ж,Ь) задачи (1)-(3) представимо в виде (8)—(13), где функция удовлетворяет соотношению

11^(ж,Ь)УС(п) = о(ш 2), ш

(14)

п

4

1.2. Обратная задача 1. Предположим, что в задаче (1)—(3) фигурирует та же, что в п.1.1, функция /(ж,Ь), а функция т(Ь,т) класса (А) неизвестна. Пусть задана точка

хо € (0,п) такая, что /(хо,£) = 0, £ € [0,Т], и функции ^>о(£) и х(£,т), принадлежащие следующим классам:

^о € С2([0,Т]), ^о(0) = 0, ^0(0) =0;

х(£, т) — непрерывная в 2п-периодическая по т с нулевым средним функция, производные которой ; Л = 0,1,2,3, принадлежат С (О). Введем теперь функции (рх^) и

Mí) = (15)

n=1

те

^2(¿) = — ^ /п(0)ро (0,0)cos nt sin ПХ0

n=1

те

+ Е(^(0)А)(0,0)+/„(0)^(0,0)) sinní^^, (16)

n

n=1

где p0(t, t) задается равенством (7) с

1 d2

Обратная задача 1 заключается в определении функции r(t,т) класса (А), при которой для решения пш (x,t) задачи (1)-(3) (функция /(x,t) задана в п.1.1) выполняется асимптотическое равенство

иш(xo,t) -

^o(í) + -¥>l(í) + (^2(í) +X(Í,WÍ)) WW2

= o(w 2), w ^ то. (18)

C([0,T ])

Здесь точка хо и функции ^>о, ^2, X удовлетворяют условиям, указанным в предыдущей части этого пункта.

Теорема 2. Для любых функций х, ^о и точки хо, удовлетворяющих сформулированным выше условиям, обратная задача 1 однозначно разрешима, т. е. найдется единственная функция г класса (А), при которой решение пш(х,£) задачи (1)-(3) удовлетворяет соотношению (18).

Замечание. Функция го(£) = (г(£,т))т находится из уравнения Вольтерра второго рода, а г1(£,т) определяется равенством (17).

1.3. Доказательство основных результатов.

< Доказательство теоремы 1. Решение задачи (1)-(3) запишем в виде суммы пш(х, £) = ио(х, £) + ш-1и1(х, £) + ш-2 [и2(х, £) + У2(х, + ш-3-и3(х, + Zш(х, £), где функции щ, у и Zш будут определены ниже.

Подставив последнее представление иш в равенства (1)—(3), придем к соотношениям

' д2и„ , дЧ2 , , ,-1 дЬ2 + дт2

д2и-1 дЬ2

+ 2 Р& +

дтдг

д2у3 дт2

+ ш

2

+ ш

-зд2уя , д2гц а2 ^ 6>42

д2^(

дх2 дх2

2

д2и2 д2

| " I о<Э2г>з

д2у2 дг2

__,

дх2 <9ж2

[ио + ш 1и1 + ш 2(и2 + У2) + ш 3Уз + =о = 0;

дир , -1 / ди! , Эг>2 \ I , .—2 / Эад I <9г>2 I Эг>з \ I , ,-3 Эг>з I <94 Ш I а <9т ) "Т" Ш I дг "Т" ^ I -I" ^ -I-

<9т у

дЬ

дг

г, т=о

^ [ио + ш V + ш 2(и2 + У2) + ш 3Уз + Zш] х=о п = 0, т = шЬ.

(19)

Приравняем формально в последних равенствах коэффициенты при явно выписанных

степенях ш к, к = 0,1,2,3. Применяя к полученным уравнениям операцию усреднения (...) по т = шЬ, придем к задачам

— П ди0

дг

ио|г=о = 0. ио |х=о , п = 0

г=о

(20)

^ = ¡(Х,1)Г1а,ту,

у2(ж, Ь,т + 2п) = у2(ж, Ь, т); (У2(ж,Ь,т ))т = 0,

(21)

д2и1

д2П1 .

дх2 '

— п

— и> оь и1 |х=о ,п = 0,

г=о

— _ 9у2 ~ дт

г, т=о

(22)

д2

уз _ о д2У2 .

ЪтГ ~ ¿дтд^

у3(ж, Ь,т + 2п) = Уз (ж, Ь, т); >а(ж,Ь,т ))т = 0,

(23)

д2и2

д2и2 . дх2 '

и2|г=о = — Ы ,т=о , и2|х=о , п = 0,

ди 2

дь

г=о

дуя , дУ2 дт дг

г,т=о

(24)

В силу (20)—(24) функции ио,Щ,и2,У2 имеют вид (10), (11), (12) и (13) соответственно, что устанавливается с помощью элементарного применения рядов Фурье. Из системы (23) находим

Уз(ж,Ь,т )=2/'(ж,Ь)р1(Ь,т) + 2/(ж, Ь)р'и(Ь, т), (25)

Р1 (Ь, т) = ^ j ро(Ь, ■) бз^ — '1 ро(Ь, ■) бз.

0

0

Из (19) с учетом (20)-(24) следует, что функция Zш(х,£) является решением задачи

' d2zш a2zLO

at

дх2

+ Ш

-3

= Ш

б>2г;з дх2

-2

дх2

а2

V2 _ пЛз Sí2 z SrSí

d2v3

~aFr

= Ш 2pi(x,í, wt) + Ш 3p2(x,t,wt)

|t=0 = w 3 V3| t=0, = Ш 3ci(x),

t=0

1 x=0,n = 0-

at

- _,.,~3&V3

—W

t=0

Sí

=0 = Ш 3C2(x);

(26)

t=0

t=0

При этом согласно (12), (25) функции рг(х,£,т) 2п-периодичны по т с нулевым средним и, кроме того, рг(х,£, т)|х=о,п = 0, сг(х)|х=о,п = 0, г = 1, 2. Решение задачи (26) имеет вид

(x,t) = ¿

те

^ ^ sin nx

n=1

sin n(t — s) / _2 , . _3 , . ч , - (w zpi;íl(s,ws) + CU °P2,n{S,UJS)) ds

n

0

1-3 . I -3 c2,n . ,

+ Lü C\ n COS nt + W —— Sin nt

n

где

Pin.it,т) = — [ Рг(8,1,т) smnsds, С^ га = — [ Сг(з)8тП8с18, ¿ = 1,2.

п ) П у

оо

Поскольку (х,£) = Zш(х,£) + ш-3у3(х, ш£), то теорема 1 будет доказана, если мы установим асимптотическое равенство

Заметим, что благодаря требованиям, предъявленным к / и г, функции р2(х,£,т), С1(х), с2(х) непрерывны, а ряды

Е

n=1

sin nx

n

sin n(t — s)pi)n(s, ws)ds, i = 1,2,

^ci^sinracosnt, У^ sin nx sin nt,

n

n=1 n=1

сходятся равномерно относительно (x, t) € П. Отсюда следует, что нам теперь достаточно доказать при любом фиксированном n0 € N оценку

n0

Esin nx / , . , . ,

- / sinn(í — s)piín(s, los) ds

n

n=1 n

= o(1), w — то.

(27)

C([0,T ])

Проведем ее в два этапа. Пусть е — произвольное положительное число. На первом этапе подберем достаточно малое число £о > 0, при котором для всех х € [0, п], £ € [0, £о], и ш > 0 справедлива оценка

n0

Esin nx / , . , . ,

- / Sinn(í — s)piín(s, los) ds

n

n=1 n

< e.

(28)

t

П

П

t

На втором этапе участок [0,t], t € [t0,T], разобьем на m равных частей [tj,tj+1), j = 0,1,... , m — 1, и воспользуемся равенством

t

У sin n(t — s)p1>n(s,ws) ds 0

tj+1 tj+1

У sin n(t — s)p1>n(s,ws) ds — J sin n(t — tj)p1>n(tj, ws) ds

m— 1

E

j=0

m—1 tj+1

+ / sin n(t — tj)p1>n(tj, ws) ds = S1 + S2 j=0 t

Выберем m столь большим, что при всех ш > 0

I*1 < а*

(29)

Далее, в силу равенства

tj+1

U)tj +1

wt,

J sin n(t — tj)pi>n(tj, eos) ds = sinn(t — tj) — J pi,n(tj,t) dr — — J pi,n(tj,t) dr

и того факта, что функция Р1;п(з, т) имеет нулевое среднее по второй переменной, найдем такое шо > 0, что при ш > шо

е

№1 < (30)

Из соотношений (28)-(30) следует (27). Теорема 1 доказана. >

< Доказательство теоремы 2. В силу теоремы 1 решение задачи (1)-(3) при заданной функции г(£,т) класса (А) представимо в виде (8), (9)-(13), где

||с(П) = о(ш-2), ш ^ то.

Предположим, что г(£, т) является решением обратной задачи, и — отвечающее ему решение задачи (1)-(3). В силу соотношений (14), (18) равномерно относительно £ € [0,Т]

ио(хо,£) + ш-1и1(хо,£) + ш-2 [«2(хо,£) + У2(хо,£,ш£)]

1

1

ш ш2

Приравняв в (31) коэффициенты при одинаковых степенях ш и используя операцию усреднения по т, приходим к соотношениям

ио(хо,£) = ^о(^),«1(хо,£) = ^(хо^) = <£2(^,^2 (хо,£,т) = х(£,т),

где £ € [0, Т], т € [0, то). Дифференцируя первое из этих равенств дважды по а последнее дважды по т, получим

dt2

U0(x0,t) = <4(t),

d2 d2

(32)

Согласно п.1.1 9 = /(ж, ¿)г1(£, г). Отсюда с учетом (33) находим

д2

Джо ,*)г1(*,т) = ^2х(*,т). (34)

В силу п.1.1 функция uo(ж,í) удовлетворяет равенству (10), так что

г

д2 Г

=/(жо^)го(^ + I К (г, 8)го(в) бе, (35)

где

те

К(¿, $) = — Е п/п(в) 8Ш — 8) 8Ш ПХ0.

п=1

Отсюда следует, что функция К(¿,8) непрерывна. От равенств (32), (35) приходим к уравнению Вольтерра второго рода

г

/ (хо,г)то(г) + у К (М)го(^) ^ = (¿), (36)

о

из которого однозначно определяется непрерывная функция То(Ь). Из уравнения (34) функция п также определяется единственным образом:

1 д2

которая в силу условий, наложенных на функцию х, удовлетворяет указанным в п.1.1 условиям.

Поскольку найденная функция т(Ь,т) = го(£) + т1{Ь, т) является функцией класса (А), то для нее справедлива теорема 1, так что решение задачи (1)-(3) представимо в виде (8)-(13). Покажем,

что для функции и^ (х,Ь) будет выполнено условие (18). Для этого достаточно установить равенства:

«о(хо^)= <Ро^), и- (хо, ¿) = «2(хо^)= ^2^), У2(хо,1,т) = Х^,Т).

В силу соотношений (35), (36) = ^о(^)- Поскольку зд(жо,0) = <А)(0) = О,

ди0(х^,г) | _ ^(д) _ т0 щ<уХо^) = (ро(£)- Выразим г\ из (34) и подставим в (21). Положим затем х = хо и учтем, что функции х(^,т) и У2(х,Ь,т) 2п-периодические с нулевым средним по т. В результате получим У2(хо,Ь,т) = х(^,т). Заметим, наконец, что согласно (11) и (15) и^х^) = р1(Ь), а согласно (13) и (16) и2(хо,^ = р2(1). Теорема 2 доказана. >

2. Неизвестный сомножитель источника зависит от пространственной переменной

2.1. Прямая задача. Пусть П и Q — те же множества, что в п. 1.1. Рассмотрим задачу (1)-(3) с /(х,Ь) = /(х). Предположим, что / € С2([0,п]), /(0) = /(п) = 0,

а непрерывная функция r(t, т) = r°(t) + ri(í, т) — 2п-периодична по т, r° € C([0,T])

ее среднее, r1 € Ca°(Q), а € (0,1)*. Введем обозначение:

те t n(¿ s)

Ио(Ж) t) = Е /га sinra / -ro(s)ds = Е /raAra(í) sin пж, (37)

1 J n

n=1 o n=1

где /и — коэффициенты разложения функции / (ж) в ряд Фурье по синусам (см. п. 1.1). Теорема 3. Справедлива асимптотическая формула

- и°||с(п) = o(1), w ^ то,

где —решение задачи (1)-(3).

2.2. Обратная задача 2. Рассмотрим задачу (1)—(3). Будем считать, что функция r(t, т) известна, удовлетворяет условиям п.2.1 и дополнительно r° € C2([0, T]), а функция /(x,t) = /(ж), удовлетворяющая условиям п.2.1, неизвестна.

Справедлива следующая лемма, в которой An(t), n € N, t € [0,T], — те же функции, что в формуле (37).

Лемма 1. Если существует число t° € (0,T], при котором |r°(t°)| > |r°(0)|, то найдутся числа Со > 0 и щ € N такие, что при n ^ щ справедливы оценки Ara(to) > fji-

Если го = const ф 0 и ¿од = где lo, mo € N — взаимно просты, то найдутся

числа ci > 0 и ni € N, при которых для всех n ^ ni, n = sm°, s € N, имеют место оценки Лга(М >

Замечание. При r° = 0, очевидно, Ли(t) = 0 при всех n € N.

Обозначим через M° множество индексов n € N таких, что Лга^°) = 0.

Задачу (1)—(3) с неизвестной функцией / дополним заданием некоторой функции

ф € C5([0,п]), ф(2%) = ф(2Л(п)=0, j = 0,1, 2. (38)

Обратная задача 2 состоит в нахождении функции /, удовлетворяющей условиям п.2.1, при которой для решения (x,t) задачи (1)-(3) выполнено соотношение

||uw(x,t°) - ф(ж)|с([°,п]) = o(1), w ^ то. (39)

Теорема 4. Пусть существует t° такое, что |r°(t°)| > |r°(0)|. Тогда при M° = 0 обратная задача однозначно разрешима, и при этом /„ = |1,n6N. Если же Мо ф 0, то она разрешима тогда и только тогда, когда ipn = 0, п € Мо, и при этом fn = j2-, n Мо, /и — любое число при n € M°.

2.3. Доказательство основных результатов.

< Доказательство теоремы 3. Рассмотрим функцию

Ww(x, t) = иш(х, t) — uo(x, t) = У /и sinra f smn^——ri(s, ujs) ds

n

n=1 °

ST f • ¡ sin n(t - s) . . A . [ sin n(t - s) = > /„sinra / -ri(s,ws)as+ > /rasmra / -ri(s,ws)as

n=1 ° ra=rao+1 °

= SW)1 + SW)2, n° € N.

* Символом обозначено обычное банахово пространство непрерывных на множестве Q

функций у(Ь,т))2п-периодичных по т, удовлетворяющих равномерно относительно (£,т) £ Q условию Гельдера по 4 с показателем а и снабженных естественной нормой.

Пусть е — произвольное положительное число. Заметим, что в силу условий, наложенных в п.2.1 на /, г-, ряд, представляющий , сходится абсолютно и равномерно относительно (х, ¿) € П, ш > 0. Учитывая это и используя неравенство Коши — Буняковского, подберем по столь большим, что при всех ш > 0, (х, ¿) € [0, п] х [0, Т]

, 21 <

2

(40)

Далее выберем число ¿о > 0 столь малым, что при всех (х, ¿) € [0, п] х [0, ¿о] и ш > 0

, 1 ||с(п) <

2

(41)

При t € [¿о,Т] участок интегрирования [0,¿] разобьем на т равных частей [¿^,tj+1), ] = 0,... ,т — 1, и воспользуемся соотношением

п о

т — 1

^2/п ВШ пх Е j=0

п=1

о

ЗШ, 1 = ^ /п Й1П пх вШ п(Ь — в)г1(в,шв) йв п=1 о

¿3 + 1 Ь+1

У втп^ — в)г1(в,шв) йв — J вт п^ — tj)г1(tj,шв) йв

по т — 1 ¿-'+1

+ У^ /п вт пх^ / вт п^ — tj )гl(tj ,шв) йв = !7ш , 1 + иш , 2. п=1 j=0 I

Как и при доказательстве теоремы 1 выберем т столь большим, что при всех (х, ^ € [0, п] х [¿о, Т] и ш> 0

I ишЛ\<~.

(42)

В силу равенства (г1^,т))т = 0 подберем шо столь большим, что при выбранных т^ € [¿0, Т] и всех ш > ш0

е

Рш,1\<{- (43)

В силу неравенств (42), (43) существует такое число ш0 > 0, что при ш > ш0

е

|Зш,1| <

2

(44)

Согласно соотношениям (40), (44) теорема 3 доказана. >

< Доказательство леммы 1. Пусть существует ¿0 € (0,Т] такое, что |г0(¿0)| > |го(0)|. Воспользуемся представлением

Лп(^) = У

8[ПП{1° ~ '%о(8) йв = го^)-го{0)совто + 1 со^

п

п2

п2

Отсюда видно, что найдутся положительные числа С1 и N1 такие, что при п > N

С1

|Лп(М >

п2

е

е

г

Пусть теперь To = const = 0. Без нарушения общности можем считать то = 1. Тогда

to,1

[ sinn(to,i - s) 1 - cos ntoi lo

A„(ío,i) = / -:-ds =-5--, Í0,1 = 27Г—,

J n n2 m0

o

так что имеет место указанное в лемме заключение. Лемма 1 доказана. >

< Доказательство теоремы 4. Пусть существует число t0 € (0, T] такое, что |ro(to)| > |to(0)|. Предположим, что функция f, удовлетворяющая условиям п. 2.2, найдена. Тогда в силу теоремы 3 и соотношений (37), (39) справедливо равенство

те те

У^ ¡'пЛп sin nx = Е фп sin nx, (45)

п=1 n=1

в котором коэффициенты фп представим в виде фп = ann-5, где последовательность an € l2. При Mo = 0 из (45) с учетом леммы 1 однозначно находим

fn = j1=fínn-\ í3nGh. (46)

лп

Предполагая теперь, что функция f не известна, восстановим ее по формуле

те

sin nx,

п=1

f (x) = Y1fn si

где числа fn определяются соотношениями (46). При этом построенная функция f будет, очевидно, удовлетворять требованиям определения обратной задачи 2. Если Mo = 0, то для возможности восстановления функции f, очевидно, необходимо и достаточно, чтобы при n € Mo выполнялись равенства фп = 0. В этом случае fn = 0, n € Mo и fn = Ф- Мэ- Таким образом доказана первая часть теоремы. Вторая часть (при

r0 = const = 0) доказывается аналогично. >

3. Известно лишь среднее значение зависящего от времени сомножителя источника

3.1. Обратная задача 3. В этом разделе вновь рассмотрим задачу вида (1)—(3) с f (x,t) = f(x) € C4([0,n]), f(2k)(0) = f(2k)(n) =0, k = 0,1, и функцией r класса (А), удовлетворяющей дополнительному условию ro € C2([0,п]). Будем считать, что функция r0 известна, причем, существует такая точка t0 € (0,T], что |r0(t0)| > |r0(0)| (также нетрудно рассмотреть случай r0(t) = const — см. раздел 2), а функции f и ri неизвестны. Пусть Лп = An(t0), n € N, — набор чисел, вычисленных в соответствие с формулой (37). Ради краткости будем считать, что множество M0 номеров n, при которых Лn(to) = 0, пусто. Пусть задана в Q непрерывная 2п-периодическая с нулевым средним по второй переменной функция x(t, г), для которой определены производные Qtkd*21 к = 0,1, 2, 3, принадлежащие C(Q), а также функция ф € C7([0,п]), ^(2j)(0) = ^(2j)(n) = 0, j = 0,1, 2, 3,

и пусть существует точка x0 € (0, п), в которой f(x0) = 0, где

~ ^ ~ ~ фп

f(x) = Y1 sin nx> = j1 • (47)

n=1 n

Как и в предыдущих пунктах рассмотрим функции определяющи-

еся следующим образом. Функция ро(£) является решением задачи Коши:

Ро'(*) = /Ы^) + / К(М)го(5) о

Ро(0) = р о(0) = 0,

где

те

K(t, s) = — sin n(t — s) sin пж0.

n=1

Функции удовлетворяют условиям п.1.2 с заменой f (x,t) на /(ж), т. е.

те

, . v-^ 7 i , л Sin пж0 W) = sin ni-

n

n=1

^2(t) = — E fnPo(0,0) cos nt sinпжо + E fnp0t(0,0) sin nt

Sin пж0

п

п=1 п=1

Обратная задача 3 состоит в нахождении таких функций / и г, удовлетворяющих указанным в начале этого пункта условиям, что для решения (ж,£) задачи (1)—(3) будут выполнены соотношения

(xo,t) —

^o(í) + -¥>l(í) + (^2(í) +X(Í,WÍ)) W w2

= o(w-2), (48)

C([0,T ])

IK(x,t0) — Ф(ж)||С([0,п]) = o(1) w (49)

Из результатов разделов 1, 2 вытекает следующая теорема.

Теорема 5. Пусть функции r0(t), ^>0(t), ф(ж), x(t,T) и точки x0,t0 удовлетворяют указанным в этом пункте условиям. Тогда обратная задача 3 однозначно разрешима, т. е. существует единственная (в указанных в п.3.1 классах) пара функций f и r1, при которых решение (x,t) задачи (1)-(3)_при f(x,t) = f (ж) удовлетворяет условиям (48) и (49). При этом функция f (ж) = /(ж) вычисляется по формуле (47), a rl(t,T) = (f(x0))-1^x(t,r).

4. Не известны оба сомножителя источника

4.1. Обратная задача 4. Рассмотрим задачу (1)-(3), в которой функции f(x,t) = f(ж) и r(t, т) не известны. Однако известно, что r(t, т) — функция класса (А) и дополнительно r0 € C2([0,п]), а f(ж) = ^N=1 fn sinпж — функция с заданным числом N гармоник с неизвестными амплитудами fn. Пусть, кроме того, заданы точки t0 € (0,T), ж^ € (0, п), j = 0,..., N — 1, где ж^ = жк при i = k, а также функции <^0(t), x(t, т) и aj(t), удовлетворяющие следующим условиям: ^>0 и х — те же, что в п.1.2, и дополнительно ^0 € C4([0,T),

a^ € C 1([t0 — 5, t0 + 5]) при некотором 5 > 0, (t0 — 5, t0 + 5) С (0, T), j = 1,..., N — 1.

Введем еще функции:

N .

= 0,0)sinní^^, (50)

n

N N

sin nx

4>2{t) = -^2 /пРо(0,0) cos nt sin nx + ^2 /nPot(0,0) sin nt-, (51)

n

п=1 п=1

в которых фигурирует пока неизвестная функция f (x).

Обратная задача 4 состоит в определении таких функций f (x) и r(t,T), удовлетворяющих указанным в начале этого пункта условиям, при которых для решения пш (x,t) задачи (1)-(3) выполнены асимптотические формулы

иш(xo,t) -

Mt) + -<Р1 (t) + Л {V2(t) + x(t, Ujt))

WW2

= o(w-2), w —у oo. (52)

C([0,T ])

IK (xj ,t) - aj COIIcaío-Mo+áj) = o(1) j = 1>--->N - 1 w (53)

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

N

52 Фи sin nxo = po(to);

n= (54)

¿ Фи sin nxj = aj (to), j = 1,...,N - 1,

относительно неизвестных фп, n = 1,...,N. Поскольку матрица A = (sinnxj^NijNci невырождена, то из (54) однозначно найдем вектор-функцию ф = ф(р0(t0), a(t0))**. Нормируем искомую функцию ro(t) условием ro(to) = 1. Рассмотрим теперь систему

NN

52 fn sin nxo = 52 п2Фп sin nxo + ^o'(to);

n=1 n=1

N N (55)

52 fn sin nxj =52 п2Фп sin nxj + aj'(to), j = 1,...,N - 1,

n=1 n=1

относительно неизвестных fn, n = 1,... ,N, из которой однозначно найдем вектор

f = F (ф^ (to),a(to)),<dí (to),a"(to)) = f (po,a,to). (56)

Будем предполагать, что выполнено соотношение

N

^2fn sin nxo = 0. (57)

n=1

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

t

f (xo)l(t) + J K(t, s)l(s) ds = ^(t), p € C([0, T]), (58)

o

где K(t, s) = -52nn1 nfn sin n(t - s) sin nxo, f (x) = X^N fn sin nx, fn определены в (56). Его единственное в пространстве C([0,T]) решение l(t) обозначим символом S (ipo,a,to ,Kt)).

"Зависимость функций от точек х^, ] = 0,... , N — 1, мы здесь и ниже для упрощения записи не отмечаем.

Теорема 6. Для любого набора функций х, aj, j = 1,..., N — 1, и точек to, Xk, k = 0,..., N — 1, удовлетворяющих указанным выше условиям, обратная задача 4 однозначно разрешима тогда и только тогда, когда выполнены следующие условия согласования:

N t • Í4- \

Е, , . / sin n(t — S) „, , , .

sinraj^^o.a.ío) / -S{a,t0,<p0{s)) ds = «jW.

n=1 0 П ( )

j = 1,..., N — 1, t € (to — 5,to + 5).

Замечание. При выполнении условий (59) для нахождения функции f (x) требуется решить две системы линейных уравнений с единой невырожденной основной матрицей; для нахождения ro(t) — решить уравнение Вольтерра второго рода (58) с ^(t) = ^(t), а функция п(t,r) = (f(xo))"1^x(í,r).

< Доказательство теоремы 6. Предположим, что пара функций (f, r) является решением обратной задачи. Как и при доказательстве теоремы 2 представим решение (x,t) в виде (8)-(13). Таким образом в силу теорем 1 и 3, а также соотношений (52), (53) получим систему

í [u0 + + UJ~2[U2 + V2]}x=xo =(P0 + ^¡<pi + ¿[<£>2 + X] + 0(UJ~2)] Q

\uo|x=xj = aj, j = 1,..., N — 1.

Приравнивая в первом уравнении (60) коэффициенты при и учитывая представление (37) функции u°, придет к системе

N

Е (t) sin nx° = <£o(t); n=1 (61) E fnAn(t) sinnxj = aj(t), j = 1,..., N — 1, t € [to — 5, to + 5].

Полагая в уравнениях последней системы t = to, f^n(to) = придем к системе (54). Как было отмечено выше, вектор ф находится отсюда однозначно. Продифференцировав уравнения (61) дважды по t и вновь подставляя t = to, f^n(to) = получим систему (55), откуда находим вектор f. Вопрос о нахождении функции r при известной f (x) исследован в теореме 2. Таким образом, нахождение функции ro(t) = S(^o, a, to,^'(t)) сведено к решению уравнения Вольтерра второго рода вида (58); а также r1(t, т) = (f(xo))~1-§piX(t>T)- Из проведенных рассуждений следует, что если обратная задача 4 разрешима, то она разрешима однозначно и в силу требования (53) условие согласования (59) выполнено.

Пусть теперь известно, что условие (59) выполнено. Определим f(x) и r(t, т) формулами, которые установлены в первой части доказательства теоремы. Тогда для них справедливы теорема 1 и решение задачи (1)-(3) представимо в виде (8)-(13), где

N } sin n(t-s)

u0(x,t) = У^ fn(ípo,a,to)smnx / -S(ip0, a, t0, <Po(s)) ds,

, J n

n=1 o

N i

«i(a;,í) = - fn(ipo,a,to)pot(0,0)-sin ni,

n

N N .

U2(x,t) = — Е fn(po,a,to)po(0,0) cos nt sinnx + ^ fn(<p0, a, ío)Poí sin -)

n

n= 1 n=1

N

ln\

V2 (x,t) = E fn(po,a, to) sin nxpo(t,T).

n=1

Покажем, что для функции пш будут выполнены условия (52), (53). Для этого, в силу теоремы 1, достаточно доказать равенства:

Uo(xo,t) = ^o(t), Ui(xo,t) = (£l(t), U2(xo,t) = (t), V2 (xo, t, t ) = x(t,T), uo(xj ,t) = aj (t).

Справедливость первого из них нами установлена в ходе предыдущей части доказательства данной теоремы. Второе и третье равенства выполняются согласно представлениям (50), (51) функций ^>i, ^>2 и теоремы 1. Четвертое равенство, очевидно, также справедливо. Последнее вытекает из условия согласования (59). Теорема 6 доказана. >

4.2. Пример. Рассмотрим обратную задачу (1)-(3) в случае N = 2. В качестве исходных данных возьмем следующие:

п п

to = 1, Хо = -, XI = -, 2 6

^>o(t) = sin t — t,

, , 1 л/3 1 л/3

aAt) = - smí--sm2t--1 H--1,

w 2 16 2 8'

X(t,T) = cos T.

Проверим для этих данных справедливость условий теоремы 6 (59). Система (54) в данном случае принимает вид

= sin 1 — 1;

откуда находим = sin 1 — 1, -02 = —g sin2 + Система (55) имеет вид

Íf1 = sin 1 — 1 — sin 1;

\fi + ^/2 = + 2^3 (-i sin 2 + i) + ^ sin 2,

откуда определим /1 = —1, /2 = 1. Справедливо соотношение (57): — sin | +sin7r = — 1 ф 0. Из уравнения Вольтерра второго рода

t

—ro(t) + У sin (t — s)ro(s) ds = — sin t

o

находим ro(t) = t. Теперь можно выписать условие согласования (59):

t t 1 í /3 í

—- / s sin (t — s) ds H—— / ssin2(í — s) ds = ai(í), t £ (to — 5,to + 5), 5 > 0.

oo

Легко проверяется его справедливость. Таким образом

f (ж) = — sin ж + sin2x, r0(t) = t, ri(í,r)=cos т.

Литература

1. Babich P. V., Levenshtam V. B. Direct and inverse asymptotic problems high-frequency terms // Asymptotic Analysis.—2016.—Vol. 97.—P. 329-336.

2. Бабич П. В., Левенштам В. Б., Прика С. П. Восстановление быстро осциллирующего источника в уравнении теплопроводности по асимптотике решения // Журн. вычисл. матем. и матем. физ.— 2017.—Т. 57, № 12.—С. 1955-1965. DOI: 10.7868/S0044466917120079.

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

4. Романов В. Г. Обратные задачи математической физики.—М.: МГУ, 1984.

5. Денисов А. М. Введение в теорию обратных задач.—М.: Наука, 1994.

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

7. Денисов А. М. Асимптотика решений обратных задач для гиперболического уравнения с малым параметром при старшей производной // Журн. вычисл. матем. и матем. физ.—2013.—Т. 53, № 5.— С. 744-752. DOI: 10.7868/S0044466913050049.

8. Денисов А. М. Задачи определения неизвестного источника в параболическом и гиперболическом уравнениях // Журн. вычисл. матем. и матем. физ.—2015.—Т. 55, № 5.—С. 830-835. DOI: 10.7868/S0044466915050087.

9. Камынин В. Л. Обратная задача одновременного определения правой части и коэффициента при младшей производной в параболическом уравнении на плоскости // Диф. уравнения.—2014.—Т. 50, № 6.—С. 795-806.

10. Бабич П. В., Левенштам В. Б. Восстановление быстро осциллирующего свободного члена в многомерном гиперболическом уравнении // Мат. заметки.—2018.—Т. 104, № 4.—С. 505-515. DOI: 10.4213/mzm12151.

11. Ильин В. А. О разрешимости смешанных задач для гиперболического и параболического уравнений // Успехи мат. наук.—1960.—Т. 15, № 2.—С. 97-154.

Статья поступила 8 августа 2020 г.

Бабич Павел Васильевич Математический институт им. В. А. Стеклова, младший научный сотрудник РОССИЯ, 119991, Москва, ул. Губкина, 8 E-mail: xblahblahc@gmail.com

Левенштам Валерий Борисович Математический институт им. В. А. Стеклова, ведущий научный сотрудник РОССИЯ, 119991, Москва, ул. Губкина, 8 E-mail: vlevenshtam@yandex.ru

Vladikavkaz Mathematical Journal 2020, Volume 22, Issue 4, P. 28-44

RECOVERY OF RAPIDLY OSCILLATED RIGHT-HAND SIDE OF THE WAVE EQUATION BY THE PARTIAL ASYMPTOTICS OF THE SOLUTION

Babich, P. V.1 and Levenshtam, V. B.1

xSteklov Mathematical Institute of RAS, 8 Gubkina St., Moscow 119991, Russia E-mail: xblahblahc@gmail.com, vlevenshtam@yandex.ru

Abstract. The initial-boundary problem for the one-dimensional wave equation with unknown rapidly oscillated right-handside is considered in the paper. The latter is represented as a product of two functions; the first function depends on the spatial variable and the second one depends on time and fast time variables.

Four different cases are considered: in two cases one of the factor-functions is known and in two other cases both factor-functions are unknown. In each of these cases, the inverse problems of recovering unknown functions from some information about partial asymptotics of the original problem with known data are posed and solved. This specified information consists, in general, in setting values for certain asymptotics coefficients in some spatial and/or time points. The use of some additional conditions (overdetermination conditions) in this form speaks of a fundamental difference between the above statements of inverse problems and the classics, where additional conditions are imposed on exact solutions. The construction of solutions asymptotics of the original problem with this approach act as direct problem. This approach to inverse problems with rapidly oscillated data in time is developed by the author over the past few years.

Key words: one-dimensional wave equation, rapidly oscillating absolute term, asymptotics of solution, inverse problem.

Mathematical Subject Classification (2010): 35L05, 35L20, 35R30.

For citation: Babich, P. V. and Levenshtam, V. B. Recovery of Rapidly Oscillated Right-Hand Side of the Wave Equation by the Partial Asymptotics of the Solution, Vladikavkaz Math. J., 2020, vol. 22, no. 4, pp. 28-44 (in Russian). DOI: 10.46698/s0301-1959-8380-s.

References

1. Babich, P. V. and Levenshtam, V. B. Direct and Inverse Asymptotic Problems High-frequency Terms, Asymptotic Analysis, 2016, vol. 97, pp. 329-336.

2. 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, no. 12, pp. 1908-1918. DOI: 10.1134/S0965542517120065.

3. Lavret'ev, M. M., Reznitskaya, K. G. and Yakhno, V. G. Odnomernye obratnye zadachi matematicheskoj fiziki [One-Dimensional Inverse Problems of Mathematical Physics], Novosibirsk, Nauka, 1982 (in Russian).

4. Romanov, V. G. Obratnye zadachi matematicheskoj fiziki [Inverse Problems of Mathematical Physics], Moscow, Nauka, 1984 (in Russian).

5. Denisov, A. M. Vvedenie v teoriyu obratnyh zadach [Introduction to the Theory of Inverse Problems], Moscow, Nauka, 1994 (in Russian).

6. Kabanikhin, S. I. Obratnye i nekorrektnye zadachi [Inverse and Ill-Posed Problems], Novosibirsk, Sibirskoe Nauchnoe Izdatel'stvo, 2008 (in Russian).

7. Denisov, A. M. Asymptotic Expansions of Solutions to Inverse Problems for a Hyperbolic Equation with a Small Parameter Multiplying the Highest Derivative, Computational Mathematics and Mathematical Physics, 2013, vol. 53, no. 5, pp. 580-587. DOI: 10.1134/S0965542513050047.

8. Denisov, A. M. Problems of Determining the Unknown Source in Parabolic and Hyperbolic Equations, Computational Mathematics and Mathematical Physics, 2015, vol. 55, no. 5, pp. 829-833. DOI: 10.1134/S0965542515050085.

9. Kamynin, V. L. Inverse Problem of Simultaneously Determining the Right-hand Side and the Coefficient of a Lower Order Derivative for a Parabolic Equation on the Plane, Differential Equations, 2014, vol. 50, no. 6, pp. 792-804.

10. 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.

11. Ilin, V. A. The Solvability of Mixed Problems for Hyperbolic and Parabolic Equations, Russian Mathematical Surveys, 1960, vol. 15, no. 1, pp. 85-142. DOI: 10.1070/RM1960v015n02ABEH004217.

Received August 8, 2020 Pavel V. Babich

Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow 119991, Russia, Junior Researcher E-mail: xblahblahc@gmail.com

Valeriy B. Levenshtam

Steklov Mathematical Institute of RAS,

8 Gubkina St., Moscow 119991, Russia,

Leading Researcher

E-mail: vlevenshtam@yandex.ru