We consider a variational anti-plane lattice model and demonstrate that at zero temperature, there exist locally stable states containing screw dislocations, given conditions on the distance between the dislocations and on the distance between dislocations and the boundary of the crystal. In proving our results, we introduce approximate solutions which are taken from the theory of dislocations in linear elasticity, and use the inverse function theorem to show that local minimisers lie near them. This gives credence to the commonly held intuition that linear elasticity is essentially correct up to a few spacings from the dislocation core.Date: December 6, 2018. 2000 Mathematics Subject Classification. 74G25, 74G65, 70C20, 49J45, 74M25, 74E15. STABLE SCREW DISLOCATION CONFIGURATIONS 2 here, and using a different set of analytical techniques. In particular, our analysis employs discrete regularity results which enable us to provide quantitative estimates on the equilibrium configurations, while previous results only provide estimates on the energies.1.1. Outline. The setting for our results is similar to that described in [18]: our starting point is the energy difference functionalwhere Ω ⊂ Λ is a subset of a Bravais lattice, B Ω is a set of pairs of interacting (lines of) atoms, Dy b is a finite difference, and ψ is a 1-periodic potential.We call a deformation y a locally stable equilibrium if u = 0 minimises E Ω (y + u; y) among all perturbations u which have finite energy, and are sufficiently small in the energy norm. The key assumption upon which we base our analysis is the existence of a local equilibrium in the homogeneous infinite lattice containing a dislocation which satisfies a condition which we term strong stabilitythis notion is made precise in §3.2.Under this key assumption, our main result is Theorem 3.3. This states that, given a number of positive and negative screw dislocations, there exist locally stable equilibria containing these dislocations in a given domain as long as the core positions satisfy a minimum separation criterion from each other and from the boundary of the domain. Furthermore, these configurations may only be globally stable if there is one dislocation in an infinite lattice.The proof of Theorem 3.3 is divided into two cases, that in which Ω = Λ, and that in which Ω is a finite convex lattice polygon: these are proved in §5 and §6 respectively.
Preliminaries2.1. The lattice. Underlying the results presented in this paper is the structure of the triangular lattice Λ := a 1 +a 2 3 + [a 1 , a 2 ] · Z 2 , where a 1 = (1, 0) T and a 2 = 1 2 ,