# Abel function

*Some content on this page may previously have appeared on Wikipedia.*

**Abel function** is a special kind of solution of the Abel equations, used to classify them as superfunctions, and formulate conditions of uniqueness.

The Abel equation is class of equations which can be written in the form

- <math>

g(f(z))=g(z)+1 </math> where function <math>f</math> is supposed to be given, and function <math>g</math> is expected to be found. This equation is closely related to the iterational equation

- <math>H(F(z))=F(z+1)</math>
- <math>f(u)=v</math>

which is also called "Abel equation".

In general the Abel equation may have many solutions, and the additional requirements are necessary to select the only one among them.

## Contents

## superfunctions and Abel functions

### Definition 1: Superfunction

If

- <math> C \subseteq \mathbb{C}</math>, <math>D \subseteq \mathbb{C} </math>
- <math> F</math> is holomorphic function on <math>C</math>, <math>f</math> is holomorphic function on <math>D</math>
- <math> F(D) \subseteq C</math>
- <math>f(u)=v</math>
- <math>F(z+1)=F(f(z)) ~\forall z \in D : z\!+\!1 \in D</math>

Then and only then

<math> f </math> is
<math> u,v</math> superfunction of <math>F</math> on <math>D</math>

### Definition 2: Abel function

If

- <math> f </math> is <math>u,v</math> superfunction on <math>F</math> on <math>D</math>
- <math> H \subseteq \mathbb{C}</math>, <math> D \subseteq \mathbb{C},</math>
- <math>g</math> is holomorphic on <math>H</math>
- <math>g(H)\subseteq D</math>
- <math>f(g(z))=z \forall z \in H </math>
- <math>g(u)=v, ~ u\in G</math>

Then and only then

- <math> g </math> id <math> u,v</math> Abel function in <math>F</math> with respect to <math>f</math> on <math>D</math>.

## Examples

==Properties of Abel functions==