Difference between revisions of "Filog"

From TORI
Jump to: navigation, search
m (Text replacement - "\$([^\$]+)\$" to "\\(\1\\)")
 
Line 1: Line 1:
[[File:Filogbigmap100.png|400px|right|thumb|[[Complex map]] of Filog; $u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)$ ]]
+
[[File:Filogbigmap100.png|400px|right|thumb|[[Complex map]] of Filog; \(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\) ]]
[[File:FilogmT1000a.jpg|300px|right|thumb|$u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)$, zoom in of the central part ]]
+
[[File:FilogmT1000a.jpg|300px|right|thumb|\(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\), zoom in of the central part ]]
[[File:Figlogzo2t.jpg|300px|right|thumb|$u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)$, even stronger zoom in]]
+
[[File:Figlogzo2t.jpg|300px|right|thumb|\(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\), even stronger zoom in]]
 
'''Filog''' is [[holomorphic function]] that expresses the [[fixed point]]s of [[logarithm]] to complex base.
 
'''Filog''' is [[holomorphic function]] that expresses the [[fixed point]]s of [[logarithm]] to complex base.
   
$f=\mathrm{Filog}(z)$ is solution of the equation
+
\(f=\mathrm{Filog}(z)\) is solution of the equation
: $\log_b(f)\!=\!f$
+
: \(\log_b(f)\!=\!f\)
for base $b\!=\!\exp(z)$.
+
for base \(b\!=\!\exp(z)\).
   
 
Another fixed point to the same base can be expressed with
 
Another fixed point to the same base can be expressed with
$\mathrm{Filog}(z^*)^*$
+
\(\mathrm{Filog}(z^*)^*\)
 
==Complex map of Filog==
 
==Complex map of Filog==
$f=\mathrm{Filog}(x+\mathrm{i} y)$ is shown in the $x,y$ plane with
+
\(f=\mathrm{Filog}(x+\mathrm{i} y)\) is shown in the \(x,y\) plane with
levels $u\!=\!\Re(f)\!=\!\mathrm{cont}$ and
+
levels \(u\!=\!\Re(f)\!=\!\mathrm{cont}\) and
levels $v\!=\!\Im(f)\!=\!\mathrm{cont}$; thick lines correspond to the integer values.
+
levels \(v\!=\!\Im(f)\!=\!\mathrm{cont}\); thick lines correspond to the integer values.
   
The additional thin gridlines $x\!=\!\exp(-1)$ and $x\!=\!\pi/2$ are drawn. The first of them goes through the branchpoint $z=1/\mathrm e$; the second goes through the point $z\!=\!\pi/2$, where the fixed points of logarithm are $\pm \mathrm i$.
+
The additional thin gridlines \(x\!=\!\exp(-1)\) and \(x\!=\!\pi/2\) are drawn. The first of them goes through the branchpoint \(z=1/\mathrm e\); the second goes through the point \(z\!=\!\pi/2\), where the fixed points of logarithm are \(\pm \mathrm i\).
   
 
==Properties of the function==
 
==Properties of the function==
   
$\mathrm{Filog}(z)$ has the branch point at $~z\!=\!\exp(-1)~$; the cutline is directed to the negative part of the real axis.
+
\(\mathrm{Filog}(z)\) has the branch point at \(~z\!=\!\exp(-1)~\); the cutline is directed to the negative part of the real axis.
   
The lower list has also singularity, at $~z\!=\!0~$.
+
The lower list has also singularity, at \(~z\!=\!0~\).
   
Except the cutline, the function is holomorphic. At the real values of the argument $0\!<\!z\!<\!\exp(-1)$, both at the upper side of the cut and at the lower side of the cut, the function has real values; in addition, at $z=\ln\big(\sqrt{2}\big)$, there values are integer
+
Except the cutline, the function is holomorphic. At the real values of the argument \(0\!<\!z\!<\!\exp(-1)\), both at the upper side of the cut and at the lower side of the cut, the function has real values; in addition, at \(z=\ln\big(\sqrt{2}\big)\), there values are integer
 
