Continuity of embeddings of weighted Sobolev spaces in Lebesgue spaces on anisotropically irregular domains (Q605983)

Let \(G\subset\mathbb{R}^n\), \(G\neq\mathbb{R}^n\), \(n\geq 2\), \(G_\delta= \big\{x\in G:\;\text{dist}(x,\mathbb{R}^n\setminus G)>\delta\big\} \neq\emptyset,\) where \(\text{dist}(x,\mathbb{R}^n\setminus G)\) is the Euclidean distance from \(x\in G\) to the boundary of \(G\), and \(\delta>0;\) \(\lambda=(\lambda_1,\ldots,\lambda_n)\in(0,\infty)^n,\) \(|\lambda| =\sum_{i=1}^n\lambda_i,\) \(\lambda_0=\min_{1\leq i\leq n}\lambda_i;\) \(|x|_\lambda=\max_{1\leq i\leq n}|x_i|^{1/\lambda_i}\), \(\rho_\lambda(x)=\min\left\{1,\inf_{y\in\mathbb{R}^n\setminus G} |x-y|_\lambda\right\}\) and, for \(|\lambda|=n\) and \(d>0\), let \[ Q_\lambda(x,d)=x+(-d^{\lambda_1},d^{\lambda_1})\times(-d^{\lambda_2}, d^{\lambda_2})\times\ldots\times(-d^{\lambda_n},d^{\lambda_n}). \] Given \(\sigma\geq 1\), \(0<t^*<1\), \(\kappa>0\), \(\lambda\in(0,\infty)^n\), \(|\lambda|=n\) and \(\lambda_0\geq\sigma^{-1}\), let \(G\) be a domain in \(\mathbb{R}^n\), for which there exists a piecewise smooth path \(\gamma:[0,t^*]\to G\) such that \(\gamma(0)=x,\) \(\;Q_\lambda(\gamma(t), \kappa t^\sigma)\subset G,\) and \[ \left|\frac{\partial \gamma_i}{\partial t}(t)\right|\leq\kappa^{-1}\rho_\lambda(\gamma(t) )^{\lambda_i-\lambda_0}\;\;\text{ for\;a.e. }\;t\in[0,t^*]. \] In that case \(G\) is called a \textit{domain with the \(\lambda\)-anisotropic flexible \(\sigma\)-cone condition.} For weights \(v\) and \(u\), the weighted Sobolev space \(W_{p,v;r,u}^s(G)\) consists of all functions with finite norm \[ \big\|f\big|W_{p,v;r,u}^s(G)\big\|=\sum_{|\alpha|=s}\big\|D^\alpha f\big| L_{p,v}(G)\big\|+\big\|f\big|L_{r,u}(G_\delta)\big\|, \] and \(W_{p,v;r}^s(G) =W_{p,v;r,1}^s(G).\) Main result. Let \(G\) be a domain with the \(\lambda\)-anisotropic flexible \(\sigma\)-cone condition, \(a\geq\lambda_0-n\), \(b\geq 0\), and the following conditions hold: \(1<p<q<\infty\), \(1\leq r\leq q\), \(s\in\mathbb{N}\), \(w=\rho_\lambda^b\), \(v=\rho_\lambda^a\), and \[ \lambda_0 s -\frac{n}{p}+\frac{n}{q}\geq 0,\quad s-\frac{\sigma(n+a-\lambda_0) +1}{p}+\frac{n+b}{\lambda_0 q}\geq 0; \] moreover, if \(\lambda_0 s -\frac{n}{p} +\frac{n}{q}=0\), then either \(a=b\) or \(\frac{a}{p}<\frac{b}{q}\). Then the embedding \(W_{p,v;r}^s(G)\subset L_{q,w}(G)\) holds and \[ \big\|f\big|L_{q,w}(G)\big\|\leq C\Bigg(\sum_{|\alpha|=s}\big\|D^\alpha f\big| L_{p,v}(G)\big\|+\big\|f\big|L_{r}(G_\delta)\big\|\Bigg), \] where the constants \(C\) and \(\delta>0\) are independent of \(f\). A weak-type estimate for the embedding of weighted Sobolev spaces into weighted Lebesgue spaces is also obtained.