Матрицы в нотации Дирака

Я учусь на курсе квантовой механики, и мы начинаем использовать нотацию Дирака. Я немного смущен тем, как именно все это работает.

Изучив линейную алгебру, я очень доволен идеей базисов. Итак, я понимаю, что оператор преобразует один вектор в другой:

Вопрос ^ | α знак равно | β

меня тоже устраивает

| α знак равно а н | е н  куда  а н знак равно е н | α .
Кроме того, соответствующая версия для β :

| β знак равно б н | е н  куда  б н знак равно е н | β

Затем в книге определяется

е м | Вопрос ^ | е н Вопрос м н

Я это тоже понимаю. Различные Вопрос м н значения — это просто записи в матрице, которая представляет Вопрос ^ .

Вот моя проблема...

В моей книге утверждается, что если частица находится в состоянии С ( т ) ,

Ψ ( Икс , т ) знак равно Икс | С ( т )

где вектор | Икс является «собственной функцией Икс ^ с собственным значением Икс ."

Но абстрактная форма этого немного озадачивает меня. Может ли кто-нибудь явно написать матричное/векторное представление этого? Кроме того, можно ли вообще записать С ( т ) ? Потому что, насколько я понимаю, это вектор, которому не был присвоен базисный набор. Я пытался посмотреть в Интернете, а также пытался поиграть с этим сам, но не продвинулся очень далеко.

Смотрит на меня пространственная волновая функция положения. Посмотрите на Сакурая.
Вы знаете, почему бы вам не взять x в диапазоне от 3 различных точек, 1,2,3. Вейль взял N в своей книге, но 3 будет достаточно. Так что у тебя есть | Дж , т.е. | 1 знак равно ( 1 , 0 , 0 ) Т и т.д. См. Дж | Икс ^ | я знак равно Дж дельта Дж я . Брать Ψ ( Дж ) знак равно опыт ( Дж 2 ) . Напишите | С знак равно Дж Ψ ( Дж ) | Дж . И т.д... Теперь измените базы на , например, циклическим вращением 1,2,3. Это не так уж плохо...

Ответы (3)

Это формализм Дирака. Это обобщение на непрерывный базис, т. е. те, которые пронумерованы индексом, который принимает значения в непрерывном множестве, подобном р н .

В этой настройке у вас есть это так же, как | е н представляет собой дискретный базис, который позволяет разложить

| ψ знак равно н е н | ψ | е н ,

и относительно которого выполняется отношение замыкания

н | е н е н | знак равно 1

мы предполагаем, что у нас может быть один базис | Икс перечисляется некоторым непрерывным параметром, например Икс е р , так что мы можем разложить

| ψ знак равно Икс | ψ | Икс г Икс

с отношением замыкания

| Икс Икс | г Икс знак равно 1 .

Дело в том, что примерно если А является одним компактным оператором, спектральная теорема гарантирует, что у вас есть дискретный ортонормированный базис собственных векторов | а н такой, что А | а н знак равно а н | а н (Для простоты я предполагаю невырожденным).

Когда А неограничен, как это часто бывает в КМ, такого базиса не существует. Но вы полагаете, что такой обобщенный базис существует. Так что если Икс неограниченно, вы предполагаете, что для каждого собственного значения Икс е о ( Икс ) спектр Икс есть государственный кет | Икс с Икс | Икс знак равно Икс | Икс и формирование основы.

Обратите внимание, что всякий раз, когда у вас есть операторы положения и импульса Икс , п вы хотите потребовать [ Икс , п ] знак равно я и есть теорема, которая гарантирует, что по крайней мере одно из них будет неограниченным, так что тогда понадобится то, что было сказано выше.

Это важно из-за постулатов КМ. Наблюдаемые являются эрмитовыми операторами. Возможные измеряемые значения — это в точности значения на спектре, т. е. «собственные значения» и состояния с определенным значением величины являются собственными векторами, тогда измеряемое значение является соответствующим собственным значением.

Затем постулируется, что если А наблюдаемая с непрерывным базисом | а тогда р ( а ) знак равно | а | ψ | 2 – плотность вероятности нахождения значения А в штате | ψ быть между а а также а + г а .

