Você está na página 1de 84

COLQUIOS DE MATEMTICA DAS REGIES

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)

Sociedade Brasileira de Matemtica


Presidente: Hilrio Alencar
Vice- Presidente: Paolo Piccione
Diretores: Joo Xavier
Jos Espinar
Marcela de Souza
Walcy Santos

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

Comit Organizador Local (UNIFAP)


Eliane Leal Vasquez
Gilberlandio Jesus Dias
Guzmn Eullio Isla Chamilco
Joo Socorro Pinheiro Ferreira
Marcel Lucas Picano Nascimento
Naralina Viana Soares da Silva
Sergio Barbosa de Miranda
Simone de Almeida Delphim

Capa: Pablo Diego Regino

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

Dedicado aos vidos por conhecimento.


o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

Prefcio

Sobre a Esttica do Texto1


Escolho comear este prefcio me justificando pela forma como o texto se apre-
senta; era meu intuito (e acho que o leitor merece) escrever um texto enxuto, con-
ciso e fechado em si. Porm a Histria senhora e condutora destas notas, como
o leitor deve compreender ao desenrolar das linhas desta seo; por isso me isento
da esttica do texto e outorgo sua autoria Histria. Tudo comea, como o leitor
verificar no Captulo 6, com o desenvolvimento do sistema de Navier-Stokes para
o escoamento paralelo levando-nos a um problema de Dirichlet para a Equao de
Poisson num domnio especial do plano (R2 ). A princpio a resoluo do problema
um exerccio bvio da teoria de Equaes Diferenciais Ordinrias (EDO), ou
se preferir o leitor, do prprio escopo do Clculo; todavia esta resoluo simpl-
ria no instiga os vidos por dificuldades (eles existem!!), pois ela conta com um
chute"sobre a forma da soluo, e embora uma resoluo seja sempre uma reso-
luo, por conta dqueles" os ditos vidos propomos nestas notas um estudo
da teoria que emprega a funo de Green para a resoluo de problemas semelhan-
tes ao nosso. Os principais textos que tratam do estudo introdutrio das Equaes
Diferenciais Parciais (EDP) so [12, Valria] e [6, Djairo] em R2 , e [11, Rafael
e Valria] em R3 , sendo que o mtodo de resoluo por fuo de Green tratado
apenas na referncia concernente ao R3 . O cenrio em tela, nos presenteia com o
encargo de escrever e aplicar o mtodo por funo de Green para o caso de R2 . A
surge o primeiro defeito esttico o ttulo": a princpio o tratado nestas notas nada
mais do que uma breve introduo conhecida Teoria dos Potenciais. Porm,
em se tratando de um texto para graduandos e principiantes de ps-graduao, a tal
Histria busca um termo coerente com os contedos de graduao, e assim, cria-se
a dita Teoria de Green", visto que o Teorema de Green (ou Teorema da Divergn-
cia) a principal ferramenta destas notas. Sobre o ttulo, acho apropriado, e neste
instante vou roub-lo da Histria; sim, o ttulo de minha autoria!
Voltemos esttica do texto. Est claro na cabea do leitor que o texto se
desenvolver no R2 . Porm, logo se decepcionar o caro leitor, pois em todo o texto
so poucos os momentos em que realmente somos fiis ao R2 . Permita-me o leitor
justificar-me, e olha que ela - a justificativa - pertinente. O primeiro ponto da
1
Esta seo tem vis potico.

i
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

ii

justificativa a falta de material robusto sobre os temas de graduao necessrios


para estas notas, durante sua confeco me sentir abandonado pelos atuais livros
didticos que so por vezes, para no dizer sempre, incipientes; foi preciso valer-
me dos clssicos para tomar posse, substancial, dos contedos. Assim, pergunto-
me: devo manter-me fiel esttica, como desejado pela massa da comunidade, ou
oferecer um suporte para aqueles vidos pela informao consistente? Me desculpe
o leitor esttico, pois refugo-me a entregar o que no incio me pairava mente,
encharcarei o texto com alguns contedos, por ora fora de prpsito, mas que num
perigo", atende-nos. Um segundo ponto importante - e findarei estas descupas
- que muitas demonstraes no apresentam relevante aumento de dificuldade
quando em dimenso maior que dois e no inclu-las pode insinuar a presena de
complicadores que no existem.

Voltemos ao Assunto Tcnico


O Escoamento de Poiseuille consiste do Sistema de Navier-Stokes para fluidos
em canais retos"infinitos2 sob a hiptese de campo velocidade paralelo ao eixo de
simetria do canal e com independncia da referida direo.
Sob as hipteses estabelecidas acima, a equao de Navier-Stokes torna-se uma
equao de Poisson. Mesmo tendo, a equao de Poisson obtida, uma resoluo
fcil", fornece-nos uma agradvel motivao para o estudo das teorias bsicas que
se ocupam da resoluo de tais equaes. Assim, dentre os possveis caminhos a
se tomar para tratar de nossa equao (de uma forma mais terica), optamos pela
teoria de Green".
Um ponto importante destas notas - que foi, na seo acima, comentado de
forma discontrada - a dimenso do espao onde iremos trabalhar. A princpio o
Problema de Poiseuille est posto em um domnio de R3 , entretanto a natureza das
hipteses transforma o problema num outro correlato, mas com domnio em R2 .
Assim, de certo modo somos levados a introduzir definies e elementos matem-
ticos em R3 . Desta feita, embora desejssemos escrever este texto em uma nica
dimenso (R2 ), somos levados a escrev-lo em dimenso n = 3, ficando a cargo
do leitor o fato da reduo dimenso n = 2, como uma particularidade do ente
matemtico. Mais claramente: quando o ente matemtico restringir-se ao R2 como
subconjunto de R3 .
Sobre as definies, resultados e demonstraes presentes no texto, razovel
que apresentemos apenas aquelas que no fazem parte dos contedos das discipli-
nas dos cursos de graduao. Para a maioria das demonstraes veja [1].

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

Sobre os pr-requisitos, conforme o nvel destas notas, faz-se necessrio a te-


oria de Anlise no Rn . Da, temos sempre o empasse de quando devemos indicar
precisamente os resultados que estamos usando, visto que em quase todo o tempo
fazemos uso de resultados desta teoria? Como sempre, embora agrade a uns e no
a outros, tal escolha ficar a cargo do autor; em outras palavras apenas indicaremos
o resultado que estamos aplicando quando julgarmos necessrio.

Macap, 07 de novembro de 2016


Gilberlandio Jesus Dias
Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap

Sumrio

PREFCIO i

1 NOTAES E RESULTADOS PRELIMINARES 1


1.1 Definies Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Curvas Parametrizadas . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Superfcies Parametrizadas . . . . . . . . . . . . . . . . . . . . . 4
1.3.1 Definies . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.2 Superfcies Orientadas . . . . . . . . . . . . . . . . . . . 6

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

3 OS TEOREMAS DE STOKES E DA DIVERGNCIA 19


3.1 Integrais de Superfcie . . . . . . . . . . . . . . . . . . . . . . . 19
3.1.1 Integrais de Superfcie para Campos Escalares . . . . . . 19
3.1.2 Integrais de Superfcie para Campos Vetoriais . . . . . . . 20
3.2 O Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 O Teorema da Divergncia . . . . . . . . . . . . . . . . . . . . . 22
3.4 Teoremas do Clculo Vetorial . . . . . . . . . . . . . . . . . . . . 23
3.4.1 Alguns Teoremas . . . . . . . . . . . . . . . . . . . . . . 23
3.4.2 grad, div, rot e Independncia do Sistema de Coordenadas 24

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.1 Definies Bsicas


A seguir lembraremos algumas definies bsicas necessrias para o bom an-
damento do texto. Aqui, devido a generalidade de algumas definies, n ser um
natural qualquer. Tambm pedimos uma ateno especial a esta seo, pois algu-
mas das notaes empregadas neste texto sero estabelecidas aqui.

Rn o espao euclidiano de dimenso n N.


R R1 .
x Rn denotado por x = (x1 , . . . , xn ), xi R, i = 1, . . . , n.
importante mencionar que sempre que trabalhamos em Rn , comum o uso
dos termos elemento, ponto e vetor, para referir-se a um elemento de Rn ;
claro que cada denominao tem um ponto de vista especfico: quando
elemento, estamos olhando R3 como um conjunto simplesmente; quando
ponto (casos n = 1, 2, 3) estamos olhando Rn como ambiente geomtrico;
por fim, quando vetor estamos olhando Rn como espao vetorial normado.
Dados x, y Rn , a distncia entre x e y definida por
n
!1
X 2
2
kx yk = (xi yi ) .
i=1

A norma de x kxk kx 0k.


Dado x0 Rn , a bola aberta centrada em x0 de raio r > 0 o subconjunto
B (x0 ; r) = {x Rn ; kx x0 k < r} .
Semelhantemente a bola fechada centrada em x0 de raio r > 0 o subcon-
junto
B [x0 ; r] = {x Rn ; kx x0 k r} .

1
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP

2 CAPTULO 1. NOTAES E RESULTADOS PRELIMINARES

Adotaremos Br B(0; r) e B B1 .

A Rn aberto se dado x0 A existir r > 0 tal que B(x0 ; r) A.


Naturalmente a bola aberta um conjunto aberto.

F Rn fechado se RnrF aberto. Naturalmente a bola fechada um


conjunto fechado.

Seja Y X Rn . Y dito aberto em X se existir A Rn aberto tal que


Y = A X. Y dito fechado em X se existir F Rn fechado tal que
Y = F X.

Dado X Rn , a fronteira de X, denotada por X 1 definida por se


X = Rn , Rn se X = e para X6 {, Rn },

x Rn ; B(x; ) X 6= e B(x; ) (RnrX) 6= , > 0




B S n1 = {x Rn ; kxk = 1} a esfera unitria


n a rea da esfera unitria de Rn
n
(n) = o volume da esfera unitria de Rn
n
D Rn conexo se dados A, B Rn , abertos e disjuntos, ento

D = (A D) (B D) = A = ou B = .

Seja X Rn , X 6= , ento existe uma coleo


[ {C ; } de sub-
conjuntos conexos, disjuntos, tais que X = C . Os conjuntos C , so

chamados componentes conexas de X.

U Rn um domnio se aberto e conexo.


A fim de sermos mais didticos e tornarmos o texto localmente idependente,
vamos usar de redundncia em alguns momentos escrevendo domnio U ".

Um subconjunto X de Rn limitado se existe uma bola que o contm, ou


equivalentemente, se existe M > 0 tal que kxk < M para todo x X.

Um subconjunto K de Rn compacto se fechado e limitado.

Uma funo f : X Rn R limitada se o conjunto f (X) limitado.

B(X) denotar o conjunto das funes limitadas de X Rn em R.

A norma sobre o espao B(X) definida por

kf kB(X) = sup{|f (x)|; x X} .


1
Esta notao ser usada mais adiante, tambm, para denotar a curva fronteira orientada.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

1.2. CURVAS PARAMETRIZADAS 3

A notao a  1 significa que o nmero real a positivo e suficientemente


pequeno.

Proposio 1.1.

(i) Seja X Rn aberto (fechado), ento Y X aberto (fechado) em X se,


e somente se, Y aberto (fechado).

(ii) X conexo se, e somente se, os nicos subconjuntos de X aberto e fechado


em X so o conjunto e o prprio X.

Prova. Veja [16].

1.2 Curvas Parametrizadas


Definio 1.2. Dado um subconjunto X R3 , uma curva parametrizada (que
aqui denotaremos simplesmente por curva) C um par (, X) tal que X a ima-
gem da aplicao contnua : [a, b] R3 . Os pontos (a) = (x(a), y(a), z(a))
e (b) = (x(b), y(b), z(b)) so denominados, respectivamente, ponto inicial e
ponto final da curva. O conjunto X chamado trao da curva. As funes
x, y, z : [a, b] R so denominadas funes coordenadas da curva. A curva
C dita de classe C k , k N {0} se cada funo coordenada x, y, z C k em
[a, b].

Definio 1.3. Uma curva C dita C 1 por partes ou seccionalmente C 1 , quando C


a unio de um nmero finito de curvas C 1 , C1 , . . . , Cm , onde o ponto inicial de
Ci+1 o ponto final de Ci . Chamaremos de caminho a uma curva C 1 por partes.

Definio 1.4. Sejam C, C 0 curvas com parametrizaes, respectivamente, :


[a, b] R3 e : [c, d] R3 . Se existir um difeomorfismo : [a, b] [c, d],
tal que 0 (t) 6= 0, t de modo que (t) = ((t)), dizemos que C e C 0 so
equivalentes e que uma mudana de parametrizao. Se 0 > 0 diz-se que C
e C 0 tm mesmo sentido e costuma-se indicar C 0 = C; se 0 < 0 diz-se que C e C 0
tm sentidos contrrios e costuma se indicar C 0 = C.

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

4 CAPTULO 1. NOTAES E RESULTADOS PRELIMINARES

Uma curva dita fechada se seu ponto final coincide com seu ponto inicial,
ou seja, r(b) = r(a).

Uma curva simples quando ela no se autointersecta em nenhum ponto


entre as extremidades, isto , se t1 , t2 [a, b), t1 6= t2 ento r(t1 ) 6= r(t2 )2 .

Um domnio U R2 dito simplesmente conexo se toda curva simples


fechada em U tem interior contido em U . Intuitivamente, uma regio sim-
plesmente conexa no contm buracos"nem constituida por dois peda-
os"separados (esta ltima afirmao significa ser conexa).

Sejam C1 , . . . , Cm , m caminhos fechados simples, satisfazendo as condi-


es:

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.

O domnio formado pela regio interior C1 e exterior Ci , i > 1,


denominada domnio multiplamente conexo.

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]).

