⬇ Download Markdown  ·  ⬇ Download LaTeX  ·  ⬇ original  ·  view original

1

Efficient calculation of the self magnetic field, self-force, and self-inductance for electromagnetic coils

Siena Hurwitz 1 , Matt Landreman 1 , Thomas M. Antonsen, Jr 1 ,

arXiv:2310.09313v1 [physics.app-ph] 12 Oct 2023

1 Institute for Research in Electronics and Applied Physics, University of Maryland, College Park, MD 21043 USA The design of electromagnetic coils may require evaluation of several quantities that are challenging to compute numerically. These quantities include Lorentz forces, which may be a limiting factor due to stresses; the internal magnetic field, which is relevant for determining stress as well as a superconducting coil’s proximity to its quench limit; and the inductance, which determines stored magnetic energy and dynamics. When computing the effect on one coil due to the current in another, these quantities can often be approximated quickly by treating the coils as infinitesimally thin. When computing the effect on a coil due to its own current (e.g., self-force or self-inductance), evaluation is difficult due to the presence of a singularity; coils cannot be treated as infinitesimally thin as each quantity diverges at zero conductor width. Here, we present novel and well-behaved methods for evaluating these quantities using non-singular integral formulae of reduced dimensions. These formulae are determined rigorously by dividing the domain of integration of the magnetic vector potential into two regions, exploiting appropriate approximations in each region, and expanding in high aspect ratio. Our formulae show good agreement to full finite-thickness calculations even at low aspect ratio, both analytically for a torus and numerically for a non-planar coil of a stellarator fusion device, the Helically Symmetric eXperiment (HSX). Because the integrands of these formulae develop fine structure as the minor radius becomes infinitely thin, we also develop a method of evaluating the self-force and self-inductance with even greater efficiency by integrating this sharp feature analytically. We demonstrate with this method that the self-force can be accurately computed for the HSX coil with as few as 12 grid points.

Index Terms—Electromagnetic coil, self-inductance, self-force, Lorentz force, stellarator, nuclear fusion, critical current

I. I NTRODUCTION

T HE self-field, self-force, and self-inductance are char- acteristic quantities of conducting coils that have both theoretical and practical importance. One approach to solve for these quantities is to use finite element techniques. For coils with complicated geometries, this approach can lead to high-dimensional numerical grids and a computationally intensive system of equations. Alternatively, one can use equations such as the Biot-Savart Law with a finite-thickness coil representation to solve for these quantities, though numerical evaluation is generally difficult due to the high dimensionality of the integrals and an integrable singularity. Notably, these finite-thickness equations can be reduced to one- and two-dimensional integrals when considering effects between separate coils (such as the mutual inductance) by treating each coil as an infinitely thin filament. These cases also do not suffer from singularities. However, one cannot perform a similar filamentary treatment for the self-force, internal magnetic field, and self-inductance as these quantities diverge when the conductor approaches zero thickness. Instead, one must consider the three-dimensional structure of the conductor and integrate over the singularity to obtain a correct result. To expedite these calculations, in the present paper we present novel well-behaved methods for evaluating these quantities using non-singular integral formulae of reduced dimensions.

Some prior research has been done to simplify calculations of the self-force, self-inductance, and internal magnetic field. In [1], [2], [3], the internal magnetic field of conductors was computed in a limited geometry: rectangular cross-section and a center-line made of straight segments and circular arcs. In [4], an energy-based derivation of the self-force was presented to obtain a one-dimensional integral approximation. A simpler integral form of the self-inductance was found in [5] using a methodology not dissimilar to our own. In these last two works, a section of the domain was removed from the final integral, whereas in our approach the integral will be performed over the full length of the filamentary coil. Integrating over the full periodic filament is advantageous as spectral convergence can be achieved with a uniform quadrature grid, and data on fixed quadrature points can be reused to evaluate the self-field at other points along the coil. Ref [6] examined a current sheet rather than discrete coils, and the self-force of a current sheet was computed in terms of several surface integrals.

In this paper, we rigorously derive filamentary integral models for the self-inductance (10), magnetic field inside and near the coil (16)-(19), and self-force (21), for thin coils with circular cross-section and uniformly-distributed current density. These integrals are of reduced dimensionality and generally resemble the standard expressions in the limit in which the minor radius is zero, though they have an added regularization term in the denominator that depends on the square of the minor radius. This regularization term therefore prevents the integrand from diverging when the source and evaluation points are the same, and the scale of the minor radius determines the domain in which the regularization term is non-negligible. A circular cross-section is not representative of many real-world coils so our formulae may therefore be less accurate in these cases. We present the circular crosssection case here as the algebraic complexity is less than for other cross-section shapes, allowing a clearer emphasis on the asymptotic methods. The more complicated case of a rectangular cross-section will be addressed in a subsequent accompanying paper [7].

Our proofs, discussed in Section III and completed in the Appendices, rely on partitioning the domain of the integral for 2 the magnetic vector potential across the length of the coil into a “near region” and a “far region.” The integral in the near region may be evaluated analytically, while the integral in the far region can be simplified to a 1D integral with no singularity. These results show remarkable numerical agreement with the standard finite thickness calculations, referred to throughout this paper as “exact” calculations. We show this correspondence analytically for a circular loop and numerically for a non-planar coil of a stellarator plasma confinement device, the Helically Symmetric eXperiment (HSX) at the University of Wisconsin [8]. Figure 1 illustrates the self-force on one of the HSX coils. Because the integrands of our novel formulae become sharp at the evaluation point when the minor radius approaches zero, we also discuss methods of making the numerical evaluations even more efficient in Section IV by eliminating this fine-scale structure in the integrals. We demonstrate that quadrature for the self-force can be performed accurately with this method for the HSX coil with a grid size of as small as 12 points. The code used for generating data in this project

as 12 points. The code used for generating data in this project is available at https://github.com/smhurwitz/Coil Fields. Fig. 1. The figure shows the self-force per unit length across the HSX coil. The direction of the arrows indicates the direction of the force, while the size and color of the arrows indicates the magnitude of the force. The results of this paper may be especially relevant to the design of future nuclear fusion reactors as higher field strengths will enable better confinement of plasmas [6]. Use of high-temperature superconductors (HTS), which can operate at higher field strengths than low-temperature superconductors and conventional conductors, is plausible in the near future. Currently, several superconductors such as niobium-titanium (NbTi) and niobium-tin (Nb3Sn) are well established for fu- sion applications, and HTS materials such as rare earth barium copper oxide (REBCO) are promising [9], [10]. REBCO, for example, has already been incorporated into future reactor higher magnetic field strengths due to coil deformations [13]. The self-inductance L of a coil may also be relevant to reactor designs as it determines the stored magnetic energy U through U = (1/2)LI 2 , where I is the coil current. It may important to assess the magnetic energy as, if a superconductor ever leaves its superconducting state such as due a quench, U represents the maximum amount of energy dissipated resistivity that cooling systems must accommodate. There exist a number of applications of our work to address these and other problems. The broadest is the fast evaluation of various magnet designs, which can be used for purposes both within and outside of fusion. For stellarators in particular, the simplified formulae can be used to optimize coil shapes to minimize magnetic stress and stored magnetic energy. They may also be used to optimize coil shapes with respect to the superconducting quench limit, though this practice may be less accurate as we assume in this paper that current density in a coil is uniform, an approximation of questionable accuracy for superconductors. Our results may also be relevant to other contexts in which coil optimization is important, such as for magnetic resonance imaging (MRI) [14], [15] and particle accelerators [16]. II. CO ORDINATE SY STEM We describe a coil in terms of a minor radius, a, and a center-line, rc ( ϕ), where ϕ ∈ [0, 2π) parameterizes rc . We consider the Frenet-Serret frame associated with rc , a right- handed set of orthonormal basis vectors, {e1 ( ϕ), e2 ( ϕ), e3 ( ϕ)} [17]. These three unit vectors are oriented such that e1 lies tangent to rc , e2 lies in the direction of curvature of rc , and e3 lies orthogonal to both e1 and e2 . Explicitly, e1 = r′c / |r′c | (1a) e2 = e′1 / |e′1 | (1b) e3 = e1 × e2 , (1c)

