Universidade Federal Do Paraná

UNIVERSIDADE FEDERAL DO PARAN
SUELLEN RODRIGUES
ESTUDO DO COMPORTAMENTO DAS SOLUES
DE EQUAES DIFERENCIAIS PARCIAIS
PARABLICAS USANDO O MTODO DAS
CARACTERSTICAS
CURITIBA
2010
SUELLEN RODRIGUES
ESTUDO DO COMPORTAMENTO DAS SOLUES
DE EQUAES DIFERENCIAIS PARCIAIS
PARABLICAS USANDO O MTODO DAS
CARACTERSTICAS
Dissertao apresentada ao Programa de
Ps-Graduao em Mtodos Numricos
em Engenharia, rea de Concentrao:
Mecnica Computacional, Setores de
Tecnologia e Cincias Exatas, Universidade
Federal do Paran, como parte das exign-
cias para a obteno do ttulo de Mestre em
Cincias.
Orientador: Prof. Dr. Nelson Lus da Costa
Dias
CURITIBA
2010
TERMO DE APROVAO
SUELLEN RODRIGUES
ESTUDO DO COMPORTAMENTO DAS SOLUES DE EQUAES
DIFERENCIAIS PARCIAIS PARABLICAS USANDO O MTODO DAS
CARACTERSTICAS
Dissertao aprovada como requisito parcial obteno de grau de Mestre em Cin-
cias no Programa de Ps-Graduao em Mtodos Numricos em Engenharia - rea de
Concentrao: Mecnica Computacional - Setores de Tecnologia e Cincias Exatas da
Universidade Federal do Paran, pela seguinte banca examinadora:
Prof. Nelson Lus da Costa Dias, Ph.D.(Orientador)
Programa de Ps Graduao em Mtodos Numricos em Engenharia - PPGMNE - UFPR
Prof. Ademir Alves Ribeiro, D.Sc.
Programa de Ps Graduao em Mtodos Numricos em Engenharia - PPGMNE - UFPR
Prof
a
. Tamia Marta Yamamoto, D.Sc.
Universidade Tuiuti do Paran - UTP
Curitiba, 14 de julho de 2010.
DEDICATRIA
A minha famlia, meu esposo Cleverson e meu lho Davi, por esperar a hora certa.
iii
AGRADECIMENTOS
Primeiramente a Deus, pela vida, pela sade e pela sabedoria, depois ao professor
Nelson Dias, pela compreenso e dedicao com que orientou este trabalho, tornando
possvel a realizao do mesmo.
Ao meu esposo Cleverson pelo incentivo, pela companhia em todas as horas, por com-
preender a minha ausncia e por muitas vezes at me auxiliar em diculdades acadmicas.
Aos demais membros da minha famlia: meu pai, meu irmo, meus sogros e todos os outros
que contriburam de alguma forma para realizao deste trabalho.
A Maria minha amada mezinha por todo amor que dispensou a mim e pelo auxilio
emocional e espiritual durante toda minha jornada at chegar aqui.
A minha cunhada Daniele por tudo que fez pelo sucesso da minha dissertao, por
todos os bons conselhos e pelo companheirismo dirio no CESEC.
Aos queridos amigos do CESEC: Bruno Solheid, Lucas Mximo, Fabio Balbo, Raphael
Scuciato, Luciana Alexandre, Iara Zadonai, Marcelo Franco, Marina Vargas, Rodrigo
Dias, Vanessa Ales, a querida Maristela Bandi e todos os demais que talvez no foram
citados aqui, mas que sempre me apoiaram seja em diculdades acadmicas e/ou emo-
cionais.
Aos amigos Marco Aurlio Hadad, Vanessa Cavali, seja pelos bons bons conselhos ou
por todas as longas horas de estudo.
Aos professores do CESEC, que contriburam com seus conhecimentos, os quais foram
essenciais para consolidao deste trabalho.
Ao meu querido e amado lho Davi, que esperou a mame terminar trabalho para
depois vir ao mundo.
CAPES pelo apoio nanceiro.
E por m a todas as pessoas que, direta ou indiretamente, contriburam de alguma
forma para a realizao deste trabalho e dessa grande vitria pessoal o meu mais profundo
iv
agradecimento.
v
EPGRAFE
. . . Haja luz
Deus
vi
RESUMO
Este trabalho tem como objetivo estudar as solues de equaes diferenciais parabli-
cas usando o mtodo das caractersticas. Este mtodo consiste em transformar uma
equao diferencial parcial de segunda ordem, em um sistema de equaes de primeira
ordem. Estas equaes so resolvidas atravs de integrao ao longo das linhas carac-
tersticas de cada equao. Porm na Difuso, no se pode obter duas equaes. Desta
forma o mtodo no se aplicaria a esse tipo de equao, por essa razo, foi necessria
uma adaptao no mtodo das caractersticas tradicional para que pudesse ser usado em
equaes parablicas. Esta adaptao teve um preo alto, pois atravs dela foram gerados
sistemas que para serem resolvidos, exigem o conhecimento a priori da soluo da equao.
A adaptao tambm gerou integrais que exigem um considervel esforo analtico para
sua resoluo. Aps aplicao do mtodo vericou-se que a soluo obtida atravs deste
pseudo mtodo das caracterstica era idntica aquela obtida analiticamente, ou seja, o
mtodo possui consistncia suciente para recuperar a soluo.
Palavras-chave: Mtodo das Caractersticas. Equao Parablica. Adaptao.
vii
ABSTRACT
In this work we study the behavior of solutions of second-order parabolic partial dier-
ential equations by means of the method of characteristics. The equation is rst converted
to a system of rst-order equations which can then, in principle, be solved by simple
quadrature along the characteristic lines. It is well known, however, that this is not im-
mediately possible for parabolic equations: the resulting system in this case possesses only
one eigenvector, and therefore only one characteristic direction. In order to circumvent
this diculty, it was necessary to adapt the method of characteristics as follows. We as-
sume that the solution is known, and change the rst-order system of equations to recover
two eigenvectors. This comes at a high price, as the solution has to be known in advance.
Then, with derivatives of the solution incoporated to the rst-order system of equations,
the method of characteristics can be applied, and the analytic solution is recovered. The
procedure can therefore be applied in a consistent way. We conjecture that our analytical
treatment can be adapted to generate iterative solutions by simple numerical methods.
Key-words: Characteristics method. Parabolic equation. Adaptation.
viii
Lista de Figuras
2.1 Curvas caractersticas e condio inicial da Equao (2.11). . . . . . . . . . 9
2.2 Curvas caractersticas e condio inicial da Equao (2.23) . . . . . . . . . 12
A.1 Curvas caractersticas e condio inicial da Equao (A.1) . . . . . . . . . 70
ix
Sumrio
1 Introduo 2
2 A Forma Clssica de Utilizao do Mtodo das Caractersticas 5
2.1 Classicao das Equaes Diferenciais Parciais . . . . . . . . . . . . . . . 5
2.2 Problemas Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . 8
2.3 Problemas No Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . 11
3 Soluo da Equao da Onda 14
3.1 A Soluo de dAlambert . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4 O Problema da Difuso 23
4.1 O Mtodo das Caractersticas em sua Forma Clssica . . . . . . . . . . . . 23
4.2 Primeiro Problema de difuso . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.2.1 A Soluo Analtica por Transformada de Laplace . . . . . . . . . . 28
4.2.2 As Componentes do Vetor

F . . . . . . . . . . . . . . . . . . . . . . 30

V . . . . . . . . . . . . . . . . . . . . . . 31
4.3 Resoluo do Sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.4 A Segunda Parte da Resoluo . . . . . . . . . . . . . . . . . . . . . . . . . 41
5 Segundo Problema de Difuso 44
5.1 Segundo Problema de Difuso . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.2 Resoluo por Transformada de Laplace . . . . . . . . . . . . . . . . . . . 47

F . . . . . . . . . . . . . . . . . . . . . . 51

V . . . . . . . . . . . . . . . . . . . . . . 52
5.3 Resoluo do Sistema de Equaes . . . . . . . . . . . . . . . . . . . . . . 53
5.3.1 A Segunda Parte da Resoluo . . . . . . . . . . . . . . . . . . . . 65
x
6 Concluses e Recomendaes 67
A Tentativa de Soluo por Sries 69
1
Captulo 1
Introduo
So muitas as aplicaes existentes para as Equaes Diferenciais Parciais. Sabe-se
que grande parte dos fenmenos fsicos e de engenharia, podem ser descritos atravs de
uma Equao Diferencial Parcial. Tais equaes so classicadas em trs tipos: Elpticas,
Parablicas ou Hiperblicas. Esta classicao no simplesmente acadmica, pois cada
classe de Equao diferencial Parcial est associada a uma categoria diferente de fen-
menos. Alm disso, alguns mtodos de soluo que se aplicam a uma classe de equaes
podem no se aplicar a outra.
Pode-se distinguir na natureza dois tipos de fenmenos fsicos: transientes e esta-
cionrios. Transientes so aqueles que evoluem com o tempo. Estacionrios so os que
esto em equilbrio Fortuna (2000). H mtodos especcos de simulao para os dois
tipos de fenmenos.
Problemas estacionrios so em geral representados por equaes do tipo elpticas,
cujo prottipo a equao de Laplace. Problemas transientes so aqueles que envolvem
a variao temporal de grandezas fsicas, por isso, podem ser modelados por equaes do
tipo hiperblico tal como a equao da onda ou parablicos assim como a equao da
difuso. Esta ltima o foco principal deste trabalho.
Problemas de difuso, podem ser resolvidos por diversos mtodos, tanto numricos
quanto analticos. Neste trabalho, utiliza-se dois mtodos: Primeiramente obtm-se a
soluo analtica dos problemas de difuso, utilizando transformada de Laplace. Esta
soluo obtida para que se possa avaliar, posteriormente o comportamento da mesma
utilizando o mtodo das caractersticas.
O mtodo das caractersticas um mtodo tanto numrico (Romo et al., 2008) quanto
2
analtico (Sarra, 2003) de soluo de equaes diferenciais parciais. Porm, classicamente,
o mtodo das caractersticas utilizado para resoluo de problemas hiperblicos, tal como
se pode vericar em Irio (2005). Neste trabalho procura-se explorar as informaes que
o mtodo das caractersticas pode trazer na anlise de equaes diferenciais parablicas.
Embora o mtodo em sua forma original seja incapaz de proporcionar solues para este
tipo de equao diferencial parcial, ele pode, como veremos, ser modicado para explicar
o papel das linhas caractersticas na soluo analtica. Isto tem um preo alto e ,
primeira vista, inconsistente: preciso conhecer a prpria soluo do problema para
poder reescrev-la na "forma"do mtodo das caractersticas . Assim sendo, este trabalho
deve ser visto como uma primeira explorao do tipo de informao qualitativa que se
pode obter ao se aplicar o mtodo das caractersticas a problemas parablicos.
Deve-se notar, entretanto, que numerosos mtodos na literatura so construdos de
forma no muito diferente daquela que ser exposta aqui; por exemplo, o mtodo de
Gauss-Seidel para resolver iterativamente sistemas de equaes lineares explicita cada
incgnita em funo de todas as outras, parte de uma soluo arbitrria, e geralmente
converge ao m de algumas iteraes, sendo inclusive muito mais eciente, para sistemas
lineares grandes, do que o mtodo de eliminao de Gauss. Desta forma, embora neste
trabalho, ns dependamos do conhecimento a priori da soluo da equao diferencial
parcial parablica, ns antevemos que a tcnica de re-formatao do problema nos moldes
do mtodo das caractersticas poder dar lugar a mtodos iterativos em que se parta de
uma estimativa inicial da soluo.
Nos prximos captulos feita uma explanao do mtodo das caractersticas tradi-
cional, com suas aplicaes tpicas e tambm algumas aplicaes em equaes diferenciais
parciais do tipo parablicas.
Iniciamos esta explanao no captulo 2, onde so relembrados alguns conceitos fun-
damentais para o conhecimento das equaes diferenciais parciais. Tambm abordamos
as formas de obteno das solues de equaes diferenciais parciais usando o mtodo
das caractersticas. Primeiramente exploramos a classicao das equaes diferenciais
parciais. Em seguida temos dois exemplos de utilizao tradicional do mtodo das carac-
tersticas, primeiro em um problema de primeira ordem linear em seguida em um problema
de primeira ordem no linear.
No captulo 3 abordada a equao da onda, da mesma maneira tradicional que foi
3
resolvida por dAlambert. Este problema tpico para utilizao do mtodo das carac-
tersticas, considerado um bom exemplo para ilustrar o mtodo aplicado em problemas
de segunda ordem.
No captulo 4 vamos tratar de um primeiro caso de equao diferencial parcial do
tipo parablica. Para soluo desta equao, inicialmente vamos usar transformada de
Laplace para encontrar a soluo analtica, em seguida vamos analisar a soluo obtida
analiticamente sob a tica do mtodo das caractersticas. A concluso obtida com este
estudo a de que a soluo obtida atravs de transformada de transformada de Laplace
a mesma soluo obtida atravs do mtodo das caractersticas.
No captulo 5 vamos abordar um segundo caso de equao diferencial parcial do tipo
parablica em um problema de difuso. Neste caso tambm faremos o mesmo procedi-
mento do captulo anterior. A diferena que neste captulo, a obteno da soluo atravs
do mtodo das caractersticas muito mais complicada do que no captulo anterior.
No captulo 6 temos as concluses e as orientaes para trabalhos futuros.
4
Captulo 2
A Forma Clssica de Utilizao do
Mtodo das Caractersticas
No captulo 2 ser abordado o Mtodo das Caractersticas na sua forma clssica. Para
isso, vamos mostrar algumas solues de equaes diferenciais parciais que foram obtidas
usando o mtodo. O objetivo desta seo a familiarizao com a verso analtica do
mtodo das caractersticias, que o cerne deste trabalho.
Na seo 2.1, abordada a classicao das equaes diferenciais parciais. O objetivo
desta seo familiarizar o leitor com os tipos de equaes abordadas neste trabalho.
Nas sees 2.2 e 2.3, so resolvidos dois exemplos de problemas envolvendo equaes
diferencias parciais lineares e no lineares. O mtodo das caractersticas utilizado para
obteno das solues destas equaes.
2.1 Classicao das Equaes Diferenciais Parciais
Uma Equao Diferencial Parcial pode ter vrios tipos de classicao, de acordo com
a ordem das derivadas, com os coecientes das derivadas e com o termo independente na
equao.
Vamos comear pela classicao de acordo com a ordem da derivada:
Uma equao diferencial parcial pode ser classicada de acordo com a ordem da
derivada de maior ordem que aparece na equao:
se u(x, y), uma funo de duas variveis, a equao
5
2
u
x
2
+
u
y
= 0 (2.1)
uma equao diferencial parcial de segunda ordem, pois a derivada de maior
ordem dois. Generalizando temos o seguinte:
n
u
x
n
+

n1
u
y
n1
+ ... +

2
u
x
2
+
u
y
= 0 (2.2)
uma equao diferencial parcial de ordem n, pois a ordem de sua maior
derivada n.
De acordo com os coecientes das derivadas, uma equao diferencial parcial pode
ser linear, semilinear ou no-linear:
Uma equao diferencial parcial dita semilinear em um domnio M R
2
, se
ela puder ser escrita na forma
A(x, y)
2
u
x
2
+B(x, y)

2
u
xy
+C(x, y)
2
u
y
2
+G
_
x, y, u,
u
x
,
u
y
_
= 0, (2.3)
onde os coecientes A, B e C, das derivadas de segunda ordem so funes
apenas de x e y e para todo (x, y) M pelo menos um dos coecientes A, B
ou C no nulo, ou seja:
A
2
(x, y) + B
2
(x, y) + C
2
(x, y) = 0. (2.4)
Dessa forma um exemplo de equao diferencial parcial semilinear pode ser
dado pela expresso:
2
u
x
2
=
x
2
y
2
2
u
y
2
, (2.5)
onde o conjunto domnio desta equao M = {(x, y) R
2
: x
2
y
2
> 0}.
6
Uma equao diferencial parcial na forma de (2.3) dita linear se puder ser
escrita na forma
A
2
u
x
2
+ B

2
u
xy
+ C
2
u
y
2
+ D
u
x
+ E
u
y
+ Fu + G = 0, (2.6)
onde A, B, C, D, E, F somente dependem das variveis independentes x e y
e G pode ser constante ou funo de x e y. Alm disso, para todo (x, y) M
A
2
(x, y) + B
2
(x, y) + C
2
(x, y) = 0. (2.7)
Alguns exemplos de equaes diferenciais parciais lineares so
x
u
x
+ u = x
2
,
u
y
= e
y
+ e
x
,
u
x
3
u
y
= sen y + cos x.
(2.8)
Equaes diferenciais parciais no-linerares so aquelas que no obedecem aos
critrios anteriores. Eis alguns exemplos:
u
2
2
u
x
2
+

2
u
y
2
= 0,
x
2
2
u
x
2
+ y
2
2
u
y
2
+ u
2
= 0,
u
u
x
+ u
2
u
y
2
= 0.
(2.9)
Uma equao diferencial parcial pode ainda ser classicada como homognea ou no
homognea
Uma equao diferencial parcial no homognea aquela que pode ser escrita
na forma
7
A
2
u
x
2
+ B

2
u
xy
+ C
2
u
y
2
+ D
u
x
+ E
u
y
+ Fu + G = 0 (2.10)
onde os coecientes A, B, C, D, E, F e G podem ser dependentes das variveis
x e y, da funo u = u(x, y) ou das derivadas de primeira ordem de u = u(x, y);
tambm necessrio que G(x, y) = 0.
Uma equao diferencial parcial dita homognea se puder ser escrita na forma
(2.10) mas com G(x, y) = 0.
2.2 Problemas Lineares de Primeira Ordem
Vamos agora apresentar uma equao diferencial parcial de primeira ordem linear
e em seguida vamos resolv-la usando a forma clssica de soluo atravs mtodo das
caractersticas. Este exemplo foi retirado de Irio (2005). Considere a seguinte equao
diferencial parcial:
u
x
3
u
y
= sin x + cos y, (2.11)
sujeita seguinte condio de contorno:
u(x, x) = p(x), x R, (2.12)
com p uma funo conhecida.
Para soluo atravs do mtodo das caractersticas , primeiramente necessrio obter
as curvas caractersticas desta equao. Para isso calcularemos a derivada total da
Equao (2.11) em relao a x, j que y = x na condio de contorno.
du
dx
=
u
x
dx
dx
+
u
y
dy
dx
(2.13)
comparando 2.11 com 2.13, nota-se que
dy
dx
= 3 (2.14)
8
x
1
y
0
curvas caracteristicas
curva inicial
x
y
x
0
y
1
Figura 2.1: Curvas caractersticas e condio inicial da Equao (2.11).
e a partir desta observao, podemos concluir que as curvas caractersticas da Equao
(2.11), so do tipo
y = 3x + c onde c uma constante. (2.15)
Da condio (2.12) podemos concluir que a curva inicial do problema dada por y = x.
Para facilitar o entendimento do problema vamos analisar a Figura (2.1), onde podemos
visualizar um ponto (x
1
, y
1
), pelo qual passa a curva caracterstica y
1
= 3x
1
+ c. Neste
caso, c a constante que caracteriza esta curva, que pode ser dada por c = y
1
+ 3x
1
.
Tambm pode ser visto na Figura (2.1), um ponto (x
0
, y
0
), conhecido por interceptar
a curva inicial y = x. A partir deste ponto e das informaes fornecidas pela condio de
contorno possvel encontrar
x
0
=
y
1
+ 3x
1
4
. (2.16)
Para nalmente obter a soluo da Equao (2.11) necessrio realizar a integrao
ao longo das curvas caractersticas partindo de x
0
at um x qualquer (x
1
), da seguinte
forma:
9
u(x, y) =
x
y
1
+3x
1
4
sen () + cos (3 + c)d + p(x
0
) (2.17)
onde p(x
0
) um valor conhecido de p dado em (2.12).
Assim, usando (2.16) podemos encontrar,
u(x, y) = cos(x)|
x
y+3x
4
1
3
sen (3x + c)|
x
y+3x
4
+ p
_
y + 3x
4
_
,
= cos(x) + cos
_
y + 3x
4
_
1
3
_
sen (3x + c) sin
_
3
_
y + 3x
4
_
+ c
__
+ p
_
y + 3x
4
_
(2.18)
usando c = y + 3x, encontrado anteriormente, nalmente temos
u(x, y) = cos(x) + cos
_
y + 3x
4
_
1
3
sen(3x + y + 3x)
+
1
3
sen
_
3
y + 3x
4
+ y + 3x
_
+ p
_
y + 3x
4
_
, (2.19)
_
y + 3x
4
_
1
3
sen(y) +
1
3
sen
_
3y 9x
4
+ y + 3x
_
+ p
_
y + 3x
4
_
(2.20)
,
_
y + 3x
4
_
1
3
_
sen (y) sen
_
y + 3x
4
__
+ p
_
y + 3x
4
_
.
(2.21)
Simplicando, encontramos a resoluo da Equao (2.11)
u(x, y) = cos(x) +cos
_
y + 3x
4
_
1
3
sin (y) +
1
3
sen
_
y + 3x
4
_
+p
_
y + 3x
4
_
. (2.22)
Vimos neste exemplo, que o mtodo das caractersticas pode ser utilizado na soluo
de equaes diferenciais parciais lineares e a soluo obtida de maneira simples.
10
2.3 Problemas No Lineares de Primeira Ordem
Vamos analisar, agora, uma equao diferencial parcial de primeira ordem no linear.
Aqui tambm ser usado o mtodo das caractersticas na sua forma clssica, de maneira
anloga ao problema resolvido na seo anterior.
A equao analisada a seguinte:
u
x
+ x
5/3
u
t
=
_
5
3
x
1
+ 2x
1/3
_
u com u(x, 0) = f(x); (2.23)
onde f(x) uma funo qualquer.
Fazendo uma analogia com o primeiro caso, vamos iniciar a resoluo deste problema,
obtendo a derivada total
du
dx
=
u
x
+
u
t
dt
dx
. (2.24)
Vamos comparar a Equao (2.24), com (2.23). Desta forma possvel deduzir que
dt
dx
= x
5/3
. (2.25)
A partir da Equao (2.25), possvel encontrar as curvas caractersticas da Equao
(2.23) integrando diretamente. A soluo desta integrao nos fornece
t =
3x
2/3
2
+ k, (2.26)
que so as linhas caractersticas do problema (2.23), onde k a constante que dene as
vrias linhas.
Para soluo deste problema vejamos na Figura (2.2) um ponto conhecido (x
0
, t
0
),
onde
t
0
=
3x
2/3
0
2
+ k, (2.27)
mas sabemos da condio inicial que t
0
= 0, e assim encontramos
x
0
=
_
2k
3
_
3/2
. (2.28)
11
curva inicial t = 0
(x
0
, t
0
)
(x
1
, t
1
)
x
t
Figura 2.2: Curvas caractersticas e condio inicial da Equao (2.23)
Usando um raciocnio anlogo para um ponto qualquer das linhas, encontramos
t =
3x
2/3
2
+ k (2.29)
ou
k =
2t + 3x
2/3
2
. (2.30)
Continuando com a soluo, vamos integrar a derivada total (2.24) ao longo das linhas
caractersticas
du
dx
=
_
5
3
x
1
+ 2x
1/3
_
u, (2.31)
du
u
=
_
5
3
x
1
+ 2x
1/3
_
dx (2.32)
e assim
12
du
u
=
5
3
x
x
0
1
d 2
x
x
0
1/3
d + u(x
0
, t
0
). (2.33)
A soluo desta integral, nos d
ln (u) =
5
3
ln
_
x
x
0
_
3
2
_
x
4/3
x
4/3
0
_
+ f(x
0
). (2.34)
Exponenciando temos nalmente a soluo para o problema (2.23)
u =
_
x
x
0
_
5/3
exp
_
3
2
_
x
4/3
x
4/3
0
_
_
exp(f(x
0
)) (2.35)
com x
0
=
_
2t+3x
2/3
3
_
3/2
.
Vimos nestes exemplos que o mtodo das caractersticas pode perfeitamente ser uti-
lizado na soluo de equaes diferenciais parciais lineares e no lineares, alm de vrios
outros tipos de equaes. As solues obtidas nestas sees nos remetem idia de que o
mtodo pode ser usado de uma maneira quase que exclusivamente intuitiva e geomtrica,
e consequentemente de fcil compreenso. Esta simplicidade foi parte da motivao para
este trabalho.
13
Captulo 3
Soluo da Equao da Onda
So muitos os fenmenos que podem ser descritos pela equao da onda. Ela governa o
movimento das ondas eletromagnticas, ondas em gua, uidos supersnicos, pulsao de
uxo sanguneo, ondas elsticas em slidos e vibrao de cordas e membranas (Greenberg,
1998).
A equao da onda uma equao do tipo linear de segunda ordem, este foi um
dos problemas mais importante do sculo XVIII. O primeiro a estud-la foi dAlambert,
seguido de Euler, Daniel Bernouilli e Lagrange. Foram obtidas solues em diversas
formas e a discusso sobre os mritos e as relaes entre essas solues levantou questes
fundamentais (como, por exemplo, o que uma funo) que s foram resolvidas no nal
do sculo XIX (Irio, 2005).
No captulo 3 vamos mostrar a soluo para a Equao da Onda que foi obtida por
dAlambert, pois esta foi a primeira experincia feita a partir de linhas caractersticas, de
que se tem notcia.
3.1 A Soluo de dAlambert
A soluo clssica obtida por dAlambert para a equao da onda uma bela forma de
utilizao do mtodo das caractersticas. Aqui mostra-se um problema de vibrao para
uma corda innita, cuja equao governante a equao da onda.
Seja a equao
t
2
= c
2
x
2
(3.1)
14
com as seguintes condies:
(x, 0) = e
x
2
(3.2)
t
(x, 0) = 0. (3.3)
Para simplicar a notao, vamos escrever a Equao (3.1) como
c
2
xx
tt
= 0. (3.4)
O primeiro passo para a utilizao do mtodo das caractersticas em equaes hiperblicas
como esta consiste em transformar uma equao de segunda ordem em um sistema de
equaes lineares de primeira ordem.
Para isso vamos usar a seguinte mudana de variveis:
_
_
_
u =
x
,
v =
t
.
(3.5)
Agora, reescrevemos a Equao (3.4), utilizando a mudana de variveis proposta em
(3.5), para dessa forma obtermos o sistema
_
_
_
c
2
u
x
v
t
= 0,
v
x
u
t
= 0.
(3.6)
Este sistema tambm pode ser representado de forma matricial
x
_
_
u
v
_
_
+
_
_
0
1
c
2
1 0
_
_

t
_
_
u
v
_
_
=
_
_
0
0
_
_
. (3.7)
Observe que o sistema (3.7) envolve duas equaes diferenciais parciais lineares acopladas,
ou seja, as equaes devem ter como soluo duas funes, uma funo u(x, t) e outra
v(x, t). Para evitar esse problema, o ideal desacoplar as equaes, para isso necessrio
diagonalizar a matriz dos coecientes do sistema (3.7).
15
Para diagonalizar a matriz dos coecientes do sistema (3.7), primeiramente necessrio
encontrar os autovalores e autovetores da matriz. Assim, temos
1
=
1
c
e
2
=
1
c
(3.8)
associados a estes autovalores obtemos os autovetores
v
1
= (
1
c
, 1) e v
2
= (
1
c
, 1). (3.9)
Agora possvel reescrever o sistema (3.7) na base dos autovetores encontrados
V +

