CC BY
120
УДК 517.927 Доцент Е.В. Дикарева,
(Воронежский институт МВД России) кафедра высшей математики.
тел. (473) 200-50-50
E-mail: heiligenkreuz@gmail.com
Associate professor E.V. Dikareva,
(Voronezh Institute of the Ministry of Internal Affairs of theRussian Federation)
Department of higher mathematics.
phone (473) 200-50-50
E-mail: heiligenkreuz@gmail.com
Метод функций Грина в математических моделях для двухточечных краевых задач
Method of Green Functions in Mathematical Modelling For Two-Point Boundary-Value Problems
Реферат. В различных прикладных задачах, в которых рассматриваются вопросы управления и оптимизации, теории систем, теоретической и строительной механике при изучении структур из струн и стержней, теории колебаний, теории упругости и пластичности, в задачах механике, связанных с разрушениями и моделированием ударных волн, используются математические модели, основанные на применении обыкновенных дифференциальных уравнений высокого порядка. Подобная методология также применяется при исследовании математических моделей методами дифференциальных уравнений на графах, описывающих различные связанные системы с возможным упорядочиванием. Такие уравнения используются как в теоретическом обосновании математических моделей, так и служат основой для конструирования численных методов решения и компьютерных алгоритмов. В работе исследование таких моделей проводится методом функций Грина. В первой части работы приводятся общие сведения о методе функций Грина для многоточечных краевых задач. Описывается основное уравнение, вводятся понятия многоточечных краевых условий, граничных функционалов, вырожденных и невырожденных задач, фундаментальной матрицы решений. В основной части работы вначале даётся постановка задачи, включающая условия разрывов и деформаций. Далее приводятся основные результаты работы. В теореме 1 приведены условия однозначной разрешимости рассматриваемой задачи. В теореме 2 установлены условия строгой положительности решения и соизмеримости для пары решений. В теореме 3 установлено существования и оценки для минимального собственного значения, свойства точек спектра, положительность собственных функций. В теореме 4 доказана весовая монотонность функции Грина. В конце работы приводятся возможные приложения к теории сигналов и теории операторов преобразования.
Summary. In many applied problems of control, optimization, system theory, theoretical and construction mechanics, for problems with strings and nods structures, oscillation theory, theory of elasticity and plasticity, mechanical problems connected with fracture dynamics and shock waves, the main instrument for study these problems is a theory of high order ordinary differential equations. This methodology is also applied for studying mathematical models in graph theory with different partitioning based on differential equations. Such equations are used for theoretical foundation of mathematical models but also for constructing numerical methods and computer algorithms. These models are studied with use of Green function method. In the paper first necessary theoretical information is included on Green function method for multi point boundary-value problems. The main equation is discussed, notions of multi-point boundary conditions, boundary functionals, degenerate and non-degenerate problems, fundamental matrix of solutions are introduced. In the main part the problem to study is formulated in terms of shocks and deformations in boundary conditions. After that the main results are formulated. In theorem 1 conditions for existence and uniqueness of solutions are proved. In theorem 2 conditions are proved for strict positivity and equal measureness for a pair of solutions. In theorem 3 existence and estimates are proved for the least eigenvalue, spectral properties and positivity of eigenfunctions. In theorem 4 the weighted positivity is proved for the Green function. Some possible applications are considered for a signal theory and transmutation operators.
Ключевые слова: двухточечные краевые задачи, функции Грина, теория графов.
Keywords: two-point boundary-value problems, Green function, graph theory.
1. Общая методология использования краевая двухточечная задача для системы диффе-
функций Грина для многоточечных задач. ренциальных уравнений четвёртого порядка,
В работе сначала излагаются общие ре- имеющая прикладное значение. Для этой задачи
зультаты о существовании и построении функ- устанавливается существование функции Грина,
ции Грина в неклассической ситуации для много- и выводятся её основные свойства.
точечных краевых задач. Затем рассматривается
© Дикарева Е.В.,2015
Сначала рассмотрим классический случай двухточечной задачи, изложив схему построения и анализа функции Грина, см. [1]. Пусть на [а; Ь] с М1 задана двухточечная краевая задача, определяемая линейным дифференциальным уравнением:
Р0(х)у(п) + р1(х)у(п-1^> + ■■■ +Рп(х)у = ¡(х)
(1.1)
с непрерывными коэффициентами и п краевыми условиями:
1](у) = Я]- (1.2)
с функционалами 1](у) вида: п
1(у) = ^щу(1-1\а) + 1=1
+ ЪП=1Р1У(1-1\Ь). (1.3)
Теорема 1. Для того чтобы краевая задача (1.1)-( 1.2) была однозначно разрешимой для любой правой части ¡(х) и любого набора значений Я] необходимо и достаточно, чтобы однородная задача ¡(х) = 0,Я] = 0 имела только тривиальное решение.
Приведённая теорема делает полезным следующее определение.
Определение 1. Задачу (1.1)-(1.2) назовем невырожденной, если соответствующая однородная задача имеет только тривиальное решение.
Для простоты фундаментальную систему решений мы будем выбирать так, чтобы она оказалась биортогональной набору функционалов I] (.) (это по существу просто смена базиса в конечномерном пространстве). Эта система будет ниже обозначаться через [г^х)}, так что 1](г{) = 3(] (3(]- символ Кронекера). Тогда решение краевой задачи выписывается явно:
У(х) = [уо(х) - 1П=1г] (х)1](Уо)] +
+ ТП=1К)2)(х)- (1.5)
Далее мы будем рассматривать только однородные условия:
Ыу) = 0.
(1.6)
Определение 2. Функцией Грина задачи (1.1)-( 1.2) будем называть любую функцию в(х,5), позволяющую получить решение задачи (1.1)-(1.6) в виде интеграла:
у(х) = ( в (х,5)/(5)(15.
(1.7)
Теорема 2. Для любой невырожденной задачи (1.1)-( 1.6) функция Грина существует.
Доказательство состоит попросту в выражении у0 в формуле (1.5) через ¡(х). Это можно сделать, например, с помощью функции Коши:
...^00
К(х,я) =
Ш(з)р0(з)
*1п-2)(*)
(п-2)
( )
г^ ...гп(х)
(1.8)
( Ш(х) — определитель Вронского функций г-^(х),..., гп(х)) в виде:
уо(х) = ¡*К(х,5)/(5)(15.
(1.9)
Приведём фигурирующий здесь интеграл с переменным верхним пределом к интегралу с постоянными пределами вида (1.7), для этого представим (1.9) в виде:
уо(х) = ¡Со(х,5)Г(5)с15, (1.10)
где обозначено:
в0(х, з) = К(х, з), а < 5 < х < Ь, 0, а <
х < 5 < Ь.
(111)
На диагонали х = б, очевидно, К(б, б) = 0, поэтому включение значения х = и в ту, и в другую строку не приводит к противоречиям. Подставляя (1.10) в (1.6), получаем:
У(х) = ! во (х, s^f(s^ds
ъп=12] (х)1](! во (х, з)ГШ5), (1.12)
так что вопрос о представимости у(х) в форме (1.7) упирается только в возможность перестановки функционалов ] под знаком интеграла. Вообще говоря, такая перестановочность имеет место в силу известных свойств функции Коши: так как К( 1 ^(я^) = 0 при I = 0,. ..,п— 2, то из (1.9) следует:
у0°(х) = 1К(1) (х,з)ГШз (I = 0.....п— 2),
и потому для функционала (у) вида (1.3):
п
Ку) = \ ^&К(1-1\Ь,5) =1
Обозначая здесь сумму в квадратных скобках через ^(з) (для 1](у) соответственно через хр](з)), получаем из (1.12):
1
п
у(х) = | во(х, я) - ^ 2] (хЩф ]=1
f(s)ds,
что не только доказывает теорему, но и предъявляет в(х, з) явно:
С(х,з) = С0(х,з)-?Я=1ъ(хШз), (1.13)
или в более «классической» форме:
С (х, з) =
К(х, з) - 2,п=1 г^ (х)^^), а^з ^х ^Ь, - Т.п=1 ^ (х)^1 (з), а ^х ^з ^ Ь.
(1.14)
Следствие 1. \р{(з) непрерывны на [а, Ь].
Действительно, если обозначить через:
V
'(У) = ^&У(1-1)(Ь)
=1
составляющую функционала (1.3), сосредоточенную в точке Ь, то получим:
К(х, з) =
2100 -2п00
Ро(*)Ш(з)
(т-2)
1
( )
¿Г2''
■ гг )(з)
1}(21)...1?(2п)
(1.15)
Следствие 2. в(х,з) непрерывна вместе со своими производными по х до порядка п в каждом треугольнике а<х<5<Ьиа<5< х < Ь вплоть до границы. Действительно, этим свойством обладает как сумма ^п=1 г1 (х)^^), так и (см. (1.8)) функция К(х, з).
Следствие 3. Непрерывная функция в(х,з), дающая представление решения в виде (1.7), единственна.
Следствие 4. Для любого фиксированного 5 е (а, Ь):
С(Г>(з + 0,з)-С(Г>(з-0,з) = 0,1 < п - 2, = { 1
,1 = п — 2.
(1.16)
В самом деле, из (1.15) следует, что разность (1.16) совпадает с К(1')(з,з), которая как раз равна правой части (1.7).
Следствие 5. Для любого фиксированного 5 е (а, Ь) и любого 1](у) из условий (1.3), в(х, б)) = 0.
Действительно, 1](С(х,з)) = 1](С0(х,5)) - гр](Б), а
( в0(х, я)) = ^ а] С? Х)(а, з) =1
п
+ £р]'о«-1)(Ь,*)
=1 п
= ^р]К(1-1)(Ь,з) = ф](з).
=1
Следствие 6. Для любого фиксированного з е (а,Ь) функцияС (х, з) является решением однородного уравнения (1.1) на [а, з] и на [5, Ь].
Теорема 3. Если двухточечная задача (1.1)-( 1.2) невырождена, то функция в(х,з), определяемая для каждого фиксированного е (а, Ь) условиями:
(а) она является решением однородного уравнения на [а, з] и на [5, Ь];
(б) при х = она удовлетворяет условиям:
С(1\з + 0,з)-С(1)(з-0,з) =
0,1^п-2,
= 1 1
[РоОО
,1 = п-2.
(в) она удовлетворяет краевым условиям 1]в(., з) = 0; существует и единственна.
Доказательство по существу алгебраическое: из условия (а) следует:
С(Х,Б) =
^(х) х^) + - + %п(х)Хп(8),а < 5 < х < Ь, -(г1(х)гр1(з) + —+ гп(х)грп(Б)), а < х < 5 < Ь.
Из условия (б) следует, что х^) + Ф((5) удовлетворяют системе:
гЦ )(з)[Х1(з) + М*)] + -гЦ\8)[Хп(*) + М*)]= (-0,0 ^¡^п-г,
= Ы = п-2.('.17)
откуда немедленно следует, что:
^ )[Х1(*) + Ы*)] + + ■■■ ^(з )[хп(5 ) + фп(*)] = К(х,з),
и поэтому:
в(х,з) = Со(х,з) (х)ф1(з),
=1
И, наконец, условие (в) (в предположении, что изначально была выбрана такая фундаментальная система решений, что 1](г() = 8^) немедленно дает:
ф1(з) = 1](Со(.,з)).
п
1
п
2. Постановка двухточечной краевой задачи.
Теперь рассмотрим конкретную прикладную задачу, возникающую при исследовании механических деформаций стержней или струн, аналогичные задачи возникают для дифференциальных уравнений на графах [1].
На промежутке [0,/] рассматриваются дифференциальные уравнения:
(р1и1'')' = А. (х), хФЪ -(р2и2')'' = f2(x), хФЪ
(2.1) (2.2)
Первое из них возникает при описании поперечных деформаций классического стержня, а второе — обычной струны (или продольных деформаций стержня). В точке Ъ (где, естественно, 0 <Ъ< 1) оба уравнения выключаются, так что фактически (2.1)-(2.2)— это система четырёх уравнений. Однако нас интересуют лишь решения, непрерывно склеенные в точке х = Ъ, что значит щ(Ъ -0) = щ(Ъ+ 0), и2(Ъ -0) = и2(Ъ+ 0). Более того, в этой точке непрерывно склеены и решения разностных уравнений, т. е.:
%(Ъ±0) = и2(Ъ±0).
(2.3)
В этой же точке мы предполагаем выполненным условие взаимодействия (трансмиссии):
6(Р1и1')'(Ъ) + 6(р2и2)'(Ъ) = 0, (2.4)
где через 6ф(Ъ) обозначается скачок ф в точке Ъ, т. е. 6ф(Ъ) = ф(Ъ + 0) — ф(Ъ — 0).
Допуская у и1(х) потерю гладкости в точке Ъ, мы предполагаем при этом:
(р1и1")(Ъ — 0) = (р1и1")(Ъ+0). (2.5)
Последнее условие соответствует тому, что в точке х = Ъ его излома оба его куска шар-нирно скреплены (склёпаны). Если на концах х = 0,х = 1 отрезка поставить стандартные условия закрепления, т. е.:
%(0) = и' (0) = 0, и1(1) = и1(1) = 0,
(0) = и2(1) = 0, (2.6)
то мы сможем смотреть на систему (2.1) - (2.6) как на краевую задачу, моделирующую, например, деформации большого канатного моста. При ^ = 0 второе уравнение (2.2) вместе с условиями (2.3), (2.4) заменяются, как несложно проверить, условием:
8(р1и1'')'(Ъ) + уи1(Ъ) = 0, у>0,
что вместе с (2.5) приводит (2.1) к модели двух-звенной цепочки стержней с упругой опорой в месте стыка (х = Ъ). В нашей ситуации можно говорить о задаче на графе типа креста, на двух
рёбрах которого задано уравнение типа (2.1), а на двух остальных — типа (2.2).
Можно считать, что ^ и f2 есть обобщённые производные (^ = F1, f2 = F2 ) от функций ограниченной вариации. Физичность условий требует предположения А.(Ъ) = f2(Ъ), что в случае скачков F1 и F2 в точке Ъ означает совпадение атомов меры или — физически — общую для обеих функций %, и2 сосредоточенную силу.
Задача (2.1) - (2.6) рассматривается в классе достаточно гладких (при х Ф Ъ) функций и(х) = [и1(х), и2(х)} на [0,1]. Далее во всех формулировках и условиях мы предполагаем, что х Ф Ъ без дополнительных оговорок.
Всюду далее считаем, что р1(-) и р2(-) сильно положительны.
3. Основные результаты работы.
Теорема 1. Для любых Р1,Р2 из ВУ[0, задача (2.1) - (2.6) однозначно разрешима (при fl = F'í и f2 = F^2).
Теорема 2. Пусть Р1 и Р2 — первообразные функций и /2. Тогда для любых неубывающих Р1, Р2 при наличии хотя бы одной точки роста Р1 или Р2 решение и(х) = [и1(х), и2(х)} строго положительно в (0,1), т. е. и1(х) > 0 и и2(х) > 0 на (0,1). Более того, для любых двух "неотрицательных" пар [¡1,[2} соответствующие им решения и(х) = [и1(х), и2(х)} и у(х) = [у1(х),у2(х)} соизмеримы по конусу неотрицательных функций в С[0, X С[0,1],т. е.
5ирх,'
щ(х)у(б) ч(х) щ(Б)
< от при £ = 1,2.
Последнее свойство означает усиленную положительную обратимость задачи (2.1) - (2.6). Более сильно это свойство можно описать так. Пусть К — конус неотрицательных функций в пространстве С[0, X С[0, /]. Пусть А — обратный к задаче (2.1) - (2.6) оператор. Стандартным способом проверяется, что он имеет интегральный вид:
, л
(АР)'(х) =/^(х,8) dF(s), (2.7)
где G(x, s) — двумерная матрица-функция Грина. Определяемый этой функцией интегральный оператор действует в Р = С[0,1] X С[0, и сильно положителен на конусе К.
Теперь рассмотрим вместо (1), (2) уравнения:
(р^'Т = Ш1'и1,—(р2и2')' = Ж2'щ, (2.8)
где М^ М2 — неубывающие функции, определяющие распределение масс соответственно на стержне и струне. Следующая теорема устанавливается на основе описанного свойства оператора в теореме 2.
Теорема 3. Пусть одна из функций М1(х), М2(х) имеет хотя бы одну точку роста (т. е. отлична от константы). Тогда минимальное по модулю собственное значение X0 задачи (2.8) при условиях (2.3) - (2.6) является строго положительным и простым (корневое пространство одномерно), любая другая точка X спектра удовлетворяет неравенству |А| > Л0. Соответствующая X0 собственная функция и(х) имеет обе строго положительные (на (0,1)) компоненты.
Задача (2.1) - (2.6) оказывается самосопряжённой в естественном смысле, её функция-матрица Грина — симметричным положительным ядром. Поэтому весь спектр задачи (2.3) - (2.6), (2.8) состоит из вещественных положительных чисел. По всей видимости, все они простые, а соответствующие им собственные функции имеют (как в классической теории Штурма-Лиувилля) количество перемен знака, совпадающее с номером соответствующего собственного значения (в естественной иерархии). Однако даже набор слов "число перемен знака", очевидный для скалярных функций, допускает разные толкования для вектор-функций, и потому описание осцилляционных свойств собственных функций в рассматриваемом случае пока не получено.
Функция-матрица Грина G(x, s) задачи (1) - (6) допускает стандартное задание через фундаментальную систему решений однородного "уравнения"
(p1u1")" = 0, (P2U2')' = 0, (2.9)
где, аналогично взглядам теории уравнений на графах [1], условия (2.3) - (2.5) удобно отнести к
ЛИТЕРАТУРА
1 Дикарева Е.В. Метод функций Грина в математических моделях для двухточечных краевых задач // Новые информационные технологии в автоматизированных системах. Материалы восемнадцатого научно-практического семинара. Институт прикладной математики им. М.В. Келдыша РАН. 2015. C. 226-235.
2 Киселев Е.А., Минин Л.А., Новиков И. Я., Ситник С. М. О константах Рисса для некоторых систем целочисленных сдвигов // Математические заметки. 2014. Т. 96. Вып. 2. С. 239-250.
3 Zhuravlev M.V., Kiselev E. A., Minin L. A., Sitnik S. M. Jacobi theta-functions and systems of integral shifts of Gaussian functions // Journal of Mathematical Sciences, Springer. 2011. V. 173. № 2. P. 231-241.
определению решения и, более того, к толкованию обобщённого уравнения (2.9) в точке x = Функция G(x, s) оказывается непрерывной на [0, l] X [0,1] и строго положительна (по каждой координате) внутри этого квадрата. Следует отметить, что даже непрерывность здесь — весьма непросто проверяемое свойство. Трудности сосредоточены в окрестности прямой s = Подобные трудности нетривиальны даже для скалярных задач с внутренними особенностями.
Для вектор-функции символ "<" означает у нас синхронное выполнение по обеим компонентам аналогичного скалярного неравенства.
Теорема 4. Существует строго положительная функция ф(х)(= {ф1(х), ф2(х)}) такая, что ф(x)G (т, s) < G (x, s) при всех x,t,s из [0,1].
Следствием этого факта для оператора (7) является неравенство ф(x)maxx(Az)(т) < (Az)(x) для любой z(x) > 0, где неравенства (и максимум) понимаются в синхронно-двухкомпонент-ном плане. Отсюда следует аналог классического свойства Харнака: для любого нетривиального решения u(x) (= {u1(x), u2(x)}) неравенств:
(ViUi'T >0, - (P2U2')' > 0
при условиях (3) - (6) имеет место ф^) maxTu(T) < u(x).
Рассмотренная задача и метод её решения на основе использования функций Грина могут оказаться полезными также при применении дифференциальных методов в теории сигналов [2-3], исследовании ядер операторов преобразования для дифференциальных уравнений [4], компьютерной графике с применением дифференциальных методов описания граничных кривых [5], в задачах квадратичной экспоненциальной интерполяции [6-8].
4 Sitnik S.M. Buschman-Erdelyi transmutations, classification and applications // In the Book: Analytic Methods Of Analysis And Differential Equations: AMADE 2012. (Edited by M.V.Duba-tovskaya, S.V.Rogosin). Cambridge, Cambridge Scientific Publishers, 2013. P. 171-201.
5 Недошивина А.И., Ситник С.М. Приложения геометрических алгоритмов локализации точки на плоскости к моделированию и сжатию информации в задачах видеонаблюдений // Вестник Воронежского государственного технического университета. 2013. Т. 9. № 4. С. 108-111.
6 Певный А.Б., Ситник С.М. Строго положительно определённые функции, неравенства М.Г. Крейна и Е.А. Горина // Новые информационные технологии в автоматизированных системах. Материалы восемнадцатого научно-практического семинара. Институт прикладной математики им. М.В. Келдыша РАН. 2015. С. 247-254.
7 Ситник С.М., Тимашов А.С. Расчёт конечномерной математической модели в задаче квадратичной экспоненциальной интерполяции // Научные ведомости Белгородского государственного университета. Серия: Математика, Физика. 2013. №19 (162). Вып. 32. С. 184-186.
8 Ситник С.М., Тимашов А.С. Приложения экспоненциальной аппроксимации по целочисленным сдвигам функций Гаусса // Вестник Воронежского государственного университета инженерных технологий. 2013. № 2 (56). С. 90-94.
REFERENCES
1 Dikareva E.V. Green function method in mathematical models for two point boundary-value problems. Novye informatsionnye tekhnologii v avtoma-tizirovannykh sistemakh [New Informatics Technologies For Automated Systems. Materials of 18th scientific-practical seminar]. Moscow, M.V. Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, 2015, p. 226-235. (In Russ.).
2 Kiselev E.A., Minin L.A., Novikov I.Ya., Sitnik S.M. On Riesz constants for some systems of integer shifts. Matematicheskie zametki. [Math. surveys], 2014, vol. 96, no. 2, pp. 239-250. (In Russ.).
3 Zhuravlev M.V., Kiselev E.A., Minin L.A., Sitnik S. M. Jacobi theta-functions and systems of integral shifts of Gaussian functions. Journal of Mathematical Sciences, Springer, 2011, vol. 173, no. 2, pp. 231-241.
4 Sitnik S.M. Buschman-Erdelyi transmutations, classification and applications. In the Book: Analytic Methods Of Analysis And Differential Equations: AMADE 2012. (Edited by M.V.Duba-tovskaya, S.V.Rogosin). Cambridge, Cambridge Scientific Publishers, 2013. pp. 171-201.
5 Nedoshivina A.I., Sitnik S.M. Applications of geometrical algorithms for point localization to modelling and data compression for video surveillance problems. Vestnik VGTU. [Bulletin of Voronezh State Technical University], 2013, vol. 9, no. 4, pp. 108-111. (In Russ.).
6 Pevnyi A.B., Sitnik S.M. Strictly positively defined functions, inequalities of M.G. Krein and E.A. Gorin. Novye informatsionnye tekhnologii v avtoma-tizirovannykh sistemakh [New Informatics Technologies For Automated Systems. Materials of 18th scientific-practical seminar]. Moscow, M.V. Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, 2015, pp. 247-254. (In Russ.).
7 Sitnik S.M., Timashov A.S. Numerical analysis of finite dimensional mathematical model for a problem of quadratic exponential interpolation. Nauchnye vedomosti Belgorodskogo gosudarstven-nogo universiteta. [Belgorod State University Scientific Bulletin. Mathematics & Physics], 2013, no. 19 (162), issue 32, pp. 184-186. (In Russ.).
8 Sitnik S.M., Timashov A.S. Applications of exponential approximations by integer shifts of the Gaussian functions. Vestnik VGUIT. [Bulletin of Voronezh State University of Engineering Technologies], 2013, no. 2 (56), pp. 90-94. (In Russ.).
