Thread Rating:
  • 1 Vote(s) - 3 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Some "Theorem" on the generalized superfunction
(08/08/2021, 11:22 PM)JmsNxn Wrote: Also; I must've missed the challenge to construct an inverse abel function. I'll be hard pressed if the following method doesn't work. If it doesn't, I'll try another.
I've yet to find a function that didn't have exactly n roots about that fixed point though.

Hi James
Thanks for your patient and elaborate detailed explanation

But I'm afraid this case is blowing everyone's mind... because this case is so stubborn to be solved!
It's obvious that if such function has derivative at 0 , then it won't exist.
A quick check, first consider the case , and thus we can assume f has a Taylor series, we'll denote it as , simply plug it in we get , showing that if we want , we have to let , which is impossible. The case is with the same condition: let we have so in order to make it fit  we have to solve which is self-contradicting.

I've done something resembles your dictation before, in which I denoted , we are hunting for an explicit calculation formula for 

First of all, the function through your generalization, as , in practical calculation, we can transfer it by shifting to define .
As we use , the function has now an upper bound in the positive real axis which is .
We define , in practical calculation, using n=200 000 can promise a precision of 16 degrees except for is so close to . Then we find for which z, the function's value is exactly 0.5, we'll call it C. by mathematica 12.2, so we define the superfunction of f^2(z) as
, thus the value taken at integers is exactly .

Secondly, we can show that by law 3, or more simply calculation, that the super function of f should be asymptotically: . But to be noticed, function is always positive whenever z is positive, not T(z). And because T(z) is determined by function f, which has an oscillating multiplifier -1, T(z) should also behave oscillative. A quick check in mind is, Assume T(0)=0.5>0, so then T(1)=f(T(0))=-0.25<0, T(2)=0.3125>0, T(3)=-0.214844<0, and keeps this pattern all along the positive reals. By calculation, we find that denote briefly , W(0)=0.5, W(0.5)=0.358325>0 is not T(1)=-0.25, which also proves they are only asymptotic to each other.

And I got, finally, stuck here. I figured one way to generate T, as stated below:

This function T would fit the condition for all integer k, but may not fit for all z. This is as far as I reached.
ps. A generalization of any nonconstructable cases is hense obtainable following the same pattern.

I used both to get it converged to fit the equation 
But it turned out that most P(z) would lead to the fact that T(z) does not converge to an analytic function except for real integers, instead, the process led T(z)=0 for all non-real-integers z.
This is a graph of T, where I set
Blue line- T(z) by P(z) definition
Red line- , divergent
Yellow line- , converge to 0
Green line- , converge to 0, and evidently it's way different from yellow line and others.

And here's the mathematica codes to generate T and other functions:
Clear[F, IF, F2, IF2, A0, IAPrec16, IA2, IA]
F[z_] := -z + z^2
IF[z_] := 1/2 (1 - Sqrt[1 + 4 z])
F2[z_] := z - 2 z^3 + z^4
IF2[z_] := 1/2 (1 - Sqrt[3 - 2 Sqrt[1 + 4 z]])
A0[z_] :=
1/2 Sqrt[1/
 z] (1 + 1/(4 Sqrt[z]) + (5/64 - (11 Log[z])/64)/z^(3/2) - (
   11 Log[z])/(32 z) + (
   139/1024 - (231 Log[z])/1024 + (121 Log[z]^2)/1024)/z^(5/2) + (
   77/512 - (121 Log[z])/512 + (363 Log[z]^2)/2048)/z^2 + (
   2293/12288 - (6897 Log[z])/16384 + (1331 Log[z]^2)/4096 - (
    6655 Log[z]^3)/65536)/z^3 + (
   9959/49152 - (891 Log[z])/2048 + (10285 Log[z]^2)/32768 - (
    1331 Log[z]^3)/16384)/z^(7/2) + (
   783787/2359296 - (168355 Log[z])/196608 + (426767 Log[z]^2)/
    524288 - (270193 Log[z]^3)/786432 + (14641 Log[z]^4)/262144)/z^(
   9/2) + (1335835/4718592 - (580723 Log[z])/786432 + (
    765325 Log[z]^2)/1048576 - (1039511 Log[z]^3)/3145728 + (
    512435 Log[z]^4)/8388608)/z^4)
