stringtranslate.com

Класс трассировки

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

В квантовой механике квантовые состояния описываются матрицами плотности , которые являются определенными операторами следового класса. [1]

Операторы следового класса по сути то же самое, что и ядерные операторы , хотя многие авторы резервируют термин «оператор следового класса» для особого случая ядерных операторов в гильбертовых пространствах и используют термин «ядерный оператор» в более общих топологических векторных пространствах (таких как банаховы пространства ).

Обратите внимание, что оператор следа , изучаемый в уравнениях с частными производными, является несвязанной концепцией.

Определение

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

независимо от выбора ортонормированного базиса. (Не обязательно положительный) ограниченный линейный оператор называется классом следа тогда и только тогда, когда

где обозначает положительно-полуопределенный эрмитов квадратный корень . [4]

Норма следа оператора класса следа T определяется как Можно показать, что норма следа является нормой в пространстве всех операторов класса следа и что вместе с нормой следа становится банаховым пространством .

Когда является конечномерным, каждый (положительный) оператор является следовым классом и это определение следа совпадает с определением следа матрицы . Если является комплексным, то всегда является самосопряженным (т.е. ), хотя обратное не обязательно верно. [5]

Эквивалентные формулировки

Для ограниченного линейного оператора каждое из следующих утверждений эквивалентно нахождению в классе трассировки:

Существуют две ортогональные последовательности и в и положительные действительные числа в такие, что и
где — сингулярные значения T (или, что то же самое, собственные значения ), причем каждое значение повторяется с той же частотой, что и его кратность. [ 8]
Если T — класс следов, то [9]

Примеры

Спектральная теорема

Пусть — ограниченный самосопряженный оператор в гильбертовом пространстве. Тогда является классом следа тогда и только тогда, когда имеет чисто точечный спектр с собственными значениями такими, что [12]

Теорема Мерсера

Теорема Мерсера дает еще один пример оператора класса следа. То есть, предположим, что есть непрерывное симметричное положительно определенное ядро ​​на , определяемое как

тогда ассоциированный интегральный оператор Гильберта–Шмидта является следовым оператором, т.е.

Операторы конечного ранга

Каждый оператор конечного ранга является оператором класса следа. Более того, пространство всех операторов конечного ранга является плотным подпространством (при наделении нормой следа). [9]

При любом определении оператора с помощью Тогда это непрерывный линейный оператор ранга 1 и, таким образом, является следовым; более того, для любого ограниченного линейного оператора A на H (и в H ), [9]

Характеристики

  1. Если — неотрицательный самосопряженный оператор , то он является следовым оператором тогда и только тогда, когда Таким образом, самосопряженный оператор является следовым оператором тогда и только тогда, когда его положительная и отрицательная части являются следовыми операторами. (Положительная и отрицательная части самосопряженного оператора получаются с помощью непрерывного функционального исчисления .)
  2. След — это линейный функционал над пространством операторов класса следа, то есть Билинейная карта — это скалярное произведение на классе следа; соответствующая норма называется нормой Гильберта–Шмидта . Пополнение операторов класса следа в норме Гильберта–Шмидта называется операторами Гильберта–Шмидта.
  3. — положительный линейный функционал, такой что если — оператор класса следов, удовлетворяющий условию [11]
  4. Если это трассовый класс, то это также и [11]
  5. Если ограничено и является следовым, то и также являются следовыми (т.е. пространство следовых операторов на H является идеалом в алгебре ограниченных линейных операторов на H ), и [11] [13] Кроме того, при той же гипотезе, [11] и Последнее утверждение справедливо также при более слабой гипотезе, что A и T являются операторами Гильберта–Шмидта.
  6. Если и являются двумя ортонормированными базисами H и если T является следовым классом, то [9]
  7. Если A является следовым классом, то можно определить определитель Фредгольма : где — спектр Условие следового класса на гарантирует, что бесконечное произведение конечно: действительно, Это также подразумевает, что тогда и только тогда, когда является обратимым.
  8. Если является следовым классом, то для любого ортонормированного базиса сумма положительных членов конечна. [11]
  9. Если для некоторых операторов Гильберта-Шмидта и тогда для любого нормального вектора выполняется. [11]

