Lindelöfs teorem (komplex analys)

Sats

Om och är domäner som begränsas av jämna Jordan-kurvor och funktionen är analytisk vid och utför en konform mappning , så sträcker den sig kontinuerligt till och uppfyller vid varje punkt relationen , där och är lutningarna för tangenterna till kurvorna och , respektive, vid punkterna och . $G$ $G'$ $f$ $G$ $f:G\to G'$ $\arg f'(z)$ $\overline{G}$ $\zeta \in \partial G$ $\arg f'(z)=\theta '-{\theta }$ $\theta$ $\theta '$ $\partiell G$ $\partial G'$ $\zeta$ $f(\zeta )$