Sur la détermination d'une surface dans à partir de ses deux formes fondamentales (Q4763176)

The following result is known [see, e.g., \textit{J. A. Blume}, J. Elasticity 21, No. 3, 271-308 (1989; Zbl 0725.73041)] and [\textit{T. Y. Thomas}, Ann. Math. (2) 35, 730-734 (1934; JFM 60.0415.01)]: Theorem 1: Let \(\Omega\) be a simply connected open subset of \(\mathbb{R}^3\), and let there be given a twice continuously differentiable, symmetric, and positive definite matrix field \((g_{ij})\) on \(\Omega\) that satisfies \[ \partial_k \Gamma_{ilj}-\partial_l \Gamma_{ikj}+ \Gamma^p_{ik} \Gamma_{jlp}-\Gamma^p_{il} \Gamma{jkp}= 0\text{ in } \Omega, \] where \(\Gamma_{ijp}= {1\over 2}(\partial_j g_{iq}+\partial_ig_{jq}-\partial_q g_{ij})\), \(\Gamma^p_{ij}= g^{pq}\Gamma_{ijq}\), \((g^{pq})= (g_{ij})^{-1}\). Then there exists a mapping \(\Theta\in {\mathcal C}^3(\Omega; \mathbb{R}^3)\), unique up to isometries of \(\mathbb{R}^3\), such that \[ g_{ij}= \partial_i \Theta\cdot \partial_j \Theta\text{ in }\Omega. \] On the other hand, the fundamental theorem of (Euclidean) surface theory in \(\mathbb{R}^3\) for simply connected domains is also well known [see, e.g. \textit{W. A. Klingenberg}, A course in differential geometry, Springer-Verlag, Heidelberg (1978; Zbl 0366.53001) theorem 3.8.8]. In the present note the authors announce the following result: Theorem: The mentioned fundamental theorem of surface theory can be established as a corollary to theorem 1 above. In this note it is also included a sketch of the proof, while further details are promised to appear in a subsequent paper.