Search

It is known that every continuous symmetric (invariant under the composition of its argument with each Lebesgue measurable bijection of $[0,1]$ that preserve the Lebesgue measure of measurable sets) polynomial on the Cartesian power of the complex Banach space $L_\infty$ of all Lebesgue measurable essentially bounded complex-valued functions on $[0,1]$ can be uniquely represented as an algebraic combination, i.e., a linear combination of products, of the so-called elementary symmetric polynomials. Consequently, every continuous complex-valued linear multiplicative functional (character) of an arbitrary topological algebra of the functions on the Cartesian power of $L_\infty,$ which contains the algebra of continuous symmetric polynomials on the Cartesian power of $L_\infty$ as a dense subalgebra, is uniquely determined by its values on elementary symmetric polynomials. Therefore, the problem of the description of the spectrum (the set of all characters) of such an algebra is equivalent to the problem of the description of sets of the above-mentioned values of characters on elementary symmetric polynomials. In this work, the problem of the description of sets of values of characters, which are point-evaluation functionals, on elementary symmetric polynomials on the Cartesian square of $L_\infty$ is completely solved. We show that sets of values of point-evaluation functionals on elementary symmetric polynomials satisfy some natural condition. Also, we show that for any set $c$ of complex numbers, which satisfies the above-mentioned condition, there exists an element $x$ of the Cartesian square of $L_\infty$ such that values of the point-evaluation functional at $x$ on elementary symmetric polynomials coincide with the respective elements of the set $c.$

$*$-Polynomials are natural generalizations of usual polynomials between complex vector spaces. A $*$-polynomial is a function between complex vector spaces $X$ and $Y,$ which is a sum of so-called $(p,q)$-polynomials. In turn, for nonnegative integers $p$ and $q,$ a $(p,q)$-polynomial is a function between $X$ and $Y,$ which is the restriction to the diagonal of some mapping, acting from the Cartesian power $X^{p+q}$ to $Y,$ which is linear with respect to every of its first $p$ arguments, antilinear with respect to every of its last $q$ arguments and invariant with respect to permutations of its first $p$ arguments and last $q$ arguments separately. In this work we construct formulas for recovering of $(p,q)$-polynomial components of $*$-polynomials, acting between complex vector spaces $X$ and $Y,$ by the values of $*$-polynomials. We use these formulas for investigations of $*$-polynomials, acting from the $n$-dimensional complex vector space $\mathbb{C}^n$ to $\mathbb{C},$ which are symmetric, that is, invariant with respect to permutations of coordinates of its argument. We show that every symmetric $*$-polynomial, acting from $\mathbb{C}^n$ to $\mathbb{C},$ can be represented as an algebraic combination of some "elementary" symmetric $*$-polynomials. Results of the paper can be used for investigations of algebras, generated by symmetric $*$-polynomials, acting from $\mathbb{C}^n$ to $\mathbb{C}.$

A $*$-polynomial is a function on a complex Banach space $X,$ which is a sum of so-called $(p,q)$-polynomials. In turn, for non-negative integers $p$ and $q,$ a $(p,q)$-polynomial is a function on $X,$ which is the restriction to the diagonal of some mapping, defined on the Cartesian power $X^{p+q},$ which is linear with respect to every of its first $p$ arguments and antilinear with respect to every of its other $q$ arguments. The set of all continuous $*$-polynomials on $X$ form an algebra, which contains the algebra of all continuous polynomials on $X$ as a proper subalgebra. So, completions of this algebra with respect to some natural norms are wider classes of functions than algebras of holomorphic functions. On the other hand, due to the similarity of structures of $*$-polynomials and polynomials, for the investigation of such completions one can use the technique, developed for the investigation of holomorphic functions on Banach spaces. We investigate the Frechet algebra of functions on a complex Banach space, which is the completion of the algebra of all continuous $*$-polynomials with respect to the countable system of norms, equivalent to norms of the uniform convergence on closed balls of the space. We establish some properties of shift operators (which act as the addition of some fixed element of the underlying space to the argument of a function) on this algebra. In particular, we show that shift operators are well-defined continuous linear operators. Also we prove some estimates for norms of values of shift operators. Using these results, we investigate one special class of functions from the algebra, which is important in the description of the spectrum (the set of all maximal ideals) of the algebra.

We consider the question of the possibility to recover a multilinear mapping from the restriction to the diagonal of its extension to a Cartesian power of a space.

We introduce block-symmetric polynomials on $(L_\infty)^2$ and prove that every continuous block-symmetric polynomial of degree at most two on $(L_\infty)^2$ can be uniquely represented by some "elementary" block-symmetric polynomials.

We consider polynomials on spaces lpCn,1≤p<+∞, of p-summing sequences of n-dimensional complex vectors, which are symmetric with respect to permutations of elements of the sequences, and describe algebraic bases of algebras of continuous symmetric polynomials on lpCn.

It is described a spectra of Wiener type algebras of functions generated by $(p, q)$-polynomials on Banach spaces. Derivations on these algebras introduced and investigated.

We prove that every symmetric continuous linear functional on the complex space $L_\infty[0,1]$ can be represented as a Lebesgue integral multiplied by a constant.

It is proved an analogues of polarization formula and polarization inequality and Martin’s formula for $(p, q)$-linear maps on normed spaces.