3 where primes indicate differentiation with respect to ϕ. The vectors satisfy the Frenet-Serret formulas,

d dϕ e1 e 2 e3 = |r′c | 0 κ 0 − κ 0 τ 0 −τ 0 e1 e 2 e3 , (2)

where the curvature and torsion, κ(ϕ) and τ (ϕ), are given by

κ = |r′c × r′ ′ c | |r′c | 3 (3a) τ = (r′c × r′ ′ c ) · r′ ′′ c |r′c × r′ ′ c |2 . (3b)

These vectors are demonstrated in Figure 2 for the HSX coil. All results of this paper behave smoothly as κ → 0, and τ does not appear in the final expressions, so results are applicable even if the coil center-line has straight points or intervals.

III. S IMPLIFIED F ORMULAE FOR T HIN C OILS

In this Section, we discuss the simplified integral formulae for the self-inductance, self magnetic field, and self-force density of thin electromagnetic coils. These coils are chosen to carry a uniformly distributed current I, where the current density can be written as

J = I πa2 e1 . (6)

It can be shown that this expression satisfies ∇ · J = 0. We expand in the small parameter a/L, which behaves as an inverse aspect ratio, where L represents length scales associated with r c such as |r ′ c |, κ −1 , and τ −1 . To obtain a concrete measure of the scale length L, we introduce the quantity R, which is defined to be the coil length divided by 2π, and can be conceptualized as an approximate major radius.

A. Motivations

Fig. 2. The orthogonal Frenet-Serret unit vectors are shown on the first HSX coil. The vector e1 points parallel to rc , e2 points in the direction of curvature of rc , and e3 = e1 × e2 . The Frenet basis allows us to construct a coordinate system defined by the position vector r(s, θ, ϕ) = rc + s cos θe2 + s sin θe3 , (4) where ϕ behaves as a toroidal angle, θ ∈ [0, 2π) sweeps across the plane orthogonal to rc and behaves as a poloidal angle, and s is a radius in the same plane. Using (2) and (4), the Jacobian is √ g = ∂r ∂ϕ · ∂r ∂s × ∂r ∂θ = s(1 − κs cos θ)|r′c | . (5) As mentioned in the Introduction, it is essential to consider the three-dimensional structure of a conductor when determin- ing quantities like the self-inductance or self-force; attempts to let a/L → 0 and use the one-dimensional form of the Biot- Savart law or two-dimensional form of the self-inductance formula inherently fail. To demonstrate this, we consider the self-force on a circular conductor. When letting a/L → 0, one could write the self-force density as dF1 D dl = Ie1 × B1 D, (7) where the magnetic field is given by the one-dimensional Biot- Savart law, B1 D = µ0 I 4π 2π 0 d˜ϕ ˜r′c × ∆rc |∆rc | 3 , (8) and ∆rc ≡ rc − ˜rc . (Here and throughout the paper, tildes indicate quantities evaluated at the source location, e.g. ˜rc ≡ rc ( ˜ ϕ )). The integrand of (8) notably contains a nonintegrable singularity at ˜rc = rc . One may naively attempt to “cut it out,” though this does not provide a solution. Consider the known formula for the self-force on a circular conductor, dF◦ dl = − µ0 I 2 4πR ln 8R a − 3 4 e2 , (9) which is obtained from (5.40) of [18] and can be derived from the self-inductance (11) by the principle of virtual work. (Here and elsewhere, the “◦” subscript indicates a formula which pertains to a circular loop). In (9), we see that the solution diverges as a/R → 0, demonstrating that the singularity meaningfully contributes to the final result: when a/L → 0, it is expected for the self-force – and the magnetic field by extension – to diverge as well. Therefore, removing the singularity from the domain of integration is not a valid method. This is demonstrated in Figure (3) for the self-force on a circular loop in which a numerical integration of (7)- (8) where the grid point at ˜rc = rc is dropped is compared to other methods introduced in this paper. When the singular grid point is merely dropped, the resulting force does not converge to any limit as the resolution is increased.

4

where E(m = k2 ) and K(m = k2 ) are the complete elliptic

integrals. Approximating the right-hand side for α ≪ 1,

2π 0 dϕ cos ϕ √ 1 − cos ϕ + α ≈ √ 2(−4 + 5 ln 2 − ln α). (13)

Applying (13) to (11), the self-inductance reduces as expected to the known analytic formula (given on page 234 of [19]),

L◦ = µ0 R ln 8R a − 7 4 . (14)

B. Overview of Derivations

The formulae in our work are determined by rigorously simplifying the three-dimensional integral form of the magnetic vector potential (29) under the assumption a/L ≪ 1. The key idea in this method is to partition the domain of the integral over ϕ̃ in (29) into a “near region” in which

the integral over ϕ in (29) into a “near region” in which |ϕ − ˜ϕ| ≪ 1, and a “far region” in which a/|∆r| ≪ 1, where

∆r ≡ r − r̃. This partition occurs at some angle ϕ 0 such that a/L ≪ ϕ 0 ≪ 1. A detailed derivation for the vector potential is given in Appendix A. It is then possible to derive the selfinductance, self magnetic field, and self-force from the vector potential. These derivations are given in Appendices B-D.

C. The Self-Inductance

It is shown in Appendix B that the self-inductance of thin coils is given by

L = µ0 4π 2π 0 d˜ϕ 2π 0 dϕ r′c · ˜r′c |∆rc | 2 + a2√ e . (10)

For a circular conductor of major radius R, this becomes

L◦ = µ0 R 2 √ 2 2π 0 d(∆ϕ) cos ∆ϕ 1 − cos ∆ϕ + a2 2R2 √ e . (11)

We may apply the integral identity

2π 0 dϕ cos ϕ √ 1 − cos ϕ + α = 4 √ 2+ α (1 + α)K 2 2+ α − (2 + α)E 2 2+ α , (12)

where L reg,f is given in (62). A similar logarithmic dependence on a can be shown to hold for the self-force.

3.0 1e 6 Exact Method

2D Integral Method 2.5 Inductance [H] Fig. 3. Demonstration that dropping the singular grid point at r̃ c = r c for a numerical integration of (7)-(8) is an invalid method of determining selfforce. This is shown by comparing the results of this method at various grid resolutions to the analytic solution (9), a finite-thickness numerical evaluation (95), and our method (21) and (26) for a circular coil. All methods agree with

