Justification of the Darboux–Vallée–Fortuné compatibility relation in the theory of surfaces

Given two fields of positive definite symmetric, and symmetric, matrices defined over a simply-connected open subset ω⊂R2, the fundamental theorem of surface theory asserts that, if these fields satisfy the Gauss and Codazzi–Mainardi relations in ω, then there exists an immersion θ from ω into R3 such that these fields are the two fundamental forms of the surface θ(ω)We show here that a new compatibility relation, shown to be necessary by C. Vallée and D. Fortuné in 1996 through the introduction, following an idea of G. Darboux, of a rotation field on a surface, is also sufficient for the existence of such an immersion θ. To cite this article: P.G. Ciarlet, O. Iosifescu, C. R. Acad. Sci. Paris, Ser. I 346 (2008).

RésuméEtant donné deux champs suffisamment réguliers définis dans un ouvert simplement connexe ω⊂R2, l'un de matrices symétriques définies positives et l'autre de matrices symétriques, le théorème fondamental de la théorie des surfaces affirme que, si ces deux champs satisfont les relations de Gauss et Codazzi–Mainardi dans ω, alors il existe une immersion θ de ω dans R3 telle que ces champs soient les deux formes fondamentales de la surface θ(ω).On montre ici qu'une nouvelle relation de compatibilité, dont C. Vallée et D. Fortuné ont montré en 1996 la nécessité en suivant une idée de G. Darboux, est également suffisante pour l'existence d'une telle immersion θ. Pour citer cet article : P.G. Ciarlet, O. Iosifescu, C. R. Acad. Sci. Paris, Ser. I 346 (2008).