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

УДК 517.9

О задаче идентификации функции источника в системе уравнений составного типа

Юрий Я. Белов*

Институт математики, Сибирский федеральный университет, Свободный 79, Красноярск, 660041,

Россия

Получена 18.05.2011, окончательный вариант 25.06.2011, принята к печати 10.07.2011

Исследованы задачи идентификации функции источника для полуэволюционной системы двух уравнений в частных производных, одно из которых является параболическим, второе — эллиптическим. Рассмотрены задача Коши и первая краевая задача. Исходные задачи аппроксимируются задачами, в которых эллиптическое уравнение заменяется параболическим, содержащим малый параметр е > 0 при производной по времени.

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

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

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

данных задачи доказана "в целом" методом слабой аппроксимации [1,2]. Периодичность

£

решений ш доказывается расщеплением исходных задач на ряд задач, компоненты которых являются периодическими по х и равномерно сходятся при стремлении параметра расщепления к нулю к периодическим по х функциям ш, являющимся решениями аппроксимирующих задач. Условия периодичности решений ш позволяют доказать равномерные по е оценки решений ш в нормах Ск), <^т = [0, Т] х [0, Ь], и равномерную в <^т сходимость ш к ш. Получены оценки скорости сходимости.

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

в [3].

Изучению прямых задач для систем составного типа посвящены работы различных авторов [4-10].

Обратные задачи для эволюционных систем составного типа см., например, в [11-14].

* [email protected] © Siberian Federal University. All rights reserved

Рассмотрим в полосе П[0,т] = {(t, x)| 0 ^ t ^ T, —то < x < +то}, T > 0 — const, систему уравнений

с данными Коши

ь ь ь ь „

Ut + ацм + ai2V = ^iu^ + f,

evt + a2iUU + a22v = M2vxx + gF, e — const, e G (0,1],

U(0,x)= u0(x), V(0,x) = v0(x), —то < x < +то.

(1)

(2)

В (1) коэффициенты а? = а?(t), i,j = 1, 2, заданы на отрезке [0, T], = const > 0, i = 1, 2, функции f, F заданы на П[о,т], функция F(t,x) удовлетворяет при x0 G (0, l), l > 0 — const, условию

F(t,x0) > J, J> 0 — const,t G [0,T].

(3)

Требуется найти функции и = и(£, х), V = V(£, х), $ = $(£) при дополнительном условии (условие переопределения)

V(¿,х0) = ф(£), ф(£) е с2[0, т],

где ф(£) - заданная на [0, Т] функция.

Предположим выполнение следующих условий:

(4)

условие согласования

v0(x0) = ф(0);

(5)

функции aij(t), i,j = 1, 2, дважды непрерывно дифференцируемы на отрезке [0, T]:

G C2[0,T], i,j = 1, 2;

(6)

