“…In order to use the weak formulation of problem , we need to define a suitable test function in Ω ε starting from a given test function in Ω. Following the approach in , this is carried out by means of an appropriate pullback operator. Namely, in the case α ≥3/2, we consider a diffeomorphism Φ ε from Ω ε to Ω defined by for all where The map Φ ε is a diffeomorphism of class C 3 , even though the highest order derivatives may not be uniformly bounded as ε →0.…”