Homogeneous Polynomial Solutions to Constant Coefficient PDE's

Suppose p is a homogeneous polynomial over a field K. Let p(D) be the differential operator defined by replacing each occurrence of xj in p by xj , defined formally in case K is not a subset of C. (The classical example is p(x1 , ..., xn)= j xj , for which p(D) is the Laplacian { .) In this paper we solve the equation p(D) q=0 for homogeneous polynomials q over K, under the restriction that K be an algebraically closed field of characteristic 0. (This restriction is mild, considering that the ``natural'' field is C.) Our Main Theorem and its proof are the natural extensions of work by Sylvester, Clifford, Rosanes, Gundelfinger, Cartan, Maass and Helgason. The novelties in the presentation are the generalization of the base field and the removal of some restrictions on p. The proofs require only undergraduate mathematics and Hilbert's Nullstellensatz. A fringe benefit of the proof of the Main Theorem is an Expansion Theorem for homogeneous polynomials over R and C. This theorem is trivial for linear forms, goes back at least to Gauss for p=x1+x 2 2+x 2 3 , and has also been studied by Maass and Helgason.

[1]  E. Cartan,et al.  Leçons sur la géométrie projective complexe , 1950 .

[2]  E. Stein,et al.  Introduction to Fourier Analysis on Euclidean Spaces. , 1971 .

[3]  J. Sylvester,et al.  LX. On a remarkable discovery in the theory of canonical forms and of hyperdeterminants , 1851 .

[4]  B. Reznick.  Sums of Even Powers of Real Linear Forms , 1992 .

[5]  S. Helgason.  Groups and geometric analysis , 1984 .

[6]  Peter Guthrie Tait,et al.  Principles of mechanics and dynamics , 1963 .

[7]  P. Diaconis,et al.  On Nonlinear Functions of Linear Combinations , 1984 .

[8]  S. Gundelfinger,et al.  Zur Theorie der binären Formen. , 1887 .

[9]  J. Rosanes.  Ueber ein Princip der Zuordnung algebraischer Formen. , 1873 .

[10]  J. Kung.  Gundelfinger's Theorem on Binary Forms , 1986 .

[11]  Sigurdur Helgason,et al.  Topics in Harmonic Analysis on Homogeneous Spaces , 1981 .

[12]  J. Coolidge.  A Treatise on Algebraic Plane Curves , 1959 .

[13]  Enrico Bombieri,et al.  Products of polynomials in many variables , 1990 .

[14]  H. Maass.  Zur Theorie der harmonischen Formen , 1959 .

[15]  E. Hobson.  The Theory of Spherical and Ellipsoidal Harmonics , 1955 .

[16]  U. Helmke.  Waring's problem for binary forms , 1992 .

[17]  Joseph P. S. Kung,et al.  Canonical Forms of Binary Forms: Variations on a Theme of Sylvester , 1990 .

[18]  G. Rota,et al.  The invariant theory of binary forms , 1984 .

[19]  J. Kung.  Canonical forms for binary forms of even degree , 1987 .

[20]  B. M. Fulk.  MATH , 1992 .

[21]  G. Prasad.  A treatise on spherical harmonics and the functions of Bessel and Lamé , 1930 .

[22]  Paul Pedersen.  A function theory for finding a basis for all polynomial solutions to linear constant coefficient pde's of homogeneous order , 1994 .