Equivalence of the induced norm with the Sobolev norm

About 14 years old · traced to

Let Ω⊂R3\Omega\subset\mathbb{R}^3 be a Lipschitz domain, let ∅≠Γ⊂∂Ω\emptyset\neq\Gamma\subset\partial\Omega be relatively open, and let P∈L∞(Ω;R3×3)P\in\mathsf{L}^{\infty}_{}(\Omega;\mathbb{R}^{3\times3}) satisfy det⁡P≥c+>0\det P\geq c^+>0. Define

∣∣∣u∣∣∣=∥sym⁡(∇uP−1)∥L2(Ω)|||u|||=\left\|\operatorname{sym}(\nabla uP^{-1})\right\|_{\mathsf{L}^{2}_{}(\Omega)}

and let H∘1(Ω,Γ)\mathsf{H}^{1}_{\circ}(\Omega,\Gamma) and the completion under ∣∣∣⋅∣∣∣|||\cdot||| be the corresponding completions of C∘∞(Ω,Γ)\mathsf{C}^{\infty}_{\circ}(\Omega,\Gamma). Norm-equivalence conjecture. The induced norm and the H1(Ω)\mathsf{H}^{1}_{}(\Omega) norm should be equivalent when Curl⁡P∈Lp(Ω;R3×3)\operatorname{Curl}P\in\mathsf{L}^{p}_{}(\Omega;\mathbb{R}^{3\times3}) and det⁡P≥c+>0\det P\geq c^+>0 for some p>1p>1, or even for p≥1p\geq1. The source notes that equivalence is known when P∈C0(Ω‾)P\in\mathsf{C}^{0}_{}(\overline{\Omega}) with det⁡P≥c+>0\det P\geq c^+>0, while the asserted lower-regularity extension remains open.

References

Primary source

Johannes Lankeit, Patrizio Neff and Dirk Pauly, “Uniqueness of integrable solutions to first order systems with integrable tensor-coefficients and applications to elasticity”, arXiv:1209.3388 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.