<p>A homogeneous polynomial is called completely reducible over a&#xa0;field <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation> if it can be factored into a&#xa0;product of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation>-linear forms. Set <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {F}=\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">F</mi> <mo>=</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r^{2}=x^{2}+y^{2}+z^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>r</mi> <mn>2</mn> </msup> <mo>=</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mo>+</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo>+</mo> <msup> <mi>z</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {H}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">H</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {D}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> be the families of all harmonic and all completely reducible polynomials in the space <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {P}_{n}(\mathbb {R}^{3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of homogeneous polynomials of degree&#xa0;<i>n</i>, respectively. Then, for every <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(h\in \mathcal {H}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>∈</mo> <msub> <mi mathvariant="script">H</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, there exist the unique <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p\in \mathcal {D}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <msub> <mi mathvariant="script">D</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(q\in \mathcal {P}_{n-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <msub> <mi mathvariant="script">P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(h=p+r^{2}q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>=</mo> <mi>p</mi> <mo>+</mo> <msup> <mi>r</mi> <mn>2</mn> </msup> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation>. Sylvester sketched a&#xa0;proof of this theorem in his note on spherical harmonics as a&#xa0;remark on Maxwell’s pole theory. If <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {F}=\mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">F</mi> <mo>=</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation>, then the same equalities hold for some <i>p</i>,&#xa0;<i>q</i>, but they are usually not unique. For <i>h</i> in general position, there are <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((2n-1)!!\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>!</mo> <mo>!</mo> </mrow> </math></EquationSource> </InlineEquation> such polynomials. Let <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({{\Lambda }}_{h}=(h+r^{2}\mathcal {P}_{n-2})\cap \mathcal {D}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi>h</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>h</mi> <mo>+</mo> <msup> <mi>r</mi> <mn>2</mn> </msup> <msub> <mi mathvariant="script">P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msub> <mi mathvariant="script">D</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(h=\frac{1}{(2n-1)!!}\sum \limits _{p\in {{\Lambda }}_{h}}p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>=</mo> <mfrac> <mn>1</mn> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>!</mo> <mo>!</mo> </mrow> </mfrac> <munder> <mo movablelimits="false">∑</mo> <mrow> <mi>p</mi> <mo>∈</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>h</mi> </msub> </mrow> </munder> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, i.e., <i>h</i> is the center of mass of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\({{\Lambda }}_{h}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Λ</mi> <mi>h</mi> </msub> </math></EquationSource> </InlineEquation>. This implies algebraic quadratic relations between the spherical harmonics.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

MAXWELL’S POLES AND COMPLEX SPHERICAL HARMONICS ON \(\varvec{S^{2}}\)

  • V. M. Gichev

摘要

A homogeneous polynomial is called completely reducible over a field \(\mathbb {F}\) F if it can be factored into a product of \(\mathbb {F}\) F -linear forms. Set \(\mathbb {F}=\mathbb {R}\) F = R , \(r^{2}=x^{2}+y^{2}+z^{2}\) r 2 = x 2 + y 2 + z 2 , and let \(\mathcal {H}_{n}\) H n and \(\mathcal {D}_{n}\) D n be the families of all harmonic and all completely reducible polynomials in the space \(\mathcal {P}_{n}(\mathbb {R}^{3})\) P n ( R 3 ) of homogeneous polynomials of degree n, respectively. Then, for every \(h\in \mathcal {H}_{n}\) h H n , there exist the unique \(p\in \mathcal {D}_{n}\) p D n and \(q\in \mathcal {P}_{n-2}\) q P n - 2 such that \(h=p+r^{2}q\) h = p + r 2 q . Sylvester sketched a proof of this theorem in his note on spherical harmonics as a remark on Maxwell’s pole theory. If \(\mathbb {F}=\mathbb {C}\) F = C , then the same equalities hold for some pq, but they are usually not unique. For h in general position, there are \((2n-1)!!\) ( 2 n - 1 ) ! ! such polynomials. Let \({{\Lambda }}_{h}=(h+r^{2}\mathcal {P}_{n-2})\cap \mathcal {D}_{n}\) Λ h = ( h + r 2 P n - 2 ) D n . We prove that \(h=\frac{1}{(2n-1)!!}\sum \limits _{p\in {{\Lambda }}_{h}}p\) h = 1 ( 2 n - 1 ) ! ! p Λ h p , i.e., h is the center of mass of \({{\Lambda }}_{h}\) Λ h . This implies algebraic quadratic relations between the spherical harmonics.