Abstract
The generic notions of shape and topological derivative have proven to be both pertinent and useful from the theoretical and numerical points of view. The shape derivative is a differential while the topological derivative obtained by expansion methods is only a semidifferential. This arises from the fact that the tangent space to the underlying metric spaces of "geometries" is only a cone. We extend its definition to perturbations obtained by creating holes around curves, surfaces, and, potentially, microstructures. In that context, the Hadamard semidifferential that retains the advantages of the standard differential calculus including the chain rule and the fact that semiconvex functions are Hadamard semidifferentiable is a natural notion to study the semidifferentiability of objective functions with respect to the sets/geometries that belong to complete non-linear non-convex metric spaces. An important advantage for state constrained utility functions is that theorems on the one-sided differentiation of minimax of Lagrangians can be used to get the semidifferential. The same adjoint system will occur for shape and topological derivatives. The paper is specialized to the topological derivative on the metric space of characteristic functions.
References
- L. Ambrosio, A. Colesanti, E. Villa: Outer Minkowski content for some classes of closed sets, Math. Ann. 342(4) (2008) 727–748.https://doi.org/10.1007/s00208-008-0254-zGoogle Scholar
- L. Ambrosio, N. Fusco, D. Pallara: Functions of Bounded Variation and Free Discontinuity Problems, The Clarendon Press, Oxford University Press, New York (2000).https://doi.org/10.1093/oso/9780198502456.001.0001Google Scholar
- J.-P. Aubin, H. Frankowska: Set-Valued Analysis, Birkhäuser, Boston et al. (1990).Google Scholar
- V. I. Averbuh, O. G. Smoljanov; Differentiation in linear topological spaces (Russian), Dokl. Akad. Nauk SSSR 173 (1967) 735–738; English translation: Soviet Math. Dokl. 8 (1967) 444–448.Google Scholar
- V. I. Averbuh, O. G. Smoljanov: The theory of differentiation in linear topological spaces (Russian), Uspehi Mat. Nauk 22 (1967), no. 6 (138), 201–260; English translation: Russian Math. Surveys 22(6) (1967) 201–258.https://doi.org/10.1070/RM1967v022n06ABEH003761Google Scholar
- V. I. Averbuh, O. G. Smoljanov: The various definitions of the derivative in linear topological spaces (Russian), Uspehi Mat. Nauk 23 (1968), no. 4 (142), 67–116; English translation: Russian Math. Surveys 23(4) (1968) 67–113.https://doi.org/10.1070/RM1968v023n04ABEH003770Google Scholar
- V. I. Averbuh, O. G. Smoljanov: An addendum to the article: “Different definitions of derivative in linear topological spaces” (Russian), Uspehi Mat. Nauk 23 (1968), no. 5 (143), 223–224.Google Scholar
- S. F. L. de Foglio: Extension de la différentielle d’Hadamard-Fréchet aux applications entre deux espaces vectoriels L (French), C. R. Acad. Sci. Paris 248 (1959) 1108–1110.Google Scholar
- E. De Giorgi: Su una teoria generale della misura, Ann. Mat. Pura Appl. (4), 36 (1954) 191–213.https://doi.org/10.1007/BF02412838Google Scholar
- M. C. Delfour: Introduction to Optimization and Semidifferential Calculus, MOS-SIAM Series, Philadelphia (2011).https://doi.org/10.1137/1.9781611972153Google Scholar
- M. C. Delfour: Metrics spaces of shapes and geometries from set parametrized functions, in: “New Trends in Shape Optimization”, A. Pratelli and G. Leugering (eds.), Internat. Series of Numerical Mathematics, Birkhäuser, Basel (2015) 57–101.https://doi.org/10.1007/978-3-319-17563-8_4Google Scholar
- M. C. Delfour, J.-P. Zolésio: Velocity method and Lagrangian formulation for the computation of the shape Hessian, SIAM J. Control Optim. 29(6) (1991) 1414–1442.https://doi.org/10.1137/0329072Google Scholar
- M. C. Delfour, J.-P. Zolésio: Oriented distance function and its evolution equation for initial sets with thin boundary, SIAM J. Control Optim. 42(6) (2004) 2286–2304.https://doi.org/10.1137/S0363012902411945Google Scholar
- M. C. Delfour, J.-P. Zolésio: Evolution equations for shapes and geometries, J. Evol. Equ. 6(3) (2006) 399–417.https://doi.org/10.1007/s00028-006-0257-8Google Scholar
- M. C. Delfour, J.-P. Zolésio: Shapes and Geometries, Metrics, Analysis, Differential Calculus, and Optimization (second edition), SIAM Series on Advances in Design and Control, Philadelphia (2011).https://doi.org/10.1137/1.9780898719826Google Scholar
- J. Durdil: On Hadamard differentiability, Com. Math, Univ. Carolinae 14(3) (1973) 457–470.Google Scholar
- H. Federer: Curvature measures, Trans. Amer. Math. Soc. 93 (1959) 418–419.https://doi.org/10.1090/S0002-9947-1959-0110078-1Google Scholar
- H. Federer: Geometric Measure Theory, Grundlehren der math. Wissenschaften 153, Springer-Verlag, Berlin et al. (1969).Google Scholar
- M. Fréchet: Sur la notion de différentielle, C. R. Acad. Sci. Paris 152 (1911) 845–847.Google Scholar
- M. Fréchet: Sur la notion de différentielle, J. Math. Pures Appl. 16 (1937) 233–250.Google Scholar
- J. Hadamard: La notion de différentielle dans l’enseignement, Scripta Univ. Ab. Bib., Hierosolymitanarum, Jerusalem (1923); reprinted in Math. Gazette 19(236) (1935) 341–342.https://doi.org/10.1017/S002555720020483XGoogle Scholar
- A. M. Micheletti: Metrica per famiglie di domini limitati e proprietà generiche degli autovalori, Ann. Scuola Norm. Sup. Pisa (3), 26 (1972) 683–694.Google Scholar
- F. Murat, J. Simon: Sur le contrôle par un domaine géométrique, Rapport 76015, Université Pierre et Marie Curie, Paris (1976).Google Scholar
- M. Z. Nashed: Differentiability and related properties of nonlinear operators: Some aspects of the role of differentials in nonlinear functional analysis, in: “Nonlinear Functional Analysis and Applications”, L. B. Rail (ed.)), Proc. Advanced Sem., Math. Res. Center, Univ. of Wisconsin, Madison 1970, Academic Press, New York (1971) 103–309.https://doi.org/10.1016/B978-0-12-576350-9.50006-0Google Scholar
- A. A. Novotny, J. Sokolowski: Topological Derivatives in Shape Optimization, Interaction of Mechanics and Mathematics, Springer, Berlin et al. (2013).https://doi.org/10.1007/978-3-642-35245-4Google Scholar
- J. P. Penot: Calcul sous-différentiel et optimisation, J. Functional Analysis 27 (1978) 248–276.https://doi.org/10.1016/0022-1236(78)90030-7Google Scholar
- J. Sokołowski, A. Zȯchowski: On the topological derivative in shape optimization, SIAM J. Control Optim. 37(4) (1999) 1251–1272.https://doi.org/10.1137/S0363012997323230Google Scholar
- J. Sokołowski, A. Zȯchowski: Topological derivatives for elliptic problems, in: “Conference on inverse problems, control and shape optimization” (Carthage, 1998), Inverse Problems (1), 15 (1999) 123–134.https://doi.org/10.1088/0266-5611/15/1/016Google Scholar
- J. Sokołowski, J.-P. Zolésio: Introduction to Shape Optimization. Shape Sensitivity Analysis, Springer Ser. Comput. Math. 16, Springer-Verlag, Berlin et al. (1992).Google Scholar
- A. Trouvé: Action de groupe de dimension infinie et reconnaissance de formes, C. R. Acad. Sci. Paris, Sér. I Math. 321(8) (1995) 1031–1034.Google Scholar
- A. Trouvé: An approach of pattern recognition through infinite dimensional group actions, Rapport de recherche du LMENS, France (1995).Google Scholar
- L. Younes: Shape and Diffeomorphisms, Appl. Math. Sci. 171, Springer-Verlag, Berlin et al. (2010).https://doi.org/10.1007/978-3-642-12055-8Google Scholar
- J. P. Zolésio: Identification de domaines par déformation, Thèse de doctorat d’état, Université de Nice, Nice (1979).Google Scholar
Suggested citation
Published by Heldermann Verlag, 2018. Rights now held by Banach Press LLC.