A

t
V = 0 (3.10)
onde

V = (, ), tem como representao matricial o seguinte sistema:
x
_
_

_
_
+
_
_

1
0
0
2
_
_

t
_
_

_
_
=
_
_
0
0
_
_
. (3.11)
Vale lembrar que (, ), so as componentes do vetor das incgnitas

V , na base dos
autovetores v
1
, v
2
, enquanto que (u, v), so as componentes deste mesmo vetor na base
cannica. Agora precisamos encontrar uma expresso para e para . Isto possvel
efetuando a seguinte mudana de base
v
1
+ v
2
=

V , (3.12)
assim
_
1
c
, 1
_
+
_
1
c
, 1
_
= (u, v) (3.13)
produz o sistema de equaes
_
_
+
c
= u,
+ = v,
(3.14)
16
ou, matricialmente,
_
_
1
c
1
c
1 1
_
_
_
_

_
_
=
_
_
u
v
_
_
. (3.15)
Finalmente obtemos
=
v uc
2
(3.16)
e
=
v + uc
2
. (3.17)
Voltando ao sistema (3.11), vamos desacoplar as equaes
x
_
_

_
_
+
_
_
1
c
0
0
1
c
_
_

t
_
_

_
_
=
_
_
0
0
_
_
, (3.18)
_
x
+
1
c
t
= 0,
x

1
c
t
= 0.
(3.19)
Vamos analisar a primeira equao do sistema (3.19):
x
+
1
c
t
= 0 (3.20)
Primeiramente, necessria uma condio inicial. Sabe-se de (3.2) e (3.3) , que (x, 0) =
e
x
2
e
t
(x, 0) = 0, tambm sabe-se de (3.5), que u =
x
e que v =
t
. Ainda de (3.16),
tem-se =
vuc
2
. Com isso, pode-se concluir que
(x, 0) = cxe
x
2
(3.21)
uma condio inicial para o problema (3.20).
17
curva inicial t = 0
(x
0
, t
0
)
(x
1
, t
1
)
x
t
Agora possvel resolv-lo usando o mtodo das caractersticas. Procedendo de
maneira anloga dos captulos anteriores, comearemos com uma derivada total para
em x
d
dx
=

x
dx
dx
+

t
dt
dx
. (3.22)
Comparando (3.20) com (3.22), verica-se que
dt
dx
=
1
c
. Portanto as curvas caractersticas
do problema, so do tipo
t =
x
c
+ k, (3.23)
onde k a constante que vai denir cada uma das curvas caractersticas.
Na Figura (3.1) est representado um ponto (x
1
, t
1
), pelo qual passa a curva carac-
terstica t
1
=
x
1
c
+ k, onde k caracteriza esta curva e dado por
k =
ct
1
x
1
c
. (3.24)
Analisando agora o ponto (x
0
, t
0
) possvel encontrar uma expresso para x
0
sabendo
que este, intercepta a curva inicial em t
0
= 0. Assim ca claro que o ponto x
0
procurado
dado por x
0
= kc, mas como k =
ct
1
x
1
c
, ento
18
x
0
= x tc. (3.25)
Para resolver a Equao (3.20) basta, agora integrar a derivada total (3.22) ao longo
das curvas caractersticas desde x
0
at um x qualquer (x
1
):
(x, t) =
x
1
x
0
0dx + (x
0
, t
0
) (3.26)
Assim, de 3.21 obtm-se:
(x, t) = cx
0
e
x
2
0
(3.27)
Sabe-se que x
0
= x tc, e assim ca fcil encontrar a soluo da equao (3.20), dada
por
(x, t) = c(x tc)e
(xtc)
2
(3.28)
Ainda no sistema (3.19) necessria a anlise da segunda equao:
x

1
c
t
= 0. (3.29)
Como antes, precisamos atribuir uma condio inicial a esta equao. Sabe-se de (3.2)
e (3.3) , que (x, 0) = e
x
2
e
t
(x, 0) = 0; tambm sabe-se de (3.5), que u =
x
e que
v =
t
. Ainda de (3.17), tem-se que =
v+uc
2
; com isso possvel concluir que
(x, 0) = cxe
x
2
(3.30)
uma condio inicial para o problema (3.29).
Agora possvel resolver este problema usando o mtodo das caractersticas.
Inicialmente encontra-se uma derivada total para em relao x:
d
dx
=

x
dx
dx
+

t
dt
dx
. (3.31)
19
(x
0
, t
0
)
(x
1
, t
1
)
curva inicial t = 0
x
t
Comparando (3.29) com (3.31), verica-se que
dt
dx
=
1
c
, e que as curvas caractersticas
do problema so do tipo t =
x
c
+ k, onde k a constante que vai denir uma curva
caracterstica qualquer.
O problema est representado na Figura (3.1) onde h um ponto(x
1
, t
1
), pelo qual
passa a curva caracterstica t
1
=
x
1
c
+ k, onde k caracteriza esta curva e dado por
k =
ct
1
+ x
1
c
. (3.32)
Analisando, agora o ponto (x
0
, t
0
) possvel encontrar uma expresso para x
0
sabendo
que este, intercepta a curva inicial em t
0
= 0. Assim ca claro que o ponto x
0
procurado
dado por x
0
= kc, mas como k =
ct
1
+x
1
c
, ento
x
0
= x + tc. (3.33)
Portanto a soluo da equao (3.20) pode ser obtida integrando ao longo das curvas
caractersticas desde x
0
at x
1
.
(x, t) =
x
1
x
0
0dx + (x
0
, t
0
) (3.34)
20
Assim, de (3.30) obtemos:
(x, t) = cx
0
e
x
2
0
. (3.35)
Sabe-se que x
0
= x + tc, logo a soluo da equao (3.29) dada por
(x, t) = c(x + tc)e
(x+tc)
2
. (3.36)
Agora voltamos ao incio do problema para descobrir, quem (x, t).
Tem-se em (3.5) que u =
x
e que v =
t
; assim, possvel encontrar integrando u
e v, da seguinte maneira:
(x, t) =
_
udx + f(t),
cvdt + g(x).
(3.37)
Inicialmente encontra-se u, sabendo de (3.14) que
+
c
= u. (3.38)
Ento de (3.28) e (3.36) tem-se
u = (x tc)e
(xtc)
2
(x + tc)e
(x+tc)
2
. (3.39)
Para resolver, basta integrar u:
(x, t) =
_
(x tc)e
(xtc)
2
(x + tc)e
(x+tc)
2
_
dx + f(t), (3.40)
(x, t) =
e
(x+tc)
2
e
(x+tc)
2
2
+ f(t). (3.41)
Para encontrar v usa-se raciocnio anlogo. Sabendo de (3.14) que
21
+ = v, (3.42)
ento de (3.28) e (3.36) encontra-se
v = c(x tc)e
(xtc)
2
c(x + tc)e
(x+tc)
2
. (3.43)
Para resolver basta integrar v.
(x, t) =
_
c(x tc)e
(xtc)
2
c(x + tc)e
(x+tc)
2
_
dt + g(x). (3.44)
Assim
(x, t) =
e
(x+tc)
2
e
(x+tc)
2
2
+ g(x). (3.45)
Voltando em (3.37), tem-se
(x, t) =
_
_
e
(x+tc)
2
e
(x+tc)
2
2
+ f(t)
e
(x+tc)
2
e
(x+tc)
2
2
+ g(x)
. (3.46)
Para encontrar a soluo nal precisamos de uma condio para denir f(t) e g(x). Neste
intuito recorremos condio (3.3)
t
(x, 0) = cxe
x
2
cxe
x
2
= 0. (3.47)
Desta forma podemos encontrar f(t) = g(x) = 0.
Portanto a soluo obtida por dAlambert para a Equao da Onda (3.1) dada por
(x, t) =
e
(x+tc)
2
e
(x+tc)
2
2
. (3.48)
A soluo (3.48) obtida atravs do mtodo das caractersticas a forma mais tradi-
cional de utilizao deste mtodo. Ela foi obtida facilmente, devido ao fato de que as
integrais envolvidas eram extremamente simples. Nos prximos captulos, veremos casos
onde a integrao no ocorre com essa facilidade.
22
Captulo 4
O Problema da Difuso
A equao da difuso,
D
xx
=
t
, (4.1)
tambm conhecida como equao do calor utilizada para descrever situaes fsicas como
a conduo de calor em copos slidos, difuso de uidos e outros processos semelhantes.
Esta uma equao do tipo parablica, para a qual no se consegue obter uma soluo
analtica usando o mtodo das caractersticas em sua forma clssica. Este fato ser veri-
cado neste captulo.
Neste captulo tambm ser mostrada uma maneira de se analisar o comportamento
das curvas caractersticas de um problema parablico. Nessa abordagem, veremos uma
nova forma de se utilizar o mtodo das caractersticas e, com isso, talvez possamos evoluir
para uma maneira de resoluo atravs de uma modicao deste mtodo.
4.1 O Mtodo das Caractersticas em sua Forma Cls-
sica
Vamos nesta seo tentar utilizar o mtodo das caractersticas na sua forma clssica
para resolver um problema de difuso e com isso mostrar porque no possvel encontrar
tal soluo.
Iniciaremos a soluo de forma anloga utilizada por dAlambert na soluo da
equao da onda, mas ao invs de utilizar a equao da difuso (4.1), vamos utilizar uma
23
equao mais completa
A
xx
+ 2B
xt
+ C
tt
=
t
, (4.2)
onde A, B e C so funes de x e t e A = 0. Procedendo de maneira anloga que foi
utilizada na equao da onda, vamos propor a mesma mudana de variveis:
_
_
_
u =
x
,
v =
t
.
(4.3)
Agora utilizaremos a mudana de variveis (4.3) na Equao (4.2), produzindo o seguinte
sistema de equaes:
_
_
_
Au
x
+ 2Bu
t
+ Cv
t
= v,
v
x
u
t
= 0.
(4.4)
Dividindo a primeira equao por A, obtm-se:
_
_
_
u
x
+ 2B/Au
t
+ C/Av
t
= v/A,
v
x
u
t
= 0.
(4.5)
Vamos agora escrever o sistema (4.5) matricialmente:
x
_
_
u
v
_
_
+
_
_
2B/A C/A
1 0
_
_

t
_
_
u
v
_
_
=
_
_
v/A
0
_
_
. (4.6)
Sabemos que na equao da difuso (4.1), temos B = 0, C = 0 e A = D; assim, o sistema
ca
x
_
_
u
v
_
_
+
_
_
0 0
1 0
_
_

t
_
_
u
v
_
_
=
_
_
v/D
0
_
_
. (4.7)
Seguindo a metodologia utilizada na soluo da onda, o prximo passo seria encontrar
os autovalores e autovetores da matriz dos coecientes do sistema (4.7) para que fosse
possvel a formulao de um sistema desacoplado de duas equaes lineares de primeira
ordem. Para isso precisamos diagonalizar a matriz dos coecientes do sistema (4.7):
24
_
_
0 0
1 0
_
_
. (4.8)
Mas nesse caso, ca claro que a matriz dos coecientes s produz um autovalor = 0.
Associado a este temos dois vetores
v
1
= (0, 0) e v
2
= (1, 0). (4.9)
Por denio (Leon, 1999) o vetor nulo , no pode ser considerado um autovetor e desta
maneira o sistema (4.7), possui apenas um autovetor, o que impossibilita sua diagonal-
izao.
Sendo assim, no possvel montar um sistema desacoplado, tornando impossvel a
resoluo da equao da difuso usando o mtodo das caractersticas.
Para resolver este impasse nosso foco agora passa a ser no mais a soluo da equao
da difuso, mas o estudo do comportamento da soluo da equao da difuso usando um
pseudo mtodo das curvas caractersticas.
4.2 Primeiro Problema de difuso
Seja o seguinte problema :
D
xx
=
t
(4.10)
com as seguintes condies inicias
(x, 0) = 0 (4.11)
(, t) = 0 (4.12)
(0, t) =
0
. (4.13)
25
Sabe-se que o mtodo das caractersticas aplicado na sua forma clssica no resolve este
problema. Entretanto, possvel analisar o comportamento da soluo deste problema
sob a tica do mtodo das caractersticas.
Vamos iniciar de maneira anloga utilizada por dAlambert na equao da onda,
usando uma equao mais completa
A
xx
+ 2B
xt
+ C
tt
=
t
. (4.14)
Vamos propor novamente a mesma mudana de variveis:
_
_
_
u =
x
,
v =
t
.
(4.15)
Usando a mudana proposta, escrevemos o seguinte sistema de equaes:
_
_
_
Au
x
+ 2Bu
t
+ cv
t
= v,
v
x
u
t
= 0.
(4.16)
Para que seja possvel no futuro a obteno de dois autovalores associados dois autove-
tores, aqui vamos dividir a primeira equao por A, e acrescentar na segunda o termo v
t
a ambos os lados da igualdade, para desta forma obtermos
_
_
_
u
x
+ 2B/Au
t
+ C/Av
t
= v/A,
v
x
+ v
t
u
t
= v
t
.
(4.17)
Vamos agora escrever o sistema (4.17), matricialmente
x
_
_
u
v
_
_
+
_
_
2B/A C/A
1 1
_
_

t
_
_
u
v
_
_
=
_
_
v/A
v
t
_
_
. (4.18)
Sabemos que na equao da difuso (4.10), temos B = 0, C = 0 e A = D, assim, o
sistema ca
x
_
_
u
v
_
_
+
_
_
0 0
1 1
_
_

