Preliminary Mathematics of Geometric Modeling (3)

Transcription

1 Preliminary Mathematics of Geometric Modeling (3) Hongxin Zhang and Jieqing Feng State Key Lab of CAD&CG, Zhejiang University

2 Differential Geometry of Surfaces Tangent plane and surface normal First fundamental form I (metric) Second fundamental form II (curvature) Principal curvatures Gaussian and mean curvatures Explicit surfaces Implicit surfaces Euler's theorem and Dupin's indicatrix 11/27/2006 State Key Lab of CAD&CG 2

3 Tangent vector on the surface A parametric surface r=r(u,v) A curve u=u(t), v=v(t) in the parametric domain 11/27/2006 State Key Lab of CAD&CG 3

4 Tangent vector on the surface The tangent vector of the curve on the surface respect to the parameter t : r(t) = r(u(t),v(t)) where u& v& = u& ( t) = v& ( t) 11/27/2006 State Key Lab of CAD&CG 4

5 Tangent plane on the surface The tangent plane at point P can be considered as a union of the tangent vectors for all r(t) through P The tangent plane at a point on a surface 11/27/2006 State Key Lab of CAD&CG 5

6 Tangent plane on the surface Suppose: P = r(u p,v p ) The equation of tangent plane at r(u p,v p ) : Where μ, ν are parameter 11/27/2006 State Key Lab of CAD&CG 6

7 Surface normal The surface normal vector is perpendicular to the tangent plane. The unit normal is The implicit form of tangent surface is 11/27/2006 State Key Lab of CAD&CG 7

8 Surface normal The normal to the point on a surface 11/27/2006 State Key Lab of CAD&CG 8

9 Regular point on the surface Definition: A regular (ordinary) point P on a parametric surface is defined as a point where r u r v 0. A point which is not a regular point is called a singular point. Notes for Regular point: 1. r u 0 and r v 0 2. r u is not parallel to r v Singular point: 1. Normal may exist at the singular point 11/27/2006 State Key Lab of CAD&CG 9

10 Examples of singular point r u = 0 or r v = 0 r u r v 11/27/2006 State Key Lab of CAD&CG 10

11 Types of singular points Essential singularities: specific features of the surface geometry Apex of cone Artificial singularities parametrization 11/27/2006 State Key Lab of CAD&CG 11

12 Regular surface Existence of a tangent plane everywhere on the surface Without self-intersection Surface with intersection 11/27/2006 State Key Lab of CAD&CG 12

13 Example: elliptic cone Parametric form: r=(atcosθ,btsinθ,ct) T Where 0 θ 2π, 0 t l, a,b,c are constants The apex of the cone (t=0) is singular 11/27/2006 State Key Lab of CAD&CG 13

14 Normal of implicit surface Implicit surface: f (x,y,z)=0 Considering the two parametric curves on the surfaces r 1 =(x 1 (t 1 ), y 1 (t 1 ), z 1 (t 1 )) r 2 =(x 2 (t 2 ), y 2 (t 2 ), z 2 (t 2 )) The r 1 and r 2 intersect at point P By substituting r 1 and r 2 into f, we have 11/27/2006 State Key Lab of CAD&CG 14

15 Normal of implicit surface By differentiation with t 1 and t 2 respectively After simplification, we can deduce: 11/27/2006 State Key Lab of CAD&CG 15

16 Normal of implicit surface As we know dr1( t1) dr2( t2) dt dt 1 2 dz dy dz dy dz dx dz dx dx dy dx dy =,, dt dt dt dt dt dt dt dt dt dt dt dt T Thus the normal is the gradient of f, i.e. dr1( t1) dr2( t2) f = ( f,, ) T x fy fz = dt dt /27/2006 State Key Lab of CAD&CG 16

17 Normal of implicit surface Unit normal of the implicit surface provided that 11/27/2006 State Key Lab of CAD&CG 17

18 Tangent plane of implicit surface The tangent plane of point P(x p,y p,z p ) on the implicit surface f (x,y,z)=0 is i.e. f ( r P ) = 0 r=(x,y,z) 11/27/2006 State Key Lab of CAD&CG 18

19 Example: elliptic cone Elliptic cone in implicit form The gradient (normal) is subject to 11/27/2006 State Key Lab of CAD&CG 19

