Search

A classical result of Fatou gives that every bounded holomorphic function on the disc has radial limits for almost every point in the torus, and the limit function belongs to the Hardy space H_\infty of the torus. This property is no longer true when we consider vector-valued functions. The Banach spaces X for which this property is satisfied are said to have the analytic Radon-Nikodym property (ARNP). Some important equivalent reformulations of ARNP are studied in this chapter. Among others, X has ARNP if and only if each X-valued H_p- function f on the disc has radial limits almost everywhere on the torus (and not only H_\infty-functions). Even more, in this case each such f has non-tangential limits within any Stolz region. The basic tools are subharmonic functions and certain maximal inequalities. Finally, it is shown that if X has the ARNP, then every L_p of functions taking values in X with a finite measure also has ARNP.

Given a Banach space X, we consider Hardy spaces of X-valued functions on the infinite polytorus, Hardy spaces of X-valued Dirichlet series (defined as the image of the previous ones by the Bohr transform), and Hardy spaces of X-valued holomorphic functions on l_2 ∩ B_{c0}. The chapter is dedicated to study the interplay between these spaces. It is shown that the space of functions on the polytorus always forms a subspace of the one of holomorphic functions, and these two are isometrically isomorphic if and only if X has ARNP. Then the question arises of what do we find in the side of Dirichlet series when we look at the image of the Hardy space of holomorphic functions. This is also answered, showing that this consists of Dirichlet series for which all horizontal translations (those whose coefficients are (a_n/n^e)) are in \mathcal{H}_p with uniformly bounded norms. Also, a version of the brothers Riesz theorem for vector-valued functions is given.

We give an introduction to vector-valued holomorphic functions in Banach spaces, defined through Frechet differentiability. Every function defined on a Reinhardt domain of a finite-dimensional Banach space is analytic, i.e. can be represented by a monomial series expansion, where the family of coefficients is given through a Cauchy integral formula. Every separate holomorphic (holomorphic on each variable) function is holomorphic. This is Hartogs’ theorem, which is proved using Leja’s polynomial lemma. For infinite-dimensional spaces, homogeneous polynomials are defined as the diagonal of multilinear mappings. A function is holomorphic if and only if it is Gâteaux holomorphic and continuous, if and only if it has representation as a series of homogeneous polynomials (known as Taylor expansion). A function is weak holomorphic if the composition with every functional is holomorphic. A function is holomorphic if and only if it is weak holomorphic. Analytic functions are holomorphic.

Basic topics on Banach space theory needed for the text are reviewed. Hahn-Banach theorem, Baire’s theorem, uniform boundedness principle, closed graph theorem, weak topologies, Banach-Alaoglu theorem, unconditional basis, Banach sequence spaces, summing operators, factorable operators, cotype, Kahane inequality.

This is a short introduction to the theory of holomorphic functions in finitely and infinitely many variables. We begin with functions in finitely many variables, giving the definition of holomorphic function. Every such function has a monomial series expansion, where the coefficients are given by a Cauchy integral formula. Then we move to infinitely many variables, considering functions defined on B_{c0}, the open unit ball of the space of null sequences. Holomorphic functions are defined by means of Frechet differentiability. We have versions of Weierstrass and Montel theorems in this setting. Every holomorphic function on B_{c0} defines a family of coefficients through a Cauchy integral formula and a (formal) monomial series expansion. Every bounded analytic (represented by a convergent power series) function is holomorphic. Hilbert’s criterion, that gives conditions on a family of scalars so that it is attached to a bounded holomorphic function on B_{c0}. Homogeneous polynomials are those entire functions having non-zero coefficients only for multi-indices of a given order. We show how these are related to multilinear forms on c0 through the polarization formulas.