Откуда берется iii в уравнении Шрёдингера?

В настоящее время я пытаюсь следить за серией лекций Леонарда Сасскинда « Теоретический минимум » по квантовой механике. (Я немного разбираюсь в линейной алгебре и математическом анализе, пока что этого вполне достаточно, чтобы следовать этому курсу, хотя у меня нет университетского физического образования.)

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

В лекции 4, сразу после 40-минутной отметки , Сасскинд намеревается вывести выражение для того, что он ранее назвал оператором развития времени. U :

| ψ ( т ) знак равно U ( т ) | ψ ( 0 )

Он начинает так:

U ( ϵ ) знак равно я + ϵ ЧАС

что имеет смысл, поскольку изменение во времени должно быть небольшим, т. е. порядка небольшой ϵ . Однако затем он идет дальше и меняет это на:

U ( ϵ ) знак равно я я ϵ ЧАС

что, конечно, все еще хорошо, потому что мы до сих пор не знаем, что ЧАС должно быть. Теперь моя проблема заключается в том, что Сасскинд затем выводит выражение для ЧАС и, впоследствии, уравнение Шредингера, в котором он фигурирует, из приведенного выше уравнения. я никогда не теряется и не попадает в это уравнение.

Не могли бы мы так же легко покинуть я из, или поставить 6 или что-то там? Зачем ставить я там? Я закончил всю лекцию, надеясь, что Сасскинд вернется к этому, но, к сожалению, он этого не делает. (Что, я думаю, является еще одним симптомом этого курса, которым я в остальном вполне доволен, иногда не хватает физической мотивации.)

  1. Для тех из вас, кто знаком с этой лекцией или подобными стилями преподавания: я что-то упустил?

  2. В качестве альтернативы, общий ответ о том, почему существует я в гамильтониане и уравнении Шредингера?

«Если есть другие курсы, предназначенные для тех, у кого есть разумные математические способности, которые больше сосредоточены на физическом смысле, дайте мне знать!» Ландау и Лифшиц, сборник « Курс теоретической физики» .
«Если есть другие курсы, предназначенные для тех, у кого есть разумные математические способности, которые больше сосредоточены на физическом смысле, дайте мне знать!» Попробуйте это: ocw.mit.edu/courses/physics/8-04-quantum-physics-i-spring-2013

Ответы (5)

Позволять U быть унитарным оператором . Напишите

U знак равно я + ϵ А
для некоторых ϵ е С , и некоторый оператор А .

Унитарность означает U U знак равно я , т.е.

U U знак равно ( я + ϵ * А ) ( я + ϵ А ) знак равно я + ϵ * А + ϵ А + О ( ϵ 2 )

Следовательно, если U U знак равно я , мы должны иметь

ϵ * А + ϵ А знак равно 0

Как мы можем это заархивировать? Мы всегда можем переопределить оба ϵ а также А чтобы ϵ это реально. Если вы сделаете это, мы получим А знак равно А , т.е. А является антиэрмитовым. В принципе, это совершенно справедливо, но мы можем сделать лучше.

Если мы выберем ϵ воображаемый, мы получаем А знак равно А . Этот вариант нам нравится больше, потому что нам нравятся эрмитовы операторы. Если А следует отождествлять с гамильтонианом, лучше иметь ϵ воображаемый, потому что иначе ЧАС не может быть эрмитовым (т. е. наблюдаемым).

Обратите внимание, что Сасскинд пишет U знак равно я я ϵ ЧАС вместо U знак равно я + я ϵ ЧАС . Этот отрицательный знак — просто условность, это то, что делают все, но в принципе это может быть + знак. Этот знак не влияет на физику (но мы должны быть последовательны в своем выборе). Это похоже на некоторые ОДУ в классической механике (управляемый гармонический осциллятор, схемы RLC и т. д.), где мы используем анзац Икс ( т ) знак равно е я ю т , со знаком минус по историческим причинам.

Итак, включаем фактор я в U , и мы придем к уравнению Шрёдингера. Если бы мы не включили я , мы бы получили

