Research proposals: Superfunctions

Requested by Hiroshi Takuma, formulated by Dmitrii Kouznetsov 2009/09/11, Chofu, Tokyo, Japan.

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

1. Definition.

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

H(F(z)) = F(z+1)   for all  z  from  G 

2. Examples:

2.1. Multiplication by some constant  b  is superfunction of addition of constant  b :
H(z) = z + b   ;   F(z) = bz
2.3. Exponentiation at base b is superfunction of multiplication by constant   b :
H(z) = bz   ;    F(z) = bz = expb(z)
2.4. Tetration [1-4] at base  b  is superfunction of exponentiation at base   b :
H(z) = expb(z)   ;    F(z) = tetb(z)
2.5. Pentation as superfunction of tetration is not yet constructed, but is expected to be constructed in year 2010:
H(z) = tetb(z)   ;    F(z) = penb(z)
2.6. The power  b   of an argument also can be considered as Transfer Function;
H(z) = zb   ;   F(z) = exp(bz)

More examples can be constructed from any pair of biholomorphic functions  u , if the inverse function  v = u-1  can be expressed in some closed and easy computable form; then, for the transfer function   H(z) = u(1+v(z)) ,    the function   F = u   is superfunction.

3. Mathematical applications

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   Hc(z) = F(c+E(z))   can be constructed. The iteration of a function form its group:  Hc(Hd(z)) = Hc+d (z)    . In this sense,  Hc Hd = Hc+d  ,  and the iteration (perhaps, non-integer) can be interpreted as some kind of "power" of the transfer function  H  .

3.4. Square root of a function. In particular, at   c = 0.5   , the half-iteration h = Hc   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. Physical applications.

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.

5. Conclusion

Calculation of a fractal iteration of a function, and in particular, that of exponential or that of the Factorial, may have other (and, perhaps, unexpected) applications; for example, in the description of the physical processes, that grow up faster than any polynomial, but slower than any exponential.
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.

6. Copyright status.

The free distribution of this text is allowed under condition that the authorship and the source http://www.ils.uec.ac.jp/~dima/2009propo.html are attributed.
Copyleft [9] 2009 by Dmitrii Kouznetsov.

References

[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/

=============================================