Inverse problems for mathematical models with the pointwise overdetermination

Abstract


In the article we examine well-posedness questions in the Sobolev spaces of an inverse source problem in the case of a quasilinear parabolic system of the second order. These problem arise when describing heat and mass transfer, diffusion, filtration, and in many other fields. The main part of the operator is linear. The unknowns occur in the nonlinear right-hand side. In particular, this class of problems includes the coefficient inverse problems on determinations of the lower order coefficients in a parabolic equation or a system. The overdetermination conditions are the values of a solution at some collection of points lying inside the spacial domain. The Dirichlet and oblique derivative problems under consideration. The problems are studied in a bounded domain with smooth boundary. However, the results can be generalized to the case of unbounded domains as well for which the corresponding solvability theorems hold. The conditions ensuring local (in time) well-posedness of the problem in the Sobolev classes are exposed. The conditions on the data are minimal. The results are sharp. The problem is reduced to an operator equation whose solvability is proven with the use of a priori bounds and the fixed point theorem. A solution possesses all generalize derivatives occurring in the system which belong to the space with and some additional necessary smoothness in some neighborhood about the overdetermination points.


Введение

Мы рассматриваем вопрос об определении вместе с решением функции источника и коэффициентов, характеризующих параметры среды в квазилинейных математических моделях конвекции-диффузии. Пусть G – область в n с границей Γ класса C2 и Q=0,T×G. Соответствующая параболическая система имеет вид:

Lu=ut+A(t,x,D)u=f(x,t,u,u)+r(i=1)fi(t,x)qi(t),(t,x)Q,(1)

где A – матричный эллиптический оператор вида At,x,Du=i,j=1naijt,xuxjxj+i=1naiuxi+a0u, aij,ai  h×h матрицы, u – вектор длины h и qt=q1t,q2t,,qmt – неизвестные функции, подлежащие определению вместе с решением u, которые входят как в правую часть, так и в сам оператор A как коэффициенты. Структуру оператора A мы опишем ниже. Система (1) дополняется начальными и граничными условиями:

u|t=0=u0, Bu|S=g, S=0,T×Γ,(2)

где Bu=i=1nγit,xuxi+σt,xu или Bu=u, ni  i-я координата внешней единичной нормали к Γ и γit,x,σt,x матрицы-функции размерности h×h, принадлежащие классу C1/2,2S¯. Условия переопределения записываются в виде:

uxi,t=ψit, i=1,2,,s, m=hs.(3)

Таким образом, дополнительные условия являются данными замеров решения (например, концентрации переносимого вещества) в определенных точках области. Обратная задача состоит в нахождении решения  уравнения (1) и функций qit(i=1,2,,m) по данным (2), (3).

Проблемы подобного вида возникают при описании процессов тепломассопереноса, диффузионных процессов, процессов фильтрации и во многих других областях (см. [1]). Большое количество результатов было получено в случае линейной по своим аргументам функции f. Можно отметить работу [2], где получена теорема существования и единственности решений задачи (1)–(3) в пространствах Гельдера в случае h=1,r=1. В случае n=1,r=1 и G= некоторые результаты получены в работах [3, 4]. В работах [5, 6] была рассмотрена также и задача об определении младшего коэффициента в параболическом уравнении. Общие теоремы о разрешимости абстрактных задач такого вида в квазилинейном случае получены в монографии [7]. Однако стоит отметить, что результаты [7] применимы к задаче (1)–(3) в случае некоторых специальных функций g и в случае краевых условий, таких, что область определения оператора L не зависит от времени. Однако даже в этом случае в [7] используются излишним условиям гладкости и согласования на данные. Ряд задач, входящих в класс (1), был рассмотрен в работе [8]. Численные методы решения различных модельных задач, входящих в класс (1)–(3), рассматривались, например, в работах [9, 10] и многих других. В частности, в работе [10] численно решалась обратная задача (1)–(3) об определении функции источника для квазилинейной системы параболических уравнений. Наши результаты обобщают результаты работы [14] (см. также [15]). В данной работе мы получим локальную теорему о разрешимости задачи.

