В настоящее время я пытаюсь следить за серией лекций Леонарда Сасскинда « Теоретический минимум » по квантовой механике. (Я немного разбираюсь в линейной алгебре и математическом анализе, пока что этого вполне достаточно, чтобы следовать этому курсу, хотя у меня нет университетского физического образования.)
В целом, я считаю, что эти лекции слишком много внимания уделяют математике, а не физической мотивации, стоящей за ней, но пусть будет так (если есть другие курсы, предназначенные для тех, у кого есть достаточные математические навыки, которые больше сосредоточены на физическом смысле, пусть меня знаю!). Однако это лишь косвенно связано с тем, о чем мой вопрос.
В лекции 4, сразу после 40-минутной отметки , Сасскинд намеревается вывести выражение для того, что он ранее назвал оператором развития времени. :
Он начинает так:
что имеет смысл, поскольку изменение во времени должно быть небольшим, т. е. порядка небольшой . Однако затем он идет дальше и меняет это на:
что, конечно, все еще хорошо, потому что мы до сих пор не знаем, что должно быть. Теперь моя проблема заключается в том, что Сасскинд затем выводит выражение для и, впоследствии, уравнение Шредингера, в котором он фигурирует, из приведенного выше уравнения. никогда не теряется и не попадает в это уравнение.
Не могли бы мы так же легко покинуть из, или поставить 6 или что-то там? Зачем ставить там? Я закончил всю лекцию, надеясь, что Сасскинд вернется к этому, но, к сожалению, он этого не делает. (Что, я думаю, является еще одним симптомом этого курса, которым я в остальном вполне доволен, иногда не хватает физической мотивации.)
Для тех из вас, кто знаком с этой лекцией или подобными стилями преподавания: я что-то упустил?
В качестве альтернативы, общий ответ о том, почему существует в гамильтониане и уравнении Шредингера?
Позволять быть унитарным оператором . Напишите
Унитарность означает , т.е.
Следовательно, если , мы должны иметь
Как мы можем это заархивировать? Мы всегда можем переопределить оба а также чтобы это реально. Если вы сделаете это, мы получим , т.е. является антиэрмитовым. В принципе, это совершенно справедливо, но мы можем сделать лучше.
Если мы выберем воображаемый, мы получаем . Этот вариант нам нравится больше, потому что нам нравятся эрмитовы операторы. Если следует отождествлять с гамильтонианом, лучше иметь воображаемый, потому что иначе не может быть эрмитовым (т. е. наблюдаемым).
Обратите внимание, что Сасскинд пишет вместо . Этот отрицательный знак — просто условность, это то, что делают все, но в принципе это может быть знак. Этот знак не влияет на физику (но мы должны быть последовательны в своем выборе). Это похоже на некоторые ОДУ в классической механике (управляемый гармонический осциллятор, схемы RLC и т. д.), где мы используем анзац , со знаком минус по историческим причинам.
Итак, включаем фактор в , и мы придем к уравнению Шрёдингера. Если бы мы не включили , мы бы получили
Не важно что то есть это решение нераспространяющееся, неколебательное и затухает во времени. Поэтому «частицы», описываемые уравнением теплопроводности, не двигаются, а медленно исчезают! (например, «стационарные» решения имеют вид , которая стремится к нулю, как ).
Также, если бы не в уравнении Шредингера, не будет зависеть от времени, поэтому общая вероятность изменится во времени, и это не имеет смысла. Следовательно в уравнении Шрёдингера делает возможной борновскую интерпретацию волновой функции!
Некоторые вещи, которые вы, возможно, захотите проверить:
Непрерывные группы, группы Ли и алгебры Ли, например, в http://www.cmth.ph.ic.ac.uk/people/d.vvedensky/groups/Chapter7.pdf.
Теорема Вигнера : симметрии реализуются через линейные/унитарные операторы или через антилинейные/антиунитарные операторы.
Оператор переноса : в квантовой механике (и, в некотором смысле, в классической механике) переносы пространства/времени представляются через унитарные операторы, где генераторами таких операций являются операторы энергии/импульса.
Спектральная теорема : эрмитовы операторы имеют действительные собственные значения.
Принцип максимума уравнения теплопроводности: если решает уравнение теплопроводности и , тогда , что значит «убывает» во времени (следовательно, вероятность «уничтожается», или «частицы исчезают»).
Как правило, не обязательно должно быть там: мы можем просто определить временную эволюцию как , но потом будет антиэрмитовым. Это действительно не имеет значения. Я предполагаю, что удобнее иметь дело с эрмитовыми операторами, поэтому люди просто учитывали :
Моя слабая интуиция, почему появляется в уравнении Шредингера, сводится к логарифму унитарной матрицы, равной раз эрмитова матрица, и дифференциальные уравнения, стремящиеся возводить вещи в степень.
Все квантовые операции унитарны (кроме измерения, в зависимости от вашей любимой интерпретации). Унитарные матрицы обладают множеством замечательных свойств. В частности, их собственное разложение имеет перпендикулярные собственные векторы с собственными значениями из комплексной единичной окружности. Символически:
Где каждый находится между а также , и все взаимно перпендикулярны.
Если вы хотите превратить унитарную матрицу в непрерывное действие во времени, вам нужно ее интерполировать. Вы можете сделать это, либо возведя его в дробную степень, например , или путем масштабирования его логарифма в экспоненциальном виде, например . Мы собираемся использовать логарифмический подход, потому что он более элегантный и более полезный для дифференциальных уравнений (* кашель * * кашель *).
Поскольку у нас есть собственное разложение для с точки зрения , логарифм имеет очень красивый вид. Углы фазовых множителей падают:
Здесь мы определили в терминах собственного разложения с перпендикулярными векторами, масштабированными действительными собственными значениями. Следовательно является эрмитовым. Итак, логарифм унитарной матрицы равен умножить на эрмитову матрицу, и наша интерполяция-возведением-в-степень-масштабированного-логарифма становится:
Если бы вы были внимательны, вы бы увидели, где пришли из.
Поскольку мы хотим, чтобы наше дифференциальное уравнение имело унитарные решения, а дифференциальные уравнения склонны возводить в степень, нам лучше положить умножить на эрмитову матрицу.
The выводится из уравнения неопределенности Гейзенберга.
Что же касается важности будучи там, он математически показывает, «что очень реальная часть будущего зависит от воображаемой части настоящего».
Вы можете вывести уравнение Шредингера, зная а также . Возьмите общую волну и подействуйте на нее градиентом или производной по времени, и вы получите операторы энергии и импульса:
Затем поместите операторы энергии и импульса в гамильтониан.
Вуаля!
Ян Лалински
Шинг