Nečas-Lions lemma revisited: An $L^p$-version of the generalized Korn inequality for incompatible tensor fields

Abstract

For $1 0$ such that \begin{equation*} \| P\|_{L^p(Ω,\mathbb{R}^{3\times3})}\leq c\,\left( \|\operatorname{sym} P\|_{L^p(Ω,\mathbb{R}^{3\times3})} + \| \operatorname{Curl}P \|_{L^p(Ω, \mathbb{R}^{3\times3})}\right)\end{equation*} holds for all tensor fields $P\in W^{1,\,p}_0(\operatorname{Curl}; Ω,\mathbb{R}^{3\times3})$, i.e., for all $P\in W^{1,\,p}(\operatorname{Curl}; Ω,\mathbb{R}^{3\times3})$ with vanishing tangential trace $ P\times ν=0 $ on $ \partialΩ$ where $ν$ denotes the outward unit normal vector field to $\partialΩ$. For compatible $P=D u$ this recovers an $L^p$-version of the classical Korn's first inequality $$ \|D u \|_{L^p(Ω,\mathbb{R}^{3\times 3})} \le c\, \|\operatorname{sym}D u\|_{L^p(Ω,\mathbb{R}^{3\times3})} \quad \text{with }D u \times ν= 0 \quad \text{on $\partial Ω$}, $$ and for skew-symmetric $P=A\in\mathfrak{so}(3)$ an $L^p$-version of the Poincaré inequality $$ \|A\|_{L^p(Ω,\mathfrak{so}(3))}\le c\, \|\operatorname{Curl} A\|_{L^p(Ω,\mathbb{R}^{3\times3})} \quad \text{with } A \times ν= 0 \ \Leftrightarrow \ A=0 \quad \text{on $\partial Ω$}. $$