A transplantation theorem for Laguerre series (Q1324163): Difference between revisions

Let \(L_ n^{(\alpha)}(x)\), \(\alpha>-1\), be the Laguerre polynomial of degree \(n\) and of order \(\alpha\) defined by \[ L_ n^{(\alpha)}(x)= {{e^ x x^{-\alpha})} \over {n!}} \left( {d\over {dx}}\right)^ n (e^{-x} x^{n+\alpha}). \] Also, the functions \(\tau_ n^ \alpha L_ n^ \alpha (x) e^{-x/2} x^{\alpha/2}\), \(n=0,1,2,\dots\), are orthonormal on the interval \((0,\infty)\) with respect to the ordinary Lebesgue measure \(dx\), where \[ (\tau_ n^ \alpha)^{-2}= \int_ 0^ \infty \{L_ n^ \alpha (x)\}^ 2 e^{-x} x^ \alpha \,dx= {{\Gamma(n+\alpha+1)} \over {\Gamma (n+1)}}. \] Here the author proves the following theorem: Let \(\alpha,\beta>-1\) and \(\gamma= \min\{\alpha, \beta\}\). If \(\nu\geq 0\), then \[ \int_ 0^ \infty \left| \sum_{n=0}^ \infty a_ n^ \beta (f) \tau_ n^ \alpha L_ n^ \alpha (x) e^{-x/2} x^{\alpha/2} \right|^ p \,dx\leq C\int_ 0^ \infty | f(x)|^ p \,dx\quad \text{for } 1<p<\infty, \] where \(C\) is a constant independent of \(f\). If \(-1<\nu<0\), then the above result holds for \((1+\nu/2)^{-1}<p< -2/\nu\).