<ref name="sqrt2">
 
<ref name="sqrt2">
 
http://www.ams.org/journals/mcom/2010-79-271/S0025-5718-10-02342-2/home.html D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-1756.
 
http://www.ams.org/journals/mcom/2010-79-271/S0025-5718-10-02342-2/home.html D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-1756.
 
</ref>:
 
</ref>:
: $\mathrm{Filog}(z+\mathrm i o)=2$
+
: \(\mathrm{Filog}(z+\mathrm i o)=2\)
: $\mathrm{Filog}(z-\mathrm i o)=4$
+
: \(\mathrm{Filog}(z-\mathrm i o)=4\)
   
 
At the branchpoint, the jump at the cut vanishes:
 
At the branchpoint, the jump at the cut vanishes:
   
: $ \displaystyle \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x+\mathrm i o)= \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x-\mathrm i o)= \mathrm e$
+
: \( \displaystyle \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x+\mathrm i o)= \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x-\mathrm i o)= \mathrm e\)
   
 
==Relation with [[Tania function]]==
 
==Relation with [[Tania function]]==
 
[[Filog]] can be expressed through the [[Tania function]] and with the [[WrightOmega]] function.
 
[[Filog]] can be expressed through the [[Tania function]] and with the [[WrightOmega]] function.
   
For moderate valus of $\Im(\ln (z))$, the relation through function [[WrightOmega]] can be used
+
For moderate valus of \(\Im(\ln (z))\), the relation through function [[WrightOmega]] can be used
   
$\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{WrightOmega}\!\big(\ln(z)-\pi \mathrm{i}\big)}{-z}$
+
\(\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{WrightOmega}\!\big(\ln(z)-\pi \mathrm{i}\big)}{-z}\)
   
 
More robust is relation through the [[Tania function]],
 
More robust is relation through the [[Tania function]],
   
$\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{Tania}\!\big(\ln(z)-1- \pi \mathrm{i}\big)}{-z} $
+
\(\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{Tania}\!\big(\ln(z)-1- \pi \mathrm{i}\big)}{-z} \)
   
 
where [[Tania function]] is solution of equations
 
where [[Tania function]] is solution of equations
   
