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))
#7
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



where
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)
Code:
[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
[update]
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.
[/update]

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
Gottfried Helms, Kassel
Reply


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
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,123 11/07/2017, 11:06 AM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 8,446 02/23/2016, 10:17 PM
Last Post: tommy1729
  A new set of numbers is necessary to extend tetration to real exponents. marraco 7 8,662 03/19/2015, 10:45 PM
Last Post: marraco
  Real-analytic tetration uniqueness criterion? mike3 25 19,869 06/15/2014, 10:17 PM
Last Post: tommy1729
  About real limits tommy1729 1 2,279 09/23/2013, 09:24 PM
Last Post: tommy1729
  Solutions to f ' (x) = f(f(x)) ? tommy1729 1 2,184 08/12/2013, 12:10 AM
Last Post: tommy1729
  Real and complex behaviour of the base change function (was: The "cheta" function) bo198214 39 48,976 08/13/2011, 06:33 PM
Last Post: bo198214
  The imaginary tetration unit? ssroot of -1 JmsNxn 2 5,187 07/15/2011, 05:12 PM
Last Post: JmsNxn
  Tetration and imaginary numbers. robo37 2 5,166 07/13/2011, 03:25 PM
Last Post: robo37
  Infinite tetration of the imaginary unit GFR 40 51,983 06/26/2011, 08:06 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)