50
1 Computer Aided Geometric Design Class Exercise #4 Differential Geometry of Curves

Computer Aided Geometric Design

  • Upload
    helga

  • View
    32

  • Download
    0

Embed Size (px)

DESCRIPTION

Computer Aided Geometric Design. Class Exercise #4 Differential Geometry of Curves. 1. Q.1. Let be an arc-length parameterized curve. Prove: is a straight line. is a plane curve. 2. Solution - Part 1 (. Recall that is the magnitude of the curvature vector: Therefore, - PowerPoint PPT Presentation

Citation preview

Page 1: Computer Aided Geometric Design

1

Computer Aided Geometric Design

Class Exercise #4

Differential Geometry of Curves

Page 2: Computer Aided Geometric Design

2

Q.1

Let be an arc-length parameterized curve. Prove:

1. is a straight line.2. is a plane curve.

Page 3: Computer Aided Geometric Design

3

Solution - Part 1 (Recall that is the magnitude of the curvature vector:

Therefore,

and by integration:

for some real constants

Page 4: Computer Aided Geometric Design

4

Solution - Part 1 (This already means: The direction of the curve is in fact a constant direction.

To verify that this is a line, we integrate again and:

Page 5: Computer Aided Geometric Design

5

Solution - Part 1 (and we obtained the parameterization of the straight line passing through with the direction

(Conversely – the same with differentiation!)

(𝑏1 ,𝑏2)

(𝑎1 ,𝑎2)

Page 6: Computer Aided Geometric Design

6

Solution - Part 1 (Question:

Where did we use the fact that the curve was arc-length parameterized?

Is a general parameterization with not necessarily a straight line?

Page 7: Computer Aided Geometric Design

7

Solution - Part 1 (Answer:

This should also be true for non arc-length parameterization…

Recall that for non arc-length:

Page 8: Computer Aided Geometric Design

8

Solution - Part 1 (if then:

is the zero vector.

When does a cross product vanish?

Page 9: Computer Aided Geometric Design

9

Solution - Part 1 (when and are the same (or opposite) directions.

We understand this as follows: The tangent never changes direction, only magnitude.

Page 10: Computer Aided Geometric Design

10

Solution - Part 2 (

How can we show that a curve is planar?

(without the knowledge of this being equivalent to which we are trying to prove….)

Page 11: Computer Aided Geometric Design

11

Solution - Part 2 (We must show that the curve is contained in some plane.

A general (implicit) representation of a plane:

where is a constant (non-zero) vector, and .

Page 12: Computer Aided Geometric Design

12

Solution - Part 2 (In our case: we show that:

where is the bi-normal at some point.

Page 13: Computer Aided Geometric Design

13

Solution - Part 2 (let for some . since:

we have:

which means is a constant vector.

Page 14: Computer Aided Geometric Design

14

Solution - Part 2 (Now we look at:

and therefore:

and is planar.

Page 15: Computer Aided Geometric Design

15

Solution - Part 2 (conversely:If a curve is planar then it is in fact contained in the (constant) osculating plane.

This means that the bi-normal is constant:

Page 16: Computer Aided Geometric Design

16

Solution - Part 2 (Points to think about: Is this the case for non arc-length

parameterizations?What if ? Is the torsion well defined?

Page 17: Computer Aided Geometric Design

17

Q.2

Let be an arc-length parameterized curve. Prove that if all normal vectors to the curve pass through a point, then is an arc of a circle.

Page 18: Computer Aided Geometric Design

18

SolutionIt suffices to show that:

is planar. has constant curvature.

Page 19: Computer Aided Geometric Design

19

SolutionThe assumption on the normal vectors means there exists a scalar function such that:

Where is a constant point in .

Page 20: Computer Aided Geometric Design

20

SolutionDifferentiating gives:

Which means:

Page 21: Computer Aided Geometric Design

21

Solutionor:

Page 22: Computer Aided Geometric Design

22

SolutionWe expressed the zero vector as a linear combination of at every .

Therefore:

Page 23: Computer Aided Geometric Design

23

SolutionIn the case , we get , and the entire curve is a point.

In the other case: , as required.

Page 24: Computer Aided Geometric Design

24

SolutionSome points to think about:

Any space curve contained in a sphere can have the radius from any point pass through the center of the sphere, and yet it is not necessarily a circle.

So is our proof right or not??

Page 25: Computer Aided Geometric Design

25

SolutionShouldn’t something bother us about

writing:

Page 26: Computer Aided Geometric Design

26

Q.3

Let be a parameterized quadratic curve. Prove that is planar.

Page 27: Computer Aided Geometric Design

27

SolutionAgain, it suffices to show that the bi-normal is constant.

This shall imply that the osculating plane is constant, and the curve never leaves it.

Page 28: Computer Aided Geometric Design

28

Solution is quadratic. We may assume:

Page 29: Computer Aided Geometric Design

29

SolutionDifferentiating gives:

Page 30: Computer Aided Geometric Design

30

SolutionWe know that has the same direction as the unit tangent .

Does has the same direction as the unit normal ?

Page 31: Computer Aided Geometric Design

31

SolutionNot necessarily. It is true for arc-length parameterizations.

(in fact for any constant speed…)

But: is contained in the plane spanned by .

Page 32: Computer Aided Geometric Design

32

SolutionThis can be shown analytically.

Geometrically, it is explained by the fact that changes the tangent in direction and in magnitude.

Therefore: the direction is in the bi-normal direction!

Page 33: Computer Aided Geometric Design

33

SolutionIt suffices to check that is constant.For example, the first component of this cross product is:

which does not depend on . Others are shown similarly.

Page 34: Computer Aided Geometric Design

34

SolutionThus, the bi-normal direction is constant – and the curve is planar.

Page 35: Computer Aided Geometric Design

35

Q.4

Consider the curves:

and:

Page 36: Computer Aided Geometric Design

36

Q.4

Find rigid motions on such that it will be pieced together with and the resulting curve is:

1. Continuous ().2. Geometrically .3. .

Page 37: Computer Aided Geometric Design

37

SolutionThe curves are the following:

-20 -15 -10 -5 0 5 10 15 20-20

-15

-10

-5

0

5

10

15

20

Page 38: Computer Aided Geometric Design

38

Solution has a tangent:

and at

Page 39: Computer Aided Geometric Design

39

Solution is the lower right quarter of the unit circle, inflated to a radius of length .

For continuity we simply translate by:

Page 40: Computer Aided Geometric Design

40

SolutionThis gives:

-10 -5 0 5 10 15 20 25

-15

-10

-5

0

5

10

15

20

Page 41: Computer Aided Geometric Design

41

SolutionFor Geometrically we need first to rotate such that the tangents have the same direction.

Since:

and:

Page 42: Computer Aided Geometric Design

42

SolutionThe angle between these tangents is given by:

Page 43: Computer Aided Geometric Design

43

SolutionWhich gives:

or:

It remains to rotate and translate:

Page 44: Computer Aided Geometric Design

44

SolutionWe have the rotation angle, but what is , the translation vector?

After the rotation we have:

-20 -15 -10 -5 0 5 10 15 20-20

-15

-10

-5

0

5

10

15

20

Page 45: Computer Aided Geometric Design

45

SolutionThe image of under the rotation is:

Then:

Page 46: Computer Aided Geometric Design

46

SolutionFinally:

-20 -15 -10 -5 0 5 10 15 20-20

-15

-10

-5

0

5

10

15

20

Page 47: Computer Aided Geometric Design

47

SolutionIn order for the resulting curve to be , we need to change the magnitude of the tangent.

Denote by the speed ratio:

Page 48: Computer Aided Geometric Design

48

SolutionRe-parameterize as follows:Instead of:

take:

This results in the same trace, but the speed is factored by , as required.

Page 49: Computer Aided Geometric Design

49

SolutionRe-parameterize as follows:Instead of:

take:

This results in the same trace, but the speed is factored by , as required.

Page 50: Computer Aided Geometric Design

50

SolutionSome points to think about:

How do we re-parameterize as a single curve?

In practice – how do we rotate without explicitly invoking ?