Положительный оператор (гильбертово пространство)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Положительный оператор в гильбертовом пространстве — линейный оператор такой, что для любого из гильбертова пространства. Для положительного оператора используют обозначение [1]. Иногда нулевой оператор не относят к положительным операторам и пишут , если оператор  — положительный, и , если  — положительный или нулевой[2].

Ограниченный положительный оператор является самосопряжённым, и его спектр лежит на положительной полуоси , причём это необходимое и достаточное условие[1]. Неограниченный положительный оператор симметричен и допускает самосопряжённое расширение, также являющееся положительным оператором[3][4].

Для ограниченных линейных операторов выполняются следующие свойства.

[6].

Квадратный корень

[править | править код]

У каждого ограниченного положительного оператора существует единственный положительный квадратный корень, то есть такой оператор , что . Если оператор обратим, то тоже обратим. Квадратный корень перестановочен с любым оператором, перестановочным с [7][8].

Полярное разложение

[править | править код]

Любой ограниченный линейный оператор в гильбертовом пространстве обладает разложением , где  — положительный оператор,  — частичная изометрия. Если  — нормальный оператор, то оператор в полярном разложении унитарный.

Отношение порядка

[править | править код]

На множестве симметричных операторов вводится частичное отношение порядка: или , если оператор  — положительный, иначе говоря, для любого из гильбертова пространства. Данное отношение порядка обладает следующими свойствами.

  • Если и , то .
  • Если и , то .
  • Если и , то .
  • Любая монотонная ограниченная последовательность симметричных операторов сходится к некоторому симметричному оператору[2][6].

Полуограниченный оператор

[править | править код]

Симметричный оператор называется полуограниченным снизу, если существует действительное число такое, что

для любого из области определения оператора ; наибольшее из всех значений , для которых выполняется это неравенство, называется нижней гранью оператора . Аналогично определяется оператор, полуограниченный сверху, и его верхняя грань[9].

Положительный оператор является частным случаем полуограниченного снизу оператора. С другой стороны, любой полуограниченный оператор может быть выражен через положительный оператор посредством одной из следующих формул:

где  — единичный оператор[10].

Расширение по Фридрихсу. Всякий полуограниченный симметричный оператор (в частности, положительный оператор) может быть расширен до некоторого полуограниченного самосопряжённого оператора , причём оператор будет иметь ту же (верхнюю или нижнюю) грань, что и [11].

Случай конечномерного пространства

[править | править код]

Симметрический оператор (оператор с симметричной матрицей) в евклидовом пространстве называется неотрицательным, если для любого . В этом случае квадратичная форма называется неотрицательной, а матрица оператора  — неотрицательно определённой.

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

Определить, является ли матрица положительно или неотрицательно определённой, можно при помощи критерия Сильвестра[12].

Примером полуограниченного снизу оператора может служить оператор Штурма-Лиувилля

где

если его рассматривать в пространстве , отнеся к области определения функции , дважды непрерывно дифференцируемые и удовлетворяющие условиям

где  — некоторая постоянная; функции также предполагаются непрерывными. Действительно, можно проверить прямым подсчётом, что

.

Если , то оператор положительный[11].

Примечания

[править | править код]
  1. 1 2 Рудин У. Функциональный анализ, 1975, п.12.32.
  2. 1 2 3 Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 1965, с. 317.
  3. Шульман В. С., Ломоносов В. И. Положительный оператор // Математическая энциклопедия : [в 5 т.] / Гл. ред. И. М. Виноградов. — М.: Советская энциклопедия, 1984. — Т. 4: Ок — Сло. — 1216 стб. : ил. — 148 900 экз.
  4. Строго говоря, в случае неограниченного оператора неравенство в определении берётся для всех из области определения симметричного оператора , которая плотна во всём гильбертовом пространстве.
  5. Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 1965, с. 318.
  6. 1 2 Рисс Ф., Сёкефальви-Надь Б. Лекции по функциональному анализу, 1979, п. 104.
  7. Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 1965, с. 320.
  8. Рудин У. Функциональный анализ, 1975, п.12.33.
  9. [[#CITEREFАхиезер_Н._И.,_Глазман_И._М._Теория_линейных_операторов_в_гильбертовом_пространстве1966|Ахиезер Н. И., Глазман И. М. Теория линейных операторов в гильбертовом пространстве, 1966]].
  10. Рисс Ф., Сёкефальви-Надь Б. Лекции по функциональному анализу, 1979, п. 122.
  11. 1 2 Рисс Ф., Сёкефальви-Надь Б. Лекции по функциональному анализу, 1979, п. 124.
  12. Гантмахер Ф. Р. Теория матриц. — Изд. 2-е, доп.. — М.: Наука, Гл. ред. физ.-мат. лит., 1966.

Литература

[править | править код]