one another except that in which the singular circular with I = 106 A and R/a = 300.

The regularized self-inductance (10) also shows close numerical agreement with the exact form of the self-inductance (54) for the HSX coil in Figure 4. Interestingly, the agreement holds true even for values of a/R that are only slightly below 1, even though (10) was was determined under the assumption a/L ≪ 1. When the minor radius is varied, the self-inductance depends on a purely through a term proportional to ln(l/a), where l is the length of the coil: from (57) and (70), it can be shown that

L = µ0 l 2π ln l a + µ0 2π 2π 0 dϕ|r′c | ln |r′c | l + ln ϕ0 + 1 4 + Lr eg,f , (15)

2.0 1.5 1.0 10 3 10 1 10 2

Inverse aspect ratio (a/R) [unitless] Fig. 4. The self-inductance of the HSX coil is compared between the exact method (54) and the regularized 2D method (10) for various values of the inverse aspect ratio a/R. These two methods agree extraordinarily well, even for coils where the inverse aspect ratio is slightly below 1. It is also demonstrated that, in agreement with 15, the self-inductance is logarithmic in a/R.

D. The Self Magnetic Field

It is shown in Appendix C that the magnetic field for thin coils in the region s ≲ a is given by

B(r) = Br eg + Bc yl + B< , s ≤ a B> , s > a, (16)

5 where

Br eg( ϕ) ≡ µ0 I 4π 2π 0 d˜ϕ ˜r′c × ∆rc |∆rc | 2 + a2√ e 32 (17) arized Biot-Savart law, θ, ϕ) = µ0 I s 2πa2 (− sin θe2 + cos θe3 ) , s ≤ a µ0 I 2πs (− sin θe2 + cos θe3 ) , s>a (18) 1 2 3 m ] ×10 3 |B | [Tesla], a/R = 10 2 40 50 60 70

Bc yl( s, θ, ϕ) = µ0 I s 2πa2 (− sin θe2 + cos θe3 ) , s ≤ a µ0 I 2πs (− sin θe2 + cos θe3 ) , s>a

B< (s, θ, ϕ) ≡ µ0 I κ 8π − s2 sin(2θ)e2 2a2 + 3 2 + s2 a2 cos(2θ) 2 − 1 e3 (19a) B> (s, θ, ϕ) ≡ µ0 I κ 8π a2 sin(2θ) 2s2 − sin(2θ) e2 + 1 2 − 2 ln s a − a2 cos(2θ) 2s2 + cos(2θ) e3 . (19b)

B(r) = µ0 I 4π2 a2 2π 0 d˜ϕ 2π 0 d˜θ a 0 d˜s ˜s(1 − ˜κ˜s cos ˜θ) ˜r′c × ∆r |∆r|3 , (20)

dF dl = Ie1 × Br eg. (21)

3 2 1 0 1 2 3 x [m] ×10 3 ×10 2 |B | [Tesla], a/R = 10 1

5 0 4 1 3 2 2

3 1 Exact Method 1D Integral Method 3 2 1 0

x [m] 0

1 2 3 ×10 2

Fig. 5. These contour plots compare the magnitude of the magnetic field in the cross-section of the HSX coil between the exact Biot-Savart law (20) and the one-dimensional integral method for B (16). The axes are x = s cos θ and y = s sin θ, with the black circle indicating the conductor. The plots were evaluated at ϕ = 0 for I = 10 6 A and for inverse aspect ratios of 10 −1 and 10 −2 . These plots demonstrate the convergence of the 1D integral method for B to the exact result with respect to small a/R.

B reg , a fact that can be demonstrated for a circular coil. Therefore, it is reasonable to approximate the location of max s,θ |B| as the point that instead maximizes the quantity B (0) ≡ B reg +B cyl . This point is found to be given by s max = a

B ≡ Br eg +Bc yl. This point is found to be given by sm ax = a and θm ax = − tan− 1 (Br eg,2/ Br eg,3) , where Br eg,j ≡ Br eg · ej .

Substituting this solution into (16) and keeping terms up to zeroth order in a/L,

max s,θ |B|2 ≈ B2r eg,1 + B2∥ 1 + 1 B∥ µ0 I 2πa 2 , (22) where B2 ∥ ≡ B2r eg,2 + B2r eg,3.

6 2 Exact Method

1D Integral Method 2.5 1 dF x /dl [N/m] Regularized Biot-Savart Law Integrand 1e6 2.0

0 1.5

1 1.0 2 3 0.5 0 1 2 3 4 phi [unitless] 5 6 Fig. 6. The self-force in the x̂-direction for the HSX coil displays excellent agreement between the exact method (98) and the one-dimensional integral formula (21). The current was taken to be 10 6 A and the inverse aspect ratio

formula (21). The current was a/R was taken to be 10− 2 .

The accuracy of (22) is demonstrated in Figure 7 by comparing it to numerical maximizations of the exact Biot-Savart law (20) and one-dimensional magnetic field calculation (16) for the HSX coil. The analytic maximization (22) agrees closely with the numerical maximization of (16), which indicates that the decision to find the maximum of |B (0) | instead of |B| was reasonable. The agreement between the exact Biot Savart law (20) and the one-dimensional methods is weaker, though it may be sufficiently close for (22) to be useful for estimates and within optimization.

Exact Result Semi-Analytic Fully Analytic 65.5

65.0 0.0

3 2 0 phi [radians] 1 2 3 Fig. 8. The integrand of the regularized Biot-Savart law (17) is shown for a circle with a/R = 1/10, where R is the major radius. This demonstrates the fine-scale structure of the integrand near r̃ c ≈ r c .

singularity at r̃ c = r c . Even so, quadrature is still challenging as the integrands have fine-scale structure near r̃ c ≈ r c for a/L ≪ 1. Figure 8 demonstrates the fine-scale structure of the integrand of the regularized Biot-Savart law (17).

One method to circumvent this issue relies upon subtracting and adding back some analytically integrable function, Λ(ϕ, ϕ̃), that fits the integrand well near the reference point. For the regularized Biot-Savart law, we choose Λ based on the integrand of (17) as follows. First, we expand the numerator and denominator about ϕ̃ = ϕ using the result of (37) and keep terms to second order in ∆ϕ. Comparing this expression to (3a), we find

64.5 Λ =

max | B| [T] s, 1 64.0

Λ = κ(∆ϕ)2 e3 2 (∆ϕ)2 + a2 |r′c | 2 √ e 32 .

(23)

63.5 In order to recapture the 2π-periodic behavior of the integrand

0 1 2 3 4 5 6 phi [unitless] 62.0 62.5 63.0 63.5 In order to recapture the 2π-periodic behavior of the integrand of (17), we let (∆ϕ)2 → 2(1 − cos ∆ϕ), giving Λ = κ(1 − cos ∆ϕ)e3 23 /2 (1 − cos ∆ϕ) + a2 2|r′c | 2 √ e 32 . (24)

Comparing to the formulae for self-force of a circular coil (9, 21), we see

µ0 I 4π 2π 0 d˜ϕΛ = µ0 I κ 4π ln 8|r′c | a − 3 4 e3 . (25)

