Porosity and the \(L^{p}\)-conjecture (Q616137)

On a locally compact non-compact group \(G\) the spaces \(L^p\), for \(p>2\), contain functions~\(f\) and \(g\) whose convolution are infinite on a set of positive measure [see \textit{F. Abtahi, R. Nasr-Isfahani, A. Rejali}, Arch. Math. 89, No.~3, 237--242 (2007; Zbl 1198.43001)]. The authors prove a quantitative version of this result: if \(p,q>1\) and \(\frac1p+\frac1q<1\) then for each compact subset~\(K\) of the group~\(G\) the set~\(E_k\) of pairs \((f,g)\in L^p\times L^q\) for which \(f\star g\) is well-defined at some point of~\(K\) satisfies a porosity condition: every ball about a point of~\(E_K\) contains balls that are disjoint from it. Such sets are (more than) nowhere dense and thus if \(p>2\) and \(G\)~is \(\sigma\)-compact then the pairs of functions whose convolution is nowhere defined is residual in \(L^p\times L^p\).