Higher-Order Corrections to Algebraic Derivation of Electric Dipole-Dipole Interaction

Abstract

Nucleons are fermions with intrinsic spins exhibiting dipole character. Dipole-dipole interaction via their dipole moments is the key feature quantifying the short-range nucleonics interaction in two-body physics. For a pair of interacting dipoles, the energy of a pair is the quantity of interest. The same is true for chemical polar molecules. For both cases, derivation of energy almost exclusively is carried out vectorially [1]. Although uncommon the interacting energy can be derived algebraically too. For the latter Taylor, expansion is applied [2]. The given expression although appears to be correct it is incomplete. In our report, by applying Taylors expansion up to the 4th order and utilizing a Computer Algebra System we formulate the missing terms. Our report highlights the impact of correcting missing terms by giving two explicit examples.

Share and Cite:

Sarafian, H. (2021) Higher-Order Corrections to Algebraic Derivation of Electric Dipole-Dipole Interaction. American Journal of Computational Mathematics, 11, 267-272. doi: 10.4236/ajcm.2021.114017.

1. Introduction

Reviewing literature on the format of dipole-dipole interaction energy in three areas of physics, magnetic, nuclear, and electric shows the similarity of the formulations. Denoting dipole moments by, μ , σ , and m , respectfully, these are,

U ( μ 1 , μ 2 ) = C 1 1 r 3 [ μ 1 μ 2 3 μ 1 r ^ μ 2 r ^ ] , (1)

U ( σ 1 , σ 2 ) = C 2 1 r 3 [ σ 1 σ 2 3 σ 1 r ^ σ 2 r ^ ] , (2)

U ( m 1 , m 2 ) = C 3 1 r 3 [ m 1 m 2 3 m 1 r ^ m 2 r ^ ] . (3)

The constant coefficients C’s are associated with the coupling constants of each case. In these expressions, r is the vector distance between the dipoles with r ^ being its associated unit vector.

2. Calculation

These expressions have been derived applying vector analysis e.g. [3]. For instance, the derivation of (1) is based on the gained energy of a magnet with a magnetic dipole μ 2 in the magnetic field of another magnet with a dipole moment μ 1 .

Motivated with [2] we revisited its algebraic derivation. We consider a pair of electric dipoles in a 2D space. Figure 1 describes the scenario.

The ±q charges of each dipole are separated by a distance of 2d. For the sake of calculation, midpoints are used indicating the separation of the dipoles r 12 . As shown, there are four paired charges; these are labeled with their connecting-colored dashed lines; 1, 2, 3, and 4. These lines are indicative of repulsive and/or attractive interactions. The blue dashed lines 1, 2 join the +q to −q of individual dipole while the red dashed lines 3, 4 join the corresponding +q’s and

q’s. Aside from the electrostatic coupling constant k = 1 4 π ε 0 = 8.95 × 10 9 N m 2 C 2

and the charge q the electrostatic potential energy of the paired dipoles according

to Figure 1 is, U = i = 1 ' 4 ± 1 d i s t i where ∑' is the algebraic sum, and disti is the

distance between the pairs, namely i = 1, 2, 3 and 4. Applying this notation according to vectors shown in Figure 1 the potential energy reads,

U = [ 1 | r + ( d 2 d 1 ) | + 1 | r + ( d 2 + d 1 ) | ] + [ 1 | r + ( d 2 + d 1 ) | + 1 | r ( d 2 + d 1 ) | ] (4)

Figure 1. Two electric dipoles with identical dipole moments 2dq are oriented as shown. Vector r 12 connects their centers.

As noted, for the sake of simplicity in (4), r 12 is replaced with r . The first two terms and the last two terms in (4) correspond to lines 1, 2 and 3, 4, shown

in Figure 1, respectively. Note also according to notation: d 1 = d 2 d ^ 1 and d 2 = d 2 d ^ 2 . These are conducive to dipole moments, m 1 = q d d ^ 1 and m 2 = q d d ^ 2 .

One notices all four terms in (4) are common in 1/rand since we are confined

in a 2D space this means 1 x 2 + y 2 . The objective of the calculation is to apply

Taylor expansion, as such the latter fraction is expanded for each of the four terms of (4) according to their increments. Let’s define

f ( x , y ) : = 1 x 2 + y 2 (5)

Expanding the first term of (4) with its associated increment gives,