Опишем содержание работы. В первом параграфе описаны условия на данные задачи и сформулированы основные результаты. Во втором параграфе приведено их доказательство. Обозначения функциональных пространств стандартные (см., например, [12]).

Определения, обозначения и вспомогательные результаты

Пусть E – банахово пространство. Символом LpG;E (G – область в n) обозначаем пространство сильно измеримых функций, определенных на G со значениями в E наделенное нормой uxELpG [12]. Мы также используем пространства Гельдера CαG¯. Обозначения WpsG;E, WpsQ;E пространств Соболева являются стандартными (см. определения в [12, 13]). Если E= E= или E=nE=n, тогда последнее пространство обозначается через WpsQ. Аналогично используем обозначения WpsG или CαG¯ вместо WpsG;E или CαG¯;E. Таким образом, включение uWpsG (или uCαG¯) для данной вектор-функции u=u1,u2,,uk означает, что каждая из ее компонент ui принадлежит WpsG (или CαG¯). В этом случае норма вектора есть просто сумма норм координат. То же самое соглашение принимаем для матриц-функций. Для интервала J=0,T положим Wps,rQ=WprJ;LpGLpJ;WpsG. Соответственно, Wps,rS=WprJ;LpΓLpJ;WpsΓ. Аналогично определяем пространство Гельдера Cr,sQ¯.

Пусть Bδxi – шар радиуса δ с центром в точке xi. Далее мы используем следующие обозначения: Qτ=0,τ×G, Sγ=0,γ×Γ. Дан набор точек xj из (3), параметр δ>0 назовем допустимым, если Bδxi¯G, Bδxi¯Bδxj¯= для ij, i,j=1,2,,r. Пусть Gδ=iBδxi, Qδ=0,T×Gδ, Qδτ=0,τ×Gδ.

Рассмотрим задачу (1), (2) и сформулируем один вспомогательный результат. Мы будем предполагать, что у нас выполнены условия.

Условия на коэффициенты:

aijCQ¯, akLpQ, γi,σC1/2,2S¯, p>n+2; (4)

aijL0,T;WpsGδ, akLp0,T;WpsGδ, i,j=1,2,,n, k=0,1,,n, (5)

для некоторого допустимого δ>0 и sn+2p,1. Опишем условия параболичности оператора L. Рассмотрим матрицу A0t,x,ξ=i,j=1naijt,xξiξjξn и предположим, что найдется постоянная δ1>0, такая, что корни p полинома det (A0t,x,iξ+pE)=0 ( E– единичная матрица) удовлетворяют условию

Re pδ1|ξ|2 ξn x,tQ. (6)

Пусть B0u=u в случае условий Дирихле в (2) и B0u=j=1nγjxju в противном случае. Условие Лопатинского может быть записано в виде: для любой точки t0,x0S, и операторов Ax,t,D и B0x,t,D, записанных в локальной системе координат y в этой точке (ось yn направлена по нормали к S и оси y1,,yn1 лежат в касательной плоскости в точке x0,t0), система

λE+A0x0,t0,iξ',ynvz=0, B0x0,t0,iξ',ynv0=hj, (7)

где ξ'=ξ1,,ξn1, yn+, имеет единственное решение из C¯+ ограниченное на бесконечности при всех ξ'n1, arg λπ/2, и hj таких, что ξ'+λ0. Мы также предполагаем, что

u0xWp22pG, gWp2k0,k0S,Bx,0u0x|Γ=gx,0 xΓ,(8)

где k0=11/2p в случае условия Дирихле и k0=1/21/2p, в противном случае

u0xWp2+s2pGδ для некоторого допустимого δ>0 иsn+2/p,1.(9)

Даны постоянные δ1<δ2<δ. Построим вспомогательную функцию φC0Gδ, такую, что φ1 в области Gδ1 и φ0 в GδGδ2.

