The \(L^ p\)-conjecture and Young's inequality (Q913959)

The \(L^ p\)-conjecture is proved for the case of arbitrary locally compact groups. That is, if \(L^ p(G)\) is closed under convolution for some \(1<p<\infty\), then G is compact. Also Young's inequality is investigated in this paper; that if a noncompact group G has the property that is given \(\epsilon >0\) there exists a compact subset \(A=A_{\epsilon}\) of G such that \(\liminf_{n\to \infty}n^{-1} \log \log | A^{2^ n}| <\epsilon\), then there exists \(f\in L^ p_ s\cap C^+_ 0(g)\) such that \(f*L^ q_ s\not\subset L^ r\) for r,q\(\in [1,\infty]\) satisfying \(1/r>1/p+1/q-1\), where \(L^ p_ s=\{f\in L^ p|\) \(f(x)=f(x^{-1})\) for any \(x\in G\}\), the symmetric functions. Applying this result, one can simply prove a result due to \textit{T. Quek} and \textit{L. Yap} [Math. Scand. 53, 221-237 (1983; Zbl 0513.22001)] as follows: If G is an LCA group such that \(L^ p*L^ q\subset L^ r\), then (a) \(1/r\leq 1/p+1/q-1\) if G is discrete; (b) \(1/r\geq 1/p+1/q-1\) if G is compact; (c) \(1/r>1/p+1/q-1\) if G is neither discrete nor compact.