Vector spherical harmonics

From HandWiki
Revision as of 16:54, 6 February 2024 by imported>Rtextdoc (simplify)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Extension of the scalar spherical harmonics for use with vector fields

In mathematics, vector spherical harmonics (VSH) are an extension of the scalar spherical harmonics for use with vector fields. The components of the VSH are complex-valued functions expressed in the spherical coordinate basis vectors.

Definition

Several conventions have been used to define the VSH.[1][2][3][4][5] We follow that of Barrera et al.. Given a scalar spherical harmonic Yℓm(θ, φ), we define three VSH:

  • 𝐘m=Ym𝐫^,
  • Ψm=rYm,
  • Φm=𝐫×Ym,

with 𝐫^ being the unit vector along the radial direction in spherical coordinates and 𝐫 the vector along the radial direction with the same norm as the radius, i.e., 𝐫=r𝐫^. The radial factors are included to guarantee that the dimensions of the VSH are the same as those of the ordinary spherical harmonics and that the VSH do not depend on the radial spherical coordinate.

The interest of these new vector fields is to separate the radial dependence from the angular one when using spherical coordinates, so that a vector field admits a multipole expansion

𝐄==0m=(Emr(r)𝐘m+Em(1)(r)Ψm+Em(2)(r)Φm).

The labels on the components reflect that Emr is the radial component of the vector field, while Em(1) and Em(2) are transverse components (with respect to the radius vector 𝐫).

Main properties

Symmetry

Like the scalar spherical harmonics, the VSH satisfy

𝐘,m=(1)m𝐘m*,Ψ,m=(1)mΨm*,Φ,m=(1)mΦm*,

which cuts the number of independent functions roughly in half. The star indicates complex conjugation.

Orthogonality

The VSH are orthogonal in the usual three-dimensional way at each point 𝐫:

𝐘m(𝐫)Ψm(𝐫)=0,𝐘m(𝐫)Φm(𝐫)=0,Ψm(𝐫)Φm(𝐫)=0.

They are also orthogonal in Hilbert space:

𝐘m𝐘m*dΩ=δδmm,ΨmΨm*dΩ=(+1)δδmm,ΦmΦm*dΩ=(+1)δδmm,𝐘mΨm*dΩ=0,𝐘mΦm*dΩ=0,ΨmΦm*dΩ=0.

An additional result at a single point 𝐫 (not reported in Barrera et al, 1985) is, for all ,m,,m,

𝐘m(𝐫)Ψm(𝐫)=0,𝐘m(𝐫)Φm(𝐫)=0.

Vector multipole moments

The orthogonality relations allow one to compute the spherical multipole moments of a vector field as

Emr=𝐄𝐘m*dΩ,Em(1)=1(+1)𝐄Ψm*dΩ,Em(2)=1(+1)𝐄Φm*dΩ.

The gradient of a scalar field

Given the multipole expansion of a scalar field

ϕ==0m=ϕm(r)Ym(θ,ϕ),

we can express its gradient in terms of the VSH as

ϕ==0m=(dϕmdr𝐘m+ϕmrΨm).

Divergence

For any multipole field we have

(f(r)𝐘m)=(dfdr+2rf)Ym,(f(r)Ψm)=(+1)rfYm,(f(r)Φm)=0.

By superposition we obtain the divergence of any vector field:

𝐄==0m=(dEmrdr+2rEmr(+1)rEm(1))Ym.

We see that the component on Φℓm is always solenoidal.

Curl

For any multipole field we have

×(f(r)𝐘m)=1rfΦm,×(f(r)Ψm)=(dfdr+1rf)Φm,×(f(r)Φm)=(+1)rf𝐘m(dfdr+1rf)Ψm.

By superposition we obtain the curl of any vector field:

×𝐄==0m=((+1)rEm(2)𝐘m(dEm(2)dr+1rEm(2))Ψm+(1rEmr+dEm(1)dr+1rEm(1))Φm).

Laplacian

The action of the Laplace operator Δ= separates as follows:

Δ(f(r)𝐙m)=(1r2rr2fr)𝐙m+f(r)Δ𝐙m, where 𝐙m=𝐘m,Ψm,Φm and

