Harmonic tensors explained

In this article spherical functions are replaced by polynomials that have been well known in electrostatics since the time of Maxwell and associated with multipole moments.[1] [2] [3] [4] [5] [6] [7] [8] In physics, dipole and quadrupole moments typically appear because fundamental concepts of physics are associated precisely with them.[9] [10] Dipole and quadrupole moments are:

\intxi\rho(x)dV

,

\int(3xixk-\deltaik)\rho(x)dV

,where

\rho(x)

is density of charges (or other quantity).

Octupole moment

\int3(5xixkxl-xl\deltaik-xk\deltail-xi\deltalk)\rho(x)dV

is used rather seldom. As a rule, high-rank moments are calculated with the help of spherical functions.Spherical functions are convenient in scattering problems. Polynomials are preferable in calculations with differential operators. Here, properties of tensors, including high-rank moments as well, are considered to repeat basically features of solid spherical functions but having their own specifics.

Using of invariant polynomial tensors in Cartesian coordinates, as shown in a number of recent studies, is preferable and simplifies the fundamental scheme of calculations[11] [12] [13] .[14] The spherical coordinates are not involved here. The rules for using harmonic symmetric tensors are demonstrated that directly follow from their properties. These rules arenaturally reflected in the theory of special functions, but are not always obvious, even though the group properties are general.[15] At any rate, let us recall the main property of harmonic tensors: the trace over any pair of indices vanishes.[16] Here, those properties of tensors are selected that not only make analytic calculations more compact and reduce 'the number of factorials' but also allow correctly formulating some fundamental questions of the theoretical physics.[14]

General properties

Four properties of symmetric tensor

Mi...k

lead to the use of it in physics.

A. Tensor is homogeneous polynomial:

Mi...k

lM
(kx)=k
i...k

(x)

,where

l

is the number of indices, i.e., tensor rank;

B. Tensor is symmetric with respect to indices;

C. Tensor is harmonic, i.e., it is a solution of the Laplace equation:

\DeltaMi...k(x)=0

D. Trace over any two indices vanishes:

Mii[...](x)=0

,where symbol

[...]

denotes remaining

(l-2)

indices after equating

i=i

.

Components of tensor are solid spherical functions. Tensor can be divided by factor

rl

to acquire components in the form of spherical functions.

Multipole tensors in electrostatics

The multipole potentials arise when the potential of a point charge is expanded in powers of coordinates

xoi

of the radius vector

ro

('Maxwell poles'). For potential
1
\left|r-ro\right|
,there is well known formula:
1
\left|r-ro\right|
l(r0\nabla)l
l!
= \sum
l(-1)
1
r
= \sum
lx0i...x0k
l!r
(l)
M
i...k

(r)=

\sum
l
l
r
0
(l)
M
[i]
l!r2l+1

,where the following notation is used. For the

l

th tensor power of the radius vector

x0i...x0k

l
=r
0

,and for a symmetric harmonic tensor of rank

l

,
(l)
M
i...k

(r)=

(l)
M
[i]

(r)

.The tensor is a homogeneous harmonic polynomial with described the general properties. Contraction over any two indices (when the two gradients become the

\Delta

operator) is null. If tensor is divided by

r2l+1

, then a multipole harmonic tensor arises
(l)
M(r)
i...k
=
r2l+1
(l)
M
[i]
(r)
r2l+1
,which is also a homogeneous harmonic function with homogeneity degree

-(l+1)

.

From the formula for potential follows that

(l+1)
M(r)
im...k
r2l+3

=-\nablai

M(l)m...k(r)
r2l+1

,which allows to construct a ladder operator.

Theorem on power-law equivalent moments in electrostatics

There is an obvious property of contraction

(2l-1)!!(

l
r
0
(l)
,M
[i]

(r))= (

(l)
M
[i]

(r0),

(l)
M
[i]

(r))

,that give rise to a theorem simplifying essentially the calculation of moments in theoretical physics.

TheoremLet

\rho(x)

be a distribution of charge. When calculating a multipole potential,power-law moments can be used instead of harmonic tensors (or instead of spherical functions):

