The space H(div,) on a surface -- application to Donati-like compatibility conditions on a surface

From MaRDI portal
Publication:392628





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 NEWLINE\[NEWLINE\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)\},NEWLINE\]NEWLINE 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 NEWLINE\[NEWLINEb:\mathcal H \to\mathbf H^{-\frac{1}{2}}(\gamma)\times H^{-\frac{3}{2}}(\gamma)\times H^{-\frac{1}{2}}(\gamma) NEWLINE\]NEWLINE 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.].











This page was built for publication: The space \(\mathbf H(\mathop{div},\cdot)\) on a surface -- application to Donati-like compatibility conditions on a surface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392628)