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

Владикавказский математический журнал 2012, Том 14, Выпуск 4, С. 32-40

УДК 517.956

О ФУНКЦИИ ГРИНА ПАРАБОЛИЧЕСКОЙ ЗАДАЧИ НА ГРАФЕ1

Р. Ч. Кулаев

Работа посвящена анализу функции Грина смешанной задачи параболического типа, заданной на геометрическом графе. Изучаются вопросы существования, непрерывности и положительности функции Грина.

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

В центре внимания работы дифференциальное уравнение

д ( ди\ ди

Ьи ^ о~х) + и - я =0' (1)

в котором (х, г) £ Г х (0, Т] = Гт, Г — геометрический граф.

В каждой граничной вершине а графа Г ставятся условия Дирихле

и(М)=0, а £ дГ, г £ (0,Т]. (2)

А в каждой внутренней вершине а на решение уравнения (1) накладываются условия непрерывности и одно условие согласования

ии(а, г) — ик0 (а,г) = 0, к,к0 £ I(а), дик дх

ак(а,г)дХ(а,г)=0, а £ 3(Г), г £ (0,Т]. (3)

к€/(а)

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

В начальный момент времени г = 0 ставится условие

и(х, 0) = ф(х). (4)

На протяжении всей работы считаем выполненными следующие предположения: (I) Коэффициенты оператора Ь равномерно непрерывны по Гельдеру (с показателем ш) в Гт, причем

Ыо> < м, < м, |ф < м,

© 2012 Кулаев Р. Ч.

1 Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации, соглашение № 8210.

где

|u(x,i) - n(xo,io)|

|u| ш = sup |u(x,t)| + sup

(х,*)еГт (x,t),(x0,t0)&T (|x - xo|2 + |t - t0|) 2

inf p(x,t) > 0 и c(x,t) ^ 0 при (x,t) € Гт.

(II) Функции ^(x) € C1 [Г]; при каждом a € J (Г) функции ak € C [0,T]. Так же полагаем, что a& > 0 на [0,T].

На сегодняшний день параболические задачи на сетях изучены достаточно хорошо. Наиболее крупные циклы работ зарубежных авторов принадлежат S. Nicaise, F. Ali-Mehmeti, G. Lumer, J. von Below (см. работы [1-5] и библиографию к ним). Эти исследования связаны, в основном, с использованием методов функционального анализа, для которых безразлична структура графа.

Другой подход к изучению краевых задач на сетях разработан Ю. В. Покорным и его научной группой, ими было предложено рассматривать систему как единый объект — геометрический граф [6]. Такой подход позволил получить ряд результатов, ставших основой для дальнейших исследований. Это прежде всего принцип максимума, который в данном случае принимает классический вид — максимум решения на всем графе совпадает с максимумом на границе графа.

Исследования по данной тематике проводились как для одной, так и для многих пространственных переменных. В работах О. М. Пенкина рассматриваются уравнения заданные на стратифицированных множествах. В частности, были получены неравенство Пуанкаре и принцип максимума для дифференциального уравнения на стратифицированном множестве [6-8], явившиеся основой доказательства разрешимости эллиптических краевых задач как в слабой, так и в сильной постановках [6, 9].

В настоящей работе мы изучаем качественные свойства функции Грина краевой задачи (1)-(4). Будут рассмотрены вопросы существования, непрерывности и положительности функции Грина. Отметим, что для стационарного случая эти вопросы изучены и достаточно подробно изложены в монографии [6].

1. Предварительные сведения и обозначения

Под геометрическим графом в настоящей работе понимается одномерное стратифицированное многообразие, вложенное в Ж" и обозначаемое через Г [6]. Ребра графа — это пространственные гладкие кривые, не имеющие самопересечений. Вершина графа — точка, являющаяся концом одного или нескольких ребер. Считая ребра графа занумерованными, обозначаем их через , а вершины — через а^ или bj (при этом предполагается, что нумерация вершин независима от нумерации ребер). Пусть V(Г) — множество всех вершин графа Г. Обозначим через J(Г) множество вершин графа, которые являются концевыми точками двух и более ребер. Такие вершины мы называем внутренними. Вершины графа не принадлежащие J(Г) будем называть граничными и обозначать их через дГ. Если вершина а является концевой точкой ребра 7и, то будем говорить, что ребро 7и примыкает к вершине а. Множество индексов всех ребер, примыкающих к вершине а обозначим I(а). Всюду далее полагаем, что граф Г является связным множеством

