Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Taylor series of upx function
#11
sheldonison Wrote:What does this equation mean?
The asterisc * means the complex conjugation. You can evaluate function at the complex–conjugated argument, and the result is the conjugated value of the function. In particular, for real values of the argument, the function is real.

sheldonison Wrote:I was expecting more along the lines of
upx(x+1) = exp ( upx(x) )
??
These are not just lines, this is all the range of complex values of x, except part of the real axis .

sheldonison Wrote:The next line is also intriguing....

Does this mean that other holomorphic solutions exist, but they all must have a negative derivative at some point x>-2?
No, but condition that the derivative is positive simplifies my proof of the uniqueness. Recently, Henryk Trappmann suggested the proof through the inverse function; it does not use the requirement that, at the real argument, the derivative is positive. I see no errors in his proof.
So, we may remove this claim about the first derivative.

sheldonison Wrote:I started working on the algebra to generate the general equations for all 5th and 6th order upx approximations that have smooth 1st, 2nd, and 3rd derivatives, but not necessarily smooth 4th and 5th derivatives. You would claim that all members of that set, if extended with higher order coefficients so that all derivatives would be smooth, would have a negative 1st derivative somewhere?
Your question is not clear.
Instead of "somewhere" you could say "at some real value of the argument, larger, than ".
Then the answer is "not".
You may consider the function
at small real values of parameter , id est, .
Smoothness of all the derivatives at the real axis is not sufficient for the uniqueness. We have to claim the holomorphism at least for the domain with real part of the argument larger than .
I have pictures for the singular solutions too.
Reply
#12
Ansus Wrote:So your solution is universal?
Yes.

Ansus Wrote:- Is there compact analytic expression for Taylor serie coefficients?
No. Until now, only the integral equation.

Ansus Wrote:- Can you find analytic expressions for some particular values of tetration (with natural base) and its derivatives, for example, its derivative in 0 (= derivative in 1)?
In some sense, the representation through the Cauchi integral equation is analytic.
However, I would not say that it is very "compact" or explicit.

Ansus Wrote:- Do you derive new properties of the function?
I derive the asymptotic behavior.
See http://en.citizendium.org/wiki/Tetration
Are these properties new?
Reply
#13
Ansus Wrote:
Quote:No. Until now, only the integral equation.
It it possible to compute Tetration in Mathematica using your method?
I would not recommend Mathematica for the numerical evaluation of the Cauchi integrals; it is slow. For the base e, the Taylor expansions are already calculated;
with these expanssions, the evaluation of tetration and its derivatives is fast.
You may use the code from
http://en.citizendium.org/wiki/Tetration...l.jpg/code

Quote:Is it possible to find an expression of, say in 0?

Why I ask it? Because there is a property:


for tetration with natural base and integer x (note also that ).
I cannot yet answer. I hope to answer this question later.

Quote: did you discover some new functional/differential equations that tetration may satisfy, such as change-of-base formula, properties of derivatives/integral or relationship with other functions.
Not yet. Use the code above, try to guess some properties and try to prove them.

Quote:By the way, can you plot a graph of tetration ?
Yes. Red dotted curve at
http://en.citizendium.org/wiki/Image:TetrationReal.jpg

Quote:Is it symmetric against y=-x line?
Wow! I did not check.. Perhaps, I should.
Reply
#14
Ansus Wrote:Is it possible to find an expression of, say in 0?

Why I ask it? Because there is a property:
Dear Ansus. Do you mean that =sexp ?
I cannot understand the equation you wrote.
The similar equation I can deduce is
,
but I do not see, how does it help to get a simple expression for .
Reply
#15
Ansus Wrote:Is it symmetric against y=-x line?

No it is not. We already saw here that the 3 rules:



imply a non-smooth graph.
Reply
#16
Ansus Wrote:Well I cannot deduce your expression.
My expression is

It can be deduced in the following way:

,
because .

