Next Article in Journal
Fizzle Testing: An Equation Utilizing Random Surveillance to Help Reduce COVID-19 Risks
Previous Article in Journal
An Epidemic Grid Model to Address the Spread of Covid-19: A Comparison between Italy, Germany and France
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Approximation of Gaussian Curvature by the Angular Defect: An Error Analysis

by
Marie-Sophie Hartig
1,2
1
Max Planck Institute for Gravitational Physics (Albert Einstein Institute) and Institute for Gravitational Physics, Leibniz University Hannover, Callinstrasse 38, 30167 Hannover, Germany
2
Institute for Mathematics, Friedrich Schiller University Jena, Fürstengraben 1, 07743 Jena, Germany
Math. Comput. Appl. 2021, 26(1), 15; https://doi.org/10.3390/mca26010015
Submission received: 21 December 2020 / Revised: 6 February 2021 / Accepted: 8 February 2021 / Published: 9 February 2021
(This article belongs to the Section Natural Sciences)

Abstract

:
It is common practice in science and engineering to approximate smooth surfaces and their geometric properties by using triangle meshes with vertices on the surface. Here, we study the approximation of the Gaussian curvature through the Gauss–Bonnet scheme. In this scheme, the Gaussian curvature at a vertex on the surface is approximated by the quotient of the angular defect and the area of the Voronoi region. The Voronoi region is the subset of the mesh that contains all points that are closer to the vertex than to any other vertex. Numerical error analyses suggest that the Gauss–Bonnet scheme always converges with quadratic convergence speed. However, the general validity of this conclusion remains uncertain. We perform an analytical error analysis on the Gauss–Bonnet scheme. Under certain conditions on the mesh, we derive the convergence speed of the Gauss–Bonnet scheme as a function of the maximal distance between the vertices. We show that the conditions are sufficient and necessary for a linear convergence speed. For the special case of locally spherical surfaces, we find a better convergence speed under weaker conditions. Furthermore, our analysis shows that the Gauss–Bonnet scheme, while generally efficient and effective, can give erroneous results in some specific cases.

1. Introduction

Many applications in science and engineering use discrete point sets for the approximation of surfaces of three-dimensional objects. A key challenge that subsequently arises is estimating the curvature of these surfaces given the mesh of surface data points. Hence, a fast and accurate approximation method is frequently desired. In this work, we address the common Gauss–Bonnet scheme, which is also called angular deficit scheme, for approximating the Gaussian curvature of smooth surfaces. The scheme is formula based and, hence, exhibits a fast computation time [1]. In addition, upon numerical analysis and a comparison with four other popular approaches, it is suggested to be the best-suited algorithm for the Gaussian curvature [2]. Other approaches include curve-fitting techniques and the methods by Watanabe and Belyaev [3] and Taubin [4]. An overview of common methods for the approximation of the Gaussian curvature, but also other surface curvature definitions, is given in [5].
Given a triangle mesh spanned by the surface data points, the Gauss–Bonnet scheme determines the Gaussian curvature by dividing the angular defect in a vertex p through a suitable area. Common choices for this area are either one-third of the areas of the attached triangles or the area closer to p than to the other vertices. We investigate here the latter, known as the Voronoi region. There are many ways to define the accuracy or goodness of this approximation. We parametrize the estimation error in terms of the maximum length of any edge in the star of p. While the Gauss–Bonnet scheme is highly accurate in various examples and even shows a quadratic convergence speed in numerical investigations [1,2,6], an analytic error analysis is rare. For a regular set of data points, an analysis was done by [7,8,9]. Xu [8] also proved the convergence of the scheme under weaker assumptions. However, it has been observed that the convergence depends on the uniformity of the mesh [2,7]. We will support these findings by showing that a control of the mesh is necessary for ensuring a convergence of the scheme.
This paper builds on the work of Borrelli, Cazals, and Morvan [6] and performs an error analysis based on the convergence of the angles of Euclidean triangles towards the angles of geodesic triangles with the same vertices. We define conditions on the data points of a smooth surface that are sufficient and also necessary for the convergence of the scheme. We first control the angles of the Euclidean triangles and, second, their relative edge lengths. For these cases, we prove a linear convergence speed of the scheme. Furthermore, we improve the estimation of the convergence speed for locally spherical surfaces. By this, we conclude that the Gauss–Bonnet scheme provides a good approximation of the Gaussian curvature if one controls the mesh, but suffers from a possible high inaccuracy otherwise.
In our work, we first define in Section 2 some background notations and give in Section 3 a brief reminder of the Gauss–Bonnet scheme. In Section 4, we summarize the preliminary work and evaluate our new estimations for acute triangles, triangles with preconditioned edge lengths, and the special case of locally spherical surfaces.

