The compactness result is borrowed from Jerrard& Ignat [1]}.
The proof of the product estimate (REF ) is based on the validity of the analogous product estimate in the Euclidean two-dimensional setting and is similar to the proof of the space-time product estimate in Proposition REF , therefore we skip it.
