Está en la página 1de 20

FUNDACION UNIVERSITARIA KONRAD LORENZ

CALCULO FRACCIONAL:
UN ENFOQUE A LA TEORIA DE RIEMANN-LIOUVILLE





DIEGO FELIPE RODRIGUEZ PERDOMO
MATEMATICAS






LUIS ENRIQUE ROJAS
DIRECTOR



junio de 2008

ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 1


Abstract. [En Espaol] El artculo est dedicado al Clculo Fraccional. En
l se encuentran datos de inters sobre su historia y desarrollo terico por parte de
varios autores, tambin contiene el desarrollo de la teora de Riemann y Liouville, con
el aporte terico de cada uno, dentro de esta disciplina. El artculo cuenta con una
parte terica, la cual incluye el uso del clculo elemental como pilar para el desarrollo
de la teora de Riemann-Liouville, elementos como, la derivada e integral iteradas
hacen parte de esa teora preliminar, la funcin gamma es de gran importancia ya
que en ella se sustenta la aplicacin de derivadas e integrales fraccionales, despus se
denen las derivadas e integrales bajo ciertas condiciones y partiendo de un resultado
importante como es la frmula para integrales iteradas de Cauchy.
Abstract. [In English] The article is dedicated to the Fractional Calculus.
In him data of interest on their history and theoretical development on the part of
several authors are, also contains the development of the theory of Riemann and
Liouville, with the theoretical contribution of each one, within this discipline. The
article counts on a theoretical part, which includes the use of the elementary calcula-
tion like pounding for the development of the theory of Riemann-Liouville, elements
like, the integral derived one and iteradas are part of that preliminary theory, the
gamma function is of great importance since in her the application of derived and
integral fractional is sustained, later de.nen the integral derived ones and under cer-
tain conditions and starting o of an important result as it is the formula for repeat
integration of Cauchy.
Contenido
1. Vista Histrica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Conceptos Previos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1 La derivada Iterada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 La integral iterada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Clculo fraccional de Riemann Liouville . . . . . . . . . . . . . . . . . . . . . 13
3.1 Funcin gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 Integral Fraccional de Riemann-Liouville . . . . . . . . . . . . . . . . . . 16
3.3 La derivada fraccional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5. Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1. Visin Histrica
1
La pregunta original que le dio el nombre de Clculo Fraccional fue: Puede el sentido
de una derivada de orden entero d
n
j,dr
n
ser extendida para tener sentido cuando n es
una fraccin? Despus la pregunta se volvi: Puede n ser cualquier nmero: fraccional,
irracional o complejo? Ya que la ltima pregunta fue contestada armativamente el nom-
bre Clculo Fraccional es un nombre equivocado, debera mejor llamarse integracin y
diferenciacin en un orden arbitrario.
Leibniz
2
invent la notacin d
n
j,dr
n
. Quizs era una obra ingenua con smbolos que
incitaron a LHopital
3
en 1695 preguntarle a Leibniz: Qu si n es
1
2
? Leibniz respondi:
1
Traduccion y Resumn del libro MILLER, KENNETH S. An introduction to the Fractional Calculus,
1993. John Wiley and Sons.
2
Gottfried Wilhelm von Leibniz fue un lsofo, matemtico, jurista y poltico alemn, nacido en Leipzig
en julio de 1646.
3
Matemtico francs del siglo XVII Guillaume Franois Antoine, Marqus de lHpital (1661 - 1704)
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 2
Usted puede ver por eso, seor que uno puede expresar por una serie innita una can-
tidad como d
1/2
rj o d
1:2
rj . Aunque las series innitas y geomtricas son relaciones
distantes, las series innitas admiten slo el uso de exponentes que son enteros, no hace,
todava, el uso de exponentes fraccionarios. Despus en la misma carta, Leibniz con-
tinua profetizando: Esta es una aparente paradoja que algn da se mostraran sus tiles
consecuencias.
El asunto del Clculo Fraccional no escapa de la atencin de Euler que en 1730 escribi:
Cuando : es un entero positivo, y si j esta en funcin de r, el radio d
n
j a dr
n
puede
siempre ser expresada algebraicamente, para : = 2 y j = r
3
es 6r a 1. Ahora se pregunta:
Qu tipo de radio puede hacerse entonces si n es un Fraccin? La dicultad puede ser
fcilmente entendida en este caso. Para si : es un entero positivo d
n
puede ser encontrada
con derivacin continuada. De tal manera, sin embargo no es evidente si : es una fraccin.
Pero con la ayuda de la interpolacin uno puede expedir el asunto.
Lagrange contribuy indirectamente con el Clculo Fraccional, En 1772 desarroll la
ley de los exponentes para operadores diferenciales de orden entero:
d
n
dr
n
.
d
n
dr
n
j =
d
n+n
dr
n+n
j
Despus que la teora del Clculo Fraccional fue desarrollada, los matemticos estaban
interesados en las reglas para que m y n fueran arbitrarios.
En 1812 Laplace deni una derivada fraccional por medio de una integral, y en 1819
la primera mencin de una derivada de orden arbitrario aparece en un texto S. F Lacroix
(Pg. 409-410) mostr en menos de dos paginas de un texto de 700 paginas acerca del
tema, el desarroll una generalizacin a partir de un caso de orden entero. Empezando
con m un entero positivo, Lacroix desarrolla fcilmente la n-sima derivada:
d
n
j
dr
n
=
:!
(::)!
r
nn
, : _ :
Usando la simbologa de Legendre
4
para el factorial generalizado (la funcin Gamma)
el obtiene:
d
n
j
dr
n
=
(: + 1)
(:: + 1)
r
nn
l luego da un ejemplo para j = r y : = 1,2:
4
Adrien-Marie Legendre , Matemtico francs. Hizo importantes contribuciones a la estadstica, la
teora de nmeros, el lgebra abstracta y el anlisis matemtico.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 3
d
1/2
j
dr
1/2
=
2
_
r
_

