1

Una introduccin al
Clculo Fraccionario





Autores: Dr. Pedro Arafet Padilla
MSc. Hugo Domnguez Abreu
Dr. Francisco Chang Muma



Facultad de Ing. Elctrica
Universidad de Oriente
Mayo 2008


2
Tabla de contenidos
1. Introduccin ___________________________________________________________ 3
2. Derivada fraccionaria de la funcin exponencial ______________________________ 4
3. Funciones trigonomtricas: seno y coseno. ___________________________________ 4
4. Derivadas de

x ________________________________________________________ 5
5. Una misteriosa contradiccin______________________________________________ 6
6. Integrales iteradas _______________________________________________________ 7
7. Se resuelve el misterio____________________________________________________ 9
8. Derivada fraccionaria segn Grunwald-Letnikov_____________________________11
9. Derivada fraccionaria segn Caputo (1967). _________________________________11
10. Media derivada de una funcin simple ___________________________________12
11. Derivada fraccionaria de una constante __________________________________12
12. Transformada de Laplace de la derivada fraccionaria de una funcin __________13
13. Transformada fraccionaria de Fourier ___________________________________15
14. Convolucin_________________________________________________________16
15. Frmula Integral de Cauchy ___________________________________________17
16. Derivada fraccionaria de funciones continuas temporales____________________17
17. Derivada fraccionaria de funciones peridicas _____________________________20
18. La funcin de Mittag Leffler __________________________________________21
19. Derivada fraccionaria de la exponencial causal ____________________________22
20. Anexo #1 ____________________________________ Error! Marcador no definido.

3

Clculo fraccionario

1. Introduccin

Estamos familiarizados con la idea de las derivadas. La notacin usual