20 First fundamental form I (metric) The differential arc length of parametric curve on the parametric surface Parametric surface r=r(u,v) Parametric curve defined the in parametric domain u=u(t), v=v(t) The differential arc length of parametric curve 11/27/2006 State Key Lab of CAD&CG 20

21 First fundamental form I (metric) where 11/27/2006 State Key Lab of CAD&CG 21

22 First fundamental form First fundamental form E, F, G : first fundamental form coefficients E, F, G are important for intrinsic properties Alternative representation 11/27/2006 State Key Lab of CAD&CG 22

23 First fundamental form Thus 11/27/2006 State Key Lab of CAD&CG 23

24 First fundamental form I 0 for arbitrary surface I > 0: positive definite provided that the surface is regular I = 0 iff du = 0 and dv = 0 11/27/2006 State Key Lab of CAD&CG 24

25 Example: First fundamental form Hyperbolic paraboloid: r(u,v)=(u,v,uv) T 0 u,v 1 Curve: u=t, v=t. 0 t 1 Aim: arc length of the curve on the surface Hyperbolic paraboloid arc length along u=t, v=t 11/27/2006 State Key Lab of CAD&CG 25

26 Example: First fundamental form First fundamental form coefficients 11/27/2006 State Key Lab of CAD&CG 26

27 Example: First fundamental form First fundamental form coefficients along the curve The differential arc length of the curve 11/27/2006 State Key Lab of CAD&CG 27

28 Example: First fundamental form The arc length of the curve 11/27/2006 State Key Lab of CAD&CG 28

29 Application of first fundamental form: angle between curves on surface Two curves on a parametric surface Angle between r 1 and r 2 is the angle between their tangent vectors Angle between two vectors a and b cosω = a b ab where a=r u du 1 +r v dv 1 b=r u du 2 +r v dv 2 11/27/2006 State Key Lab of CAD&CG 29

30 Application of first fundamental form: angle between curves on surface Angle between curves on the surface r 1 and r 2 is orthogonal (cos(π/2)=0) if 11/27/2006 State Key Lab of CAD&CG 30

31 Application of first fundamental form: angle between curves on surface Special case: iso-parametric curves r 1 : u 1 (t)=t, v 1 (t)=0 r 2 : u 2 (t)=0, v 2 (t)=t The iso-parametric curves are orthogonal if F=0 11/27/2006 State Key Lab of CAD&CG 31

32 Application of first fundamental form: area of the surface patch The area bounded by four vertices r(u,v), r(u+δu,v), r(u+δu,v), r(u+δu,v+δv) Area of small surface patch 11/27/2006 State Key Lab of CAD&CG 32

33 Application of first fundamental form: area of the surface patch The area bounded by four vertices r(u,v), r(u+δu,v), r(u+δu,v), r(u+δu,v+δv) In differential form Recall 11/27/2006 State Key Lab of CAD&CG 33

34 Example: area of surface patch Hyperbolic paraboloid: r(u,v)=(u,v,uv) T 0 u,v 1 Bounded curves: u=0; v=0; u 2 +v 2 =1 Aim: Area of the surface patch bounded by the 3 curves? Area bounded by positive u and v axes and a quarter circle 11/27/2006 State Key Lab of CAD&CG 34

35 Example: area of surface patch First fundamental form coefficients 11/27/2006 State Key Lab of CAD&CG 35

36 Example: area of surface patch After reparametrization of the surface patch by setting u=rcosθ, v=rsinθ, we have 11/27/2006 State Key Lab of CAD&CG 36

37 Second fundamental form II (curvature) The second fundamental form quantify the curvatures of a surface Consider a curve C on surface S which passes through point P The differential geometry of curve 11/27/2006 State Key Lab of CAD&CG 37

38 Second fundamental form II (curvature) surface normal curve normal curve tangent Definition of normal curvature 11/27/2006 State Key Lab of CAD&CG 38

39 Second fundamental form II (curvature) The relationship between unit tangent vector t and unit normal vector n of the curve C at point P Normal curvature vector k n : component of k of curve C in the surface normal direction Geodesic curvature vector k g : component of k of curve C in the direction perpendicular to t in the surface tangent plane 11/27/2006 State Key Lab of CAD&CG 39

40 Second fundamental form II (curvature) The normal curvature vector can be expressed as κ n is called normal curvature of surface at point P in the direction t κ n is the magnitude of the projection of k onto the surface normal at P The sign of κ n is determined by the orientation of the surface normal at P. 11/27/2006 State Key Lab of CAD&CG 40

