Laguerre operator and its associated weighted Besov and Triebel-Lizorkin spaces

Consider the space X = (0,∞) equipped with the Euclidean distance and the measure dμ_α(x) = x^αdx where α ∈ (−1,∞) is a fixed constant and dx is the Lebesgue measure. Consider the Laguerre operator (Formula Presented) on X. The aim of this article is threefold. Firstly, we establish a Calderón reproducing formula using a suitable distribution of the Laguerre operator. Secondly, we study certain properties of the Laguerre operator such as a Harnack type inequality on the solutions and subsolutions of Laplace equations associated to Laguerre operators. Thirdly, we establish the theory of the weighted homogeneous Besov and Triebel-Lizorkin spaces associated to the Laguerre operator. We define the weighted homogeneous Besov and Triebel-Lizorkin spaces by the square functions of the Laguerre operator, then show that these spaces have an atomic decomposition. We then study the fractional powers L^−γ, γ > 0, and show that these operators map boundedly from one weighted Besov space (or one weighted Triebel-Lizorkin space) to another suitable weighted Besov space (or weighted Triebel-Lizorkin space). We also show that in particular cases of the indices, our new weighted Besov and Triebel-Lizorkin spaces coincide with the (expected) weighted Hardy spaces, the weighted L^p spaces or the weighted Sobolev spaces in Laguerre settings.