Escolar Documentos
Profissional Documentos
Cultura Documentos
fenmenos biolgicos
Este exemplar corresponde redao final da tese
devidamente corrigida e defendida por Norberto
Anbal
julgadora.
Banca examinadora:
Prof. Dr. Yuri Dimitrov Bozhkov
Prof. Dr. Hyun Mo Yang
Prof. Dr. Paulo Regis Caron Ruffino
Prof. Dr. Jacques Aveline Loureiro Da Silva
Prof. Dr. Antonio Luiz Pereira
Tese apresentada ao Instituto de Matemtica Estatstica e Computao
Cientfica, UNICAMP
Instituto
de Matemtica,
Estatstica
Computao
iv
Agradecimentos
A CAPES, pela bolsa de doutorado que me foi concedida entre Maro de 2000 e fevereiro
do 2004.
A FAEP-Ul\l:CAMP, pelo auxilio ponte.
Universidade Estadual de Campinas, Unicamp e ao Instituto de Matemtica, Es-
tatstica e Computao Cientfica, IMECC por ter permitido realizar meus estudos de
Doutorado.
Ao meu orientador Yuri Dimitrov Bozhkov, pela orientao, pelo apoio moral, acadmico
e pela amizade.
A minha me Mara Ester Castro, a meu pai Rubn Carlos Maidana e meu irmo Magia
pelo apoio que recebi a vida toda.
A Slvio Pregnolatto, Lucy Tiemi Takahashi, Luiz Antonio Ribeiro De Santana, Wilson Castro Ferreira Jr., Hyun Mo Yang, Rodney Carlos Bassanezi, Pulino Petronio e Joo
F.C.A.Meyer (Joni) pela ajuda acadmica e amizade.
A Pedro Catugno e Paulo Ruffino pela ajuda para estudar no Brasil.
banca, Hyan Mo Yang, Paulo Regis Caron Ruffino, Jacques Aveline Loureiro Da Silva
e Antonio Luiz Pereira.
Ao grupo de pesquisa EPIFIS.!\.1A.
Aos amigos Jones, Gimena, Jorge, Mareei, Yurlev, Marina, Valerio, Tnia, Alexandre
D'antonio, Nekul, Weicha, Sandra, Leonardo, Gustavo, Ana Karina, Ana Paula, Ana Cecilia,
Carlos, Jos Maria, Mariela, Natalia, Juani, Cristian, Julieta, Mara Cecilia, Mara Eugenia,
Mariela Valencia, Kary, Paula, Carluyo, Konde, Chato, Maxi, Pocho, Barbara, Juditas, Yanina Soledad, Anabella, Daniel, Cuchi, Hayd, Diego, Luiz Leduino, Andres, pelo apoio e as
foras sempre recibida deles, as quais foram imprescindveis para realizar o presente trabalho.
A Cidinha, Ednaldo e Tnia e Fatima, funcionrios do IMECG-UNICAMP, pela colaborao c amizade.
Resumo
O pricipal objetivo desta tese obter resultados de existncia de soluo, local e global,
para um modelo que descreve a dinmica do Aedes aegypti. Considerando o Problema de
Cauchy para o modelo correspondente, provamos os resultados pricipais, sobre existncia
de soluo local, global e regio invariante. Para esse objetivo estudamos um operador
parablico linear e sua soluo fundamental. O Teorema de existncia da soluo local
(Teorema 1) provado usando o Teorema de Banach do ponto fixo, depois de ter construdo
uma contrao apropriada. Em seguida, demostramos que tal soluo existe para todo t > O
(Teorema 3), utilizando o fato de que o problema admita urna regio invariante (Teorema
2).
Motivados por esses resultados estudamos fenmenos como invases bilogicas e propaga<
de doenas. Neste trabalho estudamos dois modelos nos quais e&te comportamento de
grande relevncia para sua compreenso. Procuramos solues do tipo onda viajante, para
determinar a velocidade mnima de propagao da doena, ou invaso. Esta soluo atratora, portanto a que descreve a dinmica do sistema resultando muito importante.
Na primeira parte das aplicaes, estudamos a dinmica do mosquito Acdcs acgypti,
principal vetor transmissor da dengue, um dos grandes problemas da atualidade no Brasil.
A dinmica modelada por Lucy Tiemi Takahashi utilizando um sistema de duas equaes
diferenciais parciais de reao-difuso acopladas, considerando as fases alada e aqutica do
mosquito. Neste caso determinamos a velocidade de invaso do mosquito em uma rea no
colonizada. Sugerimos estratgias de controle para evitar o avano.
Na segunda parte estudamos a dinmica de uma populao de capivaras, que habitam o
Nordeste Argentino, e as mutucas, insetos portadores do trypanosoma equus, causador do
"mal das cadeiras " nas capivaras, modelada por Silvio Pregnolatto, por meio de um sistema de equaes diferenciais parciais de reao-difuso. Estudamos o sistema homogneo,
establecendo a estabilidade dos pontos de equlibrio, discutindo assim, possibilidade de controle da epidemia.
Este modelo um modelo prottipo de transmisso por vetor, o que amplia seu interesse
valorizando os clculos aqui realizados, pois poderia se aplicar a outras doenas com essas
VI
Vil
Abstract
The aim of this work is to obtain results for existence of solution, local and global, for
a model describing the dynamics of the Aedes aegypti. We consider the Cauchy Problem
for the correspondent model, and we prove the existence results, for local solution, global
solution and invariant region. For this purpose we study a linear parabolic operator and
his fundamental solution. The local existence (Theorem 1) is proved using the Fixed Point
Banach Theorem, constructing an appropiate contraction. Then we show that the solution
exists for ali t > O (Theorem 3), using the fact that the problem admits a irrrariant region
(Theorem 2).
In view of these results we estudy biological phenomenons like invasions and disease
propagation. In this work we study two models where this behaviour is important its understanding. We seek waves travelling solutions to determine the minimum velocity of disease
propagation or invasion. This is an attract solution describing the dynamics of the system.
In the first part of the applications we study the dinamic of the Aedes aegypti insect,
principal cause of dengue transmition, an actual problem for Brasil. The dynamic is modelated by Lucy Tiemi Takahashi using a system of two coupled equations of reaction-diffusion
type, considering the mosquito fases, wing and aquatic. In this case we determin the invasion velocity of the insect in a not colonized area. We suggest control strategy to avoid the
advance of the disease.
In the second part we study the dynamic of a population of capybara, who inhabits the
northeast of Argentina, and the "mutucas " insect portador of 'I!ypanosoma equus, wich
causes "mal das cadeiras " in capybaras, modeleded by Silvio Pregnolatto, by a semilinear
system of reaction difusion partia! diferential equations. We study the homogenous system,
we stablish the equlivria points and propose controls possibilites.
This model is a prototype model and can be applicated to other diseass with the same
characteristics. In the two cases considered we determin the propagation velocity as a funcc
tion of the model parameters, and show graphics using computacional methods.
Sumrio
1 Introduo
Resultados de existncia de soluo para um sistema parablico semilinear descrevendo a dinmica do mosquito Aedes aegypti
3.1 O Problema de Cauchy .
3.2 Os resultados Principais . . . . . . . . . . . . . . .
3.3 Preliminares . . . . . . . . . . . . . . . . . . . . . .
3.3.1 Grupos de simetrias de equaes diferenciais
3.3.2 Integrais imprprias . . . . . . . . . . . . .
3.3.3 Regio invariante . . . . . . . . . . . . . . .
3.4 Grupo de simetria de uma equao diferencial de Difuso-Adveco
3.5 Sobre a soluo fundamental de um operador parablico linear com coeficientes constantes . . . . . .
3.6 Existncia de soluo local .
3.7 Existncia de soluo global
11
11
13
15
15
17
18
20
26
30
39
Captulo 1
Introduo
Os principais objetivos desta tese so os seguintes:
1) Obter resultados de existncia local e global para um modelo que descreve a
dinmica do mosquito Aedes agypti, mosquito transmisor da dengue no Brasil.
2) Estudar a soluo tipo onda viajante deste modelo, pois determina a velocidade
mnima de invaso do mosquito em uma rea no colonizada.
3) Estudar a soluo tipo onda viajante para um modelo que descreve o mal das
cadeiras nas capivaras que habitam numa regio do nordeste de Argentina. Neste modelo
a propagao estudada da doena.
A tese est organizada da seguinte maneira: No Captulo 3 estudamos a existncia
de solues no negativas para um tipo de modelo de reao-difuso para, nos captulos
seguintes, estudar solues particulares de significado biolgicos em um modelo para
invaso do mosquito Aedes aegypti e outro para o mal das cadeiras em capivaras.
Nesse captulo consideramos o Problema de Cauchy para o modelo correspondente e
provamos os nossos resultados principais: Teoremas 1, 2, 3, (citados na pag 13). Para estes
objetivos precisamos estudar um operador parablico linear e sua soluo fundamental.
O teorema de existncia da soluo local (Teorema 1) provado usando o Teorema de
Banach do ponto fixo, depois de ter construdo uma contrao apropriada. Em seguida,
demonstramos que tal soluo existe para todo t >O (Teorema 3), utilizando o fato que
o problema admita uma regio invariante (Teorema 2).
Motivados pelos resultados do Captulo 3, no Captulo 4 estudamos aplicaes, no
problema de muito interesse atual, propagao do mosquito Aedes aegypti, transmisor
da dengue. A ferramenta matemtica para descrever este fenmeno so as solues ondas
viajantes. Esta soluo d a forma e velocidade da invaso, pois a soluo com velocidade
mnima descreve a dinmica do sistema, pelo fato de ser atratora. Apresenta-se aqui um
problema de clculo no ponto de equilbrio no trivial, por isso, nas simulaes nmericas,
devemos ter em conta os autovalores das variedades que existem ligando os pontos. Este
mtodo geomtrico foi proposto em [9] e [10]. Tambm pode-se realizar simulaes com o
Software XPPAUT, no diagrama de fase, at encontrar a trajetria, como fizemos neste
trabalho.
2
Captulo 2
Consideraes histricas e modelos
recentes
Neste trabalho estudamos modelos biolgicos que nos permitem propor estratgias de
controle para a propagao de doenas ou invaso de espcies biolgicas no desejadas
numa determinada rea. A forma geral destes modelos dada pela equao:
U
7t
(2.0.1)
r(1
F(x,t,u) =
~)u,
(2.0.2)
onde o crescimento intrnseco varivel sendo dado por r (1- );), sendo zero quando u
4
&t
fPu
D 8x2 + r 1 -
ku) u.
(2.0.3)
Esta equao, conhecida como Equao de Fisher, apresenta uma soluo particular
chamada onda viajante que se caracteriza por manter sua forma inalterada no decorrer
do tempo e por ser a velocidade de propagao constante, denotada por c. Esta onda,
vista por um observador movimentando-se a velocidade c, parecer estacionria [1]. A
representao matemtica deste conceito procurar solues da forma:
u(x, t) -
u(z),
(2.0.4)
X-
ct.
u* t* x* -
ujk
rt
r
X
(;t) ~ '
(2.0.5)
A equao de Fisher, assim como as solues do tipo onda viajante, foram amplamente
estudadas por Kolmogorov, Petrovsky e Piskunov em 1937 [3]. Esta equao admite
soluo do tipo onda viajante que liga os pontos de equilbrio u = 1 e u = O para todo
c ::;: 2. Para Cmin = 2 a soluo estvel, tornando-se atratora. Kolmogorov et al.
provaram que se u(x, O) tem suporte compacto:
u(x, O) = uo(x) 2: O;
Uo(x) = 1 se x::::; x1
Uo(x) =O se x 2: Xz
ento a soluo evolui para a frente de onda viajante de velocidade Cmin = 2. Esta soluo
5
as
8t
8!
8t
-KSI,
PI
D x 2
+ KIS- J.tl,
onde:
S
Densidade populacional de Raposas Suscetveis,
I = Densidade populacional de Raposas Infectadas.
do modelo, sendo:
-
c= 2lD (KSo-
- 1
~t)J2.
as
t
i
t
R
t
onde N
- aR,
D ()2R
x2 +cri- [b
+ (a- b) N I KjR-
+I +R
as
8t
8!
8t
8N
8t
8P
8t
) - !31SP- !TsS
(2.0.6)
(2.0.7)
+ N (N + P)
( 1- p ; N) - f32NI- O"NN(2.0.8)
2
(2.0.9)
Onde C<s, C<J e C<N so os coeficientes de difuso das capivaras sadias, infectadas e
~
dos insetos, respectivamente. V o trasporte para as capivaras e W, para os insetos.
s e N so as taxas de reproduo para capivaras e insetos respectivamente. /31 e !32
so as taxas de transmisso da doena. !Ts,O"J,O"N e !Tp so as taxas de mortalidade das
capivaras sadias e infetadas, e dos insetos no portadores e portadores, respetivamente.
'Y a morte por doena nas capivaras infectadas.
No captulo 5, estudamos o modelo geral (2.0.6-2.0.9), em dimenso 1, que apresenta
solues que refletem o fenmeno real. Encontramos, mediante grficos, relaes que nos
permitem estimar a velocidade de propagao da doena em funo dos parmetros do
modelo. A soluo numrica da propagao para os dois compartimentos de capivaras
(infetada e sadias) e insetos (portadores e no-portadores) tambm apresentada em
grficos. Calculamos os pontos de estabilidade, chegando ao seguinte Controle de Epidemia dependente das capacidades de suporte das espcies:
as
8t
ai
8t
aN
8t
sS ( 1 - S~ ) - fASP
(2.0.10)
j31SP- ar I- 'YI
(2.0.11)
(2.0.12)
(2.0.13)
No temos neste modelo o transporte, nem a difuso das capivaras, pois relativamente menor frente difuso dos insetos. Consideramos a morte das capivaras infectadas,
somente como decorrente da enfermidade.
No captulo 4 tambm aplicamos o conceito de ondas viajantes para analisar a possvel
invaso do mosquito da dengue, colonizando uma rea no infetada. O modelo proposto
em [9] e [10] e nos encontros do grupo de trabalho EPIFISMA foi o seguinte:
3M
(2.0.14)
8t
8A
8t
(2.0.15)
Trabalhamos aqui com a fase alada (Mosquito), primeira equao (2.0.14), e com a
fase aqutica (ovo, larva e pupa), numa nica equao, a seg1mda, (2.0.15). Obtevese neste caso tambm a velocidade de colonizao do inseto mediante uma equao e
realizamos grficos interpretativos, para parmetros reais fornecidos por [13]. Propomos
estratgias de controle da invaso.
O mtodo geral usado nos captulos 4 e 5 a partir do modelo e adimensionaliz-lo
para diminuir a quantidade de parmetros e assim ter melhor controle dos resultados
obtidos. Depois, analisar os pontos crticos (solues que no variam no espao e no
tempo), e a estabilidade destes pontos. Se um ponto instvel, uma perturbao pode
permitir uma mudana de estado tendendo ao ponto estvel. Determinamos, assim,
condies biolgicas para que isto acontea. Este fenmeno pode se dar em forma de
onda viajante.
Estudamos as condies analticas para que exista soluo do tipo onda viajante. Isto
vai depender das variedades estveis ou instveis em cada ponto para a existncia de uma
trajetria que ligue dois pontos crticos. A anlise se faz atravs da linearizao do sistema
de EDO de primeira ordem associado equao de ondas viajantes. Determina-se com
isto a velocidade de propagao da frente de onda. Utilizam-se Softwares computacionais
9
como Matlab e XPPAUT para testar e ilustrar estes resultados. Determina-se a influncia
dos parmetros fundamentais na propagao da doena ou da invaso dependendo do
modelo.
10
Captulo 3
Resultados de existncia de soluo
para um sistema parablico
semilinear descrevendo a dinmica
do mosquito Aedes aegypti
3.1
O Problema de Cauchy
(3.1.1)
At ( k2A) M-
-=r
1--
11 2
t'"
A- -vA
I
M(O,x) = Mo(x)
'
x E
R'
t >O
'
(3.1.2)
A(O, x) = Ao(x)
xER
se entender assim, pois teremos novos mosquitos onde a larva for depositada). Nas duas
equaes temos uma dinmica vital no linear, onde f.ll a taxa de mortalidade na fase
alada, e f.l 2 a taxa de mortalidade na fase aqutica, k1 capacidade de suporte do meio
para o mosquito na fase alada e k2 na fase aqutica, 1 taxa de passagem entre as fases,
r a taxa de oviposio.
Adimensionalizao
Adimensionalizamos o sistema (3.1.1) e (3.1.2), com a seguinte mudana de variveis,
considerando no tempo o parmetro de oviposio e no espao a difuso do mosquito:
t*
= rt,
A*= A.
kz'
M*= M
k,'
.....
= 1..
I
r
x*-
_x_
- fo/r'
M0(x) =
Mo(x)jk~,
v*-
(3.1.3)
_v_
- rfo(r'
A 0(x)
Ao(x)/k2
Modelo adimensionalizado
O sistema adimensionalizado, retirando os asteriscos para facilitar a notao, tem a
seguinte forma:
(3.1.4)
o;:
= k
M(O,x) = M0 (x),
E~' t
> 0.
XE ~.
(3.1.5)
A(O, x) = Ao(x),
X E~.
12
3.2
Os resultados Principais
Teorema 1: Para todo Ao, Mo E Clf'(lR) existe t 0 = t0 (M0 , Ao) > O tal que o Problema de Cauchy (3.1.4) e (3.1.5) tem soluo nica em C([O, t 0 ]; B).
Teorema 1' Para todoA0 ,Mo E C 00 ([a,b]),a < b,Ao(a) = A 0 (b) = M 0 (a) = M 0 (b) =
O, existe to= to(Mo, Ao) >O tal que o problema:
M
t
2M
M
x2 -v x
'Y
A
t
M(O, x) = Mo(x),
X E
[a,b].
(3.2.7)
A( O, x) = Ao(x),
[a,b].
Loo([a,b]) e u(a)=u(b)=O}
13
L;
Teorema 3: Sejam (Mo, Ao) E f2 2 , Mo> O, Ao> O, ento a soluo local (M,A)
obtida no Teorema 1' existe para todo t >O eM 2: O, A 2: O.
14
3.3
3.3.1
Preliminares
onde J = (j1,j2, ... ,jk) k-upla no ordenada, 1 .::; jk .::; p, o:= 1, ... , q.
uCn) = u
X ul X ... X
u~,
derivadas de
Un.
--+
uCn)
Se M
cX
u temos M(n) = M
X ul X ... X
Un
15
M(n).
v=
a=l
com
a_aua
ui -
&:i
X x U. A n-sima pro-
M(n)
<P~(x,u(n))
o:_~
uJ, &i.
O,
V=
1, ... , l,
(v
v)
.,
xz
uJ
de Li. em relao s variveis (x, u<n)) de posto l sempre quando Li.(x, u<n)) = O.
Teorema: Seja
Li.v(x, u(n))
=o,
= 1, ... , l,
v= 1, ... , l,
sempre que
X x U. Se G o grupo
16
3.3.2
Integrais imprprias
Definio: Seja 1J!(a, x) uma funo definida e contnua para a E [a, b] e para todo
x E~- Seja
1:
(3.3.9)
1J!(a, x)dx
/1
00
1J!(a, x)dx/
11:
Va E
[a, b].
8(a) =
1:
1J!(a, x)dx
(3.3.10)
E
[a, b] ento
(3.3.11)
contnua em [a,b].
1:
h(x)dx
Teorema C: Seja:
17
(i) ~=
C(fl).
w
-,(o:, x)dx.
-00 vo:
00
8'(o:) =
(3.3.12)
3.3.3
Regio invariante
(M,A)
8t
D8 (M,A)
x2
N(M,A)
F((M A) )
'
't
'
(3.3.13)
O)
N= ( -v
O O
eF=(fg).
-+
n
m
2: =
(3.3.14)
i=l
(1) dG; em vo um autovetor esquerda de D(v0 ,x) e M(v0 ,x), para todo x
(2) Se dG;D( Vo, x) = ttdG;, com J.t =J O, ento G; quaseconvexa.
(3) dGi(f) < O em Vo, para todo t > O.
tE~
E~
Ento 2: invariante.
n
m
I;=
i=l
19
3.4
a 2Uxx -bux
G3: (x+E,t,u)
G4
(x+tE,t,exp (x
- a
2 E+
)
E )u
Gs:(x,t+E,u)
G6 : (x, t, e'u)
Ga : (x, t, u + w(x, t))
20
onde
pr(2lv
'
xx
xt
tt '
cf>xx
Substituindo estes trs coeficientes na equao, e fazendo Ut = Uxx- bux cada vez que
aparece, e igualando os coeficientes nos monmios correspondentes obtemos a seguinte
tabela de equaes:
Monmio
coeficiente
(1) Ux
(2) Uxx
(4)
u;
(5) u~
(6) Uxxx
21
uu
2Tu
=0
(9) 1
De (6) temos Tx = O e de (8) temos Tu = O, o que implica que T funo somente de
t, ou seja r r(t).
De (3) temos que u =O e de (2) temos -r,+ 2x =O=> -Ttx + 2xx =O=>
=?
O+
2xx
= O => xx
=O
(x, t) = bx + CJ(t).
De (4) obtemos agora que:
c/!uu
=O,
ento
Logo f3 da forma:
1
2 + ( - Clt
b )
f3 = -a12 ( --TttX
--1- -Tt
8
2 ' 4
22
'P)
2
X+ -
Por (9) sabemos que ,P, = a2 ifJxx- bifJx ento f3 e a so solues da equao diferencial,
ento f3 deve sastifazer:
O"tt
- 2a2 =O,
'Pt
2a2
+ 4Ttt -
O"t
b 2a2
b2
4a2 Tt = O;
o que nos d:
23
sendo os geradores:
v1 = txx
+ t 2 , + ( (xa2btf
4
Vs
2t) u,
= ,
e a sublgebra infinita
= 1 coincide com
G4
(x+tE,t,exp(- 2: 2 E+
Gs: (x,t+E,u)
G6 : (x, t, e'u)
G, : (x, t, u + w(x, t))
24
(x,t,), so os
Podemos utilizar estes grupos de simetria para achar uma outra soluo dada u
(6)
yT+Et exp
(-E(Xbtj2) (
t )
4a (1 +
f 1 + 4E' 1 + 4E
X
(-E(x- bt)
uC6l
V1 + 4E exp
Para c =
uC6l(x ti=
'I
4(1 + Et)
-IE/f+i
(-(x- bt)
exp 4a2( ~ + t)
E temos:
v(-;w:;
2
uC5) = uC6l(x, t -
~) =
v4a 7rt
2
(x, t) =
1
-J421it
exp
2
4a 7rt
(-(x- tbtf)
4a2
u(x, t)
-J421it
2
4a 7rt
1-oo
(z
bt)
"
uo(y)dy,
oo
25
3.5
Ut
u(x,O) -
a2uxx U()(x),
bux,
11{)
(0, T),
(3.5.15)
(3.5.16)
Lema 1: Seja
u(x, t) =
1
v'42Jit
2
4a 7lt
00
(x-y-bt)
e- 2< uo(y)dy.
-oo
Ento so vlidas
(i) A funo u(x, t) limitada e contnua em D.
(ii) u(x, t) sastifaz a condio inicial (3.5.16).
(iii) So vlidas as seguintes igualdades:
(a)
(b)
(c)
Uxx=
1:
(t:/;(x-y,t))uo(y)dy
26
(3.5.17)
Demonstrao:
y = x- bt + 2aVtry,
ento
dy = 2aVtdry,
1;;;;
u(x, t) =
y'lr
(3.5.18)
00
J;;,oo
(iii) Seja R o retngulo [-c,c] x [5,T], onde 5 > O e c > O so constantes. Seja
(x, t) E 1R. Diferenciando formalmente (3.5.17) obtemos:
1
u, =
.J4a2 7r
j"" e -c
-oo
y-btl
2
4a t
((x-y)
5
4a2 tz
2
-
l?
--l -
4a2 tz
1 )
--3
2a2 tz
uo(y)dy .
(3.5.19)
27
:?:
y2 - 4/Jt?
8e
+ 2b2t 2 -
16a 2 T
y 2 - 2b2 t 2 -
8e
= ::.__1_6...,a2" "'T--
Tambm temos:
~
(x-y) 2
l-'--4a-2--'t',"fr-- -4a_2_t-~ - -2a-2-t-~ ::; 4a2 S~
l(x-y)
'i
b2
+ -4a_2_S-~
2x 2 +2y 2
+ -2a-2-S-~ ::; 4a 2 S~
1
b2
1
+ -4a_2_S-~ + -2a-2-S-~ ::;
Ento
1
I~
[
00
-(x-y-bt)'
4a 2 t
((X- y)2
5
4a 2t2
-oo
00
:::: L
2
2 2
2
-v +2b t +&
16a2T
-oo
--1 -
-3
4a2t2
2a2t2
uo(y)dy. :C::
y 2 + c2
b2
1 )
_s + - - , + - - _ - 3
dy,
2
2a 2
4a2J:; 2a22
Proposio 2: A funo
u(x, t) =
.J421it
2
4a 1rt
1-oo e
<~-y-btl
2
4
Uo(y)dy
(3.5.20)
oo
Demonstrao: Seja
(x, t)
1
= .;421it
exp
4a21rf
(-(x- btf)
4 a2 t
Ento
u(x, t) =
1:
28
* uo)(x).
(3.5.21)
1:
1:
1: (::
Ut=
(!t;(x-y,t))uo(y)dy
(:X (x-
Ux =
y,
2 ;(x-
Uxx =
t)) Uo(y)dy
y,t)) uo(y)dy,
+ bux =
1:
(L(x- y, t))uo(y)dy.
(3.5.22)
L(x-y,t)=O.
Por um cculo direto temos:
lrux = -
_
<,xx -
2
b(x- bt) 1
-(z bt)
e 4at
2ta 2aV"it
(x- bt)Z
4t 2a2
1}
+2t
2aV"it
e -(z-bt)
4at
Obiamente a soma das trs parcelas d zero, provando a proposio, pois por
Lema 1 (ii) a funo u(x, t) sastisfaz a condio inicial (3.5.16).
29
(3.5.23)
3.6
(3.6.24)
SUPxE!R
= (M, A)
B ento
para u E C([O,TJ;B)
JJulJ =
Supo:;t:;T 1Ju(t)ll 8 Definio: Dizemos que u = (M, A) E C([O, T]; B) soluo do problema (3.6.24) e
(3.6.25):
M(x, t)
A(x,t) -
1:
Ao(x) +
ll:
g(M(x,s),A(x,s))ds,
onde
f(M,A)
g(M, A) -
30
e
(3.6.27)
G(x,t) :=
O )
,
(x)
onde (x, t) dada em (3.6.27) e (x) funo de Dirac. Sejam tambm u E C([O, T]; B)
e
* u)(x) :=
(G(t)
= (M, A)
Isto , para u
G(x- y)u(y)dy.
* u)(x) :=
(G(t)
1:
oo (
(x- y,t)
-oo
( M(y)) dy-
(x- y)
A(y)
['
A(x)
l(
0
(3.6.28)
-oo
(f(M(y,s),A(y,s)))
dyds
(x- y)
31
u(x,t) = (G(t)
* u0 )(x) +
(G(t
s)
* F(u(y, s)))(x)ds,
C0 (~)
(3.6.30)
e F= (f,g).
\[G(t)
Demonstrao: Seja u
(3.6.28), temos
= (M, A)
[[G(t)
, -oo
SUPxE!R
11
00
(3.6.31)
:S: [[u\\B
* uf\B =
SUPxE;)/11"'
* u[\ 8
~e
2v 1ft
[[(t)
* Mffoo + lfAffoo =
-oo 2v 1rt
00 ,
2
~e-ry
dry + [[A[\
-oo y1r
00
fiG(t)
00
[[Mffoo + [\A[\ 00
[[G(t)
* u/1 8
:S:
32
\fu\\ 8
:S: \fulf
lfulfB
(3.6.32)
onde
= {u E C([O, to]; B)l\iu(t)- G(t) * Uo!l < lluoll 8 , O:s; t :s; to},
Lema 3 Se u E S ento
(3.6.33)
Demonstrao:
lluiiB:::; llull
1\Mol'ioo, 1\Ao\1
00
(mas
(3.6.34)
(3.6.35)
Demonstrao:
Seja
33
u 0 (x)
IMo(x)l
Lo
4
IAol
=;.
~
Lo
4
=;.
=;.
onde Lo depende somente de
Como
para u E S
llulls ~ 21/uolls
Lo,
IIMolloc e IIAolloo
Sejam u E Se w
(3.6.36)
~ ((1
l!u- wjj
Provemos a primeira:
34
IJu- wlls
t liA- A'lloo + /11 iiM- M'lloo + t IMII(A- A') I+ IA'I J(M- M')l
Temos:
:::; lkM- kAM- (1' + J12)A- kM' + kA' M' + ('y + 112)A'!
:::; k fiM
M'lfoo + ('y + /12) [IA'- A) [[ 00 + kLo [A- A'[ + kLo [M- M'[
:::; k I[M- M'lloo + ('!' + /12) liA'- A) lloo + kLo liA- A'lloc + kLo IlM- M'floo
Seja
1
to:= 2K.
Definimos a seguinte aplicao:
<t>u(t) = G(t) * Uo
+ l G(t s) * F(u(s))ds,
Isto ,
<l?(M,A)(x,t)
:=
(1? 1 (M,A)(x,t),1?2(M,A)(x,t)),
onde
1? 1 (M, A)(x, t) .-
1:
Nosso objetivo provar que i!> tem ponto fixo, que daria soluo do problema (3.6.26)
e a soluo do Problema de Cauchy (3.6.24) e (3.6.25). Primeiramente vamos provar que
i!> est bem definida.
llil>u(t)- G(t)
* uollo ::S: [
(3.6.37)
:S [ IIF(u(s))lfsds.
Fazemos w = (0, O) em (3.6.34):
->
S uma contrao.
Demonstrao:
Sejam u,w E S:
f[G(t- s)
* (F(u(s))
37
F(w(s)))IIB ds ::S:
(3.6.38)
Esta ltima desigualdade se deve ao Lema 2 e este ltimo termo, pelo Lema 4,
menor que:
~I lu- vil-
Ou seja
1
Proposio 3: Seja u, w E C([O, T]; B) solues, O:::; t :::; T, llulle, llwlle :::; L ento
existe K (L) tal que:
llu(t)- w(t)ll 8
:::; eK(L)t
38
3. 7
Havendo disposio o Teorema 1', a existncia de regio invariante imediata, implicando na existncia global da soluo obtida no Teorema 1'.
Teorema 2: Definimos o retngulo:
(3.7.39)
= D2 (M,A)
x2
N(M,A) + F((M A) )
'
,t'
Aplicamos ento o Corolrio 14.8 (a) de [18] para provar que a regio (3.7.39) invariante. Para isso precisamos verificar as condies do Corolrio 14.8 (a). Temos as
seguintes definies e clculos:
Gz(M,A) =M-a;
= (1, 0).
39
= -
G3(M,A) =-A;
(0, -1).
(J.l2
+I) A) IA=O =
= -kM <0.
Dessa maneira verificamos as condies do corolrio ( 14.8), o que prova que L; invariante.
Teorema 3: Sejam (Mo, Ao) E !12, Mo > O e Ao > O, ento a soluo local (M, A)
obtida no Teorema 1' existe para todo t > O, M ;::: O e A ;::: O.
Demonstrao: Sejam
40
Captulo 4
Ondas viajantes em um modelo que
descreve a dinmica do Aedes
aegypti
4.1
Introduo
42
4.2
Neste captulo estudamos o seguinte modelo proposto em [9] e [10] para a dinmica
da populao de Aedes aegypti, mosquito transmisor do Dengue,
2
M -v-+
M "f A ( 1 - -M)
-M = D-2
t
k1
- J11M,
(4.2.1)
At ( kA) M=r
1-
J1 2A- '"'{A,
Como foi dito no captulo anterior, uma equao de Reao-Difuso aplicada para o
mosquito (fase alada), acoplada a uma equao para a fase aqutica (ovo, larva e pupa).
D o coeficente de difuso do mosquito, v, o transporte, que considerado s na fase
alada (o transporte da larva pode se entender assim, pois teremos novos mosquitos onde
a larva for depositada). Nas duas equaes temos uma dinmica vital no linear, onde
Jll a taxa de mortalidade na fase alada, e J1 2 a taxa de mortalidade na fase aqutica,
k 1 capacidade de suporte do meio para o mosquito na fase alada e k2 , na fase aqutica,
"f, taxa de passagem entre as fases, r, a taxa de oviposio.
Os resultados apresentados neste captulo seguem, de forma muito prxima os trabalhos realizados em [9] e [10], que surgeram do trabalho do grupo de pesquisa EPIFISMA.
O mtodo utilizado analisar primeiro a estabilidade do sistema homogneo, sem difuso
e sem conveco, encontrando-se os pontos de equilbrio e seu comportamento ante pequenas perturbaes, determinando a possibilidade de existncia de ondas viajantes. Determinamos a velocidade mnima de propagao em reas antes no colonizadas, fazendo
uma anlise linear nos pontos crticos das EDOs associadas.
As dificuldade encontram-se nos clculos no ponto de equlbrio no trivial. Foi proposto um mtodo geomtrico para este caso em [9] e [10], encontrando um Cm= no qual
a onda deixa de existir. No ponto de equlbrio trivial calculamos a velocidade mnima
de propagao da invaso. Analisamos o caso unidimensional que representativo do
bidimensional.
43
Adimensionalizao
Lembremos a adimensionalizao feita no captulo anterior do sistema (4.2.1), com a
seguinte mudana de variveis:
t* =
rt,
u* -
i!cl.
t-1 -
x* -
- _x_
vnr;'
:r
'V* f
-r'
r '
v* =
_v_
rvnr;'
(4.2.2)
k - &.
k2
Modelo adimensionalizado
O sistema adimensionalizado tem a seguinte forma:
8M
8t
82 M
8x
8M
8x
'Y
k
- -2 - v - + - (1 - M) A- f-t 1M,
(4.2.3)
8A
4.3
Analisamos aqui a dinmica do sistema homogneo, onde as solues do sistema unidimensional no variam no espao e no tempo. Para obtermos os pontos estacionrios do
modelo adimensionalizado, resolvemos o seguinte sistema de equaes:
~ (1 - M) A- !-t 1M
k(l-A)M- (f-tz+'Y)A -
(4.3.4)
(4.3.5)
onde
e
44
(4.3.6)
'"(>
J.tlJ.t2
1 - J.tl
->
J.tl
'"(+J.tz
1
='Y
~
-~>1
J.tl
onde,
1/ ('"! + J.tz)
1/;
= -'--..:..;.....,.....:-=
o nmero de ovos viveis, ou seja, que geram mosquitos. Assim, o nmero adimensionalizado de ovos viveis maior que 1 uma condio necessria para existncia de
populaes no negativas .
= (0, O)
so:
X1
~ ( ( -'"( -
J.t1 - J.tz -
Xz -
~ ( (-'"( -
J.t1 -
Evidentemente:
45
< O,
+ J.LlJ.Lz) > O.
Estabilidade do ponto E 1
Os autovalores obtidos a partir do sistema linearizado no ponto E 1 = (m 11 ai) so:
1
2
k ( -a1 "f - "(k - k m1 - k(J.Ll
2
1
k ( -a1"(- "(k- k 2 m1- k(J.Ll
2
x1
xz
+ J.Lz) -
4eo) ,
4eo),
onde
Esta desigualdade vale quando 'Y < < 1 ou J.Ll < < 1, pois termos a 1 """ 1 e m1 """ 1,
ento -1 + a 1 + mt > O. De fato, como acontece nos exemplos nmericos que realizaremos mais adiante.
Logo temos:
-an - k(J.Lt
+ J.Lz) < O,
-4eo <O.
Assim o ponto (m1 , a 1 ) estvel para qualquer parmetro que obedea s condies acima.
Como o ponto trivial E0 = (0, 0), onde no h mosquitos, instvel, a introduo de
insetos no sistema provocaria sua evoluo at possivelmente atigir o ponto E 1 estvel,
implicando a invaso.
46
4.4
As Ondas Viajantes
Neste captulo as ondas viajantes simulam uma colonizao dos mosquitos (nas duas
fases aqui consideradas) numa rea no colonizada. A soluo matemtica que procuramos, obtem-se fazendo:
M(x, t) = M(z)
A(x, t) = A(z)
z=x+d
que, para c> O, representa uma onda no sentido da esquerda. Substituindo em (4.2.3),
obtemos:
-cA'- (!lz
+~f)
A+ k (1- A) M =O,
M'=H
'
~(1-A)M- (J.tz
(4.4.9)
:'Y) A.
Analisamos a estabilidade do sistema linear associado nos pontos crticos para determinarmos as condies de existncia de onda viajante. No sistema de primeira ordem os
pontos so: P0 = (0, O, O) e P1 = (ai> O, m 1 ). Procuramos solues que liguem Po a P1 .
A matriz do sistema linearizado no ponto (0,0,0) dada por:
1
(v +c)
47
_:r
o )
_1},2:-1
2 1 2
3
p(x) := -x + (v+c- f-l : ) x +
(f-l
2
2
+ (v+c)f-l : 1 ) x+ (f-l : 1 )
/-LI
J que:
p(O) = ( /-l2 c+I)
/-l1 -
I > O,
-;;-
pela condio (4.3.7), suficiente que P(xm=) >O para termos uma variedade instvel
em (0, O, O) como queremos. Da equao P(xmax) O obtemos Cmin- Esta equao :
3 + ( V+ C
-Xmax
.Tmax =
31 (
(v+ c)-
f-t2+!
c
v+ c-
f-t2+1
c )
+ 3 ( JL1 +(v+ c)
/-ll -
/-l2+1 ) )
c
-;;
= 0
(4.4.10)
os quais, foram obtidos dos seguintes parmetros de evoluo do Aedes aegypti, vide
[13]
D = 1, 25x10- 2 km 2 /dia,
1- 1 = 5
dias,
1
J-t1 = 25 dias,
J-t2 1 = 100 dias,
v= 5x10- 2 km/dia,
r= 30
l/dia,
k 1 = 25 n de indivduos/km 2 ,
k2 = 100 n de indivduos/km 2 '
a 1 =O, 971.
m 1 =O, 951;
48
(4.4.11)
Esta a velocidade de propagao da onda no sentido da esquerda, freado pelo transporte (vento por exemplo). A outra soluo:
<O
1.5
49
!
1. 2
0.2
o. 8
C.4
-r--~~~~~~~~--~~--~~--~~
'
0.8
0.05
0.25
0.3
ga~~a
0.4
Figura 4.3: Grfico da velocidade de propagao em funo de 'Y Notemos que para
c "" O, 3 o meio comea a se saturar de mosquitos. Notemos tambm que, embora a
taxa de passagem entre fases alta, como temos uma alta quantidade de mosquitos, a
velocidade no aumenta na mesma maneira para valores baixos.
Nas figuras 4.4 e 4.5 vemos como a velocidade diminui quando aumenta a mortalidade
do mosquito. Na fase alada a velocidade diminui muito mais que na fase aqutica, e para
J..ll "" O, 95 a frente se inverte devido grande mortandade de mosquitos, e a que o
transporte (vento) tem urna velocidade considervel afetando a difuso e alterando a
densidade local dos mosquitos.
50
o .4
0.2
0.6
Mu:
o. 8
Figura 4.4: Grfico da velocidade de propagao em funo de Jl.I Para c"" O, 95 vemos
que a onda se inverte devido pouca quantidade de mosquitos pela alta mortalidade.
No conseguem avanar no sentido contrrio do vento.
0.2
0.6
0.4
0.8
Mu2
51
(v+ c)
o
O polinmio caracterstico para esta matriz :
q(Xmin) >O
garantimos a existncia de dois autovalores negativos e, portanto, uma variedade estvel
no ponto para que exista uma possvel onda viajante. A trajetria vai depender dos
autovetores, pois a posio destes determina a existncia da trajetria ligando os dois
pontos. Isto deve ser calculado para cada conjunto de parmetros que consideramos.
Utilizando XPPAUT [15] fazemos a simulao do diagrama de fase (ou projees) para
determinar tal trajetria. Vide o mtodo geomtrico proposto em [lO] e [9] para onda no
sentido da direita.
Utilizando o Software XPPAUT [15] realizamos os grficos do diagrama de fase e
da frente de onda para as fases alada e aqutica. Na figura 4.6 vemos a projeo do
diagrama de fase no plano (M, A). Destaca-se a trajetria que passa pelos pontos crticos
para c = O, 394.
52
1.2
.---.---,----,,.---,---,----r--..,
Aquatica
c=0.394
0.8
c=0.41
c=0.393
0.6
0.4
0.2
Mosquito
-0.2 '--J.....--'---'---J.....--'-----"'----l
1.4
o
0.2
0.6
0.8
1.2
0.4
53
Na figura 4. 7 vemos a frente de onda para o valor Cmin = O, 394. Observa-se como
a frente de onda do mosquito avana no sentido da esquerda, em suas duas fases, colonizando assim a rea antes no colonizada.
1.2
,---,---,---,---,--.,---r----,
Aquatica
0.8
Mosquito
0.6
0.4
0.2
o
z
-0.2 " - - - ' - - - ' - - - ' - - - ' - - - ' - - - ' - - - - - '
o
10
20
30
40
50
60
70
Figura 4.7: Neste grfico vemos as frentes de onda da fase alada e aqutica para
O, 394 e os parmetros dados pela equao (4.4.10).
54
Cmin
55
Captulo 5
Ondas viajantes oscilatrias em um
modelo para o mal de cadeiras nas
capivaras
5.1
Introduo
Neste captulo vamos a trabalhar com o seguinte modelo geral o alastramento do mal
das cadeiras em capivaras [6]:
88
t
t
N
t
P
t
owb.N
-
div(W N)
aNb.P- div(W N)
+ fJ2NI- apP.
Lembremos que as, a1 e aN so os coeficientes de difuso das capivaras sadias, infectadas e dos insetos, respetivamente. V o trasporte para as capivaras e W, para os
~
56
insetos. s e N so as taxas de reproduo para capivaras sadias e insetos no portadores, respetivamente. /31e /32 as taxas de transmisso da doena. as,ar,aN e ap so as
mortalidades de capivaras sadias e infectadas, e de insetos no portadores, e portadores
respetivamenete. 1 a taxa de mortalidade por doena nas capivaras infectadas.
O importante deste modelo geral que a presena do vetor da enfermidade gera ondas
oscilatrias [5]. No modelo simplificado no podemos considerar este importante fato, que
motiva o presente trabalho, j que no podemos ter ondas oscilatrias em torno do zero.
Aqui obtivemos um ponto de coexitncia, onde todos os compartimentos so diferentes
de zero, permitindo a anlise dessas solues.
Encontramos ento frentes de epidemias, que ressurgem depois de um determinado
tempo, como realmente se constata no fenomno ral, onde as capivaras parecem extinguirse e logo ressurgem. Trabalhamos primeiro com o modelo sem conveco e depois a
inclumos. l\"este modelo calculamos tambm a velocidade de propagao em funo dos
parmetros fundamentais e realizamos simulaes numricas, que nos permitem entender
o comportamento das espcies.
57
5.2
Modelo
iv) A dinmica vital dada, tanto nos insetos, como nas capivaras, por una funo
logstica.
O modelo, que foi proposto por Silvio Pregnolatto [6], o seguinte:
as
at
at
ai
(5.2.1)
I)
at
at
8N
aP
(5.2.2)
+ N (N + P)
( 1- p ; N)
2
(5.2.4)
Adimensionalizao
Realizamos a seguinte adimensionalizao: as populaes so divididas pela sua capacidade suporte, o tempo medido em funo da taxa de crescimento das capivaras e o
espao consideramos como o parmetro da difuso dos insetos, o qual grande em comparao com os coeficientes de difuso das capivaras infectadas e sadias.
N*
~, P* =
;2, :1
8* =
,I* =
~1
Ds
Modelo adimensionalizado
88
(5.2.5)
8t
8!
8t
(5.2.6)
8N
(5.2.7)
8t
8P
(5.2.8)
8t
5.3
rp 8 8 -
O
O
(5.3.9)
(5.3.10)
O
O
(5.3.11)
(5.3.12)
Eo
Er
E2 -
Es
E4
onde
TI 'PN
No
a b N0 '
So -
lo
b No
, Po= 1
com
bo = >.- 1 'PN ab
'PN
b(1- a)
<psb
ab
-ry<pNb+ ().-l'PN
l)<pNab
(ab)2
Co=
ou seja
- > - ->1,
'.PN
.\' cps
ou seja, o perodo mdio de reproduo menor que a vida mdia dos insetos e a vida
mdia das capivaras maior que 1.
Para a existncia do ponto Eo = (So, lo, No, Po):
P0 tem que ser maior que zero, ento:
1- - 1'PN > 0,
pois a condio de existenncia do ponto E3, temos ento, que
_ -ry<pNb + (- 1'PN- l)<pNab
Co(ab)2
60
<
Xz
XH
'Ps -1 <O
(-1+- 1 rpN)<0
(1/2){-(1'/+'PN) y/(71 + 'PNJ2 -4(77 'PN -ab (1- rps)(1-
rpN))}
xl
Xz
Xs
X4
1- 'Ps >O
(1 - 1 rpN)>0
-1] <o
-rpN < 0
61
5.4
5.4.1
Ondas viajantes
Considerando que o coeficiente de difuso das capivaras muito menor que o dos
insetos fazemos Ds = D1 = O em (5.2.5 - 5.2.8), sem levar em conta, por enquanto, a
conveo, ou seja: V = O, W = O. Para obter as condies da velocidade das ondas
viajantes fazemos z = x + ct e obtemos o sistema
-r:$'+8(1-(S+I))
a.SP-<p5 S -cf + a.SP -17! N" -cN' +(P+ N) (1- (P+N))- bNI- 'PNN
p"- cP' + bNI + 'PNP
O
O
O.
(5.4.14)
(5.4.15)
(5.4.16)
(5.4.17)
N' -
1 ,
a.
<ps
-S (1.- (S +I))-- SP- - S
c
c
c
a.
'f/
-SP- -I
c
c
X
p'
s'
t
x'
y'
(5.4.18)
(5.4.19)
(5.4.20)
(5.4.21)
(5.4.22)
(5.4.23)
c
_TI.
c
o
o
o
o
o
o
o
o
o
:e=!
:e=!
o
o
b(l - -l'PN)
-b(l - -l'PN)
(l- -l'PN)
a(\Os-1)
c
a(l-IOs)
c
o
o
oo
oo
1 o
o 1
c o
o c
=~(c+
Xz
=~(c- VC2 +
X3
ylc2 +4(l-
4(l- 1 <pN))
-l+<ps
<0
c
Xmax
Lembremos que essa condio dada pois no diagrama de fase no podem existir
autovalores imaginrios neste ponto (1- <ps,O,l- - 1 <pN,O,O,O). Estes implicariam
63
Como tem que ser raz dupla ento temos a seguinte equao:
P(xmax) = p' (Xmax) = O
3
Xmaz
7/)
+ ( -C+ C
Xmax
Xmax-
(7/
rr + C);(1ali
1
+ 'PN )Xmax- C'PN
- )'PN('PS -1)
=;c (-c
2 + 7/-
1.4
1.2
64
. r
' '
:.4
:.2
o .2
c .8
T) -
65
0.9
0.8
071
0.6
~o.sf------
04[
0.3,
02~
1 _ ---~~:~/------------
0.1
200
400
600
800
i 000
1200
1400
1600
i 800
2000
'
Figura 5.3: Grfico das frentes de ondas movimentando-se para a esquerda, para os
parfunetros: a= 0,3, b = 1, 7J = 0,4, 'PN = 0,05, cp 8 = 0,5, e = 1. Notemos que a
densidade inicial das capivaras O, 5 para as sadias, zero para as infectadas. E a densidade
inicial para os insetos O, 95 para no portadores e zero para os portadores. Depois da
frente passar as densidades se estabilizam no ponto de coexitncia, S0 = O, 21, 10 =
O, 1, N 0 = 0,32, Po =O, 63.
Para os parfunetros: a = 1, 2, b = 1, 7J = O, 4, 'PN = O, 03, 'Ps = O, 02, e = 1,
temos uma trajetria que liga os pontos de equilbrio associados a E 3 = (0.98, O, 0.97, O) e
Eo = (0.04, 0.083, 0.26, 0.71) segundo os calculos com (5.3.13) e concidem com a simulao
numrica. Neste caso os autovalores so imaginarias no ponto E 0 = (0.039, 0.083, 0.255, 0.714).
Mas no temos problemas pois no implicam populaes negativas, pois as coordenadas
so positivas. Aparecem aqui as ondas oscilatrias.
Na figura 5.4 vemos as frentes das ondas neste caso. Observamos que quando a frente
das capivaras infectadas atinge as sadias, a densidade destas ltimas diminui, mas logo
tem uma recuperao at a prxima frente de capivaras infectadas atingi-las novamente,
causando nova dinnuio. O mesmo fenmeno pode-se observar nos insetos. Conforme
testemunhas, isto acontece no fenmeno real, onde as capivaras parecem extinguir-se e
depois voltam a surgir.
66
Figura 5.4: Grfico das frentes de ondas viajantes oscilatrias para os parmetros : a =
1,2, b = 1, 7J = 0,4, = 1, <ps = 0,02, e 'PN = 0,03. Notar com estes parmetros que
S 0 =O, 039, 10 = 0.083, No= 0.255 e P0 = 0.714
Na figura 5.5 observamos o fenmeno cclico somente para as capivaras. Vemos, na
curva das capivaras infectadas, como as frentes de infeco diminui de intensidade quando
z cresce. Vemos que cada frente que atinge as capivaras sadias faz com que sua densidade
diminua, mas se recuperam logo que a frente passa, at ser atingidas por nova frente.
Na figura 5.6 observamos o mesmo fenmeno para os insetos.
67
0.9[\
l\
0.81
l i
07~
I I r\
0.6~ 1:! \
I
'1i
'
::r ~ \
~ i!
0.3 1!\
02t
/\
\....
!I
'i
_;
\\
/'''-...
--------------------
.._ / -
'.j
},;\--~-0
500
1000
1500
2000
2500
3000
3500
'
Figura 5.5: Grfico das frentes de ondas viajantes oscilatrias para as capivaras com
parmetros : a= 2, b = 1, 7, 'T) O, 1, = 1, <ps =O, 1 e 'PN =O, 5.
~~---~&O~-----,~ooo~----~,&o~----~2000~~--~2&o~----~~~
'
Figura 5.6: Grfico das frentes de ondas viajantes oscilatrias para os insetos com
parmetros: a= 2, b = 1, 7, 'T) =O, 1, = 1, 'Ps =O, 1, e 'PN =O, 5.
68
5.4.2
Modelo simples
as
8t
ai
8t
8N
8t
8P
8t
S+I)
sS ( 1 - lf:"
(5.4.24)
fJ1SP
fJ1SP-
~ri
aN f2N
axz
+ N (N + P) ( 1 - P+
K N) -
(j2p
aN ax2
(5.4.25)
+ fJ2NI.
{32 N I
(5.4.26)
(5.4.27)
69
Adimensionalizao
Realizamos a seguinte adirnensionalizao: as populaes so divididas por sua capacidade de suporte, o tempo medido em funo da taxa de crescimento da populao
de capivaras e no espao consideramos corno o parmetro da difuso dos insetos.
Modelo adimensionalizado
Retirando os astericos para simplificar a notao, da mudana proposta acima obtemos
o seguinte modelo:
S
Jt
l
Jt
N
Jt
P
Jt
8(1-(S+I))-aSP
(5.4.28)
aSP- ryl
(5.4.29)
f2N
x2 + >..(P + N) (1- (P + N))- bNI
(5.4.30)
P bNI
x2 +
(5.4.31)
S(I-(S+I))-aSP
aSP-ryi
>..(P+N)(1-(P+N))-bNIbNI =
e obtemos os seguintes pontos de equlibrio:
70
O
O
O
O
(5.4.32)
(5.4.33)
(5.4.34)
(5.4.35)
Eo
Er
Ez
E3
Ek
< 1,
onde,
(1- a)
So= (1 +!!)'
/, = a(1-a)
o
1]
(1
+ ~)"
(5.4.36)
A condio necessria para termos So, 10 > O, j que so populaes, que a < 1.
Logo, em funo das variveis originais temos a seguinte estimao em tempos:
Kz f3z
-<--
l\otemos que esta condio no depende do parmetro b, que taxa de contgio dos
insetos, dependendo somente do parmetro a, taxa de contgio das capivaras. No modelo
geral teremos dependncia de b.
Observemos que quanto mais perto o valor de a se encontra de 1, valor mximo para
a transmisso de infeco, menos capivaras sobrevivem frente, at atingir o valor a = 1,
onde ocorre a extino. Temos um estado endmico quando a << 1, sobrevivendo a
maioria delas.
- d as capivaras
--s::;-
71
o. 6
0.8
Figura 5.7: Grfico dos estados de equilbrio So, 10 em fun<;o da taxa de infeco das
capivaras a para o valor fixo 'f) = 0.06
Podemos ver no grfico 5. 7 a variao dos pontos de estabilidade 8 0 , 10 , para diferentes
valores da taxa de contgio das capivaras a, tomando 'f) = O, 06. Notemos que quando
a = 1 temos zeros para cada compartimento, ou seja, a extino. Quando a = O no
temos propagao da doena, obtendo ento 8 0 = 1, lo = O. O ponto de mximo se d
para a = O, 19. Para essa taxa de contgio temos a mxima quantidade de infetados
lo O, 615.
-1<0
x2
-<
O
---;::---;--;-
X3,4
Como x 3 > Oeste ponto sempre instvel (veremos que no modelo geral temos a condio
de estabilidade).
Estabilidade do ponto Eo
= (So, lo, O, 1)
X2
-blo <O
-< 0
e as razes do polinmio:
x 2 + (-1 + 280 -lo+ a +'f))x+ (-TJ + 2'f)So- 'f)lo+ 'f)a+ aSo).
72
-( -1
<O
e
( -1) + 21)8o- 1)lo + 1)a +aSa) > O.
Logo se
1) << 1
(5.4.37)
1)>a
(5.4.38)
X1
X2
<0
X3
-1)
<o
x4
1- a(1- k)
1-a(1-k)>O
com o qual Ek instvel. Isto significa que no caso de existir ponto de coexistncia o
nico estvel.
Se a 2': 1 ento Ek vai deixar de ser instvel se a(1 - k) > 1. Em a = 1 temos
um ponto de bifurcao. Notemos que quando a = 1 temos a igualdade entre os pontos crticos E0 = Ek = (0,0,0, 1), para k = O e alm disso, coincidindo tambm os
autovalores e tornado-se estvel, j que x 4 = O deixando de ser positivo. Este ponto,
73
(O, O, O, 1) da extino das capivaras. Encontramos tambm ondas viajantes neste caso
onde E 2 = (1, O, 1, O) instvel e Eo = (O, O, O, 1) estvel.
Xz
<
<0
X3
-7}
X4
sendo ento sempre instvel. Se tivermos as capivaras e insetos com densidade no valor
das capacidades de suporte, podemos esperar que no se extingam as duas espcies no
caso de invaso.
as
S(x, t) = S(z)
I(x, t) = I(z)
N(x, t) = N(z)
P(x, t) = P(z)
z= x+d.
74
O
O
O
(5.4.39)
(5.4.40)
(5.4.41)
(5.4.42)
s
-
1
a
-S (1- (S +I))-- SP
c
c
a
1J
-SP- -I
c
c
X
p'
x'
I'
N'
y' -
(5.4.43)
(5.4.44)
(5.4.45)
(5.4.46)
(5.4.47)
(5.4.48)
S(-oo) = 1, S(oo) = So
I(-oo)=O, I(oo)=lo
N(-oo)
1, N(oo) =O
75
o c o
o c o !!:c o
o o o o 1
o o o o o
o b ,\ ,\ c
o -b o o o
_!
c
_!
_!!;
_!)_
o
o
o
1
o
c
X!=-C
e as raizes do polinmio
p(x)
:=
x 3 +(~-c)
x
2
TJX
+a:.
Xmin,max =
(2- ry)
3c
P(Xmin)
76
) = x 3m'tn
-L
Pr\ x mzn
1
(!1. - c) x 2m n 2
(CJ _ ry)
ab
c
O
,
3c
Xmin
'fJX mzn
-L
1
3c
Esta equao que determina Cmin Podemos encontrar, por exemplo, a velocidade
da propagao da doena em funo de a ou b. :\ otemos que temos para eles o mesmo
comportamento, pois a equao simtrica quando mudamos a por b. Isto significa que as
taxas de contgio tem o mesmo peso na propagao da doena como acontece no modelo
geral.
A matriz no ponto: (80 , 10 , O, 1, O, O) dada por:
l-2SQ-lQ-a
_Q
c
_!1.
c
!!
o
o
o
o
o
o
o
o
o
o
o
o
oo
oo
c
o 1 o
o o 1
c o
o o c
-~
c
+blo
-bio
cvc2+4
2
X23
~a=
.
c veZ+ 4bio
2
2 + 4bi0 > O e
Temos a condio:
(5.4.49)
que ocorre para a<< 1, pois no podemos permitir neste ponto possveis solues oscilatrias, o que implicaria na existncia de populaes negativas, neste caso s para os
insetos no portadores. Na figura (5.8) podemos observar a variao desta condio para
diferentes valores de a com 7J = O, 06 fixo.
77
lc
Figura 5.8: Grfico da condio de oscilao em funo da taxa de contgio das capivaras
a, para 'f/ = O, 06
Na figura 5.9 mostramos a simulao numrica com o Software Matlab para os seguintes
parmetros:
a= O, 03, 'f/= O, 06, b =O, 1, =O, 05, e c= 12.
Notemos que para estes parmetros temos,
So = O, 6466, 10 = O, 3233,
(5.4.50)
calculados com (5.4.36). Neste caso vemos que a frente de onda de insetos portadores
vai na frente das capivaras infectadas. Quando a frente de portadores atinge os no
portadores, a densidade destes ltimos comea diminuir at se extinguir (o modelo
simples).
Quando a frente de onda das capivaras infectadas atinge as sadias, vemos que acontece o mesmo fenmeno: a densidade das sadias comea a diminuir at ficar no valor
So = O, 6466, e as infectadas ficam no valor lo = O, 3233. Estes valores que aparecem
na simulao numrica so os correspondentes aos calculados por (5.4.50) para estes
parmetros. O valor de c alto para melhorar o desenho na simulao pois a curva fica
muito estreita para valores mais baixos, mas mantm o comportamento.
Na figura (5.10) os parmetros so os mesmos que na figura anterior, com exceo do
valor de a, na figura anterior era a = O, 03 < O, 07, e agora a = O, 4. Este valor maior
que acritico = O, 07, onde muda de sinal a condio (5.4.49), sendo neste caso negativa.
Ver tambm o grfico (5.8) onde se pode observar a negatividade.
Isto implica que a soluo oscila em torno do ponto de chegada, provocando a soluo
oscilatria nas proximidades de zero para os no portadores, o qual no podemos permitir
neste modelo simples, mas sim no modelo geral. A vantagem aqui que podemos calcular
o valor da taxa de infeco a partir do qual esta oscilao comea.
78
0.6
0.4
79
-0.2':-----::":--~-~--:'7--,L,--~,--.-..L,_~.,----~c-~
200
400
600
800
1000
1200
1400
1600
1800
2000
'
Figura 5.10: Ondas viajantes de invaso para os seguintes parmetros: a = O, 4, TJ =
O, 06, b = O, 1, = O, 05 e c = 12. Aqui o valor de a > 0.07, ento a condio (5.4.49)
fica menor que zero, vide (fig 5.8), gerando ondas oscilatrias. No podemos admitir,
neste modelo simples, este tipo de soluo, pois a curva da populao de insetos no
portadores gira em torno do zero.
Figura 5.11: Ondas viajantes de invaso para os seguintess parmetros: a - 1, rJ 0.06, b = 0.5, = 0.05, c = 12. Obseravamos aqui a extino das capivaras
80
A vantagem deste modelo simples que podemos fazer todos os clculos analiticos no
ponto de equilfbrio no trivial, (80 , 10 , O, 1, O, O) e obtemos, por exemplo, a condio de
oscilao (5.4.49). O grfico desta condio em funo de a para o valor 7J = O, 06 pode
ser observado na figura 5.8, o que facilita a interpretao. Na regio onde a funo
negativa indica valores de a onde a onda oscila em torno de (80 , 10 , O, 1, O, 0), mas como
aqui N = O, teremos populao negativa.
No grfico 5.9 vemos que isto acontece para o valor a = O, 4, e no uma onda
biolgicamente aceitvel. Na regio onde a funo positiva podemos admitir onda
viajante, por exemplo para a = 0.03, vide 5.10 para a onda viajante. Para o caso
e),:tremo a 1 temos de (5.4.36): 8 0 = 10 =O, a extino das capivaras. A onda viajante
correspondente a este caso pode ser observada na figura 5.11.
Este modelo simples tem ento a vantagem de ser muito didtico, onde tudo pode ser
calculado analiticamente. Mas o modelo geral apresentado, ainda que no possibilita o
clculo em forma analtica no ponto no trivial, reflete melhor a realidade. Nele podemos
considerar as ondas oscilatrias de propagao da doena, que como ocorre na realidade.
5.4.3
Analogamente subseo anterior consideramos que o coeficiente de difuso das capivaras muito menor que dos insetos. Fazemos Ds = D1 =O em (5.2.5- 5.2.8). Consideramos agora a conveo e procuramos ondas viajantes fazendo z = x + d. Obtemos o
sistema:
-cS'- vs' + S (1- (S +I))- a SP- <p 8 S
o
o
o
o
(5.4.51)
(5.4.52)
(5.4.53)
(5.4.54)
~ (Cc+ W)+
X2
~ (Cc+ W)- J(c+ W) 2 +4>..(1- >.. 1'PNl) <O pois (1- >..- 1'PN) >O
J(c+ W)2+4>..(1->..
'PNl)
81
-1 + 'Ps
82
O acima, e
= 0.03.
1.5
1.25
t
I
o. 5 t
o- 75
0.25 L
w
1
83
5 [
f
'-'t
't
3.5
2.5
w
'
5.5
Concluso
~os trs modelos utilizamos a tcnica das solues de onda viajante para descrever
o fenmeno correspondente em funo dos parmetros interessantes do ponto de vista
biolgico. Fizemos grficos interpretativos do fnomeno correspondente, para entender
o comportamento da propagao ou da invaso. Utilizamos recursos computacionais,
baseando-nos nos clculos analticos realizados.
Esta tcnica nos permite, atravs do modelo, interpretar melhor o comportamento da
doena ou do mosquito. Permite, tambm, observar possveis formas de controle.
Destaquemos que as anlises foram feitas para os modelos unidimensionais, pois eles
so representativo do bidimensional. Alm disso, frequente a ocorrncia no plano, do
fato do fenmeno se estabilizar rapidamente em uma direo, que pode ento ser desconsiderada, ficando o estudo restrito outra direo, chegando novamente a considerar o
sistema unidimensional.
85
Referncias Bibliogrficas
[1] Murray, J.D. (1989). Mathematical Biology. Springer-Verlag,Berlin.
[2] Fiher, R.A. (1937). The wave of advanceof advantageous genes. Ann. Eugenics 7,
353-369.
[3] Kolmogorov, A., Petrovsky, L, Piskunov, N. (1937). tude de l'quation de la difussion
avec croissance de la quantit de matiere et sou application um probleme biologique.
Moscow Univ. Bull. Math. 1, 1-25.
[4] FitzHugh, R. (1961). Impulses and physiological states in theoretical models of nerve
membrane. Biophys.J 1, 445-466.
[5] Meyer, J.F. da C.A., Pregnolatto, S. de A. (2002). Uma estratgia numrica para
simulao numrica do comportamento evolutivo de um sistema de EDP descritivo do
mal-das-cadeiras de capivaras- a presena do vetor. Revista Biomatemtica. IMECCUNICAMP.
[6] Pregnolatto, S. de A. (2002). O mal-das-cadeiras em capivaras: estudo, modelagem e
simulao de um caso. Tese de doutorado em biomatemtica, BAE-UNICAMP.
[7] Kallen, A., Arcuri, P., Murray, J.D. (1985).A Simple Model for the Spatial Spread
and Control of Raibes. J.Theor.Biology 116, 377-393.
[8] Murray, J.D., Stanley, E.A., Brown, D.L. (1986). On the Spatial Spread of Rabies
Foxes. Proc.R.Soc.Lond. B229, 111-150.
[9] Tiemi, L.T., Maidana, N.A, Ferreira Jr., W.C. (2003). O aedes e sua onda, Revista
Biomtematica-IMECC-UNICAMP.
[10] Tiemi, L.T., Maidana, N.A., Petronio, P., Ferreira Jr., W.C., Yang, H.M. Mathematical Models for the Aedes aegypti dispersai dynamics: Travelling waves by wing
and wind. Submetido a publicao na revista Bulletin of Mathematical Biology.
[11] Maidana, N.A., Ferreira Jr., W.C. (2002). Estudo matemtico da propagao de uma
doena de transmisso indireta. Revista Biomatematica-IMECC-UNICAMP, 157-168.
[12] Shigesada, N., Kawasaki, K. (1997). Biological Invasions: Theory and Practice, Oxford University Press.
[13] SUCEN-Superintendncia de Controle de Endemias, Marlia- SP.
86
87