Beruflich Dokumente
Kultur Dokumente
13 de fevereiro de 2017
1
E-mail: rodney@mat.ufmg.br; homepage: http://www.mat.ufmg.br/rodney.
Sumario
1 Series de Fourier 15
1.1 Propriedades das Funcoes Seno e Cosseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.1.1 Periodicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.1.2 Relacoes de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.1.3 Produto Interno no Espaco das Funcoes Quadrado-Integraveis . . . . . . . . . . . . . . 18
1.2 Calculo dos coeficientes da serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3 Teorema de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.1 Funcoes Contnuas por Partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2 O Teorema de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4 Series de Fourier de Funcoes Pares e Impares . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.4.1 Funcoes Pares e Impares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.4.2 Extensoes Periodicas Pares e Impares de Funcoes Definidas em Intervalos . . . . . . . 30
1.5 Estimativa dos Coeficientes de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.6 Diferenciacao e Integracao Termo a Termo da Serie de Fourier . . . . . . . . . . . . . . . . . . 35
1
Rodney Josue Biezuner 2
2.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Se (x, t) < 0, o calor esta fluindo para a esquerda. A quantidade total de calor que entra na fatia por
unidade de tempo e dada pela diferenca entre a quantidade de calor que entra pela secao transversal em x
e a quantidade de calor que sai pela secao transversal em x + x, isto e,
4
Rodney Josue Biezuner 5
E claro que calor pode sair da fatia pela secao transversal em x (se (x, t) < 0), assim como calor pode
entrar na fatia pela secao transversal em x + x (se (x + x, t) < 0); se a diferenca acima for negativa,
entao o resultado final e que calor sai da fatia.
Figura 0.1
Esta quantidade de calor total que entra ou sai da fatia por instante de tempo pode ser calculada em
funcao das temperaturas nas secoes transversais que delimitam a fatia atraves da Lei de Conducao do Calor
de Fourier (esta lei foi empiricamente observada por Fourier no incio do seculo XIX):
Lei de Conducao do Calor de Fourier. Sejam P1 e P2 duas placas formadas de um mesmo material
e de mesma area igual a A, mantidas respectivamente a temperaturas constantes T1 e T2 . Se elas
forem colocadas paralelamente a uma distancia d uma da outra, havera passagem de calor da placa
mais quente para a placa mais fria e a quantidade de calor transferida de uma placa para a outra por
unidade de tempo (ou seja, a taxa de transferencia de calor, medida em Joules/s) e dada por
|T2 T1 |
= kA ,
d
onde k e uma constante especfica do material entre as placas, chamada condutividade termica do
material.
Denotemos
Agora fixe um segmento qualquer da barra entre as posicoes x = a e x = b. Vamos calcular a quantidade
total de calor Q que entra neste segmento no perodo de tempo que vai de t0 ate t1 . Esta e a diferenca entre
o calor que entra na secao transversal que ocupa a posicao x = a e o calor que sai pela secao transversal que
ocupa a posicao x = b durante o perodo de tempo considerado:
Z t1 Z t1
Q= (a, t)A dt (b, t)A dt
t0 t0
Zt1
= kA[ux (b, t) ux (a, t)] dt.
t0
Logo, como k e constante (pois assumimos que a barra e feita de um unico material homogeneo), temos
Z t1 Z b
Q = kA uxx (x, t) dxdt. (1)
t0 a
Por outro lado, tambem e observado experimentalmente que a quantidade de calor absorvida por uma
substancia em um perodo de tempo e diretamente proporcional a massa desta substancia e a variacao media
de sua temperatura durante o intervalo de tempo considerado:
Q = cmu.
A constante de proporcionalidade, denotada por c, depende de cada substancia e e chamada o calor especfico
da substancia; em outras palavras, o calor especfico nada mais e que a quantidade de calor necessaria para
elevar em um grau a temperatura de uma unidade de massa da substancia; no S.I., o calor especfico tem
como unidades Joules/kgK. Embora o calor especfico de uma substancia em geral varie com a temperatura
em que ela se encontra (isto e, c = c(u)), para diferencas de temperaturas nao muito grandes o calor especfico
e aproximadamente constante.
Aplicamos esta lei emprica novamente a um segmento qualquer da barra entre as posicoes x = a e x = b.
A variacao media da temperatura neste segmento da barra no intervalo de tempo que vai de t0 ate t1 e
obtida tomando-se a media das variacoes medias das temperaturas de todos os pontos da barra, ou seja
Z b
1
u = [u(x, t1 ) u(x, t0 )] dx.
ba a
Pelo Teorema Fundamental do Calculo segue que
Z b Z t1
1
u = ut (x, t) dt dx.
ba a t0
sendo m a massa deste segmento e c o calor especfico do material que constitui a barra. Escrevendo
m = A(b a), onde e a densidade da barra, e trocando a ordem dos limites de integracao, obtemos
Z t1 Z b
Q = cA ut (x, t) dxdt. (2)
t0 a
Rodney Josue Biezuner 7
Igualando as duas expressoes obtidas em (1) e (2) para a quantidade total de calor Q que entra no
segmento da barra entre x = a e x = b no perodo de t0 ate t1 , obtemos a equacao do calor em sua forma
integral:
Z t1 Z b Z t1 Z b
c ut (x, t) dxdt = k uxx (x, t) dxdt.
t0 a t0 a
Mas a, b, t0 , t1 sao arbitrarios, logo os integrandos sao necessariamente iguais e assim obtemos a equacao do
calor na sua forma diferencial
ut = Kuxx , (3)
k
onde K = e chamada a difusividade termica do material. A equacao (3) e chamada simplesmente
c
a equacao do calor e representa a lei de variacao da temperatura u(x, t) de uma barra uniforme com
superfcie lateral termicamente isolada. Ela descreve como o calor se espalha ou se difunde com o passar do
tempo, um processo fsico conhecido como difusao. Outras quantidades fsicas tambem se difundem seguindo
esta mesma equacao diferencial parcial (em situacoes unidimensionais), como por exemplo a concentracao de
substancias qumicas, tais como perfumes ou polutantes, e por este motivo a equacao (3) tambem e chamada
mais geralmente de equacao de difusao.
Observacao: A forma diferencial da equacao do calor tambem pode ser obtida mais diretamente. De fato,
diferenciando a lei de Fourier
(x, t) = kux (x, t)
em relacao a x obtemos
x = kuxx . (4)
Por outro lado, vimos acima que
Z t1 Z b Z t1
Q= [(b, t) (a, t)]A dt = cA ut (x, t) dt dx.
t0 a t0
Agora, ao inves de usar a lei de Fourier na integral do lado esquerdo como fizemos acima para obter (1),
usamos o Teorema Fundamental do Calculo para escreve-la na forma
Z t1 Z "Z #
t1 b
[(b, t) (a, t)]A dt = x (x, t) dx A dt.
t0 t0 a
Logo,
Z b Z t1 Z b Z t1
x (x, t) dt dx = c ut (x, t) dt dx.
a t0 a t0
Como a, b, t0 , t1 sao arbitrarios, os integrandos devem ser iguais e portanto obtemos a equacao
x = cut . (5)
Igualando as expressoes (4) e (5) para x , obtemos novamente a equacao do calor. No entanto, e sempre
prefervel obter a formulacao integral, como fizemos anteriormente, e a partir dela obter a formulacao dife-
rencial. A formulacao integral tem a vantagem de valer mesmo em situacoes em que u nao e diferenciavel,
ou mesmo descontnua.
Rodney Josue Biezuner 8
de modo que
Z t1 Z b
Q=A [k(x)ux (x, t)]x dxdt.
t0 a
Do mesmo modo, pode ocorrer que o calor especfico do material que constitui a barra varie com x, assim
como a sua densidade (o que certamente ocorrera na situacao dada acima como exemplo). Logo,
Z t1 Z b
Q=A c(x)(x)ut (x, t) dxdt
t0 a
Portanto, nesta situacao, a equacao do calor que descreve a variacao da temperatura da barra com o passar
do tempo se torna
c(x)(x)ut = [k(x)ux ]x , (6)
Esta equacao e chamada a equacao do calor na forma divergente.
Pode tambem ocorrer que exista uma fonte interna de calor em regioes da barra, devida por exemplo a
reacoes qumicas, nucleares ou aquecimento eletrico. Denotemos
q(x, t) = quantidade de calor gerada por unidade de volume por unidade de tempo.
A quantidade total de calor Q que entra no segmento da barra entre x = a e x = b no perodo de t0 ate t1
devido ao fenomeno de conducao do calor ao longo da barra, deve ser somada a quantidade de calor gerada
internamente no segmento durante este perodo, antes de igualar a expressao obtida em (2) (isso nada mais
e que a lei de conservacao do calor, um caso particular da lei de conservacao da energia). Pela definicao de
q(x, t), este calor gerado internamente e dado por
Z t1 Z b
q(x, t)A dxdt.
t0 a
e da obtemos a equacao
ut = Kuxx + q(x, t). (7)
Esta equacao e um exemplo de uma equacao de reacao-difusao.
E claro que nada impede que as duas situacoes acima ocorram simultaneamente. Neste caso, a equacao
completa que descreve o fenomeno da conducao de calor na barra sera
u(x, 0) = f (x).
Esta e a unica condicao inicial necessaria. Matematicamente, esta necessidade e expressa pelo fato da equacao
diferencial parcial (3) possuir uma derivada parcial em relacao ao tempo de primeira ordem (como no caso de
equacoes diferenciais ordinarias de primeira ordem, em que e necessario saber apenas uma condicao inicial,
o valor da funcao no instante inicial, para se conhecer a solucao unica da equacao).
Alem disso, a distribuicao de temperaturas na barra ao longo do tempo tambem deve depender do que
se passa nas extremidades da barra, que podem nao estar isoladas termicamente e portanto podem permitir
a entrada ou sada de calor, influindo na distribuicao de temperaturas da barra com o passar do tempo. As
condicoes nas extremidades da barra sao chamadas de condicoes de fronteira. Matematicamente, isso se
deve ao fato da equacao diferencial parcial (3) depender tambem da variavel x. Podemos imaginar varios
tipos de condicoes de fronteira para o problema da barra:
u(0, t) = T1 e u(L, t) = T2 .
2. Temperaturas nas extremidades variando com o tempo de acordo com funcoes conhecidas:
3. Extremidades isoladas termicamente (ou seja, o fluxo de calor atraves das extremidades e nulo e a
barra esta completamente isolada):
ux (0, t) = ux (L, t) = 0.
u(0, t) = 0 e ux (L, t) = 0.
Com uma condicao inicial e qualquer uma destas condicoes de fronteira o problema matematico esta
bem posto, admitindo uma unica solucao, conforme veremos em detalhes em um captulo posterior. Uma
condicao do tipo 1 ou 2, em que sao dados valores para a solucao da equacao diferencial parcial na fronteira,
e chamada uma condicao de Dirichlet. Uma condicao do tipo 3 ou 4, em que sao dados valores para a
derivada da solucao da equacao diferencial parcial na fronteira em relacao a variavel espacial, e chamada
uma condicao de Neumann. Uma condicao mista, envolvendo tanto o valor da solucao como o de sua
derivada espacial na fronteira, exemplificada pela condicao do tipo 5, e chamada uma condicao de Robin.
Rodney Josue Biezuner 10
Observacao: O fato da equacao do calor (3) ter uma derivada parcial em relacao a variavel x de segunda
ordem nao tem nada a ver com o fato de precisarmos de duas condicoes de fronteira. Este fato e simples-
mente uma consequencia da fronteira de um segmento ser formada por dois pontos (no caso, a fronteira do
segmento [0, L] e formada pelos pontos 0 e L). Na verdade, essencialmente temos apenas uma condicao de
fronteira; o que ocorre e que, no caso de um segmento, a fronteira e desconexa e esta condicao de fronteira
e mais facilmente expressa por duas sentencas. Este conceito ficara mais claro quando estudarmos equacoes
diferenciais parciais em regioes do plano e do espaco.
Uma condicao de fronteira de grande interesse pratico ocorre quando a barra esta em contato com um
fluido em movimento, como ar ou agua. Como exemplo desta situacao, imagine uma barra quente em
contato com ar mais frio em movimento. Calor deixa a barra, aquecendo o ar, que leva o calor embora,
sendo substituido por ar mais frio, no conhecido processo de conveccao. Experimentos mostram que o fluxo
do calor que deixa a barra e proporcional a diferenca de temperatura entre a barra e a temperatura exterior:
Tentaremos resolver este problema pelo chamado metodo de separacao de variaveis. No metodo de
separacao de variaveis, supomos que a solucao u(x, t) do problema pode ser escrita como o produto de duas
funcoes de uma variavel, uma dependendo apenas de x e a outra dependendo apenas de t:
Esta e apenas uma suposicao, que pode ou nao ser correta (na verdade, veremos que em geral esta suposicao
esta errada, mas ainda assim ela nos ajudara a encontrar a solucao correta para o problema). A vantagem
de fazer esta suposicao e que ela simplifica consideravelmente o problema, transformando um problema de
resolver uma equacao diferencial parcial, que nao sabemos como fazer, em um problema de resolver uma
Rodney Josue Biezuner 11
equacao diferencial ordinaria, que sabemos como fazer. De fato, substituindo (10) na equacao do calor,
obtemos
F (x)G0 (t) = KF 00 (x)G(t)
donde
F 00 (x) 1 G0 (t)
= .
F (x) K G(t)
Note que o lado esquerdo desta equacao depende apenas de x, enquanto que o lado direito depende apenas
de t. Isso so pode ser possvel se na verdade ambos os lados forem independentes de x e t, isto e,
F 00 (x) 1 G0 (t)
= e =
F (x) K G(t)
onde R e uma constante. Portanto o problema se reduz a resolver duas equacoes diferenciais ordinarias:
A equacao diferencial de segunda ordem
F 00 (x) F (x) = 0 (11)
para 0 < x < L.
A equacao diferencial de primeira ordem
G0 (t) KG(t) = 0 (12)
para t > 0.
Vamos resolver primeiro (11). Fazemos isso, apesar dela ser uma equacao mais complexa que (12), porque
as condicoes de fronteira de (9) implicam que F satisfaz as condicoes
F (0) = F (L) = 0. (13)
De fato, a condicao de fronteira u(0, t) = 0 implica que F (0)G(t) = 0 para todo t > 0, o que por sua vez
implica que F (0) = 0 (a menos que G(t) = 0 para todo t, o que significaria que u 0, uma solucao que nao
nos interessa, exceto no caso raro em que a condicao inicial seja tambem f 0); similarmente a condicao
de fronteira u(L, t) = F (L)G(t) = 0 implica que F (L) = 0. A condicao (13) restringe as solucoes de (11), o
que ultimamente limitara os valores possveis de . Em princpio, ha tres solucoes possveis, dependendo do
sinal de :
1. > 0 : Neste caso, a solucao geral de (11) e da forma
F (x) = c1 e x
+ c2 e x
.
Logo, a condicao (13) implica que as constantes reais c1 , c2 devem satisfazer o sistema
c1 + c =0
2 .
c1 e L + c2 e L = 0
Mas a unica solucao deste sistema e c1 = c2 = 0, o que levaria a F 0 e portanto u 0, solucao que
nao nos interessa.
2. = 0 : A solucao geral de (11) neste caso e da forma
F (x) = c1 x + c2 .
A condicao (13) implica que as constantes reais c1 , c2 devem satisfazer o sistema
c2 = 0
.
c1 L + c2 = 0
cuja unica solucao tambem e c1 = c2 = 0 e novamente F 0, o que nao nos interessa.
Rodney Josue Biezuner 12
3. < 0 : Denotando = , a solucao geral de (11) neste ultimo caso e da forma
Como nao queremos c2 = 0, devemos ter sen L = 0, o que implica L = n, onde n N pode ser um
inteiro positivo qualquer.
Portanto, para cada valor de n uma solucao nao nula para o problema (11), (13) e da forma
n
Fn (x) = sen x, (14)
L
por este motivo chamada uma autofuncao para o problema (11),(13) associada ao autovalor
n2 2
= 2n = . (15)
L2
A equacao (12) e imediatamente resolvida atraves de uma integracao simples. A solucao de (12) e da
forma
G(t) = ceKt ,
onde c R e uma constante real. Como os valores de para que o problema (9) tenha solucoes nao nulas
sao os dados em (15), segue que para cada valor de n temos uma solucao relevante de (12) dada por (a menos
da constante)
n2 2
Gn (x) = e L2
Kt
. (16)
Segue que para cada n = 1, 2, 3, . . ., temos uma funcao
n2 2 n
un (x, t) = e L2
Kt
sen x
L
que e uma solucao para a equacao diferencial parcial do problema (9) satisfazendo as suas condicoes de
fronteira.
Por outro lado, precisamos de uma solucao que tambem satisfaca a condicao inicial u(x, 0) = f (x). Logo,
as solucoes que encontramos so funcionam se a funcao f (x) tem uma forma muito particular, ou seja, se
f (x) for um multiplo escalar da funcao seno. Por exemplo,
se f (x) = 3 sen x, entao (9) tem solucao u(x, t) = 3u1 ;
L
5
se f (x) = 17 sen x, entao (9) tem solucao u(x, t) = 17u5 .
L
E obvio que isso raramente ocorre.
Na verdade, porem, ainda podemos obter solucoes para o problema (9) a partir destas solucoes se f (x)
for apenas uma combinacao linear de senos. Por exemplo,
9
se f (x) = 3 sen x + 25 sen x, entao (9) tem solucao u(x, t) = 3u1 + 25u9 ;
L L
2 2 22 901 2
se f (x) = 4 sen x sen x + 5 sen x, entao (9) tem solucao u(x, t) = 4u2 u22 + 5u901 .
L 3 L L 3
Isso e verdade porque a equacao do calor e uma equacao linear, o que significa que combinacoes lineares
de solucoes da equacao diferencial sao tambem solucoes da equacao diferencial e, alem disso, as condicoes
Rodney Josue Biezuner 13
de fronteira de (9) sao homogeneas, logo combinacoes lineares de solucoes que satisfazem as condicoes
de fronteira continuam satisfazendo as condicoes de fronteira (isso pode ser imediatamente verificado e e
deixado para o leitor se convencer). Assim, qualquer expressao da forma (isto e, qualquer combinacao linear
de solucoes)
XN
u(x, t) = cn un (x, t)
n=1
1. Sera que toda funcao f (x) realmente pode ser escrita como uma serie de Fourier?
2. Se a resposta a pergunta anterior for negativa, quais sao as funcoes que possuem series de Fourier?
Sera que elas formam uma classe suficientemente grande para abranger todas ou uma quantidade
significativa das funcoes que surgem nos problemas praticos?
3. Mesmo que f (x) possa ser representada por uma serie de Fourier, sera que a serie definida acima para
u(x, t) converge para uma funcao diferenciavel em t e duas vezes diferenciavel em x que e a solucao de
(9)?
Estas perguntas mostram a necessidade de se desenvolver uma teoria para as series de Fourier. Faremos isso
no proximo captulo.
Observacao: Note que nem o candidato a solucao (18), e nem mesmo a solucao (17), sao produtos de duas
funcoes de uma variavel, uma dependendo apenas de x e outra dependendo apenas de t (elas sao na realidade
somas de produtos de funcoes de uma variavel, soma finita em um caso, soma infinita no outro). Portanto a
suposicao inicial de que partimos no metodo de separacao de variaveis e errada para a maioria das condicoes
iniciais, a nao ser que elas sejam multiplos de sen(nx/L). Mas, usando a linearidade da equacao do calor,
pudemos usar as solucoes obtidas atraves do metodo de separacao de variaveis e a partir delas construir a
solucao para o problema geral. Este e um metodo frequentemente usado em ciencias exatas: simplificar um
problema complexo atraves de uma suposicao simplificadora que em geral nao e valida, mas, a partir da
solucao para o problema simplificado, construir a solucao correta para o problema complicado.
Rodney Josue Biezuner 14
0.3 Exerccios
1. Mostre que a equacao do calor e linear, isto e, se u1 (x, t) e u2 (x, t) sao solucoes da equacao diferencial
parcial ut = Kuxx , entao au1 (x, t) + bu2 (x, t) tambem e, quaisquer que sejam a, b R. Alem disso, se
elas satisfazem as condicoes de fronteira homogeneas u(0, t) = u(L, t) = 0, entao au1 (x, t) + bu2 (x, t)
tambem satisfaz.
2. Mostre que a equacao mais geral do calor, c(x)(x)ut = [K(x)ux ]x + q(x, t), tambem e uma equacao
linear.
3. Proceda como fizemos no texto e encontre um candidato a solucao para o seguinte problema de valor
inicial com condicao de fronteira de Neumann homogenea:
ut = Kuxx se 0 < x < L e t > 0,
ux (0, t) = ux (L, t) = 0 se t > 0,
u(x, 0) = f (x) se 0 6 x 6 L.
Captulo 1
Series de Fourier
Para determinar a possibilidade de uma determinada funcao poder ser expressa como uma serie de Fourier,
bem como para obter os coeficientes da serie de Fourier da funcao quando isso ocorrer, precisamos estudar
certas propriedades das funcoes seno e cosseno.
Claramente, se T e um perodo para a funcao f , entao qualquer multiplo inteiro de T tambem e um perodo
para f : 2T , 2T , 3T , 3T , 4T , 4T , etc. Por exemplo,
1.2 Definicao. O menor perodo positivo de uma funcao periodica f e chamado o perodo fundamental
de f .
Em geral, o perodo fundamental de uma funcao periodica e chamado simplesmente de o perodo da funcao.
1.3 Exemplo. a) As funcoes seno e cosseno sao periodicas e ambas tem perodo 2.
b) Funcoes constantes sao funcoes periodicas que nao possuem perodo fundamental, pois qualquer
numero real nao nulo e um perodo para a funcao constante, logo nao existe um menor perodo positivo.
Do mesmo modo, a funcao
1 se x e racional,
f (x) =
0 se x e irracional,
e uma funcao periodica que nao possui perodo fundamental, pois todo numero racional nao nulo e um
perodo para f (mas observe que numeros irracionais nao sao perodos para f ).
c) A funcao f (x) = x [x], onde [x] e a funcao piso, isto e, [x] e maior inteiro menor que ou igual a
x, e periodica de perodo 1.
15
Rodney Josue Biezuner 16
1.5
0.5
0.5
1
3 2 1 0 1 2 3
d) Podemos encontrar uma infinidade de exemplos de funcoes periodicas, simplesmente definindo uma
funcao em um intervalo de comprimento T e declarando que ela e periodica de perodo T , desta forma
definindo ela na reta toda. Ou seja, suponha que a funcao f foi inicialmente definida no intervalo I
de comprimento T ; dado x R, se x / I determine um inteiro k tal que x + kT I (k e positivo se x
esta localizado a esquerda do intervalo I e negativo se x esta a direita de I) e defina
f (x) = f (x + kT ).
Desta forma, definimos uma funcao f na reta toda que e automaticamente periodica de perodo T . Por
exemplo, podemos definir uma funcao g por
x se L 6 x < 0,
g(x) =
x se 0 6 x < L,
3
2
1
0
1
6 4 2 0 2 4 6
Figura 1.2. L = 2.
Para que a definicao desta extensao periodica seja consistente, observe que o intervalo I deve ser fechado
em um extremo e aberto no outro ou, se o intervalo I for fechado nos dois extremos, a funcao deve ter
os mesmos valores nestes extremos.
Com relacao aos perodos das funcoes que constituem a serie de Fourier, fazemos a seguinte importante
observacao:
nx nx 2L
1.4 Proposicao. As funcoes sen e cos tem perodo fundamental igual a .
L L n
Prova. De fato, na verdade vale a seguinte afirmacao mais geral: para qualquer valor R, 6= 0,
2
sen x e cos x tem perodo fundamental igual a .
Rodney Josue Biezuner 17
Isso pode ser determinado atraves do argumento a seguir. Queremos encontrar o menor valor positivo de T
para o qual vale
sen (x + T ) = sen x para todo x R,
ou seja,
sen x cos T + cos x sen T = sen x para todo x R.
Para determinar T , o que consequentemente determinara T , basta obter os valores de sen T e cos T ,
pois um angulo fica completamente determinado quando se conhece os valores de seu seno e de seu cosseno,
a menos de multiplos de 2. Para isso, observamos que a equacao acima e valida para qualquer valor de x.
Em particular, substituindo o valor x = 0 na expressao acima, obtemos (ja que sen 0 = 0 e cos 0 = 1)
sen T = 0,
e conclumos que T deve ser um multiplo de . Agora, substituindo o valor x = na expressao acima,
2
obtemos (ja que sen = 1 e cos = 0)
2 2
cos T = 1.
Logo, T e necessariamente um multiplo de 2. Como queremos o menor valor positivo de T , segue que
T = 2
e, portanto,
2
T =
.
A mesma conclusao vale para a funcao cos x, ja que a funcao cosseno nada mais e que a funcao seno defasada
/2.
nx nx
1.5 Corolario. As funcoes sen e cos tem um perodo em comum, igual a 2L.
L L
Prova. Como qualquer multiplo inteiro do perodo fundamental e um perodo, segue do resultado anterior
2L nx nx
que n = 2L e um perodo comum para sen e cos .
n L L
y y
1.0 1.0
0.5 0.5
0.0 0.0
1 2 3 4 5 6 1 2 3 4 5 6
x x
0.5 0.5
1.0 1.0
sin(x) cos(x)
sin(2*x) cos(2*x)
sin(3*x) cos(3*x)
Estas relacoes podem ser obtidas atraves de integracao direta e uso das identidades trigonometricas. Por
exemplo, se n 6= m, escrevemos
Z L
1 L
Z
nx mx (n m)x (n + m)x
sen sen dx = cos cos dx
L L L 2 L L L
L
11 1 (n m)x 1 (n + m)x
= sen sen
2 nm L n+m L
L
= 0.
Se n = m, escrevemos
L L
1 L
Z
nx mx nx 2 2nx
Z Z
sen sen dx = sen dx = 1 cos dx
L L L L L 2 L L
L
1 L 2nx
= x sen
2 2n L L
= L.
das funcoes definidas no intervalo [a, b] cujo quadrado e integravel, podemos definir um produto interno por
Z b
hu, vi = u(x)v(x) dx.
a
Porque as funcoes sao quadrado-integraveis, a integral acima esta bem definida e e finita. De fato, como
para quaisquer A, B R vale a desigualdade 2AB 6 A2 + B 2 , segue que
b b b
1 1
Z Z Z
u(x)v(x) dx 6 u2 (x) dx + v 2 (x) dx < .
a 2 a 2 a
Rodney Josue Biezuner 19
ou seja, que a serie no lado direito seja convergente e convirja para a funcao f em todo ponto x R. O
lado direito da expressao acima e chamado a serie de Fourier de f . [O motivo de termos escrito a20 ao
inves de simplesmente a0 ficara claro a seguir.] Em particular, f tem que ser periodica com perodo 2L,
nx nx
pois este e o perodo comum das funcoes sen e cos ; portanto, funcoes definidas na reta toda que
L L
nao satisfazem esta condicao nao possuem series de Fourier. Suponha, alem disso, que a funcao f seja
integravel no intervalo [L, L] e que a serie do lado direito possa ser integrada termo a termo. Das relacoes
nx
de ortogonalidade (observando que a funcao identicamente 1 corresponde a cos para n = 0) segue que
L
Z L !
a0 L
Z L Z L
nx nx
Z X
f (x) dx = dx + an cos dx + bn sen dx
L 2 L n=1 L L L L
= a0 L,
donde
L
1
Z
a0 = f (x) dx. (1.2)
L L
Os outros coeficientes tambem podem ser obtidos facilmente explorando as relacoes de ortogonalidade. Mul-
nx
tiplicando ambos os lados da equacao (1.1) por cos e integrando de L a L, obtemos
L
Z L !
a0 L
Z L Z L
nx nx mx nx mx nx
Z X
f (x) cos dx = cos dx + am cos cos dx + bm sen cos dx
L L 2 L L m=1 L L L L L L
= an L,
donde
L
1 nx
Z
an = f (x) cos dx. (1.3)
L L L
[Por este motivo escrevemos o termo constante da serie de Fourier na forma a20 : deste modo, a formula para
os coeficientes an e a mesma, independente se n = 0 ou n 6= 0.] Analogamente, multiplicando ambos os lados
nx
da equacao (1.1) por sen e integrando de L a L, obtemos
L
1 L nx
Z
bn = f (x) sen dx. (1.4)
L L L
Rodney Josue Biezuner 20
1.6 Exemplo. Admitindo que existe uma serie de Fourier que convirja para a funcao abaixo, calcule os seus
coeficientes.
x se L 6 x 6 0,
f (x) = x se 0 6 x < L,
e periodica de perodo 2L.
Solucao. Temos
" Z #
L 0 Z L
1 L2 L2
1 1
Z
a0 = f (x) dx = x dx + x dx = + = L.
L L L L 0 L 2 2
Os outros coeficientes podem ser calculados atraves de integracao por partes. Temos
" Z #
1 L 0 Z L
nx 1 nx nx
Z
an = f (x) cos dx = x cos dx + x cos dx
L L L L L L 0 L
" 0 Z 0 ! L Z L !#
1 L nx L nx L nx L nx
= x sen + sen dx + x sen sen dx
L n L L n L L n L 0 n 0 L
" 0 L #
1 L2 nx L2 nx
= 2 2 cos + 2 2 cos
L n L L n L 0
L2 L2 L2 L2
1
= 2 2 + 2 2 cos n + 2 2 cos n 2 2
L n n n n
2L
= 2 2 (cos n 1)
n
0 se n e par,
(
= 4L
2 2 se n e mpar.
n
e
" Z #
L 0 Z L
1 nx 1 nx nx
Z
bn = f (x) sen dx = x sen dx + x sen dx
L L L L L L 0 L
" 0 Z 0 ! L Z L !#
1 L nx L nx L nx L nx
= x cos cos dx + x cos + cos dx
L n L L n L L n L 0 n 0 L
" 0 L #
1 L2 L2 nx L2 L2 nx
= cos n 2 2 sen cos n + 2 2 sen
L n n L L n n L 0
= 0.
Portanto,
L 4L X 1 (2n 1)x
f (x) = 2 cos .
2 n=1 (2n 1)2 L
Observe que a serie do lado direito e convergente em todo ponto x, ja que os coeficientes diminuem na
1 (2n 1)x P 1
razao de 2
, cos 6 1 e a serie n=1 n2 e sabidamente convergente.
(2n 1) L
Veja na Figura 1.3 a seguir os graficos das somas parciais da serie de Fourier de f desde n = 1 ate
n = k para k = 1, 2, 3, 4, 5 e 10. Observe como a convergencia e bastante rapida. Para k = 10 a soma
parcial da serie de Fourier de f e virtualmente indistinguivel de f dentro da resolucao utilizada.
Rodney Josue Biezuner 21
k=1 k=2
2 2
1.8 1.8
1.6 1.6
1.4 1.4
1.2 1.2
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
5 4 3 2 1 0 1 2 3 4 5 5 4 3 2 1 0 1 2 3 4 5
k=3 k=4
2 2
1.8 1.8
1.6 1.6
1.4 1.4
1.2 1.2
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
5 4 3 2 1 0 1 2 3 4 5 5 4 3 2 1 0 1 2 3 4 5
k=5 k = 10
2 2
1.8 1.8
1.6 1.6
1.4 1.4
1.2 1.2
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
5 4 3 2 1 0 1 2 3 4 5 5 4 3 2 1 0 1 2 3 4 5
Por outro lado, a convergencia e mais lenta nas quinas, isto e, nos pontos onde f nao e diferenciavel.
Para perceber isso melhor, considere x = L = , de modo
4X 1
= cos(2n 1)
2 n=1 (2n 1)2
ou
2 X 1 1 1 1
= 2
=1+ + + + ...
8 n=1
(2n 1) 9 25 49
Rodney Josue Biezuner 22
Enquanto que = 3.1415926536 e uma aproximacao para com 10 casas decimais, temos:
v
u k
u X 1 3.141274327 se k = 1000,
t8 = 3.141589470 se k = 100000,
(2n 1)2
3.141592335 se k = 1000000.
n=1
1 L nx
Z
an = f (x) cos dx, n = 0, 1, 2, . . . ,
L L L
1 L nx
Z
bn = f (x) sen dx, n = 1, 2, . . . ,
L L L
estao bem definidos, pois
Z L
|f (x)| dx <
L
e
Z Z
L nx L nx
Z L
f (x) cos dx 6 |f (x)| cos dx < |f (x)| dx < ,
L L
L L L
Z Z
L nx L nx
Z L
f (x) sen dx 6 |f (x)| sen dx < |f (x)| dx < .
L L
L L L
A proxima questao e saber para que pontos x esta serie converge e se nestes pontos ela converge para o valor
f (x).
e contnua por partes em qualquer intervalo fechado da reta. Seus pontos de descontinuidade sao os
pontos com valores inteiros e os limites laterais nestes pontos sao 1 e 1.
y
1.0
0.5
3 2 1 1 2 3
0.5 x
1.0
Figura 1.5
b) A funcao
1
se x < 0,
g(x) = 0 se x = 0,
sen 1
se x > 0,
x
nao e contnua por partes no intervalo [1, 1] pois nao existe o limite lateral a direita em x = 0.
y
1.0
0.8
0.6
0.4
0.2
0.5 0.4 0.3 0.2 0.1 0.1 0.2 0.3 0.4 0.5
0.2 x
0.4
0.6
0.8
1.0
Figura 1.6
c) Similarmente, a funcao
1
se x < 0,
|x|
h(x) =
0
se x = 0,
1 se x > 0,
nao e contnua por partes no intervalo [1, 1], pois nao existe o limite lateral a esquerda em x = 0.
Rodney Josue Biezuner 24
y
16
14
12
10
0.5 0.4 0.3 0.2 0.1 0.0 0.1 0.2 0.3 0.4 0.5
x
Figura 1.7
y
0.05
0.04
0.03
0.02
0.01
0.03
0.04
0.05
y
1.0
0.8
0.6
0.4
0.2
0.6
0.8
1.0
e f periodica de perodo 2L. Observe que f satisfaz as hipoteses do teorema de Fourier, ja que sua
derivada e a funcao identicamente nula, exceto nos pontos multiplos de L, onde a derivada nao existe.
Rodney Josue Biezuner 26
y
1.0
0.5
3 2 1 0 1 2 3
x
Figura 1.9: L = 1.
5 4 3 2 1 1 2 3 4 5
x
5 4 3 2 1 1 2 3 4 5
x
Para os valores de descontinuidade (x = kL, k Z), os senos se anulam e a serie de Fourier de f tem
valor igual a L/2, exatamente a media dos limites laterais nestes pontos. Nos demais pontos, a serie
de Fourier converge para f , mas com uma convergencia lenta, ja que os seus coeficientes sao da ordem
de 1/(2n 1).
c) (Onda triangular ) Defina g : R R por
x se L 6 x < 0,
g(x) =
x se 0 6 x < L,
e g periodica de perodo 2L. Observe que g e contnua e diferenciavel por partes (isto e, g 0 e contnua
por partes), logo a serie de Fourier de g converge para g em todo ponto. A serie de Fourier de g foi
calculada no Exemplo 1.6.
1.11 Definicao. Uma funcao real f : R R e par se f (x) = f (x); f e mpar se f (x) = f (x).
nx 2
1.12 Exemplo. a) As funcoes constantes, |x|, x2 , x4 , x2n e cos para qualquer n N, ex , sao funcoes
L
pares.
nx
b) As funcoes x, x3 , x2n+1 e sen para qualquer n N, sao funcoes mpares.
L
c) As funcoes ex , x2 + x + 1 nao sao nem pares, nem mpares.
1.13 Proposicao. (Propriedades elementares das funcoes pares e mpares)
(i) A soma de duas funcoes pares e uma funcao par; a soma de duas funcoes mpares e uma funcao mpar.
(ii) A soma de uma funcao par e uma funcao mpar nao e par, nem mpar (a nao ser que uma delas seja a
funcao nula).
(iii) O produto de duas funcoes pares e uma funcao par; o produto de duas funcoes mpares e uma funcao
par.
Rodney Josue Biezuner 28
(iv) O produto de uma funcao par e uma funcoes mpar e uma funcao mpar.
Prova: A verificacao destas propriedades e muito facil: por exemplo, se f e g sao mpares, entao
(b) Seja f : R R uma funcao mpar, integravel em qualquer intervalo limitado. Entao, para todo L R
vale Z L
f (x) dx = 0.
L
Prova: Temos Z L Z 0 Z L
f (x) dx = f (x) dx + f (x) dx.
L L 0
Como consequencia destas duas proposicoes, obtemos que a serie de Fourier para uma funcao par e uma
serie de cossenos, enquanto que a serie de Fourier para uma funcao mpar e uma serie de senos:
2 L nx
Z
an = f (x) cos dx, n = 0, 1, 2, . . . ,
L 0 L
bn = 0 para todo n,
logo
a0 X nx
f (x) = + an cos .
2 n=1
L
Rodney Josue Biezuner 29
(b) Seja f : R R uma funcao mpar que satisfaz as hipoteses do Teorema de Fourier. Entao,
an = 0 para todo n,
Z L
2 nx
bn = f (x) sen dx, n = 1, 2, . . . ,
L 0 L
logo
X nx
f (x) = bn sen .
n=1
L
1.16 Exemplo. (Onda em dente de serra) Considere a funcao f (x) = x, se L < x < L, f (L) = f (L) =
0, periodica de perodo 2L.
y
1.0
0.8
0.6
0.4
0.2
3 2 1 1 2 3
0.2 x
0.4
0.6
0.8
1.0
Figura 1.12
y
3
5 4 3 2 1 1 2 3 4 5
x
1
y
3
5 4 3 2 1 1 2 3 4 5
x
1
100
80
60
40
20
4 3 2 1 1 2 3 4
x
20
y
100
80
60
40
20
4 3 2 1 1 2 3 4
20 x
40
60
80
100
que e a onda em dente de serra, cuja serie de Fourier e a serie de senos calculada acima:
2L X (1)n+1 nx
f (x) = sen .
n=1 n L
1
Os coeficientes de Fourier da serie de cossenos de f decrescem na ordem de 2 , enquanto que os
n
1
coeficientes de Fourier da serie de senos de f decrescem na ordem de . Portanto, a convergencia da
n
expansao em cossenos de f e muito mais rapida do que a convergencia da expansao em senos de f . Isso
se deve ao fato de que a extensao de f a uma funcao par e uma funcao contnua na reta toda, enquanto
que a extensao de f a uma funcao mpar e uma funcao que possui descontinuidades nos pontos da
forma x = 2kL, k Z. Em geral, como veremos na secao a seguir, quanto maior a regularidade de f ,
mais rapida e a convergencia da sua serie de Fourier.
Definindo a constante
L
1
Z
M0 = |f (x)| dx,
L L
obtemos portanto as seguintes estimativas para os coeficientes de Fourier:
|an | , |bn | 6 M0 para todo n. (1.5)
Como a funcao e apenas integravel, tudo o que conseguimos obter e que os coeficientes de Fourier sao
limitados. A serie de Fourier pode nem mesmo convergir. Suponha agora que
2. f e contnua e sua derivada f 0 e absolutamente integravel em [L, L].
Desta vez podemos integrar por partes para obter
1 L
Z L
nx 1 nx L 1 nx
Z
an = f (x) cos dx = f (x) sen f 0 (x) sen dx
L L L n L L n L L
de modo que
L
1 nx
Z
an = f 0 (x) sen dx. (1.6)
n L L
Analogamente,
L Z L
1 nx 1 nx L 1 nx
Z
bn = f (x) sen
dx = f (x) cos + f 0 (x) cos dx
LL L n L L n L L
Z L
1 1 nx
= (f (L) cos n f (L) cos(n)) + f 0 (x) cos dx
n n L L
Rodney Josue Biezuner 33
de modo que
L
1 nx
Z
bn = f 0 (x) cos dx. (1.7)
n L L
Denotando os coeficientes de Fourier da derivada f 0 de f por
1 L 0 nx
Z
a0n = f (x) cos dx,
L L L
1 L 0 nx
Z
0
bn = f (x) sen dx,
L L L
segue que
L 0
an = b , (1.8)
n n
L 0
bn = a .
n n
Como ja vimos antes (no passo 1), temos que
|a0n | , |b0n | 6 M
c1 para todo n, (1.9)
onde
L
c1 = 1
Z
M |f 0 (x)| dx. (1.10)
L L
Lc
Portanto, se M1 = M1 , segue que
M1
|an | , |bn | 6 para todo n 6= 0. (1.11)
n
Desta vez, com as hipoteses adicionais sobre f (f mais regular, mais suave), obtivemos que os coeficientes
de Fourier convergem para zero quando n tende a infinito. Isso ainda nao assegura que a serie de Fourier
converge, e claro. Suponha agora que
3. f e f 0 sao contnuas e a derivada segunda f 00 e absolutamente integravel em [L, L].
Usando o passo 2 acima, temos
L 00
a0n = b ,
n n
L 00
b0n = a ,
n n
donde
L 0 L L 00 L
an = bn = an = 2 2 a00n , (1.12)
n n n n
L 0 L L L
bn = an = b00n = 2 2 b00n .
n n n n
L2 c
Portanto, se M2 = M2 , segue que
2
M2
|an | , |bn | 6 para todo n 6= 0. (1.15)
n2
Nestas condicoes, sem usar o Teorema de Fourier conclumos pelo teste da comparacao que a serie de Fourier
P 1
converge, pois a serie 2
e convergente (mas e claro que isso nao permite concluir que a serie de Fourier
n=1 n
converge para f ). Alem disso, a velocidade de convergencia e relativamente rapida, de ordem quadratica.
Procedendo por inducao, vemos que quanto mais regular ou suave f for, mais rapidamente os coeficientes
de Fourier convergem para zero e, consequentemente, maior sera a velocidade de convergencia da serie de
Fourier.
Os calculos acima mostram tambem que e possvel calcular os coeficientes de Fourier das derivadas de
uma funcao a partir dos coeficientes de Fourier da propria funcao.
Todos estes resultados sao resumidos no teorema a seguir:
1.18 Teorema. (Coeficientes de Fourier das derivadas de uma funcao) Seja f : R R uma funcao
periodica de perodo 2L, k vezes diferenciavel, tal que f, f 0 , f 00 , ..., f (k1) sao contnuas em R e f (k) e
(j) (j)
absolutamente integravel em [L, L]. Entao, se an , bn denotam os coeficientes de Fourier de f (j) ,
temos para 2 6 j 6 k
n n
a0n = bn b0n = an
L L
n2 2 n2 2
a00n = an b00n = bn
L2 L2
n3 3 n3 3
a000
n = bn , b000
n = an ,
L3 L3
(4) n4 4 (4) n4 4
an = an , bn = bn ,
L4 L4
.. ..
. .
j j j j
j n a n
se n e par, j+1 n bn
se n e par,
(j) L j (j) L j
an = j j bn = j j
j n n
bn se n e mpar, j+1 an se n e mpar,
Lj Lj
onde
1 se j = 0 mod 4 ou j = 1 mod 4,
j =
1 se j = 2 mod 4 ou j = 3 mod 4.
Alem disso, existe uma constante Mk > 0 tal que
Mk
|an | , |bn | 6 para todo n 6= 0.
nk
donde
n n
a0n = bn e b0n = an .
L L
O resultado geral segue por inducao:
n 0 n n n2 2
a00n = bn = an = 2 an ,
L L L L
00 n 0 n n n2 2
bn = a n = bn = 2 bn ,
L L 2L2 L
3 3
n n n n
a000
n = b00
n = 2
b n = bn ,
L L L L3
2 2
n 00 n n n3 3
b000
n = a = a n = an ,
L n L L2 L3
n n3 3 n4 4
n 000
a(4)
n = bn = 3
an = an ,
L L L L4
3 3
n 000 n n n4 4
b(4)
n = a n = 3 bn = bn ,
L L L L4
n n4 4 n5 5
n (4)
a(5)
n = bn = 4
b n = bn ,
L L L L5
n n4 4 n5 5
n (4)
b(5)
n = a n = 4
a n = 5 bn ,
L L L L
e assim por diante.
A constante Mk e dada por !
L
Lk 1
Z
(k)
Mk = k f (x) dx .
L L
Entao a serie de Fourier de f 0 e a serie obtida derivando termo a termo a serie de Fourier de f :
X n nx n nx
f 0 (x) = an sen + bn cos .
n=1
L L L L
Prova: Pelo Teorema de Fourier, sabemos que f 0 possui uma serie de Fourier que converge para f 0 nos
pontos de continuidade de f 0 e para a media dos limites laterais de f 0 nos pontos de descontinuidade:
A0 X nx nx
f 0 (x) = + An cos + Bn sen .
2 n=1
L L
Rodney Josue Biezuner 36
A0 = 0,
n
An = bn ,
L
n
Bn = an .
L
Temos
L
1 1
Z
A0 = f 0 (x) dx = (f (L) f (L)) = 0
L L L
porque f tem perodo 2L, logo f (L) = f (L). Assumindo, para simplificar a demonstracao, que f 0 e
contnua, podemos integrar por partes para obter os outros coeficientes:
" #
1 L 0
Z L
nx 1 L nx L L nx
Z
An = f (x) cos dx = f (x) cos + f (x) sen dx
L L L L n L L n L L
" #
L 1 1 L nx
Z
= (f (L) cos n f (L) cos(n)) + f (x) sen dx
n L L L L
L
= bn .
n
" #
L Z L
1 nx 1 L nx L nx
Z L
Bn = f 0 (x) sen dx = f (x) sen f (x) cos dx
L L L L n L L n L L
" Z #
L 1 L nx
= f (x) cos dx
n L L L
L
= an .
n
1.20 Exemplo. Se f e descontnua, entao a conclusao deste teorema falha: mesmo que f possua uma serie
de Fourier que converge para f em seus pontos de continuidade, nao podemos derivar a serie de Fourier
de f termo a termo para encontrar a serie de Fourier de f 0 . Por exemplo, se f : R R e a onda em
dente de serra, isto e, a funcao periodica de perodo 2L definida no intervalo fechado [L, L] por
x se L < x < L,
f (x) =
0 se x = L, L,
entao a serie de Fourier de f e a serie de senos dada por
2L X (1)n+1 nx
f (x) = sen ,
n=1 n L
como vimos anteriormente. Como f 0 satisfaz tambem as hipoteses do Teorema de Fourier, sabemos
que f 0 tambem possui uma serie de Fourier que converge para f 0 nos pontos de continuidade e para a
media dos limites laterais nos pontos de descontinuidade. No entanto, como f nao e contnua, ocorre
que esta serie de Fourier nao pode ser obtida atraves da derivacao termo a termo da serie de Fourier
de f . De fato, a derivada termo a termo da serie de Fourier de f
X nx
2 (1)n+1 cos
n=1
L
Rodney Josue Biezuner 37
nao e nem mesmo uma serie convergente em nenhum ponto, divergindo tanto nos pontos de desconti-
nuidade como em pontos de continuidade de f . Por exemplo, no ponto x = 0, a serie e
X
2 (1)n+1 = 2(1 1 + 1 1 + ...)
n=1
que oscila entre os valores 2 e 0. Em geral, a serie diverge em qualquer ponto porque
lim cos nx 6= 0
n
para todo x R. Para provar isso, suponha por absurdo que lim cos nx = 0 para algum x. Isso
n
2
implica evidentemente que lim cos2 nx = 0 tambem, pois lim cos2 nx = lim cos nx . Tambem
n n n
segue que lim cos 2nx = 0, pois {cos 2nx} e uma subsequencia de {cos nx}. Mas entao, tomando o
n
limite quando n em ambos os lados da identidade trigonometrica
1 + cos 2nx
cos2 nx = ,
2
obteremos o absurdo 0 = 1/2. Isso prova que lim cos nx 6= 0 para todo x R e portanto a serie
n
diverge em todos os pontos.
Podemos calcular a serie de Fourier de f 0 diretamente a partir da definicao de f 0 : temos que f 0 (x) = 1
se L < x < L, f 0 nao esta definida nos pontos multiplos de L (mas podemos redefinir nestes pontos
como valendo 1) e e periodica de perodo 2L, logo seus coeficientes de Fourier (note que f 0 e par) sao
1 2L 1 2L
Z Z
a0 = f (x) dx = dx = 2,
L 0 L 0
1 2L nx
Z
an = cos dx = 0,
L 0 L
bn = 0,
No caso da questao de se e permitido integrar termo a termo a serie de Fourier de f , as hipoteses sobre
f para que isso seja possvel sao muito mais fracas. Podemos integrar a serie de Fourier de f termo a termo
para obter a integral de f mesmo quando a serie de Fourier de f nao converge uniformemente para f . De fato,
podemos integrar a serie de Fourier de f mesmo quando a serie de Fourier de f nao converge pontualmente
para f , e mesmo quando ela nao e uma serie convergente! Para mostrarmos isso, necessitaremos do seguinte
resultado elementar:
1.21 Proposicao. Seja f : R R uma funcao periodica de perodo T . Entao, para qualquer a R vale
Z T Z a+T
f (x) dx = f (x) dx.
0 a
Rodney Josue Biezuner 38
basta provar que F e constante. Para isso, mostraremos que F 0 0. De fato, escrevendo
Z 0 Z a+T Z a Z a+T
F (a) = f (x) dx + f (x) dx = f (x) dx + f (x) dx
a 0 0 0
F 0 (a) = f (a) + f (a + T ) = 0.
Em outras palavras, este resultado diz que a integral de uma funcao periodica de perodo T tem o mesmo
valor em qualquer intervalo de comprimento T .
1.22 Teorema. (Integracao Termo a Termo da Serie de Fourier) Seja f : R R uma funcao periodica de
perodo 2L, tal que f e contnua por partes. Entao, mesmo se a serie de Fourier de f
a0 X nx nx
+ an cos + bn sen
2 n=1
L L
para todo t R.
Prova: Defina Z th
a0 i
F (t) = f (x) dx.
0 2
Observe que F satisfaz as hipoteses do Teorema de Fourier. De fato, F e periodica de perodo 2L, pois
Z t+2L h Z th Z t+2L h
a0 i a0 i a0 i
F (t + 2L) = f (x) dx = f (x) dx + f (x) dx
0 2 0 2 t 2
Z t+2L h
a0 i
= F (t) + f (x) dx
t 2
e
!
t+2L t+2L
a0 t+2L
Z t+2L L
a0 i 1 1
Z h Z Z Z
f (x) dx = f (x) dx dx = f (x) dx f (x) dx 2L
t 2 t 2 t t 2 L L
Z L Z L
= f (x) dx f (x) dx = 0.
L L
Alem disso, F e contnua na reta toda, pois e a integral de uma funcao contnua por partes, e F 0 = f e
contnua por partes, por hipotese. Portanto, F possui uma serie de Fourier que converge para F em todo
ponto:
A0 X nt nt
F (t) = + An cos + Bn sen .
2 n=1
L L
Rodney Josue Biezuner 39
" L #
L Z L
1 nt 1 L nt L nt
Z
0
Bn = F (t) sen dt = F (t) cos + F (t) cos dt
L L L L n L L n L L
"Z # " #
L
1 a0 nx 1 a0 L nx
Z
= f (t) cos dt = Lan cos dt
n L 2 L n 2 L L
L
= an .
n
Falta calcular A0 . Para isso, notamos que da definicao de F segue que F (0) = 0, logo
A0 X L X bn
= An = .
2 n=1
n=1 n
Assim,
Z th
a0 i L X bn
f (x) dx = ,
0 2 n=1 n
donde
t t
a0 L X bn LX bn nt an nt
Z Z
f (x) dx = dx + + cos + sen
0 0 2 n=1 n n=1 n L n L
a0 L X an nt bn nt
= t+ sen cos 1 .
2 n=1 n L n L
Captulo 2
Pelo Teorema de Fourier, sera sempre possvel escrever f desta forma se f e sua derivada f 0 forem contnuas
por partes; neste caso os coeficientes cn sao exatamente os coeficientes de Fourier da extensao periodica
mpar de f :
2 L nx
Z
cn = f (x) sen dx.
L 0 L
40
Rodney Josue Biezuner 41
E necessario provar que o nosso candidato a solucao u definido em (2.2) e de fato uma solucao para o
problema de Dirichlet (2.1). Para isso precisamos definir mais precisamente o conceito de solucao. Talvez
surpreendentemente, a definicao deste conceito depende fortemente do tipo de aplicacao que se tem em
mente, ou seja, do tipo de resposta que se espera do modelo matematico. Por exemplo, a funcao
f (x) se 0 6 x 6 L e t = 0,
u(x, t) = 0 se x = 0, L e t > 0,
1000 se 0 < x < L e t > 0,
satisfaz todas as condicoes do problema (2.1), mas em princpio nao parece ser uma solucao fisicamente
aceitavel, pois os valores da funcao no interior da faixa retangular nao tem qualquer relacao com os valores
na fronteira. Em geral, esperamos que a distribuicao de temperaturas na barra varie de maneira contnua com
o tempo, a partir da distribuicao de temperaturas inicial, e que em qualquer instante de tempo considerado a
distribuicao de temperaturas ao longo da barra tambem seja contnua e em particular que nao haja um salto
descontnuo na temperatura da barra em seus extremos. Estas consideracoes levariam a seguinte definicao
de solucao para o problema (2.1):
R denota a regiao fechada R = {(x, t) R2 : 0 6 x 6 L e t > 0} = [0, L] [0, +). Em particular, esta
definicao exige que a distribuicao inicial de temperaturas seja contnua e que f (0) = f (L) = 0 (note que,
como consequencia destes dois fatos, a extensao periodica mpar de f tambem sera uma funcao contnua).
No entanto, esta condicao sobre f pode ser uma restricao muito grande em certos problemas fsicos e nao
corresponder a realidade observada. Um exemplo de uma situacao fsica em que isso nao ocorre e quando
consideramos duas barras homogeneas formadas de um mesmo material, inicialmente isoladas uma da outra
(e do meio ambiente) e mantidas a temperaturas constantes mas diferentes (por exemplo, uma e mantida
a temperatura constante de 0 C, enquanto que a outra e mantida a temperatura constante de 100 C); se
elas forem colocadas imediatamente uma em contato com a outra atraves de uma de suas extremidades,
entao temos um sistema que na pratica e uma unica barra com uma distribuicao inicial de temperaturas
dada por uma funcao descontnua (porem contnua por partes). Por outro lado, nao e razoavel que a solucao
u(x, t) esteja totalmente desconectada da distribuicao de temperaturas inicial. Para evitar este problema,
utilizaremos a seguinte definicao de solucao para a equacao do calor:
2.1 Definicao. Dizemos que uma funcao u : R R e uma solucao de (2.1), se u e contnua em
R={(x,
b t) R2 : 0 6 x 6 L e t > 0}, u C 2 (R), lim u(x, t) = f (x) se f e contnua em x, e u satisfaz
t0
todas as condicoes de (2.1).
Estas sao condicoes que a solucao do problema de valor de fronteira deve satisfazer. O proprio problema de
valor de fronteira deve ainda satisfazer duas condicoes importantes para que ele seja considerado um modelo
matematico valido para o problema fsico em questao: ele deve possuir uma unica solucao e esta unica
solucao deve ser estavel. De fato, esperamos que se um problema fsico foi bem compreendido, com todas
as variaveis levadas em consideracao, ele deva ter uma unica solucao (se estivermos estudando um fenomeno
determinstico); se o correspondente modelo matematico possuir mais de uma solucao, e sinal de que ele ainda
nao e um modelo matematico correto para o problema em questao e que sao necessarias hipoteses adicionais
para limitar o numero de solucoes a uma unica solucao. Da mesma forma, na medicao experimental de
fenomenos fsicos, esperamos um certo grau de incerteza e que as medidas obtidas sejam apenas aproximacoes.
Por exemplo, a medicao da temperatura inicial da barra e uma aproximacao e certamente deve conter erros;
analogamente, nao e razoavel esperar que as temperaturas nas extremidades da barra possam ser mantidas
o tempo todo na temperatura exata 0. Consequentemente, a solucao do modelo matematico e apenas uma
aproximacao da solucao real. Para que ela seja uma boa aproximacao deveremos requerer que a solucao
dependa continuamente das condicoes de fronteira, isto e, pequenas mudancas nas condicoes de fronteira,
Rodney Josue Biezuner 42
acarretam apenas pequenas mudancas na solucao. Um problema que satisfaz todas estas condicoes, isto e,
possui uma solucao unica estavel, e chamado um problema bem-posto no sentido de Hadamard.
2.2 Exemplo. Considere o problema de Dirichlet (conducao do calor em uma barra infinita, [Rothe, 1928]):
ut = Kuxx se < x < e t > 0,
u(x, 1) = f (x) se < x < .
2.3 Teorema. Seja f : [0, L] R uma funcao contnua por partes tal que f 0 tambem e contnua por partes.
Entao
X n2 2 nx
u(x, t) = cn e L2 Kt sen
n=1
L
com
L
2 nx
Z
cn = f (x) sen dx
L 0 L
e uma solucao para (2.1), contnua em R
b e de classe C 2 em R. Alem disso, u(x, t) f (x) quando
t 0 se f e contnua em x.
Esboco de Prova: Como vimos no captulo anterior, quando estimamos os coeficientes de Fourier, existe
uma constante M > 0 tal que |cn | < M . Portanto, para todo t > t0 , qualquer que seja t0 > 0, vale
X 2 2
nL nx X n2 2
c e 2 Kt
sen 6 M e L2 Kt0 .
n
L
n=1 n=1
A serie numerica do lado direito converge, por exemplo pelo teste da raiz:
1/n
2 Kt0 2 Kt0
n2
lim e L2 = lim e L2
n
= 0.
n n
Segue do teste-M de Weierstrass que a serie do lado esquerdo converge uniformemente em {(x, t) : 0 6 x 6 L
e t > t0 } e portanto u(x, t) e contnua a. Mas t0 e arbitrario, logo conclumos que u(x, t) e contnua em R.
b
Rodney Josue Biezuner 43
Aplicando novamente o teste-M de Weierstrass, conclumos que as series obtidas diferenciando a serie de
u(x, t) termo a termo, uma vez em relacao a t e duas vezes em relacao a x, sao uniformemente convergentes,
de modo que podemos escrever
2 X 2 n2 2 2 Kt nx
ut (x, t) = K n cn e L sen ,
L2 n=1 L
2 X 2 n2 2 2 Kt nx
uxx (x, t) = 2
n cn e L sen ,
L n=1 L
portanto ut (x, t) = Kuxx (x, t) para todo (x, t) R. Alem disso,
X nx
u(x, 0) = cn sen = f (x),
n=1
L
u(0, t) = u(L, t) = 0.
2.4 Corolario. (Regularidade da Solucao da Equacao do Calor) A solucao obtida no teorema anterior e de
classe C em R.
Prova: De fato, nada nos impede de diferenciar termo a termo a solucao u (x, t) acima quantas vezes
quisermos em relacao a x e t e usar o mesmo argumento do teorema (teste da raiz e teste-M de Weierstrass)
para concluir a convergencia uniforme em cada etapa. Em linhas gerais, ao derivar a serie de u (x, t) termo
a termo i vezes em relacao a t e j vezes em relacao a x obteremos a serie
X n2 2 nx
C (L, ) cn np e L2
Kt
sen
n=1
L
onde p = 2i + j e C (L, ) e uma constante que depende apenas de L e . Logo
X 2 2
p nL nx X n2 2
C (L, ) cn n e 2 Kt
sen 6M np e L2 Kt0 .
n=1
L n=1
Entao existe um ponto (x0 , t0 ) R `4 tal que u(x0 , t0 ) = maxR u. Defina a funcao
M m
v(x, t) = u(x, t) + (x x0 )2 ,
4L2
onde L = x2 x1 . Como em `1 `2 `3 temos
M m 2 3 M
v(x, t) 6 m + L = m+ < M,
4L2 4 4
e u(x0 , t0 ) = v(x0 , t0 ) = M , segue que o maximo de v tambem e assumido em um ponto de R `4 , digamos
em (x, t) R `4 . Como (x, t) e um ponto de maximo para v, devemos ter
vt (x, t) > 0,
vxx (x, t) 6 0.
Em particular,
vt (x, t) > Kvxx (x, t).
Por outro lado, da definicao de v, para todo (x, t) obtemos
vt (x, t) = ut (x, t),
M m
vxx (x, t) = uxx (x, t) + ,
4L2
e como u satisfaz a equacao do calor, segue que
M m
vt (x, t) = ut (x, t) = Kuxx (x, t) = Kvxx (x, t) K < Kvxx (x, t)
4L2
para todo (x, t), uma contradicao.
Para provar que o mnimo de u tambem e atingido em `1 `2 `3 , basta observar que u tambem satisfaz
a equacao do calor e que min u = max(u).
No caso da equacao do calor, o princpio do maximo nada mais e que a expressao matematica do fato de que
o calor flui de regioes mais quentes para regioes mais frias. Se a temperatura mais alta da barra estivesse
localizada em um ponto x0 com 0 < x0 < L em um instante t0 > 0, entao a temperatura estaria crescendo
em x0 por algum tempo antes do instante t0 (a menos que a temperatura seja a mesma em todos os pontos
da barra). Mas entao o calor necessario para aumentar a temperatura em x0 deveria vir de algum ponto
proximo a x0 com temperatura maior em algum instante de tempo t < t0 , logo a temperatura mais alta nao
pode ocorrer em (x0 , t0 ). O mesmo argumento vale para a temperatura mnima.
Rodney Josue Biezuner 45
e
ut = Kuxx se 0 < x < L e t > 0,
u(x, 0) = f2 (x) se 0 6 x 6 L,
u(0, t) = g2 (t) se t > 0,
u(L, t) = h2 (t) se t > 0,
2 2
Definindo = 2 K, notando que en t 6 ent = (et )n com et < 1 para t > 0 e lembrando que
L
r
rn =
P
para |r| < 1, conclumos que
n=1 1 r
et
|u(x, t)| 6 M ,
1 et
de modo que
lim u(x, t) = 0.
t
Isso era esperado: ja que as extremidades da barra nao estao termicamente isoladas, a temperatura em
todos os pontos da barra deve decair ate atingir a mesma temperatura que as suas extremidades, com o
calor escapando da barra atraves delas. Na verdade, a desigualdade acima mostra que a temperatura decai
rapidamente, com decaimento exponencial da ordem de et .
1.0
1.0
0.8
0.8
0.6
z 0.6
0.4 z
0.4
0.2
0.2
0.0 3
0
1 2
2 x
0.0
3 1 0 1 2 3 4 5
4 x
t 0
t
5
Figura 2.1. Solucao u(x, t) = et sen x para L = , K = 1 e condicao inicial f (x) = sen x.
Rodney Josue Biezuner 47
0.3
0.2
0.1
0.0
0.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0 2.2 2.4 2.6 2.8 3.0
x
Para este problema, o princpio de superposicao de solucoes nao funciona, pois apesar da equacao do calor ser
linear, as condicoes de contorno nao sao homogeneas. Vamos obter a solucao atraves de algumas consideracoes
fsicas.
E de se esperar que, apos decorrido um tempo suficientemente longo, devido ao fato do calor se propagar
rapidamente os efeitos da distribuicao inicial de temperaturas na barra se dissiparao e sera atingida uma
distribuicao de temperaturas permanente v(x), ou seja, independente do tempo t e da condicao inicial. Como
v deve obedecer a equacao do calor, mas vt 0, segue que v e uma solucao do problema
00
v (x) = 0 se 0 < x < L,
(2.4)
v(0) = T1 , v(L) = T2 ,
v e chamada a solucao de estado estacionario. Da equacao de v obtemos que v(x) = ax+b; os valores das
constantes a, b sao obtidos atraves das condicoes de contorno, de modo que a solucao de estado estacionario
e
T2 T1
v(x) = x + T1 . (2.5)
L
Rodney Josue Biezuner 48
T2
T1
0 L
A distribuicao de temperatura w(x, t) e chamada transiente, porque ela desaparece a medida que o tempo
passa, ou seja, torna-se arbitrariamente pequena ate o ponto de se tornar completamente irrelevante, perma-
necendo apenas a solucao de estado estacionario. Como w(x, t) = u(x, t) v(x), segue que w(x, t) satisfaz o
problema de Dirichlet homogeneo
wt = Kwxx se 0 < x < L e t > 0,
w(0, t) = w(L, t) = 0 se t > 0,
T2 T1
w(x, 0) = f (x) x + T1 se 0 6 x 6 L,
L
Como vimos no final da secao anterior, de fato w(x, t) 0 quando t . Portanto, a solucao do problema
(2.3) e a soma da solucao de estado estacionario e a solucao transiente:
T2 T1 X n2 2 nx
u(x, t) = x + T1 + cn e L2 Kt sen . (2.6)
L n=1
L
z 4
0
0
3
1
2 2
3
t 1
4 x
5 0
Vamos resolver este problema pelo metodo de separacao de variaveis. Escrevendo u(x, t) = F (x)G(t),
obtemos as equacoes diferenciais ordinarias
00
F (x) F (x) = 0 se 0 < x < L,
(2.8)
F 0 (0) = F 0 (L) = 0,
(a unica coisa que mudou aqui foi a condicao de contorno desta equacao diferencial) e
de modo que
F 0 (x) = c1 e x + c2 e x .
A condicao inicial F 0 (x) = F 0 (L) = 0 implica que as constantes reais c1 , c2 devem satisfazer o sistema
c1 + c2 = 0
.
c1 e L + c2 e L = 0
F (x) = c1 x + c2 ,
de modo que
F 0 (x) = c1 .
A condicao inicial F 0 (x) = F 0 (L) = 0 implica c1 = 0, mas desta vez podemos ter c2 6= 0 e portanto
uma solucao aceitavel e a funcao constante
F (x) c0 .
3. < 0: Denotando = , a solucao geral de (2.8) e da forma
de modo que
F 0 (x) = c1 sen x + c2 cos x.
A condicao inicial F 0 (x) = F 0 (L) = 0 implica que as constantes reais c1 , c2 devem satisfazer o sistema
c2 = 0
.
c1 sen L = 0
Logo c2 = 0 e como nao queremos c1 = 0, devemos ter sen L = 0, o que implica L = n, onde n N
pode ser um inteiro positivo qualquer. Portanto, para cada valor de n, uma solucao para (2.8) e a
funcao
n
Fn (x) = cos x,
L
chamada uma autofuncao para o problema (2.8) associada ao autovalor
n2 2
= 2n = .
L2
2 L nx
Z
cn = f (x) cos dx.
L 0 L
Rodney Josue Biezuner 51
2.0
2.0
1.5
1.5
z 1.0
z 1.0
0.5
0.5
0.0
0.0 3 3 5
0
1 2 2 4
2 3
3 1 1 2
x x 1 t
t 4
5 0 0 0
Figura 2.5. Solucao u(x, t) = 1 + et cos x para L = , K = 1 e condicao inicial f (x) = 1 + cos x.
De forma semelhante a da primeira secao deste captulo, e possvel provar que esta e de fato a unica solucao
de (2.7), e que (2.7) e um problema bem-posto no sentido de Hadamard.
Resolveremos este problema tambem pelo metodo de separacao de variaveis. Escrevendo u(x, t) =
F (x)G(t), obtemos como de costume as equacoes diferenciais ordinarias
00
F (x) F (x) = 0 se 0 < x < L,
(2.12)
F (0) = F 0 (L) = 0,
e
G0 (t) KG(t) = 0.
Para resolver (2.12), analizamos o sinal de :
de modo que
F 0 (x) = c1 e x + c2 e x .
A condicao inicial F (x) = F 0 (L) = 0 implica que as constantes reais c1 , c2 devem satisfazer o sistema
c1 + c2= 0
.
c1 e L + c2 e L = 0
2n 1
o que nao e imediatamente claro, pois nao e um inteiro. No entanto, podemos imaginar que 2L esta
2
fazendo o papel de L na serie de Fourier, de modo que o que temos que obter e uma extensao periodica mpar
de perodo 4L de f . Ainda assim, sobra o problema de que aparecem apenas os termos de coeficiente mpar
nesta serie de senos de f . Precisamos determinar uma extensao mpar de f de tal modo que os coeficientes
de Fourier de f correspondentes aos inteiros pares sejam iguais a zero. A solucao para este problema e definir
a seguinte extensao para f :
f (x) se 0 6 x 6 L,
fe(x) = f (2L x) se L 6 x 6 2L,
f (x) se 2L 6 x 6 0,
observe que ao extendermos f no intervalo [L, 2L], o fizemos de tal modo que o grafico de fe e simetrico em
relacao a reta x = L (veja a figura a seguir).
Rodney Josue Biezuner 53
an = 0,
Z 2L
2 nx 1 L nx 1 2L nx
Z Z
bn = f (x) sen
e dx = f (x) sen dx + f (2L x) sen dx
2L 0 2L L 0 2L L L 2L
1 L nx 1 0 n(2L t)
Z Z
= f (x) sen dx f (t) sen dt
L 0 2L L L 2L
1 L 1 L
nx nt
Z Z
= f (x) sen dx + f (t) cos n sen dt
L 0 2L L 0 2L
1 L nx 1 L nt
Z Z
= f (x) sen dx + f (t)(1)n+1 sen dt
L 0 2L L 0 2L
0 Z se n e par,
= 2 L nx
f (x) sen dx se n e mpar.
L 0 2L
Rodney Josue Biezuner 54
Com argumentos semelhantes aos utilizados anteriormente, pode-se provar que de fato a funcao
X (2n1)2 2 (2n 1)x
u(x, t) = c2n1 e 4L2
Kt
sen
n=1
2L
com
L
2 (2n 1)x
Z
c2n1 = f (x) sen dx
L 0 2L
e a unica solucao de (2.11), e que (2.11) e um problema bem-posto no sentido de Hadamard.
1.0
0.8
0.6
z
0.4
0.2
0.0
0 3
2
4 2
6 1
8
t 10 0 x
t x x
Figura 2.7. Solucao u(x, t) = e 4 sen para L = , K = 1 e condicao inicial f (x) = sen .
2 2
ut Kuxx = 0;
dependendo das condicoes de fronteira do problema, pode ser que uma solucao de estado estacionario nao
exista. Por exemplo, em um problema com geracao interna de calor em que as extremidades da barra
tambem estao isoladas termicamente, como o calor nao tem para onde escapar, a temperatura na barra deve
aumentar constantemente sem limites (ate a barra derreter e deixar de ser barra) e nunca sera atingida uma
situacao de equilbrio.
2.8 Exemplo. Considere o seguinte problema de conducao de calor em uma barra uniforme, homogenea,
cuja superfcie lateral e isolada termicamente:
ut = uxx + sen x se 0 < x < e t > 0,
u(0, t) = 1 se t > 0,
ux (, t) = 2 se t > 0,
u(x, 0) = 1 + sen x se 0 6 x 6 .
Observe que uma das extremidades da barra e mantida a uma temperatura constante, enquanto que a
outra extremidade tem uma taxa de fluxo de calor constante (condicao de fronteira de Robin). Alem
disso, vemos que calor e gerado internamente na barra (a funcao seno e positiva no intervalo (0, )),
dependendo do ponto da barra, mas independente do tempo.
Vamos encontrar primeiro a solucao de estado estacionario v(x). Embora, a primeira vista, fisicamente
talvez nao seja tao claro que ela exista nestas condicoes, se pudermos encontra-la matematicamente
isso por si so sera prova suficiente da sua existencia. Como v deve obedecer a equacao do calor, mas
vt 0, segue que v satisfaz a equacao 0 = v 00 (x) + sen x, logo v e uma solucao do problema
00
v (x) = sen x se 0 < x < L,
v(0) = 1, (2.15)
0
v () = 2.
Por integracao simples, a solucao deste problema e
v 0 (x) = cos x + c1 ,
v(x) = sen x + c1 x + c2 .
As constantes de integracao c1 e c2 sao determinadas atraves das condicoes de fronteira. A condicao de
fronteira v(0) = 1 permite concluir que c2 = 1, enquanto que a condicao v 0 () = 2 implica que c1 = 3.
Assim, a solucao de estado estacionario e
v(x) = sen x + 3x + 1.
Escrevendo u(x, t) = v(x) + w(x, t), segue que a solucao transiente w satisfaz o problema
wt = wxx se 0 < x < e t > 0,
w(0, t) = wx (, t) = 0 se t > 0,
w(x, 0) = 3x se 0 6 x 6 .
2.9 Exemplo. Considere uma barra homogenea, completamente isolada termicamente (ou seja, inclusive
nas suas extremidades), feita de material radioativo, de modo que calor e gerado internamente a uma
taxa constante. O modelo matematico para este problema e
ut = Kuxx + q se 0 < x < L e t > 0,
ux (0, t) = ux (L, t) = 0 se t > 0,
u(x, 0) = f (x) se 0 6 x 6 L.
Fisicamente, nao deve haver uma temperatura de estado estacionario. Matematicamente, se supuser-
mos que existe uma solucao de estado estacionario v(x) independente do tempo e tentarmos resolver o
correspondente problema para v
00
v (x) = a se 0 < x < L,
v 0 (0) = v 0 (L) = 0
v 0 (x) = ax + c1 ,
donde
a 2
v(x) =x + c1 x + c2 .
2
A condicao de fronteira v 0 (0) = 0 permite concluir que c1 = 0, mas entao a condicao de fronteira
v 0 (L) = 0 implica que a = 0, uma contradicao (pois q 6= 0); alem disso, observe que a constante c2
permanece indeterminada.
Este problema pode ser resolvido pelo metodo de variacao dos parametros, como veremos na proxima
subsecao.
onde os parametros constantes cn sao substitudos pelos parametros variaveis cn (t), que devem ser deter-
minados. Observe que esta solucao ja satisfaz as condicoes de fronteira. Precisamos escolher os coeficientes
cn (t) de tal forma que u (x, t) satisfaca a equacao do calor nao-homogenea e a condicao inicial; esta ultima
obviamente sera satisfeita se tivermos
2 L nx
Z
cn (0) = f (x) sen dx. (2.18)
L 0 L
Rodney Josue Biezuner 57
Temos
n2 2
X n2 2 2 2
nL nx
ut (x, t) = c0n (t) e L2 Kt 2
Kcn (t) e 2 Kt
sen ,
n=1
L L
2 2
X n2 2 n nx
uxx (x, t) = cn (t) e L2 Kt 2 K sen .
n=1
L L
Se para cada t > 0 fixado a funcao q (x, t) e representada por sua serie de Fourier de senos
X nx
q (x, t) = qn (t) sen ,
n=1
L
segue que
n2 2 n2 2
X
0
2 2
nL
2 Kt
nx X 2 2
nL
2 Kt
nx
cn (t) 2
Kcn (t) e sen = 2 Kcn (t) e + qn (t) sen .
n=1
L L n=1
L L
Igualando os termos da serie (pois a serie de Fourier de uma funcao definida na reta toda e unica), obtemos
para cada n N a equacao diferencial ordinaria
n2 2 n2 2
n2 2 n2 2
c0n (t) 2
Kcn (t) e L2 Kt = 2 Kcn (t) e L2 Kt + qn (t)
L L
ou
n2 2
Kt
c0n (t) = qn (t) e L2 , (2.19)
sujeita a condicao inicial (2.18). A solucao para este problema de valor inicial e obtida atraves de uma
simples integracao: Z t
n2 2
cn (t) = cn (0) + qn (s) e L2 Ks ds. (2.20)
0
Este metodo tambem funciona quando consideramos condicoes de Neumann ou de Robin homogeneas.
2.10 Exemplo. Como exemplo, vamos usar o metodo de variacao de parametros para resolver o problema
de Neumann do Exemplo 2.9. Escrevemos
c0 (t) X n2 2 nx
u(x, t) = + cn (t) e L2 Kt cos .
2 n=1
L
Como
q0 = q,
qn = 0 para todo n > 1,
Rodney Josue Biezuner 58
segue que
c0 (0)
c0 (t) = qt + ,
2
cn (t) = cn (0) para todo n > 1,
logo
c0 X n2 2 nx
u(x, t) = qt + + cn e L2 Kt cos ,
2 n=1
L
onde cn sao os coeficientes da serie de Fourier de f . Note que quando t a solucao se comporta
como
c0
v (x, t) = qt + .
2
Neste sentido, podemos chamar v (x, t) de solucao de estado estacionario. Observe como a temperatura
aumenta a uma taxa constante a medida que o tempo passa tornando-se arbitrariamente grande, como
esperavamos.
onde a1 , b1 , a2 , b2 R sao constantes nao-negativas tais que a1 , b1 nao sao simultaneamente nulas, a2 , b2 nao
sao simultaneamente nulas e (La1 + b1 ) a2 + a1 b2 6= 0 (esta ultima condicao exclui problemas de Neumann).
Embora nao faca sentido obter uma solucao de estado estacionario, ja que o problema todo e dependente
do tempo, ainda assim podemos considerar escrever
Em outras palavras, como no problema geral a equacao e nao-homogenea e as condicoes de fronteira tambem
sao nao-homogeneas, dividimos o problema em dois problemas mais simples: no problema (2.24) a equacao e
homogenea e as condicoes de fronteira sao nao-homogeneas; no problema (2.25) a equacao e nao-homogenea
mas as condicoes de fronteira sao homogeneas. A solucao do problema (2.24) e ainda uma funcao linear em
x, mas desta vez os coeficientes lineares dependem de t:
Os coeficientes A (t) e B (t) sao determinados pelas condicoes de fronteira. Resolvendo o sistema resultante
a1 B (t) b1 A (t) = g (t)
,
a2 [A (t) L + B (t)] + b2 A (t) = h (t)
obtemos
a1 h (t) a2 g (t) b1 h (t) + (La2 + b2 ) g (t)
v (x, t) = x+ . (2.27)
(La1 + b1 ) a2 + a1 b2 (La1 + b1 ) a2 + a1 b2
Observe que para resolvermos este sistema, a condicao (La1 + b1 ) a2 + a1 b2 6= 0 e essencial.
Para resolver o problema (2.25), como as condicoes de fronteira sao homogeneas, podemos usar o metodo
de variacao de parametros introduzido na subsecao anterior, desde que tenhamos um problema de Dirichlet
ou um problema de Robin do tipo tratado anteriormente. Caso contrario, a situacao fica mais complicada,
como mostrado na proxima secao.
Para resolver este problema, primeiro procuramos a solucao de estado estacionario, ja que as condicoes
nos extremos nao sao homogeneas. A solucao de estado estacionario v = v(x) deve satisfazer o problema
00
v (x) = 0 se 0 < x < L,
v(0) = T1 ,
0
v (L) + hv(L) = hT2 .
Obtemos v(x) = ax + b, com as constantes a, b sendo as solucoes do sistema linear
b = T1
a + h(aL + b) = hT2
ou seja,
h(T2 T1 )
v(x) = x + T1 .
1 + hL
Definindo w(x, t) = u(x, t) v(x), segue que a solucao transiente w(x, t) satisfaz o problema homogeneo
wt = Kwxx se 0 < x < L e t > 0,
w(0, t) = 0 se t > 0,
w x (L, t) + hw(L, t) = 0 se t > 0,
w(x, 0) = g(x) se 0 6 x 6 L,
Rodney Josue Biezuner 60
onde g(x) = f (x) v(x). Usando o metodo de separacao de variaveis, escrevendo w(x, t) = F (x)G(t),
conclumos que F e G devem satisfazer
00
F (x) F (x) = 0 se 0 < x < L,
F (0) = 0, (2.29)
0
F (L) + hF (L) = 0,
e
G0 (t) KG(t) = 0.
Como antes, e possvel
verificar que apenas no caso < 0 temos solucoes que nao sao identicamente nulas.
Denotando = , a solucao geral de (2.29) e entao da forma
de modo que
F 0 (x) = c1 sen x + c2 cos x.
A condicao F (0) = 0 implica que c1 = 0, enquanto que a condicao F 0 (L) + hF (L) = 0 implica que
ou seja,
tan L = .
h
Existem infinitas solucoes para esta equacao transcendental em (pois a reta de inclinacao 1/h intercepta
o grafico de tan L infinitas vezes); de fato, para cada n N existe uma unica solucao n satisfazendo
(2n 1) (2n + 1)
< n < .
2L 2L
Portanto, generalizando, gostaramos de escrever a solucao na forma
X 2
n
w(x, t) = cn e L2 Kt sen n x, (2.30)
n=1
assumindo que toda funcao razoavel g pode ser escrita como uma serie de Fourier generalizada
X n
g(x) = cn sen x.
n=1
L
Os valores de n podem ser obtidos atraves de metodos numericos (eles certamente nao sao uma constante
vezes n, como no caso da serie de Fourier). A resolucao completa deste problema pede portanto uma teoria
de series de Fourier generalizadas, o que nao faremos neste curso (para ver o desenvolvimento desta teoria,
uma boa referencia e [5]).
A partir da, o correspondentes problema com a equacao do calor nao-homogenea seria resolvido usando
o metodo de variacao de parametros como fizemos na secao anterior. Para ver se e realmente possvel
fazer isso, como observado antes teramos que nos aprofundar mais no estudo da teoria de problemas de
Sturm-Liouville.
onde x e o comprimento de arco ao longo do fio. Observe que as condicoes de fronteira sao uma consequencia
da hipotese de que o contato entre as duas extremidades do fio e perfeito do ponto de vista termico. Este e
evidentemente um problema de condicoes de fronteira mistas. Estas nao sao exatamente prescritas, mas sao
condicoes de fronteira periodicas, ja que podemos imaginar o problema definido para todo x (nao apenas para
x entre L e L), com o ponto x sendo fisicamente igual ao ponto x + 2L, logo tendo a mesma temperatura.
Resolvendo este problema pelo metodo de separacao de variaveis, chegamos ao problema de Sturm-
Liouville periodico 00
F (x) F (x) = 0 se L < x < L,
F (L) = F (L), (2.33)
0
F (L) = F 0 (L).
A unica solucao periodica para este problema, alem da solucao constante F0 (x) = c (correspondente a = 0),
e
F (x) = c1 cos x + c2 sen x.
onde, como de costume, = . Usando a primeira condicao de fronteira, obtemos
donde
2c2 sen(L) = 0.
Rodney Josue Biezuner 62
donde
2c1 sen(L) = 0.
Se sen(L) 6= 0, entao c1 = c2 = 0. Portanto, teremos uma solucao nao identicamente nula somente se
sen(L) = 0,
n n2 2
o que corresponde a = . Logo, = 2 e
L L
nx nx
Fn (x) = an cos + bn sen ,
L L
n2 2
Gn (t) = e L2
Kt
.
Assim, a solucao do problema e
a0 X n2 2 nx X n2 2 nx
u(x, t) = + an e L2 Kt cos + bn e L2 Kt sen , (2.34)
2 n=1
L n=1
L
onde an e bn sao os coeficientes da serie de Fourier da extensao periodica de f de perodo 2L. Este e um
exemplo de uma solucao que envolve ambos senos e cossenos.
2.7 Exerccios
Note que estes exerccios sao apenas complementares aos exerccios do livro-texto.
Exerccio 2.1. Resolva os seguintes problemas de valor inicial e de fronteira. Encontre a solucao de estado
estacionario, se existir.
ut = uxx se 0 < x < 1 e t > 0,
(a) u(0, t) = 0, u(1, t) = 100 se t > 0,
u(x, 0) = 100x (1 x) se 0 6 x 6 1.
ut = uxx
se 0 < x < 10 e t > 0,
u(0, t) = 0, u(10, t) = 100 se t 6 0,
(b)
0 se 0 6 x < 5,
u(x, 0) =
100 se 5 < x 6 10.
ut = uxx se 0 < x < e t > 0,
(c) ux (0, t) = u(, t) = 0 se t > 0,
u(x, 0) = x se 0 6 x 6 .
Exerccio 2.2. Usando algum software matematico (Scilab, Maple, Matlab, etc.) ou algum pacote grafico
(OpenGL, Java2D, etc.), plote os graficos de algumas das solucoes do problema anterior e veja como a
solucao evolui com o tempo.
Exerccio 2.3. O problema de valor inicial e de fronteira para tempo negativo
ut = Kuxx se 0 < x < L e t < 0,
u(0, t) = u(L, t) = 0 se t 6 0,
u(x, 0) = f (x) se 0 6 x 6 L,
Rodney Josue Biezuner 63
Exerccio 2.4. Determine se o princpio do maximo vale para a equacao do calor nao homogenea
ut = Kuxx + q,
onde q e uma funcao contnua tal que q > 0. (Sugestao: considere a funcao u(x, t) = (1 et ) sen x.)
Exerccio 2.5. Mostre que o problema de Neumann
ut = Kuxx
se 0 < x < L e t > 0,
ux (0, t) = 0 se t > 0,
ux (L, t) = se t > 0,
u(x, 0) = f (x) se 0 6 x 6 L,
onde e uma constante positiva, nao possui uma solucao limitada em [0, L] [0, +) (em outras
palavras, este problema nao possui uma solucao de estado estacionario).
Exerccio 2.6. (Equacao do Calor em uma Barra com Conveccao na Superfcie Lateral) Assuma que uma
barra uniforme homogenea e isolada termicamente apenas em suas extremidades e que ela perde calor
atraves de sua superfcie lateral a uma taxa por unidade de comprimento diretamente proporcional
a diferenca u (x, t) T , onde T e a temperatura do meio ambiente ao redor da barra. Mostre que a
equacao de propagacao do calor agora e
ut = Kuxx h (u T ) ,
onde h e uma constante positiva. Resolva o problema (de Neumann) associado, usando a funcao
v = eht (u T )
x K2
= e = t,
L L2
a equacao do calor
ut = Kuxx se 0 < x < L e t > 0
e transformada em
ut = uxx se 0 < x < 1 e t > 0.
Exerccio 2.9. Resolva os seguintes problemas de valor inicial e de fronteira. Encontre a solucao de estado
estacionario, se existir.
Rodney Josue Biezuner 64
ut = Kuxx + a se 0 < x < L e t > 0,
(a) u(0, t) = b, u(L, t) = c se t > 0, onde a, b, c R.
u(x, 0) = 0 se 0 6 x 6 L,
ut = Kuxx + Cepx
se 0 < x < L e t > 0,
(b) u(0, t) = u(L, t) = 0 se t > 0, onde p, C sao constantes positivas.
u(x, 0) = f (x) se 0 6 x 6 L,
Exerccio 2.10. Encontre o valor constante de q e o menor valor da constante M para os quais o problema
ut = Kuxx + q se 0 < x < 1 e t > 0,
ux (0, t) = 1, ux (1, t) = 3 se t > 0,
u(x, 0) = x (1 2x) + M se 0 6 x 6 1,
u (x, 0) 6 v (x, 0)
1. As vibracoes ocorrem em um plano. Denotaremos as coordenadas deste plano por (x, u), de modo que
u(x, t) denota a posicao do ponto x da corda no instante de tempo t.
2. As vibracoes sao transversais. Ou seja, as partculas constituintes da corda deslocam-se apenas na
direcao do eixo u.
3. A corda e flexvel. Isso significa que a corda nao oferece resistencia a ser dobrada (ou seja, resistencia
a flexao, da o nome). Como consequencia, a forca atuando em cada ponto da corda e sempre tangente
a corda, chamada a tensao da corda.
T(x2,t)
T(x1,t)
Como nao ha movimento da corda na direcao do eixo x, isso significa que a resultante das componentes
horizontais das tensoes atuando em cada pedaco da corda e nula. Portanto, se T (x1 , t) e T (x2 , t) sao as
65
Rodney Josue Biezuner 66
tensoes atuando nos pontos x1 e x2 e (x1 , t) e (x2 , t) sao os angulos destas forcas com relacao a horizontal
(o eixo x), no instante de tempo t, segue que
para todos x1 , x2 . Portanto, a componente horizontal da tensao e constante ao longo da corda, independente
do ponto x, embora ela possa depender do tempo t. Vamos denotar a componente horizontal da tensao por
(t):
(t) := T (x, t) cos (x, t).
(x, t)
T (x, t)sen(x, t)
T(x,t)
Para calcular a resultante vertical da tensao atuando no pedaco da corda compreendido entre x1 e x2 ,
observamos primeiro que a forca vertical atuando em um elemento infinitesimal da corda compreendido entre
os pontos x e x + x e dada por:
Usando o fato de que tan (x, t) e a inclinacao da reta tangente ao grafico de u(x, t) no instante de tempo t,
ou seja, a derivada ux (x, t) da funcao u com relacao a x, obtemos
(t) [tan (x + x, t) tan (x, t)] = (t) [ux (x + x, t) ux (x, t)] = (t)uxx (x, t)x
onde, pelo Teorema do Valor Medio, x e algum ponto compreendido entre x e x + x. Portanto, a resultante
vertical da tensao atuando no pedaco da corda compreendido entre x1 e x2 e dada por
Z x2
resultante vertical = (t) uxx (x, t) dx. (3.1)
x1
Isso significa que em cada ponto x da corda, a forca devida a tensao atuando nele no instante de tempo t
e dada por (t)uxx (x, t), o produto da tensao horizontal naquele ponto pela curvatura da corda no ponto.
Intuitivamente isso faz sentido, pois a tensao atuando na corda e principalmente uma forca horizontal e
quanto maior e a curvatura em um ponto na corda, maior deve ser a tensao naquele ponto. Imagine uma
corda presa nas suas extremidades. Ao tentarmos flexiona-la, ela oferece resistencia exatamente por estar
presa (as extremidades presas puxam a corda em suas direcoes), e quanto mais puxarmos a corda em um
determinado ponto, o que significa que estamos cada vez aumentando mais a curvatura da corda naquele
ponto, maior e a tensao na corda, isto e, a sua resistencia a ser assim flexionada.
Rodney Josue Biezuner 67
Alem das forcas de tensao (forcas internas a corda), a corda pode tambem estar sujeitas a forcas externas,
tais como a forca da gravidade e a resistencia ao movimento da corda imposta pelo meio onde ela esta situada
(forcas de atrito ou friccao), mas assumiremos que a contribuicao destas forcas e negligvel (por exemplo, a
corda e feita de um material muito leve e o meio nao oferece resistencia significativa). Em outras palavras,
estamos assumindo que as vibracoes sao livres.
Por outro lado, se utt (x, t) e a aceleracao em um ponto x da corda no instante de tempo t (representada
apenas pelo seu componente vertical, ja que o seu componente horizontal e nulo) e se a densidade linear da
corda no ponto x e (x), segue da segunda lei de Newton que em cada elemento infinitesimal da corda a
forca atuando nele e dm utt (x, t) = (x)dx utt (x, t), de modo que
Z x2
resultante vertical = (x)utt (x, t) dx. (3.2)
x1
Igualando (3.1) a (3.2), usando o fato de que x1 e x2 sao arbitrarios, e denotando c2 = c2 (x, t) = (t)/(x),
obtemos a equacao da onda:
utt = c2 uxx . (3.3)
Fisicamente, ela significa que a aceleracao em cada ponto da corda e proporcional a curvatura da corda
naquele ponto. Pontos com concavidade para cima (isto e, uxx > 0) tendem a ser acelerados para cima
(utt > 0), enquanto que pontos com concavidade para baixo (uxx < 0) tendem a ser acelerados para baixo
(utt < 0); e claro que deve-se levar em conta tambem a velocidade e a direcao em que a corda esta-se movendo
no momento.
Quando a corda e homogenea, a densidade e constante: (x) . Se as vibracoes sao pequenas, de
modo que (x, t) 0 e consequentemente cos (x, t) 1, a forca de tensao nao varia com o tempo: (t) .
Quando estas duas condicoes sao obedecidas, segue que o parametro c e uma constante. Observe que o
parametro c tem dimensao de velocidade, e o significado fsico disso sera explicado mais tarde.
onde as condicoes iniciais f e g sao funcoes contnuas. Este e o caso de uma corda de violao, em que a corda
e deslocada e depois solta para comecar a sua vibracao (f 6= 0 e g 0) ou da corda de um piano, em que a
corda em repouso e percurtida por um golpe de martelo (f 0 e g 6= 0).
Podemos tambem considerar o problema da corda com extremidades livres, em que as extremidades
da corda sao presas a trilhos colocados perpendicularmente a corda, no plano de vibracao:
utt = c2 uxx se 0 < x < L e t > 0,
ux (0, t) = ux (L, t) = 0 se t > 0,
u(x, 0) = f (x) se 0 6 x 6 L,
ut (x, 0) = g(x) se 0 6 x 6 L.
Podemos ainda considerar condicoes de fronteira mistas (uma extremidade fixa, uma extremidade livre)
ou um problema em que as extremidades da corda se movem transversalmente de acordo com uma lei
conhecida: 2
utt = c uxx
se 0 < x < L e t > 0,
u(0, t) = a(t) se t > 0,
u(L, t) = b(t) se t > 0,
u(x, 0) = f (x) se 0 6 x 6 L,
ut (x, 0) = g(x) se 0 6 x 6 L.
3.1 Definicao. Dizemos que uma funcao u : R R e uma solucao do problema da corda vibrante,
se u e contnua em R={(x, t) R2 : 0 6 x 6 L e t > 0}, u C 2 (R) e u satisfaz todas as condicoes
iniciais e de fronteira.
1. Vibracoes forcadas: Se F (x, t) e uma forca externa transversal atuando em cada ponto x da corda no
instante de tempo t, levando em conta este termo na deducao da equacao da onda acima, vemos que
a equacao que descreve o movimento da onda e dada por
F (x, t)
utt = c2 uxx + .
Por exemplo, se a unica forca externa que atua na corda e a forca gravitacional, entao F (x, t) = (x)g
e portanto
utt = c2 uxx g
2. Vibracoes amortecidas: Se a corda estiver imersa em um fluido que opoe uma resistencia ao movimento
da corda, e esta forca for proporcional a velocidade da corda, temos
Se o atrito depender do quadrado da velocidade da corda, entao teremos uma equacao nao-linear:
onde f (0) = f (L) = f 00 (0) = f 00 (L) = g(0) = g(L) = 0 e c e uma constante. Escrevendo u(x, t) = F (x)G(t),
obtemos as equacoes diferenciais ordinarias
00
F (x) F (x) = 0 se 0 < x < L,
(3.5)
F (0) = F (L) = 0,
e
G00 (t) c2 G(t) = 0. (3.6)
O problema de Sturm-Liouville (3.5) ja foi estudado na Introducao. Suas autofuncoes sao
nx
Fn (x) = sen , (3.7)
L
associadas respectivamente aos autovalores
n2 2
n = .
L2
Agora o problema (3.6) e
c2 n 2 2
G00 (t) + G(t) = 0,
L2
cuja solucao geral e
cnt cnt
Gn (t) = cn cos + dn sen . (3.8)
L L
Portanto, as solucoes fundamentais da equacao da onda que satisfazem as condicoes de fronteira sao as
funcoes
nx cnt cnt
un (x, t) = sen cn cos + dn sen . (3.9)
L L L
O candidato a solucao de (3.4) e a serie infinita
X nx cnt cnt
u(x, t) = sen cn cos + dn sen .
n=1
L L L
Os seus coeficientes an , bn sao determinados atraves das condicoes iniciais. Como u(x, 0) = f (x), temos
X nx
f (x) = cn sen ,
n=1
L
Mais uma vez, e possvel provar rigorosamente que este candidato e de fato a unica solucao para o problema
(3.4) sob hipoteses razoaveis:
3.2 Teorema. Sejam f, g : [0, L] R funcoes tais que f e de classe C 2 e g e de classe C 1 , satisfazendo
f (0) = f (L) = f 00 (0) = f 00 (L) = g(0) = g(L) = 0. Entao
X nx cnt cnt
u(x, t) = sen cn cos + dn sen
n=1
L L L
com
L
2 nx
Z
cn = f (x) sen dx,
L 0 L
L
2 nx
Z
dn = g(x) sen dx,
cn 0 L
Observe que em cada instante de tempo t a forma da corda e uma senoidal, cuja amplitude varia de
maneira periodica. Por exemplo,
u(x, 0) = senx, u(x, 5/4) = 22 sen x,
u(x, /4) = 22 sen x, u(x, 3/2) = 0,
u(x, /2) = 0, u(x, 7/4) = 22 sen x
u(x, 3/4) = 22 sen x, u(x, 2) = sen x.
u(x, ) = sen x,
u
1.0
0.8
0.6
0.4
0.2
0.0
x
0.2
0.4
0.6
0.8
1.0
Este exemplo ilustra de forma clara a diferenca da equacao do calor para a equacao da onda. Na equacao
da onda, o termo dependente de t tambem e uma funcao periodica, de modo que a corda vibra. Na equacao
do calor, diferentemente, o termo dependente de t e um decaimento exponencial em t: o calor se propaga (e
se dissipa) rapidamente.
3.4 Exemplo. Resolva o problema
utt = uxx
se 0 < x < e t > 0,
u(0, t) = u(, t) = 0 se t > 0,
u(x, 0) = 0 se 0 6 x 6 ,
ut (x, 0) = sen x se 0 6 x 6 .
3.5 Teorema. (Solucao de DAlembert, 1747) Suponha que u e uma funcao de classe C 2 que satisfaz a
equacao da onda
utt = c2 uxx
onde c e uma constante. Entao existem funcoes F, G : R R de classe C 2 tais que
Prova: Se u e da forma u(x, t) = F (x + ct) + G(x ct), para algumas funcoes F, G de classe C 2 , entao u e
uma solucao de classe C 2 da equacao da onda porque
ux = F 0 (x + ct) + G0 (x ct),
uxx = F 00 (x + ct) + G00 (x ct),
ut = cF 0 (x + ct) cG0 (x ct),
utt = c2 F 00 (x + ct) + c2 G00 (x ct) = c2 uxx .
Reciprocamente, para provar que toda solucao da onda tem esta forma, vamos primeiro introduzir novas
variaveis
r = x + ct e s = x ct
e definir uma nova funcao v(r, s) por
ux = vr rx + vs sx = vr + vs ,
uxx = (ux )x = (vr + vs )x = vrr rx + vrs sx + vsr rx + vss sx = vrr + 2vrs + vss ,
ut = vr rt + vs st = c(vr vs ),
utt = (ut )t = c(vr vs )t = c[vrr rt + vrs st vsr rt vss st ] = c2 (vrr 2vrs + vss ).
Aqui usamos o fato de que v e de classe C 2 para garantir que vrs = vsr .
Como utt = c2 uxx , segue que
e, portanto,
vrs = 0.
E facil resolver esta equacao por integracao simples. Por exemplo, (vr )s = 0 implica que vr e constante em
relacao a s, isto e, vr e uma funcao apenas de r:
vr (r, s) = f (r);
com F e G de classe C 2 .
A expressao F (x + ct) e chamada uma onda viajante movendo-se para a esquerda com velocidade c, porque
o grafico de F (x + ct) e o grafico de F (x) deslocado ct unidades para a esquerda. Analogamente, G(x ct) e
uma onda viajante movendo-se para a direita com velocidade ct. A solucao da equacao da onda e portanto
a soma de duas ondas viajantes, movendo-se com a mesma velocidade mas em sentidos opostos.
u u u
x x x
u u u
x x x
u u u
x x x
nc
Mas, os coeficientes cn , dn sao por definicao os coeficientes de Fourier que aparecem na serie de Fourier
L
de senos de f e g, logo
X nx
fe(x) = cn sen ,
n=1
L
X nc nx
ge(x) = dn sen .
n=1
L L
1X n(x ct) 1 X n(x + ct)
= dn cos dn cos .
2 n=1 L 2 n=1 L
Portanto,
x+ct
1 1X n(x ct) 1 X n(x + ct)
Z
ge(s) ds = dn cos dn cos . (3.16)
2c xct 2 n=1 L 2 n=1 L
Como vimos antes, as funcoes F e G nao podem ser determinadas de maneira unica porque se k e uma
constante arbitraria, entao F + k e G k levam a mesma solucao para o problema. Mas por este mesmo
motivo, nao ha perda de generalidade se impusermos a condicao
F (0) = 0.
Alem disso, o problema envolve apenas os valores de x e t tais que 0 6 x 6 L e t > 0, logo apenas os
valores de F em [0, +) e de G em (, L] sao relevantes para a solucao. Estes valores serao unicamente
determinados pelas condicoes iniciais e de fronteira.
Das condicoes iniciais do problema, obtemos
se 0 6 x 6 L. Como f (0) = F (0) = 0, segue que G(0) = 0. Integrando a ultima expressao, obtemos
1 x
Z
F (x) G(x) = g(s) ds
c 0
Rodney Josue Biezuner 77
se 0 6 x 6 L. Conclumos que
Z x
1 1
F (x) = f (x) + g(s) ds,
2 2c 0
Z x
1 1
G(x) = f (x) g(s) ds
2 2c 0
para x [0, L]. Para encontrar os valores de F e G alem deste intervalo, usamos as condicoes de fronteira.
De u(0, t) = 0 para todo t > 0, obtemos F (ct) + G(ct) = 0 para todo t > 0, isto e,
e de u(L, t) = 0 para todo t > 0, obtemos F (L + ct) + G(L ct) = 0 para todo t > 0, isto e,
(Em outras palavras, G em [L, 0] e a extensao mpar da restricao de F ao intervalo [0, L].) Agora, se fe, ge
sao as extensoes periodicas mpares de f, g, respectivamente, com perodo 2L, entao para x 6 0 temos
fe(x) = f (x),
Z x Z x Z x
g(s) ds = ge(s) ds = ge(s) ds,
0 0 0
de modo que
x
1 1
Z
G(x) = fe(x) ge(s) ds para todo L 6 x 6 L.
2 2c 0
ou, tomando x = y + L,
G(y) = G(y 2L) para todo y 6 L,
o que significa que G e a restricao a (, L] de uma funcao periodica de perodo 2L. Segue entao de (3.17)
que o grafico de F em [0, +) e obtido do grafico de G em (, 0] por simetria com respeito a origem, de
modo que F e a restricao a [0, +) de uma funcao periodica de perodo 2L. Portanto,
1 1 x
Z
F (x) = fe(x) + ge(s) ds para todo x > 0,
2 2c Z 0 (3.19)
x
1 1
G(x) = fe(x) ge(s) ds para todo x 6 L.
2 2c 0
Para que F e G sejam de classe C 2 , precisamos que f seja de classe C 2 e que g seja de classe C 1 . Alem
disso, como fe e mpar, derivando fe(x) = fe(x) duas vezes produz fe00 (x) = fe00 (x) para todo x; em
Rodney Josue Biezuner 78
particular, fe00 (0) = fe00 (0), o que implica fe00 (0) = 0, e fe00 (L) = fe00 (L) = fe00 (L) (porque fe tem perodo
2L), logo fe00 (L) = 0 tambem.
Como F e G foram determinadas de maneira unica nos intervalos [0, +) e (, L], respectivamente,
segue que a unica solucao para o problema e
Z x+ct
1 e 1
u(x, t) = [f (x + ct) + f (x ct)] +
e ge(s) ds.
2 2c xct
E facil verificar a partir desta expressao que a solucao depende continuamente dos valores iniciais, pois
se u1 e u2 sao solucoes de (3.4) correspondentes aos valores iniciais f1 , g1 e f2 , g2 , respectivamente, entao
1 x+ct
Z
1 e
|u1 (x, t) u2 (x, t)| 6 f1 (x + ct) + f1 (x ct) f2 (x + ct) f2 (x ct) + [ge1 (s) ge2 (s)] ds
e e e
2 2c xct
Z x+ct
1 1 1
6 fe1 (x + ct) fe2 (x + ct) + fe1 (x ct) fe2 (x ct) + max |ge1 ge2 | ds,
2 2 2c [xct,x+ct] xct
Como
f1 (x + ct) fe2 (x + ct) 6 max |f1 f2 | ,
e
[0,L]
f1 (x ct) fe2 (x ct) 6 max |f1 f2 | ,
e
[0,L]
sao chamados harmonicos. A vibracao da corda e a superposicao destes infinitos harmonicos. Se considerar-
mos apenas o harmonico un cada ponto da corda se moveria com as seguintes caractersticas:
nx
amplitude n sen ,
L
fase n ,
2L
perodo ,
cn
cn
frequencia .
2L
Em particular, a frequencia em todos pontos da corda para cada harmonico e a mesma, e aumenta linearmente
com n. A frequencia do primeiro harmonico, chamado o harmonico fundamental, e a chamada a frequencia
fundamental da corda:
c 1
r
1 = = .
2L 2L
Note ainda que para cada harmonico existem pontos da corda que nao se movem (os zeros da funcao sen nx L );
estes sao chamados pontos nodais.
O ouvido humano e capaz de distinguir poucos harmonicos. Isso se deve nao so pelo fato da frequencia dos
harmonicos aumentar linearmente com o ndice n, como tambem porque a amplitude e, consequentemente,
a energia destes harmonicos decrescer com n. Para ver isso, vamos calcular a energia de cada harmonico.
Rodney Josue Biezuner 80
se as extremidades da corda estao fixadas de modo que ut (0, t) = ut (L, t) = 0, ou se as condicoes de fronteira
sao tais que ux (0, t) = ux (L, t) = 0. Logo,
Z t0 Z L !
1 d
T= 2
ux (x, t) dx dt
0 2 dt 0
L 2 L 2
Z Z
= ux (x, 0) dx u (x, t0 ) dx,
2 0 2 0 x
o que mostra que o trabalho da tensao para levar a corda da configuracao inicial para a configuracao final
depende apenas destas duas e portanto independe das configuracoes intermediarias, o que nos permite definir
esta expressao como uma energia potencial.
Portanto, a energia total da corda e
L 2 L 2
Z Z
E (t) = U (t) + K (t) = ux (x, t) dx + u (x, t) dx. (3.23)
2 0 2 0 t
Na verdade, como a corda vibrante nesta situacao e um sistema conservativo (nao ha forcas dissipadoras de
energia e o sistema e isolado de influencias externas ou estas sao desprezveis), a energia total da corda e
constante e igual a sua energia no instante 0 (este fato e rigorosamente demonstrado no Teorema 3.10) ou
seja,
L 2 L 2
Z Z
E (t) = E (0) = u (x, 0) dx + u (x, 0) dx.
2 0 x 2 0 t
Se u (x, 0) = f (x) e ut (x, 0) = g (x), segue que a energia total da corda pode ser expressa em funcao das
condicoes iniciais como
L 0 L
Z Z
E= [f (x)]2 dx + [g(x)]2 dx. (3.24)
2 0 2 0
Rodney Josue Biezuner 81
onde an , bn sao os coeficientes de Fourier de h. Como vimos antes, se u (x, 0) = f (x) e ut (x, 0) = g (x), os
coeficientes cn e dn sao tais que
X nx
f (x) = cn sen ,
n=1
L
X cn nx
g(x) = dn sen ,
n=1
L L
de modo que
X n nx
f 0 (x) = cn cos ,
n=1
L L
e a identidade de Parseval implica portanto que
L 0 L n2 2 2 c2 n2 2 2
Z Z X X
E= [f (x)]2 dx + [g(x)]2 dx = c2 L 2
cn + L dn
2 0 2 0 n=1
L n=1
L2
X
X
X
= M 2 n2 c2n + d2n = M 2 n2 n2 =
En .
n=1 n=1 n=1
onde
hx
se 0 6 x 6 a,
f (x) = a
Lx
h
se a 6 x 6 L.
La
(Supoe-se que o musico dedilha a corda em um ponto distante a da extremidade 0 a uma altura h.) Os
harmonicos deste problema sao encontrados diretamente encontrando a serie de Fourier de f (ja que
dn = 0, pois nao ha velocidade inicial, o musico simplesmente solta a corda):
L2
2h na nx cnt
un (x, t) = 2 2
sen sen cos .
a(L a) n L L L
A vibracao total da corda e a superposicao destes harmonicos. Observe que, dependendo do ponto
a, alguns harmonicos podem estar ausentes (correspondentes a sen na L = 0); estes sao os chamados
harmonicos mudos. Por exemplo, se a = L/2, todos os harmonicos pares sao mudos. Em geral, se o
ponto a for um ponto nodal do n-esimo harmonico, este sera mudo. O primeiro harmonico (que nao
possui pontos nodais) nunca e mudo.
A altura do som e medida pela frequencia, e em geral ela e dada pelo harmonico fundamental
1
r
1 = .
2L
Assim, quanto menor o comprimento da corda, maior e a frequencia, recurso utilizado nos instrumentos
musicais e pelos musicos. Alem disso, a frequencia depende da tensao, da a necessidade de se afinar
os instrumentos musicais, pois com o passar do tempo a tensao em suas cordas varia.A intensidade
depende da energia, ja o timbre e uma qualidade que depende da forma global de u(x, t) e portanto
permite distinguir entre instrumentos diferentes.
u
u
u
x
x
x
u
u u x
x
u
u x
u x
x
Rodney Josue Biezuner 83
Prova: Suponha que u1 e u2 sejam duas solucoes do problema acima. Entao u = u1 u2 e solucao do
problema
utt = c2 uxx se 0 < x < L e t > 0,
u(0, t) = u(L, t) = 0 se t > 0,
u(x, 0) = ut (x, 0) = 0 se 0 6 x 6 L.
E claro que a energia inicial e E(0) = 0. Logo, pelo princpio de conservacao da energia,
L 2 L 2
Z Z
E(t) = ux (x, t) dx + u (x, t) dx = 0
2 0 2 0 t
para todo t. Segue que ux (x, t) = ut (x, t) = 0, portanto u e constante. Mas u(0, t) = 0, logo esta constante
e a constante nula, isto e, u 0 e portanto u1 = u2 .
Rodney Josue Biezuner 84
3.5 Exerccios
Exerccio 3.1. Use o metodo de separacao de variaveis para resolver os seguintes problemas de valor ini-
cial e de fronteira (em alguns problemas, pode ser necessario encontrar antes a solucao de estado
estacionario).
utt = c2 uxx se 0 < x < L e t > 0,
(a) ux (0, t) = 0, ux (L, t) = 0 se t > 0,
u(x, 0) = f (x) , ut (x, 0) = g (x) se 0 6 x 6 L.
utt = c2 uxx se 0 < x < L e t > 0,
(b) u(0, t) = 0, ux (L, t) = 0 se t > 0,
u(x, 0) = f (x) , ut (x, 0) = g (x) se 0 6 x 6 L.
2
utt = c uxx se 0 < x < L e t > 0,
(c) u(0, t) = A, u(L, t) = B se t > 0,
u(x, 0) = f (x) , ut (x, 0) = g (x) se 0 6 x 6 L.
2
utt = c uxx se 0 < x < L e t > 0,
(d) u(0, t) = A + Bt, u(L, t) = C + Dt se t > 0,
u(x, 0) = f (x) , ut (x, 0) = g (x) se 0 6 x 6 L.
(i) (Corda percurtida por um martelo plano) Para 0 < a < L e > 0 pequeno:
utt = c2 uxx se 0 < x < L e t > 0,
u(0, t) = u(L, t) = 0 se t > 0, v se |x a| 6 ,
com g(x) =
u(x, 0) = 0 se 0 6 x 6 L, 0 se |x a| > .
ut (x, 0) = g (x) se 0 6 x 6 L,
Rodney Josue Biezuner 85
(j) (Corda percurtida por um martelo convexo) Para 0 < a < L e > 0 pequeno:
utt = c2 uxx se 0 < x < L e t > 0,
(x a)
(
u(0, t) = u(L, t) = 0 se t > 0, v cos se |x a| 6 ,
com g(x) = 2
u(x, 0) = 0
se 0 6 x 6 L, 0 se |x a| > .
ut (x, 0) = g (x) se 0 6 x 6 L,
Exerccio 3.2. Usando algum software matematico (Scilab, Mupad, Maple, Matlab, Mathematica, etc.) ou
algum pacote grafico (OpenGL, Java2D, etc.), plote os graficos de algumas das solucoes do exerccio
anterior e veja como a solucao evolui com o tempo.
Exerccio 3.3. (Princpio de Duhamel) Mostre que a solucao do problema de Dirichlet para a equacao da
onda nao-homogenea com condicoes iniciais homogeneas
utt = c2 uxx + q(x, t) se 0 < x < L e t > 0,
u(0, t) = u(L, t) = 0 se t > 0,
u(x, 0) = 0 se 0 6 x 6 L,
ut (x, 0) = 0 se 0 6 x 6 L,
e dada por Z t
u(x, t) = u(x, t; s) ds,
0
onde u (x, t, s) e a solucao do problema de Dirichlet para a equacao da onda homogenea
utt (x, t; s) = c2 uxx (x, t; s) se 0 6 x 6 L e t > s,
u(0, t; s) = u(L, t; s) = 0 se t > s,
u(x, s; s) = 0 se 0 6 x 6 L,
ut (x, s; s) = q(x, s) se 0 6 x 6 L.
Exerccio 3.5. Usando algum software matematico (Scilab, Mupad, Maple, Matlab, Mathematica, etc.) ou
algum pacote grafico (OpenGL, Java2D, etc.), crie uma animacao para ver como as funcoes F e G se
sobrepoe para criar a solucao u para o problema de Dirichlet da equacao da onda em um intervalo
[0, L]. Escolha varios pares de funcoes F e G que satisfacam as condicoes do Teorema 3.5.
Exerccio 3.6. Mostre que a solucao geral para a equacao da onda nao-homogenea
utt = c2 uxx g
e
g
u (x, t) = x (x 1) + F (x + ct) + G(x ct),
2c2
onde F e G sao funcoes arbitrarias de classe C 2 .
Exerccio 3.7. Encontre a solucao de DAlembert do problema de Neumann homogeneo para a equacao da
onda.
Exerccio 3.8. Encontre a solucao de DAlembert do problema de Robin homogeneo para a equacao da
onda com condicoes de fronteira u(0, t) = 0, ux (L, t) = 0.
Rodney Josue Biezuner 86
Exerccio 3.9. Mostre que a solucao geral para a equacao da onda nao-homogenea
e
1
Z
u (x, t) = F (x + ct) + G(x ct) + q (r, s) drds,
2c T
onde F e G sao funcoes arbitrarias de classe C 2 e T e o triangulo de vertices (x ct, 0), (x + ct, 0) e
(x, t).
Vamos agora obter uma formulacao matematica para cada termo que aparece na expressao acima.
A quantidade total da substancia dentro do volume de controle no instante de tempo t e
Z b
Quantidade total da substancia
= u(x, t)A dx.
dentro do volume de controle a
Definimos o fluxo (x, t) da substancia no tempo t como sendo a quantidade da substancia fluindo atraves
da secao transversal em x no tempo t por unidade de area, por unidade de tempo. Assim as dimensoes de
sao [] = quantidade da substancia / (area tempo). Por convencao, sera positivo se a substancia
estiver se movendo na direcao positiva do eixo x, e negativo se ela estiver se movendo na direcao negativa
do eixo x. Portanto, no tempo t, a quantidade lquida de substancia permanecendo no volume de controle
sera a diferenca entre a quantidade da substancia entrando em x = a e a quantidade da substancia saindo
em x = b:
Taxa de transferencia lquida da substancia
= (a, t)A (b, t)A.
para dentro do volume de controle
A taxa de criacao ou destruicao da substancia, que chamaremos de termo fonte e denotaremos por
f (x, t, u), tem dimensoes [f ] = quantidade da substancia / (volume tempo), tendo sinal positivo se a
substancia e criada dentro do volume de controle e negativa se a substancia for destruda dentro do volume
de controle. Observe que ela pode depender da propria quantidade da substancia disponvel, medida pela
densidade u. A taxa de criacao ou destruicao da substancia dentro do volume de controle e entao dada por
Z b
Taxa de criacao da substancia
= f (x, t, u)A dx.
dentro do volume de controle a
Assim, apos cancelar o termo comum A, a lei de conservacao pode ser matematicamente escrita na forma
b b
d
Z Z
u(x, t) dx = (a, t) (b, t) + f (x, t, u) dx. (3.26)
dt a a
Esta e a lei de conservacao na forma integral, valendo mesmo se u, ou f nao forem funcoes diferenciaveis
(o que pode ocorrer em certos fenomenos fsicos, como por exemplo naqueles que envolvem ondas de choque
ou outros tipos de descontinuidade). Se estas funcoes forem continuamente diferenciaveis, podemos derivar
sob o sinal de integracao na primeira integral
d b
Z Z b
u(x, t) dx = ut (x, t) dx
dt a a
3.12 Exemplo. (Equacao do Calor) No caso da equacao do calor, a relacao constitutiva e a lei de Fourier:
et + x = 0.
cut kuxx = 0,
ut = Kuxx .
3.13 Exemplo. (Equacao da Difusao) Nao apenas na difusao do calor, mas em muitos outros processos
fsicos observa-se que a substancia flui a uma taxa diretamente proporcional ao gradiente de densidade,
de regioes de maior densidade para regioes de menor densidade. Esta relacao geral e chamada de lei
de Fick :
(x, t) = Dux (x, t), (3.28)
onde D e a constante de difusao. Se o termo fonte e independente de u, obtemos de maneira analoga
a equacao do calor a equacao da difusao
ut = Duxx . (3.29)
O nome difusao vem do fato de que a substancia difunde-se para regioes adjacentes por causa de
gradientes (i.e., diferencas) de concentracao, e nao porque e transportada pela corrente (i.e., nao
atraves de conveccao). Por este motivo, o termo Duxx e chamado de termo difusivo.
Alem do calor, exemplos de outras substancias que se comportam assim sao substancias qumicas
dissolvidas em algum fluido (neste caso, u representa a concentracao qumica) e ate mesmo populacoes
de insetos. Alem de ser confirmada atraves de observacoes empricas, a lei de Fick que governa estes
e varios outros fenomenos fsicos e biologicos pode ser justificada teoricamente atraves de argumentos
baseados em modelos probabilsticos e caminhos aleatorios.
3.14 Exemplo. (Equacao da Continuidade) Se denota a densidade de um fluido e c e a velocidade de
escoamento do fluido, o fluxo de massa (taxa de transferencia de massa, medida em quantidade de
massa / (area)(tempo)) e dado por
t + (c)x = 0.
3.15 Exemplo. (Equacao do Transporte) Quando a velocidade do fluido e constante, o fluxo de massa
e dado por uma relacao linear simples. No caso unidimensional (por exemplo, quando o fluido esta
restrito a um tubo ou cano), o fluxo e
= c, (3.30)
onde c e a velocidade do fluido e denotamos a densidade por u. Neste caso, a equacao da continuidade
torna-se
t + cx = 0. (3.31)
Esta e a chamada equacao do transporte ou equacao da adveccao. Adveccao refere-se ao movi-
mento horizontal de uma propriedade fsica. Este e o modelo mais simples de conveccao.
ut + cux = 0,
onde (x, t) R R e c e a velocidade escalar do fluido: convencionamos c > 0 se o fluido esta movendo-se
para a direita e c < 0 se o fluido esta movendo-se para a esquerda. Esta e uma equacao diferencial parcial
de primeira ordem linear e e a equacao diferencial parcial mais simples.
Uma solucao para esta equacao e uma funcao u : R R R de classe C 1 . Voltando ao modelo
fsico, onde u representa a densidade de massa, fica claro qual deve ser o aspecto geral da solucao desta
equacao. Dada uma distribuicao de massa u(x, t0 ) em um certo instante de tempo t0 , a distribuicao de
densidade de massa u(x, t1 ) no instante de tempo posterior t1 sera exatamente a distribuicao de densidade
de massa anterior deslocada espacialmente pela distancia percorrida pelo fluido no intervalo de tempo t =
t1 t0 . Dado que o fluido se move com velocidade constante c, esta distancia e ct. Portanto, devemos
ter u(x, t1 ) = u(x c(t1 t0 ), t0 ). A distribuicao de densidade u(x, t) e transportada horizontalmente pelo
movimento do fluido, da o nome equacao do transporte ou equacao da adveccao. Esta expectativa intuitiva
e demonstrada rigorosamente no teorema a seguir. Nele vemos que a equacao do transporte linear com
coeficientes constantes possui uma solucao geral, o que nao e usual para equacoes diferenciais parciais,
mesmo lineares. Esta solucao geral permite resolver o problema de existencia e unicidade para o problema
de valor inicial da equacao do transporte.
ut + cux = 0 em R R
e
u(x, t) = f (x ct) (3.32)
para alguma funcao f : R R de classe C 1 .
u(x, t) = f (x ct)
Isso significa que v e uma funcao constante. Defina uma funcao diferenciavel f : R R por
Segue que
f (x ct) = u(x ct, 0) = v(x,t) (t) = v(x,t) (0) = u(x, t).
Na demonstracao do Teorema 3.16, vimos que v e uma funcao constante. Em particular, isso implica que
para cada ponto fixado (x0 , t0 ), u e constante ao longo da reta que passa por (x0 , t0 ) e tem inclinacao c (esta
e precisamente a reta s 7 (x0 + cs, t0 + s), ou s 7 (x0 , t0 ) + s(c, 1)); estas sao as retas
x ct = constante.
Portanto, se soubermos o valor de u em qualquer ponto desta reta, saberemos o valor de u em todos os
pontos da reta. Expressamos este fato atraves de uma analogia fsica, dizendo que a informacao sobre o
valor de u em um ponto da reta e transmitida para todos os pontos da reta; se o parametro t e interpretado
como representando o tempo decorrido, entao podemos dizer que a informacao e transmitida com velocidade
c. Esta reta e chamada uma reta caracterstica do problema.
Podemos tambem enxergar a solucao como o grafico de f (a onda) movendo-se com velocidade c para a
direita, se c > 0, ou para a esquerda, se c < 0.
Observe que faz sentido atribuir ao problema de valor inicial
ut + cux = 0 se x R e t R,
u(x, 0) = f (x) se x R,
uma solucao mesmo se a condicao inicial f nao for de classe C 1 . Isto e claro se f for diferenciavel, mas mesmo
se f e apenas contnua, ainda assim u(x, t) = f (x ct) deve ser a solucao do problema (imagine f como
representando a concentracao inicial de uma substancia qumica em um fluido, incapaz de se difundir neste
fluido: esta concentracao inicial, mesmo que apenas contnua, e deslocada, para a direita ou para a esquerda,
com o movimento do fluido). Na verdade, isto faz sentido mesmo se f for descontnua (as descontinuidades
sao igualmente transportadas pelo movimento do fluido). Neste caso, dizemos que u(x, t) = f (x ct) e uma
solucao fraca para o problema; quando u(x, t) e de classe C 1 , o que ocorre se e somente se f for de classe
C 1 , u e chamada uma solucao classica.
Rodney Josue Biezuner 91
Se as oscilacoes sao pequenas, temos que c e uma constante e a solucao independente do tempo e
g
v(x) = (x2 Lx).
2
Isso nao corresponde a situacao observada na realidade, em que a forma de uma corda suspensa e uma
catenaria (isto e, o grafico de uma funcao do tipo cosseno hiperbolico). Isso mostra os limites do nosso
modelo fsico. O seu maior limite e neste caso e que o cabo suspenso esta sujeito a grandes oscilacoes. Para
obter a equacao diferencial correta que modela uma corda ou cabo suspenso, e necessario ter um modelo
fsico mais acurado que permita grandes oscilacoes.
Observe a situacao mostrada na figura abaixo:
H P
bem diferente da equacao anterior v 00 (x) = a. Note que esta e uma equacao diferencial nao-linear. A solucao
geral desta equacao diferencial ordinaria de segunda ordem e
x
v(x) = a cosh + c1 + c2 .
a
Substituindo as condicoes v(0) = 0 e v(L) = 0, obtemos os valores das constantes c1 e c2 .
Captulo 4
Neste captulo iniciamos o estudo das equacoes da onda e do calor em dimensoes 2 e 3. Isso nos levara
naturalmente ao estudo da equacao de Laplace no proximo captulo. Aqui nos restringiremos a domnios
retangulares.
onde, para cada y [0, b], os coeficientes de Fourier sao dados por
1 a nx
Z
an (y) = f (x, y) cos dx para n > 0,
a a a
Z a
1 nx
bn (y) = f (x, y) sen dx para n > 1.
a a a
Em seguida, suponha que cada um dos coeficientes an , bn : [0, b] R, que na verdade sao funcoes de y, tenha
regularidade suficiente, de modo que se estendermos cada um deles a uma funcao periodica de perodo 2b,
podemos escrever
an0 X my my
an (y) = + anm cos + bnm sen para n > 0,
2 m=1
b b
cn0 X my my
bn (y) = + cnm cos + dnm sen para n > 1,
2 m=1
b b
onde
93
Rodney Josue Biezuner 94
b
1 my
Z
anm = an (y) cos dy para m > 0,
b b b
Z b
1 my
bnm = an (y) sen dy para m > 1,
b b b
e
b
1 my
Z
cnm = bn (y) cos dy para m > 0,
b b L
Z b
1 my
dnm = bn (y) sen dy para m > 1.
b b L
Em outras palavras,
" #
1 a00 X my my
f (x, y) = + a0m cos + b0m sen
2 2 m=1
b b
" #
X an0 X my my nx
+ + anm cos + bnm sen cos
n=1
2 m=1
b b a
" #
X cn0 X my my nx
+ + cnm cos + dnm sen sen ,
n=1
2 m=1
b b a
de modo que
a00 1 X nx nx 1 X my my
f (x, y) = + an0 cos + cn0 sen + a0m cos + b0m sen
4 2 n=1 a a 2 m=1 b b
X nx my nx my nx my nx my
+ anm cos cos + bnm cos sen + cnm sen cos + dnm sen sen
n,m=1
a b a b a b a b
onde
1 a b nx my
Z Z
anm = f (x, y) cos cos dxdy para n, m > 0,
ab a b a b
Z aZ b
1 nx my
bnm = f (x, y) cos sen dxdy para n > 0, m > 1,
ab a b a b
Z aZ b (4.1)
1 nx my
cnm = f (x, y) sen cos dxdy para n > 1, m > 0,
ab a b a b
Z aZ b
1 nx my
dnm = f (x, y) sen sen dxdy para n, m > 1.
ab a b a b
O teorema a seguir da as condicoes que f precisa satisfazer para que a serie definida acima seja convergente
e convirja para f :
4.1 Teorema Seja f : R2 R uma funcao de classe C 1 , periodica de perodo 2a na variavel x e periodica
de perodo 2b na variavel y e tal que existe a derivada parcial mista fxy em cada ponto. Entao a serie
de Fourier de f definida acima converge uniformemente para f .
De maneira completamente analoga e possvel definir series de Fourier triplas e vale um teorema seme-
lhante para elas.
Rodney Josue Biezuner 95
"Z # Z " Z b #
a b
1 my nx 1 a my nx
Z
anm = f (x, y) cos cos dxdy = 2 f (x, y) cos dy cos dx
ab a b b a ab a 0 b a
2 b
Z Z a
2 b
Z Z a
nx my nx my
= f (x, y) cos dx cos dy = 2 f (x, y) cos dx cos dy
ab 0 a a b ab 0 0 a b
4 a b nx my
Z Z
= f (x, y) cos cos dxdy,
ab 0 0 a b
Z "Z b #
1 a my nx
bnm = f (x, y) sen dy cos dx = 0,
ab a b b a
1 b
Z Z a
nx my
cnm = f (x, y) sen dx cos dy = 0,
ab b a a b
1 b
Z Z a
nx my
dnm = f (x, y) sen dx sen dy = 0.
ab b a a b
f e mpar com relacao a ambas as variaveis x e y, isto e,
f (x, y) = f (x, y) ,
f (x, y) = f (x, y) .
Entao,
"Z #
a b
1 my nx
Z
anm = f (x, y) cos cos dxdy = 0,
ab a b b a
1 b
Z Z a
1 nx my
bnm = = f (x, y) cos dx sen dy = 0,
ab ab b a a b
Z "Z b #
1 a my nx
cnm = f (x, y) cos dy sen dx = 0,
ab a b b a
"Z #
a b
1 b
Z Z a
1 nx my nx my
Z
dnm = f (x, y) sen dx sen dy = 2 f (x, y) sen dx sen dy
ab a b a b ab b 0 a b
Z "Z b # Z " Z b #
2 a my nx 2 a my nx
= f (x, y) sen dy sen dx = 2 f (x, y) sen dy sen dx
ab 0 b b a ab 0 0 b a
4 a b nx my
Z Z
= f (x, y) sen sen dxdy.
ab 0 0 a b
Rodney Josue Biezuner 96
E claro que outras situacoes sao possveis, por exemplo f par em uma variavel e mpar na outra. Em cada
caso, o calculo dos coeficientes de Fourier pode ser simplificado usando os argumentos acima. Propriedades
semelhantes tambem podem ser usadas para simplificar o calculo dos coeficientes de Fourier de series de
Fourier triplas.
Aqui dv denota o elemento de volume dx dy dz. Em 3 dimensoes, o fluxo pode ser em qualquer direcao, logo
ele e uma grandeza vetorial que denotaremos por (x, t). Se (x) denota o vetor unitario normal apontando
para fora da regiao V , a taxa de transferencia lquida da substancia para fora do volume de controle atraves
de sua fronteira V e dada por
Z
Taxa de transferencia lquida da substancia
= (x, t) (x) ds,
para fora do volume de controle V
onde ds denota o elemento de area da superfcie do volume de controle. A lei de conservacao e, portanto,
d
Z Z Z
u(x, t) dv = (x, t) (x) ds + f (x, t, u) dv. (4.2)
dt V V V
Se u, e f forem todas de classe C 1 (assim como a fronteira do volume de controle), podemos derivar sob
o sinal de integracao e usar o Teorema da Divergencia
Z Z
(x, t) (x) ds = div (x, t) dv,
V V
para obter a lei de conservacao em forma diferencial (o volume de controle foi escolhido arbitrariamente):
De fato, para materiais isotropicos (isto e, materiais em que nao existem direcoes preferenciais) verifica-
se experimentalmente que o calor flui de pontos quentes para pontos frios na direcao em que a diferenca
de temperatura e a maior. O fluxo de calor e proporcional a taxa de variacao da temperatura nesta
direcao, com a constante de proporcionalidade k sendo a condutividade termica do meio. Como
sabemos, a direcao onde uma funcao cresce mais rapido e exatamente aquela dada pelo vetor gradiente
da funcao, e o modulo do gradiente fornece a magnitude da taxa de variacao da funcao nesta direcao.
O sinal negativo ocorre, como no caso unidimensional, porque o vetor gradiente aponta na direcao de
crescimento da temperatura, enquanto que o fluxo do calor se da na direcao oposta (da temperatura
maior para a temperatura menor). O fluxo do calor em uma regiao bi ou tridimensional pode ser
facilmente visualizado quando se lembra que o gradiente de uma funcao e perpendicular as superfcies
de nvel da funcao. No caso em que a funcao e a temperatura, as superfcies de nvel sao chamadas
superfcies isotermicas ou, simplesmente, isotermas. Assim, o calor flui das isotermas mais quentes
para as isotermas mais frias, e em cada ponto da isoterma perpendicularmente a isoterma. Em outras
palavras, as linhas de corrente do fluxo de calor correspondem as linhas de fluxo do campo gradiente
da temperatura.
Sem a presenca de termo fonte, a lei de conservacao na forma diferencial e
et + div = 0.
onde e(x, t) = cu(x, t) e a densidade de energia termica. Substituindo a relacao constitutiva obtemos
ou
ut = Ku, (4.7)
Rodney Josue Biezuner 98
Para que o problema da conducao do calor em uma placa bidimensional R2 possua uma solucao unica,
e necessario dar a condicao inicial e a condicao de fronteira, como no caso unidimensional. Por exemplo,
podemos ter um problema de Dirichlet homogeneo:
ut = ku se (x, y) e t > 0,
u(x, y, t) = 0 se (x, y) e t > 0, (4.9)
u(x, y, 0) = f (x, y) se (x, y) ,
Tambem podemos ter problemas nao-homogeneos ou com condicao de Robin (condicoes de Dirichlet em
porcoes da fronteira e condicoes de Neumann em outras porcoes da fronteira).
De agora em diante assumiremos que e um retangulo R = (0, a) (0, b) (chapa retangular). No caso
em que e um retangulo, a condicao inicial se escreve como
Desta vez, usando o metodo de separacao de variaveis, vamos tentar encontrar uma solucao para o problema
que seja o produto de tres funcoes de uma variavel:
u(x, y, t) = F (x)G(y)H(t).
Temos
ut = F (x)G(y)H 0 (t),
uxx = F 00 (x)G(y)H(t),
uyy = F (x)G00 (y)H(t).
Rodney Josue Biezuner 99
Como o lado esquerdo desta equacao e uma funcao somente de t e o lado direito e uma funcao apenas de
x, y, segue que ambos os lados sao constantes:
donde
F 00 (x) G00 (y)
= + = .
F (x) G(y)
Pelo metodo de separacao de variaveis, chegamos portanto as seguintes equacoes diferenciais ordinarias:
F 00 (x) F (x) = 0,
G00 (y) + ( )G(y) = 0,
H 0 (t) KH(t) = 0.
a menos que u seja a solucao identicamente nula (porque as solucoes das equacoes diferenciais ordinarias
de F , G e H nao produzem nenhuma solucao que se anula em conjuntos diferentes de pontos isolados).
Obtemos, portanto, os problemas de Sturm-Liouville
00 00
F (x) F (x) = 0, G (y) ( )G(y) = 0,
e
F (0) = F (a) = 0, G(0) = G(b) = 0,
nx n2 2
Fn (x) = sen para = ,
a a2
e
my m2 2
Gm (y) = sen para = .
b b2
Segue que
m2 2 n2 2 m2 2 n2 m2
= = = 2 +
b2 a2 b2 a2 b2
e o problema em t e
n2 m2
0 2
H (t) K + H(t) = 0,
a2 b2
Rodney Josue Biezuner 100
onde os coeficientes Anm sao os coeficientes da serie de Fourier dupla da extensao de f a uma funcao periodica
mpar de perodo 2a na variavel x e a uma funcao periodica mpar de perodo 2b na variavel y:
X nx my
f (x, y) = u(x, y, 0) = Anm sen sen ,
n,m=1
a b
ou seja,
Z aZ b
4 nx my
Anm = f (x, y) sen sen dxdy. (4.14)
ab 0 0 a b
Escrevendo
u(x, y, t) = F (x)G(y)H(t)
encontramos, como antes,
1 H 0 (t) F 00 (x) G00 (y)
= + =
K H(t) F (x) G(y)
e
F 00 (x) G00 (y)
= + = .
F (x) G(y)
As condicoes de fronteira desta vez implicam
F0 (x) = c para = 0,
nx n2 2
Fn (x) = cos para = ,
a a2
Rodney Josue Biezuner 101
G0 (x) = c para = ,
my m2 2
Gm (y) = cos para = .
b b2
Segue que o problema em t e
n2 2 m2 2
H 0 (t) K 2
+ H(t) = 0,
a b2
cujas solucao geral e
H00 (t) = c,
2 n2
Hn0 (t) = e a2
Kt
,
2
2 m Kt
H0m (t) = e a2 ,
n2 2
2 +m Kt
Hnm (t) = e a2 b2 .
o que e equivalente a escrever (redefinindo os coeficientes, de forma a obter uma mesma formula integral
para todos os coeficientes)
A00 1X 2 n2 nx 1 X 2 m2 my
u(x, y, t) = + An0 e a2 Kt cos + A0m e a2 Kt cos
4 2 n=1 a 2 m=1 b
n2 2
nx my
2 +m Kt
X
+ Anm e a2 b2 cos cos ,
n,m=1
a b
onde os coeficientes Anm sao os coeficientes da serie de Fourier dupla da extensao de f a uma funcao periodica
par de perodo 2a na variavel x e a uma funcao periodica par de perodo 2b na variavel y:
A00 1X nx 1 X my X nx my
f (x, y) = u(x, y, 0) = + An0 cos + A0m cos + Anm cos cos ,
4 2 n=1 a 2 m=1 b n,m=1
a b
ou seja,
Z aZ b
4 nx my
Anm = f (x, y) cos cos dxdy, n, m > 0. (4.17)
ab 0 0 a b
sao transversais, o que quer dizer, que cada ponto da membrana vibra apenas na direcao perpendicular ao
plano do retangulo). E possvel mostrar que as vibracoes desta membrana sao entao governadas pela equacao
bidimensional da onda
utt = c2 (uxx + uyy ),
onde u(x, y, t) e o deslocamento com relacao ao plano do retangulo no instante de tempo t e c(x, y, t) =
(t)/(x, y). A equacao da onda tambem pode ser escrita na forma compacta
utt = c2 u.
u(x, y, 0) = f (x, y) se 0 6 x 6 a e 0 6 y 6 b,
ut (x, y, 0) = g(x, y) se 0 6 x 6 a e 0 6 y 6 b.
Pelo metodo de separacao das variaveis, tentamos encontrar uma solucao da forma:
u(x, y, t) = F (x)G(y)H(t).
Temos
Como o lado esquerdo desta equacao e uma funcao somente de t e o lado direito e uma funcao apenas de
x, y, segue que ambos os lados sao constantes:
F 00 (x) F (x) = 0,
00
G (y) + ( )G(y) = 0,
H 00 (t) c2 H(t) = 0.
A solucao do problema e
X nx my
u(x, y, t) = sen sen (Anm cos nm t + Bnm sen nm t) . (4.21)
n,m=1
a b
onde os coeficientes Anm , Bnm sao determinados como sendo os coeficientes das series de Fourier duplas das
funcoes apropriadas. Temos
X nx my
f (x, y) = u(x, y, 0) = Anm sen sen ,
n,m=1
a b
de modo que, estendendo f a uma funcao periodica mpar de perodo 2a na variavel x e a uma funcao
periodica mpar de perodo 2b na variavel y, obtemos
Z aZ b
4 nx my
Anm = f (x, y) sen sen dxdy. (4.22)
ab 0 0 a b
e, portanto,
X nx my
g(x, y) = ut (x, y, 0) = nm Bnm sen sen ,
n,m=1
a b
logo, procedendo de modo analogo estendendo f a uma funcao periodica mpar de perodo 2a na variavel x
e a uma funcao periodica mpar de perodo 2b na variavel y, obtemos
Z aZ b
4 nx my
Bnm = g(x, y) sen sen dxdy. (4.23)
abnm 0 0 a b
1.0 1.0
0.5 0.5
z 0.0 z 0.0
0.5 0.5
1.0 1.0
1.0 1.0 1.0 1.0
0.8 0.8 0.8 0.8
0.6 0.6 0.6 0.6
0.4 0.4 0.4 0.4
y x y x
0.2 0.2 0.2 0.2
0.0 0.0 0.0 0.0
1.0
1.0
0.5 0.5
z 0.0 z 0.0
0.5 0.5
1.0 1.0
1.0 1.0
1.0 1.0
0.8 0.8 0.8 0.8
0.6 0.6 0.6 0.6
0.4 0.4 0.4
0.4
y 0.2 x y x
0.2 0.2
0.2
0.0 0.0
0.0 0.0
1.0 1.0
0.5 0.5
z 0.0 z 0.0
0.5 0.5
1.0 1.0
1.0 1.0 1.0 1.0
0.8 0.8 0.8 0.8
0.6 0.6 0.6 0.6
0.4 0.4 0.4 0.4
y x y x
0.2 0.2 0.2 0.2
0.0 0.0 0.0 0.0
1.0 1.0
0.5 0.5
z 0.0 z 0.0
0.5 0.5
1.0 1.0
1.0 1.0 1.0 1.0
0.8 0.8 0.8 0.8
0.6 0.6 0.6 0.6
0.4 0.4 0.4 0.4
y x y x
0.2 0.2 0.2 0.2
0.0 0.0 0.0 0.0
Figura 4.1. Graficos de u12 , u21 , u22 , u13 , u23 , u32 , u31 , u33 .
Captulo 5
A Equacao de Laplace
u = 0. (5.1)
Esta e chamada a equacao de Laplace (ou equacao de Laplace homogenea). Como nao ha dependencia
com o tempo, problemas envolvendo a equacao de Laplace nao possuem condicoes iniciais, mas apenas uma
condicao de fronteira, que pode ser uma condicao de Dirichlet
u = 0 se (x, y) ,
(5.2)
u(x, y) = f (x, y) se (x, y) ,
ut = Ku + q(x),
a solucao de estado estacionario e solucao da equacao de Laplace nao-homogenea, conhecida como a equacao
de Poisson
u = f (x) . (5.5)
Alem de descrever a distribuicao de temperaturas no estado estacionario, a equacao de Laplace descreve
as solucoes de estado estacionario em diversos outros fenomenos fsicos, tais como propagacao de ondas,
escoamento de fluidos, potencial eletrico e gravitacional, entre outros.
106
Rodney Josue Biezuner 107
entao
u = u1 + u2 + u3 + u4 .
Para obter a solucao geral do problema de Dirichlet, basta portanto resolver cada um dos quatro problemas
acima. A ttulo de exemplo, vamos resolver o segundo explicitamente:
uxx + uyy = 0 se 0 < x < a e 0 < y < b,
u(x, 0) = 0, u(x, b) = f2 (x) se 0 6 x 6 a,
u(0, y) = u(a, y) = 0 se 0 6 y 6 b.
Escrevendo
u(x, y) = F (x)G(y),
segue que F 00 (x)G(y) + F (x)G00 (y) = 0 e portanto
As condicoes de fronteira implicam as seguintes condicoes sobre as equacoes diferenciais ordinarias acima:
Logo,
F 00 (x) F (x) = 0,
F (0) = F (a) = 0,
e
G00 (y) + G(y) = 0,
G(0) = 0.
As autofuncoes do primeiro problema sao
nx n2 2
Fn (x) = sen para n = .
a a2
Rodney Josue Biezuner 108
A solucao geral do segundo problema (de valor inicial) e conveniente escrever na forma
ny ny
G(y) = c1 cosh + c2 senh
a a
porque a condicao G(0) = 0 implica que c1 = 0. Assim, as solucoes obtidas atraves de separacao de variaveis
sao os produtos
nx ny
sen senh .
a a
A solucao u2 do segundo problema sera a funcao
X nx ny
u2 (x, y) = bn sen senh ,
n=1
a a
onde a
2 nx
Z
bn = f2 (x) sen dx,
nb 0 a
a senh
a
pois
X nb nx
f2 (x) = u2 (x, b) = bn senh sen .
n=1
a a
nb
E mais conveniente, para efeitos de memorizacao, incorporar a constante senh na solucao, escrevendo-a
a
na forma
ny
nx senh a
X
u2 (x, y) = bn sen (5.7)
a nb
n=1 senh
a
de modo que
2 a nx
Z
bn = f2 (x) sen dx (5.8)
a 0 a
tem a forma padrao dos coeficientes da serie de Fourier.
De maneira analoga, obtemos as solucoes para os outros problemas:
n(b y)
nx senh
2 a nx
Z
a
X
u1 (x, y) = an sen , an = f1 (x) sen dx, (5.9)
a nb a 0 a
n=1 senh
a
n(a x)
senh ny 2 b
Z
ny
b
X
u3 (x, y) = cn na sen , c n = g1 (y) sen dy, (5.10)
n=1 senh b b 0 b
b
nx
X senh
ny 2 b
Z
ny
u4 (x, y) = dn b
na sen b , dn = b g2 (y) sen
b
dy. (5.11)
n=1 senh 0
b
Portanto, a solucao do problema de Dirichlet (5.6) no retangulo e
n(b y) ny
nx senh senh
X
a
X nx a
u(x, y) = an sen + bn sen (5.12)
a nb a nb
n=1 senh n=1 senh
a a
n(a x) nx
ny senh ny senh b
b
X X
+ cn sen na + d sen ,
b senh na
n
n=1
b senh n=1
b b
Rodney Josue Biezuner 109
Prova: Sejam
M = max u e m = max u
e suponha por absurdo que m < M . Entao existe um ponto (x0 , y0 ) tal que u(x0 , y0 ) = M . Defina
a funcao
M m
v(x, y) = u(x, y) + [(x x0 )2 + (y y0 )2 ],
4d2
onde d = diam . Se (x, y) , temos
M m 2 3 M
v(x, y) 6 m + d = m+ < M,
4d2 4 4
e como u(x0 , y0 ) = v(x0 , y0 ) = M , segue que o maximo de v tambem e assumido em um ponto de ,
digamos em (x, y). Mas, como (x, y) e um ponto de maximo para v, devemos ter
v(x, y) 6 0,
enquanto que, pela definicao de v e pelo fato de u satisfazer a equacao de Laplace, para todo (x, y) temos
M m M m
v(x, y) = u(x, y) + = > 0,
4d2 4d2
uma contradicao. Isso mostra que u atinge o seu maximo em . Para provar que o mnimo de u tambem e
atingido em , basta observar que u tambem satisfaz a equacao de Laplace e que min u = max(u).
Prova: Se u1 e u2 sao duas solucoes para o problema de Poisson acima, entao u = u1 u2 e uma solucao
para o problema de Laplace com condicao de fronteira homogenea
u = 0 se (x, y) ,
u(x, y) = 0 se (x, y) .
max u = max u = 0,
min u = min u = 0,
donde
uxx = urr rx2 + u x2 + 2ur rx x + ur rxx + u xx . (5.15)
Trocando x por y, obtemos tambem
Similarmente,
y x2
ry = e ryy = .
r r3
y
Por outro lado, diferenciando = arctan com relacao a x, obtemos
x
1 y y y
x = y 2 2 = 2 2
= 2,
x x +y r
1+
x
Rodney Josue Biezuner 111
y (2rrx ) 2xy
xx = 4
= 4
r r
e
x (2rrx ) 2xy
yy = 4
= 4 .
r r
Em particular, valem as seguintes identidades:
xx + yy = 0 e rx x + ry y = 0.
uxx + uyy = urr (rx2 + ry2 ) + u (x2 + y2 ) + 2ur (rx x + ry y ) + ur (rxx + ryy ) + u (xx + yy )
x2 + y 2 x2 + y 2 x2 + y 2
= 2
urr + 4
u + ur
r r r3
1 1
= urr + 2 u + ur .
r r
Em outras palavras, o Laplaciano de u em coordenadas polares e dado por
1 1
u(r, ) = urr + ur + 2 u . (5.17)
r r
onde f e uma funcao contnua que satisfaz f (0) = f (2). Resolver este problema nestas coordenadas significa
encontrar uma funcao u(r, ) contnua em D e de classe C 2 em (0, R) (0, 2) tal que u(r, 0) = u(r, 2) para
todo 0 < r < R.
Escrevendo
u(r, ) = F (r)G(),
obtemos
1 1
F 00 (r)G() + F 0 (r)G() + 2 F (r)G00 () = 0,
r r
donde
F 00 (r) F 0 (r) G00 ()
r2 +r = = .
F (r) F (r) G()
Do fato de G() satisfazer a equacao diferencial ordinaria
G00 () + G() = 0
Rodney Josue Biezuner 112
= n2
Como a solucao u e contnua, devemos ter F (r) limitada proximo a r = 0, o que implica que c2 = 0. Portanto,
as solucoes de F admissveis para este problema sao
A solucao do problema e
a0 X rn
u(r, ) = + [an cos n + bn sen n], (5.19)
2 n=1
Rn
onde an , bn sao os coeficientes de Fourier de f (lembre-se que f esta definida no intervalo [0, 2], satisfaz
f (0) = f (2) e e natural supor que ela e perodica de perodo 2)
1 2
Z
an = f () cos n d, n > 0,
Z0 (5.20)
2
1
bn = f () sen n d, n > 1.
0
onde
100 se 0 < < ,
f () =
0 se < < 2.
Temos
100
Z
100 se n = 0,
an = cos n d =
0 0 se n > 1,
Rodney Josue Biezuner 113
e
0 se n e par,
(
100 100
Z
bn = sen n d = (1 cos n) = 200 .
0 n se n e mpar.
n
Logo, a solucao e
200 X (1)n+1 2n1
u(r, ) = 50 + r sen(2n 1).
n=1 2n 1
Esta solucao pode ser escrita em forma fechada com o auxlio da identidade
X sen n r sen
rn = arctan . (5.21)
n=1
n 1 r cos
De fato, usando a identidade cos n sen n = sen n( ) e reescrevendo a solucao anterior, obtemos
100 X 1 cos n n
u(r, ) = 50 + r sen n
n=1 n
100 X n sen n 100 X n sen n( )
= 50 + r r
n=1 n n=1 n
100 r sen 100 r sen( )
= 50 + arctan arctan
1 r cos 1 r cos( )
de modo que
100 r sen r sen
u(r, ) = 50 + arctan + arctan . (5.22)
1 r cos 1 + r cos
Esta solucao e prontamente escrita em coordenadas cartesianas:
100 y y
u(x, y) = 50 + arctan + arctan . (5.23)
1x 1+x
Em particular torna-se facil determinar as isotermas (isto e, curvas de temperatura constante) desta
solucao. Igualando o lado direito a um valor T , temos
y y (T 50)
arctan + arctan = .
1x 1+x 100
Aplicando tan a ambos os lados desta equacao e usando a identidade trigonometrica
tan a + tan b
tan(a + b) = ,
1 tan a tan b
obtemos y y
+ 1+x
1x T T
= tan = cot ,
1 y y 100 2 100
1x 1+x
donde
2y T
= cot ,
1 x2 y 2 100
ou
x2 + y 2 1 T
= tan .
2y 100
Rodney Josue Biezuner 114
Se o domnio e suficientemente regular, pode-se provar que existe um numero infinito de autovalores,
todos eles positivos (da o sinal negativo na frente do laplaciano). Alem disso, eles sao discretos, podendo
ser enumerados em uma sequencia
1 < 2 6 3 6 . . .
com
n .
A importancia de se obter os autovalores e os autovetores do laplaciano e que eles permitem resolver facilmente
a equacao de Poisson em , como veremos na proxima secao, e tambem os problemas da equacao do calor e
da onda em .
Nesta secao obteremos os autovalores e as correspondentes autofuncoes do laplaciano no retangulo. Antes
disso, observe que o correspondente problema de autovalor para o laplaciano no intervalo [0, L] e o problema
de Sturm-Liouville
u00 = u
se 0 < x < L,
u (0) = u (L) = 0,
cujos autovalores (como vimos na Introducao) sao
n2 2
n =
L2
e cujas correspondentes autofuncoes sao
nx
un (x) = sen .
L
Considere agora o problema de autovalor no retangulo:
uxx uyy = u se 0 < x < a e 0 < y < b,
u(x, 0) = u(x, b) = 0 se 0 6 x 6 a, (5.24)
u(0, y) = u(a, y) = 0 se 0 6 y 6 b.
Vamos obter os autovalores e autofuncoes do laplaciano pelo metodo de separacao de variaveis e series de
Fourier. Escrevendo
u(x, y) = F (x)G(y),
Rodney Josue Biezuner 115
segue que
F 00 (x)G(y) F (x)G00 (y) = F (x)G(y)
e portanto
F 00 (x) G00 (y)
= ,
F (x) G(y)
donde
F 00 (x) G00 (y)
=+ =
F (x) G(y)
As condicoes de fronteira implicam as seguintes condicoes sobre as equacoes diferenciais ordinarias acima:
F 00 (x) = F (x),
F (0) = F (a) = 0,
e
G00 (y) = ( ) G(y),
G(0) = G(b) = 0.
A solucao do primeiro problema e
n2 2 nx
n = com Fn (x) = sen ,
a2 a
enquanto que a solucao do segundo problema e
m2 2 my
n = com Gm (x) = sen .
b2 b
Portanto, os autovalores do laplaciano com condicao de Dirichlet no retangulo sao
2
m2
n
nm = 2 + (5.25)
a2 b2
uxx + uyy = f (x, y) se 0 < x < a e 0 < y < b,
u(x, 0) = f1 (x), u(x, b) = f2 (x) se 0 6 x 6 a, (5.27)
u(0, y) = g1 (y), u(a, y) = g2 (y) se 0 6 y 6 b.
A solucao deste problema pode ser escrita como a soma das solucoes de dois problemas
u = u1 + u2
que ja sabemos resolver, e u2 e a solucao da equacao de Poisson com condicao de Dirichlet homogenea
uxx + uyy = f (x, y) se 0 < x < a e 0 < y < b,
u(x, 0) = u(x, b) = 0 se 0 6 x 6 a, (5.29)
u(0, y) = u(a, y) = 0 se 0 6 y 6 b.
onde os coeficientes anm devem ser determinados. Substituindo esta expressao na equacao de Poisson, temos
que
2
m2
X
2 n nx my
anm 2
+ 2 sen sen = f (x, y) .
n,m=1
a b a b
com f (R, ) = g(R, ) = 0 para todo 0 6 6 2. Se restringirmos nossa atencao aos casos em que a posicao
inicial f e a velocidade inicial g sao funcoes radialmente simetricas f (r, ) = f (r) e g(r, ) = g(r) (ou seja, a
posicao e velocidade iniciais de um ponto da membrana dependem apenas da distancia dele ao centro e nao
do angulo polar ), a simetria da situacao implica que a solucao u tambem devera ser radialmente simetrica,
isto e, u(r, , t) = u(r, t) (a posicao de um ponto da membrana em qualquer instante de tempo nao dependara
do angulo ). Entao o problema se simplifica consideravelmente:
2 1
u = c urr + ur se 0 < r < R, 0 < < 2 e t > 0,
tt
r
u(R, t) = 0 se t > 0, (6.1)
u(r, 0) = f (r) se 0 6 r 6 R,
ut (r, 0) = g(r) se 0 6 r 6 R,
117
Rodney Josue Biezuner 118
Entao
1
F (r)G00 (t) = c2 F 00 (r)G(t) + F 0 (r)G(t) ,
r
donde
1 G00 (t) F 00 (r) 1 F 0 (r)
= + = 2 .
c2 G(t) F (r) r F (r)
Aqui, decidimos que a constante de separacao de variaveis e negativa porque esperamos obter solucoes de G
periodicas, pois as vibracoes de uma membrana que nao esta sujeita a forcas externas ou dissipativas devem
ser periodicas no tempo. Isso nos leva as seguintes equacoes diferenciais ordinarias:
rF 00 (r) + F 0 (r) + 2 rF (r) = 0
se 0 < r < R,
(6.2)
F (R) = 0,
e
G00 (t) + c2 2 G(t) = 0.
A primeira equacao e conhecida como a equacao de Bessel (de ordem 0) e parametro . Ela nao possui
solucoes em forma fechada. No entanto, ela aparece tao frequentemente nas aplicacoes que as suas solucoes
receberam um nome especial: as funcoes de Bessel.
Observacao: Poderamos em princpio tambem ter = 0, pois funcoes constantes tambem sao periodicas
com perodo 2, e neste caso teramos uma equacao de Euler. No entanto, a solucao geral para esta equacao
de Euler seria F (r) = c1 + c2 log r e a condicao F (R) = 0 implicaria que F 0.
que e a serie
X
[c(c1)+cp2 ]a0 +[(1+c)(1+c1)+(1+c)p2 ]a1 x1+c + [(n + c)(n + c 1) + (n + c) p2 ]an + an2 xn+c = 0,
n=2
ou seja,
X
(c2 p2 )a0 + [(1 + c)2 p2 ]a1 x1+c + [(n + c)2 p2 ]an + an2 xn+c = 0.
n=2
ou seja,
1
a2 = a0 ,
22 (1 + p)
1 1
a4 = 2 a2 = 4 a0 ,
2 2(2 + p) 2 2(1 + p)(2 + p)
1 1
a6 = 2 a4 = 6 a0 ,
2 3(3 + p) 2 3!(1 + p)(2 + p)(3 + p)
(1)k
a2k = a0 . (6.8)
22k k!(1 + p)(2 + p) (k + p)
Usando a funcao gama (x) (se voce nao conhece esta funcao, veja o apendice no final desta secao) podemos
simplificar a notacao. Utilizando a propriedade (x + 1) = x(x), segue que
logo
(k + p + 1)
(1 + p)(2 + p) (k + p) = . (6.9)
(1 + p)
Rodney Josue Biezuner 120
Escolhendo
1
a0 = , (6.10)
2p (1 + p)
temos que a primeira solucao da equacao de Bessel pode ser escrita na forma
X (1)k x 2k+p
y(x) = . (6.11)
k!(k + p + 1) 2
k=0
As funcoes
X (1)k x 2k+p
Jp (x) = (6.12)
k!(k + p + 1) 2
k=0
sao chamadas funcoes de Bessel de ordem p de primeiro tipo. Se p e um inteiro nao-negativo, temos
simplesmente
X (1)k x 2k+p
Jp (x) = .
k!(k + p)! 2
k=0
Para obter a solucao geral para a equacao de Bessel, precisamos obter uma segunda solucao linearmente
independente de Jp (pois a equacao de Bessel e uma equacao diferencial ordinaria linear de segunda ordem).
Para isso, quando p nao e um inteiro, basta fazer a segunda escolha possvel para c, ou seja, c = p. Neste
caso obtemos
X (1)k x 2kp
Jp (x) = . (6.13)
k!(k p + 1) 2
k=0
Observe que, embora esta definicao faca sentido se p e um inteiro negativo (mesmo que Jp e Jp nao sejam
linearmente independentes neste caso) se p e um inteiro positivo entao (k p + 1) nao esta definido para
k = 0, . . . , p 1. Para ter uma definicao para Jp mesmo quando p e um inteiro negativo, costuma-se definir
As funcoes Yp sao chamadas funcoes de Bessel de ordem p do segundo tipo e sao tambem solucoes
para a equacao de Bessel, linearmente independente de Jp quando p e um inteiro.
Com isso, obtemos a solucao geral para a equacao de Bessel:
se p nao e um inteiro. Se p e um inteiro, entao a solucao geral para a equacao de Bessel de ordem p e
(x + 1) = x(x). (6.16)
Assim, a funcao gama pode ser vista como uma extensao da funcao fatorial, que e definida apenas para
numeros naturais, a uma funcao definida para todos os numeros reais positivos. Por este motivo, ela e as
vezes chamada de funcao fatorial generalizada.
E possvel tambem defini-la para numeros reais negativos que nao sejam inteiros negativos (isto e, para
x < 0, exceto para x = 0, 1, 2, ...). De fato, basta aplicar a propriedade
1
(x) = (x + 1)
x
sucessivamente. Como os limites laterais desta funcao em inteiros negativos sao infinitos, nao faz sentido
defini-la nestes numeros.
Rodney Josue Biezuner 122
6.3 Teorema. Se f : [0, R] R e uma funcao contnua por partes tal que sua derivada tambem e contnua
por partes, entao f tem uma serie de Bessel de ordem p no intervalo (0, R). No intervalo (0, R), a
f (x+) + f (x)
serie converge para f (x) se f e contnua em x, e para nos pontos de descontinuidade
2
de f .
onde
X (1)k x 2k
J0 (x) =
(k!)2 2
k=0
e
Jq (x) cos q Jq (x)
Y0 = lim .
q0 sen q
No entanto, a funcao Y0 nao e limitada perto de 0 e esperamos que as solucoes da membrana vibrante sejam
contnuas e, portanto, limitadas. Assim, devemos ter c2 = 0. Segue que
donde
R
2
0,n r
Z
cn = 2 2 f (r)J0 r dr, (6.26)
R J1 (0,n ) 0 R
Rodney Josue Biezuner 124
e
X 0,n c 0,n
g(r) = ut (r, 0) = dn J0 r ,
n=1
R R
donde
R
2c
0,n r
Z
dn = g(r)J0 r dr. (6.27)
R0,n J12 (0,n ) 0 R
com f (R, ) = g(R, ) = 0 para todo 0 6 6 2. Pelo metodo de separacao de variaveis, tentamos escrever
u(r, t) = F (r)G()H(t),
de modo que
1 1
F (r)G()H 00 (t) = c2 F 00 (r)G()H(t) + F 0 (r)G()H(t) + 2 F (r)G00 ()H(t) ,
r r
e da
1 H 00 (t) F 00 (r) 1 F 0 (r) 1 G00 ()
= + + = 2 .
c2 H(t) F (r) r F (r) r2 G()
Mais uma vez, tomamos a constante de separacao de variaveis negativa porque esperamos obter solucoes
periodicas no tempo. Obtemos, entao,
H 00 (t) + c2 2 G(t) = 0 (6.28)
e
F 00 (r) 1 F 0 (r) 1 G00 ()
+ = 2 2 ,
F (r) r F (r) r G()
donde
F 00 (r) F 0 (r) G00 ()
r2 +r + 2 r2 = = 2 ,
F (r) F (r) G()
onde, mais uma vez, escolhemos o sinal da constante de separacao de variaveis de acordo com a nossa
expectativa que G() e periodica de perodo 2. Portanto, usando as condicoes de fronteira, obtemos as
equacoes diferenciais 00
G () + 2 G() = 0 se 0 < < 2,
G(0) = G(2),
donde conclumos que = m e as sua solucao geral e
para n = 0, 1, 2, . . ., e
Esta ultima e uma equacao de Bessel na forma parametrica. Fazendo a mudanca de variaveis y(r) = F (r/),
como no caso radial, conclumos que as suas solucoes sao da forma
F (r) = Jn (r), n = 0, 1, 2, . . .
(pois as solucoes Yn sao ilimitadas e podem ser descartadas atraves de argumentos fsicos). Como F (R) = 0,
segue que R = n,m e um zero da funcao de Bessel Jn , logo
n,m
= .
R
Assim, as solucoes da equacao de Bessel acima sao
n,m r
Fnm = Jn (6.31)
R
para n = 0, 1, 2, . . . , m = 1, 2, . . ., e as solucoes de H sao
n,m ct n,m ct
Hnm (t) = Anm cos + Bnm sen (6.32)
R R
para n = 0, 1, 2, . . . , m = 1, 2, . . . A solucao geral e, portanto,
r
n,m n,m ct n,m ct
unm (r, , t) = Jn (an cos n + bn sen n) Anm cos + Bnm sen , (6.33)
R R R
cuja solucao e
X
n,m r n,m ct
X
u1 (r, , t) = Jn (anm cos n + bnm sen n) cos , (6.35)
n=0 m=1
R R
Para obter os coeficientes, fixamos r de modo que fr () = f (r, ) e uma funcao apenas da variavel ,
escrevemos
!
r X r
0,m n,m
X X
fr () = a0m J0 + anm Jn cos n
m=1
R n=1 m=1
R
!
r
n,m
X X
+ bnm Jn sen n.
n=1 m=1
R
Definindo
0,m r
X
a0 (r) = 2 a0m J0 ,
m=1
R
n,m r
X
an (r) = anm Jn ,
m=1
R
n,m r
X
bn (r) = bnm Jn ,
m=1
R
segue que
R
1
0,m r
Z
a0m = a0 (r)J0 r dr,
R2 J12 (0,m ) 0 R
R
2
n,m r
Z
anm = 2 2 an (r)Jn r dr,
R Jn+1 (n,m ) 0 R
R
2
n,m r
Z
bnm = 2 2 bn (r)Jn r dr.
R Jn+1 (n,m ) 0 R
temos que 2a0 (r), an (r) e bn (r) sao os coeficientes de Fourier da funcao fr (), logo
2
1
Z
a0 (r) = f (r, ) d,
0
2
1
Z
an (r) = f (r, ) cos n d,
0
2
1
Z
bn (r) = f (r, ) sen n d.
0
Portanto,
R 2
1
0,m r
Z Z
a0m = f (r, )J0 r ddr,
R2 J12 (0,m ) 0 0 R
R Z 2
2
n,m r
Z
anm = 2 f (r, ) cos nJn r ddr, (6.36)
R2 Jn+1 (n,m ) 0 0 R
R 2
2
n,m r
Z Z
bnm = 2 f (r, ) sen nJn r ddr,
R2 Jn+1 (n,m ) 0 0 R
Rodney Josue Biezuner 127
para m = 1, 2, . . .
O segundo problema e
utt = c2 urr + 1 ur + 1 u
se 0 < r < R, 0 < < 2 e t > 0,
r r2
u(R, , t) = 0 se 0 6 6 2 e t > 0,
u(r, , 0) = 0 se 0 6 r 6 R e 0 6 6 2,
ut (r, , 0) = g(r, ) se 0 6 r 6 R e 0 6 6 2,
cuja solucao e
X
n,m r n,m ct
X
u2 (r, , t) = Jn (cnm cos n + dnm sen n) sen , (6.37)
n=0 m=1
R R
devido a condicao inicial u(r, , 0) = 0. Usando um argumento similar ao usado no primeiro caso, obtemos
R 2
1
0,m r
Z Z
c0m = g(r, )J0 r ddr,
c0,m RJ12 (0,m ) 0 0 R
R 2
2
n,m r
Z Z
cnm = 2 g(r, ) cos nJn r ddr, (6.38)
cn,m RJn+1 (n,m ) 0 0 R
R 2
2
n,m r
Z Z
dnm = 2 g(r, ) sen nJn r ddr,
cn,m RJn+1 (n,m ) 0 0 R
para m = 1, 2, . . .
Portanto a solucao do problema geral e u = u1 + u2 , ou seja,
X
n,m r n,m ct
X
u(R, , t) = Jn (anm cos n + bnm sen n) cos
n=0 m=1
R R
X
n,m r n,m ct
X
+ Jn (cnm cos n + dnm sen n) sen ,
n=0 m=1
R R
Neste captulo desenvolveremos a teoria da equacao de Laplace tridimensional em domnios simetricos tais
como o cilindro e a bola. Nao desenvolveremos a teoria para domnios cubicos tais como paraleleppedos,
pois esta e uma extensao trivial da teoria para domnios retangulares: ao inves de series de Fourier duplas e
seus coeficientes expressos como integrais duplas, basta considerar series de Fourier triplas cujos coeficientes
sao integrais triplas.
e p
2 2
r = x + yy ,
= arctan , (7.2)
x
z = z.
128
Rodney Josue Biezuner 129
radialmente simetricas. Em particular, nao existe dependencia da variavel : ou seja, u = u(r, z). Considere
um cilindro com raio da base R e altura H. Este problema e modelado pela seguinte equacao diferencial
parcial e pelas seguintes condicoes de fronteira:
1
urr + ur + uzz = 0
se 0 < r < R e 0 < z < h,
r
u(r, 0) = u(R, z) = 0 se 0 6 r 6 R e 0 6 z 6 h,
u(r, H) = f (r) se 0 6 r 6 R.
Escrevendo
u(r, z) = F (r)G(z),
obtemos
1
F 00 (r)G(z) + F 0 (r)G(z) + F (r)G00 (z) = 0.
r
Dividindo a equacao por F (r)G(z), segue que
Levando em conta que F deve ser limitada na origem, as autofuncoes do primeira problema sao
0,n
Fn (r) = J0 r ,
R
Rodney Josue Biezuner 130
0,n
com = . Levando em conta que G(0) = 0, as autofuncoes do segundo problema sao (aqui e mais
R
conveniente escrever a solucao geral da equacao diferencial ordinaria de G na forma G(z) = c1 cosh z +
c2 senh z)
0,n
Gn (z) = senh z .
R
Assim, a solucao do problema e
0,n 0,n
X
u(r, z) = an J0 r senh z . (7.4)
n=1
R R
Como
h i
0,n 0,n
X
f (r) = u(r, H) = an senh H J0 r ,
n=1
R R
segue que
R
2
0,n r
Z
an = f (r)J0 r dr. (7.5)
R2 senh
0,n
H J12 (0,n ) 0 R
R
Para ver que Ip e a solucao da equacao de Bessel modificada de ordem p note que
Jp (ix)
Ip (x) = , (7.9)
ip
onde i = 1. De fato,
2k+p
(1)k (1)k i2k
X ix X x 2k+p
Jp (ix) = = ip
k!(k + p + 1) 2 k!(k + p + 1) 2
k=0 k=0
p
X (1)k (i2 )k x 2k+p X (1)k (1)k x 2k+p
=i = ip
k!(k + p + 1) 2 k!(k + p + 1) 2
k=0 k=0
X 1 x 2k+p
= ip = ip Ip (x).
k!(k + p + 1) 2
k=0
Assim,
1
x2 Ip00 (x) + xIp0 (x) (x2 + p2 )Ip (x) = x2 i2 Jp00 (ix) + xiJp0 (x) (x2 + p2 )Jp (ix)
ip
1
(ix)2 Jp00 (ix) + ixJp0 (x) ((ix)2 + p2 )Jp (ix)
= p
i
1
z 2 Jp00 (z) + zJp0 (z) + (z 2 p2 )Jp (z)
= p
i
= 0,
Rodney Josue Biezuner 131
quando p e um inteiro. A solucao geral para a equacao de Bessel modificada de ordem p e entao
A funcao de Bessel modificada I0 e estritamente crescente para x > 0, logo nao pode satisfazer I0 (R) = 0,
enquanto que as funcoes de Bessel modificadas proximas a origem sao ilimitadas.
Escrevendo
u(r, z) = F (r)G(z),
obtemos como antes
F 00 (r) F 0 (r) G00 (z)
r2 +r = = .
F (r) F (r) G(z)
As condicoes de fronteira implicam as seguintes condicoes sobre G:
n
e consequentemente a equacao de Bessel modificada de ordem 0 e parametro :
H
n2 2 2
r2 F 00 (r) + rF 0 (r) + r F (r) = 0.
H2
Como a funcao de Bessel modificada do segundo tipo e ilimitada na origem, a solucao geral desta equacao
pertinente ao nosso problema e nr
Fn (z) = I0 .
H
Assim, a solucao do problema e
nr
X nz
u(r, z) = bn I0 sen . (7.13)
n=1
H H
Como
X nR 0,n
f (z) = u(R, z) = bn I0 J0 r ,
n=1
H R
segue que
H
2 nz
Z
bn = nR
f (z) sen dz. (7.14)
H I0 H 0 H
u = ur r + u + u = ur r + u ,
pois nao depende de ( esta definida em termos das variaveis r, apenas) e portanto = 0. Diferenciando
= arctan , obtemos
z
1 1 z r cos cos
= 2 = 2 2
= 2 2 2 2
= .
z z + r cos + r sen r
1+
z
Diferenciando = r sen implicitamente com relacao a , temos
donde
1 cos2
r = = sen .
sen
Logo,
cos
u = sen ur + u
r
e
1 1 cos 1 cot
u = sen ur + u = ur + 2 u
r sen r r r
Conclumos que o Laplaciano em coordenadas esfericas e dado por
2 1
u(r, , ) = urr + ur + 2 u + cot u + csc2 u .
(7.20)
r r
onde 1 < x < 1. Vamos obter as suas solucoes usando o metodo de series de potencias, escrevemos
X
y(x) = am xm
m=0
donde
X
X
X
X
am m(m 1)xm2 am m(m 1)xm 2 am mxm + am xm = 0.
m=2 m=2 m=1 m=0
porque os termos adicionados aos dois somatorios intermediarios sao todos nulos e reindexando o primeiro
somatorio. Segue que
X
[(m + 2)(m + 1)am+2 + (m(m 1) 2m + ) am ] xm = 0.
m=0
Logo,
(m + 2)(m + 1)am+2 (m(m + 1) ) am = 0,
donde obtemos a relacao recursiva
m(m + 1)
am+2 = am . (7.21)
(m + 2)(m + 1)
As duas solucoes linearmente independentes da equacao de Legendre sao obtidas escolhendo a0 = 0, a1 = 1
e a0 = 1, a1 = 0. No primeiro caso obtemos uma serie consistindo apenas dos termos mpares, enquanto que
no segundo caso obtemos uma serie consistindo apenas dos termos pares. Assim, estas duas solucoes podem
ser respectivamente escritas nas formas
X 2(k + 1)(2k + 1)
y1 (x) = x2k+1 (7.22)
2(k + 1)(2k + 3)
k=0
e
X 2k(2k + 1) 2k
y2 (x) = x . (7.23)
2(k + 1)(2k + 1)
k=0
m(m + 1) n(n + 1)
am+2 = am ,
(m + 2)(m + 1)
ou
(n m)(n + m + 1)
am+2 = am . (7.25)
(m + 2)(m + 1)
Rodney Josue Biezuner 135
Da obtemos
n(n + 1)
a2 = a0 ,
2
(n 2)n(n + 1)(n + 3)
a4 = a0 ,
432
(n 4)(n 2)n(n + 1)(n + 3)(n + 5)
a6 = a0 ,
65432
..
.
e
(n 1)(n + 2)
a3 = a1 ,
32
(n 3)(n 1)(n + 2)(n + 4)
a5 = a1 ,
5432
(n 5)(n 3)(n 1)(n + 2)(n + 4)(n + 6)
a7 = a1 ,
765432
..
.
onde
n(n + 1) 2 (n 2)n(n + 1)(n + 3) 4 (n 4)(n 2)n(n + 1)(n + 3)(n + 5) 6
y1 (x) = 1 x + x x + ...
2 4! 6!
e
(n 1)(n + 2) 3 (n 3)(n 1)(n + 2)(n + 4) 5 (n 5)(n 3)(n 1)(n + 2)(n + 4)(n + 6) 7
y2 (x) = x x + x x +. . .
3! 5! 7!
Se n e par, entao a serie y1 e na verdade o polinomio
(2n)!
an = . (7.26)
2n (n!)2
Rodney Josue Biezuner 136
Os outros coeficientes sao entao determinados por uma relacao recursiva reversa. Temos
(m + 2)(m + 1)
am = am+2 ,
(n m)(n + m + 1)
ou (trocando m por m 2)
m(m 1)
am2 = am . (7.27)
(n m + 2)(n + m 1)
Assim,
e, em geral,
(2n 2m)!
an2m = (1)m . (7.28)
2n m!(n m)!(n 2m)!
n n1
Tomando M = , se n e par, e M = , se n e mpar, o n-esimo polinomio de Legendre e
2 2
M
1 X (2n 2m)!
Pn (x) = (1)m xn2m . (7.29)
2n m=0 m!(n m)!(n 2m)!
P0 (x) = 1,
P1 (x) = x,
1
P2 (x) = (3x2 1),
2
1
P3 (x) = (5x3 3x),
2
1
P4 (x) = (35x4 30x2 + 3),
8
1
P5 (x) = (63x5 70x3 + 15x),
8
1
P6 (x) = (231x6 315x4 + 105x2 5),
16
1
P7 (x) = (429x7 693x5 + 315x3 35x).
16
0 se n 6= m,
Z 1 (
Pn (x)Pm (x) dx = 2 (7.30)
1 se n = m.
2n + 1
Usando esta propriedade, e possvel provar que toda funcao razoavelmente regular possui uma serie de
Legendre:
Rodney Josue Biezuner 137
7.1 Teorema. Se f e uma funcao contnua por partes cuja derivada e contnua por partes no intervalo
[1, 1], entao f tem uma expansao em serie de Legendre
X
f (x) = An Pn (x)
n=0
com
1
2n + 1
Z
An = f (x)Pn (x) dx.
2 1
Alem disso, a serie de Legendre de f em x converge para f (x) se f e contnua em x e para a media
f (x+) + f (x)
dos limites laterais , caso contrario.
2
u(r, ) = F (r)G().
F 00 (r) F 0 (r)
00
G0 ()
G ()
r + = + cot = .
F (r) F (r) G() G()
s = cos .
Portanto,
cos
G00 () + cot G0 () + G() = (1 s2 )G00 (s) sG0 (s) + [ sen G0 (s)] + G(s)
sen
= (1 s2 )G00 (s) sG0 (s) sG0 (s) + G(s)
= (1 s2 )G00 (s) 2sG0 (s) + G(s),
= n(n + 1) (7.31)
Gn () = Pn (cos ). (7.32)
Fn (r) = rn . (7.33)
Portanto,
un (r, ) = rn Pn (cos ).
Levando em consideracao a condicao de fronteira, obtemos
X r n
u(r, ) = An Pn (cos ) (7.34)
n=0
R
com
2n + 1
Z
An = f ()Pn (cos ) sen d. (7.35)
2 0
Para obter esta expressao para os coeficientes An , multiplique a serie de u(R, ) = f () por Pm (cos ) sen ,
integre termo a termo e use a substituicao x = cos nas integrais resultantes sob o somatorio. Isso produz
Z
X Z
f ()Pm (cos ) sen d = An Pn (cos )Pm (cos ) sen d
0 n=0 0
X Z 1
= An Pn (x)Pm (x) dx
n=0 1
2m + 1
= Am .
2
Captulo 8
Transformada de Fourier
a0 X nx nx
f (x) = + an cos + bn sen (8.1)
2 n=1
L L
L
1 nt
Z
an = f (t) cos dt, n > 0,
L L L
L
(8.2)
1 nt
Z
bn = f (t) sen dt, n > 1.
L L L
Portanto, quando f e periodica podemos fazer uma decomposicao espectral (decomposicao em frequencias) de
f : podemos substituir f por dois graficos de frequencias discretas, um para a parte par de f (cossenos) e um
para a parte mpar de f (senos), a cada frequencia n/L correspondendo uma amplitude an no primeiro caso
e uma amplitude bn no segundo. As duas decomposicoes espectrais caracterizam f completamente, isto e,
podemos recuperar f a partir delas, substituindo as amplitudes correspondentes na serie de Fourier (o valor de
f nos pontos de descontinuidade e irrelevante, em geral nao tendo significado real). Estas decomposicoes ou
assinaturas espectrais tem uma gama enorme de aplicacoes em ciencias e tecnologia. O grafico a seguir ilustra
a decomposicao espectral da parte par de uma funcao periodica hipotetica (sao mostradas as amplitudes das
primeiras 16 frequencias; lembre-se que an 0 quando n ).
139
Rodney Josue Biezuner 140
De fato, a utilidade da decomposicao espectral e tanta que gostaramos de poder fazer isso para todas as
funcoes. Infelizmente, se f nao e uma funcao periodica, entao ela nao pode ser representada por uma serie
de Fourier, como vimos no Captulo 1. Nao ha qualquer esperanca de representar uma funcao nao periodica
por graficos de frequencias discretas, ja que ao substitui-los na serie de Fourier obteramos uma funcao
periodica. A generalizacao obvia deste conceito seria tentar obter uma decomposicao espectral contnua para
uma funcao nao periodica f . Isso passa primeiramente pela possibilidade de representar f por uma integral
de Fourier, ao inves de uma seria de Fourier. Veremos logo a seguir que isso sempre e possvel se f for pelo
menos suave por partes (comotambem e a condicao que funcoes periodicas precisam satisfazer para poderem
ser representadas por series de Fourier) e alem disso satisfizer a condicao
Z
|f (x)| dx < ,
ou seja, se f for absolutamente integravel. As funcoes que aparecem na pratica sao em geral absoluta-
mente integraveis, um dos motivos sendo o fato que elas geralmente so existem em intervalos finitos, podendo
ser estendidas como zero fora destes intervalos.
A ideia e a seguinte: considere f apenas no intervalo fechado [L, L] (isto e, trunque f em [L, L])
e estenda ela periodicamente fora deste intervalo com perodo 2L. Entao, no intervalo [L, L], f tem a
representacao em serie de Fourier dada em (8.1) com os coeficientes dados em (8.2). Fazendo L , como
a funcao f e integravel em R, segue que necessariamente a0 0. Alem disso, a integrabilidade de f tambem
implica que a integral de f em R pode ser aproximada pela integral de f no intervalo [L, L], desde que L
seja suficientemente grande. Assim, definindo
1
Z
A() = f (t) cos t dt, > 0,
(8.3)
1
Z
B() = f (t) sen t dt, > 0,
Rodney Josue Biezuner 141
Fazendo L , o que corresponde a fazer a norma da particao 0, esta soma de Riemann converge
para a integral de Fourier de f :
Z
f (x) = (A() cos x + B() sen x) d. (8.4)
0
Mais precisamente,
8.1 Teorema. Seja f : R R uma funcao suave por partes, absolutamente integravel. Entao f tem uma
representacao por integral de Fourier que converge para f (x) nos pontos de continuidade de f e para
a media dos limites laterais nos pontos de descontinuidade de f .
Portanto, enquanto que uma funcao periodica pode ser decomposta em uma soma infinita discreta de
senoides (isto e, uma superposicao infinita de ondas) com frequencias discretas n
L e amplitudes an (para os
cossenos) e bn (para os senos), uma funcao nao periodica pode ser escrita como uma soma contnua (integral)
de senoides com frequencias no contnuo [0, ) com amplitudes A() (para os cossenos) e B() (para os
senos). Enquanto que series de Fourier sao usadas para analisar sinais periodicos, a analise de sinais nao
periodicos pode ser feita atraves da integral de Fourier.
8.2 Exemplo. Obtenha a representacao integral de Fourier da funcao
1 se |x| 6 1,
f (x) =
0 se |x| > 1.
Temos
1
1 1 2
Z Z
A(0) = f (t) dt = dt = ,
1
Z 1
1 1 1 sen t 2 sen
Z
A() = f (t) cos t dt = cos t dt = = ,
1 1
1
1 1 1 cos t
Z Z
B() = f (t) sen t dt = sen t dt = = 0.
1 1
Observe que lim A() = A(0) (ou seja, obtivemos neste caso a funcao A() contnua) e a funcao B e
0
a funcao identicamente nula, o que era de se esperar, porque f e uma funcao par. Logo
2 sen
Z
f (x) = cos x d.
0
Rodney Josue Biezuner 142
Como vemos no exemplo acima, quando uma funcao e par ou mpar, sua integral de Fourier e mais
simples (da mesma forma e pelo mesmo motivo que a serie de Fourier de uma funcao periodica par ou mpar
e mais simples):
8.1.1 Exerccios
1. Encontre a representacao integral de Fourier das funcoes dadas (em todos os casos, a > 0).
Rodney Josue Biezuner 143
1 se 0 < x < 1, x se 0 < x < a,
a) f (x) = h) f (x) =
0 caso contrario. 0 caso contrario.
x2
1 se a < x < a, se 0 < x < a,
b) f (x) = i) f (x) =
0 caso contrario. 0 caso contrario.
1 se 1 < x < 0,
1 |x| se 1 < x < 1,
c) f (x) = 1 se 0 < x < 1, j) f (x) =
0 caso contrario.
0 caso contrario.
0 se 1 < x < 1,
1 x2
se 1 < x < 1,
d) f (x) = 1 se 1 < |x| < 2, k) f (x) =
0 caso contrario.
0 caso contrario.
x se 1 < x < 1,
e) f (x) = l) f (x) = e|x| .
0 caso contrario.
(
cos x se <x< , 2
f ) f (x) = 2 2 m) f (x) = ex .
0 caso contrario.
x se 0 < x < 1,
sen x se 0 < x < ,
g) f (x) = n) f (x) = 2x se 1 < x < 2,
0 caso contrario.
0 caso contrario.
(c) Use a identidade trigonometrica sen2 + cos2 = 1 e o item anterior para obter
Z
sen4
2
d = .
0 4
1
(Sugestao: sen2 = sen4 + sen2 cos2 = sen4 + 4 sen2 2.)
3. Usando a representacao integral de Fourier, prove que as seguintes integrais improprias tem os valores
especificados abaixo.
Rodney Josue Biezuner 144
Z
cos x + w sen x 0 se x < 0,
a) d = /2 se x = 0,
1 + 2
0 ex se x > 0.
1 cos
Z
/2 se 0 < x < ,
b) sen x d =
0 0 se x > .
cos x
Z
c) d = ex se x > 0.
0 1 + 2 2
w
Z cos cos x cos x se |x| < ,
d) 2 d = 2 2
2
0 1 0 se |x| > .
2
(
sen sen x
Z
sen x se 0 6 x 6 ,
e) d = 2
0 1 2 0 se x > .
3 sen x
Z
f) 4
d = ex cos x se x > 0.
0 +4 2
Por sua vez, a forma complexa da integral de Fourier pode ser escrita como
Z Z
1 1
f (x) = f (t)eit dt eix d.
2 2
Defina a funcao fb : R C por
1
Z
fb() = f (t)eit dt. (8.8)
2
Observe que apesar da funcao f ser uma funcao definida na reta (isto e, uma funcao de uma variavel real)
tomando valores reais, em geral a funcao fb e uma funcao definida na reta tomando valores complexos. De
fato, a funcao fb pode ser escrita mais explicitamente, usando a formula de Euler, na forma
Z Z
1
f () =
b f (t) cos t dt i f (t) sen t dt . (8.9)
2
A parte complexa de fb sera nula e portanto fb sera uma funcao real se e somente se a integral
Z
f (t) sen t = 0.
Isso ocorrera se e somente se a funcao f for par. Portanto, no estudo da transformada de Fourier e inevitavel
o aparecimento de funcoes de R em C, ja que a maioria das funcoes nao sao pares. Diremos que uma funcao
de R em C e absolutamente integravel se as suas partes real e imaginaria (que sao funcoes de de R em R)
forem absolutamente integraveis. O espaco de tais funcoes sera denotado por L1 (R, C). Na notacao acima,
temos que
Z
1
f (x) = fb()eix d. (8.10)
2
Isso nos leva a seguinte definicao. Definimos a transformada de Fourier de f , como sendo a funcao F
que associa a cada funcao absolutamente integravel f : R R a funcao fb : R C definida pela expressao
(8.8); a sua inversa, chamada a transformada de Fourier inversa, e a funcao F1 que associa a cada
funcao fb : R C que pertenca ao conjunto imagem de F a funcao absolutamente integravel f : R R
definida pela expressao (8.10). Assim, se f e contnua,
F1 (F(f )) = f. (8.11)
Isso e uma consequencia imediata das definicoes acima:
Z Z Z
1 1 1
F1 (F(f ))(x) = F(f )()eix d = f (t)eit dt eix d
2 2 2
Z Z
1
= f (t)ei(xt) dtd = f (x).
2
O significado da transformada de Fourier sera visto na proxima subsecao.
De (8.9) segue que
r Z
1
1
Z
f () =
b f (t) cos t dt i f (t) sen t dt ,
2
ou seja,
r
fb() = [A() iB()] . (8.12)
2
Isso permite calcular as funcoes A() e B() que aparecem na integral de Fourier diretamente para funcoes
cuja transformada de Fourier e conhecida.
Rodney Josue Biezuner 146
8.3 Exemplo. A transformada de Fourier de uma funcao absolutamente integravel, apesar de ser uma
funcao contnua, nao e em geral uma funcao absolutamente integravel. O contra-exemplo classico e a
funcao pulso
1 se |x| 6 1,
f (x) =
0 se |x| > 1.
De fato, calculando a transformada de Fourier de f , obtemos
Z Z 1
1 1 1 1
fb() = f (t)eit dt = eit dt = eit 1
2 2 1 2i
1 1
ei ei =
= (cos i sen cos i sen )
2i 2i
2i sen 2 sen
= = .
2i 2
Segue que a transformada de Fourier de f e a funcao
r
2 sen
fb() = ,
que nao e uma funcao absolutamente integravel, como pode ser verificado. Observe porem que a
descontinuidade da funcao pulso foi suavizada pela sua transformada de Fourier, ja que fb e uma
funcao contnua. Com efeito,
Z Z 1 r
1 i0 1 2 2
fb(0) = f (t)e dt = dx = =
2 2 1 2
e portanto lim fb() = fb(0). Isso nao foi um acidente e e sempre verdade.
0
8.4 Teorema. Se f : R R e uma funcao absolutamente integravel, entao sua transformada de Fourier
fb : R C e uma funcao contnua e limitada. Se, alem disso, fb for absolutamente integravel, entao f
e contnua.
A transformada de Fourier da funcao pulso no Exemplo 2 e uma funcao real porque ela e uma funcao
par. Em geral, a transformada de Fourier de uma funcao real e uma funcao complexa, como no proximo
exemplo.
8.5 Exemplo. Encontre a transformada de Fourier da funcao
x
e se x > 0,
f (x) =
0 se x 6 0.
Rodney Josue Biezuner 147
Temos
1 1 1
Z Z Z
fb() = f (t)eit dt = etit dt = e(1+i)t dt
2 2 0 2 0
1
= e(1+i)t .
2(1 + i) 0
Como eit = 1, segue que
lim e(1+i)t = lim et eit = lim et = 0,
t x t
logo
1 1 i
fb() = = .
2(1 + i) 2(1 + 2 )
definindo
a0
0 = , (8.14)
2
e, para n > 0,
an ibn
n = ,
2
(8.15)
an + ibn
n = .
2
Com estas definicoes, segue que a soma dos dois termos com a mesma frequencia em modulo que aparecem
na forma complexa para a serie de Fourier e
n (n)
nx nx nx nx
n ei L x + n ei L x = n cos + i sen + n cos i sen
L L L L
nx nx
= (n + n ) cos + i (n n ) sen
L L
nx nx
= an cos + bn sen ,
L L
portanto a forma complexa produz o mesmo resultado que a forma real. Em particular, a forma complexa
da serie de Fourier, apesar dos coeficientes n serem complexos, produz uma funcao real.
Substituindo as expressoes para an e bn , obtemos para qualquer n Z
Z L Z L !
1 nt nt
n = f (t) cos dt i f (t) sen dt ,
2L L L L L
Rodney Josue Biezuner 148
que podemos escrever, mais uma vez usando a formula de Euler, na forma compacta
Z L !
1 i n t
n = f (t)e L dt . (8.16)
2L L
Pela formula (8.13), compreendemos que o coeficiente n corresponde a amplitude complexa da componente
de frequencia n
L ; a principal diferenca com relacao a serie de Fourier real e que as componentes sao ondas
complexas e as frequencias podem ser positivas e negativas.
Para obter a transformada de Fourier, procedemos agora de maneira analoga a que usamos para obter a
integral de Fourier. Se f e absolutamente integravel, definimos para qualquer R a funcao
1
Z
() = f (t)eit dt. (8.17)
2
Assim como os coeficientes complexos n da forma complexa da serie de Fourier para uma funcao real
periodica, a funcao () pode ser complexa, como vimos no Exemplo 8.5.
Restrinja f ao intervalo fechado [L, L] e estenda ela periodicamente fora deste intervalo. Entao, no
intervalo [L, L], f tem a representacao em serie de Fourier na forma complexa (8.13) com os coeficientes
complexos dados por (8.16). Fazendo L , como a funcao f e integravel em R, segue que necessariamente
0 0. Alem disso, a integrabilidade de f tambem implica que a integral de f em R pode ser aproximada
pela integral de f no intervalo [L, L], desde que L seja suficientemente grande. Assim, temos que os
coeficientes n podem ser aproximados por
1 n
Z
n
n f (t)ei L t dt = .
2L L L
Logo,
h
X n i n x i
f (x) e L .
n=
L L
Mas, se denotarmos n = n/L e = /L, o que equivale a fazer uma particao da reta R = (, ) em
subintervalos de comprimento , reconhecemos uma soma de Riemann:
n
X
(n )ei L x .
f (x)
n=1
Fazendo L , o que corresponde a fazer a norma da particao 0, esta soma de Riemann converge
para Z
f (x) = ()eit d. (8.18)
Definindo
1
Z
fb() = 2() = f (t)eit dt,
2
segue que
1
Z
f (x) = fb()eit d,
2
Se f : R C e uma funcao duas vezes diferenciavel absolutamente integravel tal que f 0 e f 00 tambem
sao funcoes absolutamente integraveis, entao
Em geral, se f : R C e uma funcao k vezes diferenciavel absolutamente integravel tal que as suas
derivadas ate a ordem k tambem sao funcoes absolutamente integraveis, entao
Se f : R C e uma funcao absolutamente integravel tal que x2 f (x) tambem e uma funcao absoluta-
mente integravel, entao
F(xf (x))() = F(f )00 ().
Em geral, se f : R C e uma funcao absolutamente integravel tal que xk f (x) tambem e uma funcao
absolutamente integravel, entao
F(xk f (x))() = ik F(f )(k) ().
Rodney Josue Biezuner 150
Multiplicando ambos os lados por i obtemos a primeira formula. As outras formulas seguem da
aplicacao iterada da primeira.
Propriedade 4 (Transformada de Fourier de uma Translacao). Se f : R C e uma funcao absolu-
tamente integravel, entao
F(f (x a))() = eia F(f (x))().
Reciprocamente,
F(eiax f (x))() = F(f (x))( a).
Prova. Mudando variaveis, temos
Z
1 1
Z
F(f (x a))() = f (t a)eit dt = f (t)ei(t+a) dt
2 2
Z
= eia f (t)eit dt = eia F(f (t)).
Podemos assegurar que ela esta bem definida (isto e, a integral impropria que a define converge para todo
x), se as funcoes f e g, alem de serem absolutamente integraveis, sao tambem quadrado-integraveis, isto e,
seus quadrados tambem sao absolutamente integraveis:
Z Z
2 2
|f (t)| dt, |g(t)| dt < .
a2 b2
|ab| 6 + ,
2 2
valida para todos a, b R, segue que
Z Z
1 1
Z Z
2 2
f (x t)g(t) dt 6
|f (x t)g(t)| dt 6 |f (x t)| dt + |g(t)| dt < .
2 2
Denotamos o espaco das funcoes quadrado-integraveis na reta por L2 (R). Alem disso, a convolucao de
funcoes absolutamente integraveis, quando esta definida, e tambem uma funcao absolutamente integravel,
de modo que a sua transformada de Fourier esta definida:
Z Z Z Z Z
|(f g)(x)| dx 6 |f (x t)| |g(t)| dt dx = |g(t)| |f (x t)| dx dt
Z Z Z Z
= |g(t)| |f (x)| dx dt = |f (x)| dx |g(t)| dt
< .
A transformada de Fourier comporta-se extremamente bem em relacao a convolucoes: ela transforma con-
volucao de funcoes essencialmente em produto de funcoes:
Resumimos as propriedades da transformada de Fourier obtidas acima na seguinte tabela, enquanto que
no final desta secao e dada uma tabela contendo as transformadas de Fourier de algumas funcoes que surgem
frequentemente em aplicacoes.
Rodney Josue Biezuner 152
Aplicando a transformada de Fourier a ambos os lados desta equacao, obtemos (usando as Propriedades
1, 2 e 3)
i fb() + aifb0 () = 0
ou
fb0 () + fb() = 0.
a
Resolvendo esta equacao atraves de uma integracao simples, obtemos
2
fb() = Ce 2a
Rodney Josue Biezuner 153
para alguma constante C. [Em uma notacao mais usual, a equacao diferencial e y 0 + y = 0, donde
a
y0 2
y 0 = y ou = ; integrando ambos os lados desta equacao obtemos log y = 2a + C e da
a y a
o resultado acima.] A constante C pode ser determinada atraves da integral impropria relembrada
acima:
Z Z r Z
1 1 at2 1 2 2 1
C = fb(0) = f (t) dt = e 2 dt = es ds = .
2 2 2 a a
x2
A funcao gaussiana e 2 nao e a unica funcao cuja transformada de Fourier e ela propria.
Rodney Josue Biezuner 154
i(eib eia )
1 se a < x < b,
2.
0 caso contrario. 2
(
|x| r sen2 a
1 se |x| < a, , a > 0. 2 2
3. a 2
0 se |x| > a, a 2
r
x se |x| < a, 2 a cos(a) sen(a)
4. , a > 0. i
0 se |x| > a, 2
r
sen x se |x| < , 2 sen()
5. i
0 se |x| > , 2 1
sen(ax) se |x| < b, i sen[( a)b] sen[( + a)b]
6. , a, b > 0. +
0 se |x| > b, 2 a +a
cos(ax) se |x| < b, 1 sen[( a)b] sen[( + a)b]
7. , a, b > 0. +
0 se |x| > b, 2 a +a
r a||
1 e
8. , a > 0.
x2 + a2 2 a
r
2 a ||
9. , a > 0. e a
1 + a2 x2
2 ax ||
4 sen 2
(
10. , a > 0. 1 se || < a,
a
2 ax2 0 se || > a.
r
a|x| 2 a
11. e , a > 0.
a + 2
2
eax
se x > 0, 1 1
12. , a > 0.
0 se x < 0, 2 a + i
0 se x > 0, 1 1
13. , a > 0.
eax se x < 0, 2 a i
n (n + 1) 1 1
14. |x| ea|x| , a > 0, n > 0. +
2 (a i)n+1 (a + i)n+1
a 2 1 2
15. e 2 x , a > 0. e 2a
a
Rodney Josue Biezuner 155
8.2.6 Exerccios
1. Calcule a transformada de Fourier das funcoes a seguir (em todos os casos, a > 0).
1 se |x| < a, x se |x| < 1,
a) f (x) = g) f (x) =
0 se |x| > a. 0 caso contrario.
x2
|x| se |x| < 1,
b) f (x) = e . h) f (x) =
0 caso contrario.
e|x|
se |x| < 1, 1 |x| se |x| < 1,
c) f (x) = i) f (x) =
0 se |x| > 1. 0 caso contrario.
ex 1 x2
se x < 0, se |x| < 1,
d) f (x) = j) f (x) =
0 se x > 0. 0 caso contrario.
( x
sen x se |x| < , 1 se |x| < a,
e) f (x) = k) f (x) = a
0 caso contrario. 0 se |x| > a.
(
cos x se |x| < ,
f ) f (x) = 2
0 caso contrario.
F2 (f )(x) = f (x).
(c) Conclua que f e uma funcao par se e somente se F2 (f ) = f ; f e uma funcao mpar se e somente
se F2 (f ) = f .
(d) Mostre que para qualquer funcao f temos F4 (f ) = f .
F(f )( a) + F(f )( + a)
F(cos(ax)f (x)) = ,
2
F(f )( a) F(f )( + a)
F(sen(ax)f (x)) = .
2i
4. Use o exerccio anterior e transformadas de Fourier de funcoes conhecidas para calcular as transforma-
das de Fourier das seguintes funcoes:
cos x sen 2x
a) f (x) = x2 . b) f (x) = |x| .
e e
cos x + cos 2x sen x + cos 2x
c) f (x) = . d) f (x) = .
x2 + 1 x2 + 4
cos x se |x| < 1, sen x se |x| < 1,
e) f (x) = f ) f (x) =
0 se |x| > 1. 0 se |x| > 1.
Rodney Josue Biezuner 156
5. Use uma transformada de Fourier conhecida e as propriedades operacionais para calcular a transfor-
mada de Fourier das funcoes a seguir.
x2
x se |x| 6 1,
a) f (x) = f ) f (x) = .
0 se |x| > 1. (1 + x2 )2
2 2
b) f (x) = xex . g) f (x) = (1 x2 )ex .
xex
se x < 0, 1 2
d) f (x) = i) f (x) = xe 2 (x1) .
0 se x > 0.
x
e) f (x) = . j) f (x) = (1 x)e|x1|
1 + x2
u
dxx (, t) = ib
u(, t),
2
u
dxx (, t) = (i) ub(, t) = 2 u
b(, t),
ou seja, derivadas espaciais sao transformadas em expressoes que envolvem apenas a funcao u b(, t) multi-
plicada por um monomio em . Por outro lado, derivando dentro do sinal de integracao com relacao a t,
temos que
Z Z
1 d 1
ubt (, t) = ut (x, t)eix dx = u(x, t)eix dx = u
bt (, t),
2 dt 2
o que significa que a derivada temporal e preservada pela transformada de Fourier. Assim, vemos que quando
aplicamos a transformada de Fourier a uma equacao diferencial parcial em duas variaveis, as derivadas
parciais espaciais desaparecem e apenas as derivadas temporais permanecem. Em outras palavras, aplicando
a transformada de Fourier transformamos a equacao diferencial parcial em uma equacao diferencial ordinaria
em t. Esta observacao e a essencia do metodo da transformada de Fourier para resolver equacoes diferenciais
parciais. Em resumo, o metodo funciona da seguinte maneira:
Passo 1: Obtenha a transformada de Fourier de todas as equacoes envolvidas (i.e., a equacao diferencial
parcial e a condicao inicial).
Passo 2: Resolva a equacao diferencial ordinaria, obtendo a solucao ub(, t).
Passo 3: Aplique a transformada de Fourier inversa a u b(, t) para obter u(, t).
A ttulo de exemplo, vamos aplicar este metodo as equacoes do calor e da onda.
Rodney Josue Biezuner 157
Assumimos que a funcao f e contnua, limitada e absolutamente integravel. A ultima condicao garante que
a energia termica total da barra e finita, mesmo a barra sendo infinita (lembre-se que temperatura e uma
medida de densidade termica). Aplicando a transformada de Fourier a este problema, obtemos a equacao
diferencial ordinaria em t
bt (, t) = k 2 u
u b(, t)
u
b(, 0) = fb().
A solucao geral desta equacao e
2
b(, t) = C()ek t .
u
Para obter o valor de C(), usamos a condicao inicial:
fb() = u
b(, 0) = C().
Portanto,
2
b(, t) = fb()ek t .
u (8.22)
Tomando transformadas de Fourier inversas de ambos os lados da equacao, obtemos
Z
1 2
u(x, t) = fb()eixk t d.
2
Esta solucao nao e conveniente para as aplicacoes praticas, ja que o integrando e complexo, enquanto que
a solucao para o problema de Cauchy e real. Alem disso, o integrando envolve a transformada de Fourier
da condicao inicial, ao inves dela propria, o que dificulta a analise de como a solucao depende desta ultima
(ja que, como vimos nos exemplos, a transformada de Fourier de uma funcao e muito diferente da funcao).
Usando a propriedade da transformada de Fourier com relacao a uma convolucao, podemos obter uma solucao
real e em termos da condicao inicial f (x). De fato, voltando a equacao que da a solucao u
b(, t), observamos
que a segunda funcao do lado direito e uma gaussiana em que, conforme vimos anteriormente, a menos de
uma constante e a transformada de Fourier dela propria. Mais precisamente,
a 2 1 2
F(e 2 x ) = e 2a .
a
Da, se r
1 x2
g(x) = e 4kt ,
2kt
entao 2
gb() = ek t .
[Tome a = 1/(2kt).] Logo, podemos escrever
u
b(, t) = fb()b
g ().
Lembrando agora que a transformadade Fourier de uma convolucao e o produto das transformadas de
Fourier das funcoes multiplicadas por 2, ou seja
1
g () = f[
fb()b g(),
2
Rodney Josue Biezuner 158
segue que
1
b(, t) = f[
u g().
2
Portanto, aplicando a transformada de Fourier inversa, obtemos
1
u(x, t) = (f g)(x)
2
ou
1
Z
(xs)2
u(x, t) = f (s)e 4kt ds. (8.23)
2 kt
Esta e a solucao da equacao do calor em uma barra infinita, e alem disso a unica solucao do problema, se
entendermos por solucao uma funcao contnua, limitada em t > 0 e absolutamente integravel (existem outras
solucoes, mas elas nao sao limitadas, e do ponto de vista fsico esperamos que a solucao do problema seja
uma distribuicao de temperaturas limitada).
Assumimos que as funcoes f, g sao contnuas, limitadas e absolutamente integraveis. Aplicando a transfor-
mada de Fourier a este problema, obtemos a equacao diferencial ordinaria em t
btt (, t) = c2 2 u
u b(, t)
u
b(, 0) = fb(),
u
bt (, 0) = gb().
Rodney Josue Biezuner 159
u
b(, t) = A() cos ct + B() sen ct.
fb() = u
b(, 0) = A(),
gb() = u
bt (, 0) = cB().
Portanto,
gb()
u
b(, t) = fb() cos ct + sen ct. (8.25)
c
Aplicando a transformada de Fourier inversa, obtemos a solucao do problema:
Z
1 gb()
u(x, t) = f () cos ct +
b sen ct eix d. (8.26)
2 c
Para obter uma solucao real, usamos a tabela da transformada de Fourier e suas propriedades. Pela propri-
edade da transformada de Fourier de uma translacao temos
e ict
+ eict 1 h ict b i
fb() cos ct = fb() = e f () + eict fb() ,
2 2
de modo que
1
F1 fb() cos ct = [f (x + ct) + f (x ct)] . (8.27)
2
Pelo item (1) da tabela de transformadas de Fourier temos
r
sen ct
gb() = gb()b
h(),
2
onde
1 se |x| < ct,
h (x) =
0 se |x| > ct,
de modo que
1
r
gb() 1 1
Z
F 1
sen ct = (g h)(x) = g (s) h (x s) ds
c c 2 2 2c
Z x+ct
1
= g (s) ds. (8.28)
2c xct
Portanto
x+ct
1 1
Z
u (x, t) = [f (x + ct) + f (x ct)] + g (s) ds. (8.29)
2 2c xct
1
Solucao: Denotando f (x) = , segue que
1 + x2
r
||
u
b(, t) = fb() cos t = e cos t.
2
Logo,
1 ei + ei ||
r r
1 ||
u(x, t) = F (e cos t) = F e
2 2 2
r r
1 1 i || 1 1 i ||
= F e e + F e e
2 2 2 2
1 1 1
= + ,
2 1 + (x + t)2 1 + (x + t)2
r
|| 1
usando a propriedade da transformada de Fourier de uma translacao, pois F 1
e = .
2 1 + x2
Como a condicao de fronteira esta expressa em termos da variavel x, faremos a transformada de Fourier em
relacao a variavel x, ou seja, consideraremos
Z
1
ub(, y) = F(u(x, y)) = u(x, y)eix dx. (8.30)
2
Aplicando a transformada de Fourier a equacao de Laplace, obtemos
2
F (uxx + uyy ) = F (uxx ) + F (uyy ) = (i) u
b(, y) + u
byy (, y)
= 2 u
b(, y) + u
byy (, y),
byy (, y) = 2 u
u b(, y) se < x < e y > 0,
u
b(, 0) = fb() se < x < .
A() = 0 se > 0,
B() = 0 se < 0.
b(, y) = fb()ey|| .
u
Aplicando a transformada de Fourier inversa, obtemos a solucao do problema:
Z
1
u(x, y) = fb()eixy|| d. (8.32)
2
Para obter uma solucao real, usamos a tabela da transformada de Fourier e suas propriedades. Pelo item
(9) da tabela, temos
r2 y
F e y||
= .
y + x2
2
Portanto,
u
b(, y) = fb()P
cy () ,
onde a funcao r
2 y
Py (x) = (8.33)
x + y2
2
8.3.4 Exerccios
1. Resolva a equacao do calor ou da onda dada. Em todos os casos, assuma < x < e t > 0.
utt = uxx utt = uxx (
1
cos x se 6 x 6 ,
a) u(x, 0) = b) u(x, 0) = 2 2
4 + x2 0 caso contrario,
ut (x, 0) = 0.
ut (x, 0) = 0.
1
ut = uxx se < x < e t > 0, ut = 100 u
xx
c) 2 d) 100 se 1 6 x 6 1,
u(x, 0) = ex se < x < . u(x, 0) = .
0 se x > 1.
utt = uxx r u = uxx
t
2 sen x |x|
(
e) u(x, 0) = f) 1 se 2 6 x 6 2, .
x u(x, 0) =
2
0 se x > 1.
ut (x, 0) = 0.
1
ut = 100 u
xx
ut = 14 uxx
100 se 2 < x < 0,
g) 20 se 1 6 x 6 1, h)
u(x, 0) = u(x, 0) = 50 se 0 < x < 1,
0 se x > 1.
0 caso contrario.
ut = uxx
(
ut = uxx
i) 100 j)
u(x, 0) = . u(x, 0) = e|x| .
1 + x2
Rodney Josue Biezuner 163
2. Usando o metodo da transformada de Fourier, resolva o problema de valor inicial dado. Em todos os
casos, assuma < x < e t > 0.
uxt = uxxr
utt = uxxxx
a) |x| b)
u(x, 0) = e u(x, 0) = f (x).
2
3ut + ux = 0 aut + bux = 0
c) d)
u(x, 0) = f (x). u(x, 0) = f (x).
ut = t2 ux
ut + tux = 0
e) f)
u(x, 0) = f (x). u(x, 0) = 3 cos x.
ut + a(t)ux = 0 ut + (sen t)ux = 0
g) h)
u(x, 0) = f (x), u(x, 0) = sen x.
ut = ux ut = tuxx
i) j)
u(x, 0) = f (x). u(x, 0) = f (x),
utt + 2ut = u
ut = a(t)uxx
k) , a(t) > 0. l) u(x, 0) = f (x),
u(x, 0) = f (x),
ut (x, 0) = g(x).
ut = et uxx
ut = tuxxxx
m) n)
u(x, 0) = 100, u(x, 0) = f (x),
utt = uxxt utt 4uxxt + 3uxxxx
o) u(x, 0) = f (x), p) u(x, 0) = f (x),
ut (x, 0) = g(x). ut (x, 0) = g(x).
3. Resolva o problema do calor com conveccao na barra infinita (isto e, existe troca de calor da barra com
o meio ambiente):
ut = c2 uxx + kux
se < x < e t > 0,
u(x, 0) = f (x) se < x < .
ut = c2 uxxx
se < x < e t > 0,
u(x, 0) = f (x) se < x < .
2/2
Encontre a solucao para f (x) = ex e quando f e a funcao pulso (em ambos os casos tome c = 1).
Rodney Josue Biezuner 164
1
De posse desta propriedade resolva o problema de Dirichlet para f (x) = . Quais sao as isotermas
1 + x2
neste caso?
Esta propriedade leva a seguinte definicao de um produto escalar para vetores complexos. Dados vetores
complexos v = (v1 , . . . , vn ) , w = (w1 , . . . , wn ) Cn , o seu produto interno hermitiano e o numero
complexo hv, wi definido por
Xn
hv, wi = vi wi .
i=1
e que
zw = zw, (8.37)
pois, se z = z1 + z2 i e w = w1 + w2 i, entao
zw = (z1 + z2 i) (w1 + w2 i)
= (z1 w1 z2 w2 ) + (z1 w2 + z2 w1 ) i
de modo que
zw = (z1 w1 z2 w2 ) (z1 w2 + z2 w1 ) i
= (z1 z2 i) (w1 w2 i)
= zw.
Lembrando que
1
Z
g (t) = F1 (b
g) = gb()eit d,
2
temos
Z +
hf, gi = f (t) g (t) dt
Z +
1
Z
=
f (t) gb()eit d dt
2
Z +
1
Z
= f (t) gb()eit ddt
2
Z + Z
1
= f (t) gb()eit ddt
2
Z Z +
1
= f (t) gb()eit ddt
2
Z Z +
1 it
= gb() f (t) e dt d
2
Z
= gb()fb() d
Z
= g () d
fb()b
D E
= fb, gb .
O Teorema de Parseval nos diz que a transformada de Fourier e um operador unitario, isto e, uma trans-
formacao que preserva o produto interno.
Prova. Pois D E
2
2
kf k = hf, f i = fb, fb =
fb
.
Rodney Josue Biezuner 166
O fator no denominador e um fator de normalizacao, isto e, para assegurar que a incerteza de uma funcao
em torno de um ponto independe da escala: funcoes que diferem apenas por um fator multiplicativo (em
outras palavras, f e f , onde e uma constante qualquer), terao a mesma incerteza. Assim, para uma
funcao normalizada f , isto e, satisfazendo
Z +
2
|f (x)| dx = 1,
Observe que quanto mais concentrada esta a funcao f em torno do ponto a, menor e a incerteza. Por
exemplo, se f e a funcao pulso normalizada
1/ (2) se |x| 6 ,
f (x) =
0 se |x| > ,
de modo que
f (0) 0 quando 0,
isto e, a incerteza da funcao pulso em torno da origem diminui quanto mais o pulso e concentrado na origem.
No limite, a funcao pulso tende para a funcao delta de Dirac, cuja incerteza e zero.
Mais geralmente, se a funcao f nao esta concentrada em torno do ponto a, isto e, assume valores nao
2 2
nulos longe de a em pontos xi entao o produto (x a) |f (x)| vai ser grande em um intervalo em torno de
xi , contribuindo para uma integral total nao nula. Ou seja, ha uma incerteza sobre o valor de f no ponto
a. Em Mecanica Quantica, o valor de f corresponde a medida de uma variavel fsica, por exemplo posicao:
2
|f (x)| poderia ser a densidade de probabilidade de se encontrar uma partcula em um certo intervalo da
reta e neste caso f (a) daria a incerteza de se encontrar esta partcula na posicao a; se a funcao f estiver
concentrada em a, entao menor e a incerteza de se encontrar a partcula em a.
O princpio da incerteza mostra que quanto menor e a incerteza de f em a, maior e a incerteza da
sua transformada de Fourier fb em b para quaisquer a, b R, e vice-versa. Em outras palavras, quanto mais
concentrada f e em torno de algum ponto, mais difusa fb e; f e fb nao podem ser ambas localizadas. Isto e
ilustrado pelo Exemplo 8.3: a transformada de Fourier da funcao pulso e a funcao sen /, que e uma onda
dispersa ao longo da reta.
Prova. Sem perda de generalidade, podemos assumir a = b = 0. Se assumirmos que f tem o comportamento
assintotico
2
lim x |f (x)| = 0,
x
0
a demonstracao
h i simples. Integrando por partes (fazendo u = xf (x), dv = f (x) dx, de modo que
e mais
du = f (x) + xf 0 (x) dx, v = f (x)), segue que
Z + + Z + h i
xf (x)f 0 (x) dx = xf (x)f (x) f (x) + xf 0 (x) f (x) dx
Z + h i
2
= |f (x)| + xf (x) f 0 (x) dx,
donde
Z + Z + h i
2
|f (x)| dx = x f (x) f 0 (x) + f (x)f 0 (x) dx
Z+ h i
= 2 x Re f (x) f 0 (x) dx
Z + h i
= 2 Re xf (x) f 0 (x) dx.
valida em qualquer espaco vetorial com produto interno ao lado esquerdo da ultima desigualdade, tomando
g = xf (x) e h = f 0 (x), obtendo
Z + 2 Z + Z 2 +
2 2
0
|f (x)| dx 6 4 |xf (x)| dx
f (x) dx
Z + Z +
2 2
=4 x2 |f (x)| dx |f 0 (x)| dx
Z + Z +
2 2
= 4f (0) |f (x)| dx |f 0 (x)| dx.
Portanto, Z + Z +
2 2
|f (x)| dx 6 4f (0) |f 0 (x)| dx. (8.39)
Rodney Josue Biezuner 168
Da,
R + 2 R + 2 ibx 2
x2 |g (x)| dx
x e f (x + a) dx
g (0) = R + 2
= R + 2
|g (x)| dx
|f (x)| dx
R + 2 2 R + 2 2
x |f (x + a)| dx
(x a) |f (x)| dx
= R + 2
= R + 2
|f (x)| dx
|f (x)| dx
= f (a) .
= fb(b) .
1 6 4g (0) b
g (0) = 4f (a) fb(b) ,
Rodney Josue Biezuner 169
[1] ASMAR, Nakhle, Partial Differential Equations and Boundary Value Problems, Prentice Hall, New
Jersey, 2000.
[2] BOYCE, William E. e DI PRIMA, Richard, Equacoes Diferenciais Elementares e Problemas de Valores
de Contorno, 7a. Ed., LTC, Rio de Janeiro, 2002.
[3] EDWARDS, C. H. e PENNEY, D. E., Equacoes Diferenciais Elementares com Problemas de Contorno,
3a. Ed., Prentice-Hall do Brasil, Rio de Janeiro, 1995.
[4] FIGUEIREDO, Djairo Guedes de, Analise de Fourier e Equacoes Diferenciais Parciais, Projeto Eucli-
des, IMPA, Rio de Janeiro, 1987.
[5] GONZALEZ-VELASCO, Enrique A., Fourier Analysis and Boundary Value Problems, Academic Press,
San Diego, 1995.
[6] HABERMAN, R., Elementary Applied Partial Differential Equations, with Fourier Series and Boundary
Value Problems, Prentice Hall, New Jersey, 1998.
170