Next Article in Journal
SAIPO-TAIPO and Genetic Algorithms for Investment Portfolios
Previous Article in Journal
Maximum Principle and Second-Order Optimality Conditions in Control Problems with Mixed Constraints
Previous Article in Special Issue
Reconstruction of Differential Operators with Frozen Argument
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Algebraic Basis of the Algebra of All Symmetric Continuous Polynomials on the Cartesian Product of p-Spaces

by
Andriy Bandura
1,*,
Viktoriia Kravtsiv
2 and
Taras Vasylyshyn
2
1
Department of Advanced Mathematics, Ivano-Frankivsk National Technical Unuversity of Oil and Gas, 76019 Ivano-Frankivsk, Ukraine
2
Faculty of Mathematics and Computer Sciences, Vasyl Stefanyk Precarpathian National University, 76018 Ivano-Frankivsk, Ukraine
*
Author to whom correspondence should be addressed.
Axioms 2022, 11(2), 41; https://doi.org/10.3390/axioms11020041
Submission received: 27 November 2021 / Revised: 17 January 2022 / Accepted: 19 January 2022 / Published: 21 January 2022
(This article belongs to the Special Issue Analytic Functions and Nonlinear Functional Analysis)

Abstract

:
We construct a countable algebraic basis of the algebra of all symmetric continuous polynomials on the Cartesian product p 1 × × p n , where p 1 , , p n [ 1 , + ) , and p is the complex Banach space of all p-power summable sequences of complex numbers for p [ 1 , + ) .

1. Introduction

For classical results on symmetric polynomials on finite dimensional spaces, we refer to [1,2,3]. Symmetric polynomials on infinite dimensional Banach spaces were studied, firstly, by Nemirovski and Semenov in [4]. In particular, in [4] the authors constructed a countable algebraic basis (see definition below) of the algebra of symmetric continuous real-valued polynomials on the real Banach space p and a finite algebraic basis of the algebra of symmetric continuous real-valued polynomials on the real Banach space L p [ 0 , 1 ] , where 1 p < + .
In [5], these results were generalized to separable sequence real Banach spaces with symmetric basis (see, e.g., ([6], Definition 3.a.1, p. 113) for the definition of a Banach space with symmetric basis) and to separable rearrangement invariant function real Banach spaces (see, e.g., ([7], Definition 2.a.1, p. 117) for the definition of a rearrangement invariant function Banach space) resp. In [8], it was shown that there are only trivial symmetric continuous polynomials on the space . Consequently, the results of [5] cannot be generalized to nonseparable sequence Banach spaces. The most general approach to the studying of symmetric functions on Banach spaces was introduced in [9,10,11,12,13].
Note that the existence of a finite or countable algebraic basis in some algebra of symmetric continuous polynomials gives us the opportunity to obtain some information or, even, to describe spectra of topological algebras of symmetric holomorphic functions, which contain the algebra of symmetric continuous polynomials as a dense subalgebra. For example, in [14], the authors constructed an algebraic basis of the algebra of symmetric continuous complex-valued polynomials on the complex Banach space L [ 0 , 1 ] of complex-valued Lebesgue measurable essentially bounded functions on [ 0 , 1 ] .
This result gave us the opportunity to describe the spectrum of the Fréchet algebra H b s ( L [ 0 , 1 ] ) of symmetric analytic entire functions, which are bounded on bounded sets on the complex Banach space L [ 0 , 1 ] (see [14]) and to show that the algebra H b s ( L [ 0 , 1 ] ) is isomorphic to the algebra of all analytic functions on the strong dual of the topological vector space of entire functions on the complex plane C (see [15]).
In [16,17], there were constructed algebraic bases of algebras of symmetric continuous polynomials on Cartesian powers of complex Banach spaces L p [ 0 , 1 ] and L p [ 0 , + ) of all complex-valued Lebesgue integrable in a power p functions on [ 0 , 1 ] and [ 0 , + ) resp., where 1 p < + . These results gave us the opportunity to represent Fréchet algebras of symmetric entire analytic functions of bounded type on these Cartesian powers as Fréchet algebras of entire analytic functions on their spectra (see [18]).
The spectra of algebras with countable algebraic bases and completions of such algebras also were studied in [19,20,21]. Symmetric analytic functions of unbounded type were studied in [22,23,24,25]. Applications of symmetric analytic functions to the spectra of linear operators were introduced in [26].
Symmetric polynomials and symmetric holomorphic functions on spaces p were studied by a number of authors [22,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41] (see also the survey [42]). Symmetric polynomials and symmetric holomorphic functions on Cartesian powers of spaces p were studied in [43,44,45,46,47]. In particular, in [46] there was constructed a countable algebraic basis of the algebra of all symmetric continuous complex-valued polynomials on the Cartesian power of the complex Banach space p . This result was generalized to the real case in [47]. In this work, we generalize the results of the work [46] to the algebra of symmetric continuous polynomials on the arbitrary Cartesian product p 1 × × p n .

2. Preliminaries

We denote by N and Z + the set of all positive integers and the set of all nonnegative integers resp.

2.1. Polynomials

Let X be a complex Banach space with norm · X . A function P : X C is called an N-homogeneous polynomial if there exist N N and an N-linear form A P : X N C such that P is the restriction of A P to the diagonal, i.e.,
P ( x ) = A P ( x , , x N )
for all x X .
A function P : X C , which can be represented in the form
P = P 0 + P 1 + + P N ,
where P 0 is a constant function on X and P j : X C is a j-homogeneous polynomial for every j { 1 , , N } , which is called a polynomial of degree at most N .
It is known that a polynomial P : X C is continuous if and only if its norm
P = sup x X 1 | P ( x ) |
is finite. Consequently, if P : X C is a continuous N-homogeneous polynomial, then we have
| P ( x ) | P x X N
for every x X .
For details on polynomials on Banach spaces, we refer the reader to [48] or [49,50].

