Научная статья на тему 'О подходе к анализу асимптотических свойств монотонных субоднородных отображений с позиций обобщенных фейеровских отображений'

О подходе к анализу асимптотических свойств монотонных субоднородных отображений с позиций обобщенных фейеровских отображений Текст научной статьи по специальности «Математика»

CC BY
44
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФЕЙЕРОВСКОЕ ОТОБРАЖЕНИЕ / СУБОДНОРОДНОЕ ОТОБРАЖЕНИЕ / НЕРАЗЛОЖИМОЕ ОТОБРАЖЕНИЕ / ПРИМИТИВНОЕ ОТОБРАЖЕНИЕ / PRIMITIVE MAP / FEJER MAP / SUBHOMOGENEOUS MAP / IRREDUCIBLE MAP

Аннотация научной статьи по математике, автор научной работы — Смирнов А. И.

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

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

Deals with iterative processes on non-negative cone of a finite-dimensional Euclidean space with monotone subhomogeneous map as step operator. Introduces a generalization of a classical Fejer map concept and prove the appropriate analogue of convergence theorem. It is shown that the class of monotone subhomogeneous primitive on some set maps contains the class of generalized Fejer maps. As a consequence, we obtain a convergence theorem for iterations of monotone subhomogeneous map.

Текст научной работы на тему «О подходе к анализу асимптотических свойств монотонных субоднородных отображений с позиций обобщенных фейеровских отображений»

УДК 515.126.27+517.988.57

Смирнов А.И.

О ПОДХОДЕ К АНАЛИЗУ АСИМПТОТИЧЕСКИХ СВОЙСТВ МОНОТОННЫХ СУБОДНОРОДНЫХ ОТОБРАЖЕНИЙ

С ПОЗИЦИЙ ОБОБЩЕННЫХ ФЕЙЕРОВСКИХ ОТОБРАЖЕНИЙ

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

Ключевые слова: фейеровское отображение, субоднородное отображение, неразложимое отображение, примитивное отображение.

* * *

Smirnov A.I.

ON THE APPROACH TO THE ANALYSIS OF THE ASYMPTOTIC PROPERTIES OF MONOTONIC SUBHOMOGENEOUS MAPS

FROM THE STANDPOINT OF THE GENERALIZED FEJER MAPS

Deals with iterative processes on non-negative cone of a finite-dimensional Euclidean space with monotone subhomogeneous map as step operator. Introduces a generalization of a classical Fejer map concept and prove the appropriate analogue of convergence theorem. It is shown that the class of monotone subhomogeneous primitive on some set maps contains the class of generalized Fejer maps. As a consequence, we obtain a convergence theorem for iterations of monotone subhomogeneous map.

Keywords: Fejer map, subhomogeneous map, irreducible map, primitive map.

*

1. Постановка задачи и основные определения

Рассматривается дискретная динамическая система вида

= Р (X ), < = 0,1,2,... (1)

на неотрицательном конусе пространства я?. Предполагается, что эта система имеет тривиальное состояние равновесия х = 0 . Для порождающего ее отображения Р это означает наличие нулевой неподвижной точки: Р(0) = 0 .

Для некоторых классов нелинейных отображений асимптотические свойства ите-

54

* *

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

х - собственный вектор отображения. При этом существенно использовалось свойство примитивности отображения F, являющееся обобщением соответствующего свойства неотрицательной матрицы.

В данной работе исследуются асимптотические свойства класса монотонных субоднородных отображений (соответствующие определения приведены ниже), содержащего класс монотонных положительно однородных отображений в качестве граничного случая. При этом используется аппарат теории фейеровских отображений и их обобщений [3; 4]. Подробный обзор применений этих отображений содержится в работе [5].

