Domains of convergence in infinite dimensional holomorphy
Von der Fakult¨at f¨urMathematik und Naturwissenschaften der Carl von Ossietzky Universit¨atOldenburg zur Erlangung des Grades und Titels eines Doktors der Naturwissenschaften (Dr. rer. nat.) angenommene Dissertation von
Christopher Prengel geboren am 28.10.1975 in Hannover Gutachter: apl. Prof. Dr. A. Defant Zweitgutachter: Prof. Dr. P. Pflug
Tag der Disputation: 26.10.2005 Abstract
For certain subsets F(R) of holomorphic functions on a Reinhardt domain m R in a Banach sequence space X, mainly for H∞(R), P (X) and P(X), we give precise descriptions of the domain of convergence dom F(R), i.e. the set of all points of R where the monomial expansion
X ∂αf(0) zα α! (N) α∈N0 of every function f ∈ F(R) is (unconditionally) convergent. The results are obtained by an interplay of complex analysis and local Banach space theory, improving work of Ryan and Lempert about monomial expan- sions of holomorphic functions on `1 and using methods from the theory of multidimensional Bohr radii. The problem of conditional convergence is solved for polynomials. It is closely connected with bases for full and symmetric tensor products and convergence preserving permutations. Zusammenfassung
F¨urgewisse Teilmengen F(R) holomorpher Funktionen auf einem Reinhardt- m gebiet R in einem Banachfolgenraum X, vor allem f¨ur H∞(R), P (X) und P(X), geben wir eine genaue Beschreibung des Konvergenzbereichs dom F(R), d.h. der Menge aller Punkte aus R, in denen die Monomial- entwicklung X ∂αf(0) zα α! (N) α∈N0 einer jeden Funktion f ∈ F(R) (unbedingt) konvergiert. Die Resultate werden durch ein Zusammenspiel von komplexer Analysis und lokaler Banachraumtheorie erzielt, setzen Arbeiten von Ryan und Lempert ¨uber Monomialentwicklungen holomorpher Funktionen auf `1 fort und bedie- nen sich der Theorie mehrdimensionaler Bohrradien. Das Problem bedingter Konvergenz wird f¨urPolynome gel¨ost. Es ist eng verkn¨upft mit Basen f¨urvolle und symmetrische Tensorprodukte und kon- vergenzerhaltenden Permutationen. I thank my supervisor Andreas Defant for his guidance during the preparation of this thesis. Gracias a Manuel Maestre por las discusi´ones ´utilesy por su invitaci´ona Va- lencia. Tambi´ena todas las personas que hac´ıan que mi estancia in Valencia fuera muy agradable, especialmente Pilar y su familia, Pablo y Marta, y por supuesto Manolo. Thank you Melissa for correcting my English.
Contents
Introduction 9
Preliminaries 15
1. Norm estimates of identities between symmetric tensor products of Banach se- quence spaces 25 Identities between symmetric and full tensor products ...... 26 Volume estimates for unit balls of spaces of m-homogeneous polynomials ... 31 `-norm estimates for the injective and projective tensor product ...... 33 Volume ratio of m-fold tensor products ...... 44
2. Domains of convergence 51 Domains of convergence of holomorphic functions ...... 51
Lower inclusions for dom H∞(R) ...... 65 The arithmetic Bohr radius ...... 75
Upper inclusions for dom H∞(R) ...... 84 A description of dom Pm(X) ...... 89 A conjecture ...... 93 The domain of convergence of the polynomials ...... 105
The exceptional role of `1 ...... 107 Domains of convergence, Bohr radii and unconditionality ...... 113
3. Tensor and s-tensor orders 119 Orders on Nm ...... 121 Orders for tensor products ...... 130 Examples ...... 134 Bases for symmetric tensor products and spaces of polynomials ...... 167 Pointwise convergence ...... 170 Bibliography 174 Introduction
A holomorphic function f on a Reinhardt domain R in Cn has a power series expansion X α f(z) = cα(f)z n α∈N0 ∂αf(0) with coefficients cα(f) = α! that converges to f in every point of R. In infinite dimensions, if f is holomorphic on a Reinhardt domain R in a ∂αf(0) Banach sequence space X and we define cα(f) := α! then
X α f(z) = cα(f)z
(N) α∈N0 holds for finite sequences z = (z1, . . . , zn, 0,...) ∈ R and we ask: Where on R does this monomial expansion series converge? We call the set dom(f) of all those points the domain of convergence of f. In this thesis we give precise descriptions of the domain of convergence \ dom F(R) = dom(f) f∈F(R) of certain subsets F(R) ⊂ H(R) of holomorphic functions. Historically the problem that we consider here is connected with the defini- tion of holomorphy in infinite dimensions. Holomorphy in finite dimensions can be characterized by convergence of monomial expansion series in the neighbourhood of every point and it was this approach that Hilbert tried at the beginning of the 20th century. In [46] he proposed a theory of analytic functions in infinitely many variables based on representations by power series
X α cαz (0.1)
(N) α∈N0 (absolutely) convergent on infinite dimensional polydiscs
|z1| ≤ ε1, |z2| ≤ ε2, |z3| ≤ ε3,... (0.2) 10 Introduction
where (εn) is a sequence of positive numbers. In the following years it became clear by the work of Fr´echet and Gˆateaux that expansions in power series of homogeneous polynomials are more suit- able, which formally can be obtained from (0.1) by building blocks
X α X X α cαz = cαz
(N) m |α|=m α∈N0
This theory was continued by students of Fr´echet. The current form for functions between normed spaces can be found in papers of Graves [43] and Taylor [75, 76] from the mid 1930’s, where the equivalence of Fr´echet differ- entiability, Gˆateaux differentiability plus continuity, and representation by a power series of homogeneous polynomials in the neighbourhood of every point is proved. A natural environment where it is possible to work with monomial expansions are fully nuclear locally convex spaces with basis, as was shown in 1978 by Boland and Dineen [15], see [35], [37] and [36, sec. 3.3, 4.5] for more results in this direction. Matos [60] characterized those holomorphic functions on an open subset of a Banach space with unconditional basis having monomial series representa- tions in the neighbourhood of every point to be functions of a certain holo- morphy type (see also [61]). He proved that in `1 these are all holomorphic functions. As we will see, the space `1 plays a special role in our theory. In some sense the results we give in this thesis justify the historical devel- opment. One problem with the Hilbert approach is that his definition is more restrictive than he actually thought. He gives us a criterion to de- cide if a power series (0.1) defines an analytic function in the domain (0.2). He claims that it is sufficient for the series to be bounded in the follow- P α ing sense: Every finite dimensional section n cαz of (0.1) (putting α∈N0 the variables zn+1, zn+2, zn+3,... equal to zero and identifying (α1, . . . , αn) = (N) (α1, . . . , αn, 0, 0,...) ∈ N0 ) is convergent for |z1| ≤ ε1,..., |zn| ≤ εn and
X α sup sup cαz < ∞ (0.3) n∈N |zi|≤εi n α∈N0
It can be seen from an example of Bohnenblust and Hille [12] that this is not true (see example 2.4 and also p. 12 below). But our results even show, extending Hilbert’s definition of boundedness in an appropriate way (see remark 2.9), that `1 is almost the only Banach sequence space where the criterion is true. Nevertheless it is remarkable here that a power series (0.1) satisfying (0.3) with all εn equal, say, to r > 0 defines a bounded holomorphic function on rBc0 in the current sense (remark 2.9). Introduction 11
The roots of our results can be found in the work of Harald Bohr at the beginning of the 20th century. He studied Dirichlet series
X an (0.4) ns n where an are complex coefficients and s is a complex variable. The domains where such a series converges absolutely, uniformly or conditionally are half planes [Re s > σ0] where σ0 = a, u or c is called the abscissa of absolute, uniform or conditional convergence respectively. More precisely σ0 = inf σ taken over all σ ∈ R such that on [Re s > σ] we have convergence of the requested type. Bohr wanted to know the greatest possible width T of the strip of uniform but non absolute convergence over all Dirichlet series (0.4):
6 uniform convergence -
absolute convergence - -
T = sup a − u P an ns u a He attacked this problem using the nowadays so called Bohr method (see [13]). Using the fundamental theorem of arithmetic he established a one to one correspondence between Dirichlet series and power series in infinitely many variables, given by
X an X α c z , c = a α (0.5) ns ! α α p n (N) α∈N0 where p = (pn) is the sequence of prime numbers p1 < p2 < p3 < . . . Then he defined S to be the least upper bound of all q > 0 such that P α P α |cα| ε < ∞ for every power series cαz bounded in Hilbert sense on |zn| ≤ 1, i.e. with X α sup sup cα z < ∞ (0.6) n |zi|≤1 n α∈N0 and every ε ∈ `q ∩ ] 0 , 1[ N and used the prime number theorem to prove
1 T = (0.7) S
Thus Bohr shifted the problem to the setting of bounded power series in infinitely many variables and he was able to prove S ≥ 2 ([13, Satz III]): 12 Introduction
P α Theorem 0.1. Let cαz be a power series bounded in the domain [|zi| ≤ 1] and ε ∈ `2 ∩ ] 0 , 1[ N. Then
X α |cα| ε < ∞
(N) α∈N0
Bohr did not know if 2 was the exact value of S, not even if S < ∞ (i.e. if T > 0, in other words: if there is a Dirichlet series (0.4) whose absissa a of absolute convergence and u of uniform convergence do not coinside). Um dies Problem zu erledigen, ist ein tieferes Eindringen in die Theorie der Potenzreihen unendlich vieler Variabeln n¨otig,als es mir in §3 gelungen ist.1 Bohr hoped to solve this problem by studying the relation between the ab- solute value of a power series and the sum of the absolute values of the individual terms. He went down to dimension one and asked (see [14]):
P n Given 0 < r < 1, does there always exist a power series cnz convergent and bounded by one on the unit disc such that
∞ X n |cn| r > 1 n=1 is true ? This question found a satisfying answer.
Theorem 0.2 (Bohr’s power series theorem). P n Let cnz be a power series in C with
∞ X n cnz ≤ 1 (0.8) n=1 for all |z| < 1. Then ∞ X n |cnz | ≤ 1 n=1 for all |z| < 1/3 and the value 1/3 is optimal, i.e. for every r > 1/3 there is P n P∞ n a power series cnz satisfying (0.8) and n=1|cn|r > 1.
Bohr did not manage to extend this result to power series in several variables. The finiteness of S was then obtained by Toeplitz [77]. He proved S ≤ 4 by constructing for every δ > 0 an ε ∈ `4+δ ∩ ] 0 , 1[ N and a 2-homogeneous P α P α polynomial |α|=2 cαz bounded on [|zi| ≤ 1] with |α|=2|cα|ε = ∞. Then after some time Bohnenblust and Hille [12] proved in 1931 that 2 is in fact the exact value of S. They showed that the upper bound 4 of Toeplitz is best possible if one just considers 2-homogeneous polynomials instead of arbitrary
1Bohr [13], p. 446 Introduction 13 power series, and they constructed examples of m-homogeneous polynomials for arbitrary m to get the result (see example 2.4). In 1989 Dineen and Timoney [37] studied the existence of absolute monomial bases for spaces of holomorphic functions on locally convex spaces and saw a possibility to solve their basis problem with the help of a polydisc version of Bohr’s theorem. In [38] they used this polydisc result to reprove the estimate S ≤ 2 in the way that Bohr originally might have thought of, showing that if P α P α ε ∈] 0 , 1[ N is such that |cα|ε < ∞ for all power series cαz bounded on [|zi| ≤ 1], then ε ∈ `2+δ for all δ > 0 (a sort of converse of theorem 0.1). In order to prove their multidimensional extension of theorem 0.2 they used a probabilistic method from [59] which goes back to the mid 70’s and of course was not accessible to Bohr. The initial step for our theory is to see that the considerations above about bounded power series in infinitely many variables also work for bounded holomorphic functions on B`∞ . The power series in the definition of S can be replaced by these functions:
S = sup{r > 0 | `r ∩ B`∞ ⊂ dom H∞(B`∞ )} and the results above can be summarized in a very simple way as
`2 ∩ B`∞ ⊂ dom H∞(B`∞ ) ⊂ `2+ε ∩ B`∞ (0.9) for every ε > 0. Here the lower inclusion is a restatement of Bohr’s theo- rem 0.2 and the upper one reflects the result of Dineen and Timoney. The examples of Bohnenblust and Hille give
`2+ε ∩ B`∞ 6⊂ dom H∞(B`∞ ) for every ε > 0. Another influence for our work are papers of Ryan [70] and Lempert [53] where they studied monomial expansions of holomorphic functions on `1.
There it is proved that dom(f) = rB`1 holds for every holomorphic function f on some multiple rB`1 of the unit ball in `1, again underlining the fact that this Banach space plays a special role in infinite dimensional complex analysis. In 1997 a systematic study of multidimensional extensions of Bohr’s power series theorem started with the work [11]. Several so called Bohr radii where defined and estimated, for example in [3, 2, 4, 5, 10, 11, 24, 25, 62]. Aside from techniques of complex analysis a keypoint in these estimates is often the use of probabilistic methods. On the other hand questions related to the one dimensional Bohr phenomenon were investigated, as in [7, 16, 17]. The tools developed in these investigations provide important ideas for our theory and made it possible to describe the domain of convergence dom H∞(R) 14 Introduction for bounded Reinhardt domains R in a wide class of Banach sequence spaces, extending (0.9) in a far reaching way. Further we give a description for the domain of convergence of the spaces Pm(X) of m-homogeneous polynomials and P(X) of all polynomials. This is done in chapter 2. Our results arise from an interplay of complex analysis and local Banach space theory. There is a close connection with unconditionality in spaces of m-homogeneous polynomials, and during the investigation of the domains of convergence in chapter 2 the problem occurs to give estimates for the unconditional constant of identity mappings between those spaces which is solved going through full tensor products. That this can be done is justified in chapter 1 with a general theorem, providing a helpful tool to give estimates for many important invariants of local Banach space theory, such as type or cotype constants as well as the `-norm, of identities between symmtric tensor products working in the full tensor product, which in general is easier to handle. As an application, we give in chapter 1 asymptotically correct m volume estimates for unit balls of m-homogeneous polynomials P (Xn) and of the volume ratio for the m-fold injective and projective tensor product m ⊗α Xn, α = ε or π. The convergence of the monomial expansion series that we consider in chapter 2 is the convergence of the net of finite sums or unconditional convergence. In chapter 3 we investigate the problem of conditional convergence. This is solved for polynomials. Here the task is to order the monomials in an appropriate way, and we overcome this problem with a systematic study of orders that produce bases for tensor and s-tensor products of Banach spaces with basis. Preliminaries
Tensor products and m-homogeneous polynomials
m Let E1,...,Em and F be vector spaces over K. We write L (E1,...,Em; F ) Qm for the vector space of all m-linear mappings T : i=1 Ei −→ F and then m m L (E,F ) if E1 = ... = Em = E and Ls (E,F ) for the subspace of symmetric m m m mappings. If F = K we simple write L (E1,...,Em), L (E) and Ls (E).
For normed spaces E1,...,Em, F the corresponding spaces of continuous operators are denoted with L instead of L, provided with the norm
kT k = sup kT (x1, . . . , xm)k kxik≤1
Linearization of m-linear mappings produces the (algebraic) tensor product m ⊗i=1Ei, i.e. we have
m m L (E1,...,Em; F ) = L(⊗i=1Ei,F ) for all vector spaces F via T LT , LT (x1 ⊗ · · · ⊗ xm) = T (x1, . . . , xm). m m If E = E1 = ... = Em we write ⊗ E = ⊗i=1Ei for the m-fold tensor product of E and ⊗m,sE for the symmetric m-fold tensor product of E which can be obtained by linearization of symmetric m-linear maps. ⊗m,sE is a m m,s m complemented subspace of ⊗ E and we denote ιm : ⊗ E −→ ⊗ E the natural injection and
⊗mE −→ ⊗mE 1 X σm : x ⊗ · · · ⊗ x x ⊗ · · · ⊗ x 1 m m! σ(1) σ(m) σ∈Sm the natural projection which may also be considered as a mapping ⊗mE −→ ⊗m,sE.
Let m and n ∈ N. We will often need the set M(m, n) = {1, . . . , n}m and its subset J (m, n) = {j ∈ M(m, n) | j1 ≤ ... ≤ jm} as well as
m J (m) = {j ∈ N | j1 ≤ ... ≤ jm} 16 Preliminaries
Further the notation xi := xi1 ⊗ · · · ⊗ xim for elements x1, . . . , xn of a vector space and i ∈ M(m, n) will be very useful.
Now suppose that E is n-dimensional with basis x1, . . . , xn. Then {xi | i ∈ m m,s M(m, n)} and {σm(xj) | j ∈ J (m, n)} are bases of ⊗ E and ⊗ E, respec- m m m,s m+n−1 tively, in particular dim ⊗ E = n and dim ⊗ E = n−1 . m The projective tensor norm π on the tensor product ⊗i=1Ei of normed spaces Ei can be defined as the norm generated by the absolute convex hull of
BE1 ⊗ · · · ⊗ BEm := {x1 ⊗ · · · ⊗ xm | xi ∈ BEi } or by the property that ˜ m m L(⊗π,i=1Ei,F ) = L (E1,...,Em; F ) isometrically for all normed spaces F . The injective tensor norm ε is the m m 0 0 norm induced by the embedding ⊗i=1Ei ,→ (⊗π,i=1Ei) . In general by a tensor norm α of order m we mean a method of assigning to each m-tuple (E1,...,Em) of normed spaces a norm α = α( · ; E1,...,Em) satisfying ε ≤ α ≤ π (α is reasonable) and the metric mapping property: For Ti ∈ L(Ei,Fi)
m m m k⊗i=1Ti : ⊗α,i=1Ei −→ ⊗α,i=1Fik = kT1k · · · kTmk If α is reasonable but does not necessarily satisfy the metric mapping prop- m erty, we speak of a tensor product norm (of order m). We write ⊗α,i=1Ei for m ˜ m the space ⊗i=1Ei equipped with the norm α and ⊗α,i=1Ei for its completion. An m-homogeneous polynomial P : E −→ F between vector spaces E and F is the restriction of an m-linear mapping T ∈ Lm(E,F ) to the diagonal, i.e. P (x) = T (x, . . . , x) for all x ∈ E. The mapping T can be chosen to be symmetric, and in this way the space P m(E,F ) of all m-homogeneous m polynomials P : E −→ F can be identified with Ls (E,F ). If E and F are normed spaces the subspace of continuous m-homogeneous polynomials is denoted by Pm(E,F ), equipped with norm
kP k = sup kP (x)k kxk≤1
In the same way as above the projective s-tensor norm πs is characterized by ˜ m m the fact that L(⊗πs E,F ) = P (E,F ) isometrically for all normed spaces E m,s and F and the injective s-tensor norm εs on ⊗ E is the norm induced by m,s m,s 0 0 ⊗ E,→ (⊗πs E ) . Then an s-tensor norm αs of order m assigns to each m,s m,s normed space E a norm αs = αs( · ; ⊗ E) on ⊗ E such that εs ≤ αs ≤ πs (αs is reasonable) and the metric mapping property is satisfied:
m,s m,s m,s m k⊗ T : ⊗αs E −→ ⊗αs F k = kT k for all normed spaces E and F and all operators T : E −→ F , where ⊗m,sT = m σm ◦ ⊗ T ◦ ιm. Again if we only require that αs is reasonable, we call it an Preliminaries 17 s-tensor product norm. Note that the restriction of every tensor norm to symmetric tensor products gives an s-tensor norm.
Now let α be a tensor norm and αs an s-tensor norm, both of order m. We say that α and αs are equivalent – notation α ∼ αs – if there is a constant m,s m cm > 0 such that the natural injection ιm : ⊗αs E −→ ⊗α E and projection m m,s σm : ⊗α E −→ ⊗αs E have norm smaller than cm for all normed spaces E. By the norm extension theorem of Floret [40], given an s-tensor norm αs of order m, there is always an equivalent tensor norm α, and the constant cm can be chosen to be smaller than mm/m!.
Now let 1 ≤ p ≤ ∞. The natural norm ∆p of order m on the p-integrable functions assigns to each m-tuple (Lp(µ1),...,Lp(µm)) of Lp-spaces (over m m measure spaces (Ωi, µi)) the norm ∆p = ∆p( · ; ⊗i=1Lp(µi)) on ⊗i=1Lp(µi) coming from the natural inclusion
m ⊗i=1Lp(µi) ,→ Lp(µ1 ⊗ · · · ⊗ µm)
˜ ˜ m where the element f1 ⊗ · · · ⊗ fm ∈ ⊗i=1Lp(µi) is assigned to the equivalence class of the function f defined by f(x1, . . . , xm) = f1(x1) ··· fm(xm).
We denote ∆p,s the symmetric counterpart of ∆p on the m-fold tensor product of discreet L -spaces. We write ⊗m`n := ⊗m `n and ⊗m,s`n := ⊗m,s `n. p p p ∆p p p p ∆p,s p So
X X p1/p λiei m n = |λi| ⊗p `p i∈M(m,n) i∈M(m,n) X X p1/p λjej m,s n = |λj| ⊗p `p j∈J (m,n) j∈J (m,n)
m m n n m,s n dn m+n−1 i.e. ⊗p `p = `p and ⊗p `p = `p isometrically, where dn = n−1 is the m,s n dimension of ⊗p `p .
Note that ∆p and ∆p,s are reasonable on the class of Banach spaces where they are defined, and we also treat them as tensor product respectively s- tensor product norms. For more information on tensor and s-tensor norms as well as m-homogeneous polynomials see [22], [39], [40] and [36].
Banach sequence spaces
By a Banach sequence space we mean a Banach space X ⊂ CN of sequences in C such that `1 ⊂ X ⊂ `∞, and satisfying that |x| ≤ |y| implies x ∈ X and kxk ≤ kyk whenever x ∈ CN, y ∈ X. In particular, the canonical unit vectors en = (δnk)k belong to X. 18 Preliminaries
Defined in this way a Banach sequence space X in particular is a complex K¨othefunction space in the sense of [57] (the complexification of the real N Banach sequence space XR = {x ∈ X | x ∈ R }) or (the complexification of) a Banach function space as introduced in [8], but lacking the Fatou property.
Note that the unit vectors en in a Banach sequence space build a 1-uncon- ditional basic sequence and in particular every infinite dimensional complex Banach space with 1-unconditional Schauder basis satisfying the maximality condition can be considered as a Banach sequence space. Every Banach sequence space X satisfies
`1 ⊂ X ⊂ `∞ (0.10) so `1 and `∞ are the extreme cases. By the closed graph theorem, the set inclusion X ⊂ Y between Banach sequence spaces X and Y already implies that the inclusion mapping X,→ Y is continuous.
A Banach sequence space X is symmetric if an element x ∈ CN belongs to X if and only if its decreasing rearrangement x∗ does, and in this case they have the same norm. The decreasing rearrangement x∗ of a sequence x ∈ X can be defined by
∗ xn := inf{ sup |xi| | I ⊂ N , |I| < n} i∈N\I If x is a zero sequence this is nothing else than the sequence |x| rearranged in some non-increasing order. For a Banach sequence space X with basis being symmetric it is equivalent to say that any permutation of an element of X remains in X with equal norm or equivalently the basis (en) of X is symmetric and ∞ ∞ X X anen = aneπ(n) n=1 n=1 for every permutation π and all an ∈ C such that the series converge. Concerning the notations that we use for elements x of a Banach sequence space X always think of functions N −→ C. For example |x| = (|xn|)n, x > 0 p p means xn > 0 for all n, x = (xn)n for x ≥ 0 and p > 0, xy is the sequence with n-th coordinate xnyn for x, y ∈ X and so on. Let 0 < p ≤ ∞. A Banach sequence space X is called p-convex if the p-convexity constant of X
(p) n n M (X) := sup kid : `p (X) −→ Mp (X)k n is finite and p-concave if its p-concavity constant
n n M(p)(X) := sup kid : Mp (X) −→ `p (X)k n Preliminaries 19
n n n is finite, where Mp (X) and `p (X) denote X with the quasi norm (norm, if p ≥ 1) n X p1/p |xi| X p < ∞ kxk = i=1 k max |xi|kX p = ∞ 1≤i≤n
n and kxk = k(kx1kX ,..., kxnkX )k`p , respectively. For 1 ≤ p ≤ ∞, p-convexity is decreasing and p-concavity increasing in p ([57, 1.d.5]). For p-convexity this is also true if p < 1 (see [20, lemma 4]). Every Banach sequence space is 1-convex and ∞-concave, we say trivially convex and trivially concave, with
(p) M (X) = M(∞)(X) = 1 for p ≤ 1 (see [57, p. 46] and [20, lemma 4]). Now let X and Y be a Banach sequence space. The K¨othedual of X is defined to be the space
× N X = {y ∈ C | xy ∈ `1}
It is again a Banach sequence space with norm kyk × = sup kxyk X kxkX ≤1 `1 (this number is finite for every y ∈ X× by the closed graph theorem). The K¨othedual X× can be regarded as a subspace of X0 via
∞ X λ [x λnxn] n=1
× 0 and we have X = X if and only if X = span{en}. Further X ⊂ Y implies Y × ⊂ X×. Symmetry carries over from X to X×. We are going to use the following sets: For 1 ≤ r < ∞ the r-th power of X, defined by r 1/r X := {x ∈ CN | |x| ∈ X} and the product X · Y := {xy | x ∈ X, y ∈ Y } of X and Y . Pn The fundamental function of X is defined by λX (n) = k i=1 eik, and we denote n-th section Xn = span{e1, . . . , en} of X to be the space generated by the first n standard unit vectors. We mention two types of examples for Banach sequence spaces from the literature. Let 1 = w1 ≥ w2 ≥ ... ≥ wn ≥ ... ≥ 0 be a sequence of weights P∞ with n=1 wn = ∞ and 1 ≤ p < ∞. Then ∞ N X p d(w, p) := {x ∈ C | sup wn|xπ(n)| < ∞} π n=1 20 Preliminaries together with the norm ∞ 1/p X p kxk = sup wn|xπ(n)| π n=1 is a Banach space which is called Lorentz sequence space. Here the sup is taken over all permutations π. The unit vectors en form a normalized (w1 = 1) basis and by the definition of the norm it is easy to check that this basis is 1-unconditional. The norm can be expressed as ∞ 1/p X ∗ p kxk = wn|xn| n=1 taking one special permutation instead of all (use e.g. Hardy’s lemma [8, prop. 3.6]) and from this we get that d(w, p) is a symmetric Banach sequence space in our sense. For more general information on Lorentz sequence spaces see [56, 4.e].
Taking all weights equal to one we get the usual `p-spaces. More general if q −1 we define wn := n p for 1 ≤ q ≤ p < ∞ then d(w, q) = `p,q are the discrete variants of the Lp,q-spaces which play an important role in interpolation theory (see e.g. [8, chapter IV] or [57, 2.b.8]). The space `p,q is r-convex if 0 < r < p and 0 < r ≤ q (see e.g. [20, p. 159]). As a second example we name Orlicz sequence spaces. We take the defi- nition from [56, chapter 4]. Let ϕ : R≥0 −→ R≥0 be an Orlicz function, i.e. a continuous, non decreasing and convex function with ϕ(0) = 0 and limt→∞ ϕ(t) = ∞. ϕ is called a degenerate Orlicz function if ϕ(t) = 0 for some t > 0. The Orlicz function generates a sequence space ∞ X |xn| ` = {x ∈ N | ∃ : ϕ < ∞} ϕ C ρ>0 ρ n=1 which is a symmetric Banach sequence space with norm ∞ X |xn| kxk = inf{ρ > 0 | ϕ ≤ 1} ρ n=1 (see e.g. [68, theorem 10]). The unit vectors form a normalized 1-unconditional basis of the subspace ∞ X |xn| h := {x ∈ ` | ∀ ρ > 0 : ϕ < ∞} ϕ ϕ ρ n=1
(see [56, prop. 4.a.2]) which is equal to `ϕ if and only if the Orlicz function ϕ satisfies the ∆2-property ϕ(2t) lim sup < ∞ t→∞ ϕ(t) Preliminaries 21
In this case and under the additional assumption that ϕ is non-degenerate the following conditions are equivalent (see [49], proposition 14 and lemma 5):
(1) `ϕ is p-convex. (2) ϕ is equivalent to an Orlicz functionϕ ˜ which satisfies
ϕ˜(λx) ≥ λpϕ˜(x)
for all x ≥ 0 and λ ≥ 1. √ (3) ϕ is equivalent to an Orlicz functionϕ ˜ such thatϕ ˜( p · ) is convex.
(4) `ϕ satisfies an upper p-estimate, i.e. there is a constant c > 0 such that for all n and all x1, . . . , xn ∈ `ϕ pairwise disjoint
n n 1/p X X p xi ≤ c kxik i=1 i=1
(Two elements u, v ∈ X are called disjoint if min{|u|, |v|} = 0, i.e. for all n: un = 0 or vn = 0.)
Here equivalence of ϕ andϕ ˜ means that there exists t0 > 0 and a constant c > 0 such that c−1 ϕ˜(t) ≤ ϕ(t) ≤ c ϕ˜(t) for all 0 < t ≤ t0.
Reinhardt domains and holomorphic mappings
Let E and F be complex Banach spaces and U be an open subset of E.A function f : U −→ F is called Fr´echetdifferentiable if for all ξ ∈ U we can find a continuous linear mapping A : E −→ F such that
kf(x) − f(ξ) − A(x − ξ)k lim = 0 x→ξ kx − ξk where f 0(ξ) := Df(ξ) := A is called the Fr´echet derivative of f in ξ. For m ≥ 2 the function f is m times Fr´echet differentiable if f (m−1) : U −→ L(E, Lm−2(E,F )) = Lm−1(E,F ) is Fr´echet differentiable. By Schwarz’ the- (m) m m orem we have f ∈ Ls (E,F ). We denote by C (U, F ) the vector space of all m-times Fr´echet differentiable mappings f : U −→ F and Cm(U) := Cm(U, C). The function f : U −→ F is Gˆateaux holomorphic or G-holomorphic if for all ξ ∈ U and all x ∈ E the function λ f(ξ + λx) is holomorphic on U(ξ, x) = {λ ∈ C | ξ + λx ∈ U} or equivalently if f is weakly holomorphic on 22 Preliminaries every finite dimensional component of U, i.e. for every functional ϕ ∈ F 0 and every finite dimensional subspace E0 ⊂ E the function ϕ ◦ f is holomorphic on U ∩ E0. Let HG(U, F ) denote the space of all G-holomorphic mappings f : U −→ F and HG(U) := HG(U, C). The function f : U −→ F is holomorphic iff it has a Taylor series expansion at each point ξ of U: For all ξ ∈ U we can find a unique sequence of continuous m m-homogeneous polynomials Pmf(ξ) ∈ P (E,F ) and a radius r > 0 such that ∞ X f(ξ + x) = Pmf(ξ)(x) (0.11) m=0 or ∞ X m f(ξ + x) = am(f)x m=1 uniformly on rBE, where am(f) ∈ Ls(E,F ) are the symmetric m-linear map- pings corresponding to the m-homogeneous polynomials such that m ∞ Pmf(ξ)(x) = am(f)x := am(f)(x, . . . , x). In this case f ∈ C (ξ + rBE,F ) (m) and am(f) = f (ξ)/m!. We denote H(U, F ) the vector space of all holo- morphic mappings f : U −→ F and H(U) := H(U, C). A function f : U −→ F is holomorphic if and only if it is Fr´echet differentiable if and only if it is G-holomorphic and continuous. If f ∈ H(U, F ), ξ ∈ U and B ⊂ E balanced such that ξ + B ⊂ U then we have for all x ∈ B 1 Z f(ξ + λx) Pmf(ξ)(x) = m+1 dλ , m = 0, 1, 2,... (0.12) 2πi |λ|=1 λ (Cauchy integral formulas), in particular
kPmf(ξ)kB ≤ kfkξ+B , m = 0, 1, 2,... (0.13)
(Cauchy inequalities), see for example [19], p. 175 or [36], p. 148. We will only consider scalar valued holomorphic mappings. Note that we have f ∈ H(U) if and only if f is continuous and f is holomorphic on every finite dimensional component of U.
We denote H∞(U) the Banach space of all bounded holomorphic functions on U with norm kfkU = supz∈U |f(z)|. By a Reinhardt domain R ⊂ Cn we mean an open set which is n-circular n and balanced, i.e. it satisfies λR ⊂ R for all λ ∈ B`∞ . In the literature one usually only assumes R to be open and n-circular (i.e. z ∈ R and u ∈ Cn with |u| = |z| implies u ∈ R) and the additional assump- tion that λR ⊂ R for every λ ∈ C with |λ| ≤ 1 is called completeness of R. Thus our Reinhardt domains are always complete. Preliminaries 23
In the same way a Reinhardt domain R in a Banach sequence space X is an open, circular and balanced subset of X, in other words satisfying λR ⊂ R for all λ ∈ B`∞ . Note that if R ⊂ X is a Reinhardt domain then the n-th n projection Rn := R ∩ Xn of R is a Reinhardt domain in C . An important example for a Reinhardt domain in a Banach sequence space X is the open unit ball BX , whose n-th projection BXn is even a logarithmically convex Reinhardt domain in Cn.
1. Norm estimates of identities between symmetric tensor products of Banach sequence spaces
An active research area of Banach space theory in recent years is the local theory which investigates the structure of infinite dimensional Banach spaces by relating it to the structure of their finite dimensional subspaces. It has its roots in the work of Grothendieck in the 1950s. An important method is to derive properties of a Banach space from the asymptotical behaviour of isometric invariants of its finite dimensional subspaces when the dimension grows to infinity. For example in [28] an asymptotically correct estimate in m n n of the unconditional basis constant of the space P (`p ) of m-homogeneous n m polynomials on `p is used to prove that P (E) cannot have an unconditional basis for every infinite dimensional Banach space E with unconditional basis. Other important invariants of the local theory are for example type and cotype constants or the Gordon-Lewis constant. These constants are defined for general operators between Banach spaces and we will see that it can be useful to know their asymptotic behaviour (in the dimension n) for identity mappings id : ⊗m,sX −→ ⊗m,sY αs n βs n between spaces of symmetric tensor products, where X and Y are Banach se- quence spaces. For example in chapter 2 we are confronted with the problem m m of giving the asymptotic for χM (id : P (Xn) −→ P (Yn)), a generalization of the unconditional basis constant of the monomials (see definition 2.59), m m,s 0 which by the identification P (Xn) = ⊗εs Xn for Banach sequence spaces X is a problem of the above type. In general it is easier to calculate those estimates for identities between full tensor products, since there is a well developed theory for the α-tensor prod- uct E⊗˜ αF of two Banach spaces E and F which in many cases can be easily ˜ m extended to m-fold tensor products ⊗α,i=1Ei (see e.g. Floret [39]). For ex- ˜ m ample in the case of α = ε or π the α-tensor product ⊗α,i=1Ei is associative, which makes it possible to proceed by induction and to deduce an estimate m m for id : ⊗α Xn −→ ⊗β Yn from that of id : Xn −→ Yn. 26 1. Norm estimates of identities between symmetric tensor products
For sequences (an) and (bn) in R≥0 the notation an ≺ bn means an ≤ c bn for some constant c > 0 independent of n and we write an bn if an ≺ bn and bn ≺ an. In this chapter we are going to give general estimates which permit in many cases to work in the full tensor product. In particular we prove that A(id : ⊗m,sX −→ ⊗m,sY ) A(id : ⊗mX −→ ⊗mY ) αs n βs n α n β n if α ∼ αs, β ∼ βs and A is an ideal norm. Here the asymptotic is with respect to n (m is always fixed in this chapter). This generalizes results from [21] m,s n m n m,s and [29]. There it is proved that gl(⊗εs `p ) gl(⊗ε `p ) and C2(⊗εs Xn) m C2(⊗ε Xn) for a large class of symmetric Banach sequence spaces X. For the notion of a normed operator ideal see e.g. [22, I.9] or [63]. As an application we use this reduction to full tensor products to give asymp-
m totic descriptions for the volume of the unit ball BP (Xn) and the volume ratio m vr(⊗α Xn), α = ε or π for a wide class of symmetric Banach sequence spaces X.
Identities between symmetric and full ten- sor products
As in [21] and [29] for our estimates we use the fact that for α = ε, and in fact for an arbitrary tensor norm α with equivalent s-tensor norm αs, the m,s m symmtric tensor product ⊗αs Xn is a complemented subspace of ⊗α Xn and with a certain construction the full α-tensor product is also complemented m,s in the symmetric one (more precisely in ⊗αs Xnm). First we define the algebraic mappings which are involved in the complement construction (see also [29, section 3] or [39, 1.10]).
For N, n ∈ N, k = 0,...,N and i = 1,...,N we define the mappings n n n Nn+k X X Ii : K −→ K , λj ej λj en(i−1)+j j=1 j=1 Nn+k n (1.1) Nn+k n X X Pi : K −→ K , λj ej λn(i−1)+j ej j=1 j=1
m and Ii := Ii1 ⊗ · · · ⊗ Iim , Pi := Pi1 ⊗ · · · ⊗ Pim for i ∈ {1,...,N} . Then X X Ii λjej = λj−n(i−1)ej j∈{1,...,n}m n(i−1)+1≤j≤ni (1.2) X X Pi λjej = λn(i−1)+jej j∈{1,...,Nn+k}m j∈{1,...,n}m Identities between symmetric and full tensor products 27
(where 1 = (1,..., 1) ∈ Nm if we write i + 1 with i ∈ Nm). m m,s n m n Further let idn, ⊗ idn and ⊗ idn denote the identity map on K , ⊗ K m,s n and ⊗ K , respectively. Note that Ii is an injection, Pi a projection and N X idNn = Ii ◦ idn ◦Pi i=1 (1.3) m X m ⊗ idNn = Ii ◦ ⊗ idn ◦Pi i∈{1,...,N}m
m n m Recall that (ej)j∈{1,...,n} is a basis of ⊗ K and (σm(ej))1≤j1≤...≤jm≤n a basis of ⊗m,sKn. From (1.2) we get X X σm ◦ Ii λjej = λj−n(i−1)σm(ej) (1.4) j∈{1,...,n}m n(i−1)+1≤j≤ni and X X m!Pi ◦ ιm λjσm(ej) = λn(i−1)+jej (1.5) j∈{1,...Nn+k}m j∈{1,...,n}m since ( 1 m! ej−n(i−1) n(i − 1) + 1 ≤ j ≤ ni Pi(σm(ej)) = 0 otherwise In particular
m n m,s mn+k I := σm ◦ I1 ⊗ · · · ⊗ Im : ⊗ K −→ ⊗ K (1.6) is an injection,
m,s mn+k m n P := m! P1 ⊗ · · · ⊗ Pm ◦ ιm : ⊗ K −→ ⊗ K (1.7) m m n m n a projection and PI = ⊗ idn is the identity on ⊗ K , i.e. ⊗ K is a complemented subspace of ⊗m,sKmn+k and the diagram
m ⊗ idn ⊗mKn - ⊗mKn 6
I1⊗···⊗Im m! P1⊗···⊗Pm ? ⊗mKmn+k ⊗mKmn+k (1.8) 6 σm ιm
? m,s ⊗ idmn+k ⊗m,sKmn+k - ⊗m,sKmn+k commutes.
Note that the norms α, β and αs, βs in the following can be ∆p respectively m m,s ∆p,s. In this case for example ⊗α Xn or ⊗αs Xn requires X = `p. 28 1. Norm estimates of identities between symmetric tensor products
Lemma 1.1. Let X and Y be Banach sequence spaces, α, β be tensor product norms and αs, βs s-tensor product norms. Let
[ m m f : L(⊗α Xn, ⊗β Yn) −→ R≥0 n [ g : L(⊗m,sX , ⊗m,sY ) −→ αs n βs n R≥0 n be functions and ci > 0, i = 1, 2, 3 be constants such that for all n
m m m,s m,s (i) f|L(⊗ Xn,⊗ Yn) and g|L(⊗ X ,⊗ Y ) satisfy the triangle inequality. α β αs n βs n (ii) For all N ∈ N and all i ∈ {1,...,N}m
m m m f(Ii ◦ ⊗ idn ◦Pi : ⊗α XNn −→ ⊗β YNn) m m m ≤ c1 f(⊗ idn : ⊗α Xn −→ ⊗β Yn)
(iii) For all M ≤ N
m m m m m m f(⊗ idM : ⊗α XM −→ ⊗β YM ) ≤ c2 f(⊗ idN : ⊗α XN −→ ⊗β YN )
(iv) For all k = 0, . . . , m
m m m f(⊗ idn : ⊗α Xn −→ ⊗β Yn) ≤ c g(⊗m,s id : ⊗m,sX −→ ⊗m,sY ) 3 mn+k αs mn+k βs mn+k
Then
f(⊗m id : ⊗mX −→ ⊗mY ) ≤ c g(⊗m,s id : ⊗m,sX −→ ⊗m,sY ) n α n β n n αs n βs n
m for all n ≥ m with c ≤ c1 c2 c3 (m + 1) .
Proof. Let n ∈ N. Using (1.3), (i) and (ii) we get
m m m f(⊗ idNn) ≤ c1 N f(⊗ idn) for all N. Together with (iii) and (iv) this implies
m m m m f(⊗ idmn+k) ≤ c2 f(⊗ id(m+1)n) ≤ c1 c2 (m + 1) f(⊗ idn) m m,s ≤ c1 c2 c3 (m + 1) g(⊗ idmn+k) for k = 0, . . . , m. Proposition 1.2. Let (A, A) be a normed operator ideal, α, β tensor product norms and αs, βs s-tensor product norms of one of the following type:
(a) α and β are tensor norms with equivalent s-tensor norms αs and βs , respectively. Identities between symmetric and full tensor products 29
(b) α = ∆p, αs = ∆p,s and β is a tensor norm with equivalent s-tensor norm βs.
(c) α is a tensor norm with equivalent s-tensor norm αs and β = ∆q, βs = ∆q,s.
(d) α = ∆p, αs = ∆p,s and β = ∆q, βs = ∆q,s.
Further let X and Y be symmetric Banach sequence spaces. Then
A(id : ⊗mX −→ ⊗mY ) ≤ c A(id : ⊗m,sX −→ ⊗m,sY ) α n β n αs n βs n
(mm)2 m m for all n ≥ m where (a) c ≤ m! (m + 1) , (b) c ≤ (m(m + 1)) , (c) (m(m+1))m m c ≤ m! and (d) c ≤ (m + 1) .
Proof. We are going to check (i) – (iv) of lemma 1.1 for A = f = g. A is m m an ideal norm, hence satisfies (i) and for i ∈ {1,...,N} and Ii : ⊗β Yn −→ m m m ⊗β YNn and Pi : ⊗α XNn −→ ⊗α Xn (as defined right before (1.2)) we have
m m A(Ii ◦ ⊗ idn ◦Pi) ≤ kIikkPikA(⊗ idn)
We claim kIik = 1 = kPik. Since X and Y are symmetric, the mapping Il : Yn −→ YNn is an isometry and Pl : XNn −→ Xn a norm-1-projection for l = 1,...,N (see (1.1)). Thus if α and β are tensor norms then the claim follows by the metric mapping property. On the other hand if α = ∆p and m n m Nn β = ∆q then a glance at (1.2) assures that Ii : ⊗q `q −→ ⊗q `q is even an m Nn m n isometry and Pi : ⊗p `p −→ ⊗p `p a norm-1-projection. Hence (ii) follows with c1 = 1.
To see (iii) take M ≤ N and let P : XN −→ XM and I : YM −→ YN the natural projection and injection, respectively. Then
⊗m id m M - m ⊗α XM ⊗β YM 6 ⊗mI ⊗mP ? ⊗m id m N - m ⊗α XN ⊗β YN commutes, and again if α and β are tensor norms then the vertical mappings have norm 1 by the metric mapping property. For the other cases just note m m that (⊗ I)(ej) = ej and (⊗ P )(ej) = ej if j1, . . . , jm ≤ M and zero other- m m M m N wise which implies that ⊗ I : ⊗q `q −→ ⊗q `q is the natural injection and m m N m M ⊗ P : ⊗p `p −→ ⊗p `p the natural projection. Hence
m m m m m A(⊗ idM ) ≤ k⊗ Ikk⊗ P kA(⊗ idN ) = A(⊗ idN ) and we can take c2 = 1. 30 1. Norm estimates of identities between symmetric tensor products
To prove (iv) define I and P as in (1.6) and (1.7). Then
⊗m id m n - m ⊗α Xn ⊗β Yn 6 IP ? ⊗m,s id ⊗m,sX mn+k - ⊗m,sY αs mn+k βs mn+k commutes by (1.8) and we calculate the norms of I and P to get the constant c3. In (1.4) and (1.5) we see that I is an isometry if α = ∆p and αs = ∆p,s and that P is a norm-1-projection if β = ∆q and βs = ∆q,s. If α and β are tensor norms with equivalent s-tensor norms αs and βs, respectively, then 1 m we have kIk and m! kP k bounded by m /m! since this is a bound for kσmk (mm)2 and kιmk. Thus we can take c3 = m! in case (a), c3 = 1 in case (d) and m c3 = m in the cases (b) and (c). An application of lemma 1.1 now finishes the proof.
Proposition 1.3. Let (A, A) be a normed operator ideal, α, αs, β, βs as in proposition 1.2 satisfying one of the four conditions (a)–(d) and X and Y symmetric Banach sequence spaces. Then A(id : ⊗m,sX −→ ⊗m,sY ) ≤ c A(id : ⊗mX −→ ⊗mY ) αs n βs n α n β n