CC BY
8
ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки
Том 23, № 124
2018
DOI: 10.20310/1810-0198-2018-23-124-797-804 УДК 517.977
ЕВКЛИДОВО РАССТОЯНИЕ ДО ЗАМКНУТОГО МНОЖЕСТВА КАК МИНИМАКСНОЕ РЕШЕНИЕ ЗАДАЧИ ДИРИХЛЕ ДЛЯ УРАВНЕНИЯ ГАМИЛЬТОНА-ЯКОБИ
зе A.A. Успенский, П. Д. Лебедев
ФГБУН «Институт математики и механики им. H.H. Красовского Уральского отделения Российской академии наук» 620990. Российская Федерация, г. Екатеринбург, ул. С. Ковалевской. 16 E-mail: uspen©imm. uran.ru, [email protected]
Аннотация. Предложен комбинированный (сочленяющий аналитические методы и вычислительные процедуры) подход к построению решений в одном классе краевых задач для уравнения гамильтонова типа. В рассматриваемом классе задач минимаксное (обобщенное) решение совпадает с евклидовым расстоянием до краевого множества. Изучены свойства этой функции в зависимости от геометрии краевого множества и дифференциальных свойств его границы. Разработаны методы выявления псевдовершин краевого множества и построения с их помощью сингулярных множеств решения. Методы опираются на свойства локальных диффеоморфизмов и используют частичные односторонние пределы. Эффективность развиваемых подходов исследования проиллюстрирована на примере решения плоской задачи управления по быстродействию для случая невыпуклого целевого множества с границей переменной гладкости. Ключевые слова: евклидово расстояние; уравнение Гамильтон а-Якоб и; задача Дирихле; минимаксное решение; функция оптимального результата; быстродействие; сингулярное множество; локальный диффеоморфизм
Задача вычисления евклидова расстояния до замкнутого множества конечномерного пространства актуальна для различных разделов математики и приложений, что позволяет отнести ее к числу проблем, заслуживающих внимания. В данном случае эта проблема исследуется в контексте решения плоской краевой задачи Дирихле для уравнения Гамильтона-Якоби:
Работа выполнена при поддержке программы фундаментальных исследований УрО РАН (проект
(1)
№ 18-1-1-10).
Здесь \v\ [ i'f 0 щ — норма вектора и [ )г/1, / U2 ■ Краевое условие в (1) определено на границе [ дМ замкнутого множества M -^К2. Кривая не имеет точек самопересечения, ее дифференциальные свойства указаны ниже в теоремах.
Минимаксное решение [1] краевой задачи (1) (другими словами, обобщенное решение, определение которого опирается на конструкции теории позиционных дифференциальных игр [2]) имеет вид [3]:
и)х,у+[ р (2)
где р)х, М+[ loi \m х\ — евклидово расстояние от х [ )х,у+ до множества М.
т||М
Отмстим, что и)х:у+[ р )х, у-\^М / является функцией оптимального результата в задаче управления по быстродействи|0 [1] с динамикой
Г X [ >Л,
где управление v [ )i/l51/2+удовлетворяет ограничению \z/\ ^ 2, M — цель.
Динамическая система(3) относительно проста и известен класс разрешающих функций (2). Однако это не отменяет ряд сложностей при формировании оптимальной стратегии управления. Чтобы сформировать управляющие воздействия, надо научиться конструировать функцию оптимального результата — аналитическими, численными или комбинированными методами. Здесь следует подчеркнуть, что евклидово расстояние и)х7у+[ р )х,у^МI является супердифференцируемой функцией на множестве M2 M [4]. Негладкость функции затрудняет ее построение как в аналитическом виде, так и в аппроксимационных формах. Нсвыпуклость краевого множества влечет наличие у нее сингулярного множества, которое относится к множествам симметрии [5]. В общем случае сингулярное множество состоит из нуль- и одномерных многообразий. Их конструирование в аналитическом виде или же с помощью численных процедур облегчает построение решение краевой задачи в целом. При этом существенная роль отводится псевдовершинам — особым точкам границы краевого множества, которые «отвечают» за зарождение одномерных многообразий, ветвей множества симметрии.
Пусть 7 =Т ос М2 — непрерывное отображение числового интервала Т [
е ^ t < I
^ Ое на плоскость. Вектор-функция 7)£+[ 71)^72)t~H является по крайней мере один раз дифференцируемой функцией всюду на Т за Исключением, быть может, конечной совокупности точек Т° >'/'. Образ [ 7)£+этого отображения представляет собою плоскую кривую. Полагаем, что является регулярной в области дифференцируем ости, то есть 7^£+[ )1,1+Для всех t / Т° —>Т, и не имеет точек самопересечения. В рассмотрение также входят контуры — кривые, заданные на конечных интервалах T [ )£, ï-^ е < t < i < 0 € , допускающие доопределение в концевых точках t [ t и t [ ^+так, что 7)i+[ 7)1+
Определение 1. [6] Псевдовершииой кривой называется точка
)а'0, Уо+= йп
tif in О
(3)
где = — однопарамстрическое под-
множество решений , ¿2+ системы уравнений
Г Я- У 72)^4/71%+
V
V
определяемое непрерывным слева в точке [ £0 локальным диффеоморфизмом
¿2 [ ^2)^1 левой полуокрестности точки ^ [ £0 на ее правую полуокрестность, который задается уравнением
¿0*1,1. (5)
Здесь
1) \— точка пересечения касательных к кривой в точках 7)^1 + и 7)^2^
2) р2 7р2
1
Полагаем, что локальный диффеоморфизм 1-2 [ ¿2)^1 определенный уравнением (5), удовлетворяет условиям:
(А1) )10 <МоЧЛ 61 > 1, й2 > 1,
(А2) йп
^ Л с'с/] е'г-
Условия (А1), (А2) обеспечивают существование обратного локального диффеоморфизма ¿2 [ Нг определенного справа от [ ¿о, и непрерывную склейку диффеоморфизмов в обшей предельной точке. Параметр с в условии АЗ является числовым маркером псевдовершины, фиксирующим состояние кривой с точки зрения дифферен-цируемости. Маркер с [ 2 в случае дважды дифференцируемое™ кривой в псевдовершине. Если кривая гладкая, при этом в псевдовершине односторонние кривизны конечны и не равны друг другу, то либо с [ 1, либо с [ € . Наконец, если рвутся производные первого порядка, то маркер равен отношению дифференциалов дуг кривой, стянутых в точку, при этом с{ 2 (см. [7,8]).
Приведем теоремы о необходимых условиях существования псевдовершин, применяемые для их отыскания при построении сингулярного множества решения задачи (1). Разграничим точки по их порядку гладкости. Обозначим Тк = }£{ -^Т, к [ 1,2,3,..., совокупность значений аргумента £ / Т точек 7)£+ / , в которых координатные функции имеют непрерывные производные до к-го порядка включительно, при этом существуют конечные не равные друг другу односторонние производные )к 0 24-го порядка.
Теорема 1. [9] Если 7)£о+[ )а'о, УсН— псевдовершина трижды дифференцируемой кривой [ ограничивающей краевое множество М в задаче Дирихле (1), при
этом % / Т3 и имеет место условие (В1) , то с необходимостью в указанной точке выполняется хотя бы одно из равенств:
72е е£ )7е,7^^2 4еГ >7^0^7*1 ([ 1, (6)
71е )7е,7^^2 4еГ >7^0^7*1 }[ 1- (7)
Здесь условие (В1) ^ 7%+7<%4/{ 1, где е£ )а,Ь+ обозначает \рпределитель второго порядка, построенный на векторах а [ )а1,а2-|^ Ь [ записанных по строкам, )а,Ь| [ а^ 0 аг&г- Условие (В1)
означает отличие от нуля кривизны кривой в указанной точке, что гарантирует существование решений системы (1) в определении псевдовершины.
Теорема 2. [10] Если 7)^о+[ )жо,УоН— псевдовершина плоской регулярной кривой ограничивающей краевое множество М в задаче Дирихле (1), при этом to / Т1 и имеет место условие (В2), то псевдовершина , определяемая локальным диффеоморфизмом ¿2 [ ¿2)^1+^ (5), удовлетворяет одному из условий:
71%+£ 1,72%+[ (8)
71%+[ 1,72%+£ (9)
2 \ 72)^2+ 72Н1+ 71%^71%-Ю 72%^2%+0 ^-^¿г+Г 1
когда12[ 1,т£)М{ 1,с[ 1, (10)
2 \ 72)^2+ 72Н1+ 71%^71%-Ю 72%^2%+0 ^-^¿г+Г 1 ¿0/71)^2+ 71Н1+ I '
когда11[ ¿1)^71%^ 1,с[ е. (11)
Здесь условие
(В2) Определители е£ 7е)¿0+7¿од и е£ 7е)конечны, имеет один и тот же знак (в нестрогом смысле) е£ 71^0+7^)^0^1/[ е£
Нижние индексы и 0 обозначают односторонние производные (л^вые и правые соответственно) указанного порядка скалярных и векторных функций.
Не трудно показать [11], что если 7)£о+[ )а'о, УоН--псевдовершина плоской регулярной кривой [ 7)Й^ ограничивающей краевое множество М в задаче (1), при этом £0 / Т°, то псевдовершина совпадает с крайней точкой сингулярной кривой.
Авторами разработан теоретический аппарат выявления псевдовершин на совокупностях Т°, Т1, Т3 и , как следствие, на совокупностях Тк при к > 4. Получены соотношения, позволяющие находить псевдовершины границы краевого множества в точках трех типов — 1) в точках излома границы; 2) в точках минимальной гладкости, в которых существуют не совпадающие друг с другом односторонние кривизны, но притом не определена классическая кривизна; 3) в точках стационарности кривизны, то есть в точках, в которых существуют производные третьего и более высокого порядка. Недоисследоваиной остается проблема выявления псевдовершин на совокупности Г2, то есть в точках, в которых существует классическая кривизна, но при этом «рвутся» производные третьего порядка. На базе этих конструкций предложен комбинированный подход построения функции (2), опирающийся на аналитический поиск псевдовершин с помощью приведенных выше соотношений (6)-(11), и численные алгоритмы формирования ветвей сингулярного множества, основанные на решении системы уравнений, сопряженной к (4) (см. технологию, например, [8]).
К сферам приложения созданных процедур построения евклидова расстояния до замкнутого множества и его сингулярных кривых относятся, например, сглаживание негладкой границы множества разрешимости дифференциальной игры [12], вычисление меры невыпуклости плоского замкнутого множества [13].
Пример 1. Проиллюстрируем эффективность разрабатываемого аппарата исследования негладких динамических задач на примере задачи управления по быстродействию с динамикой (3), когда целевое множество М ограничено кривой =
71 )И г)М<Ы;*, 72)£+[ г)Шо1, г/]1,3тгл, (12)
3 1.96tlo2 t 1.6tlo)i/3-|r t /]1,7г; r)t+[ V 2.6 1.96 tlo21, i / )тг, 2.6тгл, I 3 2.36tlo2 i, t / )2.6тг,тгл.
Рис. 1. Сингулярное множество и карта линий уровня функции ы(х) = р х, М ^
У кривой (12) две псевдовершины различного типа. В одной из них А С) 1.15: : , 1.7491 + кривизна достигает локального максимума, а в другой В [ )1, 1.96+имеет место разрыв кривизны. Линии уровня функции оптимального результата " , сингулярное множество L и граница целевого множества показаны на рис. 1. Псевдовершины отмечены на нем в виде маркеров.
СПИСОК ЛИТЕРАТУРЫ
1. Субботин А.И. Обобщенные решения уравнений в частных производных первого порядка. Перспективы динамической оптимизации. Москва; Ижевск: Институт компьютерных технологий. 2003. 336 с.
2. Красовский H.H., Субботин А.И. Позиционные дифференциальные игры. М.: Наука, 1974. 456 с.
3. Лебедев П.Д., Успенский A.A., Ушаков В.Н. Построение минимаксного решения уравнения типа эйконала // Труды Института математики и механики Уральского отделения РАН. 2008. Т. 14. № 2. С. 182-191.
4. Демьянов В.Ф., Васильев Л.В. Недифференцируемая оптимизация. М.: Наука, 1981. 384 с.
5. Брус Дж., Джиблин П. Кривые и особенности. М.: Мир, 1988. 262 с.
6. Успенский А.А., Лебедев П.Д. Условия трансверсальности ветвей решения нелинейного уравнения в задаче быстродействия с круговой индикатрисой // Труды Института математики и механики Уральского отделения РАН. 2008. Т. 14. № 4. С. 82-100.
7. Успенский А.А., Лебедев П.Д. О множестве предельных значений локальных диффеоморфизмов при эволюции волновых фронтов // Труды Института математики и механики Уральского отделения РАН. 2010. Т. 16. № 1. С. 171-185.
8. Успенский А.А., Лебедев П.Д. Построение сингулярных кривых для обобщенных решений уравнений типа эйконала в условиях разрыва кривизны границы краевого множества // Труды Института математики и механики Уральского отделения РАН. 2016. Т. 22. № 1. C. 282-293.
9. Успенский А.А. Необходимые условия существования псевдовершин краевого множества в задаче Дирихле для уравнения эйконала // Труды Института математики и механики Уральского отделения РАН. 2015. Т. 21. № 1. С. 250-263.
10. Успенский А.А., Лебедев П.Д. Выявление сингулярности обобщенного решения задачи Дирихле для уравнений типа эйконала в условиях минимальной гладкости границы краевого множества // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. Ижевск, 2018. Т. 28. Вып. 1. С. 59-73.
11. Успенский А.А. Формулы исчисления негладких особенностей функции оптимального результата в задаче быстродействия // Труды Института математики и механики Уральского отделения РАН. 2014. Т. 20. № 3. С. 276-290.
12. Ушаков В.Н., Успенский А.А., Малев А.Г. Оценка дефекта стабильности множества позиционного поглощения, подвергнутого дискриминантным преобразованиям // Труды Института математики и механики Уральского отделения РАН. 2011. Т. 17. № 2. С. 209-224.
13. Успенский А.А., Лебедев П.Д. Процедуры вычисления меры невыпуклости плоского множества // Журнал вычислительной математики и математической физики. 2009. Т. 49. № 3. С. 431-440.
Поступила в редакцию 13 апреля 2018 г.
Прошла рецензирование 21 мая 2018 г.
Принята в печать 26 июня 2018 г.
Конфликт интересов отсутствует.
Успенский Александр Александрович, Институт математики и механики им. Н.Н. Красов-ского Уральского отделения Российской академии наук, г. Екатеринбург, Российская Федерация, доктор физико-математических наук, зав. сектором, e-mail: [email protected]
Лебедев Павел Дмитриевич, Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук, г. Екатеринбург, Российская Федерация, кандидат физико-математических наук, старший научный сотрудник, e-mail: [email protected]
Для цитирования: Успенский А.А., Лебедев П.Д. Евклидово расстояние до замкнутого множества как минимаксное решение задачи Дирихле для уравнения Гамильтона—Якоби // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2018. Т. 23. № 124. С. 797-804. БОТ: 10.20310/1810-0198-2018-23-124-797-804
DOI: 10.20310/1810-0198-2018-23-124-797—804
EUCLIDEAN DISTANCE TO A CLOSED SET AS A MINIMAX SOLUTION OF THE DIRICHLET PROBLEM FOR THE HAMILTON-JACOBI EQUATION
A. A. Uspenskii, P. D. Lebedev
N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences 16 S. Kovalevskaya St., Yekaterinburg 620990, Russian Federation E-mail: [email protected], pleb©yandex, rn
Abstract. A combined (jointing analytical methods and computational procedures) approach to the construction of solutions in a class of boundary-value problems for a Hamiltonian-type equation is proposed. In the class of problems under consideration, the minimax (generalized) solution coincides with the Euclidean distance to the boundary set. The properties of this function are studied depending on the geometry of the boundary set and the differential properties of its boundary. Methods are developed for detecting pseudo-vert ices of a boundary set and for constructing singular solution sets with their help. The methods are based on the properties of local diffeomorphisms and use partial one-sided limits. The effectiveness of the research approaches developed is illustrated by the example of solving a planar time-control problem for the case of a nonconvex target set with boundary of variable smoothness.
Keywords: Euclidean distance; Hamilton—Jacobi equation; Dirichlet problem; minimax solution; optimal result function; velocity; singular set; local diffeomorphism
REFERENCES
1. Subbotin A.I. Generalized Solutions of First-Order PDEs. The Dynamical Optimization Perspective. Boston, Birkhauser, 1995.
2. Krasovskii N.N., Subbotin A.I. Pozitsionnyye differentsial'nyye igry [Positional Differential Games]. Moscow, Nauka Publ., 1974, 456 p. (In Russian).
3. Lebedev P.D., Uspenskii A.A., Ushakov V.N.Postroyeniye minimaksnogo resheniya uravneniya tipa eykonala [Construction of a minimax solution for an eikonal-type equation]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya RAN - Proceedings of the Steklov Institute of Mathematics., 2008, vol. 14. no. 2, pp. 182-191. (In Russian).
4. Dem'yanov V.F., Vasil'yev L. V. Nondifferentiable Optimization. N.Y., Springer-Verlag, 1985.
5. Bruce J.W., Giblin P.J. Curves and Singularities. Cambridge, Cambridge Univ. Press, 1984.
6. Uspenskii A.A., Lebedev P.D. Usloviya transversal'nosti vetvey resheniya nelineynogo uravneniya v zadache bystrodeystviya s krugovoy indikatrisoy [Transversality conditions for solution branches of a nonlinear equation in a time-optimal problem with circular mdicatrix]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya RAN - Proceedings of the Steklov Institute of Mathematics., 2008, vol. 14. no. 4, pp. 82-100. (In Russian).
7. Uspenskii A. A., Lebedev P.D. O mnozhestve predel'nykh znacheniy lokal'nykh diffeomorfizmov pri evolyutsii volnovykh frontov [On the set of limit values of local diffeomorphisms in wavefront
The work was supported ty the basic research program of the Ural Branch of the Russian Academy of Sciences (project № 18-1-1-10).
evolution]. Trudy Institute, matematiki i mekhaniki Ural'skogo otdeleniya RAN - Proceedings of the Steklov Institute of Mathematics, 2010, vol. 16, no. 1, pp. 171-185. (In Russian).
8. Uspenskii A.A., Lebedev P.D. Postroyeniye singulyarnykh krivykh dlya obobshchennykh resheniy uravneniy tipa eykonala v usloviyakh razryva krivizny granitsy krayevogo mnozhestva [The construction of singular curves for generalized solutions of eikonal-type equations with a curvature break in the boundary of the boundary set]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya RAN - Proceedings of the Steklov Institute of Mathematics, 2016, vol. 22, no. 1, pp. 282-293. (In Russian).
9. Uspenskii A.A. Neobkhodimyye usloviya sushchestvovaniya psevdovershin krayevogo mnozhestva v zadache Dirikhle dlya uravneniya eykonala [Necessary conditions for the existence of pseudovertices of the boundary set in the Dirichlet problem for the eikonal equation]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya, RAN - Proceedings of the Steklov Institute of Mathematics, 2015, vol. 21, no. 1, pp. 250-263. (In Russian).
10. Uspenskii A.A., Lebedev P.D. Vyyavleniye singulyarnosti obobshchennogo resheniya zadachi Dirikhle dlya uravneniy tipa eykonala v usloviyakh minimal'noy gladkosti granitsy krayevogo mnozhestva [Identification of the singularity of the generalized solution of the Dirichlet problem for an eikonal type equation under the conditions of minimal smoothness of a boundary set]. Vestnik Udmurtskogo universiteta. Matematika. Mekhanika. Komp'yuternye nauki - The Bulletin of Udmurt University. Mathematics. Mechanics. Computer Science, 2018, vol. 28, no. 1, pp. 59-73. (In Russian).
11. Uspenskii A.A. Formuly ischisleniya negladkikh osobennostey funktsii optimal'nogo rezul'ta-ta v zadache bystrodeystviya [Calculation formulas for nonsmooth singularities of the optimal result function in a time-optimal problem]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya RAN - Proceedings of the Steklov Institute of Mathematics, 2014, vol. 20, no. 3, pp. 276-290. (In Russian).
12. Ushakov V.N., Uspenskii A.A., Malev A.G. Otsenka defekta stabil'nosti mnozhestva pozi-tsionnogo pogloshcheniya, podvergnutogo diskriminantnym preobrazovaniyam [An estimate of the stability defect for a positional absorption set subjected to discriminant transformations]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya, RAN - Proceedings of the Steklov Institute of Mathematics, 2011, vol. 17, no. 2, pp. 209-224. (In Russian).
13. Uspenskii A.A., Lebedev P.D. Procedures for Calculating the Nonconvexity Measures of a Plane Set. Computational Mathematics and Mathematical Physics, 2009, vol. 49, no. 3, pp. 418-427.
Received 13 April 2018
Reviewed 21 May 2018
Accepted for press 26 June 2018
There is no conflict of interests.
Uspenskii Alexandr Alexandrovich, N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, Yekaterinburg, the Russian Federation, Doctor of Physics and Mathematics, Head of a Sector, e-mail: [email protected]
Lebedev Pavel Dmitrievich, N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, Yekaterinburg, the Russian Federation, Candidate of Physics and Mathematics, Senior Scientist, e-mail: [email protected]
For citation: Uspenskii A.A., Lebedev P.D. Evklidovo rasstoyanie do zamknutogo mnozhestva kak minimaksnoe reshenie zadachi Dirihle dlya uravneniya Gamil'tona—Yakobi [Euclidean distance to a closed set as a minimax solution of the Dirichlet problem for the Hamilton—Jacobi equation]. Vestnik Tambovskogo universiteta,. Seriya: estestvennye i tekhnicheskie nauki -Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 124, pp. 797-804. DOI: 10.20310/18100198-2018-23-124-797-804 (In Russian, Abstr. in Engl.).
