Hardy's inequalities in function spaces containing derivatives of noninteger order (Q1280627)

Let \(s= (s_1,\dots, s_n)\), \(s_i>0\) for \(i=1,\dots, n\), and let \(\varphi\in L^2(\mathbb{R}^n)\) be such that its Fourier transform \(\widehat{\varphi}\) satisfies \[ J(\varphi):= \int_{\mathbb{R}^n} | \widehat{\varphi} (\lambda)| ^2 \Biggl( \sum_1^n \lambda_i^{2s_i} \Biggr) d\lambda< \infty. \] Assume that \(k\) is the least integer such that \(s_i<k\), \(i= 1,\dots, n\). The author proves that if \[ -k+(k/2) \sum_1^n s_i^{-1}+k \sum_1^n (\beta_i/s_i)+ 2| \alpha|\neq 0, \] for all integers \(\alpha_i, \beta_i\) satisfying \(0\leq \alpha_i, \beta_i<k\), then \(\varphi(x)= \sum c_\alpha x^\alpha+ \varphi_1(x)\), where the summation is taken over all \(\alpha= (\alpha_1,\dots, \alpha_n)\) such that \(2\sum_1^n (\alpha_i/s_i)+ \sum_1^n s_i^{-1}< 2\), and \[ \int_{\mathbb{R}^n} | \varphi_1(x)|^2 \Biggl( \sum_1^n x^{2s_i} \Biggr)^{-1} dx\leq cJ(\varphi). \]