$\displaystyle \mathrm{Tania}'(z)=\frac{\mathrm{Tania}(z)}{1+\mathrm{Tania}(z)} ~ ~,$ $ ~ ~ ~ \mathrm{Tania}(0)=1$
+
\(\displaystyle \mathrm{Tania}'(z)=\frac{\mathrm{Tania}(z)}{1+\mathrm{Tania}(z)} ~ ~,\) \( ~ ~ ~ \mathrm{Tania}(0)=1\)
   
 
The efficient implementation for the [[Tania function]] is available. The representation through the [[Tania function]] above is used for the evaluation (and plotting) of the Filog function.
 
The efficient implementation for the [[Tania function]] is available. The representation through the [[Tania function]] above is used for the evaluation (and plotting) of the Filog function.
   
 
The Tania function has slow growth at infinity, and Filog at infinity decays to zero:
 
The Tania function has slow growth at infinity, and Filog at infinity decays to zero:
: $\displaystyle \lim_{|z|\rightarrow \infty} \mathrm{Filog}(z) =0 $
+
: \(\displaystyle \lim_{|z|\rightarrow \infty} \mathrm{Filog}(z) =0 \)
   
 
==Application of Filog==
 
==Application of Filog==
   
Filog is important for the evaluation of [[tetration]] of complex argument: in the upper half-plane, the tetration to base $b\!=\!\exp(a)$ should asymptotically approach to value $\mathrm{Filog}(a)$, while in the lower half-plane, the limiting value should be $\mathrm{Filog}(a^*)^*$.
+
Filog is important for the evaluation of [[tetration]] of complex argument: in the upper half-plane, the tetration to base \(b\!=\!\exp(a)\) should asymptotically approach to value \(\mathrm{Filog}(a)\), while in the lower half-plane, the limiting value should be \(\mathrm{Filog}(a^*)^*\).
   
 
==References==
 
==References==

Latest revision as of 18:25, 30 July 2019

Complex map of Filog; \(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\)
\(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\), zoom in of the central part
\(u\!+\! \mathrm i v=\mathrm{Filog}(x\!+\! \mathrm i y)\), even stronger zoom in

Filog is holomorphic function that expresses the fixed points of logarithm to complex base.

\(f=\mathrm{Filog}(z)\) is solution of the equation

\(\log_b(f)\!=\!f\)

for base \(b\!=\!\exp(z)\).

Another fixed point to the same base can be expressed with \(\mathrm{Filog}(z^*)^*\)

Complex map of Filog

\(f=\mathrm{Filog}(x+\mathrm{i} y)\) is shown in the \(x,y\) plane with levels \(u\!=\!\Re(f)\!=\!\mathrm{cont}\) and levels \(v\!=\!\Im(f)\!=\!\mathrm{cont}\); thick lines correspond to the integer values.

The additional thin gridlines \(x\!=\!\exp(-1)\) and \(x\!=\!\pi/2\) are drawn. The first of them goes through the branchpoint \(z=1/\mathrm e\); the second goes through the point \(z\!=\!\pi/2\), where the fixed points of logarithm are \(\pm \mathrm i\).

Properties of the function

\(\mathrm{Filog}(z)\) has the branch point at \(~z\!=\!\exp(-1)~\); the cutline is directed to the negative part of the real axis.

The lower list has also singularity, at \(~z\!=\!0~\).

Except the cutline, the function is holomorphic. At the real values of the argument \(0\!<\!z\!<\!\exp(-1)\), both at the upper side of the cut and at the lower side of the cut, the function has real values; in addition, at \(z=\ln\big(\sqrt{2}\big)\), there values are integer [1]:

\(\mathrm{Filog}(z+\mathrm i o)=2\)
\(\mathrm{Filog}(z-\mathrm i o)=4\)

At the branchpoint, the jump at the cut vanishes:

\( \displaystyle \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x+\mathrm i o)= \lim_{x\rightarrow 1/\mathrm e} \mathrm{Filog}(x-\mathrm i o)= \mathrm e\)

Relation with Tania function

Filog can be expressed through the Tania function and with the WrightOmega function.

For moderate valus of \(\Im(\ln (z))\), the relation through function WrightOmega can be used

\(\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{WrightOmega}\!\big(\ln(z)-\pi \mathrm{i}\big)}{-z}\)

More robust is relation through the Tania function,

\(\displaystyle \mathrm{Filog}(z)= \frac{\mathrm{Tania}\!\big(\ln(z)-1- \pi \mathrm{i}\big)}{-z} \)

where Tania function is solution of equations

\(\displaystyle \mathrm{Tania}'(z)=\frac{\mathrm{Tania}(z)}{1+\mathrm{Tania}(z)} ~ ~,\) \( ~ ~ ~ \mathrm{Tania}(0)=1\)

The efficient implementation for the Tania function is available. The representation through the Tania function above is used for the evaluation (and plotting) of the Filog function.

The Tania function has slow growth at infinity, and Filog at infinity decays to zero:

\(\displaystyle \lim_{|z|\rightarrow \infty} \mathrm{Filog}(z) =0 \)

Application of Filog

Filog is important for the evaluation of tetration of complex argument: in the upper half-plane, the tetration to base \(b\!=\!\exp(a)\) should asymptotically approach to value \(\mathrm{Filog}(a)\), while in the lower half-plane, the limiting value should be \(\mathrm{Filog}(a^*)^*\).

References

  1. http://www.ams.org/journals/mcom/2010-79-271/S0025-5718-10-02342-2/home.html D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-1756.

Keywords

Filog.cin, Tania function, Fixed point, Tetration