arXiv:2002.00829v3 [math.CV] 4 Dec 2020 spoe htfrabuddRihrtdomain Reinhardt bounded a for that proved is ovrec eut iia oTerm11frohrclassi other for 1.1 For Theorem proved. to similar results Convergence 9]). in .1410) o h aerneof range same the For 104-110]). p. Ω For oooia etrsae(LCTVS) space vector topological arn eisof Laurent H xoiino enad oan,se[] Let [6]. see domains, Reinhardt of exposition σ ovreti h ekrnorm weaker the in convergent npriua,if particular, In hoe 1.1. Theorem oee,i a ensoni 8 httesqec fpartial of the that [8] in shown been has it However, se[,p 6) h ou fti ae st rv eutsi result a prove to is paper this of focus The 46]). A p. [9, (see eisof series eisepninwihcnegsasltl n uniformly and absolutely converges which expansion series ealta domain a that derivatives. Recall partial all with along h pc fhlmrhcfntoson functions holomorphic of space the o vr opc compact every for otebudr.Frasqec ffunctions of ca sequence orders a For all boundary. of the derivatives to whose functions holomorphic of A n has one , ∞ ∞ : p ARN EISO OOOPI UCIN MOHUP SMOOTH FUNCTIONS HOLOMORPHIC OF SERIES LAURENT esyafra series formal a say We Let A ( N (Ω) (Ω) D p p ( : ) = D 1 = h ad pc nteui icin disc unit the on space Hardy the , Ω . h onayo enad oanin domain Reinhardt a on boundary the h rce oooyo h pc ffntossot pt th to up smooth functions of space the of Fréchet the Abstract. h pc fhlmrhcfntossot pt h boundary the to up smooth functions holomorphic of space the ) { h pc fholomorphic of space the , f f ⊂ 0 h euneo ata usde o ovrein converge not does sums partial of sequence the , ..teLuetsre of series Laurent the i.e. , , ovre nodtoal otefunction the to unconditionally converges 1 C ( 1 , λ n 2 < p < 1 , z eadmi i.e. domain a be → } · · · Ω Let 1 f , ti hw htteLuetsre fahlmrhcfunction holomorphic a of series Laurent the that shown is It sbudd then bounded, is · · · in Ω ∞ λ , A eaRihrtdmi in domain Reinhardt a be Ω ti elkonta h ata uso h alrsre of series Taylor the of sums partial the that known well is it , p Γ n ( K h series the , z R ⊂ P n ) ⊂ ) α C ovre otefunction the to converges ∈ ∈ Ω n Γ OTEBOUNDARY THE TO A , x Ω scle a called is 1 f α ( Ω j where , where , D X 1. p L → f NRA DAWN ANIRBAN P ) sa pnadcnetdsbe of subset connected and open an is ovrec fprilsm fteTyo eisof series Taylor the of sums partial of convergence , j p oegnrlrsl a efudi 3 hr it where [3] in found be can result general more A . Ω introduction is f → f ucin nteui ic a enpoe n[11]. in proved been has disc, unit the on functions j ∞ ti elkonthat known well is It . =0 nfrl on uniformly ovre to converges nodtoal convergent unconditionally f C x Γ | n λ in σ C 1 enad domain Reinhardt { ovre nodtoal otefnto in function the to unconditionally converges j ( sacutbeidxst nalclyconvex locally a in , index countable a is f j ovre to converges , | A ) j Ω A ⊂ } 1 = R ovre ntetplg of topology the in converges ∞ eaRihrtdmi and domain Reinhardt a be C (Ω) in n f for and C ∞ K f en that means ntetplg of topology the in n f (Ω) h sur ata us fthe of sums” partial “square the , nteFéhttplg of topology Fréchet the in j ln ihalprilderivatives. partial all with along nthe in f ncmatsbesof compact on eetne otnosyup continuously extended be n 1 = , a ucinsae aebeen have spaces function cal A ∈ f f boundary. e j usof sums ia oti,frtespace the for this, to milar nthe in f → , H ffor if A 2 ∞ disauiu Laurent unique a admits , 1 p f (Ω) f · · · ( ( D j R in ffreeybijection every for if → H ) ) hnteLaurent the Then . z n , f mohu to up smooth A of and om oiethat Notice . p f ( = ( o detailed a For . ∞ ∈ A D Ω C nfrl on uniformly (Ω) H ) ∞ ..tespace the i.e. , n A z om(e [4, (see norm eoeby Denote . (Ω) 1 X 1 1 ( , ( en that means D f · · · D se[,p. [7, (see . ) ) O ∈ Ω snorm is z , norms. othe to O n (Ω) f ) (Ω) in Ω ∈ f , 2 ANIRBAN DAWN for a general Reinhardt domain Ω, the convergence of the in A∞(Ω) and O(Ω) is unconditional, which is not the case in Hp(D) or Ap(R). Theorem 1.1 is interesting because of the intrinsic importance of the space A∞(Ω) in com- plex analysis. For example, it is known that each smoothly bounded pseudoconvex domain Ω is a so called A∞(Ω)-domain of holomorphy (see [1] and [5] for details). However, it is also known that pseudoconvex domains with non-smooth boundaries may not be A∞(Ω)- domain of holomorphy. This was first noticed for Hartogs triangle {z = (z1, z2) : |z1| < 2 |z2| < 1}⊂ C by Sibony (see [10]) and generalised recently by Chakrabarti to Reinhardt domains in Cn with 0 as a boundary point (see [2]). The paper is organised as follows. In Section 2.2 we define the notion of absolute conver- gence of a series in A∞(Ω) and we prove that absolute convergence of a series in A∞(Ω) implies unconditional convergence. In addition, we show that absolutely in A∞(Ω) converges in the of partial sums (see Section 2.2 for more details). At the end we prove Theorem 1.1 in Section 4 by showing that the Laurent series of f ∈A∞(Ω) converges absolutely (and therefore unconditionally) in A∞(Ω) to the function f.

1.1. Acknowledgements. The author would like to thank Debraj Chakrabarti for his valuable suggestions, encouragement and support to this work. The author is grateful to the Department of Mathematics, Central Michigan University for providing research assistantship during this work. Also, many thanks to the referee for valuable feedback and comments.

2. Preliminaries n 2.1. The topology of A∞(Ω). Let Ω ⊂ C be a domain. We now describe the topology of the space A∞(Ω), the space of holomorphic functions smooth up to the boundary of k Ω. First, assume Ω is bounded. Then A∞(Ω) = k N A (Ω), where for every k ∈ N, Ak(Ω) := Ck(Ω) O(Ω) and Ck(Ω) denotes the space of∈k-times continuously differentiable T C-valued functions whose derivatives up to order k can be extended continuously up to the T boundary of Ω. The space A∞(Ω) is a Fréchet space and its Fréchet topology is generated by the Ck-seminorms given by,

α kfkk,Ω := sup |D f(z)| : z ∈ Ω, [α] ≤ k (2.1)   n n where k ranges over N, α = (α1, · · · , αn) ∈ N is a multi-index with length [α]= j=1 αj, and [α] P α ∂ f D f = α1 αn . (2.2) ∂z1 ...∂zn Let (X,τ) be an LCTVS. Recall that a collection of continuous seminorms {pk : k ∈ Λ} on X, where Λ is an index set, generates the topology τ if for every continuous seminorm p on X, there exists a finite subset F ⊂ Λ and a C > 0 such that

p(x) ≤ C · max pk(x) for all x ∈ X. (2.3) k F ∈ Now, assume Ω is unbounded. For m ∈ N, let Ωm = Ω Pm where Pm = {z : |zj| < m for all j} is the polydisc of radius m. Then Ωm is bounded for each m and we write T Ω= m∞=0 Ωm. The Fréchet topology of A∞(Ω) is generated by the collection of seminorms S LAURENT SERIES 3

{kfkk,Ωm : k,m ∈ N}, where

: α kfkk,Ωm = sup |D f(z)| : z ∈ Ωm, [α] ≤ k . (2.4)   Note that for a sequence of functions {fN }⊂A∞(Ω), fN → f in A∞(Ω) as N → ∞ if and only if fN → f in A∞(Ωm) for every m ∈ N, as N →∞. Now we describe another collection of seminorms that generates the same locally convex n n topology of A∞(Ω), where Ω ⊂ C is bounded. For α ∈ Z , we define

|α| := max |αj| , 1 ≤ j ≤ n . (2.5) ∞ For k ∈ N, define 

Ak(Ω) := f ∈Ak(Ω) : Dα(f) ∈A0(Ω) where |α| ≤ k , (2.6) ∞ n o n α k where α = (α1, ·e · · , αn) is a multi-index in N and D is defined in (2.2). Note that A (Ω) is a with the norm, e α |||f|||k,Ω = sup |D f(z)| : z ∈ Ω, |α| ≤ k . (2.7)  ∞  When n = 1, Ak(Ω) coincides with Ak(Ω). Observe that for n ≥ 2, Ank(Ω) ( Ak(Ω) ( i i Ak(Ω). Moreover, for each k ∈ N, the inclusion maps Ank(Ω) ֒→ Ak(Ω) ֒→ Ak(Ω) are bounded with norme 1. The next result is now immediate. e

n e Lemma 2.1. For a bounded Ω ⊂ C , the collection of seminorms {|||·|||k,Ω : k ∈ N} generates the same Fréchet topology of A∞(Ω) as the collection {k·kk,Ω : k ∈ N}, the Ck-seminorms of Ω.

Proof. Let k ∈ N. Note that for every f ∈A∞(Ω),

α |||f|||k,Ω = sup |D f(z)| : z ∈ Ω, |α| ≤ k  ∞  α = sup |D f(z)| : z ∈ Ω, αj ≤ k for all j = 1, 2, · · · ,n   α ≤ sup |D f(z)| : z ∈ Ω, [α] ≤ nk = kfknk,Ω .   Also observe that for every f ∈A∞(Ω),

α kfkk,Ω = sup |D f(z)| : z ∈ Ω, [α] ≤ k   α ≤ sup |D f(z)| : z ∈ Ω, αj ≤ k for all j = 1, 2, · · · ,n   α = sup |D f(z)| : z ∈ Ω, |α| ≤ k = |||f|||k,Ω.  ∞   4 ANIRBAN DAWN

2.2. Absolute and unconditional convergence. A formal series α Γ xα in an LCTVS X, where Γ is a countable index set, is said to be absolutely convergent∈ if there exists a bijection P σ : N → Γ (2.8) such that for every continuous seminorm p on X,

∞ p(xσ(j)) j X=0 is a convergent series of non-negative real numbers. Let P be a collection of continuous seminorms on X that generates the locally convex topology of X. Then, to prove absolute convergence of the series α Γ xα, it is sufficient to show that there exists a bijection ∈ P σ : N → Γ such that for every p ∈ , the series ∞ p(xσ j ) < ∞. A discussion of P j=0 ( ) absolute and unconditional convergence for series in Banach spaces can be found in [7]. P Let (X,τ) be an LCTVS and (Γ, ≥) be a . A net (xα)α Γ in X is said to be a Cauchy net if for every ǫ > 0 and every continuous seminorm p on∈X, there exists γ ∈ Γ such that whenever α, β ∈ Γ and α, β ≥ γ, p(xα − xβ) < ǫ. The net (xα) converges to an element x ∈ X if for every ǫ > 0 and every continuous seminorm p on X, there exists γ ∈ Γ such that whenever α ≥ γ, we have p(xα − x) <ǫ. Let P be a family of continuous seminorms on X that generates the topology τ. It follows from (2.3) that we can give an alternative definition of Cauchy net involving generating family of seminorms: a net (xα)α Γ in X is said to be a Cauchy net if for every ǫ > 0 and every p ∈ P, there exists ∈ γ ∈ Γ such that whenever α, β ∈ Γ and α, β ≥ γ, p(xα − xβ) <ǫ. An alternative definition of convergence of Cauchy nets involving generating seminorms can be given similarly. The space X is said to be complete if every Cauchy net of X converges.

Lemma 2.2. In a complete LCTVS, an absolutely convergent series is unconditionally convergent.

Proof. Let α Γ xα be an absolutely convergent series in a complete LCTVS X. So, there exists a bijection∈ σ : N → Γ such that for all continuous seminorm p on X, the series P k j∞=0 p(xσ(j)) converges. Let yj = xσ(j) and sk = j=0 yj. Since j∞=0 p(yj) converges, for ǫ> 0 there exists N ∈ N such that whenever m,ℓ ∈ N with m ≥ ℓ ≥ N , m p(y ) <ǫ. P 0 P P 0 j=ℓ+1 j Therefore for m ≥ ℓ ≥ N0, P m m p(sm − sℓ)= p yj ≤ p(yj) < ǫ. (2.9)  j=Xℓ+1  j=Xℓ+1

It follows from (2.9) that the net {sk} is Cauchy in a complete LCTVS X, with directed set (N, ≥), and therefore converges. Let sk → s as k →∞. In order to complete the proof, it suffices to show that for every bijection τ : N → N, the series j∞=0 yτ(j) converges to τ k τ the same limit s. Let sk = j=0 yτ(j). We show sk → s as k P→ ∞. Choose u ∈ N such that the set of {0, 1, 2, · · · ,N0} is contained in the set {τ(0),τ(1), · · · ,τ(u)}. P τ Then, if k > u, the elements y1, · · · ,yN0 get cancelled in the difference sk − sk and we τ τ have p(sk − sk) < ǫ by (2.9). This proves that the sequence {sk} and {sk} converges to τ  the same sum. So, sk → s as k →∞. LAURENT SERIES 5

2.3. Convergence in the net of partial sums. Let (F(Γ), ⊂) be the directed set of all finite subsets of a countable index set Γ with inclusion ‘⊂’ as its relation. Let X be an LCTVS. The net F(Γ) → X defined by

I 7→ xα (2.10) α I X∈ is said to be the net of partial sums of the formal series α Γ xα in X. ∈ Lemma 2.3. In a complete LCTVS, the net of partialP sums of an absolutely convergent series converges.

Proof. Let α Γ xα be an absolutely convergent series in a complete LCTVS X. So, there exists a bijection∈ σ : N → Γ such that for all continuous seminorm p on X, the series of P non-negative reals j∞=0 p(xσ(j)) converges. Let ǫ> 0 and let p be a continuous seminorm on X. Since ∞ p(x ) converges, there exists N ∈ N such that for all m, k ∈ N with j=0P σ(j) m ≥ k > N0, P m

p(xσ(j)) < ǫ/2. (2.11) j k X= Let (F(Γ), ⊂) be the directed set of all finite subsets of Γ with inclusion as its order. Let I = {σ(0),σ(1), · · · ,σ(N0)}, then I ∈ F(Γ). Now, whenever J, K ∈ F(Γ) with J, K ⊃ I,

p xα − xα ≤ p xα − xα ≤ p xα + p xα  α J α K   α J I α K I   α J I   α K I  X∈ X∈ X∈ \ ∈X\ X∈ \ ∈X\ ≤ p(xα)+ p(xα) α J I α K I X∈ \ ∈X\ ≤ ǫ/2+ ǫ/2= ǫ, from (2.11).

This shows that the net of partial sums I 7→ α I xα of the series α Γ xα is Cauchy. Since X is complete, it converges. ∈ ∈  P P 2.4. Covering a Reinhardt domain by polyannuli. Let P ⊂ Cn be such that n P := z ∈ C : rj < |zj| < Rj or |zj| < Rj for 1 ≤ j ≤ n , n where 0 < rj < Rj < ∞ are reals. The set P is said to be a polyannulus in C . Lemma 2.4. Every Reinhardt domain in Cn is a countable union of polyannuli. n Proof. Let Ω ⊂ C be Reinhardt domain let a = (a1, · · · , an) ∈ Ω. Since Ω is open, there exists ρ> 0 such that the ball Bρ(a) centered at a with radius ρ is contained in Ω. Denote by |Ω| the Reinhardt shadow of Ω, that is |Ω| := (|z1| , · · · , |zn|) : z ∈ Ω . Let ϕ :Ω → |Ω| be the map defined by  ϕ(z) = (|z1| , ..., |zn|) for z ∈ Ω. (2.12)

Since ϕ is an open map, ϕ(Bρ(a)) is an open set in |Ω|. So there exist rational numbers 0 < rj < Rj < ∞ such that rj < |aj| < Rj or |aj| < Rj for every 1 ≤ j ≤ n and n ϕ(a) ∈ j=1 Aj where Q (rj,Rj) if aj 6= 0 Aj = ([0,Rj ) if aj = 0. 6 ANIRBAN DAWN

1 Therefore, a ∈ ϕ− ( Aj), which is a polyannulus

Pa =Qz ∈ Ω : rj < |zj| < Rj or |zj| < Rj for 1 ≤ j ≤ n .

Consequently Ω ⊂ Pa, and the union is a countable one.  S 3. Absolute convergence of Laurent series for a bounded domain n For an N ≥ 0, let QN = {α ∈ Z : |α| ≤ N} denote the “box” of edge 2N, n ∞ n so that QN has (2N + 1) points. Construct a bijection σ : N → Z by successively enumerating Q0,Q1 r Q0,Q2 r Q1 and so on. Therefore σ satisfies σ(0) = 0, σ(1), · · · ,σ(3n) is an enumeration of Q r Q ,  1 0 (3.1)  n n in general σ(j) : (2N − 1) + 1 ≤ j ≤ (2N + 1) = QN r QN 1. −    n Let M≥ 1 be an integer and let M1 be the largest integer such that (2M1 + 1) ≤ M, so n √M 1 that M1 = 2 − , where ⌊·⌋ is the floor function. Then it is clear that j k

QM1 ⊂ σ(0),σ(1), · · · ,σ(M) ⊂ QM1+1. (3.2)   Let f = cαeα (3.3) α Zn X∈ be the Laurent series expansion of f ∈ A∞(Ω), where eα denotes the Laurent monomial α α1 αn of exponent α : eα(z)= z = z1 · · · zn . In this section our goal is to prove the following result. n Theorem 3.1. Let Ω be a bounded Reinhardt domain in C and f ∈ A∞(Ω). Then the Laurent series of f in (3.3) converges absolutely in the topology of A∞(Ω). In fact, the bijection σ in (2.8) can be taken to be the one constructed in (3.1) above.

Recall from Section 2.1 that if Ω is bounded, the collection of seminorms {|||·|||k,Ω : k ∈ N} generates the Fréchet topology of A∞(Ω), where for each k, the seminorm |||·|||k,Ω is as in (2.7). To prove Theorem 3.1, we show that if σ is taken as in (3.1) above, then for every N ∞ k ∈ , j=0 cσ(j)eσ(j) k,Ω < ∞. The following proposition is the key to prove Theorem 3.1.

P Proposition 3.1. Let P be a polyannulus in Cn, that is n P := z ∈ C : rj < |zj| < Rj or |zj| < Rj for 1 ≤ j ≤ n , where 0 < rj < Rj < ∞ are reals. For an integer ℓ, consider 1 if ℓ 6= 0, 1 µ = ℓ(ℓ − 1) (3.4) ℓ  1 if ℓ = 0, 1. n n Let α = (α1, · · · , αn) ∈ Z , k ∈ N and Mα,k = j=1 µαj k. Suppose f = γ Zn cγ eγ is  − the Laurent series expansion of f ∈A (P), where e is the monomial function of∈ exponent ∞ Q γ P LAURENT SERIES 7

γ. Then n 2 |||cαeα|||k, ≤ Mα,k · (1 + Rj ) · |||f|||k+2, . (3.5) P j P  Y=1  where Rj’s are as in the statement and |||·|||k, is as in (2.7). P n Proof. Let Z = {z ∈ C : zj = 0 for some j} and z ∈ P \ Z. One can write the coefficient cα = cα(f) of the Laurent series of f using Cauchy formula:

1 f(ζ) dζn dζ1 cα = n · · · α · · · (3.6) (2πi) ζ1 = z1 ζn = zn ζ ζn ζ1 Z| | | | Z| | | | Note that if Aj is a disc for some j, then cα = 0 whenever αj < 0. Fix some multi-index α α1 αn iθ iθ1 iθn notations: z = z1 · · · zn and z · e = (z1e , · · · , zne ) and use “vector-like” notation: iθj hα, θi = α1θ1 + · · · + αnθn. Parametrize the contours in (3.6) by ζj = zje for every j to get 1 2π 2π f(z · eiθ) c = · · · dθ · · · dθ . (3.7) α (2π)n zα exp(ihα, θi) n 1 Z0 Z0 Consider the case k = 0. Introduce the multi-index β ∈ Zn (depending on α) as

2 if αj 6= 0, 1 βj = (0 if αj = 0, 1. We claim that β 2π 2π n β α z ∂| |f iθ cαz = · · · U(αj,θj) (z · e ) dθn · · · dθ1, (3.8) (2π)n β1 βn 0 0 j ∂ζ1 · · · ∂ζn Z Z  Y=1  where, for each 1 ≤ j ≤ n

i(αj 2)θj e− − if αj 6= 0, 1 U(αj,θj)= αj(αj − 1)  iαj θj e− if αj = 0, 1. To prove (3.8), let us write (3.7) as 

2π 2π iθ1 iθn α 1 f(z1e , · · · , zne ) dθn 1 · · · dθ1 − cαz = n · · · dθn . (3.9) (2π) exp(iαnθn) exp(i(α1θ1 + · · · + αn 1θn 1)) Z0  Z0  − −

Let In be the inside the parentheses in (3.9). That is 2π iαnθn iθ In = e− f(z · e ) dθn. (3.10) Z0 If αn = 0, 1, we set βn = 0 and one can write an expression for In (in terms of βn) from (3.10) as,

2π βn βn iαnθn ∂ f iθ In = z e− (z · e ) dθn. (3.11) n βn Z0 ∂ζn 8 ANIRBAN DAWN

If αn 6= 0, 1, we integrate In in (3.10) by parts with respect to θn as follows: take u = iθ iαnθn 2π 2π 2π u(θn) = f(z · e ) and dv = e− dθn in the formula 0 udv = [uv]0 − 0 vdu and note that the first term vanishes due to periodicity. We get R R 2π e iαnθn ∂ I = − − f(z · eiθ) dθ . (3.12) n −iα ∂θ n Z0 n n We use the chain rule: ∂ f(z · eiθ)= ∂f (z · eiθ) · z ieiθn . After simplifying we get ∂θn ∂ζn n

2π e i(αn 1)θn ∂f I = z − − (z · eiθ) dθ . (3.13) n n α ∂ζ n Z0 n n Using integration by parts again in the same way we have

2π e i(αn 2)θn ∂2f I = z2 − − (z · eiθ) dθ . (3.14) n n α (α − 1) ∂ζ2 n Z0 n n n Recall that we set βn = 2 for αn 6= 0, 1. Therefore (3.14) can be rewritten (in terms of βn) as 2π i(αn 2)θn βn βn e− − ∂ f iθ In = zn (z · e ) dθn. (3.15) α (α − 1) βn Z0 n n ∂ζn We substitute the expressions (3.11) or (3.15) for In in (3.9) (depending on the values of αn, and therefore βn). Rearranging the terms and the we write (3.9) as

∂βn f iθ βn βn (z · e ) α zn ∂ζn dθn 2 · · · dθ1 − cαz = n U(αn,θn) · · · dθn 1 dθn (2π) exp(iαn 1θn 1) − exp(i(α1θ1 + · · · + αn 2θn 2)) θZn θZ1 θnZ 1 − −  − − − (3.16) Let In 1 be the integral inside the parenthesis in (3.16). That is − 2π βn iαn 1θn 1 ∂ f iθ In 1 = e− − − (z · e ) dθn 1. (3.17) − βn − Z0 ∂ζn Depending on the values of αn 1 we repeat the earlier procedure. If αn 1 = 0, 1, we write − − the expression of In 1 in terms of βn 1 from (3.17), otherwise we integrate In 1 in (3.17) by − − − parts with respect to the variable θn 1 as previous. We substitute the expressions for In 1 in (3.16) and so on. To prove that our− claim (3.8) is true, we repeat the same procedure− (n − 2) more times. Now take absolute values on both sides in (3.8). We get

β 2π 2π n β α z ∂| |f iθ |cαz | = · · · U(αj,θj) (z · e ) dθn · · · dθ1 (2π)n β1 βn Z0 Z0  j=1 ∂ζ1 · · · ∂ζn Y n β n β ∂| |f β ≤ R · |U(αj,θj)| · ≤ R |U(αj,θj)| · |||f||| (3.18) β1 βn 2, ∂ζ · · · ∂ζn P j=1 1 T  j=1  Y Y β β1 βn where R = R1 · · · Rn , T = {| ζj| = |zj| : 1 ≤ j ≤ n} is a torus contained in P and k·kT β n 2 denotes the sup norm on T . Note that R ≤ j=1(1 + Rj ). So, it follows from (3.18) that Q LAURENT SERIES 9 for z ∈ P \ Z, n n n α 2 2 |cαz |≤ |U(αj,θj)| · (1 + Rj ) · |||f|||2, = Mα,0 · (1 + Rj ) · |||f|||2, (3.19) j j P j P  Y=1  Y=1  Y=1  where we note from (3.4) that for each 1 ≤ j ≤ n, |U(αj,θj)| = µαj and therefore n n Mα,0 = j=1 µαj = j=1 |U(αj,θj)|. In (3.19) we have proved that the function z 7→ c zα is bounded on the set P \ Z. By Q Q α the Riemann removable singularity theorem (see [9, p. 32]) we can extend the function holomorphically to P and the extended function admits the same bound. This proves our result for the case k = 0. Let k ≥ 1 and γ ∈ Nn. We multiply by zα and apply Dγ in both sides of (3.7) to get, 1 2π 2π f(z · eiθ) Dγ (c (f)zα)= Dγ · · · dθ · · · dθ α (2π)n exp(ihα, θi) n 1  Z0 Z0  2π 2π 1 γ iθ i α,θ = · · · D f(z · e ) e− h i dθ · · · dθ (2π)n n 1 Z0 Z0 2π 2π  1 γ iθ i γ,θ i α,θ = · · · (D f)(z · e ) e h i e− h i dθ · · · dθ (2π)n n 1 Z0 Z0 2π 2π 1 γ iθ i α γ,θ = n · · · (D f)(z · e ) e− h − i dθn · · · dθ1 (2π) 0 0 Zγ α Zγ = cα γ (D f)z − , by (3.7). (3.20) − γ Now, we use the boundedness for the case k = 0 and the fact that D f ∈A∞(P) to get, n γ α γ α γ 2 γ |D (cα(f)z )| = cα γ (D f)z − ≤ Mα γ,0 (1 + Rj ) · |||D f|||2, . (3.21) − − P  j=1  Y

Let γ be such that |γ| ≤ k, that is γ ≤ k for every 1 ≤ j ≤ n. So, 1 ≤ 1 and j αj γj αj k ∞ − − therefore µαj γj ≤ µαj k. Now it follows that − − n n

Mα γ,0 = µαj γj ≤ µαj k = Mα,k. (3.22) − − − j j Y=1 Y=1 Moreover,

γ α γ β |||D f|||2, = sup |D (D f)(z)| : |α| ≤ 2 = sup D f(z) : βj ≤ γj + 2 for all j P z ∞ z ∈P   ∈P  

= sup Dβf(z) : |β| ≤ |γ| + 2 z ∞ ∞ ∈P   = |||f||| γ +2, ≤ |||f|||k+2, . (3.23) | | ∞ P P Therefore from (3.21), (3.22) and (3.23) we get n γ α 2 sup |D (cα(f)z )|≤ Mα,k · (1 + Rj ) · |||f|||k+2, (3.24) z j P ∈P  Y=1  Taking supremum in the left over all γ such that |γ| ≤ k we get the result.  ∞ 10 ANIRBAN DAWN

Proof of Theorem 3.1. Let z ∈ Ω. By Lemma 2.4, there exists a polyannulus P ⊂ Ω such that z ∈ P. So, for every 1 ≤ j ≤ n, either rj < |zj| < Rj or |zj| < Rj and 0 < rj < Rj < ∞ are rational numbers. Let f = n cγ eγ be the Laurent series  γ Z  expansion of a function f ∈ A (Ω) ⊂ A (P). Let k ∈ ∈N and α ∈ Zn. Let M and ∞ ∞ P α,k µαj k be as in the statement of Proposition 3.1. Now, by Proposition 3.1 we can write − |||cαeα|||k, ≤ Cα, · |||f|||k+2, . (3.25) P P P n 2 where the constant Cα, = Mα,k · j=1(1 + Rj ). Since P ⊂ Ω, |||f|||k+2, ≤ |||f|||k+2,Ω. P Since Ω is bounded, there exists a finite number B (independent of the polyannulusP P, as n Q 2 long as P ⊂ Ω) such that j=1(1 + Rj ) ≤ B. Therefore we can write

Q |||cαeα|||k, ≤ Cα · |||f|||k+2,Ω. (3.26) P where the constant Cα = Mα,k · B. We take supremum in the left of (3.26) over all P’s contained in Ω to get

|||cαeα|||k,Ω ≤ Cα · |||f|||k+2,Ω. (3.27) n Recall |α| := max |αj| , 1 ≤ j ≤ n , where α ∈ Z . Now, for every N ∈ N ∞  n N

Cα = B · µαj k . (3.28) − α N j=1 αj = N | |X∞≤ Y X−  N 1 N − For every j, we write lim µα k = lim µα k + lim µα k and ob- N j N j N j αj = N − αj = N − αj =0 − →∞ − →∞ − →∞ serve that both the terms areP finite (using the limitP comparison testP with the series N 1 j∞=2 ). So, lim µαj k < ∞ and therefore j(j 1) N − − →∞ αj = N P P− n N

lim Cα = B · lim µαj k < ∞. (3.29) N N − →∞ α N →∞ j=1 αj = N | |X∞≤ Y X−  Let m ≥ 1 be an integer and let σ : N → Zn be the bijection constructed in (3.1). Then it follows from (3.2) that m

|||cαeα|||k,Ω < cσ(j)eσ(j) k,Ω < |||cαeα|||k,Ω. (3.30) n n √m 1 j=0 √m 1 α Xj 2 − k X α jX2 − k+1 | |∞≤ | |∞≤ Now, from (3.27) and (3.29),

lim |||cαeα||| < ∞. (3.31) m k,Ω n →∞ √m 1 α X 2 − | |∞≤j k Therefore from (3.30), m ∞ cσ(j)eσ(j) = lim cσ(j)eσ(j) < ∞. k,Ω m k,Ω j=0 →∞ j=0 X X The absolute convergence follows from here.  LAURENT SERIES 11

4. Proof of main theorem

Let f = α Zn cαeα be the Laurent series expansion of f ∈ A∞(Ω). Recall from ∈ Section 2.1 that one can write Ω = m N Ωm, where Ωm is bounded for each m ∈ N. Let σ be theP bijection constructed in (3.1).∈ By Theorem 3.1, for all integers m, k ≥ S 0, ∞ c e < ∞, where |||·||| is as in (2.7). Also recall the semi- j=0 σ(j) σ(j) k,Ωm k,Ωm norms k·k as in (2.4), where k ∈ N and Ω is bounded. Since c e ≤ k, Ωm m σ(j) σ(j) k, P Ωm cσ(j)eσ(j) , it follows easily that for all integers m, k ≥ 0, k,Ωm

∞ c e < ∞. σ(j) σ(j) k,Ωm j=0 X

But, we saw in Section 2.1 that the collection of seminorms k·kk,Ωm : k,m ∈ N gener- ates the Fréchet topology of A (Ω). This proves that the Laurent series of f converges ∞  absolutely in A∞(Ω), therefore unconditionally in A∞(Ω) (see Lemma 2.2). So, the series j∞=0 cσ(j)eσ(j) converges in A∞(Ω). Let

P N g = lim cσ(j)eσ(j) (4.1) N →∞ j X=0 i (in A∞(Ω). Since the inclusion map A∞(Ω) ֒→ O(Ω) is continuous, the Equation (4.1 holds in O(Ω) as well. But, the Laurent series of a holomorphic function f on Ω converges to f absolutely and uniformly on compact subsets of Ω (see [9, p. 46]). Therefore f = g, and the proof is complete.

References

[1] D. Catlin. Boundary behavior of holomorphic functions on pseudoconvex domains. J. Differential Geometry, 15(4):605–625 (1981), 1980. [2] D. Chakrabarti. On an observation of Sibony. Proc. Amer. Math. Soc., 147(8):3451–3454, 2019. [3] D. Chakrabarti, L. D. Edholm, and J. D. McNeal. Duality and approximation of Bergman spaces. Adv. Math., 341:616–656, 2019. [4] J. B. Garnett. Bounded analytic functions, volume 96 of Pure and Applied Mathematics. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1981. [5] M. Hakim and N. Sibony. Spectre de A(Ω)¯ pour des domaines bornés faiblement pseudoconvexes réguliers. J. , 37(2):127–135, 1980. [6] M. Jarnicki and P. Pflug. First steps in several complex variables: Reinhardt domains. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2008. [7] M. I. Kadets and V. M. Kadets. Series in Banach spaces, volume 94 of Operator Theory: Advances and Applications. Birkhäuser Verlag, Basel, 1997. Conditional and unconditional convergence, Translated from the Russian by Andrei Iacob. [8] J. D. McNeal and J. Xiong. Norm convergence of partial sums of H1 functions. Internat. J. Math., 29(10):1850065, 10, 2018. [9] R. M. Range. Holomorphic functions and integral representations in several complex variables, volume 108 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1986. [10] N. Sibony. Prolongement des fonctions holomorphes bornées et métrique de Carathéodory. Invent. Math., 29(3):205–230, 1975. [11] K. H. Zhu. Duality of Bloch spaces and norm convergence of . Michigan Math. J., 38(1):89– 101, 1991. 12 ANIRBAN DAWN

(Anirban Dawn) Department of Mathematics, Central Michigan University, 1200 S Franklin St, Mt Pleasant, MI 48859, USA Email address: [email protected]