Professional Documents
Culture Documents
https://en.wikipedia.org/wiki/Active_and_passive_transformation
Then, with eq. (1.5.11) relation between the rotated and initial coordinate system is
ex 1 z 0 e x ex
ey z 1 0 e y [R θ z ] e y , (2.2.1)
e 0
0 1 e z
z ez
where cos( z ) 1 , sin( z ) z are used. Then, the rotated by z vector c, that is
the vector c ' is expressed by
c 'x 1 z 0 cx cx cx z c y
c ' y z 1 0 c y [R θz ] c y z cx c y . (2.2.2)
c' 0 0 1 c
z cz z cz
Thus, in the first order approximation the rotated vector can be written as
c' c z e z c . (2.2.3)
The above equation can easily be generalized to allow infinitesimal rotations around x and y
axes by x and y , respectively. Infinitesimal rotation matrix about x and y axes are
1 0 0 1 0 y
[R θ x ] 0 1 x , [ R θ y ] 0 1 0. (2.2.4)
0
x 1 y 0 1
One can easily check that the infinitesimal rotation matrices (as they are transformation
matrices they are orthogonal) plus the matrix multiplication operation form an abelian group:
a) closure
[ R θi ][ R θ j ] [ R θij ] and [ R θij ] is orthogonal ( [ R θij ]1 [ R θij ]T ; prove it);
b) associativity
3
[R θi
][ R θ j ] [ R θk ] [ R θi ] [ R θ j ][ R θk ] ;
c) there is an identity orthogonal matrix [ Ι ] (the off-diagonal elements are zero and the
diagonal ones are unity) such as
[ R θi ][ Ι] [ Ι][ R θi ] [ R θi ] ;
d) there is an inverse matrix [ R θi ]1 of [ R θi ] such as
[ R θi ][ R θi ]1 [ R θi ]1[ R θi ] [ Ι] ;
e) the multiplication is commutative
[ R θi ][ R θ j ] [ R θ j ][ R θi ] ;
i, j, k x, y,z and the infinitesimal products i j vanish. Since the vectors and addition
operation form an abelian group, between the vector group and the rotation matrices group
there is an isomorphism defined by the generalization of eq. (2.2.3), that is
c ' R θ c c θ c , (2.2.5)
where the rotation vector is defined by
θ xe x y e y z e z . (2.2.6)
Based on the commutativity of the two groups the above rule of the isomorphism is consistent
since [ R θi ][ R θ j ] [ R θ j ][ R θi ] and consequently [ R θi ][ R θ j ]c [ R θ j ][ R θi ]c (according
to eq.(2.2.5)) means
c i ei j e j c c j e j i ei c ,
which holds true only if i are components of a vector (only if i are components of a
vector the commutativity involved by the above equality holds), that is if, generally, θ is a
vector. Consequently, for a general infinitesimal rotation the rotation vector can be introduced
by the relation
c' c
θc . (2.2.7)
c
For kinematics, the duration of rotation is relevant. Thus, the time derivative
θ
lim ω , (2.2.8)
t 0 t
defines the angular velocity. From the relation θ c c'c c , with c' c(t t ) , we can
write
c(t t ) c(t ) c θ
c lim lim lim c ωc , (2.2.9)
t 0 t t 0 t t 0 t
P2 Vector c of constant magnitude and its time derivative c are perpendicular to each
other.
Proof P2
c c c 2 constant .
The time derivative yields
d c c
2c c 0 ,
dt
that is c c . A geometrical version of the proof is suggested in Fig. 2.
4
c(t+Δt)
Δc
Δθz
c(t)
Δθ
Δθz θ(t)
z
Δc
c
c c'
O y
ω • c
x
θ
Fig. 1 Infinitesimal rotation vector
about z axis of a constant magnitude Fig. 2 Geometrical construction for
vector. relation c c .
b
t(t)
z
Δt
A: s(t)
B: s(t+Δt)
Δr
P
t’
t’=t(t+Δt)
Δϑ
n
O
r
r+Δr R
Δϑ/2
y
A geometrical description might help for an easier understanding of the notions introduced
above. Thus, in Fig. 3, we represented the trajectory of point P in the three dimensional
Euclidean space (trajectory is not restricted to an in-plane curve). An infinitesimal
displacement along arc AB, between s(t) and s(t+Δt), which is a portion of the osculating
circle, is drawn. The osculating circle is the circle of maximum contact with the trajectory at
any point. The osculating circle coincides with the circular trajectory in a circular motion. Its
radius is the radius of curvature. The inverse of the radius of curvature is called curvature.
With the geometry of Fig. 3, we can write
r r s dr ds
v lim lim , (2.3.3)
t 0 t t 0 s t ds dt
and
r 2 R sin
lim lim 2 1, (2.3.4)
t 0 s 0
2R
2
where R is the radius of curvature. To make connection with the tangential and normal
acceleration, we consider a positively defined quantity. By inspection, we observe
r dr
lim t, (2.3.5)
s0 s ds
where t is the tangent vector of magnitude unity. On another hand
s
lim s , (2.3.6)
t 0 t
6
which is positively defined (the arc length is a positive quantity which increases in time) and
we obtain
v st . (2.3.7)
-------------------------------------------------------------------
Next, we introduce the Frenet frame. The motion of point P along a three-dimensional
path is considered in Fig. 3. The tangent direction is defined by the unit tangent vector t. By
differentiating t t 1 with respect to s coordinate, we obtain
dt
t 0,
ds
that is dt ds is a vector perpendicular to the vector t. Geometrically, for the tangent vector
derivative with respect to , we can write (see Fig. 3)
dt 2 t sin
lim 2 1, ` (2.3.8)
d 0 2
2
Regarding the direction, we observe that t tends to be an inward curve vector (oriented
to the interior of the curve) perpendicular to t (this holds since is a positively defined
quantity). The unit vector with this orientation is referred to as the unit normal vector, and is
defined by the relation
dt t
lim n . (2.3.9)
d 0
Then we can write
dt dt d n
, (2.3.10a)
ds d ds R
dt dt ds n
s , (2.3.10b)
dt ds dt R
where the definition for the radius of curvature is introduced by
d 1
, (2.3.11)
ds R
and is curvature. Eq. (2.3.10a) is the first Frenet formula. As ds and d are positive R is
positively defined. Such positive R characterizes the so-called regular curves. A more general
treatment, which uses both positive and negative (or zero) curvatures is a subject of
differential geometry. As connection with kinematics is much more involving when the
general geometrical description of the curve is important, we only give some references on
this subject (see Further reading section).
In addition to the vectors t and n, the unit binormal vector b is introduced by relation
(see Fig. 3)
b tn . (2.3.12)
The Frenet frame is moving along the curve and has a rotating motion. The instantaneous
rotation vector ω D associated to the time variation of the unit vectors t, b, n is (often) called
Darboux vector. It can be obtained in terms of the Frenet characteristics of motion by using
eq. (2.2.9) as follows. The rotation vector is generally written as
ω D t t n n bb (2.3.13)
and with eq. (2.3.10b)
t ωD t n b b n s n (2.3.14)
R
that is n 0 and b s R s . Also
7
t b
n ωD n t b b t s s t b , (2.3.15)
R T
where T is the radius of torsion, and is torsion, and t s T s .
n
b ωD b n t t n s sn (2.3.16)
T
By inspection of eqs. (2.1.13-16) one obtains
s s
ωD t b . (2.3.17)
T R
For a plane curve, T and
s
ωD b (2.3.18)
R
and as both s and R are positive quantities ω has direction of b. Intuitively, the curvature
measures the failure of a curve to be a straight line, while torsion measures the failure of a
curve to be in-plane.
Exercise (2.3.1)
Prove the following relations (Frenet formulae):
dt n
i) s n ;
ds R
dn t b
ii) t b ;
ds R T
db n
iii) n .
ds T
Exercise (2.3.2)
Prove the following relations:
r t r r
i) t ; ii) n ; iii) b ;
r t r r
r r r r r
iv) ; v) .
r
3
r r r r
---------------------------------------------------------------------------------------------------------
Comment
With Fig. 4 one can obtain a more intuitive picture about the definition of curvature. The
angle in Fig. 4 is the angle of slope of the curve (if y y ( x ) , then tan dy / dx ). Thus,
we notice that (t ) / 2 (t ) , (t t ) / 2 (t t ) , (t t ) (t ) , and one
obtains that . Generally, d d , and
dt dt d dt d 1
n (2.3.22)
ds d ds d ds R
With the adopted convention of the positive sign for the curvature we may calculate the radius
of curvature by the derivative of slope angle as
d d 1
(2.3.23)
ds ds R
Δs
Δϑ
R
α(t+ Δt) γ (t)
α(t)
γ'= γ(t+Δt) x
--------------------------------------------------------
Exercise (2.3.3)
Show that for an in-plane curve y y ( x ) , the radius of curvature R is given by
1 y
1 y
3
R 2 2
In Fig. 5, the tangential and normal accelerations are represented for a three
dimensional Euclidean space trajectory. Tangential acceleration is parallel to the velocity, in
9
the same direction for increasing speed, and in opposite direction for decreasing speed. It
characterizes speed change. Normal acceleration has direction of the normal vector, that is,
inward oriented (to the interior of the trajectory) and perpendicular to the trajectory tangent
vector. It characterizes velocity orientation change and is not vanishing even in the case the
speed is constant but velocity orientation changes.
z b
n t
at
an
y
a
x