Superfunction: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Dmitrii Kouznetsov
imported>Dmitrii Kouznetsov
Line 19: Line 19:
[[Image:Sqrt(factorial)LOGOintegralLOGO.jpg|100px|right|thunb|LOGOs of the Phys.Dept. of the MSU and that of Math.Dep.]]
[[Image:Sqrt(factorial)LOGOintegralLOGO.jpg|100px|right|thunb|LOGOs of the Phys.Dept. of the MSU and that of Math.Dep.]]
Analysis of superfunctions came from the application to the evaluation of fractional iterations of functions.  
Analysis of superfunctions came from the application to the evaluation of fractional iterations of functions.  
Superfunctions and their inverse functions allow evaluation of not only minus-first power of a function (inverse function), but also function in any real or even complex power. Historically, first function of such kind considered was <math>\sqrt{\exp}~</math>; then, function <math>\sqrt{!~}~</math> was used as logo of the Physics department of the [[Moscow State University]]
Superfunctions 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 <math>\sqrt{\exp}~</math>; then, function <math>\sqrt{!~}~</math> was used as logo of the Physics department of the [[Moscow State University]]
<ref name="logo">Logo of the Physics Department of the Moscow State University. (In Russian);
<ref name="logo">Logo of the Physics Department of the Moscow State University. (In Russian);
http://zhurnal.lib.ru/img/g/garik/dubinushka/index.shtml
http://zhurnal.lib.ru/img/g/garik/dubinushka/index.shtml
Line 42: Line 42:
</ref>.
</ref>.
That time, researchers did not have computational facilities for evaluation of such functions, but
That time, researchers did not have computational facilities for evaluation of such functions, but
the <math>\sqrt{\exp}</math> was more lucky than the <math>~\sqrt{!~}~~</math>; at least the existence of [[holomorphic function]] <math>\sqrt{\exp}</math> has been demonstrated in 1950 by [[Helmuth Kneser]] <ref name="kneser">
the <math>\sqrt{\exp}</math> was more lucky than the <math>~\sqrt{!~}~~</math>; at least the existence of [[holomorphic function]]  
<math>\varphi</math> such that <math>\varphi(\varphi(z))=\exp(z)</math> has been demonstrated in 1950 by [[Helmuth Kneser]] <ref name="kneser">
H.Kneser. “Reelle analytische L¨osungen der Gleichung <math>\varphi(\varphi(x)) = e^x </math> und verwandter Funktionalgleichungen”.
H.Kneser. “Reelle analytische L¨osungen der Gleichung <math>\varphi(\varphi(x)) = e^x </math> und verwandter Funktionalgleichungen”.
Journal fur die reine und angewandte Mathematik, 187 (1950), 56-67.
Journal fur die reine und angewandte Mathematik, 187 (1950), 56-67.
</ref>. Actually, for his proof, Kneser had constructed the superfunction of exp and corresponding Abel function <math>\mathcal{X}</math>, satisfying the [[Abel equation]]
</ref>. Actually, for his proof, Kneser had constructed the superfunction of exp and corresponding Abel function <math>\mathcal{X}</math>, satisfying the [[Abel equation]]
: <math>\mathcal{X}(\exp(z))=\mathcal{X}(z)+1</math>
: <math>\mathcal{X}(\exp(z))=\mathcal{X}(z)+1</math>
the inverse function is the [[entire function|entire]] analogy of the super-exponential (although it is not real at the real axis).
the inverse function <math>F</math> is the [[entire function|entire]] super-exponential, although it is not real at the real axis; it cannot be interpreted as [[tetration]], because the condition <math>F(0)=1</math> cannot be realized for the entire super-exponential.


==Extensions==
==Extensions==

Revision as of 03:33, 24 April 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Superfunction comes from iteration of another function. Roughly, for some function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} and for some constant Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} , the superfunction could be defined with expression

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {{S(z)} \atop \,} {= \atop \,} {{\underbrace{f\Big(f\big(... f(t)...\big)\Big)}} \atop {z \mathrm{~evaluations~of~function~}f\! \!\!\!\!\!}}}