The advantage of (24) is that it allows us to subtract Λ from the integrand of (17) and add it back to obtain a modified regularized Biot-Savart law, 7

Br eg = µ0 I 4π 2π 0 d˜ϕ ˜r′c × ∆rc |∆rc | 2 + a2√ e 32 − Λ + µ0 I κ 4π ln 8|r′c | a − 3 4 e3 , (26)

where we applied (25). Although algebraically identical to (17), (26) is easier to evaluate as the new integral has a significantly smoother integrand at r̃ c ≈ r c .

The efficiency of this modified method in comparison to the unmodified regularized Biot-Savart law (17) is demonstrated in Figure 9, where the results of both methods are shown for several quadrature grid resolutions. For each value of ϕ in the figure, B reg is computed using Gauss-Legendre quadrature on the interval ϕ̃ ∈ [ϕ, ϕ + 2π]. Compared to highly resolved calculations, the modified method achieves accuracy within 1% for a grid of only 12 points, while the unmodified method requires 40 points to do the same. For uniformly spaced quadrature points, similar results are obtained with a slightly larger number of points.

4.0 1e6 Modified, 12 Grid Points

Unmodified, 12 Grid Points Unmodified, 40 Grid Points 3.5 B reg [T] 3.0 Figure 10 demonstrates the efficiency of this method in comparison to the unmodified 2D integral form of the selfinductance (10) by comparing their predictions for the selfinductance of the HSX coil at various choices of quadrature grid resolution.

Unmodified Method Modified Method 10 1 Relative Error in L 10 3 10 5 10 7 10 9 10 0 10 1

Grid Points 10 2 Fig. 10. This plot compares evaluations of the modified (27) and unmodified (10) 2D integral forms of the self-inductance for the HSX coil at various choices of quadrature grid resolution in order to demonstrate relative rate of convergence. The coil was taken to have an inverse aspect ratio a/R of 10 −2 .

V. C ONCLUSION

2.5 2.0 1.5 1.0

0 1 2 3 4 phi [unitless] 5 6 Fig. 9. This plot compares evaluations of the modified (26) and unmodified (17) regularized Biot-Savart laws across the length of the HSX coil for various choices of quadrature grid resolution in order to demonstrate relative rate of convergence. The modified method performs significantly better than the unmodified method, a 12-point grid for the modified method yielded comparable results to a 40-point grid for the unmodified method. The current is taken to be I = 10 6 A and the inverse aspect ratio a/R is 10 −2 .

Using the same methodology, a modified expression can be obtained for the self-inductance,

L = µ0 4π 2π 0 dϕ |r′c | 2 ln 8 |r′c | a + 1 2 + µ0 4π 2π 0 dϕ 2π 0 d˜ϕ r′c · ˜r′c |∆rc | 2 + a2√ e − |r′c | 2 2(1 − cos ∆ϕ) |r′c | 2 + a2√ e . (27)

sThe self-inductance, self magnetic field, and self-force of electromagnetic coils are important properties yet they are difficult to evaluate numerically due to the high dimensionality of the integrals and the presence of a singularity in the integrands. In this paper, we rigorously derived novel integral formulae for these quantities using an expansion in large coil aspect ratio. The main results are summarized in Section III, with (10) for the self-inductance, (16)-(19) for the field, (21) for the self-force, and (22) for the maximum field strength in the conductor. These formulae are described by integrals of significantly reduced dimensionality that no longer contain a singularity. We demonstrated that these formulae show remarkable agreement to the “exact” finite-thickness integrals even at low aspect ratios, both analytically for a torus and numerically for the HSX coil. In Section IV, we subsequently derived expressions to compute the self-inductance (27) and regularized Biot-Savart law (26) with even greater efficiency, and demonstrated that the self-force can be accurately computed with a grid of as few as 12 points.

A key direction of future research would be to incorporate measures of stress and critical current, both of which may be computed from our simplified integral formulae, into coil shape optimization. For application to fusion energy, the design of stellarators in particular may benefit from this work as there is significant flexibility in coil shape. Prior to this work, it would have been infeasible to optimize for stress or critical current as the calculations would have been too costly. The modified forms of the self-inductance and regularized Biot-Savart law now allow for optimization as they can be 8 evaluated rapidly. An additional direction for research would be to generalize these results for electromagnetic coils with different geometries. For example, a similar methodology can be applied to coils in which the cross-section is rectangular, as will be discussed in a separate paper [7].

A PPENDIX A R EDUCED I NTEGRAL F ORMULA FOR THE M AGNETIC

V ECTOR P OTENTIAL

The magnetic vector potential is given by a threedimensional integral,

A = µ0 4π d3 ˜r ˜J |∆r| . (28)

We consider a closed conductor with a circular cross-section of minor radius a, carrying a uniformly distributed current I in the e 1 direction, (6). In our coordinates, the magnetic vector potential for this coil is given by,

A(r) = µ0 I 4π2 a2 2π 0 d ˜ ϕ 2π 0 d ˜ θ a 0 d˜s ˜s(1 − ˜κ˜s cos ˜θ) ˜r′c |∆r| , (29)

where ∆r ≡ r − r̃. In this Appendix, we show that when s ≲ a and the minor radius is significantly smaller than the length scales L associated with r c (which includes |r ′ c |, κ −1 , and τ −1 ), there exists a reduced form of the magnetic vector potential,

A = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 dϕ′ r′c |∆rc | 1 − ∆rc · s(cos θe2 + sin θe3 ) |∆rc | 2 + µ0 I e1 2π 1+ κs cos θ 2 ln |r′c | a + ln(2ϕ0 ) + µ0 I e1 4π − κa2 cos θ 4s − κs cos θ, s>a (1 − κs cos θ) − s2 a2 1 + κs cos θ 4 , s ≤ a , (30)

where ϕ 0 is defined ahead. This formula will be important in Appendices B, C, and D for finding simplified integral forms of the self-inductance, magnetic field, and self-force, respectively.

To reduce (29) for a/L ≪ 1, different simplifying assumptions can be applied in different regions of the domain. In the

tions can be applied in different regions of the domain. In the “far region” where |ϕ − ˜ϕ| ∼ 1 and a ≪ |∆r|, the three-

dimensional structure of the conductor is negligible and the coil can be approximated by a one-dimensional filament. By

coil can be approximated by a one-dimensional filament. By contrast, in the “near region” where |∆r| ∼ a and |ϕ− ˜ϕ| ≪ 1,

the three-dimensional structure is not negligible and must be considered. In order to take both domains into account, we introduce an intermediate angle ϕ 0 such that a/L ≪ ϕ 0 ≪ 1. Then, we split the integral over ϕ̃ in (29) in two: the near

Then, we split the integral over ϕ in (29) in two: the near region [ϕ − ϕ0 , ϕ + ϕ0 ] (in which |ϕ − ˜ϕ| ≪ 1) and the far region [ϕ + ϕ0 , 2π + ϕ − ϕ0 ] (in which a/|∆r| ≪ 1). In other

words, we write

A = An + Af , (31)

where

An = µ0 I 4π2 a2 ϕ+ϕ0 ϕ−ϕ0 d˜ϕ 2π 0 d˜θ a 0 d˜s˜s(1 − ˜κ˜s cos ˜θ) ˜r′c |∆r| (32a) Af = µ0 I 4π2 a2 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ 2π 0 d˜θ a 0 d˜s˜s(1 − ˜κ˜s cos ˜θ) ˜r′c |∆r| . (32b)

