Abstract
We address the question of the convergence of evolving interacting particle systems as the number of particles tends to infinity. We consider two types of particles, called positive and negative. Same-sign particles repel each other, and opposite-sign particles attract each other. The interaction potential is the same for all particles, up to the sign, and has a logarithmic singularity at zero. The central example of such systems is that of dislocations in crystals. Because of the singularity in the interaction potential, the discrete evolution leads to blow-up in finite time. We remedy this situation by regularising the interaction potential at a length-scale \(\delta _n>0\), which converges to zero as the number of particles n tends to infinity. We establish two main results. The first one is an evolutionary convergence result showing that the empirical measures of the positive and of the negative particles converge to a solution of a set of coupled PDEs which describe the evolution of their continuum densities. In the setting of dislocations these PDEs are known as the Groma–Balogh equations. In the proof we rely on both the theory of \(\lambda \)-convex gradient flows, to establish a quantitative bound on the distance between the empirical measures and the continuum solution to a \(\delta _n\)-regularised version of the Groma–Balogh equations, and a priori estimates for the Groma–Balogh equations to pass to the small-regularisation limit in a functional setting based on Orlicz spaces. In order for the quantitative bound not to degenerate too fast in the limit \(n \rightarrow \infty \) we require \(\delta _n\) to converge to zero sufficiently slowly. The second result is a counterexample, demonstrating that if \(\delta _n\) converges to zero sufficiently fast, then the limits of the empirical measures of the positive and the negative dislocations do not satisfy the Groma–Balogh equations. These results show how the validity of the Groma–Balogh equations as the limit of many-particle systems depends in a subtle way on the scale at which the singularity of the potential is regularised.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Multi-sign Particle Systems and Dislocations
There is a vast literature on the properties of interacting particle systems, both deterministic and stochastic, as well as on their limits as the number of particles tends to infinity. The most common situation in the rigorous mathematical literature is that of indistinguishable particles. For many systems of this type, especially with bounded interactions, the many-particle limit has been characterised in various ways; see e.g. [12, 43, 56, 63, 64] for reviews. For unbounded interaction forces the situation is more delicate, and rigorous proofs of convergence are more recent [2, 16, 17, 33, 40, 50, 54, 58, 60, 68, 69].
In this paper we study a type of particle system that is less intensively studied: a system with two species, called positive and negative particles [8, 19, 21, 29, 30, 65]. In our setting, we also consider singular interactions. Such systems arise naturally as models of the evolution of dislocations in crystals. Since this example is important for our work, we now explain it in some detail.
Dislocations are defects in an atomic lattice, and they are central to the theory of plastic deformation. A dislocation can be viewed as a quantum of plastic slip: the smallest amount of plastic deformation that the lattice admits. Macroscopic, continuum-scale plastic deformation is the collective result of the motion of a large number of dislocations.
Models of plastic deformation vary depending on the scale at which they describe the system. At scales of millimeters or larger, plastic deformation is well described by continuum-level theories (see e.g. [14, Ch.6]). However, these continuum-level theories often break down at scales of 1–100 \(\mu \)m where the length scales of the specimen size and the dislocation distribution become comparable. At such smaller scales, a richer set of unknowns is used, the densities of dislocations, and equations are formulated for the evolution of these densities. At even smaller scales, the postulate of a ‘smooth density’ fails, and a description becomes necessary in terms of the individual dislocations and their motion: such systems are called discrete dislocation systems. This paper is concerned with the transition between the latter two types of models: from discrete dislocations to dislocation densities, as the number of dislocations becomes large.
A popular evolution model for dislocation densities was derived by Groma and Balogh in [34, 35] and later refined in [36, 37]. It describes the evolution of the density of ‘positive’ and ‘negative’ straight and parallel edge dislocations, which are represented by ‘positive’ and ‘negative’ points in two dimensions. This model, and elaborations of it [38, 39], have been used in the engineering community to predict dislocation density profiles with surprising accuracy [24, 32, 72, 73]. The original system of equations from [35] is central to this paper; we will refer to it as the Groma–Balogh equations, and it appears in generalized form as equations (1.4) below.
The derivations in [34,35,36,37] are based on an upscaling argument starting from a system of discrete dislocations. None of these results are rigorous, however, since they build on uncontrolled approximations such as exchanging averaging with nonlinearity [35] or postulating a closure relation in the BBGKY hierarchy [34, 39].
This brings us to the central question of this paper: can the Groma–Balogh equations be rigorously derived from an underlying discrete-dislocation system? We will see that the answer is subtle, and depends on how one decides to deal with the singularity of the interaction potential.
1.2 Formal Setup
The mathematical results of this paper are formulated for two different settings: a d-dimensional torus with isotropic evolution (where \(d=1,2\) are the ones inspired by screw dislocations), and a two-dimensional torus with slip-plane confinement modelling edge dislocations. We describe these two situations and their physical interpretation in Section 2. At this stage, however, we illustrate the results just for the two-dimensional case with isotropic evolution. We work in a two-dimensional square torus \({\mathbb {T}}^2\), or equivalently a square in \({\mathbb {R}}^2\) with periodic boundary conditions.
We model dislocations as points in \({\mathbb {T}}^2\); they represent defects in a linearly elastic continuum medium. Systems of dislocations have an associated energy, which is the elastic energy of the stress and strain fields in the elastic medium, generated by the defects and by external loads. Formally, the quadratic nature of the continuum elastic energy leads to an expression of the form [18, 50]
Here \(x=(x_1,\dots ,x_n)\in ({\mathbb {T}}^2)^n\) and \(b=(b_1,\dots ,b_n)\in \{-1,+1\}^n\) denote the position and the sign of each dislocation, U is a smooth external potential, and \(V(x-y)\) is a pairwise interaction potential which characterises the dependence of the elastic energy on the distance \(x-y\) between two dislocations. The potential V, which will be defined in Section 2, is related to the Green’s function of the elasticity operator. Consequently, it has a logarithmic singularity at the origin with \(V(0)=+\infty \). The logarithmic singularity is central to this paper, and we will deal with it in detail in Section 1.3 below.
We now describe the main question of the paper. Assuming that the velocities of the dislocations satisfy an isotropic linear drag law (Orowan’s relation), their evolution in \(({\mathbb {T}}^2)^n\) is of gradient-flow type, driven by the energy (1.1), namely
By translating equation (1.2) into the language of measures, we find that the empirical measures of the positive and the negative dislocations,
formally satisfy the aforementioned Groma–Balogh equationsFootnote 1
This would suggest that as \(n\rightarrow \infty \), if \(\mu _n^\pm \) converge to limits \(\rho ^\pm \), then these limits should also be solutions of the same set of equations (1.4). The main aim of this paper is to investigate this convergence.
However, the formal arguments above cannot be made rigorous, because the singularity in V results in existence of solutions to (1.2) only up to the first time two particles of opposite sign collide. To resolve this blow-up, we replace (1.2) by a regularised version, which we introduce next.
1.3 Managing the Singularity
The singularity of V has its physical origin in the simplification of replacing the crystallographic lattice by a continuum linearly elastic medium and modelling the dislocations as point defects. These point defects generate stress and strain fields with infinite elastic energy in any neighbourhood of the defect. The energy of a single dislocation or of a finite set of dislocations—which in a genuine discrete model should be finite—is therefore infinite.Footnote 2
This infinite energy makes many energy-based methods unsuitable, and several approaches and alternative models have been developed to circumvent this difficulty:
- 1.
the phase-field model developed by Peierls and Nabarro [31, 44, 49, 51, 53],
- 2.
the removal of small balls around the dislocations from the elastic medium [18, 30, 50],
- 3.
the smearing out of the dislocation core by a convolution kernel [4, 13, 20, 30],
- 4.
a cut-off radius within which dislocations do not interact [42].
The choice of the regularisation depends on factors such as: accuracy, computational convenience, the possibility to describe dynamics, well-posedness or the possibility to prove discrete-to-continuum convergence.
In this paper we consider a broad class of regularisations that includes case (3) above: we replace the potential V by a smoothed, globally \(W^{2,\infty }\) potential \(V_\delta \), where \(\delta >0\) is a parameter with the interpretation of the length scale of the regularisation (see assumptions (V1)–(V4) in Section 2.2). In view of (1.4), we are interested in the limit \(\delta \rightarrow 0\).
The regularised energy (denoted by \(E_n\) without the tilde) is defined as (1.1), with V replaced by \( V_{\delta }\) and with the diagonal kept in the sum:
Similarly to (1.2), the dynamics are now given by
Note that since \(\nabla V_{\delta }\) is globally Lipschitz continuous, this evolution is well-defined.
By translating (1.6) into measures, we now find rigorously that the empirical measures \(\mu _n^\pm \) in (1.3), associated with a solution x of (1.6), satisfy the regularised Groma–Balogh equations
in the weak sense. These equations are well-defined in the sense of distributions on \((0,T)\times {\mathbb {T}}^2\) whenever \(\rho ^\pm \) are finite-mass measures (such as \(\mu _n^\pm \)). Indeed, since \(\nabla V_{\delta }\) is uniformly continuous on \({\mathbb {T}}^2\), so is the convolution \(\nabla V_{\delta }*(\rho ^+-\rho ^-)\), and therefore \(\rho ^\pm \nabla V_{\delta }*(\rho ^+-\rho ^-)\) is a finite-mass vector-valued measure on \({\mathbb {T}}^2\) for each t. This argument cannot be applied to the unregularised Groma–Balogh equations (1.4). There are, however, several ways to define a solution concept to these equations. We continue this discussion in §1.5.
1.4 Results of this Paper: Convergence and Non-convergence
We first describe our convergence result. When the regularisation \(\delta \) is fixed, i.e., when we are dealing with a fixed, regular interaction kernel, the convergence of the discrete evolution equation (1.6) to the Groma–Balogh equations (1.7) as \(n \rightarrow \infty \) is standard; the technique goes back at least to Dobrushin [23]. Here, however, we will consider the joint limit \(n \rightarrow \infty \), \(\delta _n \rightarrow 0\), to which the standard theory does not apply.
Our main convergence result states that when \(\delta _n\rightarrow 0\) sufficiently slowly, convergence to the unregularised Groma–Balogh equations (1.4) holds. Theorem 3.3 specifies this result for the d-dimensional torus, and Theorem 3.9 specifies it for the two-dimensional torus with slip-plane confinement.
The meaning of ‘how slowly’ \(\delta _n\) needs to converge to zero for the result to hold depends both on the chosen time horizon \(T>0\), and on the sequence of discrete initial data for (1.6) approximating the initial datum of (1.4). Conversely, we also specify a lower bound on \(\delta _n\) such that our convergence result holds for a certain class of approximating initial data. In particular, if \(\delta _n \gg 1/\sqrt{\log n}\), we recover the Groma–Balogh equations in the limit, under the assumption that \(\Vert D^2V_{\delta _n}\Vert _{L^\infty ({\mathbb {T}}^d)}\sim \delta _n^{-2}\), which is natural in the case of a logarithmic singularity for the potential at zero. Note that in this regime the short-range interactions are governed by the model of the dislocation core, whose size is described by \(\delta _n\); the limiting Groma–Balogh equations, however, are independent of the description of the core.
Our second main result is a counterexample, showing non-convergence of the discrete evolutions to (1.4) when \(\delta _n\rightarrow 0\)fast enough, for a suitable choice of initial conditions. The key idea is to choose as discrete initial data a configuration of short dipoles whose mutual distance is infinitesimal as \(n\rightarrow \infty \), but much larger than the inter-dipole distance. In this case the discrete evolutions converge to limit measures \(\rho ^\pm \) that are constant in space and time. This construction provides a counterexample to the discrete-to-continuum convergence whenever U is non-constant, since in that case, on the torus, spatially-constant measures cannot be stationary solutions of the Groma–Balogh equations (1.4).
1.5 Comments and Perspectives
We comment on a number of aspects of this work and on some natural questions triggered by our results.
Conditions on the potential. The conditions (V1)-(V4) that we impose below on the interaction potential V cover many examples in materials science, such as vortices, Coulomb gases and dislocations. They are a mixture of fundamental conditions and conditions that we believe are mostly technical. The fundamental assumptions are the positivity of the Fourier transform, the singularity of V being at most logarithmic, and the convergence of the approximations. The logarithmic singularity of V is the strongest singularity under which the proof of the well-posedness of (1.4) in [15] (that we rely on in our proof) holds, and we are unaware of results that can deal with a singularity stronger than the logarithmic one. Positivity of the Fourier transform of the regularisation \(V_\delta \) of the potential V is needed in Lemma 2.5, where we establish a bound for the convolution with \(V_\delta \) that is crucial in the proof of the evolutionary convergence. Moreover, for regularised potentials \(V_\delta \) that do not have positive Fourier transform, the numerical simulations in van Meurs’ thesis [67, Ch. 9] show that (1.6) can have a fundamentally different behaviour. Note that positivity of the Fourier transform also guarantees convexity of \(\kappa \mapsto \int V*\kappa \, \mathrm{d}\kappa \), which for \(\kappa = \rho ^+-\rho ^-\) is the interaction energy associated to (1.4).
Regularisation and a-priori estimates. There is a useful rule of thumb for the analysis of the properties of nonlinear PDEs, going back to the work of Jacques-Louis Lions and the French School of nonlinear PDE: ‘if the right a-priori estimates can be established, then one can regularise any way one wants—without changing the results’. In other words, the equation determines the solutions, through the a-priori estimates, and regularisations can only approximate such solutions. Even in cases where uniqueness is not obvious, such as the incompressible Navier-Stokes equations, this rule of thumb applies.
This rule-of-thumb requires, however, that the approximations do not violate the a-priori estimates. It is exactly this requirement that is not satisfied in this paper, and this is easy to recognize. The existence theorems, for slow \(\delta _n\rightarrow 0\) (Theorems 3.3 and 3.9) build upon the a-priori estimates first identified in [15]. These estimates are meaningful for solutions with bounded entropy, i.e., solutions \(\rho ^\pm \) for which \(\int \rho ^+\log \rho ^+\) and \(\int \rho ^-\log \rho ^-\) are bounded. Empirical measures do not satisfy this condition, and therefore a ‘regularisation’ based on point measures, while physically meaningful, lies outside of this functional setting.
We nonetheless make use of the entropy-based estimates by using the fact that the regularised evolution has a bounded expansion rate in the Wasserstein metric, with a bound that deteriorates as \(\delta _n\rightarrow 0\). By constructing an intermediate object (i.e., the unique solution of the \(\delta _n\)-regularised Groma–Balogh equations (1.7) with a continuum initial datum, which is both entropically bounded and Wasserstein-close to the empirical measures), we can extend the entropic framework a little outside the finite-entropy realm. The price to pay is that the Wasserstein bound need not deteriorate too fast, and this translates into the slowness criterion of \(\delta _n\rightarrow 0\).
Beyond regularising the dislocation core. As an alternative to regularising the singular potential V, one can consider annihilation of dislocations, where dislocations of opposite signs are taken out of the system when they collide or are sufficiently close. This evolution is studied in [61, 62] for finite n, in [6, 9, 41] on the continuum level, and in [66] a discrete-to-continuum convergence result is established. The main difference between the models listed above and the Groma–Balogh equations (1.4) is in the reversibility/irreversibility of the annihilation. In (1.4), if a positive and a negative dislocation meet, they form a short dipole, but if a sufficiently large force is applied to the system, they can break apart. In other words, annihilation is ‘reversible’. In the other models, instead, annihilation is irreversible: once a short dipole forms, the two dislocations in it become permanently ‘invisible’ in the evolution.
Mixed-approach proof of convergence. Our proof of convergence is made in two steps, each requiring a different strategy. To estimate the distance between the empirical measures and the continuum solution of the \(\delta _n\)-regularised Groma–Balogh equations, we exploit the gradient-flow structure of the regularised equations of which they are both solutions (although with different initial data), and prove a Gronwall-type estimate in terms of Wasserstein distances. To estimate the distance between the intermediate measure and a solution of the unregularised Groma–Balogh equations we instead follow the approach in [15], based on entropy estimates.
Well-posedness for the Groma–Balogh equations (1.4). Various existence results for the Groma–Balogh equations have already been proved [15, 26, 27, 46, 48, 70, 71], and other related multiple-sign systems have been studied in [6, 7, 28]. A by-product of the convergence theorems in this paper provides additional existence results, which go beyond those cited above in allowing for more general interaction potentials.
The questions of uniqueness and stability appear to depend strongly on the regularity of the initial data. Mainini [48] proves uniqueness for a similar system in two dimensions with different boundary conditions, under the assumption that the solutions are in \(L^\infty \), by using the log-Lipschitz continuity of \(\nabla V*(\rho ^+-\rho ^-)\). Li, Miao, and Xue [46] prove local-in-time uniqueness in \(H^m\cap L^p\), \(m>2\) and \(p\in (1,2)\), and show that a finite existence time in these spaces implies blow-up in \(L^\infty \).
Non-convergence. Our results fit into the setting of evolutionary convergence of multiple species interacting via singular potentials, e.g., [19, 67, Ch. 9], [65]. On the other hand, our counterexample shows that the discrete system does not always converge to the expected limiting equation, or worse, may not converge at all. In this paper we provide only a single counterexample, to prove the non-convergence theorem, but the method of proof is very general: it relies on the fact that for fast \(\delta _n\rightarrow 0\) a short dipole is so strongly bound that it will not separate. The proof therefore can be adapted to prove a wide range of non-convergence results. Even more importantly, this strong binding will occur even if the initial data is not presented in already-bound form, since dislocations of opposite sign will quickly pair up into such short dipoles (see the simulations in [67, Ch. 9] for examples). Therefore we expect the non-convergence for fast \(\delta _n\rightarrow 0\) to hold for generic initial data.
This sparks questions for future research, such as:
is there an alternative notion of evolutionary convergence (e.g., statistical mechanics, convergence in probability on random initial data, addition of noise), weaker than the one in Theorem 3.3, for which convergence can be proven?
are there microscopic details invisible on the macroscale (such as the density of dipoles) which can affect the macroscopic behaviour, rendering the question of the discrete-to-continuum convergence much more subtle?
The organisation of the paper is as follows: in Section 2 we give a precise description of (1.6), (1.7) and (1.4) for both the isotropic and slip-plane confined evolutions, a detailed description of the assumptions and related properties of the interaction potential V and its regularisation \(V_\delta \), and further preliminaries. In Section 3 we state and prove our main convergence results (Theorems 3.3 and 3.9). Our second main result, the class of counterexamples for convergence to the Groma–Balogh equations, is detailed in Section 4. Appendix A recalls the definitions and elementary properties of several Orlicz spaces.
2 Detailed Formulation of the Problems and Preliminary Results
Before describing the isotropic and anisotropic cases in detail, we first introduce the general setup in dimension \(d\geqq 1\), and prove some preliminary results that apply to both cases.
2.1 Notation
\({\mathcal {M}}(\varOmega )\), \({\mathcal {M}}_+(\varOmega )\) | signed and non-negative finite Borel measures on a generic set \(\varOmega \); |
\(m{\mathcal {P}}(\varOmega )\), \(m>0\) | non-negative Borel measures of mass m on a generic set \(\varOmega \) |
(see also p. 8 for the notation \({\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\} )\)); | |
\({\mathbb {T}}^d\), \(d\in {\mathbb {N}}\) | d-dimensional open flat torus, \({\mathbb {T}}^d = {\mathbb {R}}^d/{\mathbb {Z}}^d\); |
\({\widehat{f}}_k\), \(k\in {\mathbb {Z}}^d\) | Fourier coefficients of \(f\in L^2({\mathbb {T}}^d)\) (\({\widehat{f}} =({\widehat{f}}_k)_k \in \ell ^2({\mathbb {Z}}^d)\)), |
\({\widehat{f}}_k := \int _{{\mathbb {T}}^d} e^{-2 \pi i k \cdot x} f(x) \, \mathrm{d}x\); | |
\({\mathcal {F}}^{-1}(g)\) | inverse Fourier transform of \(g=(g_k)_k \in \ell ^2({\mathbb {Z}}^d)\), |
\({\mathcal {F}}^{-1}(g)(x) := \sum _{k \in {\mathbb {Z}}^d} g_k e^{2 \pi i k \cdot x}\); | |
\( \Vert g\Vert _{H^\ell ({\mathbb {T}}^d)}\), \( \ell \in {\mathbb {R}}\) | norm of \(g\in H^\ell ({\mathbb {T}}^d)\), |
\( \Vert g\Vert ^2_{H^\ell ({\mathbb {T}}^d)}:= \sum _{k \in {\mathbb {Z}}^d} (1 + |k|^2)^\ell \big | {\widehat{g}}_k \big |^2\); | |
\(W(\mu ,\nu )\) | 2-Wasserstein distance between \(\mu ,\nu \in {\mathcal {M}}_+ (\varOmega )\) |
(set \(=+\infty \) if the measures have different masses); | |
\(\Vert f \Vert _{\text {BL}}\) | norm on bounded Lipschitz functions \(f:\varOmega \rightarrow {\mathbb {R}}\), |
\(\Vert f \Vert _{\text {BL}} = \Vert f\Vert _\infty + |f |_{\text {Lip}}\), and \(|f |_{\text {Lip}}\) the Lipschitz constant of f; | |
\(\Vert \mu \Vert _{\text {BL}}^*\) | dual bounded Lipschitz norm of \(\mu \in {\mathcal {M}}(\varOmega )\), |
\(\Vert \mu \Vert _{\text {BL}}^* = \sup \big \{|\int _\varOmega f \mathrm{d}\mu |: \Vert f\Vert _{\text {BL}}\leqq 1\big \}\); | |
\({{\,\mathrm{Ent}\,}}(\mu )\) | entropy of \(\mu \in {\mathcal {M}}_+ (\varOmega )\), \({{\,\mathrm{Ent}\,}}(\mu ):=\int _{\varOmega } \mu \log \mu \); |
\({{\,\mathrm{Exp}\,}}_\alpha ({\mathbb {T}}^d)\), \(L\log ^\beta L({\mathbb {T}}^d)\) | Orlicz spaces on the flat torus (see Appendix A). |
2.2 General Setup
We consider points \(x_i\in {\mathbb {T}}^d\) with fixed signs \(b_i\in \{-1,+1\}\) for \(i=1,\dots ,n\) that evolve according to (1.6). We assume the following conditions on the related potentials V, \(V_\delta \), and U:
- (V1)
\({\widehat{V}}_k \geqq 0, \,\, [{{\widehat{V}}_\delta }]_k \geqq 0 \,\, \forall \, k\in {\mathbb {Z}}^d{\setminus } \{0\}\);
- (V2)
\(\sup _{k\in {\mathbb {Z}}^d{\setminus } \{0\}}(1+|k|^2)^\frac{d}{2} \big ({\widehat{V}}_k\vee [{{\widehat{V}}_\delta }]_k\big ) < \infty \) uniformly in \(\delta \);
- (V3)
\(V_\delta \rightarrow V\) in \({\mathcal {D}}' ({\mathbb {T}}^d)\) and \(V_\delta *\phi \rightarrow V*\phi \) strongly in \({{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)\) for every \(\phi \in C^1({\mathbb {T}}^d)\), as \(\delta \rightarrow 0\);
- (V4)
\(V_\delta \in W^{2,\infty }({\mathbb {T}}^d)\) with \(V_\delta (x) = V_\delta (-x)\);
- (U)
\(U\in C_b^\infty ({\mathbb {T}}^d)\).
We refer to Appendix A for the definition of the Orlicz space \({{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)\).
Remark 2.1
In the two-dimensional case, a possible choice for V is the Green’s function on the flat torus \({\mathbb {T}}^2\). Its Fourier coefficients are given by
A possible choice for its regularisation \(V_\delta \) is
Given a point \(x =(x_1,\dots ,x_n)\in ({\mathbb {T}}^d)^n\) and the associated sign \(b =(b_1,\dots ,b_n)\in \{\pm 1\}^n\), the discrete, regularised energy of the system is
where \(\delta > 0\) (see also (1.5)). For what follows it is convenient to express the particle energy (2.1) in terms of the empirical measures associated to x and b.
We recall the definition of empirical measures (see (1.3))
Note that there is an obvious isomorphism between (x, b) and \({\varvec{\mu }}_n\), modulo relabelling the particles. Throughout the paper we will consider the pairs of measures \({\varvec{\mu }}=(\mu ^+,\mu ^-) \in ({\mathcal {M}}_+ ({\mathbb {T}}^d))^2\) such that \(\mu ^++\mu ^- \in {\mathcal {P}}({\mathbb {T}}^d)\). With a slight abuse of notation we will denote this class with \({\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\} )\) (implicitly identifying the measure \({\varvec{\mu }}\) with a measure \(\mu ^++\mu ^-\in {\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\} )\), with \({\text {supp}}\mu ^+\subseteq {\mathbb {T}}^d \times \{+1\}\) and \({\text {supp}}\mu ^-\subseteq {\mathbb {T}}^d \times \{-1\}\)).
We define a continuum, \(\delta \)-regularised energy \(E_\delta \), that extends (2.1) to the whole space of probability measures \({\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\})\), as
where, in analogy with (2.2), \(\kappa := \mu ^+-\mu ^-\). Since the energy \(E_n\) is invariant under relabelling the particles, we have \(E_\delta ({\varvec{\mu }}_n) = E_n(x;b)\), where \({\varvec{\mu }}_n\) is the empirical measures associated to x and b.
We also recall the definition of entropy: for any \({\varvec{\rho }}=(\rho ^+,\rho ^-) \in {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\) with \(\rho ^\pm \ll dx\),
With a little abuse of notation, here, and in what follows, we denote by \(\rho ^+\) (resp. \(\rho ^-\)) a positive measure and its density with respect to the Lebesgue measure.
Finally we introduce the Wasserstein distance between measures in \({\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\). Let \({\varvec{\mu }}, {\varvec{\nu }}\in {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\). We define the (square of the) 2-Wasserstein distance between \({\varvec{\mu }}\) and \({\varvec{\nu }}\) as
where, for \(x', \ y' \in {\mathbb {T}}^d\times {\mathbb {R}}\), with \(x'=(x,a)\) and \(y'=(y,b)\),
Here \(\Vert \cdot \Vert _{{\mathbb {T}}^{d}}\) (denoted with \(|\cdot |_{{\mathbb {T}}}\) in the case \(d=1\)) is the induced metric on the manifold \({\mathbb {T}}^d\),
and \(\varGamma ({\varvec{\mu }},{\varvec{\nu }})\) is the set of couplings of \({\varvec{\mu }}\) and \({\varvec{\nu }}\), namely
As usual, we denote with \(\varGamma _\circ ({\varvec{\mu }},{\varvec{\nu }}) \subseteq \varGamma ({\varvec{\mu }},{\varvec{\nu }})\) the set of optimal transport plans\(\gamma \) for (2.4). Note that \(\varGamma _\circ ({\varvec{\mu }},{\varvec{\nu }}) \ne \emptyset \) (see, e.g., [59, Theorem 1.4]).
In the special case of \(\mu ^\pm ({\mathbb {T}}^d) = \nu ^\pm ({\mathbb {T}}^d)\), \({\mathbf {W}}\) enjoys some additional properties summarised in the next proposition.
Proposition 2.2
(Properties of \({\mathbf {W}}\)) Let \({\varvec{\mu }}=(\mu ^+,\mu ^-), {\varvec{\nu }}=(\nu ^+,\nu ^-) \in {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\) be such that \(\mu ^\pm ({\mathbb {T}}^d) = \nu ^\pm ({\mathbb {T}}^d)\). Then,
- (i)
\({\mathbf {W}}^2 \big ( {\varvec{\mu }}, {\varvec{\nu }}\big ) = W^2 \big ( \mu ^+, \nu ^+ \big ) + W^2 \big ( \mu ^-, \nu ^- \big )\), where W is the standard 2-Wasserstein distance on \({\mathcal {M}}_+({\mathbb {T}}^d)\) with cost \(\Vert \cdot \Vert ^2_{{\mathbb {T}}^{d}}\);
- (ii)
There exist \(\gamma \in \varGamma _\circ ({\varvec{\mu }},{\varvec{\nu }})\) and \(\gamma ^\pm \in \varGamma _\circ (\mu ^\pm ,\nu ^\pm )\) such that \(\gamma = (\gamma ^+, \gamma ^-)\), where \(\varGamma _\circ (\mu ^\pm ,\nu ^\pm )\) denotes the set of optimal transport plans for W.
Proof
To prove (i), just note that the inequality \({\mathbf {W}}^2 \big ( {\varvec{\mu }}, {\varvec{\nu }}\big ) \leqq W^2 \big ( \mu ^+, \nu ^+ \big ) + W^2 \big ( \mu ^-, \nu ^- \big )\) is trivial, since the infimum in the definition of \({\mathbf {W}}\) is computed on a larger set. The opposite inequality follows by observing that it is more convenient to redistribute mass within \({\mathbb {T}}^d\times \{1\}\) and \({\mathbb {T}}^d\times \{-1\}\) rather than moving mass between the two, since \({{\,\mathrm{diam}\,}}({\mathbb {T}}^d)<2\). Property (ii) follows immediately from (i). \(\quad \square \)
Next we extend [5, Theorem 8.4.7] to Wasserstein spaces on the torus.
Lemma 2.3
(Derivative of W along curves in \(m {\mathcal {P}}({\mathbb {T}}^d))\) Let \(m>0\) and let \(v \in C([0,T] \times {\mathbb {T}}^d; {\mathbb {R}}^d)\) be a vector field such that \(x\mapsto v(t,x)\) is Lipschitz continuous in \({\mathbb {T}}^d\) uniformly in t. Let \(\mu : (0,T) \rightarrow m {\mathcal {P}}({\mathbb {T}}^d)\) be any curve satisfying
Then, for every \(\sigma \in m{\mathcal {P}}({\mathbb {T}}^d)\), it holds that
for every \(0< t < T\), where \(k(x,y)\in {\mathbb {Z}}^d\) is such that \(\Vert x-y\Vert _{{\mathbb {T}}^{d}} = \Vert x-y +k(x,y)\Vert \), and \(\gamma \in \varGamma _\circ (\mu (t), \sigma )\).
Proof
Let \(0<t<T\) be fixed, let \(\mu \) be a given solution of (2.7), and let \(h\in {\mathbb {R}}\) be such that \(0< t+h < T\). We prove that
as \(h \rightarrow 0\), where \(k(x,y)\in {\mathbb {Z}}^d\) is as in (2.6) with respect to x and y. The claim then follows by dividing (2.8) by h and letting \(h\rightarrow 0\), for both \(h>0\) and \(h<0\).
For \(0< s < T-t\), let \(T_s\) be the map which to any \(x \in {\mathbb {T}}^d\) associates \(T_s x = y(t + s)\), where y is the solution of
We note that \(\mu (t+h) = (T_{h})_\# (\mu (t))\), and since v is continuous in both variables,
We now prove (2.8). Let \(\gamma \in \varGamma _\circ ( \mu (t), \sigma )\) and set \(\gamma _h := (T_h \times \text {id})_\# \gamma \in \varGamma ( \mu (t+h), \sigma )\). Then
By expanding the squares of the Euclidean distances and substituting (2.9) in the estimate above, we get the claim (2.8). \(\quad \square \)
We now state an approximation result that will be used in the construction of approximate initial data for the evolution. For the definition of the Orlicz space \(L \log L ({\mathbb {T}}^d)\) we refer to Appendix A.
Lemma 2.4
(Approximation in \({\mathbf {W}}\)) Let \({\varvec{\rho }}=(\rho ^+,\rho ^-) \in \big (L \log L (\mathbb T^d)\big )^2\cap {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\). There exists a sequences \({\varvec{\rho }}_n=(\rho ^+_n,\rho ^-_n) \in \big (L \log L (\mathbb T^d)\big )^2\cap {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\) with \(n\rho ^{\pm }_n({\mathbb {T}}^d)\in {\mathbb {N}}\) and \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}_n) \leqq c\), uniformly in n, such that
Moreover, there exist \((x^n,b^n)\) in \({\mathbb {T}}^d\times \{\pm 1\}\) such that the corresponding empirical measures \({\varvec{\mu }}_n=(\mu ^+_n,\mu ^-_n) \in {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\), defined as in (2.2), satisfy
Proof
We only give a sketch. We construct \({\varvec{\rho }}_n\) from \({\varvec{\rho }}\) by moving mass of at most 1 / n from \({\mathbb {T}}^d\times \{+1\}\) to \({\mathbb {T}}^d\times \{-1\}\). By (2.5), the cost of this transport is at most \((({{\,\mathrm{diam}\,}}{\mathbb {T}}^d/2)^2 + 2)/n\), i.e.,
To construct \({\varvec{\mu }}_n\), we choose \(\mu _n^\pm ({\mathbb {T}}^d) = \rho _n^\pm ({\mathbb {T}}^d)\), so that, by Proposition 2.2, it is enough to estimate \(W^2(\mu _n^\pm ,\rho _n^\pm )\). The idea is to split \({\mathbb {T}}^d\) into a d-cubic grid with cells of size of order \(n^{-1/d}\). Then, sequentially for each cell, we move at most 1 / n mass to the next neighbouring cell such that each cell has mass with a value in \(\frac{1}{n} {\mathbb {N}}\). For the so-constructed \({\tilde{\rho }}_n^\pm \), we construct \(\mu _n^\pm \) by placing in each of the cells \(n \tilde{\rho }_n^\pm (\text {cell})\) particles (the precise location does not matter). An elementary computation yields that
\(\square \)
Finally, in the next result we prove a bound for the convolution with \(\nabla V_\delta \) that will be crucial in establishing a priori bounds for solutions of the evolutionary problems.
Lemma 2.5
Let \(\delta >0\), and let \(V_\delta : {\mathbb {T}}^d \rightarrow {\mathbb {R}}\) be a regularised potential satisfying conditions (V1) and (V2). Then there exists a constant \(c > 0\), independent of \(\delta \), such that for all \(f \in L^2 ({\mathbb {T}}^d)\) we have
Proof
Let \(f \in L^2 ({\mathbb {T}}^d)\). Since \(\varDelta V_\delta * f \in L^2 ({\mathbb {T}}^d)\), by the Parseval’s Theorem and the Convolution Theorem we have
where we have also used (V1) and (V2). \(\quad \square \)
Remark 2.6
For slip-confined evolutions we will use the following anisotropic variant of (2.10), namely
where \(\partial _1\) is shorthand for \(\partial _{x_1}\), which can be proved in the same way as (2.10).
2.3 Detailed Formulation of the Two Problems
In this section we describe the isotropic and anisotropic evolutionary problems separately.
2.3.1 Case 1: Isotropic Evolution in Dimension \(d\geqq 1\)
This is the case that we discussed in the introduction for \(d=2\).
The difference between the isotropic case considered in this section and the anisotropic case of Section 2.3.2 is in the evolution. In the isotropic case the evolution equation is
as introduced in (1.6), which in components and by (2.1) reads as
on \((0,T], \ i = 1,\ldots ,n\). In the two-dimensional case \(d=2\), this model is inspired by the study of the motion of straight and parallel dislocations, which can be represented by points in the plane. In particular, the evolution (2.11) (or (2.12)) is best compared to the evolution of screw dislocations, which are free to move in multiple directions. The isotropy assumption means that dislocations are allowed to move in every direction (see e.g. [3, 10, 11] for a more faithful treatment of preferred slip directions). When considered in the full space \({\mathbb {R}}^2\), screw dislocations generate an interaction potential V that is explicit: \(V(x) = -\log |x|\) (up to material constants, which we disregard in this paper).
As the first step in establishing evolutionary convergence, we rewrite the evolutions of the particles in (2.11) in terms of the empirical measures \(\mu _n^\pm \), defined as in (2.2), associated to their positions. This is convenient since the Groma–Balogh equations (1.4) that we want to obtain in the many-particle limit \(n\rightarrow \infty \) of (2.11) are given in terms of measures too. In fact, for any fixed \(\delta >0\), the empirical measures \(\mu _n^\pm \) are solutions of the regularised Groma–Balogh equations
The convergence result, Theorem 3.3, states that, for \(\delta =\delta _n\rightarrow 0\) as \(n\rightarrow \infty \) sufficiently slowly, \(\mu ^\pm _n\) converge to solutions of the unregularised version
Definition 3.2 below specifies the solution concept for equations (2.14).
Remark 2.7
(Applications of \(d=1\)) At least two model situations motivate the case \(d=1\), namely (a) dislocations in two dimensions that are confined to a single slip plane, and (b) periodic walls of edge dislocations [60]. In both cases the potential scales as \(-\log |x|\) for small |x|. The positivity of the Fourier transform of the potential (b) follows by specialising the discussion on \(V_{\text {wall}}\) below to the one-dimensional case.
2.3.2 Case 2: Two-Dimensional Domain, Slip-Plane-Confined Motion
The case of edge dislocations naturally leads us to consider the case of a two-dimensional domain where the dislocations are confined to fixed slip directions, which we take to be horizontal (i.e., parallel to the first coordinate axis in \({\mathbb {T}}^2\)). Edge dislocations generate a different interaction potential than screw dislocations. In the case of horizontal slip, the interaction potential in \({\mathbb {R}}^2\) is
see, e.g., (5–16) in [42]. We construct the potential V on \({\mathbb {T}}^2\) by carefully summing over \({\mathbb {Z}}^2\) shifted copies of \(V_{\mathrm{edge}}\) first in the vertical and then in the horizontal direction.Footnote 3 In [67, App. A] it is shown that the pointwise limit
is well-defined for all \(x \in {\mathbb {R}}^2\), except at the singular points (0, k), \(k\in {\mathbb {Z}}\), of any shifted \(V_{\mathrm{edge}}\), and that \(V_{\text {wall}}\) is vertically 1-periodic with exponentially decaying tails in the horizontal direction. A straightforward computation shows that \(( V_M )_{M \in {\mathbb {N}}}\) converges uniformly in \({\mathbb {R}}^2\) away from the singularities; since the singular behaviour at each singularity is given by a translated copy of \(V_{\mathrm {edge}}\in L^1_{\mathrm {loc}}({\mathbb {R}}^2)\), we find that the convergence in (2.15) takes place in \(L^1_{\text {loc}} ({\mathbb {R}}^2)\).
Together with the exponential tails, we then find that the following limit is well-defined in \(L^1_{\mathrm {loc}} ({\mathbb {R}}^2)\):
It is clear that V is \({\mathbb {Z}}^2\)-periodic. Moreover, since \(V_{\mathrm{edge}}\) satisfies
in particular, all finite sums satisfy (2.16) for \(\varphi \in {\mathcal {D}}((-1,1)^2)\), and then
Therefore, using the periodicity of V, it is easy to see that
In Fourier space, equation (2.18) becomes
and hence, for every \(k\ne 0\),
The anisotropic and regularised evolution satisfied by the dislocation positions is
where the energy \(E_n\) is as in (2.1), and the confined gradient of a function \(f:\varOmega \subset {\mathbb {R}}^{2n}\rightarrow {\mathbb {R}}\) is defined in components, for \(i=1,\dots ,2n\), as
Hence in (2.19) it is only the horizontal component of the positions that varies in time, namely \(x^2(t) = x^2(0)\) for every t, where \(x^2 = (x^2_1, \dots , x_n^2)\), and \(x_i^2 = x_i\cdot e_2\), for every \(x_i \in {\mathbb {T}}^2\).
The empirical measures \(\mu _n^\pm \) defined in (2.2) and associated to the solution of (2.19) satisfy the regularised and constrained Groma–Balogh equations
The convergence result, Theorem 3.9, states that, if \(\delta =\delta _n\) tends to zero as \(n\rightarrow \infty \) sufficiently slowly, \(\mu ^\pm _n\) converge to solutions of the corresponding unregularised version, namely
3 Convergence Results
In this section we prove that the solutions of the discrete gradient-flow equations (2.11) (or (2.19)) associated to the regularised energy (1.5) converge to limit measures that solve equations (2.14) (or (2.21)) provided that \(\delta _n\rightarrow 0\) sufficiently slowly.
We consider the two cases outlined in Section 2.3: isotropic in dimension \(d\geqq 1\) and slip-confined in two dimensions. In both cases our approach builds on the existence proof given by Cannone, El Hajj, Monneau, and Ribaud in [15], where they introduce a functional framework in which the Groma–Balogh equations (2.21) for the slip-plane-confined case with \(U=0\) have a meaningful weak solution. The challenge they face is to give the nonlinear terms \(\rho ^\pm \partial _1 V*(\rho ^+-\rho ^-)\) a meaning in the sense of distributions on \((0,T)\times {\mathbb {T}}^2\), for some \(T>0\): since \(\rho ^+\) and \(\rho ^-\) are a priori only measures, and \(\partial _1 V\) is singular, this product need not have any meaning unless we make stronger assumptions on \(\rho ^\pm \). This is done by means of the following lemma, which has been proved in [15, Propositions 1.3] in the case \(d=2\), and is a key result in their analysis.
Lemma 3.1
Let \(d\geqq 1\), \(T>0\), \(f\in L^1(0,T; H^{\frac{d}{2}}({\mathbb {T}}^d))\) and \(g\in L^\infty (0,T;L\log L({\mathbb {T}}^d))\). Then
For the proof of this lemma for general \(d\geqq 1\) we use part (iv) of Lemma A.1 and integrate in time. Then we conclude by the embedding of \(H^{\frac{d}{2}}({\mathbb {T}}^d)\) into \({{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)\) in Lemma A.1 (vii).
In the next sections we describe and extend the functional framework of [15] for each of the two cases we consider, supplement it with new, quantitative discrete-to-continuum estimates, and formulate and prove our convergence results.
3.1 Case 1: Isotropic Drag Law in Dimension \(d\geqq 1\).
Here we consider the isotropic case introduced in Sections 1 and 2.3.1.
We first discuss the different concepts of solutions that we use. For a regularised potential \(V_{\delta }\) the function \(\nabla V_{\delta }*(\rho ^+-\rho ^-)\) is smooth; therefore the equations (2.13) are a pair of convection-diffusion equations with smooth velocity fields. In particular the equations preserve the regularity of the initial data, and on finite time intervals no derivatives blow up. Therefore the concept of a solution poses no problems, and one can consider both smooth and measure-valued solutions of these equations. The empirical measures \(\mu _n^\pm \) constructed above from the discrete solutions of (2.11) are examples of such measure-valued solutions.
For the case of a singular potential V, we need to be more careful. We use Lemma 3.1 above to guarantee that the integrals involving \(\rho ^\pm \nabla V*(\rho ^+-\rho ^-)\) are meaningful, and we define the concept of a solution as follows:
Definition 3.2
Let \(d\geqq 1\), let \({\varvec{\rho }}_\circ =(\rho ^+_\circ , \rho ^-_\circ )\in \big ( L \log L ({\mathbb {T}}^d) \big )^2 \cap {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\), let \(T>0\), and let \({\varvec{\rho }}=(\rho ^+, \rho ^-): [0,T]\rightarrow {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\). We say that \({\varvec{\rho }}\) is a solution of (2.14) in [0, T], with initial datum \({\varvec{\rho }}_\circ \), if
- (1)
\(\rho ^+, \rho ^-\in L^\infty (0,T;L\log L({\mathbb {T}}^d))\) and \(\nabla V*\kappa \in L^1(0,T;H^{\frac{d}{2}}({\mathbb {T}}^d;{\mathbb {R}}^d))\), where \(\kappa = \rho ^+-\rho ^-\);
- (2)
For every \(\varphi , \psi \in C_c^\infty ([0,T)\times {\mathbb {T}}^d)\)
$$\begin{aligned}&\int _0^T\int _{{\mathbb {T}}^d} \rho ^+ (t,x) \big (\partial _t \varphi (t,x) - \nabla \varphi (t,x) \cdot \nabla (V*\kappa + U)(t,x) \big ) \mathrm{d}x \mathrm{d}t +\\&\quad + \int _{{\mathbb {T}}^d} \rho _\circ ^+(x) \varphi (0,x) \mathrm{d}x =0,\\&\int _0^T\int _{{\mathbb {T}}^d} \rho ^- (t,x) \big (\partial _t \psi (t,x) + \nabla \psi (t,x) \cdot \nabla (V*\kappa + U)(t,x) \big ) \mathrm{d}x \mathrm{d}t +\\&\quad + \int _{{\mathbb {T}}^d} \rho _\circ ^-(x) \psi (0,x) \mathrm{d}x =0. \end{aligned}$$
The existence of a solution in the sense of Definition 3.2 will follow from our convergence Theorem 3.3 below. Uniqueness of solutions for such weak solutions is currently open; for stronger solution concepts, under assumptions of higher regularity, various uniqueness proofs have been constructed for related systems [27, 46, 48].
The main theorem of this section follows. We set \(\lambda _{\delta } := \Vert D^2 V_{\delta }\Vert _{L^\infty ({\mathbb {T}}^d)}\) and note that \(\lambda _{\delta }\rightarrow \infty \) as \(\delta \rightarrow 0\), then we can state
Theorem 3.3
(Evolutionary convergence) Let \(d\geqq 1\), let \({\varvec{\rho }}_\circ \in \big ( L \log L ({\mathbb {T}}^d) \big )^2 \cap {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\), and let \(({\varvec{\rho }}_{\circ ,n}), ({\varvec{\mu }}_{\circ ,n})\subset {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) be approximating sequences for \({\varvec{\rho }}_\circ \) as in Lemma 2.4. Let \(T>0\) be fixed, and let \(\delta _n>0\) be such that
Let \(t\mapsto {\varvec{\mu }}_n(t)\) be the empirical measure of the solution \(t\mapsto x^n(t)\) of (2.11) on [0, T], with \(\delta =\delta _n\) and initial datum \({\varvec{\mu }}_{\circ ,n}\).
Then the limit \({\varvec{\rho }}(t):=\lim _{n\rightarrow \infty }{\varvec{\mu }}_n(t)\) exists (up to a t-independent subsequence) with respect to \({\mathbf {W}}\), uniformly in \(t \in [0,T]\), where \({\varvec{\rho }}\) is a solution of the unregularised Groma–Balogh equations (2.14) in the sense of Definition 3.2 with initial datum \({\varvec{\rho }}_\circ \).
Remark 3.4
While (3.1) suggests that the choice of \(\delta _n\) depends on the initial data \(({\varvec{\mu }}_{\circ ,n})\), we can also reverse the dependence. Indeed, requiring instead that
the proof of Lemma 2.4 provides for every \({\varvec{\rho }}_\circ \in \big ( L \log L ({\mathbb {T}}^d) \big )^2 \cap {\mathcal {P}} (\mathbb T^d \times \{\pm 1\})\) a class of approximating sequences \(({\varvec{\mu }}_{\circ ,n})_n\) such that (3.1) holds for each such sequence.
Structure of the proof. We prove Theorem 3.3 by constructing an ‘intermediate’ trajectory \({\varvec{\rho }}_{\delta _n}\): \({\varvec{\rho }}_{\delta _n}\) is obtained by solving the regularised equations (2.13) with the modified initial datum \({\varvec{\rho }}_{\circ ,n}\). We then show that \({\mathbf {W}}({\varvec{\rho }}_{\delta _n}, {\varvec{\mu }}_n)\) vanishes as n tends to \(\infty \) (as a consequence of Lemma 3.5) and that \(({\varvec{\rho }}_{\delta _n})\) converges to a solution of (2.14) (Theorem 3.6).
Lemma 3.5
(Existence, uniqueness and Gronwall estimate for (2.13)) Let \(d\geqq 1\), and let \(\delta , T>0\) be fixed. Then for every \({\varvec{\mu }}_\circ \in {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) there exists a solution \({\varvec{\mu }}_\delta \in C([0,T]; \mathcal P ({\mathbb {T}}^d \times \{\pm 1\}))\) of the regularised equations (2.13) with initial datum \({\varvec{\mu }}_{\circ }\) (where continuity is intended with respect to \({\mathbf {W}}\)). Moreover, if \({\varvec{\mu }}_\circ , {\varvec{\nu }}_\circ \in {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) satisfy \(\mu ^\pm _\circ ({\mathbb {T}}^d) = \nu ^\pm _\circ ({\mathbb {T}}^d)\), then any solutions \({\varvec{\mu }}_\delta , {\varvec{\nu }}_\delta \in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}))\) to (2.13) with initial data \({\varvec{\mu }}_\circ \) and \({\varvec{\nu }}_\circ \) respectively, satisfy
where c is a constant independent of \(\delta \) and t. In particular, if \({\varvec{\mu }}_0={\varvec{\nu }}_0\), then \({\varvec{\mu }}_\delta (t) = {\varvec{\nu }}_\delta (t)\) for every \(t\in [0,T]\).
Proof
We split the proof into two steps.
Step 1: Existence. Let \({\varvec{\mu }}_{\circ }\in {\mathcal {P}} (\mathbb T^d \times \{\pm 1\})\). The existence of a solution for the regularised equations (2.13) with initial datum \({\varvec{\mu }}_{\circ }\in {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) follows by discrete (in space) approximation. More precisely, from Lemma 2.4 we get \((x^n_\circ , b^n) \in ({\mathbb {T}}^d)^n\times \{\pm 1\}^n\) such that the corresponding empirical measures \({\varvec{\mu }}_{\circ ,n}\) converge to \({\varvec{\mu }}_\circ \) in \({\mathbf {W}}\) as \(n\rightarrow \infty \). Let \(x^n(t)\), for \(t\in [0,T]\), denote the solution of (2.12) with initial datum \(x(0) = x^n_\circ \), and let \({\varvec{\mu }}_n(t)\) denote the corresponding empirical measure. Note that the sequence \({\varvec{\mu }}_n: [0,T] \rightarrow {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) satisfies all the assumptions of the refined version of the Ascoli-Arzelà Theorem [5, Proposition 3.3.1]. Indeed the metric space \(({\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}), {\mathbf {W}})\) is complete, and \({\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) is sequentially compact with respect to \({\mathbf {W}}\) (note that the domain \({\mathbb {T}}^d\) is bounded, so the convergence in measure and in \({\mathbf {W}}\) are equivalent). Moreover, the map \(t \mapsto {\varvec{\mu }}_n(t)\) is Lipschitz continuous with respect to \({\mathbf {W}}\), with Lipschitz constant independent of n (but depending on \(\delta \)). To see this first note that, from the equations (2.13) satisfied by \(\mu _n^\pm \) we have that \(\mu _n^\pm (s)({\mathbb {T}}^d)=\mu _n^\pm (t)({\mathbb {T}}^d)\) for every \(s\leqq t\), hence, by Proposition 2.2, it is sufficient to show that \(t\mapsto \mu _n^\pm (t)\) are Lipschitz continuous with respect to W. The latter follows, since, for every \(s\leqq t\), we have that
where we used (V4), and \({\mathcal {S}}_n\) denotes the set of permutations of \(\{1,\dots ,n\}\).
By the refined version of the Ascoli-Arzelà Theorem we conclude that there exists a time-independent subsequence of \(({\varvec{\mu }}_n)\) (not relabelled) and a limit curve \({\varvec{\mu }}_\delta = (\mu ^+_\delta , \mu ^-_\delta ): [0,T] \rightarrow {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) such that
and \({\varvec{\mu }}_\delta \) is \({\mathbf {W}}\)-continuous in [0, T].
We show that \({\varvec{\mu }}_\delta \) is a solution of (2.13) with initial datum \({\varvec{\mu }}_{\circ }\). First of all, \({\varvec{\mu }}_n\) is a solution (in the sense of distributions) of (2.13) with initial datum \({\varvec{\mu }}_{\circ ,n}\), namely
for every \(\varphi \in C_c^\infty ([0,T)\times {\mathbb {T}}^d)\), where \(\kappa _n=\mu _n^+-\mu _n^-\). Since, by construction \({\mathbf {W}}({\varvec{\mu }}_{\circ ,n},{\varvec{\mu }}_\circ ) \rightarrow 0\), and since \({{\mathbf {W}}}({\varvec{\mu }}_n(t),{\varvec{\mu }}_\delta (t)) \rightarrow 0\) for every \(t\in [0,T]\) by (3.3), we can immediately pass to the limit in the first and last term of (3.4) (note that convergence in \({\mathbf {W}}\) implies \(\text {weak}^*\)-convergence of the positive and negative components). For the nonlinear term, we pass to the limit pointwise in \(t\in (0,T)\), and conclude afterwards by applying the Dominated Convergence Theorem over the time integral. The spatial integral reads as
Since \((x,y) \mapsto \nabla \varphi (x) \cdot \nabla V_\delta (x - y)\) is continuous on \(({\mathbb {T}}^d)^2\), we can directly pass to the limit \(n \rightarrow \infty \).
Step 2: Gronwall inequality. Let now \({\varvec{\mu }}_\delta , {\varvec{\nu }}_\delta \in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}))\) be solutions of (2.13) with initial data \({\varvec{\mu }}_\circ , {\varvec{\nu }}_\circ \in {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) satisfying \(\mu _\circ ^\pm ({\mathbb {T}}^d) = \nu _\circ ^\pm ({\mathbb {T}}^d)\). From the equations (2.13) we see that \(\mu _\delta ^\pm (t)({\mathbb {T}}^d) = \mu _\circ ^\pm ({\mathbb {T}}^d)\) and \(\nu _\delta ^\pm (t)({\mathbb {T}}^d) = \nu _\circ ^\pm ({\mathbb {T}}^d)\) for every \(t\in [0,T]\), so in particular \(\mu _\delta ^\pm (t)({\mathbb {T}}^d) = \nu _\delta ^\pm (t)({\mathbb {T}}^d)\) for every t. By Proposition 2.2 we have that
Since the curves \(\mu _\delta ^\pm , \nu ^\pm _\delta \) are continuous in time, we have by (V4) that the fluxes \(v^\pm [{\varvec{\mu }}_\delta ]\) and \(v^\pm [{\varvec{\nu }}_\delta ]\) from the continuity equations (2.13), defined by
are continuous in time. They are moreover Lipschitz continuous in space, since (omitting t)
Hence, Lemma 2.3 applies. This yields that for every \({\varvec{\sigma }}\in {\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\})\) with \(\sigma ^\pm ({\mathbb {T}}^d) = \mu _\circ ^\pm ({\mathbb {T}}^d)\),
where \(\gamma _1^\pm \in \varGamma _\circ (\mu _\delta ^\pm , \sigma ^\pm )\) and \(\gamma _2^\pm \in \varGamma _\circ (\nu _\delta ^\pm , \sigma ^\pm )\). Combining (3.6) and (3.7) we deduce that
where \(\gamma ^\pm \in \varGamma _\circ (\mu _\delta ^\pm (t), \nu _\delta ^\pm (t))\) and \(k(x,y) = -k(y,x)\) is used. We now observe that (omitting t)
where we have used the estimate
and \(W_1\) denotes the 1-Wasserstein distance.Footnote 4 Hence, from (3.8) we obtain the bound
Adding up the estimates for the positive and the negative parts of the measures we conclude that
By using the Gronwall inequality, we obtain the final estimate
which gives (3.2). \(\quad \square \)
We now state the convergence of the regularised solution \({\varvec{\rho }}_{\delta }\), whose existence and uniqueness are established in Lemma 3.5, to a solution \({\varvec{\rho }}\) of (2.14).
Theorem 3.6
Let \(\delta , T>0\) be fixed. Let \({\varvec{\rho }}_\circ , {\varvec{\rho }}_{\circ ,\delta } \in \big ( L \log L (\mathbb T^d) \big )^2 \cap {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) be such that \({\varvec{\rho }}_{\circ ,\delta } {\mathop {\rightharpoonup }\limits ^{ * }} {\varvec{\rho }}_\circ \) in measure as \(\delta \rightarrow 0\), and \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}_{\circ ,\delta })\leqq c\) uniformly in \(\delta \). Let \({\varvec{\rho }}_\delta \in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}))\) be the solution of the regularised equation (2.13) with initial datum \({\varvec{\rho }}_{\circ ,\delta }\).
Then the limit \({\varvec{\rho }}:=\lim _{\delta \rightarrow 0}{\varvec{\rho }}_\delta \) exists (up to a subsequence) with respect to the \(\text {weak}^*\) convergence in \(L^\infty (0,T; (L\log L ({\mathbb {T}}^d))^2 )\), and \({\varvec{\rho }}\) is a solution of the Groma–Balogh equations (2.14) in the sense of Definition 3.2 with initial datum \({\varvec{\rho }}_\circ \).
In what follows we use the shorthand \(L^\infty ( L \log L )\) for the space \(L^\infty (0,T; L\log L ({\mathbb {T}}^d) )\), and adopt this convention for any function space on \((0,T) \times {\mathbb {T}}^d\).
The next lemma provides an a priori estimate for \(({\varvec{\rho }}_\delta )\) (uniformly in \(\delta \)), in terms of the entropy defined in (2.3).
Lemma 3.7
(A priori estimate for \(({\varvec{\rho }}_\delta ))\) Let \(d\geqq 1\), and let \(\delta , T>0\) be fixed. Let \({\varvec{\rho }}_{\circ ,\delta }\in \big ( L \log L ({\mathbb {T}}^d) \big )^2 \cap {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\), and let \({\varvec{\rho }}_\delta = (\rho ^+_\delta ,\rho ^-_\delta )\in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}))\) be the solution of (2.13) given by Lemma 3.5 with initial datum \({\varvec{\rho }}_{\circ ,\delta }\). Then \({\varvec{\rho }}_\delta \in L^\infty (0,T; (L \log L({\mathbb {T}}^d))^2 )\), and for all \(t\in [0,T]\) we have
where \(c > 0\) and \(C \geqq 0\) are constants independent of \(\delta \).
Proof
(Lemma 3.7) We split the proof into two steps. In the first step we prove the claim for a further regularisation of \({\varvec{\rho }}_\delta \), obtained by means of a viscous approximation; we then deduce the claim for \({\varvec{\rho }}_\delta \) in the limit for the viscous approximation parameter going to zero.
Step 1: Viscous approximation. Let \(\varepsilon >0\); we regularise the system (2.13) by adding the terms \(\varepsilon \varDelta \rho ^\pm \), namely we consider
with a smoothed initial condition given by \({\varvec{\rho }}_{\circ ,\delta }^\varepsilon := \varepsilon + (1 - \varepsilon ) \eta _\varepsilon * {\varvec{\rho }}_{\circ ,\delta }\), where \(\eta _\varepsilon \) is a mollifier defined as \(\eta _\varepsilon := \varepsilon ^{-d}\eta (\frac{\cdot }{\varepsilon })\), and \(\eta \in C^\infty ({\mathbb {T}}^d)\) is nonnegative and with \(\int _{{\mathbb {T}}^d}\eta =1\). Note that the components of the regularised initial datum \({\varvec{\rho }}_{\circ ,\delta }^\varepsilon \) are strictly positive. Since \({\varvec{\rho }}\mapsto \nabla V_{\delta } * (\rho ^+ - \rho ^-)\) is Lipschitz continuous (as shown in (3.5)), and \(U\in C^\infty _b({\mathbb {T}}^d)\) by assumption (U), it follows from standard parabolic theory and a bootstrap argument that (3.10) has a unique classical solution \({\varvec{\rho }}_{\delta }^\varepsilon = (\rho _\delta ^{\varepsilon ,+}, \rho _\delta ^{\varepsilon ,-}) \in (C^\infty ([0,T) \times {\mathbb {T}}^d))^2\). Moreover, the components \(\rho _\delta ^{\varepsilon , \pm }\) are strictly positive. This can be seen by applying the comparison principle (e.g., [47, Cor. 2.5]) to the (uncoupled) linear parabolic equations
Indeed, \(\rho _\delta ^{\varepsilon , \pm }\) is clearly a solution to (3.11), with initial datum \(\rho _{\circ ,\delta }^{\pm ,\varepsilon }\); moreover, the comparison function
is strictly positive, and is a sub-solution of (3.11) with initial datum below \(\rho _{\circ ,\delta }^{\pm ,\varepsilon }\). Therefore \(\rho _\delta ^{\varepsilon , \pm }\) is above the comparison function (3.12) in \([0,T) \times {\mathbb {T}}^d\), and hence is strictly positive.
By differentiating in time the entropy of \(\rho _\delta ^{\varepsilon ,+}\), and by using the \((\varepsilon ,\delta )\)-regularised equations (3.10), we have, by (2.3),
where \(\kappa ^\varepsilon _\delta =\rho ^{\varepsilon ,+}_\delta -\rho ^{\varepsilon ,-}_\delta \). Proceeding in the same way for the entropy of \(\rho ^{\varepsilon ,-}_\delta \), and adding up the resulting expressions, we have
where in the last step we have used Lemma 2.5, which provides a constant \(c>0\) independent of \(\delta \) and \(\varepsilon \). By integrating the previous inequality over [0, t], for \(0 \leqq t \leqq T\), we finally conclude that
Since \(\Vert \kappa ^\varepsilon _\delta \Vert _{L^1({\mathbb {T}}^d)}\leqq 1\) and \(U\in C^2_b({\mathbb {T}}^d)\), from (3.13) we deduce that
namely \({\varvec{\rho }}_\delta ^\varepsilon \) satisfies the claim (3.9).
Step 2: Claim for\({\varvec{\rho }}_\delta \). From (3.14) and part (i) of Lemma A.1 we conclude that
with a constant independent of \(\delta \) and \(\varepsilon \). Hence there exists some \({\tilde{\rho }}^\pm _\delta \in L^\infty (L \log L)\) such that, up to a subsequence (not relabelled)
as \(\varepsilon \rightarrow 0\), i.e., in duality with \(L^1( {{\,\mathrm{EXP}\,}})\) (see Lemma A.1, part (iii)).
Next we pass to the limit \(\varepsilon \rightarrow 0\) in (3.14). The convergence (3.15) and the convexity of \({{\,\mathrm{Ent}\,}}\) allow us to pass to the limit in the first term by lower semicontinuity. Similarly, the strong convergence of \({\varvec{\rho }}_{\circ ,\delta }^\varepsilon \) to \({\varvec{\rho }}_{\circ ,\delta }\) in \(L\log L({\mathbb {T}}^d)\) gives the convergence of \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}^\varepsilon _{\circ ,\delta })\) to \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}_{\circ ,\delta })\) as \(\varepsilon \rightarrow 0\) (see, e.g., [15, Lemma 5.3]. Finally, the convolution term \(\nabla V_{\delta }*\kappa ^\varepsilon _\delta \) is bounded and hence weakly convergent in \(L^2(H^{d/2})\). By (3.15), its limit is \(\nabla V_{\delta }*({\tilde{\rho }}^+_\delta -{\tilde{\rho }}^-_\delta )\). Collecting these convergence results, we obtain from (3.14), for every \(t\in [0,T]\), the estimate
Finally, we prove that \({\tilde{\rho }}^\pm _\delta \) is a solution of (2.13) with initial datum \({\varvec{\rho }}_{\circ ,\delta }\). This follows by letting \(\varepsilon \rightarrow 0\) in the weak form of the \((\varepsilon ,\delta )\)-regularised equations (3.10) satisfied by \({\varvec{\rho }}_\delta ^\varepsilon \), proceeding similarly as in Step 1 of the proof of Lemma 3.5. By the uniqueness result in Lemma 3.5 we conclude that \({\tilde{\rho }}^\pm _\delta = \rho ^\pm _\delta \), and hence (3.16) gives the claim and concludes the proof. \(\quad \square \)
We are now ready to prove Theorem 3.6, namely to connect the regularised solutions \(({\varvec{\rho }}_\delta )\) of (2.13), with initial approximate datum \({\varvec{\rho }}_{\circ ,\delta }\), with a solution of the unregularised Groma–Balogh equations with initial datum \({\varvec{\rho }}_\circ \).
Proof
(Theorem 3.6) Note that the existence of \({\varvec{\rho }}_{\circ ,\delta } \in \big ( L \log L ({\mathbb {T}}^d) \big )^2 \cap {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\})\) such that \({\varvec{\rho }}_{\circ ,\delta } {\mathop {\rightharpoonup }\limits ^{ * }} {\varvec{\rho }}_\circ \) as \(\delta \rightarrow 0\) in measure, and \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}_{\circ ,\delta })\leqq c\) uniformly in \(\delta \), follows from Lemma 2.4. We split the proof into three steps.
Step 1: Compactness of\({\varvec{\rho }}_\delta \). Since \({{\,\mathrm{Ent}\,}}({\varvec{\rho }}_{\circ ,\delta })\leqq c\) uniformly in \(\delta \), from Lemma 3.7 and part (i) of Lemma A.1, we have that \({\varvec{\rho }}_\delta =(\rho ^+_\delta , \rho ^-_\delta )\) and \(\kappa _\delta = \rho ^+_\delta -\rho ^-_\delta \) satisfy the following a priori estimates:
By the first bound in (3.17) we can extract a subsequence (not relabelled) such that
as \(\delta \rightarrow 0\), i.e., in duality with \(L^1( {{\,\mathrm{EXP}\,}})\), for some \(\rho ^\pm \in L^\infty (L \log L)\).
Next we show that \({\varvec{\rho }}(t) \in {\mathcal {P}}({\mathbb {T}}^d\times \{\pm 1\})\) for almost all t. Let \(\varphi \in C([0,T])\) be a test function (note that \(\varphi \in L^1( {{\,\mathrm{EXP}\,}})\), since \({{\,\mathrm{EXP}\,}}({\mathbb {T}}^d)\) contains the constants). We compute
and thus \(\int _{{\mathbb {T}}^d}(\rho ^+(t,x)+\rho ^-(t,x)) \mathrm{d}x = 1\) for almost all t.
Step 2: Compactness of\(\nabla V_\delta *\kappa _\delta \)in\(L^2({{\,\mathrm{EXP}\,}})\). From the second estimate in (3.17) we deduce that \(\nabla V_{\delta }*\kappa _\delta \) is bounded in \(L^2(H^{d/2})\), and hence, up to a subsequence, weakly convergent to a limit \(f\in L^2(H^{d/2})\). We now show that the convergence is actually strong in \(L^2({{\,\mathrm{EXP}\,}})\), and that \(f = \nabla V*\kappa \), where \(\kappa = \rho ^+-\rho ^-\).
We first note that \(\rho _\delta ^\pm \nabla V_{\delta }*\kappa _\delta \) is bounded in \(L^2(L\log ^{1/2}L)\). Indeed, by Lemma A.1 (v) and (vi) (integrated in time), and by (3.17),
Using (3.19) and (3.17), we show that \(\partial _t \rho _\delta ^\pm \) is bounded in \(L^2(H^{-(d+1)})\). Indeed, by Lemma A.1 (vi), and by using (2.13), we have that for any \(\varphi \in C_c^\infty ((0,T)\times {\mathbb {T}}^d)\)
Using \(\partial _t \kappa _\delta \in L^2(H^{-(d+1)})\) we show next that \(\partial _t (\nabla V_{\delta } * \kappa _\delta )\) is bounded in \(L^2(H^{-(d+1)})\). First, we note that by taking the difference of the equations (2.13) we have that \(\partial _i V_\delta *\kappa _\delta \) satisfies, for \(i=1,\dots ,d\),
in the sense of distributions, namely for any \(\varphi \in C_c^\infty ((0,T)\times {\mathbb {T}}^d)\)
Using (3.19), we can then estimate the right-hand side of (3.21) in absolute value by
which is uniformly bounded in \(\delta \) by (V2), since
By applying Lemma A.2 with \(p=q=2\) to the triple \(H^{d/2} ({\mathbb {T}}^d) \subset \subset {{\,\mathrm{EXP}\,}}({\mathbb {T}}^d) \subset H^{-(d+1)} ({\mathbb {T}}^d)\) (see Lemma A.1 (vii)), we find that \(\nabla V_{\delta } * \kappa _\delta \) is compact in \(L^2({{\,\mathrm{EXP}\,}})\), namely it converges strongly to f.
Finally, we show that \(f = \nabla V*\kappa \). To see this, we compute the distributional limit of the sequence \(\nabla V_{\delta } * \kappa _\delta \). Let \(\psi \in C_c^\infty ((0,T)\times {\mathbb {T}}^d; {\mathbb {R}}^d)\) be a test function; then we have
By using (3.18) and assumption (V3), we have for the last term that
and by the uniqueness of the limit of \(\nabla V_{\delta } * \kappa _\delta \) we deduce that \(f = \nabla V*\kappa \).
Step 3: The limit\(\rho ^\pm \)is a solution of the unregularised Groma–Balogh equations. The solution \({\varvec{\rho }}_\delta \in (L^\infty (L \log L))^2\) of the regularised equation (2.13) with initial datum \({\varvec{\rho }}_{\circ ,\delta }\) satisfies the weak equations
for every \(\varphi \in C_c^\infty ([0,T)\times {\mathbb {T}}^d)\). We now show that, thanks to the compactness results in Steps 1 and 2, we can pass to the limit in (3.22) as \(\delta \rightarrow 0\), hence showing that \({\varvec{\rho }}\) is a solution of the unregularised Groma–Balogh equations, in the sense of Definition 3.2, with initial datum \({\varvec{\rho }}_\circ \).
By (3.18), we can pass to the limit in the first and in the third terms of the first integral in equations (3.22). For the last term, the convergence is immediate, since \({\varvec{\rho }}_{\circ ,\delta } {\mathop {\rightharpoonup }\limits ^{ * }} {\varvec{\rho }}_\circ \) as \(\delta \rightarrow 0\). To pass to the limit in the nonlocal terms of equations (3.22), note that, by (3.18) and by Step 2,
This concludes the proof of the theorem. \(\quad \square \)
Finally, we prove our main result, Theorem 3.3, by combining Lemma 3.5 and Theorem 3.6.
Proof
(Theorem 3.3) Let \((\delta _n)\) be an infinitesimal sequence satisfying assumption (3.1). Let \(t\mapsto {\varvec{\mu }}_n(t)\) be the empirical measure of the solution \(t\mapsto x^n(t)\) of (2.11) with initial datum \({\varvec{\mu }}_{\circ ,n}\), and let \({\varvec{\rho }}_{\delta _n} \in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^d \times \{\pm 1\}))\cap L^\infty (0,T; (L \log L({\mathbb {T}}^d))^2)\) be the solution of the regularised equation (2.13) with initial datum \({\varvec{\rho }}_{\circ , n}\), whose existence and uniqueness are established in Lemma 3.5, and whose bounds are proved in Lemma 3.7.
First, by Lemma 3.5 and assumption (3.1), we can extract a subsequence of \(\delta _n\) (not relabelled) along which we have
Moreover, we claim that
Property (3.24a) is given directly by (3.17); (3.24b) follows from (3.19) since, for any \(\varphi \in C_c^\infty ((0,T)\times {\mathbb {T}}^d)\), proceeding similarly as to (3.20),
where we have used the continuous embedding \(L^\infty ({\mathbb {T}}^d)\hookrightarrow {{\,\mathrm{Exp}\,}}_2({\mathbb {T}}^d)\) (see, e.g., [45, Lemma 1]).
Thanks to (3.24a) and (3.24b), we apply Lemma A.2 to \(X_0 = (L\log L({\mathbb {T}}^d))^2\) and \(X=X_1 = (W^{-1,1} ({\mathbb {T}}^d))^2\) to deduce compactness of \(({\varvec{\rho }}_{\delta _n})\) in \(C^0([0,T]; (W^{-1,1} ({\mathbb {T}}^d))^2)\). In particular, up to a subsequence,
where, by Theorem 3.6, \({\varvec{\rho }}\) is a solution of the unregularised Groma–Balogh equations with initial datum \({\varvec{\rho }}_\circ \), in the sense of Definition 3.2. Since the dual bounded Lipschitz norm, when restricted to \({\mathcal {P}}({\mathbb {T}}^d \times \{\pm 1\} )\), is equivalent to \({\mathbf {W}}\) (by Kantorovich duality), we deduce from (3.25) that
In conclusion, (3.23) and (3.26) imply that \({\mathbf {W}}({\varvec{\mu }}_n(t),{\varvec{\rho }}(t))\rightarrow 0\) along a subsequence as \(n \rightarrow \infty \), uniformly in \(t \in [0,T]\). This concludes the proof of Theorem 3.3. \(\quad \square \)
3.2 Case 2: Two-Dimensional Domain, Slip Plane-Confined Evolution.
Here we consider the anisotropic case in two dimensions, as in Section 2.3.2. The main result of this section is Theorem 3.9, which is the analogue of Theorem 3.3 in this framework.
In analogy with Definition 3.2, we define the concept of solution for the unregularised and anisotropic evolution (2.21) as follows.
Definition 3.8
Let \({\varvec{\rho }}_\circ =(\rho ^+_\circ , \rho ^-_\circ )\in \big ( L \log L ({\mathbb {T}}^2) \big )^2 \cap {\mathcal {P}}({\mathbb {T}}^2\times \{\pm 1\})\), let \(T>0\), and let \({\varvec{\rho }}=(\rho ^+, \rho ^-): [0,T]\rightarrow {\mathcal {P}}(\mathbb T^2\times \{\pm 1\})\). We say that \({\varvec{\rho }}\) is a solution of (2.21) in [0, T], with initial datum \({\varvec{\rho }}_\circ \), if
- (1)
\(\rho ^+, \rho ^-\in L^\infty (0,T;L\log L({\mathbb {T}}^2))\) and \(\partial _1 V*\kappa \in L^1(0,T;H^1({\mathbb {T}}^2))\), where \(\kappa = \rho ^+-\rho ^-\);
- (2)
For every \(\varphi , \psi \in C_c^\infty ([0,T)\times {\mathbb {T}}^2)\)
$$\begin{aligned}&\int _0^T\int _{{\mathbb {T}}^2} \rho ^+ (t,x) \big (\partial _t \varphi (t,x) - \partial _1 \varphi (t,x) \, \partial _1 (V*\kappa + U)(t,x) \big ) \mathrm{d}x \mathrm{d}t \\&\quad + \int _{{\mathbb {T}}^2} \rho _\circ ^+(x) \varphi (0,x) \mathrm{d}x =0,\\&\int _0^T\int _{{\mathbb {T}}^2} \rho ^- (t,x) \big (\partial _t \psi (t,x) + \partial _1 \psi (t,x) \, \partial _1 (V*\kappa + U)(t,x) \big ) \mathrm{d}x \mathrm{d}t\\&\quad + \int _{{\mathbb {T}}^2} \rho _\circ ^-(x) \psi (0,x) \mathrm{d}x =0. \end{aligned}$$
We set, as in the previous section, \(\lambda _{\delta } := \Vert D^2 V_{\delta }\Vert _{L^\infty ({\mathbb {T}}^2)}\). The main theorem of this section is the following:
Theorem 3.9
(Evolutionary convergence) Let \({\varvec{\rho }}_\circ \in \big ( L \log L ({\mathbb {T}}^2) \big )^2 \cap {\mathcal {P}} ({\mathbb {T}}^2 \times \{\pm 1\})\), and let \(({\varvec{\rho }}_{\circ ,n}), ({\varvec{\mu }}_{\circ ,n})\subset {\mathcal {P}} ({\mathbb {T}}^2 \times \{\pm 1\})\) be approximating sequences for \({\varvec{\rho }}_\circ \) as in Lemma 2.4. Let \(T>0\) be fixed, and let \(\delta _n>0\) be such that
Let \(t\mapsto {\varvec{\mu }}_n(t)\) be the empirical measure of the solution \(t\mapsto x^n(t)\) of (2.19) on [0, T], with \(\delta =\delta _n\) and initial datum \({\varvec{\mu }}_{\circ ,n}\).
Then the limit \({\varvec{\rho }}(t):=\lim _{n\rightarrow \infty }{\varvec{\mu }}_n(t)\) exists (up to a t-independent subsequence) with respect to \({\mathbf {W}}\), uniformly in \(t \in [0,T]\), where \({\varvec{\rho }}\) is a solution of the unregularised Groma–Balogh equations (2.21) in the sense of Definition 3.8 with initial datum \({\varvec{\rho }}_\circ \).
Structure of the proof of Theorem3.9. Again, we prove this theorem by constructing an intermediate solution \({\varvec{\rho }}_{\delta _n}\) of the regularised equations (2.20) with the modified initial condition \({\varvec{\rho }}_{\circ ,n}\) with \(n\rho ^\pm _{\circ ,n}({\mathbb {T}}^2)\in {\mathbb {N}}\), and show that \({\varvec{\rho }}_{\delta _n}\) is close to \({\varvec{\mu }}_n\) with respect to \({\mathbf {W}}\), uniformly in time, and converges to a solution \({\varvec{\rho }}\) of (2.21).
Proof
We split the proof into three steps.
Step 1: Existence, uniqueness and Gronwall estimate for (2.20) for fixed\(\delta \). The proof of the existence of a solution for (2.20) follows by discretisation via empirical measures, exactly as in Step 1 of the proof of Lemma 3.5. Similarly, the derivation of the Gronwall estimate can be done as in Step 2 of the proof of Lemma 3.5.
Step 2: Convergence of\({\varvec{\rho }}_{\delta }\)to a solution\({\varvec{\rho }}\)of (2.21). We split this step into two sub-steps: The derivation of a-priori bounds for \({\varvec{\rho }}_\delta \), in the spirit of Lemma 3.7, and the limit process as \(\delta \rightarrow 0\).
Step 2.1: Bounds for\({\varvec{\rho }}_\delta \)for fixed\(\delta \). Let \(\varepsilon >0\) and let \({\varvec{\rho }}_{\delta }^\varepsilon = (\rho _\delta ^{\varepsilon ,+}, \rho _\delta ^{\varepsilon ,-}) \in C^\infty ([0,T) \times {\mathbb {T}}^2)\) be the solution of the regularisation of the system (2.20) obtained by adding the term \(\varepsilon \varDelta \rho ^\pm \) to both equations as for (3.10), and by regularising the initial datum \({\varvec{\rho }}_{\circ ,\delta }\). Following the proof of Lemma 3.7 and using Remark 2.6, it is easy to show, for every \(t\in [0,T]\), and with
that the limit of \({\varvec{\rho }}^\varepsilon _\delta \) as \(\varepsilon \rightarrow 0\) is the solution \({\varvec{\rho }}_\delta \) of (2.13) with initial datum \({\varvec{\rho }}_{\circ ,\delta }\), and that \({\varvec{\rho }}_\delta \) satisfies
by letting \(\varepsilon \rightarrow 0\) in (3.28).
Step 2.2: Convergence of\({\varvec{\rho }}_\delta \)to a solution of (2.21). Here we can follow exactly the proof of Theorem 3.6 to deduce convergence of \({\varvec{\rho }}_\delta \) to a solution \({\varvec{\rho }}\) of (2.21), with respect to the \(\text {weak}^*\) convergence in \(L^\infty (0,T; (L\log L ({\mathbb {T}}^2))^2 )\).
Step 3: Conclusion. Let \((\delta _n)\) be an infinitesimal sequence satisfying assumption (3.27). Let \(t\mapsto {\varvec{\mu }}_n(t)\) be the empirical measure of the solution \(t\mapsto x^n(t)\) of (2.19) with initial datum \({\varvec{\mu }}_{\circ ,n}\), and let \({\varvec{\rho }}_{\delta _n} \in C([0,T]; {\mathcal {P}} ({\mathbb {T}}^2 \times \{\pm 1\}))\cap ( L^\infty (0,T; (L \log L({\mathbb {T}}^2))^2)\) be the solution of the regularised equation (2.13) with initial datum \({\varvec{\rho }}_{\circ ,n}\), whose existence and uniqueness are established in Step 1 of the proof, and whose bounds are proved in Step 2.
Then, proceeding as in the proof of Theorem 3.3, we can extract a time-independent subsequence of n (not relabelled) along which we have simultaneously
uniformly in time, where \({\varvec{\rho }}\) is a solution of the unregularised Groma–Balogh equations (2.21), in the sense of Definition 3.8, with initial datum \({\varvec{\rho }}_\circ \). \(\quad \square \)
4 Non-convergence: A Uniform Distribution of Short Dipoles
In this section we construct counterexamples to the discrete-to-continuum convergence of gradient flows for the isotropic and the slip-confined cases of Section 2. More precisely, for the isotropic case in dimension \(d=1,2\) and for the slip-confined case in dimension \(d=2\), we construct a family of initial data for the particle systems (1.6) such that the resulting discrete solutions do converge to a continuum limit, but this limit does not solve the corresponding Groma–Balogh equations (1.4). In Section 4.1 we explain the idea behind this construction, and heuristically describe how this choice leads to non-convergence. In Section 4.2 we state and prove the non-convergence result for the isotropic one-dimensional (Theorem 4.1) and two-dimensional cases (Theorem 4.4). Section 4.3 deals with the anisotropic case of edge dislocations.
4.1 Choice of the Initial Conditions \((x_\circ ^n,b_\circ ^n)\).
The strategy of the counterexamples is as follows. We assume that the regularisation parameter \(\delta _n\) converges to zero sufficiently quickly, and we construct a sequence of initial data for which the resulting solutions of (1.6) are constant in time, at least approximately. The continuum limit of these solutions is then constant in time, and therefore is not a solution of the Groma–Balogh equations (1.4), unless \(\nabla U \equiv 0\).
In Figure 1 we sketch our initial condition \((x_\circ ^n,b_\circ ^n)\) in the case of edge dislocations in a two-dimensional domain. We choose to position \(\frac{n}{2}\)dipoles of width of order \(\delta _n\) at a distance of order at least \(\tfrac{1}{\sqrt{n}}\) from one another, under the assumption that \(\delta _n\ll \frac{1}{n}\) (the precise assumption on the relation between \(\delta _n\) and n will be specified in each section).
The idea behind our choice for the initial condition is the following. Since V blows up logarithmically at 0, \(-V_{\delta _n}\) has a deep well around 0 of width proportional to \(\delta _n\). We call a pair of a positive and a negative dislocation at \((x_{\circ ,i}^{n,+}, x_{\circ ,i}^{n,-})\) a short dipole if it ‘fits’ in this well (namely, if its width is smaller than the width of the well). By the logarithmic nature of the singularity of \(V_{\delta _n}\), the walls of this well are \(\frac{1}{\delta _n}\) steep, so that it takes a large force to break this dipole apart.
On the other hand, the dipole-dipole interaction is weak: indeed the force field generated by a dipole at \(z_{\circ ,i}^n\) is small at any \(y \in {\mathbb {T}}^2\) with \(|y - z_{\circ ,i}^n| > \tfrac{c}{\sqrt{n}}\), since the interaction forces \(\nabla V_{\delta _n}(x_{\circ ,i}^{n,+} - y)\) and \(-\nabla V_{\delta _n}(x_{\circ ,i}^{n,-} - y)\) generated by the positive and the negative dislocations in the dipole cancel out up to an error of order \(\delta _n\). Similarly, also the net effect of the force \(-\nabla U\) generated by the external potential U on the dipole is of order \(\delta _n\).
Hence, the evolution of the short dipoles governed by (1.6) is slow in time, and each dipole does not break apart. By choosing the initial positions carefully, and by making appropriate assumptions on the rate \(\delta _n\rightarrow 0\), we can then prove that the solution \(x^n(t)\) of (1.6) is approximately stationary, namely \(x^n(t) \approx x^n_\circ \) for all \(t \in [0,T]\), up to an error term that is infinitesimal as \(n \rightarrow \infty \).
Now, let \({\varvec{\rho }}_\circ = (\rho _\circ ^+,\rho _\circ ^-) \in {\mathcal {P}}({\mathbb {T}}^2\times \{\pm 1\})\) be such that \(\rho _\circ ^+ = \rho _\circ ^- \in L^\infty ({\mathbb {T}}^2)\). The assumption that \(\rho _\circ ^+ = \rho _\circ ^-\) is essential since it allows us to approximate \({\varvec{\rho }}_\circ \) with short dipoles \((x_\circ ^n,b_\circ ^n)\) as in Figure 1, with \(c = 1/\Vert \rho _\circ ^+ \Vert _\infty \). Then, the fact that the discrete solutions \(x^n(t)\) of (1.6) with initial data \((x_\circ ^n,b_\circ ^n)\) are approximately constant implies that \({\varvec{\mu }}_n (t) \rightharpoonup {\varvec{\rho }}_\circ \) as \(n \rightarrow \infty \) for all \(t \in [0, T]\), where \({\varvec{\mu }}_n(t)\) is the empirical measure associated to \((x^n(t),b_\circ ^n)\). However, if we assume that \(\nabla U \not \equiv 0\) on \({\text {supp}}{\varvec{\rho }}_\circ \), then the limit stationary solution \({\varvec{\rho }}_\circ \) is not a solution to the limit equation (1.4).
In the remainder of this section we make the arguments above rigorous in the isotropic case in dimension one and two (Section 4.2), and in the two-dimensional slip-confined case (Section 4.3).
4.2 The Isotropic Case: \(d=1\) and \(d=2\).
Let \({\mathbb {T}}^d\) be the d-dimensional flat torus, and let \(\Vert \cdot \Vert _{{\mathbb {T}}^{d}}\) denote the distance on \({\mathbb {T}}^d\) defined in (2.6). Let \(\delta _n>0\) for every \(n\in {\mathbb {N}}\). We assume that \(V, V_{\delta _n}, U: {\mathbb {T}}^d \rightarrow {\mathbb {R}}\) satisfy the following assumptions, in analogy with the ones listed in Section 2 (here the subscript I stands for ‘isotropic’):
\((V1)_{\text {I}}\)\(\big \Vert \Vert s\Vert _{{\mathbb {T}}^{d}}^2 D^2V(s) \big \Vert _{L^\infty ({\mathbb {T}}^d)} < \infty \), and \(V(x) = V(-x)\);
\((V2)_{\text {I}}\)\(V_{\delta _n} \in C^2({\mathbb {T}}^d)\), and \(V_{\delta _n}(x) = V_{\delta _n}(-x)\);
\((V3)_{\text {I}}\)\(\left\{ \begin{array}{l} (d=1) \,\exists \, c, \gamma> 0 \text { such that } V'_{\delta _n}(2 \gamma \delta _n) \leqq - c / \delta _n \text { for }n \text { large;} \\ (d=2) \text { there exist }C, c > 0\text { , and a closed and simple }C^1\text { -curve }\varGamma _n =\partial B_n,\\ B_n\subset B(0, C \delta _n)\text { , such that }\max _{\varGamma _n} \big (\nabla V_{\delta _n}\cdot \nu _n\big ) \leqq - c / \delta _n\text { for }n\text { large, }\\ \hbox {where}~\nu _n\text { is the outward pointing normal to }\varGamma _n; \end{array} \right. \)
\((V4)_{\text {I}}\)\(\displaystyle \delta _n \Vert \nabla V_{\delta _n} \Vert _{L^\infty ({\mathbb {T}}^d)}\) is bounded in n;
\((V5)_{\text {I}}\)\(\forall \ c > 0\)\(\exists \ C > 0\) such that \(\sup \Big \{\Vert D^2V_{\delta _n} (s)\Vert : \Vert s\Vert _{{\mathbb {T}}^{d}} > \frac{c}{n^{1/d}} \Big \} \leqq C n^{\frac{2}{d}}\) for n large;
\((U)_{\text {I}}\)\(U \in C^2({\mathbb {T}}^d)\).
The assumptions above are quite natural and are satisfied by the one-dimensional model potential \(V_{\delta _n}(s)= -\frac{1}{2} \log (s^2+\delta _n^2)\). Assumption \((V5)_{\text {I}}\) mimics the bound \((V1)_{\text {I}}\) on V, and forces the regularisation of the singularity to be localised in an interval around 0 with length asymptotically smaller than \(\tfrac{1}{n^{1/d}}\) (which is the typical dipole-dipole distance in dimension d). Assumption \((V4)_{\text {I}}\) provides an a priori bound on the force generated by a dislocation; this assumption can be easily relaxed by asking \(\delta _n^\ell \Vert \nabla V_{\delta _n} \Vert _{\infty }\) to be bounded for some \(\ell \in {\mathbb {N}}\). Assumption \((V3)_{\text {I}}\) identifies a force barrier of slope \(\tfrac{1}{\delta _n}\) on the boundary of a region of diameter \(\delta _n\), which needs to be overcome for a dipole to break apart. In dimension one the region of diameter \(\delta _n\) is an interval; in the two-dimensional case, this barrier lives on the boundary of a region \(B_n\) contained in the ball \(B(0, C \delta _n) \subset {\mathbb {T}}^2\), namely on a closed curve which encloses 0. Possible choices for \(\varGamma _n\) are spheres of the form \(\{ s \in {\mathbb {T}}^2 : \Vert s\Vert _{{\mathbb {T}}^2} = \gamma \delta _n \}\) or level sets of \(V_{\delta _n}\) such as \(\{ s \in {\mathbb {T}}^2 : V_{\delta _n} (s) = - \gamma \log \delta _n \}\). The precise choice of \(\varGamma _n\) depends on the type of regularisation and on the symmetries of V.
4.2.1 The One-Dimensional Case
This is the case we describe in detail. The two-dimensional case will be briefly illustrated in Section 4.2.2, just by highlighting in what it differs from the one-dimensional setup treated here.
We consider a special arrangement of dislocations of alternated sign (\(-+-+\dots \)) into short dipoles. This corresponds to the choice of n even and \(b_i=(-1)^i\) in the energy (1.5). It is convenient to re-label the positions of positive and negative dislocations as
We now define a new set of variables \((z,d)\in {\mathbb {T}}^n\), for \(k=1,\dots ,\frac{n}{2}\), as follows:
The variable \(z_k\) represents the position of the mid-point of the k-th dipole, while \(d_k\) is the half-width of the k-th dipole. We consider the case of n / 2 short dipoles, where the width of the dipole is much smaller than the dipole-dipole distance. This can be formally expressed by the condition \(\max _k |d_k|\ll \min _{i \ne j} |z_i - z_j|_{{{\mathbb {T}}}}\).
In terms of the variables (z, d) the energy (1.5) reads as
and the gradient-flow equation (1.6) reads as
Relying on the evenness of \(V_{\delta _n}\), we rewrite the right-hand side of (4.2) as
Hence, the discrete evolution of the short dipoles is described by the system
for \(i=1,\dots ,n/2\).
We now introduce a subset of \({\mathbb {T}}^n\) where we study the evolution; we will refer to it as the slow manifold. For any constant \(M>0\), we define the set \(\varOmega (M) \subset {\mathbb {T}}^n\) as
where \(\gamma > 0\) is defined in \((V2)_1\).
Theorem 4.1
Let \((\delta _n)_{n\in {\mathbb {N}}}\subset (0,\infty )\) be a sequence such that \(n^3 \delta _n \rightarrow 0\) as \(n\rightarrow \infty \). Let U, V and \(V_{\delta _n}\) satisfy conditions \((V1)_{\text {I}}\)–\((V5)_{\text {I}}\) and \((U)_{\text {I}}\). Let \(A, T > 0\) be given constants. Then, for every initial condition \((z^n_\circ , d^n_\circ ) \in \varOmega (2A)\), the solution \((z^n(t),d^n(t))\) of (4.5)–(4.6) satisfies \((z^n(t),d^n(t))\in \varOmega (A)\) for every \(t\in [0,T]\) and for large enough n. Moreover, the empirical measures \(\mu _n^\pm (t)\) and \(\mu _{\circ ,n}^\pm \) associated to \(x^{n,\pm } (t)\) and to \(x_\circ ^{n,\pm }\), respectively, where \(x^{n,\pm } (t)\) and \(x_\circ ^{n,\pm }\) are related to \((z^n(t),d^n(t))\) and \((z^n_\circ , d^n_\circ )\) via (4.1), satisfy \(\mu _n^\pm (t) - \mu _{\circ ,n}^\pm \rightharpoonup 0\) narrowly as \(n \rightarrow \infty \), uniformly in \(t \in [0, T]\).
From here on, to ease the notation, we will drop the explicit dependence on n when it is clear from the context.
Proof
The main idea of the proof is that the evolution of z is slow on the manifold, namely the forces \(\tfrac{n}{2} \partial _z E_n(z,d)\) acting on z are uniformly small. The forces on d may instead be large, but point in the ‘right direction’, i.e., there is a large basin of attraction to some \({\tilde{d}}(t)\) which is close to 0.
The above argument will be made precise by means of three main steps. To this end, we define, for \(M > 0\),
In all our estimates the symbols C, c denote positive constants which only depend on U, V, A and the n-independent constants appearing in \((V2)_{\text {I}}\)–\((V5)_{\text {I}}\).
Step 1: Behaviour of the gradient-flow equations (4.5)–(4.6) in\(\varOmega _2 (A)\). In this step we prove that the right-hand side of (4.5) satisfies the bound
additionally, we rewrite the evolution of \(d_i\) on \(\varOmega _2 (A)\) in a more convenient form.
To prove (4.8), we note that by the symmetry of \(V_{\delta _n}\) the term \(\ell = i\) in the first sum in the right-hand side of (4.5) is zero; for \(\ell \ne i\), we estimate the summand by using the Mean Value Theorem on the sum over q:
where \(|\alpha _{i\ell }-(z_i-z_\ell )|_{{{\mathbb {T}}}} \leqq 2 \Vert d\Vert _{\infty } \leqq C \delta _n\). Hence, \(\min _{i \ne \ell } |\alpha _{i\ell }|_{{{\mathbb {T}}}} \geqq \frac{M}{2n}\) for all n large enough. By the assumption \((V5)_{\text {I}}\) we then conclude from (4.9) that
For the forcing term (the second sum in the right-hand side of (4.5)), by (U) we estimate
This completes the proof of (4.8).
Now we rewrite the evolution of the dipole width \(d_i\), under the assumption that \((z,d) \in \varOmega _2 (A)\) during the evolution. We claim that, in (4.6), the term corresponding to \(\ell = i\) is the dominant term. By isolating this term, we rewrite the evolution of \(d_i\) as
and the computations leading to the estimate (4.8) show that \(|F_n^i(z,d)|\leqq C\) for all i and for large enough n, where
Step 2: The evolution (4.5) and (4.6) remains in the manifold\(\varOmega (A)\). We claim that the solution (z(t), d(t)) of (4.5) and (4.6) with initial condition \((z_\circ , d_\circ ) \in \varOmega (2A)\) satisfies \((z(t), d(t)) \in \varOmega (A)\) for every \(t\in [0,T]\), for large enough n. We first prove with a priori bounds that \((z(t), d(t)) \in \varOmega _2 (A)\) for every \(t\in [0,\delta _n^3]\). Then, we use Step 1 to improve these bounds and show that \((z(t),d(t)) \in \varOmega (2A - 2C n^3 \delta _n^4) \subset \varOmega (A)\). In the final part we iterate this procedure in time to obtain the desired result on [0, T].
Step 2.1: The evolution with initial data in\(\varOmega (B)\), \(B > A\), stays in\(\varOmega _2 (A)\)for small time. We claim that the solution \(({\tilde{z}}(t), {\tilde{d}}(t))\) of (4.5) and (4.6) with initial condition \(({\tilde{z}}_\circ , {\tilde{d}}_\circ ) \in \varOmega (B)\), with \(B>A\), satisfies \(({\tilde{z}}(t), {\tilde{d}}(t)) \in \varOmega _2 (A)\) for all \(t\in [0, \delta _n^3]\), and for large enough n. By applying the bound \((V4)_{\text {I}}\) for every term in the sum in the right-hand side of (4.3) and (4.4), we obtain the a priori estimate
Hence, the right-hand side of the gradient-flow evolutions (4.5) and (4.6) is bounded uniformly by \(C / \delta _n\). Thus, for \(t\in [0,\delta _n^3]\) we have that, since \(({\tilde{z}}_\circ , {\tilde{d}}_\circ ) \in \varOmega (B)\),
A similar estimate for \({\tilde{z}}(t)\) allows us to deduce that
Hence, for n large enough, \(({\tilde{z}}(t), {\tilde{d}}(t)) \in \varOmega _2 (A)\) for every \(t\in [0,\delta _n^3]\).
Step 2.2: Improved estimates for\(({\tilde{z}}(t), {\tilde{d}}(t))\)for\(t\in [0, \delta _n^3]\). Since \(({\tilde{z}}(t), {\tilde{d}}(t)) \in \varOmega _2 (A)\) for every \(t\in [0,\delta _n^3]\), we obtain from (4.8) the improved estimate
which leads to
Moreover, we claim that
Indeed, \(\Vert {\tilde{d}}_\circ \Vert _\infty \leqq \gamma \delta _n\), and by (4.10) we have
where, by Step 2.1, \(|F_n^i( {\tilde{z}} (t), {\tilde{d}} (t) )| \leqq C\) for all \(t \in [0, \delta _n^3]\). We conclude by contradiction; suppose \(\Vert {\tilde{d}}(t) \Vert _\infty > \gamma \delta _n\). Then, since \({\tilde{d}} \in C([0, \delta _n^3]; {\mathbb {T}}^{n/2})\), there exist \(i \in \{1, \ldots , \tfrac{n}{2}\}\) and \(t \in [0, \delta _n^3]\) such that \({\tilde{d}}_i (t) = p \gamma \delta _n\) and \(p \tfrac{\mathrm{d}}{\mathrm{d}t} {\tilde{d}}_i (t) \geqq 0\) for some \(p \in \{-1, +1\}\). However, by (4.10) and \((V3)_{\text {I}}\),
which is negative for all n large enough. We conclude that (4.13) holds.
In conclusion, for every \(t\in [0,\delta _n^3]\) we have that \(({\tilde{z}}(t), {\tilde{d}}(t)) \in \varOmega (B - 2C n^3\delta _n^4)\).
Step 2.3: Iteration. We iterate Step 2.2 in the time intervals \([\ell \delta _n^3, (\ell +1) \delta _n^3]\) for \(\ell =1,\dots , \left\lfloor T / \delta _n^3 \right\rfloor \) to construct the solution (z(t), d(t)) with initial condition \((z_\circ , d_\circ ) \in \varOmega (2A)\). The corresponding values for B are
Since \(\ell \leqq T / \delta _n^3\), we obtain \(B \geqq 2 (A - C T n^3 \delta _n) > A\) for all n large enough. Hence, it follows from (4.11), (4.12) and (4.13) that
for all \(t\in [0,T]\) and all n large enough.
Step 3:\(\mu _n^\pm (t) - \mu _{\circ ,n}^\pm \rightharpoonup 0\)as\(n \rightarrow \infty \), uniformly in [0, T]. Let \(\varphi \in C({\mathbb {T}})\) be an arbitrary test function, and let \(\omega :[0,\infty )\rightarrow [0,\infty )\) be its modulus of continuity. Using (4.1), we estimate
From (4.14) we conclude that the right-hand side tends to 0 as \(n \rightarrow \infty \) pointwise for all \(t \in [0,T]\). Similarly we obtain the convergence of \(\mu _n^- (t) - \mu _{\circ ,n}^-\rightharpoonup 0\) as \(n \rightarrow \infty \), uniformly in [0, T]. \(\quad \square \)
Corollary 4.2
Let \(\delta _n\), U, V, \(V_{\delta _n}\) and \(T > 0\) be as in Theorem 4.1. Let \(\rho _\circ \in {\mathcal {P}}({\mathbb {T}})\cap L^\infty ({\mathbb {T}})\), and let \({\mathcal {A}}_\circ \) be the set of approximating sequences defined as
where \((z_{\circ }^n, d_{\circ }^n)\) and \(\mu _{\circ ,n}^\pm \) are defined in terms of \((x_{\circ }^n,b_\circ ^n)\) via (4.1) and (2.2), respectively. Then \({\mathcal {A}}_\circ \ne \emptyset \). Now assume that \(U' \not \equiv 0\) on \({\text {supp}}\rho _\circ \). Let \((x_{\circ }^n,b_\circ ^n)\in {\mathcal {A}}_\circ \), and denote with \(\mu _{n}^\pm (t)\) the empirical measures associated to the solution \(x^n(t)\) of (1.6) with initial datum \((x_{\circ }^n, b_{\circ }^n)\). Then, the weak limit of \(\mu _{n}^\pm (t)\), namely the measure \({\varvec{\rho }}= (\rho ^+,\rho ^-)\) such that \(\mu _{n}^\pm (t) \rightharpoonup \rho ^\pm (t)\) as \(n\rightarrow \infty \) for a.e. \(t \in (0,T)\), is not a solution of (2.14) with initial datum \({\varvec{\rho }}_\circ =(\rho _\circ , \rho _\circ )\) in (0, T).
Proof
It is easy to see that \({\varvec{\rho }}_\circ = (\rho _\circ , \rho _\circ )\) is not a stationary solution to (2.14). Thus it suffices to show that \(\mu _{n}^\pm (t) - \mu _{\circ ,n}^\pm \rightharpoonup 0\) as \(n \rightarrow \infty \). This property is guaranteed by Theorem 4.1.
It remains to show that \({\mathcal {A}}_\circ \ne \emptyset \). We set \(x_{\circ , 1}^{n,+} := 0\), and we choose the positions of the other particles iteratively, so that
Then, we set \(x_{\circ }^{n,-} := x_{\circ }^{n,+}\). By construction, \(\mu _{\circ ,n}^\pm \rightharpoonup \rho _\circ ^\pm \) as \(n \rightarrow \infty \), and \(z_\circ ^n = x_{\circ }^{n,+}\) and \(d_\circ ^n = 0\). Since \(\rho _\circ \in L^\infty ({\mathbb {T}})\), we obtain that \(\min _i |z_{\circ ,i+1}^n - z_{\circ ,i}^n |_{{{\mathbb {T}}}} \geqq (n \Vert \rho _\circ \Vert _\infty )^{-1}\). Using that \(z_\circ ^n\) is ordered, we conclude that \((z_{\circ }^n, d_{\circ }^n) \in \varOmega ( 1 / \Vert \rho _\circ \Vert _\infty )\). \(\square \)
Remark 4.3
(Sharper estimates under higher regularity of V) A careful inspection of the proof of Theorem 4.1 shows that the result holds true under the weaker assumption \(n^{3/2} \delta _n\rightarrow 0\), provided \((V2)_{\text {I}}\) and \((V5)_{\text {I}}\) are replaced by the stronger conditions
\((V2')_{\text {I}}\) \(V_{\delta _n} \in C^3({\mathbb {T}})\) is even;
\((V5')_{\text {I}}\) \(\forall \, c> 0 \ \exists \, C> 0 \ \forall \, |s|_{{\mathbb {T}}} > c/n : | V^{(3)}_{\delta _n} (s) | \leqq C / s^3\).
Note that \((V5')_{\text {I}}\) is satisfied by our model example of V, so it reasonable to assume that it is satisfied by the regularised potential \(V_{\delta _n}\) as well.
In (4.9) we can interpret the sum over p and q as a four-point approximation scheme of the third derivative \(V^{(3)}_{\delta _n} (z_i - z_\ell )\), and since \(|z_i- z_\ell |_{{{\mathbb {T}}}} \geqq c |\tfrac{i - \ell }{n} |\), by \((V5')_{\text {I}}\) the bound in (4.9) results in
By using (4.15) for each term \(\ell \ne i\) in the first sum in (4.5), we get the improved estimate
instead of (4.8). Proceeding as in the proof of Theorem 4.1 and by using the improved estimate (4.16), we obtain
for all \(t\in [0,T]\) and all n large enough, instead of (4.14), provided \(n^{3/2} \delta _n \rightarrow 0\).
4.2.2 The Two-Dimensional Case
In this short section we only stress the differences with the one-dimensional case considered above.
First of all, we introduce the subset of \(({\mathbb {T}}^n)^2\) where we study the evolution, namely the slow manifold. In analogy with (4.7), for any constant \(M>0\), we define the set \(\varOmega (M)\subset ({\mathbb {T}}^2)^n\) as
where \(B_n\) is the region whose boundary is the ‘trapping’ curve \(\varGamma _n\) in \((V3)_{\text {I}}\).
The following theorem is the counterpart of Theorem 4.1 and Corollary 4.2 for \(d=2\):
Theorem 4.4
Let \((\delta _n)_{n\in {\mathbb {N}}}\subset (0,\infty )\) be a sequence such that \(n^2 \delta _n \rightarrow 0\) as \(n\rightarrow \infty \). Let U, V and \(V_{\delta _n}\) satisfy conditions \((V1)_{\text {I}}\)-\((V5)_{\text {I}}\) and \((U)_{\text {I}}\), and let \(T>0\) be fixed. Let \(\rho _\circ \in {\mathcal {P}}({\mathbb {T}}^2)\cap L^\infty ({\mathbb {T}}^2)\), and let \({\mathcal {A}}_\circ \) be the set of approximating sequences defined as
where \((z_{\circ }^n, d_{\circ }^n)\) and \(\mu _{\circ ,n}^\pm \) are defined in terms of \((x_{\circ }^n,b_\circ ^n)\) via (4.1) and (2.2), respectively. Then \({\mathcal {A}}_\circ \ne \emptyset \). Now assume that \(\nabla U \not \equiv 0\) on \({\text {supp}}\rho _\circ \). Let \((x_{\circ }^n,b_\circ ^n)\in {\mathcal {A}}_\circ \), and denote with \(\mu _{n}^\pm (t)\) the empirical measures associated to the solution \(x^n(t)\) of (1.6) with initial datum \((x_{\circ }^n, b_{\circ }^n)\). Then, the weak limit of \(\mu _{n}^\pm (t)\), namely the measure \({\varvec{\rho }}= (\rho ^+,\rho ^-)\) such that \(\mu _{n}^\pm (t) \rightharpoonup \rho ^\pm (t)\) as \(n\rightarrow \infty \) for a.e. \(t \in (0,T)\), is not a solution of (2.14) with initial datum \({\varvec{\rho }}_\circ =(\rho _\circ , \rho _\circ )\) in (0, T).
Proof
The proof of Theorem 4.4 follows by a straightforward adaptation of the proof of Theorem 4.1 to the two-dimensional setting.
Note that the estimate (4.8) holds true, in the two-dimensional setting, with the bound \(C n \delta _n\) (instead of \(C n^2 \delta _n\)), and this leads to the weaker condition \(n^2 \delta _n \rightarrow 0\) for \(\delta _n\). \(\quad \square \)
Remark 4.5
(Sharper estimates under higher regularity) The extension discussed in Remark 4.3 has a two-dimensional equivalent. The bound on \(D^3 V_{\delta _n}\) provides again an additional factor of \(\delta _n\) in the right-hand side of (4.8). To use the condition \(\min _{i \ne j} \Vert z_i - z_j\Vert _{{\mathbb {T}}^2} \geqq c / \sqrt{n}\), let us fix the index i, and relabel \(z_\ell \) such that \(\Vert z_i - z_\ell \Vert _{{\mathbb {T}}^2}\) is increasing in \(\ell \) for \(\ell \ne i\). Since the balls \(B(z_\ell , c/(2 \sqrt{n}))\) are disjoint, for all \(R \geqq c/(2 \sqrt{n})\) the ball \(B(z_i, R)\) contains at most \(\lfloor CnR^2 \rfloor \) points \(z_\ell \). In other words, there are at most \(\lfloor CnR^2 \rfloor \) points \(z_\ell \) such that \(\Vert z_i - z_\ell \Vert _{{\mathbb {T}}^2} \leqq R\). Hence, \(\Vert z_i - z_\ell \Vert _{{\mathbb {T}}^2} \geqq c'' \sqrt{ \ell /n }\) for some \(c'' > 0\). We use this estimate to replace (4.15) by
Then, (4.8) becomes
which leads to the weaker condition on \(\delta _n\) given by \(n^{5/4} \delta _n \rightarrow 0\).
4.3 The Two-Dimensional Case, Slip-Place-Confined Motion
This setting is the one inspired by the case of edge dislocations, whose interaction potential in \({\mathbb {R}}^2\) is \(V_{\text {edge}} (x) = -\log |x| + (e_1 \cdot x / |x|)^2\) (see, e.g., (5-16) in [42]) as discussed in Section 2.3.2. It is also the case corresponding exactly to the Groma–Balogh evolution equations.
Given some \(\delta _n > 0\), we define the slow manifold as
The next theorem is the counterpart of Theorem 4.1 and Corollary 4.2 for a slip-confined evolution in dimension \(d=2\). Note that, unlike in Section 4.2, we do not consider a regularised potential \(V_{\delta _n}\), but we deal directly with V.
Theorem 4.6
Let \((\delta _n)_{n\in {\mathbb {N}}}\subset (0,\infty )\) be a sequence such that \(n^2 \delta _n \rightarrow 0\) as \(n\rightarrow \infty \). Let U satisfy \((U)_{\text {I}}\), let V be as in Case 2, and let \(T > 0\) be fixed. Let \(\rho _\circ \in {\mathcal {P}}({\mathbb {T}}^2)\cap L^\infty ({\mathbb {T}}^2)\), and let \({\mathcal {A}}_\circ \) be the set of approximating sequences defined as
where \((z_{\circ }^n, d_{\circ }^n)\) and \(\mu _{\circ ,n}^\pm \) are defined in terms of \((x_{\circ }^n,b_\circ ^n)\) via (4.1) and (2.2), respectively. Then \({\mathcal {A}}_\circ \ne \emptyset \). Now assume that \(\partial _1 U \not \equiv 0\) on \({\text {supp}}{\varvec{\rho }}_\circ \). Let \((x_{\circ }^n,b_\circ ^n)\in {\mathcal {A}}_\circ \), and denote with \(\mu _{n}^\pm (t)\) the empirical measures associated to the solution \(x^n(t)\) of the unregularised evolution (2.19), with initial datum \((x_{\circ }^n, b_{\circ }^n)\). Then, the weak limit of \(\mu _{n}^\pm (t)\), namely the measure \({\varvec{\rho }}= (\rho ^+,\rho ^-)\) such that \(\mu _{n}^\pm (t) \rightharpoonup \rho ^\pm (t)\) as \(n\rightarrow \infty \) for a.e. \(t \in (0,T)\), is not a solution of (2.21) with initial datum \({\varvec{\rho }}_\circ =(\rho _\circ , \rho _\circ )\) in (0, T).
Proof
We start by establishing some properties of V that will enable us to proceed similarly as in the proof of Theorem 4.1.
Note that V ‘almost’ satisfies assumptions \((V1)_{\text {I}}\)–\((V5)_{\text {I}}\). Indeed it does satisfy \((V1)_{\text {I}}\) and \((V5)_{\text {I}}\); moreover, \(V \in C^2({\mathbb {T}}^2 {\setminus } \{0\})\) and is even, which gives almost \((V2)_{\text {I}}\). Instead of \((V3)_{\text {I}}\), we prove a sufficient upper bound on \(\partial _1 V\) around 0. With this aim, we observe from (2.16) and (2.17) that \(W := V - V_{\text {edge}}\) is biharmonic on \((-1,1)^2\), and thus smooth on the closed square \(Q_{1/2}:=[-1/2,1/2]^2\). Hence, for all \(\delta \) small enough,
Finally, instead of \((V4)_{\text {I}}\), we have that sV(s) is bounded in \({\mathbb {T}}^2\).
Given any \((z^n, d^n) \in \varOmega (M)\), the singular potential V is never evaluated on \(B(0, r_n)\), where
Hence the extension of Theorem 4.1 follows similarly as in Section 4.2.2, with \(V_{\delta _n}\) replaced by V. In particular, we note that the equivalent of the a priori estimates in Step 2.1 depends on \(r_n\). Hence, the time interval \([0, \delta _n^3]\) may need to be shrunk when \(r_n > 0\) is small. Nevertheless, thanks to the \(r_n\)-independently improved estimate in Step 2.2, the proof is easily adjusted to smaller time intervals. \(\quad \square \)
Remark 4.7
We note that with minor modifications to the proof it is possible to remove in Theorem 4.6 the lower bound on \(|d_i \cdot e_2|\) in \(\varOmega (M)\) (i.e., to allow the two dislocations in a dipole to reside on the same slip plane) at the cost of introducing a regularisation \(V_{\delta _n}\) similarly as in Section 4.2.2.
Notes
This well-known argument runs as follows: for a test function \(\varphi \), we have
which is a weak formulation of equation (1.4a).
This is analogous to the fact that the fundamental solution G of the Laplacian in two dimensions has a singularity at zero and has infinite Dirichlet integral \(\int _O |\nabla G|^2 \) in any neighbourhood O of zero, while by contrast the fundamental solution of the discrete Laplacian on a lattice is bounded.
While [15, Lem. 2.1] only defines the second derivative \(\partial _{11} V\), our setting requires the potential V itself.
Recall the characterisation of the 1-Wasserstein distance as
$$\begin{aligned} W_1(\mu ,\nu )=\sup \left\{ \int _{{\mathbb {T}}^d} f \mathrm{d}\mu - \int _{{\mathbb {T}}^d} f \mathrm{d}\nu \, : \ f \ 1\hbox {-Lipschitz} \right\} \end{aligned}$$
References
Adams, R.A., Fournier, J.F.: Sobolev Spaces, vol. 140. Academic press, New York 2003
Alicandro, R., De Luca, L., Garroni, A., Ponsiglione, M.: Metastability and dynamics of discrete topological singularities in two dimensions: a \(\Gamma \)-convergence approach. Arch. Ration. Mech. Anal. 214(1), 269–330, 2014
Alicandro, R., De Luca, L., Garroni, A., Ponsiglione, M.: Minimising movements for the motion of discrete screw dislocations along glide directions. Calc. Var. Partial Differ. Equ. 56, 148, 2017
Alvarez, O., Carlini, E., Hoch, P., Le Bouar, Y., Monneau, R.: Dislocation dynamics described by non-local Hamilton-Jacobi equations. Mater. Sci. Eng. A Struct. 400, 162–165, 2005
Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows in Metric Spaces and in the Space of Probability Measures, Lectures in Mathematics. ETH Zürich, Birkhäuser 2008
Ambrosio, L., Mainini, E., Serfaty, S.: Gradient flow of the Chapman–Rubinstein–Schatzman model for signed vortices. Ann. Inst. H. Poincaré Anal. Non Linéaire28(2), 217–246, 2011
Ambrosio, L., Serfaty, S.: A gradient flow approach to an evolution problem arising in superconductivity. Commun. Pure Appl. Math. 61(11), 1495–1539, 2008
Berendsen, J., Burger, M., Pietschmann, J.: On a cross-diffusion model for multiple species with nonlocal interaction and size exclusion. Nonlinear Anal. 159, 10–39, 2017
Biler, P., Karch, G., Monneau, R.: Nonlinear diffusion of dislocation density and self-similar solutions. Commun. Math. Phys. 294(1), 145–168, 2010
Blass, T., Fonseca, I., Leoni, G., Morandotti, M.: Dynamics for systems of screw dislocations. SIAM J. Appl. Math. 75(2), 393–419, 2015
Bonaschi, G.A., van Meurs, P., Morandotti, M.: Dynamics of screw dislocations: a generalised minimising-movements scheme approach. Eur. J. Appl. Math. 28(4), 636–655, 2017
Braides, A., Gelli, M.: Limits of discrete systems with long-range interactions. J. Convex Anal. 9, 363–400, 2002
Cai, W., Arsenlis, A., Weinberger, C.R., Bulatov, V.V.: A non-singular continuum theory of dislocations. J. Mech. Phys. Solids54(3), 561–587, 2006
Callister, W.D.: Materials Science and Engineering, An Introduction. Wiley, New York 2007
Cannone, M., El Hajj, A., Monneau, R., Ribaud, F.: Global existence for a system of non-linear and non-local transport equations describing the dynamics of dislocation densities. Arch. Ration. Mech. Anal. 196(1), 71–96, 2010
Carrillo, J.A., Choi, Y.P., Hauray, M.: The derivation of swarming models: mean-field limit and Wasserstein distances. In: Muntean, A., Toschi, F. (eds.) Collective Dynamics from Bacteria to Crowds, pp. 1–46. Springer, Vienna 2014
Carrillo, J.A., Ferreira, L.C.F., Precioso, J.C.: A mass-transportation approach to a one dimensional fluid mechanics model with nonlocal velocity. Adv. Math. 231(1), 306–327, 2012
Cermelli, P., Leoni, G.: Renormalized energy and forces on dislocations. SIAM J. Math. Anal. 37(4), 1131–1160, 2005
Chapman, S.J., Xiang, Y., Zhu, Y.: Homogenisation of a row of dislocation dipoles. SIAM J. Appl. Math. 76(3), 750–775, 2016
Conti, S., Garroni, A., Ortiz, M.: The line-tension approximation as the dilute limit of linear-elastic dislocations. Arch. Ration. Mech. Anal. 218(2), 699–755, 2015
Di Francesco, M., Fagioli, S.: Measure solutions for non-local interaction pdes with two species. Nonlinearity26(10), 2777, 2013
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573, 2012
Dobrushin, R.L.: Vlasov equations. Funct. Anal. Appl. 13(2), 115–123, 1979
Dogge, M.M.W., Peerlings, R.H.J., Geers, M.G.D.: Extended modelling of dislocation transport-formulation and finite element implementation. Adv. Model. Simul. Eng. Sci. 2(1), 29, 2015
Edmunds, D., Triebel, H.: Function Spaces, Entropy Numbers and Differential Operators. Cambridge University Press, Cambridge 1996
El Hajj, A.: Well-posedness theory for a nonconservative Burgers-type system arising in dislocation dynamics. SIAM J. Math. Anal. 39(3), 965–986, 2007
El Hajj, A.: Short time existence and uniqueness in Hölder spaces for the 2D dynamics of dislocation densities. Ann. Inst. H. Poincaré Anal. Non Linéaire27(1), 21–35, 2010
El Hajj, A., Forcadel, N.: A convergent scheme for a non-local coupled system modelling dislocations densities dynamics. Math. Comput. 77(262), 789–812, 2008
Evers, J.H.M., Fetecau, R.C., Kolokolnikov, T.: Equilibria for an aggregation model with two species. SIAM J. Appl. Dyn. Syst. 16(4), 2287–2338, 2017
Garroni, A., Leoni, G., Ponsiglione, M.: Gradient theory for plasticity via homogenization of discrete dislocations. J. Eur. Math. Soc. 12, 1231–1266, 2010
Garroni, A., Müller, S.: A variational model for dislocations in the line tension limit. Arch. Ration. Mech. Anal. 181(3), 535–578, 2006
Geers, M.G.D., Peerlings, R.H.J., Hoefnagels, J.P.M., Kasyanyuk, Y.: On a proper account of first-and second-order size effects in crystal plasticity. Adv. Eng. Mater. 11(3), 143–147, 2009
Geers, M.G.D., Peerlings, R.H.J., Peletier, M.A., Scardia, L.: Asymptotic behaviour of a pile-up of infinite walls of edge dislocations. Arch. Ration. Mech. Anal. 209(2), 495–539, 2013
Groma, I.: Link between the microscopic and mesoscopic length-scale description of the collective behavior of dislocations. Phys. Rev. B56(10), 5807–5813, 1997
Groma, I., Balogh, P.: Investigation of dislocation pattern formation in a two-dimensional self-consistent field approximation. Acta Mater. 47(13), 3647–3654, 1999
Groma, I., Csikor, F.F., Zaiser, M.: Spatial correlations and higher-order gradient terms in a continuum description of dislocation dynamics. Acta Mater. 51(5), 1271–1281, 2003
Groma, I., Györgyi, G., Kocsis, B.: Debye screening of dislocations. Phys. Rev. Lett. 96(16), 165503, 2006
Groma, I., Vandrus, Z., Ispánovity, P.D.: Scale-free phase field theory of dislocations. Phys. Rev. Lett. 114(1), 015503, 2015
Groma, I., Zaiser, M., Ispánovity, P.D.: Dislocation patterning in a two-dimensional continuum theory of dislocations. Phys. Rev. B93(21), 214110, 2016
Hauray, M.: Wasserstein distances for vortices approximation of Euler-type equations. Math. Models Methods Appl. Sci. 19(08), 1357–1384, 2009
Head, A.: Dislocation group dynamics III. Similarity solutions of the continuum approximation. Philos. Mag. 26(1), 65–72, 1972
Hirth, J.P., Lothe, J.: Theory of Dislocations. Wiley, New York 1982
Kipnis, C., Landim, C.: Scaling Limits of Interacting Particle Systems. Springer, Berlin 1999
Koslowski, M., Cuitino, A.M., Ortiz, M.: A phase-field theory of dislocation dynamics, strain hardening and hysteresis in ductile single crystals. J. Mech. Phys. Solids50(12), 2597–2635, 2002
Kühn, T.: Compact embeddings of Besov spaces in exponential Orlicz spaces. J. Lond. Math. Soc. 67, 235–244, 2003
Li, D., Miao, C., Xue, L.: On the well-posedness of a 2D nonlinear and nonlocal system arising from the dislocation dynamics. Commun. Contemp. Math. 16(02), 1350021, 2014
Lieberman, G.M.: Second Order Parabolic Differential Equations. World Scientific, Singapore 1996
Mainini, E.: Well-posedness for a mean field model of Ginzburg–Landau vortices with opposite degrees. NoDEA Nonlinear Differ. Equ. Appl. 19(2), 133–158, 2012
Monneau, R., Patrizi, S.: Homogenization of the Peierls–Nabarro model for dislocation dynamics. J. Differ. Equ. 253(7), 2064–2105, 2012
Mora, M.G., Peletier, M.A., Scardia, L.: Convergence of interaction-driven evolutions of dislocations with Wasserstein dissipation and slip-plane confinement. SIAM J. Math. Anal. 49(5), 4149–4205, 2017
Nabarro, F.R.N.: Dislocations in a simple cubic lattice. Proc. Phys. Soc. Lond. 59(2), 256, 1947
O’Neil, R.: Fractional integration in Orlicz spaces. i. Trans. Am. Math. Soc. 115, 300–328, 1965
Peierls, R.: The size of a dislocation. Proc. Phys. Soc. Lond. 52(1), 34–37, 1940
Ponsiglione, M.: Elastic energy stored in a crystal induced by screw dislocations: from discrete to continuous. SIAM J. Math. Anal. 39(2), 449–469, 2007
Rao, M., Ren, Z.: Theory of Orlicz Spaces, Pure and Applied Mathematics, vol. 146. Marcel Dekker Inc., New York 1991
Ruelle, D.: Statistical Mechanics: Rigorous Results. World Scientific, Singapore 1969
Rychkov, V.: On restrictions and extensions of the Besov and Triebel–Lizorkin spaces with respect to Lipschitz domains. J. Lond. Math. Soc. 60(1), 237–257, 1999
Sandier, E., Serfaty, S.: Vortices in the Magnetic Ginzburg–Landau Model, Progress in Nonlinear Differential Equations and their Applications, vol. 70. Birkhäuser Boston Inc, Boston 2007
Santambrogio, F.: Optimal Transport for Applied Mathematicians, Progress in Nonlinear Differential Equations and Their Applications. Birkhäuser, Boston 2015
Scardia, L., Peerlings, R.H.J., Peletier, M.A., Geers, M.G.D.: Mechanics of dislocation pile-ups: a unification of scaling regimes. J. Mech. Phys. Solids70, 42–61, 2014
Serfaty, S.: Vortex collisions and energy-dissipation rates in the Ginzburg–Landau heat flow. Part ii: the dynamics. J. Eur. Math. Soc. 9(3), 383–426, 2007
Smets, D., Bethuel, F., Orlandi, G.: Quantization and motion law for Ginzburg–Landau vortices. Arch. Ration. Mech. Anal. 183(2), 315–370, 2007
Spohn, H.: Kinetic equations from hamiltonian dynamics: Markovian limits. Rev. Mod. Phys. 52(3), 569, 1980
Spohn, H.: Large Scale Dynamics of Interacting Particles. Springer, Berlin 1991
van Meurs, P.: Many-particle limits and non-convergence of dislocation wall pile-ups. Nonlinearity31, 165–225, 2018
van Meurs, P., Morandotti, M.: Discrete-to-continuum limits of particles with an annihilation rule, 2018. arXiv: 1807.11199
van Meurs, P.J.P.: Discrete-to-continuum limits of interacting dislocations. Ph.D. thesis, Technische Universiteit Eindhoven, 2015. https://pure.tue.nl/ws/files/3886985/797457.pdf
van Meurs, P.J.P., Muntean, A.: Upscaling of the dynamics of dislocation walls. Adv. Math. Sci. Appl. 24(2), 401, 2014
van Meurs, P.J.P., Muntean, A., Peletier, M.A.: Upscaling of dislocation walls in finite domains. Eur. J. Appl. Math. 25, 749–781, 2014
Wan, R., Chen, J.: Global well-posedness for the 2D Groma–Balogh model with large background data, 2016. https://www.researchgate.net/publication/311675291
Wan, R., Chen, J.: Longtime well-posedness for the 2D Groma–Balogh model. J. Nonlinear Sci. 26(6), 1817–1831, 2016
Yefimov, S., Giessen, Evd: Size effects in single crystal thin films: nonlocal crystal plasticity simulations. Eur. J. Mech. A Solid24(2), 183–193, 2005
Yefimov, S., Groma, I., Giessen, Evd: A comparison of a statistical-mechanics based plasticity model with discrete dislocation plasticity calculations. J. Mech. Phys. Solids52(2), 279–300, 2004
Acknowledgements
The authors declare to have no conflict of interest. PvM is supported by the International Research Fellowship of the Japanese Society for the Promotion of Science, together with the JSPS KAKENHI Grant 15F15019. MAP and LS acknowledge support from NWO Grant 639.033.008. LS acknowledges support by the EPSRC under the Grant EP/N035631/1.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Communicated by M. Ortiz
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Orlicz Spaces and Embeddings
Appendix: Orlicz Spaces and Embeddings
In this section we recall the definition and some properties of Orlicz spaces that we have used throughout the paper. This functional framework was used by [15] to prove existence results for the Groma–Balogh equations (2.21).
For brevity, we focus on real-valued Lebesgue-measurable functions on the flat torus \({\mathbb {T}}^d\), for any \(d \geqq 1\). First we introduce Young functions (see [55, Sec. 3.1] or [15, Sec. 3.1]). A function \(\phi : [0,+\infty ) \rightarrow [0,+\infty ] \) is a Young function if \(\phi \) is continuous, convex, \(\phi (0) = 0\), and \(\lim _{t\rightarrow \infty }\phi (t)/t = +\infty \). The Orlicz class \(K_\phi ({\mathbb {T}}^d)\) is the set of (equivalence classes of) measurable functions \(g : {\mathbb {T}}^d \rightarrow {\mathbb {R}}\) satisfying \(\int _{{\mathbb {T}}^d} \phi (|g(x)|)\mathrm{d}x < \infty \). The Orlicz space \(L_\phi ({\mathbb {T}}^d)\) is the linear hull of \(K_\phi ({\mathbb {T}}^d)\) equipped with the Luxemburg norm
and is a Banach space. In general, \((L_\phi ({\mathbb {T}}^d), \Vert \cdot \Vert _{L_\phi ({\mathbb {T}}^d)})\) is neither separable nor reflexive. However, the closure in \(L_\phi ({\mathbb {T}}^d)\) of bounded functions, denoted with \(E_\phi ({\mathbb {T}}^d)\), is separable, and \(E_\phi ({\mathbb {T}}^d)\subseteq K_\phi ({\mathbb {T}}^d) \subseteq L_\phi ({\mathbb {T}}^d)\).
For the choices
we denote
It is easy to see that these Orlicz spaces are ordered, i.e., \({{\,\mathrm{Exp}\,}}_{\alpha _2} ({\mathbb {T}}^d) \subseteq {{\,\mathrm{Exp}\,}}_{\alpha _1} ({\mathbb {T}}^d)\) for all \(1 \leqq \alpha _1 \leqq \alpha _2\), and \(L \log ^{\beta _2} L ({\mathbb {T}}^d) \subseteq L \log ^{\beta _1} L ({\mathbb {T}}^d)\) for all \(0 \leqq \beta _1 \leqq \beta _2\). For convenience, we set
Finally, we recall the definition of the fractional Sobolev space \(H^s({\mathbb {R}}^d)\). For \(s \geqq 0\), we set
where \({\mathcal {F}}\) is the Fourier transform on \({\mathbb {R}}^d\). We note that the Gagliardo (semi)norm \([ \cdot ]_{H^s ({\mathbb {R}}^d)}\) is related to the usual norm on \(H^s ({\mathbb {R}}^d)\) given by \(\Vert u \Vert _{H^s ({\mathbb {R}}^d)}^2 = \Vert u \Vert _{L^2 ({\mathbb {R}}^d)}^2 + [ u ]_{H^s ({\mathbb {R}}^d)}^2\). We will only be interested in the compact embedding of fractional Sobolev spaces into Orlicz spaces. For a more complete treatment of fractional Sobolev spaces we refer to [22].
Lemma A.1
(Properties of \({{\,\mathrm{Exp}\,}}_\alpha ({\mathbb {T}}^d)\) and \(L \log ^\beta L ({\mathbb {T}}^d)\)) Let \(d \geqq 1\). The following properties are satisfied:
- (i)
for every \(C>0\), the sublevel set \(\{f\in L^1({\mathbb {T}}^d): {{\,\mathrm{Ent}\,}}(|f|)\leqq C\}\) is bounded in \(L\log L({\mathbb {T}}^d)\);
- (ii)
\(\big ( L \log ^{\beta } L ({\mathbb {T}}^d) \big )^* = {{\,\mathrm{Exp}\,}}_{1/\beta } ({\mathbb {T}}^d)\) for all \(\beta >0\);
- (iii)
\( \big ( {{\,\mathrm{EXP}\,}}_\alpha ({\mathbb {T}}^d) \big )^* = L \log ^{1/\alpha } L ({\mathbb {T}}^d)\) for all \(\alpha >0\);
- (iv)
there exists a constant \(C>0\) such that
$$\begin{aligned}\Vert f g \Vert _{L^1 ({\mathbb {T}}^d)} \leqq C \Vert f \Vert _{L \log L({\mathbb {T}}^d)} \Vert g \Vert _{{{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)}\end{aligned}$$for all \(f \in L \log L({\mathbb {T}}^d)\) and all \(g \in {{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)\);
- (v)
there exists a constant \(C>0\) such that
$$\begin{aligned}\Vert f g \Vert _{L \log ^{1/2} L({\mathbb {T}}^d)} \leqq C \Vert f \Vert _{L \log L({\mathbb {T}}^d)} \Vert g \Vert _{{{\,\mathrm{Exp}\,}}_2 ({\mathbb {T}}^d)} \end{aligned}$$for all \(f \in L \log L({\mathbb {T}}^d)\) and all \(g \in {{\,\mathrm{Exp}\,}}_2({\mathbb {T}}^d)\);
- (vi)
\(H^{d/2} ({\mathbb {T}}^d) \hookrightarrow {{\,\mathrm{Exp}\,}}_2 ({\mathbb {T}}^d) \hookrightarrow {{\,\mathrm{Exp}\,}}_\alpha ({\mathbb {T}}^d) \hookrightarrow {{\,\mathrm{EXP}\,}}({\mathbb {T}}^d) \hookrightarrow {{\,\mathrm{Exp}\,}}({\mathbb {T}}^d)\) for all \(1< \alpha < 2\).
- (vii)
\(H^{d/2} ({\mathbb {T}}^d) \subset \subset {{\,\mathrm{Exp}\,}}_\alpha ({\mathbb {T}}^d)\) for all \(1< \alpha < 2\);
Proof
Property (i) follows from (A.1) by elementary estimates.
Properties (ii) and (iii) are exactly [25, Prop. 2.6.1.2 (ii)-(iii)]. Property (v) is given by [52, Thm. 2.3]. The continuous embeddings in (vi) are given by [1, Thm. 8.16].
Property (iv) follows from [1, Thm. 8.11], since \(\phi _1 (t) := e^{t} - 1\) and \(\phi ^1 (t) := t (\log (e + t))\) are complementary functions. To be precise, [1, Thm. 8.11] is valid for \(\psi _1(t) := e^{t} - t - 1\) and \(\psi ^1 (t) := (t+1)(\log (1 + t))-t\), which are complementary N- functions (unlike \(\phi _1\) and \(\phi ^1\)). In a bounded domain, however, since \(\phi _1, \psi _1\) and \(\phi ^1, \psi ^1\) have the same behaviour at infinity, the corresponding Orlicz spaces coincide, and the corresponding norms are equivalent.
Finally we establish the compact embedding in (vii). First of all we recall that the natural embedding
is compact for every \(1<\alpha < 2\) (this is true for every \(\varOmega \subset {\mathbb {R}}^d\) bounded, see e.g. [45]). We also recall that there exists an extension operator \(T: H^{d/2}({\mathbb {T}}^d) \rightarrow H^{d/2}({\mathbb {R}}^d)\) with \(\Vert Tu \Vert _{H^{d/2}({\mathbb {R}}^d)} \leqq C_d \Vert u\Vert _{H^{d/2}({\mathbb {T}}^d)}\) for all \(u \in H^{d/2}({\mathbb {T}}^d)\) (see, e.g., [57, Thm. 2.2]). Combining these two results we obtain the sought compact embedding of \(H^{d/2} ({\mathbb {T}}^d)\) into \({{\,\mathrm{Exp}\,}}_\alpha ({\mathbb {T}}^d)\), since we can write every \(u\in H^{d/2} ({\mathbb {T}}^d)\) as \(u= \text {id}_{{\mathbb {T}}^d}(Tu)\). \(\quad \square \)
Lemma A.2
(Aubin-Lions-Simon) Let \(1 \leqq p, q \leqq \infty \) and \(X_0, X , X_1\) be Banach spaces such that \(X_0 \subset \subset X \hookrightarrow X_1\). Then \(\big \{ u \in L^p(0,T;X_0) : \partial _t u \in L^q(0,T;X_1) \big \}\) is relatively compact in
Rights and permissions
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.
About this article
Cite this article
Garroni, A., van Meurs, P., Peletier, M.A. et al. Convergence and Non-convergence of Many-Particle Evolutions with Multiple Signs. Arch Rational Mech Anal 235, 3–49 (2020). https://doi.org/10.1007/s00205-019-01436-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-019-01436-y