о

в Ж". Через Г обозначим множество, получаемое из графа Г удалением всех его вершин,

о

т. е. Г = Г \ V(Г).

Для 0 < Ь < Т ведем обозначения

Г = Г х (0,Ь), дГ = дГ х (0,Ь), J(Г*) = J(Г) х (0,Ь), V(Г*) = V(Г) х (0,Ь).

Отдельные обозначения примем для г = 0 и г = Т

Гу = Г х (0, Т], Го = Г х {г = 0}.

о

Под функцией на графе понимается отображение и : Г ^ С. Через щ будем обозначать сужение функции и на ребро 7». Если а — произвольная вершина (граничная или внутренняя) графа Г, то под и»(а) понимается Итх^а и&(ж), ж £ ^к. Дифференцирование функций по переменной х £ Г на каждом ребре 7 £ Г осуществляется по параметру, причем подразумевается, что для этого ребро параметризовано в одном из двух возможных направлений.

Через Ск [Г] обозначаем пространство функций, имеющих равномерно непрерывные производные до к-го порядка на каждом ребре графа. Через Ск(Г) обозначаем подпространство из Ск [Г] функций непрерывных на всем графе Г (от производных непрерывность не требуется). Через Ск'5(Гу) будем обозначать множество функций, определенных на Г у принадлежащих при каждом г £ (0,Т] пространству Ск(Г) и при каждом х £ Г — пространству С5[0,Т].

Далее мы будем ссылаться на следующие результаты:

Теорема 1 (существование и единственность) [10]. Пусть для каждой вершины а £ V(Г) заданы функции гк(а,г) и Н(а,г), к £ I(а), причем гк £ С[0, Т], а функция Н(а,г) удовлетворяет условию Гёльдера с показателем 2 < ш ^ 1. Тогда существует единственное решение уравнения (1), удовлетворяющее начальному условию (4) и неоднородным краевым условиям

и(а,г)= г(а,г), а £ дГ, г £ (0,Т], ик(а, г) - ико(а, г) = Гк(а,г), к, ко £ 1(а),

дик (3) ак (а, г)—ж (а, г) = Н(а,г), а £ 3 (Г), г £ (0,Т]. дх

кб/(а)

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

Теорема 2 (принцип максимума) [5]. Пусть функция и(ж,г) £ С2,1 (Гу) удовлетворяет уравнению (1) и условиям (2), (3). Тогда либо и(ж,г) ^ 0 на Гу, либо и(ж,г) имеет положительный максимум на дГу и Го.

Теорема 3 (непрерывная зависимость от начальных данных) [11]. Пусть и(ж,г) и и(х, г) — решения, соответственно, уравнений Ьи = / (ж, г) и Ьи = / (ж, г), удовлетворяющие условиям (3') с правыми частями Гк = Гк = 0 и Н, Н, и условиям (4) с функциями ф, ф. Тогда

1|и - йУс(рт) < С^ птах |/ - 71 + атах.) ||Н(а, ■) - Н(а, •)УС[о,т] + 11Ф - Ф11с(г) где С не зависит от и и и.

2. Существование функции Грина задачи Дирихле

Определение. Функция С(ж,г;£,т), определенная для (ж,г;£,т) £ {Г х (0,Т]} х

о

{Г х [0, Т)}, г > т, называется функцией Грина для начально-краевой задачи (1)-(4) в Г у,

если для любого т из интервала 0 ^ т < T и для любой непрерывной на ГуР| {t = т} функции удовлетворяющей условиям (2), (3), функция

u(x,t) = I G(x,t; е,тЖО de (5)

Гт nit=T}

является решением уравнения Lu = 0 в Гу Р|{т < t ^ T}, удовлетворяет на V(Гт) Р|{т < t ^ T} краевым условиям (2), (3) и начальному условию

lim u(x,t) = ^(x), x £ Г. (6)

