U NIVERSIDADE E STADUAL DE M ARING

P S -G RADUAO EM F SICA

Aluizio Torres da Silva

Problemas de Contorno Envolvendo as

Equaes de Difuso Normal, Fracionria e
Fracionria No-Linear

Tese apresentada PsGraduao em Fsica da

Universidade Estadual de
Maring para obteno do
ttulo de Doutor em Fsica.

Orientador: Prof. Dr. Ervin Kaminski Lenzi

Co-Orientador: Prof. Dr. Luiz Roberto Evangelista

Maring
2009

Agradecimentos

Deus, que caminho, verdade e vida, por ter mantido esta chama acesa e na direo desejada, mesmo quando ventos desfavorveis tentaram apag-la e obstculos que
impediam de trafegar no caminho correto se interpuseram, meu louvor e ao de graas.
Imaculada Conceio de Maria, por ter orientado-me no rumo correto em minhas
decises, minha eterna devoo.
minha famlia, pela compreenso dos momentos em que necessitei para os meus
estudos, principalmente Cidinha, esta companheira de todas as horas.
Ao departamento de Fsica, pela compreenso e apoio durante o transcorrer dos
estudos.
Akiko, pela pacincia e por ser prestativa em todos os momentos.
Aos colegas Roberto e Rodolfo, que sempre me auxiliaram em minhas dvidas.
Ao meu co-orientador, Prof. Luiz Evangelista, que nunca me negou a sua ajuda,
mesmo quando os momentos no eram satisfatrios, sempre me deu fora nesta etapa da
minha vida, s Deus poder retribuir-lhe; obrigado meu amigo e professor.
Ao meu orientador Prof. Ervin, por ser essa pessoa maravilhosa que me deu fora,
apoio e ajuda sempre que necessitei.

2
"ber Diffusion"

"...Diffusion von Wasser durch Membranen nicht

nur ein wesentlicher Faktoren des Lebens ist, sondern
auch einen extrem interessanten physikalischen Prozess
darstellt, der viel mehr Beachtung durch Physiker
erfahren sollte als es bisher der Fall ist ..."

Adolf Fick (1829 - 1901)

Sumrio

1 Difuso

14

1.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

1.2

Difuso unidimensional . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

1.2.1

Aplicao da transformada de Fourier equao de difuso . . .

20

Equao de difuso e a funo de Green . . . . . . . . . . . . . . . . . .

26

1.3

2 Difuso Anmala

30

2.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

2.2

Equao linear fracionria unidimensional: derivada no tempo . . . . . .

32

2.2.1

Meio finito (limitado): barreiras absorventes . . . . . . . . . . .

36

2.2.2

Meio finito (limitado): barreiras refletoras . . . . . . . . . . . . .

37

2.2.3

Sistema Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . .

38

Equao linear fracionria unidimensional: derivada no espao . . . . . .

42

2.3

3 Equao de difuso fracionria no linear com fora externa e termo absorvente

46

3.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

3.2

Equao de difuso fracionria no linear com dependncia temporal . . .

49

3.3

Equao de difuso fracionria no linear com dependncia espacial . . .

51

4
4 Equao de difuso fracionria com simetria radial

60

4.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

60

4.2

Equao de difuso fracionria . . . . . . . . . . . . . . . . . . . . . . .

62

5 Concluso e consideraes finais

71

A Funes Especiais

73

A.1 Operador Fracionrio de Riemann-Liouville . . . . . . . . . . . . . . . .

73

A.2 Derivada Fracionria de Caputo . . . . . . . . . . . . . . . . . . . . . .

75

A.3 Funo H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

76

A.4 Funes de Mittag-Leffler . . . . . . . . . . . . . . . . . . . . . . . . .

78

A.5 Funo de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

79

A.5.1 Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . .

80

A.5.2 Expanso da Funo de Green em Autofunes . . . . . . . . . .

81

B Passeio aleatrio

84

C Difuso Fracionria Radial em um Cilindro

87

Bibliografia

97

Lista de Figuras

1.1

Um tubo estreito de comprimento infinito com gua, onde foi introduzida uma
quantidade de corante em uma posio z0 . . . . . . . . . . . . . . . . . . . .

1.2

21

As curvas mostram a evoluo temporal da distribuio (z, t) no regime difusivo

unidimensional. (a) a distribuio para diferentes intervalos de tempos; (b) para
valor diferentes do coeficiente de difuso; (c) a rea que est variando; (d) para
diferentes valores de massa. . . . . . . . . . . . . . . . . . . . . . . . . . .

25

1.3

Volume V delimitado por uma superfcie S . . . . . . . . . . . . . . . . . . .

26

1.4

O grfico descreve o comportamento da funo G(r, t) em relao a r para diferentes intervalos de tempo. . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1

Comportamento de (4Dt )1/2 G (x, t) versus x/(4Dt ), para valores tpicos

de . Para igual a 0,5 e 0,8 difuso anmala e para igual 1,0 difuso normal.

2.2

29

42

Comportamento de (Dt) L (x, t) versus x/(Dt) , para valores tpicos de .

A derivada fracionria na varivel espacial caracteriza um processo superdifusivo
do tipo Lvy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

6
3.1

Mostra o comportamento de [(t)]d (r, t) versus r/(t) para valores caractersticos de , 0 , e na ausncia de termo absorvente (fonte). Por simplicidade,
estamos considerando n = 1 e d = 1. Observa-se que, dependendo da escolha
especfica destes parmetros, podemos ter uma cauda compacta (a) (b = 1) ou
uma cauda longa (b) (b = 1). . . . . . . . . . . . . . . . . . . . . . . . . .

4.1

56

Comportamento de G(r, t) versus r obtido a partir da Eq. (4.9) para um valor

tpico de e . Para simplificar, estamos considerando D = 1, t = 1, N = 3,
a = 1 e b = 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2

66

Comportamento de S(t) versus t a fim de ilustrar a Eq. (4.15) para valores tpicos
de N , e . Por simplicidade, consideramos as condies de contorno (a, t) =
0 e (b, t) = 0, D = 1, a = 1, b = 3, e (r, 0) = (r 3/2)/rN 1 . . . . . . .

70

B.1 Modelo de caminhantes aleatrios com espao e o tempo contnuos (CTRW).

esquerda, processo CTRW sobre uma rede em duas dimenses, uma generalizao da situao Browniana. O tempo de espera simbolizado por crculos, onde
o dimetro de cada crculo proporcional ao tempo de espera que deve ser gasto
em um determinado stio, antes que o evento do prximo salto ocorra. O comprimento dos saltos tem valor fixo. direita, temos o diagrama (x,t) de um processo
CTRW unidimensional [13]. . . . . . . . . . . . . . . . . . . . . . . . . . .

85

C.1 Difuso em um cilndro de raio R. . . . . . . . . . . . . . . . . . . . . . . .

87

C.2 Variao da concentrao com a distncia, conforme a Eq. C.21 . . . . . . . .

96

C.3 A amostra total difundida em relao ao parmetro , conforme a Eq. C.29 . . .

96

C.4 O segundo momento da distribuio da concentrao em funo do parmetro ,

conforme a Eq. (C.32). . . . . . . . . . . . . . . . . . . . . . . . . . . . .

97

Resumo

Este trabalho versa sobre difuso anmala, dando nfase a problemas de contorno
envolvendo as equaes de difuso normal, fracionria e fracionria no linear. Investigamos vrias equaes de difuso que estendem do caso usual at a difuso fracionria no
linear em N -dimenses, para a qual consideramos um coeficiente de difuso com dependncia espacial e temporal. Para essas equaes, obtivemos uma nova classe de solues,
que est relacionada com o comportamento da cauda da funo. A soluo desta equao pode ser expressa em termos das funes q-exponenciais e q-logaritmicas, presentes
no contexto da termoestatstica generalizada (formalismo de Tsallis). Tambm consideramos uma fora externa e um termo de fonte cuja soluo obtida mostra uma difuso
no usual na distribuio e, dependendo da escolha dos parmetros, pode apresentar uma
cauda longa ou compacta, que pode estar relacionada difuso anmala. Neste sentido,
pensando no formalismo de caminhantes aleatrios, correspondem uma mudana na distribuio do tempo de espera entre saltos. Em um segundo momento, analisamos um
contexto com equao de difuso fracionria em N -dimenses com simetria radial, limitada a uma regio e sujeita s condies de contornos pertinentes. Tambm estudamos a
mudana originada nesta equao pela incluso do coeficiente de difuso com dependncia temporal e o termo de reao e, com isso, produzindo diferentes regimes difusivos na
soluo. Esperamos que os resultados encontrados sejam teis para estudar sistemas onde
a difuso anmala esteja presente.

Abstract

This work is concerned with anomalous diffusion, emphasizing boundary-value problems involving normal, fractional and fractional non-linear diffusion equations. We investigate several diffusion equations that extend the usual case to the fractional non-linear
diffusion equation in N -dimensions, for which we consider a diffusion coefficient with
spatial and time dependencies. For these equations, we obtain a new class of solutions,
which is related to the behavior of the tail of the function. The solutions of these equations can be expressed in terms of q-exponential and q-logarithmic functions, present in
the context of the generalized thermostatistics (Tsallis formalism). In addition, we consider the effect of an external force and a source term whose obtained solution exhibits an
unusual spreading in the distribution and, depending on the choice of parameters, may
lead to long or compact tail, which can be related to anomalous diffusion. In this sense,
having in mind the random walk formalism, this scenario may correspond to a change in
the distribution of waiting time between jumps. In a second moment, we analyze a framework with fractional diffusion equation in N -dimensions with radial symmetry, confined
to a limited region and subjected to appropriate boundary conditions. We study furthermore the changes arising from the inclusion of a time dependent diffusion coefficient and
a reaction term in this equation, thus producing different diffusion regimes in the solution.
We expect that the obtained results may be useful for studying systems where anomalous
diffusion is present.

Introduo

Neste trabalho, desenvolvido um estudo sobre difuso anmala, e pretendemos

estabelecer de uma forma geral uma classe de solues para a equao de difuso no
linear em N -dimenses com derivada fracionria na varivel temporal, e tambm considerando a simetria radial do problema em estudo, bem com a ligao destas equaes com
outros formalismos, tais como: caminhante aleatrio com tempo contnuo e a abordagem
de Langevin. A difuso anmala um tema muito amplo e seu estudo envolve vrias
vertentes; neste sentido, vamos situar os tpicos desenvolvidos neste estudo partindo da
difuso normal.
O processo de difuso um fenmeno muito comum na natureza e, em geral, ocorre
quando um sistema encaminha-se para o estado de equilbrio. Seja ela normal ou anmala,
o resultado de um movimento totalmente irregular em nvel microscpico, devido s
interaes entre seus constituintes e o meio no qual estes esto, mas apresentando uma
regularidade macroscpica. Um dos processos difusivos muito comuns na natureza, o
movimento Browniano.
A difuso pode ser vista como um processo no qual potencial qumico tende a se
igualar em todos os pontos do sistema com o passar do tempo; ela deve ocorrer das regies onde o potencial qumico de uma dada substncia maior para as regies onde este
potencial seja menor, tais como: a difuso de um soluto num solvente, de fumaa atravs do ar, dos nutrons num reator nuclear, dos eltrons atravs de um condutor, do calor
atravs de uma superfcie. Em todos esses processos, ocorre a difuso de uma substn9

10
cia atravs de outra quando o sistema no est em equilbrio. Uma grande variedade de
problemas difusivos na natureza, normalmente os referidos como difuso normais, so
satisfatoriamente descritos pelo equao linear de Fokker-Planck [1].
Entretanto, existem situaes em que o processo difusivo se diferencia das caractersticas de um movimento Browniano, ou seja, da difuso normal. Neste caso, a difuso
ser considerada anmala, pois houve um desvio no seu comportamento. Um marco no
estudo da difuso anmala o tratado de Richardson sobre difuso turbulenta, de 1926 [2].
J no contexto da teoria de transportes, esse tipo de difuso tem sido mais largamente estudado desde o final da dcada de 60. Por outro lado, questes relacionadas difuso
anmala tm-se mostrado de grande interesse e aplicao em vrias reas do conhecimento, tais como: fsica, engenharia, biologia e economia. Esse tipo de difuso ocorre
tipicamente em situaes como transporte de um fluido atravs de um meio poroso [3],
histograma obtido a partir das batidas do corao de um indivduo saudvel [4], nas flutuaes de sistemas financeiros [5] e micelas dissolvidas em gua salgada [6]. Na maioria
das vezes em que est presente a difuso anmala, como aquelas mencionadas acima, podem ocorrer duas situaes:
(i) a varincia pode no ser finita, por exemplo, a do tipo Lvy, embora apresente um
ndice bem definido que caracteriza o comportamento anmalo;
(ii) a difuso anmala correlacionada, que apresenta um segundo momento (hz 2 i) finito .
Uma grande parte dos processos de difuso que se comportam de maneira anmala tem
como caracterstica
hz 2 i t
onde hz 2 i o deslocamento quadrtico mdio ou segundo momento, com <1 para um
processo sub-difusivo, = 1 descrevendo um processo de difuso normal e >1 correspondendo ao processo de superdifuso. A equao dinmica que interpola tanto o processo de difuso que se comporta de maneira anmala, do tipo correlacionado (segundo
momento finito), bem como o de Lvy, em que o segundo momento diverge, na presena

11
de uma fora externa F (r, t) e de um termo de fonte externa (t) [7], da forma:

(r, t) =
t
|r|

D(r, t) [(r, t)]

[(r, t)]
|r|1

{F (r)(r, t)} + (t) [(r, t)]

t

onde (r, t) a funo densidade de probabilidade, D(r, t) o coeficiente de difuso

dependente do espao e do tempo, 1 /|r|1 a derivada fracionria de RiemannLiouville, F (r) uma fora externa, (t) um termo de reao e , , , , 0 R.
Caminhos aleatrios, equao mestra e equaes generalizadas de Langevin podem
ser relacionadas difuso anmala correlacionada (segundo momento finito) e de Lvy.
Entretanto, o emprego de equaes diferenciais parciais descrio da difuso anmala
proporciona um tratamento mais simples quando fontes (ou sumidouros) e campos externos forem aplicados ao sistema.
De forma geral, a difuso usual descrita por um modelo local, ou seja, em pequenas escalas de tempo; a evoluo da funo densidade em uma dada posio afetada apenas por pontos prximos no espao. Em alguns casos, porm, essa suposio
no se aplica, levando a inconsistncias na definio do coeficiente de difuso. Dito de
outra maneira, mesmo em pequenas escalas de tempo a evoluo da funo densidade
em uma dada posio pode ser afetada por pontos distantes no espao, caso, por exemplo, do transporte turbulento na camada limite convectiva. Uma ferramenta que pode ser
usada para descrever esta ltima classe de fenmenos baseada no clculo fracionrio,
no qual operadores diferenciais no locais podem ser empregados para levar em conta as
correlaes espaciais. Este procedimento, que leva a equaes de difuso fracionrias,
tem sido amplamente investigado para descrever difuso anmala. As equaes de difuso fracionrias so frequentemente consideradas como um procedimento alternativo
para modelos de caminhada aleatria com tempo contnuo, equaes de Langevin generalizadas ou equaes mestra generalizadas. Assim, equaes de difuso fracionrias, ou
equaes de Fokker-Planck fracionrias, tm sido consideradas por diversos autores com

12
diferentes propsitos, seja com derivadas fracionrias temporais, com derivadas fracionrias espaciais ou mesmo incluindo derivadas fracionrias temporais e espaciais, com termo
absorvente (fonte) e fora externa aplicada ao sistema [8]. A termoestatstica generalizada,
baseada na entropia no extensiva de Tsallis, aparenta ser um ambiente natural tanto para
a difuso anmala correlacionada como para a difuso anmala do tipo Lvy [9].
A estrutura deste trabalho est desenvolvida na seguinte forma: No primeiro captulo, faz-se uma abordagem da difuso normal utilizando diferentes ferramentas, tais
como: mtodo de separao de variveis, aplicao da transformada de Fourier e usando
as propriedades da funo de Green. Mas, em ambos os casos, obtemos o mesmo resultado
que uma distribuio gaussiana [1012].
No segundo captulo, abordamos o processo difusivo anmalo que emprega derivadas fracionrias tanto nas variveis temporais quanto espacial. No primeiro caso, trabalhamos com a difuso anmala correlacionada, que possui o segundo momento finito e
que emprega a derivada de Riemann-Lioville, cuja aplicao ocorre em vrias situaes
de interesse fsico, tais como, relaxao ao equilbrio em sistemas com memria temporal
longa (por exemplo, cadeias de polmeros e membranas) [13], na descrio de transporte
anmalo em sistemas desordenados [14] e modelagem de processos dinmicos no markovianos em protenas [15]; neste processo difusivo, suas solues esto associadas a uma
distribuio do tipo Boltzmann-Gibbs [16]. No segundo caso, trabalhamos com um processo difusivo cujo segundo momento no finito, sendo caracterizado pelas distribuies
de Lvy, soluo que satisfaz o teorema de Lvy-Gnedenko [17], e est relacionada com a
distribuio que emerge da termoestatstica no extensiva.
No terceiro captulo, dedicamos nosso trabalho ao estudo de solues para a equao
de difuso fracionria no linear em N -dimenses, que surge a partir da equao da continuidade pela incorporao de um termo absorvente. A soluo obtida mostra uma difuso
no usual na distribuio e que tambm apresenta uma cauda compacta ou longa que pode
estar relacionada difuso anmala. Alm disso, expressamos nosso resultado em termos
das funes q-exponencial e q-logartmica presentes no formalismo de Tsallis [18].
Finalmente, no

