Thread Rating:
  • 1 Vote(s) - 3 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Imaginary zeros of f(z)= z^(1/z) (real valued solutions f(z)>e^(1/e))
andydude Wrote:@Gottfried
Also, it took me 3 months to understand your graphs, but I think I understand them now. It seems like you were trying to plot a graph like this:

which is the contour plot of . However, I still don't understand the questions your asking, which makes it hard to get through this 8-page thread. If someone could summarize the questions and results in this thread, I would be very thankful. Smile

Andrew Robbins
Hi Andrew -
first please excuse my delay in answering your other post: I was struck in bed by sickness, and could not concentrate as I wanted to.

Now, you are correct - the first attempt was just an approach to find such a contour, and since at that time I had no versatile implementation of the h()-function in Pari I had to search for an idea about this contour at all, programming the graph in Delphi-code.

The second step was then, to find an analytical expression for the Im(z^(1/z))=0 in terms of one real parameter. The second type of plot is then a combined graph :

u = alpha + i*beta
t = exp(u) = a + i*b
s = exp(u/t); IM(s)=0

where beta is the single parameter and alpha,a,b,s are dependent on beta. Everything again handwaved; the Lambert-W and h()-implementation, which was available to me at this time was still not branch-enabled (I could finally implement one using Henryk's last hint)

For what this all was needed: I have these hypotheses about the composition of the eigensystem of the (infinite) Bell-matrix.
This includes a relation to the fixpoints, actually the t and u-values above are needed to construct the eigen-matrices, from which then the Bell-matrix (and its fractional or general powers) can be composed.
For bases s <e^(1/e) things are simple and numerical computations support my construction-hypothesis, but for s>e^(1/e) I needed a possibility to compute examples to work on the verification of the hypothese, too.
The found parameter-formula for s, based on the independent parameter beta, allowed then to find for an arbitrary s>e^(1/e) the according u and t (and even branches) employing regula falsi - just a poor-mans Lambert-W-replacement....

So, a sufficient (zip-) compression of this (part of the) thread would possibly be a one-liner in Maple/Mathematica & co after all ;-)

Gottfried Helms, Kassel

Messages In This Thread
RE: Imaginary zeros of f(z)= z^(1/z) (real valued solutions f(z)>e^(1/e)) - by Gottfried - 12/10/2007, 07:27 AM
RE: Tetration below 1 - by Gottfried - 09/09/2007, 07:04 AM
RE: The Complex Lambert-W - by Gottfried - 09/09/2007, 04:54 PM
RE: The Complex Lambert-W - by andydude - 09/10/2007, 06:58 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Constructing real tetration solutions Daniel 4 2,123 12/24/2019, 12:10 AM
Last Post: sheldonison
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 3,143 11/07/2017, 11:06 AM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 12,122 02/23/2016, 10:17 PM
Last Post: tommy1729
  A new set of numbers is necessary to extend tetration to real exponents. marraco 7 11,680 03/19/2015, 10:45 PM
Last Post: marraco
  Real-analytic tetration uniqueness criterion? mike3 25 27,004 06/15/2014, 10:17 PM
Last Post: tommy1729
  About real limits tommy1729 1 3,044 09/23/2013, 09:24 PM
Last Post: tommy1729
  Solutions to f ' (x) = f(f(x)) ? tommy1729 1 2,969 08/12/2013, 12:10 AM
Last Post: tommy1729
  Real and complex behaviour of the base change function (was: The "cheta" function) bo198214 39 61,981 08/13/2011, 06:33 PM
Last Post: bo198214
  The imaginary tetration unit? ssroot of -1 JmsNxn 2 6,436 07/15/2011, 05:12 PM
Last Post: JmsNxn
  Tetration and imaginary numbers. robo37 2 6,449 07/13/2011, 03:25 PM
Last Post: robo37

Users browsing this thread: 1 Guest(s)