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

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

CC BY
37
15
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕЛИНЕЙНЫЕ ОПЕРАТОРЫ / АСИМПТОТИЧЕСКОЕ ПОВЕДЕНИЕ / ФУНКЦИЯ ЛЯПУНОВА

Аннотация научной статьи по математике, автор научной работы — Ганиходжаев Расул Н., Сабуров Мансур Х.

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

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

Похожие темы научных работ по математике , автор научной работы — Ганиходжаев Расул Н., Сабуров Мансур Х.

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

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

Journal of Siberian Federal University. Mathematics & Physics 2008 1(2) 188-196

УДК 519.98

Обобщенная модель нелинейных операторов вольтерровского типа и функции Ляпунова

Расул Н.Ганиходжаев* Мансур Х.Сабуров^

Национальный университет Узбекистана, ВУЗгородок, Ташкент, 700174, Узбекистан

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

Ключевые слова: нелинейные операторы, асимптотическое поведение, функция Ляпунова

Пусть

Sm-i = {x = (xi, Х2,..., xm) e Rm : V Xk = l,xk > 0}

k = 1

(т — 1)-мерный симплекс. Точки ек = (¿1к,¿2к,..., ¿тк) называются вершинами симплекса, где ¿¿к — символ Кронекера. Пусть I = {1, 2, ...,т} и а С I — произвольное подмножество. Множества

Га = {х е Бт-1 : хк =0, к /а}

называются гранями симплекса. Грань Га = со{ек}кеа также является (|а| — 1)-мерным симплексом. Множество

ггГа = {х е Га : Хк > 0,к е а}

называется относительным внутренностью грани Га.

Для векторов х, у е Кт положим х а У у, если х^ > у^ при г е а и х^ ^ у^ при « / а. Если а = 0, то мы просто пишем х ^ у.

Пусть отображение / = (/1,/,...,/т) : Бт-1 ^ Мт удовлетворяет следующим условиям:

10. Отображение / : Бт-1 ^ Мт непрерывно.

20. Для любой х е б™-1 выполняется /(х) ^ —I = ( — 1, —1,..., —1).

30. Для любой х е б™-1 выполняется (/(х), х) = 0.

40. Для любого а С I выполняется /(х) а >--1, для любой х е ггГа.

* e-mail: [email protected] t e-mail: [email protected] © Siberian Federal University. All rights reserved

Предложение 1. Для того чтобы линейное отображение / удовлетворяло условиям 10 — 40, необходимо и достаточно, 'чтобы матрица А, соответствующая отображению /, была кососимметрической, т.е Ат = —А и |а^| ^ 1 для любого к, г = 1, т.

Доказательство. Необходимость. Пусть / линейное отображение удовлетворяет условиям 10 — 40. Если А + ^ =1 и 0 < А, ^ < 1, то

