Investigation of superfunctions: building-up the non-integer iterations of given transfer functions and the application to optics and other areas of science.

If we declare some holomorphic function *H* to be Transfer Function,
then, any holomorphic function *F* is called
superfunction
for function *H* on domain **G** ,
if it satisfies the equation

More examples can be constructed from any pair of biholomorphic functions

**3.1.** The tetration is constructed as superexponential,
holomorphic at least in the right hand side of the complex plane
[1-3]

**3.2.** The superfactorial is constructed as superfunction of factorial
[4].

**3.3.** While the superfunction *F* and its inverse function *E* are defined
(id est,
*F*(*E*(*z*)) = *z*
in some domain), the non-integer iteration of the
transfer function *H ^{c}*(

**3.4.** Square root of a function. In particular, at *c* = 0.5 , the half-iteration
*h* = *H*^{c} of function *H* is
some function *h* = sqrt(*H*) such that *h h z * = *H z* ,
or, with parenthesis, *h*(*h*(*z*)) = *H*(*z*) .

In year 1950, Helmuth Kneser had demonstrted
[5] the existence of
sqrt(exp) ; then, the superfunctions and related Schroeder functions had been
under intensive research
[6,7], but during a half-century, nobody
could suggest an algorithm to evaluate a sqrt(exp) or to plot it.

Recently, not only sqrt(exp) have been construcrted, but also
sqrt(factorial), see [5], id est function *f* such that
*f*(*f*(*z*)) = *z*! .
This demonstrates abilities of the method and gives sense
to the logo of the
Physics Department of the Moscow state
University; that logo was believed to have neither physical nor
mathematical meaning [8].

**3.5.** The non-integer iteration of a function allows the smooth
(holomorphic) transition from a function to its inverse function
[4,
9].

**4.1.** In the investigation of the nonlinear response of optical
materials, the sample is supposed to be optically thin, in such a way,
that the intensity of the light does not change much as it goes through.
Then one can consider, for example, the absorption as function of
the intensity. However, at small variation of the intensity in the
sample, the precision of measurement of the absorption as function of
intensity is not good.

The reconstruction of the superfunction from the Transfer Function
allows to work with relatively thick samples, improving the precision.
In particular, the Transfer Function of the similar sample, which is
half thiner, could be interpreted as the square root (id est, half-
iteration) of the Transfer Function of the initial sample.

**4.2.** In nonlinear acoustics, in may have sense to characterize the
nonlinearities in the attenuation of shock waves in a homogeneous tube.
This could find an application in some advanced muffler,
using nonlinear acoustic effects to withdraw the energy of the
choke waves without to disturb the flux of the gas. Such a research
could be boosted
with superfunctions: If *H* is transfer function for a tube of some
fixed length,
then sqrt(*H*) will be transfer function of a half-length tube.

**4.3.**
For the separation of isotopes due to the different pressure
of the saturated vapor for different components, the growth (or
evaporation)
of a small drop of liquid can be considered. Let some drop diffuses
down through a tube with some uniform concentration of vapor.
In the first approximation, at fixed concentration of the vapor,
the mass of the drop at the output end can be interpreted as the
Transfer Function of the input mass. The square root of this
Transfer Function will characterize the tube of half length.

**4.4.**
In a similar way the mass of a snowball, that rolls down from the hill,
can be considered as a function *F* of the path it already have passed.
At fixed length of this path (determined by the altitude of the hill)
this mass can be considered also as a Transfer Function *H* of the
input mass. Then, *F* is superfunction of *H* .

**4.5.** If one needs to build-up an operational element with
factorial transfer function, and wants to realize it as a sequential
connection of a couple of identical operational elements, then, each
of these two elements should have transfer function sqrt(!) [5]. The
operational element can be realized as an electronic or optical
circuit, or as a mechanical system (for ex., the curvilinear grains),
or as a system of hydraulic tubes and vessels, etcetera;
the operational element may be of any origin.

The theoretical science should be ready for such applications. In particular, the SuperExponential, SuperFactorial, sqrt(exp), sqrt(Factorial) should be popped up to the level of special functions.

If You want this research to be realized in Your Institute, then, now is time to make certain administrative steps, supporting this activity.

Copyleft [9] 2009 by Dmitrii Kouznetsov.

[1] D.Kouznetsov. Analytic solution of F(z+1)=exp(F(z)) in complex z-
plane.
Mathematics of Computation, v.78 (2009), 1647-1670.

http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/home.html

Preprint:
http://www.ils.uec.ac.jp/~dima/PAPERS/2009analuxpRepri.pdf

[2] D.Kouznetsov. Superexponential as special function. Vladikavkaz Mathematical Journal, in press. Preprint: http://www.ils.uec.ac.jp/~dima/PAPERS/2009vladie.pdf

[3] D.Kouznetsov, H.Trappmann. Portrait of the four regular super- exponentials to base sqrt(2). Mathematics of Computation, in press. Preprint: http://www.ils.uec.ac.jp/~dima/PAPERS/2009sqrt2.pdf

[4] D.Kouznetsov, H.Trappmann. Superfunctions and square root of factorial. Moscow University Physics Bulletin, under consideration. Preprint ILS, 2009: http://www.ils.uec.ac.jp/~dima/PAPERS/2009superfae.pdf

[5] H.Kneser. Reele analytische Losungen der Gleichung f(f(x))=e^x. J. f. reine angew. Math. 1950. v.187. P. 56-67. (In German) http://www.ils.uec.ac.jp/~dima/Relle.pdf

[6] J.Ecalle. Theorie des invariants holomorphes. Publications d'mathematiques d'Orsay, 67-74 09. (In French) http://portail.mathdoc.fr/PMO/PDF/E_ECALLE_67_74_09.pdf

[7] S.S.Cheng, W.Li. Analytic solutions of functional equations. World Scientific, 2008

[8] V.M.Gordienki, V.K.Novik. About the time, the department, the laboratory and myself... Moscow, 2007. (In Russian) http://ofvp.phys.msu.ru/pdf/Kandidov_70.pdf

[9] Smooth transition from a function to its inverse,

http://en.citizendium.org/wiki/Superfunction#Transition_from_a_function_to_its_inverse_function

[10] What is Copyleft?

http://en.wikipedia.org/wiki/Wikipedia:CC-BY-SA

http://www.gnu.org/copyleft/