A similar idea of identifying an intermediate scale for the self-inductance was used on page 123 of [20] and in [5]. We proceed to simplify these integrals in each region.

A. Far Region

From the position vector (4),

∆r = ∆rc + s cos θe2 + s sin θe3 − ˜s cos ˜θ˜e2 − ˜s sin ˜θ˜e3 , (33)

where ∆r c ≡ r c − r̃ c . Performing a Taylor expansion in a/L and keeping terms up to first order,

1 |∆r| = 1 |∆rc | 1 − ∆rc |∆rc | 2 · (s cos θe2 + s sin θe3 −˜s cos ˜θ˜e2 − ˜s sin ˜θ˜e3 ) . (34)

Next, we substitute (34) into (32b), perform the integral over θ̃, and keep terms up to first order in a/L. Performing the next integral over s̃,

Af = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c |∆rc | 1 − ∆rc |∆rc | 2 · (s cos θe2 + s sin θe3 ) . (35)

Comparing this expression to (34), we note that (35) may more simply be written as

Af = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c |r − ˜rc | . (36)

B. Near Region

In the near region, we use the assumption that |∆ϕ| ≪ 1,

In the near region, we use the assumption that |∆ϕ| ≪ 1, where ∆ϕ ≡ ϕ − ˜ϕ. To begin, we expand |∆r| for small ∆ϕ.

First, we perform a Taylor expansion of r c to second order in

First, we perform a Taylor expansion of rc to second order in ∆ϕ, ∆rc = |˜r′c | ∆ϕ + 1 2 d|˜r′c | d˜ϕ (∆ϕ)2 ˜e1 + ˜κ|˜r′c | 2 (∆ϕ)2 2 ˜e2 , (37)

where we determined r̃ ′′ c by evaluating the e ′ 1 term of (2) with (1). Substituting (37) into (33), performing Taylor expansions of e 2 and e 3 , and keeping terms up to second order in ∆ϕ,

∆r = |˜r′c | ∆ϕ + 1 2 d|˜r′c | d˜ϕ (∆ϕ)2 ˜e1 + ˜κ|˜r′c | 2 (∆ϕ)2 2 + s cos θ − ˜s cos ˜θ ˜e2 +(s sin θ − ˜s sin ˜θ)˜e3 + s cos θ∆ϕ ˜e′2 + ˜e′ ′ 2 ∆ϕ 2 + s sin θ∆ϕ ˜e′3 + ˜e′ ′ 3 ∆ϕ 2 , (38)

9 where the derivatives of the basis vectors can be found from the Frenet-Serret formulas (2). We assume all length scales

the Frenet-Serret formulas (2). We assume all length scales L of rc in (2) are comparable, so ei ∼ dei / dϕ ∼ d2 ei / dϕ2 ,

where e i is any one of the Frenet-Serret basis vectors. As a result, we can neglect the terms in (38) containing second derivatives of the basis vectors; these terms are second order in ∆ϕ and are additionally one order higher in the small quantity a/L than the remaining (∆ϕ) 2 terms. Neglecting these second derivative terms and using (2) to evaluate the first derivative terms, we find

∆r = (1 − ˜κs cos θ)|˜r′c | ∆ϕ + 1 2 d|˜r′c | d˜ϕ (∆ϕ)2 ˜e1 + −˜s cos ˜θ + s cos θ − ˜τ s sin θ|˜r′c | ∆ϕ + ˜κ|˜r′c | 2 (∆ϕ)2 2 ˜e2 + −˜s sin ˜θ + s sin θ + ˜τ s cos θ|˜r′c | ∆ϕ ˜e3 . (39) Squaring this result; expanding |˜r′c | , ˜κ, and ˜τ about ˜ϕ = ϕ;

and keeping all terms up to second order in ∆ϕ and first order

and keeping all terms up to second order in ∆ϕ and first order in a/L, |∆r|2 = (s2 + ˜s2 − 2s˜s cos ∆θ) + 2τ s˜s|r′c | sin(∆θ)∆ϕ + (1 − κs cos θ − κ˜s cos ˜θ)|r′c | 2 (∆ϕ)2 , (40)

where ∆θ ≡ θ − θ̃. It is helpful to abbreviate this expression as

|∆r|2 = α + β∆ϕ + γ(∆ϕ)2 , (41)

where

α = s2 + ˜s2 − 2s˜s cos ∆θ β = 2τ s˜s|r′c | sin ∆θ

(42a)

β = 2τ s˜s|r′c | sin ∆θ (42b) γ = (1 − κs cos θ − κ˜s cos ˜θ)|r′c | 2 . (42c) Note that α, β ∼ a2 while γ ∼ L2 . ′

By expanding r̃ ′ c and κ̃ about ϕ̃ = ϕ and applying (40), (32a) can be expressed in terms of integrals of the form

ϕ0 −ϕ0 d(∆ϕ) (∆ϕ)m |∆r| , (43)

where m is an integer ≥ 0. Let us seek to simplify the first few cases of (43). For m = 0, [21]

d(∆ϕ) |∆r| = ln 2√ γ α + β∆ϕ + γ(∆ϕ)2 + 2γ∆ϕ + β √ γ . (44)

(44) As α and β ∼ a2 while γ ∼ L2 in (42), the m = 0 case

simplifies under the assumption a/L ≪ ϕ 0 ≪ 1 to

ϕ0 −ϕ0 d(∆ϕ) |∆r| ≈ 1√ γ ln 4γϕ20 α . (45)

√ Substituting in (42) and performing a Taylor expansion on γ,

ϕ0 −ϕ0 d(∆ϕ) |∆r| = 1 |r′c | 1+ κs cos θ + κ˜s cos ˜θ 2 × ln 4ϕ20 ( 1 − κs cos θ − κ˜s cos ˜θ)|r′c | 2 s2 + ˜s2 − 2s˜s cos ∆θ . (46)

For the m = 1 and m = 2 cases, [21] gives

d(∆ϕ) ∆ϕ |∆r| = |∆r| γ − β 2γ d(∆ϕ) |∆r| d(∆ϕ) (∆ϕ)2 |∆r| = ∆ϕ 2γ − 3β 4γ2 |∆r| + 3β2 8γ2 − α 2γ d(∆ϕ) |∆r| ,

(47a)

(47b)

which, under the assumptions that a/L ≪ ϕ 0 ≪ 1, yield

0 ϕ0 −ϕ0 d(∆ϕ) ∆ϕ |∆r| ≈ β γ 3 2 1 − 1 2 ln 4γϕ20 α (48a) ϕ0 −ϕ0 d(∆ϕ) (∆ϕ)2 |∆r| ≈ ϕ 2 0√ γ − α 2γ 3 2 ln 4γϕ20 α . (48b)

Notably, the m = 1 and m = 2 integrals (48) are smaller than (45) by factors of (a/L) 2 and ϕ 20 . We therefore use this observation to argue that only the m = 0 integral (45) contributes meaningfully to an evaluation of (32a). As a result, in (32a) we can expand r̃ ′ c and κ̃ about ϕ̃ = ϕ and only keep the zeroth order term of ∆ϕ,