1.3 Superfcies Parametrizadas


1.3.1 Definies
Como na definio de curvas parametrizadas por uma funo vetorial r(t) de
um nico parmetro t, definiremos uma superfcie por uma funo vetorial r(u, v)
de dois parmetros u e v.

Definio 1.7. Dado um subconjunto X R3 , uma superfcie parametrizada (que


aqui denotaremos simplesmente por superfcie) S um par (r, X) tal que X a
imagem da aplicao contnua

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

1.3. SUPERFCIES PARAMETRIZADAS 5

As funes x, y, z : D R so denominadas funes coordenadas da superfcie.


Tambm comum representar a superfcie apenas por suas funes componentes,
isto , S o subconjunto de R3 cujos pontos satisfazem as equaes

x = x(u, v) , y = y(u, v) , z = z(u, v) , (u, v) D . (1.3)

As equaes em (1.3) so chamadas equaes paramtricas de S.

Observaes 1.8.

1. Conforme a definio, uma superfcie pode degenerar"3 em um ponto ou


uma curva. Por exemplo, se as trs funes em (1.3) forem constantes a su-
perfcie ser um ponto; e se as funes dependederem apenas de uma mesma
varivel teremos uma curva.

2. Quando a funo r biunvoca, a superfcie dita simples.

Definio 1.9.

Uma superfcie S de classe C k , k N {0} se x, y, z C k (D).

S diferencivel se r uma funo diferencivel.

bvio que toda superfcie C 1 diferencivel.


O primeiro contato que tivemos com superfcies, em Matemtica, foi como
grfico de uma funo de duas variveis, isto G(f ) (x, y, f (x, y)), (x, y)
D. A representao parmtrica cannica do grfico G(f )

x(u, v) = u , y(u, v) = v , z(u, v) = f (u, v) , (u, v) D .

Alm disso, se em (1.3), conseguirmos resolver em duas das trs equaes, u e v


em funo das coordenadas, substituindo na terceira teremos que S ser um grfico
(por exemplo: u = u(x, y), v = v(x, y) e z = z(u, v) = f (x, y)).
O motivo da nominao"da parametrizao anterior para o grfico, que a
representao de uma superfcie parametrizada no nica. Por exemplo, o hemis-
frio superior da esfera de raio 1 tem parametrizaes
p
(1) x = x , y = y , z = 1 x2 y 2 , (x, y) B
(2) x = r cos , y = r sen , z = 1 r2 , (r, ) [0, 1] [0, 2] .

Observao 1.10. Novamente volto a reforar que superfcie parametrizada um


par e no apenas a imagem, que a partir daqui denotaremos por trao da superfcie.
Por exemplo, a superfcie abaixo tm mesmo trao que a superfcie (2), porm
diferente:
p
x = r cos , y = r sen , z = 1 r2 , (r, ) [0, 1] [0, 4] .
3 3
Superfcies que so pontos ou curvas de R so ditas superfcies degeneradas
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

6 CAPTULO 1. NOTAES E RESULTADOS PRELIMINARES

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 ).

Definio 1.12. Sejam S uma superfcie diferencivel e C1 , C2 as curvas coor-


denadas por P0 = r(u0 , v0 ). Definimos os vetores tangentes C1 e C2 em P0 ,
respectivamente, por

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.

1. A regularidade de um ponto do conjunto X = r(D) depende da parametri-


zao r, isto , um ponto regular na superfcie S1 = (r1 , X), pode no ser
regular na superfcie S2 = (r2 , X).

2. Se os vetores ru , rv forem contnuos ento a superfcie no possui arestas ou


bicos (veja [1]).

3. A condio [ru rv ](u, v) 6= 0 (u, v) D implica a no existncia de


degeneraes locais.

Teorema 1.14. Sejam S uma superfcie regular C 1 e C uma curva regular em S,


isto , C = r(C 0 ), onde C 0 uma curva regular em D. Ento o vetor ru rv
normal C.

Prova. Veja [1, seo 12.3].

Definio 1.15. Sejam S, S 0 superfcies com parametrizaes, respectivamente,


r1 : D1 R3 e r2 : D2 R3 . Se existir um bijeo C 1 , : D2 D1 , tal
que r2 (s, t) = r1 ((s, t)), dizemos que S e S 0 so equivalentes e que uma
mudana de parametrizao.

1.3.2 Superfcies Orientadas


Seja S uma superfcie que admite plano tangente em todos os seus pontos, ex-
ceto nos pontos de fronteira. Assim, em cada ponto existem dois vetores unitrios
normais, ao plano tangente do ponto, n1 e n2 = n1 . Se for possvel escolher
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

1.3. SUPERFCIES PARAMETRIZADAS 7

um vetor normal unitrio n em cada ponto (x, y, z) de S, de modo que n varie


continuamente sobre S, ento S dita uma superfcie orientada, e a escolha de
n fornece a S uma orientao. Desta feita, toda superfcie orientada possui ape-
nas duas escolhas possveis para orientao; a orientao escolhida denominada
positiva, ao passo que a outra (no escolhida) denominada negativa.

Exemplos 1.16.

1. Seja S a superfcie dada como o grfico da funo z = g(x, y), facilmente


obtemos que as orientaes induzidas so dadas pelos vetores normais uni-
trios
g g
i j+k
x y
n = s  2 .
g 2 g
 
1+ +
x y
Comumente adota-se como orientao positiva o vetor com componente po-
sitiva na direo de k, ou seja, tomamos o sinal positivo no lado direito da
frmula acima, isso corresponde chamada orientao para cima da super-
fcie.

2. A faixa de Mbius no orientada. Com efeito, para uma verificao rigo-


