A sharpened $L^8_t L^4_x$-Strichartz estimate for even initial data

It is well known that $u_0 \in L^2(\mathbb{R}) \setminus \{0\}$ is an extremizer for the $L^8_t L^4_x$-Strichartz estimate if and only if it is a Gaussian. We show that every extremizing sequence of even functions $\{ u_n \} \subset L^2(\mathbb{R}) \setminus \{0\}$ approaches a centered Gaussian in