t
_
_
u
v
_
_
=
_
_
v
D
v
t
_
_
. (4.19)
26
Nossa inteno transformar o sistema (4.19) em um sistema de duas equaes or-
dinrias, desacopladas. Para isso, vamos diagonaliz-lo.
Inicialmente, calculamos os autovalores e autovetores da matriz dos coecientes.
0
1 1
= 0, (4.20)
donde encontramos
1
= 0 e
2
= 1, que so os autovalores da matriz dos coecientes.
Agora vamos calcular os autovetores, primeiro para = 0
_
_
0 0
1 1
_
_
_
_
v
i
v
ii
_
_
=
_
_
0
0
_
_
. (4.21)
Donde tiramos v
i
= v
ii
e portanto
v
1
= (1, 1), (4.22)
um autovetor do sitema (4.19). Utilizando o segundo autovalor = 1, temos o seguinte
sistema
_
_
1 0
1 0
_
_
_
_
v
i
v
ii
_
_
=
_
_
0
0
_
_
; (4.23)
neste caso temos v
i
= 0 e que v
ii
qualquer, portanto
v
2
= (0, 1) (4.24)
o outro autovetor do sistema (4.19).
Continuando com a diagonalizao queremos agora reescrever o sistema (4.19), na base
dos autovetores encontrados:
V + A

t
V =

F. (4.25)
Na Equao (4.25), temos

V = (, ), onde e , so as componentes de

V na base
dos autovetores { v
1
, v
2
}, A a matriz diagonalizada do sistema e

F = (, ), onde e ,
so tambm as componentes de

F, na base dos autovetores.
27
Assim, podemos escrever nalmente o sistema diagonalizado
x
_
_

_
_
+
_
_

1
0
0
2
_
_

t
_
_

_
_
=
_
_

_
_
, (4.26)
x
_
_

_
_
+
_
_
0 0
0 1
_
_

t
_
_

_
_
=
_
_

_
_
, (4.27)
ou ento
x
= ,
x
+

t
= . (4.28)
Para continuar a soluo precisamos agora das expresses de e . Para isso, vamos
encontrar as solues analticas da equao (4.10).
4.2.1 A Soluo Analtica por Transformada de Laplace
Para resolver a equao da difuso (4.10) sujeita s condies (4.11), (4.12) e (4.13),
vamos usar transformada de Laplace.
t
..
a
= D
x
2
. .
b
(4.29)
Comeando com a parte a:
L
_
t
_
= s
(x, s) (x, 0), (4.30)

pela condio (4.11), podemos escrever
L
_
t
_
= s
(x, s). (4.31)

Na parte b da equao, aplicamos tambm a transformada de Laplace
28
L
_
D
x
2
_
= D
x
2
e
st
dt (4.32)
L
_
D
x
2
_
= D

2
x
2

0
e
st
dt (4.33)
L
_
D
x
2
_
= D
d
2
dx
2
. (4.34)
Agora juntamos a e b, j transformados e obtemos a seguinte equao diferencial
ordinria:
D
d
2
dx
2
s
= 0. (4.35)
Esta equao diferencial ordinria, pode facilmente ser resolvida, e sua soluo nos d
(x, s) = Ae
s
D
x
+ Be
s
D
x
(4.36)
onde A e B, so constantes denir.
De acordo com a condio (4.12), sabemos que A = 0, para no explodir ao innito,
s nos resta encontrar B. Para isso, vamos aplicar a transformada tambm da condio
(4.13)
(0, t) =
0

(0, s) =

0
s
. (4.37)
Assim encontramos que B =

0
s
. Voltando em (4.36), temos:
(x, s) =

0
s
e
s
D
x
. (4.38)
Agora, para nalmente encontrar (x, t), basta aplicar a transformada inversa usando
o teorema da convoluo
(x, t) = L
1
_
0
s
_
. .
c
L
1
_
e
s
D
x
_
. .
d
. (4.39)
29
Primeiro vamos analisar a parte c
L
1
_
0
s
_
=
0
. (4.40)
Agora analisaremos a parte d
L
1
_
e
s
D
x
_
=
a
t
3
e
a
2
t
(4.41)
sendo a =
x
2
D
.
Assim podemos calcular nalmente (x, t)
(x, t) =
t
0
x
0
2
D
e
x
2
4D
3
2
d. (4.42)
A integral acima, pode ser calculada usando um programa de manipulao simblica.
Sua soluo nos fornece
(x, t) =
0
erfc
_
x
2
Dt
_
, (4.43)
a soluo analtica para a Equao (4.10).

F
J sabemos que e , so as componentes do vetor (u, v), na base dos autovetores
j anteriormente encontrados, { v
1
, v
2
}. Vamos agora denir essas componentes, iniciando
com a seguinte mudana de base
v
1
+ v
2
= (v/D, v
t
). (4.44)
Assim temos de (4.22) e (4.24), que
(1, 1) + (0, 1) = (v/D, v
t
). (4.45)
Portanto
30
=
v
D
(4.46)
e
= v
t
v
D
(4.47)
De acordo com (4.15), sabemos que v =
t
e utilizando a soluo analtica (4.43),
podemos facilmente obter v, derivando a soluo analtica em relao a t.
v =
xe
x
2
4Dt
2t
Dt
. (4.48)
Assim, por (4.46), temos
=
xe
x
2
4Dt
2Dt
Dt
. (4.49)
De maneira anloga podemos obter : de (4.47) e (4.48) temos que
=
xe
x
2
4Dt
(x
2
6Dt 4t
2
)
8Dt
3
Dt
. (4.50)
Os resultados (4.49), (4.50) foram obtidos com base na soluo analtica da equao
da difuso. O intuito de encontrar tais resultados a sua utilizao na soluo do sistema
(4.28).

V
Para fazer as comparaes de resultados futuros vamos obter tambm e , com-
ponentes do vetor

V , na base dos autovetores j anteriormente encontrados. Para isso,
iniciamos com a seguinte mudana de base
v
1
+ v
2
= (u, v) (4.51)
assim, de (4.22) e (4.24), encontramos
31
(1, 1) + (0, 1) = (u, v), (4.52)
ou como sistema de equaes
= u,
+ = v. (4.53)
Portanto
= u (4.54)
e
= v u. (4.55)
Agora precisamos encontrar uma expresso para e ; para tanto, usaremos a soluo
analtica que foi obtida por transformada de Laplace em (4.43). Tambm vamos precisar
das mudanas de variveis (4.15), feitas no incio do captulo.
Sabemos que = u e que u =
x
, ento derivando a soluo analtica podemos obter
(x, t) =
e
x
2
4Dt
Dt
. (4.56)
Analogamente obtemos , sabendo que = v u e que v =
t
, temos
(x, t) =

0
e
x
2
4Dt
(x + 2t)
2t
Dt
. (4.57)
Estes resultados (4.56) e (4.57) foram obtidos com base na soluo analtica, encon-
trada anteriormente. O intuito de se obter tais valores, compar-los com a soluo que
ainda vamos obter para o sistema (4.28), usando o mtodo das caractersticas. No nal
da prxima seo, podemos vericar que a soluo que foi obtida para as equaes deste
sistema, so idnticas estas que foram obtidas da soluo analtica.
32
4.3 Resoluo do Sistema
Agora podemos voltar ao sistema (4.28) e resolver as duas equaes deste sistema de
maneira separada.
Primeiramente analisaremos a primeira equao do sistema
x
= . (4.58)
J sabemos de (4.49) que h uma expresso para , portanto podemos reescrever a
equao (4.58), como:
x
=
xe
x
2
4Dt
2Dt
Dt
. (4.59)
Antes de resolv-la precisamos de uma condio inicial. Para encontrar esta condio
necessrio novamente voltar soluo analtica do problema, mas especicamente em ,
j encontrado anteriormente (4.56). Assim temos
(x, 0) = lim
t0
e
x
2
4Dt
Dt
, (4.60)
desta forma, a condio inicial dada por
(x, 0) = 0. (4.61)
Agora podemos resolver a equao (4.58), simplesmente integrando
(x, t) =
2
4Dt
2Dt
Dt
d + f(t), (4.62)
(x, t) =
e
x
2
4Dt
Dt
+ f(t), (4.63)
onde f(t) uma funo ser determinada pela condio inicial.
Passando a condio (4.61), obtemos f(t) = 0 e consequentemente
33
(x, t) =
e
x
2
4Dt
Dt
, (4.64)
a soluo para a primeira equao do sistema (4.28).
Como mencionando anteriormente, esta soluo, coincide com a que foi encontrada
analiticamente em (4.56).
Vamos agora analisar a segunda equao do sistema (4.28):
x
+

t
= (4.65)
J sabemos de (4.50) que h uma expresso para , assim possvel reescrever a
Equao (4.65), como
x
+

t
=
xe
x
2
4Dt
(x
2
6Dt 4t
2
)
8Dt
3
Dt
. (4.66)
Para resolver esta equao necessria uma condio inicial. Encontrar esta condio
possvel se retornarmos soluo analtica do problema, mas especicamente em , j
encontrado anteriormente (4.57). Assim temos
(x, 0) = lim
t0
e
x
2
4Dt
(x + 2t)
t
Dt
, (4.67)
desta forma, a condio inicial dada por
(x, 0) = 0. (4.68)
Agora podemos resolver a Equao (4.65) usando o mtodo das caractersticas. Vamos
comear encontrando uma derivada total em relao a t:
d
dt
=

x
dx
dt
+

t
dt
dt
, (4.69)
comparando a derivada total (4.69) com (4.66), temos
dx
dt
= 1. (4.70)
34
curva inicial t
0
= 0
x
0
(x
1
, t
1
)
x
t
Integrando, obtemos
x = t + k, (4.71)
que so as curvas caractersticas da equao (4.66). Nesta expresso k a constante que
dene a curva.
Temos na Figura (4.1), a representao das curvas (4.71), tambm est representado
um ponto (x
1
, t
1
), por onde passa a curva t
1
= x
1
+ k, a partir deste ponto podemos
encontrar k = x
1
t
1
assim k pode ser denido para qualquer ponto como
k = x t. (4.72)
Para resolver a equao basta agora integrar ao longo das curvas caractersticas, ou
seja
(x, t) =
t
t
0
d
dt
dt (4.73)
35
e comparando (4.69) com (4.66) e ainda lembrando da condio inicial t
0
= 0 temos que
(x, t) =
t
0
xe
x
2
4D
(x
2
6D 4
2
)
8D
3
D
d (4.74)
Como estamos integrando em devemos colocar x como funo de , para isto usamos as
curvas caractersticas (4.71), obtendo, desta forma, a seguinte integral
(x, t) =
t
0
( + k)e
(+k)
2
4D
(( + k)
2
6D 4
2
)
8D
3
D
d. (4.75)
Desta maneira, a soluo da equao (4.65), depende apenas da soluo da integral
acima, que expandida, ca
(x, t) =

0
8D
t
0
( + k)
3
e
(+k)
2
4D
7/2

6D( + k)e
(+k)
2
4D
5/2

4( + k)e
(+k)
2
4D
3/2
d. (4.76)
A soluo da integral (4.76), at onde sabemos, no foi encontrada nas bibliograas procu-
radas, tais como Gradshteyn e Ryzhiks (2007). Como no havia soluo pr-denida,
tentamos encontrar sua soluo de diversas maneiras, tais como:
Usando programao simblica: Tentamos a soluo desta integral utilizando os
programas de manipulao simblica Maple e Mathematica. Estes se mostraram
inecientes para este tipo de integrao.
Usando expanso em srie : Tambm tentamos a soluo, expandindo o integrando
em sries de potncias. Mas este mtodo tambm no funcionou, pois havia uma
singularidade que se propagava pela srie. Esta tentativa de soluo, pode ser vista
no Apndice A.
Assim, a nica forma que encontramos para resolver a integral (4.76) foi da maneira
que ser descrita agora:
Vamos comear resolvendo a integral indenida
I
0
=
( + k)
3
e
(+k)
2
4D
7/2

6D( + k)e
(+k)
2
4D
5/2

4( + k)e
(+k)
2
4D
3/2
d. (4.77)
Os prximos passos denem as simplicaes matemticas necessrias
36
I
0
=
3/2
( + k)
_
( + k)
2
2

6D
4
_
e
(+k)
2
4D
d
=
3/2
( + k)
_
2
+ 2k + k
2
2

6D
4
_
e
2
2kk
2
4D
d
=
3/2
( + k)
_
1 +
2k
+
k
2
2

6D
4
_
e
4D
e
k
2D
e
k
2
4D
d
=e
k
2D
3/2
( + k)
_
3 +
(2k 6D)
+
k
2
2
_
e
4D
e
k
2
4D
d (4.78)
I
0
=e
k
2D

3
2
(3)e
4D
e
k
2
4D
d + e
k
2D

3
2
(2k 6D)e
4D
e
k
2
4D
d
+e
k
2D

3
2
k
2
4D
e
k
2
4D
d + e
k
2D

3
2
(3k)e
4D
e
k
2
4D
d
+e
k
2D

3
2
k
(2k 6D)
4D
e
k
2
4D
d + e
k
2D

3
2
k
3
2
e
4D
e
k
2
4D
d (4.79)
I
0
=3e
k
2D

3
2
e
4D
e
k
2
4D
d + (k 6D)e
k
2D

3
2
e
4D
e
k
2
4D
d
+(3k
2
6Dk)e
k
2D

3
2
1
4D
e
k
2
4D
d + k
3
e
k
2D

3
2
1
2
e
4D
e
k
2
4D
d
. .
I
1
. (4.80)
Vamos agora analisar apenas a parte I
1
I
1
=

3
2
1
2
e
4D
e
k
2
4D
d (4.81)
para resolver esta parte, vamos encontrar o diferencial:
d
_
e
k
2
4D
_
=
k
2
4D
2
e
k
2
4D
d. (4.82)
Vamos substituir (4.82) em (4.81), mas para isso, preciso inserir um termo constante
dentro e fora da integral fazendo
I
1
=
4D
k
2

