DOI: 10.1515/auom-2017-0002 An. S¸t. Univ. Ovidius Constant¸a Vol. 25(1),2017, 25{32 Polynomial Harmonic Decompositions Nicolae Anghel Abstract For real polynomials in two indeterminates a classical polynomial harmonic decomposition (cf. (1) below) is extended from square-norm divisors to conic ones. The main result is then applied to obtain a full polynomial harmonic decomposition, and to solve a Dirichlet problem with polynomial boundary data. Harmonic functions are of utmost importance in analysis, geometry, and mathematical physics [1]. Even at their most basic occurrence, as polynomial harmonic functions, they produce surprisingly useful results. One of them is the following classical harmonic decomposition: In Rn, n ≥ 2, with coordi- nates x = (x1; x2; : : : ; xn), any homogeneous real polynomial of degree m ≥ 0, pm(x), is uniquely decomposable as 2 pm(x) = hm(x) + jxj pm−2(x); (1) 2 P @ hm where hm(x) is a homogeneous harmonic j 2 = 0 real polynomial of @xj 2 P 2 degree m, jxj = j xj , and pm−2(x) is a homogeneous polynomial of degree m − 2 (possibly 0). As customary, here and in what follows the concepts of polynomial and polynomial function will be identified and used interchange- ably. There are vast generalizations of the decomposition (1), where the har- monic polynomials are replaced by polynomial solutions to constant coefficient partial differential operators, and jxj2 by more general polynomials, like the symbols of those operators [4, 5]. Key applications of the decomposition (1) Key Words: Real polynomial, Harmonic function, Harmonic decomposition, Dirichlet problem. 2010 Mathematics Subject Classification: Primary 31A05; Secondary 31A25. 25 POLYNOMIAL HARMONIC DECOMPOSITIONS 26 are the determination of the spectrum of the Laplace operator on the Eu- clidean sphere Sn−1 [6], or the simple (without a need for Poisson integrals) resolution of the Dirichlet problem with polynomial boundary data on the closed unit ball B in Rn [2]. These applications and sheer curiosity made us wonder which hyperquadric functions X X !(x) = cjkxjxk + cjxj + c; cjk; cj; c 2 R (2) j≤k j could replace jxj2 in the decomposition (1), of course at the unavoidable cost of losing homogeneity. In fact, in the language of [4] we will attempt to characterize all Fischer pairs of type (!(x); jxj2), with respect to the space of real polynomials in Rn. A superficial thought made us believe this would be the case precisely P @2! P when ∆! := j 2 6= 0, or equivalently j cjj 6= 0. Furthermore, one way @xj of possibly seeing this could be via an use of the classification theorem for hyperquadrics (fx 2 Rnj !(x) = 0g) up to rigid motions of Rn, which leave the Laplace operator ∆ invariant. We were wrong on both accounts and while this is still work in progress we want to report here an answer in the case n = 2, which we deem interesting enough to warrant this write-up. The main result of this note is the following 2 2 (Harmonic !-Decomposition) Theorem. Let !(x) = ax1 + bx1x2 + cx2 + 2 2 2 2 dx1 + ex2 + f, a; b; c; d; e; f 2 R, a + b + c 6= 0 be a conic function on R . The following two statements are equivalent: (i) For any m ≥ 0 and any real polynomial of degree m in x = (x1; x2), pm(x), there are unique real polynomials hm(x) and pm−2(x) of degrees respectively m and m − 2, hm(x) harmonic, i.e., ∆hm = 0, such that pm(x) = hm(x) + !(x)pm−2(x): (3) p a + c + i b2 − 4ac (ii) Either b2 − 4ac ≤ 0 or if b2 − 4ac > 0 then p is not a a + c − i b2 − 4ac complex root of unity. For instance, according to the Theorem the unique decomposition (3) exists 2 2 2 for !(x) = x1 − x2, or for !(x) = x1 + x2 + 3x1x2, and it does not exist for 2 2 !(x) = x1 + x2 + 4x1x2. Couple of Lemmas, valid also in Rn, will precede the proof of the Theorem. Lemma 1. An unique decomposition of type (3) for polynomials on Rn exists, for !(x) given by (2), if and only if there is no non-trivial harmonic polynomial of type !(x)q(x), for q(x) some (non-trivial ) polynomial. POLYNOMIAL HARMONIC DECOMPOSITIONS 27 Proof. The necessity is obvious, on the account of the uniqueness for the !- decomposition (3). For the sufficiency fix an integer m ≥ 0 and let pm(x) be a real polynomial of degree m. If ∆pm = 0 then the unique decomposition (3) holds by hypothesis, with hm(x) = pm(x) and pm−2(x) = 0. If ∆pm 6= 0, denote by P≤(m−2) the finite dimensional real vector space of real polynomials in indeterminates x1; x2; : : : ; xn of degree at most m − 2. By hypothesis the linear map P≤(m−2) 3 p 7! ∆(!p) 2 P≤(m−2) is injective, and therefore surjective by a dimensionality argument. Thus, since ∆pm 2 P≤(m−2) there is pm−2 2 P≤(m−2) such that ∆(!pm−2) = ∆pm, or equivalently ∆(pm − !pm−2) = 0. Setting hm(x) := pm(x) − !(x)pm−2(x), we have the existence of a decomposition of type (3). Its uniqueness follows again by hypothesis. Lemma 2. An unique decomposition of type (3) for polynomials on Rn ex- P P ists for !(x) = cjkxjxk + cjxj + c if and only if one exists for its j≤k j P homogeneous quadratic part !~(x) = j≤k cjkxjxk. Proof. Via the contrapositive of Lemma 1 it suffices to show that there is a non-trivial harmonic polynomial of type !(x)q(x) if and only if there is one of type! ~(x)~q(x). Assume first that !(x)q(x) is a harmonic polynomial for some non-trivial polynomial q(x) of degree m ≥ 0. Then the homogeneous component of degree m + 2 of !(x)q(x) is! ~(x)~q(x), whereq ~(x) is the non-trivial homogeneous component of top degree m of q(x). Since ∆ preserves homogeneity while lowering the degree by 2 it follows that ∆(!q) = 0 implies ∆(~!q~) = 0, i.e., !~(x)~q(x) is a non-trivial harmonic polynomial. Conversely, assume now that! ~(x)~q(x) is a harmonic polynomial for some non-trivial polynomialq ~(x). We can chooseq ~(x) such that it is homogeneous and its degree m is the least possible. It follows that for any 0 ≤ k ≤ m − 1 the maps P≤k 3 p 7! ∆(~!p) 2 P≤k (4) are linear isomorphisms. We will provide a non-trivial polynomial q(x) of degree m such that ∆(!q) = 0 in the following way: In the homogeneous Pm decomposition of q(x), q(x) = j=0 qm−j(x), qm−j(x) homogeneous poly- nomial of degree m − j, we set first qm(x) :=q ~(x). Write now !(x) = P !2(x)+!1(x)+!0(x), where !2(x) :=! ~(x), !1(x) := j cjxj, and !0(x) := c. Then the homogeneous decomposition of !(x)q(x) is !q = !2qm + (!2qm−1 + !1qm) + (!2qm−2 + !1qm−1 + !0qm) + ··· + !0q0; POLYNOMIAL HARMONIC DECOMPOSITIONS 28 while the homogeneous decomposition of ∆(!q) is ∆(!q) = ∆ (!2qm−1 + !1qm) + ∆ (!2qm−2 + !1qm−1 + !0qm) + ··· : (5) The linear isomorphisms (4) yield now recursively the homogeneous poly- nomials qm−1(x), qm−2(x), : : : ; q0(x), such that ∆(!2qm−1) = −∆(!1qm), ∆(!2qm−2) = −∆ (!1qm−1 + !0qm), ::: , making the right-hand-side of (5) vanish. In preparation for proving the Harmonic !-Decomposition Theorem we specialize to the case n = 2 and extend the polynomial ring R[x1; x2] to its complexification C[x1; x2]. There is an obvious conjugation operator C[x1; x2] 3 p 7! p 2 C[x1; x2] and then p 2 C[x1; x2] belongs to R[x1; x2] if and only if p = p. Notice that C[x1; x2] = C[z; z], where z = x1 + ix2 and z = x1 − ix2, i = −1. A homogeneous polynomial of degree m in C[x1; x2] is therefore uniquely representable as m X m−j j p(z; z) = γjz z ; γj 2 C; (6) j=0 and it belongs to R[x1; x2] if and only if αm−j = αj for every j. @2 @2 As an operator from R[x1; x2] into itself ∆ = 2 + 2 extends by @x1 @x2 2 complex linearity to C[z; z] according to the formula ∆ = 4 @ , where @z@z @ = 1 @ + 1 @ and @ = 1 @ − 1 @ . Consequently, @z 2 @x1 i @x2 @z 2 @x1 i @x2 0 m 1 m−1 X m−j j X m−j−1 j−1 ∆ @ γjz z A = 4 j(m − j)γjz z : (7) j=0 j=1 @2p A polynomial p(z; z) 2 C[z; z] will be called harmonic if @z@z = 0. A harmonic polynomial h(x1; x2) 2 R[x1; x2] is also harmonic in C[z; z], and conversely g+g g−g if g(z; z) is harmonic then Re g := 2 and Im g := 2i are harmonic in R[x1; x2]. 2 Proof of the Harmonic !-Decomposition Theorem. For x = (x1; x2) 2 R let 2 2 2 2 2 !~(x) := ax1 + bx1x2 + cx2 2 R[x1; x2], where a; b; c 2 R, a + b + c 6= 0. The representation of! ~(x) in C[z; z] is then 1 !~(x) =! ~(z; z) = αz2 + βzz + αz2 ; (8) 4 where α = (a − c) − bi and β = 2(a + c). In view of the two lemmas and the above considerations it suffices to show that there is some non-trivial POLYNOMIAL HARMONIC DECOMPOSITIONS 29 homogeneous complex polynomial p(z; z) 2 C[z; zp] such that! ~(z; z)p(z; z) is a + c + i b2 − 4ac harmonic if and only if b2 − 4ac > 0 and p is a complex root a + c − i b2 − 4ac of unity.
Details
-
File Typepdf
-
Upload Time-
-
Content LanguagesEnglish
-
Upload UserAnonymous/Not logged-in
-
File Pages8 Page
-
File Size-