Minimization of a quasi-linear Ginzburg-Landau type energy (Q1026040)

Let \(G\) be a bounded smooth domain of \({\mathbb R}^2\); \(g : \partial G \rightarrow S^1\) such that \(d \equiv \text{deg}(g, \partial G) \geq 0\), where \(S^1 = \{z \in {\mathbb C}: |z| = 1 \}\); \(H^{1}_{g} (G, A) = \{u \in H^1 (G,A): u=g\) on \(\partial G \}\), where \(A \subseteq {\mathbb C}\); \(\varepsilon, p_{0}, t > 0\); \(k,l \geq 0\); \(E_{\varepsilon} (u)={1 \over 2} \int _{G} (p_0 + t |x|^k |u(x)|^l) |\nabla u(x)|^2 dx + {1 \over {4 \varepsilon ^2}} \int _{G} (1 - |u(x)|^2)^2 dx\) for \(u \in H^{1}_{g} (G, {\mathbb C})\). Theorem 1. Let \(d=0\), \(u_ \varepsilon\) be a minimizer of \(E_{\varepsilon}\) on \(H^{1}_{g} (G, {\mathbb C})\) and let \(u_*\) be the minimizer of \(E_{\varepsilon}\) on \(H^{1}_{g} (G, S^1)\); then there exists \(\overline{t} (G,g,p_0,l,k) > 0\) such that for every \(t \leq \overline{t} (G,g,p_0,l,k)\) and when \(\varepsilon \rightarrow 0\) we have \(u_ \varepsilon \rightarrow u_*\) in \(H^{1}_{g} (G, {\mathbb C})\); \(u_ \varepsilon \rightarrow u_*\) in \(C^{1, \alpha} (G)\); \(|u_ \varepsilon| \rightarrow 1\) uniformly. Theorem 2. Let \(k = 0\), \(d > 0\), \(0 < \varepsilon_n \rightarrow 0\) and let \(u_{\varepsilon_n}\) be a minimizer of \(E_{\varepsilon_n}\) on \(H^{1}_{g} (G, {\mathbb C})\); then there exist \(b_1, \dots, b_d \in G\) and \(\overline{t} (G,g,p_0,l) > 0\) such that for every \(t \leq \overline{t} (G,g,p_0,l)\) we have \(u_ {\varepsilon _n} \rightarrow u^*\) in \(H^{1}_{\text{loc}} (G \setminus \{ b_1, \dots, b_d \})\); \(E_{\varepsilon_n} (u_{\varepsilon_n}) = \pi \; d \; (p_0 + t) \; \text{ln} {1 \over {\varepsilon_n}} + O(1)\). Theorem 3. Let \(0 \in G\), \(k,l,d > 0\), \(0 < \varepsilon_n \rightarrow 0\) and let \(u_{\varepsilon_n}\) be a minimizer of \(E_{\varepsilon_n}\) on \(H^{1}_{g} (G, {\mathbb C})\); then there exists \(\overline{t} (G,g,p_0,l,k) > 0\) such that for every \(t \leq \overline{t} (G,g,p_0,l,k)\) we have \(u_ {\varepsilon _n} \rightarrow u^*\) in \(H^{1}_{\text{loc}} (G \setminus \{ 0 \})\); \(E_{\varepsilon_n} (u_{\varepsilon_n}) = \pi \; p_0 \; (d \; \ln {1 \over {\varepsilon_n}} + { {d^2 - d} \over k} \; \ln (\ln {1 \over {\varepsilon_n}})) + O(1)\); \(\text{deg}(u^*, 0) = d\).