In mathematics, Hartogs' theorem is a fundamental result of Friedrich Hartogs in the theory of several complex variables. Roughly speaking, it states that a 'separately analytic' function is continuous. More precisely, if is an analytic function in each variable zi, 1 ≤ i ≤ n, while the other variables are held constant, then F is a continuous function.
A corollary of this is that F is then in fact an analytic function in the n-variable sense (i.e. that locally it has a Taylor expansion). Therefore 'separate analyticity' and 'analyticity' are coincident notions, in the several complex variables theory.
The theorem with the extra condition that the function is continuous (or bounded) is much easier to prove and is known as Osgood's lemma.
Note that there is no analogue of this theorem for real variables. If we assume that a function is differentiable (or even analytic) in each variable separately, it is not true that will necessarily be continuous. A counterexample in two dimensions is given by
- Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.