Study of fractional Poincaré inequalities on unbounded domains (Q2030858): Difference between revisions

Let \(\Omega\) be an open set of \(\mathbb R^n\), \(s\in(0,1)\), \([\cdot]_{s,2,\Omega}\) be the standard Gagliardo semi-norm. Let \(W_0^{s,2}(\Omega)\) and \(H_0^s(\mathbb R^n)\) be the closure of \(C_0^\infty(\Omega)\) w.r.t. the norm \(\left(\|\cdot\|^2_{L_2(\Omega)}+[\cdot]^2_{2,s,\Omega}\right)^{1/2}\) and \(\left(\|\cdot\|^2_{L_2(\Omega)}+[\cdot]^2_{2,s,\mathbb R^n}\right)^{1/2}\), respectively. The regional fractional Poincaré states that \[P^1_{n,s}(\Omega)=\inf_{u\in W_0^{s,2}(\Omega)\setminus\{0\}}\left(\frac{[u]_{s,2,\Omega}^2}{\|u\|^2_{L_2(\Omega)}}\right)>0, \] and the fractional Poincaré inequality states that \[P^2_{n,s}(\Omega)=\inf_{u\in H_0^{s}(\mathbb R^n)\setminus\{0\}}\left(\frac{[u]_{s,2,\mathbb R^n}^2}{\|u\|^2_{L_2(\Omega)}}\right)>0.\] The authors state that \(P^1_{n,s}(\mathbb R^{n-1}\times(-1,1))= P^1_{1,s}((-1,1))=0\) for \(s\in(0,\frac{1}{2})\) and \(P^1_{n,s}(\mathbb R^{n-1}\times(-1,1))>0\) for \(s\in (\frac{1}{2},1)\) (Theorem 1.1). Let \(\omega\) be a bounded open subset of \(\mathbb R^{n-m}\) such that \(1\le m<n\). Then, they state that \(P^2_{n,s}(\mathbb R^{m}\times\omega)= P^2_{n-m,s}(\omega)\) for \(s\in(0,1)\) (Theorem 1.2).