dx
) x ( df
o Df(x),
2
2
dx
) x ( f d
o D
2
f(x)

se comprende fcilmente. Estamos tambin familiarizados con propiedades tales como:

D[f(x) + f(y)] = Df(x) + Df(y)

Pero, cul sera el significado de
2 / 1
2 / 1
dx
) x ( f d
o D
1/2
f(x)?
Muchos lectores no se han encontrado con derivadas de orden antes, porque no existe an
en los textos comunes.

En 1695 LHpital le pregunt a Leibnitz: -Qu ocurre si el orden es ?-.
Leibnitz responde -De esta paradoja se extraern, algn da, consecuencias muy tiles-.

Lacroix, en 1819, menciona, por primera vez la derivada de orden arbitrario. Ms tarde Euler
y Fourier trataron el tema, pero sin aplicaciones. En 1823, Abel lo aplic a la ecuacin integral
relacionada con el problema de las iscronas. Esto motiv a Liouville (1832) al primer gran
intento de una definicin formal y consistente de la derivada fraccionaria.
En 1847 Riemann escribi un artculo modificando la definicin de Liouville del operador
fraccionario que se conoce hoy como la Integral de Riemann Liouville.
En 1868 A. V. Letnikov escribi el artculo Theory of differentiation of fractional order.

Desde 1695 1974 muchos cientficos han contribuido: Lagrange, Laplace, de Morgan,
Heaveside, Riesz, Weyl.
En 1974 aparece el primer texto dedicado al clculo fraccionario: K. B. Oldham and J.
Spanier, The Fractional Calculus, Academic Press, 1974.

Hoy existe una vasta literatura sobre el tema llamado Clculo Fraccionario, Clculo Fraccional
o Clculo Generalizado (Fractional Calculus, Diferintegral Calculus). Muchos artculos
cientficos aparecen da a da en el mundo mostrando las ms variadas aplicaciones. Las
aplicaciones ms comunes actualmente se encuentran en Reologa, Biologa Cuntica,
Electroqumica, Teora de la Dispersin, Difusin, Teora del Transporte, Probabilidad y
Estadstica, Teora del Potencial, Elasticidad, Viscosidad y Teora de Control Automtico. Ya
existen paquetes en Matlab para el clculo fraccionario y para el control automtico
fraccionario (este ltimo, llamado Ninteger, gratis en internet)

4
Es el propsito de estas notas introducirnos en el clculo fraccionario de la misma forma que
fue apareciendo histricamente.

Antes de usar algunas definiciones formales o teoremas exploraremos la idea de la derivada
fraccionaria echando una ojeada a algunos ejemplos de derivadas bien conocidas, de orden n,
tales como
ax n ax n
e a e D = y cambiaremos el nmero natural n por otros nmeros, por
ejemplo, . En este sentido, como detectives, trataremos de ver qu estructura matemtica se
esconde en esta idea. Evitaremos una definicin formal de la derivada fraccionaria mientras no
exploremos las posibilidades de varias aproximaciones a esta nocin.

2. Derivada fraccionaria de la funcin exponencial

Comencemos examinando las derivadas de la funcin exponencial
ax
e debido a su
simplicidad.

ax ax 1
ae e D = ,
ax 2 ax 2
e a e D = ,...,
ax n ax n
e a e D = , donde n es un entero. Podramos
remplazar n por y escribir
ax 2 / 1 ax 2 / 1
e a e D = Por qu no? Por qu no podemos ir ms all
y hacer n un nmero irracional como, por ejemplo, 2 , o un nmero complejo tal como 1 + i?

Arriesgumonos y escribamos

ax ax
e a e D

= (1)

para cualquier valor de , entero, irracional o complejo. Es interesante considerar el
significado de (1) si fuera un entero negativo. No hay dudas que si fuera un entero
negativo -n, se tratara de la n-sima integral iterada. De manera que si es un nmero real
positivo se trata de la derivada y de la integral si es un nmero real negativo.

Notemos que an no hemos dado una definicin para la derivada fraccionaria de una funcin
general. Pero, si esta definicin se encuentra, querramos comprobarla en la funcin
exponencial. Es bueno comentar que Liouville comenz por ah.

3. Funciones trigonomtricas: seno y coseno.

Tambin estamos familiarizados con las derivadas de la funcin seno:

x sen x sen D
o
= , x cos x sen D
1
= x sen x sen D
2
=

Esta funcin no presenta un patrn claro para encontrar, por ejemplo, D

sen x. Sin embargo,

trazando la grfica de esta funcin se descubre un patrn. Cada vez que derivamos resulta un
5
grfico del sen x desplazado
2

a la izquierda. De manera que derivando sen x, n veces, se

desplaza la grfica
2
n

a la izquierda, es decir,

|

\
|
+ =
2
n
x sen x sen D
n

|

\
|
+ =
2
n
x cos x cos D
n

Reemplacemos el entero positivo n por un nmero arbitrario. As, obtendremos una
expresin de la derivada general de la funcin seno y, de manera similar, podramos tratar el
coseno.

|

\
|
+ =

2
x sen x sen D ,
|

\
|
+ =

2
x sen x cos D (2)

Despus de ver esto, es natural preguntarnos si lo que hemos hecho es consistente con el
resultado que obtuvimos para la exponencial. Para esto consultaremos Euler,
x sen i x cos e
ix
+ =
y usando (1) podemos calcular
|

\
|

+ + |

\
|

+ = = = =
|

\
|
+

2
x sen i
2
x cos e e e e i e D
2
x i
ix
2
i
ix ix

que corrobora (2).

4. Derivadas de

x

Veamos ahora las derivadas de las potencias de x. Comencemos con
p
x (p entero).

p p o
x x D = ,
1 p p 1
px x D

= ,
2 p p 2
x ) 1 p ( p x D

= ,

n p p n
x ) 1 n p ( ) 2 p )( 1 p ( p x D

+ = L (3)

Multiplicando numerador y denominador de (3) por (p-n)! se obtiene

n p p n
x
1 ) 1 n p )( n p (
1 ) 1 n p )( n p )( 1 n p ( ) 2 p )( 1 p ( p
x D


+
=
L
L L

n p p n
x
)! n p (
! p
x D

= (4)
Esta es la expresin general de
p n
x D

Para reemplazar el entero positivo n por un nmero arbitrario usamos la funcin Gamma.
sta nos da un significado para p! y para (p-n)! en (4), cuando p y n no sean nmeros
6
naturales. La funcin Gamma fue introducida por Euler en el siglo XVIII para generalizar la
nocin de z! para valores no enteros de z. Su definicin es

=
0
1 z t
dt t e ) z (

y tiene la propiedad de que (z + 1) = z!.

Podemos ahora arreglar (4)

) 1 n p (
x ) 1 p (
x D
n p
p n
+
+
=

,

que tiene sentido si n no es entero, de manera que podramos escribir

) 1 p (
x ) 1 p (
x D
p
p
+
+
=

(5)

para cualquier . Con (5) podemos extender la idea de la derivada fraccionaria de un gran
nmero de funciones.

Dada cualquier funcin que pueda ser expandida en serie de Taylor en potencias de x.

=
=
0 n
n
n
x a ) x ( f

Si asumimos que podemos derivar trmino a trmino, obtendremos

=

+
+
= =
0 n 0 n
n
n
n
n
x
) 1 n (
) 1 n (
a x D a ) x ( f D (6)

Esta expresin obtenida es una candidata a constituir una definicin de la derivada fraccionaria
de una amplia variedad de funciones, aqullas que pueden ser expandidas en serie de Taylor
en potencias de x. Sin embargo, pronto veremos que conduce a contradicciones.

5. Una misteriosa contradiccin

Escribamos la derivada fraccionaria de e
x
segn

x x
e e D =

(7)

7
Comparemos ahora (7) con (6) para ver si armonizan. De la serie de Taylor se sabe que

=
=
0 n
n x
x
! n
1
e

Aplicando (6) se obtiene

+
=
0 n
n
x
) 1 n (
x
e D (8)

pero (7) y (8) no pueden armonizar a menos que sea un nmero entero. Si es un nmero
entero la parte derecha de (8) ser la serie de e
x
, con diferente indexado. Sin embargo, si no
es un nmero entero tenemos dos funciones completamente diferentes. Hemos descubierto una
contradiccin que histricamente caus grandes problemas. Tal parece que nuestra expresin
(1) para la derivada fraccionaria de la exponencial es inconsistente con nuestra frmula (6)
para la derivada fraccionaria de una potencia.

En este momento podramos preguntarnos qu hacemos ahora? El misterio se resolver ms
tarde. Mantengmonos sintonizados.....

6. Integrales iteradas

Hemos estado tratando con derivadas repetidas. Las integrales tambin pueden repetirse.
Pudiramos escribir

dx ) x ( f ) x ( f D
1


Pero la integral no tiene lmites. En lugar de eso, escribiremos

x
0
1
dt ) t ( f ) x ( f D ,

=

x
0
t
0
2 1 1
2
2
dt dt ) t ( f ) x ( f D

La regin de integracin es el tringulo de la figura 1. Si intercambiamos el orden de
integracin, la parte derecha de la figura 1 muestra que


=

x
0
x
t
1 2 1
2
1
dt dt ) t ( f ) x ( f D

8
t
2
t
1
t
1
t
2
x
x
t
1
t
1

Figure 1

Puesto que f(t
1
) no es funcin de t
2
, puede ser extrada de la integral, de manera que


=
(
(

x
0
x
0
1 1 1 1
x
t
2 1
2
dt ) t x )( t ( f dt dt ) t ( f ) x ( f D
1


o tambin

x
0
2
dt ) t x )( t ( f ) x ( f D

Usando el mismo procedimiento podemos demostrar que

x
0
2 3
dt ) t x )( t ( f
2
1
) x ( f D

x
0
3 4
dt ) t x )( t ( f
3 2
1
) x ( f D

y, en general,

=
x
0
1 n n
dt ) t x )( t ( f
)! 1 n (
1
) x ( f D

Ahora, como hemos hecho antes, cambiemos n por una arbitraria y el factorial por la
funcin gamma. Obtenemos

=
x
0
1
dt
) t x (
) t ( f
) (
1
) x ( f D (9)

A esta integral lleg Liouville y por eso recibe su nombre.

9
Esta es una expresin general (usando una integral) para derivadas fraccionarias que se puede
usar como definicin. Pero hay un problema. Si > -1 la integral es impropia. Esto ocurre
debido a que cuando t x, x t 0. La integral diverge para toda 0. Cuando 1< < 0,
la integral impropia converge, de manera que si es negativa no hay problemas. Puesto que
(9) converge slo para negativa, se trata entonces de una verdadera integral fraccionaria.

Riemann, siendo estudiante, modifica o generaliza la Integral de Liouville cambiando el lmite
0 por b, dando paso a la Integral de Riemann Liouville

=
x
b
1
dt
) t x (
) t ( f
) (
1
) x ( f D para < 0 (10)

Pero, esta expresin slo permite calcular integrales fraccionarias, no derivadas. Riemann
plantea primero aplicar la Integral fraccionaria y luego derivar de forma entera, es decir,

) x ( f D D ) x ( f D
n
x b
n
x b

= n = [R()] + 1

Que significa encontrar la derivada de orden con los lmites de b a x. sta constituye la
primera expresin para la derivada fraccionaria de orden real.

Ejemplo.- Se quiere encontrar la derivada de orden = 6.2

n = [R(6.2)] + 1 = [6.2] + 1 = 7

Por tanto, primero se deriva con orden:

n = 6.2 7 = -0.8

y luego se deriva con orden entero e igual a 7.

Poco tiempo despus Riemann - Liouville cambiaron por - y aparece una nueva
definicin de la derivada fraccionaria con orden fraccionario positivo

= =
x
b
1
x b x b
dt ) t ( f ) t x (
) (
1
) x ( f J ) x ( f D 0 > , t > 0

7. Se resuelve el misterio

La derivada fraccionaria tiene lmites, pues resulta de una integral!

Ahora comenzaremos a ver qu hicimos mal. No nos sorprende que la integral fraccionaria
contenga lmites de integracin, nadie espera que la derivada fraccionaria contenga lmites.
Pensamos en la derivada como una propiedad de la funcin. La derivada fraccionaria,
10
simbolizada por D

incorpora ambas: derivadas ( positiva) e integrales ( negativa). Las

integrales tienen lmites. Esto quiere decir que la derivada fraccionaria tiene tambin lmites.
La razn de la contradiccin es que se usaron dos lmites diferentes. Ahora podemos resolver
el misterio.

Cules son los lmites que trabajarn para la exponencial en (1). Recordemos que queremos
obtener

= =

x
b
ax ax ax 1
x b
e
a
1
dx e e D (11)

Qu valor de b nos permitir obtener esa respuesta? Dado que la integral (11) es realmente
una integral

=
x
b
ab ax ax
e
a
1
e
a
1
dx e

obtendramos la respuesta que queremos cuando 0 e
a
1
ab
=

Esto es as cuando ab = -. De manera que si a es positivo entonces b = -. Este tipo de
integral, con el lmite inferior de -, es denominada derivada fraccionaria de Weyl. En la
notacin (10) podemos escribir (1) como

ax ax
x
e a e D


=

Ahora, qu lmites servirn para la derivada de
p
x en (5). Tenemos

1 p
b
1 p
x
dx x x D
1 p 1 p
x
b
p p 1
x b
+

+
= =
+ +

Otra vez queremos 0
1 p
b
1 p
=
+
+
. Esto es el caso en que b = 0. Concluimos que (5) se debe
escribir de una forma ms clara

) 1 p (
x ) 1 p (
x D
p
p
x 0
+
+
=

11
De manera que la expresin (5) para
p
x D

tiene el lmite inferior cero incorporado. Sin

embargo, la expresin (1) para
ax
e D

tiene - como lmite inferior. Esta discrepancia es por

lo que (7) y (8) no armonizan. En (7) calculamos
ax
x
e D

y en (8) calculamos
ax a
x o
e D .
Si se quisiera continuar con el estudio, recomendamos lo que escribi Miller, as como el
excelente libro de Oldham and Spanier.

8. Derivada fraccionaria segn Grunwald-Letnikov

En 1868, Grunwald-Letnikov dieron otra definicin de Derivada Fraccionaria partiendo de la
definicin formal de derivada entera.

Se conoce que
h
) x ( f ) h x ( f
lim ) x ( f D
0 h
1
+
=

Generalizando
n
n
0 m
m
0 h
n
h
) mh x ( f
m
n
) 1 (
lim ) x ( f D

|
|

\
|

=

=

donde
)! m n ( ! m
! n
m
n

=
|
|

\
|

Sustituyendo n por y sabiendo que

(z + 1) = z!.

+
+
=
h
a x
0 m
m
0 h
x a
) mh x ( f
) 1 m ( ! m
) 1 (
) 1 ( h lim ) x ( f D para > 0


Existe otra definicin para 0.

Por suerte se puede probar que los resultados de Riemann Liouville y Grunwald-Letnikov son
equivalentes.

9. Derivada fraccionaria segn Caputo (1967).

Caputo invierte el orden de la derivacin en el resultado de Riemann Liouville
y aparece otra alternativa para la derivada fraccionaria

12

= =
x
b
1 n
) n (
n n
x b
) t x (
dt ) t ( f
) n (
1
) x ( f D D ) t ( f D n 1 n < < ; N n

10. Media derivada de una funcin simple

Como hemos visto, se pudiera calcular la derivada de
n
x ) x ( f =
segn

+
+
=
n n
x
) 1 n (
) 1 n (
x
dx
d


Calculemos ahora la derivada de orden
2
1
= de f(x) = x, es decir, n = 1.

=
|

\
|

=
+
+
=
2
1
2
1
2
1
1
2
1
2
1
x 2
x
2
3
) 2 (
x
) 1
2
1
1 (
) 1 1 (
x
dx
d


De manera que

=
x 2
x
dx
d
2
1
2
1

Obtengamos la primera derivada repitiendo este proceso

1
) 1 (
2
3
2
x
1
2
1
2
1
1
2
1
2 x 2
dx
d
2
1
2
1
2
1
2
1
2
1
=

\
|

=
|

\
|
+
|

\
|
+

Era el resultado esperado, es decir,

1 ) x (
dx
d
dx
d
2
1
2
1
2
1
2
1
=

11. Derivada fraccionaria de una constante

Pudiramos encontrar, por ejemplo, la derivada fraccionaria de f(x) = 1.
13

Ya conocemos que

+
+
=
n n
x
) 1 n (
) 1 n (
x
dx
d

Supondremos
n
x ) x ( f = con n = 0

) 1 (
x
x
) 1 (
) 1 (
x
) 1 0 (
) 1 0 (
) 1 (
dx
d
) x (
dx
d
0 0

=


=
+
+
= =

Si se quisiera encontrar, por ejemplo, la derivada de orden
2
1
= de f(x) = 1, sera
x
1 x
2
1
x
x
)
2
1
1 (
) 1 (
) 1 (
dx
d
2
1
2
1
2
1
2
1
2
1

=
|

\
|

=


=

Derivada de una constante C

Ahora la derivada de orden
2
1
de C sera
x
C
) 1 (
dx
d
C ) Cx (
dx
d
2
1
2
1
0
2
1
2
1

= =


12. Transformada de Laplace de la derivada fraccionaria de una funcin

Las transformadas de Fourier y Laplace, que permiten transformar del dominio tiempo al
dominio frecuencia, pueden ser usadas para obtener generalizaciones de la derivada vlida
para funciones que siguen tales transformaciones.

La Transformada de Laplace se define segn

= =
0
st
dt e ) t ( f ) s ( F )] t ( f [ L

Y la Transformada Inversa

14

= =
j
j
st 1
ds e ) s ( F
j 2
1
) t ( f )] s ( F [ L


Una importante propiedad de la Transformada de Laplace se refiere a la n sima derivada de
la funcin f(t).

=

=
1 n
0 i
) i ( i 1 n n n
) 0 ( f s )] t ( f [ L s )] t ( f D [ L

Si las condiciones iniciales son nulas (los trminos de la sumatoria son cero) se obtiene una
expresin simple
) s ( F s )] t ( f [ L s )] t ( f D [ L
n n n
= =
Generalizando
) s ( F s )] t ( f D [ L

=

De manera que la derivada generalizada se puede ahora expresar como

)]} t ( f [( L s { L ) t ( f D
1
=

Un resultado muy interesante, pues aparece una nueva expresin para la derivada fraccionaria
de una funcin f(t).

Teniendo en cuenta el resultado de la derivada fraccionaria de la exponencial

at at
e a e D

=

se puede comprobar la generalizacin de la derivada anterior.

Se sabe que f(t) = L
-1
{L[f(t)]}, por tanto

)]} t ( f [ L { L D ) t ( f D
1
= =
|
|
|

\
|

=

+

j
j 0
st st
ds dt ) t ( f e e
j 2
1
D


+

=
j
j 0
st st
ds dt ) t ( f e e D
j 2
1
=

+

j
j 0
st st
ds dt ) t ( f e e s
j 2
1


)]} t ( f [ L s { L ) t ( f D
1
=

15
Transformada de Laplace de la derivada fraccionaria de una funcin con
condiciones iniciales no nulas

Habamos escrito

=

=
1 n
0 i
) i ( i 1 n n n
) 0 ( f s )] t ( f [ L s )] t ( f D [ L

Generalizando este resultado para cualquier orden 0 > . Sea m el menor nmero natural
mayor o igual a

=
=

= = =
1 m
1 i
0 t
) m ( i 1 i m m m m m
| ) t ( f D [ D s )] t ( f D [ s )] t ( f D ( D [ L )] t ( f D [ L
) 0 ( f D s ) s ( F s ) 0 ( f D s ) s ( F s [ s
) m ( i
1 m
1 i
1 i m
1 m
1 i
) m ( i 1 i m ) m ( m

=


= =

Finalmente

) 0 ( f D s ) s ( F s )] t ( f D [ L
) m ( i
1 m
1 i
1 i m

=

Con este resultado se pueden generalizar los teoremas del valor inicial y final

) s ( F s lim ) 0 ( f
s
1


= Re(s) > 0

) s ( F s lim ) ( f
o s
1

= Re(s) > 0

13. Transformada fraccionaria de Fourier

Se conoce que la transformada entera de Fourier tiene la forma

= = dt ) t ( f e ) ( F )] t ( f [ F
t j

y la Transformada inversa

= d ) ( F e
2
1
)] ( F [ F
t j 1


16
Esta transformada tiene una propiedad anloga para la n sima derivada

)] t ( f [ F ) j ( )] t ( f D [ F
n n
=

Y la derivada puede generalizarse, de manera que esta propiedad se mantiene cierta para un
orden no entero . ( m ). Entonces

)] t ( f [ F ) j ( )] t ( f D [ F

=

Por tanto aparece una nueva definicin de derivada fraccionaria

)]} t ( f [ F ) j {( F ) t ( f D
1
=

Se pudiera demostrar esta nueva definicin de la Derivada Fraccionaria de la misma forma que
con la transformada de Laplace.

En estas dos generalizaciones se pueden determinar los lmites de la derivada. En el caso de la
Transformada de Laplace se trata de una derivada generalizada de Riemann Liouville con el
lmite inferior 0. Mientras en el caso de la transformada de Fourier se trata de una derivada
fraccionaria de Weyl.

Esas nuevas definiciones de la derivada generalizada permiten hacer los clculos ms
cmodamente. Un ejemplo donde esto se muestra es el clculo de las derivadas fraccionarias
de orden 0, 0.1, 0.2,. 4 de la funcin conocida como Campana de Gaus realizado en Matlab
y que constituye el Anexo # 1.

14. Convolucin

Lo visto hasta ahora sugiere que la derivada fraccionaria sea formulada en trminos de
convolucin. El siguiente desarrollo muestra cmo, despus de todo, la derivada fraccionaria
de una funcin es su convolucin con cierta funcin

) (
x
) x (
1

=

La convolucin de Laplace de esta funcin con f(x) nos resulta la derivada de Liouville de
orden .






=

= =
x
0
x
0
1
) x ( f D dt ) t ( f
) (
) t x (
dt ) t ( f ) t x ( ) x ( f ) x (


17
Esto permite encontrar resultados de forma muy simple. Por ejemplo, si se quiere encontrar

=

) t ( L
1
) 1 (
+
+

=
|
|

\
|

= s
) (
t
L )] t ( [ L
1

Y, como la transformada de Laplace de la convolucin de dos funciones es el producto de las
transformadas de Laplace de estas dos funciones, en el caso de que f(x) cumple los
requerimientos conocidos, pudiramos encontrar, de otra forma, la expresin de la derivada
fraccionaria de una funcin f(x).





=

= =
x
0
x
0
1
) x ( f D dt ) t ( f
) (
) t x (
dt ) t ( f ) t x ( ) x ( f ) x (

Entonces la transformada de la funcin ) x (

( )
1
t
) 1 (
x L
+

+
= ( )

= t
) (
x
L ) x ( L
1


15. Frmula Integral de Cauchy

A travs de la Frmula Integral de Cauchy tambin se puede arribar a la Derivada
Fraccionaria, pues sta permite realizar integraciones sucesivas.

=

t
a
1 n
n , a
d ) ( f ) t (
)! 1 n (
1
) t ( F t > a ;
1
Z n
>


La Frmula de Cauchy es una integral de Convolucin donde el ncleo de la convolucin es

)! 1 n (
t
) t (
1 n
n

= =

t
a
1 n
n , a n , a
d ) ( f ) t (
)! 1 n (
1
) t ( f ) t ( ) t ( F
Generalizando, si
0
R
>
se puede definir

=

t
0
1
d ) ( f ) t (
) (
1
) t ( f D

16. Derivada fraccionaria de funciones continuas temporales

18
En lugar de partir de una definicin de la derivada fraccionaria vamos a invertir el problema
y tomar la Transformada de Laplace como punto de partida. Intentaremos extender la
secuencia:
n 2 1 2 n
s , , s , s , 1 , s , s , s L L



con el fin de incluir otros tipos de exponentes, en general, reales (e, incluso, complejos). Se ve
inmediatamente que existen dos formas de obtener esta extensin dependiendo de la seleccin
de la regin de convergencia de la Transformada de Laplace (semiplanos derecho e izquierdo).

Comencemos por considerar ambos casos con potencias enteras y obtengamos las inversas
correspondientes. Con estos casos formamos la siguiente tabla donde ) t ( es la funcin
impulso de Dirac y u(t) es la funcin escaln de Heaviside.

n
s

2
s

1
s

1 s 2
s
n
s

causal
Re(s) > 0

)! 1 n (
) t ( u t
1 n

tu(t) u(t) ) t (

) t ( '

) t ( ' '
) t (
) n (

anti-
causal
Re(s) < 0

)! 1 n (
) t ( u t
1 n

-tu(-t) u(-t) ) t (

) t ( '

) t ( ' '
) t (
) n (

Para obtener la diferintegracin de una funcin dada slo tenemos que establecer la
convolucin de sta con la funcin presentada en cada fila.

Esto equivale a decir que la diferintegracin de orden n (n entero) est dada por

=

d ) t ( ) ( f ) t ( f
) n ( ) n (


donde ) t (
) n (
est dada, en el caso causal, por

<

>
=

0 n si
)! 1 n (
) t ( u t
0 n si ) t ( de derivada sima n La
) t (
1 n ) n (


Para definir la derivada fraccionaria debemos generalizar para el caso de n no entera.
Precisemos primero el significado de ) s ( L ) t (
1 ) (
= . En el caso general,

) 1 0 ( < + = , de manera que solo tenemos que considerar el caso 1 0 < < , pues

+
= = s s s s .


) t ( ) t ( ) t (
) ( ) (
=
19

Y la solucin sera

) (
) t ( u t
) t (
1
) (

=

+
para el caso causal.
Es fcil demostrar que

) (
) t ( u t
) t (
1
) (


=

es la solucin para el caso anticausal.

En lo adelante consideraremos el caso causal y usaremos la notacin ) t ( x ) t ( x D
) (
= , donde
x(t) es una funcin de orden exponencial con Transformada de laplace X(s). Presentaremos
tres interesantes propiedades de las que posee la diferintegracin.

- Propiedad de semi-grupo

) t ( x D ) t ( ) t ( x ) t ( ) t ( ) t ( x ) t ( x D D
) ( ) ( + +
= = =

Si = podemos concluir que la diferenciacin fraccionaria y la integracin fraccionaria
son operaciones inversas, tal como suponamos.

- Propiedad de la generalizacin de la frmula de Cauchy

) s ( X ) 1 ( )] t ( u ) t ( x t [ L

=

con

+
=
j a
j a
1
dz ) z ( X ) s z (
j 2
) 1 (
) s ( X ) s Re( a 0 < <

- Propiedad de la diferintegracin del producto de dos funciones

=

|
|

\
|
=
0 k
) k ( ) k (
) t ( y ) t ( x
k
)] t ( y ) t ( x [ D
! k
) ( ) 1 (
k
k k

=
|
|

\
|


sta es la frmula de Leibnitz para la diferintegracin del producto de dos funciones.

Hasta ahora hemos considerado diferintegracin de funciones con Transformada de Laplace
donde se excluyen, por ejemplo, la sinusoide definida en todo el tiempo u otras seales
similares que tienen transformada de Fourier, pero no de Laplace.

20
Comenzaremos por notar que la Transformada de Fourier de la funcin Signo es

=
j
2
)] t [sgn( F .
Con esto podemos presentar una tabla similar a la anterior.

n
) j (


2
) j (


1
) j (


1 j 2
) j (
n
) j (


)! 1 n (
) t sgn( t
2
1
1 n

) t sgn( t
2
1
) t sgn(
2
1

) t ( ) t ( ) t (
) t ( ) t ( ' ) t ( ' '
) t (
) n (




Esta tabla nos sugiere la siguiente definicin de la diferintegracin de ) t ( .

) ( 2
) t sgn( t
) t (
1
) (
0

=

Esta frmula puede ser considerada como el significado aritmtico de la diferintegracin
causal y anticausal si extendemos su regin de convergencia de manera que incluya el eje
imaginario.

17. Derivada fraccionaria de funciones peridicas

Enfrentemos el problema de la derivada fraccionaria de una funcin peridica ) t ( x
p
. Estas
funciones no tienen Transformada de Laplace, pero si tienen Transformada de Fourier. Una
funcin peridica dada, con perodo T, puede ser considerada como una suma de la forma
bsica con versiones con diferentes atrasos. La expresin matemtica sera



=

=
= =
n n
p
) nT t ( ) t ( x ) nT t ( x ) t ( x

Que nos lleva a

=

= =
n n
) (
o
) (
o p
) nT t ( ) t ( x ) nT t ( x ) t ( x D

Lo que muestra que la diferintegracin de una funcin peridica puede ser obtenida por la
convolucin de ella con la diferintegracin de la seal peine. Para obtener la
correspondiente serie de Fourier debemos encontrar la diferintegracin de
t j
0
e

para R t

t j
o
) ( t j
o o
e ) j ( ] e [

=
) ( 2 ] e [ F
o
t j
o
=

21

Lo que nos conduce a

)] ( ) j ( * 2 [ F ] e [
o
1 ) ( t j
o
=



Transformando por Fourier la derivada fraccionaria de funcin peridica



=

=

=

= = =
n n
nT j
p p
)
T
n 2
( ) j )( ( X
T
2
e ) j )( ( X ) ( X ) j ( )] t ( x D [ F

=




= =
n
p p
)
T
n 2
( )
T
n 2
j )(
T
n 2
( X
T
2
) ( X ) j ( )] t ( x D [ F
La transformada inversa de Fourier sera

=

=
n
t jn
n o p
o
e C ) jn ( ) t ( x D

Generalizando as la serie ordinaria de Fourier.

18. La funcin de Mittag Leffler

En 1905 Mittag Leffler (M-L) define la funcin de dos parmetros ) t ( E
,
con E
mayscula recordando la funcin e de Euler.

=

+
=
0 k
k
,
) k (
t
) t ( E 0 , >

Y para un parmetro, con 1 =

+
=
0 k
k
) 1 k (
t
) t ( E 0 >

Esta funcin de M-L se comporta como una solucin natural de ecuaciones diferenciales
lineales fraccionarias, es la equivalente a la exponencial de las ecuaciones diferenciales
lineales ordinarias. Se trata, en fin, de una generalizacin de la exponencial, pues

=
= =
+
=
0 k 0 k
t
k k
1 , 1
e
! k
t
) 1 k (
t
) t ( E

22
Una funcin M-L que nos interesa es

=
0 k
k
) 1 k (
) t (
) t ( E

pues, su Transformada de Laplace es

| |
1 s
s
) t ( E L
1
+
=

Se podra encontrar una expresin ms general

+
=
(
(

|
|

\
|
|

\
|

b s
s
b
t
E L
1


Si hacemos

= b a con b>0; a>0 resulta

| | | |
a s
s
) at ( E L ) t b ( E L
b
t
E L
1
+
= = =
(
(

|
|

\
|
|

\
|

19. Derivada fraccionaria de la exponencial causal

Este caso es excepcionalmente importante, pues aparece en el clculo de las respuestas a
impulso y escaln de sistemas lineales causales (no consideraremos el caso de derivacin
entera). Tenemos que




=

=

t
0
at 1
t
0
at a 1 at
d e
) (
1
e d e ) t (
) (
1
)] t ( u e [ D 0 t

Representaremos esta funcin por ) a , t ( E

, con ) t ( u e ) a , t ( E
at
o
= , ) t ( ) 0 , t ( E
1

= . La
regla generalizada de Leibnitz nos permite obtener directamente la serie de potencias para
) a , t ( E

. Solo debemos hacer x(t) = u(t) y y(t) = e

at

en la diferintegracin de un producto
(ver esto)

Entonces, como
) 1 (
t
) t ( ) t ( u
) 1 ( ) (

= =


(El impulso unitario es la derivada del escaln
unitario)

23

+ +
|
|

\
|
=
0
k
k
at
a
) 1 k (
t
k
e ) a , t ( E que, despus de alguna manipulacin se obtiene

=
0
k k
at
) t ( u
) k ( ! k
) at ( ) 1 (
e t ) a , t ( E
Esto muestra que la derivada fraccionaria de la exponencial causal no es continua en el origen
y tiende al infinito. Esto tiene importantes implicaciones en la aplicacin a sistemas lineales.
La Transformada de Laplace se puede obtener fcilmente

a s
s
)] a , t ( E [ L

Re(s) > Re(a)

Como Re(s) > Re(a), entonces podemos trabajar en la regin a s > y se puede escribir

=
0
1 n n
s a )] a , t ( E [ L a s >
que es un caso especial del teorema de Hardy, que plantea:

Sea la serie

+ + =
0
1 n
n
s ) 1 n ( a ) s ( F
Es convergente para Re(s) > s
o
> 0 y 1 > . Las series

+
=
0
n a
n
t a ) t ( f

Converge para toda t > 0 y F(s) = L[f(t)]













24
Anexo 1

function [y] = fderiv(d,r,h)
% Calcula la derivada fraccionaria de una funcin dada como un vector
% Esta funcin calcula la derivada fraccionaria de order d de la
% funcin r(t). Se asume que el vector r contiene las muestras
% de la seal r(t) continua a la cual le calcularemos la
% derivada fraccionaria. h es el perodo de muestreo de r(t)
% y debe ser suficientemente pequea en el sentido del teorema
% de muestreo de Nyquist.
% y(t) es la derivada numrica de r(t) con el mismo muestreo de r(t)
% La derivada se realiza con la definicin de Grnwald-Letnikov.
% El primer elemento del vector "r", i.e. r(1),es siempre cero.
% d : orden de la derivada fraccionaria
% r : seal muestreada a derivar
% h : perodo de muestreo

temp = 0;
for i=1:length(r)
for j=0:i-1
temp = temp+(-1)^j*(gamma(d+1)/(gamma(j+1)*gamma(d-j+1)))*r(i-j);
end
y(i) = temp;
temp = 0;
end
y = y/(h^d);


25
Anexo 2

function [numF,denF]=aproximafraccional(alfa,w,nb,na)
% Encuentra una funcin de transferencia entera que se
% aproxima a una funcin de transferencia fraccionaria deseada
% [numF,denF]=aproximaFraccional(alfa,w,nb,na)
% -10dec < w < +10dec del w0
% alfa>0 => Derivada. alfa<0 => Integracin
% nb = > orden del numerador.
% na => orden del denominador nb=na-1
% sys = tf(numF,denF)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%
% 1. Definicin de la funcin de transferencia aproximada
j = sqrt(-1);
G = zeros(size(w));
for i=1:length(w)
G(i) = ((exp(j*(pi/2)*alfa))*(w(i)^alfa));
end
% 2. Aproximacin en frecuencias
[numF,denF] = invfreqs(G,w,nb,na);








26
Anexo 3

%%% Derivada fraccionaria (10/3/07)
%%% Calcula y traza las graficas de las derivadas
%%%fraccionarias desde 0 : 0.1 : 4 de la Campana de Gaus

clear all;
set( gcf, 'Renderer', 'zbuffer' );

dim = 256;
ramp = [-dim:dim-1];
ramp = pi * ramp/dim;
f = exp( -(ramp.^2)/(0.5) ); % Gaus
f = f - mean(f); % valor medio
F = fftshift(fft(f)); % Transformada de Fourier
%%% orden de la derivada fraccionaria
for n = 0 : 0.1 : 4
Fn = (j * ramp).^n .* F; % multiplicamos por ramp^n
fn = ifft( fftshift(Fn) ); % Transformada inversa de Fourier
if( mean( abs(imag(fn)) ) > 1e-5 ) % Para seales reales
fprintf( 1, 'Componente imaginario no cero (%f)\n', mean(abs(imag(fn))) );
return;
end
fn = fn / max(abs(fn)); % Normaliza

t = sprintf( '%0.2f', n ); % PLOT...
plot( real(fn) );
text( 20,1.0, sprintf( '%0.2f', n ) );
axis( [0 2*dim -1.2 1.2] ); axis square;
h = line( [dim dim], [-1.2 1.2] );
set( h, 'LineStyle', ':' );
drawnow;
if (n==fix(n)) & (n<4)
pause
end

end