IAPrec16[z_] := N[Nest[IF2, A0[N[z, 50] + 200000], 200000], 16]
IA2[z_] := IAPrec16[z + N[1.666363609223794000000000`50, 50]]
IA[z_] := (Cos[Pi/2 z]^2) IA2[z/2] + (Sin[Pi/2 z]^2) F[
   IA2[z/2 - 1/2]]

And ps, because of the oscillative behavior of T, the inverse of T, the Abel function of T, is multivalued and hard to define. So basically the computation of the second iterative root of f is very hard problem, if generated at the fixed point L=0.


Attached Files Image(s)
Hey, Leo!

I get your confusion. I stand by my point though. What you have done is shown there is no taylor expansion at ; which I explained does not exist. The iterate can only exist on a petal about zero; not a neighborhood of zero. So your first point is null to my construction.

It helps to realize in the neutral case; that no iteration exists in a disk about zero; therefore, there is not a taylor series at zero. But; in the petals about zero; there are half iterates. But in a neighborhood of intersecting with the attracting petals; and then excluding ; we have a holomorphic function. Where we likely have a removable singularity at zero; but it is not holomorphic at zero.

May I switch to ? Because I can explain your confusion using this function. The same principle applies to --forgive the change to a simpler case, please. But using an odd function is easier (same principle applies); and is easier to reference numerically.

The function,

has an iteration for all ,

Where this is only an ASYMPTOTIC SERIES about zero. if we assume that --which is the standard iteration. Then there are two square root

Now notice; neither of these map the real line to the real line; like the iteration for ; but they are iterates nonetheless. They are not holomorphic at zero; we just get a good asymptotic expansion when approaching zero. In this sense, the summation, and taylor series, is an *abuse of notation*; these things don't converge. Only asymptotically to zero are they meaningful. They are actually holomorphic on a petal.  It's a bit more complicated with but it's the same scenario--as far as I can tell. They're not holomorphic at zero; only on a petal about zero. What the petal looks like? I have no f**n clue; but there exists a petal where this converges.

Unless I'm missing something large; which I don't think I am from your posts; this still has a square root on the attractive petals. But please, keep posting. I'm happy to be proven wrong Big Grin . Your posts are becoming exponentially more educational; I appreciate your posts a lot, Leo.  Thank you for your contributions.

Regards, James

EDIT: I fixed my rough analysis to say what I really meant.
(08/10/2021, 04:49 AM)JmsNxn Wrote: Hey, Leo!


EDIT: I fixed my rough analysis to say what I really meant.
Thank you James

As a matter of fact, what I intended is that there lies no holomorphic function g having property g(0)=0 whose 2nd iteration is , because if g is holomorphic, g(z) must have a Taylor series due to definition of "holomorphic", and by our calculation before, doesn't exist. But something is bizarre, because for some cases, g exists, this can be observed by simply assuming the taylor series of g(z) and then we have g(g(z)). Same phenomena appears for all nonconstructable cases. Another point of view of this, is that g must not be holomorphic at 0, which is your statement, is very correct, and can be proved easily by differentiating the equation g(g(z))=f(z) and plug z=0 in.
But, if you're considering asymptotic expansion, it's exactly showing such expansion does not exist. We can only declare the linear term is correct: for any

Let's take further investigation into this equation (assuming g is differentiable infinitely many times at most part of the complex plane)(but useless... g must be multivalued)
We've already known g(0) can't be 0 if singlevalued.
1. If g(z) is singlevalued, g(0) exists but is not 2, g(z) doesn't exist.
This is very easy to check. Since we already made the assumption g(0)=a, and due to definition g(g(0))=g(a)=0, hence
g(g(a))=g(0)=a, but remember g(g(a))=f(a), so f(a)=a. And since C is not 0 nor 2, a can't exist.
This implies if g(0) exists, the function g(z) is then multivalued.
2. If g(0) exists but is not 2, single-valued g(z) would behave oscillative, and thus won't exist.
Let g(0)=a, according to the equation, g(a)=g(g(0))=f(0)=0, g(f(a))=f(g(a))=f(0)=0, g(f(f(a)))=f(f(g(a)))=0, etc.
this shows that for all positive integers k, each f^k(a) is a zero of g(z).
If a lies within the attracting pedal, then according to our discussion before, , so as k gets larger, f^{2k}(a) gets closer to 0 at the rate , getting denser and denser, indicating g(z) has oscillative behavior at z=0.
If a lies within the repelling pedal, the same pattern still applies, because we can extend "this shows that for all positive integers k, each f^k(a) is a zero of g(z)" to "for all integers k, each f^k(a) is a zero of g(z)", which can be done easily by manipulating the same way in the equation g(a)=0. And dependent on the definition of "attracting/repelling pedals", a is thus lying within the attracting pedal of , hence we finished the proof.
And an oscillative behavior can cause many problems, including the ill behavior of g(g(z)) around each zero of g(z), but since f has no such behavior, a singlevalued g doesn't exist.
From another horizon, g(g(z))=0 should only contain 2 roots due to f(z)=-z(1-z), but anytime g(z)=a,f(a),f^2(a),etc., another root is spawned, or z=g^-1(a),g^-1(f(a)),g^-1(f(f(a))).
3. g(0)=2 may be a wise choice, but then the question arises: which function satisfies h(h(z))=g(z)?
it follows immediately the same procedure in #2, implying that h must be multivalued, so does g(z)
And g(0)=2 singlevalued can cause the same issue in 2., we see that f(-1)=2, and thus 0=g(2)=g(f(-1))=f(g(-1)), showing g(-1)=0 or 1. If g(-1)=0, -1 is in the attracting pedal of f^-1, so g oscillative. If g(-1)=1, due to symmetry law, g(z)=g(1-z), g(2)=1, a contradiction. So g should be multivalued.
4. Does g(z) has a pole at z=0?
No. If we set g(0)=infty, we can tell informally so when z gets large, and because g(g(0))=g(infty)=0, this is impossible.
A formal clamation can be done by considering a neighbourhood of z=0, .
5. A singlevalued abel function of f(z) is never constructed
it follows my last post
And we can detect that, as we already solved the series, , we will always get which is not exactly 1. Whenever we treats the abel function as single valued, this  will hold, and thus not helpful to construct g(z).
And resulted from these, we should consider the method to build up an inverse abel function, which is sufficient to give us each branch cut of g(z).
Now I have the idea to make use of theta mapping to solve g(z), as there may lie a function P... and if not, we can still generate the inverse abel function, with two fixed points 0 and 2. But this is then not what we originally wanted: g to be constructed only from z=0.

It's a good start with considering the simple odd functional pieces to generalize another second iterative root. But it arises that how can we get a third iterative root? or forth?
I Do believe the half iterate exists, but I have no idea how to compute, and all old tricks(bell matrix, fixed point series) don't work for this... so I suggest to construct the inverse abel function.
Sorry I have to disappoint u, I got no more useful information... But I do have some clues.
Viewing from my last post the generalization of superfunction always coverges to 0 or diverges, this is because we used , in this procedure, f(z) has less absolute value than f(f(z)), and so T(z+2) has always less absolute value than T(z), comparing the descendent rate, we can claim that T must converge to 0. This shows that P(z) must include some poles, but then it'll be hard to do the theta-mapping...
Another point, is that we can always claim that when z is approaching infinity, g is asymptotic to . I tried to make this converge but failed, this is so strange.
Almost all details I can tell are in previous posts, maybe you can do some calculation about this g(z) or the superfunction, I guess?

Your functional family approach may be helpful, I'll do it some day, but to be noticed, the approach from only the real line is not ample, we need to consider a sequence of multiplifier where are all in [0,1] and all irrational numbers, approaching 0 as n diverges. In this manner the multiplifier equation[Image: mimetex.cgi?\left.\frac%7B\mathrm%7Bd%7Df%5Et(z)...%7D\right)%5Et] will hold.
But all these work, are implying that even for constructable cases, there lies n nth-iterative roots, I may test it out later.

I'm so sorry I don't have so much time recently.(Coronovirus, flood, entering university, classfying most theorems etc) I may edit this brand new soon.
Firstly I need to write a formal introduction to EDE, as MphLee invited, I put it off so long...(totally forgotten XD)
I have a long long to-do list now. I wanted to write a post about how to transform from one tetration to another... but, sooner, maybe...
Maybe you could set up a new post about ? Appreciate! Wink

I agree with everything you're saying, Leo. Very well thought out; I never gave it much thought how to actually numerically calculate this function--but I'm sure it exists. It won't have an asymptotic expansion at zero; just how your noting. What's especially interesting, is that it doesn't even have a formal taylor series at zero; like with sine. I've never given it thought how to evaluate this; I only ever really worried about when talking about the neutral fixed point theory. It's a good function to keep in mind.

I'll give it some thought; and think if I can create a way of calculating this. I'm still busy trying to make my tetration calculator for the beta method; and that is filling up all my "numerical" thought processes. I still think the fractional calculus approach should work; but you'd need to know the shape of the petals to make it work. Which, I don't have the energy to calculate.

I'll give it some thought, though. Good luck at uni; and I hope the floods don't get you too bad. Don't worry about rushing anything--mathematics is a slow beast. I'm the lucky few where coronavirus has kept me comfy at home--so I got nothing but time to work. Don't burn yourself out. I appreciate your contributions Smile.

Regards, James.

And for god's sake read John Milnor. His graduate text on complex dynamics is a must read. You're too smart to put that book off. All your questions can be answered by him--and better than I could
Having a little tiny break from my tons of homework, I contemplated the very case,
(Conjugate to more general case )
Since has no zeros, f has no fixed points. But f is not that like the one already constructed: which has a well behaviored fixed point at -infinity.

My first attempt is to map the fixed point at to 0, using . however, F won't have a second derivative at z=0, so I got stuck.

How would someone construct the family of superfunctions of this f? This will be challenging. I'd like to invite everyone to discuss this.
Why did Leo.W upload his math as images? That does not seem very efficient.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ
Please remember to stay hydrated.
Sincerely: Catullus
(06/18/2022, 08:09 AM)Catullus Wrote: Why did Leo.W upload his math as images? That does not seem very efficient.

I had no intention lol, at that time this forum only allows use [ tex ] to type formulae, and I at first wasn't aware of this Wink
And last year I just graduated from high school, I had to take a very important exam called the entrance exam of university Shy at that time I was quite busy to re-type these
Congratulations Leo!
Now that you are at university you going next level, and you're already quite good!

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)
(06/18/2022, 08:35 AM)MphLee Wrote: Congratulations Leo!
Now that you are at university you going next level, and you're already quite good!

Thanks MphLee! Smile Smile Smile

Possibly Related Threads…
Thread Author Replies Views Last Post
  tommy's new conjecture/theorem/idea (2022) ?? tommy1729 0 118 06/22/2022, 11:49 PM
Last Post: tommy1729
  The Generalized Gaussian Method (GGM) tommy1729 2 1,307 10/28/2021, 12:07 PM
Last Post: tommy1729
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 1,232 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 11,939 05/26/2021, 11:55 PM
Last Post: MphLee
  Generalized phi(s,a,b,c) tommy1729 6 3,260 02/08/2021, 12:30 AM
Last Post: JmsNxn
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 4,959 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Natural cyclic superfunction tommy1729 3 7,018 12/08/2015, 12:09 AM
Last Post: tommy1729
  [2014] Uniqueness of periodic superfunction tommy1729 0 3,858 11/09/2014, 10:20 PM
Last Post: tommy1729
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 5,587 06/17/2014, 01:25 PM
Last Post: sheldonison
  Theorem on tetration. JmsNxn 0 3,131 06/09/2014, 02:47 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)