1: \begin{definition}[Abel function, initial

2:   curve/region]

3: We call a function $\alpha$, holomorphic on $D$, an {\em Abel function

4:   of $F$} iff it satisfies the Abel equation

5: \begin{align}

6:   \alpha(F(z))&=\alpha(z)+1

7:   \iL{eq:abel}

8: \end{align}

9: for all $z\in D\cap F^{-1}(D)$. $F$ is sometimes called the

10: {\em base function}.

11: 

12: A curve $\gamma\colon (-1,1)\to\bC$ on which $F$ is

13: holomorphic is called an {\em initial curve of $F$} iff $\gamma$ and

14: $F\circ\gamma$ are injective

15: and disjoint and $\gamma(-1)\neq \gamma(1)$ are two fixed points of

16: $F$. (To be explicit define $\gamma(\pm 1):=\lim_{t\to\pm 1} \gamma(t)$.)

17: 

18: Under these conditions $\gamma\cup (F\circ \gamma) \cup

19: \{\gamma(-1),\gamma(1)\}$ is a closed Jordan

20: curve. We call its inner (bounded) component $C$ joined with $\gamma$

21: and $F\circ\gamma$ the {\em initial region} of $\gamma$ denoted by

22: $I_F(\gamma):=\gamma\uplus C\uplus F(\gamma)=\overline{C}\setminus

23: \{\gamma(-1),\gamma(1)\}$. 

24: % 

25: % We call an intial curve $\gamma$ of $F$ and its accompanied region

26: % $H=I_F(\gamma)$ {\em strongly initial} if $F$ is injective on $H$

27: % (which is equivalent to $F$ being injective on $F(\gamma)$ via

28: % \cite{Markushevich1965} Theorem 4.8).

29: \iL{def:initial}

30: \end{definition}

31: