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

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

CC BY
160
42
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОБРАТНАЯ ЗАДАЧА / НЕДИВЕРГЕНТНЫЕ ПАРАБОЛИЧЕСКИЕ УРАВНЕНИЯ / ИНТЕГРАЛЬНОЕ НАБЛЮДЕНИЕ ПО ПРОСТРАНСТВЕННЫМ ПЕРЕМЕННЫМ / INVERSE PROBLEM / PARABOLIC EQUATIONS / INTEGRAL OBSERVATION WITH RESPECT TO SPATIAL VARIABLES

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

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

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

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

Inverse Problem of Determination of Source Function in Nondivergent Parabolic Equation

We obtain unique solvability for the inverse problem of determination of the unknown righthand side in multidimensional nondivergent parabolic equation. The additional information is included in the integral ∫︀

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

Математика

УДК 517.95

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

В. Л. Камынин, Т. И. Бухарова

Кафедра высшей математики Национальный исследовательский ядерный университет «МИФИ» Каширское шоссе, 31, Москва, Россия, 115409

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

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

1. Введение. Постановка обратной задачи

В работе изучается однозначная разрешимость обратной задачи определения пары функций {и(1,х),/(х)}, удовлетворяющих в Q = [0,Т] х П уравнению

п п

р(г, х)щ - Ьг(х)иХ1 + ¿(1, х)и = /(х)д(г, х), (1)

г,Э = 1 г=1

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

и(г, х) = 0, (г, х) е Г = {0} х п и [0, Т] х дП, (2)

а также дополнительному условию

т

! и(Ь, х)х(Ь)М = р(х), х е п. (3)

о

Здесь П — ограниченная область в Кп с гладкой границей дП; р(Ь,х), а^(х), Ьг(х), д(1,х), х(^), 1Р(Х) — заданные функции. Близкие обратные задачи при других предположениях на входные данные и другими методами изучались ранее в [1-6] и др.

В настоящей работе установлены достаточные условия, при которых решение обратной задачи (1)-(3) существует и единственно.

Используемые в работе пространства Лебега, Соболева и Гёльдера с соответствующими нормами будем понимать в общепринятом смысле (см., напри-[7,8]).

Во всех дальнейших рассуждениях мы будем предполагать, что функции, входящие в исходные данные задачи (1)-(3), измеримы и удовлетворяют следующим условиям:

(Л) 0 <Р1 < р(1,х) < Р2, \рг\ < Кр, (1,х) е Я]

Статья поступила в редакцию 4 марта 2012 г.

Работа выполнена при поддержке АВЦП «Развитие научного потенциала высшей школы» (проект 2.1.1/11278).

«1 Id2 < Е (хШз < ж е Q, z = п) е Rn; |£| =

i, 3 = 1

ON

aij (х) = aji(x), i,j = 1,2,...,n, x е Q; (В) ^(х^ < Kb, г = 1,2,...,n,x е Q, -di < d(t,x) < ch, t, ж) | < Kg, (t,x) е Q;

(C) x(t) е W1([0,T]), |Ш|к1ао,т]) < Kx, II/(t)\\Ll([0,T]) < К

g(t,x)x(t)dt

> до > 0;

(D) ф) е W^(Q), ф) = 0,x е dQ;