(/(Ав» + ), Ав4 + = (А(Ав» + ), Ав4 + ) = А^((Ав», вй) + (в», Авй)) = 0.

Считая (Ав», в^) = а^ и (Ав^,в») = а^, мы заключаем, что а^ = — а^ = 0 или же Ат = -А.

Так как /(ж) ^ —I, то |а^| ^ 1 для любого к, г = 1, т.

Достаточность. Пусть /(ж) = Аж, Ат = —А и |а^| ^ 1 для любого к, г = 1, т. Тогда (/(ж), ж) = (Аж, ж) = (ж, АТж) = —(Аж, ж) = —(/(ж), ж). Следовательно, (/(ж), ж) = 0 для любого ж € Бт-1.

т

Так как /(ж) = (Аж)й = ^ аьж4, то

1 + /й(ж) = ^ ж» + ^ а^ж* = ^(1 + аи)ж* > 0.

г=1 ¿=1 ¿=1

Значит, / (ж) ^ —I для любого ж € Бт-1. □

Замечание 1. В этом случае условие 40 следует из остальных.

Определение 1. Оператор вольтерровского типа V : Бт-1 — Кт определяется следующей формулой для всех ж € Бт-1

= жй = жй(1 + /(ж)), к = 1, т , (1)

где отображение / = (/1, /2, ..., /т) : Бт —> Мт удовлетворяет условиям 10- 40.

Замечание 2. В случае когда / — линейные функционалы, динамика траекторий оператора вольтерровского типа изучена в [1].

Отметим некоторые свойства операторов вольтерровского типа. (1) оператор вольтерровского типа отображает симплекс в себя. Действительно, из 20 и 30 следует, что

жй = жй(1 + /(ж)) > 0 к = 1, т,

т т т т т

= 53 ж^(1 + /(ж)) = 53 ж^ + 53 /й(ж) = 53 жй + (/(ж), ж) = 1. й = 1 й=1 й = 1 й=1 й = 1

(И) Любая грань симплекса инвариантна относительно оператора вольтерровского типа.

Действительно, пусть Га — грань симплекса Бт-1. Тогда из (1) ясно, что при ж^ = 0 имеем жй = 0. Поэтому V(Га) С Га.

(ш) Вершины симплекса являются неподвижными точками оператора вольтерров-ского типа.

Действительно, поскольку вершина ек — нульмерная грань симплекса «Б™-1, то (^ек)^ = 0 при г = к. Из 30 следует, что /к(ек) = 0, тогда (^ек)к = 1. Таким образом Уек = ек.

(IV) Относительная внутренность любой грани симплекса инвариантна относительно оператора вольтерровского типа. Это следует из 40.

(V) Сужение оператора вольтерровского типа на любую грань является оператором вольтерровского типа.

Действительно, ясно, что сужение /а = /1„ отображения / на грань Га снова

I 1 а

удовлетворяет условиям 10—40. Поэтому сужение V* = V|г оператора вольтерровского типа V на грань Га является оператором вольтерровского типа.

Пусть х0 — начальная точка и {х0, х(1), х(2), ...,х(п),...} — траектория, начинающаяся в точке х0 (х(и+1) = Vx(n),n = 0,1, 2,...). Обозначим через ^(х°) множество предельных точек траектории. Поскольку {х(п)} С «т-1 и «т-1 компактен, то ^(х0) = 0. Очевидно, если ^(х0) состоит из одной точки, то траектория сходится, причем ^(х0) — неподвижная точка оператора V.

Теорема 1. Если отображение / : «т-1 —► Кт удовлетворяет условиям

10 _ 40,

тогда

Р = {х е «т-1 : /(х) ^ 0} = 0, = {х е «т-1 : /(х) ^ 0} = 0.

Доказательство. Если мы докажем, что множество Р не пусто, то аналогично можно доказать, что множество Q не пусто. Рассмотрим следующие множества:

Ек = {х е «т-1 : /к(х) > 0}.

Очевидно, что каждое множество Ек замкнуто. Если мы докажем, что для любого а С I выполняется

Га С и Ек, (2)

к£а

тогда (см. [2]) получим, что множество

Р = П Ек

к=1

не пусто. Чтобы доказать включение (2), воспользуемся индукцией относительно мощности |а| множества а.

Пусть |а| = 1, т.е. а = {к} , тогда Га = ек. Так как /к(ек) = (/(ек),ек) = 0, то

ек е Га.

Предположим для мощности |а| ^ п включение (2) верно и докажем в случае |а| = п +1, т.е. а = {¿1, ¿2,..., гп+1}. По предположению индукции верно, что

п+1

дГа С У Е^ .

к=1

Поэтому мы докажем, что

п+1

ггГа С и ^.

й = 1

Предположим обратное, т.е. существует

ж0 = (0,..., 0, ж°1, 0,..., 0,ж°2, 0,..., 0,ж0п+1, 0,..., 0) € ггГа,

п+1

такое что x ф \J Fifc или же /¿fc (x ) < 0 для любого k — 1, n +1. Тогда

fc=i

0 — (/(xo),xo) — x?!/i! (x0) + x°2/i2(x0) + ... + xi„+1 /i„+1 (x0) < 0,

получим противоречие. □

Следствие 1. P и Q состоят из неподвижных точек оператора вольтерровского типа.

Доказательство. Пусть p G P, тогда из /k(p) ^ 0, k — 1, m следует, что

(Vp)fc — pfc(1 + /fc(p)) > pfc, k — 1, m.

Поскольку (Vp)k pk = 1, то получаем (Vp)k = pk, k = 1,m, т.е. Vp = p. В

k=i k=i

случае q G Q доказательство проводится аналогично. □

Пусть отображение f : Sm-i ^ Rm удовлетворяет следующему условию: 50 Для любой x, y G Sm-i выполняется (f (x), y) + (x, f (y)) ^ 0.

Определение 2. Непрерывный функционал ^ : Sm-i ^ R называется функцией Ляпунова, если для любой начальной точки x0 G Sm-i существует lim <£>(x(n)).

Ясно что, если lim <£>(x(n)) — C, то w(x°) С ^ i(C).

Теорема 2. Если p G P, то <£>(ж) — ж?1 xpp2...x^m является функцией Ляпунова.

Доказательство. Будем считать, что ж G riSm-1 (см. свойства (п)и (iv)). Так как p G P и (ж, f (p)) ^ 0, то из неравенства Юнга и учитывая условие 50 получаем

m m

¥>(x') — ^(ж) П(1 + fk(ж)Г < ^(ж) ^pk(1 + ffc(ж)) — <£>(ж)(1 + (f (ж),р)) < fc=1 fc=1

< у>(ж)(1 - (ж,f (p))) < р(ж).

Таким образом, lim <^(ж(п)) существует и ^(ж) является функцией Ляпунова. □

n—

m

Пусть p G Sm-1 и ^(ж) — П(1 + ffc(ж))Рк.

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

fc=i

Предложение 2. Если p G P, то 1 — max ^(ж) — ^(ж) тогда и только тогда, когда

xesm-1

ж G P.

Доказательство. Достаточность. Пусть х € £т 1. Тогда из неравенства Юнга и из условия 50

т т

^(х) = П(! + /к(х)Г < ЕРк(1 + Л(х)) = 1 + (/(х),р) < 1 - (х, /(р)) < 1. (3)

к=1 к = 1

Если x € P, то / (x) ^ 0, k = 1, m и

m

V>(*) = П (1 + fk (x))pk > 1.

fc=1

Учитывая (3), находим 1 = max ^(ж) = ^(ж) для всех ж G P.

Необходимость. Пусть 1 = max ^(ж) = ^(ж). Тогда в (3) все знаки неравенства превращаются в знак равенства, т.е.

m m

П (1 + fk (x))pk = Е Pk (1 + fk (ж)) (4)

k = 1 k=1

Тогда из (4) получим и из (5)находим

1 + (/ (x),p) = 1 - (x,f (p)) = 1. (5)

fi(x) = /2 (X) = ... = fm(x)

/k(x) = (/ (x),p) =0, k = 1, m. Следовательно, x G P. □

Теорема 3. Если x0 G riSm-1 и Vx0 = x0, то:

то

a) lim <£>(x(n)) = 0, более того ^(x(n)) < гс?е p G P, <£>(x) = xp1 xp2 ...xfm;

n=0

b) w(x°) С dSm-1.

Доказательство. а). Проверим, что P n w(x0) = 0.

