CaltechTHESIS
  A Caltech Library Service

A Subdivision Approach to the Construction of Smooth Differential Forms

Citation

Wang, Ke (2008) A Subdivision Approach to the Construction of Smooth Differential Forms. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/K0DE-9P44. https://resolver.caltech.edu/CaltechETD:etd-02282008-112022

Abstract

Vertex- and face-based subdivision schemes are now routinely used in geometric modeling and computational science, and their primal/dual relationships are well studied. In this thesis we interpret these schemes as defining bases for discrete differential 0- resp. 2-forms, and present a novel subdivision-based method of constructing smooth differential forms on simplicial surfaces. It completes the picture of classic primal/dual subdivision by introducing a new concept named r-cochain subdivision. Such subdivision schemes map scalar coefficients on r-simplexes from the coarse to the refined mesh and converge to r-forms on the mesh. We perform convergence and smoothness analysis in an arbitrary topology setting by utilizing the techniques of matrix subdivision and the subdivision differential structure.

The other significance of our method is its preserving exactness of differential forms. We prove that exactness preserving is equivalent to the commutative relations between the subdivision schemes and the topological exterior derivative. Our construction is based on treating r- and (r+1)-cochain subdivision schemes as a pair and enforcing the commutative relations. As a result, our low-order construction recovers classic Whitney forms, while the high-order construction yields a new class of high order Whitney forms. The 1-form bases are C^1, except at irregular vertices where they are C^0. We also demonstrate extensions to three-dimensional subdivision schemes and non-simplicial meshes as well, such as quadrilaterals and octahedra.

Our construction is seamlessly integrated with surface subdivision. Once a metric is supplied, the scalar 1-form coefficients define a smooth tangent vector filed on the underlying subdivision surface. Design of tangent vector fields is made particularly easy with this machinery as we demonstrate. The subdivision r-forms can also be used as finite element bases for physical simulations on curved surfaces. We demonstrate the optimal rate of convergence in solving the Laplace and bi-Laplace equations of 1-forms.

Item Type:Thesis (Dissertation (Ph.D.))
Subject Keywords:Differential Forms; Discrete Exterior Calculus; Mixed Finite Element; Subdivision; Vector Field; Whitney Forms
Degree Grantor:California Institute of Technology
Division:Engineering and Applied Science
Major Option:Applied And Computational Mathematics
Thesis Availability:Public (worldwide access)
Research Advisor(s):
  • Schroeder, Peter
Thesis Committee:
  • Schroeder, Peter (chair)
  • Leonard, Anthony
  • Meiron, Daniel I.
  • Owhadi, Houman
  • Desbrun, Mathieu
Defense Date:13 August 2007
Record Number:CaltechETD:etd-02282008-112022
Persistent URL:https://resolver.caltech.edu/CaltechETD:etd-02282008-112022
DOI:10.7907/K0DE-9P44
Default Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:812
Collection:CaltechTHESIS
Deposited By: Imported from ETD-db
Deposited On:28 Feb 2008
Last Modified:05 Feb 2020 00:34

Thesis Files

[img]
Preview
PDF (thesis.pdf) - Final Version
See Usage Policy.

7MB

Repository Staff Only: item control page