ли\ ( aii(t) ai2(t) \ матрица A(t) = порождает симметрическую, коэрцитивную оили-

^ a2i(t) a22(t) J

нейную форму a(t,e,x) = (A(t)e,x):

a(t,e,x) = a(t,x,e) ve,x G E2, i(t,e,e) > «lei2 ve = (?i,?2) g E2, t G [0,t], к > 0 — const.

(7)

Рассмотрим четное число р ^ 6. Предположим, что функции и0, V0, /, F имеют непрерывные производные, входящие в (8), и удовлетворяют условиям

d j д m

ixj dtm

+

F(t, x)

+

ij dm

f (t,x)

+

д? UJ(x)

+

ixj itm"

< C, j = 0, ...,p + 6; m = 0,1, 2, (t,x) G QT.

(8)

В (8) и ниже через С будем обозначать постоянные, не зависящие от е.

Через Ка'к1'к2 (П[0,Т]) обозначим пространство вектор-функций (у(£, х), ф(£, х), х(£)), определенных в П[0,т] х П[0,т] х [0, Т] соответственно и таких, что в П[0,т] функции у, ф непрерывно дифференцируемы по х до порядка I, функция ^ непрерывно дифференцируема по £ до порядка &1, функция ф непрерывно дифференцируема к2 раз по £ и функция х непрерывно дифференцируема d раз на [0, Т].

Через К^г'к1'к2 (фт) обозначим К^г'к1'к2(П[0,Т]), где вместо П[0,Т] следует рассматривать дт = [0,Т] х [0,1].

При некоторых дополнительных условиях мы:

а

докажем существование достаточно гладкого решения и, V, д задачи (1), (2), (4) в П[о,т] при любом е > 0;

при условии периодичности по х и нечетности входных данных /, ^, и0, V0 докажем существование достаточно гладкого решения задачи определения и, V, д в Qт = [0, Т] х [0,1] при первом краевом условии

U(t, 0) = V(t, 0) = U(t,L) = V(t,L) = 0, t e [0,T];

(9)

докажем существование решения u, v, g первой краевой задачи (10), (20), (40), (90), где u = lim U, v = lim V, g = lim g, и через (10), (20), (40), (90) обозначены соответственно

е^0 е^0 е^0

(1), (2), (4), (9) при £ = 0 ( при U = и, V = v,g = g);

е е е

получим оценку скорости сходимости и, v, g к и, v, g соответственно при £ ^ 0.

Предположение 1. Предположим, что входные данные и°(х), «°(х), /(¿, х), ^(¿,х) — периодические по х функции и ряды

u0(x) = ^ ak sin — x, v0(x) = ^ ßk sin — x,

k=i L k=i L

f (t, x) = £ fk (t) sin — x, F(t, x) = £ Fk (t) sin — x.

L k=i L

(10)

k=i

сходятся равномерно соответственно в [0,1] и QT вместе со своими производными по х до порядка р + 4.

Имеют место следующие теоремы. Теорема 1. При выполнении условий (3), (5)-(8) задача (1), (2), (4) имеет единственное решение (и, V, д) класса К1Р+4'1'1(П[°,Т]), удовлетворяющее соотношениям

p+4 /

м

j=0 V

дj е . . — u(t,x)

+

3j е. ,

dxj v(t'x)

+

д е/, ч öiv(t'x)

+ ||g||ci[0,T] + < с(£), (t,x) e П[0,Т].

д е, . dtu(t,x)

+

(11)

Постоянная С(е) в (11) зависит, вообще говоря, от е и входных данных, представление функции д см. в (22).

Теорема 2. При выполнении предположения 1 и условий теоремы 1 при любом фиксированном е £ (0,1] компоненты и, V 'решения (и, V, д) задачи (1), (2), (4) являются периодическими функциями по переменной х и удовлетворяют условиям

d2mU(t, 0) d2mU(t, L) _ d2mv(t, 0) д2mv(t, L)

dx2m

dx2m

dx2m

dx2m

= 0, m = 0,1, ...,p/2 + 2. (12)

dm дj е дm dj е Замечание 1. Из (11) и системы (1) следует, что дт u(t,x), ^tm я-jv(t, x), 2m+j ^

p + 4, существуют, непрерывны в П[0,Т] и

дtm дxj

д m д j

дtm дxj

(t, x)

+

д m д j

дtm дxj

(t, x)

^ с(£) при (t, x) e П[0,Т].

(13)

Доказательство теорем 1,2 можно провести на основе метода расщепления [11, 12]. Периодичность и, V в теореме 2 доказывается в силу (10) расщеплением задачи (1), (2), (4)

£ £

на ряд задач, компоненты решений которых мт, Vх являются периодическими по х, удовлетворяют (12) и равномерно сходятся при т ^ 0 к периодическим по х функциям и, V, удовлетворяющим (12).

дк

Пусть Mk = max

Qt

ik

ixk F (t,x)

ixkf (t,x)

m-k = max

Qt

выполненными условия теорем 1, 2 и следующее предположение: существует такая постоянная в > 0, что имеют место неравенства

k = 0,1,... ,p + 4. Ниже считаем

к > ^2li/2M2/2Je,

(14)

1 > ei3/2M2/2J.

1. Априорные оценки

Докажем равномерные по е оценки семейства (и, V, $) решений задачи (1), (2), (4) при выполнении условий (3), (5)-(14).

^ £ ,£ £. £ ,£ £ . ( дР £ д0 Л дР £ £ д0 £ £

Пусть ш = (м, V) и = (и,-, Vо) = ——тм, ——-V = ——г(м,«)= ——тш — производная от ш

\ дх0 дх0 / дх0 дх0

по х порядка , ^ 0 — целое.

1.1. Оценки производных ^

Продифференцируем раз ^ 0) по переменной х задачу (1), (2), умножим результат дифференцирования на , где в > 0 — фиксированная постоянная, и проинтегрируем

результат умножения по области = (0, а) х (0,1), а е (0,Т]. Получим равенство

1/1 д л£.., е / д \2Г

1 г i e { д /"

2 e-0t — (Uj)2dtdx +2 e-0t — (Vj)2dtdx + e-0ta(t; Wj, w?)dtdx =

= w f e~9tUj+2Ujdtdx + M2 J dtdx + f e"«U?dtdx + f e-^Vjdtdx.

(15)

Q^ Q^ Q^ Q

Имеют место следующие соотношения.

= W _flt i j 2

l l (16)

I?,j = 1 / e-St|(Uj)2dtdx =

= 2e-e\f (U?(a, x))2dx + 2 J e-0t(Uj)2dtdx — 2 J(U0(x))2dx,

0

I2,j = У e-0t|(Vj)2dtdx

i i (17)

(Vj(a, x))2dx + e-0t(Vj)2dtdx — ^(v0(x))2dx,

Q^ 0

0

I~3j = j e 0ta(t; Wj, Wj)dtdx ^ kJ e 0t|wj(t,x)|2dtdx, (18)

13 j = Ml j e-0t'j+2'jdtdx = e-0t('j+i)2dtdx, (19)

/^j = M2 J e^Vj+^jdtdx = J e-0t(tj+1)2dtdx, (20)

< 2d У e-0i(/j)2dtdx + 2 j e-et(')2dtdx, Vd > 0 - const. (21) Положим x = x0 во втором уравнении системы (1). Находим, что

/3

16 , j

e 0t/j 'j dtdx

g(t) = F1 |e^'(t) + a22(t)^(t) + a2i(t)'(t,x0) - x0)}. (22)

Из (22), (3), (4), (6) следует, что

|g(t)| < 1 {k + ki|'(t,x0)| + M2|Vxx(i,x°)|}, (23)

0

где k = max(t)| + |«22(t)^(t)|},

k1 = max |a21(t)|. (24)

[0 , t J

Ниже мы оценим

В силу (12)

/3

1 7 , j

e 0tg(t)Fj (t,x)vj(t, x)dtdx

Q

|'j(t,x0)| < max |'j(t,x)| < 12 ||'j+l(t)||,

xG [0,lj

Из (23), (26) следует, что

-1 li

i 1

Здесь ||'(t)|| = (У '2(i,x)d^ 2, t G [0,T].

0

Имеют место следующие соотношения.

(25)

(t,x0)| < max (t,x)| < l1 ||Vj+i(t)|| < l11|Vj+2(t)||. (26)

xG[0,lJ

|g (t)| < 0 + ^ ||'xx(t)|| + ^ ||Vxxx(t)||. (27)

/7,5- < Щ J e-0t|g (t)||Vj (t,x)|dtdx < Mj k-f e-0t|Vj (t,x)|dtdx+ Q^ Q^

l i f 11 f

+Mjki — e-0t||Sxx(t)|||Vj(t,x)|dtdx + MjI e-0t||Vxxx(t)|||Vj(t,x)|dtdx. (28)

Q^ Q^

В силу неравенств Шварца и Коши (с а > 0)

1г,0,1 = Мк У е-04IV,(¿,х)^х < ^ е-0'^(£,х^х + С(I, Т, а, М,,к,3), (29)

Че Че

где постоянная С зависит лишь от /, Т, а, М,, к, £ и не зависит от е.

/2 (

Че

< "I У е-0^2(£,х^х + С(/,Т,а,М,е-0'^^, х^х,

Че Че

I2 Г

17,3,3 = М,/ е-0' 11 11 | V,(£,х)I dtdx <

Яе

в 2 М, а2 [ 0'£ 2 , Ч1 , /2 М, а2 [ 0' £2^ Ч1 , У е + ^ у е V,(¿,х^х,

Че Че

(30)

(31)

Из равенства (15) и соотношений (16)-(21), (27)-(31) при = 2 получим неравенство

I

в /* 2 1 /* 2 (2 + К - с(3,а,/,Т,М2,к1)М е-0'Ц,2(£,х^х е-07 / и2(а,х^х+

+(^1 — а) J е + (к — а--21^3— ) / е 0^2(£, (32)

Че Че

з Г 2

+М2(1 — ) / е-0^3(£, < С(3,а,в,М,Т,М2,ш2), а е [0,Т].

Че

Выберем в (32) постоянную а > 0 достаточно малой такой, что (в силу (14))

^2122 М2 ^ , ^ п

к — а--> dl > 0, (33)

2ор

^2(1 — в/3 М2/23) > d1 > 0, (34)

затем возьмем в достаточно большим таким, что

в

(2 + к — С (а, в, 3,/, Т, М2 ,т2)) > d1. (35)

В силу (33)-(35) из (32) получим неравенства

^^(Чт) + Н^зНь!(Чт) + |^2||ь2Ют) + ^з^Ют) < Сь (36)

I

У ¿2 (а, х^х < С2, 0 < а < Т. (37)

0

Из (27), (36) следует, что

Н1Нь2(Чт) < Сз. (38)

Здесь и ниже через Ст, т = 1, 2, 3, обозначены постоянные, зависящие от а, в, 1, Т, М2, т2, ^1, М2 и независящие от е £ (0,1].

Рассмотрим ] ^ 3. Заметим, что в этом случае соотношения (16)-(21) имеют место.

Оценим /а? при 0 ^ ] ^ р + 2. В силу (38)

а г г а

Ц^ ^ ! е-04|д(Ъ)^ (Ъ,х)||1?(г,х)|^хЛ < М?^ ! |д(Ъ)||1?(¿,х)|е-0^Мг ^

I °а 2 ° 1а 0 0 2 (39)

< ^М^ I х)^Ых + М11е-ОТ(д(Ъ))2^Мг < ^М^в-04^, х)^Ых + Ж,

0 0 0 0

где V > 0 - произвольная постоянная, постоянная N зависит от М?, 1, V, С3.

Из (15)-(21), (39) аналогично доказательству неравенств (36), (37), полученных для ] = 2, получим, что имеют место соотношения

11и? 11^2 (Чт ) + Н^+^ЫЧт ) + 11^? 11^2 (Чт ) + ) < C,

г

Г £ 2

и? (а,х)йх < С, 0 < < р + 3. (40)

0

Из первого уравнения системы (1) и соотношений (6), (8), (40) следует, что

д

II|Ь2(Чт) < С, 0 < ^ < р +1. (41)

1.2. Априорные оценки в норме С((^т)

Предположим, что выполняются условия согласования входных данных

М2«Хх(х) - а21(0)и0(х) - Й22(0)«0(х) + д(0)Г(0, х) = 0. (42)

В (42)

д(0) = [а21(0)и0(х0) + 0,22(0)^(0) - М2^ж(х0)]. (43)

Из (22), (43) следует равенство

Введем обозначения

е^(0) Г(0, х0)'

д(0) = д(0) + . (44)

£' д? /д£\ £' д? £, £ £ и? = д?дъ), ч = т), ш? =(и?^).

Продифференцируем систему (1) по переменной Ъ, что возможно в силу замечания 1. Получим систему уравнений

д £ ' £ ' £ ' '£ '£ £ ' '

—и + а11м + а12-у + а11м + а12-у = ихх + / ,

д £' £' £' / £ / £ £' £'п £7-1/ ,,г1

е—V + Й21М + Я22« + а21м + а22-у = ^2+ д Г + дг (45)

с начальными данными

и'(0, х) = иХх(х) + /(0, х) — аи(0)и0(х) — а12(0)v0(x) = Ф(х), (46)

и, в силу (42)-(44)

V(0,х) = У ^п о) = ф(х). (47)

ф' (0)F (0, х)

Продифференцируем 2 раз по переменной х задачу (45)-(47), умножим результат дифференцирования системы (45) на е-0'Ш, и проинтегрируем полученное равенство по области , а е (0, Т], что можно сделать в силу замечания 1. Так как функции а'ци,, а^ё,-, /',

021«,, а22^-, gFj' ограничены в норме пространства ^(^т) равномерно по е > 0, то по аналогии с тем, как были получены соотношения (40), получим соотношения

^ НЬ2(Чт) + (Чт) + НЬ2(Чт) + ^'^(Чт) < С (48)

I

' \2

у (и,(a,x))2dx < С, а е (0,Т], 0 < ^ < р + 1. (49)

0

д

Умножим ] раз продифференцированную систему (1) по х на е-0' —ш,+2 и проинтегрируем результат умножения по , а е (0,Т]. Получим равенство

-0' д 2 -0' д 2

/д { д

е-0'(—'j+1)2dídx + е / е-0'(—Vj+1)2dídx—

Че Че

/£ д £ (еде

е-0'а(£; ш,, —ш^^М^^х + е-0^.^ д£'мj+2dtdx+

Че Че

/д !' д

е-0' V,+2 дtVj+2dtdx = — е-0'/, —'j+2dídx—

Че Че

— J е-0'^^—Vj+2dtdx.

(50)

Че

Имеют место следующие соотношения.

17 = — J е-0'а(£; ш,^^^М^х = J е-0'а(£; ш1, ш^+'^^^х =

Че Че

д г , . £ £ в

/д в Г

2

Че I

2 J е-0'а'(£; ш^', ш^+'^^^х = ц е-07 J ; ш^^а, х), ш^^а, х)^х— (51)

0

I

J а(0; шш,+1(х), ш^+'^^Х + 2 У е 0'а(£; Ш^^Ш^'

0 Че

—2 у е-0'а'(£; шj+l,шj+l)dtdx,

г

/а = У е-04■дЪи^Мг = уи2+2(а,х)^х+

, / -0«£2 л,) М1 / 02 , ч , + -21 е м?+2«ь«х--— и?+2 (х)ах,

(52)

д £ 2

г

/з = I2" е-04= ^е-0а / ^+2(а,х)йх+

е-0а I V2

2

0

г

+ ^Т2 J е — У V?+2(х)^х.

В силу (8), (38), (48)

е 04(/?и?+2 + дГ?

< С, ^ = 0,1, ...,р.

Из (50)-(54) следует, что

г г г г

Г £ 2 [ £ 2 Г £ 2 Г £ 2

и?+1(а, х)йх + / и?+2(а, х)йх + / «?+1(а, х)йх + / «?+2(а, х)йх ^ С, = 0,1,

0

0

0

где постоянная С не зависит от а £ [0, Т] и е £ (0,1]. Из (55) равномерно по е и а £ [0, Т]

г г

[ £ 2 (е 2

/ и? (а, х)йх + / V? (а, х)йх ^ С, = 0,1,...,р + 2.

00

Лемма 1. Множества {и?}, {V?} равномерно по е £ (0,1] ограничены в Qт:

Ус(дт) + П^? 11с(чт) < C, = 0, 1,...,р +1.

(53)

(54)

, р, (55)

(56)

(57)

Доказательство. В силу (12), (56)

|и? (Ъ, х)| < 1 (и?+1 (Ъ,х))2 ¿х) < С, Ъ £ [0,Т], ^ =0,1, ...,р +1.

0

Отсюда следует, что

Ъ' Пс(чт)

< С, ^ = 0,1,...,р +1.

Аналогично доказывается, что

^Пс(чт) <C,= 0,1,...,р + 1.

Лемма 2. Множество {д(Ъ)} равномерно по е £ (0,1] ограничено на [0, Т]:

||д||с[0,т] < С.

Доказательство леммы 2 следует из соотношений (27), (57).

(58) □

0

0

0

0

2. °ценки НС(дт), НС(дт)

Продифференцированную 3 раз по переменной х систему (45) умножим на выражение / д £ д £ \

е-0' ( — С-+2), К+2)) и проинтегрируем результат умножения по области ^ а е [0,Т].

На основании (12), (13), (46),(47), в основном повторяя рассуждения, приведенные при получении неравенства (56), получим неравенство

I I

J(Ц(а, х))2dx + ^ (V,(а, х))2dx < С, 3 = 0,1,... ,р. (59)

00

В силу (59) (см. доказательство леммы 1) имеет место

Лемма 3. Множества {и}, {V,} равномерно по е е (0,е0] ограничены в :

НиНс(Чт) + НV,НС(дт) < С, з = 0,1,...,р — 1. (60)

В силу неравенств (57), (60) множества {и,}, {V,}, 3 = 0,1,...,р — 1, удовлетворяют условиям теоремы Арцела (о компактности в С)). На основании теоремы Арцела существует подпоследовательность (м, г) последовательности векторов (и, V) и вектор-функция (и, V) такие, что при ^ ^ 0

г, ^ и,, г, ^ V, сильно в С), 3 =0,1, ... ,р — 1. (61)

Переходя к пределу при ^ ^ 0 в системе (1) (при е = и учитывая при этом оценку (60) (при 3 = 0), в силу (61) получим, что вектор (и, V) удовлетворяет в системе уравнений

м'(£, х)+ ац(£)м(£, х) + а12(£^(£,х) = ^1мжж(£,х) + /(£,х),

а21(£)м(£,х) + а22(£М£,х) = ^жж(£,х) + (62)

начальным условиям

м(0,х)= м0(х), v(0, х) = V0(х), х е [0,/], (63)

краевым условиям

0) = V(£, 0) = /) = v(t, /) = 0 (64)

и условию переопределения

V(£, х°) = ф(£). (65)

В (62) в силу (22), (61)

#(£) = Е1/,1 0, {а21(£)м(£, х0) + а22(£)ф(£) — (£,х0)}, ^ (£, х0)

и

|(£) ^ #(£) сильно в С[0,Т]. (66)

Из (61), (62), (66) следует, что е К0р-1'1'0(дт).

3. Единственность решения задачи (62)-(65)

Пусть векторы (и, V,#), (и, V) - два решения задачи (62)-(65) класса К0р-1'1,0(^т) и 1 2 1 2 1 2 м = м — м, - = V — V, (; = д — д.

Вектор (м, V, <?) удовлетворяет уравнениям

й' + а11 м + al2V = (67)

а21м + а22 -У = + (68)

начальным условиям

м(0,х) = V(0, х) = 0, (69)

краевым условиям

м(£, 0) = 0) = м(£, /) = V(t, /) = 0 (70)

и условию переопределения

V(t,x0)=0. (71)

В силу однородности уравнения (67), условий (69)-(71) и равенства д(£) = (а21 (£)й(£,х0) — ^^х0))^ (£,х0), имеет место ( см. вывод оценки (36)) равенство

НмНЬ2(дт) + ||{5|Ь2^т) =0,

откуда следует, что и = V = 0 в . Доказана

Теорема 3. Пусть выполняются условия (3)-(8), (12), (42) и предположение 1. Тогда решение (и, V, д) .задачи (62)-(65) существует и единственно в классе К0р-1'1,0(^т).

В силу единственности решения задачи (62)-(65) в классе К0р-1'1,0(^у) и принадлежности (м, V, д) этому классу следует, что последовательность (м^,д) сходится к (м^,д) так

ггг

же, как и выбранная нами выше подпоследовательность (м, V, д). Теорема 4. Пусть выполняются условия теоремы 3. Тогда при е ^ 0

и, ^ и,, V, ^ V, сильно в С), 3 =0,1,... ,р — 1,

д ^ д сильно в С[0, Т]. (72)

е

4. Скорость сходимости и к Ы при £ ^ 0

Вычтем из системы (1) систему (62). Обозначив ш — ш = (м — и, V — V) =(г( ),£( )) = г, получим систему уравнений

д £(1) £(1) £(2) д 2Г(1)

—Г + ацг + а12Г = дх2 ,

(2)

дV £(1) £(2) д2Г *

е*д£ + а21г + а22Г = М2 дх2 + (73)

(1) (2)

для вектора г = (г , г ) , удовлетворяющего условиям

г(0,х) = 0, х е [0,/], (74)

д2т д2т

^0) = ^Г(Ъ,1)=0, т = 0, 1, 2. (75)

В (73) функция О имеет вид

(1) (2) 1 О(Ъ) = д(Ъ) - д(Ъ) = (о^фг >,х0) - М2ГХХ(Ъ,х0) + е^')^^. (76)

Продифференцируем трижды задачу (73), (74) по переменной х. Умножим продифференцированную систему на е-04гз и проинтегрируем результат умножения по Qа, а £ (0, Т]. Получим, в основных моментах повторяя вывод соотношений (40), неравенство

г

У>(г31)(а,х))2^х + у'(г41)(Ъ,х))2йЪйх + У(г42)(Ъ, х))2¿Ых < еС. (77)

0 Чт Чт

В силу (75) можно доказать, что г г

У(Г?1)(а,х))2йх < Су(Г31)(а,х))2йх, Уа £ [0,Т], ^ = 0,1, 2, 3;

0 0

У (Г^ц) (Ъ, х))2^Ых ^ ^У (г4 )(Ъ, х))2^Ых,

Чт Чт

У (Гтт)(Ъ,х))2^Ъ^х < ^у (Г42)(Ъ,х))2^Ых, т = 0,1,..., 4. (78)

т

Чт Чт

Из (77), (78) следуют неравенства

Пи? - и?ПС(дт) < е1/2С, ^ =0,1, 2, (79)

Пит - итПь2(Чт) + П^т - ^^(Чт) ^ е1/2С, т = 0,1,..., 4. (80)

Доказана

Теорема 5. Пусть выполняются условия теоремы 3. Тогда имеют место соотношения (79), (80).

Рассмотрим задачу (1), (2), (4). Предположим выполнение условий теоремы 2. В силу периодичности входных данных (см. предположение 1 и доказательство теорем 3-5) имеет место

Теорема 6. Пусть выполняются условия теоремы 3. Тогда решение (и, V, д) задачи

щ + аИи + а^ = М1 ижж + /, 021и + 022« = + дГ,

и | ¿=0 = и0, ^4=0 = V0, и(Ъ,х0) =

существует и единственно в классе К0р-1'1'0(П[0,т]). При е ^ 0

и? ^ и?, V? ^ V? равномерно в П[0,т], ] =0,1,... ,р - 1,

д ^ д равномерно в С[0, Т], |и(Ъ,х) - и(Ъ, х)| ^ л/ёС, (Ъ,х) £ П[0 т], и выполняется соотношение (79).

В теореме 6 вектор (и,«,д) - решение задачи (1), (2), (4), и функция д(Ъ) определяется равенством (22).

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

1] Н.Н.Яненко, Метод дробных шагов решения многомерных задач математической физики, Новосибирск, Наука, 1967.

2] Ю.Я.Белов, С.А.Кантор, Метод слабой аппроксимации, Красноярск, Краснояр. гос. ун-т, 1999.

3] Ю.Я.Белов, О задаче идентификации функции источника для одной полуэволюционной системы, Журнал СФУ. Математика и физика, 3(2010), №4, 487-499.

4] А.П.Осколков, Об одной квазилинейной параболической системе с малым параметром, аппроксимирующей систему уравнений Навье-Стокса, Записки научных семинаров ЛОМИ АН СССР, 21(1971), 78-103.

5] П.Е.Соболевский, В.В.Васильев, Об одной e-аппроксимации уравнений Навье-Стокса, Численные методы механики сплошной среды, 9(1978), №5, 115-139.

6] Ю.Я.Белов, Теоремы однозначной разрешимости и аппроксимации некоторых краевых задач для систем уравнений, описывающих течение океана, Сиб. матем. журн., 20(1979), №6, 1206-1225.

7] В.П.Кочергин, Теория и методы расчета океанических течений, М., Наука, 1978.

8] С.Н.Антонцев, А.В.Кажихов, В.Н.Монахов, Краевые задачи механики неоднородных жидкостей, Новосибирск, 1983.

9] Ж.Л.Лионс, Некоторые методы решения нелинейных краевых задач, М., 1972.

10] Р.Рихтмайер, Звук и теплопроводность, Некоторые вопросы вычислительной и прикладной математики, Новосибирск, Наука, 1966, 183-185.

11] Yu.Ya.Belov, Inverse Problems for Partial Differential Equations, VSP, Utrecht, Boston, Koln, Tokyo, 2002.

12] П.Ю.Вячеславова, Р.В.Сорокин, Задача идентификации коэффициентов при младших членах в системе составного типа, Журнал СФУ. Математика и физика, 2(2009), №3, 288-297.

13] Р.В.Сорокин, Т.Н.Шипина, О разрешимости одной обратной задачи для системы составного типа, Вычислительные технологии, 8(2003), №3, 139-146.

14] A.I.Prilepko, D.G.Orlovsky, I.A.Vasin, Methods for Solving Inverse Problems in Mathematical Physics, New York, Marcel Dekkar, 1999.

An Identification Problem of Source Function in the System of Composite type

Yury Ya. Belov

An identification problem of source function for the semievolutionary system of two partial differential equations, one of which is parabolic, and the second - elliptic are investigated. The Cauchy problem and the first boundary-value problem are considered. Initial problems are approximated by problems in which the elliptic equation is replaced with the parabolic equation containing the small parameter e > 0 at a derivative with respect to time.

Keywords: partial differential equations, boundary-value problems, approximation, small parameter, convergence.