Professional Documents
Culture Documents
CALCULO FRACCIONAL:
UN ENFOQUE A LA TEORIA DE RIEMANN-LIOUVILLE
DIEGO FELIPE RODRIGUEZ PERDOMO
MATEMATICAS
LUIS ENRIQUE ROJAS
DIRECTOR
junio de 2008
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
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
=
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.