Научная статья на тему 'Точки гомеостаза и способы их нахождения'

Точки гомеостаза и способы их нахождения Текст научной статьи по специальности «Математика»

CC BY
159
35
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТОЧКИ РАВНОВЕСИЯ НЭША / МЕТОД ПОКООРДИНАТНОГО СПУСКА / ИНТЕГРАЛ СТЕКЛОВА / ТОЧКА НЕКООПЕРАТИВНОГО РАВНОВЕСИЯ / ТОЧКИ ГОМЕОСТАЗА / EQUILIBRIUM POINTS BY NASH / METHOD OF COORDINATE DESCENT / STEKLOV INTEGRAL / NONCOOPERATIVE EQUILIBRIUM POINTS / HOMEOSTASIS POINTS

Аннотация научной статьи по математике, автор научной работы — Прудников Игорь Михайлович

Цель. Целью настоящей работы явилось разработка численных методов нахождения точек равновесия в модели, функции потерь каждого из объектов (субъектов) которой описываются выпуклыми функциями. Такие модели встречаются в медицине, экономике, теории игр, биологии. Знание точек равновесия важно для нашей жизнедеятельности, так как к ним стремятся все сложные структуры, какими являются любой высокоразвитый живой организм, наше общество, а также много конкурентные организации в экономике, биологии и теории игр. Методика. Для сведения более сложного случая с негладкими функциями, описывающими состояние каждого из элементов системы, как ущерб, потери или прибыль, к случаю с гладкими функциями применяются усредняющие интегралы Стеклова, которые превращают негладкие функции в гладкие, к которым для поиска точек равновесия можно применять ранее разработанные численные методы. В процессе оптимизации диаметры множеств, по которым идет усреднение, уменьшаются. Результаты. Построен численный метод поиска точек равновесия в более общем негладком случае. Доказана сходимость всех предельных точек к точкам равновесия. Заключение. Сделан вывод о необходимости применения новых методов поиска точек равновесия по Нэшу в негладком случае, а также получение множества всех таких точек с целью дальнейшего его анализа и выбора наиболее оптимальных решений.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

POINTS OF HOMEOSTASIS AND THE METHOD TO FIND THEM

Objective. The purpose of this work was the development of numerical methods for finding equilibrium points in the model, damage, loss or income functions of the objects of which are described by convex functions. Such models can be found in medicine, economics, game theory, and biology. Knowledge of the equilibrium points is important for our life, since all complex structures, such as any highly developed living organism, our society and also multi-competitive organizations in economics, biology and game theory strive for them. Methods. To reduce a more complicated case with nonsmooth functions describing the state of each element of the system as damage, loss, or profit, to a case with smooth functions, the Steklov average integrals are used that turn nonsmooth functions into smooth ones, for which previously developed numerical methods can be used for finding equilibrium points. In the process of optimization, the diameters of the sets over which the averaging takes place are decreased. Results. A numerical method for finding the equilibrium points in a more general non-smooth case is constructed. The convergence of all limit points to the equilibrium points is proved. Conclusion. It is concluded that it is necessary to apply new methods for finding Nash equilibrium points in the nonsmooth case, as well as to obtain a set of all the points in order to analyze it and select the most optimal solutions.

Текст научной работы на тему «Точки гомеостаза и способы их нахождения»

УДК 519.6-519.83-519.86

ТОЧКИ ГОМЕОСТАЗА И СПОСОБЫ ИХ НАХОЖДЕНИЯ. I © Прудников И.М.

Смоленский государственный медицинский университет, 214019, Смоленск, ул. Крупской, 28 Резюме

Цель. Целью настоящей работы явилось разработка численных методов нахождения точек равновесия в модели, функции потерь каждого из объектов (субъектов) которой описываются выпуклыми функциями. Такие модели встречаются в медицине, экономике, теории игр, биологии. Знание точек равновесия важно для нашей жизнедеятельности, так как к ним стремятся все сложные структуры, какими являются любой высокоразвитый живой организм, наше общество, а также много конкурентные организации в экономике, биологии и теории игр.

