# Hartogs theorem

2010 Mathematics Subject Classification: Primary: 32-XX [MSN][ZBL]

The term is used for different fundamental theorems in the theory of holomorphic functions of several complex variables, all proved by F. Hartogs. The term Hartogs' lemma is sometimes used also for a useful property of sequences of subarhominc functions.

#### Hartogs' theorem on separate analyticity

The following theorem goes under the name Hartogs' theorem on separate analyticity or Hartogs' fundamental theorem.

Theorem 1 If $U\subset \mathbb C^n$ is open and the function $f:D \to \mathbb C$ is holomorphic at every point $\zeta\in D$ with respect to each variable $z_k$, then it is holomorphic with respect to all variables.

In the theorem above holomorphic with respect to the variable $z_k$ means that, if $\zeta = (\zeta_1, \ldots, \zeta_n)$, then the map $z \mapsto f (\zeta_1, \ldots, \zeta_{k-1}, z, \zeta_{k+1}, \ldots, \zeta_n)$ is an holomorphic function of one complex variable in its domain of definition. Holomorphicity with respect to all variables means that $f$ is complex differentiable on $U$ (see Analytic function).

There exist many generalizations of Theorem 1 to include cases when some of the variables are real, when not all points of the domain $U$ are used or when some singularities of $f$ are permitted. For example:

Theorem 1a If $U := \{(z,w)\in \mathbb C^k\times \mathbb C^n: |z|< R_1, |w|< R_2\}$ and a function $f:U\to \mathbb C$ is holomorphic in the domain $\{|z|<r_1, |w|<R_2\}$ for some $r_1$ and is holomorphic in the ball $B_{R_1}$ with respect to the variables $z$ for any fized $w\in B_{R_2}$, then $f$ is holomorphic in $U$.

Theorem 1b If a function $f: \mathbb C^n \to \bar{\mathbb C}$ (where $\bar{\mathbb C}$ denotes the Riemann sphere $\mathbb C \cup \{\infty\}$) is rational with respect to each variable, then it is a rational function.

#### Hartogs' extension theorem

The term refers to another fundamental result in the theory of holomorphic functions of several complex variables, which indeed establishes a sharp contrast between the latter and the classical theorem of holomorphic function of one variable.

Theorem 2 If $U\subset \mathbb C^n$ is a connected open set, with $n\geq 2$, $K\subset U$ is a compact set which does disconnect $U$ and $f: U\setminus K \to \mathbb C$ is an holomorphic function, then $f$ can be extended holomorphically to the whole domain $U$.

The theorem is also known as Osgood-Brown lemma. In particular it implies that an holomorphic function of more than one complex variable cannot have an isolated singularity, in contrast with holomorphic functions of one complex variable (for instance $z\mapsto \frac{1}{z}$ is holomorphic on $\mathbb C \setminus \{0\}$ but cannot be extended to an holomorphic function of the whole complex plane).

Another version of Hartogs' extension theorem goes sometimes under the name of Hartogs' theorem on the continuous distribution of singular points and it states the following

Theorem 3 Assume $U\subset \mathbb C^n$ is an open set, $r$ a positive real number and $\{a_k\}\subset \mathbb C^{n-1}$ a sequence with the following properties:

• the disks $D_k := \{(z_1, a_k): |z_1|< r\}$ are all contained in $U$;
• $a_k \to a\in \mathbb C^{n-1}$ and the circle $S_\infty:= \{(z_1, a): |z_1|=r\}$ is contained in $U$.

Then $f$ can be extended holomorphically to a neighborhood of the disk $D_\infty:=\{(z_1, a): |z_1|<r\}$.

#### Hartogs' lemma on subharmonic functions

This lemma states that a sequence of subharmonic functions which is pointwise bounded is in fact locally uniformly bounded.

Theorem 4 If $U\subset \mathbb R^n$ and $f_k: U \to \mathbb R$ is a sequence of subharmonic functions such that $\limsup_{k\to\infty} f_k (x) \leq C < \infty\, ,$ then for every compact set $K\subset U$ and for every $\varepsilon > 0$ there is a $k_0\in \mathbb N$ such that $f_k (x) \leq C + \varepsilon \qquad \forall k\geq k_0, \forall x\in K\, .$

#### Hartogs' theorem on the analyticity of the singular set

This term is only used by some authors to refer to the results proved by Hartogs on the analyticity of the set of singularities of holomorphic functions of several complex variables in [Ha2]. An example is given by the following theorem (see also [BG], p. 684).

Theorem 5 Let $U := D_1 \times D_2 = \{|z|<r_1\}\times \{|w|<r_2\} \subset \mathbb C^2$, $\eta: D_1 \to D_2$ a continuous function and $f: U\setminus {\rm Gr}\, (\eta)$ an holomorphic function (where ${\rm Gr} (\eta) = \{((z, \eta(z)): z\in D_1\}$). Assume that each point $\eta (z)$ is a true singularity of the map $w\mapsto f_z (w):= f(z, w)$, namely that $f_z$ cannot be extended holomorphically to the whole $D_2$. Then $\eta$ is an holomorphic function.

How to Cite This Entry:
Hartogs theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hartogs_theorem&oldid=40754
This article was adapted from an original article by E.M. Chirka (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article