6.5: On Parameterization and Integration
( \newcommand{\kernel}{\mathrm{null}\,}\)
The explicit performance of the bilateral multiplication provides the connection between the parameters of rotation and the elements of the 4×4 matrices. We consider here only the pure rotation generated by
U=exp(−iϕ2ˆu⋅→σ)
Let
l0=cosϕ/2,l1=sinϕ/2ˆu1
l2=sinϕ/2ˆu3,l3=sinϕ/2ˆu3
u1=cos(ˆu⋅ˆx1),…, etc.
u21+u22+u23=1
(k′1k′2k′3)=(l20+l21−l22−l232(l1l2−l0l3)2(l1l3+l0l2)2(l1l2+l0l3)l20−l21+l22−l232(l2l3−l0l1)2(l1l3−l0l3)2(l2l3+l0l1)l20−l21−l22+l23)=(k1k2k3)
Such expression are, of course not very practical. One usually considers infinitesimal relations with the parameters dϕμk. Integration of the infinitesimal operations into those of the finite group can be achieved within the general theory of Lie groups and Lie algebras.
In our approach the integration is achieved by explicit construction for the special case of the restricted Lorentz group. This is the first step in our program of using group theory to supplement or replace method of differential equations.