С одной стороны, используя спектральное разложение оператора Гамильтона , предполагаемый эрмитовым оператором, относительно просто вывести уравнение , где является собственным значением и является соответствующим собственным вектором - при условии дискретного разложения и невырожденного случая.
С другой стороны, используя матричную экспоненту и решая линейное дифференциальное уравнение в частных производных, . Предполагая, что гамильтониан является эрмитовым оператором, определенным над конечномерным гильбертовым пространством , оператор ограничен и матричная экспонента сходится.
Я пытаюсь примирить оба уравнения. Подключаем спектральное разложение во втором уравнении, похоже, не дает мне первое.
С , у вас есть :
Кроме того, спектральная теорема гарантирует, что можно принять за ортонормированный базис и, следовательно:
Следовательно, у вас есть:
По симметрии
Жан