Another question!
#1
Let's take some function \( f(t) \) and some fractional differentiation method \( \frac{d^s}{dt^s} \) such that \( \frac{d^s f}{dt^s}(-t) < e^{-t} \)

Now create the function:

\( \phi(s) = \int_0^\infty t^{s-1} \frac{d^s f}{dt^s}(-t) dt \)

Integrate by parts, and for \( \Re(s) > 0 \) we get the spectacular identity that:

\( s \phi(s) = \phi(s+1) \)

What is going on here?
Reply
#2
(08/22/2013, 05:54 PM)JmsNxn Wrote: \( \frac{d^s f}{dt^s}(-t) < e^{-t} \)

\( \phi(s) = \int_0^\infty t^{s-1} \frac{d^s f}{dt^s}(-t) dt \)

Integrate by parts, and for \( \Re(s) > 0 \) we get the spectacular identity that:

\( s \phi(s) = \phi(s+1) \)

I do not even need to use integrate by parts to see a problem.
Its funny you say \( \frac{d^s f}{dt^s}(-t) < e^{-t} \)
because its more like an equality when we differentiate a given amount of times with respect to t.

You see : s is considered a constant with respect to t since s is not a function OF t NOR f.
There is big difference between a function , an operator , a variable and a constant.
ALthough that may sound belittling or trivial , your example shows this is an important concept !!

If you consider \( \frac{d^s f}{dt^s}(-t) \) as a function F(s,f) then it is no surprise that taking the derivative with respect to f leaves s unchanged.

By the chain rule you then get the " wrong " / " correct "
\( \frac{d^s f}{dt^s}(-t) (-1)^{-M} \) if you take the derivative \( M \) times.

This is similar to \( D^m [ s e^{-t}] dt \).

Hence by the very definition of the gamma function you also get
\( s \phi(s) = \phi(s+1) \) here which you already showed yourself with the - overkill - method integrate by parts.

This might not answer all your questions yet but I assume it helps.

It not completely formal either sorry.

It might affect your other posts about integral representations for fractional calculus , tetration and continuum sum.

Im still optimistic though and hope I did not discourage you to much.

regards

tommy1729
Reply
#3
I just read that over today and it makes a lot more sense a second time through.

I've been finding a lot of interesting paradoxes with fractional calculus and it must be my lack of rigor. This one and the function which if converges is its own derivative:

i.e:

\( \phi(s) = \int_{-\infty}^{\infty} cos(2\pi t) \frac{d^t}{ds^t}f(s) \, dt \)
Reply
#4
(08/22/2013, 05:54 PM)JmsNxn Wrote: Let's take some function \( f(t) \) and some fractional differentiation method \( \frac{d^s}{dt^s} \) such that \( \frac{d^s f}{dt^s}(-t) < e^{-t} \)

Now create the function:

\( \phi(s) = \int_0^\infty t^{s-1} \frac{d^s f}{dt^s}(-t) dt \)

Integrate by parts, and for \( \Re(s) > 0 \) we get the spectacular identity that:

\( s \phi(s) = \phi(s+1) \)

What is going on here?

I'm not sure why this is necessarily bizarre. The functional equation you mention has infinitely many solutions. In general, \( \phi(x) = \Gamma(x) \theta(x) \) is a solution of \( x \phi(x) = \phi(x+1) \) for any 1-cyclic function \( \theta(x) \). If you take \( f(t) = e^t \) and use the Riemann-Liouville with lower bound \( -\infty \), then \( \frac{d^s f}{dt^s} = e^t \) and you recover the gamma function. I bet if you use another \( f \), you'll just get \( \Gamma(x) \theta(x) \) for some 1-cyclic function \( \theta(x) \) which is not just equal to 1.
Reply
#5
OH! That makes a lot of sense. That's very interesting.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  [Question] Classifying dynamical system by connected components MphLee 6 8,078 10/22/2025, 11:53 AM
Last Post: MphLee
  A question about tetration from a newbie TetrationSheep 2 6,324 08/26/2024, 12:38 PM
Last Post: TetrationSheep
  Question about the properties of iterated functions Shanghai46 9 11,633 04/21/2023, 09:07 PM
Last Post: Shanghai46
  Matrix question for Gottfried Daniel 6 9,291 12/10/2022, 09:33 PM
Last Post: MphLee
  [question] Local to global and superfunctions MphLee 8 11,277 07/17/2022, 06:46 AM
Last Post: JmsNxn
  A random question for mathematicians regarding i and the Fibonacci sequence. robo37 1 7,964 06/27/2022, 12:06 AM
Last Post: Catullus
  Question about tetration methods Daniel 17 22,998 06/22/2022, 11:27 PM
Last Post: tommy1729
  A question concerning uniqueness JmsNxn 4 17,061 06/10/2022, 08:45 AM
Last Post: Catullus
  Math.Stackexchange.com question on extending tetration Daniel 3 7,628 03/31/2021, 12:28 AM
Last Post: JmsNxn
  Kneser method question tommy1729 9 26,103 02/11/2020, 01:26 AM
Last Post: sheldonison



Users browsing this thread: 1 Guest(s)