## General form of Schwarz reflection principle

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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

-

## 2 Answers

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 .

-

Wonderful! Thank you. – Greg Markowsky Nov 15 2011 at 6:29

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.918129563331604, "perplexity_flag": "head"}