Ansus Wrote:I meant sexp with natural base. What I can derive is:
What is sense of ... in this expression?
How does Ansus get this espressionan?
Reply
#17
Ansus Wrote:...


differentiate



induction



...
The last statement looks doubtful.
Is it for real values of ?
Reply
#18
Ansus Wrote:You can compare your solution with a new analytic solution suggested here:
http://math.eretrandre.org/tetrationforu...hp?tid=237

Dmitrii uses two distinct methods for and for . I think he uses regular iteration for so for your graphs should be equal, considering what I replied to your newton method.
Reply
#19
Ansus Wrote:By the way, can you plot a graph of tetration ? Is it symmetric against y=-x line?

Just wanted to remind that we also discussed this here as well.

Andrew Robbins
Reply
#20
Ansus Wrote:Dmitriy, can you please give a mathematica notebook for your method and base Sqrt(2)?

b=Sqrt[2]

RGB[x_,y_,z_]=RGBColor[x,y,z]

M=9

f=2-y+Sum[A[n]*y^n,{n,2,M}]

g=Series[ReplaceAll[f,y\[Rule]y*Exp[q]],{y,0,M}]

h=Simplify[Series[Exp[Log[b]*f],{y,0,M}]]

u=g-h



c1=Coefficient[u,y]

s1=Solve[c1\[Equal]0,q]

s11=Extract[s1,1]

Q=ReplaceAll[q,s11]

v[1]=Simplify[ReplaceAll[u,s11]]

For[i=2,i<M,
s[i]=Coefficient[v[i-1],y^i];
t[i]=Extract[Solve[s[i]\[Equal]0,A[i]],1];
Print[t[i]];
v[i]=ReplaceAll[v[i-1],t[i]];
i++]

a[0]=2; a[1]=-1;

For[i=2,i<M, a[i]=N[ReplaceAll[A[i],t[i]],18] ;i++]

For[i=0,i<M, Print[a[i]] ;i++]

F[z_]=Simplify[Sum[a[i]*Exp[Q*i*z],{i,0,M-1}]]

Plot[F[z],{z,-1,2}];

H[1,z_]=Log[F[z+1]]/Log[b]

For[i=2,i<14, H[i,z_]=Log[H[i-1,z+1]]/Log[b];i++]

Plot[{H[11,z]-H[12,z]},{z,-.5,2},PlotRange\[Rule]All];

z12=ReplaceAll[z,FindRoot[H[12,z]\[Equal]1,{z,-.5,1}]]

1.251551478822122`

J[z_]=H[12,z12+z]

P=Plot[{-z,J[z]},{z,-1.99,4},AspectRatio\[Rule]Automatic,
GridLines\[Rule]{{-2},{2}},PlotRange\[Rule]{{-2,4},{-4,2}}];

Export["tetrationQ2r.jpg",P]

   
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Perhaps a new series for log^0.5(x) Gottfried 0 67 12/05/2019, 04:35 PM
Last Post: Gottfried
  Is there a function space for tetration? Chenjesu 0 342 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Degamma function Xorter 0 796 10/22/2018, 11:29 AM
Last Post: Xorter
Question Taylor series of i[x] Xorter 12 10,998 02/20/2018, 09:55 PM
Last Post: Xorter
  Taylor series of cheta Xorter 13 11,876 08/28/2016, 08:52 PM
Last Post: sheldonison
  Taylor polynomial. System of equations for the coefficients. marraco 17 15,822 08/23/2016, 11:25 AM
Last Post: Gottfried
  Should tetration be a multivalued function? marraco 17 15,880 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 3,446 01/10/2016, 06:14 PM
Last Post: tommy1729
Sad Tommy-Mandelbrot function tommy1729 0 1,874 04/21/2015, 01:02 PM
Last Post: tommy1729
  The inverse gamma function. tommy1729 3 7,410 05/13/2014, 02:18 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)