ψ т знак равно 2 ψ
где я беру знак равно 2 м знак равно 1 а также В знак равно 0 упростить анализ (это не меняет выводов). Обратите внимание, что это уравнение теплопроводности . Общее решение уравнения теплопроводности:

ψ ( Икс , т ) знак равно д у   ψ ( у , 0 ) 4 π т е ( Икс у ) 2 / 4 т

Не важно что ψ ( у , 0 ) то есть это решение нераспространяющееся, неколебательное и затухает во времени. Поэтому «частицы», описываемые уравнением теплопроводности, не двигаются, а медленно исчезают! (например, «стационарные» решения имеют вид ψ ( Икс , т ) знак равно е Е т ф ( Икс ) , которая стремится к нулю, как т ).

Также, если бы не я в уравнении Шредингера, д Икс   | ψ ( Икс , т ) | 2 не будет зависеть от времени, поэтому общая вероятность изменится во времени, и это не имеет смысла. Следовательно я в уравнении Шрёдингера делает возможной борновскую интерпретацию волновой функции!

Некоторые вещи, которые вы, возможно, захотите проверить:

  • Непрерывные группы, группы Ли и алгебры Ли, например, в http://www.cmth.ph.ic.ac.uk/people/d.vvedensky/groups/Chapter7.pdf.

  • Теорема Вигнера : симметрии реализуются через линейные/унитарные операторы или через антилинейные/антиунитарные операторы.

  • Оператор переноса : в квантовой механике (и, в некотором смысле, в классической механике) переносы пространства/времени представляются через унитарные операторы, где генераторами таких операций являются операторы энергии/импульса.

  • Спектральная теорема : эрмитовы операторы имеют действительные собственные значения.

  • Принцип максимума уравнения теплопроводности: если ψ ( Икс , т ) решает уравнение теплопроводности и т 2 > т 1 , тогда ψ ( т 2 , Икс ) ψ ( т 1 , у )   Икс , у , что значит ψ «убывает» во времени (следовательно, вероятность «уничтожается», или «частицы исчезают»).

  • Шредингер против уравнений теплопроводности

Следует отметить, что математики часто связывают я в ЧАС , и они вполне счастливы иметь антиэрмитовы гамильтонианы. Это довольно глупо для физика - нам нравится наш ЧАС отшельнический - но это все условности.
Большое спасибо; Я на самом деле понимаю это сейчас (прекрасное чувство). Определенно оставайтесь с нами и с нетерпением жду дополнительных подробностей :)
@EelkeSpaak Я рад, что смог помочь! Если какой-то пункт моего ответа недостаточно ясен, скажите об этом, и я постараюсь объяснить это лучше :)
1. Пожалуйста, используйте самосопряженный вместо эрмитова. В бесконечномерном случае разница есть, и спектральная теорема относится к самосопряженным операторам, а не только к эрмитовым. 2. Бесконечно малое расширение, которое вы делаете в начале, является физической версией теоремы Стоуна: каждая однопараметрическая унитарная группа порождается самосопряженным оператором, умноженным на я .
@ACuriousMind да, вы совершенно правы [но обратите внимание, что Сасскинд тоже говорит об отшельнике :)]

Как правило, я не обязательно должно быть там: мы можем просто определить временную эволюцию как е т К , но потом К будет антиэрмитовым. Это действительно не имеет значения. Я предполагаю, что удобнее иметь дело с эрмитовыми операторами, поэтому люди просто учитывали я :

К знак равно я ЧАС .
Что касается того, почему с эрмитовыми операторами приятнее иметь дело, обратите внимание, что любимые скобки Дирака сэндвичи с этим оператором К , по всему КМ, было бы немного более двусмысленным: мы получили бы бессмысленные выражения вроде
ψ | К | ψ знак равно ψ | К | ψ
И поэтому мы получили бы знаки минус, в зависимости от того, действуем ли мы слева или справа. Просто проще иметь рядом оператора-отшельника.

Моя слабая интуиция, почему я появляется в уравнении Шредингера, сводится к логарифму унитарной матрицы, равной я раз эрмитова матрица, и дифференциальные уравнения, стремящиеся возводить вещи в степень.