Теорема 1. Пусть выполнены условия (4)–(9) для некоторого допустимого δ>0 и sn+2/p,1,​ fLpQτfφLp0,τ;WpsGδ и τ0,T. Тогда существует единственное решение  задачи:

Lu=ut+Au=f x,tQ, u|t=0=u0x, Bu|S=g. (10)

Причем φutLp0,τ;WpsGδ, φuLp0,τ;Wp2+sGδ. Если g0, u00, то справедлива оценка:

uWp2,1Qτ+φutLp0,τ;WpsGδ+φuLp0,τ;Wp2+sGδcfLpQτ+φfLp0,τ;WpsGδ,(11)

где постоянная c не зависит от f, решения u и τ0,T.

Доказательство. Доказательство этой теоремы может быть найдено в работе [17, Теоремы 1, 2]. Основное утверждение теоремы известно, см., например, [13]. Дополнительная гладкость по существу вытекает из известных результатов о внутренней гладкости решений параболических и эллиптических задач.

Основные результаты

Рассматривается уравнение

ut+Au=fx,t,u,u+i=1rfix,tqit+f0x,t. (12)

Мы рассматриваем задачу (1)–(3) о восстановлении правой части уравнения вида f=i=1rfix,tqit+f0x,t и коэффициентов, в частности входящих в главную часть уравнения (1). Предположим, что оператор A имеет вид:

A=L0-(k=r+1)mqk(t)Lk,

Lku=i,j=1naijkt,xuxjxj+i=1naikt,xuxi+a0kt,xu,

где k=0,r+1,r+2,,m. Поскольку неизвестные могут встречаться в главной части уравнения, мы будем искать их в классе C0,T. Построим матрицу Bt размерности m×m, чьи строки с числами с j1h+1 по jh занимают вектор-столбцы:

(f1(xj,t),f2(xj,t),,fr(xj,t),L(r+1)u0(xj),,Lmu0(xj)).

Мы предполагаем, что

ψjC1([0,T]),u0(xj)=ψj(0)(j=1,2,,s,),γi,σC1/2,2S¯, p>n+2,  (13)

aijkCQ¯L0,T;WpsGδ, alkLpQLp0,T;WpsGδi,j=1,,n, l=0,1,n, (14)

fiLpQLp0,T;WpsGδ i=1,,m, (15)

для некоторого допустимого δ>0, s>2+n/p, и k=0,r+1,,m;

aikxl,t,faxl,tC0,T (16)

для всевозможных значений i, j, k, l, a. Также необходимо выполнение следующего условия:

Условие (A). Существует число δ0>0, такое, что

det Btδ0 на0,T.

Заметим, что элементы матрицы B принадлежат C0,T. Рассмотрим систему

ψjt0+L0u0xj,0f0,xj,u0xj,u0xj=k=1rq0kfkxj,0+k=r+1mq0kLku0xj

по отношению к вектору q0=q01,q02,,q0m1. При выполнении условия (А) система имеет единственное решение. Обозначим A0=L0k=r+1mq0kLk. Пусть BR – шар радиуса R с центром в нуле в n+1h.

Условие (В). Функция ft, x, u, p непрерывна по совокупности переменных (u,pn+1h), для любого R>0 найдется постоянная M0>0, такая, что

ft,x,u1,p1ft,x,u2,p2M0u1u2+p1p2,

для всех u1,p1,u2,p2BR, ft,x,u,pC0,T×BR¯;WpsGδ.

Условие (C). Функция ft, x, u, p дифференцируема по параметрам u,pn+1h при п.в. t,xQδ и

fut,x,u,p,fpit,x,u,pC0,T×BR¯;WpsGδ R>0,

для любого R>0 найдутся функции Φ1t,x,Φ2t,xC0,T;LpG, такие, что

 fut,x,u1,p1fut,x,u2,p2LhΦ1t,xu1u2+Φ2t,xp1p2,

fpit,x,u1,p1fpit,x,u2,p2LhΦ1t,xu1u2+Φ2t,xp1p2

