Если есть композиционное преобразование полуоператора поворота, то оно эквиввалентно экспоненте от композиционного преобразования угла половинного поворота:
Teφ/2ˉT=eTφ/2ˉTTeφ/2¯T=eTφ/2¯T
Сам угол поворота φφ является аксиальной величиной и к нему всегда можно добавить 2π2π в его же направлении целое число раз, в том числе отрицательное:
eφ=eφ+2πnJeφ=eφ+2πnJ
Здесь через JJ обозначена условная ориентированная мнимая единица в базисе i,j,ki,j,k:
J=φ/|φ|J=φ/|φ|
J2=−1J2=−1
JJ по направлению сонаправлено вектору φφ.
Соответственно, при применении композиционного преобразования к такому кратному сколько угодно раз углу возникает вопрос - будет ли столь же кратно увеличиваться наводимая индукцией быстрота?
В силу того, что JJ сонаправлен вектору φφ, следует справедливым полагать равенство:
eφ+2πnJ=eφe2πnJeφ+2πnJ=eφe2πnJ
Teφ+2πnJˉT=TeφˉTTe2πnJˉTTeφ+2πnJ¯T=Teφ¯TTe2πnJ¯T
И задача сводится к рассмотрению, будет ли возникать наведенная быстрота из единицы. Логично предположить, что поскольку
e2πnJ=1e2πnJ=1
то и результат композиционного преобразования должен быть равен 1.
Чтобы доказать, что
Te2πnˉT=eT2πnJˉTTe2πn¯T=eT2πnJ¯T
не содержит наведенной быстроты, разложим выражение в ряд:
ex=1+x+x22!+x33!+x44!+…ex=1+x+x22!+x33!+x44!+…
И сначала рассмотрим квадрат:
T2πnJˉTT2πnJˉT=−(2πn)2T2πnJ¯TT2πnJ¯T=−(2πn)2
в силу того, что
TˉT=1T¯T=1
J2=−1J2=−1
и для скалярной величины CC выполняется:
TCˉT=CTˉT=CTC¯T=CT¯T=C
Исходя из величины квадрата аргумента угла можно построить все остальные степени. Третья степень:
−(2πn)22πnTJˉT−(2πn)22πnTJ¯T
Четвертая степень:
(2πn)4(2πn)4
Пятая степень:
(2πn)2TJˉT(2πn)2TJ¯T
Получается, что экспоненциальный ряд составляется из членов, не содержащих и содержащих величину TJˉTTJ¯T:
eT2πnJˉT=1+2πnTJˉT−(2πn)22!−−(2πn)22πnTJˉT3!+(2πn)44!+…
Элементы, не содержащие величину TJˉT, группируются в ряд:
1−(2πn)22!+(2πn)44!−…
Это ряд, представляющий функцию тригонометрического косинуса:
cos(2πn)
Для этой функции значение для аргумента 2πn хорошо известно, эт оединица.
Члены разложения, содержащие величину TJˉT, группируются в ряд:
TJˉT(2πn−(2πn)33!+(2πn)55!+…)
Здесь в скобках - ряд, представляющий тригонометрическую функцию синуса
sin(2πn)
Для этой функции и этого аргумента значение также хорошо известно, это ноль. Таким образом, совершенно неважно, чему равно значение TJˉT, поскольку оно умножается на ноль и в итоге весь оператор равен единице.
Кинематическая индукция, оглавление
Комментариев нет:
Отправить комментарий