El resultado obtenido por Lacroix, en la manera tpica de los formalistas de esa poca,
es el mismo mostrado hoy en da por la denicin de una derivada de orden arbitrario de
Riemann Liouville. El mtodo de Lacroix no ofrece ninguna pista para la aplicacin de
una derivada de orden arbitrario.
Joseph Fourier, mencion por medio de su denicin de operaciones fraccionales,
derivadas de orden arbitrario, as:
)(r) =
1
2t
_
1
1
)cdc
_
1
1
cos j(r c)dj
Ahora:
J
n
Jr
n
cos j(r c) = j
n
cos[j(r c) + 1,2:]
Para n entero, reemplazando n por u, se obtiene la generalizacin:
J
u
Jr
u
)(r) =
1
2t
_
1
1
)cdc
_
1
1
j
u
cos[j(r c) + 1,2n]dj
Los matemticos anteriormente nombrados, hicieron alusin de las derivadas de orden
arbitrario, pero el primero en aplicar la teora fue Niels Henrik Abel
5
en 1823. Abel
aplic el Clculo Fraccional en la solucin de la ecuacin de una integral para el problema
del tautochrone (el problema es determinar la forma de la curva, tal que el tiempo
de descenso de un masa en el punto de friccin que resbala bajo la curva, la accin de
la gravedad es independiente del punto de partida). Si el tiempo de deslizamiento es
constante, luego la ecuacin integral de Abel es:
/ =
_
r
0
(r t)
1/2
)(t)dt
La integral mostrada, excepto para el factor 1,(1,2), es un particular caso de una
integral que dene la integracin factorial de orden 1,2. En la ecuacin integral la funcin
en el integrando es desconocida y ser determinada. Abel escribi el lado derecho de la
ecuacin como
_
[d
1/2
,dr
1/2
])(r) . Luego el oper en ambos lados de la ecuacin con
d
1/2
,dr
1/2
, y obtuvo:
J
1=2
Jr
1=2
/ =
_
)(r)
5
Niels Henrik Abel matemtico noruego.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 4
Los matemticos han descrito la solucin de Abel como elegante. Quizs fue la
formula integral de Fourier y la solucin de Abel que han atrado la atencin de Joseph
Liouville
6
quien despus de una dcada volvi a trabajar en el Clculo Fraccional. El
desarroll el primer gran estudio en esta rea, Liouville fue exitoso en aplicar sus deni-
ciones a problemas en teora potencial. El punto de inicio para su desarrollo terico fue
el conocido resultado para derivadas de orden entero:
1
n
c
or
= a
n
c
or
El cual fue extendido en una forma natural para derivadas de orden arbitrario:
1
u
c
or
= a
u
c
or
El asume que la derivada arbitraria de una funcin )(r) puede ser extendida en una
serie de forma:
)(r) =
1

n=0
c
n
a
u
n
c
onr
, a
n
R
+
La cual se puede expresar como:
1
u
)(r) =

1
n=0
c
n
a
u
n
c
onr
Donde es cualquier nmero racional, complejo o irracional, pero tiene una desventaja
notable ya que solo es aplicable a funciones de la forma:
)(r) =

