In mathematics, a polynomial p {\displaystyle p} whose Laplacian is zero is termed a harmonic polynomial. The harmonic polynomials form a subspace of the vector space of polynomials over the given field. In fact, they form a graded subspace. For the real field ( R {\displaystyle \mathbb {R} } ), the harmonic polynomials are important in mathematical physics. The Laplacian is the sum of second-order partial derivatives with respect to each of the variables, and is an invariant differential operator under the action of the orthogonal group via the group of rotations. The standard separation of variables theorem states that every multivariate polynomial over a field can be decomposed as a finite sum of products of a radial polynomial and a harmonic polynomial. This is equivalent to the statement that the polynomial ring is a free module over the ring of radial polynomials.
Examples Consider a degree- d {\displaystyle d} univariate polynomial p ( x ) := ∑ k = 0 d a k x k {\displaystyle p(x):=\textstyle \sum _{k=0}^{d}a_{k}x^{k}} . In order to be harmonic, this polynomial must satisfy
0 = ∂ 2 ∂ x 2 p ( x ) = ∑ k = 2 d k ( k − 1 ) a k x k − 2 {\displaystyle 0={\tfrac {\partial ^{2}}{\partial x^{2}}}p(x)=\sum _{k=2}^{d}k(k-1)a_{k}x^{k-2}}
at all points x ∈ R {\displaystyle x\in \mathbb {R} } . In particular, when d = 2 {\displaystyle d=2} , we have a polynomial p ( x ) = a 0 + a 1 x + a 2 x 2 {\displaystyle p(x)=a_{0}+a_{1}x+a_{2}x^{2}} , which must satisfy the condition a 2 = 0 {\displaystyle a_{2}=0} . Hence, the only harmonic polynomials of one (real) variable are affine functions x ↦ a 0 + a 1 x {\displaystyle x\mapsto a_{0}+a_{1}x} . In the multivariable case, one finds nontrivial spaces of harmonic polynomials. Consider for instance the bivariate quadratic polynomial
p ( x , y ) := a 0 , 0 + a 1 , 0 x + a 0 , 1 y + a 1 , 1 x y + a 2 , 0 x 2 + a 0 , 2 y 2 , {\displaystyle p(x,y):=a_{0,0}+a_{1,0}x+a_{0,1}y+a_{1,1}xy+a_{2,0}x^{2}+a_{0,2}y^{2},}
where a 0 , 0 , a 1 , 0 , a 0 , 1 , a 1 , 1 , a 2 , 0 , a 0 , 2 {\displaystyle a_{0,0},a_{1,0},a_{0,1},a_{1,1},a_{2,0},a_{0,2}} are real coefficients. The Laplacian of this polynomial is given by
… excerpt ends here. Continue reading the full article.
