Научная статья на тему 'Нелинейные обратные задачи с интегральным переопределением для некоторых нестационарных дифференциальных уравнений высокого порядка'

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

CC BY
82
12
Поделиться
Ключевые слова
ПСЕВДОГИПЕРБОЛИЧЕСКИЕ УРАВНЕНИЯ ВЫСОКОГО ПОРЯДКА / ОБРАТНАЯ ЗАДАЧА / РЕГУЛЯРНЫЕ РЕШЕНИЯ / СУЩЕСТВОВАНИЕ / PSEUDOHYPERBOLIC EQUATIONS OF HIGHER ORDER / INVERSE PROBLEM / REGULAR SOLUTION / EXISTENCE

Аннотация научной статьи по математике, автор научной работы — Кожанов Александр Иванович, Телешева Любовь Александровна

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

Похожие темы научных работ по математике , автор научной работы — Кожанов Александр Иванович, Телешева Любовь Александровна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Nonlinear Inverse Problems with Integral Overdetermination for Nonstationary Differential Equations of High Order

Nonlinear inverse coefficient problems for nonstationary higher order differential equations of pseudohyperbolic type are the object of research. More precisely, we study the problems of determining both the solution of the corresponding equation, an unknown coefficient at the solution or at the time derivative of the solution in the equation. A distinctive feature of these problems is the fact that the unknown coefficient is a function of time only. Integral overdetermination is used as an additional condition. We prove the existence theorems of regular solutions (those solutions that have all generalized derivatives in the sense of S.L. Sobolev). The technique of the proof relies on the transition from the original inverse problem to a new direct problem for an auxiliary integral-differential equation, and then on the proof of solvability of the latter and construction of some solution of the original inverse problem from a solution of the auxiliary problem.

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

УДК 517.946 DOI: 10.14529/mmpl70202

НЕЛИНЕЙНЫЕ ОБРАТНЫЕ ЗАДАЧИ С ИНТЕГРАЛЬНЫМ ПЕРЕОПРЕДЕЛЕНИЕМ ДЛЯ НЕКОТОРЫХ НЕСТАЦИОНАРНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ВЫСОКОГО ПОРЯДКА

А.И. Кожанов1, JI.A. Телешева2

1Институт математики им. С.Л. Соболева, г. Новосибирск 2

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

Ключевые слова: псевдогиперболические уравнения высокого порядка; обратная задача; регулярные решения; существование.

Введение

Коэффициентные обратные задачи для эллиптических, параболических и гиперболических уравнений второго порядка к настоящему времени достаточно хорошо изучены. Существенный вклад в исследование разрешимости таких задач внесли М.М. Лаврентьев, В.Г. Романов, Ю.Е. Аниконов, А.И. Прилепко, А. Лоренци, С.И. Кабанихин, A.M. Денисов, М. Ямамото, В. Исаков, М. Клибанов, Дж. Кэннон, Б.А. Бубнов, Н.Я. Б 63НОЩ6НКО- Д.Г. Орловский, Н. Иванчов (достаточно полную библиографию работ, связанных с исследованием разрешимости коэффициентных обратных задач, можно найти в монографиях [1-11]). Менее изученными на сегодняшний день представляются коэффициентные обратные задачи для нестационарных дифференциальных уравнений высокого порядка - в частности, для псевдогиперболических уравнений высокого порядка. Частично восполнить данный пробел и должна насто-ЯТЦ дьЯ работа.

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

объясняется не только интересом к решению новых математических задач, но и тем, что близкие задачи возникают в математическом моделировании - см., например, работы [9, 12-14]. Следующее замечание: как близкие к настоящей работе по используемой технике и по постановкам задач отметим статьи [15-20]. И наконец, заметим, что обратные ЗЭДсХЧИ для дифференциальных уравнений часто возникают в математическом моделировании при описании тех или иных физических химических и т.п. процессов, протекающих в средах с заранее неизвестными характеристиками.

1. Постановка задач

Пусть П есть ограниченная область пространства Кга с гладкой (бесконечно-дифференцируемой) границей Г Я

есть цилиндр П х (0,Т) конечной высоты Т, Б = Г х (0,Т) есть боковая граница Я- Далее, пусть f (х,Ь), N(х), ц(Ь), и0(х) и щ(х) -заданные функции, определенные при х Е П, Ь Е [0,Т], а есть заданное положительное число.

Обратная задача I: найти функции и(х, Ь) и д(Ь), связанные в цилиндре Я уравнением

иы — аАщ + А2и + д(Ь)и = f (х,Ь), (1)

при выполнении для функции и(х,Ь) условий

и(х,Ь) = Аи(х,Ь) = 0 при (х,Ь) Е Б; (2)

и(х, 0) = и0(х), щ(х, 0) = щ(х) при х Е П; (3)

(х)и{хЛ) "х = при Ь Е (0'Т»■ (4)

п

Обратная задача II: найти функции и(х,Ь) и д(Ь), связанные в цилиндре Я уравнением