2. Basic Notations

We adapt the notations used in [6], which we briefly recall in this section. See [10] for more details concerning the fundamental differential geometry of surfaces.
Let S be a smooth surface in R 3 and let p be a point of S. Let { p i } i = 1 , . . , n S be the set of the one-ring neighbor points of p, i.e., the numbered direct neighbor points. Their position with respect to p is defined by the polar angles φ i and θ i . The surface normal vector in p, n , and p p i span a plane Π i . Hence, it is oriented by the angle φ i with respect to the coordinate system (see Figure 1). The angle between Π i and Π i + 1 is denoted by γ ˜ i , i.e., γ ˜ i = φ i + 1 φ i . Adding theses angles up, we describe a full round trip and, hence, i γ ˜ i = 2 π . We write λ i for the curvature of the plane curve Π i S in p.
The Gauss–Bonnet scheme requires the approximation of S by a set of triangles, i.e., the mesh, whose vertices are defined through the given data points. Then, the set { p i p p i + 1 } i = 1 , , n , p n + 1 = p 1 , of n Euclidean triangles forms a piecewise linear approximation of S around p. For each triangle, let γ i denote the angle p i p p i + 1 and η i the Euclidean distance between p and p i (see Figure 2). Note that, in general, γ i γ ˜ i , and hence, i γ i i γ ˜ i = 2 π . The difference ϵ = 2 π i γ i is called the angular defect at p.

3. The Gauss–Bonnet Scheme

The central quantity we address in this paper is the Gaussian curvature k G . It is defined as the product of the principal curvatures k M (maximum normal curvature) and k m (minimum normal curvature), k G = k M · k m [10]. The angular defect in a surface point divided by a suitable area provides a good approximation of the Gaussian curvature. This can be motivated as follows: In the case of triangulated surfaces, the Gauss–Bonnet theorem [10] is reduced to
R k G d A = 2 π i γ i ,
where R denotes an appropriate region of the mesh around p with a piecewise linear boundary. We take the surface integral over k G [1]. Assuming k G to be constant in R, we rewrite (1) as
k G = 2 π i γ i A R ,
with A R area of R. In the literature, the region R is often selected as a third of the area of the triangles { p i p p i + 1 } [7,9]. Another popular choice of R is the region of the mesh that is closer to p than to its neighbors p i . This region is called the Voronoi region or the module of the mesh at p, and can be computed as follows:
S p = i 1 4 sin γ i η i η i + 1 cos γ i 2 ( η i 2 + η i + 1 2 ) 0 .
Plugging this into Equation (2), we get
k G = 2 π i γ i S p .
In the following, we refer to (4) as the Gauss–Bonnet scheme.
Note that the summands of (3) are not necessarily greater than zero. This condition is automatically fulfilled for acute triangles. Let α i and β i be the angles of the Euclidean triangles { p i p p i + 1 } that are attached to the vertex points p i and p i + 1 , i.e., α i = p p i p i + 1 and β i = p i p i + 1 p . Applying the laws of sines and cosines, we can rewrite (3) as
S p = i 1 4 sin γ i η i η i + 1 cos γ i 2 ( η i 2 + η i + 1 2 ) = 1 8 i η i 2 η i + 1 η i cos γ i η i sin γ i + η i + 1 2 η i η i + 1 cos γ i η i + 1 sin γ i = 1 8 i η i 2 cot β i + η i + 1 2 cot α i = 1 8 i η i 2 cot β i + cot α i 1 .
Here, α i 1 and β i denote the angles opposite to the edge of length η i . Although this equation describes the Voronoi region only for acute triangles, it is more commonly used in the literature, and [1,8,11] build their error analysis on it.
Our work refers to their results of Borrelli, Cazals, and Morvan [6], who evaluate the approximation of the Gaussian curvature (4) in a different way. We discuss their approach in the next section.

4. Error Analysis

We want to estimate the convergence speed of the Gauss–Bonnet scheme. While numerical error analysis indicates that this scheme has a quadratic convergence speed [6], an analytical error analysis has only been performed for special cases [6,7,8,9]. One analytical approach is given by Borrelli, Cazals, and Morvan in [6]. They evaluate an upper limit for the Gauss–Bonnet scheme depending on the differences between the principal curvatures k M and k m . Building on their work, we determine conditions on the data points for a convergence of the Gauss–Bonnet scheme and prove that the convergence speed is faster for locally spherical surfaces. Special attention is devoted to the absolute value of S p that must be non-zero.

