1: \begin{definition}

2: In virtue of Theorem \ref{thm:main1} we say a minimizing sequence of $E_c$ is \emph{vanishing} if $u_n  \rightharpoonup 0$ in $X$ and \emph{non-vanishing} otherwise.

3: \end{definition}

4: