The algebra \(A_ p((0,\infty))\) and its multipliers (Q1917771): Difference between revisions

Let \(I\) be the semigroup \([0, \infty)\) with the multiplication max. The maximal ideal space of the convolution algebra \(L_1 (I)\) is \(\widehat I = \{z \in \mathbb{C} : \text{Re} z \geq 0\}\). Then \(A_p (I)\) is defined to be \(\{f \in L_1 (I) : |\widehat f |_p < \infty\}\) where \(\widehat f\) is the Gelfand transform of \(f\) and \(|\widehat f |^p_p = f_{ \widehat I} |\widehat f |^p\) (the measure on \(\widehat I\) being Lebesgue measure on the plane). The norm on \(A_p (I)\) is given by \(||f ||_p = |f |_1 + |\widehat f |_p\). The convolution algebras \(A_p (I)\) are all different for \(1 \leq p \leq \infty \), and all dense ideals in \(L_1 (I)\). Some results are given which assure us that certain functions are in \(A_p (I)\), for example, that \(L_1 (I) \cap L_\infty (I) \subseteq A_p (I)\) for \(p > 2\), the most definite being that \(f \in A_2 (I)\) if and only if \(t \mapsto f(t)/ \sqrt t\) is in \(L_2 (I)\). There is a sequence \((u_n)\) in \(L_1 (I)\) which is an approximate identity for \(A_p (I)\) when \(p > 2\), and such that \(u_n* u_n\) (resp. \(u_n* u_n* u_n)\) is an approximate identity when \(p > 1\) (resp. \(p \geq 1)\), but \(A_p (I)\) has no bounded approximate identity for \(p > 1\). The multipliers of \(A_p (I)\) must be continuous functions on \(\widehat I\) which are analytic on the interior of \(\widehat I\). The authors present an analogue of the Paley-Wiener Theorem for their situation. They then give some necessary, and some sufficient, conditions for an analytic function to be a multiplier.