2.2. Algebraic Combinations and Algebraic Basis

Let functions f , f 1 , , f m act from T to C , where T is an arbitrary nonempty set. If there exists a polynomial Q : C m C such that
f ( x ) = Q ( f 1 ( x ) , , f m ( x ) )
for every x T , then the function f is called an algebraic combination of functions f 1 , , f m . A set { f 1 , , f m } is called algebraically independent if the fact that
Q ( f 1 ( x ) , , f m ( x ) ) = 0
for all x T implies that the polynomial Q is identically equal to zero. An infinite set of functions is called algebraically independent if every finite subset is algebraically independent. Note that the algebraic independence implies the uniqueness of the representation in the form of an algebraic combination.
Let A be an algebra of functions. A subset B of A is called an algebraic basis of A if each element of A can be uniquely represented as an algebraic combination of some elements of B .

2.3. Symmetric Polynomials on the Space c 00 ( C n )

For m N , let c 00 ( m ) ( C n ) be the space of all sequences x = ( x 1 , , x m , 0 , ) , where x 1 , , x m C n and 0 = ( 0 , , 0 ) C n . Note that c 00 ( C n ) is isomorphic to ( C n ) m . Let c 00 ( C n ) = m = 1 c 00 ( m ) ( C n ) .
A function f : c 00 ( C n ) C is called symmetric if
f ( x σ ) = f ( x )
for every x = ( x 1 , x 2 , ) c 00 ( C n ) and for every bijection σ : N N , where
x σ = x σ ( 1 ) , x σ ( 2 ) , .
For k Z + n { ( 0 , n , 0 ) } , let us define a polynomial H k : c 00 ( C n ) C by
H k ( x ) = j = 1 s = 1 k s > 0 n x j ( s ) k s ,
where
x = x 1 ( 1 ) , , x 1 ( n ) , x 2 ( 1 ) , , x 2 ( n ) , c 00 ( C n ) .
Let M be a nonempty finite subset of Z + n { ( 0 , n , 0 ) } . Let C M be the vector space of all functions ξ : M C . Elements of the space C M can be considered as | M | -dimensional complex vectors ξ = ( ξ k ) k M , indexed by elements of M , where | M | is the cardinality of M . Thus, C M is isomorphic to C | M | . The space C M we endow with norm ξ = max k M | ξ k | , where ξ = ( ξ k ) k M C M .
For a nonempty finite subset M of Z + n { ( 0 , n , 0 ) } , let us define a mapping π M : c 00 ( C n ) C M by
π M ( x ) = ( H k ( x ) ) k M ,
where x c 00 ( C n ) .
Theorem 1
([46], Theorem 9). Let P : c 00 ( C n ) C be a symmetric N-homogeneous polynomial. Let M N = { k Z + n : 1 | k | N } . There exists a polynomial q : C M N C such that P = q π M N , where the mapping π M N is defined by (4).
We shall use the following lemma.
Lemma 1
([46], Lemma 11). Let K C m and ϰ : K C m 1 be an orthogonal projection: ϰ ( x 1 , x 2 , , x m ) = ( x 2 , , x m ) . Let K 1 = ϰ ( K ) , int K 1 and for every open set U K 1 a set ϰ 1 ( U ) is unbounded. If polynomial Q ( x 1 , , x m ) is bounded on K , then Q does not depend on x 1 .

3. The Main Result

