Renormalized Energy of a Dislocation Loop in a 3D Anisotropic Body

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.


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 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 C ⊂ R 3 (see Sect. 3) and by the Burgers vector b ∈ R 3 (see Sect. 4).It is assumed that C has a twice continuously differentiable arc-length parametrization.We give C one of the two orientations and denote by τ (x) the unit tangent vector to C at x ∈ C .A defective deformation is described by an incompatible distortion field H : R 3 \ C → Ten 2 i.e., H is not the gradient of a globally defined deformation u : R 3 → R 3 .This distinguishes the elastic dislocation theory from the classical elasticity, where H coincides with the displacement gradient ∇u of a globally defined deformation u : R 3 → 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 Ten l the space of tensors of order l on R 3 (for any nonnegative integer l).Only orders from 0 to 4 are needed in the succeeding treatment.The spaces Ten 0 and Ten 1 have the standard representations.The space Ten 2 is identified with the space of linear transformations from R 3 into itself.Ten 2  sym ⊂ Ten 2 is the subspace of symmetric second-order tensors.The space Ten 3 is identified with the space of linear transformations T from R 3 into Ten 2 ; the value of T on a vector b ∈ R 3

is denoted by T[b].
The space Ten 4 is identified with the space of linear transformations C from Ten 2 into itself; we again use square brackets to denote the linear argument of C, i.e., C [A] is the value of C on A ∈ Ten 2 .
The material is characterized by the fourth-order elasticity tensor C which has the major symmetry for every H 1 , H 2 ∈ Ten 2 sym , the minor symmetries for every H ∈ Ten 2 , and is positive definite on symmetric tensors for every nonzero E ∈ Ten 2 sym .For notational convenience we allow non-symmetric arguments of C, but Equation (1) 2 shows that 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 C with the Burgers vector b ∈ R 3 , we seek to determine the distortion tensor field H ∈ L 1 loc (R 3 , Ten 2 ) satisfying the system Here the curl and divergence are interpreted in the sense of distributions (see Sect. 2), τ is the unit tangent to the curve C , δ C is the length measure restricted to C (i.e., the 'line analog' of Dirac's delta function, see Sect. 4).
Here dl is the length element along C and y ∈ C is the integration variable.The function K is said to be degree 0 homogeneous if K(λr) = K(r) for every non-zero r ∈ R 3 and every λ > 0 (i.e., 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 μ in place of the measure −b ⊗ τ δ 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 K in Theorem 1.1 is determined completely by the tensor of elastic constants C, i.e., K is independent of the shape of 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 K.
The form of the right-hand side of (4) shows that H has a singularity at the points of C , i.e., |H (x)| → ∞ as x approaches C .
Sets with positive reach We now describe the singularity of H quantitatively.If 0 < δ ≤ ∞, the tubular δ-neighborhood of a subset M of R n is defined by is the distance of the point x ∈ R n from M. Following Federer [8], we say that M is a set with positive reach if there exists δ ∈ (0, ∞] with the property that for each x ∈ U(M, δ) there exists a unique closest point x * on M, i.e., a unique point The supremum of all δ with the just described uniqueness property is referred to as the reach of M and denoted by reach(M).The map x → x * , defined on U M, reach(M) , is called the metric projection onto M. Every compact embedded manifold of class C 2 in R n is a set with positive reach [8, p. 432]; thus C is a set with positive reach.The metric projection x → x * , defined for any x ∈ U C , reach(C ) , plays a central role in the subsequent considerations.

Theorem 1.2 Let H
Then there exist c > 0 and δ ∈ 0, reach(C ) such that Remarks (i) Equation (6) shows that the qualitative growth of H * near 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: 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 dv is the volume element in R 3 .The infinite contribution to the integral in (8) comes from the singularity of H at C : one has for any neighborhood U of 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(C , r) (0 < r < δ) along the dislocation loop and determines the energy of the complement R 2 \ U(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 → 0, 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 Furthermore, we denote by κ(y) the curvature vector of C at the point y ∈ C , i.e., the second derivative of the position on C with respect to arc-length parameter (see Sect. 3), and introduce the function for every x ∈ U C , reach(C ) .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 → x * .Let δ be as in Theorem 1.2.

Theorem 1.3 (i)
The nested integrals in the formula W L σ, τ (y) dl(σ ) dl(y) (13) absolutely converge; for any r ∈ (0, δ) 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 < ≤ δ, where ϕ : The quantity Φ is the renormalized energy and Θ is the prelogarithmic energy factor.Both Φ and Θ are functions of the Burgers vector and the shape of the curve C .Future papers will treat dislocations in bounded domains, the variation of Φ under variations of the shape of 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 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 C[H ] = H for all H ∈ Ten 2 (and the minor symmetry requirement (1) is dropped).In [10,Theorem 4.5] the authors determine the prelogarithmic factor for their choice of 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 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 C .First, a formula is given for the gradient of the metric projection onto C .Further, the coarea formula is used to prove an equation that replaces the volume integration over U C , reach(C ) by the area integration over the cross sections of U C , reach(C ) followed by the length integration along 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.

Vector Product
The vector product of u, and v ∈ R 3 is denoted by w = u × v; in components w i = ij k u j v k , where ij k 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, . . .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 × A ∈ Ten 2 with the components

Gradient, Divergence and Curl for Smooth Functions
If R 3 is an open subset of R 3 and u a continuously differentiable function on R 3 with values in R 3 , we define the divergence, curl, and gradient of u as functions on R 3 with values in R, R 3 and Ten 2 , respectively, given by div u = u i,i , If A is a continuously differentiable function on R 3 with values in Ten 2 , we define the divergence and curl of A as functions on R 3 with values in R 3 and Ten 2 , respectively, given by

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 D(R 3 , Y ) as the set of all infinitely differentiable functions f : R 3 → Y with compact support.We denote by D (R 3 , Y ) the set of all real linear functionals on D(R 3 , Y ) which are continuous under the Schwartz topology in Two particular cases of Y -valued distributions to be used below are the distribution T g corresponding to a locally integrable function g : R 3 → Y and the distribution T μ corresponding to an Y -valued measure μ on R 3 .These are given by the set of all locally integrable Y -valued functions on R 3 and by M (R 3 , Y ) the set of all (finite) Y -valued measures on R 3 .
We define the distributional versions of differential operators ∇, div and curl by formal integration by parts.Let v ∈ D (R 3 , R 3 ) and B ∈ D (R 3 , Ten 2 ) be vector-and tensor-valued distributions.We define the gradient of v as a distribution ∇v ∈ D (R 3 , Ten 2 ) by for any u ∈ D(R 3 , R 3 ), as above.Finally, we define the curls of v and B as distributions for any u and A as above.
Throughout the rest of the paper, the operators ∇, div and curl are interpreted in the distributional sense (unless stated otherwise).

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 ∇P of the metric projection P onto C .Proposition 3.2 determines the formula for the replacement of the volume integration over a tube U(C , ) by a successive integration over the perpendicular cross-sections of U(C , ) followed by a line integration along C .The formula involves the jacobian which is equal to |∇P |.Proposition 3.3 estimates the arc-length distance along segments on S 3 and on 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 * (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 C of a twice continuously differentiable map γ : Any map γ with these properties is called a parametrization of C .The tangent and curvature vectors are maps τ : C → R 3 and κ : C → R 3 given by Recall that C is a set with finite reach and that the metric projection associates with any point x in the tubular neighborhood U C , reach(C ) its projection x * ∈ C , which we alternatively denote by P (x).

Proposition 3.1 The metric projection P is continuously differentiable on
and The function ϕ has a minimum at t 0 .We have The conditions φ(t 0 ) = 0, φ(t 0 ) ≥ 0 yield Let us show that we have the strict inequality sign in (20) 2 for every point x ∈ U C , reach(C ) .Assume, to the contrary that and as (21) requires κ(x * 0 ) = 0, 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 ∈ U C , reach(C ) .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 ⊂ 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 ∈ U C , reach(C ) .Since the function is constant on the set x * + Nor(C , x * ), we see that the kernel of ∇P (x) contains Nor(C , x * ).Further, since the values of the map P are constrained to belong to C , the range of ∇P (x) is contained in the tangent space Tan(C , x * ).The described properties of the kernel and range of ∇P (x) imply that ∇P (x) is of the form where m is a scalar-valued function on U C , reach(C ) .We rewrite (20) 1 as where we write κ and τ for κ(x * ) and τ (x * ).As a is arbitrary, this simplifies to For any numbers r, s satisfying 0 ≤ r < s ≤ reach(C ) and any y ∈ C we put Finally, define the function J : U C , reach(C ) → R by (12), where we recall (18).
where J is the jacobian of the map P .In the present case of the unidimensional target manifold C we have J = |∇P | and hence (19) provides (12).Further, observing that Recall that the arc-length distance d(p, q) of two points p and q on a compact manifold M ⊂ 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 R n is majorized by the arc-length distance: We now show that for a sphere in R n and for C conversely the arc-length distance is majorized by a constant multiple of the euclidean distance in R 3 .

Proposition 3.3 (i)
Let M be a sphere in R n , n ≥ 2. Then the arc-length distance d 0 on M satisfies for any p, q ∈ M.
(ii) There exists c > 0 such that the arc-length distance d C on C satisfies for any y, z ∈ C .
Proof (i): Since ( 27) is invariant under scaling and translation, it suffices to consider M = S n−1 .Let c be the shortest arc on M that connects p and q, let Π ⊂ R n be the plane in R n that contains p, q and 0, and let Σ := M ∩ Π (i.e., Σ is the great circle containing p and q).It is well-known that c is the shorter of the two segments on Σ with endpoints p and q.We identify Π with R 2 , Σ with the unit circle in R 2 , and the points with p = (1, 0) and q = (cos ϕ, sin ϕ), where ϕ ∈ [0, π].Then d 0 (p, q) = ϕ; further, denoting l := |p − q|, we have Consider l as a function of ϕ on the interval (0, π] and put f (ϕ) := l/ϕ.We have The numerator on the right-hand side is non-positive: indeed, a differentiation shows that the numerator is a decreasing function of ϕ on [0, π] and its value at 0 is 0. Thus f ≤ 0 and hence f is a decreasing function.Its minimum value is The proof is now concluded with the construction of the map G. Let ω : C → M be given by Then ω is an isometry under the arc-length distances on C and M. Let further θ : R → [0, 1] be a continuously differentiable function such that θ = 1 on − ∞, reach(C )/2 and θ = 0 on reach(C ), ∞ .Finally, let G : R 3 → R 2 be given by One finds that G is continuously differentiable on U C , reach(C ) and its derivative is bounded and that G vanishes on U C , reach(C ) \ U C , reach(C )/2 .Thus the extension by 0 outside U C , reach(C ) results in a continuously differentiable function on R 3 with bounded derivative.Finally, since P reduces to the identity map on C , we have G(x) = ω(x) for all x ∈ C .As ω is an isometry under the arc-length distances on C and M, we have (29).
Thus G has all the required properties.

Dislocation Density Tensor. Burgers Vector
In the present approach to dislocations, a deformation with defects is described by a distortion tensor field H ∈ L 1 loc (R 3 , Ten 2 ) such that the dislocation density tensor ).The definition gives that α is divergence-free: div α = 0.
The distortion tensor field H is said to be defect-free if there exists a function u ∈ W 1,1 loc (R 3 , 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 C in R 3 .We denote by δ C ∈ M (R 3 , R) the length l measure (= the 1-dimensional Hausdorff measure) restricted to C .Thus δ C is defined as to satisfy if and only if there exists a (constant) vector b ∈ R 3 such that The vector b in (33) is the Burgers vector corresponding to the dislocation density α.The form of α 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 μ ∈ M (R 3 , R 3 ) is a measure supported on a loop C ⊂ R 3 then div μ = 0 (34) if and only if there exists a constant c ∈ R such that The necessity of (35): Assume that μ satisfies (34).In the language of the geometric measure theory μ is a normal 1-dimensional current [9, Chapter Four] with the support contained in C .We first note that μ represents a 1-dimensional flat chain and invoke [15, Proposition 4.1] to learn that μ is absolutely continuous with respect to l and the corresponding the density a is parallel with τ , i.e., a = gτ , where g : C → R. In terms of the parametrization, Equation (34) reads 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 μ i = α T e i , i = 1, 2, 3, where {e i : i = 1, 2, 3} is the standard basis in R 3 .If α satisfies (32), then each μ i satisfies (34) and thus μ i = −c i τ i δ C with some constants c i ∈ R.Then, if we define b = (c 1 , c 2 , c 3 ), the measure α 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 α 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 α.Proposition 4.2 Let M : R 3 \ C → Ten 2 be given by if and only if Proof To prove the local integrability of M, it suffices to prove the local integrability of the function m, given by and hence the integration over the ball B(x 0 , r) of center x 0 ∈ 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 < ∞ such that B(x 0 ,r) for all x 0 and y in 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 α = 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 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, M is the product of the Fourier transforms ĝ and Ĉ of g and C, i.e., To determine ĝ, we note that g = ∇f , where f (r) = −(4π) −1 |r| −1 is Newton's potential.The Fourier transform f of f is given by f (ξ) = −|ξ | −2 .This follows, e.g., from the general formula [12,Equation (25.25)].Here and below we assume that ξ = 0. Thus by (81).The Fourier transform of C is represented by a bounded continuous Ten 2 -valued function.Then (42) gives that M is represented by a locally integrable function By ( 85) and ( 17), By Proposition 4.1 we have div C = 0 and hence Ĉ(ξ )ξ = 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 curl(S − M) = 0 and the last equation is satisfied if and only if

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 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 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 loc (R 3 , R 3 ).Thus the goal is to determine v.If we insert H from (44) into (3) 1 , we obtain the equation (45) 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 M is given by (43) and consequently, the Fourier transform of Let A be the acoustic tensor of the material, i.e., the function A : R 3 → Ten 2 defined uniquely by the equation for every ξ , a, b ∈ R 3 .The tensor A(ξ ) is symmetric and positive semidefinite for all ξ ∈ R 3 and positive definite if ξ = 0.If ξ = 0, we denote by B(ξ ) the inverse of A(ξ ).Since A(•) is 2-homogeneous, its inverse B(•) is degree −2 homogeneous and infinitely differentiable function on R 3 \ {0}.
By ( 82) and (84), div C[∇v] is transformed into −A(ξ ) v where v is the Fourier transform of v. Hence (45) transforms into By (82), the Fourier transform of the gradient of v is given by Let D ∈ Ten 2 .The second-order tensor-valued function Hence there exists a function G 1 : R 3 \ {0} → Ten 4 such that Z(ξ, D) = G 1 (ξ ) [D] for all ξ = 0 and D ∈ Ten 2 ; Equation (47) is then rewritten as for all ξ = 0. Similarly, (43) can be rewritten as where G 2 : R 3 \ {0} → Ten 4 degree −1 homogeneous.Thus the Fourier transform Ĥ of H is given by where The inverse Fourier transform Ǧ of the function G is therefore degree −2 homogeneous by Property 2 in Appendix, and hence of the form where K : R 3 \ {0} → Ten 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.

Asymptotics of the Solution Near C (Proof of Theorem 1.2)
We put for every nonzero r, s in R 3 , where Proof We shall prove (50) with We put ρ := |r| and σ := |s| and assume, without loss in generality, that ρ ≤ σ .We write where We have We have where the first inequality follows from ρ ≤ σ and the second from σ − ρ = |σ − ρ| ≤ |r − s|.
The quantity B will be estimated by integrating ∇K along the shortest arc on S 2 that connects the projections of r, s onto S 2 .Thus let p := r/ρ and q := s/σ be the projections of r and s onto S 2 , let c be the shortest arc on S 2 that connects p with q (see Sect.
Splitting the difference r − s into the sum of r − ρs/σ and ρs/σ − s, we obtain using the identity and the inequalities 1/σ − 1/ρ ≤ 0 and r • s − ρσ ≤ 0, we see that the third term on the right-hand side of (54) is non-negative.Thus (54) provides which proves (53).Let ω : [0, d] → c be an arc-length parametrisation of c.By the homogeneity of degree 0 of K, we have and Inequalities (27) and by (53) yield Inequalities ( 52) and ( 55) give (50) with m as in (51).

Proof of Theorem 1.2 Let
H and H * be as in Theorems 1.1 and 1.2.Let x ∈ U C , reach(C ) \ C be fixed.To simplify the notation, we temporarily translate the coordinate system to achieve that x * = 0. Accordingly, it is possible to choose a parametrization such that γ : [−a, a] → R 3 , γ (0) = 0, and | γ (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 n(t) := |x| 2 + t 2 1/2 and γ * (t) := tτ * .
Since τ * is a unit vector orthogonal to x (the latter being a consequence of the fact that 0 is the closest point on C to x), we have We rewrite ( 4) and ( 6) as where the second relation uses the definition of L in ( 5).Next we split the difference H (x) − H * (x) into the sum A + B where We denote the integrand in (57) by I (t) and write where We have a] and δ(0) = δ(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) ≤ 1, which is a direct consequence of the definition of n(t).Hence I (t) ≤ 2c|t|n(t) −2 and consequently Since |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 δ ∈ 0, reach(C ) (with c possibly larger than the current value of c) such that the last expression in (65) is majorized by c log 1/|x| for all |x| < δ.Thus (65) reduces to This proves (7) in the particular case x * = 0. Returning to the original coordinate system (with x * possibly = 0), we obtain (7) in full generality.

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 .

Proposition 7.2
The solution H of the equilibrium equations (3) satisfies and Proof Let L and H * be as in Theorem 1.2.Inclusion (70) 1 : since H is bounded on each compact subset of R 2 \ C , we have H ∈ L p (K, Ten 2 ) for every p ∈ [1, ∞] by continuity.We further prove that H ∈ L p (U (C , δ), Ten 2 ) for all p ∈ [1, 2).Indeed, Inequality (7) can be rewritten as Since L is bounded, we have Thus majorizing the right-hand side of (72) by c/|x − x * |, we obtain and the last integral is finite if and only if p > 3/2.On the other hand, for every p ∈ [1, ∞) and > 0 since H is bounded on B(0, R) \ U(C , ) 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.

Renormalization of the Energy (Proof of Theorem 1.3)
Let δ 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 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 L, we have Finally, we have and as the denominator is bounded by our choice of reach(C ) and as κ is bounded, we have Since g satisfies (67), Lemma 7.1 says that f is integrable, i.e., the first integral in (14) converges.
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 1 and 2 the values of the right-hand side of ( 14) with r = r and r = s, respectively.Then where Circ(C , y, t) is given by (11).Since 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 (80) A combination of ( 79) and (80) and simple rearrangements provide (15) with W (H ) − J W (H * ) dv.
Since the function W (H ) − J W (H * ) is integrable on U(C , r) by the preceding proof, we have (16).This completes the proof of Part (ii) of Theorem 1.3.

Appendix: Fourier Transformation
Generally, if f is a function defined on R 3 \ {0} with values in a vector space and if z is a complex number, f is said to be degree z homogeneous if f (λr) = λ z f (r) for every r and λ as in the preceding sentence.

Proposition 3 . 2
Let 0 ≤ r < s ≤ reach(C ), and let f : U(C , r, s) → R be a Lebesgue measurable function satisfyingU(C ,r,s) |f |J dv < ∞.Then U(C ,r,s) f J dv = C Ann(y,r,s) f (y + ρ) da(ρ) dl(y) (25)da is the area element of the plane Nor(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 C , reach(C ) into the manifold C .The application to the situation of the present proposition gives r, s) ∩ P −1 (y) = U(C , r, s) ∩ y + Nor(C , y) = y + Ann(y, r, s), we see that (26) reduces to U(C ,r,s) f J dv = C y+Ann(y,r,s) f (x) da(x) dl(y) and the substitution x → ρ = x − y in the inner integral yields (25).