R. Alicandro,M. Cicalese,M. Ponsiglione
Abstract:We introduce and discuss discrete two-dimensional models for XY spin systems and screw dislocations in crystals. We prove that, as the lattice spacing $\e$ tends to zero, the relevant energies in these models behave like a free energy in the complex Ginzburg-Landau theory of superconductivity, justifying in a rigorous mathematical language the analogies between screw dislocations in crystals and vortices in superconductors. To this purpose, we introduce a notion of asymptotic variational equivalence between families of functionals in the framework of $\Gamma$-convergence. We then prove that, in several scaling regimes, the complex Ginzburg-Landau, the XY spin system and the screw dislocation energy functionals are variationally equivalent. Exploiting such an equivalence between dislocations and vortices, we can show new results concerning the asymptotic behavior of screw dislocations in the $|\log\e|^2$ energetic regime.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the mathematical equivalence of the free - energy behavior among screw dislocations in crystals, vortices in superconductors, and XY spin systems. Specifically, the authors introduced a two - dimensional discrete model to describe the XY spin system and screw dislocations in crystals, and proved that when the lattice spacing \(\varepsilon\) approaches zero, the relevant energies of these models exhibit similar behavior within the framework of the complex Ginzburg - Landau theory. This provides a basis for explaining the analogy between screw dislocations and vortices in superconductors in a strict mathematical language.
### Main research questions
1. **Establishing mathematical equivalence**: By introducing the concept of asymptotic variational equivalence, prove the variational equivalence of the complex Ginzburg - Landau energy, XY spin system energy, and screw dislocation energy at multiple scales within the framework of Γ - convergence.
2. **Analyzing asymptotic behavior**: Utilize this equivalence to study the asymptotic behavior of screw dislocations at the \(|\log \varepsilon|^2\) energy scale and obtain new results.
### Specific objectives
- **Re - interpreting known results**: Prove that the free energies of these models are equivalent in the variational sense, thereby re - interpreting the known asymptotic behavior results.
- **Expanding the application range**: Utilize this equivalence to apply the results obtained through Ginzburg - Landau analysis to different physical systems, such as screw dislocations and XY spin systems.
### Research methods
- **Defining variational equivalence**: Introduce the concept of variational equivalence of two families of energy functions at a certain scale, that is, if one family of energy functions can be transformed into another family of energy functions by appropriately selecting parameters and scale conversion, then these two families of functions are variationally equivalent.
- **Proving equivalence**: Through detailed mathematical derivations, prove the variational equivalence of the complex Ginzburg - Landau energy, XY spin system energy, and screw dislocation energy at the \(|\log \varepsilon|^h\) (\(h\geq1\)) scale.
- **Applying equivalence**: Utilize this equivalence to study the asymptotic behavior of screw dislocations at the \(|\log \varepsilon|^2\) energy scale and obtain new mathematical results.
### Key formulas
- **Complex Ginzburg - Landau energy**:
\[
GL_\varepsilon(w):=\int_\Omega\left(\frac{1}{2}|\nabla w|^2+\frac{1}{\varepsilon^2}(1 - |w|^2)^2\right)dx
\]
- **XY spin system energy**:
\[
XY_\varepsilon(v):=\frac{1}{2}\sum_{i,j\in\varepsilon\mathbb{Z}^2\cap\Omega:|i - j|=\varepsilon}|v(i)-v(j)|^2
\]
- **Screw dislocation energy**:
\[
SD_\varepsilon(u):=\frac{1}{2}\sum_{i,j\in\varepsilon\mathbb{Z}^2\cap\Omega:|i - j|=\varepsilon}\text{dist}^2(u(i)-u(j),\mathbb{Z})
\]
Through these studies, the authors aim to provide a unified mathematical framework for understanding the asymptotic behavior of these physical systems and provide a theoretical basis for further research.