Linear extension operators for restrictions of function spaces to irregular open sets (Q4514717)

Let \(H_p^s\) be the Bessel potential space, \(1<p<\infty, s>0\) and \(H_p^s[\Omega]\) the linear space of restrictions to \(\Omega\) of elements \(g\in H_p^s\), \(\Omega \) being an open set in \(\mathbb{R}^n\). It is assumed that \[ H_d(\Omega\cap B)\geq \varepsilon |B|^{d\backslash n} \] for some \(0\leq d\leq n\) and \(\varepsilon >0\) and any ball \(B\) centered at the origin of volume \(|B|\leq 1\), where \(H_d\) stands for the \(d\)-Hausdorff content. The author finds sufficient conditions for the existence of a linear extension operator for the space \(H_p^s[\Omega]\). Such an operator exists if one of the following two conditions is satisfied: \[ d>n-1\quad \text{and} \quad s>\frac{n-d}{\min(p,2)} \] or \[ d\leq n-1 \quad \text{and} \quad s-[s]>\frac{n-d}{\min(p,2)} . \] Sharpness of these conditions is stated as an open problem. The proofs are based on Brudnyi's method of local polynomial approximation.