You are on page 1of 11

Equao do Calor - Modelagem Matemtica e

Mtodo de Fourier
Jean Cerqueira Berni

Orientador(a): Marta Cilene Gadotti

Resumo: O fenmeno de conduo de calor em uma barra pode ser modelado por
uma equao diferencial parcial. Utilizando argumentos fsicos, mostraremos
com detalhes como se d a construo desse modelo, utilizaremos o mtodo
de Fourier para trabalh-lo e discutiremos a motivao resultante deste para o
aprofundamento em conhecimentos de Anlise Real.
Palavras-chave: mtodo de Fourier, modelagem, equao diferencial parcial

Deduo da Equao do Calor


Considere uma barra condutora, de dimenso linear preponderante e dimen-

ses seccionais insignificantes, como, por exemplo, um arame bem fino e bem
extenso em comprimento, isolado termicamente do meio ambiente a no ser por
suas extremidades. Se colocarmos a barra, no sentido deste seu comprimento
sobre o eixo dos xx, e aquecermos uma das extremidades , o fluxo de calor darse- longitudinalmente, da extremidade mais quente para a mais fria, conforme
rege a lei do resfriamento . Deste modo, estamos tratando de um problema de
conduo trmica unidimensional.
Queremos uma funo u : R R2 R, u(x, t) , que descreva a temperatura
num ponto x da barra num dado instante t; esta nossa motivao.
Fourier modelou, baseado em seus experimentos, uma equao que descreve
a quantidade de calor transferida de uma seco transversal para outra por
unidade de tempo (fluxo

Q
t

de calor, cuja unidade S.I. W , i.e.,o watt [joule

por segundo] ) em funo da rea das mesmas, A , que supomos constante, da


1 Bolsista

Fapesp 2009/05185-3

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

distncia entre duas destas seces, d, e do mdulo da diferena entre as temperaturas nestas extremidades, T1 e T2 .
A Lei de Fourier que modela este fenmeno, fixando um intervalo de tempo t,
:
A. | T2 T1 |
Q

t
d
Onde Q a quantidade de calor absorvida ou cedida por um material , medida
em joules, J , A a rea da seco transversal da barra, T1 e T2 so as temperaturas nas extremidades e d o comprimento da mesma. Inserimos uma constante
de proporcionalidade que se chama condutibilidade trmica, , e temos:
Q
A. | T2 T1 |
= .
t
d

(1.1)

A Lei de Fourier, como vemos, independente do tempo (pois fixamos o intervalo


de tempo), portanto precisamos de uma funo que descreva de modo mais
completo a situao da barra, i.e., uma funo que descreva a temperatura
(dependente do fluxo do calor,

Q
t )

em funo do tempo e de sua coordenada

espacial.
Definamos, agora, a funo na qual estamos interessados, sempre considerando
que o calor est fluindo da extremidade mais quente para a mais fria.
Definio 1. Uma funo u : U R2 R, u(x, t), dita de classe C (2) se suas
derivadas parciais de segunda ordem , i.e.,

2u 2u
2 u
x2 , t2 , xt

2 u
tx ,

existirem e

forem contnuas em U R2 .
Seja u(x, t) uma funo de classe C (2) que descreve a temperatura da barra
na sua coordenada x, no instante t. Para contornar a dificuldade da ausncia
da varivel tempo na Lei de Fourier, introduzimos a grandeza fluxo de calor
atravs de x num instante t, do seguinte modo:
- Fixamos o tempo em (1.1), e fazemos T2 = u(x + d, t) e T1 = u(x, t);
- Passamos o limite da funo u(x + d, t) u(x, t) quando d tende a zero em
(1.1).
Assim, se denotarmos por q(x, t) o fluxo de calor atravs de x no instante t,

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

temos:
q(x, t) := .A. lim

d0

| u(x + d, t) u(x, t) |
u(x + d, t) u(x, t)
= .A. lim
d0
d
d
(1.2)

Como a temperatura decresce conforme x cresce, introduzimos um sinal de


menos em (1.2), que fica:
q(x, t) = .A.

u(x, t)
x

(1.3)

Fixemos, agora, para > 0, um elemento entre os pontos x0 e x0 + , ao longo