Методика. Для сведения более сложного случая с негладкими функциями, описывающими состояние каждого из элементов системы, как ущерб, потери или прибыль, к случаю с гладкими функциями применяются усредняющие интегралы Стеклова, которые превращают негладкие функции в гладкие, к которым для поиска точек равновесия можно применять ранее разработанные численные методы. В процессе оптимизации диаметры множеств, по которым идет усреднение, уменьшаются.

Результаты. Построен численный метод поиска точек равновесия в более общем негладком случае. Доказана сходимость всех предельных точек к точкам равновесия.

Заключение. Сделан вывод о необходимости применения новых методов поиска точек равновесия по Нэшу в негладком случае, а также получение множества всех таких точек с целью дальнейшего его анализа и выбора наиболее оптимальных решений.

Ключевые слова: точки равновесия Нэша, метод покоординатного спуска, интеграл Стеклова, точка некооперативного равновесия, точки гомеостаза

POINTS OF HOMEOSTASIS AND THE METHOD TO FIND THEM Prudnikov I.M.

Smolensk State Medical University, 28, Krupskoj St., 214019, Smolensk, Russia

Abstract

Objective. The purpose of this work was the development of numerical methods for finding equilibrium points in the model, damage, loss or income functions of the objects of which are described by convex functions. Such models can be found in medicine, economics, game theory, and biology. Knowledge of the equilibrium points is important for our life, since all complex structures, such as any highly developed living organism, our society and also multi-competitive organizations in economics, biology and game theory strive for them.

Methods. To reduce a more complicated case with nonsmooth functions describing the state of each element of the system as damage, loss, or profit, to a case with smooth functions, the Steklov average integrals are used that turn nonsmooth functions into smooth ones, for which previously developed numerical methods can be used for finding equilibrium points. In the process of optimization, the diameters of the sets over which the averaging takes place are decreased.

Results. A numerical method for finding the equilibrium points in a more general non-smooth case is constructed. The convergence of all limit points to the equilibrium points is proved.

Conclusion. It is concluded that it is necessary to apply new methods for finding Nash equilibrium points in the nonsmooth case, as well as to obtain a set of all the points in order to analyze it and select the most optimal solutions.

Keywords: equilibrium points by Nash, method of coordinate descent, Steklov integral, noncooperative equilibrium points, homeostasis points

Введение

Многие процессы в организме взаимосвязаны и стремятся к некоторому состоянию равновесия, когда выход из этого состояния ведет к ухудшению самочувствия: резкому увеличению температуры, давления, уровня холестерина в крови и так далее. С возрастом состояние равновесия меняется. Такое равновесное состояние в медицине называется гомеостазом. По определению гомеостаз - саморегуляция, способность открытой системы сохранять постоянство своего внутреннего состояния посредством скоординированных реакций, направленных на поддержание динамического равновесия [1].

Пусть физическое состояние организма описывается т функциями ^(хь х2, ..., хт), f2(x1, х2, ..., хт), ..., ^п(хь х2, ..., хт), зависящих от т параметров х1, х2, ..., хт . Тогда равновесное состояние организма - это такое состояние х*1, х*2, ..., х*т , для которого изменение одного из параметров, например х* , ведет к увеличению соответствующей функций то есть

^(х*Ь х*2, ... ,х*,..., х*т) < fj(x*l, х*2, ..., х^-Ь х^+Ь ..., х*т) (1)

В экономике равновесные состояния были введены Дж. Нэшем. В 1950-1953 гг. им были опубликованы статьи и доказаны теоремы о существовании при определенных условиях ситуации равновесия [8-11].

