CC BY
14
УДК 517.927
ОБ АНАЛОГАХ УРАВНЕНИЯ ЭЙЛЕРА И УСЛОВИЯ ЛЕЖАНДРА ДЛЯ ОДНОЙ ВАРИАЦИОННОЙ ЗАДАЧИ НА ГРАФЕ
ON THE ANALOGS OF EULER EQUATION AND LEGENDRE CONDITIONS FOR ONE VARIATIONAL PROBLEM ON A GRAPH
Н.Н. Рябцева, Е.В. Кормош N.N. Ryabtseva, E.V. Kormosh
Белгородский университет кооперации, экономики и права, Россия, 308023, Белгород, ул. Студенческая, 116а
Belgorod University of Cooperation, Economics and Law, 116a, Sadovaya St., Belgorod, 308023, Russia
E-mail: [email protected]
Аннотация
Устанавливается аналог классической теоремы Якоби о положительной определённости второй вариации для функционала, заданного на функциях ветвящегося аргумента из пространственной сети (геометрического графа). Особенности соответствующего аналога уравнения Якоби (как и уравнения Эйлера) порождены процедурой интегрирования по частям, приводящей к дифференцированию по состыкованным мерам.
Abstract
The analogue of classical Jacobi theorem about positive definiteness of the second variation for the functional that determined on the functions of the ramified argument from a spatial network (geometrical graph) is established. The specificities of the corresponding Euler equation and Jacobi equation is generated by the integration by parts procedure. This procedure leads to differentiation in the sense of a snap-together measures.
Ключевые слова: пространственная сеть, дифференцирование по мере, интегральный функционал, уравнение Эйлера, вторая вариация, уравнение Якоби, аналог теоремы Якоби.
Keywords: spatial network, differentiation in the sense of measure, integral functional, second variation, Euler equation, second variation, Jacoby equation, analogue of the Jacobi theorem._
Введение
В современном естествознании, физике, в инженерном проектировании и инженерной практике достаточно часто возникает проблема конструирования и расчетов объектов, которые имеют в пространстве форму решетки, рамы, т. е. некоторой пространственной сети, примером которых могут быть различного рода инженерные сети: системы трубопроводов, гидравлические сети, электрические сети; упругие системы строительной механики: решетки, рамы; модель электронных колебаний сложной молекулы, модели процессов в нейронных сетях и др. Такого рода объекты уже более столетия представляли весьма трудную проблему для эффективных расчетов, поскольку примитивное математическое моделирование, представляющее подобные объекты в виде системы дифференциальных уравнений ввиду не только объема информации, но и сложности этой информации (в расчетах должно учитываться условие сопряжения этих элементов), представляло собой необозримую по сложности задачу. Эффективные математические методы начали внедряться в моделирование подобных систем сравнительно недавно - всего лишь около 30 лет назад. В настоящее время научная активность в этом направлении достаточно высока. В работе в качестве математической модели сложных систем рассматриваются необходимые условия экстремума общего интегрального функционала на множестве функций с ветвящимся аргументом, который принимает значения из некоторого геометрического графа. Устанавливается достаточно полный аналог уравнения Эйлера при условиях, не требующих существования и непрерывности вторых частных производных функции Р, а также и необходимое условие, типа классического условия Лежандра.
Рассмотрим функционал, определяемый записью
. т
Ф(и) = IГ(х,и(х),и'(х))аХ = V IГ(х,и(х),и'(х))аХ, (1)
Г п
где и(х) - скалярнозначные функции, заданные на геометрическом связном графе Г, т. е. и: Г^Я. Мы рассматриваем здесь только непрерывные функции, заданные на Г, предполагая их равномерно непрерывными на Г и обозначая их множество через С*гл. Для удобства мы предполагаем так-
же, что каждая из рассматриваемых функций дифференцируема на каждом ребре Yi так, что ее сужение Ui на Yi оказывается элементом пространства С|у]. Для определенности процедуры дифференцирования нам необходимо задание ориентации на каждом ребре, т. е. выбора одного из двух возможных направлений единым образом сразу на всем ребре (тем самым граф должен быть ориентированным). Функцию F трех аргументов, определяющую подынтегральное выражение в (l), мы считаем заданной по первому аргументу - на Г, по второму и третьему - на R, т. е. F: Г х R х R ^ R. Там, где это потребуется мы функцию F будем считать регулярной, т. е. достаточно гладкой - обсуждаемые проблемы определяются другими обстоятельствами, а не трудностями, связанными с потерей гладкости. Описанные договоренности позволяют считать подынтегральное выражение в (l) заданным и непрерывным на каждом ребре, если фиксирована функция и(х). Аналогом классического закрепления концов будет условие задания фиксированного набора предельных значений и из С^Г]: \ы(а)}а£дГ, и множество таких функций обозначим через L. L есть
линейное многообразие в С^Г]. Рассмотрим задачу:
Ф(м) ^ min,
ueL
в предположении, что дающая минимум функция Uo(x) - достаточно гладкая, а также функция F(x, u, U), определяющая функционал, достаточно гладкая. Аналогом классической теоремы Эйле-ра-Лагранжа [l] является следующий факт.
Теорема 1. Пусть F дважды непрерывно дифференцируема. Пусть Uo(x) из L является точкой локального минимума функционала (l), причем u0 е C2[Г]. Тогда на каждом ребре п для нее справедливо тождество
Fu (Х u0(x),u0( x)) ~dFu' u0(x),u0(x)) = 0 , (2)
dx
а в каждой внутренней вершине а е J (Г) справедливо условие
^ф,(a)F(?')(а,u0(a),(u0)'t(а)) = 0 . (3)
Через Г(а) обозначен набор примыкающих к а ребер. Число фг (а) равно 1, если ребро yt ориентировано «от а», и равно -1, если п, ориентировано «к а». Через (u0)'(а) обозначен предел (u0)' (х) при х, стремящимся к а по ребру п.
Если и0(х) - точка экстремума данного функционала, то реализация классической схемы Лагранжа в виде минимизации функции ф(ыо + ^h) при произвольном допустимом h приводит к первой вариации:
( \
т v!' ZT- ,u(
\ ' п J ае1 (Г)
причем должно быть дФ(щ )h = 0 для любой допустимой h. Отсюда стандартным образом следуют в силу произвола h(x) аналоги обычных уравнений Эйлера и условие типа
Щщ^ = d[ФК +ЯИ)]л=0 = Zl [Fuh + Fuhd + ZFu(a,u(d))h(d),
dl
Z u(a),ui '(а))
+ Fu (а, Uo(а)) = 0 ,
которые в приложениях реализуются в виде так называемых условии трансмиссии, т. е. условии стыковки решениИ, подходящих к узлу а вдоль разных ребер.
Систему (2), (з) будем называть уравнением ЭИлера для функционала (1). Решение уравнения Эйлера для функционала (1) будем называть экстремалью этого функционала, а решение этого уравнения, принадлежащее Ь, будем называть допустимой экстремалью функционала (1).
Требование о двукратной дифференцируемости ио в доказательстве этой теоремы 1 мы использовали только для того, чтобы иметь возможность говорить о производной
—[—И'(х,и0(х),и'0(х})], имея в виду, что если и^(х) существует, то и —[-—И'(х,и0(х),и'0(х))] существует
ёх —х
в силу известной теоремы о производной от суперпозиции функций. В действительности же требование о существовании второй производной у функции ио в теореме является излишним, о чем и говорит следующая лемма.
Лемма. Пусть выполнены условия теоремы 1, с той лишь разницей, что предположение
и0 е С2[Г] заменено на щ е СГ]. Тогда — [^(х,и0(х),и0(х))] существует при всех х е Я(Г) и
ёх
принадлежит С[Я(Г)].
В силу вышесказанного вытекает справедливость утверждения, являющегося аналогом теоремы Дю-Буа-Реймона классического вариационного исчисления[2]. Теорема 2. Если в
условии теоремы 1 условие и0 е С2[Г] заменить на условие и0 е С1[Г], то утверждения этой теоремы останутся верными.
Далее, если yi - функция, заданная на Г или на Я(Г), то yi обозначает сужение у на ребро у. Будем говорить, что функция Г трижды непрерывно дифференцируема, если для любого ребра у все частные производные третьего порядка функции FГ) непрерывны на ух Я х Я и, более того, непрерывно доопределяемы на [у ] х Я х Я .
Теорема 3. Пусть Г трижды непрерывно дифференцируема. Пусть вторая вариация функционала (1) неотрицательна для всех И е Ь0 . Тогда Ри,и,(х,и0(х),и0'(х)) > 0 на Я(Г).
Вторая вариация функционала (1) состоит из хорошо известных для задач на отрезке компонент и имеет вид:
02Ф(щ)И =
h2 [fuu - j-/uu] + Fu'u'ha dx + ?{f:u - Fuu)h2 (a).
(4)
Переобозначая, как это обычно делается, М(х) = (х, и0(х),и0'(х)), N(х) = Еии(х,и0(х),и0'(х)), Q(x) = Еии.(х,и0(х),и0'(х)) мы можем придать второй вариации канонический вид квадратичного функционала:
82Ф(Щ))И = 2 +(N - Q ' )И 2 — - Рии)и2 (а), (5)
а
где последняя группа слагаемых суммируется по внутренним узлам.
Рассмотрим теперь в (5) И е Ьу, где Ьу ={И е Ь0 \ И, = 0,1 ф у}, тогда для любой а е J (Г) выполнено Л(а)=0. Таким образом, из неотрицательности второй вариации функционала для всех
h е Z0 вытекает, что
ikh 'j2 -Qj )hj2h*0
Муи . 2
Гу
для всех Иц е С1 [уц ], где С [у у ] = {иу е С1 [у у ] \ И у (а у) = И у (Ьу) = о}. Если теперь применим к последнему неравенству известный результат для квадратичного функционала на отрезке, получим, Му (х) > 0. Так как _/ выбрано произвольно, то это и означает, что М (х) > 0 на Я(Г).
г,
Г
Заключение
В работе рассмотрены, в качестве математической модели сложных систем, необходимые условия экстремума общего интегрального функционала на множестве функций с ветвящимся аргументом, т. е. аргументом, принимающим значения из некоторого геометрического графа. Установлен достаточно полный аналог уравнения Эйлера при условиях, не требующих существования и непрерывности вторых частных производных функции Г, а также и необходимое условие, типа классического условия Лежандра.
Список литературы References
1. Покорный Ю.В., Пенкин О.М., Прядиев В.Л., Боровских А.В., Лазарев К.П., Шабров С.А. 2003. Дифференциальные уравнения на геометрических графах. М.: ФИЗМАТЛИТ: 272 .
Pokomy Y. V., Penkin O. M., Pryadiev V. L., Borovskikh A. V., Lazarev K. P., et Shabrov S. A. 2003. Equationes Differentiales in geometrica graphs. M.: FISMAT: 272.
2. Покорный Ю.В., Покорная И.Ю., Прядиев В.Л., Рябцева Н.Н. 2007. Об интегрировании в вариационных неравенствах на пространственных сетях. Математические заметки, 81, 6: 904-911.
Pokornyi Yu.V., Pokornaya I.Yu., Pryadiev V.L., Ryabtseva N.N. 2007. Integration in variational inequalities on spatial grids. Mathematical Notes, 81,6: 810-816.
