Математика проблемы собственных значений в квантовой механике

Я изучал проблему собственных значений в линейной алгебре раньше и обнаружил, что квантовая механика связывает уравнение Шрёдингера с проблемой собственных значений. В линейной алгебре мы всегда задаем матрицу определенного размера (например, 4x4), поэтому поиск собственных значений идентичен решению соответствующего векового уравнения. В квантовой механике в большинстве случаев кажется, что размерность матрицы неизвестна или очень велика, так как же в таком случае найти собственное значение? Я просто увидел проблему в книге, если мы знаем А | а "=" а | а и А | б "=" б | б для эрмитова оператора А . Каково собственное значение оператора Гамильтона? ЧАС "=" | а б | + | б а | . Меня это так сбивает с толку, потому что, если мы не знаем матрицу и элементы, как мы можем написать вековое уравнение и найти собственные значения? Извините, я раньше не посещал занятия по квантовой механике, я изучаю все это сам, поэтому могу ошибаться в каком-то утверждении выше.

Это всего лишь замечание, а не ответ на ваши вопросы, но я хотел упомянуть, что в типичных физических системах гильбертово пространство должно иметь бесконечную размерность. Это применимо более точно, когда у вас есть пара канонически сопряженных переменных, скажем, оператор положения д ^ и оператор импульса п ^ . По определению «канонически сопряженных» они удовлетворяют [ д ^ , п ^ ] "=" я Идентификатор (до знака). Если размерность конечна, то след любого оператора определен, и взятие следа этого отношения приводит к противоречию.

Ответы (5)

В принципе, оператор ЧАС не является матрицей. Однако вы можете записать матричное представление. Для этого вам нужен базис, который должен быть полным (= очень большая матрица, возможно, бесконечно большая) — для многих иллюстрирующих случаев в квантовой механике он неполный.

Если ваша основа состоит из | а и | б , он не полный, но вы все равно можете красиво описать некоторые эффекты.

Вы привели пример ЧАС "=" | а б | + | б а | , Который означает, что ЧАС это (это просто другой способ написать это)

ЧАС "=" ( 0 1 1 0 ) ,

и вы можете вычислить его собственные значения.

Для общей гамильтоновой матрицы 2x2 формула имеет вид

ЧАС "=" я , Дж с я , Дж | я Дж | "=" ( с 1 , 1 с 1 , 2 с 2 , 1 с 2 , 2 )

я и Дж может принимать значение а и б .

Матрица представляет собой матрицу 2x2, потому что гамильтониан содержит только два вектора, а и б .

Как преобразовать оператор Гамильтона в матрицу, хорошо объясняется в Википедии (первые четыре формулы раздела). Если это уже в абстрактной форме ЧАС "=" | а б | + | б а | , вы можете просто прочитать это: префактор | а а | ( "=" 0 ) — верхняя левая запись, префактор | а б | ( "=" 1 ) — верхняя левая запись и т. д.

Вам не нужно знать явную форму базиса, в котором написана матрица. Помните, что собственные значения матрицы инвариантны к унитарным преобразованиям.

вау, меня так шокирует, что даже мы не знаем форму или |a> и |b>, мы все еще можем написать матричную форму H? Как ты это делаешь? Как можно извлечь информацию из ЧАС "=" | а б | + | б а | чтобы получить недиагональный матричный элемент равным 1? А откуда вы знаете, что H равно 2x2? Извините, есть некоторые термины, которые я не понимаю из вашего ответа, но я предполагаю, что вы имеете в виду, что мы можем выбрать векторы в качестве основы, а также мы можем выбрать в качестве основы другие матрицы. Итак, в последнем уравнении, которое вы показываете, вы выбираете матрицу | я Дж | в качестве основы для расширения H, не так ли?
«Как извлечь информацию из ЧАС "=" | а б | + | б а | так, чтобы недиагональный матричный элемент был равен 1?": каков префактор | б а | ? Или, точнее, что такое б | ЧАС | а если | а , | б ортогональны?