Y1 аИ (x)(P*i*s (x)

, =1

J2bi(x)^x>(x)

=1

< К*, X е Q.

Здесь p1, p2, a1, a2, Kx,Kg,g0 = const > 0; Kv, K*, Kb, d1,d2 = const > 0.

Положим

Kd = max {^1,^2} . (4)

Определение 1. Обобщённым решением задачи (1)-(3) будем называть пару функций {u(t,x),f (ж)}, u(t,x) е W2,,2(Q) П С0,a(Q),a = const е (0,1), f (х) е L^(Q) такую, что эта пара удовлетворяет уравнению (1) почти всюду в Q, а функция u(t,x) удовлетворяет условиям (2), (3).

Хорошо известно, что при выполнении только условий (Л) и (В) (и при f (х) е L<x(Q)) при п > 1 невозможно получить априорную оценку в L2(Q) старших производных решения u(t,x) прямой задачи (1)-(2), и, следовательно, доказать разрешимость прямой задачи в пространстве W^2 (Q). Требуется наложить те или иные дополнительные требования на старшие коэффициенты уравнения (1), например, условие непрерывности (см., например, [8]) или условие типа Корде-са (см., например, [9]). Предположив, что выполнено одно из указанных дополнительных условий на старшие коэффициенты уравнения (1), мы в следующем пункте устанавливаем однозначную разрешимость обратной задачи (1)-(3).

2

2. Основной результат. Существование и единственность решения обратной задачи (1)—(3)

Предположим сначала, что при п > 1 дополнительно к условиям (Л) — (И) выполнено ещё условие

(А') а^(х) е С (й),р(1,х) е С (Я).

Рассмотрим прямую задачу (1)-(2) с /(х) е Ь^(^). Тогда в силу условий (Л), (А'), (В) можно применить результаты из [8, с. 388], согласно которым существует единственное решение и(Ь,х) е №}1''2(0,) (для любого q > 2) прямой задачи (1)-(2), причём для него справедлива оценка

\U\w1-2(Q) < С1.

(5)

Поскольку, как было отмечено, число q в (5) может быть выбрано любым из промежутка [2, то), то в силу известных теорем вложения u(t,x) Е С°'a(Q) при некотором а Е (0,1) и справедлива оценка

Mc°,"(Q) ^ (6)

В оценках (5), (6) с\ и С2 - положительные константы, зависящие от входных данных задачи (1)-(2), а также от q и от ||/||ьет(п). Кроме того, в силу принципа максимума (см., например, [7, с. 60-61]) для этого решения справедлива также оценка

К

lu(t,x)l < Mf = (exl — 1) e(dlT)/^1 ||/ ||Ь^(П), (t,x) Е Q, (7)

где I — размер области Q в направлении оси х1, а Л = const > 0, для которой

ЩД2 + Л > 1. (8)

p(t,x) p(t,x)

Предположим теперь, что при п > 1 вместо условия (А') дополнительно к (Л) — (D) выполнено условие

( аИ(х)\2 . rau(x) . \2 1

iJ=1 Q ^P(t,xV Q P(t,x) J п + £'

п

^ ess sup a2 j(x)^ j ess_inf an(x)^j

i'j=1 ^ i=1 ^

при некотором s Е (0,1) (см. [9,10]).

n — 1 + s

Замечание 1. Неравенства, входящие в (А''), являются условиями типа Кор-деса, характеризующими близость главной части уравнения (1) к оператору теплопроводности щ — △и.

Рассмотрим снова прямую задачу (1)-(2) с / (х) Е Тогда в силу ре-

зультатов работы [9] с учётом п.4 из работы [11] существует единственное решение и(Ь,х) прямой задачи (1)-(2) из пространства причём для него справедлива оценка

(МЦ1-2^) < С3- (9)

Кроме того, из результатов [12, с. 120, 142] следует, что и(1,х) Е С°'а(0,) при некотором а Е (0,1) и справедлива оценка (6).

Заметим, что для формального применения результатов из [12] требуется, чтобы и(1, х) Е при q > п + 1. Однако это требование легко обойти. Именно, сгладим коэффициенты уравнения (1) с помощью средних функций. Нетрудно проверить, что условие (А") типа Кордеса останется справедливым и для «сглаженного» уравнения. Получим оценки (9) и (6) для решения ин(1,х) «сглаженного» уравнения (они не будут зависеть от параметра сглаживания К). Затем перейдём к пределу при К ^ то и воспользуемся единственностью решения и(1, х) из пространства W}Í''2(Q) исходной задачи (1)-(2) (см. [9]). Как и выше, для решения и(Ь,х) задачи (1)-(2) будет также справедлива оценка (7).

В дальнейшем при п > 1 будем предполагать выполненным одно из условий (А1) или (А1'), так что прямая задача однозначно разрешима для любой функции /(х) Е ЬХ(П).

1

Замечание 2. При п = 1 однозначная разрешимость прямой задачи (1)-(2) без условий (А') или (А'') следует из [13].

Рассмотрим обратную задачу (1)-(3) и выведем операторное уравнение для неизвестной функции / (х). Умножим уравнение (1) на х(^) и проинтегрируем по отрезку [0, Т]. Учитывая условия (2), (3) и предположения (Л), (С), приходим к соотношению

т

/ (х) = р(т,х)х(т)и(т,х)+1 №(г,х)х(£)—р^,х)х(£)—р(г,х)х' (г)]и(г,х)бг—

0

п п

— ^ а^(х)^ХгХ] (х) + ^ Ь(х)'.рХ1 О^}, (10)

(Х)^х% (X)

i,j=1 i=1

т

где С(х) = /0 д(1,х)х(1)№, так что в силу условия (С) |^(ж) | > д0 > 0. Введём линейный оператор А : Ь^(П) ^ Ь^(П) по формуле

т

Л(/) = р(т,х)х(Т)и(т,х)+![¿(г,х)х(г)-р*(г,х)х(г)-Р(г,х)х'(г)]и(г,х)м}, (11)

0

где и(1, х) - обобщённое решение прямой задачи (1)-(2) с заданной функцией f (х) € Ь^(П) в правой части уравнения (1).

В силу условий (Л) — (И), а также (А') или (А'') ( если п > 1) оператор А действительно действует из в Ь^(П), а соотношение (10) можно переписать

в виде

1 п п

/ = ли) + — ^ аг,(х)^ХгХ] + ^Ьг(х)рХг]■ (12)

^ ' г,]=\ г=1

Лемма 1. Пусть выполнены условия (Л) — (Б), а также (А') или (А"), если п > 1. Тогда для того, чтобы пара {и(1,х),/(ж)} была обобщённым решением .задачи (1)-(3), необходимо и достаточно, чтобы эта пара удовлетворяла соотношениям (1), (2), (12).

Доказательство. Необходимость доказана выше при выводе соотношения (12).

Докажем достаточность. Пусть / *(х) € Ь^(П) является решением уравнения (12). Рассмотрим функцию и*(1,х) как единственное обобщённое решение прямой задачи (1)-(2) с выбранной функцией f (х) = f *(х) в правой части уравнения (1). Положим

т

у*(х) = j u*(t,x)x(t)dt. (13)

0

Тогда >£*(х) £ С0,а(П). Повторяя рассуждения, приведённые выше при

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

выводе (10) (в этих рассуждениях достаточно, чтобы <^*(х) £ W2(Q)C\ & °,а(^)), приходим к соотношению

т

f *(x)G*(x) = р(Т,х)Х(Т)и*(Т,х) + J [d(t,x)X(t) - pt(t,x)x(t) - p(t,x)X' (t)]u* (t,x)dt-

0

n n

- Y^ (x)+^2 (X). (14)

i,j = 1 i= 1

С другой стороны, / *(х) является решением уравнения (12), поэтому учитывая определение оператора А в (11), имеем

т

/ *(х)с(х) = р(т,х)х(т)и*(т,х)+1 [й(1,х)х(ь)—р1(ь,х)х(ь)—р(1,х)^ (г)]и*(г,х)<И—

о

п п

— ^ + (х). (15)

г,3 = 1 г=1

Заметим, что из определения функции (х) в (13) и условия (И) следует, что

ср*(х) = 0, <р(х)=0, х Е дП. (16)

Положим ф(х) = (р(х) — <р*(х). Тогда, вычитая (14) из (15) и учитывая (16), получаем, что ф(х) Е С0,а(П) является в П обобщённым решением краевой задачи

п п

— а^(х)'фх,х. + ^2 ьг(х)~Фх, = 0, ф(х) = 0, х Е дП.

г, 3 = 1 г=1

Поэтому ф(х) = 0 в П: при выполнении условия (А1) это следует из [14, с. 225], при выполнении условия (А") - из [10], а при п = 1 - из [14, с. 173]. Следовательно, пара {и*{Ь,х), /*(х)} является обобщённым решением обратной задачи (1)-(3). Лемма 1 доказана. □

Теорема 1. Пусть выполнены условия (Л) — (Б), а также (А') или (А''), если п > 1. Положим

т = (еХ 1 — 1) Т^Ге( Л1Т)/Р1 (КаКх + КРкх + РзК + Р21х(Т)1) , (17)

Кд

9оР1

где Ка из (4), Л удовлетворяет условию (8). Пусть выполнено неравенство

т < 1. (18)

Тогда обобщённое решение {и(!,х),/(ж)} задачи (1)-(3) существует и единственно, причём справедливы оценки

К + К *

К* + К* (19)

|ь~(П) ^ (1 — т)д{

К К + К *

\и(1,х)\ < (еХ1 — 1) ^е(Л1Т)/Р1 Т" + ^ , (г,х) Е Я- (20)

Р1 (1 — Щдо

Доказательство. В силу определения оператора А в (11), с учётом условий (Л) — (И) и оценки (7), имеем, что для любого х Е П

\Л(/)(х)\ < 1р(Т,х)ШТШТ,х)1+

т

+ I №,х)х($ — Р1(Ь,х)х(Ь) — р(1,х)^(Щи(г,х)1<и} <

< 1 (КаКх + КрКх + р2к*х + р2\х(Т)|) м1.

Учитывая определение Mf в (7) и т в (17), получаем отсюда, что И(/)\\ьжП) < ^ (КаКх + КрКх + р2К* + р2\х(Т)\) х

х (ех 1 — 1) ^е(Л1Т)/р. \\/\\^п) = тУ\\^(п). (21)

В силу (18) т < 1, поэтому оператор А является сжимающим оператором в Ь^(П). Следовательно, уравнение (12) имеет единственное решение f(х) £ Ь^(П), причём в силу (21) с учётом условия (Б) для /(х) справедлива оценка (19). Пусть и(Ь,х) - решение прямой задачи (1)-(2) с найденной /(х) в правой части уравнения (1), которое существует, поскольку при п > 1 выполнено одно из условий (А) или (А!'). В силу (7) и (8) для и(Ь,х) справедлива оценка (20), а в силу леммы 1 пара [и(1,х),/(ж)} является обобщённым решением обратной задачи (1)-(3).

Докажем единственность решения обратной задачи (1)-(3). Пусть, вопреки утверждению теоремы 1, существует два различных обобщённых решения {и(1)(1,х),/(1)(ж)} и [и(2)(1,х),/(2)(ж)} этой задачи. Тогда обязательно

/(1)(х)^ /(2)(х), х £ [0,/], (22)

иначе и и(1)(1,х) = и(2)^,х) в силу единственности решения прямой задачи (1)-(2) (при п > 1 - в случае выполнения условия (А1) (см. [8, с. 388]) и в случае выполнения условия (А") (см. [9]), а при п = 1 - см. [13]). Но в силу леммы 1 /(1) (х) и /(2) (х) являются решениями операторного уравнения (12), и соотношение (22) противоречит тому, что оператор А является сжимающим. Теорема доказана. □

3. Некоторые примеры

Приведём примеры обратных задач, для которых справедлива доказанная в работе теорема существования и единственности.

Пример 1. Рассмотрим в Q = [0,Т] х [0,1] (п = 1, П = (0,1)) обратную задачу (2 + 8Ш - ихх + Ь(х)их + ^Ь,х)и = /(х), (Ь,х) £ Q; (23)

и(г,х) = 0, (г,х) £ Г; (24)

Т

1 ! и(г, х)<И = <р(х), х £ [0,1], (25)

о

с произвольными функциями Ъ(х), й(Ь,х), <р(х), удовлетворяющими условиям (В) и (Б), при условии, что константы Кь, К* не зависят от I и Т.

Заметим, что условие (25) имеет простой физический смысл: это взятие среднего по времени от функции и(1,х).

Очевидно, для задачи (23)-(25) выполнены условия (Л) — (Б), а константа Л из (8) может быть выбрана не зависящей от I и Т. Нетрудно посчитать, что т в условии (17) равна

(еАг — 1) е^Т (к* + .

ш = {еА — 1 е*11 К* + — . (26)

Таким образом, если Т фиксировано, то при достаточно малых I для m будет выполнено условие (18), а следовательно, в этом случае существует и единственно решение обратной задачи (23)-(25).

Если же функция d(t, х) в уравнении (23) равна нулю, то из (26) следует, что величина m будет удовлетворять условию (18) также и в случае достаточно больших Т (при фиксированном I). Следовательно, в этом случае задача (23) -(25) также будет однозначно разрешима.

Пример 2. Рассмотрим в Q = [0,Т] х [0,I] (п = 1, Ü = (0,1)) обратную задачу для уравнения (23) с краевыми условиями (24), но с дополнительным условием

т

Ju(t,x)t(T — t)dt = f (х), х е (0,1). (27)

о

Как и в примере 1, предполагаем, что функции Ъ(х), d(t,x), р(х) удовлетворяют условиям (В) и (D), а константы Кь, не зависят от I и Т.

Как и выше, для задачи (23), (24), (27) выполнены условия (Л) — (D), а константа Л из (8) может быть выбрана не зависящей от I и Т.

В данном случае

m = — 1) ed^T (Kd + .

Таким образом, как и в примере 1, если Т фиксировано, то при достаточно малых I величина m удовлетворяет условию (18), а, следовательно, существует и единственно решение обратной задачи (23), (24), (27).

Если же функция d(t,x) = 0, то условие (18) будет выполнено также и в случае достаточно больших Т (при фиксированном I). Следовательно, в этом случае обратная задача (23), (24), (27) также будет однозначно разрешима.

Литература

1. Прилепко А. И., Костин А. Б. О некоторых обратных задачах для параболических уравнений с финальным и интегральным переопределением // Математический сборник. — 1992. — Т. 183, № 4. — С. 49-68. [Prilepko A. I, Kostin A. B. O nekotorihkh obratnihkh zadachakh dlya parabolicheskikh uravneniyj s finaljnihm i integraljnihm pereopredeleniem // Matematicheskiyj sbornik. — 1992. — T. 183, No 4. — S. 49-68. ]

2. Прилепко А. И., Костин А. Б. Об обратных задачах определения коэффициента в параболическом уравнении II // Сиб. матем. журн. — 1993. — Т. 34, № 5. — С. 147-162. [Prilepko A. I., Kostin A. B. Ob obratnihkh zadachakh opredeleniya koehfficienta v parabolicheskom uravnenii II // Sib. matem. zhurn. — 1993. — T. 34, No 5. — S. 147-162. ]

3. Прилепко А. И., Тихонов И. В. Восстановление неоднородного слагаемого в абстрактном эволюционном уравнении // Изв. РАН. Сер. матем. — 1994. — Т. 58, № 2. — С. 167-188. [Prilepko A. I., Tikhonov I. V. Vosstanovlenie neodnorodnogo slagaemogo v abstraktnom ehvolyucionnom uravnenii // Izv. RAN. Ser. matem. — 1994. — T. 58, No 2. — S. 167-188. ]

4. Прилепко А. И., Ткаченко Д. С. Свойства решений параболического уравнения и единственность обратной задачи об источнике с интегральным переопределением // Журнал выч. матем. и матем. физики. — 2003. — Т. 43, № 4. — С. 562-570. [Prilepko A. I., Tkachenko D. S. Svoyjstva resheniyj parabolicheskogo uravneniya i edinstvennostj obratnoyj zadachi ob istochnike

s integraljnihm pereopredeleniem // Zhurnal vihch. matem. i matem. fiziki. — 2003. — T. 43, No 4. — S. 562-570. ]

5. Камынин В. Л. Об обратной задаче определения правой части в параболическом уравнении с условием интегрального переопределения // Математические заметки. — 2005. — Т. 77, № 4. — С. 522-524. [Kamynin V. L. Ob obratnoyj zadache opredeleniya pravoyj chasti v parabolicheskom uravnenii s usloviem integraljnogo pereopredeleniya // Matematicheskie zametki. — 2005. — T. 77, No 4. — S. 522-524 ]

6. Kozhanov A. I., Safiullova R. R. Linear Inverse Problems for Parabolic and Hyperbolic Equations // Journal of Inverse and Ill-Posed Problems. — 2010. — Vol. 1B, No 1. — Pp. 1-24.

7. Фридман А. Уравнения с частными производными параболического типа. — М.: Мир, 1962. — 42B с. [Fridman A. Uravneniya s chastnihmi proizvodnihmi parabolicheskogo tipa. — M.: Mir, 1962. — 42B s. ]

B. Ладыженская О. А., Солонников В. А., Уральцева H. H. Линейные и квазилинейные уравнения параболического типа. — М.: Наука, 1967. — 736 с. [Ladihzhenskaya O. A., Solonnikov V. A., Uraljceva N. N. Lineyjnihe i kvazilineyjnihe uravneniya parabolicheskogo tipa. — M.: Nauka, 1967. — 736 s. ]

9. Arena O. Sopra una classe di equazioni paraboliche // Boll.U.M.I. — 1969. — Vol. 2, No 1. — Pp. 9-24.

10. Chicco M. Principio di massimo per soluzioni di equazioni ellitiche del secondo ordine di tipo Cordes // Annali di Mat. Pura ed. Appl. — 1974. — Vol. 100, No 1. — Pp. 239-25B.

11. Arena O., Maugeri A. Perturbazioni di operatori parabolici di ordine 2n con termini di ordine inferiore // Boll. U.M.I. — 1974. — Vol. 9, No 1. — Pp. 169-1B4.

12. Крылов H. В. Нелинейные эллиптические и параболические уравнения второго порядка. — М.: Наука, 19B5. — 376 с. [Krihlov N. V. Nelineyjnihe ehllipticheskie i parabolicheskie uravneniya vtorogo poryadka. — M.: Nauka, 19B5. — 376 s. ]

13. Кружков С. H. Квазилинейные параболические уравнения и системы с двумя независимыми переменными // Труды сем. им. И.Г.Петровского. — 1979. — Т. 31, № 5. — С. 217-272. [Kruzhkov S. N. Kvazilineyjnihe parabolicheskie uravneniya i sistemih s dvumya nezavisimihmi peremennihmi // Trudih sem. im. I.G.Petrovskogo. — 1979. — T. 31, No 5. — S. 217-272. ]

14. Гилбарг Д., Трудингер H. Эллиптичесие дифференциальные уравнения с частными производными второго порядка. — М.: Наука, 19B9. — 463 с. [Gilbarg D., Trudinger N. Ehlliptichesie differencialjnihe uravneniya s chastnihmi proizvodnihmi vtorogo poryadka. — M.: Nauka, 19B9. — 463 s. ]

UDC 517.95

Inverse Problem of Determination of Source Function in Nondivergent Parabolic Equation

V. L. Kamynin, T. I. Bukharova

Department of Mathematics National Research Nuclear University "MEPhI" 31, Kashirskoe shosse, Moscow, Russia, 115409

We obtain unique solvability for the inverse problem of determination of the unknown right-hand side in multidimensional nondivergent parabolic equation. The additional information is included in the integral JQT u(t, x)x(t)dt, where x(t) is a given weight function. We adduce the examples of the inverse problems satisfying the conditions imposed.

Key words and phrases: inverse problem, parabolic equations, integral observation with respect to spatial variables.

i Надоели баннеры? Вы всегда можете отключить рекламу.