[Math] When does a multivariate power series define an entire function

Question

In the single variable case, the power series
$$\sum_{n=0}^\infty a_n z^n $$
defines an entire function, provided that
$$R^{-1}:=\limsup_{n \to \infty} |a_n|^{1/n}=0. $$
Moreover, if $R^{-1} >0$, the series converges for $|z|<R$, and has some singularity on $|z|=R$.

I'd like to know what happens in the case of $n \geq 2$ variables: Using multi-index notation, a power series has the form
$$\sum_{|\alpha| \geq 0} a_\alpha z^\alpha .$$
Is there a way to know, based on the coefficients $\{a_\alpha\}$, if the series defines an entire function? Is there any way to gain insights on the region of convergence at all?

Thank you!

Answer 1

This answer cites passages from Lecture notes on several complex variables by H.P. Boas. The author provides information about the region of convergence of multivariate power series.

Intro: There are many crucial differences between single- and multivariate complex analysis. For instance

• The theory of one-dimensional power series bifurcates into the theory of entire functions (when the series has infinite radius of convergence) and the theory of holomorphic functions on the unit disc (when the series has a finite radius of convergence—which can be normalized to the value $1$). In higher dimensions, the study of power series leads to function theory on infinitely many different types of domains.

• In contrast to the one-variable case holomorphic functions of several variables never have isolated singularities and never have isolated zeroes.

In the following we want to characterize the domains of convergence. But before that we have to introduce a little bit of notation.

• We consider the normed vector space $\mathbb{C}^n$ with the Euclidian norm: $$\|(z_1,\ldots,z_n)\|_2=\sqrt{|z_1|^2+\cdots+|z_n|^2}.$$ A point $(z_1,\ldots,z_n)$ in $\mathbb{C}^n$ is denoted by a single letter $z$.

• If $\alpha$ is an $n$-dimensional vector all of whose coordinates are nonnegative integers, then $z^\alpha$ means the product $z_1^{\alpha_1}\cdots z_n^{\alpha_n}$; the notation $\alpha!$ abbreviates the product $\alpha_1!\cdots\alpha_n!$; and $|\alpha|$ means $\alpha_1+\cdots+\alpha_n$. In this multi-index notation, a multivariable power series can be written in the form $\sum_{\alpha}c_{\alpha}z^{\alpha}$ as abbreviation for $\sum_{\alpha_1=0}^\infty\cdots\sum_{a_n=0}^\infty c_{\alpha_1\ldots\alpha_n}z^{\alpha_1}\cdots z^{\alpha_n}$.

• Since the value of a series depends in general on the order of summation, and there is no canonical ordering of $n$-tuples on nonnegative integers when $n>1$, we restrict attention to absolute convergence. The terms of an absolutely convergent series can be reordered arbitrarily without changing the value of the sum (or the convergence of the sum).

Domain of convergence: Reinhardt domain

• The domain of convergence of a power series means the interior of the set of points at which the series converges absolutely. For example, the power series $$\sum_{n=1}^\infty z_1^nz_2^{n!}$$ converges absolutely on the union of three sets in $\mathbb{C}^2$: the points $(z_1,z_2)$ for which $|z_2|<1$ and $z_1$ is arbitrary; the points $(0,z_2)$ for arbitrary $z_2$; and the points $(z_1,z_2)$ for which $|z_2|=1$ and $|z_1|<1$.

  The domain of convergence is the first of these three sets, for the other two sets contribute no additional interior points.

• Being defined by absolute convergence, every convergence domain is multicircular: if a point $(z_1,\ldots,z_n)$ lies in the domain, then so does the point $(\lambda_1z_1,\ldots,\lambda_nz_n)$, when $1=|\lambda_1|=\cdots=|\lambda_n|$.

• Moreover, the comparison test for absolute convergence of series shows that the point $(\lambda_1z_1,\ldots,\lambda_nz_n)$ remains in the convergence domain when $|\lambda_j|\leq 1$ for each $j$. Thus every convergence domain is a union of polydiscs centered at the origin. (A polydisc means a Cartesian product of discs, possibly with different radii.)

• A multicircular domain is often called a Reinhardt domain. Such a domain is called complete if whenever a point $z$ lies in the domain, the whole polydisc $\{w:|w_1|\leq |z_1|,\ldots,|w_n|\leq |z_n|\}$ is contained in the domain. The preceding discussion can be rephrased as saying that every convergence domain is a complete Reinhardt domain.

• But more is true. If both $\sum_{\alpha}|c_\alpha z^{\alpha}|$ and $\sum_{\alpha}|c_\alpha w^{\alpha}|$ converge, then Hölder's inequality implies that $\sum_{\alpha}|c_\alpha||z^{\alpha}|^t|w^{\alpha}|^{1-t}$ converges when $0\leq t\leq 1$. This property of a Reinhardt domain is called logarithmic convexity.

The preceding discussion shows that a convergence domain is necessarily a complete, logarithmically convex Reinhardt domain. The following theorem of Hartogs says that this geometric property characterizes domains of convergence of power series.

Theorem: A complete Reinhardt domain in $\mathbb{C}^n$ is the domain of convergence of some power series if and only if the domain is logarithmically convex.

The relationship of holomorphy of multi-variate functions with Reinhard domains of convergence of multi-variate power series is elaborated in the following pages. The next theorem from section 2.5 clarifies the existence of power series and covers also entire multivariate power series.

Theorem: (Cartan–Thullen). The domain of convergence of a multivariable power series is a domain of holomorphy. More precisely, for every domain of convergence there exists some power series that converges in the domain and that is singular at every boundary point.

Hint: Chapter I: Entire functions in Several Complex Variables, vol. III by L.I. Ronkin might be useful for further reading. The introductory section provides a lot of additional references.