Теорема Крейна–Рутмана
В функциональном анализе теорема Крейна -Рутмана является обобщением теоремы Перрона-Фробениуса на бесконечномерные банаховы пространства . [ 1 ] Это было доказано Крейном и Рутманом в 1948 году. [ 2 ]
Заявление
[ редактировать ]Позволять — банахово пространство , и пусть быть выпуклым конусом таким, что , и плотный в , т.е. замыкание множества . также известен как полный конус . Позволять — ненулевой компактный оператор и предположим, что он положителен , что означает, что , и что его спектральный радиус является строго положительным.
Затем является собственным значением с положительным собственным вектором , что означает, что существует такой, что .
Теорема де Пактера
[ редактировать ]Если положительный оператор предполагается идеальной неприводимой , а именно, нет идеала из такой, что , то теорема де Пагтера [ 3 ] утверждает, что .
Поэтому для идеальных неприводимых операторов справедливо предположение не нужен.
Ссылки
[ редактировать ]- ^ Ду, Ю. (2006). «1. Теорема Крейна – Рутмана и главное собственное значение». Порядковая структура и топологические методы в нелинейных уравнениях в частных производных. Том. 1. Принципы максимума и приложения . Ряды по уравнениям в частных производных и их приложениям. Хакенсак, Нью-Джерси: World Scientific Publishing Co. Pte. ООО ISBN 981-256-624-4 . МР 2205529 .
- ^ Крейн, М.Г.; Рутман, Массачусетс (1948). «Линейные операторы, оставляющие инвариантом конус в банаховом пространстве». Успехи мат. Наук . Новая серия (на русском языке). 3 (1(23)): 1–95. МР 0027128 . . Английский перевод: Крейн, М.Г.; Рутман, Массачусетс (1950). «Линейные операторы, оставляющие инвариантом конус в банаховом пространстве». амер. Математика. Соц. Перевод . 1950 (26). МР 0038008 .
- ^ де Пагтер, Б. (1986). «Неприводимые компактные операторы». Математика. З. 192 (1): 149–153. дои : 10.1007/bf01162028 . МР 0835399 .