1
n=0
c
n
a
u
n
c
onr
Para obtener su segunda denicin el empez con la integral denida para la funcin
Gamma:
1 =
_
1
0
n
o1
c
ru
dn a 0, r 0
Se hace la sustitucin rn = t :
6
Joseph Liouville matemtico francs trabaj en teora de nmeros, anlisis complejo, topologa difer-
encial, pero tambin en fsica matemtica e incluso astronoma.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 5
1 =
_
1
0
n
o1
c
|
dt
1 = r
o
(a)
r
o
=
1
(o)
1
Luego Liouville opera con 1
u
en ambos lados de la ecuacin obtenida, as:
1
u
r
o
=
(1)
v
(o)
_
1
0
n
o+u+1
c
ru
dn
Y Liouville obtiene su segunda denicin para una derivada fraccional:
1
u
r
o
=
(1)
v
(o+u)
(o)
r
ou
, a 0
Aunque esta denicin solo se aplica a funciones del tipo r
o
con a 0.
Liouville fue el primero en intentar resolver ecuaciones diferenciales con operadores
fraccionales. Una funcin complementaria, fue el objeto del estudio en sus investigaciones.
En alguno de sus escritos justica la existencia de esta: "La ecuacin diferencial ordinaria
d
n
j,dr
n
= 0 tiene la solucin complementaria j
c
= c
0
+c
1
r +c
2
r
2
+... +c
n1
r
n1
. As
d
u
j,dr
u
= 0 con u arbitrario, debe tambin tener una solucin complementaria".
Liouville publica su versin de solucin complementaria, sembrando unas semillas de
desconanza en la naturaleza de los operadores fraccionales. Despus George Peacock en
1883, trat la funcin complementaria, pero S.S. Greatheed en 1839, fue el primero en
llamar la atencin de la forma indeterminada de la naturaleza de la funcin complemen-
taria.
Las deniciones de las operaciones fraccionarias se han dado respecto a su uso. Una
denicin fue la generalizacin de un caso de la integral de orden dado por Lacroix y Abel
para funciones del tipo r
o
para a 0. fue la dencin de Liouville, til para funciones
del tipo r
o
para a 0. Peacock apoy la denicin de Lacroix, pero no la de Liouville
quien segn Peacock comenz con varios errores. P. Kelland public dos trabajos uno en
1839 y el otro 1846, sobre estos puntos y apoyo la denicin de Liouville. William Center
en 1848 observ que la derivada fraccional de una constante, de acuerdo con el mtodo de
Lacroix-Peacock, es diferente de cero, usando r
0
para denotar la unidad, Center encontro
la derivada fraccional de la unidad de orden 1,2, as:
J
1=2
Jr
1=2
r
0
=
(1)
(1/2)
r
1/2
=
1
p
tr
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 6
Pero Center no concuerda con Liouville en su segunda denicin. Ya que el toma
a = 0 (Liouville toma a 0), la derivada fraccional de la unidad es igual a cero, porque
(0) = , El continua: "La pregunta se reduce a que es d
u
r
0
,dr
u
. Para cuando esto
es determinado nosotros determinaremos al mismo tiempo que es el sistema correcto".
Luego De Morgan en 1840 hace una referencia acerca de la generalidad de los sistemas y
hace alusin aun sistema ms general para determinar las derivadas de orden fraccional.
Luego Bernhard Riemann
7
desarroll su teora cuando aun era un estudiante, pero fue
hasta 1892 en Gesammelte Werke que su trabajo fue publicado. su aporte fue buscar una
generalizacin de una serie de Taylor y luego deriv para obtener:
1
u
)(r) =
1
(u)
_
r
c
(r t)
u1
)(t)dt + (r)
Debido a la ambigedad del limite inferior de integracin c, Riemann acomodo a
su denicin una funcin complementaria (r). Esta es esencialmente un intento por
proporcionar una medida de la desviacin de la ley de exponentes, por ejemplo, esta ley
mencionada despues es:
c
1
u
r c
1
u
r
)(r) =
c
1
uu
r
)(r)
Donde los subndices c y r se reeren a los lmites de integracin de:
1
u
)(r) =
1
(u)
_
r
c
(r t)
u1
)(t)dt + (r)
y es valido cuando los limites inferiores c son iguales. Riemann se preocupaba por una
medida de desviacin para el caso
c
1
u
r c
0 1
u
r
)(r) cuando c ,= c
0
.
En 1869 N.Ya.Sonin trabaj inicialmente en la denicin llamada Riemann-Liouville,
Sonin llam a su escrito "En la diferenciacin con ndice arbitrario" , empezando con la
formula integral de Cauchy. Letnikov escribi cuatro escritos referentes al tema los cuales
titulo: "Una explicacin de los principales conceptos de la teora de diferenciacin de
ndices arbitrarios" en los cuales dio una extensin de los escritos de Sonin. La enesima
derivada de la formula integral de Cauchy esta dada por:
1
n
)(.) =
n!
2tI
_
c
}()
(:)
n+1
d
7
Georg Friedrich Bernhard Riemann fue un matemtico alemn que realiz contribuciones muy im-
portantes en anlisis y geometra diferencial,
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 7
No hay problema generalizando :! a valores arbitrarios desde ! = ( + 1). Pero si
para cuando : no es entero, pero esto no fue incluido en el trabajo de Sonin y Letnikov.
No fue hasta H. Laurent en 1884 public en sus escritos que la teora de generalizacin
de operadores logro un nivel en su desarrollo como un punto de partida para el matemtico
moderno. La teora del clculo fraccional esta conectada con la teora de operadores. Los
operadores 1 d,dr y 1
2
d
2
,dr
2
denotan una regla de transformacin de una funcin
en otras funciones que son las derivadas ordinarias. La regla de transformacin es familiar
en el clculo. El punto de partida de Laurent tambien fue la formula integral de Cauchy:
c
1
u
r
)(r) =
1
(u)
_
r
c
(r t)
u1
)(t)dt, R
+
para integracin en un orden arbitrario.
Cuando r c se tiene la denicin de Riemann pero sin una funcin complementaria.
La versin mas usada es cuando c = 0.
0
1
u
r
)(r) =
1
(u)
_
r
0
(r t)
u1
)(t)dt, R
+
Esta forma de la integral fraccional frecuentemente es referida como la integral frac-
cional de Riemann-Liouville, una condicin suciente que converga es esta:
)(
1
r
) = O(r
1t
), c 0
La propiedad sobre las funciones integrables son a veces referidas como funciones de
clase Riemann, por ejemplo, las constantes de clase Riemann son:
r
o
, a 1
Cuando c = se tiene:
1
1
u
r
)(r) =
1
(u)
_
r
1
(r t)
u1
)(t)dt, R
+
Una condicin suente para que converga esta dada por:
)(r) = O(r
ut
), c 0
Las funciones integrables con la propiedad anterior a veces se reeren a funciones de
la clase de Liouville, por ejemplo:
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 8
r
o
, a 0
Una constante no es de clase Liouville, sin embargo, si a esta entre 0 y -1, luego
dependiendo del valor de , las dos clases se pueden superponer.
Si se tiene )(t) = c
o|
, Re a 0, En la integral de Riemann-Liouville, entonces:
1
1
u
r
c
or
= a
u
c
or
Si se asume verdadera la Ley de Exponentes dada por: 1[1
u
)(r)] = 1
1u
)(r),
luego si 0 < < 1, se tiene j = 1 0, entonces se tiene:
1
1

