Besov and Triebel-Lizorkin spaces on Lie groups (Q2182386)

The well-known spaces \(B^s_{p,q}(\mathbb R^n)\) and \(F^s_{p,q} (\mathbb R^n)\) with \(s \ge 0\) and \(1<p,q<\infty\) on \(\mathbb R^n\) can be characterized in terms of the Gauss-Weierstrass semi-group \(e^{-t \Delta}\), where \(\Delta\) is the Laplacian on \(\mathbb R^n\), as the collection of all distributions \(f\in S'(\mathbb R^n)\) such that \[ \big\| e^{-t_0 \Delta} f \, |L_p (\mathbb R^n) \big\| + \Big( \int^1_0 t^{-sq/2} \big\| (t \Delta)^m e^{-t \Delta} f \, | L_p (\mathbb R^n) \big\|^q \frac{dt}{t} \Big)^{1/q} \] and \[ \big\| e^{-t_0 \Delta} f \, |L_p (\mathbb R^n) \big\| + \Big\| \Big(\int^1_0 t^{-sq/2} \big| \big(t \Delta)^m e^{-t \Delta} f (\cdot) \big|^q \frac{dt}{t} \Big)^{1/q} \, | L_p (\mathbb R^n) \Big\| \] are finite. Here, \(t_0 \in (0,1)\) and \(s/2 <m\) is a natural number (equivalent norms). It is the main aim of the paper to develop a corresponding theory for the spaces \(B^s_{p,q} (G)\) and \(F^s_{p,q} (G)\) where \(G\) is a general non-compact Lie group endowed with a sub-Riemannian structure and a suitable substitute of the Euclidean Laplacian and the Gauss-Weierstrass semi-group.