Category Archives: Lecture

Discrete Darboux Transforms

 

Let γ1,,γn be a regular polygon in R2=C. A second polygon ˜γ1,,˜γn is said to be a Darboux transform of γ if three conditions are satisfied. The first two conditions are:

1) The distance between corresponding points is a fixed number . This means for all j we have

|˜γjγj|=.

2) Corresponding edges have the same length. This means

|˜γj+1˜γj|=|γj+1γj|.

These two conditions are trivially met by a polygon ˜γ that is just a translate of γ, i.e. ˜γj=γj+a for some fixed aR2. In this case for all j the four points γj,γj+1,˜γj,˜γj+1 form a parallelogram. To eliminate this trivial solution we add a third condition:

3) Given the points γj,γj+1 and ˜γj the next point  ˜γj+1 is chosen to be different from ˜γj+(γj+1γj), if possible.

Here the word “if possible” refer to the case where γj,γj+1,˜γj lie on a straight line. In this case the parallelogram solution is the only one that complies with the first two conditions.

We denote the edge lengths by

vj=|γj+1γj|

and introduce unit vectors Tj and Sj such that

γj+1γj=vjTj˜γjγj=Sj.

Now it is easy to see that the three conditions above amount to saying that Sj+1 is obtained from Sj (the parallelogram solution) by reflecting it in that diagonal of the parallelogramm that does not contain γj.

Darboux-Reflect 

The direction of this diagonal is given by the vector SjvjTj. Reflection in a vector aC is the map

zaˉaˉz.

Using this we obtain

Sj+1=SjvjTjˉSjvjˉTjˉSj=SjvjTjvjˉTjSj.

Obviously the four points γj,γj+1,˜γj,˜γj+1 lie on a circle. One might formulate this by saying that the polygons γ and ˜γ are “enveloped” by a sequence of circles in such a way that the arclength on the two envelopes is in correspondence.

Darboux-Evelope

The Discrete Whitney-Graustein Theorem

Let us consider regular closed discrete plane curves γ with n vertices and tangent winding number m. We assume that the length of γ is normalized to some arbitrary (but henceforth fixed) constant L. Up to orientation-preserving rigid motions such a γ is uniquely determined by a point

(1,,n,κ1,,κn)(0,)n×(π,π)n

satisfying

1++n=Lκ1++κn=2πm1eiα1++neiαn=0

where

αj=κ1++κj.

Proposition 1: Consider a fixed (κ1,,κn)×(π,π)n satisfying  κ1++κn=2πm for some mZ and define α1,,αn as above. Then the set of (1,,n)(0,)n satisfying

1++n=L1eiα1++neiαn=0

is either empty or the interior of a compact convex polyhedron in an (n3)-dimensional affine subspace of Rn.

Proof: If the set is non-empty then there is a exists a regular closed polygon γ with angles κ1,,κn. If eiα1,,eiαn would be linearly dependent as vectors in R2 the curve γ would be contained in a straight line, which is impossible. Therefore the two equations above define an (n3)-dimensional affine subspace ARn. The set in question is the intersection of A with the open convex cone (0,)n. This intersection clearly is bounded and is non-empty by assumption. Therefore inside of A the closure of this intersection is a compact convex polyhedron with non-empty interior.

◻

Proposition 2: Consider (κ1,,κn)×(π,π)n satisfying  κ1++κn=2πm where m0. Then there exists a closed polygon with angles κ1,,κn.

Proof:  If the unit vectors eiα1,,eiαn were all contained in a closed half-circle the tangent winding number would be zero. Thus the origin must lie in the interior of the convex hull of eiα1,,eiαn. This implies that there are 1,n>0 such that 1eiα1++neiαn=0.

◻

Using this it is easy to prove the Whitney-Graustein theorem for polygons in the case of non-zero tangent winding number. A regular homotopy between two planar closed polygons ˆγ and ˜γ is just a continuous path

[0,1]γ(t)=(γ1(t),,γn(t))R2n

such that γ(o)=ˆγ,γ(1)=˜γ and all the γ(t) are regular closed polygons. As usual we call polygons regularly homotopic if there exists a regular homotopy between them. It is easy to see that regular homotopy defines an equivalence relation among regular closed polygons.

