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
Additional Information
- David Groisser
- Affiliation: Department of Mathematics, University of Florida, Gainesville, Florida 32611-8105
- Email: groisser@math.ufl.edu
- Received by editor(s): April 5, 2004
- Received by editor(s) in revised form: February 11, 2007
- Published electronically: December 23, 2008
- © Copyright 2008 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 361 (2009), 2959-3000
- MSC (2000): Primary 53A04, 49K15
- DOI: https://doi.org/10.1090/S0002-9947-08-04496-6
- MathSciNet review: 2485414