Получение произвольной матрицы повышения из преобразования подобия

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

Я хочу представить произвольный импульс в β ^ направлении, выполнив преобразование подобия кадра, усиленного в г направление к кадру с осями { р 1 , р 2 , β ^ } , позволяя р 1 и р 2 быть любыми двумя взаимно ортонормированными векторами, а также ортогональными β ^ . Таким образом, матрица повышения и матрица преобразования, соответственно,

л "=" ( 1 0 0 0 0 1 0 0 0 0 γ γ β 0 0 γ β γ )

р "=" ( Икс р 1 у р 1 г р 1 0 Икс р 2 у р 2 г р 2 0 Икс β ^ у β ^ г β ^ 0 0 0 0 1 ) "=" ( р 1 Икс р 1 у р 1 г 0 р 2 Икс р 2 у р 2 г 0 β Икс / β β у / β β г / β 0 0 0 0 1 )

Выполняя преобразование подобия,

л ~ "=" р л р Т "=" ( р 1 Икс 2 + р 1 у 2 + γ р 1 г 2 р 1 Икс р 2 Икс + р 1 у р 2 у + γ р 1 г р 2 г ( р 1 Икс β Икс + р 1 у β у + γ р 1 г β г ) / β γ р 1 г β р 1 Икс р 2 Икс + р 1 у р 2 у + γ р 1 г р 2 г р 2 Икс 2 + р 2 у 2 + γ р 2 г 2 ( р 2 Икс β Икс + р 2 у β у + γ р 2 г β г ) / β γ р 2 г β ( р 1 Икс β Икс + р 1 у β у + γ р 1 г β г ) / β ( р 2 Икс β Икс + р 2 у β у + γ р 2 г β г ) / β ( β Икс 2 + β у 2 + γ β г 2 ) / β 2 γ β г γ р 1 г β γ р 2 г β γ β г γ )

Использование взаимной ортогональности для устранения всех компонентов р кроме р 1 г и р 2 г приводит к

л ~ "=" ( 1 + р 1 г 2 ( γ 1 ) р 1 г р 2 г ( γ 1 ) р 1 г β г ( γ 1 ) / β γ β р 1 г р 1 г р 2 г ( γ 1 ) 1 + р 2 г 2 ( γ 1 ) р 2 г β г ( γ 1 ) / β γ β р 2 г р 1 г β г ( γ 1 ) / β р 2 г β г ( γ 1 ) / β 1 + β г 2 ( γ 1 ) / β 2 γ β г γ β р 1 г γ β р 2 г γ β г γ )

И конечный желаемый результат от упражнения

л ~ "=" р л р Т "=" ( 1 + β Икс 2 ( γ 1 ) β 2 β Икс β у ( γ 1 ) β 2 β Икс β г ( γ 1 ) β 2 β Икс γ β Икс β у ( γ 1 ) β 2 1 + β у 2 ( γ 1 ) β 2 β у β г ( γ 1 ) β 2 β у γ β Икс β г ( γ 1 ) β 2 β у β г ( γ 1 ) β 2 1 + β г 2 ( γ 1 ) β 2 β г γ β Икс γ β у γ β г γ γ )

Мое замешательство: в упражнении говорится р 1 и р 2 быть любыми двумя ортонормированными векторами, но мне особенно нужно, чтобы они имели свои г -компоненты быть р 1 г "=" β Икс / β и р 2 г "=" β у / β чтобы получить согласие с матрицей выше. Как я делаю это неправильно, чтобы результат зависел от этих г -компоненты р 1 и р 2 ? Возможно, я должен использовать инвариантность определителя относительно преобразований подобия, | л ~ | "=" | л | , чтобы исключить еще один из тех г -компоненты? Это просто похоже на алгебраический кошмар, и моя матрица настолько близка по форме, что я не думаю, что это правильный подход.