r
c
or
= a

c
or
R
+
Se observa que se tiene la primera denicin de Liouville.
Sin embargo, si )(r) = r
o
, a 0, entonces:
1
1
u
r
r
o
= (1)
u
(ou)
(o)
r
o+u
Para r < 0, y si 0 < < 1, entonces j = 1 0 y
1
1

r
r
o
= (1)

(o+)
(o)
r
o
Esta es la misma segunda denicin de Liouville solo que se asume como r 0. Si
r 0, es verdad solo para el rango limitado de los parametros 0 < < a < 1.
Para )(r) = r
o
y 0, y se obtiene de
0
1
u
r
)(r) =
1
(u)
_
r
0
(r t)
u1
)(t)dt
Lo siguiente:
0
1
u
r
)(r) =
(o+1)
(o)
r
o+u
, a 1
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 9
Y otra vez asumiendo que 1[1
u
)(r)] = 1
1u
)(r), se puede ver que si 0 < < 1
0
1
u
r
)(r) =
(o+1)
(ou+1)
r
ou
, a 1
Pero en los ltimos aos se ha vuelto costumbre usar la integral fraccional de Weil.
r
\
u
1
)(r) =
1
(u)
_
1
r
(t r)
u1
)(t)dt, R
+
En lugar de la denicin de Riemman, dada por:
1
1
u
r
)(r) =
1
(u)
_
r
1
(r t)
u1
)(t)dt, R
+
Se tendra partiendo de est misma denicin y haciendo un cambio de variable t = t,
entonces
1
1
u
r
)(r) =
1
(u)
_
r
1
(r t)
u1
)(t)dt
=
1
(u)
_
r
1
(r + t)
u1
)(t)dt
Ahora sea r = . Entonces la expresin se vuelve:
1
1
u

)() =
1
(u)
_
1