4.1. Preliminary Work

Before we can state and prove our theorems, we need some preliminary work. For convenience, we report the relevant material from [6] without proofs, thus making our exposition self-contained.
Let c be a C smooth regular curve and let p be a point in c. Then, we can represent c locally with the graph ( x , f ( x ) ) of a smooth function f, such that p = ( 0 , 0 ) and the tangent to c is aligned with the x-axis. With k = f ( 0 ) and ν = f ( 0 ) , we have, near the origin,
f ( x ) = k x 2 2 + ν x 3 6 + o ( x 3 ) .
In order to approximate the curvature of c in p, we use polar coordinates x = η cos θ , y = η sin θ and evaluate an expression of θ as a function of η .
Proposition 1.
Let f ( x ) be a C smooth regular function with k = f ( 0 ) and ν = f ( 0 ) . For a point p = ( η cos θ , η sin θ ) on the graph of f, near the origin, one has
θ = k η 2 + ν η 2 6 + o ( η 2 ) if x 0 ,
θ = k η 2 ν η 2 6 + o ( η 2 ) if x 0 .
Moreover, we will make use of a dependency relationship between γ ˜ i , γ i , η i , and η i + 1 . Therefore, we consider fixed normal sections Π i .
Proposition 2.
Let η ¯ = max ( η i , η i + 1 ) . Define the following sum and product functions:
s ( η i , η i + 1 ) = λ i 2 η i 2 + λ i + 1 2 η i + 1 2 8 , p ( η i , η i + 1 ) = λ i λ i + 1 η i η i + 1 4 .
The γ ˜ i , γ i , η i , and η i + 1 quantities satisfy
γ ˜ i = γ i + p ( η i , η i + 1 ) sin γ i s ( η i , η i + 1 ) cot γ i + o ( η ¯ 2 ) ,
γ i = γ ˜ i + p ( η i , η i + 1 ) sin γ ˜ i s ( η i , η i + 1 ) cot γ ˜ i + o ( η ¯ 2 ) .
For convenience, we define the following auxiliary functions.
Definition 1.
Consider the one-ring neighbors of p. For the sake of conciseness, let c i = cos φ i , s i = sin φ i , and define the following quantities:
A i = 1 4 sin γ i η i η i + 1 ( c i 2 s i + 1 2 + s i 2 c i + 1 2 ) cos γ i 2 ( η i 2 ( 2 c i 2 s i 2 ) + η i + 1 2 ( 2 c i + 1 2 s i + 1 2 ) ) ,
B i = 1 4 sin γ i η i η i + 1 ( c i 2 c i + 1 2 ) cos γ i 2 ( η i 2 c i 4 + η i + 1 2 c i + 1 4 ) ,
C i = 1 4 sin γ i η i η i + 1 ( s i 2 s i + 1 2 ) cos γ i 2 ( η i 2 s i 4 + η i + 1 2 s i + 1 4 ) .
Thus, S p = A + B + C with A = i A i , B = i B i , and C = i C i .
It can be shown that the Voronoi region S p is independent on the angles φ i (see [6]).
Using this, we can now formulate the relevant proposition of this work. Stating that the angular defect is a homogeneous polynomial of degree two in the principal curvatures, Proposition 3 will be used throughout the following proofs.
Proposition 3.
Let η ¯ = sup i η i . The angular defect and the principal curvatures satisfy
2 π i γ i = ( A k G + B k M 2 + C k m 2 ) + o ( η ¯ 2 ) .
Based on this preliminary work, we present our main results in the next subsections.

4.2. Acute Triangles

The subsequent Theorem 1 provides an upper bound for the discrepancy between the Gauss–Bonnet scheme (4) and the Gaussian curvature for acute triangles. It easily can be shown that the Voronoi region S p is greater than zero under these conditions.
Theorem 1.
Let T m be a sequence of meshes on a smooth surface with p as a common vertex. Consider the one-ring around p. Let η ¯ m = sup i η m i , η ̲ m = inf i η m i . Suppose that:
  • There exists a positive constant γ m i n such that i , m , 0 < γ m i n γ m i π / 2 .
  • There exist two positive constants η 1 , η 2 such that m , η 1 η ¯ m / η ̲ m η 2 .
