Theorem 11.23 Suppose that the Riemannian metric 〈·, ·〉 c on M is <strong>in</strong>variantw.r.to the action <strong>of</strong> G: this is equivalent to say<strong>in</strong>g that the action is an isometry.Let γ(t) be a critical geodesic: then〈 〉ζ ξ,γ(t) , ˙γ(t)(11.5)γ(t)is constant <strong>in</strong> t (for any choice <strong>of</strong> ξ ∈ T e G).The quantity (11.5) is called “the momentum <strong>of</strong> the action”.As an alternative <strong>in</strong>terpretation, note that the vectors ζ that are obta<strong>in</strong>edby deriv<strong>in</strong>g the action are exactly all the vectors <strong>in</strong> the vertical spaces V c <strong>of</strong>the correspond<strong>in</strong>g action G (s<strong>in</strong>ce ζ are <strong>in</strong>f<strong>in</strong>itesimal motions <strong>in</strong>side the orbit).Recall that h ∈ T c M is horizontal (that is, h ∈ W c ) iff it is orthogonal to V c〈ζ, h ′ 〉 = 0 for all ζ ∈ V c . So, as corollary <strong>of</strong> Emmy Noether’s theorem, we obta<strong>in</strong>thatCorollary 11.24 if a geodesic is shot <strong>in</strong> a horizontal direction ˙γ(0), then thegeodesic will be horizontal for all subsequent times.The follow<strong>in</strong>g are examples <strong>of</strong> momenta that are related to the actions on<strong>curves</strong> (that we saw <strong>in</strong> Example 4.8).Example 11.25 • The rescal<strong>in</strong>g group is represented by lR + , that is onedimensional, so there is only one tangent direction ξ = 1 <strong>in</strong> lR + . Theaction is l, c ↦→ lc, so there is only one direction, that is ζ = c.• The translation group is represented by lR n , that is a vector space, so thetangent directions are ξ ∈ lR n ; the action is ξ, c ↦→ ξ + c; then ζ = ξ (<strong>and</strong>note that this is constant <strong>in</strong> θ).• The rotation group is represented by orthogonal matrixes, so we set G =O(n); the group identity e is the identity matrix; the action is matrixvectormultiplication A, c(θ) ↦→ Ac(θ); the tangent T e G is the set <strong>of</strong> theantisymmetric matrixes B ∈ lR n×n ; then ζ = Bc.• The reparameterization group is G = Diff(S 1 ); a tangent vector is a scalarfield ξ : S 1 → lR; the action is the composition φ, c ↦→ c ◦ φ; we <strong>in</strong> the endhave thatζ(θ) = ξ(θ)c ′ (θ)(where c ′ = D θ c) that is, ζ is a generic vector field parallel to the curve.For the ˜H 1 metric, this implies the follow<strong>in</strong>g properties <strong>of</strong> a geodesic path γ(t).Proposition 11.26 • Scal<strong>in</strong>g momentum:∫〈γ, ˙γ〉 ˜H1= avg c (γ) · avg c ( ˙γ) + λL 2D s γ · D s ˙γ ds = constant.100
• L<strong>in</strong>ear momentum: avg c ( ˙γ) is constant, s<strong>in</strong>ce, for all ξ ∈ lR n ,〈ξ, ˙γ〉 ˜H1= ξ · avg c ( ˙γ) = constant;s<strong>in</strong>ce ξ is arbitrary, this means that avg c ( ˙γ) is constant <strong>in</strong> t.• Angular momentum: for any antisymmetric matrix B ∈ lR n×n ,∫〈Bγ, ˙γ〉 ˜H1= (Bavg c (γ)) · avg c ( ˙γ) + λL 2 (BD s γ) · (D s ˙γ) ds = constant.• Reparameterization momentum: for any scalar field ξ : S 1 → lR, sett<strong>in</strong>gζ(θ, t) = ξ(θ)γ ′ (θ, t)we get∫〈ζ, ˙γ〉 ˜H1= avg c (ξγ ′ ) · avg c ( ˙γ) + λL 2D s (ξγ ′ ) · D s ˙γ = constant;<strong>in</strong>tegrat<strong>in</strong>g by parts,avg c (ξγ ′ ) · avg c ( ˙γ) − λL 2 ∫(ξγ ′ ) · D ss ˙γ = constant;s<strong>in</strong>ce ξ is arbitrary, this means thatis constant <strong>in</strong> t, for any θ ∈ S 1 .Contentsγ ′ · avg c ( ˙γ) − λL 2 γ ′ · D ss ˙γ1 Shapes & <strong>curves</strong> 21.1 Shapes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.2 Curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.3 Geometric <strong>curves</strong> <strong>and</strong> functionals . . . . . . . . . . . . . . . . . 41.4 Curve–related quantities . . . . . . . . . . . . . . . . . . . . . . . 51.4.1 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Shapes <strong>in</strong> applications 72.1 Shape <strong>analysis</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.1.1 Shape distances . . . . . . . . . . . . . . . . . . . . . . . . 82.1.2 Shape averages . . . . . . . . . . . . . . . . . . . . . . . . 92.1.3 Pr<strong>in</strong>cipal component <strong>analysis</strong> (PCA) . . . . . . . . . . . . 92.2 Shape <strong>optimization</strong> & active contours . . . . . . . . . . . . . . . 112.2.1 A short history <strong>of</strong> active contours . . . . . . . . . . . . . . 112.2.2 Energies <strong>in</strong> computer vision . . . . . . . . . . . . . . . . . 12101
- 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 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 110 and 111: References[1] Luigi Ambrosio, Giuse
- Page 112 and 113: [30] Serge Lang. Fundamentals of di
- Page 114 and 115: [57] Ganesh Sundaramoorthi, Anthony