Approximate isometries and distortion energy functionals

MOspace/Manakin Repository

Breadcrumbs Navigation

Approximate isometries and distortion energy functionals

Please use this identifier to cite or link to this item: http://hdl.handle.net/10355/6129

[+] show full item record


Title: Approximate isometries and distortion energy functionals
Author: Bihun, Oksana, 1980-
Date: 2009
Publisher: University of Missouri--Columbia
Abstract: A fundamental problem in Riemannian Geometry and related areas is to determine whether two diffeomorphic compact Riemannian manifolds (M, [subscript g][subscript M]) and (N, [subscript g][subscript N]) are isometric; that is, if there exists a diffeomorphism h : M [arrow] N such that h[group of units][subscript g][subscript N]) - [subscript g][subscript M]=0, where h[group of units][subscript g][subscript N] denotes the pullback of [subscript g][subscript N] by h. If no such diffeomorphism exists, it is important to know whether there exists a diffeomorphism that most closely resembles an isometry. This is accomplished by minimization of the deformation energy functional [phi](h) [equals] [integral][nearest integer function] [subscript M]h [group of units][subscript g][subscript N] [minus] [subscript g][subscript M]². We also propose other measures of the distortion produced by some classes of diffeomorphisms and isotopies between two isotopic Riemannian n-manifolds and, with respect to these classes, prove the existence of minimal distortion morphs and diffeomorphisms. In particular, we prove the existence of minimal diffeomorphisms and morphs with respect to distortion due to change of volume. Also, we consider the class of time-dependent vector fields (on an open subset [omega] of [real number][superscript n]⁺¹ in which the manifolds are embedded) that generate morphs between two manifolds M and N via an evolution equation, define the bending and the morphing distortion energies for these morphs, and prove the existence of minimizers of the corresponding functionals in the set of time-dependent vector fields that generate morphs between M and N and are L² functions from [0, 1] to the Sobolev space W[superscript kappa]⁰,²([omega]; [real number][susperscript n]⁺¹).
URI: http://hdl.handle.net/10355/6129
Other Identifiers: BihunO-042209-D652

This item appears in the following Collection(s)

[+] show full item record