10.9 New regularization methodsTypically, <strong>in</strong> active contour energies a length penalty is added to obta<strong>in</strong> regularity<strong>of</strong> the evolv<strong>in</strong>g contour:E(c) = E data (c) + α len(c) .It is important to note that this length penalty will regularize the curve onlyif the curve evolution is derived as a H 0 gradient descent flow. If another curvemetric is used to derive the gradient descent flow, then a priori the length penaltymay have no regulariz<strong>in</strong>g effect on the curve regularity (cf. 10.32).10.9.1 Elastic regularizationWe can now consider an alternative approach for regularity <strong>of</strong> curve:∫E(c) = E data (c) + α len(c) κ 2 (s) dswhere α > 0 is a fixed constant. This energy favors regularity <strong>of</strong> curve, but thisregularization does not rely on properties <strong>of</strong> the metric; <strong>and</strong> the regularizationis scale <strong>in</strong>variant. Note that the H 0 gradient flow <strong>of</strong> this energy is ill posed.The numerical results (orig<strong>in</strong>ally presented <strong>in</strong> [56]) are <strong>in</strong> Fig. 16. In allframes, the f<strong>in</strong>al limit <strong>of</strong> the gradient descent flow is shown; between differentframes, the value <strong>of</strong> α is <strong>in</strong>creased.c. . . . . . . . . . . .m<strong>in</strong>ima for α <strong>in</strong>creas<strong>in</strong>g → . . . . . . . . . . . .E data (c) + α len(c)(H 0 gradient descent)E data (c) +α len(c) ∫ c κ2 (s) ds(Sobolev gradient descent)Figure 16: Elastic regularization. (From [58] c○ 2008 IEEE. Reproduced with permission).88
11 Mathematical properties <strong>of</strong> the Riemannianspace <strong>of</strong> <strong>curves</strong>In this section we study some mathematical properties, <strong>and</strong> add some f<strong>in</strong>alremarks, regard<strong>in</strong>g the Riemannian manifold <strong>of</strong> geometric <strong>curves</strong>, when this isendowed with the metrics that were presented previously.11.1 ChartsLet aga<strong>in</strong>M = M i,f = Imm f (S 1 , lR n )be the space <strong>of</strong> all smooth freely-immersed <strong>curves</strong>.We already remarked <strong>in</strong> Remark 4.4 that, if the topology on M is strongenough then the immersed <strong>curves</strong> are an open subset <strong>of</strong> all functions. Wemoreover represent both <strong>curves</strong> c ∈ M <strong>and</strong> deformations h ∈ T c M as functionsS 1 → lR n ; this is a special structure that is not usually present <strong>in</strong> abstractmanifolds: so we can easily def<strong>in</strong>e “charts” for M.Proposition 11.1 (Charts <strong>in</strong> M i,f ) Given a curve c, there is a neighborhoodU c <strong>of</strong> 0 ∈ T c M such that for h ∈ U c , the curve c + h is still immersed; then thismap h ↦→ c + h is the simplest natural c<strong>and</strong>idate to be a chart <strong>of</strong> Φ c : U c → M.Indeed, if we pick another curve ˜c ∈ M <strong>and</strong> the correspond<strong>in</strong>g U˜c such thatU˜c ∩ U c ≠ ∅, then the equality Φ c (h) = c + h = ˜c + ˜h = Φ˜c (˜h) can be solved for hto obta<strong>in</strong> h = (˜c − c) + ˜h.The ma<strong>in</strong> goal <strong>of</strong> this section is to study the manifoldB = B i,f := M/Diff(S 1 )<strong>of</strong> geometric <strong>curves</strong>. S<strong>in</strong>ce B is an abstract object, we will actually work withM <strong>in</strong> everyday calculus. To recomb<strong>in</strong>e the two needs, we will identify an uniquefamily <strong>of</strong> “small deformations” <strong>in</strong>side M, that has a specific mean<strong>in</strong>g <strong>in</strong> B. Acommon choice is to restrict the family <strong>of</strong> <strong>in</strong>f<strong>in</strong>itesimal motions h to those suchthat h(θ) is orthogonal to the curve, that is, to c ′ (θ).Proposition 11.2 (Charts <strong>in</strong> B i,f ) Let Π be the projection from M to thequotient B. Let [c] ∈ B: we pick a curve c such that Π(c) = [c]. We represent thetangent space T [c] B as the space <strong>of</strong> all k : S 1 → lR n such that k(s) is orthogonalto c ′ (s).We choose U [c] ⊂ T [c] B a neighborhood <strong>of</strong> 0; then the chart is def<strong>in</strong>ed byΨ [c] : U [c] → B , Ψ [c] (k) := Π(c(·) + k(·))that is, it moves c(u) <strong>in</strong> direction k(u).If U [c] is small enough, then this chart is a smooth diffeomorphism; <strong>and</strong>, ifwe pick another curve ˜c ∈ M <strong>and</strong> the correspond<strong>in</strong>g U [˜c] such that U [˜c] ∩ U [c] ≠ ∅,then the equalityΨ [c] (k) = Ψ [˜c] (˜k)89
- 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 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 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