MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi. I have been struggling with this question for a while now.

Given a domain $\Omega \subset \mathbb{C}^n$, $\Omega^\prime = \Omega \cap \mathbb{R}^n$, and an analytic function $f: \Omega \longrightarrow \Omega$ such that $f_{|\Omega^\prime}$ is a (real) constant, under which assumptions on $\Omega$ and/or $\Omega^\prime$ can one conclude that $f$ is constant on the whole domain $\Omega$?

The case $n = 1$ is quite classical. For $n>1$, assuming $\Omega$ is a pseudoconvex domain does not really help, and I'm not sure of what can be said about real domains of the zeros of an analytical function of several complex variables.

Thanks for any clue about this.

share|cite|improve this question
up vote 5 down vote accepted

Without loss of generality, assume that your $f_{|\Omega^\prime}\equiv 0$. The knowledge of this restriction is sufficient to conclude that $f$ and all of its derivatives vanish on $\Omega'$. The subset of $\Omega$ on which $f$ and all of its derivatives vanish is both closed and open (clopen). Since $\Omega$ is a domain (it's connected), the only clopen subsets are $\Omega$ and $\emptyset$. If $\Omega'$ is non-empty, it then follows that $f$ must vanish on all of $\Omega$.

In other words, the assumptions you specified are already sufficient.

A couple more details. The clopen property holds because (i) continuity ensures that the set of all points on which some derivative of $f$ vanishes is closed and (ii) the Taylor series with all-zero coefficients has a non-zero radius of convergence.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.