An = µ0 I |r′c | e1 4π2 a2 2π 0 d ˜ θ a 0 d˜s˜s(1 − κ˜s cos ˜θ) ϕ0 −ϕ0 d(∆ϕ) |∆r| . (49)

Next, we apply to (49) our m = 0 integral formula (46), perform a Taylor expansion in a/L and keep terms up to first order,

An = µ0 I e1 4π2 a2 2π 0 d˜θ a 0 d˜s˜s − (κs cos θ + κ˜s cos ˜θ) + 1+ κs cos θ − κ˜s cos ˜θ 2 × ln 2ϕ20 | r′c | 2 s˜s − ln s2 + ˜s2 2s˜s − cos ∆θ . (50)

Here, we make use of the identities

Here, we make use of the identities 2π 0 d˜θ ln(b − cos ˜θ) = −2π ln 2 b + √ b2 − 1 (51a) 2π 0 d˜θ cos ˜θ ln(b − cos ∆θ) = 2π( b2 − 1 − b) cos θ, (51b) where b = (s2 + ˜s2 )/2s˜s and √ b2 − 1 = |s2 − ˜s2 |/2s˜s. Taking

the integral of (50) with respect to θ̃ then s̃, we find that

An ≡ A<n , s ≤ a A>n , s > a, (52)

where

here A<n = µ0 I e1 4πa2 a2 (1 − κs cos θ) − s2 1 + κs cos θ 4 +2a2 1 + κs cos θ 2 ln |r′c | a + ln(2ϕ0 ) (53a) A>n = µ0 I e1 4πa2 − κa4 cos θ 4s − κsa2 cos θ +2a2 1 + κs cos θ 2 ln |r′c | s + ln(2ϕ0 ) . (53b)

Adding the near and far terms gives the desired result, (30).

10 A PPENDIX B

AP PENDIX B RE DUCED IN TEGRAL FO RMULA FOR THE SE LF- IN DUCTANCE The self-inductance of a conductor is given by [19] L = µ0 4πI 2 d3 r d3 ˜r ˜J · J |∆r| . (54) Applying (28), the self-inductance can be written as L = 1 I 2 d3 r(J · A). (55) Applying our choice of a uniform current density in the e1 direction (6) and taking the integral in the Frenet-Serret coordinate system, (55) becomes L = 1 Iπa2 2π 0 dϕ 2π 0 dθ a 0 ds s(1 − κs cos θ)|r′c | (e1 · A). (56) As in Appendix A, it is helpful to separate the integrals into near and far regions of the domain, L = Ln + Lf , (57) where Ln = 1 Iπa2 2π 0 dϕ 2π 0 dθ a 0 ds s(1 − κs cos θ)|r′c | (e1 · An ) where α = ka2 (64a) β =0 (64b) γ = |r′c | 2 . (64c) Note that α ∼ a2 while γ ∼ L2 . Just as in Appendix A, we may express (61a) as a sum of integrals of the form (43). As we noted previously, because α/γ ≪ ϕ20 , only the m = 0 integral meaningfully contributes, as the m = 1 and m = 2 integrals are smaller by factors of (a/L)2 and ϕ20 . Therefore, we choose to keep terms only up to zeroth order in ∆ϕ in our expansion of ˜rc . Performing this expansion, (61a) becomes Lr eg,n = µ0 4π 2π 0 dϕ|r′c | 2 ϕ+ϕ0 ϕ−ϕ0 d˜ϕ 1 |∆rc | 2 + ka2 . (65) Applying (45), where we note that |∆r| → |∆rc | 2 + ka2 here, (65) becomes Lr eg,n = µ0 4π 2π 0 dϕ|r′c | 2 ln |r′c | a + 2 ln(2ϕ0 ) − ln k . (66) B. Far Region

(58a) Applying the far form of the vector potential (35) and noting

(58a) Lf = 1 Iπa2 2π 0 dϕ 2π 0 dθ a 0 ds s(1 − κs cos θ)|r′c | (e1 · Af ). (58b) We also introduce a regularized self-inductance, Lr eg ≡ µ0 4π 2π 0 dϕ 2π 0 d˜ϕ r′c · ˜r′c |∆rc | 2 + ka2 , (59) where k is some constant. It will be shown below that L ≈ Lr eg Applying the far form of the vector potential (35) and noting that |r′c | e1 = r′c , the self-inductance in the far region (58b) becomes Lf = µ0 4π2 a2 2π 0 dϕ 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ 2π 0 dθ a 0 dss(1−κs cos θ) × r′c · ˜r′c |∆rc | 1 − ∆rc |∆rc | 2 · (s cos θe2 + s sin θe3 ) . (67)

Keeping only leading-order terms in a/L and performing the when a/L ≪ 1, for appropriate choice of k.

integrals over θ and s,

A. The Regularized Self-Inductance As with the full self-inductance, we write the regularized self-inductance as a sum of near and far parts, Lr eg = Lr eg,n + Lr eg,f , (60) Lf = µ0 4π 2π 0 dϕ 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ r′c · ˜r′c |∆rc | .

(68)

C. Near Region where

Lr eg,n = µ0 4π 2π 0 dϕ ϕ+ϕ0 ϕ−ϕ0 d˜ϕ r′c · ˜r′c |∆rc | 2 + ka2 (61a) Lr eg,f = µ0 4π 2π 0 dϕ 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ r′c · ˜r′c |∆rc | 2 + ka2 . (61b)

In the far region we may apply the assumption a/L ≪ 1 to the denominator of (61b), giving

Lr eg,f = µ0 4π 2π 0 dϕ 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ r′c · ˜r′c |∆rc | . (62)

In the near region, we apply (40) and write the denominator of (61a) as

|∆rc | 2 + ka2 = α + β∆ϕ + γ(∆ϕ)2 , (63)

Applying the near form of the vector potential (53) and keeping terms up to first order in a/L, the self-inductance in the near region (58a) becomes

Ln = µ0 4π2 a2 2π 0 dϕ 2π 0 dθ a 0 ds s|r′c | × a2 (1 − 2κs cos θ) − s2 1 − 3κs cos θ 4 + 2a2 1 − κs cos θ 2 ln |r′c | a + ln(2ϕ0 ) . (69)

Integrating over θ and s,

Ln = µ0 2π 2π 0 dϕ|r′c | 1 4 + ln(2ϕ0 ) + ln |r′c | a . (70)

11 We apply[21] D. The Total Self-Inductance