для всех u1,p1,u2,p2BR. Здесь величины fu,fpi(i=1,2,,n) – соответствующие матрицы Якоби и Lh – норма в пространстве линейных непрерывных отображений из h в h.

При указанных условиях теорема существования примет следующий вид.

Теорема 2. Пусть условия (A)-(C), (13)–(16) выполнены. Предположим также, что оператор M0=t+A0 параболический и выполнено условие Лопатинского, т. е. условия (6), (7) выполнены. Тогда найдется число τ00,T, такое, что на промежутке 0,τ0 существует единственное решение u,q1,q2,...,qm задачи (1)–(3), такое, что /uLp0,τ0;Wp2G, utLpQτ0, qitC0,τ0, i=1,,m. Кроме того φuLp0,τ0;Wp2+sG, φutLp0,τ0;WpsG.

Доказательство. Найдем решение задачи.

Φt+A0Φ=k=1rq0ifi x,tQ, Φ|t=0=u0x, BΦ|S=g. (17)

По теореме 1 ΦWp2,1QφΦtLp0,T;WpsGφΦLp0,T;Wp2+sG. Из теоремы III 4.10.2 в [11] вытекает, что φΦC0,T;Wp2+s2/pGC0,T;C2+s2/pn/pG¯. Следовательно, φΦC0,T;C2G. Из уравнения (17) вытекает, что Φtxj,tC0,T. Сделаем замену переменных q=q0+q1 и u=v+Φ в (1). Получим новую задачу:

Lv=vt+A0vk=r+1mq1kLkv=ft,x,v+Φ,v+Φ+i=1rfiq1i+i=r+1mq1iLiΦ=F, v|t=0=0, Bv|S=0,  (18)

vxj,t=ψ~t=ψjtΦxj,tC10,T, ψ~0=ψ~t0=0. (19)

Стандартные теоремы о разрешимости параболических задач гарантируют локальную разрешимость задачи (18) при фиксированном векторе q1. Однако у нас используются специальные классы данных и решений. Поэтому мы наметим доказательство. Определим пространство H0,τ=uWp1,2Qτ: φutLp0,τ;WpsG,φuLp0,τ;Wp2+sG. В качестве нормы в этом пространстве возьмем величину

uH0,τ=uWp1,2Qτ+φutLp0,τ;WpsG+φuLp0,τ;Wp2+sG.

Используя теорему 1, можем сказать, что решение  задачи (18) есть решение операторного уравнения:

v=M01ft,x,v+Φ,v+Φ+k=r+1mM01q1kLkv+M01k=1mf~kt,xq1kt, (20)

где M0u=ut+A0u, f~k=fk при kr и f~k=LkΦ при k>r. Зафиксируем параметр s1s,min (1,1n+2/p+s)), введем обозначения

