Estimate of the \(L^p\)-Fourier transform norm on strong \(\ast\)-regular exponential solvable Lie groups (Q2644346)

Let \(G=\exp{\mathfrak g}\) be an exponential solvable Lie group, namely a solvable Lie group such that the exponential map \(\exp:{\mathfrak g}\to G\) is a diffeomorphism. Let \({\mathfrak n}\) be the nilradical of \({\mathfrak g}\). For \(\ell\in {\mathfrak g}^*\), put \({\mathfrak g}(\ell|_n)=\{X\in {\mathfrak g}:\ell([X,{\mathfrak n}])= \{0\}\}\), \({\mathfrak d}(\ell)={\mathfrak g} (\ell|_n)+{\mathfrak n}\) and let \({\mathcal C}^k ({\mathfrak d}(\ell))\) be the \(k\)-th term of the descending central series of \({\mathfrak d}(\ell)\). We say that \(\ell\) is strong *-regular if \(\ell\) vanishes on \(\cap_{k\geq 0}{\mathcal C}^k ({\mathfrak d}(\ell))\) and that \(G\) is strong *-regular if there exists a non-empty Zariski open subset in \({\mathfrak g}^*\) where every element is strong *-regular. Let \(\widehat G\) be the unitary dual of \(G\), i.e., the set of equivalence classes of irreducible unitary representations of \(G\). Then there exist a field of nonzero positive self-adjoint operators \((K_\pi)_{\pi\in\widehat G}\) and a measure \(\mu\) on \(\widehat G\) such that, for \(\varphi\in L^1(G)\cap L^2(G)\) and for \(\mu\)-almost all \(\pi\in\widehat G\), the operator \(\pi(\varphi)K_\pi^{1/2}\) extends to a Hilbert-Schmidt operator on the space \({\mathcal K}_\pi\) of \(\pi\) and the operator \(K_\pi^{-1/2}\pi(\varphi^** \varphi)K_\pi^{-1/2}\) is of trace class. With these objects the Plancherel formula holds: \[ \|\varphi\|^2_2 =\int_{\widehat G}\text{tr}(K_\pi^{-1/2}\pi (\varphi^**\varphi)K_n^{-1/2})d\mu(\pi) \] [cf. \textit{M. Duflo} and \textit{C. C. Moore}, J. Funct. Anal. 21, 209--243 (1976; Zbl 0317.43013); \textit{M. Duflo} and \textit{M. Rais}, Ann. Sci. École Norm. Sup. 9, 107--144 (1976; Zbl 0324.43011)]. In this paper, the authors study the \(L^p\)-Fourier transform. The main result is as follows. Let \(G\) be a strong *-regular exponential solvable Lie group and \(m\) the maximal dimension of coadjoint orbits of \(G\). Let \(1<p\leq 2\), \(q\) the conjugate of \(p\), i.e., \(\frac 1p+\frac 1q=1\), and \(A_p=\left(\frac {p^{1/p}}{q^{1/q}} \right)^{1/2}\). Then for all \(\varphi\in L^1(G) \cap L^p(G)\) and \(\mu\)-almost all \(\pi\in\widehat G\), the operator \(\pi^p(\varphi):=\pi(\varphi)K_\pi^{-1/q}\) is bounded and satisfies \[ \left(\int_{\widehat G}\|\pi^p(\varphi)\|^q_{C_q}d\mu (\pi) \right)^{1/q}\leq A_p^{(2\dim G-m)/2}\|\varphi\|_p, \] where \(\|\pi^p (\varphi)\|^q_{C_q}=\text{tr}((\pi^p(\varphi)^*\pi^p(\varphi))^{q/2})\).