(r )
u1
)(t)dt
Y se deja a )() = q(), esta formula, con unos obvios cambios de notacin se
convierte en la integral fraccional de Weil.
Despus algunos matemticos como Nekrassov y A. Krug trabajaron en clculo frac-
cional, partiendo de la formula integral de Cauchy, lo que diere entre ellos es la eleccin
del contorno de integracin, lo cual hace que su teora se vuelva pierda importancia.
Con esto concluye una pequea resea histrica de los inicios del clculo fraccional,
donde el nacimiento de esta rama de la matemtica viene de una discusin, adems, como
matemticos de gran talla dentro de la historia de la matemtica, hicieron sus aportes, y
como al pasar el tiempo se fue fortaleciendo la teora, hasta llegar a la aplicacin aunque
en la resea no se aborde mucho al respecto el clculo fraccional se ha aplicado a la
ingeniera y a la fsica, con gran aceptacin ya que se pueden explicar fenmenos con
mejor precisin.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 10
2. Conceptos Previos
Antes de hablar acerca del Clculo Fraccional, es necesario aclarar algunos conceptos
previos, los cuales nos ayudarn a entender la teora, son conceptos que se estudiaron en
el clculo diferencial e integral, estos son las derivadas e integrales iteradas.
2.1. La derivada Iterada. Como se ha visto en el clculo elemental, se puede aplicar
la composicin de funciones de manera iterada, es decir que a una funcin )(r), se le
pueden aplicar : composiciones sobre si misma tal que:
Para : = 0, se tiene:
)
0
(r) = r
Para : = 1
)
1
(r) = )(r)
Para : = 2
)
2
(r) = )(r) )(r) = )()(r))
Para : = 3
)
3
(r) = )(r) )(r) )(r) = )()()(r)))
Y se puede continuar hasta : as:
)
n
(r) = )(r) )(r) ... )(r) = )()(...)(r))...)
La misma idea se puede seguir con el operador derivada de tal forma que:
Para : = 0, se tiene:
1
0
)(r) =
J
0
Jr
0
)(r) = )
(0)
(r) = )(r)
Para : = 1
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 11
1
1
)(r) =
J
1
Jr
1
)(r) =
J
Jr
)(r) = )
(1)
(r) = )
0
(r)
Para : = 2
1
2
)(r) = 1[1)(r)] =
J
Jr
[
J
Jr
)(r)] =
J
2
Jr
2
)(r) = )
(2)
(r)
Para : = 3
1
3
)(r) = 1[1[1)(r)]] =
J
Jr
[
J
Jr
[
J
Jr
)(r)]] =
J
3
Jr
3
)(r) = )
(3)
(r)
Luego para : se obtiene:
1
n
)(r) = 1[1...[1)(r)]...] =
J
Jr
[
J
Jr
...[
J
Jr
)(r)]...] =
J
n
Jr
n
)(r) = )
(n)
(r) (1)
Se observa que la relacin (1) es la aplicacin del operador derivada sobre )(r), n veces
(en algunos textos se denota a la derivada como 1, para efectos de escritura, aunque en
otros se sigue trabajando con la notacin de Leibniz).
Si se tiene en cuenta el concepto de antiderivada visto anteriormente en el clculo
elemental, se tiene: 1
1
)(r) =
_
)(r), entonces 1
1
[1)(r)] = )(r)
Ahora se dar paso a la conceptualizacin de la integral iterada.
2.2. La Integral Iterada. "Una integral iterada es una integral evaluada mltiples
veces sobre una misma variable (en contraste con una integral mltiple, que consiste en
un nmero de integrales evaluadas con respecto a diferentes variables"
8
.
Denamos formalmente el concepto de una integral iterada:
Denicin 1. Dada una funcin )(r), cuando r 0, se puede denir la
integral indenida de ) entre [0, r], y la denotamos J)(r) (o en algunos textos
la denotan como 1
1
)(r)).
1
1
)(r) = J)(r) =
_
r
0
)(t)dt (2)
Ahora si aplicamos el operador integral obtenemos:
8
Alberto Mejas. Elementos del Clculo Fraccional
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 12
1
2
)(r) = J
2
)(r) =
_
r
0
J)(t)dt =
_
r
0
[
_
|
0
)(:)d:]dt
Y si aplicamos nuevamente el operador integral obtenemos:
1
3
)(r) = J
3
)(r) =
_
r
0
[
_
|
0
J)(:)d:]dt =
_
r
0
[
_
|
0
[
_
s
0
)(n)dn]d:]dt
Podemos continuar integrando : veces, aunque hay un resultado de Cauchy muy im-
portante que recoge en una integral la generalizacin de este proceso, llamada la Formula
para Integrales Iteradas, dada de la siguiente forma:
1
n
)(r) = J
n
)(r) =
1
(: 1)!
_
r
0
(r t)
n1
)(t)dt (3)
Ahora si vericamos la formula con : = 1, obtenemos:
1
1
)(r) = J)(r) =
_
r
0
)(t)dt
Observamos que obtenemos la denicin dada por la ecuacin (2).
Veriquemos la formula para : = 2.
1
2
)(r) = J
2
)(r) =
_
r
0
(r t))(t)dt
Sea q(r) =
_
r
0
(r t))(t)dt, debemos probar que q(r) = J
2
)(r). Luego a q(r) la
podemos separar as:
q(r) = r
_
r
0
)(t)dt
_
r
0
t)(t)dt
Si derivamos la expresin respecto a r obtenemos:
q
0
(r) = [
_
r
0
)(t)dt + r)(r)] r)(r) =
_
r
0
)(t)dt = J)(r)
Podemos escribir a q(r) como:
q(r) =
_
r
0
q
0
(t)dt =
_
r
0
J)(r)dr = J
2
)(r) = 1
2
)(r)
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 13
La prueba para : en general es similar. Sea q(r) =
1
(: 1)!
_
r
0
(r t)
n1
)(t)dt.
Usando el Teorema del Binomio para el termino (r t)
n1
, despus separamos las
integrales como se hizo anteriormente, adems dejamos a los trminos r
I
donde i =
1, 2, 3, ..., : 1, fuera del operador integral y obtenemos:
q(r) =
1
(: 1)!
_
r
n1
_
r
0
)(t)dt
_
: 1
1
_
r
n2
_
r
0
t)(t)dt + ...
_
r
0
t
n1
)(t)dt
_
Ahora derivamos con respecto a r:
q
0
(r) =
1
(: 1)!
_
r
n2
_
r
0
)(t)dt + r
n1
)(r)
_
: 1
1
_
_
r
n3
_
r
0
t)(t)dt + r
n2
r)(r)