For k M k m , there exists a positive constant C such that
lim sup m | 2 π i γ m i S p m k G | C [ ( k M k m ) 2 + | k M 2 k m 2 | ] .
C depends on the angle γ m i n and the length ratio η 2 , which are constant and given through the sequence of meshes.
For k M = k m , it is
lim sup m | 2 π i γ m i S p m k G | o ( 1 ) .
Proof. 
Here, we evaluate the given inequalities on the basis of the proof in [6] and provide an indication of how to estimate C . It is sufficient to give the proof for a particular mesh in the sequence. For the sake of clarity, we omit its index m. Using Proposition 3, we first estimate the difference | 2 π i γ i S p k G | .
| 2 π i γ i S p k G | = | 2 π i γ i ( A + B + C ) k G | = | B ( k M 2 k G ) + C ( k m 2 k G ) | + o ( η ¯ 2 ) = | B + C 2 ( k M k m ) 2 + B C 2 ( k M 2 k m 2 ) | + o ( η ¯ 2 ) | B + C 2 | ( k M k m ) 2 + | B C 2 | | k M 2 k m 2 | + o ( η ¯ 2 )
To express the inequality (17) in terms of η ¯ and γ m i n , we have to find upper and lower bounds for the auxiliary functions B and C. For acute triangles, i.e., γ i ( 0 , π / 2 ) , one has cos γ i > 0 . Hence, with c i = cos φ i , we have
B i = 1 4 sin γ i η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i 2 c i 4 + η i + 1 2 c i + 1 4 ) = 1 4 sin γ i ( 1 cos γ i ) η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i c i 2 η i + 1 c i + 1 2 ) 2 1 4 sin γ i ( 1 cos γ i ) η i η i + 1 c i 2 c i + 1 2 ( 1 cos γ i ) 4 sin γ i η ¯ 2 .
Therefore,
B = i = 1 n B i i = 1 n ( 1 cos γ i ) 4 sin γ i η ¯ 2 < i = 1 n η ¯ 2 4 sin γ m i n = n η ¯ 2 4 sin γ m i n .
Similarly, we find the lower bound of B.
B i = 1 4 sin γ i η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i 2 c i 4 + η i + 1 2 c i + 1 4 ) = 1 4 sin γ i ( 1 cos γ i ) η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i c i 2 η i + 1 c i + 1 2 ) 2 1 4 sin γ i 0 cos γ i 2 η ¯ 2 = cos γ i 8 sin γ i η ¯ 2 .
Therefore
B i cos γ i 8 sin γ i η ¯ 2 > n η ¯ 2 8 sin γ m i n > n η ¯ 2 4 sin γ m i n .
Combining the upper and lower bounds of B, we get
| B | < n η ¯ 2 4 sin γ m i n .
Analogously, we find the same bounds for C. That gives
| B + C 2 | n η ¯ 2 4 sin γ m i n , | B C 2 | n η ¯ 2 4 sin γ m i n .
Substituting this result into (17) yields
| 2 π i γ i S p k G | n η ¯ 2 4 sin γ m i n ( k M k m ) 2 + | k M 2 k m 2 | + o ( η ¯ 2 ) .
Since S p > 0 , we can normalize (24) with S p . It follows that
| 2 π i γ i S p k G | η ¯ 2 S p n 4 sin γ m i n ( k M k m ) 2 + | k M 2 k m 2 | + o ( 1 ) .
We are left with the task of determining η ¯ 2 / S p . For this purpose, we use (5) to find a lower bound of S p . We have
cot β i + cot α i = cot β i + cot ( π β i γ i ) = cot β i cot ( β i + γ i ) cot β i cot ( β i + γ m i n ) .
It follows from easy calculations that the right-hand side of (26) is minimal for β i = cot 1 1 cos γ m i n sin γ m i n , and therefore,
cot β i + cot α i 1 cos γ m i n sin γ m i n cot cot 1 1 cos γ m i n sin γ m i n + γ m i n = : D > 0 .
Substituting (27) into (5) yields
S p = i 1 8 η i 2 cot β i + cot α i 1 i 1 8 η ̲ 2 D .
We can estimate η ¯ 2 / S p as follows:
η ¯ 2 S p 8 η ¯ 2 i η ̲ 2 D 1 8 n η 2 2 D 1 .
Combining (29) with (25), we obtain
| 2 π i γ i S p k G | 2 η 2 2 D 1 sin γ m i n ( k M k m ) 2 + | k M 2 k m 2 | + o ( 1 ) .
Set c = 2 η 2 2 D 1 sin γ m i n . Obviously, Equation (16) follows from (30) for k M = k m . Since o ( 1 ) is bounded, we can find a constant C > c such that (15) is given for k M k m . This completes the proof. □