do eixo dos xx. Calcularemos o calor que entra em x0 no perodo de tempo,
para > 0 entre t0 e t0 + .
Fixe um ponto qualquer da barra, x0 , e defina Q como sendo a quantidade de
calor que entra na regio delimitada por x0 e x0 + num intervalo de tempo
arbitrrio, de t0 a t0 + . Esta quantidade escrita como:
Z t0 +
Z t0 +
q(x0 + , t)dt
q(x0 , t)dt
Q =

(1.4)

t0

t0

Pela Lei de Fourier, (1.3), temos:


Q =

t0 +

t0


u(x0 + , t) u(x0 , t)
.A.dt

x
x

Usando o Teorema Fundamental do Clculo em (1.4), temos:


Z t0 + Z x0 + 2
u(x, t)
Q =
..A.dxdt
x2
t0
x0

(1.5)

Definio 2 (Calor Especfico). Calor especfico uma grandeza fsica que


define a variao trmica de determinada substncia ao receber determinada
quantidade de calor.
A unidade no S.I.

J
kg.K

(Joule por Quilograma Kelvin). Uma outra unidade

mais usual para calor especfico

cal
g.C

(Caloria por Grama Grau Celsius).

Sabemos, da fsica bsica, que


Q = m.c. = .V.c = .V.c[u(x0 , t0 + ) u(x0 , t0 )]

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

Onde a densidade volumtrica da barra, c o calor especfico do material


do qual esta constituda ,V o volume desta e o incremento de temperatura
que o pedao da barra sofre num dado intervalo de tempo.
Temos, ento :
Q = .V.c[u(x0 , t0 + ) u(x0 , t0 )]
Mas observe que:
V = A.

x0 +

dx

x0

Ento:
Q = .A.c.

x0 +

[u(x0 , t0 + ) u(x0 , t0 )]dx

x0

E usando novamente o Teorema Fundamental do Clculo:


Z t0 + Z x0 +
u(x, t)
Q = .A.c.
dtdx
t
t0
x0

(1.6)

Comparando (1.6) e (1.5), temos que:

t0 +

t0

x0 +

u(x, t)
.c..Adtdx =
t

x0

t0 +

t0

x0 +

x0

2 u(x, t)
..A.dxdt
x2

Chegamos em:
Z

t0 +

t0

x0 +

x0


u(x, t)
2 u(x, t)
..A
.c..A dtdx = 0
x2
t

O argumento da integral acima contnuo pois supusemos que u(x, t)


de classe C (2) , pelo menos. Ademais, a igualdade acima vlida para todo
t0 , , x0 , R. Afirmamos que o argumento da integral acima identicamente
nulo.
Suponhamos, ab absurdo, que este seja no-nulo. Ento este argumento seria
positivo ou negativo para algum t0 , , x0 , R. Suponha-o, sem perda de
generalidade, positivo. Como este argumento contnuo, segue que existe uma
bola aberta B R na qual este positivo, o que implica na no-nulidade da

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

integral, contrariando o fato da igualdade acima valer para qualquer vizinhana,


o que absurdo. Logo, segue o fato. Portanto:
.
Ou seja:

Denominamos

2u
u
= c.
2
x
t

2u
u
=
.
t
c. x2

c.

por difusibilidade trmica, k, assim, podemos reescrever a

equao acima como:

u
2u
= k. 2
t
x

(1.7)

A equao (1.7) conhecida por equao do calor ou equao da difuso. Nosso


objetivo principal ser descobrir quais funes u(x, t) satisfazem (1.7).
Observe que qualquer constante soluo de (1.7), e a funo u(x, t) = c.x tambm o . Enfim, existem muitas outras; a determinao da soluo procurada
depende de fatores fsicos. Algumas das condies que interferem fortemente na
determinao da soluo esto listadas abaixo:

I- condio inicial do problema


Podemos ter uma funo f (x) que descreve a temperatura da barra na
coordenada x no instante t = 0, i.e.,
u(x, 0) = f (x)
Onde f : [0, L] R
II- condio de contorno do problema
Podem ser de vrios tipos:
tipo 1: As temperaturas nas extremidades so conhecidas.
u(0, t) = T1
u(L, t) = T2

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

