arxiv: v2 [math.cv] 2 Mar 2018

Transcription

1 The quaternionic Gauss-Lucas Theorem Riccaro Ghiloni Alessanro Perotti Department of Mathematics, University of Trento Via Sommarive 14, I Povo Trento, Italy arxiv: v2 [math.cv] 2 Mar 2018 Abstract The classic Gauss-Lucas Theorem for complex polynomials of egree 2 has a natural reformulation over quaternions, obtaine via rotation aroun the real axis. We prove that such a reformulation is true only for = 2. We present a new quaternionic version of the Gauss-Lucas Theorem vali for all 2, together with some consequences. 1 Introuction Let p be a complex polynomial of egree 2 an let p be its erivative. The Gauss-Lucas Theorem asserts that the zero set of p is containe in the convex hull K(p) of the zero set of p. The classic proof uses the logarithmic erivative of p an it strongly epens on the commutativity of C. This note eals with a quaternionic version of such a classic result. We refer the reaer to [3] for the notions an properties concerning the algebra H of quaternions we nee here. The ring H[X] of quaternionic polynomials is efine by fixing the position of the coefficients w.r.t. the ineterminate X (e.g. on the right) an by imposing commutativity of X with the coefficients when two polynomials are multiplie together (see e.g. [5, 16]). Given two polynomials P, Q H[X], let P Q enote the prouct obtaine in this way. If P has real coefficients, then (P Q)(x) = P (x)q(x). In general, a irect computation (see [5, 16.3]) shows that if P (x) 0, then (P Q)(x) = P (x)q(p (x) 1 xp (x)), (1) while (P Q)(x) = 0 if P (x) = 0. In this setting, a (left) root of a polynomial P (X) = h=0 Xh a h is an element x H such that P (x) = h=0 xh a h = 0. Given P (X) = Xk a k H[X], consier the polynomial P c (X) = Xk ā k an the normal polynomial N(P ) = P P c = P c P. Since N(P ) has real coefficients, it can be ientifie with a polynomial in R[X] C[X]. We recall that a subset A of H is calle circular if, for each x A, A contains the whole set (a 2-sphere if x R, a point if x R) S x = {pxp 1 H p H }, (2) where H := H \ {0}. In particular, for any imaginary unit I H, S I = S is the 2-sphere of all imaginary units in H. For every subset B of H we efine its circularization as the set x B S x. It is well-known ([3, 3.3]) that the zero set V (N(P )) H of the normal polynomial is the circularization of the zero set V (P ), which consists of isolate points or isolate 2-spheres of the form (2) if P 0. 1

2 Let the egree of P be at least 2 an let P (X) = k=1 Xk 1 ka k be the erivative of P. It is known (see e.g. [2]) that the Gauss-Lucas Theorem oes not hol irectly for quaternionic polynomials. For example, the polynomial P (X) = (X i) (X j) = X 2 X(i + j) + k has zero set V (P ) = {i}, while P vanishes at x = (i + j)/2. Since the zero set V (P ) of P is containe in the set V (N(P )), a natural reformulation in H[X] of the classic Gauss-Lucas Theorem is the following: V (N(P )) K(N(P )) or equivalently V (P ) K(N(P )), (3) where K(N(P )) enotes the convex hull of V (N(P )) in H. This set is equal to the circularization of the convex hull of the zero set of N(P ) viewe as a polynomial in C[X] H[X]. Recently two proofs of the above inclusion (3) were presente in [7, 2]. Our next two propositions prove that inclusion (3) is correct in its full generality only when = 2. 2 Gauss-Lucas polynomials Definition 1. Given a polynomial P H[X] of egree 2 we say that P is a Gauss-Lucas polynomial if P satisfies (3). Proposition 2. If P is a polynomial in H[X] of egree 2, then V (N(P )) = S x1 S x2 x 1, x 2 H (possibly with S x1 = S x2 ) an { } V (P y1 + y 2 ). 2 y 1 S x1,y 2 S x2 for some In particular every polynomial P H[X] of egree 2 is a Gauss-Lucas polynomial. Proof. Let P (X) = X 2 a 2 + Xa 1 + a 0 H[X] with a 2 0. Since P a 1 2 = P a 1 2, (P a 1 2 ) = P a 1 2 = P a 1 2, we can assume a 2 = 1. Consequently, P (X) = (X x 1 ) (X x 2 ) = X 2 X(x 1 + x 2 ) + x 1 x 2 for some x 1, x 2 H. Then x 1 V (P ) an x 2 V (P c ), since P c (X) = (X x 2 ) (X x 1 ). Therefore x 1, x 2 V (N(P )). On the other han V (P ) = {(x 1 + x 2 )/2} as esire. Remark 3. Let P (X) = Xk a k H[X] of egree 2 an let Q := P a 1 be the corresponing monic polynomial. Since V (P ) = V (Q) an V (P ) = V (Q ), P is a Gauss-Lucas polynomial if an only if Q is. Proposition 4. Let P H[X] of egree 3. Suppose that N(P )(X) = X 2e (X 2 + 1) e for some e < an that N(P )(X) = 2 2 Xk b k contains a unique monomial of o egree, that is, b k 0 for a unique o k. Then P is not a Gauss-Lucas polynomial. Proof. Since V (N(P )) {0} S, K(N(P )) Im(H) = {x H Re(x) = 0}. Then it suffices to show that N(P ) has at least one root in H \ Im(H). Let G, L R[X] be the unique real polynomials such that G(t) + il(t) = N(P )(it) for every t R. Since N(P ) contains a unique monomial of o egree, say X 2l+1 b 2l+1, then L(t) = ( 1) l b 2l+1 t 2l+1 an hence V (N(P )) ir {0}. Being V (N(P )) a circular set, it hols V (N(P )) Im(H) {0}. Since N(P ) contains at least two monomials, namely those of egrees 2l + 1 an 2 2, we infer that it must have a nonzero root. Therefore V (N(P )) {0} an hence V (N(P )) Im(H), as esire. 2

