871
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 872/2103
N este captulo discutiremos aplicacoes em problemas fsicos de varios dos metodos que discutimos alhures de
resolucao de equacoes diferenciais e integrais. Por exemplo, trataremos de alguns problemas fsicos dos quais
emergem algumas das equacoes diferenciais ordinarias que estudamos em captulos anteriores, tais como as
equacoes de Euler, de Bessel, de Legendre, de Legendre associada, de Bessel esferica, de Hermite, de Laguerre
e de Laguerre associada. O estudante que estiver procurando a motivacao e a origem fsica daquelas equacoes poder
ler parcialmente o presente captulo sem precisar dominar totalmente o material anteriormente apresentado, pelo menos
ate o ponto em que apresentarmos as solucoes das equacoes. Tambem evocaremos no que segue o chamado metodo de
a
separacao de variaveis e alguns teoremas de unicidade de solucao de equacoes a derivadas parciais. Tais assuntos sao
discutidos no Captulo 16 ao qual o estudante poder a (devera) passar sem perdas, se julgar necessario. Faremos uso de
diversas das propriedades estudadas no Captulo 15, p agina 660, especialmente das relacoes de ortogonalidade.
Na Secao 20.1 apresentamos a deducao de algumas equacoes a derivadas parciais de maior interesse em aplicacoes
fsicas, como a equacao de difusao e a equacao da corda vibrante. Nosso tratamento sera primordialmente informal,
mas procuraremos obter equacoes bastante gerais e discutir a origem fsica das condicoes de contorno mais comummente
usadas.
A Secao 20.12, p
agina 974, contem diversos outros problemas de interesse na forma de exerccios.
20.1 Deduc
ao de Algumas Equaco
es Diferenciais de Interesse
Nesta secao apresentaremos deducoes de natureza matematicamente informal (mas fisicamente geral) das equacoes de
difusao de calor e das equacoes da corda vibrante (em particular, da equacao de ondas em uma dimensao). Essa
apresentacao e aqui realizada em benefcio do estudante e esta secao diferencia-se das demais secoes deste captulo pois
nela n ao trataremos de metodos de solucao das equacoes. A escolha das equacoes de difusao de calor e das equacoes
da corda vibrante decorre de serem essas equacoes freq uentemente encontradas em problemas fsicos, assim como as
equacoes de Helmholtz e de Laplace, as quais encontraremos na Secao 20.2, p agina 882. Essas sao tambem prototipos de
equacoes a derivadas parciais de segunda ordem de tipo parabolico (equacao de difusao), hiperb olico (equacao de ondas)
e elptico (equacao de Laplace), conforme a classificacao discutida no Captulo 16, p
agina 724 (vide Secao 16.2.2, p
agina
736).
20.1.1 Deduc
ao Informal da Equac
ao de Difus
ao de Calor
Nesta secao apresentaremos uma deducao informal da equacao de difusao de calor em materiais solidos. Nosso tratamento
e informal por duas raz oes fortemente relacionadas. Em primeiro lugar, pois fazemos uso da chamada Lei de Fourier
da difusao de calor (vide adiante), a qual, ainda que largamente validada empiricamente, carece ate o presente de uma
justificativa microscopica em termos de um tratamento estatstico do movimento de atomos e moleculas que compoe o
material estudado e suas interacoes. De fato, a justificativa teorica da Lei de Fourier e assunto corrente de pesquisa,
sendo um dos mais importantes problemas em aberto da Mecanica Estatstica. Em segundo lugar, nosso tratamento
pressupoe a validade do equilbrio termodin amico local e da existencia de uma temperatura bem definida em cada ponto
do material em cada instante de tempo, mesmo em situacoes nas quais ocorra troca de calor. Essa hipotese, ainda que
aceitavel em situacoes nas quais o fluxo termico nao seja grande, carece de validade geral e sua justificativa em termos
dos princpios da Mec anica Estatstica ainda est
a longe de ser satisfat
oria.
Consideremos um material solido no qual calor possa ser transferido por difusao de um ponto a outro (nao conside-
raremos, portanto, transporte de calor por conveccao, como ocorre em lquidos e gases, ou por irradiacao). Denotemos
por u(~x, t) a temperatura desse material no ponto ~x no instante t. Nossa tarefa e encontrar uma equacao diferencial
que permita determinar a evolucao temporal e espacial de u(~x, t) e que, portanto, expresse as leis fsicas que regem a
difusao de calor em corpos solidos.
O princpio fsico fundamental que rege o processo de difusao de calor e a chamada Lei de Fourier, proposta com base
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 873/2103
em informacoes empricas por J. Fourier1 em seu importante trabalho Theorie Analytique de la Chaleur, publicado em
18222, a qual afirma o seguinte: seja uma superfcie orientada infinitesimal de area d situada em uma posicao ~x cujo
vetor normal seja ~n (com k~nk = 1). Ent ao, a quantidade de calor que atravessa essa superfcie por unidade de tempo no
sentido definido por ~n e dada por
~ x, t) d~ ,
(~x, t) u(~
onde d~ := ~nd e onde (~x, t) 0 e uma quantidade caracterstica do material (e que pode depender da posicao, do
tempo e mesmo da temperatura u(~x, t)) denominada condutibilidade termica.
Assim, dado um volume V do material (suporemos V compacto) delimitado por uma superfcie orientada V , a
quantidade de calor que entra em V atraves de V por unidade de tempo e, segundo a Lei de Fourier, dada pela integral
de superfcie Z
QV
= ~ x, t) d~ .
(~x, t) u(~
dt V
(Acima, d~ e orientada para o exterior de V ). Naturalmente, aplicando o Teorema de Gauss, podemos escrever o lado
direito em termos de uma integral de volume:
Z
QV ~ x, t) dv .
= (~x, t)u(~ (20.1)
dt V
Se houver em V uma fonte de calor interna (por exemplo, radioatividade, reacoes qumicas etc.), produzindo uma
quantidade de calor por unidade de volume descrita por uma funcao (~x, t) (e que pode tambem depender de u(~x, t)),
o calor total produzido por essa fonte interna em V por unidade de tempo sera dada por
Z
Q
= (~x, t) dv .
dt V
Assim, a quantidade de calor total que entra ou e produzida em V por unidade de tempo e dada por
Z h i
Q ~ x, t) + (~x, t) dv .
= (~x, t)u(~ (20.2)
dt V
Em um intervalo de tempo t a quantidade de calor Q que entra ou e produzida em V e distribuda nesse volume,
provocando uma variacao de temperatura em cada ponto de u(~x, t) a u(~x, t + t). Sejam (~x, t) e c(~x, t) a densidade
de massa do material e, respectivamente, o calor especfico do material, no ponto ~x no instante de tempo t. Com
isso, a quantidade de calor que entra em um volume dv no material (cuja massa e (~x, t)dv) durante o intervalo t
sera dada por (~x, t)c(~x, t) u(~x, t + t) u(~x, t) dv. Logo, a quantidade de calor Q que entra em V e dada por
Z Z
Q u(~x, t + t) u(~x, t)
Q = (~x, t)c(~x, t) u(~x, t + t) u(~x, t) dv. Assim, = (~x, t)c(~x, t) dv e
V t V t
tomando-se o limite t 0, obtemos
Z
Q u
= (~x, t)c(~x, t) (~x, t)dv . (20.3)
dt V t
Como essa igualdade e valida para qualquer volume V como especificado, conclumos que
u
~ x, t) + (~x, t) .
(~x, t)c(~x, t) (~x, t) = (~x, t)u(~ (20.4)
t
A expressao (20.4) e a procurada equacao que rege o processo de difusao de calor e e, naturalmente, denominada equac ao
de difus
ao de calor. Lembremos que , c, assim como e podem depender n ao so da posicao e do tempo, mas tambem
da temperatura u.
1 Jean Baptiste Joseph Fourier (17681830).
2 As razes do trabalho de Fourier podem ser tracadas at
e Newton, com sua lei do esfriamento dos corpos.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 874/2103
Como o estudante pode constatar, a equacao (20.4) e uma equacao a derivadas parciais de segunda ordem de tipo
parabolico. Vide Secao 16.2.2, p
agina 736.
Um caso de particular interesse se d a quando o termo de fonte est a ausente e o meio material considerado e
homogeneo, situacao na qual , c e sao constantes. Nesse caso, (20.4) reduz-se a
u
(~x, t) = Du(~x, t) , (20.5)
t
onde D = c ~
ao termica e u, o chamado Laplaciano de u, e definido por u := u.
e a chamada constante de difus
A equacao (20.5) e tambem denominada equac ao de difus
ao de calor ou equac
ao de difus
ao de calor homogenea. Se
incluirmos uma fonte termica interna, a equacao para um meio homogeneo (20.5) ficara na forma
u 1
(~x, t) = Du(~x, t) + (~x, t) . (20.6)
t c
Coment
arios sobre condi
co
es de contorno em processos de difus
ao de calor
Para a resolucao de equacoes como (20.4), (20.5) ou (20.6) sao tipicamente fornecidas informacoes sobre a funcao u
no instante de tempo inicial, digamos, t = 0, ou seja,
u(~x, 0) = u0 (~x) ,
sendo u0 uma funcao dada que descreve a distribuicao inicial de temperatura no material considerado (condicao inicial).
necessario, porem, agregar informacoes que descrevam o processo de troca de calor entre a superfcie do meio material
E
considerado e o meio externo. Em geral, essas informacoes sao tambem resultantes da imposicao da Lei de Fourier, como
discutiremos a seguir.
Vamos supor que o meio material que estamos a considerar ocupe um volume finito W do espaco delimitado por uma
superfcie orientada W , estando em cada ponto ~y W em contacto com um meio externo. De acordo com a Lei de
u
Fourier, o fluxo de calor por unidade de
area para dentro de W atraves de W em ~y e dado por (~y, t) n (~y , t), onde
u u ~
n (~
y , t) e a derivada normal de u em ~
y no instante t, ou seja, n = u ~n, com ~n sendo o vetor normal a W em ~y
apontando para fora de W com k~nk = 1.
Assim, se o meio material estiver em contacto termico com uma fonte de calor que injete no mesmo um fluxo de calor
por unidade de area q(~y , t) na posicao ~y W , devemos impor a condicao
u
(~y , t) (~y , t) = q(~y , t) para todo ~y W e t > 0 . (20.7)
n
Se, por exemplo, a fonte de calor for um meio externo a temperatura T (~y, t) para cada ~y W , ent
ao, de acordo com
a Lei de Fourier, esse fluxo de calor deve ser proporcional `a diferenca de temperatura entre o meio material e o meio
externo em cada ponto ~y W , ou seja, deve-se impor
u
(~y, t) (~y , t) = (~y , t) T (~y, t) u(~y, t) , para todo ~y W e t > 0 , (20.8)
n
onde (~y , t) 0 e uma constante, denominada condutibilidade termica, e que caracteriza o contacto termico entre o
meio material e o meio externo. (~y , t) pode tambem ser dependente das temperaturas T (~y, t) e u(~y, t), ainda que essa
dependencia seja, em geral, muito fraca para ser considerada. O estudante deve atentar para o fato que os sinais em
(20.8) sao escolhidos de forma que o calor flua de um ponto mais quente para um mais frio.
As relacoes (20.7) e (20.8) representam a lei fsica (Lei de Fourier) que rege a troca de calor com o meio externo
atraves da superfcie W . A relacao (20.8) pode ser escrita como
u
(~y , t)u(~y , t) + (~y, t) (~y , t) = (~y , t)T (~y, t) , para todo ~y W e t > 0 , (20.9)
n
como facilmente se ve.
As expressoes (20.7) e (20.8) ou (20.9) representam as formas mais gerais de condicao de contorno a serem impostas
em processos de difusao de calor que levem em conta a Lei de Fourier, mas ha alguns casos particulares de interesse. Se
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 875/2103
u
valer que (~y , t)/(~y , t) 1/ n (~y , t) para todo ~y W e todo t, o que ocorre se o contacto termico entre o meio
material e o meio externo for muito bom, ent ao (20.8) pode ser aproximada por
o que significa que a temperatura do meio material e o meio externo igualam-se na superfcie W .
Outro caso particular de interesse se d a quando (~y , t)/(~y, t) 1/u(~y , t) T (~y, t) para todo ~y W e todo t,
o que ocorre se o meio material estiver em mau contacto termico com o meio externo (isolamento termico). Nesse caso,
(20.8) aproxima-se por
u
(~y , t) = 0 , para todo ~y W e t > 0 , (20.11)
n
o que equivale a adotar q(~y , t) 0 em (20.7).
Esses comentarios justificam considerar-se em problemas de difusao de calor os seguintes tipos de condicao de contorno
lineares em W :
1. Condicao de Dirichlet3 :
2. Condicao de Neumann4 :
u
(~y , t) = q(~y , t) , para todo ~y W e t > 0 ;
n
3. Condicao mista:
u
1 (~y , t)u(~y , t) + 2 (~y , t) (~y , t) = g(~y , t) , para todo ~y W e t > 0 ;
n
as funcoes h, q, g, 1 e 2 sendo dadas pelo problema. Em muitos casos considera-se tambem condicoes ditas homogeneas:
20.1.2 Deduc
ao Informal da Equac
ao da Corda Vibrante
Nesta secao apresentamos uma deducao informal de diversas versoes da equacao da corda vibrante em uma dimensao.
Nossa deducao e informal, pois uma deducao de primeiros princpios deveria incluir um tratamento microscopico do
movimento de atomos e moleculas que compoe a corda e de suas interacoes, assim como a tomada de um limite ma-
crosc
opico adequado das equacoes resultantes, no esprito do grupo de renormalizacao. Um tal tratamento est
a alem de
nossas pretensoes.
Alguns metodos de solucao de algumas das equacoes que encontraremos serao apresentados nas secoes seguintes.
Consideremos uma corda de diametro desprezvel, tensionada e que, em uma situacao de equilbrio, estenda-se ao
longo do eixo x, cuja direcao, definida pelo versor , denominaremos direcao longitudinal da corda. Ao ser retirada
de sua posicao de equilbrio um ponto de coordenada x sofre no instante t um deslocamento transversal de u(x, t) na
ao consideraremos descolamentos da corda na direcao ou na direcao k = . A direcao de
direcao do versor . N
sera denominada direcao transversal da corda. Vide Figura 20.1, p
agina 876.
u(x, t)
^j
^i x
^
k
Denotaremos por (x) a densidade linear de massa da corda e denotaremos por ~ (x, t) a forca de tensao que a porcao
da corda situada em x > x exerce no ponto x sobre a porcao da corda situada em x < x no instante t (Figura 20.2,
p
agina 877). Como so permitimos movimentos no plano dos versores e , podemos escrever
e com essa notacao queremos dizer que l (x, t) e a componente longitudinal de ~ (x, t) e t (x, t) e a componente
transversal.
Alem da forca de tensao, cada ponto x da corda poder a estar submetido a uma forca externa por unidade de
comprimento f~(x, t) a qual poder a conter a forca peso, forcas de atrito viscoso (dependentes da velocidade u
t ), for
cas
restauradoras etc. Por ora n ao precisaremos detalhar que tipo de forcas consideraremos e delas trataremos mais adiante.
A forca por unidade comprimento f~ pode depender de x e de t, assim como de u e de algumas de suas derivadas parciais,
mas por simplicidade notacional vamos design a-la apenas por f~(x, t), omitindo provisoriamente dependencias com u e
suas derivadas parciais. Suporemos que essas forcas externas tem apenas componentes longitudinais e transversais e, em
coerencia com a notacao de acima, escrevemos
(x, t)
(x0 , t) u(x, t)
u(x0, t)
^j
^i x0 x
^
k
momento satisfaz Z x Z x
d u
(x ) (x , t)dx = ~ (x, t) ~ (x0 , t) +
f~(x , t) dx . (20.12)
dt x0 t x0
Os diversos termos do lado direito representam forcas agindo sobre o trecho de corda situado entre x0 e x e sao de facil
explicacao. O termo ~ (x, t) e, por definicao, a forca de tensao que a porcao da corda situada em x > x exerce no ponto
x. O termo ~ (x0 , t) e (pelo Z princpio de acao e reacao) a forca de tensao que a porcao da corda situada em x < x0
x
exerce no ponto x0 . Por fim, f~(x , t) dx e a forca total exercida pelas forcas externas sobre o trecho de corda
x0
situado entre x0 e x.
Naturalmente, podemos escrever (20.12) como
Z x Z x
2u
(x ) 2 (x , t)dx = ~ (x, t) ~ (x0 , t) + f~(x , t) dx . (20.13)
x0 t x0
Z x Z x
2u
(x ) 2 (x , t)dx
= t (x, t) t (x0 , t) + ft (x , t) dx . (20.15)
x0 t x0
2u t
(x) (x, t) = (x, t) + ft (x, t) . (20.17)
t2 x
No instante de tempo t, o vetor posicao de um ponto da corda cuja posicao de equilbrio e x e dado por x + u(x, t)
.
Assim, o momento angular (em relacao ` a origem) do trecho da corda situado entre x0 e x e dado por
Z x u Z x
u
(x ) x + u(x , t)
(x , t) dx = (x )x (x , t) dx k ,
x0 t x0 t
Vamos agora expressar a igualdade entre a variacao do momento angular do trecho da corda situado entre x0 e x e o
torque exercido pelas forcas externas agindo sobre esse trecho. Teremos, como e facil de se ver,
Z x
d u
(x )x (x , t)dx k = x + u(x, t)
~ (x, t) x0 + u(x0 , t)
~ (x0 , t)
dt x0 t
Z x
+ f~(x , t) dx .
x + u(x , t)
x0
Z x
2u
(x )x 2
(x , t)dx k = xt (x, t) u(x, t)l (x, t) k x0 t (x0 , t) u(x0 , t)l (x0 , t) k
x0 t
Z x
+ x ft (x , t) u(x , t)fl (x , t) dx k .
x0
obtivemos
Como ambos os lados apontam na mesma direcao k,
Z x
2u
(x )x (x , t)dx = xt (x, t) u(x, t)l (x, t) x0 t (x0 , t) + u(x0 , t)l (x0 , t)
x0 t2
Z x
+ x ft (x , t) u(x , t)fl (x , t) dx .
x0
2u t
(x)x (x, t) = t (x, t) + x (x, t) u(x, t)l (x, t) + xft (x, t) u(x, t)fl (x, t) . (20.18)
t2 x x
Agora, multiplicando-se (20.17) por x, obtemos
2u t
(x)x (x, t) = x (x, t) + xft (x, t) .
t2 x
Esses termos podem, portanto, ser cancelados de (20.18), de sorte que aquela expressao reduz-se a
0 = t (x, t)
u(x, t)l (x, t) u(x, t)fl (x, t) . (20.19)
x
Usando agora (20.16), essa ultima expressao pode ser reescrita como t (x, t) = x
u(x, t)l (x, t) u(x, t)
x (x, t) e
l
conclumos que
u
t (x, t) = l (x, t) (x, t) . (20.20)
x
Note-se que essa expressao afirma, caso l (x, t) 6= 0, que
t (x, t) u
= (x, t) ,
l (x, t) x
que contem a informacao que o vetor ~ (x, t) e tangente `a curva u(x, t), ja que tl (x,
(x, t)
t)
e a tangente do angulo que esse
vetor forma com a direcao longitudinal x. Assim, provamos que a tensao em cada ponto da corda e tangente `a corda. Em
certos tratamentos da equacao da corda vibrante essa afirmacao e tida como obvia mas, acima, vemos que para obte-la
devemos fazer uso da Segunda Lei de Newton da lei da variacao do momento angular.
Falaremos mais sobre (20.20) quando comentarmos sobre condicoes de contorno `a p
agina 881.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 879/2103
para qualquer x0 .
Combinando (20.21) a (20.22), obtemos
Z x
2u u
(x) (x, t) = l (x0 , t) fl (x , t) dx (x, t) + ft (x, t) (20.23)
t2 x x0 x
para qualquer x0 .
As expressoes (20.23) ou (20.24) representam a forma mais geral da equacao da corda vibrante e, no que segue,
discutiremos alguns de seus casos particulares de interesse fsico.
Como o estudante pode constatar, as equacoes (20.23) ou (20.24) sao equacoes a derivadas parciais de segunda ordem
de tipo hiperb
olico. Vide Secao 16.2.2, p
agina 736.
Equa
c
ao da corda vibrante. Aus
encia de for
cas longitudinais externas
O primeiro caso particular de interesse se da quando a forca longitudinal fl e identicamente nula. A relacao (20.22)
garante, ent
ao, que l (x, t) = l (x0 , t), ou seja, l e constante em x, podendo depender apenas do tempo. Assim,
escrevendo l (x, t) = (t) para a componente longitudinal da tensao, (20.21) fica
2u 2u
(x) (x, t) = (t) (x, t) + ft (x, t) . (20.25)
t2 x2
O caso mais simples e aquele no qual a forca transversal ft e tambem identicamente nula, quando ent
ao obtemos a
equacao
2u 2u
(x) 2 (x, t) = (t) 2 (x, t) . (20.26)
t x
Nessa situacao, existe um particular interesse no caso em que (x) , constante, e (t) , constante, quando a
equacao ent
ao assume a forma da equacao de ondas simples em uma dimensao
2u 2u
2
(x, t) = c2 2 (x, t) , (20.27)
t x
r
onde c := . A constante positiva c e identificada como a velocidade de fase associada `a equacao de ondas (20.27).
Vide para tal a discuss
ao da Secao 20.4.1, p
agina 904.
H
a alguns casos de interesse fsico nos quais a forca transversal ft e n
ao-nula. Se desejarmos considerar uma corda
disposta horizontalmente em um campo gravitacional e incluirmos o peso da corda (por unidade de comprimento) na
forca transversal, teremos ft = (x)g, com g sendo a aceleracao da gravidade. Vide Figura 20.3, p agina 880. Nesse
caso (20.25) fica
2u 2u
(x) 2 (x, t) = (t) 2 (x, t) (x)g . (20.28)
t x
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 880/2103
(x, t)
(x0 , t)
u(x, t) g
u(x0, t)
^j
^i x0 x
^
k
Se desejarmos considerar que a corda se move em um meio viscoso (por exemplo, o ar) e sofre, ao mover-se nesse
u
meio, uma forca de atrito viscoso proporcional e oposta `a sua velocidade em cada ponto, devemos adotar ft =
t
(com > 0) e, nesse caso, (20.25) fica
2u 2u u
(x) 2
(x, t) = (t) 2 (x, t) (x, t) . (20.29)
t x t
Se incluirmos tanto a forca peso quanto a forca viscosa, teremos a equacao
2u 2u u
(x) 2
(x, t) = (t) 2 (x, t) (x, t) (x)g . (20.30)
t x t
Equa
c
ao da corda vibrante com for
cas longitudinais externas
Vamos agora tratar de incluir forcas externas longitudinais. Consideremos primeiramente a situacao na qual fl e
n
ao-nula, mas forcas transversais externas est
ao ausentes. A equacao (20.21) fica
Z x 2
2u u u
(x) 2 (x, t) = l (x0 , t) fl (x , t) dx 2
(x, t) fl (x, t) (x, t) , (20.31)
t x0 x x
para qualquer x0 .
Um caso de interesse a aquele em que a corda e disposta verticalmente em um campo gravitacional, como na Figura
20.4, p
agina 881 (corda pendurada). Teremos fl (x, t) = (x)g e supondo que a tensao longitudinal emZ x0 = 0 seja
x
nula (x0 = 0 e o extremo inferior da corda e supomos que nele n
ao sao exercidas forcas), teremos l (x, t) = g (x ) dx .
0
Nesse caso, (20.31) assume a forma
Z x
2u 2u u
(x) (x, t) = g (x ) dx (x, t) + g(x) (x, t) . (20.32)
t2 0 x2 x
Essa a a equac
ao da corda pendurada com densidade vari
avel.
No caso de a densidade (x) ser constante (x) , essa equacao assume a forma
2u 2u u
2
(x, t) = gx 2 (x, t) + g (x, t) ,
t x x
ou seja
2u u
2
(x, t) = g x (x, t) . (20.33)
t x x
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 881/2103
^i
g
^
k
^j
x u(x , t)
x=0
Figura 20.4: Corda sob campo gravitacional longitudinal. Indicados `a esquerda sao os versores , e k = , este
u
ltimo entrando do plano do papel (ao contr ` direita, a aceleracao da gravidade ~g = g.
ario da Figura 20.1). A
Essa e equac
ao da corda pendurada homogenea.
H
a tambem interesse em considerar-se situacoes nas quais a corda pendurada move-se em um meio viscoso (por
u
exemplo, o ar), situacao essa na qual devemos, como antes, acrescentar uma forca transversa viscosa do tipo ft = ,
t
com > 0. Nesse caso, a equacao da corda pendurada n ao-homogenea (20.32) assume a forma
Z x 2
2u u u u
(x) 2 (x, t) = g (x ) dx 2
(x, t) + g(x) (x, t) (x, t) , (20.34)
t 0 x x t
enquanto que a equacao da corda pendurada homogenea (20.33) assume a forma
2u u u
2
(x, t) = g x (x, t) (x, t) . (20.35)
t x x t
Coment
arios sobre condi
co
es de contorno no problema da corda vibrante
Caso a corda esteja fixa em um ponto, digamos, x = 0, deve-se naturalmente impor a condicao de contorno
Mais genericamente, podemos querer considerar a situacao na qual o ponto da corda localizado em x = 0 executa um
movimento forcado por um agente externo, de sorte que tenhamos
1. Condicao de Dirichlet:
u(0, t) = h1 (t) , para todo t R ;
2. Condicao de Neumann:
u
(0, t) = q1 (t) , para todo t R ;
x
3. Condicao mista:
u
1 (t)u(0, t) + 2 (t) (0, t) = g1 (t) , para todo t R ;
x
as funcoes h1 , q1 , g1 , 1 e 2 dadas pelo problema.
Em muitos casos estaremos tambem considerando condicoes ditas homogeneas:
20.2 As Equaco
es de Helmholtz e de Laplace
Nesta secao apresentaremos alguns problemas envolvendo as equacoes diferenciais parciais de Laplace e Helmholtz dos
quais emergem, pelo metodo de separacao de variaveis, algumas das equacoes diferenciais ordinarias e suas solucoes
de que tratamos em captulos anteriores. O metodo de separacao de variaveis e discutido na Secao 16.3, p
agina 739.
A equa
c
ao de ondas
A equacao de ondas
2u
(~x, t) c2 u(~x, t) = 0
t2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 883/2103
com c > 0, pode ser tratada pelo procedimento de separacao de variaveis, atraves do qual procuramos solucoes indepen-
dentes que sejam da forma de um produto u(~x, t) = T (t)E(~x). Por substituicao na equacao de ondas, somos rapidamente
levados `a seguinte equacao:
1 T (t) E(~x)
= .
c2 T (t) E(~x)
Como o lado esquerdo e uma funcao somente de t e o lado direito uma funcao somente das coordenadas espaciais ~x, a
igualdade acima so e possvel se ambos os lados forem iguais a uma constante, a qual denotaremos por 2 . Assim,
conclumos que
Obtemos por esse procedimento duas equacoes, uma envolvendo apenas a funcao T , outra a funcao E e uma inc ognita
extra, a constante , a qual dever a ser determinada pela fixacao de certas condicoes adicionais sobre o problema, por
exemplo, atraves de condicoes de contorno. Tais constantes que aparecem quando do metodo de separacao de variaveis
sao denominadas constantes de separac ao.
A solucao da equacao temporal e bem simples:
T (t) = 1 + 2 t , caso = 0 ,
(20.38)
T (t) = 1 cos(ct) + 2 sen (ct) , caso 6= 0 ,
onde 1 , 2 , 1 e 2 sao constantes arbitrarias a serem tipicamente fixadas por condicoes iniciais.
A equa
c
ao de difus
ao
A equacao de difusao
u
(~x, t) Du(~x, t) = 0
t
com D > 0, pode ser tratada pelo procedimento de separacao de variaveis, atraves do qual procuramos solucoes indepen-
dentes que sejam da forma de um produto u(~x, t) = T (t)E(~x). Por substituicao na equacao de ondas, somos rapidamente
levados `a seguinte equacao:
1 T (t) E(~x)
= .
D T (t) E(~x)
Como o lado esquerdo e uma funcao somente de t e o lado direito uma funcao somente das coordenadas espaciais ~x, a
igualdade acima so e possvel se ambos os lados forem iguais a uma constante, a qual denotaremos por 2 . Assim,
conclumos que
T (t) + 2 D T (t) = 0,
E(~x) + 2 E(~x) = 0.
Obtemos por esse procedimento duas equacoes, uma envolvendo apenas a funcao T , outra a funcao E e uma inc ognita
extra, a constante , a qual dever a ser determinada pela fixacao de certas condicoes adicionais sobre o problema, por
exemplo, atraves de condicoes de contorno.
A solucao da equacao temporal e bem simples:
T (t) = 1 , caso = 0 ,
(20.39)
2 Dt
T (t) = 1 e , caso 6= 0 ,
onde 1 e 1 sao constantes arbitrarias a serem tipicamente fixadas por condicoes iniciais.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 884/2103
As equa
co
es de Helmholtz e de Laplace
Como se observa, tanto no caso da equacao de ondas quanto no caso da equacao de difusao, a funcao E(~x), que
contem a dependencia espacial da funcao u(~x, t), satisfaz a equacao diferencial parcial
E(~x) + 2 E(~x) = 0 ,
ao de Helmholtz5 . No caso
com constante. No caso em que 6= 0 essa equacao diferencial parcial e denominada equac
6
= 0 temos a chamada equac
ao de Laplace
E(~x) = 0 .
Essa u
ltima equacao aparece em varios outros contextos, por exemplo, na Eletrostatica.
Trataremos dessas duas equacoes em duas e tres dimensoes em coordenadas polares e esfericas, respectivamente.
A Equa
c
ao de Laplace em duas dimens
oes em coordenadas polares
O operador Laplaciano em duas dimensoes em coordenadas polares assume a forma
1 u 1 2u
u = + 2 . (20.40)
2
Vide (4.34), p
agina 232. A equacao de Laplace fica
1 E 1 2E
+ 2 = 0.
2
Como o lado esquerdo e uma funcao somente de e o lado direito uma funcao somente de , a igualdade acima so e
possvel se ambos os lados forem iguais a uma constante de separacao, a qual denotaremos por 2 . Assim, conclumos
que
2 () + () 2 () = 0,
() + 2 () = 0.
Reconhecemos que a equacao para e uma equa ao de Euler, cuja solucao geral e + , caso 6= 0, ou
c
0 ln() + 0 , caso = 0. Aqui, s e s sao constantes arbitrarias.
Conclumos que a equacao de Laplace em duas dimensoes em coordenadas polares possui solucoes independentes da
forma
E(, ) = 0 ln() + 0 0 + 0 , caso = 0 ,
(20.41)
E(, ) = + cos() + sen () , caso 6= 0 .
Acima s, s, s e s sao constantes arbitrarias a serem fixadas por condicoes adicionais a serem impostas `a solucao.
Por exemplo, se desejarmos que as solucoes sejam funcoes periodicas em de perodo 2, ent ao devemos impor que
0 = 0 e que seja um inteiro.
A solucao geral da equacao de Laplace em duas dimensoes que representa funcoes periodicas de perodo 2 em e,
portanto,
X
u(, ) = 0 ln() + m m + m m m cos(m) + m sen (m) ,
m=
ou, em forma complexa,
X
u(, ) = 0 ln() + am m + bm m eim ,
m=
onde 0 , am e bm sao constantes a serem determinadas por condicoes adicionais a serem impostas `a solucao.
A Equa
c
ao de Helmholtz em duas dimens
oes em coordenadas polares
Devido `a forma do operador Laplaciano em duas dimensoes em coordenadas polares dada em (20.40), a equacao de
Helmholtz assume a forma
1 E 1 2E
+ 2 + 2 E = 0 .
2
E agora e tomada como uma funcao de e .
O metodo de separacao de variaveis prop
oe procurarmos solucoes independentes dessa equacao que sejam da forma
de um produto: E(, ) = ()(). Inserindo isso na equacao de Helmholtz, somos levados a
( ()) ()
+ 2 2 = .
() ()
Como o lado esquerdo e uma funcao somente de e o lado direito uma funcao somente de , a igualdade acima so e
possvel se ambos os lados forem iguais a uma constante de separacao, a qual denotaremos por 2 . Assim, conclumos
que
2 () + () + (2 2 2 )() = 0,
() + 2 () = 0.
Pela mudanca de variavel7 z = e definindo y(z) = y() = (), a primeira equacao acima transforma-se em
z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0 ,
que podemos reconhecer como sendo a equa
c
ao de Bessel de ordem .
Vemos assim que o metodo de separacao de variaveis para a equacao de Helmholtz em duas dimensoes em coordenadas
polares conduz a solucoes independentes da forma E(, ) = y()() onde as funcoes y e satisfazem as equacoes
ordin
arias
z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0,
() + 2 () = 0.
sendo z = .
Conclumos que a equacao de Helmholtz em duas dimensoes em coordenadas polares possui solucoes independentes
da forma
E(, ) = 0 J0 () + 0 N0 () 0 + 0 , caso = 0 ,
(20.42)
E(, ) = J () + N () cos() + sen () , caso 6= 0 .
7 Aqui supomos 6= 0.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 886/2103
Acima, J sao as funcoes de Bessel de ordem e N sao as funcoes de Neumann de ordem . Fora isso, s, s, s e
s sao constantes arbitrarias a serem fixadas por condicoes adicionais a serem impostas `a solucao.
Por exemplo, se desejarmos que as solucoes sejam funcoes periodicas em de perodo 2, ent
ao devemos impor que
0 = 0 e que seja um inteiro.
A solucao geral da equacao de Helmholtz em duas dimensoes que representa funcoes periodicas de perodo 2 em
e, portanto,
X
u(, ) = m Jm () + m Nm () m cos(m) + m sen (m) ,
m=
onde am e bm sao constantes a serem determinadas por condicoes adicionais a serem impostas `a solucao.
Recomendamos ao leitor o exerccio instrutivo de comparar as equacoes radiais obtidas acima no caso de Laplace e
de Helmholtz em duas dimensoes, assim como suas solucoes.
20.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas
A Equa
c
ao de Laplace em tr
es dimens
oes em coordenadas esf
ericas
O operador Laplaciano em tres dimensoes em coordenadas esfericas assume a forma
1 u 1 u 1 2u
u = 2 r2 + ( sen ) + . (20.43)
r r r sen ( sen )2 2
Vide (4.35), p
agina 233. Assim, a equacao de Laplace em tres dimensoes em coordenadas esfericas fica
1 2 E 1 E 1 2E
r + ( sen ) + = 0,
r2 r r sen ( sen )2 2
Mais uma vez constatamos que, pelo fato de o lado esquerdo ser funcao apenas de r enquanto que o lado direito e funcao
de e , a igualdade acima implica que ambos os lados devem ser iguais a uma constante. Por conveniencia futura,
escrevemos essa constante na forma ( + 1) (note que todo n umero complexo c pode ser escrito dessa forma, pois a
equacao 2 + c = 0 sempre tem pelo menos uma solucao). Conclumos que
Passemos agora `a equacao para Y (, ), a qual propomos novamente tratar pelo metodo de separacao de variaveis.
Tomemos, ent
ao, Y na forma de um produto Y (, ) = ()(). Somos conduzidos a
sen d d ()
( sen ) () + ( + 1)( sen )2 = .
() d d ()
Mais uma vez, a igualdade acima so e possvel se ambos os lados forem iguais a uma constante, que escrevemos na forma
2 . Ficamos com
1 d d 2
sen () () + ( + 1)() () = 0 , (20.47)
sen () d d ( sen ())2
() + 2 () = 0. (20.48)
Claramente, se desejarmos que () seja contnua e periodica de perodo 2 devemos impor que 0 = 0 e que seja
um inteiro, ou seja, = m Z em cujo caso a solucao fica () = m cos(m) + m sen (m) para todo = m Z
(inclusive m = 0). Essa solucao pode tambem ser escrita de forma complexa como () = am eim + bm eim para
outras constantes am e bm .
A experiencia ensina que para melhor tratarmos a equacao (20.47) convem proceder a mudanca de variavel
d 1 d
= cos , com = .
d sen () d
Definindo tambem y() = (), ou seja, () = y(cos ), a equacao diferencial para transforma-se em
d 2 dy 2
(1 ) () + ( + 1) y() y() = 0 ,
d d 1 2
ou, equivalentemente,
2
(1 2 )y () 2y () + ( + 1) y() y() = 0 .
1 2
Reconhecemos que se trata da equa c
ao de Legendre associada. Por (20.49) vemos que para o caso em que e contnua
e periodica de perodo 2 devemos necessariamente ter = m Z. Como discutimos quando tratamos da equacao de
Legendre associada, se desejarmos tambem que y() seja finita nos extremos 1 (ou seja, que () seja finita nos extremos
= 0 e = ), devemos ter tambem que = l N0 , sendo que l e m relacionam-se por l m l. As solucoes para
y() nesse caso sao os polinomios de Legendre associados y() = Plm () ou, em termos de , () = Plm (cos()).
Conclumos, assim, que se desejarmos solucoes que sejam periodicas de perodo 2 em e finitas nos extremos = 0
e = , temos
Y (, ) = Plm (cos()) m cos(m) + m sen (m)
Constatamos que o lado direito e uma combinacao linear das funcoes harmonicas esfericas Ylm (, ) e Ylm (, ),
definidos em (15.75).
Assim, retornando `
a E(r, , ), conclumos que sob as condicoes mencionadas a equacao de Laplace tem solucoes
independentes da forma
E(r, , ) = rl + l+1 Ylm (, ) ,
r
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 888/2103
com l N0 , m Z e l m l, e sendo constantes. Acima, adotamos para a parte radial a primeira solucao de
(20.46), pois = l N0 e, portanto, 6= 21 .
A solucao geral da equacao de Laplace em tres dimensoes que representa funcoes periodicas de perodo 2 em e
finitas nos extremos = 0 e = e, portanto,
X
X l
l, m
u(r, , ) = l
l, m r + l+1 Ylm (, ) . (20.50)
r
l=0 m=l
Aqui, l, m e l, m sao constantes a serem determinadas por condicoes adicionais a serem impostas `a solucao.
Expans
ao em multip
olos
Se soubermos a priori que a solucao u(r, , ) converge a 0 para r , podemos supor que as constantes l, m ,
acima, se anulam. Nesse caso a solucao reduz-se a
X
X l
l, m m
u(r, , ) = Y (, ) .
rl+1 l
l=0 m=l
Essa situacao ocorre, por exemplo, na Eletrostatica quando lidamos com o problema de determinar o potencial eletrico
produzido por uma distribuicao de cargas eletricas est
aticas limitadas a uma regiao finita. Nesse caso a expansao acima e
denominada expans ao em multip
olos. O mesmo tipo de situacao ocorre se desejarmos determinar o potencial gravitacional
produzido por uma distribuicao de materia limitada a uma regiao finita (por exemplo, um planeta).
Se soubermos a priori, por exemplo, por consideracoes de simetria, que a funcao u(r,
q , ) n ao depende da variavel
2l+1
, entao os termos da soma com m 6= 0 devem ser todos nulos. Como Yl0 (, ) = 4 Pl (cos()), onde Pl s
ao os
polinomios de Legendre, obtemos apenas
X
l l
u(r, ) = l r + l+1 Pl (cos()) (20.51)
r
l=0
para certas constantes l e l . Novamente, se tambem soubermos que a solucao u(r, ) converge a 0 para r ,
podemos supor que as constantes l , acima, anulam-se, e obtemos para a expansao em multipolos
X l
u(r, ) = Pl (cos()) . (20.52)
rl+1
l=0
Historicamente, o problema que conduziu Legendre aos polinomios de Legendre foi o de determinar o potencial gravi-
tacional de uma distribuicao de materia limitada a uma regiao finita e simetrica em relacao ao eixo z. Isso conduziu-o
a funcao geratriz dos polinomios de Legendre (expressao (15.46), p
` agina 675), da qual ele derivou a expressao para os
Pl (cos()) como polinomios em cos() e, da, `
aultima expressao.
A Equa
c
ao de Helmholtz em tr
es dimens
oes em coordenadas esf
ericas
Devido `a forma assumida pelo operador Laplaciano, expressa em (20.43), a equacao de Helmholtz em tres dimensoes
em coordenadas esfericas assume a forma
1 2 E 1 E 1 2E
r + ( sen ) + + 2 E = 0 ,
r2 r r sen ( sen )2 2
onde E agora e uma funcao de r, e .
O metodo de separacao de variaveis prop oe procurarmos solucoes independentes dessa equacao que sejam da forma
de um produto: E(r, , ) = R(r)Y (, ). Inserindo isso na equacao de Helmholtz, somos levados a
r2 R (r) 2 2 1 1 Y 1 2Y
+ r = ( sen ) (, ) + (, ) .
R(r) Y (, ) sen ( sen )2 2
Mais uma vez constatamos que, pelo fato de o lado esquerdo ser funcao apenas de r enquanto que o lado direito e funcao
de e , a igualdade acima implica que ambos os lados devem ser iguais a uma constante. Por conveniencia futura,
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 889/2103
escrevemos essa constante na forma ( + 1) (note que todo n umero complexo c pode ser escrito dessa forma, pois a
equacao 2 + c = 0 sempre tem pelo menos uma solucao). Conclumos que
r2 R (r) + 2rR (r) + 2 r2 ( + 1) R(r) = 0 , (20.53)
1 Y 1 2Y
( sen ) (, ) + (, ) + ( + 1)Y (, ) = 0. (20.54)
sen ( sen ) 2
2
Reconhecemos que a equacao para Y (, ) e precisamente a mesma que obtivemos no caso da equacao de Laplace em
tres dimensoes em coordenadas esfericas. Assim, se desejarmos solucoes para Y (, ) que sejam periodicas de perodo
2 em e finitas nos extremos = 0 e = , teremos que fixar = l N0 e Y (, ) sera uma combinacao linear de
Ylm (, ) e Ylm (, ), onde m Z com l m l.
Concentremo-nos agora na equacao radial. Pela mudanca de variavel8 z = r e definindo y(z) = y(r) = R(r), a
equacao (20.53) acima transforma-se em
onde a e b sao constantes e jl e nl sao as funcoes de Bessel esfericas de ordem l e de Neumann esfericas de ordem l,
respectivamente.
Retornando a E(r, , ), conclumos que, sob as hipoteses delineadas acima, a equacao de Helmholtz em tres
dimensoes possui solucoes independentes da forma
E(r, , ) = jl (r) + nl (r) Ylm (, ) ,
Aqui, l, m e l, m sao constantes a serem determinadas por condicoes adicionais a serem impostas `a solucao.
Recomendamos ao leitor o exerccio instrutivo de comparar as equacoes radiais obtidas acima no caso de Laplace e
de Helmholtz em tres dimensoes, assim como suas solucoes.
O problema que consideraremos e o de encontrar solucoes para a equacao de difusao de um meio termicamente
condutor homogeneo sem fontes:
u 2u
D 2 = 0,
t x
com D > 0, constante, t 0 e x [0, L] para algum L > 0. A constante D representa a constante de difusao termica
da barra homogenea localizada em [0, L] (de comprimento L, portanto) e u(x, t) representa a temperatura dessa barra
na posicao x no instante t. A condicao inicial a ser considerada sera
onde u0 e uma funcao dada da qual suporemos certas propriedades mais adiante. u0 representa a temperatura inicial da
barra.
Condi
co
es de contorno
Tratamos de apresentar rapidamente as condicoes de contorno mais comummente empregadas.
Consideraremos que a barra est a termicamente isolada, exceto nos seus extremos, onde pode trocar calor com meios
externos. De acordo com a Lei de Fourier, o fluxo de calor em x = 0 e dado por k u
x (0, t) (com k sendo a condutibilidade
termica da barra). Assim, se a barra estiver em contacto termico com uma fonte de calor que injete um fluxo de calor
q1 (t) atraves da posicao x = 0, devemos impor a condicao
u
k (0, t) = q1 (t) .
x
Se, por exemplo, a fonte de calor for um meio externo a temperatura T1 (t) o fluxo q1 (t) sera, tambem segundo a Lei de
Fourier, proporcional `a diferenca de entre a temperatura barra em x = 0 e a temperatura do meio externo em contacto
com a barra no mesmo ponto:
u
k (0, t) = 1 T1 (t) u(0, t) , (20.55)
x
1 sendo a condutibilidade do contacto termico da barra com o meio externo em x = 0. No outro extremo x = L teremos,
analogamente,
u
k (L, t) = 2 u(L, t) T2 (t) , (20.56)
x
2 sendo a condutibilidade
do contacto
termico da barra com o meio externo em x = L, a temperatura deste meio sendo
T2 (t). Caso k/1 1/ ux (x, 0) , a barra est
a em excelente contacto termico com o meio em x = 0 e a condicao (20.55)
reduz-se a u(0, t) = T1 (t). Caso 1 /k 1/T1 (t) u(0, t), a barra est a termicamente isolada do meio em x = 0 e a
condicao (20.55) reduz-se a u
x (0, t) = 0.
Esses coment
arios justificam considerar-se em problemas de difusao os seguintes tipos de condicao de contorno lineares
em x = 0:
1. Condicao de Dirichlet:
u(0, t) = h1 (t) , para todo t > 0 ;
2. Condicao de Neumann:
u
(0, t) = q1 (t) , para todo t > 0 ;
x
3. Condicao mista:
u
1 (t)u(0, t) + 2 (t) (0, t) = g1 (t) , para todo t > 0 ;
x
Resolu
c
ao pelo m
etodo de separa
c
ao de vari
aveis e pelo princpio de sobreposi
c
ao
Como ilustracao, vamos considerar o problema mais simples de determinar a evolucao da temperatura, descrita pela
equacao de difusao simples
u 2u
D 2 = 0, (20.57)
t x
com t 0 e 0 x L, de uma barra metalica de comprimento L > 0 e constante de difusao termica D > 0, cujas
extremidades (situadas em x = 0 e x = L) sao postas em bom contacto termico com banhos termicos de temperatura 0,
de sorte que tenhamos as condicoes de contorno de Dirichlet homogeneas
e a condicao inicial
u(x, 0) = u0 (x), x [0, L] .
Para encontrar as solucoes de (20.57) satisfazendo as condicoes iniciais e de contorno mencionadas acima, procede-se
pelo metodo de separacao de variaveis, procurando primeiramente solucoes particulares que sejam da forma u(x, t) =
T (t)U (x). Inserindo em (20.57), obtem-se
1 T (t) U (x)
= .
D T (t) U (x)
Essa igualdade so e possvel se ambos os lados forem iguais a uma constante de separacao, que denotamos por 2 .
Chegamos com isso a
Para = 0 a equacao (20.59) reduz-se a U (x) = 0, cuja solucao e U (x) = c1 x + c2 . Como desejamos que U (0) = U (L) =
0, de modo que u(x, t) = T (t)U (x) satisfaca as condicoes de contorno, obtem-se c1 = c2 = 0, ou seja, obtem-se a solucao
trivial U (x) 0. O caso interessante, portanto, est a em 6= 0.
No caso 6= 0, as solucoes de (20.59) sao, como e bem conhecido,
A imposicao que U (0) = 0 implica 1 = 0, levando a U (x) = 2 sen (x). A imposicao que U (L) = 0 implica L = n,
com n Z (tomar 2 = 0 conduz novamente ` a solucao trivial U (x) 0) e, assim, U (x) = Un (x) = 2 sen nx L , n Z.
Em verdade, podemos nos restringir a ns positivos n ao-nulos, i.e., n = 1, 2, 3, . . ., pois para n = 0 tem-se U0 (x) 0
(solucao trivial) e Un (x) = Un (x), mostrando que as solucoes com Un (x) e Un (x) n ao sao independentes.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 892/2103
Resumindo, para cada n = 1, 2, , 3, . . . temos n = n L e Un (x) = 2 sen
nx
L . Para tais valores de a solu
cao
2
D( n ) t
(20.61) fica a e L
n , e as solucoes particulares para u(x, t) = T (t)U (x) ficam
2 nx
un (x, t) = an eD( ) t sen
n
L ,
L
n = 1, 2, 3, . . . (aqui, absorvemos a constante 2 dentro das constantes an , as quais ainda est
ao indeterminadas e podem
depender de n).
Chegamos ate aqui com o metodo de separacao de variaveis. Evocando o princpio de sobreposicao, obtemos uma
solucao mais geral de (20.57) satisfazendo as condicoes de contorno homogeneas somando as solucoes acima:
X nx
u(x, t) = an eD(
n
L )2 t sen . (20.62)
n=1
L
Em (20.63) a funcao u0 e expressa em termos de uma serie de Fourier de senos e a justificativa para a validade dessa
expansao, sobre hipoteses adequadas para a funcao u0 , e apresentada na Proposicao 35.12, p
agina 1699. A teoria geral
das series de Fourier encontra-se desenvolvida na Secao 35.4, pagina 1683. Para invertermos essas relacoes, expressando
as constantes an em termos de u0 , fazemos uso das bem-conhecidas relacoes de ortogonalidade da funcao seno:
Z
sen (my) sen (ny) dy = m, n , m, n = 1, 2, 3, . . . . (20.64)
0 2
Assim, multiplicando (20.63) por sen mx L e integrando de 0 a L, obtemos
Z L mx
X Z L mx nx
sen u0 (x) dx = an sen sen dx
0 L n=1 0 L L
Z
y=x/L LX L
= an sen (my) sen (ny) dy = am ,
n=1 0 2
ou seja,
Z L
2 nx
an = sen u0 (x ) dx (20.65)
L 0 L
para todo n = 1, 2, 3, . . ..
A fun
c
ao de Green para as condi
co
es iniciais
Usando (20.65) podemos reescrever (20.62) como
Z L
u(x, t) = G(x, t, x )u0 (x ) dx , (20.66)
0
onde, formalmente, ! !
2 X
nx nx D( n 2
L ) t .
G(x, t, x ) = sen sen e (20.67)
L n=1 L L
Essa expressao e denominada func ao de Green do problema de valor inicial em quest ao. Para t > 0 e muito facil constatar
a convergencia uniforme da serie que define G. Para t = 0 a convergencia deve ser entendida no sentido de distribuicoes.
Vide Captulo 36, p agina 1732. A import ancia de (20.66) est
a em expressar a solucao diretamente em termos das condicao
inicial u0 . A funcao G contem em si a informacao de como os valores das condicao inicial no ponto x influencia a solucao
no ponto x no instante t.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 893/2103
20.3.2 A Evoluc
ao da Temperatura de uma Barra Infinita
O problema que consideraremos nesta secao e o de encontrar solucoes para a equacao de difusao de um meio unidimen-
sional infinito, termicamente condutor, homogeneo, sem fontes (uma barra termicamente condutora):
u 2u
D 2 = 0, (20.68)
t x
com D > 0, constante, t 0 e x R. A constante D representa a constante de difusao termica do meio homogenea e
u(x, t) representa a temperatura desse meio na posicao x no instante t. A condicao inicial a ser considerada sera
onde u0 e uma funcao real dada, da qual suporemos certas propriedades mais adiante e representa a temperatura inicial
do meio. Note-se que o problema acima difere daquele tratado na Secao 20.3.1, p
agina 889, em um ponto fundamental:
aqui x n
ao est
a limitado a um intervalo compacto [0, L], mas estende-se por toda reta real R.
H
a diversos comentarios que devemos fazer sobre o problema acima. Em primeiro lugar, fazemos notar que o problema
acima e o que se denomina um problema de Cauchy caracterstico, pois a superfcie t = 0, onde os dados iniciais sao
fornecidos, e uma superfcie caracterstica da equacao (20.68) (vide discuss
ao da Secao 16.4, p
agina 744). E relevante
lembrar que a equacao de difusao e de segunda ordem na variavel x, nao em t e os dados iniciais sao fornecidos em t = 0.
Em segundo lugar, n ao especificamos ainda que tipo de condicao de contorno (no infinito) e suposta para a solucao
procurada. Esse e um ponto de grande relevancia para a justificacao do metodo de solucao que desenvolveremos e
tambem para a discuss ao do problema de unicidade de solucao. Por ora, adiantamos que desejamos solucoes que caem a
zero suficientemente rapido quando |x| , sendo que postergaremos a discuss ao dos detalhes de quao rapido deve ser
esse decaimento para mais adiante. Sobre a condicao inicial u0 suporemos inicialmente que essa funcao e um elemento
do espaco de Schwartz S (R), definido na Secao 36.1, p
agina 1733.
Observemos de passagem que (20.68) possui solucoes que n ao decaem no infinito como, por exemplo, a solucao
constante u(x, t) = c0 , c0 6= 0, constante, a solucao est
atica u(x, t) = x, ou a solucao
1 2
u(x, t) = x + Dt , (20.70)
2
a qual corresponde `a condicao inicial u0 (x) = 21 x2 .
Como veremos, a quest ao da escolha de condicoes de contorno que garantam unicidade de solucao e surpreendente-
mente sutil devido a propriedades especiais do processo de difusao.
Como fazemos outras vezes no presente captulo, seguiremos uma linha pragm atica, procurando encontrar diretamente
as solucoes desejadas pospondo, por vezes, a justificativa matematica dos nossos procederes.
Uma solu
c
ao para o problema de difus
ao em R
Se seguirmos o procedimento de separacao de variaveis que adotamos no incio da Secao 20.3.1, comecamos procurando
solucoes de (20.68) na forma de um produto: u(x, t) = U (x)T (t) e para as funcoes U e T obtemos as equacoes diferenciais
ordin arias (20.58)(20.59). Como comentamos apos aquelas equacoes, o caso em que a constante de separacao e nula
conduz a uma solucao para T da forma T (t) = t+ e para U tambem da forma U (x) = x+. Uma solucao linearmente
crescente em t e em x n ao e fisicamente aceit
avel para um problema de difusao (especialmente pois procuramos solucoes
que decaem a zero no infinito) e podem, portanto, ser descartadas de incio.
No caso 6= 0, temos para T e U as solucoes
2
T (t) = aeD t
e U (x) = beix + ceix .
Evocando o princpio de sobreposicao podemos pressupor obter solucoes mais gerais integrando em as solucoes do
2
tipo 12 A()eD t eix , ou seja, podemos considerar solucoes do tipo
Z
1 2
u(x, t) = A()eD t eix d . (20.71)
2
Para prosseguirmos, lembremos agora que, segundo (36.37), vale para t > 0,
2 1
eD t
= F[ht ]() ,
2Dt
x2
onde ht (x) := e 4Dt (verifique!). Com isso, fica claro que (20.71) pode ser escrita para t > 0 como
h i Z
1 (36.54) 1 (36.49) 1
u(x, t) = F1 F[ht ]F[u0 ] (x) = ht u0 (x) = ht (x y)u0 (y) dy .
2Dt 2Dt 4Dt
Portanto, estabelecemos que a solucao que tentamos construir tem a forma
Z (xy)2
e 4Dt
u(x, t) = u0 (y) dy , (20.72)
4Dt
com x R e t > 0. Essa expressao fornece u(x, t) diretamente em termos da condicao inicial u0 e com isso podemos
identificar 2
exp (xy)
4Dt
G(x, t; y) := , x, y R e t > 0 , (20.73)
4Dt
como sendo a funcao de Green para a condicao inicial do problema de difusao tratado, com (20.72) podendo ser reescrita
na forma Z
u(x, t) = G(x, t; y) u0 (y) dy , (20.74)
E. 20.1 Exerc cio. Obtenha explicitamente a solucao u(x, t) fornecida por (20.74) para o caso em que u0 (x) =
(xx0 )2
exp , x R, onde > 0 e x0 R sao constantes. Sugestao: use o resultado do Exerccio E. 36.10, pagina 1747.
6
A equa
c ao em Rn
ao de difus
O exerccio a seguir indica como as consideracoes de acima podem ser estendidas a mais de uma dimensao.
u
E. 20.2 Exerccio. Considere equacao de difusao Du = 0 em Rn (com D > 0, constante) sob a condicao inicial
t
u(x, 0) = u0 (x), x = (x1 , . . . , xn ) Rn , com u0 S (Rn ). Usando transformadas de Fourier, obtenha a solucao
2
Z exp (xy)
4Dt
u(x, t) = G(x, t; y) u0 (y) dn y com G(x, t; y) := n/2 ,
R n
4Dt
x, y Rn e t > 0. 6
2u 2u
Observac
oes. Acima, u := 2
+ + , o Laplaciano de u, e (x y)2 = (x1 y1 )2 + + (xn yn )2 .
x1 x2n
Discuss
ao sobre a solu
c
ao (20.72): algumas propriedades da fun
c
ao de Green (20.73)
Recordemos que ate o presente supomos a hipotese que u0 seja um elemento do espaco de Schwartz S (R). H a de
imediato tres quest
oes a se colocar: se (20.72) e de fato solucao de (20.68), se a condicao inicial (20.69) e de fato satisfeita
e, n
ao menos importante, se essa solucao e u
nica.
Uma quarta questao que postergaremos e a de se saber se a condicao u0 S (R) pode ser enfraquecida, permitindo
que (20.72) tambem forneca uma solucao de nosso problema com a condicao inicial (20.69), mas para um conjunto maior
de funcoes u0 .
Que (20.72) satisfaz (20.68) para todos x R e t > 0 pode ser diretamente verificado diferenciando-se sob o smbolo
de integral (o que e permitido pelo rapido decaimento do integrando, sob a hipotese que u0 S (R)). Quanto `a condicao
inicial, tem-se o seguinte. A expressao do lado direito de (20.68) n ao est
a diretamente definida em t = 0 (o integrando
nao esta definido em t = 0). No entanto, e possvel demonstrar que para u0 S (R) vale
Z
lim G(x, t; y) u0 (y) dy = u0 (x) . (20.75)
t0+
A demonstracao de (20.76) e elementar (integral de Laplace. Faca-o!) e a demonstracao de (20.77) pode ser encontrada
a p
` agina 1664 quando discutimos o exemplo da seq uencia delta de Dirac Gaussiana (substitua-se n por 1/ 4Dt em
(35.12)). Vide, por exemplo, (35.14). Com isso, segue do Teorema 35.1, p agina 1666, que o limite (20.75) e de fato
verdadeiro (e uniforme em R) desde que u0 seja uniformemente contnua e limitada em R (o que e o caso se u0 S (R)).
Reunimos nossos resultados na seguinte proposicao:
Proposi
c
ao 20.1 Seja u0 S (R). A func
ao
2
Z exp (xy)
4Dt
u(x, t) = G(x, t; y) u0 (y) dy , com G(x, t; y) := , x, y R e t > 0 , (20.78)
4Dt
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 896/2103
u 2u
satisfaz a equac
ao de difus
ao D 2 = 0 para todos x R e t > 0 e satisfaz lim u(x, t) = u0 (x) para todo x R,
t x t0+
com o limite sendo uniforme, ou seja, lim sup u(x, t) u0 (x) = 0. 2
t0+ xR
Discuss
ao sobre a solu
c
ao (20.78): n
ao-causalidade de Einstein
Como dissemos, a expressao (20.74) permite a seguinte interpretacao: a funcao G(x, t; y) pesa quao grande e a
influencia da condicao inicial u0 no ponto y sobre a solucao u no instante de tempo t > 0 na posicao x. Tendo essa
interpretacao em mente, salta aos olhos uma caracterstica da propagacao de calor regida por (20.78): uma alteracao no
valor de u0 proximo a um ponto y modifica instantaneamente a funcao u em todo x R, pois para todo t > 0 a funcao
G(x, t; y) e nao-nula para quaisquer x, y R.
Assim, perturbacoes nas condicoes iniciais propagam-se com velocidade arbitrariamente grande, revelando o car ater
n
ao-relativstico da propagacao de calor, tal como descrita pela equacao de difusao (20.68). Em outras palavras a equacao
(20.68) e a funcao de Green (20.73) n ao sao Einstein causais10 . Matematicamente isso se deve ao car ater n
ao-hiperbolico
da equacao de difusao (20.68) (que e uma equacao parabolica, como ja comentamos). Fisicamente isso e uma decorrencia
do fato de que na demonstracao da equacao de difusao (20.68) n ao sao levados em conta aspectos relativsticos que
impliquem uma propagacao de calor com velocidade inferior `a da luz. Uma versao da equacao de difusao compatvel com
a causalidade de Einstein deve ter da forma de uma equacao hiperb olica, como
2
u u 1 2u
D 2 2 = 0, (20.79)
t x2 C t
(com 0 < C c, c sendo a velocidade da luz) cuja funcao de Green G(x, t; y) tem suporte na regiao |x y| Ct, com
t > 0. Diversas equacoes da forma (20.79) tem sido propostas na literatura, sendo o assunto ainda controverso e objeto
de pesquisa11 .
A solucao de equacoes hiperb
olicas ainda mais gerais que a equacao (20.79) em 1 + 1-dimensoes e apresentada em
detalhe na Secao 20.10, p
agina 950, e com a solucao la apresentada fica explcito o car
ater Einstein-causal da solucao.
Como discutiremos adiante, essas quest oes sobre a natureza nao-Einstein causal da equacao (20.68) tem implicacoes
na discuss
ao sobre a unicidade da solucao (20.78).
A n
ao-unicidade de solu
c
ao. Um contra-exemplo de Tikhonov
A questao da unicidade da solucao apresentada em (20.72) para a equacao (20.68) sob a condicao inicial u(x, 0) = 0
e respondida negativamente atraves de um fascinante contra-exemplo encontrado por Tikhonov12 em 1935 (a referencia
completa e A. N. Tychonoff, Theor`emes dunicite pour lequation de la chaleur, Mat. Sbornic, Vol. 42, 157 (1935)).
Observemos que para a equacao de difusao em intervalos compactos a quest ao unicidade de solucao tem resposta positiva
para as condicoes de contorno mais comuns, tal como apresentado na Secao 16.6, p agina 783 (vide, em particular,
Proposicao 16.2, p
agina 784, ou sua generalizacao, Proposicao 16.7, p
agina 790).
10 A causalidade de Einstein e o princpio segundo o qual efeitos fsicos n
ao podem propagar-se com velocidade superior `
a da luz.
11 Algumas refer
encias sobre o tema:
C. R. Cattaneo, Sur une de lequation de la chaleur liminant le paradoxe dune propagation instantane, Compte. Rend. de LAcademie
des Sciences, Series I-Mathematics, 247 (4), 431433 (1958).
A. Barletta, E. Zanchini, Hyperbolic heat conduction and local equilibrium: a second law analysis, Int. J. Heat Mass Trans. 40 (5),
1007 (1997).
Y. M. Ali, L. C. Zhang, Relativistic heat conduction, Int. J. Heat Mass Trans. 48, 2397 (2005).
Y. M. Ali, L. C. Zhang, Relativistic moving heat source, Int. J. Heat Mass Trans. 48, 2741 (2005).
Seguindo proximamente a exposicao de [143], apresentaremos no que segue esse instrutivo contra-exemplo de Tikho-
nov. A supracitada referencia de Tikhonov de 1935 contem resultados ainda mais fortes, pois apresenta uma solucao
geral da equacao (20.68).
Sejam a e b R tais que 0 < a < b < e seja g : R R a funcao definida por
1 1 1
e 2 (za)2 + (zb)2 , para a < z < b ,
g(z) :=
0, para z a ou z b .
X
g (m) (Dt) 2m
(x, t) := x . (20.81)
m=0
(2m)!
tambem converge absoluta e uniformemente em compactos. Segundo a Proposicao 35.4, p agina 1661, isso mostra que
p+q
avel e que tp xq (x, t) e dada pelo lado direito de (20.82). Temos, portanto que
e infinitamente diferenci
X X
g (m+1) (Dt) 2m mm1 g (m) (Dt) 2m2
(x, t) = D x = D x
t m=0
(2m)! m=1
(2m 2)!
e que
X X
2 g (m) (Dt) 2m2 g (m) (Dt) 2m2
D 2
(x, t) = D x = D x .
x m=0
(2m 2)! m=1
(2m 2)!
2m2
2
Comparando as duas expressoes constatamos ter provado que t (x, t) = D x 2 (x, t) para todos x R e t R. Isso
prova que satisfaz a equacao de difusao (20.68), satisfazendo tambem a condicao inicial (x, 0) = 0 para todo x R.
Logo, tomando u dado em (20.78) e a funcao acima, conclumos que a funcao v = u + tambem satisfaz (20.68)
para todos x R e t > 0 e satisfaz lim v(x, t) = u0 (x) para todo x R, com o limite sendo uniforme, ou seja,
t0+
lim sup v(x, t) u0 (x) = 0. Assim, a solucao de (20.68) satisfazendo tambem a condicao inicial u(x, 0) = 0 n
ao e
t0+ xR
u
nica!
A solucao de (20.81) e identicamente nula ate t = a/D, entao torna-se n
ao-nula entre t = a/D e t = b/D, tornando-
se novamente identicamente nula para todo t > b/D. Se pensarmos no modelo de uma barra termicamente condutora
infinita e isolada, essa solucao e anti-intuitiva, pois n
ao se espera de uma barra isolada a temperatura zero que esta
espontaneamente adquira uma distribuicao de temperaturas nao-nula durante um intervalo finito e, depois do mesmo,
retorne ao estado de temperatura nula. O que explica essa solucao e o fato discutido acima de que, em problemas
de difusao como o aqui tratado, o calor pode propagar-se com velocidade arbitrariamente grande. Solucoes como a
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 898/2103
solucao de (20.81) representam situacoes nas quais existe uma fonte de calor no infinito que bombeia uma quantidade
(eventualmente infinita) de calor que chega a qualquer ponto da barra em um tempo finito. Essa fonte e ligada em
t = a/D e desligada em t = b/D. Em um certo sentido, uma tal situacao e n ao-fsica, mas n
ao pode ser excluda sem
maiores hipoteses, tais como aquelas apresentadas no Teorema 20.1, adiante.
***
onde G e H sejam funcoes real-analticas ou, mais genericamente, tais que as series de acima convirjam, sendo para tal
suficiente supor que existem [0, 2) e C > 0 tais que para todo n N0 valha |G(n) (z)| Cn! e para todo n N
valha |H (n) (z)| Cn 1!, para todo z R. Mostre que (20.83) e uma solucao da equacao de difusao (20.68). Essas
solucoes foram apresentadas por Tikhonov no trabalho supracitado.
Observe que (20.70) corresponde a uma solucao desse tipo com G(z) = z e H(z) = 0. 6
Condi
co
es para a unicidade de solu
c
ao
Vale neste ponto mencionar um teorema contendo condicoes suficientes para garantir unicidade de solucao do problema
de difusao que discutimos acima:
Teorema 20.1 Seja u : R R+ duas vezes diferenci
avel satisfazendo as seguintes condic
oes:
1. u satisfaz a equac
ao de difus
ao (20.68) para todos x R e t R+ .
2. limt0 u(x, t) = 0 uniformemente para x em compactos de R.
3. lim|x|0 u(x, t) = 0 uniformemente para t em qualquer intervalo compacto [0, T ].
Ent
ao, u(x, t) = 0 para todos x R e t R+ . 2
Uma demonstracao (simples) pode ser encontrada em [143]. Vide tambem e.g. [67].
20.3.3 A Evoluc
ao da Temperatura de uma Barra Semi-Infinita
Nesta secao estudaremos o uso da transformada de Laplace no estudo da equacao de difusao em R+ . Um problema
prototipo que estudaremos e o seguinte. Considere uma barra metalica semi-infinita de constante de difusao termica
D > 0, constante, localizada ao longo do semi-eixo positivo x 0. Consideraremos a idealizacao de tratar a barra
como um objeto unidimensional e consideraremos que a barra est a termicamente isolada, exceto na sua extremidade em
x = 0, onde pode trocar calor com algum banho termico. Desejamos determinar em cada instante t 0 a temperatura
u(t, x) do ponto da barra localizado na posicao x 0 supondo que a mesma esteja sujeita a certas condicoes de contorno
no ponto x = 0 (extremidade da barra) e a certas condicoes iniciais que fixem sua temperatura no instante t = 0:
u(0, x) = u0 (x), onde u0 e uma funcao dada.
Consideraremos aqui duas classes de problema, que diferem entre si pela natureza das condicoes de contorno. Na
primeira classe de problemas, que chamaremos de classe I, consideraremos que haja um fluxo de calor q(t) na extremidade
x = 0 da barra. Em particular nos interessaremos pela situacao na qual q(t) e constante: q(t) = q0 .
Na segunda classe de problemas, que chamaremos de classe II, consideraremos que a extremidade da barra em x = 0
esteja em contacto termico com um banho termico `a temperatura T (t), t 0. Em particular nos interessaremos pela
situacao na qual T (t) e constante: T (t) = T0 .
Os problemas da classe I consistem em determinar as solucoes da equacao de difusao
u 2u
D 2 = 0 (20.84)
t x
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 899/2103
e`
a condicao de contorno
u
(t, 0) = q(t) . (20.86)
x
Os problemas da classe II consistem em determinar as solucoes da equacao de difusao
u 2u
D 2 = 0 (20.87)
t x
para t 0 e x 0 com u(t, x) submetida `
a condicao inicial
e`
a condicao de contorno
u(t, 0) = T (t) . (20.89)
u
Notas. 1. A relaca
o (20.86) segue como conseq
uencia da observaca
o que a derivada parcial (t, x) representa o fluxo de calor que
x
atravessa o ponto x da barra no instante de tempo t, ou seja, a quantidade de calor que cruza x por unidade de tempo no instante t. Vide,
e.g. [72]. 2. Em ambos os casos acima h a uma condica o de contorno adicional que deve ser imposta, a saber, uma condica o de contorno no
infinito: que diz-nos que, para todo todo t 0 a funca
o u(t, x) deve ser limitada como funca
o de x. Tal condica
o reflete a expectativa fsica
de que a temperatura da barra n ao pode crescer arbitrariamente quando nos afastamos da fonte de calor em x = 0.
Como dissemos, vamos tratar desses dois problemas utilizando as chamadas transformadas de Laplace. Para isso
recordemos algumas de suas propriedades.
A Transformada de Laplace
Seja f : R+ C uma funcao. Definimos a transformada de Laplace de f , denotada por L[f ] como sendo a funcao
definida por Z
L[f ](s) = est f (t)dt , (20.90)
0
com s C. Esta definicao obviamente n ao pode ser lancada sem algumas consideracoes previas, pois e fundamental que
a integral do lado direito faca sentido, ou seja, que seja finita. Isso implica em restricoes `as funcoes f admissveis e aos
valores de s para as quais a definicao possa ser aplicada. Consideraremos aqui as funcoes f com a seguinte propriedade:
Existe um n umero real tal que Z
|f (t)|et dt < . (20.91)
0
Para uma tal funcao e claro que a transformada de Laplace e bem definida desde que Re(s) . Note que as funcoes
f com a propriedade acima n ao precisam ser limitadas, pois temos o exemplo da funcao f (t) = 1t , t > 0, que diverge
quando t 0 mas sem violar a condicao (20.91).
1. Linearidade. Sejam f e g duas funcoes satisfazendo (20.91) para algum R. A funcao f + g, com , C,
constantes, tambem satisfaz (20.91) para o mesmo R. Para verificar isso basta notar que
Z Z Z Z
t
t t
|f (t)+g(t)|e dt |||f (t)|+|||g(t)| e dt || |f (t)|e dt+|| |g(t)|et dt < ,
0 0 0 0
(20.92)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 900/2103
onde a u
ltima desigualdade segue da hip
otese que f e g satisfazem (20.91). Com isso, segue que L[f + g](s) est
a
bem definida para Re (s) e vale
Pela hipotese que f satisfaz (20.91) segue que lim f (t)est = 0. Da, segue imediatamente que
t
Z
L[f ](s) = f (0) + s dtf (t)est , (20.95)
0
ou seja,
L[f ](s) = sL[f ](s) f (0) . (20.96)
Esta relacao e extremamente u til nas aplicacoes da transformada de Laplace `a teoria das equacoes diferenciais.
Diramos que e a propria raz
ao-de-ser das transformadas de Laplace. Veremos adiante como fazer uso dela.
Para finalizar esse rapido resumo sobre as transformadas de Laplace, citemos a propriedade, dita
3. Propriedade de convoluc
ao: se f e g possuem uma transformada de Laplace, ent
ao
onde Z t
(f g)(t) := f (t )g( ) d . (20.98)
0
f g = gf (20.99)
e associatividade,
f (g h) = (f g) h . (20.100)
Resolu
c
ao de problemas da classe I
Retornemos agora aos problemas da classe I que discutimos acima e vamos tentar ataca-los fazendo uso da trans-
formada de Laplace. Consideremos a temperatura u(t, x), solucao de (20.84) com as condicoes iniciais e de contorno
correspondentes e vamos admitir, por ora sem justificativa, que L[u] e L[ u t ] estejam bem definidas (para, digamos,
s > 0). A justificativa pode ser apresentada a posteriori, quando nos confrontarmos com a solucao assim obtida.
Como u e uma funcao de duas variaveis, temos que precisar o que entendemos por L[u]. Aqui, L[u] representa a
transformada de Laplace em relacao `
a variavel t:
Z
L[u](s, x) = dt u(t, x)est . (20.101)
0
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 901/2103
(Note-se que podemos tambem definir uma transformada de Laplace em relacao `a variavel x, mas n
ao o faremos aqui).
Aplicando a transformada de Laplace a
` equacao (20.84) obtemos
2
u u
L (s, x) DL (s, x) = 0 . (20.102)
t x2
Usando a regra de derivacao da transformada de Laplace isso fica
2
u
sL [u] (s, x) u(0, x) DL (s, x) = 0 . (20.103)
x2
Tem-se tambem que
2u 2
L (s, x) = L[u](s, x) . (20.104)
x2 x2
2 s 1
L[u](s, x) L [u] (s, x) = u0 (x) . (20.105)
x2 D D
Esta e em geral uma equacao diferencial linear ordinaria (pois so envolve derivadas em relacao a x) n
ao-homogenea
1
(devido ao termo D u0 (x) do lado direito) para a funcao L[u](s, x). Sua solucao e fundamental para o metodo. Nao
vamos resolve-la aqui na sua forma mais geral mas, a ttulo de ilustracao, vamos faze-lo no caso em que u0 (x) 0, ou
seja, no caso em que a temperatura inicial da barra e zero em toda parte.
Com essa restricao, a equacao acima torna-se simplesmente
2 s
2
L[u](s, x) L [u] (s, x) = 0 , (20.106)
x D
cuja solucao geral e
xD s + xD s
L[u](s, x) = A(s)e + B(s)e , s>0, (20.107)
onde A(s) e B(s) sao funcoes limitadas arbitrarias a serem convenientemente escolhidas,
Passemos agora `a determinacao das funcoes A e B. A primeira observacao que fazemos e a seguinte: para uma
solucao u(t, x) fisicamente razoavel, ou seja, que satisfaca `a condicao de contorno no infinito lim u(t, x) < para
x
todo t 0 mencionada acima, devemos ter B(s) 0. Com o dito acima, a relacao (20.107) reduz-se a
x s
L[u](s, x) = A(s)e D , s > 0, (20.108)
Resta-nos determinar a funcao A(s), o que sera feito impondo-se as condicoes de contorno. O que fazemos para a classe
I e tomar a derivada em relacao a x de ambos os lados de (20.108), obtendo
Z
u st u s x s
L (s, x) = e (t, x) = A(s)e D , s>0, (20.109)
x 0 x D
u
Tomando-se x = 0, e lembrando que x (t, x) = q(t), ficamos com
1
A(s) = D L[q](s) . (20.110)
s
Portanto,
x
s
e D
L[u](s, x) = D L[q](s) . (20.111)
s
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 902/2103
E. 20.9 Exerccio. A equacao (20.113) expressa a solucao dos problemas da classe I para o caso em que u0 e identicamente
nula. Tente obter a solucao para o caso em que u0 e nao-nula. 6
Resolu
c
ao de problemas da classe II
Trataremos agora dos problemas de tipo II, adotando novamente u0 (x) 0. Seguindo os mesmos passos do caso I
chegamos novamente `
a relacao (20.108) e determinamos agora A(s) tomando x = 0 em ambos os lados, o que fornece
Assim,
x s
L[u](s, x) = L[T ](s) e D . (20.116)
Notemos, ent
ao, que " #
x2
xD
s x e 4Dt
e = L (s) , (20.117)
2 D t3/2
igualdade essa que se encontra demonstrada no Apendice 20.A, pagina 992. Logo, usando a propriedade de convolucao,
segue que
Z t x2
x e 4D
u(t, x) = T (t ) 3/2 d . (20.118)
2 D 0
Novamente temos acima a solucao para uma funcao T (t) arbitraria.
Consideremos o caso particular em que T (t) = T0 , constante, que corresponde `a condicao inicial na qual o extremo
da barra est
a em contacto com um reservatorio `a temperatura constante. Com a mudanca de variavel y = x4D 1/2
ficamos com
Z
2 2 x
u(t, x) = T0 ey dy , ou seja, u(t, x) = T0 1 erf , (20.119)
x 4Dt
4Dt
2
ex
E. 20.11 Exerccio. Usando a aproximacao assintotica para a funcao erf expressa em erf(x) 1
x
, valida para x
grande, obtenha uma aproximacao assint
otica para (20.119) quando x 4Dt. 6
E. 20.12 Exerccio. A equacao (20.118) expressa a solucao dos problemas da classe I para o caso em que u0 e identicamente
nula. Tente obter a solucao para o caso em que u0 e nao-nula. 6
20.4 A Equac
ao de Ondas
Nesta secao estudaremos as solucoes da equacao de ondas homogenea em diversas dimensoes espaciais. Para o tratamento
de equacoes de onda n
ao-homogeneas, vide Secao 20.10, p agina 950, e Secao 20.11.3.1, p
agina 965.
Estudaremos diversas solucoes de equacoes de ondas livres homogeneas em varias dimensoes sob diversos tipos de
condicoes de contorno. Comecemos falando algumas generalidades sobre as chamadas ondas estacion arias, muito
encontradas em problemas de interesse fsico.
Ondas estacion
arias
Dentre as diversas solucoes de equacoes de ondas, possuem particular interesse as chamadas soluc
oes de ondas
estacionarias. Trata-se, por definicao, de solucoes u ~x, t) que possuam a forma de um produto de uma funcao que
depende apenas da variavel temporal por uma funcao que depende apenas das variaveis espaciais, ou seja, da forma
u ~x, t) = T (t)E ~x . No caso da equacao de ondas livres homogenea
2u
c2 u = 0 , (20.121)
t2
com c > 0, constante, definida em R, com Rd , sendo uma regiao espacial aberta, o metodo de separacao de
variaveis (vide Secao 16.3, p
agina 739) ensina-nos que os fatores T e E de solucoes de ondas estacion
arias satisfazem as
equacoes
com sendo uma constante (dita de separacao). A constante e determinada pelas condicoes de contorno (de Neumann,
de Dirichet ou mistas, supondo-se tambem que essas condicoes sejam homogeneas e constantes) a serem fixadas na fonteira
espacial .
Fazemos notar que a equacao (20.123) e uma equacao de autovalores para o operador Laplaciano em sob as
condicoes de contorno desejadas em . A constante e um autovalor e a funcao E um correspondente autovetor.
Como tipicamente obtem-se autovalores positivos para tais problemas, a solucao de (20.122) e uma funcao harmonica
de frequencia c .
O interesse fsico em solu coes do tipo de ondas estacion
arias reside no fato de que, devido `a natureza de produto da
solucao, u ~x, t) = T (t)E ~x , todos
os pontos da onda oscilam harmonicamente com a mesma freque ncia c , sendo que
a amplitude de oscilacao, E(~x , depende apenas da posicao e n ao do tempo. Essa e a origem e raz ao da denominacao
onda estacion aria.
Solucoes do tipo de ondas estacion aria podem ocorrem em diversas outras situacoes fsicas, descritas por equacoes
que n
ao (20.121). Elas ocorrem de forma importante na Equacao de Schrodinger da Mecanica Qu antica n
ao-relativista.
L
a tambem o fator espacial E e autovetor de um operador, o operador Hamiltoniano, e os autovalores sao interpretados
como possveis nveis de energia do sistemas fsico correspondente.
Ondas estacion arias sao tambem por vezes denominadas modos normais de oscilacao. Caso a solucao T tenha um
comportamento exponencialmente crescente ou decrescente, as solucoes sao denominadas modos quase-normais. Tais
modos tipicamente ocorrem caso o autovalor possua uma parte imaginaria n ao-nula. Vide, porem, os Exerccios E.
20.48 e E. 20.49, p
aginas 983 e 983, respectivamente, para outras situacoes.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 904/2103
20.4.1 A Equac
ao de Ondas em 1 + 1 Dimens
oes
O exemplo da equa
c
ao de ondas em uma dimens
ao e a solu
c
ao de DAlembert
Um exemplo relevante de um problema de Cauchy13 e o de determinar a solucao da equacao de ondas em uma
dimensao espacial
2 u 2
2 u
c = 0, (20.124)
t2 x2
para c > 0 constante sendo a funcao u suposta satisfazer as condicoes iniciais (dados de Cauchy)
u
u(x, 0) = u0 (x) e (x, 0) = v0 (x) (20.125)
t
que fixam posicao e velocidade de u no instante t = 0, onde u0 e v0 sao funcoes dadas sobre as quais exigiremos apenas
que u0 seja duas vezes diferenci avel14 . O primeiro passo e passar a coordenadas caractersticas
avel e que v0 seja diferenci
+
= x + ct , = x ct , com o que x = et = .
2 2c
Definindo v por u(x, t) =: v(, ) = v (x + ct, x ct) a equacao (20.124) assume, como facilmente se constata, a forma
2v
= 0. (20.126)
Essa equacao pode ser facilmente resolvida. O fato de ela afirmar que a derivada parcial de v em relacao `a variavel
ser nula implica que v nao e uma funcao de , ou seja, v = A0 (), para alguma funcao A0 diferenci
avel. Essa
equacao, por sua vez, admite uma solucao geral da forma v(, ) = A() + B(), onde A e uma primitiva de A0 (isto e,
uma funcao tal que, A = A0 ) e B e diferenci
avel. Assim, temos que
Essa e a solucao geral da equacao de ondas (20.124). O termo A(x ct) representa uma onda que se propaga (sem se
deformar!) da esquerda para a direita com velocidade c e o termo B(x + ct) representa uma onda que se propaga (sem se
deformar!) da direita para a esquerda com velocidade c. As solucoes representadas pelas funcoes A(x ct) e B(x + ct)
sao denominadas ondas caminhantes ou ondas progressivas.
Ainda que n ao tenhamos mencionado, pode-se constatar retrospectivamente que e necessario supor que A e B sejam
funcoes duas vezes diferenci
aveis para que (20.127) seja uma solucao (forte, ou estrita) de (20.124). No caso de essa
condicao n
ao ser cumprida, podemos eventualmente ter em (20.127) uma solucao fraca.
Com (20.127), as condicoes iniciais implicam que para todo z R
u0 (z) = A(z) + B(z) e v0 (z) = c B (z) A (z) .
valida para todos x, t R. A equacao (20.128) expressa a solucao de (20.124) diretamente em termos dos dados de
Cauchy (20.125) e e denominada soluc ao de DAlembert15 da equacao de ondas (20.124) sob (20.125). A expressao
(20.128) fornece uma solucao cl assica de (20.124), como facilmente se verifica, sob a condicao que u0 seja duas vezes
diferenci avel e v0 seja diferenci
avel. Se essas condicoes forem enfraquecidas em pontos isolados teremos em (20.128) uma
solucao fraca.
A solucao (20.128) sera reobtida na Secao 20.10, p
agina 950, quando resolvermos uma equacao mais geral que (20.124)
usando metodos de resolucao de equacoes integrais.
Uma outra conclusao que se pode tirar da solucao de DAlembert (20.128) e que o problema de resolver (20.124) sob
as condicoes de Cauchy (20.125) depende continuamente dos dados de Cauchy u0 e v0 , continuidade entendida aqui em
uma topologia conveniente (por exemplo, aquela definida pela metrica do supremo das funcoes em R). Assim, o problema
(20.124)-(20.125) e um problema bem-posto.
A fun
c
ao de Green para as condi
co
es iniciais
Para futura referencia mencionamos que a solucao de DAlembert (20.128) pode ser re-escrita na forma
Z x+ct Z x+ct
1 1
u(x, t) = u0 (x ) dx + v0 (x ) dx ,
2c t xct 2c xct
com t 0, ou seja, Z Z
u(x, t) = G(x, t, x )u0 (x ) dx + G(x, t, x )v0 (x ) dx , (20.129)
t
onde, para t 0,
1
, se x ct x x + ct ,
2c
G(x, t, x ) := (20.130)
0, de outra forma.
Verifique! Note que G tem suporte na regi ao |x x | c|t|. As expressoes acima sao validas para u0 e v0 localmente
ao de Green16 do problema de valor inicial em quest
integraveis. A funcao G e denominada func ao. A funcao G contem
em si a informacao de como os valores das condicoes iniciais no ponto x influenciam a solucao no ponto x no instante
de tempo t. Expressoes semelhantes ` a (20.129) sao validas na solucao da equacao de ondas em duas e tres dimensoes
espaciais. Vide exemplos adiante.
A equa
c
ao de ondas e o princpio de propaga
c
ao com velocidade finita
Coloquemo-nos agora a seguinte quest ao. Se fizermos modificacoes nas condicoes iniciais u0 e v0 (em t = 0) em
pequenas regioes, digamos, com um certo abuso, em um ponto, irao essas modificacoes afetar o valor de u na posicao x
no instante t > 0? Contemplando a solucao de DAlembert (20.128), vemos que so afetar ao u(x, t) as modificacoes feitas
em u0 nas posicoes x ct e as modificacoes feitas em v0 em todo o intervalo (x ct, x + ct). Modificacoes fora dessas
regi ao afetam u na posicao x no instante t > 0. Assim, o valor de u na posicao x no instante t > 0 e causalmente17
oes n
afetado apenas pelo que ocorre no intervalo espacial [x ct, x + ct] do instante t = 0, sendo que no caso da condicao
f , apenas pelo que ocorre nos extremos desse intervalo. Esse intervalo da superfcie inicial do qual u(x, t) depende e
denominado domnio de dependencia de u(x, t).
Se as condicoes iniciais tivessem sido fixadas em um instante t < t evidentemente concluiramos que so afetariam o
valor de u(x, t) os valores de u0 e v0 contidos no intervalo [x c(t t ), x + c(t t )]. Generalizando, conclumos que
so poderao afetar o valor de u(x, t) os valores de condicoes iniciais fixados dentro do fecho do cone de luz passado com
vertice em (x, t), V(x, t) , definido por
n o
V(x, t)
:= (x , t ) R2 , (t t )2 c2 (x x )2 > 0 , t < t .
t
+
V
(x, t)
(x, t)
V
(x, t)
x
+
Figura 20.5: Os cones de luz futuro V(x, t) e passado V(x, t) com v
ertice em (x, t). A figura tambem indica (linhas em
+
negrito) as respectivas fronteiras: V(x, t) e V(x, t) .
Essa caracterstica da equacao de ondas e comum a todas as equacoes de tipo hiperb olico (para a definicao, vide
adiante). Omitiremos a demonstracao dessa afirmacao aqui. Devido `a natureza hiperb olica de todas as equacoes fsicas
fundamentais18 , a nocao de que eventos em um ponto (x, t) so podem ser afetados por eventos ocorridos no fecho de seu
cone de luz passado V(x, t)
e denominado princpio de propagacao com velocidade finita. No contexto do Eletromagnetismo
e da Teoria de Campos esse e um princpio fsico fundamental e e denominado princpio de causalidade de Einstein19 .
Trata-se de um princpio com conseq uencias fundamentais no domnio da Teoria da Relatividade Geral e na Teoria
Quantica de Campos.
+
Definimos analogamente o cone de luz futuro com vertice em (x, t), V(x, t) , por
n o
+
V(x, t)
:= (x , t ) R2 , (t t )2 c2 (x x )2 > 0 , t > t .
+
O mesmo princpio de causalidade afirma que eventos ocorridos em (x, t) so podem afetar eventos contidos em V(x, t) ,
que e tambem denominado domnio de influencia de (x, t).
Igualmente importante e a fronteira dos cones V(x, t) , denotadas por V(x, t) e dadas por
n o n o
+
V(x, t) = (x , t ) R2 , (tt )2 c2 (xx )2 = 0, t t e V(x, t) = (x , t ) R2 , (tt )2 c2 (xx )2 = 0, t t .
Em espacos com dimensao espacial 3, 5, 7, ou qualquer n umero mpar diferente de 1, ocorre que mudancas em ambas
as condicoes inicial u(~x, 0) e u
t (~
x , 0) no ponto (~
x , 0) propagam-se para o futuro ao longo de V(~+
x, 0) . Esse fen
omeno e
21
denominado Princpio de Huygens .
Em espacos com dimensao espacial 2, 4, 6, ou qualquer n umero par, ocorre que mudancas em ambas as condicoes
+
inicial u(~x, 0) e u
t (~
x , 0) no ponto (~
x , 0) propagam-se para o futuro ao longo de V(x, 0) . O caso de uma dimens ao
espacial, como comentamos acima, e especial, pois vale o princpio de Huygens para a condicao inicial u(x, 0) mas n ao
para a condicao inicial ut (x, 0). Mais adiante veremos de forma expl
cita o que ocorre em 3 + 1 e 2 + 1 dimensoes. Para
uma discuss ao detalhada do princpio de Huygens em varias dimensoes e mesmo para famlias mais gerais de equacoes
que as equacoes de ondas, vide [52], Captulo VI, [252] ou [67].
20.4.2 Interl
udio: Ondas Caminhantes e a Equac
ao do Tel
egrafo
A equa
c
ao do tel
egrafo
Sob hipoteses adequadas, a equacao diferencial que rege uma linha de transmissao eletrica e a chamada equac
ao do
telegrafo
2u 2
2 u u
2
c 2
+ + u = 0 , (20.131)
t x t
onde u(x, t) pode representar o potencial (em relacao `a terra) no ponto x no instante t da linha (suposta idealmente
unidimensional e homogenea) ou a corrente eletrica nesse mesmo ponto, e onde as constantes c, e relacionam-se com
par ametros fsicos da linha atraves das seguintes equacoes:
1 +
c = , = e = , (20.132)
sendo a resistividade (resistencia por unidade de comprimento) do fio condutor que compoe a linha, a indutancia por
unidade de comprimento da linha, a capacitancia por unidade de comprimento da linha e sendo a condutividade
(inverso da resistencia) por unidade de comprimento associada `as perdas de corrente da linha ao ambiente produzidas
por imperfeicoes do isolamento eletrico do fio condutor que a compoe (perdas essas que n ao podem ser desprezadas em
linhas de transmissao de longas distancias). A equacao (20.131)(20.132), provavelmente obtida pela primeira vez por
William Thomson22 , futuro Lord Kelvin, descreve bem tanto linhas de transmissao de potencia (como aquelas que saem
das grandes usinas de energia eletrica), quanto linhas de transmissao telegrafica e telefonica, como cabos continentais ou
submarinos de comunicacao, existentes desde meados do seculo XIX.
de se observar que, segundo (20.132), as constantes c, e sao estritamente positivas em situacoes realistas, o que
E
assumiremos no que segue.
A deducao de (20.131)(20.132) n
ao e difcil, sendo para tal empregados alguns dos princpios b
asicos do Eletromag-
netismo, como a Lei de Inducao de Faraday23, a Lei de Kirchhoff24 etc. Uma deducao de (20.131)(20.132) pode ser
acompanhada, por exemplo, em [72].
A solucao do problema de Cauchy da equacao (20.131) e discutida na Secao 20.10, pagina 950, como caso particular
da equacao la tratada. Aqui vamos considerar a equacao (20.131) na semi-reta x > 0, tendo por objetivo descrever uma
situacao na qual um sinal (de telegrafo, de telefone etc) e produzido em x = 0, propagando-se para a regiao x > 0. A
equacao (20.131) e uma equacao hiperb olica mas, ao contrario da equacao de ondas, equacao (20.124), a equacao do
telegrafo nao apresenta solucoes na forma de ondas caminhantes do tipo f (x c0 t) (que se propagam sem deformacao da
esquerda para direita com velocidade c0 , para algum par ametro c0 > 0) e que possuam caractersticas fsicas razo
aveis.
Isso e melhor entendido no exerccio que segue.
21 ChristiaanHuygens (16291695).
22 William Thomson (18241907).
23 Michael Faraday (17911867).
24 Gustav Robert Kirchhoff (18241887).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 908/2103
E. 20.14 Exerccio-dirigido. Considere que exista uma funcao f tal que u(x, t) = f (x c0 t) seja solucao de (20.131)
(para c > 0, > 0 e > 0) na regiao x > 0 para alguma constante c0 > 0. Mostre que f satisfaz a equacao diferencial
ordinaria linear a coeficientes constantes
c20 c2 f c0 f + f = 0 .
Ha varios casos a considerar.
I. Caso c0 = c a solucao dessa equacao e (a menos de uma constante multiplicativa) f (s) = e c0 s , fornecendo para
(20.131) a solucao
u(x, t) = e c0 (xct) .
Para cada t essa solucao diverge em x , o que significa que uma tal solucao requer energia infinita para ser
produzida.
II. Caso c0 6= c, mostre que a solucao dessa equacao e da forma
f (s) = A+ e+ s + A e s ,
que tambem diverge em x para cada t, uma situacao desinteressante pelas razoes ja expostas.
IIb. Caso c0 < c. Nesse caso, sao ambas reais, com + sendo sempre negativa e sempre positiva. Justifique!
Assim, escolhendo A = 0 teremos interesse pela solucao
u(x, t) = A+ e+ (xct)
para (20.131), a qual decai a zero para x . Porem, para cada x 0 essa solucao diverge quando t ,
indicando que para que a mesma seja produzida uma energia ilimitada deve ser dispendida pela fonte (situada,
digamos, em x = 0) ao longo do tempo.
Da analise dos casos acima constata-se que (20.131) nao exibe solucoes que se propagam sem se deformar com velocidade
finita a partir de uma fonte localizada em x = 0 e que sejam produzidas com energia finita. E de se notar tambem que, ao
contrario da equacao de ondas (20.124), nao ha aqui solucoes na forma f (x c0 t) para funcoes f arbitrarias, apenas para
certas funcoes f especficas. Assim, nao ha a possibilidade, mesmo com energia infinita `a disposicao, de se ter transmissao de
sinais arbitrarios e que se propaguem com velocidade definida e sem deformacao. 6
A situacao descrita acima apresentava um obstaculo ao uso de linhas de transmissao para o envio de sinais a longas
distancias pois, em n ao havendo solucoes na forma de ondas caminhantes do tipo f (x c0 t), a transmissao de sinais
seria realizada com perdas e, mais grave, com distorcoes que por vezes limitavam severamente o volume de informacao
que pode ser transmitidas por unidade de tempo (um serio problema pratico e financeiro em telegrafos). De fato, um
primeiro cabo telegrafico transatlantico conectando a Europa `a America do Norte (mais especificamente, ligando a ilha
de Valentia na Irlanda ` a Newfoundland no Canad a, uma distancia de 4.500km) completado em 5 de agosto de 1858
fracassou em transmitir mensagens compreensveis. Apos quatro semanas frustradas, tentou-se o envio de sinais de alta
tensao (da ordem de 2.000 Volts), o que conduziu ` a destruicao do cabo, levando a uma perda de 2.500 toneladas de cobre
e a um prejuzo de 350.000 em valores da epoca [143].
Importantes contribuicoes para a melhora da eficiencia da transmissao e da recepcao dos sinais por linhas telegraficas
(incluindo o uso de cabos de cobre mais puro, com menor resistividade e dotados de melhor isolamento eletrico, para
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 909/2103
reduzir perdas) foram dadas nos anos seguintes, notadamente por William Thomson25 . Entre 1865 e 1866 dois novos
cabos transatlanticos foram construdos conectando a Europa `a America do Norte, implementando diversas melhorias.
Seu sucesso inaugurou uma nova era de comunicacoes rapidas a longa distancia, cuja import arios26.
ancia dispensa coment
Dentre os aperfeicoamentos que conduziram ` a melhora da transmissao de sinais eletricos em cabos de longa distancia
h
a um que particularmente concerne ` a nossa tematica presente. A existencia de dissipacao no sistema descrito por
(20.131) (notadamente nos dois ultimos termos daquela equacao) tornam inevitavel uma perda de sinal com a distancia.
Podemos ent ao nos perguntar se nao haveria solucoes para (20.131) na forma
u(x, t) = ex f (x c0 t) , (20.133)
com e c0 constantes e f arbitraria. Como se ve, trata-se de uma onda caminhante com velocidade c0 , exponencialmente
amortecida com a distancia. Como u(0, t) = f (c0 t), podemos identificar a funcao f com o sinal a ser transmitido,
produzido em x = 0. Uma solucao como (20.133), se houver, seria ainda de interesse, pois permitiria ainda um re-
conhecimento do sinal original (codificado na funcao f ), transmitido sem distorcao (eventualmente apos um processo
de amplificacao da parte do receptor para corrigir o efeito do fator de amortecimento ex ). Substituindo (20.133) em
(20.131), obtemos
2u 2 h i
2 u u 2 2 2 2 2
c + + u = c 0 c f (x c 0 t) + 2c c 0 f (x c 0 t) + c f (x c 0 t) ex .
t2 x2 t
Verifique! A condicao necessaria e suficiente para que o lado direito seja identicamente nulo para uma funcao f arbitraria
(duas vezes diferenciavel) e que cada um dos fatores entre parenteses se anule (justifique!), ou seja, que valha
2
c0 = c , = e = .
2c 4
Note-se que a ultima igualdade relaciona apenas par ametros de (20.131) e, portanto, n
ao e toda e qualquer linha de
transmissao que pode apresentar solucoes como (20.133), na forma de ondas caminhantes exponencialmente amortecidas,
2
apenas aquelas para as quais = 4 , em cujo caso (20.133) assume a forma
u(x, t) = e 2c x f (x ct) ,
2
com f arbitraria (duas vezes diferenciavel). Usando-se (20.132), e facil constatar que a condicao = 4 equivale `a
seguinte condicao entre os par
ametros fsicos da linha de transmissao:
= . (20.134)
Essa relacao, obtida em 1887 por Heaviside27 , pode ser satisfeita por uma escolha conveniente do material que compoe
o cabo de transmissao e seus par
ametros geometricos, ou por adicao periodica de indutores `a linha de transmissao.
denominadas s olitons em Fsica28 , termo cunhado por Kruskal29 e Zabusky30 em um celebre trabalho de 196531. A
primeira observacao emprica desse fenomeno data aparentemente do ano de 1834 e foi feita pelo engenheiro naval John
Scott Russell32 enquanto o mesmo cavalgava ao longo de um canal na Esc ocia, denominado Union Canal (ou Edinburgh
and Glasgow Union Canal), conduzindo testes. Em uma nota publicada dez anos mais tarde33 , Russell descreve sua
observacao com as seguintes palavras, repetidamente citadas desde ent
ao:
I was observing the motion of a boat which was rapidly drawn along a narrow channel by a pair of horses, when the boat
suddenly stopped - not so the mass of water in the channel which it had put in motion; it accumulated round the prow of
the vessel in a state of violent agitation, then suddenly leaving it behind, rolled forward with great velocity, assuming the
form of a large solitary elevation, a rounded, smooth and well-defined heap of water, which continued its course along the
channel apparently without change of form or diminution of speed. I followed it on horseback, and overtook it still rolling
on at a rate of some eight or nine miles an hour, preserving its original figure some thirty feet long and a foot to a foot
and a half in height. Its height gradually diminished, and after a chase of one or two miles I lost it in the windings of the
channel. Such, in the month of August 1834, was my first chance interview with that singular and beautiful phenomenon
which I have called the Wave of Translation.
A explicacao do fenomeno observado por Russell foi primeiramente apresentada por Boussinesq34 em 187135 e por
Lord Rayleigh36 em 187637, o qual menciona em seu trabalho a antecedencia de Boussinesq. Uma marcante contribuicao
posterior foi apresentada pelos matematicos holandeses Korteweg38 e de Vries39 em um trabalho de 189540, os quais
propuseram e analisaram uma equacao diferencial parcial para descrever ondas n ao-lineares em canais rasos, a qual
passou a ser conhecida como equac
ao de Korteweg-de Vries ou, abreviadamente, equac
ao KdV, a equacao (16.14), p
agina
730 (vide adiante).
Posteriormente, a existencia de solitons foi observada em diversos outros sistemas. Na segunda metade do seculo XX
solitons encontraram in umeras aplicacoes em Fsica, como na Mecanica dos Fluidos, na Teoria Qu antica de Campos,
na Mecanica Qu
antica, na Fsica Estatstica, na Optica em meios nao-lineares. Nesse u
ltimo ramo, solitons alcancaram
aplicacoes de natureza tecnologica, sendo empregados no transporte de informacao a grandes distancias atraves de fibras
opticas, uma proposta surgida t
ao recentemente quanto nos anos de 1970 e implementada t ao recentemente quanto no
final dos anos 1980.
Nesta breve secao vamos ilustrar a existencia de solitons em alguns exemplos de interesse. H
a uma extensa literatura
sobre solitons e dela destacamos para o leitor interessado as referencias [59], [139], [148] e [264]. Para solucoes com
multiplos solitons, vide particularmente [1].
20.4.3.1 S
olitons na Equac
ao de Korteweg-de Vries
Vamos considerar a equac
ao de Korteweg-de Vries (16.14) (tambem denominada equac
ao KdV) na sua forma (16.15):
u 3 u u
+ 3
+ 6u = 0 (20.135)
t x x
28 H
a uma definica
o matematicamente precisa dessa noca o, sobre a qual nao elaboraremos aqui.
29 Martin David Kruskal (19252006). Al em de suas contribuico es `
a teoria dos s
olitons, Kruskal
e tambem conhecido por uma importante
soluca
o das Equacoes de Einstein da Teoria da Relatividade Geral.
30 Norman J. Zabusky (1929).
31 N. J. Zabusky and M. D. Kruskal, Interaction of Solitons in a Collisionless Plasma and the Recurrence of Initial States. Phys. Rev.
de sua epoca, o qual, devido ao seu tamanho u nico, foi utilizado para o lancamento do supracitado cabo transatl antico de 1866, conectando
a Europa ` a Am erica do Norte.
33 J. Scott Russell. Report on waves, Fourteenth Meeting of the British Association for the Advancement of Science, 1844.
34 Joseph Valentin Boussinesq (18421929).
35 Duas refer
encias nesse contexto sao: Joseph Boussinesq, Th eorie de lintumescence liquide, appelee onde solitaire ou de translation, se
propageant dans un canal rectangulaire, Comptes rendus de lAcad emie des sciences, vol. 72, 755759 (1871) e Joseph Boussinesq, Th eorie
des ondes et des remous qui se propagent le long dun canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des
vitesses sensiblement pareilles de la surface au fond, Journal de Math ematique Pures et Appliqu ees, Deuxi`
eme Serie, vol. 17, 55108 (1872).
36 John William Strutt, terceiro Bar ao de Rayleigh (18421919).
37 O referido trabalho e: Lord Rayleigh, On waves. Philosophical Magazine, ser. 5, vol. 1, no. 4: 257279 (1876).
38 Diederik Johannes Korteweg (18481941).
39 Gustav de Vries (18661934).
40 D. J. Korteweg and G. de Vries, On the Change of Form of Long Waves Advancing in a Rectangular Canal and on a New Type of Long
e procuremos para (20.135) solucoes na forma de ondas caminhantes u(x, t) = f (x c0 t) para x R e t R, para
alguma funcao f e alguma constante c0 . Inserindo o Ansatz u(x, t) = f (x c0 t) em (20.135), obtem-se f (x c0 t) +
6f (x c0 t)f (x c0 t) c0 f (x c0 t) = 0. Verifique! Escrevendo s := x c0 t, procuramos, portanto, solucoes f da
equacao diferencial ordin aria
f (s) + 6f (s)f (s) c0 f (s) = 0 (20.136)
para todo s R. Trata-se de uma equacao de terceira ordem e n ao-linear. Para resolvermos (20.136) seguiremos um
procedimento comummente usado na resolucao de equacoes ordinarias, a saber, procuramos transformar (20.136) em
uma equacao de ordem menor.
d
Observe-se em primeiro lugar que (20.136) pode ser reescrita como f (s) + 3 ds f (s)2 c0 f (s) = 0 ou seja,
d
f (s) + 3f (s)2 c0 f (s) = 0 ,
ds
o que implica
f (s) + 3f (s)2 c0 f (s) = a , (20.137)
para alguma constante a. Multiplicando-se (20.137) por f (s), obtemos f (s)f (s) + 3f (s) f (s) c0 f (s)f (s) = af (s),
2
que equivale a
d 1 2 c0
f (s) + f (s)3 f (s)2 af (s) = 0 ,
ds 2 2
o que, por sua vez, implica
2
f (s) + 2f (s)3 c0 f (s)2 2af (s) = b (20.138)
para alguma constante b. Essa e uma equacao de primeira ordem equivalente `a equacao de terceira ordem (20.136).
No que segue, obteremos n ao a solucao geral de (20.138) (o que n
ao e difcil, por integracao, fornecendo a solucao em
termos de funcoes elpticas), mas nos interessaremos por solucoes especficas que satisfacam
(ou, equivalentemente, a mesma condicao com s substituda por s ). Como veremos, essas condicoes (que
representam condicoes de contorno em +) correspondem a solucoes essencialmente localizadas em uma regiao finita e
que decaem rapidamente a zero em .
A imposicao de (20.139) a (20.137) implica a = 0 e a (20.138) que b = 0. Ficamos assim restritos a resolver a equacao
2
f (s) = c0 f (s)2 2f (s)3 ,
p
que equivale ao par de equacoes f (s) = c0 f (s)2 2f (s)3 . Como a troca de sinais equivale `a troca s s, e
suficiente resolvermos uma das equacoes, por exemplo
p
f (s) = c0 f (s)2 2f (s)3 , (20.140)
como solucao de (20.140) satisfazendo (20.139). Portanto, a solucao procurada para a equacao de Korteweg-de Vries
(20.135) e
c0 1
u(x, t) = h i2 . (20.141)
2 c
cosh 2 0 x c0 t x0
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 912/2103
u u
c0
c0
x x
Figura 20.6: As duas figuras reproduzem o perfil de solitons do tipo (20.141) da equacao de Korteweg-de Vries em um
dado instante de tempo para dois valores de c0 . O valor de c0 na figura do lado esquerdo e menor que na do lado direito.
Aumentando-se c0 aumentam a velocidade de fase da onda e sua a amplitude, mas seu perfil torna-se mais estreito.
E. 20.15 Exerccio. Procedendo de forma analoga `aquela que empregamos no tratamento da equacao de Korteweg-de Vries
obtenha solucoes solitonicas para a equacao
u 3 u u
+ + 6u2 = 0, (20.142)
t x3 x
denominada equacao de Korteweg-de Vries modificada, ou equacao MKdV. 6
20.4.3.2 S
olitons na Equac
ao de Sine-Gordon
Uma outra equacao a derivadas parciais relevante que exibe solucoes do tipo de solitons e a chamada equac
ao de Sine-
Gordon, equacao (16.13), p
agina 729:
2 u 2 u
2
c2 2 + sen (u) = 0 , (20.143)
t x
com c > 0, > 0. Essa equacao ocorre em diversos sistemas fsicos, entre eles, uma cadeia de pendulos identicos
harmonicamente acoplados suspensos em um campo gravitacional constante.
Seguindo os passos do tratamento que demos logo acima `a equacao KdV, procuremos para (20.143) solucoes da forma
u(x, t) = f (x c0 t) para alguma funcao f e alguma constante c0 > 0. Da equacao (20.143) obtemos para f a equacao
diferencial
c2 c20 f (s) sen f (s) = 0 ,
novamente com s = x c0 t. Para resolver essa equacao vamos transforma-la em uma equacao de primeira ordem.
2
Multiplicando-a por f (s) e usando os fatos que f (s)f (s) = 21 ds
d d
f (s) e que f (s) sen f (s) = ds cos f (s) ,
obtemos !
d c2 c20
2
f (s) + cos f (s) = 0,
ds 2
o que implica
c2 c20 2
f (s) + cos f (s) = a (20.144)
2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 913/2103
para alguma constante a. N ao vamos no que segue procurar a solucao geral dessa equacao, mas apenas aquelas que
satisfacam as seguintes condicoes:
lim f (s) = lim f (s) = 0 .
s s
2
c2 c2
Impondo essas condicoes a (20.144) obtemos a = . Com isso (20.144) fica 2 0 f (s) + cos f (s) 1 = 0, que
tambem pode ser escrita como 2
c2 c20 2 f (s)
f (s) = 2 sen . (20.145)
2 2
Observe-se que, como > 0, essa equacao so e possvel para |c0 | < c, o que suporemos doravante.
q
f (s)
as equacoes f (s) = 2 c2 c
A equacao (20.145) equivale ` 2 sen 2 . Como a troca de sinais corresponde `a troca
0
s s, consideraremos apenas a equacao
s
f (s)
f (s) = 2 sen .
c2 c20 2
Dela obtemos s
Z
df
= 2 s x0 , (20.146)
sen f (s) c2 c20
2
y
4e
com x0 sendo uma constante de integracao. Com a mudanca de variaveis f = 4 arctan(ey ) teremos df = 1+e 2y dy e
y R R q
f 2e df
sen 2 = 1+e2y . Verifique! Assim, f (s) = 2 dy = 2y (verifique!) e obtemos de (20.146) que y = c2 c2 sx0 .
sen ( 2 ) 0
Logo, r !
sx0
c2 c2
f (s) = 4 arctan e 0
20.4.3.3 S
olitons no Modelo de Poco-Duplo
O tratamento que demos acima `
a equacao de Sine-Gordon pode ser estendido a uma classe de equacoes com caractersticas
semelhantes `aquela.
Seja V : R R uma funcao nao-negativa (isto e, V (u) 0 para todo u R) diferenci
avel, com um mnimo em u0
onde valha V (u0 ) = 0. Dizemos que V e o potencial do problema tratado. Considere-se a equacao a derivadas parciais
2 u 2
2 u
c + V (u) = 0 , (20.148)
t2 x2
onde V e a derivada de V . Se procurarmos para essa equacoes solucoes na forma de ondas caminhantes como u(x, t) =
f (x c0 t) para alguma funcao f duas vezes diferenciavel e algum c0 > 0, obtemos para f a equacao
c2 c20 f (s) V f (s) = 0 ,
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 914/2103
c0
Figura 20.7: O perfil do soliton (20.147) da equacao de Sine-Gordon em um dado instante de tempo. A funcao interpola
0 a 2 quando x vai de a +. A velocidade de fase e c0 < c. Fazendo c0 aproximar-se de c aumenta a velocidade
de fase da onda e seu perfil torna-se mais estreito.
d c2 c20
2
com s = x c0 t. Multiplicando essa expressao por f obtemos ds 2 f (s) V (f (s)) = 0, de onde se extrai
c2 c20 2
f (s) V (f (s)) = a (20.149)
2
para alguma constante a. Vamos agora considerar apenas as solucoes que satisfazem as segintes condicoes de contorno
em s :
lim f (s) = 0 e lim f (s) = u0 ,
s s
onde, recordando, u0 e tal que V (u0 ) = 0, um mnimo do potencial. De (20.149) segue que a = 0 e, assim, conclumos
que
c2 c20 2
f (s) = V f (s) . (20.150)
2
Como V e nao-negativo conclumos que c0 < c. Disso obtemos
s
q
2
f (s) = 2 2 V f (s) .
c c0
com x0 sendo uma constante de integracao. Determinando a integral do lado esquerdo podemos eventualmente obter a
2
solucao f (s) desejada. Foi o que foi feito no caso da equacao de Klein-Gordon com V (u) = 2 sen f (s)
2 (compare
(20.150) com (20.145)) e e o que faremos no exemplo a seguir.
O caso do potencial de po
co-duplo
Vamos ilustar isso no caso do chamado potencial de poco-duplo, de interesse na Fsica Qu
antica. Trata-se do caso em
que
2
V (u) = u2 2 , (20.152)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 915/2103
onde > 0 e > 0. Vide Figura 20.8, p agina 915. Aqui adotamos u0 = como o ponto onde o potencial e mnimo.
Como V (u) = 4u3 42 u (verifique!), a esse potencial corresponde a equacao a derivadas parciais n
ao-linear
2 u 2
2 u
c + 4u3 42 u = 0 , (20.153)
t2 x2
por vezes denominada equac
ao do potencial de poco-duplo. Nesse caso (20.151) fica
Z s
df 2
= (s x0 ) .
2
f 2 c c20
2
q
22
A integral do lado esquerdo vale 1 argtanh f / , do que obtemos f (s) = tanh c2 c20
(s x0 ) , que corresponde
a solucao solitonica
` s !
22
u(x, t) = tanh x c0 t x0 ,
c2 c20
para a equacao do potencial de poco-duplo (20.153). Essa solucao interpola para cada t os valores e +, os dois
mnimos absolutos de V , quando x vai de a +.
Figura 20.8: Grafico do potencial de poco duplo (20.152), com mnimos absolutos em .
20.4.3.4 S
olitons na Equac
ao de Schr
odinger N
ao-Linear
A equacao de Schrodinger n
ao-linear em uma dimensao
u ~2 2 u
i~ = + g|u|2 u , (20.154)
t 2m x2
com g R, m e ~ positivos, admite solucoes do tipo soliton, as quais sao de interesse em telecomunicacoes (especi-
ficamente, para a propagacao de sinais eletromagneticos em fibras opticas) e no estudo dos chamados condensados de
Bose-Einstein. No que segue vamos descrever como obter tais solucoes solitonicas (ha essencialmente apenas duas que
tem interesse fsico e tecnol
ogico).
Escrevendo u na forma polar u = ei , com e reais, obtemos de (20.154) apos separarmos as partes real e
imaginaria, o par de equacoes
~ ~
t = x x xx , (20.155)
m 2m
~ ~ 2 g
t = xx x 3 . (20.156)
2m 2m ~
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 916/2103
~
t = x , (20.157)
m
2mg 3 2m
xx = + + 2 . (20.158)
~2 ~
(x, t) = f (x c0 t) (20.159)
~
c0 = ,
m
ou seja, tem a forma de uma onda caminhante com velocidade de fase c0 . Com isso, vemos que estamos lidando com
solucoes u para (20.154) da forma
u(x, t) = f (x c0 t) ei(x+t) . (20.160)
Com (20.159) a equacao (20.158) fica
2mg 2m
f (s) = f (s)3 + 2
+ f (s) , (20.161)
~2 ~
A partir deste ponto diversas condicoes distintas devem ser consideradas e iremos nos concentrar naquelas de conduzem
aos resultados que nos interessam no presente contexto.
I. Caso a = 0.
Se impusermos condicoes de contorno em s do tipo
lim f (s) = 0 e lim f (s)4 + f (s)2 = 0
s s
ent
ao (20.162) implica a = 0 e (20.162) torna-se
2
f (s) = f (s)4 + f (s)2 . (20.163)
Note-se que essa equacao e impossvel se < 0 e < 0. Como nos interessamos pelo caso em que o termo n
ao-linear
de (20.154) est
a presente, ou seja, g 6= 0, temos 6= 0. H a, quatro casos a considerar.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 917/2103
II. Caso a 6= 0.
Dentre todos os casos possveis vamos nos interessar por um especificamente, a saber, aquele no qual > 0 e < 0.
A relacao (20.162) se escreve
2
2 4 2 2 || ||2
f (s) = f (s) ||f (s) + a = f (s) +a . (20.165)
2 4
Se impusermos condicoes de contorno em s do tipo
r
||
lim f (s) = 0 e lim f (s) = ,
s s 2
||2
ent
ao (20.165) implica a = 4 e ficamos com
2
2 ||
f (s) = f (s)2 , (20.166)
2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 918/2103
R df
Consideremos, portanto a equacao f (s) = f (s)2 ||
2 . Temos = (s x0 ). Com a mudanca
f 2 ||
q R df q R q 2
de variaveis f = ||
2 y obtemos 2 || = 2
||
dy
1y 2 = 2
|| argtanh (y). Logo,
f 2
r r !
|| ||
f (s) = tanh (s x0 ) . (20.167)
2 2
Essa expressao conduz a uma solucao de tipo soliton, a qual discutiremos logo adiante.
Podemos agora retornar a (20.160) com nossos resultados de acima, mas iremos nos limitar `as solucoes (20.164) e
(20.167).
O s
oliton claro da equa
c
ao de Schr
odinger n
ao-linear
Para o caso < 0 (ou seja, g < 0) e > 0 com a = 0 encontramos a solucao (20.164) para f . Retornando a (20.160),
isso corresponde a solucoes da forma
1 exp i x + t
u(x, t) = ,
cosh x c0 t x0
|| mg 2m
com := , c0 := ~
m, := ~2 e := ~ + 2 .
Como a amplitude dessa onda e A := 1 e sua velocidade de fase e c0 , e conveniente escrevermos u em termos desses
dois par
ametros (alem de x0 e dos par ametros da equacao de Schrodinger n
ao-linear, g, m e ~). Apos algumas contas
elementares, obtemos a solucao solitonica
h
i 1 i 1
u(x, t) = A exp mc0 x gA2 + mc20 t . (20.168)
~ 2 cosh A mg
x c 0 t x0
~
(Recordar que g < 0 aqui). A equacao de Schrodinger n ao-linear descreve a propagacao de ondas eletromagneticas em
fibras opticas, onde a quantidade |u(x, t)|2 descreve a intensidade da radiacao. Segundo (20.168),
1
|u(x, t)|2 = A2 h i2 . (20.169)
A mg
cosh ~ x c0 t x0
Nesse caso a intensidade luminosa |u(x, t)|2 decai a zero para x em cada instante t. Um esboco do grafico dessa
funcao para um dado instante e exibido na Figura, 20.9, p
agina 919, e, como se ve, descreve um pulso localizado de luz
de amplitude A2 que se propaga com velocidade c0 . Por essa raz ao a solucao (20.168) e denominada s
oliton claro da
equacao de Schr
odinger n
ao-linear.
O segundo soliton que discutiremos e do tipo escuro.
O s
oliton escuro da equa
c
ao de Schr
odinger n
ao-linear
Para o caso > 0 (ou seja, g > 0) e < 0, com a assumindo um valor especfico n ao-nulo, encontramos a solucao
(20.167) para f . Retornando a (20.160) isso corresponde a solucoes da forma
r r !
|| ||
u(x, t) = exp i x + t tanh x c0 t x0 ,
2 2
mg 2m
com c0 := ~
m, := ~2 e := ~ + 2 .
q
||
Como a amplitude dessa onda e A := 2 e sua velocidade de fase e c0 , e conveniente escrevermos u em termos
desses dois par
ametros (alem de x0 e dos par
ametros da equacao de Schrodinger n ao-linear, g, m e ~). Apos algumas
contas elementares, obtemos
i 1 A mg
u(x, t) = A exp mc0 x gA2 + mc20 t tanh x c0 t x0 . (20.170)
~ 2 ~
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 919/2103
|u| 2 |u| 2
A2 A2
c0 c0
0 x 0 x
Figura 20.9: Do lado esquerdo, a intensidade |u(x, t)|2 em um certo instante de tempo dada em (20.169) referente ao
ao-linear. Do lado direito, a intensidade |u(x, t)|2 em um certo instante de
soliton claro da equacao de Schrodinger n
tempo dada em (20.171) referente ao soliton escuro da equacao de Schrodinger n ao-linear. Em ambos os graficos os
mesmos valores da amplitude A foram utilizados. c0 representa a velocidade de fase. Note-se que a funcao do grafico do
lado esquerdo converge a 0 para x , enquanto que a do lado direito converge a A2 .
(Recordar que g > 0 aqui). Essa solucao e denominada soliton escuro da equac ao de Schrodinger nao-linear. A razao
dessa nomenclatura tem a ver com o fato de que a equacao de Schrodinger n ao-linear descreve a propagacao de ondas
opticas, onde a quantidade |u(x, t)|2 descreve a intensidade da radiacao. Segundo (20.170),
eletromagneticas em fibras
2 2 A mg 2
|u(x, t)| = A tanh x c0 t x0 . (20.171)
~
agina 919, e, como se ve, |u(x, t)|2
Um esboco do grafico dessa funcao em um dado instante e exibido na Figura, 20.9, p
2
converge a A 6= 0 para x em cada instante t, mas no ponto x = x0 + c0 t essa intensidade e nula. Da se chamar
esse soliton de escuro, pois corresponde `
a propagacao estavel com velocidade c0 de uma mancha escura em uma fibra
otica inteiramente iluminada.
20.4.4 A Equac
ao de Ondas e Transformadas de Fourier
Na presente secao mostraremos como podemos fazer uso da transformada de Fourier (cuja teoria e apresentada na Secao
36.2, p
agina 1742) para encontrarmos a solucao da equacao de ondas
2u
c2 u = 0 (20.172)
t2
para todos x = (x1 , . . . , xd ) Rd e t > 0 sob as condicoes iniciais
u
u(x, 0) = u0 (x) , (x, 0) = v0 (x) . (20.173)
t
Acima, d representa o n umero de dimensoes espaciais, x = (x1 , . . . , xd ) Rd sao coordenadas Cartesianas e
d
X 2
. O problema descrito em (20.172)(20.173) e um tpico problema de Cauchy (vide Secao 16.4, p
agina 744) e as
a=1
x2a
funcoes u0 e v0 sao denominadas dados de Cauchy desse problema.
Por simplicidade e transparencia, assumiremos no tratamento que faremos que as funcoes u0 e v0 que definem as
condicoes iniciais em (20.173) sao elementos do espaco de Schwartz S (Rd ), introduzido na Secao 36.1, p agina 1733.
Essa restricao simplifica bastante o desenvolvimento que faremos, mas e importante recordar que em problemas fsicos
ao sao elementos de S (Rd ). No entanto, a solucao que en-
estamos por vezes interessados em situacoes nas quais u0 e v0 n
contraremos ainda pode ser correta em tais casos, mas sua justificativa pode demandar um esforco maior, comprometendo
a clareza da exposicao.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 920/2103
Nossa estrategia para encontrarmos a solucao de (20.172) sob as condicoes (20.173) seguira os seguintes passos: 1.
Supondo que a solucao u seja, para cada t, um elemento de S (Rd ) enquanto funcao de x, usaremos a transformada de
Fourier para resolvermos (20.172) sob as condicoes (20.173). 2. Constataremos explicitamente que a expressao obtida
realmente e solucao de (20.172) sob as condicoes (20.173), justificando assim a posteriori a hipotese que fizemos de u ser
um elemento de S (Rd ) enquanto funcao de x. 3. Evocamos um teorema de unicidade de solucao para garantir que a
solucao que obtivemos e a unica solucao possvel.
No que segue vamos por vezes denotar u(x, t) por ut (x). A transformada de Fourier de u(x, t) em relacao `as variaveis
x = (x1 , . . . , xd ) Rd sera denotada por u
b(p, t) ou ubt (p):
Z
1
u
b(p, t) F[ut ](p) = u(x, t) eipx dn x ,
(2)d/2 Rd
com p = (p1 , . . . , pd ) Rd . Como supomos que para cada t R tenhamos ut S (Rd ), como funcao de x, segue que
ubt S (Rd ) como funcao de p, para cada t R e, alem disso, vale
Z
1
u(x, t) = F1 [ubt ](x) = b(p, t) eipx dn p .
u (20.174)
(2)d/2 Rd
2u
b 2
(p, t) + ckpk u b(p, t) = 0 (20.175)
t2
para todos (p, t) Rd+1 . A equacao (20.175) e uma equacao diferencial ordinaria na variavel t (equacao do oscilador
harmonico) de solucao bem conhecida:
u
b(p, t) = A(p) cos ckpkt + B(p) sen ckpkt ,
onde A e B sao funcoes de p que serao determinadas logo adiante pelas condicoes iniciais. Como A(p) = u
b(p, 0) e
ckpkB(p) = b
u
t (p, 0), conclu
mos que as fun
c o
es p
7 A(p) e p
7 kpkB(p) s
a o elementos de S (R d
).
Assim, por (20.174), escrevemos
Z
1
u(x, t) = A(p) cos ckpkt + B(p) sen ckpkt eipx dn p (20.176)
(2)d/2 Rd
e Z
u 1
(x, t) = ckpkA(p) sen ckpkt + ckpkB(p) cos ckpkt eipx dn p , (20.177)
t (2)d/2 Rd
com A S (Rd ) e Z
1
v0 (x) = ckpkB(p) eipx dn p = F1 [C](x) ,
(2)d/2 Rd
Justificando a solu
c
ao (20.178)
A expressao (20.178) foi obtida sob a hip otese de a solucao u do problema de Cauchy (20.172)(20.173) (com u0 e
v0 S (Rd )) e um elemento de S (Rd ) como funcao de x. Essa hipotese n ao foi previamente justificada, mas podemos
justifica-la a posteriori estabelecendo por verificacao direta que a funcao do lado direito de (20.178) e, de fato, uma
solucao do problema de Cauchy (20.172)(20.173). Isso e o que faremos nas linhas que seguem.
sen ckpkt
Comecemos colocando tres observacoes. A primeira e que as funcoes cos ckpkt e ckpk sao ambas infinitamente
P n 2n
diferenci aveis como funcoes de p. De fato, as expansoes em serie de Taylor das funcoes cos x e sen x
x
sao n=0 (1) x
(2n)!
P n 2n
e n=0 (1) x
(2n+1)! , respectivamente e, como se v e, sao expansoes em serie de potencias em x2 e convergentes para todo
sen ckpkt
x R. Da, conclumos que cos ckpkt e ckpk podem ser expressas em termos de expansoes em series de potencias
de p2 = p21 + + p2d , o que faz de ambas funcoes infinitamente
diferenci
aveis de (p1 , . . . , pd ). A segunda observacao e
sen ckpkt
que as derivadas das funcoes cos ckpkt e ckpk sao polinomialmente limitadas. No caso da funcao cos ckpkt isso
sen ckpkt
e um tanto evidente (por que?), mas no caso da funcao ckpk isso segue da observacao que as derivadas da funcao
sen x
x sao compostas por combinacoes lineares finitas de mon omios em 1/x multiplicados pela funcao sen x ou cos x. A
sen ckpkt
terceira observacao e que as funcoes F[u0 ](p) cos ckpkt e F[v0 ](p) ckpk sao elementos de S (Rd ). Isso decorre das
duas observacoes anteriores e do fato que, por hip otese, F[u0 ](p) e F[v0 ](p) sao elementos de S (Rd ).
Conclui-se disso que o termo entre parenteses na integral em (20.178) e um elemento de S (Rd ), o que faz dela
uma integral bem-definida. Mais que isso, esse fato justifica diferenciar o lado direito sob o smbolo de integral (vide
Proposicao 35.5, p
agina 1661) e obter
Z !
2 sen ckpkt
F[u0 ](p) cos ckpkt + F[v0 ](p) eipx dn p
t2 Rd ckpk
Z !
2 2
sen ckpkt
= c kpk F[u0 ](p) cos ckpkt + F[v0 ](p) eipx dn p (20.179)
Rd ckpk
e, analogamente,
Z !
2
sen ckpkt
c F[u0 ](p) cos ckpkt + F[v0 ](p) eipx dn p
Rd ckpk
Z !
2 2
sen ckpkt
= c kpk F[u0 ](p) cos ckpkt + F[v0 ](p) eipx dn p . (20.180)
Rd ckpk
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 922/2103
A manifesta relacao de igualdade entre o lado direito de (20.179) e o lado direito de (20.180) significa que o lado
direito de (20.178) e, de fato, solucao da equacao diferencial (20.172). De forma totalmente analoga constata-se que a
funcao do lado direito de (20.178) realmente satisfaz as condicoes iniciais (20.173) e, portanto, (20.178) e solucao do
problema de Cauchy (20.172)(20.173) sob a hip otese que u0 e v0 sao elementos de S (Rd ).
Depend
encia com os dados de Cauchy u0 e v0
A relacao (20.178) expressa u em termos das condicoes iniciais u0 e v0 , mas a relacao e um tanto indireta, pois em
(20.178) ocorrem as transformadas de Fourier dessas funcoes. E de grande interesse tentarmos reescrever (20.178) de
modo a expressarmos u diretamente em termos de u0 e v0 , tal como, por exemplo, na solucao dita de DAlembert do
caso d = 1, fornecida em (20.128), pagina 904. Isso e possvel, mas sua implementacao depende fortemente, um tanto
surpreendentemente, de se a dimensao espacial d e um numero par ou um n umero mpar.
* *** *
E. 20.16 Exerccio. Re-obtenha a solucao de DAlembert (20.128) para a equacao de ondas em 1 + 1 dimens
oes a partir
da solucao (20.178). 6
20.4.4.1 A Equac
ao de Ondas em 3 + 1 Dimens
oes. A Soluc
ao de Kirchhoff
Vamos tratar de obter a solucao da equacao de ondas em 3 + 1 dimensoes (i.e., tres dimensoes espaciais e uma temporal)
antes de obter a solucao da equacao de ondas em 2 + 1 dimensoes pois, curiosamente, como veremos, a solucao da u ltima
pode ser mais facilmente obtida a partir da solucao da primeira.
Para um melhor acompanhamento do que segue recomendamos ao leitor um estudo previo da Secao 36.2.3.3, p
agina
1766, pois dela usaremos definicoes, notacoes e resultados.
No caso d = 3, (20.178) fica
Z Z !
1 ipx 3 t sen kpkct
u(x, t) = F[u0 ](p) cos ckpkt e d p+ F[v0 ](p) eipx d3 p
(2)3/2 R3 (2)3/2 R3 kpkct
" Z ! # Z !
1 sen kpkct ipx 3 1 sen kpkct
= F[u0 ](p) e d p + F[v0 ](p) eipx d3 p .
t (2)3/2 R3 kpkc (2)3/2 R3 kpkc
sen kpkct
Observemos agora que, por (36.115), podemos para d = 3 escrever kpkct = M [ep ](ct), com a media M definida em
Z
sen kpkct
(36.112). Assim, se y Rd for um vetor com kyk = ct, teremos = eipy dy . Com isso, u(x, t) pode ser
kpkct S2
reescrita como
1
u(x, t) = tF F[u0 ]M [ep ](ct) (x) + tF1 F[v0 ]M [ep ](ct) (x) .
t
Evocando agora o Proposicao 36.13, p
agina 1770, conclumos que
u(x, t) = tK[u0 ](x, ct) + tK[v0 ](x, ct) , (20.181)
t
onde, conforme definido na mesma Proposicao 36.13, p agina 1770, K[v0 ](x, ct) representa a media de v0 na superfcie da
esfera de raio ct centrada em x. A expressao apresentada em (20.181) fornece a solucao u em d + 1 dimensoes diretamente
em termos das condicoes iniciais u0 e v0 , como previamente prometemos. Sua interpretacao sera discutida logo adiante.
Para futura referencia, resumimos nossos resultados na seguinte proposicao:
Proposi
c
ao 20.2 (Solu
c
ao da equa
c
ao de ondas em 3 + 1-dimens
oes) A soluc
ao da equac
ao de ondas
2u
c2 u = 0
t2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 923/2103
u
em 3 + 1 dimens oes com as condic
oes iniciais u(x, 0) = u0 (x) e t (x, 0) = v0 (x), com u0 e v0 sendo elementos de
S (R3 ), e dada para t > 0 e x R3 por
u(x, t) = tK[u0 ](x, ct) + tK[v0 ](x, ct) , (20.182)
t
com x = (x1 , x2 , x3 ) R3 , onde, para g S (R3 ),
Z Z
1
K[g](x, r) := g x + rz(, ) sen d d ,
4 0
para x R3 e r > 0, sendo z(, ) := sen cos , sen sen , cos . K[g](x, r) representa a media de g na superfcie
da esfera de raio r centrada em x. 2
20.4.4.2 A Equac
ao de Ondas em 2 + 1 Dimens
oes
A solucao geral da equacao de ondas em 2 + 1 dimensoes pode ser obtida a partir da solucao em 3 + 1 dimensoes fornecida
em (20.181). A intuicao por tr as dessa afirmacao e a seguinte. Se em 3 + 1 dimensoes tomarmos condicoes iniciais
u0 (x1 , x2 , x3 ) e v0 (x1 , x2 , x3 ) que sejam independentes da coordenada x3 , n ao havera propagacao ao longo dessa
direcao e tudo se passa como se tratassemos de um problema em 2 + 1 dimensoes. O problema em implementar esse
argumento reside no fato que uma funcao u0 (x1 , x2 , x3 ) que independe de x3 n ao e uma funcao do espaco de Schwartz
S (R3 ) e, portanto, (20.181) n ao pode ser aplicada diretamente. O que se faz para remediar isso, porem, e algo bem
simples. Consideramos no caso de 3 + 1 dimensoes condicoes iniciais u0 e v0 da forma u0 (x1 , x2 , x3 ) = u0 (x1 , x2 )f (x3 )
e v0 (x1 , x2 , x3 ) = v0 (x1 , x2 )f (x3 ), onde f e uma funcao de S (R) escolhida de forma que f (x3 ) = 1 para todo x3
no intervalo [cT, cT ], para algum T > 0 e escolhido arbitrariamente. Para essas condicoes iniciais podemos aplicar
(20.181) e teremos a solucao
u(x, t) = tK[
u0 ](x, ct) + tK[
v0 ](x, ct) = tK[u0 f ](x, ct) + tK[v0 f ](x, ct) , (20.183)
t t
com x = (x1 , x2 , x3 ).
Seja agora |t| < T . Afirmamos que para x1 e x2 fixos arbitrarios a funcao u (x1 , x2 , x3 , t) n
ao varia na regiao |x3 | <
c(T |t|). A argumentacao e a seguinte. K[u0 f ] e K[v0 f ] representam a media das funcoes u0 f e v0 f , respectivamente,
na superfcie da esfera de raio c|t| centrada em x = (x1 , x2 , x3 ). Se os pontos da superfcie dessa esfera tem coordenadas
(x1 , x2 , x3 ) temos |x3 x3 | c|t|. Logo, |x3 | < |x3 x3 | + |x3 | < c|t| + c(T |t|) = cT . Por definicao, na regiao
|x3 | < cT a funcao f (x3 ) e constante e igual a 1. Logo, na regiao em quest ao valem K[u0 f ] = K[u0 ] e K[v0 f ] = K[v0 ] e
ambas n ao dependem de x3 quando |x3 | < c(T |t|). Assim, para |t| < T e |x3 | < c(T |t|) u satisfaz
2
2 u 2 u 2 u
c + = 0,
t2 x21 x22
41 Gustav Robert Kirchhoff (18241887).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 924/2103
ou seja, u e uma solucao da equacao de ondas em duas dimensoes para |t| < T e |x3 | < c(T |t|), satisfazendo as
condicoes iniciais dadas nessa regi
ao por u0 (x1 , x2 , x3 ) = u0 (x1 , x2 ) e v0 (x1 , x2 , x3 ) = v0 (x1 , x2 ).
Conclumos que a funcao u(x1 , x2 ) dada por
u(x1 , x2 , t) = tK[u0 ](x1 , x2 , 0, ct) + tK[v0 ](x1 , x2 , 0, ct) ,
t
u
e solucao da equacao de ondas em duas dimensoes com as condicoes iniciais u(x1 , x2 , 0) = u0 (x1 , x2 ) e t (x1 , x2 , 0) =
v0 (x1 , x2 ).
Vamos agora expressar as medias K[u0 ](x1 , x2 , 0, ct) e K[v0 ](x1 , x2 , 0, ct) de forma mais adequada. Temos pela
definicao que
Z Z
1
K[u0 ](x1 , x2 , 0, ct) = u0 x1 + ct sen cos , x2 + ct sen sen sen dd .
4 0
A integral em no lado direito pode ser re-expressa da seguinte forma. Primeiro quebramos a regiao de integracao nas
regi
oes 0 < /2 e /2 < < . Em seguida, fazemos em cada uma a mudanca de variavel u = sen . Obtemos,
Z Z 1
u
u0 x1 + ct sen cos , x2 + ct sen sen sen d = 2 u0 x1 + ctu cos , x2 + ctu sen du
0 0 1 u2
(verifique!) e, com isso,
Z Z 1
1 1
K[u0 ](x1 , x2 , 0, ct) = u0 x1 + ctu cos , x2 + ctu sen udu d .
2 0 1 u2
Definindo y = (y1 , y2 ) = u sen , u cos , podemos reescrever a u ltima expressao como
Z
1 1
K[u0 ](x, 0, ct) = u0 x + cty p d2 y ,
2 kyk1 1 kyk2
com x = (x1 , x2 ) R2 e t > 0. Note-se que R[g](x, r) representa uma media da funcao g no disco centrado em x R2
1 1
de raio r, media essa tomada com um peso 2 2 2
.
r kzk
para x R2 e r > 0. 2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 925/2103
(x, t)
x2
x
D
x1 S
ct
Figura 20.10: Ilustracao do princpio de Huygens em 2 + 1 dimensoes. D representa o disco de raio ct centrado em x R2
situado no plano t = 0. A figura indica o ponto (x, t) e o cone de luz passado com vertice em (x, t). O valor de u em
(x, t) e determinado apenas pelos valores de u0 e v0 em D. No caso de 3 + 1 dimensoes, u(x, t) depende apenas dos
valores de u0 e v0 na borda de D, representada aqui pelo crculo S (em 3 + 1 dimensoes S e, em verdade, a superfcie da
esfera de raio ct centrada em x).
h
X i nx
u
(x, t) = an n sen (n t) + bn n cos (n t) sen . (20.192)
t n=1
L
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 927/2103
u
A imposicao das condicoes iniciais u(x, 0) = u0 (x) e t (x, 0) = v0 (x), que fixam posicao e velocidade da corda em
t = 0, conduz a
X nx
u0 (x) = an sen , (20.193)
n=1
L
X nx
v0 (x) = bn n sen . (20.194)
n=1
L
Em (20.193) e (20.194) as funcoes u0 e v0 sao expressas em termos de series de Fourier de senos e a justificativa
para a validade dessa expansao, sobre hip oteses adequadas para as funcoes u0 e v0 , e apresentada na Proposicao 35.12,
p
agina 1699. A teoria geral das series de Fourier encontra-se desenvolvida na Secao 35.4, p agina 1683. Para invertermos
essas relacoes, expressando as constantes an em termos de u0 e as constantes bn em termos de v0 , fazemos uso das
bem-conhecidas relacoes de ortogonalidade da funcao seno:
Z
sen (my) sen (ny) dy = m, n , m, n = 1, 2, 3, . . . . (20.195)
0 2
Assim, multiplicando (20.193) por sen mx L e integrando de 0 a L, obtemos
Z L mx
X Z L mx nx
sen u0 (x) dx = an sen sen dx
0 L n=1 0 L L
Z
y=x/L LX L
= an sen (my) sen (ny) dy = am ,
n=1 0 2
ou seja,
Z L
2 nx
an = sen u0 (x ) dx (20.196)
L 0 L
para todo n = 1, 2, 3, . . .. De forma totalmente analoga, obtem-se de (20.194)
Z L Z L
2 nx 2 nx
bn = sen v0 (x ) dx = sen v0 (x ) dx (20.197)
n L 0 L nc 0 L
para todo n = 1, 2, 3, . . ..
A fun
c
ao de Green para as condi
co
es iniciais
Usando (20.196)-(20.197) podemos reescrever (20.191) como
Z L Z L
u(x, t) = G(x, t, x )u0 (x ) dx + G(x, t, x )v0 (x ) dx , (20.198)
t 0 0
onde, formalmente, ! ! !
X
2 nx nx nct
G(x, t, x ) = sen sen sen . (20.199)
n=1
nc L L L
Comparar com (20.129)(20.130). Essa expressao e denominada func ao de Green do problema de valor inicial em quest ao.
As duas u ltimas expressoes sao formais e devem ser entendidas no sentido de distribuicoes44 . Vide Captulo 36, p agina
1732. A import ancia de (20.198) est a em expressar a solucao diretamente em termos das condicoes iniciais u0 e v0 . A
funcao G contem em si a informacao de como os valores das condicoes iniciais no ponto x influenciam a solucao no ponto
x no instante t.
44 Note-se, por exemplo, que a s
erie de funco
es no lado direito de (20.199) n
ao
e uniformemente convergente, ao contrario do que ocorre, por
exemplo, com a funcao de Green de (20.67). A converg encia da serie em (20.199) se d
a no sentido de distribuico
es.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 928/2103
Para = 0 a equacao (20.202) reduz-se a zU (z) + U (z) = 0, cuja solucao e U (z) = c1 ln(z) + c2 . Como desejamos
que U (0) seja finita (o deslocamento da corda n ao pode divergir em nenhum ponto), devemos impor c1 = 0 e, portanto,
U (z) = c2 . Porem, como u(L, t) = 0 para todo t, devemos impor U (L) = 0. Assim, c2 = 0 tambem e obtemos apenas
a solucao trivial U (z) = 0, o que corresponde a uma corda eternamente parada. O caso interessante, portanto, est a em
6= 0.
A equacao (20.202) para 6= 0 pode ser transformada em uma equacao conhecida atraves da mudanca de variaveis
= 42 z , U (z) = y() = y ( 42 z) ,
com a qual obtemos
2 y () + y () + 2 y() = 0 .
Essa equacao, como se constata, e a equacao de Bessel de ordem zero: = 0. Assim, suas solucoes sao
y() = 1 J0 () + 2 N0 () ,
J0 sendo a funcao de Bessel de ordem 0 e N0 sendo a funcao de Neumann de ordem 0. Isso significa, ent
ao, que
U (z) = 1 J0 (2 z) + 2 N0 (2 z) .
A solucao acima tem por particularidade que se 2 6= 0 o termo N0 (2 z) diverge em z = 0. Esse comportamento n ao
avel, obviamente, de modo que devemos impor46 2 = 0.
e aceit
Chegamos dessa forma ` a solucao U (z) = J0 (2 z) (adotando
aqui 1 = 1), para a qual devemos impor a condicao de
contorno u(L, t) = 0, ou seja, U (L) = 0. Isso implica que 2 L deve ser um dos zeros 0k , k N, da funcao de Bessel
J0 em R+ . Assim, conclumos que
0
= k ,
2 L
e dessa forma, para 0 z L, r
z
Uk (z) = J0 0k , k = 1, 2, 3, 4, . . . ,
L
representam solucoes de (20.202) que satisfazem as condicoes de contorno requeridas. Tem-se, entao, que
h i r
z
uk (z, t) = ak cos (k t) + bk sen (k t) J0 0k , k = 1, 2, 3, 4, . . . ,
L
com r
0k g
k := ,
2 L
sao solucoes particulares da equacao de ondas (20.200) que satisfazem as condi
pcoes de contorno requeridas. Acima, ak
e bk sao constantes a serem determinadas. Cada funcao cos (k t + 0 ) J0 0k Lz , k = 1, 2, 3, 4, . . ., representa um
modo de vibrac ao da corda pendurada.
A solucao geral da equacao de ondas (20.200) que satisfaz as condicoes de contorno requeridas e dada por
h
X i rz
u(z, t) = ak cos (k t) + bk sen (k t) J0 0k , (20.203)
L
k=1
h
X r i
u z
(z, t) = ak k sen (k t) + bk k cos (k t) J0 0k .
t L
k=1
u
Assim, a imposicao das condicoes iniciais u(z, 0) = u0 (z) e t (z, 0) = v0 (z), que fixam posicao e velocidade da corda
em t = 0, conduz a
X r
z
u0 (z) = ak J0 0k , (20.204)
L
k=1
X r
z
v0 (z) = bk k J0 0k . (20.205)
L
k=1
Para determinarmos as constantes ak em termos de u0 e as constantes bk em termos de v0 faremos uso das relacoes
de ortogonalidade (15.210), p
agina 713, para as funcoes de Bessel J0 :
Z 1 2
0
0
J1 (0k )
J0 k x J0 l x x dx = k, l . (20.206)
0 2
46 Podemos interpretar a condi ca
o de finitude da soluca
o em z = 0 como uma outra condica
o de contorno a ser imposta, juntamente `
a
condica
o u(L, t) = 0, para o outro extremo da corda.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 930/2103
p
Multiplicando ambos os lados de (20.204)-(20.205) por J0 0l Lz e integrando-se em z entre 0 e L, obtem-se
Z L r X Z L r r
z z z
J0 0l u0 (z) dz = ak J0 0l J0 0k dz ,
0 L 0 L L
k=1
Z r r Z r r
L
z 1 g X L
z z
J0 0l v0 (z) dz = bk 0k J0 0l J0 0k dz .
0 L 2 L 0 L L
k=1
Agora,
Z L r r z Z 1
z z x= L (20.206) 2
J0 0l J0 0k dz = 2L J0 0k x J0 0l x x dx = L J1 (0k ) k, l .
0 L L 0
Z L r
2 z
bl = 2 J0 0l v0 (z) dz , (20.208)
0l gL (J1 (0l )) 0 L
para todos l N.
A solucao obtida acima satisfaz as condicoes de contorno e as condicoes iniciais propostas. A Proposicao 16.9, p
agina
793, garante que a solucao assim obtida e a u
nica solucao do problema, o que a posteriori, justifica todo o nosso proceder.
Note o leitor que as condicoes de contorno do problema tratado acima correspondem `as condicoes de contorno do tipo IV
da Proposicao 16.9, pois a corda esta fixa em z = L e a tensao anula-se em z = 0. Com isso, o problema de determinar o
movimento da corda pendurada a partir de condicoes iniciais como acima est a completamente resolvido. Esse problema
foi um dos primeiros nos quais surgiram funcoes de Bessel como solucao. Ele foi tratado pela primeira vez em 1732 por
D. Bernoulli47 .
A fun
c
ao de Green para as condi
co
es iniciais
Usando (20.207)-(20.208) podemos reescrever (20.203) como
Z L Z L
u(z, t) = G(z, t, z )u0 (z ) dz + G(z, t, z )v0 (z ) dz , (20.209)
t 0 0
onde r r !
0 z 0 z
2J 0 k J 0 k 0r
X L L k g
G(z, t, z ) := p sen t ,
0 0 2 2 L
k=1 k gL J1 (k )
e a func
ao de Green do problema de valor inicial em quest ao. Comparar com (20.129)(20.130). As duas u ltimas
expressoes sao formais e devem ser entendidas no sentido de distribuicoes. Vide Captulo 36, p
agina 1732. A importancia
de (20.209) est a em expressar a solucao diretamente em termos das condicoes iniciais u0 e v0 . A funcao G contem em
si a informacao de como os valores das condicoes iniciais no ponto z influenciam a solucao no ponto z no instante de
tempo t.
p (1/3) (1/3)
A imposicao da condicao de contorno U (L) = 0 implica 23 L3 = k , onde k e o k-esimo zero de J1/3 em R+ .
Assim,
(1/3)
3
k := pk
2 L3
e r r r !
x 2 p 3 x (1/3) x 3
U (x) Uk (x) = Ak J1/3 k x = Ak J1/3 k ,
L 3 L L
ambas validas para todo k = 1, 2, 3, . . ., Ak sendo constantes.
Obtemos para u(x, t) a solucao geral expressa em termos de uma serie de modos normais:
r x r !
X (1/3) x 3
u(x, t) = ak cos(k 0 t) + bk sen (k 0 t) J1/3 k
L L
k=1
r x r !
X (1/3) x 3
= ak cos (k t) + bk sen (k t) J1/3 k ,
L L
k=1
sendo r
3 0
k := k(1/3) .
2 L3
Naturalmente, segue disso que
r r !
u X x (1/3) x 3
(x, t) = k ak sen (k t) + k bk cos (k t) J1/3 k . (20.217)
t L L
k=1
u
Dessa forma, impondo condicoes iniciais u(x, 0) = u0 (x), t (x, 0) = v0 (x), tem-se
r r !
X x (1/3) x 3
u0 (x) = ak J1/3 k ,
L L
k=1
r r !
X x (1/3) x 3
v0 (x) = k bk J1/3 k .
L L
k=1
q
x 3/2 (1/3)
x 3
Multiplicando a primeira das expressoes acima por L J1/3 l L e integrando de 0 a L, obtemos
Z L x 3/2 r !
(1/3) x 3
u0 (x) J1/3 l dx
0 L L
Z x 2 r ! r !
X L
(1/3) x 3 (1/3) x 3
= ak J1/3 k J1/3 l dx
0 L L L
k=1
X Z 1 p p
y=x/L (1/3) (1/3)
= ak L y 2 J1/3 k y 3 J1/3 l y 3 dy
k=1 0
X Z 1
u=y 3/2 2ak L (1/3) (1/3)
= u J1/3 k u J1/3 l u du
3 0
k=1
(15.210) al L
(1/3)
2 al L (1/3) 2
= J2/3 l = J1/3 l .
3 3
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 933/2103
Disso, obtemos s
Z L 3/2 3
3 x (1/3) x
al = 2 u0 (x ) J1/3 l dx
(1/3) 0 L L
L J2/3 l
e, analogamente, s
Z L 3/2 3
3 x (1/3) x
bl = 2 v0 (x ) J1/3 l dx
(1/3) 0 L L
l L J2/3 l
para todo l = 1, 2, 3, . . ..
A fun
c
ao de Green para as condi
co
es iniciais
Reunindo os resultados acima, podemos escrever
Z L Z L
u(x, t) = G(x, t, x ) u0 (x ) x dx + G(x, t, x ) v0 (x ) x dx , (20.218)
t 0 0
com
r ! r s
r 3
x (1/3) x 3 x (1/3) x
J1/3 k J1/3 k
X L L L L r
3 (1/3) 0
G(x, t, x ) := 3 2 sen t ,
(1/3) 2 k L3
k=1 k L2 J2/3 k
sendo a func ao de Green do problema de valor inicial em quest ao. Comparar com (20.129)(20.130). As duas u ltimas
expressoes sao formais e devem ser entendidas no sentido de distribuicoes. Vide Captulo 36, p
agina 1732. A importancia
de (20.218) est a em expressar a solucao diretamente em termos das condicoes iniciais u0 e v0 . A funcao G contem em
si a informacao de como os valores das condicoes iniciais no ponto x influenciam a solucao no ponto x no instante de
tempo t.
Nota. H
a duas raz oes para usarmos a medida de integraca o x dx em (20.218) e nao apenas a medida dx . Primeiro, obt em-se dessa
forma uma funcoes G sim etrica pela troca x x (como se v e explicitamente na express ao para G, acima). Segundo, como temos 0 = 0,
e da forma U (x) + 2 xU (x) = 0 e estamos, portanto, lidando com um problema de Sturm-Liouville com r(x) = x (para a teoria
(20.212)
de Sturm-Liouville, vide Captulo 17, p agina 798). Ora, em problemas de Sturm-Liouville a medida natural de integraca e r(x )dx , para a
o
qual valem as relaco
es de ortogonalidade das auto-funcoes, da ser natural a escolha que fizemos.
E. 20.18 Exerccio. Retornando a (20.216) considere agora o caso 0 6= 0, 6= 0, e, segundo os passos de acima, obtenha
a solucao do problema em termos de condicoes iniciais e as funcoes de Green. Para determinar as relacoes de ortogonalidade
siga as ideias da demonstracao do Teorema 15.7, pagina 716. Isso podera ser trabalhoso. 6
respectivamente, de cada ponto da membrana no instante t = 0. Como a membrana deve estar fixa nas bordas,
devemos tambem impor as condicoes de contorno de Dirichlet: u(x, 0) = u(x, L2 ) = 0 para todo 0 x L1 e
u(0, y) = u(L1 , y) = 0 para todo 0 y L2 . Escrevendo o operador o Laplaciano em coordenadas Cartesianas como
2 2
= x 2 + y 2 a equa
cao de ondas (20.219) fica
1 2u 2u 2u
2 2
(x, y, t) 2 (x, y, t) 2 (x, y, t) = 0 . (20.220)
c t x y
Aplicando o metodo de separacao de variaveis, procuramos solucoes dessa equacao na forma u(x, y, t) = X(x)Y (y)T (t).
Inserindo isso na equacao (20.220) e dividindo pelo produto X(x)Y (y)T (t), obtemos
Cada termo do lado esquerdo depende de uma variavel distinta. Para que essa equacao seja valida e preciso que cada
termo seja igual a uma constante e que a soma dessas constantes se anule. Temos, ent ao, as equacoes XX(x) (x)
= 2 ,
Y (y) T (t)
Y (y) = 2 e T (t) = (2 + 2 ), ou seja
Au nica solucao de (20.221) que anula-se em x = 0 e x = L1 ocorre para = n/L1 com n inteiro positivo n ao-nulo e
e dada por X(x) = sen (nx/L1 ). Analogamente, a u nica solucao de (20.222) que anula-se em y = 0 e y = L2 ocorre
para = m/Lm com m inteiro positivo n ao-nulo e e dada por Y (y) = sen (my/L2 ). As solucoes para (20.223) sao,
portanto s
2 2
n m
T (t) = Amn cos(mn t) + Bmn sen (mn t) , com mn = c + ,
L1 L2
para m, n = 1, 2, 3, . . .. A solucao assim obtida para (20.220) e
nx my h i
umn (x, y, t) = sen sen Amn cos(mn t) + Bmn sen (mn t)
L1 L2
para todos m, n como acima. Assim, a solucao geral obtida aplicando o princpio de sobreposicao e
X
X h i
nx my
u(x, y, t) = sen sen Amn cos(mn t) + Bmn sen (mn t) .
m=1 n=1
L1 L2
u
Impondo as condicoes iniciais u(x, y, 0) = u0 (x, y) e t (x, y, 0) = v0 (x, y), tem-se
X
X
nx my
u0 (x, y) = Amn sen sen , (20.224)
m=1 n=1
L1 L2
X
X
nx my
v0 (x, y) = mn Bmn sen sen . (20.225)
m=1 n=1
L1 L2
Z L2 Z L1
n x m y
u0 (x, y) sen sen dxdy
0 0 L1 L2
X
Z ! Z !
X L1
nx n x L2
my m y
= Amn sen sen dx sen sen dy
m=1 n=1 0 L1 L1 0 L2 L2
xL1 x/
X X Z Z
yL2 y/ L1 L2 Amn
= sen (nx) sen (n x) dx sen (my) sen (m y) dy
m=1 n=1
2 0 0
(20.195) L1 L2 X X L1 L2
= Amn m,m n,n = Am n .
4 m=1 n=1 4
Z L2 Z L1
4 nx my
Bmn = v0 (x, y) sen sen dxdy .
L1 L2 mn 0 0 L1 L2
Essas expressoes determinam completamente os coeficientes Amn e Bmn em temos das condicoes iniciais. A solucao
assim obtida satisfaz, ent ao, as condicoes de contorno e iniciais. A Proposicao 16.9, p
agina 793, garante que a solucao
assim obtida e a u
nica solucao do problema proposto (as condicoes de contorno que tratamos sao do tipo de Dirichlet)
o que, a posteriori, justifica todo o nosso proceder.
onde m
k e o k-esimo zero da funcao de Bessel Jm (x) para x > 0. Isso fixa os valores da constante de separacao . Para
cada k a solucao da equacao temporal (20.36) fica
m m
k c k c
T (t) = 1 cos t + 2 sen t .
R R
ak, m e bk, m sendo constantes. Cada uma dessas funcoes, para k N e m Z, representa um modo de vibrac
ao da
membrana circular de raio R.
Pelo princpio de sobreposicao (ou seja, pela linearidade e homogeneidade da equacao (20.226) e das condicoes de
contorno consideradas), a solucao geral u da equacao de ondas satisfazendo as condicoes de contorno e sua derivada
temporal u
t sao dadas por
X
X
m
k ct m
k ct m
k
u(, , t) = ak, m cos + bk, m sen Jm eim , (20.227)
R R R
k=1 m=
X
X m m m
u ak, m m
k c k ct bk, m m
k c k ct k
(, , t) = sen + cos Jm eim .
t m=
R R R R R
k=1
!
X X bk , m m m
k c k
v0 (, ) = Jm eim .
R R
k =1 m =
Multiplicando ambos osR lados de ambas as expressoes por eim e tomando-se a integral em no intervalo ,
obtemos com o uso de ei(mm ) d = 2m, m ,
Z
X
m
k
u0 (, )eim d = 2 a k , m Jm ,
R
k =1
Z
X m
im bk , m m
k c k
v0 (, )e d = 2 Jm .
R R
k =1
m
k
Multiplicando ambos os lados de ambas as expressoes por Jm e integrando-se as expressoes resultantes para
R R
entre 0 e R, obtemos
Z R Z
X Z R
m
k m
k m
k
u0 (, )eim Jm dd = 2 ak , m Jm Jm d ,
0 R R 0 R R R
k =1
Z R Z
X Z R m m
m
k bk , m m
k c k k
v0 (, )eim Jm dd = 2 Jm Jm d .
0 R R
R 0 R R R
k =1
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 937/2103
Temos, porem, com a
obvia mudanca de variaveis x = R,
Z R Z 1 2
m
k m
k (15.210) (Jm+1 (m
k ))
Jm Jm d = R Jm (m m
k x) Jm (k x) xdx = k, k R
0 R R R 0 2
e, portanto,
Z R Z
1 m
k
ak, m = 2 u0 (, )eim Jm dd , (20.228)
(Jm+1 (m
k )) R
2
0 R
Z R Z
1 im m
k
bk, m = 2 v0 (, )e Jm dd . (20.229)
m m
k c (Jm+1 (k )) R 0 R
Essas expressoes determinam completamente os coeficientes ak, m e bk, m para todos k e m em temos das condicoes iniciais.
A solucao assim obtida satisfaz, entao, as condicoes de contorno e iniciais. A Proposicao 16.9, p
agina 793, garante que
a solucao assim obtida e a u
nica solucao do problema proposto (as condicoes de contorno que tratamos sao do tipo de
Dirichlet) o que, a posteriori, justifica todo o nosso proceder.
A fun
c
ao de Green para as condi
co
es iniciais
Assim como no problema da corda pendurada, podemos expressar a solucao diretamente em termos das condicoes
iniciais com o uso de uma func
ao de Green. Usando (20.228)-(20.229), podemos reescrever (20.227) como
Z RZ Z RZ
u(, , t) = G(, , t, , ) u0 ( , ) d d + G(, , t, , ) v0 ( , ) d d , (20.230)
t 0 0
onde m
m
k k
X
X Jm Jm eim( ) m
R R k ct
G(, , t, , ) := 2 sen .
m m R
k=1 m= k c Jm+1 (k ) R
Essa e a func
ao de Green para do problema de valor inicial em quest ao. Comparar com (20.129)(20.130). Novamente
comentamos que as duas u ltimas expressoes sao formais e devem ser entendidas no sentido de distribuicoes. Vide Captulo
36, p
agina 1732. Tal como nos problemas anteriores, a import ancia de (20.230) esta em expressar a solucao diretamente
em termos das condicoes iniciais u0 e v0 . A funcao G contem em si a informacao de como os valores das condicoes iniciais
no ponto ( , ) influenciam a solucao no ponto (, ) no instante de tempo t.
~2 d2 k
(x) + x2 (x) = E(x) , (20.231)
2m dx2 2
onde E e um autovalor do operador de Hamilton50 , ~ e a constante de Planck51 , m a massa da partcula e k a constante
de Hooke52 . Definindo
r 2 1/4 r
k ~ ~ 2E x
0 := , := = , := 1, z := , v(z) := (x) = v(x/) ,
m mk m0 ~0
(20.232)
49 Erwin Rudolf Josef Alexander Schr
odinger (18871961).
50 SirWilliam Rowan Hamilton (18051865).
51 Max Karl Ernst Ludwig Planck (18581947).
52 Robert Hooke (16351703).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 938/2103
sao os auto-estados normalizados de energia En para n = 0, 1, 2, 3 . . .. Com o uso de (15.100), e trivial verificar ainda
que Z
n (x)m (x) dx = n, m ,
para todo n N0 , sendo uma constante positiva. Na Mecanica Quantica a expressao do lado esquerdo, acima, representa
o valor medio do quadrado do operador de posicao, ou seja, de x2 , no auto-estado normalizado n do operador Hamiltoniano
do oscilador harmonico.
Sugestao. Use as relacoes de recorrencia (15.106), pagina 691, e as relacoes de ortogonalidade (15.100), pagina 689, das
funcoes Hn . 6
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 939/2103
r !
m0 m0 cos 0 t x2 + y 2 2xy
= exp i . (20.239)
2i~ sen 0 t ~ 2 sen 0 t
E. 20.20 Exerccio. Verifique! Sugestao: adote z = ei0 t em (15.123) e multiplique-a ainda por ei0 t/2 . A expressao
(15.123) foi obtida sob a hip
otese que |z| < 1. Por isso, a relacao (20.239) deve ser entendida no sentido de distribuicoes. 6
20.8
O Atomo de Hidrog
enio e a Equac
ao de Laguerre Asso-
ciada
A equacao de Schrodinger independente do tempo que descreve uma partcula de massa m0 , em tres dimensoes, sob um
potencial de Coulomb54 atrativo V (r) = r , > 0, e
~2
= E .
2m0 r
53 Na chamada nota o de Dirac tem-se P (x, y; t) = hx|eiHt/~ |yi. Matematicamente a express
ca ao (20.237)
e justific
avel em termos do
Teorema Espectral ou em termos de distribuico
es.
54 Charles Augustin de Coulomb (17361806).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 940/2103
Expressando o operador Laplaciano em coordenadas esfericas, como em (20.43), essa equacao fica
1 2 1 1 2 2m0
r + ( sen ) + + + E = 0.
r2 r r sen ( sen )2 2 ~2 r
Seguindo o procedimento de separacao de variaveis, procuramos solucoes na forma = R(r)Y (, ) e obtemos, inserindo
na equacao,
(r2 R (r)) 2m0 2
1 1 Y 1 2Y
+ 2 r + Er = ( sen ) + .
R(r) ~ Y (, ) sen ( sen )2 2
Novamente, ambos os lados devem ser igualados a uma constante , e obtemos o par de equacoes
2 2m0 2
(r R (r)) + r + Er R(r) = 0 ,
~2
1 Y 1 2Y
( sen ) + + Y = 0.
sen ( sen ) 2
2
Como ja discutimos, a segunda equacao so possui solucoes finitas em = 0 e = se = l(l + 1) com l N0 , em cujo
caso as solucoes para Y sao dadas pelas funcoes harmonicas esfericas Ylm (, ) com m Z e l m l. A equacao
radial fica entao
2m0
r2 R (r) + 2rR (r) + r + Er 2
l(l + 1) R(r) = 0 .
~2
Para simplificar essa expressao, definamos as constantes
r
2m0 2m0
:= e := E
~2 ~2
(tomamos aqui E 0, o que corresponde aos chamados estados ligados), com o que, escrevemos
r2 R (r) + 2rR (r) + r 2 r2 l(l + 1) R(r) = 0 .
r
ao se encontra em uma forma reconhecvel, mas definindo S(r) := erl R(r), ou seja, escrevendo R
Essa equacao ainda n
na forma R(r) = rl er S(r), obtem-se para S a seguinte equacao:
rS (r) + 2(l + 1) 2r S (r) + 2(l + 1) S(r) = 0 .
Definindo uma nova variavel z = 2r e y(z) = S(r) = y(2r), obtemos para y(z) a equacao diferencial
zy (z) + 2(l + 1) z y (z) (l + 1) y(z) = 0 ,
2
a qual, para fins de comparacao, escrevemos como
zy (z) + (2l + 1) + 1 z y (z) + l (2l + 1) y(z) = 0 .
2
Comparando a (14.163), reconhecemos que se trata da equa cao de Laguerre associada com n = 2 + l. Pela nossa
discuss
ao de quando tratamos da equacao de Laguerre, devemos ter n um inteiro positivo com 0 2l + 1 n, de outra
forma a solucao da equacao de Laguerre crescer
a mais rapido que exponencial, destruindo a propriedade de ser de
quadrado integravel. Assim, n deve ser tomado um inteiro positivo e, portanto, p := 2 deve ser tambem inteiro. Como
0 2l + 1 n e n = p + l, segue que p l + 1 e, portanto, p e igualmente um inteiro positivo.
Na situacao descrita no u
ltimo par
agrafo, vimos na Secao 14.3.2, p
agina 648, que as solucoes da equacao de Laguerre
(2l+1)
associada acima sao dadas pelos polinomios de Laguerre associados Ln (z).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 941/2103
2l+3
(15.151) p ((p + l)!)3
= |cp, l, m |2 (2p) .
(p l 1)!
com p l + 1, l N0 , e m Z com l m l.
Um coment
ario sobre a ortonormalidade das fun
co
es p, l, m
Nota para o leitor com conhecimento de Mec
anica Qu
antica
Por serem auto-funcoes normalizadas do operador Hamiltoniano, as funcoes p, l, m devem satisfazer as relacoes de
ortogonalidade hp , l, m , p, l, m i = p, p . Integrando a parte angular, isso significa que
Z
r (2l+1) r r (2l+1) r 2l+2 2 p2l+4 ((p + l)!)3
exp Lp +l exp L p+l r dr = p, p .
0 2p p 2p p 2l+3 (p l 1)!
55 Niels Henrik David Bohr (18851962).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 942/2103
20.9 Propagac
ao de Ondas em Tanques Cilndricos
A vers
ao original desta sec
ao e de autoria de
Andre M. Timpanaro, Fleury J. Oliveira e Paulo H. Reimberg57
A Mecanica de Fluidos, quando consideramos fluidos ideais, e baseada fundamentalmente na equacao de Euler (vide,
e.g., [152] ou [38])
~v 1
+ (~v ) ~v + p ~g = 0 , (20.244)
t
onde ~v e o campo de velocidades, a densidade do fluido, p a press ao e ~g a aceleracao da gravidade. Esta equacao,
apesar de n ao-linear, pode, para certos limites, ser aproximada por equacoes lineares. Quando isto se d a, a dificuldade
em encontrar solucoes explcitas diminui consideravelmente. Ser
a este o caso tratado neste trabalho: o estudo de solucoes
explcitas do problema de propagacao de ondas na superfcie de um lquido contido num tanque cilndrico.
Consideraremos tres casos limites com a caracterstica comum de que o comprimento de onda e muito maior que sua
amplitude. O primeiro caso tratado e o da propagacao de tais ondas em um tanque cuja profundidade e muito grande,
n
ao havendo, desta forma, influencia do fundo na solucao das equacoes. O segundo caso tratado e um limite do anterior,
fazendo com que o raio do tanque seja infinito. O terceiro, e u ltimo caso estudado e aquele no qual a profundidade
do tanque e muito menor que o comprimento de onda, para o qual obtem-se uma solucao bastante parecida com a do
problema da membrana circular da Secao 20.6, p agina 935 (mas com condicoes de contorno do tipo de Neumann).
Ondas de gravita
c
ao e a propaga
c
ao de ondas em tanques profundos
A superfcie de um fluido em equilbrio sob a influencia de um campo gravitacional uniforme e plana. Se, por meio de
uma acao exterior qualquer, a superfcie do fluido sair de seu estado de equilbrio em um ponto, um movimento inicia-se
no fluido. Este movimento se propaga por todo o fluido sob a forma de ondas.
Admitamos, primeiramente, que as ondas tem comprimentos muito maiores que suas amplitudes. Assim, como sera
ao linear da equacao de Euler, (~v )~v , pode ser desprezado em comparacao com ~
demonstrado, o termo n v
t .
Seja o perodo de oscilacoes das partculas da onda, estas partculas percorrem uma distancia da ordem da amplitude,
a, da onda. A velocidade de seu movimento e , portanto, v a .
A velocidade v varia de maneira not avel para perodos de tempo da ordem de e para comprimentos de onda,
, dependendo da direcao de propagacao da onda. Desta forma, a derivada da velocidade em relacao ao tempo e
56 [150] e [213] ignoram o assunto e mesmo o excelente [77] atribui erroneamente a normaliza ca
o de p, l, m `
as relaco
es de ortogonalidade
(15.148).
57 No ano de 2005, alunos de gradua ca
o do Instituto de Fsica da Universidade de S
ao Paulo. Ttulo original da monografia: Propagaca o
de ondas na superfcie de um lquido contido em tanques circulares - uma breve an alise, apresentada no curso de Mec anica dos Fluidos
ministrado pelo Prof. M. Cattani.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 943/2103
aproximadamente v , e v e a diferenca de velocidades entre dois pontos distintos do espaco percorridos pela partcula em
um certo intervalo de tempo. Assim, se a, que e nossa aproximacao inicial, tem-se
1a a2 1 1 v ~v
, v v, (~v ) v .
t
~
v
Vemos que (~v ) ~v e desprezvel em relacao a t . Assim, obtemos para a equacao de Euler a simplificacao
~v 1
= p , (20.245)
t
onde h e a entalpia do sistema. Aplicando o rotacional em ambos os lados da equacao (20.245) obtemos:
~v = 0 ou seja, ~v = constante . (20.247)
t
No entanto, para o movimento oscilat orio, a media temporal de ~v e nula de forma que ~v = 0, sendo o fluido
potencial em primeira aproximacao (ou seja, ~v e o gradiente de um potencial, por ter rotacional nulo). Pode-se ent
ao
definir uma funcao potencial, , como sendo:
~v = (20.248)
p
= gz . (20.249)
t
Assim, temos
.
p = gz (20.250)
t
Suporemos o eixo z orientado verticalmente para cima e um sistema de coordenadas polares planas r, tendo como
origem o centro do tanque cilndrico.
Designaremos a coordenada z dos pontos da superfcie do fluido por ; e a funcao das coordenadas r, , e do tempo.
Se na superfcie a press
ao for uma constante p0 , por exemplo, a press
ao atmosferica, obteremos para a equacao (20.250)
p0 = g . (20.251)
t
Como, para um fluido incompressvel,
p0
+ t = , (20.252)
podemos definir um novo potencial por:
p0
:= + t. (20.253)
Assim,
g + = 0. (20.254)
t z=
Como e pequeno, visto que as ondas tambem o sao, podemos considerar que
(20.248) (20.253)
= vz = = , (20.255)
t z z
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 944/2103
Novamente, como as oscilacoes sao pequenas, pode-se substituir na equacao (20.256) z = 0 no lugar de z = e por .
De tal maneira, obtemos o sistema de equacoes diferencias que determinam as ondas na superfcie do fluido.
2 = 0, (20.257)
1 2
+ = 0. (20.258)
z g t2 z=0
Seja (por separacao de variaveis) (r, , z, t) = (r) A () V (z) T (t). Obtem-se de (20.257) as seguintes equacoes
para os fatores , A e V :
r2 + r + 2 r2 2 = 0 , (20.259)
A + 2 A = 0 , (20.260)
V 2 V = 0. (20.261)
Para que a solucao seja periodica em , de perodo 2, devemos ter que = m, onde m Z. Para V , obtemos de
(20.261) V (z) = Aez + Bez caso 6= 0 e V (z) = Az + B caso = 0, A e B sendo constantes. Como desejamos
uma solucao finita para z (onde localiza-se o fundo do tanque), devemos ter Re () 0 e V (z) = Aez . Disso
obtem-se V (0)/V (0) = e, por (20.258), obtemos para o fator T a equacao
T + gT = 0 . (20.262)
seguem:
Z RZ
km km r
ak, m = 2 v0 (r, ) eim Jm r d dr , (20.266)
2 R
R (km ) m2 Jm (km ) 0
Z RZ
(km )3/2 g
im km r
bk, m = 2 0 (r, ) e Jm r d dr . (20.267)
2 R
R3/2 (km ) m2 Jm (km ) 0
m " r ! r !#
X X km k r m z gkm gkm
im+ kR
vz = Jm e ak, m cos t + bk, m sen t .
m=
R R R R
k=1
Vemos dessas expressoes que as velocidades decrescem exponencialmente com a profundidade. A forma final da superfcie
e dada pela equacao (20.254) (no caso em que 0) e fica
s m " r ! r !#
X X
km k r im gkm gkm
= Jm e ak, m sen t bk, m cos t . (20.268)
m=
gR R R R
k=1
As ondas cuja propagacao e descrita pelas expressoes acima sao denominadas ondas de gravitac
ao na literatura da
Mec
anica dos Fluidos. Vide e.g. [152].
Propaga
c
ao de ondas em um tanque profundo de raio infinito
Abordaremos agora o limite em que o raio e a profundidade do tanque sao muito grandes (infinitos). Tal e o caso
se considerarmos ondas de pequeno comprimento de onda se propagando no meio de um oceano. Nesse caso teremos
novamente as equacoes (20.257)-(20.258)
2 2 2
2
2 = 0 r2 + r + + r = 0 (20.269)
r2 r 2 z 2
e
2
+ g = 0. (20.270)
t2 z z=0
Para fazermos a separacao de variaveis suporemos que pode ser escrita como
e
ABC(0)D + gABC (0)D = 0 . (20.273)
Para resolver a equacao (20.272) iremos dividi-la por ABCD = . Sempre poderemos fazer isso desde que a solucao
para n
ao seja a solucao trivial. Tambem iremos supor que as seguintes condicoes sao obedecidas:
B
= cte. = 2 . (20.274)
B
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 946/2103
e
C
= cte. = k 2 . (20.275)
C
Discutiremos se e k sao ou n
ao reais mais tarde. Levando em conta (20.274) e (20.275), (20.272) fica:
A A
r2 +r = 2 k 2 r2 = r2 A + rA + (r2 k 2 2 )A = 0 . (20.276)
A A
B() = ei + ei , (20.278)
Ek = tk ,
Fk = tk .
Para determinarmos essas constantes em termos de k e , precisamos escolher condicoes iniciais. Lembrando ent ao as
equacoes que foram deduzidas para as ondas pequenas (e que tambem valem nesse caso) para a coordenada z dos pontos do
ao podemos escrever as condicoes em termos de T (r, , t) =
fluido na superfcie, . Ent
t |z=0 e de Z(r, , t) = z |z=0
no instante t = 0
Para tanto usaremos a transformada de Hankel58 (tambem conhecida como transformada de Fourier-Bessel) e a
relacao de ortogonalidade da funcao einx :
Z
F(q) = H (f )(q) = f (x) qxJ (qx) dx , (20.282)
0
Z
f (x) = H1 (F)(x) = F(q) qxJ (qx) dq , (20.283)
0
Z
ei(mn)x dx = 2mn . (20.284)
58 Hermann Hankel (18391873).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 947/2103
Ent
ao, se Sk (r, ) = Z(r, , 0), tem-se
Z Z
X
Sk (r, ) = kJ (rk)ei Ek = Sei d = 2kJ (rk)Ek dk
0 =
Z r ! Z
k
rS(r, )ei
= 2kJ (rk)Ek dk = H1 2 Ek = kEk = H d ,
0 r 2
p Z Z
X p
i
Rk (r, ) = gkJ (rk)Fk = Re d = 2 gkJ (rk)Fk dk =
0 =
Z r r Z
p g r 1
= 2 gkJ (rk)Fk dk = H1 2 Fk = Fk = H Rei d
0 r g 2
e, portanto, s Z Z
k rT (r, , 0) i
Fk = e J (rk) d dr . (20.286)
g 0 2
p0 1
(r, , t) = (r, , 0, t) . (20.289)
g g t
v 1 p
= , (20.292)
t r
vz p
= . (20.293)
t z
p
= p0 + g (h z)
onde h e altura da superfcie do fluido medida a partir do fundo, obteremos, substituindo esta em (20.291) e em (20.292),
a aproximacao
vr h
= g , (20.294)
t r
v g h
= , (20.295)
t r
vz
= 0. (20.296)
t
A equacao de continuidade
t + (~ v ) = 0 reduz-se, para fluidos incompressveis (ou seja, com = const.) a
~v = 0. Em coordenadas cilndricas isso significa
vz 1 (rvr ) 1 v
+ + = 0.
z r r r
Integrando-se essa equacao em z entre z = 0 (fundo do tanque) e z = h(r, , t) := h0 + (r, , t) (superfcie superior do
fluido), obtemos
Z h Z h
1 (rvr ) 1 v
vz (r, , h(r, , t), t) + dz + dz = 0 ,
0 r r 0 r
1 (rvr ) 1 v
vz (r, , h(r, , t), t) + h(r, , t) + h(r, , t) = 0,
r r r
h
Lembrando que vz (r, , h, t) = t , obtemos
h h (rvr ) h v
+ + = 0.
t r r r
Podemos notar que a expressao entre parenteses e o Laplaciano bidimensional escrito em coordenadas polares. Com
isso podemos escrever (20.297) mais sucintamente como:
2
gh0 2 = 0 . (20.298)
t2
Vemos
que esta e uma equacao de ondas em duas dimensoes, que corresponde a ondas com velocidade de propagacao
gh0 (Coment ario en pasant: o fato de a velocidade de propagacao diminuir com a profundidade do tanque explica
o por que de uma onda quebrar ao se aproximar de uma praia). As ondas cuja propagacao e descrita por (20.298)
sao denominadas grandes ondas de gravitacao na literatura da Mecanica dos Fluidos. Vide e.g. [152]. Como desejamos
conhecer a forma de ondas na superfcie de um tanque cilndrico devemos aplicar o metodo de separacao de variaveis `a
equacao (20.298).
Supondo da forma (r) A () T (t) na equacao (20.298), teremos:
2
T + T = 0, (20.299)
gh0
r2 + r + 2 r2 2 = 0, (20.300)
A + 2 A = 0 . (20.301)
Devido `a expressao (20.294), e ao fato de a velocidade radial vr ser nula na borda do tanque (quando r = R) para
todo tempo t, constatamos que devemos ter = h
r r r=R = 0. Essa rela cao deve ser entendida como condicao de
r=R
contorno (do tipo de Neumann) a ser satisfeita pela funcao (r, ).
Resolvendo sistema de equacoes diferenciais (20.299)-(20.301) sujeito `a condicao de contorno de que a derivada de
em relacao ao raio deve anular-se em r = R a solucao para o perfil das ondas na superfcie do lquido sera:
X
X m m
km gh0 t k gh0 t k r
(r, , t) = ak,m cos + bk,m sen Jm eim , (20.302)
R R R
k=1 m=
onde = m N0 para que a solucao seja periodica de perodo 2 em e onde, como anteriormente, km designa o
k-esimo zero de Jm em R+ \ {0}. Para a parte radial, n ao consideramos as funcoes de Neumann como possveis solucoes
da equacao de Bessel, pois estas n
ao sao compatveis com a finitude da energia, devido `a presenca de uma singularidade
na origem.
Supondo, como condicoes iniciais, que a superfcie do lquido tenha uma forma descrita por uma funcao 0 (r, ) e
uma distribuicao de velocidades verticais dada por v0 (r, ) em t = 0, teremos:
X
X
km r
0 (r, ) = ak, m Jm eim , (20.303)
R
k=1 m=
X
X m
km gh0 k r
v0 (r, ) = bk, m Jm eim . (20.304)
R R
k=1 m=
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 950/2103
Z RZ
1 im km r
bk, m = 2 v0 (r, ) e Jm r drd . (20.306)
m 2 0 R
R gh0 km 1 km (Jm (km ))
Essas expressoes determinam completamente os coeficientes ak, m e bk, m para todos k e m em termos das condicoes
iniciais.
20.10 Equaco
es Hiperbolicas Lineares em 1+1 Dimens
oes e
Equaco
es Integrais
Um metodo importante de resolucao de equacoes diferenciais submetidas a condicoes iniciais ou de contorno consiste
em transforma-las em equacoes integrais e resolve-las, por exemplo, por um procedimento iterativo. Tal procedimento e
familiar ao estudo das equacoes diferenciais ordin
arias e, como naquele caso, pode fornecer em alguns casos garantias de
unicidade e existencia de solucoes.
Aqui, seguindo proximamente o tratamento de [90], ilustraremos o uso de equacoes integrais no tratamento da equacao
hiperb
olica linear de segunda ordem de coeficientes constantes e inomogenea
2 u 2
2 u u u
2
c 2
+ au + b +d = F (x, t) , (20.307)
t x t x
com x R e t R, onde a, b, c, d R sao constantes arbitrarias mas com c > 0. Essa equacao (que e de tipo
hiperbolico) generaliza a equacao de ondas em uma dimensao e inclui alguns casos particulares de interesse, como a
equac
ao do telegrafo (caso d = 0), a equac
ao de ondas amortecidas (caso a = d = 0) (tambem conhecida como equac ao
de difusao relativstica para b = c2 /D, com D > 0 sendo a constante de difusao) e a equac ao de Klein-Gordon (caso
b = d = 0, a 6= 0). A funcao F , sob a qual serao feitas algumas exigencias adiante, n
ao depende de u ou suas derivadas
e representa uma forca externa agindo em cada ponto x do sistema em cada instante t. Consideraremos o problema de
Cauchy no qual sao dadas as condicoes iniciais
u
u(x, 0) = f (x) e (x, 0) = g(x) (20.308)
t
que fixam posicao e velocidade de u no instante t = 0, f e g sendo funcoes dadas sobre as quais algumas (poucas)
exigencias serao feitas adiante.
O procedimento que seguiremos n ao so permitira demonstrar existencia e unicidade de solucao para esse problema
como permitira obter f
ormulas relativamente explcitas para a solucao, o que nem sempre ocorre quando equacoes integrais
sao empregadas como metodo de resolucao.
O primeiro passo e passar a coordenadas caractersticas
+
= x + ct , = x ct , com o que x = et = .
2 2c
Definindo v por u(x, t) =: v(, ) = v (x + ct, x ct) a equacao (20.307) fica
2v bc + d v bc d v a 1 +
+ v = F , . (20.309)
4c2 4c2 4c2 4c2 2 2c
Essa equacao sofre uma grande simplificacao se definirmos uma nova funcao w multiplicando v por um fator conve-
niente:
d bc d + bc
w(, ) := exp v(, )
4c2 4c2
d bc d + bc +
= exp u , , (20.310)
4c2 4c2 2 2c
ou seja, escrevendo
d bc d + bc
v(, ) =: exp + w(, )
4c2 4c2
com o que a equacao (20.309) fica
2w
+ w = G(, ) , (20.311)
onde
4ac2 + d2 b2 c2 1 d bc d + bc +
= e G(, ) := 2 exp F , .
16c4 4c 4c2 4c2 2 2c
Essa ultima condicao (20.313) pode ser escrita na forma de duas condicoes acopladas sobre a linha = . Calculando
d
a derivada total de ambos os lados de (20.312) em relacao a (lembrar que d w(, ) = w (, ) + w (, )) tem-se
w w d d
(, ) + (, ) = f () f () exp .
2c2 2c2
w w
Dessa igualdade e de (20.313) obtem-se facilmente expressoes para (, ) e (, ):
w 1 bc d 1 d
(, ) = f () + f () + g() exp =: ()
2 2c2 c 2c2
w 1 bc + d 1 d
(, ) = f () f () g() exp =: ()
2 2c2 c 2c2
2w
+ w = G(, ) , (20.314)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 952/2103
sob as condicoes
w
(, ) = () (20.316)
w
(, ) = () (20.317)
com a constante e as funcoes G, h, e definidas acima.
Para o que segue e relevante notar que h = + , o que implica
Z Z
h() h() = (s) ds + (s) ds ,
R R
de onde se conclui que h() (s) ds = h() + (s) ds, o que implica
Z Z Z
h() + h() 1 1
h() (s) ds = + (s) ds (s) ds . (20.318)
2 2 2
O que faremos agora e transformar o problema (20.314)-(20.317) em uma equacao integral e, para tal, tomamos um
ponto (, ) no semi-plano > do plano - e integramos ambos os lados de (20.314) no triangulo fechado (, ),
indicado na Figura 20.11, p
agina 952, definido pelos pontos (, ), (, ) e (, ).
(, )
(, )
(, ) (, )
Figura 20.11: O triangulo fechado (, ) definido pelos pontos (, ), (, ) e (, ) com > . A figura tambem
indica a linha = onde as condicoes iniciais est
ao definidas. Na Figura 20.12, p
agina 953, esse triangulo e representado
no plano xt.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 953/2103
(x, t)
Figura 20.12: O triangulo fechado (, ) representado no plano xt. As linhas inclinadas representam o cone de luz
passando pelo ponto (x, t). O segmento em negrito no eixo x representa o domnio de dependencia de (x, t) em t = 0
(vide p
agina 905).
Z
w w
= (, ) (, ) d
Z
w
= w(, ) w(, ) (, ) d
Z
(20.315) e (20.317)
= h() w(, ) () d . (20.319)
Z Z
(20.318) h() + h() 1 1
= w(, ) + + () d () d . (20.320)
2 2 2
onde := , isto e,
bc d 1 d
() = f () + g() exp .
2c2 c 2c2
2 w
Substituindo do lado direito usando (20.314), obtemos
x
w(, ) = H(, ) + w(, ) dd (20.321)
(, )
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 954/2103
onde introduzimos Z x
h() + h() 1
H(, ) := + () d G(, ) dd . (20.322)
2 2
(, )
A equacao (20.321) e a equacao integral prometida que equivale (como pode ser facilmente constatado) ao problema
(20.314)-(20.317). Ela pode ser resolvida iterativamente e para provar existencia e unicidade da solucao assim obtida
faremos uso da Proposicao 20.4, que passamos a tratar.
Para A > B fixo seja C((A, B)) o espaco das funcoes contnuas definidas no triangulo fechado (A, B) do plano
-. Como e bem sabido, C((A, B)) e um espaco metrico completo para a metrica do supremo
n o
d r1 , r2 = sup r1 (, ) r2 (, ), (, ) (A, B) ,
define uma nova funcao de C((A, B)) (verifique!). Notar que (, ) (A, B) se (, ) (A, B).
Proposi ao 20.4 Existe m N grande o suficiente tal que T m e uma contrac
c ao, ou seja, existe q com 0 q < 1 tal
que para todo 1 , 2 C((A, B)) vale d (T m (1 ), T m (2 )) qd (1 , 2 ); 2
Assim,
x ( )2
T (1 )(, ) T (2 )(, ) || d (1 , 2 ) dd = || d (1 , 2 ) . (20.323)
2
(, )
Portanto,
x
2
T (1 )(, ) T 2 (2 )(, ) = T (1 )(, ) T (2 )(, ) dd
(, )
(20.323) x ( )2
||2 d (1 , 2 ) dd
2
(, )
( )4
= ||2 d (1 , 2 ) .
4!
valida para todo n N e cuja demonstracao deixamos como exerccio (faca-o!). Da, e facil provar por inducao que
( )2n
n
T (1 )(, ) T n (2 )(, ) ||n d (1 , 2 )
(2n)!
para todo n N.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 955/2103
Pela generalizacao do Teorema do Ponto Fixo de Banach representado pela Proposicao 26.1, p
agina 1256, conclumos
que T tem um e somente um ponto fixo, ou seja, existe uma e somente uma funcao contnua w em (A, B) tal que
T (w) = w, ou seja, que satisfaz (20.321). Pelo Teorema Ponto Fixo de Banach, Teorema (26.1), p agina 1252, essa
aplicacao pode ser obtida pelo limite lim T n (w0 ) a partir de qualquer w0 C((A, B)).
n
Escolhendo w0 como sendo a funcao identicamente nula w0 0 teremos T (w0 )(, ) = H(, ),
x
T 2 (w0 )(, ) = H(, ) + H(, ) dd
(, )
e x x x
T 3 (w0 )(, ) = H(, ) + H(, ) dd + 2 H(, ) dd dd .
(, ) (, ) (, )
Ou
ltimo termo e uma integral na regi
ao
. (20.324)
Vamos determina-la calculando sucessivamente as integrais na seguinte ordem: , , e . Fazendo as integrais nessa
ordem e levando em conta os limites de integracao fixados em (20.324), obtemos
x x Z Z Z Z
H(, ) dd dd = H(, ) d d d d
(, ) (, )
Z Z Z
= ( )H(, ) d d d
Z Z
= ( )( )H(, )d d
x
= ( )( )H(, ) dd
(, )
Com isso, x h i
T 3 (w0 )(, ) = H(, ) + + 2 ( )( ) H(, ) dd .
(, )
Como antes,
x x Z Z Z Z
( )l ( )l H(, ) dd dd = ( )l ( )l H(, ) d d d d
(, ) (, )
Z Z Z
( )l+1
= ( )l H(, ) d d d
l+1
Z Z
( )l+1 ( )l+1
= H(, ) d d
(l + 1)2
x ( )l+1 ( )l+1
= H(, ) dd .
(l + 1)2
(, )
Logo,
"n2 #
x x X )l+1 ( )l+1
n+1 l+2 (
T (w0 )(, ) = H(, ) + H(, ) dd + H(, ) dd
((l + 1)!)2
(, ) (, ) l=0
l
x
n1
X ( )( )
= H(, ) + H(, ) dd ,
(l!)2
(, ) l=0
provando (20.325).
Como a solucao w e dada por lim T n (w0 ), obtemos
n
l
x
X ( )( )
w(, ) = H(, ) + H(, ) dd .
(l!)2
(, ) l=0
De acordo com a definicao das funcoes de Bessel modificadas introduzidas em (14.136), p agina 638, a funcao de Bessel
X
1 z 2l
modificada de ordem 0 e dada por I0 (z) := , serie essa que converge absolutamente para todo z C.
(l!)2 2
l=0
Conclumos que x p
w(, ) = H(, ) + I0 2 ( )( ) H(, ) dd . (20.326)
(, )
d bc d + bc
u(x, t) = exp (x + ct) + (x ct) H(x + ct, x ct)
4c2 4c2
x p
+ I0 2 (x + ct )( x + ct) H(, ) dd (20.327)
(x+ct, xct)
com H dado em (20.322). A esta solucao pode-se chegar tambem por outros metodos, como o metodo da funcao de
Green e ou o metodo da funcao de Riemann, que discutiremos adiante.
Para a equacao de ondas, temos a = b = d = 0 e, nesse caso = 0. A solucao u fica u(x, t) = H(x ct, x + ct), isto
e, Z
x+ct x
f (x + ct) + f (x ct) 1 1 +
u(x, t) = + g(s) ds + 4 F , dd .
2 2c xct 4c 2 2c
(xct, x+ct)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 957/2103
20.11 Aplica
coes do M
etodo da Fun
cao de Green
Um metodo importante para a solucao de equacoes diferenciais lineares nao-homogeneas, submetidas a certas condicoes
de contorno, e o chamado metodo da func ao de Green59 . Esse metodo e de relevancia tanto teorica quanto pratica em
diversas areas da Fsica, como no Eletromagnetismo, na Teoria de Transporte (como na Teoria da Difusao de Calor),
na Teoria da Elasticidade e na Mec anica dos Fluidos. Nesta Secao vamos descrever operacionalmente como o metodo
funciona e tratar de diversos exemplos de aplicacao. Faremos uso de transformadas de Fourier e um certo conhecimento
previo da nocao de distribuic
ao sera tambem suposto. Tais nocoes sao desenvolvidas no Captulo 36, p agina 1732.
Advertimos o leitor quando ao fato que, no esprito do presente captulo, concentraremo-nos nos aspectos operacionais
do metodo da funcao de Green, deixando sua discuss ao matematicamente precisa para o Captulo 36, p agina 1732.
O m
etodo da fun
c
ao de Green
Vamos brevemente descrever o chamado metodo da func ao de Green para a resolucao de equacoes diferenciais lineares
ao-homogeneas em um aberto conexo de Rn submetidas a condicoes de contorno lineares
com coeficientes constantes e n
e homogeneas na fronteira de , tais como condicoes de Dirichlet ou Neumann.
Seja 1 , . . . , N um conjunto de n-multi-ndices60 n
ao-nulos distintos com |1 | |N |. Seja L um operador
diferencial linear de ordem |N | com coeficientes constantes da forma
N
X N
X |k |
L = ak Dk = ak ,
x
1
1
x
n
n
k=1 k=1
onde a1 , . . . , aN sao constantes. Consideremos a equacao diferencial linear com coeficientes constantes e n
ao-homogenea
Lu = h ,
definida em um aberto conexo Rn . A funcao h h(x1 , . . . , xn ) supostamente satisfaz certas condicoes, tais como
como um rapido decaimento no infinito de algumas de suas derivadas (caso n ao seja limitado) ou outras que garantam
a existencia de solucoes. Em muitos problemas sao tambem supostas condicoes de contorno lineares e homogenea sobre
u, ou seja, condicoes que u deve satisfazer na fronteira de , tais como condicoes de Dirichlet, de Neumann ou condicoes
mistas (sempre homogeneas). Uma soluc ao fundamental associada ao operador L e uma solucao da equacao
Lx H(x, y) = (x y) .
De posse de uma solucao fundamental para L podemos obter uma solucao particular up de Lu = h com
Z
up (x) = H(x, y)h(y) dy ,
R R
pois, como se constata, Lup (x) =
Lx H(x, y)h(y) dy =
(x y)h(y) dy = h(x).
59 George Green (17931841).
60 A noca
o de multi-ndice foi introduzida na Seca
o 16.1, p
agina 725.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 958/2103
A uma solucao fundamental podemos adicionar uma solucao da equacao homogenea Lu = 0, obtendo-se, assim, uma
nova solucao fundamental. Uma solucao fundamental que forneca uma solucao particular up satisfazendo as condicoes
de contorno lineares e homogeneas do problema considerado e dita ser uma funcao de Green do problema em quest ao.
No que segue vamos mostrar como obter solucoes fundamentais e funcoes de Green de alguns problemas de interesse
fsico.
20.11.1 A Equac
ao de Poisson em Tr
es Dimens
oes
Consideremos a equac ao de Poisson61 em R3 : u = h, equacao essa que surge naturalmente em problemas de Ele-
trost
atica. Uma solucao fundamental para a equacao de Poisson satisfaz
x H(x, y) = (x y) , (20.328)
x, y R3 . Seja H(p, y), com p R3 , a transformada de Fourier inversa (em relacao `a variavel x) de H(x, y):
Z
1
H(p, y) := eipx H(x, y) d3 x .
(2)3/2 R3
R
Como H(x, y) = (2)13/2 R3 eipx H(p, y) d3 p vemos que (20.328) fica
Z
1
eipx kpk2 H(p, y) d3 p = (x y) ,
(2)3/2 R3
pois x eipx = kpk2eipx . Tomando-se a transformada de Fourier inversa de ambos os lados dessa expressao, obtemos
1
kpk2H(p, y) = eipy .
(2)3/2
Logo, Z
1 1 ip(xy) 3
H(x, y) = e d p.
(2)3 R3 kpk2
Para calcular esta integral, assumamos x 6= y e adotemos um sistema de coordenadas esfericas (r, , ) com r kpk e
com o eixo z coincidindo com a direcao de x y. Teremos,
Z
1 1 ip(xy) 3
H(x, y) = e d p
(2) R3 kpk2
3
Z Z Z
1 1 irkxyk cos 2
= e r sen drdd
(2)3 0 0 r2
Z Z
1 irkxyk cos
= e sen d dr
(2)2 0 0
Z Z 1
u=cos 1 irkxyku
= e du dr
(2)2 0 1
Z
2 sen rkx yk
= dr
(2)2 0 rkx yk
1 1
= .
4 kx yk
R sen t
Na u
ltima igualdade usamos que 0 t dt = 2.
61 Sim
eon Denis Poisson (17811840).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 959/2103
para x 6= y. Uma solucao fundamental mais geral e obtida adicionando-se a esta uma solucao da equacao de Laplace
u = 0. Do Teorema 19.1, p agina 861, aprendemos, porem, que se exigirmos que u e seu gradiente decaiam rapidamente
a zero no infinito, ent
ao u dever
a ser identicamente nula. Assim, podemos
afirmar que a funcao de Green para a equacao
3
~
de Poisson em R sob as condicoes lim |u(y)| = 0 e lim kyk
u(y)
= 0 e (20.329).
kyk kyk
pressupondo, e claro, que a funcao h seja tal que a integral acima esteja bem definida e seja tal que as condicoes de
contorno mencionadas sejam satisfeitas. Vide Teorema 19.2, p agina 862.
20.11.2 A Equac
ao de Difus
ao N
ao-Homog
enea
Consideremos a equac
ao de difus
ao n
ao-homogenea em n dimensoes espaciais
D u(x, t) = h(x, t) , (20.331)
t
com x = (x1 , . . . , xn ) Rn e com D > 0, constante. Para esse caso, interessamo-nos pela solucao fundamental associada
ao operador de difus ao L = t D, ou seja, pela solucao G de
Dx G(x, t; x , t ) = (x x )(t t ) , (20.332)
t
b
com x, x Rn e t, t R. Seja G(p, p0 ; x , t ) a transformada de Fourier inversa de G em relacao `as variaveis (x, t):
Z
b 1
G(p, p0 ; x , t ) := eipx+ip0 t G(x, t; x , t ) dn xdt ,
(2)(n+1)/2 Rn+1
com p Rn e p0 R. Como
Z
1 b
G(x, t; x , t ) = eipxip0 t G(p, p0 ; x , t ) dn pdp0 , (20.333)
(2)(n+1)/2 Rn+1
onde kpk2 = p21 + + p2n . Tomando a transformada inversa de ambos os lados em relacao a (x, t), teremos
1
b
ip0 + Dkpk2 G(p, p0 ; x , t ) = eipx +ip0 t . (20.334)
(2)(n+1)/2
Z Z
!
i ip(xx ) eip0 (tt )
= e dp0 dn p .
(2)(n+1) Rn p0 + iDkpk2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 960/2103
R eip0 (tt )
A integral p0 +iDkpk2 dp0 pode ser calculada pelo metodo de integracao no plano complexo. Temos
Z Z R I
eip0 (tt ) eip0 (tt ) eiz(tt )
dp0 = lim dp0 = lim dz ,
p0 + iDkpk2 R R p0 + iDkpk2 R CR z + iDkpk2
CR
R
R R
R R
R
z0 z0
CR
Figura 20.13: Os dois caminhos de integracao CR em C. Em ambos z0 = iDkpk2 . O esquerdo e tomado caso t t < 0
e o direito caso t t > 0.
iz(tt )
e
A funcao de variavel complexa z 7 z+iDkpk 2 exibe uma u olo simples, em z0 = iDkpk2
nica singularidade, de tipo p
z0 , n
umero complexo esse que tem parte real nula e parte imaginaria negativa (vide Figura 20.13).
H
eiz(tt )
No caso t t < 0 n ao h
a singularidades dentro da regiao limitada pela curva CR e, portanto, CR z+iDkpk 2 dz = 0.
2
No caso t t > 0 o integrando possui um p olo simples em z0 = iDkpk , como mencionamos. Assim, a formula integral
H
eiz(tt ) 2
de Cauchy diz-nos que nesse caso vale CR z+iDkpk2 dz = 2ieD(tt )kpk (o sinal - em frente dessa expressao sendo
devido ao fato de a integracao ser, nesse caso, tomada no sentido hor ario). Temos, portanto, no caso geral
I
eiz(tt ) 2
2
dz = H(t t )2ieD(tt )kpk ,
CR z + iDkpk
1, se x 0 ,
onde H e a funcao de Heaviside62 : H(x) := Vide (36.124). Temos, portanto,
0, se x < 0 .
Z
1 2
G(x, t; x , t ) = H(t t ) eip(xx )D(tt )kpk dn p
(2)n Rn
2
kxx k
4D(tt Z
(xx )
2
e )
D(tt )
p+i 2D(tt )
= H(t t ) e dn p
(2)n Rn
kxx k 2
4D(tt
e )
= H(t t ) n/2 .
4D(t t )
A integral Gaussiana, acima, pode ser calculada de diversas formas (vide, por exemplo, (36.37) ou (36.42)). Assim, a
62 Oliver Heaviside (18501925).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 961/2103
interessante observar que a solucao acima obedece o princpio de causalidade (causas precedem seus efeitos), manifesto
E
no fato que o valor de u no instante t depende dos valores de h em instantes t com t t e n ao dos valores futuros com
t > t.
20.11.3 A Equac
ao de Ondas N
ao-Homog
enea em n + 1-Dimens
oes
Vamos agora considerar a equacao de ondas n ao-homogenea em n + 1 dimensoes, i.e., n dimensoes espaciais e uma
temporal com n 1. Vamos desenvolver algumas ideias para n arbitrario e depois iremos nos especializar nos casos
n = 3, n = 2 e n = 1. A equacao considerada e
1 2
2 2 u(x, t) = h(x, t) . (20.336)
c t
x Rn , t R, com c > 0, constante. No caso n = 3, essa equacao e de suma import ancia em Fsica, sobretudo na
2
Eletrodinamica. O operador diferencial a ser considerado e o operador de onda L = c12 t2 cuja solu
cao fundamental
a ser obtida satisfaz,
1 2
x 2 2 G(x, t; x , t ) = (x x )(t t ) . (20.337)
c t
b
Seja G(p, p0 ; x , t ) a transformada de Fourier inversa de G em relacao `as variaveis (x, t):
Z
b 1
G(p, p0 ; x , t ) := eipx+ip0 t G(x, t; x , t ) dn xdt ,
(2)(n+1)/2 Rn+1
com p Rn e p0 R. Como
Z
1 b
G(x, t; x , t ) = eipxip0 t G(p, p0 ; x , t ) dn pdp0 , (20.338)
(2)(n+1)/2 Rn+1
onde kpk2 = p21 + + p2n . Tomando a transformada inversa de ambos os lados em relacao a (x, t), teremos
b c2
p20 c2 kpk2 G(p, p0 ; x , t ) = eipx +ip0 t . (20.339)
(2)(n+1)/2
Uma distincao importante entre essa relacao e (20.334)e que o fator p20 c2 kpk2 possui zeros reais (para p0 ) em
p0 = ckpk, enquanto que em (20.334) o fator ip0 Dkpk2 possui apenas o zero complexo em p0 = iDkpk2 . Esse fato
b de (20.339) e determinada a menos de uma combinacao linear
se reflete na importante observacao de que a solucao G
1 1
+ (p, x , t ) (p0 ckpk) + (p, x , t ) (p0 + ckpk)
kpk kpk
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 962/2103
e de (20.338) obtemos
Z
c2 eip(xx )ip0 (tt )
G(x, t; x , t ) = dn p dp0
(2)n+1 Rn+1 p0 ckpk p0 + ckpk
Z Z
1 + (p, x , t ) ipxickpkt n 1 (p, x , t ) ipx+ickpkt n
+ e d p+ e d p , (20.340)
(2)(n+1)/2 Rn kpk (2)(n+1)/2 Rn kpk
Z
c2 eip(xx )ip0 (tt )
G0 (x, t; x , t ) = dn pdp0
(2)n+1 Rn+1 p0 ckpk p0 + ckpk
Z Z
!
c2 eip0 (tt )
= dp0 eip(xx ) dn p . (20.341)
(2)n+1 Rn p0 ckpk p0 + ckpk
As integrais acima devem ser entendidas no sentido de valor principal e vamos passar agora a delicada tarefa de calcula-las
e analisa-las. A integral em p0 , que denotamos por I(t t ), e dada por63
Z
eip0 (tt )
I(t t ) = lim lim IR, (t t ) , onde IR, (t t ) := dp0 , (20.342)
R 0 L(R, ) p0 ckpk p0 + ckpk
ou seja,
Z ckpk
eip0 (tt )
IR, (t t ) := dp0
R p0 ckpk p0 + ckpk
Z ckpk Z R
eip0 (tt ) eip0 (tt )
+ dp0 + dp0 .
ckpk+ p0 ckpk p0 + ckpk ckpk+ p0 ckpk p0 + ckpk
I(t t ) e melhor calculada encarando as integrais acima como integrais no plano complexo e escrevendo
Z Z Z
eiz(tt ) eiz(tt ) eiz(tt )
IR, (t t ) = dz dz dz ,
BR, z ckpk z + ckpk A1, z ckpk z + ckpk A2, z ckpk z + ckpk
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 963/2103
2 2
R z0 z0 R
0
Figura 20.14: Os tres segmentos com maior espessura representam o conjunto de segmentos de reta L(R, ). Acima,
z0 = ckpk.
A 1, A 2,
R z0 z0 R
0
Figura 20.15: O caminho de integracao BR, , conectando R a R com os semi-crculos A1, e A2, . Acima, z0 = ckpk.
A1, e um semi-crculo de raio centrado em ckpk e A2, e um semi-crculo de raio centrado em ckpk.
onde Z
eiz(tt )
JR, (t t ) := dz .
BR, z ckpk z + ckpk
Antes de calcularmos JR, (t t ), e importante observarmos que a contribuicao dos dois u
ltimos termos de (20.343) a
G0 (x, t; x , t ) (vide (20.341)) e
Z Z
ic eickpk(tt ) ip(xx ) n ic eickpk(tt ) ip(xx ) n
e d p e d p
2(2)n+1 Rn kpk (2)n+1 Rn kpk
63 A ordem dos limites em (20.342) n
ao pode ser alterada.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 964/2103
e a contribuicao desses dois termos a G(x, t; x , t ) (vide (20.340)) pode ser absorvida nos dois u
ltimos termos de
(20.340) pela substituicao
ic
(p, x , t ) (p, x , t ) (n+1)/2
eipx ickpkt .
2(2)
Passemos agora `a determinacao de JR, (t t ). Utilizando uma tecnica bem-conhecida de integracao complexa,
podemos substituir a curva BR, por uma das curvas fechadas CR, indicadas na Figura 20.16, p agina 964, dependendo
de t t ser positivo ou negativo, desde que a integral sobre o arco de crculo AR (vide Figura 20.16) va a zero quando
o limite R for tomado.
A
R
C
R,
A 1, A 2, A 1, A 2,
R R
R z0 z0 R z0 z0
C
R,
A
R
Figura 20.16: Os caminhos de integracao CR, (curvas fechadas) e os semi-crculos A1, , A2, e AR . Acima, z0 = ckpk.
A1, e um semi-crculo de raio centrado em ckpk e A2, e um semi-crculo de raio centrado em ckpk. Por sua vez, AR
e um semi-crculo de raio R centrado em 0. Os eixos horizontal e vertical sao os eixos real e imaginario, respectivamente.
O caminho de integracao CR, ` a esquerda e tomado quando t t < 0 e o caminho de integracao CR, `a direita e tomado
quando t t > 0. No interior da regi ao delimitada pela curva CR, `a esquerda n ao ocorrem polos do integrando, mas
sim no interior da regi ao delimitada pela curva CR, `a direita, a saber em z0 .
Para t t < 0 devemos fechar a curva por cima e para t t > 0 devemos fechar a curva por baixo (vide Figura
20.16). No caso t t < 0 a integral em CR, anula-se, pois o integrando n ao possui singularidades no interior da regiao
delimitada por CR, . No caso t t > 0 a integral em CR, e n ao-nula, pois o integrando tem dois p olos simples no
interior da regiao delimitada
por CR, , a saber
em p 0 = ckpk. De acordo com a f
o rmula integral de Cauchy o resultado
ickpk(tt ) ickpk(tt )
da integral e 2i e 2ckpk + e 2ckpk , o sinal - global sendo devido ao fato de a integral ser tomada em sentido
ario. Assim, para todo t t temos
hor
!
i eickpk(tt ) eickpk(tt ) 2 sen ckpk(t t )
JR, (t t ) = H(t t ) = H(t t ) .
c kpk kpk c kpk
e dada por
Z Z
ic 1 ickpk(tt )ip(xx ) n 1 ickpk(tt )ip(xx ) n
Gret (x, t; x , t ) := H(t t ) e d p e d p
2(2)n Rn kpk Rn kpk
Z
c sen ckpk(t t ) ip(xx ) n
= H(t t ) e d p. (20.344)
(2)n Rn kpk
O c alculo das integrais em (20.344) depende fortemente da dimensao n e no que segue iremos nos especializar nos
casos fisicamente mais relevantes, a saber n = 3, n = 2 e n = 1.
20.11.3.1 A Equac
ao de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes
Vamos agora calcular as integrais em (20.344) no caso n = 3. Adotando um sistema de coordenadas esfericas (r, , )
com r kpk e com eixo z na direcao de x x , teremos p (x x ) = rkx x k cos e
Z Z Z Z
1 ickpk(tt )ip(xx ) 3 1 icr(tt )irkxx k cos 2
e d p = e r sen drdd
R 3 kpk 0 0 r
Z Z
= 2 eicr(tt )irkxx k cos r sen drd
0 0
Z Z
= 2 eicr(tt ) eirkxx k cos sen d r dr
0 0
Z Z 1
u=cos
= 2 eicr(tt ) eirkxx ku du r dr
0 1
Z
2 c(tt )+kxx k ir c(tt )kxx k
= eir e dr
ikx x k 0
e, analogamente,
Z Z
1 ickpk(tt )ip(xx ) 3 2 c(tt )kxx k c(tt )+kxx k
e d p = eir eir dr
R 3 kpk ikx x k 0
Z 0
rr 2 c(tt )+kxx k c(tt )kxx k
= eir eir dr
ikx x k
Z Z
c H(t t ) c(tt )+kxx k c(tt )kxx k
Gret (x, t; x , t ) = eir dr eir dr
8 2 kx x k
Z Z
s:=cr 1 H(t t ) is (tt )+
kxx k
is (tt )
kxx k
= e c
ds e c
ds
8 2 kx x k
(36.48) 1 H(t t ) kx x k kx x k
= (t t ) + (t t )
4 kx x k c c
1 1 kx x k
= (t t ) ,
4 kx x k c
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 966/2103
sendo que, na u
ltima igualdade, usamos o fato que
(x x0 ) , se x0 > 0 ,
H(x)(x x0 ) =
0, se x0 < 0 .
1 1 kx x k
G(x, t; x , t ) = (t t
)
4 kx x k c
Z Z
1 + (p, x , t ) ipxickpkt 3 1 (p, x , t ) ipx+ickpkt 3
+ 2 e d p+ 2 e d p.
4 R3 kpk 4 R3 kpk
Ate o presente as funcoes est ao indeterminadas, mas e o momento de fazermos certas escolhas baseadas em
imposicoes de natureza fsica `
as solucoes. Impondo o princpio de causalidade, devemos adotar = 0, o que nos leva `a
chamada func ao de Green retardada,
1 1 kx x k
Gret (x, t; x , t ) := (t t
) (20.345)
4 kx x k c
2
como uma solucao fundamental do operador de onda c12 t
2 em 3 + 1-dimens
oes. De fato, a expressao do lado direito
e nula caso t < t e conduz, como logo veremos, a solucoes que satisfazem o princpio de causalidade. Com (20.345)
obtemos para a equacao (20.336) a importante solucao
Z Z h x , t kxx k
1 c
uret (x, t) = Gret (x, t; x , t ) h(x , t ) d3 x dt = d3 x , (20.346)
R4 4 R3 kx x k
denominada soluc ao retardada da equac ao de ondas nao-homogenea (20.336) em 3 + 1-dimensoes.
evidente da expressao acima que o valor de uret no ponto x no instante t depende dos valores de h nos instantes
E
t kxx
c
k
, anteriores, portanto, a t. Isso pode ser interpretado como dizendo que a informacao contida no valor de h
em um certo ponto n ao chega simultaneamente a uret , mas sim com um certo retardo devido `a finitude de propagacao
de informacao. O par ametro c pode, assim, ser interpretado como a velocidade de propagacao de informacao em um
sistema fsico obedecendo (20.336).
A solucao (20.346) manifestamente satisfaz tambem o princpio de Huygens, ao exibir o fato que u(x, t) depende
4 2
somente dos valores de h na superfcie do cone de luz passado centrado em (x, t), ou seja, em (x , t ) R (x x )
2 2
c (t t ) , t t .
interessante notar tambem que se formalmente tomarmos c a equacao (20.336) transforma-se na equacao de
E
Poisson u = h em 3 dimensoes espaciais e a solucao (20.346) transforma-se na solucao (20.330).
A fun
c
ao de Green avan
cada
Durante o tratamento que nos levou a (20.345) e a (20.346) fizemos algumas escolhas que, sem que o dissessemos,
visavam alcancar solucoes que respeitassem o princpio de causalidade. A mais importante dessas escolhas foi a de
escolher os arcos A1, e A2, passando por cima dos p olos ckpk. Se tivessemos escolhido ambos os arcos passando por
baixo desses polos, como na Figura 20.17, p agina 967, teramos chegado `a chamada func ao de Green avancada,
1 1 kx x k
Gav (x, t; x , t ) :=
(t t ) + (20.347)
4 kx x k c
1 2
como uma solucao fundamental do operador de onda c2 t2 em 3 + 1-dimensoes. Com (20.347) obtemos para a
equacao (20.336) a solucao
Z Z kxx k
1 h x , t + c
uav (x, t) = Gav (x, t; x , t ) h(x , t ) d3 x dt = d3 x , (20.348)
R4 4 R3 kx x k
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 967/2103
denominada solucao avancada da equacao de ondas nao-homogenea (20.336) em 3 + 1-dimensoes. A solucao expressa
em (20.348), ainda que seja uma solucao matematicamente legtima de (20.336), nao respeita o princpio de causalidade
pois, como se percebe, o valor de uav (x, t) depende dos valores de h em instantes de tempo posteriores a t.
z 0 z0
R R
0
A 1, A 2,
Figura 20.17: O caminho de integracao BR, e os semi-crculos A1, e A2, , agora passando ambos por baixo das
singularidades em z0 = ckpk.
` primeira vista pode surpreender o estudante que solucoes desse tipo existam, mas e preciso recordar que o operador
A
2
de onda c12 t 2
e invariante pela reversao temporal t t (propriedade n ao satisfeita pelo operador de difusao
t D). Desse ponto de vista,
e natural pensarmos que a toda solu
c a
o causal como uret (x, t) corresponde uma
solucao n
ao-causal uret (x, t). O descarte de solucoes avancadas na equacao de ondas nao-homogenea nao tem origem
matematica, mas deve-se a um requerimento de origem fsica: a crenca de que causas precedem seus efeitos.
Nesse contexto e de se observar tambem que no caso da equacao de difusao o princpio de causalidade surgiu natu-
ralmente, nao precisando ser imposto por uma restricao `a solucao. Tal se deve ao fato de que o operador de difusao n
ao
ser invariante por reversao temporal t t. Isso se deve `a natureza irreversvel de processos difusivos, fato intimamente
ligado `a Segunda Lei da Termodin amica.
20.11.3.2 Aplicac
oes `
a Eletrodin
amica. Potenciais Retardados
No chamado sistema internacional de unidades (SI) as equacoes de Maxwell64 fora de meios materiais sao
~ ~
~ = ,
E ~ = 0,
B ~ = 0 J~ + 1 E ,
~ B ~ = B ,
~ E
0 c2 t t
com c = 1o 0 , onde E~ eB~ sao o campo eletrico e magnetico, respectivamente, sendo a densidade de carga eletrica e J~
sendo a densidade de corrente eletrica. Uma conseq uencia imediata das equacoes acima e a lei de conservacao de carga
eletrica, expressa na equacao t + J~ = 0.
Para e J~ dados, decaindo rapidamente a zero no infinito espacial, as equacoes de Maxwell podem ser resolvidas da
~ =0e
seguinte forma. Das equacoes B ~ E ~ = B~ escrevemos
t
~
~ =
B ~ A
~, ~ A .
~ =
E (20.349)
t
Os campos e A ~ sao denominados potencial escalar (ou potencial eletrico) e potencial vetor, respectivamente. Com isso,
~ = e
as equacoes E ~ B~ = 0 J~ + 12 E~ ficam
0 c t
~ 2 ~
A ~ ~ 1 ~ + 1 A = 0 J~ ,
= e A+ 2 A (20.350)
t 0 c t c2 t2
~ vale
onde usamos o fato que para qualquer campo C
~ C
~ ~ ~ C
= ~ C
~ . (20.351)
64 James Clerk Maxwell (18311879).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 968/2103
1 2 ~
1 2 A
= e ~
A = 0 J~ . (20.353)
c2 t2 0 c2 t2
Seja (x, t) um campo escalar e definamos
~ +
~ := A ~
A e := . (20.354)
t
f
E acil constatar que
A~ ~
~ A
~ =
~ A
~ = B
~ e ~
~ A = E
= ~ .
t t
Assim, A ~ e poderiam ser usados em lugar de A~ e em (20.349), pois produzem os mesmos campos eletrico e
magnetico. Devido a essa propriedade de manterem invariantes as grandezas fsicas E ~ e B,
~ as transformacoes (20.354)
sao entendidas como transformacoes de simetria do sistema que consideramos e sao denominadas transformac oes de
calibre, ou transformac ~ n
oes de gauge. Vamos agora supor que e A facil verificar
ao satisfacam a condicao (20.352). E
que
~
1 ~ 1 1 2
A + 2 = A+ 2 + 2 2 .
c t c t c t
Logo, se for tal que
1 2 ~+ 1 ,
= A (20.355)
c2 t2 c2 t
teremos satisfeita
~ + 1 = 0 ,
A
c2 t
que e a condicao (20.352) para e A ~ . A equacao (20.355) e uma equacao de ondas n ao-homogenea para e uma
possvel solucao e, como vimos, a solucao retardada66
Z ~ + 12 x , t kxx k
A
1 c t c
(x, t) = d3 x .
4 R3 kx x k
Esses sao os chamados potenciais retardados (escalar e vetorial, respectivamente). Recordemos que essas nao sao as
~ h da equacao de ondas homogenea.
solucoes mais gerais de (20.353), pois a elas ainda podemos adicionar solucoes h e A
~ ~
Com os potenciais ret + h e Aret + Ah podemos calcular os campos eletrico e magnetico E ~ eB ~ usando (20.349). Esses
potenciais ret + h e Aret + Ah contem as contribuicoes das fontes de cargas e correntes eletricas e J~ (em ret e A
~ ~ ~ ret )
e de ondas eletromagneticas vindas do infinito (em h e A ~ h ).
As equa
co
es de Jefimenko
E. 20.27 Exerccio. Usando (20.349) e (20.356) obtenha os campos eletrico e magnetico retardados
Z "
~ ret (x, t) = 1 kx x k x x 1 x x kx x k
E x , t + x , t
40 R3 c kx x k3 c kx x k2 t c
! #
1 1 J~ kx x k
2 x, t d3 x (20.357)
c kx x k t c
e
Z " ! #
~ ret (x, t) = 0 ~ kx x k kx x k J~ kx x k x x
B J x, t + x , t d3 x . (20.358)
4 R3 c c t c kx x k3
As equacoes (20.357) e (20.358) sao denominadas equacoes de Jefimenko67. E interessante, e recomendado ao estudante,
comparar (20.356), (20.357) e (20.358) `as solucoes (19.33) e (19.34) da Eletrostatica e da Magnetostatica.
As equacoes de Jefimenko representam a solucoes das equacoes de Maxwell para campos produzidos por uma dada
distribuicao de cargas e correntes localizadas em um passado finito, nao incluindo campos eletromagneticos provenientes de
fontes localizadas no infinito passado.
um tanto surpreendente e curioso que as equacoes de Jefimenko (20.357) e (20.358) aparentemente s
E o foram apresentadas
e discutidas em sua forma de acima nos anos sessenta do Sec. XX. A referencia do trabalho original de Jefimenko e o livro-
texto listado em [125], de 1966. No entanto, as equacoes de Jefimenko parecem ter surgido pela primeira vez (em uma versao
equivalente `a de acima) na edicao de 1962 do livro de Eletromagnetismo de Panofsky e Phillips (ref. [195]). Para um texto
mais recente, vide [123]. 6
~ 2 ~ 2 ~
~ E ~ E ~ = 0 J 1 E e ~ B
~ B ~ J~ 1 B .
~ = 0
t c2 t2 c2 t2
~ =
Usando as duas equacoes de Maxwell restantes E
e B~ = 0, obtenha disso
0
!
~
1 2 E 1 ~ 1 J~
~
E = + 2 , (20.359)
2
c t 2 0 c t
~
1 2 B
~
B = 0 ~ J~ . (20.360)
c2 t2
Trata-se novamente de equacoes de ondas nao-homogeneas e obtenha para as mesmas as solucoes retardadas
!
1
Z
1 1 ~
J kx x k
E~ ret (x, t) = ~ +
x
, t d3 x , (20.361)
40 R3 kx x k c2 t c
Z
0 1
~ ret (x, t) =
B ~ J~ x , t kx x k d3 x .
(20.362)
4 R3 kx x k c
67 Oleg Dmitrovich Jefimenko (19222009).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 970/2103
Analogamente `as equacoes de Jefimenko (20.357) e (20.358), as expressoes (20.361) e (20.362) tambem fornecem os campos
eletrico e magnetico em termos das fontes de carga e de corrente retardadas. A relacao de (20.361) e (20.362) com as equacoes
de Jefimenko (20.357) e (20.358) e estabelecida no Exerccio E. 20.29.
Note que nas expressoes (20.361) e (20.362) comparecem na integral do lado direito, em contraste com as equacoes de
~ mas suas derivadas. Uma vantagem das equacoes de Jefimenko sobre (20.361) e (20.362) esta
Jefimenko, nao as fontes e J,
no fato que com aquelas e mais facil obter o limite da Eletrostatica e Magnetostatica (quando e J~ independem do tempo)
e suas correcoes. 6
E. 20.29 Exerccio. Obtenha as equacoes de Jefimenko (20.357) e (20.358) a partir de (20.361) e (20.362). Sugestao: 1o
Prove usando a regra da cadeia que
~ kx x k ~
kx x k 1 kx x k x x
x , t = x , t + x, t ,
c c c t c kx x k
~ e o gradiente em relacao a x e por
onde ~ entendemos a funcao gradiente de . 2o Prove usando a regra da cadeia
que
!
kx x
k kx x
k 1 ~
J kx x k
x x
~ ~
J x , t ~
= J ~
x, t
x , t ,
c c c t c kx x k
~ e o rotacional em relacao a x etc. 3o Use integracao por partes.
onde 6
20.11.3.3 A Equac
ao de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes
Vamos agora nos dedicar `
a equacao de ondas n
ao-homogenea em 2+1-dimensoes e vamos calcular as integrais em (20.344)
para n = 2. Temos
Z
c sen ckpk(t t ) ip(xx ) 2
Gret (x, t; x , t ) = H(t t ) 2 e d p. (20.363)
4 R2 kpk
Adotando um sistema de coordenadas polares (, ) com kpk e com eixo 1 na direcao de x x , podemos escrever
Z Z Z
sen ckpk(t t ) ip(xx ) 2
e d p = sen c(t t ) eikxx k cos d d .
R2 kpk 0
R ikxx k cos
De acordo com (15.190), p
agina 709, temos e d = 2J0 kx x k , onde J0 e a equacao de Bessel de
ordem 0. Com isso,
Z
c
Gret (x, t; x , t ) = H(t t ) sen c(t t ) J0 kx x k d
2 0
Z
c c(t t )
= H(t t ) sen J0 (s) ds .
2kx x k 0 kx x k
c(tt )
Agora, denotando y kxx k , podemos escrever
Z
c
Gret (x, t; x , t ) = H(t t ) sen (ys)J0 s) ds
2kx x k 0
Z
c
= H(t t ) sen (ys)H(s)J0 s) ds
2kx x k
Z
c
= H(t t ) Im eiys H(s)J0 s) ds
2kx x k
c
= H(t t ) Im F1 [HJ0 ](y) , (20.364)
2kx x k
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 971/2103
Z
1 (36.54) 1 1 1
F [HJ0 ](y) = F [H] F [J0 ] (y) = F1 [H](y w)F1 [J0 ](w) dw
2
Z 1
(36.172) 2i 1 1
= lim dw .
0+ (2)3/2 1 (y w) + i 1 w2
1
R1
Agora temos que calcular 1 (yw)+i 1 dw, o que e feito fazendo-se a mudanca de variaveis w = cos seguida de
1w 2
integracao complexa. Tem-se,
Z 1 Z Z I
1 1 1 1 1 1
dw = d = d = i dz ,
1 (y w) + i 1w 2
0 y + i cos 2 y + i cos S1 z 2zz 0+1
Assim, para aplicarmos a f ormula integral de Cauchy (ou, equivalentemente, resduos), interessa-nos saber se z entao
no interior da regiao delimitada por S1 , ou seja, se tem modulo maior que 1 ou n
ao. Para 0 < y < 1 tem-se (desprezando
termos de ordem k com k > 2)
!2
1
|z | = 1 p
1 y2
e para y > 1 tem-se
!2
p 2 y
1
|z | = y y 2 1 + 2 1 p .
y2 1
Verifique! Assim, e facil constatar que em ambos os casos valem |z | < 1 e |z+ | > 1. Logo,
I I
1 1 1
i dz = i dz = 2 = p = p .
S1 z 2zz 0 + 1 S1 (z z + )(z z ) z z + 2
z0 1 y 1 + 2iy 2
2
Conseq
uentemente,
2i 1 i 1
F1 [HJ0 ](y) = lim 3/2
p = p .
0+ (2) 2
y 1 + 2iy 2 2
2 y 1
Com isso, retornando a (20.364), temos
!
1
c i c , se y > 1 ,
y 2 1
Gret (x, t; x , t ) = H(t t ) Im p = H(t t )
2kx x k y2 1 2kx x k
0, se y < 1 .
c H(t t )H(y 1)
= p
2kx x k y2 1
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 972/2103
c(tt )
Como y = kxx k , condi cao y > 1 equivale a (t t ) > kxx c
k
e, assim, podemos substituir H(y 1) acima por
kxx k kxx k
H (t t ) kxx
c
k
. Al
e m disso, vale evidentemente H(t t
)H (t t
) c = H (t t
) c e, com
isso, podemos escrever
kxx k
1 H (t t ) c
Gret (x, t; x , t ) = q . (20.365)
2 2
(t t )2 c2 k kxx
1 2
Essa e a funcao de Green retardada para o operador de ondas c2 t2 em 2 + 1-dimensoes.
Para a equacao de onda n ao-homogenea (20.336) em 2 + 1-dimensoes temos, portanto, a solucao retardada
Z Z
1 h(x , t )
uret (x, t) = Gret (x, t; x , t ) h(x , t ) d2 x dt = q d2 x dt , (20.366)
R3 2 V(x,
2 kxx k2
t) (t t ) c2
Alem disso, uma solucao avancada tambem existe no caso presente, sendo a funcao de Green avancada dada por
kxx k
1 H (t t ) c
Gav (x, t; x , t ) = q . (20.367)
2 2
(t t )2 c2 k
kxx
Como
no caso 3 + 1-dimensional, podemos ainda acrescentar `a solucao (20.366) uma solucao da equacao homogenea
2
c12 t2 = 0.
Em concordancia com o que comentamos anteriormente (pagina 925) as expressoes (20.365) e (20.346) revelam
ao e valido em 2 + 1-dimensoes, ao contrario do que ocorre em 3 + 1-
novamente o fato que o princpio de Huygens n
dimensoes. Compare-se (20.365) a (20.345).
20.11.3.4 A Equac
ao de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes
Passemos agora ao caso de 1 + 1-dimensoes e calculemos a integral em (20.344) para n = 1. Temos
Z
c sen cp1 (t t ) ip1 (xx )
Gret (x, t; x , t ) = H(t t ) e dp1
2 R p1
Z c(tt )(xx ) p1 Z i c(tt )+(xx ) p1
c ei
e
= H(t t ) dp1 dp1
4i p1 p1
(36.174) c
= H(t t ) H c(t t ) (x x ) + H c(t t ) + (x x ) 1 .
2
Usando agora as identidades (demonstre-as!)
H(a) H(a b) + H(a + b) 1 = H(a)H a2 b2 = H a |b| ,
a) r > R.
b) r < R.
c) r = R, mas 6= /2.
As variaveis r e referem-se ao sistema de coordenadas esfericas cuja origem e o centro do anel e cujo eixo z, a partir de onde
o angulo e medido, coincide com o eixo de simetria do anel.
Sugestao 1. Calcule primeiramente o potencial ao longo do eixo de simetria. Para os demais pontos use a solucao da
equacao de Laplace:
X
Bn
(r, ) = An rn + n+1 Pn (cos()) .
n=0
r
Os coeficientes An e Bn sao fixados pela solucao ao longo do eixo de simetria (que correspondem a = 0 e = ).
Sugestao 2. Para x C com |x| < 1 e para todo C, vale a expansao binomial (vide (14.166), pagina 650):
X ( + 1 k)k
(1 + x) = xk ,
k!
k=0
onde, para y C e n N0 , (y)n sao os smbolos de Pochhammer definidos em (14.147), pagina 642. Em particular, para
|t| < 1, tem-se
X (2k 1)!!
(1 + t)1/2 = 1 + k tk , com k = (1)k .
(2k)!!
k=1
6
E. 20.31 Exerccio. [Potencial de um disco uniformemente carregado] Determine o potencial eletrico (r, )
produzido no vacuo por um disco de raio R, uniformemente carregado com carga eletrica total Q e densidade superficial de
carga = Q/(R2 ), nas seguintes regi
oes:
a) r > R.
b) r < R, mas 0 < /2.
c) r < R, mas /2 < .
As variaveis r e referem-se ao sistema de coordenadas esfericas cuja origem e o centro do disco e cujo eixo z, a partir de
onde o angulo e medido, coincide com o eixo de simetria do disco.
d) Obtenha o potencial (z) = |z| = r| cos | de um plano infinito uniformemente carregado de densidade
20 20
superficial de carga tomando o limite R da solucao acima.
Sugestoes. Calcule primeiramente o potencial ao longo do eixo de simetria. Para os demais pontos use a solucao (20.51)
da equacao de Laplace :
X
n Bn
(r, ) = An r + n+1 Pn (cos()) .
n=0
r
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 975/2103
Use tambem a expansao binomial (14.166), citada no Exerccio E. 20.30, pagina 974.
Lembre-se tambem que sobre o semi-eixo z > 0, onde = 0, tem-se z 2n = r2n P2n (cos(0)) para todo n 0 e |z| =
+rP1 (cos(0)). Porem, sobre o semi-eixo z < 0, onde = , tem-se z 2n = r2n P2n (cos()) para todo n 0 mas |z| =
rP1 (cos()). Esse ultimo sinal - e importante para distinguir as solucoes dos itens b e c e obter o potencial correto no
item d. 6
E. 20.32 Exerccio. [Potencial de uma barra finita uniformemente carregada] Considere uma barra unidimensi-
onal de comprimento L, uniformemente carregada e com carga eletrica total Q. Determine, em termos de uma expansao em
serie envolvendo polinomios de Legendre, o potencial eletrico (r, ) produzido por essa barra no vacuo na regiao r > L/2.
As variaveis r e referem-se ao sistema de coordenadas esfericas cuja origem e ponto medio da barra e cujo eixo z, a partir
do qual o angulo e medido, coincide com o eixo da barra.
Para averiguar se o resultado obtido esta correto, verifique a validade aproximada da lei de Coulomb para r grande.
Sugestao. Como no exerccio anterior, determine primeiro o potencial ao longo do eixo z. 6
E. 20.33 Exerccio. [Potencial de uma casca esf erica carregada] Este exerccio generaliza um outro semelhante de
[123]. Uma casca esferica de espessura desprezvel e raio R e carregada com densidade superficial de carga (, ). Aqui
adotamos um sistema de coordenadas esfericas (r, , ), com origem na centro da esfera, definido da forma usual. Como
sabido da Eletrostatica, o potencial eletrico satisfaz a equacao de Laplace = 0 no interior e no exterior da esfera e,
portanto, e dado no interior da esfera (0 r < R) por
X
X l
i (r, , ) = Alm rl Ylm , (20.370)
l=0 m=l
e, portanto, que
Z 2 Z
Rl+2
Blm = Ylm , (, ) sen d d .
0 (2l + 1) 0 0
6
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 976/2103
E. 20.34 Exerccio. [Potencial de uma casca esf erica carregada com simetria azimutal] O problema aqui
tratado e um caso particular daquele do Exerccio E. 20.33 (e tambem generaliza um exerccio de [123]). Uma casca esferica
de espessura desprezvel e raio R e carregada com densidade superficial de carga com simetria azimutal (). Novamente
adotamos um sistema de coordenadas esfericas (r, , ), com origem na centro da esfera, definido da forma usual. Como
sabido da Eletrostatica, o potencial eletrico satisfaz a equacao de Laplace = 0 no interior e no exterior da esfera. O
potencial no interior da esfera (0 r < R) e, portanto, devido `a simetria azimutal, dado por
X
i (r, ) = Al rl Pl cos
l=0
(0 sendo constante e 0 < ) mostre que o potencial eletrico na regiao 0 r < R e dado por
0 cos cos R
i (r, ) =
20
" #
0 R X Pl+1 cos() Pl1 cos() Pl+1 cos() + Pl1 cos() r l
+ Pl cos() .
20 2l + 1 R
l=1
6
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 977/2103
E. 20.35 Exerccio. [Casca esf erica sob um potencial dado] O potencial eletrico em uma casca esferica de raio R > 0
e dado por uma funcao V (, ). Na ausencia de cargas fora da casca esferica, determine o potencial eletrico (r, , ) em
todo o espaco supondo (r, , ) 0 para r . Acima, as coordenadas r, e referem-se a um sistema de coordenadas
esfericas centradas na origem da casca esferica, como usual. Separe os casos r < R e r > R.
V0 , 0 ,
2
Obtenha o potencial no caso particular em que V (, ) = sendo V0 uma constante. Novamente,
V0 , < ,
2
separe os casos r < R e r > R. 6
E. 20.36 Exerccio. [Potencial no interior de uma esfera] Considere a equacao de Laplace = 0, em tres
dimensoes, no interior de uma esfera de raio R > 0, sendo a funcao (r, , ) submetida `a condicao de Dirichlet nao-
homogenea (R, , ) = V (, ), com V sendo uma funcao contnua. Aqui, adotamos um sistema de coordenadas esfericas
(r, , ), com origem no centro da esfera, definido da forma usual.
Sugestao: Use a solucao dada em (20.370) para a equacao de Laplace e obtenha os coeficientes Alm utilizando as relacoes de
ortogonalidade. Para a parte II, escreva V (, ) em termos de uma combinacao linear de funcoes harmonicas esfericas (use
para tal (15.79)(15.81), pagina 683) e use as relacoes de ortogonalidade das funcoes harmonicas esfericas (15.83), pagina
684. 6
20.12.2 Equac
ao de Difus
ao em uma Dimens
ao
E. 20.37 Exerccio. [Resfriamento de uma barra condutora de comprimento L com um extremo isolado]
u 2u
Considere a equacao a derivadas parciais D 2 = 0, com t R, D > 0, 0 x L, L > 0, sendo u(x, t) funcao real
t x
de duas variaveis u : [0, L] R R. Utilizando o metodo de separacao de variaveis e o princpio de superposicao resolva
essa equacao com as condicoes de contorno
u
u(0, t) = 0 e (L, t) = 0 , t R ,
x
e a condicao inicial
u(x, 0) = f (x) , x [0, L] ,
onde f e a funcao
2Ax/L, para x [0, L/2] ,
f (x) :=
2A(L x)/L, para x [L/2, L] ,
E. 20.38 Exerccio. [Barra condutora de comprimento L com extremidades isoladas] Considere a equacao a
u 2u
derivadas parciais D 2 = 0, com t R, D > 0, 0 x L, L > 0, sendo u(x, t) funcao real de duas variaveis
t x
u : [0, L] R R. Utilizando o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com
as condicoes de contorno
u u
(0, t) = 0 e (L, t) = 0 , t R ,
x x
(condicoes de Neumann homogeneas) e a condicao inicial
u(x, 0) = u0 (x) , x [0, L] .
Para tal, demonstre e use as seguintes relacoes de ortogonalidade: para m, n N0 tem-se
0 , se n 6= m ,
Z
cos(my) cos(ny) dy = , se n = m = 0 ,
0
, se n = m 6= 0 .
2
Um das possveis situacoes fsicas a que esse problema corresponde e o de uma barra metalica de comprimento L e constante
de difusao termica D cujas extremidades (situadas em x = 0 e x = L) sao termicamente isoladas. Aqui u(x, t) representa a
temperatura do ponto x da barra no instante de tempo t. A condicao inicial significa que a distribuicao da temperatura na
barra em t = 0 e descrita pela funcao u0 .
Utilizando a solucao obtida mostre que
Z L
1
lim u(x, t) = u0 (y) dy .
t L 0
2
Justifique por que esse resultado e fisicamente esperado. Para tal, mostre que se u e uma solucao de u u
t = D x2 sob condi
coes
Z L
de Neumann homogeneas, entao u(y, t) dy e constante como funcao de t. No caso de u representar uma temperatura, a
0
constancia dessa integral esta associada `a Primeira Lei da Termodinamica. Justifique essa afirmacao. 6
E. 20.39 Exerccio. [Barra condutora de comprimento L entre dois banhos t ermicos] Considere a equacao a
u 2u
derivadas parciais D 2 = 0, com t R, D > 0, 0 x L, L > 0, sendo u(x, t) funcao real de duas variaveis
t x
u : [0, L] R R. Utilizando o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com
as condicoes de contorno
u(0, t) = T0 e u(L, t) = TL , t R ,
e a condicao inicial u(x, 0) = u0 (x).
Um das possveis situacoes fsicas a que esse problema corresponde e o de uma barra metalica de comprimento L e constante
de difusao termica D cujas extremidades (situadas em x = 0 e x = L) sao postas em perfeito contacto termico com banhos
termicos de temperatura T0 e TL , respectivamente. Aqui u(x, t) representa a temperatura do ponto x da barra no instante
de tempo t. A condicao inicial fornece a distribuicao da temperatura na barra em t = 0.
O resultado e
X x n2 2 D Z L y
2
u(x, t) = ue (x) + An sen n e L2 t , onde An = sen n u0 (y) ue (y) dy ,
n=1
L L 0 L
Obtenha explicitamente os coeficientes An para o caso em que u0 (x) = f (x), x [0, L], onde f e a mesma funcao do
Exerccio E. 20.42, pagina 980. 6
E. 20.40 Exerccio. [Barra condutora isolada com termo de fonte] (de [72]) Obtenha a solucao da seguinte equacao
a derivadas parciais
u 2u
= D 2 + Set/T ,
t x
com D > 0, S > 0 e T > 0, constantes, sob as condicoes de contorno
u u
(0, t) = (L, t) = 0 , t > 0 ,
x x
e condicao inicial
u(x, 0) = 0 .
Uma das possveis situacoes fsicas `as quais o problema acima corresponde e o da difusao termica de uma barra homogenea
de comprimento L condutora de calor com suas extremidades termicamente isoladas e tendo uma temperatura inicial nula, sendo
essa barra dotada de uma fonte (por exemplo, radioativa) que produz calor a uma taxa Set/T por unidade de comprimento,
por unidade de tempo. 6
u 2u
= D 2 , (20.372)
t x
com D > 0, constante, com t > 0 e x [0, L], sendo u periodica em x de perodo L: u(x + L, t) = u(x, t) para todo x e
todo t. Uma situacao fsica a que esse problema corresponde e o da difusao de calor em um anel unidimensional de permetro
L e raio L/(2).
1. Mostre que pelo metodo de separacao de variaveis e pelo princpio de sobreposicao obtem-se a solucao
X
An 2in 4 2 Dn2
u(x, t) = exp x t .
n= L L L2
2. Consideremos que u satisfaca a condicao inicial u(x, 0) = u0 (x), onde u0 e contnua, diferenciavel e de perodo L.
Obtenha
X
An 2in
u0 (x) = e L x
n= L
e conclua disso que
Z L
1 2in
An = e L y u0 (y) dy ,
L 0
para todo n Z. Mostre, com isso, que
Z L
u(x, t) = G(x, t; y) u0 (y) dy , (20.373)
0
com t > 0 e z C. Algumas propriedades dessa funcao sao apresentadas no Exerccio E. 36.26, pagina 1765. A relacao
(36.100), por exemplo, permite-nos reescrever (20.374) como
2
exp (xy)
1 x y 4D 4Dt (x y)L L2
G(x, t; y) := , t = i , , (20.376)
L L L2 4Dt 4Dt 4Dt
X
1 (xynL)2
G(x, t; y) = e 4Dt , (20.377)
4Dt n=
5. Justifique por que o item anterior e fisicamente esperado. Para tal, mostre que se u e uma solucao de (20.372)
Z L
satisfazendo condicoes peri
odicas de contorno, entao u(y, t) dy e constante como funcao de t. No caso de u
0
representar uma temperatura, a constancia dessa integral esta associada `a Primeira Lei da Termodinamica. Justifique
essa afirmacao.
6. Usando o lado direito de (20.376), ou (20.377), mostre que com x, y e t fixos, vale
2
exp (xy)
4Dt
lim G(x, t; y) = ,
L 4Dt
que vem a ser a funcao de Green (n
ucleo do calor) da equacao de difusao em R obtida em (20.73), pagina 894. Justifique
por que esse resultado e fisicamente esperado.
O estudante deve observar o papel importante desempenhado pela F ormula de Soma de Poisson (vide Proposicao 36.12,
pagina 1763), manifesta nas propriedades de Funcao de Jacobi usadas na obtencao das propriedades da funcao de Green do
problema acima. 6
20.12.3 Equac
ao de Ondas em uma Dimens
ao
2u 2
2 u
E. 20.42 Exerccio. [Corda vibrante de comprimento L] Considere a equacao a derivadas parciais c = 0,
t2 x2
com t R, 0 x L, L > 0, c > 0, constante, sendo u(x, t) funcao real de duas variaveis u : [0, L] R R. Utilizando
o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com as condicoes de contorno
u(0, t) = u(L, t) = 0 , t R ,
e as condicoes iniciais
u
u(x, 0) = f (x) e (x, 0) = 0, x [0, L] ,
t
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 981/2103
onde f e a funcao
2Ax/L, para x [0, L/2] ,
f (x) :=
2A(L x)/L, para x [L/2, L] ,
2u 2
2 u
E. 20.43 Exerccio. [Corda vibrante de comprimento L] Considere a equacao a derivadas parciais c = 0,
t2 x2
com t R, 0 x L, L > 0, c > 0, constante, sendo u(x, t) funcao real de duas variaveis u : [0, L] R R. Utilizando
o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com as condicoes de contorno
u(0, t) = u(L, t) = 0 , t R ,
e as condicoes iniciais
u
u(x, 0) = 0 , (x, 0) = g(x) , x [0, L] ,
t
onde g e a funcao
v0 , para x [L/3, 2L/3] ,
g(x) :=
0, para x [0, L/3) e x (2L/3, L] ,
2u 2
2 u
E. 20.44 Exerccio. [Corda vibrante de comprimento L] Considere a equacao a derivadas parciais c = 0,
t2 x2
com t R, 0 x L, L > 0, c > 0, constante, sendo u(x, t) funcao real de duas variaveis u : [0, L] R R. Utilizando
o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com as condicoes de contorno
u u
(0, t) = (L, t) = 0 , t R ,
x x
e as condicoes iniciais
u
u(x, 0) = f (x) , (x, 0) = 0 , x [0, L] ,
t
onde f e a mesma funcao do Exerccio E. 20.42, pagina 980.
Um das possveis situacoes fsicas a que esse problema corresponde e o de uma corda vibrante de comprimento L de
densidade constante sob uma tensao horizontal T nas suas extremidades (situadas em x = 0 e x = L), as quais estao
soltas, podendo mover-se livremente na vertical (condicao de contorno). u(x, t) representa entao o deslocamento transversal
no instante de tempo t do ponto da corda cuja coordenada horizontal e x. A condicao inicial significa que a corda esta parada
em t = 0 na posicao descrita pela funcao f . 6
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 982/2103
2u 2 2 u
E. 20.45 Exerccio. [Corda vibrante de comprimento L] Considere a equacao a derivadas parciais c = 0,
t2 x2
com t R, 0 x L, L > 0, c > 0, constante, sendo u(x, t) funcao real de duas variaveis u : [0, L] R R. Utilizando
o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com as condicoes de contorno
u u
(0, t) = (L, t) = 0 , t R ,
x x
e as condicoes iniciais
u
u(x, 0) = 0 , (x, 0) = g(x) , x [0, L] ,
t
onde g e a mesma funcao do Exerccio E. 20.43, pagina 981.
Um das possveis situacoes fsicas a que esse problema corresponde e o de uma corda vibrante de comprimento L de
densidade constante sob uma tensao horizontal T nas suas extremidades (situadas em x = 0 e x = L), as quais estao
soltas, podendo mover-se livremente na vertical (condicao de contorno). u(x, t) representa entao o deslocamento transversal
no instante de tempo t do ponto da corda cuja coordenada horizontal e x. A condicao inicial significa que a corda em t = 0
encontra-se na sua posicao de equilbrio (u 0) e nesse instante imprime-se (por exemplo atraves de uma martelada) uma
velocidade v0 a todos os pontos da corda situados no intervalo L/3 x 2L/3. Faca um grafico de g.
Aten c
ao! O metodo de separacao de variaveis procura solucoes do tipo u(x, t) = R(x)S(t), que levam a equacoes do
tipo R = 2 R e S = S para R e S. No caso aqui tratado, ao contrario dos Exerccios E. 20.42 e E. 20.43, as condicoes
c
de contorno permitem solucoes com = 0 ! Estas levam a uma solucao do tipo u(x, t) = t + , com e constantes e
6= 0. O que representa tal solucao? Ela nos diz que a corda como um todo (ou seja, seu centro de massa) tem tambem um
movimento vertical com uma velocidade constante. Lembre-se que as extremidades da corda estao soltas! Ao martelarmos
a corda ela deve mover-se na vertical como um todo alem de realizar movimentos vibratorios, que correspondem `as solucoes
com < 0. Note que solucoes com = 0 tambem aparecem nas condicoes do Exerccio E. 20.44. La, porem, as condicoes
iniciais levam a = 0. Explique fisicamente por que ha essa diferenca. 6
2u 2u
2
c2 2 = 0 ,
t x
com x, t R, e da forma
u(x, t) = F (x ct) + G(x + ct) ,
onde F e G sao duas funcoes de uma variavel, definidas em toda a reta real, e que, em princpio, sao arbitrarias (e diferenciaveis
pelo menos duas vezes).
Suponha que tenhamos de impor condicoes de contorno do tipo
u(0, t) = u(L, t) = 0 , t R ,
com L > 0.
e que, portanto,
u(x, t) = F (x ct) F (x ct) . (20.379)
b) Mostre que a condicao u(L, t) = 0, t R, implica que F deve ser uma funcao periodica de perodo 2L:
F (y) = F (y + 2L) , y R .
c) Usando o fato de F ser periodica de perodo 2L expresse-a em uma expansao em serie de Fourier. Usando (20.378),
obtenha a expansao de G em serie de Fourier. Usando a expansao de Fourier de F e (20.379), expresse u(x, t) em uma
serie de senos e co-senos.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 983/2103
u
d) Obtenha os coeficientes dessa expansao de u(x, t) em termos das condicoes iniciais u0 (x) u(x, 0) e v0 (x) t (x, 0),
com x limitada ao intervalo [0, L].
E. 20.47 Exerccio. Escreva a solucao encontrada para o Exerccio E. 20.42, pagina 980, na forma
identifique as funcoes F e G e verifique se as mesmas satisfazem as propriedades descritas nos itens a e b do Exerccio E.
20.46. 6
E. 20.48 Exerccio . [Corda vibrante de comprimento L com amortecimento] Considere a equacao a derivadas
parciais
2u 2
2 u u
2
c 2
+ = 0,
t x t
com t R, 0 x L, L > 0, c > 0, > 0, constantes, sendo u(x, t) funcao real de duas variaveis u : [0, L] R R.
Utilizando o metodo de separacao de variaveis e o princpio de superposicao resolva essa equacao com as condicoes de contorno
u(0, t) = u(L, t) = 0 , t R ,
e a condicao inicial
u
u(x, 0) = f (x) , (x, 0) = 0 , x [0, L] ,
t
onde f e a mesma funcao do Exerccio E. 20.42, pagina 980.
Determine lim u(x, t).
t
Um das possveis situacoes fsicas a que esse problema corresponde e o de uma corda vibrante de comprimento L de
densidade , constante, sob uma tensao horizontal T nas suas extremidades (situadas em x = 0 e x = L), as quais estao fixas
(condicao de contorno). u(x, t) representa entao o deslocamento transversal no instante de tempo t do ponto da corda cuja
coordenada horizontal e x. A condicao inicial significa que a corda esta parada em t = 0 na posicao descrita pela funcao f .
A diferenca em relacao ao Exerccio E. 20.42, pagina 980, esta no aparecimento na equacao diferencial do termo dissipativo
u
que pode ser devido ao atrito da corda com o ar e que (pode ter por consequencia a producao de ondas sonoras).
t
Os modos de oscilacao de problemas com amortecimento, como o de acima, sao denominados modos quase-normais. 6
E. 20.49 Exerccio. [Corda pendurada com amortecimento] Determine a solucao da equacao da corda pendurada
com amortecimento
2u u u
+ g z = 0,
t2 t z z
onde > 0 e g > 0, que descreve o movimento de pequenas oscilacoes de uma corda de comprimento L localizada, quando
em repouso, no intervalo 0 z L do eixo vertical, pendurada pelo seu extremo superior (o que corresponde `a condicao de
contorno u(L, t) = 0 para todo t) e com condicoes iniciais u(z, 0) = u0 (z) e u
t (z, 0) = v0 (z), para certas fun
coes u0 e v0
dadas.
Sugestao. Ao resolver a equacao para a parte temporal (metodo de separacao de variaveis), lembre-se que alguns modos de
vibracao podem ter amortecimento sub-crtico e outros super-crtico. Para simplificar, ignore o caso de amortecimento crtico.
Os modos de oscilacao de problemas com amortecimento, como o de acima, sao denominados modos quase-normais. 6
E. 20.50 Exerccio. [Conservacao da energia da corda vibrante] Considere o problema da corda vibrante unidimen-
sional
2u 2u
(x) 2 2 = 0 ,
t x
com x [0, L] para algum L > 0 e t R e onde > 0 e constante e (x) > 0 para todo x [0, L].
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 984/2103
1. Mostre que sob condicoes de Dirichlet homogeneas ou sob condicoes de Neumann homogeneas nos extremos x = 0 e
x = L a quantidade
Z " 2 2 #
1 L u u
E(t) := (x) + dx (20.380)
2 0 t x
dE
e constante, ou seja, dt (0) = 0.
2. Considere o caso em que (x) = , constante, sob condicoes de Dirichlet homogeneas nos dois extremos x = 0 e x = L.
Sabidamente, u(x, t) e dada nesse caso por
X n
u(x, t) = An cos(n t) + Bn sen (n t) sen x , (20.381)
n=1
L
q
nc
com n = L , sendo c = . Mostre que
2 X 2 2
E(t) = E = n An + Bn2 .
4L n=1
Conclua disso que a energia associada a cada modo de vibracao un (x, t) := An cos(n t) + Bn sen (n t) sen n L x ,
2
n N, e En = 4L n2 A2n + Bn2 e que a energia de cada modo e conservada separadamente, com a energia total sendo
a soma da energia de cada modo individual. E importante observar tambem que os diferentes modos de vibracao que
compoe a solucao (20.381) nao trocam energia entre si.
2 2
3. Considere o caso da equacao (x) t2u (t) xu2 = 0 com x [0, L] para algum L > 0 e t R e onde (t) > 0 para
todo t R e (x) > 0 para todo x [0, L]. Mostre que sob condicoes de Dirichlet homogeneas ou sob condicoes de
Neumann homogeneas nos extremos x = 0 e x = L tem-se
Z L 2
dE 1 d u
(t) = (t) dx ,
dt 2 dt 0 x
L
D
TL
x
L
Figura 20.18: A membrana triangular TL . A aresta D corresponde ao segmento de reta x + y = L com 0 x L (e,
portanto, 0 y L).
X mx ny my nx
u(x, y, t) = sen sen (1)m+n sen sen
L L L L
m>n1
Amn cos (mn t) + Bmn sen (mn t) ,
onde mn = c L n2 + m2 . Determine as constantes Amn e Bmn a partir das condicoes iniciais u(x, y, 0) = u0 (x, y) e
u
t (x, y, 0) = v0 (x, y), sendo u0 e v0 fun
coes dadas em TL e que representam a posicao e velocidade, respectivamente, de
cada ponto da membrana em t = 0.
Sugestoes. As condicoes de contorno (20.382)-(20.384) nao sao separaveis nas coordenadas Cartesianas x e y, mas a
equacao de Helmholtz u + u = 0 ainda o e. O metodo de separacao de variaveis fornece solucoes do tipo sen (x) sen (y)
as quais satisfazem as condicoes de contorno (20.382) e (20.383), mas nao a condicao (20.384). A ideia e considerar as
funcoes
J, (x, y) := sen (x) sen (y) + c sen (x) sen (y) ,
as quais satisfazem (20.382) e (20.383) e a equacao de Helmholtz u + u = 0 com = 2 + 2 , e tentar determinar ,
e c de sorte que J, (x, L x) = 0 seja satisfeita para todo 0 x L (condicao (20.384)).
Notemos primeiramente que para = tem-se J, (x, y) = c0 sen (x) sen (y) (com c0 = (1 + c)) e a condicao
J, (x, L x) = 0 fica c0 sen (x) sen (L) cos(x) cos(L) sen (x) = 0, que s o pode ser satisfeita para todo x se
c0 = 0 ou se = 0, levando, em ambos os casos, `a solucao trivial identicamente nula. Para = 0 ou = 0 temos tambem
a solucao trivial identicamente nula.
Para || 6= ||, ambos nao-nulos, procedemos da seguinte forma. Verifique que
J, (x, L x) = sen (L) sen (x) cos(x) + c sen (L) cos(x) sen (x)
f1 (x) := sen (x) cos(x) , f2 (x) := cos(x) sen (x) e f3 (x) := sen (x) sen (x)
sao linearmente independentes. Para tal, observemos que se existirem a1 , a2 e a3 tais que
a1 sen (x) cos(x) + a2 cos(x) sen (x) + a3 sen (x) sen (x) = 0 (20.386)
para todo x, entao em x = / teramos a1 sen = 0 H a aqui duas possibilidades: a) vale a1 = 0; b) vale = m com
m Z mas com m 6= 0 e m6= 1
(pois ja exclumos o caso = 0 e o caso = ). No caso b teramos de (20.386), no
ponto x = /, que a2 sen = 0, ou seja, a2 sen m = 0, o que s
o e possvel se a2 = 0. Com isso, (20.386) ficaria
a1 cos(x) + a3 sen (x) = 0, o que s
o e possvel se a1 = a3 = 0. Teramos, portanto, a1 = a2 = a3 = 0. No caso a, no qual
a1 = 0, (20.386) ficaria a2 cos(x) + a3 sen (x) = 0, o que s o e possvel se a2 = a3 = 0. Teramos novamente, portanto,
a1 = a2 = a3 = 0. Isso estabeleceu a independencia linear das funcoes f1 , f2 e f3 .
Isto posto, impor em (20.385) que J, (x, L x) = 0 seja satisfeita para todo 0 x L equivale a impor
De (20.387) temos = n/L com n N, mas n > 0 para excluir a solucao nula. Com isso, teremos por (20.389) que
Isso, em particular, implica que c 6= 0 e, por (20.388), conclumos que sen (L) = 0, o que implica = m/L com n N0
e m N0 . Dessa forma, (20.390) significa que c = (1)m+n+1 .
Conclumos disso que as funcoes
mx ny my nx
Mmn (x, y) = sen sen (1)m+n sen sen
L L L L
2
2 2
com m, n N, satisfazem a equacao de Helmholtz com = L 2 (n + m ) e satisfazem todas as condi
coes de contorno
(20.382)-(20.384) sendo, portanto, o modos de vibracao do problema.
A funcao Mmn (x, y) e identicamente nula caso m = n e tem-se Mmn (x, y) = (1)m+n Mnm (x, y). Assim, apenas as
funcoes Mmn (x, y) com m > n 1 sao independentes.
Obtenha as relacoes de ortogonalidade na regiao TL para as funcoes Mmn (x, y), m > n 1. 6
E. 20.52 Exerccio. [Membrana circular com amortecimento] Determine a solucao da equacao de ondas com
amortecimento
1 2u u
2 2
+ u = 0 ,
c t t
> 0, em duas dimens oes, no interior de um disco de raio R > 0, com |u(, , t)| < , com condicoes de contorno de
Dirichlet u(R, , t) = 0 e com as condicoes iniciais
u
u(, , 0) = 0 e (, , 0) = v0 () , (20.391)
t
onde
V , 0 R0 ,
v0 () = (20.392)
0, R0 < R ,
onde 0 < R0 < R. Acima, as coordenadas e referem-se ao sistema de coordenadas polares cuja origem coincide com o
centro do disco de raio R.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 987/2103
Sugestao 1. Ao resolver a equacao para a parte temporal (metodo de separacao de variaveis), lembre-se que os modos de
vibracao podem ter amortecimento sub-crtico, crtico ou super-crtico. Para simplificar, considere que nao haja amortecimento
crtico. Sugestao 2. Para
o c
omputo explcito das integrais referentes `as condicoes iniciais (20.391)(20.392), use o fato que
d
xJ0 (x) = dx xJ1 (x) (vide (15.159), pagina 704).
Os modos de oscilacao de problemas com amortecimento, como o de acima, sao denominados modos quase-normais. 6
onde m = m m
e onde n e o n-esimo zero de Jm na semi-reta (0, ). Determine as constantes Amn e Bmn a partir das
condicoes iniciais u(, , 0) = u0 (, ) e u
t (, , 0) = v0 (, ), sendo u0 e v0 fun
coes dadas em 0 R e 0
e que representam a posicao e velocidade, respectivamente, de cada ponto da membrana em t = 0. Sera necessario usar as
relacoes de ortogonalidade
(15.210), pagina 713, para as funcoes de Bessel Jm assim como as relacoes de ortogonalidade para
m
as funcoes sen . 6
E. 20.54 Exerccio. [Membrana anelar] Determine a solucao da equacao de ondas em duas dimens oes para o movimento
transversal de uma membrana anelar, de raio interno R1 e raio externo R2 com 0 < R1 < R2 , ou seja, contido na regiao (em
coordenadas polares) R1 R2 e 0 2. Assuma que a membrana esta fixa nas bordas (condicoes de contorno de
Dirichlet), ou seja, assuma as condicoes de contorno u(R1 , ) = u(R2 , ) = 0 para todo 0 2. Mostre que a solucao
da equacao de ondas que satisfaz as condicoes de contorno e
X X
mn ct mn ct
u(, , t) = Rmn () eim Amn cos + Bmn sen ,
m= n=1
R2 R2
com
mn R1 mn mn R1 mn
Rmn () := Nm Jm Jm Nm ,
R2 R2 R2 R2
sendo que mn e o n-esimo zero no intervalo (0, ) da funcao
R1 R1
Lm (x) := Nm x Jm (x) Jm x Nm (x) .
R2 R2
A determinacao das constantes Amn e Bmn a partir das condicoes iniciais usuais pode ser feita com uso das relacoes de
ortogonalidade descritas no Teorema 15.7, pagina 716. 6
E. 20.55 Exerccio. [Membrana triangular-anelar] Determine a solucao da equacao de ondas em duas dimens oes para
o movimento transversal de uma membrana na forma de um setor triangular-anelar, ou seja, contida na regiao (em coordenadas
polares) R1 R2 e 0 , com 0 < R1 < R2 e 0 < 2. Vide Figura 20.19, pagina 988.
Assuma que a membrana esta fixa nas bordas, ou seja, assuma as condicoes de contorno u(R1 , ) = u(R2 , ) = 0 para
todo 0 e u(, 0) = u(, ) = 0 para todo R1 R2 (condicoes de contorno de Dirichlet). Mostre que a solucao
da equacao de ondas que satisfaz as condicoes de contorno e
X X
m mn ct mn ct
u(, , t) = Rmn () sen Amn cos + Bmn sen ,
m=1 n=1
R2 R2
com
mn R1 mn mn R1 mn
Rmn () := Nm Jm Jm Nm ,
R2 R2 R2 R2
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 988/2103
R1
R R
2
` esquerda: um setor triangular de um disco, com raio R > 0 e angulo de abertura , sendo 0 < 2.
Figura 20.19: A
`
A direita: um setor triangular anelar de um disco, com raio interno R1 , raio externo R2 e angulo de abertura , sendo
0 < R1 < R2 e 0 < 2.
m
onde m := , sendo que mn e o n-esimo zero no intervalo (0, ) da funcao
R1 R1
Lm (x) := Nm x Jm (x) Jm x Nm (x) .
R2 R2
A determinacao das constantes Amn e Bmn a partir das condicoes iniciais usuais pode ser feita com uso das relacoes de
ortogonalidade descritas no Teorema 15.7, pagina 716. 6
1 2u u
+ u = 0,
c2 t2 t
> 0, em tres dimens
oes, no interior da esfera de raio R, com |u(r, , , t)| < , com condicoes de contorno de Dirichlet
u(R, , , t) = 0 e com as condicoes iniciais
u
u(r, , , 0) = 0 e (r, , , 0) = v0 (r),
t
onde
V, 0 r R0 < R ,
v0 (r) =
0, R0 < r R .
Os modos de oscilacao de problemas com amortecimento, como o de acima, sao denominados modos quase-normais. 6
E. 20.58 Exerccio. [Resfriamento de uma esfera] Uma esfera homogenea de raio R, boa condutora de calor, com
constante de difusao D > 0, encontra-se em contacto termico com um banho termico `a temperatura T = 0. No instante de
tempo t = 0 a temperatura inicial da esfera e descrita (em um sistema de coordenadas esfericas, cuja origem coincide com o
centro da esfera) por uma funcao u0 (r, , ), com 0 r R, 0 e 0 2.
a. Determine a temperatura u(r, , , t) de um ponto do interior da esfera com coordenadas (r, , ) no instante t 0.
sen ()
b. Determine explicitamente u(r, , , t) para o caso em que u0 (r, , ) = T0 , onde r/R.
E. 20.59 Exerccio. [Resfriamento de um cano] Um cano cilndrico infinito, cujo raio interno e R1 e cujo raio externo
e R2 , e formado por um material Mc cuja constante de difusao termica e D. O cano esta em contacto por dentro com um
material M1 `a temperatura T1 e por fora com um material M2 `a temperatura T2 . As temperaturas dos materiais M1 e M2
sao mantidas constantes e nao mudam nem com o tempo nem com a posicao.
Adotemos coordenadas cilndricas (r, , z), cujo eixo z coincide com o eixo do cilindro. Deseja-se determinar a temperatura
u(r, , z, t) no interior do cano, ou seja, para R1 r R2 . Como o cano e infinito e as temperaturas dos meios M1 e M2
nao variam, a temperatura u deve ser apenas uma funcao de r, e t.
Seguindo a Lei de Fourier, as condicoes de contorno a serem satisfeitas em r = R1 e em r = R2 devem impor que o fluxo
de calor na superfcie de contacto entre o cano um meio externo deve ser proporcional `a diferenca de temperatura entre ambos
os meios na superfcie de contacto, sendo que a constante de proporcionalidade depende de ambos os materiais em contacto
termico. Ou seja, devemos impor
u
(R1 , , t) = +1 [u(R1 , , t) T1 ]
r
e
u
(R2 , , t) = 2 [u(R2 , , t) T2 ] ,
r
para todo t e todo .
Sabendo que a temperatura no interior do cano (ou seja, para R1 r R2 ) era u0 (r, ) no instante t = 0, determine a
temperatura u(r, , z, t) para todo t > 0. A temperatura u deve satisfazer a equacao de difusao do calor
u
= Du .
t
Sugestao. As condicoes de contorno acima sao nao-homogeneas. Para passar para condicoes homogeneas, proceda da
seguinte forma. Escreva
u(r, , t) = f (r, , t) + g(r)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 990/2103
g (R1 ) 1 g(R1 ) = 1 T1
e
g (R2 ) + 2 g(R2 ) = +2 T2 .
f
(R1 , , t) 1 f (R1 , , t) = 0
r
e
f
(R2 , , t) + 2 f (R2 , , t) = 0 ,
r
para todo t e todo .
Comentarios: 1o A determinacao dos auto-valores nao precisa ser feita completamente, caso envolva a solucao de uma
equacao transcendente. E suficiente deixar indicado como proceder. 2o A solucao para f requer o uso de funcoes de
Bessel e de Neumann, semelhantemente ao Exerccio E. 20.54, pagina 987, mas as condicoes de contorno daquele exerccio
eram de Dirichlet, enquanto que, no caso presente, sao mistas. Tal como naquele exerccio, e importante determinar as
relacoes de ortogonalidade a serem usadas e para isso recomenda-se dar uma olhada no Teorema 15.7, pagina 716, e adaptar
a demonstracao para o presente contexto. Isso pode ser trabalhoso. 3o Nao esquecer que a condicao inicial para f e
f (r, , 0) = u0 (r, ) g(r). 6
* *** *
d2 d
I. Usando transformadas de Fourier, obtenha a solucao fundamental associada ao operador diferencial dt2 + dt + 02 , ou
seja, a solucao G de 2
d d 2
+ + 0 G(t, t ) = (t t ) ,
dt2 dt
em cada um dos seguintes casos:
1. < 20 (caso sub-crtico),
2. > 20 (caso super-crtico) e
3. = 20 (caso crtico).
II. Mostre que para t > 0 uma possvel solucao da equacao do oscilador harmonico amortecido forcado
1
x + 02 x(t) =
(t) + x(t) f (t) (20.393)
m
e Z
1
xnh (t) = G(t, t )f (t ) dt . (20.394)
m 0
A solucao geral da equacao (20.393) e obtida adicionando-se a essa solucao a solucao geral da equacao homogenea
x + 02 x(t) = 0.
(t) + x(t)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 991/2103
III. Fazendo uso da forma explcita da solucao fundamental obtida acima, verifique que a solucao dada em (20.394) satisfaz
nos tres casos (sub-crtico, supercrtico e crtico) as condicoes xnh (0) = 0 e x nh (0) = 0. Mostre com isso que a solucao
do problema de valor inicial
1
x + 02 x(t) =
(t) + x(t) f (t) , com x(0) = x0 e x(0)
= v0 , (20.395)
m
para t 0 sera dada por x(t) = xh (t) + xnh (t), onde xh e a solucao do problema de valor inicial homogeneo
x + 02 x(t) = 0 ,
(t) + x(t) com x(0) = x0 e x(0)
= v0 . (20.396)
IV. Usando os fatos acima, prove que para t 0 a solucao x(t) da equacao do oscilador harmonico amortecido forcado
(20.393) com as condicoes iniciais x(0) = x0 e x(0)
= v0 e dada por:
1. Caso < 20 (caso sub-crtico):
Z t
x0 + 2v0 1
x(t) = et/2 x0 cos(1 t) + sen (1 t) + e(tt )/2 sen 1 (t t ) f (t ) dt ,
21 m1 0
q
2
onde 1 := 02 4 .
2. Caso > 20 (caso super-crtico):
Z t
x0 + 2v0 1
x(t) = et/2 x0 cosh(2 t) + senh (2 t) + e(tt )/2 senh 2 (t t ) f (t ) dt .
22 m2 0
q
2
onde 2 := 4 02 .
3. Caso = 20 (caso crtico):
! Z
1 t
t/2
x(t) = e 1 + t x0 + t v0 + (t t )e(tt )/2 f (t ) dt .
2 m 0
6
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 992/2103
Ap
endices
20.A Duas Transformadas de Laplace
Nesta secao vamos mostrar como calcular as transformadas de Laplace das seguintes funcoes:
2 2
1 a 1 a
f (t) = exp e g(t) = exp ,
t t t3 t
onde t > 0 e a > 0. Como vimos na Secao 20.3.3, p agina 898, as transformadas de Laplace dessas funcoes sao u teis na
resolucao da equacao de difusao para uma barra metalica homogenea semi-infinita, ou seja para a resolucao da equacao
de difusao em (0, ).
Como veremos, a transformada de Laplace de g e facilmente obtida a partir da de f , de modo que comecaremos com
esta. Temos que, para s 0,
a2
Z exp st
t
L[f ](s) = dt .
0 t
Para calcular esta integral teremos que proceder uma serie de mudancas de variavel de modo a chegarmos (como veremos)
a uma integral de Laplace, que sabemos calcular. Claro que poderamos fazer toda a seq
` uencia de mudancas de variavel
de uma so vez, mas por raz oes pedag
ogicas vamos faze-las separadamente.
2
2
Comecamos escrevendo st at = s t at 2a s. Assim, ficamos com
2 !
a
Z exp s t
t
2a s
L[f ](s) = e dt .
0 t
s
dt
Agora facamos a mudanca de variavel u = s t, com du = 2 t
. Ficamos com
Z 2 !
2e2a s
a s
L[f ](s) = exp u du .
s 0 u
Definindo b := a s, podemos escrever
#2
"
Z
2e2a s
u b
L[f ](s) = exp b du .
s 0 b u
Seja agora a funcao y(v) = v v1 , com v (0, ). Afirmamos que essa funcao e uma bijecao de (0, ) em R. Isso
segue do fato que y (v) = 1 + v12 > 0, para v (0, ), e das observacoes que lim y(v) = e lim y(v) = .
v0 v
E. 20.61 Exerccio. Justifique por que y os argumentos acima implicam que y e bijetora. Faca um grafico de y(v). 6
1
E. 20.62 Exerccio. Verifique isso resolvendo a equacao y = v em v. Isso leva `a equacao de segundo grau v 2 yv1 = 0,
p v
y y2 + 4
que tem por solucoes v = . E facil constatar que a solucao com o sinal nao interessa (pois e negativa). 6
2
1
Retornando `a equacao (20.A.1), a mudanca de variaveis a se fazer e justamente y = v , com
v
!
1 y
dv = 1+ p dy .
2 2
y +4
Ficamos ent
ao com o seguinte:
Z !
2 be2a s 1 by2 y
L[f ](s) = e 1+ p dy .
s 2 y2 + 4
Note que os limites de integracao mudaram, pois y vai de a quando v varia de 0 a . A integral
Z
2 y
eby p dy
y 2 +4
Como anunciado, a integral que aparece do lado direito e uma integral de Laplace e, como e bem sabido,
Z r
by 2
e dy = .
b
Logo, r
2 b e2a s 1
L[f ](s) = ,
s 2 b
e conclumos que r
2as
L[f ](s) = e .
s
Diferenciando ambos os lados dessa expressao em relacao a a, conclumos tambem que
2as
L[g](s) = e .
a
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 20 994/2103
Parte V
Grupos
995