иы — аАщ + А2и + д(Ь)иг = f (х, Ь), (5)

при выполнении для функции и(х,Ь) условий (2) - (4)-

В изучаемых обратных задачах I и II условие (4) прбдст&влябт собой условие

а=2

в виде

(д — а) и + д(Ь)и = (х,Ь), — А^ и + д(Ь)щ = (х,Ь),

то есть в виде уравнений, старшая часть которых есть итерированный оператор теплопроводности.

2. Разрешимость обратной задачи I

Известно, что для любой функции ь(х) такой, что ь(х) Е Ш2;(П), ь(х) = Аь(х) = 0

при х Е Г, ВЫПОЛНЯЮТСЯ Н6р<1В6НСТВ<1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

* < Со ¿/* < сф^)? ь,

J ^v(x)]2 dx < C^ J [AvXi (x)]2 dx < Cij [^v(x)]2 dx, (7)

П i=1 П П

постоянные Co и C1 в которых определяются лишь областью П [21].

Далее, пусть w(x,t) есть функция из пространства L^(0,T; W^Q)) такая, что w(x,t) Е L^(0,T; W^Q)) wt(x,t) Е L^(0,T; W2,(n)). Определим фун кцию p(t,w)

p(t,w) = J Nxi(x)Дwxi(x,t) dx - a J Nxi(x)wxit(x,t) dx^j.

ПП

Введем еще некоторые обозначения. Именно, положим

F(t) = / N(x)f (x,t) dx, p(t) = ^[F(t) - ¿'(t)],

П

(a+1)(Ci + 1)Ni

«1 = C1 + 1 h

Yi = J2 I u2iXi (x) dx + Y; ¡[Д^ (x)]2 dx + a f f2 dxdt,

i=1 П i=1 П Q

a0 = min ii(t), N1 = max ( f N2 (x) dx 1 . o<t<T i=1,..,n у П J

Теорема 1. Пусть выполняются условия

N(x) Е C\n), n(t) Е C2[0,T], uo(x) Е W3(n), m(x) Е W2(n), f (x,t) Е L2Q);

a > 0, fi0 > 0; N(x) = 0 щи x Е Г; u0(x) = Дu0(x) = u1(x) = Дщ^) = 0 щи x Е Г;

У N(x)u0(x) dx = ¿(0), J N(x)u1(x) dx = /i'(0);

ПП

T -al!\p(r)ldT 2

e 0 dt <

0

Тогда обратная, задача I имеет решение {и(х, Ь), д(Ь)} такое, что и(х, Ь) Е Ш42^) П Ь^(0,Т; Ш2?(П)), щ(х,Ь) Е Ь2(0,Т; Ш2(П)) П Ь^(0,Т; Ш^П)), д(Ь) Е Ь2([0,Т]).

Доказательство. Воспользуемся методом срезок и методом неподвижной точки. Пусть М есть положительное число. Определим функцию Ом (£), £ Е К:

£ при \£\ < М, Ом (£) = { М при £>М, -М при £< М.

Обозначим для краткости через V следующее пространство

V = {v(x,t) : v(x,t) Е W4'2(Q) П L^(0,T; W3(Q)), vt(x,t) Е L2(0,T; W2(Q)) П L^(0,T; W^Q)), vtt(x,t) Е L2Q)}

с нормой

IMk = (lMlW24>2(Q) + llvll LTO(0,T;W23(n)) + |vi|L2(0,T;W"23(n)) + 11 Vt1 ^(OTiW1 (п)) + Ыыя))2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Очевидно, что пространство V есть банахово пространство.

Рассмотрим следующую начально-краевую задачу: найти функцию u(x,t), являющуюся в цилиндре Q решением уравнения,

utt - aAut + A2u + [p(t) + Gm(ф(t, u))] u = f (x, t) (8)

и такую, что для нее выполняются условия (2) и (3). Разрешимость этой задачи нетрудно установить с помощью метода неподвижной точки.

Пусть v(x, t) есть функция из пространства V. Рассмотрим задачу: найти функ-u(x, t) Q

utt - aAut + A2u + [p(t) + Gm(p(t, v))] u = f (x, t) (8V)

и такую, что для нее выполняются условия (2) и (3). Эта задача является есте-

(8V)

V (8V)

(2), (3) порождает оператор A, переводящий пространство V в тебя: A(v) = u.

u(x, t) (8V)

Ilullv < Ro (9)

с постоянной R0, определяющейся лишь функциями f (x,t), u0(x), ui(x), t), N(x), числами a, T, M и облаетью П. Доказательство этой оценки нетрудно провести, анализируя равенства

T T

— 11 {uTr — aAuT + A2u + [р(т) + GM(ф(т, v))]u} AuT dxdr = — J J f (x, т)AuT dx dr,

0 п 0 п

T T

11 {uTT — aAuT + A2u + [p(r) + GM(p(r,v))]u} A2udxdr = f f f (x,r)A2udx dr, 0 п 0 п

T T

11 {uTT — aAuT + A2u + [p(r) + GM (ф(т, v))]u} uTT dxdr = f f f (x, r )uTT dx dr. 0 п 0 п

Обозначим через BRl замкнутый шар радиуса Ri пространства V. Из оценки (9) следует, что оператор A в случае Ri > R0 переводит шар BRl в себя. Далее, из той

A

Докажем, что оператор A вполне непрерывен на шаре BRl. Пусть {vm(x,t)}^=i есть последовательность функций из шара BRl, сходящаяся в пространстве V к функции v(x,t). Далее, пусть um(x,t), m = 1,2,..., u(x,t) есть образы функций vm(x,t), m = 1, 2,..., v(x, t) соответственно при действии оператора A. Обозначим vm(x,t) = vm(x,t) — v(x,t), um(x,t) = um(x,t) — u(x,t). Имеем следующие соотноше-

umtt — aAumt + A2Hm + [p(t) + Gm (p(t, vm))] um = = [Gm(p(t,v)) — Gm(p(t,vm))] um при (x,t) e Q, um(x,t) = Aum(x,t) = 0 при (x,t) e S, um(x, 0) = umt(x, 0) = 0 щи x e П.

Используя технику доказательства оценки (9) и используя также липшицевость функции Ом (£), нетрудно получить неравенство

\\йт\\1 < су Иг,ут)\2 ¿т.

0

Из этого неравенства и из сходимости функций ьт (х, Ь) в пространстве V к нулевой функции следует сходимость \\йт\\у — 0 при т — ж. Эта сходимость означает, что оператор А непрерывен в пространстве V.

Покажем, что оператор А компактен на шаре В^. Пусть {^т(х,Ь)}^=1 есть произвольная последовательность функций из шара В{ит(х,Ь)}^=1 есть последовательность образов функций ьт(х, Ь) при действии оператора А. Из ограниченности в пространстве V последовательности {^т(х,1)}с^=1-1 из свойства рефлексивности гильбертова пространства и из теорем вложения [21] следует, что существуют подпоследовательность {утк (х, Ь)}^=1 исходной последовательности {ут(х,1)}^=1 и функция V(х, Ь) такие, что при к — ж имеют место сходимости

утк(х,Ь) — v(x,t) слабо в пространстве Жр

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

^тк(х,£) — сильно в пространствах Ь2^) и Ь2(Б),

vmk(х,Ь) — vt(x,t) сильно в пространствах Ь2^) и Ь2(Б). Заметим, что функцию можно записать в виде

/ ч 1 { ( л ч / ч , (дМ(х) . . , Ф(Ь^) = —¡г-^ <а АМ(хщ(х,Ь) ах + а / —--vt(x,t) аз—

ß(t)\ J ' J dv

п г

— J AN (x)Av(x, t) dx — J dNQvf Av(x,t) ds

пг

)

Определим функцию u(x,t) как решение краевой задачи (8v), (2), (3) с функцией Lp(t, v), определенной указанным выше образом - уточним, что функция u(x,t) корректно определена. Положим vk(x,t) = vmk (x,t) — v(x,t), uk(x,t) = umk (x,t) — u(x,t). Повторяя теперь для последовательностей {vk(x, t)}^=lH {uk(x, t)}^=l доказательство непрерывности оператора А, получим, что имеет место сходимость Цйк||у ^ 0 при k ^ ж. Эта сходимость и дает компактность оператора А.

Согласно теореме Шаудера [23], оператор А имеет в шаре BRo хотя бы одну непо-u(x, t)

краевой задачи (8), (2), (3). Покажем, что при выполнении условий теоремы можно выбрать ^ и зафиксировать) число M так! • ч[то будет выполняться равенство

Gm (<p(t,u)) = p(t,u). (10)

Рассмотрим равенство

T T

— ^J {uTT — aAuT + A2u + [p(r) + GM (^(r,u))]ui} AuT dxdr = —JJ f (x,t )AuT dxdr. 0 п 0 п

Ao Bulletin of the South Ural State University. Ser. Mathematical Modelling, Programming

° & Computer Software (Bulletin SUSU MMCS), 2017, vol. 10, no. 2, pp. 24-37

t

Интегрируя по частям и используя условия (2) и (3), нетрудно от данного равенства перейти к следующему

п п Ь

2 Е I и2х.Ь(х, Ь) ¿х + 2 ^ ¡[Аи^ (х, Ь)]2 ¿х + а / /(Апт)2 ¿х ¿т

г=1 П '

2 ^ J "х г=1 П

п Ь п Ь

Ч J (Аит)

0 П

- Е / I р(т )иXI ихт ¿х ¿Т - / / См (^(т,м))мЖ4 иХ1т ¿X ¿Т -

(11)

г=1 0 П Т

г=1 0 П

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— II f Аит ¿х ¿т + 1 / и^х. (х) ¿х + 2Е /[Аи0х (х)}2 ¿х.

г г=1 П

г=1 П

Оценим правую часть (11). Положим

п „ п „

У(Ь) = ^ / и^(х,Ь) ¿х + ^ [Аих1 (х,Ь)]2 ¿х-

г=1 П г=1 П

Условия теоремы, неравенства (6) и (7), а также неравенство Юнга дают оценки

Ит,и)|< Л—X

г=1 V П

^ П [Аих4 (х,Т)]2 ¿х^

(х,Т)]2 ¿х) + /и2хгт(х,Т) ¿х <

г=1 П

(о+1)^1у 2 (т) МО :

II

Р(т) Ё их1 (х,Т)ихт (х,Т)

г=1

¿х ¿Т

0 \г=1П

Ь / п

< 0 [Р(тЕ/ ^г (х,Т)11ихгт (х,Т)| ¿Т <

Ь / п \ Ь / п \

< 21 \Р(Т ЖЕ 1и2х1 (х,Т) dх ¡¿Т + Ц \Р(Т ЖЕ 1и1т (х,Т) dх ¡¿Т <

0 г=1 П 0 г=1 П

< 2С11 1р(т) 1у(т) ¿Т + 2 i 1р(т) 1у(т) ¿Т = 2 (С1 + 1) } 1р(т) 1у(т) ¿т,

0

0

п

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

/ / См(ф(т,и))(^2 их1 (х,т)ихт(х,т) ) dxdт 0 п v г=1

Ь / п

< (а+1)^1 — 2^0

<

(д+1) N1 2^0

< / МТ,и)1\ Е / 1их1 (х,т)11их1т (х,т)| <

V г=1 п /

/у1/2(Тд е 1и2х. (х,Т) ¿х) ¿Т+

0 \ г=1 П /

Ь / п \ Ь

I У1/2(Т)( Е / и^(х, Т) ¿Т < / у3/2(т) ¿Т,

0 \«=1П / 0

/ / f Аит ¿х ¿т

< и ¡(Аит)2 ¿х ¿т + 2а I f2 dxdt.

2 Я

Используя эти оценки, нетрудно от (11) перейти к неравенству

У(Ь) < сц р(т)у(т) ¿т + в1 у3/2(т) ¿т + Ъ.

Определим функцию г(Ь) как решение задачи Коши

3

г'(Ь) = арЬ)г(Ь) + ^г2 (Ь), ¿(0) = 7ь

+

Ь

Ь

Согласно обобщенной лемме Гронуолла (лемме Гронуолла - Бихари [24, 25]), на промежутке существования функции г(Ь) выполняется неравенство у(Ь) < г(Ь). Справедливы равенства

t т t

1 il в1 f - От I |р(в)1 ds \ От I

z(t)=m• m=Ы-1/e 0 4 0

0

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Из последнего условия теоремы вытекает, что существует положительное число т0 такое, что при Ь Е [0,Т] выполняется ф(Ь) > то- Следовательно, функции г(Ь) и у(Ь) будут ограничены на отрезке [0,Т]: у(Ь) < г(Ь) < !- Далее, имеем \ф(Ь,и)\ < ^Цд^1 -Выберем теперь число М так, чтобы выполнялось неравенство

М > (а +1)К1. (12)

/1ото

М

Итак, при указанном выше выборе числа М для решения и(х,Ь) краевой задачи (8), (2), (3) будет выполняться уравнение

ии - аАщ + А2и + [р(Ь) + и)]и = /(х, Ь). (13)

Определим функцию д(Ь)"

д(Ь)= р(Ь) + ф(Ь,и).

Очевидно, что функции и(х,Ь) и д(Ь) связаны в цилиндре Я уравнением (1), и что для функций и(х,Ь) и д(Ь) ВЫПОЛНЯЮТСЯ требуемые включения.

Наконец, выполнение для решения и(х, Ь) краевой задачи (8), (2), (3) с числом М, удовлетворяющим неравенству (12), интегрального условия переопределения (4) показывается также, как показывается выполнение аналогичного условия в работах [1517, 19].

Изложенное выше и означает, что построенные функции и(х,Ь) и д(Ь) дают требуемое решение обратной задачи I. □

Приведем еще один вариант теоремы о разрешимости обратной задачи I. Определим пространство VI

V! = {у(х,г) : у(х, Ь) Е Ь^(0,Т; Ш4(П)), Уг(х,Ь) Е Ь(0,Т; W23(П)) П Ь2(0,Т; ьы(х,Ь) Е Ь2(Я)].

Зададим в пространстве V норму:

1Мк = { 1М|£те(0,Т;Ж4(П)) + ;Ж|(П)) + 1Ы1ь2(0,Т + КИч^)} ' -

Очевидно, что пространство VI с такой нормой будет банаховым пространством. Пусть 'ю(х, Ь) есть функция из пространства VI Определим фун кцпю ф(Ь,т):

l

'At,w) =

a J N(x)Awt(x,t) dx — J N(x)A2w(x,t) dx

П П

Далее, положим

1 * _ (a +l)No

N0 N 2(x) dx^ , fo

Н0

П

Y2 = J[Aui(x)]2 dx + J[A2u0(x)]2 dx +—^^ J dxdt.

П П i=l Q

Теорема 2. Пусть выполняются условия

N(x) e C2(ñ), n(t) e C2([0,T]), f (x,t) e L2(0, T; w 2(^)); a> 0, Н0 > 0;

N(x) = 0 щи x e Г; uo(x) e W24(Q), ui(x) e w¡(ü); u0(x) = Au0(x) = u^x) = 0 щи x e Г;

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

jN^= m, ¡n(ф1 ^= ^ш

nn

} - ai ¡ p(T )i dT 2

e 0 dt <

J в2у/Ъ

0

Тогда обратная, задача, I имеет реиление {и(х,г),д(г)} такое, что и(х,г) Е Ь^(0,Т; Ш24(П)), щ(х,1) Е Ь2(0,Т; ШЦП)), ии(х,1) Е Ь^), д(г) Е Ь2([0,Т]).

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

иы - аАщ + А2и + [р(г) + Оми))] и + еА2щ = /(х, г) (14)

и такую, что для, нее выполняются условия (2) и (3). Разрешимость данной задачи нетрудно доказать, вновь используя метод неподвижной точки и теорему Шаудера. Далее, вновь используя обобщенную лемму Гронуолла, нетрудно получить, что функция Фр(Ь,и) будет ограниченной.

Выбирая параметр М достаточно большим, получим, что решение и(х,г) задачи (14), (2), (3) будет решением уравнения

игг — аАщ + А2и + [р(г) + ф(г, и)]и + еА2щ = /(х, г). (15)

Из сказанного выше следует, что семейство задач (15), (2), (3) порождает семейство функций [и£(х,г)}, принадлежащих пространству У1, причем для этого семейства будет выполняться априорная оценка

п t

/[Аи£(х,г)]2 ¿х + ЦА2и£(х,г)]2 ¿х + Е/ 1(Аи£х.Т )2 ¿хйт+

П П г=1 0 П г

г г

+ //(и£Т)2 ¿хйт + е / /(А2и£Т)2 ¿х ¿т < Я, 0 п 0 п

Вестник ЮУрГУ. Серия «Математическое моделирование 01

и программирование» (Вестник ЮУрГУ ММП). 2017. Т. 10, № 2. С. 24-37 °

постоянная Я в которой определяется лишь функциями /(х,Ь), и0(х), щ(х), ¡(Ь), N(х), числом Т и облаетью П. Из этой оценки, из свойства рефлексивности пространства Ь2 и из теорем вложения (см. [21]) вытекает, что существует последовательность положительных чисел и функций и(х,Ь) таких, что

£т ^ 0 щи т ^ ж,

Аи£т(х,Ь) ^ Ащ(х,Ь) слабо в пространстве Ь2(Я),

А2и£т (х,Ь) ^ А2и(х,Ь) слабо в пространстве Ь2(Я),

и£т(х,Ь) ^ иы(х,Ь) слабо в пространстве Ь2(Я),

emA2u£tm (x,t) — 0 слабо в простран стве L2(Q),

utm (x,t) — ut(x,t) сильно в пространствах L2(Q) и L2(S),

tm {

Autm (x,t) — Au(x,t) сильно в пространс твах L2(Q) и L2(S). м, что выполняется также сходимость

ip(t,utm)utm — ip(t,u)u слабо в пространстве L2(Q).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Имеем

J [<p(t,u£mm - >p(t,u)u]ndxdt = J [<p(t,u£m)(Um - u)rqdxdt+ Q Q

+ J[p(t,u£m) - p(t, u)]wq dx dt = hm + I2m.

Q

Поскольку функция |p(t,u£m)| ограничена, и поскольку u£m (x,t) ^ u(x,t) сильно

в пространстве L2(Q), то выполняется Iim ^ 0 при m ^ ж. Далее, справедливы равенства

P(t,utm) - <p(tj u) = - f N(x)A2(utm - u) dx

a / N(x)A(utm - ut) dx-

L п 1

Kt)

a f AN(x)(utm - ut) dx+

+aj ^Ntr(utT - ut) ds - J AN(x)A(u^ - u) dx - J ^ A(utm - u) ds г п г

Отсюда

I2m = f f AN(y)[utm (y,t) - ut(y,t)] dy)undxdt+

Q \ П /

tm I

(¡w

j

+ Qw)(f [utm (y,t) - ut(y, t)] dsy^J щ dx dt- —1t) f (f an(y)A(utm (y, t) - u(y, t)) dy) un dx dt-

Q ( П )

- üfo f( f A(utm (y, t) - u(y, t)) dsy^j un dx dt =

Q

_ T1 + T 2 + 13 + T 4 12m + T2m + T2m + T2m.

Оценим слагаемое I2,m\

\Цт\< а /( /ДЯ(у)[пеГ (у,г) - щ(у,1)] ¿V ( ¡\п\\п\< 0 V П 1 \ П 1 / /

< а /{(/[ДЯ(у)]2 ¿у) 2(/к-(у,г) - щ(у,г)]2 ¿V) п2(х,г) ^ п2(х,г) ¿X) 2}¿г.

Заметим, что предпоследний множитель подинтегрального выражения здесь ограничен. Отсюда

\Чт\ < A }( f[uetm (y, t) - ut(y, t)]2 dx) 2 ( f n2(x, t) dt < o \n J \n J

1 1 2 / \ 2

2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

< a( f f[tfr (y,t) - ut(y,t)]2 dxdt) *( f f n2(x,t) dxdt]' Von J \o n )

(число A здесь определяется числами a, ß0, C\, R, а также функцией N(x)).

Поскольку имеет место сильная в пространстве L2(Q) сходимость последовательности {ufm (x, t)} к функции ut(x,t), то из последнего неравенства вытекает сходимость I2>m ^ 0 при m ^ ж. Аналогично показывается, что выполняется

!lm ^ 0 I^m ^ 0 I4m ^ 0 щи m

Из доказанных сходимостей и следует сходимость требуемая:

ip(t,u£m)u£m ^ ip(t,u)u при m ^ ж слабо в пространстве L2(Q).

u(x, t) выполняться уравнение

utt - аАщ + A2u + [p(t) + <p(t, u)]u = f (x, t).

Положим q(t) = p(t) + tp(t, u). Функции u(x,t) и q(t) и определяют искомое решение обратной задачи I - функции u(x,t) и q(t) связаны в цилиндре Q уравнением (1), условия (2) и (3) выполняются по построению, выполнение условия (4) показывается стандартным образом, принадлежность функций u(x,t) и q(t) требуемым классам очевидна. □

Замечание 1. Выполнение последних неравенств из условий теорем 1 и 2 имеет место, например, если число T мало, или же малы числа Ni или N0.

3. Разрешимость обратной задачи II

Пусть w(x, t) есть функция из пространства V^. Определим функцию tpi (t,w):

1 [ ]

fi(t,w)

ß' (t)

aj N(x)Awt(x,t) dx — J N(x)A w(x,t) dx nn

Далее, положим

pi(t) = F, ßi = ¿¡^ ß'(t), Pi = Pi(t)'

( n Л 22

N2 = \ J[A2uo(x)]2 dx + J[Aui(x)]2 dx + I fl dxdt\ . In n a i=i Q г J

Теорема 3. Пусть выполняются условия

N(x) е С2(Щ, ¡i{t) е C2([0,T]), f (x,t) е L2(0,T; w 1(0)); a > 0, H\ > 0, p1 > 0; N(x) = 0 щи x е Г; uo(x) е W4(0), ui(x) е W2(0); u0(x) = Au0(x) = u1(x) = 0 щи x е Г;

IN>x)u"{x)dx = IN(x)ui(x)dx =

П П

(a + 1)NoN2 _

Тогда обратная, задача, II имеет реиление {u(x,t),q(t)} такое, что u(x,t) е L^(0,T; W$(Q)), ut(x,t) е L2(0,T; Wi(Q))t utt(x,t) е L2(Q), q(t) е L2([0,T]).

Доказательство этой теоремы проводится вновь с помощью метода срезок и метода регуляризации; непосредственная техника вполне соответствует технике доказательства теорем 1 и 2, а также технике, использованной в работе [15].

Работа поддержана Российским, фондом фундаментальных исследований, проект 15-01-06582.

Литература

1. Prilepko, A.I. Methods for Solving Inverse Problems in Mathematical Physics / A.I. Prilepko, D.G. Orlovsky, I.A. Vasin. - N.-Y.: Marcel Dekker, 1999.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Denisov, A.M. Elements of the Theory of Inverse Problems / A.M. Denisov. - Utrecht: VSP, 1999.

3. Kozhanov, A.I. Composite Types Equations and Inverse Problems / A.I. Kozhanov. - Utrecht: VSP, 1999.

4. Anikonov, Yu.E. Inverse Problems for Kinetic and Other Evolution Equations / Yu.E. Anikonov. - Utrecht: VSP, 2001.

5. Lorenzi, A. An Introduction to Mathematical Problems via Functional Analysis / A. Lorenzi. - Utrecht: VSP, 2001.

6. Romanov, V.G. Investigation Methods for Inverse Problems / V.G. Romanov. - Utrecht: VSP, 2002.

7. Belov, Yu.Ya. Inverse Problems for Partial Differential Equations / Yu.Ya. Belov. - Utrecht: VSP, 2002.

8. Lavrentiev, M.M. Inverse Problems of Mathematical Physics / M.M. Lavrentiev. - Utrecht: VSP, 2003.

9. Ivanchov, M. Inverse Problems for Equations of Parabolic Type / M. Ivanchov. - Lvev: WNTL Publisher, 2003.

10. Isakov, V. Inverse Problems for Partial Differential Equations / V. Isakov. - N.-Y.: Springer, 2006.

11. Кабанихин, С.И. Обратные и некорректные задачи / С.И. Кабанихин. - Новосибирск: Сиб. кн. изд-во, 2009.

12. Cannon, J.R. Determination of a Parameter p(t) in Some Quasilinear Parabolic Differential Equations / J.R. Cannon, Y. Lin // Inverse Problems. - 1988. - V. 4. - P. 35-45.

13. 1ванчов, M.I. Обернена задача з вильною межею для р1вняння теплопроводноста / M.I. 1ванчов // Украинский математический журнал. - 2003. - Т. 55, № 7. - С. 901-910.

14. Slodicka, M. Determination of a Solely Time-Dependent Source in a Semilinear Parabolic Problem by Means of Boundary Measurements / M. Slodicka // Journal of Computational and Applied Mathematics. - 2015. - V. 289. - P. 433-440.

15. Кожанов, А.И. Параболические уравнения с неизвестным коэффициентом, зависящим от времени / А.И. Кожанов // Журнал вычислительной математики и математической физики. - 2005. - Т. 45, № 12. - С. 2168-2184.

16. Кожанов, А.И. О разрешимости обратной задачи нахождения старшего коэффициента в уравнении составного типа / А.И. Кожанов // Вестник ЮУрГУ. Математическое моделирование и программирование. - 2008. - № 15 (115), вып. 1. - С. 27-36.

17. Кожанов, А.И. О разрешимости обратных задач восстановления коэффициентов в уравнениях составного типа / А.И. Кожанов // Вестник Новосибирского государственного университета. Серия Математика, механика, информатика. - 2008. - Т. 8, вып. 3. -С. 81-99.

18. Кожанов, А.И. О разрешимости некоторых нелокальных и связанных с ними обратных задач для параболических уравнений / А.И. Кожанов // Математические заметки Якутского государственного университета. - 2011. - Т. 18, вып. 2. - С. 64-78.

19. Телешева, Л.А. Обратная задача для параболических уравнений высокого порядка: случай неизвестного коэффициента, зависящего от времени / Л.А. Телешева // Вестник ВРУ. Математика и информатика. - 2010. - № 9. - С. 175-182.

20. Телешева, Л.А. О разрешимости обратной задачи для параболического уравнения высокого порядка с неизвестным коэффициентом при производной по времени / Л.А. Телешева // Математические заметки Якутского государственного университета. - 2011. -Т. 18, вып. 2. - С. 180-201.

21. Ладыженская, O.A. Линейные и квазилинейные уравнения эллиптического типа / O.A. Ладыженская, H.H. Уральцева. - М.: Наука, 1973.

22. Якубов, С.Я. Линейные дифференциально-операторные уравнения и их приложения / С.Я. Якубов. - Баку: Элм, 1995.

23. Треногин, Б.П. Функциональный анализ / Б.П. Треногин. - М.: Наука, 1980.

24. Демидович, Б.П. Лекции по математической теории устойчивости / Б.П. Демидович. -М.: Физматлит, 2002.

25. Амандус, Н.Е. Обыкновенные дифференциальные уравнения. Ч. 1. / Н.Е. Амандус, А.И. Кожанов, И.В. Шваб. - Новосибирск: НГУ, 2008.

Александр Иванович Кожанов, доктор физико-математических наук, профессор, главный научный сотрудник, лаборатория дифференциальных и разностных уравнений, Институт математики им. С.Л. Соболева СО РАН (г. Новосибирск, Российская Федерация), kozhanov@math. nsc. ru.

Любовь Александровна Телешева, старший преподаватель, кафедра математического анализа и дифференциальных уравнений, Бурятский государственный университет (г. Улан-Удэ, Российская Федерация, love_20_09@mail.ru.

Поступила в редакцию 28 июня 2016 г.

MSC 35M20, 35R30 DOI: 10.14529/mmpl70202

NONLINEAR INVERSE PROBLEMS WITH INTEGRAL

OVERDETERMINATION FOR NONSTATIONARY DIFFERENTIAL

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

EQUATIONS OF HIGH ORDER

A.I. Kozhanov1, L.A. Telesheva2

^obolev Institute of Mathematics, Novosibirsk, Russian Federation

2

E-mail: kozhanov@math.nsc.ru, love_20_09@mail.ru

Nonlinear inverse coefficient problems for nonstationary higher order differential equations of pseudohyperbolic type are the object of research. More precisely, we study the problems of determining both the solution of the corresponding equation, an unknown coefficient at the solution or at the time derivative of the solution in the equation. A distinctive feature of these problems is the fact that the unknown coefficient is a function of time only. Integral overdetermination is used as an additional condition. We prove the existence theorems of regular solutions (those solutions that have all generalized derivatives in the sense of S.L. Sobolev). The technique of the proof relies on the transition from the original inverse problem to a new direct problem for an auxiliary integral-differential equation, and then on the proof of solvability of the latter and construction of some solution of the original inverse problem from a solution of the auxiliary problem.

Keywords: pseudohyperbolic equations of higher order; inverse problem; regular-solution; existence.

References

1. Prilepko A.I., Orlovsky D.G., Vasin I.A. Methods for Solving Inverse Problems in Mathematical Physics. N.-Y., Marcel Dekker, 1999.

2. Denisov A.M. Elements of the Theory of Inverse Problems. Utrecht, VSP, 1999. DOI: 10.1515/9783110943252

3. Kozhanov A.I. Composite Types Equations and Inverse Problems. Utrecht, VSP, 1999. DOI: 10.1515/9783110943276

4. Anikonov Yu.E. Inverse Problems for Kinetic and Other Evolution Equations. Utrecht, VSP, 2001. DOI: 10.1515/9783110940909

5. Lorenzi A. An Introduction to Mathematical Problems via Functional Analysis. Utrecht, VSP, 2001.

6. Romanov V.G. Investigation Methods for Inverse Problems. Utrecht, VSP, 2002. DOI: 10.1515/9783110943849

7. Belov Yu.Ya. Inverse Problems for Partial Differential Equations. Utrecht, VSP, 2002. DOI: 10.1515/9783110944631

8. Lavrentiev M.M. Inverse Problems of Mathematical Physics. Utrecht, VSP, 2003.

9. Ivanchov M. Inverse Problems for Equations of Parabolic Type. Lviv, WNTL Publishers, 2003.

10. Isakov V. Inverse Problems for Partial Differential Equations. N.-Y., Springer, 2006.

11. Kabanihin S.I. Obratnye i nekorrektnye zadachi [Inverse and 111-Posed Problems]. Novosibirsk, Siberian publishing, 2009.

12. Cannon J.R., Lin Y. Determination of a Parameter p(t) in Some Quasilinear Parabolic Differential Equations. Inverse Problems, 1988, vol. 4, no. 1, pp. 35-45. DOI: 10.1088/02665611/4/1/006

13. Ivanchov M.I. Inverse Problem with Free Boundary for Heat Equation. Ukrainian Mathematical Journal, 2003, vol. 55, issue 7, pp. 1086-1098. DOI: 10.1023/B:UKMA.0000010607.28568.a7

14. Slodicka M. Determination of a Solely Time-Dependent Source in a Semilinear Parabolic Problem by Means of Boundary Measurements. Journal of Computational and Applied Mathematics, 2015, vol. 289, pp. 433-440. DOI: 10.1016/j.cam.2014.10.004

15. Kozhanov, A.I. Parabolic Equations with an Unknown Time-Dependent Coefficient. Computational Mathematics and Mathematical Physics, 2005, vol. 45, no. 12, pp. 2085-2101.

16. Kozhanov A.I. [On the Solvability of the Inverse Problem of the Occurrence of the Senior Comfect in an Equation of the Compilation Type]. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2008, no. 15 (115), issue 1, pp. 27-36. (in Russian)

17. Kozhanov A.I. [Solvability of Inverse Problems for Recovery of Coefficients in Composite Type Equations]. Journal of Mathematical Sciences, 2008, vol. 8, no. 3, pp. 81-99. (in Russian)

18. Kozhanov A.I. [On the Solvability of Certain Nonlocal and Related Inverse Problems for Parabolic Equations]. Matematicheskie zametki Jakutskogo gosudarstvennogo universiteta, 2011, vol. 18, issue 2, pp. 64-78. (in Russian)

19. Telesheva L.A. [An Inverse Problem for Higher-Order Parabolic Equations: the Case an Unknown Time-Dependent Coefficient]. BSU Bulletin. Series: Mathematics, Informatics. 2010, no. 9, pp. 175-182. (in Russian)

20. Telesheva L.A. [On the Solvability of the Inverse Problem for a High-Order Parabolic Equation with an Unknown Coefficient for the Time Derivative]. Matematicheskie zametki Jakutskogo gosudarstvennogo universiteta, 2011, vol. 18, issue 2, pp. 180-201. (in Russian)

21. Ladyzhenskaya O.A., UraPtseva N.N. Linear and Quasilinear Elliptic Equations, N.-Y., London, Academic Press, 1968.

22. Jakubov S.Ya. Linejnye differencial'no-operatornye uravnenija i ih prilozhenija [Linear Differential-Operator Equations and Their Applications]. Baku, Elm, 1995.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

23. Trenogin B.P. Funkcional'nyj analiz [Functional Analysis]. Moscow, Nauka, 1980.

24. Demidovich B.P. Lekcii po matematicheskoj teorii ustojchivosti [Lectures on the Mathematical Theory of Stability]. Moscow, Fizmatlit, 2002.

25. Amandus N.E., Kozhanov A.I., Shvab I.V. Obyknovennye differencial'nye uravnenija. Ch. 1 [Ordinary Differential Equations. Vol. 1]. Novosibirsk, Novosibirsk State University, 2008.

Received June 28, 2016