You are here
Home ›Hartogs's theorem on separate analyticity
Primary tabs
Hartogs’s theorem on separate analyticity
Theorem (Hartogs).
Let be an open set and write . Let be a function such that for each and fixed the function
is holomorphic on the set . Then is continuous on .
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 is differentiable (or even analytic) in each variable separately, it is not true that will necessarily be continuous. The standard example in is given by , then this function has well defined partial derivatives in and at 0, but it is not continuous at 0 (try approaching 0 along the line or ).
Even if we assume the function to be smooth (), there is no analogue for real variables. Consider where we define 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 Holomorphic functions- 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: Linear Algebra Combination Problem! by unlord
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