4.3. Triangles with Preconditioned Edge Lengths

While assuming that the angles of the Euclidean triangles spanned by { p i p p i + 1 } are acute, we make sure that S p > 0 . In the same manner, we formulate preconditions on the distances η i to achieve positive summands of S p , and hence, S p > 0 .
Proposition 4.
Let S p be as defined above. Write η ¯ = sup i η i and η ̲ = inf i η i , and suppose that:
  • There exists a positive constant γ m i n such that 0 < γ m i n γ i < π for all i.
  • There exist positive constants η 1 and η 2 such that 0 < η 1 η ¯ / η ̲ η 2 for all i.
If η 2 < ( 1 + sin γ m i n ) cos γ m i n or γ m i n π / 2 , then S p > 0 .
Proof. 
The basic idea of the proof is to determine conditions on the distances η i such that the terms S p i : = 1 4 sin γ i η i η i + 1 cos γ i 2 η i 2 + η i + 1 2 are greater than zero. If S p i is greater than zero for all i, then S p = i S p i is greater than zero.
First, we consider the case that γ m i n < π / 2 , i.e., cos γ m i n > 0 . It follows by simple analysis that S p i > 0 for η i + 1 ( 1 sin γ i ) cos γ i < η i < η i + 1 ( 1 + sin γ i ) cos γ i . We generalize this condition by demanding that η ¯ ( 1 sin γ m i n ) cos γ m i n < η i < η ̲ ( 1 + sin γ m i n ) cos γ m i n for all i. Hence, η ¯ ( 1 sin γ m i n ) cos γ m i n < η ̲ and η ¯ < η ̲ ( 1 + sin γ m i n ) cos γ m i n . By rearranging the terms, we get η ¯ / η ̲ < ( 1 + sin γ m i n ) cos γ m i n .
In the case γ m i n π / 2 , we have cos γ m i n 0 . Hence, it is easily seen that S p i must be positive. This completes the proof. □
In the next theorem, we establish the upper bound of the normalized angular defect for data points with preconditioned distances.
Theorem 2.
Let T m be a sequence of meshes on a smooth surface with p as a common vertex. Consider the one-ring around p. Let η ¯ m = sup i η m i , η ̲ m = inf i η m i . Suppose that:
  • There exists a positive constant γ m i n such that i , m , 0 < γ m i n γ m i π .
  • There exists a positive constant γ m i n ( 0 , π ) such that i , m , 0 < sin γ m i n sin γ m i .
  • There exist positive constants η 1 and η 2 such that m , 0 < η 1 η ¯ m / η ̲ m η 2 and η 2 < ( 1 + sin γ m i n ) cos γ m i n , if γ m i n π / 2 .