rosa sugerimos as referncias [16] e [3]. Entretanto uma verificao geom-
trica construtiva muito simples, prazerosa e sobretudo contundente (o lei-
tor pode construir com folha de papel esta demonstrao"): sobre a faixa de
Mbius toma-se um vetor normal n num ponto (x0 , y0 , z0 ), fora da fronteira,
e efetua-se uma volta completa na faixa usando a orientao n; surpreenden-
temente ao retornar ao ponto (x0 , y0 , z0 ) teremos a orientao n e no n,
e isto indica que n no variou continuamente.

Sobre uma superfcie regular orientada S tomamos a orientao do vetor nor-


mal unitrio
ru rv
n= (1.4)
|ru rv |
Definio 1.17. Dada uma regio slida E de R3 (isto , um conexo limitado
e fechado), chamamos de superfcie fechada fronteira de E. Tomamos como
orientao positiva quela para a qual os vetores normais apontam para fora de E,
e os vetores normais que apontam para dentro correspondem orientao negativa,
obviamente.

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

8 CAPTULO 1. NOTAES E RESULTADOS PRELIMINARES

a conduzida por r, e assim a orientao positiva n tomada de modo a satisfazer a


regra da mo direita", ou seja, apontando o indicador na direo da orientao de
C e mantendo a superfcie S esquerda, n aponta na direo do polegar (tudo com
relao mo direita).
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

2.1 Campos Vetoriais


2.1.1 Definies
Definio 2.1. Um campo vetorial F em Rn uma funo F : X Rn Rn ,
que associa a cada ponto x X um vetor F(x) de Rn .

Como comentado no Prefcio, nos deteremos aos caso n = 2 e n = 3. Assim


usaremos as notaes x = (x, y) e x = (x, y, z) para os respectivos casos n =
2 e n = 3. Os campos vetoriais so representados em termos de suas funes
componentes, como:

n = 2 : F(x, y) = P (x, y)i + Q(x, y)j = P (x, y), Q(x, y) ; 
n = 3 : F(x, y, z) = P (x, y, z)i + Q(x, y, z)j + R(x, y, z)k = P, Q, R .

As funes componentes so tambm denominadas campos escalares.

Observao 2.2. Note a consonncia com o comentrio do Prefcio relativo


dimenso, um campo F(x, y, z) ser um campo em R2 quando R(x, y, z) = 0 e
P, Q forem funes apenas de x e y.

Definio 2.3. Um campo vetorial de classe C k se, e somente se, suas funes
componentes so de classe C k .

2.1.2 Operadores Diferenciais


Consideremos o operador diferencial parcial

 
= ,..., .
x1 xn
A seguir introduziremos algumas definies que tm suas formas facilmente obti-
das fazendo uso do operador como se fosse um vetor de Rn . O mais impression-
tante que algumas das regras para vetores so tambm carregadas pelo operador.

9
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

10 CAPTULO 2. O TEOREMA DE GREEN

Definio 2.4. Sejam f : U Rn R uma funo que possui derivadas


parciais e F : U Rn Rn um campo vetorial.

Denominamos campo vetorial gradiente, ou simplesmente gradiente, da fun-


o f ao campo vetorial

gradf f (fx1 , . . . , fxn ) .

A divergncia ou divergente de F a funo


n
X Fj
div F = F = .
j=1
xj

Para o caso n = 2, 3, o rotacional do campo F o produto vetorial"de


pelo campo vetorial F, isto ,

i j k


rot F = F = .
x y z

P Q R

Para um campo escalar f , introduzimos o operador composto


n
X 2f
div (f ) = (f ) = .
i=1
x2i

Abreviamos 2 , chamado operador de Laplace ou laplaciano,


em razo da clebre equao de Lapalace
n
X 2f
f = = 0.
i=1
x2i

Podemos tambm aplicar o laplaciano a um campo vetorial


F = (F1 , . . . , Fn ) em termos de suas compontentes, isto ,

F = (F1 , . . . , Fn ) .

Definio 2.5. Um campo vetorial F dito um campo conservativo se ele for o


gradiente de algum campo escalar, ou seja, se existir uma funo f tal que F = f .
Neste caso, f denominada uma funo potencial de F.
A proposio a seguir, de demonstrao imediata, traz alguma relaes, bas-
tante conhecidas para vetores, envolvendo os operadores acima.
Proposio 2.6. Sejam f e F, respectivamente, campos escalar e vetorial. Ento
(i) rot (f ) = (f ) = 0.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

2.2. INTEGRAIS DE LINHA 11

(ii) div (rot F) = ( F) = 0.

(iii) Se F conservativo ento rot F = 0.

Em geral a recproca do item (iii) no verdadeira, mas com o emprego do Te-


orema de Stokes veremos no Corolrio 3.9 que, se F for definido em todo o espao,
a recproca vale. Mais precisamente, a recproca vale para conjuntos convexos de
Rn ([1, Teo.10.9]) e, no caso de R2 , devido ao Teorema de Green, vale para do-
mnios simplesmente conexos (convexo simplesmente conexo) como veremos no
Teorema 2.18.

2.2 Integrais de Linha


2.2.1 Integrais de Linha de Campos Escalares
Definio 2.7. Seja f um campo escalar limitado definido sobre uma curva C de
classe C 1 . Definimos a integral de linha de f sobre C por
Z Z b
f ds = f (r(t))kr0 (t)kdt
C a
Z b
s
2 2 2 (2.1)
dx dy dz
  

= f x(t), y(t), z(t) + + dt ,
a dt dt dt

sempre que a integral existir. Existindo a integral de linha de f sobre C, dizemos


que f integvel por linha sobre C.

Observaes 2.8.

1. O valor da integral de linha no depende da parametrizao da curva ([1,


Teo.10.1] e frmula de mudana de variveis).

2. No caso especial em que C um segmento de reta unindo os pontos (a, 0) e


(b, 0), tomamos x como parmetro e da (2.1) fica

x=x, y=0, z=0, a x b;

Desta forma (2.1) nos fornece


Z Z b Z b
f ds = f (x, 0, 0)dx = f (x)dx ,
C a a

confirmando que a integral do Clculo I um caso particular de integral de


linha.

3. Se C for um caminho (C : C1 , . . . , Cm ), temos


Z Z Z
f ds = f ds + . . . + f ds .
C C1 Cm
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

12 CAPTULO 2. O TEOREMA DE GREEN

4. Para o caso especial em que f (x, y, z) = 1, temos


Z Z b
ds = |r0 (t)| dt = |C| ,
C a

onde |C| o comprimento da curva C.


5. Valem as propriedades fundamentais, como na integral de Riemann.
Definio 2.9. Seja f um campo escalar limitado definido sobre uma curva C de
classe C 1 . Definimos as integrais de linha parciais de f sobre C em relao a um
dos eixos coordenados, como
Z Z b
f x(t), y(t), z(t) x0 (t)dt

f (x, y, z)dx =
ZC Z ab
f x(t), y(t), z(t) y 0 (t)dt

f (x, y, z)dy = (2.2)
ZC Zab
f x(t), y(t), z(t) z 0 (t)dt ,

f (x, y, z)dy =
C a

sempre que as integrais envolvidas existirem.


Observaes 2.10.
1. Para simplificar a notao (e tambm para manter a tradio) escreveremos
Z Z Z Z
P (x, y, z)dx+ Q(x, y, z)dy+ R(x, y, z)dz = P dx+Q dy+R dz .
C C C C

2. Se C for um caminho, as integrais em (2.2) so definidas em cada curva C 1 ,


como no caso das integrais de linha.
3. Diferentemente da integral de linha, a integral parcial depende da parametri-
zao, mas apenas do sentido da parametrizao ([1, Teo.10.1]), a saber
Z Z
P (x, y)dx = P (x, y)dx .
C C

Como no caso da integral de Riemann, tambm podemos definir o valor mdio


de uma funo sobre uma curva.
Definio 2.11. Sejam C uma curva C 1 e f uma funo integrvel por linha, defi-
nimos o valor mdio de f sobre C por
1
Z
g ds .
|C| C

Proposio 2.12. Sejam C um crculo de centro a R2 e raio r > 0 e g


C(B[a; r]). Ento o valor mdio de g sobre C tende para g(a) quando r 0+ ,
isto ,
1
Z
lim g(x) ds(x) = g(a) .
r0+ 2r kxak=r
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

2.2. INTEGRAIS DE LINHA 13

Prova. Como g contnua na regio compacta B[a; r], ento g uniforme-


mente contnua (veja [16]); logo, dado > 0 existe = () > 0 tal que

x, y B[a; r], kx yk < = |g(x) g(y)| < .

Da, para 0 < r < , temos


Z
1 Z 1 
g(x) ds(x) g(a) = g(x) g(a) ds(x)


2r kxak=r 2r kxak=r
1
Z
|g(x) g(a)| ds(x)
2r Zkxak=r

< ds(x) = .
2r kxak=r

Assim est provada a proposio.

2.2.2 Integrais de Linha de Campos Vetoriais


Definio 2.13. Seja F um campo vetorial limitado definido sobre um caminho C.
Ento a integral de linha de F ao longo de C
Z Z b
F dr = F(r(t)) r0 (t) dt
C Zab
P x, y, z x0 (t) + Q x, y, z y 0 (t) + R x, y, z z 0 (t) dt ,
    
=
a

desde que as integrais existam. Resumindo a escrita, escrevemos


Z Z b Z
0
F dr = F(r(t)) r (t) dt = P dx + Q dy + R dz . (2.3)
C a C

Observao 2.14. Aqui, diferentemente da integral de linha de campos escalares,


quando invertemos a orientao do caminho trocamos o sinal da integral, isto ,
Z Z
F dr = F dr
C C

isto porque o vetor tangente de C o oposto do vetor tangente de C, isto , T


o vetor tangente de C se T o vetor tangente de C.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

14 CAPTULO 2. O TEOREMA DE GREEN

2.2.3 Teorema Fundamental das Integrais de Linha


Lembremos do Teorema Fundamental do Clculo (TFC)
Z b
F 0 (x) dx = F (b) F (a) , (2.4)
a

onde F 0 contnua em [a, b]. A equao (2.4) tambm chamada Teorema da


Variao Total: a integral da taxa de variao a variao total.
Se considerarmos o vetor gradiente f , de uma campo escalar f , como uma
espcie de derivada de f , ento o teorema seguinte pode ser considerado uma ver-
so do TFC para integrais de linha.

Teorema 2.15 (Teorema Fundamental da Integral de Linha - TFIL). Seja f um


campo escalar diferencivel com gradiente f contnuo em um domnio U . Ento
para quaisquer dois pontos A e B ligados por um caminho C contido em U tem-se
Z
 
f dr = f r(b) f r(a) . (2.5)
C

Observao 2.16. Observe que para o caso n = 1, C = [a, b], f = f 0 ,


dr = dx, r(a) = a e r(b) = b, ento (2.5) reduz-se a (2.4) com f no lugar de F .

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

para quaisquer caminhos C1 , C2 em U que tenham os mesmos pontos inicial e


final. Com essa terminologia, o TFIL nos garante que as integrais de linha de
campos conservativos so independentes do caminho.
O prximo teorema traz a caracterizao geral para campos conservativos e
independncia de caminhos para a integral de linha.

Teorema 2.17. Seja F um campo vetorial contnuo em um domnio U . So equi-


valentes:

(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

2.3. O TEOREMA DE GREEN 15

Teorema 2.18 (Teste para Campos Conservativos em R2 ). Seja


F(x, y) = P (x, y)i + Q(x, y)j um campo vetorial em um domnio U R2 , com
P, Q C 1 (U ):

(i) Se F conservativo ento

P Q
= em U.
y x

(ii) Se U simplesmente conexo e

P Q
= em U,
y x

ento F conservativo.

Um critrio para determinar se um campo vetorial F em R3 ou no conser-


vativo ser dado mais adiante no Corolrio 3.9.

2.3 O Teorema de Green


O Teorema de Green relaciona integais de linha com integrais duplas.

Teorema 2.19 (Teorema de Green - TG). Seja C um caminho fechado simples,


orientado positivamente, e seja U a regio delimitada por C. Se P, Q C 1 (X),
onde X R2 um aberto que contm U , ento

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

O TG pode ser olhado como o correspondente do TFC para integrais duplas.


No TFC Z b
F 0 (x) dx = F (b) F (a) ,
a

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

16 CAPTULO 2. O TEOREMA DE GREEN

Corolrio 2.20. A equao (2.6) equivalente s equaes

P
Z ZZ
P dx = dA (2.7)
C U y
(2.8)
Q
Z ZZ
Q dy = dA . (2.9)
C U x

Prova. Tomando Q = 0 e P = 0, respectivamente, em (2.6), obtemos (2.7) e


(2.9), respectivamente. Reciprocamente, somando (2.7) e (2.9) obtemos (2.6).

Observao 2.21. O Teorema de Green vale para domnios multiplamente cone-


xos: Seja C constituida pelas curvas C1 , . . . , Cm , de modo que o domnio U multi-
m
[
plamente conexo tem fronteira U = Ci , ento sob as hipteses do Teorema de
i=1
Green, tem-se
m I
Q P
ZZ   X I
dA = (P dx + Q dy) = P dx + Q dy ,
U x y i=1 Ci U

2.3.1 Formas Vetoriais do Teorema de Green

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

e considerando F como um campo em R3 com R 0, temos



i j k

Q P Q Q P
 
rot F =
x = i+ j+ j+ k
y z z z z x y
P Q 0
Q P

= k.
x y

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

2.3. O TEOREMA DE GREEN 17

A equao (2.10) expressa


I a integralIde linha da componente tangencial de F
ao longo de C (lembre que F dr = F Tds) como uma integral dupla da
C C
componente vertical de rot F sobre a regio U delimitada por C. Vamos deduzir
agora uma frmula semelhante, envolvendo a componente normal de F. Ora, o
vetor unitrio normal exterior a C
x0 (t) y 0 (t)
n(t) = i j,
r0 (t)| r0 (t)|

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

3.1 Integrais de Superfcie


3.1.1 Integrais de Superfcie para Campos Escalares
A integral de superfcie a verso para superfcies da integral de linha sobre
uma curva, ou em outra maneira de ver, o correspondente da integral de linha
(esta para uma dimenso) para duas dimenses. A integral de linha foi definida
mediante uma representao paramtrica da curva. Semelhantemente, a integral
de superfcie ser definida mediante uma representao paramtrica da superfcie;
assim, teremos que provar que, sob certas condies gerais, o valor da interal inde-
pende da parametrizao.
Definio 3.1. Sejam S uma superfcie paramtrica diferencivel1 e f um campo
escalar limitado, definido sobre S. A integral de superfcie de f sobre S definida
por ZZ ZZ
f (x, y, z) dS = f (r(u, v))|ru rv |dA , (3.1)
S D
se a integral dupla do segundo membro existir.
Observao 3.2. Note a semelhana com a frmula para a integral de linha
Z Z b
f (x, y, z) ds = f (r(t))|r0 (t)| dt .
C a

A seguir temos a invarincia da integral de superfcie em relao parametri-


zao.
Teorema 3.3. Sejam S e S 0 superfcies equivalentes, ento
ZZ ZZ
f (x, y, z) dS = f (x, y, z) dS
S S0
1
A parametrizao r : D R3 uma funo diferencivel

19
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP

20 CAPTULO 3. OS TEOREMAS DE STOKES E DA DIVERGNCIA

Prova. Veja [1, teo.12.2].

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

3.1.2 Integrais de Superfcie para Campos Vetoriais


Definio 3.5. Sejam S uma superfcie orientada S com vetor normal unitrio n e
F um campo vetorial limitado definido sobre S, ento a integral de superfcie de
F em S ZZ ZZ
F dS = F n dS .
S S

Essa integral tambm chamada fluxo de F atravs de S.

Em paralvras temos que a integral de superfcie de um campo vetorial sobre S


igual integral de superfcie (de campo escalar) da componente do campo vetorial
na direo normal a S.
Agora, de (1.4), da Definio 3.5 e de (3.1), temos

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

3.2 O Teorema de Stokes


O Teorema de Stokes uma verso em dimenso maior do Teorema de Green.
O Teorema de Green relaciona uma integral dupla sobre uma superfcie plana com
uma integral de linha em torno da curva fronteira da referida superfcie plana. No
Teorema de Stokes a superfcie no precisar ser plana, assim a integral dupla ser
substituida por uma integral de superfcie sobre uma superfcie S no espao, ao
passo que a integral de linha ser agora sobre uma curva do espao que a curva
fronteira de S.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

3.2. O TEOREMA DE STOKES 21

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

o Teorema de Stokes assegura que a integral de linha em torno da curva fronteira


de S da componente tangencial do vetor F igual integral de superfcie da com-
ponente normal do rotacional de F.
A curva fronteira, orientada positivamente, da superfcie orientada S deno-
tada por S, assim o Teorema de Stokes tambm escrito como
ZZ Z
rot F dS = F dr . (3.3)
S S

Existe uma analogia entre o TS, o TG e o TFC. Como anteriormente, existe


uma integral envolvendo, do lado esquerdo da equao (3.3), derivadas e, do lado
direito valores de F calculados somente na fronteira de S.
De fato, no caso especial em que a superfcie S plana e pertence ao plano
xy com orientao positiva para cima, o vetor normal unitrio k, a integral de
superfcie se transforma numa integral dupla, e o TS fica
I ZZ ZZ
F dr = rot F dS = rot F k dA .
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

22 CAPTULO 3. OS TEOREMAS DE STOKES E DA DIVERGNCIA

Corolrio 3.9. Seja F um campo vetorial C 1 em R3 . Ento F conservativo se, e


somente se, rot F = ~0; em smbolos, para um campo escalar f sobre R3 ,

F = f rot F = ~0 .

Prova. Se F = f ento fcil constatar ~


I que rot F = 0. Reciprocamente,
pelo Teorema 2.17 suficiente mostrar que F dr = 0 para todo caminho
C
fechado C. Sejam C um caminho fechado simples e S uma superfcie orientada
cuja fronteira seja C 2 . Ento, aplicando o TS obtemos
I ZZ ZZ
F dr = rot F dS = ~0 dS = 0 .
C S S

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.

Observao 3.10. A demonstrao acima contm duas afirmaes de difcil prova:


a existncia da superfcie S com fronteira C e a composio do caminho fechado
no simples por diversos caminhos fechados simples. Obviamente a escolha pela
apresentao desta demonstrao deve-se aplicao do Teorema de Stokes. To-
davia uma demonstrao com mais rigor encontra-se em [1].

3.3 O Teorema da Divergncia


O Teorema da Divergncia uma extenso do Teorema de Green para dimen-
so maior. Na subseo2.3.1, escrevemos o TG na verso vetorial
Z ZZ
F n ds = div F(x, y) dA , (2.11)
C U

onde C a curva fronteira, orientada positivamente, da regio do plano U . O


Teorema da Divergncia estender, a identidade acima, para campos vetoriais em
R3 , onde em vez da regio plana e de sua curva fronteira, teremos um slido e sua
superfcie fronteira.

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

3.4. TEOREMAS DO CLCULO VETORIAL 23

Observaes 3.12.

1. O Teorema da Divergncia afirma que, sob as condies dadas, o fluxo de F


pela superfcie fronteira de E igual integral tripla do divergente de F em
E.

2. O Teorema da Divergncia , s vezes, chamado Teorema de Gauss. Em


muitos pases da Europa, ele conhecido como Teorema de Ostrogradski.

3.4 Teoremas do Clculo Vetorial


3.4.1 Alguns Teoremas
Uma concluso fica-nos: os principais resultados apresentados aqui so ver-
ses em dimenso maior do Z b
Teorema Fundamental do Cl- TFC F 0 (x) dx = F (b) F (a)
culo. Assim, listamos os teore- a
mas (frmulas) a fim de que o
leitor possa visualizar, mais fa- Z
 
cilmente, essas semelhanas es- TFIL f dr = f r(b) f r(a)
C
senciais.
Observe que em cada caso te- ZZ I
mos, do lado esquerdo, uma in- (rot F) k dA = F dr
tegral de uma derivada"sobre U C
uma regio, e do lado direito
TG
ZZ I
temos os valores da funo na div F dA = F n ds
U C
fronteira da regio.
Note que das duas representa- ZZ I
es para o Teorema de Green, TS rot F dS = F dr
uma corresponde ao Teorema de S C
Stokes e a outra ao Teorema da
Divergncia, quando estendidas. ZZZ ZZ
TD div F dV = F dS
E S

So muitas as identidades integrais importantes no Clculo Vetorial, trs delas


sero estudadas minuciosamente no prximo captulo. Agora apresentaremos duas
identidades que relacionam integrais de volume e integrais de superfcies, como no
Teorema da Divergncia. Para um estudo sobre tais identidades veja [2]:
ZZZ ZZ
f dV = f dS
E S
ZZZ ZZ (3.4)
rot F dV = n F dS .
E S
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

24 CAPTULO 3. OS TEOREMAS DE STOKES E DA DIVERGNCIA

3.4.2 grad, div, rot e Independncia do Sistema de Coordenadas


O gradiente de um campo escalar f (e tambm de um campo vetorial F), o
divergente e o rotacional de um campo vetorial F foram definidos com base num
sistema de coordenadas. Todavia eles so propriedades intrnsecas do campo e as-
sim admitem definies (frmulas) que independem do sistema de coordenadas.
Uma demonstrao aberta dessas independncias de sistema de coordenadas para
os referidos campos pode ser feita usando o Teorema da Divergncia e as identida-
des em (3.4) (veja [2]). Aqui preferimos seguir os passos de [1] e apresentar, como
aplicao dos teoremas da Divergncia e de Stokes, apenas a prova para o diver-
gente e o rotacional de um campo; isto porque esta argumentao nos fornecer a
interpretao fsica para os referidos campos que, inclusive motiva-lhes os nomes.

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)

Note que definindo o divergente de um campo vetorial pela equao (3.5), no


necessitamos de um sistema de coordenadas. Alm disso a frmula infere uma
interpretao fsica ao divergente, a saber: seja v o campo velocidade de um fluido
com densidade constante , ento
ZZ a vazo de fluido por unidade de rea o campo
F = v; desta feita, a integral F n dS do lado direito de (3.5) afere a massa
S(t)
total do fluido passando atravs da superfcie S(t) no instante t e no sentido da
normal n; assim o quociente em (3.5) representa a massa por unidade de volume
que passa atravs de S(t) no instante t no sentido de n. Por fim, quando t 0
temos a vazo total por unidade de volume que sai de A; por isso, o divergente em
A pode ser interpretado como o coeficiente de variao da massa por unidade de
volume, por unidade de tempo, em A (essa a razo para o nome divergente). Para
campos F C 1 e P E, se div F(P ) > 0 o escoamento total prximo de P
para fora e P dito fonte, se div F(P ) < 0 o escoamento total prximo de P
para dentro e P denominado sorvedouro.
Agora usando o Teorema de Stokes obtemos um resultado anlogo para o rota-
cional.

Teorema 3.14. Sejam E(t), S(t) e A como no Teorema 3.13. Ento

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

3.4. TEOREMAS DO CLCULO VETORIAL 25

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

28 CAPTULO 4. IDENTIDADES DE GREEN


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

tem no mximo uma soluo.


Prova. Se u e v so solues de (4.3), tomamos w = u v e da facilmente
vemos que w soluo do problema

2
w C (U )

w = 0 em U

w=0 em U

Assim, aplicando (4.1) para w e sendo w = 0 em U , temos


w
Z Z
2
|w| dA = w ds = 0 = w = 0 .
U U n
Agora, uma vez que U conexo, w C 2 (U ) e w = 0 em U , temos w constante
em U e como w = 0 em U segue que w = 0 em U . Portanto v = u em U .

Observao 4.4. A hiptese u C 2 (U ) muito forte para a unicidade; ela
necessria devido s hipteses para a aplicao da identidade (4.1). Contudo, mais
adiante enfraqueceremos a hiptese (referente regularidade da soluo) para

u C 2 (U ) C(U ) ,

isto , em (4.3) temos g C 2 (U ), mas basta g C(U ) (veja a Seo 4.2).


o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

4.1. AS IDENTIDADES 29

Agora vamos Terceira Identidade de Green, que muito importante para a


chamada teoria do potencial".

Definio 4.5 (Funo Harmnica). Uma funo u C 2 (U ) dita uma funo


harmnica se for soluo da equao de Laplace

u = 0 .

Observaes 4.6.

1. Aqui U um domnio, como sabemos.

2. A definio de funo harmnica varia no que tange sua regularidade, em


[6] exigido apenas u C(U ). Da, em [6] ter uma prova diferente para
o Princpio do Mximo, pois para aplicar as identidades de Green neces-
sria regularidade C 2 . Como nosso texto trata de teoria de Green"no h
outro caminho se no assumirmos a regularide C 2 para a definio de funo
harmnica.

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:

x = r cos , y = r sen ; r 0, [0, 2) .

Fazendo v(r, ) = u(x, y), facilmente vemos que


1 1
u =1 (r,) v = vrr + vr + 2 v . (4.4)
r r
Definio 4.7. Se v harmnica e v(r, ) = f (r), ento v dita harmnica radial.

Teorema 4.8. As funes harmnicas radiais em R2r{0} so

f (r) = c1 ln r + c2 , c1 , c2 constantes . (4.5)

Prova. Como f = f (r), ento f = 0 e da segue de (4.4) que se f


harmnica radial ento
1
f 00 (r) + f 0 (r) = 0 . (4.6)
r
Consideremos os casos a seguir:

f 0 (r) = 0 f (r) = c soluo de (4.6).


(4.6) c
f 0 (r) 6= 0 |f 0 (r)| = , como f 0 contnua segue que
r
f (r) = c ln r + d onde c 6= 0 e d so constantes.
1
Como no caso do grad, rot e div, tambm o laplaciano independe do sistema de coordenadas.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

30 CAPTULO 4. IDENTIDADES DE GREEN

Assim, temos que f1 = 1 e f2 = ln r so solues de (4.6) em (0, ) e, uma


vez que elas so linearmente independentes segue de [7, Teo.4.5] que a soluo
geral da EDO (4.6) dada por (4.5). Reciprocamente, se f do tipo (4.5) ento,
obviamente, f harmnica radial.


Notao. Usaremos as letras gregas para representar pontos de R2 , isto ,


= (x, y).
Definio 4.9 (Soluo Fundamental). A soluo fundamental de u = 0 em R2
a funo
F : R2r{0} R
1
7 F () = ln || .
2
Observao 4.10. Para n 3, a soluo fundamental de u = 0 em Rn a
funo
F : Rnr{0} R
1
7 F () = ||2n ,
(2 n)n
Calculando diretamente, fcil ver que se F a soluo fundamental de u = 0
em Rn , ento F = 0 em Rnr{0}.
A soluo fundamental importante pois a partir dela se constri outras funes
harmnicas.
Seja F a soluo fundamental de u = 0 em R2 . Para cada R2 , vamos
adotar a seguinte notao:

F () = F ( ) , 6= .

Para demonstrar a Terceira Identidade de Green vamos precisar de alguns le-


mas, que apresentaremos a seguir.
Lema 4.11. Sejam R > 0 e g : B[; R] R. Se g limitada e F g integrvel
em relao ao comprimento de arco ao longo de qualquer crculo centrado em
de raio r, 0 < r < R, ento
Z
lim F g ds = 0 .
r0+ B(;r)

Prova. Como g limitada, existe M > 0 tal que

|g(x)| M, n B[; R] .

Da, se 0 < r < R,


ln r
Z Z Z
F g ds = F ( )g() ds() = g() ds() ,
B(;r) kk=r 2 kk=r
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

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

Lema 4.12. Sejam R > 0 e g C(B[; R]). Ento

F
Z
lim g ds = g() .
r0+ B(;r) n

Prova. Denotando = (a, b) e = (x, y), temos:


1 1 q
F () = ln k k = ln (x a)2 + (y b)2
2 2
1 xa
x F () =
2 k k2
1 yb
y F () = .
2 k k2

Alm disso, se B(; r) para 0 < r < R, k k = r e

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

que o valor mdio de g sobre o crculo de raio r. Portanto o resultado segue da


Proposio 2.12.

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

32 CAPTULO 4. IDENTIDADES DE GREEN

I(r) existe para 0 < r < R, pois F g C(U r ). Queremos a existncia de


lim I(r).
r0+
Como g C(U ) e U compacto, ento g limitada, logo existe M > 0 tal que

|g()| M, U .

Sejam 0 < s < t < R: ento


Z
M
Z

|I(t) I(s)| = F ()g() d ln k k d .
U srU t 2 s<kkt
Para calcular essa ltima integral, vamos introduzir um sistema de coordenadas
polares centrado em :

= + (r cos , r sen ), s < r t, 0 2 .

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

como lim (r ln r) = 0, ento a funo r ln r limitada perto de zero, isto , existe


r0+
N > 0 tal que
0 < r < 1 = 0 < r| ln r| < N .

Dado > 0, tome = : se rn (0, R), n N tal que rn 0, quando
MN
n , ento existe n0 N tal que m, n n0 |rn rm | < ; Da
M
|I(rn ) I(rm )| < N 2|rn rm | <
2
e portanto, pelo critrio de Cauchy existe lim I(rn ). Como I(rn ) tem limite para
n
todo rn (0, R) convergindo a zero, segue que existe lim I(r); como queramos
r0+
demonstrar.

Agora estamos preparados para a Terceira Identidade de Green.
Teorema 4.14 (3a Identidades de Green). Sejam U um domnio limitado onde vale
o Teorema de Green e u C 2 (U ). Ento, qualquer que seja U ,
F u
Z   Z
u() = u F ds + F ()u() d . (3a IG)
U n n U

Observaes 4.15.

1. A primeira integral est bem definida pois se U e U , ento


F () est bem definida e continuamente diferencivel em , isto , F
C 1 (U ).
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

4.1. AS IDENTIDADES 33

2. A segunda integral imprpria, pois F () diverge quando , mas tem


sua boa definio assegurada pelo Lema 4.13:
Z Z
F ()u() d = lim F ()u() d .
U r0+ U r

Prova. Fixemos U e tomemos R > 0 tal que B(; R) U . Como no Lema


4.13, se 0 < r <, Ur = UrB[; r], temos Ur = U B(; r) e a orientao
positiva de Ur coincide com a orientao positiva de U e a orientao negativa
de B(; r), isto , se n a normal unitria exterior a Ur e a normal unitria
exterior a B(; r), ento n = em B(; r).
Sabemos que F () = 0 se U r , da aplicando a (2a IG), com v = F ,
obtemos
u F
Z Z Z  
F u d = (F u uF ) d = u Fds
Ur ZU r Z Ur  n n
u F

u F (4.7)
= F u ds F u ds.
U n n B(;r)

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)

Ainda, como u contnua em U , pelo Lema 4.12

F
Z
lim u ds = u() .
r0+ B(;r)

Por fim, pelo Lema 4.13, como u C 2 (U ), existe o limite


Z Z
lim F u d = F u d .
r0+ U r U

Assim, tomando r 0+ em (4.7) obtemos a (3a IG).

Observao 4.16. Em Rn tem-se a validade das trs identidades de Green (veja


[11]). As duas primeiras tm provas idnticas ao caso n = 2, apenas uando o Teo-
rema da Divergncia ao invs do Teorema de Green. Quanto terceira identidade,
sua prova um pouco diferente, uma vez que para n 3 a soluo fundamental
tem outra forma. Em R3 , a Terceira Identidade de Green tem importncia, do ponto
de vista fsico, na teoria do potencial (veja a referncia indicada por [12]).
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP

34 CAPTULO 4. IDENTIDADES DE GREEN

4.2 O Princpio do Mximo para Funes Harmnicas

Nesta seo vamos provar o princpio do mximo para funes harmnicas e


us-lo para obter a unicidade do problema de Poisson com menos regularidade.
Para a prova do princpio do mximo vamos usar outra propriedade interessante
de funes harmnicas que o teorema do valor mdio.
Teorema 4.17 (Teorema do Valor Mdio para Funes Harmnicas). Sejam A um
a-berto e u harmnica em A. Ento, quaisquer que sejam A e r > 0 com
B[; r] A,
1
Z
u() = u ds . (4.8)
2r B(;r)
prova. Aplicando a (3a IG) B(; r), obtemos
F u
Z   Z
u() = u F ds + F ()u() d
B(;r) n n B[;r]

F u
Z Z
= u ds F ds .
B(;r) n B(;r) n

Como na prova do Lema 4.12, se B(; r) temos


ln k k ln r F 1 1
F () = = e () = = .
2 2 n 2k k 2r
Portanto
1 ln r u
Z Z
u() = u ds ds .
2r B(;r) 2 B(;r) n
Agora, como u harmnica em B(; r), por (4.2)
u
Z
ds = 0 ,
B(;r) n

e assim temos (4.8).



Observaes 4.18.

1. Note que a frmula do valor mdio diferere da Proposio 2.12, onde l o


valor da funo o limite do valor mdio sobre o crculo, quando o raio
tende a zero. Aqui, pelo fato da funo ser harmnica, temos que o valor
mdio assumido no centro do disco.

2. importante ressaltar que a recproca do Teorema do Valor Mdio verda-


deira, isto : se A um aberto, u C 2 (A) e a frmula (4.8) vlida, ento
u harmnica em A.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

4.2. O PRINCPIO DO MXIMO PARA FUNES HARMNICAS 35

3. A recproca do Teorema do Valor Mdio usada na Teoria de Funes de


uma Varivel Complexa para provar a analiticidade de uma funo harm-
nica.
Teorema 4.19 (Princpio do Mximo). Sejam A um aberto e u C(A) harmnica
em A:
(i) Se A conexo e u atinge seu mximo em A, isto , existe 0 A tal que
u() u(0 ), A ;
ento u constante em A.
(ii) Se A limitado ento o mximo de u ocorre em A, isto ,
max u = max u .
A A

Prova. (i) Conforme a hiptese, seja 0 A tal que


u(0 ) = M = max{u(x); x A} , (4.9)
e consideremos o conjunto S = { A; u() = M }.
Comeamos observando que S 6= pois 0 S. A seguir vamos mostrar que S
aberto e fechado em M , o que, mediante a conexidade de A, implica S = A
(Proposio 1.1):
S fechado em A pois S = u1 (M ) (imagem inversa de fechado for funo
contnua).
Como A aberto, ento S aberto em A se, e somente se, S aberto. Assim,
vamos mostrar que S aberto. Para esse fim, tomemos S arbitrrio e
R > 0 de modo que B[; R] A e mostremos que B(; R) S. Como u
harmnica em A, pelo TVM temos
1
Z
M = u() = u ds , r (0, R) . (4.10)
2r B(;r)
Suponhamos que B(; R) 6 S, ento existe B(; R) tal que 6 S,
logo
u() < M = u() , (4.11)
pela continuidade de u, exite uma vizinhana V de em B(; R) tal que
u < M em V ; Tomando r = k k, = V B(; r) e usando
(4.9), (4.10) e (4.11) vem
1 1 1
Z Z Z
(4.10)
M = u ds = u ds + u ds
2r B(;r) 2r B(;r)r 2r
(4.9) M
Z
1
Z
ds + u ds
2r B(;r)r 2r
(4.11) M M
Z Z
< ds + ds = M ,
2r B(;r)r 2r
o que um absurdo. Portanto B(; R) S como desejvamos.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

36 CAPTULO 4. IDENTIDADES DE GREEN

(ii) Como A compacto, existe max u. Se max u ocorre em um ponto interior,


A A
ento pelo item (i) u constante no fecho da componente conexa X que contm
esse ponto, e portanto, como A X 6= segue que existe 0 A tal que
u(0 ) = max u.
A


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

Prova. Sejam u, v solues do problema (4.12) e w = u v. Ento w


C 2 (U )
C(U ), w = u v = f f = 0 em U e w = u v = g g = 0
em U . Como w harmnica em U, U limitado e w C(U ) ento w atinge seu
mximo e seu mnimo em U , o que implica w = 0 em U e, consequentemente
u = v, findando a prova do teorema.

Observao 4.23. Comentamos anteriormente que uma regio de fcil"trato seria
o semiplano. Contudo, como o semiplano ilimitado, a princpio no podemos
aplicar o Princpio do Mximo se no tivermos a hiptese de existncia do mximo.
Entretanto, isto contornado por uma verso mais forte do Princpio do Mximo
onde substituimos a hiptese de mximo em A por mximo local em A, este o
chamdo Princpio do Mximo Forte.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

Captulo 5

A FUNO DE GREEN

Neste captulo, diferentemente do anterior, vamos considerar n 2; assim


estaremos admitindo a validade dos resultados do captulo anterior para n 2.
O motivo desta escolha que os pontos abordados neste captulo no apresentam
diferenas significativas entre os casos n = 2 e n > 2.

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

Esta representao da soluo tem o incoveniente de no express-la explici-


u
tamente, pois o termo no um dado do problema (devido unicidade de
ny
u
soluo garantida pelo Teorema 4.22, obviamente determinado pelos da-
ny
dos f e g). Assim preciso uma representao alternativa para a soluo, onde
apaream apenas os dados f e g. A ideia ento substituir F (x y) por uma
funo G(x, y) com propriedades semelhantes s de F mas, tal que G(x, y) = 0
u
para (x, y) U U pois assim o termo contendo no ocorre na relao que
ny
corresponde Terceira Identidade de Green.

37
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

38 CAPTULO 5. A FUNO DE GREEN

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(x, y) = F (x y) + Hx (y) , (x, y) U U (x 6= y) .

Assim, segue da (3a IG) e de (5.4) que para x U


G
Z Z
u(x) = G(x, y)u(y) dy + u (x, y) ds(y) , (5.5)
U U ny
G
onde (x, y) = y G(x, y) n(y) a derivada normal exterior de G em relao
ny
u
varivel y. Note que o termo no aparece em (5.5): a funo correo Hx
ny
foi introduzida justamente para esse fim.
Agora voltando ao problema introdutrio
desta seo, combinando a equao
(5.2) e (5.4) (com f = u e g = u U ) obtemos

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.

1. A integral sobre U em (5.5) existe no mesmo sentido que a integral corres-


pondente na (3a IG), uma vez que a funo y U 7 Hx (y) para x fixo,
contnua.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

5.1. DEFINIO 39

2. Se u harmnica ento (5.5) fica


G
Z
u(x) = u (x, y) ds(y) , x U . (5.7)
U ny
A equao (5.7) conhecida como a frmula de Poisson em U , e o termo
G
chamado o ncleo de Poisson de U .
ny
3. O motivo da limitao de U simplesmente para aplicarmos a (3a IG).
A partir de agora U denotar um domnio regular, isto , um domnio limitado
com fronteira de classe C 2 .
A primeira propriedade a apresentarmos a simetria da funo de Green, isto
, G(x, y) = G(y, x).
Teorema 5.3 (Simetria). Seja U um domnio regular. Ento
G(x, y) = G(y, x) , (x, y) U U, x 6= y .
Prova. Como x 6= y, por definio de G, tomemos > 0 tal que
B[x; ] B[y; ] U e B[x; ] B[y; ] = .
Tomemos ainda, em U (B[x; ] B[y; ]),
u(z) = G(x, z) = H(x, z) F (x, z) e v(z) = G(y, z) .
Agora aplicando a (2a IG), e observando que u = v = 0, vem
v u
Z Z  
0 = (uv vu) = u v ds
ZU   U n n
v u
= u v ds
U n n
Z
G G
 (5.8)
+ G(x, z) (y, z)G(y, z) (x, z) ds(z)
ZB(x;)  n n
F F

+ G(x, z) (y, z)G(y, z) (x, z) ds(z) = A +B .
B(x;) n n
Vamos analisar separadamente A e B .

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

40 CAPTULO 5. A FUNO DE GREEN

Vamos calcular o limite de cada Ii .


Z
xz
|I1 | = Hx (z)z Hy (z) ds(z)

kx

B(x;)
Z zk
|Hx (z)| |z Hy (z)| ds(z) .
B(x;)

Como Hx , Hy C 2 (U ) e B[x; ] U temos que

|Hx (z)| |z Hy (z)| Cxy , z B(x; ) ,

onde Cxy uma constante; da a inequao acima conduz a


Z
0+
|I1 | Cxy ds = 2Cxy 0 .
B(x;)

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;)

