arxiv: v2 [math.ca] 13 May 2015

Transcription

1 ON THE CLOSURE OF TRANSLATION-DILATION INVARIANT LINEAR SPACES OF POLYNOMIALS arxiv: v2 [math.ca] 13 May 2015 J. M. ALMIRA AND L. SZÉKELYHIDI Abstract. Assume that a linear space of real polynomials in n variables is given which is translation and dilation invariant. We show that if a sequence in this space converges pointwise to a polynomial, then the limit polynomial belongs to the space, too. 1. Introduction At the 49th International Symposium on Functional Equations in Graz, Mariatrost, Austria, 2011 and later at the 14th International Conference on Functional Equations and Inequalities in Bȩdlewo, Poland, 2011 the second author proposed the following problem: Assume that V is a linear space of real polynomials in n variables which is translation invariant. Suppose moreover that the sequence pp n q in V converges pointwise to a polynomial p. Is it true that p is in V? Despite several efforts of different researchers this question has still remained open. In this note we solve the problem in the positive for the special case when V is a translation-dilation invariant linear space of polynomials. 2. Translation and dilation invariant subspaces In this paper R denotes the set of real numbers and Rrxs denotes the polynomial ring in the variables x px 1, x 2,..., x d q, where d is a positive integer. We shall use the following standard notation. For every a pa 1, a 2,..., a d q and x px 1, x 2,..., x d q in R d we let a x pa 1 x 1, a 2 x 2,..., a d x d q. For every multi-index α pα 1, α 2..., α d q in N d we write α α 1 `α 2 ` `α d and x α x α1 1 xα xα d d, where we use the convention For convenience the monomial x ÞÑ x α will be denoted by q α for each multi-index α. Also we introduce the notation α! α 1!α 2!... α d! for every multi-index α and we shall use the partial order α ď β componentwise. We shall use the notation N p for the set N Y t8u and we extend the order relation ď from N to N, p as well as the partial order relation ď from N d to N pd in the obvious manner. The initial section corresponding to α in N p with respect to the partial order ď will be denoted by rαs. In other words rαs tβ P p N d : β ď αu. The research was supported by the Hungarian National Foundation for Scientific Research (OTKA), Grant No. K Mathematics Subject Classification. Primary 41A10, 40A30; Secondary 39A70. Key words and phrases. Polynomials, Translation Invariance, Dilation Invariance, Pointwise Convergence, Difference Operators. 1

2 2 J. M. Almira, L. Székelyhidi We also introduce the spaces B rαs spantx β : β P rαsu. In addition we shall use the standard notation for partial differential operators P pbq ÿ α c α B α1 1 Bα Bα d d whenever P : R d Ñ R is the polynomial P pxq ř α c αx α1 1 xα xα d d. In particular, we have q α pbq B α. Also we shall use difference operators with multi-index notation. For every k 1, 2,..., d the symbol k denotes the partial difference operator on polynomials acting on the k-th variable with increment 1, that is k ppxq ppx ` e k q ppxq for each x, where e k is the element in R d whose k-th component is 1, all the others are 0. In addition, e is the element whose all components are 1. Then is the vector difference operator defined by p 1, 2,..., d q. Using this notation we have α p α1 1 α α d d p for every multi-index α. Then the meaning of P p q is obvious for every polynomial P in d variables. In particular, we can write q α p q α. Given a function f : R d Ñ R and y in R d we denote by τ y, resp. σ y the functions defined by τ y fpxq fpx ` yq, σ y fpxq fpx yq whenever y is in R d. We call τ y, resp. σ y translation, resp. dilation by y, further τ y f, resp. σ y f the translate, resp. the dilate of f by y. A set H of real functions on R d is called translation invariant, resp. dilation invariant, if τ y f is in H, resp. σ y f is in H for each f in H and for every y in R d. If H is both translation and dilation invariant, then we call it translation-dilation invariant, or shortly a TDIset. Given a function f on R d the intersection of all translation invariant, resp. dilation invariant, resp. translation-dilation invariant linear spaces including f is denoted by τpfq, resp. σpfq, resp τσpfq. Clearly, these are linear spaces, and τpfq is translation invariant, σpfq is dilation invariant, further τσpfq is translationdilation invariant. TDI-subspaces have been studied extensively and the following classification of closed TDI-subspaces has been proved in [4]. Theorem 1. Every closed subspace of CpR d q which is invariant under all mappings S a,b with arbitrary a, b in R d is the closure of the linear span of the union of the sets B rnk s for a finite set of points n k in p N d. We note that here closed refers to the topology of the uniform convergence on compact sets. In this paper we study translation-dilation linear spaces of polynomials. begin with some preliminary lemmas. Lemma 2. Let S be a set of different multi-indices in N d. Then the set of monomials tq α : α P Su is linearly independent. Proof. Indeed, if c α is a real number for each α in S such that we have ÿ c α q α pxq 0 α We

3 On the closure of translation-dilation invariant linear spaces of polynomials 3 for each x in R d, and α 0 is any element in S, then we apply the differential operator B α0 to the above equation. We obtain ÿ ÿ α! c α B α0 q α pxq c xα α0 α 0 α 0! αps αěα 0,αPS for each x in R d. Now we substitute x 0. If for some α in S α ą α 0, then the α corresponding term is zero, hence the above sum is equal to c 0! α0 α 0! which implies c α 0. Lemma 3. Let p : R d Ñ R be a polynomial. Then τppq is generated by all partial derivatives of p. Proof. The statement follows immediately from the Taylor Formula (1) τ y p ÿ 1 α! Bα p q α pyq α ďdeg p which holds for each polynomial in Rrxs and for every x in R d. Indeed, this formula shows that every translate of p is a linear combination of partial derivatives of p. On the other hand, let s denote the number of different multi-indices α with α ď deg p. As the monomials q α are linearly independent for different multi-indices α there exist elements y j for j 1, 2,..., s such that the quadratic matrix `q α py j q is regular. Substituting y j for y in the above equation we obtain a system of linear equations with regular matrix from which we can express B α p as a linear combination of the translates τ yj p of p, hence all these partial derivatives belong to τppq. Lemma 4. Let p : R d Ñ R be a polynomial. Then σppq is generated by all monomials of the form B α pp0qx α. Proof. We use Taylor Formula (1) again. We have for y 0 (2) ppxq ÿ 1 α! Bα pp0qx α α ďdeg p which means that it is enough to show that every monomial term on the right side is in σppq. In other words, we have to show that B α pp0qq α is in σppq for each α with α ď deg p. By (2), we have (3) σ λ p ÿ 1 α! q αpλqb α pp0qq α α ďdeg p for each λ in R d. As the functions 1 α! q α are linearly independent for different multiindices ` α there exist elements λ j for j 1, 2,..., s such that the quadratic matrix 1 α! q αpλ j q is regular. Substituting λ j for λ in the above equation we obtain a system of linear equations with regular matrix from which we can express B α pp0qq α as a linear combination of the dilates σ λj p of p, hence all these monomials belong to σppq. Corollary 5. A linear space of real polynomials in several variables is dilation invariant if and only if it admits a basis formed by monomials. Proof. Obvious.

4 4 J. M. Almira, L. Székelyhidi Corollary 6. Let p : R d Ñ R be a polynomial. Then τσppq is generated by all monomials of the form x β with β ď B α pp0qα. In particular, if B α pp0q 0, then τσppq includes x β for each β with β ď α. Proof. Obvious, by Lemma 3 and Lemma 4. We introduce the following notation: for a subset H of Rrxs we let Ω H tα P N d : x α is in Hu. In what follows we shall use a basic result, due to L. E. Dickson (see e.g. [2, Corollary 4.48, p. 163] for the statement and [3] for a nontrivial useful generalization). We recall that in the polynomial ring Rrxs an ideal is called principal ideal, if it is generated by a single element and it is called a monomial ideal if it is generated by monomials. Finally, in a partially ordered set a subset is called an antichain, if any two elements of this subset are incomparable in the sense of the given partial order. Theorem 7. (Dickson s Lemma) In the ring of polynomials Rrxs in d variables every antichain of principal monomial ideals is finite. Lemma 8. Let V be a TDI-subspace in Rrxs. Then there exists a finite set F in pn d such that Ω V Ť αpf rαs. Proof. Let Λ V Ď N pd be the set of maximal elements of Ω V with respect to the partial order ď. It follows from Corollary 6 that Ω V Ť αpλ V rαs, hence we only need to prove that Λ V is finite. We consider the family of principal monomial ideals Ipαq ă x ϕpαq ą in the polynomial ring Rrxs, where ϕpαq pα 1, α 2,, α d q with α i α i if α i ă 8, and α i 0 if α i `8. The maximality of the elements of Λ V implies that tipαqu αpλv forms an antichain of pairwise distinct principal monomial ideals. It follows that this family (and hence, also Λ V ) is finite. As a consequence of Lemma 8 there exist natural numbers N 1,, N d such that, if Z i pv q tα P N d : α i ď N i u for i 1, 2,..., d, then Ω V can be decomposed as a disjoint union dď Ω V Z i pv q Y Z d`1 pv q with the notation Z d`1 pv q tα P Ω V : α k ą N k for all k 1, 2,, du, which is a finite set. In the following theorem we shall keep this notation, further we let N pn 1, N 2,..., N d q. Our main theorem follows. Theorem 9. If a sequence in a TDI-subspace in the polynomial ring Rrxs converges pointwise to a polynomial, then this polynomial belongs to the subspace, too. Proof. Let the sequence pp n q npn of the TDI-subspace V in Rrxs converge pointwise to the polynomial p and for n 0, 1,... we write p n in the following form p n px 1, x 2,..., x d q ÿn k i 0 f n,k,i px 1,..., x k 1, x k`1,..., x d q x i k ` r n px 1, x 2,..., x d q