For k M k m , there exists a positive constant C such that
lim sup m | 2 π i γ m i S p k G | C [ ( k M k m ) 2 + | k M 2 k m 2 | ] .
C depends on the angle γ m i n and the length ratio η 2 , which are constant and given by the sequence of meshes.
For k M = k m , it is
lim sup m | 2 π i γ m i S p k G | o ( 1 ) .
Proof. 
The proof follows the same line as the proof of Theorem 1. Again, we consider a particular mesh in the sequence and omit its index m. First, we can estimate | 2 π i γ i S p k G | as in (17). By determining the upper and lower bounds of B, we have to take into account that cos γ i is not necessarily positive.
B i = 1 4 sin γ i η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i 2 c i 4 + η i + 1 2 c i + 1 4 ) 1 4 sin γ i η ¯ 2 + 1 2 ( 2 η ¯ 2 ) = η ¯ 2 2 sin γ i .
This yields
B = i B i i η ¯ 2 2 sin γ i n η ¯ 2 2 sin γ m i n .
In the same manner, we find the lower bound of B.
B i = 1 4 sin γ i η i η i + 1 c i 2 c i + 1 2 cos γ i 2 ( η i 2 c i 4 + η i + 1 2 c i + 1 4 ) = 1 4 sin γ i η i η i + 1 c i 2 c i + 1 2 ( 1 cos γ i ) cos γ i 2 ( η i c i 2 η i + 1 c i + 1 2 ) 2 cos γ i 8 sin γ i η ¯ 2 η ¯ 2 8 sin γ i .
Therefore,
B n η ¯ 2 8 sin γ m i n > n η ¯ 2 2 sin γ m i n .
Combining the inequalities (34) and (36), we get
| B | n η ¯ 2 2 sin γ m i n .
Likewise, we get identical bounds for C. This gives
| B + C 2 | n η ¯ 2 2 sin γ m i n , | B C 2 | n η ¯ 2 2 sin γ m i n .
We proceed analogously to the proof of Theorem 1 by substituting this result in (17)
| 2 π i γ i S p k G | | B + C 2 | ( k M k m ) 2 + | B C 2 | | k M 2 k m 2 | + o ( η ¯ 2 ) n η ¯ 2 2 sin γ m i n ( k M k m ) 2 + | k M 2 k m 2 | + o ( η ¯ 2 ) .
By Proposition 4, we know that S p must be positive. Thus, normalizing (39) by S p gives
| 2 π i γ i S p k G | η ¯ 2 S p n 2 sin γ m i n ( k M k m ) 2 + | k M 2 k m 2 | + o ( 1 ) .
As before, we are left with the task of determining η ¯ 2 / S p . Therefore, we are looking for a lower bound of S p i . From easy calculations, it follows that S p is minimal either for η i = η ̲ , η i + 1 = η ̲ or for η i = η ̲ , η i + 1 = η ¯ . Let us compare these cases by analyzing the respective differences of S p i . This way, we evaluate the conditions under which one of these cases S p i becomes minimal. Since η ̲ > 0 , the expression
4 sin γ i S p i ( η ̲ , η ¯ ) S p i ( η ̲ , η ̲ ) = η ̲ η ¯ cos γ i 2 ( η ̲ 2 + η ¯ 2 ) η ̲ 2 ( 1 cos γ i ) = η ̲ 2 ( η ¯ / η ̲ 1 ) ( 1 cos γ i ) cos γ i 2 ( η ¯ / η ̲ 1 ) 2 = η ̲ 2 cos γ i 2 ( η ¯ / η ̲ ) 2 + ( η ¯ / η ̲ ) 1 cos γ i 2
is zero if and only if ( η ¯ / η ̲ ) is equal to 1 (i.e., η ¯ = η ̲ ) or 2 cos γ i cos γ i . Moreover, the derivative of (41) with respect to ( η ¯ / η ̲ ) is positive for ( η ¯ / η ̲ ) = 1 and negative for ( η ¯ / η ̲ ) = 2 cos γ i cos γ i . From this, we get a lower bound for S p i and, subsequently, for S p .
S p n 4 sin γ m i n η ̲ η ¯ cos γ m i n 2 ( η ̲ 2 + η ¯ 2 ) if γ m i n < π 2 and ( η ¯ / η ̲ ) > 2 cos γ m i n cos γ m i n n η ̲ 2 4 sin γ m i n ( 1 cos γ m i n ) otherwise .
Substituting (42) into (40) gives
| 2 π i γ i S p K | c ( k M k m ) 2 + | k M 2 k m 2 | + o ( 1 ) ,
with
c = 2 η ¯ 2 η ̲ 2 sin γ m i n sin γ m i n η ¯ η ̲ cos γ m i n 2 ( 1 η ¯ 2 η ̲ 2 ) 1 if γ m i n < π 2 and ( η ¯ / η ̲ ) > 2 cos γ m i n cos γ m i n 2 η ¯ 2 η ̲ 2 sin γ m i n sin γ m i n 1 cos γ m i n 1 otherwise .
Now, we proceed analogously to the proof of Theorem 1. □

4.4. Sphere