3 Corollary 5. Let 3 an let P (X) = X 3 (X i) (X j) (X k). Then N(P )(X) = X 2 6 (X 2 + 1) 3 an N(P ) contains a unique monomial of o egree, namely 4X 2 5. In particular P is not a Gauss-Lucas polynomial. Proof. By a irect computation we obtain: P (X) = X X 1 (i + j + k) + X 2 (i j + k) + X 3, (4) P (X) = X 1 ( 1)X 2 (i + j + k) + ( 2)X 3 (i j + k) + ( 3)X 4, (5) N(P )(X) = 2 X ( 1) 2 X 2 4 4X ( 2) 2 X ( 3) 2 X 2 8. (6) Proposition 4 implies the thesis. Let I S an let C I H be the complex plane generate by 1 an I. Given a polynomial P H[X], we will enote by P I : C I H the restriction of P to C I. If P I is not constant, we will enote by K CI (P ) the convex hull in the complex plane C I of the zero set V (P I ) = V (P ) C I. If P I is constant, we set K CI (P ) = C I. If C I contains every coefficient of P H[X], then we say that P is a C I -polynomial. Proposition 6. The following hols: (1) Every C I -polynomial of egree 2 is a Gauss-Lucas polynomial. (2) Let 3, let H [X] = {P H[X] eg(p ) = } an let E [X] be the set of all elements of H [X] that are not Gauss-Lucas polynomials. Ientify each P (X) = Xk a k in H [X] with (a 0,..., a ) H H R 4+4 an enow H [X] with the relative Eucliean topology. Then E [X] is a nonempty open subset of H [X]. Moreover E [X] is not ense in H [X], being X 1 an interior point of its complement. Proof. If P is a C I -polynomial, then P I can be ientifie with an element of C I [X]. Consequently, the classic Gauss-Lucas Theorem gives V (P ) C I = V (P I ) K C I (P ). The zero set of the C I - polynomial P has a particular structure (see [3, Lemma 3.2]): V (P ) is the union of V (P ) C I with the set of spheres S x such that x, x V (P I ). It follows that V (P ) K(N(P )). This proves (1). Now we prove (2). By Corollary 5 we know that E [X]. If P E [X], then V (N(P )) K(N(P )). N(P ) an N(P ) are polynomials with real coefficients. Since the roots of N(P ) an of N(P ) epen continuously on the coefficients of P an K(N(P )) is close in H, for every Q H [X] sufficiently close to P, V (N(Q )) is not containe in K(N(Q)), that is Q E [X]. To prove the last statement, observe that P (X) = X 1 is not in E [X] from part (1). Since V (P ) = V (N(P )) = {0} is containe in the interior of the set K(N(P )), for every Q H [X] sufficiently close to P, V (Q ) is still containe in K(N(Q)). 3 A quaternionic Gauss-Lucas Theorem Let P (X) = Xk a k H[X] of egree 2. For every I S, let π I : H H be the orthogonal projection onto C I an πi = i π I. Let P I (X) := k=1 Xk a k,i be the C I -polynomial with coefficients a k,i := π I (a k ). 3