3
2
e
4D
k
2
4D
2
e
k
2
4D
d, (4.83)
substituindo o diferencial, temos
37
I
1
=
4D
k
2

3
2
e
4D
d
_
e
k
2
4D
_
. (4.84)
Continuando com a soluo vamos fazer a seguinte mudana de variveis:
u =
3
2
; v = e
4D
; dw = d
_
e
k
2
4D
_
ento
du =
3
2

5
2
d ; dv =
1
4D
e
4D
d ; w = e
k
2
4D
.
Do produto triplo, temos
uvdw = uvw
uwdv
vwdu. (4.85)
Aplicando (4.84) em (4.85) e usando a mudana de variveis acima, temos
I
1
=
4D
k
2
_
3
2
e
4D
e
k
2
4D

3
2
e
k
2
4D
_
1
4D
_
e
4D
d
4D
e
k
2
4D
_
3
2
_
5
2
d
_
(4.86)
simplicando
I
1
=
4D
k
2

3
2
e
4D
e
k
2
4D
+
1
k
2

3
2
e
4D
e
k
2
4D
d +
6D
k
2

3
2
1
4D
e
k
2
4D
d. (4.87)
Voltamos agora em (4.80) para substituir (4.87), assim, temos
I
0
=3e
k
2D

3
2
e
4D
e
k
2
4D
d + (k 6D)e
k
2D

3
2
e
4D
e
k
2
4D
d
+(3k
2
6Dk)e
k
2D

3
2
1
4D
e
k
2
4D
d
+k
3
e
k
2D
_
4D
k
2

3
2
e
4D
e
k
2
4D
+
1
k
2

3
2
e
4D
e
k
2
4D
d +
6D
k
2

3
2
1
4D
e
k
2
4D
d
_
.
(4.88)
Simplicando temos:
I
0
=3e
k
2D

3
2
e
4D
e
k
2
4D
d 6De
k
2D

3
2
e
4D
e
k
2
4D
d
+3k
2
e
k
2D

3
2
1
4D
e
k
2
4D
d
. .
I
2
+4kDe
k
2D
3
2
e
4D
e
k
2
4D
. (4.89)
38
Vamos agora analisar I
2
I
2
=

3
2
1
4D
e
k
2
4D
d. (4.90)
Novamente vamos encontrar o diferencial
d
_
e
k
2
4D
_
=
k
2
4D
2
e
k
2
4D
d (4.91)
ento podemos escrever I
2
de maneira anloga utilizada em I
1
como sendo
I
2
=
4D
k
2

3
2
e
4D
k
2
4D
2
e
k
2
4D
d
=
4D
k
2

1
2
e
4D
k
2
4D
2
e
k
2
4D
d
=
4D
k
2

1
2
e
4D
d
_
e
k
2
4D
_
. (4.92)
Fazendo novamente a mudana de variveis, temos
u =
1
2
; v = e
4D
; dw = d
_
e
k
2
4D
_
du =
1
2

3
2
d ; dv =
1
4D
e
4D
d ; w = e
k
2
4D
.
Aplicando em (4.85), temos
I
2
=
4D
k
2
_
1
2
e
4D
e
k
2
4D

1
2
e
k
2
4D
_
1
4D
_
e
4D
d
4D
e
k
2
4D
_
1
2
_
3
2
d
_
; (4.93)
simplicando,
I
2
=
4D
k
2

1
2
e
4D
e
k
2
4D
+
1
k
2

1
2
e
k
2
4D
e
4D
d +
2D
k
2
4D
e
k
2
4D
3
2
d. (4.94)
Substituindo (4.94) em (4.89), temos
I
0
=3e
k
2D

3
2
e
4D
e
k
2
4D
d 6De
k
2D

3
2
e
4D
e
k
2
4D
d
+3k
2
e
k
2D
_
4D
k
2

1
2
e
4D
e
k
2
4D
+
1
k
2

1
2
e
k
2
4D
e
4D
d +
2D
k
2
4D
e
k
2
4D
3
2
d
_
+4kDe
k
2D
3
2
e
4D
e
k
2
4D
. (4.95)
39
Simplicando, temos:
I
0
=(3 + 3k
2
1
k
2
)
. .
a
e
k
2D

1
2
e
4D
e
k
2
4D
d + (6D + 3k
2
2D
k
2
)
. .
b
e
k
2D

3
2
e
4D
e
k
2
4D
d
+12De
k
2D
1
2
e
4D
e
k
2
4D
+ 4kDe
k
2D
3
2
e
4D
e
k
2
4D
. (4.96)
Observe que os coecientes a e b que multiplicam as integrais da equao acima so nulos.
Portanto podemos escrever
I
0
= 12De
k
2D
1
2
e
4D
e
k
2
4D
+ 4kDe
k
2D
3
2
e
4D
e
k
2
4D
. (4.97)
Agrupando os termos temos
I
0
=4De
k
2D
3
2
e
4D
e
k
2
4D
(3 + k)
=
4D(3 + k)
3/2
e
2k
4D

2
4D
k
2
4D
. (4.98)
Finalmente obtemos a soluo para a integral (4.77)
I
0
=
4D(3 + k)
3/2
e
(+k)
2
4D
. (4.99)
Agora possvel calcular , aplicando os limites de integrao
(x, t) =

0
8D
t
0
( + k)
3
e
(+k)
2
4D
7/2

6D( + k)e
(+k)
2
4D
5/2

4( + k)e
(+k)
2
4D
3/2
d
=

0
8D
D
_
4D(3t + k)
t
3/2
e
(t+k)
2
4Dt
lim
b0
+
4D(3b + k)
b
3/2
e
(b+k)
2
4Db
_
, (4.100)
fazendo b = 1/c, temos:
(x, t) =

0
8D
D
_
4D(3t + k)
t
3/2
e
(t+k)
2
4Dt
lim
c+
4D
_
3.
1
c
+ k
_
c
3/2
e
(
1
c
+k
)
2
c
4D
_
(4.101)
ou
40
(x, t) =

0
8D
D
_
_
_
_
_
4D(3t + k)
t
3/2
e
(t+k)
2
4Dt
4Dk lim
c+
c
3/2
e
(1/c+k)
2
c
4D
. .
z
_
_
_
_
_
. (4.102)
Na parte z da equao acima, ca claro que o denominador da frao tem um crescimento
maior do que o numerador. Portanto tende para 0. Sendo assim
(x, t) =

0
8D
D
4D(3t + k)
t
3/2
e
(t+k)
2
4Dt
. (4.103)
A Equao (4.103), a soluo para a integral (4.76).
Continuando com a soluo, vamos substituir o valor de k em (4.103). Sabendo de
(4.72) que k = x t, temos:
(x, t) =

0
8D
D
4D(3t + x t)
t
3/2
e
(t+xt)
2
4dt
. (4.104)
Desta forma, podemos nalmente encontrar a soluo para a equao (4.65)
(x, t) =

0
e
x
2
4Dt
(2t + x)
2t
Dt
(4.105)
Como mencionando anteriormente, nesta soluo (4.105), encontramos uma soluo
atravs do mtodo das caractersticas que coincide com a soluo anteriormente encon-
trada atravs de transformada de Laplace em (4.57).
4.4 A Segunda Parte da Resoluo
Depois de nalmente haver encontrado o valor de e de , agora necessrio voltar ao
que inicialmente foi proposto, mais precisamente em (4.15) para nalmente obter (x, t).
Primeiramente, necessrio relembrar que = u e que = v u. Ento com base
nessa armao, pode-se encontrar
u =

0
e
x
2
4Dt
Dt
(4.106)
41
e
v =

0
xe
x
2
4Dt
2t
Dt
. (4.107)
Para nalmente encontrar agora, s basta integrar u e v
(x, t) =
_
_
_
udx + f(t),
vdt + g(x).
(4.108)
Assim
(x, t) =
_

0
e
x
2
4Dt
Dt
dx + f(t),

0
xe
x
2
4Dt
2t
Dt
+ g(x)
. (4.109)
Estas integrais podem facilmente ser resolvidas usando programas de manipulao sim-
blica e sua soluo nos fornece
(x, t) =
_
_
_
0
erf
_
x
2
Dt
_
+ f(t)
0
erf
_
x
2
Dt
_
+ g(x)
(4.110)
Agora vamos utilizar a condio (4.12), para encontrar as funes f(t) e g(x)
(, t) = lim
x
_
0
erf
_
x
2
Dt
__
+ f(t) = 0. (4.111)
Passando o limite encontramos
0
+ f(t) = 0, (4.112)
portanto f(t) = g(x) =
0
.
Substitundo os valores encontrados em (4.110), temos
(x, t) =
_
_
_
0
erf
_
x
2
Dt
_
+
0
0
erf
_
x
2
Dt
_
+
0
(4.113)
42
Fazendo as simplicaes adequadas, encontramos
(x, t) =
_
_
_
0
_
1 erf
_
x
2
Dt
__
,
0
_
1 erf
_
x
2
Dt
__
.
(4.114)
A partir desta integral, possvel encontrar nalmente a soluo
(x, t) =
0
erfc
_
x
2
Dt
_
. (4.115)
A Equao (4.115), expressa a soluo obtida para a equao da difuso atravs de
um pseudo mtodo das caractersticas. O fato de encontrar esta soluo, mostra que
num futuro talvez seja possvel a obteno da soluo da equao da difuso atravs deste
mtodo, ou de um mtodo adaptado para estes casos.
43
Captulo 5
Segundo Problema de Difuso
Mostraremos neste captulo um segundo problema de difuso que pode ser analisado
sob a tica do mtodo das caractersticas, assim como foi visto no captulo anterior.
Neste caso temos um problema cuja condio de contorno uma funo Heaviside.
A insero deste fator ao problema, torna a integrao para resoluo nal ainda mais
trabalhosa do que a anterior.
5.1 Segundo Problema de Difuso
Nesta seo vamos analisar o seguinte problema:
D
xx
=
t
(5.1)
com as seguintes condies inicias
(x, 0) = 0 (5.2)
(0, t) = f(t) (5.3)
onde
f(t) =
_
_
_
0
0 < t t
0
0 t > t
0
(5.4)
44
A condio inicial (5.4), tambm pode ser escrita como:
(0, t) =
0
H(t t
0
), (5.5)
onde H(t t
0
) a funo Heaviside.
A soluo para esta equao, semelhante a que utilizamos no captulo anterior. Na
verdade ela idntica at certo ponto, por essa razo, poderamos iniciar a soluo j com
um sistema de duas equaes desacopladas, mas como vamos precisar de alguns resultados
para a soluo nal, vamos relembrar como foi obtido este sistema.
Para isso vamos comear com uma equao mais completa
A
xx
+ 2B
xt
+ C
tt
=
t
(5.6)
comparando-a com (5.1) podemos propor o seguinte:
_
_
_
u =
x
v =
t
(5.7)
e usando a mudana proposta escrevemos o seguinte sistema de equaes:
_
_
_
Au
x
+ 2Bu
t
+ cv
t
= v,
v
x
u
t
= 0
. (5.8)
Dividindo a primeira equao por A, e acrescentando na segunda o termo v
t
a ambos
os lados da igualdade temos
_
_
_
u
x
+
2B
A
u
t
+
c
A
v
t
=
v
A
,
u
x
+ v
t
u
t
= v
t
.
(5.9)
Vamos agora escrever o sistema (5.9), matricialmente
x
_
_
u
v
_
_
+
_
_
2B
A
C
A
1 1
_
_

t
_
_
u
v
_
_
=
_
_
v
A
v
t
_
_
. (5.10)
Sabemos que na equao da difuso (4.1), temos B = 0, C = 0 e A = D, assim, o
sistema ca
45
x
_
_
u
v
_
_
+
_
_
0 0
1 1
_
_

t
_
_
u
v
_
_
=
_
_
v
D
v
t
_
_
. (5.11)
Nossa inteno transformar o sistema (5.11) em um sistema de duas equaes or-
dinrias, desacopladas. Para isso, vamos diagonaliz-lo.
Iniciamos o processo de diagonalizao encontrando os autovalores e autovetores da
matriz dos coecientes do sistema (5.11):
0
1 1
= 0. (5.12)
O clculo deste determinante nos fornece
1
= 0 e
2
= 1. Estes so os autovalores da
matriz dos coecientes.
Agora vamos calcular os autovetores, primeiro para = 0
_
_
0 0
1 1
_
_
_
_
v
i
v
ii
_
_
=
_
_
0
0
_
_
. (5.13)
Donde tiramos v
i
= v
ii
e portanto
v
1
= (1, 1), (5.14)
um autovetor da matriz dos coecientes do sistema (5.11).
Utilizando o segundo autovalor = 1, temos o seguinte sistema
_
_
1 0
1 0
_
_
_
_
v
i
v
ii
_
_
=
_
_
0
0
_
_
, (5.15)
neste caso temos v
i
= 0 e que v
ii
qualquer, portanto
v
2
= (0, 1) (5.16)
o outro autovetor da matriz dos coeciente do sistema (5.11).
46
Continuando com a diagonalizao podemos agora reescrever o sistema (5.11) na base
dos autovetores encontrados
V + A

t
V =

F. (5.17)
Em (5.17) temos

V = (, ), onde e so as componentes de

V na base dos autove-
tores { v
1
, v
2
}, A a matriz diagonalizada dos coecientes do sistema e

F = (, ), onde
e so as componentes de

F, na base dos autovetores.
Podemos agora escrever nalmente o sistema diagonalizado
x
_
_

_
_
+
_
_

1
0
0
2
_
_

t
_
_

_
_
=
_
_

_
_
, (5.18)
ou, substitundo os autovalores
1
e
2
x
_
_

_
_
+
_
_
0 0
0 1
_
_

t
_
_

_
_
=
_
_

_
_
. (5.19)
Tambm podemos escrev-lo desta maneira:
x
= ,
x
+

