CC BY
45
ISSN 2074-1863 Уфимский математический журнал. Том 7. № 4 (2015). С. 99-108.
УДК 517.927.5
ПРИНЦИП СРАВНЕНИЯ ДЛЯ ФУНКЦИИ ГРИНА КРАЕВОЙ ЗАДАЧИ ЧЕТВЕРТОГО ПОРЯДКА НА ГРАФЕ
Р.Ч. КУЛАЕВ
Аннотация. В работе развивается теория неосцилляции уравнений четвертого порядка на геометрическом графе, возникающих при моделировании стержневых конструкций. Определение неосцилляции уравнения дается в терминах свойств специальной фундаментальной системы решений однородного уравнения. Устанавливается связь свойства неосцилляции со свойством положительности функции Грина некоторых классов краевых задач для уравнения четвертого порядка на графе.
Ключевые слова: граф, дифференциальное уравнение на графе, неосцилляция, функция Грина.
Mathematics Subject Classification: 34C10
1. Введение
Вопрос о неосцилляции дифференциального уравнения занимает одно из центральных мест в качественной теории обыкновенных дифференциальных уравнений [1]-[4]. Напомним, что в классической теории уравнение n-го порядка называется неосциллирующим на промежутке I С R, если любое его нетривиальное решение имеет не более n — 1 нулей, которые считаются с учетом их кратностей [1], [2]. Основное значение это свойство приобретает в контексте исследования осцилляционных свойств спектра краевых задач, и в первую очередь - положительности функции Грина того или иного класса краевых задач. Так, например, для уравнения второго порядка на отрезке [а,Ь] С R неосцилляция эквивалентна, с одной стороны, существованию положительного на полуинтервале [а,Ь] решения однородного уравнения, а с другой стороны - положительности функции Грина задачи Дирихле.
Известные на сегодняшний день результаты, связанные с неосцилляцией уравнений на графах, касаются уравнения второго порядка и подробно изложены в монографиях [5], [6]. Свойство неосцилляции уравнения второго порядка на графе базируется на понятии S-зоны, являющейся аналогом промежутка между соседними нулями непрерывной на отрезке функции. Для непрерывной на графе функции под S-зоной понимается любой подграф, на котором функция не имеет нулей и на границе которого она равна нулю. Уравнение второго порядка на графе называется неосциллирующим, если любое его нетривиальное решение не имеет S-зон на графе. Замена в определении неосцилляции уравнения второго порядка «числа нулей» на «число S-зон» позволила получить для уравнения второго порядка на графе точный аналог теории неосцилляции уравнения на отрезке - аналоги теорем сравнения Штурма и критерия неосцилляции Валле-Пуссена. При этом, как и в случае уравнения на отрезке, условия неосцилляции уравнения второго порядка на графе оказались эквивалентны, с одной стороны, положительности решений специальных задач
R.Ch. Kulaev, Comparison theorems for Green function of a fourth order boundary value problem on a graph.
©Кулаев Р.Ч. 2015.
Поступила 10 апреля 2015 г.
Дирихле, а с другой стороны - положительности функции Грина задачи Дирихле. Причем при других краевых условиях функция Грина может оказаться и неположительной.
В данной работе мы изучаем свойство неосцилляции уравнений четвертого порядка на графе, которые возникают при моделировании упругих стержневых конструкций. В работе [7] дан критерий положительности функции Грина некоторых краевых задач для таких уравнений. Согласно [7], положительность функции Грина эквивалентна положительной разрешимости специфических краевых задач четвертого порядка. Этот результат и приведенные выше соображения дают основание в качестве отправной точки при изучении неосцилляции уравнения на графе брать свойство положительности специальной фундаментальной системы решений уравнения на графе. Тем более, что фундаментальная система решений характеризует дифференциальное уравнение в целом. При таком подходе проявляется специфика уравнений четвертого порядка. Если для уравнения второго порядка пространство его решений допускает параметризацию граничными значениями функций, то в случае уравнения четвертого порядка, решение однозначно определяется уже парами значений - самого решения и его первой (или второй) производной - в граничных вершинах графа. Поскольку в каждой граничной вершине у нас два параметра, то для уравнения четвертого порядка на графе возникает два вида неосцилляции - слабая и сильная. Для классического случая, когда внутренние вершины графа отсутствуют, эти понятия не различимы, а в случае когда множество внутренних вершин графа не пусто, они, вообще говоря, разнятся. В данной работе мы вводим понятие слабо неосцил-лирующего уравнения и изучаем следствия этого свойства. Как будет показано, слабая неосцилляция обеспечивает положительность функции Грина для класса задач Дирихле. Помимо этого, свойство слабой неосцилляции позволяет получить принцип сравнения для функций Грина краевых задач Дирихле.
2. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ОБОЗНАЧЕНИЯ
Под геометрическим графом Г в настоящей работе понимается связное множество, имеющее структуру сети и вложенное в R2. Ребро графа — это интервал в R2, а вершина графа — точка, являющаяся концом одного или нескольких ребер. При этом ребра графа занумерованы и обозначаются через y¿, а вершины — через а, b, c или aj, bj, Cj (при этом предполагается, что нумерация вершин независима от нумерации ребер).
Обозначим через J(Г) - множество вершин графа, которые являются концевыми точками двух и более ребер. Такие вершины мы называем внутренними. Вершины графа, не принадлежащие J(Г), будем называть граничными и обозначать их множество через дГ. Мы считаем, что граф Г - это объединение множества всех его ребер y% и множества всех внутренних вершин J(Г). При этом граничные вершины в граф не входят. Если вершина а является концевой точкой ребра Y», то будем говорить, что ребро Y» примыкает к вершине а. Ребро, примыкающее к граничной вершине а Е дГ, нам иногда будет удобнее обозначать yа. Множество индексов всех ребер, примыкающих к вершине а, обозначим
о
I(а). Множество, получаемое удалением из графа всех его вершин, обозначим через Г. Подграфом графа Г назовем любое связное подмножество графа Г.
о
Под функцией на графе понимается отображение и : Г ^ R. Через Ui(x) будем обозначать сужение функции u(x) на ребро y». Через C [Г] будем обозначать пространство функций, равномерно непрерывных на каждом ребре графа Г. Для таких функций в каждой вершине а графа при i Е I(а) существует предел lim u»(x), который мы также
обозначаем через и»(а). При этом для внутренней вершины а величины Uk(а) и и»(а) не обязаны совпадать при k = i (k,i Е I(а)). Выделим в пространстве C[Г] подпространство функций для которых ик(а) = щ(а) при любой а Е J(Г) и любых k,i Е I(а). Множество всех таких функций обозначим через C(Г) и назовем их непрерывными на графе. Такое
определение вполне естественно, так как мы можем доопределить их по непрерывности на весь граф и положить u(a) = Uj(a), i G I (a).
Пусть a - некоторая граничная вершина графа и ya - примыкающее к ней ребро. Мы будем иногда использовать выражение «вблизи вершины a G 0Г» взамен выражения «в некоторой малой полуокрестности вершины a, содержащейся в Ya».
Определим понятие производной функции, заданной на графе. Для этого введем в рассмотрение функцию ^(x) G С[Г], взаимно однозначно отображающую каждое ребро y С Г на некоторый интервал (0, li) С R при li > 0. Функцию ^(x) будем называть метрической, а величину li- длиной ребра Yi. Для сужения функции ^(x) на ребро Yi существует обратное отображение x(^) интервала (0,li) на ребро Yi. Метрическая функция определяет на каждом ребре графа ориентацию. Функцию u(x) G C[Г] назовем дифференцируемой на графе Г, если для каждого ребра Yi С Г ее сужение ui(x) дифференцируемо относительно ^i(x). При этом полагаем u'(x0) = dui(x) I = lim д"^), x0 G Yi. Аналогично
aßi(x) \x—xo ^¿Эх—>xo
определяются производные высших порядков. Отметим, что производные нечетных порядков зависят от направления ориентации ребер графа, т. е. определяются с точностью до знака, а для четной производной ориентация не важна. Обозначим через СП[Г] пространство функций С [Г], производные которых до порядка n включительно существуют и принадлежат пространству С [Г]. Пространство СП[Г] допускает естественную норми-
n
ровку ||u|| = YI sup |u(j)(x)|.
j—0 ◦ J xer
Под дифференциальным уравнением на графе мы подразумеваем, следуя [5], набор обыкновенных дифференциальных уравнений на ребрах графа и набор условий согласования во внутренних вершинах, которое можно записать в общем виде
Lu = f (x), x G Г. (1)
При изучении дифференциальных уравнений на графах, важное значение имеет вопрос о том, для каких наборов условий связи в вершинах графа следует ожидать распространения таких ключевых свойств уравнения, как характер расположения точек экстремума (принцип максимума), положительность функции Грина соответствующей краевой задачи, свойства спектра и т.п. Понятно, что такое распространение вряд ли возможно для всех условий. Поэтому основой для выделения классов наборов условий в вершинах графа, в сочетании с которыми уравнение на графе наследует ключевые свойства уравнения на отрезке, должны служить математические модели реальных физических явлений. Именно это соображение мы берем в качестве посылки при выделении классов уравнений 4-го порядка на графе, для которых изучаются аналоги свойств скалярных уравнений на отрезке.
В данной работе мы рассматриваем уравнение, порождаемое совокупностью дифференциальных уравнений на ребрах графа
(Pi(x)ui')// - (qi(x)ui)' = fi(x), x G Yi с Г, (2)
с коэффициентами, определяемыми функциями p(x) G С2[Г], inf p(x) > 0, q(x) G С*[Г],
xer
q(x) ^ 0 на Г, f (x) G С [Г], дополняемой в каждой внутренней вершине a G J (Г) равенствами
ui(a) = uk (a), ui(a) = aki(a)u'k (a) + aji(a)uj (a), ^T Pi(a)aki(a)uf(a) = 0, ^ pi(a)aji(a)ui/(a) = 0, (3)
iel (a) iel (a)
и условиями с третьими производными
ч3
Е
D4(a) + ¿(a)u(a) = f (a), a G J(Г). (4)
ieI(a)
При этом, мы считаем, что в условиях (3), (4) все производные считаются в направлении от вершины a G J (Г); k, j - фиксированные (базисные) индексы из I (a), i G I (a); aki(a), a,ji(a) и i(a), f(a) - заданные числа, причем akk(a) = j(a) = 1 и akj(a) = (a) = 0, i(a) ^ 0, а в (4) через D3u обозначена третья квазипроизводная (p(x)u")' — q(x)u'. Кроме того, если к внутренней вершине a примыкает всего два ребра Yi и Yk, то полагаем, что все величины и соотношения, связанные с индексом j в системе условий (3), (4) отсутствуют. В этом случае условия (3), (4) принимают вид:
Ui(a) = Uk (a), ui(a) = a'i(a)u'k (a), aki(a)pi(a)u f(a) + pk (a)(a)u'(a)(a) = 0, D3ui(a) + D3uk (a) + i(a)u(a) = f (a).
Таким образом, левая часть Lu уравнения (1) - это левые части уравнений (2) на ребрах вместе с равенствами (3) и левыми частями условий (4) на J (Г), а правая часть
f(x) = {f(x) если x G Г;
f (a), если a G J(Г).
Решением дифференциального уравнения (1) будем называть всякую функцию u(x) G C4[Г], удовлетворяющую на каждом ребре графа, соответствующему обыкновенному дифференциальному уравнению (2), а в каждой внутренней вершине - условиям
(3), (4).
При исследовании свойств решений уравнения (1) мы будем предполагать, что выполнены следующие условия:
• p(x) G С2[Г], infp(x) > 0, q(x) G C1 [Г], q(x) ^ 0 на Г, f(x) G C[Г];
• граф Г является деревом;
• для каждой вершины a G J (Г) и каждого индекса i G I (a) хотя бы одна из констант aj(a), aki(a) отлична от нуля;
• для каждой вершины a G J (Г) можно задать базисные индексы j, k G I (a) так, что для некоторого индекса i G I (a) \ {j, k} одновременно будут выполняться неравенства a,ji(a) ^ 0, aki(a) ^ 0, причем хотя бы одно неравенство строгое.
Уравнение (1) имеет естественную физическую интерпретацию [9]. Оно возникает при моделировании малых деформаций (без учета деформаций кручения) плоской механической системы, состоящей из тонких прямолинейных стержней и имеющей структуру сети. Узлы системы образованы в результате жесткого соединения трех и более концов различных стержней. При этом полагается, что в некоторых точках (не обязательно узловых или граничных) система упруго подперта. Поэтому первая серия предположений определяется физическим смыслом задачи. А вот последние два предположения требуют дополнительного объяснения.
Условия непрерывности вида ui(a) = uk (a) для каждой внутренней вершины мы можем задавать, перебирая всевозможные индексы i,k G I (a), однако, содержательную часть несут лишь |I(a)| — 1 из всех таких условий, где |I(a)| - число ребер графа, примыкающих к вершине a. Таковыми, например, являются условия с произвольно фиксированным индексом k G I(a) и всеми i G I(a) \ k. Аналогичные суждения можно делать относительно условий для первых производных из (4), которые с физической точки зрения описывают компланарность всех троек касательных векторов ui(a), i G I (a): если угол между осевыми линиями i-го и s-го стержней, примыкающих к вершине a G J (Г), то aji(a) = — Sin^., a'i(a) = — ^Пе^, причем фиксированные индексы k и j выбираются так,
чтобы 0 < < п. Поэтому предположение о том, что для каждой вершины а Е 3(Г) и каждого индекса г Е I(а) хотя бы одна из констант а-д(а), а^(а) отлична от нуля, означает, что осевые линии различных стержней системы не накладываются друг на друга. Из этого же предположения следует, что условия для первых производных могут быть заменены их линейными комбинациями того же вида так, что любой наперед заданный индекс г Е I(а) будет одним из двух базисных. Что касается второго базисного индекса, то он не всегда может быть выбран произвольно. Такая ситуация возникает в случае, когда в заданных условиях для первых производных из (4) одна из констант а^(а), а-д(а), г = к, равна нулю: если, например, для некоторого индекса г Е I(а) \ к} будет выполняться равенство о^-Да) = 0, то индексы г и к не могут быть сделаны одновременно базисными. Из этого следует, что из всех возможных вариантов условий гладкости содержательную часть несут лишь |1 (а)| — 2 из всех таких соотношений, например, когда фиксированы два каких-нибудь возможных базисных индекса к Е I(а), а г Е I(а) \ к}.
Учитывая эти комментарии и результаты работы [8], [10], последнее из наших предположений гарантирует невырожденность краевой задачи для уравнения (1) на графе Г (или на любом его подграфе Го С Г) с краевыми условиями вида
и(а) = 0, 0(а)и'(а) — в(а)и"(а) = 0, а Е дГ (а Е дГ0),
0(а), в(а) ^ 0, 0 (а) + в (а) > 0. (5)
В краевых условиях мы всегда полагаем, что каждое граничное ребро графа Г (подграфа Г0) ориентировано от граничной вершины, к которой оно примыкает.
3. Фундаментальная система решений уравнения (1)
Однозначная разрешимость краевой задачи (1), (5) дает возможность параметризации пространства решений уравнения (1) на графе парами значений функций и их первой (или второй) производной в граничных вершинах графа.
Лемма 1. Соответствие между решениями однородного дифференциального уравнения (1) и упорядоченными парами значений решений и их первой (или второй) производной на границе является взаимно однозначным.
Доказательство. В силу предположений относительно коэффициентов дифференциального уравнения (1) и краевых условий (5), а также результатов работ [8], [10], однородная краевая задача (1), (5), имеет только тривиальное решение. Следовательно, неоднородная краевая задача (1), (5) имеет единственное решение. Это означает, что отображение
и ^ {(«(а),«^))}^ ,
где ша =1 или ша = 2, является обратимым и сюръективным, а значит, и взаимно однозначным. Лемма доказана. □
Следствие 1. Пусть |дГ| = т. Тогда размерность пространства решений однородного дифференциального уравнения (1) равна 2т.
Следствие 2. Пусть |дГ| = т. Тогда множество всех решений однородного уравнения (1), удовлетворяющих п условиям из полного набора краевых условий (5), образует, подпространство размерности 2т — п.
4. Слабая неосцилляция уравнения (1)
Сначала мы исследуем качественные свойства решений однородного уравнения (1), которые равны нулю на всей границе графа. Как показывают результаты работы [7], свойства таких функций определяют знак функции Грина задачи Дирихле для уравнения (1).
Для каждой вершины а Е дГ введем в рассмотрение краевую задачу Дирихле
Ьм = 0, х Е Г,
п(а) = 0, ^(а)м/(а) - в(а)п"(а) = 1, (6)
п(Ь) = 0, ОДМ(Ь) - в(Ь)м//(Ь) = 0, Ь Е дГ \ а.
Из леммы 1 и ее следствий 1, 2 следует, что для любой вершины а Е дГ краевая задача (6) однозначно разрешима. Из результатов работы [7] следует, что функция Грина краевой задачи (1), (5) строго положительна на Г х Г тогда и только тогда, когда для каждой граничной вершины а Е дГ решение краевой задачи (6) положительно на всем графе Г (см. [7]). Понятно, что решение краевой задачи (6) зависит от значений функций $(•),в(') : дГ ^ К+, определяющих коэффициенты в краевых условиях (5). В работе [11] показано, что если граница графа Г состоит только из двух вершин, т.е. если граф Г состоит из последовательно соединенных в цепь ребер, то знакопостоянство решений краевых задач (6), а Е дГ никак не связано со значениями коэффициентов -$(•) и в(■), а зависит только от коэффициентов дифференциального уравнения (1). Если же граф не гомеоморфен интервалу, то здесь ситуация совсем иная. При изменении коэффициентов краевых условий решение краевой задачи (6) (а с ним и функция Грина) может потерять свойство положительности, а может и, наоборот, приобрести его, о чем свидетельствует следующий пример.
Пример. Рассмотрим плоский граф Г С К2, состоящий из трех ребер 7г = (аг,Ь), г = 1, 2, 3, имеющих общий конец Ь, который является внутренней вершиной графа. Считая ребра 7г ориентированными от граничных вершин аг, рассмотрим на Г однородное уравнение
м1У = 0, х Е 7г,
п^Ь) = п2(Ь) = мз (Ь), п^Ь) = —п2(Ь) — п3(Ь),
з (7)
—п1/(Ь) + п2/ (Ь) = 0, —п1/ (Ь) + п3/(Ь) = 0, ^ пГ(Ь) = 0.
г=1
Положим, что длины 1г ребер графа равны /1 = /2 = 1, /3 = 5. Рассмотрим краевую задачу для уравнения (7) с условиями шарнира в каждой граничной вершине п(аг) = п//(аг) = 0, г = 1, 2, 3. В [14] показано, что соответствующая функция Грина положительна, а в [7] показано, что положительность функции Грина задачи (1), (5) эквивалентна положительности на Г решений всех краевых задач (6). Следовательно, если в краевых условиях (6) будет -$(•) = 0, то решения всех задач (6) для уравнения (7) будут положительны на Г.
Рассмотрим теперь решение уа1 (х) краевой задачи (6) для уравнения (7) с условиями жесткого закрепления (случай в(■) = 0), которое соответствует вершине а1 Е дГ. Привлекая метрическую функцию ^ = ^(х), будем иметь
Уа1 (х) =
Вычисления показывают, что
Уи + У12^2(х) + ^(х), х Е 71;
У ^3(х) I У ^2(х) х а ^ А = 2 3
у1—6--Н , х Е 7] , А = 2, 3.
У11 и 3.681, У12 и —3.184, ^21 и 0.681, У22 и —0.184 У31 и —4.362, У32 и 1.37.
Нетрудно виДеть, что у'а1 (а2) = ¿¡Ц^ (У21 ^ + У22^^
уа1 (а2) = 0, то заключаем, что функция уа1 (х) отрицательна вблизи граничной вершины а2.
= У22 < 0. Поскольку
х=а2
Рассмотрим две пары неотрицательных функций в(■), в(') и 0(-), 0('), определенных на дГ и удовлетворяющих условиям
в(а) + 0(а) > 0, 0(а) + 0(а) > 0, а Е дГ.
Каждая пара в(■), 0(') и /(■), 0(-) определяет свой набор краевых задач (6), а Е дГ, решения которых мы обозначим через £а(ж) и 0а(ж).
Лемма 2. Пусть всюду на дГ выполнено неравенство ^ ва (в случае 0(а) = 0
полагаем = то, аналогично при 0(а) = 0). Если все функции 0а(ж), а Е дГ, положительны на всем графе Г, то и все функции га(ж) положительны на Г.
Доказательство. Если ^ = в") на дГ, то, в силу невырожденности задач (6), будем
иметь га(ж) = 0а(ж) > 0 для всех а Е дГ. Поэтому рассмотрим случай ¡щ = . Доказательство будем вести индукцией по количеству граничных вершин графа, в которых
в(-) ^ Д(-)
выполнено строгое неравенство ^у > .
Пусть неравенство > в^ выполняется только в одной вершине Ь Е дГ. Из невырожденности краевой задачи (6) следует гь(ж) = А0ь(ж) при некотором А > 0. Поэтому ¿ь(ж) > 0 на всем Г.
Рассмотрим теперь функции £а(ж), соответствующие другим граничным вершинам. Зафиксируем произвольную граничную вершину а Е дГ \ Ь и определим функцию г(ж) = £а(ж) — 0а(ж). Очевидно, что функция г(ж) удовлетворяет на дГ \ {а, Ь} тем же краевым условиям, что и функции £а(ж), 0а(ж), а в вершине а однородному краевому условию
0(а)г'(а) — в (а)г''(а) = 0. Посмотрим на свойства функции г(ж) в вершине Ь. Сразу отметим, что поскольку 0а(ж) > 0 на всем графе Г, то из краевых условий 0а(Ь) = 0 и 0(Ь)0(Ь) — 0(Ь)10^(Ь) = 0 следует, что 0а(Ь)0а'(Ь) ^ 0, а значит, 0(Ь) ^ 0 и 0'(Ь) ^ 0. Далее, так как Щ- > Ш, то в(Ь) > 0 и 0(Ь) > 0. Поэтому для функции г (ж) будем иметь
0(Ь)г'(Ь) — в (Ь)г''(Ь) = 0(Ь)< (Ь) — в (ЬК'(Ь) — 0(Ь)0а (Ь) + в (Ь)0'(Ь) =
в(Ь)
■в| 0а (Ь) + 0а'(Ь)
^ в(Ь)
■Ш 0а (Ь)+зд в(Ь)
0.
Таким образом, функция г (ж) является решением однородного уравнения (1) и удовлетворяет граничным условиям
г(Ь) = 0, 0(Ь)г'(Ь) — в(Ь)г''(Ь) ^ 0,
г(с) = 0, 0(с)г'(с) — в(с)г''(с) = 0, с Е дГ \ Ь.
Следовательно, либо г(ж) = 0 на Г, либо г (ж) = А0ь(ж) при некотором А > 0. Значит, г (ж) ^ 0 на всем графе, т.е. га(ж) ^ 0а(ж) > 0, а Е д Г.
Предположим, что утверждение леммы верно для случая, когда неравенство в^г) > в=(-) выполняется в любых п граничных вершинах графа при некотором п ^ т — 1, и покажем, что тогда оно верно и в случае строгих неравенств в (п + 1)-й граничной вершине. Выбе-
I. ^ я-п - в(ь) ^ Д(М
рем произвольную вершину Ь Е д 1 в которой выполнено строгое неравенство ^у > .
Заменим значение функции в(■) в точке Ь Е дГ на в(Ь), а значение 0(Ь) на 0(Ь) и обозначим через /(■) и 0(-) получаемые таким образом функции. Через 0а(ж), а Е дГ, обозначим решения получающихся при такой замене краевых задач (6), а Е дГ. В силу предположения
индукции, сразу при всех a Е дГ на всем графе Г будут выполнены неравенства га(ж) > 0. Далее, для произвольной вершины a Е дГ определим функцию г(ж) = za(x) — га(ж) и, дословно повторяя рассуждения проведенные выше, показываем, что функция г(ж) является решением однородного уравнения (1), удовлетворяющим на дГ краевым условиям
r(b) = 0, tf (b)r'(b) — ß(b)r"(b) ^ 0,
r(c) = 0, tf(c)r'(c) — ß(c)r''(c) = 0, c Е дГ \ b.
Откуда следует тождественное равенство г(ж) = Лга(ж) при некотором Л ^ 0. Поэтому г(ж) ^ 0 на всем графе, а значит za(x) ^ -г« (ж) > 0. Лемма доказана. □
Определение 1. Дифференциальное уравнение (1) называется слабо неосциллирую-щим на графе Г, если для каждой граничной вершины a Е дГ краевая задача (6) имеет, при ß(-) = 0 положительное на Г решение.
Следует отметить, что определение слабой неосцилляции распространяется и на уравнение, порожденное обыкновенными дифференциальными уравнениями (2) на ребрах графа с условиями упруго-шарнирного сочленения
Uj(a) = (a), $j(a)ui(a) — ßj(a)ui'(a) = 0, i, k Е I (a), a Е J (Г),
^ 0, ВД + &(•) > 0,
и условиями (4) на J (Г) (все производные считаются от вершин a Е J (Г)). Свойства решений этого уравнения, которое мы назовем (1'), изучались в работах Ю.В. Покорного, А.В. Боровских, К.П. Лазарева и Р.О. Мустафакулова (см. [12], [13] и библиографию там же) и подробно представлены в монографии [5, Гл. 8]. Учитывая результаты [5], можно утверждать, что уравнение (1') всегда является слабо неосциллирующим. Действительно, если заменить в краевой задаче (6) однородное уравнение (1) на однородное уравнение (1') и обозначить через va(x) решение полученной краевой задачи, то, как следует из результатов [5], [13], функция va(x) монотонна на каждом ребре графа, кроме граничного ребра 7а = (a, b), a Е дГ, b Е J (Г). Кроме того (см. [5], [13]), любое решение этого уравнения, удовлетворяющее в каждой граничной вершине графа условию м'(-)м''(-) ^ 0, достигает своих максимума и минимума на границе графа (принцип максимума). Поскольку v«(a) > 0, то либо функция v«(ж) имеет точку максимума £ Е 7а такую, что v«(£) = 0 и v«(x) > 0 на (a,£] С 7«, либо v«(ж) > 0 на 7„, и функция va(x) возрастает на всем ребре 7„. В первом случае, в силу принципа максимума, v«(x) > 0 на Г \ (a, £), а значит v«(x) > 0 на всем Г. Во втором случае, функция v«(x) положительна на ребре Y« ив вершине b Е J (Г). Отсюда и из принципа максимума следует, что va(x) > 0 на каждой ветви графа, выходящей из вершины b Е J (Г). Следовательно, в любом случае решение va(x), a Е дГ, положительно на Г, т.е. уравнение (1') слабо не осциллирует.
В терминах слабой неосцилляции удается сформулировать ряд полезных свойств решений уравнения четвертого порядка, а с ними и свойств функций Грина краевых задач Дирихле для уравнения четвертого порядка (1).
Следствие 3. Пусть дифференциальное уравнение (1) слабо не осциллирует на Г. Тогда решение краевой задачи (6) положительно на всем графе Г при любых допустимых значениях коэффициентов $(•), ß(•) краевых условий.
Лемма 3. Пусть дифференциальное уравнение (1) слабо не осциллирует на Г. Тогда для любого решения уравнения (1), равного нулю на дГ, из неравенства и!(ж) ^ 0 на дГ следует и (ж) ^ 0 на Г. Если, при этом, и'(ж) = 0 на д Г, то и (ж) > 0 на всем графе Г.
Доказательство почти очевидно: из лемм 1 и следствия 3 следует, что функция и(ж) есть линейная комбинация с неотрицательными коэффициентами положительных решений краевых задач (6), a Е дГ, при ß(•) = 0. Причем, если u'(a) > 0 для некоторой
вершины а Е дГ, то и соответствующий коэффициент в линейной комбинации положителен.
Лемма 2, вместе со следствием 3 позволяют сформулировать теорему сравнения для функции Грина краевой задачи Дирихле (1), (5).
Теорема 1. (признак сравнения). Пусть всюду на дГ выполнено неравенство ^ §(а) (в случае ^(а) = 0 полагаем = <х, аналогично при г?(а) = 0). Тогда положительность функции Грина С(х,з) краевой задачи (1), (5) с коэффициентами /?(•) и $(•) в условиях (5) влечет положительность функции Грина С(х, в) задачи (1), (5) с коэффициентами в(-) и $(•).
Доказательство. В работе [7] показано, что функция Грина краевой задачи (1), (5) положительна на Г х Г тогда и только тогда, когда для каждой граничной вершины а Е дГ решение г>а(х) задачи (6) положительно на всем графе Г. Так как С(х, в) > 0 на Г х Г, то для всех а Е дГ будут выполнены строгие неравенства ^(х) > 0 на всем графе Г. А из леммы 2 и условий теоремы следует, что для всех а Е дГ на всем графе Г выполняются неравенства ^а(х) > 0, влекущие уже положительность функции С(х,з). Теорема доказана. □
В качестве следствий теоремы сравнения выделим ее предельные случаи.
Следствие 4. Если функция Грина краевой задачи Дирихле для уравнения (1) с условиями жесткого закрепления на границе положительна на Г х Г, то положительной будет и функция Грина краевой задачи (1), (5) Дирихле с любыми допустимыми значениями коэффициентов $(•), в(■) в краевых условиях (5).
Следствие 5. Если функция Грина краевой задачи Дирихле для уравнения (1) с условиями шарнирного закрепления на границе меняет знак на Г х Г, то знакопеременной будет и функция Грина краевой задачи Дирихле с любыми допустимыми значениями коэффициентов $(•), в(■) в краевых условиях (5).
Как показывает следствие 4, свойство слабой неосцилляции дифференциального уравнения (1) эквивалентно положительности функции Грина задачи Дирихле (1), (5) с любыми допустимыми значениями коэффициентов $(•), в(') краевых условий.
Стоит отметить, связь слабой неосцилляции уравнения (1) с теорией осцилляционных по Гантмахеру-Крейну ядер [15], [16]. Если граф Г представляет собой цепь последовательно соединенных ребер, то (см. [11], [17]) условие слабой неосцилляции является необходимым и достаточным для осцилляционности функции Грина задачи Дирихле (1), (5).
СПИСОК ЛИТЕРАТУРЫ
1. Левин А.Ю. Неосцилляция 'решении уравнения x(n) + pi(t)x(n-1) + ■ + pn(t)x = 0 // Успехи мат. наук. Т. 24, № 2. 1969. С. 43-96.
2. Дерр В.Я. Неосцилляция решений дифференциальных уравнений // Вестник Удмурдского университета. Вып. 1. 2009. С. 46-89.
3. А. Wintner One the non-existence of conjugate points // Amer. J. Math. №. 73. 1953. P. 368-380.
4. Тептин А.Л. К вопросу об осцилляционности спектра многоточечной краевой задачи // Известия ВУЗов. Математика. №. 4. 1999. C. 44-53.
5. Покорный Ю.В., Пенкин О.М., Прядиев В.Л., Боровских А.В., Лазарев К.П., Шабров С.А. Дифференциальные уравнения на геометрических графах. М.: Физматлит. 2007. 272 с.
6. Покорный Ю.В., Бахтина Ж.И., Зверева М.Б., Шабров С.А. Осцилляционный метод Штурма в спектральных задачах. М.: Физматлит, 2009. 192 с.
7. Кулаев Р.Ч. Необходимое и достаточное условия положительности функции Грина краевой задачи для уравнения четвертого порядка на графе // Дифференц. уравнения. Т. 51, №3. 2015. С. 302-316.
8. Кулаев Р.Ч. О разрешимости краевой задачи для уравнения четвертого порядка на графе // Дифференц. уравнения. Т. 50, №1. 2014. С. 27-34.
9. Завгородний М.Г. Вариационные принципы построения моделей стержневых стержней // Воронеж: Воронеж. гос. технол. академия. Вып. 4. 2000. С. 59-62.
10. Кулаев Р.Ч. Критерий положительности функции Грина многоточечной краевой задачи для уравнения четвертого порядка // Дифференц. уравнения. Т. 51, №2. 2015. С. 161-173.
11. Кулаев Р.Ч. Условия осцилляционности функции Грина 'разрывной краевой задачи для уравнения четвертого порядка // Владикавказский матем. журнал. Т. 17, вып. 1. 2015. С. 48-60.
12. Боровских А.В., Мустафакулов Р.О., Лазарев К.П., Покорный Ю.В. Об одном классе дифференциальных уравнений четвертого порядка на пространственной сети // Докл. РАН. Т. 345, №6. 1995. С. 730-732.
13. A.V. Borovskikh, K.P. Lazarev Fourth-order differential equations on geometric graphs // Journal of Mathematical Science. V. 119, № 6. 2004. P. 719-738.
14. Кулаев Р.Ч. О знаке функции Грина краевой задачи для уравнения четвертого порядка на графе // Владикавказский матем. журнал. Т. 16, вып. 2. 2014. С. 49-61.
15. Гантмахер Ф.Р., Крейн М.Г. Осцилляционные матрицы и ядра и малые колебания механических систем. М.-Л.: Гостехиздат. 1950. 359 с.
16. Левин А.Ю., Степанов Г.Д. Одномерные краевые задачи с операторами, не понижающими числа перемен знака, II // Сиб. мат. журнал. Т. 17, №4. 1976. С. 813-830
17. Кулаев Р.Ч. Об осцилляционности функции Грина многоточечной краевой задачи для уравнения четвертого порядка // Дифференц. уравнения. Т. 51, №4. 2015. С. 445-458.
Руслан Черменович Кулаев,
Южный математический институт ВНЦ РАН,
ул. Маркуса, 22,
362027, г. Владикавказ, Россия
Северо-Осетинский государственный университет им. К.Л. Хетагурова,
ул. Ватутина, 46,
362025, г. Владикавказ, Россия
E-mail: [email protected]