f ( x + ( d 2 d 1 ) x , y + ( d 2 d 1 ) y ) = f ( x , y ) + [ x f ( x , y ) ( d 2 d 1 ) x + y f ( x , y ) ( d 2 d 1 ) y ] + 1 2 ! [ x 2 f ( x , y ) ( d 2 d 1 ) x 2 + 2 x , y f ( x , y ) ( d 2 d 1 ) x ( d 2 d 1 ) y + y 2 f ( x , y ) ( d 2 d 1 ) y 2 ] + 1 3 ! 0 3 + 1 4 ! [ x 4 f ( x , y ) ( d 2 d 1 ) x 4 + 4 x 3 y f ( x , y ) ( d 2 d 1 ) x 3 ( d 2 d 1 ) y + 6 x 2 y 2 f ( x , y ) ( d 2 d 1 ) x 2 ( d 2 d 1 ) y 2 + 4 x y 3 f ( x , y ) ( d 2 d 1 ) x ( d 2 d 1 ) y 3 + y 4 f ( x , y ) ( d 2 d 1 ) y 4 ] + (6)

In (6), O3 is the 3rd order term, its format is like the 2nd and the 4th term. Because of its collective null value, it is not given explicitly. Noting also x 4 means x , x , x , x , etc. Equation (6) must be applied to the remaining three terms of (4). Realizing the first two terms of (4) are negative and the last two are positive yields to the cancelation of the first term of (6) when applied to (4). The second term of (6) contains first-order partial derivatives. Increments of four terms of (4) are such that when the second term of (6) is applied to (4) gives zero. Further analysis shows in general all odd orders of (6) when applied to (4) yield zero. In other words, only even terms of (6) survive. i.e., Taylor expansion of (4) may replace (4) in terms of only even powered terms.

As such we calculate the first even powered term of Taylor expansion, this is,

{ x , x f [ x , y ] , 2 x , y f [ x , y ] , y , y f [ x , y ] } = { 3 x 2 ( x 2 + y 2 ) 5 / 2 1 ( x 2 + y 2 ) 3 / 2 , 6 x y ( x 2 + y 2 ) 5 / 2 , 3 y 2 ( x 2 + y 2 ) 5 / 2 1 ( x 2 + y 2 ) 3 / 2 } (7)

Equation (7) reveals the functional format of the expression. Simply put denominators are of form 1/r3 and 1/r5, these are compatible with the functional formats of (1)-(3). Now each term of (7) needs to be multiplied by their associated increments. Carrying out this algebraic simplification is cumbersome, that is the reason it is carried out applying a CAS, specifically Mathematica [4]. Nonetheless, its simplified output needs to be format-ed using the defined m 1 and m 2 in the text. This step requires regrouping of terms and is handled by hand. The result is identical to (3).

Successfully this algebraic procedure bypasses the vector analysis producing the standard energy associated with the dipole-dipole interaction. However, Taylor expansion should not be terminated to the 2nd order! As mentioned earlier higher even order terms should be included. It is one of the objectives of this report to investigate the impact of the next, i.e., the 4th. One may argue contribution of terms beyond the 2nd order “should” be ignored. Reasoning these terms would be falling off vs. distance as 1/r7 and 1/r9. Of course, the argument holds so long as separation distance is large, however, for short distances this is not true. Even more interesting, here we show the 4th order term contains a term such as 1/r5, and that needs to be added to the term of the same format that comes about from the 2nd order Taylor expansion. Here is the proof. Noting the 4th order term of the Taylor expansion as pointed out in (6) contains 4th order partial derivatives we form its derivatives,

{ x , x , x , x f [ x , y ] , 4 x , x , x , y f [ x , y ] , 6 x , x , y , y f [ x , y ] , 4 x , y , y , y f [ x , y ] , y , y , y , y f [ x , y ] } = { 105 x 4 ( x 2 + y 2 ) 9 / 2 90 x 2 ( x 2 + y 2 ) 7 / 2 + 9 ( x 2 + y 2 ) 5 / 2 , 4 ( 105 x 3 y ( x 2 + y 2 ) 9 / 2 45 x y ( x 2 + y 2 ) 7 / 2 ) , 6 ( 105 x 2 y 2 ( x 2 + y 2 ) 9 / 2 15 x 2 ( x 2 + y 2 ) 7 / 2 15 y 2 ( x 2 + y 2 ) 7 / 2 + 3 ( x 2 + y 2 ) 5 / 2 ) , 4 ( 105 x y 3 ( x 2 + y 2 ) 9 / 2 45 x y ( x 2 + y 2 ) 7 / 2 ) , 105 y 4 ( x 2 + y 2 ) 9 / 2 90 y 2 ( x 2 + y 2 ) 7 / 2 + 9 ( x 2 + y 2 ) 5 / 2 } (8)

