Introduction.

I begin with this introduction in order to indicate, how do I understand the super-functions and our role about them. I remember that the Moderator has an ability to remove this introduction, together with all the lyrics around (and I appreciate his good will to keep all the posts so dry as his gunpowder); however, I hope the definitions below do not contradict those he suggested for our joint paper (which is "yet to be finished" during several last months); so, some definitions have some chance to survive.

Terminology

'''Superfunction'''

comes from iteration of some given function

, called "base-function" or "transfer function". There is some analogy with fiber optics, which explains why this

should be called "transfer function". Those who hate any physics (and, especially, the phenomenological fiber optics), may imagine that the function

transfers the value of function

at some point

to the value at the point

, as the basic equation suggests:

This equation is very basic; so, the only given function

may also be called the "base-function".

Iterations

Roughly, for some function

and for some constant

, the super-function could be defined with expression

then

can be interpreted as superfunction of function

.

Such definition is valid only for positive integer

.

In particular,

.

The most research and applications around the superfunctions are related with various extensions of super-function: analysis of the existence, uniqueness and ways of the evaluation.

For some functions

, such as addition of a constant or multiplication by a constant,

the superfunction can be expressed in terms of elementary function.

Namely such examples were motivation of this message.

History and Lowstory

Analysis of superfunctions cames from the application to the evaluation of fractional iterations of functions. Super-functions and their inverse functions allow evaluation of not only minus-first power of a function (inverse function), but also any real and even complex iteration of the function.

Historically, the first function of such kind considered was

; then, function

was used as logo of the Physics department of the Moscow State University, see

http://zhurnal.lib.ru/img/g/garik/dubinu...ndex.shtml
http://ofvp.phys.msu.ru/pdf/Kandidov_70.pdf
http://nauka.relis.ru/11/0412/11412002.htm
(bitte, all 3 in Russian).

That time, researchers did not have computational facilities for evaluation of such functions, but

the

was more lucky than the

; at least the existence of <b>holomorphic function</b>

such that

has been reported in 1950 by <b>Helmuth Kneser</b>

(H.Kneser. “Reelle analytische L¨osungen der Gleichung

und verwandter Funktionalgleichungen”.

Journal fur die reine und angewandte Mathematik, 187 (1950), 56-67.)

Extensions

The recurrence above can be written as equations

.

Instead of the last equation, one could write

and extend the range of definition of superfunction

to the non-negative integers. Then, one may postulate

and extend the range of validity to the integer values larger than

.

The following extension, for example,

is not trivial, because the inverse function may happen to be not defined for some values of

.

In particular, [[tetration]] can be interpreted as super-function of exponential for some real base

; in this case,

then, at

,

.

but

.

For extension to non-integer values of the argument, superfunction should be defined in different way.

Definitions.

For connected domains

and

and

,

the

super-function of a transfer function

is function

, holomorphic on

, such that

and

.

If

,

then the

super-function of a transfer function

is called

super-exponential on the base

.

If

and

,

then such a super-exponential is called <b>tetration</b>

and justify the appearance of this post at this Forum.

As it was already mentioned in this forum, in general, the super-function is not unique.

For a given transfer function

, from given

super-funciton

, another

super-function

could be constructed as

where

is any 1-periodic function, holomorphic at least in some vicinity of the real axis, such that

.

The modified super-function may have narrowed range of holomorphism.

The challenging task is to specify some domain

such that

super-function is unique.

In particular, the

super-function of

, for

, is called [[tetration]] and is believed to be unique at least for

; for the case

Examples

Oh, en fin, I touch the goal of this post. Sorry for the long introduction above.

Below, I consider various simple base-functions

.

<b>Elementary increment</b> Let

.

Then, the identity function

such that

is

superfunction of

.

Addition

Chose a

and define function

such that

Define function

such that

.

Then, function

is

superfunction of

.

<b>Multiplication</b>

Exponential

is

super-function of function

, defined in the previous example.

Quadratic polynomial

Let

.

Those, who like some Quantum Mechanics, may treat this function as a scaled second Hermitian polynomial, justifying the letter, used to denote the transfer function.

Then,

is a

superfunction of

.

Indeed,

and

In this case, the superfunction

is periodic; its period

.

Such super-function approaches unity in the negative direction of the real axis,

The example above and the two examples below are suggested at

<ref name="mueller">Mueller. Problems in Mathematics.

http://www.math.tu-berlin.de/~mueller/projects.html
</ref>

Rational function. In general, the transfer function

has no need to be entire function. Here is the example with meromorphic function

.

Let

Tthen,

is

superfunction of

.

For the proof, the trigonometric formula

can be used at

, that gives

Algebraic transfer function. However, the transfer function has no need to be even meromorphic. Let

Then,

superfunction of

for

.

The proof is similar to the previous two cases.

Exponential transfer function. Let

,

,

.

Then, tetrational

is a

super-function of

.

more extensions.

In general, we may take any special function

, such that

can be expressed through

with holomorphic elementary functions, then we may declare this expression as transfer function

, and then, function

appears as super-function. I invite participants to construct more super-functions that can be easy represented through some already known special functions.

P.S. Oh, mein Gott! I just realized the correct tread for this post. It repeats a lot of staff already posted here... Sorry... I see, there are already replies, so, I ssto to edit; the only correct obvious misprints...