Inv Cal Frac Din New

Investigacin
Clculo Fraccionario y dinmica newtoniana

Fractional Calculus and newtonian dynamics
Antn Lombardero Ozores
Revista de Investigacin
Volumen IV, Nmero 1, pp. 077106, ISSN 2174-0410

Recepcin: 14 Dic13; Aceptacin: 10 Ene14
1 de abril de 2014
Resumen
El Clculo Fraccionario abre la posibilidad de extender los conceptos de derivada e integral a rdenes no enteros. En este contexto, cabe plantearse una generalizacin de la segunda
Ley de Newton en la que se sustituya la derivada segunda interviniente por otra de orden
(1, 5 < 2). En este trabajo se estudian algunos sistemas clsicos (pndulo, proyectil y
resorte) bajo este nuevo enfoque.
Palabras Clave: clculo fraccionario, derivada fraccionaria, integral fraccionaria, ecuaciones
diferenciales fraccionarias, pndulo, proyectil, resorte.
Abstract
Fractional Calculus provides an opportunity to spread the concepts of derivative and integral to not integer orders. In this context, we may consider a generalization of Newtons
second Law in which the second derivative is replaced by other of order (1, 5 < 2). In
this research some classical systems (pendulum, projectile and spring) are discussed under
this new approach.
Keywords: fractional calculus, fractional derivative, fractional integral, fractional differential
equations, pendulum, projectile, spring.
1. Introduccin
Desde el punto de vista matemtico, el estudio del movimiento de un cuerpo a partir de las
fuerzas que actan sobre l se reduce a aplicar la ecuacin fundamental de Newton F = ma,
teniendo en cuenta que F es la fuerza resultante o suma vectorial de las fuerzas que intervienen
sobre el cuerpo. Se trata, en suma, de resolver la ecuacin diferencial de segundo orden
F = mx ,
donde x es la funcin que determina el movimiento.
77
(1.1)
Investigacin
Puede ser interesante, como experimento fsico-matemtico, seguir este proceso desde una
perspectiva ms amplia, que utilice como punto de partida una versin generalizada de la segunda Ley de Newton. Esto es lo que se pretende con este trabajo, y para ello haremos uso del
Clculo Fraccionario.
El Clculo Fraccionario es una activa rama del Anlisis Matemtico que nace de una idea
muy bsica: de la misma forma que una funcin se puede derivar o integrar un nmero entero
de veces, podemos hallar su derivada de orden 1/2? Y su integral -sima? Surgen as operadores diferenciales e integrales de orden racional, real e incluso complejo. Con estos cimientos
se puede construir un nuevo edificio del Clculo, que, sin perder de vista al Clculo tradicional
(al que no sustituye, sino que extiende), posee sus propios conceptos fraccionarios. Un ejemplo,
entre otros muchos, es el de ecuacin diferencial fraccionaria.
Como en cualquier rea matemtica viva, el inters del Clculo Fraccionario no se restringe
al plano terico, siendo este notable. Los campos de aplicacin prctica se incrementan ao tras
ao. En particular, los modelos de derivadas fraccionarias proporcionan mejores representaciones que los modelos tradicionales en aquellos materiales con amortiguacin interna.
Volviendo a la segunda Ley de Newton (1.1), autores como Ebaid [4] proponen una generalizacin fraccionaria de la misma en la forma
F = mD x
(1.2)
en la que D x se entiende como la derivada de orden de x (1, 5 < 2). A partir de la ecuacin alternativa (1.2), seguiremos el procedimiento habitual para el estudio de la dinmica de
algunos sistemas fsicos clsicos: pndulo, proyectil y resorte. Este nuevo enfoque fraccionario
de la dinmica conduce a resultados, ecuaciones e interpretaciones diferentes a las tradicionales,
que pueden resultar de inters en el futuro.
2. Historia
El Clculo Fraccionario (CF) puede ser considerado una disciplina tanto antigua como nueva.
Antigua porque, de la mano del propio Leibnitz, ya da sus primeros pasos a finales del s. XVII,
casi paralelamente al nacimiento del Anlisis. Nueva, porque no es hasta la dcada de los setenta
del pasado siglo cuando ha sido objeto intensivo de conferencias especializadas, tratados y
artculos acadmicos.
Hasta tiempos recientes, el CF tena reputacin de teora matemtica sin aplicaciones, de un
carcter un tanto esotrico. Pero en las ltimas dcadas se ha producido una explosin de la
actividad investigadora en este campo, debido a que encuentra aplicacin en las ms diversas
ramas cientficas.
Sin embargo, fueron los padres del Anlisis Matemtico quienes dieron los primeros pasos.
Quiz estimulados por la propia notacin de Leibnitz para la derivada de orden n,
dn
f (x)
dx n
(2.1)
son ste y LHopital quienes, en una correspondencia del ao 1695, se plantean por primera vez
el sustituir n por el valor no entero 1/2.
La denominacin adoptada, Clculo Fraccionario, perdura por razones histricas sin ser la
ms adecuada: las derivadas no slo sern racionales, sino tambin reales, e incluso complejas,
por lo que una designacin ms apropiada sera la de clculo de orden arbitrario.
Tras los primeros tanteos de Leibnitz y LHopital, el CF sigui siendo abordado por algunas de las mentes matemticas ms privilegiadas. Euler (s. XVIII), Laplace, Lacroix, Fourier,
78 |
Revista Pensamiento Matemtico
Volumen IV, Nmero 1, Abr14, ISSN 2174-0410
Riemann (s. XIX), Hardy y Littlewood (s. XX) se ocuparon del tema, pero la gran cantidad de
problemas abiertos en esas pocas en el Anlisis Matemtico ordinario quizs fue lo que llev a
que no profundizaran en este tipo de planteamientos alternativos.
Destacan, a principios del s. XIX, las figuras de Abel y Liouville, que propician el salto cualitativo desde la Prehistoria a la Historia del CF. Abel estaba interesado en el problema de la
tautcrona, es decir, en determinar la curva tal que el tiempo requerido por una partcula en
deslizarse por ella hasta su punto ms bajo fuera independiente del punto desde el que se soltase la partcula. Abel lleg a que dicha curva g( x ) deba satisfacer la ecuacin integral
Z x
0
( x t)
1/2
(2.2)
g(t)dt = k
El trmino izquierdo de la ecuacin es, excepto por la constante multiplicativa 1/( 12 ) la integral fraccionaria de orden 1/2 de la funcin g( x ). Con ello Abel establece la primera aplicacin
prctica del CF.
Por su parte, Liouville publica una serie de artculos en los que lleva a cabo el primer gran
intento de definir formalmente derivadas e integrales fraccionarias. Dichos trabajos hacen de
Liouville el artfice de las bases fundamentales del CF. Su punto de partida consisti en extender
la frmula de la derivada de orden entero de una funcin exponencial a derivadas de orden
arbitrarias:
D e ax = a e ax
(2.3)
De los trabajos de Liouville y otros matemticos posteriores surgen las integrales y derivadas fraccionarias de Riemann-Liouville (1870-1884). Estas definiciones son, junto con la integral fraccionaria de Grndwald-Letnikov (1867-1868), las generalizaciones ms popularizadas
del CF, una disciplina en la que hay casi tantas propuestas alternativas de derivada e integral
fraccionaria como estudiosos del tema. Otras frmulas integro-diferenciales fraccionarias son
la integral fraccionaria de Weyl (1917), la integral fraccionaria de Riesz (1936), o la derivada
fraccionaria de Caputo (1967).
Por fin, tras ms de tres siglos en los que el CF se desarrolla como un campo puramente terico casi exclusivo de los matemticos, varios autores sealan recientemente que las derivadas e
integrales no enteras son especialmente apropiadas para la modelizacin matemtica de materiales como los viscoelsticos y otros. Se ha demostrado que los modelos de orden fraccionario,
con sus propiedades de no localidad y memoria, son, en ciertos casos, ms adecuados que los
clsicos de orden entero en reas como Teora de Materiales, Teora del Transporte, Electromagnetismo, Teora de la Seal, Teora del Caos o Fractales. Desde hace cuatro dcadas empiezan
a aparecer los primeros tratados consagrados exclusivamente al tema, y el flujo de artculos,
libros, conferencias internacionales, paquetes de software y grupos de investigacin dedicados
al CF se refuerza ao a ao.
El primer libro dedicado netamente a la materia es publicado en 1974 por Oldham y Spanier
[11]. Posteriormente, son destacables el libro enciclopdico de Samko, Kilbas y Marichev [16],
las obras de Miller y Ross [10], Podlubny [14] y el ms reciente de Kilbas, Srivastava y Trujillo
[9].
Entre los retos actuales de los investigadores se encuentra el de dar una mayor consistencia,
claridad y rigor a la teora matemtica sobre operadores fraccionarios. Se hace necesaria una
unificacin de los muchos conceptos que ahora hay dispersos, estableciendo algunas definiciones estndar. Queda tambin abierto el encontrar interpretaciones fsicas y/o geomtricas a las
derivadas e integrales fraccionarias, de la misma forma que las tienen las de orden entero. En
esta cuestin hay propuestas interesantes, sobre las que destaca el estudio de Podlubny [15].
| 79
Investigacin
3. Operadores fraccionarios
Las derivadas e integrales fraccionarias son generalizaciones de las habituales que las incluyen como casos particulares. Sin embargo no hay un consenso generalizado sobre qu son la
derivada y la integral fraccionaria de una funcin, y nos encontramos con una gran variedad de
propuestas. Definimos en esta seccin algunos de los operadores fraccionarios ms extendidos,
detenindonos especialmente en la integral y derivada de Riemann-Liouville. Estos operadores
facilitan la extensin con continuidad al semiplano {z C/ (z) > 0} de las nociones clsicas
de derivadas e integrales enteras.
3.1. Integral fraccionaria de Riemann-Liouville

