File:Ack4a600.jpg

Summary

Title / Description	Complex map of tetration to base ${\displaystyle b=2}$ ${\displaystyle u+\mathrm {i} v=\mathrm {tet} _{b}(x\!+\!\mathrm {i} y)}$
Citizendium author & Copyright holder	Copyright © Dmitrii Kouznetsov. See below for licence/re-use information.
Date created	August 2014
Country of first publication	Japan
Notes	I plan to use this image in the article D.Kouznetsov. Holomorphic ackermann. 2015, in preparation.
Other versions	http://mizugadro.mydns.jp/t/index.php/File:Ack4a600.jpg
Using this image on CZ	Please click here to add the credit line, then copy the code below to add this image to a Citizendium article, changing the size, alignment, and caption as necessary. {{Image|Ack4a600.jpg|right|350px|Add image caption here.}}

Licensing

   

This media, Ack4a600.jpg, is licenced under the Creative Commons Attribution 3.0 Unported License

You are free: To Share — To copy, distribute and transmit the work; To Remix — To adapt the work.
Under the following conditions: Attribution — You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
For any reuse or distribution, you must make clear to others the licence terms of this work (the best way to do this is with a link to this licence's web page). Any of the above conditions can be waived if you get permission from the copyright holder. Nothing in this licence impairs or restricts the author's moral rights.
Read the full licence.

C++ generator of map

Files ado.cin, conto.cin, tet2f4c.cin, Tet2f2048.inc, GLxw2048.inc should be loaded to the working directory in order to compile the code below.

#include <math.h> #include <stdio.h> #include <stdlib.h> #define DB double #define DO(x,y) for(x=0;x<y;x++) #include <complex> #define z_type std::complex<double> #define Re(x) x.real() #define Im(x) x.imag() #define I z_type(0.,1.) #include "tet2f4c.cin" #include "conto.cin" int main(){ int j,k,m,m1,n; DB x,y, p,q, t; z_type z,c,d, cu,cd; int M=601,M1=M+1; int N=461,N1=N+1; DB X[M1],Y[N1], g[M1*N1],f[M1*N1], w[M1*N1]; // w is working array. char v[M1*N1]; // v is working array FILE *o;o=fopen("tet2ma.eps","w");ado(o,602,202); fprintf(o,"301 101 translate\n 10 10 scale\n"); DO(m,M1)X[m]=-30.+.1*(m); DO(n,200)Y[n]=-10.+.05*n; Y[200]=-.01; Y[201]= .01; for(n=202;n<N1;n++) Y[n]=-10.+.05*(n-1.); for(m=-30;m<31;m++){if(m==0){M(m,-10.2)L(m,10.2)} else{M(m,-10)L(m,10)}} for(n=-10;n<11;n++){ M( -30,n)L(30,n)} fprintf(o,".008 W 0 0 0 RGB S\n"); DO(m,M1)DO(n,N1){g[m*N1+n]=9999; f[m*N1+n]=9999;} DO(n,N1){y=Y[n]; for(m=295;m<305;m++) {x=X[m]; //printf("%5.2f\n",x); z=z_type(x,y); c=F4(z); p=Re(c);q=Im(c); if(p>-99. && p<99. && q>-99. && q<99. ){ g[m*N1+n]=p;f[m*N1+n]=q;} d=c; for(k=1;k<31;k++) { m1=m+k*10; if(m1>M) break; d=exp(d*log(2.)); p=Re(d);q=Im(d); if(p>-99. && p<99. && q>-99. && q<99. ){ g[m1*N1+n]=p;f[m1*N1+n]=q;} } d=c; for(k=1;k<31;k++) { m1=m-k*10; if(m1<0) break; d=log(d)/log(2.); p=Re(d);q=Im(d); if(p>-99. && p<99. && q>-99. && q<99. ){ g[m1*N1+n]=p;f[m1*N1+n]=q;} } }} fprintf(o,"1 setlinejoin 2 setlinecap\n"); p=1;q=.5; for(m=-10;m<10;m++)for(n=2;n<10;n+=2)conto(o,f,w,v,X,Y,M,N,(m+.1*n),-q, q); fprintf(o,".02 W 0 .6 0 RGB S\n"); for(m=0;m<10;m++) for(n=2;n<10;n+=2)conto(o,g,w,v,X,Y,M,N,-(m+.1*n),-q, q); fprintf(o,".02 W .9 0 0 RGB S\n"); for(m=0;m<10;m++) for(n=2;n<10;n+=2)conto(o,g,w,v,X,Y,M,N, (m+.1*n),-q, q); fprintf(o,".02 W 0 0 .9 RGB S\n"); for(m=1;m<10;m++) conto(o,f,w,v,X,Y,M,N, (0.-m),-p,p); fprintf(o,".08 W .9 0 0 RGB S\n"); for(m=1;m<10;m++) conto(o,f,w,v,X,Y,M,N, (0.+m),-p,p); fprintf(o,".08 W 0 0 .9 RGB S\n"); conto(o,f,w,v,X,Y,M,N, (0. ),-p,p); fprintf(o,".08 W .6 0 .6 RGB S\n"); for(m=-9;m<10;m++) conto(o,g,w,v,X,Y,M,N, (0.+m),-p,p); fprintf(o,".08 W 0 0 0 RGB S\n"); fprintf(o,"showpage\n%c%cTrailer",'%','%'); fclose(o); system("epstopdf tet2ma.eps"); system( "open tet2ma.pdf"); getchar(); system("killall Preview"); }

Latex Generator of labels

\documentclass{amsproc} \usepackage{graphicx} \usepackage{rotating} \usepackage{hyperref} \newcommand \sx {\scalebox} \newcommand \rme {{\rm e}} \newcommand \rmi {{\rm i}} \newcommand \ds {\displaystyle} \newcommand \rot {\begin{rotate}} \newcommand \ero {\end{rotate}} \newcommand \ing \includegraphics \usepackage{geometry} \topmargin -97pt \oddsidemargin -87pt \paperwidth 618pt \paperheight 214pt \begin{document} \newcommand \mapax { \put(2,206){\sx{1.2}{$y$}} \put(2,188){\sx{1.2}{$8$}} \put(2,168){\sx{1.2}{$6$}} \put(2,148){\sx{1.2}{$4$}} \put(2,128){\sx{1.2}{$2$}} \put(2,108){\sx{1.2}{$0$}} \put(-6,88){\sx{1.2}{$-2$}} \put(-6,68){\sx{1.2}{$-4$}} \put(-6,48){\sx{1.2}{$-6$}} \put(-6,28){\sx{1.2}{$-8$}} \put(-1,1){\sx{1.2}{$-30$}} \put( 49,1){\sx{1.2}{$-25$}} \put( 99,1){\sx{1.2}{$-20$}} \put(149,1){\sx{1.2}{$-15$}} \put(199,1){\sx{1.2}{$-10$}} \put(252,1){\sx{1.2}{$-5$}} \put(309,1){\sx{1.2}{$0$}} \put(329,1){\sx{1.2}{$2$}} \put(349,1){\sx{1.2}{$4$}} \put(369,1){\sx{1.2}{$6$}} \put(389,1){\sx{1.2}{$8$}} \put(407,1){\sx{1.2}{$10$}} \put(457,1){\sx{1.2}{$15$}} \put(507,1){\sx{1.2}{$20$}} \put(557,1){\sx{1.2}{$25$}} \put(607,1){\sx{1.2}{$x$}} } {\begin{picture}(620,216) \put(10,10){\ing{tet2ma}} \mapax \multiput(110,118)(56.1,10.7){8}{\sx{1.2}{$u\!=\!0.8$}} \multiput(256,120)(56.1,10.7){7}{\sx{1.2}{\rot{20}$u\!=\!1$\ero}} \multiput(302,120)(56.1,10.7){6}{\sx{1.2}{\rot{0}$v\!=\!1$\ero}} \put(25,108.4){\sx{1.4}{\bf cut}} \put(302,108.4){\sx{1.2}{$v\!=\!0$}} \multiput(124,92)(56.1,-10.7){7}{\sx{1.2}{$v\!=\!-1.6$}} \put(20,200){\sx{1.4}{$u+\mathrm i v \approx 0.8246785461+ 1.5674321238 \,\mathrm i$}} \put(30, 20){\sx{1.4}{$u+\mathrm i v \approx 0.8246785461 - 1.5674321238 \,\mathrm i$}} \end{picture}} \end{document}

Refrences

http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/home.html
http://www.ils.uec.ac.jp/~dima/PAPERS/2009analuxpRepri.pdf
http://mizugadro.mydns.jp/PAPERS/2009analuxpRepri.pdf D.Kouznetsov. (2009). Solutions of F(z+1)=exp(F(z)) in the complex plane. Mathematics of Computation, 78: 1647-1670. DOI:10.1090/S0025-5718-09-02188-7.

https://www.morebooks.de/store/ru/book/Суперфункции/isbn/978-3-659-56202-0
http://www.ils.uec.ac.jp/~dima/BOOK/202.pdf
http://mizugadro.mydns.jp/BOOK/202.pdf Д.Кузнецов. Суперфунцкии. Lambert Academic Publishing, 2014. (In Russian)