Хорошо известно, что в природе все живые существа находятся в равновесии. Стоит только исчезнуть или резко уменьшиться в количестве какому-либо виду животных или насекомых, как это пагубно сказывается на состояние других видов. Проблема нахождения точки (состояния) равновесия в медицине, экономике и биологии тесно связана с теорией игр. Аналогично предыдущему определяется равновесное состояние в теории игр и экономике. Рассмотрим некоторую бескоалиционную игру из т лиц. Если игроки не образуют кооперацию, то на стратегии друг друга они повлиять не могут. Игрок 1 выбирает чистую стратегию х; из выпуклого компактного множества Б;.

Образуем вектор х=(х1, х2, ..., хт), называемый мультистратегией, составленный из чистых стратегий х; е8ь принадлежащий компактному множеству 8;. Считаем, что вектор х принадлежит выпуклому компактному множеству 8=8^82х . ..х8т еКт, составленному из декартова произведения выпуклых компактных множеств 8;, ;е1:т. Все игроки выбирают стратегии независимо друг от друга. Здесь и далее Ит - т-мерное евклидово пространство.

Определение. Мультистратегия х*=( х*1, х*2, ..., х*т) е 8 в некооперативной игре т лиц называется некооперативным равновесием, если для каждого jе1:m и любого Xj е Sj выполняется неравенство (1).

Определения равновесного состояния в медицине, экономике и теории игр подобны друг другу. В 1950 г. Дж. Нэш доказал следующую теорему.

Теорема [8]. Пусть для любого ;е1:т множества Б; выпуклые компакты и функции £(•) -выпуклые по х;. Тогда в некооперативной игре с т лицами существует ситуация равновесия.

Из определения состояния равновесия (1) понятно, что для его определения надо применять методы покоординатного спуска, так как, как следует из (1), точка х*;, ; е1:т, является точкой локального минимума вдоль ;-ой координаты.

Целью работы явилось разработка численных методов нахождения точек равновесия в модели, функции потерь каждого из объектов (субъектов) которой описываются выпуклыми функциями.

Методика

Опишем метод поиска состояния равновесия при условии, что функции fi(x-j, x;): S ^ R, где x-j = ( xi, x2, ..., хц, xi+i, ..., xm), выпуклые по x;. Будем считать, что для множества S для любого i е1:ш верно включение {х eRm I £(х) < fi(x0)} с int S, где х0 - начальная точка, (int S - внутренность множества S). Это, очевидно, выполняется для коэрцитивных функций £(•). Под коэрцитивной функцией 9(-):Rm ^ R понимают такую функцию, что для любых x, g eRm верно предельное равенство

lim -=

+ к лг

К коэрцитивным функциям относятся, например, сильно выпуклые функции [2,3].

Пусть найдена к-ая точка zkеRm оптимизационного процесса. Найдем точку 7к+1. Процесс будет состоять из т шагов. Положим в качестве координатных векторов следующие векторы е1=(1,0, 0,..., 0), е2=(0,1,0.....0), ..., ет=(0,0Д..., 1).

Алгоритм поиска точки равновесия.

Шаг 1. Рассмотрим прямую у1(а) = zk+а е1, а е (-да, +да), и найдем а1 такое, что

А = (?>)}

Такое а1 будет существовать в силу сделанного предположения насчет коэрцитивности функций fi(•), 1 е1:т.

Шаг 2. Рассмотрим прямую у2(а) = zk+а е2, а е (-да, +да), и найдем а2 такое, что

Такое а2 будет существовать в силу сделанного предположения насчет коэрцитивности функций fi(•), 1 е1:т.

Щаг 3. И так далее до т-ого шага.

Шаг т. Рассмотрим прямую ут(ы) = гк+а ет, а е(-<х. + /), и найдем а2 такое, что

- и: ■ ■

Такое ат будет существовать в силу сделанного предположения насчет коэрцитивности функций П(-). 1 61:т'

Из всех f1 (д (»]_))■ /.; •••> {уяСия»)} выбираем наименьшее число. Пусть это будет

! ■ .-. 1 ! ^ . ■■■.. Положим zk+1 = у! (а]). В итоге получим последовательность точек из компактного множества 8.

