Difference norms for vector-valued Bessel potential spaces with an application to pointwise multipliers (Q502604)

For positive integer \(n\), the Euclidean \(n\)-dimensional space is denoted by \(\mathbb{R}^n\), the space of Lebesgue measurable functions on \(\mathbb{R}^n\) is denoted by \({\mathcal M}(\mathbb{R}^n)\), and for \(1\leq p<\infty\), \(L^p(\mathbb{R}^n)\) denotes \(\{[f]:\|[f]\|_p=\| f\|_p<\infty\}\), where \([f]\) represents the equivalence class of functions which differ from \(f\) on sets of measure \(0\), and \[ \| f\|_p= \Biggl(\int_{\mathbb{R}^n} |f(t)|^p\,dt\Biggr)^{1/p}. \] Let \((X,|.|_X)\) be a Banach space. If \(w\) is a weight function, let \(L^p(X)\) denote \(\{f:\mathbb{R}^n\to X:\| f\|_{p;X,w}<\infty\}\), where \[ \| f\|_{p,X;w}= \Biggl(\int_{\mathbb{R}^n} (|f(t)|_X)^p\,w(t)\,dt\Biggr)^{1/p}. \] The Fourier transform \({\mathcal F}(f)\) of a function \(f\) in \(L^1\cap L^2(\mathbb{R}^n)\) is defined by \[ (2\pi)^{n/2}{\mathcal F}(f)(x)= \int_{\mathbb{R}^n} f(t)\,e^{ix.t}\,dt, \] the Bessel potential \({\mathcal J}_s\) is defined for the real number \(s\) by \({\mathcal J}_s(f)={\mathcal F}^1\{(1+|.|^2)^{s/2}{\mathcal F}(f)\}\), and the Bessel potential space \({\mathcal H}^{s,p}(\mathbb{R}^n,X;w)\) is defined by \({\mathcal H}^{s;p}(\mathbb{R}^n,X;w)= \{f:{\mathcal J}^s(f)\in L^p(\mathbb{R}^n,X;w)\}\) with norm \(\| f\|_{H(s,p);w}= \|{\mathcal J}^s(f)\|_{p,X,w}\). For a differentiable function \(f\) on \(\mathbb{R}^n\), and \(\alpha=(\alpha_1,\alpha_2,\dots, \alpha_k)\), let \(\partial^\alpha\) denote \((\partial/\partial x)^{\alpha_1}\cdots(\partial/\partial x)^{\alpha_k}\), \(|\alpha|= (\alpha_1+\alpha_2+\cdots+ \alpha_k)\), and the Sobolev space \(W^{s,p}(\mathbb{R}^n,X;w)\) is identified as \(\{f:\partial^\alpha f\in L^p(\mathbb{R}^n,X;w)\}\) with norm \[ \| f\|_{W(s,p);w}= \sum_{|\alpha|\leq s} \|\partial^\alpha(f)\|_{p,X;w}. \] A function \(f\) in a space having unconditional martingale difference (UMD) property has difference operator iterates \[ \Delta^m_h f(x)= \sum^m_{j=0}(-1)^{jm}C_j f(x+(m- j)h),\;x\in\mathbb{R}^n,\;h\in \mathbb{R}^n,\;m= 1,2,\dots. \] Statements indicated as the main results of this paper provide conditions for either of the estimates \(\| f\|_{H(s,p);X;w}\leq |||f|||_{H(s,p);X;w}^{(m,K)}\) or \(|||f|||_{H(s,p);X;w}^{(m,K)}\leq\| f\|_{H(s;p);X,w}\), where \[ |||f|||_{H(s,p),X;w}^{(m,K)}=\| f\|_{p;X;w}+ \sup\Biggl\{\Biggl\| \sum^J_{j=1} \epsilon_j 2^{js} K_m(2^{-j}, f)\Biggr\|_{L^p(\Omega;L^p(\mathbb R^d,w;X))},\;J= 1,2,3,\dots\Biggr\} \] and \[ K_m(t,f)(x)= \int_{\mathbb{R}^n} K(h)\Delta^m_{th} f(x)\,dh. \]