![Page 1: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/1.jpg)
Differential Geometry:Revisiting Curvatures
![Page 2: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/2.jpg)
Curvature and Graphs
Recall:
Thus, up to a rotation in the x-y plane, we have:
The values 1 and 2 are the principal curvatures at p and the corresponding directions of the curves at the point p are the principal directions.
2221
22),( yxyxf
![Page 3: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/3.jpg)
Curvature and Graphs
Recall:
The product of the principal curvatures, 12, is the Gaussian Curvature.
The sum of the principal curvatures, 1+2, is the Mean Curvature.
![Page 4: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/4.jpg)
Smooth Curvature (Curves)
On a circle of radius r, an arc of unit-length will have angle 1/r.
1/r1
r
![Page 5: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/5.jpg)
Smooth Curvature (Curves)
On a circle of radius r, an arc of unit-length will have angle 1/r.
Offsetting the circle by a distance of in the normal direction, we get a circle with radius (r+), and the length of the corresponding arc becomes 1+/r.
r1/r
11+/r
![Page 6: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/6.jpg)
Smooth Curvature (Curves)
We measure the curvature as the rate of change in length as a function of offset distance :
r1/r
11+/r
r
1
![Page 7: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/7.jpg)
Smooth Curvature (Curves)
In a similar fashion, we can define the curvature at a point p on an arbitrary curve by considering the rate of change in arc-length as we offset in the normal direction by a distance of .
p
![Page 8: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/8.jpg)
Smooth Curvature (Curves)
In a similar fashion, we can define the curvature at a point p on an arbitrary curve by considering the rate of change in arc-length as we offset in the normal direction by a distance of .
p
![Page 9: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/9.jpg)
Discrete Curvature (Curves)
Given a closed curve, consider the curve obtained by offsetting by in the normal direction.
![Page 10: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/10.jpg)
Discrete Curvature (Curves)
Given a closed curve, consider the curve obtained by offsetting by in the normal direction.
The length of the offset curve isthe length of the old curve…
l1
l0
1
0
N
i
ill
![Page 11: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/11.jpg)
Discrete Curvature (Curves)
Given a closed curve, consider the curve obtained by offsetting by in the normal direction.
The length of the offset curve isthe length of the old curve…
plus the lengths of the arcs.
l1
l0
1
0
1
0
N
i
iill
![Page 12: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/12.jpg)
Discrete Curvature (Curves)
Given a closed curve, consider the curve obtained by offsetting by in the normal direction.
The length of the offset curve isthe length of the old curve…
plus the lengths of the arcs.
Thus, the rate of change inlength through the vertex i is i.
l1
l0
1
0
1
0
N
i
iill
![Page 13: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/13.jpg)
Discrete Curvature (Curves)
But the angle of the arc is exactly the deficit angle, so we get the same definition as before.
l1
l0
1
0
1
1
![Page 14: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/14.jpg)
Discrete Curvature (Curves)
But the angle of the arc is exactly the deficit angle, so we get the same definition as before.
l1
l0
1
0
1
0
![Page 15: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/15.jpg)
Smooth Curvature (Surfaces)
In a similar fashion, we can consider what happens to the area of a surface as we offset it in the normal direction by a distance of .
![Page 16: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/16.jpg)
Smooth Curvature (Surfaces)
In a similar fashion, we can consider what happens to the area of a surface as we offset it in the normal direction by a distance of .
In this case we consider both the rate of change and acceleration in area, and we get:
where H is the mean curvature and K is the Gaussian curvature.
)()()()( 2 pKpHpApA
![Page 17: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/17.jpg)
Smooth Curvature (Surfaces)
In a similar fashion, we can consider what happens to the area of a surface as we offset it in the normal direction by a distance of .
![Page 18: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/18.jpg)
Discrete Curvature (Surfaces)
What happens when we offset pointson a discrete surface?
![Page 19: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/19.jpg)
Discrete Curvature (Surfaces)
What happens when we offset pointson a discrete surface?
We can decompose the offsetsurface into three parts.
=
Edge Offset Vertex OffsetFace Offset
+ +
![Page 20: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/20.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
• The area of the original surface
=
Edge Offset Vertex OffsetFace Offset
+ +
![Page 21: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/21.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
• The area of the original surface
• The area of the cylindrical arcsdefined by the edges
=
Edge Offset Vertex OffsetFace Offset
+ +
![Page 22: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/22.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
• The area of the original surface
• The area of the cylindrical arcsdefined by the edges
• The area of the spherical capsdefined by the vertices
=
Edge Offset Vertex OffsetFace Offset
+ +
![Page 23: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/23.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
where:
• e is the angle at edge e
• v is the solid angle at vertex v
=
Face Offset
+ +
.
2
..
)(Vertsv
v
Edgese
e
Trist
etAA
Edge Offset Vertex Offset
![Page 24: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/24.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
So the offset surface has |e|e as the 1st-order term of the area, and v as the 2nd-order term.
=
Face Offset
+ +
.
2
..
)(Vertsv
v
Edgese
e
Trist
etAA
Edge Offset Vertex Offset
![Page 25: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/25.jpg)
Discrete Curvature (Surfaces)
The area of the offset surface is the sum of:
We associate the discrete mean curvature |e|e
with the edges of the polygon and discrete Gaussian curvature v with the vertices.
=
Face Offset
+ +
.
2
..
)(Vertsv
v
Edgese
e
Trist
etAA
Edge Offset Vertex Offset
![Page 26: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/26.jpg)
Discrete Curvature (Surfaces)
If triangles t1 and t2 meet at edge e, the angle e
is defined as:
=
Face Offset
+ +
21,cos NNe
Edge Offset Vertex Offset
eN2
N1
t1 t2
![Page 27: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/27.jpg)
Discrete Curvature (Surfaces)
If triangles t1,…,tk meet at vertex v, the solid angle v is the area of the spherical wedge going through N1,…,Nk.
=
Face Offset
+ +
Edge Offset Vertex Offset
N2
N1 N2
N1
N3
N3
![Page 28: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/28.jpg)
Discrete Curvature (Surfaces)
If triangles t1,…,tk meet at vertex v, the solid angle v is the area of the spherical wedge going through N1,…,Nk.
On a sphere, the area of a polygon with angles 1,…,k is:
N2
N1 N2
N1
k
i
ikA1
)2(
N3
N3
![Page 29: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/29.jpg)
Discrete Curvature (Surfaces)
Claim:
The angle i at the intersection of arcs Ni-1Ni and NiNi+1 is minus the angle between ei-1 and ei.
N2
N1 N2
N1
N3
N3e1 e2
-2
![Page 30: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/30.jpg)
Discrete Curvature (Surfaces)
Claim:
The angle i at the intersection of arcs Ni-1Ni and NiNi+1 is minus the angle between ei-1 and ei.
Implications:
If i is the angle (at v) between ei-1 and ei, the Gaussian curvature is the angle of deficit at v:
N2
N1 N2
N1
N3
N3e1 e2
-2
k
i
i
k
i
ikA
1
1
2
)2(
![Page 31: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/31.jpg)
Discrete Curvature (Surfaces)
What is the angles i?
A (geodesic) arc between points p and q on the sphere is contained in the intersection of the sphere with the plane perpendicular to p and q.
N2
N2
N1
N3
N3N1
![Page 32: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/32.jpg)
Discrete Curvature (Surfaces)
What is the angles i?
A (geodesic) arc between points p and q on the sphere is contained in the intersection of the sphere with the plane perpendicular to p and q.
The angle between two arcs is minus the angle between the planes’ normals.
N2
N1 N2
N1
N3
N3
![Page 33: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/33.jpg)
Discrete Curvature (Surfaces)
What is the angles i?
A (geodesic) arc between points p and q on the sphere is contained in the intersection of the sphere with the plane perpendicular to p and q.
The angle between two arcs is minus the angle between the planes’ normals.
But the edge ei betweentriangle ti-1 and Ni isperpendicular to boththe normals.
N2
N1 N2
N1
N3
N3
![Page 34: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/34.jpg)
Gauss-Bonnet Theorem (Smooth)
Given a (closed surface) S, the integral of the Gaussian curvature over the surface is:
where S is the Euler Characteristic of the surface S (an integer that is a topological invariant of the surface).
S
S
dppK 2)(
![Page 35: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/35.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
![Page 36: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/36.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
where t is a triangle containing v and tv is the interior angle of t at v.
t
vvt
Vv vtTt
t
Vv
v vK0|
2
![Page 37: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/37.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
TEV
TEV
TV
V
vV
vK
Tt
Tt tv
t
Vv vtTt
t
Vv
v
2
222
2
2
2
20|
![Page 38: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/38.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
TEV
TEV
TV
V
vV
vK
Tt
Tt tv
t
Vv vtTt
t
Vv
v
2
222
2
2
2
20|
![Page 39: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/39.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
TEV
TEV
TV
V
vV
vK
Tt
Tt tv
t
Vv vtTt
t
Vv
v
2
222
2
2
2
20|
![Page 40: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/40.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
TEV
TEV
TV
V
vV
vK
Tt
Tt tv
t
Vv vtTt
t
Vv
v
2
222
2
2
2
20|
![Page 41: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/41.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
Summing the Gaussian curvatures we get:
TEV
TEV
TV
V
vV
vK
Tt
Tt tv
t
Vv vtTt
t
Vv
v
2
222
2
2
2
20|
![Page 42: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/42.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
In the discrete case, the sum of the Gaussian curvature is equal to:
TEVKVv
v
2
![Page 43: Discrete Differential Geometry (600.657) - JHU Department of](https://reader035.vdocuments.net/reader035/viewer/2022071602/613d6756736caf36b75cecb8/html5/thumbnails/43.jpg)
Gauss-Bonnet Theorem (Smooth)
What happens in the discrete case?
In the discrete case, the sum of the Gaussian curvature is equal to:
Note that for a closed polyhedron:
is the Euler Characteristic, and satisfies:
where g is the genus of the surface.
TEVKVv
v
2
TEV
g22