Теорема Лидского

Пусть будет оператором следового класса в сепарабельном гильбертовом пространстве и пусть будут собственными значениями Предположим, что перечислены с учетом алгебраической кратности (то есть, если алгебраическая кратность равна , то повторяется в списке раз ). Теорема Лидского (названная в честь Виктора Борисовича Лидского ) утверждает, что

Обратите внимание, что ряд справа сходится абсолютно из-за неравенства Вейля между собственными значениями и сингулярными значениями компактного оператора [14]

Связь между общими классами операторов

Можно рассматривать определенные классы ограниченных операторов как некоммутативный аналог классических пространств последовательностей , а операторы следового класса — как некоммутативный аналог пространства последовательностей.

Действительно, можно применить спектральную теорему , чтобы показать, что каждый нормальный оператор класса следов в сепарабельном гильбертовом пространстве может быть реализован определенным образом как последовательность относительно некоторого выбора пары базисов Гильберта. В том же духе ограниченные операторы являются некоммутативными версиями компактных операторов , которые из (последовательности, сходящиеся к 0), операторы Гильберта–Шмидта соответствуют и операторы конечного ранга из (последовательности, которые имеют только конечное число ненулевых членов). В некоторой степени отношения между этими классами операторов аналогичны отношениям между их коммутативными аналогами.

Напомним, что каждый компактный оператор в гильбертовом пространстве принимает следующую каноническую форму: существуют ортонормированные базисы и и последовательность неотрицательных чисел с такими, что Уточняя приведенные выше эвристические комментарии, мы имеем, что является следовым классом тогда и только тогда, когда ряд сходится, является оператором Гильберта–Шмидта тогда и только тогда , когда он сходится, и является конечномерным, если последовательность имеет только конечное число ненулевых членов. Это позволяет связать эти классы операторов. Следующие включения справедливы и все являются собственными, когда является бесконечномерным:

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

Также ясно, что операторы конечного ранга плотны как в следовом классе, так и в норме Гильберта–Шмидта.

Класс трассировки как двойственный к компактным операторам

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

Эта идентификация работает, поскольку операторы конечного ранга являются норм-плотными в В случае, если — положительный оператор, для любого ортонормированного базиса имеем , где — тождественный оператор:

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

Предельный аргумент с использованием операторов конечного ранга показывает, что Таким образом , изометрически изоморфно

Как предварительный оператор ограниченных операторов

Напомним, что двойственный к есть В данном контексте двойственный к операторам класса следа есть ограниченные операторы Точнее, множество есть двусторонний идеал в Так что для любого оператора мы можем определить непрерывный линейный функционал на с помощью Это соответствие между ограниченными линейными операторами и элементами двойственного пространства есть изометрический изоморфизм . Отсюда следует, что есть двойственное пространство Это можно использовать для определения слабой-* топологии на

Смотрите также

Ссылки

  1. ^ Mittelstaedt 2009, стр. 389–390.
  2. ^ ab Conway 2000, стр. 86.
  3. Рид и Саймон 1980, стр. 206.
  4. Рид и Саймон 1980, стр. 196.
  5. Рид и Саймон 1980, стр. 195.
  6. ^ Трев 2006, стр. 494.
  7. Конвей 2000, стр. 89.
  8. Рид и Саймон 1980, стр. 203–204, 209.
  9. ^ abcd Conway 1990, стр. 268.
  10. ^ Тревес 2006, стр. 502–508.
  11. ^ abcdefgh Конвей 1990, стр. 267.
  12. ^ Саймон 2010, стр. 21.
  13. Рид и Саймон 1980, стр. 218.
  14. ^ Саймон, Б. (2005) Идеалы следа и их приложения , второе издание, Американское математическое общество.

Библиография