MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Hello all,

It is easy to find results on reflecting holomorphic functions over circles and lines, but I am wondering what there is for reflecting over smooth curves, or analytic arcs, etc. In particular, I am interested in the conformal map f from the upper half-plane to $\{x+yi : y>1/(1+x^2)\} $ which maps $0$ to $i$ and fixes infinity (so, say, maps $i$ to $2i$). It seems to me that I should be able to extend $f$ to be analytic in a neighborhood of infinity, but I cannot find a reference. Any help will be appreciated.


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

For reflection across analytic arcs see Caratheodory's book Conformal Representation pages 87-90 or his book Theory of Functions vol 2 pages 101-104 .

share|cite|improve this answer
Wonderful! Thank you. – Greg Markowsky Nov 15 '11 at 6:29

For your specific question, note that the domain you describe $\mathbb{D}$, consisting of those $z = x+iy$ for which $y > 1/(1+x^2)$, when regarded as a domain in the extended complex plane, $\mathbb{CP}^1= \mathbb{C}\cup\infty$, is a disk with a smooth, real-analytic boundary in $\mathbb{CP}^1$, so the mapping you are describing does, in fact, extend analytically across the boundary, everywhere along the boundary. In particular, it extends analytically (meromorphically, actually) to a neighborhood of $z = \infty$.

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.