# zbMATH — the first resource for mathematics

Recovery of a manifold with boundary and its continuity as a function of its metric tensor. (English) Zbl 1088.74014
Summary: A basic theorem from differential geometry asserts that, if the Riemann curvature tensor associated with a field $${\mathbf C}$$ of class $${\mathcal C}^2$$ of positive-definite symmetric matrices of order $$n$$ vanishes in a connected and simply-connected open subset $$\Omega$$ of $$\mathbb{R}^n$$ then there exists an immersion $$\Theta\in{\mathcal C}^3(\Omega;\mathbb{R}^n)$$, uniquely determined up to isometries in $$\mathbb{R}^n$$, such that $${\mathbf C}$$ is the metric tensor field of the manifold $$\Theta(\Omega)$$, then isometrically immersed in $$\mathbb{R}^n$$. Let $$\dot \Theta$$ denote the equivalence class of $$\Theta$$ modulo isometries in $$\mathbb{R}^n$$ and let $${\mathcal F}:{\mathbf C}\to\dot\Theta$$ denote the mapping determined in this fashion.
The first objective of this paper is to show that, if $$\Omega$$ satisfies a certain “geodesic property” (in effect a mild regularity assumption on the boundary $$\partial\Omega$$ of $$\Omega)$$ and if the field $${\mathbf C}$$ and its partial derivatives of order $$\leq 2$$ have continuous extensions to $$\overline \Omega$$, the extension of the field $${\mathbf C}$$ remaining positive-definite on $$\overline\Omega$$, then the immersion $$\Theta$$ and its partial derivatives of order $$\leq 3$$ also have continuous extensions to $$\overline \Omega$$.
The second objective is to show that, under a slightly stronger regularity assumption on $$\partial\Omega$$, the above extension result combined with a fundamental theorem of Whitney leads to a stronger extension result: There exist a connected open subset $$\widetilde\Omega$$ of $$\mathbb{R}^n$$ containing $$\overline \Omega$$ and a field $$\widetilde{\mathbf C}$$ of positive-definite symmetric matrices of class $${\mathcal C}^2$$ on $$\widetilde\Omega$$ such that $$\widetilde{\mathbf C}$$ is an extension of $$\mathbb{C}$$ and the Riemann curvature tensor associated with $$\widetilde{\mathbf C}$$ still vanishes in $$\widetilde \Omega$$.
The third objective is to show that, if $$\Omega$$ satisfies the geodesic property and is bounded, the mapping $${\mathcal F}$$ can be extended to a mapping that is locally Lipschitz-continuous with respect to the topologies of the Banach spaces $${\mathcal C}^2 (\overline\Omega)$$ for the continuous extensions of the symmetric matrix fields $${\mathbf C}$$, and $${\mathcal C}^3(\overline\Omega)$$ for the continuous extensions of the immersions $$\Theta$$.

##### MSC:
 74B20 Nonlinear elasticity 74A05 Kinematics of deformation 53Z05 Applications of differential geometry to physics
Full Text:
##### References:
  Adams, R.A., Sobolev spaces, (1975), Academic Press New York · Zbl 0186.19101  S. Anicic, H. Le Dret, A. Raoult, The infinitesimal rigid displacement lemma in Lipschitz coordinates and application to shells with minimal regularity, Math. Methods Appl. Sci., submitted for publication · Zbl 1156.35477  Antman, S.S., Ordinary differential equations of nonlinear elasticity I: foundations of the theories of non-linearly elastic rods and shells, Arch. rational mech. anal., 61, 307-351, (1976) · Zbl 0354.73046  Ball, J.M., Convexity conditions and existence theorems in nonlinear elasticity, Arch. rational mech. anal., 63, 337-403, (1977) · Zbl 0368.73040  Ciarlet, P.G., Mathematical elasticity, vol. I, Three-dimensional elasticity, (1988), North-Holland Amsterdam  Ciarlet, P.G., Introduction to numerical linear algebra and optimization, (1989), Cambridge Univ. Press Cambridge  Ciarlet, P.G., Continuity of a surface as a function of its two fundamental forms, J. math. pures appl., 82, 253-274, (2002) · Zbl 1042.53003  Ciarlet, P.G.; Larsonneur, F., On the recovery of a surface with prescribed first and second fundamental forms, J. math. pures appl., 81, 167-185, (2002) · Zbl 1044.53004  Ciarlet, P.G.; Laurent, F., Continuity of a deformation as a function of its cauchy – green tensor, Arch. rational mech. anal., 167, 255-269, (2003) · Zbl 1030.74003  Ciarlet, P.G.; Mardare, C., On rigid and infinitesimal rigid displacements in three-dimensional elasticity, Math. models methods appl. sci., 13, 1589-1598, (2003) · Zbl 1055.74006  Ciarlet, P.G.; Mardare, C., On the recovery of a manifold with boundary in $$R\^{}\{n\}$$, C. R. acad. sci. Paris Sér. I math., 338, 333-340, (2004) · Zbl 1057.53013  Ciarlet, P.G.; Mardare, C., Extension of a Riemannian metric with vanishing curvature, C. R. acad. sci. Paris Sér. I math., 338, 391-396, (2004) · Zbl 1066.53080  P.G. Ciarlet, C. Mardare, Recovery of a surface with boundary and its continuity as a function of its two fundamental forms, in preparation · Zbl 1083.53007  Dieudonné, J., Eléments d’analyse, tome 1 : fondements de l’analyse moderne, (1968), Gauthier-Villars Paris  Friesecke, G.; James, R.D.; Müller, S., A theorem on geometric rigidity and the derivation of nonlinear plate theory from three dimensional elasticity, Comm. pure appl. math., 55, 1461-1506, (2002) · Zbl 1021.74024  Gurtin, M.E., An introduction to continuum mechanics, (1981), Academic Press New York · Zbl 0559.73001  John, F., Rotation and strain, Comm. pure appl. math., 14, 391-413, (1961) · Zbl 0102.17404  John, F., Bounds for deformations in terms of average strains, (), 129-144  Kohn, R.V., New integral estimates for deformations in terms of their nonlinear strains, Arch. rational mech. anal., 78, 131-172, (1982) · Zbl 0491.73023  Malliavin, P., Géométrie différentielle intrinsèque, (1972), Hermann Paris · Zbl 0282.53001  Mardare, C., On the recovery of a manifold with prescribed metric tensor, Anal. appl., 1, 433-453, (2003) · Zbl 1060.53005  S. Mardare, On isometric immersions of a Riemannian manifold with little regularity, Anal. Appl., submitted for publication  Nečas, J., LES Méthodes directes en théorie des equations elliptiques, (1967), Masson Paris · Zbl 1225.35003  Reshetnyak, Y.G., Mappings of domains in Rn and their metric tensors, Siberian math. J., 44, 332-345, (2003)  Schatzman, M., Analyse numérique, (2001), Dunod Paris  Schwartz, L., Analyse II: calcul différentiel et equations différentielles, (1992), Hermann Paris  Whitney, H., Analytic extensions of differentiable functions defined in closed sets, Trans. amer. math. soc., 36, 63-89, (1934) · JFM 60.0217.01  Yosida, K., Functional analysis, (1966), Springer-Verlag Berlin · Zbl 0217.16001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.