5 On the closure of translation-dilation invariant linear spaces of polynomials 5 with some polynomials f n,k,i arbitrary polynomials in d 1 variables, where r n is in the linear span of the set of monomials tq α : α P Z d`1 pv qu. This is possible because of the TDI-property of V. Proving by contradiction we assume that p is not in V. We shall use the following notation: for k 1, 2,..., d let e k the element of R d whose k-th component is 1, all the others are 0. We consider the following two cases: Case 1: Z d`1 pv q H. Then for each x in R d we have lim ÿn k i 0 f n,k,i px 1,..., x k 1, x k`1,..., x d qx i k ppx 1, x 2,..., x d q and B α pp0q 0 for some α ą N. We apply the difference operator N on both sides of this equation. It is easy to see that N ppx 1, x 2,..., x d q x 1 x 2 x d hpx 1, x 2,..., x d q with some nonzero h in Rrxs. On the other hand, on the left hand side we have lim ÿn k i 0 lim N f n,k,i px 1,..., x k 1, x k`1,..., x d qx i k F n,k px 1,..., x k 1, x k`1,..., x d q with some polynomials F n,k for n 0, 1,... and k 1, 2,..., d. Now we substitute successively x j 1 for j 1, 2,..., d and we let n Ñ 8 to obtain x 2 x 3 x d hp1, x 2,, x d q lim F n,1px 2, x 3,..., x d q ` F n,2 p1, x 3,..., x d q ` ` F n,d p1, x 2,..., x d 1 q x 1 x 3 x d hpx 1, 1,..., x d q lim F n,1p1, x 3,..., x d q ` F n,2 px 1, x 3,..., x d q ` ` F n,d px 1, 1,..., x d 1 q. x 1 x 2 x d 1 hpx 1,, x d 1, 1q lim F n,1px 2,..., x d 1, 1q ` F n,2 px 1, x 3,..., x d 1, 1q ` ` F n,d px 1,..., x d 1 q We can write this system of equations in the more compact form lim F n,k px 1,..., x j 1, px j, x j`1,... x k 1, qx k, x k`1,..., x d q x 1 x 2 px j x d hpx 1, x 2... px j x d q for j 1, 2,..., d where px j means that x j 1 and qx k means that the variable x k is missing. Now we sum up these equations for j 1, 2,..., d. On the left hand side we recover the sum F n,k px 1,..., x k 1, x k`1,..., x d q,

6 6 J. M. Almira, L. Székelyhidi which has the limit x 1 x 2 x d hpx 1, x 2,..., x d q as n tends to infinity, and a sum w n px 1, x 2,..., x d q of polynomials each of them depending on d 2 out of the d variables only. Obviously, we have gpx 1,, x d q lim w npx 1, x 2,..., x d q hpx 1,, x j 1, 1, x j,, x d q ź dź x k hpx 1,, x d q x k. j 1 k j As every term of the sum defining w n depends on d 2 variables only, it follows that with β p1, 1,..., 1, 0q we have β g lim β w n 0. As g is a polynomial, this implies B β g 0. On the other hand, the assumption h 0 implies that sÿ (4) hpx 1,, x d q c k px 1, x 2,, x d 1 qx k d k 0 for some natural number s and polynomials c k in d 1 variables for k 1, 2,..., s, not all of them being identically zero. A simple computation shows that 0 B β g B β px 1 x 2 x d 1 hpx 1,, x d 1, 1q x 1 x 2 x d hpx 1,, x d qq, hence, substituting equation (4) into this formula, we obtain sÿ 0 B β x 1 x 2 x d 1 c k px 1, x 2,, x d 1 q k 0 sÿ k 0 B β px 1 x 2 x d 1 c k px 1, x 2,, x d 1 qq x k`1 d. It follows that B β px 1 x 2 x d 1 c k px 1, x 2,, x d 1 qq 0, for k 0, 1,..., s. Now we assume that c k px 1,, x d 1 q ÿ a α,k x α1 1 xα d 1 d 1 α ďl is not identically zero. Then x 1 x 2 x d 1 c k px 1, x 2,, x d 1 q ÿ and α ďl a α,k x α1`1 1 x α d 1`1 d 1, B β px 1 x 2 x d 1 c k px 1, x 2,, x d 1 qq ÿ pα 1 ` 1q pα d 1 ` 1qa α,k x α1 1 xα d 1 α ďl d 1, which vanishes identically if and only if all coefficients a α,k are zero. Hence the polynomial h vanishes identically, which contradicts our assumptions. This ends the proof of Case 1. Case 2: Z d`1 pv q H. Proving by contradiction we assume that p is not in V, in particular, there is a β outside Ω V such that B β pp0q 0. This implies that for each α in Z d`1 pv q there is a k with 1 ď k ď d such that N k ă α k ă β k. Hence all exponents of the monomials appearing in the right hand side of the formula dź β N e q α pxq px αi q i 1 βi Ni 1 i i