Num caso mais complexo, podemos ter que a temperatura num ponto de
coordenada x da barra no instante t = 0 ser expresso por uma funo:
u(0, t) = h0 (t)
e
u(L, t) = h1 (t)

tipo 2: Temos as extremidades isoladas termicamente, i.e., no h fluxo


de calor nas extremidades:
u(0, t)
u(L, t)
=
=0
x
x
tipo 3: H transferncia entre o meio e as extremidades. Para abordarmos
este tipo precisaremos da seguinte definio:
Definio 3 (Emissividade). Em fsica, emissividade relao entre o
poder emissivo de um corpo qualquer e a de um corpo negro. conhecida
como emissividade, e, e pode ter um mximo igual a 1, que correspondente de um corpo negro, e um mnimo igual a zero. Corpos que possuem emissividade inferior a um so chamados corpos cinza. Corpos onde
a emissividade tambm dependente da temperatura e comprimento de
onda so chamados corpos no-cinza. A emissividade mede a maior ou
menor tendncia que determinado corpo tem em emitir radiao. O poder
de emissividade est associado natureza do corpo, rea exposta e
temperatura absoluta a que se encontra.

u(0, t)
= e{u(0, t) u0 }
x
u(L, t)
= e{u(L, t) u0 }

x
tipo 4: Qualquer combinao dos casos anteriores.

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

Formulao Matemtica do Problema


Considere o plano cartesiano de eixos x e t, onde t ser a nossa coordenada

temporal e x ser a nossa coordenada espacial. Queremos definir uma funo


real u(x, t) no fecho do conjunto R = {(x, t) R2 /0 < t < , 0 < x < L}, R,
que satisfaa:

2u
u
= k. 2
t
x

em R, alm das condio inicial:


u(x, 0) = f (x) x (0, L)
e da condio de fronteira:
u(0, t) = u(L, t) = 0
Este tipo de problema conhecido como problema de valores iniciais e de
contorno . Um mtodo desenvolvido para resolver este tipo de equao foi desenvolvido por Fourier, e o veremos a seguir.

Definio 4 (Mtodo de Fourier). Supomos inicialmente que a funo procurada, u(x, t) pode ser escrita como o produto de duas funes, uma exclusivamente dependente de x e outra exclusivamente dependente de t, isto , da
forma:
(1.8)

u(x, t) = F (x).G(t)
Substituindo (1.8) na equao do calor, teremos:
F (x)G0 (t) = k.F 00 (x)G(t)
1 G0 (t)
F 00 (x)
=
k G(t)
F (x)

Observe que aqui supusemos F (x) e G(t) nunca se anularem. Conclumos da


equao acima que os quocientes no podem depender nem de x nem de t, de

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

modo que deve ser uma constante, :


1 G0 (t)
=
k G(t)
e
F 00 (x)
=
F (x)
Agora, reduzimos o problema de resolver uma E.D.P. ao problema de resolver
duas EE.DD.OO.. Resolvamos uma delas:
(1.9)

F 00 (x) F (x) = 0
Como u(0, t) = u(L, t) = 0, segue que:
F (0)G(t) = F (L)G(t) = 0 t > 0

o que implica F (0) = F (L) = 0 pois G(t) 0 no nos interessa. Resolvendo o


P.V.C. (problema do valor de contorno):

F (x) F (x) = 0
F (0) = 0

F (L) = 0

teremos trs possveis valores de a analisar:


i) > 0
F (x) = c1 e

+ c2 e

Para satisfazer o problema do valor inicial temos que ter:


(
c1 + c2 = 0; pois F (0) = 0

c1 e L + c2 e L = 0; pois F (L) = 0
o que implica c1 = c2 = 0, e F (x) 0 no nos interessa.
ii) = 0
F (x) = c1 x + c2
Com c2 = 0 e c1 L + c2 = 0 c1 = c2 = 0, uma soluo trivial que
tampouco nos interessa;

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

