[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/en\/wiki12\/solid-harmonics-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/en\/wiki12\/solid-harmonics-wikipedia\/","headline":"Solid harmonics – Wikipedia","name":"Solid harmonics – Wikipedia","description":"before-content-x4 In physics and mathematics, the solid harmonics are solutions of the Laplace equation in spherical polar coordinates, assumed to","datePublished":"2017-09-15","dateModified":"2017-09-15","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/en\/wiki12\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/en\/wiki12\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/e597b7979d7ead1d106129a8396697e6b9125dcb","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/e597b7979d7ead1d106129a8396697e6b9125dcb","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/en\/wiki12\/solid-harmonics-wikipedia\/","about":["Wiki"],"wordCount":23387,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4In physics and mathematics, the solid harmonics are solutions of the Laplace equation in spherical polar coordinates, assumed to be (smooth) functions R3\u2192C{displaystyle mathbb {R} ^{3}to mathbb {C} }       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4. There are two kinds: the regular solid harmonics R\u2113m(r){displaystyle R_{ell }^{m}(mathbf {r} )}, which are well-defined at the origin and the irregular solid harmonics I\u2113m(r){displaystyle I_{ell }^{m}(mathbf {r} )}, which are singular at the origin. Both sets of functions play an important role in potential theory, and are obtained by rescaling spherical harmonics appropriately:       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4R\u2113m(r)\u22614\u03c02\u2113+1r\u2113Y\u2113m(\u03b8,\u03c6){displaystyle R_{ell }^{m}(mathbf {r} )equiv {sqrt {frac {4pi }{2ell +1}}};r^{ell }Y_{ell }^{m}(theta ,varphi )}I\u2113m(r)\u22614\u03c02\u2113+1Y\u2113m(\u03b8,\u03c6)r\u2113+1{displaystyle I_{ell }^{m}(mathbf {r} )equiv {sqrt {frac {4pi }{2ell +1}}};{frac {Y_{ell }^{m}(theta ,varphi )}{r^{ell +1}}}}Table of ContentsDerivation, relation to spherical harmonics[edit]Racah’s normalization[edit]Addition theorems[edit]Complex form[edit]Real form[edit]Linear combination[edit]z-dependent part[edit](x,y)-dependent part[edit]In total[edit]List of lowest functions[edit]References[edit]Derivation, relation to spherical harmonics[edit]Introducing r, \u03b8, and \u03c6 for the spherical polar coordinates of the 3-vector r, and assuming that \u03a6{displaystyle Phi } is a (smooth) function        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4R3\u2192C{displaystyle mathbb {R} ^{3}to mathbb {C} }, we can write the Laplace equation in the following form\u22072\u03a6(r)=(1r\u22022\u2202r2r\u2212l^2r2)\u03a6(r)=0,r\u22600,{displaystyle nabla ^{2}Phi (mathbf {r} )=left({frac {1}{r}}{frac {partial ^{2}}{partial r^{2}}}r-{frac {{hat {l}}^{2}}{r^{2}}}right)Phi (mathbf {r} )=0,qquad mathbf {r} neq mathbf {0} ,}where l2 is the square of the nondimensional angular momentum operator,l^=\u2212i(r\u00d7\u2207).{displaystyle mathbf {hat {l}} =-i,(mathbf {r} times mathbf {nabla } ).}It is known that spherical harmonics Ym\u2113 are eigenfunctions of l2:l^2Y\u2113m\u2261[l^x2+l^y2+l^z2]Y\u2113m=\u2113(\u2113+1)Y\u2113m.{displaystyle {hat {l}}^{2}Y_{ell }^{m}equiv left[{{hat {l}}_{x}}^{2}+{hat {l}}_{y}^{2}+{hat {l}}_{z}^{2}right]Y_{ell }^{m}=ell (ell +1)Y_{ell }^{m}.}Substitution of \u03a6(r) = F(r) Ym\u2113 into the Laplace equation gives, after dividing out the spherical harmonic function, the following  radial equation and its general solution,1r\u22022\u2202r2rF(r)=\u2113(\u2113+1)r2F(r)\u27f9F(r)=Ar\u2113+Br\u2212\u2113\u22121.{displaystyle {frac {1}{r}}{frac {partial ^{2}}{partial r^{2}}}rF(r)={frac {ell (ell +1)}{r^{2}}}F(r)Longrightarrow F(r)=Ar^{ell }+Br^{-ell -1}.}The particular solutions of the total Laplace equation are regular solid harmonics:R\u2113m(r)\u22614\u03c02\u2113+1r\u2113Y\u2113m(\u03b8,\u03c6),{displaystyle R_{ell }^{m}(mathbf {r} )equiv {sqrt {frac {4pi }{2ell +1}}};r^{ell }Y_{ell }^{m}(theta ,varphi ),}and  irregular solid harmonics:I\u2113m(r)\u22614\u03c02\u2113+1Y\u2113m(\u03b8,\u03c6)r\u2113+1.{displaystyle I_{ell }^{m}(mathbf {r} )equiv {sqrt {frac {4pi }{2ell +1}}};{frac {Y_{ell }^{m}(theta ,varphi )}{r^{ell +1}}}.}The regular solid harmonics correspond to harmonic homogeneous polynomials, i.e. homogeneous polynomials which are solutions to Laplace’s equation.Racah’s normalization[edit]Racah’s normalization (also known as Schmidt’s semi-normalization) is applied to both functions\u222b0\u03c0sin\u2061\u03b8d\u03b8\u222b02\u03c0d\u03c6R\u2113m(r)\u2217R\u2113m(r)=4\u03c02\u2113+1r2\u2113{displaystyle int _{0}^{pi }sin theta ,dtheta int _{0}^{2pi }dvarphi ;R_{ell }^{m}(mathbf {r} )^{*};R_{ell }^{m}(mathbf {r} )={frac {4pi }{2ell +1}}r^{2ell }}(and analogously for the irregular solid harmonic) instead of normalization to unity. This is convenient because in many applications the Racah normalization factor appears unchanged throughout the derivations.Addition theorems[edit]The translation of the regular solid harmonic gives a finite expansion,R\u2113m(r+a)=\u2211\u03bb=0\u2113(2\u21132\u03bb)1\/2\u2211\u03bc=\u2212\u03bb\u03bbR\u03bb\u03bc(r)R\u2113\u2212\u03bbm\u2212\u03bc(a)\u27e8\u03bb,\u03bc;\u2113\u2212\u03bb,m\u2212\u03bc|\u2113m\u27e9,{displaystyle R_{ell }^{m}(mathbf {r} +mathbf {a} )=sum _{lambda =0}^{ell }{binom {2ell }{2lambda }}^{1\/2}sum _{mu =-lambda }^{lambda }R_{lambda }^{mu }(mathbf {r} )R_{ell -lambda }^{m-mu }(mathbf {a} );langle lambda ,mu ;ell -lambda ,m-mu |ell mrangle ,}where the Clebsch\u2013Gordan coefficient is given by\u27e8\u03bb,\u03bc;\u2113\u2212\u03bb,m\u2212\u03bc|\u2113m\u27e9=(\u2113+m\u03bb+\u03bc)1\/2(\u2113\u2212m\u03bb\u2212\u03bc)1\/2(2\u21132\u03bb)\u22121\/2.{displaystyle langle lambda ,mu ;ell -lambda ,m-mu |ell mrangle ={binom {ell +m}{lambda +mu }}^{1\/2}{binom {ell -m}{lambda -mu }}^{1\/2}{binom {2ell }{2lambda }}^{-1\/2}.}The similar expansion for irregular solid harmonics gives an infinite series,I\u2113m(r+a)=\u2211\u03bb=0\u221e(2\u2113+2\u03bb+12\u03bb)1\/2\u2211\u03bc=\u2212\u03bb\u03bbR\u03bb\u03bc(r)I\u2113+\u03bbm\u2212\u03bc(a)\u27e8\u03bb,\u03bc;\u2113+\u03bb,m\u2212\u03bc|\u2113m\u27e9{displaystyle I_{ell }^{m}(mathbf {r} +mathbf {a} )=sum _{lambda =0}^{infty }{binom {2ell +2lambda +1}{2lambda }}^{1\/2}sum _{mu =-lambda }^{lambda }R_{lambda }^{mu }(mathbf {r} )I_{ell +lambda }^{m-mu }(mathbf {a} );langle lambda ,mu ;ell +lambda ,m-mu |ell mrangle }with |r|\u2264|a|{displaystyle |r|leq |a|,}. The quantity between pointed brackets is again a Clebsch-Gordan coefficient,\u27e8\u03bb,\u03bc;\u2113+\u03bb,m\u2212\u03bc|\u2113m\u27e9=(\u22121)\u03bb+\u03bc(\u2113+\u03bb\u2212m+\u03bc\u03bb+\u03bc)1\/2(\u2113+\u03bb+m\u2212\u03bc\u03bb\u2212\u03bc)1\/2(2\u2113+2\u03bb+12\u03bb)\u22121\/2.{displaystyle langle lambda ,mu ;ell +lambda ,m-mu |ell mrangle =(-1)^{lambda +mu }{binom {ell +lambda -m+mu }{lambda +mu }}^{1\/2}{binom {ell +lambda +m-mu }{lambda -mu }}^{1\/2}{binom {2ell +2lambda +1}{2lambda }}^{-1\/2}.}The addition theorems were proved in different manners by several authors.[1][2]Complex form[edit]The regular solid harmonics are homogeneous, polynomial solutions to the Laplace equation \u0394R=0{displaystyle Delta R=0}. Separating the indeterminate z{displaystyle z} and writing R=\u2211apa(x,y)za{textstyle R=sum _{a}p_{a}(x,y)z^{a}}, the Laplace equation is easily seen to be equivalent to the recursion formulapa+2=\u2212(\u2202x2+\u2202y2)pa(a+2)(a+1){displaystyle p_{a+2}={frac {-left(partial _{x}^{2}+partial _{y}^{2}right)p_{a}}{left(a+2right)left(a+1right)}}}so that any choice of polynomials p0(x,y){displaystyle p_{0}(x,y)} of degree \u2113{displaystyle ell } and p1(x,y){displaystyle p_{1}(x,y)} of degree \u2113\u22121{displaystyle ell -1} gives a solution to the equation. One particular basis of the space of homogeneous polynomials (in two variables) of degree k{displaystyle k} is {(x2+y2)m(x\u00b1iy)k\u22122m\u22230\u2264m\u2264k\/2}{displaystyle left{(x^{2}+y^{2})^{m}(xpm iy)^{k-2m}mid 0leq mleq k\/2right}}. Note that it is the (unique up to normalization) basis of eigenvectors of the rotation group SO(2){displaystyle SO(2)}: The rotation \u03c1\u03b1{displaystyle rho _{alpha }} of the plane by \u03b1\u2208[0,2\u03c0]{displaystyle alpha in [0,2pi ]} acts as multiplication by e\u00b1i(k\u22122m)\u03b1{displaystyle e^{pm i(k-2m)alpha }} on the basis vector (x2+y2)m(x+iy)k\u22122m{displaystyle (x^{2}+y^{2})^{m}(x+iy)^{k-2m}}.If we combine the degree \u2113{displaystyle ell } basis and the degree \u2113\u22121{displaystyle ell -1} basis with the recursion formula, we obtain a basis of the space of harmonic, homogeneous polynomials (in three variables this time) of degree \u2113{displaystyle ell } consisting of eigenvectors for SO(2){displaystyle SO(2)} (note that the recursion formula is compatible with the SO(2){displaystyle SO(2)}-action because the Laplace operator is rotationally invariant). These are the complex solid harmonics:R\u2113\u00b1\u2113=(x\u00b1iy)\u2113z0R\u2113\u00b1(\u2113\u22121)=(x\u00b1iy)\u2113\u22121z1R\u2113\u00b1(\u2113\u22122)=(x2+y2)(x\u00b1iy)\u2113\u22122z0+\u2212(\u2202x2+\u2202y2)((x2+y2)(x\u00b1iy)\u2113\u22122)1\u22c52z2R\u2113\u00b1(\u2113\u22123)=(x2+y2)(x\u00b1iy)\u2113\u22123z1+\u2212(\u2202x2+\u2202y2)((x2+y2)(x\u00b1iy)\u2113\u22123)2\u22c53z3R\u2113\u00b1(\u2113\u22124)=(x2+y2)2(x\u00b1iy)\u2113\u22124z0+\u2212(\u2202x2+\u2202y2)((x2+y2)2(x\u00b1iy)\u2113\u22124)1\u22c52z2+(\u2202x2+\u2202y2)2((x2+y2)2(x\u00b1iy)\u2113\u22124)1\u22c52\u22c53\u22c54z4R\u2113\u00b1(\u2113\u22125)=(x2+y2)2(x\u00b1iy)\u2113\u22125z1+\u2212(\u2202x2+\u2202y2)((x2+y2)2(x\u00b1iy)\u2113\u22125)2\u22c53z3+(\u2202x2+\u2202y2)2((x2+y2)2(x\u00b1iy)\u2113\u22125)2\u22c53\u22c54\u22c55z5\u22ee{displaystyle {begin{aligned}R_{ell }^{pm ell }&=(xpm iy)^{ell }z^{0}\\R_{ell }^{pm (ell -1)}&=(xpm iy)^{ell -1}z^{1}\\R_{ell }^{pm (ell -2)}&=(x^{2}+y^{2})(xpm iy)^{ell -2}z^{0}+{frac {-(partial _{x}^{2}+partial _{y}^{2})left((x^{2}+y^{2})(xpm iy)^{ell -2}right)}{1cdot 2}}z^{2}\\R_{ell }^{pm (ell -3)}&=(x^{2}+y^{2})(xpm iy)^{ell -3}z^{1}+{frac {-(partial _{x}^{2}+partial _{y}^{2})left((x^{2}+y^{2})(xpm iy)^{ell -3}right)}{2cdot 3}}z^{3}\\R_{ell }^{pm (ell -4)}&=(x^{2}+y^{2})^{2}(xpm iy)^{ell -4}z^{0}+{frac {-(partial _{x}^{2}+partial _{y}^{2})left((x^{2}+y^{2})^{2}(xpm iy)^{ell -4}right)}{1cdot 2}}z^{2}+{frac {(partial _{x}^{2}+partial _{y}^{2})^{2}left((x^{2}+y^{2})^{2}(xpm iy)^{ell -4}right)}{1cdot 2cdot 3cdot 4}}z^{4}\\R_{ell }^{pm (ell -5)}&=(x^{2}+y^{2})^{2}(xpm iy)^{ell -5}z^{1}+{frac {-(partial _{x}^{2}+partial _{y}^{2})left((x^{2}+y^{2})^{2}(xpm iy)^{ell -5}right)}{2cdot 3}}z^{3}+{frac {(partial _{x}^{2}+partial _{y}^{2})^{2}left((x^{2}+y^{2})^{2}(xpm iy)^{ell -5}right)}{2cdot 3cdot 4cdot 5}}z^{5}\\&;,vdots end{aligned}}}and in generalR\u2113\u00b1m={\u2211k(\u2202x2+\u2202y2)k((x2+y2)(\u2113\u2212m)\/2(x\u00b1iy)m)(\u22121)kz2k(2k)!\u2113\u2212m\u00a0is even\u2211k(\u2202x2+\u2202y2)k((x2+y2)(\u2113\u22121\u2212m)\/2(x\u00b1iy)m)(\u22121)kz2k+1(2k+1)!\u2113\u2212m\u00a0is odd{displaystyle R_{ell }^{pm m}={begin{cases}sum _{k}(partial _{x}^{2}+partial _{y}^{2})^{k}left((x^{2}+y^{2})^{(ell -m)\/2}(xpm iy)^{m}right){frac {(-1)^{k}z^{2k}}{(2k)!}}&ell -m{text{ is even}}\\sum _{k}(partial _{x}^{2}+partial _{y}^{2})^{k}left((x^{2}+y^{2})^{(ell -1-m)\/2}(xpm iy)^{m}right){frac {(-1)^{k}z^{2k+1}}{(2k+1)!}}&ell -m{text{ is odd}}end{cases}}}for 0\u2264m\u2264\u2113{displaystyle 0leq mleq ell }.Plugging in spherical coordinates x=rcos\u2061(\u03b8)sin\u2061(\u03c6){displaystyle x=rcos(theta )sin(varphi )}, y=rsin\u2061(\u03b8)sin\u2061(\u03c6){displaystyle y=rsin(theta )sin(varphi )}, z=rcos\u2061(\u03c6){displaystyle z=rcos(varphi )} and using x2+y2=r2sin\u2061(\u03c6)2=r2(1\u2212cos\u2061(\u03c6)2){displaystyle x^{2}+y^{2}=r^{2}sin(varphi )^{2}=r^{2}(1-cos(varphi )^{2})} one finds the usual relationship to spherical harmonics R\u2113m=r\u2113eim\u03d5P\u2113m(cos\u2061(\u03d1)){displaystyle R_{ell }^{m}=r^{ell }e^{imphi }P_{ell }^{m}(cos(vartheta ))} with a polynomial P\u2113m{displaystyle P_{ell }^{m}}, which is (up to normalization) the associated Legendre polynomial, and so R\u2113m=r\u2113Y\u2113m(\u03b8,\u03c6){displaystyle R_{ell }^{m}=r^{ell }Y_{ell }^{m}(theta ,varphi )} (again, up to the specific choice of normalization).Real form[edit]By a simple linear combination of solid harmonics of \u00b1m these functions are transformed into real functions, i.e. functions R3\u2192R{displaystyle mathbb {R} ^{3}to mathbb {R} }.  The real regular solid harmonics,  expressed in Cartesian  coordinates, are real-valued homogeneous polynomials of order \u2113{displaystyle ell } in x, y, z. The explicit form of these polynomials is of some importance. They appear, for example, in the form of spherical atomic orbitals and real multipole moments. The explicit Cartesian expression of the real regular harmonics will now be derived.Linear combination[edit]We write in agreement with the earlier definitionR\u2113m(r,\u03b8,\u03c6)=(\u22121)(m+|m|)\/2r\u2113\u0398\u2113|m|(cos\u2061\u03b8)eim\u03c6,\u2212\u2113\u2264m\u2264\u2113,{displaystyle R_{ell }^{m}(r,theta ,varphi )=(-1)^{(m+|m|)\/2};r^{ell };Theta _{ell }^{|m|}(cos theta )e^{imvarphi },qquad -ell leq mleq ell ,}with\u0398\u2113m(cos\u2061\u03b8)\u2261[(\u2113\u2212m)!(\u2113+m)!]1\/2sinm\u2061\u03b8dmP\u2113(cos\u2061\u03b8)dcosm\u2061\u03b8,m\u22650,{displaystyle Theta _{ell }^{m}(cos theta )equiv left[{frac {(ell -m)!}{(ell +m)!}}right]^{1\/2},sin ^{m}theta ,{frac {d^{m}P_{ell }(cos theta )}{dcos ^{m}theta }},qquad mgeq 0,}where P\u2113(cos\u2061\u03b8){displaystyle P_{ell }(cos theta )} is a Legendre polynomial of order \u2113.The m dependent phase is known as the Condon\u2013Shortley phase.The following expression defines the real regular solid harmonics:"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki12\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki12\/solid-harmonics-wikipedia\/#breadcrumbitem","name":"Solid harmonics – Wikipedia"}}]}]