Вывод низкоэнергетического эффективного гамильтониана [дубликат]

В квантовой механике гамильтониан ЧАС удовлетворяет уравнению Шредингера

ЧАС ψ "=" Е ψ .
Предположим, что п является проекционным оператором, и Вопрос "=" 1 п . Низкоэнергетический эффективный гамильтониан равен
ЧАС е ф ф "=" ЧАС п п + ЧАС п Вопрос ЧАС Вопрос п Е ЧАС Вопрос Вопрос .
Мой способ сделать это — комбинация двух алгебраических уравнений. Недавно я нашел хорошую статью (Л. Петерсен е т     а л . Простая модель сильной связи спин-орбитального расщепления поверхностных состояний, производных от sp), авторы которой заявили, что можно получить (уравнение 13)
п 1 ϵ ЧАС п "=" 1 ϵ ЧАС е ф ф
из стандартной теоремы линейной алгебры. Вот мне просто интересно, что "что за стандартная теорема"? Пожалуйста, сообщите мне об опущенной детали в вышеупомянутом документе.

«Стандартная теорема» линейной алгебры — это формула обращения 2 × 2 блок матриц . Смотрите мой ответ здесь для подробного вывода.

Ответы (1)

Назовите временную эволюцию для гамильтониана ЧАС дан кем-то U ( т ) "=" опыт ( я ЧАС т ) и соответствующая эволюция на поддержке п является

п U ( т ) п "=" п опыт ( я ЧАС т ) п "=" опыт ( я ЧАС эфф т ) U эфф ( т )

предполагая ЧАС эфф существует. Искомое тождество следует из

(1) лим η 0 0 д т U ( т ) е я ( ϵ + я η ) т "=" я ϵ ЧАС .

Применение п к обеим сторонам уравнения. ( 1 ) дает

(2) лим η 0 0 д т п U ( т ) п е я ( ϵ + я η ) т "=" п я ϵ ЧАС п .

Затем с помощью п U ( т ) п "=" U эфф ( т ) в левой части уравнения. ( 2 ) мы получаем

(3) лим η 0 0 д т U эфф ( т ) е я ( ϵ + я η ) т "=" п я ϵ ЧАС п .

Теперь используйте уравнение ( 1 ) но с эффективным вместо полного гамильтониана, чтобы заменить левую часть уравнения. ( 3 ) . Результат

1 ϵ ЧАС эфф "=" п 1 ϵ ЧАС п
как указано.

Что значит иметь в виду?
О, должно было быть = «подразумевается». Спасибо за исправление. Однако то, как вы переставили ответ, может заставить новичка задуматься о связи между 1-м и 2-м равенствами после интеграла по PU(t)P.
Вы правы, то, как я переставил это, было неясно. Надеюсь новая версия подойдет.
@udrv Мне нравится аргумент, но он игнорирует энергетическую зависимость ЧАС эфф ?