Действительно, пустьp = (pi,pi, ...,pm) G P. Тогда^(x) = xpixp2...xfm есть функция Ляпунова и достигает наибольшего значения только лишь в точке p, причем Vp = p. Поэтому из x0 = p следует, что

^(x0) < <p(p).

Учитывая, что ^>(x) монотонно убывающая вдоль любой траектории, находим, что

y(y) = lim ^>(x"fc) < y>(p) k—

для любого y G w(x0). Следовательно, p G w(x0). Поскольку p G P произвольно, то

P П w(x0) = 0.

и

b). Докажем, что <£>(ж(п)) < +то для любого у>(ж) = ж!1 ж^2...жт, где p G P.

n=0

т

Согласно a) P П о>(ж°) = 0. Функционал ^(ж) = П (1 + /(x))pk достигает своего наи-

fc=i

большего значения равного 1 только лишь на P. Поэтому для некоторой окрестности U компакта ш(ж°) имеем ^(ж) ^ C < 1 для всех ж G U. Траектория {ж(п)} начиная с некоторого номера m° содержится в U. Следовательно,

( J = ^(ж(т)) < C < 1, m > m°.

о

Поэтому ^ ^(ж(и)) < +то, отсюда lim ^(ж(и)) = 0. Наконец, если ж G riSm-1, то

n=0 n ^оо

^>(ж) = ж!1 ж^2 ...ж;"" > 0, т.е. равенство ^>(ж) = 0 может выполняться только на dSm-1. Следовательно, ш(ж°) С dSm-1. □

Следствие 2. Справедливо включение (ж°) С I I < ж е

^(ж0) С р [ж е Sm-1 : ж?1 жр2 =oj.

peP

Теорема 4. Множество о>(ж°) либо состоит из одной точки, либо бесконечно.

Доказательство. Допустим, что ш(ж°) = (у1, у2,..., yr}, где 1 < r < то. Тогда у1, у2,..., yr образуют цикл, т.е. с точностью до нумерации имеем

Vy1 = у2, Vy2 = у3, ... , Vyr-1 = yr, Vyr = у1.

Так как r > 1, то Vx° = ж°. Поэтому согласно теореме 3 имеем ^(ж°) С dSm-1. Поскольку любая грань симплекса инвариантна относительно V, то все у® (г = 1, r) принадлежат одной и той же (m — 2)-мерной грани, которую обозначим через Г1. Пусть V1 — сужение оператора V на Г1.

По построению Vl : Г1 ^ Г1, где Г1— (m — 2)-мерный симплекс, и V1 также является оператором вольтерровского типа на симплексе Г1. Так как

Vy1 = у2, Vy2 = у3, ... , Vyr-1 = yr, Vyr = у1,

то Vl(w(x°)) = w(x°), поэтому w(y) = w(x°) для любого у € о>(ж°).

Вторично используя теорему 3, получаем w(x°) С дГ1. Любая грань симплекса Г1 инвариантна относительно V1, поэтому все у®(г = 1,r) принадлежат одной и той же (m — 3)-мерной грани Г2. Пусть V2 сужение Vl на Г2. Понижая размерность Г^ на каждом шаге, через m — 1 шаг подобных рассуждений получаем w(x°) С дГт_1, поскольку Гт_1 состоит из одной точки (одна из вершин Sm-1), то дГт_1 = Гт_1 и это противоречит допущению 1 < r < то. □

Следствие 3. Оператор вольтерровского типа не имеет периодических траекторий.

Теорема 5. Пусть ж° € r«Sm-1, Vx° = ж° и траектория {ж(п)} сходится. Тогда предельная точка траектории принадлежит множеству Q.

Доказательство. Пусть х(:) сходится к д = (дьд2, ...,дт). Согласно теореме 3 имеем д € дй™-1. Пусть

/о = {г € I : д» = 0}, 1+ = {г € I : д» > 0}. Очевидно, что д — неподвижная точка оператора V. Поэтому

= д&(1 + /к(д)), к € I.

Ясно, что если к € 1+, то /к (д) = 0. Значит, /&(д) = 0 для всех к € 1+.

Допустим, что для некоторого ко € 1о имеем /к0 (д) > 0. Поскольку х(:) сходится к д, то начиная с некоторого по выполняется неравенство

/ко (х(:)) > 0, п > по.

Так как ггйт-1 инвариантна относительно V, то х(:) € гг^т-1 при любых п. Тогда

хк:+1)=хкпо)(1+/ко (х(п))) > хкпо), п > по.

