Certain optimal correspondences between plane curves, I: Manifolds of shapes and bimorphisms

Groisser, David

doi:10.1090/S0002-9947-08-04496-6

Certain optimal correspondences between plane curves, I: Manifolds of shapes and bimorphisms
HTML articles powered by AMS MathViewer

by David Groisser PDF

Trans. Amer. Math. Soc. 361 (2009), 2959-3000 Request permission

Abstract:

In previous joint work, a theory introduced earlier by Tagare was developed for establishing certain kinds of correspondences, termed bimorphisms, between simple closed regular plane curves of differentiability class at least $C^2$. A class of objective functionals was introduced on the space of bimorphisms between two fixed curves $C_1$ and $C_2$, and it was proposed that one define a “best non-rigid match” between $C_1$ and $C_2$ by minimizing such a functional. In this paper we prove several theorems concerning the nature of the shape-space of plane curves and of spaces of bimorphisms as infinite-dimensional manifolds. In particular, for $2\leq j<\infty$, the space of parametrized bimorphisms is a differentiable Banach manifold, but the space of unparametrized bimorphisms is not. Only for $C^\infty$ curves is the space of bimorphisms an infinite-dimensional manifold, and then only a Fréchet manifold, not a Banach manifold. This paper lays the groundwork for a companion paper in which we use the Nash Inverse Function Theorem and our results on $C^\infty$ curves and bimorphisms to show that if $\Gamma$ is strongly convex, if $C_1$ and $C_2$ are $C^\infty$ curves whose shapes are not too dissimilar ($C^j$-close for a certain finite $j$) and if neither curve is a perfect circle, then the minimum of a regularized objective functional exists and is locally unique.

References

I. Cohen, N. Ayache, and P. Sulger, Tracking points on deformable objects using curvature information, Computer Vision–ECCV’92, Lecture Notes in Computer Science vol. 588, G. Sandini (ed.), Springer-Verlag, Berlin, 1992, pp. 453–457.
M. Frenkel and R. Basri, Curve matching using the fast marching method, Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc. 4th International Workshop, EMMCVPR 2003, A. Rangarajan et al. (eds.), Springer-Verlag, Berlin, 2003, pp. 35–51.
D. Groisser, Certain optimal correspondences between plane curves, II: Existence, local uniqueness, regularity, and other properties, Trans. Amer. Math. Soc., this issue.
D. Groisser, Existence, local uniqueness, regularity, and other properties of certain optimal correspondences between plane curves (original version with details), preprint (2003).
Richard S. Hamilton, The inverse function theorem of Nash and Moser, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 1, 65–222. MR 656198, DOI 10.1090/S0273-0979-1982-15004-2
E. Klassen, A. Srivastava, W. Mio, and S. H. Joshi, Analysis of plane shapes using geodesic paths on shape spaces, IEEE Trans. Pattern Anal. and Mach. Intel. 26 (2004), 372-383.
Serge Lang, Differential and Riemannian manifolds, 3rd ed., Graduate Texts in Mathematics, vol. 160, Springer-Verlag, New York, 1995. MR 1335233, DOI 10.1007/978-1-4612-4182-9
S. Loncaric, A survey of shape analysis techniques, Pattern Recognition 31 (1998), 983-1001.
John W. Milnor, Topology from the differentiable viewpoint, University Press of Virginia, Charlottesville, Va., 1965. Based on notes by David W. Weaver. MR 0226651
T. Sebastian, P. Klein, and B. Kimia, On aligning curves, IEEE Trans. on Pattern Analysis and Machine Intelligence 25 (2003), 116–124.
H. D. Tagare, Shape-based nonrigid correspondence with application to heart motion analysis, IEEE Trans. Med. Imaging 18 (1999), 570–579.
Hemant D. Tagare, Donal O’Shea, and David Groisser, Non-rigid shape comparison of plane curves in images, J. Math. Imaging Vision 16 (2002), no. 1, 57–68. MR 1884465, DOI 10.1023/A:1013938519103