Para la simplificacin del clculo de la integral n-sima de una funcin f , es bien conocida
la llamada Frmula de Cauchy de la Integral Repetida,
( Ian f )( x ) =
Z x
a
dt1
Z t1
dt2 |{z}
...
1
=
( n 1) !
Z x
a
Z t n 1
a
f (tn )dtn
( x t)n1 f (t)dt
(n N)
(3.1)
fcilmente demostrable por induccin. Dado que (n 1)! = (n) n N, siendo (n) la
funcin Gamma, observamos que el miembro derecho de (3.1) puede tener significado para
valores no enteros de n. Por lo tanto es natural definir la integral fraccionaria de orden no entero
como sigue.
Definicin 1. Sea f L1 (a, b) ( < a 0) de f se define por
( Ia f ) (x ) :=
1
()
Z x
a
f (t)
( x t )1
dt
(x > a) .
(3.2)
Observacin 2. En la notacin de la integral, Ia f , especificamos el lmite inferior de integracin

a. Por debajo de ese lmite, y en general fuera del intervalo [ a, b] consideraremos o bien que la
funcin no existe o bien que toma valor constante 0.
Observacin 3. La funcin Gamma est definida en todo el plano complejo excepto en los
enteros negativos. Por ello, la exigencia () > 0 de la definicin garantiza la existencia en casi
todo punto de Ia f para toda f perteneciente a L1 (a, b).
Observacin 4. De la propiedad (n) = (n 1)! de la funcin Gamma se desprende que la
integral fraccionaria (3.2) coincide con la integral -sima (3.1) cuando N.
Observacin 5. La definicin (3.2) se denomina en ocasiones integral fraccionaria por la izquierda de Riemann-Liouville. Una integral alternativa, que no utilizaremos en este trabajo por ser
menos frecuente en la literatura, es la integral fraccionaria por la derecha:

Ib f (x ) :=
1
()
Z b
x
f (t)
( t x )1
dt
( x < b)
(3.3)
Esta misma variante se da en casi todos los operadores fraccionarios.

Observacin 6. A la expresin (3.2) se puede llegar tambin, como se ve en Miller y Ross [10],
mediante razonamientos totalmente diferentes, como son las ecuaciones diferenciales o el clculo complejo.
80 |
A continuacin enunciamos una serie de propiedades bsicas de los operadores de integracin fraccionarios de Riemann-Liouville, con las que se ponen de manifiesto las analogas y
diferencias con los operadores enteros clsicos. Las demostraciones de los resultados se pueden
encontrar en Samko, Kilbas y Marichev [16], Podlubny [14] y Kilbas, Srivastava y Trujillo [9].
Proposicin 7 (linealidad). Sean f , g L1 (a, b) ( < a 0) . Entonces
, R
Ia [ f + g] = Ia f + Ia g
Proposicin 8 (semigrupo y conmutatividad). Sea f L1 ( a, b) ( < a 0) . Entonces
+
Ia Ia f = Ia Ia f = Ia f
en casi todo punto de [a,b].
Proposicin 9. Sea f L1 ( a, b) ( < a 0) . Entonces
lm ( Ia f ) ( x ) = f (x )
0+

Observacin 10. La Proposicin 9 facilita extender la integral fraccionaria al caso = 0. As, por
Ia0 denotaremos al operador identidad, i.e., Ia0 f ( x ) := f (x ).
3.2. Derivada fraccionaria de Riemann-Liouville

Para la definicin de la derivada fraccionaria de orden , una posibilidad podra ser tomar
la frmula de la integral (3.2) y sustituir en ella por . Esta solucin plantea dos problemas.
El primero, muy evidente, es que para valores negativos de la integral de (3.2) puede no ser
convergente, adems de que para los enteros negativos () no est definida. En segundo lugar, debemos tener en cuenta que la derivacin y la integracin ordinarias
noison operaciones
h

n n
n
(
d
recprocas: es cierto que ( /dx) Ia f ( x ) = f ( x ), pero sin embargo Ia f n) ( x ) 6= f ( x ) ya
que difieren en un polinomio de orden n 1. La derivada entera es por tanto la inversa por la
izquierda de la integral, y pretendemos que los operadores fraccionarios hereden esta propiedad: D I = id . Para ello, la derivada fraccionaria de Riemann-Liouville se definir como la
derivada entera de una cierta integral fraccionaria.
Definicin 11. Sea f L1 (a, b) ( < a a)
(n ) dx
a ( x t ) n +1
n
d
es la n-sima derivada usual.
donde n = [ ()] + 1 y dx
Observacin 12. Al contrario que la integral fraccionaria, la derivada fraccionaria de RiemannLiouville s permite rdenes imaginarios puros. Cuando () = 0, la derivada de orden = i
se expresa de la siguiente manera:

1

Dai f (x ) =
1
d
(1 i ) dx
Z x
a
f (t)
(x t)i
dt
( R \ {0 } ; x > a )
(3.5)
En el Teorema 19 se dan condiciones suficientes de existencia.
| 81
Investigacin
Observacin 13. Cuando es un nmero natural, N, se tiene que n = + 1 y la derivada

fraccionaria coincide con la derivada usual:

+1
+1

d
d
d
(+1)
f (x ) =
Ia
f (x ) .
( Ia f ) ( x ) =
( Da f ) ( x ) =
dx
dx
dx
En particular D0a ser el operador identidad, i.e., D0a f ( x ) = f (x ).
Observacin 14. Algo llama poderosamente la atencin en la definicin (3.4): se especifica un lmite inferior de integracin a. La derivada fraccionaria de Riemann-Liouville, al igual que otras
definiciones de derivada fraccionaria, es un operador no local. Contrariamente al caso entero, esta derivada queda definida por medio de una integral que depende de los valores que la
funcin tome a lo largo de un intervalo. Solamente cuando es natural la derivada fraccionaria
se convierte en un operador local. Las derivadas de orden fraccionario contienen parcial o totalmente la historia temporal o el comportamiento espacial de la funcin, promediadas de una
cierta forma. Esto convierte a las ecuaciones diferenciales fraccionarias en candidatas idneas
para la modelizacin de fenmenos con memoria, aquellos en los que lo que ocurre en un punto del espacio o en un instante de tiempo depende de un intervalo (espacial o temporal) que
contiene al punto o al instante.
Al igual que en el caso entero, la derivada fraccionaria de una funcin f ( x ) existe bajo unas
condiciones ms restrictivas que la correspondiente integral. No basta, como ocurra con Ia f ,
con que f ( x ) sea de L1 . Antes de enunciar el resultado principal sobre existencia, necesitamos
la nocin de continuidad absoluta.
Definicin 15. Una funcin f : [ a, b] C se dice que es absolutamente continua en [ a, b] , f
AC [ a, b], si para cualquier > 0 existe un > 0 tal que para toda familia finita de intervalos disjuntos [ ak , bk ] [ a, b] , k = 1, 2, ..., n, que verifique nk=1 (bk ak ) < se cumple que
nk=1 | f (bk ) f ( ak ) | < .
Observacin 16. El espacio AC [ a, b] coincide con el espacio de primitivas de funciones Lebesgue
integrables:
f AC [ a, b] f (x ) = k +
Z x
a
(t) dt
( L ( a, b))
y en consecuencia una funcin f absolutamente continua tiene derivada f (x ) = ( x ) en casi

todo punto. Adems, se deduce trivialmente que k = f ( a), con lo que
f ( x ) = f ( a) +
Z x
a
f (t) dt
Observacin 17. Ser absolutamente continua es una propiedad bastante fuerte: implica continuidad uniforme (y por tanto continuidad). Sin embargo es menos restrictiva que ser Lipchiziana:
toda funcin de Lipschitz es absolutamente continua.
Observacin 18. Denotamos por AC n [ a, b] (n N ) al espacio de funciones f en [ a, b] tales que
f ( n1) AC [ a, b]. Es claro que AC1 [ a, b] = AC [ a, b] y que el espacio AC n [ a, b] consiste en todas
las funciones representables por una integral de Lebesgue n-mltiple sumada a un polinomio
de orden n 1.
Teorema 19. Sea f AC n [ a, b] , n N y C verificando () 0 y [ ()] + 1 n. Entonces
Da f existe en casi todo punto de [ a, b].
Demostracin. Ver en Samko, Kilbas y Marichev [16].
Corolario 20. Si f AC [ a, b], entonces Dai f existe en casi todo punto de [ a, b] para cualquier
R \ {0} y se representa en la forma (3.5).
82 |
Enumeramos ahora las propiedades ms relevantes de la derivada fraccionaria de RiemannLiouville (en todas ellas suponemos que existen las derivadas fraccionarias implicadas). La derivada fraccionaria de Riemann-Liouville carece de algunas cualidades importantes, como la de
+
semigrupo (ver Proposicin 8), que s cumple la integral. La relacin Da Da f = Da f slo es vlida en casos muy especficos. Otra importante diferencia con el caso entero es que, en general,
la derivada de una constante no nula no vale cero. Las demostraciones pueden encontrarse en
Samko, Kilbas y Marichev [16] y Kilbas, Srivastava y Trujillo [9].
Proposicin 21 (linealidad). Sean f , g L1 (a, b) ( < a < b < ) y C ( () 0) .
Entonces
, R
Da [ f + g] = Da f + Da g
Proposicin 22. Sea f L1 ( a, b) ( < a < b < ). Entonces, tomando valores de C tales
que () 0,
lm ( Da f ) ( x ) = f (x )
0+
El siguiente resultado refleja que, anlogamente a lo que ocurre en el caso entero, la derivada
fraccionaria de Riemann-Liouville es el operador inverso izquierdo de la integral fraccionaria
de Riemann-Liouville.
Proposicin 23. Sea f L1 ( a, b) ( < a 0). Entonces las
igualdades
(3.6)
( Da Ia f ) (x ) = f ( x )

