In this paper, we propose a new trace finite element method for the {Laplace-Beltrami} eigenvalue problem. The method is proposed directly on a smooth manifold which is implicitly given by a level-set function and require high order numerical quadrature on the surface. A comprehensive analysis for the method is provided. We show that the eigenvalues of the discrete Laplace-Beltrami operator coincide with only part of the eigenvalues of an embedded problem, which further corresponds to the finite eigenvalues for a singular generalized algebraic eigenvalue problem. The finite eigenvalues can be efficiently solved by a rank-completing perturbation algorithm in {\it Hochstenbach et al. SIAM J. Matrix Anal. Appl., 2019} \cite{hochstenbach2019solving}. We prove the method has optimal convergence rate. Numerical experiments verify the theoretical analysis and show that the geometric consistency can improve the numerical accuracy significantly.
Eigendecomposition of the Laplace-Beltrami operator is instrumental for a variety of applications from physics to data science. We develop a numerical method of computation of the eigenvalues and eigenfunctions of the Laplace-Beltrami operator on a smooth bounded domain based on the relaxation to the Schrödinger operator with finite potential on a Riemannian manifold and projection in a special basis. We prove spectral exactness of the method and provide examples of calculated results and applications, particularly, in quantum billiards on manifolds.
Finite element method to solve the spectral problem for arbitrary self-adjoint extensions of the Laplace-Beltrami operator on manifolds with a boundary
Univ. Carlos III de Madrid（马德里卡洛斯三世大学）；INFN, Sezione di Napoli（意大利国家核物理研究所那不勒斯分部）
The convergence problem of the Laplace-Beltrami operators plays an essential role in the convergence analysis of the numerical simulations of some important geometric partial differential equations which involve the operator. In this note we present a new effective and convergent algorithm to compute discrete Laplace-Beltrami operators acting on functions over surfaces. We prove a convergence theorem for our discretization. To our knowledge, this is the first convergent algorithm of discrete Laplace-Beltrami operators over surfaces for functions on general surfaces. Our algorithm is conceptual…
We consider numerical approximations of spectral fractional Laplace-Beltrami problems on closed surfaces. The proposed numerical algorithms rely on their Balakrishnan integral representation and consist of a sinc quadrature coupled with standard finite element methods for parametric surfaces. Possibly up to a log term, optimal rates of convergence are observed and derived analytically when the discrepancies between the exact solution and its numerical approximations are measured in $L^2$ and $H^1$. The performances of the algorithms are illustrated in different settings including the approxima…
We introduce a new local meshfree method for the approximation of the Laplace-Beltrami operator on a smooth surface of co-dimension one embedded in $\R^3$. A key element of this method is that it does not need an explicit expression of the surface, which can be simply defined by a set of scattered nodes. It does not require expressions for the surface normal vectors and for the curvature of the surface neither, which are approximated using formulas derived in the paper. An additional advantage is that it is a local method and, hence, the matrix that approximates the Laplace-Beltrami operator i…
An isogeometric approach for solving the Laplace-Beltrami equation on a two-dimensional manifold embedded in three-dimensional space using a Galerkin method based on Catmull-Clark subdivision surfaces is presented and assessed. The scalar-valued Laplace-Beltrami equation requires only C0 continuity and is adopted to elucidate key features and properties of the isogeometric method using Catmull-Clark subdivision surfaces. Catmull-Clark subdivision bases are used to discretise both the geometry and the physical field. A fitting method generates control meshes to approximate any given geometry wi…
Sparse eigenproblems are important for various applications in computer graphics. The spectrum and eigenfunctions of the Laplace--Beltrami operator, for example, are fundamental for methods in shape analysis and mesh processing. The Subspace Iteration Method is a robust solver for these problems. In practice, however, Lanczos schemes are often faster. In this paper, we introduce the Hierarchical Subspace Iteration Method (HSIM), a novel solver for sparse eigenproblems that operates on a hierarchy of nested vector spaces. The hierarchy is constructed such that on the coarsest space all eigenpai…
The eigenfunctions of the Laplace-Beltrami operator have widespread applications in a number of disciplines of engineering, computer vision/graphics, machine learning, etc. These eigenfunctions or manifold harmonics, provide the means to smoothly interpolate data on a manifold. They are highly effective, specifically as it relates to geometry representation and editing; manifold harmonics form a natural basis for multi-resolution representation (and editing) of complex surfaces and functioned defined therein. In this paper, we seek to develop the framework to exploit the benefits of manifold h…
High-Order AFEM for the Laplace-Beltrami Operator: Convergence Rates
Texas A&M University（德克萨斯农工大学）；Universidad de Salamanca（萨拉曼卡大学）；Chulalongkorn University（朱拉隆功大学）；CONICET（国家科学研究委员会）；Universidad Nacional del Litoral（国立里奥斯特拉大学）；University of Maryland（马里兰大学）
Nonisometric Surface Registration via Conformal Laplace-Beltrami Basis Pursuit
Department of Mathematics, Rensselaer Polytechnic Institute（拉特格斯理工学院数学系）；Institute of Computational Science（瑞士意大利计算科学研究所）；Universit della Svizzera Italiana
This work presents uniform preconditioners for the discrete Laplace--Beltrami operator on hypersurfaces. In particular, within the framework of fast auxiliary space preconditioning (FASP), we develop efficient and user-friendly multilevel preconditioners for the Laplace--Beltrami type equation discretized by Lagrange, nonconforming linear, and discontinuous Galerkin elements. The analysis applies to semi-definite problems on a closed surface. Numerical experiments on 2d surfaces and 3d hypersurfaces are presented to illustrate the efficiency of the proposed preconditioners.
