scholarly journals Algebras of symmetric analytic functions on Cartesian powers of Lebesgue integrable in a power $p\in [1,+\infty)$ functions

2021 ◽  
Vol 13 (2) ◽  
pp. 340-351
Author(s):  
T.V. Vasylyshyn

The work is devoted to the study of Fréchet algebras of symmetric (invariant under the composition of every of components of its argument with any measure preserving bijection of the domain of components of the argument) analytic functions on Cartesian powers of complex Banach spaces of Lebesgue integrable in a power $p\in [1,+\infty)$ complex-valued functions on the segment $[0,1]$ and on the semi-axis. We show that the Fréchet algebra of all symmetric analytic entire complex-valued functions of bounded type on the $n$th Cartesian power of the complex Banach space $L_p[0,1]$ of all Lebesgue integrable in a power $p\in [1,+\infty)$ complex-valued functions on the segment $[0,1]$ is isomorphic to the Fréchet algebra of all analytic entire functions on $\mathbb C^m,$ where $m$ is the cardinality of the algebraic basis of the algebra of all symmetric continuous complex-valued polynomials on this Cartesian power. The analogical result for the Fréchet algebra of all symmetric analytic entire complex-valued functions of bounded type on the $n$th Cartesian power of the complex Banach space $L_p[0,+\infty)$ of all Lebesgue integrable in a power $p\in [1,+\infty)$ complex-valued functions on the semi-axis $[0,+\infty)$ is proved.

2021 ◽  
Vol 56 (1) ◽  
pp. 106-112
Author(s):  
S.I. Halushchak

The theory of analytic functions is an important section of nonlinear functional analysis.In many modern investigations topological algebras of analytic functions and spectra of suchalgebras are studied. In this work we investigate the properties of the topological algebras of entire functions,generated by countable sets of homogeneous polynomials on complex Banach spaces. Let $X$ and $Y$ be complex Banach spaces. Let $\mathbb{A}= \{A_1, A_2, \ldots, A_n, \ldots\}$ and $\mathbb{P}=\{P_1, P_2,$ \ldots, $P_n, \ldots \}$ be sequences of continuous algebraically independent homogeneous polynomials on spaces $X$ and $Y$, respectively, such that $\|A_n\|_1=\|P_n\|_1=1$ and $\deg A_n=\deg P_n=n,$ $n\in \mathbb{N}.$ We consider the subalgebras $H_{b\mathbb{A}}(X)$ and $H_{b\mathbb{P}}(Y)$ of the Fr\'{e}chet algebras $H_b(X)$ and $H_b(Y)$ of entire functions of bounded type, generated by the sets $\mathbb{A}$ and $\mathbb{P}$, respectively. It is easy to see that $H_{b\mathbb{A}}(X)$ and $H_{b\mathbb{P}}(Y)$ are the Fr\'{e}chet algebras as well. In this paper we investigate conditions of isomorphism of the topological algebras $H_{b\mathbb{A}}(X)$ and $H_{b\mathbb{P}}(Y).$ We also present some applications for algebras of symmetric analytic functions of bounded type. In particular, we consider the subalgebra $H_{bs}(L_{\infty})$ of entire functions of bounded type on $L_{\infty}[0,1]$ which are symmetric, i.e. invariant with respect to measurable bijections of $[0,1]$ that preserve the measure. We prove that$H_{bs}(L_{\infty})$ is isomorphic to the algebra of all entire functions of bounded type, generated by countable set of homogeneous polynomials on complex Banach space $\ell_{\infty}.$


2019 ◽  
Vol 11 (2) ◽  
pp. 311-320 ◽  
Author(s):  
S.I. Halushchak

In this work, we investigate the properties of the topological algebra of entire functions of bounded type, generated by a countable set of homogeneous polynomials on a complex Banach space. Let $X$ be a complex Banach space. We consider a subalgebra $H_{b\mathbb{P}}(X)$ of the Fréchet algebra of entire functions of bounded type $H_b(X),$ generated by a countable set of algebraically independent homogeneous polynomials $\mathbb{P}.$ We show that each term of the Taylor series expansion of entire function, which belongs to the algebra $H_{b\mathbb{P}}(X),$ is an algebraic combination of elements of $\mathbb{P}.$ We generalize the theorem for computing the radius function of a linear functional on the case of arbitrary subalgebra of the algebra $H_b(X)$ on the space $X.$ Every continuous linear multiplicative functional, acting from $H_{b\mathbb{P}}(X)$ to $\mathbb{C}$ is uniquely determined by the sequence of its values on the elements of $\mathbb{P}.$ Consequently, there is a bijection between the spectrum (the set of all continuous linear multiplicative functionals) of the algebra $H_{b\mathbb{P}}(X)$ and some set of sequences of complex numbers. We prove the upper estimate for sequences of this set. Also we show that every function that belongs to the algebra $H_{b\mathbb{P}}(X),$ where $X$ is a closed subspace of the space $\ell_{\infty}$ such that $X$ contains the space $c_{00},$ can be uniquely analytically extended to $\ell_{\infty}$ and algebras $H_{b\mathbb{P}}(X)$ and $H_{b\mathbb{P}}(\ell)$ are isometrically isomorphic. We describe the spectrum of the algebra $H_{b\mathbb{P}}(X)$ in this case for some special form of the set $\mathbb{P}.$ Results of the paper can be used for investigations of the algebra of symmetric analytic functions on Banach spaces.


2019 ◽  
Vol 11 (1) ◽  
pp. 42-47 ◽  
Author(s):  
I.V. Chernega ◽  
A.V. Zagorodnyuk