then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} can be interpreted as superfunction of function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} . Such definition is valid only for positive integer Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} . The most research and appllications around the superfunctions is related with various extensions of superfunction; and analysis of the existence, uniqueness and ways of the evaluation. For simple function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} , such as addition of a constant or multiplication by a constant, the superfunction can be expressed in terms of elementary function. In particular, the Ackernann functions and tetration can be interpreted in terms of super-functions.

History

LOGOs of the Phys.Dept. of the MSU and that of Math.Dep.

Analysis of superfunctions came from the application to the evaluation of fractional iterations of functions. Superfunctions 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt{\exp}~} ; then, function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt{!~}~} was used as logo of the Physics department of the Moscow State University [1][2][3]. That time, researchers did not have computational facilities for evaluation of such functions, but the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt{\exp}} was more lucky than the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~\sqrt{!~}~~} ; at least the existence of holomorphic function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi} such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi(\varphi(z))=\exp(z)} has been demonstrated in 1950 by Helmuth Kneser [4]. Actually, for his proof, Kneser had constructed the superfunction of exp and corresponding Abel function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{X}} , satisfying the Abel equation

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{X}(\exp(z))=\mathcal{X}(z)+1}

the inverse function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is the entire super-exponential, although it is not real at the real axis; it cannot be interpreted as tetration, because the condition Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(0)=1} cannot be realized for the entire super-exponential.

Extensions

The recurrence above can be written as equations

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(z\!+\!1)=f(S(z)) ~ \forall z\in \mathbb{N} : z>0}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(1)=f(t)} .

Instead of the last equation, one could write

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(0)=t}

and extend the range of definition of superfunction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} to the non-negative integers. Then, one may postulate

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(-1)=f^{-1}(t)}

and extend the range of validity to the integer values larger than Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -2} . The following extension, for example,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(-2)=f^{-2}(t)}

is not trifial, because the inverse function may happen to be not defined for some values of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} . In particular, tetration can be interpreted as super-function of exponential for some real base Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} ; in this case,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f=\exp_{b}}

then, at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t=1} ,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(-1)=\log_b(1)=0 } .

but

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(-2)=\log_b(0)~ \mathrm{is~ not~ defined}} .

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

Definition

For complex numbers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~a~} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~b~} , such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~a~} belongs to some domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D\subseteq \mathbb{C}} ,
superfunction (from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} ) of holomorphic function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~f~} on domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} is function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } , holomorphic on domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} , such that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(z\!+\!1)=f(S(z)) ~ \forall z\in D : z\!+\!1 \in D}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(a)=b} .

Uniqueness

Holomorphism declared in the definition is essential for the uniqueness. If no additional requirements on the continuity of the function in the complex plane, the strip Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ z \in \mathbb{C} : -1<\Re(z)\le 0 \}} can be filled with any function (for example, the Dirichlet function), and extended with the recurrent equation. A little bit more regular approach is fitting of the superfunction at the part of the real axis with some simple function (for example, the linear function), and following extension of this step-vice function to the whole complex plane.

Examples

Addition

Chose a complex number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} and define function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{add}_c} with relation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{add}_c(z)=c\!+\!z ~ \forall z \in \mathbb{C}} . Define function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{mul_c}} with relation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{mul_c}(z)=c\!\cdot\! z ~ \forall z \in \mathbb{C}} .

Then, function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~\mathrm{mul_c}~} is superfunction (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~0} to ) of function on .

Multiplication

Exponentiation is superfunction (from 1 to ) of function .

Quadratic polynomials

Let . Then, is a Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\mathbb{C},~ 0\! \rightarrow\! 1)} superfunction of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H} .

Indeed,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(z+1)=\cos(2 \pi \cdot 2^z)=2\cos(\pi \cdot 2^z)^2 -1 =H(f(z)) }

and

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(0)=\cos(2\pi)=1}

