The paper studies semi-almost periodic holomorphic functions on a polydisk which have, in a sense, the weakest possible discontinuities on the boundary torus. The basic result used in the proofs is an extension of the classical Bohr approximation theorem for almost periodic holomorphic functions on a strip to the case of Banach-valued almost periodic holomorphic functions.
A class of maps in a complex Banach space is studied, which includes both unbounded linear operators and nonlinear holomorphic maps. The defining property, which we call {\sl pseudo-contractivity}, is introduced by means of the Abel averages of such maps. We show that the studied maps are dissipative in the spirit of the classical Lumer-Phillips theorem. For pseudo-contractive holomorphic maps, we establish the power convergence of the Abel averages to holomorphic retractions.
Given a symbol $φ,$ i.e., a holomorphic endomorphism of the unit disc, we consider the composition operator $C_φ(f)=f\circφ$ defined on the Banach spaces of holomorphic functions $A(\mathbb{D})$ and $H^{\infty}(\mathbb{D})$. We obtain different conditions on the symbol $φ$ which characterize when the composition operator is mean ergodic and uniformly mean ergodic in the corresponding spaces. These conditions are related to the asymptotic behaviour of the iterates of the symbol. As an appendix, we deal with some particular case in the setting of weighted Banach spaces of holomorphic functions.
Some theorems on convex functions are proved and an application of these theorems in the theory of weighted Banach spaces of holomorphic functions is investigated, too. We prove that $H_v(G)$ and $H_{v_0}(G)$ are exactly the same spaces as $H_w(G)$ and $H_{w_0}(G)$ where $w$ is the smallest log-concave majorant of $v$. This investigation is based on the theory of convex functions and some specific properties of the weighted banach spaces of holomorphic functions under considaration and we do not use the theory of associated weights.
We investigate certain envelopes of open sets in dual Banach spaces which are related to extending holomorphic functions. We give a variety of examples of absolutely convex sets showing that the extension is in many cases not possible. We also establish connections to the study of iterated weak* sequential closures of convex sets in the dual of separable spaces.
In this article, we study the multi-dimensional Bohr radii of holomorphic functions defined on the Banach sequence spaces with values in the Banach spaces. For the case of finite dimensional Banach spaces, we exhibit the exact asymptotic growth of the Bohr radius. To achieve our goal in the finite case, we use $\ell_{p'}$-summability of certain coefficients of a given polynomial in terms of its uniform norm on $\ell_p^n$. The infinite case is handled using the techniques developed in recent years from the work of Defant, Maestre and Schwarting. We crucially use several properties of the symmet…
We show, e.g., that a holomorphic Banach vector bundle over a pseudoconvex open subset of, say, Hilbert space is holomorphically trivial if it is continuously trivial. Some applications are also given.
We study, to certain Banach spaces $X$, families of weighted composition operators. Notably, we show that if this family form a strongly continuous semigroup, then its infinitesimal generator ($Γ, D(Γ)$) is given by $Γf = gf+Gf^\prime$ with $D(Γ) = \{ f\in X \ | \ gf+Gf^\prime\in X \}$ where $g, G$ are holomorphic functions. Moreover, our second maim result is to study the reciprocal implication. That is if $(Γ, D(Γ))$, define like above, generate a strongly continuous semigroup, then this one is a family of weighted composition operators.
Let $X$ be a Banach holomorphic function space on the unit disk. A linear polynomial approximation scheme for $X$ is a sequence of bounded linear operators $T_n:X\to X$ with the property that, for each $f\in X$, the functions $T_n(f)$ are polynomials converging to $f$ in the norm of the space. We completely characterize those spaces $X$ that admit a linear polynomial approximation scheme. In particular, we show that it is NOT sufficient merely that polynomials be dense in $X$.
Given $\u$ a multiplicative sequence of polynomial ideals, we consider the associated algebra of holomorphic functions of bounded type, $H_{b\u}(E)$. We prove that, under very natural conditions verified by many usual classes of polynomials, the spectrum $M_{b\u}(E)$ of this algebra "behaves" like the classical case of $M_{b}(E)$ (the spectrum of $H_b(E)$, the algebra of bounded type holomorphic functions). More precisely, we prove that $M_{b\u}(E)$ can be endowed with a structure of Riemann domain over $E"$ and that the extension of each $f\in H_{b\u}(E)$ to the spectrum is an $\u$-holomorphi…
The authors lay the foundations for the study of normal families of holomorphic functions and mappings on an infinite-dimensional normed linear space. Characterizations of normal families, in terms of value distribution, spherical derivatives, and other geometric properties are derived. Montel-type theorems are established. A number of different topologies on spaces of holomorphic mappings are considered. Theorems about normal families are formulated and proved in the language of these various topologies. Normal functions are also introduced. Characterizations in terms of automorphisms and als…
In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincaré inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Hajłasz- and Newton-Sobolev spaces, respectively. First, we show that Hajłasz-Sobolev extendability is independent of the target Banach spaces. We also show that every $c_0$-valued Newton-Sobolev extension set is a Banach-valued Newton-Sobolev extension set …
Let $B(Ω)$ be the Banach space of holomorphic functions on a bounded connected domain $Ω$ in $\mathbb C^n$, which contains the ring of polynomials on $Ω$. In this paper, we first establish a criterion for $B(Ω)$ to be reflexive via evaluation functions on $B(Ω)$, that is, $B(Ω)$ is reflexive if and only if the evaluation functions span the dual spaces $(B(Ω))^{*} $. Moreover, under suitable assumptions on $Ω$ and $B(Ω)$, we establish a characterization of the composition operator $C_φ$ to be a Fredholm operator on $B(Ω)$ via the property of the holomorphic self-map $φ:Ω\toΩ$. Our new approach …
We establish triviality of some holomorphic Banach vector bundles on the maximal ideal space of the Banach algebra of bounded holomorphic functions on the unit disk with pointwise multiplication and supremum norm. We apply the result to the study of the Sz.-Nagy operator corona problem.
We study Banach-valued holomorphic functions defined on open subsets of the maximal ideal space of the Banach algebra H^\infty of bounded holomorphic functions on the unit disk D\subset C with pointwise multiplication and supremum norm. In particular, we establish vanishing cohomology for sheaves of germs of such functions and, solving a Banach-valued corona problem for H^\infty, prove that the maximal ideal space of the algebra H_{\rm comp}^\infty (A) of holomorphic functions on $\Di$ with relatively compact images in a commutative unital complex Banach algebra A is homeomorphic to the direct…
We study the differential equation $\frac{\partial G}{\partial\bar z}=g$ with an unbounded Banach-valued Bochner measurable function $g$ on the open unit disk $\mathbb D\subset\mathbb C$. We prove that under some conditions on the growth and essential support of $g$ such equation has a bounded solution given by a continuous linear operator. The obtained results are applicable to the Banach-valued corona problem for the algebra of bounded holomorphic functions on $\mathbb D$ with values in a complex commutative unital Banach algebra.
In this paper we introduce a class of pseudo-dissipative holomorphic maps which contains, in particular, the class of infinitesimal generators of semigroups of holomorphic maps on the unit ball of a complex Banach space. We give a growth estimate for maps of this class. In particular, it follows that pseudo-dissipative maps on the unit ball of (infinite-dimensional) Banach spaces are bounded on each domain strictly contained inside the ball. We also present some applications.
We prove a Montel theorem for Hilbert space valued functions, and a non-commutative version of this theorem, by composing with unitaries to achieve convergence.
This paper is motivated by Grothendieck's splitting theorem. In the 1960s, Gohberg generalized this to a class of Banach bundles. We consider a compact complex manifold $X$ and a holomorphic Banach bundle $E \to X$ that is a compact perturbation of a trivial bundle in a sense recently introduced by Lempert. We prove that $E$ splits into the sum of a finite rank bundle and a trivial bundle, provided $H^{1}(X, Ø)=0$.
We consider a compact complex manifold $M$, and introduce the notion of two holomorphic Banach bundles $E,F$ over $M$ being compact perturbations of one another. Given two such bundles we show that if the cohomology groups $H^q(M,E)$ are finite dimensional then so are the cohomology groups $H^q(M,F)$; as well as a more precise result in the same spirit.
Let $X$ be a separable Banach space and $u{:} X\to\Bbb{R}$ locally upper bounded. We show that there are a Banach space $Z$ and a holomorphic function $h{:} X\to Z$ with $u(x)<\|h(x)\|$ for $x\in X$. As a consequence we find that the sheaf cohomology group $H^q(X,\Cal{O})$ vanishes if $X$ has the bounded approximation property (i.e., $X$ is a direct summand of a Banach space with a Schauder basis), $\Cal{O}$ is the sheaf of germs of holomorphic functions on $X$, and $q\ge1$. As another consequence we prove that if $f$ is a $C^1$-smooth $\overline\partial$-closed $(0,1)$-form on the space $X=L_…
Multidimensional Bohr radii for holomorphic functions with values in complex Banach spaces
Indian Institute of Technology Bhubaneswar(印度理工学院布巴内斯瓦尔分校);Indian Institute of Science(印度科学研究所);National Institute of Science Education and Research(国家科学教育研究中心)
We consider weighted algebras of holomorphic functions on a Banach space. We determine conditions on a family of weights that assure that the corresponding weighted space is an algebra or has polynomial Schauder decompositions. We study the spectra of weighted algebras and endow them with an analytic structure. We also deal with composition operators and algebra homomorphisms, in particular to investigate how their induced mappings act on the analytic structure of the spectrum. Moreover, a Banach-Stone type question is addressed.
In the present paper we give some explicit proofs for folklore theorems on holomorphic functions in several variables with values in a locally complete locally convex Hausdorff space $E$ over $\mathbb{C}$. Most of the literature on vector-valued holomorphic functions is either devoted to the case of one variable or to infinitely many variables whereas the case of (finitely many) several variables is only touched or is subject to stronger restrictions on the completeness of $E$ like sequential completeness. The main tool we use is Cauchy's integral formula for derivatives for an $E$-valued holo…
In this paper we introduce (weakly) root graded Banach--Lie algebras and corresponding Lie groups as natural generalizations of group like $\GL_n(A)$ for a Banach algebra $A$ or groups like $C(X,K)$ of continuous maps of a compact space $X$ into a complex semisimple Lie group $K$. We study holomorphic induction from holomorphic Banach representations of so-called parabolic subgroups $P$ to representations of $G$ on holomorphic sections of homogeneous vector bundles over $G/P$. One of our main results is an algebraic characterization of the space of sections which is used to show that this spac…
We study a "$p$-powered" version $K_n^p(F(R))$ of the well-known Bohr radius problem for the family $F(R)$ of holomorphic functions $f: R\to X$ satisfying $\|f\|<\infty$, where $\|.\|$ is a norm in the function space $F(R)$, $R\subset\mathbb{C}^n$ is a complete Reinhardt domain and $X$ is a complex Banach space. For all $p>0$, we describe in full details the asymptotic behaviour of $K_n^p(F(R))$, where $F(R)$ is (a) the Hardy space of $X$-valued holomorphic functions defined in the open unit polydisk $\mathbb{D}^n$, and (b) the space of bounded $X$-valued holomorphic or complex-valued plurihar…
We show that if $X$ is a Banach space with a Schauder basis, $Ω\subset X$ is a pseudoconvex open subset, and $u:\,Ω\to(-\infty,\infty)$ is a locally bounded function, then there are a Banach space $Z$ and a holomorphic function $h:\,Ω\to Z$ with $u(x)<\|h(x)\|$ for all $x\inΩ$.
Let $ E $ be a space of holomorphic functions on the unit ball $ B_X $ of a Banach space $ X.$ In this work, we introduce a Banach structure associated to $ E $ on the linear space $ WE(Y) $ containing $ Y$-valued holomorphic functions on $ B_X $ such that $ w \circ f \in E $ for every $ w \in W, $ a separating subspace of the dual $ Y' $ of a Banach $ Y. $ We establish the relation between the boundedness, the (weak) compactness of the weighted composition operators $ W_{ψ,φ}: f\mapsto ψ\cdot(f \circ φ) $ on $ E $ and $ \widetilde{W}_{ψ,φ}: g\mapsto ψ\cdot(g \circ φ) $ on $ WE(Y)$ via some ch…
We show that the holomorphic ideal sheaf of a linear section of a pseudoconvex open subset $Ω$ of, say, a Hilbert space $X=\ell_2$ is acyclic. We also prove an analog of Hefer's lemma, i.e., if $f:Ω\timesΩ\to\CC$ is holomorphic and $f(x,x)=0$ for $x\inΩ$, then there is a holomorphic $g:Ω\timesΩ\to X^*$ with values in the dual space $X^*$ of $X$ such that $f(x,y)=g(x,y)(x-y)$
Let $S$ be a compact Hausdorff space and $X$ a complex manifold. We consider the space $C(S,X)$ of continuous maps $S\to X$, and prove that any bounded holomorphic function on this space can be continued to a holomorphic function, possibly multivalued, on a larger space $B(S,X)$ of Borel maps. As an application we prove two theorems about bounded holomorphic functions on $C(S,X)$, one reminiscent of the Monodromy Theorem, the other of Liouville's Theorem.
We explore the convergence of Kergin interpolation polynomials of holomorphic functions in Banach spaces, which need not be of bounded type. We also investigate a case where the Kergin series diverges.
Let D be a bounded domain in the complex plane whose boundary consists of m pairwise disjoint simple closed curves where m is greater than one. Let A(bD) be the algebra of all continuous functions on bD which extend holomorphically through D. We show that a continuous function f on bD belongs to A(bD) if for each g in A(bD) the harmonic extension of Re(fg) to D has a single valued conjugate.
The study of Newton's method in complex-valued neural networks faces many difficulties. In this paper, we derive Newton's method backpropagation algorithms for complex-valued holomorphic multilayer perceptrons, and investigate the convergence of the one-step Newton steplength algorithm for the minimization of real-valued complex functions via Newton's method. To provide experimental support for the use of holomorphic activation functions, we perform a comparison of using sigmoidal functions versus their Taylor polynomial approximations as activation functions by using the algorithms developed …
In this paper, we first obtain a refined version of the Bohr inequality of norm-type for holomorphic mappings with lacunary series on the polydisk in $\mathbb{C}^n$ under some restricted conditions. Next, we determine the refined version of the Bohr inequality for holomorphic functions defined on a balanced domain $ G $ of a complex Banach space $ X $ and take values from the unit disk $ \mathbb{D} $. Furthermore, as a consequence of one of this results, we obtain a refined version of the Bohr-type inequalities for harmonic functions $ f=h+\bar{g} $ defined on a balanced domain $ G\subset X $.…
We show that for every connected analytic subvariety $V$ there is a pseudoconvex set $Ω$ such that every bounded matrix-valued holomorphic function on $V$ extends isometrically to $Ω$. We prove that if $V$ is two analytic disks intersecting at one point, if every bounded scalar valued holomorphic function extends isometrically to $Ω$, then so does every matrix-valued function. In the special case that $Ω$ is the symmetrized bidisk, we show that this cannot be done by finding a linear isometric extension from the functions that vanish at one point.