Также можно строить модифицированный метод покоординатного спуска с постоянным шагом Х>0. Пусть найдена к-ая точка zkеRm оптимизационного процесса. Найдем точку zk+1.

Шаг 1. Берем точку у1(Х) = zk+Х е1е 8 и вычислим значение функции в этой точке. Если для плюса или минуса ^(у^Х)) < f1(zk), то полагаем zk+1=y1(Х). Если ^(у^Х)) > f1(zk) или у1(^)^8, то переходим к шагу 2.

Шаг 2. Берем точку у2(Х) = zk+Х е2 е 8 и вычислим значение функции в этой точке. Если для плюса или минуса ^(у2(Х)) < f2(zk), то полагаем zk+1=y2(Х). Если ^(у2(Х)) > или у2(А)£ 8 , то

переходим к шагу 3.

И так далее до т-ого шага.

Шаг т. Берем точку ут(Х) = zk+Х ет е 8 и вычислим значение функции в этой точке. Если для плюса или минуса ^(ут(Х)) < fm(zk), то полагаем zk+1=ym(Х). Если ^(ут(Х)) > fm(zk) или ут(А,)ё 8 , то уменьшаем шаг в два раза, т.е. полагаем Х= Х/2, и переходим к шагу 1. Процесс повторяется до тех пор, пока не будет выполняться условие Х<е, где е - наперед заданное малое положительное число.

Описанные процессы дают последовательность ^к}, которая в общем случае может не сходиться к точке равновесия и не иметь предельные точки, являющиеся точками равновесия. Рассуждения, доказывающие это, следующие.

Дело в том, что для негладкой функции метод покоординатного спуска может не сходится к точке минимума [2]. Существуют соответствующие примеры на этот счет. Если нет в общем случае доказательства сходимости метода покоординатного спуска к точке минимума функции (есть контрпримеры), то и не может быть доказательства сходимости этого метода к точке равновесия для бескоалиционной игры т лиц. Мы можем построить оптимизационный процесс, который, очевидно, должен быть методом покоординатного спуска, и для которого каждая из функций £(•), 1е1:т, будет уменьшаться вдоль соответствующей этой функции координатной оси. Но куда будет стремиться построенная последовательность точек ^к} без дополнительных предположений мы сказать не можем, так как градиенты, как функции точки, разрывны, а оценку величины изменения функций £(•), 1е1:т, при переходе от ¡-ого шага к к+1-ому не представляется возможным, о чем будет написано подробнее ниже.

Приведем пример [2] выпуклой недифференцируемой функции, для которой метод покоординатного спуска не сходится к точке минимума. Мы не будем описывать сам оптимизационный процесс, а запишем конечный результат.

Пример. Х=(хь х2), е1=(1,0), е2=(0,1), ^(Х)=2х1+х2, ^(Х)=-Х1+Х2-3 . Минимизируемая функция

Начальная точка Х0=(0,0). Нетрудно видеть, что спуска ни по одной из координатных направлений из точки Х0 у функции ф(-) нет. Но точка Х0 не является точкой минимума, так как ф(Х0)=0, а в точке Х1=(-1/2; 1/2) значение функции ф(-) меньше значения в точке Х0 : ф(Х1)=-1/2 , ф(Х0)=0.

Мы докажем, что для гладкого случая, когда все функции £(•), ;е1:т, гладкие, все предельные точки описанного выше метода являются точками равновесия.

Теорема 1. Пусть все !',(•). ¡е I :т. -непрерывно дифференцируемые функции по переменной х на компактном множестве 8 , для которого {х ек'" | |',(х) < £(хо)} с 8 для любого 1е1:т и

некоторой начальной точке х0. Пусть также, функции fi(•) - выпуклые каждая по своей переменной х;. Тогда описанный метод покоординатного спуска дает последовательность {хк}, любая предельная точка которой - точка равновесия.

