Suppose [tex]\zeta[/tex] lies in the upper half [tex]S_k[/tex] of an origin-centered disc in the complex plane and consider the function [tex]g(\zeta) = f(\zeta^{\alpha_k} + z_k)[/tex] where [tex]0 < \alpha_k < 2[/tex] is a real constant, [tex]z_k[/tex] is a complex constant, and [tex]f[/tex] is a bijective conformal map from its domain (which includes the points [tex]\zeta^{\alpha_k} + z_k[/tex]) to the open unit disc. (For the meanings of these constants, see Pg. 235 of Ahlfors if you have access to it.)(adsbygoogle = window.adsbygoogle || []).push({});

The reflection principle of Schwarz guarantees that [tex]g[/tex] has an analytic continuation to the full disc, and hence it is analytic at the origin and has the Taylor expansion

[tex]

f(z_k + \zeta^{\alpha_k}) = f(z_k) + \sum_{m = 1}^{\infty} a_m \zeta^m.

[/tex]

This is all fine, but now Ahlfors asserts that [tex]a_1[/tex] is nonzero because if it were zero then the half-disc [tex]S_k[/tex] would not be mapped into the unit disc by [tex]g[/tex].

I'm not seeing why. But this is a crucial step. Any ideas?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Question about Christoffel-Schwarz mappings from Ahlfors

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

**Physics Forums | Science Articles, Homework Help, Discussion**