В случае единственности положительного состояния равновесия х монотонного субоднородного отображения сходимость итерационного процесса (1) к этому равновесию (из любого положительного начального состояния) очевидна в силу существования инвариантного отрезка [ах, ¡Зх] с ае(0,1), ¡3 > 1, означающего монотонную сходимость итерационных процессов {Г1 (ах, {Г1 (¡х)}~ (см. свойства (2), (3) ниже). Поэтому далее рассматривается только случай существования по крайней мере двух различных положительных неподвижных точек отображения Г, приводящий для неразложимого отображения к существованию отрезка некоторого луча, исходящего из начала координат, сплошь состоящего из положительных неподвижных точек монотонного субоднородного отображения Г . Заметим, что в работе [6] получен критерий существования и единственности положительного состояния равновесия монотонного субоднородного отображения (в терминах доминирующих собственных значений некоторых сопутствующих ему положительно однородных отображений), а также охарактеризовано асимптотическое поведение итерационного процесса (1) в случае отсутствия нетривиального состояния равновесия.

В работе [7] была доказана сходимость итерационного процесса (1) к некоторому

положительному состоянию равновесия (в случае его существования) для частного случая сепарабельных монотонных субоднородных преобразований R" в предположении их примитивности. Для произвольных монотонных субоднородных преобразований Rq показано (в отсутствие предположений их неразложимости и примитивности) существование разбиения координат вектора (1) не более чем на три группы, принадлежность к которым означает соответственно сходимость координат вектора (1) к нулю, их неограниченное возрастание либо ограниченность и отделимость от нуля, причем это разбиение не зависит от выбора положительного начального состояния [8].

В работах [9; 10] приведен обзор исследований, связанных с изучением асимптотических свойств итераций монотонных субоднородных отображений в банаховых пространствах. Так, в работе [11, Theorem 2.1] для непрерывных монотонных субоднородных преобразований полиэдрального конуса в конечномерном банаховом пространстве получен основополагающий результат о существовании для любой точки х конуса, имеющей ограниченную (по норме) орбиту, такой p - периодической точки £ е K, что lim Fkp(х) = £ (p^i).

Нас будет интересовать случай, когда помимо тривиального равновесия, существует положительное состояние равновесия итерационного процесса (1). Заметим, что если х положительная неподвижная точка отображения F и F(ах) = aF(х) при некотором 0 < а^ 1, то F(aX) = aF(х) = ах и точка y = ах также является положительной неподвижной точкой отображения F . Поэтому при характеристике ситуации, когда положительное равновесие не является единственным, прежде всего следует рассмотреть случай, когда все положительные неподвижные точки лежат на одном луче, выходящем из начала координат. Достаточно давно известно, что для некоторых классов отображений эта ситуация не имеет альтернативы: при

некоторых дополнительных предположениях можно показать отсутствие положительных неподвижных точек монотонного субоднородного отображения, лежащих на разных лучах. В работе [7] это свойство было установлено первоначально для монотонных субоднородных сепарабельных преобразований R" в предположении их примитивности и впоследствии обобщено на случай произвольных монотонных субоднородных отображений при более слабом требовании неразложимости отображения [12]. Для дискретной субоднородной сильно монотонной динамической системы в банаховом пространстве единственность луча, содержащего неподвижные точки, была доказана в работах [13; 14].

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

Перейдем к обозначениям и определениям. Для стандартного частичного порядка, определяемого рассматриваемым конусом Rl, будем использовать следующие обозначения: x < y (соотв. x < y) означает, что y - x е Rl (соотв. y - x е intRl). Кроме того, будем использовать обозначение x < y в случае x < y, x ^ y .

Для краткости будем иногда записывать вектор x = (x1,x2,...,xq) и отображение F ( x ) = ( f1( x X f2( x ),..., fq( x ) ) в виде x = ( xi) и F ( x ) = ( f ( x ) ) соответственно. Если числа m, n целые и m ^ n, то множество целых чисел в промежутке [m, n] будем обозначать m, n .

Дадим необходимые определения. Отображение F е R ^ Rl | называется монотонно возрастающим, если

Vx, y е R+q: x < y ^ F (x) < F(y).

Монотонно возрастающее отображение будем иногда для краткости называть просто монотонным или возрастающим.

Отображение H ejRf ^ Rl j называется положительно однородным, если

Н(ах) = аН(х) (Уа> 0, х е Я+Я) . Основным требованием к отображению, генерирующему динамическую систему (1), в данной работе является его субоднородность. Отображение Р е{я+ ^ Я+} называется субоднородным, если

Ух е У а е (0,1) Р (ах) ^ аР (х). (2) Отображение Р е {я+ ^ Я+ } называется строго субоднородным, если неравенство (2) строгое.

Заметим, что свойство (2), определяющее субоднородность, равносильно следующему условию:

Ух е У Ре (1, +сю) Р ((х) ^ (Р (х). (3) Далее будут использоваться также предположения неразложимости и примитивности нелинейного отображения, являющиеся обобщениями соответствующих свойств матриц (линейных отображений). Неотрицательная матрица А = [а.,у ^ порядка я ^ 2 называется разложимой, если выполнено свойство_

3/ с 1,я, 0*I * 1,я: ак] = 0 (У. йI,у еI). В противном случае матрица называется неразложимой.

В математической экономике общепринятым является определение неразложимости отображения, данное М. Моришимой в работе [1] при характеристике спектральных свойств монотонных положительно однородных отображений.

Дадим это определение в несколько иной форме, используя следующие группы координат векторов х, у е (х ^ у):

1 +(X У) = {] е1, Я: х; > Уу}, 10 (х, У) = {./' е1, Я: х; = Уу}.

Отображение Р е{я+Я ^ Я+ } (я > 2) называется разложимым, если

3 х, у е Я++ : /0 (х, у) * 0, / +(х, у) * 0,

/ + (х, у) * 0, /0 (х, у) с /0 (Р(х), Р(у))

Соответственно, отображение Р называется неразложимым, если оно не является разложимым, т.е. если выполнено свойство

Ух, у е Ríq: 10 (х, у)*0,. I +(х, у) *0 ^ 10(х, у) \ 10 (Г(х), Г(у)) * 0

Для монотонно возрастающего отображения определение неразложимости отображения можно уточнить следующим образом:

Ух, у е я+д : 10 (х, у) * 0,1 +(х, у )*0^ ^ 10 (х, у ) п I+ (г(х), Г (у)) * 0 . (4)

Существенным для характеристики асимптотических свойств итерационного процесса (1) является еще одно обобщение соответствующего понятия для матриц, понятие примитивности отображения [1, 2]. Неотрицательная матрица А = [а;,] (/, ] е 1, д, q ^ 2) называется примитивной, если при некотором к = 1,2, ... матрица Ак положительна (т.е. все ее элементы положительны). В противном случае матрица называется импримитивной. Отображение Г е {я+д ^ Rcq } (д ^ 2) называется примитивным в точке у е яд, если

Ух : х > у к ^ 1: Гк (х) > Гк (у),

где Гк итерация отображения Г. Примитивное в точке у = 0 отображение будем также называть примитивным в нуле.

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

Нам понадобится далее следующее простое утверждение, доказанное в работе [15].

Лемма 1. Пусть функция £ (х) является субоднородной и монотонно возрастающей на яд . Если £(х) = 0 для некоторого х > 0, то £ (х) = 0 на всем множестве {х е Я+д: 10(х) з 10(х)} .

В частности, если £ (х) = 0 при некотором х >0, то £(х) = 0 на яд .

2. Хара1«теристика асимптотических свойств итерационного процесса (1)

Естественно предполагать в дальнейшем отсутствие полностью нулевых компонент отображения Г:

У1 еЦд 3х е Яд : £ (х) > 0. В этом случае образ положительного вектора для субоднородного возрастающего отображения положителен: Ух е Яд : х >0 ^ Г(х)> 0. Действительно, предполагая противное, получаем существование номера / 0 е1, д и вектора х > 0, удовлетворяющих условию £ (х) = 0, что приводит, в силу леммы 1, к равенству £ (х) = 0 . Таким образом, внутренность конуса яд инвариантна относительно монотонного субоднородного отображения:

Г (int Яд )с int Я+д. (5)

При анализе свойств субоднородных отображений и асимптотических свойств порождаемых ими итерационных процессов удобно использовать частный случай проективной метрики Гильберта - метрику Томпсона [16]. В ряде отечественных исследований эта метрика называется также метрикой Биркгофа, поэтому будем называть ее в дальнейшем метрикой Биркгофа-Томпсона. Следуя В.И. Опойцеву [17], на ^ яд будем ее использовать в виде

Ро(х,у) = тт{а> 0: в~ах й у й еах}. (6) В метрике Биркгофа-Томпсона равенство р0 (х,у) = а означает выполнение неравенств

е~ах й у й е ах , е~ау йх й еау. Метрика р0 эквивалентна [ 17] евклидовой метрике, т.е. из сходимости последовательности в метрике Биркгофа-Томпсона вытекает ее сходимость в евклидовой метрике, и обратно. Класс субоднородных отображений определен таким образом, что именно метрика Биркгофа-Томпсона является наиболее подходящей для анализа свойств определяемых ими итерационных процессов. Известно (см., напр., [16]), что субоднородное возрастающее отображение является нерасширяющим в метрике Бирк-гофа-Томпсона на внутренности конуса в

банаховом пространстве (в частности на внутренности конуса Rl пространства Rl*): Vx, y е intRq p0 (F(x),F(y)) < p0(x, y) (7) и, следовательно, является непрерывным на int Rl. В работе [6] показано, что субоднородное возрастающеее отображение имеет непрерывное расширение на весь конус Rl. Это позволяет считать субоднородное возрастающее отображение непрерывным на всем Rlq .

Множество всех ненулевых (соотв. положительных) неподвижных точек отображения F будем обозначать NF (соотв. Nf ). Будем дополнительно предполагать отображение F неразложимым; в этом случае все его ненулевые неподвижные точки являются положительными [15]: NF = NF .

При характеристике структуры множества положительных неподвижных точек субоднородного монотонного отображения F в работе [12] использовались множества M F (x )= {а > 0 : F (а x) = aF (x )j, HF (x) = {ax: ае MF (x)j (8)

и величины

aF(x) =inf Mf (x), ßF (x) = sup MF (x) . (9) Здесь x произвольный ненулевой вектор. Множество MF (x) не пусто, так как всегда содержит в качестве элемента единицу. В работе [12] показано, что если это множество содержит более одного элемента, то оно является некоторым промежутком числовой оси. В этом случае (в предположении конечности величины ßF(x) ) можно ввести в рассмотрение векторы xf (x) = aF (x)x, Jf (x) = ßF ( x ) x . (10) Нетрудно заметить, что они не зависят от выбора конкретного элемента x . Если x > 0 некоторая неподвижная точка отображения F , то эти векторы являются, соответственно, наименьшей (xF) и наибольшей (yF) неподвижными точками отображения F (последняя существует только в случае ßF (x) < ) на луче, определяемом вектором x . Структура множества положительных неподвижных точек отображения F охарактеризована в работе [12], где доказано следующее утверждение об един-

ственности луча, содержащего неподвижные точки.

Теорема 1. Пусть монотонно возрастающее субоднородное отображение Р е{я+ ^ Я+ } (Р(0) = 0) является неразложимым. Тогда справедливы следующие утверждения:

(1) любая ненулевая неподвижная точка отображения Р является положительной;

(2) положительная неподвижная точка х отображения Р является единственной тогда и только тогда, когда МР (х) = { 1 }. Если \МР (х)| > 1, то множество всех неподвижных точек отображения р лежит на исходящем из начала координат луче, содержащем точку х , и совпадает с множеством Нр (х ), т.е.

1г - [со{хр , Ур}, (р (х) <+a), ^ = Np =\ Л (11)

[{ахр: ае[1,+»)}, (Р(х) = +а>. (11)

Здесь |М| обозначает число элементов множества М (для бесконечного множества по определению |М| = ).

Для использования метрики Биркгофа-Томпсона нам понадобится в дальнейшем следующая

Лемма 2. Пусть монотонно возрастающее субоднородное отображение Р е{я+ ^ Я+ } (Р(0) = 0) является неразложимым. Тогда

Ух е Nр , а й МР (х )

, Г> ах, а е (0, 1), . . 3 ^ Рг (ах) \ (Уt > to) .(12)

[< ах, а > 1

Д о к а з а т е л ь с т в о. Докажем это свойство, например, для случая а е (0,1); случай а > 1 рассматривается совершенно аналогично.

Пусть х е Nр . Из субоднородности и условия а й МР (х ) получаем Р (а х ) > а х . Обозначим_

/+={. е 1Я : I! (а х)> а х } (t = 1,2, ...),

/0 ={. е 1, я : Ц (а х) = а хг} (t = 1,2, ...) .

Заметим, что при t ^ 1 справедливо включение /0+1 с /0 (и, в частности, /0 с /-0 ) или, что то же, /+ с /++1 (и, в част-

+ t '

ности, 11+ с 1+д ). Действительно, если I е I то (а х ) = £ (Г(а х )) > £ (а х )> а х т.е. I е 1+1 (Г = 1,2, ...).

Из условия а £ МГ (х) вытекает, что 11+ * 0 . Если 10 * 0 при некотором г, то, применяя свойство неразложимости (4) к векторам х = Г^) (а х), у = а х , получаем существование координаты с номером

У (х) = У (F(t) (а х))

i е It , для которой

= y;(t+1) (а х ) > У (У) = У (а х) = а х; , те.

Пусть x Е int Rl,

а = р0 (x, n f ), y = argp0 (x, N f ) .

Здесь x £ Nf , У е Nf , так что а > 0. По определению расстояния (6) имеют место неравенства

е~ау й x й еаУ . (16)

Если в~а £ MF (У), то из (16) в силу монотонности отображения F с учетом (12) имеем: F(x)^F(e ау)>е~ау (Vi: t ^ t0) . Если же в~а е MF (у), то из определения (8)

i е It++1. Это означает, что либо It0 = 0 (и, множества MF(y) благодаря y е Nf

+ t+1

следовательно, 1д = 1, д ), либо 1гд с I

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

(У г = 1,2, ...). _ '

В любом из этих случаев ^ = 1, д и, сле-довательнно, неравенство (12) будет гарантировано выполнено, начиная с г0 = д. Утверждение доказано.

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

Определение 1. Пусть р( х, у) некоторая метрика, заданная на множестве М с яд , W с М . Непрерывное отображение Г е{яд ^ яд} называется (р, Ж) -фей-еровским отображением на множестве М с яд , если выполнены следующие условия:

0*ЖсМ, Г(М)сМ, Г(х) = х (УхеЖ), (13) УхеМ\Ж Уу еЖ р(Г(х),у)<р(х,у),(14) Ух еМ\ Ж 3 у е Ж, к >1: р( Г (х), у) < р( х, у) .(15)

Класс (р, Ж) -фейеровских отображений содержит, в частности, так называемые фей-еровские отображения [3], использующиеся в выпуклом анализе.

Теорема 2. Монотонно возрастающее субоднородное неразложимое отображение Г е {яд ^ яд } (Г(0) = 0), примитивное на

множестве

KF =|ах :аЕ[0, +го), х е N f |

является (р0, N f ) -фейеровским отображением на int Rl.

Д о к а з а т е л ь с т в о. Свойства (13),

(14) при M = int Rl, W = NF выполнены в силу свойств (5), (7). Докажем свойство

(15).

e~ay е Nf , справедливо неравенство x > e~ay . Отсюда в силу примитивности отображения F в точке e~ay существует такое k, что Ft (x) > e~ay при всех t ^ k . Итак, в любом случае

Ft(x)>e~ay (Vt: t> t, t = max{k, t0}).(17)

Далее, т.к. 1е Mf (y) , для величины PF (y) = supMF (y) возможны два случая: либо ¡3F(y) = 1, либо ¡3F(y) > 1. Если PF (y) = 1, то согласно определению (9) (см. также теорему 1) вектор y = yF является максимальным элементом множества NF. Это означает, что ea £ MF (y), т.к. в противном случае получаем, как и выше, F (eay) = eaF (y) = eay, что противоречит максимальности неподвижной точки yF = y . Из ea £ MF (y) в силу (16), с учетом (12) получаем: Ft (xFt (eay)< eay (Vt : t > t0), т.е.

Ft (x) < eay (Vt : t > t0) .

Вместе с (17) это дает требуемое неравенство

Ро (F ( x )> y)< р( x y )

(Vt: t > t, t = max {k, t0}) . (18)

Рассмотрим второй возможный случай, когда PF (y) > 1 и согласно теореме 1 множество положительных неподвижных точек Nf содержит все точки y е co{y,yF} (y < y < yF ). В этом случае неравенство (17) можно усилить: существует a'E (0, a), удовлетворяющее условию

Ft (x)> e-a'y (Vt: t > t'). (19)

Действительно, поскольку согласно (17) Ft (x)> e~ay, то Ft (x) > e ^0y при некотором a0 e (0, a) , достаточно близком к

а . Тогда Р+1 (х)> >Р(еа0у)>еаРу) =еау, и, следовательно, Р (х)> е~а<0у (Уt: t ^ t +1). Выбирая теперь любое а'е(а0, а), получаем Рг (х) > е~а°у > е~а у, и (19) выполнено при г ' = т +1.

Выбирая а'е( 0, а) достаточно близким к а , получаем при у = е (у е NР , где ( = а-а'> 0, для правой части неравенства (19): е~а'у = е~ае ( у ре~ау, т<к что при г ^ г' опять выполнено неравенство (17), на этот раз для вектора у (у < у < уР ): Рг (х)> е ау (Уг: г ^ г'). (20)

Если е ай МР (у), то Рг (е а у) < е У в силу (12). Если же е аеМР(у), то из (16) получаем Рг(х) ^ е ау < е ау и, с учетом (20), опять справедливо неравенство (18), на этот раз при г ^ г'. Итак, в любом из рассмотренных случаев справедливо (15). Теорема доказана.

Следующее утверждение является аналогом теоремы о сходимости итераций фейе-ровского отображения [3, лемма 3.1].

Теорема 3. Если отображение Р е{я+Я ^ R+ } является непрерывным (р, W) -фейеровским отображением на множестве М , то итерационный процесс (1) сходится к некоторому элементу множества W при любом х0 е М .

Д о к а з а т е л ь с т в о. Если при некотором г = г0 оказалось хк еW, то х( еW для всех г ^ г0 и заключение теоремы справедливо, поэтому достаточно рассмотреть случай х( йW (Уг = 0,1,2, ...). Обозначим Л (у) = Р(х ,у) (г = 0,1,2, ...), где х( = Р'(х0), х0 е М, у е W . В силу свойства (14) последовательность {рг (у)}+=0 является монотонно убывающей: р,+1 (у) < Р< (у) (У г = 0,1,2, ...) и, следовательно, сходится к некоторой величине р(у). Последовательность {хг }+=°0 ограничена в силу неравенств р(х(,у) < р(х0,у) (Уг = 0,1,2, ...) и, следовательно, содержит

, ч+ш

сходящуюся подпоследовательность {х^ } ^; обозначим ее предел у'. Покажем, что y'еW.

Действительно, предполагая y'gW, получаем согласно (15) p(Fs(y'), y) < р(y', y) при некоторых s ^ 1, y еW . Последовательность {xh+s^ где \+s =F(\) (k=1,2,...) в

силу непрерывности отображения F сходится к элементу y" = Fs (y'), поэтому

Р( У" У ) = p( Fs (y"), y )< p( y", y ) =

= lim p(xt , y) = p(y) Мы получили, что

k k

,lim Р(xkls,У) < Р(У)

k k

но это противоречит тому факту, что любая подпоследовательность последовательности {p( xt, у)^ имеет предел p( y). Полученное противоречие показывает, что y'еW. Поскольку lim ph (y') = lim p(x , y') = 0 , в силу моно-

k —+<Ю k k —+<Ю k ' J

тонности последовательности {pt (y')}i0 получаем lim pt(у') = lim p(xt,у') = 0 , т.е. J—L xt = y , что и требовалось доказать.

Теперь мы можем, опираясь на два предыдущих утверждения, получить следующее утверждение о сходимости.

Теорема 4. Пусть NF ^ 0 . Если отображение

F е {r+ ^ Rl} является субоднородным, монотонно возрастающим (F (0) = 0), неразложимым и примитивным на множестве KF, то при любом x0 >0 итерационный процесс (1) сходится к некоторому элементу множества Nf .

Заключение Как уже отмечалось, класс субоднородных отображений содержит, как граничный случай, положительно однородные и, в частности, линейные отображения. В линейном случае, когда F (x) = A x, предположения полученного утверждения о сходимости итерационного процесса (1) вполне согласуются с предположениями известного классического утверждения (см., например, [2, теорема 8.1]), согласно кщорому последовательность {(A / А(A)) } для неразложимой матрицы a сходится Тогда и только тогда, когда существует такое k, что матрица A k положительна (т.е. когда матрица A примитивна).

Если Г - положительно однородное отображение, то КГ - это множество его собственных векторов, соответствующих доминирующему собственному значению Я( Г ) (равному единице в случае ^Г *0 ). Для сходимости итераций неразложимого положительно однородного отображения требуется [2, теорема 10.7] примитивность на множестве {0, х }, где х е КГ, которая приводит к примитивности на множестве КГ . Таким образом, и в этом граничном случае предположения утверждения о сходимости вполне согласуются с классическими.

Заметим в заключение, что имеющиеся утверждения о сходимости итерационных процессов общего вида наряду с самыми различными требованиями к ним обычно содержат в той или иной форме предположение типа примитивности задающих их отображений (см., например, обзоры в работах [1; 2; 6; 9; 10; 14; 16]). В связи с этим предложенное обобщение (13)-(15) понятия фейеровского отображения, по-видимому, может оказаться полезным в теории дискретных динамических систем, поскольку свойство (15) напрямую связано с понятием примитивности отображения.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Моришима М. Равновесие, устойчивость, рост. М.: Наука, 1972.

2. Никайдо Х. Выпуклые структуры и математическая экономика. М.: Мир, 1972.

3. Еремин И.И. Системы линейных неравенств и линейная оптимизация. Екатеринбург: УрО РАН, 2007.

4. Васин В.В., Еремин И.И. Операторы и итерационные процессы фейеровского типа (Теория и приложения). Москва - Ижевск: Регулярная и хаотическая динамика, 2005. 200 с.

5. Еремин И.И., Попов Л.Д. Фейеровские процессы в теории и практике // Известия вузов. Математика. 2009. №1. С. 44-65.

6. Смирнов А.И. Равновесие и устойчивость субоднородных монотонных дискретных динамических систем. Екатеринбург: Изд-во УИЭУиП, 2016. 318 с.

7. Смирнов А.И. Анализ развития популяции в условиях нестационарной среды // Методы для нестационарных задач математического программирования. Свердловск: ИММ УНЦ АН СССР, 1979. С. 94-103.

8. Oshime Y. An extension of Morishimas nonlinear Perron-Frobenius theorem // J. Math. Kyoto Univ. 1983. Vol. 23. P. 803-830.

9. Смирнов А.И. Субоднородные монотонные отображения в мультипликативной и аддитивной нелинейной теории Перрона-Фробениуса // Вестник УИЭУиП. 2016. №2(35). С. 8-25.

10. Смирнов А.И. Субоднородные отображения в теории монотонных динамических систем // Вестник УИЭУиП. 2016. №1 (34). С. 68-80.

11. Akian M., Gaubert S., Lemmens B., Nussbaum R.D. Iteration of order preserving subhomogeneous maps on a cone // Math. Proc. Cambridge Philos. Soc. 2006. Vol. 140, no. 1. P. 157-176.

12. Мазуров Вл.Д., Смирнов А.И. О структуре множества неподвижных точек разложимых монотонных субоднородных отображений // Тр. ИММ УрО РАН. 2017. Т. 23, № 4. С. 222-231.

13. Takac P. Asymptotic behavior of discrete-time semigroups of sublinear, strongly increasing mappings with applications to biology // Nonlinear Anal. Theory Meth. Appl. 1990. Vol. 14 (1). P. 35-42.

14. Hirsch M.W., Smith H.L. Monotone Dynamical Systems // Handbook of Differential Eqns: Ordinary Differential Eqns / Canada A., Drabek P., Fonda A. (Eds.) Elsevier B.V., Amsterdam. 2005. Vol. II. P. 239-357.

15. Мазуров Вл.Д., Смирнов А.И. Условия неразложимости и примитивности монотонных субоднородных отображений // Тр. Ин-та математики и механики УрО РАН. 2016. Т. 22. № 3. C. 169-177.

16. Krause U. Positive Dynamical Systems in Discrete Time: Theory, Models, and Applications. Berlin-Munich-Boston: Walter de Gruyter GmbH, 2015.

17. Опойцев В.И. Равновесие и устойчивость в моделях коллективного поведения. М.: Наука, 1977.

REFERENCES

1. Morishima M. Ravnovesiye, ustoychivost', rost. M.: Nauka, 1972.

2. Nikaydo KH. Vypuklyye struktury i matematicheskaya ekonomika. M.: Mir, 1972.

3. Yeremin I.I. Sistemy lineynykh neravenstv i lineynaya optimizatsiya. Yekaterinburg: UrO RAN, 2007.

4. Vasin V.V., Yeremin I.I. Operatory i iteratsionnyye protsessy feyyerovskogo tipa (Teoriya i prilozheniya). Moskva - Izhevsk: Regulyarnaya i khaoticheskaya dinamika, 2005. 200 s.

5. Yeremin I.I., Popov L.D. Feyyerovskiye protsessy v teorii i praktike // Izvestiya vuzov. Matematika. 2009. №1. S. 44-65.

6. Smirnov A.I. Ravnovesiye i ustoychivost' subodnorodnykh monotonnykh diskretnykh dinamicheskikh sistem. Yekaterinburg: Izd-vo UIEUiP, 2016. 318 s.

7. Smirnov A.I. Analiz razvitiya populyatsii v usloviyakh nestatsionarnoy sredy // Metody dlya nestatsionarnykh zadach matematicheskogo programmirovaniya. Sverdlovsk: IMM UNTS AN SSSR, 1979. S. 94-103.

8. Oshime Y. An extension of Morishima s nonlinear Perron-Frobenius theorem // J. Math. Kyoto Univ. 1983. Vol. 23. P. 803-830.

9. Smirnov A. I. Subodnorodnyye monotonnyye otobrazheniya v mul'tiplikativnoy i additivnoy nelineynoy teorii Perrona-Frobeniusa // Vestnik UIEUiP. 2016. №2 (35). S. 8-25.

10. Smirnov A. I. Subodnorodnyye otobrazheniya v teorii monotonnykh dinamicheskikh sistem // Vestnik UIEUiP. 2016. №1 (34). S. 68-80.

11. Akian M., Gaubert S., Lemmens B., Nussbaum R.D. Iteration of order preserving subhomogeneous maps on a cone // Math. Proc. Cambridge Philos. Soc. 2006. Vol. 140, no. 1. P. 157-176.

12. Mazurov Vl.D., Smirnov A.I. O strukture mnozhestva nepodvizhnykh tochek razlozhimykh monotonnykh subodnorodnykh otobrazhenii // Tr. IMM UrO RAN. 2017. Vol. 23, No. 4. P. 222-231

13. Takac P. Asymptotic behavior of discrete-time semigroups of sublinear, strongly increasing mappings with applications to biology // Nonlinear Anal. Theory Meth. Appl. 1990. Vol. 14 (1). P. 35-42.

14. Hirsch M.W., Smith H.L. Monotone Dynamical Systems // Handbook of Differential Eqns: Ordinary Differential Eqns. / Canada A., Drabek P., Fonda A. (Eds.) Elsevier B.V., Amsterdam. 2005. Vol. II. P. 239-357.

15. Mazurov Vl.D., Smirnov A.I. Usloviya nerazlozhimosti i primitivnosti monotonnykh subodnorodnykh otobrazheniy // Tr. In-ta matematiki i mekhaniki UrO RAN. 2016. T. 22. № 3. C. 169-177.

16. Krause U. Positive Dynamical Systems in Discrete Time: Theory, Models, and Applications. Berlin-Munich-Boston: Walter de Gruyter GmbH, 2015.

17. Opoytsev V.I. Ravnovesiye i ustoychivost' v modelyakh kollektivnogo povedeniya. M.: Nauka, 1977.

СВЕДЕНИЯ ОБ АВТОРАХ

СМИРНОВ Александр Иванович, кандидат физико-математических наук, старший научный сотрудник Института математики и механики УрО РАН, г. Екатеринбург. E-mail: asmi@imm.uran.ru

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