Como y 6 B[x; ], tem-se Fy C (B[x; ]) e portanto existe cxy constante tal


que
|Hx (z)| |z Fy (z)| < cxy , z B(x; ) ,
e como na obteno de (5.9), temos

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

O mesmo argumento se aplica I4 , e assim

0+
I4 0 . (5.13)

Ainda, pelo mesmo argumento, segue do Lema 4.12 que

0+
I6 Hy (x) = H(y, x) . (5.14)

Agora Fy C (B[x; ]) e Hx C 2 (U ), da como nos raciocnios anteriores


segue que
0+
I7 0 . (5.15)

Pelo mesmo argumento usado na obteno de (5.14), vem

0+
I8 Fy (x) = F (y, x) = F (x, y) . (5.16)

Assim, de (5.9) (5.16) temos

8
X
lim A = lim Ii = H(y, x) F (y, x) = G(y, x) . (5.17)
0+ 0+
i=1

Um raciocnio anlogo mostra que

lim B = G(x, y) . (5.18)


0+

Com isto, tomando o limite 0+ em (5.8), segue de (5.17) e (5.18) que

G(y, x) G(x, y) = 0 e consequentemente G(y, x) = G(x, y) .

Observaes 5.4.

1. Por definio, a funo G(x, y) harmnica na 2a varivel e se anula quando


