1st iterated derivatives and the tetration of 0 Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 05/12/2018, 12:34 PM 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 « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post [MSE] iterated sin using Besselfunction 1st kind Gottfried 7 441 12/18/2022, 02:06 PM Last Post: Gottfried Iterated function convergence Daniel 1 181 12/18/2022, 01:40 AM Last Post: JmsNxn The semi-group iso problem and bounded derivatives tommy1729 3 311 12/07/2022, 09:26 PM Last Post: tommy1729 Uniqueness of fractionally iterated functions Daniel 7 1,071 07/05/2022, 01:21 AM Last Post: JmsNxn Iterated Hyperbolic Sine and Iterated Natural Logarithm Catullus 2 740 06/11/2022, 11:58 AM Last Post: tommy1729 Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 13,828 05/26/2021, 11:55 PM Last Post: MphLee iterated derivation Xorter 0 2,666 06/09/2019, 09:43 PM Last Post: Xorter Iterated nand Xorter 2 7,936 03/27/2017, 06:51 PM Last Post: Xorter On the binary partition and taking derivatives tommy1729 0 3,415 09/29/2014, 11:34 PM Last Post: tommy1729 Iterated polynomials JmsNxn 4 12,612 12/16/2010, 09:00 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s) 