Все квантовые операции унитарны (кроме измерения, в зависимости от вашей любимой интерпретации). Унитарные матрицы обладают множеством замечательных свойств. В частности, их собственное разложение имеет перпендикулярные собственные векторы с собственными значениями из комплексной единичной окружности. Символически:

U знак равно к е я θ к | в к в к |

Где каждый θ к находится между 0 а также 2 π , и в к все взаимно перпендикулярны.

Если вы хотите превратить унитарную матрицу в непрерывное действие во времени, вам нужно ее интерполировать. Вы можете сделать это, либо возведя его в дробную степень, например U т знак равно U т , или путем масштабирования его логарифма в экспоненциальном виде, например U т знак равно е т п ( U ) . Мы собираемся использовать логарифмический подход, потому что он более элегантный и более полезный для дифференциальных уравнений (* кашель * * кашель *).

Поскольку у нас есть собственное разложение для U с точки зрения е что бы ни , логарифм имеет очень красивый вид. Углы фазовых множителей падают:

п ( U ) знак равно п к е я θ к | в к в к | знак равно к п ( е я θ к ) | в к в к | знак равно к я θ к | в к в к | знак равно я к θ к | в к в к | знак равно я ЧАС

Здесь мы определили ЧАС в терминах собственного разложения с перпендикулярными векторами, масштабированными действительными собственными значениями. Следовательно ЧАС является эрмитовым. Итак, логарифм унитарной матрицы равен я умножить на эрмитову матрицу, и наша интерполяция-возведением-в-степень-масштабированного-логарифма становится:

U т знак равно е т п ( U ) знак равно е я т ЧАС

Если бы вы были внимательны, вы бы увидели, где я пришли из.

  • Первоначально он появился из-за того, что унитарные матрицы применяют фазовые множители только к своим собственным векторам, поэтому их собственные значения подобны е я θ к .
  • Когда мы вычислили логарифм, чтобы интерполировать эффект унитарной матрицы, я выпало из экспоненты и ускользнуло от суммы.
  • Оставшаяся сумма представляла собой эрмитову матрицу.

Поскольку мы хотим, чтобы наше дифференциальное уравнение имело унитарные решения, а дифференциальные уравнения склонны возводить в степень, нам лучше положить я умножить на эрмитову матрицу.

Надлежащая формализация выражения «логарифм унитарной матрицы антиэрмитов» (что не очень хорошо говорить, потому что логарифм — это функция с довольно плохим поведением) — это теорема Стоуна: каждая однопараметрическая унитарная группа порождается самосопряженный оператор.
@ACuriousMind Да, это кратко. (И я упустил из виду тот факт, что логарифм на самом деле представляет собой бесконечное семейство матриц с произвольными смещениями 2 π н добавляется к каждому собственному значению.)
  1. The я выводится из уравнения неопределенности Гейзенберга.

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

Я использовал производное по мере развития. Знал, что математик укажет на это. И «развитый» — тоже неправильный термин. У меня были проблемы с объяснением моих уравнений, чтобы добраться до их профессоров физики. Прогрессия лучше, броуновское движение, EMT, HUE применительно к фотонной форме света приводит к Шрёдингеру, но правильно не выводится из стандартной формулировки

Вы можете вывести уравнение Шредингера, зная Е знак равно ю а также п знак равно к . Возьмите общую волну и подействуйте на нее градиентом или производной по времени, и вы получите операторы энергии и импульса:

ψ ( Икс , т ) знак равно ψ о е я ( к Икс ю т ) ψ знак равно я к ψ знак равно я п / п ^ знак равно я ψ т знак равно я ю ψ т знак равно я Е / Е ^ знак равно я т

Затем поместите операторы энергии и импульса в гамильтониан.

ЧАС знак равно Т + В Е ^ знак равно п ^ 2 2 м + В ^ я т ψ знак равно 2 2 ψ 2 м + В ψ

Вуаля!

ОП нуждается в выводе из первых принципов, чувак!