Cálculo fraccional

Respecto de la existencia de tal teoría, los fundamentos de esta materia fueron sentados por Liouville en una obra de 1832.[1][2][3] La derivada fraccional de una función al orden a es ahora frecuentemente definida por medio de las transformadas integrales de Fourier o la Mellin. Un punto importante es que la derivada fraccional en un punto x es una propiedad local solamente cuando a es un natural; en casos no integrales no podemos decir que la derivada fraccional en x de una función f depende solamente del gráfico de f muy cerca de x, de la forma en que las derivadas que son potencias de integrales ciertamente lo hacen. Entonces, se espera que la teoría incluya algún tipo de condiciones de frontera, incluyendo información sobre la función más lejos. Para usar una metáfora, la derivada fraccional requiere algo de visión periférica.

Un detalle importante a recalcar respecto a las derivadas fraccionales es que el operador diferencial que se utiliza, encierra tanto a la derivación como la integración, de modo que algunos desarrollos en serie de Taylor, como por ejemplo, el de la función exponencial, al aplicarles el operador diferencial fraccional, conduce a resultados erróneos. Esto se debe a que al igual que la integración habitual, la derivación fraccional admite límites de derivación.

Una pregunta bastante natural sería, ¿existe un operador ${\displaystyle H}$, o media derivada, tal que

