## You are here

HomeHartogs's theorem on separate analyticity

## Primary tabs

# Hartogs’s theorem on separate analyticity

###### Theorem (Hartogs).

Let $G\subset{\mathbb{C}}^{n}$ be an open set and write $z=(z_{1},\ldots,z_{n})$. Let $f\colon G\to{\mathbb{C}}$ be a function such that for each $k=1,\ldots,n$ and fixed $z_{1},\ldots,z_{{k-1}},z_{{k+1}},\ldots,z_{n}$ the function

$w\mapsto f(z_{1},\ldots,z_{{k-1}},w,z_{{k+1}},\ldots,z_{n})$ |

is holomorphic on the set $\{w\in{\mathbb{C}}\mid z_{1},\ldots,z_{{k-1}},w,z_{{k+1}},\ldots,z_{n}\in G\}$. Then $f$ is continuous on $G$.

This is a sort of an analogue of Goursat’s theorem for several complex variables. That is if we just consider that a function is holomorphic in each variable separately, then it will turn out to be continuously differentiable. Thus we can in fact define holomorphic functions of several complex variables to be just functions holomorphic in each variable separately.

Note that there is no analogue of this theorem for real variables. If we assume that a function $f\colon{\mathbb{R}}^{n}\to{\mathbb{R}}$ is differentiable (or even analytic) in each variable separately, it is not true that $f$ will necessarily be continuous. The standard example in ${\mathbb{R}}^{2}$ is given by $f(x,y)=\frac{xy}{x^{2}+y^{2}}$, then this function has well defined partial derivatives in $x$ and $y$ at 0, but it is not continuous at 0 (try approaching 0 along the line $x=y$ or $x=-y$).

Even if we assume the function to be smooth ($C^{\infty}$), there is no analogue for real variables. Consider $f(x,y)=xye^{{-1/(x^{2}+y^{2})}},$ where we define $f(0,0)=0.$ This function is smooth, real analytic in each variable separately, but it fails to be real analytic at the origin.

# References

- 1 Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.

## Mathematics Subject Classification

32A10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier