Metrics of curves in shape optimization and analysis - Andrea Carlo ...
Metrics of curves in shape optimization and analysis - Andrea Carlo ... Metrics of curves in shape optimization and analysis - Andrea Carlo ...
• If the second request is waived, then ‖ · ‖ is a seminorm.• If the third request holds only for λ ≥ 0, then the norm is asymmetric;in this case, it may happen that ‖x‖ ≠ ‖ − x‖.Each (semi/asymmetric)norm ‖ · ‖ defines a (semi/asymmetric)distanceSo a norm induces a topology.d(x, y) := ‖x − y‖.3.2.1 Examples of spaces of functionsWe present some examples and definitions.Definition 3.7 A locally-convex topological vector space E (shortenedas l.c.t.v.s. in the following) is a vector space equipped with a collection ofseminorms ‖ · ‖ k (with k ∈ K an index set); the seminorms induce a topology,such that c n → c iff ‖c n − c‖ k → n 0 for all k; and all vector space operationsare continuous w.r.to this topology.The simplest example of l.c.t.v.s. is obtained when there is only one norm; thisgives raise to two renowned examples of spaces.Definition 3.8 (Banach and Hilbert spaces) • A Banach space is avector space E with a norm ‖ · ‖ defining a distance d(x, y) := ‖x − y‖ suchthat E is metrically complete.• A Hilbert space is a space with an inner product 〈f, g〉, that defines anorm ‖f‖ := √ 〈f, g〉 such that E is metrically complete.(Note that a Hilbert space is also a Banach space).Example 3.9 Let I ⊂ lR k be open; let p ∈ [1, ∞]. A standard example ofBanach space is the L p space of functions f : I → lR n . If p ∈ [1, ∞), the L pspace contains all functions such that |f| p is Lebesgue integrable, and is equippedwith the norm√ ∫‖f‖ L p := p |f(x)| p dx .IFor the case p = ∞, L ∞ contains all Lebesgue measurable functions f : I →lR n such that there is a constant c ≥ 0 for which |f(x)| ≤ c for all x ∈ I \ N,where N is a set of measure zero; and L ∞ is equipped with the norm‖f‖ L ∞ := supess I |f(x)|that is the lowest possible constant c.If p = 2, L 2 is a Hilbert space by inner product∫〈f, g〉 := f(x) · g(x) dx .INote that, in these spaces, by definition, f = g iff the set {f ≠ g} hasLebesgue measure zero.22
3.2.2 Fréchet spaceThe following citations [24] are referred to the first part of Hamilton’s 1982survey on the Nash&Moser theorem.Definition 3.10 A Fréchet space E is a complete Hausdorff metrizable l.c.t.v.s.;where we define that the l.c.t.v.s. E iscomplete when, for any sequence (c n ), the fact thatfor all k implies that c n converges;lim ‖c m − c n ‖ k = 0m,n→∞Hausdorff when, for any given c, if ‖c‖ k = 0 for all k then c = 0;metrizable when there are countably many seminorms associated to E.The reason for the last definition is that, if E is metrizable, then we can define adistance∞∑ 2 −k ‖x − y‖ kd(x, y) :=1 + ‖x − y‖ kk=0that generates the same topology as the family of seminorms ‖ · ‖ k ; and the viceversa is true as well, see [48].3.2.3 More examples of spaces of functionsExample 3.11 Let I ⊂ lR m be open and non empty.• The Banach space C j (I → lR n ), with associated norm‖f‖ := supi≤jsup |f (i) (t)| ;t∈Iwhere f (i) is the i-th derivative.uniformly for all i ≤ j.In this space f n → f iff f (i)n→ f (i)• The Sobolev space H j (I → lR n ), with scalar product∫〈f, g〉 H n := f(t) · g(t) + · · · + f (j) · g (j) dtIwhere f (j) is the j-th derivative 6 .6 The derivatives are computed in distributional sense, and must exists as Lebesgue integrablefunctions.23
- 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 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
3.2.2 Fréchet spaceThe follow<strong>in</strong>g citations [24] are referred to the first part <strong>of</strong> Hamilton’s 1982survey on the Nash&Moser theorem.Def<strong>in</strong>ition 3.10 A Fréchet space E is a complete Hausdorff metrizable l.c.t.v.s.;where we def<strong>in</strong>e that the l.c.t.v.s. E iscomplete when, for any sequence (c n ), the fact thatfor all k implies that c n converges;lim ‖c m − c n ‖ k = 0m,n→∞Hausdorff when, for any given c, if ‖c‖ k = 0 for all k then c = 0;metrizable when there are countably many sem<strong>in</strong>orms associated to E.The reason for the last def<strong>in</strong>ition is that, if E is metrizable, then we can def<strong>in</strong>e adistance∞∑ 2 −k ‖x − y‖ kd(x, y) :=1 + ‖x − y‖ kk=0that generates the same topology as the family <strong>of</strong> sem<strong>in</strong>orms ‖ · ‖ k ; <strong>and</strong> the viceversa is true as well, see [48].3.2.3 More examples <strong>of</strong> spaces <strong>of</strong> functionsExample 3.11 Let I ⊂ lR m be open <strong>and</strong> non empty.• The Banach space C j (I → lR n ), with associated norm‖f‖ := supi≤jsup |f (i) (t)| ;t∈Iwhere f (i) is the i-th derivative.uniformly for all i ≤ j.In this space f n → f iff f (i)n→ f (i)• The Sobolev space H j (I → lR n ), with scalar product∫〈f, g〉 H n := f(t) · g(t) + · · · + f (j) · g (j) dtIwhere f (j) is the j-th derivative 6 .6 The derivatives are computed <strong>in</strong> distributional sense, <strong>and</strong> must exists as Lebesgue <strong>in</strong>tegrablefunctions.23