При преобразовании подобия определитель л должен равняться детерминанту л ~ . И, может быть, я неправильно понял проблему, но это не усиление Лоренца в г направление
л "=" [ γ 0 0 β γ 0 1 0 0 0 0 1 0 β γ 0 0 γ ]
Я только что понял порядок вашего 4 компоненты -vectors нестандартны - вы пишете их как:
[ Икс у г т ]
Стандартный заказ на 4 -векторные компоненты:
[ т Икс у г ]
На самом деле это не имеет значения, но вы можете иметь это в виду при публикации вопросов.
Я действительно не понимаю, что ты делаешь. Это матрица для произвольного усиления Лоренца с использованием перпендикулярных и параллельных векторов:
л "=" [ я + γ 1 в 2 в в Т γ в Т γ в Т γ ]
Если его развернуть, то он должен соответствовать желаемому результату от упражнения — с помощью вашего 4 -векторная запись. А если установить β Икс "=" β у "=" 0 тогда вы сможете восстановить усиление Лоренца в г направление.
Привет @CinaedSimson. Да, я должен был уточнить, что я работаю в ( Икс , у , г , с т ) соглашение (отредактировал мой пост, чтобы включить это). Я понимаю форму произвольной матрицы повышения, я пытаюсь понять, как это не требует от меня р 1 г и р 2 г быть этими конкретными значениями.
Хорошо, пусть р "=" р + р и р в "=" р в . Затем
т "=" γ ( т р в с 2 )
р "=" р + ( γ 1 ) р γ в т
. Заменять, р "=" р р , и р "=" ( р в в ) в в - где р в является проекцией р на в , и в в является единичным вектором - в р . Следовательно, р "=" р + ( γ 1 в 2 р в γ т ) в .
@CinaedSimson Извините, но я не совсем уверен, насколько это относится к моему вопросу. Я пытаюсь устранить всю зависимость от ортогональных направлений в моей общей матрице повышения, чтобы получить ту окончательную матрицу, которую я записал (с преобразованием подобия). Это почти там.
Это векторные уравнения для произвольного преобразования Лоренца из р р :
р "=" р + ( γ 1 в 2 р в γ т ) в
т "=" γ ( т р в с 2 )
Преобразование их в матрицу для сравнения с желаемым результатом остается вам в качестве упражнения.
@CinaedSimson Мой вопрос не в том, как превратить произвольное преобразование Лоренца в матрицу, я это понимаю. Он получает произвольную матрицу повышения из преобразования подобия . Я ценю ваш вклад, но, опять же, все, о чем я прошу, это разъяснения по самому последнему шагу моего вопроса. Возможно, то, как я спросил, слишком сложно для понимания.
@ArtBrown А, да, спасибо!
Преобразование подобия, т. е. вращение в пространстве, имеет значение между кадрами, покоящимися друг относительно друга. Так что давайте С О Икс у г т ваш начальный кадр, С α О α Икс у г α т α рама усилена в г направление и С β О β Икс β у β г β т β рама усилена в β ^ направление. Чтобы совершить вращение в пространстве из С α к С β эти кадры должны находиться в покое относительно друг друга, но...
... это невозможно , если β ^ ( г β ^ ) г ^ .
Матрица Лоренца, заданная как л ~ в вашем вопросе, идентичном тому, который указан в комментарии @Cinaed Simson
л "=" [ я + γ 1 в 2 в в Т γ в Т γ в Т γ ]
недействителен для произвольных конфигураций, но для того, что я называю стандартной конфигурацией , см., например, рисунок 01 в моем ответе здесь: это опечатка в выводе Дэвида Тонга о спин-орбитальном взаимодействии? .
Чтобы увидеть, как эта общая Стандартная конфигурация подтверждается хорошо известной Стандартной конфигурацией в Икс ось см. РАЗДЕЛ B в моем ответе здесь (как «user82794» в прошлом): два набора координат каждый в кадрах O и O ′ (преобразование Лоренца)
Преобразование подобия — это преобразование поля, происходящее после 4 -вектор был преобразован Лоренцем. И так как вы, кажется, выступаете по крайней мере 2 чистый импульс 2 разных направлениях - и, возможно, с 2 разных скоростях, кадры Лоренца прецессировали бы - и вы не можете вернуться к исходному кадру без составного усиления и отдельного 3 г космическое вращение. См. Томас Прецессион " en.wikipedia.org/wiki/Thomas_precession " и комментарии @Frobenius.
@Cinaed Simson: ИМО, ваш поясняющий комментарий выше должен быть подсказкой в ​​​​ответе. Кстати, два последовательных преобразования Лоренца (симметричных) в двух разных направлениях дают преобразование Лоренца (симметричное) и вращение Томаса (или Вигнера) ( статическое), а не прецессию (движение). Кроме того, здесь у нас есть противоречие: я думаю, что OP даст награду +50 за принятый полный ответ, но для последнего недопустимо быть полным, поскольку модерация пометила его как домашнее задание и упражнения .
@Frobenius Спасибо за вклад. Я не уверен, что понимаю ваш комментарий о том, что это вращение невозможно, если β ^ г ^ , можно уточнить? Вы хотите сказать, что проблема в корне ошибочна? Вся суть в том, чтобы посмотреть β ^ г ^ , с конечно β ^ "=" г ^ удовлетворен как частный случай. Это упражнение под вопросом. я встраиваю р в С О ( 3 , 1 ) о , это меняет вашу невозможность?
@CinaedSimson Можете ли вы пояснить, как я «выполняю как минимум 2 чистых ускорения в 2 разных направлениях - и, возможно, с 2 разными скоростями»? Вся цель этой задачи, по крайней мере, так я думал, состояла в том, чтобы просто просмотреть г повысить как произвольный, повернув на другой кадр, который β ^ как его г -ось. Следовательно, один чистый буст рассматривается произвольно. Прошу прощения, что так долго тянул с этим, не уверен, что я больше надеюсь получить от этого подхода.

