Natural pseudodistances between closed surfaces

Let us consider two closed surfaces $\mathcal{M}$, $\mathcal{N}$ of class $C^1$ and two functions $\varphi:{\mathcal{M}}\rightarrow \mathbb{R}$, $\psi:\mathcal{N}\rightarrow \mathbb{R}$ of class $C^1$, called measuring functions. The natural pseudodistance ${d}$ between the pairs $({\mathcal{M}},\varphi)$, $({\mathcal{N}},\psi)$ is defined as the infimum of $\Theta(f)\stackrel{def}{=}\max_{P\in \mathcal{M}}|\varphi(P)-\psi(f(P))|$, as $f$ varies in the set of all homeomorphisms from $\mathcal{M}$ onto $\mathcal{N}$. In this paper we prove that the natural pseudodistance equals either $|c_1-c_2|$ or $\frac{1}{2}|c_1-c_2|$, or $\frac{1}{3}|c_1-c_2|$, where $c_1$ and $c_2$ are two suitable critical values of the measuring functions. This equality shows that a previous relation between natural pseudodistance and critical values obtained in general dimension can be improved in the case of closed surfaces. Our result is based on a theorem by Jost and Schoen concerning harmonic maps between surfaces.

[1]  J. Milnor On Manifolds Homeomorphic to the 7-Sphere , 1956 .

[2]  J. Munkres Obstructions to the smoothing of piecewise-differentiable homeomorphisms , 1959 .

[3]  J. Whitehead,et al.  Manifolds with Transverse Fields in Euclidean Space , 1961 .

[4]  Jürgen Jost,et al.  On the existence of harmonic diffeomorphisms between surfaces , 1982 .

[5]  Jürgen Jost,et al.  Harmonic mappings between Riemannian manifolds , 1983 .

[6]  J. Eells,et al.  Another Report on Harmonic Maps , 1988 .

[7]  P. Frosini,et al.  A distance for similarity classes of submanifolds of a Euclidean space , 1990, Bulletin of the Australian Mathematical Society.

[8]  Alessandro Verri,et al.  Invariant Size Functions , 1993, Applications of Invariance in Computer Vision.

[9]  J. Jost Riemannian geometry and geometric analysis , 1995 .

[10]  P. Frosini,et al.  Connections between Size Functions and Critical Points , 1996 .

[11]  Alessandro Verri,et al.  Metric-topological approach to shape representation and recognition , 1996, Image Vis. Comput..

[12]  P. Frosini,et al.  Size Functions and Morphological Transformations , 1997 .

[13]  P. Frosini,et al.  Size homotopy groups for computation of natural size distances , 1999 .

[14]  C. Landi,et al.  Intrinsic harmonicily of Morse functions , 2003 .

[15]  Pietro Donatini,et al.  Natural pseudodistances between closed manifolds , 2004 .

[16]  Patrizio Frosini,et al.  The Use of Size Functions for Comparison of Shapes Through Differential Invariants , 2004, Journal of Mathematical Imaging and Vision.

[17]  Patrizio Frosini,et al.  On the use of size functions for shape analysis , 1993, [1993] Proceedings IEEE Workshop on Qualitative Vision.

[18]  Alessandro Verri,et al.  Computing Size Functions from Edge Maps , 2004, International Journal of Computer Vision.

[19]  A Note on the Linearity of Real-valued Functions with Respect to Suitable Metrics , 2004 .