Spaces of functions of fractional smoothness on an irregular domain (Q5893943)

Let \(\mathbb{R}^n\) be the \(n\)-dimensional Euclidean space, where \(n\geq 2\). For \(\sigma\geq 1\), a domain \(G\subset\mathbb{R}^n\) is said to satisfy the \textit{flexible \(\sigma\)-cone condition} if, for some \(T>0\), \(0<\kappa_0\leq 1\), and any \(x\in G\), there exists a piecewise smooth path \(\gamma=\gamma_x: [0,T]\to G\) such that \(\gamma(0)=x,\) \(|\gamma'|\leq 1\) a.e., and \[ \text{dist}(\gamma(t),\mathbb{R}^n\setminus G)\geq\kappa_0 t^\sigma\quad \text{for }\;0<t\leq T. \] Such domain \(G\) is called a \textit{\(\sigma\)-domain} if, in addition, \[ \sup_{x,y\in G}\int_0^T\chi\left(\frac{y-\gamma_x(t)}{\kappa_0\rho (\gamma_x(t))}\right)\frac{dt}{\rho(\gamma_x(t))}\leq\frac{1}{\kappa_0}, \] where \(\chi\) is the characteristic function of the open unit ball \(\{y\in \mathbb{R}^n:|y|<1\}\), and \(2\rho(x):=\text{dist}(x,\mathbb{R}^n \setminus G)\). Families of Triebel-Lizorkin-type spaces \(L_{p,\theta}^{s(m)}(G)\) and Besov-type spaces \(B_{p,\theta}^{s(m)}(G)\) of functions of fractional smoothness \(s\) on \(\sigma\)-domains \(G\) are constructed for which the following embeddings hold: \[ \begin{matrix} W_p^m(G)\subset L_{q,\theta}^{s(m)}(G), & W_p^m(G)\subset B_{q,\theta}^{s(m)}(G),\\ L_{p,\theta}^{s(m)}(G)\subset L_q(G), & B_{p,\theta}^{s(m)}(G)\subset L_q(G). \end{matrix} \] Namely, if \(G\) is a \(\sigma\)-domain, \(\sigma\geq 1\), \(0<s<m\in\mathbb{N}\), \(1<p<q<\infty\), \(1\leq\theta\leq\infty\) and \[ m-s-\frac{\sigma(n-1)+1}{p}+\frac{n}{q}\geq 0, \] then \(W_p^m(G)\subset L_{q,\theta}^{s(m)}(G)\). If these conditions are fulfilled and \(\theta\geq q\), then \(W_p^m(G)\subset B_{q,\theta}^{s(m)}(G)\). For the peak \(V(\sigma)\) and the special Hölder domain \(H(\sigma)\) being \(\sigma\)-domains given by \[ V(\sigma)=\big\{x=(x_1,\ldots,x_n)=(x',x_n):\;|x'|<1,\;|x'|^{1/\sigma} <x_n<1+\sqrt{1-|x'|^2}\big\}, \] \[ H(\sigma)=\big\{x=(x',x_n):\;x_n>\psi(x'),\;x'\in\mathbb{R}^{n-1}\big\}, \] where \(\sigma\geq 1\), the function \(\psi\) satisfies the Hölder condition with exponent \(1/\sigma\) and the domains are equipped with some sets of paths, the following results hold. If \(\sigma>1\), \(1<p<q<\infty\), \(1\leq\theta\leq\infty\) and \(m-s-[\sigma(n-1)+1]\big(\frac{1}{p}-\frac{1}{q}\big)\geq 0,\) then \[ W_p^m(H(\sigma))\subset L_{q,\theta}^{s(m)}(H(\sigma)),\quad W_p^m(V(\sigma)) \subset L_{q,\theta}^{s(m)}(V(\sigma)). \] If, in addition, \(q\leq\theta\), then \[ W_p^m(H(\sigma))\subset B_{q,\theta}^{s(m)}(H(\sigma)),\quad W_p^m(V(\sigma)) \subset B_{q,\theta}^{s(m)}(V(\sigma)). \] If \(\sigma>1\), \(1<p<q<\infty\), \(1\leq\theta\leq\infty\) and \(s-[\sigma(n-1)+1]\big(\frac{1}{p}-\frac{1}{q}\big)\geq 0,\) then \[ L_{p,\theta}^{s(m)}(H(\sigma))\subset L_q(H(\sigma)),\quad L_{p,\theta}^{s(m)}(V(\sigma))\subset L_q(V(\sigma)). \] If \(\sigma>1\), \(1\leq p<q<\infty\), \(1\leq\theta\leq q\) and \(s-[\sigma(n-1)+1]\big(\frac{1}{p}-\frac{1}{q}\big)\geq 0,\) then \[ B_{p,\theta}^{s(m)}(H(\sigma))\subset L_q(H(\sigma)),\quad B_{p,\theta}^{s(m)}(V(\sigma))\subset L_q(V(\sigma)). \] If \(G\subset\mathbb{R}^n\) is a \(1\)-domain, then for \(s>0\) and \(1<p,\theta<\infty\) the spaces \(L_{p,\theta}^{s(m)}(G)\) and \(B_{p,\theta}^{s(m)}(G)\) coincide up to equivalence of norms with the Triebel-Lizorkin spaces \(L_{p,\theta}^s(G)\) and the Besov spaces \(B_{p,\theta}^s(G)\), respectively.