t
= . (5.20)
Para prosseguir com a soluo necessrio encontrar uma expresso para e .
Encontrar esta expresso, ainda depende da soluo analtica deste problema.
5.2 Resoluo por Transformada de Laplace
Neste momento da soluo, necessria a utilizao da soluo analtica do problema
da difuso (5.1) sujeita s condies (5.2), (5.3) e (5.4), para resolv-lo vamos utilizar
transformada de Laplace.
Comeamos o processo separando a equao em duas partes
t
..
a
= D
x
2
. .
b
. (5.21)
47
Comearemos aplicando transformada de Laplace na parte a:
L
_
t
_
= s
(x, s) (x, 0), (5.22)

analisando a condio (5.2) conclumos que (x, 0) = 0 e portanto podemos escrever
L
_
t
_
= s
(x, s). (5.23)

Na parte b da equao, aplicamos tambm a transformada de Laplace
L
_
D
x
2
_
= D
x
2
e
st
dt, (5.24)
retirando da integral os termos constantes
L
_
D
x
2
_
= D

2
x
2

0
e
st
dt. (5.25)
Usando a denio de transformada (Greenberg, 1998), temos:
L
_
D
x
2
_
= D
d
2
dx
2
. (5.26)
Agora juntamos a e b, j transformados e obtemos a seguinte equao diferencial
ordinria
D
d
2
dx
2
s
= 0 (5.27)
Esta equao diferencial ordinria, pode facilmente ser resolvida, e sua soluo nos d
(x, s) = Ae
x
s
D
+ Be
x
s
D
, (5.28)
onde A e B, so constantes denir.
De acordo com as condies do problema, sabemos que A = 0, para no explodir
ao innito. S nos resta encontrar B, para isso, vamos utilizar a verso modicada da
condio de contorno (5.3) usando-a na forma da funo Heaviside da seguinte forma:
f(t) =
_
_
_
0
0 < t t
0
0 t > t
0
(5.29)
48
pode ser escrita como
(0, t) = H(t t
0
)
0
. (5.30)
Agora vamos aplicar transformada de Laplace tambm na condio (5.30)
(0, t) = H(t t
0
)
0

(0, s) =

0
e
t
0
s
s
. (5.31)
Desta maneira encontramos B =

0
e
t
0
s
s
.
Voltamos agora soluo da Equao diferencial ordinria (5.28), para substituir os
valores de A e B, encontrados
(x, s) =

0
e
t
0
s
s
e
s
D
x
. (5.32)
Agora, para nalmente encontrar (x, t) basta aplicar a transformada inversa, usando
o teorema da convoluo.
(x, t) = L
1
_
0
e
t
0
s
s
_
. .
c
L
1
_
e
s
D
x
_
. .
d
. (5.33)
Novamente dividimos em duas partes e primeiro vamos aplicar a transformada inversa na
parte c
L
1
_
0
e
t
0
s
s
_
= H(t t
0
)
0
. (5.34)
Na parte d tambm aplicada a transformada inversa, mas para isso primeiro so
necessrias algumas pequenas modicaes: primeiro vamos inserir um fator constante
L
1
_
e
x
s
D
_
=
a
L
1
_
a
e
x
s
_
=
a
L
1
_
a
e
2a
s
_
L
1
_
e
x
s
D
_
=
a
e
a
2
t
t
3/2
, (5.35)
onde 2a = x
D e portanto a = x/2
D. Substitundo os valores de a temos

49
L
1
_
e
x
s
D
_
=
x
2
D
e
x
2
4Dt
t
3/2
(5.36)
Assim podemos calcular nalmente (x, t), realizando a convoluo entre as duas
partes
(x, t) =
t
0
x
0
H(t t
0
)
2
D
e
x
2
4D(t)
(t )
3
2
d. (5.37)
A integral acima pode ser calculada usando um programa de manipulao simblica
e sua soluo nos fornece
(x, t) =
0
lim
t
_
H(t t
0
) erf
_
x
4D(t )
_
H(t t
0
) erf
_
2
4D(t t
0
)
__
.
(5.38)
Aplicando o limite temos:
(x, t) =
0
H(t t
0
)
0
H(t t
0
) erf
_
2
4D(t t
0
)
_
(5.39)
usando a denio de funo erro complementar a soluo ca
(x, t) =
0
H(t t
0
) erfc
_
x
4D(t t
0
)
_
. (5.40)
Sabemos que a funo Heaviside assume alguns valores pr-denidos, ento nesse caso
podemos reescrever a soluo acima como:
(x, t) =
0
erfc
_
x
4D(t t
0
)
_
para t > t
0
(5.41)
A Equao (5.41) a soluo analtica para o problema de difuso abordado nesse
captulo. A utilizao desta soluo necessria para resolver o sistema (5.20).
50

F
J sabemos que e , so as componentes do vetor (u, v), na base dos autovetores
j anteriormente encontrados, { v
1
, v
2
}. Vamos agora denir essas componentes, para isso
escrevemos as componentes na base dos autovetores
v
1
+ v
2
= (
v
D
, v
t
). (5.42)
Assim temos de (5.14) e (5.16), que
(1, 1) + (0, 1) = (
v
D
, v
t
). (5.43)
e logo
=
v
D
(5.44)
e
= v
t
v
D
(5.45)
De acordo com (5.7), sabemos que v =
t
e utilizando a soluo obtida com transfor-
mada de Laplace em (5.41), podemos obter v derivando a soluo em relao a t. Desta
forma encontramos
v =
x
0
e
x
2
/(4D(tt
0
))
2(t t
0
)
D(t t
0
)
(5.46)
Assim, por (5.44) obtemos
=
x
0
e
x
2
/(4D(tt
0
))
2D(t t
0
)
D(t t
0
)
. (5.47)
De maneira anloga podemos obter . Sabemos de (5.45) que = v
t
v/D e utilizando
a expresso analtica de v obtida (5.46), temos
=

0
xe
x
2
4D(tt
0
)
(4t
2
6Dt + 8tt
0
+ 6Dt
0
+ 4t
0
2
+ x
2
)
8D(t t
0
)
3
D(t t
0
)
. (5.48)
Essas expresses sero teis na soluo do sistema de equaes (5.20).
51

V
Vamos obter tambm as componentes do vetor

V = (, ). J sabemos que e ,
so as componentes do vetor (u, v), na base dos autovetores j anteriormente encontra-
dos, { v
1
, v
2
}. Vamos agora denir essas componentes para realizar as comparaes de
resultados futuros.
Inicialmente escrevemos as componentes na base dos autovetores
v
1
+ v
2
= (u, v), (5.49)
de (5.14) e (5.16), encontramos
(1, 1) + (0, 1) = (u, v), (5.50)
ou como sistema de equaes
_
_
_
= u,
+ = v.
(5.51)
Desta forma encontramos
= u (5.52)
e
= v u. (5.53)
Agora precisamos encontrar as expresses para e . Para isso, vamos usar as ex-
presses de u e v.
Sabemos de (5.7) que u =
x
, assim utilizando a soluo analtica obtida por trans-
formada de Laplace em (5.41), podemos facilmente obter u, derivando esta soluo em
relao a x;
u =

0
e
x
2
/(4D(tt
0
))
D(t t
0
)
. (5.54)
52
Assim, sabendo que = u temos
=

0
e
x
2
/(4D(tt
0
))
D(t t
0
)
(5.55)
Analogamente obtemos sabendo que = v u, usamos (5.46) e (5.54), temos
=

0
e
x
2
4D(tt
0
)
(x + 2(t t
0
))
2(t t
0
)
D(t t
0
)
(5.56)
Os valores de e , aqui obtidos, so decorrentes apenas da soluo analtica do problema
da difuso abordado nesse captulo. Nossa inteno utiliz-lo para comparao com a
soluo que ser obtida usando o mtodo das caractersticas.
5.3 Resoluo do Sistema de Equaes
Agora que j encontramos tudo que era necessrio, podemos voltar ao sistema (5.20)
para resolv-lo.
Iniciaremos pela primeira equao
x
= . (5.57)
J sabemos de (5.47) qual a expresso para , portanto podemos reescrever a equao
(5.57), como:
x
=
x
0
e
x
2
/(4D(tt
0
))
2D(t t
0
)
D(t t
0
)
. (5.58)
Antes de resolv-la, precisamos de uma condio inicial. Para encontrar esta condio,
voltaremos soluo analtica do problema, mas especicamente em , j encontrado
anteriormente em (5.55) . Assim temos:
(x, 0) = lim
tt
0
0
e
x
2
/(4D(tt
0
))
D(t t
0
)
, (5.59)
desta forma, a condio inicial para soluo equao dada por
53
(x, t
0
) = 0. (5.60)
Agora podemos resolver a equao (5.57), simplesmente integrando
(x, t) =
x
0
e
x
2
/(4D(tt
0
))
2D(t t
0
)
D(t t
0
)
dx + f(t). (5.61)
Assim obtemos
(x, t) =

0
e
x
2
/(4D(tt
0
))
D(t t
0
)
+ f(t), (5.62)
onde f(t) uma funo ser determinada pela condio inicial.
Passando a condio (5.60), fcil obter f(t) = 0 e consequente
(x, t) =

0
e
x
2
/(4D(tt
0
))
D(t t
0
)
(5.63)
Note que o valor para , aqui obtido, coincide com o valor encontrado atravs de
soluo analtica em (5.55).
Vamos agora analisar segunda equao do sistema (5.20)
x
+

t
= (5.64)
J sabemos de (5.48), que h uma expresso para , assim podemos reescrever a Equao
(5.64), como
x
+

t
=
x
0
e
x
2
4D(tt
0
)
(4t
2
+ 6Dt 8tt
0
6Dt
0
+ 4t
2
0
x
2
)
8D(t t
0
)
3
D(t t
0
)
(5.65)
Agora podemos resolver essa equao usando o mtodo das caractersticas, mas primeiro
precisamos de uma condio inicial.
Para encontrar a condio inicial, voltaremos soluo analtica do problema, mas
especicamente em , j encontrado anteriormente em (5.56). Assim temos
54
(x, t
0
) = lim
tt
0
0
e
x
2
4D(tt
0
)
(x + 2(t t
0
))
2(t t
0
)
D(t t
0
)
(5.66)
deste limite possvel retirar a seguinte condio inicial:
(x, t
0
) = 0 (5.67)
Agora vamos resolver a equao usando o mtodo das caractersticas. Assim como ocorreu
no problema da onda, comearemos obtendo a derivada total em relao a t:
d
dt
=

x
dx
dt
+

t
dt
dt
. (5.68)
Comparando a derivada total (5.68) com (5.65), temos
dx
dt
= 1 (5.69)
e portanto
x = t + k, (5.70)
so as curvas caractersticas da equao (5.65), onde k a constante que dene a curva.
Gracamente podemos ver essas curvas como retas paralelas. Sua representao, est
na Figura (5.1), onde tambm est representado um ponto qualquer (x
1
, t
1
), por onde
passa a curva caracterstica t
1
= x
1
+ k, denindo para esta curva k = t
1
x
1
.
Para um ponto qualquer, a constante k denida como
k = x t (5.71)
Para resolver a equao basta agora integrar ao longo das curvas caractersticas, ou
seja
(x, t) =
t
t
0
d
dt
dt. (5.72)
55
t
0
t
x
(x
1
, t
1
)
Utilizando (5.68) e (5.65) podemos reescrever a integral
(x, t) =
t
t
0
0
xe
x
2
4D(t
0
)
(4
2
6D + 8t
0
+ 6Dt
0
+ 4t
0
2
+ x
2
)
8D( t
0
)
3
D( t
0
)
d. (5.73)
Sabemos que x = t + k e a integral (5.73) pode ser reescrita como
(x, t) =
t
t
0
0
( + k)e
(+k)
2
4D(t
0
)
(4
2
6D + 8t
0
+ 6Dt
0
+ 4t
0
2
+ ( + k)
2
)
8D( t
0
)
3
D( t
0
)
d. (5.74)
Juntando os termos semelhantes
(x, t) =
t
t
0
0
( + k)e
(+k)
2
4D(t
0
)
(( + k)
2
4( t
0
)
2
6D( t
0
))
8D( t
0
)
3
D( t
0
)
d. (5.75)
Assim como a integral (4.76), a integral acima tambm no possui (at onde sabemos)
soluo catalogada. Sua soluo s foi possvel, porque foi baseada na anterior (4.76),
que aparentemente mais simples do que essa. A soluo que aqui ser descrita, foi
56
desenvolvida sem auxlio de nenhum programa de manipulao simblica, j que estes
tambm se mostraram inecientes nestes casos.
Vamos iniciar a soluo de (5.75), expandindo o integrando em integrais menores
(x, t) =
t
t
0
0
( + k)
3
e
(+k)
2
4D(t
0
)
8D
D( t
0
)
7/2
+
t
t
0
0
( + k)(4( t
0
)
2
)e
(+k)
2
4D(t
0
)
8D
D( t
0
)
7/2
+
t
t
0
0
( + k)(6D( t
0
))e
(+k)
2
4D(t
0
)
8D
D( t
0
)
7/2
. (5.76)
Agora retiramos todas as constantes fora da integral
(x, t) =

0
8D
t
t
0
( + k)
3
e
(+k)
2
4D(t
0
)
( t
0
)
7/2
d +

0
8D
t
t
0
6D( + k)e
(+k)
2
4D(t
0
)
( t
0
)
5/2
d
+

0
8D
t
t
0
4( + k)e
(+k)
2
4D(t
0
)
( t
0
)
3/2
d. (5.77)
Fazendo
C =

