The space \(\mathbf H(\mathop{div},\cdot)\) on a surface -- application to Donati-like compatibility conditions on a surface (Q392628)

The notations are the same as in the authors' note [C. R., Math., Acad. Sci. Paris 351, No. 21--22, 853--858 (2013; Zbl 1335.53016)]. Let \(\omega\) be a domain in \(\mathbb R^2\) (i.e., a bounded, connected, open subset of \(\mathbb R^2\), whose boundary \(\gamma\) is Lipschitz-continuous, the set \(\omega\) being locally on the same side of \(\gamma\)) and an immersion \(\theta\in C^2(\omega;\mathbb R^3).\) The space \(\mathbf H(\mathop{div};\omega) \) is defined on a surface as \[ \mathbb H(\mathbf d;\omega) =\{(\mathbf n,\mathbf m)\in L^2(\omega)\times L^2(\omega);\mathbf d(\mathbf n,\mathbf m)\in L^2(\omega)\}, \] where \(\mathbf n\) and \(\mathbf m\) are tensor fields. Equipped with the natural norm, it is a Hilbert space, which will be denoted by \(\mathcal H\). Next, suitable stronger assumptions are made on \(\gamma\) and \(\theta\). It is proved (Theorem 2.1) that \(C^{\infty}(\overline\omega)\times C^{\infty}(\overline\omega)\) is dense in \(\mathcal H\). In Theorem 2.2, a continuous linear operator \[ b:\mathcal H \to\mathbf H^{-\frac{1}{2}}(\gamma)\times H^{-\frac{3}{2}}(\gamma)\times H^{-\frac{1}{2}}(\gamma) \] is constructed, and a Green's formula in \(\mathcal H\) is established. In the last section of the note (Theorem 3.1), \(\gamma_o\) is a portion of \(\gamma\). Donati-like compatibility conditions, related to \(\gamma_o\), are investigated. If \(\gamma_o=\gamma\), these conditions are the same as those found in Theorem 4.2 of [loc. cit.].