Abstract
The paper presents a rigorous analysis of the singularities of elastic fields near a dislocation loop in a body of arbitrary material symmetry that extends over the entire three-space. Explicit asymptotic formulas are given for the stress, strain and the incompatible distortion near the curved dislocation. These formulas are used to analyze the main object of the paper, the renormalized energy. The core-cutoff method is used to introduce that notion: first, a core in the form of a curved tube along the dislocation loop is removed; then, the energy of the complement is determined (= the core-cutoff energy). As in the case of a straight dislocation, the core-cutoff energy has a singularity that is proportional to the logarithm of the core radius. The renormalized energy is the limit, as the radius tends to 0, of the core-cutoff energy minus the singular logarithmic part. The main result of the paper are novel formulas for the coefficient of logarithmic singularity (the ‘prelogarithmic energy factor’) and for the renormalized energy.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
A dislocation is an imperfection in the lattice structure of the crystal. At the macroscopic level, a dislocation is modeled as a defective, incompatible deformation in a continuous body. The paper deals with a linearly elastic body of arbitrary symmetry that contains a dislocation loop. The body occupies the whole three-dimensional space \({\mathbf{R}}^{3}\) and is free from external forces. The goal of the paper is to analyze rigorously the asymptotics of deformation and energy near the dislocation.
The dislocation loop is represented by a closed non-intersecting curve \({\mathcal{C}}\subset{\mathbf{R}}^{3}\) (see Sect. 3) and by the Burgers vector \(b\in{\mathbf{R}}^{3}\) (see Sect. 4). It is assumed that \({\mathcal{C}}\) has a twice continuously differentiable arc-length parametrization. We give \({\mathcal{C}}\) one of the two orientations and denote by \(\tau (x)\) the unit tangent vector to \({\mathcal{C}}\) at \(x\in{\mathcal{C}}\). A defective deformation is described by an incompatible distortion field \(H:{\mathbf{R}}^{3}\setminus{\mathcal{C}}\to\mathop{\mathrm {Ten}}\nolimits^{2}\) i.e., \(H\) is not the gradient of a globally defined deformation \(u:{\mathbf{R}}^{3}\to{\mathbf{R}}^{3}\). This distinguishes the elastic dislocation theory from the classical elasticity, where \(H\) coincides with the displacement gradient \(\nabla u\) of a globally defined deformation \(u:{\mathbf{R}}^{3}\to{\mathbf{R}}^{3}\). In the elastic dislocation theory \(H\) is a ‘primitive’ to be determined from the balance and constitutive equations.
Conventions on tensors We denote by \(\mathop{\mathrm{Ten}}\nolimits^{l}\) the space of tensors of order \(l\) on \({\mathbf{R}}^{3}\) (for any nonnegative integer \(l\)). Only orders from 0 to 4 are needed in the succeeding treatment. The spaces \(\mathop{\mathrm{Ten}}\nolimits^{0}\) and \(\mathop{\mathrm{Ten}}\nolimits^{1}\) have the standard representations. The space \(\mathop{\mathrm{Ten}}\nolimits^{2}\) is identified with the space of linear transformations from \({\mathbf{R}}^{3}\) into itself. \(\mathop{\mathrm{Ten}}\nolimits^{2}_{\mathrm{sym}}\subset\mathop{ \mathrm{Ten}}\nolimits^{2}\) is the subspace of symmetric second-order tensors. The space \(\mathop{\mathrm{Ten}}\nolimits^{3}\) is identified with the space of linear transformations \(\mathsf {T}\) from \({\mathbf{R}}^{3}\) into \(\mathop{\mathrm{Ten}}\nolimits^{2}\); the value of \(\mathsf {T}\) on a vector \(b\in{\mathbf{R}}^{3}\) is denoted by \(\mathsf {T}[b]\). The space \(\mathop{\mathrm{Ten}}\nolimits^{4}\) is identified with the space of linear transformations \(\mathsf {C}\) from \(\mathop{\mathrm{Ten}}\nolimits^{2}\) into itself; we again use square brackets to denote the linear argument of \(\mathsf {C}\), i.e., \(\mathsf {C}[A]\) is the value of \(\mathsf {C}\) on \(A\in\mathop{\mathrm{Ten}}\nolimits^{2}\).
The material is characterized by the fourth-order elasticity tensor \(\mathsf {C}\) which has the major symmetry
for every \(H_{1}\), \(H_{2}\in\mathop{\mathrm{Ten}}\nolimits^{2}_{\mathrm{sym}}\), the minor symmetries
for every \(H\in\mathop{\mathrm{Ten}}\nolimits^{2}\), and is positive definite on symmetric tensors
for every nonzero \(E\in\mathop{\mathrm{Ten}}\nolimits^{2}_{\mathrm {sym}}\). For notational convenience we allow non-symmetric arguments of \(\mathsf {C}\), but Equation (1)2 shows that \(\mathsf {C}[H]\) depends only on the symmetric part of \(H\).
The strain \(E\), stress \(T\), and the stored energy \(W\) corresponding to an incompatible distortion \(H\) are given by
and
Given a dislocation loop \({\mathcal{C}}\) with the Burgers vector \(b\in{\mathbf{R}}^{3}\), we seek to determine the distortion tensor field \(H\in L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\) satisfying the system
Here the curl and divergence are interpreted in the sense of distributions (see Sect. 2), \(\tau \) is the unit tangent to the curve \({\mathcal{C}}\), \(\delta_{{\mathcal{C}}}\) is the length measure restricted to \({\mathcal{C}}\) (i.e., the ‘line analog’ of Dirac’s delta function, see Sect. 4).
Theorem 1.1
The system (3) has a unique solution \(H\in L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\), given by
\(x\in{\mathbf{R}}^{3}\setminus{\mathcal{C}}\), where \(\mathsf {K}:{\mathbf{R}}^{3}\setminus\{0\}\to\mathop{\mathrm {Ten}}\nolimits^{4}\) is an infinitely differentiable degree 0 homogeneous function.
Here \(d l \) is the length element along \({\mathcal{C}}\) and \(y\in{\mathcal{C}}\) is the integration variable. The function \(\mathsf {K}\) is said to be degree 0 homogeneous if \(\mathsf {K}(\lambda r)=\mathsf {K}(r)\) for every non-zero \(r\in{\mathbf{R}}^{3}\) and every \(\lambda>0\) (i.e., \(\mathsf {K}(r)\) depends on \(r\) only through \(r/|r|\)). Theorem 1.1 is a particular case of [6, Theorem 4.1], which proves the existence and uniqueness of the system (3) with a general divergence-free measure \(\mu\) in place of the measure \(-b\otimes \tau \,\delta_{{\mathcal{C}}}\). Nevertheless, we give a proof in Sect. 5, based on the Fourier transformation that is similar to that of [6, Theorem 4.1].
The function \(\mathsf {K}\) in Theorem 1.1 is determined completely by the tensor of elastic constants \(\mathsf {C}\), i.e., \(\mathsf {K}\) is independent of the shape of \({\mathcal{C}}\). In the construction of the solution in (4), a use will be made of the well-known line integral of the ‘Biot–Savart type’ (see (36)).
In view of the linear relations (2), the strain and stress are given by equations qualitatively similar to (4), with degree 0 homogeneous functions easily derivable from \(\mathsf {K}\).
The form of the right-hand side of (4) shows that \(H\) has a singularity at the points of \({\mathcal{C}}\), i.e., \(|H(x)|\to\infty\) as \(x\) approaches \({\mathcal{C}}\).
Sets with positive reach We now describe the singularity of \(H\) quantitatively. If \(0<\delta\leq\infty\), the tubular \(\delta\)-neighborhood of a subset \(M\) of \({\mathbf{R}}^{n}\) is defined by
where
is the distance of the point \(x\in{\mathbf{R}}^{n}\) from \(M\). Following Federer [8], we say that \(M\) is a set with positive reach if there exists \(\delta\in(0,\infty]\) with the property that for each \(x\in U(M,\delta)\) there exists a unique closest point \(x^{\ast}\) on \(M\), i.e., a unique point \(x^{\ast}\in M\) such that
The supremum of all \(\delta\) with the just described uniqueness property is referred to as the reach of \(M\) and denoted by \(\mathop{\mathrm{reach}}\nolimits(M)\). The map \(x\mapsto x^{\ast}\), defined on \(U\big(M,\mathop{\mathrm{reach}}\nolimits(M)\big)\), is called the metric projection onto \(M\). Every compact embedded manifold of class \(C^{2}\) in \({\mathbf{R}}^{n}\) is a set with positive reach [8, p. 432]; thus \({\mathcal{C}}\) is a set with positive reach. The metric projection \(x\mapsto x^{\ast}\), defined for any \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\), plays a central role in the subsequent considerations.
Let \(\mathsf {L}:\mathop{\mathrm{dom}}\nolimits \mathsf {L}\to\mathop{\mathrm {Ten}}\nolimits^{3}\) be a function defined on the set
by
for every \((\rho ,\sigma )\in\mathop{\mathrm{dom}}\nolimits \mathsf {L}\) and every \(b\in{\mathbf{R}}^{3}\). Since \(\mathsf {K}\) is bounded and \(|\rho +t\sigma |^{2}=|\rho |^{2}+t^{2}\) for every \((\rho ,\sigma )\in\mathop{\mathrm{dom}}\nolimits \mathsf {L}\), the integral in (5) converges; moreover, the function \(\mathsf {L}(\cdot, \sigma )\) is degree 0 homogeneous for each \(\sigma \in{\mathbf{S}}^{2}\), as a simple scaling of the variable \(t\) in (5) shows.
Note The definition (5) shows that the function \(\mathsf {L}(\rho ,\sigma )/|\rho |\) is the one-dimensional Radon transform of the function \(\mathsf {K}(r)/|r|^{2} \) (also termed X-ray transform in [11, Chapter I, § 6]).
Theorem 1.2
Let \(H^{\ast}:U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}}) \big)\setminus{\mathcal{C}}\to\mathop{\mathrm{Ten}}\nolimits ^{2}\) be given by
\(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big) \setminus{\mathcal{C}}\). Then there exist \(c>0\) and \(\delta\in\big(0,\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big]\) such that
for every \(x\in U({\mathcal{C}},\delta)\setminus{\mathcal{C}}\).
Remarks 1
(i) Equation (6) shows that the qualitative growth of \(H^{\ast}\) near \({\mathcal {C}}\) is
the field \(H\) has the same qualitative growth (by Inequality (7)).
(ii) The logarithm on the right-hand side of (7) is not essential (in contrast to the logarithm in (15), below). The following weaker estimate suffices for the proof of Theorem 1.3:
for every \(x\in U({\mathcal{C}},\delta)\setminus{\mathcal{C}}\), where \(f\in L^{2}\big(U({\mathcal{C}},\delta)\big)\).
The asymptotics of \(H\) implies that \(H\) is not square integrable; thus the total energy of a dislocation loop is infinite,
as is well known. Here \(d v \) is the volume element in \({\mathbf{R}}^{3}\). The infinite contribution to the integral in (8) comes from the singularity of \(H\) at \({\mathcal{C}}\): one has
for any neighborhood \(U\) of \({\mathcal{C}}\). On the other hand, the energy of the complement of \(U\) is finite
In view (8)–(10), we apply the finite-core regularization of the energy functional. Namely, one removes a tubular core \(U({\mathcal{C}},r)\) (\(0< r<\delta\)) along the dislocation loop and determines the energy of the complement \({\mathbf{R}}^{2}\setminus U({\mathcal{C}},r)\). That energy is finite, but has a singularity that is proportional to the \(\log(1/r)\). The regularized energy is the limit, as \(r\to0\), of the core-cutoff energy minus the singular logarithmic part. The following theorem gives formulas for the coefficient of logarithmic singularity (the ‘prelogarithmic energy factor’) and for the regularized energy.
To this end, we define the normal space of \({\mathcal{C}}\) at \(y\in{\mathcal{C}}\) by
and the circle of radius \(r>0\) in the normal space by
Furthermore, we denote by \(\kappa (y)\) the curvature vector of \({\mathcal{C}}\) at the point \(y\in{\mathcal{C}}\), i.e., the second derivative of the position on \({\mathcal{C}}\) with respect to arc-length parameter (see Sect. 3), and introduce the function \(J:U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\to{ \mathbf{R}}\) by
for every \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\). It will be shown in Sect. 3 that the denominator in (12) is positive for all indicated \(x\). It will be also shown that \(J\) is the jacobian of the map \(x\mapsto x^{\ast}\). Let \(\delta\) be as in Theorem 1.2.
Theorem 1.3
(i) The nested integrals in the formula
absolutely converge; for any \(r\in(0,\delta)\) the integrals in the formula
absolutely converge and the value of the right-hand side of (14) is independent of the choice of \(r\).
(ii) We have
for every \(0<\epsilon\leq\delta\), where \(\varphi:(0,\delta)\to{\mathbf{R}}\) satisfies
The quantity \(\varPhi\) is the renormalized energy and \(\varTheta\) is the prelogarithmic energy factor. Both \(\varPhi\) and \(\varTheta\) are functions of the Burgers vector and the shape of the curve \({\mathcal{C}}\).
Future papers will treat dislocations in bounded domains, the variation of \(\varPhi\) under variations of the shape of \({\mathcal{C}}\), the Peach–Köhler force, and the particular case of isotropic materials.
This research was motivated by the paper [4] by Cermelli and Leoni and the subsequent paper [3] by Blass and Morandotti. The authors consider point dislocations in a bounded region in the two-dimensional space. The region is interpreted as the cross section of a cylindrical region in \({\mathbf{R}}^{3}\) containing straight dislocations. The cited papers prove, among other things, the existence of the renormalized energy and show that the derivative of the regularized energy with respect to the position of the dislocation can be identified with the Peach–Köhler force.
After the research of the present paper was completed, a recent paper by Fonseca, Ginster and Wojtowytsch [10] came to my attention. The paper deals with motion of dislocations in a simplified elasticity, where the elastic energy depends quadratically on the full displacement gradient rather than its symmetrized version. Thus the elasticity tensor is given by \(\mathsf {C}[H]=H\) for all \(H\in\mathop{\mathrm{Ten}}\nolimits^{2}\) (and the minor symmetry requirement (1) is dropped). In [10, Theorem 4.5] the authors determine the prelogarithmic factor for their choice of \(\mathsf {C}\), and it can be shown that the above formula (13) yields this result of Fonseca, Ginster and Wojtowytsch in the particular case of their choice of \(\mathsf {C}\). (There is no counterpart in [10] of the formula (14) for the renormalized energy.)
This article is organized as follows. Section 2 collects some preliminaries, such as some notations and the distributional versions of divergence and curl. Section 3 describes basic geometric properties of the closed curve \({\mathcal{C}}\). First, a formula is given for the gradient of the metric projection onto \({\mathcal{C}}\). Further, the coarea formula is used to prove an equation that replaces the volume integration over \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\) by the area integration over the cross sections of \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\) followed by the length integration along \({\mathcal{C}}\). Finally, it is proved that the arc-length distance is majorized by a multiple of the euclidean length of the secant. Section 4 introduces the Burgers vector of the dislocation loop via the properties of normal currents [9]. Further, it is proved that the distortion tensor is the sum of a divergence-free term and the gradient of a globally defined displacement. Section 5 solves the equilibrium equations by the Fourier transformation. Section 6 proves the asymptotic form of the distortion field near the dislocation. Sect. 7 describes the summability properties of the equilibrium distortion field. Section 8 proves the above theorem on renormalization of the energy. Finally, Appendix summarizes some properties of the Fourier transformation used in the proofs.
Throughout the proofs in the succeeding sections, \(c\) denotes a “generic” constant that may change from line to line.
2 Distributional Gradient, Divergence and Curl
2.1 Vector Product
The vector product of \(u\), and \(v\in{\mathbf{R}}^{3}\) is denoted by \(w=u\times v\); in components \(w_{i}=\epsilon_{ijk}u_{j}v_{k}\), where \(\epsilon_{ijk}\) is the alternating tensor and \(u_{i}\), \(v_{i}\) and \(w_{i}\) are the components of \(u\), \(v\) and \(w\). The suffixes \(i\), \(j\), \(k,\dots\) range from 1 to 3 and the summation convention is used. The vector product of a second-order tensor \(A\) with a vector \(u\) is a second-order tensor \(B=u\times A\in\mathop{\mathrm{Ten}}\nolimits^{2}\) with the components \(B_{ij}=\epsilon_{jkl}A_{il}u_{k}\). Note the identity
which is an analog of \(u\times(v\times w) = v(u\cdot w)-w(u\cdot v) \).
2.2 Gradient, Divergence and Curl for Smooth Functions
If \({\mathbf{R}}^{3}\) is an open subset of \({\mathbf{R}}^{3}\) and \(u\) a continuously differentiable function on \({\mathbf{R}}^{3}\) with values in \({\mathbf{R}}^{3}\), we define the divergence, curl, and gradient of \(u\) as functions on \({\mathbf{R}}^{3}\) with values in \({\mathbf{R}}\), \({\mathbf{R}}^{3}\) and \(\mathop{\mathrm{Ten}}\nolimits^{2}\), respectively, given by
If \(A\) is a continuously differentiable function on \({\mathbf {R}}^{3}\) with values in \(\mathop{\mathrm{Ten}}\nolimits^{2}\), we define the divergence and curl of \(A\) as functions on \({\mathbf{R}}^{3}\) with values in \({\mathbf{R}}^{3}\) and \(\mathop{\mathrm{Ten}}\nolimits^{2}\), respectively, given by
2.3 Gradient, Divergence and Curl for Distributions
We now introduce the scalar- vector- and tensor-valued distributions and the corresponding gradient, divergence and curl in the sense of distributions. To unify the treatment, we introduce distributions with values in a finite dimensional real inner product space \(Y\). To this end, we define the Schwartz testfunction space \({\mathcal{D}}({\mathbf{R}}^{3},Y) \) as the set of all infinitely differentiable functions \(f:{\mathbf{R}}^{3}\to Y \) with compact support. We denote by \({\mathcal{D}}'({\mathbf{R}}^{3},Y)\) the set of all real linear functionals on \({\mathcal{D}}({\mathbf{R}}^{3},Y)\) which are continuous under the Schwartz topology in \({\mathcal{D}}({\mathbf{R}}^{3},Y)\). The elements \(T\) of \({\mathcal{D}}'({\mathbf{R}}^{3},Y)\) are called \(Y\)-valued distributions on \({\mathbf{R}}^{3}\). We denote the value of \(T\) on \(f\in{\mathcal{D}}({\mathbf{R}}^{3},Y)\) by \(\big< T,f\big>\).
Two particular cases of \(Y\)-valued distributions to be used below are the distribution \(T_{g}\) corresponding to a locally integrable function \(g:{\mathbf{R}}^{3}\to Y\) and the distribution \(T_{\mu}\) corresponding to an \(Y\)-valued measure \(\mu\) on \({\mathbf{R}}^{3}\). These are given by
\(f\in{\mathcal{D}}({\mathbf{R}}^{3},Y)\). We denote by \(L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf{R}}^{3},Y)\) the set of all locally integrable \(Y\)-valued functions on \({\mathbf{R}}^{3}\) and by \({\mathcal{M}}({\mathbf{R}}^{3},Y)\) the set of all (finite) \(Y\)-valued measures on \({\mathbf{R}}^{3}\).
We define the distributional versions of differential operators \(\nabla\), \(\mathop{\mathrm{div}}\nolimits\) and \(\mathop{\mathrm{curl}}\nolimits\) by formal integration by parts. Let \(v\in{\mathcal{D}}'({\mathbf{R}}^{3},{\mathbf{R}}^{3})\) and \(B\in{\mathcal{D}}'({\mathbf{R}}^{3},\mathop{\mathrm {Ten}}\nolimits^{2})\) be vector- and tensor-valued distributions. We define the gradient of \(v\) as a distribution \(\nabla v\in{\mathcal{D}}'({\mathbf{R}}^{3},\mathop{\mathrm {Ten}}\nolimits^{2})\) by
for any \(A\in{\mathcal{D}}({\mathbf{R}}^{3},\mathop{\mathrm {Ten}}\nolimits^{2})\). Similarly, we define the divergence of \(B\) as a distribution \(\mathop{\mathrm{div}}\nolimits B\in{\mathcal{D}}'({\mathbf {R}}^{3},{\mathbf{R}}^{3})\) by
for any \(u\in{\mathcal{D}}({\mathbf{R}}^{3},{\mathbf{R}}^{3})\), as above. Finally, we define the curls of \(v\) and \(B\) as distributions \(\mathop{\mathrm{curl}}\nolimits v\in{\mathcal{D}}'({\mathbf {R}}^{3},{\mathbf{R}}^{3})\) and \(\mathop{\mathrm{curl}}\nolimits B\in{\mathcal{D}}'({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\) by
for any \(u\) and \(A\) as above.
Throughout the rest of the paper, the operators \(\nabla\), \(\mathop{\mathrm{div}}\nolimits\) and \(\mathop{\mathrm {curl}}\nolimits\) are interpreted in the distributional sense (unless stated otherwise).
3 Geometry of Closed Curves
The purpose of this section is to summarize some properties of closed curves that will be used in the proof in the subsequent sections. Proposition 3.1 determines the gradient \(\nabla P\) of the metric projection \(P\) onto \({\mathcal{C}}\). Proposition 3.2 determines the formula for the replacement of the volume integration over a tube \(U({\mathcal{C}},\epsilon)\) by a successive integration over the perpendicular cross-sections of \(U({\mathcal{C}},\epsilon)\) followed by a line integration along \({\mathcal{C}}\). The formula involves the jacobian which is equal to \(|\nabla P|\). Proposition 3.3 estimates the arc-length distance along segments on \({\mathbf{S}}^{3}\) and on \({\mathcal{C}}\) by a multiple of the euclidean distance of the endpoints of the segment. This will be used in Sect. 6 to estimate the difference of the function \(H^{\ast}(x)\) at two points by integrating its gradient along a curve that avoids the singularity at the origin (rather than along the segment connecting these points).
By a loop we mean the range \({\mathcal{C}}\) of a twice continuously differentiable map \(\gamma :[a,b]\to{\mathbf{R}}^{3}\) (\(-\infty< a< b<\infty\)) which satisfies
-
(i)
\(\displaystyle \gamma (a)=\gamma (b)\), \(\dot{\gamma} (a)=\dot{\gamma} (b)\) and \(\ddot{\gamma} (a)=\ddot {\gamma} (b)\);
-
(ii)
\(|\dot{\gamma} (t)|=1\) for every \(t\in[a,b]\);
-
(iii)
the restriction of \(\gamma \) to \([a,b)\) is injective (i.e., if \(t\), \(s\in[a,b)\) satisfy \(\gamma (t)=\gamma (s)\) then \(t=s\)).
Any map \(\gamma \) with these properties is called a parametrization of \({\mathcal{C}}\). The tangent and curvature vectors are maps \(\tau :{\mathcal{C}}\to{\mathbf{R}}^{3}\) and \(\kappa :{\mathcal{C}}\to{\mathbf{R}}^{3}\) given by
clearly,
Recall that \({\mathcal{C}}\) is a set with finite reach and that the metric projection associates with any point \(x\) in the tubular neighborhood \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\) its projection \(x^{\ast}\in{\mathcal{C}}\), which we alternatively denote by \(P(x)\).
Proposition 3.1
The metric projection \(P\) is continuously differentiable on \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\); for every \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\) we have
and
Proof
Let \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\). Then
Let \(x^{\ast}=\gamma (t_{0})\) where \(t_{0}\in(a,b)\) and let \(\varphi:(a,b)\to{\mathbf{R}}\) be given by \(\varphi(t):=|x-\gamma (t)|^{2} \), \(t\in(a,b)\). The function \(\varphi\) has a minimum at \(t_{0}\). We have
The conditions \(\dot{\varphi} (t_{0})=0\), \(\ddot{\varphi} (t_{0})\geq0\) yield
Let us show that we have the strict inequality sign in (20)2 for every point \(x\in U\big({\mathcal{C}}, \mathop{\mathrm {reach}}\nolimits({\mathcal{C}})\big)\). Assume, to the contrary that
for some \(x_{0}\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}}) \big)\). Let \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\) be such that \(x^{\ast}=x^{\ast}_{0}\). Then (21) gives
and as (21) requires \(\kappa (x^{\ast}_{0})\neq0\), we see that there are points \(x\) in the vicinity of \(x_{0}\) for which the left-hand side of (20)2 is negative. This contradiction shows that we have the strict inequality sign in (20)2 for every point \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\). This also completes the proof of (18).
We now proceed to the proof of (19). By [7, Theorem 4.1 and Corollary 4.5], \(P\) is continuously differentiable. Formula (19) is a particular case of the derivative of the metric projection onto a \(C^{2}\) manifold \(M\subset{\mathbf{R}}^{n}\) given in a coordinate form in [1, Theorem 4.1] and in the coordinate-free form from [16, Theorem 2.3.4(ii)]. However, we give a direct derivation here. Let \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big)\). Since the function is constant on the set \(x^{\ast}+\mathop{\mathrm{Nor}}\nolimits({\mathcal{C}},x^{\ast})\), we see that the kernel of \(\nabla P(x)\) contains \(\mathop{\mathrm{Nor}}\nolimits({\mathcal{C}},x^{\ast})\). Further, since the values of the map \(P\) are constrained to belong to \({\mathcal{C}}\), the range of \(\nabla P(x)\) is contained in the tangent space \(\mathop{\mathrm{Tan}}\nolimits({\mathcal{C}},x^{\ast})\). The described properties of the kernel and range of \(\nabla P(x)\) imply that \(\nabla P(x)\) is of the form
where \(m\) is a scalar-valued function on \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\). We rewrite (20)1 as
and differentiate in the direction \(a\in{\mathbf{R}}^{3}\) to obtain
where we write \(\kappa \) and \(\tau \) for \(\kappa (x^{\ast})\) and \(\tau (x^{\ast})\). As \(a\) is arbitrary, this simplifies to
i.e., \(m = \big(1- \kappa \cdot(x-x^{\ast}) \big)^{-1} \) and (22) gives (19). □
For any numbers \(r\), \(s\) satisfying \(0\leq r< s\leq\mathop{\mathrm{reach}}\nolimits({\mathcal{C}})\) and any \(y\in{\mathcal{C}}\) we put
Finally, define the function \(J:U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\to{ \mathbf{R}}\) by (12), where we recall (18).
Proposition 3.2
Let \(0\leq r< s\leq\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\), and let \(f:U({\mathcal{C}},r,s)\to{\mathbf{R}}\) be a Lebesgue measurable function satisfying
Then
\(d a \) is the area element of the plane \(\mathop{\mathrm{Nor}}\nolimits({\mathcal{C}},y)\).
Proof
We use the coarea formula for maps with values in manifolds [9, Theorem 3.2.22] to the map metric projection \(P\) from \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\) into the manifold \({\mathcal{C}}\). The application to the situation of the present proposition gives
where \(J\) is the jacobian of the map \(P\). In the present case of the unidimensional target manifold \({\mathcal{C}}\) we have \(J=|\nabla P|\) and hence (19) provides (12). Further, observing that
we see that (26) reduces to
and the substitution \(x\mapsto \rho =x-y\) in the inner integral yields (25). □
Recall that the arc-length distance \(d(p,q)\) of two points \(p\) and \(q\) on a compact manifold \(M\subset{\mathbf{R}}^{n}\) is the length of the shortest curve on \(M\) that connects \(p\) and \(q\). Clearly, the euclidean distance of \(p\) and \(q\) in \({\mathbf{R}}^{n}\) is majorized by the arc-length distance:
We now show that for a sphere in \({\mathbf{R}}^{n}\) and for \({\mathcal {C}}\) conversely the arc-length distance is majorized by a constant multiple of the euclidean distance in \({\mathbf{R}}^{3}\).
Proposition 3.3
(i) Let \(M\) be a sphere in \({\mathbf{R}}^{n}\), \(n\geq2\). Then the arc-length distance \(d_{0}\) on \(M\) satisfies
for any \(p\), \(q\in M\).
(ii) There exists \(c>0\) such that the arc-length distance \(d_{{\mathcal{C}}}\) on \({\mathcal{C}}\) satisfies
for any \(y\), \(z\in{\mathcal{C}}\).
Proof
(i): Since (27) is invariant under scaling and translation, it suffices to consider \(M={\mathbf{S}}^{n-1}\). Let \(c \) be the shortest arc on \(M\) that connects \(p\) and \(q\), let \(\varPi\subset{\mathbf{R}}^{n}\) be the plane in \({\mathbf{R}}^{n}\) that contains \(p\), \(q\) and 0, and let \(\varSigma:=M\cap\varPi\) (i.e., \(\varSigma\) is the great circle containing \(p\) and \(q\)). It is well-known that \(c \) is the shorter of the two segments on \(\varSigma\) with endpoints \(p\) and \(q\). We identify \(\varPi\) with \({\mathbf{R}}^{2}\), \(\varSigma\) with the unit circle in \({\mathbf{R}}^{2}\), and the points with \(p=(1,0)\) and \(q=(\cos\varphi,\sin\varphi)\), where \(\varphi\in[0,\pi]\). Then \(d_{0}(p,q)=\varphi\); further, denoting \(l:=|p-q|\), we have
i.e.,
Consider \(l\) as a function of \(\varphi\) on the interval \((0,\pi]\) and put \(f(\varphi):=l/\varphi\). We have
The numerator on the right-hand side is non-positive: indeed, a differentiation shows that the numerator is a decreasing function of \(\varphi\) on \([0,\pi]\) and its value at 0 is 0. Thus \(f'\leq0\) and hence \(f\) is a decreasing function. Its minimum value is \(f(\pi)=2/\pi\) since \(l(\pi)=2\). Hence \(f(\varphi)\geq2/\pi \), i.e., (27) holds.
(ii): The length of \({\mathcal{C}}\) is \(L=b-a\). Let \(M\) be the circle in \({\mathbf{R}}^{2}\) with the center at the origin and of the circumference \(L\), and denote the arc-length distance on \(M\) by \(d_{0}\). It will be shown below that there exists a continuously differentiable map \(G:{\mathbf{R}}^{3}\to{\mathbf{R}}^{2}\) with bounded gradient that maps \({\mathcal{C}}\) isometrically onto the circle \(M\) (under the arc-length distances on \({\mathcal{C}}\) and \(M\)), i.e., \(G({\mathcal{C}})=M\) and
for all \(y\), \(z\in{\mathcal{C}}\). By (27),
note also that
for every \(y\), \(z\in{\mathbf{R}}^{3}\), where \(k=\max\{|\nabla G(x)|:x\in{\mathbf{R}}^{3}\}\). Relations (29), (30), and (31) give (28) with \(c=\pi k/2\).
The proof is now concluded with the construction of the map \(G\). Let \(\omega:{\mathcal{C}}\to M\) be given by
Then \(\omega\) is an isometry under the arc-length distances on \({\mathcal{C}}\) and \(M\). Let further \(\theta:{\mathbf{R}}\to[0,1]\) be a continuously differentiable function such that \(\theta=1\) on \(\big(-\infty,\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})/2\big]\) and \(\theta=0\) on \(\big[\mathop{\mathrm{reach}}\nolimits({\mathcal{C}}),\infty\big )\). Finally, let \(G:{\mathbf{R}}^{3}\to{\mathbf{R}}^{2}\) be given by
One finds that \(G\) is continuously differentiable on \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\) and its derivative is bounded and that \(G\) vanishes on \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big) \setminus U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})/2 \big)\). Thus the extension by 0 outside \(U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big)\) results in a continuously differentiable function on \({\mathbf{R}}^{3}\) with bounded derivative. Finally, since \(P\) reduces to the identity map on \({\mathcal{C}}\), we have \(G(x)=\omega(x) \) for all \(x\in{\mathcal{C}}\). As \(\omega\) is an isometry under the arc-length distances on \({\mathcal{C}}\) and \(M\), we have (29). Thus \(G\) has all the required properties. □
4 Dislocation Density Tensor. Burgers Vector
In the present approach to dislocations, a deformation with defects is described by a distortion tensor field \(H\in L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\) such that the dislocation density tensor
is a measure in \({\mathcal{M}}({\mathbf{R}}^{3},\mathop{\mathrm{Ten}}\nolimits ^{2})\). The definition gives that \(\alpha \) is divergence-free:
The distortion tensor field \(H\) is said to be defect-free if there exists a function \(u\in W^{1,1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},{\mathbf{R}}^{3})\), called the displacement, such that
We now analyze defective deformations for which the dislocation density is a measure that is supported on a loop \({\mathcal{C}}\) in \({\mathbf{R}}^{3}\). We denote by \(\delta_{{\mathcal{C}}}\in{\mathcal{M}}({\mathbf{R}}^{3},{\mathbf {R}})\) the length \(l \) measure (= the 1-dimensional Hausdorff measure) restricted to \({\mathcal{C}}\). Thus \(\delta_{{\mathcal{C}}}\) is defined as to satisfy
for any continuous scalar-valued function \(f\) on \({\mathbf{R}}^{3}\), where \(\gamma :[a,b]\to{\mathbf{R}}^{3}\) is a parametrization of \({\mathcal{C}}\).
Proposition 4.1
If \(\alpha \in{\mathcal{M}}({\mathbf{R}}^{3},\mathop{\mathrm {Ten}}\nolimits^{2})\) is a measure supported on a loop \({\mathcal{C}}\subset{\mathbf{R}}^{3}\) then
if and only if there exists a (constant) vector \(b\in{\mathbf{R}}^{3}\) such that
The vector \(b\) in (33) is the Burgers vector corresponding to the dislocation density \(\alpha \). The form of \(\alpha \) in equation (33) is traditionally postulated; here it will be shown to be a consequence of the tangentiality of Federer–Fleming’s normal currents [9]. The reader is referred to [5], [6] and [13], [14] for earlier usages of currents in the theories of dislocations.
Proof
We prove preliminarily the following assertion about a vector-valued measures: if \(\mu \in{\mathcal{M}}({\mathbf{R}}^{3},{\mathbf {R}}^{3})\) is a measure supported on a loop \({\mathcal{C}}\subset{\mathbf{R}}^{3}\) then
if and only if there exists a constant \(c\in{\mathbf{R}}\) such that
The necessity of (35): Assume that \(\mu \) satisfies (34). In the language of the geometric measure theory \(\mu \) is a normal 1-dimensional current [9, Chapter Four] with the support contained in \({\mathcal{C}}\). We first note that \(\mu \) represents a 1-dimensional flat chain and invoke [15, Proposition 4.1] to learn that \(\mu \) is absolutely continuous with respect to \(l \) and the corresponding the density \(a\) is parallel with \(\tau \), i.e., \(a=g\tau \), where \(g:{\mathcal{C}}\to{\mathbf{R}}\). In terms of the parametrization, Equation (34) reads
for every \(f\in{\mathcal{D}}({\mathbf{R}}^{3},{\mathbf{R}})\). This is rewritten as
and the Du Bois–Reymond lemma implies that \(g\) is constant. The sufficiency of (35) follows by reversing the last few steps of the preceding part. This completes the proof of the preliminary assertion.
To complete the proof of Proposition 4.1, we apply the preliminary assertion to the measures \(\mu _{i}=\alpha ^{{\mathrm{T}}}e_{i}\), \(i=1\), 2, 3, where \(\{e_{i}:i=1,\,2,\,3\}\) is the standard basis in \({\mathbf{R}}^{3}\). If \(\alpha \) satisfies (32), then each \(\mu _{i}\) satisfies (34) and thus \(\mu _{i}=-c_{i}\tau _{i}\,\delta_{{\mathcal{C}}}\) with some constants \(c_{i}\in{\mathbf{R}}\). Then, if we define \(b=(c_{1},c_{2},c_{3})\), the measure \(\alpha \) satisfies (33). This completes the proof of the direct implication in Proposition 4.1. The converse implication follows from the converse implication in the preliminary assertion. □
The following proposition determines the distortion field \(H\) corresponding to the dislocation density tensor \(\alpha \) of the form (33). It will be apparent from the proof that the result can be generalized to the dislocation density represented by any divergence-free tensor-valued measure \(\alpha \).
Proposition 4.2
Let \(M:{\mathbf{R}}^{3}\setminus{\mathcal{C}}\to\mathop{\mathrm {Ten}}\nolimits^{2}\) be given by
for each \(x\in{\mathbf{R}}^{3}\setminus{\mathcal{C}}\). Then \(M\) is locally integrable and
A field \(H\in L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\) is a solution of the equation
if and only if
where \(v\) is some function in \(W^{1,1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},{\mathbf{R}}^{3})\).
Proof
To prove the local integrability of \(M\), it suffices to prove the local integrability of the function \(m\), given by
\(x\in{\mathbf{R}}^{3}\setminus{\mathcal{C}}\). Then
and hence the integration over the ball \(B(x_{0},r)\) of center \(x_{0}\in{\mathbf{R}}^{3}\) and radius \(r>0\) gives
We now choose and fix an arbitrary value of the radius \(r>0\) (e.g., \(r=1\)) and prove that there exists a \(c<\infty\) such that
for all \(x_{0}\) and \(y\) in \({\mathbf{R}}^{3}\). This can be proved elementarily, but it also follows by using an estimate for the Riesz potentials. Indeed, the integrand in (40) is the Riesz potential \(I_{1}(x-y)\) (up to the Riesz normalization constant, which is not essential here). Inequality (40) then follows from [2, Proposition 3.1.2(a)] with \(\alpha=p=1\) and \(f=\) the characteristic function of \(B(x_{0},r)\). (The constant \(c\) then turns to be equal to \(c_{1}r\) where \(c_{1}\) is independent of \(r\), which is not needed here.) Inequalities (39) and (40) then give
i.e., \(m\) (and hence \(M\)) is locally integrable.
Thus the theory of Fourier transformations of tempered distributions can be used to prove (37). Appendix summarizes the properties of the Fourier transformation that will be needed in the proof. We first determine the Fourier transform \(\hat {M}\) of \(M\). To this end, we rewrite (36) in the form
where \(g\) is the function
and \(C\) is the measure
The right-hand side of (41) is the convolution of \(g\) with \(C\). By Property 3 in Appendix, \(\hat {M}\) is the product of the Fourier transforms \(\hat {g}\) and \(\hat {C}\) of \(g\) and \(C\), i.e.,
To determine \(\hat {g}\), we note that \(g=\nabla f\), where \(f(r)=-(4\pi)^{-1}|r|^{-1}\) is Newton’s potential. The Fourier transform \(\hat {f}\) of \(f\) is given by \(\hat {f}(\xi )=-|\xi |^{-2}\). This follows, e.g., from the general formula [12, Equation (25.25)]. Here and below we assume that \(\xi \neq0\). Thus
by (81). The Fourier transform of \(C\) is represented by a bounded continuous \(\mathop{\mathrm{Ten}}\nolimits^{2}\)-valued function. Then (42) gives that \(\hat {M}\) is represented by a locally integrable function
By Proposition 4.1 we have \(\mathop{\mathrm{div}}\nolimits C=0\) and hence \(\hat {C}(\xi )\xi =0\) by (84). Thus
and the inverse Fourier transformation yields (37).
To complete the proof of Proposition 4.2, we note that \(S\) is a solution of Equation (38) if and only if
and the last equation is satisfied if and only if
for some distribution \(v\in{\mathcal{D}}'({\mathbf {R}}^{3},{\mathbf{R}}^{3})\); the requirement \(S\in L^{1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},\mathop{ \mathrm{Ten}}\nolimits^{2})\) gives that \(\nabla v\) is represented by a locally integrable function; hence \(v\in W^{1,1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},{\mathbf{R}}^{3})\). □
5 The Solution of Equilibrium Equations (Proof of Theorem 1.1)
We first assume that the system has a solution \(H\) and prove that then \(H\) is given by (4) with \(\mathsf {K}\) having the properties described in Theorem 1.1. This will prove the uniqueness. The existence will follow by showing that (4) with the just constructed function \(\mathsf {K}\) gives the solution.
By Proposition 4.2, any solution of (3)1 is given by
where \(M\) is given by (36) and \(v\) is some function in \(W^{1,1}_{{\mathop{\mathrm{loc}}\nolimits}}({\mathbf {R}}^{3},{\mathbf{R}}^{3})\). Thus the goal is to determine \(v\). If we insert \(H\) from (44) into (3)1, we obtain the equation
We employ the Fourier transformation of tempered distributions to describe the solution v of (45). In the notation of the proof of Proposition 4.2, the Fourier transform \(\hat {M}\) is given by (43) and consequently, the Fourier transform of \(\mathsf {C}[M]\) is
By (84), \(-\mathop{\mathrm{div}}\nolimits \mathsf {C}[M]\) is transformed into
Let \(A\) be the acoustic tensor of the material, i.e., the function \(A:{\mathbf{R}}^{3}\to\mathop{\mathrm{Ten}}\nolimits^{2}\) defined uniquely by the equation
for every \(\xi \), \(a\), \(b\in{\mathbf{R}}^{3}\). The tensor \(A(\xi )\) is symmetric and positive semidefinite for all \(\xi \in{\mathbf{R}}^{3}\) and positive definite if \(\xi \neq0\). If \(\xi \neq0\), we denote by \(B(\xi )\) the inverse of \(A(\xi )\). Since \(A(\cdot)\) is 2-homogeneous, its inverse \(B(\cdot)\) is degree −2 homogeneous and infinitely differentiable function on \({\mathbf{R}}^{3}\setminus\{0\}\).
By (82) and (84), \(\mathop{\mathrm{div}}\nolimits \mathsf {C}[\nabla v]\) is transformed into \(-A(\xi )\hat {v}\) where \(\hat {v}\) is the Fourier transform of \(v\). Hence (45) transforms into
by (46). Thus
By (82), the Fourier transform of the gradient of \(v\) is given by
Let \(D\in\mathop{\mathrm{Ten}}\nolimits^{2}\). The second-order tensor-valued function
is linear in \(D\) and degree −1 homogeneous in \(\xi \) (recall that \(B(\cdot)\) is degree −2 homogeneous). Hence there exists a function \(\mathsf {G}_{1}:{\mathbf{R}}^{3}\setminus\{0\}\to\mathop{\mathrm {Ten}}\nolimits^{4}\) such that \(Z(\xi ,D)=\mathsf {G}_{1}(\xi )[D]\) for all \(\xi \neq0\) and \(D\in\mathop{\mathrm{Ten}}\nolimits^{2}\); Equation (47) is then rewritten as
for all \(\xi \neq0\). Similarly, (43) can be rewritten as
where \(\mathsf {G}_{2}:{\mathbf{R}}^{3}\setminus\{0\}\to\mathop{\mathrm {Ten}}\nolimits^{4}\) degree −1 homogeneous. Thus the Fourier transform \(\hat {H}\) of \(H\) is given by
where \(\mathsf {G}=\mathsf {G}_{1}+\mathsf {G}_{2}\).
The inverse Fourier transform \({\mathbf{\check{\mathsf {G}}}}\) of the function \(\mathsf {G}\) is therefore degree −2 homogeneous by Property 2 in Appendix, and hence of the form
where \(\mathsf {K}:{\mathbf{R}}^{3}\setminus\{0\}\to\mathop{\mathrm {Ten}}\nolimits^{4}\) is an infinitely differentiable degree 0 homogeneous function. The inverse Fourier transformation changes Equation (48) into Equation (4) by Property 3 in Appendix.
The proof is complete.
6 Asymptotics of the Solution Near \({\mathcal{C}}\) (Proof of Theorem 1.2)
We put
\(0\neq r\in{\mathbf{R}}^{3}\), where \(\mathsf {K}\) is as in Theorem 1.1. Since \(\mathsf {K}\) is infinitely differentiable, \(|\mathsf {K}|\) and \(|\nabla \mathsf {K}|\) have finite maxima on the unit sphere \({\mathbf{S}}^{2}\) in \({\mathbf{R}}^{3}\); since \(\mathsf {K}\) is degree 0 homogeneous function, the maximum of \(|\mathsf {K}|\) on \({\mathbf{S}}^{2}\) is also the maximum of \(|\mathsf {K}|\) on \({\mathbf{R}}^{3}\setminus\{0\}\). Thus
are finite numbers.
Lemma 6.1
There exists \(m>0\) such that
for every nonzero \(r\), \(s\) in \({\mathbf{R}}^{3}\), where
Proof
We shall prove (50) with
We put \(\rho:=|r|\) and \(\sigma:=|s|\) and assume, without loss in generality, that \(\rho\leq\sigma \). We write
where
We have
We have
where the first inequality follows from \(\rho\leq\sigma\) and the second from \(\sigma-\rho=|\sigma-\rho|\leq|r-s|\). Thus
since \(r_{0}=\rho\) by \(\rho\leq\sigma\).
The quantity \(B\) will be estimated by integrating \(\nabla \mathsf {K}\) along the shortest arc on \({\mathbf{S}}^{2}\) that connects the projections of \(r\), \(s\) onto \({\mathbf{S}}^{2}\). Thus let \(p:=r/\rho\) and \(q:=s/\sigma\) be the projections of \(r\) and \(s\) onto \({\mathbf{S}}^{2}\), let \(c \) be the shortest arc on \({\mathbf {S}}^{2}\) that connects \(p\) with \(q\) (see Sect. 4) and let \(d\) be the length of \(c \). Let us show that
Splitting the difference \(r-s\) into the sum of \(r-\rho s/\sigma\) and \(\rho s/\sigma-s\), we obtain
using the identity
and the inequalities \(1/\sigma-1/\rho\leq0\) and \(r\cdot s-\rho\sigma\leq0\), we see that the third term on the right-hand side of (54) is non-negative. Thus (54) provides
which proves (53). Let \(\omega :[0,d]\to c \) be an arc-length parametrisation of \(c \). By the homogeneity of degree 0 of \(\mathsf {K}\), we have \(\mathsf {K}(r)-\mathsf {K}(s)=\mathsf {K}(p)-\mathsf {K}(q)\). Then
and Inequalities (27) and by (53) yield
Thus
Inequalities (52) and (55) give (50) with \(m\) as in (51). □
Proof of Theorem 1.2
Let \(H\) and \(H^{\ast}\) be as in Theorems 1.1 and 1.2. Let \(x\in U\big({\mathcal{C}},\mathop{\mathrm{reach}}\nolimits ({\mathcal{C}})\big) \setminus{\mathcal{C}}\) be fixed. To simplify the notation, we temporarily translate the coordinate system to achieve that \(x^{\ast}=0\). Accordingly, it is possible to choose a parametrization such that \(\gamma :[-a,a]\to{\mathbf{R}}^{3}\), \(\gamma (0)=0\), and \(|\dot{\gamma} (t)|=1\) for all \(t\). Throughout the proof, \(t\) denotes any element of \([-a,a]\) and \(c\) denotes a positive constant that is independent of \(x\) and \(t\), but whose value changes from line to line. We also use the abbreviations
Since \(\tau ^{\ast}\) is a unit vector orthogonal to \(x\) (the latter being a consequence of the fact that 0 is the closest point on \({\mathcal{C}}\) to \(x\)), we have
where the second relation uses the definition of \(\mathsf {L}\) in (5). Next we split the difference \(H(x)- H^{\ast}(x) \) into the sum \(A+B \) where
We denote the integrand in (57) by \(I(t)\) and write
where
We have
since \(|b\otimes\dot{\gamma} (t)|=|b|\). By (50),
where
Further, since \(\mathsf {K}\) is bounded by \(m_{0}\) and \(m_{0}\leq m\), the definition (49) of \(\mathsf {F}\) gives
Thus
for any \(t\). We estimate the right-hand side of (58). Prove first that
for any \(t\) and some \(c>0\). By [8, Theorem 4.8, Assertion (13)], the map \(\varLambda :U({\mathcal{C}}, \mathop{\mathrm {reach}}\nolimits({\mathcal{C}}))\to{ \mathbf{R}}^{3}\times{\mathbf{R}}^{3}\), given by
is lipschitzian on \(U({\mathcal{C}},\epsilon')\) for every \(\epsilon'<\mathop{\mathrm{reach}}\nolimits({\mathcal{C}})\). Thus there exists \(c=c(\epsilon')>0\) such that
for any \(x\), \(y\in U({\mathcal{C}},\epsilon')\); in particular,
for any \(x\in U({\mathcal{C}},\epsilon')\) and \(y\in{\mathcal {C}}\). Using \(x^{\ast}=0\), we see that Inequality (60) with \(y=\gamma (t)\) provides
Next we apply Inequality (28) with \(y=\gamma (t)\) and \(z=0\) to obtain
noting that \(d_{{\mathcal{C}}}(\gamma (t),0)=|t|\), this reduces to \(|t| \leq c|\gamma (t)| \). Hence (61) gives
A combination with (56) establishes (59).
Finally, we estimate the differences \(|\gamma (t)-\gamma ^{\ast}(t)|\) and \(|\dot{\gamma} (t)-\tau ^{\ast}|\) in (58). Since the second derivative of the function \(\delta (t):=\gamma (t)-\gamma ^{\ast}(t)\) is bounded on \([-a,a]\) and \(\delta (0)=\dot{\delta} (0)=0\), we obtain by Taylor’s expansion that there exists a constant \(c\) such that
By (59) and (62), the two terms on the right-hand side of (58) are estimated by
respectively. Here we have used the inequality \(|t|/ n(t)\leq1\), which is a direct consequence of the definition of \(n(t)\). Hence \(\big|I(t) \big|\leq2c|t| n(t)^{-2} \) and consequently
Since \(|\mathsf {K}|\) is bounded, we obtain from (49) the estimate
and hence
Inequalities (63) and (64) provide
Elementary properties of logarithm yield that there exist \(c>0\) and \(\delta\in\big(0,\mathop{\mathrm{reach}}\nolimits({\mathcal {C}})\big]\) (with \(c\) possibly larger than the current value of \(c\)) such that the last expression in (65) is majorized by \(c\log1/|x| \) for all \(|x|<\delta\). Thus (65) reduces to
This proves (7) in the particular case \(x^{\ast}=0\). Returning to the original coordinate system (with \(x^{\ast}\) possibly \(\neq0\)), we obtain (7) in full generality. □
7 Summability Properties of the Solution
This section is devoted to establishing the convergence of various integrals occurring in this paper. The following lemma will be used in Sect. 8 to establish the convergence of the integrals in the definition (14) of the renormalized energy and to prove Proposition 7.2 on the integrability properties of the distortion \(H\).
Lemma 7.1
Let \(0<\delta<\mathop{\mathrm{reach}}\nolimits({\mathcal{C}})\) and let \(f\) be a measurable function on \(U({\mathcal{C}},\delta)\) such that
for all \(x\in U({\mathcal{C}},\delta)\setminus{\mathcal{C}}\), where the function \(g:(0,\delta]\to[0,\infty)\) satisfies
Then
Proof
We apply Proposition 3.2 with \(r=0\), \(s=\delta\) and with \(f\) replaced by \(|f|\). Formula (25) then takes the form
where we put
Inequality (66) then reduces to \(|f(y+\rho )| \leq g\big(|\rho |\big) \); hence
By Fubini’s theorem the last integral is equal to \(2\pi\int_{0}^{\delta}tg(t)\,d t \). Thus
Since \(\delta<\mathop{\mathrm{reach}}\nolimits({\mathcal{C}})\), Equation (12) shows that there exists a \(c>0\) such that \(c< J(x)< c^{-1}\) for all \(x\in U({\mathcal{C}},\delta)\). Thus (69) implies (68). □
Proposition 7.2
The solution \(H\) of the equilibrium equations (3) satisfies
and
Proof
Let \(\mathsf {L}\) and \(H^{\ast}\) be as in Theorem 1.2.
Inclusion (70)1: since \(H\) is bounded on each compact subset of \({\mathbf{R}}^{2}\setminus{\mathcal{C}}\), we have \(H\in L^{p}(K,\mathop{\mathrm{Ten}}\nolimits^{2})\) for every \(p\in[1,\infty]\) by continuity. We further prove that \(H\in L^{p}(U({\mathcal{C}},\delta),\mathop{\mathrm {Ten}}\nolimits^{2})\) for all \(p\in[1,2)\). Indeed, Inequality (7) can be rewritten as
for every \(x\in U({\mathcal{C}},\delta)\), where
Since \(\mathsf {L}\) is bounded, we have
Thus majorizing the right-hand side of (72) by \(c/|x-x^{\ast}|\), we obtain
Thus the function \(f(x):=|H(x)|^{p}\) satisfies Inequality (66) with \(g(t)=c/t^{p}\) and hence (67) reduces to
which holds if and only if \(p\in[1,2)\). Thus
by Lemma 7.1. The proof of (70)1 is complete.
Inclusion (70)2: It follows from (4) that if \(\bar{B}(0,R)\) is a closed ball of sufficiently large radius \(R\), there exists a constant \(c\) such that
Hence
and the last integral is finite if and only if \(p>3/2\). On the other hand,
if \(1\leq p<2\) by (70)1. The proof of (70)2 is complete.
Inclusion (70)3: If \(\bar{B}(0,R)\) is as above then
and
for every \(p\in[1,\infty)\) and \(\epsilon>0\) since \(H\) is bounded on \(\bar{B}(0,R)\setminus U({\mathcal{C}},\epsilon)\) by continuity. The proof of (70)3 is complete.
Relation (71): it follows from the proof of (70)1 that (73) does not hold for \(p=2\). □
8 Renormalization of the Energy (Proof of Theorem 1.3)
Let \(\delta\) be as in Theorem 1.2.
Proof of Theorem 1.3, Part (i)
The convergence of the integrals in (13) is immediate since both the inner and outer integrals involve continuous functions on compact sets.
The convergence of the integrals in (14). To prove the convergence of the first integral, we let
Using the major symmetry of \(\mathsf {C}\), this can be rearranged as
We estimate each term on the right-hand side separately. By Inequality (7),
Further, as a direct consequence of (6) and the properties of \(\mathsf {L}\), we have
and hence
Finally, we have
and as the denominator is bounded by our choice of \(\mathop{\mathrm{reach}}\nolimits({\mathcal{C}})\) and as \(\kappa \) is bounded, we have
Consequently,
Hence, by (74), (75) and (76),
where
Since \(g\) satisfies (67), Lemma 7.1 says that \(f\) is integrable, i.e., the first integral in (14) converges.
The second integral in (14) converges by (70)3.
Finally, let us prove that the value of the right-hand side of (14) is independent of the choice or \(r\). Let \(r\), \(s\) satisfy \(0< r< s\) and denote by \(\Delta_{1}\) and \(\Delta_{2}\) the values of the right-hand side of (14) with \(r=r\) and \(r=s\), respectively. Then
where \(U({\mathcal{C}},r,s)\) is defined in (23). The first integral can be split into the difference
and a cancellation reduces the last equation to
By Proposition 3.2,
where \(\mathop{\mathrm{Ann}}(y,r,s)\) is given by (24). By Fubini’s theorem and (6),
where \(\mathop{\mathrm{Circ}}\nolimits({\mathcal{C}},y,t)\) is given by (11). Since \(\mathsf {L}\) is degree 0 homogeneous in the first variable, the integrand in the inner integral in (77) is independent of \(t\) and thus the whole integral scales only due to the change of the radius of the circle. Thus
i.e.,
Thus \(\Delta_{1}=\Delta_{2}\) and hence the value of the right-hand side of (14) is independent of the choice or \(r\).
This completes the proof of Part (i) of Theorem 1.3. □
Proof of Theorem 1.3, Part (ii)
Let \(0<\epsilon<\delta\) and let \(r\) be any number satisfying \(\epsilon< r<\delta\). We write
A rearrangement gives
where we have used (78). Next, we split the integral
into the difference
Thus
A combination of (79) and (80) and simple rearrangements provide (15) with
Since the function \(W(H) - JW(H^{\ast}) \) is integrable on \(U({\mathcal{C}},r)\) by the preceding proof, we have (16). This completes the proof of Part (ii) of Theorem 1.3. □
References
Abatzoglou, T.J.: The minimum norm projection on \(C^{2}\)-manifolds in \({\mathbf {R}}^{n}\). Trans. Am. Math. Soc. 243, 115–122 (1978)
Adams, D.R., Hedberg, L.I.: Function Spaces and Potential Theory. Springer, Berlin (1999)
Blass, T., Morandotti, M.: Renormalized energy and Peach–Köhler forces for screw dislocations with antiplane shear. J. Convex Anal. 24, 547–570 (2017)
Cermelli, P., Leoni, G.: Renormalized energy and forces on dislocations. SIAM J. Math. Anal. 37, 1131–1160 (2005)
Conti, S., Garroni, A., Massaccesi, A.: Modeling of dislocations and relaxation of functionals on 1-currents with discrete multiplicity. Calc. Var. 54, 1847–1874 (2015)
Conti, S., Garroni, A., Ortiz, M.: The line-tension approximation as the dilute limit of linear-elastic dislocations. Arch. Ration. Mech. Anal. 218, 699–755 (2015)
Dudek, E., Holly, K.: Nonlinear orthogonal projection. Ann. Pol. Math. 59, 1–31 (1994)
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93, 418–491 (1959)
Federer, H.: Geometric Measure Theory. Springer, New York (1969)
Fonseca, I., Ginster, J., Wojtowytsch, S.: On the motion of curved dislocations in three dimensions: simplified linearized elasticity. SIAM J. Math. Anal. 53, 2373–2426 (2021)
Helgason, S.: The Radon Transform. Springer, New York (1999)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Theory and Applications. Gordon and Breach Science Publishers, Amsterdam (1993)
Scala, R., Van Goethem, N.: Currents and dislocations at the continuum scale. Methods Appl. Anal. 23, 1–34 (2016)
Scala, R., Van Goethem, N.: A variational approach to single crystals with dislocations. SIAM J. Math. Anal. 51, 489–531 (2019)
Šilhavý, M.: Normal currents: structure, duality pairings and div–curl lemmas. Milan J. Math. 76, 275–306 (2008)
Šilhavý, M.: Differentiability of the metric projection onto a convex set in \({\mathbf{R}}^{n}\) with singular boundary points. J. Convex Anal. 22, 969–997 (2015)
Taylor, M.E.: Partial Differential Equations I, Basic Theory, 2nd edn. Springer, New York (2011)
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
Additional information
For Roger Fosdick
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Fourier Transformation
Appendix: Fourier Transformation
Generally, if \(f\) is a function defined on \({\mathbf{R}}^{3}\setminus\{0\}\) with values in a vector space and if \(z\) is a complex number, \(f\) is said to be degree \(z\) homogeneous if \(f(\lambda r)=\lambda^{z}f(r)\) for every \(r\) and \(\lambda\) as in the preceding sentence.
If \(Y\) is a finite dimensional inner product space, \({\mathcal{S}}({\mathbf{R}}^{3},Y) \) denotes the space of rapidly decaying \(Y\)-valued testfunctions on \({\mathbf{R}}^{3}\) and \({\mathcal{S}}'({\mathbf{R}}^{3},Y)\) denotes the space of tempered \(Y\)-valued distributions on \({\mathbf{R}}^{3}\). The Fourier transform of a function \(f\in{\mathcal{S}}({\mathbf{R}}^{3},Y)\) is the function \(\hat {f}\in{\mathcal{S}}({\mathbf{R}}^{3},Y)\) defined by
The Fourier transform of \(T\in{\mathcal{S}}'({\mathbf{R}}^{3},Y)\) is \(\hat {T}\in{\mathcal{S}}'({\mathbf{R}}^{3},Y)\) defined by
for every \(f\in{\mathcal{S}}({\mathbf{R}}^{3},Y)\).
Property 1
Fourier transformation changes of the operator \(\nabla\) into multiplication by \(-\mathrm {i}\xi \). This implies transformations of linear differential operators with constant coefficients. The following table reviews the transforms of gradients and divergences of scalar-, vector- and tensor-valued distributions \(f\in{\mathcal{S}}'({\mathbf{R}}^{3},{\mathbf{R}})\), \(u\in{\mathcal{S}}'({\mathbf{R}}^{3},{\mathbf{R}}^{3})\) and \(B\in{\mathcal{S}}'({\mathbf{R}}^{3},\mathop{\mathrm {Ten}}\nolimits^{2})\):
Property 2
Fourier transformation of homogeneous distributions. If \(z>-3\), any degree \(z\) homogeneous function \(f\) on \({\mathbf{R}}^{3}\setminus\{0\}\) represents a tempered distribution \(T\). If additionally \(z\leq0\), the Fourier transformation of \(T\) is represented by a \(-3-z\)-homogeneous function \(\hat {f}\). Moreover, if \(f\) is infinitely differentiable, then \(\hat {f}\) is infinitely differentiable also; see [17, Chap. 3, Proposition 8.1].
Property 3
Fourier transformation changes the convolution of distributions into the product of their Fourier transforms.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Šilhavý, M. Renormalized Energy of a Dislocation Loop in a 3D Anisotropic Body. J Elast 154, 355–381 (2023). https://doi.org/10.1007/s10659-023-10017-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-023-10017-w
Keywords
- Dislocations
- Incompatible distortion field
- Regularized energy
- Prelogarithmic energy factor
- Rigorous asymptotic analysis