Утверждение верно, если спектр оператора Гамильтона ограничен снизу (по термодинамическим причинам), но не сверху, как это происходит во многих соответствующих физических системах. Вот доказательство.
Оператор обращения времениТ
удовлетворяет, по определению,
Тея Чт"="е− я НтТ(1)
для каждого реального
т
и должен быть либо унитарным, либо антиунитарным по теореме Вигнера. Приведенное выше тождество подразумевает, в соответствии с природой
Т
,
е± я ТЧАСТ− 1т"="е− я Нт
для всех реалов
т
. Теорема Стоуна дает
∓ ТЧАСТ− 1= Н.(2)
Если бы оператор был унитарным, мы бы имели
ТЧАСТ− 1= - Н.
Поскольку унитарные преобразования сохраняют спектр, из найденного тождества следует также
о( Ч) = - σ( Ч)
это недопустимо, так как рассматриваемый нами спектр не является симметричным относительно смены знака по условию.
В общем случае унитарное обращение времени возможно для гамильтоновых операторов с симметричным спектром. Однако, поскольку они должны иметь ограниченный снизу спектр, это возможно для гамильтоновых операторов с симметричным и ограниченным спектром.
ПРИЛОЖЕНИЕ. Как заметил Элио Фабри, поскольку (чистые) состояния являются единичными векторамиψ
до фаз , (1) является слишком ограничительным условием, и его необходимо смягчить в
Тея Чтф =еясψ( т )е− я НтТψ.(1')
Нетрудно доказать, воспользовавшись теоремой Стоуна, что
сψ( т )
не зависит от
ψ
и что
с ( т ) знак равно с т
единственная возможность для фазы
с ( т )
. Поэтому, взяв производную от обеих частей, мы имеем
∓ ТЧАСТ− 1= - Н+ с я.
Если
Т
является унитарным и
о( Ч)
ограничена снизу, но не сверху, имеем противоречие
о( Ч) = - σ( Ч) + с
. Единственная возможность заключается в том, что
Т
антиунитарна, так что
о( Ч) = σ( Ч) - с
Поскольку обе стороны должны иметь конечные
инф
, делаем вывод, что
с = 0
и
ТЧАСТ− 1= Н
и операция обращения времени удовлетворяет однако
Тея Чт"="е− я НтТ.
Если
Т
унитарный,
о( Т)
должен удовлетворить
о( Ч) = - σ( Ч) + с
для некоторых
с е R
. Так что если
Т
унитарный,
о( Ч)
ограничен снизу тогда и только тогда, когда он ограничен сверху и симметричен относительно некоторой точки, которая не обязательно
0
.
Авангард
Вальтер Моретти