In Section 4.2 and Section 4.3, we provided a convergence speed of the Gauss–Bonnet scheme for arbitrary smooth surfaces. Now, we alter the above theory for locally spherical surfaces, i.e., k M = k m , and estimate a faster convergence speed. Therefore, we first have to revise the propositions in Section 4.1 for this special case.
Theorem 3.
Let S be a smooth surface that is locally spherical in p S . Let T m be a sequence of meshes on S with p as a common vertex. Consider the one-ring around p. Let η ¯ m = sup i η m i . If S p m 0 for all m, then
lim sup m | 2 π i γ m i S p m k G | o ( η ¯ ) .
Proof. 
First, we prove that
γ ˜ i = γ i + p ( η i , η i + 1 ) sin γ i s ( η i , η i + 1 ) cot γ i + o ( η ¯ 3 ) .
Therefore, we define a coordinate system such that p is placed in the origin and is identical to the north pole of the sphere. Let the one-ring neighbors p i be placed on the northern hemisphere. Analogously to the proof of Proposition 2 in [6], we get the equality
cos γ i = cos θ i cos θ i + 1 cos γ ˜ i + sin θ i sin θ i + 1 ,
through comparison of the expressions of the dot product pp i · pp i + 1 in spherical coordinates. Since Π i S is a plane curve, we can apply Proposition 1 to express θ i as a function of η i . For a sphere, ν i = f i ( 0 ) is zero, and hence,
θ i = k i η i 2 + o ( η i 2 ) .
Substituting (48) into the series expansion of sine and cosine yields
cos θ i = 1 λ i 2 η i 2 8 + o ( η i 3 ) ,
sin θ i = λ i η i 2 + o ( η i 2 ) .
Thus, we can rewrite (47) as
cos γ i = cos γ ˜ i 1 s ( η i , η i + 1 ) + p ( η i , η i + 1 ) + o ( η ¯ 3 ) .
Applying the same arguments as the authors in [6] gives (46). We proceed to insert (46) into the left-hand side of (14) and get, again analogously to the proof in [6],
2 π i γ i = ( A k G + B k M 2 + C k m 2 ) + o ( η ¯ 3 ) .
Since we are dealing with a locally spherical surface, we have k M 2 = k m 2 = k G . Hence, with S p = A + B + C , we get
| 2 π i γ i S p k G | = | B ( k M 2 k G ) + C ( k m 2 k G ) | + o ( η ¯ 3 ) = o ( η ¯ 3 ) .
Dividing (53) through S p yields (45), which proves the theorem. □

4.5. Counterexample

In the above analysis, we formulated conditions on the mesh for a convergence of the Gauss–Bonnet scheme. When applying this method, we divide the angular defect by the Voronoi region S p of point p. Hence, S p must not become zero.
Here, we construct an example showing that the scheme fails when the conditions are not fulfilled. Let p i ; i = 1 , , 6 be six one-ring neighbors of p spanning Euclidean triangles with identical angles in p and alternating lengths, i.e., γ i = 2 tan 1 ( 1 / 3 ) for all i { 1 , , 6 } , η i η i + 1 = 2 for i { 1 , 3 , 5 } , and η i = η i + 2 for all i { 1 , , 6 } . This example does not fulfill the third condition of Theorem 2, since sup i η i inf i η i = 2 2 = 1 + sin ( γ m i n ) cos ( γ m i n ) . Furthermore, the angles of the spanned Euclidean triangles in the neighbor points of the short edges, i.e., p i ; i = 2 , 4 , 6 , are not acute, and thus contradict the first condition of Theorem 1. Inserting these numbers into (3), we get S p = 0 . Hence, the scheme does not converge.

5. Conclusions

In this work, we derived necessary conditions for the convergence of the Gauss–Bonnet scheme for an arbitrary mesh of data points of a smooth surface. Under these conditions, we proved a linear convergence speed in general and quadratic convergence speed in the special case of locally spherical surfaces. We also showed that the Gauss–Bonnet scheme does not always provide an accurate estimate of the Gaussian curvature. The scheme can even diverge if the conditions are not satisfied. Thus, the Gauss–Bonnet scheme should be used for estimating the Gaussian curvature at a vertex only when one can control the mesh. In particular, it is necessary to guarantee that the Voronoi region of the vertex does not become zero.
In our analysis, we did not consider the vertex points to be erroneous due to sensing noises [5,12]. However, we think that an error analysis for noisy data is possible with the methods presented above.

Funding

The author gratefully acknowledges support by the Deutsches Zentrum für Luft- und Raumfahrt (DLR) with funding from the Bundesministerium für Wirtschaft und Technologie (FKZ 50OQ1801). Furthermore, the author gratefully acknowledges the funding of the Clusters of Excellence PhoenixD (EXC-2122, Project ID 390833453) and Quantum Frontiers (EXC-2123, Project ID 390837967) funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy.

Acknowledgments

