A Simple Discretization of the Vector Dirichlet Energy
Total Page:16
File Type:pdf, Size:1020Kb
DOI:10.1111/cgf.14070 Eurographics Symposium on Geometry Processing 2020 Volume 39 (2020), Number 5 Q. Huang and A. Jacobson (Guest Editors) A Simple Discretization of the Vector Dirichlet Energy Oded Stein1, Max Wardetzky2, Alec Jacobson3 and Eitan Grinspun3;1 1Columbia University, USA 2University of Göttingen, Germany 3University of Toronto, Canada Abstract We present a simple and concise discretization of the covariant derivative vector Dirichlet energy for triangle meshes in 3D using Crouzeix-Raviart finite elements. The discretization is based on linear discontinuous Galerkin elements, and is simple to implement, without compromising on quality: there are two degrees of freedom for each mesh edge, and the sparse Dirichlet energy matrix can be constructed in a single pass over all triangles using a short formula that only depends on the edge lengths, reminiscent of the scalar cotangent Laplacian. Our vector Dirichlet energy discretization can be used in a variety of applications, such as the calculation of Killing fields, parallel transport of vectors, and smooth vector field design. Experiments suggest convergence and suitability for applications similar to other discretizations of the vector Dirichlet energy. 1. Introduction The covariant derivative r generalizes the gradient of scalar func- tions to vector fields defined on surfaces. As the gradient does for scalar functions, the covariant derivative measures the infinitesimal change of a vector field in every direction. As with the gradient’s 1 R 2 scalar Dirichlet energy, Escalar(u) := 2 W kruk dx for a smooth scalar function u and a smooth surface W, the covariant derivative has a corresponding vector Dirichlet energy, Z 1 2 E(u) := krukF dx , (1) transporting the 2 W red vector (enlarged) denoising a vector field by smoothing across the surface where u is a smooth vector-valued function on W, and k·kF is the Frobenius norm. Much like the scalar Dirichlet energy Escalar does Figure 1: Parallel transporting a vector across a surface with our for scalar functions, the vector Dirichlet energy E measures the Crouzeix-Raviart discretization of vector heat flow (left), and de- smoothness of a vector field. noising a vector field with our discretization of the vector diffusion equation (right). Just as Escalar is useful for scalar data processing, E has many uses in vector field processing. While E has been employed scalar Our discretization is based on Crouzeix-Raviart finite elements. in many geometry processing methods and applications, E has, in Its most notable features are its simplicity and ease of implementa- comparison, seen less usage in practice. A key reason for the wide tion, without sacrificing any quality: adoption of Escalar is the existence of a simple, reliable, and read- ily available finite element discretization: the cotangent Laplacian. • the real, sparse Dirichlet energy matrix can be built in a single There are a variety of existing discretizations of E, but they can pass over all faces using a simple formula depending only on not be implemented using quite as few lines of code as the cotan- each (individual) triangle’s edge lengths; gent Laplacian. The matrix for the cotangent Laplacian can be con- • the degrees of freedom directly correspond to the edges of the 1 structed using only the expression Lcotani j = 2 cotai j + cotbi j mesh, making the results easy to understand and visualize; for each vertex pair i; j (where ai j;bi j are the two angles opposite • no preprocessing or intermediate data structures beyond simple the edge i j), as well as summation [MDSB03, (5)]. We advocate for matrices are required; a discretization of E that aspires to the simplicity of the cotangent • applications, performance and convergence are similar to other Laplacian. discretizations of E. c 2020 The Author(s) Computer Graphics Forum c 2020 The Eurographics Association and John Wiley & Sons Ltd. Published by John Wiley & Sons Ltd. https://www.eg.org https://diglib.eg.org 82 O. Stein, M. Wardetzky, A. Jacobson & E. Grinspun / A Simple Discretization of the Vector Dirichlet Energy The sparse 2m×2m-matrix L of the discrete energy E for a mesh The covariant derivative on a smooth surface is this vector gradi- 3 with m edges ent of R restricted to the tangent space of the surface, where it 1: for all faces f , consecutive edges ei;e j 2 f do becomes dependent on the surface’s curvature (while this defini- 3 2: li = len(ei); l j = len(e j); lk = len(ek) // ek 3rd edge tion only works for surfaces embedded inR , it generalizes to other 3: s = orientation(ei) · orientation(e j) // can be 1 or −1 kinds of surfaces [Lee97, Section 5]). 2 2 2 2 4: a = s(li + l j − lk ) =(4lil j area( f )) Operators like ru, which consume a vector field and return a 2 2 2 5: b = s(li + l j − lk )=(lil j) vector field, have an associated inner product : that generalizes the 2 2 scalar product · . The operation : for X;Y represented as matrices 6: L(ei;ei) += li =area( f ); L(ei +m;ei +m) += li =area( f ) can be written as X : Y := tr(X|Y), where X| is the transpose of // L(a;b) x expands to L(a;b) = x; L(b;a) = x an operator X that takes the surface’s metric into account [Lee97]. 7: L(ei;e j) a; L(ei + m;e j + m) a X|Y is sometimes also referred to as composing the adjoint of X 8: L(ei;e j + m) b; L(e j;ei + m) −b with Y. ∗ We demonstrate our discretization for three established applica- The covariant derivative r has an adjoint operator r , similar tions of the vector Dirichlet energy—smoothing vector fields, cre- to how the gradient of a scalar function is adjoint to the divergence ating Killing vector fields, and efficient parallel transport of vectors of a vector field. The adjoint covariant derivative is defined by in- (see Figure 1). We study the convergence of our method and two tegration by parts over a surface W, previous methods, and we find that our method converges at the Z Z Z ru : X dx = u · r∗X dx + u · X(n) dG same rate as previous methods. W W ¶W (2) The way we arrive at our discretization parallels the discretiza- n unit boundary normal at ¶W , tion of Escalar by the cotangent Laplacian for applications in scalar where X is an operator that takes a vector field and returns a vector geometry processing. Desbrun et al. [DMSB99] adopted the well- field, and u is a vector field. This adjoint operator is used to define established cotangent Laplacian [Mac49], demonstrated its utility, a Laplace operator for vector fields, the Bochner Laplacian (also and spurred its adoption in geometry processing. Similarly, we referred to as the connection Laplacian) [Pet06, pp. 209], employ a discretization introduced by Stein et al. [SJWG20] as part D u = r∗ru . of a routine to process scalar functions, and demonstrate its utility B n for vector field processing. Our discretization generalizes popular In R , the Bochner Laplacian is (up to sign) the usual vector field and extensively studied methods from numerical analysis of finite Laplacian defined by applying the scalar Laplacian in each coor- 2 elements for flat domains in R , which simplifies mathematical dinate. It appears, for example, in the Navier-Stokes equations for study of the method. fluid mechanics [Fan19]. 2.2. The vector Dirichlet energy 2. Theoretical background The Bochner Laplacian DB defines a vector Laplace equation, In this section we provide a brief overview of the covariant deriva- DBu = 0 , (3) tive and the vector Dirichlet energy. Readers who are already fa- which shares many properties with the scalar Laplace equation miliar with these topics, or who want to get straight to the appli- Du = 0, such as smoothness of the associated flow [BGV96, Chap- cations, can safely skip this section. The discretization and matrix ter 2]. In general, the right-hand side can be any function, but we implementation follow in Section 3. will assume that it is zero for simplicity. The Bochner Laplacian has an associated energy, constructed us- 2.1. The covariant derivative ing integration by parts. Let u;v be smooth vector fields on the sur- face W. Then we can write (3), by multiplying with a test function For a vector field u, the covariant derivative ru generalizes the v and integrating, as gradient of a scalar function, r f [Lee97, Section 4]. Z Z Z We will be working on a smooth, orientable surface W. The DBu · v dx = ru : rv dx − rnu · v dG W W ¶W (4) covariant derivative is an operator r : T ( ) × T ( ) !T ( ), W W W n unit boundary normal at ¶W , where T (W) is the space of tangent vector fields on the smooth surface W. It is usually written as rvu for two vector fields v;u, where we used (2). By calculus of variation [Eva92, Section 8], the and when the subscript v is omitted, ru is interpreted as the op- solution u of (4) is the minimizer of the vector Dirichlet energy, erator that takes v as an argument and returns rvu. In the flat Eu- 3 Z clidean space R , with a vector field u written as a column vector 1 2 | E(u) := krukF dx , (5) u = ux uy uz , the covariant derivative is simply componen- 2 W twise differentiation, 0 1 2 ¶xux ¶yux ¶zux where kXkF := X : X is the Frobenius norm. The boundary term in ru = @¶xuy ¶yuy ¶zuyA . (4) implies that minimizers will fulfill the Neumann boundary con- ¶xuz ¶yuz ¶zuz dition, rnu = 0 at ¶W, if no explicit boundary condition is applied c 2020 The Author(s) Computer Graphics Forum c 2020 The Eurographics Association and John Wiley & Sons Ltd.