Difference between revisions of "Elementary function"
m (Text replacement - "\$([^\$]+)\$" to "\\(\1\\)") |
|||
| Line 4: | Line 4: | ||
The first three ackermann functions are |
The first three ackermann functions are |
||
| − | [[ackermann]] |
+ | [[ackermann]]\(_{1,x}(y)=x+y\) |
| − | [[ackermann]] |
+ | [[ackermann]]\(_{2,x}(y)=x\, y\) |
| − | [[ackermann]] |
+ | [[ackermann]]\(_{3,x}(y)=\exp_x(y)=x^y~\) |
==Highest ackermanns== |
==Highest ackermanns== |
||
| − | Ackermanns |
+ | Ackermanns \(A_{b,n}\) appear as holomorphic solutions of the transfer equation |
| − | + | \(A_{b,n}(z\!+\!1)=A_{b,n-1}\!\big( A_{b,n}(z)\big)\) |
|
| − | with additional condition |
+ | with additional condition \(A_{b,n}(0)=1\), |
and condition of moderate (slower than exponential) growth in the direction of imaginary axis. |
and condition of moderate (slower than exponential) growth in the direction of imaginary axis. |
||
| − | For positive |
+ | For positive \(b>0\), the real–holomorphism of ackermanns is assumed, \(A_{b,n}(z^*)=A_{b,n}(z)^*\). |
Each ackermann, except the first one, appears as [[superfunction]] of the precious ackermann and |
Each ackermann, except the first one, appears as [[superfunction]] of the precious ackermann and |
||
[[Abel function]] for the next ackermann. |
[[Abel function]] for the next ackermann. |
||
| − | Highest [[ackermann]]s |
+ | Highest [[ackermann]]s \(A_{b,n}\), since \(n\!>\!3\), are excluded from the set of elementary functions. In particular, |
| − | [[ackermann]] |
+ | [[ackermann]]\(_{4,x}(y)=\)[[tet]]\(_x(y)\) |
| − | [[ackermann]] |
+ | [[ackermann]]\(_{5,x}(y)=\)[[Pentation|pen]]\(_x(y)\) |
are not elementary functions. However, some of them are described and should be qualified as [[special function]]s. |
are not elementary functions. However, some of them are described and should be qualified as [[special function]]s. |
||
| Line 33: | Line 33: | ||
First three [[ackermann]] and few their combinations, and the inverse functions are called [[Primary elementary functions]]. They are defined with the list below: |
First three [[ackermann]] and few their combinations, and the inverse functions are called [[Primary elementary functions]]. They are defined with the list below: |
||
| − | [[cos]] |
+ | [[cos]]\((x)=\displaystyle |
| − | \frac{\exp(\mathrm i x) + \exp(-\mathrm i x)}{2} |
+ | \frac{\exp(\mathrm i x) + \exp(-\mathrm i x)}{2}\) |
| − | [[sin]] |
+ | [[sin]]\((x)\,=\displaystyle\frac{\exp(\mathrm i x) - \exp(-\mathrm i x)}{2\, \mathrm i}\) |
| − | [[tan]] |
+ | [[tan]]\((x)\,=\displaystyle \frac{\sin(x)}{\cos(x)}\) |
The inverse functions are also considered as primary elementary functions: |
The inverse functions are also considered as primary elementary functions: |
||
| − | [[Subtraction]] |
+ | [[Subtraction]]\((x,y)=x-y\) |
| − | [[Division]] |
+ | [[Division]]\((x,y)=x/y\) |
| − | [[RootFinding]] |
+ | [[RootFinding]]\((x,y)= ~^x\!\sqrt{y}= y^{-x}\) |
| − | [[Logarithm|ln]] |
+ | [[Logarithm|ln]]\(\,=\exp^{-1}\) |
| − | [[Arccos]] |
+ | [[Arccos]]\(\, =\cos^{-1}\) |
| − | [[Arcsin]] |
+ | [[Arcsin]]\(\, =\sin^{-1}\) |
| − | [[Arctan]] |
+ | [[Arctan]]\(\,=\tan^{-1}\) |
==Confusions== |
==Confusions== |
||
| Line 60: | Line 60: | ||
In the scientific and educational literature, especially in Physics and Mathematics, the special notations are used, when superscript after the name of a function indicates not number to iterate of this function, but the argument of exponentiation, that should be performed after evaluation of the function; for example, |
In the scientific and educational literature, especially in Physics and Mathematics, the special notations are used, when superscript after the name of a function indicates not number to iterate of this function, but the argument of exponentiation, that should be performed after evaluation of the function; for example, |
||
| − | + | \(\sin^n(x)\) is used in such a way, that it means \(\sin(x)^n\). |
|
Such a confusion is often observed namely with elementary functions. |
Such a confusion is often observed namely with elementary functions. |
||
| − | Especially explicit this confusion becomes at |
+ | Especially explicit this confusion becomes at \(n\!=\!-1\); |
in the confusive notations, |
in the confusive notations, |
||
| − | + | \(\sin^{-1}(x)~\) may mean \(~\sin(x)^{-1}\!=\!\frac{1}{\sin(x)}~\) |
|
| − | as well as |
+ | as well as \(~\arcsin(x)~\), and only from the context the reader is supposed to guess, which case do the authors mean. |
==References== |
==References== |
||
Latest revision as of 18:45, 30 July 2019
Elementary function is either one or the first three Ackermann functions, or any finite combination of the first three Ackermann functions functions and their inverse functions.
The first three ackermann functions are
ackermann\(_{1,x}(y)=x+y\)
ackermann\(_{2,x}(y)=x\, y\)
ackermann\(_{3,x}(y)=\exp_x(y)=x^y~\)
Highest ackermanns
Ackermanns \(A_{b,n}\) appear as holomorphic solutions of the transfer equation
\(A_{b,n}(z\!+\!1)=A_{b,n-1}\!\big( A_{b,n}(z)\big)\)
with additional condition \(A_{b,n}(0)=1\), and condition of moderate (slower than exponential) growth in the direction of imaginary axis. For positive \(b>0\), the real–holomorphism of ackermanns is assumed, \(A_{b,n}(z^*)=A_{b,n}(z)^*\). Each ackermann, except the first one, appears as superfunction of the precious ackermann and Abel function for the next ackermann.
Highest ackermanns \(A_{b,n}\), since \(n\!>\!3\), are excluded from the set of elementary functions. In particular,
ackermann\(_{4,x}(y)=\)tet\(_x(y)\)
ackermann\(_{5,x}(y)=\)pen\(_x(y)\)
are not elementary functions. However, some of them are described and should be qualified as special functions.
Primary elementary functions
First three ackermann and few their combinations, and the inverse functions are called Primary elementary functions. They are defined with the list below:
cos\((x)=\displaystyle \frac{\exp(\mathrm i x) + \exp(-\mathrm i x)}{2}\)
sin\((x)\,=\displaystyle\frac{\exp(\mathrm i x) - \exp(-\mathrm i x)}{2\, \mathrm i}\)
tan\((x)\,=\displaystyle \frac{\sin(x)}{\cos(x)}\)
The inverse functions are also considered as primary elementary functions:
Subtraction\((x,y)=x-y\)
Division\((x,y)=x/y\)
RootFinding\((x,y)= ~^x\!\sqrt{y}= y^{-x}\)
ln\(\,=\exp^{-1}\)
Arccos\(\, =\cos^{-1}\)
Arcsin\(\, =\sin^{-1}\)
Arctan\(\,=\tan^{-1}\)
Confusions
In the scientific and educational literature, especially in Physics and Mathematics, the special notations are used, when superscript after the name of a function indicates not number to iterate of this function, but the argument of exponentiation, that should be performed after evaluation of the function; for example,
\(\sin^n(x)\) is used in such a way, that it means \(\sin(x)^n\).
Such a confusion is often observed namely with elementary functions.
Especially explicit this confusion becomes at \(n\!=\!-1\); in the confusive notations,
\(\sin^{-1}(x)~\) may mean \(~\sin(x)^{-1}\!=\!\frac{1}{\sin(x)}~\) as well as \(~\arcsin(x)~\), and only from the context the reader is supposed to guess, which case do the authors mean.
References
http://article.sciencepublishinggroup.com/pdf/10.11648.j.acm.20140306.14.pdf
http://mizugadro.mydns.jp/PAPERS/2014acker.pdf
D.Kouznetsov. Evaluation of holomorphic ackermanns. Applied and Computational Mathematics. Vol. 3, No. 6, 2014, pp. 307-314.
http://www.pphmj.com/references/8246.htm
http://mizugadro.mydns.jp/PAPERS/2014susin.pdf
http://mizugadro.mydns.jp/PAPERS/2014susinL.pdf
D.Kouznetsov. Super sin. Far East Journal of Mathematical Science, v.85, No.2, 2014, pages 219-238.
Keywords
Ackermann function, Cos, Exp, Logarithm, Sin, Special function, Tan,