File:Ack4b600.jpg: Difference between revisions

Summary

Title / Description	Complex map of natural tetration tet, id est, tetration to base ${\displaystyle b=\mathrm {e} \approx 2.71}$ is shown with lines of constant real part and lines of constant imaginary part, ${\displaystyle u+\mathrm {i} v=\mathrm {tet} (x\!+\!\mathrm {i} y)}$
Citizendium author & Copyright holder	Copyright © Dmitrii Kouznetsov. See below for licence/re-use information.
Date created	2014 August
Country of first publication	Japan
Notes	I plan to use this image in the article D.Kouznetsov. Holomorphic ackermanns. 2015, in preparation.
Other versions	http://mizugadro.mydns.jp/t/index.php/File:Ack4b600.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|Ack4b600.jpg|right|350px|Add image caption here.}}

Licensing

   

This media, Ack4b600.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, fsexp.cin 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 "fsexp.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("tetema.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=FSEXP(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); 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); 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 tetema.eps"); system( "open tetema.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 -94pt \oddsidemargin -87pt \paperwidth 618pt \paperheight 212pt \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,212) \put(10,10){\ing{tetema}} \mapax \multiput(189,116)(44.7,10.5){9}{\sx{1.2}{$u\!=\!1.4$}} \put(25,108.4){\sx{1.4}{\bf cut}} \put(296,108.4){\sx{1.2}{$v\!=\!0$}} \multiput(193,93)(44.7,-10.5){8}{\sx{1.2}{$v\!=\!-1.4$}} \put(20,200){\sx{1.4}{$u+\mathrm i v \approx 0.31813150520 + 1.3372357014 \,\mathrm i$}} \put(30, 20){\sx{1.4}{$u+\mathrm i v \approx 0.31813150520 - 1.3372357014 \,\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). Solution of F(z+1)=exp(F(z)) in the complex z-plane. Mathematics of Computation, 78: 1647-1670. DOI:10.1090/S0025-5718-09-02188-7.

http://www.ils.uec.ac.jp/~dima/PAPERS/2010vladie.pdf
http://mizugadro.mydns.jp/PAPERS/2010vladie.pdf D.Kouznetsov. Superexponential as special function. Vladikavkaz Mathematical Journal, 2010, v.12, issue 2, p.31-45.

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)