41 Second fundamental form II (curvature) Definition of normal curvature 11/27/2006 State Key Lab of CAD&CG 41

42 Second fundamental form II (curvature) Differentiating N t=0 along the curve respect to s: Combined with, Thus 11/27/2006 State Key Lab of CAD&CG 42

43 Second fundamental form II (curvature) where 11/27/2006 State Key Lab of CAD&CG 43

44 Second fundamental form II (curvature) Since r u N and r v N r u N=0 and r v N=0 d(r u N)/du=r uu N+ r u N u =0 d(r v N)/du=r uv N+ r v N u =0 d(r u N)/dv=r uv N+ r u N v =0 d(r v N)/dv=r vv N+ r v N v =0 11/27/2006 State Key Lab of CAD&CG 44

45 Second fundamental form II (curvature) Alternative expression of L, M and N The second fundamental form II L, M and N are called second fundamental form coefficients 11/27/2006 State Key Lab of CAD&CG 45

46 Second fundamental form II (curvature) The normal curvature can be expressed as λ=dv/du is the direction of the tangent line to C at P (in the surface parametric domain) κ n at a given point P on the surface depends only on λ 11/27/2006 State Key Lab of CAD&CG 46

47 Meusnier Theorem All curves lying on a surface S passing through a given point p S with the same tangent line have the same normal curvature at this point. Meusnier Theorem 11/27/2006 State Key Lab of CAD&CG 47

48 About sign of normal curvature Convention (a): κ n N=κ n The normal curvature is positive when the center of the curvature of the normal section curve, which is a curve through P cut out by a plane that contains t and N, is on the same side of the surface normal. Definition of normal curvature (minus) κn N=κ n 11/27/2006 State Key Lab of CAD&CG 48

49 About sign of normal curvature Convention (b): κ n N=-κ n The normal curvature is positive when the center of the curvature of the normal section curve, which is a curve through P cut out by a plane that contains t and N, is on the opposite side of the surface normal. Definition of normal curvature (positive) κn N=-κ n 11/27/2006 State Key Lab of CAD&CG 49

50 About sign of normal curvature About convention (b) The convention (b) is often used in the area of offset curves and surfaces in the context of NC machining 11/27/2006 State Key Lab of CAD&CG 50

51 Point classification by II Suppose P and Q on the surface r(u,v) P= r(u,v), Q= r(u+du,v+dv) 11/27/2006 State Key Lab of CAD&CG 51

52 Point classification by II Thus Projecting PQ onto N 11/27/2006 State Key Lab of CAD&CG 52

53 Point classification by II Finally Thus II is equal to twice the distance from Q to the tangent plane of the surface at P within second order terms. Next, we determine the sign of II, i.e. Q lies in which side of tangent plane of P 11/27/2006 State Key Lab of CAD&CG 53

54 Point classification by II d=0 : a quadratic equation interms of du or dv Assuming L 0, we have 11/27/2006 State Key Lab of CAD&CG 54

55 Point classification: Elliptic point M 2 -LN<0 (Elliptic point) : There is no intersection between the surface and its tangent plane except at point P, e.g., ellipsoid Elliptic point 11/27/2006 State Key Lab of CAD&CG 55

56 Point classification: Parabolic point M 2 -LN=0 (Parabolic point) : There are double roots. The surface intersects its tangent plane with one line which passes through point P, e.g., a circular cylinder Parabolic point 11/27/2006 State Key Lab of CAD&CG 56

57 Point classification: Hyperbolic point M 2 -LN>0 (Hyperbolic point) : There are two roots. The surface intersects its tangent plane with two lines which intersect at point P, e.g., a hyperbolic of revolution Hyperbolic point 11/27/2006 State Key Lab of CAD&CG 57

58 Point classification: flat/planar point L=M=N=0 (flat or planar point) The surface and the tangent plane have a contact of higher order than in the preceding cases 11/27/2006 State Key Lab of CAD&CG 58

59 Point classification: other cases If L=0 and N 0, we can solve for dv instead of du If L=N=0 and M 0, we have 2Mdudv=0, thus the iso-parametric lines u = const. v = const. will be the two intersection lines. 11/27/2006 State Key Lab of CAD&CG 59

60 Download the courses 11/27/2006 State Key Lab of CAD&CG 60