Последнее невозможно, так как х^ сходится к д^0 = 0.

Итак, для всех ко € 1о должно выполняться неравенство /(д) ^ 0. Таким образом, /к (д) < 0, к € I, т.е. д € ф. □

Теорема 6. Оператор вольтерровского типа V : йт-1 ^ йт-1 является гомеоморфизмом.

Доказательство. Оператор вольтерровского типа является инъективным. Предположим обратное, т.е. существуют х, у € йт-1 такие, что х = у, но Vx = Vy. Поскольку любая грань инвариантна (см.(п)), то без ограничения общности будем считать, что х,у € ггйт-1. Отсюда

хк(1 + /к(х)) = уй(1 + /(у)), к = 1, т

или же

хк + хй/ (х) - уй/ (х) + у/(х) - уй - уй/ (х) = 0, к = 1, т,

(хй - уй)(1 + /к(х)) = -уй(/(х) - /к(у)), к = 1, т. (6)

Так как 1 + / (х) > 0 для всех х € ггйт-1 и у^ > 0 при всех к = 1, т, из (6) следует,

что

(хй - ук)(/к(х) - /(у)) < 0, к = 1, т,

то

т

Е(хк - ук)(/к(х) - Л(у)) ^ 0

к = 1

или же

(/(х), х) - (/(х), у) - (х, /(у)) + (у, /(у)) < 0, так как / удовлетворяет условию 5о, поэтому это выполняется лишь в случае, когда

(хй - ук)(/к(х) - /(у)) = 0, к = 1, т.