esta pertence fronteira U . A propriedade de simetria, provada acima,
mostra que estas afirmaes tambm so verdadeiras para a 1a varivel.

2. importante ter uma sequncia lgica dos resultados estabelecidos at aqui,


pois comum o equvoco de achar que j est resolvido o problema (5.1)
para U limitado, entretanto os resultados obtidos at aqui foram assim: se
o problema admite soluo, ento a soluo tem a forma (5.6). Assim a
resoluo de um problema particular requer a obteno da funo de Green
G(x, y) para o domnio particular U , e o teste se a frmula soluo do
problema.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

42 CAPTULO 5. A FUNO DE GREEN

3. Referente observao do item anterior temos que em [5] determina-se as


funes de Green da bola e do semiespao (este ltimo inclusive ilimitado)
e depois prova que (5.6) soluo do problema (5.1) para f = 0. J em
[11] prova-se a existncia de soluo para (5.1) com U um aberto qualquer
de R3 com a condio de fronteira nula (u U = 0).

4. Para o tratamento de [11] necessita-se da teoria de integrao de Lebesgue,


o que no o propsito destas notas, por isso vamos seguir [5], at porque o
nosso propsito o problema para o disco (n = 2, Problema (6.10)).

5.2 Funo de Green para a Bola Unitria


Para construir a funo de Green da bola unitria B, definimos o simtrico de
um ponto, diferente de 0, em relao esfera unitria B S n1 , como segue.
Definio 5.5. Dado x Rnr{0}, o ponto
x

x
kxk2

chamado o ponto simtrico de x com respeito S n1 . A aplicao x 7 x


a
inverso completa em relao a S n1 .
Usaremos a aplicao inverso em relao S n1 para construir a funo de
Green da bola unitria.
Fixemos x B. Lembremos que para a construo da funo de Green deve-
mos obter a funo correo Hx (y) = H(x, y) soluo do problema
(
Hx = 0 em B
Hx (y) = F (x y) em B ,

e assim a funo de Green ser

G(x, y) = F (y x) H(x, y) .

Naturalmente a ideia inverter a singularidade"de x B para x


6 B.
Assuma por um momento n 3. Da a aplicao y 7 F (y x ) harmnica
e portanto y 7 kxk2n F (y x
para y 6= x ), x 6= 0 harmnica para y 6= x
.
Assim 
Hx (y) = F kxk(y x )
harmnica em B se x 6= 0. Alm disso, se y B e x 6= 0 ento

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

5.2. FUNO DE GREEN PARA A BOLA UNITRIA 43

k)(n2) = kx yk(n2) , y B. Portanto