Da Ia f (x ) = Ia f (x ) ,
si
(3.7)

Da Ia f (x ) = Da f (x ) ,
si
(3.8)
son ciertas en casi todo punto de [a,b].
Sin embargo, tambin como en el caso entero, no es cierto el recproco: la integral no es la

inversa por la izquierda de la derivada. En consecuencia no se puede hablar estrictamente de
operadores inversos.
Proposicin 24. Sea f L1 ( a, b) ( < a 0). Entonces si f n =
Ian f AC n [ a, b]
( Ia Da f ) (x ) = f ( x )
( x a ) k (nk )
( k + 1) f n ( a ) ,
k =1
n
(3.9)
donde n = [ ()] + 1, es cierto en casi todo punto de [a,b].

Corolario 25. En las condiciones de la Proposicin 24, se verifica que
( Ia Da f ) ( x ) = f (x ) + c0 x 1 + c1 x 2 + + cn1 x n
(3.10)
con ci C i = 1, 2, ..., n 1.
Ya adelantbamos el hecho sorprendente de que la derivada fraccionaria no es nula para las
funciones constantes. Esto se concluye del valor de la derivada de una potencia:
Proposicin 26. Sea [ a, b] R ( < a 0) y > 0. Se verifica que
Da ( x a) =
( + 1)
( x a)
( + 1 )
(3.11)
| 83
Investigacin
y
10
0
0.25
0.5
0.25
0.75
0.5
1.25
1.5
0.75
1.75
1.25
1.5
1.75
0.4
0.8
1.2
1.6
2.4
2.8
Figura 1. Evolucin de las derivadas fraccionarias D0 x2 , con variando entre 0 (parbola) y 2 (funcin constante)
Observacin 27. Como caso particular de (3.11), se tiene que cuando = 1, 2, ...,
n (n = [ ()] + 1) la derivada de orden -simo se anula, por lo que Da anula las potencias
( x a)1 , (x a)2 , ..., (x a)n .
Observacin 28. Para el clculo de la derivada de una funcin constante f ( x ) = k hacemos
tender a 0 por la derecha en (3.11) e introducimos la constante multiplicativa k:
Da k = k lm Da ( x a) = k lm
0
( + 1)
k
( x a) =
( + 1 )
(1 ) ( x a )
3.3. Derivada fraccionaria de Caputo

La derivada fraccionaria de Riemann-Liouville jug un papel determinante en el desarrollo
del cuerpo terico del Clculo Fraccionario, y se utiliz con xito en aplicaciones estrictamente
matemticas. Pero al tratar de realizar modelizaciones matemticas de fenmenos fsicos reales
por medio de ecuaciones diferenciales fraccionarias, surgi el problema de las condiciones iniciales tambin de orden fraccional. Este tipo de condiciones no son fsicamente interpretables
y presentan un obstculo considerable a la hora de hacer uso prctico del Clculo Fraccionario. El operador diferencial de Caputo, en contraste con el de Riemann-Liouville, emplea como
condiciones iniciales derivadas de orden entero, es decir, valores iniciales que son fsicamente interpretables a la manera tradicional. La definicin que sigue represent pues un notable
avance prctico en el estudio de fenmenos fsicos como los de tipo viscoelstico y otros.
Definicin 29. Sea C ( () 0) y f AC n [ a, b] ( < a a)
(3.12)
donde f (n) es la n-sima derivada usual de f .

84 |
Observacin 30. Al contrario que en la derivada fraccionaria de Riemann-Liouville, en la que

primero se integra y luego se deriva, en la derivada de Caputo primero derivamos (n veces) y
seguidamente integramos. En consecuencia, se trata de una definicin ms restrictiva, ya que
requiere la integrabilidad de f (n) . A pesar de ello, la hiptesis del Teorema 19 (que f pertenezca
a AC n [ a, b]) sigue siendo una condicin suficiente para garantizar la existencia de C Da f con
cualquier orden tal que [ ()] + 1 n.
Las derivadas fraccionarias de Caputo y de Riemann-Liouville son buenas generalizaciones
de la derivada ordinaria, en el sentido de que respetan los valores de las derivadas enteras usuales, concordando as entre ellas. Pero en el caso no entero no coinciden, como pone de manifiesto
el siguiente resultado, cuya demostracin puede encontrarse en Kilbas, Srivastava y Trujillo [9].
Proposicin 31. Sea
/ N ( () 0) , n = [ ()] + 1 y f L1 [ a, b] una funcin para la que
existen las derivadas fraccionarias de Caputo C Da f y Riemann-Liouville ( Da f ). Entonces se verifica
la siguiente relacin:

n 1
Da f ( x ) = ( Da f ) ( x )
k =0
f (k ) ( a )
(x a)k
(k + 1 )
( x > a)
(3.13)
Observacin 32. Por lo tanto, para rdenes de derivacin no enteros, las derivadas de Caputo y
Riemann-Liouville coincidirn cuando se cumpla
f ( a ) = f ( a ) = = f ( n 1 ) ( a ) = 0
(3.14)
Observacin 33. Como ejemplo

deestos dos tipos de derivada fraccionaria,
coincidencia
de la no

observemos las grficas de D00,5 cos ( x ) y
C D 0,5 cos
0
( x ):
y
Riemann-Liouville
Caputo
-1
-2
12
16
20
24
x
Figura 2. Comparativa de derivadas
| 85
Investigacin
La divergencia era de esperar ya que no se cumple la condicin (3.14):

cos (0) 6= 0.
La integral de Riemann-Liouville tampoco es la inversa por la izquierda de la derivada de
Caputo. Pero en el polinomio resto obtenido al menos aparecen derivadas enteras, a diferencia
de (3.9). Esta caracterstica nos ser de utilidad a la hora de resolver analticamente algunas
Ecuaciones Diferenciales Fraccionarias:
Proposicin 34. Sea f L1 ( a, b) ( < a 0). Entonces si f
AC n [ a, b] o f C n [ a, b]

n 1
( x a ) k (k )
f ( a) ,
IaC Da f ( x ) = f (x )
k!
k =0
(3.15)
donde n = [ ()] + 1 para

/ N y n = para N.
Corolario 35. En las condiciones de la Proposicin 34, se verifica que

IaC Da f (x ) = f ( x ) + c0 + c1 x + c2 x2 + + cn1 x n1
(3.16)
con ci C i = 1, 2, ..., n 1.
La derivada de Caputo puede considerarse por tanto como una regularizacin de la derivada
de Riemann-Liouville efectuada mediante la sustraccin de un polinomio de Taylor, a travs
de la cual se obtienen ciertas ventajas importantes, como las citadas condiciones iniciales enteras, unos requisitos menos restrictivos para el cumplimiento de la propiedad de semigrupo
C D C D f = C D + f , y la no menos significativa caracterstica que enunciamos a continuacin.
a
a
a
Proposicin 36. Sea C ( () > 0) y sea n = [ ()] + 1. Se verifica que C Da ( x a)k =
0 k = 0, 1, , n 1.
Esta propiedad, demostrada en Kilbas, Srivastava y Trujillo [9], evidencia que el valor de la
derivada fraccionaria de Caputo operada en una constante es nulo.
3.4. Derivada fraccionaria de Grnwald-Letnikov

Al contrario que los operadores de Riemann-Liouville o Caputo, que obtienen sus definiciones de una integral repetida, el enfoque de Grnwald-Letnikov toma como punto de partida la
derivada, en concreto de la siguiente frmula para la derivada n-sima, fcilmente deducible:
n

d
n
1 n
f ( x kh) .
(3.17)
f ( x ) = lm n (1)k
k
dx
h 0 h k =0
Esta expresin puede ser generalizada para valores no enteros de n, teniendo en cuenta que
para > 0 podemos interpretar (k ) como

( + 1)
=
.
(3.18)
k
k! ( + 1 k)
Entonces, si consideramos una serie infinita se obtiene

1
d
k
f ( x kh) .
f (x ) lm (1)
k
dx
h 0 + h k =0
86 |
Por otra parte,dado un h determinado, no tienen sentido trminos de la serie para valores de
a
k superiores a x
h , ya que en ese caso f ( x ) tomara valores fuera del intervalo de definicin
[ a, b]. Se llega entonces a la definicin que sigue.
Definicin 37. Sea f una funcin acotada en [ a, b] ( < a 0) de f se define, si existe, por
)
fa
1
( x ) := lm+
h 0 h
[ xh a ]
(1)k
k =0

f (x kh)
k
( x > a)
(3.19)
donde (k ) significa (3.18).

Observacin 38. La derivada Grnwald-Letnikov slo est definida para rdenes de derivacin
reales.
Observacin 39. En Podlubny [14] se demuestra que los operadores diferenciales de RiemannLiouville y Grnwald-Letnikov dan los mismos resultados para idnticos lmites inferiores a y
rdenes de integracin reales > 0. Cabe preguntarse cul utilizar ante un problema concreto.
En la literatura relacionada con la resolucin de ecuaciones diferenciales fraccionarias se utiliza
preferentemente la definicin de Riemann-Liouville para la formulacin de los problemas, y
luego, a la hora de obtener la solucin numrica, se pasa a la definicin de Grnwald-Letnikov,
muy apropiada para ser implementada en clculos numricos de tipo iterativo.
3.5. Otros operadores fraccionarios

