Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

Greg

share|improve this question
add comment

2 Answers

up vote 4 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|improve this answer
    
Wonderful! Thank you. –  Greg Markowsky Nov 15 '11 at 6:29
add comment

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|improve this answer
add comment

Your Answer

 
discard

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.