Let n N , p 1 , , p n [ 1 , + ) and p = ( p 1 , , p n ) . We shall consider the Cartesian power p 1 × × p n of the complex spaces p 1 , , p n as the space of all sequences
x = ( x 1 , x 2 , ) ,
where x j = x j ( 1 ) , , x j ( n ) C n for j N , such that the sequence x 1 ( s ) , x 2 ( s ) , belongs to p s for every s { 1 , , n } . We endow p 1 × × p n with norm
x p 1 × × p n = s = 1 n x 1 ( s ) , x 2 ( s ) , p s max p 1 / max p ,
where · p s is the norm of the space p s . Note that c 00 ( C n ) is a dense subspace of p 1 × × p n .
Analogically to the definition of symmetric functions on c 00 ( C n ) , a function f : p 1 × × p n C is called symmetric if
f ( x σ ) = f ( x )
for every x = ( x 1 , x 2 , ) p 1 × × p n and for every bijection σ : N N , where
x σ = x σ ( 1 ) , x σ ( 2 ) , .
Let k = ( k 1 , , k n ) Z + n { ( 0 , n , 0 ) } be such that k 1 / p 1 + + k n / p n 1 . Let us define a polynomial H p , k : p 1 × × p n C by
H p , k ( x ) = j = 1 s = 1 k s > 0 n x j ( s ) k s .
Note that the polynomial H p , k is symmetric. Let us show that H p , k is well-defined and continuous.
Lemma 2.
Let k Z + n { ( 0 , n , 0 ) } be such that k 1 / p 1 + + k n / p n 1 . Let z ( 1 ) , , z ( n ) C be such that z ( 1 ) 1 , , z ( n ) 1 . Then,
z ( 1 ) k 1 · · z ( n ) k n z ( 1 ) p 1 + + z ( n ) p n .
Proof. 
Note that
z ( 1 ) k 1 · · z ( n ) k n z ( 1 ) p 1 k 1 / p 1 · · z ( n ) p n k n / p n max 1 s n z ( s ) p s k 1 / p 1 + + k n / p n .
Since max 1 s n z ( s ) p s 1 , taking into account the inequality k 1 / p 1 + + k n / p n 1 ,
max 1 s n z ( s ) p s k 1 / p 1 + + k n / p n max 1 s n z ( s ) p s .
Note that
max 1 s n z ( s ) p s z ( 1 ) p 1 + + z ( n ) p n .
Thus,
z ( 1 ) k 1 · · z ( n ) k n z ( 1 ) p 1 + + z ( n ) p n .
This completes the proof. □
Proposition 1.
The polynomial H p , k , defined by (6), is well-defined and H p , k n .
Proof. 
Let us show that H p , k is well-defined. Let x p 1 × × p n be of the form (5). Since the series j = 1 x j ( 1 ) p 1 , , j = 1 x j ( n ) p n are convergent, it follows that there exists M N such that x j ( 1 ) 1 , , x j ( n ) 1 for every j M . Therefore, for j M , taking into account the inequality k 1 / p 1 + + k n / p n 1 , by Lemma 2,
x j ( 1 ) k 1 · · x j ( n ) k n x j ( 1 ) p 1 + + x j ( n ) p n .
Consequently,
j = M x j ( 1 ) k 1 · · x j ( n ) k n j = 1 x j ( 1 ) p 1 + + x j ( n ) p n = x 1 ( 1 ) , x 2 ( 1 ) , p 1 p 1 + + x 1 ( n ) , x 2 ( n ) , p n p n < .
Therefore, the series j = 1 s = 1 n x j ( s ) k s is absolutely convergent. Thus, H p , k is well-defined.
Let us show that H p , k n . Let x p 1 × × p n be such that x p 1 × × p n 1 . Then, x j ( 1 ) 1 , , x j ( n ) 1 for every j N . Therefore, for every j N , by Lemma 2,
x j ( 1 ) k 1 · · x j ( n ) k n x j ( 1 ) p 1 + + x j ( n ) p n .
Consequently,
| H p , k ( x ) | j = 1 x j ( 1 ) k 1 · · x j ( n ) k n j = 1 x j ( 1 ) p 1 + + x j ( n ) p n = x 1 ( 1 ) , x 2 ( 1 ) , p 1 p 1 + + x 1 ( n ) , x 2 ( n ) , p n p n x p 1 × × p n p 1 + + x p 1 × × p n p n n .
Thus, H p , k n . This completes the proof. □
For arbitrary x = ( x 1 , , x m , 0 , ) , y = ( y 1 , , y s , 0 , ) c 00 ( C n ) , we set
x y = ( x 1 , , x m , y 1 , , y s , 0 , ) .
For x ( 1 ) , , x ( r ) c 00 ( C n ) , let
j = 1 r x ( j ) = x ( 1 ) x ( r ) .
Note that
j = 1 r x ( j ) p 1 × × p n max p = j = 1 r x ( j ) p 1 × × p n max p .
Note that for every k Z + n { ( 0 , n , 0 ) } ,
H k j = 1 r x ( j ) = j = 1 r H k x ( j ) .
For every m N and j { 1 , , m } , we set
γ m j = 1 m 1 / m exp ( 2 π i j / m ) .
We set γ 01 = 0 . For l = ( l 1 , , l n ) Z + n { ( 0 , n , 0 ) } , let
a l = j 1 = 1 l 1 ^ j n = 1 l n ^ ( γ l 1 j 1 , , γ l n j n ) , ( 0 , , 0 ) , ,
where l j ^ = max { 1 , l j } for j { 1 , , n } .
Let us define a partial order on Z + n { ( 0 , n , 0 ) } in the following way. For k , l Z + n { ( 0 , n , 0 ) } , we set k l if and only if there exists m Z + n such that k s = m s l s for every s { 1 , , n } . We write k l , if k l and k l .
By ([46], Proposition 3), for every k , l Z + n { ( 0 , n , 0 ) } ,
H k ( a l ) = s = 1 k s > 0 n 1 l s k s / l s 1 s = 1 k s = 0 n l s ^ , if k l 0 , otherwise ,
where by the definition, the product of an empty set of multipliers is equal to 1 . In particular,
H k ( a k ) = 1 .
For ( λ 1 , , λ n ) C n and x = x 1 ( 1 ) , , x 1 ( n ) , x 2 ( 1 ) , , x 2 ( n ) , c 00 ( C n ) , let
( λ 1 , , λ n ) x = λ 1 x 1 ( 1 ) , , λ n x 1 ( n ) , λ 1 x 2 ( 1 ) , , λ n x 2 ( n ) , .
It can be easily verified that
H k ( λ 1 , , λ n ) x = H k ( x ) s = 1 k s > 0 n λ s k s ,
where k Z + n { ( 0 , n , 0 ) } . Note that
( λ 1 , , λ n ) x p 1 × × p n max p = s = 1 n λ s x 1 ( s ) , λ s x 2 ( s ) , p s max p = s = 1 n | λ s | max p x 1 ( s ) , x 2 ( s ) , p s max p s = 1 n | λ s | max p x 1 ( s ) , x 2 ( s ) , 1 max p s = 1 n | λ s | max p x 1 × n × 1 max p = x 1 × n × 1 max p s = 1 n | λ s | max p x 1 × n × 1 max p n max s { 1 , n } | λ s | max p = n x 1 × n × 1 max p max s { 1 , n } | λ s | max p .
For k = ( k 1 , , k n ) Z + n let V ( k ) = s { 1 , , n } : k s 0 and ν ( k ) = | V ( k ) | .
Lemma 3.
Let k , l Z + n { ( 0 , n , 0 ) } be such that l k . If k s = 0 for some s { 1 , , n } , then l s = 0 . Consequently, V ( l ) V ( k ) .
Proof. 
Since l k , there exists m Z + n such that l s = m s k s for every s { 1 , , n } . Consequently, if k s = 0 , then l s = 0 .
If s V ( l ) , then l s > 0 . Therefore, k s cannot be equal to zero. Consequently, s V ( k ) . Thus, V ( l ) V ( k ) . This completes the proof. □
Lemma 4.
Let k , l Z + n { ( 0 , n , 0 ) } be such that l k and ν ( l ) ν ( k ) . Then,
s = 1 n l s p s 1 max p + s = 1 n k s p s .
Proof. 
By Lemma 3, V ( l ) V ( k ) . On the other hand, ν ( l ) ν ( k ) , i.e., | V ( l ) | | V ( k ) | . Therefore, V ( l ) = V ( k ) . Consequently, l s = 0 if and only if k s = 0 .
Since l k , there exists m Z + n such that l s = m s k s for every s { 1 , , n } . Since l s = 0 if and only if k s = 0 , it follows that m s > 0 for every s { 1 , , n } such that k s > 0 . Since l k , there exists s { 1 , , n } such that m s 2 . Consequently,
s = 1 n l s p s s = 1 n k s p s = s = 1 n m s k s p s s = 1 n k s p s = s = 1 n ( m s 1 ) k s p s m s 1 p s 1 p s 1 max p .
This completes the proof. □
For N N and J { 1 , , n } , let
M N ( J ) = l Z + n { ( 0 , n , 0 ) } : l 1 / p 1 + + l n / p n < 1 , | l | N and ν ( l ) J { l Z + n { ( 0 , n , 0 ) } : l 1 / p 1 + + l n / p n 1 and | l | N } .
Note that ([46], Theorem 6) implies the following theorem.
Theorem 2.
Let M be a finite non-empty subset of Z + n { ( 0 , n , 0 ) } . Then,
(i) 
there exists m N such that, for every ξ = ( ξ k ) k M C M there exists x ξ c 00 ( m ) ( C n ) such that π M ( x ξ ) = ξ ; and
(ii) 
there exists a constant ρ M > 0 such that if ξ < 1 , then x ξ 1 × n × 1 < ρ M .
By Theorem 2, for M = M N ( 1 ) , there exists ρ = ρ M > 0 such that π M ( V ρ ) contains the open unit ball of the space C M with the norm · , where
V ρ = x c 00 ( C n ) : x 1 × n × 1 < ρ .
Let
V ρ = x c 00 ( C n ) : x p 1 × × p n < ρ .
Since x p 1 × × p n x 1 × n × 1 for every x c 00 ( C n ) , it follows that V ρ V ρ . Consequently, π M ( V ρ ) also contains the open unit ball of the space C M .
Proposition 2.
For J { 1 , , n } , let q ( ξ l ) l M N ( J ) be a polynomial on C M N ( J ) . If q is bounded on π M N ( J ) ( V ρ ) , then q does not depend on ξ k , where k M N ( J ) is such that ν ( k ) = J and k 1 / p 1 + + k n / p n < 1 .
Proof. 
Let k Z + n be such that ν ( k ) = J and k 1 / p 1 + + k n / p n < 1 . Let K = π M N ( J ) ( V ρ ) , K 1 = π M N ( J ) { k } ( V ρ ) and ϰ : K K 1 be an orthogonal projection, defined by
ϰ : ( ξ l ) l M N ( J ) ( ξ l ) l M N ( J ) { k } .
Let us show that, for every ball
B ( u , r ) = ξ C M N ( J ) { k } : ξ u < r
with center u = ( u l ) l M N ( J ) { k } C M N ( J ) { k } and radius r > 0 such that B ( u , r ) π M N ( J ) { k } ( V ρ ) , a set ϰ 1 ( B ( u , r ) ) is unbounded. Since u π M N ( J ) { k } ( V ρ ) , there exists x u V ρ such that π M N ( J ) { k } ( x u ) = u . For m N , we set
x m = j = 1 m h ( j , k 1 ) , , h ( j , k n ) a k ,
where a k is defined by (10) and
h ( j , s ) = 1 j 1 w p s ,
for j N and s { 1 , , n } , where
w = k 1 p 1 + + k n p n .
Since 0 < w < 1 , it follows that 1 / w > 1 . Consequently, the value ζ ( 1 / w ) is finite, where ζ ( · ) is the Riemann zeta function. Choose ε such that
0 < ε < min { 1 , ρ x u p 1 × × p n a k 1 × n × 1 n ζ ( 1 / w ) 1 / max p , r n 1 max a k p 1 × × p n , a k p 1 × × p n N 1 ζ min 1 w , 1 + 1 w max p 1 } .
Let x m , ε = ( ε x m ) x u . Let us show that x m , ε V ρ . By (7),
x m p 1 × × p n max p = j = 1 m h ( j , 1 ) , , h ( j , n ) a k p 1 × × p n max p .
By (14),
h ( j , 1 ) , , h ( j , n ) a k p 1 × × p n max p n a k 1 × n × 1 max p max s { 1 , n } | h ( j , s ) | max p .
Note that
max s { 1 , n } | h ( j , s ) | = max s { 1 , n } 1 j 1 w p s = 1 j 1 w max p .
Therefore,
h ( j , 1 ) , , h ( j , n ) a k p 1 × × p n max p n a k 1 × n × 1 max p 1 j 1 w .
Consequently,
x m p 1 × × p n max p n a k 1 × n × 1 max p j = 1 m 1 j 1 w < n a k 1 × n × 1 max p j = 1 1 j 1 w = n a k 1 × n × 1 max p ζ ( 1 / w ) .
Therefore,
x m p 1 × × p n < a k 1 × n × 1 n ζ ( 1 / w ) 1 / max p .
By the triangle inequality,
x m , ε p 1 × × p n ε x m p 1 × × p n + x u p 1 × × p n < ε a k 1 × n × 1 n ζ ( 1 / w ) 1 / max p + x u p 1 × × p n .
Since ε < ρ x u p 1 × × p n a k 1 × n × 1 n ζ ( 1 / w ) 1 / max p , it follows that x m , ε p 1 × × p n < ρ . Hence, x m , ε V ρ .
Note that, for arbitrary l Z + n { ( 0 , n , 0 ) } , by (8),
H l ( x m ) = j = 1 m H l h ( j , 1 ) , , h ( j , n ) a k .
By (13),
H l ( ( h ( j , 1 ) , , h ( j , n ) ) a k ) = H l ( a k ) s = 1 n h ( j , s ) l s = H l ( a k ) s = 1 n 1 j l s w p s = H l ( a k ) 1 j s = 1 n l s / ( w p s ) = H l ( a k ) 1 j 1 w s = 1 n l s / p s .
Therefore,
H l ( x m ) = H l ( a k ) j = 1 m 1 j 1 w s = 1 n l s / p s .
Consequently, taking into account (8), we have
H l ( x m , ε ) = ε | l | H l ( x m ) + H l ( x u ) = ε | l | H l ( a k ) j = 1 m 1 j 1 w s = 1 n l s / p s + H l ( x u ) .
Let us show that π M N ( J ) { k } ( x m , ε ) B ( u , r ) . For l M N ( J ) { k } such that l ¬ k , by (11), H l ( a k ) = 0 , therefore, by (17),
H l ( x m , ε ) = u l .
Let l M N ( J ) { k } be such that l k . Consider the case l 1 / p 1 + + l n / p n 1 and | l | N . Since l 1 / p 1 + + l n / p n 1 , it follows that
1 w s = 1 n l s p s 1 w .
Consider the case l 1 / p 1 + + l n / p n < 1 , | l | N and ν ( l ) J . Since ν ( k ) = J , it follows that ν ( l ) ν ( k ) . By Lemma 4, since l k and ν ( l ) ν ( k ) ,
1 w s = 1 n l s p s 1 + 1 w max p .
Thus, for l M N ( J ) { k } such that l k , we have
s = 1 n l s p s min 1 w , 1 + 1 w max p .
By (17), taking into account the equality H l ( x u ) = u l , we have
| H l ( x m , ε ) u l | ε | l | | H l ( a k ) | j = 1 m 1 j 1 w s = 1 n l s / p s .
Since ε < 1 , it follows that ε | l | ε . By (2), taking into account the inequality H l n , we have | H l ( a k ) | n a k p 1 × × p n | l | . Since 1 | l | N , for every b > 0 , we have b | l | max b , b N . Therefore,
a k p 1 × × p n | l | max a k p 1 × × p n , a k p 1 × × p n N .
Thus,
| H l ( a k ) | n max a k p 1 × × p n , a k p 1 × × p n N .
By (18),
j = 1 m 1 j 1 w s = 1 n l s / p s j = 1 m 1 j min 1 w , 1 + 1 w max p < ζ min 1 w , 1 + 1 w max p .
Hence,
| H l ( x m , ε ) u l | < ε n max a k p 1 × × p n , a k p 1 × × p n N ζ min 1 w , 1 + 1 w max p .
Since
ε < r n max a k p 1 × × p n , a k p 1 × × p n N ζ min 1 w , 1 + 1 w max p 1 ,
it follows that | H l ( x m , ε ) u l | < r , therefore, π M N ( J ) { k } ( x m , ε ) B ( u , r ) .
By (12), H k ( a k ) = 1 , therefore, by (17),
H k ( x m , ε ) = ε | k | j = 1 m 1 j + H k ( x u )
as m + . Hence, ϰ 1 ( B ( u , r ) ) is unbounded. By Lemma 1, q does not depend on ξ k . This completes the proof. □
Theorem 3.
Let P : p 1 × × p n C be an N-homogeneous symmetric continuous polynomial. If N < min p , then P 0 . Otherwise, there exists the polynomial q ^ : C M p , N C such that P = q ^ π M p , N ( p ) , where
M p , N = k Z + n { ( 0 , n , 0 ) } : k 1 / p 1 + + k n / p n 1 and | k | N
and π M p , N ( p ) : p 1 × × p n C M p , N is defined by π M p , N ( p ) ( x ) = ( H p , k ( x ) ) k M p , N .
Proof. 
Let P ˜ be the restriction of P to c 00 ( C n ) . Note that P ˜ is a symmetric N-homogeneous polynomial. By Theorem 1, there exists a unique polynomial q : C M N C such that
P ˜ = q π M N .
Since P is continuous, P is bounded on V ρ , defined by (16). Consequently, P ˜ is bounded on V ρ . Therefore, q is bounded on π M N ( V ρ ) . Note that M N = M N ( 1 ) , where M N ( 1 ) is defined by (15).
Let us prove that q does not depend on arguments ξ k such that k 1 / p 1 + + k n / p n < 1 by induction on ν ( k ) . By Proposition 2, for J = 1 , we have that q ( ξ k ) k M N does not depend on arguments ξ k such that ν ( k ) = 1 and k 1 / p 1 + + k n / p n < 1 . Suppose the statement holds for ν ( k ) { 1 , , J 1 } , where J { 2 , , n } , i.e., q ( ξ k ) k M N does not depend on arguments ξ k such that 1 ν ( k ) J 1 and k 1 / p 1 + + k n / p n < 1 . Then, the restriction of q to C M N ( J ) , by Proposition 2, does not depend on ξ k such that ν ( k ) = J and k 1 / p 1 + + k n / p n < 1 . Hence, q does not depend on ξ k such that k 1 / p 1 + + k n / p n < 1 .
Consider the case N < min p . In this case, k 1 / p 1 + + k n / p n < 1 for every k M N . Consequently, q is constant. Therefore, taking into account (19), P ˜ is constant. Since P ˜ is an N-homogeneous polynomial, where N > 0 , it follows that P ˜ is identically equal to zero. By the continuity of P , taking into account that P ˜ is the restriction of P to the dense subspace c 00 ( C n ) of the space p 1 × × p n , the polynomial P is identically equal to zero.
Consider the case N min p . In this case, M p , N . Since q does not depend on ξ k such that k M N M p , N , the equality (19) implies the following equality:
P ˜ = q ^ π M p , N ,
where q ^ is the restriction of q to C M p , N , which is the subspace of C M N . Let us show that P = q ^ π M p , N ( p ) . Let x p 1 × × p n . Since c 00 ( C n ) is dense in p 1 × × p n , there exists the sequence { x m } m = 1 c 00 ( C n ) , which is convergent to x . Since H p , k is continuous and H k is the restriction of H p , k , it follows that lim m H k ( x m ) = H p , k ( x ) for every k M p , N . Therefore, lim m π M p , N ( x m ) = π M p , N ( p ) ( x ) . Since q ^ is the polynomial on a finite dimensional space, it follows that q ^ is continuous. Consequently, lim m q ^ π M p , N ( x m ) = q ^ π M p , N ( p ) ( x ) . On the other hand, since P is continuous, taking into account (20), we have
lim m q ^ π M p , N ( x m ) = lim m P ˜ ( x m ) = lim m P ( x m ) = P ( x ) .
Therefore, P ( x ) = q ^ π M p , N ( p ) ( x ) . Thus, P = q ^ π M p , N ( p ) . This completes the proof. □
Proposition 3.
The set of polynomials
H p , k : k Z + n { ( 0 , n , 0 ) } such that k 1 / p 1 + + k n / p n 1
is algebraically independent.
Proof. 
By ([46], Theorem 10), the set of polynomials
H ( 1 , n , 1 ) , k : k Z + n { ( 0 , n , 0 ) }
is an algebraic basis of the algebra of all symmetric continuous complex-valued polynomials on 1 × n × 1 . Consequently, this set of polynomials is algebraically independent. Since every subset of an algebraically independent set is algebraically independent, the set of polynomials
H ( 1 , n , 1 ) , k : k Z + n { ( 0 , n , 0 ) } such that k 1 / p 1 + + k n / p n 1
is algebraically independent. Since H ( 1 , n , 1 ) , k is the restriction of H p , k for every k Z + n { ( 0 , n , 0 ) } such that k 1 / p 1 + + k n / p n 1 , it follows that the set (21) is algebraically independent. This completes the proof. □
Theorem 4.
The set of polynomials (21) is an algebraic basis of the algebra of all symmetric continuous complex-valued polynomials on p 1 × × p n .
Proof. 
Let P : p 1 × × p n C be a symmetric continuous complex-valued polynomial of degree at most N , where N Z + . Then,
P = P 0 + P 1 + + P N ,
where P 0 C and P j is a j-homogeneous polynomial for every j { 1 , , N } . By the Cauchy Integral Formula for holomorphic functions on Banach spaces (see, e.g., ([48], Corollary 7.3, p. 47)),
P j ( x ) = 1 2 π i | t | = r P ( t x ) t j + 1 d t
for every j { 1 , , N } , x p 1 × × p n and r > 0 , where t C . Consequently, P j is symmetric and continuous for every j { 1 , , N } . Therefore, by Theorem 3, P j can be represented as an algebraic combination of elements of the set (21) for every j { 1 , , N } .
Consequently, P can be represented as an algebraic combination of elements of the set (21). Since, by Proposition 3, the set (21) is algebraically independent, the above-mentioned representation of P as an algebraic combination of elements of (21) is unique. Thus, every symmetric continuous complex-valued polynomial on p 1 × × p n can be uniquely represented as an algebraic combination of elements of the set (21). This completes the proof. □