(\int\rho(r0)

l
r
0
dV,
r0
(l)
M(r)
[i]
l!r

)= (\int\rho(r0

(l)
)M
[i]

(r0)dV

,
r0
(l)
M
[i]
(r)
(2l-1)!!l!r2l+1

)

.

It is an advantage in comparing with using of spherical functions.

Example 1.

For the quadrupole moment, instead of the integral

\int\rho(r)(3xi

2
x
k-r

\deltaik)dV

,one can use 'short' integral

3\int\rho(r)xixkdV

.Moments are different but potentials are equal each other.

Formula for a harmonic tensor

Formula for the tensor was considered in using a ladder operator.It can be derived using the Laplace operator. Similar approach is known in the theory of special functions. The first term in the formula, as is easyto see from expansion of a point charge potential, is equal to

(l)
M
[i]

(r)=

(2l-1)!!x
i1
...x
il

+...=(2l-1)!!r+...

.The remaining terms can be obtained by repeatedly applying the Laplace operator andmultiplying by an even power of the modulus

r

. The coefficients are easy to determine by substituting expansion in the Laplace equation . As a result, formula is following:

.

This form is useful for applying differential operators of quantum mechanics and electrostatics to it. The differentiation generates product of the Kronecker symbols.

Example 2

\Deltaxixk=2\deltaik

,

\Deltaxixkxm=2(\deltaikxm+\deltakmxi+\deltaimxk)

,

\Delta\Deltaxixkxmxn=8(\deltaik\deltamn+\deltakm\deltain+\deltaim\deltakn)

.The last quality can be verified using the contraction with

i=k

. It is convenientto write the differentiation formula in terms of the symmetrization operation. A symbol for it was proposed in, with the help of sum taken over all independentpermutations of indices:
\Deltakr
k!2k

=\left\langle\left\langle

(l-2k)
\delta
[..]

r\right\rangle\right\rangle

.As a result, the following formula is obtained:

,where the symbol

k

is used for a tensor power of the Kronecker symbol

\deltaim

and conventional symbol [..] is used for the two subscripts that are being changed under symmetrization.

Following one can find the relation between the tensor and solid spherical functions. Two unit vectors are needed: vector

nz

directed along the

z

-axis and complex vector

nx\pminy=n\pm

.Contraction with their powers gives the required relation
(l)
(M
[i]
(l-m)
(r),n
z
m
n
\pm

)=(l-m)!(x+iy)mr(l-m)

dm
dtm

Pl(t)

\mid
t=z
r

,

where

Pl(t)

is a Legendre polynomial .

Special contractions

In perturbation theory, it is necessary to expand the source in terms of spherical functions. If the source is a polynomial, for example, when calculating the Stark effect, then the integrals are standard, but cumbersome. When calculating with the help of invariant tensors, the expansion coefficients are simplified, and there is then no need to integrals. It suffices, as shown in, to calculate contractions that lower the rank of the tensors under consideration. Instead of integrals, the operation of calculating the trace

\hat{T}r

of a tensor over two indices is used. The following rank reduction formula is useful:

\hat{T}r\left\langle\left\langle\deltaik

(l)
M
ik[m]

\right\rangle\right\rangle=

(l-2)
(2l+3)M
[m]

,where symbol [m] denotes all left (l-2) indices.

If the brackets contain several factors with the Kronecker delta, the following relation formula holds:

\hat{T}r\left\langle\left\langle

\delta
i1p1
...\delta
ikpk
(l)
M
i1p1[m]

\right\rangle\right\rangle=(2l+2k+1)\left\langle\left\langle

\delta
i2p2
...\delta
ikpk
(l-2)
M
[m]

\right\rangle\right\rangle

.

Calculating the trace reduces the number of the Kronecker symbols by one, and the rank of the harmonic tensor on the right-hand side of the equation decreases by two. Repeating the calculation of the trace k times eliminates all the Kronecker symbols:

\hat{T}r1...\hat{T}rk\left\langle\left\langle

\delta
i1p1
...\delta
ikpk
(l)
M
[m]

\right\rangle\right\rangle=(2l+2k+1)!!\left\langle\left\langle

(l-2k)
M
[m]

\right\rangle\right\rangle

.

Harmonic 4D tensors

The Laplace equation in four-dimensional 4D space has its own specifics. The potential of a point charge in 4D space is equal to