Assim (kxkky x
Hx (y) = F (y x) , y B .
O mesmo argumento se aplica naturalmente ao caso n = 2 (exerccio para o leitor).
Agora estamos prontos para definir a funo de Green para o caso n 2.
Definio 5.6 (Funo de Green para a Bola Unitria). A funo de Green para a
bola unitria
 
G(x, y) = F (y x) F kxk(y x
) , x, y Br{0}, x 6= y . (5.19)
Suponhamos que u seja soluo do problema
(
u = 0 em B
(5.20)
u = g em B .
Ento segue de (5.6) que
G
Z
u(x) = g(y) (x, y) dS(y) . (5.21)
B n
G
Vamos determinar (x, y).
n
De (5.19) temos
G F 
(x, y) = (y x) F kxk(y x
) .
yi yi yi
Mas
F 1 yi xi
(y x) =
yi n ky xkn
n
" #
F xj
X   
 
F kxk(y x
) = kxk(y x
) kxk yj
yi j=1
zj yi kxk2
xi
kxkyi
F  1 kxk
= kxk F kxk(y x) = kxk n
zi n x
kxkn y
kxk2
kxk2 yi xi
= .
n ky xkn
Poranto, como n = y segue que
n n
G X G 1 1 X h
2
i
(x, y) = yi (x, y) = y i (y i x i ) y i kxk + xi
n i=1
yi n ky xkn i=1
2
1 kyk kxk 2 1 1 kxk2
= = .
n ky xkn n ky xkn
Portanto (5.21) fica
1 kxk2 g(y)
Z
u(x) = dS(y) . (5.22)
n B ky xkn
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP

44 CAPTULO 5. A FUNO DE GREEN

Observao 5.7 (Bola Arbitrria). Para o caso da bola Br de centro na origem e


raio r > 0, o problema (5.20) fica
(
u = 0 em Br
(5.23)
u=g em Br .

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 ) dS(y 0 )


Z
()
= 0 n n1
n r 2 y z r
Br
r r

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

5.2. FUNO DE GREEN PARA A BOLA UNITRIA 45

Proposio 5.8. Para cada x Br tem-se


Z
K(x, y) dy = 1 . (5.25)
Br

Prova. Consideremos o problema de Dirichlet



2
w C (Br )

w = 0 em Br

w=1 em Br

Facilmente temos que w = 1 a nica soluo do problema acima, e da segue de


(5.7) que

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

Para o caso n = 2, x = (kxk cos 0 , kxk sen 0 ), y = (r cos , r sen ), a integral


acima fica

2r2
Z 2
d
= .1
0 r2 + kxk2 2rkxk cos( 0 ) r2 kxk2

Agora vamos existncia de soluo. Antes observamos que a condio de


fronteira ser expressa por

lim u(x) = g(x0 ) , para cada x0 Br .


x x0
x Br


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

(iii) lim u(x) = g(x0 ), para cada x0 Br .


x x0
x 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

46 CAPTULO 5. A FUNO DE GREEN

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

(ii) Para cada x Br , a aplicao y 7 G(x, y) harmnica em Brr{x}. Como


G(x, y) = G(y, x), pelo Teorema 5.3, ento tambm a aplicao x 7 G(x, y)
harmnica em Brr{y}, e portanto a aplicao

G
x 7 (x, y) = K(x, y)
yn

harmnica em Br para y Br . Como x K(x, y) = 0, ento facilmente temos


Z
u(x) = x K(x, y)g(y) dy = 0 .
Br

(iii) Fixemos x0 Br . Como g C(Br ), dado > 0 existe > 0 tal que

|g(y) g(x0 )| < , ky x0 k < , y Br . (5.26)


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 ;)

Vamos trabalhar cada uma das parcelas acima:

(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

5.2. FUNO DE GREEN PARA A BOLA UNITRIA 47

Da, como g limitada,


Z
J 2kgkB K(x, y) dy
BrrB(x0 ;)
r2 kxk2 dy
Z
= 2kgkB (5.29)
rn BrrB(x0 ;) kx ykn
2n+1 (r2 kxk2 )kgkB dy
Z
xx0
n
0 ,
rn BrrB(x0 ;) ky x0 k

onde a convergncia acima deve-se a limitao da ltima integral. Assim, de


(5.28), (5.29) e (5.27) temos

|u(x) g(x0 )| < 2 , desde que kx x0 k  1 .

Com isto provamos (iii) e findamos a prova do teorema.


o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

48 CAPTULO 5. A FUNO DE GREEN

5.3 Funo de Green para o Semiplano


Nesta seo, seguido o rito estabelecido na Observao 5.4.2, resolveremos um
problema do tipo (5.1) para o semiespao

Rn+ = {x = (x1 , . . . , xn ) Rn ; xn > 0} .

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

Tomamos a funo correo, como anteriormente,

) = F (y1 x1 , . . . , yn1 xn1 , yn + xn ) , x, y Rn+


Hx (y) = F (y x

(a ideia foi construir a funo correo a partir de F , pela reflexo da singularidade


de x Rn+ para x Rn .)
Note que

) = 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

G(x, y) = F (y x) Hx (y) , x, y Rn+ , x 6= y .

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

5.3. FUNO DE GREEN PARA O SEMIPLANO 49

Vamos analisar separadamente os casos para n:

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+ .

Em conformidade com (5.6) esperamos que u tenha a representao


2xn g(y)
Z
u(x) = dy . (x Rn+ ) (5.31)
n Rn
+
kx ykn

Definio 5.14. A funo


2xn 1
K(x, y) = , x Rn+ , y Rn+
n kx ykn
chamado ncleo de Poisson para Rn+ e (5.31) a frmula de Poisson.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

50 CAPTULO 5. A FUNO DE GREEN

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
+

Prova. Denotemos z = (z 0 , zn ) Rn . Ainda, para y Rn+


temos y = (yx , . . . , yn1 , 0) y 0 . Da
2xn dy
Z Z
K(x, y) dy =
Rn
+
n Rn1 kx ykn
2xn dSdr
Z Z
= n
n Z0 ZB(x0 ;r) (kx0 y 0 k2 + x2n ) 2
2xn dSdr (5.33)
= n
n 0 B(x0 ;r) (r + x2 ) 2
2
rn2
Z
2n1
= n dr .
n 0 (r2 + x2n ) 2
Vamos proceder separadamente para n = 2 e n 3.
n = 2:
Z Z Z
dr 1 dr 1
() dt
= = 2
(r + x22 ) x22
2
2 r x2 1 + t2

0 0 0
+1
x (5.34)
2
1
= arctg t = .
x2 0 2x2
r
(): usamos a mudana de varivel t = .
xn
Agora para n = 2 temos n = 2, n1 = 2, da
2n1 4x2 2x2
= = . (5.35)
n 2
Portanto, de (5.33) (5.35) segue (5.32) para n = 2.

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

5.3. FUNO DE GREEN PARA O SEMIPLANO 51

Assim, substituindo (5.37) ou (5.38), conforme o caso par ou impar, em (5.36) e


depois em (5.33) obtemos (5.32) para n 3.

Agora vamos ao nosso propsito, mencionado acima. Avisamos ao leitor que
devido ao curto tempo de preparao destas notas vamos ser repetitivos na demons-
trao do teorema a seguir, no que tange aos mesmos argumentos empregados no
teorema correlato para a bola. Tambm aqui, analogamente ao caso da bola, a
condio de fronteira ser expressa por

lim u(x) = g(x0 ) , para cada x0 Rn+ .


x x0
x Rn
+

Teorema 5.16 (Frmula de Poisson para o Semiespao). Seja


g C(Rn1 ) B(Rn1 ) e defina u por (5.31). Ento
(i) u C (Rn+ ) B(Rn+ )

(ii) u = 0 em Rn+

(iii) lim u(x) = g(x0 ), para cada x0 Rn+ .


x x0
x Rn
+

Prova. (i) u B(Rn+ ): segue de (5.32) que


Z Z
|u(x)| |K(x, y)||g(y)| dy kgkB(Rn+ ) K(x, y) dy = kgkB(Rn+ ) < .
Rn
+ Rn
+

u C (Rn+ ): A aplicao x 7 K(x, y), x 6= y C , da fcil verificar (fica


como exerccio para o leitor) que u C (Rn+ ). Assim completamos a prova do
item (i).

(ii) Para cada x Rn , a aplicao y 7 G(x, y) harmnica em Rnr{x}. Como


G(x, y) = G(y, x) (isto segue da forma de G e no do Teorema 5.3, uma vez que
Rn+ ilimitado) ento tambm a aplicao x 7 G(x, y) harmnica em Rnr{y}.
Assim a aplicao
G
x 7 (x, y) = K(x, y)
yn
harmnica em Rn+ para y Rn+ . Como x K(x, y) = 0, ento facilmente
temos Z
u(x) = x K(x, y)g(y) dy = 0 .
Rn
+

(iii) Fixemos x0 Rn+ . Como g C(Rn+ ), dado > 0 existe > 0 tal que

|g(y) g(x0 )| < , ky x0 k2 < , y Rn+ . (5.39)


2
Conforme a definio de continuidade (veja [16]), esta norma do Rn , contudo pelo fato de
Rn
+ = R
n1
, fatalmente ela reduz-se norma de Rn1 .
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

52 CAPTULO 5. A FUNO DE GREEN


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


n
ZR+ (5.40)
= K(x, y)|g(y) g(x0 )| dy
n
Z + B(x0 ;)
R

+ K(x, y)|g(y)g(x0 )| dy = I +J .
Rn
+rB(x0 ;)

Vamos trabalhar cada uma das parcelas acima:


(5.39) Z Z
(5.32)
I K(x, y) dy K(x, y) dy = . (5.41)
Rn
+ B(x0 ;) Rn1


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

onde a convergncia acima deve-se a limitao da ltima integral. Assim, de


(5.41), (5.42) e (5.40) temos

|u(x) g(x0 )| < 2 , desde que kx x0 k  1 .

Com isto provamos (iii) e findamos a prova do teorema.


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

Algumas observaes so necessrias:

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

2. Nas frmulas da funo de Green para a bola de raio r, retiramos a origem.


Entretanto podemos colocar a origem e assim (5.19) e (5.43) so vlidas
para x, y Br, x 6= y, onde naturalmente o nico sentido de
F kxk(y x ) em x = 0 como

lim F kxk(y x
) .
x0

3. Vamos determinar o limite acima para r = 1, deixando o caso geral r > 0


como exerccio para o leitor:
n 2:
F k0k(y
 
0) lim F kxk(y x ) = 0 .
x0
 1 kx kxk2 yk
De fato. Temos F kxk(y x
) = ln . Agora
2 kxk

kx kxk2 yk 1 hx kxk2 y, x kxk2 yi


ln = ln
kxk 2 kxk2
1 kxk 2kxk2 (x y) + kxk4 kyk2
2
= ln
2 kxk2
1
= ln(1 2x y + kxk2 kyk2 ) .
2
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

54 CAPTULO 5. A FUNO DE GREEN

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.

4. Quando introduzimos a funo de Green, estvamos olhando para um pro-


blema especfico, onde o domnio era limitado; em seguida definimos a fun-
o de Green para o semiespao, que um domnio ilimitado; ficando assim,
bvio que a funo de Green no se restringe a domnios limitados. Assim
introduzimos a definio geral para uma funo de Green.
(Funo de Green) A funo de Green G(x) para o operador num do-
mnio U no ponto x0 U uma funo G : U R satisfazendo:

(i) G C 2 (Ur{x0 });


(ii) G(x) = 0 , x Ur{x0 };


(iii) G = 0;
U
(iv) A funo Hx0 (x) = G(x) F (x x0 ) est definida em U e soluo
do problema (
Hx0 C 2 (U )
Hx0 (x) = 0 , x U .

Note a troca do sinal na parcela referente F (x x0 ) desta definio de G


com respeito que empregamos anteriormente.
Notao: G(x) G(x0 , x).
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

Captulo 6

ESCOAMENTO DE
POISEUILLE

6.1 Sistema de Navier-Stokes com Lei de Potncia

O escoamento de um fluido viscoso estacionrio incompressvel com lei de


potncia em um domnio Rn modelado pelo sistema

n o
p2

div |D(v)|
D(v) = (v v) + P em
v = 0 em (6.1)

v = 0 em ,

onde v o campo de velocidade e P a funo presso


! do fluido, D(v) o gra-
1 vi vj
diente simtrico (isto , Dij (v) = + para v = (v1 , . . . , vn )) e
2 xj xi
n
X
v v = vi v o termo convectivo.
i=1
x i
O escoamento classificado segundo o valor de p
p = 2: Fluidos Newtonianos (ex. gua, leo) O sistema (6.1) torna-se o Sis-
tema de Stokes ( = 0) e Navier-Stokes ( = 1)


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

56 CAPTULO 6. ESCOAMENTO DE POISEUILLE

De fato, como p = 2 ento |D(v)|p2 = 1 e da


!
1 vi vj
 
div {D(v)} = [D(v)] = ,..., + =
x1 xn 2 xj xi ij
1 vi v1 vi v2 vi vn
      
+ + + + + + =
2 " x1 x1 x!i x2 x2 x !i xn xn !# xi
1 2 vi 2 v1 2 vi 2 v2 2 vi 2 vn
2 + + 2 + + + 2
+ =
2 x1 x1 xi
x 2
x 2 x i
x n x n x i
n n
1 X 2 vj 1 X vj
vi + = vi + =
2 j=1
xj xi 2 xi j=1 xj
1 1
 
vi + ( v) = v ,
2 xi 2
pois v = 0. Note ainda que, para descarregar as notaes, nas contas acima o
i representa todas as entrada, ou seja, o termo ui representa o vetor cuja i-sima
entrada ui (isto , ui (ui )i u); Da a ltima igualdade.
Observao 6.1. a constante > 0 a viscosidade que substitui o termo constante
|D(v)|p2 = 1 e absorve a frao 1/2 resultante nos clculos acima. Todavia
para facilitar os clculos na resoluo da equao acima, tomaremos = 1, sem
prejuizos de generalidade.
p < 2: shear-thinning (ou plstico e pseudo-plstico, Ex. muitos polmeros e
solues).
p > 2: shear-thickening (ou dilatante, Ex. barro e cimento).
Para o estudo do sistema (6.1) no caso p = 2 veja [10].
Para o caso p 6= 2: Se = 1, (6.1) dito sistema de Navier-Stokes com Lei de
Potncia; se = 0, (6.1) dito sistema de Stokes com Lei de Potncia.
Maiores informaes sobre o desenvolvimento do sistema (6.1) podem ser en-
contradas em vrios papers sobre fluidos no Newtonianos, como por exemplo,
Ladyzhenskaya [13, 14], Marusic-Paloka [18, 19], Ruzicka [20] e Frehse, Mlek
e Steinhauer em [8, 9]. O estudo deste tipo de escoamento em domnios limitados
pode ser encontrado em Lions [17], Ruzicka [20] e Frehse, Mlek e Steinhauer em
[8, 9]. Em domnios ilimitados so poucas as referncias, citamos Marusic-Paloka
[18, 19] e Dias e Santos em [4].
Recordando os conceitos em Mecnica dos Fluidos, um fluido incompressvel
quando sua densidade constante. A equao que caracteriza a incompressibili-
dade do fluido a equao (6.11 ), isto ,

v = 0.

Ainda, o fluxo, do fluido, atravessando a fronteira de um domnio U Rn ,


definida por Z
= v n,
U
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

6.1. SISTEMA DE NAVIER-STOKES COM LEI DE POTNCIA 57

onde n a normal exterior U . Segue do Teorema da Divergncia que para fluidos


incompressveis a vazo nula. Com efeito
Z Z Z
= v n dS = div v dV = 0 dV = 0 . (6.2)
U U U

Em [10] e [18] estuda-se o sistema (6.1) (no primeiro para p = 2 e no segundo


para p > 2) para um domnio Rn , n = 2, 3 de classe C , do seguinte tipo
m
[
= i ,
i=0

onde 0 um domnio limitado de Rn , enquanto i , i = 1, . . . , m, em pos-


sveis diferentes sistemas de coordenadas cartesianas, so canais infinitos retos,
isto , com seo transversal i limitada. Em smbolos, existem constantes ci ,
i = 1, . . . , m tais que

i (t) = (x0 , xn ) Rn ; kx0 k ci , xn = t




i = x = (x0 , xn ) Rn ; kx0 k < ci , xn > 0 .

Adotemos as seguintes notaes referentes ao conjunto . Para s > r > 0:

ir = {x i ; |xn | < r}
ir,s = isrir
ri = irir = {x i ; |xn | > r}
m
[
r = 0 ir
i=1
r,s = srr .

Definimos o fluxo atravs de cada seo transversal i (t) como


Z
i (t) = v n,
i (t)

onde n a normal i (t) apontando na direo infinita dos canais (n = en no


sistema de coordenadas de cada canal).
Num escoamento incompressvel sem ao de foras externas temos que o
fluxo em cada canal constante e a soma dos fluxos nos canais nula, como vere-
mos no lema a seguir.

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

58 CAPTULO 6. ESCOAMENTO DE POISEUILLE

Prova. (i) Tomando U = ir,s , s > r > 0 em (6.2) e observando que


n = n em i (r) e n = n em i (s), temos
Z
0 = v n dS
Zir,s Z Z
= v n dS + v n dS + v (n) dS = i (s) i (r)
ir,s
Z i (s)Z i (r)

i (r) = v n dS = v n dS = i (s) .
i (r) i (s)

(ii) Agora tomando U = r em (6.2) temos


Z Z m Z
X m
X
0= v n dS = v n dS + v n dS = i .
r r i=1 i i=1

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.

6.2 Solues paralelas


Consideremos um canal reto, isto

= {x Rn ; x = (x0 , xn ), kx0 k < r} = R , (6.3)

onde = Br a bola de raio r > 0 de Rn1 .

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.

Lema 6.5. Se u = u(x0 )n ento

(i) u = 0
(ii) u u = 0 .

Prova. (i) imediata, pois u = (0, . . . , 0, u(x1 , . . . , xn1 )) implica


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

6.3. O PROBLEMA DE POISEUILLE 59

(ii) Seja w = u u. Como


(
0 , j=6 n
u = (0, . . . , 0, u(x1 , . . . , xn1 )) uj (x) =
u(x0 ) , j = n ,
ento
n
X 0 , j=6 n
wj = ui uj =
i=1
xi u(x0 ) u(x0 ) = 0 , j = n .
xn
Portanto w = 0.

Pelo lema acima vimos que para determinar uma soluo paralela para o sis-
tema (6.1), suficietne resolver o problema de valor de fronteira para a equao
de Stokes com lei de potncia, isto , (6.11 ) e (6.13 ) com = 0.
Na prxima seo resolveremos o problema acima, denominado Problema de
Poiseuille, para p = 2. Para o caso p > 2 veja [18].

6.3 O Problema de Poiseuille


Nesta seo resolveremos o sistema (6.1) para p = 2 e dado por (6.3). Sob
as referidas hipteses e a considerao final na Observao 6.1, o sistema (6.1) fica


v = P em
v = 0 em (6.4)

v = 0 em .
Resolveremos o seguinte problema:

Problema de Poiseuille. Seja dado por (6.3). Dado um nmero arbitrrio ,


existe uma soluo paralela (v0 , P0 ) para o sistema (6.4), com fluxo , isto ,
Z
v0 n = . (6.5)

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

60 CAPTULO 6. ESCOAMENTO DE POISEUILLE

De (6.61 ) temos que a presso uma funo apenas de xn , isto , P0 = P0 (xn ).


Agora, como o lado direito de (6.62 ) s depende de x0 e o lado esquerdo apenas de
xn , temos que ambos so constantes, isto ,

n1
(
P0 X 2 v0 P0 = cxn
0
= c = 2 (x ) =
xn i=1
x i x0 v0 (x0 ) = c .

Portanto, a soluo (v0 , P0 ) deve satisfazer ao sistema

v0 (x) = v0 (x0 )en






P = cx
0 n
0 (6.7)

0
x 0 v (x ) = c


v0 = 0 em .

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).

6.4 Soluo de Poiseuille para n = 2


Para o caso n = 2 temos = (r, r) R = {(x, y) R2 ; r < x < r}. Da
o sistema (6.7) fica


v0 (x) = v0 (x)e2

P = cy
0
00 (x) = c (6.8)

v 0


v0 (r) = v(r) = 0 ,
cuja soluo trivial, como vemos abaixo: De (6.83 )
c
v000 (x) = c v00 (x) = cx + k1 v0 (x) = x2 + k1 x + k2 ;
2
agora de (6.84 )
c
v (r) =
0
r2 k1 r + k2 = 0

2 cr2
= k1 = 0 e k2 = .
c 2
v (r) = r2 + k1 r + k2 = 0

0
2
Com isto obtemos !
cr2 x2
v0 = 1 2 .
2 r

Assim provamos o seguinte teorema


o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

6.5. SOLUO DE POISEUILLE PARA N = 3 61

Teorema 6.7. A soluo do Problema de Poiseuille para n = 2



P0 (x, y) =
cy !!
cr2 x2 (6.9)
v0 (x, y)
= 0, 1 2 .
2 r

Conhecida como soluo de Poiseuille.

6.5 Soluo de Poiseuille para n = 3


Para o caso n = 3 temos
 q 
3
= Br R = (x1 , x2 , x3 ) R ; k(x1 , x2 )k = x21 + x22 r .

A resoluo do sistema (6.7) consiste na resoluo do sistema


(
v0 = c em Br
(6.10)
v0 = 0 em Br .

Nesta seo apresentaremos duas solues em ordem crescente de desenvolvi-


mento da teoria bsica de EDPs: Para a primeira soluo (a mais simples) usaremos
apenas a noo bsica de EDOs; Para a segunda aplicaremos o mtodo das solu-
es radiais. Depois aplicaremos a funo de Green do disco unitrio junto com a
soluo de (6.10) para determinar o valor da integral para x 6= 0

kxkkx yk
Z
ln dy .
B x kxk2 y

O ponto principal desta seo a prova do seginte teorema.

Teorema 6.8. A soluo do Problema de Poiseuille para n = 3 (onde escrevemos


(x1 , x2 , x3 ) = (x, x3 ) para x = (x1 , x2 ))




P0 (x, x3 ) = cx3 !!
cr2 kxk2


1 2

v0 (x, x3 ) = 0, 0,
4 r
8



c = cp ,
cp = 4 .
r
Conhecida como soluo de Hagen-Poiseuille.
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - AP

62 CAPTULO 6. ESCOAMENTO DE POISEUILLE

6.5.1 Primeira Resoluo (EDO)


Para a primeira resoluo, devido a simplicidade da equao (6.101 ), que es-
crevemos na forma aberta
2 v0 2 v0
v0 = + = c ,
x21 x22

da vivncia do Clculo, supomos uma soluo v0 da forma

v0 (x1 , x2 ) = a2 x21 + a1 x1 + a0 + b2 x22 + b1 x2 + b0 . (6.11)

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.

6.5.2 Segunda Resoluo (Soluo Radial)


O mtodo empregado na seo anterior contou com uma aposta"num tipo de
soluo para a equao (6.101 ). Felizmente a referida equao possui soluo do
tipo (6.11), como suposto. Todavia no elegante resolver problemas por meio de
tentativas, sem alguma fundamentao, de possveis formas para a soluo. Diante
disto, nesta seo buscaremos razes pertinentes para a escolha de um dado tipo
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

6.5. SOLUO DE POISEUILLE PARA N = 3 63

de soluo (como tratado no problema de Dirichlet para a equao de Laplace no


disco (veja [6] e [12])).
Olhando com mais cuidado para o operador Laplaciano , detectamos uma
propriedade fundamental que a invarincia por rotaes, como veremos no lema
a seguir.
Lema 6.9. Seja u : Rn R soluo da equao de Laplace

u = 0 . (6.13)

Ento v(x) = u(Ox) tambm soluo de (6.13), onde O uma transformao


ortogonal, ou seja, uma matriz ortogonal.
Prova. Faremos a prova para o caso n = 2, o caso geral anlogo. Temos

2 2
a +b =1
!
a b
O= tal que c2 + d2 = 1 (I)
c d
ac + bd = 0 .
(
= ax1 + bx2
Da, tomando a mudana de variveis obtemos
= cx1 + dx2

v(x1 , x2 ) = u(Ox) = u(ax1 + bx2 , cx1 + dx2 ) = u(, )


v
= u x1 + u x1 = au + cu
x1
2v
= au x1 + au x1 + cu x1 + cu x1
x21
= a2 u + ac(u + u ) + c2 u
2v 2u
= + bd(u + u ) + d2 u ;
x22
donde vem
v = (a2 + b2 )u + (ac + bd)(u + u ) + (c2 + d2 )u
(I) (6.13)
= u (, ) + u (, ) = u = 0 .

A invarincia por rotao do Laplaciano e a geometria de conduzem-nos
a buscar soluo radial para o problema, isto , soluo que funo apenas da
distnica origem. Em smbolos,
q
v0 (x1 , x2 ) = f (t), t= x21 + x22 .

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

64 CAPTULO 6. ESCOAMENTO DE POISEUILLE

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

6.5. SOLUO DE POISEUILLE PARA N = 3 65

Portanto !
cr2 kxk2
v0 = 1 2 ,
4 r
e obtemos novamente (6.12).

6.5.3 Aplicao da Soluo para o Clculo de uma Integral


Nas duas resolues apresentadas supusemos a forma da soluo, e efetuamos
clculos elementares para obter a soluo (6.12). Porm poderamos seguir a te-
oria de Green e ento chegaramos a uma integral de difcil resoluo; como nas
duas subsees anteriores obtivemos a soluo, ento segue da teoria que a integral
complicada igual soluo j obtida, e assim efetuamos o clculo de uma inte-
gral complicada. Isto o que ser feito nesta seo, ou seja, obteremos a integral
complicada para a qual j temos resposta.
Em nosso caso, para r = 1, temos (6.7) igual a (5.1) para g = 0, f = c e
U = B. Portanto, uma candidata a soluo do nosso problema dada por (5.6)
Z
v0 (x) = c G(x, y) dy ,
B

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

onde x 6= 0 e x 6= y, x, y B; e para x = 0, x 6= y, y B temos da Observao


3 da Seo 5.4 que G(0, y) = F (y) = ln kyk.
Para o caso de r > 0 arbitrrio, temos x Br e ento fazemos x = ry, y B
e tomamos u(x) = u(ry) = v(y), da facilmenmte obtemos

2 2
y v(y) = r x u(x) = r c


v

= u = 0.
B Br

Desta feita, resolvemos o problema em B e depois obtemos a soluo para Br


tomando
x x
   
u(x) = u r =v .
r r
Precisamos ento obter para x B

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

66 CAPTULO 6. ESCOAMENTO DE POISEUILLE

ou seja, precisamos calcular a integral

kxkkx yk
Z
ln dy . (6.17)
B x kxk2 y

Ora, a integral (6.17) de difcil resoluo. Todavia conhecemos a soluo do


problema (6.7), da pelo teorema de unicidade de soluo mais a caracterizao da
soluo via funo de Green temos de (5.6) que

1 kxkkx yk
Z
u(x) = ln dy
2 B x kxk2 y

a nica soluo do problema


(
u = 1 em B
u = 0 em B ,

1 
que j sabemos ser 1 kxk2 . Assim obtemos
4
kxkkx yk 
Z 
2
ln dy =
x kxk2 y
1 kxk .
B 2

6.6 A Constante de Poiseuille

De incio v-se uma informao implcita na frmula da soluo do Problema


de Poiseuille, que a presena do fluxo 2 . Note que nas frmulas da soluo
abaixo (omitindo os ndices):
!!
cr2 x2
n = 2 , v0 (x, y) = 0, 1 2
2 r !!
cr2 kxk2
n = 3 , v0 (x, x3 ) = 0, 0, 1 2
4 r

no figura explicitamente o fluxo . O que acontece que a constante c presente


nas frmulas das solues funo explcita de . Isto o que propomos mostrar
nesta seo, mais especificamente mostraremos que c = cp , onde
cp = cp (, n) = cp (r, n) denominada constante de Poiseuille.

Proposio 6.10. Existe uma correspondncia biunvoca entre a constante c, pre-


sente nas solues acima, e o fluxo . Mais precisamente, existe uma constante
positiva cp = cp (, n) tal que
c = cp . (6.18)
2
O fluxo no aparece na frmula da soluo
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

6.6. A CONSTANTE DE POISEUILLE 67

Prova. Primeiro observamos que se v0 satisfaz (6.7) ento


Z Z Z Z
|v0 |21,2 = |3 v0 |2 = |2 v0 |2 = v0 v0 = (v0 ) v0

Z
(6.73 )
= c v0 = c,

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

com independente de c. Agora


c = |v0 |21,2 = |c|21,2 = c2 ||21,2 = c= .
||21,2

Portanto
1
cp = .
||21,2

Para finalizar essa questo da constante de Poiseuille, vamos determin-la para


os casos n = 2, 3.

Proposio 6.11. Para um canal de raio r temos as constantes de Poiseuille:



3
, n=2
r3



cp =

8
, n = 3.


r4
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

68 CAPTULO 6. ESCOAMENTO DE POISEUILLE

Prova. Para n = 2 temos


Z r 2 ! !r
cr x2 cr2 x3 cr2 r
Z  
= v0 dx = 1 2 dx = x 2 = r
0 2 r 2 3r 0
2 3
r3 r3
= c= cp .
3 3
Portanto
3
cp = .
r3
Para n = 3 temos
! !
cr2 |x|2 cr2 t2
Z Z Z r Z 2
= v0 dx = 1 2 dx = t d dt
Dr 4 r 0 0 4 4
!r !
c r  2 c r 2 t2 t4 c r4 r4
Z 
= r t t3 dt = =
2 0 2 2 4 0
2 2 4
r4 r4
= c= cp .
8 8
Portanto
8
cp = .
r4


Para finalizar escreveremos as solues com explcito.


!!
3 x2

0, 1 2 , n=2
2r r




v0 (x, xn ) = !!
|x|2


2
0, 0, 2 1 2 , n = 3.




r r
o da Regio Norte - Macap - AP - UNIFAP - IV Colquio da Regio Norte - Macap - AP - UNIFAP -IV Colquio da Regio Norte - Macap - A

Referncias Bibliogrficas

[1] APOSTOL, T. M. Clculo II; Editora Revert, Barcelona, 1988.

[2] BRICARD, R. Clculo Vetorial; Ao Livro Tcnico, Rio de Janeiro, 1958.

[3] CARMO, M. P. Geometria Diferencial de Curvas e Superfcies; 2a ed., SBM


(Textos Universitrios), Rio de Janeiro, 2006.

[4] DIAS, G. J., SANTOS, M. M. Steady flow for shear thickening fluids with
arbitrary fluxes. Journal of Differential Equations, 252, 3873-3898, 2012.

[5] EVANS, L.C.. Partial Differential Equations. Graduate Studies in Mathe-


matics, vol. 19, American Mathematical Society, Providence, RI, 1998.

[6] FIGUEIREDO, D. G.; Anlise de Fourier e Equaes Diferenciais Parciais;


3a ed. IMPA (Projeto Euclides), Rio de Janeiro, 1977.

[7] FIGUEIREDO, D. G. e NEVES, A. F.; Equaes Diferenciais Aplicadas; 2a


ed. IMPA (Coleo Matemtica Universitria), Rio de Janeiro, 2005.

[8] FREHSE, J., MLEK, J., STEINHAUER, M. An Existence Result for fluids
with shear dependent viscosity-steady flows. Nonlinear Anal., 30, 3041-
3049, 1997.

[9] FREHSE, J., MLEK, J., STEINHAUER, M. On analysis of steady flows


of fluids with shear-dependent viscosity based on the Lipschitz truncation
method.. SIAM J. Math. Anal., 34 (5), (2003) 1064-1083.

[10] GALDI, G. P. An Introduction to the Mathematical Theory of the Navier-


Stokes Equations: Steady-State Problems. Second Edition. Berlin: Springer-
Verlag, 2011.

[11] IRIO, R.Jr. & IRIO, V. Equaes Diferenciais Parciais: Uma Introdu-
o; IMPA (Projeto Euclides), Rio de Janeiro, 1988.

[12] IRIO, V. EDP: Um Curso de Graduao; IMPA (Coleo Matemtica


Universitria), Rio de Janeiro, 1991.

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

[13] LADYZHENSKAYA, O.A. New equations for the description of motion of


viscous incompressible fluids and solvability in the large of boundary value
problems for them. Proc. Stek. Inst. Math., 102, 95-118, 1967.

[14] LADYZHENSKAYA, O.A. On some modifications of the Navier-Stokes


equations for large gradients of velocity. Zap. Nauchn. Sem. Leningrad. Ot-
del. Mat. Inst. Steklov (LOMI), 7, 126-154 (1968)

[15] LANG, S. Clculo. Vol. 2. Rio de Janeiro: Livros Tcnicos e Cientficos,


1977.

[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.

[18] MARUSIC-PALOKA, E. Steady flow of a non-Newtonian fluid in unboun-


ded channels and pipes. Math. Models Methods Appl. Sci., 10 (2000), no. 9,
1425-1445.

[19] MARUSIC-PALOKA, E. On the Stokes Paradox for Power-Law Fluids.


ZAMM. Z.. Angew. Math. Mech., 81, no 1, 31-36,2001.

[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

Introduo lgebra Linear - A. Hefez e C.S. Fernandez


Tpicos de Teoria dos Nmeros - C. G. Moreira , F. E Brochero e N. C. Saldanha
Polinmios e Equaes Algbricas - A. Hefez e M.L. Villela
Tpicos de Historia de Matemtica - T. Roque e J. Bosco Pitombeira
Recursos Computacionais no Ensino de Matemtica - V. Giraldo, P. Caetano e F. Mattos
Temas e Problemas Elementares - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Nmeros e Funes Reais - E. L. Lima
Aritmtica - A. Hefez
Geometria - A. Caminha
Avaliao Educacional - M. Rabelo
Geometria Analtica - J. Delgado, K. Frensel e L. Crissaff
Matemtica Discreta - A. Morgado e P. C. P. Carvalho
Matemtica e Atualidade - Volume 1 - C. Rousseau e Y. Saint-Aubin
Fundamentos de Clculo - A. C. Muniz Neto
Matemtica e Atualidade - Volume 2 - C. Rousseau e Y. Saint-Aubin
Exerccios Resolvidos de lgebra Linear - A. Hefez e C. de Souza Fernandez
Exerccios Resolvidos de Aritmtica - A. Hefez

COLEO INICIAO CIENTFICA

Nmeros Irracionais e Transcendentes - D. G. de Figueiredo


Nmeros Racionais e Irracionais - I. Niven
Tpicos Especiais em lgebra - J. F. S. Andrade

COLEO TEXTOS UNIVERSITRIOS

Introduo Computao Algbrica com o Maple - L. N. de Andrade


Elementos de Aritmtica - A. Hefez
Mtodos Matemticos para a Engenharia - E. C. de Oliveira e M. Tygel
Geometria Diferencial de Curvas e Superfcies - M. P. do Carmo
Matemtica Discreta - L. Lovsz, J. Pelikn e K. Vesztergombi
lgebra Linear: Um segundo Curso - H. P. Bueno
Introduo s Funes de uma Varivel Complexa - C. S. Fernandez e N. C. Bernardes Jr.
Elementos de Topologia Geral - E. L. Lima
A Construo dos Nmeros - J. Ferreira
Introduo Geometria Projetiva - A. Barros e P. Andrade
Anlise Vetorial Clssica - F. Acker
Funes, Limites e Continuidade - P. Ribenboim
Fundamentos de Anlise Funcional - G. Botelho, D. Pellegrino e E. Teixeira
Teoria dos Nmeros Transcendentes - D. Marques
Introduo Geometria Hiperblica - O modelo de Poincar - P. Andrade
lgebra Linear: Teoria e Aplicaes - T. P. de Arajo
Introduo Anlise Matemtica na Reta - C. I. Doering
Topologia e Anlise no Espao Rn - R. Freire de Lima
Equaes Ordinrias e Aplicaes - B. Scrdua

COLEO MATEMTICA APLICADA

Introduo Inferncia Estatstica - H. Bolfarine e M. Sandoval


Discretizao de Equaes Diferenciais Parciais - J. Cuminato e M. Meneguette
Fenmenos de Transferncia com Aplicaes s Cincias Fsicas e Engenharia volume 1:
Fundamentos - J. Pontes e N. Mangiavacchi

COLEO OLIMPADAS DE MATEMTICA

Olimpadas Brasileiras de Matemtica, 1 a 8 - E. Mega e R. Watanabe


Olimpadas Brasileiras de Matemtica, 9 a 16 - C. Moreira e E. Motta, E. Tengan, L. Amncio,
N. C. Saldanha e P. Rodrigues
21 Aulas de Matemtica Olmpica - C. Y. Sh
Iniciao Matemtica: Um Curso com Problemas e Solues - K. I. M. Oliveira e A. J. C.
Fernndez
Olimpadas Cearenses de Matemtica 1981-2005 Nvel Fundamental - E. Carneiro, O. Campos e
M.Paiva
Olimpadas Cearenses de Matemtica 1981-2005 Nvel Mdio - E. Carneiro, O. Campos e M.Paiva
Olimpadas Brasileiras de Matemtica - 17 a 24 - C. G. T. de A. Moreira, C. Y. Shine, E. L. R.
Motta, E. Tengan e N. C. Saldanha
10 matemticos 100 problemas - E. Wagner (Organizao)

Coleo Fronteiras da Matemtica

Fundamentos da Teoria Ergdica - M.Viana e K. Oliveira


Tpicos de Geometria Diferencial - A. C. Muniz Neto
Formas Diferenciais e Aplicaes - M. Perdigo do Carmo

Coleo Matemtica para o Ensino

Livro do Professor de Matemtica na Educao Bsica Volume I Nmeros Naturais - C. Ripoll, L.


Rangel e V. Giraldo
Livro do Professor de Matemtica na Educao Bsica Volume II Nmeros Inteiros - C. Ripoll, L.
Rangel e V. Giraldo