Доказательство. Функции £(•), ;е1:т, ограничены в совокупности на множестве 8. Покажем, что частные производные по х; функции £(•), которую обозначим через f ¡д^) =(f ';(7к), е;), стремится к нулю при к — да. Доказательство будем вести от противного. Пусть

_:: : ■■ г- = : (2)

для какого-то ;. Имеет место разложение fi(Zk + к е;)= fi(Zk ) + (Г; Ы, к еО+0аД),

где функции о;к(0 удовлетворяют условию: 0]к(к)/ к —-0 при к —-0 равномерно по к. Если бы выполнялось неравенство (2), то нашлось бы к, для которого

(П ы, к е;)<-а, а>0. (3)

Неравенство (3) означает, что вдоль направлений е; или - е; мы можем уменьшить значение функции £(•). Действительно,

(Г; (7к), к е;)+0;к(к) = к ((Г; (7к), е;) + 0;к(к)/ к).

Поскольку 0]к(к)/ к —>0 при к —>0, то для достаточно малых к верно неравенство (Г; (7к), е) + 0;к(к)/ к) < -а/2, а поэтому для малых к

^к + к е;) - ^к ) < - к а/2. (4)

Вследствие равномерной бесконечной малости функций 0^0 по ^ к, что следует из непрерывной дифференцируемости функций !е1:т, неравенство (4) верно для всех ^к. Но последнее

означает, что на каждом шаге к мы уменьшаем значение очередной функций £ (•) как минимум на к а/2. Поскольку все функции £(•), !е1:т, ограничены в совокупности на 8, то приходим к противоречию с ограниченностью. Поэтому неравенство (2) не выполняется, а значит верен предел

Ит^Г^ (з^) = О

для всех 1: т. В произвольной предельной точке 7* последовательности {7к} в силу непрерывной дифференцируемости функций £(•), 1е1:т, для всех ¡61 :т выполняется равенство

По условию функция £(•) - выпуклая по х;, а поэтому необходимые условия являются и достаточными условиями минимума во внутренней точке множества 8. Поэтому выполняются неравенства

7*2, ... ,7*,..., 7*т) < 7*2, ..., Z*j_l, ..., 7*т)

для любого ]е1:т, что означает по определению, что 7*= (7*1, 7*2, ... ,7*],..., 7*т) - точка равновесия. Теорема доказана.

Замечание. Если предположение о включении в формулировке теоремы не выполняется, то последовательность {7к} может стремиться к граничной точке множества 8.

Иначе обстоит дело, когда функции £(•), ie1:m, - недифференцирруемые. В этом случае бесконечно малые функции о^(-) не являются равномерно малыми по k. Поэтому оценка (4) не будет выполняться, а, следовательно, теорема для негладкого случая неверна. Как находить точки равновесия в этом случае?

Результаты исследования и их обсуждение

Воспользуемся идеями работы [6]. Будем считать, что fi (•) - липшицевые функции по совокупности аргументов. Построим функции

D

где D - произвольное выпуклое компактное множество, 0 е int D, ц(Б) -мера Лебега множества D, iel: m.

Проверим, что функция (•) - выпуклая по переменной xi. Возьмем две точки xi1 и xi2. Запишем последовательность неравенств

-*1-1.«1*Д + .....О =

fit*t + Ух «2 + y2.....+ yj-i"ei*fi + «2*a + У?+ :v;+1.....Xm+ ym}dy <

fit + yv x2 +уг.....1 + У;_г*г1 + Ур I'l+L + yi+1.....-I'm + ynyiy +

