The Lie Algebra of Screws and Its Application - helix
The Lie Algebra of Screws and Its Application - helix
The Lie Algebra of Screws and Its Application - helix
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
WKH OLH DOJHEUD RI VFUHZV<br />
DQG LWV DSSOLFDWLRQV<br />
Dgroi NDUJHU<br />
Idfxow| ri Pdwkhpdwlfv dqg Sk|vlfv<br />
Fkduohv Xqlyhuvlw|/ Sudjxh<br />
h0pdlo ndujhuCnduolq1p1fxql1f}<br />
Devwudfw1 Wkh dojheud ri vfuhzv lv xvhg lq glhuhqw irupv lq phfkdqlfdo<br />
dssolfdwlrqv/ wkh xqghuo|lqj uhdvrq lv wkdw lw lv wkh Olh dojheud ri wkh glvsodfh0<br />
phqw jurxs1 Wklv jurxs kdv d qdwxudo uhdol}dwlrq e| xvlqj gxdo txdwhuqlrqv1<br />
Zh vkrz frqqhfwlrqv ehwzhhq glhuhqw dssurdfkhv wr vfuhzv dqg wkhlu jhqhu0<br />
dol}dwlrqv wr qrq0Hxfolghdq jhrphwulhv1 Vrph dssolfdwlrqv ri vfuhz wkhru| wr<br />
vlqjxodu srvlwlrqv ri vhuldo dqg sdudooho pdqlsxodwruv duh phqwlrqhg1<br />
41 Dojheudlf dssurdfk wr wkh dojheud ri vfuhzv1<br />
DyhfwruvsdfhD q ri glphqvlrq q ryhu lv fdoohg dq dojheud/ li d pxowlsol0<br />
fdwlrq B = D q D q $ D q lv ghqhg lq vxfk d zd| wkdw<br />
d, +x . y, Bz @ xBz . y Bz<br />
e, xB+y . z, @xBy . xBz<br />
iru dq| x> y>z dqg dq| > 5=<br />
Dffruglqj wr wkh surshuwlhv ri B zh uhfrjql}h ydulrxv vshfldo fodvvhv ri<br />
dojheudv/ frppxwdwlyh/ dvvrfldwlyh dojheudv/ dojheudv zlwk xqlw hohphqw/ Olh<br />
dojheudv1 D Olh dojheud O q lv dq dojheud zlwk pxowlsolfdwlrq ghqrwhg e| ^ > `<br />
vxfk wkdw<br />
d, ^x> y` @^y>x`><br />
e, ^x> ^y>z``.^y>^z> x``.^z> ^x> y`` @ 3><br />
iru dq| x> y>z` 5 O q =<br />
H{dpsohv ri dojheudv1<br />
Vrph dojheudv duh xvhg lq nlqhpdwlfv dqg phfkdqlfv iru pdq| |hduv douhdg|/<br />
ohw xv suhvhqw vrph ri wkhp1<br />
4
4,Wkh vlpsohvw qrqwulyldo dojheudv duh wzr glphqvlrqdo frppxwdwlyh dojh0<br />
eudv zlwk xqlw hohphqw 0 wkh| duh h{whqvlrqv ri uhdo qxpehuv1 Lw lv nqrzq wkdw<br />
wkhuh h{lvw h{dfwo| wkuhh dojheudv ri wklv w|sh1 Ohw xv fdoo wkhp G > @ 4> 4> 3=<br />
Wkh| frqvlvw ri hohphqwv ri w|sh @ d . e> zkhuh d> e 5> 5 @ =<br />
G Ã4 lvwkhhogrifrpsoh{qxpehuv/G3 lv wkh dojheud ri gxdo qxpehuv dqg<br />
G4 @ lv wkh dojheud ri grxeoh qxpehuv/ lw lv wkh dojheud ri sdluv ri uhdo<br />
qxpehuv zlwk frpsrqhqw pxowlsolfdwlrq1 Uhdoo|/ li zh ghqh h4 @+4.,@5> h5 @<br />
+4 ,@5> zh rewdlq h 5 4 @ h4> h 5 4 @ h5>h4h5 @3=<br />
5, Ohw Y6 eh wkh 60glphqvlrqdo vsdfh ri yhfwruv lq wkh Hxfolghdq vsdfh/<br />
zkhuh wkh dgglwlrqdo pxowlsolfdwlrq lv wkh yhfwru surgxfw ri yhfwruv1 Y6 lv d Olh<br />
dojheud1 Lw kdv dq dgglwlrqdo surshuw|/ zklfk lq jhqhudo grhv qrw krog1 Lw lv wkh<br />
surshuw| wkdw<br />
x +x y, @+x> y,x +x> x,y> +4,<br />
iru dq| x> y 5> zkhuh +x> y, lv d vxlwdeoh pxowlsoh ri wkh Nloolqj irup1<br />
Uhpdun1 Nloolqj irup +x> x,>x 5 O q lq d Olh dojheud O q lv wkh wudfh ri wkh<br />
pdsslqj y $ ^x> ^x> y`` iru dq| y 5 O q =<br />
Wkhuh h{lvw wzr pruh Olh dojheudv kdylqj wklv surshuw|/ ohw xv suhvhqw wkhp1<br />
Ohw ih4>h5>h6j eh d edvh ri d wkuhh0glphqvlrqdo yhfwru vsdfh1 Ohw xv ghqh<br />
h4 h5 @ h6> h5 h6 @ h4> h6 h4 @ h5= Wkhq 4@5 ri wkh Nloolqj irup lv<br />
+x> x, @+d 5 . e 5 , . f 5 iru x @ dh4 . eh5 . fh6> @ 4> 4> 3= Iru @4zhrewdlq<br />
wkh dojheud Y6 ri ruglqdu| yhfwruv/ iru @ 4 zh rewdlq wkh dojheud frqqhfwhg<br />
zlwk prwlrqv ri Oredwvfkhzvnl sodqh/ li @3> wkhq wkh dojheud lv frqqhfwhg<br />
zlwk sodqh prwlrqv1 Ohw xv ghqrwh wkhvh dojheudv e| Y <br />
6 1<br />
6, Wkh dojheud T ri txdwhuqlrqv lv wkh 70glphqvlrqdo dojheud zlwk edvh<br />
4>l>m>n dqg pxowlsolfdwlrq uxohv l 5 @m 5 @n 5 @4>lm@ml@n>mn@nm@l>nl@ln@m=<br />
T lv d +qrqfrppxwdwlyh, dvvrfldwlyh dojheud zlwk d pxowlsolfdwlyh qrup/ mm @<br />
s<br />
d 5 3 . d 5 4 . d5 5 . d5 6 iru @ d 3 . d4l .d5m .d6n= Zh kdyh m=m @ mm=mm iru<br />
> 5 T= Wkh h{lvwhqfh ri pxowlsolfdwlyh qrup iroorzv wkdw xqlw txdwhuqlrqv<br />
irup d jurxs1<br />
7, Wkh dojheud jo+q, ri vtxduh pdwulfhv ri ghjuhh q lv dq dvvrfldwlyh dojheud<br />
zlwk d xqlw hohphqw e| ruglqdu| pdwul{ pxowlsolfdwlrq/ lw lv dovr d Olh dojheud<br />
zlwk wkh surgxfw ^D> E` @DE ED> D>E 5 jo+q,1<br />
Iurp jlyhq dojheudv zh fdq frqvwuxfw qhz dojheudv e| whqvru pxowlsolfdwlrq<br />
1 Ohw D eh d frppxwdwlyh dqg dvvrfldwlyh dojheud zlwk xqlw hohphqw/ O eh<br />
d Olh dojheud/ ohw id4> ===> d q j eh d edvlv ri D dqg ih4> ===> h p j eh d edvlv ri<br />
O= Ohw xv ghqrwh D O wkh dojheud ri glphqvlrq pq ryhu zlwk edvlv d l <br />
h m >l @ 4> ===> q> m @ 4> ===> p zlwk pxowlsolfdwlrq ^d x> e y` @ de ^x> y`=<br />
Wkh whqvru pxowlsolfdwlrq vljq lv riwhq rplwwhg li wkhuh lv qr srvvlelolw| ri<br />
5
plvxqghuvwdqglqj1 Iurp dojheudv G dqg Y6 zh qrz rewdlq < qhz Olh dojheudv<br />
<br />
G Y 6 iru zklfk wkh htxdwlrq +4, uhpdlqv ydolg1 Rqh ri wkhvh dojheudv/ qdpho|<br />
G3 Y6 lv wkh dojheud V ri vfuhzv/+Y6 4 @ Y6,/ uhdol}hg dv wkh dojheud ri gxdo<br />
yhfwruv/ lwv hohphqv duh ri wkh irup x . y> 5 @3=<br />
Wkh dojheud Y6 ri ruglqdu| yhfwruv zlwk yhfwru surgxfw kdv d qdwxudo pdwul{<br />
uhsuhvhqwdwlrq e| vnhz v|pphwulf pdwulfhv e| wkh pdsslqj = Y6 $ VP6><br />
zkhuh VP6 ghqrwhv wkh Olh dojheud ri vnhz v|pphwulf pdwulfhv ri ghjuhh 6 dqg<br />
3<br />
C x 4 3<br />
4<br />
x5 D @ C 3 x 4<br />
6 x5<br />
x6 3 x4 D = +5,<br />
x6 x5 x4 3<br />
Uhpdun1 Wzr dojheudv duh fdoohg lvrprusklf l wkhuh h{lvw rqh wr rqh fruuh0<br />
vsrqghqfh ehwzhhq wkhlu hohphqwv zklfk suhvhuyhv doo rshudwlrqv1 Wklv phdqv<br />
wkdw iurp dojheudlf srlqw ri ylhz vxfk dojheudv duh wr eh frqvlghuhg wkh vdph1<br />
Wkh pdsslqj iurp +5, lv dq lvrprusklvp ri wkh dojheud Y 4 6 wr wkh dojh0<br />
eud VP6= Iurp wklv idfw zh vhh wkdw vfuhzv fdq eh uhsuhvhqwhg dovr dv vnhz0<br />
v|pphwulf pdwulfhv ri ghjuhh 6 zlwk gxdo qxpehuv dv wkhlu hohphqwv1 Vlplodu<br />
frqvlghudwlrqv duh ydolg iru rwkhu dojheudv iurp G Y <br />
6 > zh ohdyh rxw ghwdlov1<br />
Lq wklv sduw zh kdyh vkrzq wkdw wkh dojheud ri vfuhzv lv rqh ri wkh vshfldo Olh<br />
dojheudv/ zklfk duh h{whqvlrqv ri wkh dojheud Y6 dqg Y6 ehorqjv wr wkh fodvv ri<br />
Olh dojheudv vdwlvi|lqj +4,1<br />
51 Olh jurxsv dssurdfk wr wkh dojheud ri vfuhzv1<br />
Wkh wudglwlrqdo dssurdfk wr vfuhzv lv wr xqghuvwdqg wkhp dv lqqlwhvlpdo<br />
prwlrqv1 Lq prghuq whuplqrorj| wklv zrxog phdq wkdw zh ghqh wkhp dv yhfwru<br />
hogv zklfk surgxfh hohphqwdu| prwlrqv dv wkhlu wudmhfwrulhv +lqwhjudo fxuyhv,1<br />
Ohw J eh d Olh jurxs ri wudqvirupdwlrqv ri d pdqlirog P= Wklv phdqv wkdw<br />
zh kdyh d glhuhqwldeoh pdsslqj ! = J P $ P vxfk wkdw !+j, =P $ P lv d<br />
glhrprusklvp ri wkh pdqlirog P iru hdfk j 5 J dqg !+jk, @!+j, !+k, iru<br />
doo j>k 5 J=<br />
Qrz zh xvh wkh iroorzlqj frqvwuxfwlrq=<br />
Ohw xv wdnh d wdqjhqw yhfwru [ 5 W h +J, dw wkh xqlw hohphqw h ri wkh jurxs<br />
J= Zh fkrrvh d fxuyh j+w, rqJ vxfk wkdw j+3, @ h> j 3 +3, @ [= Iru dq| srlqw<br />
p 5 P zh rewdlq wkh fxuyh !+j+w,,p= Ghqrwh [ p @ ^!+j+w,,`3w@3 iru hyhu|<br />
p 5 P= Lq wklv zd| zh rewdlq d yhfwru hog [ rq wkh pdqlirog P> ohwxvghqrwh<br />
+P, wkhvhwridoovxfkyhfwruhogv1<br />
Dw uvw zh frqvlghu wkh vshfldo fdvh zkhuh zh wdnh iru P wkh Olh jurxs J<br />
lwvhoi1 Rewdlqhg yhfwru hogv duh fdoohg ohiw0lqyduldqw yhfwru hogv rq J dqg wkh|<br />
irup d Olh dojheud +J, zlwk rshudwlrq fdoohg Mdfrel eudfnhw ri yhfwru hogv1<br />
6
S<br />
Uhpdun1 Ohw [ @ q l@4 l C S<br />
C{ l<br />
>\@ q l@4 l C<br />
C{ l<br />
eh wzr yhfwru hogv rq d pdq0<br />
lirog zlwk orfdo frruglqdwhv { l >l@4> ===> q> i+{4>===>{ q ,> l @ l +{4> ===> { q ,> l @<br />
l +{4>===>{ q ,= Wkhq wkh Mdfrel eudfnhw ^[> \ ` ri yhfwru hogv [ dqg \ lv ghqhg<br />
e|<br />
S<br />
^[> \ `i @<br />
m@4^ q qS<br />
l@4 +l C m<br />
C{ l<br />
l Cm<br />
C{ l<br />
` Ci<br />
C{ m<br />
1<br />
Dq| yhfwru [ 5 W h +J, jhqhudwhv d xqltxho| ghqhg ohiw0lqyduldqw yhfwru<br />
hog [ rq J dqg yhfwru hog [ rq P= Dw W h +J, zh fdq ghqh wkh rshudwlrq<br />
^[> \ `@^[ > \`h iru [> \ 5 W h +J, dqg zh rewdlq d Olh dojheud vwuxfwxuh rq<br />
W h +J,= Wkh Olh dojheud W h +J, lv lvrprusklf zlwk +J, dqg li wkh dfwlrq ri J rq<br />
P lv hhfwlyh +rqo| d glvfuhwh vhw lq J |lhogv wkh lghqwlw| rq P,/ lw lv lvrprusklf<br />
zlwk +P,1<br />
Zh vkdoo qrz dsso| wklv frqvwuxfwlrq wr wkh Olh jurxs ri glvsodfhphqwv ri<br />
wkh Hxfolghdq vsdfh dqg zh rewdlq wkuhh lvrprusklf uhdol}dwlrqv ri wkh dojheud<br />
ri vfuhzv1<br />
Ohw xv frqvlghu dw uvw wkh wdqjhqw vsdfh ri J dw wkh xqlw hohphqw h= Zh<br />
vkdoo qhhg wzr frqvhtxhqfhv ri +5,1 Ohw { @+{4>{5>{6, W >| @+|4>|5>|6, W eh<br />
wzr froxpq yhfwruv/ W ghqrwhv wkh wudqvsrvh1 Wkhq<br />
+{ |, @+{,+|, +|,+{, @^+{,>+|,` @ +{,| +6,<br />
dqg {| W |{ W @ { |=<br />
Ohw xv frqvlghu wkh Olh dojheud O 7 ri pdwulfhv ri ghjuhh irxu ri wkh w|sh<br />
3 {<br />
W<br />
[ @<br />
> zkhuh { dqg | duh 60froxpqv frqvlghuhg dv ruglqdu| yhfwruv<br />
{ +|,<br />
lq dq ruwkrqrupdo edvlv dqg @4> 4> 3= <br />
3 {<br />
W<br />
Iru wzr pdwulfhv [4 @ 4<br />
3 {<br />
W<br />
dqg<br />
{4 +|4,<br />
[5 @ 5 ri wklv w|sh<br />
{5 +|5,<br />
zh rewdlq<br />
<br />
3 {<br />
W<br />
^[4>[5` @<br />
4 3 {<br />
W<br />
5 3 {<br />
W<br />
5 3 {<br />
W<br />
4 @<br />
<br />
{4 +|4, {5 +|5, {5 +|5, {4 +|4,<br />
<br />
3 ++|5,{4 . +|4,{5, W<br />
+|4,{5 +|5,{4 +{4{ W 5 {5{ W @<br />
<br />
4 ,.+|4,+|5,<br />
<br />
+|5,+|4,<br />
3 +|4 {5 |5 {4, W<br />
=<br />
|4 {5 |5 {4 +{4 {5 . |4 |5<br />
Rq wkh rwkhu vlgh<br />
+|4 . {4, +|5 . {5, @|4 |5 . +|4 {5 |5 {4,. 5 {4 {5,= <br />
3 {<br />
W<br />
Zh ghqh d fruuhvsrqghqfh zklfk pdsv wkh pdwul{<br />
wr wkh<br />
{ +|,<br />
yhfwru | . {1 Wkhq<br />
7
+^[4>[5`, @ +{4 {5 . |4 |5,.+|4 {5 |5 {4,=<br />
Wklv vkrzv wkdw lv dq lvrprusklvp ri O 7 wr G Y6 + 5 @ ,= Iru @3<br />
zh rewdlq wkh Olh dojheud ri wkh glvsodfhphqw jurxs ri wkh Hxfolgldq vsdfh dqg<br />
wklv lv lvrprusklf wr V1 Iru @ 4 zh rewdlq wkh Olh dojheud ri vnhz0v|pphwulf<br />
77 pdwulfhv/ zklfk lv wkh Olh dojheud ri wkh glvsodfhphqw jurxs ri wkh vskhulfdo<br />
vsdfh/ iru @ 4 zh rewdlq vlplodu vlwxdwlrq iru wkh k|shuerolf +Oredwvfkhzvnl,<br />
jhrphwu|1<br />
Ohw xv uhsuhvhqw wkh Olh jurxs J ri vsdfh glvsodfhphqwv e| pdwulfhv ri wkh<br />
4 3<br />
w|sh j @ > zkhuh s lv d 60froxpq dqg u lv d 6 6 ruwkrjrqdo pdwul{1<br />
s u<br />
<br />
4 3<br />
3 3<br />
Ohw xv wdnh d fxuyh j+w, rqJ vxfk wkdw j+3, @ >j<br />
3 H<br />
3 +3, @<br />
=<br />
{ +|,<br />
Dq| srlqw D @^d4>d5>d6`W 5 H6 kdv wudmhfwru| j+w,D dqglwvwdqjhqwyhfwrulv<br />
[ D @ { . | D= Wklv |lhogv wkh iroorzlqj edvlv iru wkh fruuhvsrqglqj yhfwru<br />
hogv<br />
\4 @ d6 C<br />
Cd 5<br />
d5 C<br />
Cd 6<br />
>\5 @ d6 C<br />
Cd 4<br />
d4 C<br />
Cd 6<br />
>\6 @ d5 C<br />
Cd 4<br />
d4 C<br />
Cd 5<br />
><br />
[4 @ C<br />
Cd 4<br />
>[5 @<br />
C<br />
Cd 5<br />
>[6 @<br />
C<br />
Cd 6<br />
1<br />
Lq wklv zd| zh rewdlq wkh vwdqgdug uhsuhvhqwdwlrq ri vfuhzv dv lqqlwhvlpdo<br />
prwlrqv1<br />
Dv wkh jurxs ri xqlw gxdo txdwhuqlrqv uhsuhvhqw dovr wkh jurxs ri vsdfh<br />
glvsodfhphqwv/ zh fdq uhsuhvhqwv vfuhzv dovr dv lpdjlqdu| gxdo txdwhuqlrqv lq<br />
wkh irup v @+|4 . {4,l .+|5 . {5,m .+|6 . {6,n= Dv txdwhuqlrqv fdq eh dovr<br />
uhsuhvhqwhg e| 5 5 pdwulfhv/ zh fdq dovr uhsuhvhqw vfuhzv e| 5 5 pdwulfhv<br />
zlwk gxdo hohphqwv1<br />
Vfuhzv duh hvvhqwldo iru wkh vwxg| ri vlqjxodu frqjxudwlrqv ri vhuldo dqg<br />
sdudooho pdqlsxodwruv/ ehfdxvh vxfk frqjxudwlrqv duh fkdudfwhul}hg e| wkh olq0<br />
hdu ghshqghqfh ri vfuhzv ri wkhlu d{hv iru vhuldo urerw pdqlsxodwruv dqg e| wkh<br />
olqhdu ghshqghqfh ri vfuhzv ri wkh ohjv iru d sdudooho pdqlsxodwruv1<br />
Dnqrzohgjhphqw1 Uhvhdufk ri wklv sdshu zdv vxssruwhg e| wkh judqwv<br />
JDFU 5342