Let $\{P_n\}_{n=0}^\infty$ be a sequenceof continuous algebraically independent  homogeneous polynomials on a complex Banach space $X.$ We consider the following question: Under which conditions polynomials $\{P_1^{k_1}\cdots P_n^{k_n}\}$ form a Schauder (perhaps absolute) basis in the minimal subalgebra of entire functions of bounded type on $X$ which contains the sequence $\{P_n\}_{n=0}^\infty$? In the paper we study the following examples: when $P_n$ are coordinate functionals on $c_0,$ and when $P_n$ are symmetric polynomials on $\ell_1$ and on $L_\infty[0,1].$ We can see that for some cases $\{P_1^{k_1}\cdots P_n^{k_n}\}$ is a Schauder basis which is not absolute but for some cases it is absolute.


2020 ◽  
Vol 53 (2) ◽  
pp. 192-205
Author(s):  
T. Vasylyshyn ◽  
A. Zagorodnyuk

We construct an algebraic basis of the algebra of symmetric (invariant under composition of the variable with any measure preserving bijection of $[0,1]$) continuous polynomials on the $n$th Cartesian power of the real Banachspace $L_^{(\mathbb{R})}\infty[0,1]$ of Lebesgue measurable essentially bounded real valued functions on $[0,1].$ Also we describe the spectrum of the Fr\'{e}chet algebra $A_s(L_^{(\mathbb{R})}\infty[0,1])$ of symmetric real-valued functions on the space $L_^{(\mathbb{R})}\infty[0,1]$, which is the completion of the algebra of symmetric continuous real-valued polynomials on  $L_^{(\mathbb{R})}\infty[0,1]$ with respect to the family of norms of uniform convergence of complexifications of polynomials. We show that $A_s(L_^{(\mathbb{R})}\infty[0,1])$ contains not only analytic functions. Results of the paper can be used for investigations of algebras of symmetric functions on the $n$th Cartesian power of the Banach space $L_^{(\mathbb{R})}\infty[0,1]$.


2019 ◽  
Vol 11 (2) ◽  
pp. 493-501
Author(s):  
T.V. Vasylyshyn

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.$


2018 ◽  
Vol 9 (2) ◽  
pp. 198-201 ◽  
Author(s):  
T.V. Vasylyshyn

It is known that every complex-valued homomorphism of the Fréchet algebra $H_{bs}(L_\infty)$ of all entire symmetric functions of bounded type on the complex Banach space $L_\infty$ is a point-evaluation functional $\delta_x$ (defined by $\delta_x(f) = f(x)$ for $f \in H_{bs}(L_\infty)$) at some point $x \in L_\infty.$ Therefore, the spectrum (the set of all continuous complex-valued homomorphisms) $M_{bs}$ of the algebra $H_{bs}(L_\infty)$ is one-to-one with the quotient set $L_\infty/_\sim,$ where an equivalence relation "$\sim$'' on $L_\infty$ is defined by $x\sim y \Leftrightarrow \delta_x = \delta_y.$ Consequently, $M_{bs}$ can be endowed with the quotient topology. On the other hand, $M_{bs}$ has a natural representation as a set of sequences which endowed with the coordinate-wise addition and the quotient topology forms an Abelian topological group. We show that the topology on $M_{bs}$ is metrizable and it is induced by the metric $d(\xi, \eta) = \sup_{n\in\mathbb{N}}\sqrt[n]{|\xi_n-\eta_n|},$ where $\xi = \{\xi_n\}_{n=1}^\infty,\eta = \{\eta_n\}_{n=1}^\infty \in M_{bs}.$


Axioms ◽  
2021 ◽  
Vol 10 (3) ◽  
pp. 150
Author(s):  
Andriy Zagorodnyuk ◽  
Anna Hihliuk

In the paper we establish some conditions under which a given sequence of polynomials on a Banach space X supports entire functions of unbounded type, and construct some counter examples. We show that if X is an infinite dimensional Banach space, then the set of entire functions of unbounded type can be represented as a union of infinite dimensional linear subspaces (without the origin). Moreover, we show that for some cases, the set of entire functions of unbounded type generated by a given sequence of polynomials contains an infinite dimensional algebra (without the origin). Some applications for symmetric analytic functions on Banach spaces are obtained.


2016 ◽  
Vol 8 (1) ◽  
pp. 127-133 ◽  
Author(s):  
Z.G. Mozhyrovska

In the paper, it is proposed a method of construction of hypercyclic composition operators on $H(\mathbb{C}^n)$ using polynomial automorphisms of $\mathbb{C}^n$ and symmetric analytic functions on $\ell_p.$ In particular, we show that an "symmetric translation" operator is hypercyclic on a Frechet algebra of symmetric entire functions on $\ell_p$ which are bounded on bounded subsets.


2019 ◽  
Vol 2019 ◽  
pp. 1-6
Author(s):  
Han Ju Lee

Let X be a complex Banach space and Cb(Ω:X) be the Banach space of all bounded continuous functions from a Hausdorff space Ω to X, equipped with sup norm. A closed subspace A of Cb(Ω:X) is said to be an X-valued function algebra if it satisfies the following three conditions: (i) A≔{x⁎∘f:f∈A,  x⁎∈X⁎} is a closed subalgebra of Cb(Ω), the Banach space of all bounded complex-valued continuous functions; (ii) ϕ⊗x∈A for all ϕ∈A and x∈X; and (iii) ϕf∈A for every ϕ∈A and for every f∈A. It is shown that k-homogeneous polynomial and analytic numerical index of certain X-valued function algebras are the same as those of X.


Sign in / Sign up

Export Citation Format

Share Document