Professional Documents
Culture Documents
REGIO NORTE
IV Colquio de Matemtica
da Regio Norte
TEORIA DE GREEN
E ESCOAMENTO
DE POISEUILLE
GILBERLANDIO J. DIAS
Teoria de Green e Escoamento
de Poiseuille
Teoria de Green e Escoamento de Poiseuille
Copyright 2016 Gilberlandio J. Dias
Direitos reservados pela Sociedade Brasileira de Matemtica
A reproduo no autorizada desta publicao, no todo ou em parte,
constitui violao de direitos autorais. (Lei 9.610/98)
Editor Executivo
Hilrio Alencar
Assessor Editorial
Tiago Costa Rocha
Comit Cientfico
Eduardo Teixeira UFC
Giovany Malcher Figueiredo UFPA
Joo Xavier Cruz Neto UFPI
Jos Nazareno Vieira Gomes UFAM
Sandra Augusta Santos UNICAMP
Eliane Leal Vasquez UNIFAP ( Coordenadora Geral)
Marcel Lucas Picano Nascimento UNIFAP
Distribuio e vendas
Sociedade Brasileira de Matemtica
Estrada Dona Castorina, 110 Sala 109 - Jardim Botnico
22460-320 Rio de Janeiro RJ
Telefones: (21) 2529-5073
http://www.sbm.org.br / email:lojavirtual@sbm.org.br
ISBN (eBook) 978-85-8337-111-3
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Prefcio
i
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
ii
2
No plano: canais; e no espao: cilindros
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
iii
Sumrio
PREFCIO i
2 O TEOREMA DE GREEN 9
2.1 Campos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.1 Definies . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.2 Operadores Diferenciais . . . . . . . . . . . . . . . . . . 9
2.2 Integrais de Linha . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.1 Integrais de Linha de Campos Escalares . . . . . . . . . . 11
2.2.2 Integrais de Linha de Campos Vetoriais . . . . . . . . . . 13
2.2.3 Teorema Fundamental das Integrais de Linha . . . . . . . 14
2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.1 Formas Vetoriais do Teorema de Green . . . . . . . . . . 16
4 IDENTIDADES DE GREEN 27
4.1 As Identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.2 O Princpio do Mximo para Funes Harmnicas . . . . . . . . . 34
v
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
vi SUMRIO
5 A FUNO DE GREEN 37
5.1 Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2 Funo de Green para a Bola Unitria . . . . . . . . . . . . . . . 42
5.3 Funo de Green para o Semiplano . . . . . . . . . . . . . . . . . 48
5.4 Observaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6 ESCOAMENTO DE POISEUILLE 55
6.1 Sistema de Navier-Stokes com Lei de Potncia . . . . . . . . . . 55
6.2 Solues paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6.3 O Problema de Poiseuille . . . . . . . . . . . . . . . . . . . . . . 59
6.4 Soluo de Poiseuille para n = 2 . . . . . . . . . . . . . . . . . . 60
6.5 Soluo de Poiseuille para n = 3 . . . . . . . . . . . . . . . . . . 61
6.5.1 Primeira Resoluo (EDO) . . . . . . . . . . . . . . . . . 62
6.5.2 Segunda Resoluo (Soluo Radial) . . . . . . . . . . . 62
6.5.3 Aplicao da Soluo para o Clculo de uma Integral . . . 65
6.6 A Constante de Poiseuille . . . . . . . . . . . . . . . . . . . . . . 66
Referncias Bibliogrficas 69
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Captulo 1
NOTAES E RESULTADOS
PRELIMINARES
1
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
Adotaremos Br B(0; r) e B B1 .
D = (A D) (B D) = A = ou B = .
Proposio 1.1.
No que segue, a menos que se mencione o contrrio, C uma curva com para-
metrizao
r : [a, b] R3 (1.1)
t 7 r(t) = x(t), y(t), z(t)
Definies 1.5.
Uma curva dita plana quando est contida"em um plano, isto , o seu
trao est contido em um plano de R3 .
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
Uma curva dita fechada se seu ponto final coincide com seu ponto inicial,
ou seja, r(b) = r(a).
1. Ci Cj = , i 6= j;
2. As curvas Ci , i 6= 1 esto situadas no interior de C1 ;
3. A curva Ci est no exterior da curva Cj , i 6= j, i, j > 1.
Definio 1.6. Dizemos que uma curva fechada simples C, em R2 , tem orientao
positiva quando a curva percorrida"no sentido anti-horrio. Assim, se C for dada
por uma funo vetorial r(t), a t b, ento a regio U interior C est sempre
esquerda quando o ponto r(t) percorre C (para uma definio mais rigorosa de
orientao de curvas planas, veja [1, seo 11.24]).
r : D R3
(1.2)
(u, v) 7 x(u, v)i + y(u, v)j + z(u, v)k .
2
No confundir com o senso comum de curva, no qual a circunferncia nunca se intersecta, o que
no verdade para a parametrizao (cos 2t, sen 2t), t [0, 2].
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Observaes 1.8.
Definio 1.9.
Definio 1.11. Seja S uma superfcie parametrizada dada pela funo vetorial
r : D R3 . Fixado (u0 , v0 ) D as curvas paramtrica r1 (u, v0 ), r2 (u0 , v) para
(u, v0 ), (u0 , v) D so denominadas curvas coordenadas da parametrizao r
passando por r(u0 , v0 ).
x y z
ru = (u0 , v0 )i + (u0 , v0 )j + (u0 , v0 )k
u u u
x y z
rv = (u0 , v0 )i + (u0 , v0 )j + (u0 , v0 )k .
v v v
Se ru rv no nulo, ento o ponto P0 dito um ponto regular da superfcie.
A superfcie S dita regular (ou lisa, sem bicos") se todos os seus pontos forem
regulares. Para uma superfcie regular o plano tangente o que contm os vetores
tangentes ru e rv , e portanto tem vetor normal ru rv .
Observaes 1.13.
Exemplos 1.16.
Agora vamos definir a orientao positiva para a curva fronteira de uma su-
perfcier orientada (curva espacial). Seja S uma superfcie orientada, simples e
regular por partes. Sua fronteira (quando existir) uma unio de curvas fechadas.
A orientao positiva n de S induzida, via parametrizao r : D S da se-
guinte forma: se C1 uma curva fronteira de S, ento como C1 = r(1 ), onde 1
uma curva fronteira de D orientada positivamente, a orientao positiva de C1
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Captulo 2
O TEOREMA DE GREEN
Definio 2.3. Um campo vetorial de classe C k se, e somente se, suas funes
componentes so de classe C k .
9
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
F = (F1 , . . . , Fn ) .
Observaes 2.8.
O TFIL diz que podemos calcular a integral de linha de um campo vetorial con-
servativo sabendo apenas o valor de f nas extremidades de C. Em outros termos
ele diz que a integral de linha de f a variao total de f .
De uma forma geral, se F for Z um campo vetorial contnuo em um domnio U ,
dizemos que a integral de linha F dr independente do caminho se
C
Z Z
F dr = F dr
C1 C2
(i) F conservativo;
Z
(ii) F dr = 0 para todo caminho fechado C em U ;
C
Z
(iii) F dr independente do caminho em U .
C
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
P Q
= em U.
y x
P Q
= em U,
y x
ento F conservativo.
Q P
Z ZZ
P dx + Q dy = dA . (2.6)
C U x y
A notao I
P dx + Q dy
C
usada algumas vezes para indicar que a integral de linha calculada usando-se
a orientao positiva da curva fechada C. Outra notao para a orientao positiva
da curva fronteira a U U , assim a equao no TG fica
Q P
ZZ Z
dA = P dx + Q dy .
U x y U
temos U = [a, b], U = {a, b}, como no lado direito a dimeno de U zero,
integrao entendida como soma orientada", da F (b) F (a).
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
P
Z ZZ
P dx = dA (2.7)
C U y
(2.8)
Q
Z ZZ
Q dy = dA . (2.9)
C U x
Os operadores div e rot nos permitem escrever o TG em uma verso que ser
til futuramente. Considere na regio plana U , sua curva fronteira C e funes P e
Q que satisfaam as hipteses do TG. Ento, podemos considerar o campo vetorial
F = P i + Qj. Sua integral de linha
I I
F dr = P dx + Q dy
C C
Q P
Portanto (rot F) k = , e assim o TG na forma vetorial fica
x y
I ZZ
F dr = (rot F) k dA . (2.10)
C U
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
da
P x, y y 0 Q x, y x0
I Z b Z b" #
0
F n ds = (F n)(t)|r (t)| dt = |r0 | dt
C a a |r0 (t)| |r0 (t)|
Z b Z
P x, y) y 0 (t) Q x, y x0 (t) dt =
= P dy Q dx
ZZa C
P Q
ZZ
TG
= + dA = div F dA ,
U x y U
ou seja, I ZZ
F n ds = div F dA . (2.11)
C U
A equao (2.11) tambm chamada de Teorema de Green. Esta verso diz
que a integral de linha da componente normal de F ao longo de C igual integral
dupla do divergente de F na regio U delimitada por C.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
18
CAPTULO 2. O TEOREMA DE GREEN
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Captulo 3
OS TEOREMAS DE STOKES E
DA DIVERGNCIA
19
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
Observao 3.4. Se S uma superfcie regular por partes, ou seja, uma unio
finita de superfcies regulares S1 , . . . , Sm que se intersectam somente ao longo de
suas fronteiras, ento a integral de superfcie de f sobre S definida por
ZZ ZZ ZZ
f (x, y, z) dS = f (x, y, z) dS + + f (x, y, z) dS .
S S1 Sm
ru rv ru rv
ZZ ZZ ZZ
F dS = F dS = F r(u, v) |ru rv |dA ,
S S |ru rv | D |ru rv |
ou seja, ZZ ZZ
F dS = F (ru rv )dA . (3.2)
S D
Observao 3.6. Compare (3.2) com a expresso anloga para o clculo integral
de linha de campos vetoriais
Z Z b
F dr = F(r(t)) r0 (t) dt .
C a
Teorema 3.7 (Teorema de Stokes - TS). Seja S uma superfcie orientada, simples
e regular por partes, cuja fronteira formada por uma curva C fechada, simples,
regular por partes, com orientao positiva. Seja F um campo vetorial C 1 em uma
regio aberta de R3 que contm S. Ento
I ZZ
F dr = rot F dS .
C S
Como
I I ZZ ZZ
F dr = F T ds e rot F dS = rot F n dS
C C S S
Esta precisamente a forma vetorial do TG dada pela equao (2.10). Ento vemos
que o TG , na verdade, um caso especial do TS.
Observao 3.8. Note que como no caso do TFIL em que a integral de linha inde-
pendia da curva, mas sim dependia apenas dos pontos extremos da curva (ou seja,
da fronteira da curva), a frmula (3.3) mostra que a integral de superfcie depende
apenas da fronteira da superfcie. Assim, para S1 e S2 superfcies orientadas com
mesma curva fronteira orientada C e ambas satisfazem as hipteses do TS, temos
ZZ I ZZ
rot F dS = F dr = rot F dS .
S1 C S2
Este fato til quando a integral sobre uma das superfcies for de difcil resoluo,
enquanto que sobre a outra a integral se torne mais fcil.
Anteriormente mencionamos que aplicaramos o Teorema de Stokes para obter
um critrio de determinao de campos vetoriais em R3 . A seguir apresentamos
tal resultado.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
F = f rot F = ~0 .
Para um caminho fechado no simples, como ele pode ser dividido em diversos
caminhos simples e as integrais ao longo desses caminhos simples so todas 0, e
sendo a integral ao longo do caminho a soma dessas integrais, segue que a integral
ao longo do caminho 0.
Teorema 3.11 (Teorema da Divergncia - TD). Sejam E uma regio slida, cuja
fronteira uma superfcie S orientada positivamente, e F um campo vetorial C 1
em uma regio aberta que contm E. Ento
ZZ ZZ ZZZ
F dS F n dS = div F dV .
S S E
2
Isso sempre possvel, mas sua demonstrao foge ao escopo deste texto
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Observaes 3.12.
Teorema 3.13. Sejam E(t) e S(t) um slido e sua fronteira, ambos atendendo s
hipteses do Teorema da Divergncia. Seja A um ponto de E(t) tal que E(t) A,
quando t 0, e seja F um campo vetorial C 1 num aberto contendo E(t). Ento
1
ZZ
div F(A) = lim F dS . (3.5)
t0 |E(t)| S(t)
1
ZZ
rot F(A) = lim n F dS
t0 |E(t)| S(t)
1
I
n rot F(A) = lim F dr (3.6)
t0 |S(t)| C(t)
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Note que em ambas as frmulas acima, temos definido o rotacional sem a pre-
sena de sistema algum de coordenadas. Quanto interpretao fsica do rotaci-
onal, sendo
Z F = v um campo de velocidade de um fluido, a integral de linha em
(3.6) v T ds. Agora, como v T a componente da velocidade v na direo
C
do vetor T, unitrio tangente curva C, e como o valor de vT cresce medida que
a direo de v se aproxima da direo de T, segue que a integral de linha em (3.6)
mede a tendncia do fluido mover-se em torno de C e , por isso, denominada cir-
culao de v em torno de C. Portanto o limite em (3.6) representa a circulao por
unidade de rea no ponto A; enquanto n rot F(A) representa a medida do efeito
da rotao do fluido em torno do eixo n, isto , uma densidade de circulao da
velocidade v em torno do eixo n (essa a razo para o nome rotacional).
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
26
CAPTULO 3. OS TEOREMAS DE STOKES E DA DIVERGNCIA
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
Captulo 4
IDENTIDADES DE GREEN
4.1 As Identidades
Neste captulo vamos nos restringir ao R2 , para o tratamento em R3 veja [11].
Do Teorema de Green seguem trs identidades de grande aplicao no estudo de
Equaes Diferenciais Parciais (EDP), denominadas identidades de Green. A se-
guir veremos duas delas.
Teorema 4.1 (1a e 2a Identidades de Green). Sejam U um domnio onde vale o
Teorema de Green e u, v C 2 (U ). Ento
u
Z Z
(vu + v u) dA = v ds (1a IG)
U U n
u v
Z Z
(vu uv) dA = v u ds (2a IG)
U U n n
onde a derivada direcional na direo do vetor unitrio normal exterior n.
n
Prova. (1a IG): Seja F = vu. Ento F um campo C 1 em U e
F = (vu) = v u + vu. Aplicando o TG vem
Z Z Z Z
TG
(vu + v u) dA = F dA = F n ds = (vu n) ds
U ZU U U
u
= v ds .
U n
Assim provamos a primeira identidade de Green.
(2a IG): Aplicando a (1a IG) para u, v e para v, u, obtemos
Z Z Z
(vu uv) dA = (vu + v u) dA (uv + u v) dA
U ZU UZ
u v u v
Z
= v ds u ds = v u ds .
U n U n U n n
Assim provamos a segunda identidade e finalizamos a prova do teorema.
27
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Corolrio 4.2. Sob as hipteses do Teorema 4.1, se u = 0 em U , tem-se
u
Z Z
2
|u| dA = u ds (4.1)
U U n
u
Z
ds = 0 . (4.2)
U n
Prova. Basta fazer v = u na (1a IG) para obter a primeira equao e v = 1 na
(2a IG) para obter a segunda equao.
Como aplicao de (4.1) temos o teorema de unicidade para a equao de
Poisson.
Teorema 4.3 (Unicidade Poisson). Sejam U como no Teorema 4.1, f C(U ) e
g C 2 (U ). Ento o problema de Dirichlet para a equao de Poisson
2
u C (U )
u = f em U (4.3)
u=g em U
u C 2 (U ) C(U ) ,
4.1. AS IDENTIDADES 29
u = 0 .
Observaes 4.6.
Agora vamos obter a Soluo Fundamental do Laplaciano. Para esse fim usa-
remos a representao do Laplaciano em coordenadas polares.
Consideremos as frmulas de mudana de variveis, entre coordenadas carte-
sianas e coordenadas polares:
F () = F ( ) , 6= .
|g(x)| M, n B[; R] .
4.1. AS IDENTIDADES 31
e portanto
Z
M | ln r|
Z
r0+
F g ds ds() = M r| ln r| 0 .
B(;r) 2 kk=r
F
Z
lim g ds = g() .
r0+ B(;r) n
xa yb
n= = , ,
k k k k k k
ento
F
Z Z
g ds = F () n()g() ds()
B(;r) n kk=r
1
Z
= g() ds()
2 kk=r k k2 k k
1
Z
= g() ds()
2r kk=r
Lema 4.13. Dado U , seja R > 0 tal que B(; R) U . Para cada r (0, R),
seja Ur = UrB[; r]. Ento, para qualquer que seja g C(U ), existe o limite
Z
lim F ()g() d .
r0+ U r
prova. Seja Z
I(r) = F ()g() d .
Ur
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
|g()| M, U .
Ento
Z Z t Z 2 Z t
ln k k d = | ln r|r drd = 2 r| ln r| dr ,
s<kkt s 0 s
Observaes 4.15.
4.1. AS IDENTIDADES 33
u u
Como U compacto e u contnuo em U , limitada, e F integrvel
sobre B(; r). Logo pelo Lema 4.11
u
Z
lim F ds = 0 .
r0+ B(;r)
F
Z
lim u ds = u() .
r0+ B(;r)
F u
Z Z
= u ds F ds .
B(;r) n B(;r) n
Observao 4.20. No item (i) o domnio A pode ser ilimitado da a continuidade
de u no garante a existncia de mximo, por isso temos a hiptese de existncia
do mximo em A; j no item (ii) no h a necessidade da hiptese de existncia do
mximo em A, visto que A limitado e u contnua em A.
Obviamente temos o anlogo para o mnimo, de tudo que foi comentado para
o mximo. Por simplicidade vamos registrar apenas o Princpio do Mnimo.
Corolrio 4.21 (Princpio do Mnimo). Vale o mesmo princpio acima, apenas
substituindo mximo por mnimo.
Prova. Obviamente v = u satisfaz todas as hipteses do Princpio do M-
ximo. Da, fcil ver, que aplicando-se o Princpio do Mximo v obtemos o
Princpio do Mnimo para u.
Agora findaremos este captulo provando a unicidade do problema de Poisson,
como prometido.
Teorema 4.22. Sejam U um domnio limitado, f C(U ) e g C(U ). Ento
existe no mximo uma soluo para o problema
2
u C (U ) C(U )
u = f em U (4.12)
u = g em U
Captulo 5
A FUNO DE GREEN
5.1 Definio
Para motivar a introduo da funo de Green consideremos o problema no
domnio limitado U onde vale o Teorema de Green. Suponha que o problema
2
u C (U )
u = f em U (5.1)
u = g em U
para f C(U ) e g C(U ) tem uma soluo. Pela Terceira Identidade de Green
a soluo dada para x U por
!
F u
Z Z
u(x)= F (x y)f (y) dy+ g (x y) (y)F (x y) ds(y) . (5.2)
U U ny ny
37
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Para realizar tal plano introduzimos para cada x fixo em U uma funo corre-
o Hx = Hx (y) = H(x, y) soluo do problema de valor de fronteira
2
Hx C (U ) C(U )
H (y) = 0
y x em U (5.3)
H (y) = F (x y) em U
x
Pelo Teorema 4.22 vemos que existe no mximo uma funo Hx para o problema
acima.
Aplicando a Segunda Identidade de Green obtemos
!
u Hx
Z Z
Hx (y)u(y) dy = Hx (y) (y) u(y) (y) ds(y)
U U ny ny ! (5.4)
u F
Z
= F (xy) (y)u(y) (xy) ds(y) .
U ny ny
Conduzido por essa explanao vamos definir, por enquanto, a funo de Green
para domnios limitados. Contudo veremos no decorrer deste captulo que tambm
se tem a funo de Green para um domnio ilimitado.
Definio 5.1 (Funo de Green). A funo de Green para um domnio limitado
com fronteira C 1 a funo
G
Z Z
u(x) = G(x, y)f (y) dy + g(y) (x, y) ds(y) , (5.6)
U U ny
isto , u totalmente expressa em funo dos dados f e g.
Observaes 5.2.
5.1. DEFINIO 39
G G
Z
A = G(x, z) (y, z) G(y, z) (x, z) ds(z)
ZB(x;) n n
Hy
= Hx (z) (z) ds(z)
B(x;) n
Fy Hy
Z Z
Hx (z) (z) ds(z) Fx (z) (z) ds(z)
ZB(x;) n Z B(x;) n
Fy Hx
+ Fx (z) (z) ds(z) Hy (z) (z) ds(z)
ZB(x;) n ZB(x;) n
Fx Hx
+ Hy (z) (z) ds(z) + Fy (z) (z) ds(z)
B(x;) n B(x;) n
8
Fx
Z X
Fy (z) (z) ds(z) = Ii .
B(x;) n i=1
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Em destaque escrevemos
0+
I1 0 . (5.9)
Analogamente tem-se
0+
I5 0 . (5.10)
Agora vamos ao I2 .
Z
xz
|I2 | = Hx (z)z Fy (z) ds(z)
Z B(x;)
|Hx (z)| |z Fy (z)| ds(z) .
B(x;)
0+
I2 0 . (5.11)
Agora vamos
Hy
Z
I3 = Fx (z) (z) ds(z) .
B(x;) n
Hy
Pelo argumento aplicado na obteno de (5.11), temos contnua e limitada
n
Hy
em B[x; ] e como Fx contnua em B(x; ) temos Fx integrvel em relao
n
ao comprimento de arco; Logo, segue do Lema 4.11 que
0+
I3 0 . (5.12)
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
5.1. DEFINIO 41
0+
I4 0 . (5.13)
0+
I6 Hy (x) = H(y, x) . (5.14)
0+
I8 Fy (x) = F (y, x) = F (x, y) . (5.16)
8
X
lim A = lim Ii = H(y, x) F (y, x) = G(y, x) . (5.17)
0+ 0+
i=1
Observaes 5.4.
G(x, y) = F (y x) H(x, y) .
x 2
x x
2 2 2
2
kxk ky x
k = kxk
y = kxk y y
kxk2 kxk
2 kxk2
2y x 1
2 2 2
= kxk kyk + = kxk 2y x + 1
kxk2 kxk2
= kx yk2 .
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Da u
(x) = u(rx) soluo de (5.20) com g(x) = g(rx) em vez de g(x).
Com efeito, se u soluo de (5.23), ento
(x) = r2 [u](rx) = 0
x u
(y) = u(ry) = 0 , pois ry Br y B .
u
Assim de (5.22) temos
1 kxk2 g(y)
Z
u
(x) = dS(y) , x B .
n B ky xkn
Passando para u e g temos para z = rx Br ,
kzk2 Z
1 g(ry)
u(z) = u
(x) = r2 dS(y)
n
n B ky xk
r2 kzk2 g(y 0 )
Z
= dS(y 0 ) .
n r Br ky 0 zkn
dS(y 0 )
(): mudana de varivel y 0 = ry dS(y) = , B Br .
rn1
Escrevendo nas variveis x e y, como de hbito, temos que se u soluo de (5.23)
ento
r2 kxk2 g(y)
Z
u(x) = dS(y) , x Br . (5.24)
n r Br ky xkn
Note que (5.22) o caso particular r = 1 de (5.24).
A funo
r2 kxk2 1
K(x, y) = x Br , y Br
n r ky xkn
chamada ncleo de Poisson da bola Br .
Note que afirmamos que se u soluo de (5.23) ento u dado por (5.24),
isto , no temos a existncia da soluo, ainda. Entretanto o teorema principal
desta seo nos dar a existncia, o que ser obtido simplesmente verificando dire-
tamente que u dada por (5.24) soluo de (5.23). Antes temos uma proposio
importante.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
G G
Z Z Z
1 = w(x) = w (x, y) dy = 1 (x, y) dy = K(x, y) dy .
Br n Br n Br
Observao 5.9. A proposio acima nos fornece uma grande aplicao no clculo
de integrais, mais especificamente, devido forma de K(x, y), segue que
dy rn
Z
= 2 , x Br .
Br ky xkn r kxk2
2r2
Z 2
d
= .1
0 r2 + kxk2 2rkxk cos( 0 ) r2 kxk2
Teorema 5.10 (Frmula de Poisson para a Bola). Seja g C Br e defina u por
(5.24). Ento
(i) u C (Br )
(ii) u = 0 em Br
1
Esta integral obviamente resolvvel em um curso de Clculo de uma varivel real.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
r2 kxk2
Prova. (i) Como K(x, y) = , segue que a aplicao
rn ky xkn
x 7 K(x, y) C (Rnr{y}), e portanto
Z
u(x) = K(x, y)g(y) dy C (Br ) .
Br
G
x 7 (x, y) = K(x, y)
yn
(iii) Fixemos x0 Br . Como g C(Br ), dado > 0 existe > 0 tal que
Da se kx x0 k < , x Br , ento
2
(5.25)
Z Z
|u(x) g(x0 )|
K(x, y)g(y) dy K(x, y) dy g(x0 )
ZBr Br
K(x, y)|g(y)g(x0 )| dy
ZBr (5.27)
= K(x, y)|g(y)g(x0 )| dy
Z r B(x0 ;)
B
+ K(x, y)|g(y)g(x0 )| dy = I +J.
BrrB(x0 ;)
(5.26) Z Z
(5.25)
I K(x, y) dy K(x, y) dy = . (5.28)
Br B(x0 ;) Br
Para J, temos kx x0 k < e ky x0 k , ento
2
ky x0 k
ky x0 k ky xk + kx x0 k < ky xk + ky xk +
2 2
1
= ky xk > ky x0 k .
2
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Para esse fim obteremos a funo de Green para o semiespao. Vale lembrar que
a frmula (5.5) foi obtida para U limitada. Portanto, devemos obter a funo de
Green para Rn+ seguindo as ideias usadas para domnios limitados, e depois provar
a validade da frmula (5.5) para Rn+ no lugar de U .
Vamos definir a funo de Green para o semiespao observando a simetria do
semiespao.
Definio 5.11. Dado x Rn+ , seu simtrico em relao Rn+ = Rn1 o ponto
= (x1 , . . . , xn1 , xn ) .
x
) = F (y x) , se x Rn+ (x = x
Hx (y) = F (y x , x Rn1 ) .
Assim
) = 0 , y Rn+ .
y Hx (y) = y F (y x
Da Hx soluo do Problema (5.3) para o semiespao Rn+ .
Definio 5.12 (Funo de Green para o Semiespao). A funo de Green para o
semiespao
Observao 5.13. Alguns autores (veja [11]) definem a funo acima com sinal
contrrio, isto , G = H F . A diferena reside no objetivo: como definimos
acima tem sentido fsico, ao passo que como em [11] tem objetivo de simplificar
os clculos, uma vez que suprimi o sinal negativo ficando com equao u = f
ao invs de u = f .
Agora vamos mostrar a validade da frmula (5.5).
G F F
(x, y) = (y x) (y x
)
yn yn yn
F F
= (y1 x1 , . . . , yn xn ) (y1 x1 , . . . , yn + xn ) .
yn yn
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
n = 2:
1
q q
2 2
ln (y1 x1 ) + (y2 x2 ) 2
ln (y1 x1 ) + (y2 + x2 )2
2 y2 y2
1 y2 x 2 y2 + x2
= 2
.
2 ky xk k2
ky x
n3:
1
h i n2
(y1 x1 )2 + . . . + (yn xn )2 2
(n 2)n yn
h i n2
(y1 x1 )2 + . . . + (yn + xn )2 2
1 n2 n2
= ky xkn 2(yn xn ) + kn 2(yn + xn )
ky x
(n 2)n 2 2
1 yn xn yn + xn
= n
n ky xk kn
ky x
Assim, para n 2 temos
1 y2 x2 y2 + x 2
, n=2
G
2 ky xk2 ky x k2
(x, y) = 1 yn xn yn + x n
yn
, n3
n ky xk n ky x kn
1 yn xn yn + x n
= n
.
n ky xk kn
ky x
Da, se y Rn+ (yn = 0) ento n = en e temos
G G 1 yn xn yn + x n
(x, y) = y G n = (x, y) =
n yn n ky xkn ky xkn
yn =0 2xn
= .
n ky xkn
Suponha agora que u seja soluo do problema
(
u = 0 em Rn+
(5.30)
u = g em Rn+ .
Nosso propsito mostrar que (5.31) de fato soluo de (5.30). Isto ser
feito por etapas.
Proposio 5.15. Para cada x Rn+ tem-se
Z
K(x, y) dy = 1 . (5.32)
Rn
+
n 3:
rn2 tn2 () n1 2 tgn2 sec2
Z Z Z
() n1
n dr = xn n = xn d
0 2 2
(r + xn ) 2 0 (t2 + 1) 2 0 secn
Z Z (5.36)
tg n2
2 2
= xnn1 d = xnn1 senn2 d .
0 sec 0
(): usamos a mudana de varivel t = tg .
Agora, vimos no curso bsico de Clculo que
Z /2
1 3 5 . . . (n 3)
n par : sen n2 d = (5.37)
0 2 4 . . . (n 2) 2
Z /2
2 4 . . . (n 3)
n impar : sen n2 d = (5.38)
0 3 5 . . . (n 2)
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
(ii) u = 0 em Rn+
(iii) Fixemos x0 Rn+ . Como g C(Rn+ ), dado > 0 existe > 0 tal que
Da se kx x0 k < , x Rn+ , ento
2
Z Z
(5.32)
|u(x) g(x0 )| = K(x, y)g(y) dy K(x, y) dy g(x0 )
Rn Rn
Z + +
+ K(x, y)|g(y)g(x0 )| dy = I +J .
Rn
+rB(x0 ;)
Para J, temos kx x0 k < e ky x0 k , ento
2
ky x0 k
ky x0 k ky xk + kx x0 k < ky xk + ky xk +
2 2
1
= ky xk > ky x0 k .
2
Da
2xn dy
Z Z
J 2kgkB(Rn+ ) K(x, y) dy = 2kgkB
n
R+rB(x0 ;) n R rB(x0 ;)kx ykn
n1
n+2 (5.42)
2 kgkB xn dy
Z
xn 0+
n
0 ,
n Rn1rB(x0 ;) ky x0 k
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
5.4. OBSERVAES 53
5.4 Observaes
1. A frmula (5.24) poderia ser obtida direta, por uma construo da funo
de Green para a bola Br , em vez de B como fizemos. As mudanas na
construo seriam elementares, como ilustramos a seguir.
Dado x Brr{0}, o seu simtrico em relao Br definido por duas
propriedades:
(a) ele est sobre a reta que passa pela origem e pelo ponto x;
(b) sua distncia da origem inversa em relao Br ", isto ,
kxkkxk = r 2 .
Disto temos
r2 x
x
= .
kxk2
Note que no caso r = 1 temos o simtrico como definimos.
Procedendo como no caso da bola unitria obtemos a funo de Green para
a bola Br
kxk
G(x, y) = F (y x)F (y x
) , x, y Brr{0}, x 6= y . (5.43)
r
Portanto
1
lim ln(1 2x y + kxk2 kyk2 ) = 0 .
lim F kxk(y x
) =
x0 4 x0
Como requerido.
n 3:
1
F k0k(y
0) lim F kxk(y x
) = .
x0 n
1
De fato. Temos F kxk(y x
) = n2
. Agora
n kxk kn2
ky x
q
k = kxk (y x
kxkky x ) (y x
)
s
x x
= kxk y y
q
kxk2 kxk2
= kxk2 kyk2 2 y x + 1 .
q
Da lim kxkky x
k = lim kxk2 kyk2 2 y x + 1 = 1 = 1. E
x0 x0
portanto
1 1
lim F kxk(y x
) = lim = .
x0 x0 n kxkn2 ky x
kn2 n
Como requerido.
Captulo 6
ESCOAMENTO DE
POISEUILLE
n o
p2
div |D(v)|
D(v) = (v v) + P em
v = 0 em (6.1)
v = 0 em ,
v
= (v v) + P em
v = 0 em
v = 0 em .
55
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
v = 0.
ir = {x i ; |xn | < r}
ir,s = isrir
ri = irir = {x i ; |xn | > r}
m
[
r = 0 ir
i=1
r,s = srr .
Lema
6.2. Se o escoamento incompressvel e sem a ao de foras externas, isto
v = 0, ento
(i) i (t) = i , t > 0
m
X
(ii) i = 0 .
i=1
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
i (r) = v n dS = v n dS = i (s) .
i (r) i (s)
Observao 6.3. Note que se possuir apenas dois canais, mesmo que os raios
dos canais sejam diferentes, os fluxos atravessando as sees transversais so sem-
pre iguais em mdulo e com sentidos contrrios.
Nos artigos citados acima obtem-se soluo para o sistema (6.1) sob a hiptese
da soluo convergir no final dos canais"para a soluo de (6.1) onde apenas
um canal. Esta soluo chamada soluo paralela e ser determinada, para p = 2,
nas prximas sees.
Definio 6.4. Solues do sistema (6.1) do tipo v(x) = v(x0 )en , onde do
tipo (6.3) e v : R, so denominadas solues paralelas.
(i) u = 0
(ii) u u = 0 .
u = (0, . . . , 0, u(x1 , . . . , xn1 )) = u(x1 , . . . , xn1 ) = 0.
xn
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Devemos buscar uma soluo da forma v0 (x) = v0 (x0 )en . Assim a equao
(6.41 ) fica
n1
!
X 2 v0
v0 = (0, . . . , 0, x v0 (x1 , . . . , xn1 )) = 0, . . . , 0,
i=1
x2i
P0 P0
= ,..., ,
x1 xn
donde obtemos
P0 P0
x1 = = xn1 = 0
P0 n1
X 2 v0 (6.6)
x = (x1 , . . . , xn1 ) .
x2
n i=1 i
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP
n1
(
P0 X 2 v0 P0 = cxn
0
= c = 2 (x ) =
xn i=1
x i x0 v0 (x0 ) = c .
Observao 6.6. Note que o fluxo da hiptese no figura no sistema (6.7). Acon-
tece que ele est implcito na constante c, como ser visto na Seo 6.6, onde
ser obtida uma correspondncia biunvoca entre c e . Desta feita, dado R,
(v0 , P0 ) soluo de (6.4), (6.5) se, e somente se, (v0 , P0 ) soluo de (6.7).
kxkkx yk
Z
ln
dy .
B
x kxk2 y
Da
c
v0 = c 2(a2 + b2 ) = c a2 + b2 = .
2
Em seguida, usando a condio de fronteira (6.102 ), obtemos
v0 (r, 0) = a2 r2 + a1 r + a0 + b0 = 0 (I)
v (r, 0) = a r 2 a r + a + b = 0 (II)
0 2 1 0 0
v0 (0, r) = b2 r 2 + b1 r + a0 + b0 = 0
(III)
2
v0 (0, r) = b2 r b1 r + a0 + b0 = 0 (IV ) .
Da
(I) (II) a1 = 0
(III) (IV ) b = 0
1
(I) + (II) a0 + b0 = a2 r 2
(III) + (IV ) a0 + b0 = b2 r2 ,
e assim
c cr2
a2 = b2 = a0 + b0 = .
4 4
Portanto !
c cr2 c cr2 kxk2
v0 = x21 + x22 = 1 2 ,
4 4 4 4 r
isto , !
cr2 kxk2
v0 = 1 2 . (6.12)
4 r
A soluo (6.12) conhecida por soluo de Hagen-Poiseuille.
u = 0 . (6.13)
Assim temos q
B = {(x1 , x2 ) R2 ; t = x21 + x22 < 1}
t x1 t x2
= , = ; t=6 0.
x1 t x2 t
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Com isto
v0 t x1 0
= f 0 (t) = f (t)
x1 x1 t
!
2 v0 v0 x1 0 x2 t2 x21
2 = = f (t) = 21 f 00 (t) + f 0 (t)
x1 x1 x1 x1 t t t3
!
2 v0 x22 00 t2 x22
= f (t) + f 0 (t) .
x22 t2 t3
Da para t 6= 0,
1
v0 = f 00 (t) + f 0 (t)1 .
t
E assim propomos a resoluo da EDO
1
f 00 (t) + f 0 (t) = c , t 6= 0 . (6.14)
t
1
Tomando g(t) = f 0 (t), temos que (6.14) fica g 0 (t) + g(t) = c, que uma EDO
t
ct k1
linear de primeira ordem e tem soluo g(t) = + , onde k1 uma constante.
2 t
0 ct k1
Disto segue que f (t) = + e consequentemente
2 t
ct2
f (t) = + k1 ln t + k2 ,
4
onde k2 uma constante. Retornando para x obtemos
ckxk2
u(x) = + k1 ln kxk + k2 , x Brr{0} . (6.15)
4
Tomando k1 = 0 em (6.15) eliminamos a descontinuidade em x = 0 e assim
propomos
ckxk2
v0 = + k2 (6.16)
4
como soluo de v0 = c, em Br .
Obviamente, j temos v0 = c, em Brr{0}, assim devemos provar que
v0 (0) = c; Mas, isto imediato de (6.16).
Por fim impomos a condio de fronteira v0 Br = 0, donde obtemos
cr2 cr2
0= + k2 = k2 = .
4 4
1
Rigorosamente, h diferena entre o que foi feito aqui e o que foi feito para a obteno de
(4.4); l foi feita mudana de variveis, enquanto aqui no. claro que poderamos ter aplicado,
diretamente, (4.4) aqui.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
Portanto !
cr2 kxk2
v0 = 1 2 ,
4 r
e obtemos novamente (6.12).
onde G(x, y) a funo de Green para o disco dada por (5.19) e pela Observao
5.4.2. A funo de Green para o disco unitrio
!
x x kxk2 y
G(x, y) = F (x y) F kxk y = F (x y) F
kxk2 kxk
2
!
1
x kxk y
1 kxkkx yk
= ln kx yk ln = ln
,
2 kxk 2
x kxk2 y
r2 c kxkkx yk
Z Z
2
v(x) = r c G(x, y) dy = ln
dy ,
B 2 B
x kxk2 y
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
kxkkx yk
Z
ln
dy . (6.17)
B
x kxk2 y
1 kxkkx yk
Z
u(x) = ln
dy
2 B
x kxk2 y
1
que j sabemos ser 1 kxk2 . Assim obtemos
4
kxkkx yk
Z
2
ln
dy =
x kxk2 y
1 kxk .
B 2
isto ,
|v0 |21,2 = c .
Assim, como |v0 |21,2 = f (c, r, x), temos que realmente compe a soluo. Com
isto mostramos que est implcita na soluo v0 . Resta agora a relao (6.18).
|v0 |1,2
Um descuido poderia nos levar, devido equao acima, a tomar cp = e
assim teramos (6.18), todavia |v0 |1,2 funo de c, ao passo que cp no o . A
soluo deste empasse passa pela linearidade da equao (6.73 ):
x0 v0 = c x0 = 1 ,
onde !
r2 x2
1 2 , n=2
2 r
= ! = v0 = c ,
r2 |x|2
1 2 , n=3
4 r
c = |v0 |21,2 = |c|21,2 = c2 ||21,2 = c= .
||21,2
Portanto
1
cp = .
||21,2
Referncias Bibliogrficas
[4] DIAS, G. J., SANTOS, M. M. Steady flow for shear thickening fluids with
arbitrary fluxes. Journal of Differential Equations, 252, 3873-3898, 2012.
[8] FREHSE, J., MLEK, J., STEINHAUER, M. An Existence Result for fluids
with shear dependent viscosity-steady flows. Nonlinear Anal., 30, 3041-
3049, 1997.
[11] IRIO, R.Jr. & IRIO, V. Equaes Diferenciais Parciais: Uma Introdu-
o; IMPA (Projeto Euclides), Rio de Janeiro, 1988.
69
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A
70 REFERNCIAS BIBLIOGRFICAS
[16] LIMA, E. L.; Curso de Anlise; Vol.2, 4a ed. IMPA (Projeto Euclides), Rio
de Janeiro, 1981.
[17] LIONS, J.L. Quelques Mthods de Resolution des Problemes Aux Limites
Non Linaires. Dunod, Gauthier-Villars, 1969.
[20] RUZICKA, M. A Note on Steady flow of fluids with shear dependent visco-
sity. Nonlinear Anal., 30, 3029-3039, 1997.
COLEO DO PROFESSOR DE MATEMTICA
Logaritmos - E. L. Lima
Anlise Combinatria e Probabilidade com as solues dos exerccios - A. C. Morgado, J. B.
Pitombeira, P. C. P. Carvalho e P. Fernandez
Medida e Forma em Geometria (Comprimento, rea, Volume e Semelhana) - E. L. Lima
Meu Professor de Matemtica e outras Histrias - E. L. Lima
Coordenadas no Plano as solues dos exerccios - E. L. Lima com a colaborao de P. C. P.
Carvalho
Trigonometria, Nmeros Complexos - M. P. do Carmo, A. C. Morgado e E. Wagner, Notas
Histricas de J. B. Pitombeira
Coordenadas no Espao - E. L. Lima
Progresses e Matemtica Financeira - A. C. Morgado, E. Wagner e S. C. Zani
Construes Geomtricas - E. Wagner com a colaborao de J. P. Q. Carneiro
Introduo Geometria Espacial - P. C. P. Carvalho
Geometria Euclidiana Plana - J. L. M. Barbosa
Isometrias - E. L. Lima
A Matemtica do Ensino Mdio Vol. 1 - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
A Matemtica do Ensino Mdio Vol. 2 - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
A Matemtica do Ensino Mdio Vol. 3 - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Matemtica e Ensino - E. L. Lima
Temas e Problemas - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Episdios da Histria Antiga da Matemtica - A. Aaboe
Exame de Textos: Anlise de livros de Matemtica - E. L. Lima
A Matemtica do Ensino Medio Vol. 4 - Exercicios e Solues - E. L. Lima, P. C. P. Carvalho, E.
Wagner e A. C. Morgado
Construes Geomtricas: Exerccios e Solues - S. Lima Netto
Um Convite Matemtica - D.C de Morais Filho
Tpicos de Matemtica Elementar - Volume 1 - Nmeros Reais - A. Caminha
Tpicos de Matemtica Elementar - Volume 2 - Geometria Euclidiana Plana - A. Caminha
Tpicos de Matemtica Elementar - Volume 3 - Introduo Anlise - A. Caminha
Tpicos de Matemtica Elementar - Volume 4 - Combinatria - A. Caminha
Tpicos de Matemtica Elementar - Volume 5 - Teoria dos Nmeros - A. Caminha
Tpicos de Matemtica Elementar - Volume 6 - Polinmios - A. Caminha
Treze Viagens pelo Mundo da Matemtica - C. Correia de Sa e J. Rocha (editores)
Como Resolver Problemas Matemticos - T. Tao
Geometria em Sala de Aula - A. C. P. Hellmeister (Comit Editorial da RPM)
Nmeros Primos, amigos que causam problemas - P. Ribenboim
Manual de Redao Matemtica - D.C de Morais Filho
COLEO PROFMAT