Вам нужно понимать разницу между линейным преобразованием T и матрицей A, которая его представляет. Элементы A зависят от конкретного базиса, в котором вы работаете. Вы должны вспомнить из линейной алгебры, что для нахождения столбцов A вы применяете T к базисным векторам.

Например, в вашей задаче гамильтониан ЧАС ^ играет роль Т, а { | а , | б } является вашей основой. Если вы подаете заявку | а к ЧАС ^ , Вы получаете

ЧАС ^ | а "=" | а б | а + | б а | а "=" | б .

Обратите внимание, что этот расчет совершенно не зависит от представлений векторов и гамильтониана.

Теперь относительно выбранного нами базиса вам должно быть ясно, что вектор | а представлена ​​упорядоченной парой ( 1 0 ) и | б представлена ​​упорядоченной парой ( 0 1 ) . В терминах матриц и упорядоченных пар соотношение ЧАС ^ | а "=" | б будет написано

А ( 1 0 ) "=" ( 0 1 ) ,
поэтому первый столбец A равен ( 0 1 ) . Вы можете найти второй столбец A, применив | б к ЧАС ^ . Затем, когда у вас есть матрица, вы можете найти собственные значения и собственные векторы обычным способом.

Я собирался опубликовать что-то подобное, но Конрад успел первым. Для пользователя OP1285419: проблема собственных значений может быть определена для любого линейного оператора. Например, г 2 у г Икс 2 "=" к у , простое гармоническое уравнение, является проблемой собственных значений! (поищите Штурм-Лиувилль). Решения этой ОДУ, у , — собственные функции линейного оператора г 2 г Икс 2 . Делает г 2 г Икс 2 есть матричное представление? Да - например, выбор основы { 1 , Икс , Икс 2 , } , для него можно написать бесконечномерную матрицу. а главное что не надо!

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

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

Спасибо, Марк. Я не совсем понимаю эту мысль, я знаю, что она верна (читал подобное высказывание в книге). Мой вопрос в том, что даже если мы не знаем явную форму |a> и |b>, можем ли мы все же знать, что собственные значения H? Кроме того, вы сказали, что собственные значения равны +/-1, так каков соответствующий собственный вектор? Я пытаюсь применить H к |a> или |b>, но это не возвращает мне |a> или |b>, поэтому я знаю, что они не являются собственными векторами. Кажется, что |a>+|b> могут быть собственными векторами, но я не знаю почему (просто догадываюсь)
Что вы подразумеваете под «явной формой |a> и |b>»? Они являются векторами в векторном пространстве. Мы знаем, что они ортогональны. Что еще вы хотите от них? Собственными векторами являются |a> + |b> и |a> - |b>.

Проблемы с собственными значениями гораздо более общие, чем то, что вы видите в матрицах. Например, вы можете искать решения проблемы собственных значений

г г Икс у "=" λ у

решить для λ . Решение, конечно, у "=" е λ Икс и λ может быть континуумом. Если вы наложите некоторые другие граничные условия, вы можете получить дискретный спектр λ .

Если вы настаиваете на матричном представлении, вы можете использовать ортогональные функции в качестве «базисных векторов» и их отношения ортогональности для определения внутреннего продукта. Прочтите о квантовом гармоническом осцилляторе, и полиномы Эрмита являются ортогональной основой для расширения решения, которое также позволяет точно решить дифференциальное уравнение.

Эта матрица имеет только 2 состояния | а > и | б >

тогда это будет матрица 2x2

с элементами

а 1 , 1 =< а | а >< б | а > + < а | б >< а | а >

а 1 , 2 "=" а 2 , 1 =< а | а >< б | б > + < а | б >< а | б >

а 2 , 2 =< б | а >< б | б > + < б | б >< а | б >

Из этой матрицы вы можете оценить собственные значения