Universidade Federal de Santa Catarina.

Centro de Cincias Fsicas e Matemticas

Departamento de Matemtica
Mtodo de Fourier para a resoluo
de Problemas de Valores Inicial e de
Fronteira para a Equao do Calor
Aluna: Melissa Samanta Holetz
Orientador: Prof. Dr. Igor Mozolevski
Janeiro - 2001
0
.
2
6
8
.
1
9
5
-
4

Esta monografia foi julgada adequada como Trabalho de Conclusio de
Curso no Curso de Matemtica Habilitao em Licenciatura, e aprovada em sua
forma final pela Banca Examinadora designada pela Portaria n o 01/SCG/2001.
Prof Carrnem Suzane Comitre Gimenez
Professora da disciplina
Banca Examinadora:
Igor Mozolevski
Orientador
Daniel Norberto Kozakevich
Agradeo A. Deus,
aos meus pais, amigos,
ao meu orientador,
e, principalmente, ao meu
namorado Marcelo,
pela ateno e pacincia dedicada.
Sumrio
Introduo
3
Capitulo 1 Sries de Fourier
4
1.1 Funes Peridicas
4
1.2 Convergncia Uniforme
6
1.3 Calculo de Coeficientes de Fourier
11
1.4 Clculo
de Sries de Fourier
17
1.5 Sries de Fourier de Funes Pares e impares
22
I _6 I ntegrao de Sries de Fourier
26
1.7
Estimativa dos Coeficientes de Fourier
31
Capitulo 2 Convergncia das Sries de Fourier
33
2.1 I ntegral de Riemann
33
2.2 Classes das funes consideradas
38
2.3 Lema de Riemann-Lebesgue
42
2.4 Convergncia Pontual da Srie de Fourier
44
2.5 Desigualdade de Bessel
53
2.6 Desiguddacle de Cauchy-Schwarz e de Minkowski
56
2.6.1 Desigualdade de Gauchy-Schwarz
56
2.6.2 Desigualdade de Minkowski
58
2.7
Convergncia Uniforme das Sries de Fourier
62
Capitulo 3 Equao do Calor
65
3.1 Conduo de calor numa barra
65
3.2 Equaes Lineares de Segunda Ordem
70
3.3 Mtodo de Fourier para resoluo do Problema de Valores I nicial e de
Fronteira para a Equao do Calor
78
3.4 Existncia e representao de solues do Problema de Valores I nicial e
de Fronteira para a Equao do Calor
83
3.5 Unicidade de soluo clssica do PVI F
92
3.6 Resoluo de PVI F relacionados Equao do Calor
94
3.6.1 Condies de Contorno Homogneas
94
3.6.2 Condies de Contorno no-Homogneas
95
3.6.3 Barra com extremidades isoladas
98
1
Referncias Bibliogrficas
102
Introduo
Sabe-se que o
problema de conduo de calor numa barra fina com superficie
lateral isolada pode ser apresentado na forma de Problema de Valores Inicial
e de
Fronteira (PV1F) pela Equao de Calor:
{
u,=Ku.0<x<L, t>0
u(0,t)= u(L,t). 0, t > 0
u(x,0)= f(x), 0 x 15_ L
sendo u(x,t)
a temperatura da barra de um ponto x no tempo
t, K uma constante que
depende de caractersticas trmicas
da barra e f(x) a fi.ind'o que descreve a
distribuio inicial de temperatura.
Esse problema foi solucionado ainda no sculo XIX por Joseph Fourier, que
aplicou o Mtodo de Separao de Variveis e encontrou uma soluo na forma:
.(x,t)
(n7rx
E[cn e
n = 1
n 2 -fr2I r t / L2

sen
partir dai, vrios
aspectos matemticos relacionados a esse problema foram
estudados por diversos matemticos, como D'Lambert,
Euler, Bernoulli, Lagrange e
o prprio Fourier.
De fato, a interpretao matemtica do problema de conduo de calor criou
a necessidade do desenvolvimento de vrias teorias, necessrias para a justificao
matemtica
desse problema, entre elas a Teoria das Sries de Fourier, Teoria de
Integral de Riemann, Anlise Funcional, entre outras.
Por exemplo, para que uma funo u(x,t)
apresentada por (4) satisfaa a
equao (1) necessrio que
tanto a srie como suas derivadas parciais respectivas
convirjam uniformemente.
Alm disso, para a equao de calor (4) satisfazer a condio inicial (3),
u(x,0)= f (x) = sen(- 117"),
2
CO
(4)
3
e, portanto, teremos que
resolver o problema quando uma
funo f (x) pode ser
apresentada na
forma dessa srie, que se chama
Srie de Fourier. Para isso,
precisaremos saber como calcular os coeficientes de Fourier
c, que tipo de
convergncia essa srie tem, etc...
Portanto, neste trabalho pretendemos estudar conceitos matemticos que
so
necessrios
para a resoluo do PVIF para a Equao do Calor.
A estrutura do trabalho a seguinte:
No Capitulo 1 apresentamos aspectos bsicos
sobre a Teoria das Series de
Fourier, incluindo o desenvolvimento dos seus coefi cientes, apresentao do
Teorema de Fourier, clculo de Sries de Fourier de funes Pares
e impares, entre
outros assuntos.
J no Capitulo 2, apresentamos critrios de convergncia, pontual
e
uniforme, da srie de Fourier.
Finalmente, no Capitulo 3, derivamos a Equao do Calor numa barra
e
discutimos condies de contorno que correspondem a diferentes condies fisicas.
Ento, usando o Mtodo
de Separao de Variveis apresentamos uma
soluo para o PVIF para a Equao de Calor e demonstramos que, para uma classe
particular de funes que descrevem a condio inicial, essa frmula oferece uma
soluo clssica que satisfaz as condies iniciais
e de fronteira. Depois, aplicando
o principio mximo
para a Equao do Calor demonstramos a unicidade dessa
soluo e a dependncia continua de dados iniciais do problema.
Capitulo 1
Sries de Fourier
0 estudo das Sries de Fourier fundamental para que possamos resolver o
problema da conduo de calor numa barra.
Portanto, este capitulo ser dedicado um estudo detalhado sobre essas
sries, desde a configurao dos seus coeficientes at o calculo de algumas
estimativas para os Coeficientes de Fourier de funes derivveis.
1.1 FunOes Peridicas
A fim de discutir as sries de Fourier, necessrio deduzir algumas
propriedades das funes sen(-- mrx ) e cos(--- n7x ) onde n um nmero inteiro
L
positivo. Uma delas o carter peridico de ambas.
DEFINIO 1.1: Uma funo dita peridica de perodo Tquando, para
qualquer x , temos:
f(x + T) f (x)
Decorre imediatamente da definio que se Tfor um perodo de f, ento,
qualquer mltiplo inteiro de T tambm um perodo de f
0 menor valor positivo de Tpara o qual vale f(x + T)= f(x) chamado
Perodo Fundamental de f
4
EXEMPLO: Observe que, tanto f(x)-= sen(nx) como g(x). cos(nx), so funes
peridicas de perodo T=
5
LEMA 1.1: Seja f :91 91 uma funo peridica de perodo T e integrvel em
x+T
qualquer intervalo. Ento, V x e 9 1, f (t)dt = f (t)dt
0
DEMONSTRAO:
Pela propriedade aditiva da integral, temos que:
f(Odt=f(t)dtf(Odt ondex.y5 _z.
Suponhamos que nT x (n +1)T . Ento,
nT _x5_(n+1)T5_x+T n+2)T
e, portanto,
Observe, tambm, que:
Logo,
x+T (n+1)T x+T
f f (t)dt = f(t)dt + f f(t)dt
(n+1)T
(n-fDT (n+DT
f f(t)dt = f(t)dt - f(t)dt

nT nT
x+T [n+1)T x x+T
f (t)dt = f (t)dt - f f (Odd+ f (t)dt .
nT nT
0+1 X
Como f peridica de perodo T, e, portanto, fix + T) = f(x). Ento,
fazendo t = t T , temos:
x+T
f(t)dt = f(t +T)dt = f(t)dt.
(n+1)T nT nT
Logo,

x+T (n+1)T
f(t)dt = f(t)dt.

x nT
Mas,
(n+1)T
f f(t)dt = f(t)dt.

nT 0
Logo,
x+T
f(t)dt=f(t)dt, VX E91.
0
Q.E.D
6
1.2 Convergncia Uniforme
Nesta seo, definiremos convergncia pontual e uniforme, apresentaremos o
teste de M. de Weirstrass, alm de alguns teoremas e proposies que sero de
grande valia no estudo das Sries de Fourier.
CO
DEFINIO 1.2: Uma srie numrica Ea converge se a sucesso das reduzidas,
n=1
denominadas somas parciais, converge.
1
EXEMPLO: A srie E converge se a >1 e diverge se a 5 1.
n=1 na
DEFINIO 1.3: Uma srie Ea (x), onde an so funes reais definidas em um
n=1
subconjunto I de 9 1, convergir pontualmente se, para cada xo e I fixado, a srie
CO
numrica Ean (.,0) convergir, ou seja, dado e > O , existe um inteiro N, que
n=1
depende de x0 e de s tal que 1E.7...a1 ( x0 ) 1<s, para todos n < m tais que n N.
CO
DEFINIO 1.4: Uma srie Ea(x), onde a : 1>91. so funes reais definidas
n=1
em um subconjunto I de 9 1, converge uniformemente para uma funo
f,
defmida em I se, dado c > O, existir um inteiro N, dependendo apenas de s, tal que
para todos N e para todos x e I.
TEOREMA 1.1 (Critrio de Cauchy da Convergncia Uniforme): Uma srie
a, (x), onde a. :I--> 9 1 so funes reais definidas em um subconjunto I de 9 1,
n=1
convergir uniformemente se, e somente se, did c> 0 , existir um inteiro N,
dependendo apenas de c, tal que 1E7. ai ( x) I <c, para todos rn>n..hl e para
todos x /
c o 2
AFIRMAO: A srie Ex definida no intervalo [0,1] converge uniformemente.
.,2
12=1 n
De fato,
7


m 2
E X . 2
j=n J

X
2
X
2
X
2
n
2
(n+1)
2
m
2

1 1 ii
+...+ <
n (n + 2m
2 -

=





1 1 1 in 1
=E
, -2,
V x [0,11
7? +
j=n J
Logo,
m 2
v-1 X
Ld . 2
j=n
ni 1
.
n i=J2

Como
m i
1 1 1 1 1 1 1
+...+ =. +.._,
,L,7= n2 + (n + 02
+1 ( nn n )(n +1 )

m mm
1)
n)
( 1 1 r 1 1 )
=
m
1 <( 1
m(m -1) - n-1 -' , 7 - n + 1j+ ' . - (m - 1
e, lim(-
1 1
j = 0 , dado s >0, podemos determinar um inteiro N tal que
"1 n.-"' n-1 m
rn
1
para m> n?_ N
.frn
Na verifica o de que a srie do exemplo acima converge uniformemente,
CO
usamos o artificio de majorar a srie de fun es Eu(x) por uma srie numrica
n=1
convergente.
E essa idia que esta por tits do chamado Teste de M de Weirstrass, que
enunciaremos a seguir.
CO
Teste M. de Weirstrass: Seja Eu(x) uma srie de fun es u :1> 91 definida em
n=1.
um sub-conjunto I de 91. Suponha que existam constantes M tais que
c o
lu(x)I M, para todo x el, e que a srie numrica M conviij a. Ento, a srie
n=1
CO
de fun es )u(x) converge uniforme e absolutamente em I.
n=1

1 1
<
n(n - 1)
+
(n +On+ ...

=
1 1
n -1 m
8
Observe que esse critrio no s assegura a convergncia uniforme da srie,
como tambm a sua convergncia absoluta.
Veremos, agora, alguns teoremas e proposies que sero de grande utilidade
nas demonstraes que apresentaremos futuramente.
TEOREMA 1.2: Suponha que V I seja uma sequncia de funes continuas em
[a ,b] e que
f}
convirja uniformemente no intervalo [a ,b] para uma funo f.
Ento, f tambm continua em [a, b] .
DEMONSTRAO:
Para demonstrarmos que f uma funo continua em cada ponto x do
intervalo [a, b], mostraremos que, dado 6 > 0 , existe 5>0 tal que se ihl < 8 , ento,
If(x + h) f(x)l< 6 .
Como V converge uniformemente no intervalo [a, b] para uma funo
f (x), ento, dado c>0, existe N tal que se n> N, ento,
V ( X ) f n ( X ) <
Vx E [a, b]
Vamos fixar um no E N tal que no > N.
Como a funo f(x) continua em [a, 8], ento, dado 6>0, existe 5 >
no
tal que para todo IhI < 5
Portanto, se Ihl < 5 , temos:
If (x + h) f (x)I=If (x + h) f no (x + h) + f no (x + h) f no (x)+ fn.(x) f(x)1=
=If (x + li) f no (x + h) +If no (x + h) f no (x)1+1f no (x) f(x)1<+ + = e.
0 que mostra que f (x) uma funo continua.
Q.E.D.
9
TEOREMA 1 . 3 : Suponha que
frj
seja uma seqncia de funes que so
integrveis em [a, b] e que tf1 convirja uniformemente no intervalo [a , b] para uma
funo fque integrvel em [a , 8] Ento: = lim ff

a a
DEMONSTRAO:
Seja s > 0 . Como tf.
j

uma seqncia que converge uniformemente no
intervalo [a, b] , existe N> 0 tal que se n> N,
ento,
( x) fn( x ) i < E a) , VX E [a , bi
Como tf} uma seqncia de funes que so integrveis em [a , , temos:

b b
qf( x ) _px ) I d x < i E _ ea . . . c ( b a)
i f( x ) d x -1 f.( x ) d x = i [f( x ) - f.( x ) ]d x = E,
na ( b - a) ( b - a) aa a
a
b b
desde que seja verdade para todo s > 0 , segue que: rf( x ) = li m r f (x) .
n-->co n
a a
Q. E. D.
TEOREMA 1 . 4: Suponha que
fJ
seja uma seqncia de funes que so
diferenciveis em [a, b] com derivadas integrveis e que tf convirja
pontualmente para f. Suponha, todavia, que convirja uniformemente em
[a , b] para uma funo continua g. Ento, fdiferencivel e f( x ) = li m .( x ) d x
DEMONSTRAO:
Ampliando o TEOREMA 1. 3 para o intervalo [a ,b] , vemos que para cada
X E [a, b] temos f g( x ) d x = um f' ( x ) d x ,j que V' converge uniformemente para
n>ao 11
a
uma funo continua g.
Como iunJf .( x ) c bc = li m[f.( x ) - .( a) ] e vni
converge pontualmente
a
para
f,
temos que limi f( x ) c bc = f( x ) - f( a) ou Jg( x ) d x = f( x ) - f( a) .
a
10
Alm disso, g uma funo continua, ento, segue pelo Teorema
Fundamental do Clculo, que f' (x) = g(x) = um f (x)dx , para todo o intervalo
[a, b] .
Q. E. D.
PROPOSIO 1.1: Suponhamos que as funes a(x) sejam continuas e que a
srie Ean (x)convirja uniformemente. Ento, a soma da srie a(x)= Ea(x)
n=1
n=1
tambm uma funo continua.
DEMONSTRAO:
Como {an }
uma seqncia de funes continuas ento
S n (x)= a1 (x) + a2 (x) + a3 (x) + an (x) tambm uma seqncia de funes
C O
continuas. Mas a(x). Ean (x). limS(x), quer dizer a(x) o limite uniforme da
71-+=
n=1
seqncia S(x) e, portanto, pelo TEOREMA 1. 2, a(x) tambm uma funo
continua.
Q. E. D.
PROPOSIO 1.2: Suponhamos que as funes an (x) sejam integrveis em um
C O
intervalo / e que a srie
Ea (x)
convirja uniformemente. Ento:
n=1
fE
an (x)dx = f a n (x)dx
n=1
n=1/
DEMONSTRAO:
Notemos que
a(x)= E a n (x) = lim[S .(x)] ,
n=1
sendo
Sn (x)= (x) + a2 (x)+ a3 (x)...+ an (x) .
Alm disso, as funes Sn (x) so integrveis no intervalo / e a seqncia
S(x) converge uniformemente. Logo, pelo TEOREMA 1. 3, temos que:
f
a(x)dx = lira f S n (x)dx =limf al (x)+ a2 (x)+ ...+ a n (x)]dx =
lim[f ai (x)dv + f a2 (x)dx -F . (x)dx] = a(x)dx
1
1 1
n = 1
1 1
Logo, f an (x)dx = Efan ( x ) d x
n =1 n=1
Q.E.D.
PROPOSIO 1.3: Suponhamos que as funes an (x) d efinid as em um intervalo
/ sejam continuamente d erivveis e que a srie a' ( x ) d as d erivad as convirja
n = 1
00
uniformemente. Suponha aind a que, para um d ad o
x o e I, a srie Ean (x0 ) convirja.
n = 1
Ento,
d
=
n = 1
DEMONSTRAO:
Como cad a funo a1 + a2 + ...+ an d iferencivel com d erivad as
a', +a1 2 +...+ a' n e a seqncia a'1 ,ai1 +a1 2 , ai l +a', +a'3 ,... converge uniformemente,
ento, segue, pelo TEOREMA 1 .4, que:
a' (x) = ---a (x) = lim[a'l ( x ) + a' 2 (x)+ ...a' n (x)] = Ea' .(x).
c b c
n-).0
n=1
d
Logo, E an (x) =Ea' n (x).
d
7 C n=1 n=1
Q.E.D.
1.3 Clculo de Coeficientes de Fourier
Antes d e iniciarmos o clculo d os coeficientes d e Fourier, record aremos as
d efinies d e funes pares e impares:
DEFINIO 1 .5: Uma funo f : 9 1 > 9 1 d ita funo par se f(x)= f(x) ,
Vx e 91 , o que significa que o grfico d a funo f simtrico com relao ao eix o
d as ord enad as.
EXEMPLOS:
f (x) = c os(
n n x
), n
(ii) g(x) = x2 .
CO
dic n =1
d
CO
12
DEFINIO 1.6: Uma funo f: 91> 91 dita funo impar se f(x) = -f(-x),
VX E 91, o que significa que o grfico da funo f simtrico com relao
origem.
EXEMPLOS:
( 1
) f (x) sen("
x
L)
11.1
;
(ii) g(x)
= 31 5 c .
Seja f uma funo
definida em 91 que pode ser expressada como:
1 c
f (x) - ---a

+E a c os(-- nr")+
b.senr
) T u rc
L
Nesta seo responderemos a pergunta:
Que expresses possuem os termos a e b,, na funo f?
Para isso, vamos supor que a srie convirja uniformemente. Assim, como
conseqncia da PROPOSIO 1.1, temos que
f uma funo continua e
(
peridica de perodo 2L, j que esse o perodo de COS 1 1 X e das demais funes
L
seno e co-seno que aparecem na srie.
Observe que:
f (x) = -
1
ao + cot mix )+ s en(---)1 <=>
2
7 2=1.
n7 1 X
2
-L
'= >
L1 1

L [
f (x)dx = -ao dv + E a cos(!"-`)+ b sen( c bc <=>
-
_ L n = 1
Lr
1
.(=> ff(x)dx =-ao f + Ea. c os(7 7 1 -2-"`-)+ sen(-- mix) dv < =>
2
-L -L
L " L
L L
L
< = > f f (x)dx =
1
-ao dv + cosi
')
+ sen(nRx j]dv.
2
- L - L n=1
L
L
Ento, pela PROPOSIO 1.2, temos que:

- L
1 L L
f(x)dx = -ao dv + f[E c otnldx + f[ibnsen(--- nidx < =>
2 4, _ 4, L L
_
1 L nnx
< =>f(x)dx -ao fc bc + Ea. Scos(Hcbc +
"
isen(11- 7 / 3 c )dx.
2 L L
-L ""
13
Observe que, como se(x) uma funo impar, temos:
L 2 selync) = O.

Scos( n -1 -1dx = L [sen(1 - L ) sell( nIlL )]=

L L L nit
- L
Alm disso, como cos(x) uma funo PAR, temos que:
sen(-- mrldx = -- L [cos(- 127 1- cos( - [cos(nrc)-cos(mc)] = O.
mc L L Inc
Portanto:
L L L L
f f(x)dx =la f dx +ian 5cos(- 7 1dx + ib isen( nIldx <=>
2 n = 1 L n=i L
r
< = > f f(x)dx = !ao I dr <=> f f (x)dx = !ao 2 lL - (- L)]<=>
2
L
1 L
< = > f f (x)dx = aoL <=> ao = - - ;.- f f (x)dx .
Para obtermos os demais coeficientes, exploraremos a mesma idia anterior e
usaremos as relaes de ortogonalidade abaixo:
(i)
)
in
f[co( mrx
L
- L
L i[c
- L
dx =
cbc.
dx .{
o, se n,m
L se n = m, n,m
0 se n # m, n,m
L se n = m,
0 se n # m, n,m
1
1
)sen(- 17 27 rx
L
)
f[sen( muc jsen(-- ")
)
COSI
L
7 - nia)
L
DEMOSTRAO:
(i) Utilizando as propriedades trigonomtricas
ir /
sen(A)cos(B) = -
2
Lsen(A -B)+ sen(A + B )] e cos(Msenv1).
1
-
2
sen(2A)
teremos que:
Se n # m, ento-T.
Lr
mcr
ri
II cosH- L jsen(") dx = -
2 _
L L

L L
1
L r
f se "- +sen nutx + ma

dx =
=
2
1
l
[sei(on

,7
)1
+ sen( (n in )rxi
dr.
Como ns j mostramos, sett
brx
jcbc= O , Vk e N , portanto, temos que:
- L
2
[
fsen(fri m*jcix + L isen( (n mc jcbc]
- L - L
Se n= m, ento:
-
J
L r
L L
s(n7
)
sen( L dx =lEsen(= 2 )- dx = 0 .
24, L _
nivc)-
L ogo,
4 [
(
. f COS 7 2 7 1 x )senH "x)dx =0 , V n,m.
- - L
(ii)Utilizando as propriedades trigonomtrias
/ l riiN 1+ COS(224)
COS( 4)CORB)! CORA B)+cos(A+ B)] e cos2kA )=
22
teremos que:
Se n# m, ento:
I - L L
f[cos i lcos(1 - 2 - 27 )7 dx= j2Pcos((n 7 )1 1 dc+ co(( n+1 7 1
- L - L
L
Como cos(
kgx
)dx= 0, V K eN, temos que:
- L
- - 1 1 - cos( (nin)ldx +Licos( (n in)lcbc]. 0 .
2[L
L
- L
Se n=m, ento:
. 1. cot-- cos
mr_x)(7 17 L 7 C)
L .
z )
1 I ch c
2
L ogo,
L ny cc co my rx - L sen=m, n,m_l .1
j. cot L (L )
="0 sen#m, n,m.l.
(iii)Utilizando as propriedades trigonomtricas
lr
sen(A )sen(B)=-
2
roskA - cos(A + BA e sen2(A )-
1COSOA)
2
14
teremos que:
Se n# m, ento:
f[sen(--
nnx
)sen
(ninx

15
. 1 "
cos V i m )1 " jdx
L
icosr+m)ldri=o .
L rf




Se n=m, ento:
Lr
nlse ii
ri
sen(11()
Logo,
cbc = - [1 - cosPnirc ) dx rcbc = L.
1 f L
1
[sen(- 12 1
-L

dxL
se n=m, n,m?.1
=
0 se n#m, n,m?.1 "



Q. E. D.
Finalmente, calcularemososvalores de coeficientes a1 1 e b que se chamam
Coeficientesde Fourier da funcAo f(J O :
Primeiramente, calcularemoso valor de a,, :
1 nnx
Multiplicando toda a funo f (x)=-ao + E[a cos( mix j+b sen(-1 por
pi..1
COS(H
fft7VC
integrando no intervalo [-LJ ,] e aplicando a PROPOSIO 1. 2 ,
teremos:
cos(7
MITX

1
mu 7 I C , (1
- c- jf (x). -2 -ao i[acos(--dcos(--j+b se 11 -1- rico
n=1
L . L
rn 7 7 X 1fiffrcc
i cos()f(x)cix=-ao L C O S ( dx + E a j[cos(- 1 2 7 1 cos( mirldx+

L
L
-L -L
LIMIX P1 RX .
<
L I
+ e.: .H i b,, fsen(dcos(diax => 5 f (x)cos(- 7 )1 dx=a,,,L
;
1

,=-I1 1 [f (x)cos(-E-rl a dx.

L
Observe que
nnx
Ec a i[cosH CO
-L
isso decorre devido aosseguintesfatos:
L nnx
MTIX
( M TC C )Fic =
a,L,pois f[

cos( )cos(
L L L
-L cbc=I
L se n= m
0
e
se n#m

nvc
,4bn
sell(-dwg
inxcl
cbc =0 ,
pois
L f[cos( n7 ")
r 7 7
lay'
L
se
n
C
L )cbc= '
16
Calcularemos, agora, o valor de b.:
c (nnx
Multiplicando toda a fungdo f(x)=-
1
ao+E[a c osL (nz` j+b sen
L
)1 por
2 n = 1
( sen rnax , integrando e aplicando a PROPOSIO 1.2, teremos:
L

7 7 2 C 1 7 1 7 1 J C ma) (ma (ma) (mic ic

senH
L
jf (x)=-
1
ao sen()+ E[an cos( sen sen
L
sen
L
)]
2 LL
L L (_
f sen(- 1"x f(x)dx =-1 ao fsen --- 1 7 7 7 U +Ean f co nrix sen mnx dx +
L2 LLL
-L-L n=1 -L
.L [ (nfix 1 . In=
+ Ebn f sen
L
) sen(" 2/dx < => if (x)sen(
L
)1 1 .x=k.L

n=1 -L
L
L
=1 - j[f(x)sen( midx .
Observe que isso decorre
,o L I mrx
0
dos
pois
seguintes fatos:

L
f[c os(- 1 1 7 ")sen( max
-L
LL
L
a
0
-
dr
-
.
f sen
= 0
,
que
L
e de Ea.! c os(
L
jsen( nly=,
n=1 _
L
E b.
$ i
sen(
taxi
sen
(
nricx)ichc =b.L,pois f[sen(
L
sen dr=
LL
nn:x) (ma) {L se n=m
L0 se n*m.
.
LL
-
n=1 -L -L
Logo, obtemos:
L
a
_1
.-- flf(x)c os(7 )]c hc ,e b. =-El [f(x)sen( n -1- 1-1 1 dx ,
Com isso, j podemos definir Srie de Fourier de uma fimd'of
DEFINIO 1.7: Seja f(x) definida, integrvel e absolutamente integrvel no
intervalo [-L,L] e determinada fora desse intervalo por f(x+2L). f(x), isto 6,
suponhamos que f (x) seja peridica e de perodo 2L. Defini-se a Srie de Fourier
de f(x) como:
1
a + E[ - an cosH ma j + b.
L
sen( , onde os coeficientes de Fourier so:
2
n=1
= L if(x)cosH nlicbc, n e b =- 1 Li[f(x)sen(--- nA ldx ,

a
1 7
1.4 Clculo de Sries de Fourier
Na seo anterior, ns associamos a cada funo
f,
definida em 9 3 . e
peridica de perodo 2L, integrvel e absolutamente integrvel em [-L, L] , a sua
srie de Fourier. Uma pergunta natural que logo aparece seguinte sell que a srie
de Fourier converge para esta mesma funo f?
0 exemplo a seguir mostra, que isto nem sempre assim.
EXEMPLO:
Seja f uma funo peridica de perodo 27 r definida por:
f (x) =
{1 , 0__:c<7 t
0, -7 E5_x<0
Vamos encontrar a srie de Fourier
1
cc
f -
2
a 0 +E[an cos(n - r x)+ b sen [--- 1 1 .
n=1
L
Antes de tudo, temos que calcular coeficientes de Fourier a0 , a e :
(i) ao =? e a =?
Como
1
a = - Lf[f (x)cos(=)1 dx ; n ,
L
temos:
= iff (x)cos(0)]dx = 1 [1 f(x)dx +I f (x)dd= 1 [0 +I dd= 1 =1
7t 71
e
o
= j[f (x)cos(7)1 clx = 2 -4f f (x)cos(r vc)chc + f f (x)cos(n x)chci=
Como,
b f[f (x)sen(ldic ; 1,
temos:
b .=-1
i[f(x)sen(n4dx =
-111
f(x)sen(vc)cb c if(x)sen(nx)dd
=
,
0
+Isen(nx)dici = 1
(cos(nx)')
=
1
cosknzn
Logo:
f
v c
cos(nleN
sen(ruix)] .
+
2
n=1
Observe que, para
Se n=2k ,
bn
_[1cos(2k)]
.o.
2kic
Se n=2k+1,
b =
11 cosK 2k +1)7 E D _ 2

n

(2k +i) pk-F1pr
E nto, a Srie de Fourier sera:
1{2
senK 2k + 0=1} .
2 k = o
Notemos que, pela definio, f(0)= 1, mas
1 { 2

2
+
k
E
= 0 (2k +
seng2k +1)7 c 0]} =
2
quer dizer
f(x) 21 + g{(2k+1)7 c
senR2k +1)7 4
para x = 0.
18
Veremos, agora, algumas condies suficientes para que uma funo f(x)
ser igual a sua Srie de Fourier.
19
Antes, porm, vamos definir funes seccionalmente continuas
e
seccionalmente diferenciveis:
DEFINIO 1.8: Diz-se que uma funo f (x) seccionalmente continua em um
intervalo I se:
(i) o intervalo pode ser subdividido em
um nmero finito de subintervalos, em cada
um dos quais f (x) continua, ou seja, dado a < b , existe a a, <a2 <a3 <..a ,
tais que f (x) continua em cada intervalo aberto (a pa j+i ) , j =1,2 ,...(n 1).
(ii) os limites laterais de f(x) , quando x tende para os pontos extremos desses
subintervalos so finitos, ou seja, existem os limites f(aj 0) = um f (x) e
f(a 0). um f(x) (neste caso se diz que a funo f (x) tem descontinuidade da
primeira espcie em ponto ai ).
Ou seja, uma funo f(x) sera seccionalmente continua se ela tiver apenas
um nmero finito de descontinuidades da primeira espcie em qualquer intervalo
limitado.
EXEMPLO:
{1, sex>0
Sejafuma funo definida por: f (x) = 0, se x = O.
-1, sex <0
ftv
20
Observe que, no intervalo ( - c o,O) f c ontinua, assim c omo no intervalo
( 0,+oo) , porm,f no c ontinua no intervalo ( - 1,1) , por exemplo. Logo, f possui um
ninnero finito de desc ontinuidades de primeira espc ie neste intervalo limitado e,
portanto, uma funo sec c ionalmente c ontinua.
CONTRA- EXEMPLO:
1, se x 1
Sejaf uma funo definida por: f(x).
1
, se
1
, , x <-
1
n>1 .
n k n +1) n '
0, se x 0
Observe que no intervalo ( 0,1) h um nmero infinito de desc ontinuidades.
Logo, f no uma funo sec c ionalmente c ontinua.
DEFINIO 1.9: Uma funo f: 91 > 91 seccionalmente diferencivel se ela
for sec c ionalmente c ontinua e sua funo derivada f' for tambm sec c ionalmente
c ontinua.
EXEMPLO:
Sejafuhia funo peridic a de perodo 2 defmida por: f (x) = Ix', para 1.
Usando a definio de f, temos que:
{
, x, x 0
. f(x)=Ixl, - 1 .,v 1 e, portanto, i m =
Observe que
f
uma funo sec c ionalmente c ontinua.
Analisaremos, agora, a sua derivada:
f
(x)-=
1, x 0
-1, x < 0-
21
f' tambm uma funo seccionahnente continua, logo, f seccionalmente
diferencivel.
CONTRA-EXEMPLO:
Seja furna funo peridica de perodo 2, defmida por f (x) = I1_
x2 ,
se
Pela definio, f (x) = , -1 x 1.
f uma funo seccionalmente continua, pois continua em todo R.
22
J a sua derivada,
1 x
f (x) = 2(1
possui descontinuidade de 2a espcie, logo, f no 6 uma funo
seccionalmente diferencivel.
Podemos enunciar, agora, o Teorema de Fourier:
TEOREMA 1.5 (Teorema de Fourier): Seja f: R >R uma funo
seccionalmente diferencivel e de periodo 2L. Ento, a srie de Fourier da funo
f
1
ao +1[an cos( nmc ) + i, , sen(- 1 1 7 1
2
n = 1
converge, em cada ponto x , para:
[f (x

+0) + f (x 0)]. -1 ao +i aco +bsen
L L
Portanto, voltando ao nosso primeiro ex emplo, obtemos que, para a funo f
1
it
que peridica de perodo 24- definida por: f(x ) =
0 < x <
0, ^7C.X<IV
2 2 2
e, portanto, a sua srie de Fourier
+ ,
2k + ly
2 ,
r
senK2k +1 )4
2 .4 (
toma o valor
1
no ponto x =0 o que se concorda perfeitamente com o resultado do
2
TEOREMA 1 .5.
1.5 Sries de Fourier de Fun es Pares e impares
Nesta seo mostraremos que se pode tirar alguma vantagem do fato de uma
funo ser par ou impar e simplificar a tarefa de calcular seu desenvolvimento em
Srie de Fourier.
Primeiramente, veremos algumas propriedades que so conseqncias
imediatas das definies de funes pares e impares.
23
PROPOSIO 1.4:
(i) A soma de duas funes pares uma funo par e a soma de duas funes
impares uma funo impar.
(ii) 0 produto de duas funes pares uma funo par.
(iii) 0 produto de duas funes impares uma funo par.
(iv) 0 produto de uma funo par por uma funo impar uma funo impar.
DEMONSTRAO:
( 1) Sejam f: 91-> 91 e g: 91-> 91 funes pares. Ento, (f + g)(x)
= f(x)+ g(x) = f(-x)+ g(-x)= (f + g)(-x) . Logo, (f + g) : 91-> 91 uma funo par.
Da mesma forma, sejam u : 91-> 91 e v: 91 -> 91 funes impares. Ento, (u + vXx)=
u(x)+ v(x)= [-u(-x)] +[-v(-x)] = -[u(-_x)+ v( -x) ] = -(u + v) ( -x) . Logo, a funo
(u+v): 91-> 91 impar.
(ii) Sejam f : 91 -> 91 e g: 91-> 91 funes pares. Ento, (fgXx) =
= f(x)g(x) f (-x)g(-x) = (fg)(-x). Logo, (fg): 91-> 91 uma funo par.
(iii) Sejam u :91 -*91 e v: 91-> 91 funes impares. Ento, (uv)(x) =
= u(x)v(x) = [-u(-x)][-g(-x)] = -[u(-x)v(-x)]=-(uv)(-x) . Logo, (zrv) :91 -*91 uma
funo impar.
(iv) Sejam f : 91-> 91 uma funo par e u : 91-> 91 uma funo impar. Ento,
( fu)(x) = f (x)u(x) = f(-x)[-u(-x)] = -[f (-x)u(-x)] = -(fu)(-x) . Logo, (fu) : 91-> 91
uma funo impar.
Q.E.D.
PROPOSIO 1.5:
(i) Seja f : 91 ->91 uma funo par integrvel em qualquer intervalo limitado.
L L
Ento, if . = 2if
-L 0
(ii) Seja f : 91 -*91 uma funo impar integrvel em qualquer intervalo limitado.
Ento, if = 0.
-L
DEMONSTRAO:
(i) Seja f : 91 -*91 uma funo par e integrvel em qualquer intervalo limitado.
24
Ento,
f f (x)dx = .{ f (x)dx + f f (x)dx = - f f ( x) cbc + f f (x)dx = .f f (- x)dx +
+1 f (x)cbc = Lf f (x)dx + If(x)cbc = 21 f (x)dx.
o o o o
(ii) Seja f :91 > 91 uma funo impar e integrvel em qualquer intervalo limitado.
Ento,
f (x)cbc = f (x)dx + f (x)dx = - f (- x)dx + f (x)dx = -j f (x)cbc + f (x)dx =
o o

o
Q.E.D.
Aplicaremos, agora, as proposies acima ao clculo da Srie de Fourier de
Funes Pares e Funes Impares.
AFIRMAO: Se f for uma funo par, peridica e de perodo 2L , integrvel e
absolutamente integrvel, ento:
De fato,
PROPOSIO
2 L
a= f (x)co s(-- nf ix
L o
como f (x) e cosH
L
1.4(ii), temos que f(x)cos
n 0 e
Iva
sao
b. = 0, n
funes
uma
l.
pares,
funo
ento ,
par e,
pela
pela
)
(ma)
---
L
PROPOSIO 1.5, temos que: a. =
1
S
I.
f (x)co s(
nro c`
L L y
-L
2 '
dx= J f (x)co sln d:c .
Do
L o L y
mesmo modo, como f (x) uma funo par e sen( 7 - 2 E - c )
L
pela PROPOSIO 1.4 (iv), f (x)sen(7) uma
PROPOSIO 1.5, temos que b. = -121 f (x) Sete fiX \ dx = O.
L 0 L )
funo impar e, pela

a
uma funo impar, ento,
AFIRMAO: Se f for uma funo MPAR, peridica e de perodo 2L ,
integrvel e absolutamente integrvel, ento:
L
a = 0, e b,, = f f (x) sen( dx, n?.1.
L L y
25
A demonstrao dessa afirmao anloga anterior.
EXEMPLO:
Considere a funo f(x)= 2x, yr _x<7 r , peridica de perodo 2't.
Como f uma funo MPAR, peridica e absolutamente integrvel,
n
an =0 e b = 2
J
r f(x)sen( ,
n o Lj
ou seja,
k=-2 12x sen(rvc)cbc
7r .1
Fazendo y =nx , temos
4 7 y 4 i n t
sen(y)iy =ysen(y)dy
,t o n ltn o
Integrando por partes, temos:
f
y sen(y)dy = y cos(y)I7 + f cos(y)dy = (nr) cos(mr) + sen(y)r =(n7r)cos(nyr)
o
4
Entd'o, b = ( mt)cos(mt)=-
4
cos(nic) e, portanto
irn2
4+
=(-1)"'.
Logo, a srie de Fourier dada por: f
[
--
4
(-1r
1
se --)], ou seja,
n
f 41-(-1)n+1 sen(nxi
L
26
1.6 Integrao de Sries de Fourier
{f :91>91
f (x) = E
[an
cos fi x + b n sen
L 2
n =1
7 1
a qual se sup& con vergir un iformemen te.
Usan do a PROPOSIO 1.2, temos:
f (x)dx = f t i t dx + a [an cos M+ bn sen (7) cbc . (=>
< => ff(x)dx = rs-dv + t[f an

cos i + f b sen (7)dx].
2 n =1
Nesta seo, mostraremos que:
i f (x)dx = f a cbc + i [f an
cos?.}
/ ac + f b sen (n -2-- ri cbc1,
2
n -4
L L
mesmo quan do a srie de Fourier n o con vergir un iformemen te para f.
Seja uma fun o f :91> 91 peridica de perodo 2L e seccion almen te
con tin ua. Defin imos a fun o F: --> 91 pela expresso F(x) = f f(t)
2
Pelo Teorema Fun damen tal do Calculo temos que F' (x) existe em todos os
pon tos x on de f con tin ua e, alm disso, F'(x) = f(x) n esses pon tos. Assim,
F' (x) seccion almen te con tin ua. F tambm peridica de perodo 2L.
En to, pelo LEMA 1.1 e pelo Teorema Fun damen tal do Clculo, temos:
x+2L x+2L
F 2 L) F (x) = (f ( t) a}lt (t) 6 A)lt =(t) = (t) Ni ck =
2 2 2 2
L a L a [L
f (odt f o dt _o_ch +x-%
j an cos( t + bn sen -- mct t t =
_L 2 L 2 2
-L
L ao [ L LL ,
mct mct}i ] L ao
= --at +

_ L 2 _ L 2 2
-L 2

n =1 -L-L
Seja f uma fun o defin ida por:
Logo, F con tin ua, possui derivada F' con tin ua por partes e peridica de
perodo 2L.
27
Ento, pelo Teorema de Fourier, temos:
F(x). A 0 +

(A cos( nnx) + Bn
se
n i)) rx
onde os coeficientes
de Fourier A n e B so dados por:
/
1 L
A n =
1
- F(x )cos
(ma\
dx , e Bn = -
L
IF(x)sen(nicc
I
dx, n
Integrando por partes, temos:
= LrF(x)cos( 1 -2 2-a-\ dx = [F(x)sen(!- - 1- 5-c )
L L L
L n g
L
n gx )
g
L
- F' (x )sen (dri=
-L -L
L n
L 1L n gx L
_ I L
[F(L)sen (n g)---
+ F (-L)sen (n g) n z1-7, iL f(x)senH-
L
j
ng
dx =
n
L[
i
t
f(x )sen (
n gx )dx ]
=-
- L
k.
L L n
-L
L ogo, A = n > 1.
1111.
Fazendo o mesmo para Bn , temos:
L L
1
n ax )L
=-
L
F (x )sen (n 7c = -
1
[F (x )cosE
mx) L
+fF' (x )cotcbc]=
1.
L , L L n
L n g -L
-L
= 1[F(L)cos(n g) L - F (-L)cos(-n a-)-L' 1+ [-1-1 1 f(x )cos( / -221 7 -1dd =
L n g
n a- mi. L _L L
1 r i L
= LF(L)cos(n g)- F(-L)cos(-n a-)i+an .
n a-
n a-
Como cos(x) uma funo par, e, portanto,
cos(n) = cos(-n7r) , e, como
F(L)= F(-L), temos:
B =
L
an , n
rig
Para calcular o coeficiente
A o, fazemos x=0 em:
F( x )= A+ i[An cos(---- 1 27") + Bn sen[- 1 1
2 ," L L
e obtemos a seguinte expresso:
F(0 ). + i[An coo)+ se n (0 )] < =: , F(0) = -A-14A,,
X
Observe que, como: F(x) = I( f (t) -dt, F(0) = , ento:
2
2 8
+ E A = O < z > A o = A ,
> A o _2L
7C n=1 72
Ento,
2L ,,
--
U
b co s
2 7 c n n=1
L
I nc
L b L f avc)
=E--FE cos
T C n=1 n
n L )
< = > A 0
? .1 Tnt
n 'i c + sen rna =
L
a n(n7rx

Como, F (x) = f(f (t) `-' )bdt = f (t)dt = f (t)dt -x, temos:
2 2 2
a a
o o o o
o
2
Rx) a
se n
n
n
nfi x
C OS-

J r
1 1 -
n=1
n
n=i n

L
n
A ssim, demonstramos o teorema a seguir:
TEOREMA 1.6: Seja f :91 > 91 uma funo peridica de perodo 2 L e

seccionalmente continua e seja 5-2 -+ [an

cos
i
b
L
n sen ix)] sua srie de
2 n=, L
Fourier, ento:
(i) a srie pode ser integrada termo a termo e o valor da serie integrada a integral
de f :
f (x)dx= dx + [an cos(Lfi ldx + hn sen(=)civi ;
2 .4 L a L
a a a
(ii) a funo F(x)= 1 (1 (0 - )- a )dt peridica de perodo 2 L, continua, tem
2
o
derivada F' seccionalmente continua e representada por sua serie de Fourier:
x
aoldt ._ _ 1 , _ c b +Li ,' [b s(
co mrx +&sen
(mi x

2
T r i t=1 n
7C Lt n= n L n L
o
L b1 L
e EL, .f F(x)dr.
n 2L
29
OBS.: Para as aplicaes, o teorema acima toma a forma prtica seguinte:
Se
a nyrc
f (x) + a

cos E( n (H+b , , se _ T ,
L n = 1
ento,
F (x) = f (f (t)
1 L [ b
= f F (x)dx + _ E , -cos(- 72771+
2, 2L n LL) L
I T n = 1
L aisen
EXEMPLO:
Seja f :91 91 uma funo peridica de perodo 2L definida por f (x) = x,
para
(1) Clculo da srie de Fourier:
L
Como f (x)= x uma funo MPAR, ou seja, f (x) = f ( x) , peridica de
2 L
perodo 2L e absolutamente integrvel, ento: ar, =0 e b = f f(x)sen(
ma\
dx
L
Ou seja,
2
L (
nroc
arc-0 e b = --fxsen cb c
L o L

n ;cc)
, temos: Fazendo y =

2L
b n =
2 7 l,

y
sen(y) dy ysen(y)dy
L ngngng0
30
Integrando por partes:
flit
hir
ysen(y)dy = - y cos(yr + cos(y)dy -(na)cos(na) + sen(y)I 0 = -na cos(na)
2L r
Logo, b = 2 2 I. nacos(na)]=
n
Portanto, a srie de Fourier de f (x) sera:
2L
f(x) E [(-1)n+1 sen( n
n
(2) Aplicao do Teorema sobre a Integrao de Sries de Fourier:
a
Pelo TEOREMA 1. 6, se f ( x)
1
+ E(a cos( rx . - - )
L
+ b senMento,
2 n=
" L
2 ( a 0 1 L
F(x) = f (0-
2
jcit =
2L
IF(x)dx + [-- -'-cot-n-L- r i c)+ a 'sen(7 -L- 1 ; -11 .
a n Ln L
Calculando o primeiro membro da igualdade:
F (x) = f(f (t) - }i t = tdt
jX
=
2
2 2 0 2
o
Calculando o segundo membro da igualdade:
1 it F( wir _ 1 Ix ' .1 1 . L2 e
2L 2L 2 - 4L 3 I 6
L = -
1 2L
(
_
1) 11+1 cos(L 5-c =
,r jLn Ln L n n
2L2 [(- 1)n11 s(7rX
= CO 1
ir2 ,,4 n2 L
Ento,
2 . 2
X 2L2 n7 IX
]
[(-1 )"
2 = 6 + E
n2 cos() I.
n=1
L )
dx=
ngx`
31
1.7 Estimativas dos Coeficientes de Fourier
Mostraremos, agora, algumas estimativas dos coeficientes de Fourier de uma
funof, obtidas a partir de hipteses sobre a deri- vabilidade dessa funo.
Primeiramente vamos supor que fseja peridica de perodo 2L, integrvel e
absolutamente integrvel, ento, podemos obter:
lanI =

f(x)cos( rillN olx -_-11if(x)Idx e lb I = 1 I f(x)sen("rx

chc 1- 11f(x)111',
Fazendo M = (x)icbc , temos que M e I N M , \-11 n.
L
Suponhamos, agora, que fseja peridica de perodo 2L, derivvel, e tal que a
derivadaf seja integrvel e absolutamente integrvel.
Ento, aplicando a frmula de integrao por partes ,para n
L L
La = f(x)cos(
ma\
cbc = f(x)(
nifx
sen
L
) -
L
sen
L
L
n --L
-L -L
na-
=[f(L)sen(ng)- f(-L)
L
sen(- fsen(
ng n
L
-L
L L
=
I
f(x)sen(MIX
nr
Ou seja,

L ( d x
,
n7 C C \
a=
1
f' (x)sen

ng L
ento:
1 L
I an' fir (x)lcbc-
nz
-L
De modo anlogo, temos:
L
,..,,\
L
L
L (mrc
Lb = i f(x)sen(= cb: = - f(x)cos --) +
L
Scos(- 7 111x )fi(x)dx=
L , ng L ng L
-L
-L -L
r, 1 L L -L
=
ng
u (L)cos(ng)- f(-L)cos(- nn - )j+ff(x)cos( nnx )dx.
ng L
-L
-L
onde utilizamos o fato de que as funes sen(x) e cos(x) so limitadas em valor
absoluto por 1.
L L L L L L
? _ 1 obteremos
(

nxx
)f'(x)dx=
dx.
L

32
Como! uma funo peridica, F(L)= F(-L) e, portanto:
= L i fi(x)cos( 1 . 1 -1 d x.
na
-L
Ento, tomando valores absolutos:
, L
flf(x)Idx.
na-
1 Lr
Fazendo M =(x)id x, temos que existe Mtal que:
la
e ib1
M

n n
Finalmente, suponhamos f seja peridica de perodo 2L, com l a derivada
continua, e 2a derivada integrvel e absolutamente integrvel.
Poderemos melhorar as estimativas anteriores, fazendo:
1 Lr
(mu\
L L Lr

1 4= -- nic i f'(x)sen d x = - -L[f'(x)cos( majd _ .,,, (x)cos(=)-L" cid

L , nit L nit
-L -L
L nit
-L
= --
me
Kf'(L)cos(nt) 1 "-- f (-L)cos(- inc))- L i f" (x)cos(=)L" d x =
nit
-L
L nit 1
nitx\
= 2 2 f f "(X)COS(-
1 , j
d x.
n _ L
L
nax
Ou seja, a =
n
2
7 1.
2
f"(x)cos(

(fr .

-L
L)
Tomando valores absolutos, temos:
L r lf" la -7-- 2 l
n a- _ L
De modo anlogo, obtemos:

a
lb n i
n _ L
L L
Portanto, existe fif"(x)id x, tal que:
-L
M ivr
I17f -
-1- 7 T e ibn i ,
Capitulo 2
Convergncia
das Sries de Fourier
No capitulo anterior vimos que, dada uma
funo f: 9 1 * 9 1 peridica e de
perodo 2L, caso esta funo seja integrvel e absolutamente integrvel num
intervalo de comprimento 2L, podemos obter seus coeficientes de Fourier e,
consequentemente, escrever sua Srie de Fourier.
Entretanto, a srie de Fourier de uma funo qualquer nem sempre converge,
e mesmo quando converge, o
valor da soma da srie de Fourier pode ser bem
diferente da prpria funo.
Neste capitulo, estudaremos a convergncia, tanto pontual como uniforme,
da srie de Fourier dessa fun'of.
2.1 Integral de Riemann
Antes de iniciarmos nosso estudo sobre a convergncia das sries de Fourier,
relembraremos um pouco sobre a Integral de Riemann.
Para isso, precisaremos relembrar, tambm, de algumas
defini9 3es j
estudadas:
DEFINIO 2.1 : Seja C um corpo ordenado. Dado um subconjunto no-vazio A
de C,
(i) diz-se que c uma cota superior de A se x C,VXE A;
(i i) diz-se que b uma cota inferior de A se x b, VX E A.
33
DEFINIO 2.2: Dado um subconjunto A de C, dizemos que sEC o supremo
de A se s a menor das cotas superiores de A.
34
DEFINIO 2.3: Dado um subconjunto A de C dizemos que iEC do nfimo de
A se i a maior das cotas inferiores de A.
Considere, agora, as fiines f :[a,b]--* , onde f uma funo limitada.
Chamamos de P uma partio do intervalo [a,b] se P um conjunto finito
da forma:
p= ,
onde
a=x<x<xx<x=b
o 1 2' - n-1 n
Ao considerar a rea A= {(x, y)e 91 2 ;a xb,0y f(x))
formada pelos
pontos do plano compreendidos entre o eixo das abcissas, o grfico de f e as retas
verticais x= a e x=b, podemos, por simplicidade, restringir nossa ateno a
polgonos retangulares, que so reunies de retngulos justapostos cujos lados so
paralelos aos eixos x=O e y= O.
Mais particularmente ainda, se A for determinado por uma
funo no-
negativa, basta considerarmos polgonos retangulares formados por retngulos cujas
bases inferiores esto sobre o eixo das abcissas e cujas bases superiores tocam o
grfico da funo.
Como f uma funo limitada em [a,b], f limitada superiormente e
inferiormente, ento, existem nmeros m, M tais que 7 2 5. f(x)M, V XE[a ,b] .
Dada uma partio P definida por [x,,xi+ 1] , indicaremos com m, o nfimo e
com M, o supremo dos valores de f nesse intervalo.
Indicaremos, ainda, r, como a integral inferior de f no intervalo [x1 , x,] e
R , como a integral superior de f no intervalo [x1 ,x1 + 1 ] .
35
Ento,
ri =(x, 1 - - . On; eRi x1 )M1 .
A partir disso, definimos a Soma Superior defrelativa a Pcomo:
15(f, =En - 1 [Mi (Ci- xi )].
i=0
Da mesma forma, definimos a Soma In ferior def relativa a PC omo:
n -
s(f,
1
JO].
i =0
PROPRIEDADE: Se uma partio P* 6 um refinamento deuma partio P,
ento:
4f; P). . s(f; 1 3 * )
e S(f; P) S(f; P* ).
DEMONSTRAO:
Seja P* = Pu(x* ), ondex ,0 <x < x ,0 + 1 , para i o fix o.
A rea correspondenteao retngulo inferior no intervalo [x1 . ,x io+ 1 6:
r4 =(x,0 _ ,1 - x,o )inf fir
vet
Consideremos, agora, o intervalo [,o ,xio ,]como soma dos intervalos [x ,0 ,x 1
ex ,x ,0 + 1 1 , ja quex , < x <
Ento, teremos:
r,:= [(x - )inf xlin f j] .
C omo [x,0 , x e [x ,x,.+ 1] so sub-intervalos pertencentes ao intervalo
[xf. ,x ,0 + 1 1 , o nfimo da funo nesses intervalos no poder ser menor queo nfimo
da funo do intervalo ao qual eles pertencem.
Logo, r,." ri o .
Por outro lado, a rea correspondenteao polgono retangular superior no
intervalo [x ,i, , x1 0 + 1 1 6:
Ri o =
)sup
36
Ento, pelo mesmo processo, teremos:
Ri o * = [(x* )sup
x')sup fly i ] e, da mesma forma, os
supremos da funo nos i ntervalos [xi o ,x* j e [x*,xi o + i i no podero ser mai ores que
o supremo da funo em [xi o ,xi o + I } e, portanto: Ri o * R, 0 .
Dai , conclumos que:
s(f ;P). s(f;P*) e S(f ; SV;
Q.E.D.
Observe tambm que s(f;P) S(f ;P), j que m, Vi .
;6i parti r dessas afi rmaes, podemos conclui r que:
s( f ;13 )..s(f;P* ).3 (f;P* )_ S(f;P) .
Ou seja:
(b a)i ri f
f
kb, s(f;p)
s(f;ps). s(f;p)-. (b a)sup
Defmi remos, agora, a Integral Inferior j . f(x)dx e a Integral Superior
f (x)dx de uma funo li mi tada f[a,b ]> n ,pondo:
a
f(x)dx = sup s(f P) e f f (x)dx = ml S(f ; P) .
-a a
Observe que, o supremo e o nfi mo so tomados relati vamente a todas as
parti es P do i ntervalo [a,M.
Defi ni remos, agora, funes Ri emann-Integravei s:
DEFINIO 2.4: Di zemos que uma funo li mi tada f[a,b ]--->91 Riemann-
Integrivel se:
ff (x)dx = f f (x)dx
-a

a
37
Este valor comum chamado a integral de f e indicado como: if (x)cbc
a
ou, simplesmente, 5.
a
-8
Quando f(x) 0 para todo x E [a ,b] as integrais f f (x)dx = f(x)dx resultam
-a a
de tentar medir a Area do conjunto plano A ={(x,y)e 9 1 2 ; a x b, 0 f(x)} ,
limitado pelo grfico de f pelo segmento [a ,b] do eixo das abscissas e pelas retas
verticais x = a ex=b.
Ento, em f f(x)cbc usamos Areas de polgonos contidos em A como
a
-b
aproximaes (por falta) da Area de A, enquanto em I f(x)cbc tomamos polgonos
a
que contm A, isto 6, aproximaes por excesso.
Logo, podemos dizer que if(x)dx a "rea interna" do conjunto A, e que
- a
b
f(x)dx sua "Area externa".
a
A afirmao de quef seja integrvel significa que as aproximaes por falta
e por excesso para a rea A conduzem ao mesmo resultado, isto 6, que o conjunto A
possui, de fato, uma rea, igual a ff(x)dx.
a
Vejamos, agora, um exemplo de uma funo que no Riemann- Integrvel:
EXEMPLO:
Seja f : [0 ,1] --> 9 1 , defmida por f (x) =
{1 se xeQr)[0 ,1]
0 se xoQn[0,1)
Calculando as somas Inferior e Superior de f relativa a P, temos:
n = 1
S(f =

= 0 e

1 (1 1 L

f
ry- y- lo
38
11=1
S(f; P) = E(x,+ , x,)1. (x1 .xo )(x2 .x.,)(x3 x2 )+ ...+ (
vx x.4)=
- 1
Lo go , f(x)dic =1 e if(x)cbc - - = 0 e, po rtanto ,fno uma funo integrvel.
- 0
2.2 Classes das funes consideradas
Co mo j vimo s anterio rmente, para que po ssamo s expressar uma funo
f: I R > 9 1 co mo uma srie de Fo urier, f dever ser, necessariamente, uma funo :
(i) peridica de pero do 2 L;
(ii) integrvel e;
(iii) abso lutamente integrvel no intervalo [-
L
, L].
Usaremo s, ago ra, co m o intuito de explicarmo s melho r a afirmao acima, a
Integral de Riemann.
Co nsideremo s funes f , b] > R definidas em um intervalo limitado
[a,b].
Neste caso :
(i) se f fo r limitada, f ser integrvel se o supremo das so mas inferio res
igual ao nfimo das so mas superio res;
(ii) se f no fo r limitada, f sera integrvel se o intervalo [a,b] puder ser
deco mpo sto em um nmero finito de intervalo s . 1 1 ,1 2 , com =[ak ,bk ], tais
que, para to do s 5> 0 e 8 ' .? _ 0 ,
1
limitada e integrvel em [ak
+ S,b
k g ' ] e existem
o s limites:
bk bk -6'
f (x)dx = urn f(x)dx
cur - >0
ah
ak + 8
39
Alm disso, a Integral Imprpria de f sera:
n b k
f (x)dx = E f(x)dx.
a
k = l a k
Observe, tambm, que f serd absolutamente integrvel se o valor absoluto
for integrvel no sentido (i) ou (ii) relacionados acima.
Tambm vale a pena observar que:
(i) Se f for integrvel e limitada, ento, f ser absolutamente integrvel.
(ii) Se f no for limitada, a integrabilidade de f no implica em sua
integrabilidade absoluta.
NOTAO: Seja f :[a,b]4 R, f = <=> f e VI forem integrveis.
TEOREMA 2.1: Seja f :[a,b1-> 91 uma funo . Ento, dado s > O ,existe uma

funo continua w:[a,b]--> 91 tal que flf(x)- tv(x)Idx

<
e e vii(a) = O .
a
DEMONSTRAO:
Primeiramente, suponhamos que f seja uma funo limitada e integrvel,
ento, dado s > 0 , existe uma partio a= x0 <x1 < < xk = b tal que
f
f (X)C1X MXi
a
i= 1
onde
m = inftf(x). < X _ < X i).
1
Designemos g(x) como a funo definida por g(x) = m, para x 1 x .
k
Deste modo, podemos representar Eimxi - x11) como g(x)dx
a
Logo,
1
f(x)dx- tmj (x, - x )< <:=> fb f (x)dx g(x)d.x < <4. 11 1 [f (x)- g(x)]cb c < .
a
a a
40
Suponhamos, agora, que a partio tenha quatro pontos e o grfico de x(x)
seja o da figura abaixo:
Observe que x(x) no continua. Queremos que ela seja continua, ento
substituiremos os "retngulos" por "trapzios", cujos lados inclinados tam
inclinao n. Ento, para cada n, consideremos a funo v assim obtida:
Vamos calcular, ento, a rea de um trapzio de base (xj - e altura mj :
2 nzi 2m int .,
A=
(B +b)
h= (xj - x j_ j )+(xj -xj_ i )-- = 2(x - =
2
tg(n) 2 tg(n) 2
2 2
{2 [(xi - xj_ 1 )tg(n)-m j }}m i m
(
i
n)
.
.(x j -x j4)m j - A.(x j -x j_ 1 )m j
tg(n) 2 tg(n) tg
, Observe que:
k
b
k
X(X)d X = Ekxj - xj_ z )ni e v (x)dx =E (x - x
J -1
)m
m
i
2
j
a J r= 1 a
tg(n)
e, portanto:
k 2
-
,
a
tgkn)
Ento, teremos:
1
1 X ( X ) W
a
2 /
/tg(r0'
Como toda funo continua limitada, seja M> 0 tal que
(x)I M, /x e[a , b] , ento:
1 LZ(x) - Va(x)]dx k 4 2
tg(n)
a
Portanto, existe n tal que Ex(x)- 4 ,(x)Icbc < basta fazer k
s tg(n)
2 /v1 2
a
Com isso, obtemos o seguinte resultado:
f If
Wn (x)dx = il[f(x) - X(x)1+ [X(x) -
W(x)idx <
a a
If(X)- IX(X)
+ = e .
22
a a
Portanto, dado s> 0, existe uma funo continua w : [a,b]--> 93. com
(a). (b) = O tal que
I f(X) n (X)i d 7 C < E
a
Agora, suponha que !no seja uma funo limitada, mas seja integrvel e
absolutamente integrvel no sentido das integrais imprprias. Para facilitar, vamos
supor quef se tome ilimitada apenas nas vizinhanas de a e b. Portanto, dado 6 > 0,
existe (5 >0 tal que:
b i lf (X) I dr . I I f
( x ) H

C a+8
2
41
Como f limitada e integrvel em [a + ,b -8], existe uma funo continua
com kv(a + 8). w (b + 8). 0 tal que:
b- 8
fif(x)- k v ( x ) I d x < E
2
a 4 - 8
4 2
Consideremos a funo vi : [a,1]--> 91 definida como:
w(x), para a +
xp(x) =
0, para x5_a+5 e

a+8
f (x) w(x)Icix = fif (x)Iclx + flf(x)lcbc + 'if (x)w(x)Idx < E+E = .
2 2
Temos:
a
Logo, dado s > O, existe uma funo continua tv : [a , b] > 91 tal que:
J
f(x) v(x)dr< 8 .
Q.E.D.
2.3 Lema de Riemann-Lebesgue
Nesta seo, apresentaremos um importante lema que nos auxiliar nas
demonstraes futuras, o Lema de Riemann-Lebesgue:
LEMA 2.1: Seja f: [a, b] - > 91 uma funoLl em um intervalo [a , b] Ento:
liMf f (x)sen(tc)dx = ;
1 - 3 . =
a
liMf (x)cos(tx)dx = O .
a
DEMONSTRAO:
(i) Suponhamos que f seja uma funo limitada, isto 6, que existe M> 0 tal
que I f(x)I V xe [a , b] .
Como f uma funo integrvel e limitada, por definio de funes L',
dado s > O, existe uma partio P:a=x0 <x1 <x2 <. . . <x=b, tal que
n
tqf ; S(f; P) < , onde S(f; /3 ) = (x; x,j, M = sup[f(x)/ xi x x j }
n
e s(f ; /1 = Emi k xj _xj_4 ) , mi . inf[f(x)/ x j_ x 5_ Xj so, respectivamente, as
somas Superior e Inferior associadas b. partio P.
43
Considere a partio do intervalo [a, b] determinada pelos pontos
= a + (b a), para j = 0,1,2, ,n.
Deste modo, teremos:
n xit r
f(x)sen(tx)clx=E ilf(x)sen(t4+ f(x j )sen(tx) f(xi)sen(tx)]dx=
a .1 =1 x j A
x n a n
= E
h i
if (x) f Asen (tx)+ f (xj)sen(tx)icix = Ef(x) sen(tx) cbc +
j =1 j =1
X
+ En fj (X)f(xOlsen (tx)dx.
J =1 x1,

cos (tx)ix, <
t
e que V(x) fi(x)1 1 1 1 nip Observe que
f
sen(tx)dx

para x X

Logo:
I
f(x)sen(tx)cbc =
2nM
t

.1 =1
n
E f(c i ) sen (tx)dx + (c) f (x. d. 1 sen (tx)dx
i=1 xj A J 1
M
J
.)
J
-X )=
2nM
n
= x
.1 -1
) E "if(x, xfr, )=
.1 .1
J=1
J=1
= 21 71 1 -F[Af ; P) SU. ; 1 1 1
Agora, basta tomarmos to tal que
2nM
<
E
, ento, dado e > 0 , temos:
to 2
f
f(x)sen (t X)C1X
a
< 2nM !--+-E-=E , V t =to .
to 2 2

Vamos supor, agora, que f seja uma funo (f e Ifi integrveis)
qualquer.
44
Ento, pelo TEOREMA 2.1 temos que, dado E >0, existe uma funo
continua w : [a,b]> 91 tal que:
f (X) - W (X)Id X < E e tv(a) tp(b) = O.
2
a
Como toda funo continua num compacto limitada e integrvel,
conclumos que existe t o tal que, para qualquer to , temos
1
W(X)Sen (tX)CbC
a
C
< .
2

Como f(4en (bc)dx = jw(x)sen (bc)dx + [f (x) 41(.1c)] sen (tx)cbc , tem-se:
f
f(x)sen(bc)cbc < w(c)sen(t/c)dx
+ if(x) w(c)cbc < + e.
a
22
E, portanto, limff(x)sen(tx)dx = 0 .
a
A demonstrao de (ii) faz-se de modo anlogo.
Q.E.D.
24 Convergncia Pontual da Srie de Fourier
Nesta seo, estudaremos quais as condies sobre a funof que garantem a
convergncia da sua S rie de Fourier num ponto fixado x para o valor f(x) .
Al m das hipteses necessrias para que possamos definir os coeficientes da
Fourier, descritos na seo 2.2, faremos outra hiptese sobre o comportamento da
funo nas vizinhanas do ponto x.
Nosso objetivo aqui, primeiramente, fazer estimativas do valor
e(x) = S(x)-124f (x+0)+ f(x ,
para isso, precisaremos deduzir uma frmula para as somas parciais de uma s rie
arbitrria de Fourier.
45
A deduo a seguinte
Seja
S(x) - - 2- a +[ak cos(
lc=
j+bk senC-c-- nx )] , onde:
2 k =1 L L

1 L
lacy \
ak =- f(y)cos
(
dy , bk =
- 1- L f f ( Y)
sen(
dy
e -
f uma funo qualquer de [- L,L], ento:
1 4r
S(x)= , ... j f(y)dy +i[cos(k:_71 _1 5f(y)cos(lc- )dy
4. se n Mc )1 1 f(Y)se n MdY ] =
LL - L
k =1
L L _L
1 L 1 ,- ,", k in - L
n [1 Lf
= 7- - I f (y)dy -FE f(y) cos(==- ) cos(=)dy +- L- 1 j. f (y) sen( k 7Y-jsen(L- xx )dy] =
k =1 L - 1 , L L _L L L
1 Lr n f 1 it
=-
2 L
i f (y)dy E f (y)[c os( k -71c os( k nx ) + sen( k 7 -9-1 L ) en(7- k uldy}.
k =i [L L
- L
Utilizando, agora, a identidade trigonomtric a:
c os(a)c os(b)+ sen(a)sen(b)=c os(a - b), obtemos:
s
(x) =
fo,)dy+ Scos[
L

I I"
k x(x-
Atf olv
d,. If 1 {1 +En
IL L
2 k =1
L
c osr"-(xL-
YV(Y)dY
2 L
k =1 L
- L,
onde a expresso -1 [ -1 + c o k ra denominada Niicleo de Dirichlet, e tem as

L 2 k 4 L
propriedades anunc iadas 6. seguir:
PROPRIEDADES DO NCLEO DE DIRICHLET (D.(x)):
(i) D(x) uma funo par;
(ii) D(x)dx =1 ;
- L
(iii) D(x) uma funo c ontinua;
(iv) D(x) uma funo peridic a, de perodo 2L;
n +j- )
(v) D(0)=- .
2
46
(vi) Vale a seguinte expresso compacta de D(x)
para x # 0,2L,4L,... :
sen(n +
1)

D(x).
1 2 L
DEMONSTRAO:
(i) Como cos(x) uma funo PAR, cos( ,- - brx j= co ax L e, portanto:
Logo, D(x) uma funo PAR.
1 k
(ii) Como D (x) = +1 + cos( 7 1x temos que:
L 2 k_ 4 L
Dn (x)cbc = L.f [-1 F C 0 S P 5C k )]d X = -} N cbc + cos(1 -Vcbc].
-L
_ L L 2 kA L
-L
n L k
Como j foi demonstrado, E j cos (
L
zx
jdx = 0, portanto:
k=1 -L
Licos( kroc)ch+:1 Li!
x
L
-L
2
k=1
L
L _ L 2 2L
1

I
L
=1.
Logo, f D(x)cbc =1 .
-L
(ii) Como a soma de funaes continuas urna funo continua e cos(x)
uma funo: continua, E cos( knx ) tambm sera uma funo continua e,
k=1
in v-, "
portanto, D(x) = [
2
+
L
L cos(- -
L
kfix j] unia funo continua.
k=i
2L
sen( z icic
(iv) Observe que, como cos(x + 271 k) = cos(x), temos:
. D ( x + 2L)= {--1 -+ icos[t r k + = [-1 + cos( kn x + 27-ck)]
2
k=l
L L[2 k=i L
1 [1 , 1( k
,4 =l --E -1 + c o s _J] Lin (x).
Logo, D ( x ) uma fun o peridica, de perodo 2L.
(v) Como D ( x ). -1[1+ en to:
L 2 L
D ( 0)= TiR+icos(0)].+R+1 ].L1R+n
Logo, =1
[2
+ n ] .
(vi) Para mostrar que vale a expresso:
sen (n +

D n(X)=
1 2 ) L
, para x # 0,2L,4 L,...
2L
sen (- 71 x )
2L
calcularemos a expresso +c-os(
2 k=1
L
Para isso, usaremos a seguin te iden tidade trigon omtrica:
sen (k +- 1 )s sen (k 1 )s =2 sen (- 8 )cos(ks).

2 2 2
Fazen do s =( - 7 1x ) e kvarian do de 1 a n , obtemos:
L
( 1 121 ( ;a r 7x Ikr sen t =2sen Lcos 1 <
2 L L
) =>
2/,) L )
. c 4 , iset( k + lyal_se,irk- 1" 54 1= 1 -2.ralcospE k 1 .
k=11_ 2A L ) 2A L Li kA L

2L) L
< :=> [sen fk + 1 \ f-T-cc l sen rk --z1 Prq 2 n ( 7cili (kicc ) se T- L- k=i
co s Z_)
<=>
k=1 L 2 i I L J 2 A L J J
47
48
1 f R X
<==> sen(1 + - 1 1- sen(1 - Ira) + sen(2 + - i --) - ... + s e n((n - 1) + -ja _
[
2 L 2 L 2A L 2 L
n k T D C
- sen((n -1)
Of

;cc)
+sen
r
n
+ ly =I
- sent
1 paVI =..
L21 L
ji 2 sen( yE
L( L )
'ix
Ecos <:*
2 A L ) L 21L )
3 . ri m
1 rix
<=> [senGAT) - sen(-i + sen( T5 I 7 -7 ) - sen(- 3 P) + + sen(n - -1 I i rx ) -
2 L 2 L
- sent
3
-
2
; cc
L
sent
1
+ -
2
Vnx
)- sen(n
A L
-1N r= 2 sen( 7 2-c cos(-Lfx- k
2 1L)] 2L L
icos <=>
<=> [sen(n + sen(- 21j I7 --Lc ; 1 --=
L jj 2 sell(211=1L)
Rx
o knx )<=>
<=> [sen(n + -1 ra) -sen( 2 2 --Di l= 2 set { 2L c L
2
1 L1
<=> sen(n + = sen( 22-r-c L)+ 2 sen(a) cos(- T--)<=>
2)L 2L
2-cc1 + kax
<=> sen( n + -
1
j- 7 1 x = 2 sen( I= 2., cos
2)L 2L 2
kJ
L
Logo,
sen(n
1 )Rx
+ -
cos(knx ) _ 1 2 L
2 L )
2 sen( )
2L
Com o, D.(x) = - 1[- 1 + i cos(11: k , t em os
L 2 L
sen(n + - 1 zx
1 2
)
L
D(x) -
2L
parax
sen(_)
Q.E.D .
Agora, fazendo y = (x t), obt em os
L+x
Sy i (X ) = D.(x)f(y)dy = D.(t) f(x - t)dt
49
Como D(x) e f (x) so funes peridicas e de perodo 2L, a soma parcial
S n (x) pode ser escrita como S D(t)f (x - t)dt
Usando, agora, o fato de que D(t) uma funo PAR, temos que:
L o L L
JD (x - t)dt = f Dn (t) f (x - t)dt
+5
D(t)f (x - t)dt
=5
Dn (t)[f (x + t)+ f(x - tAit .
Ento,
S n (x) = D(t)[f (x + t) + f(x - t)]it ,
e a expresso, para a qual queremos obter estimativas, ganha a forma:
e(x) = D(t)if (x + t)- f (x + 0)1+[f (x - t)- f (x - 0))it
Usaremos o L ema de Rieman n -L ebesgue para demonstrar nosso primeiro
teorema sobre a convergncia das sries de Fourier:
TEOREMA 2.2 (Teste de Dini): Seja f ->R uma funo peridica de perodo
2L e LI em [-L A . Fixando x, em [-44suponha que f (x + 0) e f (x -0) existam
e que exista 7 7 > 0 tal que: i g(x' dt < c o , onde g(x,t)=[f (x + t) - f(x +
0)1+
+ [f (x - f (x - ento, en (x) 0 , ou seja, (x) ->
[f(x+ 0)+ f (x - 0)]
quando
2
n ->oo .
DEMONSTRAO:
Primeiramente, vamos decompor
e(x) = D(t)g(x,t)dt em duas partes:
8 L
e(x) = tD(t)g(x'' dt + isein + 1 ) 7 1 ] g(x' t) dt .
2 L
2L sen (-7-1-)
2L
3
A primeira integral, p t f,i (t)g(Xj dt ) , faremos pequena tomando 5
o
convenientemente pequeno e usando o fato de que, por hiptese,
pg(xt,t)
dt <0 o
01
50
Como D(t)=
senftn + 1 )1
2 L
para t # 0,2L,4L,... , ento, podemos
2L sen( I rt
2L

concluir que i tD e como a funo
2L sen( 2L sen(
zt
2L)2L
continua e
crescente em [O,L] , obtemos a estimativa: I tD(t)1 , para t E(0, L].
1 1
Ento, como g(x ' t) dt <co , dado E> O, tomemos 8< mi n(L, n) tal que

8
tD (t)
g(x, t)
dt
o t
e teremos:

8
StD (t) g(x' t) dt

o nt
Quanto a segunda integral, senftn + 1 )T ct i g(x' t) dt , usaremos, como
2 L

8
2L sen(- 7" )
2L
j foi anunciado, o Lema de Ri emann-Lebesgue.
Para isso, basta verificarmos se a funo h(t).
g(x, t)
t e [5, L]
2L sen(nt)
integrvel. Mas isso imediato, pois o denominador de h(t) nunca se anula em
[5, L] e g(x, t) uma funo integrvel.
Logo, para n suficientemente grande, pelo Lema de Ri emann-Lebesgue
temos que:
1
g(x, t)
)dt
sen
n +
8
2 L
2Lsen(-
2L
<
2
<-
2
e, portanto:

l
e(x)-01=
8
g (x,t) L ft ijnt i g(x ,t) dt
f tAi (t) dt + isen n+ 2 L
5
2 Lsen( yr d

51

8
StD (t)
g(x
'
t)
di
o t

t) Lfsen[(n+21 1 71 An( x ' di
2 Lse u:
EE
22


L ogo, en (x ) - - - > O quando n->oo .
Q.E.D.
0 Teste de Di ni pode ser utilizado para obter condies suficientes para a
convergncia da Srie de Fourier, condies que sejam mais facilmente verificveis.
EXEMPL O :
Suponha que f seja Hlder continua na vizinhana do ponto x , isto 6 , que
ex istam constantes a > 0 , > O e K > 0 tais que:
if (t)- f (s)I Ki t - sr para t,S E[-T-8,x+8].
Co mo i f (t)- f(s)I - sr faz com quef seja continua em x , temos que:
f(x + 0) = f(x - 0) = f (x) ,
o que implica que:
lex,t)1=1[f(x+t)- f(x + 0)Hf(x - t)- f(x - 0)1=
(x + t)- f (x)]+[f (x - t)- f
If (x + t)- f(x)1+i f (x - t)- f (x)i
Kl(x + t)
-4'
+ KI(x - t) - xr = KItIa +
a
=2Kta.
O bserve, ento, que
8
8 g(x t) 12Kta
2K < 00 ' dt dt - j. t'dt .
o t o
L ogo, a condio de Dini ' t) dt < o o se verifica.
o t
52
Podemos, ento, demonstrar o Teorema de Fourier, teorema este, j
enunciado na seo 4 do capitulo 1:
DEMONSTRAO:
Suponhamos que fseja uma funo
derivadas laterais
4(x) f(x + t) f(x +0 ) ]
existem em cada ponto x.
e
seccionalmente continua, ento, as
f2(x) = lim[f
t
)
f(x -0
) 1
Portanto, as razes
ff(x +1 ) f(x + 0)] e Lax f(Jr 0)]
so limitadas para t > 0 suficientemente pequeno.
Vamos mostrar que a condio de Dini se verifica, ou seja, que fixado x
exista 4> 0 tal que a integral
71 1
o
,g(X,Ol dt <co
t
onde
g(x, = [f(x + f(x + 0)]+[f( x - t ) - f(x
Ora,
(x + t) f(x + 0)]+[f(x- t ) - f(x -0)] dt <1 If+ t) + +lf(x - t)- f(x - -0 )1 dt
Ento, basta mostrarmos que

f(x-+ t )- f(x + 0)1

dt e
1r !fix t)-- f(x-
dt
so integrveis.
Suponhamos que numa vizinhana de um ponto x fixo, fseja uma funo
I f(x + t) - f(x +0)1
continua. Ento, continua em (0,7 7 ] para r1
suficientemente pequeno.
Como
(x)jim[f (x + t)
f +
0)]
existe, g1 (x,t) uma funo continua
em todo o intervalo [O m].
Logo, g1 (x,t) diferencivel.
53
Suponhamos, agora, que no ponto x, f' tenha descontinuidade de primeira
espcie. Ento, como antes, g1(x,t) =
if(x + t)
t
f(x + 0 ) 1
e
,
continua em Om] para ti
suficientemente pequeno.
f (x + t) f (x + 0)]
Como f existe, g 1 (x ,t) uma funo continua
em todo o intervalo [0 , rd.
Logo, g (x , t) diferencivel.
Do mesmo modo obtemos que g 2 (x ,t) diferencivel.
Portanto, a condio de Dini se verifica.
O que nos leva a concluir que
+ O) + f (x O)} !
a
o +E[a cos( fi 1 71+ b
n=1
1 r
Q.E.D
2.5 Desigualdade de Bessel
DEFINIO 2.5: Uma funo f :[a,b] - + 9'1 chamada de quadrado integrvel se
f e 1 1 1 2 forem integrveis.
Nomenclatura: L2 .
Observaes:
(1) Se f for limitada e Riemann-Integrvel, ento f ser de quadrado
integrvel e fif(x) 1 2 dx A/ 2 (b a) , onde M = suplif (911 x e [a ,b]) .
a
(0 Se f no for limitada, f pode ser , mas no sera L2 .
(iii) Se f for L2 , ento f

necessari amente L'.
54
Uma sucesso (fn ) de funes de quadrado integrveis, em um intervalo
[a,b], converge, em mdia quadrtica, para uma funo fde quadrado integrvel
2
se limf I f(x)- f(x)( dx = 0 .
a
2
Denominamos a expresso j f(x) - f(x)I dx de erro mdio quadrtico, na
a
aproximao de fpor fn .
A seguir, mostraremos que as reduzidas Sn(x) da srie de Fourier de uma
funo fde quadrado integrvel so os polinmios trigonomtricos que melhor
aproximam fem mdia quadrtica.
Ou seja, consideraremos um polinmio trigonomtrico de ordem n:
Co NI(ck cos(_ kX kg X))
tn (X) = alk sen(
2 k=1
e mostraremos que:
2 2

I s (.4 - f(x)Idx It(x)- f(x)idx.

-L -L
Sejam
e n = is(x) f(x)r dx e e n=j* (x) -
-L
Usando as relaes de ortogonalidade
L imr, N
f
CO se dic = 0, se n,m> 1,
-L
L L 1
--L
{0,se n*m, n,m_1'
'j
'
L L
L sen= m, n,m.1
SL sell( "lsen ("n idx =
L L 0,se n4 in, n,m1'
L,se n= m, n,m1
demonstradas no capitulo anterior, e a PROPOSI O 1.2, temos:
= jit(x)- f(x)12 dx= fla)-1-t[c cos(lal d (klu ic
-L
_ 1. 2
ksen
f(x)
2
dx=
- L
55
2
+ d k 2 sen2
knx krcx
=1{(-1+ii[ck 2 COS2(-ki-- LX) f(A)
2
Co E ck c o s L 11+
2
k= 1 k= 1
a
a rc kruc krcx
+c 0 E[dk s e nt

co f(x)- 2 [ck co s Hf(x)- 2[dk senMif (x)+

k= 1 k= 1 k= 1

ti i [C k di CO( k -7-5 -) -1 Sen(C 1 =

k= 1 1=1
L L
L 2 L n irwir -L n -L
=j C I I dx +SE[ck 2 COS2 (= ) dx +SE dk2 sen2(ax) dx +j. f(x)2 cbc +
-1, 4
(
-Lk= i
L
_ -LkA
L
_ 1 -L
L
n

krcx -
L L
kvc
+i co _E[ck c o s(---) dx +f c o E[dk sen() dx- 5 co f(x)dx -2 jl[ck cos( --)If(x)dx -
-1, k=1
L
-1, k=1
L-
-L
-Lk=1
L
-
krra
25 L[dk sen(Af(x)dx +1t i[ck d1 c o s(k ilsen(1 1 1 dx =
4, k= 1
L
-1 -' -
-L

- L
=1 I c 2 dx +t ic 2
l' ilco s (k7 c)co s (=-1cbc +t dk 2 lisen( ax)sen(-=) dy +if (x)2 dx +
7 - k=1 k -
L L_
-L
n
L
i-bt x
n
L

fkrx
L L jc ivr
+ E co ck i co s ( L-)dx +Eco dk i senHdx c o if (x)dx - 2 Lc k j. co s (---
L
)f(x)dx -
k=14,
k= 1 -L
L
-L k= 1 -L
L L
n n
r krrx r krcx lrcx
- 2 Edk i sen( f(x)dx +EEckd, i c o sHsenH dx =
k = 1 -. E ,
L , ,
k=1 IA
-L
L L j
L2 a
a
L L
n n
=C o + Eck2 L +Edk2 L + 5 f(x)2 cbc - co .1. f(x)dx -2 Ec kLa k -2 EdkLbk =
2
k = 1 k = 1
-L

L
n n
(ck a k + L ,
2 v-1 ( f 2
= c +L 2 , c
2
k + dk
2
)+ j if (x)I e h - La o co -2 LEdk b J .
2 -
k = 1
E dai, completando quadrados, temos:
^ L % . 2
2 n2 L
2
La 2

e
2
kco - ao) + LE (ck - a k ) +- bk ) +fIf(x)I cbc - - - k2 +bk 2 ) .
k= 1 k= 1
-L
2
k=1
A
Observeque o menor valor de e n ser obtido quando c o = ao , c a k = k
d k =bk , para k=1 ,2,... ,n, ou seja, quando
Lf
n
ISn(X) - f(x)I 2 dx = j If (x)I 2 cbc -
La

2
LDak2 + bk 2 )
2
ou ainda
56
Logo,
L

2 n

ti o E(a k 2bk 2),

f(4
x a
2-
Vne N.

2 k=1 L I
-L
Somas Parciais so limitadas de cima, portanto, a srie

2 ,
a
+E(a
k
2
+b
k
2)

2 k=i
converge e valida a Desigualdade de Bessel:
2 L
a
o +E(ak 2 +1, k 2 ) : j. i fdx .
2 k=1
L
2.6 Desigualdade de Cauchy-Schwarz e de Minkowsld
2.6.1 Desigualdade de Cauchy-Schwarz:
Considere dois vetores a = (a, , a 2 ) e
f
=(I 3 ,,13 2 ), com componentes lido-
negativos.
0produto escalar entre a e 13 definido por: a13 = ali
3 1 a213 2-
Chamando de lal = Val +a: e 4 3 1= V f3 , 2 +13 : a norma dos vetores a e
13 ,
respectivamente, e de O e
4
os ngulos dos vetores a e 13 com o semi-eix o
positivo dos x, respectivamente, podemos escrever:
a
cos = a1 e sent) = 2
(ai
= (; (1 cos 0, sen 0)
cos 4 ) = -- r3 1 e sen4 =
L3 2
13 = Q 13 1 cos 4 ), 113 ( sen 4 ))
Logo, o produto escalar entre a e 13 pode ser escrito como:
a13 = cos0113 I cos + 1alsen0113 1sen+).
aI
cose cos 4 ) + 14 3 isen0sen 4 )) =
= la1113 1(cos
O
cos 4 ) + sen O sen 4 )) = la1113 1cos(o
01
57
Juntando as igualdades:
al3 = 1131+ a2(3 2
e aP =14413 1cos(0 4)),
obtemos:
R + 11 202 = I
mcoso - 0),
ou ainda,
' 2E101 +a213 2 I
1101< => ai13 1 +a213 2
5 (C ti2 1-0c22)2(13 12
2
2 )-2-
Sejam (al , a2) e (b1 ,b2 ) dois vetores quaisquer de 9 1 2 .
Ento:
+ a2b2 -5 a lb + la2 P 2 1. (a12
a22 (biz b22 2
que a Desigualdade de Cauchy-Schwarz para vetores em 912 .
Sejam, agora, a = -- e b = dois vetores do 9 1".
A Desigualdade de Cauchy-Schwarz para 2 vetores em 91" sera:
tin (n
b. / Ectib i E a . ,2 2 .
J=1
j=1 J=1
DEMONSTR AO:
C onsideremos a expresso:
n n
+ tb i f = Ea; +2 tEaib1 +t2 Ebj 2
i=1
Olhando para o 1
0
membro da expresso acima, observamos que essa
expresso sempre 0 para todo t real.
Olhando para o 2 membro, reconhecemos um trinmio do 2 grau em t.
fato de que esse triniknio sempre , implica que seu discriminante deva ser 5 0,
ou seja,
2 2
A = (2E a ib 11 (E a j 2 1En b i 2 )._ O < = > 4 1[En ai b i < 4[a i2 1 b ;
]
P
1 1
n
bj2 ,
que a desigualdade de C auchy-Schwarz para vetores em 9 1".
Q. E. D.
58
Sejam, agora, f [a ,b] --> R e g : [ a , b i 91duas funes de quadrado
integrvel.
A Desigualdade de Cauchy-Schwarz para funes de quadrado
integrvel tem a seguinte forma:

1 1
[
o
If ( X ) I2 CbC]
2
[j
Ig ( X ) 1
2
CL C ]
2
a a a
f ( x)g(x)c bc

DEMONSTRAO:
Consideraremos a expresso:

1 . b
Lf (X) -1 - tg(x)f dx = V2 (x) I- 29e (x)g(x) + t2 g2 ( x)Jc bc =
J
( x ) 2 ti f(x )g(x )c bc + 1 2 (x)dx
a a a a a
Novamente, olhando o 1 membro da expresso acima, vemos que essa

expresso sempre .
Olhando para o 2 membro, reconhecemos um trinmio do 2 grau em t .

Isso implica que seu discriminante deva ser , ou seja:

2 2
A = f (x)g(x)dd - 4 [J f (x)d][1 g2 (x)H5O <=> 4 [ f ( x) g( x)dx]
a a a a

1 1
b
4[1 f 2 (X)Cir g 2 (X)dX1 <=> f f ( x)g( x)dx 5[Ilf (x)I2 dx][f Ig(x)1 2 dx] ,
a a a a
que nada mais do que a Desigualdade de Cauchy-Schwarz para funo de
quadrado integrvel.
Q.E.D.
2 .6.2 Desigualdade de Minkowski
Uma outra desigualdade, bastante til , a Desigualdade de Minlsowski ou
Desigualdade do Tringulo:

1 1 1
n x , 2 n 2 )2 n 2 ji
[Ek a +bi d 5 _ Ea . / + Eb
A Desigualdade de Minkowski tambm pode ser representada por:
la + bl lal + Ibi ,
onde
lal
e
IbI
so normas dos vetores a e b respectivamente.
2 2
ai
[n
+Eb. 1 2
n
2 (E
nn
Ebi2 b i2
Ev i.
+by : = Ea +2
j aibj +
n,
1
[ = (tail
5 9
DEMONS I RAO:
Seja
n n
En (a + . ) 2 = E(a +2a
J bJ
+b
J 2
)=Ea 2 -F2Ea b +lb

2
J
2
J=1 j=1 j=1
j=1
J=1
Utilizando a Desigualdade de Cauchy-Schwarz para vetores de 91", obtemos:
1
Logo,
1 1 1
n
(a Efri i +b, \- ry
[
. n
. < Ea
i
2
i
+ Eb 2
1=1 14i )
que o mesmo que dizer que
l a b1 --lal+1 1 1 ,
que Desigualdade de Minkowski.
Q.E.D.
Sejam, agora, f la,b1 91 e g :[a,b] --> 91 duas funes de quadrado
integrvel.
A desigualdade de Minkovvski para tais funes a seguinte:
_
rja (x)+g(42 dx 1 2 _[fi l f( x ) 1 2 dx]2 +Rig(x)1 2 did2 .
DEMONSTRAO:
Usando a Desigualdade de Cauchy-Schwarz para funes de quadrado
integrvel, na identidade abaix o
5 11(x )
+ g(x )1 2 dc = lif (x )I 2 + 2 f (x )g(x )+I g(x )1 2 1dx = b ilf (x )1 2 dx + 2 11 f (x )g(x )dx
a
a a
obtemos:
f Ig(x )1 2 dr,

(x )+ g(x )12 dx = b jif ( x ) I 2 +2 {[ b f If
(x )12
dx 1 2 +[11
g( x ) I2 ]
2 4- bf ig( X) 1 2
a a a a

2
2 [
g(x)i - dx] }
b
2
60

[11 f (x)I 2 c b c



Logo:
lif(x) g (x)I 2
12
[fa i f ( i ) 1 2 c hd 2
+1
bilg(X)12 H2
e, porta nto:

1 1
(l

if (x) + g(x)I2 d7c)2 f (x)I 2 dx] 2

+1
i g(x)I2 dx] 2
a a a
que a Desigua lda de de Minkowski pa ra funties de qua dra do integrveis.
Q.E.D.
PROPOSIO 2 .1: Seja f uma funo de qua dra do integrvel. Ento,
existe uma sucesso de funyCies continua s kv :f a ,b] --)91
c om n(a) = klin(b)
=0 , ta l
que (x) k v (x)i2 = 0
a
DEMONSTRAO:
Suponha , inicia lmente, quef seja uma fungdo limita da . Como f de qua dra do
integrdvel, segue-se quef a bsoluta mente integrvel, em virtude da desigua lda de:
1
1

fit
(x)lc b c to)i[f I f (x)l -
2
dr] ,
a a
que uma consequncia da Desigualdade de Cauc hy-Sc hwarz.
Pelo TEOREMA 2 .1, temos que, da do e> O, existe uma funo continua
: [a,1]--> 91, com kv(a ) w(b ) = 0 , ta l que: I f(x) n (x)iclx < E
2 M
a
Sa bemos que Iwn (x)1 5 _ M, onde M uma consta nte, ta l que If (x)I M, pa ra
qua lquer x fa,bi.
Essas majoraes nos permitem escrever:
f If ( x ) W.
( x )
If ( x ) ( x ) 11f( x ) W. ( x )
(X)11W n (x)Olf
(
x) w n ( x)I d x < f2M1 ( x) k y , , ( x)fr i x =
a a
2M I f ( x ) w n ( x)i d x <214 2c m= s
a
e, portanto:
AX) (X)12 d x < c.
Suponha, agora, quef no seja limitada. Consideraremos o caso em quef se
tome ilimitada apenas nas vizinhanas de a e b:
Dado s > O, escolha 8 > 0 , tal que:

a+8b-1-8
J I A : 0 1 2c i x < -- 8 e f( 42 d x < 6 .
3 3
a
Como j foi mostrado, ex iste uma funao j, : [a +6, b

61 -3 9 1. continua,
b-6
n ( a +
6) =
W.( b 8) = 0
tal que:
a+5
Portanto, definindo
{0, sea5.a+8
w ( x ) = w ( x ) , sea + 45x 5..b 43 ,
O, seb 8.7c<b
obtm-se:
2
f ( x ) ( x ) 1 d x =
a

a+a 2 b-a 2 b
=f f ( x )
-
l
-
1
-

I N J n ( x)1d x

a a+cs b-a

a-i-a b-a 2 b
=f if (.1 2 d7C f If (X) W n ( x l dx + f if ( x ) I 2 d x < E + E +!. = e .
3 3 3

a a i -c7 b-a
Logo,
( x ) n ( x ) 1 2
a
61
cbc <
Q.E.D.
62
OBSERVAO: Suponha que f :91> R seja uma funo peridica de perodo 2L
e de quadrado integrvel em [L,L]. Ento, existe uma sucesso k i r n de funes
contnuas w :91 *91 peridicas de perodo 2L tal que:
lim fif(x)wp,(x)1 2
-L
2.7 Convergncia Uniforme das Sries de Fourier
Agora, que resolvemos a questo da convergncia pontual das sries de
Fourier de funes continuamente diferenciveis por pa rtes, determinaremos as
condies em que esta convergncia seja uniforme num intervalo fechado [a,M.
Surpreendentemente, basta que as funes sejam continuas para que
possamos garantir convergncia uniforme e absoluta.
TEOREMA 2.3: Seja f uma funo continua em ( co, co), com perodo 2L, e
suponhamos que f tenha derivada primeira continua por partes. Ento, a srie de
Fourier def converge uniforme e absolutamente paraf em todo o intervalo fechado
do eixo dos x .
DEMONSTRAO:
Sejam
IX
- i - aE[an cos(___) ) b sen(
L 2 ,m
e
a' mu) ,, mu)]
-+ 2. ,[a cosi + o sen
2 = 1
as sries de Fourier def ef, respectivamente.
Ento, comof peridica de perodo 2L, f(x)= f(x) e, portanto:
L
if'(x )dx = If(L) f ,
enquanto que, para n > 0 temos:
63
a' = f' (x)cos(tcbc f (x)cos(7: z (x) se
L
=1. { [ f (L ) c o s( n 7 c ) f ( L )cos( 72 7)] + ( L . f f (x) sen ( 1 2 1 C X ' dicl=
L
L
= ={ (
L
r )j f(x)sen( n L L - r x)cix}=(Vb
L L
o n de
1 L
b =- f (x) sen (
7
r ilr x)dx
17 - L 1

nr cx



Da mesma fo rma, para [a,b] , temo s:
L
by = 1 tf ( x) sen ( ---. n x )dx -- i L f (x)sen( L
4711- 1{ + L f (x)c { n Tir j :cH=(=?
)
an.
- L
L ( Inc ) 1
f (x)co( n - - 1- 1

0 L x ] =
o n de
L
a
= !
f f(x)cos( 12 7 - 1clt
Co m isso , vimo s que:
{ a =
L
b'
nr c
L
b = a
,
.
Int
Observe que
(MIX
a n C O S )
~f a I
e b n sen (
mtx

Mo straremo s que a srie n umric a E g a n i + 117 7,0 c o n verge.
n =1
Supo n ha que f seja c o n tin ua e
que sua derivada primeira seja uma fun o
,2.
Co mo an =
L
b' a' , o n de a' e b', , design am o s c o efic ien tes de
nit tzar
Fo urier de
f',
a reduzida de o rdem n da srie E +
n= 1
En la +lb =
. 1 = ]
64
que, pela Desigualdade de Cauchy-Schwartz em 9?, majorada por
Y ,
Hb ,
-1
1 ) 2 1
x
--- L, )L,
7 1 J=1
( J

L i='
i .
Como
+b 2 ) ,
ob temos
_Lc (j1. 2
Portanto, a srie
<i _ )
1 , 1 2 ) -i y2
Iti=1 i2 )
Lf.1 1 +r)-1
an i - 1 - 1 1 ) 1 )
majorada por
7tj1J
i =1
onde amb as as sries c onvergem (a segunda em virtude da Desigualdade de Bessel).
Ento, pelo Teste

de Weirstrass, temos que

+i[ak cos( k xx j+bk sen( latx j] uniforme
2 k=1
qualquer intervalo fec hado dos eixo x.
e ab solutamente c onvergente em
0que c onc lui a demonstrao do teorema.
Q.E.D.
Ob serve que as hipteses do TEOREMA 2 .3 supem quef seja c ontinua por
partes, e
assim, permite quer seja no-definida em pontos isolados do eixo dos x.
Sei for desc ontinua em um ponto x 0, a srie de Fourier no pode c onvergir
uniformemente paraf em nenhum intervalo que c ontenha x 0. Isso porque sab emos
que o limite uniforme de uma suc esso de funes c ontinuas (neste c aso, as
reduzidas Sn (x)da srie de Fourier de f) uma funo c ontinua (1 ). Logo, para se
ter a c onvergnc ia uniforme da srie de Fourier em toda a reta, a funof deve ser
nec essariamente c ontinua.
Isolamento Trmico
Capitulo 3
Equao do Calor
Neste capitulo, deduziremos a equao diferencial em derivadas parciais que,
pelo menos em uma primeira aproximao, governa a conduo de calor nos
slidos. Esta equao se chama Equao do Calor e uma representante tpica de
uma classe das equaes parablicas da segunda ordem.
E importante ressaltar que, a anlise matemtica de propriedades das
solues da Equao do Calor reflete varias propriedades de processo fsico da
conduo de calor, o que nos ajuda a entender melhor diferentes aspectos
matemticos do problema.
3.1 Conduo do calor numa barra
Considere uma barra de comprimento L, cuja seo transversal tem rea A,
feita de um material condutor uniforme de calor.
Suponhamos que a superfcie lateral da barra esteja isolada termicamente de
modo que no haja transferncia de calor com o meio ambiente atravs dela, apenas
atravs de suas extremidades.
Devido uniformidade do material e o isolamento trmico lateral, o fluxo de
calor se d apenas na direo longitudinal. Portanto, trata-se de um problema de
conduo de calor em uma dimenso apenas.
65
66
Utilizaremos a Lei de Resfriamento de Fourier para estudar a conduo de
calor nessa barra:
Lei de Resfriamento de Fourier:
Considere duas placas, PI e P2 de reas iguais a A, mantidas em temperaturas
constantes, T , e T2 , respectivamente. Se PI e P2 forem colocadas paralelamente a
uma distncia d uma da outra, haver passagem de calor da placa mais quente
para aplaca mais fria, e a quantidade de calor transmitida por unidade de tempo
dada por: Q. , onde o fator de proporcionalidade positivo k a
condutibilidade trmica do material entre as placas PI e P2 .
Consideraremos, agora, uma barra retilnea, cuja seo reta uniforme e
constituda por um material homogneo, orientada de modo que o seu eixo coincida
com o eixo dos x.
Seja x = 0 uma das extremidades e x=L a outra extremidade.
Vamos admitir que a superficie lateral da barra esteja perfeitamente isolada,
de modo que no haja passagem de calor atravs dela. VamOs admitir, tambm, que
a temperatura u s dependa da posio axial x e do tempo t, mas no das
coordenadasy e z, ou seja, que a temperatura s dependa de um ponto de abscissa x,
num tempo t, que representaremos por u(x,t), seja uniforme em qualquer seo reta
da barra.

Esta hiptese satisfatria quando as dimenses laterais da barra forem
pequenas em relao ao respectivo comprimento.
A equao diferencial que governa a temperatura na barra uma expresso
de um equilbrio flsico fundamental: a taxa de passagem do calor para qualquer
parte da barra igual taxa de absoro do calor nesta parte da barra.
Os termos na equao correspondentes a cada efeito, so os termos do fluxo
de calor e o de absoro do calor.
67
Primeiramente, vamos calcular o termo do fluxo.
Consideremos um elemento da barra situado entre a seo reta em x e a seo
reta em (x + d), onde x um ponto qualquer arbitrrio no eixo da barra e d
pequeno.
As temperaturas nessas condies variam com o tempo e, portanto, no so
constantes, como requer a Lei de Resfriamento de Fourier. Para superar essa
/MITI T2 1
dificuldade, fixaremos o tempo I em Q= , fazendo T1 = u(x,r) e
T2 = u(x + d,t) e calculando seu limite quando d .
IrAlu(x,t) u(x+d,1 lu(x t) u(x+ d,t)I
limQ = hm = kAlim =kAlux (x,t)1
d->0 d-)43
Definimos, ento, o fluxo de calor na direo positiva do eixo x como uma
funo q(x,t) dada por:
q(x,t). kAlux (x,t)i.
0sinal negativo aparece nesta equao, pois s haver um fluxo positivo de
calor, da esquerda para a direita se a temperatura esquerda de x for maior que a
temperatura direita, neste caso, ux(x,t) sera negativa.
De maneira semelhante, a taxa na qual o calor passa da esquerda para a
direita atravs da seo na reta (x + d) dada por:
q(x+d,t). kAlui(x+d,t)i.
A taxa liquida na qual o calor flui para o segmento da barra entre x e (x + d)
, ento, dada por:
Q=q(x,t) q(x+d,t)
Q = kAux(x,t)+ kAux (x+d,t)
Q = kA[ux(x+d,t) ux(x,t)].
E a quantidade de calor que entra neste elemento de volume da barra, no
intervalo de tempo entre to e (to + At) 6:
QAt = kA[ux (x+d,t) ux (x,t)lAt .
68
Calculemos, agora, o termo de absoro.
A variao mdia de temperatura Au, no intervalo de tempo At,

proporcional 6. quantidade de calor QAt que entrou no elemento de volume e
inversamente proporcional massa Am do elemento.
Desta forma:
1 QAt QAt QAt
===
c Amc(pV) c(pAd)'
onde a constante de proporcionalidade c o calor especifico
barra ep a densidade da substncia.
A variao mdia de temperatura Au no elemento da barra

num ponto intermedirio (x + 6/5/), onde 0 <e <1 .
Assim, podemos escrever
AU=QAt
cpAd
ou
ou ainda:
QAt =[u(x + 8d,t + At) u(x + 0:1,t)]cpAd
QAt
u(x + ed,t + At) u(x+ Od,t)=
cpAd
do material da
a variao real
A fim de equilibrar os termos do fluxo e da absoro, igualaremos as duas
expresses de QA:
QA t =[u(x + Od,t + u(x + Lii ,t)Ic pAd=kA[u x (x + d,t) u x (x,t)]At
Ou seja,
[u(x +64i,t + At) u(x + 8d ,t)] k [ux (x + d ,t) u ,
At cp
Logo, passando para o limite quando At > 0, Ax > O obteremos a equao
de calor na forma seguinte:
UI =- 217 2
Cp
Fazendo K=, temos u = Ku, onde K a difusibilidade trmica.
cp
69
Essa equao, u, = Ku,, a lei da variao da temperatura numa barra
uniforme com a superficie lateral isolada termicamente, denominada Equao do
Calor.
CONDIES DE FRONTEIRA:
Inicialmente, vimos que a distribuio de temperatura deve depender da
temperatura inicial da barra (essa distribuio inicial da temperatura a condio
inicial do problema), e escrevemos que u(x,0) = f(x), onde f : [ 0, L] 01 uma
funo dada que descreve a temperatura nos vrios pontos da barra no instante t=0.
Alm dessa condio, importante saber o que passa nas extremidades da
barra.
Como as extremidades no esto isoladas termicamente, pode haver entrada
ou sada de calor. Isso deve, necessariamente, influir no valor de u(x,t) .
Diversas condies, relativamente simples, podem ser impostas as
extremidades da barra.
Por exemplo, a temperatura em uma extremidade pode ser mantida a um
certo valor constante T. Nesta extremidade, a condio de contorno (ou de
fronteira) u=T.
Veremos, agora, vrios tipos de condies de fronteira:
TIPO 1 (Condies de Dirichlet): Suponhamos que, por algum processo, as
extremidades da barra sejam mantidas a temperaturas conhecidas.
EXEMPLO A: Quando conhecemos a temperatura, que constante, em cada
extremidade:
u(0,t)=7; e u(L,t)= T2 ,
onde Ti e T2 so temperaturas dadas.
EXEMPLO B: Quando conhecemos a variao da temperatura em uma extremidade
(ou em ambas):
u(0,t) = ho (t) e u(L,t). k(t),
onde he (t) e h1 (t) , para t , so as temperaturas conhecidas em cada uma das
extremidades.
70
TIPO 2 (Condies de Neumann): Suponhamos que as extremidades estejam
isoladas
termicamente. Deste modo, no haver passagem de calor atravs dela, ou
seja, u x = O a condio de contorno, ento,
q(x,t)= -KAux (x,t)= ,
pois
ux (0,0=ux (L,t).
O
.
TIPO 3 (Condies Mistas): Suponhamos que o meio ambiente tenha temperatura
u0 e que haja transferncia de calor entre a barra e o meio ambiente, regidas pela lei:
Kux (0,0= 040,0 u0} , Kux (L,t)=e{u(L,t) u0} ,
onde e uma constante, dita emissividade, caracterstica do par constitudo pelo
material da barra e pelo meio ambiente.
TWO Uma combinao de duas quaisquer das condies acima.
EXEMPLO C:
u (0,t)= 0 e ux (L,t)=0 O.
EXEMPLO D:
u (0,t) ho (t) e ux (10 = 0 ,
onde ho (t), t temperatura conhecida.
EXEMPLO E:
u (0,t) = 0 e 21(0). T ,
onde a temperatura T dada.
3.2 Equaes Lineares de Segunda Ordem
Nesta seo, apresentaremos alguns resultados sobre Equaes Diferenciais
Lineares de Segunda Ordem, assunto que ser indispensvel no estudo da resoluo
matemtica da Equao do Calor.
Uma equao diferencial ordinria de segunda ordem tem a seguinte forma:
d2y dv
dt
2 = Y)
dt
) 3
ondef uma funo conhecida.
71
Dizemos que a equao Linear quando a funo f linear em y e suas
derivadas, isto 6, quando:
dv
g(t)- p(t)
dy
- q(t)y ,
dt
onde g, p e q so funes da varivel independente t.
dv
Neste caso, a equao
d2y
= f(t, y, fica:
dt2 dt
d2 y dy
= g(t)- p(t)-- q(t)y <=> y"-= g(t)- p(t)yl-q(t)y <z> y"+ p(t)34q(t)y = g(t) .
dt2 dt
No lugar da equao y"+p(t)y+q(t)y = g(t) , encontramos freqentemente a
equao
P(t)y"+Q(t)y'+R(t)y = G(t).
E evidente que, se dividirmos a equao P(t)y"+Q(t)y'+R(t)y = G(t) , por
P(t), ela se reduz a equao
yu+p(t)34q(t)y =
onde:
At) = Q0) q(t)
R(t)
e (. G(t)
P(T)' P(T) g0 P(T)
d 2y ( dv)
Se a equao = f t,y, no for da forma y"+p(t)y'+q(t)y = g(t) ou
dt2 dt
P(t)y"+Q(t)y'+R(t)y=G(t) denominada NAG-Linear.
Uma equao diferencial linear de 2a ordem homognea se o termo G(t)
for nulo para todo t . No sendo assim, a equao no-homognea. Por isso, o
termo em questo denominado o termo no-homogneo.
Iniciaremos, agora, a discusso com as Equaes Homogneas, que
escrevemos da forma
P(t)y"+Q(t)y'+R(t)y =0 O.
Vamos dirigir a ateno para as equaes nas quais as funes P(t), Q(t) e
R(t) so constantes.
Neste caso, a equao
P(t)y"+Q(t)y'+R(t)y =
fica
ay"+by'+cy = 0,
onde a, b e c so constantes dadas.

a
72
Vamos ganhar um pouco de experincia analisando umexemplo
especialmente simples:
Considere a equao y"- y = 0 que tema forma da equao ay"+by' +cy = 0 ,
coma=1, b= 0 e c=-1.
Queremos achar uma funo y que tenha a propriedade de a derivada ser a
prpria funo.
Uma ligeira meditao, nos levar a pelo menos duas funes bastante
conhecidas no clculo que temessa propriedade: as funes exponenciais y1 (t) =
e y2 (t)= e'. A experimentao revelar que os mltiplos dessas 2 funes so
tambmsolues da equao, como, por exemplo 2e' e 5e'. Logo, as funes
clYi(t) = ciet
e c2y2 (t) = c2e-' satisfazem equao diferencial y"-y = 0 , para todos
os valores constantes c1 e c
2.
Emparticular, uma vez que ci yi (t) = cl et e c2y2 (t)= c2e-f so solues da
equao, ento, tambm soluo a funo y = ci yi
(t) c2Y2(t) =
+ c2e-t , para
quaisquer valores de c, e C2 .
Pode-se verificar a afirmao pelo calculo da derivada segunda de y" : como
y = c,e` + c2e-t , ento, y'= c1 e1 - c2e-t < => y"= c,et + c2e-` . Logo, y = y"
Ou seja, uma vez observada que as funes Mt) e y2 (t) so solues da
equao y"-y= 0 , temos que a combinao linear destas funes tambmser uma
soluo.
Retomamos, agora, equao: ay"+byi +cy = 0 , que temcoeficientes
constantes arbitrrios (reais).
Vamos supor que y e", onde r uma parmetro a ser determinado. Ento,
y ' = re" e y" = r2 e"
Substituindo os valores y, y' e y" emay"+by'+cy = 0 , obtemos:
+ br + cXer9= O .
Como ert # 0 , ar2 + br + c = 0 .
A equao ar2 +br+c=0 denominada a Equao Caracterstica da
Equao Diferencial ay' +by'-i -cy = O .
73
Uma vez que ar2 +br +c=0 uma equao quadrtica com coeficientes
reais, tem 2 razes que podem ser reais e diferentes, reais iguais ou complexas
conjugadas.
Se ar2 +br +c =0 possuir 2 raizes reais e distintas, que denotaremos por r1
e r2 , ento, y1 (t) =e'v e y2 (t)=e- r 2 t so duas solues da equao ay' t+byi+cy =O e,
portanto,
y = (t) e2Y2(t) = clef
+c2 e1 2 i tambm soluo.
Suponhamos, agora, que desejamos encontrar um certo membro da famlia
de solues de y =c1 y1 (t)A-c2 y2 (t)
=c1 eur
+c2 er 2 ' que satisfaa tambm as condies
iniciais de que y(t 0 ) =yo e y' (t0 ) =y0 1 .
Pela substituio t = t o e y =yo na equao y =ci yi (t)+c2 y2 (t)=cle'v +c2 er2 1 ,
obtemos:
clef +c2 eq
=0
.
Analogamente, fazendo t = to e y'.
y
0 ' em y', obtemos:
Y 0 1 =cir ie44 c2 r 2 e7A
Logo, resolvendo o sistema
{
yo -=c1 e5 i +c2 er2 ia
y 0 ' =c, r i elk - 1 - c2 r 2 er A
encontramos:
cierA
=y0
c2 er 2 4 Y o 1 = ri (Y 0 c2 er 2 1 )c2 r 2 er 2 4 <=>
y0
'=1 3
0
tic 2 e rA 2 r2 er2 4 <=>
Y 1 1 Y o
<
Y o t . Y o n -
=> yo ' =ri yo = +c2 erA (r2 ) <= c2 er2 k f
e rgo
C2 - -
kr2
(r 2 )
' hr 2 _ri
Analogamente, c1 =
e
r 2 )
Assim, conclumos que, quaisquer que sejam as condies iniciais
estipuladas, sempre possvel determinar c, e c2 de modo a satisfaz-las.
Antes de continuarmos, apresentaremos dois importantes teoremas:
TEOREMA 3.1 (Principio da Superposio): Se y, e y2 forem duas solues
distintas de uma equao diferencial linear L(x) = y"+ p(t)34q(t)y =0 , ento, a
combinao linear cl yi + c2 y2 tambm uma soluo para quaisquer valores das
constantes c1 e c2.
74
DEMONSTRAO:
Substituindo a expresso cl y,(t)+ c2 y2 (t) por y em L(y), temos:
gc1.Y1 c2)/2) =(ciYI c2Y2)"- } - Xc1YIc2.Y2Y- Fq(c1Yi e2Y2) =
= (c1Y1)"(c2Y2)"P(qY1)'P(c2h) i- Fq(c1Y1) q(c2Y2) =
= ci(Yi "PYi 1- EgY1 ) c2(Y2
11
A- PY2'+gY2) = ciL(Yi) 4- c2L(Y2)-
Uma vez que L(y1
) = L(Y2) = O,
segue- se que gcl y, + c2 y2 )= O,
e, portanto,
+ c2 y2 sol uo de L(y)
Q.E.D.
Concl umos, ento, pel o TEOREMA 3.1, que qual quer ml tipl o de urna
sol uo da equao L[y]. y"+p(t)y'+q(1)y =O tambm uma sol uo.
Vamos, agora, discutir sobre como saber quando as constantes c, e c2 da
equao y = ci yi (t)+ c2 y2 (t) podem ser escol hidas de modo a satisfazer As condies
iniciais y(to ) = yo e At e ). yo ' .
Essas condies iniciais exigem que c1 e c2 sejam sol ues do sistema de
equaes:
fcl Yi (to ) - F c2 Y2 (t0)= Yo
(to ) c2 Y2 ' (to ) = yo '
Resol vendo as equaes acima, em c, e c2 encontramos que:
Y02'00 Yo ' Y2 (to ) Ai /1W - * yo
' y1 (t0 )
c1 = e . c2
y1 (t
0 ). 31 2 I (
t
0 ) yl 1
(t
0 ). Y2
(t
0 ) yl (1 ' 0 ). Y2 I (t0 ) . Y1 1
(t
0 )31 2
(t
0 )
Ou, em termos de determinantes:
c,
Yo Y2 (r0)
'0 Y2 0)
e
y1(t0)
Yo
y1 1 (t0)

yo l
I YI
(t0
) Y2(t0)1
IYI'(t0) Y2 1 00
c2

y1(t0)
Y2 (t0)1.

(to ) Y2 ' N A
Com estes val ores de c1 e C2 a expresso y = c1y1 (t)+c2 y2 (t) satisfaz As
condies iniciais y(to ) = yo e
Ato)= yo'
e tambm A equao diferencial
My]. y"+p(t)y'+q(t)y =0 O.
A fim de as expresses de c, e c2 fazerem sentido, 6 necessrio que os
denominadores sejam no- nul os.
75
Observe que, nas expresses de c, e c2 , o denominador 6 o mesmo: 6 o
determinante
W =
Y1(t0) Y2( t0)
Y11 (t 0) Y21 (t 0)
= Y100312 1 00 Y1 ' 00312 (t0).

Este determinante W o determinante Wronskiano das solues y, e y2
(W(14,Y2 )(t0)).
0 argumento anterior suficiente para comprovar o seguinte enunciado:
TEOREMA 3.2: Suponhamos que y, e y2 sejam solues da equao
L[y]. y"+p(t)y1+47(t)y =0, e que o Wronskiano
W = Yi
(t0
)Y2 1
(1
0 ) i (to )Y2 (to ) no
seja nulo no ponto t0 , onde se Exam as condies iniciais y(t 0 )= yo e y'(to) =
y
0 1 .
Ento, h uma escolha das constantes c, e c2 para a qual y = cl y,(t)+ c2 y2 (t)
satisfaz equao diferencial /IA= y"p(t)y-1-q(t)y = O e A s condies iniciais
Y(r0)=
y0
e = .Y0 1 .
Suponhamos, agora, que 8 2 4ac seja negativo. Ento, as raizes da equao
caracterstica ar2 + br + c = O so nmeros complexos conjugados. Vamos denota-
los por r, = + iu e r2 = A iu , onde A e u sdo nitmeros reais.
Ento, as expresses correspondentes de y so (t) = e("u e y2 (t) =
A primeira tarefa, agora, 6 explorar o significado dessas expresses, que
envolvem a funo exponencial de um nfunero complexo.
Uma vez que desejamos que as -pi opriedades usuais da funo exponencial
tenham validade para expoentes complexos, certamente queremos que e(2 ")t
satisfaa a igualdade e(2 1"" = eel .
Se substituirmos t por ut na Frmula de Euler e" = cost + i sent , teremos:
eh' =cosut+ isenut , logo, e( "i"Y = = eA t (cosut-i- isenut)= COSut+ sen ut
Tomaremos, agora, a equao eAs cos ut + ie' senut como defmio de P. +" .
Observe que as partes real e imaginria de e(' )' esto expressas
inteiramente em termos de funes elementares reais.
Com as definies = cost +i sent e e(1+" = e" cosut +iem sen ut 6 imediato
mostrar que as regras usuais dos expoentes so vlidas para a funo exponencial
76
d
complexa. Tambm fcil verificar que a frmula da derivao
dt
ke'). re"
tambm vale para valores complexos de r.
Ento, fazendo a soma e a diferena de y, e y2 , temos:
y1 (t)+ y2 (t) = ef 2 1 - i "" + e(A - h * = e" (cos ut + isen ut) e" (cosut - i senut) = 2 e' cos i a' e
(t) - y
2
(t) =

_
= e" (cos ut + i senut)- elf (Cos ti t senut)= 2 1 e' sen ut .
Desprezando os fatores 2 e 2 i em cada expresso, obtemos um par de
solues reais 40= cosut e v(t) = senut . Observe que u(t) e v(t) so a parte
real e a parte imaginria, respectivamente de y1 .
Pelo clculo direto, temos que o Wronskiano de u e v 6:
W(u,vXt)= u(t)vi (t)- v(t)u'(t)= e" cos(ut)P1 , sen(ut)- ue" cos(ut)]-
- sen(ut)ple'll cos(ut) - ue" sen(ut)]. ue2 " cos2 (ut)+ue2 " sen2 (ut) = ue2 "
Assim, desde que u 0, o Wronskiano W no zero e, assim, u e v formam
um conjunto fundamental de solues.
Portanto, se as raizes da equao forem nmeros complexos i u , com
u 0, ento, a soluo geral da equao ay"+by'+cy = O
y = cosut + e2 e" sen ut ,
onde ci e c2 so constantes arbitrrias.
Finalmente, vamos considerar, a possibilidade de que as duas raizes
r, e r2
da equao caracterstica serem iguais.
Este caso ocorre quando o discriminante b2 - 4ac nulo e, vei n dal, pela
frmula da equao do 2 grau, que i = r2 =
- b
.
2 a
A dificuldade que aparece imediatamente perceptvel: as duas raizes levam
-u
a mesma soluo yi (t)= e 2 da equao diferencial
ay"+by'+cy =0 e no evidente
como podemos encontrar uma segunda soluo.
Como exemplo, resolveremos a equao diferencial y"+4y+4y =0.
A equao caracterstica da equao acima r2 + 4r + 4 = 0 <=> (r +2 Y =0,
logo, r1 =r2 = -2 so as raizes dessa equao.
w(yi, Y2 Xi) =
= 8-4
-21e-st 2te-4t
=e'O.
2e-21
2t)e-21.
e
-2t

te-2t
77
Portanto, uma soluo de y"+4y'+4y = O y1 (t) = e 21. Afim de
encontrarmos uma soluo geral para essa equao, precisaremos de uma segunda
soluo que no seja mltipla de 3 4 (t) .
E bom lembrar que, se y1 (t) for uma soluo da equao ay"+by'+cy = O ,
cyl (t) tambm o sera, para qualquer constante c.
Aidia bsica a de generalizar esta observao pela substituio de c por
uma funo v(t) e tentar fazer a determinao de v(t) de modo que o produto
v(t)yl (t) tambm seja soluo.
Ento, vamos substituir y por v(t)yi (t) na equao y"+4y1+4y = O , e usar a
equao resultante para encontrar v(t).
Como y = v(t)yl (t)= v(t)e', temos que
yo= vi(t)e2' _ 2v(t)e2' e
y"= v"(t)e-21 - 2v' (t)e- 4v(t)e-2t -2v'(t)e-2t = v" (t)e-2t - (t)e-21 + 4v(t)e-2'
Logo, substituindo os valores de 3 1, y" e 3 ; " em y"+4 yi+4 y = O, temos:
[v"(t)e'- 41,(t)e-21 + 4v(t)e-21]+ 4[vt (t)e-2 -2v(t)e'l+ 4[v(t)e-21 ]= O< =>
< => v"(t)e-2'+[4v'(t)+ 4 v(t)le-21 +[4v(t) -8v(t)+4v(t)le-21 = Ov"(t)e-2'= O .
0que significa que v" (t) 0 e, portanto, v'(t) ci e v(t)= c1 t + c2, onde c1 e
C2 so constantes arbitrrias.
Finalmente, pela substituio de v(t) na equao y = v(t)e-21 , obtemos:
y = c1te-2/ c2e-2/
Observe que a segunda parcela do 2 membro da equao acima
descrita corresponde a soluo original Mt). e 21 , mas a
1 a
parcela constitui uma
segunda soluo, y2(t)= te-21
Essas duas solues no so proporcionais uma 6. outra, e podemos verificar
que so linearmente independentes, pelo clculo do Wronslciano:
Portanto, y1 (t) = e-2' e y2(t) = te-2` constituem o conjunto fundamental de
solues da equao y"+4 3 /4 y =0.
Usando o mesmo procedimento que foi utilizado no exemplo anterior,
encontramos a equao geral cuja equao caracterstica tenha raizes repetidas.
78
Isto 6, admite-se que os coeficientes da equao ay"+by'+cy= O obedeam a
-bt
b2 4ac = 0, e neste caso, Y, (t) = e 2 a uma soluo.
-bt
Depois, admite-se que y =v(t)yi (t)=V(t)e 2a e leva-se essa equao na
equao ay"+by'+cy= 0 a fim de determinar v(t) .
-bt L
u
-bt -bt L
u
-bt
b 2
Temos y'= v'(t)e 2 a v(t)e 2 a e y
I I
v (t)e 2 a (t)e 2 a
1 ,(t)e 2a
2a a 4a2 "
Ento, fazendo a substituio, encontraremos:
v, (0+ b2
-bt
{a[v " ( t) v(t) + b v'(t)-- b v(t) + cv(t) =0 <=>
a 4a2 2a
[
-
4 2a
b2
+ ci v(t) = 0 <=> crv"(t)+[c --
b2
1 (t)= O.

a
4a
Agora, observe que, como b 2 4ac 0, c=
b2
, entdo, o coeficiente de v(t)
4a
ser nulo e, portanto, v"(t) = O .
Logo, v(t)= C1 (t)C2 .
-hi
Ento, y = ci te 2 a c2te 2 a ,que a soluo da equao ay"+by'+cy= O.
3.3 Mtodo de Fourier pa ra resoluo
do Problema de Va lores
Inicia l e de Fronteira pa ra a Equa o de Ca lor
Vamos apresentar por R a regio do plano (x,t) determinada por O < x < L e
t > O , e por R a unio de R com sua fronteira, a(R), formada pelas semi-retas
Ix = 0,t > 0) e {x4 L,t > e pelo segmento {0 x i t = 0).
0 problema da conduo do calor consiste em determinar uma funo real
u(x,t) definida em i , que satisfaa a equao diferencial u, = (Equao do
Calor) em R, sujeita a uma das condies de fronteira descritas anteriormente, em
cada extremidade e condio inicial u(x,0)= f(x), onde f :[0,1 ,]>91 uma
funo dada. Esse problema chamado de Problema de Va lores Initia l e de
Fronteira ,ou Problema Misto.
79
Vamos comear com o caso em que as temperaturas nas extremidades da
barra
so mantidas constantemente iguais a zero, isto 6: u(0,t). u(L,t) = O .
Para isso, usaremos o Mtodo de Fourier.
Esse mtodo consiste em, primeiramente, usar separcKeio de variveis e
procurar solues u(x,t) do problema na forma: u(x,t)= F(x)G(t).
Nossa meta descobrir uma ou mais funes que se constituam candidatos
razoveis soluo do nosso problema. Uma vez identificado esse candidato,
tentaremos mostrar que ele soluo do problema.
Substituindo u(x,t) = F(x)G(t) em u, = Ku,, temos:
1 G(t) =F"(x)
F(x)G'(t)= KF"(x)G(t).(=> onde F(x),G(t)# O .
K G(t) F(x)
Como o lado esquerdo da equao depende apenas de t e o lado direito de x,
tanto o lado direito como o lado esquerdo da equao devem independer de x e de t,
'
respectivamente, podemos escrever:
F"(x)
=a
1 G (t)
e
KG(t)
=a., onde a um
F(x)
parmetro independente de x e de t.
"
AFIRMAO : A primeira equao,
F (x)
= a nos
F(x)
satisfazer a equao diferencial ordinria F"(x). F(x) 47> F"
O < x < L , e, como u(0,t) = u(L,t) = O , a funo F(x) tambm
condies F(0)= 0 e F(L)= O .
diz que F dever
(x) o-F(x) = 0 , para
dever satisfazer as
De fato, u(0,t) = F(0)G(t) = 0, Vt > O . Se F(0)* O , G(t). 0 e, portanto,
u(x,t) = F(x)G(t) = O . Mas se u = 0, essa funo no ter como satisfazer a condio
inicial que diz que u(x,0)= f(x) , ao menos que f (x) = 0, logo, F(0) = 0 e F(L) = O .
Procederemos no sentido de verificar quais os valores de a que conduzem as
solues F(x) do problema dado.
O bserve que, no nos interessa solues F(x) identicamente nulas, pois, desta
forma, obteramos u(x,t)=F(x)G(t)= O .
Portanto, precisamos resolver o seguinte problema: encontrar os valores de
o- e 91 tais que o problema de valores de contorno
fF"(x) aF(x)=
1 F(0) = F(L)=0
80
admita pelo menos uma soluo no-trivial. Esse problema 6 um caso particular do
Problema de Sturm-Liouville para operadores diferenciais lineares de segunda
ordem.
Para resolver esse problema, analisaremos cada uma das tres possibilidades
para o- :
(i) se cr > 0 , a soluo geral da forma: F(x)= c1 e' -'1 '' + c2 e"F`Tx e, para
satisfazer as condies que F(0) = F(L) = O, o par de constantes c, e c 2 dever ser
soluo do sistema:
1
F(0) = cle + c2 e = ci + c2 c i + C 2 = 0 <=> Ci = -C2
F (L)= ciel`l + c2 e- FL c i e'lL + c2 ehr I L =0 <=> c1 e'47 'L = c 2 e-"` 1 7'
Resolvendo a segunda equao temos:
cl e - -c 2 e = ce = c i e` ""L <=> cl e"irt - c le- =0 < => - ) = .
Mas, como (e1 -- i - ')* 0, a nica soluo desse sistema c1 = c2 = 0 , o
que implica que F(x) = 0, que no nos interessa.
(ii) se o- =0 , a soluo geral da forma: F(x)= ci x + c2 e, para satisfazer as
condies que F(0) = F(L)= , o par de constantes c, e c2 dever ser soluo do
sistema:
{ F(0) = c1 0 + c2 =c2 c2 =0
F(L)= ci L+ c2 c rl, + c2 = 0 ci L = 0
0 que implica que c, = c2 = 0 , e, portanto, F(x)= .
(iii) Finalmente, se cr < 0 , fazemos a = --/V, onde > 0 e a equao
F" (x)- o-F(x) = O fica F" (x)+ F(x) = 0.
A soluo geral dessa equao 6: F(x)= c1 cos(.1 x)+ 2 sen(Ax).
A primeira condio de contorno exige que F(0). 0 , ou seja,
F(0) = c1 cos(0)+ c2 sen(0) = c, = c 1 = 0 , de modo que F (x) = c2 sen(Rx) . Ento, a
segunda condio de contorno, F(L) =0, leva a F(L)= c2 sen(AL) = c 2 sen(2 L)= 0 .
Uma forma de cumprir a equao c 2 sen(AL) =0 fazer c2 =0, mas isso leva
soluo trivial F(x)= 0, Vx
81
Uma outra escolha fazer sen(AL) O, o que significa que AL =n9 , com
n=1,2,3...
Ento, 2=
mr
e, portanto,
. 1 2 = 7 1 1 , 27 r 2 2 , n= 1 ,2,3. . .
Observe que n no pode ser nulo, pois admitimos A> O.
OBSERVAO: Os valores de a= -A 2 para os quais existem solues no-triviais,
so denominados autovalores do problema de valor de contorno e as solues
ao-triviais correspondentes F(x), que so proporcionais a sen( nlix so
L
denominadas autofunes.
1 G'(t)
Analisaremos, agora, a segunda equao diferencial: = a.
K G(t)
Atravs dela, obtemos
, (t). aKG(t)<=> G. (t) - oic-G() = O.
Fazendo a=-A 2 , obtemos:
(t)+ kA 2G(t)= O.
Como / 1 .2 = n21 1 -2 , temos:
L2
G. (t)+
n2
-
2
7 .
(t)=0 O.
L
1
A soluo geral dessa equao G(t). Ce - n 2 1 C2 D I .
Ento, multiplicando as solues de F"(x) -aF(x)= 0 e G' (t)+ kG(t)= , e
desprezando suas constantes de proporcionalidade arbitrrias, obtemos:
t /
U(X,I) = F(x)G(t)=e2 sen( r u r c ce
_ n2,2KL2

L )
ou ainda,
n2 n2 Kt 1L2 n(MIX
21(X, t) = e se H.
82
Com isso, concluimos que as funes (x, t) = e
- n 2 , ' K tf L '
sen . _j j.

Vn = 1,2,3. . . obedecem a Equao do Calor e cumprem as condies de fronteira
u(0, t) = u(L , t)= O , t > 0, para qualquer valor positivo do inteiro n .
x-ix senHnl
S6 nos falta agora, mostrar que un (x, t) = e
Y
- tambm cumpre
as condio inicial de que un(x,0) = f (x) , x L .
Como ut = K u as condies de contorno so lineares e so satisfeitas por
un (x, 0, para Tr=1,2,3. . . , pelo Prin cpio daSuperposio, sabemos que a
combinao linear de un (x, t) tambm cumpre a equao diferencial e as condies
de contorno.
Por isso, vamos admitir que:

u(x, t) = E (x, t) .Ecn e-n2' 2W L 2 sen( "x ),

n=-1 n=1
onde c so constantes.
Admitamos que (ampliando o Prin cipio daSuperposio),
u(x,0 =E cu u ( x ,0 =Ecn eYrati- 2 sen( Inu).
n=1 n=1
Podemos ver que, cada parcela individual de u(x, t) obedece a equao
diferencial u, = K ;e as condies de fronteira u(0, t) = u(L , t) = O e que qualquer
soma finita dessas parcelas tambm cumpre essas condies.
A fim de obedecer condio inicial, devemos ter
u(x,o) =E c sen( m Z-) (x).
n=1
Ento, o candidato para soluo do problema dado seria:
u(x,t) Ecn e-n2n21CVesen(- 7 2 xx) .
n=1
CO
83
3.4 Existncia e representao de solues do Problema de
Valores Inicial e de Fronteira para a Equao de Calor
At agora, vimos que o problema da conduo de calor em uma barra
consiste em determinar uma funo zi(x,i) definida para. > 0 e 0 x L , tal que:
{ u,=Kuxx ,0<x<t, t>0
u(0,t)=u(L,t)=0, t >0,
u(x,0) = f(x), 0-. x L
onde a constante K e a funo f so dadas.
Um problema desse tipo denominado de Problema de Valores Inicial e de
Fronteira, para a qual designaremos a sigla PVIF.
Tambm chegamos, a uma expresso que nos pareceu razovel candidata
soluo do PVIF, que foi:
E[cn e--2-2K0 sen( mrx j]
L
onde os coeficientes c devenam ser escolhidos de modo que
f(x). [c,, sen(-n mc
L)].
Portanto, os c ser coeficientes de Fourier da funo f, dada em
[0,L] e estendida para o resto de 91, de modo a ser uma funo impar e peridica de
perodo 2L.
Assim, c, = -=-I[f (x)sen( )dx.
2 L
L 0 L _
Lembremos que, a distribuio inicial de temperatura f(x) deve satisfazer a
certas condies para que possamos representar a funo f como soma de uma
Srie de Fourier.
Por exemplo, pelo Teorema de Fourier, v-se que f(x)= E[c sen(n 7a)] se
n =1
verificar para todo xem [0,L], caso f seja continua, f (0)= f(L).O e seja
seccionalrnente continua.
84
Antes de prosseguirmos, vamos definir o que se entende por soluo PIVF:
DEFINIO (I) DE SOLUO DE PVIF: Uma funo u : ----> R, onde
R.{(x,t)E912 /0<x<L,t>0} e = {(x,t) E 912 /0 x 0) uma soluo
clssica do PVIF se ela for continua em 1k, tiver derivadas parciais u, e uu em R,
e satisfazer As relaes:
0<x<L, t>0
u(0,t) = u(L,t) = 0, t > 0
u(x,0) = f(x),
onde a constante K e a funo f so dadas.
A definio que vimos bastante natural, mas exige que o dado inicial que
f(x) seja uma funo continua e que AL). AO). O.
Mas, existem casos, como quando temos duas barras de mesmo material, de
temperaturas diferentes que so postas em contato em uma das suas extremidades, e
a partir desse instante, so olhadas como um sistema constitudo por apenas uma
barra, cuja temperatura inicial f(x) uma funo descontinua.
Para atender a esse tipo de condio inicial, apresentamos a defmiao abaixo:
DEFINIO (II) DE SOLUO DE PVIF: Uma funo u : Rt > R, onde
= {(x,t) E 912 /0 X t > 0) uma soluo do PVIF se:
I
u,=Kuxr , 0<x<L, t> 0
u(0 ,t) = u(L,t) = 0, t > 0
,
L L
lim f u(x,t)p(x)dx = i f (x)v(x)dx
para toda a funo p seccionalmente continua em [0,L] .
Mas o que significa limf u(x,t)0(x)cbc = f (x)v(x)dx ?
o
Veremos, a seguir, que dizer limf u(x,t)p(x)dx = f f(x)v(x)dx o mesmo que
t-4 0 0
0
afirmar que a condio inicial 6 satisfeita num certo sentido mdio, cuja
razoabilidade justificada pelo fato de que mais prprio falar em temperatura
8 5
mdia na vizinhana V
de um ponto x, do que propriamente em temperatura no
ponto x.
Antes, porm, vamos relembrar alguns conceitos importantes:
DEFINIO 3.1: Dizemos que V uma vizinhana de x, se x pertence ao
interior de V, ou seja, x E int(V)
DEFINIO 3.2: Sejam (M ,d) um espao mtrico e 0#V M.Um ponto x E
V chamado de ponto de interior de V se existe
r>O
tal que B(x,r) cV, onde
B(x,r) uma bola aberta de centro em x e raio r.
Se a vizinhana V no fosse um continuo, e sim um conjunto de n pontos
a temperatura mdia seria a mdia aritmtica:
u(x,,t)+ u(x2 ,t)+...+ u(x,t)

Sendo V um continuo, tomamos a verso continua da mdia aritmtica, para
u(x, t)X (x)dx
definir a temperatura mdia

,onde X, uma funo caracterstica

X, (x)cbc
da vizinhana V , isto 6, X,(x) = 1, se xV,e X,(x) = 0, se x EV .
Como funes
caractersticas de qualquer vizinhana de pontos x de [0,L]
so funes seccionalmente continuas,
limju(x,t)v(x)dx = f (x)q)(x)dx , implica
0
dizer que a temperatura mdia evolui continuamente a partir de
t = O .
Na verdade, a DEFINIO ( 1) nada mais do que uma extenso da
DEFINIO (I), logo, se o PVIF tiver uma soluo no sentido (I), essa soluo
tambm ser no sentido O D.
De fato, basta verificarmos que limf u(x,t)(o(x)dx = f (x)p(x)dx se verifica.
Seja uma funo yo(x) seccionalmente continua e sejam ./ ./ , j =1,2,...k ,
intervalos disjuntos, formando uma
partio de tO ,L1 e tais que op seja continua em
86
cada um deles. Assim, basta observar que limf u(x,t)v(x)dx = f f(x)p(x)dx, para
1 - 4 0
cada / J , decorrncia do fato de que quando u(x,t)v(x) uma funo
uniformemente continua no conjunto {(x, t)/ x e /J ; 0 t l}, ento, podemos passar
para o limite quando t 0 na integral paramtrica ju(x,t)v(x)dx
0
Enunciaremos, agora, o Teste da Razo, teste este, estudado no curso de
Clculo, que nos ser til na demonstrao do Teorema que apresentaremos logo a
seguir:
Teste da Razo: Suponha que o limite p = um
CO
srie infinita Ea. de termos no nulos:
n=1
(i) converge absolutamente se
p <1,
(ii) diverge se p
>
1 e
se p =1 nada podemos dizer.
a ! I exista e seja finito. Ento, a
a
TEOREMA 3.3: Se f for quadrado integrvel em [0 ,/,], ento, a expresso:
Ecnenz I rtk '2 sen 117 " define uma funo em 9 3.' que soluo PV1 F no sentido
DEMONSTRAO:
Queremos mostrar que a funo u(x,t) = Ecne- n2 1 1 2 1 '2 sen( nzx j soluo
n=1
PVI F no sentido ( 1 ), em 9 1 * = 1 (x,t) e 9 1 2 /0 x L, t> 0 ).
Para isso, u(x,t) dever ser continua em 9 1 * , ter derivadas parciais u, e uz, e
satisfazer as seguintes condies:
ui =Kuz,,0<x<L, t>0;
u(0,t) = u(L,t)= 0;
li mf u(x,t)(p(x)dx
o
87
para toda funo q seccionalmente continua em [0,./].
Primeiramente, mostraremos que a expresso EG cf l e-n 2 R 2 '2 sen 1 L T C X define
n = 1
uma funo continua em
Para isso suficiente demonstrar que a srie
i
C n e- n2 7 Z 2 k t ie sen - - 1 2 7 "
n = 1
converge uniformemente em cada sub- retngulo
9 1 1 2
x x2 <L, 0<t1..7
ct2 <co),
7C 2 Kt
Observe que essa srie majorada pela srie ye'n2 , onde a =
n = 1
C omo: 1 '
-cr(n+ly
I, 2
()
= lim ,
-
a Yr+2n+1 = 1 1 1 c -75r t+1 )=
0, pelo Teste da R azdo, temos

ec" 4 1 . 1 . ;
que Ee- '2 uma srie convergente e, aplicando o Teste M de Weirstrass,
podemos concluir que a srie EC nen24 2k 1 1 1 . 2 sen -- mrx converge uniformemente.
n = 1
A convergncia uniforme, em
,
dessa srie implica, pela PROPOSIO
1 .1 , que a funo u(x,t) continua em 9 1 * .
Mostraremos, agora, que as derivadas parciais u, e uxr existem e so
continuas em 91 1 2 .
C omo u(x,t).Ecn e
ion le (mu
sen temos:
n=1
u = Ecn n e
yez
t T2
sen
_.7 c 2 k
2 _n kti n x
n = 1
ff
=
_ n2x2k ile
cos
(n rcc
u Lc n e
L
e, portanto,
u =
7 E2

2 -n2n21 a/1 . 2
sen mcx .
1,2
n = 1
0 que mostra que u(x,t) soluo da equao u, -= Ku, , em
C O
Como as sries
n2 2 k 2
ncn e-n2 x 2 k senrinx e n2 c
7 1
e-sen
n=1
L
n=1
so majoradas, respectivamente, pelas sries:
CO
E
ne -an2 e En2 e'l
n=1 n=1
(n2 Kt 1
onde a = L2 , cujas convergncias tambm decorrem da aplicao do
Teste da Raab:
iim[(n 1 ) e la 2(n+ 1 ) 2 ]=1 imr 1 + 1
+ 3 )
) 1
+ i) =0
7,--.
ne'
7 1 - ' k n e42 B
'fin (71 + 02 e-a(n+ 1 ) - /1 )21
j
I

[
n2 n '
=

=- - 1 1 M 1 + W r 2 n +1 )
\ n e
Portanto, aplicando o Teste de Mde Weirstrass podemos concluir que as
sries:
Ence
-n2 n2 k t1 L2
ma

sen
(
e E/2 2 Cn e- 1 2 2 42 1 a/L2 mur se
n=1 n=1
convergem uniformemente.
Veremos, tambm, que u(x ,t) satisfaz a condio de fronteira:
u(0,t) = u(L,t) = 0 ; t > 0 .
Observe:
u(o,t) =Ecn e- n 2 ' 2 1 " sen(0). 0,
7 1 =1
1 4,0=Ec
7 1
e- n2K21 L2seri(nt) =O.
n=1
Para finalizar nossa demonstrao, mostraremos que, para toda funo o(x )
secciorialmente continua em [0,1],
l imu(x ,t) cp(x ) dx = f(x ) 9(x ) dx
1 ,0
88
Seja bn o coeficiente de Fourier de p(x ) , estendida como funo MPAR e
peridica de perodo
89
Vamos mostrar, ento, que: Ecn b. = 2f (x)v(x)cbc
n= 1
L o
Sejam
9(X) [
k = 1
sen( / Lx k )1 e f (x) = sen (n lt-x- - )1.
5 9(x) f (x)cbc = i { 1[1,1 sen( k nxt{ac 2[c n sen(/dx
0
0 k = 1
L
n= 1
L
L L _2 _ ,
. 5 E E iv. sen(--- sen H I & .EEbk c n 5 senH k Rx)sen luc c \ c fr =
L {p : i e g3 [
o 1 1 = 1 n= 1
knx) (nnx
L L
k = 1 n= 1 0

cOce
L
L L j
. E b k ck f sen2
(b
rx\CI X
= .0
E b k C k j
2
1 c os (
2ba -,
) dx =Ebk ck f - 1- dx = ibk c k L.
.
L L
r 1
.
L
k = 1
0
L ,
k =1
o
L
-
k = 1
0 2
k = 1
2
Logo,
5
9(x) f (x)dx = b
k ck L
o
k = 1
2
e, portanto,
E b k ck = 9(x)f (x)dx
k = 1 o
Por outro lado,
L
j
u(x, t)9(x)c fr = sen( n 1 9(x)c bc =
o
L
_ _ 2k ti
MI X
E C ne-n2A 2k ile sen( n --uc )(p(x)dx Ecne
2 r2
- n ' cp(x) sen(---)c bc =
n= 1
0 110
r L

1 1 . m r x Ec ne_ n27 , 2k (.14, .

E`c c ne--2-2k i/L2()f 9(x) sen(Hdx =
2
L 9(x)sen (2 1 - 1 x)dd=
2
n= 1
- L
n= 1
E cne- w w w (lb
"
=
i
L
n= 1
2
Cn2X 2Irtill eb
- nn
I
Observe que, para c hegarmos a esse resultado, foram utilizadas a
PROPOSI O 1 .2e a PROPOSI O 1 .5 (ii)
Finalmente, observamos que:

e- n2 '2k llecb l c
co
b 22< 0 0 para
nn
2
n= 1 n= 1 n=1
90
onde usamos a desigualdade 'alibi
lia2
+1)2 1, conseqn cia imediata de
2
o.
Ern virtude da Desigualdade de Bessel, a desigualdade -2-1E1).2 + c2 I <,
implica que a srie E C71221'11'2 cb converge uniformemente em t .
n=1
Conseqentemente, ela define uma funo continua de t, o que implica que:
hm E e - " 2- 1'21" - L 2 c nb
1-4
n=1 n=1
e, portanto,
limf u(x,t) 9(x)cbc = f f(x) 9(x)cbc
t- 40
Logo, u(x,t) soluo do PVlF no sentido (1).
Q.E.D.
TEOREMA 3.4: Seja f : [0,L] -->91 uma funo continua com f(L ) = f(0) = O e tal
que a derivada f' exista em 0,L1 e seja de quadrado integrvel. Ento, a expresso
X-1 -n2 nKt/L seietX)
Cne
2 2
define uma funo continua em /7, que soluo do PVI F no
n=1
sentido (I ).
DEMONSTRAO:
Como f uma funo continua,
f
e 1 f 1 2
quadrado integrvel.
so integrveis, quer dizer, f
Aplicando o TEOREMA 3.3 temos que a expresso cf l e-2 -2 K 1/1-2 sen
n4
define uma funo u(x,t) que a soluo do PVI F no sentido (1), isto 6, ut = k.u,
O < x < L , u(0,t) = u(L ,t) = 0, t > 0 e lim u(x,t)9(x)dx = f(x)9(x)dx , para toda
1,0
funo 9 seccionalmente continua em [O, L] .
Portanto, basta mostrarmos que Ecne
2
se
n)

L
define uma funo
n=1
continua em t O.
91
Observe que a srie Ec n e - n 2 1 ' 2 1 cr l 1 ' 2 se In " majorada pela srie para
n = - 1
n = 1
todo (x,t) Ento, se mostrarmos que Elcn I corverge, concluiremos, pelo Te ste
n = 1
M de We ie r str ass, que a srie e-2.2K1i12 sen nitx I converge uniformemente e
n = 1 n
absolutamente em [0,L] .
Para provarmos que Elcn i converge, necessitamos de uma expresso ligando
Cn com o coeficiente de Fourier de
f' .
2 L mix
Observe: cn = jf(x)sen(
L
)dx
L o
Usando integrao por partes, temos:
2 n gx)L
=- [- co si (x)1 - f' (x - co s L dx =
C n
L L n a- L L )n ,r 1
0 0
+[L

=- - 2 L [co s(- 1 "r xjf (x)] f (x)co s(71 1 dx].

L n g L L n .g

o o
2 r /1
Lcosogg(L) - co s(0) f (0)1 +
--
f
f (x)co t- ddx.
n it n .g
Como por hiptese, f (L) =f(0) =0, temos:
2 L
Cn = f f 1 (x)co s(- 71 71x)dx =
L [
-
2 1
f
,
(x)co sH r il dx].
n g L nit L L n it

o o
onde dn so os coeficientes de Fourier de fl x), funo par e periodica de perodo
2L.
De c =, obtemos
n it
1 L2
c/
2

I C n I 1- 4-
2 n
7
2
e, dai,
o
L2 1 1
n 2 2
n = 1
onde usamos a desigualdade de Bessel
L

Ed n2 If 1 1 2
n = 1 0
para concluir que essa ltima srie converge.
Q.E.D.
92
3.5 Unicidade de soluo clssica do PVIF
A unicidade da soluo do PVIF no sentido (I) que apresentaremos logo a
seguir, consequncia imediata do resultado enunciado a seguir:
TEOREMA 3.5 (Principio do Mximo-Mnimo): Seja u(x,t) uma funo

continua no retngulo = {(X,t)/Xi X2 ,t1 2 ' 2 }, tal que u, = para

<x < x2 e t, < t < t2 . Ento, o mximo de u assumido em um dos seguintes lados
de R1 2 :

li ={x = x1 ,t1 5 _ t = = X x2 ) ; 1 3 = {x = x2 ,1 - 1 t2 }.
DEMONSTRAO:
Seja Mo mximo de u em 1 71 2 em o mximo de u em A, onde A =1 1 V1 2 Ud3
Queremos mostrar que M= m.
Suponhamos, por contradio, que M> m, j que no h possibilidade de
M< m pois A c
Seja P = (x0 ,t0 ) um ponto de A, -A, onde u assume seu valor mximo.
Seja v(x,t) uma funo definida como:
-m
v(x,t)= u(x,t)+ (x x0 )2
4L2
, onde L = x2 -
-
Em A, temos v(x,t)< m+
1 1 1 in
L
2
< Me v(x0 ,t0 ).u
4L2
mximo de v assumido em um ponto (, i ) de . 1 71 2 - A.
o , . o
= 0 . Logo, o
Em (7, T), devido a condio de mximo de uma funo de vrias variveis,
temos que:
vt (5 e,T) 0 e vix (. 7,17) O.
Por outro lado, como
v(Y,T)=4Y,T)+ 1 1 1 -1 72 x0 )2 =
4/.2
= 2 1 (1 7,0 + M (77C 2 - 2 .TC X0 + x02 ) =
4/.2
= U(TC ,F)--F k 7 2 - 2k-XX0 bC O2
onde k =
M m
, temos que:
4L2
v, 07, 0 = u i (e,t)
M
e v .(
7, i )
x(Y
' t)
2L2
93
pois
vc 74{Y,0 + 2kx0
e, portanto,
( V,T)+ M m u
2L2
E como u satisfaz a equao de calor, u , = ku ,,, temos que
= kuic, 07, 1 - )
e, portanto,

v,(,1) = k[v. (. 7,t)(M ff1)1<=> v,(T) Y, kvx,(7,T) k M
21,2 2L2m
Ento, v, ( , ) < kv, c,(. 77,i ), o que contradiz que vt , 0 e vi x(77,0 O .
Logo, M = m.
Q.E.D.
COROLRIO: Seja f uma funo dada em [0, L] Ento, a soluo do PVIF no
sentido (I) , caso exista, nica.
DEMO NSTRAO :
Sejam (x,t) e u 2(x,t) solues distintas de PVIF no sentido (I) .
Seja v(x,t). (x,t) u2 (x, 0 .
Como u 2(x,t) e u i (x,t) so funes continuas, v(x,t) tambm ser.
Veremos, agora, se as derivadas parciais v, e v de v(x) t) satisfazem a
condio v, = Kv,, x. Como as funes u ,(x,t) e u2(x,t) so solues do PVIF no
sentido (I) , satisfazem as condies (u ,), = Iqu i L, e (u2 ) , = K(u 2). , temos que:
v, = (u1 ) , (u2 ) , = K(u 1 ) = K(u , u2
e, portanto,
=
Da mesma forma, como u, (0, 0= u, (Lt)= O e u2 (0, 0= u 2(L,t) = 0, temos que:
v(0, 0= u2 (0, t) ul (0, 0 = 0 e v(L, u 2(L,t) u l (L,0= 0 ,
94
logo, v(x,t) satisfaz as condies de fronteira
t) = v(L, t) = 0 .
Alm disso, u2 (x,0). u1 (x,0)= f (x) , ento:
v(x,0). u2 (x,0)u1 (x,0). f (x) f(x) = O.
Ento, v continua e satisfaz as seguintes condies:
Kv,
v(0,t) = v(L ,t) =
v(x,0) =
e, portanto, pelo TEOREMA 3.5, v(x,t). 0 , o que nos leva ao resultado
u2 (x, t) = ui (x,t).
Logo, a soluo PVT no sentido (I), caso exista, nica.
Q.E.D.
3.6 Resoluo de PVIF relacionados Equao de Calor
Nesta seo, usaremos o que estudamos para resolveremos alguns problemas
relacionados Equao do Calor.
3.6.1 Condies de Contorno Homogneas
At agora, consideramos o problema constitudo pela equao da conduo
do calor u,= Ku, , 0<x<L, t > 0 e as condies de contorno u(0,t) = 0 , u(Lt)=0,
t>0 e a condio inicial u(x,0)= f(x), J r I, e encontramos a soluo
u(x,t) =
E,e_nyKite se ma
onde os coeficientes c, so dados por
n=1
2 L
niTTN
c =
-f
f(x)sen("
L
Como exemplo, resolveremos o seguinte problema de conduo de calor:
{ ur = u, 0 < x < 1 , t > 0;
u(0,t)= u(1 ,t) = 0, t > 0;
u(..x,0) =50, 0 < x <1 .
95
Como a temperatura da barra satisfaz s condies de calor, neste caso, com
K =1, L=1 e f(x). u(x,0). 50, 0< X < 1 , temos que:

n-n22a1L2
mu
u(x,t) Ece
sen
) e
.Ecn e-n 2 '2 1 sen (rin x),
n= 1 n= 1
onde
L 1
1
2
mu
en =
j-
- f(x)sen(- 1- - )dx = 2150 sen (mtx)dx = 100f sen(nnx)cbc ..
L o
o o
= - - ioo
[cos(nn) - 1]
=
100
k ir - 11

mcn n
Observe que, se n for impar, teremos cn =0.
Ento, faremos n = 2 n - 1 e, assim:
en = /
- 100
k 1)2.- 1 1 ] = .
200

2n (2.n -
e, portanto:
c200 o2 r

U(X
(2n - 1)

t =E seni(2n - 1)7rxi .
7E
c n- 0 R 2 I

3.6.2 Condies de Contorno no-Homogneas
Suponhamos que uma das extremidades da barra sej a mantida na temperatura
constante T e a outra extremidade na temperatura constante T2

Ento, as condies
de contorno so: u(0,t) = T1 , u(10= T2 , t > 0
J a condio inicial u(x,0) = f(x) , 0<x<L, e a equao diferencial
U, = Ku.,, continuam imutveis.
Com modificaes apropriadas, reduzindo o problema a um outro com as
condies de contorno homogneas, o problema pode ser resolvido diretamente pelo
Mto do de Separagdo das Variveis.
Depois de um intervalo de tempo dilatado, isto 6, quando t - - > cc, podemos
prever que sera atingida uma distribuio permanente de temperatura v(x), que ser
independente do instante I e das condies iniciais.
Uma vez que v(x) deve obedecer a equao do calor
u, = Ku,
temos que
v"(x)=0, 0<x<L.
96
Alm disso, v(x) deve obedecer as condies de contorno, logo,
v( 0) = T
e v(L) = T2 ,
que valem tambm quando t co .
Com isso, temos que:
v(x)
Portanto, a distribuio permanente de temperatura
uma funo linear de x.
Voltando ao problema original, vamos tentar exprimir u(x,t) como a soma
da distribuio
de temperatura no
estado permanente v(x) e uma outra distribuio
de temperatura w(x,t).
Escrevemos, ento:
u(x,t) = v(x ) + w(x, t) .
Uma vez que v(x) =
(T2 - T1) x ,
o problema ser a resolvido desde que
possamos determinar
w(x,t).
Pela equao u, = Ku, temos:
e, dai, como
temos que,
(1 + = 411
vE ,=v,=0,
w = kw.
E, como
temos que
e, portanto:
e, finalmente,
u(x,t)=v(x)+w(x,t),
w(x, t)= u(x, t) - v(x)
w(0 ,t) = u(0 ,t) v(0) = T1 T1 =0,
w(L,t) = u(L,t)v(L) = T2 T2 =0
C,0) = U(X,O) V(X) = f (x) v(x) .
97
Portanto, a parte transiente da soluo do problema original se encontra pela
resoluo do problema constitudo pelas equaes:
{
w,=Kw,0<x<L, t>0;
w(0,t). w(L,t). 0, t >0;
w(x,0). f(x)-v(x), 0 x- L.
Este problema, porm, j foi resolvido, onde f (x) v(x) tem, agora, o papel
de distribuio inicial de temperatura.
Portanto,
u(x, t) =
(T2
T
GO
_2 1,,A2 tinx
x+ i + Ecn e " " sen
n=1
onde
2 L
cn f[f(x)- (T 2 -T1 )--I-Idsen(r nwldx .
o
L
L
EXEMPLO:
Resolveremos, agora, o seguinte problema de conduo de calor:
u,=u 0<x<1, t>0;
u(0,t) = 10, u(1 ,t) = 60, t >0;
u(x,0)=10, 0 < x<1.
Observe que, neste caso, K =1 , L=1 e f(x)=u(x,0)=1 0, 0 <x <1. Alm
disso, temos que u(x,t) ter que satisfazer as condies de contorno
u(0,t)=10, u(1 ,0 = 60, t > O, logo, trata-se de um problema com condies de
contorno no-homogneas, onde T1 =10 e T2 =60.
Ento,
2 -T
u(x,t)= x+T1 + Lce-7 1 2 '2 1 ci ll-2 sen( nmc)= 50x +10 + Ecne-"22r2i sen(nnx),
(T O

n=1 n=1
onde
2 L
c = (x)-(T2 -7 1 )Z--Ti lsen(51 - x)dx= 2f [- 50xlsen(ngx)dx=
L L
o
sen(nir)+ nn- cos(n2r)]
=100r 100
n( i)"
=100 (-11)n , n=1 ,2 , ..
2 2
n n
2
x
2
98
Portanto,
u(x,t) = 50x +10+ c c E' 100 { 1 ) n e - ' 1 2 2 . 2 1 sen(nnvc ).
n =1
nn
3. 6. 3 Barra com as extremidades isoladas
Um problema ligeiramente diferente aparec e se as extremidades da barra
estiverem isoladas, de modo que no haja passagem de c alor atravs delas.
De ac ordo c om a Lei de Resfriamento, a - taxa de passagem de c alor atravs de
uma seo reta proporc ional A. taxa de variao de temperatura na direo x.
Assim, no c aso da inexistnc ia de passagem de c alor, as c ondies de
c ontorno so uz (0,t)= O, ux(L,t)= O, t > 0 .
0 problema proposto pelas equaes:
0<x<L, f>0;
i.;(0,t). 0, ur (L,t) = 0, t> 0;
u(x,0)= f (A), 0 L.
tambm pode ser resolvido pelo Mtodo da Separatio de Variveis.
Se fiz ermos u(x,t)= X(x)T(t), e substituirmos esta expresso de u na
equao ut = Ku, temos que
X" (x)

X(x)T(t)= KT(t)X"()
1(t)
x)<=> ,
KT(t) X(x)
onde a uma c onstante. Obtemos, ento, duas equaes diferenc iais
ordinrias:

X"(x)+ aX(x) = 0 e T' (x)+ KaT(x)= 0 .

Para qualquer valor de a, o produto das solues das equaes ac ima 6 uma
soluo da equao diferenc ial ur = Ku,. No entanto, estamos interessados somente
nas solues que tambm obedec em as c ondies de c ontorno.
Se substituirmos a expresso u(x,t)= X(x)T(t) nas c ondies de c ontorno em
x= O , obtemos u(0,0= X'(0)T(0= O. Como no podemos ac eitar que T(t) seja
nula para todos os valores de t, e, ento, u(x,t) tambm ser nula, devemos ter
X' (0)= O.
Se, da mesma forma, usarmos a c onduo de c ontorno em x= L, temos:
,c (L,t)= X' (L)T(t) = 0 e, enc ontramos X'(L) = O.
99
Admitindo que a seja um nmero real, analisaremos os casos em que a <O,
a=0 e a>0.
1
0
) Se a < 0 conveniente fazermos a = , onde A. um nmero real e positivo.
Ento, a equao X" (X) aX(x) = 0 fica X" (x) -- ? 2 X(x) = 0 e a sua soluo geral
X(x) = K1 sen(A.x) + K2 cos(A.x) .
Neste caso, as condies de contorno s podem ser obedecidas se fizermos
= . K2 = .
Uma vez que esta escolha inaceitvel, segue- se que a no pode ser
negativo.
2 ) Se a = 0 teremos X" (x)=0 e, portanto, X(x) = Ki x + K2 .
Ento, pelas condies de contorno temos que K, = O, mas no sabemos o valor de
K2 .
Como, T' (x) - f - KaT(x)=0, com a =0 temos que T ' (x)=0 e, portanto, que
T(t) uma constante, o que pode ser combinado com K2 .
Portanto, quando a = O, obtemos a soluo
zi(x,t) = K2 _
3 ) Finalmente, com a > O , seja a = , onde um nmero real positivo.
Ento, a equao X" (x)+aX(x)=0 fica X" (x)+X,2 X(x)= 0 e sua soluo
geral
X(x) = K1 sen(Xx) + K2 COS(). X)
A condio de contorno X' (0) = 0 exige que K1 = O, e a condio X' (L). O requer
que A, = ./ com n =1 ,2 ,..., mas deixa K2 indeterminado.
L
100
Desta forma, o problema tem uma seqncia infinita de autovalores
a =
n2 7 / 2
com as autofunes correspondentes X(x) =cos( ) .
L2
Para estes valores de a as solues T(t) so proporcionais a e
- 7 7 2 1 1 2 .1 0 1 1 , 2
Combinando esses resultados,
solues para o problema:
temos o
uo (x, t) =1,
n - n2 2 KII 2 u(x, t) =e I
{
seguinte conjunto fundamental de
, n= 1,2 ,... ' r m l cosL
onde desprezamos as constantes de proporcionalidade.
Em virtude de a equao diferencial e as condies de contorno serem
lineares e homogneas, qualquer combinao linear finita das solues
fundamentais tambm satisfaz a ambas.
Vamos admitir que esta afirmao seja correta para as combinaes lineares
infinitas das solues fundamentais.
Assim,
para que se cumpra a condio inicial u(x,0) f(x), x L, vamos
admitir que u(x, t) tenha a forma:
u(x, t) =
c
L ido (x, t) + cn u, i (x
E 0 ene_ n2 n 2 Kile
COS mr -x
c
2
n=1
2
n=1
Os coeficientes c so determinados pela exigncia
u(x,0) =+ L cn cos( m" =
2 L
Assim, os coeficientes desconhecidos na equao acima devem ser os
coeficientes da srie de co-senos de Fourier paraf, com o
perodo 2 L .
Dai, temos:
2 L
Cn = f(x)cos(
Incx
L
)dx, n=1 , 2 , ..
L o
Com esta escolha,
+Ecn e - " 2 1 1 2 WL2 cos(nRx )
proporciona
a soluo do problema da conduo de calor em uma barra com as
extremidades isoladas.
CO
c
u(x,t)=-+ Ec e-n2A210-2 cos
2 n = 1 n
'ma)
L
101
EXEMPLO:
Como exemplo, resolveremos o problema de con duo de calor abaixo:
{ ut =u, O<X<TC, t>0;
Ux (0,t) - = 0, 1 . 4 x (lt,t)=- - 0, t > 0;
Zi(X,O) = X, 0 < X < IL
Neste caso, K =1, L= 7 E e f(x) = x, 0< x < r. Almdisso, u1 (0,0 = 0 e ux (re,t) = 0,
t> 0 , ou seja, trata-se de uma barra comas extremidades isoladas e, portan to, a
soluo u(x,t) da forma
on de
2 L mrx
= f f(x) cosHd

'
x, n =1,2, . .
L
En to, calculan do co e c, temos:
2
)dx co = ix cos(0 = = 7 C c = 2 1x cos(n x)dx =
It o

2 r ,
i '
1

Logo,
Lk
1 TJ 2
u(x,t
Referncias Bibliogrficas
[1] ABEL, Martha L. "Differential Equations with Maple V". Academic Press,
Inc. EUA, 1994.
[2] BOYCE, William E. "EquaOes Diferenciais Elementares e Problemas de
Valores de Contorno". Editora Guanabara S. A. Rio de Janeiro, 1988.
[3] EVE, Howard. "Introduo Histria da Matemtica". Editora da UNICAMP.
Sao Paulo, 1995.
[4] FIGUEIREDO, Djairo Guedes. "Anlise de Fourier e EquaVies Diferenciais
Parciais". Projeto Euclides, 3 a Ed. IMPA, Rio de Janeiro, 1977.
[5] INCROPERA, Franck P. "Fundamentos de Transferncia de Calor e de
Massa". Livros Tcnicos e Cientficos Editora S. A. Rio de Janeiro, 1998.
[6] IORIO Jr., Rafael Jos. "Egan6es Diferenciais Parciais: Uma Introduo".
IMPA. Rio de Janeiro, 1998.
[7] LIMA, Elon Lages. "Curso de Anlise" Vol. 1. Livros Tcnicos e Cientficos
Editora S. A. IMPA, Rio de Janeiro, 1978.
[8] KREIDER, Donald. "Introduo Anlise Linear. Sries de Fourier" Vol. 2.
Livros Tcnicos e Cientficos Editora S. A. Rio de Janeiro, 1972.
[9] SPIEGEL, Murray Ralph. "Anlise de Fourier". Editora Mcgraw-Hill do
Brasil, 1976.
[10] SPIVAK, Michael. 'Calculus". Third Edition Publish or Perish, Inc. Texas,
1994.
102