t\T

Теорема 4. Существует единственная функция Грина С (ж, Ь; т) начально-краевой задачи (1)-(4).

< Чтобы доказать существование функции Грина С, мы сначала на каждом ребре Тк € Г продолжим коэффициенты рк, дк и оператора Ь на открытое множество 70 Э 7к так, чтобы выполнялось условие (I) и обозначим через Нк(ж,Ь; £,т) фундаментальное решение уравнения (1), суженного на цилиндр ^к х [0,Т + 1]. В силу результатов [11] фундаментальное решение Н(ж, Ь; т) для уравнения Ьи = 0 на Гт существует и, сверх

— Н д2 Н дН

того, сужения функций Н, -т^-, , ШТ на ребра графа непрерывны по совокупности переменных (ж, Ь; т), когда ж и £ изменяются в 7к, к = 1, 2т, и 0 ^ т < Ь ^ Т.

Пусть д(ж,Ь;£,т) обозначает решение уравнения

ьд = 0, ж € Г, т < Ь < Т, (7)

удовлетворяющее при Ь = т начальному условию

д = 0, ж € Г, (8)

а при т < t ^ T — условиям в вершинах графа

Q(a, t; £, т) = -H(a, t; £, т), a £ дГ, Qk (a, t; £,т) - Qfco (a,t; £,т )= Hfco (a,t; £,т) - Hfc (a,t; £,т), k, ko £ I (a), ( )

dQ dH (9)

^ ak(a, t) -Q(a, t;£,т) = - ak(a,t) "H(a,t;£,т), a £ J(Г).

keI(a) keI (a)

о

При этом предполагается, что 0 ^ т < t ^ T, £ £ Г.

Так как H(x,t;£,т) ^ 0 и ЦН(x,t;£,т) ^ 0 при t ^ т, если ж = £ (см. [1]), то правые части условий (9) согласованы с начальными данными из (8). Из свойств фундаментального решения H и теоремы 1 следует, что единственное решение задачи (7)—(9) существует. Тогда, очевидно, функция G(x,t; £,т) = H(x,t; £,т) + Q(x,t; £,т) является функцией Грина задачи (1)-(4).

Доказывая единственность, предположим, что Gi и G2 — две функции Грина, и рассмотрим функцию

v(x,t)= J [Gi(x,t; £,т) - G2(x,t; £,т)Щ) d£, (10)

Гт ni t=T}

где ф(ж) — любая непрерывная в ГуР|{Ь = т} функция, удовлетворяющая условиям (2), (3). Очевидно, г>(ж,£) — решение однородной задачи (1)-(3), (8). Отсюда по принципу максимума V = 0 в Гу Р| {т < Ь ^ Т}.

о

Для любых фиксированных (жо,Ьо) £ Гу, (£о,то) € Г х[0,Т), Ьо > то определим последовательность непрерывных неотрицательных на Г функций {фп(£)}, удовлетворяющих условиям (2), (3), таких, что