Δ𝐘m=1r2(2+(+1))𝐘m+2r2Ψm,ΔΨm=2r2(+1)𝐘m1r2(+1)Ψm,ΔΦm=1r2(+1)Φm.

Also note that this action becomes symmetric, i.e. the off-diagonal coefficients are equal to 2r2(+1), for properly normalized VSH.

Examples

Ψ1m
Ψ2m
Ψ3m
Φ1m
Φ2m
Φ3m
Visualizations of the real parts of =1,2,3 VSHs. Click to expand.

First vector spherical harmonics

  • =0. 𝐘00=14π𝐫^,Ψ00=𝟎,Φ00=𝟎.
  • =1. 𝐘10=34πcosθ𝐫^,𝐘11=38πeiφsinθ𝐫^, Ψ10=34πsinθθ^,Ψ11=38πeiφ(cosθθ^+iφ^), Φ10=34πsinθφ^,Φ11=38πeiφ(iθ^cosθφ^).
  • =2. 𝐘20=145π(3cos2θ1)𝐫^,𝐘21=158πsinθcosθeiφ𝐫^,𝐘22=14152πsin2θe2iφ𝐫^. Ψ20=325πsinθcosθθ^,Ψ21=158πeiφ(cos2θθ^+icosθφ^),Ψ22=158πsinθe2iφ(cosθθ^+iφ^). Φ20=325πsinθcosθφ^,Φ21=158πeiφ(icosθθ^cos2θφ^),Φ22=158πsinθe2iφ(iθ^+cosθφ^).

Expressions for negative values of m are obtained by applying the symmetry relations.

Applications

Electrodynamics

The VSH are especially useful in the study of multipole radiation fields. For instance, a magnetic multipole is due to an oscillating current with angular frequency ω and complex amplitude

𝐉^=J(r)Φm,

and the corresponding electric and magnetic fields, can be written as

𝐄^=E(r)Φm,𝐁^=Br(r)𝐘m+B(1)(r)Ψm.

Substituting into Maxwell equations, Gauss's law is automatically satisfied

𝐄^=0,

while Faraday's law decouples as

