Abstract
We study the Ginzburg–Landau functional describing an extreme type-II superconductor wire with cross section with finitely many corners at the boundary. We derive the ground state energy asymptotics up to o(1) errors in the surface superconductivity regime, i.e., between the second and third critical fields. We show that, compared to the case of smooth domains, each corner provides an additional contribution of order \( {\mathcal {O}}(1) \) depending on the corner opening angle. The corner energy is in turn obtained from an implicit model problem in an infinite wedge-like domain with fixed magnetic field. We also prove that such an auxiliary problem is well-posed and its ground state energy bounded and, finally, state a conjecture about its explicit dependence on the opening angle of the sector.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The phenomenon of conventional superconductivity (see, e.g., [55] for a review of the physics of superconductors) is nowadays very well understood at the microscopic level thanks to the Bardeen–Cooper–Schrieffer (BCS) theory [8]: a collective behavior of the current carriers in the material is responsible for a sudden drop of the resistivity below a certain critical temperature. It is however astonishing how a phenomenological model as the Ginzburg–Landau (GL) theory [42] is capable of predicting most of the key equilibrium features of the phenomenon, in particular concerning the response of the superconducting material to an external field. When it was introduced in the ‘50s, indeed, the GL model was motivated only from purely phenomenological considerations. Only later it was shown that the GL theory emerges as an effective macroscopic model from the BCS theory suitably close to the critical temperature [37, 40, 43].
The interplay between superconductivity and strong magnetic fields is known to generate a very rich variety of physical phenomena since the pioneering works of Abrikosov [2] and St. James and De Gennes [54] in the late ‘50s/early ‘60s, who predicted the occurrence of the famous vortex lattice and of surface superconductivity, respectively, working only in the framework of the GL theory. In extreme synthesis, the response of a type-II superconducting material to the external magnetic field can vary from a perfect repulsion of the field (Meissner effect), for small fields, to a complete loss of superconductivity, for sufficiently strong ones. In between, several different phases of the material can be observed, ranging from various kinds of vortex states to configurations where the superconduction gets restricted to boundary regions. Each of these phase transitions can be associated with a critical magnetic field marking the threshold for the transition: the three major critical fields are
-
the first critical field, which separate the Meissner behavior, i.e., when the magnetic field inside the material is zero and superconductivity is unaffected, from states where the penetration of the field has occurred at least at isolated points (vortices), where superconductivity is lost;
-
the second critical field, above which the superconducting behavior gets confined at the surface of the sample (surface superconductivity);
-
the third critical field, which marks the complete loss of superconductivity.
Let us now introduce in more detail the GL theory: the free energy of the material is given by a nonlinear functional, which in the case of a superconducting infinite wire of cross section \( \Omega \subset {\mathbb {R}}^2 \) reads in suitable units
where \( \varepsilon , b > 0 \) are two parameters depending on the London penetration depth and the intensity of the applied magnetic field, which is assumed to be parallel to the wire. The function \( \psi \), a.k.a. wave function or order parameter, is complex, while \( \mathbf{A }\) is the induced magnetic potential, whose \( \mathrm {curl}\) yields the intensity of the magnetic field outside and inside the sample (measured in units \( \varepsilon ^{-2} \)). The physical meaning of the order parameter is twofold: \( |\psi |^2 \) yields the relative density of Cooper pairs and, at the same time, the phase of \( \psi \) contains the information about the stationary current flowing in the superconductor, i.e.,
Hence, one typically speaks of a normal state, if \( \psi = 0 \) and \( \mathbf{A }\) is such that \( \mathrm {curl}\mathbf{A }= 1 \), while the perfect superconducting state is identified by \( |\psi | = 1 \), \( \mathbf{A }= 0 \). Whenever \( |\psi | \) is non-vanishing everywhere but not identically 1, the superconductor is said to be in a mixed state. Any equilibrium state of the sample minimizes the free energy (1.1) and thus we set
and denote by \( (\psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \) any minimizing configuration, where
We provide some details about the above minimization and the properties of any minimizing configuration \( (\psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \) in “Appendix B.1”. We also use the following convention: if we need to specify the dependence on the domain \( \Omega \), we write \( {\mathcal {E}}_{\varepsilon }^{\mathrm {GL}}[\psi , \mathbf{A }; \Omega ] \) for the functional and \( E_{\varepsilon }^{\mathrm {GL}}(\Omega ) \) for the corresponding ground state energy.
In the rest of the paper we are going to study the minimization (1.3) in the asymptotic regime
corresponding to an extreme type-II superconductor. Under this idealization, one can identify the mathematical counterparts of the critical values of the external magnetic field described above in terms of properties of the minimizing configuration \( (\psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \) and it is also possible to precisely identify the behavior of such thresholds (see, e.g., [53] for an extensive discussion of the first phase transition). In particular, assuming that \( \Omega \) is a simply connected domain with smooth boundary \( \partial \Omega \), the second critical field associated with the transition from bulk to surface superconductivity is identified with \( b = 1 \) [33, Chpt. 10.6] and thus with a field of intensity
based on sharp estimates (Agmon estimates) of the decay of \( \psi ^{\mathrm {GL}}\) in the distance from the boundary (see “Appendix B.3”); the third critical field marking the transition to the normal state on the other hand corresponds to \( b = \Theta _0^{-1} > 1 \), where \( \Theta _0\simeq 0.59 \) is a universal constant, i.e., more precisely [33, Chpt. 13],
1.1 Setting: domains with corners
In this paper we are exclusively concerned with the behavior of the superconductor for very strong magnetic fields above the second critical one, i.e., we always assume that \( h_{\mathrm {ex}}> H_{\mathrm {c}2}\), or, more concretely,
The main novelty of this paper compared to other works on the GL functional above the second critical field is that we assume that \( \Omega \) is a bounded domain with a Lipschitz boundary, i.e., we allow for the presence of corners on \( \partial \Omega \) (see Fig. 1). Indeed, apart from few physics papers (see [14, 31, 52]), the GL theory on domains with corners has already been studied only in [15, 45, 46, 50], with the focus on the third critical field though, and in [19], whose results are improved in this work.
The main reason why it is interesting to study the behavior of the GL functional in domains with corners for large magnetic fields is that for smaller fields one expects that the presence of corners does not affect the salient features of superconductivity. Indeed, the occurrence of vortices but also their uniform distribution and arrangement in regular lattices, which occur for magnetic fields below \( H_{\mathrm {c}2}\), are bulk phenomena and, as such, little influenced by the boundary regularity. On the opposite, the surface superconductivity regime, where the density of Cooper pairs is non-vanishing only at and close to the boundary, might clearly depend on the presence of singularities along \( \partial \Omega \). It is then important to know if and to what extent corners can modify the boundary behavior, even more so, considered that in physics experiments it is hardly possible to distinguish between a sample with smooth boundary and another which has corners there (see, e.g., [48, Fig. 1]).
We now specify in more detail our assumptions on the domain \( \Omega \). First, we require that it is simply connected and its boundary \( \partial \Omega \) is Lipschitz (see, e.g., [44, Def. 1.4.5.1]) and, more concretely, it is a curvilinear polygon of class \( C^{\infty } \), given by smooth pieces glued together at finitely many points, where however the curvature remains finite (no cusps). These assumptions are the same made, e.g., in [15, 19, 45].
Assumption 1
(Piecewise smooth boundary) Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^2\). We assume that \( \partial \Omega \) is a smooth curvilinear polygon, i.e., for every \( \mathbf{r }\in \partial \Omega \) there exists a neighborhood U of \( \mathbf{r }\) and a map \( {\varvec{\Phi }}: U \rightarrow {\mathbb {R}}^2 \), such that
-
(1)
\( {\varvec{\Phi }}\) is injective;
-
(2)
\( {\varvec{\Phi }}\) together with \( {\varvec{\Phi }}^{-1} \) (defined from \( {\varvec{\Phi }}(U) \)) are smooth;
-
(3)
the region \(\Omega \cap U \) coincides with either \( \left\{ \mathbf{r }\in \Omega \, | \, \left( {\varvec{\Phi }}(\mathbf{r }) \right)_1 < 0 \right\} \) or \( \left\{ \mathbf{r }\in \Omega \, | \, \left( {\varvec{\Phi }}(\mathbf{r }) \right)_2 < 0 \right\} \) or \( \left\{ \mathbf{r }\in \Omega \, | \, \left( {\varvec{\Phi }}(\mathbf{r }) \right)_1< 0, \left( {\varvec{\Phi }}(\mathbf{r }) \right)_2 < 0 \right\} \), where \( \left( {\varvec{\Phi }}\right)_j\) stands for the \( j-\)th component of \( {\varvec{\Phi }}\).
Assumption 2
(Boundary with corners) We assume that the set \( \Sigma : = \left\rbrace \mathbf{r }_1, \ldots , \mathbf{r }_N \right\lbrace \) of corners of \( \partial \Omega \), i.e., the points where the normal \( {\varvec{\nu }}\) does not exist, is non empty but finite and given by N points. We denote by \( \beta _j\) the angle of the \(j-\)th corner (measured towards the interior) and by \( {\mathsf {s}}_j \) its boundary coordinate.
The inward normal \( {\varvec{\nu }}\) to \( \partial \Omega \) is thus defined almost everywhere and jumps at the corners. More precisely, we can find a counterclockwise parametrization \( {\varvec{\gamma }}({\mathsf {s}}): [0, |\partial \Omega |) \rightarrow \partial \Omega \) of \( \partial \Omega \) which is smooth a.e., i.e., for \( s \ne s_j \), \( j = 1, \ldots , N \), \( s_j \) being the curvilinear coordinate of the j-th corner, and such that \( |{\varvec{\gamma }}^{\prime }({\mathsf {s}})| = 1 \). The mean curvature \( {\mathfrak {K}}({\mathsf {s}}) \) is then defined a.e. through the identity
We can then introduce a convenient system of tubular coordinates in a neighborhood of the boundary (see also [33, Appendix F]) far from the corners: for any \( \left({\mathsf {s}}, {\mathsf {t}}\right) \in {\mathcal {A}}_{{\mathsf {t}}_0} \), where
![](http://media.springernature.com/lw396/springer-static/image/art%3A10.1007%2Fs00526-021-02101-7/MediaObjects/526_2021_2101_Equ333_HTML.png)
with \( {\mathsf {t}}_0 \ll 1 \) small enough and c depending only on the corner opening angles, we can set
which identifies a diffeomorphism from \( {\mathcal {A}}_{t_0} \) to the region
satisfying
Therefore, such a map is invertible in the same region and identifies a system of local coordinates \( ({\mathsf {s}}, {\mathsf {t}}) \) there. The parameters \( {\mathsf {s}}, {\mathsf {t}}\) (with the latter defined through (1.11)) are well-posed also closer to the corners but there they do not identify a diffeomorphism and thus a set of coordinates.
1.2 Heuristics
Before entering the discussion of what is mathematically known on the phenomenon of surface superconductivity, we resume here its key features for smooth domains, neglecting errors and remainders: if \( b > 1 \), as \( \varepsilon \rightarrow 0 \),
-
the order parameter \( \psi ^{\mathrm {GL}}\) is non-vanishing only close to \( \partial \Omega \); more precisely it is exponentially small in \( \varepsilon \) at distances from the boundary much larger than \( \varepsilon \);
-
the induced magnetic field \( \mathrm {curl}\mathbf{A }^{\mathrm {GL}}\) is suitably close to the applied one, i.e., a uniform magnetic field of unit strength, and, consequently, one can find a local gauge close to \( \partial \Omega \) in which \( \mathbf{A }^{\mathrm {GL}}\) is purely tangential and \( |\mathbf{A }^{\mathrm {GL}}| = \mathrm {dist}\{\mathbf{r }, \partial \Omega \} \);
-
the modulus of \( \psi ^{\mathrm {GL}}\) is essentially independent of the tangential coordinate \( {\mathsf {s}}\) and therefore optimizes an effective one-dimensional problem where the only variable is the distance from the boundary;
-
the phase of \( \psi ^{\mathrm {GL}}\) is on the other hand constant in \( {\mathsf {t}}\) and linear in \( {\mathsf {s}}\), with rapid oscillations, or, more precisely, the current (1.2) is constant along \( {\mathsf {s}}\).
Summing up, we expect that \( \mathbf{A }^{\mathrm {GL}}\) can be locally replaced by \( - {\mathsf {t}}\mathbf{e }_{{\mathsf {s}}} \) close to \( \partial \Omega \) and
for some f positive and \( \alpha \in {\mathbb {R}}\), which leads to
\( \phi _{\varepsilon } \) standing for the gauge transformation mentioned above. Note the scaling factors \( 1/\varepsilon \) we have extracted for later convenience, so that f and \( \alpha \) are quantities of order \( {\mathcal {O}}(1) \).
If we plug the ansatz (1.13) into the GL energy (1.1), we get
i.e., up to the prefactor \( |\partial \Omega |{/\varepsilon } \), a one-dimensional (1D) energy functional evaluated on f and depending on the real parameter \( \alpha \). The value \( \ell _{\varepsilon }> 0 \) is to some extent arbitrary and is chosen much larger than 1 in order to cover all the superconducting layer: we make the following explicit choice
for a large constant \( c_1 \). The minimization of the 1D functional above and some variants of it w.r.t. both f and \( \alpha \) is discussed in “Appendix A”. This identifies the leading term contribution in the GL energy asymptotics \( E^{\mathrm {1D}}_{\star }/\varepsilon \), the optimal 1D profile \( f_{\star }(t) \) and the optimal phase \( \alpha _{\star }\).
The next-to-leading order term in the GL energy asymptotics is of order \( {\mathcal {O}}(1) \) and depends on the mean curvature of the boundary: one can indeed refine the 1D model problem (1.14) keeping track of \( {\mathcal {O}}(\varepsilon ) \) contributions coming from the curvature-dependent terms due to the change of coordinates \( \mathbf{r }\rightarrow ({\mathsf {s}}, {\mathsf {t}}) \). Indeed, if we define the rescaled tubular coordinates as
we get \( \mathrm {d}\mathbf{r }= \mathrm {d}{\mathsf {t}}\mathrm {d}{\mathsf {s}}\left(1 - {\mathfrak {K}}({\mathsf {s}}){\mathsf {t}}\right) \), or, equivalently,
where we have set
1.3 Summary
In this paper we continue the analysis started with [19]. The expansion (2.10) provides indeed only the leading order term in the energy asymptotics and does not capture the corner effects, that we are going to investigate. More precisely, we prove that the presence of corners modifies the \( {\mathcal {O}}(1) \) term in the expansion (2.2). We also identify the model problem which yields such a new contribution in terms of a genuine 2D model. Finally, we prove that the pointwise estimate of \( |\psi ^{\mathrm {GL}}| \) in terms of \( f_{\star }\) still holds far from the corners, precisely as in the smooth case.
After having introduced some notation in § 1.4, we define in § 2 the effective model in the corner region and state our main results about the GL energy asymptotics and the pointwise estimate of the order parameter far from corners. Further comments about the effective model and a conjecture about the possible explicit expression of the effective energy are contained in § 2.3. The well-posedness of the effective model problem is proven in detail in § 3, whereas in § 4 and § 5 we provide the energy lower bound and the rest of the arguments needed to complete the proof of our main results, respectively. The Appendix is divided in three parts: in “Appendix A” we discuss the effective 1D problems and their related properties; the GL minimization and some useful technical estimates are treated in “Appendix B”; finally, “Appendix C” recalls the salient steps of the proof of the energy asymptotics in domains with smooth boundaries, which are used to complete the proof of energy expansion.
1.4 Notation
Given their key role in the rest of the paper, we recall the definitions (1.10) and (1.16) of tubular coordinates \( ({\mathsf {s}}, {\mathsf {t}}) \) and their rescaled counterparts (s, t) . We stress that \( ({\mathsf {s}}, {\mathsf {t}}) \) or, equivalently, (s, t) provide a smooth diffeomorphism, e.g., in
where \( \Sigma \) is the set of corner positions and
for \( \varepsilon \ll 1 \), where (see (1.15))
and \( c_1 \) is large enough constant, which is set once for all (see next (2.24)). Given a differentiable function \( \psi (\mathbf{r }) \) and a vector \( \mathbf{A }(\mathbf{r }) \), the transformations induced by the change of coordinates \( \mathbf{r }\rightarrow ({\mathsf {s}}, {\mathsf {t}}) \) are
where we have set \( {{\widetilde{\psi }}}({\mathsf {s}},{\mathsf {t}}) : = \psi (\mathbf{r }({\mathsf {s}},{\mathsf {t}})) \) and
for short. As a consequence, for any vector \( \mathbf{A }\),
We are going to make use of Landau symbols, with the following convention: given two functions f(x), g(x) , with \( g > 0 \),
-
\( f = {\mathcal {O}}(g) \), if \( \displaystyle \lim _{x \rightarrow 0^+} |f|/g \leqslant C \);
-
\( f = o(g) \), if \( \displaystyle \lim _{x \rightarrow 0^+} |f|/g = 0 \);
-
\( f \sim g \), if \( f = {\mathcal {O}}(g) \) and \( \displaystyle \lim _{x \rightarrow 0^+} |f|/g > 0 \);
-
for \( f > 0 \), \( f \ll g \) or \( f \gg g \), if \( f = o(g) \) or \( g = o(f) \), respectively;
-
for \( f > 0 \), \( f \lesssim g \) or \( f > rsim g \), if \( f = {\mathcal {O}}(g) \) or \( g = {\mathcal {O}}(f) \), respectively.
We also commit a little abuse of the notation by using the symbols \( {\mathcal {O}}( \, ) \) and \( o( \, ) \) inside an inequality to mean a precise direction of the estimate. As usual, \( {\mathcal {O}}( \, ) \) and \( o( \, ) \) stand for quantities whose sign is not known. In case of functions of two or more variables, we point out the parameter, whose asymptotics we are considering, by adding a label, e.g., \( o_x(\,) \) or \( {\mathcal {O}}_x( \, ) \) is meant to stress that we are estimating the behavior of the function as \( x \rightarrow 0^+ \). Finally, we say that a quantity is \( {\mathcal {O}}(\varepsilon ^{\infty }) \), as \( \varepsilon \rightarrow 0^+ \), if it is smaller than any power of \( \varepsilon \), i.e., it is exponentially small in \( \varepsilon \). We will also use the following convention: \( {\mathcal {O}}(\varepsilon ^a |\log \varepsilon | ^{\infty }) \), \( a > 0 \), stands for a quantity which is bounded by \( \varepsilon ^a |\log \varepsilon |^b \) for some large but finite power \( b > 0 \), which is however not relevant since the \( |\log \varepsilon |\)-factor is always dominated by \( \varepsilon \)-powers.
2 Main results
2.1 State of the art
We briefly review here the most recent and relevant results on surface superconductivity, which are related to the analysis carried on in this paper (see [16] for a more detailed review). After the series of works [17, 23,24,25], following [49], where the problem was first investigated, and [4, 34], the phenomenon of 2D surface superconductivity in domains with smooth boundaries is well understood: combining [23, Thm. 1] with [24, Lemma 2.1] (see also [17]), one gets that, whenever
the GL energy asymptotics is given by
where
and
\( \alpha _{\star }, f_{\star }\) being a pair of minimizers of (2.3) (see “Appendix A.1”). Note that (2.2) can also be rewritten as
with a more precise remainder term and where \( E^{\mathrm {1D}}_k \) is defined in (A.6) in “Appendix A.2”. Expanding further \( E ^{\mathrm{1D}}_{k}\), the next-to-leading order correction in (2.2) can be shown to be
by the Gauss–Bonnet theorem, because \( \Omega \) is flat and the Euler characteristic is equal to 1. Moreover, in [17] the quantity \( E_{\mathrm {corr}}\) is numerically evaluated and it is shown that it is positive, which has some important consequences on the distribution of superconductivity near the boundary: regions with larger curvature attract Cooper pairs, which concentrate more there (to first order), although to leading order superconductivity is uniform at the boundary.
Indeed, a consequence of (2.3) is that [23, Thm. 1] the density \( |\psi ^{\mathrm {GL}}|^2 \) is \( L^2\)-close to the reference density \( f_{\star }\). Such an estimate can in fact be strengthened in two directions:
-
in [23, Thm. 2] it is proven that there exists a boundary layer \( {\mathcal {A}}_{\mathrm {bl}} \subset \left\rbrace \mathbf{r }| \mathrm {dist}(\mathbf{r }, \partial \Omega ) \leqslant \varepsilon |\log \varepsilon | \right\lbrace \), containing the bulk of superconductivity, where Pan’s conjecture holds true, i.e.,
$$\begin{aligned} \left\Vert \left| \psi ^{\mathrm {GL}}(\, \cdot \,) \right| - f_{\star }(\mathrm {dist}(\, \cdot \,,\partial \Omega )/\varepsilon ) \right\Vert_{L^{\infty }({\mathcal {A}}_{\mathrm {bl}})} = o(1); \end{aligned}$$(2.6) -
the approximation of \( |\psi ^{\mathrm {GL}}| \) in terms of \( f_{\star }\) holds also locally [24, Thm 1.1] and one can explicitly derive the asymptotics of the density of superconductivity (in fact, the \( L^4 \) norm of \( \psi ^{\mathrm {GL}}\)) in any reasonable subdomain contained in \( \Omega \).
It is expected that a regime of surface superconductivity with similar features occurs also for genuine 3D samples but so far only partial results are available [38, 39]. In particular, in [38, Thm 1.1] (see also [36]) it is shown that such a regime does exist and the leading order term in the energy asymptotics can be identified, although in terms of a rather implicit effective problem. In [39, Thm. 1.5] it is then proven that, when the magnetic field is parallel to the 3D boundary, the effective model is still given by the 1D functional (2.3) above.
One of the major differences for samples with non-smooth boundary is that one expects [15, 45,46,47, 50] a shift of the third critical field, provided there is at least one corner with acute opening angle \( 0< \beta < \pi \): more precisely, the transition to the normal state should occur [15, Thm. 1.4] for applied fields larger than
where
is the ground state energy of a Schrödinger operator with uniform magnetic field in an infinite sector \( W_{\beta } \) of angle \( \beta \). The above result is however conditioned to the inequality \( \mu (\beta ) < \Theta _0\) (see also [51, Chpt. 8.2] and references therein), which is known to be true for \( 0< \beta < \pi /2 + \epsilon \) [11, 30, 46] but is expected to hold in the whole interval \( \beta \in (0, \pi ) \), based on numerical simulations (see, e.g., [11, 12, 30]).
As the applied field gets closer to (2.7) from below, the order parameter concentrates around the corner of smallest opening angle and becomes smaller and smaller everywhere else. Hence, one can speak of a corner superconductivity regime occurring before the transition to the normal state. On the other hand, in [19], we proved that, if \( 1< b < \Theta _0\), superconductivity is still uniform along the boundary (although only in \( L^2 \) sense), leading to the conjectured existence of another critical field
which marks the transition from surface to corner concentration. Indeed, if \( 1< b < \Theta _0\), then [19, Thm 1.1]
and, more importantly,
which implies, to leading order, uniform distribution of superconductivity along the boundary layer.
The result of [15] has also been recently improved in [45], where the presence of several corners is taken into account and shown that, under the same unproven assumption, one can identify several critical fields associated to the concentration of the order parameter close to the respective corner. We also stress that, as noted in [7, Rmk. 1.9] (see also [5, 6]), the behavior of superconductivity in presence of corners is expected to be recovered in the case of magnetic steps, i.e., for applied magnetic fields with a jump singularity along a curve.
2.2 GL energy and density asymptotics
Before stating our main results, we have to define the effective problem near the corners. Here we only provide a sketchy definition and in the next § 2.3 we comment further about its well-posedness and heuristic meaning. The model problem is given by first minimizing the GL functional with given magnetic potential and unit magnetic field in large wedge-like domain (see Fig. 2), and then subtracting the surface energy of the outer boundary of the wedge. The wedge domain is supposed to describe the rectified and rescaled area close to each corner, where the only relevant parameter is the opening angle \( \beta _j \).
We thus define the corner energy as
where \( E ^{\mathrm{1D}}_{0}(\ell ) \) is a 1D effective energy analogous to (2.3), which is explicitly given by (see “Appendix A.3” for further details)
with
and we denote by \( \alpha _0 \in {\mathbb {R}}\), \( f_{0}\in H^1([0,\ell ]) \) a corresponding minimizing pair, i.e., \( E ^{\mathrm{1D}}_{0}(\ell ) = {\mathcal {E}}^{\mathrm {1D}}_{0, \alpha _0}[f_{0}] \). The minimization domain is
where the boundaries are identified in Fig. 2 by the segments \( \partial \Gamma _{\mathrm {bd}}= {\overline{AC}} \cup {\overline{EB}} \) and \( \partial \Gamma _{\mathrm {in}}= {\overline{CD}} \cup {\overline{DE}} \) and
Here, we have denoted by (s, t) a set of tubular coordinates similar to (1.10), yielding a smooth parametrization of \( \Gamma _{\beta }(L,\ell )\cap \left\rbrace \mathrm {dist}(\mathbf{r }, V) \geqslant c \ell \right\lbrace \). Any function in \( {\mathscr {D}}_{\star }(\Gamma _{\beta }(L,\ell )) \) has thus to satisfy Dirichlet non-zero boundary conditions on \( \partial \Gamma _{\mathrm {in}}\) and \( \partial \Gamma _{\mathrm {bd}}\) in trace sense, whose role is going to be explained in next § 2.3. Finally, the magnetic potential \( \mathbf{F }\) is fixed and equals
in a coordinate system chosenFootnote 1 as in Fig. 3. We also point out that the existence of the limit in (2.12) is not trivial at all and, in fact, it will be the main content of Proposition 2.2. Furthermore, the GL functional in the second term on the r.h.s. of (2.12) is independent of \( \varepsilon \), but still contains the parameter \( b \in (1, \Theta _0^{-1}) \).
The main result we prove in this paper is about the GL energy asymptotics as \( \varepsilon \rightarrow 0 \), i.e., we derive the expansion of \( E_{\varepsilon }^{\mathrm {GL}}\) up to correction of order o(1) . Compared with the case of domains with smooth boundary, some new terms of order \( {\mathcal {O}}(1) \) appear: each corner indeed contributes to the energy by \( E_{\mathrm {corner}, \beta _j} \), \( \beta _j \) being the corresponding opening angle.
Theorem 2.1
(GL energy asymptotics) Let \(\Omega \subset {\mathbb {R}}^2\) be any bounded simply connected domain satisfying Assumptions 1 and 2. Then, for any fixed
as \(\varepsilon \rightarrow 0\), it holds
Remark 2.1
(Critical field \( H_{\mathrm {c}2}\)) In smooth domains the regime of surface superconductivity corresponds to the parameter interval \( 1< b < \Theta _0^{-1} \), namely the second critical field is \( b = 1 \), while the third one is precisely \( b= \Theta _0^{-1} \). This is motivated by the results in [24, 25] in combination with [32, 35], where it is proven that, for \( b < 1 \), there is still superconductivity in the bulk, while, for \( b > \Theta _0^{-1} \), the normal state is a global minimizer of the GL functional, respectively. The condition \( b > 1 \) is expected to be sharp also for domains with corners and, consequently, we expect that the second critical field is given by
The value \( 1/\varepsilon ^2 \) can actually be taken as a definition of the second critical field, but, as for smooth domains, it would be necessary to show that, for \( b \leqslant 1 \), there is still superconductivity in the bulk. This has not yet been proven in case of samples with corners, but, based on the results proven in [35], it is highly expected.
Remark 2.2
(Critical field \( H_{\mathrm {corner}}\)) The result proven in Theorem 2.1 substantiates even more than [19] the conjecture about the appearance of an additional critical field
when corners are present along the sample boundary. Indeed, combining (2.19) and, more importantly, next Proposition 2.1, with [15, Thm. 1.6] (see also [45, Thm. 1.2]), which states the exponential decay of \( \psi ^{\mathrm {GL}}\) in the distance from \( \Sigma \) (still, based on the unproved conjecture on the linear model), one concludes that superconductivity is uniform along the boundary layer until the threshold \( b = \Theta _0^{-1} \) is crossed and, then, concentrates close to the corners with smallest opening angles. More precisely, assuming that all the angles \( \beta _j \) are acute and different, one can identify [45, Rmk. 1.4] a sequence of N critical fields
with
so that, in between \( H_{\mathrm {corner},j-1} \) and \( H_{\mathrm {corner},j} \), the material is superconducting only close to the \( j-\)th corner \( \mathbf{r }_j \). Let us stress that all these results are conditioned by the request \( \mu (\beta _j) < \Theta _0\) for all the corners, which is expected to hold true (but not proven) for any acute angle \( 0< \beta _j < \pi \).
Once the energy asymptotics is obtained, it is natural to ask whether one can extract information about the behavior of the order parameter, which would then give access to the physically relevant quantities, as the density of Cooper pairs. As already proven in [19, Thm. 1.1], the distribution of superconductivity along the boundary layer is uniform to leading order (see (2.11)). Note that such an estimate goes along with the exponential decay proven in (B.16), which implies that \( \psi ^{\mathrm {GL}}= o(1)\) at distance much larger than \( \varepsilon \) from the boundary \( \partial \Omega \): we can indeed restrict out attention to the boundary layer \( {\mathcal {A}}_{\varepsilon }\) defined in (1.19), since
and by taking \( c_1 \) large, the above quantity can be made arbitrarily small. We thus denote it as \( {\mathcal {O}}(\varepsilon ^{\infty }) \), to stress that it is an arbitrarily large power of \( \varepsilon \).
Remark 2.3
(Refined \( L^2 \) estimate)
An almost direct consequence of the energy asymptotics (2.19) is an improvement of the bound (2.11): setting
for some large enough constant \( c_2 > 0 \), one has
The estimates (2.11) or (2.26) do not exclude however the presence of vortices or region with very little superconductivity left close to the boundary and, therefore, one would like to prove a bound in a stronger norm, e.g., in \( L^{\infty } \), which is stated in the next Proposition 2.1.
Proposition 2.1
(GL order parameter) Under the same assumptions of Theorem 2.1,
Remark 2.4
(Uniform distribution of superconductivity) The estimate (2.27) can in fact be extended to the boundary layer of points \( \mathbf{r }\) such that \( \mathrm {dist}(\mathbf{r }, \partial \Omega _{\mathrm {smooth}}) \leqslant \varepsilon \sqrt{|\log \varepsilon |} \), in the very same way as the analogous result in [23, Thm. 2]. An important consequence is the uniformity of superconductivity in \( {\mathcal {A}}_{\varepsilon }\), where one has
not only in weak sense, as proven in [19], but also pointwise. Strictly speaking, the corner regions are excluded, but, on the one hand, their overall area is \( {\mathcal {O}}( N \varepsilon ^2 |\log \varepsilon |^2) \), i.e., much smaller than \( |{\mathcal {A}}_{\varepsilon }| \), and, on the other, we do expect the minimizer of the corner problem to be close to \( f_{\star }\) almost everywhere but very close to the corner. An interested reader might wonder whether it is possible to show that \( \psi ^{\mathrm {GL}}\) is close to such an effective minimizer in the corner region, but this presumably requires to get some more information about the effective problem (2.12) as well as extract a more precise estimate of the remainders in (2.19).
Remark 2.5
(Current along \( \partial \Omega \)) An important consequence of (2.6) in smooth domains is the non-vanishing of \( \psi ^{\mathrm {GL}}\) close to the boundary, because of the strict positivity of \( f_{\star }\), and thus surface superconductivity is robust w.r.t. the inclusion of the applied magnetic field. In addition, this allows to estimate the current (1.2) along the boundary or, equivalently, the total winding number of \( \psi ^{\mathrm {GL}}\) on \( \partial \Omega \) [23, Thm. 3]:
Such a behavior is similar (although physically different) to the ultrafast rotation regime for angular velocities larger than the third critical one of rotating Bose-Einstein condensates, when vortices are expelled from the boundary region [18, 27] (see also [21, 22, 28] for further results on rotating condensates). In presence of corners, (2.27) guarantees the non-vanishing of \( \psi ^{\mathrm {GL}}\) only far from the corners and prevents us to estimate the current on \( \partial \Omega \). Indeed, the pointwise estimate of the gradient (B.13) allows a variation of order 1 of \( \psi ^{\mathrm {GL}}\) on a scale \( \varepsilon \), which is much smaller than the tangential length of the corner region, thus implying that \( \psi ^{\mathrm {GL}}\) may a priori vanish there.
2.3 Corner effective energy
We now give more details about the corner effective problem. Let us start by identifying more precisely the corner region depicted in Fig. 2. It is meant as a suitable stretching and rescaling (on a scale \( \varepsilon \)) of a local area around any corner of \( \Omega \) of tangential and normal lengths both of order \( \varepsilon |\log \varepsilon | \), as \( \varepsilon \rightarrow 0 \). For later convenience, however, we consider a region where the tangential length L along the angle is different from the normal length \( \ell \). Let then \( \Gamma _{\beta }(L,\ell )\) be a triangle-like region as in Fig. 2, where \( \beta \) is the opening angle at the vertex V and side lengths \( L, \ell > 0 \). In order to reproduce the shape of Fig. 2, we always assume that
We recall the definition of the boundaries \( \partial \Gamma _{\mathrm {in}}, \partial \Gamma _{\mathrm {bd}}\) provided in § 2 and denote by \( \partial \Gamma _{\mathrm {out}}\) the outer boundary \( {\overline{AVB}} \), so that \( \partial \Gamma _{\beta }(L,\ell )= \partial \Gamma _{\mathrm {out}}\cup \partial \Gamma _{\mathrm {in}}\cup \partial \Gamma _{\mathrm {bd}}\).
The effective energy in the corner region is given by a suitably rescaled GL energy with fixed magnetic potential (2.17). The effective variational model is then
where \( {\mathscr {D}}_{\star }(\Gamma _{\beta }(L,\ell )) \) is defined in (2.15). The heuristics behind the choice (2.31) is that in the surface superconductivity regime each portion of the boundary of the sample yields a (leading order) energy contribution proportional to \( E^{\mathrm {1D}}_{\star }\) times its length, which equals \( E^{\mathrm {1D}}_{\star }|\partial \Gamma _{\mathrm {out}}| = 2 L E^{\mathrm {1D}}_{\star }\) in the case of \( \Gamma _{\beta }(L,\ell )\). Indeed, the boundaries \( \partial \Gamma _{\mathrm {in}}\) and \( \partial \Gamma _{\mathrm {bd}}\) are not expected to give any energy contribution. More precisely, \( \partial \Gamma _{\mathrm {in}}\) is immersed in the bulk, where the order parameter is exponentially small in \( \ell \) and it could have been removed from the outset by consider a solid wedge; similarly, \( \partial \Gamma _{\mathrm {bd}}\) is a fictitious boundary, whose role is to separate the corner region from the rest. Mathematically, the non-zero Dirichlet conditions on \( \partial \Gamma _{\mathrm {in}}\) and \( \partial \Gamma _{\mathrm {bd}}\) in the minimization domain \( {\mathscr {D}}_{\star }\) guarantee that those portions of the boundary do not contribute to surface superconductivity.
Once the boundary energy \( 2 L E^{\mathrm {1D}}_{\star }\) has been subtracted, what remains is precisely the additional energy due to the presence of the corner. Such an energy is indeed of purely geometric nature and is generated by the constraint on the boundary \( \partial \Gamma _{\mathrm {out}}\): in order to reproduce the correct energy along \( \partial \Gamma _{\mathrm {out}}\), the minimizer must behave like the model order parameter \( f_{\star }(t) e^{-i \alpha _{\star }s} \) in a layer of width \( {\mathcal {O}}(1) \) around \( \partial \Gamma _{\mathrm {out}}\), but the coordinate s has a jump on the bisectrix of the domain and thus such a behavior is allowed only close far from the corner. The modulus of the minimizer \( f_{\star }(t) \) is in fact well defined and continuous everywhere, since it depends on the normal coordinate which is continuous as well. Hence, in order to glue together the two model profiles, any minimizer must accommodate a non-trivial phase factor, which must be genuinely 2D, because no 1D function can adjust the jump of \( - i \alpha _{\star }s \) along the bisectrix. Unfortunately, the explicit expression of such a phase remains unknown, expect in certain specific cases (for almost flat angles, see [20]).
The GL energy functional appearing in (2.31) is gauge invariant but we have chosen to work in a prescribed local gauge, i.e., we have made an explicit choice of the vector potential \( \mathbf{F }\), generating a unit magnetic field. In this respect the GL energy in (2.31) is similar to the effective functional studied in [15, Eq. (1.11)], although both the parameter regime and the domain are slightly different. Such a difference reflects indeed the different behavior of the minimizer: in the present setting it decays in the distance from the outer boundary, whereas in [15], the decay is in the distance from the corner.
Recalling that L and \( \ell \) are obtained via a rescaling from the tangential and normal length of the corner region and thus, in the original problem in \( \Omega \), are actually of order \( |\log \varepsilon | \gg 1 \), we have to study the limit \( L, \ell \rightarrow + \infty \) of (2.31).
Proposition 2.2
(Corner energy) Let \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) be two monotone sequences with \( \ell _n, L_n \rightarrow + \infty \), as \( n \rightarrow + \infty \), and \( \beta \in (0, 2\pi ) \), such that \( 1 \ll \ell _n \leqslant \tan \left( \beta /2 \right) \, L_n \leqslant C \ell _n^{a} \) for some \( a > 0 \). Then, for any \( 1< b < \Theta _0^{-1} \), the limit
exists, it is finite and independent of the chosen sequences.
As stated in Proposition 2.2 (see also Proposition 3.4), the corner energy \( E_{\mathrm {corner},\beta }\) is bounded for any \( \beta \in (0,2\pi ) \), although we have no information on its sign. In fact, it might as well be zero. In a companion paper [20] however we prove that, when \( \beta \) is close to \( \pi \), this is not the case (see also below).
Once the well-posedness of the model problem has been proven, it is then natural to ask whether one can derive the explicit dependence of \( E_{\mathrm {corner},\beta }\) on the angle \( \beta \). So far we have not found such an expression but, based on some heuristic arguments, we formulate below an unproven conjecture, which is inspired again by the Gauss–Bonnet theorem. Indeed, the first order correction to the GL energy asymptotics in smooth domains reads equivalently
In presence of corner singularities on \( \partial \Omega \), the Gauss–Bonnet theorem has to be modified to take into account the corners: the only correction is that the integral of the curvature must now be performed over the smooth part of \( \partial \Omega \) and each corner yields a contribution proportional to its opening angle
Therefore, one can think of the above identity as if each corner contributes to the mean curvature with a Dirac mass multiplied by \( \pi - \beta _j \) and the integral is meant in distributional sense, i.e., formally replacing the curvature \( {\mathfrak {K}}({\mathsf {s}}) \) with
which, if substituted on the r.h.s. of (2.33), yields
After a direct comparison with the asymptotics proven in Theorem 2.1, i.e.,
it is then very natural to state the conjecture below. Note that, if true, the conjecture would imply that the next-to-leading order term in the GL energy expansion would always be given by \( - 2\pi E_{\mathrm {corr}} \), irrespective of the presence of corners.
Conjecture 1
(Corner energy) For any \( 1< b < \Theta _0^{-1} \) and \( \beta \in (0,2\pi ) \), one has
Remark 2.6
(Acute/obtuse angles) In the linear case, i.e., for a magnetic Schrödinger operator with uniform magnetic field in an infinite wedge, it is expected [15, Rmk. 1.1] and numerically verified [1, 13] that the ground state energy changes for acute or obtuse angles: for the former it is a strictly increasing function of the angle, which equals \( \Theta _0\) for flat angles, while it is believed to remain constantly equal to \( \Theta _0\) for any obtuse angle. On the opposite, in the nonlinear case, the above Conjecture would provide the same expression for acute and obtuse angles.
As already anticipated, we prove in [20] that in a wedge with opening angle \( \pi - \delta \), \( 0 < \delta \ll 1 \), the corner energy is given by
i.e., it coincides to leading order in \( \delta \) with the conjectured expression. Furthermore, this also shows that the corner energy \( E_{\mathrm {corner},\beta }\) is non-trivial, at least for angles close to the flat one.
3 Corner effective problems
This section is mainly devoted to the proof of Proposition 2.2, i.e., the existence of the limit defining the effective energy contribution of each corner, and the discussion of the properties of such a limit. For later convenience, we also study another minimization problem in \( \Gamma _{\beta }\) with different boundary conditions and show that it asymptotically provides the same effective energy (Proposition 3.5).
3.1 Surface superconductivity in a finite strip
We start by studying a simple minimization problem in a finite strip. Similar problems have already been studied in [4, 23, 49], taking into account the limit of an infinite strip. Here, instead, the focus is more on boundary conditions and their effect on the ground state energy. We are going to apply the corresponding obtained results to the minimization in (2.12) to derive Proposition 3.5.
After a local gauge transformation and blow-up on a scale \( \varepsilon \), the leading contribution to the GL energy of a portion of the boundary layer of \( \Omega \) of tangential length \( \varepsilon L \) and normal length \( \varepsilon \ell \), suitably far from any corner, is (see, e.g., [23, Lemmas 2 & 4])
where \( L,\ell > 0 \), \( b \in (1, \Theta _0^{-1}) \) and \(R(L,\ell )\) stands for the rectangle
We study two simple minimization problems associated to the energy (3.1). First, we set
and denote by \( \psi _{\mathrm {D}}\) any corresponding minimizer. The minimization domain is given by
where the boundary conditions are meant in trace \( H^{1/2}\)-sense and we recall that \( f_{0}, \alpha _0 \) is a minimizing pair (see also “Appendix A.2”) of (2.13). The label \( \mathrm {D} \) stands for the Dirichlet-type conditions at \( s = 0 \) and \( s = L \). The heuristic meaning of such conditions is the following:
-
on the boundary between the surface and the bulk region, i.e., for \( t = \ell \), the order parameter is exponentially small and the same holds true for \( f_{0}(\ell ) \), so the contribution of the boundary conditions there is expected to be negligible; for this reason we could as well have set \( \psi = 0 \) at \( t = \ell \), but this would make the analysis more complicated;
-
at the normal boundaries \( s = 0 \) or \( s = L \), the order parameter is set equal to the ideal minimizer (see § 1.2);
-
no condition is set on the boundary \( t = 0 \), which is meant to coincide with a blow-up of a portion of \( \partial \Omega \): this is crucial to capture the key features of surface superconductivity and leads to Neumann conditions along the line \( t = 0 \).
By setting \( \psi : = \chi + f_0(t) e^{-i\alpha _0s} \), one can reduce the variational problem (3.3) to the minimization of a functional of \( \chi \) with zero Dirichlet conditions on the boundaries \( s = 0, L \) and \( t = \ell \). This easily allows to deduce (see, e.g., [41, Chapt. 4]) the existence of a minimizer, its smoothness and the fact that any minimizer solves
The alternative version of (3.4) is provided by a modification of the energy: we define
where \( F_{0}\) is the potential function (see also “Appendix A.3”)
and \( j_t \) is the normal component of the current \( \mathbf{j }[\psi ] \) given in (1.2), i.e., \( j_t[\psi ] = \frac{i}{2} \left( \psi \partial _t \psi ^* - \psi ^* \partial _t \psi \right)\). The boundary terms appearing in (3.6) are non-trivial only if the phase of \( \psi \) varies along the normal to the boundary, which is obviously not the case for the reference function \( f_{0}(t) e^{- i\alpha _0 s} \). The reason why such terms have been added to the energy will become clear later (see the proof of Proposition 3.1 and in particular (3.22)). The minimization of (3.6) is performed on a domain without constraints on the boundaries \( s = 0 \) and \( s = L \), i.e., we set
where
and we denote by \( \psi _{\mathrm {N}}\) any corresponding minimizer, which enjoys the same properties as \( \psi _{\mathrm {D}}\), except for conditions of magnetic Neumann-type at \( s = 0 \) and \( s = L\), i.e.,
The surface superconductivity behavior occurs for \( 1< b < \Theta _0^{-1} \) and is characterized by the emergence of the 1D effective model (2.13) or, equivalently, (2.3).
Proposition 3.1
(GL energies on a finite strip) For any \( 1< b < \Theta _0^{-1} \) and \( L > 0 \), as \( \ell \rightarrow \infty \),
Remark 3.1
(Boundary conditions) The boundary condition \( \psi _{\mathrm {N}}(s,\ell ) = f_0(\ell ) e^{-i\alpha _0 s} \) is needed for the asymptotics (3.11) to hold true. The reason is that otherwise one would get an additional energy contribution from the boundary \( t = \ell \), i.e., the energy would be twice the value appearing in (3.11). Indeed, without the condition at \( t = \ell \), exploiting the gauge invariance of (3.1) and replacing \( \psi , - t \mathbf{e }_s \) with \( \psi ^* e^{i \ell s}, -(\ell - t) \mathbf{e }_s \), one can exchange the boundaries \( t = 0 \) and \( t = \ell \), leaving the energy unaffected.
Proof
We first observe that the last estimate is in fact stated in Lemma A.2 in “Appendix A.3”. The rest of the statement is actually proven by showing separately that the first estimate holds true for both \( E_{\mathrm {D}}\) and \( E_{\mathrm {N}}\).
Let us first consider \( E_{\mathrm {D}}(R(L,\ell )) \). For the upper bound, we test \( {\mathcal {G}}\) on the trial state \( f_{0}(t) e^{-i \alpha _0 s} \), which immediately yields \( E_{\mathrm {D}}(R(L,\ell )) \leqslant L E ^{\mathrm{1D}}_{0}(\ell ) \). For the corresponding lower bound we use the same energy splitting used, e.g., in [24], i.e., we set
which, via an integration by parts and the variational equation (A.7), leads to
where
and \( j_s[\psi ] \) is the tangential component of (1.2), i.e., explicitly \( j_s[\psi ] = \textstyle \frac{i}{2} \left( \psi \partial _s \psi ^* - \psi ^* \partial _s \psi \right) \). We stress that the decoupling does not generate any boundary term because \(f_{0}^{\prime } \) vanishes both at \( t = 0 \) and \( t = \ell \) by (A.17): the only non-trivial computation is the following integration by parts
where \( f_0^{\prime \prime } \) can then be replaced via the variational Eq. (A.7).
The key ingredient to bound from below \( {\mathcal {E}}_0[u] \) is the pointwise positivity of the cost function (see (A.21) and (A.22) in “Appendix A.3”)
in \( I_{{\bar{\ell }}} = [0,{{\bar{\ell }}}] \) given by (A.23) (recall that \( {\bar{\ell }} = \ell + {\mathcal {O}}(1) \) by (A.24)). Indeed, we integrate by parts twice:
where the boundary terms of the first integration by parts vanish, because \( F_{0}(0) = F_{0}(\ell ) = 0 \), and the last terms vanish as well, since, due to boundary conditions, \( u(0,t) = u(L,t) = 1 \) and thus \( j_t[u] = 0 \) there.
Using (A.25) and the simple bound \( 2 |\mathrm {Im}(a b) | \leqslant |a|^2 + |b|^2 \), one then obtains as in [23, Eq. (4.38)] (see also [23, Sect. 2.3 & Proof of Prop. 4.2])
by (A.22) and the positivity of the last term on the r.h.s. of the first line. It thus remains to estimate the quantity on the r.h.s. of (3.17) above, which can be done by integrating by parts back:
Now, exploiting (A.11) and the fact that \( {{\bar{\ell }}} = \ell + {\mathcal {O}}(1) \), we deduce that
Hence, \( \left| \nabla \psi _{\mathrm {D}}\right| = f_0 \left| \nabla u \right| + {\mathcal {O}}(\ell ^{-\infty })\) in \( I_{\ell }\setminus I_{{\bar{\ell }}}\). Now, since \( F_0(\ell ) = 0 \), \( F_0({{\bar{\ell }}}) \leqslant C \ell f^2_0({{\bar{\ell }}}) \), we can bound the boundary term (last term in (3.18)) by
thanks to (B.38) and the bound \( \left\Vert \nabla \psi _{\mathrm {D}}\right\Vert_{\infty } \leqslant C \) on the gradient of \( \psi _{\mathrm {D}}\) (see (B.13)). For the same reason, the first term on the r.h.s. of (3.18) can be bounded from below via Cauchy inequality and (B.17) by
which finally yields,
and thus the statement.
The proof for the modified functional (3.6) is very similar. The upper bound is obtained by evaluating the energy on the trial state \( f_0(t) e^{-i\alpha _0 s} \): notice that the phase of such a function is independent of t, then the normal component \( j_t \) of its current is identically zero and therefore the boundary terms in \( {\widetilde{{\mathcal {G}}}} \) do not yield any additional contribution. The final outcome is the very same bound \( E_{\mathrm {N}}(R(L,\ell )) \leqslant L E ^{\mathrm{1D}}_{0}(\ell ) \) as before.
One can then apply the splitting technique, setting (for a different u than before)
to get the identity \( E_{\mathrm {N}}(R(L,\ell )) = L E ^{\mathrm{1D}}_{0}+ {\widetilde{{\mathcal {E}}}}_0[u;R(L,\ell )] \), where
The proof of the lower bound is then completely analogous to the one above: the only nontrivial observation is that the first integration by parts in (3.16) generates the same outcome, because of the vanishing of \( F_0 \) at the boundaries, and the last terms in (3.16) are exactly compensated by the boundary terms in the functional (3.22), so that they sum up to zero. Actually, this was the main reason to add those terms to (3.6) in first place. The lower bound then follows from the positivity of \( K_0 \), exactly as above. \(\square \)
A straightforward adaptation of the above arguments leads to the following result on a modified problem with twisted boundary conditions, which is going to play a role later.
Proposition 3.2
(GL energy with twisted boundary conditions) Let \( \varkappa \in [0,2\pi ) \), \( 1< b < \Theta _0^{-1} \) and \( L > 0 \). Let also
Then, as \( \ell \rightarrow \infty \),
Proof
The lower bound is obtained via the splitting technique and the positivity of the cost function as discussed in the proof of Proposition 3.1. For the upper bound it is sufficient to test the functional on the trial state
and recall the optimality of the phase \( \alpha _0\) yielding (A.8). \(\square \)
We conclude this section with a result which will be used later in the paper. In extreme synthesis it states that, if one has an a priori upper bound on \( {\mathcal {E}}_0[u,R(L,\ell )] \), then it is possible to extract some useful information on the corresponding order parameter \( \psi (s,t) \) and show for instance that it is pointwise close to \( f_0(t) e^{- i \alpha _0 s} \) up to a smooth phase factor.
Proposition 3.3
(Order parameter estimates) Let \( \psi \) be a solution of (3.5) in the strip \( R(L,\ell )\), with \( \ell \geqslant t_0 > 0 \) and \( L > 0 \), satisfying the boundary conditions in (3.9) and (3.10), and let u be defined as in (3.21). Let also \( {\widetilde{{\mathcal {E}}}}_0[u; R(L,\ell )] \) be the functional defined in (3.22) in the strip \( R(L,\ell )\) and assume that
for some \( {\mathfrak {e}}> 0 \). Then, if \( 1< b < \Theta _0^{-1} \),
Moreover, for any \( 0 < T \leqslant {{\bar{\ell }}} \), there exists a finite constant \( C > 0 \), such that
Proof
Applying elliptic regularity theory to the equation satisfied by \( \psi \) one can prove as in Lemma B.1 that
Furthermore, \( \psi \) satisfies the Agmon estimates (B.17) and (B.38).
The key estimate is then the positivity of the cost function \( K_0 \) in \( I_{{\bar{\ell }}}\), as well as the lower bound given by (A.27), i.e.,
Indeed, by acting as in the proof of Proposition 3.1, one immediately gets
Plugging in (3.31) above, one obtains (3.27) and
We now address (3.28): the starting point is provided by (3.33), which essentially implies that |u| is approximately constant and equal to 1. The idea of proof goes back to [10] and it has been used several times since then (see, e.g., [27]). Fix \( 0 < T \leqslant {{\bar{\ell }}} \) and assume by contradiction that there was a point \( (s_0,t_0) \in R_{L,T} \), where
for suitable \( c > 0 \) and \( {\bar{{\mathfrak {e}}}} \geqslant {\mathfrak {e}}\) to be adjusted later. Then, by (3.30) and the analogous bound for \( |f_0^{\prime }(t)| \) (see (A.11)), we deduce that there would exist also a ball of radius \( \varrho : = c' {\bar{{\mathfrak {e}}}}^{1/4}/\sqrt{f_0(t_0)} \) centered in \( (s_0,t_0) \), with \( c' \) a constant proportional to c and depending only on the a priori bounds on the gradients, so that
Furthermore, we can also assume that at least one quarter of the ball is contained inside \( R_{L,T} \). Hence,
where C is a positive constant independent of c. Therefore, by taking c large enough and \( {\bar{{\mathfrak {e}}}} = {\mathfrak {e}}+ {\mathcal {O}}(L \ell ^{-\infty }) \), we would get a contradiction with (3.33), which completes the proof.
In order to finally get (3.29), we can restrict the integration to the interval \( t \in [0, {{\bar{\ell }}}] \), since the rest is exponentially small. We then compute
for any smooth \( \chi \) such that \( \chi (L) = 1 \). Taking \( \chi (s) = s/L \), we get
by (3.28) and (B.38). For the first term on the r.h.s. of (3.35), we extend the integration in t to \( \ell \): using Neumann boundary conditions at \( t = \ell \), one gets
by (B.38) and the pointwise bound on the gradient of \( \psi \). Hence, exploiting the Neumann conditions also at \( t = 0 \) and (3.5), we obtain
which yields, after integration in s,
In order to estimate the quantity on the r.h.s. of the expression above we observe that
by (3.30) and (3.33). Altogether we get (3.29). \(\square \)
3.2 Properties of \(E_{\mathrm {corner},\beta }(L,\ell )\)
In the present and following Sections, we study the effective model introduced in (2.12) and specifically prove the existence of the limit as well as its boundedness. The key properties we are going to use in the proof of Proposition 2.2 are:
-
change of gauge to replace the magnetic potential \( \mathbf{F }\) with \( \mathbf{a }\simeq - t \mathbf{e }_s \) (Lemma 3.1);
-
uniform boundedness of \( E_{\mathrm {corner},\beta }(L,\ell ) \) and existence of the limit \( L, \ell \rightarrow + \infty \) over suitable subsequences (Proposition 3.4);
-
further properties of the effective model and, in particular, its dependence on the boundary conditions (§ 3.4).
We recall the corner energy defined in (2.31) and set
where both the energy \( {\mathcal {E}}^{\mathrm {GL}}_{1} \), the minimization domain and the corner region are introduced in § 2. Any corresponding minimizer is denoted by \( \psi _{\beta }\). Before proceeding further, we introduce an auxiliary problem in \( \Gamma _{\beta }(L,\ell )\), modified by the addition of analogous boundary terms as in (3.6). Such a problem will appear in the proof of the main theorem. We set
where
and \( \psi _\star \) is defined in (2.16). Note that the boundary terms are slightly different than the ones considered in (3.6), which is due to the presence of an additional phase in \( \psi _{\star } \) compared to \( f_0 e^{-i \alpha _0s} \), due to the different choice of the magnetic potential.
In the next Lemma 3.1, we show that the vector potential \( \mathbf{F }\) can be replaced with \( \mathbf{a }\), such that far from the corners
in boundary coordinates (s, t) . It is not difficult to figure out that there exists no smooth gauge transformation implementing the above change globally in \( \Gamma _{\beta }(L,\ell )\), in particular close to the bisectrix. More precisely, we define the wedge-domain \( \Gamma _{\beta }(L,\ell )\setminus {\widetilde{\Gamma }}_{\beta }(L,\ell )\) (as depicted in Fig. 4) through
in polar coordinates \( (\varrho ,\vartheta ) \in [0,\ell ] \times [0,\beta ] \). Hence, we obviously have
The potential \( \mathbf{a }\) is thus such that there exists a gauge phase \( \phi _{\mathbf{F }} \in H^1(\Gamma _{\beta }(L,\ell )) \) so that
and
As already explained, because of the jump of \( \mathbf{e }_s \) along the bisectrix of the sector, one can not set \( \mathbf{a }= - t \mathbf{e }_s \) everywhere. However, we require that
which is in fact a constraint only in \( \Gamma _{\beta }(L,\ell )\setminus {\widetilde{\Gamma }}_{\beta }(L,\ell )\). In next Lemma 3.1 we investigate the existence of such a phase \( \phi _{\mathbf{F }} \). Note that
thanks to (1.22) and the gauge invariance of the \( \mathrm {curl}\).
Lemma 3.1
(Gauge choice) For any \( L, \ell > 0 \) satisfying (2.30) and so that
there exists a vector potential \( \mathbf{a }\in L^{\infty }(\Gamma _{\beta }(L,\ell )) \) and a phase \( \phi _{\mathbf{F }} \in H^1(\Gamma _{\beta }(L,\ell )) \) satisfying (3.45), (3.46) and (3.47), such that
where
Remark 3.2
(Constraint on \( L, \ell \)) The condition (3.49) reads \( L - \frac{2 \ell }{\tan \beta } = c(\beta ,L \ell ) {\mathbb {Z}} \) where \( c(\beta ,\ell ) \) is uniformly bounded as \( L,\ell \rightarrow + \infty \). More precisely
uniformly in the other parameters. Hence, given generic \( \ell , L \rightarrow + \infty \), it suffices to replace L with \( L + {\mathcal {O}}(1) \) to enforce (3.49).
Proof
The two different minimization problem can be treated in the same way. It suffices to prove the existence of the gauge phase \( \phi _{\mathbf{F }} \) and, in order to recover (3.46), we set
Note that such a phase is actually the same gauge phase used in [33, Appendix F] or in [24, Eq. (4.7)] with vector potential set equal to \( \mathbf{F }\) and recovers the additional phase factor in the boundary terms in (3.39). Such a phase is in \( H^1({\widetilde{\Gamma }}_{\beta }(L,\ell )) \) but its definition can not be extended to the whole \( \Gamma _{\beta }(L,\ell )\). We can however continue \( \phi _{\mathbf{F }} \) arbitrarily in \( \Gamma _{\beta }(L,\ell )\setminus {\widetilde{\Gamma }}_{\beta }(L,\ell )\), just requiring continuity through the boundary of the region. There are infinitely many ways of doing that and at least one such that the bound (3.47) is satisfied (e.g., a linear interpolation).
In order to complete the proof, we need to show that \( \psi e^{i \phi _\mathbf{F }} \) is still a single-valued function. It is not difficult to see [33, Appendix F] that, to this purpose, one has to correct (3.55) by \( \varpi s \), where
where \( \left\lfloor \, \cdot \, \right\rfloor \) stands for the integer part. However, by the assumption (3.49), \( \varpi = 0 \) and no additional phase is needed. \(\square \)
From now on we are to going to study only the minimization on the r.h.s. of (3.50) in Lemma 3.1, with the vector potential \( \mathbf{a }\) satisfying (3.45), (3.46) and (3.47). In order to guarantee that (3.49) is satisfied, however, we restrict the analysis to suitable monotone sequences \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \), such that
and consider \( E_{\mathrm {corner},\beta }(L_n,\ell _n) \) in the following. More precisely, we are going to study the quantity
Any minimizer of (3.57) is denoted by \( \psi _n\), i.e.,
The existence of such a minimizer follows by standard arguments as well as the fact that any \( \psi _n\) solves the variational equation
Note that the equation above coincides with (3.5) far from the vertex, where boundary coordinates are well posed and \( \mathbf{a }= - t \mathbf{e }_s \). We can thus apply to \( \psi _n\) the results in Lemmas B.1, B.3, B.5 and B.6.
3.3 Boundedness and existence of the limit
We start by proving the uniform boundedness of \( E_{\mathrm {corner},\beta }(L,\ell )\) as a function of \( \ell , L \).
Proposition 3.4
(Boundedness of \( E_{\mathrm {corner},\beta }(L_n,\ell _n)\)) Let \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}}, \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) satisfy (3.56). Then, for any \( 1< b < \Theta _0^{-1} \), there exists a finite constant \( C < + \infty \) independent of n, such that
Proof
We first discuss the boundedness from below, which is the most difficult property to prove, and show that
for some finite \( 0< C < +\infty \). The key tool is a suitable partition of unity, which isolates the region where we want to retain the energy and allow us to discard the rest. We thus consider two smooth positive functions \( \chi \) and \( \eta \), such that \(\chi ^2 + \eta ^2=1\) and whose supports are described, e.g., in Fig. 5: we assume that \( \eta \equiv 1 \) inside the shaded area, while \( \chi \equiv 1 \) in the white area.
The dashed regions is where the supports of the two functions overlap. We choose the angle \( {\widehat{CVD}} \) equal to \( \beta /2 \) for concreteness but any angle of order 1 would work. The distance of the points A and B from the vertex V is also taken of order 1. Furthermore, the width of the transition regions can also be taken in such a way that
The rationale behind the choice of the partition of unity is that the energy contribution coming from the support of \( \chi \) reconstructs the leading term \( 2 L E ^{\mathrm{1D}}_{0}(\ell ) \), up to an \( {\mathcal {O}}(1) \) error, while the rest provides a correction of order \( {\mathcal {O}}(1) \). Therefore, the support of \( \chi \) must contain the outer boundary \( \partial \Gamma _{\mathrm {out}}\) up to \( {\mathcal {O}}(1) \) regions and the magnetic potential must be equal to \( - t \mathbf{e }_s \) there. Hence, the area close to the bisectrix is included in the support \( \eta \), because there the magnetic potential is unknown.
The key ingredient of the proof is then the IMS formula [29, Thm. 3.2], which yields
where we have exploited the decay (B.35) to bound the contributions on the supports of \( \nabla \chi , \nabla \eta \). We now claim that there exists a finite constant independent of n so that
which combined with (3.63) yields (3.60).
Let us first consider the first estimate above: dropping from the energy all the positive terms, we get
by the decay of \( \psi _n\) as above. To complete the proof it remains only to deal with (3.65): since \( \mathrm {supp}(\chi ) \) is actually composed of two disconnected sets, denoted by \( T_- \) (on the right of Fig. 5) and \( T_+ \), we can use boundary coordinates in both regions \( T_{\pm } \). We can then apply the splitting technique described in the proof of Proposition 3.1 and set
The same computation which leads to (3.13) yields now (recall (3.14))
Finally, as long as \( 1< b < \Theta _0^{-1} \), one can prove that the energies \( {\mathcal {E}}_0[u_-;T_-] \) and \( {\mathcal {E}}_0[u_+;T_+] \) are both positive, exactly as in (3.17), leading to
The last step is the estimate of the two integrals on the r.h.s. of (3.69) above: the identity (A.9) and the exponential decay (A.10) (both with \( k = 0 \)) imply
which together with (3.69) completes the lower bound proof.
The opposite side of the inequality (3.61) can be proven by simply using \( \chi f_0(t) e^{-i \alpha _0 s} \) as a trial state (more precisely, setting \( u_{\pm } = 1 \) in (3.67)). We omit the calculations, since they are totally analogous to the ones above. \(\square \)
We are now in position to prove the first important result of this section.
Proof of Proposition 2.2
The first important observation is that \( E_{\mathrm {corner},\beta }(L,\ell ) \) is a monotone non-increasing function of L and as such it admits a limit. Indeed, for any \( L_a < L_b \), one can easily construct a trial state for the energy in \( \Gamma _{\beta }(L_b, \ell ) \) by extending the minimizer in \( \Gamma _{\beta }(L_a, \ell ) \) and setting the trial state equal to \( f_0(t) e^{-i \alpha _0 s} \) where the minimizer is not defined. The outcome of the trivial computation is the inequality \( E_{\mathrm {corner},\beta }(L_a, \ell ) \leqslant E_{\mathrm {corner},\beta }(L_b,\ell ) \).
Let \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}}, \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) be two monotone subsequences such that \( \lim _{n \rightarrow +\infty } \ell _n = \lim _{n \rightarrow +\infty } L_n = + \infty \) and (3.56) is satisfied (see Remark 3.2). By the monotonicity in L of the energy and its boundedness, we know that for any \( \varepsilon > 0 \) and any given \( {\bar{n}} \in {\mathbb {N}}\), there exists \( {\bar{n}}_2({\bar{n}}) \in {\mathbb {N}}\), such that
for any \( n,m > {\bar{n}}_2 \).
Furthermore, by the exponential decay of the minimizer and its derivatives (B.34), one gets
Hence, if the sequences satisfy the condition
we can conclude that there exists \( {\bar{n}}_1 \in {\mathbb {N}}\), such that
for \( n,m > {\bar{n}}_1 \).
In conclusion, we can estimate
for any \( n, m > \max \left\rbrace {\bar{n}}_1, {\bar{n}}_2(\bar{n_1}+1) \right\lbrace \), so that the sequence is Cauchy and the limit exists. The independence of the chosen subsequences relies on the uniqueness of the limit, while the uniform boundedness has been proven in Proposition 3.4. \(\square \)
3.4 Neumann and Dirichlet problems in \( \Gamma _{\beta }(L,\ell )\)
We are going to study the Neumann problem (3.40) on the monotone subsequences \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) introduced in the previous § 3.2, i.e., such that (3.56) holds. Our main goal here is to show that, as in the case of the strip, the Dirichlet and Neumann energies coincide asymptotically as \( n \rightarrow + \infty \). This is going to play a key role in the proof of our main result, since it implies the identity
Before proving the result we need however a technical lemma on a variational problem with twisted boundary conditions, whose proof is postponed at the end of the section. Let then \( \varkappa \in [0,2\pi ) \) as in Proposition 3.2 and set
Lemma 3.2
Let \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) be two monotone subsequences such that (3.56) holds. Then,
Proposition 3.5
(Dirichlet and Neumann energies) Let \( \left\rbrace \ell _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace L_n \right\lbrace _{n \in {\mathbb {N}}} \) be two monotone subsequences such that (3.56) holds. Then, for any \( 1< b < \Theta _0^{-1} \),
Proof
In view of the vanishing of the boundary terms in the functional \( {\widetilde{{\mathcal {G}}}}_{\mathbf{a }}[\psi ] \) on any \( \psi \) belonging to \( {\mathscr {D}}_{\mathrm {D}}(\Gamma _{\beta }(L_n,\ell _n)) \) (see also the proof of Proposition 3.1) and the trivial inclusion \( {\mathscr {D}}_{\mathrm {D}}(\Gamma _{\beta }(L_n,\ell _n)) \subset {\mathscr {D}}_{\mathrm {N}}(\Gamma _{\beta }(L_n,\ell _n)) \), we deduce the inequality
Hence, we only have to prove the opposite inequality, i.e.,
Preliminarily, we observe that the quantity \( {\widetilde{E}}_{\mathrm {corner},\beta }(L_n,\ell _n) \) admits a limit, which is independent of the chosen sequences, exactly as \( E_{\mathrm {corner},\beta }(L_n,\ell _n) \). The argument to prove it is the same as in the proof of Proposition 2.2; therefore we spell in detail only the estimates showing that \( {\widetilde{E}}_{\mathrm {corner},\beta }(L,\ell ) \) is monotone in L for fixed \( \ell \), up to an exponentially small error term: let \( L_a < L_b \), then we have
where \( R_\pm \) are the rectangular regions \( [L_a, L_b] \times [0, \ell ] \) and \( [-L_b, -L_a] \times [ 0, \ell ] \), respectively. Applying Proposition 3.1, we get
which, plugged into (3.81), yields
Let \( \left\rbrace \delta _n \right\lbrace _{n \in {\mathbb {N}}} \) be such that \( 0 \leqslant \delta _n \leqslant 1 \) and the pair of sequences \( \left\rbrace L_n - \delta _n \right\lbrace _{n \in {\mathbb {N}}} \), \( \left\rbrace \ell '_n \right\lbrace _{n \in {\mathbb {N}}} \) satisfies the same conditions (3.56) as \( \left\rbrace L_n \right\lbrace \), \( \left\rbrace \ell _n \right\lbrace \). Note that we have also \( \ell '_n = \ell _n + {\mathcal {O}}(\delta _n) \), because of (3.49) (see also Remark 3.2). We denote by \( {\widetilde{\psi }}_n \) and \( {\widetilde{\psi }}_{n,\delta _n} \) for short any energy minimizer in \( \Gamma _{\beta }(L_n,\ell _n)\) and \( \Gamma _{\beta }(L_n-\delta _n,\ell '_n) \), respectively. The splitting technique used to derive (3.13), yields (recall (3.12), (3.22) and (3.67))
where \( R_- = [-L_n,-L_n+\delta _n]\times [0,\ell _n^{\prime }] \) and \( R_+ = [L_n-\delta _n,L_n]\times [0,\ell _n^{\prime }] \) and \( u_{\pm } \) are defined as in (3.12). Hence, we get that (recall that \( {\widetilde{{\mathcal {E}}}}_0[u] \geqslant {\mathcal {O}}(\ell ^{-\infty })\) if \( 1< b < \Theta _0^{-1} \))
for any \( \delta _n \leqslant 1 \), since the two quantities \( {\widetilde{E}}_{\mathrm {corner},\beta }(L_n,\ell _n) \), \( {\widetilde{E}}_{\mathrm {corner},\beta }(L_n - \delta _n,\ell '_n) \) admit the same limit, as proven above.
Now, we claim that (3.84) implies that, up to a phase, \( {\widetilde{\psi }}_{n} \) is pointwise close to \( f_0(t) e^{-i\alpha _0 s} \) in the region \( R_- \cup R_+ \) and, in particular, along the boundary \( \partial \Gamma _{\mathrm {bd}}\). Indeed, applying Proposition 3.3 to the functionals \( {\widetilde{{\mathcal {E}}}}_0\left[u_{\pm }; R_{\pm }\right] \) (with \( \delta _n \) in place of L), we get that
Furthermore, fixing some \( 0 < T_n \leqslant {{\bar{\ell }}}_n \), then, for any \( t \in [0,T_n] \) and any \(s \in [L_n- \delta _n, L_n] \) or \( s \in [ -L_n,-L_n+\delta _n] \),
In order to simplify the discussion, let us assume that the errors \( {\mathcal {O}}(\ell _n^{-\infty })\) appearing on the r.h.s. of (3.85) and (3.86) are much smaller than \( {\mathfrak {e}}_n \), since, if this is not the case, i.e., \( {\mathfrak {e}}_n \) is exponentially small in \( \ell _n \), then the argument is actually much simpler. Then, if we pick \( T_n \) in such a way that
if the r.h.s. is larger than \( f_0({{\bar{\ell }}}_n) \), or \( T_n = {{\bar{\ell }}}_n \) otherwise, then
where \( {\widetilde{R}}_+ : = [L_n - \delta _n, L_n] \times [0, T_n] \) and we used (B.35). Note that, by the pointwise lower bound on \( f_0 \) stated in (A.10), we find that
Now, we claim that (3.89) and (3.90) imply that \( u_{\pm } \) is close in \( L^2\) sense to a constant phase factor \( e^{i \varkappa _{\pm }} \), \( \varkappa _{\pm } \in {\mathbb {R}}\), or, equivalently, \( {\widetilde{\psi }}_n \simeq f_0(t) e^{-i(\alpha _0s - \varkappa _{\pm })} \) in \( {\widetilde{R}}^{\pm } \). By applying the Poincaré inequality
where \( \langle h \rangle \) is the average of h over \( {\widetilde{R}}_+ \), to \( h = u_+/|u_+| \), which is well posed since \( u_+ \) does not vanish in \( {\widetilde{R}}_+ \) by (3.90), we obtain that there exists \( \varkappa _+ \in [0,2\pi ) \) such that
thanks to (3.91). This in turn yields the desired estimate via (3.90):
The idea is now to exploit the information collected above to construct a trial state and prove an upper bound on \( E_{\beta }(L_n,\ell _n) \) in terms of \( {\widetilde{E}}_{\beta }(L_n-\delta _n,\ell _n) \) via Lemma 3.2: we set \( \psi _{\mathrm {trial}}(\mathbf{r }) := {\widetilde{\psi }}_n(\mathbf{r }) \) close to the corner, while sufficiently far from it,
where the phases \( \varkappa _{\pm } \) are the constants appearing in (3.92). The function \( \eta \) is smooth and satisfies \( \eta (\pm L_n) = 1 \), \( \mathrm {supp}(\eta ) \subset [-L_n, -L_n + \delta _n] \cup [L_n - \delta _n, L_n] \times [0, \ell _n] \) and \( |\nabla \eta | = {\mathcal {O}}(\delta _n^{-1}) \). Obviously, the trial state \( \psi _{\mathrm {trial}}\) does not belong to \( {\mathscr {D}}_{\mathrm {D}}\) but \( e^{- i \varkappa _-} \psi _{\mathrm {trial}}\in {\mathscr {D}}_{\mathrm {D},\varkappa }\) (recall (3.76)) with \( \varkappa = \varkappa _+ - \varkappa _- \). Hence, using Lemma 3.2, we can estimate
Let us first consider the boundary terms at \( L_n \), since the ones at \( - L_n \) are perfectly equivalent: thanks to the boundary conditions (3.10) satisfied by \( {\widetilde{\psi }}_{n} \), we get
Integrating by parts as in (3.16) and using the Agmon bound provided by Lemma B.5 as well as the inequalities (A.22) and (A.25) , one can show that the second term on the r.h.s. of the expression above is bounded by
while the first one can be estimated via (3.87), so obtaining
We now focus on the energy contributions of the regions \( R_{\pm } \) (third term on the r.h.s. of (3.94)): For simplicity, we are going to consider only the energy in the region \( R_+ \), since the corresponding one in \( R_- \) can be bounded in the very same way. We have
thanks to (A.10) and (B.34) and where the first term on the r.h.s. has been bounded by Cauchy inequality, exploiting (3.85), (B.34), (B.35) and the splitting technique:
We now exploit (3.90) and (3.92) to deduce that
Putting together (3.94) with (3.96), (3.97) and (3.99), we finally get
where we have optimized over \(\delta _n \) by taking \( \delta _n = \max \{ T_n^{2/3} {\mathfrak {e}}_n^{2/9}, T_n^2 {\mathfrak {e}}_n^{1/8} \} + e^{- \frac{1}{5} c(b) T_n} \) and used that \( T_n = {\mathcal {O}}(\sqrt{|\log {\mathfrak {e}}_n|}) \). \(\square \)
Proof of Lemma 3.2
We first observe that the existence of the limit as \( n \rightarrow + \infty \) of \( E_{\beta ,\varkappa }(L_n,\ell _n) - 2 E ^{\mathrm{1D}}_{0}(\ell _n) L_n \) can be shown as in the proof of Proposition 2.2. Hence for any \( 1 \ll \delta _n \ll \min \{\ell _n, L_n\} \), we have
By a trivial testing of the functional, exploiting the above estimate as well as Propositions 3.1 and 3.2, one gets
The proof of the opposite inequality is identical. \(\square \)
4 Proof of the energy lower bound
In this Section we prove the lower bound to the GL energy which in combination with the upper bound proven in Proposition 5.1, stated in next Section, will provide the proof of Theorem 2.1.
Proposition 4.1
(GL energy lower bound) Let \(\Omega \subset {\mathbb {R}}^2\) be any bounded simply connected domain satisfying Assumptions 1 and 2. Then, for any fixed \( 1< b < \Theta _0^{-1} \), as \(\varepsilon \rightarrow 0\), it holds
We recall the definition of the superconducting boundary layer
with (see (1.15)) \( \ell _{\varepsilon }= c_1 |\log \varepsilon | \), for a large constant \( c_1 \). The smooth part of the boundary layer is defined as
where \( {\mathsf {s}}_j \) is the coordinate along \( \partial \Omega \) of the j-th corner and
for some
so that (3.56) holds. The corner regions are denoted by \( \Gamma _{j,\varepsilon }\), \( j \in \left\rbrace 1, \ldots , N \right\lbrace \), and coincide with the complement of \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\):
In \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\), one can use the tubular coordinates \( ({\mathsf {s}}, {\mathsf {t}}) \) defined in (1.10) as well as their rescaled counterparts given in (1.16). We denote by \( {\mathcal {A}}\) the rescaling of the boundary layer \( {\mathcal {A}}_{\varepsilon }\). Similarly, the set obtained via rescaling of the domain \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\) is denoted by \( {\mathcal {A}}_{\mathrm {cut}}\), i.e., with a little abuse of notation,
while \( \Gamma _j \) stands for the rescaling of the domain \( \Gamma _{j,\varepsilon }\), i.e., \( \Gamma _j : =\left\rbrace \mathbf{r }' \in {\mathbb {R}}^2 \, \big | \, \mathbf{r }_j + \varepsilon \mathbf{r }' \in \Gamma _{j,\varepsilon }\right\lbrace \).
Before proceeding further, we summarize the main steps of the proof of the lower bound. We are going to treat the smooth part of the layer and the corner regions differently. In order to extract the \( {\mathcal {O}}(1) \) contributions to the energy, it is indeed necessary to retain in the smooth part of the layer the terms depending on the boundary curvature. The same precision is not needed close to the corners. There, however, the procedure is more involved, since we have to reconstruct the model problem discussed in § 2.3.
-
The first step is the replacement of the magnetic vector potential (§ 4.1). The idea is to replace \(\mathbf{A }^{\mathrm {GL}}\) with \(-{\mathsf {t}}\mathbf{e }_{{\mathsf {s}}} {+ \frac{1}{2} {\mathfrak {K}}({\mathsf {s}}){\mathsf {t}}^2 + \varepsilon \delta _{\varepsilon }} \) far enough from the corners by means of a suitable gauge change. Close to the corners, on the other hand, we replace \( \mathbf{A }^{\mathrm {GL}}\) with \( \mathbf{F }\) (Lemma 4.3) by means of a priori bounds of the difference between \( \mathbf{A }^{\mathrm {GL}}\) and \( \mathbf{F }\) (see “Appendix B.2”);
-
The second step is the rectification of the corner regions (§ 4.2): via a suitable diffeomorphism, we map the corner region as in Fig. 6 onto a domain with the same shape as \( \Gamma _{\beta }(L,\ell )\) in Fig. 2; this allows us to reduce the lower bound to the corner effective problem introduced in (2.12);
-
The third step is simply the completion of the lower bound (§ 4.3), where we just glue together the lower bounds near the corners with the one in the smooth part of the domain discussed in “Appendix C”.
4.1 Replacement of the magnetic field
In \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\) we aim at bounding from below the GL energy by the reduced energy functional \( {\mathcal {G}}_{\varepsilon }[\psi ; {\mathcal {A}}_{\mathrm {cut}}] \), where
and \( \psi (s,t) = \psi ^{\mathrm {GL}}(\mathbf{r }(s,t)) e^{-i\phi _\varepsilon (\mathbf{r }(s,t))} \), with \( \phi _{\varepsilon } \) a suitable gauge phase (see (4.10) below).
The replacement procedure by means of a local gauge choice is well described in [33, Appendix F] for smooth domains and, in more details, in [24, Sect. 5.1]. A similar discussion is extended in presence of corners at the boundary in [19, Sect. 2.4], where however the energy of the corner regions is dropped.
Lemma 4.1
(Replacement of the magnetic potential in \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\)) Under the assumptions of Proposition 4.1, there exists \( \phi _{\varepsilon } \in C^{\infty }(\Omega ) \) such that, setting \( \psi (s,t) : = \psi ^{\mathrm {GL}}(\mathbf{r }(s,t)) e^{i \phi _{\varepsilon }(\mathbf{r }(s,t))} \), we get, as \( \varepsilon \rightarrow 0 \),
Proof
As described above there are three operations, which are performed simultaneously, to get (4.9):
-
change to boundary tubular coordinates \( ({\mathsf {s}},{\mathsf {t}}) \);
-
extraction of a suitable gauge phase to replace \( \mathbf{A }^{\mathrm {GL}}\) with \( - {\mathsf {t}}\mathbf{e }_{{\mathsf {s}}} {+ \frac{1}{2} {\mathfrak {K}}({\mathsf {s}}){\mathsf {t}}^2 + \varepsilon \delta _{\varepsilon }} \);
-
rescaling of all the lengths (e.g., via (1.16)).
As anticipated, the above procedures have been already discussed in the literature, therefore we omit the details for the sake of brevity. We only provide the expression of the gauge phase for later convenience
\(\square \)
In the corner regions, on the opposite, it suffices to use a priori bounds on the solutions of the GL equations to substitute \( \mathbf{A }^{\mathrm {GL}}\) with \( \mathbf{F }\) (recall (2.17)). Before doing that, we need however a preparatory lemma:
Lemma 4.2
For any \( j {= 1, \ldots , N} \), as \( \varepsilon \rightarrow 0 \),
Proof
The idea is to exploit the variational equation for \( \psi ^{\mathrm {GL}}\) in (B.6), to compute
by the bounds (B.10), (B.13) and the boundary conditions on \( \psi ^{\mathrm {GL}}\) (recall (B.6)). \(\square \)
We can now perform the vector potential replacement:
Lemma 4.3
(Replacement of the magnetic field in \( \Gamma _{j,\varepsilon }\)) For any \( j = 1, \ldots , N \), there exists \( \psi _j \in H^1({\mathcal {A}}_{\varepsilon }) \), so that, as \( \varepsilon \rightarrow 0 \),
Remark 4.1
(Kinetic energy in the corner regions) Combining Lemma 4.2 with Lemma 4.3, one can easily deduce that (4.11) holds true with \( (\psi _j, \mathbf{F }) \) in place of \(( \psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \). More precisely, let \( {\psi _j} \) as in (4.13), then
Proof
A straightforward computation yields
for any \( p \in [2, \infty ) \), where we have used Lemma 4.2. Plugging now (B.11), which reads for \( p' \in [2, +\infty ) \)
thanks to the Agmon decay (B.16), we get
after an optimization over \( \delta \) (i.e., taking \( \delta = \varepsilon ^{3/4-1/p} |\log \varepsilon |^{{-1/p}} \)). The proof is then completed by exploiting the invariance of the energy under combined translations and global gauge change. \(\square \)
4.2 Rectification of the corner regions
We aim at estimating from below the energy close to the corners (first term on the r.h.s. of (4.13)) by the minimal energy of the model problem introduced in (2.12) and discussed in § 3. To this purpose there are two difficulties to overcome. First, one needs to force the boundary conditions in the minimization of the corner energies appearing in (4.13), since an unconstrained minimization would lead to unwanted contribution from the normal boundaries at \( s_j \pm L_{\varepsilon }\). Such a problem will however be solved by exploiting Proposition 3.5.
The second issue is less trivial: the model problem is indeed defined on a domain whose boundary is straight, while typically the boundaries of the domains \( \Gamma _j \) have a non-trivial curvature, as in Fig. 6. Of course, being the corner regions rather small and the curvature bounded, the corrections induced by this adjustment are of lower order (Lemma 4.4).
Let us introduce some notation: we are going to denote by \( \Gamma _{j, \mathrm {rect}}\) the corner region of opening angle \( \beta _j \) with straight sides, longitudinal length \( L_{\varepsilon }\) and normal width \( \ell _{\varepsilon }(1 + o(1)) \). We do not require the inner boundaries of \( \Gamma _{j, \mathrm {rect}}\) to be straight since the exponential decay of any GL minimizer makes such a boundary irrelevant. We also choose the coordinates in such a way that the corner coincides with the origin. Hence, except for the inner boundaries, \( \Gamma _{j, \mathrm {rect}}\) coincide with the region described in Fig. 2, up to a rotation:
with \( {\mathcal {R}} \) a rotation around the axis perpendicular to the plane passing through the corner.
Lemma 4.4
(Rectification of the corner) Let \( \psi _j \) be the \( H^1 \) function in (4.13). Then, there exists a diffeomorphism \( \mathbf{R }: \Gamma _j \rightarrow \Gamma _{j, \mathrm {rect}}\), so that, setting \( {{\widetilde{\psi }}}_j(\mathbf{R }) : = \psi _j(\mathbf{r }(\mathbf{R })) \),
Proof
We want to map the region \( \Gamma _j \) onto \( \Gamma _{j, \mathrm {rect}}\) via a suitable diffeomorphism and exploit the fact that, thanks to the boundedness of curvature and the size of the region, such a map is suitably close to the identity. A similar a trick has already been used, e.g., in [15]. Indeed, there exists a smooth map \( \mathbf{R }(\mathbf{r }) : \Gamma _j \rightarrow \Gamma _{j, \mathrm {rect}}\) which is one-to-one, such that \( \mathbf{R }(0) = 0 \) and
Using such a map, we get
where J is the jacobian matrix associated to the change of coordinates \( \mathbf{r }\rightarrow \mathbf{R }\) and
By (4.20),
Therefore, we can estimate from below the r.h.s. of (4.21) exactly as in (4.15), using (4.14) in Remark 4.1, to get
The last step is then the replacement of the region \( \Gamma _{j, \mathrm {rect}}\) with \( \Gamma _{\beta _j}(L_{\varepsilon },\ell _{\varepsilon })\), which can be done exploiting the rotational invariance of the GL functional, and the exponential decay of \( \psi ^{\mathrm {GL}}\) given by (B.16) (and thus of \( \psi \)). \(\square \)
4.3 Completion of the lower bound
We are now in position to complete the proof of the lower bound.
Proof of Proposition 4.1
Combining the results proven in Lemma 4.1, Lemmas 4.3 and 4.4, we get
At this stage the energy contributions of the smooth part of the domain and its complement have been completely decoupled, so we can bound them from below separately. In fact, the lower bound to \( {\mathcal {G}}_{\varepsilon }[\psi ; {\mathcal {A}}_{\mathrm {cut}}] \) can be simply taken from [24, Prop. 4]:
Now, recalling the definitions of \( \psi \) in Lemma 4.1 and \( {\widetilde{\psi }}_j \) in Lemma 4.4, we claim that
where the functional \( {\widetilde{{\mathcal {G}}}}_{\mathbf{F }} \) is defined in (3.39).
We note that, because of the rigid translation and rotation, the boundaries \( \partial \Gamma _{\beta _j, \mathrm {bd}} \) coincides with the portion of the lines \( s = s_j \pm L_{\varepsilon }\) in \( {\mathcal {A}} \). Therefore, in order to replace \( \psi \) with \( {{\widetilde{\psi }}}_j \) in the boundary terms in (4.27), we need to estimate the contribution of the gauge phase as well as the effect of the rectification. Next, we observe that
Recalling (4.22), we immediately see that the first term on the r.h.s. of the expression above in fact reconstructs the boundary terms in \( {\widetilde{{\mathcal {G}}}}_{\mathbf{F }} \). Moreover, by direct computation
where we have used the change of coordinates \( \mathbf{r }= \mathbf{r }_j + \varepsilon \mathbf{r }^{\prime } \). Furthermore, the properties of the diffeomorphism discussed in the proof of Lemma 4.4 imply that
Hence, each boundary term can be rewritten
and it only remains to bound the last term. This can be done exploiting once more (B.11): setting \( g(\mathbf{r }) : = F_0(t(\mathbf{r }))/f_0^2(t(\mathbf{r })) \) for short and using the vanishing of \( {F_0} \) at \( t = 0, c_1 |\log \varepsilon | \), we get
where we have used that both \( \mathbf{A }^{\mathrm {GL}}\) and \( \mathbf{F }\) are divergence free and the estimate
by (A.3), (A.11) and the simple bound (A.25). On the other hand, by (4.16),
for \( p\in [2, +\infty ) \), which implies (4.27) via (4.30).
Putting together (4.26) with (4.27) and observing that, by the Agmon decay, we can impose the boundary condition \( {\widetilde{\psi }} = \psi _0 \) along the interior boundary \( \partial \Gamma _{\mathrm {in}}\) up to \( {\mathcal {O}}(\varepsilon ^{\infty }) \) errors, we thus get
The final step of the proof is the application of Proposition 3.5, which yields (see (3.74))
and thus the result. \(\square \)
5 Other proofs
We complete in this Section the proofs of the results proven in the paper, i.e., specifically, we prove the energy upper bound matching the lower bound proven in Proposition 4.1. Finally, we show how the energy asymptotics can be used to deduce a pointwise estimate of the order parameter.
5.1 Upper bound and energy asymptotics
We state the main result of this section in the following Proposition 5.1. Note that Propositions 4.1 and 5.1 together completes the proof of Theorem 2.1, with the simple exception of the replacement of \( E ^{\mathrm{1D}}_{0}\) with \( E^{\mathrm {1D}}_{\star }\), which can be done up to remainders of order \( {\mathcal {O}}(\varepsilon ^{\infty }) \) by Lemma A.2.
Proposition 5.1
(GL energy upper bound) Let \(\Omega \subset {\mathbb {R}}^2\) be any bounded simply connected domain satisfying Assumptions 1 and 2. Then, for any fixed \( 1< b < \Theta _0^{-1} \), as \(\varepsilon \rightarrow 0\), it holds
Proof
As usual the upper bound is obtained by testing the GL functional on a suitable trial state. As a vector potential, we pick \( \mathbf{F } = \frac{1}{2} (-y,x) \). The order parameter on the other hand is much more involved: the idea is to recover the trial state given in [24, Eq. (4.14)] far from the corners and glue it to the minimizers of the effective energies in every corner. To retain the curvature corrections, as in [23] (see also “Appendix C”), we decompose the smooth part of the layer into cells of tangential length of order \( \varepsilon \). The order parameter is constructed in such a way that its modulus is close to \( f_{k_n}(\varepsilon {\mathsf {t}}) \) (see “Appendix A.2”) in each cell, \( k_n \) being the average curvature, and to the modulus of the corner minimizer \( \psi _{\beta _j}(\mathbf{r }) \) in the \(j-\)th corner region, respectively. The phase of \( \psi _{\mathrm {trial}}\) on the other hand is given by a gauge phase analogous to (4.10), but defined in terms of the vector potential \( \mathbf{F } \), plus the optimal phase \( \exp \{- i \alpha _{k_n} {\mathsf {s}}/ \varepsilon \} \) in each cell. An additional phase is then added to patch together such factors. Explicitly, we set
where \( {\mathcal {R}} \) is the rotation defined in (4.18) and \( \varkappa _j \) a suitable phase factor, given in (5.5) below. Moreover, for some \( a > 0 \),
is a subdomain of \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\) where boundary coordinates are well defined. In \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\setminus \widetilde{{\mathcal {A}}}_{\mathrm {cut},\varepsilon }\), we take care of the transition from the smooth part of the layer to the corner region: for any given \( j {= 1, \ldots , N} \), we concretely set
for any \( |s(\mathbf{r }) - s_j \pm L_{\varepsilon }| \leqslant \varepsilon ^{a} \) and where we have denoted \( k_{\pm } \) the average curvature in the cells \( {\mathscr {C}}_{\pm } \) adjacent to the j-th corner region. The smooth cut-off function \( \zeta \) is chosen in such a way that it is positive and
Furthermore,
-
the smooth cut-off function \( \chi (t) \) equals 1 for any \( t \leqslant c_1 |\log \varepsilon | \) and vanishes for \( t \geqslant |\log \varepsilon |^2 \), so that its gradient is bounded by \( {\mathcal {O}}(|\log \varepsilon |^{-2}) \);
-
the gauge phase \( \phi _{\mathrm {trial}}\) is given by (4.10) with \( \mathbf{F }\) in place of \( \mathbf{A }^{\mathrm {GL}}\); to leading order such a phase equals \( - \frac{1}{2} st \), so recovering part of the phase of \( \psi _{\star } \) (recall (2.16));
-
the function g(s, t) is taken directly from [24, Eq. (4.15)] (see also [24, Eq. (4.18)]): it equals \( f_{k_n} \) in \( {\mathscr {C}}_n \), up to a smaller correction \( \chi _n \), which allows the continuous transition from \( f_{k_n} \) to \( f_{k_{n+1}} \);
-
similarly, the phase S(s) is given by [24, Eqs. (4.20) & (4.21)]: to leading order \( S(s) = - i \alpha _{k_n} s \) in \( {\mathscr {C}}_n \), but, as for the density, one needs to add a higher order correction taking into account the jump from \( \alpha _{k_n} \) to \( \alpha _{k_{n+1}} \);
-
\( {{\widetilde{\psi }}}_{\beta _j,\varkappa _j}(\mathbf{r }') \) is close to the minimizer of the effective energy (3.75) in \( \Gamma _{\beta _j}(L_{\varepsilon },\ell _{\varepsilon })\), where \( \varkappa _j : = \varkappa _{+,j} - \varkappa _{-,j} \) and
$$\begin{aligned} \varkappa _{\pm , j} : = - S(s_j \pm L_{\varepsilon }) + \alpha _0 (s_j \pm L_{\varepsilon }) = - \int _0^{s_j \pm L_{\varepsilon }} \mathrm {d}\xi \, \left( \alpha _{k(\xi )} - \alpha _0\right) + {\mathcal {O}}(|\log \varepsilon | ^{\infty }).\nonumber \\ \end{aligned}$$(5.5)Applying the rectification procedure described in Lemma 4.4, we set
$$\begin{aligned} {{\widetilde{\psi }}}_{\beta _j,\varkappa _j}(\mathbf{r }') = \psi _{\beta _j,\varkappa _j}(\mathbf{R }(\mathbf{r })), \end{aligned}$$(5.6)where \( \mathbf{R }\) is the diffeomorphism of Lemma 4.4 and \( \psi _{\beta ,\varkappa } \) any minimizer of (3.75).
We now sketch the main steps in the computation of the energy of \( \left( \psi _{\mathrm {trial}}, \mathbf{F } \right) \), which were already discussed elsewhere and focus afterwards on the new estimates:
-
since \( \mathrm {curl}\mathbf{F } = 1 \) in \( \Omega \), the last term in the GL energy functional (1.1) vanishes;
-
the integration can be restricted to \( {\mathcal {A}}_{\varepsilon }\), where the cut-off function \( \chi \) is 1 and all the rest of the energy can be discarded thanks to the exponential decay of the modulus of \( \psi _{\mathrm {trial}}\) as well as its derivatives (inherited from \( f_0\) and \( f_k \), see (A.10));
-
the gauge phase \( \phi _{\mathrm {trial}}\) allows to replace \( \mathbf{F }\) with \( \left( - t + \frac{1}{2} \varepsilon k(s) t^2 \right) \mathbf{e }_s \) in \( \widetilde{{\mathcal {A}}}_{\mathrm {cut},\varepsilon }\), as in Lemma 4.1 up to an error of order \( {\mathcal {O}}(\varepsilon |\log \varepsilon | ^{\infty }) \);
-
the energy bound in \( \widetilde{{\mathcal {A}}}_{\mathrm {cut},\varepsilon }\) is taken from [24] and stated in Proposition C.1:
$$\begin{aligned} {\mathcal {E}}^{\mathrm {GL}}\left[ \psi _{\mathrm {trial}}, \mathbf{F }; {\mathcal {A}}_{\mathrm {cut},\varepsilon }\right] \leqslant \displaystyle \frac{|\partial \Omega | E ^{\mathrm{1D}}_{0}}{\varepsilon } - 2 L_{\varepsilon }N E ^{\mathrm{1D}}_{0}- \varepsilon E_{\mathrm {corr}}\int _{0}^{\frac{|\partial \Omega |}{\varepsilon }} \mathrm {d}s \, k(s) + o(1). \end{aligned}$$
Given the discussion above, it remains to compute the energy of \( \psi _{\mathrm {trial}}\) in the region \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\setminus \widetilde{{\mathcal {A}}}_{\mathrm {cut},\varepsilon }\) as well as the energy contributions of all the corner regions \( \Gamma _{j,\varepsilon }\). Let us start by considering the latter: getting rid of the diffeomorphism up to small errors, close to each corner we recover \( E_{\beta _j,\varkappa _j}(L_{\varepsilon },\ell _{\varepsilon }) = E_{\beta _j}(L_{\varepsilon },\ell _{\varepsilon }) + o(1) \) by Lemma 3.2. Summing up, we get
where we have exploited the existence of the limit proven in Proposition 2.2.
Finally, let us consider the energy in \( {\mathcal {A}}_{\mathrm {cut},\varepsilon }\setminus \widetilde{{\mathcal {A}}}_{\mathrm {cut},\varepsilon }\) and restrict ourselves to the interval \( [s_j - L_{\varepsilon }- \varepsilon ^a, s_j - L_{\varepsilon }] \): the area of the region is of order \( \varepsilon ^{2+a} |\log \varepsilon | \) and we can thus discard all the terms involving \( f_0 \), \( f_{k_{\pm }} \) and their derivatives there up to errors of order \( {\mathcal {O}}(\varepsilon ^a|\log \varepsilon | ^{\infty }) \) by (A.12) and (A.10). The only non-trivial term to estimate is thus the kinetic energy of the cut-off function \( \zeta \): by grouping together the terms in a convenient way, one has to bound at the boundary \( s_j - L_{\varepsilon }\) the quantity
by the identity
Putting together all the energy contributions, we get (5.1). \(\square \)
5.2 Order parameter
As proven in [19], any minimizing \( \psi ^{\mathrm {GL}}\) is such that its modulus is suitably close in \( L^2({\mathcal {A}}_{\varepsilon }) \) to the 1D profile \( f_0(\mathrm {dist}(\, \cdot \,, \partial \Omega )/\varepsilon ) \). The presence of the corners affects the estimate only at the precision one can approximate \( |\psi ^{\mathrm {GL}}| \) with \( f_0 \), since the result in [19, Thm. 1.1] is proven by neglecting the corner regions. The improved energy asymptotics of Theorem 2.1 obviously suggests that such an estimate can in fact be strengthened. Indeed, we prove here that a pointwise estimate of the difference \( |\psi ^{\mathrm {GL}}| - f_0 \) holds true in the smooth part of the boundary layer.
Proof of Proposition 2.1
The starting point is the combination of the energy upper bound (5.1), with the stronger lower bound which can be obtained by combining the arguments of the proof of Proposition 4.1 with Lemma C.1: in each cell contained in the smooth part of the boundary layer, we can retain the positive contribution appearing on the r.h.s. of (C.13). The final outcome is the estimate
A direct consequence is the estimate stated in (2.26) in Remark 2.3. Furthermore, (5.10) is the key ingredient of a typical argument (first used in [10]) to deduce a pointwise estimate of \( |u_n| \) and thus \( |\psi ^{\mathrm {GL}}| = f_0 |u_n| \) (see [24, Proof of Thm. 2, Step 2] but also the proof of (3.28) in Proposition 3.3).
Instead of providing all the details, we comment only on the needed adaptations. First of all, one has to select a subdomain of \( {\mathscr {C}}_n\), where a suitable lower bound on the density \( f_n \) holds true. In our case, we can restrict the analysis to the layer \( \left\rbrace \mathrm {dist}(\mathbf{r }, \partial \Omega ) \leqslant c \varepsilon \right\lbrace \), where \( f_n \) is bounded from below by a positive constant independent of \( \varepsilon \). As a consequence, the argument of [24, Proof of Thm. 2, Step 1] leads to
With such a bound at disposal, the aforementioned argument applies straightforwardly in the boundary region \( \left\rbrace \mathrm {dist}(\mathbf{r }, \partial \Omega ) \leqslant c \varepsilon \right\lbrace \), leading to the pointwise estimate
which immediately yields (2.27). \(\square \)
Notes
In fact, any choice of the coordinate system would lead to the same energy because of rotational invariance of the GL functional and its gauge symmetry, which allows to incorporate any translation of the origin.
References
Alouges, F., Bonnaillie-Nöel, V.: Numerical computations of fundamental eigenstates for the Schrödinger operator under constant magnetic field. Numer. Methods Partial Differ. Equ. 22, 1090–1105 (2006)
Abrikosov, A.: On the magnetic properties of superconductors of the second type. Sov. Phys. JETP 5, 1174–1182 (1957)
Adams, R.A.: Sobolev Spaces. Academic Press, Cambridge (1975)
Almog, Y., Helffer, B.: The distribution of surface superconductivity along the boundary: on a conjecture of X.B. Pan. SIAM J. Math. Anal. 38, 1715–1732 (2007)
Assaad, W.: The breakdown of superconductivity in the presence of magnetic steps. Commun. Contemp. Math. 23, 2050005 (2019)
Assaad, W., Kachmar, A.: The influence of magnetic steps on bulk superconductivity. Discrete Contin. Dyn. Syst. Ser. A 36, 6623–6643 (2016)
Assaad, W., Kachmar, A., Persson-Sundqvist, M.: The distribution of superconductivity near a magnetic barrier. Commun. Math. Phys. 366, 269–332 (2019)
Bardeen, J., Cooper, L., Schrieffer, J.: Theory of superconductivity. Phys. Rev. 108, 1175–1204 (1957)
Béthuel, F., Brézis, H., Hélein, F.: Asymptotics for the minimization of a Ginzburg–Landau functional. Calc. Var. Partial Differ. Equ. 1, 123–148 (1993)
Béthuel, F., Brézis, H., Hélein, F.: Ginzburg–Landau Vortices, Progress in Nonlinear Differential Equations and Their Applications, vol. 13. Birkhäuser, Basel (1994)
Bonnaillie, V.: On the fundamental state energy for a Schrödinger operator with magnetic field in domains with corners. Asymptot. Anal. 41, 215–258 (2005)
Bonnaillie-Noël, V., Dauge, M.: Asymptotics for the low-lying eigenstates of the Schrödinger operator with magnetic field near corners. Ann. Henri Poincaré 7, 899–931 (2006)
Bonnaillie-Nöel, V., Dauge, M., Martin, D., Vial, G.: Computations of the first eigenpairs for the Schrödinger operator with magnetic field. Comput. Methods Appl. Mech. Eng. 196, 3841–3858 (2007)
Brosens, F., Devreese, J.T., Fomin, V.M., Moshchalkov, V.V.: Superconductivity in a wedge: analytical variational results. Solid State Commun. 111, 565–569 (1999)
Bonnaillie-Noël, V., Fournais, S.: Superconductivity in domains with corners. Rev. Math. Phys. 19, 607–637 (2007)
Correggi, M.: Surface effects in superconductors with corners. Bull. Unione Mat. Ital. 14, 51–67 (2021)
Correggi, M., Devanarayanan, B., Rougerie, N.: Universal and shape dependent features of surface superconductivity. Eur. Phys. J. B 90, 231 (2017)
Correggi, M., Dimonte, D.: On the third critical speed for rotating Bose–Einstein condensates. J. Math. Phys. 57, 071901 (2016)
Correggi, M., Giacomelli, E.L.: Surface superconductivity in presence of corners. Rev. Math. Phys. 29, 1750005 (2017)
Correggi, M., Giacomelli, E.L.: Almost flat angles in Surface superconductivity, nonlinearity in press. https://doi.org/10.1088/1361-6544/ac24e0
Correggi, M., Pinsker, F., Rougerie, N., Yngvason, J.: Critical rotational speeds for superfluids in homogeneous traps. J. Math. Phys. 53, 095203 (2012)
Correggi, M., Rougerie, N.: Inhomogeneous vortex patterns in rotating Bose–Einstein condensates. Commun. Math. Phys. 321, 817–860 (2013)
Correggi, M., Rougerie, N.: On the Ginzburg–Landau functional in the surface superconductivity regime. Commun. Math. Phys. 332, 1297–1343 (2014) (erratum Comm. Math. Phys. 338 (2015), 1451–1452)
Correggi, M., Rougerie, N.: Boundary behavior of the Ginzburg–Landau order parameter in the surface superconductivity regime. Arch. Ration. Mech. Anal. 219, 553–606 (2015)
Correggi, M., Rougerie, N.: Effects of boundary curvature on surface superconductivity. Lett. Math. Phys. 106, 445–467 (2016)
Correggi, M., Lundholm, D., Rougerie, N.: Local density approximation for the almost-bosonic anyon gas. Anal. PDE 10, 1169–1200 (2017)
Correggi, M., Rougerie, N., Yngvason, J.: The transition to a giant vortex phase in a fast rotating Bose–Einstein condensate. Commun. Math. Phys. 303, 451–508 (2011)
Correggi, M., Yngvason, J.: Energy and vorticity in fast rotating Bose–Einstein condensates. J. Phys. A Math. Theor. 41, 455002 (2008)
Cycon, H.L., Froese, R.G., Kirsch, W., Simon, B.: Schrödinger Operators, Texts and Monographs in Physics. Springer, Berlin (1987)
Exner, P., Lotoreichik, V., Pérez-Obiol, A.: On the bound states of magnetic Laplacians on wedges. Rep. Math. Phys. 82, 161–185 (2018)
Fomin, V.M., Devreese, J.T., Moshchalkov, V.V.: Surface superconductivity in a wedge. Europhys. Lett. 42, 553–558 (1998) (erratum Europhys. Lett. 46 (1999), 118–119)
Fournais, S., Helffer, B.: On the third critical field in Ginzburg–Landau theory. Commun. Math. Phys. 266, 153–196 (2006)
Fournais, S., Helffer, B.: Spectral Methods in Surface uperconductivity, Progress in Nonlinear Differential Equations and their Applications, vol. 77. Birkhäuser, Basel (2010)
Fournais, S., Helffer, B., Persson, M.: Superconductivity between \( H_{c_2} \) and \( H_{c_3} \). J. Spectr. Theory 1, 273–298 (2011)
Fournais, S., Kachmar, A.: Nucleation of bulk superconductivity close to critical magnetic field. Adv. Math. 226, 1213–1258 (2011)
Fournais, S., Kachmar, A.: The ground state energy of the three dimensional Ginzburg–Landau functional. Part I: bulk regime. Commun. Partial Differ. Equ. 38, 339–383 (2013)
Frank, F.L., Lemm, M.: Multi-component Ginzburg–Landau theory: microscopic derivation and examples. Ann. H. Poincaré 17, 2285–2340 (2016)
Fournais, S., Kachmar, A., Persson, M.: The ground state energy of the three dimensional Ginzburg–Landau functional. Part II: surface regime. J. Math. Pures Appl. 99, 343–374 (2013)
Fournais, S., Miqueu, J.-P., Pan, X.-B.: Concentration behavior and lattice structure of 3D surface superconductivity in the half space. Math. Phys. Anal. Geom. 22, 12 (2019)
Frank, R.L., Hainzl, C., Seiringer, R., Solovej, J.P.: Microscopic derivation of Ginzburg–Landau theory. J. Am. Math. Soc. 25, 667–713 (2012)
Giacomelli, E.L.: Surface Superconductivity in Presence of Corners, Ph.D. Thesis (2018)
Ginzburg, V.L., Landau, L.D.: On the theory of superconductivity. Zh. Eksp. Teor. Fiz. 20, 1064–1082 (1950)
Gor’kov, L.P.: Microscopic derivation of the Ginzburg–Landau equations in the theory of superconductivity. Zh. Eksp. Teor. Fiz. 36, 1918–1923 (1959) (english translation Soviet Phys. JETP 9, 1364–1367 (1959))
Grisvard, P.: Elliptic Problems in Nonsmooth Domains, Classics in Applied Mathematics, vol. 69. SIAM, Providence (2011)
Helffer, B., Kachmar, A.: The density of superconductivity in domains with corners. Lett. Math. Phys. 108, 2169–2187 (2018)
Jadallah, H.T.: The onset of superconductivity in domains with corner. J. Math. Phys. 42, 4101 (2001)
Jadallah, H., Rubinstein, J., Sternberg, P.: Phase transition curves for mesoscopic superconducting samples. Phys. Rev. Lett. 82, 2935–2938 (1999)
Ning, Y.X., Song, C.L., Guan, Z.L., Ma, X.C., Chen, X., Jia, J.F., Xue, Q.K.: Observation of surface superconductivity and direct vortex imaging of a Pb thin island with a scanning tunneling microscope. Europhys. Lett. 85, 27004 (2009)
Pan, X.-B.: Surface superconductivity in applied magnetic fields above \(H_{\rm c2}\). Commun. Math. Phys. 228, 327–370 (2002)
Pan, X.-B.: Upper critical field for superconductors with edges and corners. Calc. Var. Partial Differ. Equ. 14, 447–482 (2002)
Raymond, N.: Bound States of the Magnetic Schrödinger Operator, EMS Tracts in Mathematics, vol. 27. EMS (2017)
Schweigert, V.A., Peeters, F.M.: Influence of the confinement geometry on surface superconductivity. Phys. Rev. B 60, 3084 (1999)
Sandier, E., Serfaty, S.: Vortices in the Magnetic Ginzburg–Landau Model, Progress in Nonlinear Differential Equations and their Applications, vol. 70. Birkhäuser, Basel (2007) (erratum available at http://www.ann.jussieu.fr/serfaty/publis.html)
Saint-James, D., de Gennes, P.G.: Onset of superconductivity in decreasing fields. Phys. Lett. 7, 306–308 (1963)
Tinkham, M.: Introduction to Superconductivity. Dover Publications, New York (2004)
Acknowledgements
The authors are thankful to S. Fournais and N. Rougerie for useful comments and remarks about this work. The support of MIUR through the FIR grant 2013 “Condensed Matter in Mathematical Physics (Cond-Math)” (code RBFR13WAET) and of the National Group of Mathematical Physics (GNFM–INdAM) through Progetto Giovani 2016 “Superfluidity and Superconductivity” and Progetto Giovani 2018 “Two-dimensional Phases” is acknowledged. The authors are especially grateful to the Institut Mittag-Leffler, where part of this work was completed.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Additional information
Communicated by A. Malchiodi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. One-dimensional effective energies
In this Appendix we recall some known results about the effective one-dimensional problems, which are known to play a role in surface superconductivity. More details can be found, e.g., in [17, 23,24,25].
1.1 A.1. Effective model on the half-line
The model problem describing the behavior of the order parameter along the normal direction to the boundary \( \partial \Omega \) in the surface superconductivity regime is given in first approximation by the energy
where t is the rescaled distance to the boundary and \( \alpha \in {\mathbb {R}}\) is a parameter.
For any \( \alpha \in {\mathbb {R}}\), the functional (A.1) admits (see, e.g., [23, Prop. 3.1] or [24, Prop. 5]) a unique minimizer in the domain \( {\mathscr {D}}^{\mathrm {1D}}= \left\rbrace f \in H^1({\mathbb {R}}^{{+}}; {\mathbb {R}}) \, | \, t f(t) \in L^2({\mathbb {R}}^{{+}}) \right\lbrace \) with ground state energy \( E^{\mathrm {1D}}_{\star ,\alpha } \). The optimal profile is obtained by optimizing over \( \alpha \), as in (2.3). The infimum can be easily shown to actually be a minimum, i.e., there exists an \( \alpha _{\star }\in {\mathbb {R}}\), where the minimum is achieved. We also denote by \( f_{\star }\) the corresponding profile, i.e., the minimizer of \( E^{\mathrm {1D}}_{\star ,\alpha _{\star }} \), which satisfies
1.2 A.2. Curvature-dependent one-dimensional models
It is convenient to introduce a generalization of (A.1), which takes into account the effects of the boundary curvature:
where \( k \in {\mathbb {R}}\) is the rescaled mean curvature, which is assumed to be constant here,
and \( \ell = \ell (\varepsilon ) \gg 1 \) is an \( \varepsilon \)-dependent quantity satisfying
For any \( \alpha \in {\mathbb {R}}\) we denote the ground state energy of (A.3) by \( E^{\mathrm {1D}}_{k,\alpha } \). The corresponding optimal energy is
where \( {\mathscr {D}}_{\ell }^{\mathrm {1D}}= H^1(I_{\ell }; {\mathbb {R}}) \), with \( I_{\ell }: = [0, \ell ] \), and one can prove the existence of a minimizing \( \alpha _k \in {\mathbb {R}}\), i.e., \( E ^{\mathrm{1D}}_{k}= E^{\mathrm {1D}}_{k,\alpha _k} \). The corresponding profile is then denoted by \( f_{k}\), which is therefore the unique minimizer of \( E^{\mathrm {1D}}_{k,\alpha _k} \). We also set \( {\mathcal {E}}^{\mathrm {1D}}_{k} : = {\mathcal {E}}^{\mathrm {1D}}_{k, \alpha _k} \), accordingly. Note that, unlike \( {\mathcal {E}}^{\mathrm {1D}}_{\star ,\alpha } \), the new energy functional \( {\mathcal {E}}^{\mathrm{1D}}_{k,\alpha }\) depends on \( \varepsilon \) in the measure, in the potential \( V_{k,\alpha }\) and possibly in the upper extreme of the integration domain \( \ell \).
The dependence on the curvature k of the model problem (A.6) is investigated in [24, Props. 1 & 2], where it is shown that all the relevant quantities are essentially continuous in k. We sum up here the main properties of the limiting functionals (A.3) and the corresponding minimizers (see [23, Sect. 3] and [24, Appendix A] for the proofs):
-
\( f_{k}\) is a smooth non-negative function monotonically decreasing for \( t \gg 1 \), such that \( \left\Vert f_{k}\right\Vert_{\infty } \leqslant 1 \) and
$$\begin{aligned} - f_{k}^{\prime \prime } + \textstyle \frac{\varepsilon k}{1 - \varepsilon k t} f_{k}^{\prime } + V_{k,\alpha }(t) f_{k}= \textstyle \frac{1}{b} \left( 1 - f_{k}^2 \right) f_{k}, \end{aligned}$$(A.7)in \( I_{\ell }\) with Neumann boundary conditions \( f_{k}^{\prime }(0) = f_{k}^{\prime }(\ell ) = 0 \);
-
for any \( 1 \leqslant b < \Theta _0^{-1} \), \( f_{k}\) is strictly positive and satisfies the optimality condition
$$\begin{aligned} \int _0^{\ell } \mathrm {d}t \, \frac{1}{1 - \varepsilon k t} \left(t + \alpha _k- \textstyle \frac{1}{2} \varepsilon k t^2 \right) f_{k}^2(t) = 0; \end{aligned}$$(A.8) -
for any \( k \in {\mathbb {R}}\),
$$\begin{aligned} E ^{\mathrm{1D}}_{k}= - \frac{1}{2b} \int _0^{\ell } \mathrm {d}t \, (1 - \varepsilon k t) f_{k}^4(t). \end{aligned}$$(A.9) -
for any \( 1 \leqslant b < \Theta _0^{-1} \) and for \( \varepsilon \) small enough, there exist two positive and finite constants \( {c, c'} > 0 \), such that
$$\begin{aligned} {c} \exp \left\{ - \textstyle \frac{1}{2} \left( t + \frac{1}{2} \right)^2 \right\} \leqslant f_{k}(t) \leqslant {c'} \exp \left\{ - \textstyle \frac{1}{2} \left( t + \alpha _k\right)^2 \right\} . \end{aligned}$$(A.10)
We add to the above bounds the following estimate, which is quite similar to what is proven in [24, Lemma 9]:
Lemma A.1
For any \( 1 \leqslant b < \Theta _0^{-1} \) and for \( \varepsilon \ll 1 \), there exists a finite constant \( C > 0 \), such that
Proof
For the proof of (A.11) we simply notice that, by integrating the variational Eq. (A.7) multiplied by \( f_{k}(t)\) in \( [t, \ell ] \) and using Neumann boundary conditions, we obtain
Then, the result is a consequence of the decay of \( f_{k}\) (A.10).
The proof of (A.12) follows along the same lines of [24, Proof of Lemma 9]. \(\square \)
As first discussed in [23, Sect. 3], a key role in the study of the effective 1D models is played by the following potential function
which heuristically provides the energy gain of a single vortex at a distance \( \varepsilon t \) from the boundary. Similarly, the overall energy cost of a vortex is given by the cost function
The properties of both functions are summed up below (see [23, Sect. 3] and [24, Appendix A]): for any \( 1< b < \Theta _0^{-1} \) and \( k \in {\mathbb {R}}\),
-
\( F_k(t) \leqslant 0 \), for any \( t \in [0, \ell ] \);
-
\( F_k(0) = F_k(\ell ) = 0 \);
-
let \( {\bar{t}}_{k,\ell }> 0 \) be such that (\( {\bar{t}}_{k,\ell }\) is uniquely defined by monotonicity of \( f_{k}\) for large t)
$$\begin{aligned} {\bar{I}}_{k,\ell }: = \left\{ t \in (0, \ell ) \, \big | \, f_{k}(t) \geqslant \ell ^3 f_{k}(\ell ) \right\} = \left[0, {\bar{t}}_{k,\ell }\right], \end{aligned}$$(A.15)then,
$$\begin{aligned} K_k(t) \geqslant 0, \qquad \text{ for } \text{ any } t \in [0,{\bar{t}}_{k,\ell }]. \end{aligned}$$(A.16)
1.3 A.3. Effective model on an interval with \(k = 0\)
A special case of the 1D models discussed in the previous Section is the one obtained for \( k = 0 \). It is in fact an approximation of the 1D effective energy \( E^{\mathrm {1D}}_{\star }\) obtained by minimizing the energy on a finite interval \( [0,\ell ] \), \( \ell \gg 1 \), rather than in the whole of \( {\mathbb {R}}^+ \) (see [23, Sect. 3]). There is indeed a unique minimizing pair \( f_{0}, \alpha _0 \) of \( {\mathcal {E}}^{\mathrm {1D}}_{0,\alpha }[f] \) over \(f \in H^1([0,\ell ]) \) positive and \( \alpha \in {\mathbb {R}}\). Like \( f_{k}\), \( f_{0}\) solves the variational Eq. (A.7) in the interval \( [0,\ell ] \) with \( \alpha _0 \) in place of \( \alpha _k\). In addition, \( f_{0}\) satisfies Neumann boundary conditions
Furthermore, all the properties (A.8)–(A.12) (with \( k = 0 \)) hold true for \( f_{0}\) as well. In particular, \( f_0 \) is monotonically decreasing for \( t \geqslant t_0 \), where \( t_0 \) is the unique maximum of \( f_0 \), satisfying
Lemma A.2
For any \( 1< b < \Theta _0^{-1} \), if \( \ell \gg 1 \), then
Proof
It suffices to prove that for any finite \( \alpha \in {\mathbb {R}}\),
which immediately implies (A.19), since the minima of both functionals are achieved for bounded \( \alpha \) (see, e.g., [23, Cor. 3.2 & Lemma 3.1]). However, (A.20) above is a trivial consequence of the exponential decays (A.2) and (A.10). \(\square \)
A very important consequence of the properties of \( f_{0}\) [23, Prop. 3.5] is that, as for \( f_{k}\), if we set (recall (3.7))
where
then, for \( 1 {<} b < \Theta _0^{-1} \),
with
In the whole interval \( [0, \ell ] \), we can use (A.13) in combination with (A.12) to estimate
Remark A.1
(Positivity of the cost function) An interested reader might wonder whether \( K_0(t) \) is in fact positive in the whole of \( [0, \ell ] \). There is however a simple argument showing that this is not the case and \( \exists t_{m} \in {I_{\ell }} \), where
To prove this, one first note that \( K_0 \) is convex. Hence, since \( K_0^{\prime }(0) = 2\alpha _0f_0^2(0) < 0 \), \( K_0^{\prime }(\ell ) = 2(\ell + \alpha _0)^2 f_0^2(\ell ) > 0 \), there must be a minimum point at \( 0< t_m < \ell \). In fact, by a close inspection of the condition \( K_0^{\prime }(t_m) = 0 \), it is possible to prove that \( t_m = \ell + {\mathcal {O}}(1) \). However, the analogue of (A.13) and the criticality condition \( K^{\prime }(t_m) \) imply that
We complete the section, by showing that the positivity in (A.22) can in fact be strengthen and promoted to a sort of coercivity of \( K_0 \).
Proposition A.1
(Coercivity of \( K_0 \)) For any \( 1< b < \Theta _0^{-1} \), if \( \ell \gg 1 \), there exists a constant \( c_b > 0 \), such that
Proof
The proof idea is quite similar to the one used in the proof of [23, Prop. 3.5]. We provide the details for the sake of completeness. We set
where \( \gamma _{\ell } : = (\ell + \alpha _0)^2 f_{0}^2(\ell ) - \textstyle \frac{1}{b} \left(1 - \frac{1}{2} f_{0}^2(\ell ) \right) f_{0}^2(\ell ) \), so that, by the identity (A.13), one gets
Now, if one can prove that \( {\widetilde{K}}\geqslant 0 \) in \( [0,\ell ] \), the result then easily follows because
for \( \ell \) large enough.
Let us then address the positivity of (A.28): at the boundary of the interval we have
if \( c_b < 1/f_0^2(0) \) and \( \ell \gg 1 \). Hence, the function can become negative only in the interior of \( I_{\ell } \), so let us look for its minimum points \( t_m \), which must satisfy \( {\widetilde{K}}^{\prime }(t_m) = 0 \), yielding
If we now take \( c_b < 1/(4 \left\Vert f_0 \right\Vert_{\infty }^2) \), we can solve the above identity w.r.t. to \( f'(t_m) \) and plug it into (A.29), so obtaining
if \( \ell \gg 1 \) and \( c_b \) is taken small enough so that \( c_b \leqslant \frac{1}{2b} \) and \( c_b < \left(1 - \textstyle \frac{1}{b} \right)/ ( 8 \left\Vert t f_0 \right\Vert_{\infty }^2 ) \) (recall (A.10)). Putting all the conditions together, we see that the result is proven if we take
\(\square \)
Appendix B. Technical estimates
In this Appendix we collect several technical estimates, which are used in the paper. Throughout this Appendix, \( \Omega \) will denote a bounded and simply connected domain \(\Omega \subset {\mathbb {R}}^{2}\) satisfying Assumptions 1 and 2. We recall that for any bounded domain \(\Omega \subset {\mathbb {R}}^2\) with locally Lipschitz boundary, all the usual So*bolev embeddings hold true [3, Thm. 5.4]. In particular, in what follows, we often use that, given a domain \( \Omega \) with the strong local Lipschitz property (see [3, Def. 4.5]), for all \(p\in [2,\infty )\) and for all \(\alpha \in [0,1)\),
where \( C^{0,\alpha } \) stands for the space of Hölder continuous functions with exponent \( \alpha \). We also note that the diamagnetic inequality is verified in a piecewise smooth domain as well, i.e., for every \(\mathbf{A }\in L^2_{\mathrm {loc}}({\mathbb {R}}^2; {\mathbb {R}}^2)\), \(\psi \in L^2_{\mathrm {loc}}({\mathbb {R}}^2)\) such that \((\nabla + i \mathbf{A })\psi \in L^2_{\mathrm {loc}}({\mathbb {R}}^2)\), one has
1.1 B.1. Minimization of the GL energy
For the sake of completeness, we briefly discuss the minimization of the GL functional in domains with Lipschitz boundary. The material is mostly taken from [33] (see in particular [33, Chpt. 15 & Sect. D.2.3]).
As proven in [33, Thm. 15.3.1], there exists a minimizing pair \( (\psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \) for \( {\mathcal {G}}_{\kappa }^{\mathrm {GL}}[\psi ,\mathbf{A }] \), such that \( (\psi , \mathbf{A }- \mathbf{F }) \in H^1(\Omega ) \times W^{1,2}_{0,0}({\mathbb {R}}^2) \), where \( W^{1,2}_{0,0}({\mathbb {R}}^2) \) is a suitable Sobolev space properly defined in [33, Eq. (D.12)] and \( \mathbf{F } \) given in (2.17)). In addition, we may fix the gauge in such a way that
This determines the potential up to an additive constant, which can be chosen so that
which in turn implies [33, Lemma 15.3.2] that \( \mathrm {curl}\left( \mathbf{A }^{\mathrm {GL}}- \mathbf{F } \right) = 0 \) or, equivalently,
Hence, when we evaluate \( {{\mathcal {E}}_{\varepsilon }^{\mathrm {GL}}} \) on the minimizing configuration, we may restrict the integration domain in the last term in (1.1) to \( \Omega \).
Finally, any critical point \( (\psi , \mathbf{A }) \) of \( {\mathcal {E}}^{\mathrm {GL}}\) and in particular the minimizing pair \( (\psi ^{\mathrm {GL}}, \mathbf{A }^{\mathrm {GL}}) \) satisfies the GL variational equations
where we have denoted by \( \mathbf{j }_{\mathbf{A }} \) the current
Any minimizing pair is smooth in the interior of \( \Omega \) and continuous at the boundary. More precisely, for any \( {\tilde{\Omega }} \subset \Omega \) with \( \partial {\tilde{\Omega }} \subset \Omega ^{\circ } \) smooth, and for any \( \alpha \in [0,1) \)
as it can be seen by applying standard arguments in elliptic theory (see, e.g., [41]).
1.2 B.2. Elliptic estimates
We now state useful estimates valid for any critical point of \( {\mathcal {E}}^{\mathrm {GL}}\). The following bounds are direct consequences of (B.6) [33, Chpts. 10, 11 & 15]:
We also have a quantitative estimate of the magnetic gradient of \( \psi \), which is however limited by the presence of corners at the boundary.
Lemma B.1
Let \( \psi , \mathbf{A }\) solve (B.6) and let
then
Proof
The result can be deduced from the Eq. (B.6) and, in particular, the first one, applying in a suitable way, e.g., [9, Lemma A.1]. \(\square \)
The counterpart of (B.13) for any minimizer \( \psi \) of the corner problems (3.38) and (3.40) reads
and combining it with, e.g., (B.34) proven in next “Appendix B.3”, we also get
1.3 B.3. Agmon estimates
Another typical key tool in the study of the GL theory is the estimate of the decay properties (Agmon estimates) of any solution \((\psi ,\mathbf{A })\) of the GL variational Eq. (B.6) in the surface superconductivity regime, i.e., when the intensity of the applied magnetic field is such that \(h_{\mathrm {ex}} > H_{\mathrm {c}2}\). The result is in fact inherited from the linear problem associated to the GL energy, i.e., a magnetic Schrödinger operator, and does not exploit the nonlinearity. The presence of corners does not influence the exponential decay of the order parameter away from the boundary [33, Sect. 15.3.1]. More precisely, for any \(b>1\) and for any \( (\psi , \mathbf{A }) \) solving (B.6) [15, Thm. 4.4],
where \(c(b)>0\), for \( b > 1 \), is independent of \( \varepsilon \). When \( b \rightarrow 1^+ \), the above bound becomes non-optimal because of the vanishing of c(b) and one can in fact prove other estimates showing a power law decay of \( \psi \) [35]. Similarly, in presence of corners, the result might not be optimal for \(b>\Theta _0^{-1}\): assuming that there is at least one angle \(\beta \) along the boundary such that \(\mu (\beta ) < \Theta _0\), one can prove [15, Thm. 1.6] a stronger decay w.r.t. the distance from that corner. Here, \( \mu (\beta ) \) stands for the ground state energy of the magnetic Schrödinger operator in an infinite wedge of opening angle \( \beta \) with unit magnetic field.
The translation of (B.16) in the setting of § 3.1, i.e., a GL functional with fixed parameter \( \varepsilon = 1 \) in a finite strip \( R(\ell ,L) \) is as follows:
Lemma B.2
Let \( \psi \) solve (3.5) and satisfy the boundary conditions alternatively in (3.4), (3.9) or (3.10) in \( R(\ell ,L) \) with \( \ell ,L > 0 \). Then, for any \( b > 1 \), there exists a constant \( c(b) > 0 \), such that
In the paper, we use Agmon estimates also for the corner effective problem. We discuss here such an extension to the setting of the effective problem formulated in (2.12) and discussed in § 2.3.
Lemma B.3
Let \( \Gamma _{\beta }(L,\ell )\) be the region given in Fig. 2, with \( L, \ell \gg 1\) and \( L \lesssim \ell ^{{a}} \), for some \( {a} > 1 \). Let also \( \psi \) be a solution of (3.59), with \( b > 1 \). Then, there exists a constant \( c(b) > 0 \), such that
The above result is a simple adaptation of (B.16) to the effective problem in \( \Gamma _{\beta }(L,\ell )\). The only difference is that the magnetic potential \( \mathbf{a }\) is given and not a minimizer of the energy. Before discussing its proof, however, we first state a technical lemma, which follows from a standard inequality for the magnetic gradient and the equation solved by \( \psi \).
Lemma B.4
Let \( \Gamma _{\beta }(L,\ell )\) be the region given in Fig. 2, with \( L, \ell \gg 1\) and \( L \lesssim \ell ^{{a}} \), for some \( {a} > 1 \). Let also \( \psi \) be a solution of (3.59) and let \( \xi \) be a smooth real function. Then, for any set \( S \subset \Gamma _{\beta }(L,\ell )\) with Lipschitz boundary,
where \( {\varvec{\tau }}, {\varvec{\nu }}\) stand for the tangential and normal unit vectors to \( \partial S \), respectively.
Proof
We start by integrating the following trivial bound (see, e.g., [26, Lemma 3.2]) for any u weakly differentiable and \( \mathbf{a }\in L^{\infty } \) (we set \( \mathbf{a }: = (a_1, a_2) \))
which yields, taking \( u = \xi \psi \),
after an integration by parts of the last term and the use of Stokes theorem. Note that the last two terms can be combined to reconstruct the magnetic current \( \mathbf{j }_{\mathbf{a }} \). To complete the proof it suffices to use the Eq. (3.59) to compute the term on the l.h.s. The additional boundary term in (B.19) is produced by the integration by parts of the cross product term \( \xi \nabla \xi \cdot \nabla |\psi |^2 \) to reconstruct the term \( \psi ^* \Delta \psi + \mathrm {h.c.} \) of the variational equation. \(\square \)
Proof of Lemma B.3
As anticipated the result is a simple adaptation of (B.16) (see [33, Proof of Thm. 12.2.1]). The key ingredient is the inequality (B.19), applied to \( S = \Gamma _{\beta }(L,\ell )\), together with the following choice of the function \( \xi \):
with the function f such that \( |f^{\prime }| \leqslant C \) and
We first estimate the boundary terms appearing in (B.19):
because \( \xi = 0 \) on \( \partial \Gamma _{\mathrm {out}}\),
and
where we have used the boundary conditions on \( \psi \), the exponential decay of \( f_0 \) (A.10) and the estimate (B.13), which yields
\( \mathbf{r }_0 \) being the position of the corner. Similarly,
thanks to the vanishing at 0 of \(\xi \) and the bounds
as in (B.23) and (B.24), respectively.
The rest of the proof is identical to [33, Proof of Thm. 12.2.1]: the estimates (B.22) and (B.26) above together with (B.19) imply
Noticing now that
we conclude that
and since we can always find \( \epsilon > 0 \) and \( a(\epsilon ) > 0 \) so that the factor on the l.h.s. of the above expression is positive, we obtain the result for the order parameter. The estimate of the magnetic gradient however follows using (3.59) once more and the bound just proven. \(\square \)
We complete the discussion of the decaying properties of the order parameter with a refined version of the estimate proven in Lemma B.3: we consider a solution of the differential Eq. (3.59) and show that, in a subdomain of tangential length of order \( {\mathcal {O}}(1) \), the r.h.s. of (B.18) is \( {\mathcal {O}}(1) \) as well. In order to state a more precise bound there, we identify two model domains, i.e., a rectangle \( S_{\mathrm {strip}} \) of tangential side length \( {\mathcal {O}}(1) \) far from the corner and the region close to it \( S_{\mathrm {corner}} \). More precisely, we set
and either \( {{\bar{s}}}_1 \geqslant \ell / \tan \left(\beta /2\right) \) or \( {{\bar{s}}}_2 \leqslant - \ell / \tan \left(\beta /2\right) \), which ensures that in \( S_{\mathrm {strip}} \) we can use the coordinates (s, t) and it corresponds to \( [{{\bar{s}}}_1, {{\bar{s}}}_2] \times [0, \ell ] \). The other region \( S_{\mathrm {corner}} \) is
and \( 1 \leqslant {\bar{s}}_1 \), \( {{\bar{s}}}_2 \leqslant C \ell \), i.e., it is a wedge-like domain where boundary coordinates can not be used globally.
Lemma B.5
Let \( S_{\sharp } \) be one of the two domains defined in (B.32) and (B.33). Let also \( \psi \) be a solution of (3.59), with \( b > 1 \). Then, there exists a constant \( c(b) > 0 \), such that
Proof
The proof is identical to the one of Lemma B.3, with the only difference due to the estimate of boundary terms. Exploiting (B.25) and the other properties of \( \psi \) and \( f_0 \), it is however easy to show that those terms provide contributions of order \( {\mathcal {O}}(1) \), as well as the r.h.s. of (B.31), which leads to the result. A short comment is in order for regions close to the corner, where the pointwise bound (B.25) might fail: there one can always arrange the domain S in such a way that the boundary \( \partial S \) is far enough from \( \partial \Gamma _{\mathrm {bd}}\) (still at a distance of order 1 from the corner) so that (B.25) applies, while on \( \partial S \cap \partial \Gamma _{\mathrm {out}}\), the gradient estimate is not used. \(\square \)
We finally provide a simple bound which is a direct consequence of (B.34).
Lemma B.6
Let \( \psi \) be a solution of (3.59), with \( b > 1 \). Then, there exists a finite constant C, such that
where c(b) is the constant appearing in (B.34).
Proof
The result is proven by contradiction. Suppose that there was a point \( {\bar{\mathbf{r }}} \in \Gamma _{\beta }(L,\ell )\), with \( \mathrm {dist}({\bar{\mathbf{r }}}, \partial \Gamma _{\mathrm {out}}) \geqslant 1 \) and \( \mathrm {dist}({\bar{\mathbf{r }}}, \mathbf{r }_0) \geqslant 1 \), so that
for some given \( C_0 > 0 \). Then, thanks to the pointwise bound (B.25), we can always construct a square Q of unit side length containing \( {\bar{\mathbf{r }}} \), such that
We are here assuming that \( C_0 \) is large enough, so that
Hence,
which contradicts (B.34), if \( C_0 \) is large enough, since Q is fixed. \(\square \)
Reformulating the above result for the variational problems in the strip considered in § 3.1 yields the pointwise estimates
for any \( \psi \) solving (3.5) and where c(b) is the same constant appearing in Lemma B.2.
Appendix C. Local energy estimates
In this Section we sum up the salient points of the energy estimate in the smooth part of the boundary layer. Thanks to Agmon estimates (see “Appendix B.3”), we can restrict our analysis to the boundary layer (1.19), i.e.,
but here we will focus on its smooth component defined in (4.6):
where \(s_j\), \(j=1, \ldots , N\) is the tangential coordinate of the \(j-\)th vertex. By Lemma 4.1, we can take as starting point of our analysis the effective functional introduced in (4.7):
and its ground state energy
where \( H_{\mathrm {per}}^1({\mathcal {A}}_{\mathrm {cut}}) : = \{ \psi \in H^1({\mathcal {A}}_{\mathrm {cut}}) \, | \, \psi (0,t) = \psi (|\partial \Omega |/\varepsilon , t), \forall t \in [0, \ell ] \} \). We also denote
with the identification \( s_{N+1} = s_1 + |\partial \Omega |/\varepsilon \). The material presented in this Section is essentially taken from [24] (see, in particular [24, Lemmas 3, 6 and 7]), but an important difference in the lower bound is given by the presence of holes in the boundary layer \( {\mathcal {A}}_{\mathrm {cut}}\), where the corner regions have been removed. The key tool in the strategy is the decomposition of \( {\mathcal {A}}_{\mathrm {cut}}\) into cells:
with \( |{\sigma }_{n+1}-{\sigma }_n| \propto 1 \) and \( M_\varepsilon \propto \left|{\mathcal {I}}_{\mathrm {smooth}}\right|/\varepsilon \). We then approximate the curvature k(s) of the boundary in each cell by its mean value
and set for short \( \alpha _n := \alpha _{k_n} \), \( f_n(t) :=f_{k_n}(t) \) (recall the notation of “Appendix A.2”).
Proposition C.1
(Upper bound to \( G_{{\mathcal {A}}_{\mathrm {cut}}} \)) For any fixed \(1<b<\Theta _0^{-1}\), as \(\varepsilon \rightarrow 0\), it holds
Proof
See [24, Sect. 4.1]. \(\square \)
We now complement (C.5) with a matching lower bound. As already pointed out, the proposition below is the analogue of [24, Lemma 6] but the effect of the holes in the smooth part of the domain now becomes apparent in the additional boundary terms appearing on the r.h.s. of (C.6). Those terms are matched in [24, Proof of Lemma 7, Step 2] by the corresponding boundary contributions coming from the cells which are missing in the present setting.
Proposition C.2
(Lower bound) Let \( \psi (s,t) \in H^1({\mathcal {A}}_{\mathrm {cut}}) \) be a function enjoying the same properties as \( \psi ^{\mathrm {GL}}(\mathbf{r }(s,t)) \). Then, for any \(1<b<\Theta _0^{-1}\), as \(\varepsilon \rightarrow 0\), it holds
Proof
The starting point is the very same splitting performed in [24, Lemma 6], which is analogous to what we did in the proof of Proposition 3.1: in each cell \( {\mathscr {C}}_n\), we set
where \(u_n\) plays the same role as u in the decoupling (3.12). Such a splitting procedure allows to extract from each cell the desired energy, i.e.,
where the reduced energies are
with \( b_n(t) = \textstyle \frac{1}{(1 - \varepsilon k_n t)^2} (t + \alpha _n - \frac{1}{2} \varepsilon k_n t^2) \). By [25, Lemma 2.1], the first terms of (C.8) above sum up to
If \( 1< b < \Theta _0^{-1} \), the reduced functionals \( {\mathcal {E}}_n[u_n] \) can be proven to be positive [24, Lemma 7] and can thus be dropped from the lower estimate, again up to small errors. Here, however, the major difference with [24] occurs: the positivity of \( {\mathcal {E}}_n[u_n] \) is proven in [24, Lemma 7] via an integration by parts and exploits the pointwise positivity of the cost function \( K_k \) (see (A.14) and (A.16)), but the estimate of the boundary terms emerging from the integration has to be adjusted. Such terms have the form
The sum of all the terms is shown in [24, Lemma 7] to be small, but this requires (see [24, Step 2 and eq. (5.33)]) to pair the term coming from one cell at \( {\sigma }_n \) with the one generated in the adjacent cell again at \( {\sigma }_n \). In our setting, due to the absence of corner regions in \( {\mathcal {A}}_{\mathrm {cut}}\), some boundary terms are missing. Such terms are precisely given by
and have to be added and subtracted to apply [24, Lemma 7], leading to (C.6). \(\square \)
Note that in both the upper and lower bounds (C.5) and (C.6), we can easily replace the integral over \( {\mathcal {I}}_{\mathrm {smooth}}\) with the integral over the whole boundary, since
by the boundedness of the curvature.
We conclude the Section with an important corollary of the above lower bound, which will be used to prove a uniform estimate of \(|\psi ^{\mathrm {GL}}|\) in the smooth part of the layer.
Lemma C.1
(Lower bound on the reduced energies) Let \( u_n \) be defined in (C.7) and \( {\mathcal {E}}_n \) be given by (C.9). Then, if \( 1< b < \Theta _0^{-1} \), as \( \varepsilon \rightarrow 0 \),
Proof
See [24, Proof of Lemma 7]. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Correggi, M., Giacomelli, E.L. Effects of corners in surface superconductivity. Calc. Var. 60, 236 (2021). https://doi.org/10.1007/s00526-021-02101-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-021-02101-7