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

Материал из testwiki
Перейти к навигации Перейти к поиску

Положительный оператор в гильбертовом пространстве — линейный оператор A такой, что (Ax,x)0 для любого x из гильбертова пространства. Для положительного оператора используют обозначение A0Шаблон:Sfn. Иногда нулевой оператор не относят к положительным операторам и пишут A>0, если оператор A — положительный, и A0, если A — положительный или нулевойШаблон:Sfn.

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

Свойства

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

|(Ax,y)|2(Ax,x)(Ay,y)Шаблон:Sfn.

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

У каждого ограниченного положительного оператора A существует единственный положительный квадратный корень, то есть такой оператор B, что B2=A. Если оператор A обратим, то B тоже обратим. Квадратный корень B перестановочен с любым оператором, перестановочным с AШаблон:SfnШаблон:Sfn.

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

Шаблон:Main Любой ограниченный линейный оператор T в гильбертовом пространстве обладает разложением T=UP, где P — положительный оператор, U — частичная изометрия. Если T — нормальный оператор, то оператор U в полярном разложении унитарный.

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

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

  • Если AB и CD, то A+CB+D.
  • Если AB и BC, то AC.
  • Если AB и c>0, то cAcB.
  • Любая монотонная ограниченная последовательность симметричных операторов сходится к некоторому симметричному операторуШаблон:SfnШаблон:Sfn.

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

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

(Sx,x)c(x,x)

для любого x из области определения оператора S; наибольшее из всех значений c, для которых выполняется это неравенство, называется нижней гранью оператора S. Аналогично определяется оператор, полуограниченный сверху, и его верхняя граньШаблон:Sfn.

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

S=P+cI,S=P+cI,

где I — единичный операторШаблон:Sfn.

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

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

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

Симметрический оператор S называется положительно определённым, если для любого вектора x0 из R (Sx,x)>0. В этом случае квадратичная форма (Sx,x) и матрица оператора S называются положительно определёнными.

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

Пример

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

Au(x)=(p(x)u(x))+q(x)u(x),

где

p(x)0,q(x)q0,(0x1),

если его рассматривать в пространстве L2(0,1), отнеся к области определения функции u(x), дважды непрерывно дифференцируемые и удовлетворяющие условиям

u(0)=0,u(1)+hu(1)=0,

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

(Au,u)=hp(1)|u(1)|2+01p(x)|u(x)|2dx+01q(x)|u(x)|2dx01q0|u(x)|2dx=q0(u,u)..

Если q00, то оператор положительныйШаблон:Sfn.

См. также

Примечания

Шаблон:Примечания

Литература

  1. Шаблон:Книга:Математическая энциклопедия
  2. Строго говоря, в случае неограниченного оператора неравенство (Ax,x)0 в определении берётся для всех x из области определения симметричного оператора A, которая плотна во всём гильбертовом пространстве.
  3. Шаблон:Книга