4 Definition 7. We efine the Gauss-Lucas snail of P as the following subset sn(p ) of H: sn(p ) := I S K CI (P I ). Our quaternionic version of the Gauss-Lucas Theorem reas as follows. Theorem 8. For every polynomial P H[X] of egree 2, V (P ) sn(p ). (7) Proof. Let P (X) = Xk a k in H [X] with 2. We can ecompose the restriction of P to C I as P I = π I P I + π I P I = P I C I + π I P I. If x C I, then P I (x) C I while (π I P I)(x) C I. The same ecomposition hols for P. This implies that V (P ) C I V ((P I ) ) C I. The classic Gauss-Lucas Theorem applie to P I on C I gives V (P ) C I K CI (P I ). Since V (P ) = I S (V (P ) C I ), the inclusion (7) is prove. If P is monic Theorem 8 has the following equivalent formulation: For every monic polynomial P H[X] of egree 2, it hols sn(p ) sn(p ). (8) Remark 9. If P is a nonconstant monic polynomial in H[X], then two properties hol: (a) K CI (P I ) is a compact subset of C I for every I S. (b) K CI (P I ) epens continuously on I. Let I S. Since P is monic, also P I is a monic, nonconstant polynomial an then K CI (P I ) is a compact subset of C I. This prove property (a). To see that (b) hols, one can apply the Continuity theorem for monic polynomials (see e.g. [6, Theorem 1.3.1]). The roots of P I epen continuously on the coefficients of P I, which in turn epen continuously on I. Therefore the convex hull K CI (P I ) epens continuously on I. Observe that (a) an (b) can not hol for polynomials that are not monic. For example, let P (X) = X 2 i. Then, given I = α 1 i+α 2 j+α 3 k S, K CI (P I ) = {0} if α 1 0 an K CI (P I ) = C I if α 1 = 0, since in this case P I is constant. Remark 10. If P is a monic polynomial in H[X] of egree 2, then its Gauss-Lucas snail is a close subset of H. To prove this fact, consier q H \ sn(p ) an choose I S such that q C I. Write q = α + Iβ C I for some α, β R an efine z := α + iβ C. Since P is monic, sn(p ) C I = K CI (P I ) is a compact subset of C I. Moreover, K CI (P I ) epens continuously on I, an then there exist an open neighborhoo U I of z in C an an open neighborhoo W I of I in S such that the set [U I, W I ] := J W I {a + Jb C J a + ib U I } is an open neighborhoo of q in J W I C J, an it is isjoint from sn(p ). If q R then q is an interior point of H \ sn(p ), because [U I, W I ] is a neighborhoo of q in H as well. Now assume that q R. Since S is compact there exist I 1,..., I n S such that n l=1 W I l = S. It follows that [ n l=1 U l, S] is a neighborhoo of q in H, which is isjoint from sn(p ). Consequently q is an interior point of H \ sn(p ) also in this case. This proves that sn(p ) is close in H. In Proposition 13 below we will show that the Gauss-Lucas snail of a monic polynomial in H[X] of egree 2 is also a compact subset of H. If all the coefficients of P are real, then sn(p ) is a circular set. In general, sn(p ) is neither close nor boune nor circular, as shown in the next example. 4

5 Figure 1: Cross-sections of sn(p ) (gray), of V (P ) an K(N(P )) (ashe). Example 11. Let P (X) = X 2 i + X. Given I = α 1 i + α 2 j + α 3 k S, P I (x) = X 2 Iα 1 + X an then K CI (P I ) = {0} if α 1 = 0 while K CI (P I ) is the segment from 0 to Iα 1 1 if α 1 0. It follows that sn(p ) = {x 1 i + x 2 j + x 3 k Im(H) 0 < x 1 1} {0}. Finally, observe that the monic polynomial Q(X) = P (X) i = X 2 Xi corresponing to P has compact Gauss-Lucas snail sn(q) = {x 1 i + x 2 j + x 3 k Im(H) (x 1 1/2) 2 + x x 2 3 1/4}. Remark 12. Even for C I -polynomials, the Gauss-Lucas snail of P can be strictly smaller than the circular convex hull K(N(P )). For example, consier the C i -polynomial P (X) = X 3 +3X+2i, with zero sets V (P ) = { i, 2i} an V (P ) = S. The set K(N(P )) is the close three-imensional isc in Im(H), with center at the origin an raius 2. The Gauss-Lucas snail sn(p ) is the subset of Im(H) obtaine by rotating aroun the i-axis the following subset of the coorinate plane L = {x = x 1 i + x 2 j Im(H) x 1, x 2 R}: {x = ρ cos(θ)i + ρ sin(θ)j L 0 θ π, 0 ρ 2 cos(θ/3)}. Therefore sn(p ) is a proper subset of K(N(P )) (the bounaries of the two sets intersect only at the point 2i). Its bounary is obtaine by rotating a curve that is part of the limaçon trisectrix (see Figure 1). 3.1 Estimates on the norm of the critical points Let p(z) = a kz k be a complex polynomial of egree 1. The norm of the roots of p can be estimate making use of the norm of the coefficients {a k } of p. There are several classic results in this irection (see e.g. [6, 8.1]). For instance the estimate [6, (8.1.2)] (with λ = 1, p = 2) asserts that max z V (p) z a 1 a k 2. (9) Proposition 13. For every monic polynomial P H[X] of egree 2, the Gauss-Lucas snail sn(p ) is a compact subset of H. 5