+ ...
_
r
n1
)(r)

_
Luego de operar trminos semejantes, encontramos que q
0
(r) est dada por la siguiente
expresin:
q
0
(r) =
1
(: 2)!
__
r
0
(r t)
n2
)(t)dt

Adems vemos que q(r) =


_
r
0
q
0
(t)dt, por lo tanto tenemos que:
q(r) =
_
r
0
1
(: 2)!
_
|
0
(t :)
n2
)(:)d:
Al desarrollar la integral interna obtenemos:
q(r) =
_
r
0
(r t)
n1
(: 1)!
)(t)dt =
1
(: 1)!
_
r
0
(r t)
n1
)(t)dt (4)
Con esto concluimos que la formula de Cauchy para integrales iteradas es valida para
valores de : = 1, 2, 3...: 1.
Ya se ha discutido un poco sobre los conceptos de operadores derivada e integral
iteradas, pasemos a la teora que encierra el trabajo de Riemman y Liouville en el Clculo
Fraccional, la cual es muy interesante ya que encierra conceptos como la funcin gamma,
adems se utiliza la formula de Cauchy para integrales iteradas para generalizar el uso de
la integracin para valores reales, la cual despus se llam integral fraccional de Riemman-
Liouville y es de gran importancia para el desarrollo de la teora que a continuacin se
presenta.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 14
3. Clculo Fraccional de Riemman Liouville
Hemos visto a travs de la historia, que el clculo fraccional estudia la posibilidad y las
consecuencias de dar valores reales al ndice n de iteraciones de los operadores derivada e
integral. Vamos a tratar la teora desarrollada por Riemann y Liouville, empezando con
la funcin gamma la cual es el pilar de la teora del clculo fraccional.
3.1. Funcin Gamma de Euler. La funcin gamma es de gran importancia en
la teora del clculo fraccional, por lo tanto se van a contemplar algunas deniciones y
algunos resultados importantes de est funcin.
Denicin 2. La funcin Gamma de Euler : (0, ) R est denida
por.
(r) =
_
1
0
c
|
t
r1
dt (5)
Proposicin 1: La integral
_
1
0
c
|
t
r1
dt es convergente para r 0.
Demostracin:. Para vericar que la funcion gamma est denida para todo r 0,
por lo tanto la integral impropia converge para los valores positivos de r.
Para analizar la convergencia de la integral, es necesario separarla as:
_
1
0
c
|
t
r1
dt <
_
1
1
c
|
t
r1
dt (6)
Como t 0, entonces 0 < c
|
< 1, luego se puede acotar la primera integral dada por
la desigualdad (6).
_
1
0
c
|
t
r1
dt <
_
1
0
t
r1
dt (7)
Si r 0, podemos buscar la convergencia de la segunda integral dada por la desilgual-
dad (7):
_
1
0
t
r1
dt = lim
o!0
+
_
1
o
t
r1
dt =
_
lim
o!0
+
t
r
r
_
1
o
= lim
o!0
+
_
1
r