Theorem: Let γ,˜γ be two regular cosed polygons in the plane with n vertices and the same tangent winding number n0. Then there exists a regular homotopy between ˆγ and ˜γ.

Proof: Without loss of generality we may assume that both curves have total length L, start at the origin of C and have a first edge pointing in direction of the positive real axis. Then we can proceed by finding a path in the space of the invariants (1,,n,κ1,,κn).

We begin by moving the initial lengths (ˆ1,,ˆn) linearly to the center of mass of the polyhedron that corresponds to ˆκ1,,ˆκn according to Proposition 1. Then we interpolate linearly between ˆκ1,,ˆκn and ˜κ1,,˜κn. While doing this we keep the lengths at the center of the current polyhedron (which exists for all time because of Proposition 2). Finally we stick with the angles ˜κ1,,˜κn but interpolate the lengths linearly towards (˜1,,˜n).

◻

I do not know how to adapt the above strategy of proof to the case of tangent winding number zero, but I believe that there should be a way…

Smooth Plane Curves

The euclidean plane R2 has the special property that there is a distinguished  linear map J:RR2, the rotation by 90 degrees. As a matrix J has the form

J=(0110).

J is distinguished by the fact that it squares to minus the identity and for all X,YR2 we have

JX,Y=det(X,Y)=X,JY.

This unique feature of the two-dimensional case allows us to define for an arclength parametrization γ:[0,L]R2 its curvature as follows: Because T:=γ has unit length there must be a real-valued function   κ:[0,L]R such that

T=κJT.

planeCurve-small

Define α:[0,L]R as

α(s)=s0κ.

It will be very convenient to identify R2 with the complex plane C. After this identification J just becomes multiplication with the imaginary unit i=1. Define

˜T:[0,L]C˜T=eiα.

Then also ˜T=iκ˜T and from

(T˜T)=T˜TT˜T˜T2=0

we conclude that T is a constant multiple of ˜T. Evaluating this at s=0 reveals the constant to be T(0) and we obtain

T(s)=eiα(s)T(0).

So κ determines T uniquely up to a multiplicative constant a=T(0) of norm one. T in turn determines γ up to an additive (translational) constant b=γ(0):

γ(s)=γ(0)+s0T.

Thus for each curvature function κ there exists a curve γ with curvature κ. Every other such curve ˜γ differs from γ only by a euclidean motion:

˜γ=aγ+b

with |a|=1.

For a closed curve we must have T(L)=T(0) which means that there has to be an integer mZ such that

L0κ=α(L)=2πm.

m is called the tangent winding number of γ.

Tractrices and Darboux Transforms

Let us investigate the tracks traced out by the wheels of a moving bicycle during some time interval [a,b]. We denote the path of the (center of the) rear wheel  by τ and the path of the front wheel by γ. If is the distance between the rear and the front wheel then at each time t the direction of the bicycle is given by a unit vector T(t) such that

γ=τ+T.

In the picture below the front wheel γ moves on a straight line. The resulting path of the rear wheel is called the tractrix curve and has been investigated already in 1676 by Isaac Newton and in 1692 by Christian Huygens.

bicycle

 

Assuming that the rear wheel rolls without sliding it must move in the direction of T: There is a function ρ:[a,b]R such that

τ=ρT.

Suppose the bicycle is prolonged in the rear direction by a rod. We assume that the tip of the rod has distance to the center of the rear wheel (only projections to the horizontal plane are considered here). Then the position η(t) of the tip of the rod is given as

η=τT.

The rotation speed ω(t) of the bicycle is defined via

T=ωJT.

From

γ=ρT+ωJTη=ρTωJT

it is easy to see that the velocity vector η of the back end is equal in magnitude to the speed γ of the front wheel:

|η|2=ρ2+ω2=|γ|2.

Moreover, if we were to install another wheel at the rear end that also rolls without sliding it would have to make the same angle (though opposite in direction) with the bicycle as the front wheel. Such a bicycle (omitting the middle wheel) has in fact been built, even though I have to admit that the video does not look convincing.

On the other hand, cars with four-wheel steering are manufactured in some variety. The motion of cars with four wheels is more difficult to analyze, but to some approximation we might assume also here that the center τ of the rear axis moves towards the center γ of the front axis. The right picture below shows a DAF MC-139 prototype from 1940 (yes, it has two driver seats). The model in the left picture even has the middle wheels (showing the tractrix) and a video can be found here.

