Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
1st iterated derivatives and the tetration of 0
#1
Hi, everyone!

Let us sign d/dx as just D, let J mean the antiderivative like this way: J f(x) = int from 0 to x f(u) du.
Let n and m be an integer and let z and w be a complex number.
Generally D^n J^n f equals to f while J^n D^n f does not.
There are tries to extend the derivatives, like the Riemann-Liouville definition:
RL: D^z [a;x] f(x) = 1/gamma(ceil(z)-z) D^ceil(z) int from a to x f(u)/(x-u)^(z-ceil(z)+1) du
Or here is the Grünwald-Letnikov definiton:
GL: D^z [a;x] f(x) = lim 1/h^z sum from k=0 to infinity (-1)^k binomial(z,k) f(x+kh)
and if z is not a complex number instead of an integer:
GL: D^n [a;x] f(x) = lim 1/h^n sum from k=0 to n (-1)^k binomial(n,k) f(x+kh)

Here is my question: how to iterate the derivative operator? - My answer is: we just need to iterate the operations of the GL formula. Let us see the first iterated third derivative of a function:

D^3 f(x) = lim 1/h^3 (f(x) - 3 f(x+h) + 3 f(x+2h) - f(x+3h)) = f'''(x)
Its iterated:
D^^3 f(x) = lim h^^3th root of ( (f(x) f(x+2h)^3) ÷ (f(x+h) f(x+3h)^3) )
And because of 0^^3 = 0, therefor
D^^3 f(x) = lim hth root of ( (f(x) f(x+2h)^3) ÷ (f(x+h) f(x+3h)^3) )

E.g.:
D^^3 x = exp(-4/x)
according to Wolfram Alpha.

0^^2 = 1, so the first iterated second derivative is D^^2 f(x) = f(x) as all the eventh derivative.
I am interested in the halfth derivative:

D^^0.5 f(x) = lim 0^^0.5th root of prod(k=0,infintiy,(f(x+kh)^binomial(0.5,k))^((-1)^k))

But what is 0^^0.5?
0^^0 = 1, 0^^1 = 0, 0^^2 = 1, 0^^3 = 0, ...
0^^z = ?
And if you made a pari/gp code, I would be really thankfull.

(And in the lim h approaches to 0.)
Xorter Unizo
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Iterated nand Xorter 2 2,045 03/27/2017, 06:51 PM
Last Post: Xorter
  Iterated compositions Xorter 0 925 08/20/2016, 01:19 PM
Last Post: Xorter
  Grzegorczyk hierarchy vs Iterated differential equations? MphLee 0 1,542 01/03/2015, 11:02 PM
Last Post: MphLee
  On the binary partition and taking derivatives tommy1729 0 1,198 09/29/2014, 11:34 PM
Last Post: tommy1729
  "circular" operators, "circular" derivatives, and "circular" tetration. JmsNxn 2 5,133 06/24/2011, 07:21 PM
Last Post: JmsNxn
  Iterated polynomials JmsNxn 4 5,598 12/16/2010, 09:00 PM
Last Post: JmsNxn
  Closed-form derivatives andydude 7 6,319 09/03/2009, 04:02 AM
Last Post: andydude
  q concerning derivatives Gottfried 0 1,848 03/19/2008, 08:28 AM
Last Post: Gottfried
  The fractal nature of iterated ln(x) [Bandwidth warning: lots of images!] jaydfox 16 13,815 09/09/2007, 01:21 AM
Last Post: jaydfox
  Bell formula for iterated exponentiation bo198214 1 3,135 08/26/2007, 12:27 PM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)