О существовании неподвижной точки у равномерно сжимающего монотонного оператора
Бесплатный доступ
Доказывается существование неподвижной точки у монотонного сжимающего отображения в банаховом K пространстве. Доказывается сходимость итераций к неподвижной точке в метрике равномерной сходимости. Компактность инвариантного множества, полная непрерывность оператора не предполагаются.
Положительный оператор, монотонный вогнутый оператор, гетеротонный оператор
Короткий адрес: https://sciup.org/147158775
IDR: 147158775
Текст краткого сообщения О существовании неподвижной точки у равномерно сжимающего монотонного оператора
М.А. Красносельским был рассмотрен класс монотонных вогнутых операторов [1]. Рамки построенной теории были расширены В.И. Опойцевым [2]. Им был рассмотрен класс гетеротон-ных операторов. Операторы из рассмотренных классов являются сжатиями в метрике Биркгофа. Центральными вопросами построенных теорий являются вопросы существования неподвижной точки и сходимости итераций. При этом существование неподвижной точки устанавливается из каких-либо дополнительных соображений (компактность множества, полная непрерывность оператора), а сходимость итераций обеспечивает условие вогнутости.
Автором рассматривались сжимающие отображения в метрике равномерной сходимости. Сжатия в этой метрике обладают такими же свойствами, что и вогнутые и гетеротонные. В настоящей работе приводится признак существования неподвижной точки у монотонного сжимающего отображения в метрике равномерной сходимости.
Пусть X – банахово пространство, полуупорядоченное конусом K .
Определение компоненты. Пусть x0 е K; и0 е K (и0 ^ 0). Компонентой K(x0;и0) называется. множество элементов у е X, для которых при некотором а > 0 выполняются неравенства x0 <у + аи0; у0 Определение метрики равномерной сходимости. Пусть x,у е K(x0;и0). Метрика d(x,у) определяется как минимальное а, при котором выполняются неравенства (1). Определение равномерного и0-сжатия. Монотонный оператор Т, действующий в X, будем называть оператором равномерного и0-сжатия, если для любого конусного отрезка {и; v) ((и;v^ с K(x0;и0)), для любого положительного t найдётся такое положительное q = q(t;и;v) (q (t; и; v)< 1), что для любого x е Ци; v) выполняется неравенство Т (x + Ш0)< Tx + qt. (2) Будем говорить, что оператор Т оставляет инвариантным конусный отрезок (v, v), если Т^и; v) с Ци; v). Теорема. Пусть оператор Т является оператором равномерного и0-сжатия и оставляет инвариантным конусный отрезок Ци0;vq) с K (x0; и0). Тогда у оператора Т есть неподвижная точка x* е K (x0; и0) и для любого начального приближения z0е K (x0; и0) последовательность итераций сходится к x*. Доказательство. Рассмотрим две последовательности {ип}; {vn} такие, что 1 Катков Михаил Львович – доцент, кандидат физико-математических наук, кафедра математического и функционального анализа, Южно-Уральский государственный университет. Вестник ЮУрГУ. Сери^ «Математика. Механика. Физика» Катков М.^. О существовании неподви^ной точки у ^авноме^но с^имающего монотонного опе^ато^а пли,. . „ . . un = Tu 0; vn = Tv 0. Очевидно, что vn — un + tmnu0 , где tmn = d (un, vm). Последовательность {tmn} не возрастает. Предположим, что t = lim tmn * 0. m ^^ n ^^ Тогда vm+1 < T ( un + tu 0 ) + ( tmn - t ) u 0; и, следовательно, vm+1 < u n+1 + qtu0 + ( tmn - t ) u0 . Таким образом, d ( un+1; vn+1 )< qt + ( tmn - t ) , получаем противоречие. Последовательности {un} и {vn} фундаментальные. Поэтому lim un = lim = x*. n ^^ n ^^ Так как T - сжатие, x* - единственная неподвижная точка. Теорема доказана.
Список литературы О существовании неподвижной точки у равномерно сжимающего монотонного оператора
- Красносельский, М.А. Геометрические методы нелинейного анализа/М.А. Красносельский, П.П. Забрейко. -М.: Наука, 1975. -512 с.
- Опойцев В.И. Обобщение теории монотонных и вогнутых операторов/В.И. Опойцев//Труды Московского математического общества. -1978. -Т. 36. -С. 237-380.