a
r
r
_
=
1
r
Obtenemos que para todo valor de r 0, la integral converge.
Luego para la segunda integral dada en la desigualdad (6-), es necesario contemplar
dos casos.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 15
Caso 1: Para valores de r _ 1.
_
1
1
c
|
t
r1
dt =
_
1
1
c
|
t
1r
dt
El intervalo de integracin est dado por [1, ), entonces t _ 1, pero la funcin
)(t) = t
1r
es creciente ya que )
00
(t) = (1 r)t
r
_ 0, por lo tanto t
1r
_ 1, y se tendra
1
t
1r
_ 1 , por lo tanto la integral se acotaria as:
_
1
1
c
|
t
1r
dt _
_
1
1
c
|
dt = lim
o!1
_
o
1
c
|
dt
=
_
lim
o!1
c
|
_
o
1
= lim
o!1
_
c
o

1
c
_
= lim
o!1
c
o
+ lim
o!1
1
c
=
1
c
Con esto se tiene que para 0 < r _ 1, la integral converge.
Caso 2: Para valores de r 1. Sea c = [r] la parte entera de r, e integrando
por partes a la integral que dene a (r), tenemos:
n = t
r1
dn = (r 1)t
r2
d = c
|
dt = c
|
_
1
1
c
|
t
r1
dt = lim
o!1
_
o
1
c
|
t
r1
dt = lim
o!1
_
c
|
t
r1

o
1
+ (r + 1)
_
c
|
t
r2
dt] =
1
c
(r + 1)
_
o
1
c
|
t
r2
dt
Vemos que:
lim
o!1
c
o
a
r1
= lim
o!1
a
r1
c
o
= 0
El limite se calcula comparando a
r1
_ a
1
y aplicando c-veces la regla de LHopital,
observemos que la integral
_
o
1
c
|
t
r2
dt = (r 1) y como [r 1] = c 1, se puede
repetir sucesivamente el proceso hasta calcular la integral asociada con (r c). Para
r 1, la integral denida para (r) converge.
Una propiedad interesante de la funcin gamma est dada por:
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 16
(r + 1) = r(r)
Est propiedad se puede vericar facilmente al integra por partes, la integral asociada
con (r + 1) =
_
1
0
c
|
t
r
dt,entonces:
n = t
r
dn = rt
r1
d = c
|
dt = c
|
(r + 1) =
_
1
0
c
|
t
r
dt = [c
|
t
r
[
1
0
+ r
_
1
0
c
|
t
r1
dt = [c
|
t
r
[
1
0
+ r(r)
Como vimos anteriormente lim
o!1
c
o
a
r
= lim
o!1
a
r
c
o
= 0, entonces la propiedad (r +
1) = r(r) se cumple.
A continuacin se muestra la grca de la funcin gamma
-5 -4 -3 -2 -1 1 2 3 4 5
-10
-8
-6
-4
-2
2
4
6
8
10
12
x
y
Vemos como en la grca se muestran las discontinuidades de salto para los numero
negativos, pero la funcin gamma es continua para valores de x0, como se demostr
anteriormente.
3.2. Integral Fraccional de Riemann-Liouville. La integral fraccional de Riemann-
Liouville es de gran importancia para el desarrollo de la teora en el calculo fraccional, ya
que con la integral tambin se explica el uso de la derivada fraccional, y la cual es fcil de
entender ya que los resultados son dados por el uso de la funcin gamma, veamos como
la formula de Cauchy para integrales iteradas sirve como base para llegar a la integral
fraccional.
De la formula de Cauchy para integrales iteradas dada por:
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 17
1
n
)(r) = J
n
)(r) =
1
(: 1)!
_
r
0
(r t)
n1
)(t)dt
Reemplazamos a : por , donde R
+
, adems a la expresin (: 1)!, la reem-
plazamos por la funcin gamma (), y obtenemos la siguiente denicin:
Denicin 3. Sea R
+
y sea ) una funcin continua en un intervalo
J
0
= (0, ) e integrable en un subintervalo nito J = [0, ), entonces, t 0 se
tiene.
1
u
)(r) =
1
()
_
r
0
(r t)
u1
)(t)dt (8)
A est integral se lo conoce con el nombre de: integral fraccional de Riemann-Liouville
de ) de orden R. Adems denimos a C, como la clase de funciones que cumplen con
la denicin 3.
Otro gran alcance dentro de la teora de Riemann-Liouville, es usando la funcin beta
podemos encontrar la integral (8), para una funcin de la forma r

.
1
u
r