1
r2

.[17] From the expansion of the point-charge potential
1
{(r-r0)

2}

with respect to powers
n
r
0

the multipole 4D potential arises:
ak{M
(n)

i...k}{r}={(-1)}n\nablai...\nabla

k1
r2

.The harmonic tensor in the numinator has a structure similar to 3D harmonic tensor. Its contraction with respect to any two indices must vanish. The dipole and quadruple 4-D tensors, as follows from here, are expressed as
(1)
ak{M}
i

(r)=2xi

,
(2)
ak{M}
ik

(r)=2(4xixk-\delta)

,The leading term of the expansion, as can be seen, is equal to
(n)
ak{M}
[i]

(r)

=(2n)!!x
i1
...x
in

-...=(2n)!!r-...

The method described for 3D tensor, gives relations,

.Four-dimensional tensors are structurally simpler than 3D tensors.

Decomposition of polynomials in terms of harmonic functions

Applying the contraction rules allows decomposing the tensor with respect to the harmonic ones.In the perturbation theory, even the third approximation often considered good. Here, the decomposition of the tensor power up to the rank l=6 is presented:

\bulletl=2

,

   3xix

(2)
ik

+

2\delta
r
ik

,

\bulletl=3

,

   5!!xixkx

(3)
ikm

+

2\left\langle\left\langle\delta
3r
ik

xm\right\rangle\right\rangle

,

\bulletl=4

,

   7!!xixkxlx

(4)
iklm

+5r2\left\langle\left\langleM

(2)
ik

\deltalm\right\rangle\right\rangle

4\left\langle\left\langle\delta
+ 7r
ik

\deltalm\right\rangle\right\rangle

,

\bulletl=5

,

   9!!xixkxlxmx

(5)
iklmn

+7r2\left\langle\left\langleM

(3)
ikl

\deltamn\right\rangle\right\rangle+

4\left\langle\left\langle\delta
27r
ik

\deltalmxn\right\rangle\right\rangle

,

\bulletl=6

,

   11!!xixkxlxmxnxp=

:
(6)
         =M
iklmnp

+9r2\left\langle\left\langleM

(4)
iklm

\deltanp\right\rangle\right\rangle+ 55r4\left\langle\left\langleM

(2)
ik

\deltalm\deltanp\right\rangle\right\rangle+

6\left\langle\left\langle\delta
99r
ik

\deltalm\deltanp\right\rangle\right\rangle

.To derive the formulas, it is useful to calculate the contraction with respect two indices, i.e., the trace. The formula for

l=6

then implies the formula for

l=4

. Applying the trace, there is convenient to use rules of previous section. Particular, the last term of the relations for even values of

l

has the form
2l-1)!!
(l+1)!!

.Also useful is the frequently occurring contraction over all indices,
(l)
(M
[i]
(l)
,M
[i]

)=

(l)
(M
i...k

(x

(l)
),M
i...k

(x))=

(2l)!
2l

r

which arises when normalizing the states.

Decomposition of polynomials in 4D space

The decomposition of tensor powers of a vector is also compact in four dimensions:

\bulletn=2

,

   4!!xix

(2)
ik

+

2\delta
2r
ik

,

\bulletn=3

,

   6!!xixkxm=ak{M

(3)
}
ikm

+

2\left\langle\left\langle\delta
8r
ik

xm\right\rangle\right\rangle

,

\bulletn=4

,

   8!!xixkxlx

(4)
iklm

+6r2\left\langle\left\langleak{M}

(2)
ik

\deltalm\right\rangle\right\rangle

4\left\langle\left\langle\delta
+ 16r
ik

\deltalm\right\rangle\right\rangle

,

\bulletn=5

,

   10!!xixkxlxmx

(5)
iklmn

+8r2\left\langle\left\langleak{M}

(3)
ikl

\deltamn\right\rangle\right\rangle+

4\left\langle\left\langle\delta
80r
ik

\deltalmxn\right\rangle\right\rangle

,

\bulletn=6

,

   12!!xixkxlxmxnxp=

:
(6)
         =ak{M}
iklmnp

+10r2\left\langle\left\langleak{M}

(4)
iklm

\deltanp\right\rangle\right\rangle+ 72r4\left\langle\left\langleak{M}