quarto captulo, fazemos

aplicaes da equao fracionria na

13
difuso anmala, e a ligao dela com outros formalismos; a motivao para esse estudo
compreender suas aplicaes num contexto onde reina um comportamento no convencional [19].
Em resumo, o objetivo deste trabalho foi o de procurar solues exatas para a equao de difuso fracionria em dois contextos gerais. No primeiro, consideramos um sistema infinito com simetria radial, tanto na presena de fontes (campos externos) quanto
na ausncia desses termos, para uma situao descrita por uma equao no-linear. No
segundo contexto, a equao de difuso fracionria foi resolvida para um sistema limitado por duas superfcies cilndricas. Nesse ltimo caso, as paredes que limitam o sistema
apresentam condies de contorno inomogneas e o fenmeno de adsoro pde ser incorporado ao formalismo. Este trabalho foi todo ele desenvolvido no Departamento de Fsica
da Universidade Estadual de Maring, no mbito do grupo de fsica terica.

Captulo

Difuso
Um fenmeno fsico muito importante o da difuso de alguma substncia atravs
de outra. Como exemplos, a difuso de um soluto num solvente, de fumaa atravs do ar,
dos nutrons num reator nuclear, dos eltrons atravs de um condutor, do calor atravs de
uma superfcie. Todos esses processos envolvem difuso, e assim, relevante obter uma
equao que os descreva.

1.1 Introduo
Fisicamente, ocorre difuso de uma substncia atravs de outra quando o sistema
no est em equilbrio. Por exemplo como se discute na seo 1.2.1 quando colocamos
algumas gotas de corante em gua, vemos que inicialmente a gua muda de cor apenas
numa regio pequena, mas, com o passar do tempo, toda a gua fica colorida e homognea.
Outro exemplo ocorre com um perfume aberto num canto de uma sala. Aps um certo
tempo, toda a sala fica perfumada. Tanto o corante como o perfume se difundem atravs
de um meio e, quando esse meio fica homogneo, a difuso cessa. Por fim, outro exemplo
ocorre com a corrente eltrica, que circula at que seja alcanado um equilbrio de cargas
entre os condutores.
No fenmeno da difuso, a distribuio espacial de molculas no deve ser homognea; deve existir uma diferena de potencial qumico que pode se traduzir em um gradiente
14

15
ou diferena de concentrao entre dois pontos do sistema. Portanto, uma grandeza relevante ao nosso estudo a concentrao ou, tambm, a densidade da substncia em questo.
Essa grandeza deve ser medida em quantidade por unidade de volume, sendo quantidade
uma grandeza relevante associada substncia especfica. Nos casos do corante e do perfume, essa quantidade seria a massa, e o nmero de eltrons para a corrente eltrica. Esta
concentrao, que pode variar tanto no tempo como na posio, pode ser representada, de
uma forma geral, por

= (r, t)
onde r rene toda a parte espacial. Nosso objetivo obter uma equao diferencial que
envolva essa grandeza.
A primeira equao que podemos extrair envolve a seguinte verificao fsica: se
tivermos um certo volume V fechado (mas no necessariamente fixo) no espao e se nesse
volume for colocada uma substncia com densidade , os processos difusivos que ocorrem dentro do volume sero tais que a quantidade total de substncia permanece constante,
sendo, todavia, permitida a variao tanto do volume V quanto de (r, t). Vamos considerar uma quantidade pequena dessa substncia, que representaremos por Q e que pode
ser escrita como

Q
= Q = V
V

onde V o pequeno volume ocupado por essa substncia. Formalmente, Q 0 e

V 0. Esse V no fixo e ele pode variar medida que a substncia se difunde.
A situao fsica de conservao da quantidade de substncia, descrita acima, pode
ser expressa matematicamente como
d
Q = 0
dt

16
que resulta na equao
V

d
d
+ V = 0
dt
dt

(1.1)

Como a derivada temporal total de dada por

d(r, t)
(r, t) (r, t) dx (r, t) dy (r, t) dz
=
+
+
+
dt
t
x dt
y dt
z dt

(1.2)

e como
= i

+j
+k
x
y
z

a expresso (1.2) fica

d(r, t)
(r, t)
=
+ v
dt
t

(1.3)

onde v a velocidade com que essa massa da substncia se difunde. Lembrando que o
divergente de v
v =

vx vy vz
+
+
x
y
z

obtemos
d
V = V v
dt

(1.4)

Reunindo as equaes (1.1), (1.2) e (1.3), encontramos

(v, t)
+ v + v = 0
t
Utilizando a relao vetorial
(A) = A + A

(1.5)

17
podemos escrever
[v] = v + v

(1.6)

e, com isso temos

+ (v) = 0
t
que independe do volume considerado. A grandeza
j = v
uma corrente de difuso, e ela a quantidade de substncia que passa atravs de uma
certa rea do meio na unidade de tempo. Ela uma grandeza vetorial, pois necessrio
representar a direo e o sentido dessa corrente. Com esta definio, obtemos

+j=0
t

(1.7)

que vale para qualquer volume e geometria considerado. Fisicamente, isso significa o seguinte: como no h nenhuma fonte ou sorvedouro que faa com que em algum ponto
a substncia que se difunde seja criada ou destruda, se num certo volume infinitesimal
(agora considerado fixo) a densidade aumenta com o tempo, porque uma certa quantidade de substncia entrou atravs da superfcie fechada que envolve esse volume. Por
outro lado, se a densidade diminui, um pouco da substncia sai atravs da superfcie que
delimita o volume. Portanto, quando
dentro do volume, e quando

> 0, h um fluxo de substncia direcionado para

< 0, o fluxo direcionado para fora.

O divergente, que est relacionado a uma funo vetorial, mede o fluxo dessa funo
atravs de uma dada rea que delimita uma certa regio no espao, que pode ser fechada
ou aberta. Quanto maior for o divergente, maior ser o fluxo da grandeza representada
pela funo vetorial, e se for positivo, esse fluxo ser para fora da regio, enquanto que,

18
se for negativo, o fluxo ocorrer para dentro da regio. Portanto, quando no volume infinitesimal a corrente de difuso direcionada para dentro do volume, entra um pouco
de substncia no volume, e o divergente da corrente de difuso negativo. Quando a
corrente direcionada para fora do volume, sai um pouco de substncia, e o divergente
positivo. A concluso que os sinais de j e de

so opostos. Alm disso, a substncia

que entra ou que sai no se perde; ela passa atravs da superfcie fechada que delimita o
volume infinitesimal, para dentro ou para fora. Portanto, para cada volume infinitesimal
vale a Eq. (1.7), que chamada equao de continuidade. Essa equao exprime o fato de
que no h perda de substncia dentro de um volume V ; o que ocorre so transferncias
de substncia entre os volumes infinitesimais dentro de V .
Como a difuso ocorre das regies de maior concentrao, ou maior densidade, para
as de menor concentrao, ou menor densidade, ento aparece a corrente de difuso, que
representa esta passagem da substncia atravs do meio. O gradiente de uma funo define
a direo e o sentido da maior variao positiva da funo. Assim, podemos relacionar a
corrente, ou densidade de corrente, de difuso, com o gradiente da densidade , com sinal
trocado, ou seja,

j = D

(1.8)

onde D o coeficiente de difuso. O sinal negativo da Eq. (1.8) significa que a difuso
ocorre na direo de diminuio da concentrao da substncia. A Eq. (1.8) conhecida
com a primeira lei de Fick, uma equao fenomenolgica vlida para uma grande classe
de fenmenos de difuso. A primeira lei de Fick, que relaciona o fluxo da substncia
com o gradiente de concentrao, descreve o processo de difuso sob condies de estado
estacionrio, ou seja, o gradiente de concentrao no varia com o tempo. No entanto,
no estudo da difuso, tem-se interesse na variao da concentrao da substncia com o
tempo e com distncia.
A segunda lei de Fick representa a velocidade de alterao da concentrao de soluto

19
em funo do tempo e do deslocamento. Esses dois fatores so importantes na determinao do coeficiente de difuso de qualquer soluto em diferente sistemas. Atravs da unio
da equao da continuidade (1.7) e da primeira lei de Fick Eq. (1.8), temos,

= D2
t

(1.9)

que a equao da difuso, na ausncia de reao.

1.2 Difuso unidimensional

Considerando um sistema de coordenadas espaciais unidimensional, a equao da
difuso se escreve:

2
(z, t) = D 2 (z, t)
t
z

(1.10)

Supondo uma soluo separvel na forma (z, t) = Z (z) T (t), obtemos

1 dT
=D
T dt

1 d2 Z
Z dz 2

= 2

onde 2 uma constante de separao, o sinal de menos na constante para satisfazer

as condies de contorno, que requer a existncia de um regime estacionrio para tempos
longos. Agora temos duas equaes diferenciais para serem revolvidas separadamente

1 dT
= 2
T dt
e

(1.11)

20

1 d2 Z
= 2
Z dz 2

(1.12)

Fazendo = D, a soluo de (1.12) pode ser escrita na forma geral:

Z(z) = Aei z + Bei z

(1.13)

e a soluo completa ser:

(z, t) = Z(z)T (t) = [Aei z + Bei z ]To e

2t

(1.14)

Incorporando To s outras constantes, obtemos

(z, t) = [A cos z + B sin z]e

2t

(1.15)

Estas so as solues tpicas da equao de difuso (1.10) em uma dimenso. Dependendo das condies de contorno, uma soluo geral pode ser obtida na forma:
(z, t) =

X
2
[A cos z + B sin z]e t

(1.16)

A soluo (1.16) relevante, por exemplo, em um sistema fsico limitado ao longo da

direo z e com (z, t) podendo assumir valores bem definidos no contorno [12, 20, 21].

1.2.1 Aplicao da transformada de Fourier equao de difuso

As solues para cada problema em particular dependem das condies auxiliares.
Consideremos, por exemplo, o processo difusivo que ocorre num sistema cilndrico muito

21
longo, que vamos considerar como sendo infinito e que tem uma rea de seo lateral A,
e est cheio de gua. No instante t = 0, introduzimos no cano uma certa quantidade de
corante em um certo ponto z0 (distante de ambos os extremos do cano). Desejamos achar
a concentrao do corante em um instante qualquer posterior.
Corante introduzido no instante t = 0

z0

Figura 1.1: Um tubo estreito de comprimento infinito com gua, onde foi introduzida
uma quantidade de corante em uma posio z0 .

Podemos idealizar o problema fsico supondo um cano infinitamente longo conforme

a Fig. 1.1. Alm disso, como o dimetro pequeno, podemos desconsiderar as variaes
da concentrao do corante sobre uma seo reta do cano e a concentrao pode ser tratada
como funo somente de duas variveis, z e t:

= (z, t)

(1.17)

Esta funo satisfaz equao de difuso em uma dimenso (1.10). As condies iniciais
podem ser idealizadas pela afirmativa de que (z, 0) nula em todos os pontos, exceto
sobre a seo reta definida por z = zo , onde foram introduzidos M gramas do corante.
Assim, para expressar a densidade no tempo inicial conveniente recorrer s funes
delta de Dirac, ou seja,

(z, 0) =

M
(z zo )
A

(1.18)

onde M a massa do corante e A a rea de seo transversal do cano.

As condies de contorno para este problema podem ser formuladas por meio da
exigncia

22

(+, t) = (, t) = 0
Podemos resolver a equao (1.18) mediante a integrao da densidade em todo o volume,
ou seja,

Z
(z, 0)dV = M

(1.19)

que d a massa total do corante.

A transformada de Fourier da densidade
1
%b(k, t) = %b{(z, t)} =
2

(z, t)eikz dz

(1.20)

Aplicando a transformada de Fourier equao diferencial parcial da difuso (1.10), obtemos para a primeira derivada temporal

Z +
Z +

1
1
ikz
b
=
=
e
dz =
(eikz )dz
t
t
2
2 t
d
=
dt

)
eikz dz

db
%(k, t)
dt

(1.21)

Para a segunda derivada espacial, temos:

2
Z +
2

1
ikz
b