×𝐄^=iω𝐁^{(+1)rE=iωBr,dEdr+Er=iωB(1).

Gauss' law for the magnetic field implies

𝐁^=0dBrdr+2rBr(+1)rB(1)=0,

and Ampère–Maxwell's equation gives

×𝐁^=μ0𝐉^+iμ0ε0ω𝐄^Brr+dB(1)dr+B(1)r=μ0J+iωμ0ε0E.

In this way, the partial differential equations have been transformed into a set of ordinary differential equations.

Alternative definition

Angular part of magnetic and electric vector spherical harmonics. Red and green arrows show the direction of the field. Generating scalar functions are also presented, only the first three orders are shown (dipoles, quadrupoles, octupoles).

In many applications, vector spherical harmonics are defined as fundamental set of the solutions of vector Helmholtz equation in spherical coordinates.[6][7]

In this case, vector spherical harmonics are generated by scalar functions, which are solutions of scalar Helmholtz equation with the wavevector 𝐤. ψemn=cosmφPnm(cosϑ)zn(kr)ψomn=sinmφPnm(cosϑ)zn(kr) here Pnm(cosθ) are the associated Legendre polynomials, and zn(kr) are any of the spherical Bessel functions.

Vector spherical harmonics are defined as:

longitudinal harmonics
𝐋eomn=ψeomn
magnetic harmonics
𝐌eomn=×(𝐫ψeomn)
electric harmonics
𝐍eomn=×𝐌eomnk

Here we use harmonics real-valued angular part, where m0, but complex functions can be introduced in the same way.

Let us introduce the notation ρ=kr. In the component form vector spherical harmonics are written as: 𝐌emn(k,𝐫)=msin(θ)sin(mφ)Pnm(cos(θ))zn(ρ)𝐞θcos(mφ)dPnm(cos(θ))dθzn(ρ)𝐞φ 𝐌omn(k,𝐫)=msin(θ)cos(mφ)Pnm(cos(θ))zn(ρ)𝐞θ

𝐍emn(k,𝐫)=zn(ρ)ρcos(mφ)n(n+1)Pnm(cos(θ))𝐞𝐫+cos(mφ)dPnm(cos(θ))dθ1ρddρ[ρzn(ρ)]𝐞θmsin(mφ)Pnm(cos(θ))sin(θ)1ρddρ[ρzn(ρ)]𝐞φ

𝐍omn(k,𝐫)=zn(ρ)ρsin(mφ)n(n+1)Pnm(cos(θ))𝐞𝐫+sin(mφ)dPnm(cos(θ))dθ1ρddρ[ρzn(ρ)]𝐞θ+mcos(mφ)Pnm(cos(θ))sin(θ)1ρddρ[ρzn(ρ)]𝐞φ There is no radial part for magnetic harmonics. For electric harmonics, the radial part decreases faster than angular, and for big ρ can be neglected. We can also see that for electric and magnetic harmonics angular parts are the same up to permutation of the polar and azimuthal unit vectors, so for big ρ electric and magnetic harmonics vectors are equal in value and perpendicular to each other.

Longitudinal harmonics: 𝐋eomn(k,𝐫)=rzn(kr)Pnm(cosθ)cossinmφ𝐞r+1rzn(kr)θPnm(cosθ)cossinmφ𝐞θmrsinθzn(kr)Pnm(cosθ)sincosmφ𝐞φ

Orthogonality

The solutions of the Helmholtz vector equation obey the following orthogonality relations:[7] 02π0π𝐋eomn𝐋eomnsinϑdϑdφ=(1+δm,0)2π(2n+1)2(n+m)!(nm)!k2{n[zn1(kr)]2+(n+1)[zn+1(kr)]2}02π0π𝐌eomn𝐌eomnsinϑdϑdφ=(1+δm,0)2π2n+1(n+m)!(nm)!n(n+1)[zn(kr)]202π0π𝐍eomn𝐍eomnsinϑdϑdφ=(1+δm,0)2π(2n+1)2(n+m)!(nm)!n(n+1){(n+1)[zn1(kr)]2+n[zn+1(kr)]2}0π02π𝐋eomn𝐍eomnsinϑdϑdφ=(1+δm,0)2π(2n+1)2(n+m)!(nm)!n(n+1)k{[zn1(kr)]2[zn+1(kr)]2}

All other integrals over the angles between different functions or functions with different indices are equal to zero.

Rotation and inversion

Illustration of the transformation of vector spherical harmonics under rotations. One can see that they are transformed in the same way as the corresponding scalar functions.

Under rotation, vector spherical harmonics are transformed through each other in the same way as the corresponding scalar spherical functions, which are generating for a specific type of vector harmonics. For example, if the generating functions are the usual spherical harmonics, then the vector harmonics will also be transformed through the Wigner D-matrices[8][9][10] D^(α,β,γ)𝐘JM(s)(θ,φ)=m=[DMM()(α,β,γ)]*𝐘JM(s)(θ,φ), The behavior under rotations is the same for electrical, magnetic and longitudinal harmonics.

Under inversion, electric and longitudinal spherical harmonics behave in the same way as scalar spherical functions, i.e. I^𝐍JM(θ,φ)=(1)J𝐍JM(θ,φ), and magnetic ones have the opposite parity: I^𝐌JM(θ,φ)=(1)J+1𝐌JM(θ,φ),

Fluid dynamics

In the calculation of the Stokes' law for the drag that a viscous fluid exerts on a small spherical particle, the velocity distribution obeys Navier–Stokes equations neglecting inertia, i.e.,

0=𝐯,𝟎=p+η2𝐯,

with the boundary conditions

𝐯={𝟎r=a,𝐔0r.

where U is the relative velocity of the particle to the fluid far from the particle. In spherical coordinates this velocity at infinity can be written as

𝐔0=U0(cosθ𝐫^sinθθ^)=U0(𝐘10+Ψ10).

The last expression suggests an expansion in spherical harmonics for the liquid velocity and the pressure

p=p(r)Y10,𝐯=vr(r)𝐘10+v(1)(r)Ψ10.

Substitution in the Navier–Stokes equations produces a set of ordinary differential equations for the coefficients.

Integral relations

Here the following definitions are used:

Yemn=cosmφPnm(cosθ)Yomn=sinmφPnm(cosθ)

𝐗eomn(𝐤k)=×(𝐤Yoemn(𝐤k))

𝐙oemn(𝐤k)=i𝐤k×𝐗eomn(𝐤k) In case, when instead of zn are spherical Bessel functions, with help of plane wave expansion one can obtain the following integral relations:[11]

𝐍pmn(1)(k,𝐫)=in4π𝐙pmn(𝐤k)ei𝐤𝐫dΩk

𝐌pmn(1)(k,𝐫)=in4π𝐗pmn(𝐤k)ei𝐤𝐫dΩk

In case, when zn are spherical Hankel functions, one should use the different formulae.[12][11] For vector spherical harmonics the following relations are obtained:

𝐌pmn(3)(k,𝐫)=in2πkdkei(kxx+kyy±kzz)kz𝐗pmn(𝐤k)

𝐍pmn(3)(k,𝐫)=in2πkdkei(kxx+kyy±kzz)kz𝐙pmn(𝐤k) where kz=k2kx2ky2, index (3) means, that spherical Hankel functions are used.

See also

References

  1. Barrera, R G; Estevez, G A; Giraldo, J (1985-10-01). "Vector spherical harmonics and their application to magnetostatics". European Journal of Physics (IOP Publishing) 6 (4): 287–294. doi:10.1088/0143-0807/6/4/014. ISSN 0143-0807. Bibcode1985EJPh....6..287B. 
  2. Carrascal, B; Estevez, G A; Lee, Peilian; Lorenzo, V (1991-07-01). "Vector spherical harmonics and their application to classical electrodynamics". European Journal of Physics (IOP Publishing) 12 (4): 184–191. doi:10.1088/0143-0807/12/4/007. ISSN 0143-0807. Bibcode1991EJPh...12..184C. 
  3. Hill, E. L. (1954). "The Theory of Vector Spherical Harmonics". American Journal of Physics (American Association of Physics Teachers (AAPT)) 22 (4): 211–214. doi:10.1119/1.1933682. ISSN 0002-9505. Bibcode1954AmJPh..22..211H. http://pdfs.semanticscholar.org/e950/1438ddec10ff6baef4614cf3b66f4e27c44b.pdf. 
  4. Weinberg, Erick J. (1994-01-15). "Monopole vector spherical harmonics". Physical Review D (American Physical Society (APS)) 49 (2): 1086–1092. doi:10.1103/physrevd.49.1086. ISSN 0556-2821. PMID 10017069. Bibcode1994PhRvD..49.1086W. 
  5. P.M. Morse and H. Feshbach, Methods of Theoretical Physics, Part II, New York: McGraw-Hill, 1898-1901 (1953)
  6. Bohren, Craig F. and Donald R. Huffman, Absorption and scattering of light by small particles, New York : Wiley, 1998, 530 p., ISBN:0-471-29340-7, ISBN:978-0-471-29340-8 (second edition)
  7. 7.0 7.1 Stratton, J. A. (1941). Electromagnetic Theory. New York: McGraw-Hill. https://archive.org/details/electromagnetict0000stra. 
  8. D. A. Varhalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum [in Russian], Nauka, Leningrad (1975)
  9. H. Zhang, Yi. Han, Addition theorem for the spherical vector wave functions and its application to the beam shape coeffcients. J. Opt. Soc. Am. B, 25(2):255-260, Feb 2008.
  10. S. Stein, Addition theorems for spherical wave functions, Quarterly of Applied Mathematics, 19(1):15-24, 1961.
  11. 11.0 11.1 B. Stout,Spherical harmonic lattice sums for gratings. In: Popov E, editor. Gratings: theory and numeric applications. Institut Fresnel, Universite d'Aix-Marseille 6 (2012).
  12. R. C. Wittmann, Spherical wave operators and the translation formulas, IEEE Transactions on Antennas and Propagation 36, 1078-1087 (1988)