6 Proof. Since P = Xk a k is monic, every polynomial P I is monic. From (9) it follows that max x V (P I ) x 2 π I(a k ) 2 a k 2 an hence sn(p ) {x H x 2 a k 2 } is boune. Since sn(p ) is close in H, as seen in Remark 10, it is also a compact subset of H. Define a function C : H[X] R {+ } as follows: C(a) := + if a is a quaternionic constant an C(P ) := a 1 a k 2 if P (X) = Xk a k with 1 an a 0. Proposition 14. For every polynomial P H[X] of egree 1, it hols max x C(P ). (10) x V (P ) Proof. We follow the lines of the proof of estimate (9) for complex polynomials given in [6]. Let P (X) = Xk a k with 1 an a 0. We can assume that P (X) is not the monomial X a, since in this case the thesis is immeiate. Let b k = a k a 1 for every k = 0,..., 1. The real polynomial h(z) = z 1 b kz k has exactly one positive root ρ an is positive for real z > ρ (see [6, Lemma 8.1.1]). Let S := 1 b2 k = C(P )2 1. From the Cauchy-Schwartz inequality, it follows that ( 1 ) 2 1 b k C(P ) k S C(P ) 2k = (C(P ) 2 1) C(P )2 1 C(P ) 2 1 < C(P )2. Therefore h(c(p )) > 0 an then C(P ) > ρ. Let x V (P ). It remains to prove that x ρ. Since x = 1 xk a k a 1, it hols 1 x x 1 k ak a 1 = x k b k. This means that h( x ) 0, which implies x ρ. From Proposition 14 it follows that for every polynomial P H[X] of egree 2, it hols Theorem 8 allows to obtain a new estimate. max x C(P ). (11) x V (P ) Proposition 15. Given any polynomial P H[X] of egree 2, it hols: max x sup{c(p I )}. (12) x V (P ) I S Proof. If x V (P ) C I, Theorem 8 implies that x K CI (P I ). Therefore max x C(P I ) for every I S with V (P ) C I, x V (P ) C I from which inequality (12) follows. Our estimate (12) can be strictly better than classic estimate (11), as explaine below. 6

7 Remark 16. Let 3 an let P (X) = X 3 (X i) (X j) (X k). Using (5), by a irect computation we obtain: C(P ) = Moreover, given I = α 1 i + α 2 j + α 3 k S for some α 1, α 2, α 3 R with α1 2 + α2 2 + α3 2 = 1, we have π I (i+j +k) = I, i+j +k I = (α 1 +α 2 +α 3 )I an π I (i j +k) = I, i j +k I = (α 1 α 2 +α 3 )I an hence C(P I ) = 4 + 4α 1 α (α1 2 + α2 3 ) 6. This implies that sup{c(p I )} 6. I S For every 11 it is easy to verify that 6 < C(P ) so as announce. sup{c(p I )} < C(P ), I S Remark 17. Some of the results presente here can be generalize to real alternative *-algebras, a setting in which polynomials can be efine an share many of the properties vali on the quaternions (see [4]). The polynomials given in Corollary 5 can be efine every time the algebra contains an Hamiltonian triple i, j, k. This property is equivalent to say that the algebra contains H as a subalgebra (see [1, 8.1]). For example, this is true for the algebra of octonions an for the Cliffor algebras with signature (0, n), with n 2. Therefore in all such algebras there exist polynomials for which the zero set V (P ) (as a subset of the quaratic cone) is not inclue in the circularization of the convex hull of V (N(P )) viewe as a complex polynomial. References [1] H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, an R. Remmert. Numbers, volume 123 of Grauate Texts in Mathematics. Springer- Verlag, New York, [2] S. Gal, O. González-Cervantes, an I. Sabaini. On the Gauss-Lucas theorem in the quaternionic setting. [3] G. Gentili, C. Stoppato, an D. C. Struppa. Regular Functions of a Quaternionic Variable. Springer Monographs in Mathematics. Springer, [4] R. Ghiloni an A. Perotti. Slice regular functions on real alternative algebras. Av. Math., 226(2): , [5] T. Y. Lam. A first course in noncommutative rings, volume 131 of Grauate Texts in Mathematics. Springer-Verlag, New York, [6] Q. I. Rahman an G. Schmeisser. Analytic theory of polynomials, volume 26 of Lonon Mathematical Society Monographs. New Series. The Clarenon Press, Oxfor University Press, Oxfor, [7] F. Vlacci. The Gauss-Lucas theorem for regular quaternionic polynomials. In Hypercomplex analysis an applications, Trens Math., pages Birkhäuser/Springer Basel AG, Basel,