a2 {

-jjf: f /¡( + yv x2 + :v2.....'■l-l + + У? + :vi+L.....xm + ymyiy =

5

= *2--< Xi_t,xlV.fi+L,,, -b вг^(*1.*2..........*n >

что означает выпуклость функции (•) по переменной xi.

Функция fi (•) почти всюду (ПВ) имеет производную по xi на множестве S. В [6] доказано, что функция ф! (•) - непрерывно дифференцируемая. В нашем случае fi (•) - выпуклая по xi, поэтому - выпуклая по xi, непрерывно дифференцируемая функция, т.е.

- (х) = = J_ I' öfiix + y} d, ^ ах.; AD-} I Зщ у

непрерывная функция по x. Таким образом, ф^О, ie1:m, - выпуклые, непрерывно дифференцируемые по xi (•), ie1:m, функции.

Покажем, что для любого i e1:m и некоторой начальной точки x0 множество {x eRm I ф^) < fi(x0) } с int S + (-D) при выполнении неравенства в условии теоремы.

Итак, по условию теоремы верно включение. {x+y eRm I fi(x+y) < fi(x0)} с S для любого i e1:m. Проинтегрируем по yeD неравенство, стоящее в скобках. В итоге получим

.' ( з $ ' .' ( з $

Из x+yeS для любого уе|). и Oeint D следует, что xeS + (-D). Нетрудно показать, что при условии коэрцитивности функций £(•), ie1:m, функции ф^), ie1:m, также коэрцитивны.

Мы приходим к выполнению условий доказанной выше теоремы. Следовательно, для функций ф^О, i e1:m, можно применить приведенный алгоритм поиска точки равновесия. Мы покажем, что точка равновесия функций ф^), ie1:m, есть e(D) точка равновесия функций £(•), ie1:m.

Определение. Назовем e(D) точкой равновесия функции fi (•), i e1:m, такую точку x*E, для которой множеству x Е +D принадлежит точка равновесия v =(v*1, v*2, ..., v*m) функции fi (•), i e1:m, по переменной xi. т.е.

fi (v*1, v*2, v*m) < fi (v*1, v*2, . .., v*i-1, xi, v*i+1, v*m) Vxi е S|.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Применим описанный выше алгоритм для нахождения точки равновесия для функций ф;(-), 1 е1:ш. Получим последовательность {ук}. Так как условия доказанной выше теоремы выполняются, то любая предельная точка у этой последовательности является точкой равновесия функций ф;(-),

1 е1:ш. Докажем следующую лемму.

Лемма 1. Любая предельная точка у* последовательности {ук} является £(Б) точкой равновесия функции й (■) по переменной х;, 1 е 1: ш.

Доказательство. В точках равновесия у*=(у*1, у*2, ..., У*ш) функций ф;(-), 1 е1:ш, с учетом всего сказанного выше верны равенства для ;е1:ш

^ Л, л «ч

Интеграл в (5) с любой степенью точности 5>0 можно представить в виде конечной суммы

1 + С Ч

ti'D] £—t öj:; '

■ - ' ;=1

где yi eD, N=N(5), Dj- подобласти разбиения области D, ^(Di) - их меры, причем

JV

Сумма (6) есть выпуклая оболочка величин —--— с коэффициентами

- дхк

рОУ ........

т.е. для всех ¿е1:т

1 V + , ч V +

;=1 ;=1 Согласно равенству (5) сумма (7) может быть как угодно малой для больших N для всех ie1:m. Из полунепрерывности сверху субдифференциального отображения Кларка [5] для липшицевых функций I", (•), iel:m, следует существование точки ур(уи, У\2, ■■■, Yim)eD, для которой О ё + 35) для iel:m, где ör /'£(V + у,-) - субдифференциал функции £(•) в точке v*+yj по

переменной х,. Поскольку £(•) - вь1пуклая по х,. то локальные точки минимума являются и глобальными точками минимума, а поэтому выполняется неравенство

fj (v*1+yi1, v*2+yi2, • • •, v*m+yim) < fj(v*1+yi1, V*2+yi2, • • •, V*i-1+yi,,i-1, Xj, V*i+1+yi,j+1, • .., V*m+yim)V XjeSi.

Последнее означает, что точка v*+yi является e(D) точкой равновесия функции £(•) по переменной xi. Лемма доказана.

Возникает вопрос: как найти точки равновесия с помощью функций ф,(-). i el:m? Сперва мы покажем, что субдифференциальное отображение 0x.fi(■) полунепрерывно сверху (ПН.СВ) по своим переменным. Дадим определение полунепрерывности сверху многозначного отображения (МО) dx.f,О в точке [3, 5].

