CC BY
143
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 19. Выпуск 2
УДК 51 (091) DOI 10.22405/2226-8383-2018-19-2-30-55
Об истории метода неподвижной точки и вкладе советских математиков (1920-е-1950-е гг.)1.
Богатов Егор Михайлович — кандидат физико-математических наук, доцент кафедры высшей математики и информатики Старооскольского технологического института им. А. А. Угарова (филиала) Национального исследовательского технологического университета "МИ-СИС". e-mail: e.bogolyubscky@yandex.ru
Аннотация
Цель. Целью работы является изучение вклада отечественных математиков (В.В. Немыцкого, А.Н. Тихонова, A.A. Маркова, М.Г. Крейна, В.Л. Шмульяна и др.) в развитие метода неподвижной точки в бесконечномерном пространстве за период с начала 1920-х гг. до конца 1950-х гг.
Метод. Исследование основано на анализе оригинальных работ перечисленных учёных в контексте общемирового процесса развития нелинейного функционального анализа на фоне достижений американских (Дж. Биркгофа, О. Келлога), польских (С. Банаха, С. Мазура, Ю. Шаудера, К. Борсука и др.), итальянских (Р. Каччиополи), французских (Ж. Лере) и немецких (Э. Роте) математиков.
Результат. Вклад советских учёных в области метода неподвижной точки оказался сопоставимым с вкладом остальной части мирового математического сообщества в рассматриваемый период. Это подтверждается как количеством доказанных теорем о неподвижной точке, так и их качеством. Благодаря усилиям советского математика А I.A. Красносельского, с середины 1950-х гг. метод неподвижной точки приобрёл своё значение, как общий метод для решения широкого класса задач качественного характера, относящихся к анализу нелинейных операторных уравнений (до указанного времени обсуждаемый метод рассматривался, только как инструмент для доказательства разрешимости абстрактных аналогов нелинейных интегральных или дифференциальных уравнений и их систем).
Обсуждение. Анализ достижений в области метода неподвижной точки в мировом контексте показал, что развитие нелинейного функционального анализа (как, впрочем, и любого другого раздела математики) есть процесс наднациональный, который осуществляется услилиями математиков из разных стран. Этот процесс выходит за рамки любой научной школы, какой бы крупной она не была.
Ключевые слова: история нелинейного функционального анализа, метод неподвижной точки, теорема Шаудера, теорема Тихонова-Шаудера, теорема Маркова-Какутани, степень отображения Лере-Шаудера, теорема Красносельского, теорема Крейна-Шмульяна, нелинейные интегральные уравнения, топологические методы анализа
Библиография: 75 названий. Для цитирования:
Е. М. Богатов. Об истории метода неподвижной точки и вкладе советских математиков (1920-e-1950-e гг.)// Чебышевский сборник, 2018, т. 19, вып. 2, с. 30-55.
1Основные результаты работы докладывались на XV международной конференции "АЛГЕБРА,ТЕОРИЯ ЧИСЕЛ И ДИСКРЕТНАЯ ГЕОМЕТРИЯ: СОВРЕМЕННЫЕ ПРОБЛЕМЫ И ПРИЛОЖЕНИЯ секция История математики [1].
CHEBYSHEVSKII SBORNIK Vol. 19. No. 2
UDC 51 (091) DOI 10.22405/2226-8383-2018-19-2-30-55
On the history of the fixed point method and the contribution of the soviet mathematicians (1920s-1950s.)
Bogatov Egor Mikhailovich — candidate of physical and mathematical sciences, associate professor of the department of higher mathematics and computer science at Starooskolskv technological institute named after. A. A. Ugarov (branch) of the National research technological university "MISIS". e-mail: e.bogolyubscky@yandex.ru
Abstract
Goal. The aim of the paper is studying of Russian mathematicians contribution (V.V. Nemytskii, A.N. Tikhonov, A.A. Markov, M.G. Krein, V.L. ShmuPyan, etc.) to the development of the fixed point method for the period from the beginning 1920's until the late 1950's. Method. The reseach is based on an analysis of the original works of the listed scientists in the context of the worldwide development of nonlinear functional analysis against the backdrop of the achievements of American (J. Birkhoff, O. Kellogg), Polish (S. Banach, S. Mazur, J. Schauder, K. Borsuk,), Italian (R. Cacciopolli), French (J. Leray) and German (E. Rothe) mathematicians.
Result. The contribution of the Soviet scientists in the field of fixed point method is comparable with that of the rest of the world mathematical community in the period under review. This is confirmed both by the number of proved fixed-point theorems and by their quality. Due to the efforts of the Soviet mathematician M.A. Krasnosel'skii from the mid-1950's a fixed point method became a general method for solving a wide class of problems of a qualitative nature for a nonlinear operators analysis (until this time, the method under discussion was considered only as a tool for proving of the solvability of nonlinear integral or differential equations and their systems abstract analogues).
Discussion. An analysis of the achievements at the area of the fixed-point method in the global context has shown that the development of nonlinear functional analysis (as, indeed, of any other section of mathematics) is a supranational process that is carried out by the efforts of mathematicians from different countries. This process goes beyond any scientific school, no matter how large it may be.
Keywords: history of nonlinear functional analysis, fixed point method, Schauder theorem, Tikhonov-Schauder theorem, Markov-Kakutani theorem, Leray-Schauder mapping degree, Krasnosel'skii theorem, Krein-Shmuljan theorem, nonlinear integral equations, topological analysis methods.
Bibliography: 75 titles. For citation:
E. M. Bogatov, 2018, "On the history of the fixed point method and the contribution of the soviet mathematicians (1920s-1950s.)" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 30-55.
1. Введение
Под методом неподвижной точки мы будем подразумевать метод доказательства существования решений уравнений вида F(х) = х ш получения (по возможности) полезных свойств этих решений. Основное внимание будет уделено ситуации, когда х - элемент бесконечномерного пространства, a F - нелинейный оператор.
История метода неподвижной точки к настоящему времени уже довольно хорошо изучена [2, Гл. IX, §1], [3, Гл. VII, §2]-[7, Гл. VII, §6.10]; [8] - [10], однако результатам советских математиков, на наш взгляд, было уделено недостаточно внимания. Автор предпринимает попытку восполнить данный пробел, а также уточнить роль и место метода неподвижной точки в развитии нелинейного функционального анализа, ограничившись серединой XX в. Будут найдены ответы на следующие вопросы:
1. Чем было мотивировано развитие метода неподвижной точки в указанный период?
2. Каковы былит основные инструменты данного метода и объект исследований?
3. Каков вклад отечественных и зарубежных учёных в разработку метода неподвижной точки ?
4. Как повлияли результаты в области метода неподвижной точки на эволюцию функционального анализа?
5. Какое применение нашёл метод неподвижной точки в других областях? Работа является продолжением исследований автора, проведённых в [11]-[12].
2. Предыстория: теорема Брауэра, степень отображения
Поскольку истоки метода неподвижной точки лежат в конечномерных задачах, воспроизведём кратко результаты, полученные для этого случая.
В 1909 г. голландский учёный Л. Брауэр стал исследовать векторные поля на сфере S2,
ассоциированные с правой частью уравнения
£ =' <->•
Для доказательства существования особых точек таких полей Брауэр изучил свойства непрерывных отображений / сферы S2 в себя. Это привело его к определению нового топологического инварианта - степени отображения (deg / ), которое было впоследствии распространено на бесконечномерные пространства и сыграло большую роль в развитии нелинейного функционального анализа в целом.
Перейдём к понятию deg / для отображений n-мерных поверхностей S в себя. Упрощённо (по выражению П.С. Александрова [13, с. 154]) степень отображения Брауэра - это кратность покрытия поверхности S её образом S с учётом ориентации.
Строгое изложение результатов, относящихся к степени отображения, было дано Брауэром в двух работах - [14]-[15], опубликованных в журнале Mathematische Annalen. В первой из них (1911 г.), посвящённой доказательству инвариантности размерности, он ввёл в расмотрение так назывемую локализованную степень отображения - величину deg(F,G, М) для функции F : G ^ HN и точки М £ H,N. Для определения deg(F,G,M) , Брауэр аппроксимировал отображение F симплициальным отображением Fe с точностью е. При достаточно малых е разность между числом положительных (р) и числом отрицательных симплексов (д), покрывающих М, остаётся одной и той же для всех аппроксимирующих преобразований; это и есть deg(F, G, М). В примере на рис.1 точку Р покрывают 2 симплекса с положительной ориентацией (S+, S+), и один с отрицательной (S-), так что deg(F,G,M) =1.
В следующей работе, опубликованной в 1912 г., Брауэр определяет нелокальную степень отображения deg / для непрерывной функции f : S ^ S, как степень приближающих её симплициальных отображений поверхности S в себя. Принцип был использован тот же, что и
в работе [14] (degf = p—q), однако результат не зависел уже от точки, а явился топологическим инвариантом, характеризующим одновременно функцию f и поверхность S "в целом" .
В качестве одного из важнейших приложений степени отображения, принесших Брауэру мировую известность, была теорема о неподвижной точке и её следствие 2 [15, с. 115]:
Если degf = (—1)(га+1); то непрерывное отображение сферы Sn в себя имеет хотя бы одну неподвижную точку.
Следствие Непрерывное отображение шара, Вп в себя, имеет неподвижную точку.
Локализованная степень отображения тоже сыграла свою роль в доказательстве разрешимости нелинейных уравнений, но намного позже. Соответствующая теорема была доказана X. Хопфом в 1927 г. [18] и имела вид
Теорема 1. Пусть F(X) - непрерывная в G функция. Если deg(F, G, М) = 0; F(X) = М для X £ dG. Тогда, уравнение F (X) = М разрешимо в G.
3. Неподвижные точки в бесконечномерном пространстве. Теорема Биркгофа-Келлога
Существенным шагом в обобщении теоремы Брауэра было перенесение её на бесконечномерный случай. Понятно, что современникам Брауэра эта задача была не под силу - теория функциональных пространств в это время только зарождалась. Эта теория появилась на свет в основном благодаря усилиям европейских математиков - С. Пинкерле, В. Вольтерра, Ж. Адамара, Д. Гильберта, М. Фреше, Ф. Рисса, Э. Шмидта, Э. Хелли и др. - см., например, [2, Гл. IV, §3-4; Гл. V], [19], [20, Гл. I]. К началу 1920-х гг. лидерство французской, немецкой и итальянской математических школ сохранялось. Но сразу после Первой Мировой войны также стала заявлять о себе и американская математическая школа, усилившаяся за счёт притока европейских учёных. Одним из результатов данного усиления стал перехват инициативы в области метода неподвижной точки. Так, в 1922 г. профессора Гарвардского университета Дж. Биркгоф и О. Келлог опубликовали статью [21] с доказательством теоремы о существовании инвариантной функции v непрерывнных отображений вида Af = f, действующих в пространствах С, Сп и L2. Для непрерывных на отрезке функций она имела следующий вид [21, с. 103]
Теорема 2. Пусть Mf С С [а, Ь] представляет собой выпуклое множество функций, равномерно ограниченных и равностепенно непрерывных; А : f ^ f - однозначный непрерывный оператор, переводящий элементы Mf в элементы Мf. Тогда существует функция f0, инвариантная, относительно оператора А.
Идея доказательства заключалась в аппроксимации непрерывной функции f £ М кусочно-линейной функцией fn, принимающей заданные значения в п точках, образующих множество Мп. При любом непрерывном А преобразование Мп в себя имеет, по теореме Брауэра, неподвижную точку, ассоциированную с функцией f^: Af$ = f0- Используя соображения, связанные с компактностью М, переход к пределу по в и непрерывность А, Биркгоф и Келлог получают Afo = /о , где /о = lim ¡q.
Как для восстановления кусочно-линейной функции на [а, Ь] достаточно знать её значения (ординаты) в промежуточных точках этого отрезка, так и для восстановления квадратично-суммируемой функции достаточно иметь набор коэффициентов её разложения в ряд Фурье.
2На самом деле эту теорему сформулировал на 10 лет раньше и доказал для простых ситуаций П.Воль -см., например [17, с. 205].
Для f G M С L2[a, b] имеем
f = awi; la = ^ ai
где аг - коэффициенты Фурье разложения функции f по системе Тогда, если обозначить через Мп - конечномерное множество коэффициентов Фурье функции /п, то при её преобра-
зовании посредством оператора А существует неподвижная точка fa = ^i^i (,^-fal = fa)>
из которой, предельным переходом (в среднем квадратичном) Биркгоф и Келлог получают неподвижную точку для множества М.
Несмотря на то, что Биркгоф и Келлог были знакомы с теоремой о неподвижной точке Брауэра, их доказательство не опирается на неё. Биркгоф и Келлог доказывают свой вариант конечномерной теоремы о неподвижной точке для непрерывных преобразований выпуклых n-мерных областей, и используя этот вариант, выводят аналоги теоремы 2 в нормируемых пространствах, для которых, к тому моменту были известны критерии компактности (Сп) или слабой компактности (L2).
Как подчёркивают авторы [21, с. 105] "Важным моментом для настоящего метода является замкнутость и выпуклость множества Mfn. Из доказательства теоремы 2 и её аналогов также следует, что необходимым условием существования инвариантной функции является наличие базиса в выбранных функциональных пространствах, что обеспечивает возможность конечномерной аппроксимации функции f £ Mf.
В качестве применения метода неподвижной точки Биркгоф и Келлог указывают, в частности, на теоремы существования решения (в классе непрерывных на [а, Ь] функций) нелинейных интегральных уравнений вида
где F (s, у (t)) - функционал от y(t); Л eR; f(s) - заданная функция [21, с. 105].
4. Теорема Шаудера и её обобщения
Абстрактным аналогом уравнения (1) является, как известно, нелинейное операторное уравнение вида у = f + ХАу, где А - оператор. Для осознания этого факта (даже в линейной ситуации) потребовалось длительное время [19]. Однако результат превзошёл все ожидания -после защиты С. Банахом диссертации "Sur les opérations dans les ensembles abstraits et leur application aux équations intégrais" в 1920 г. [22] началось оформление понятийного аппарата и основных методов работы с линейными операторами в нормированных пространствах. Кроме того, усилиями С. Банаха и Г. Штейнгауза во Львове была создана щкола функционального анализа, приобретшая мировую известность [23, Гл. 15-16; Гл.18]. В рамках данной школы и был сделан следующий шаг в развитии метода неподвижной точки - обобщение теоремы Биркгофа-Келлога на произвольные (нормированные) функциональные пространства.
Уже через 3 года после выхода статьи Биркгофа и Келлога, львовский математик Ю. Шаудер представил в Mathematische Zeitschrift статью "Теория непрерывных отображений в функциональном пространстве", в которой были сформулированы достаточные условия для того, чтобы при преобразовании одного абстрактного функционального пространства в другое нашлась инвариантная функция. Статья была опубликована в 1927-м году; в ней был дан следующий принцип - теорема существования неподвижной точки [24, с.52]:
(1)
Теорема 3. Если в линейном полном, нормированном пространстве (с базисом) непрерывный оператор переводит замкнутое выпуклое тело в свою компактную часть, то существует неподвижная точка.
Эта теорема и её обобщения стали важнейшей основой установления существования решений нелинейных операторных уравнений. Можно с уверенностью сказать, что работа Шаудера [24] положила начало новому разделу математики - нелинейному функциональному анализу.
Одним из основным мотивом Шаудера явилась теория существования решений квазилинейных уравнений математической физики (гиперболических и эллиптических), таких, как, например, квазилинейное уравнение Пуассона
Az = f (x,y,z,z'x, z'y), (x,y) e fi, сводящихся к функциональным уравнениям вида
U [z(x,y)\ = z(x,y),
где U- интегральный оператор, содержащий нелинейности младших порядков [24, с.57-59].
Отметим, что проблематика неподвижных точек активно разрабатывалась в то время и в пределах Московской математической школы. Так, в 1926-м году в Институте математики и механики МГУ П.С. Александровым и В.В. Немыцким был сделан доклад, в котором было приведено доказательство теоремы о существовании неподвижной точки при непрерывном преобразовании выпуклого компактного множества гильбертова пространства в себя [25, с. 146147]. Однако, узнав о более общем результате Шаудера, Александров и Немыцкий отказались от идеи опубликования своей работы.
Все последующие годы Шаудер продолжает двигаться по пути углубления своих результатов. Тщательно изучив свойства операторов, удовлетворяющих теореме 3, в своей статье [26], он приходит к необходимости рассмотрения топологической основы их действия. Одним из первых вопросов, на который ему пришлось здесь ответить - это вопрос об условиях инвариантности области в банаховом пространстве. Во введении к работе, опубликованной на данную тему, Шаудер отмечает [27, с. 123] "Как известно, топологические теоремы об инвариантности n-мерных областей при однозначном, и, непрерывном отображении их в себя не могут перенесены, на, бесконечномерный случай, в неизменном виде. Действительно, даже линейные, однозначные и, непрерывные отображения гильбертова пространства в себя могут преобразовывать области в нигде не плотные множества. Таким, образом, чтобы иметь возможность сохранить неизменность области, мы должны, ограничиться более узким, классом, отображений."
Этим классом операторов, сохраняющих свойство полноты во множестве образов, оказался, как показал Шаудер, класс вполне непрерывных операторов. Шаудер определил их, следуя Ф. Риссу и Д. Гильберту, как операторы, переводящие слабо сходящиеся последовательности в сильно сходящиеся (такие операторы не обязаны быть линейными).
Главный результат работы [27] был сформулирован следующим образом:
Теорема 4. Если Е - слабокомпактноег банахово прост,ранет,во с базисом, G - область в этом пространстве, F=U-I, где U - произвольный вполне непрерывный, оператор в Е, I -тождественный оператор, то F(G) также является областью в Е.
К 1930 г. Шаудер добился полной аналогии с соответствующей теоремой Брауэра о неподвижной точке [28, с. 175]:
3То есть компактное в смысле сходимости следующего вида: х„ ^ х, если для любого линейного непрерывного функционала L в Е выполняется условие lim L(xn) = L(x).
Теорема 5. Если непрерывное отображение переводит, К в К, где К - компактное подмножество банахова пространства Е, то существует такая точка х0 € Е, для, которой Е (хо) = х0.
Понятно, что наиболее подходящими операторами, удовлетворяющими условиям последней теоремы, будут операторы вида Е = и — I, определённые в теореме 4, поскольку их применение оставляет область К инвариантной и сохраняет свойство её компактности, если таковое присутствовало.
Идеи Шаудера были сразу же восприняты его итальянским коллегой Р. Каччиополи. В 1932 году он дополнил результат Шаудера следующей теоремой существования и единственности [29, с.4], [30, с. 463]
Пусть Б - вполне непрерывное от,обра,жение банахова пространства Е в себя, такое, что оператор Т=1-Б локально обратим в каждой точке, причём Т(и) ^ те при ||и|| ^ те . Тогда 5 имеет в Е единственную неподвижную точку.
Каччиополи использовал эту теорему, в частности, для доказательства однозначной разрешимости уравнения Гаммерштейна вида:
в предположении о непрерывности всех функций, входящих в (2), а также симметричности и положительной определённости ядра К(х,у) и непрерывной дифференцируемости по и функции f (у,и), такой что /и(у,и) > 0 [29, с.5-7].
Применение общих теорем о неподвижной точке к решению конкретных классов уравнений было отдельной, непростой задачей, заслуживающей особого внимания и представляющей большую ценность для научного сообщества. Об этом, в частности, может свидетельствовать тот факт, что после выхода своих работ на эту тему, в 1931 г. Каччиополи получил министерскую Итальянскую стипендию [31, с. 194], а Шаудер, годом позже - стипендию фонда Рокфеллера [32, с.4].
Геометрические идеи Шаудера и Каччиополи нашли своё развитие в исследованиях Немыц-кого 1934-1936 гг. по качественной теории интегральных уравнений [33]-[34]. Для доказательства теорем существования и единственности уравнений вида (2) и более общих он использовал, помимо теоремы Шаудера, принцип сжатых отображений:
Если при преобразовании полного метрического пространства в свою часть расстояния между образами меньше, чем расстояния между прообразами, то существует и притом лишь одна неподвижная точка.
Этот принцип был сформулирован и доказан в 1922 г. С. Банахом [22, с.160] для нормированных пространств и перенесён на метрические пространства в 1930 г. Каччиополи [35].
Опираясь на указанные методы и авторский способ расщепления нелинейного интегрального оператора на две части: линейную интегральную и нелинейную (подынтегральную)4, Немыцкий доказывает следующую теорему:
Если К(х,у),/(у, и) - ограничены в Ь2(ЕР) по переменной у; f (у, и) удовлетворяет условию Липшица (Гёльдера) по переменной и, то в Ь2(1Р) существует единственное решение
(2)
уравнения
где Л - числовой параметр, С - ограниченная область в 1йп.
4
Подробности см., например, в [36, с.96]
Более общий результат, включающий в себя принцип сжатых отображений и теорему Ша-удера5, был получен воронежским математиком М.А. Красносельским в 1955 г. [37] для обоснования метода последовательных приближений при решении нелинейных операторных уравнений:
Пусть и С Е - замкнутое выпуклое множество; (А + В)(р е и щи ф € и , где А вполне непрерывный, а В - сжимающий оператор: \\Bipi — < я\\ф1 — 0<д<1. Тогда, оператор С=А+В имеет в II неподвижную точку.
5. Теорема Тихонова
Следующий нетривиальный шаг в развитии метода неподвижной точки состоял в отказе от требования полноты пространства. Это произошло в рамках развития топологических представлений о бесконечномерных пространствах6, которое привело к появлению понятия локально-выпуклого пространства,, введённого практически одновременно, в 1935 г., А.Н. Тихоновым [38] и Дж. фон Нейманом [39]. По определению Тихонова7, локально-выпуклые пространства - это топологические векторные пространства, в которых существует база окрестностей нуля, состоящих из выпуклых множеств [38, с. 768].
Отметим, что любое банахово (и вообще нормируемое) пространство локально выпукло. Обратное неверно. Более того, локально-выпуклое пространство нормируемо тогда и только тогда, когда оно содержит ограниченное открытое множество (теорема Колмогорова).
Характерным примером локально-выпуклых пространств являются пространства последовательностей Кёте8 открытые в 1934 г. [41]. Пространство К, состоит из последовательностей таких что полунорма, определяющая топологию К, имеет вид:
где {апр} - бесконечная матрица Кёте, элементы которой неотрицательны и не возрастают вдоль каждой строки:
Тихонов обобщил теорему Шаудера о неподвижной точке на непрерывные отображения в локально-выпуклых пространствах [38, с. 770]:
У каждого непрерывного отображения выпуклого компактного множества локально-выпуклого пространства в себя существует по крайней мере одна неподвижная точка (Теорема Шаудера-Тихонова).
Как отмечает А. Гранас [42, с.24], теорема Тихонова дала положительный ответ на вопрос из части 2 задачи № 54 о справедливости теоремы о неподвижной точке для непрерывных отображений компактных множеств линейных топологических пространств X в себя, при условии существовании произвольно малых выпуклых окрестностей в X (этот вопрос был сформулирован Шаудером в 1935 г. в так называемой "Шотландской 9 книге" [42, с.124]). Подчеркнём, что результат Тихонова был распространён на произвольные Хаусдорфовы топологические
5 Сейчас он известен, как теорема Красносельского о неподвижной точке.
6История данного вопроса хорошо описана Ж. Дьедонне в [2, Гл. VIII, §1-3].
Как отмечает Г. Кёте [40, с. 511], определение Тихонова более общее, чем фон Неймана, поскольку последний наложил дополнительное ограничение — каждая точка пространства должна являться пересечением счётного числа окрестностей.
8По-видимому, Тихонову пространства Кёте не были известны.
9Сборник нерешённых задач, записанных в Шотландском кафе г. Львова С. Банахом, его учениками и коллегами (в том числе советскими) в 1935 -1941 гг. [23, Гл.10].
(эо
0 ^ апр < ж; апр ^ ап(р+1 у, п,р = 1,2,...
векторные пространства только через 70 лет10, в 2005 г. французским математиком И. Сагйу
Одним из применений теоремы Шаудера-Тихонова, указанным Тихоновым в [38], было доказательство разрешимости задачи Коши для счётной системы квазилинейных дифференциальных уравнений:
Если функции fa непрерывны и ограничены для всех значений yß и всех |ж — Жо| < а, то система (3) имеет решение. Другое применение теоремы Тихонова-Шаудера было получено A.A. Марковым (мл.)11 в 1936 г. [44]:
Теорема 6. Пусть К - компактное выпуклое подмножество топологического векторного пространства Е; F - коммутирующее семейство непрерывных аффинных преобразований К в себя. Тогда F имеет общую неподвижную точку р е К, такую, что
Из теоремы о неподвижной точке Маркова можно вывести теорему Боголюбова-Крылова об инвариантной мере, на базе которой был обоснован метод усреднения (исторические подробности см., например, в [46]).
Как отмечает С. Парк [47, с. 195], теорема Маркова-Какутани была обобщена на более широкие классы отображений в 1961 г. [48].
6. Теорема Крейна-Шмульяна
В 1930-е гг. продолжала интенсивно развиваться теория банаховых пространств. Ряд утверждений этой теории появились, как бесконечномерные аналоги теорем п-мерной евклидовой геометрии. Например, теорема Минковского об отделимости выпуклого тела гиперплоскостью была обобщена С. Мазуром в 1933 г. на линейные нормированные пространства. Он доказал, что если некоторая точка хо не принадлежит замкнутому выпуклому множеству К линейного нормированного пространства Е, то существует гиперплоскость /(х) = с (/ € Е*), такая, что / (ж0) > си / (х) < с для любого х € К [49, с.72-73].
Развивая результаты Мазура о слабой замкнутости выпуклых замкнутых множеств [49, §2] и о компактности выпуклой оболочки компактных множеств в банаховых пространствах [50, с.7], М.Г. Крейн и В.Л. Шмульян доказали следующую теорему (1940), [51, с. 579]:
Теорема 7. Если Б - слабо компактное12 в Е множество, то его слабое замыкание13 слабо компактно и слабо зам,кнут,о, а выпуклая оболочка Б слабо ком,пакт,на (теорема Крейна-Шмульяна).
В основе её доказательства лежала теория регулярно выпуклых множеств, построенная авторами по примеру теории Банаха регулярно замкнутых линейных подпространств сопряжённого пространства Е* [52, гл. VIII]. Помимо модификации трансфинитных методов, использованных Банахом, Крейн и Шмульян задействовали ряд фактов классической проблемы моментов [51, с. 557].
10Об этом автору любезно сообщил профессор Львовского университета М. Заричный.
А также, независимо, в 1938 г. Ш. Какутани [45]. В связи с этим данную теорему называют теорема Маркова-Какутани.
12Слабо компактное множество 5 С Е обладает тем свойством, что из любой последовательности {хп} е 5 можно выбрать хотя бы одну подпоследовательность, которая слабо сходится в£к некоторой точке х0 е Е.
13 Слабое замыкание 51 - множество всех элементов 51 и их слабых пределов. Множество слабо замкнуто, если оно содержит все свои слабые пределы.
[43].
(3)
fp = Р Vf е F.
Центральное место в теории Крейна-Шмульяна занимали понятия регулярных гиперплоскостей и выпуклых тел в пространстве Е*. Они назвали гиперплоскость Н С Е* регулярной,
■■ 14
если ее уравнение можно задать в виде
f (хо) = с,
где f £ Е*, хо - некоторый элемент из Е, отвечающий гиперплоскости, а с - число. Множество К £ Е* было названо регулярно выпуклым, когда любой элемент д £ К можно отделить от К регулярной гиперплоскостью [53, с.615].
Теорема Крейна-Шмульяна позволила получить обобщения следующей теоремы Шаудера о неподвижной точке [28, с. 176-177, Satz III]:
Пусть Е - сепарабельное банахово простора,нет,во; S С Е - выпуклое, слабо компактное и слабо замкнутое множество. Если слабо непрерывный оператор F преобразует множество S в свою часть, то у него существует неподвижная точка хо (Fxq = жо) •
Эти обобщения были сформулированы в виде двух теорем для операторов, действующих в пространствах Е и Е* [51, с.581]:
Теорема 8. Пусть S С Е - выпуклое замкнутое множество. Если слабо непрерывный оператор F(x), определённый на S, преобразует его в сепарабельпую и слабо компактную часть S, то у него существует неподвижная точка хо (Fxq = хо)•
Теорема 9. Пусть К С Е* - выпуклое, сепарабельное и слабо замкнутое множество. Если слабо непрерывный оператор F(f) преобразует К в свою слабо компактную часть G С Е*, то у него существует неподвижная точка /о (Ffо = /о).
Отметим, что теоремы 8 и 9 не получили широкого распространения и не оказали существенного влияния на развитие функционального анализа. А вот лежащая в их основе теорема 7, напротив, стала классической. В настоящее время она включена в учебники по теории банаховых пространств (см., например [54, Гл.З] ) и нелинейного анализа (см., например [55, Гл.3]).
7. Степень отображения Лере-Шаудера
Вслед за обобщением теоремы Брауэра о неподвижной точке на бесконечномерный случай естественно было ожидать аналогичных результатов и для степени отображения deg f. И они не заставили себя долго ждать - уже в 1934 г. плодотворное сотрудничество Ю. Шаудера и Ж. Лере вылилось в "открытие" степени отображения Deg Ф, где Ф действует в банаховом пространстве Е [56]. Аналогом непрерывной функции /, фигурирующей в определении Брауэра, стало "вполне непрерывное возмущение тождественного оператора" : Ф = F — I. Основных причин здесь две
1. только полная непрерывность оператора F гарантирует инвариантность области G при
Ф
2. вполне непрерывный оператор хорошо аппроксимируется конечномерным15.
Изложим эвристические соображения, раскрывающие мотивацию Лере и Шаудера для введения Deg Ф. Уравнение
F (х) = х (4)
14 Обычная гиперплоскость задаётся уравнением X0(f) = с, где Хо G Е**.
15Это стало понятным уже в процессе определения "новой" степени отображения.
где х принадлежит банахову пространству Е, заменяется на более общее уравнение
^ (к,х) = х, (5)
где к - параметр, а зависимость от него непрерывна. Предполагается, что при к = ко уравнение (5) разрешимо и имеет вид
^о (х) = X. (6)
Переход от уравнения (4) к уравнению (6) может быть выполнен путём непрерывного преобразования оператора Предположим, что существует топологический инвариант, характеризующий наличие решений у всего семейства (5). Тогда разрешимость уравнения (6) влечёт за собой существование решения уравнения (4). Таким инвариантом, как показали Лере и Ша-удер, является степень отображения х ^ у = х — Е(х) в точке у=0, определённая для вполне непрерывного оператора16
Для реализации указанной идеи Лере и Шаудер использовали локализованную степень отображения йед(Р, С, М). Процесс был осуществлён в два этапа:
1. Приближение вполне непрерывного оператора Е конечномерным оператором Еп (проектор Шаудера) со значениями в подпространстве Еп.
2. Определение степени отображения Ред Ф для Ф = I — Е в точке г € и, и С Е через конечномерную локализованную степень отображения Брауэра оператора Фп (сужения Ф на Еп) по формуле
Ред(Ф, и, г) ^[Ф^ ,и П Еп, г], (7)
где Ф|еп = 1п — Е,п-
Корректность определения Ред(Ф, и, г) по формуле (7) следовала из независимости этой степени от выбора конечномерного подпространства Еп и аппроксимирующего Е конечномерного оператора Еп, продемонстрированной Лере и Шаудером в [57, с.77]. Новая степень отображения Иед(Ф, и, г) унаследовала все свойства конечномерной степени, в том числе принцип неподвижной точки, заключённый в теореме 1:
Теорема 10. Пусть Е : и ^ и - вполне непрерывный оператор, такой, что оператор Ф = I—Е не имеет нулей на ди. Тогда, если Иед(Ф, и, 0) = 0; то существует такой элемент х0 € и, что Ех0 = х0 (принцип неподвижной точки Лере-Шаудера).
Прямым следствием явились теоремы существования решений семейства квазилинейных
Л
Л = Ло
В 1938 г. немецкий математик Э. Роте постарался придать геометрический смысл степени отображения Лере-Шаудера. Он счёл удобным переформулировать данное понятие в терминах так называемого порядка, Г векторного поля Фх = х + Рх: заданного на сфере банахова пространства Е [58, с. 183]:
Г(Ф,Б™,г) (Фп,вп,г), (8)
где Еп - конечномерное подпространство Е, содержащее точку Бп - сфера пространства Еп: Бп = П Еп; Фп = Ф|е„; Е - вполне непрерывный оператор.
Роте показал, что левая часть в формуле (8) равна Ред (Ф, В^, х), где В^ - шар пространства Е с границей 5
Пояснении специфику способа определения степени отображения по этой формуле:
Здесь это оператор, который переводит ограниченные множества в компактные.
1. Роте рассматривал в качестве области определения Ф только шары В^ банахова про-
2. подпространством, на которое проектируется Ф может быть только конечномерная поверхность, топологически эквивалентная обычной сфере;
3. если Е - гильбертово пространство, то топологический порядок Роте Г равен вращению конечномерного векторного поля Фп на сфере Б™.
8. Результаты Красносельского
Геометрический подход Э. Роте был продолжен в начале 1950-х гг. в работах М.А. Красносельского17. Красносельский также связал степень отображения Ф = I — Е области и С Е с вращением соответствующего векторного поля Ф на её границе ди [60, с. 125-127]
где 7(Ф,ди) = 7(Фп, ^(ив)); Фп, как обычно - проектор Шаудера;
и в - покрытие и конечной системой шаров {В?°} пространства Е, содержащих все нулевые Ф
Отличие от определения Роте состояло в следующем:
• и - произвольная область (связная и ограниченная);
• степень отображения по Красносельскому - нелокальная19 (не привязана к какой-либо
Опираясь на определение (9), Красносельский показал, что
Ф
О банахова пространства Е достаточно, чтобы вращение этого поля на границе О было отлично от нуля (принцип неподвижной точки Красносельского).
В связи с этим большой интерес представляют признаки отличия от нуля вращения по-Ф
Ф
гомотопное ему поле Ф , для которого несложно вычислить вращение [61, с.83-84].
Характерным примером применения принципа неподвижной точки Красносельского может служить теорема о разрешимости уравнения Гаммерштейна вида
странства;
Оед(Ф,и) = 7 (Ф,ди),
(9)
точке).
доказанная при следующих условиях [60, Гл. VI,§1]
1. Оператор В расщепляем: В(р = Н*¡Н(р\
2. Оператор Немыцкого / действует из Ь2 в Ь2:
мации их друг в друга [61, с.84].
3. На функцию / наложены следующие ограничения: и/(х, и) < аи2 + Ь(х)^2-1 + с(х),
2
где 0 < 2, Ъ(х) € Е 7, с(х) € Е\ х € Б С Ып, а число а удовлетворяет неравенству а <
где Ао - наибольшее положительное собственное число ядра К(х,у).
Оказалось, что можно указать такое р = р(а, Ь, с, 7), что уравнение (10) имеет решение в шаре С Е2 [60, с.316].
Подход Красносельского к исследованию разрешимости нелинейных уравнений не ограничивался принципом Лере-Шаудера и его аналогами. Он старался использовать и другие методы и инструменты, даже относящиеся к конечномерному случаю, самостоятельно распространяя их на пространства бесконечной размерности. Одним из таких инструментов была теорема, Борсука-Улама об антиподальном отображении (1933) [62]. В упрощённом варианте (см., например, [63, с.21]) она выглядит так:
Пусть отображение f : Б"" ^ Кп - непрерывно и нечётно. Тогда существует точка хо € Зп, в которой f (хо) = 0.
Обобщив теорему Борсука-Улама на вполне непрерывные векторные поля в бесконечномерных пространствах, Красносельский получил новый принцип неподвижной точки - аналог теоремы об антиподальном, отображении [64, с. 13]:
Теорема 11. Пусть А - вполне непрерывный оператор, заданный на, зам,кнут,ом, шаре В банахова пространства Е, границу которого обозначим через 5. Если для каждой, точки ф сферы 5 векторы Аф — и А(—+ (р направлены неодинаково, тогда вращение поля Ф— I — А нечётно и в шаре В найдётся точка ф, такая, что А(р = (р.
Одним из применений теоремы (11) явилось доказательство разрешимости уравнения, содержащего оператор типа Лихтенштейна:
Ти(в) = •• К2п+1 (8-, вг, ..., 82п+г) и(81)...и(82п+1)с1>81...(182п+1. (П)
п=оЪ о
В работе [64] Красносельский показал, что при некоторых естественных условиях, налагемых на ядра К2п+г (в; вг,..., 82п+г), уравнение
и = ХТи + Ей,
где Е - вполне непрерывный оператор; ||^и|| ^ 1 для всех и, имеет в Е2 хотя бы одно решение с нормой, меньшей 1, если А не является собственным значением оператора (11).
Степень отображения Лере-Шаудера оказалась весьма удачным21 "изобретением". С её помощью удалось получить ряд интересных результатов качественного характера. В частности, в цитированной работе [56] Лере и Шаудер доказали теорему о существовании изолированной особой точки хо вполне непрерывного оператора Ф = I — Е при условии, что Ахо = Хо, где А - производная Фреше оператора Б. На основе этой теоремы Красносельский вывел теорему существования и единственности22 неподвижной точки гладкого векторного поля вида Ф£ = Ф — , где - непрерывно дифференцируемый в окрестности хо вполне непрерывный оператор; 0 < е < ео [60, с. 170-171]. Данная теорема позволила получить однозначную
21С начала 1950-х гг. это понятие было распространено на локально выпуклые пространства усилиями Ж. Лере, М. Нагумо и др.; подробности см. в [5, с.65].
22Теоремы единственности с помощью принципа Лере-Шаудера первым стал доказывать Роте - см., [60, с. 129].
разрешимость уравнения Гаммерштейна в классе непрерывных функций при некоторых ограничениях.
При помощи теории Лере-Шаудера были получены нелокальные (относительно Л) теоремы существования решений операторных уравнений вида
Аи = Хи. (12)
Они были перенесены на некоторые классы нелинейных дифференциальных и интегральных уравнений в 1930-1940-х гг. самим Лере и некоторыми другими математиками (подробности см. в [65]). В этих теоремах использовались поля I — \А, гомотопные линейным полям вида I—\В, где Л - произвольное число, не принадлежащее спектру линейного вполне непрерывного оператора23 В [60, с.162].
В развитие данных идей Красносельский доказал теорему существования решений уравнений, близких к нечётным, но не близких к линейным. Пусть А - линейный оператор, В - вполне непрерывен и нечётен, тогда поле Ф= I — А — В является, в силу теоремы 11, нечётным, но не является линейным. При малых е вполне непрерывное векторное поле Ф£ = Ф + еО, где
Ф
пространства Е нечётно. Эти рассуждения привели Красносельского к доказательству следующей теоремы [17, с. 164] Если в уравнении
и = Аи + Ви + Си, (13)
А - линейный оператор, В - нечётный вполне непрерывный оператор, С - вполне непрерывный оператор с малой норм,ой, то оно имеет хотя бы одно решение.
Примером уравнения (13) может служить уравнение с нечётным интегростепенным рядом А.М. Ляпунова, возникающее в теории равновесия вращающейся жидкости [66, с.89].
9. Новый взгляд на метод неподвижной точки в контексте теории степени отображения
Топологический подход к вопросу о существовании решений уравнения вида
^ (х) = 0, (14)
или /(х) = х, проявившийся во всей полноте в работах Брауэра, давал возможность делать заключение о разрешимости целого семейства уравнений Р\(х) = 0, эквивалентных (14) в том смысле, что Р\ путём непрывной деформации24 переходит в
Причиной послужило применение степени отображения, определённой с точностью до го-мотопии. Тот же подход, как уже отмечалось, оставался справедливым и для бесконечномерной ситуации при исследовании нелинейных операторных уравнений вида (12), где А -вполне непрерывный оператор, действующий в банаховом пространстве Е. При этом, как показал Красносельский, при работе с уравнением (12) более удобным инструментом является вращение векторного поля Ф= I — \А.
Оказалось, что геометрическая интерпретация Иед Ф позволяет не только отвечать на вопрос о разрешимости (12), но и решать большое число задач, качественного характера, как-то [60, Гл. III, §3; Гл. IV]:
• обоснование сходимости приближённых решений уравнений вида (12);
23В роли оператора В первоначально выступала производная Фреше оператора А [57, с.79].
24 В этом случае функции Р и называются гомотопными.
• исследование структуры и свойств спектра оператора А;
• исследование множества собственных векторов нелинейных операторов;
• получение условий законности линеаризации в задаче о точках бифуркации;
• изучение свойств точек бифуркации А.
Постараемся кратко охарактеризовать упомянутые достижения Красносельского.
В послевоенные годы Красносельский работал в Институте математики25 АН УССР [67] -одном из ведущих центров Советского Союза в области нелинейной механики. Неудивительно, что в круг его научных интересов входили вопросы аппроксимации решений нелинейных уравнений. Привлекая топологические соображения, он исследовал приближённые изолированные решения уравнения
р = Ар, р € В С Е, (15)
определяя их, как решения уравнения
р = РпАр,
где Рп - линейный проекционный оператор, такой, что РпЕ = Еп, а Еп - конечномерное подпространство Е [60, с. 173].
Опираясь на факт совпадения вращения полей I — РпА и I — А на сфере 5 С Е, внутри которой нет других решений (15), кроме ро, Красносельский доказывает существование приближённых решений этого уравнения.
Если оператор А имеет в точке ро производную Фреше В, для которой Вро = Ро, то можно оценить скорость сходимости приближённых решений к точному по формуле
||^п — ^оЦ < (1 + £п)ЦРпРо — РоЦ,
где еп ^ 0 при п ^ те (подробности см. в [60, с. 176-177]).
Некоторые задачи нелинейной механики (в частности, задача о потере устойчивости стержня переменной жёсткости при вынужденном изгибе26 [69, с. 204 ]) приводят к необходимости изучения собственных функций оператора А, как вторых решений этого уравнения, существующих при некоторых выделенных значениях параметра Л. Применение принципа неподвижной точки Красносельского в этой ситуации почти моментально даёт результат [60, Гл.IV, §1]:
Теорема 12. Пусть и С Е; область и ограничена и содержит нуль банахова пространства 0. При этом, если вращение 7(I — А,ди) отлично от 1, то оператор А имеет на, ди по крайней мере одну собственную функцию, соответствующую положительному собственному значению.
0
теореме 12, вытекает из условия 7(I — А, ди) = 0.
Кроме того, используя понятие индекса, неподвижной точки27, введённого Лере и Шауде-ром в работе [57, с. 48] и свойства гомотопных вполне непрерывных векторных полей, Красносельский доказал теорему о структуре спектра и множестве собственных функций оператора А [60, с.190]:
'В этом же институте в 1939-1941 гг. работали С. Ванах, С.Мазур и Ю. Шаудер [68, с.12].
26Изгпб стержня описывается дифференциальным уравнением, сводящимся к нелинейному операторному уравнению вида (12).
27Ипдекс неподвижной точки € и С Е вполне непрерывного векторного поля ф равен вращению этого поля па малой сфере Я£ С и, окружающей точку <^0 и такой, что ограничиваемый Я£ шар не содержит других
ф
Теорема 13. Пусть - изолированная собственная функция ненулевого индекса,28 вполне непрерывного оператора А, отвечающая собственному числу Ао = 0.
Тогда можно указать такую область и С Е, в которой собственные функции оператора А образуют непрерывную ветвь29, проходящую через
Спектр оператора А в этом случае сплошной.
Предполагая гладкость оператора А, можно сформулировать условия, при которых каждому собственному значению из некоторого интервала будет соответствовать единственная, собственная функция [60, с.192].
Если продолжать исследовать уравнение (12), имея в виду аналогию с вышуказанной моделью изгиба стержня, то естественно прийти к вопросу о возможности линеаризации этого уравнения с сохраненем качественных свойств данной модели. Одним из таких свойств является наличие так называемых точек бифуркации, то есть таких критических значений Ао, при переходе через которые возникают собственные функции с малой нормой30[69, с.205]. В задачах, где ищутся формы потери устойчивости, точки бифуркации определяют критические нагрузки, при которых появляются ненулевые прогибы стержня.
В механике при отыскании точек бифуркации вместо оператора А обычно рассматривают его производную Фреше в нуле - линейный оператор В. После этого находят характеристические числа оператора В, которые и считают точками бифуркации оператора А. Отвечая на вопрос о допустимости такой линеаризации, поставленный А.Ю. Ишлинским и М.Г. Крейном, используя упомянутые выше топологические методы, Красносельский доказывает следующую теорему [60, с. 199]:
Теорема 14. Пусть А - вполне непрерывный, оператор, имеющий в точке в дифференциал Фреше В и удовлетворяющий условию А в = в.
Тогда каждое характеристическое число ц,о нечётной кратности линейного оператора В является точкой бифуркации оператора А, причём этой точке бифуркации соответствует непрерывная ветвь собственных функций оператора А.
Рассматривая различные условия на характеристические числа оператора В, Красносельский уточняет структуру спектра А и множества его собственных функций [60, с.201-202].
Продолжая исследования свойств точек бифуркации оператора А, Красносельский доказывает утверждение, аналогичное теореме 14 для асимптотической производной31 данного оператора, а также даёт пример его применения к оператору Гаммерштейна [70].
Не имея возможности проанализировать здесь все результаты Красносельского в обсуждаемой области32, отметим, что именно с подачи Марка Александровича метод неподвижной точки стал одним из "первых принципов" в нелинейном функциональном анализе и занял достойное место в математике и её приложениях [72, с.225].
28Индексом собственной функции ip0 вполне непрерывного оператора А, отвечающая собственному числу Ао = 0 Красносельский назвал индекс неподвижной точки векторного поля I — А.
29Собственные функции образуют в области U С Е непрерывную ветвь, проходящую через точку ip0, если граница каждого ограниченного открытого множества, содержащего ^р0 и содержащегося в U, имеет непустое пересечение с множеством собственных функций.
30Уравнение Aip = \ip (AG = ©), при малых А обычно не имеет ненулевых малых решений. Наличие точки бифуркации говорит о том, что от известной неподвижной точки ответвляются другие решения уравнения (12).
31 Линейный оператор В называется асимптотической производной оператора А, если А близок к В на элементах большой нормы [60, с. 209]:
lim № — ^И =0
32 Больше подробностей можно найти в [71, и. 2].
10. Заключение
Зародившись в работах Брауэра как топологический, метод неподвижной точки приобрёл, при переходе в бесконечномерное пространство, функционально-аналитический "оттенок". Побудительным мотивом первых исследований (Биркгоф и Келлог, 1922 г.) стало доказательство разрешимости нелинейных операторных уравнений в нормированных пространствах (чаще всего в качестве модельного выступало уравнение Гаммерштейна). После опубликования Шаудером теоремы о неподвижной точке для абстрактных операторов в банаховом пространстве (1930), стали проступать черты нового метода доказательства разрешимости уравнений вида Аи = 0 [3, с.259]:
1. преобразование исходного уравнения к виду Fu = щ
2. выбор банахова пространства Е, в котором действует и вполне непрерывен оператор F\
3. выделение компактного множества К С Е, которое переводит в себя оператор F\
4. применение теоремы Шаудера.
Таким образом, дальнейшее развитие метода неподвижной точки должно приводить к
получению новых результатов в теории вполне непрерывных операторов и теории компактно-
чч
ст и
Теорема Шаудера о неподвижной точке подогрела интерес к данной теме математиков всего мира, о чём свидетельствует, в частности, количество доказанных за 9 лет (1932-1940) её аналогов34 - т. Каччиополи, т. Борсука-Улама, т. Тихонова, т. Маркова, т. Какутани, т. Крейна-Шмульяна.
Переломным пунктом в развитии метода неподвижной точки можно считать выход статьи Лере и Шаудера (1934) с определением степени отображения для операторов - аналога брауэровской степени отображения для функций. Это определение было "геометризовано" в начале 1950-х гг. Красносельским, и в короткий период (буквально в течение 5 лет) преобразовано им в одно из главных орудий качественного анализа нелинейных операторных уравнений. Более того, можно утверждать, что усилиями Красносельского и его учеников во второй половине 1950-х гг. советские математики вышли на лидирующие позиции в области метода неподвижной точки. Вместе с тем, значимые результаты в указанной области в 1920-1940 гг. (помимо советских) были получены представителями различных математических школ - американской, польской, итальянской, немецкой, французской, японской. Из этого следует вывод о том, что процесс развития функционального анализа (и всей математики) носит международный, наднациональный характер.
Что же касается применения метода неподвижной точки в других областях, то, помимо отмеченного выше качественного анализа моделей нелинейной механики, можно выделить также вычислительную математику35 (см., например, [75, Гл. III, §21]), в частности, получение оценок сходимости приближённых решений и их погрешностей.
Автор выражает признательность проф. P.P. Мухину (СТИ НИТУ Ml К'ПС. г. Старый Оскол) за постановку задачи и полезные советы; участникам секции "История математики" XV международной конференции "АЛГЕБРА,ТЕОРИЯ ЧИСЕЛ И ДИСКРЕТНАЯ ГЕОМЕТРИЯ: СОВРЕМЕННЫЕ ПРОБЛЕМЫ И ПРИЛОЖЕНИЯ" за внимание к работе и её обсуждение, а также В.П. Богатовой за перевод первоисточников с немецкого языка.
33Более подробный анализ последствий развития метода неподвижной точки см., например, в [73, п. 5]
34 Здесь мы не учитываем топологические теоремы о неподвижной точке, полученные в рамках теории ККМ - см. об этом в [74].
35При введении в строке поисковой системы, например, Google, словосочетания fixed, point method в ответах появляются итерационные либо численные методы, опирающиеся на метод неподвижной точки.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Богатов Е. М. Из истории метода неподвижной точки / В сб. Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения. Материалы XV международной конференции, посвящённой столетию со дня рождения профессора Николая Михайловича Коробова (28-31 мая 2018). — Тула, ТГПУ им Л. И. Толстого, 2018. С. 317-320.
2. Dieudonne J. History of functional analysis. Amsterdam: North-Holland publishing company, 1981.316 р.
3. Dieudonne J. A history of algebraic and differential topology 1900-1960. Boston: Modern Birkhauser, 1989. xxi+ 648 p.
4. Brown R.F. Fixed point theory / History of topology. (Ed. I.M. James). Amsterdam: North-Holland publishing company, 1999. pp. 271-299.
5. Park S. Eighty years of the Brouwer fixed point theorem // Antipodal Points and Fixed Points (by J. Jaworowski, W.A. Kirk, and S. Park), Lect. Notes Ser, 1995. Vol. 28. pp. 55-97.
6. Mawhin J. Lerav-Schauder Degree: A half century of extension and applications // Topological Methods in Nonlinear Analysis. 1999. Vol. 14. pp. 195-228.
7. Granas A., Dugundji J. Fixed point theory. New York: Springer, Monographs in Mathematics, 2003. - 690 p.
8. Asati A., Singh A., Parihar C. L. 127 Years of fixed point theory - "A Brief Survey of development of fixed point theory"// International Journal Publications of Problems and Applications in Engineering Research. 2013. Vol 4, №. 1. pp. 34-39.
9. Kumar S. A short survey of the development of fixed point heorv // Surveys in Mathematics and its Applications. 2013. Vol. 8. pp. 91-101.
10. Badshah V. H., Tiwari V. H., Aheere Dheeraj. A short note on some spaces and fixed point theory // Journal of scientific research in physical k, mathematical sciences. 2014. Vol. 1, Issue 1. pp. 1-7.
11. Богатов E. M. Об истории метода неподвижной точки и вкладе отечественных математиков / В сб. Годичная научная конференция, посвящённая 85-летию ИИЕТ РАН (2017). М.: Янус-К, 2017. С. 121-125.
12. Богатов Е. М. О развитии качественных методов решения нелинейных уравнений и некоторых последствиях // Известия ВУЗов. Прикладная нелинейная динамика. 2018. Т. 26, № 6. в печати.
13. Александров П. С. Пуанкаре и топология // Успехи математических наук. 1972. Т. 27, Ж 1 (163). С. 147-158.*
14. Brouwer L. Е. J. Beweis der Invarianz der Dimensionenzahl // Mathematische Annalen. 1911. Vol. 70. pp. 161-165.
15. Brouwer L. E. J. Uber Abbildung von Mannigfaltigkeiten // Mathematische Annalen. 1912. Vol. 71. pp. 97-115.
16. Босс В. Лекции по математике Том 13. Топология. Изд. 3-е, испр. М.: ЛЕНАНД. 2014. 216 с.
17. Боль, Пирс. Собрание трудов / П. Боль ; Пер. с нем. U.M. Рабиновича; Под ред. Л.Э. Рейзиня; Вступит, статья и коммент. Л.Э. Рейзиня и И.А. Хенинь. Рига : Зинатне, 1974. - 517 с.
18. Hopf H. Abbildungklassen n-dimensionalen Mannigfaltigkeiten // Mathematische Annalen. 1927. Vol. 96, Iss.l pp. 209-224.
19. Bernkopf M. The development of function spaces with particular reference to their origins in integral equation theory // Archive for History of Exact Sciences. 1966. Vol. 3, pp. 1-96.
20. Pietsch A. History of Banach spaces and linear operators. Boston: Birkhäuser Basel. 2007. 855 p.
21. Birkhoff G. D., Kellogg O. D. Invariant points in function space // Transactions of the American Mathematical Society. 1922. Vol. 23, pp. 95-115.
22. Banach S. Sur les opérations dans les ensembles abstraits et leur application aux équations integrals // Fundamenta Mathematicae. 1922. Vol. 3, pp. 133-181.
23. Duda R. Pearls from a Lost City: The Lvov School of Mathematics. Translated by Daniel Davies. Providence, R.I.: American Mathematical Society, 2014. pp. xi + 231.
24. Schauder J. Zur Theorie stetiger Abbildungen in Funktionalräumen // Mathematische Zeitschrift. 1927. Vol. 26, Issue 1. pp. 47-65.
25. Математика: Наука в СССР за пятнадцать лет (1917-1932). М.-Л.: Государственное издательство технико-теоретической литературы, 1932. 239 с.
26. Schauder J. Bemerkungen zu meiner Arbeit "Zur Theorie stetiger Abbildungen in Funk-tionalrümen"// Mathematische Zeitschrift. 1927. Vol. 26, Issue 1. pp. 417-431.
27. Schauder J. Invarianz des Gebietes in Funktionalräumen // Studia Mathematica. 1929. Vol. 1.1, pp. 123-139.
28. Schauder J. Der Fixpunktsatz in Funktionalräumen // Studia Mathematica. 1930. Vol. 2, pp. 171-180.
29. Caccioppoli R. Sugli elementi uniti delle trasformazioni funzionali: un teorema di esistenza e di unicitä ed alcune sue applicazioni // Rendiconti del Seminario Matematico della Universitä di Padova. 1932. Vol. 3. p. 1-15.
30. Mawhin J. Boundary value problems for nonlinear ordinary differential equations: from successive approximations to topology / Development of Mathematics 1900-1950. Luxembourg, 1992. pp. 443-477.
31. Sbordone, C. Renato Caccioppoli, nel centenario della nascita // Bollettino dell' Unione Matematica Itadiana. A. 2004. Vol. 2. p. 193-214.
32. Ingarden, R. S. Juliusz Schauder - personal reminiscences // Topological Methods in Nonlinear Analysis. 1993. Vol. 2, Iss. 1. pp. 1-14.
33. Немыцкий, В. В. Теоремы существования и единственности для нелинейных интегральных уравнений // Математический сборник. 1934. Т.41, Вып.З. С. 421-452.
34. Немыцкий В. В. Метод неподвижных точек в анализе // Успехи математических наук. 1936.№ 1. С. 141-174.
35. Caccioppoli R. Un teorema generale sull'esistenza di elementi uniti in una trasformazione funzionale // Rendiconti. Accademia Nazionale dei Lincei. 1930. Vol. 11, pp. 794-799.
36. Богатов E. M. Об истории развития нелинейных интегральных уравнений в СССР. Сильные нелинейности // Научные ведомости Белгородского государственного университета. Серия Математика. Физика. 2017. № 6, Вып. 46. С. 93-106.
37. Красносельский М. А. Два замечания о методе последовательных приближений // Успехи математических наук. 1955. Т. 10, Вып. 1 (63). С. 123-127.
38. Tychonoff A. Ein Fixpunktsatz // Mathematische Annalen. 1935. Vol. 111. pp. 767-776.
39. von Neumann J. On complete topological spaces // Transactions of the American Mathematical Society. 1935. Vol. 37, Iss. 1. pp. 1-20.
40. Köthe G. Stanislaw Mazur's contributions to functional analysis // Mathematische Annalen. 1987. Vol. 277. pp. 489-528.
41. Köthe G., Toeplitz О. Lineare Räume mit unendlich vielen Koordinaten und Ringe unendlicher Matrizen // Journal für die reine und angewandte Mathematik. 1934. Vol. 171. pp.193-226.
42. The Scottish Book: Mathematics from the Scottish Cafe. R. Daniel Mauldin Ed. Boston: Birkhäuser, 1981. 280 p.
43. Cautv R. Rétractes absolus de voisinage algébriques // Serdica Mathematical Journal. 2005 . Vol. 31, Iss. 4. pp. 309-354.
44. Марков А. А. Некоторые теоремы об абелевых множествах // Доклады Академии Наук СССР. 1936. T.I (X), № 8. С. 299-302.
45. Kakutani S. Two fixed-point theorems concerning bicompact convex sets // Proceedings of the Imperial Academy. 1938. Vol. 14, Iss. 7. pp. 242-245.
46. Богатов E.M., Мухин P.P. Метод усреднения, маятник с вибрирующим подвесом: H.H. Боголюбов, Э. Стефенсон, П.Л. Капица и другие // Известия вузов. Прикладная нелинейная динамика. 2017. Т. 25, № 5. С. 69-87.
47. Park S. Ninety years of the Brouwer fixed point theorem // Vietnam Journal of Mathematics. 1999. Vol. 27, Iss. 3. pp. 187-222.
48. Day M. M. Fixed-point theorems for compact convex sets // Illinois Journal of Mathematics. 1961. Vol. 5, Iss. 4. pp. 585-590.
49. Mazur S. Uber konvexe Mengen in linearen normierten Räumen // Studia Mathematica. 1933. Vol. 4. pp. 70-84.
50. Mazur S. Uber die kleinste konvexe Menge, die eine gegebene kompakte Menge enthält // Studia Mathematica. 1930. Vol. 2.1. pp. 7-9.
51. Krein M. G. and Smulian V. L. On regularly convex sets in the space conjugate to a Banach space // Annals of Mathematics. 1940. Vol. 41. pp. 556-583.
52. Banach S. Théorie des operations linéaires. Monografje Matematvczne, Vol. I. Warszawa. 1932. 231 p.
53. Крейн М.Г., Люстерник Л.А. Функциональный анализ. В сб. Математика в СССР за 30 лет (1917-1947). М.-Л.: Государственное издательство технической литературы. 1948. С. 608-673.
54. Morrison Т. J. Functional analysis. An introduction to Banach space theory. New York: John Wiley and Sons. 2001. 376 p.
55. Denkowski Z., Migórski S., Papageorgiou N. S. An introduction to nonlinear analysis: theory. Boston: Kluwer Academic/Plenum Publishers. 2003. 683 p.
56. Lerav J., Schauder J. Topologie et équations fonctionnelles // Annales scientifiques de l'Ecole normale supérieure. 1934. Vol. 61. pp. 45-73.
57. Лерэй Ж., Шаудер Ю. Топология и функциональные уравнения (Применение некоторых топологических методов к исследованию дифференциальных уравнений с частными производными). Успехи математических наук. 1946. Том 1, Вып. 3-4 (13-14). С. 71-95.
58. Rothe Е. Zur Theorie der topologischen Ordnung und der Vektorfelder in Banachschen Räumen // Compositio Mathematica. 1938. Vol. 5. pp. 177-197.
59. Красносельский M.A. Об одном топологическом методе в задаче о собственных функциях нелинейных операторов // Доклады Академии Наук СССР. 1950. Том 74, Вып. 1. С. 5-8.
60. Красносельский М.А. Топологические методы в теории интегральных уравнений. М.: Государственное издательство технической литературы. 1956. 392 с.
61. Красносельский М.А. Некоторые задачи нелинейного анализа // Успехи математических наук. 1954. Том 9, Вып.З (61). С. 57-114.
62. Borsuk К. Drei Sätze Uber die n-dimensionale euklidische Sphäre // Fundamenta Mathematical 1933. Vol. 20.1. pp. 177-190.
63. Matousek J. Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry. Berlin: Springer Science к Business Media. 2008. 214 p.
64. Красносельский М.А. Об одном принципе неподвижной точки для вполне непрерывных операторов в функциональных пространствах // Доклады Академии Наук СССР. 1950. Том 73, Вып. 1. С. 13-15.
65. Mawhin J. Jean Lerav and nonlinear integral equations: a partially forgotten legacy // Journal of Fixed Point Theory and Applications. 2007 Vol.1, Iss. 2. pp. 159-187.
66. Богатов E.M., Мухин P.P. Из истории нелинейных интегральных уравнений // Изв. вузов. Прикладная нелинейная динамика. 2016. Т. 24, Вып. 2. С. 77-114.
67. Памяти М.А. Красносельского URL: http://www.aha.ru/ amkr/obitrus.html (дата обращения 10.06.18)
68. Институт математики АН УССР. Сост. Митропольский Ю. А.,. Строк В. В.; Отв ред. Митропольский Ю. А. Киев: Наукова думка. 1988. 176 с.
69. Красносельский М. А. Рассмотрение спектра нелинейного оператора в окрестности точки бифуркации и применения к задаче о продольном изгибе сжатого стержня // Успехи математических наук. 1957. Том 12, Вып.1 (73). С. 203-208.
70. Красносельский М.А. Собственные функции нелинейных операторов, асимптотически близких к линейным // Доклады Академии Наук СССР. 1950. Т. 74, Вып. 2. С. 177-179.
71. Mawhin J. Mark A. Krasnosel'skii and nonlinear analysis: a fruitful love story. В сб. Марк Александрович Красносельский. К 80-летию со дня рождения. М.: Институт проблем передачи информации им. А.А. Харкевича РАН. 2000. С. 80-97.
72. Боголюбов Н. И. и др. Красносельский Марк Александрович (к семидесятилетию со дня рождения) // Успехи математических наук. 1990. Т. 45, Вып. 2 (272). С. 225-227.
73. Bogatov Е . М. Key moments of the mutual influence of the Polish and Soviet schools of nonlinear functional analysis in the 1920's-1950's // Antiquitates Mathematicae. 2017. Vol.11, Iss. 1. pp. 131-156.
74. Park S., Tan D. H. Remarks on the Schauder-Tvchonoff fixed point theorem // Vietnam Journal of Mathematics. 2000. Vol. 28. Iss. 2. pp. 127-132.
75. Коллатц Л. Функциональный анализ и вычислительная математика. Пер. с нем. М.: Мир. 1969. 448 с.
REFERENCES
1. Dieudonné, J. 1981, "History of functional analysis", North-Holland publishing company, Amsterdam.
2. Dieudonné, J. 1989. "A history of algebraic and differential topology 1900-1960", Modern Birkhâuser, Boston.
3. Brown, R.F. 1999 "Fixed point theory" in History of topology. (Ed. I.M. James) North-Holland publishing company, Amsterdam, pp. 271-299.
4. Park, S. 1995,"Eighty years of the Brouwer fixed point theorem" , Antipodal points and fixed points (by J. Jaworowski, W.A. Kirk, and S. Park), Lect. Notes Ser., Vol. 28, pp. 55-97.
5. Mawhin, J. 1999, "Lerav-Schauder Degree: A half century of extension and applications", Topol. Meth. Nonlin. Anal, Vol. 14, pp. 195-228.
6. Granas A., Dugundji J. 2003, "Fixed point theory", Springer, New York.
7. Asati, A., Singh, A., Parihar, C. L. 2013, "127 Years of fixed point theory - "A Brief Survey of development of fixed point theory'", IJPaper, Vol 4, no. 1, pp. 34-39.
8. Kumar, S. 2013,"A Short Survey of the Development of Fixed Point Theory", Surv. Math. Appl, Vol. 8, pp. 91-101.
9. Badshah, V. H., Tiwari, V. H., Aheere, Dheeraj. 2014, "A short note on some spaces and fixed point theory", J. Set. Res. Phys. Math. Set., Vol. 1, no 1, pp. 1-7.
10. Bogatov, E.M. 2017, "On the history of the method of a fixed point and the contribution of domestic mathematicians", Trudy godichnoi nauchnoi konferencii, posvvatshennoi 8501etivu IIET RAN
(Proc. Annual scientific conference dedicated to the 85th anniversary of the INHT RAS), Moscow, pp. 121-125.
11. Bogatov, K.M. 2018,"On the development of qualitative methods for nonlinear equations solving and some consequences", Izv. VUZ. Applied Nonlinear Dynamics, Vol. 23, no 6. to appear.
12. Aleksandrov, P. S. 1972,"Poincaré and topology", Russian Math. Surveys, Vol. 27, no 1, pp. 157^168.
13. Brouwer, L. E. J. 1911, "Beweis der Invarianz der Dimensionenzahl", Math. Annalen, Vol. 70, pp.161-165.
14. Brouwer, L. E. J. 1912, "Uber Abbildung von Mannigfaltigkeiten", Math. Annalen, Vol. 71, pp. 97-115.
15. Boss, V. 2014, "Lectures on mathematics. Volume 13. Topologv"(in Russian), 3-d ed., LENAND, Moscow , 216 p.
16. Bohl, Piers. 1974, "Collection of works", Trans, from the German I.M. Rabinovich; Ed. L.E. Reizihn; Introd. article and comment. L.E. Reizihn and I.A. Henihn (in Russian), Latvia Acad, of Sciences, Inst, of Physics, Latv. Department of the All-Union Astronomical Geodes. society, Zinatne, Riga, 517 p.
17. Hopf, H. 1927, "Abbildungklassen n-dimensionalen Mannigfaltigkeiten", Math. Annalen, Vol. 96, no.l, pp. 209-224.
18. Bernkopf, M. 1966, "The development of function spaces with particular reference to their origins in integral equation theory", Arch. Hist. Exact Sei., Vol. 3, pp. 1-96.
19. Pietsch, A. 2007, "History of Banach spaces and linear operators", Birkhäuser Basel, Boston, 855 p.
20. Birkhoff, G. D., Kellogg, O. D. 1922, "Invariant points in function space", Trans. Am,. Math Soc., Vol. 23, pp. 95-115.
21. Banach, S. 1922, "Sur les opérations dans les ensembles abstraits et leur application aux équations integrals", Fund. Math., Vol. 3, pp. 133-181.
22. Duda, R. 2014, "Pearls from a Lost City: The Lvov School of Mathematics. Translated by Daniel Davies", AMS, Providence, R.I., pp. xi + 231.
23. Schauder, J. 1927, "Zur Theorie stetiger Abbildungen in Funktionalräumen", Math. Zeitschrift, Vol. 26, no 1, pp. 47-65.
24. "Mathematics: Science in the USSR for fifteen years (1917-1932)" (in Russian). 1932, G TT I, Moscow-Leningrad, 239 p.
25. Schauder J. 1927, "Bemerkungen zu meiner Arbeit "Zur Theorie stetiger Abbildungen in Funktionalrümen'", Math. Zeitschrift, Vol. 26, no 1. pp. 417-431.
26. Schauder, J. 1929,"Invarianz des Gebietes in Funktionalräumen", Studia Math., Vol. 1.1, pp. 123-139.
27. Schauder, J. 1930, "Der Fixpunktsatz in Funktionalräumen", Studia Math., Vol. 2, pp. 171-180.
28. Caccioppoli, R. 1932, "Sugli elementi uniti delle trasformazioni funzionali: un teorema di esistenza e di unicitä ed alcune sue applieazioni", Rend. Sem. Mat. Padova, Vol. 3, p. 1-15.
29. Mawhin, J. 1992, "Boundary value problems for nonlinear ordinary differential equations: from successive approximations to topology", Development of Mathematics 1900-1950. Luxembourg, pp. 443-477.
30. Sbordone, C. 2004, "Renato Caccioppoli, nel centenario della nascita", BUMI, Ser. A, Vol. 2, pp.193-214.
31. Ingarden R. S. 1993, "Juliusz Schauder - personal reminiscences", TMNA, Vol. 2, no. 1, pp. 144.
32. Niemvtzki, V. 1934, "Théorèmes d'existence et d'unicité des solutions de quelques équations intégrales non-linéaires", Mat. Sb., Vol. 41, no 3, pp. 421-452.
33. Niemvtzki, V.V. 1936, "Fixed-point method in analysis", Uspekhi Mat. Nauk, Vol. 1, pp. 141174.
34. Caccioppoli R. 1930. "Un teorema generale sull'esistenza di elementi uniti in una trasformazione funzionale", Rend. Acc. Naz. Lincei, Vol. 11, pp. 794-799.
35. Bogatov, E.M., 2017. "About the history of development of nonlinear integral equations in the USSR. Strong nonlinearities", Belgorod State University Sei. Bull. Math. Phys., Vol. 6, no 46, pp. 93-106 (in Russian).
36. Krasnosel'skii, M. A., 1955. "Two remarks on the method of successive approximations", Uspekhi Mat. Nauk, Vol. 10, no 1(63), pp. 123-127.
37. Tvchonoff, A. 1935, "Ein Fixpunktsatz", Math. Annalen, Vol. Ill, pp. 767-776.
38. von Neumann, J. 1935, "On complete topological spaces", Trans. Am,. Math Soc., Vol. 37, no. 1, pp. 1-20.
39. Köthe, G. 1987, "Stanislaw Mazur's contributions to functional analysis", Math. Annalen, Vol. 277, pp. 489-528.
40. Köthe, G., Toeplitz, O. 1934, "Lineare Räume mit unendlich vielen Koordinaten und Ringe unendlicher Matrizen", J. Reine Angew. Math., Vol. 171, pp. 193-226.
41. "The Scottish Book: Mathematics from the Scottish Cafe." R. Daniel Mauldin Ed. 1981, Birkhäuser, Boston, 280 p.
42. Cautv, R. 2005, "Rétractes absolus de voisinage algébriques", Serdica Math. J., Vol. 31, no. 4, pp. 309-354.
43. Markov, A. A. 1936, "Some theorems on Abelian sets", DAN SSSR, Vol.1 (X), no. 8, pp. 299-302.
44. Kakutani, S. 1938, "Two fixed-point theorems concerning bicompact convex sets", Proc. Imperial Academy, Vol. 14, no. 7, pp. 242-245.
45. Bogatov, E.M., Mukhin, R.R. 2017, "The averaging method, a pendulum with a vibrating suspension: N.N. Bogolvubov, A. Stephenson, P.L. Kapitza and others", Izv. VUZ. Applied Nonlinear Dynamics, Vol. 25, no. 5, pp. 69-87.
46. Park, S. 1999, "Ninety years of the Brouwer fixed point theorem", Vietnam J. Math., Vol. 27, no. 3, pp. 187-222.
47. Day, M. M. 1961, "Fixed-point theorems for compact convex sets", Illinois J. Math., Vol. 5, no. 4, pp. 585-590.
48. Mazur, S. 1933, "Uber konvexe Mengen in linearen normierten Räumen", Studia Math., Vol. 4, pp. 70-84.
49. Mazur, S. 1930, "Uber die kleinste konvexe Menge, die eine gegebene kompakte Menge enthält", Studia Math., Vol. 2.1, pp. 7-9.
50. Krein, M. G. and Smulian, V. L. 1940, "On regularly convex sets in the space conjugate to a Banach space", Annals of Math., Vol. 41, pp. 556-583.
51. Banach, S. 1932, "Théorie des operations linéaires", Monografje Matematyczne, Vol. I, Warszawa, 231 p.
52. Krein, M. G., Lvusternik, L.A. 1948, "Functional analysis. In coll. Mathematics in the USSR for 30 years. (1917-1947)", Gostekhizdat, Moscow-Leningrad, pp. 608-673.
53. Morrison, T. J. 2001, "Functional analysis. An introduction to Banach space theory", John Wiley and Sons, New York, 376 p.
54. Denkowski, Z., Migörski, S., Papageorgiou, N. S. 2003, "An introduction to nonlinear analysis: theory", Kluwer Academic/Plenum Publishers, Boston, 683 p.
55. Lerav, J., Schauder, J. 1934, "Topologie et équations fonctionnelles", Ann. Sei. l'Ecole Norm. Sup., Vol. 61, pp. 45-73.
56. Lerav, J., Schauder, J. 1946, "Topology and functional equations", Uspekhi Mat. Nauk, Vol.1, no. 3-4(13-14), pp. 71—95.
57. Rothe, E. 1938, "Zur Theorie der topologischen Ordnung und der Vektorfelder in Banachschen Räumen", Compositio Math., Vol. 5, pp. 177-197.
58. Krasnosel'skii, M. A. 1950, "On a topological method in the problem of eigenfunctions of nonlinear operators", DAN SSSR, Vol. 74, no. 1, pp. 5-8.
59. Krasnosel'skii, M. A. 1964, "Topological Methods in the Theory of Nonlinear Integral Equations". Pergamon, Oxford, 395 p.
60. Krasnosel'skii, M. A. 1954, "Some problems of nonlinear analysis", Uspekhi Mat. Nauk, Vol.9, no. 3(61), pp. 57-114.
61. Borsuk, K. 1933, "Drei Sätze Uber die n-dimensionale euklidische Sphäre", Fund. Math., Vol. 20.1, pp. 177-190.
62. Matousek J. 2008, "Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry", Springer Science and Business Media, Berlin, 214 p.
63. Krasnosel'skii, M. A. 1950, "On a fixed-point principle for completely continuous operators in function spaces", DAN SSSR, Vol. 73, no. 1, pp. 13-15.
64. Mawhin, J. 2007, "Jean Lerav and nonlinear integral equations: a partially forgotten legacy", J PPT A, Vol.1, no. 2, pp. 159-187.
65. Bogatov E.M., Mukhin R.R. 2016, "About the history of nonlinear integral equations", Izv. VUZ. Applied Nonlinear Dynamics, Vol. 24, no. 2, pp. 77-114.
66. "In memory of М.А. Krasnosel'skii", 2018, Available at http://www.aha.ru/ amkr/obitrus.html (accessed 10 June 2018).
67. "Institute of Mathematics of the Ukrainian Academy of Sciences". 1988, Compilers Mitropol'skii Yu. A.,. Strok V.V .; Ed. Mitropol'skii Yu.A.- Naukova Dumka, Kiev, 176 p.
68. Krasnosel'skii, M. A. 1957, "Study of the spectrum of a nonlinear operator in the neighborhood of a point of bifurcation and applications to the problem of longitudinal bending of a compressed rod", Uspekhi Mat. Nauk, Vol. 12, no.l(73), pp. 203^208.
69. Krasnosel'skii, M. A. 1950, "The eigenfunctions of nonlinear operators asymptotically close to linear operators", DAN SSSR, Vol. 74, no. 2, pp. 177-179.
70. Mawhin, J. 2000, "Mark A. Krasnosel'skii and nonlinear analysis: a fruitful love story ", In coll. Mark Mark Aleksandrovich Krasnose'lskii. To the 80th anniversary of his birth. Digest of articles, IITP RAS, pp.80-97.
71. Bogolvubov, N. N. and others. 1990, "Mark Alexandrovich Krasnosel'skii (on his seventieth birthday)", Russian Math. Surveys, Vol.45, no.2, pp. 231—234.
72. Bogatov, E . M. 2017, "Key moments of the mutual influence of the Polish and Soviet schools of nonlinear functional analysis in the 1920's-1950's", Antiquitates Math., Vol.11, no. 1, pp. 131-156.
73. Park, S., Tan, D. H. 2000, "Remarks on the Schauder-Tvchonoff fixed point theorem", Vietnam J. Math., Vol. 28, no. 2, pp. 127-132.
74. Collatz, L. 2013, "Funktionalanalvsis und numerische Mathematik", Springer-Verlag, Berlin, 371 p.
Получено 04.07.2018
Принято в печать 17.08.2018
