Escolar Documentos
Profissional Documentos
Cultura Documentos
Apendice A
FUNC
OES
Este apendice tem como um objetivo inicial apresentar os conceitos de diferencia cao e integracao de
forma sucientemente geral para que incluam fun c oes escalares, pontuais, vetoriais ou tensoriais cujos
argumentos s ao escalares, pontos, vetores ou tensores. A seguir, pretende-se desenvolver as no coes de
gradiente, divergente e rotacional de campos escalares, pontuais, vetoriais ou tensoriais. Alem disso,
ser ao enunciados alguns teoremas fundamentais de integrac ao em mais de uma dimensao. Para cumprir
tais metas, parte-se a priori da ideia fundamental de fun cao.
A.1 Denicao de Fun cao
Uma funcao de um conjunto A em um conjunto B, denotada por f : A B, e uma relacao tal que
para todo x A existe um y B tal que x f y (le-se x esta relacionado a y por f)
para todo x A e y
1
, y
2
B, se x f y
1
e x f y
2
, entao y
1
= y
2
Em outras palavras, f e uma relacao que permite associar a cada elemento x A um unico elemento
y B.
E usual empregar, no lugar de x f y , a seguinte nota cao
y = f(x).
Em f : A B, A e chamado de domnio de f, sendo denotado por dom f, e B e chamado de contra
domnio de f. A partir do que foi denido, e possvel interpretar uma func ao como uma relacao de valor
unico pois cada elemento de dom f ocorre apenas uma vez em f. Nota-se ainda que dom f ,= . O
elemento y B que resulta da rela cao f(x) = y e denominado imagem de x A, ou valor da funcao em
x.
O conjunto de todos os elementos de B que s ao imagens dos elementos de A e chamado de conjunto
imagem. Esse conjunto, usualmente denotado por J(f), e o conjunto que contem todas as imagens de f,
i.e.,
J(f) = f(a) : a A.
Dene-se como gr aco da fun cao f : A B o conjunto dado por
graph f = (x, f(x)) : x A.
Observa-se que as deni coes de fun cao e gr aco de uma func ao nao s ao coincidentes. No entanto,
uma vez especicada uma funcao, e possvel identic a-la a partir do seu respectivo gr aco.
Ressalta-se ainda que os termos fun cao, mapeamento, transforma cao e operador sao comumente
empregados como sinonimos. Assim, se f : A B, diz-se que f mapeia A em B ou f e uma
transforma cao de A em B ou f e um operador de A em B.
A.1. Denicao de Fun cao A-2
Exemplo A.1 Seja 1 o conjunto dos n umeros reais e considere a relacao
R =
_
(x, y ) : x, y 1, x
2
+ (
y
2
)
2
= 1
_
.
Claramente, R dene os pontos de uma elipse (Figura A.1). Sendo assim, R nao e uma fun cao pois
a cada elemento x 1 associa-se um par de elementos y 1. Por exemplo, (0, +2) e (0, 2) R.
Figura A.1: Fun c ao do exemplo A.1.
y e a
inversa de f
1
entao f
1
1
e ch amada fun cao raiz quadrada negativa.
Exemplo A.7 Claramente, a fun cao seno f(x) = sin x nao e injetora (por exemplo: sin0 = sin =
sin 2 = . . . = 0). Entretanto, se f for denida em 1
/2
= x : x 1, /2 x /2, a restri cao
f [
/2
sera injetora e sobrejetora e portanto possuira inversa. A inversa de f e ch amada de fun cao
arco-seno e e denotada por f
1
(y ) = arcsin(y ) ou sin
1
(y ).
f(x) f(a)
x a
K
(a).
A.4. Diferenciacao e Integra cao A-7
Alternativamente, f
(a).
Usando a nota cao cl assica, tem-se
f(a) = f(a + x) f(a)
e portanto
f
(a) = lim
x0
f(a)
x
que e base para a notacao classica de Leibnitz
f
(a) =
df
dx
(a).
Se f
(a) existe, diz-se que a fun cao f e diferenci avel em a. Se f for diferenciavel em todo ponto
x A, ent ao f e diferenci avel em A.
A seguir, ser ao enunciados algumas proposicoes e teoremas importantes do calculo elementar cujas
demonstra coes carao a cargo do leitor.
Diferenciabilidade e Continuidade. Se uma func ao f e diferenciavel num ponto a A 1 entao
f e contnua em a.
Exemplo A.8 A recproca da proposicao anterior nao e verdadeira. Com efeito, a funcao
f(x) =
_
1 +x, x 0
1 2x, x > 0
e contnua em x = 0, mas ela nao e diferenci avel neste ponto. Na verdade,
lim
x0
+
f(x) f(0)
x 0
= 1
enquanto que
lim
x0
f(x) f(0)
x 0
= 2.
(c) = 0.
Um resultado an alogo pode ser obtido no caso de um mnimo local.
Teorema de Rolle. Seja f uma fun cao contnua no intervalo fechado [a, b] 1 e diferenciavel no
intervalo aberto (a, b). Suponha que f(a) = f(b) = 0. Entao existe um ponto c (a, b) tal que f
(c) = 0.
Como consequencia desse teorema, chega-se a um dos teoremas mais fundamentais do calculo.
Teorema do Valor Medio. Seja f uma fun c ao contnua no intervalo [a, b] 1 com derivada em
em todos os pontos pertencentes a (a, b). Entao existe um ponto c (a, b) tal que
f(b) f(a) = (b a)f
(c).
A.4. Diferenciacao e Integra cao A-8
Serao revisados a partir de agora alguns elementos fundamentais associados ao conceito de integra cao
unidimensional.
Particao. Uma parti cao P de um intervalo I = [a, b] e uma colec ao nita de subintervalos de I que
nao se sobrep oem e cuja uni ao e o pr oprio I. Uma parti c ao geralmente e descrita especicando-se um
conjunto nito de n umeros, i.e.,
a = x
0
x
1
x
2
x
n
= b.
Dessa forma, se
I
k
= [x
k1
, x
k
], 1 k n
entao P e dada por
I =
n
_
k=1
I
k
.
A quantidade
(P) = max
k
[x
k
x
k1
[
e chamada de raio da particao P.
Somas de Riemann e Integrais. Seja P uma parti cao do intervalo I = [a, b] 1 e f, uma funcao
denida em I. O n umero real
R(P, f) =
n
k=1
f(
k
)(x
k
x
k1
)
com x
k1
k
x
k
(k variando de 1 a n), e chamado de Soma de Riemann de f correspondente `a
parti cao P = (x
0
, x
1
, . . . , x
n
) e `a escolha dos pontos intermediarios
k
. A fun cao f e dita integravel
segundo Riemann em I se para toda sequencia de partic oes P
n
convergindo a zero no sentido de que
(P
n
) 0, com os pontos intermedi arios
k
escolhidos arbitrariamente, a correspondente sequencia de
somas de Riemann convergir para um valor comum J.
O n umero J, quando existe, e chamado de Integral de Riemann de f sobre [a, b] e e denotada por
J =
_
b
a
f(x)dx =
_
b
a
f dx.
A funcao f e denominada de integrando de J.
Exemplo A.9 Seja f(x) = 1 se x for racional e f(x) = 0 se x for irracional. Verica-se facilmente
que o limite das somas de Riemann nesse caso dependem da escolh a dos pontos
k
. Portanto, a funcao
f n ao e Riemann integr avel.
E possvel mostrar que se f for contnua dentro do intervalo fechado [a, b], exceto por um n umero
nito de pontos, ent ao f ser a integravel no sentido de Riemann. Obviamente, a funcao que acaba de ser
considerada nao satisfaz esta condicao!
A seguir, s ao listados alguns teoremas fundamentais da teoria classica de integra cao (a demonstracao
destes teoremas e deixada como exerccio para o leitor).
Teorema do Valor Medio para Integrais. Seja f uma fun c ao contnua no intervalo [a, b] 1.
Ent ao existe um ponto c [a, b] tal que
_
b
a
f(x)dx = f(c)(b a).
A.4. Diferenciacao e Integra cao A-9
Primeiro Teorema Fundamental do Calculo. Seja f uma funcao contnua no intervalo [a, b] 1.
Entao a funcao F(x) denida por
F(x) =
_
x
a
f(s)ds
e diferenciavel em [a, b] e F
(x) = f(x).
Uma funcao F(x) cuja derivada e dada por F
,
quando existe, e chamado de derivada direcional da j-esima fun c ao componente f
j
no ponto x segundo
a direcao u. Usualmente, denota-se essa derivada por
Df
j
(x)[u] =
d
d
[
=0
f
j
(x +u).
A derivada direcional da fun cao vetorial f em x segundo a direc ao u e denida como
Df (x)[u] = lim
0,>0
f (x +u) f (x)
= (Df
1
(x)[u], Df
2
(x)[u], . . . , Df
m
(x)[u]).
A derivada direcional, como denida acima, satisfaz as propriedades usuais da derivada unidimensio-
nal. Tais propriedades sao listadas a seguir:
1. Derivada de uma soma: se f (x) = f
1
(x) +f
2
(x) ent ao
Df (x)[u] = Df
1
(x)[u] +Df
2
(x)[u];
2. Regra do produto: se f (x) = f
1
(x) f
2
(x), com indicando qualquer tipo de produto, entao
Df (x)[u] = Df
1
(x)[u] f
2
(x) +f
1
(x) Df
2
(x)[u];
A.4. Diferenciacao e Integra cao A-10
3. Regra da cadeia: se f (x) = f
1
(f
2
(x)), ent ao
Df (x)[u] = Df
1
(f
2
(x))[Df
2
(x)[u]].
Exemplo A.10 Seja f(x, y ) =
x
2
y
2
1
2
, x
0
= (x
0
, y
0
) = (0, 0). Considere a dire cao v = (cos , sin),
e seja () = f( cos , sin ). A derivada direcional de f em x
0
, se existir, e dada por Df(x
0
)[v] =
(0). Agora
() =
2
cos
2
2
sin
2
1
2
= [[
cos
2
sin
2
1
2
.
Se cos
2
= sin
2
, entao () = 0 para todo e
(0) = 0; Se cos
2
,= sin
2
, entao n ao possui
derivada em = 0 pois
d
d
[[, no ponto = 0, nao existe. Assim, a derivada direcional de f em
x
0
= (x
0
, y
0
) e zero nas quatro direcoes (
2/2,
f =
||
f
x
,
sendo = (
1
, . . . ,
n
), denominado multi-ndice, tal que os smbolos [[ e x
sejam entendidos da
seguinte forma:
[[ =
1
+
2
+. . . +
n
,
x
= x
1
. . . x
1
. .
1
x
2
. . . x
2
. .
2
. . . x
n
. . . x
n
. .
n
.
O n umero [[ e chamado de ordem da derivada.
Fun coes de Classe C
k
. Seja f : 1
n
1
m
uma fun cao denida no conjunto aberto 1
n
. Diz-se
que f e de classe C
k
() se todas as suas derivadas parciais de ordem menor ou igual a k existem e s ao
contnuas em . Os smbolos C
0
() ou C() s ao reservados para a classe de fun c oes que s ao apenas
contnuas em .
Derivada de um Tensor. Da maneira como foram denidos os conceitos de derivada parcial e
direcional, torna-se imediato estender essas no c oes ao caso de fun c oes tensoriais. Como se sabe, as
componentes cartesianas de um tensor T sao dadas por
T
ij
= e
i
Te
j
.
Assim, determinam-se as componentes da derivada de T em relac ao ao tempo (por exemplo) como
dT
ij
dt
=
de
i
dt
Te
j
+e
i
d (Te
j
)
dt
.
Se a base escolhida para representar T for uma base cartesiana xa, verica-se que
de
i
dt
= 0 e portanto
dT
ij
dt
= e
i
d (Te
j
)
dt
= e
i
dT
dt
e
j
=
_
dT
dt
_
ij
.
Exemplo A.12 Dado um tensor ortogonal Q(t), mostrar que (dQ/dt) Q
T
e um tensor antissimetrico.
Como Q(t) e ortogonal,tem-se que QQ
T
= I e portanto,
d
dt
_
QQ
T
_
=
dQ
dt
Q
T
+Q
dQ
T
dt
= 0 Q
dQ
T
dt
=
dQ
dt
Q
T
Para
dQ
T
dt
=
_
dQ
dt
_
T
tem-se que,
Q
_
dQ
dt
_
T
=
dQ
dt
Q
T
Mas,
Q
_
dQ
dt
_
T
=
_
dQ
dt
Q
T
_
T
Logo,
_
dQ
dt
Q
T
_
T
=
dQ
dt
Q
T
y
z
associados a
um corpo rgido B. Deseja-se a equa c ao da velocidade do ponto B de B.
Da Figura A.6, o vetor posic ao do ponto B pode ser escrito como,
r
OB
= r
OA
+r
AB
(A.1)
Expressa-se o vetor r
AB
no sistema inercial como r
AB
= Tr
AB
, onde T e um tensor de rota cao.
Substituindo a express ao anterior em (A.1) e derivando,
d
dt
r
OB
=
d
dt
r
OA
+
d
dt
_
Tr
AB
_
=
d
dt
r
OA
+
dT
dt
r
AB
+T
dr
AB
dt
Como B e rgido, tem-se que
dr
AB
dt
= 0. Portanto,
v
OB
= v
OA
+
dT
dt
_
T
T
r
AB
_
Do exemplo anterior,
dT
dt
T
T
e um tensor antissimetrico e tomando como seu vetor axial, tem-se
que
v
OB
= v
OA
+ r
AB
Passe-se agora ao estudo da teoria de integra c ao elementar em mais de uma dimens ao.
Integral de Riemann em 1
n
. A noc ao de integra cao segundo Riemann pode ser generalizada para
o caso de fun coes escalares em 1
n
. Se (a
i
, b
i
) i = 1, . . . , n denota um intervalo aberto em 1
n
, o produto
cartesiano
= (a
1
, b
1
) . . . (a
n
, b
n
) 1
n
e chamado cubo (aberto) em 1
n
.
Assume-se por simplicidade que seja dada uma funcao f : 1
n
1 denida num cubo E 1
n
.
Entende-se por uma partic ao P de E uma famlia nita de cubos E, dois a dois disjuntos (i.e., cuja
intersec cao e vazia), tal que
E , P
A.5. Gradiente, Divergente e Rotacional A-13
sendo que denota o fech o de , ou seja,
= [a
1
, b
1
] . . . [a
n
, b
n
] 1
n
.
Se um unico raio de cubo for denido como
r() =
_
n
i
(b
i
a
i
)
2
_1
2
,
entao o raio de uma particao ser a denido por
r(P) = max
P
r().
Escolhendo um ponto (intermedi ario) arbitr ario
P
f(
)m(),
sendo m() a medida (area, volume, hiper-volume) do cudo denida por
m() = (b
1
a
1
)(b
2
a
2
) . . . (b
n
a
n
).
A funcao f mencionada acima e dita integravel no sentido de Riemann sobre E se e somente se, para
toda sequencia P
k
de parti coes tal que
r(P
k
) 0
e para uma escolha arbitraria de pontos intermediarios
i=1
f
x
i
[
=0
d(x
0,i
+u
i
)
d
[
=0
=
3
i=1
u
i
f
x
i
[
x
i
=x
0,i
A.5. Gradiente, Divergente e Rotacional A-14
ou de forma equivalente, considerando-se os vetores unit arios u
i
= e
i
(i = 1, 2, 3),
f (x
0
) e
1
= Df (x
0
) [e
1
] =
f
x
1
= (f)
1
;
f (x
0
) e
2
= Df (x
0
) [e
2
] =
f
x
2
= (f)
2
;
f (x
0
) e
3
= Df (x
0
) [e
3
] =
f
x
3
= (f)
3
.
Nota-se que as componentes do vetor gradiente s ao as proprias derivadas parciais do campo escalar
f.
Assim, o gradiente de um campo escalar f (x) : 1 c 1 e o vetor
f(x) =
3
i=1
f(x)
x
i
e
i
cujas componentes sao dadas por
(f (x))
i
=
f (x)
x
i
.
Em notacao indicial de diferencia cao, tem-se
f (x) = (x)
,i
e
i
.
O vetor gradiente possui uma interpretacao geometrica simples. Para toda superfcie de nvel f = c,
sendo c uma constante, tem-se Df (x) = 0 para qualquer vetor u tangente a essa superfcie. Assim,
f (x) u = 0 e f e normal a superfcie de f = c, como ilustrado na Figura ??.
Figura A.7: Interpretacao geometrica de .
Exemplo A.14 Dado o campo escalar = xy + z, encontrar o vetor unitario n normal a superfcie
constante passando por (2, 1, 0).
O gradiente de e dado por,
=
x
e
1
+
y
e
2
+
z
e
3
= y e
1
+xe
2
+e
3
Para o ponto (2, 1, 0) , tem-se = e
1
+ 2e
2
+e
3
. Logo,
n =
1
6
(e
1
+ 2e
2
+e
3
)
=
v
x
i
(x
0
).
Em outras palavras, v (x
0
) e o tensor de componentes
(v)
ij
= e
i
(v) e
j
= e
i
v
x
j
=
x
j
(e
i
v) =
v
i
x
j
,
ou seja,
[v] =
_
_
v
1
x
1
v
1
x
2
v
1
x
3
v
2
x
1
v
2
x
2
v
2
x
3
v
3
x
1
v
3
x
2
v
3
x
3
_
_
.
Em notacao indicial escreve-se
v = v
i,j
.
Divergente de um Campo Vetorial. Dado um campo vetorial v que possui derivadas de primeira
ordem em 1, o divergente de v e denido como o campo escalar dado por
div v = tr (v) ,
sendo que tr indica o tra co do tensor v.
Fazendo uso de uma base cartesiana ortonormal, tem-se
div v =
v
1
x
1
+
v
2
x
2
+
v
3
x
3
=
i
v
i
x
i
ou, em notacao indicial
div v = v
i,i
.
Divergente de uma Campo Tensorial. No caso de um campo tensorial S com derivadas de
primeira ordem em 1, o divergente de S e denido como o unico campo vetorial que possui a seguinte
propriedade:
(div S) a = div
_
S
T
a
_
,
A.5. Gradiente, Divergente e Rotacional A-16
para qualquer vetor xo a. Desenvolvendo o lado direito da ultima igualdade, tem-se
div
_
S
T
a
_
= div
_
_
S
11
a
1
+S
21
a
2
+S
31
a
3
S
12
a
1
+S
22
a
2
+S
32
a
3
S
13
a
1
+S
23
a
2
+S
33
a
3
_
_
=
x
1
(S
11
a
1
+S
21
a
2
+S
31
a
3
) +
x
2
(S
12
a
1
+S
22
a
2
+S
32
a
3
) +
x
3
(S
13
a
1
+S
23
a
2
+S
33
a
3
)
=
_
S
11
x
1
+
S
12
x
2
+
S
13
x
3
_
a
1
+
_
S
21
x
1
+
S
22
x
2
+
S
23
x
3
_
a
2
+
_
S
31
x
1
+
S
32
x
2
+
S
33
x
3
_
a
3
= (div S) a
div S =
_
_
S
11
x
1
+
S
12
x
2
+
S
13
x
3
S
21
x
1
+
S
22
x
2
+
S
23
x
3
S
31
x
1
+
S
32
x
2
+
S
33
x
3
_
_
.
Em notacao indicial, tem-se
div S = S
ij,j
.
Teorema A.1 Sejam , v, w e S campos que possuam derivadas de primeira ordem num aberto 1, com
valores escalares (), vetoriais (v, w) e tensoriais (S), respectivamente. Logo, as seguintes relacoes sao
v alidas:
(v) = v +v
div(v) = divv +v
(v w) = (w)
T
v + (v)
T
w
div(v w) = vdivw + (v)w
div(S
T
v) = S v +v divS
div(S) = divS +S
Rotacional. O rotacional de uma campo vetorial v, denotado por curlv, e denido como o unico
campo vetorial com a seguinte propriedade:
_
vv
T
_
a = (curl v) a,
para todo vetor xo a. A opera cao indica o produto vetorial usual.
Logo, curl v e o vetor axial (discutido no apendice sobre tensores) correspondente ao tensor antis-
simetrico vv
T
. Assim, considerando v como denido anteriormente, tem-se
_
v v
T
_
=
_
_
0
_
v
2
x
1
v
1
x
2
_
v
1
x
3
v
3
x
1
v
2
x
1
v
1
x
2
0
_
v
3
x
2
v
2
x
3
_
_
v
1
x
3
v
3
x
1
_
v
3
x
2
v
2
x
3
0
_
_
.
A.6. Teoremas de Integracao A-17
Se W for a parte antissimetrica de v, obtem-se
[W] =
1
2
_
vv
T
_
.
Dessa forma,
2Wa = (curl v) a.
Utilizando ainda a denicao de vetor axial (vide apendice sobre tensores), pode-se escrever curl v em
termos de suas componentes como
(curl v) =
_
v
3
x
2
v
2
x
3
_
e
1
+
_
v
1
x
3
v
3
x
1
_
e
2
+
_
v
2
x
1
v
1
x
2
_
e
3
.
Laplaciano. Seja um campo escalar ou vetorial de classe C
2
. O laplaciano de e denido por
= div.
Em componentes, o laplaciano de e dado por
=
x
2
i
.
Se = 0, entao e dito harm onico.
A.6 Teoremas de Integracao
Enuncia-se nesta se cao um dos teoremas fundamentais de integra c ao em mais de uma dimensao: o teorema
da divergencia.de Gauss A demonstra cao deste teorema para o caso de campos escalares, vetoriais e
tensoriais e deixada a cargo do leitor. A seguir, apresenta-se a formula de Green, tambem conhecida como
integrac ao por partes multidimensional. Estes teoremas sao grande aplicacao na formula cao variacional
de problemas bem como nas tecnicas de resoluc ao de equacoes diferenciais parciais. Do ponto de vista
numerico tais teoremas tambem s ao de extrema relevancia.
Teorema da Divergencia. De maneira simplicada, considera-se uma regiao regular uma regi ao
fechada 1 com contorno 1 suave por partes (i.e., de classe C
1
).
E importante notar que 1 pode ser
limitada ou nao-limitada. No primeiro caso, denota-se por vol(1) o volume de 1.
Teorema A.2 :Teorema da Divergencia. Seja 1 uma regiao regular limitada e seja : 1 1,
v :1 1 e S :1 Lin campos suaves. Entao
_
R
n dA =
_
R
dV,
_
R
v n dA =
_
R
v dV,
_
R
v n dA =
_
R
div v dV,
_
R
Sn dA =
_
R
div S dV,
sendo n o campo vetorial normal unit ario saindo de 1.
A.6. Teoremas de Integracao A-18
Integracao por Partes Multidimensional. Seja um conjunto aberto do 1
n
cuja fronteira
seja suave por partes (i.e., de classe C
1
). Sejam ainda f, g : 1
n
1 duas fun c oes escalares de classe C
1
denidas em
(i.e., o fecho de ). As fun coes f e g devem ainda ser contnuas ao longo da fronteira .
Entao, a seguinte rela cao e valida
_
f
g
x
i
d =
_
fgn
i
d( )
_
f
x
i
g d, i = 1, . . . , n (A.2)
sendo n = (n
1
, . . . , n
n
) o vetor unit ario normal externo ` a fronteira .
Exemplo A.15 Demonstre a f ormula de Green para o caso 1
n
= 1
2
.
Assumindo todas as premissas do enunciado da integra cao por partes multidimensional e ainda que a
integral dupla sobre do primeiro membro de A.2 possa ser calculada de maneira iterada nas vari aveis
x
1
e x
2
, tem-se, para i = 2
_
f
g
x
2
d =
_
b
a
_
_
d(x
1
)
c(x
1
)
f
g
x
2
dx
2
_
dx
1
.
Usando a formula de integra c ao por partes unidimensional na integral entre parenteses da ultima
expressao, pode-se escrever
_
b
a
_
_
d(x
1
)
c(x
1
)
f
g
x
2
dx
2
_
dx
1
=
_
b
a
_
f(x
1
, x
2
)g(x
1
, x
2
)[
d(x
1
)
c(x
1
)
_
d(x
1
)
c(x
1
)
f
x
2
dx
2
_
dx
1
=
_
b
a
f(x
1
, d(x
1
))g(x
1
, d(x
1
)) dx
1
_
b
a
f(x
1
, c(x
1
))g(x
1
, c(x
1
)) dx
1
_
b
a
_
_
d(x
1
)
c(x
1
)
f
x
2
g dx
2
_
dx
1
=
_
a
b
f(x
1
, d(x
1
))g(x
1
, d(x
1
)) dx
1
_
b
a
f(x
1
, c(x
1
))g(x
1
, c(x
1
)) dx
1
_
f
x
2
g d,
sendo que os limites na primeira integral da ultima expressao foram invertidos para se levar em conta o
sentido anti-h or ario da integra cao ao longo de .
Observa-se que as duas primeiras integrais na ultima expressao sao de fato integrais de linh a ao longo
do percurso superior e inferior de , respectivamente. Ch amando o percurso (orientado) superior de
s
e o inferior de
i
de modo que
s
i
= , e possvel escrever
_
f
g
x
2
d =
_
s
(fg) dx
1
_
i
(fg) dx
1
f
x
2
g d
=
_
(fg) dx
1
_
f
x
2
g d.
Lembrando que a primeira integral na ultima expressao pode ser parametrizada em relacao ao com-
primento de arco ds (ou em notacao menos usual d( )), tem-se
_
(fg) dx
1
=
_
(fg)
dx
1
ds
ds.
Denotando agora um vetor no plano 1
2
por dx = (dx
1
, dx
2
), sabe-se que a derivada desse vetor em
rela cao ao comprimento de arco ds resulta num vetor unitario tangente ao contorno em qualquer um
de seus pontos, ou seja,
dx
ds
= t = (t
1
, t
2
) = (
dx
1
ds
,
dx
2
ds
).
A.6. Teoremas de Integracao A-19
Uma vez tendo o vetor tangente t, pode-se construir de forma trivial o vetor normal externo ao
contorno da seguinte maneira
n
e
= (n
1
, n
2
) = (t
2
, t
1
) = (
dx
2
ds
,
dx
1
ds
).
Observa-se que a obviedade na determina cao de n
e
ocorre pelo fato dos vetores t e n
e
serem ortogonais
e unit arios. Uma unica atencao deve ser tomada para se obter o vetor normal externo e n ao o interno
pois a escolh a de n
i
= (t
2
, t
1
) tambem resulta num vetor unit ario normal a t, i.e.,
t, n
e
= t
1
n
1
+t
2
n
2
= t
1
t
2
+t
2
(t
1
) = 0,
t, n
i
= t
1
n
1
+t
2
n
2
= t
1
(t
2
) +t
2
t
1
= 0.
Retornando nalmente `a expressao que fornece a integral no contorno em termos do par ametro
s, tem-se
_
(fg) dx
1
=
_
(fg)
dx
1
ds
ds =
_
(fg)n
2
ds
e portanto
_
f
g
x
2
d =
_
(fg)n
2
ds
_
f
x
2
g d.
Um resultado analogo pode ser obtido para o caso em que i = 1, i.e.,
_
f
g
x
1
d =
_
(fg)n
1
ds
_
f
x
1
g d
demonstrando assim a validade da formula de Green no caso bidimensional.