As noted in (57), the total self-inductance is given by the sum of its near (70) and far (68) parts. Substituting in the expanded form of the regularized self-inductance which is given as a sum of its own near (66) and far (62) parts, L = Lr eg + µ0 2π 1 4 + ln k 2 2π 0 dϕ|r′c | . (71) We make the convenient choice that k = 1√ e (72) such that L = Lr eg. Thus, we obtain (10). AP PENDIX C RE DUCED IN TEGRAL FO RMULA FOR THE MA GNETIC FI ELD In this section, we find the simplified magnetic field (16)- (19) as the curl of the vector potential computed in Appendix A. A. The Regularized Biot-Savart Law We wish to find an expanded form of the regularized Biot- Savart law (17), where in the denominator we have chosen k = 1/√ e in agreement with (72). To do so, we write a sum of its near and far region components, Br eg = Br eg,n + Br eg,f , (73) where Br eg,n = µ0 I 4π ϕ+ϕ0 ϕ−ϕ0 d˜ϕ ˜r′c × ∆rc |∆rc | 2 + a2√ e 32 (74a) Br eg,f = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c × ∆rc |∆rc | 2 + a2√ e 3 2 . (74b) The far region integral (74b) can be simplified for a ≪ |∆r|, Br eg,f ≈ µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c × ∆rc |∆rc | 3 2 . (75) As in Appendix A, the near region integral can be simplified by applying |∆ϕ| ≪ 1 to the numerator and denominator of (74a). Noting that ˜r′c = |˜r′c | ˜e1 , we use (39) to write that ˜r′c × ∆rc = κ|r′c | 3 (∆ϕ)2 e3 2 , (76) ϕ0 −ϕ0 d(∆ϕ) (∆ϕ)2 ((∆ϕ) + α) 3 2 = ln α − 2ϕ0 1 α + ϕ20 − 2 ln −ϕ0 + α + ϕ20 , (78) where we identify α = a2 /√ e|r′c | 2 in (77). From our standard assumption that a/L ≪ ϕ0 , we have that α ≪ ϕ20 . Under this limit, (78) simplifies to ϕ0 −ϕ0 d(∆ϕ) (∆ϕ)2 ((∆ϕ) + α) 3 2 ≈ 2 ln(2ϕ0 ) − ln α − 2. (79) Applying this result to (77), we have Br eg,n = µ0 I κe3 8π 2 ln(2ϕ0 ) + 2 ln |r′c | a − 3 2 . (80) B. Far Region Here we wish to evaluate ∇×Af , where the vector potential in the far region is given by (36). The curl operator acts both on the integrand and the integration limits in accordance with the Leibniz rule, d dx b(x) a(x) f (x, t)dt = b(x) a(x) dt ∂f ∂x + f (x, b(x)) db dx − f (x, a(x)) da dx . (81) We may use the formula for curl in non-orthogonal coordinate systems [22], ∇× C = 1√ g ∂r/∂s ∂r/∂θ ∂r/∂ϕ ∂/∂s ∂/∂θ ∂/∂ϕ C · ∂r/∂s C · ∂r/∂θ C · ∂r/∂ϕ , (82) where the derivatives of the position vector can be obtained from (4). Applying (81), ∇× b(ϕ) a(ϕ) f(r, ϕ′ )dϕ′ = b(ϕ) a(ϕ) ∇ × f(r, ϕ′ )dϕ′ + 1√ g ∂r ∂θ db dϕ f(r, b(ϕ)) − da dϕ f(r, a(ϕ)) · ∂r ∂s − ∂r ∂s db dϕ f(r, b(ϕ)) − da dϕ f(r, a(ϕ)) · ∂r ∂θ . (83) Let us denote the curl of (36) as ∇ × Af = [∇ × Af ]i nt + [∇ × Af ]d om, (84) where [∇ × Af ]i nt refers to the differentiation of the integrand

where we Taylor expanded κ̃ and |r̃ ′ c | and kept terms up to second order in ∆ϕ. Applying this result (76) and |∆r c | 2 =

second order in ∆ϕ. Applying this result (76) and |∆rc | = |r′c | 2 (∆ϕ)2 , (74a) becomes Br eg,n = µ0 I κe3 8π ϕ0 −ϕ0 d(∆ϕ) (∆ϕ)2 (∆ϕ)2 + a2 √ e|r′c | 2 32 . (77)

as in the first line of (83) and [∇ × A f ] dom refers to the differentiation of the domain as in the last two lines of (83).

Let us start with finding [∇ × A f ] int , which is given by

[∇ × Af ]i nt = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ∇ × ˜r′c |r − ˜rc | . (85)

12 Applying the product rule for a curl and taking the gradient in Cartesian coordinates, we find

[∇ × Af ]i nt = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c × (r − ˜rc ) |r − ˜rc | 3 . (86)

Using the definition of the position vector (4) and the far region assumption, a ≪ |∆r|, this simplifies to

[∇ × Af ]i nt = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c × (r − ˜rc ) |∆rc | 3 . (87)

Next, let us consider [∇ × A f ] dom . Applying the formulas for the position vector (4) and the Jacobian (5), we can write with some algebra that

[∇×Af ]d om = µ0 I 4π e3 e 2 − e2 e 3 (1 − κs cos θ)|r′c | · ˜r′c |r − ˜rc | ϕ −ϕ0 ϕ+ϕ0 . (88)

In order to simplify this expression, let us expand r̃ ′ c and |r − r̃ c | −1 about ϕ̃ = ϕ and keep terms up to ∆ϕ. Noting that r̃ ′ c = |r̃ ′ c |ẽ 1 and applying the Frenet-Serret formula (2),

˜r′c ≈ |r′c | e1 − ∆ϕ d|r′c | dϕ e1 + κ|r′c | 2 e2 . (89)

We next perform a Taylor series expansion of |∆r c | −1 ,

1 |∆rc | ≈ 1 |∆ϕ||˜r′c | 1+ ∆ϕ 2|˜r′c | d|˜r′c | dϕ , (90)

where |∆r c | can be found from (37). Combining (89) and (90),

˜r′c |r − ˜rc | ϕ −ϕ0 ϕ+ϕ0 = − 1 |˜r′c | d|˜r′c | dϕ e1 + 2κ|˜r′c | e2 .

(91)

Substituting this result into (88) and keeping terms up to first order in a/L, we find that

[∇ × Af ]d om = − µ0 I κe3 2π . (92)

At last, in accordance with (84), we sum the two contributions to the curl, (87) and (92), to find the total curl in the far region,

∇ × Af = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 d˜ϕ ˜r′c × (r − ˜rc ) |r − ˜r′c | 3 − µ0 I κe3 2π . (93)

C. Near Region

Here we wish to evaluate ∇ × A n , where the vector potential in the near region is specified in (53). Applying (82),

performing the expansion (1 − κs cos θ)− 1 ≈ 1 + κs cos θ, and

keeping terms up to first order in a/L, we find

∇ × A<n = µ0 I 2πa2 s cos θ + κs2 cos(2θ) 8 − 1 4 + κa2 2 2 + ln |r′c | a + ln(2ϕ0 ) e3 + −s sin θ − κs2 sin(2θ) 8 e2 . (94a) ∇ × A>n = µ0 I 2πa2 a2 cos θ s − κa4 cos(2θ) 8s2 + κa2 cos(2θ) 4 + κa2 2 3 2 + ln |r′c | s + ln(2ϕ0 ) e3 + − a2 sin θ s + κa4 sin(2θ) 8s2 − κa2 sin(2θ) 4 e2 . (94b)

D. The Total Magnetic Field

As stated in (31), the total magnetic vector potential is given by the sum of its near and far parts. As a result, the total magnetic field, taken as B = ∇ × A, is given as the sum of curls of the far part (93) and the near part (94),