Затем вы связываете это с волновой механикой. Рассмотрим частицу в одном измерении. У нас есть наблюдаемое Икс соответствующий должности. Позволять | С ( т ) быть государством в то время т . Как мы знаем, позиция может принимать любое возможное значение, поэтому о ( Икс ) знак равно р . Позволять Икс е р , соответствующий обобщенный собственный вектор равен | Икс . Вероятность найти частицу между Икс а также Икс + г Икс затем р ( Икс ) знак равно | Икс | ψ | 2 .

Итак, соприкасаясь с волновой механикой, мы видим, что Ψ ( Икс , т ) знак равно Икс | С ( т ) верно.

И последнее замечание: все, что касается обобщенных собственных векторов и непрерывного базиса из формализма Дирака, чрезвычайно полезно и элегантно, но не является строгим. В строгом функциональном анализе нет собственного вектора для несвязанных операторов, и эти разложения не определены. Тем не менее, есть один обходной путь, который делает все это понятным, называемый тройным подходом Гельфанда.

Давайте применим его к простому примеру, скажем, к частице в одномерной яме. Для этого общее решение Ψ ( Икс , т ) знак равно А С я н ( н к Икс ) . Что же тогда С ( т ) ?
Обратите внимание, что вы даете один раз независимое состояние, но в любом случае дело в том, что когда у вас есть амплитуда вероятности ψ ( Икс ) как этот, ψ ( Икс ) знак равно А грех ( н к Икс ) можно сразу записать кет | ψ знак равно ψ ( Икс ) | Икс г Икс . Это одно расширение в основе. Думать о ψ ( Икс ) как компоненты. Кет является абстрактным и подходит для абстрактных манипуляций, которые иногда облегчают поиск самого состояния (см. пример гармонического осциллятора в книге Коэна), но фактические вычисления выполняются с указанием ψ ( Икс ) и вспоминая ψ ( Икс ) знак равно Икс | ψ .
В |ψ⟩=∫ψ(x)|x⟩dx является ли |x⟩ в основном собственными функциями положения?
Заметим, что ограниченности недостаточно для дискретного спектра. Оператор положения в бесконечном квадратном колодце — простой контрпример. Спектральная теорема требует более сильных гипотез, и, насколько я понимаю, существует множество подходов с различными результирующими сильными сторонами теоремы.
@ Бен, в том-то и дело. В дискретном случае можно строго написать | ψ знак равно н а н | е н . Вы предполагаете, что то же самое можно сделать и в непрерывном случае, заменив сумму интегралом. У вас есть ψ ( Икс ) затем «компоненты | ψ на позиционной основе». Абстрактные кеты допускают абстрактные манипуляции, которые во многих случаях, как и гармонический осциллятор, значительно упростят решение задач. Но решения всегда выражаются в каком-то дискретном или непрерывном базисе. Обратите внимание, что Икс | Икс знак равно дельта ( Икс Икс ) как и следовало ожидать.
@EmilioPisanty спасибо, что указали на это. Условием, обеспечивающим существование дискретного базиса, является компактность оператора, не так ли?
Это достаточное условие, но не обязательное, если я правильно понимаю теорему. Простым примером некомпактного оператора с базой собственных векторов является гармонический осциллятор.

Простой (но довольно нестрогий) способ подумать об этом:

Ваше гильбертово пространство ЧАС образован квадратично-интегрируемыми функциями на прямой, т.е. элементами ЧАС даются картами ψ : р С такой, что г Икс | ψ ( Икс ) | 2 конечен, например, гауссовым, ψ ( Икс ) знак равно е Икс 2 / 2 .

Каждый "кет" вы записываете | ψ представляет некоторую карту ψ : р С .

Внутренние произведения двух таких наборов | ψ , | ф просто дано ψ | ф знак равно г Икс ψ * ( Икс ) ф ( Икс ) куда ψ ( Икс ) , ф ( Икс ) являются картами, соответствующими этим кетам.

Простой способ думать о собственной позиции | ф у просто он представляет "функцию" ф у ( Икс ) знак равно дельта ( Икс у ) . Это как раз и есть «собственные функции» позиционного оператора Икс ^ : ЧАС ЧАС который занимает ψ ( Икс ) Икс   ψ ( Икс ) . То есть ф у ( Икс ) - единственные функции, которые решают уравнение на собственные значения Икс ^ ф у ( Икс ) знак равно λ ф у ( Икс ) с собственным значением λ знак равно у . Причина кавычек вокруг слова функция и собственная функция заключается в том, что ф у ( Икс ) не интегрируемы с квадратом, то есть они на самом деле не ЧАС .