The work presented here builds on the author’s master thesis submitted in 2017 at the Friedrich Schiller University Jena. Therefore, the author would like to thank Gerhard Zumbusch and Joachim Giesen for their supervision and useful discussions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Magid, E.; Soldea, O.; Rivlin, E. A comparison of Gaussian and mean curvature estimation methods on triangular meshes of range image data. Comput. Vis. Image Underst. 2007, 107, 139–159. [Google Scholar] [CrossRef]
  2. Surazhsky, T.; Magid, E.; Soldea, O.; Elber, G.; Rivlin, E. A comparison of Gaussian and mean curvature estimation methods on triangular meshes. In Proceedings of the 2003 IEEE International Conference on Robotics and Automation, Taipei, Taiwan, 14–19 September 2003; Volume 1, pp. 1021–1026. [Google Scholar]
  3. Watanabe, K.; Belyaev, A. Detection of salient curvature features on polygonal surfaces. Eurographics 2001, 20, 53. [Google Scholar] [CrossRef]
  4. Taubin, G. A signal processing approach to fair surface design. Comput. Graph. 1995, 29, 351–358. [Google Scholar]
  5. Gatzke, T.D.; Grimm, C.M. Estimating curvature on triangular meshes. Int. J. Shape Model. 2006, 12, 1–28. [Google Scholar] [CrossRef] [Green Version]
  6. Borrelli, V.; Cazals, F.; Morvan, J.M. On the angular defect on triangulations and the pointwise approximation of curvatures. Comput. Aided Geom. Des. 2003, 20, 319–341. [Google Scholar] [CrossRef]
  7. Meek, D.S.; Walton, D.J. On surface normal an Gaussian curvature approximations given data sampled from a smoth surface. Comput. Aided Geom. Des. 2000, 17, 521–543. [Google Scholar] [CrossRef]
  8. Xu, G. Convergence analysis of a discretization scheme for Gaussian curvature over triangular surfaces. Comput. Aided Geom. Des. 2006, 23, 193–207. [Google Scholar] [CrossRef]
  9. Xu, Z.; Xu, G. Discrete schemes for Gaussian curvature and their convergence. Comput. Math. Appl. 2009, 57, 1187–1195. [Google Scholar] [CrossRef] [Green Version]
  10. Do Carmo, M.P. Differential Geometry of Curves and Surfaces; Prentice-Hall, Inc.: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
  11. Meyer, M.; Desbrun, M.; Schröder, P.; Barr, A.H. Discrete differential-geometry operators for triangulated 2-manifolds. In Visualization and Mathematics III; Springer: Berlin/Heidelberg, Germany, 2003; pp. 35–57. [Google Scholar]
  12. Pottmann, H.; Wallner, J.; Huang, Q.X.; Yang, Y.L. Integral invariants for robust geometry processing. Comput. Aided Geom. Des. 2009, 26, 37–60. [Google Scholar] [CrossRef]
Figure 1. Definition of point p i in spherical coordinates and the position of the plane Π i in relation to p and p i . Thereby, the angle φ i describes the tilt of the plain Π i around the normal vector n and the position of the point p i in to the plain spanned by the other two axes of the coordinate system. The angle θ i defines the position of p i with respect to the latter plain.
Figure 1. Definition of point p i in spherical coordinates and the position of the plane Π i in relation to p and p i . Thereby, the angle φ i describes the tilt of the plain Π i around the normal vector n and the position of the point p i in to the plain spanned by the other two axes of the coordinate system. The angle θ i defines the position of p i with respect to the latter plain.
Mca 26 00015 g001
Figure 2. Description of the Euclidean and geodesic triangles { p p i p i + 1 } . The points p i and p i + 1 belong to the one-ring neighbor points of p. Their Euclidean distance to p is given by η i and η i + 1 .
Figure 2. Description of the Euclidean and geodesic triangles { p p i p i + 1 } . The points p i and p i + 1 belong to the one-ring neighbor points of p. Their Euclidean distance to p is given by η i and η i + 1 .
Mca 26 00015 g002
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Hartig, M.-S. Approximation of Gaussian Curvature by the Angular Defect: An Error Analysis. Math. Comput. Appl. 2021, 26, 15. https://doi.org/10.3390/mca26010015

AMA Style

Hartig M-S. Approximation of Gaussian Curvature by the Angular Defect: An Error Analysis. Mathematical and Computational Applications. 2021; 26(1):15. https://doi.org/10.3390/mca26010015

Chicago/Turabian Style

Hartig, Marie-Sophie. 2021. "Approximation of Gaussian Curvature by the Angular Defect: An Error Analysis" Mathematical and Computational Applications 26, no. 1: 15. https://doi.org/10.3390/mca26010015

Article Metrics

Back to TopTop