Определение. МО fj (■") называется ПН.СВ в точке у, если для любых последовательностей j yk} и {wk}, для которых Ук —> у, w^ —> w при к—>°°, следует включение

Лемма 2. Субдифференциальное отображение e^fjO.i ПН.СВ в любой точке х е int S,. (Здесь int S -внутренность множества S;.)

Доказательство. Верно неравенство

fi (у,. + Mi) - fi (yj > щ) Vz e R, (ST)

где zs R, ws e d^fc(w^гвЕ) — скалярное произведение векторов Wk и /с,, с - i-ая координатная орта. Пусть yk—>у, Wk—>w при к—>°°. Перейдем в неравенстве (8) к пределу по к. Из непрерывности функции fi(-) по всем переменным следует неравенство

f (у + ZCj) - fi(yj > (w, ZBj) VE fc R, (?}

Если бы неравенство (9) не выполнялось, то для достаточно больших к неравенство (8) также не выполнялось бы, чего быть не может. Но из неравенства (9) следует, что w Е а это в

свою очередь по определению означает полунепрерывность сверху МО Дх/;(0 в точке у. Итак, лемма доказана. Построим процесс поиска точки равновесия функций !',(•). ¡61 :т. с помощью функций 1е1:ш.

Шаг 1. Применяем описанный выше алгоритм поиска точки равновесия функций ф;(0, 1е1:ш.

Шаг 2. В процессе поиска уменьшаем диаметр множества Бк , по которому идет интегрирование, т.е. ё1аш(Бк)=ё(Бк) при к—да. Так если Бк - шары в с центром в нуле и радиусом гк, то

гк —>0 таким образом, чтобы гк было больше Хк, где - длина к-ого шага оптимизационного процесса, описанного выше. (Напомним, что согласно построенному оптимизационному процессу Лк —0 при к—да). В итоге получаем последовательность точек {ик}.

Теорема 2. Любая предельная точка описанной выше процедуры является точкой равновесия по Нэшу функций £(•), 1е1:ш.

Доказательство. По доказанному любая предельная точка получившейся последовательности точек на первом шаге 1 является £(Б) точкой равновесия функций £(•), 1е1:ш. В результате применения шагов 1 и 2 мы получим последовательность {ик}. Тогда согласно леммам 1 и 2 любая предельная точка и* последовательности {ик} будет точкой равновесия функции I", (•), [ е I :т. по координате х,. 1е1:т. Действительно, 0 е З^^Ь* + для последовательностей

множеств Бк и у; (Бк), для которых сНат(1\) —> 0 и у,(Пк) —>0 при к—>°° для всех Из ПН.СВ отображения (■) (Лемма 2) следует включение 0 Е Но последнее и означает, что и* -

точка равновесия всех функций I", (•), 1е1:т, по координатам х,. [ е1:т, одновременно, что и требовалось доказать.

Обсуждение результатов исследования

В работе был применён метод нахождения точки равновесия как предельной точки последовательности, полученной в результате применения описанного выше численного метода, использующего градиенты (обобщенные градиенты) функции. Сам метод по этой причине в общем случае будет сходиться к точке равновесия не быстро, но его использование позволяет получить с минимальными промежуточными расчетами все возможные точки равновесия, если менять начальную точку. В дальнейшем будут проведены эксперименты на вычислительных машинах с целью получить множество всех точек равновесия. Интересны конфигурации этих множеств и время, за которое это можно сделать, а также поиск среди точек этих множеств Парето оптимальных решений.

В дальнейших статьях будет усовершенствован поиск точек равновесия по Дж. Нэшу с использованием матриц вторых смешанных производных (обобщенных матриц вторых смешанных производных) исходных функций. Такие методы будут сходиться намного быстрее описанного выше метода, но требуют на каждом шаге больше вычислений.

Существуют другие определения точек равновесия, например, точки равновесия по Бержу [4, 7], когда в бескоалиционной игре поведение игроков определяется максимальным (минимальным) выигрышем (проигрышем) каждого игрока при условии, что остальные игроки стараются помочь в достижении этой цели данному игроку. Нахождение точек равновесия по Бержу также представляет интерес.

Выводы

1. Дано обоснование применения новых оптимизационных методов поиска точек равновесия по Дж. Нэшу для негладкого случая.

2. Построен метод поиска точек равновесия по Жд. Нэшу с использованием усредненного интеграла Стеклова.

3. Доказано, что все предельные точки построенного оптимизационного процесса являются точками равновеия по Дж. Нэшу.

Литература (references)

1. Гомеостаз / Под ред. П.Д. Горизонтова - М.: Медицина. - 1981. - 576 с. [Homeostaz /Pod red. P.D. Gorizontova. Homeostasis / Ed. P.D. Gorizontova. - M.: Medicine. - 1981. - 576 p. (in Russian)]

2. Демьянов В.Ф., Малоземов B.H. Введение в минимакс. - М: Наука, 1972. - 368 с. [Demyanov V.F., Malozemov V.N. Vvedenie v minimaks. Introduction to minimax. - Moscow: Nauka, 1972. - 368 p. (in Russian)]

3. Демьянов В.Ф., Васильев Л.В. Недифференцируемая оптимизация. - М.: Наука, 1981. - 384 с. [Demyanov V.F., Vasilev L.V. Nedifferenciruemaya optimizaciya. Nonsmooth optimization. - Moscow: Nauka, 1981. - 384 p. (in Russian)]

4. Жуковский В.И., Макаркина Т.В., Вельских Ю.А. Существование точек равновесия по Бержу // Таврический вестник информатики и математики. - 2018. - Т.38, №1. - С. 7-16. [Ghukovsky V.I., Makarkina T.V., Belskich Yu.A. Tavricheskij vestnik informatiki i matematiki. Tavricheskiy Bulletin of informatics and mathematics. - 2018. - V.38, N1. - P. 7-16. (in Russian)]

5. Кларк Ф. Оптимизация и негладкий анализ. - М.: Наука, 1988. - 280с.[ Clark F. Optimizaciya i negladkij analiz. Optimization and nonsmooth analysis. - Moscow: Nauka,1988. - 280 p. (in Russian)]

6. Прудников И.М. C2(D) интегральные аппроксимации негладких функций, сохраняющие e(D) точки локальных экстремумов. // Труды Института математики и механики. УрО РАН. Доп. Номер. Екатеринбург: ИММ УрО РАН. - 2010. - Т. 16, № 5. - С. 159-169. [Prudnikov I.M. C2(D) integralnaya aproksimaciya negladkich funkcij, sohranyauchaya e(D) tozki localnih ekstremumov. C2(D) integral approximations of nonsmooth functions preserving s(D) points of local extremums. - Ural Branch of RAN. Additional Issue. Ecaterinburg: Institute of Mathematics and Mechanics of Ural Branch of RAN. - 2010. - V.16, N5. - P. 159-169. (in Russian)]

7. Berge C. Theory generule des jeux a n personnes. - Paris: Gauthier Villar, 1957. - 114 c.

8. Nash J.F. Equilibrium points in n-person games // Proceedings of the National Academy of Sciences. - 1950. -V.36.- P. 48-49.

9. Nash J.F. The bargaining problem // Econometrics. - 1950. - V.18. - P. 155-162.

10. Nash J.F. Non-cooperative games // Annals of Mathematics. - 1951. - V.54. - P. 286-295.

11. Nash J.F. Two-person cooperative games // Econometrics. - 1953. - V.21. - P. 128-140.

Информация об авторе

Прудников Игорь Михайлович - кандидат физико-математических наук, научный сотрудник научно-исследовательского центра ФГБОУ ВО «Смоленский государственный медицинский университет» Минздрава России. Б-шаП: ргидтк09 @ уаш!ех. ги

i Надоели баннеры? Вы всегда можете отключить рекламу.