Author Contributions

A.B., V.K. and T.V. contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Research Foundation of Ukraine, 2020.02/0025, 0120U103996.

Data Availability Statement

No appicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Weyl, H. The Classical Groups: Their Invariants and Representations; Princeton University Press: Princenton, NJ, USA, 1973. [Google Scholar]
  2. van der Waerden, B.L. Modern Algebra; Ungar Publishing: New York, NY, USA, 1953; Volume 1. [Google Scholar]
  3. Macdonald, I.G. Symmetric Functions and Orthogonal Polynomials; University Lecture Series, 12; AMS: Providence, RI, USA, 1998. [Google Scholar]
  4. Nemirovskii, A.S.; Semenov, S.M. On Polynomial Approximation of Functions on Hilbert Space. Math. USSR-Sb. 1973, 21, 255–277. [Google Scholar] [CrossRef]
  5. González, M.; Gonzalo, R.; Jaramillo, J.A. Symmetric polynomials on rearrangement invariant function spaces. J. Lond. Math. Soc. 1999, 59, 681–697. [Google Scholar] [CrossRef]
  6. Lindenstrauss, J.; Tzafriri, L. Classical Banach Spaces, Volume I, Sequence Spaces. Springer: Berlin/Heidelberg, Germany, 1977. [Google Scholar]
  7. Lindenstrauss, J.; Tzafriri, L. Classical Banach Spaces, Volume II, Function Spaces; Springer: Berlin/Heidelberg, Germany, 1979. [Google Scholar]
  8. Galindo, P.; Vasylyshyn, T.; Zagorodnyuk, A. Symmetric and finitely symmetric polynomials on the spaces and L[0,+). Math. Nachrichten 2018, 291, 1712–1726. [Google Scholar] [CrossRef]
  9. Aron, R.M.; Falcó, J.; García, D.; Maestre, M. Algebras of symmetric holomorphic functions of several complex variables. Rev. Matemática Complut. 2018, 31, 651–672. [Google Scholar] [CrossRef]
  10. Aron, R.M.; Falcó, J.; Maestre, M. Separation theorems for group invariant polynomials. J. Geom. Anal. 2018, 28, 393–404. [Google Scholar] [CrossRef]
  11. Choi, Y.S.; Falcó, J.; García, D.; Jung, M.; Maestre, M. Group invariant separating polynomials on a Banach space. Publ. Matemàtiques 2022, 66, 207–233. [Google Scholar]
  12. Aron, R.; Galindo, P.; Pinasco, D.; Zalduendo, I. Group-symmetric holomorphic functions on a Banach space. Bull. Lond. Math. Soc. 2016, 48, 779–796. [Google Scholar] [CrossRef]
  13. García, D.; Maestre, M.; Zalduendo, I. The spectra of algebras of group-symmetric functions. Proc. Edinb. Math. Soc. 2019, 62, 609–623. [Google Scholar] [CrossRef]
  14. Galindo, P.; Vasylyshyn, T.; Zagorodnyuk, A. The algebra of symmetric analytic functions on L. Proc. R. Soc. Edinb. Sect. A 2017, 147, 743–761. [Google Scholar] [CrossRef]
  15. Galindo, P.; Vasylyshyn, T.; Zagorodnyuk, A. Analytic structure on the spectrum of the algebra of symmetric analytic functions on L. Rev. R. Acad. Cienc. Exactas Físicas Nat. Ser. A Matemáticas 2020, 114, 56. [Google Scholar] [CrossRef]
  16. Vasylyshyn, T. Symmetric polynomials on (Lp)n. Eur. J. Math. 2020, 6, 164–178. [Google Scholar] [CrossRef]
  17. Vasylyshyn, T.V. Symmetric polynomials on the Cartesian power of Lp on the semi-axis. Mat. Stud. 2018, 50, 93–104. [Google Scholar] [CrossRef]
  18. Vasylyshyn, T. Algebras of symmetric analytic functions on Cartesian powers of Lebesgue integrable in a power p∈[1,+) functions. Carpathian Math. Publ. 2021, 13, 340–351. [Google Scholar] [CrossRef]
  19. Chernega, I.; Holubchak, O.; Novosad, Z.; Zagorodnyuk, A. Continuity and hypercyclicity of composition operators on algebras of symmetric analytic functions on Banach spaces. Eur. J. Math. 2020, 6, 153–163. [Google Scholar] [CrossRef]
  20. Halushchak, S.I. Spectra of some algebras of entire functions of bounded type, generated by a sequence of polynomials. Carpatian Math. Publ. 2019, 11, 311–320. [Google Scholar] [CrossRef]
  21. Halushchak, S.I. Isomorphisms of some algebras of analytic functions of bounded type on Banach spaces. Mat. Stud. 2021, 56, 106–112. [Google Scholar] [CrossRef]
  22. Chernega, I.; Zagorodnyuk, A. Unbounded symmetric analytic functions on 1. Math. Scand. 2018, 122, 84–90. [Google Scholar] [CrossRef]
  23. Hihliuk, A.; Zagorodnyuk, A. Entire analytic functions of unbounded type on Banach spaces and their lineability. Axioms 2021, 10, 150. [Google Scholar] [CrossRef]
  24. Hihliuk, A.; Zagorodnyuk, A. Algebras of entire functions containing functions of unbounded type on a Banach space. Carpathian Math. Publ. 2021, 13, 426–432. [Google Scholar] [CrossRef]
  25. Hihliuk, A.; Zagorodnyuk, A. Classes of entire analytic functions of unbounded type on Banach spaces. Axioms 2020, 9, 133. [Google Scholar] [CrossRef]
  26. Burtnyak, I.; Chernega, I.; Hladkyi, V.; Labachuk, O.; Novosad, Z. Application of symmetric analytic functions to spectra of linear operators. Carpathian Math. Publ. 2021, 13, 701–710. [Google Scholar] [CrossRef]
  27. Alencar, R.; Aron, R.; Galindo, P.; Zagorodnyuk, A. Algebras of symmetric holomorphic functions on p. Bull. Lond. Math. Soc. 2003, 35, 55–64. [Google Scholar] [CrossRef]
  28. Chernega, I.V. A semiring in the spectrum of the algebra of symmetric analytic functions in the space 1. J. Math. Sci. 2016, 212, 38–45. [Google Scholar] [CrossRef]
  29. Chernega, I.V.; Fushtei, V.I.; Zagorodnyuk, A.V. Power operations and differentiations associated with supersymmetric polynomials on a Banach space. Carpathian Math. Publ. 2020, 12, 360–367. [Google Scholar] [CrossRef]
  30. Chernega, I.; Galindo, P.; Zagorodnyuk, A. Some algebras of symmetric analytic functions and their spectra. Proc. Edinb. Math. Soc. 2012, 55, 125–142. [Google Scholar] [CrossRef] [Green Version]
  31. Chernega, I.; Galindo, P.; Zagorodnyuk, A. The convolution operation on the spectra of algebras of symmetric analytic functions. J. Math. Anal. Appl. 2012, 395, 569–577. [Google Scholar] [CrossRef] [Green Version]
  32. Chernega, I.; Galindo, P.; Zagorodnyuk, A. A multiplicative convolution on the spectra of algebras of symmetric analytic functions. Rev. Mat. Complut. 2014, 27, 575–585. [Google Scholar] [CrossRef]
  33. Chernega, I.V.; Zagorodnyuk, A.V. Note on bases in algebras of analytic functions on Banach spaces. Carpathian Math. Publ. 2019, 11, 42–47. [Google Scholar] [CrossRef]
  34. Jawad, F.; Karpenko, H.; Zagorodnyuk, A. Algebras generated by special symmetric polynomials on 1. Carpathian Math. Publ. 2019, 11, 335–344. [Google Scholar] [CrossRef]
  35. Jawad, F.; Zagorodnyuk, A. Supersymmetric polynomials on the space of absolutely convergent series. Symmetry 2019, 11, 1111. [Google Scholar] [CrossRef] [Green Version]
  36. Holubchak, O.M.; Zagorodnyuk, A.V. Topological and algebraic structures on a set of multisets. J. Math. Sci. 2021, 258, 446–454. [Google Scholar] [CrossRef]
  37. Novosad, Z.; Zagorodnyuk, A. Analytic automorphisms and transitivity of analytic mappings. Mathematics 2020, 8, 2179. [Google Scholar] [CrossRef]
  38. Holubchak, O.M. Hilbert space of symmetric functions on 1. J. Math. Sci. 2012, 185, 809–814. [Google Scholar] [CrossRef]
  39. Novosad, Z.; Zagorodnyuk, A. Polynomial automorphisms and hypercyclic operators on spaces of analytic functions. Arch. Math. 2007, 89, 157–166. [Google Scholar] [CrossRef]
  40. Martsinkiv, M.; Zagorodnyuk, A. Approximations of symmetric functions on Banach spaces with symmetric bases. Symmetry 2021, 13, 2318. [Google Scholar] [CrossRef]
  41. Aron, R.; Gonzalo, R.; Zagorodnyuk, A. Zeros of real polynomials. Linearand Multilinear Algebra 2000, 48, 107–115. [Google Scholar] [CrossRef]
  42. Chernega, I. Symmetric polynomials and holomorphic functions on infinite dimensional spaces. J. Vasyl Stefanyk Precarpathian Natl. Univ. 2015, 2, 23–49. [Google Scholar] [CrossRef] [Green Version]
  43. Jawad, F. Note on separately symmetric polynomials on the Cartesian product of 1. Mat. Stud. 2018, 50, 204–210. [Google Scholar] [CrossRef]
  44. Kravtsiv, V.V. Algebraic basis of the algebra of block-symmetric polynomials on 1. Carpathian Math. Publ. 2019, 11, 89–95. [Google Scholar] [CrossRef]
  45. Kravtsiv, V.V. Analogues of the Newton formulas for the block-symmetric polynomials. Carpathian Math. Publ. 2020, 12, 17–22. [Google Scholar] [CrossRef]
  46. Kravtsiv, V.; Vasylyshyn, T.; Zagorodnyuk, A. On algebraic basis of the algebra of symmetric polynomials on p( C n ). J. Funct. Spaces 2017, 2017, 4947925. [Google Scholar] [CrossRef] [Green Version]
  47. Vasylyshyn, T. Symmetric functions on spaces p( R n ) and p( C n ). Carpathian Math. Publ. 2020, 12, 5–16. [Google Scholar] [CrossRef]
  48. Mujica, J. Complex Analysis in Banach Spaces; Elsevier Science Publishers B.V.: Amsterdam, The Netherlands; New York, NY, USA; Oxford, UK, 1986. [Google Scholar]
  49. Dineen, S. Complex Analysis in Locally Convex Spaces; Elsevier Science Publishers B.V.: Amsterdam, The Netherlands; New York, NY, USA; Oxford, UK, 1981. [Google Scholar]
  50. Dineen, S. Complex Analysis on Infinite Dimensional Spaces, Monographs in Mathematics; Springer: New York, NY, USA, 1999. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Bandura, A.; Kravtsiv, V.; Vasylyshyn, T. Algebraic Basis of the Algebra of All Symmetric Continuous Polynomials on the Cartesian Product of p-Spaces. Axioms 2022, 11, 41. https://doi.org/10.3390/axioms11020041

AMA Style

Bandura A, Kravtsiv V, Vasylyshyn T. Algebraic Basis of the Algebra of All Symmetric Continuous Polynomials on the Cartesian Product of p-Spaces. Axioms. 2022; 11(2):41. https://doi.org/10.3390/axioms11020041

Chicago/Turabian Style

Bandura, Andriy, Viktoriia Kravtsiv, and Taras Vasylyshyn. 2022. "Algebraic Basis of the Algebra of All Symmetric Continuous Polynomials on the Cartesian Product of p-Spaces" Axioms 11, no. 2: 41. https://doi.org/10.3390/axioms11020041

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop