НЕПОДВИЖНАЯ ТОЧКА

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

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

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

но если Xкомпактно, то условие (2) по-прежнему обеспечивает наличие у оператора Fединственной Н. т. Более общим является принцип обобщенного сжатия. Пусть, как и выше, X- полное метрич. пространство, и

при где для

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

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

Пример (теорема Пеано). Пусть функция непрерывна по совокупности переменных в области в этой области. Если , то на отрезке существует хотя бы одно решение уравнения

такое, что

Уравнение (4) вместе с условием (5) эквивалентно интегральному уравнению

Оператор

в условиях теоремы отображает шар пространства в себя и вполне непрерывен на этом шаре. Поэтому в силу принципа Шаудера существует Н. т. оператора F, к-рая и является решением задачи Коши (см. [4], [5]).

Обобщением принципа Шаудера является принцип Тихонова. Пусть X- отделимое локально выпуклое пространство и F- непрерывный оператор, отображающий выпуклое компактное множество в себя. Тогда Fимеет на Схотя бы одну Н. т. Существуют и другие обобщения принципа Шаудера, в том числе на многозначные отображения, однако во всех случаях необходимо предполагать выпуклость множества С, без чего теорема Шаудера и ее обобщения становятся неверными. Возможно комбинирование принципа Шаудера и принципа сжимающих отображений. Пусть оператор F, преобразующий ограниченное замкнутое выпуклое множество Сбанахова пространства X в себя, можно представить в виде где F₁ - вполне непрерывный и F₂- сжимающий операторы. Тогда Fимеет в Схотя бы одну Н. т.

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

Привлечение более тонких топологич. понятий позволяет сформулировать более сильные признаки существования Н. т. Пусть на границе ограниченной области Мбанахова пространства Xзадано невырожденное векторное поле Ф, т. е. каждой точке поставлен в соответствие ненулевой вектор Ф (х). Такому полю при выполнении нек-рых условий можно соотнести целое число, наз. вращением поля Ф на . Пусть сначала Xконечномерно и Ф непрерывно на . Тогда определяется как топологич. степень отображениямножества на единичную сферу . Пусть теперь X- банахово бесконечномерное пространство и , где F- вполне непрерывный на оператор. Такие поля наз. вполне непрерывными.

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

Принцип Лере - Шаудера. Пусть на замыкании ограниченной области Мбанахова пространства Xзадано вполне непрерывное векторное поле Ф, невырожденное на , и пусть Тогда Ф обращается в нуль по крайней мере в одной точке , т. е. оператор Fимеет в Мхотя бы одну Н. т. Инвариантность вращения при гомотопных преобразованиях позволяет вычислять вращение следующим образом. По заданному полю строится континуум полей так, что все эти поля гомотопны друг другу и при нек-ром . Если при другом вращение поля легко вычисляется и равно k, то также . Этим приемом, использовавшим степень отображения для установления наличия Н. т. у вполне непрерывных операторов, получено доказательство существования решений ряда довольно сложных дифференциальных уравнений с частными производными высших порядков.

Усиливая требования, предъявляемые к пространству, можно ослабить ограничения, налагаемые на оператор. Напр., оператор Fназ. нерастягивающим, если . Пусть банахово пространство равномерно выпукло (напр., гильбертово) и F- нерастягивающий оператор, преобразующий ограниченное замкнутое выпуклое множество в себя. Тогда Fимеет на Схотя бы одну Н. т.

Все предыдущие принципы Н. т. предполагали непрерывность оператора F. Если наделить Xструктурой частично упорядоченного множества, то в нек-рых случаях требование непрерывности можно опустить.

Принцип Биркгофа - Тарского.

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

Комбинирование топологич. условий с порядковыми приводит к новым принципам Н. т. Напр., пусть X- частично упорядоченное банахово пространство и F- непрерывный изотонный оператор, отображающий порядковый интервал в себя. Если полуупорядочивание пространства Xправильное, т. е. всякая монотонно возрастающая порядково ограниченная последовательность сходится по норме пространства X, то оператор Fимеет на [а, b]хотя бы одну Н. т. При этом условия теоремы не требуют решеточной упорядоченности пространства X, т. е. не для всяких двух элементов должен в Xсуществовать их sup и inf. Наконец, Н. т. линейного оператора Fесть собственный элемент этого оператора, соответствующий собственному значению, равному единице.

Лит.:[1] Люстерник Л. А., Соболев В. И., Элементы функционального анализа, 2 изд., М., 1965; [2] Красносельский М. А., Топологические методы в теории нелинейных интегральных уравнений, М., 1956; [3] Красносельский М. А., Забрейко П. П., Геометрические методы нелинейного анализа, М., 1975; [4] Немыцкий В. В., "Успехи матем. наук", 1936, в. 1, с. 141-74; [5] Лерэй Ж., Шаудер Ю., там же, 1946, т. 1, в. 3-4, с. 71-95; [5] Садовский Б. Н., там же, 1972, т. 27, в. 1, с. 81 - 146.

В. И. Соболев.

2) Н. т. дробно-линейного преобразования Азамкнутой комплексной плоскости - точка удовлетворяющая уравнению

где

есть дробно-линейное преобразование, и . Если (I - тождественное преобразование w=z), то Аимеет одну или две Н. т. С помощью Н. т. можно классифицировать дробно-линейные отображения(I из рассмотрения исключается).

О. М. Фоменко.

3) Н. т. системы обыкновенных дифференциальных уравнений или динамической системы - см. Равновесия положение.