If in (8) virtually we replace x 2 + y 2 with r, we see that there are three terms in proportion to 1/r5; these cannot be ignored and ought to be added to the terms of the same format when the 2nd order expansion is considered. The other terms in (8) using the r notation are of the form 1/r7 and 1/r9; depending on the situation these terms may be ignored. It needs to be noted that it is obvious that higher-order expansion terms appear to contain overlapping 1/rn terms of the lower order. E.g., a sixth-order Taylor expansion would contain a term such as 1/r7 and that needs to be added to the 4th order, etc.

Now as it is done for the 2nd order, terms of the (8) are to be multiplied with their associated increments and then to be factored with 1/r5. This is indeed a very labor-intensive algebraic procedure. This is carried out applying CAS, Mathematica. The output is an algebraic expression with 44 terms! The terms are regrouped long-hand. In the end, utilizing the dipole moment notations we arrive at,

U ( m 1 , m 2 ) = C 3 { m 1 m 2 r 3 3 r 5 [ m 1 r m 2 r 1 8 m 1 m 2 ( m 1 m 1 + m 2 m 2 ) ] } (9)

Equation (9) is compared to (3). The second expression in the angled bracket is the correction term. Its dimension is L−1 as is the dimension of the expression in the curly bracket. The constant C3 is kq2 where the k is the electrostatic coupling constant and q is the charge of the dipole making the dimension (9) energy as expected.

To illustrate the impact of the correction term we consider two instances. Figure 2(a) and Figure 2(b) depict the cases of interest.

The values of the moments may be chosen selectively, for the sake of simplicity here we assume m 1 = m 2 = 1 . According to Figure 2(a) and Figure 2(b), (9) without and with correction terms (3) yields, respectfully.

U ~ { 1 x 3 , 1 x 3 + 3 4 1 x 5 } (10)

U ~ { 1 y 3 , 1 y 3 9 4 1 y 5 } (11)

In (10) and (11), x and y are the horizontal and vertical distances between the centers of dipoles.

Figure 2. Two parallel electric dipoles are shown. (a) Both dipoles are perpendicular to the vector r 12 separating the dipoles. (b) Dipoles are aligned with the separating vector r 12 .

Figure 3. The left panel is associated with Figure 2(a), the right panel is with Figure 2(b).

In Figure 3, the blue curves are the uncorrected expressions in (10) and (11). The red curves are the corrected expressions. It is notice-able the correction terms have no neglect-able impacts. For the case shown in Figure 2(a), the impact is large, while for Figure 2(b) it is not severe.

We shown two instances to highlight the impact of the corrections. There are other cases correlated with Figure 2, such as antiparallel-oriented dipoles. These and other cases are left to the interested reader to explore.

3. Conclusion

Dipole-dipole interaction conducive to either mutual paired forces or energy redundantly is utilized in various areas of physics. Derivation of these quantities exclusively is based on vector calculation. An attempt was made in the referenced article to derive the same expressions applying algebra, specifically Taylor expansion that bypasses the latter. Although it is shown the goal is “achievable”, but the calculation falls short by limiting the number of the expansion terms. In our investigation explicitly we have shown higher-order terms beyond the second order ought to be considered. This stresses that although the algebraic approach is novel, it must be done with much care.

Acknowledgements

The author acknowledges the John T. and Page S. Smith Professorship funds for completing and publishing this work.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Parker, G.W. (1985) Derivation of the Electric Dipole-Dipole Interaction as an Electric Hyperfine Interaction. American Journal of Physics, 54, 715-717.
https://doi.org/10.1088/0031-9120/45/4/003
[2] Kocback, L. and Lubbad, S. (2009) Geometrical Simplification of the Dipole-Dipole Interaction Formula. Physics Education, 45, 345-351.
https://doi.org/10.1088/0031-9120/45/4/003
[3] Low, F. (1997) Classic Field Theory. John Wiley, New York.
[4] Mathematica Version 12.3.
http://Wolfram.com

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.