K\"unneth Formula in Rabinowitz Floer homology

Rabinowitz Floer homology has been investigated on a submanifold of contact type. The contact condition, however, is quite restrictive. For example, a product of contact hypersurfaces is rarely of contact type. In this article, we study Rabinowitz Floer homology for a class of non-contact submanifolds. We show for this example that there are infinitely many leafwise intersection points by proving a K\"unneth formula for Rabinowitz Floer homology.