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))
Hmm. Manually I get a satisfying result today.

First recall my matrix-formula:

with the hypothesis that the eigensystem-decomposition

holds for

Assuming a value so that

I use for the following my analytical result for the construction of B_s from the Eigensystem.
The basic definition is simply

B = matrix(c^r/r!), c=colindex, r=rowindex, c,r>=0
and there is no complex value involved here, if only s is real and s>0.

But for the eigensystem, the needed parameters t and log(t) are conventionally defined only for the above mentioned range of s.
What if s is beyond the above bounds? We don't have then immediately a valid t available. The empirical eigensystems of truncated matrices Bs of such parameters have partly erratic structure and instability even when increasing the dimension, and powers of its diagonal can only be used in a very limited range for the exponents and unknown approximation quality.

Backed by my previous plots I searched manually for the example

and found one possible t by binary search and approximation as solution

I can insert these values for the composition of W, E and W^-1 due to my analytical description for their entries.

Let's denote the above eigensystem-decomposition and indicate the used parameters t and tl :

and the basic formula

is expanded

It should be omputed by parts, using associativity:

I computed the direct sums of the final matrix-product and its expected result

giving the following result in the first four columns (dim=64, rounded to six digits)
[1.000000, 7.000000, 49.000000, 343.000000 + 8.0307505 E-11*I]
which agrees beautifully with the expected result

So the search for solutions t=h(s) where s out of the bounds [1/e^e .. e^(1/e)], as indicated in the previous graphs, seems to be useful.
Next step would either be, to make some more numerical results available, or to prove the appropriateness of defining B_s via a complex eigensystem, using the real values of complex h(x)-parameters.

The graph gives an impression, where the imaginary zeros of h(x) are located; it does not show, that the real values on the traces seem continuous and to cover all values (possibly below a bound) on each of the "circles". The graph shows some repetitions; I assume, there are infinitely many solutions t for each real s and they are correct values for the eigensystem.

[update] The beautiful result is not so beautiful, if we change some of the parameters; then the problem of branches of logarithm occurs.
Using the formula
V(x)~ * Bs = V(s^x) ~
where Bs was created by the eigensystem-approach, then the simplest example is, using s=7, and the above values for t and tl,
V(1)~ * Bs = V(s)~
which worked fine. However, trying
V(0.5)~ * Bs = Y~
gave the negative root -sqrt(s) in Y[1], and generally
V(1/k)~ * Bs = V(y)~
where y is s^^(1/k)*exp(2*Pi*I/k), so this problem may be cured by rotating the result appropriately.

Trying any integer or fractional iterations m
V(1)~ * Bs^m = Y~
then relating y=Y[1] to the expected result was intractable at a first glance.

So there are some more considerations needed...

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 - 09/11/2007, 12:18 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 3,879 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,879 11/07/2017, 11:06 AM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 14,911 02/23/2016, 10:17 PM
Last Post: tommy1729
  A new set of numbers is necessary to extend tetration to real exponents. marraco 7 13,777 03/19/2015, 10:45 PM
Last Post: marraco
  Real-analytic tetration uniqueness criterion? mike3 25 32,133 06/15/2014, 10:17 PM
Last Post: tommy1729
  About real limits tommy1729 1 3,651 09/23/2013, 09:24 PM
Last Post: tommy1729
  Solutions to f ' (x) = f(f(x)) ? tommy1729 1 3,584 08/12/2013, 12:10 AM
Last Post: tommy1729
  Real and complex behaviour of the base change function (was: The "cheta" function) bo198214 39 70,514 08/13/2011, 06:33 PM
Last Post: bo198214
  The imaginary tetration unit? ssroot of -1 JmsNxn 2 7,315 07/15/2011, 05:12 PM
Last Post: JmsNxn
  Tetration and imaginary numbers. robo37 2 7,396 07/13/2011, 03:25 PM
Last Post: robo37

Users browsing this thread: 1 Guest(s)