B = µ0 I 4π 2π+ϕ−ϕ0 ϕ+ϕ0 dϕ′ ˜r′c × ∆rc |∆rc | 3 2 + µ0 I 2πa2 −s sin θ − κs2 sin(2θ) 8 e2 + s cos θ + κs2 cos(2θ) 8 − 1 4 s ≤ a + κa2 2 ln |r′c | a + ln(2ϕ0 ) e3 − a2 sin θ s + κa4 sin(2θ) 8s2 − κa2 sin(2θ) 4 e2 + a2 cos θ s − κa4 cos(2θ) 8s2 + κa2 cos(2θ) 4 s > a. + κa2 2 − 1 2 + ln |r′c | s + ln(2ϕ0 ) e3 (95)

Comparing this expression to the expanded form of the regluarized Biot-Savart law, which is given as the sum (73) of its far (75) and near (80) parts, we write the magnetic field as (16).

A PPENDIX D R EDUCED I NTEGRAL F ORMULA FOR THE S ELF -F ORCE The self-force per unit length (abbreviated here as selfforce) can be calculated in at least two ways. An elegant approach is to use the principle of virtual work, examined in a similar context in section 3 of [4], in which the shape of the coil is perturbed and the change to the configuration’s energy is examined. Expressing the latter in terms of the inductance, and applying (10), one obtains the self-force (21) with (17). Alternatively, we can directly use the formula for total force as a volume integral of J × B,

F = I πa2 2π 0 dϕ 2π 0 dθ a 0 dss(1 − κs cos θ)|r′c | (e1 × B), (96)

13 where we have applied our choice of uniform current density in the e 1 direction. Comparing this expression to the total force as a line integral of the force per unit length,

F = 2π 0 dϕ|r′c | dF dl , (97)

the self-force must be given by

dF dl = I πa2 2π 0 dθ a 0 dss(1 − κs cos θ)(e1 × B). (98)

Next, we substitute in the one-dimensional integral formula for the magnetic field (16)-(19) and keep terms up to first order

the magnetic field (16)-(19) and keep terms up to first order in a/L, dF dl = Ie1 × Br eg + µ0 I 2 4π2 a2 2π 0 dθ a 0 dss × − 2s cos θ a2 + 2κs2 cos2 θ a2 − 3κ 4 + κs2 2a2 − κs2 4a2 cos(2θ) e2 + − 2s a2 sin θ + 3κs2 4a2 sin(2θ) e3 , (99)

where the regularized Biot-Savart law is given in (17). Performing the integrals over θ and s, we find the force to be (21).

A CKNOWLEDGMENT We thank Robert Granetz, Stuart Hudson, Thomas Kruger, Jorrit Lion, Nicolo Riva, Felix Warmer, Yuhu Zhai, and Caoxiang Zhu for useful discussions. This work was supported by a grant from the Simons Foundation (No. 560651, T. A.). This work was also supported by the U.S. Department of Energy under Contract DE-FG02-93ER54197.

R EFERENCES

[1] S. J. Sackett, “Calculation of electromagnetic fields and forces in coil

systems of arbitrary geometry,” California Univ., Tech. Rep., 1975. [2] L. Urankar, “Vector potential and magnetic field of current-carrying

finite arc segment in analytical form, Part III: Exact computation for rectangular cross section,” IEEE Transactions on Magnetics, vol. 18, no. 6, pp. 1860–1867, 1982. [3] J. Lion, F. Warmer, H. Wang, C. Beidler, S. Muldrew, and R. Wolf, “A

general stellarator version of the systems code process,” Nuclear Fusion, vol. 61, no. 12, p. 126021, 2021. [4] D. A. Garren and J. Chen, “Lorentz self-forces on curved current loops,”

Physics of plasmas, vol. 1, no. 10, pp. 3425–3436, 1994. [5] R. Dengler, “Self inductance of a wire loop as a curve integral,”

Advanced Electromagnetics, vol. 5, no. 1, pp. 1–8, 2016. [6] R. Robin and F. A. Volpe, “Minimization of magnetic forces on

stellarator coils,” Nuclear Fusion, vol. 62, no. 8, p. 086041, 2022. [7] M. Landreman, S. Hurwitz, and T. M. Antonsen, Jr., “Efficient calcu-

lation of the internal magnetic field, self-force, and self-inductance for electromagnetic coils with rectangular cross-section,” arXiv, 2023. [8] F. S. B. Anderson, A. F. Almagri, D. T. Anderson, P. G. Matthews, J. N.

Talmadge, and J. L. Shohet, “The helically symmetric experiment, (hsx) goals, design and status,” Fusion Tech., vol. 27, p. 273, 1995. [9] National Academy of Engineering and National Academies of Sciences,

Engineering, and Medicine, Bringing Fusion to the U.S. Grid. Washington, DC: The National Academies Press, 2021. [10] N. Riva, R. Granetz, R. Vieira, A. Hubbard, A. Pfeiffer, P. Harris,

C. Chamberlain, A. Watterson, D. Anderson, R. Volberg et al., “De-

velopment of the first non-planar REBCO stellarator coil using VIPER cable,” Superconductor Science and Technology, 2023. [11] A. Creely, M. Greenwald, S. Ballinger, D. Brunner, J. Canik, J. Doody,

T. Fülöp, D. Garnier, R. Granetz, T. Gray et al., “Overview of the SPARC tokamak,” Journal of Plasma Physics, vol. 86, no. 5, 2020.

[12] A. Panin, W. Biel, P. Mertens, F. Nunio, K. Sedlak, L. Zani, and M. Cole-

man, “Approaches to analyze structural issues of the european demo toroidal field coil system at an early design stage,” IEEE transactions on applied superconductivity, vol. 26, no. 4, pp. 1–5, 2016. [13] T. S. Pedersen, M. Otte, S. Lazerson, P. Helander, S. Bozhenkov,

C. Biedermann, T. Klinger, R. C. Wolf, and H.-S. Bosch, “Confirmation

of the topology of the wendelstein 7-x magnetic field to better than 1: 100,000,” Nature communications, vol. 7, no. 1, p. 13493, 2016. [14] S. S. Hidalgo-Tobon, “Theory of gradient coil design methods for

magnetic resonance imaging,” Concepts in Magnetic Resonance Part A, vol. 36, no. 4, pp. 223–242, 2010. [15] X. Chen and M. Steckner, “Electromagnetic computation and modeling

in MRI,” Medical Physics, vol. 44, no. 3, pp. 1186–1203, 2017. [16] S. Russenschuck, Field computation for accelerator magnets: analytical

and numerical methods for electromagnetic design and optimization. John Wiley & Sons, 2011. [17] E. Kreyszig, Differential Geometry, ser. Dover Books on Mathematics.

Dover Publications, 1991, p. 35–43. [18] V. Shafranov, “Plasma equilibrium in a magnetic field,” Reviews of

plasma physics, vol. 2, p. 103, 1966. [19] J. D. Jackson, Classical Electrodynamics, 3rd ed. American Association

of Physics Teachers, 1999, p. 215. [20] L. D. Landau, J. S. Bell, M. Kearsley, L. Pitaevskii, E. Lifshitz, and

J. Sykes, Electrodynamics of continuous media. elsevier, 2013, vol. 8. [21] I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and

products. Academic press, 2014. [22] P. Khare, “Divergence and curl in nonorthogonal curvilinear coordi-

nates,” American Journal of Physics, vol. 38, no. 7, pp. 915–916, 1970.