CC BY
16
УДК 517.95 DOI: 10.14529/mmph170202
ОБ ОДНОЙ НЕЛОКАЛЬНОЙ ОБРАТНОЙ КРАЕВОЙ ЗАДАЧЕ ДЛЯ ПАРАБОЛИЧЕСКОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА
Я. Т. Мегралиев, А.Н. Сафарова
Бакинский государственный университет, г. Баку, Азербайджан E-mail: [email protected]
Исследуется разрешимость обратной краевой задачи с неизвестным коэффициентом, зависящим от времени, для параболического уравнения второго порядка с неклассическими краевыми условиями. Суть задачи состоит в том, что требуется вместе с решением определить неизвестный коэффициент. Задача рассматривается в прямоугольной области. Дается определение классического решения поставленной задачи. Сначала рассматривается вспомогательная обратная краевая задача и доказывается эквивалентность (в определенном смысле) исходной задачи. Для исследования вспомогательной обратной краевой задачи сначала используется метод разделения переменных. Далее, рассматривается спектральная задача для обыкновенного дифференциального уравнения второго порядка с интегральными условиями второго рода. После применения формальной схемы метода разделения переменных решение прямой краевой задачи (при заданной неизвестной функции) сводится к решению задачи Коши. После этого решение задачи Коши сводится к решению некоторой счетной системы интегро-дифференциальных уравнений относительно коэффициентов Фурье. В свою очередь, последняя система относительно неизвестных коэффициентов Фурье записывается в виде одного интегро-дифференциального уравнения относительно искомого решения. Затем, используя соответствующие дополнительные условия обратной вспомогательной краевой задачи, для определения неизвестных функций получаем систему двух нелинейных интегральных уравнений. Таким образом, решение вспомогательной обратной краевой задачи сводится к системе двух нелинейных интегро-дифференциальных уравнений относительно неизвестных функций. Строится конкретное банохово пространство. Далее, в шаре из построенного ба-нохового пространства с помощью сжатых отображений доказывается разрешимость системы нелинейных интегро-дифференциальных уравнений, которая также является единственным решением вспомогательной обратной краевой задачи. Используя эквивалентность задач, получены существование и единственность классического решения исходной задачи.
Ключевые слова: обратная краевая задача; параболическое уравнение; метод Фурье; классическое решение.
Введение
Многие задачи математической физики, механики сплошных сред являются краевыми задачами, сводящимися к интегрированию дифференциального уравнения или системы уравнений в частных производных при заданных краевых и начальных условиях. За последнее время в связи с запросами различных технологических процессов, а так же задачами управления движением летательных аппаратов в верхних слоях атмосферы стало актуальным формирование математических моделей этих явлений, содержащих классические краевые условия [1].
Первая работа, содержащая начально-краевую нелокальную задачу для некоторых семейств эллиптических уравнений, исследуется в [2]. В дальнейшем для общих классов эллиптических уравнений, описывающих многие явления естествознания, поставлены пространственно нелокальные задачи и обоснованы методы их решения [3, 4].
В этой работе с помощью метода Фурье и принципа сжатых отображений доказаны существование и единственность решения нелокальной обратной краевой задачи для параболического уравнения второго порядка.
Постановка обратной краевой задачи
Рассмотрим обратную краевую задачу нахождения решения и неизвестного коэффициента параболического уравнения
ax(t)ut (x, t) + a0( t)u( x, t) = ux (x, t) + f (x, t), DT = {(x, t):0 < x < 1, 0 < t < T} , при условиях:
u(x, 0) + du(x,T) = j(x) (0 < x < 1), Ux (0, t) = 0 (0 < t < T),
du(1, t) + Ju(x, t)dx = 0 (0 < t < T),
(1)
(2)
(3)
(4)
и(0,г) = И(г) (0 < г < Т), (5)
где — > 0,£> 0 - заданные числа, а1(г) > 0, /(х,г), р(х), И(г) - заданные функции, а и(х,г) и а0 (г) - искомые функции.
Определение. Пару {и(х,г),а0(г)} функций и(х,г) и а0(г) будем называть классическим решением задачи (1)-(5), если выполняются следующие условия:
1) функция и(х,г) и ее производные и((х,г), их(х,г), ихх(х,г) непрерывны в ВТ ;
2) функция а0(г) непрерывна на [0,Т];
3) уравнение (1) и условия (2)-(5) удовлетворяются в обычном классическом смысле.
Справедлива следующая лемма.
Лемма 1. Предположим, что 3> 0, функция а1(г) положительна и непрерывна на [0,Т], функция р(х) непрерывна на [0,1], функция /(х, г) непрерывна по совокупности переменных в ВТ , И(г) е Сх[0,Т], И(г) Ф 0 (0 < г < Т). Кроме того, пусть выполняется условие согласования
р(0) = И(0) + 8И (Т). (6)
Тогда задача нахождения классического решения задачи (1)-(5) эквивалентна задаче определения функций и(х,г)е С2,1 (ВТ ) и а0(г)е С[0,Т], из соотношений (1)-(4)
а (г)И (г) + а0 (г)И(г) = ихх (0, г) + /(0, г) (0 < г < Т). (7)
Доказательство. Пусть {и(х,г),а0(г)} - классическое решение задачи (1)-(5). Предполагая, что И(г) дифференцируема, из (5) получаем:
и, (0, г) = И (г) (0 < г < Т). (8)
Подставляя х = 0 в уравнения (1), имеем:
ах(0и,(0,г) + а0(0и(0,г) = ихх(0,0 + /(0,г) (0<г<Т). (9)
Из последнего соотношения, в силу (5) и (8), получаем , что выполняется (7).
Теперь пусть {и( х, г), а0(г)} - решение задачи (1)-(3), (7), и удовлетворяется условие согласования (6). Из (7) и (9) имеем:
а1 (г)—(и(0, г) - И(г)) + а0 (г)(и(0, г) - И(г)) = 0 (0 < г < Т).
—г
Примем обозначения
у(г) ° и(0,г) - И(0 (0 < г < Т) и последнее соотношение перепишем в виде:
аДО у (г) + а0(г) у(г) = 0 (0 < г < Т). Из (10), с учетом (2) и (6), нетрудно видеть, что
у(0) + Зу(Т) = р(0) -(И(0) + ЗИ(Т) ) = 0 . Очевидно, что общее решение (11) имеет вид:
y(t) = с exp Отсюда, с учетом (12), получаем:
Г 00(1) dT
J a^T) 0
,(0 < t < T).
r t
1 + d exp J aot) dt J 01(T) = 0
V _ 0 _
(10) (11) (12)
(13)
(14)
t
с
Мегралиев Я.Т., Об одной нелокальной обратной краевой задаче
Сафарова А.Н. для параболического уравнения второго порядка
В силу 8> 0 из (14) получим с = 0 , подставляя его в (13), заключаем, что у(^) = 0 (0 < ^ < Т). Следовательно, из (10) ясно, что выполняется и условие (5). Лемма доказана.
Вспомогательная факты
Задача на собственные значения [6]:
у'(х) + 1у(х) = 0, 0 < х < 1, (15)
у(0) = 0, у'(1) = dЛ у(1), й > 0 (16)
имеет только собственные функции ук (х) = 72 ^Ц/Цх), к = 0,1,... с неотрицательными собственными числами 1 из уравнения tg^/l = — йЛ .
Решая однородную задачу, соответствующую задаче (1)-(4), методом разделения переменных, приходим к спектральной задаче для уравнения (15) с граничными условиями
1
1 +1 у (х) йх = 0, й >1
0
Ее решением будет система {ук (х)}¥=1, т. е. система собственных функций задачи (15), (16) без функций, соответствующих собственному значению 1 = 0.
Известно [6], что, начиная с некоторого номера N, имеют место оценки
к/1 —Р/2 — (к — 1)р<—(18) 1 (йрк)
Сравним систему {Ук (х)} без функции у0( х) с известной системой {ук(х)},Ук(х) = \Z2cos, где = р + Р(к — 1), к = 1,2,..., которая является ортонормиро-ванным базисом в Х2(0,1). Аналогично рассуждениям [5], для к > N, с учетом (18), имеем
/(0) = 0, dy(1) + jy(x)dx = 0, d > 0. (17)
Ik(x)-^(x)i (0,) <- 2
lli2(0,1) 3(dkp) Таким образом,
¥ 2 1
IIk (x) - Vk (x)^(04) < (19)
k=N 9d
откуда следует сходимость ряда из левой части этого неравенства. Имеет место следующая лемма.
Лемма 2 [6]. Биортогонально сопряженная система {zk(x)}, k = 1,2,... определяется формулой
zk (x) = \/2 (cos(1/lx) - )/(1 + dcos2 ).
Теорема 1 [6]. Система {yk(x)},k = 1,2,... образует базис Рисса в пространстве L2(0,1).
Теперь пусть hk(x)= sin^x), xk(x) =4lsin(4mkx), k = 1,2,.... Тогда аналогично (19) имеем
¥ 2 1
I hk(x)-4(<(0Д) <-2. (20)
k=N 9d
Предположим, что g(x) e L2(0,1). Тогда соответственно с учетом (19), (20) получаем:
( ¥ 1 V/2
I (j g (x) yk (x)dx)2
V k=1 0 J
£ M||g ( x)| L2(0,1), (21)
(¥ 1 Y/2
I (j g (x)hk (x)dx)2
V k =1 0 J
£ M\\g (x^^r (22)
где
M = 1 N(1 + N) + 2 + -
9d2
12
Пусть j(x) e C[0,1], g'(x) e L2(0,1) и J(g) ° dg(1) + J g (x)dx = 0. Тогда имеем
0
V2 1 1
gk = (g (x), ¿k (x)) = -——J g'(x) sin^^Hx)dx,
где
Отсюда, в силу (22), находим
41;
ak = 1 + d cos 2Л > 1.
X (4\\gk |)2 £ M||g'(x)|
vk=1 J
(23)
¿2(0,1) •
(24)
Предположим, что j(x) e Cx[0,1], g"(x) e L2(0,1), J(g) = 0, g'(0) = 0. Тогда из (23) получаем
>/2 1,, 1
gk =
ak \
В силу (21), из (25), находим
(g'(1)cos(Vl) - Jg'(x)cos(Tlx)dx).
0
\1/2
XI\gk |)2 £ 2«o |g'(1) + V2M||g'(x)|
V k=1
¿2(0,1) •
(25)
(26)
Теперь, пусть g (x) e W23(0,1), J(g) = 0, g'(0) = 0, g'(1) + dg'(1) = 0 . Тогда из (24) имеем
V2 1 1
gk =-о П~ Jgx)sm(4\x)dx.
ak 11
Отсюда, с учетом (20), находим
\1/2
¿2(0,1) •
11(\4ik\gk|)2 <щ^(х)\
V к=1 )
Теперь введем следующие пространства:
1. Пусть В^т [7] обозначает совокупность всех функций и(х,г) вида
(27)
<( x, t) = X uk (t) yk (x)
k=1
рассматриваемых в DT , где функции uk (t) e C[0,T], и удовлетворяют условию
jz iVilk (t)|| C[0T ])21 <+¥.
k=1
В множестве B^r норма определяется формулой:
llu( x, t)\\вп = i X Ik(t C[0,r ])
,12
k=1
2. Обозначим топологическое произведение X C[0,T] через E?2 с нормой
II43 =1 lu(x,0||в!/2 +1 k(t)llc[0,r] .
3/2 3/2
Известно, что эти пространства B2'T и ET' банаховы.
1
2
Об одной нелокальной обратной краевой задаче для параболического уравнения второго порядка
О разрешимости обратной краевой задачи
Формально разыскивая первую компоненту и(х,*) решения {и(х,*),а0(*)} задачи (1)-(3), (7)
в виде
приходим к задаче:
где
/(х, *) = £ щ (*) Ук (х)
к=1
а(0%(*) + 1и(*) = ^(Г,°0,и) (к = 1,2,...;0<*<Т), ик (0) = фк ,(к = 1,2,...),
(28)
(29)
(30)
ик (*) = |и(х, *)¿к (х)йх, ^ (*; и, а) = /к (0 — а (*)ик (Г),
0
11 /кС) = |/(х,*)¿к(х)йх,$к = ]Р(х)¿к(х)йх (к = 1,2,...),
причем
ук (х) = \/2cosЦ/—х), ¿к (х) = \/2 (cos(ЛУ—х) — cos(Л—" ))/(1 + й cos2.N/—). Далее, из (29), (30),считая, что ах(*) > 0 и б> 0 находим:
ик(*)=
Г
п ^С*) * — Г--
<Рке 0 + Г
Т
—I
1 + бе 0
^(т)
0, и ) •|а|ч„/ 0 е т йт —
-I
• Лкйз
бе 0^(т;а0,и) 1 а^)
-I
1 + бе
г 4д 0 ц(т)
0 *)
е т ^ 'йт (к = 1,2,...). (31)
Для определения первой компоненты и( х, *) решения {и( х, *), а0(*)} задачи (1)-(3), (7) под-
ставляем выражения ик(*) (к = 1,2,...) из (31) в (18):
1( х, *)=£
к=1
Рке
к
Г Лкйя *
"I ГГ г Лкйз
0 а1(^ ,Л -1—
+
'^к (т; а0, и) | а^о)
е т 1 йт —
— г —кй*
бе о ^ тг т Г
г Яийя
— Г —ка
Рк (т; а0, и) т а (
0 аДт)
1 + бе
-11^ 0 0 а1(
0 а1(т)
1 + бе """ Учитывая (28), из (7) находим, что
а0 (*) = к-1 (*) I к\*) — /(0, *) — 72£ —ик (*) |.
-е т 1 йт
Ук (х). (32)
(33)
к=1
Далее, после подстановки выражения ик(*) из (31) в (33) для определения второй компонен-
ты а0(*) решения {и(х,*),а0(*)} задачи (1)-(3), (7) получаем:
а0(*) = ) \
)к'(г) — / (0, *)—л/2 £—
^ — г —кй* 1 чО)
Рке 0
к=1
1 + бе
—I
—кй* 0 а1(
+
• —кй*
+(т;о0,и)е { —(*)йт— бе I^ т К (та и) /
0
аДт)
—I0 а^т)
0 ЧО)
Кк(т;аo,и)е !т
1 + бе
(34)
Теперь докажем следующую лемму.
Лемма 3. Если {и( х, *), а0(*)} является решением задачи (1)-(3), (7), то функции
0
0
(t) = Ju(x, t)zk(x)dx (k = 1,2,...).
т. е. коэффициенты Фурье функции и( х, 1) по системе {ук (х)], к = 1,2,... удовлетворяют на [0,Г ] счетной системе (31).
Доказательство. Предположим, что {и(х, 1), а0(г)] - решение задачи (1)-(3), (7).Тогда оче-
видно, что
2Jut(x,t)zk(x)dx = d 2ju(x,t)dx = uk(t) (k = 1,2,...),
( 1
(35)
0 о У
причем ик (г) е С[0,Г].
Далее, пользуясь граничным условием (3), дважды интегрируя по частям, находим: 1 л/21
| ихх (х, г)^ (х)йх = — | ихх (х, г) ( 008(^/1 х) - 008 уЦ ) dx =
k 0
V2
=--(d1ku(1, t )oosJT + 1k J u (x, t)oos(Jxkx)dx) =
a i
V2
a
1k (du (1, t) + J u (x, t )dx) oosVl
+
+1k J u(x, t) (oos^x) - oos<J\ ) dx
= -1% (t)
(36)
где
ak = 1 + d oos 24\ > 1.
Умножив уравнение (1) на функцию zk(x) (k = 1,2,...), проинтегрировав полученное равенство по x от 0 до 1 и учитывая (35), (36), получаем уравнение (29).
Аналогично из (2) получаем, что выполняется условие (30).
Таким образом, uk (t) (k = 0,1,...) является решением задачи (29), (33). А отсюда непосредственно следует, что функции uk (t) (k = 0,1,...) удовлетворяют на [0,T ] системе (31). Лемма доказана.
Из леммы 3 вытекает следующее
Следствие. Задача (1)-(3), (7) не может иметь более одного решения, если система (32), (34) имеет единственное решение.
3/2
В пространстве ET рассмотрим оператор
Здесь
F(u,a) = (Ox(u,a),Ф2(u,a)} .
Oj(u, a) = u(x, t) ° Iuk (t)sin1kx, Ф2(u, a) = a0(t),
k=1
а йк(1) (к = 1,2,...) и а0(г) - определяются соответственно из правых частей (31) и (34). С помощью несложных преобразований находим, что справедливы неравенства:
Г
V k=1
\1/2
2
Z (A>№k (t)||c[0T ] ) I (lkV1 jkl)
k=1 ) V k=1
1/2 1
+
) Oi(t)
(1+8)43
x
C[0,T ]
x
( T
J
V 0 k=1
> 1
- 2 (-- I \
VT JZ (lk41k\fk (7)1) dt + T||a0(t)| C[0,T ] I (iVHk (t)|| C[0,T ])
V k =1
л 2
(37)
u
k
0
1
0
1
0
0
2
Об одной нелокальной обратной краевой задаче для параболического уравнения второго порядка
10 (*)
<
С[0,Т ]
к )
С[0,Т ]
( ¥ У2
11(0к'(0 — /(0,г)||С[0Т£ —
V к=1
у
£ |рк|) V к=1
л 12
+
11(г)
(1+б)
С[0,Т ]
4Т
Т
\ 1
!£(\Ш/к(т)|)2йт + Т||а0(*)|с[0,т] £(\Цик(*)||С[0,т/
V 0 к=1 у V к=1
+
> 2 ^
Предположим, что данные задачи (1)-(3), (7) удовлетворяют следующим условиям:
1
1. Р(х) еЖ,(3)(0,1), йр(1) +1 р( х)йх = 0, Р(0) = 0, Р(1) + йр(1) = 0;
0
2. / (х, 0, /х (х, 0, /хх (х, 0 е С (Вт ), /ххх (х, X) е ^(В ),
1
й/(1,X) +1/(х,г)йх = 0, /х(0,0 = 0, /х(1,0 + й/хх(1,0 = 0(0 < * <Т); 0
3. к(0е С*[0,Т], к(0 * 0 (0 < г <Т).
В силу (25) и (27), из (37) и (38) соответственно находим:
\\и(х, 0||в3/2 < А (Т) + Вх (Т)Т |к (г)||С[0 Т] ||и(х, г)||в32,
II В2,т 11 11С[0,Т ] 11 2,т
\\а(г)||С[0,Т] < ВХ(Т) + В2(Т)Т||а0 (г)||_ „ 1 ||и(х,г)||^ ,
(38)
С[0,Т ] 1
где
а1(т ) = 4ъм
\\Р"(х)11 +
а1(*)
(1 + б)уТ\\/ххх (х, X )|
С[0,Т]
¿2 ( Вт )
В (т )=7э
а1(*)
(39)
(40)
(1 + б),
А2(Т) = 111|а1(*)к'(X) — /(0,*)||С[0,т] + Л/2(£—
С[0,Т ]
к=1
М| \р" (х)|
+
1
а1(*)
(1 + б)у1т\\/ххх ( х, г )|
¿2 ( Вт )
>, В2(Т) = к_1(Х)
¿2(0,1)
1
С[0,Т ] +
С[0,Т ]
Л
£——2 V к=1 У
С[0,Т]
Введя обозначения
А(Т) = А (Т) + А2 (Т), В(Т) = В (Т) + В2 (Т) из неравенств (39), (40), получаем
Ци^ОЦ +11а(г)С[0,т] < А(Т) + В(т)Т Ц0 (0|С[0,т]1 |и(x, ОЦ .
Таким образом, справедлива следующая
Теорема 2. Предположим, что выполняются условие 1-3 и неравенство
(А(Т) + 2)2В(Т) < 1.
3/2
2
(41)
(42)
Тогда в шаре К = КЯ (||цЕ3/2 < Я = А(Т) + 2) из Е3 задача (1)-(3), (7) имеет единственное
решение.
Доказательство. Запишем систему уравнений (32), (34) в виде
г = Фг,
(43)
где г = {и,а0}, Фг = {Ф1г,Ф2г}, а Фг-(и,а0 )(/ = 1,2) определены правыми частями уравнений (32), (34) соответственно.
II II 3/2
Оператор Ф(и, а0 ) рассмотрим в шаре К = КЯ (||ЦЕ3/2 < Я = А(Т) + 2) пространства ЕТ . Аналогично (41) получаем, что для любых г, г1, г2 е КЯ справедливы оценки:
1
1
1
фф/2 < A(T) + B(T)т||а0 (t)||i||u(x,t)\\B3i2,
"et 11 iicro,t i11 b2,t
+ 1 Ui (x,t) -u2(x,t)|| 3/2 I.
II 2,t J
IFz -ФЧЕз12 < B(T)TR l||ao1(t) - ao2(t)|cro,T ]
(44)
(45)
Из неравенств (44) и (45), в силу (42), следует, что оператор Ф является в шаре К = КЯ сжатым. Следовательно, оператор Ф имеет в шаре К = КЯ единственную неподвижную точку {и,а0 }, которая является единственным решением уравнения (43). Очевидно, что это решение также является единственным решением системы (32), (34) в шаре К = КЯ .
3/2
Из структуры пространства Б2'т следует, что функции и(х,t), их (х,¿) и ихх (х,¿) непрерывны в области Вт .
В силу (24) из (29) легко заметить, что
( ¥ Л12
I! (4\¥k (t)llcroT i)2
Kk=1
1 (
^(t) cro,T i V
! (lkVIk||uk(t cro,T 1)
\1/2
V k=1
+
+M
f (x, t)|
cro,T i
+ ao(t)
||u( x, t )|| B32
^(0,1) 11 " "С[0,т ]'■ "Б2,т
Из последнего соотношения следует, что и1 (х, t) непрерывна в Вт .
Нетрудно проверить, что уравнение (1) и условия (2)-(4) и (7) выполняются в обычном смысле. Таким образом, решением задачи (1)-(3), (7) является пара функций {и (х, t), а0^)} . В
силу следствия леммы 3 оно единственно в шаре К = КЯ .Теорема доказана.
С помощью леммы 1 и теоремы 2 получаем однозначную разрешимость задачи (1)-(5).
Теорема 3. Пусть выполнены условия теоремы 2, и удовлетворяются условия согласования
<р(0) = И(0), у(0) = И'(Т).
II II 3/2
Тогда в шаре К = КЯ (||цЕ3/2 £ Я = А(Т) + 2) из пространства Ет' задача (1)-(5) имеет единственное классическое решение.
Литература
1. Гордезиани, Д.Г. Решения нелокальных задач для одномерных колебаний среды / Д.Г. Гордезиани, Г.А. Авалишвили // Математическое моделирование. - 2000. - Т. 12, № 1. -С.94-103.
2. Бицадзе, А.В. О некоторых простейших обобщенных линейных эллиптических задач / А.В. Бицадзе, А.А. Самарский. - ДАН СССР. -1969. - Т. 85, № 4. - С. 739-740.
3. Гордезиани, Д.Г. Об одном методе решения краевой задачи Бицадзе-Самарского / Д.Г. Гордезиани // Семинар Института прикладной математики при Тбилисском университете. -1970. - № 2. - С. 38-40.
4. Гордезиани, Д.Г. О разрешимости одной краевой задачи для нелинейного уравнения эллиптического типа / Д.Г. Гордезиани, Д.З. Джиоев. - Сообщ. АН ГССР. - 1972. - Т. 68, № 4. -С. 289-292.
5. Капустин, Н.Ю. О сходимости спектральных разложений функций из класса Гёльдера для двух задач со спектральным параметром в граничном условии / Н.Ю. Капустин, Е.И. Моисеев // Дифференциальные уравнения. - 2000. - Т. 36, № 8. - С. 1069-1074.
6. Моисеев, Е.И. Об особенностях корневого пространства одной спектральной задачи со спектральным параметром в граничном условии / Е.И. Моисеев, Н.Ю. Капустин // Докл. АН. -2002. - Т. 385, № 1. - С. 20-24.
7. Худавердиев, К.И. Исследование одномерной смешанной задачи для одного класса псевдогиперболических уравнений третьего порядка с нелинейной операторной правой частью / К.И. Худавердиев, А.А. Велиев. - Баку: Чашыоглы, 2010. - 168 с.
Поступила в редакцию 15 ноября 2016 г.
2
Об одной нелокальной обратной краевой задаче для параболического уравнения второго порядка Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2017, vol. 9, no. 2, pp. 13-21
DOI: 10.14529/mmph170202
ON ONE NONLOCAL INVERSE BOUNDARY PROBLEM FOR THE SECOND-ORDER PARABOLIC EQUATION
Ya.T. Mehraliev, A.N. Safarova
Baku State University, Baku, Azerbaijan E-mail: [email protected]
The paper is focused on solvability of an inverse boundary problem with an unknown coefficient which depends on time for a second-order parabolic equation with non-classical boundary conditions. The idea of the problem is that together with the solution it is required to determine the unknown coefficient. The problem is considered in the rectangular area. The paper introduces a classical solution of the set problem. At first, an auxiliary inverse boundary problem is examined and the equivalence (in some sense) of the original problem is proved. First, we apply a method of variable separation to analyze the auxiliary inverse boundary problem. Then, we examine a spectral problem for an ordinary second-order differential equation with integral conditions. Having used a formal scheme of the method of variable separation, the solution of a direct boundary problem (in case of specified unknown function) resolves itself into solution of Cauchy problem. After that the solution is limited to the solution of a countable system of integro-differential equations in Fourier coefficients. In its turn, the last system regarding unknown Fourier coefficients is recorded in the form of an integro-differential equation in the desired solution. Using relevant additional conditions of the auxiliary inverse boundary problem, we obtain a system of two nonlinear integral equations for defining unknown functions. Thus, the solution of the auxiliary inverse boundary problem comes down to the system of two nonlinear integro-differential equations in unknown functions. The specific Banach space is designed. Then, in the sphere made of the Banach space we with the help of contracted mapping prove the solvability of the nonlinear integro-differential equations set, which is a unique solution of the additional inverse boundary problem. Using the equivalence of problems, it is concluded about existence and uniqueness of a classical solution of the original problem.
Keywords: inverse boundary problem; parabolic equation; Fourier method; classical solution.
References
1. Gordeziani D.G., Avalishvili G.A. Matematicheskoe modelirovanie, 2ooo, Vol. 12, no. 1, pp. 94-Ю3. (in Russ.).
2. Bitsadze A.V., Samarskiy A.A. DANSSSR, 1969, Vol. 85, no. 4, pp. 739-74o. (in Russ.).
3. Gordeziani D.G. Seminar Instituta prikladnoy matematiki pri Tbilisskom universitete (Seminar of the Institute of Applied Mathematics at Tbilisi University), 197o, no. 2, p. 38-4o. (in Russ.).
4. Gordeziani D.G., Dzhioev D.Z. O razreshimosti odnoy kraevoy zadachi dlya nelineynogo uravneniya ellipticheskogo tipa (On the solvability of a boundary value problem for a nonlinear equation of elliptic type). Soobshch. ANGSSR (Communication of AN GSSR), 1972, Vol. 68, no. 4, pp. 289-292. (in Russ.).
5. Kapustin N.Yu., Moiseev E.I. Convergence of spectral expansions for functions of the holder class for two problems with a spectral parameter in the boundary condition. Differential Equations, 2ooo, Vol. 36, Issue 8, pp. 1182-1188. DOI: 1o.1oo7/BFo2754186
6. Moiseev E.I., Kapustin N.Yu. Doklady akademii nauk, 2oo2, Vol. 385, no. 1, pp. 2o-24. (in Russ).
7. Khudaverdiev K.I., Veliev A.A. Issledovanie odnomernoy smeshannoy zadachi dlya odnogo klassa psevdogiperbolicheskikh uravneniy tret'ego poryadka s nelineynoy operatornoy pravoy chast'yu (The study of one-dimensional mixed problem for one class of quasi-hyperbolic third-order equations with a nonlinear operator right side). Baku, Chashyogly Publ., 2o1o, 168 p. (in Russ).
Received November 15, 2016