Ответы (2)

Признаюсь, меня не совсем устраивает эта проблема. (Посмотрите на мою первую попытку ответа.)

Несмотря ни на что, я думаю, что р 1 и р 2 ограничены требованием, чтобы преобразование Лоренца л ~ быть чистым стимулом; то есть, что пространственные векторы, перпендикулярные направлению усиления β / β остаются без изменений по л ~ . (Эти векторы образуют двумерное собственное пространство с собственным значением 1.)

В частности, решение л ~ р 1 "=" р 1 и л ~ р 2 "=" р 2 (или его компоненты) дает 2 условия, которые удовлетворяются при выборе р 1 г "=" β Икс / β и р 2 г "=" β у / β .

Например, Икс -компонент л ~ р 1 "=" р 1 упрощается до:

р 1 Икс р 1 г + р 1 у р 2 г + р 1 г β г / β "=" 0

С заменами это уравнение становится внутренним продуктом р 1 и β , который обращается в нуль в силу ортогональности р 1 и β .

Другие компоненты дают такое же или подобное уравнение, которое удовлетворяется теми же заменами.

ОБНОВЛЯТЬ:

Теперь все ясно. Мой ответ выше был проблематичным, поскольку он накладывал некоторые дополнительные ограничения на р 1 ^ и р 2 ^ помимо того, что они ортонормированы друг к другу и β ^ , а в задаче говорилось, что должна работать любая ортонормированная пара. В самом деле, любая такая пара р 1 ^ и р 2 ^ дает симметричный л ~ , и, следовательно, чистый импульс, так почему же должны требоваться дополнительные ограничения?

Ответ состоит в том, что дополнительные ограничения не требуются, если выбрать матрицу р вращать г ^ в β ^ ( р г ^ "=" β ^ ). Конкретно, р должен был быть транспонированием того, который вы использовали. С этим изменением выполненный вами расчет дает ожидаемый результат без каких-либо дополнительных ограничений на р 1 ^ и р 2 ^ необходимый.

(Наоборот, с версией р вы наняли, было необходимо, чтобы р 1 г "=" β Икс / β и р 2 г "=" β у / β так что г ^ был превращен в β ^ .)

Не могли бы вы уточнить, как эти условия являются результатом требования неизменности собственного времени? Кажется, это моя задержка
@dsm, моя идея была неверной, извините. Я думаю, что мой пересмотренный ответ лучше.
Требование л ~ р 1 "=" р 1 и л ~ р 2 "=" р 2 имеет смысл, но я не могу заставить их выскочить р 1 г "=" β Икс / β и р 2 г "=" β у / β . В моей самой упрощенной форме л ~ я устранил β Икс и β у используя ортогональность, и я не вижу, как эти компоненты возвращаются в игру из этих двух матричных уравнений. Я что-то пропустил?
Я отменил общие множители в уравнении. То, что осталось, можно было бы выразить как исчезновение внутреннего продукта р и еще один вектор. Этот второй вектор становится β если две рассматриваемые подводные лодки сделаны стратегически (принося β Икс и т.д. обратно в игру) и удовлетворяющие уравнению по ортогональности.
Аааа, вижу! Спасибо. Это слишком долго сбивало меня с толку. И вместо подстановки мне понятнее просто вычесть условие ортогональности р 1 и β От этого Икс -компонентное уравнение, чтобы увидеть, что мы должны иметь те г -компоненты за счет р 1 (или р 2 при использовании другого уравнения) с произвольным Икс и у компоненты; то есть
р 1 Икс ( р 1 г β Икс / β ) + р 1 у ( р 2 г β у / β ) "=" 0 р 1 г "=" β Икс / β и р 2 г "=" β у / β
Я ценю вашу настойчивость, ура :)

Общая матрица преобразования Лоренца:

л "=" [ γ γ β Т γ β я 3 + γ 1 в в β β Т ]

если вы вращаете матрицу Лоренца, то:

β р β

где R 3 × 3 ортогональная матрица вращения

р Т "=" [ р 1 , р 2 , р 3 ] и р р Т "=" я 3

потому что р β в вашем случае это:

β г [ р 1 г р 2 г р 3 г ]

задействованы только z-компоненты векторов, которые создают матрицу вращения R

Я не знаю, что вы пытаетесь сделать здесь. Почему вы подаете заявку р к β , направление, в котором я вращаю г направление на? И что вы пытаетесь донести с помощью β г ( р 1 г , р 2 г , р 3 г ) Т ? И что такое р 3 ? Все, что я пытаюсь сделать, это устранить р 1 г и р 2 г в моем окончательном выражении, чтобы получить эту окончательную матрицу; т.е. не зависеть ни от каких компонент ортогонального р направления.