=
=
e
dz
z 2
z 2
2
Usando a propriedade da derivada da transformada de Fourier, que diz que
b 00 (x)} = k 2 ={f
b (x)}
={f

(1.22)

23
obtemos
2
Z +

2 1
b
= k
=
eikz dz = k 2 %b(k, t)
z 2
2

(1.23)

Reunindo as equaes (1.21) e (1.23), temos

db
%(k, t)
= Dk 2 %b(k, t)
dt

(1.24)

cuja soluo dada por

%b(k, t) = %b(k, 0)eDk

2t

(1.25)

Para encontrar a transformada da funo no tempo inicial, precisamos calcular

1
b
%b(k, 0) = =(z,
0) =
2

(z, 0)eikz dz

(1.26)

ou seja
1
%b(k, 0) =
2

M
M
(z zo )eikz dz = eikzo
A
A 2

(1.27)

A soluo da equao (1.25) fica na forma:

%b(k, t) =

M
2
eikzo eDk t
A 2

(1.28)

Para achar a soluo em termos da densidade , devemos calcular a transformada inversa

de Fourier
1
(z, t) = %{
%(k, t)} =
2

%(k, t)eikz dk

24
isto ,
M
(z, t) =
2A

eDk

2 tik(zz )
o

dk

(1.29)

Aps completar os quadrados da exponencial, obtemos a soluo final, na forma:

(z, t) =

(z)2
M

e 4Dt
A 4Dt

(1.30)

e a densidade se comporta com uma distribuio Gaussiana em relao a z, sendo que a sua
largura aumenta enquanto que a altura diminui, medida que o tempo passa [11, 22, 23].
O grfico da soluo obtida est ilustrado na Fig. 1.2 em algumas situaes de interesse

25

0.10

0.16

D pequeno
Tempo pequeno

D mdio

Tempo mdio

D grande
0.08

Tempo longo
0.12

=(z,t)

=(z,t)

0.06
0.08

0.04

0.04
0.02

0.00

0.00
-30

-24

-18

-12

-6

12

18

24

30

-30

-24

-18

-12

-6

12

18

24

30

0.10

0.30

area pequena

massa pequena

area mdia

massa mdia
0.25

area grande

0.08

massa grande

0.20

=(z,t)

=(z,t)

0.06
0.15

0.04
0.10

0.02

0.05

0.00

0.00
-30

-24

-18

-12

-6

12

18

24

30

-30

-24

-18

-12

-6

12

18

24

30

Figura 1.2: As curvas mostram a evoluo temporal da distribuio (z, t) no regime

difusivo unidimensional. (a) a distribuio para diferentes intervalos de tempos; (b)
para valor diferentes do coeficiente de difuso; (c) a rea que est variando; (d) para
diferentes valores de massa.

26

1.3 Equao de difuso e a funo de Green

Outra maneira de resolver o mesmo problema difusivo, utilizando a funo de
Green, que trata equaes diferenciais no homogneas sujeitas s condies de contorno
apropriadas. Nesta situao, queremos determinar a difuso de uma dada substncia sobre
um volume V , delimitado por uma superfcie S, conforme a Fig.1.3. Para esta situao, a
equao tem a forma:

2 (r, t)

(r, t)
= 4e
(r, t)
t

(1.31)

onde uma constante. Para resolver este problema, introduzimos a funo de Green

S
V

Figura 1.3: Volume V delimitado por uma superfcie S .

G(r, t; r0 , t0 ). Assim, a Eq. (1.31) adquire a forma:
2 G(r, t; r0 , t0 )

G(r, t; r0 , t0 ) = (r r0 )(t t0 )
t

sujeita s condies de contorno

G(r, t; r0 , t0 ) = 0

para r sobre S

e
G(r, t; r0 , t0 )
=0
n

para r sobre S

(1.32)

27
e tambm a condio inicial
G(r, t; r0 , t0 ) = 0

t < t0

Desejamos encontrar a soluo para o processo de difuso em toda regio do espao, isto
, quando S . Nesta situao, a funo de Green depende somente das coordenada r
e t porque as coordenadas r0 = 0 e t0 = 0. A Eq. (1.32) fica
2 G(r, t)

G(r, t) = (r)(t)
t

(1.33)

Desta forma, a condio inicial

G(r, t) = 0,

t<0

Para resolver a (1.33), usando a transformada de Fourier nas coordenadas espaciais, escrevemos:
1
G(r, t) =
(2)3

Z
e t)
d3 ke(ikr) G(k,

(1.34)

Z
e t) =
G(k,

d3 re(ikr) G(r, t)

(1.35)

e
1
(r) =
(2)3

Z
d3 ke(ikr)

(1.36)

A substituio das expresses acima na Eq. (1.33), fornece:

e t)
k 2 G(k,

e
G(k, t) = (t)
t

(1.37)

28
Para t > 0, a soluo desta equao
e t) = Aek2 t
G(k,

(1.38)

Para t < 0 e a condio inicial G(r, t) = 0, integrando (1.37) com relao a um intervalo
de tempo t de durao muito pequeno em torno de t = 0, encontramos
e 0 + ) G(k,
e 0 ) =
G(k,

(1.39)

Fazendo A = , a Eq. (1.38) fica

e t) =
G(k,

0,

t<0

k2 t

(1.40)

t>0

Substituindo o resultado acima na equao (1.34), completando os quadrados e fazendo a

integral Gaussiana, encontramos

G(r, t) =
(2)3
=

Z
3

d ke

ikrk2 t

r2 /4t
=
e
(2)3

Z
2

d3 ket(kir/2t)

r2

4t
e
(4t)3/2

(1.41)

Consequentemente, obtemos

G(r, t; r , t ) =

0,

t < t0

[4(tt
0 )]3/2 exp

|rr0 |2
4(tt0 )

t > t0

(1.42)

Essa funo de Green tem uma caracterstica bem conhecida: uma gaussiana
conforme mostra a Fig. 1.4, que descreve a maneira como o processo difusivo ocorre
em trs intervalos de tempo (t t0 ) diferentes [10].
Conclumos que uma grande parte dos fenmenos de difuso normal satisfatoriamente descrita pela equao linear de Fokker-Plank (1.10). E que cada processo

29

0.025

(t - t') pequeno
(t - t') mdio

G = (r,t)

0.020

(t - t') grande

0.015

0.010

0.005

0.000
-8

-6

-4

-2

Figura 1.4: O grfico descreve o comportamento da funo G(r, t) em relao a r para

diferentes intervalos de tempo.

corretamente caracterizado pelo fato de que hz 2 i t.

Recentemente, vrios trabalhos tm focado suas atenes no mesmo tipo de equao
linear com derivada fracionria, tanto no tempo, i.e., na forma geral

2
(z,
t)
=
D
(z, t)
t
z 2
quanto no espao, ou seja,

(z, t) = D
(z, t).
t
|z|
Estas duas generalizaes da equao de Fokker-Planck tm sido usadas para estudar sistemas difusivos anmalos. Nos prximos captulos, nos dedicaremos ao estudo da difuso
anmala com derivadas fracionrias e tambm equao de difuso no-linear com derivada fracionria.

Captulo

Difuso Anmala
Neste captulo, nos dedicamos ao estudo destas equaes que empregam derivadas
fracionrias tanto na varivel temporal quanto na varivel espacial. Neste sentido, faremos uma anlise do segundo momento, o qual nos mostrar um alargamento no usual
para a nossa distribuio quando empregarmos derivadas fracionrias temporais. Para
o segundo caso i.e., no caso da derivada fracionria na parte espacial, o segundo momento no finito. Em particular, esta situao d forma s chamadas distribuies de
Lvy que, como veremos, tm um extenso raio de aplicao. Veremos tambm como o emprego de derivadas fracionrias na equao de difuso altera as funes tempo de espera
entre saltos w(t) e comprimento de saltos (x).

2.1 Introduo
De forma geral, a difuso usual descrita por um modelo local, ou seja, em pequenas escalas de tempo, a evoluo da funo densidade em uma dada posio afetada
apenas por pontos prximos no espao. Em alguns casos, porm, essa suposio no se
aplica, levando a incosistncias na definio do coeficiente de difuso. Dito de outra maneira, mesmo em pequenas escalas de tempo a evoluo da funo densidade em uma
dada posio pode ser afetada por pontos distantes no espao [13], por exemplo, do transporte turbulento na camada limite convectiva. Uma ferramenta que pode ser usada para
30

31
descrever esta ltima classe de fenmenos baseada no clculo fracionrio, no qual operadores diferenciais no locais podem ser empregados para levar em conta as correlaes
espaciais. Este procedimento, que leva equaes de difuso fracionria, tem sido amplamente investigado para decrever difuso anmala. As equaes de difuso fracionria
so frequentemente consideradas como um procedimento alternativo para modelos de caminhada aleatria com tempo contnuo, equaes de Langevin generalizadas ou equaes
mestra generalizadas. Assim, equaes de difuso fracionrias, ou equaes de FokkerPlanck fracionrias, tm sido consideradas por diversos autores com diferentes propsitos,
seja com derivadas fracionrias temporais, com derivadas fracionrias espaciais ou mesmo
incluindo derivadas fracionrias temporais e espaciais.
Um exemplo tpico de equao de difuso fracionria espacial dada por

(x, t) = D
(x, t)
t
|x|

(2.1)

cuja soluo so as distribuies de Lvy

1
L (|x|, t) =
2

dk exp[ikx D |k| t]

(2.2)

sendo D uma constante e um nmero real ( R). Estas distribuies no possuem

segundo momento finito e caracterizam a difuso anmala do tipo Lvy (superdifuso).
Alm de derivadas fracionrias, podemos generalizar ainda mais a equao de difuso acrescentando no linearidade e dependncia espacial ao coeficiente de difuso, ou
mesmo um termo de arraste, ou seja
)
(

(x, t) =
D(x)
[(x, t)] F (x)(x, t)
t
x
|x|

(2.3)

onde , R, D(x) |x| e F (x) = dV (x)/dx uma fora externa associada

ao potencial V (x). Portanto, a equao (2.3) pode ser usada para descrever uma ampla
classe de processos de difuso anmala, visto que ela contm, como um caso particular, a
equao para meios porosos e a superdifuso de Lvy, bem como uma mistura de ambas.

32

2.2 Equao linear fracionria unidimensional: derivada

no tempo
Consideremos a equao fracionria de Fokker-Planck, do tipo:

(x,
t)
=
D
(x, t)
[F (x, t)(x, t)]

2
t
x
x

(2.4)

onde /t corresponde derivada fracionria de Caputo (Apndice A.2), aplicada varivel temporal. O operador de derivada fracionria de Caputo parece ser mais apropriado
para estudo de equaes diferenciais de ordem fracionria porque a transformada de Laplace da derivada fracionria de Caputo depende de condies iniciais que possuem interpretao fsica. J a derivada fracionria segundo Riemann-Liouville depende de condies dadas em termos de a Dt f (t)|t=0 . Outra importante diferena entre estas duas abordagens que a derivada fracionria de Caputo de uma constante zero, o que no ocorre com
a definio de Riemann-Liouville. Isto justifica a utilizao da derivada de Caputo, e no a
de Riemann-Liouville, quando estamos interessados em resolver uma equao diferencial
parcial de ordem fracionria. Este operador definido como [31]:
1

(x, t) =

t
(n )

t
0

dt0

(n) (x, t0 )
(t t0 )+1n

(2.5)

com n 1 < < n e (n) (x, t) a n-sima derivada de (x, t) em relao ao tempo.
Temos ainda a presena do termo de fora externa F (x, t) e do coeficiente de difuso D,
que inicialmente consideraremos constante. Mais frente, veremos situaes nas quais
D tem uma dependncia com o espao, com o tempo e at mesmo com a distribuio.
Ainda com relao equao (2.4), observamos que ela generaliza a equao usual de difuso, conforme vimos no primeiro captulo, mediante a presena do operador fracionrio
atuando na varivel temporal, e que para = 1 recuperamos a equao usual de difuso.
Com o intuito de mostrar que a distribuio (x, t) na Eq. (2.4) normalizvel, vamos
reescrev-la na forma

33

(x, t)
J (x, t) = 0

t
x

(2.6)

ou seja, na forma de uma equao de continuidade, com uma corrente dada por
J (x, t) = D

(x, t) F (x, t)(x, t)

x

(2.7)

A normalizao verificada quando integramos a Eq. (2.6) sobre todo o espao e consideramos que J (x = , t) = 0, pois estamos considerando que (x = , t) = 0.
Assim, esta importante propriedade, de podermos normalizar a distribuio, continua vlida mesmo com a presena do operador de derivada fracionria do tipo Caputo. Este fato
no seria verificado se usssemos uma derivada fracionria do tipo Riemann-Liouville.
Voltando anlise da equao (2.4), vamos investigar suas solues e explorar atravs dessas solues as consequncias de usarmos derivadas fracionrias na varivel temporal. Neste ponto, cabe observar que as solues da equao (2.4) podem ser obtidas por
meio de vrios mtodos os quais sero empregados de acordo com a nossa comodidade.
interessante lembrar tambm que o procedimento a ser adotado estar relacionado com
as condies de contorno impostas ao sistema e s simetrias que ele apresenta. Assim,
dependendo da situao que pretendemos analisar, vamos empregar o mtodo que melhor
aproveita as condies impostas sobre o sistema.
Inicialmente, vamos considerar uma situao caracterizada pela ausncia de fora
externa, com D constante e a condio inicial (x, 0) = (x). Como condio de contorno,
vamos considerar inicialmente (x = , t) = 0. Devido a estas consideraes, a equao a ser resolvida fica na forma

2
(x, t) = D 2 (x, t)
t
x

(2.8)

Ao considerarmos tal condio de contorno, o uso das transformadas de Laplace e Fourier

simplificar o nosso problema. Assim, tomando as transformadas de Laplace e Fourier da

34
equao obtemos
(k, s) =

(k, 0)
,
s + Ds1 k 2

(2.9)

com 0 < < 1. Para a obtermos a Eq. (2.9) usamos a relao:

1i
n1
X

i
(x, t) = s (x, s)
s
(x, t)
t
t1i
t=0
i=0

que vlida para n 1 < < n. Agora, para obtermos a soluo desejada temos que
inverter ambas as transformadas. Realizando inicialmente a inverso em Fourier, levando
em conta o teorema de convoluo, obtemos
Z

(x, s) =

dx0 (x x0 )G(x0 , s)

(2.10)

com
1
G(x, s) =
2s

s
D

12

" 1 #
s 2
exp
|x|
D

(2.11)

Observando a Eq. (2.11), vemos que G(x, s) a funo de Green associada condio
inicial considerada. Assim, o papel de G(x, s) fazer com que a nossa condio inicial
evolua at um tempo t qualquer, que neste caso depende do parmetro x. J para invertermos a transformada de Laplace, faremos uso do seguinte procedimento: relacionaremos a
transformada de Laplace com a transformada de Mellin, inverteremos esta transformada
(Mellin) mediante a identificao dessa integral com a integral das funes H de Fox,
obtendo ento (x, t). As funes de Fox (Apndice A.3) so definidas como
mn
pq

Z
i
h
1
(a1 ,A1 ),(a2 ,A2 ), ,(ap ,Ap )
ds (s)xs
x (b1 ,B1 ),(b2 ,B2 ), ,(bq ,Bq ) =
2i L

Q
(bi Bi s) ni=1 (1 ai + Ai s)
Qp
(s) = Qq
i=1+n (ai Ai s)
i=m+1 (1 bi + Bi s)
Qm

i=1

(2.12)

35
A transformada de Laplace de (x, t) em relao ao tempo
Z

(x, s) =

dt est (x, t)

(2.13)

e a transformada de Mellin da mesma funo em relao varivel temporal

Z

(x, s ) =

dt ts 1 (x, t)

(2.14)

com
1
(x, t) =
2i

Z
0

(x, s0 )ts ds0

L

Ambas as transformadas de Laplace e de Mellin esto relacionadas uma com a outra, por
meio da relao:
1
(x, s ) =
(1 s0 )

ds ss (x, s)

(2.15)

Usando esta ltima equao em (2.11), obtemos

G(x, s0 ) =

1
|x|

2 s0 1 2 s0

|x|

(1 s0 )
D

(2.16)

Invertendo a transformada de Mellin da Eq. (2.16), obtemos

2
x
1
20
G(x, t) =
H1 2

4Dt
4Dt

(1 2 , )
1
( 2 ,1) (0,1)

(2.17)

Esta ltima igualdade obtida por comparao direta da integral resultante da inverso de
Mellin com a representao integral dada acima para a funo de Fox. Substituindo esta
equao em (2.10), temos a soluo para uma condio inicial genrica como segue:
1
(x, t) =
4Dt

dx (x ) H
0

20
12

(x x0 )2
4Dt

(1 2 , )
1
( 2 ,1) (0,1) .

(2.18)

36

2.2.1 Meio finito (limitado): barreiras absorventes

No caso da condio de contorno ser definida em um intervalo finito, por exemplo,
(0, t) = (L, t) = 0, com x definido no intervalo [0, L], podemos usar o procedimento
de separao de varaveis. Tal situao caracterizada fisicamente por termos barreiras
absorventes em x = 0 e x = L. Para obtermos a soluo para a equao (2.4) com
tais condies de contorno vamos usar uma transformada finita. Em particular, estamos
considerando que a nossa soluo pode ser expressa em termos de uma srie de Fourier.
Assim,
(x, t) =

n
x
L

(2.19)

n
x (x, t)
L

(2.20)

Bn (t) sen

n=0

com
2
Bn (t) =
L

dx sen
0

a soluo apropriada para o tratamento deste caso, pois satisfaz a condio de contorno.
Substituindo (2.19) em (2.8), multiplicando ambos os lados por sen(nx)/L e integrando
desde 0 a L e identificando Bn (t), obtemos
d
n2 2
B
(t)
=

DBn (t)
n
dt
L2

(2.21)

Para resolver a equao acima, vamos aplicar uma transformada de Laplace, o que nos
permitir o uso da funo E (x) de Mittag-Leffler. Isto se deve ao fato de que

t
1
1
E
=L

s + s1
As funes E (x) de Mittag-Leffler constituem uma possvel generalizao da funo exponencial, e so definidas como
E (x) =

X
n=0

xn
(n + 1)

(2.22)

37
Com isso, podemos escrever

Bn (t) = Bn (0)E

n2 2
2 Dt
L

(2.23)

Substituindo a soluo acima em (2.19), levando em conta uma condio inicial genrica
(x, 0) = (x), temos
Z

(x, t) =

dx0 G(x, x0 , t)
(x0 )

(2.24)

com

n
n n2 2
2X
0

G(x, x , t) =
sen
x sen
x E 2 Dt .
L n=0
L
L
L
0

2.2.2 Meio finito (limitado): barreiras refletoras

Se ao

invs de barreiras

absorventes

tivssemos barreiras refletoras, isto ,

x |x=0 = x |x=L = 0 as mudanas na soluo acima seriam a troca seno (sen) pelo
cosseno (cos) e a presena de uma soluo estacionria. Assim, escrevemos de forma
direta a soluo para este caso, como segue abaixo,
1
(x, t) =
L

Z
0

dx (x ) +
0

dx0 G(x, x0 , t)
(x0 )

(2.25)

com

n n2 2
n
2X
0

x cos
x E 2 Dt
G(x, x , t) =
cos
L n=0
L
L
L
0

para uma condio inicial do tipo (x, 0) = (x). Observe que, ao considerarmos a
distribuio acima no limite de tempos longos, obtemos a soluo estacionria
1
(x, t )
L

L
0

dx0 (x0 ) = s (x)

38
Este fato nos permite determinar a funo de autocorrelao estacionria usando a equao (2.25). Assim, usando a definio da funo de autocorrelao estacionria e considerando, por simplicidade, (x, 0) = (x x0 ), obtemos
Z

hx(t)x(0)is =

dx
0

dx0 xx0 (x, t)s (x)

L
8 X
1
(2n + 1)2 2
=
+
E
Dt
4 4 n=0 (1 + 2n)4
L2
Tomando o limite de tempos longos na

equao (2.26),

(2.26)

verificamos que

hx(t) x(0)is 1/4. Este resultado coincide com o obtido com a equao de difuso usual,
o que indica que a derivada fracionria somente far com que o sistema relaxe de forma
anmala at situao de equilbrio.

2.2.3 Sistema Infinito

Agora vamos investigar as implicaes advindas do emprego de derivadas fracionrias na equao de difuso. Neste sentido, ao observamos a soluo (2.17) vemos que
o segundo momento no varia linearmente com o tempo, mas sim com uma potncia do
tempo, isto , hx2 i t . Este tipo de comportamento para o segundo momento um
comportamento tpico de um sistema que exibe difuso anmala. Usando conceitos de
caminhantes aleatrios, possvel demonstrar que a densidade de probabilidade relativa
parte temporal tem o seguinte aspecto
1
w(t) =
0

t
0

1
E,

t

0

(2.27)

onde 0 uma constante e E, a funo de Mittag-Leffter generalizada

E, (t) =

X
n=0

xn
(n + )

(2.28)

39
quando consideramos a equao de difuso na ausncia de fora externa. Observe que de
acordo com os valores de temos a distribuio mais concentrada em tempos curtos ou
em tempos longos, o que nos levaria a um processo do tipo subdifusivo ou superdifusivo.
Assim, a presena desta funo nas solues acima uma conseqncia das mudanas
produzidas na funo densidade de probabilidade de tempo de espera pela derivada fracionria.
Neste contexto, podemos tambm ter a presena de foras externas e/ou um coeficiente dependente do espao e do tempo. Neste sentido, obteremos aqui a soluo para
i) uma fora linear, isto , F (x) = kx;
ii) um coeficiente de difuso do tipo D(x) = D|x| .
Na primeira situao, podemos obter sua soluo usando o mtodo da separao de variveis, com as seguintes condies de contorno: (0, t) = (, t) = 0, e a condio
inicial (x, 0) = (x). Assim, a soluo obtida fica expressa em termos do polinmios de
Hermite, como segue,
r
(x, t) =

k X 1
Hn
2D n=1 2n n!

kx2
exp
2D

kx20
2D

r
Hn

kx2
2D

E+ 2n t+

(2.29)

onde n = nk. Para a segunda situao, a equao de difuso fica dada por
D

(x,
t)
=
t
()

t
0

dt
|x|
0

0 1

0
(t t ) |x|
(x, t )
|x|

(2.30)

na ausncia de fora externa. Para investigar as solues desta equao vamos considerar, por simplicadade, que x seja no negativo com as seguintes condies de contorno:
(0, t) = (, t) = 0, e a condio inicial (x, 0) = (x). Ento, aps alguns clculos,

40
podemos mostrar que
1+

2x 2
(x, t) =
2+
Z

dkkJ 1+

2+

2k 2+
x 2
2+

dx (x )x

0 1+
2

J 1+
2+

2k 0 2+
x 2
2+

E+ Dk 2 t+

(2.31)

Em particular, para + = 1, a equao (2.31) pode ser reduzida para

Z

(x, t) =
0

1
(1+)
2

(xx )
dx
(x0 )I 1+
2+
(2 + )Dt
0

1
(2+)
2

0 21 (2+)

2x
x
(2 + )2 Dt

!
2+ +x02+
(2+)2 Dt

(2.32)

Retornemos equao (2.8). Vamos transform-la em uma equao integral, que

pode ser muito til dependendo do potencial a ser analisado, permitindo uma soluo
recursiva sob forma de uma teoria perturbativa. Neste sentido, cabe ressaltar que so
poucos os tipos de foras externas que nos permitem uma soluo exata para o problema,
o que torna importante o desenvolvimento de uma teoria perturbativa. Ao desenvolvermos
os nossos procedimentos de clculos, vamos considerar o termo que contm a fora externa
como um termo de fonte. Ento, temos
2

(x,
t)
=
D
(x, t) (x, t)
t
x2

(2.33)

com
(x, t) =

[F (x, t)(x, t)]

x

(2.34)

Repetindo o procedimento de clculo para o caso livre, obtemos a transformada de FourierLaplace da Eq. (2.33) na forma:
(k, s) =

(k, 0)
(k, s)

s + Ds1 k 2 s + Ds1 k 2

(2.35)

41
Invertendo ambas as transformadas, temos
Z

(0)

(x, t) = (x, t)

dt
0

dx0 G (x x0 , t t0 )(x0 , t0 )

(2.36)

(1 2 , )
1
( 2 ,1) (0,1)

(2.37)

com
2
x
1
20
H
G (x, t) =
1
2
4Dt
4Dt

Substituindo (x, t) na equao (2.36) e integrando por partes, obtemos

(x, t) = (0) (x, t)
Z

dt
0

dx0 G(2) (x x0 , t t0 ) 0Dt1

[F (x0 , t0 )(x0 , t0 )]
0

(2.38)

onde
G(2) (x, t) =

d
G (x, t)
dx

2
x
1
21
H
=
2
3
4Dt
Dt

(0,2) (1 2 , )
1
( 2 ,1) (0,1) (1,2)

(2.39)

A Eq. (2.38) justamente a equao que procuramos e a forma integral correspondente

Eq. (2.4) que pode ser usada, por exemplo, para calcular perturbativamente a influncia de uma fora externa aplicada ao sistema. A Fig. 2.1 mostra o comportamento de
(4Dt )1/2 G (x, t) em relao a x/(4Dt ) e, na Fig. 2.2, mostrado o comportamento de
1

(Dt) L (x, t) em relao x/(Dt) , para valores tpicos de .

42

1.6

= 0.5
= 0.8
= 1.0

1.4

1/2

(4D t ) G (x,t)

1.2

1.0

0.8

0.6

0.4

0.2

0.0
-2.0

-1.5

-1.0

-0.5

0.0

0.5

x / (4D t )

1.0

1.5

2.0

1/2

Figura 2.1: Comportamento de (4Dt )1/2 G (x, t) versus x/(4Dt ), para valores tpicos de . Para igual a 0,5 e 0,8 difuso anmala e para igual 1,0 difuso normal.

0.7

= 0.5
= 1.0
= 2.0

0.6

0.4

1/

( D t) L(x,t)

0.5

0.3

0.2

0.1

0.0
-2

-1

x / ( D t)

1/

Figura 2.2: Comportamento de (Dt) L (x, t) versus x/(Dt) , para valores tpicos de
. A derivada fracionria na varivel espacial caracteriza um processo superdifusivo
do tipo Lvy.

2.3 Equao linear fracionria unidimensional: derivada

no espao
Agora vamos analisar a equao de difuso que emprega derivada fracionria na
parte espacial. Em particular, faremos um desenvolvimento anlogo ao da seo anterior.

43
Assim, comearemos observando que a distribuio de Lvy
Z

L (x) =

dk ikx|k| Dt
e
2

(2.40)

soluo da equao de difuso

=D

[F (x, t)]

t
|x|
x

(2.41)

quando consideramos a ausncia de fora externa. Para provarmos tal afirmao, basta
usarmos o fato de que

F{|x|
(x, t)} |k| (k, t)

onde
Z

F{(x, t)} =

dx
eikx (x, t)
2

(2.42)

a transformada de Fourier. Em particular, para verificarmos a ltima afirmativa, basta

empregarmos a definio

(x, t) =
|x|

2
sin
(1 + )

dx

(x0 , t)
|x x0 |+1

(2.43)

Em contraste com o resultado que obtivemos ao empregarmos derivadas fracionrias na

varivel temporal, as distribuies que emergem ao aplicarmos derivadas fracionrias na
varivel espacial no tm o segundo momento finito. Isto implica que elas no seguem o
teorema central do limite, mas sim sua generalizao conhecida como teorema de LvyGnedenko. Podemos obter mais informao da equao acima analisando-a sob o enfoque
de caminhantes aleatrios. Neste caso, o que acontece uma mudana nos comprimentos dos saltos provocada pelo emprego da derivada fracionria na varivel espacial. Em
particular, o caminhante passa a efetuar saltos longos. A densidade de probabilidade que
caracteriza os saltos ento adquire um comportamento de cauda longa, caracterizando um

44
processo superdifusivo do tipo Lvy.
De forma analoga seo anterior, podemos ter situaes que envolvem a presena
de foras externas e/ou um coeficiente que dependente do espao e do tempo. Por exemplo,
para o caso em que temos a presena de uma fora linear a soluo para a equao (2.41)
dada por
(1, 1 ) (1, +1 ) (1, 1 )

2

21
x

(x, t) =
H

x 3 3 (Dt+1 ) 1
1
(1,1) (1,
) (1, 21 )

(2.44)

Em uma situao mais simples, em que o coeficiente de difuso depende somente do

tempo, isto , D(t) = Dt1 /(), incorporada situao descrita acima, a soluo fica
dada por

1
1 2 2
H
(x, t) =
x 1 1
D

(1, 1 ) (1, 1 )
2

1
(1,1) (1, 2 )

(2.45)

Vamos agora analisar a equao (2.41) considerando uma condio inicial do tipo
(x, 0) = (x) e que V (x) seja um potencial genrico que permita o desenvolvimento de
uma srie perturbativa. Repetindo o procedimento da seo anterior, vamos transformar
a equao (2.41) em uma equao integral. Assim, tomando a transformada de Laplace e
Fourier da equao (2.41), obtemos
(k, s) =

(k, 0)
s + D|k|

(2.46)

Invertendo a equao acima, obtemos

Z

(x, t) =

dx0 G (x x0 , t t0 )
(x0 )

(2.47)

onde G (x, t) = L (x, t). E a equao integral associada a Eq. (2.41)

Z

(0)

(x, t) = (x, t)

Z
0

dt
0

dx0 G(2) (x x0 , t t0 )F (x0 , t0 )(x0 , t0 )

(2.48)

45
onde
G(2) (x, t)

d
= L (x, t) =
dx

dk

k sin(kx)etD|k|

(2.49)

A Eq. (2.49) pode ser usada para calcular pertubativamente a influncia de uma fora
externa qualquer aplicada ao sistema.
O emprego de derivadas fracionrias na equao de difuso gera alteraes nas funes distribuio de tempo de espera e de comprimento de saltos, dependendo se so aplicadas na varivel temporal ou espacial, respectivamente. Alm disso, as distribuies de
Lvy apresentam um comportamento superdifusivo, devido maior frequncia com que
saltos longos ocorrem, [2430].

Captulo

Equao de difuso fracionria no linear

com fora externa e termo absorvente
Neste captulo, vamos analisar as solues da equao da difuso generalizada, que
contm derivadas fracionrias espaciais e termos no lineares. Tambm vamos considerar
a presena de uma fora externa e de termos absorventes. As solues encontradas tm
dois comportamentos: cauda compacta e cauda longa; para a segunda situao, no limite
assinttico, podemos relacionar a soluo com a distribuio de Lvy ou Tsallis.

3.1 Introduo
A equao de difuso fracionria no linear, que uma generalizao da equao de
difuso normal, devido sua abrangncia em situaes fsicas relacionadas difuso anmala, tem atrado a ateno de muito pesquisadores, e tem sido aplicada com sucesso em
vrias situaes fsicas [14, 3247]. A equao de difuso fracionria que vamos analisar
contm uma fora externa aplicada, bem como um termo de reao devido s interaes
moleculares do sistema [1, 7, 4858]. Os principais resultados deste captulo foram publicados na Ref. [18].
Como h uma grande variedade de cenrios que podem ser descritos por essa equao, ento torna-se interessante investigar suas propriedades e solues, a fim de abranger
46

47
novas situaes, onde os processos de difuso dos fenmenos fsicos no so normais,
como por exemplo, no deslocamento de um fluido viscoso sobre um menos viscoso, em
um reservatrio de petrleo. Esse problema requer uma abordagem mais ampla, a fim de
se obter um comportamento no linear das interfaces consideradas, e tambm as caractersticas fractais ou multifractais das rochas porosas em que o petrleo est imerso. Em
particular, a geoestatstica destes reservatrios ser bem descrita por um movimento Browniano fracionrio e movimento fracionrio de Lvy [59]. Assim, pretendemos estabelecer
de uma forma geral algumas classes de solues para a equao de difuso no linear em
d-dimenses com derivada fracionria na coordenada espacial e com uma simetria radial:
0

D(t)
(r, t) = d1 0
t
r
r

1
rd1

d1

r
r [(r, t)] (r [(r, t)] )
r

d1
[r F (r, t)(r, t)] (t)(r, t)
r

(3.1)

onde D(t) o coeficiente de difuso dependente do tempo, F (r, t) representa uma fora
externa aplicada ao sistema e o ltimo termo da equao est relacionado com um termo
0

de reao. Os operadores fracionrios (r e r ), aplicados na varivel espacial, so os

operadores de Riemann-Liouville. A Eq. (3.1) pode ser obtida pela incorporao do termo
de reao no linear (t) bem como o termo absorvente na equao da continuidade
t + J = 0
A fora externa aqui considerada F (r, t) depende da distribuio do sistema (r, t). Para
alguns casos particulares dos parmetros e 0 , esta fora externa pode assumir a forma
F (r, t) = k(t)r +

k
r

(3.2)

Esta fora externa incorporada na Eq. (3.1) nos leva a uma extenso de alguns casos bem
conhecidos como os processos de Ornstein-Uhlenbeck e de Rayleigh [71] e a equao
de Burgers [72]. Outros casos particulares da equao acima podem ser encontrados

48
em [1, 7, 58, 73, 74]. Alm disso, o potencial relacionado a esta fora externa tem como
caso particular o potencial logartmico, utilizado, por exemplo, para estabelecer a conexo
entre o coeficiente de difuso fracionria e a mobilidade generalizada [75]. A presena
do termo de reao particularmente interessante nos processos catalticos heterogneos,
sistemas desordenados [7678], coagulao de espcies e reao irreversvel de primeira
ordem [79]. Ele tambm aparece quando um elemento radioativo, localizvel em processos biolgicos, sofre decaimento radioativo e transportado atravs de um meio poroso e
no fluxo de calor que envolve a produo de calor [80]. Para (t) = 0, podemos observar
na Eq. (3.1) que
Z

drrd1 (r, t)

independente do tempo (por isso, se normalizada em t = 0, assim continuar a ser

para sempre). Ao escrever essa equao na forma
t = r1d r J
e admitirmos as condies de contorno
J (, t) = 0
podemos mostrar que
Z

drrd1 (r, t)

uma constante de movimento.

Iniciamos nossa anlise, considerando 0 = 1 na Eq. (3.1) e tambm a presena de
uma fora externa do tipo
F (r, t) = k(t)r

(3.3)

49
com o coeficiente de difuso dependente do tempo. Na sequncia, vamos estender o resultado para 0 6= 1. Aps estes desenvolvimentos, passamos a analisar casos quando
consideramos valores especiais dos parmetros e 0 , na presena de uma fora externa
na forma (3.2), com o coeficiente de difuso constante e sem levar em considerao o
termo absorvente (t). Alm disso, vamos relacionar os resultados obtidos com a distribuio de Lvy ou o formalismo de Tsallis.

3.2 Equao de difuso fracionria no linear com dependncia temporal

Analisaremos as solues dependente do tempo para a Eq. (3.1) considerando uma
fora externa do tipo Eq. (3.3) e um coeficiente de difuso dependente do tempo, como
dissemos anteriormente. As solues so obtidas por meio do mtodo de similaridade, o
que torna possvel a reduo dessa equaes diferenciais a equaes ordinrias cuja forma
explcita depende das condies de contorno ou das restries impostas na forma de leis
de conservao. Desta forma, podemos restringir nossa investigao para solues do tipo

1
(r, t) =
(t)

r
e
(t)

(3.4)

As solues obtidas a partir deste procedimento satisfazem as condies de contorno

(, t) = 0, as condies iniciais e a condio de normalizao quando (t) = 0. Antes
de analisar as solues da Eq. (3.1), vamos considerar que

(r, t) = exp
0

de
t(e
t) (r, t)

50
onde (r, t) uma funo a ser determinada e formalmente dada pela Eq. (3.4). Pela
substituio de (r, t) na Eq. (3.1) podemos obter
0

D(t)
(r, t)
= d1 0
t
r
r

d1

(r, t) [r (r, t) ]
r

d1
+ d1
r
k(t)r (r, t)
r
r
1

(3.5)

onde

D(t) = D(t) exp (1 n )

e
e
dt(t)

Vamos considerar que

z=

r
(t)

e aplicar o mtodo de similaridade na Eq. (3.5), ou seja, considerando que a soluo

dada pela Eq. (3.4), podemos reduzir a equao de difuso (3.5) a duas equaes diferenciais ordinrias usando uma constante de separao k, determinada pela condio de
normalizao. Assim, obtemos
0

d
dz 0

d1

d
n
d

d
[e
(z)] z [e
(z)] = k
z e(z)
dz
dz

(3.6)

k(t)(t)
(t)
= kD(t) (t)
onde
= d( + n 1) + 1 + + ( + )n + 0

(3.7)

51
Ao resolver a equao Eq. (3.7) em relao (t), obtemos

(1/(1)) R
Z t
Rt
t
(t)
0
0
0
(1) e 0 dt0 k(t0 )
e
e
= 1+k
dtD(t)e
e 0 dt k(t )
(0)
0

(3.8)

com
k0 =

(1 )k
[(0)]1

Apresena de (0) pode estar relacionada a uma distribuio que tem uma forma inicial
dada. Tambm notamos que solues semelhantes para a funo dependente do tempo
foram encontradas para diferentes equaes de difuso no linear [1, 7, 5658]. Este fato
indica que diferentes equaes de difuso tm propagao anmala similar na distribuio
de probabilidade.

3.3 Equao de difuso fracionria no linear com dependncia espacial

Para analisar o comportamento espacial, vamos realizar uma integrao na Eq. (3.6),
que nos leva a
0

d 1
dz 0 1

n
d1
d

z
[e
(z)] z [e
(z)]
= kz d e(z) + C
dz

(3.9)

a partir da qual podemos analisar muitas situaes diferentes. A nossa anlise inicialmente
ser para o caso: 0 = 1, com , , , e arbitrrios e C = 0, de modo a satisfazer a
condio de contorno
(, t) = 0

52
Impondo estas condies, a Eq. (3.9) fica na forma

n
d

(z)] ] = kz 1+ [e
(z)]1
dz [z [e

(3.10)

um trabalho rduo encontrar uma soluo geral para uma equao de difuso no linear
como a Eq. (3.10), que contm derivada fracionria na varivel espacial, e considerando
ainda condies de contorno na forma (, t) = 0. Assim, para encontrar a soluo de
uma forma menos trabalhosa, vamos utilizar o ansatz
e(z) = N z / (1 + bz)/

(3.11)

Pela substituio do ansatz na Eq. (3.10) e usando a definio de derivada fracionria de

Riemann-Liouville, ou seja

d
[ + 1]
z

z
(1
+
bz)
=
dz
[ + 1 ] (1 + bz)

(3.12)

para
=++1
podemos obter
[1 + ( + )n][1 + + (1 + )n]

(1)[1 + + ( + 2)n]

n[1 + + (1 + )n]
=

( + 1)[1 + + ( + 2)n]

(1 )(1 )
[1 + + (1 + )n]

(3.13)

53
onde
1/(n+1)

(1 + ) n
k
N =
(1 + )
Fazendo uma escolha adequada dos parmetros n, , 0 , , e na Eq. (3.13) possvel
recuperar os resultados fornecido pela equao encontrada nas Refs. [1, 7, 5658], isto ,

(r, t) =
t
|r|

D(r, t) [(r, t)]

[(r, t)]
|r|1

{F (r)(r, t)} + (t) [(r, t)]

t

Fazendo a substituio dos parmetros , e , na Eq. (3.11) podemos escrever a soluo

na forma

n
e(z) = N z

[1++(+)n]
(1)

(1 + bz)

n
1

[1++(1+)n]
o [1++(+2)n]

(3.14)

onde b uma constante e, dependendo da situao analisada, pode assumir valores como
1. A escolha do valor de b = 1 implica uma soluo limitada, enquanto que, para
o valor de b = 1, a soluo abrange todo o espao. Assim, dependendo da escolha dos
parmetros , , e a soluo pode apresentar comportamento com cauda compacta,
para b = 1, ou com cauda longa, para b = 1. Este ltimo caso pode ser relacionado com
a distribuio de Lvy. De fato, se considerarmos o limite assinttico para um argumento
grande na Eq. (3.14) no caso caracterizado por um comportamento com cauda longa,
temos

(z)
z

1++(1+)n
[
]
1

54
Observamos que as distribuies que surgem a partir do formalismo Tsallis [64] tm
um comportamento de lei da

potncia e

podem estar conectadas distribuio de

Lvy, [6570]. Neste sentido, tambm podemos relacionar nossas solues quelas que
surgem no formalismo de Tsallis. Ao estabelecer a relao com aquele formalismo, tambm damos uma base termostatstica para esta equao, de maneira similar que ocorre
entre a equao de difuso usual e a termoestatstica de Boltzmann-Gibbs. Fazendo a
comparao entre o comportamento apresentado pela Eq. (3.14) para um grande argumento com o limite assinttico 1/z 2/(q1) , obtido a partir da distribuies de Tsallis [64],
obtemos

q=

1 + 2(1 )
[1 + + (1 + )n)

Este resultado permite-nos identificar o tipo de caudas e indica uma ligao, no limite
assinttico, entre a Eq. (3.14) e as distribuies que surgem no formalismo de Tsallis.
Podemos agora

empregar o mesmo procedimento

para obter a soluo quando

0 6= 1. Para este procedimento, vamos utilizar o mesmo ansatz (3.11) e a Eq. (3.12).
Obtemos

[+20 +(1+)n1]
[12(n+0 )n]
[+(+)n+0 ]
n+0 1
e z (1) (1 + bz) 1
e(z) = N
com

1 + d [ + (1 + )n + ]
0

(d + 0 )

(3.15)

55

1
(
) 1n
n+

(1 + ) n

(
)
+
d

(
+
)n

e =

N
(3.16)
(1 + ) k ( n+ ) + d + 1 ( + )n 0

onde

( + ( + )n + 0 )
(1 )

( + 20 + (1 + )n 1)
(1 2(n + 0 ) n )

e
=

(1 )(1 )
(20 + (1 + )n + 1)

e, como antes, b = 1 como pode ser visto na Fig.(3.1).

Outras situaes podem ocorrer com a Eq. (3.1) quando incorporamos o termo k /r
na fora externa. Com o objetivo de manter o procedimento anterior, baseado no mtodo da
similaridade, vamos escolher o valor de = 2 e o coeficiente de difuso independente
do tempo, isto , D(t) = D = constante. Deste modo, consideraremos as seguintes
situaes:
(i) 0 = 1 e = 1;
(ii) 0 = 1 e = 1;
(iii) 0 = 2 e = 0.
Como estamos interessados na soluo que pode ser expressa em termos da funo (3.4),
a Eq. (3.1) pode ser simplificada e ficar na forma
z

d1

d
k 1
d

z
e(z)
e (z) [z e (z)] = kz 1 +
dz
Dk

(3.17)

A soluo para a equao (3.17) dada por

"
e
e(z) = z / expq H

1/n #
k

dz z 1/n(+(1)) z +
z
Dk

(3.18)

56

Figura 3.1: Mostra o comportamento de [(t)]d (r, t) versus r/(t) para valores caractersticos de , 0 , e na ausncia de termo absorvente (fonte). Por simplicidade,
estamos considerando n = 1 e d = 1. Observa-se que, dependendo da escolha especfica destes parmetros, podemos ter uma cauda compacta (a) (b = 1) ou uma cauda
longa (b) (b = 1).

onde
1 + (1 )
q=
n

e=
H

1/n

57
Note que
expq [x] = [1 + (1 q)x]1/(1q)

para

1 + (1 q)x 0

de modo que
expq [x] 0

para

1 + (1 q)x < 0

Devemos observar que a expq [x] a q-exponencial que aparece do formalismo Tsallis pela
maximizao da entropia de Tsallis [64]:
R
1 dxq
Sq =
q1
obedecendo os vnculos apropriados.

Agora vamos analisar a segunda situao onde

0 = 1 e = 1. Obtemos
z

d1

e (z)

dz[z

d
1
e (z)] = kz 1 +
z
e(z)
Dk

(3.19)

A soluo para Eq. (3.19) dada por

e(z) =

k
+
z
Dk

1+

"

expq H

1/(1)

dz z /(1)

k
z+
z
Dk

/(1) #n
(3.20)

com
H=

1
( 1)k

1/n

q = n +

Para analisar a ltima situao, vamos fazer a troca de k por k e com e

k definido

58
pela condio de normalizao. Assim, para o caso 0 = 2 e = 0, temos

n
d d1
k

d
1
e
e(z)
z
e (z) z e (z) = k z 1
z
dz
De
k

(3.21)

De maneira semelhante ao que ocorre no primeiro e no segundo caso, a soluo tambm

pode ser expressa em termos da funo q-exponencial, como
"
e(z) = z 1d expq0

#
e
k
k

z
lnqe(z)
e
( + n)
kD

(3.22)

com

1 + d + (1 + + n d)
( + n)

q 0 = 2 n

qe = 2 +

lnqe(z)

z 1eq 1
1 qe

a funo q-logaritmica, isto , a funo inversa da funo q-exponencial definida anteriormente. As solues encontradas para estes casos especiais tambm podem apresentar
um comportamento de cauda compacta ou de cauda longa, dependendo dos parmetros
, , , n e .
Desta forma, podemos concluir que a equao de difuso fracionria no linear em
d-dimenses pode ser aplicada em diversas situaes fsicas, dependendo da escolha dos
parmetros , , , n e . As solues obtidas esto relacionadas com a distribuio de

59
Lvy para o caso caracterizado pelo comportamento de uma cauda longa. Aqui, tambm
foi proposta uma conexo com o formalismo de Tsallis.

Captulo

Equao de difuso fracionria com

simetria radial
Vamos analisar a equao de difuso fracionria em N -dimenses com simetria
radial, considerando o coeficiente de difuso com dependncia espacial e temporal, em
uma regio limitada e sujeita s condies de contorno com dependncia temporal e que
podem estar relacionadas s caractersticas das superfcies no homogneas do sistema.
Os resultados mostra um comportamento anmalo e um comportamento no usual da
funo densidade de probabilidade.

4.1 Introduo
Neste captulo, a exemplo do que feito em detalhes na Ref. [19], vamos considerar
a equao de difuso fracionria

(r, t) =
t

e t t)(r, t))
dt (D(r,

60

(4.1)

61
tomando uma situao em N -dimenses e considerando o caso com simetria radial no
qual
e t) ) r1N r (rN 1 D(r,
e t)r )
(D(r,

(4.2)

para o caso subdifusivo 0 < 1, e considerando, tambm, que o coeficiente de difuso

dado por:
e t) = D(t)r
D(r,
onde D(t) uma funo dependente do tempo, um nmero real e a derivada fracionria
temporal utilizada a derivada de Caputo [84] (Apndice A.2).
A Eq. (4.1) pode ser empregada em vrias situaes, em particular para os casos
em que o processo difusivo governado por equao de difuso fracionria, com simetria
esfrica e cilindrica, sujeita as condies de bordas com dependncia espacial e temporal [8587]. Desta forma, muitos casos apresentados na literatura so estendidos a um
contexto mais amplo, que podem apresentar, por exemplo, diferentes regimes de propagao da soluo ou ligao com a equao fracionria para uma condio de distribuio de
acordo com uma escolha apropriada de D(t).
Para analisar a Eq. (4.1) na presena de condies de contorno dependentes do
tempo, isto , superfcies no homogneas, usaremos a abordagem da funo de Green [88].
A funo de Green ser til para encontrar vrias propriedades relacionadas Eq. (4.1),
j que ela contm o comportamento dinmico do sistema e pode esclarecer a influncia
da superfcie sobre a propagao da soluo e o comportamento da propabilidade de sobrevivncia. Neste sentido, as solues obtidas possuem caractersticas notveis e podem
encontrar aplicaes. Um exemplo o fenmeno de adsoro onde o efeito de memria
desempenha um papel importante [89, 90], na presena de uma contorno reativa [91] e na
primeira passagem temporal em regies confinadas [92, 93].
e = D(t)r ,
Nossa primeira anlise ser realizada considerando a Eq. (4.1) com D(t)
na ausncia do termo de reao, isto , quando (r, t) = 0, sujeito s condies de

62
contorno
e a (t)
(r, t)|r=a =

e b (t)
(r, t)|r=b =

e a (t) e
e b (t) so duas funes quaisquer e dependente do tempo. Depois disso,
onde
analisamos a soluo para a Eq. (4.1) com o coeficiente de difuso na forma
e
D(r)
= [D(t) + D(t)]r
e incorporando tambm o termo de reao (r, t), que representa uma taxa de gerao ou
remoo da substncia difundida [95].

4.2 Equao de difuso fracionria

Iniciemos nossa anlise considerando a Eq. (4.1) sujeita s condies de contorno
com dependncia no tempo na forma;
e a (t)
(r, t)|r=a =

e b (t)
(r, t)|r=b =

e condio inicial
(r, 0) = e(r)
com o coeficiente de difuso
e t) = D(t)r
D(r,
Para este caso, a Eq. (4.1) pode ser escrita como:

(r, t) = D r (r, t)

(4.3)

63
com 0 < 1. Esta equao uma extenso da equao de difuso usual pela incorporao da derivada fracionria, que produz uma propagao anmala da condio inicial e
pode ser obtida a partir do formalismo de caminhantes aleatrios com tempo contnuo [96].
Alm disso, nota-se que, dependendo da escolha de a (t) e b (t), o sistema pode apresentar uma soluo estacionria que a mesma que a obtida para a equao de difuso usual.
Esta caracterstica indica que a presena da derivada fracionria temporal produz um relaxamento anmalo para o estado estacionrio, em constraste com a derivada fracionria
espacial que conduz na direo da distribuio de Lvy.
Para obter a soluo para a Eq. (4.3) e examinar a influncia das condies de
contorno sobre a relaxao do sistema e a probabilidade de sobrevivncia, vamos usar
a transformada de Laplace e a abordagem da funo de Green. Depois de alguns clculos,
possvel mostrar que a soluo da Eq. (4.3) no espao de Laplace dada por

b(r, s) = s

0 0N 1

dr r
a

Da

N
1
0
b r ; s)e
e b (s) G(r,
b r ; s)
G(r,
(r ) + Db

0
0
r
r =b
0

b
0
a (s) 0 G(r, r ; s)
r
r0 =a

N 1 e

(4.4)

onde os ltimos termos correspondem aos efeitos de superfcie e determinam a existncia

de uma soluo estacionria para o processo. Eles tambm podem estar relacionados a
vrios processos, em especial com a adsoro em superfcies fractais [97]. A funo de
b r0 ; s) obedece equao
Green G(r,

0
b r0 ; s) =
b
D r G(r, r ; s) s G(r,

1
rN 1

(r r0 )

(4.5)

e deve satisfazer as condies de contorno

G(r, r0 ; s)|r=b = 0

G(r, r0 ; s)|r=a = 0

Recorrendo ao problema das autofunes de Sturm-Liouville, relacionado ao operador

64
espacial da Eq. (4.5), temos

r (r, kn ) = kn2 (r, kn )

com
(a, kn ) = (b, kn ) = 0
possvel mostrar que

1 X
Nn
0
b
G(r, r ; s) =
(r, kn )(r0 , kn )

2
2 + n=1 s + Dkn

(4.6)

onde

(r, kn ) = r

1
(2+N )
2

2kn 1 (2+)
2kn 1 (2+)
r2
N
a2
2+
2+

2kn 1 (2+)
2kn 1 (2+)
a2
N
r2
2+
2+

com
=

N
(2 + ) 1

( 0)

e J (x), N (x) so as funes de Bessel de primeira e segunda espcie, respectivamente,

kn so as solues da equao de autovalores:

2kn 1 (2+)
2kn 1 (2+)
2kn 1 (2+)
2kn 1 (2+)
b2
a2
a2
b2
N
J
N
=0
2+
2+
2+
2+
(4.7)

65
e

1
2

2kn 12 (2+)
J 2+

a
2

Nn = (kn )
1
2kn 12 (2+)

J 2+

b
Fazendo a transformada inversa de Laplace na Eq. (4.4), obtemos
1
(r, t) =
(1 )
Z

+
0

t
0

1
dt
(t t0 )

dr0 r0N 1 G(r, r0 ; t0 )e

(r0 )

N 1 e
0
0 0
dt Db
b (t t ) 0 G(r, r ; t )
r
r0 =b
0

0 0
a (t t ) 0 G(r, r ; t )
r
r0 =a

N 1 e

Da

(4.8)

com
G(r, r0 ; t) =

t1 X
Nn (r, kn )n (r0 , kn )E, Dkn2 t
2 + n=1

(4.9)

onde
E, (x) =

X
i=0

xi
( + i)

que a generalizao da funo Mittag-Leffler definida em (2.28) conforme podemos ver

no grfico da Fig. 4.1.
A presena desta funo na soluo indica uma propagao anmala da distribuio
devido presena de derivadas fracionrias temporais na Eq. (4.1), que pode ser verificado
pela anlise do comportamento do segundo momento. Um notvel resultado pode ser
obtido a partir da Eq. (4.8) tomando o limite de b , compatvel com a condio de

66

0.00

G (r,t)

-0.01

-0.02

=1
= 0.5
= 0.5 = 0.5
= 0.5 = -0.5

-0.03

-0.04

1.0

1.5

2.0

2.5

3.0

Figura 4.1: Comportamento de G(r, t) versus r obtido a partir da Eq. (4.9) para um valor
tpico de e . Para simplificar, estamos considerando D = 1, t = 1, N = 3, a = 1 e
b = 3.

contorno (, t) = 0. Para este caso, a soluo dada por

1
(r, t) =
(1 )
Z

D
0

t
0

1
dt
(t t0 )

dr0 r0N 1 G(r, r0 ; t0 )e

(r0 )

e a (t t0 ) G(r, r0 ; t0 )
dt0 aN 1
0
r0
r =a

(4.10)

67
com a funo Green
2t1
G(r, r ; t) =
2+

dk
0

k(r, k)(r0 , k)E, (k 2 t )

1
1
2k
2k
J2 2+
a 2 (2+) + N2 2+
a 2 (2+)

(4.11)

Consideremos, agora, a Eq. (4.1) quando o coeficiente de difuso tem a forma

e t) = D(t)r
D(r,
com
D(t) = D + D(t)
Vamos, tambm, incorporar Eq. (4.1) um termo fonte (reao ou absoro) (r, t), a fim
de estender a soluo para um contexto mais amplo e possibilitar uma investigao, por
exemplo, de fenmenos como a absoro de droga [98], desenvolvimento de tumor [99], e
o fluxo de calor envolvendo produo de calor [97]. Aplicando os mesmos procedimentos
do caso anterior, a soluo da Eq. (4.1) para este caso dada por

1
(r, t) =
(1 )
Z

dt
0

Z
0

t
0

1
dt
(t t0 )

e r0 ; t0 )e
dr0 r0N 1 G(r,
(r0 )

e r 0 ; t t0 )
dr0 r0N 1 (r0 , t0 )G(r,

a
t

0 e
N 1 e
0 0
b (t t ) 0 G(r, r ; t )
dt Db
r
r0 =b
0

e
0 0
a (t t ) 0 G(r, r ; t )
r
r0 =a

N 1 e

Da

com a funo de Green dada por

(4.12)

68

e r0 ; t) = G(r, r0 ; t)
G(r,

1 X
Nn (r, kn )(r0 , kn )(t, kn )
2 + n=1

(4.13)

onde

Z
Z t3

X
(kn2 )m t
(t, kn ) =
dtm D(t tm )
dt2 D(t3 t2 )
m!
0
0
m=1
Z

(m+1)1 (m)
E,

dt2 D(t2 t1 )t1

2
kn t1

(4.14)

(m)

E, (y)

dm E, (y)
dy m

Esse resultado estende os resultados encontrados nas Refs. [8587], considerando o caso
N -dimensional, com um coeficiente de difuso dependente do espao e tempo, e levando
em conta as condies de contorno no homogneas. Neste sentido, tambm so entendidos os resultados encontrados nas Refs. [37, 94].
Utilizando os resultados acima, na ausncia do termo de reao, podemos obter
a probabilidade de sobrevivncia S(t), que est relacionada distribuio na primeira
passagem temporal, isto , F(t) = S(t)/t [95]. Assim, podemos mostrar que S(t)

69
dado por

S(t) =

1
(N )1
2

X
Nn
n=1

kn2

b 2 (N )1 J
1

a 2 (N )1 J

dr0 r0N 1 (r0 )(r, kn )(t, kn )

2kn 12 (2+)
a
2+
2kn 21 (2+)
b
2+

1
2+
Da 2 (N )1
2

(t)
(4.15)
dt (t t, kn ) a (t) 1
b
2kn 21 (2+)

a 2 (N )1 J 2+
b

b 2 (N )1 J

2kn 12 (2+)
a
2+

com
Z
Z t3

X
(kn2 )m t
dtm D(t tm )
(t, kn ) =
dt2 D(t3 t2 )
m!
0
0
m=1
Z

t2

(m)
Dkn2 t1
dt1 D(t2 t1 )tm
1 E

(4.16)

e o seu comportamento est ilustrado na Fig. 4.2.

Em concluso, investigamos as solues de uma equao de difuso fracionria em
N -dimenses levando em conta uma simetria radial, com um coeficiente de difuso apresentando uma dependncia espao-temporal genrica. Os resultados aqui apresentados
podem ser relevantes quando o fenmeno de difuso anmala considerado na presena
de superfcies que desempenham papel importante no comportamento do sistema.

70

1.0

= -0.5 = 0.5 N = 2
= 0.4 = 0.5 N = 3
= 0.5 = 1.0 N = 3

0.8

S (t)

0.6

0.4

0.2

0.0
0.0

0.5

1.0

1.5

2.0

2.5

3.0

Figura 4.2: Comportamento de S(t) versus t a fim de ilustrar a Eq. (4.15) para valores tpicos de N , e . Por simplicidade, consideramos as condies de contorno
(a, t) = 0 e (b, t) = 0, D = 1, a = 1, b = 3, e (r, 0) = (r 3/2)/rN 1 .

Captulo

Concluso e consideraes finais

Desde do primeiro artigo (Fick 1855) sobre difuso, passando pelo movimento
browniano onde Einstein mostrou "que, admitindo a validade da teoria molecular do calor, corpos de ordem de magnitude de 1/1000 mm, em suspenso em lquidos, j devem
executar um movimento aleatrio observvel, gerado pelo movimento trmico" [20], at o
momento presente, tem-se observado uma surpreendente ampliao da aplicabilidade dos
conhecimentos referentes difuso e aos tpicos matemticos relacionados a ela. Como
vimos ao longo do presente trabalho, a equao de difuso tm sido aplicada no estudo de
vrias situaes fsicas. Portanto, de fundamental importncia a obteno de solues
para o maior nmero possvel de situaes. No primeiro captulo, como ponto de partida
e para tornar mais claros os resultados de nosso trabalho, mostramos o que j est na literatura, os deslocamentos quadrtricos mdios das partculas em suspenso, e no suas
velocidades, como as quantidades observveis apropriadas, pois o segundo momento a
"impresso digital"dos processos difusivos, conforme as equaes (1.26) e (1.38), onde a
distribuio de probabilidades dos deslocamentos resultantes foi linear, durante o transcorrer do tempo arbitrrio t, e o perfil da concentrao uma gaussiana.
No segundo captulo, vimos no formalismo de caminhantes aleatrios, que a difuso
usual requer que tanto o tempo mdio de espera < > quanto o segundo momento < x2 >
sejam finitos. Se assim no for, teremos um processo subdifusivo no caso de < >
divergir e superdifusivo no caso em que < x2 > infinito. Foram empregadas derivadas
71

72
fracionrias tanto na varivel temporal como na varivel espacial, que nos levaram a uma
difuso anmala com o segundo momento finito, isto , < x2 > t , quando o emprego de
derivadas fracionrias na varivel temporal; e quando for na varivel espacial, resultar
em uma difuso anmala cujo segundo momento no finito, dando origem s chamadas
distribuies de Lvy. As solues encontradas para os dois caso foram escritas em termos
da funes H de Fox, da derivada fracionria de Caputo e das funes de Mittag-Leffter,
pois estas se mostraram muito apropriadas forma como desenvolvemos nossos clculos.
No terceiro captulo, procuramos escrever as solues encontradas em termos das
funes q-exponencial e q-logartmica, que so inerentes estatstica generalizada proposta por C. Tsallis, a qual sugere um contexto termoestatstico diferente para a Eq. (3.1).
Ela exibem um comportamento cuja cauda pode ser pequena ou longa dependendo da
escolha dos parmetros , 0 , , , , presentes na equao. Em particular, para o comportamento com cauda longa, ocorre uma conexo com as distribuies de Lvy, que correspondem a um processo de difuso anmala superdifusivo. Ali tambm conclumos que
o resultado proposto pode ser utilizado com sucesso para descrever uma classe geral de
aplicaes relacionadas difuso anmala.
Finalmente, no quarto captulo, fizemos uso da equao de difuso fracionria em
N -dimenses, considerando uma simetria radial e tambm o coeficiente de difuso com
uma dependncia espacial e temporal, isto , D(r, t) = D(t)r . Num primeiro momento, trabalhamos com a equao de difuso fracionria na ausncia do termo de reao e considerando uma condio de contorno no homognea e dependente do tempo,
D(t) = D(t). Neste caso, a distribuio tem uma propagao anmala devido presena da derivada fracionria e da condio de contorno que dependente do tempo. Num
segundo momento, incorporamos ao problema um coeficiente de difuso dependente do
tempo, isto , D(t) = D + D(t) e o termo de reao (r, t), e observamos que a dependncia temporal produziu diferentes regimes difusivos na soluo, que podem estar
relacionados com o estado de espalhamento na equao de difuso fracionria.
Esperamos que os resultados aqui apresentados possam ser teis para estudar os
sistemas onde a difuso anmala est presente e desempenha um papel importante.


Apendice

Funes Especiais
A.1 Operador Fracionrio de Riemann-Liouville
Uma maneira de fazer a introduo formal das derivadas fracionrias comear
lembrando da propriedade da derivada usual, a saber:

1 a

a1

D x = ax

n a

D x =x

an

n1
Y

(a m) =

m=0

a!
xan
(a n)!

(A.1)

Generalizando-a para a ordem fracionria, temos:

D xa =

(a + 1)
xa
(a + 1)

(A.2)

A Eq. (A.2), que corresponde derivada de Riemann-Liouville, ideal para trabalhar com
funes que podem ser desenvolvidas em srie de Taylor [102] como, por exemplo,

f (x) =

X
n=

an x D f (x) =

an D x =

n=

X
n=

Desenvolvendo a funo em srie de Taylor

73

an

(n + 1)
xn (A.3)
(n + 1)

74

f (x + a) =

X
Dn f (a)

n!

n=0

xn D f (x + a) =

X
n=0

Dn f (a)
xn
(n + 1)

(A.4)

A segunda maneira, mais elegante, de trabalhar com derivadas fracionrias, baseada na frmula de Cauchy [103]:
Z

D f (x) =

f (t)dt,

t2

D f (x)

f (t1 )dt1 dt2

0

(A.5)

O clculo da segunda integral pode ser simplificado, trocando a ordem da integrao, na

forma

Z
2

t2

D f (x) =

f (t1 )dt1 dt2 =

f (t1 )dt2 dt1
0
t1
Z x
Z x
Z x
=
f (t1 )
dt2 dt1 =
f (t)(x t)dt
0

t1

(A.6)

Este mtodo pode ser aplicado repetidas vezes, resultando em:

1
f (x) =
(n 1)!

f (t)(x t)n1 dt

(A.7)

Generalizando para valores fracionrios, que a derivada de Riemann-Liouville, fica:

1
D f (x) =
()

f (t)
dt
(x t)1

(A.8)

A derivada de Riemann-Liouville com o limite de integrao inferior a :

a Dx f (x)

1
=
()

x
a

f (t)
dt
(x t)+1

(A.9)

75

a Dx

o operador fracionrio de Riemann-Liouville. A -sima derivada fracionria ,

ento,

a Dx f (x) =

dn
n
f (x).
aD
dtn x

(A.10)

A partir da definio anterior, para uma potncia qualquer e a = 0, obtemos

0 Dx x

( + 1)
x
( + 1)

(A.11)

que coincide com a generalizao heurstica da diferenciao padro (A.1). Uma consequncia da definio (A.11) que a diferenciao e a integrao de uma constante

0 Dx 1

1
x
(1 )

(A.12)

A transformada de Laplace do operador Riemann-Liouville ser:

{0 Dt f (t)} = u {f (t)}.

(A.13)

A.2 Derivada Fracionria de Caputo

A derivada de ordem , no sentido de Caputo, definida da seguinte maneira [31,
87]:

1
d f (t)
=
dt
(n )
ou

t
0

1
dn f ( )
d
(t )1+n dtn

n 1 < < n,

(A.14)

76

d f (t)
dn f (t)
=
dt
dtn

= n.

(A.15)

A transformada de Laplace requer o conhecimento do valor inicial da funo f (t):

d f (t)
dt

= s {f (t)}

n1
X

f k (0+ )s1k ,

n1<<n

(A.16)

k=0

onde k = 1, 2, , n 1.

A.3 Funo H
As funes H, introduzida por Fox, em 1961, so funes que abrangem uma larga
classe de funes especiais conhecidas em fsica matemtica, tais como: funes de Bessel, funes hipergeomtricas, funes de Meijer, etc. So uma ferramenta matemtica
que permite tratar vrios fenmenos, incluindo a difuso anmala, o clculo fracionrio e
processos estocsticos no gaussianos, com uma estrutura unificada e elegante [30, 44].
De acordo com a notao padro de Fox, a funo H definida como:
m,n
Hp,q
(z)

m,n
Hp,q

h
(a ,
z (bqp,

p )
q )

1
=
2i

com a densidade integrante:

(s) =

A(s)B(s)
C(s)D(s)

Z
(s)z s ds
L

(A.17)

77
e
A(s) =

m
Y

(bj j s),

B(s) =

j=1

C(s) =

n
Y

(1 aj + j s)

j=1

q
Y

(1 bj + j s),

D(s) =

p
Y

(aj j s)

j=n+1

j=m+1

onde m, n, p e q so inteiros tais que 0 n p,

1 m q

{aj , bj } C,

{j , j } R+ . Quando ocorrer um produto vazio, considerada a seguinte forma

n = 0 B(s) = 1
m = q C(s) = 1
n = p D(s) = 1
Devido estrutura do ncleo (s), definido na integral (A.17), as funes de Fox satisfazem vrias propriedades teis como, por exemplo, as listadas abaixo.
Propriedade 1. Para k > 0,
h
(a ,
m,n
x (bqp,
Hp,q

p )
q )

h
(a ,
m,n
xk (bqp,
= kHp,q

kp )
kq )

Propriedade 2.
x

m,n
Hp,q

h
(a ,
x (bqp,

p )
q )

i
=

m,n
Hp,q

h
(a ,
x (bqp,

p ,p )
q ,q )

Propriedade 3.

0 Dz

m,n
Hp,q

(a , )
(az) (bqp, qp)

i
=z

m,n+1
Hp+1,q+1

(,),(ap , (p )
(az) (bq , q ),(,)

Algumas funes especiais e sua representao em termos das funes de Fox:

78

h
i

1,0
z b ez = H0,1
z (b, 1) ;

i
h
1
(1r, 1)
1,1
=
H
z

1,1
(0, 1)
(1 + z)r

h
z
/ 1,1
(/,
=a
H1,1 az (/,
1 + az

1)
1)

Generalizao da funo Mittag-Leffler (E,1 (z) = E (z))

E, (z) =

1,1
H1,2

h
(0,
z (0,

1)
1),(1,)

i
=

X
j=0

zj
( + j)

A.4 Funes de Mittag-Leffler

As funes de Mittag-Leffler, E, (z), so as mais usadas em clculo fracionrio,
fornecem uma possvel generalizao da funo exponencial e da funo erro, e so definidas pela seguinte srie [13]:

E, (z) :=

X
n=0

zn
,
(n + )

( > 0, > 0)

So casos particulares simples:

E1,2 (z) =

ez 1
z

e E2,2 (z) =

sinh (z 1/2 )
z 1/2

(A.18)

79
Para = 1, obtemos a funo de Mittag-Leffler em um parmetro:

E,1 (z) :=

n=0

zn
E (z)
(n + 1)

(A.19)

Casos particulares so:

E2 (+z 2 ) = cosh z

E2 (z 2 ) = cos z,

zC

e
E1/2 (z 2 ) = ez [1 + erf(z 1/2 )] = ez erfc(z 1/2 ) z C
onde erf (erfc) definida como funo erro (funo erro complementar):
2
erf(z) :=

eu du,

erfc(z) := 1 erf(z)

zC

A funo de Mittag-Leffler est relacionada com a integral de Laplace atravs da equao

Z

eu E (u z)du =

1
,
1z

>0

(A.20)

A.5 Funo de Green

A funo de Green fornece um mtodo para tratamento de equao diferencial com
um termo de fonte e usada para resolver equaes diferenciais no homogneas sujeitas
a condies de contorno. Seja L um operador diferencial linear e considere a equao
diferencial
Lu(~r) = 4(~r)

(A.21)

80
onde uma funo conhecida, denominada fonte e u a funo incgnita. Denomina-se
funo de Green do operador linear L, a funo G(~r r~0 ) tal que
LG(~r r~0 ) = 4(~r r~0 )

(A.22)

com condies de contorno definidas pelo problema analisado.

A.5.1 Problema de Sturm-Liouville

Queremos resolver a equao diferencial no homognea, no intervalo a x b,
sendo (x) uma funo especfica conhecida e condies de contorno em x = a e x = b.
"
#
d
du(x)
Lu(x)
p(x)
q(x)u(x) = (x)
dx
dx
onde L =

d
d
[p(x) dx
] q(x)
dx

(A.23)

o operador de Sturm-Liouville e (x) uma funo conhe-

cida. Para obter o Teorema de Green, multiplicamos o operador Lu(x) ora por um fator v,
ora por um fator u, e obtemos

du(x)
d
vp(x)
vq(x)u(x)
vLu(x) =
dx
dx
e

dv(x)
d
up(x)
uq(x)v(x)
uLv(x) =
dx
dx
Subtrando uma da outra, integrando de ambos os lados, fica
Z

b
a

b
dv
du
u
dx[vLu uLv] = p v
dx
dx x=a

(A.24)

81
Para resolver a equao (A.23) para uma fonte comum, (x), introduzimos a funo de
Green G(x, x0 ), que a soluo para um ponto fonte em x0 :
LG(x, x0 ) = (x x0 )

(A.25)

onde (x x0 ) a delta de Dirac. Fazendo u = u(x) e v(x) = G(x, x0 ), trocando x por x0

e aplicando o teorema de Green, fica:
Z

u(x) =

dx0 G(x0 , x)(x0 )

b
du(x0 )
0 d
0
p(x ) (G(x , x)
u(x ) 0 G(x , x)
dx0
dx
x0 =a
0

(A.26)

Escolhendo as condies de contorno como

G(a, x0 ) = G(b, x0 ) = 0
esta condio elimina a quantidade desconhecida du(x0 )/dx0 em x0 = a, b na Eq. (A.26).
Ento, a equao fica
Z

u(x) =
a

b
d
0
dx G(x , x)(x ) + p(x )u(x ) 0 G(x , x)
dx
x0 =a
0

(A.27)

que a soluo da equao (A.23) em termos das quantidades conhecidas.

A.5.2 Expanso da Funo de Green em Autofunes

As funes ortogonais surgem frequentemente na resoluo de equaes diferenciais; melhor dizendo, pode-se gerar um conjunto ortogonal de funes que envolva um
problema de contorno com equaes diferenciais lineares de segunda ordem, contendo um
parmetro :
Lun =

d
dun (x)
[p(x)
] qun (x) = n (x)un (x)
dx
dx

(A.28)

82
O problema de autovalores de Sturm Liouville :
d
dun (x)
[p(x)
] qun (x) + n (x)un (x) = 0
dx
dx
sujeito s condies de contorno homogneas do tipo
0

(A.29)

(A.30)

Aun (a) + Bun (a) = 0

e
Cun (b) + Dun (b) = 0
Agora, queremos resolver a equao diferencial no homognea do tipo:
Lu + (x)u = (x)

(A.31)

sujeita s condies de contorno na forma

Au(a) + Bu0 (a) = X
Cu(b) + Du0 (b) = Y

(A.32)

Nas equaes acima, (x) uma funo definida, X e Y so constantes. Usando a funo
de Green G(x, x0 ), que satisfaz equao diferencial

LG(x, x0 ) + (x)G(x, x0 ) = (x x0 )
e as condies de contorno

(A.33)

83

AG(a, x0 ) + B G(x, x0 )
=0

dx
x=a

=0
CG(b, x0 ) + D G(x, x0 )

dx

(A.34)

x=b

a soluo das equaes (A.31) e (A.32) dada por

Z

dx0 G(x, x0 )(x0 )

a

b
0
0
0 du(x )
0 d
0
p(x ) G(x, x )
u(x ) 0 G(x, x )
dx
dx
x0 =a

u(x) =

(A.35)

A soluo da Eq. (A.33), juntamente com as condies dadas por (A.34) para G(x, x0 ),
dada pela srie

G(x, x0 ) =

n (x0 )um (x)

(A.36)

Desta forma, com a Eq. (A.33) e a condio de ortogonalidade, encontramos G(x, x0 ) dada
por

G(x, x ) =

X un (x)un (x0 )
n

( n )

(A.37)

onde un (x) so as autofunes da Eq. (A.28). A equao geral (A.37) para G(x, x0 )
um bom resultado. Infelizmente, ele envolve uma srie infinita. Assim, para facilitar um
dado problema, escolhemos condies de contorno de tal forma que a G(x, x0 ) se anule nas
extremidades, podendo ser desenvolvida em uma srie de funes ortogonais convenientes
como, por exemplo, uma srie em senos de Fourier [10].


Apendice

Passeio aleatrio
A origem de cada um dos termos que compem uma equao de difuso pode ser
discutida de uma forma muito interessante quando consideramos o formalismo de caminhantes aleatrios com espao e o tempo contnuos, ao qual nos referiremos como CTRW.
Em contraste com o caminho aleatrio, onde o tempo de espera e o comprimento dos saltos so constantes, no CTRW estas grandezas podem variar. Esta abordagem baseada
na ideia de usarmos uma formulao microscpica levando em conta propriedades como
a distribuio das distncias dos saltos efetuados pela substncia ao se difundir em um
substrato e a distribuio temporal de espera entre saltos consecutivos. Assim, para formularmos uma abordagem em termos de caminhantes aleatrios com espao e o tempo
contnuos, necessitamos definir uma funo densidade de probabilidade (pdf) (x, t). De
(x, t), podemos obter a distribuio relacionada ao comprimento (tamanho) do salto
Z

(x) =

dt (x, t)

(B.1)

e a distribuio relacionada ao tempo de espera

Z

w(t) =

dx (x, t) .

(B.2)

Assim, (x)dx a probabilidade de ocorrncia de um salto com um dado comprimento no

intervalo (x, x + dx) e w(t)dt probabilidade de termos um dado tempo de espera entre
84

85
saltos no intervalo de tempo (t, t+dt). Se o comprimento do salto e do tempo de espera so
variveis aleatrias independentes, encontra-se sob a forma dissociada (x, t) = w(t)(x)
para o salto da funo densidade de probabilidade (pdf) (x, t). Se ambos so acoplados,
isto , (x, t) = p(x|t)w(t) ou (x, t) = p(t|x)(x), um salto de um determinado comprimento envolve um certo tempo, ou vice-versa, ou seja, em um determinado intervalo
de tempo o caminhante s pode viajar a uma mxima distncia. Na Fig. B.1 vemos um
modelo do CTRW.
2

t
1

Figura B.1: Modelo de caminhantes aleatrios com espao e o tempo contnuos (CTRW).
esquerda, processo CTRW sobre uma rede em duas dimenses, uma generalizao
da situao Browniana. O tempo de espera simbolizado por crculos, onde o dimetro de cada crculo proporcional ao tempo de espera que deve ser gasto em um
determinado stio, antes que o evento do prximo salto ocorra. O comprimento dos
saltos tem valor fixo. direita, temos o diagrama (x,t) de um processo CTRW unidimensional [13].

Com estas definies podemos formular o CTRW com a seguinte equao

Z

(x, t) =

dx

dt (x0 , t0 )(x x0 , t t0 ) + (x)(t)

(B.3)

que relaciona a pdf (x, t) de chegada na posio x no tempo t, com o evento de chegada
em x0 no tempo t0 , (x0 , t0 ). O segundo termo denota a condio inicial que aqui foi
escolhida como sendo do tipo (x). Conseqentemente, a pdf (x, t) de se encontrar a

86
partcula em x no tempo t
Z

(x, t) =

dt0 (x, t0 )(t t0 )

(B.4)

sendo (t) a probabilidade cumulativa, definida por

Z

(t) = 1

dt0 w(t0 )

(B.5)

No espao de Fourier - Laplace a Eq. (B.4) adquire o seguinte aspecto:

(k, s) =

1 (s) 0 (k)
s
1 (k, s)

onde 0 (k) denota a condio inicial.

(B.6)


Apendice

Difuso Fracionria Radial em um

Cilindro
Consideremos um caso de difuso fracionria temporal radial em duas dimenses,
no interior de um cilindro de raio R [47], conforme a Fig. C.1. A equao diferencial para
R

Figura C.1: Difuso em um cilndro de raio R.

uma difuso radial isotrpica em duas dimenses definida como:

(r, t)
D (r, t)
=
r
= D2 (r, t)
t
r r
r

87

(C.1)

88
onde (r, t) , como usual a funo densidade de probabilidade (pdf) e D o coeficiente de
p
difuso e r = x2 + y 2 a distncia radial no espao bidimensional.
Integrando a Eq. C.1 em relao ao tempo, fica:

(r, t) = (r, 0) + D

2 (r, t0 )dt0

(C.2)

As condies de contorno apropriadas para difuso radial em um cilindro de raio R e

comprimento unitrio so:
(r, 0) = 0,

para r < R

(R, 0) = (R, t) = 0
A integral fracionria de ordem (0 < < 1) em relao ao tempo definida como:

0 It f (t)

1
=
()

(t t0 )1 f (t0 )dt0

(C.3)

a nossa equao fracionria da difuso representada pela forma integral (C.2) se torna
D
(r, t) = (r, 0) +
()

(t t0 )1 2 (r, t0 )dt0

(C.4)

O problema que queremos resolver ter como ponto de partida a Eq. (C.4). O problema foi resolvido por Achar e Hanneken usando transformadas de Hankel [47]. Aqui,
ns o abordaremos usando a transformada de Laplace e obteremos os mesmos resultados.
Aplicando a transformada de Laplace a todos os membros da Eq. (C.4), obtemos
(r, s) =

(r, 0)
+ Ds 2 (r, s)
s

(C.5)

89
Usando a primeira das condies de contorno propostas acima, (r, 0) = 0, obtemos
(r, s) = Ds 2 (r, s)

(C.6)

A soluo da Eq. (C.6) pode ser escrita utilizando as autofunes

2 n = Kn2 n
Assim, podemos escrever a Eq. (C.1) como

r n = Kn2 n
r r r

(C.7)

Desse modo, a soluo da Eq. (C.6) pode ser escrita na forma,

n (r) = An Jo (Kn r) + Bn Yo (Kn r)

(C.8)

O termo Bn Yo (Kn r) diverge em r = 0. Assim, Bn = 0 ento, a Eq. (C.8) torna-se:

n (r) = An Jo (Kn r)

(C.9)

Utilizando as condies de contorno, para os quais n (r) = 0, temos,

Jo (Kn r) = 0

(C.10)

que define os autovalores positivos de Kn .

A funo (r, s) pode ser definida na forma:
(r, s) =

An (s)Jo (Kn r)

n=1

onde

RR
An (s) =

r Jo (Kn r)(r, s)dr

RR
r Jo2 (Kn r)dr
0

(C.11)

90
Usando as relaes de recorrncia podemos encontrar An (s), ou seja,

d n
x Jn (x) = xn Jn1 (x)
dx
e

d n
x Jn (x) = xn Jn+1 (x)
dx
Na Eq. (C.6), multiplicando ambos os lados por r Jo (Kn r) e integrando no intervalo

de 0 a R, vem:
Z

rJo (Kn r)(r, s)dr = Ds

rJo (Kn r)2 (r, s)dr

(C.12)

e, ento, podemos obter

Z

An (s)
0

Z
Jo2 (Kn r)dr = Ds

R
0

)
(r, s)
r
Jo (Kn r)dr
r
r

(C.13)

Utilizando a condio de contorno, podemos escrever

R

rJo (Kn r) = 0
r
0

Desta forma, a Eq. (C.13) torna-se

Z

An (s)
0

(Z
rJo2 (Kn r)dr = Ds

Na Eq. (C.14), o termo

R
0

!
1
Jo
Jo
r
r
(r, s)dr R

r r
r
r

)
(R, s) (C.14)

r=R

!
Jo
1
r
= Kn2 Jo
r r
r

e, ento, podemos reescrever a Eq. (C.14) como

Z

An (s)
0

Z
rJo2 (Kn r)dr + Ds Kn2 An (s)

R
0

o
rJo2 (Kn r)dr = Ds R

r=R

)
(R, s)

91
Fazendo uso das propriedades
"
#

x J (x) = x J+1 (x)

x
e

R
0

rJo2 (Kn r)dr =

R 2
J (Kn R)
2 1

Podemos escrever os An (s) como

An (s) =

2Ds RJ1 (Kn R)(R, s)

2D
s
=
(R,
s)
R2 (1 + Kn2 Ds )J12 (Kn R)
RJ1 (Kn R)
(1 + Kn2 Ds )

(C.15)

A nossa funo (r, s) agora pode ser escrita, na forma

(r, s) =

2 X DKn Jo (Kn r)
s
(R, s)
R n=1 J1 (Kn R) (1 + Kn2 Ds )

(C.16)

O teorema da convoluo nos diz que:

Z t
f (t0 )g(t t0 )dt0

F (s)G(s) =
1

e, de acordo com a condio inicial,

(R, s) = (R, t) = o
1

Assim

s
(1 + Kn2 Ds )

=t

E,

Kn2 Dt

Tomando a transformada inversa de Laplace na Eq. (C.16), temos

2 X DKn Jo (Kn r)
(r, t) =
R n=1 J1 (Kn R)

0 1

o (t t )
0

0
2
E, (Kn D)(t t ) dt0

(C.17)

92
Como

E, (z) =

X
k=0

zk
(k + )

a integral da Eq. (C.17) pode ser escrita na seguinte forma:

0 1

o (t t )
0

E, (Kn2 D)(t

t)

dt = t E,+1

DKn2 t

Desta maneira, a Eq. (C.17) pode ser escrita como:

2 X DKn Jo (Kn r)
2
(r, t) =
t E,+1 DKn t
R n=1 J1 (Kn R)

(C.18)

mas

Dt E,+1

DKn2 t

Dt
X
k=0

DKn2 t

(k + +1)

(C.19)

o lado direito da Eq. (C.19) pode ser simplificado para

Dt
X
k=0

DKn2 t

(k + +1)

1
2
= 2 1 E,1 DKn t
Kn

Disso tudo, resulta uma simplificao da Eq. (C.18), que pode agora ser escrita como

2o X Jo (Kn r)
2
(r, t) =
1 E,1 DKn t
.
R n=1 Kn J1 (Kn R)

(C.20)

93
Este resultado pode ser expresso em termos do parmetro adimensional,
=

Dt
,
R2

e das razes da funo de Bessel Jo , qn = RKn , como:

(r, t)
=
o

(
12

Jo
X

qn Rr

qn J1 (qn )

E,1

qn2

(C.21)

Momentos da Distribuio da Concentrao

A Eq. (C.20) fornece a concentrao da espcie difundinda em uma dada localizao
r como uma funo do tempo t. O n-simo momento normalizado da distribuio de
concentrao definido por:
RR
n

(r, t)rn 2rdr

hr i = R R

(C.22)

(r, t)2rdr

e pode ser calculado para qualquer valor particular de n. A quantidade da amostra que est
sendo difundida definida como:
Z

Mt =

(r, t)2rdr

(C.23)

e corresponde ao momento de ordem zero da distribuio da concentrao. Substituindo a

Eq. (C.20) na Eq. (C.23), obtm-se

DKn2 t

1 E,1

4o X
Mt =
R n=1
Kn J1 (Kn R)

Jo (Kn r)dr
0

Podemos calcular a integral da Eq. (C.24), definindo t = Kn r; ento,

dr =

dt
kn

(C.24)

94
Assim, a integral resulta em

R
0

1
Jo (Kn r)dr = 2
Kn

R
0

R
d
1
R

tJ1 (t) dt = 2 tJ1 (t) =

J1 (Kn R)

dt
Kn
Kn
0

Desta forma, a Eq. (C.24) torna-se

Mt = 4o

1 E,1 DKn2 t

X
Kn2

n=1

(C.25)

A quantidade da amostra que foi difundida aps um tempo muito grande, isto , quando
t , ser:

M = lim 4o
t

1 E,1

DKn2 t

X
1
= 4o
Kn2
n=1

Kn2

n=1

(C.26)

Podemos escrever a Eq. (C.26) como

M

X
1
= 4o
= o R2
2
K
n
n=1

(C.27)

E,1
X
Mt
=14
M
qn2
n=1

qn2
(C.28)

onde
=

Dt
R2

qn = RKn

Clculo do Deslocamento Quadrtico

Para definir o deslocamento quadrtico, vamos tomar o numerador da Eq. (C.22),

95
como:
Z

hr i =

(r, t)r 2rdr =

dr(r, t)r 2 = 2

(r, t)r3 dr

(C.29)

Esta quantidade corresponde ao deslocamento quadrtico mdio na difuso da partcula.

Fazendo a substituio na Eq. (C.18), obtemos

DKn t E,+1
4o X
hr i =
R n=1
J1 (Kn R)
2

DKn2 t

Jo (Kn r)r3 dr

(C.30)

Usando o fato de que

Z

R
0

#
"
2
R
4
Jo (Kn r)r3 dr = 2 RKn
J1 (Kn R)
Kn
RKn

(C.31)

e sabendo que Jo (Kn R) = 0, substituindo a Eq. (C.31) na Eq. (C.30) e fazendo algumas
operaes, obtemos

hr2 i
2 2 =
R

1
4

n=1
1
4

2
2
qn

8
4
qn

E,1 (qn2 )

(C.32)

2)
E,1 (qn
2
n=1
qn

mostrando que o deslocamento quadrado mdio no apresenta a proporcionalidade com t

como conhecido no caso unedimensional.

Resultado Numrico
Os resultados do clculo numrico so apresentados em termos do parmetro adimensional, conforme pode ser visto nos grficos abaixo. Na Fig. C.2 mostra-se a concen

trao da /o em funo de r/R para = 0.05, = 0.05, e = 4 0.05, respectivamente. Na Fig.C.3, mostra-se a razo de Mt /M em funo de , enquanto que na
Fig. C.4 mostra-se o comportamento do segundo momento em funo do parmetro .

Comentrio

96

1.0

0.8

= (0.05)

1/4

0.6

C/C

=(0.05)

1/2

0.4

0.2

=0.05

0.0
0.0

0.2

0.4

0.6

0.8

1.0

r/R

Figura C.2: Variao da concentrao com a distncia, conforme a Eq. C.21

1.0

0.8

0.6

M /M
t

infinito

0.4

0.2

0.0
0.0

0.2

0.4

0.6

Dt /R

0.8

1.0

Figura C.3: A amostra total difundida em relao ao parmetro , conforme a Eq. C.29
Os resultados exibidos nas Figs. (C.2), (C.3) e (C.4), provenientes das equaes
(C.21), (C.28) e (C.32), respectivamente, so os resultados essenciais deste Apndice.
Estes resultados para a difuso radial fracionria na parte interna de um cilindro so novos
e foram obtidos pela primeira vezes por Achar e Henneken [47]. A soluo da equao

97

2.0

1.8

2<r >/R

1.6

1.4

1.2

1.0
0.0

0.2

0.4

0.6

0.8

1.0

Dt /R

Figura C.4: O segundo momento da distribuio da concentrao em funo do parmetro , conforme a Eq. (C.32).

de difuso fracionria (C.21) satisfazem as condies de contorno apropriada e quando o

parmetro = 1 a soluo da equao de difuso fracionria radial se reduz soluo
padro, bem como s solues das Eqs. (C.28) e (C.32).
Um dos aspectos supreendentes desses resultados a universalidade latente destas
equaes. Por exemplo, a curva da variao da concentrao com a distncia Fig. (C.2)
depende somente dos parmetros adimensional = Dt /R2 , onde D o coeficiente de
difuso, R o raio do cilndro e , o parmetro que descreve a difuso fracionria.
Desse modo, obtm-se a soluo para o problema da difuso fracionria radial no
interior de um cilindro em termos das transformadas inversa de Laplace e da funo de
Mittag-Leffler. Os resultados permitem concluir que a concentrao, como funo da distncia, a quantidade total da substncia difundida e o segundo momento da concentrao,
todos eles exibem um comportamento universal em termos do parmetro adimensional .

Referncias Bibliogrficas

[1] M. Bologna, C. Tsallis and P. Grigolin, Anomalous diffusion associated with nonlinear fractional derivative Fokker-Plank-like equation: Exact time-dependent solutions, Phys. Rev. E, 62 (2000) 2213.
[2] L.F. Richardson, Atmospheric diffusion shown on a distance-neighbour graph, Proc.
R. Soc. London Ser. A, 110 (1926) 709.
[3] H. Spohn, J. Phys. I (France) 3 (1993) 69.
[4] C. K. Peng, J. Mietus, J. M. Hausdorff, S. Havlin, H. E. Stanley, and A. L. Goldberger, Long range anticorrelations and non-gaussian behavior of the heartbeat, Phys.
Rev. Lett., 70 (1993) 1343.
[5] V. PLEROU, et al., Economic fluctuations and anomalous diffusion, Phys. Rev. E,
63 (2000) 3023.
[6] A. OTT, et al. Anomalous diffusion in "living polymers": a genuine Levy flight?,
Phys. Rev. Lett., 65 (1990) 2202.
[7] E.K. Lenzi, G.A. Mendes, R.S. Mendes, L.R. da Silva, and L.S. Lucena, Exact solutions to nonlinear nonautonomous space-fractional diffusion equations with absorption, Phys. Rev. E, 67 (2003) 051109.

98

99
[8] A. Schot, M.K. Lenzi, L.R. Evangelista, L.C. Malacarne, R.S. Mendes and E.K.
Lenzi, Fractional diffusion equation with an absorbent term and a linear external
force: Exact solution, Phys. Lett. A (2007).
[9] D. H. Zanette and P. A. Alemany, Thermodynamics of anomalous diffusion, Phys.
Rev. Lett. 75 (1995) 366.
[10] H. W. Wyld, Mathematical Methods for Physics. Westview Press, Bouldr, 1976.
[11] E. Butkov, Fsica Matemtica. Rio de Janeiro: Editora Guanabara S. A., (1988).
[12] M.D. Kleber, Equaes diferenciais aplicadas fsica, UEPG, (1999).
[13] R. Metzler, J. Klafter, The random walks guide to anomalous diffusion: A fractional
dynamics approach, Phys. Rep. 399 (2000) 1.
[14] R. Metzler, E. Barkai, and J. Klafter, Anomalous transport in disordered systems
under the influence of external felds, Physica A 266 (1999) 343.
[15] S.S. Plotkin, P.G. Wolynes, Non-Markovian Configurational diffusion and reaction
coordinates for protein folding, Phys. Rev. Lett. 80 (1998) 5015.
[16] I.M. Sokolov, Thermodynamics and fractional Fokker-Planck equations, Phys. Rev,
E, 63 (2001) 056111.
[17] D.Prato, C. Tsallis, Nonextensive foundation of Lvy distributions, Phys. Rev. E, 60
(1999) 2398.
[18] A.T. Silva, E.K. Lenzi, L.R. Evangelista, M.K. Lenzi, L.R. da Silva, Fractional nonlinear diffusion equation, solutions and anomalous diffusion, Physica A 375 (2007)
65.
[19] E.K. Lenzi, L.R. da Silva, A.T. Silva, L.R. Evangelista, M.K. Lenzi, Some results for
a fractional diffusion equation with radial symmetry in a confined region, Physica A
388 (2009) 806.

100
[20] A. Einstein, O ano miraculoso de Einstein: cinco artigos que mudaram a face da
fsica, Editora UFRJ, seg. edio (2005).
[21] A. Einstein, Investigations on the theory of the brownian movement, Dover Publications.
[22] D.G. Zill, M.R. Cullen, Equaes Diferenciais, Vol. 1 e 2. So Paulo: Pearson Makron Books, (2001).
[23] J.M. Silva, J.A.S. Lima, Quatro abordagens para o movimento browniano, Rev. Bras.
Ens. Fs., 29 (2007) 25.
[24] G. Gonalves, M.K. Lenzi, L.S. Moraes, E.K. Lenzi e M.F. Andrade, Difuso anmala e equaes fracionrias de difuso, Acta Scientiarum.Technology, Vol. 27,
(2005).
[25] M.L. Boas, Mathematical Methods in the Physical Sciences, Third Edition, John
Wiley Sons, (2006).
[26] K.B. Oldham and J. Spanier, The Fractional Calculus, Dover edition, (2006).
[27] I.N. Sneddon, The Use of Integral Transforms, McGraw-Hill, (1972).
[28] M.R. Spiegel, Schaums Outline or Theory and problems of Laplace Transforms,
McGraw-Hill
[29] M.R. Spiegel, Schaums Outline or Theory and problems of Fourier Analysis with
Applications to boundary value problems, McGraw-Hill
[30] C. Fox, The G and H functions as symmetrical Fourier kernels, Trans. Amer. Math.
Soc. 98, 3 (1961) 395.
[31] F. Huang, F. Liu, The space-time fractional diffusion equation with Caputo derivatives, J. Appl. Math. & Comp. 19 (2005) 179.

101
[32] S.S. Plotkin, P.G. Wolynes, Non-Markovian configurational diffusion and reaction
coordinates for protein folding, Phys. Rev. Lett. 80 (1998) 5015.
[33] M. Muskat, The Flow of Homogeneous Fluid Through Porous Media, McGraw-Hill,
New York, 1937.
[34] P.Y. Polubarinova-Kochina, Theory of Ground Water Movement, Princeton University Press, NJ, 1962.
[35] J. Buckmaster, Viscous sheets advancing over dry beds, J. Fluid Mech. 81 (1977)
735.
[36] P. Grosfils, J.P. Boon, Nonextensive statistics in viscous fingering, Physica A 362
(2006) 168.
[37] E.K. Lenzi, R.S. Mendes, J.S. Andrade, L.R. da Silva, L.S. Lucena, N dimensional fractional diffusion equation and Green function approach: Spatially dependent
diffusion coefficient and external force, Phys. Rev. E 71 (2005) 052101.
[38] F. Mainardi and G. Pagnini, The Wright functions as solutions of the time-fractional
diffusion equation, Appl. Math. Comput. 141 (2003) 51.
[39] R. Metzler and J. Klafter, Boundary value problems for fractional diffusion equations, Physica A 278 (2000) 107.
[40] W.R. Schneider and W. Wyss, Fractional diffusion and wave equations, J. Math.
Phys. 30 (1989) 134.
[41] O.M.P. Agrawal, Solution for a Fractional Diffusion-Wave Equation Defined in a
Bounded Domain, Nonlinear Dyn. 29 (2002) 145.
[42] M.O. Vlad, Fractional diffusion equation on fractals: Self-similar stationary solutions in a force field derived from a logarithmic potential, Chaos Solitons Fractals 4
(1994) 191.

102
[43] Y.E. Ryabov, Behavior of fractional diffusion at the origin, Phys. Rev. E 68 (2003)
030102(R).
[44] F. Mainardi, G. Pagnini and R.K. Saxena, Fox H functions in fractional diffusion , J.
Comput. Appl. Math. 178 (2005) 321.
[45] M.M. Meeschaert, D.A. Benson and B. Baumer, Multidimensional advection and
fractional dispersion, Phys. Rev. E 59 (1999) 5026.
[46] V.V. Uchaikin, Multidimensional symmetric anomalous diffusion, Chem. Phys. 284
(2002) 507.
[47] B.N.N. Achar, J.W. Hanneken, Fractional radial diffusion in a cylinder, J. Mol. Liq.
114 (2004) 147.
[48] A. Compte, D. Jou and Y. Katayama, Anomalous diffusion in linear shear flows, J.
Phys. A 30 (1997) 1023.
[49] C. Giordano, A.R. Plastino, M. Casas and A. Plastino, Nonlinear diffusion under
a time dependent external force: q-maximum entropy solutions Eur. Phys. J. B 22
(2001) 361.
[50] C. Tsallis and D.J. Bukman, Anomalous diffusion in the presence of external forces:
Exact time-dependent solutions and their thermostatistical basis, Phys. Rev. E 54
(1996) R2197.
[51] G. Drazer, H.S. Wio and C. Tsallis, Anomalous diffusion with absorption: Exact
time-dependent solutions, Phys. Rev. E 61 (2000) 1417.
[52] A.R. Plastino, M. Casas and A. Plastino, A nonextensive maximum entropy approach

to a family of nonlinear reactionUdiffusion

equations, Physica A 280 (2000) 289.
[53] P.C. Silva, L.R. da Silva, E.K. Lenzi, R.S. Mendes and L.C. Malacarne, Anomalous

di usion and anisotropic nonlinear FokkerUPlanck

equation, Physica A 342 (2004)
16.

103
[54] T.D. Frank, On a general link between anomalous diffusion and nonextensivity, J.
Math. Phys. 43 (2002) 344.
[55] A.R. Plastino and A. Plastino, Non-extensive statistical mechanics and generalized
Fokker-Planck equation, Physica A 222 (1995) 347.

[56] C. Tsallis and E.K. Lenzi, Anomalous diffusion: nonlinear fractional FokkerUPlanck
equation, Chem. Phys. 284 (2002) 341 Erratum 287 (2002) 295.
[57] E.K. Lenzi, R.S. Mendes, L.C. Malacarne and I.T. Pedron, Anomalous diffusion,

nonlinear fractional FokkerUPlanck

equation and solutions, Physica A 319 (2003)
245.
[58] E.K. Lenzi, R.S. Mendes, K.S. Fa, L.S. Moraes, L.R. da Silva and L.S. Lucena, Nonlinear fractional diffusion equation: Exact results, J. Math. Phys. 46 (2005) 83506.
[59] T.A. Hewett, Fractal Distributions of Reservoir Heterogeneity and their Influence on
Fluid Transport 61st Annual Technical Conference and Exhibition of the Society of
Petroleum Engineers, New Orleans, 1988.
[60] R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, Singapore (2000).
[61] H. Pascal, A nonlinear model of heat conduction, J. Phys. A: Math. Gen. 25 (1992)
939.
[62] E. Daly and A. Porporato, Similarity solutions of nonlinear diffusion problems related to mathematical hydraulics and the Fokker-Planck equation, Phys. Rev. E 70
(2004) 056303.
[63] J. Gratton, F. Minotti and S.M. Mahajan, Theory of creeping gravity currents of a
non-Newtonian liquid, Phys. Rev. E 60 (1999) 6960.
[64] C. Tsallis, A.R. Plastino and R.S. Mendes, The role of constraints within generalized
nonextensive statistics, Physica A 261 (1998) 534.

104
[65] C. Tsallis, S.V.F. Levy, A.M.C. Souza and R. Maynard, Statistical-Mechanical Foundation of the Ubiquity of Lvy Distributions in Nature, Phys. Rev. Lett. 75 (1995)
3589 [Erratum: 77 (1996) 5442].
[66] D.H. Zanette and P.A. Alemany, Thermodynamics of Anomalous Diffusion, Phys.
Rev. Lett. 75 (1995) 366.
[67] M.O. Caceres and C.E. Budde, Comment on S Thermodynamics of Anomalous Diffu Phys. Rev. Lett. 77 (1996) 2589.
sionT,
[68] D.H. Zanette and P.A. Alemany, Zanette and Alemany Reply, Phys. Rev. Lett. 77
(1996) 2590.
[69] M. Buiatti, P. Grigolini and A. Montagnini, Dynamic Approach to the Thermodynamics of Superdiffusion, Phys. Rev. Lett. 82 (1999) 3383.
[70] D. Prato and C. Tsallis, Nonextensive foundation of Lvy distributions, Phys. Rev. E
60 (2000) 2398.
[71] C.W. Gardiner, Handbook of Stochastic Methods: For Physics, Chemistry and the
Natural Sciences, New York; Springer Series in Synergetics; 1996.
[72] J. M. Burgers, The Nonlinear Diffusion Equation, Holland: D. Reidel Publishing
Company; 1974.
[73] C. Tsallis, E.K. Lenzi, Anomalous Diffusion: Nonlinear Fractional Fokker-Planck
Equation, Chem. Phys. 284 (2002) 341. Erratum. 287 (2002) 295.
[74] E.K. Lenzi, R.S. Mendes, K.S. Fa, L.S. Moraes, L.R. da Silva, L.S. Lucena, Nonlinear fractional diffusion equation: Exact results, J. Math. Phys. 46 (2005) 083506.
[75] M.O. Vlad, Fractional diffusion equation on fractals - self-similar stationary solutions in a force-field derived from a logarithmic potential, Chaos, Solitons & Fractals
4 (1994) 191.

105
[76] S. Havlin, D. Ben-Avraham, Diffusion in Disordered Media, Advance in Physics 36
(1987) 695.
[77] P.A. Alemany, D.H. Zanette, H.S. Wio, Time-dependent reactivity for diffusioncontrolled annihilation and coagulation in two dimensions, Phys. Rev. E 50 (1994)
3646.
[78] B.P. Lee, Renormalization-group calculation for the reaction kA , J. Phys. A:
Math. and Gen. 27 (1994) 2633.
[79] J. Crank, The Mathematics of Diffusion, London; Oxford University Press: 1956.
[80] H.S Carslaw and J.C. Jaeger, Conduction of Heat in Solids, London; Oxford University Press: 1959.
[81] W.T. Coffey, D.S.F. Crothers, D. Holland, S.V. Titov, Green function for the diffusion
limit of one-dimensional continuous time random walks, J. Mol. Liq. 114 (2004) 165.
[82] S. Eule, R. Friedrich, F. Jenko, D. Kleinhans, Langevin Approach to Fractional Diffusion Equations Including Inertial Effects, J. Phys. Chem. B 111 (2007) 11474.
[83] R. Metzler, E. Barkai, J. Klafter, Deriving fractional Fokker-Planck equations from
a generalised master equation, Europhys. Lett. 46 (1999) 431.
[84] I. Podlubny, Fractional Differential Equations, Academic Press. San Diego, 1999.
[85] R. Rossato, M.K. Lenzi, L.R. Evangelista, E.K. Lenzi, Fractional diffusion equation
in a confined region, Phys. Rev. E 76 (2007) 032102.
[86] L.S. Lucena, L.R. da Silva, L.R. Evangelista, M.K. Lenzi, R. Rossato, E.K. Lenzi,
Solutions for a fractional diffusion equation with spherical symmetry using Green
function approach, Chem. Phys. 344 (2008) 90.
[87] Y.Z. Povstenko, Fractional radial diffusion in a cylinder, J. Mol. Liq. 137 (2008) 46.

106
[88] M.P. Morse, H. Feshbach, Methods of Theoretical Physics, McGraw-Hill, New York,
1953.
[89] G. Barbero, L.R. Evangelista, Adsorption Phenomena and Anchoring Energy in Nematic Liquid Crystals, Taylor & Francis, London, 2006.
[90] R.S. Zola, E.K. Lenzi, L.R. Evangelista, G. Barbero, Memory effect in the adsorption
phenomena of neutral particles, Phys. Rev. E 75 (2007) 042601.
[91] M.A. Lomholt, I.M. Zaid, R. Metzler, Subdiffusion andWeak Ergodicity Breaking in
the Presence of a Reactive Boundary, Phys. Rev. Lett. 98 (2007) 200603.
[92] S. Condamin, O. Bnichou, J. Klafter, First-Passage Time Distributions for Subdiffusion in Confined Geometry, Phys. Rev. Lett. 98 (2007) 250602.
[93] S. Condamin, O. Bnichou, V. Tejedor, R. Voituriez, J. Klafter, First-passage times
in complex scale-invariant media, Nature 450 (2007) 77.
[94] T. Bickel, A note on confined diffusion, Physica A 377 (2007) 24.
[95] J. Crank,The Mathematics of Diffusion, Oxford University Press, London, 1956.
[96] B.I. Henry, T.A.M. Langlands, S.L. Wearne, Anomalous diffusion with linear reaction dynamics: From continuous time random walks to fractional reaction-diffusion
equations, Phys. Rev. E 74 (2006) 031116.
[97] M. Giona, M. Giustiniani, Adsorption Kinetics on Fractal Surfaces, J. Phys. Chem.
100 (1996) 16690.
[98] P. Macheras, A. Iliadis, Modeling in Biopharmaceutics, Pharmacokinetics, and
Pharmacodynamics, Springer, New York, 2006.
[99] A. Iomin, Superdiffusion of cancer on a comb structure, J. Phys.: Conf. Ser. 7 (2005)
57.

107
[100] H.S. Carslaw, J.C. Jaeger, Conduction of Heat in Solids, Oxford University Press,
London, 1959.
[101] S. Redner, A Guide to First-Passage Processes, Cambridge University Press, Cambridge, England, 2001.
[102] J.D. Munkhammar, Fractional calculus and the Taylor-Riemann series, (2005).
[103] I. Sokolov, J. Klafter and A. Blumen, Fractional Kinetics, Physics Today 55 (2002)
48.
[104] J.P. Pascal, H. Pascal, On some diffusive waves in nonlinear heat-conduction, Int. J.
Non-Linear Mech. 28 (1993) 641.
[105] P. Grigolini, C. Tsallis, B.J. West, Classical and Quantum Complexity and Nonextensive Thermodynamics. Chaos , Solitons and Fractals 13. Number 3 Amsterdam;
Pergamon-Elsevier: 2002.
[106] B.J West, M. Bologna, P. Grigolini, Physics of Fractal Operators, New York; Springer: (2002).
[107] J. Klafter, M.F. Shlesinger, G. Zumofen, Beyond Brownian motion, Physics Today,
49 (1996) 33.
[108] A. Pekalski, K. Sznajd-Wero, Anomalous Diffusion: From Basics to Applications,
In: Lecture Notes in Physics. Telos; Springer-Verlag: (1999).
[109] J.P. Bouchaud, A. Georges, Anomalous diffusion in disordered media - statistical
mechanisms, models and physical applications, Phys. Rep., 195 (1990) 127.
[110] D. Campos, V. Mendez, Description of diffusive and propagative behavior on fractals, Phys. Rev. E 69 (2004) 031115.
[111] B. OShaughnessy, I. Procaccia, Analytical Solutions for Diffusion on Fractal Objects, Phys. Rev. Lett. 54 (1985) 455.

108
[112] D.S.F. Crothers, D. Holland, Y.P. Kalmykov, W.T. Coffey, The role of Mittag-Leffler
functions in anomalous relaxation, J. Mol. Liq. 114 (2002) 27.
[113] A. Iomin, Toy model of fractional transport of cancer cells due to self-entrapping,
Phys. Rev. E 73 (2006) 061918.
[114] C.K. Peng, J. Mietus, J.M. Hausdorff, S. Havlin, K.E. Stanley, A.L. Goldberger,
Long-range anticorrelations and non-Gaussian behavior of the heartbeat, Phys. Rev.
Lett. 65 (1990) 2201.
[115] H. Sher, E.W. Montroll, Anomalous transit-time dispersion in amorphous solids,
Phys. Rev. B 12 (1975) 2455.
[116] L.C. Malacarne, R.S. Mendes, I.T. Pedron, E.K. Lenzi, N-dimensional nonlinear
Fokker-Planck equation with time-dependent coefficients, Phys. Rev. E 65 (2002)
52101.
[117] M.F. Shlesinger, G.M. Zaslavsky, U. Frisch, Lvy flights and related topics in physics, Berlin; Springer-Verlag: 1994.
[118] L. F. Richardson, Atmospheric diffusion shown on a distance-neighbour graph,
Proc. R. Soc. A 110 (1926) 709.
[119] U. Frisch, Turbulence: the Legacy of A.N. Kolmogorov. New York: Cambridge University Press; 1995.
[120] N. Su, Generalisation of various hydrological and environmental transport models
using Fokker-Planck equation, Env Mod Sof 19 (2004) 345.
[121] Z.S. Khan, S.W. Morris, Subdiffusive Axial Transport of Granular Materials in a
Long Drum Mixer, Phys. Rev. Lett. 94 (2005) 048002.
[122] R.C. Lua, A.Y. Grosberg, First passage times and asymmetry of DNA translocation,
Phys. Rev. E 72 (2005) 061918.

109
[123] I. Podlubny, The laplace transform method for linear differential equations of the
fractional order, Slovak Academy of Sciences; 1994.
[124] F. Mainardi, R. Gorenflo On Mittag-Leffler-type functions in fractional evolution
processes, J. Comp. Appl. Math. 118:283 (2000).
[125] T.D. Frank, A Langevin approach for the microscopic dynamics of nonlinear
Fokker-Planck equations, Physica A 301 (2001) 52
[126] R. Hilfer, R. Metzler, A. Blumen and J. Klafter, Editors, Strange Kinetics, Chemical
Physics vol. 284, Pergamon-Elsevier, Amsterdam (2004), pp. 12.
[127] G.M.Zaslavsky, Chaos, fractional kinetics, and anomalous transport, Phys. Rep.
371 (2002) 461.