vehicles

Let us condense all this into a mathematical

Definition: Let τ:[a,b]Rn be a path and suppose there are T:[a,b]Rn of unit length |T|=1 and ρ:[a,b]R such that τ=ρT. Then for every R the path τ is called a tractrix of the path γ:=τ+T. Furthermore η:=τT is called a Darboux transform of γ.

It is easy to see that in the above situation τ is a tractrix also of η and γ also is a Darboux transform of η. The paths γ and η always have the same length. Note that if γ is regular then so is η and if γ is parametrized by arclength then the same holds for η.

We can apply similar definitions in the case of closed curves by assuming that τ, T and ρ are periodic functions.

Theorem: Suppose η is a Darboux transform of a periodic path γ in Rn that is parametrized by arc length. Then γ and η have the same length and the same total squared curvature

|γ|2=|η|2.

If n=3 then γ and η have the same area vector

12γ×γ=12η×η.

Proof: We have

γ=ρT+T

and we may assume that γ and η are parametrized by arc length, i.e.

ρ2+2|T|2=1.

Then

γ=ρT+ρT+T

and

γ,γ=ρ2+2ρT+ρT,T+2|T|2.

We want to show that this expression is unchanged if we replace by , i.e.

ρT+ρT,T=ρT,Tρ2T,T=ρ(ρ21)+ρ2ρ=0.

Here we have used 0=T,T=T,T+T,T, the equation ρ2+T,T=1 and its derivative 2ρρ+T,T=0.

Next we look at the area vector

γ×γ=(τ+T)×(ρT+T).

Again we only have to show that the coefficient of vanishes, i.e.

τ×T=(τ×T)=0.

◻

The statement about the area vector implies for the case n=2 that γ and η enclose the same area:

12det(γ,γ)=12det(η,η).

 

Smooth Curves

A path in Rn is a C map

γ:[a,b]Rn.

We imagine γ as the path traced out by a moving point γ(t)Rn over the time interval [a,b]. Such a path γ is called regular if γ(t)0 for all t[a,b]. Suppose we have another path ˜γ:[˜a,˜b]R2 that reaches every point γ(t) covered by γ, only at a different time ˜t=φ(t). Thus we have

˜γ=γφ.

We assume that φ is C and maps the interval [˜a,˜b] diffeomorphically onto [a,b] in an orientation-preserving fashion:

φ(˜a)=aφ(˜b)=bφ>0.

Then we say that ˜γ is just a reparametrized version of the same “curve segment”. Thus curve segments are defined as equivalence classes of planar paths. Note that the reversed path

˜γ:[a,b]R2˜γ(t)=γ(b+at)

in general defines a different curve segment. Thus curve segments come with a well defined orientation. They have a definite starting point.

Fortunately, we almost never have to deal with issues of reparametrization. This is because every curve segment has a canonical parametrization, its so-called parametrization by arc length: For a regular path γ:[a,b]Rn its length is defined as

length(γ)=ba|γ|.

Then with the notation L:=length(γ) the function

:[a,b][0,L](t)=length(γ|[a,t])

has a smooth inverse φ:[0,L][a,b] and ˜γ=γφ has a velocity vector field T=˜γ of unit length:

|˜γ|=1.

planeCurve

Any path with this property is called an arc length parametrization of a curve in Rn.

A periodic path in Rn is a pair (γ,τ) where γ:RRn is C and τ-periodic, which means that for all tR we have

γ(t+τ)=γ(t).

Again, such a closed path is called regular if γ(t)0 for all tR. A smooth map φ:RR such that

φ>0φ(˜t+˜τ)=φ(˜τ)+τ

defines a reparametrization (˜γ,˜τ) of (γ,τ). A closed curve in Rn is an equivalence class of periodic paths with respect to reparametrization.

 knot-small

The length of a closed curve (γ,τ) is defined as the length of the path γ|[0,τ]. If L is the length of a regular periodic path (γ,τ) then one  can show as before that there is a reparametrization (˜γ,L) with |˜γ|=1. Note however that such an arc length parametrization of a regular closed curve is unique only up to a parameter translation: For every aR the periodic path sˆγ(s)=˜γ(s+a) has the same property.