=
1(j + 1, )
()
r
+u
Donde 1(j + 1, ) =
(j + 1)()
(j + + 1)
,luego tenemos:
1
u
r

=
(j + 1)
(j + + 1)
r
+u
Ahora introduciremos el concepto de derivada fraccional.
3.3. La Derivada Fraccional. Si 1 = d,dr es el operador derivada, y si n es un
entero positivo, luego 1
n
)(r) es la derivada n-sima (la cual se mostro anteriormente).
Sin embargo, si : no es un entero positivo y se conoce la importancia de 1
u
, podemos
denir a 1

, como la derivada fraccional cuando j R


+
.
Sopongamos ahora que n R
+
. Sea : el entero mas mas pequeo, mayor que n y sea
= : n, entonces 0 < _ 1, donde R.
1

se dene como la derivada fraccional de )(r) de orden n como:


c
1
u
r
)(r) =
c
1
n
r
[
c
1
u
r
)(r)] para r 0. (9)
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 18
Si tenemos que c = 0 y )(r) = r

, con j 1 entonces de (9) tenemos:


0
1
u
r
)(r) =
0
1
n
r
[
0
1
u
r
)(r)] (10)
Por la denicin de la integral de Riemann-Liouville
0
1
u
r
r

=
1
()
_
r
0
(r t)
u1
t

dt
=
1(j + 1, )
()
r
+u
=
(j + 1)
(j + + 1)
r
+u
Luego reemplazamos en la expresin (9) y obtenemos:
c
1
u
r
r

=
c
1
n
r
_
(j + 1)
(j + + 1)
r
+u
_
y al desarrollar la n-sima derivada obtenemos:
c
1
u
r
r

=
(j + 1)
(j + : + 1)
r
+un
(11)
como v=n-u, podemos escribir a la expresin (11), as:
c
1
u
r
)(r) =
(j + 1)
(j n + 1)
r
u
, donde n 0, r 0
Podemos dar ahora una denicin, que enmarque las condiciones para desarrollar
derivadas fraccionales.
Denicin 4. Sea ) una funcin de clase C y sea j 0. Sea m el entero
mas pequeo mayor que j. Entonces la derivada fraccional de ) de orden j,
est denida como:.
1

)(r) = 1
n
[1
u
)(r)] (si est existe), donde = :j (12)
Observemos que la expresin (12) est de acuerdo con la denicin usual de la derivada
ordinaria. A veces es conveniente denir : como el entero mas pequeo, mayor o igual
a j o simplemente mas grande que j. Pero si : = j, entonces = 0 y la denicin una
identidad.
1

)(r) = 1
n
[)(r)]
Se ha denido la integral y la derivada de orden real. Partiendo del resultado de
Cauchy luego generalizando para denir la integral fraccional de Riemann-Liouville, y
despus usamos la integral para denir la derivada de orden real.
ClculoFraccional : Historia y un enfoque a la teora de Riemman-Liouville 19
4. Conclusiones
Como hemos visto en el desarrollo del escrito, la idea del Clculo Fraccional, sale de una
discusin entre LHopital y Leibniz sobre las consecuencias de utilizar ndices reales para
la derivacin, lo cual dio una razn, para empezar a desarrollar algunas deniciones sobre
el uso de estos ndices para la integracin y derivacin, y tal fue el desarrollo de la teora
fundamentada que se lleg a utilizar para aplicaciones dentro de la fsica y la ingeniera,
el pionero de las aplicaciones del Clculo Fraccional fue Abel para resolver una ecuacin
para un problema de movimiento en dos dimensiones.
Luego el desarrollo de la teora estuvo a cargo de Riemann y Liouville que denieron
una integral fraccional, la cual sera el punto de partida para la aplicacin de la derivada
fraccional, y sobre todo esta teora tiene mucho campo de accin, donde se incluye las ecua-
ciones diferenciales y la transformada de Laplace. Aunque de las deniciones, teoremas
y resultados de Riemann y Liouville tiene aplicacin a fenmenos reales con condiciones
ideales diciles de controlar en la vida real; aunque es un buen punto de partida para
conocer la teora del Clculo Fraccional.
5. Referencias
[1] Apostol, Tom. Calculus Volumen 2. Editorial Revert. Segunda edicin. 1988
[2] Hier, R. Applications of fractional calculus. World Scientic Publishing. 2000.
[3] Mejias, Alberto. Elementos clculo fraccional.
[4] Miller, Kenneth; Ross Bertram. An introduction to the fractional calculus and
fractional equations. Jhon Wiley and Sons Inc. 1993.
[5] Oldman, Keith; Spainer, Jerome. The fractional calculus. Academic Press Inc.
1974.
[6] Rocha, M. Una breve descripcin al clculo fraccional.