0
8D
D
, (5.78)
podemos reescrever a equao (5.77) como
(x, t) = C
_
_
t
t
0
( + k)
3
e
(+k)
2
4D(t
0
)
( t
0
)
7/2
d +
t
t
0
6D( + k)e
(+k)
2
4D(t
0
)
( t
0
)
5/2
d +
t
t
0
4( + k)e
(+k)
2
4D(t
0
)
( t
0
)
3/2
d
_
_
.
(5.79)
Agora necessrio fazer uma mudana de varivel. Para isso vamos denir as novas
variveis
= t
0
(5.80)
e
= t
0
+ k, (5.81)
57
assim temos + k = t
0
+ t
0
+ k = + , d = d e os limites de integrao agora
variam de 0 at t
0
.
Aplicando estas mudanas na integral (5.79) temos
(x, t) = C
t
0
0
_
( + )
3
e
(+)
2
4D
7/2

6D( + )e
(+)
2
4D
5/2

4( + )e
(+)
2
4D
3/2
_
d. (5.82)
Rearranjando os termos dentro da integral temos
(x, t) =C
t
0
0
3/2
_
( + )
3
2

6D( + )
4( + )
_
e
(+)
2
4D
d,
=C
t
0
0
3/2
( + )
_
( + )
2
2

6D
4
_
e
(+)
2
4D
d
=C
t
0
0
3/2
( + )
_
2
+ 2 +
2
6D 4
2
2
_
e
2
2
2
4D
d. (5.83)
Retirando o termo constante
(x, t) = Ce
2
4D
t
0
0
3/2
( + )
_
3
2
+ (2 6D) +
2
2
_
e
4D
e
2
4D
d. (5.84)
Agora fazemos
C
a
= Ce
2
4D
, (5.85)
a integral (5.84) pode ser reescrita como
(x, t) = C
a
t
0
0
3/2
( + )
_
3 +
(2 6D)
+

2
2
_
e
4D
e
2
4D
d. (5.86)
Novamente separamos o integrando
(x, t) = C
a
t
0
0
3/2
(3)e
4D
e
2
4D
d + C
a
t
0
0
3/2
(2 6D)e
4D
e
2
4D
d
+ C
a
t
0
0
3/2
4D
e
2
4D
d + C
a
t
0
0
3/2
(3)e
4D
e
2
4D
d
+ C
a
t
0
0
3/2
(2 6D)
4D
e
2
4D
d + C
a
t
0
0
3/2
2
e
4D
e
2
4D
d.
(5.87)
58
Agora retiramos as constantes para fora de todas as integrais
(x, t) = 3C
a
t
0
0
3/2
e
4D
e
2
4D
d + (2 6D)C
a
t
0
0
3/2
e
4D
e
2
4D
d
+ C
a
t
0
0
3/2
1
4D
e
2
4D
d + (3)C
a
t
0
0
3/2
e
4D
e
2
4D
d
+ (2 6D)C
a
t
0
0
3/2
1
4D
e
2
4D
d +
3
C
a
t
0
0
3/2
1
2
e
4D
e
2
4D
d.
(5.88)
A partir deste ponto, vamos utilizar integrais indenidas, para no nal aplicarmos os
limites de integrao.
Primeiro vamos denir algumas constantes para simplicar a notao:
C
1
= 3C
a
, (5.89)
C
2
= C
a
( + 6D), (5.90)
C
3
= C
a
(3
2
6D) (5.91)
e
C
4
= C
a
3
. (5.92)
Agora Podemos reescrever a integral (5.88) como
I = C
1

3/2
e
4D
e
2
4D
d + C
2

3/2
e
4D
e
2
4D
d
+ C
3

3/2
4D
e
2
4D
d +
C
4
4D

3/2

2
4D
2
e
4D
e
2
4D
d
. .
a
. (5.93)
Vamos analisar a parte a da equao (5.93)
a =

3/2

2
4D
2
e
4D
e
2
4D
d. (5.94)
59
Vamos resolv-la usando a regra do produto triplo
uvdw = uvw
uwdv
vwdu, (5.95)
para isso denimos
u =
3/2
, v = e
/4D
, dw =

2
4D
2
e
2
4D
e w = e
2
4D
(5.96)
Agora aplicamos estas variveis da regra do produto na integral (5.94) e obtemos
a =
3/2
e
/4D
e
2
/4D
_
1
4D
_

3/2
e
/4D
e
2
/4D
d
_
3
2
_

3/2
e
/4D
e
2
/4D
d (5.97)
Levando (5.97) em (5.93), temos
I = C
1

3/2
e
4D
e
2
4D
d + C
2

3/2
e
4D
e
2
4D
d + C
3

3/2
4D
e
2
4D
d+
C
4
4D
2
_
3/2
e
/4D
e
2
/4D
+
1
4D

3/2
e
/4D
e
2
/4D
d +
3
2

3/2
e
/4D
e
2
/4D
d
_
.
(5.98)
Novamente vamos agrupar as constantes:
C
5
= C
2
+
C
4
2
(5.99)
e
C
6
= C
3
+
C
4
6D
2
. (5.100)
Agora vamos reescrever a integral (5.98) utilizando as constantes e agrupando integrais
semelhantes
I = C
1

3/2
e
4D
e
2
4D
d + C
5

3/2
e
4D
e
2
4D
d
+ C
6

3/2
4D
e
2
4D
d +
C
4
4D
2
_
3/2
e
/4D
e
2
/4D
_
. (5.101)
60
Para o prximo passo, necessria uma pequena modicao, na equao (5.101), mais
precisamente no termo onde aparece C
6
, uma constante ser inserida, transformando a
integral em
I = C
1

3/2
e
4D
e
2
4D
d + C
5

3/2
e
4D
e
2
4D
d
+
C
6
4D

3/2
e
4D
2
4D
2
e
2
4D
d
. .
b
+
C
4
4D
2
_
3/2
e
/4D
e
2
/4D
_
. (5.102)
Na parte b tambm utilizaremos a regra do produto (5.95), para isso vamos denir as
variveis da seguinte maneira:
b =

3/2
. .
u
e
4D
..
v
2
4D
2
e
2
4D
d
. .
dw
. (5.103)
Aplicando a regra do produto temos
b =
1/2
e
4D
e
2
4D
_
1
4D
_

1/2
e
2
4D
e
4D
d
_
1
2
_

3/2
e
4D
e
2
4D
d. (5.104)
Levando (5.104) em (5.102), temos
I = C
1

3/2
e
4D
e
2
4D
d + C
5

3/2
e
4D
e
2
4D
d
+
C
6
4D
2
_
1/2
e
4D
e
2
4D
+
1
4D

1/2
e
2
4D
e
4D
d +
1
2

3/2
e
4D
e
2
4D
d
_
+
C
4
4D
2
_
3/2
e
/4D
e
2
/4D
_
. (5.105)
Novamente vamos denir constantes para agrupar as integrais
C
7
= C
1
+
C
6
2
, (5.106)
C
8
= C
5
+
C
6
2D
2
, (5.107)
C
9
=
C
6
4D
2
(5.108)
61
e
C
10
=
C
4
4D
2
. (5.109)
Dessa forma agrupamos as integrais de (5.105) e obtemos
I = C
7

1/2
e
4D
e
2
4D
d +C
8

3/2
e
4D
e
2
4D
d +
_
C
9
1/2
+ C
10
3/2
_
(e
4D
e
2
4D
).
(5.110)
Para que a soluo da integral (5.93), seja de fato semelhante a que foi resolvida no
captulo anterior, as constantes C
7
e C
8
devem ser nulas. Vamos vericar se isso ocorre:
Vamos mostrar que C
7
= 0: de acordo com (5.89), (5.91), (5.92), (5.100), (5.106) e
(5.85) sabemos que
C
7
= C
1
+
C
6
2
com
C
1
= 3C
a
, C
6
= C
3
+
C
4
6D
2
C
3
= C
a
(3
2
6D) e C
4
= C
a
3
,
portanto,
C
7
= 3C
a
+
3C
a
2
C
7
= 0.
Vamos mostrar que C
8
= 0: de acordo com (5.107), temos que
C
8
= C
5
+
C
6
2D
2
com
C
5
= C
2
+
C
4
2
, C
2
= C
a
( + 6D)
e C
6
= 3C
a
2
,
portanto,
C
8
= 6DC
a
+
3C
a
2
2D
2
C
8
= 0.
62
De posse dessas informaes, voltamos em (5.110) para nalmente obtermos a integral
indenida
I =
_
C
9
1/2
+ C
10
3/2
_
e
4D
e
2
4D
. (5.111)
I =
3/2
(C
9
+ C
10
) e
4D
e
2
4D
. (5.112)
Primeiro vamos resgatar as constantes C
9
e C
10
, comeando por C
9
: Sabemos de
(5.108) que
C
9
=
C
6
4D
2
,
com
C
6
= 3C
a
2
, C
a
= Ce
2
4D
e C =

0
8D
D
,
assim
C
9
=
3
0
e
2D
2
D
.
Analogamente obtemos C
10
, sabendo de (5.109), que
C
10
=
C
4
4D
2
,
com
C
4
= C
a
3
, C
a
= Ce
2
4D
e C =

0
8D
D
,
donde
C
10
=

0
e
2D
2
D
.
Agora vamos substituir as constantes C
9
e C
10
na integral (5.112)
I =
3/2
_
3
0
e
2D
2
D
+

0
e
2D
2
D
_
e
4D
e
2
4D
. (5.113)
possvel encontrar as integrais denidas, substituindo os limites de integrao
(x, t) =
_
0
e
2D
(3 + )e
4D
e
2
4D
2
D
3/2
_
t
0
0
. (5.114)
63
Retirando as constantes
(x, t) =

0
2
D
_
(3 + )e
2D
e
4D
e
2
4D
3/2
_
t
0
0
. (5.115)
Agrupando alguns termos
(x, t) =

0
2
D
_
(3 + )e
(+)
2
4D
3/2
_t
0
0
. (5.116)
Sabemos que = t
0
+ k, ento
(x, t) =

0
2
D
_
_
(3 + t
0
+ k)e
(+t
0
+k)
2
4D
3/2
_
_
t
0
0
. (5.117)
Aplicando os limites de integrao, temos
(x, t) =

0
2
D
_
_
(3(t t
0
) + t
0
+ k)e
((tt
0
)+t
0
+k)
2
4D(tt
0
)
(t t
0
)
3/2
_
_
lim
0
+
(3 + )e
(+)
2
4D
3/2
. (5.118)
O limite acima pode ser facilmente obtido fazendo =
1
c
, temos
lim
0
+
e
(+alpha)
2
4D
3/2
= lim
c
c
3/2
e
(c(1/c+)
2
)/4D
= 0. (5.119)
Portanto,
lim
0
+
(3 + )e
(+)
2
4D
3/2
= 0. (5.120)
Dessa forma obtemos
(x, t) =

0
2
D
_
_
(3t 3t
0
+ t
0
+ k)e
(t+k)
2
4D(tt
0
)
(t t
0
)
3/2
_
_
=

0
2
D
_
_
(3t 2t
0
+ k)e
(t+k)
2
4D(tt
0
)
(t t
0
)
3/2
_
_
, (5.121)
mas sabemos de (5.71), que k = x t, ento
64
(x, t) =

0
(3t 2t
0
+ x t)e
x
2
4D(tt
0
)
2(t t
0
)
D(t t
0
)
. (5.122)
Finalmente chegamos ao resultado nal da segunda equao do sistema (5.20)
(x, t) =

0
(2(t t
0
) + x) e
x
2
4D(tt
0
)
2(t t
0
)
D(t t
0
)
. (5.123)
Este valor foi obtido utilizando o mtodo das caractersticas, porm ele coincide com
aquele que foi encontrado em (5.56) usando transformada de Laplace.
5.3.1 A Segunda Parte da Resoluo
Depois de nalmente haver encontrado o valor de e de , agora necessrio voltar ao
que inicialmente foi proposto, mais precisamente em (5.7) para nalmente obter (x, t).
Primeiramente, necessrio relembrar que = u e que = v u, tanto o resultado
analtico obtido em (5.55) e (5.56), quanto o resultado obtido atravs do mtodo das
caractersticas em (5.63) e (5.123), podem ser utilizados. Assim temos
u =

0
e
x
2
4D(tt
0
)
D(t t
0
)
(5.124)
e
v =
x
0
e
x
2
/(4D(tt
0
))
2(t t
0
)
D(t t
0
)
. (5.125)
Para nalmente encontrar basta integrar u e v
(x, t) =
_
_
_
udx + f(t)
vdt + g(x)
(5.126)
Assim
(x, t) =
_