In this case, the superfunction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is periodic; its period

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T=\frac{2\pi}{\ln(2)} \mathrm{i}\approx 9.0647202836543876194 \!~i }

and the superfunction approaches unity also in the negative direction of the real axis,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{x\rightarrow -\infty} f(x)=1}

The example above and the two examples below are suggested at [5]

Rational function

In general, the transfer function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H} has no need to be entire function. Here is the example with meromorghic function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H} . Let

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H(z)=\frac{2z}{1-z^2} ~ \forall z\in D~} ; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ D=\mathbb{C} \backslash \{-1,1\}}

Then, function

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(z)=\tan(\pi 2^z)}

is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (C, 0\! \mapsto\! 0)} superfunction of function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is the set of complex numbers except singularities of function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} . For the proof, the trigonometric formula

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tan(2 \alpha)=\frac{2 \tan(\alpha)}{1-\tan(\alpha)^2}~~ \forall \alpha \in \mathbb{C} \backslash \{\alpha\in \mathbb{C} : \cos(\alpha)=0 || \sin(\alpha)=\pm \cos(\alpha) \} }

can be used at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha=\pi 2^z } , that gives

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H(F(z))=\frac{2 \tan(\pi 2^z)}{1-\tan(\pi 2^z)} = \tan(2 \pi 2^z)=F(z+1) }

Algebraic function

Exponentiation

Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b>1} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H(z)= \exp_b(z)} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C= \{ z \in \mathbb{C} : \Re(z)>-2 \}} . Then, tetration Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{tet}_b } is a Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (C,~ 0\! \rightarrow\! 1)} superfunction of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exp_b} .

Abel function

Inverse of superfunction can be interpreted as the Abel function.

For some domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E\subseteq \mathbb{C}} and some Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle u\in E} ,Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle v\in \mathbb{C}} ,
Abel function (from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle u} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle v } ) of function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} with respect to superfunction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} on domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E \in \mathbb{C}} is holomorphic function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} such that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S(A(z))=z ~\forall z \in E }
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(u)=c}

The definitionm above does not reuqire that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(S(z))=z ~\forall z \in D } ; although, from properties of holomorphic functions, there should exist some subset Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}\subseteq D} such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(S(z))=z ~\forall z \in \mathcal{D} } . In this subset, the Abel function satisfies the Abel equation.

Abel equation

The Abel equation is some equivalent of the recurrent equation

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(S(z))=S(z\!+\!1)}

in the definition of the superfunction. However, it may hold for from the reduced domain .


Applications of superfunctions and Abel functions

References

  1. Logo of the Physics Department of the Moscow State University. (In Russian); http://zhurnal.lib.ru/img/g/garik/dubinushka/index.shtml
  2. V.P.Kandidov. About the time and myself. (In Russian) http://ofvp.phys.msu.ru/pdf/Kandidov_70.pdf:

    По итогам студенческого голосования победителями оказались значок с изображением

    рычага, поднимающего Землю, и нынешний с хорошо известной эмблемой в виде корня из факториала, вписанными в букву Ф. Этот значок, созданный студентом кафедры биофизики А.Сарвазяном, привлекал своей простотой и выразительностью. Тогда эмблема этого значка подверглась жесткой критике со стороны руководства факультета, поскольку она не имеет физического смысла, математически абсурдна и идеологически бессодержательна.

  3. 250 anniversary of the Moscow State University. (In Russian) ПЕРВОМУ УНИВЕРСИТЕТУ СТРАНЫ - 250! http://nauka.relis.ru/11/0412/11412002.htm

    На значке физфака в букву "Ф" вписано стилизованное изображение корня из факториала (√!) - выражение, математического смысла не имеющее.

  4. H.Kneser. “Reelle analytische L¨osungen der Gleichung und verwandter Funktionalgleichungen”. Journal fur die reine und angewandte Mathematik, 187 (1950), 56-67.
  5. Mueller. Problems in Mathematics. http://www.math.tu-berlin.de/~mueller/projects.html