Todos los operadores fraccionarios que hemos tratado se definan sobre un intervalo acotado de la recta real [ a, b]. Las formas integrales de Riemann-Liouville y diferenciales de Caputo,
con esta caracterstica, sern las que utilizaremos en los clculos a lo largo de este trabajo. Pero existen otros tipos de operadores, definidos sobre intervalos no acotados de la recta real, o
incluso sobre el plano complejo. Otros estn diseados para funciones de varias variables.
El operador integral de Weil (tambin llamado de Liouville) es una extensin de la integral
fraccionaria de Riemann-Liouville al semieje no acotado (, x ]:
f ) (x ) :=
( I+
1
()
Z x
f (t)
( x t )1
dt
( < x < ) .
Esta forma, y su correspondiente forma diferencial, son especialmente adecuadas para realizar
integracin y derivacin fraccionaria de funciones peridicas.
Pero hay una gran variedad de operadores fraccionarios. Otros registrados en la literatura
especializada son el de Riesz, para derivadas e integrales fraccionarias de funciones de varias
variables, Erdlyi-Kober, Hadamard, Bessel, Chen o Dzherbashyan.
4. Ecuaciones diferenciales fraccionarias

De la misma forma que en el Clculo ordinario, las ideas de derivacin e integracin fraccionarias conducen al concepto ms avanzado de ecuacin diferencial. Una relacin involucrando
uno o ms operadores fraccionarios aplicados a una funcin desconocida f se conoce como
ecuacin diferencial fraccionaria2 (EDF, de ahora en adelante). Gran parte de la teora de ecuaciones diferenciales ordinarias tiene una correspondencia fraccionaria ms o menos natural. Por
2 En la obra pionera de Oldham y Spanier [11] aparecen con el curioso nombre de ecuaciones diferenciales extraordinarias, en oposicin a las EDOs.
| 87
Investigacin
ejemplo, es conocido que una EDF de orden necesita [ ()] + 1 condiciones iniciales para ser
resuelta de manera nica. Sin embargo surgen tambin notables diferencias, la primera de las
cuales es el hecho de que una misma EDF tendr diferentes significados segn los operadores
fraccionarios implicados sean los de Riemann-Liouville, Caputo u otros.
4.1. Definiciones y conceptos

Anlogamente a la teora clsica de ecuaciones diferenciales, las EDF se dividen en ecuaciones lineales, homogneas, no homogneas, con coeficientes constantes o variables. Empezamos
dando la definicin ms general para luego ir concretando casos ms especficos.
Definicin 40. Una ecuacin diferencial fraccionaria de orden C ( () > 0) es una relacin del
tipo
h

i

(4.1)
( Da y) ( x ) = f x, y (x ) , Da1 y ( x ) , Da2 y ( x ) , ..., Da m1 y ( x )
donde y (x ) es una funcin compleja desconocida de dominio real, f [ x, y, y1, y2, ..., ym1 ] es una
funcin conocida y Da k (k = 1, 2, ..., m 1) son operadores diferenciales fraccionarios verificando 0 < (1 ) < (2 ) < < (m1 ) < () y m 2.
Observacin 41. Establecemos varias condiciones sobre los operadores Da k de la definicin anterior. Han de ser operadores de tipo diferencial (en otro caso hablaramos de ecuaciones integrales o ntegrodiferenciales). Adems, se entiende que representan derivadas fraccionarias del
mismo tipo (Riemann-Liouville, Caputo, etc.) y que tienen un lmite inferior de integracin a
comn.
Definicin 42. Se denomina solucin de la EDF anterior a cualquier funcin compleja de variable
real y (x ) que verifique la igualdad (4.1).
Definicin 43. Una ecuacin diferencial fraccionaria lineal de orden C ( () > 0) es una relacin del tipo
m 1

(4.2)
( Da y) (x ) = a0 (x ) y (x ) + ak (x ) Da k y ( x ) + b ( x )
k =1
donde y (x ) es una funcin compleja desconocida de dominio real, ak ( x ) (k = 1, 2, ..., m 1) y
b (x ) son funciones complejas conocidas y Da k (k = 1, 2, ..., m 1) son operadores diferenciales

fraccionarios verificando 0 < (1 ) < (2 ) < < (m1 ) < () y m 2.
Cuando se cumple que las funciones ak (x ) (k = 1, 2, ..., m 1) y b ( x ) son constantes se dice
que la EDF lineal es de coeficientes constantes, y si se da que b (x ) = 0 se denomina EDF lineal
homognea.
Problemas anlogos a los de Cauchy y Dirichlet para ecuaciones diferenciales surgen tambin en el Clculo Fraccionario. Aqu hemos de diferenciar explcitamente en funcin del tipo de
operador fraccionario, ya que hay diferencias importantes en la formulacin de las condiciones
iniciales. Veremos los problemas de Cauchy para derivadas de Riemann-Liouville y Caputo.
Definicin 44. Si utilizamos derivadas fraccionarias de Riemann-Liouville y queremos encontrar la solucin y (x ) de la EDF
h

i

(4.3)
( Da y) ( x ) = f x, y (x ) , Da1 y ( x ) , Da2 y ( x ) , ..., Da m1 y ( x )
sujeta a las n condiciones iniciales

Dak y (a) = bk , bk C (k = 1, 2, ..., n)
(4.4)
donde n = [ ()] + 1 si
/ N y n = si N, decimos que estamos ante un problema tipo
Cauchy con derivadas fraccionarias de Riemann-Liouville.
88 |
Observacin 45. En particular, si = n N, el problema anterior se reduce al usual problema

de Cauchy para una ecuacin diferencial ordinaria de orden n.
Observacin 46. Si
/ N, la n-sima condicin inicial,

Dan y (a) = bn
no verifica que n tenga parte real positiva. Debe ser interpretada por tanto como la integral
fraccionaria

Ian y ( a) = bn .
El planteamiento del problema anterior con derivadas de Riemann-Liouville obliga, para

garantizar la existencia y unicidad de soluciones, a establecer inicialmente unas condiciones
iniciales de orden no entero (4.4). Como ya se ha mencionado en (3.3) es difcil asignar una significacin fsica a este tipo de condiciones iniciales. Por el contrario, el mismo problema planteado con derivadas de Caputo se expresa en trminos de valores iniciales de derivadas de orden
entero.
Definicin 47. Si utilizamos derivadas fraccionarias de Caputo y queremos encontrar la solucin y (x ) de la EDF

h

i
C
Da y ( x ) = f x, y (x ) , C Da 1 y ( x ) , C Da2 y (x ) , ..., C Da m1 y (x )
sujeta a las n condiciones iniciales
!
dk
y ( a) = bk , bk C (k = 0, 1, 2, ..., n 1)
dx k
(4.5)
donde n = [ ()] + 1, decimos que estamos ante un problema tipo Cauchy con derivadas fraccionarias de Caputo.
Las funciones de Mittag-Leffler son de especial importancia en el Clculo Fraccionario. Igual
que las exponenciales surgen de forma natural como soluciones de EDOs lineales, la familia de
funciones de Mittag-Leffler juega un papel anlogo en la solucin de EDFs. De hecho, la propia
exponencial e x es un caso particular de la familia Mittag-Leffler, la cual puede considerarse una
generalizacin de las exponenciales.
Definicin 48. Dados , C, la funcin de Mittag-Leffler de dos parmetros E, es la funcin
compleja de variable compleja definida por la serie
E, (z) :=
zk
(k + )
k =0
Observacin 49. Algunos casos particulares.

Exponencial:
E1,1 (z) = ez
Suma de una progresin geomtrica:

E0,1 (z) =
1
1z
Coseno hiperblico de una raz:

E2,1 (z) = cosh

z
| 89
Investigacin
La transformada de Laplace es una herramienta comnmente utilizada en la resolucin de

algunas ecuaciones diferenciales ordinarias. Tambin lo ser en el mbito fraccionario, permitiendo simplificar un problema de EDFs en otro equivalente ms sencillo de tipo algebraico.
Definicin 50. Dada una funcin f , que est definida para todos los valores t 0, se denomina
transformada de Laplace de f a la funcin F dada por
F (s) = L { f (t)} :=
Z
0
est f (t) dt,
siempre que exista la integral.

Observacin 51. Para que dado un valor s exista la integral, debe cumplirse que f (t) no crezca
ms rpidamente que est cuando t . Concretamente, si f es continua a trozos y | f (t) |
Met t T > 0, M, > 0, entonces la transformada de Laplace de f existe para todo s con
(s) > .
Observacin 52. La transformada inversa de Laplace de F viene dada por
L1 { F (s)} = f (t) =
1
2i
Z c +i
c i
est F (s) ds
donde la integracin se realiza a lo largo de la lnea vertical en el plano complejo (s) = c, de

forma que c sea mayor que la parte real de todas las singularidades de F (s). L y L1 son operadores inversos en el espacio cociente de funciones de dominio positivo dado por la relacin
ser iguales en casi todo punto.
Proposicin 53. Sea f L1 (a, b) ( < a 0) tales que existan los
operadores fraccionarios Ia f , Da f y C Da f . Las transformadas de Laplace de los operadores, de existir,
toman los siguientes valores
L { Ia f (t)} = s F (s) (integral Riemann Liouville)

L { Da f (t)} = s F (s)
L
n 1
s k f ( k 1 ) ( 0 )
k =0
(derivada Riemann Liouville)
o
n 1
Da f (t) = s F (s) sk1 f (k) (0) (derivada Caputo )
(4.6)
(4.7)
(4.8)
k =0
donde F (s) es la transformada de Laplace de f (t) y n = [ ()] + 1.
Observacin 54. Una vez ms, el uso de derivadas fraccionarias de Caputo va a facilitar el proceso de resolucin de problemas concretos. Al aplicar la transformada de Laplace a este operador
podemos utilizar condiciones iniciales enteras clsicas, con clara interpretacin fsica.
Observacin 55. Si las condiciones iniciales son nulas el sumatorio se anula, y se obtiene la expresin simplificada
L { Da f (t)} = s F (s) = s L { f (t)}
de forma que la derivada fraccionaria se puede expresar como

Da f (t) = L1 {s L { f (t)}} .
Este resultado proporciona una nueva expresin para la derivada fraccionaria, vlido tanto para
Riemann-Liouville como para Caputo siempre que las condiciones iniciales se anulen.
En la aplicacin del mtodo de la transformada de Laplace para solucionar EDFs, resulta
esencial conocer la relacin existente entre las funciones de Mittag-Leffler y la transformada:
90 |
Proposicin 56. Dados k N, a R y , C, se cumple que para todo t > 0

o
n
(k )
L tk+ 1 E, ( at ) (s) =
k!s
( s a ) k +1
(s) > | a|1/
(4.9)
(k )
donde E, (z) es la derivada k-sima de E, en z. En consecuencia,

(
L 1
k!s
(s
a)
k +1
(k )
= tk+ 1 E, (at )
(4.10)
Una ltima herramienta til para la bsqueda de las soluciones de una EDF es la convolucin de dos funciones y su relacin con la transformada de Laplace.
Definicin 57. Dadas f , g : [0, ) C, f , g L1 [0, ), se define su convolucin f g como la
nueva funcin
Z x
f (t) g ( x t) dt
( f g) ( x ) :=
0
Teorema 58 (de convolucin). Dadas f , g : [0, ) C, f , g L1 [0, ) tales que existan las respectivas transformadas de Laplace F (s) , G (s). Entonces
o, de forma equivalente,
L { f g } = F (s) G (s)
(4.11)
L1 { F (s) G (s)} = ( f g) ( x ) .
(4.12)
4.2. Teoremas de existencia y unicidad

A continuacin daremos condiciones suficientes para la existencia de soluciones nicas en
problemas tipo Cauchy con derivadas fraccionarias de Riemann-Liouville. En general se comprobar que las EDF pueden tener soluciones integrables, bajo condiciones que se asemejan a las
del Teorema de Picard del Clculo ordinario. Ms concretamente, en este trabajo se analizan las
soluciones sobre el espacio de funciones L (a, b). Los teoremas que siguen, cuyas demostraciones se pueden encontrar en Kilbas, Srivastava y Trujillo [9], se fundamentan en la equivalencia
de la existencia de soluciones con la resolucin de ciertas ecuaciones integrales de Volterra y el
uso del Teorema del Punto Fijo de Banach.
Definicin 59. Dado C ( () > 0) y ( a, b) R, se define el espacio de funciones L ( a, b)
como
L (a, b) := { g L ( a, b) / Da g L ( a, b)}
Definicin 60. Dada una funcin f [ x, y0 , y1 , ..., ym1] I B R R m C, decimos que

cumple la condicin de Lipschitz para las variables y0 , y1 , ..., ym1 cuando existe una constante K >
0 no dependiente de x tal que para todo x I y cualquier par de m-uplas (y0 , y1, ..., ym1 ) , (y0, y1 ,
..., y m1 ) B se cumple que
| f [ x, y0 , y1 , ..., ym1] f [ x, y0 , y1 , ..., y m1] |
m 1
k =0
K |yk yk |
(4.13)
Teorema 61 (para Riemann-Liouville). Dado el problema tipo Cauchy con derivadas fraccionarias
de Riemann-Liouville (4.3)-(4.4), si la funcin f [ x, y, y1, y2 , ..., ym1] cumple la condicin de Lipschitz
(4.13) para las variables y, y1 , y2 , ..., ym1, y adems se da que f [ x, y, y1, y2, ..., ym1 ] L1 ( a, b) para
cualquier (y, y1, ..., ym1 ) R m , se verifica que existe una solucin nica y (x ) al problema en el espacio
L ( a, b).
| 91
Investigacin
Teorema 62 (para Riemann-Liouville, caso lineal). Sea la EDF lineal (4.2) cumplindose que b ( x )
L1 (a, b). Si ak ( x ) L ( a, b) o si ak ( x ) estn acotadas en [ a, b] (para todo k = 0, 1, ..., m 1), entonces
el siguiente problema tipo Cauchy con derivadas fraccionarias de Riemann-Liouville
( Da y) (x ) = a0 (x ) y (x ) +

m 1
k =1

ak (x ) Da k y ( x ) + b ( x )
Dak y (a) = bk , bk C (k = 1, 2, ..., n)
tiene una solucin nica y (x ) en el espacio L ( a, b).
4.3. Soluciones de casos particulares

En este apartado resolveremos explcitamente algunos problemas tipo Cauchy cuyas soluciones van a ser utilizadas despus en el estudio fraccionario del pndulo y del proyectil. Se
trata de sencillas ecuaciones diferenciales fraccionarias de orden (1, 2]. Por simplicidad a
la hora de traducir matemticamente las condiciones iniciales, optamos de aqu en adelante
por la derivada fraccionaria de Caputo, en conjuncin con la integral fraccionaria de RiemannLiouville. Como mtodo para resolver las EDFs mostraremos dos caminos distintos: uno basado
en (3.16) y en las propiedades elementales de los operadores fraccionarios; otro haciendo uso
de la transformada de Laplace de forma semejante a la habitual para resolver ecuaciones diferenciales ordinarias.
4.3.1. Mtodo 1 (operadores fraccionarios)
Dada una funcin continua f : [0, ) C y (1, 2] vamos a resolver el problema tipo
Cauchy con derivadas fraccionarias de Caputo dado por

D0 y (x ) = f ( x )
( x > 0)
(4.14)
Como 1 < 2 se tiene que n = [] + 1 = 2, por lo que necesitamos dos condiciones

iniciales en el lmite inferior de integracin 0:
y (0) = b0
(4.15)
y (0) = b1
(4.16)
Si aplicamos el operador integral I0 sobre ambos miembros de la ecuacin (4.14) obtenemos

I0 C D0 y ( x ) = ( I0 f ) ( x )
lo que, en virtud de (3.16), resulta en que la solucin general de la EDF es

y (x ) = c0 + c1 x + ( I0 f ) ( x )
(4.17)
siendo c1 , c2 constantes complejas dependientes de las condiciones iniciales.

Si introducimos la condicin (4.15) en la solucin (4.17) y, dado que I0 f (0) = 0, llegamos
a que c0 = b0 .
Vamos a hacer uso de la segunda condicin (4.16). Derivando (4.17) se obtiene

y ( x ) = c1 + D01 I0 f ( x )
92 |
que en base a (3.7) vale

y ( x ) = c1 + I01 f (x )

por lo que como I01 f (0) = 0, se llega a c1 = b1 .
Por tanto, la solucin particular del problema (4.14)-(4.15)-(4.16) ser:

y (x ) = b0 + b1 x + ( I0 f ) ( x )
Z x
1
= b0 + b1 x +
( x t)1 f (t) dt
() 0
(4.18)
que como era de esperar haciendo = 2 coincide con la conocida solucin

y (x ) = b0 + b1 x +
Z x
0
( x t) f (t) dt
de la EDO
y (x ) = f ( x )
con las mismas condiciones iniciales (4.15)-(4.16).
4.3.2. Mtodo 2 (transformada de Laplace)
Vamos a tratar ahora una ecuacin algo ms complicada, que ser una generalizacin de la
conocida ecuacin diferencial de oscilacin y ( x ) = y (x ) + f ( x ). Sustituyendo la segunda
derivada por una derivada de Caputo de orden (1, 2] obtenemos una EDF que denominaremos ecuacin de oscilacin fraccionaria. Para resolver el problema usaremos el mtodo de la
transformada de Laplace. Este sistema tiene la ventaja de que haciendo uso de la transformada
podemos introducir las condiciones iniciales desde el primer momento, llegando directamente
a la solucin particular.
Dada una funcin continua f : [0, ) C, C y (1, 2] vamos a resolver el problema
tipo Cauchy con derivadas fraccionarias de Caputo dado por

D0 y ( x ) = y (x ) + f ( x )
( x > 0)
(4.19)
Como 1 < 2 se tiene que n = [] + 1 = 2, por lo que necesitamos dos condiciones

iniciales en el lmite inferior de integracin 0:
y (0) = b0
(4.20)
y (0) = b1 .
(4.21)
Aplicando la transformada de Laplace en ambos miembros de la ecuacin 4.19, para lo cual

utilizamos el resultado (4.8) para el clculo de la transformada de una derivada de Caputo, se
llega a
s Y (s) s1 y (0) s2 y (0) = Y (s) + F (s)
donde Y (s) = L {y (x )} y F (s) = L { f (x )}. Introduciendo las condiciones iniciales (4.20)(4.21) y despejando Y (s) obtenemos
Y (s) = b0
s 2
F (s)
s 1
+
b
+
.
1
s
s s
| 93
Investigacin
Se trata ahora de aplicar la transformada inversa de Laplace a los dos miembros de la ecuacin, para recuperar y (x ). Utilizando la linealidad de L1 ,
1
2

s
s
F ( s)
1
1
1
y (x ) = b0 L
+ b1 L
+L
.
(4.22)
s
s
s
Calculemos por separado las tres transformadas inversas. El resultado (4.10) proporciona el
valor de las dos primeras de forma directa:
1
s
1
(4.23)
= E,1 (x )
L
s
2
s
1
(4.24)
= xE,2 (x )
L
s

1
Para el clculo de L1 s
F
s
utilizamos la propiedad (4.12),
(
)

1
1
1
1
(4.25)
L1 ( F (s))
F (s) = L
L
s
s
con lo que reducimos el problema a la obtencin de L1 (1/s ). De nuevo volvemos a recurrir

a (4.10), estableciendo los valores k = 0, = y a = , con lo que resulta

1
1
L
= x 1 E, (x ) ,
s
que junto con (4.25) proporciona
1
F (s)
i
h
= x 1 E, (x ) f ( x )
Z x
0

(x t)1 E, ( x t) f (t) dt
(4.26)
En conclusin, (4.22), (4.23), (4.24) y (4.26) facilitan la solucin particular al problema de

Cauchy de partida:
y (x ) = b0 E,1 (x ) + b1 xE,2 (x ) +
Z x
0

(x t)1 E, ( x t) f (t) dt
(4.27)
Observacin 63. Las funciones E,1 (x ), xE,2 (x ) forman, por tanto, un sistema fundamental
de soluciones de la correspondiente EDF homognea

C
D0 y (x ) y (x ) = 0
con (1, 2].

Observacin 64. El problema (4.14)-(4.15)-(4.16) estudiado con el mtodo anterior es un caso
particular, ms sencillo, de este. Basta tomar = 0 en la ecuacin (4.19). Veamos que la solucin
obtenida aqu es coherente con la anterior. Haciendo = 0 en la solucin (4.27) tenemos
y (x ) = b0 E,1 (0) + b1 xE,2 (0) +
Z x
0
( x t)1 E, (0) f (t) dt
y teniendo en cuenta que las funciones de Mittag-Leffler verifican E,1 (0) = E,2 (0) = 1,
E, (0) = 1/(), llegamos a la solucin (4.18) esperada:
y (x ) = b0 + b1 x +
94 |
1
()
Z x
0
( x t)1 f (t) dt
Observacin 65. Gorenflo y Mainardi [5] han obtenido una solucin alternativa equivalente para
este problema (con = 1). En su trabajo, la solucin se expresa en trminos de derivadas e
integrales de funciones de Mittag-Leffler de un solo parmetro E (z):
Z

y (x ) = b0 E ( x ) + b1 I01 E ( x ) +
x
0
d
E (t ) f (x t) dt
dt
5. Algunas aplicaciones dinmicas

5.1. Pndulo simple
El pndulo simple es un sistema fsico constituido por una partcula de masa m que, suspendida de un punto fijo O por medio de una varilla de longitud L, puede oscilar en un plano
vertical fijo por efecto de la fuerza de la gravedad. La posicin de la partcula en el instante t se
especifica mediante el ngulo que la varilla forma con la vertical en ese momento.
El estudio del pndulo constituye uno de los problemas clsicos de la dinmica elemental, y
todas sus componentes estn perfectamente determinadas desde el punto de vista matemtico.
Lo que se pretende con este apartado es realizar un anlisis del movimiento pendular enfocado
desde la ptica ms extensa del Clculo Fraccionario, y para ello se va a generalizar la idea
clsica de aceleracin (derivada segunda de la posicin) a una derivada fraccionaria de Caputo
de un orden comprendido entre 1.5 y 2.
Obviamente el pndulo simple es un sistema idealizado, al que para su anlisis vamos a
exigir una serie de hiptesis simplificativas:
La varilla que sujeta a la partcula carece de masa, es inextensible y siempre permanece
rgida.
El movimiento de la partcula se traza en dos dimensiones; es decir, la partcula no traza
una elipse sino un arco.
El sistema no pierde energa por efecto de la resistencia del aire ni por friccin alguna.
5.1.1. Ecuacin diferencial fraccionaria
Para determinar la funcin del movimiento del pndulo fraccionario empezamos buscando la
ecuacin diferencial fraccionaria que modeliza dicho movimiento. La ecuacin buscada tiene
por incgnita la funcin (t), que determina en radianes el ngulo de la varilla en el instante t.
La partcula se mueve sobre un arco de circunferencia bajo el efecto de dos fuerzas: su propio
peso (mg, donde g = 9,80665 m/s2 es la fuerza gravitatoria ejercida por la Tierra cerca de su
superficie) y la fuerza de tensin T ejercida por la varilla. Si descomponemos el peso en sus
componentes tangencial y normal, observamos que la componente normal de esta fuerza se ve
contrarrestada por la fuerza de tensin de la varilla. Por lo tanto, la nica fuerza actuante en lo
que concierne al movimiento del sistema ser la componente tangencial del peso, que tendr
signo negativo por ir siempre en direccin opuesta al movimiento:
F (t) = mg sen ( (t))
(5.1)
En el modelo clsico, se introduce esta fuerza en la segunda Ley de Newton,

(5.2)
F = ma,
| 95
Investigacin
mg sen
mg cos
mg
Figura 1. Fuerzas que intervienen en el pndulo
siendo a la aceleracin tangencial del movimiento, y se llega as a la ecuacin tradicional del

pndulo. Aqu vamos a sustituir (5.2), en la que la aceleracin a (t) es la derivada segunda de la
posicin r (t), por una frmula alternativa ms general haciendo uso de derivadas fraccionarias:

F (t) = m C D0 r (t) ,
(5.3)
con 1,5 < 2.
Nos interesa una ecuacin en la variable ngulo de la varilla (t), y no en la variable posicin
de la partcula r (t). Por ser un movimiento a lo largo de un arco de circunferencia de radio L
tenemos que r (t) = L (t), con lo que

C
D0 r (t) = L C D0 (t)
(5.4)
donde
C D
0
(t) ser la aceleracin angular.
Finalmente, de (5.1), (5.3) y (5.4) obtenemos
mg sen ( (t)) = mL

D0 (t)
que nos lleva a la ecuacin diferencial del pndulo en su generalizacin fraccionaria:

g
C
D0 (t) + sen ( (t)) = 0
L
siendo 1,5 < 2, que se reduce a la ecuacin clsica
= 2.
d2
dt2
(t) +
g
L
(5.5)
sen ( (t)) = 0 haciendo
5.1.2. Solucin
La EDF (5.5) no tiene fcil solucin, al no tratarse de una ecuacin lineal debido al trmino
no lineal sen ( (t)). Ahora, recordemos que sen ( ) cuando es pequeo; en particular, y
sen ( ) coinciden en las dos primeras cifras decimales cuando < /12.
Por lo tanto, si nos restringimos a oscilaciones de pequea amplitud (como las que describe,
por ejemplo, el pndulo de un reloj), parece razonable simplificar nuestro modelo matemtico
96 |
sustituyendo sen ( ) por en la ecuacin (5.5)3 . La ecuacin resultante se reduce a

g
C
D0 ( t ) + ( t ) = 0
L
(5.6)
Esta EDF encaja dentro del tipo de las estudiadas en el Mtodo de la transformada de Laplace. Si establecemos las condiciones iniciales del pndulo, es decir, ngulo de partida 0 y
velocidad angular inicial v0 ,
(0 ) = 0
(5.7)
(0) = v0
(5.8)
entonces utilizando la frmula (4.27), y dado que en este caso f = 0, la solucin particular, que
determina la posicin del pndulo en funcin del tiempo, es
g
g
(t) = 0 E,1 t + v0 tE,2 t .
(5.9)
L
L
Por otra parte, en este sistema es habitual considerar nula la velocidad inicial de la partcula.
Esto es, en origen el pndulo se deja oscilar sin ejercer sobre l ningn impulso. En esta situacin
la segunda condicin inicial es
(5.10)
(0) = 0
y la solucin queda simplificada a
g
g
(t) = 0 E,1 t = 0 E t .
L
L
(5.11)
En el caso particular = 2, teniendo en cuenta que

E2,1
g
t2 =
L
k
r 2k
r
Lg t2
g
g
(1)k
t
t
= cos
(2k + 1) = (2k)!
L
L
k =0
k =0
se obtiene la solucin tradicional del pndulo linealizado ddt2 (t) + L (t) = 0 con condiciones
iniciales (5.7)-(5.10):
r
g
t
(t) = 0 cos
L
5.2. Proyectil
Otro problema dinmico clsico es el del proyectil . Se trata de un sistema en el que una
partcula es proyectada formando un determinado ngulo con la superficie de la Tierra. El proyectil, bajo el efecto de la fuerza de la gravedad, describir una curva de tipo parablico. Esta
trayectoria est perfectamente determinada matemticamente incluso para el caso, un poco ms
complicado, en el que consideremos otras fuerzas intervinientes en el sistema adems de la gravedad, como son las de rozamiento. reas como la balstica han estudiado en profundidad este
tema. Aqu, siguiendo trabajos como los de Ebaid [4] u Otero [12], vamos a estudiar el movimiento de un proyectil desde el enfoque fraccionario. Para ello, tal y como hicimos con el
pndulo, utilizaremos como hiptesis inicial una frmula generalizada de la segunda Ley de
Newton.
Vamos a partir de unas hiptesis que simplifican el problema, de forma que la nica fuerza
actuante sea la gravedad:
3 Esto es lo que se hace en el estudio de la dinmica del pndulo clsico, y es razonable para valores pequeos del
ngulo debido a que la solucin constante cero es estable. En el caso fraccionario, la estabilidad de la solucin cero,
aunque parece obvia, es todava un problema abierto (ver [3]).
| 97
Investigacin
El medio no ofrece oposicin al avance del proyectil ni por resistencia del aire ni por
ninguna otra friccin.
No hay curvatura de la superficie terrestre, que es plana y sin rugosidades.
El movimiento se traza dentro de un plano vertical fijo OXY.
La fuerza de la gravedad es uniforme, y no disminuye con la altura del proyectil.
No se tiene en cuenta la fuerza de Coriolis, debida al movimiento de rotacin de la Tierra.
5.2.1. Ecuaciones diferenciales fraccionarias
y
v0 sen
H
v0
x
v0 cos
L
mg
Figura 2. Fuerzas que intervienen en el proyectil
Supongamos que se lanza el proyectil, de masa m, con una velocidad inicial de mdulo
v0 y formando un ngulo con la horizontal. Escogemos el plano OXY coincidiendo con el
plano de la trayectoria, de forma que el origen O se corresponda con la posicin inicial de la
partcula. Podemos descomponer el movimiento en sus componentes horizontal y vertical, que
sern independientes una de la otra. Como la nica fuerza considerada, la fuerza gravitatoria,
solo tiene componente vertical, la trayectoria ser la composicin de un movimiento rectilneo
uniforme horizontal con un movimiento rectilneo uniformemente acelerado vertical. Es decir,
si x (t) e y (t) son las respectivas componentes horizontal y vertical del movimiento, lo anterior
junto con la segunda Ley de Newton F = ma nos lleva a las ecuaciones diferenciales clsicas
del proyectil:
d2 x
(5.12)
m 2 (t) = 0
dt
d2 y
(t) = mg
dt2
que con las condiciones iniciales comentadas,
(5.13)
x (0 ) = 0
x (0) = v0 cos
(5.14)
y (0 ) = 0
y (0) = v0 sen
(5.15)
conducen a las conocidas soluciones del movimiento parablico:

x (t) = v0 t cos
98 |
(5.16)
y (t) = v0 t sen
g 2
t .
2
(5.17)
Para aproximarnos al problema desde el punto de vista fraccionario sustituimos, tal y como
hicimos al estudiar el pndulo, la frmula clsica de Newton
F = ma
por la generalizacin
F (t) = m

D0 x (t) ,
(5.18)
con 1,5 < 2. As, aplicando el nuevo enfoque (5.18) a (5.12) y (5.13), y simplificando el factor
comn m, obtenemos las EDFs del proyectil fraccionario:

C
D0 x ( t ) = 0
(5.19)

siendo 1,5 < 2.

D0 y (t) = g
(5.20)
5.2.2. Soluciones
Las ecuaciones (5.19) y (5.20) son sencillas EDFs lineales del tipo de las estudiadas en el
Mtodo 1 (operadores fraccionarios) de la pgina 92. Si fijamos las condiciones iniciales (5.14)(5.15) y aplicamos la frmula obtenida para este tipo de ecuaciones (4.18) llegamos a las soluciones
x (t) = v0 t cos
(5.21)
y (t) = v0 t sen
gt
( + 1)
(5.22)
Rt
donde hemos utilizado que 0 (t s)1 ds = t/ y que () = ( + 1). Estas son las ecuaciones paramtricas que rigen el movimiento del proyectil en el plano OXY partiendo de (5.18)
como principio fsico. Como es natural, al fijar = 2 se convierten en las soluciones tradicionales (5.16)-(5.17).
Eliminando la variable tiempo y unificando las dos ecuaciones paramtricas se llega a la
ecuacin algebraica que relaciona x e y, que, al contrario que en el caso = 2, donde se trata de
una parbola, es un polinomio fraccionario de grado :
y=
gx
+ x tan
( + 1) (v0 cos )
(5.23)
A continuacin se estudian, para los casos fraccionario y clsico, las cuatro magnitudes ms
relevantes en el anlisis del movimiento de proyectiles: alcance, ngulo ptimo, altura mxima
y tiempo de vuelo. Cada uno de estos valores depender de ciertos parmetros, e indicaremos estas relaciones con notacin de dependencia funcional. Todos los resultados parten de la
hiptesis de un lanzamiento de proyectil (5.23) con condiciones iniciales (5.14)-(5.15). Las demostraciones de los resultados que siguen pueden encontrarse en Ebaid [4].
5.2.3. Alcance
Definicin 66. Se denomina alcance ( L) a la distancia horizontal recorrida por el proyectil entre
el instante del lanzamiento y la toma de contacto con la superficie. Es decir, al valor x (t) en el
tiempo t de impacto con la superficie.
| 99
Investigacin
y
1.5
7.5
2
2.5
3
2.5
10
12
14
x
Figura 3. Comparacin de trayectorias para diferentes valores de ( = /4, v0 = 10)
Proposicin 67. El alcance L ( , , v0 ) viene dado por

( + 1)
L (, , v0 ) =
g
1
1
v01 (sen ) 1 cos
y coincide con el alcance clsico haciendo = 2 :

L (2, , v0 ) =
2v20
sen cos
g
Proposicin 68. Fijados y v0 , los alcances fraccionario y clsico coinciden solamente para un ngulo
de lanzamiento concreto:
h
i 1
2
2 1

g ( +1 )

0<<
L ( , , v0 ) = L (2, , v0 ) = arc sen
v0
2
5.2.4. ngulo ptimo
Definicin 69. El ngulo ptimo ( A) es el ngulo de lanzamiento (con respecto a la horizontal)
con el que el proyectil consigue un mayor alcance.
Proposicin 70. El ngulo ptimo A () viene dado por

1

A () = tan1
A ( ) <
4
2
1
y coincide con el ngulo ptimo clsico

100 |
haciendo = 2.
Proposicin 71. Fijados y v0 , el alcance mximo (que viene determinado por el ngulo ptimo) es
Lmax (, v0 ) =

1
1 ( + 1) v0 1
y coincide con el alcance mximo clsico haciendo = 2:

Lmax (2, v0 ) =
v20
.
g
5.2.5. Altura mxima

Definicin 72. La altura mxima ( H ) es el valor de y (t) en el punto ms elevado de la trayectoria
del proyectil.
Proposicin 73. La altura mxima H (, , v0 ) viene dada por
H (, , v0 ) =
1
1

()
g
1
1
(v0 sen ) 1
y coincide con la altura mxima clsica haciendo = 2 :

H (2, , v0 ) =
v20 sen2
.
2g
Proposicin 74. Fijados y v0 , las alturas mximas fraccionaria y clsica coinciden solamente para un
ngulo de lanzamiento concreto
h
i 1

2
2 1

( )
g 2

0<<
H (, , v0 ) = H (2, , v0 ) = arc sen
v0
2
5.2.6. Tiempo de vuelo
Definicin 75. El tiempo de vuelo ( T ) es el tiempo total en que el proyectil est en movimiento,
desde su lanzamiento hasta que toma tierra.
Proposicin 76. El tiempo de vuelo T (, , v0 ) viene dado por
T (, , v0 ) =
( + 1) v0 sen
g
1
1
y coincide con el tiempo de vuelo clsico haciendo = 2 :

T (2, , v0 ) =
2v0 sen
g
5.3. Resorte o muelle

Ciertos dispositivos elsticos, como los muelles o las tiras de goma, tienen la particularidad
de recuperar su longitud inicial despus de ser estirados. Este comportamiento elstico se debe
| 101
Investigacin
a la accin de una fuerza recuperadora que se opone al estiramiento. Supongamos que disponemos de un muelle que se encuentra suspendido de un extremo, y cuya longitud es l0 . Al
colgar del otro extremo un cuerpo de masa m, el muelle se estira hasta alcanzar la longitud l1 ,
quedando entonces inmvil. En ese momento el sistema est en lo que se denomina la posicin
de equilibrio, y esa posicin del cuerpo se toma como origen coordenado de un sistema unidimensional. Denotemos por x (t) la distancia del cuerpo a la posicin de equilibrio en el instante
t, considerando x (t) > 0 cuando el muelle est estirado (el cuerpo se mueve hacia abajo) y
x (t) < 0 cuando est comprimido (el cuerpo se mueve hacia arriba). En este caso s que vamos
a tener en cuenta la fuerza de rozamiento ejercida por el medio (aire) sobre la masa suspendida,
pero fijamos las siguientes hiptesis de partida:
El muelle carece de masa.
El movimiento del sistema muelle-cuerpo es unidimensional, trazndose dentro de una
recta vertical fija.
5.3.1. Ecuacin diferencial fraccionaria
Vamos a analizar qu fuerzas intervienen en el sistema. De acuerdo con la Ley de Hooke,
la fuerza recuperadora FH que un resorte ejerce sobre la masa es directamente proporcional
a la distancia en la que el resorte se ha estirado o comprimido. Puesto que sta es igual al
desplazamiento de la masa m respecto de la posicin de equilibrio, se deduce que
FH (t) = kx (t) .
(5.24)
La constante de proporcionalidad k > 0 se llama constante elstica del muelle, y depende de sus
caractersticas fsicas. Obsrvese que FH y x tienen signos opuestos.
Adems, un cuerpo que se mueve en el aire est sometido a fricciones que se traducen en la
aparicin de una fuerza que tiende a frenarlo. Suele admitirse que el rozamiento del aire, a velocidades no excesivamente altas, influye sobre los cuerpos oponiendo una fuerza proporcional
y de sentido contrario a la velocidad del cuerpo, es decir
FR (t) = cv (t) = cx (t) .
(5.25)
La constante de proporcionalidad c > 0 se denomina constante de amortiguamiento y, en el caso

del aire, depender de las condiciones atmosfricas.
Podra pensarse que no estamos teniendo en cuenta el peso mg del cuerpo como fuerza
interviniente en el sistema. Por el contrario, el peso se ve contrarrestado permanentemente por
una fuerza de igual mdulo y signo contrario: la tensin ejercida por el muelle, que, fijado
en un punto, sujeta en todo momento el cuerpo. Por lo tanto ambas fuerzas se compensan
mutuamente, y la fuerza neta resultante es nula.
Tenemos as que la masa soporta la fuerza F = FH + FR . Para enfocar el problema del resorte
desde el punto de vista fraccionario sustituimos de nuevo la frmula de la segunda ley de
Newton F = ma por la generalizacin fraccionaria

(5.26)
F (t) = m C D0 x (t) ,
con 1,5 < 2. De esta manera obtenemos la nueva EDF que gobierna la dinmica del muelle:

m C D0 x (t) = FH (t) + FR (t)
m
102 |

D0 x (t) + cx (t) + kx (t) = 0
(5.27)
a la que podemos aadir unas condiciones iniciales que determinen la posicin inicial de la
masa,
x (0) = b0 ,
(5.28)
y su velocidad inicial, o el impulso que se le transmite en el inicio del experimento,
x (0) = b1 .
(5.29)
5.3.2. Soluciones
El problema de Cauchy dado por (5.27)-(5.28)-(5.29) no tiene fcil solucin, y en la bibliografa existente no se resuelve completamente para estos parmetros particulares. Kilbas, Srivastava y Trujillo [9] han encontrado dos soluciones particulares de la ecuacin (5.27):
(n + j + 1)
(k/m )n n
(c/m) j t(1)j
t
+
n!
(n + 1 + j j)
j!
n =0
j =0
x1 ( t ) =
c
m
(n + j + 1)
(k/m)n n+1
(c/m ) j t(1) j
t
(n + + j j)
n!
j!
n =0
j =0
(5.30)
(n + j + 1)
(k/m )n n+1
(c/m ) j t(1)j
t
+
n!
(n + 2 + j j)
j!
n =0
j =0
x2 ( t ) =
c
m
(n + j + 1)
(k/m )n n+
(c/m) j t(1)j
t
n!
(n + 1 + + j j)
j!
n =0
j =0
(5.31)
No hay garanta de que estas dos soluciones formen un sistema fundamental de soluciones
de la ecuacin. El encontrarlas se convierte en una cuestin bastante complicada. Por ejemplo,
si es un racional p/q con p < q, necesitaramos p soluciones para configurar un sistema fundamental. Para un real no racional, el proceso se complica ms.
6. Conclusiones
De la misma forma que las propiedades de no localidad y memoria de los operadores fraccionarios han demostrado ser de utilidad en reas como la mecnica de fluidos, la teora de
viscoelasticidad, el procesado de imagen y otras muchas, es razonable conjeturar que en sistemas fsicos de la mecnica clsica pueda, bajo ciertas circunstancias, ocurrir algo parecido.
Un siguiente paso en la investigacin consistira en determinar, a nivel prctico, si existen condiciones (de friccin del medio, climatolgicas, gravitatorias, etc.) para las que los modelos
fraccionarios expuestos representen la realidad de forma ms precisa que los modelos clsicos.
En un plano ms terico, el Clculo Fraccionario, como rama matemtica reciente que es,
proporciona innumerables lneas futuras de investigacin. En relacin a los aspectos tratados
en este artculo sealamos el problema abierto de determinar la estabilidad de la solucin trivial
0 en el pndulo fraccionario, y sobre todo la bsqueda de la solucin general para sencillas
ecuaciones diferenciales fraccionarias lineales, como la obtenida en el problema del resorte.
| 103
Investigacin
Referencias
[1] A GRAWAL, O. P., A new lagrangian and a new Lagrange Equation of Motion for fractionally damped systems, Journal of Applied Mechanics, vol. 68, (2001) 339-341.
[2] B ALEANU, D., A SAD, J. H., P ETRAS, I., Fractional-order two-electric pendulum, Romanian Reports in Physics , vol. 64(4), (2012) 907-914.
[3] C HEN, F., N IETO, J. J., Z HOU, Y., Global attractivity for nonlinear fractional differential equations,
Nonlinear Analysis: Real World Applications, 13, (2012) 287-298.
[4] E BAID, A., Analysis of projectile motion in view of fractional calculus, Applied Mathematical
Modelling, 35, (2011) 1231-1239.
[5] G ORENFLO, R., M AINARDI, F., Fractional Calculus: Integral and differential equations of fractional
order, CISM courses and lectures, vol. 378, (1997) 223-276.
[6] H AUBOLD, H. J., M ATHAI, A. M., S AXENA, R. K., Mittag-Leffler functions and their applications,
Journal of Applied Mathematics, vol. 2011, (2009).
[7] H EYMANS, N., P ODLUBNY, I., Physical interpretation of initial conditions for fractional differential
equations with Riemann-Liouville fractional derivatives, Rheologica Acta, vol. 45(5), (2006).
[8] K ILBAS, A. A., Some aspects of differential equations of fractional order, Rev. R. Acad. Cienc.
Exact. Fs. Nat., vol. 98(1), (2004) 27-38.
[9] K ILBAS, A. A., S RIVASTAVA, H. M., T RUJILLO, J., Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, 2006.
[10] M ILLER, K. S., R OSS, B., An Introduction to the Fractional Calculus and Fractional Differential
Equations, Wiley and Sons, New York, 1993.
[11] O LDHAM, K. B., S PANIER, J., The Fractional Calculus, Academic Press, New York, 1974.
[12] O TERO, O., Ecuaciones diferenciales de orden fraccionario (Trabajo de Fin de Mster), Tutor: Juan
Jos Nieto Roig, Universidad de Santiago de Compostela, Facultad de Matemticas (2012).
[13] P IERANTOZZI, T., Estudio de generalizaciones fraccionarias de las ecuaciones estndar de difusin
y de ondas (Tesis doctoral), Tutor: Vzquez, L., Universidad Complutense de Madrid, Facultad
de Matemticas (2006).
[14] P ODLUBNY, I., Fractional Differential Equations, Academic Press, San Diego, 1999.
[15] P ODLUBNY, I., Geometric and physical interpretation of fractional integration and fractional differentiation, Fract. Cal. Appl. Anal, 5(4), (2002) 367- 386.
[16] S AMKO, S. G., K ILBAS, A. A., M ARICHEV, O. I., Fractional Integrals and Derivatives: Theory
and Applications, Gordon and Breach Science Publishers, Suiza, 1993.
[17] S HIMA, H., How far can Tarzan jump?, European Journal of Physics, vol. 33(6) (2012) 16871696.
[18] T ENREIRO M ACHADO, J., K IRYAKOVA, V., M AINARDI, F., Recent history of fractional calculus,
Commun Nonlinear Sci Numer Simulat, vol. 16(3), (2011) 1140-1153.
[19] VZQUEZ M ARTNEZ, L., Una panormica del clculo fraccionario y sus aplicaciones, Rev. R.
Acad. Cienc. Exact. Fs. Nat., vol. 98(1), (2004) 17-25.
104 |
[20] V ELASCO C EBRIN, M. P., Modelos diferenciales y funciones especiales en el mbito del clculo
fraccionario (Trabajo de Fin de Mster), Tutores: Trujillo, J. J. (Universidad de La Laguna) y
Vzquez, L. (Universidad Complutense de Madrid) (2008).
Sobre el autor:
Nombre: Antn Lombardero Ozores
Correo electrnico: antonlo@educastur.princast.es
Institucin: Departamento de Anlise Matemtica, Universidade de Santiago de Compostela,
Espaa.
| 105

Inv Cal Frac Din New

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Inv Cal Frac Din New

Caricato da

Copyright:

Formati disponibili

Investigacin

Clculo Fraccionario y dinmica newtoniana

Volumen IV, Nmero 1, pp. 077106, ISSN 2174-0410

Antn Lombardero Ozores

Revista Pensamiento Matemtico

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Clculo Fraccionario y dinmica newtoniana

Antn Lombardero Ozores

Revista Pensamiento Matemtico

Antn Lombardero Ozores

3.1. Integral fraccionaria de Riemann-Liouville

Observacin 2. En la notacin de la integral, Ia f , especificamos el lmite inferior de integracin

Esta misma variante se da en casi todos los operadores fraccionarios.

Revista Pensamiento Matemtico

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Clculo Fraccionario y dinmica newtoniana

Antn Lombardero Ozores

Proposicin 8 (semigrupo y conmutatividad). Sea f L1 ( a, b) ( < a < b < ) y , C

en casi todo punto de [a,b].

3.2. Derivada fraccionaria de Riemann-Liouville

En el Teorema 19 se dan condiciones suficientes de existencia.

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Revista Pensamiento Matemtico

Antn Lombardero Ozores

Observacin 13. Cuando es un nmero natural, N, se tiene que n = + 1 y la derivada

y en consecuencia una funcin f absolutamente continua tiene derivada f (x ) = ( x ) en casi

Revista Pensamiento Matemtico

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Clculo Fraccionario y dinmica newtoniana

Antn Lombardero Ozores

en casi todo punto de [a,b].

Sin embargo, tambin como en el caso entero, no es cierto el recproco: la integral no es la

donde n = [ ()] + 1, es cierto en casi todo punto de [a,b].

Antn Lombardero Ozores

3.3. Derivada fraccionaria de Caputo

donde f (n) es la n-sima derivada usual de f .

Revista Pensamiento Matemtico

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Clculo Fraccionario y dinmica newtoniana

Antn Lombardero Ozores

Observacin 30. Al contrario que en la derivada fraccionaria de Riemann-Liouville, en la que

Observacin 33. Como ejemplo

observemos las grficas de D00,5 cos ( x ) y

Revista Pensamiento Matemtico

Antn Lombardero Ozores

La divergencia era de esperar ya que no se cumple la condicin (3.14):

donde n = [ ()] + 1 para

Corolario 35. En las condiciones de la Proposicin 34, se verifica que

3.4. Derivada fraccionaria de Grnwald-Letnikov

Entonces, si consideramos una serie infinita se obtiene

Revista Pensamiento Matemtico

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Clculo Fraccionario y dinmica newtoniana

Antn Lombardero Ozores

donde (k ) significa (3.18).

3.5. Otros operadores fraccionarios

4. Ecuaciones diferenciales fraccionarias

Volumen IV, Nmero 1, Abr14, ISSN 2174-0410

Revista Pensamiento Matemtico

Antn Lombardero Ozores

4.1. Definiciones y conceptos

donde y (x ) es una funcin compleja desconocida de dominio real, ak ( x ) (k = 1, 2, ..., m 1) y

b (x ) son funciones complejas conocidas y Da k (k = 1, 2, ..., m 1) son operadores diferenciales

Revista Pensamiento Matemtico