0
e
x
2
4D(tt
0
)
D(tt
0
)
dx + f(t),
x
0
e
x
2
/(4D(tt
0
))
2(tt
0
)
D(tt
0
)
dt + g(x).
(5.127)
A integral acima, foi obtida utilizando um programa de manipulao simblica
(x, t) =
_
0
erf
_
x
2
D(tt
0
)
_
+ f(t)
0
erf
_
x
2
D(tt
0
)
_
+ g(x)
(5.128)
65
Para nalmente encontrar (x, t) precisamos de uma condio para encontrar as
funes f(t) e g(x). Para isso vamos utilizar a condio (5.3)
(0, t
0
) = lim
tt
0
0
erf
_
0
2
D(t t
0
)
_
+ f(t) =
0
. (5.129)
A partir desta condio ca fcil concluir que f(t) =
0
. Analogamente, conclumos que
g(x) =
0
. Desta forma podemos reescrever a Equao (5.128), como
(x, t) =
_
0
erf
_
x
2
D(tt
0
)
_
+
0
),
0
erf
_
x
2
D(tt
0
)
_
+
0
.
(5.130)
Desta forma podemos encontrar
(x, t) =
0
_
1 erf
_
x
2
D(t t
0
)
__
, (5.131)
usando a denio de funo erro complementar encontramos
(x, t) =
0
erfc
_
x
2
D(t t
0
)
_
, (5.132)
esta soluo vlida para t > t
0
, se quisermos analisar esta funo em todo o domnio,
basta acrescentar a funo Heaviside frente. Desta maneira a soluo nal ser
(x, t) =
0
H(t t
0
) erfc
_
x
2
D(t t
0
)
_
. (5.133)
A equao (5.132), a soluo para a Equao (5.1). O valor obtido aqui utilizando um
pseudo mtodo das caractersticas, idntico ao que foi encontrado utilizando transfor-
mada de Laplace em (5.41). O fato desta soluo ter sido encontrada, mostra que o mtodo
das caractersticas pode no futuro ser uma importante ferramenta para ser utilizada na
soluo de diversos tipos de problemas, no s hiperblicos, mas tambm parablicos.
66
Captulo 6
Concluses e Recomendaes
Este trabalho visou a avaliao de possibilidade de utilizao do Mtodo das Carac-
tersticas em problemas parablicos - mais especicamente a Equao da Difuso tambm
conhecida como Equao do Calor. Para esta nalidade o Mtodo das Caractersticas
mostrou-se ineciente, j que este baseia-se na transformao de uma equao diferencial
parcial de segunda ordem em um sistema de equaes de primeira ordem. A soluo
destas equaes obtida atravs de integrao ao longo das linhas caractersticas. Porm
na Equao da Difuso no possvel obter um sistema de duas equaes de primeira
ordem.
Devido inecincia do mtodo em se obter uma soluo para a Equao da Difuso,
o foco deste trabalho passou a ser o estudo do comportamento da soluo analtica desta
equao. O primeiro obstculo encontrado era a obteno de um sistema de duas equaes.
Este problema foi resolvido, inserindo um termo no sistema, este termo mais tarde passou
a ser o fator que determinou considervel grau de diculdade integrao. O segundo
obstculo tambm foi derivado do primeiro, devido ao fato de que o fator inserido, o
vetor

F resultante do sistema, tinha em suas componentes expresses derivadas da funo
soluo. Sendo assim, tivemos que encontrar a soluo para que suas derivadas fossem
utilizadas na soluo do sistema.
Ao se realizar todas essas mudanas foi possvel aplicar o mtodo das caractersticas s
duas equaes obtidas da Equao da Difuso. Esta aplicao exigiu considervel esforo
analtico em se resolver a quadratura ao longo das curvas caractersticas, j que a soluo
destas integrais no foi encontrada nas fontes pesquisadas.
Aps a integrao, vericamos que o mtodo era consistente no sentido de recuperar
67
a soluo analtica.
Nosso objetivo com relao ao trabalho foi alcanado, mas ainda h muito o que
pesquisar no campo das solues analticas. O mtodo das caractersticas permite en-
contrar solues analticas de maneira simples e de fcil interpretao geomtrica. As
integrais que aqui foram obtidas usando conceitos de clculo diferencial e integral, talvez
possam ser obtidas de outras maneiras.
No campo das solues numricas, possvel a utilizao de mtodos iterativos para
determinar por exemplo as derivadas da funo que so as componentes do vetor

F.
Tambm pode ser possvel encontrar uma nova maneira de soluo para as integrais aqui
abordadas.
68
Apndice A
Tentativa de Soluo por Sries
Aqui vamos mostrar a tentativa de soluo da integral (4.76), utilizando sries. Porm
neste caso temos limites de integrao diferentes, por essa razo, vamos mostrar como se
chegou essa integral. Abordaremos apenas a segunda equao do sistema (4.28)
x
+

t
=
xe
x
2
4Dt
(x
2
6Dt 4t
2
)
8Dt
3
Dt
(A.1)
com a seguinte condio inicial
(x, 0) = 0. (A.2)
Esta condio foi obtida da mesma forma do captulo 3, ou seja, utilizando a soluo
analtica.
Para aplicar o mtodo das caractersticas comeamos com a derivada total que desta
vez foi em relao a x:
d
dx
=

x
dx
dx
+

t
dt
dx
(A.3)
comparando a derivada total (A.3) com (A.1), temos
dt
dx
= 1 (A.4)
e portanto
t = x + k (A.5)
so as curvas caractersticas da equao (A.1), onde k a constante que dene a curva.
69
Figura A.1: Curvas caractersticas e condio inicial da Equao (A.1)
Temos na Figura (A.1), a representao das curvas (A.5), tambm est representado
um ponto (x
1
, t
1
), por onde passa a curva t
1
= x
1
+ k, a partir deste ponto podemos
encontrar k = x
1
t
1
assim k pode ser denido para qualquer ponto como
k = x t. (A.6)
Para resolver a equao basta agora integrar ao longo das curvas caractersticas,ou
seja
(x, t) =
x
1
x
0
d
dx
dx (A.7)
e comparando (5.68), com (5.65), temos que
(x, t) =
x
1
x
0
0
e
2
4Dt
(
2
6Dt 4t
2
)
8Dt
3
Dt
d (A.8)
Como estamos integrando em x, devemos colocar t como funo de x sendo assim, usamos
as curvas (A.5), tambm com base nas curvas, encontramos x
0
= k. Dessa forma a
integral a ser resolvida a seguinte
(x, t) =
x
x
0
=k
0
e
2
4D(+k)
(
2
6D( + k) 4( + k)
2
)
8D( + k)
3
D( + k)
d (A.9)
Vamos utilizar a equao (A.9) e partir dela
(x, t) =

0
8
x
x
0
=k
e
2
4D(+k)
(
2
6D( + k) 4( + k)
2
)
( + k)
7/2
d. (A.10)
70
Vamos reescreve-la da seguinte forma
(x, t) =

0
8
x
x
0
=k
x
3
e
2
4D(+k)
( + k)
7/2
. .
i
6De
2
4D(+k)
( + k)
5/2
. .
ii
4e
2
4D(+k)
( + k)
3/2
. .
iii
d. (A.11)
Sabemos que a denio para exponencial :
e
u
= 1 + u +
u
2
2!
+
u
3
3!
+ ... +
u
n
n!
=
n=0
u
n
n!
(A.12)
vamos ento usar esta denio, para expandir em srie, cada parcela da equao (A.11)
separadamente:
a parcela i
i =
x
x
0
=k
x
3
e
2
4D(+k)
( + k)
7/2
d (A.13)
Usando a denio de exponencial (A.12), podemos escrever
i =
x
x
0
=k
n=0
(1)
n
n!
_

2
4D(+k)
_
n
( + k)
7/2
d (A.14)
simplicando, temos
i =
n=0
x
x
0
=k
(1)
n
2n+3
n!(4D)
n
( + k)
7/2+n
d. (A.15)
A resoluo desta integral, nos d
i =
n=0
k
7/2n
(1)
n
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;

k
_
n!(4D)
n
(2n + 4)
. (A.16)
Vamos agora aplicar os limites de integrao fazendo i(x) i(k), primeiro vamos
encontrar i(x)
i(x) =
n=0
k
7/2n
(1)
n
x
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;
x
k
_
n!(4D)
n
(2n + 4)
. (A.17)
agora vamos encontrar i(-k)
i(k) =
n=0
k
7/2n
(1)
n
(k)
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;
(k)
k
_
n!(4D)
n
(2n + 4)
. (A.18)
simplicando, temos:
i(k) =
n=0
k
n1/2
(1)
3n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n; 1
_
n!(4D)
n
(2n + 4)
. (A.19)
71
Vamos agora encontra i(x) i(k)
i =
n=0
k
7/2n
(1)
n
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;

k
_
n!(4D)
n
(2n + 4)
k
n1/2
(1)
3n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n; 1
_
n!(4D)
n
(2n + 4)
(A.20)
Sabemos que k = t x e simplicando i, temos nalmente:
i =
n=0
(t x)
7/2n
(1)
n
x
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;
x
tx
_
n!(4D)
n
(2n + 4)
+
(t x)
n1/2
(1)
3n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n; 1
_
n!(4D)
n
(2n + 4)
(A.21)
a parcela ii
ii =
x
x
0
=k
6Dxe
2
4D(+k)
( + k)
5/2
d (A.22)
Usando a denio de exponencial (A.12), e fazendo raciocnio anlogo parcela i,
temos:
ii =
n=0
x
x
0
=k
6D(1)
n
2n+1
n!(4D)
n
( + k)
5/2+n
d. (A.23)
ii =
n=0
6D(1)
n
k
5/2n
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3;

k
_
n!(4D)
n
(2n + 2)
. (A.24)
Vamos agora aplicar os limites de integrao fazendo ii(x) ii(k), primeiro vamos
encontrar ii(x)
ii(x) =
n=0
6D(1)
n
k
5/2n
x
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3;
x
k
_
n!(4D)
n
(2n + 2)
. (A.25)
agora vamos encontrar ii(-k)
ii(k) =
n=0
6D(1)
n
k
5/2n
(k)
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3;
(k)
k
_
n!(4D)
n
(2n + 2)
. (A.26)
72
simplicando, temos:
ii(k) =
n=0
6D(1)
3n+1
k
1/2+n
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3; 1
_
n!(4D)
n
(2n + 2)
. (A.27)
Vamos agora encontra ii(x) ii(k)
ii =
n=0
6D(1)
n
k
5/2n
x
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3; ,
x
k
_
n!(4D)
n
(2n + 2)
+
6D(1)
3n+1
k
1/2+n
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3, 1
_
n!(4D)
n
(2n + 2)
(A.28)
ii =
n=0
6D(1)
n
(t x)
5/2n
x
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3;
x
tx
_
n!(4D)
n
(2n + 2)
+
6D(1)
3n+1
(t x)
1/2+n
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3, 1
_
n!(4D)
n
(2n + 2)
(A.29)
a parcela iii
iii =
x
x
0
=k
4e
2
4D(+k)
( + k)
3/2
d (A.30)
Usando a denio de exponencial (A.12), e fazendo raciocnio anlogo parcela ii,
temos:
iii =
n=0
x
x
0
=k
4(1)
n
2n+1
n!(4D)
n
( + k)
3/2+n
d. (A.31)
iii =
n=0
4(1)
n
k
n3/2
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;

k
_
n!(4D)
n
(2n + 2)
(A.32)
Vamos agora aplicar os limites de integrao fazendo iii(x)iii(k), primeiro vamos
encontrar iii(x)
iii(x) =
n=0
4(1)
n
k
n3/2
x
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;
x
k
_
n!(4D)
n
(2n + 2)
(A.33)
73
agora vamos encontrar iii(k)
iii(k) =
n=0
4(1)
n
k
n3/2
(k)
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;
(k)
k
_
n!(4D)
n
(2n + 2)
(A.34)
simplicando, temos:
iii(k) =
n=0
4(1)
3n+2
k
n+1/2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3, 1
_
n!(4D)
n
(2n + 2)
(A.35)
Vamos agora encontrar iii(x) iii(k)
iii =
n=0
4(1)
n
k
n3/2
x
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;
x
k
_
n!(4D)
n
(2n + 2)
+
4(1)
3n+2
k
n+1/2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3; 1
_
n!(4D)
n
(2n + 2)
(A.36)
iii =
n=0
4(1)
n
(t x)
n3/2
x
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;
x
tx
_
n!(4D)
n
(2n + 2)
+
4(1)
3n+2
(t x)
n+1/2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3; 1
_
n!(4D)
n
(2n + 2)
(A.37)
A soluo nal da integral (A.11), dada pela soma das parcelas
i + ii + iii (A.38)
(x, t) =

0
8
n=0
(t x)
7/2n
(1)
n
x
2n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n;
x
tx
_
n!(4D)
n
(2n + 4)
+
(t x)
n1/2
(1)
3n+4
2
F
1
_
2n + 4,
7
2
+ n; 5 + 2n; 1
_
n!(4D)
n
(2n + 4)
+
6D(1)
n
k
5/2n
x
2n+2
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3;
x
k
_
n!(4D)
n
(2n + 2)
+
6D(1)
3n+1
k
1/2+n
2
F
1
_
2n + 2,
5
2
+ n; 2n + 3; 1
_
n!(4D)
n
(2n + 2)
+
4(1)
n
(t x)
n3/2
x
2n+2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3;
x
tx
_
n!(4D)
n
(2n + 2)
+
4(1)
3n+2
(t x)
n+1/2
2
F
1
_
2n + 2,
3
2
+ n; 2n + 3; 1
_
n!(4D)
n
(2n + 2)
(A.39)
74
A Equao (A.39) a soluo para a integral (A.11). Nosso prximo passo, seria
traar o grco da soluo obtida por srie e compar-lo com um grco analtico, usando
a soluo obtida por transformada de Laplace. Porm este grco no pde ser traado,
devido uma singularidade na srie.
75
Referncias Bibliogrcas
Fortuna, A. O. (2000). Tcnicas Computacionais para Dinmica dos Fluidos: Conceitos
Bsicos e Aplicaes. Edusp, So Paulo.
Gradshteyn e Ryzhiks (2007). Table of Integrals, Series, and Products. Alan Jerey and
Daniel Zwillinger, 7a edition.
Greenberg, M. D. (1998). Advanced engineering mathematics. Prentice Hall, Upper Saddle
River, New Jersey 07458, 2 edition.
Irio, V. (2005). EDP - Um curso de graduao. IMPA publisher, Rio de Janeiro, 2a
edio edition.
Leon, S. J. (1999). lgebra Linear com Aplicaes. LTC - Livros Tcnicos e Cientcos
Editora S.A.
Romo, C. E., Moura, L., e Silva, J. B. C. (2008). Mtodo das Caractersticas na Soluo
de Problemas de Propagao de Ondas de Amplitude Finita. XXXI SBMAC.
Sarra, S. A. (2003). The Method of Characteristic & Conservations Laws. Journal of
Online Mathematics and its applications, 200.
76

Universidade Federal Do Paraná

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Universidade Federal Do Paraná

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE FEDERAL DO PARAN

(x, s) (x, 0), (4.30)

(x, s). (4.31)

(x, s) (x, 0), (5.22)

(x, s). (5.23)

D. Substitundo os valores de a temos

Você também pode gostar