Difference between revisions of "File:B271a.png"

From TORI
Jump to navigation Jump to search
(Importing image file)
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
  +
[[Complex map]] of [[ArcTetration]] to base $\mathrm e \approx 2.71~$:
Importing image file
 
  +
function $f=\mathrm{ate}(x+\mathrm i y)$ is shown in the $x$,$y$ plane with levels $u\!=\!\Re(f)\!=\!\mathrm{const}$ and
  +
levels $v\!=\!\Im(f)\!=\!\mathrm{const}$.
  +
  +
The branchpoints $L\!\approx \! 0.2+1.3 \mathrm i$ and $L^*$ are [[fixed point]]s of [[logarithm]].
  +
  +
The cut lines go along the half-lines $y\!=\! \pm \Im(L)$, $x\!<\! \Re(L)$.
  +
  +
This choice of cut lines differs from that used in the first description of such function <ref name="analuxp">
  +
http://tori.ils.uec.ac.jp/PAPERS/2009analuxpRepri.pdf
  +
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 !-->
  +
</ref>.
  +
  +
The ArcTetration $\mathrm{ate}$ is inverse of [[tetration]] and holomorphic solution of the [[Abel equation]]
  +
:$ \mathrm{ate}(\exp(z))=\mathrm{ate}(z)\!+\!1~,$
  +
:$ \mathrm{ate}(1)=0.$
  +
  +
Such a soluton is shown to be unique
  +
<ref name="uniabel">
  +
http://tori.ils.uec.ac.jp/PAPERS/2011uniabel.pdf
  +
H.Trappmann, D.Kouznetsov. Uniqueness of Analytic Abel Functions in Absence of a Real Fixed Point. Aequationes Mathematicae, v.81, p.65-76 (2011)<!--
  +
http://www.springerlink.com/content/u7327836m2850246/ !-->
  +
</ref>.
  +
  +
The fast [[C++]] implementation of such a function is available below. The construction of such implementation is desctibed in <ref name="vladi">
  +
http://tori.ils.uec.ac.jp/PAPERS/2010vladie.pdf
  +
D.Kouznetsov. Superexponential as special function. [[Vladikavkaz Mathematical Journal]], 2010, v.12, issue 2, p.31-45.
  +
</ref><ref name="cztetration">
  +
http://en.citizendium.org/wiki/Tetration
  +
</ref>.
  +
  +
==Generation of the image==
  +
The following files are used for generation of the [[complex map]].
  +
  +
[[Fslog.cin]] , the routine in [[C++]], $\rm complex <double> FSLOG(complex <double> z) $
  +
is used. For generation, it should be saved as "fslog.cin"
  +
  +
[[Conto.cin]] , the routine to make the [[contour plot]]. It should be saved as "conto.cin"
  +
  +
[[B271az.cc]] , the [[C++]] code that includes the *.cin mentioned above and draws the mesh of the [[complex map]], writing the output file "b271az.eps" and "b271az.pdf"
  +
  +
[[B271a.tex]] , the [[Latex]] code that adds the labels and, at the compilation, gives "b271a.pdf". The last was converged to the [[PNG]] format with resolution 150pixels per inch.
  +
  +
The [[C++]] compiler and the [[Latex]] compilers should be installed at the computer. The image was generated at [[Macintosh]], but very similar images were generated also in [[Debian]]. Hope, the same generators can be used with other operational systems too.
  +
  +
The files mentioned above are in preparation for the uploading and should appear soon.
  +
  +
For future: should all the uploaded generators have names beginning from the capital letter?
  +
  +
==References==
  +
<references/>
  +
  +
[[Category:ArcTetration]]
  +
[[Category:Ate]]
  +
[[Category:Book]]
  +
[[Category:BookMap]]
  +
[[Category:Complex maps]]
  +
[[Category:Tetration]]

Latest revision as of 08:30, 1 December 2018

Complex map of ArcTetration to base $\mathrm e \approx 2.71~$: function $f=\mathrm{ate}(x+\mathrm i y)$ is shown in the $x$,$y$ plane with levels $u\!=\!\Re(f)\!=\!\mathrm{const}$ and levels $v\!=\!\Im(f)\!=\!\mathrm{const}$.

The branchpoints $L\!\approx \! 0.2+1.3 \mathrm i$ and $L^*$ are fixed points of logarithm.

The cut lines go along the half-lines $y\!=\! \pm \Im(L)$, $x\!<\! \Re(L)$.

This choice of cut lines differs from that used in the first description of such function [1].

The ArcTetration $\mathrm{ate}$ is inverse of tetration and holomorphic solution of the Abel equation

$ \mathrm{ate}(\exp(z))=\mathrm{ate}(z)\!+\!1~,$
$ \mathrm{ate}(1)=0.$

Such a soluton is shown to be unique [2].

The fast C++ implementation of such a function is available below. The construction of such implementation is desctibed in [3][4].

Generation of the image

The following files are used for generation of the complex map.

Fslog.cin , the routine in C++, $\rm complex <double> FSLOG(complex <double> z) $ is used. For generation, it should be saved as "fslog.cin"

Conto.cin , the routine to make the contour plot. It should be saved as "conto.cin"

B271az.cc , the C++ code that includes the *.cin mentioned above and draws the mesh of the complex map, writing the output file "b271az.eps" and "b271az.pdf"

B271a.tex , the Latex code that adds the labels and, at the compilation, gives "b271a.pdf". The last was converged to the PNG format with resolution 150pixels per inch.

The C++ compiler and the Latex compilers should be installed at the computer. The image was generated at Macintosh, but very similar images were generated also in Debian. Hope, the same generators can be used with other operational systems too.

The files mentioned above are in preparation for the uploading and should appear soon.

For future: should all the uploaded generators have names beginning from the capital letter?

References

  1. http://tori.ils.uec.ac.jp/PAPERS/2009analuxpRepri.pdf D.Kouznetsov. Analytic solution of F(z+1)=exp(F(z)) in complex z-plane. Mathematics of Computation, v.78 (2009), 1647-1670.
  2. http://tori.ils.uec.ac.jp/PAPERS/2011uniabel.pdf H.Trappmann, D.Kouznetsov. Uniqueness of Analytic Abel Functions in Absence of a Real Fixed Point. Aequationes Mathematicae, v.81, p.65-76 (2011)
  3. http://tori.ils.uec.ac.jp/PAPERS/2010vladie.pdf D.Kouznetsov. Superexponential as special function. Vladikavkaz Mathematical Journal, 2010, v.12, issue 2, p.31-45.
  4. http://en.citizendium.org/wiki/Tetration

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current17:50, 20 June 2013Thumbnail for version as of 17:50, 20 June 20131,609 × 1,417 (506 KB)Maintenance script (talk | contribs)Importing image file

The following 3 pages use this file:

Metadata