Диагонализация/собственные значения бесконечномерной матрицы N гармонических осцилляторов на кольце

Я пытался показать, что континуальный предел N квантовых гармонических осцилляторов порождает поле Клейна-Гордона. Однако вместо обычной конечной струны я хочу сделать это на кольце. Следовательно, мой лагранжиан

л "=" м 2 ( д 1 ˙ 2 + д 2 ˙ 2 + . . . . д н ˙ 2 ) м ю 2 2 [ ( д 1 д 2 ) 2 + ( д 2 2 д 3 2 ) + . . . . ( д н д 1 ) 2 ]

Так что матрица для V равна

В "=" ( 2 1 0 . . . 1 1 2 1 0 1 2 1 . . . 1 . . . 1 2 )

Так что л "=" м 2 [ Икс ˙ 2 ю 2 Икс Т В Икс ] . Все величины здесь являются матрицами.

Как найти собственные значения этой матрицы?

Я пытался найти рекуррентную связь между характеристическим полиномом Н и Н 1 размерная матрица, но у меня не получилось. Это правильный метод? Какой еще метод есть?

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

Но я застрял на этом. Любая помощь будет оценена.

В некоторых случаях (и думаю, что и у вас может получиться) достаточно использовать анзац д л "=" опыт ( я к л я ю т ) , 1 л н . Попробуйте решить для к и покажите, что у вас есть нужное количество решений ( н решения). Обратите внимание, однако, что в вашем случае вы должны учитывать нулевой режим д л "=" в т -- правильное вращение -- отдельно, так что придется поискать н 1 только решения.
Сначала удалите диагональ «2». Тогда у вас есть матрица В с В "=" ( а + а 1 ) где а н "=" я г . Итак, у вас легко есть собственные значения а . И собственный вектор a также является собственным вектором В . Итак, у вас есть собственные значения В , и добавив 2, из В .
Извините, я забыл ( 1 ) н фактор : а н "=" ( 1 ) н я г
@Trimok, это хорошо, но вам нужно придумать какой-то аргумент, чтобы показать, что вырождения нет, и у вас есть все корни единицы в спектре а .
Интересно, есть ли какая-то глубокая причина, по которой матрица В расширенная матрица Картана для с л ( Н , С ) "=" с ты ( Н ) С , или, точнее, аффинная алгебра Ли с л ^ ( Н , С ) .
@PeterKravchuk: Правильно, но очевидно, нет? : н корни из единицы различны и являются собственными значениями, и их не более н собственные значения для н раз н матрица, поэтому вырождения нет. Кстати, матрица a называется матрицей смещения или матрицей со структурой смещения.
@PeterKravchuk: Может быть, вы оцените другие виды трехдиагональных матриц, такие как эта
@Trimok, я имею в виду, что я г 2 "=" я г , но это не значит, что 1 является собственным значением я г . Наверное, я пропустил ваш аргумент. Спасибо за ссылку.)
@PeterKravchuk : Возможно, вы правы, но ваш контрпример мультипликативен, а в данном случае - аддитивен ( а + а + )
@Trimok, я имею в виду собственные значения а . Откуда ты знаешь, что они не все, скажи, ± 1 ?

Ответы (1)

Вы хотите найти собственные частоты этой системы. Во-первых, обратите внимание на существование нулевой моды:

д л "=" в т + ф л ,
это «равновесие», вращающееся с произвольной скоростью.

Далее имеем уравнения

д ¨ л "=" ю 2 ( 2 д л д л 1 д л + 1 )
и условие периодичности д л + н "=" д л . Применим анзац для собственных векторов
д л "=" А опыт ( я к л я Ом т ) .
Замена читает
Ом 2 "=" ю 2 ( 2 е я к е я к ) "=" 2 ю 2 ( 1 потому что к ) ,
а условие периодичности н к "=" 2 π м , м е Z . Давайте ограничим к к ( 0 , 2 π ) , чтобы исключить двойной счет собственных векторов и нулевую моду. Затем м "=" 1 , , н 1 , а собственная частота:
Ом 2 "=" 2 ю 2 ( 1 потому что 2 π м н ) , м е { 1 н 1 } .
Таким образом, у нас есть н 1 векторы вида д л "=" А опыт ( я к л я Ом т ) с указанной выше собственной частотой и одной нулевой модой, определяемой выражением д л "=" в т + л дельта , дельта является равновесным расстоянием с нулевой частотой. Итак, полный спектр читается как
Ом 2 "=" 2 ю 2 ( 1 потому что 2 π м н ) , м е { 0 н 1 } .
(Обратите внимание, что это полный спектр, так как мы нашли все н собственные векторы).

Изменить: обратите внимание, что пока н м соответствует тому же собственному значению, что и м , у нас есть два разных собственных вектора для каждого собственного значения, потому что А может быть сложным. Например, мы можем взять д л "=" потому что ( к л Ом т ) и д л "=" грех ( к л Ом т ) , к "=" 2 π м н .