This is an immediate consequence of the existence of minimizers of \(\mathcal {T}_{\alpha , y^\delta }\)  which follows from the coercivity and the continuity assumptions on the functional \(\mathcal {T}_{\alpha , y^\delta }\) . A more detailed proof can be found in [1]}.