(2)
ik

\deltalm\deltanp\right\rangle\right\rangle+

6\left\langle\left\langle\delta
240r
ik

\deltalm\deltanp\right\rangle\right\rangle

.

When using the tensor notation with indices suppressed, the last equality becomes

\bulletn=6

,

   12!!x(6

(6)
=ak{M}
[i]

+10r2\left\langle\left\langleakak{M}

(4)
[i]

\delta[..]\right\rangle\right\rangle+ 72r4\left\langle\left\langleak{M}

(2)
[i]
⊗ 2
\delta
[..]

\right\rangle\right\rangle+

⊗ 3
240r
[..]

\right\rangle\right\rangle

.Decomposition of higher powers is not more difficult using contractions over two indices.

Ladder operator

Ladder operators are useful for representing eigen functions in a compact form.[18] [19] They are a basis for constructing coherent states [20] .[21] Operators considered here, in mani respects close to the 'creation' and 'annihilation' operators of an oscillator.

Efimov's operator

\hatD

that increases the value of rank by one was introduced in . It can be obtained from expansion of point-charge potential:
\nabla
i
(l)
M(r)
k...m
r

=-

(l+1)
M(r)
ik...m
r
.Straightforward differentiation on the left-hand side of the equation yields a vector operator acting on a harmonic tensor:

\hatDi

(l)
M
k...m
(l+1)
(r)=M
ik...m

(r)

, where operator

\hatl=(r\nabla)

multiplies homogeneous polynomial by degree of homogeneity

l

.In particular,

\hatDixk=3xix

2\delta{ik}
k-r
,

\hatDi\hatDk\hatDm1=3[5xixkx

2(\delta
ik

xm+\deltakmxi+\deltaimxk)]

.

As a result of an

l

- fold application to unity, the harmonic tensor arises:

\hatDi\hatDk...\hatDm1=M(l)ik...m

l
=D
[i]
(l)
= M
[i]

,written here in different forms.

\hatL

(\hbar=1)

is as follows:

\hat{D}=\hat{l}r+i[r x \hat{L}]

.Some useful properties of the operator in vector form given below. Scalar product

\hatDi\hat

2
D
i=r

\Delta

yields a vanishing trace over any two indices. The scalar product of vectors

\hatD

and

x

is

x\hatD=r2(\hatl+1)

,

\hatDx=r2\hatl

,and, hence, the contraction of the tensor with the vector

x

can be expressed as
(l)
x
ik...m

=2lr2

(l-1)
M
k...m

,where

l

is a number.

The commutator in the scalar product on the sphere is equal to unity:

xD-Dx=r2

.To calculate the divergence of a tensor, a useful formula is

\nabla\hatD=(\hatl+1)(2\hatl+3)

,whence

\nablai\hat

(l)
M
ik...m

=l(2l+1

(l-1)
)M
(k...m)

(

l

on the right-hand side is a number).

Four-dimensional ladder operator

The raising operator in 4D space

\hatak{D}i

(n)
ak{M}
k...m

(r,\tau)=

(n+1)
ak{M}
ik...m

(r,\tau)

(n+1)
=ak{M}
ik...m

(y)

has largely similar properties. The main formula for it is

where

yi

is a 4D vector,

i=1,2,3,4

,

y=(r,\tau),\left|y\right|2=\rho

2
y

=r2+\tau2

,and the

\hatn

operator multiplies a homogeneous polynomial by its degree. Separating the

\tau

variable is convenient for physical problems:

\hatn=(r\nablar+\tau

\partial
\partial\tau

)=y\nablay

.

In particular,

\hatak{D}i1=2yi,\hatak{D}iyk=2(4yiyk

2
-\rho
y

\delta)

,

\hatak{D}i\hatak{D}k\hatak{D}m=4!![6xixkx

2
y

(\deltaikxm+\deltakmxi+\deltaimxk)]

.

The scalar product of the ladder operator

\hatak{D}

and

y

is as simple as in 3D space:

y\hatak{D}=\hatny

2
\rho
y

,\hat

2
ak{D}y=(\hatn-2)\rho
y

.The scalar product of

\hatak{D}

and

\nabla

is

\nabla\hatak{D}=2(\hatn+2)2

.The ladder operator is now associated with the angular momentum operator and additional operator of rotations in 4D space

\hatA

. They perform Lie algebra as the angular momentum and the Laplace-Runge-Lenz operators.Operator

\hatA

has the simple form

\hatA=i(\tau\nablar-r

\partial
\partial\tau

)

.

Separately for the 3D

r

-component and the forth coordinate

\tau

of the raising operator, formulas are

\hatakDr=(\hatn+1)r+i[r x \hatL]+i\tau\hatA

,

\hatakD\tau=(\hatn+1)\tau+i(r\hatA)

.

See also

References

External links

Notes and References

  1. Book: Maxwell . J. C. . A Treatise on Electricity and Magnetism, Vol.2 . 1892 . Oxford: Clarendon.
  2. Poisson . S. D. . Memoir . L'Acad. Sci. Paris . 1821–1822 . 5 . 247.
  3. Book: Whittaker . E. T. . History of the Theories of Aether and Electricity, Vol.1, The Classical Theories . 1951 . London: T. Nelson.
  4. Book: Stratton . J. A. . Electromagnetic Theory . 1941 . New York: McGraw-Hill Book Co.
  5. Book: Hobson . E. W. . The theory of Spherical and Ellipsoidal Harmonics . 1931 . The Univ. Press, CUP Archive . Cambridge . Ch.4.
  6. Book: Rose . M. E. . Multipole Fields . 1955 . Wiley . New York.
  7. Book: Raab . R. E. . de Lange . O. L. . Multipole Theory in Electromagnetism: Classical, Quantum, and Symmetry Aspects with Applications . 2004 . Clarendon Press . OUP Oxford. 0-19-152-4301.
  8. Book: Jackson . John David . Classical Electrodynamics . 1999 . Wiley . New York . 0-471-30932-X.
  9. Book: Landau . L. D. . Lifshitz . E. M. . The classical theory of fields . 2013 . Elsevier . Oxford . 978-1483293288.
  10. Book: Tamm . I. E. . Fundamentals of Electricity Theory . 1989 . Mir . Moscow.
  11. Efimov . S. P. . Transition operator between multipole states and their tensor structure . Theor. Math. Phys. . 1979 . 39 . 2 . 425–434 . 10.1007/BF01014921 . 1979TMP....39..425E . 120022530 .
  12. Book: Muratov . R. Z. . Multipoles and Ellipsoid Fields . 2015 . Izd. Dom MISIS . Moscow . 978-5-600-01057-4.
  13. Efimov . S. P. . Muratov . R. Z. . Theory of Multipole Representation of Potentials of ellipsoid. Tensor Potentials of ellipsoid . Sov. Astron. . 1990 . 34 . 2 . 302.
  14. Efimov . S. P. . Coordinate Space Modification of Fock's Theory . Physics-Uspekhi . 2021 . 65 . 9 . 1019 . 10.3367/UFNr.2021.04.038966.
  15. Book: Vilenkin . N. Ia. . Special Functions and the Theory of Group Representations . 1978 . American Mathematical Soc. . 0821886525.
  16. Book: Zelobenko . D. P. . Compact Lie Group and Their Representations. Translations of mathematical monographs . 1973 . American Mathematical Soc. . Providence . 0821886649.
  17. Bander . M. . Itzykson . C. . Group theory and the hydrogen atom . Rev. Mod. Phys. . 1966 . 38 . 2 . 330. 10.1103/RevModPhys.38.330 . 1966RvMP...38..330B .
  18. Book: Landau . L. D. . Lifshitz . E.M. . Quantum Mechanics: Non-Reativictic Theory . 2013 . Elsevier . 978-1483149127 . 688.
  19. Book: Ballentine . Leslie E. . Quantum Mechanics: A Modern Development . 2014 . World Scientific Publishing Company . 978-9814578608 . 740.
  20. Glauber . R. J. . The quantum theory of optical coherence . Phys. Rev. . 1963 . 130. 6 . 2529 . 10.1103/PhysRev.130.2529. 1963PhRv..130.2529G . free .
  21. Book: Perelomov . A. . Generalized Coherent States and Their Applications . 1986 . Springer-Verlag . Berlin . 9783540159124.