Initialized fractional calculus

{{#invoke:sidebar|collapsible | class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = Calculus | image = <math>\int_{a}^{b} f'(t) \, dt = f(b) - f(a)</math> | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = Specialized calculi | abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• Fundamental theorem

• Limits
• Continuity

• Rolle's theorem
• Mean value theorem
• Inverse function theorem

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = Template:Bigger | list2 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Definitions
 | content1 =

• Derivative (generalizations)
• Differential
  • infinitesimal
  • of a function
  • total

 | heading2 = Concepts
 | content2 =

• Differentiation notation
• Second derivative
• Implicit differentiation
• Logarithmic differentiation
• Related rates
• Taylor's theorem

 | heading3 = Rules and identities
 | content3 =

• Sum
• Product
• Chain
• Power
• Quotient
• L'Hôpital's rule
• Inverse
• General Leibniz
• Faà di Bruno's formula
• Reynolds

}}

| list3name = integral | list3title = Template:Bigger | list3 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Lists of integrals
• Integral transform
• Leibniz integral rule

| heading2 = Definitions

 | content2 =

• Antiderivative
• Integral (improper)
• Riemann integral
• Lebesgue integration
• Contour integration
• Integral of inverse functions

 | heading3 = Integration by
 | content3 =

• Parts
• Discs
• Cylindrical shells
• Substitution (trigonometric, tangent half-angle, Euler)
• Euler's formula
• Partial fractions (Heaviside's method)
• Changing order
• Reduction formulae
• Differentiating under the integral sign
• Risch algorithm

}}

| list4name = series | list4title = Template:Bigger | list4 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Geometric (arithmetico-geometric)
• Harmonic
• Alternating
• Power
• Binomial
• Taylor

 | heading2 = Convergence tests
 | content2 =

• Summand limit (term test)
• Ratio
• Root
• Integral
• Direct comparison
• 
  Limit comparison
• Alternating series
• Cauchy condensation
• Dirichlet
• Abel

}}

| list5name = vector | list5title = Template:Bigger | list5 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Gradient
• Divergence
• Curl
• Laplacian
• Directional derivative
• Identities

 | heading2 = Theorems
 | content2 =

• Gradient
• Green's
• Stokes'
• Divergence
• generalized Stokes
• Helmholtz decomposition

}}

| list6name = multivariable | list6title = Template:Bigger | list6 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Formalisms
 | content1 =

• Matrix
• Tensor
• Exterior
• Geometric

 | heading2 = Definitions
 | content2 =

• Partial derivative
• Multiple integral
• Line integral
• Surface integral
• Volume integral
• Jacobian
• Hessian

}}

| list7name = advanced | list7title = Template:Bigger | list7 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Calculus on Euclidean space
• Generalized functions
• Limit of distributions

}}

| list8name = specialized | list8title = Template:Bigger | list8 =

• Fractional
• Malliavin
• Stochastic
• Variations

| list9name = miscellanea | list9title = Template:Bigger | list9 =

• Precalculus
• History
• Glossary
• List of topics
• Integration Bee
• Mathematical analysis
• Nonstandard analysis

}} Template:Multiple issues In mathematical analysis, initialization of the differintegrals is a topic in fractional calculus, a branch of mathematics dealing with derivatives of non-integer order.

Composition rule of Differintegrals

The composition law of the differintegral operator states that although:

<math>\mathbb{D}^q\mathbb{D}^{-q} = \mathbb{I}</math>

wherein D^−q is the left inverse of D^q, the converse is not necessarily true:

<math>\mathbb{D}^{-q}\mathbb{D}^q \neq \mathbb{I}</math>

Example

Consider elementary integer-order calculus. Below is an integration and differentiation using the example function <math>3x^2+1</math>:

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

Now, on exchanging the order of composition:

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

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, and 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 <math>\Psi</math>.

<math>\mathbb{D}^q_t 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)</math>

See also

• Initial conditions
• Dynamical systems

References

• Template:Citation (technical report).