gV0,τ=gLp0,τ;LpG+gφLp0,τ;WpsG,v0,τ=vC(0,τ;C1G¯+φvC0,τ;C1+s1G¯.

Теорема 1, условия на функции fi и неравенство Гельдера гарантируют оценку

M01k=1mf~kt,xqk1tqk2tH0,τc0q1q2C0,τ, (21)

где c0 – поcтоянная, не зависящая от параметра τ. Пусть q1C0,τr0. Аналогично, используя условия на коэффициенты, получим:

M01k=r+1mq1kLkvH0,τc1r0vH0,τ. (22)

Уравнение (20) можно переписать в виде:

v=Rv+f0, f0=M01k=1mf~kt,xq1kt. (23)

Покажем, что если параметр r0 достаточно мал, то на малом промежутке времени уравнение (23) разрешимо в классе H0,τ. Фиксируем параметр r01/4c1 и шар Br0=qC0,τ: qC0,τr0. Фиксируем также шар BR0=vH0,τ: vH0,τR0 с R0=2R0H0,τ+c1r0. Получим оценки. Пусть viBR0(i=1,2). Имеем, используя теорему 1, условия на f и (22), что

 Rv1Rv2H0,τc3v1v20,τ+c1r0v1v2H0,τ. (24)

При оценке нормы ft,x,v1+Φ,v1+Φft,x,v2+Φ,v2+ΦV0,τ используем неравенства:

ft,x,v1+Φ,v1+Φft,x,v2+Φ,v2+ΦLp0,τc4v1v2C0,T;C1G¯, (25)

вытекающее из условия (B), и неравенство

φft,x,v1+Φ,v1+Φft,x,v2+Φ,v2+ΦLp0,τ;WpsGc5v1v20,τ, (26)

где постоянные ci не зависят от τ. Чтобы получить последнее неравенство, используем представление:

ft,x,v2t,x+h+Φt,x+h,v2t,x+h+Φt,x+hft,x,v1t,x+h+Φt,x+h,v1t,x+h+Φt,x+h= 

01fut,x,v1t,x+h+τΔv,v1t,x+h+τΔvt,x+hΔvt,x+h+

 i=1nfpit,x,v1+τΔv,v1+τΔvΔvxit,x+hdτ, Δv=v2v1,

ft,x,v2t,x+Φt,x,v2t,x+Φt,xft,x,v1t,x+Φt,x,v1t,x+Φt,x

=01fut,x,v1t,x+τΔvt,x,v1+τΔvt,xΔv

+i=1nfpit,x,v1+τΔv,v1+τΔvΔvxidτ

и определение нормы в пространстве WpsG. Оценим правые части в (25), (26). Теорема III 4.10.2 в [11] гарантирует, что  vC0,τ;Wp22/pG (класс Wp1,2Qτ вложен в C0,τ;Wp22/pG) и что φvC0,τ;Wp22/p+sG. Можем считать, что постоянные вложения в обоих случаях не зависят от τ (поскольку четное продолжение (относительно точки τ) на промежуток 0,2τ и далее нулем сохраняет норму и класс H0,τ для функций ν, которые обращаются в ноль при t=0). Используя теоремы вложения (см. теорему 4.6.2 в [12]) и интерполяционные неравенства, а также формулу Ньютона-Лейбница, имеем:

vC0,τ;C1G¯c6vC0,τ;Wp1+n/pGc7vC0,τ;Wp22/pGθvC0,τ;LpG1θc8vC0,τ;Wp22/pGθvtLpQτ1θτ1θ11/pc9vC0,τ;Wp21/pGθvtLpQτ1θτ1θ11/pc10vH0,ττβ, (27)

где , θ=p+n/2p2β=1θ11/p и постоянные ci не зависят от  τ и ν. Оценим второе слагаемое, входящее в норму . Аналогично имеем:

φvC0,τ;C1+s1G¯c11φvC0,τ;Wp1+n/p+s1Gc12φvC0,τ;Wp22/p+sGθ1vtLpQτ1θ1τ1θ111/pc13φvC0,τ;Wp22/p+sGθ1vtLpQτ1θ1τ1θ111/pc14vH0,ττβ1, (28)

где θ1=1+n/p+s1/2+s2/p, β1=1θ111/p и постоянные ci не зависят от   τ и ν. Таким образом, используя (27), (28), оценку (24) можно переписать в виде

Rv1Rv2H0,τc15τβv1v2H0,τ+c1r0v1v2H0,τ, (29)

где постоянные ci не зависят от  τ и β>0 – некоторая постоянная.

Выберем τ0 такое, что

τ0βc151/4, c15=c15R0,

тогда оператор R удовлетворяет оценке

Rv1Rv2H0,τv1v2H0,τ/2 viBR0, ττ0,q1Br0. (30)

В частности, имеем неравенство

RvR0H0,τvH0,τ/2 vBR0, ττ0,q1Br0. (31)

Из (23) вытекает неравенство

Rv+f0H0,τvH0,τ/2+R0/2R0, vBR0, (32)

которое гарантирует, что отображение Rv+f0  переводит шар BR0 в себя и является в нем сжимающим. По теореме о неподвижной точке получим, что уравнение (23) разрешимо. Получим необходимую оценку. Пусть v1, v1 два решения, отвечающие двум различным векторамqi=q1i,,qmii=1,2, из шара Br0. Таким образом,

vj=M01ft,x,vj+Φ,vj+Φk=r+1mqkjLkvj+i=1mf~it,xqijt. (33)

Вычитая два уравнения (33) и используя полученные выше оценки, мы выводим

v1v2H0,τc16q  1q  2C(0,τ, (34)

где постоянная c16 не зависит от τ.

Пусть vH0,τ. Полагая x=xj в (18), мы придем к системе равенств

ψ~jt+A0vt,xjk=r+1mq1kLkvt,xj=ft,xj,vt,xj+Φt,xj,v+Φt,xj+i=1mf~it,xjq1it, (35)

где j=1,,s. Эта система может быть переписана в виде Bq=ψ+R~q, где координаты векторов  ψ и Rq с номерами от j1h+1 до jh  совпадают с векторами ψj~tft,xj,Φt,xj,Φt,xj и A0vt,xjk=r+1mq1kLkvt,xjft,xj,vt,xj+Φt,xj,vt,xj+Φt,xj+ft,xj,Φt,xj,Φt,xj, соответственно. В оператор R~ входит функция v=vq, которая определяется через функцию q как решение задачи (18). Таким образом, приходим к системе

q=B1ψ+B1R~q,  (36)

где оператор B1R~q:C(0,τC(0,τ ограничен. Более того, он удовлетворяет условиям теоремы о неподвижной точке на некотором малом промежутке времени. Получим оценки.

Отметим, что по построению ψt|t=0=0. Следовательно, найдется параметр τ1τ0, такой, что

ψC0,τr0/2 ττ0. (37)

Пусть (qi)C([0,τ]) два вектора из шара Br0 и v1, v1 – соответствующие решению задачи (18). Далее имеем, что (ω=v1v2)

Далее, используя теоремы вложения и оценки (25), (26), оценим правую часть этого неравенства через

B1R~q1B1R~q1C0,τγ1(j=1r(α2Dαωxj,tC(0,τ+ft,x,v1+Φ,v1+Φt,xj)ft,x,v2+Φ,v2+Φt,xj)C0,τ).

Используя рассуждения из доказательства оценок (29) и вышеприведенные неравенства, аналогично получим оценку

B1R~q1B1R~q1C0,τγ3τβv1v2H0,τ, (38)

где постоянная γ3 не зависит от τ и β – некоторая положительная постоянная. Выберем τ2τ1, такое, что γ3τ2β1/2. При таком выборе τ2 оператор B1R~q будет сжимающим и будет переводить шар Br0 в себя. Следовательно, уравнение (36) разрешимо.

Пусть ν есть соответствующее решение задачи (18). Покажем, что полученные решения v,q есть решение обратной задачи (18), (19) эквивалентной нашей. Действительно, полагая x=xj в (18), придем к равенствам

vtt,xj+A0vt,xjk=m+1m1q1kLkvt,xj=ft,xj,vt,xj+Φt,xj,v+Φt,xj+i=1m1f~it,xjq1it.

Вычитая эти равенства из (35), получим v(t,xj)=ψ~(t). Единственность решений задачи (18), (19) вытекает из полученных в процессе доказательства оценок.

Valeriy V. Rotko

Yugra State Unversity

Author for correspondence.
Email: v_rotko@ugrasu.ru
16, Chehova street, Khanty-Mansiysk, 628012

Graduate student

  1. Marchuk, G. I. Mathematical Models in Environmental Problems [Text] : V. 16: Studies in Mathematics and its Applications / G. I. Marchuk. -Amsterdam : Elsevier Science Publishers, 1986. - 217 p.
  2. Прилепко, А. И. Теоремы разрешимости и метод Ротэ в обратных задачах для уравнения параболического типа [Текст] / А. И. Прилепко, В. В. Соловьев // Дифференциальные уравнения. - 1987. - Т. 23. - № 10. - C. 1791-1799.
  3. Afinogenova, O. A. Stabilization of the solution to the identification problem of the source function for a one-dimensional parabolic equation [Text] / O. A. Afinogenova, Yu. Ya. Belov, I. V. Frolenkov // Doklady Mathematics. - 2009. - Vol. 79, 1. - P. 70-72.
  4. Белов, Ю.Я. О задаче и дентификации функциии сточника для уравнения типа Бюргерса [Текст] / Ю. Я. Белов, К. В. Коршун // J. of Siberian Federal University. Mathematics & Physics. - 2012. - 5(4). - P. 497-506.
  5. Кулиев, М. А. Многомерная обратная задача для параболического уравнения в ограниченной области [Текст] / М. А. Кулиев // Нелинейные граничные задачи. - 2004. - № 14. - C. 138-145.
  6. Прилепко, А. И. О разрешимости обратных краевых задач определения коэффициента перед младшей производной в параболическом уравнении [Текст] / А. И. Прилепко, В. В. Соловьев // Дифференциальные уравнения. - 1987. - Т. 23, 1. - С. 136-143.
  7. Prilepko, A. I. Methods for solving inverse problems in Mathematical Physics [Text] / A. I. Prilepko, D. G. Orlovsky, I. A. Vasin. - New-York Marcel Dekker Inc, 1999. - 709 p.
  8. Пятков, С. Г. О некоторых классах коэффициентных обратных задач для параболических систем уравнений [Текст] / С. Г. Пятков, М. Л. Самков // Математические труды. - 2012. - Т. 15, 1. - C. 155-177.
  9. Ozisik, M. N. Inverse Heat Transfer [Text] / M. N. Ozisik, H. R. B. Orlande. - New York : Taylor & Francis, 2000. - 314 p.
  10. Mamonov, A. V. Point source identification in nonlinear advection-diffusion-reaction systems [Text] / A. V. Mamonov, Y-H. R. Tsai // Inverse Problems. - 2013. - V. 29, 3. - 26 p.
  11. Amann, H. Linear and quasilinear parabolic problems [Text] : V. 1 Abstract Linear Theory / H. Amann. - Berlin ; Boston ; New-York : Birkhäuser, 1995. - 342 p.
  12. Трибель, Х. Теория интерполяции. Функциональные пространства. Дифференциальные операторы [Текст] / Х. Трибель. - Москва : Мир, 1980. - 664 c.
  13. Denk, R. Optimal Lp-Lq-estimates for parabolic boundary value problems with inhomogeneous data [Text] / R. Denk, M. Hieber, J. Pruss // Math. Z. - 2007. - V. 257, 1. - P. 193-224.
  14. Ладыженская, О. А. Линейные и квазилинейные уравнения параболического типа [Текст] / О. А. Ладыженская, В. А. Солонников, Н. Н. Уральцева. - Москва : Наука, 1967. - 736 c.
  15. Пятков, С. Г. Об определении функции источника в квазилинейных параболических задачах с точечными условиями переопределения [Текст] / С. Г. Пятков, В. В. Ротко // Вестник ЮУрГУ. Серия«Математика. Механика. Физика». - 2017.- Т. 9. - № 4. - С. 19-26.
  16. Pyatkov, S. G. On some parabolic inverse problems with the pointwise over determination [Electronic resource] / S. G. Pyatkov, V. V. Rotko // AIP Conference Proceedings. - 2017. - V. 1907. - URL: https://aip.scitation.org/doi/abs/10.1063/1.5012619.
  17. Pyatkov, S. G. On some parabolic inverse problems with the pointwise overdetermination [Text] / S. G. Pyatkov, V. V. Rotko // AIP Conference Proceedings. - 2017. - V. 1907. - P. 020008.

Views

Abstract - 40

PDF (Russian) - 35

PlumX


Copyright (c) 2018 Rotko V.V.

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.