${\displaystyle H^{2}f(x)=Df(x)={\frac {d}{dx}}f(x)=f'(x)}$?

Resulta que sí existe tal operador, y ciertamente para cualquier ${\displaystyle a>0}$, existe un operador ${\displaystyle P}$ tal que

${\displaystyle (P^{a}f)(x)=f'(x)\,}$

o para expresarlo de otra manera, ${\displaystyle {\frac {d^{n}y}{dx^{n}}}}$ está bien definida para todos los valores reales de n > 0. Un resultado similar se aplica a la integración.

Para profundizar en cierto detalle, comiéncese con la Función gamma ${\displaystyle \Gamma \,}$, la cual se define tal que

${\displaystyle n!=\Gamma (n+1)\,}$.

Asumiendo una función ${\displaystyle f(x)}$ que está bien definida cuando ${\displaystyle x>0}$, podemos formar la integral definida desde 0 hasta x. Llamémos a esto

${\displaystyle (Jf)(x)=\int _{0}^{x}f(t)\;dt}$.

Repitiendo este proceso se tiene

${\displaystyle (J^{2}f)(x)=\int _{0}^{x}(Jf)(t)dt=\int _{0}^{x}\left(\int _{0}^{t}f(s)\;ds\right)dt}$,

y esto puede ser extendido arbitrariamente.

La fórmula de Cauchy para integración repetida, es decir

${\displaystyle (J^{n}f)(x)={1 \over (n-1)!}\int _{0}^{x}(x-t)^{n-1}f(t)dt,}$

conduce a una manera sencilla para la generalización a todo n.

Usando simplemente la función Gamma para eliminar la naturaleza discreta de la función factorial se obtiene un candidato natural para aplicaciones fraccionales del operador integral.

${\displaystyle (J^{\alpha }f)(x)={1 \over \Gamma (\alpha )}\int _{0}^{x}(x-t)^{\alpha -1}f(t)\ dt}$

Este es de hecho un operador bien definido.

Puede ser demostrado que el operador J es conmutativo y aditivo. Esto es,

${\displaystyle (J^{\alpha })(J^{\beta })f=(J^{\beta })(J^{\alpha })f=(J^{\alpha +\beta })f={1 \over \Gamma (\alpha +\beta )}\int _{0}^{x}(x-t)^{\alpha +\beta -1}f(t)\;dt}$

Esta propiedad se denomina la propiedad de semigrupo de los operadores diferintegrales fraccionales. Lamentablemente el proceso comparable para el operador derivada D es considerablemente más complejo, pero puede ser demostrado que D no es ni conmutativo, ni aditivo en general.

Asumamos que ${\displaystyle f(x)}$ es un monomio de la forma

${\displaystyle f(x)=x^{k}\;.}$

La primera derivada, como es usual, es

${\displaystyle f'(x)={d \over dx}f(x)=kx^{k-1}\;.}$

Repitiendo esto se obtiene el resultado general

${\displaystyle {d^{a} \over dx^{a}}x^{k}={k! \over (k-a)!}x^{k-a}\;,}$

El cual, luego de reemplazar los factoriales con la función Gamma, nos lleva a

${\displaystyle {d^{a} \over dx^{a}}x^{k}={\Gamma (k+1) \over \Gamma (k-a+1)}x^{k-a}\;.}$

Entonces, por ejemplo, la media derivada de ${\displaystyle x}$ es

${\displaystyle {d^{1 \over 2} \over dx^{1 \over 2}}x={\Gamma (1+1) \over \Gamma (1-{1 \over 2}+1)}x^{1-{1 \over 2}}={\Gamma (2) \over \Gamma ({3 \over 2})}x^{1 \over 2}={2\pi ^{-{1 \over 2}}}x^{1 \over 2}\;.}$

Repitiendo este proceso obtenemos

${\displaystyle {d^{1 \over 2} \over dx^{1 \over 2}}{2\pi ^{-{1 \over 2}}}x^{1 \over 2}={2\pi ^{-{1 \over 2}}}{\Gamma (1+{1 \over 2}) \over \Gamma ({1 \over 2}-{1 \over 2}+1)}x^{{1 \over 2}-{1 \over 2}}={2\pi ^{-{1 \over 2}}}{\Gamma ({3 \over 2}) \over \Gamma (1)}x^{0}={1 \over \Gamma (1)}=1,}$

el cual es realmente el resultado esperado de

${\displaystyle \left({\frac {d^{1/2}}{dx^{1/2}}}{\frac {d^{1/2}}{dx^{1/2}}}\right)x={d \over dx}x=1\,}$

También se puede llegar a la cuestión mediante la transformada de Laplace. Notando que

${\displaystyle {\mathcal {L}}\left(t\mapsto \int _{0}^{t}f(\tau )\,d\tau \right)={\mathcal {L}}Jf=s\mapsto {\frac {1}{s}}({\mathcal {L}}f)(s)}$, y

${\displaystyle {\mathcal {L}}J^{2}f=s\mapsto {\frac {1}{s}}({\mathcal {L}}Jf)(s)=s\mapsto {\frac {1}{s^{2}}}({\mathcal {L}}f)(s)}$

etc., enunciamos que

${\displaystyle J^{\alpha }f={\mathcal {L}}^{-1}\left(s\mapsto s^{-\alpha }({\mathcal {L}}f)(s)\right)}$.

Por ejemplo

${\displaystyle J^{\alpha }\left(t\mapsto t^{k}\right)}$${\displaystyle ={\mathcal {L}}^{-1}\left(s\mapsto {\Gamma (k+1) \over s^{\alpha +k+1}}\right)}$${\displaystyle =t\mapsto {\Gamma (k+1) \over \Gamma (\alpha +k+1)}t^{\alpha +k}}$

como era de esperarse. De hecho, dada la regla de convolución

${\displaystyle {\mathcal {L}}(f*g)=({\mathcal {L}}f)({\mathcal {L}}g)}$ (y abreviando ${\displaystyle p(x)=x^{\alpha -1}}$ por claridad) encontramos que

${\displaystyle J^{\alpha }f={\frac {1}{\Gamma (\alpha )}}{\mathcal {L}}^{-1}\left(\left({\mathcal {L}}p\right)({\mathcal {L}}f)\right)}$${\displaystyle ={\frac {1}{\Gamma (\alpha )}}(p*f)}$${\displaystyle =x\mapsto {\frac {1}{\Gamma (\alpha )}}\int _{0}^{x}p(x-t)f(t)\,dt}$${\displaystyle =x\mapsto {\frac {1}{\Gamma (\alpha )}}\int _{0}^{x}(x-t)^{\alpha -1}f(t)\,dt}$

que es lo que Cauchy nos ha dado anteriormente.

Las transformadas de Laplace "funcionan" en relativamente pocas funciones, pero son frecuentemente útiles al resolver ecuaciones diferenciales fraccionales.

Esta es la única derivada fraccional que no usa heurísticas, sino que sale de un cálculo simple de las propiedades de la integral de Riemann-Liouville. Es precisamente la inversa del operador integral de Riemann-Liouville. Definimos la derivada ${\displaystyle v\,}$-fraccional de Canavati por:

${\displaystyle D^{v}=DJ^{\alpha }D^{n}\,}$

Donde ${\displaystyle v>0\,}$, ${\displaystyle n\,}$ es la parte entera de ${\displaystyle v\,}$ y ${\displaystyle \alpha =v-n\,}$.

La forma clásica del cálculo fraccional nos es dada por la diferintegral de Riemann-Liouville, esencialmente lo que ha sido descrito arriba. La teoría para funciones periódicas, incluyendo por tanto la 'condición de frontera' de repetirse tras un período, es la diferintegral de Weyl. Se define sobre series de Fourier y requiere el coeficiente constante de Fourier para desaparecer (entonces, se aplica a funciones en el círculo unidad integrando a 0).

Por contraste con la diferintegral de Grunwald-Letnikov comienza con la derivada.

En el contexto del análisis funcional, las funciones f(D) más generales que potencias se estudian en el cálculo funcional de la teoría espectral. La teoría de operadores pseudo-diferenciales también le permite a uno considerar potencias de D. Los operadores resultantes son ejemplos de operadores singulares integrales; y la generalización de la teoría clásica a mayores dimensiones es llamada la teoría de los potenciales de Riesz. Entonces hay una cantidad de teorías contemporáneas disponibles, dentro de las cuales el cálculo fraccional puede discutirse. Vea también el operador de Erdelyi-Kober, importante en la teoría de las funciones especiales.

Para posibles interpretaciones geométricas y físicas de la integración y diferenciación de orden fraccional, vea:

• Podlubny, I., "Geometric and physical interpretation of fractional integration and fractional differentiation" Fractional Calculus and Applied Analysis, vol. 5, no. 4, 2002, 367–386. (disponible como artículo original Archivado el 7 de abril de 2006 en Wayback Machine., o preimpresión en Arxiv.org)
• García, J. "A conjecture about the Riemann Xi function and functional determinant" (disponible como ) one estudia la aproximación semiclásica aplicada al problema de la Hipótesis de Riemann.

• Ecuación diferencial fraccionaria
• Ecuación íntegro-diferencial

• Theory and Applications of Fractional Differential Equations, by Kilbas, A. A.; Srivastava, H. M.; and Trujillo, J. J. Ámsterdam, Netherlands, Elsevier, Febrary 2006. ISBN 0-444-51832-0 (https://web.archive.org/web/20090816133048/http://www.elsevier.com/wps/find/bookdescription.cws_home/707212/description#description)
• An Introduction to the Fractional Calculus and Fractional Differential Equations, por Kenneth S. Miller, Bertram Ross (Editor). Tapa dura: 384 pp. Editorial: John Wiley & Sons; 1.ª edición (19 de mayo de 1993). ISBN 0-471-58884-9.
• The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order (Mathematics in Science and Engineering, V), por Keith B. Oldham, Jerome Spanier. Tapa dura. Editorial: Academic Press; (November 1974). ISBN 0-12-525550-0
• Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications., (Mathematics in Science and Engineering, vol. 198), por Igor Podlubny. Tapa dura. Editorial: Academic Press; (October 1998) ISBN 0-12-558840-2
• Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. by F. Mainardi, Imperial College Press, 2010. 368 pages.
• Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media. by V.E. Tarasov, Springer, 2010. 450 pages.
• Fractional Derivatives for Physicists and Engineers by V.V. Uchaikin, Springer, Higher Education Press, 2012, 385 pages.
• Fractional Calculus - An Introduction for Physicists by R. Herrmann, World Scientific, Singapore 2014. 500 pages.
• Fractals and Fractional Calculus in Continuum Mechanics, by A. Carpinteri (Editor), F. Mainardi (Editor). Paperback: 348 pages. Publisher: Springer-Verlag Telos; (January 1998). ISBN 3-211-82913-X
• Physics of Fractal Operators, por Bruce J. West, Mauro Bologna, Paolo Grigolini. Tapa dura: 368 pages. Editorial: Springer Verlag; (January 14, 2003). ISBN 0-387-95554-2
• Fractional Calculus and the Taylor-Riemann Series, Rose-Hulman Undergrad. J. Math. Vol.6(1) (2005).
• Operator of fractional derivative in the complex plane, by Petr Zavada, Commun.Math.Phys.192, pp. 261-285,1998. doi:10.1007/s002200050299 (available online (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última). or as the arXiv preprint)
• Relativistic wave equations with fractional derivatives and pseudodifferential operators, by Petr Zavada, Journal of Applied Mathematics, vol. 2, no. 4, pp. 163-197, 2002. doi:10.1155/S1110757X02110102 (available online or as the arXiv preprint)

• Fractional Differentiation Inequalities by Anastassiou, George A. (http://www.springer.com/mathematics/dynamical+systems/book/978-0-387-98127-7)

• Weisstein, Eric W. «Fractional Differential Equation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
• Weisstein, Eric W. «Fractional Calculus». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
• Weisstein, Eric W. «Fractional Derivative». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
• Publicación especializada: Fractional Calculus and Applied Analysis
• Publicación especializada: Fractional Dynamic Systems (FDS)
• Colección de Igor Podlubny de libros, artículos, vínculos, y software relacionado
• Historia, Definiciones y Aplicaciones para el Ingeniero (PDF), por Adam Loverro, Universidad de Notre Dame
• Organización de Modelado del Cálculo Fraccional

1. Joseph Liouville, "Mémoire sur quelques questions de géométrie et de mécanique, et sur un nouveau genre de calcul pour résoudre ces questions", Journal de l'École polytechnique, vol. 13, sección 21, (1832), pp. 1-69.
2. Joseph Liouville, "Mémoire sur le calcul des différentielles à indices quelconques", Journal de l'École polytechnique, vol. 13, sección 21, (1832), pp. 71-162.
3. Acerca de la historia del tema, se puede consultar la tesis (en francés): Stéphane Dugowson, Les différentielles métaphysiques (histoire et philosophie de la généralisation de l'ordre de dérivation), Thèse, Université Paris Nord (1994).