Так как x = y, то существует ко такой, что xk0 = yk0, тогда из предыдущего следует, что

/fco (x) = /fco (y)

или же

1 + /ko (x) = 1 + /ko (y).

Так как xk0 = yk0, отсюда сдедует, что (Vx)k0 = (Vy)k0; это противоречит нашему предположению.

Сюръективность оператора вольтерровского типа докажем по индукции относительно размерности симплекса. Очевидно, в случае m = 2 теорема верна. Предположим для размерности меньших m теорема доказана. Докажем ее в случае размерности m. Если / удовлетворяет условию 50, то для любого а С I сужение /а тоже удовлетворяет условию 50. По предположению индукции V(dSm-1) = dSm-1, к тому же V — инъекция, то V(Sm-1) = Sm-1 (см. [3]).

Таким образом, непрерывное отображение V : Sm-1 ^ Sm-1, определенное на компакте, является биективным, тогда V : Sm-1 ^ sm-1 — гомеоморфизм (см. [3]). □

Следствие 4. Для любой начальной точки x0 G Sm-1 существует "отрицательная" траектория

{x0, V-1x0, V-2x0,..., V-nx0, ...}.

Пусть a(x0) — множество предельных точек "отрицательной" траектории, начинающейся в точке x0 G Sm-1. Ясно, что a(x0) = 0 и замкнуто.

Теорема 7. Если x0 G riSm-1, то a(x0) С P.

Доказательство. Пусть p = (pbp2, ...,pm) G P. Тогда y(x) = xp, x^2,...,xmm — функция Ляпунова, монотонно убывающая вдоль любой траектории. Поэтому

^(x°) < ^(x(-1)) < ^(x(-2)) < ... < ^(x(-n)) < ...,

где x(-n) = V-nx0. Поскольку

x0

riSm 1, то <£>(x0) > 0. Поэтому

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

lim ^(x(-n)) = C > 0.

n—

Так как x(-n) = Vx(-n-1), то

^(x(-n)) = ^(x(-n-1))^(x(-n-1)),

m

где V(x)= П(1 + /k(x))pk. k=1

Тогда lim ^(x(-n)) = 1, т.е. для любого y G a(x0) имеем ^(y)

n—

^(y) = 1 только при y G P. Поэтому a(x0) С P. Теорема 8. "Отрицательные" траектории всегда сходятся.

= 1. Напомним, что □

Доказательство. Без ограничения общности можно считать, что ж° € riSm_1, поскольку в противном случае достаточно перейти к соответствующей грани симплекса Sm_1 и сужению оператора V на эту грань. Поэтому из теоремы 7 следует, что а(ж°) состоит только из неподвижных точек оператора V.

Выбрав p = (pi,p2, ...,Pm) € а(ж°) построим функцию Ляпунова <£>(ж) = жр1 жр2 ...ж^". Поскольку p € а(ж°), то существует подпоследовательность "отрицательной" траектории ж(_"^, сходящаяся к p. Поэтому

lim ^(ж(_п*}) = ^(p)= pP1 p22...pmm.

®—

Напомним, что монотонная последовательность будет сходящейся, если сходится некоторая ее подпоследовательность. Тогда

lim ^(ж(_и)) = ^(p)= pP1 pP2...pmm.

n—

Учитывая, что max ^>(ж) = ^>(p) = pP1 pp2 ...pm, причем максимум достигается лишь

в точке p, находим а(ж°) = (p}. Следовательно, любая "отрицательная" траектория сходится. □

Список литературы

[1] Р.Н.Ганиходжаев, Квадратичные стохастические операторы, функция Ляпунова и турниры, Мат. сб., 183(1992), №8, 121-140.

[2] Л.В.Канторович, Г.П.Акилов, Функциональный анализ, Наука, М., 1977.

[3] Э.Спеньер, Алгебраическая топология, Мир, М., 1971.

A Generalized Model of Nonlinear Operators of Volterra Type and Lyapunov Functions

Rasul N.Ganikhodzhaev Mansoor X.Saburov

In some problems of population genetics we deal with studying asymptotic behavior of the trajectory of nonlinear mappings of a simplex into itself. The present paper is devoted to investigation of homeomorphisms of such mappings and asymptotic behavior. Such a homeomorphism allows us to determine the pre-history of a biological system.

Keywords: nonlinear operators, asymptotical behavior, Lyapunov function

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