Ф[п](е) = 0, К - Ы > П, /Ф[п](О ^ = 1.

г

Обозначим через V[п](ж,Ь) функцию v(ж,t) из (10), соответствующую ф = ф[п], т = то. Тогда 0 = Ишп^ vn(жо,Ьо) = (жо,Ьо; £о,то) - ^2(жо,Ьо; £о,то). >

о

Доопределяя функцию С(ж,Ь; £,т) нулем на {Г х (0, Т]} х {Г х[0,Т)}, Ь ^ т, получим Следствие 1. Функция Грина С(ж, Ь; т) непрерывна вне диагонали (ж, Ь) = (£, т). < Достаточно показать, что функция Q является непрерывной функцией точки

о

(ж,Ь;е,т) в {Г х (0,Т]} х {Г х[0,Т)}, Ь > т.

Пусть (£о,тз) точка в 7 х (0,Т), расстояние от которой до точки (£,т) меньше 5. Положим, для определенности то > т. Для каждого ребра 7^ £ Г зададим функцию (¿(ж,Ь), определенную на параболической границе множества 7^ х [т, Т] = [а^1 ,а^2] х [т, Т] следующим образом: (¿(ж,т) = 0, ж £ при г = ко £ I(а,) полагаем (¿(а,,Ь) = 0 (значение ко определяется в условиях (3)), а при г = ко € I(а,-)

(¿(а,,Ь) = (Як0 (а,,Ь; £,т) - Я^(а, ,Ь; £,т)) - (Я^ (а,,Ь; £о,то) - Я^а, ,Ь; £о,то)).

Тогда, используя теоремы о продолжении функций [12], на Г х [т, Т] можно определить функцию С(ж,Ь) так, что & £ С2'1^ х [т,Т]) и ||С*Пс2,1 (74х[г,т]) < Стах, ||&(а,-, -)||С1 [Г;Т], где С — абсолютная константа.

Пусть Q(ж,t; е,т) и Q(ж,t; £о,то) решения задачи (7)-(9) для (£,т) и (£о,то) соответственно. Рассмотрим функцию Ш(ж,Ь) = Q(ж,t; £,т) - Q(ж,t; £о, то), также являющуюся решением задачи (7)-(9) при соответствующих правых частях в (8), (9). Представим Ш в виде Ш(ж,Ь) = ад(ж,Ь) + £(ж,Ь). Поскольку начальные значения решения Ш(ж,Ь) задачи (7)-(9) при соответствующих правых частях в (8), (9) равны нулю, а значения на V(Г) х {т ^ Ь ^ то} за счет выбора 5 можно сделать произвольно малыми, то из теоремы 3 о непрерывной зависимости решения от исходных данных задачи, примененной к ад(ж,Ь), как решению неоднородного параболического уравнения, следует, что ад(ж,Ь) можно сделать произвольно малой на Гу Р|{Ь = то}, если 5 достаточно мало. То же самое, очевидно, справедливо на V(Г) х {то ^ Ь}. Отсюда на основании теоремы 2 находим, что в Гур|{то < Ь ^ Т} при достаточно малом 5 величина тах |ад(ж,Ь)| будет меньше любого наперед заданного числа. Откуда следует неравенство

^(ж,Ь; е,т) - Qfc(ж,Ь; ^о,то)| < е при достаточно малом 5. При этом 5 не зависит от (£, т) при условии, что (£, т) принад-

о

лежит замкнутому подмножеству из Г х[0,Т).

Поскольку Q непрерывная функция точки (ж, Ь) в Гу, Ь > т, для каждой фиксиро-

о

ванной точки (£,т) £ Г х[0,Т), то она является также непрерывной функцией точки

о

(ж,Ь; е,т) в Гу х {Г х[0,Т)}, Ь > т. Откуда следует непрерывность функции Грина на

о

Гу х {Г х[0,Т)}, Ь > т. >

Из построения функции G, проведенного в теореме 4, сразу вытекает утверждение. Следствие 2. Как функция (x, t) £ Гу, G(x, t; т) удовлетворяет уравнению

о

LG = 0. Кроме того, для каждой точки (£,т) £ Г х[0, T), функция G(x,t; т) удовлетворяет условиям (2), (3).

Теорема 2. Функция Грина задачи (1)-(4) строго положительна в {Гу \dГу} П(т < t < T}.

< Для любой непрерывной неотрицательной на ГуР|{t = т} функции удовлетворяющей условиям (2), (3), определим функцию

v(x,t) = J G(x,t; е,тЖО

Гт П! t=T}

В силу определения функции Грина Lv = 0 при x £ Г, т < t ^ T, v(x,T) = ^(x) ^ 0. Применение принципа максимума к v(x,t) дает неравенство v(x,t) ^ 0 для всех (x, t) £ Г х (т, T]. Определяя, как и в доказательстве теоремы 4, последовательность {^ [n](£)} и проводя аналогичные рассуждения, получим

0 ^ lim v[n] (xo,to) = G(xo ,to; £o,то)

n—

о

для всех (xo,to) £ Гу, (£o,тo) £ Г x[0,T), to >

о

Далее заметим, что для любой фиксированной точки (£,т) £ Г х[0, T) функция G(x,t; £,т) = const на Г х (т, T]. Поэтому при любых фиксированных (£,т) к каждому сужению Gk функции G на (x, t) £ Yk х (т, T] применим обобщенный принцип максимума [12, гл. II, §2], согласно которому из соотношений Gk ^ 0 в {Yk \ dYk} х (0,to], LGk ^ 0 в {Yk \dYk} х (0,to] и Gk(xo,to) = 0 в некоторой точке (xo,to) £ {Yk \dYk}х (0,T], следует, что Gk = 0 в {Yk \ dYk} х (0,to]. Из чего, в свою очередь, следует Gk > 0 на {Yk \ dYk} х (0, to].

Остается доказать строгую положительность функции G(x, t; т) на J (Г у) для

о

каждой точки (£,т) £ Г х[0,Т). Предположим противное. Тогда существует точка

о

(a,to) £ J(Гу), для которой при некоторых ) £ Г х[0, T) будет G(a,to; £o,т0) = 0.

Учитывая, что Gk(x,t;£o,т0) > 0 для всех (x,t) £ {Yk \ dYk} х (0,T], k £ I(a) и ak(a, to) > 0, получаем

dG

^ ak(a, to) "dxT (a, to; ^o,тo) > 0,

k€/(a)

где производные посчитаны от вершины a.

Последнее неравенство противоречит тому факту, что функция G(x, t; £o,т0) удовлетворяет условию согласования (3) в точке (a, to) (следствие 2). >

3. Функции Грина сопряженного оператора

Рассмотрим дифференциальное выражение

d ( , х dv\ . . dv

L*u = я dx

(dv \ dv

p(x,t) dxj + c(x,t)v - dt, (x,t) £ Гу, (11)

с условиями в вершинах графа Г

у(а,г) = 0, а е дг, г е (0,т], (12)

ук(а, г) — 6**(а, г)ико (а, г) = 0, к, ко е I(а),

^ ак(а,г)дх(а,г)=0, а е з(г), г е (0,Т]. (13)

Здесь

дх

кет (а)

с*/ Рко(а,г) ак(а,г) *, ,4 , о. (а'г) = Рк(а,г) ак0 (а, г); ак(а'г) = Рк(М)-

Дифференциальный оператор Ь*, порожденный дифференциальным выражением (11) и краевыми условиями (12), (13), назовем сопряженным к оператору Ь, порожденному дифференциальным выражением (1) и условиями (2), (3).

Из условий (2), (3) и (12), (13) следует, что

j у Ьи — и Ь*у йхйг = 0 Гт

для любых функций и и у, удовлетворяющих условиям (2), (3) и (12), (13), соответственно, и равным нулю на (Г х {г = 0}) и (Г х {г = Т}).

Фундаментальным решением уравнения Ь*у = 0 назовем функцию Н*(х, г; т), определенную для всех (х,г) е Гт, (£,т) е Гт, г < т, которая удовлетворяет следующим условиям:

a) для всех фиксированных (£,т) е Гт она, как функция (х,г), х е Г, г < т, удовлетворяет уравнению Ь*у = 0;

b) для каждой функции ф(х) е С [Г]

11т / Н*(х,г; £,т) ^ = ф(х).

Функция Н*, как и Н, может быть построена по методу Е. Леви (см., например, [13]) в виде суммы двух слагаемых: главного члена, имеющего нужную особенность при х = г = т, и некоторого добавочного слагаемого (см. [10]). Причем в качестве параметрикса берется функция

Я*(х,г; £,т) = {

0, т < г;

^Щ) ехр (—), ак < х, е < Ьк= [акЛ];

0, х е 7к, ^ е Чп к = п.

Функция 2* удовлетворяет уравнению Ь*у = 0 с «замороженными» в точке (£, т) коэффициентами. Второе слагаемое ищется в виде интегрального оператора с ядром 2 *. Функция Грина С*(х,г; £,т) оператора Ь* определяется как функция точки (х,г; £,т) е

о

{Г х [0, Т]} х {Г х (0, Т]} при г < т и такая, что для любого т из 0 ^ г < т и для любой непрерывной на ГтП{г = т} функции ф, удовлетворяющей условиям (12), (13), функция

У(х,г)= ! о*(х,г; е,т )ф(0 ^

Гт П }

удовлетворяет уравнению L*v = 0 в ГТР|{0 ^ t < т}, а на V(Гу) Р|{т < t ^ T} — краевым условиям (12), (13) и начальному условию

lim v(x,t) = ^(x), x € Г.

ifr

Существование и единственность функции Грина сопряженного оператора можно доказать тем же способом, что и для G, заменив предварительно в уравнении L*v = 0 t на —t. Затем также получаем, что для (x, t) € Гу П{0 ^ t < т} функция G* удовлетворяет уравнению L*G* =0 и краевым условиям (12), (13).

о

Теорема 5. Для любых двух точек (x, t) и (£, т) из Г х (0, T], t > т,

G(x,t; е,т) = G* (£,т; x,t). (14)

< Рассмотрим функции

u(y,a) = G(y, а; £,т), v(t, а) = G*(y, а; x, t)

о

для y € Г и а € (т, t).

о

Рассматривая интеграл по области Г х (т + е, t — е) от произведения v Lu и учитывая свойства функций G, G*, интегрированием по частям получим

J u(y, t — е) G*(у, t — е; x, t) dy = J v(y, т + е) G(y, т + е; f, т) dy.

о о

г г

Отсюда при е ^ 0 следует (14). >

Литература

1. Ali-Mehmeti F., von Below J. A., Nicaise S. Partial Differential Equations on Multistructures: Proceedings of a Conference Held in Luminy, France.—New York: Marcel Dekker, 2001.—256 p.—(Ser. Lecture Notes in Pure and Appl. Math.; Vol. 219).

2. von Below J. A. Classical solvability of linear parabolic equations on networks // J. Diff. Eq.—1998.— Vol. 75.—P. 316-337.

3. Gen Qi Xu, Mastorakis N. E. Differential Equations on Metric Graph.—Published by WSEAS Press, 2010.—242 p.

4. von Below J. A. A Qualitative theory for parabolic problems under dynamical boundary conditions // J. of Inequal. and Appl.—2000.—Vol. 5.—P. 467-486.

5. von Below J. A. A maximum principle for semilinear parabolic network equations // Diff. Eq. with Appl. in Biology, Physics and Engineering.—New York: M. Dekker Inc., 1991.—P. 37-45.

6. Покорный Ю. В., Пенкин О. М., Прядиев В. Л., Боровских А. В., Лазарев К. П., Шабров С. А. Дифференциальные уравнения на геометрических графах.—М.: Физматлит, 2004.—272 с.

7. Пенкин О. М. О принципе максимума для эллиптического уравнения на двумерном клеточном комплексе // Докл. АН.—1997.—Т. 352, № 4.—С. 462-465.

8. Пенкин О. М. О принципе максимума для эллиптического уравнения на стратифицированных множествах // Дифференц. уравнения.—1998.—Т. 34, № 10.—C. 1433-1444.

9. Пенкин О. М., Богатов Е. М. О слабой разрешимости задачи Дирихле на стратифицированных множествах // Мат. заметки.—2000.—№ 6.—C. 874-876.

10. Кулаев Р. Ч. О разрешимости параболической задачи на графе // Уфимский мат. журн.—2010.— Т. 2, вып. 4.—С. 74-85.

11. Камынин Л. И., Масленникова В. Н. О принципе максимума для уравнения с разрывными коэффициентами // Сиб. мат. журн.—1961.—Т. 2, № 3.—С. 384-399.

12. Гилбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка.—М.: Наука, 1989.—464 с.

13. Фридман А. Уравнения с частными производными параболического типа.—М.: Мир, 1969.—427 с.

Статья поступила 6 марта 2012 г. кулаев руслан черменович

Южный математический институт ВНЦ РАН и РСО-А, старший научный сотрудник отдела функционального анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: [email protected]

ABOUT GREEN'S FUNCTION OF A PARABOLIC PROBLEM ON A GRAPH

Kulaev R. Ch.

The work is devoted to Green's function of the mixed boundary problem for equation of parabolic type on geometrical graph. Existence, continuity and positivity of Green's function are studied.

Key words: boundary problem on a graph, Green's function, parabolic equation, geometrical graph.