Initialized fractional calculus

Part of a series of articles about
Calculus
a b f ( t ) d t = f ( b ) f ( a ) {\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}
  • Rolle's theorem
  • Mean value theorem
  • Inverse function theorem
Differential
Definitions
Concepts
  • Differentiation notation
  • Second derivative
  • Implicit differentiation
  • Logarithmic differentiation
  • Related rates
  • Taylor's theorem
Rules and identities
  • v
  • t
  • e
(Learn how and when to remove this message)

In mathematical analysis, initialization of the differintegrals is a topic in fractional calculus.

Composition rule of Differintegrals

The composition law of the differintegral operator states that although:

D q D q = I {\displaystyle \mathbb {D} ^{q}\mathbb {D} ^{-q}=\mathbb {I} }

wherein Dq is the left inverse of Dq, the converse is not necessarily true:

D q D q I {\displaystyle \mathbb {D} ^{-q}\mathbb {D} ^{q}\neq \mathbb {I} }

Example

Consider elementary integer-order calculus. Below is an integration and differentiation using the example function 3 x 2 + 1 {\displaystyle 3x^{2}+1} :

d d x [ ( 3 x 2 + 1 ) d x ] = d d x [ x 3 + x + C ] = 3 x 2 + 1 , {\displaystyle {\frac {d}{dx}}\left[\int (3x^{2}+1)dx\right]={\frac {d}{dx}}[x^{3}+x+C]=3x^{2}+1\,,}

Now, on exchanging the order of composition:

[ d d x ( 3 x 2 + 1 ) ] = 6 x d x = 3 x 2 + C , {\displaystyle \int \left[{\frac {d}{dx}}(3x^{2}+1)\right]=\int 6x\,dx=3x^{2}+C\,,}

Where C is the constant of integration. Even if it was not obvious, the initialized condition ƒ'(0) = C, ƒ''(0) = D, etc. could be used. If we neglected those initialization terms, the last equation would show the composition of integration then differentiation (and vice versa) would not hold.

Description of initialization

Working with a properly initialized differ integral is the subject of initialized fractional calculus. If the differ integral is initialized properly, then the hoped-for composition law holds. The problem is that in differentiation, information is lost, as with C in the first equation.

However, in fractional calculus, given that the operator has been fractionalized and is thus continuous, an entire complementary function is needed. This is called complementary function Ψ {\displaystyle \Psi } .

D t q f ( t ) = 1 Γ ( n q ) d n d t n 0 t ( t τ ) n q 1 f ( τ ) d τ + Ψ ( x ) {\displaystyle \mathbb {D} _{t}^{q}f(t)={\frac {1}{\Gamma (n-q)}}{\frac {d^{n}}{dt^{n}}}\int _{0}^{t}(t-\tau )^{n-q-1}f(\tau )\,d\tau +\Psi (x)}

See also

References