References[1] Luigi Ambrosio, Giuseppe Da Prato, <strong>and</strong> <strong>Andrea</strong> Mennucci. An <strong>in</strong>troductionto measure theory <strong>and</strong> probability. Scuola Normale Superiore, 2007. URLhttp//dida.sns.it/dida2/cl/07-08/folde2/pdf0.[2] T. M. Apostol. Mathematical Analysis. Addison - Wesley, 1974.[3] C. J. Atk<strong>in</strong>. The Hopf-R<strong>in</strong>ow theorem is false <strong>in</strong> <strong>in</strong>f<strong>in</strong>ite dimensions. Bull.London Math. Soc., 7(3):261–266, 1975.[4] H. Brezis. Analisi Funzionale. Liguori Editore, Napoli, 1986. (italiantranslation <strong>of</strong> Analyse fonctionelle, Masson, 1983, Paris).[5] J Canny. A computational approach to edge detection. IEEE Trans. PatternAnal. Mach. Intell., 8(6):679–698, 1986. ISSN 0162-8828.[6] V. Caselles, F. Catte, T. Coll, <strong>and</strong> F. Dibos. A geometric model for edgedetection. Num. Mathematik, 66:1–31, 1993.[7] V. Caselles, R. Kimmel, <strong>and</strong> G. Sapiro. Geodesic active contours. InProceed<strong>in</strong>gs <strong>of</strong> the IEEE Int. Conf. on Computer Vision, pages 694–699,Cambridge, MA, USA, June 1995.[8] T. Chan <strong>and</strong> L. Vese. Active contours without edges. IEEE Transactionson Image Process<strong>in</strong>g, 10(2):266–277, February 2001.[9] G. Charpiat, O. Faugeras, <strong>and</strong> R. Keriven. Approximations <strong>of</strong> <strong>shape</strong> metrics<strong>and</strong> application to <strong>shape</strong> warp<strong>in</strong>g <strong>and</strong> empirical <strong>shape</strong> statistics. Foundations<strong>of</strong> Computational Mathematics, 2004. doi: 10.1007/s10208-003-0094-xgg819.INRIA report 4820 (2003).[10] G. Charpiat, R. Keriven, J.P. Pons, <strong>and</strong> O. Faugeras. Design<strong>in</strong>g spatiallycoherent m<strong>in</strong>imiz<strong>in</strong>g flows for variational problems based on active contours.In ICCV, 2005. doi: 10.1109/ICCV.2005.69.[11] G. Charpiat, P. Maurel, J.-P. Pons, R. Keriven, <strong>and</strong> O. Faugeras. Generalizedgradients: Priors on m<strong>in</strong>imization flows. International Journal <strong>of</strong> ComputerVision, 2007. doi: 10.1007/s11263-006-9966-2.[12] Y. Chen, H. Tagare, S. Thiruvenkadam, F. Huang, D. Wilson, K. Gop<strong>in</strong>ath,R. Briggs, <strong>and</strong> E. Geiser. Us<strong>in</strong>g prior <strong>shape</strong>s <strong>in</strong> geometric active contours<strong>in</strong> a variational framework. International Journal <strong>of</strong> Computer Vision, 50(3):315–328, Dec 2002.[13] D. Cremers <strong>and</strong> S. Soatto. A pseuso distance for <strong>shape</strong> priors <strong>in</strong> level setsegmentation. In IEEE Int. Workshop on Variational, Geometric <strong>and</strong> LevelSet Methods, pages 169–176, 2003.[14] Manfredo Perdigão do Carmo. Riemannian Geometry. Birkhäuser, 1992.110
[15] Aless<strong>and</strong>ro Duci <strong>and</strong> <strong>Andrea</strong> Mennucci. Banach-like metrics <strong>and</strong> metrics <strong>of</strong>compact sets. 2007.[16] Aless<strong>and</strong>ro Duci, Anthony J. Yezzi, Sanjoy K. Mitter, <strong>and</strong> Stefano Soatto.Shape representation via harmonic embedd<strong>in</strong>g. In International Conferenceon Computer Vision (ICCV03), volume 1, pages 656 – 662, Wash<strong>in</strong>gton,DC, USA, 2003. IEEE Computer Society. ISBN 0-7695-1950-4. doi: 10.1109/ICCV.2003.1238410.[17] Aless<strong>and</strong>ro Duci, Anthony J. Yezzi, Stefano Soatto, <strong>and</strong> Kelv<strong>in</strong> Rocha.Harmonic embedd<strong>in</strong>gs for l<strong>in</strong>ear <strong>shape</strong>. J. Math Imag<strong>in</strong>g Vis, 25:341–352,2006. doi: 10.1007/s10851-006-7249-8.[18] J. Eells <strong>and</strong> K. D. Elworthy. Open embedd<strong>in</strong>gs <strong>of</strong> certa<strong>in</strong> Banach manifolds.Ann. <strong>of</strong> Math. (2), 91:465–485, 1970.[19] Ivar Ekel<strong>and</strong>. The Hopf-R<strong>in</strong>ow theorem <strong>in</strong> <strong>in</strong>f<strong>in</strong>ite dimension. J. DifferentialGeom, 13(2):287–301, 1978.[20] A.T: Fomenko. The Plateau problem. Studies <strong>in</strong> the development <strong>of</strong> modernmathematics. Gordon <strong>and</strong> Breach, 1990.[21] M. Gage <strong>and</strong> R. S. Hamilton. The heat equation shr<strong>in</strong>k<strong>in</strong>g convex plane<strong>curves</strong>. Journal <strong>of</strong> Differential Geometry, (23):69–96, 1986.[22] Joan Glaunès, Ala<strong>in</strong> Trouvé, <strong>and</strong> Laurent Younes. Model<strong>in</strong>g planar <strong>shape</strong>variation via Hamiltonian flows <strong>of</strong> <strong>curves</strong>. In Anthony Yezzi <strong>and</strong> HamidKrim, editors, Analysis <strong>and</strong> Statistics <strong>of</strong> Shapes, Model<strong>in</strong>g <strong>and</strong> Simulation<strong>in</strong> Science, Eng<strong>in</strong>eer<strong>in</strong>g <strong>and</strong> Technology, chapter 14. Birkhäuser - Spr<strong>in</strong>ger -Verlag, 2005.[23] M. Grayson. The heat equation shr<strong>in</strong>ks embedded planes <strong>curves</strong> to roundpo<strong>in</strong>ts. J. Differential Geometry, (26):285–314, 1987.[24] Richard S. Hamilton. The <strong>in</strong>verse function theorem <strong>of</strong> Nash <strong>and</strong> Moser.Bull. Amer. Math. Soc. (N.S.), 7(1):65–222, 1982. ISSN 0273-0979.[25] J. Itoh <strong>and</strong> M. Tanaka. The Lipschitz cont<strong>in</strong>uity <strong>of</strong> the distance functionto the cut locus. Trans. A.M.S., 353(1):21–40, 2000.[26] M. Kass, A. Witk<strong>in</strong>, <strong>and</strong> D. Terzopoulos. Snakes: Active contour models.International Journal <strong>of</strong> Computer Vision, 1:321–331, 1987.[27] S. Kichenassamy, A. Kumar, P. Olver, A. Tannenbaum, <strong>and</strong> A. Yezzi.Gradient flows <strong>and</strong> geometric active contour models. In Proceed<strong>in</strong>gs <strong>of</strong> theIEEE Int. Conf. on Computer Vision, pages 810–815, 1995.[28] Eric Klassen, Anuj Srivastava, Wash<strong>in</strong>gton Mio, <strong>and</strong> Shantanu Joshi. Analysis<strong>of</strong> planar <strong>shape</strong>s us<strong>in</strong>g geodesic paths on <strong>shape</strong> spaces. 2003.[29] Wilhelm Kl<strong>in</strong>genberg. Riemannian Geometry. W. de Gruyter, Berl<strong>in</strong>, 1982.111
- Page 1 and 2:
Metrics of curves in shape optimiza
- Page 3 and 4:
shape analysis where we study a fam
- Page 5 and 6:
• F (c) = F (c ◦ φ) for all cu
- Page 7 and 8:
κ > 0HNNHNHκ < 0Figure 1: Example
- Page 9 and 10:
In the case of planar curves c 1 ,
- Page 11 and 12:
(a) (b) (c) (d) (e)Figure 3: Segmen
- Page 13 and 14:
where φ may be chosen to beφ(x) =
- Page 15 and 16:
2.4.1 Example: geometric heat flowW
- Page 17 and 18:
2.4.5 Centroid energyWe will now pr
- Page 20 and 21:
shapes. Unfortunately, H 0 does not
- Page 22 and 23:
• If the second request is waived
- Page 24 and 25:
• The Fréchet space of smooth fu
- Page 26 and 27:
Since φ k are homeomorphisms, then
- Page 28 and 29:
3.6.1 Riemann metric, lengthDefinit
- Page 30 and 31:
Theorem 3.30 Suppose that M is a sm
- Page 32 and 33:
Example 3.38 Let M = C ∞ ([−1,
- Page 34 and 35:
• sometimes S 1 will be identifie
- Page 36 and 37:
The proof is by direct computation.
- Page 38 and 39:
The term preshape space is sometime
- Page 40 and 41:
5 Representation/embedding/quotient
- Page 42 and 43:
6.1.1 Length induced by a distanceI
- Page 44 and 45:
0101200000000000011111111111110000
- Page 46 and 47:
6.2.4 Applications in computer visi
- Page 48 and 49:
of a small ball from A. The motion
- Page 50 and 51:
CutΩ(The arrows represent the dist
- Page 52 and 53:
7.3 L 1 metric and Plateau problemI
- Page 54 and 55:
Definition 8.3 (Flat curves) Let Z
- Page 56 and 57:
Proof. Fix α 0 ∈ S \ Z. Let T =
- Page 58 and 59:
8.2.2 RepresentationThe Stiefel man
- Page 60 and 61: 9.3 Conformal metricsYezzi and Menn
- Page 62 and 63: 10.1.1 Related worksA family of met
- Page 64 and 65: Definition 10.7 (Convolution) A arc
- Page 66 and 67: and̂∇˜HjE(0) = ̂∇ H 0E(0),̂
- Page 68 and 69: and we simply integrate twice! More
- Page 70 and 71: Corollary 10.18 In particular, the
- Page 72 and 73: 10.6 Existence of gradient flowsWe
- Page 74 and 75: • The length functional (from C 1
- Page 76 and 77: We can eventually estimate the diff
- Page 78 and 79: 7.552.5-10 -7.5 -5 -2.5 2.5 5 7.5 1
- Page 80 and 81: By using (i) and (ii) from lemma 10
- Page 82 and 83: 10.6.3 Existence of flow for geodes
- Page 84 and 85: 10.7.1 Robustness w.r.to local mini
- Page 86 and 87: We already presented all the calcul
- Page 88 and 89: 10.9 New regularization methodsTypi
- Page 90 and 91: can be solved for k (this is not so
- Page 92 and 93: 2. Now• at t = 1/2 it achieves th
- Page 94 and 95: Definition 11.10 • The orbit is O
- Page 96 and 97: y eqn. (11.3), where the terms RHS
- Page 98 and 99: So Prop. 11.19 guarantees that the
- Page 100 and 101: Theorem 11.23 Suppose that the Riem
- Page 102 and 103: 2.2.3 Examples of geometric energy
- Page 104 and 105: 9 Riemannian metrics of immersed cu
- Page 106 and 107: contour continuation, 11convolution
- Page 108 and 109: normal vector, 6objective function,
- Page 112 and 113: [30] Serge Lang. Fundamentals of di
- Page 114 and 115: [57] Ganesh Sundaramoorthi, Anthony