Уточнение и строгость этих понятий является предметом функционального анализа.

Итак, я понимаю, что следующие эквиваленты: Ψ ( Икс , т ) знак равно Икс | ψ знак равно дельта ( Икс у ) ψ г у Это правильно?
Бросьте т и да, это становится тривиальной идентичностью.
Упс. Я имел в виду: Ψ(x,t)=⟨x|ψ⟩=∫δ(x−y)ψ(t)dy
Но при вычислении этого интеграла... дельта ( Икс у ) ψ ( т ) г у знак равно ψ ( т ) дельта ( Икс у ) г у знак равно ψ ( т ) Что значит... Ψ ( Икс , т ) знак равно ψ ( т ) . Но как это может быть?
Нет, это все стационарные состояния. Он должен читать ф у | ψ знак равно г Икс дельта ( Икс у ) ψ ( Икс ) знак равно ψ ( у ) . Если вы настаиваете на времени развития состояния, вы должны написать кет | ψ ( т ) которая затем представляет эволюционирующую во времени волновую функцию ψ ( Икс , т ) . Тогда вы получите ф у | ψ ( т ) знак равно г Икс дельта ( Икс у ) ψ ( Икс , т ) знак равно ψ ( у , т )
Я не уверен, почему у меня такие проблемы с этим. Я знаю, что в сущности это не такая сложная концепция, но что-то во всем этом меня сбивает с толку. Хорошо... возьмем бесконечный квадрат. Чтобы все выглядело лучше, я уплотняю константы... Ψ ( Икс , т ) знак равно А с я н ( н к Икс ) е я ю т Так Ψ ( Икс , т ) знак равно А с я н ( н к Икс ) е я ю т знак равно дельта ( Икс у ) ψ ( т ) г у Это правильно?
Внутри интеграла должно быть Ψ ( у , т ) вместо ψ ( т ) .
Моя книга говорит Ψ ( Икс , т ) знак равно Икс | ψ ( т ) . Поэтому я не понимаю, почему это также должно быть функцией y.

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

Вектор | С является полностью абстрактным элементом векторного пространства, которое с помощью постулата должно представлять полностью состояние системы. Допустим, у вас есть наблюдаемая А с собственными значениями а и соответствующие собственные состояния | а ,

А | а знак равно а | а ,
тогда государство | С можно накинуть на основу { | а } ,
| С знак равно а ψ ( а ) | а .
Сбор коэффициентов ψ ( а ) волновая функция, связанная с состоянием С в базисе, определяемом наблюдаемой А . Если наблюдаемый А имеют непрерывные собственные значения, то указанная выше сумма заменяется интегралом и набором { ψ ( а ) } имеет бесконечные элементы и на самом деле является непрерывной функцией от переменной а .

Теперь рассмотрим конкретный пример состояния системы в базисе, определяемом положением. Если оператор Икс ^ имеет собственное состояние | Икс с собственным значением Икс , тогда

Икс ^ | Икс знак равно Икс | Икс ,
Поскольку волновая функция этого состояния просто ψ ( Икс ) , приведенное выше уравнение можно записать как
Икс ψ ( Икс ) знак равно Икс ψ ( Икс ) ( Икс Икс ) ψ ( Икс ) знак равно 0.
Последнее уравнение говорит, что ψ ( Икс ) отличен от нуля только тогда, когда Икс знак равно Икс , т.е.
ψ ( Икс Икс ) знак равно дельта ( Икс Икс ) .
Теперь рассмотрим внутренний продукт произвольного состояния
| С знак равно ψ ( Икс ) | Икс г Икс ,
с собственным состоянием позиции | Икс ,
Икс | С знак равно дельта ( Икс Икс ) ψ ( Икс ) г Икс знак равно ψ ( Икс ) .
С Икс произвольно, мы можем сказать, что
Икс | С знак равно ψ ( Икс ) ,
что является волновой функцией в представлении положения.