$\Gamma$-convergence is a notion of convergence for functionals which has the nice property that if $x_\varepsilon$ are minimisers for a family of functionals $\{F_\varepsilon, \varepsilon > 0\}$ which $\Gamma$-converge to $F$, then $x_\varepsilon \rightarrow x$ implies that $x$ is a minimiser for $F$.

In the context of optimal control and calculus of variations type problems, the most common example I've seen is to use $\Gamma$-convergence to handle a $1/\varepsilon$ scaling in the Lagrangian. Are there any good examples of $\Gamma$-convergence being used when $\varepsilon$ is a parameter which determines the domain, perhaps through a state constraint?

Here is a toy problem to illustrate what I mean. Let $\mathcal{A}_{\varepsilon} (y, T)$ denote the class of absolutely continuous functions $x : [0, T] \rightarrow [\varepsilon, \infty)$ which satisfy $$ x (0) = \varepsilon, \quad x (T) = y. $$ For $x \in \mathcal{A}_{\varepsilon} (y, T)$, define the functional $F_{\varepsilon} (x)$ by $$ F_{\varepsilon} (x) = \frac{1}{2} \int_0^T \| \dot{x} (s) \|^2 ds. $$ Clearly, the minimiser $x_{\varepsilon} \in \mathcal{A}_{\varepsilon} (y, T)$ is $x_{\varepsilon}(t) = \frac{y - \varepsilon}{T} t + \varepsilon$, and $F_{\varepsilon} (x) = \frac{1}{2} \frac{(y - \varepsilon)^2}{T}$.

Does the sequence $\{ F_{\varepsilon}, \varepsilon > 0 \}$ $\Gamma$-converge to $F$, where $F$ is the functional which requires $x (0) = 0$? I would imagine so, modulo setting up the problem correctly. For instance, all the $F_\varepsilon$ should be defined on the same topological space, i.e., the same space of functions. There may be multiple way to address this, for instance, extending the definition of $F_\varepsilon$ to $C([0,T])$ by setting $F_\varepsilon(x) = +\infty$ for non-admissible $x$. Has anyone sorted out what the right approach is?