iii) < 0
Fazemos = 2 para facilitar os clculos. Temos:
F (x) = c1 cos (x) + c2 sen (x)
que dever satisfazer:
(

c1 = 0
c2 sen (L) = 0

Como, novamente, no queremos uma soluo identicamente nula, i.e.,


c2 = 0, ento devemos ter:
c2 sen (L) = 0 com c2 6= 0 sen (L) = 0
O que implica que:
L = n, n Z
Assim, =

n
L :

= 2 =

n2 2
L2

Como para cada n temos um diferente, ento designaremos:


2n =

n2 2
L2

que sero designados os autovalores do P.V.C..


Chegamos concluso de que as funes que satisfazem E.D.O. (1.9)
so:
Fn (x) = sen

 nx 
L

que sero designadas as autofunes do P.V.C..


Agora, resta-nos achar a soluo geral da outra E.D.O. em t, a saber:
(1.10)

G0 (t) kG(t) = 0
que ser, para cada n:

n2 2
kt
Gn (t) = cn .e L2

BICMat, Volume VI, de 2009

10

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

un (x, t) = Fn (x)Gn (t)


Portanto, para cada n N teremos uma funo:
n2 2 k.t
 nx 
L2
. sen
un (x, t) = cn e
L

Vamos definir u(x, t) como sendo:,

n2 2 k.t
 nx 
L2
. sen
u(x, t) =
cn .e
L
n=1

tambm soluo, onde os cn cn so constantes. Observamos que esta soluo


descrita por uma srie de funes e, portanto, precisaremos de critrios para
decidir sua convergncia. Por hiptese, u(x, 0) = f (x), o que implica:
f (x) =

cn sen

n=1

 nx 
L

o que sugere que a funo f dever poder ser escrita como uma srie de senos.
E o mtodo de Fourier culmina na indicao deste candidato como soluo.
Agora, temos que provar que ele realmente soluo do problema dado, o que
implica em vrios problemas.
Problema 1 : Ser que a funo dada, f (x) , pode ser escrita como uma srie
de senos? Se no puder, ento u(x, t) como a encontramos no servir como
soluo. A deveremos ver em que condies f (x) pode ser escrita dessa forma,
bem como obter os coeficientes cn cn para esta.
Problema 2 : Sendo a funo u(x, t) descrita em termos de uma srie, mais
que natural levantarmos a questo sobre sob quais condies esta converge, e
se, de fato, esta satisfaz E.D.P. dada.
Se levarmos o assunto adiante, constataremos que ele nos conduz naturalmente
ao estudo de conceitos como o de convergncia uniforme de sries de funes, a
que classe de funes pertence f (x) ( de classe L1 ? Peridica? Absolutamente
Integrvel? Integrvel?), o critrio de Cauchy para a verificao da convergncia
de tais sries, a completude do espao onde estamos trabalhando, a importncia da compacidade do domnio de certas funes que consideramos, dentre

BICMat, Volume VI, de 2009

Equao do Calor - Modelagem Matemtica e Mtodo de Fourier

11

inmeros outros assuntos.


A deduo da equao do calor nos leva, assim, a uma marvilhosa fonte de motivaes para estudos de anlise matemtica ao nos apresentar uma aplicao
palpvel desta no quotidiano, mostrando-nos a complexidade e a utilidade das
equaes diferenciais parciais.
Agradecimentos: professora Marta Cilene Gadotti, por ter me acolhido neste
projeto to profcuo, ter-me dado todo o seu paciente e incansvel apoio e por
ter sido uma mentora to boa e dedicada, dando toda a assesoria imprescindvel
realizao e efetivao deste projeto.
Abstract: The phenomenon of the heat conduction in a straight bar can be
modelled through a partial differential equation. In this paper, using physical
arguments, we must show with details how this model is constructed, use the
Fouriers method to work it, and discuss its resulting motivations to go further
with our analysis knowledges.
Keywords: Fourier method, modelation, partial differential equations

Referncias Bibliogrficas
[1] Figueiredo, D.G., Anlise de Fourier e Equaes Diferenciais Parciais, Associao Instituto Nacional de Matemtica Pura e Aplicada, 2003
[2] Tagliaro, Antonio., Fsica, volume 2, Editora F.T.D., S.A., 1966
[3] www.wikipedia.org, acesso em 30/7/2009

BICMat, Volume VI, de 2009

You might also like