Abel equation explained

The Abel equation, named after Niels Henrik Abel, is a type of functional equation of the form

f(h(x))=h(x+1)

\alpha(f(x))=\alpha(x)+1

.The forms are equivalent when is invertible. or control the iteration of .

Equivalence

The second equation can be written

\alpha^-1(\alpha(f(x)))=\alpha^-1(\alpha(x)+1).

Taking, the equation can be written

f(\alpha^-1(y))=\alpha^-1(y+1).

For a known function, a problem is to solve the functional equation for the function, possibly satisfying additional requirements, such as .

The change of variables, for a real parameter, brings Abel's equation into the celebrated Schröder's equation, .

The further change into Böttcher's equation, .

The Abel equation is a special case of (and easily generalizes to) the translation equation,^[1]

\omega(\omega(x,u),v)=\omega(x,u+v)~,

e.g., for

\omega(x,1)=f(x)

\omega(x,u)=\alpha^-1(\alpha(x)+u)

. (Observe .)

The Abel function further provides the canonical coordinate for Lie advective flows (one parameter Lie groups).

History

Initially, the equation in the more general form^[2] ^[3] was reported. Even in the case of a single variable, the equation is non-trivial, and admits special analysis.^[4] ^[5] ^[6] In the case of a linear transfer function, the solution is expressible compactly.^[7]

Special cases

The equation of tetration is a special case of Abel's equation, with .

In the case of an integer argument, the equation encodes a recurrent procedure, e.g.,

\alpha(f(f(x)))=\alpha(x)+2~,

and so on,

\alpha(f_{n(x))=\alpha(x)+n}~.

Solutions

The Abel equation has at least one solution on

if and only if for all

x\inE

and all

n\inN

fⁿ(x) ≠ x

, where

fⁿ=f\circf\circ...\circf

, is the function iterated times.^[8]

We have the following existence and uniqueness theorem^[9]

Let

h:\R\to\R

be analytic, meaning it has a Taylor expansion. To find: real analytic solutions

\alpha:\R\to\C

of the Abel equation

\alpha \circ h = \alpha + 1

Existence

A real analytic solution

\alpha

exists if and only if both of the following conditions hold:

has no fixed points, meaning there is no

y\in\R

such that

h(y)=y

The set of critical points of

, where

h'(y)=0

, is bounded above if

h(y)>y

for all

, or bounded below if

h(y)<y

for all

Uniqueness

The solution is essentially unique in the sense that there exists a canonical solution

\alpha₀

with the following properties:

The set of critical points of

\alpha₀

is bounded above if

h(y)>y

for all

, or bounded below if

h(y)<y

for all

This canonical solution generates all other solutions. Specifically, the set of all real analytic solutions is given by

$\.$

Approximate solution

Analytic solutions (Fatou coordinates) can be approximated by asymptotic expansion of a function defined by power series in the sectors around a parabolic fixed point.^[10] The analytic solution is unique up to a constant.^[11]

References

[János Aczél (mathematician)|Aczél, János]
Untersuchung der Functionen zweier unabhängig veränderlichen Größen x und y, wie f(x, y), welche die Eigenschaft haben, ... . Abel, N.H. . . 1 . 11–15 . 1826 .
Theorems on functional equations. A. R. Schweitzer. Bull. Amer. Math. Soc.. 19. 2. 51–106 . 1912. 10.1090/S0002-9904-1912-02281-4 . free.
Korkine, A (1882). "Sur un problème d'interpolation", Bull Sci Math & Astron 6(1) 228—242. online
The real-analytic solutions of the Abel functional equations. G. Belitskii. Yu. Lubish. Studia Mathematica. 134. 2. 135–141. 1999.
Nonlinear Analysis: Hybrid Systems . 1. 1. 2007. 95–102. 10.1016/j.nahs.2006.04.002 . Jitka Laitochová. Group iteration for Abel’s functional equation.
The Abel equation and total solvability of linear functional equations. G. Belitskii. Yu. Lubish. Studia Mathematica. 127. 1998. 81–89.
http://matwbn.icm.edu.pl/ksiazki/fm/fm5/fm5132.pdf R. Tambs Lyche, Sur l'équation fonctionnelle d'Abel, University of Trondlyim, Norvege
Bonet . José . Domański . Paweł . April 2015 . Abel’s Functional Equation and Eigenvalues of Composition Operators on Spaces of Real Analytic Functions . Integral Equations and Operator Theory . en . 81 . 4 . 455–482 . 10.1007/s00020-014-2175-4 . 0378-620X. free .
Dudko, Artem (2012). Dynamics of holomorphic maps: Resurgence of Fatou coordinates, and Poly-time computability of Julia sets Ph.D. Thesis
https://www.birs.ca/workshops/2015/15w5082/files/resman.pdf Classifications of parabolic germs and fractal properties of orbits by Maja Resman, University of Zagreb, Croatia

M. Kuczma, Functional Equations in a Single Variable, Polish Scientific Publishers, Warsaw (1968).
M. Kuczma, Iterative Functional Equations. Vol. 1017. Cambridge University Press, 1990.

Abel equation explained

Equivalence

History

Special cases

Solutions

Existence

Uniqueness

Approximate solution

See also

References