7 On the closure of translation-dilation invariant linear spaces of polynomials 7 belong to Z k pv q. Furthermore, β N e q β contains at least one monomial with exponent outside Ť d i 1 Z ipv q. It follows that in the sequence of polynomials pq n q npn defined by q n β N e p n the exponents of the monomials belong to Ť d i 1 Z ipv q, and this sequence converges pointwise to q β N e p which is a polynomial that contains at least one monomial with exponent outside Ť d i 1 Z ipv q. This reduces the question to Case 1 above and the proof is complete. Note that without translation invariance Theorem 9 fails to hold. Indeed, if P denotes the set of prime numbers, Müntz theorem [1] guarantees that the linear span V of the monomials x ÞÑ x p with p in P Y 2P Y t0u is dense in Cra, bs over any interval ra, bs. In particular, we can find a sequence pp n q npn in V such that }p n x 100 } Cr n,ns ă 1 n holds for n 1, 2,.... Obviously, p n converges pointwise to x ÞÑ x 100, which is not in V. Furthermore, by Lemma 5 we have that V is dilation invariant. Having proved our main result for T DI-spaces of polynomials a comparison between these spaces and the class of translation invariant spaces of polynomials should be of interest. Here we present three examples. 1. Let N 1, N 2 be natural numbers, and n ą N 1, N 2 a natural number, too. Let V n denote the linear span of the following polynomials in two variables: 1, px ` yq,..., px ` yq n, x k y s, x t y k, where 0 ď t ď N 1, 0 ď s ď N 2, and k is arbitrary natural number. Then V n is infinite dimensional, translation invariant and the smallest TDI-space W n which contains V n is spanned by V n and by all monomials of the form x a y b with N 1 ă a, N 2 ă b and a ` b ď n. It is easy to see that the co-dimension of V n in W n tends to infinity if n tends to infinity. 2. Let V be the set of all polynomials in two variables of the form px, yq ÞÑ ppx`yq, where p is any polynomial in a single variable. Then, by the Binomial Theorem, V is translation invariant, and all monomials x a y b with positive integers a, b belong to W, the smallest TDI-space which contains V. It follows that W is the set of all polynomials in two variables, and the co-dimension of V in W is infinite. 3. We can generalize the previous example in the following manner. Let H be a proper translation invariant space of polynomials. Then V phq : tpphpx, yqq : p is a polynomial in a single variable, and h is in Hu is also a proper translation invariant subspace of two variable polynomials. Furthermore, if H contains some element hpx, yq such that B 1 h and B 2 h are nonzero polynomials, then V phq contains a sequence tp n u such that for every n there exist a n, b n satisfying a n ` b n ě n, B an 1 Bbn 2 p np0, 0q 0, and lim a n lim b n 8. It follows that the smallest TDI-space W which contains V phq is the set of all polynomials in two variables, and V phq has infinite co-dimension in W.

8 8 J. M. Almira, L. Székelyhidi In the first two examples a result analogous to Theorem 9 can easily be proved for the spaces V n and V, respectively. On the other hand, a proof for the same result for V phq with H the set of all polynomials of degree at least two has not been found yet. References [1] J. M. Almira, Müntz type theorems I, Surveys in Approximation Theory, 3 (2007), [2] T. Becker and V. Weispfenning, Gröbner Bases, Graduate Texts in Mathematics, 141, Springer-Verlag, New York, [3] D. Maclagan, Antichains of monomial ideals are finite, Proc. Amer. Math. Soc. 129 (6) (2000) [4] A. Pinkus, TDI-Subspaces of CpR d q and some Density Problems from Neural Networks, Journal of Approximation Theory 85 (3) (1996) [5] L. Székelyhidi, Problem 1, Problems and Remarks section of the Forty-ninth International Symposium on Functional Equations, Graz-Mariatrost, June 19 26, [6] L. Székelyhidi, Problem 4, Problems and Remarks section of the 14th International Conference on Functional Equations and Inequalities, Bȩdlewo, September 11 17, Departamento de Matemáticas, Universidad de Jaén, E.P.S. Linares, C/Alfonso X el Sabio, 28, Linares, Spain address: jmalmira@ujaen.es Institute of Mathematics, University of Debrecen, Egyetem tér 1, 4032 Debrecen, Hungary Department of Mathematics, University of Botswana, 4775 Notwane Rd. Gaborone, Botswana address: lszekelyhidi@gmail.com