Explorar E-books
Categorias
Explorar Audiolivros
Categorias
Explorar Revistas
Categorias
Explorar Documentos
Categorias
FLORIANÓPOLIS
JULHO DE 2007
Dedico este trabalho à minha família,
à Deus, aos meus amigos
e a todos os que me apoiaram
e incentivaram.
Agradecimentos aos mestres, ao meu orientador,
à família, pelo apoio,
aos amigos, pela companhia nesta jornada
e a todos que desejaram meu sucesso.
SUMÁRIO
RESUMO.........................................................................................................................7
INTRODUÇÃO...............................................................................................................8
CAPÍTULO I: FUNÇÕES REAIS DE N VARIÁVEIS
1.1 Derivadas Parciais.........................................................................................9
1.2 Derivadas Direcionais..................................................................................12
1.3 Funções Diferenciáveis................................................................................14
1.4 Base Dual......................................................................................................19
1.5 Hiperfícies de Nível......................................................................................21
1.6 A Diferencial de uma Função.....................................................................24
1.7 O Gradiente de uma Função Diferenciável...............................................25
1.8 Função Derivada..........................................................................................28
1.9 Segunda Derivada de uma Função.............................................................28
1.10 Matriz Hessiana ........................................................................................31
CONCLUSÕES..............................................................................................................96
REFERÊNCIAS BILBIOGRÁFICAS........................................................................97
RESUMO
7
INTRODUÇÃO
8
CAPÍTULO I
Quando se busca uma noção de derivada para funções de n variáveis, que tenha
propriedades análogas às da derivada de uma função definida num intervalo, a idéia que
mais se aproxima é a de “derivada parcial”.
Definição 1: Seja f : U ⊂ n
→ , com U aberto1 e a ∈ U . Temos que a i-ésima
derivada parcial de f no ponto a (onde 1 ≤ i ≤ n ) é
∂f f (a + tei ) − f (a )
(a ) = lim ,
∂x i t →0 t
“suficientemente pequeno”. Nesse caso, dado ε > 0 tal que B (a, ε ) ⊆ U temos que
Para o caso U ⊂ 2
, uma função f : U → é o que se chama uma “função real
de duas variáveis”. Geralmente neste caso escreve-se f ( x, y ) ao invés de f ( x1 , x2 ) .
∂f f ( a + t , b ) − f ( a , b)
(a ) = lim ,
∂x t →0 t
1
Dizemos que U ⊆ R é aberto se ∀a ∈ U ∃r > 0 tal que B ( a , r ) ⊆ U , ou seja, a bola de centro a e raio
n
9
∂f f ( a, b + t ) − f ( a, b)
(a) = lim
∂y t →0 t
De forma análoga, se U ⊂ 3
, f :U → é uma “função real de três variáveis
∂f ∂f
reais” e dado d = (a, b, c) , temos as suas derivadas parciais como (d ) , (d ) e
∂x ∂y
∂f
(d ) .
∂z
Voltamos ao caso geral, com f : U ⊂ n
→ definida no aberto U ⊂ n
.
chama “a reta que passa por a e é paralela ao i-ésimo eixo”. Pelo fato de U ser aberto,
para t suficientemente pequeno temos λ (t ) ∈ B(a, ε ) para t < ε e, portanto, λ (t ) ∈ U .
2
Para referências consultar ELON LAGES LIMA. Curso de analise vol.2.
10
O cálculo prático da i-ésima derivada parcial de uma função real f ( x1 ,..., x n ) se
faz considerando todas as variáveis como se fossem constantes, exceto a i-ésima, e
aplicando as regras usuais de derivação.
Podemos estudar o crescimento de uma função ao espaço da i-ésima direção por
sua i-ésima derivada parcial:
∂f f (a + tei ) − f (a )
(a ) = lim .
∂x i t →0 t
∂f ∂f
Note que agora temos (a) e (a ) representadas em um mesmo sistema de
∂x ∂y
coordenadas. Podemos ver que as derivadas parciais nos fornecem apenas informações
com relação ao eixo das coordenadas, porém não nos fornece informações em outros
sentidos.
11
1.2 Derivadas Direcionais
Definição 2: Sejam f : U ⊂ n
→ , com U aberto, a ∈ U e v ∈ n
. A derivada
direcional de f no ponto a, segundo o vetor v, é, por definição o limite
f (a + tv) − f (a)
Df (a)(v) = lim
t →0 t
quando tal limite existe.
∂f ∂f
Em particular, Df (a )(ei ) = (a) , ou seja, (a) é derivada direcional de f
∂xi ∂ei
composta f λ : (−ε , ε ) → n
, onde λ : (−ε , ε ) → n
é o caminho retilíneo,
λ (t ) = a + tv , para o qual se tem λ (0) = a e λ ′(t ) = v para todo t. Aqui, ε > 0 é
escolhido tão pequeno que a imagem de λ esteja contida em U.
12
Vejamos agora alguns exemplos interessantes.
Exemplo 1: Seja f : 2
→ definida por f ( x, y ) = xy /( x 2 + y 2 ) se x 2 + y 2 ≠ 0 e
f (0, 0) = 0 , temos:
∂f f (t , 0) − f (0, 0)
(0, 0) = lim
∂x t →0 t
Onde f (t , 0) = t.0 /(t 2 + 02 ) = 0
E, portanto
∂f f (t , 0) − f (0, 0) 0−0
(0, 0) = lim = lim =0
∂x t →0 t t →0 t
tv1 ⋅ tv2
−0
( tv ) + ( tv2 )
2 2
f (0 + tv1 , 0 + tv2 ) − f (0, 0)
Df (0, 0)(v) = lim = lim 1 =
t →0 t t →0 t
tv1 ⋅ tv2 1 v1 ⋅ v2 1
= lim ⋅ = lim ⋅ ,
( tv1 ) + ( tv2 ) t t →0 ( v1 ) + ( v2 ) t
t →0 2 2 2 2
E logo não existe o limite, o que nos mostra que a existência das derivadas parciais não
é uma condição suficiente para que existam as derivadas direcionais.
Exemplo 2: Seja f : U ⊂ n
→ . A derivada direcional de uma função constante é
zero, ou seja, para f ( x1 ,..., xn ) = b , com b fixo e b ∈ U , temos Df (a )(v) = 0 .
De fato
13
f (a + tv) − f (a) b−b
Df (a )(v) = lim = lim =0
t →0 t t →0 t
Exemplo 3: Seja f : U ⊂ n
→ . Se f é uma função linear então temos que
Df (a )(v) = f (v) .
f (a + b) = f (a ) + f (b) e f (α b) = α ⋅ f (b)
Logo,
f (a + tv) − f (a ) f ( a ) + t ⋅ f (v) − f ( a ) t ⋅ f (v )
Df (a)(v) = lim = lim = lim = f (v )
t →0 t t →0 t t →0 t
Dada f : U ⊂ n
→ , com U aberto, seja a ∈ U . Diremos que a função f é
diferenciável no ponto a quando existirem constantes A1 ,..., An tais que, para todo vetor
r (v )
f (a + v) = f (a) + A1α 1 + ... + Anα n + r (v) , onde lim =0
v →0 v
Fazendo t → 0
14
f (a + tei ) − f (a) ⎛ r (tei ) ⎞ ∂f
lim = lim ⎜⎜ Ai ± ⎟
⎟ = Ai = (a)
t →0 t t →0
⎝ tei ⎠ ∂xi
∂f ∂f
f (a + v) = f (a) + (a) ⋅ α 1 + ... + ( a ) ⋅ α n + r (v ) ,
∂x1 ∂x n
r (v )
Onde lim = 0.
v →0 v
⎛ ∂f ⎞
f (a + v) − f (a ) − ∑ ⎜⎜ ⎟⎟(a ) ⋅ α i . A essência da definição de diferenciabilidade é que,
⎝ ∂x i ⎠
r (v )
tomando r (v) desta maneira, tem-se lim = 0 . Esta é a condição que deve ser
v →0 v
⎛ ∂f ⎞
∑ ⎜⎜ ∂x ⎟⎟(a) ⋅ α i , mais um resto infinitamente pequeno em relação a v.
⎝ i ⎠
Em certos casos, podemos utilizar, em vez de r (v) , a função ρ = ρ (v) . Ou seja,
podemos definir a diferenciabilidade da seguinte maneira:
15
Definição 4: Seja f : U ⊂ n
→ com a ∈ U . Então, a função f é diferenciável no
ponto a se, e somente se, possui derivadas parciais nesse ponto e, para todo
v = (α1,..., α n ) ∈ n
tal que a + v ∈ U , vale
n
∂f
f (a + v) = f (a) + ∑ (a ) ⋅ α i + ρ (v) ⋅ v , onde lim ρ (v) = 0 .
i =1 ∂xi v →0
Seja f : U ⊂ n
→ diferenciável no ponto a + v ∈ U . Mostraremos que f
admite derivada direcional segundo qualquer vetor v = (α 1,..., α n ) , e vale a fórmula
∂f ∂f
Df (a)(v) = (a) ⋅ α1 + ... + (a) ⋅ α n .
∂x1 ∂xn
Com efeito, para todo t suficientemente pequeno, temos a + tv ∈ U . Pela
definição de diferenciabilidade, temos:
n
∂f
f (a + tv) = f (a ) + ∑ (a ) ⋅ tα i + ρ (tv) ⋅ t ⋅ v ,
i =1 ∂xi
donde
f (a + tv) − f (a ) n ∂f
=∑ (a ) ⋅ α i ± ρ (tv) ⋅ v com lim ρ (tv) = 0
i =1 ∂xi
t v →0
16
Exemplo 4: Seja f : 2
→ definida por f ( x, y ) = xy /( x 2 + y 2 ) se x 2 + y 2 ≠ 0 e
f (0, 0) = 0 ; já sabemos que não existe a derivada direcional de f no ponto (0,0)
(exemplo 1), vamos ver o que acontece quando aplicamos a definição de funções
diferenciáveis neste mesmo ponto.
Devemos tentar mostrar a igualdade
r (v )
lim = 0 onde v = (α , β )
v →0 v
De fato
r (v ) 1 ⎛ ∂f ∂f ⎞
lim = lim ⎜ f ( x + α , y + β ) − f ( x, y ) − ⋅ α + ⋅ β ⎟ =
v →0 v α , β →0
α2 + β2 ⎝ ∂x ∂y ⎠
1 1
= lim ( f (α , β ) − 0 − 0 ⋅ α − 0 ⋅ β ) = αlim ( f (α , β ) ) =
α , β →0
α2 + β 2 , β →0
α2 + β2
⎛ αβ ⎞
1 αβ
= lim ⋅⎜ 2 2 ⎟
= lim
α , β →0
α + β ⎝ α + β ⎠ α , β → 0 (α + β ) α 2 + β 2
2 2 2 2
r (v ) 1 ⎛ t2 ⎞ 1
lim = lim ⋅ ⎜ 2 2 ⎟ = lim ≠0
v →0 v t →0
t +t ⎝t +t ⎠
2 2 t → 0 2t 2
Exemplo 5: Seja f : U ⊂ n
→ , com f ( x1 ,..., xn ) = b , com b fixo e b ∈ U ,ou seja,
17
De fato
r (v ) 1
lim = lim ( f (a + v) − f (a) − Df (a)(v) ) =
v →0 v α1 ,...,α n → 0
α12 + ... + α n2
r (v ) 1 1
lim = lim ⋅ (b − b − 0) = lim ⋅0 = 0
v →0 v α1 ,...,α n → 0
α12 + ... + α n2 α1 ,...,α n → 0
α12 + ... + α n2
Exemplo 6: Agora vamos provar que se f é uma função linear então temos que f é
diferenciável com
Df (a )(v) = f (v) .
Seja f : U ⊂ n
→ tal que f é linear. Logo, temos que
r (v ) 1
lim = lim ( f (a + v) − f (a) − Df (a)(v) ) =
v →0 v α1 ,...,α n → 0
α1 + ... + α n2
2
r (v ) 1
lim = lim ( f (a) + f (v) − f (a) − Df (a)(v) )
v →0 v α1 ,...,α n → 0
α1 + ... + α n2
2
Df (a )(v) = f (v)
Portanto
r (v ) 1
lim = lim ( f ( a ) + f ( v ) − f ( a ) − f (v ) ) = 0
v →0 v α1 ,...,α n → 0
α12 + ... + α n2
18
1.4 Base Dual
(λ f )(v) = λ ⋅ f (v) ,
para quaisquer v ∈ V , λ ∈ e f1 , f 2 , f3 ∈ V * .
⎧1 se i = j
ϕ i ( f j ) = δ ij = ⎨
⎩0 se i ≠ j
{ϕ i }in=1 = {ϕ 1 ,..., ϕ n }
Vamos agora mostrar que {ϕ i }in=1 é uma base de V * . Para isso devemos mostrar
Tome
n n
0 = ∑ α iϕ i ( f j ) = ∑ α iδ ij = α j para ∀ j = 1,..., n .
i =1 i =1
⎛ n ⎞ n n
ϕ i (v) = ϕ i ⎜ ∑ v j f j ⎟ = ∑ v jϕ i ( f j ) =∑ v jδ ij =vi
⎝ j =1 ⎠ j =1 j =1
19
⎛ n ⎞ n
Note que vale ϕ i ⎜ ∑ v j f j ⎟ = ∑ v jϕ i ( f j ) pois ϕ é uma função linear e ϕ i ( f j ) = δ ij pela
⎝ j =1 ⎠ j =1
construção da função composta ϕ i ( f j ) .
Tome
⎛ n
⎞ n n
ψ (v) = ψ ⎜ ∑ vi fi ⎟ = ∑ viψ ( fi ) = ∑ψ ( fi ) ⋅ ϕ i (v) .
⎝ i =1 ⎠ i =1 i =1
n
Portanto como ψ ( f i ) ∈ e ψ (v) = ∑ψ ⋅ ( fi ) ⋅ ϕ i (v) temos que {ϕ i }in=1 gera V * .
i =1
20
Demonstração: Vamos começar mostrando a linearidade de ξ :
(u + v)* ( w) = w, u + v = w, u + w, v = u * ( w) + v* ( w) = (u * + v* )( w)
Como ξ é injetora, dim N (ξ ) = 0 o que implica que dim Im(ξ ) = dim V = dim V * . Isto
nos mostra que ξ é bijetora e que temos o isomorfismo desejado.
Definição 6: Dada f : U ⊂ n
→ , diferenciável no aberto U e dado um número
real c, diz-se que o ponto x ∈ U está no nível c, ou tem nível c, relativamente a f,
quando f ( x) = c . Fixado c, o conjunto dos pontos de U que estão no nível c é a
−1
imagem inversa f (c) , a qual é chamada à Hiperfície de nível c da função f. Quando
−1
n=2, f (c) chama-se a curva de nível c de f e quando n=3 chama-se superfície de
nível c de f.
3
O núcleo N(A) da transformação linear A : E → F é o conjunto dos vetores v ∈ E tais que Av = 0 . A fim
de que uma transformação linear A : E → F seja injetiva é necessário e suficiente que seu núcleo N ( A)
contenha apenas o vetor nulo.
21
Vejamos agora alguns exemplos:
1
0.5 4
0
-0.5 2
-1
-4 0
-2
0 -2
2
-4
4
-2
-4
-4 -2 0 2 4
22
escura representa os pontos onde f ( x, y, z ) < 0 e a parte clara os valores na qual
f ( x, y , z ) > 0 .
Uma grande vantagem deste tipo de representação gráfica é a possibilidade de
4
analisar funções de três variáveis, cujo gráfico é uma figura em , apenas assumindo
um valor fixo para f ( x, y , z ) = a e assim poder analisar o gráfico neste nível (valor) da
função.
Vamos analisar a superfície de nível de f ( x, y, z ) = x 2 + y 2 + z 2 para os
seguintes valores f ( x, y, z ) = {1, 2,3, 4,5}
23
1.6 A Diferencial de uma Função
A derivada de um caminho f : → m
é um vetor. Veremos agora que a
Definição 7: Seja f : U ⊆ n
→ definida no aberto U , diferenciável no
∂f
Vamos mostrar que df (a )(ei ) = (a) . De fato, seja a = (a1 ,..., an ) , então temos
∂xi
f (a + tei ) − f (a)
df (a )(ei ) = Df (ei ) = lim =
t →0 t
24
n
∂f
df (a ) = ∑ (a )dxi
i =1 ∂xi
Isto significa que o funcional linear df (a ) pode ser representado como uma
∂f
combinação linear dos funcionais dxi , onde (a) são os coeficientes da combinação.
∂xi
n n *
O produto interno natural induz um isomorfismo entre e seu dual ( ) ,
∂f
Em particular gradf (a), ei = (a ) , logo
∂x i
⎛ ∂f ∂f ⎞
gradf (a ) = ⎜⎜ (a ),..., (a ) ⎟⎟ .
⎝ ∂x1 ∂x n ⎠
⎛ ∂f ∂f ⎞
gradf (a ) = ∇f (a ) = ⎜ (a ),..., (a ) ⎟
⎝ ∂x1 ∂xn ⎠
25
Agora destacaremos as propriedades mais importantes do gradiente de uma
função diferenciável f. Suponha a fixo e gradf (a) ≠ 0 . Então:
Sabemos que
Df (a ) ⋅ v = ∇f (a ), v
∇f ( a )
Seja U grad =
∇f ( a )
γ :] − ε , ε [→ f −1 (k )
t → γ (t )
onde γ (0) = a e ( f γ )(t ) = k ∀t .
26
Temos que
( f γ )′(0) = 0 pois ( f γ )(t ) = k é uma função constante.
Logo temos
i i i
0 = df (γ (0))(γ (0)) = df (a)(γ (0)) = ∇f (a ), γ (0)
i
Como γ (0) é o vetor velocidade da superfície de nível e ∇f (a ) é
perpendicular a este vetor, temos que ∇f (a ) é perpendicular à curva de nível.
Com isto, demonstramos a três propriedades do gradiente.
Diagrama das curvas de nível de f ( x, y ) = cos x ⋅ seny com o gradiente da função sobreposto
27
1.8 Função Derivada
df : U ⊆ n
→( )
n *
a → df (a)
∂f
Dizemos que f é de classe C1 se suas derivadas parciais :U → existirem
∂xi
∂f
e forem contínuas. Mas geralmente, f é de classe C K se cada existir e for de
∂xi
classe C K −1 .
d 2 f (a) : n
→( )
n *
linear e se df for diferenciável em todos os pontos a ∈ U ,
∂2 f ∂2 f
(c ) = (c ) .
∂xi ∂x j ∂x j ∂xi
28
Demonstração: Sem perda de generalidade podemos supor U ⊂ 2
, c = (a, b) e provar
∂2 f ∂2 f
que (c ) = (c) . Existe ε > 0 tal que o quadrado (a − ε , a + ε ) × (b − ε , b + ε )
∂x∂y ∂y∂x
está contido em U . Para todo t ∈ (−ε , +ε ) ponhamos:
ϕ (t ) = f (a + t , b + t ) − f (a + t , b) − f (a, b + t ) + f (a, b)
Então escrevemos
ξ ( x ) = f ( x , b + t ) − f ( x, b )
E como
f (a + t , b + t ) − f (a, b + t ) = ξ (a + t ) e −( f (a + t , b) − f (a, b)) = −ξ (a) ,
temos que
ϕ (t ) = ξ (a + t ) − ξ (a)
Pelo teorema do valor médio para funções de uma variável, existe θ ∈ (0,1) tal que
ϕ (t ) = ξ ′(a + θ t ) ⋅ t , ou seja
⎡ ∂f ∂f ⎤
ϕ (t ) = ⎢ ( a + θ t , b + t ) − ( a + θ t , b) ⎥ ⋅ t
⎣ ∂x ∂x ⎦
∂f
Pelo fato de :U → ser diferenciável no ponto c = (a, b) , temos as seguinte
∂x
igualdades:
∂f ∂f ∂2 f ∂2 f
( a + θ t , b + t ) − ( a, b) = 2 ( a, b) ⋅ θ t + (a, b) ⋅ t + ρ1t onde lim ρ1 = 0
∂x ∂x ∂x ∂y∂x t →0
ou
∂f ∂f ∂2 f ∂2 f
( a + θ t , b + t ) = ( a, b) + 2 ( a, b) ⋅ θ t + (a, b) ⋅ t + ρ1t
∂x ∂x ∂x ∂y∂x
e
∂f ∂f ∂2 f
(a + θ t , b) − (a, b) = 2 (a, b) ⋅ θ t + ρ 2t onde lim ρ 2 = 0
∂x ∂x ∂x t →0
ou
∂f ∂f ∂2 f
( a + θ t , b) = ( a, b) + 2 ( a, b) ⋅ θ t + ρ 2t
∂x ∂x ∂x
Então temos
⎡ ∂f ∂2 f ∂2 f ⎛ ∂f ∂ 2 f ⎞ ⎤
ϕ (t ) = ⎢ + θ t + ⋅ t − ⎜ + 2 θ t ⎟ ⎥ ⋅ t + ρ1t − ρ 2t
2 2
⎣ ∂x ∂x 2 ∂y∂x ⎝ ∂x ∂ x ⎠⎦
29
∂2 f 2
ϕ (t ) = ⋅ t + ρ1t 2 − ρ 2t 2
∂y∂x
E portanto temos
ϕ (t ) ∂2 f
lim = (a, b) onde lim ρ1 = 0 e lim ρ 2 = 0 .
t →0 t2 ∂y∂x t →0 t →0
ϕ (t ) ∂2 f
a lim = (a, b) . E com isto concluímos o teorema.
t →0 t2 ∂x∂y
Exemplo 8: Vejamos agora uma função que vai mostrar que o fato de existir a segunda
derivada no ponto, não é condição suficiente para que o teorema de Schwartz possa ser
utilizado.
Seja
⎧ xy ( x 2 − y 2 )
⎪ se x 2 + y 2 ≠ 0
f ( x, y ) = ⎨ x 2 + y 2
⎪ 0 se ( x, y ) = (0, 0)
⎩
Calculando as derivadas parciais temos:
∂f ( y ( x − y ) + 2 x y ) ( x + y ) − 2 x y ( x − y ) y ( x 4 − y 4 ) + 4 x 2 y 3
2 2 2 2 2 2 2 2
= =
∂x ( x 2 + y 2 )2 ( x 2 + y 2 )2
Logo
∂f
(0, 0) = 0
∂x
e
∂f ( x( x − y ) − 2 xy ) ( x + y ) − 2 xy ( x − y ) x( x 4 − y 4 ) − 4 x3 y 2
2 2 2 2 2 2 2 2
= =
∂y ( x 2 + y 2 )2 ( x 2 + y 2 )2
Portanto
∂f
(0, 0) = 0
∂y
Agora vamos calcular as segundas derivadas parciais
∂f ∂f
(0, t ) − (0, 0)
∂ f
2
−t
(0, 0) = lim ∂x ∂x = lim = −1
∂y∂x t → 0 t t → 0 t
30
e
∂f ∂f
(t , 0) − (0, 0)
∂ f 2
∂y ∂y t
(0, 0) = lim = lim = 1 .
∂x∂y t →0 t t →0 t
Este resultado nos mostra que o fato de existirem as derivadas segundas, não é
condição suficiente para que venha a valer o teorema de Schwartz. Para o teorema possa
ser utilizado devemos ter que f seja uma função de classe C 2 .
Seja f : U ⊆ n
→ de classe C 2 e a ∈ U . A diferencial segunda d 2 f (a) será
chamada de forma Hessiana da função f no ponto a , é uma forma quadrática,
conforme veremos a seguir.
Primeiramente vamos ver a definição de forma quadrática.
Desta maneira,
n
Hv 2 = ∑hαα
i , j =1
ij i j
Se t ∈ então H (vt 2 ) = t 2 ( Hv 2 ) .
Vejamos agora que a diferencial segunda satisfaz os requisitos propostos. De
fato, temos:
n
∂f
df (a ) ⋅ v = ∑ (a)α i
i =1 ∂xi
n
∂2 f n
∂2 f n
∂2 f
d f (a) ⋅ v = ∑
2 2
(a )α iα1 +... + ∑ (a )α iα n = ∑ (a)α iα j
i =1 ∂xi ∂x1 i =1 ∂xi ∂xn i , j =1 ∂xi ∂x j
31
Onde
⎛ ∂2 f ∂2 f ⎞
⎜ (a) (a) ⎟
⎜ ∂x1∂x1 ∂x1∂xn ⎟
∂ f
2
H ( x) = (a) = ⎜ ⎟
∂xi ∂x j ⎜ 2 ⎟
⎜ ∂ f (a) ∂2 f
(a ) ⎟⎟
⎜ ∂x ∂x ∂xn ∂xn
⎝ n 1 ⎠
∂2 f ∂2 f
E por último, pelo teorema de Schwartz, temos (a) = (a) , o que
∂xi ∂x j ∂x j ∂xi
32
CAPÍTULO II
APLICAÇÕES DIFERENCIÁVEIS
Definição 1: A aplicação f :U ⊂ m
→ n
, definida no aberto U , diz-se
r (v )
f (a + v) − f (a) = T ⋅ v + r (v) , onde lim = 0.
v →0 v
Note que para f (a + v) ter sentido, temos que ter (a + v) ∈ U . Aqui temos o
porquê de U ser aberto, pois neste caso para v suficientemente pequeno temos que
(a + v) ∈ B(a, ε ) ⊆ U . A igualdade acima é a definição do “resto” r (v) . Pois para
f (a + v) − f (a) ser uma um função linear de v, é necessário que dada T, r (v) é
infinitésimo em relação à v , o que se tem com lim r (v) / v = 0 . Ou ainda: para todo
v →0
33
Vejamos agora como interpretar a transformação linear T : m
→ n
que
ocorre na definição acima.
Definição 2: Seja f : U ⊂ m
→ n
definida num aberto U . A derivada direcional de f
(a + tv) − f (a)
Df (a)(v) = lim ∈ n
,
t →0 t
m ∂f ∂f
o j–ésimo vetor da base canônica de , escreve-se (a ) em vez de (a ) .
∂x j ∂e j
Assim,
∂f ⎛ ∂f ∂f ⎞
(a) = ⎜ 1 (a),..., n (a) ⎟.
∂x j ⎜ ∂x ∂x j ⎟
⎝ j ⎠
34
Supondo f diferenciável no ponto a, para todo v ∈ m
e qualquer t ∈
suficientemente pequeno tem-se
f (a + tv) − f (a ) = T ⋅ tv + ρ (tv) ⋅ tv , onde lim ρ (tv) = 0 ,
v →0
f (a + tv) − f (a)
= T ⋅ v ± ρ (tv) ⋅ v
t
Donde
f (a + tv) − f (a)
lim =T ⋅v
t →0 t
Portanto T ⋅ v = Df (a)(v).
Portanto, se f : U ⊂ m
→ n
, definida no aberto U , é diferenciável no ponto
ou
f (a + v) − f (a ) = T ⋅ v + ρ (v) ⋅ v , onde lim ρ (v) = 0 .
v →0
Exemplo 1: Seja f : U ⊂ m
→ n
, onde f é uma aplicação constante. Então f é
diferenciável com T = 0 .
De fato
1
lim ρ (tv) = lim
t →0 t →0 t
( c − c − 0) = 0
35
Exemplo 2: Agora vamos provar que se T é uma aplicação linear e tivermos T ′( x ) = T ,
então T será diferenciável.
Seja T : U ⊂ m
→ n
tal que T é uma aplicação linear. Então
1
lim ρ (tv) = lim
t →0 t →0 t
( T ( a + v ) − T ( a ) − T (v ) ) =
1 1
= lim
t →0 t
( T (a ) + T (v) − T (a) − T (v) ) = lim (T (v) − T (v) ) = 0
t →0 t
Df (a ) : m
→ n
v → ( Df 1 (a )(v),..., Df n (a)(v))
onde Df i (a) : m
→ é uma aplicação linear.
Veja que ainda podemos representar a derivada de Df (a ) como uma matriz, que
é chamada de Matriz Jacobiana Jf (a) .
⎛ Df 1 (a) ⎞
⎜ ⎟
Jf (a) = ⎜ ⎟
⎜ Df n (a) ⎟
⎝ ⎠
Ou ainda,
⎛ ∂f 1 ∂f 1 ⎞
⎜ (a) (a) ⎟
⎜ ∂x 1 ∂xm ⎟
Jf (a) = ⎜ ⎟
⎜ n ⎟
⎜ ∂f ∂f n ⎟
⎜ ∂x (a ) ∂xm
(a) ⎟
⎝ 1 ⎠
36
⎛ ∂f ∂f ⎞
Podemos ver que suas m colunas são os vetores Df (a) ⋅ e j = ⎜ 1 (a),..., n (a) ⎟ .
⎜ ∂x j ∂x j ⎟
⎝ ⎠
⎛ ∂f ⎞
Assim, Jf (a). = ⎜ i (a) ⎟ , onde f1 ,..., f n : U → são as funções-coordenadas de f.
⎜ ∂x ⎟
⎝ j ⎠
⎛ ∂f ∂f ⎞
Cada uma das n linhas ⎜⎜ i (a ),..., i (a ) ⎟⎟ é, como sabemos, a matriz 1 × m do
⎝ ∂x1 ∂x m ⎠
funcional linear df i (a) = diferencial da i-ésima função-coordenada f i . Para todo
v∈ m
, temos
⎛ ∂f ∂f ⎞
Df (a ) ⋅ v = ⎜ 1 (a),..., n (a ) ⎟ = (df1 (a) ⋅ v,..., df n (a) ⋅ v) .
⎝ ∂v ∂v ⎠
Note que f ( x, y, z ) : 3
→ 3
Então
⎛ ∂f 1 ∂f 1 ∂f 1 ⎞
⎜ ⎟
⎜ ∂x ∂y ∂z ⎟
⎜ ∂f 2 ∂f 2 ∂f 2 ⎟
Jf ( x, y, z ) = ⎜ ⎟
⎜ ∂x ∂y ∂z ⎟
⎜ ∂f 3 ∂f 3 ∂f 3 ⎟
⎜⎜ ⎟
⎝ ∂x ∂y ∂z ⎟⎠
Ou seja
37
⎛ 2x 0 0 ⎞
⎜ ⎟
Jf ( x, y, z ) = ⎜ 2 y 2 x 0 ⎟
⎜ 0 −5 ⎠⎟
⎝ 0
a, com f (U ) ⊂ V e g : V → p
diferenciável no ponto f (a) . Então g f : U → p
é
Demonstração: Seja f :U ⊂ n
→ m
e g :V ⊂ m
→ p
com f (U ) ⊂ V e
y = f ( x). Tome as derivadas de f e g :
f ( x + h) − f ( x) = f ′( x)h + ρ ( x, h) h
e
g ( y + k ) − g ( y ) = g ′( y )k + σ ( y, k ) k
= g ′( f ( x)) ⋅ ( f ′( x)h + ρ ( x, h) h ) + σ ( y, k ) k =
⎛ ρ ( x, h ) h ⎞
= g ′( f ( x)) ⋅ ( f ′( x))h + g ′( f ( x)) ⎜⎜ k ) + σ ( y, k ) k ⎟⎟
⎝ k ⎠
Logo para provarmos que
g ( f ( x + h)) − g ( f ( x)) = g ′( f ( x)) ⋅ ( f ′( x))h
Devemos mostrar que
⎛ ρ ( x, h ) h ⎞
lim g ′( f ( x)) ⎜⎜ k ) + σ ( y, k ) k ⎟⎟ = 0
k →0 k
⎝ ⎠
Sabemos que por definição
38
lim σ ( y, k ) k = 0
k →0
h
Pois que tanto f ′( x) como ρ ( x, h) são limitados e com isso chegamos à
h
h
conclusão que ≤ Q com Q ∈ .
k
Logo
⎛ ρ ( x, h ) h ⎞ ⎛ ρ ( x, h ) h ⎞
lim g ′( f ( x)) ⎜⎜ k ) + σ ( y, k ) k ⎟⎟ = g ′( f ( x)) ⎜⎜ + σ ( y, k ) ⎟⎟ k = 0
k →0 k k
⎝ ⎠ ⎝ ⎠
e
g ( f ( x + h)) − g ( f ( x)) = g ′( f ( x)) ⋅ ( f ′( x))h
39
CAPÍTULO III
CAMPOS VETORIAIS
Com esta definição temos mais ferramentas para analisar fenômenos como a
velocidade do ar, na qual temos direções e valores distintos em vários pontos.
a) F ( x, y ) = x 2 i + yj
4
-2
-4
-4 -2 0 2 4
Campo vetorial F ( x, y ) = x i + yj
2
z
b) F ( x, y, z ) = yi − xj + k
5
40
1
-1
-1
0
1
z
Campo vetorial de F ( x, y , z ) = yi − xj + k
5
Podemos ver pelos exemplos mostrados, que agora podemos ter uma idéia de como se
comporta o fenômeno estudado, em cada ponto. Isto é, se a função estiver representando
a velocidade do ar, poderemos saber em cada ponto qual o seu valor e sua direção.
Seja γ : [ a, b ] → n
um curva de classe C1 e seja f uma função de valores
41
No intervalo t ∈ [ a, b ]
Pelo teorema do valor médio temos que existe ci ∈ ⎡⎣ti −1,ti ⎤⎦ tal que
Δsi = ( )
x1′ (ci ) 2 + ... + xn′ (ci ) 2 ⋅ (ti − ti −1 ) = γ ′(ci ) ⋅ (ti − ti −1 )
∑
i =1
f (γ (ci ))Δsi = ∑ f (γ (ci )) γ ′(ci* ) Δti . É importante notar que ci e ci* não
i =1
Como max Δti → 0 implica que ti → ti −1 . Portanto para todo ci e ci* ∈ [ti −1 , ti ] ,
∑ ∑ f (γ (t
b
lim f (γ (c j )) γ ′(ci ) Δti = lim i −1 )) γ ′(ti −1 ) Δti = ∫ f (γ (t )) γ ′(t ) dt
max Δti→0 max Δti→0 a
i =1 i =1
42
Definição 2: Seja γ : [ a, b ] → n
uma curva de classe C 1 e seja f uma função a
b
∫γ fds = ∫ f (γ (t )) γ '(t ) dt
a
2
2 t4
M = ∫ xyzds = ∫ 8t ⋅ 2 3 = 16 3 ⋅
3
= 64 3
γ 0 40
43
Agora voltemos para γ (t ) qualquer de classe C1 , onde γ : [ a, b ] → U .
γ (ti ) − γ (ti −1 ) = γ ′(ci )Δti com ci ∈ [ti , ti −1 ] (pelo teorema do valor médio)
E então temos
∑
i =1
F (γ (ti −1 ), γ ′(ci ) Δti
n
lim ∑ F (γ (ti −1 )), γ ′(ci ) [γ (ti ) − γ (ti −1 ) ]
max Δti →0
i =1
44
Note que como max Δti → 0 implica que ti → ti −1 , portanto ci → ti −1 pois ci ∈ [ti , ti −1 ] , o
Logo podemos fazer a seguinte substituição, pois F (γ (ti −1 )), γ ′(ti −1 )Δtt −1 é
n n
Definição 3: Sejam F : U ⊂ n
→ n
um campo vetorial contínuo e uma curva
γ : [ a, b ] → U , de classe C 1 . Definimos a integral de linha de F sobre γ por:
b
∫γ F ⋅ dr = ∫ a
F (γ (t )), γ ′(t ) dt
1
Resolução: Vamos agora calcular ∫γ F ⋅ dr = ∫ −1
F (γ (t )), γ ′(t ) dt
Temos que
F (γ (t )) = F (t , t 2 ) = ti + t 2 j e γ ′(t ) = (1, 2t ) .
Portanto chegamos ao seguinte resultado
45
1
1 1 ⎛ t2 t4 ⎞
∫γ F ⋅ dr = ∫ (t , t ), (1, 2t ) dt = ∫ (t + 2t )dt = ⎜ + 2 ⎟ = 0
2 3
−1 −1
⎝2 4 ⎠ −1
3.1.3 Outra Notação para Integral de Linha de um Campo Vetorial Sobre uma
Curva
contínuo U de n
e seja γ : [ a, b ] → U uma curva de classe C 1 ,com sua a imagem
Temos que
⎛ dx dx ⎞
∫γ F • dr = ∫
b
F1 ( x1 (t ),..., xn (t )) j1 + ... + Fn ( x1 (t ),..., xn (t )) jn , ⎜ 1 j1 ,..., n jn ⎟ dt =
a
⎝ dt dt ⎠
b⎡ dx dx ⎤
= ∫ ⎢ F1 ( x1 (t ),..., xn (t )) ⋅ 1 + ... + Fn ( x1 (t ),..., xn (t )) ⋅ n ⎥dt
a
⎣ dt dt ⎦
b⎡ dx dx ⎤
∫γ F1 ( x1 ,..., xn ) dx1 + ... + Fn ( x1 ,..., xn ) dxn = ∫a ⎢⎣ F1 ( x1 (t ),..., xn (t )) ⋅ dt1 + ... + Fn ( x1 (t ),..., xn (t )) ⋅ dtn ⎥⎦dt
−y x
Exemplo 3: Calcule ∫γ Fdr , sendo F ( x, y) = x 2
+y 2
i+ 2
x + y2
j e γ (t ) = (cos t , sent ) ,
0 ≤ t ≤ 2π .
46
Portando
2π 2π
∫γ Fdr = ∫ dt = t
0 0
= 2π
x2 y2
imagem é a elipse + = 1 , e tal que, quando t varia de a para b , γ (t ) descreve a
16 36
elipse no sentido anti-horário.
⎧x
⎪⎪ 4 = cos t ⎧ x = 4 cos t
⎨ ou ⎨ para 0 ≤ t ≤ 2π .
⎪ y = sent ⎩ y = 6sent
⎪⎩ 6
2π ⎛ dy ⎞
( )
dx 2π 2π 2π
∫γ − + = ∫0 ⎝ − + = ∫ + = ∫ 1dt = 24 t 0 = 48π
2 2
ydx xdy ⎜ 6 sent 4 cos t ⎟dt 24 sen t 24 cos t dt 24
dt dt ⎠ 0 0
se existir uma partição a = t0 < t1 < ... < tn = b e curvas γ i : ⎡⎣ti −1,ti ⎤⎦ → n
, i = 1,..., n de
47
Agora podemos ver a definição de integral de linha para uma curva de Classe C1
por partes, através do seguinte resultado que enunciaremos sem demonstrar.
n
Teorema 3: Seja F um campo vetorial contínuo no aberto U de e seja
γ : [ a, b ] → U uma curva de classe C1 por partes; temos que
∫γ F ⋅ d γ =∫γ F ⋅ d γ
1
1 + ... + ∫ F ⋅ d γ n
γn
3.2 Rotacional
definido no aberto U ⊂ 3
. Suponha que F1 , F2 e F3 admitam derivadas parciais em U
1
e esta sejam contínuas na vizinhança de p . Vamos calcular o lim
ΔS →0 ΔS ∫γ Fdl , onde γ é
48
Vamos calcular as integrais de linha em relação a 1 e 3.
Δy
yp + ⎛ Δz ⎞
∫ Fdr = ∫ F dy = ∫
1 1
2
yp −
2
2
Δy F2 ⎜ x p , y, z p − ⎟dy
⎝ 2 ⎠
e
Δy
yp + ⎡ ⎛ Δz ⎞ ⎤
∫ Fdr = ∫ F dy = ∫
3 3
2
yp −
2
2
Δy ⎢ − F2 ⎜ x p , y, z p + 2 ⎟ ⎥dy
⎣ ⎝ ⎠⎦
Logo temos
Δy
yp + ⎡ ⎛ Δz ⎞ ⎛ Δz ⎞ ⎤
∫ Fdr + ∫ Fdr = ∫
1 3
yp −
2
2
Δy ⎢ F2 ⎜ x p , y, z p − 2 ⎟ − F2 ⎜ x p , y, z p + 2 ⎟ ⎥dy
⎣ ⎝ ⎠ ⎝ ⎠⎦
⎛ Δz ⎞ ⎛ Δz ⎞ ∂F ⎛ Δz ⎞
F2 ⎜ x p , y, z p − ⎟ − F2 ⎜ x p , y, z p + ⎟ = 2 ⎜ x p , y, z p − θ ⎟ Δz com θ ∈ ( −1,1)
⎝ 2 ⎠ ⎝ 2 ⎠ ∂z ⎝ 2 ⎠
Portanto
Δy
yp + ⎡ ∂F2 ⎛ Δz ⎞ ⎤
∫ Fdr + ∫ Fdr = ∫
1 3
yp −
2
2
Δy ⎢ ∂z ⎜ x p , y, z p − 2 θ ⎟ Δz ⎥dy
⎣ ⎝ ⎠ ⎦
Então
Δy
yp + ⎡ ∂F2 ⎛ Δz ⎞ ⎤
∫ Fdr + ∫ Fdr = ∫
1 3
yp −
2
2
Δy ⎢ − ∂z ⎜ x p , y, z p + 2 θ ⎟ Δz ⎥dy =
⎣ ⎝ ⎠ ⎦
49
∂F2 ⎛ Δy Δz ⎞
=− ⎜ xr , y p + θ1 , z p + θ ⎟ ΔyΔz
∂z ⎝ 2 2 ⎠
De forma similar chegamos que
∂F3 ⎛ Δy Δz ⎞
∫ Fdr + ∫ Fdr =
2 4
∂y ⎝
⎜ xp , yp +
2
, z p + ⎟ Δy Δ z
2 ⎠
Logo
i ⎛ ∂F3 ∂F2 ⎞
lim
ΔS → 0 ΔS ∫γ Fdr = ⎜⎝ ∂y ( p) − ∂z
( p) ⎟ i
⎠
De forma análoga chegamos a
j ⎛ ∂F1 ∂F3 ⎞
lim
ΔS → 0 ΔS ∫γ Fdr = ⎝⎜ ∂z ( p) − ∂x ( p) ⎠⎟ j
e
k ⎛ ∂F2 ∂F1 ⎞
lim
ΔS → 0 ΔS ∫γ Fdr = ⎜⎝ ∂x ( p) − ∂y ( p) ⎟⎠ k
Portanto temos que
1 ⎛ ∂F3 ∂F2 ⎞ ⎛ ∂F ∂F ⎞ ⎛ ∂F ∂F ⎞
lim
ΔS → 0 ΔS ∫γ Fdr = ⎜⎝ ∂y ( p) − ∂z
( p) ⎟ i + ⎜ 1 ( p) − 3 ( p) ⎟ j + ⎜ 2 ( p) − 1 ( p) ⎟ k
⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
U⊂ 3
um campo vetorial. Suponhamos que F1 , F2 e F3 admitam derivadas parciais
50
i j k
∂ ∂ ∂
(
rotF = ∇ × F = ) ∂x ∂y ∂z
F1 F2 F3
Pois
∂F3 ∂F ∂F ∂F ∂F ∂F ⎛ ∂F ∂F ⎞ ⎛ ∂F ∂F ⎞ ⎛ ∂F ∂F ⎞
rotF = i + 1 j + 2 k − 1 k − 3 j − 2 i = ⎜ 3 − 2 ⎟i + ⎜ 1 − 3 ⎟ j + ⎜ 2 − 1 ⎟k
∂y ∂z ∂x ∂y ∂x ∂z ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
i j k
∂ ∂ ∂ ⎛ ∂ (0) ∂ (0) ⎞ ⎛ ∂ ( x) ∂ (0) ⎞ ⎛ ∂ (0) ∂ ( x) ⎞
rotF = =⎜ − ⎟i + ⎜ − ⎟ j +⎜ − ⎟k = 0
∂x ∂y ∂z ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
x 0 0
Como rotF = 0 podemos supor que não haverá nenhum vetor em nenhum ponto
que indique uma rotação.
2
1
0
-1
-2
2
-1
-2
-2
Campo vetorial F ( x, y , z ) = xi
51
Exemplo 6: Calcule o rotF de F ( x, y, z ) = y 2 i :
Resolução:
i j k
∂ ∂ ∂ ⎛ ∂ (0) ∂ (0) ⎞ ⎛ ∂ ( y 2 ) ∂ (0) ⎞ ⎛ ∂ (0) ∂ ( y 2 ) ⎞
rotF = =⎜ − ⎟ ⎜
i + − ⎟ j + ⎜ − ⎟k = 2y
∂x ∂y ∂z ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
y2 0 0
4
2
0
-2
-4
4
-2
-4
-4
-2
0
2
4
Campo vetorial F ( x, y , z ) = y i
2
Note que neste campo temos que o fluxo na direção i depende do valor da
coordenada y . Logo para y ≠ 0 e se tivermos um objeto indo na direção do eixo z ,
∇ϕ = F em U .
52
Teorema 4. Seja F : U ⊂ 3
→ 3
um campo vetorial de classe C 1 no aberto U . Uma
condição necessária para F ser conservativo é que rot F = 0 .
Demonstração:
Seja F = Pi + Qj + Rk . Supondo F conservativo, existirá ϕ : U → tal que
∇ϕ = F em U
que é equivalente a
⎧ ∂ϕ
⎪ ∂x = P
⎪ ∂ϕ
⎪
⎨ = Q em U
⎪ ∂y
⎪ ∂ϕ = R
⎪⎩ ∂z
∂ϕ ∂ 2ϕ ∂P
=P⇒ =
∂x ∂y∂x ∂y
∂ϕ ∂ 2ϕ ∂Q
=Q⇒ = .
∂y ∂x∂y ∂x
∂ 2ϕ ∂ 2ϕ
= (teorema de Schwartz)
∂y∂x ∂x∂y
e, portanto,
∂P ∂Q
= em U .
∂y ∂x
De modo análogo, conclui-se que
∂P ∂R ∂Q ∂R
= e = em U .
∂z ∂x ∂z ∂y
i j k
∂ ∂ ∂ ⎛ ∂R ∂Q ⎞ ⎛ ∂P ∂R ⎞ ⎛ ∂Q ∂P ⎞
(
Logo, rot F = ) ∂x ∂y
=⎜ − ⎟i + ⎜ − ⎟ j +⎜
∂z ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠
− ⎟ k = 0 em U .
⎝ ∂x ∂y ⎠
P Q R
53
Teorema 5. Se F : U ⊂ n
→ n
for um campo vetorial contínuo e conservativo, se
ϕ :U → for uma função potencial para F ( ∇ϕ = F ) e se γ : [ a, b ] → U for uma
∫γ Fdγ = ∫γ ∇ϕ ⋅ dγ = ϕ ( B) − ϕ ( A)
(
d ϕ (γ ( t ) ) )= ∇ϕ ( γ ( t ) ) , γ '(t ) = F ( γ (t ) ) , γ '(t ) .
dt
Daí
a a
Portanto
∫γ Fdγ = ∫γ ∇ϕ ⋅ dγ = ϕ ( B) − ϕ ( A)
Obs: Sempre que quisermos calcular uma integral de linha usando este teorema
devemos primeiro verificar se o campo vetorial é um campo conservativo.
−y x
Exemplo 7: Temos que ∫γ Fdr = 2π , sendo F ( x, y) = x 2
+y 2
i+ 2
x + y2
j em
2
\{(0, 0)} e γ (t ) = (cos t , sent ) , 0 ≤ t ≤ 2π . Temos ainda que rot F = 0
54
Resolução: De fato
i j k
∂ ∂ ∂
rot F = =
∂x ∂y ∂z
−y x
0
x + y2
2
x + y2
2
∂0 ∂ ⎛ −y ⎞ ∂ ⎛ x ⎞ ∂ ⎛ −y ⎞ ∂0 ∂ ⎛ x ⎞
= i+ ⎜ 2 2 ⎟
j+ ⎜ 2 2 ⎟
k− ⎜ 2 2 ⎟
k− j− ⎜ 2 ⎟i =
∂y ∂z ⎝ x + y ⎠ ∂x ⎝ x + y ⎠ ∂y ⎝ x + y ⎠ ∂x ∂z ⎝ x + y 2 ⎠
⎛ − x2 + y2 ⎞ ⎛ − x2 + y 2 ⎞
=⎜ 2 2 2 ⎟
k −⎜ 2 2 2 ⎟
k =0
⎝ (x + y ) ⎠ ⎝ (x + y ) ⎠
Mas γ (0) = γ (2π ) = (1, 0) . Então pelo fato γ (0) = γ (2π ) , temos que
2π
∫γ Fdγ = 0 (pelo teorema 5), pois ∫γ Fd γ = ∫γ ∇ϕ ⋅ d γ = ϕ ( x, y) 0
= 0.
Seja F : U ⊂ n
→ n
um campo vetorial contínuo no aberto U , com U
conexo por caminhos4. A integral de linha ∫ F ⋅ dr é independente do caminho de
notação
B
∫ A
F ⋅ dr
poderá ser utilizada para indicar a integral de linha de F sobre uma curva qualquer C 1
por partes γ : [ a, b ] → U com γ (a ) = A e γ (b) = B .
4 1
U conexo por caminhos significa que, quaisquer que sejam os pontos A e B de U , existe uma curva C
por partes contida em U e com extremidades A e B.
55
3.5 Existência da Função potencial
é tal que ∇ϕ = F em U .
∂ϕ
= Fi com i = 1,..., n
∂xi
P + hi1
∫
h
F ⋅ d γ = ∫ F (γ (t )), γ '(t ) dt
P 0
F ( γ (t ) ) ⋅ γ '(t ) = F1 ( γ (t ) ) . Assim,
h
ϕ ( P + hi1 ) − ϕ ( P)
=
∫ 0
F1 (γ (t )dt
h h
Aplicando L’Hospital, obtemos:
56
( F (γ (t )dt )
′ k
ϕ ( P + hi ) − ϕ ( P) ∫ 1
= lim
1 0
lim
h → 0+ h h → 0+ (h)′
0 1
h
0 1
Portanto,
ϕ ( P + hi1 ) − ϕ ( P)
lim = lim+ F1 (γ (h)) = F1 (γ (0))
h →0+ h h →0
Ou seja,
ϕ ( P + hi1 ) − ϕ ( P)
lim+ = F1 ( P)
h →0 h
Com γ (0) = P , de modo análogo, prova-se que
ϕ ( P + hi1 ) − ϕ ( P)
lim = F1 ( P )
h →0− h
∂ϕ
Portanto = F1 em U . Com raciocínio idêntico, conclui-se que vale a relação
∂x1
∂ϕ
= Fj para todo j = 1,..., n .
∂x j
ou seja,
ϕ ( P + hi j ) − ϕ ( P)
lim = Fj ( P) para j = 1,..., n
h →0 h
Portanto, ∇ϕ = F em U .
Teorema 7: Seja F : U ⊂ n
→ n
um campo vetorial contínuo no aberto conexo por
caminhos U . São equivalentes as afirmações:
I) F é conservativo
em U .
57
Demonstração
( I ) ⇒ ( II )
∫γ F ⋅ dγ = ∫γ ∇ϕ ⋅ d γ = ϕ (γ (b) ) − ϕ (γ (a) ) = 0
( II ) ⇒ ( III )
Seja F um campo vetorial tal que ∫γ F ⋅ dγ = 0 para toda curva γ , fechada, C 1 por
Considere γ 1 , γ 2 : [ a, b ] → n
onde
γ 1 (a) = γ 2 (a) = A
e
γ 1 (b) = γ 2 (b) = B .
Então temos que :
b a
0 = ∫ F (γ 1 (t )), γ 1′(t ) dt + ∫ F (γ 2 (t )), γ 2′ (t ) dt =
a b
b b
= ∫ F (γ 1 (t )), γ 1′(t ) dt − ∫ F (γ 2 (t )), γ 2′ (t ) dt = ∫ Fdr − ∫ Fdr
a a γ1 γ 2
Logo
∫ F ⋅ dr = γ∫ F ⋅ dr
γ1 2
( III ) ⇒ ( I )
é tal que ∇ϕ = F em U .
Logo F é conservativo.
58
3.7 Conjunto Simplesmente Conexo
n
Definição 7: Seja U um aberto de , conexo por caminhos. Dizemos que U é
simplesmente conexo se, para toda curva fechada contínua γ : [ a, b ] → U , existir uma
(i) γ 0 = γ
n
Exemplo 8: O é simplesmente conexo, pois é conexo por caminhos e se
γ : [ a, b ] → n
é uma curva contínua fechada, tomando-se γ s (t ) = (1 − s )γ (t ) , com
s ∈ [ 0,1] e t ∈ [ a, b ] , tem-se:
(i) γ 0 = γ
59
Teorema 7: Seja F : U ⊂ 3
→ 3
um campo vetorial de classe C 1 no aberto U .
Nestas condições, se U for simplesmente conexo e rot F = 0 , então F será
conservativo.
−y x
F ( x, y ) = i+ 2 j
x +y
2 2
x + y2
Temos que:
rot F = 0 em U
⎧ x = x(u , v)
⎪
σ (u, v) : ⎨ y = y (u, v) (u, v) ∈U .
⎪ z = z (u , v)
⎩
O lugar geométrico descrito por σ (u , v) , quando (u , v) percorre U , é a imagem
de σ .
Im σ = {σ (u, v) ∈ 3
/(u, v) ∈ U }
60
3.8.2 Integral de Superfície de uma Função a Valores Reais
Seja K um compacto5 de 2
com interior não-vazio e de fronteira de conteúdo
nulo6; seja σ : K → 3
de classe C1 em K , regular e injetora no interior de K .
Seja w = f ( x, y, z ) uma função a valores reais, definida e contínua na imagem
de σ .
Queremos calcular um certo tipo de “média ponderada” dos valores de f ao
longo de uma superfície, com “pesos”dados por elementos de área.
Seja Q = {(ui , v j ) / i = 0,1,..., n, j = 0,1,..., m} uma partição de K ; vamos supor
que K seja um retângulo de lados paralelos aos eixos para facilitar a análise.
5 n
Um compacto em é um sub-conjunto fechado e limitado.
6
X ⊆ é de conteúdo nulo se ∀ε > 0 , existe uma coleção {I1 ,..., I k } de
n
Dizemos que um conjunto
paralelepípedos tal que :
i) X ⊆ I1 ∪ ... ∪ I k
∑ volume( I ) <∈ .
k
ii) n
i =1
Intuitivamente dizer que a fronteira de K é de conteúdo nulo é dizer que esta não contribui para o
volume do conjunto K .
61
Queremos calcular o limite de somas da forma
n m
∑∑ f (σ (u
i =1 j =1
p , v p ))ΔSij
que
∂σ * * ∂σ * *
ΔSij (u , v ) × (u , v ) Δu Δv , com u * ∈ (u, u + Δu ) e v* ∈ (v, v + Δv)
∂u ∂v
v* → v . Logo temos:
n m
∂σ * ∂σ
lim
Δu , Δv →0
∑∑ f (σ (u
i =1 j =1
p , v p ))
∂u
(u , v) ×
∂v
(u , v* ) Δu Δv =
∂σ ∂σ
= ∫∫ f (σ (u, v)) (u , v) × (u, v) dudv .
K ∂u ∂v
62
2
Definição 8: Seja K um compacto de , com fronteira de conteúdo nulo e interior
não-vazio; seja σ : K → 3
, de classe C 1 em K , regular e injetora no interior de K .
Seja w = f ( x, y, z ) uma função a valores reais, definida e contínua na imagem
de σ . Definimos a integral de superfície de f sobre σ por
∂σ ∂σ
∫∫σ f ( x, y, z)dS = ∫∫ f (σ (u, v) ) ⋅
K
×
∂u ∂v
dudv
∂σ ∂σ
onde dS = × dudv é chamado de elemento de área.
∂u ∂v
x2 + y 2 + z 2 = 1 .
Pois para todo φ e θ temos que sen 2φ cos 2 θ + sen 2φ sen 2θ + cos 2 φ = 1
Temos ainda
i j k
i j k
∂x ∂y ∂z
rφ × rθ = = cos φ cos θ cos φ senθ − senφ =
∂φ ∂φ ∂φ
− senφ senθ senφ cos θ 0
∂x ∂y ∂z
∂θ ∂θ ∂θ
= sen 2φ cos θ i + sen 2φ senθ j + senφ cos θ k
Então
2π π 2π 1 π
= ∫ cos 2 θ dθ ∫ sen3φ dφ = ∫ (1 + cos 2θ )dθ ∫ ( senφ − senφ cos 2 φ )dφ =
0 0 0 2 0
63
2π π
1⎡ 1 ⎤ ⎡ 1 ⎤ 4π
= ⎢θ + sen 2θ ⎥ ⎢ − cos φ + cos3 φ ⎥ =
2⎣ 2 ⎦0 ⎣ 3 ⎦0 3
Seja σ : K ⊂ 2
→ 3
de classe C1 , onde K é um compacto de conteúdo não-
vazio e com fronteira de conteúdo nulo. Suponhamos que σ seja injetora e regular no
interior de K . Seja F : Im σ → 3
um campo vetorial contínuo
∂σ ∂σ
×
n (σ (u, v)) = ∂u ∂v
∂σ ∂σ
×
∂u ∂v
∂σ ∂σ
Temos que n é perpendicular a e pela propriedade do produto vetorial
∂u ∂v
e, portanto, perpendicular à superfície σ .
Então basta calcularmos o limite quando Δu → 0 e Δv → 0 da seguinte
somatória:
n m
∂σ * ∂σ
lim
Δu , Δv → 0
∑∑
i =1 j =1
f (σ (u p , v p )), n (σ (u , v)) ⋅
∂u
(u , v) ×
∂v
(u , v* ) ΔuΔv =
64
∂σ ∂σ
×
n m
∂σ * ∂σ
lim ∑∑ f (σ (u p , v p )), ∂u ∂v ⋅ (u , v) × (u , v* ) ΔuΔv =
Δu , Δv → 0 ∂σ ∂σ ∂u ∂v
i =1 j =1
×
∂u ∂v
⎛ ∂σ ∂σ ⎞
∫∫σ F , n dS = ∫∫ F (σ (u, v) ) , ⎜⎝ ∂u × ∂v ⎟⎠ dudv
K
Definição 9: Seja σ : K ⊂ 2
→ 3
de classe C1 , onde K é um compacto com interior
não-vazio e com fronteira de conteúdo nulo. Suponhamos que σ seja injetora e regular
no interior de K . Seja F : Im σ → 3
um campo vetorial contínuo. Então a integral de
superfície de F sobre σ é
⎛ ∂σ ∂σ ⎞
∫∫σ F , n dS = ∫∫ F (σ (u , v) ) , ⎜ × ⎟ dudv
K
⎝ ∂u ∂v ⎠
onde K é o retângulo 0 ≤ u ≤ 1 e 0 ≤ v ≤ 1 .
i j k
∂σ ∂σ
× = 1 0 −2u = 2ui + 2vj + k
∂u ∂v
0 1 −2v
∫∫σ F ⋅ n ⋅ dS = ∫∫ (10i + (u
k
2
)(
+ v 2 ) j + 2uvk ⋅ 2ui + 2vj + k dudv = )
65
(
= ∫∫ 20u + 2u 2v + 2v 3 − 2uv dudv
k
)
Ou seja,
1
⎡ 1 20u + 2u 2v + 2v 3 − 2uv du ⎤ dv = 1 ⎡10u 2 + 2 u 3v + 2v 3u − u 2 v ⎤ =
∫0 ⎢⎣ ∫0 ( ) ⎥⎦ ∫0 ⎢⎣
1
∫∫σ F ⋅ n ⋅ dS =
3 ⎥⎦
0
1
⎛ 11 ⎞ ⎡ 1 2 ⎤ 1 1 31
= ∫ ⎜10 − v + 2v3 ⎟dv = ⎢10v − v 2 + v 4 ⎥ = 10 − + = .
0
⎝ 3 ⎠ ⎣ 6 4 ⎦0 6 2 3
3.9 Divergente
definido no aberto U ⊂ 3
. Suponha que F1 , F2 e F3 admitam derivadas parciais em U
1
e F seja contínua na vizinhança de r . Vamos calcular o lim
ΔV → 0 ΔV ∫S
F , n dS , onde S
66
⎛ x0 − Δ2x ⎞
− ⎜ ∫ Δx F1 ( x, y, z )idx ⎟ ΔyΔz
⎝ x0 + 2 ⎠
O sinal da face 2 deve ser invertido, pois caso contrário teremos componentes
das faces 1 e 2 se anulando, devido a face 1 estar na direção i e a face 2 na direção –i.
⎛ x0 + Δ2x ⎞ ⎛ Δx ⎞
⎜ ∫x − Δx F1 ( x, y, z )idx ⎟ ΔyΔz F1 ⎜ x0 + , y , z ⎟ Δx
⎝ 0 2 ⎠ ⎝ 2 ⎠
E de forma análoga chegamos que
⎛ x0 − Δx ⎞ ⎛ Δx ⎞
− ⎜ ∫ Δ2x F1 ( x, y, z )idx ⎟ ΔyΔz F1 ⎜ x0 − , y , z ⎟ Δx
⎝ x0 + 2 ⎠ ⎝ 2 ⎠
onde θ1 ∈ (−1,1)
onde θ 2 ∈ (−1,1) e
67
⎡ ⎛ Δz ⎞ ⎛ Δz ⎞ ⎤ ∂F3 ⎛ Δz ⎞
⎢ F3 ⎜ x, y, z0 + 2 ⎟ − F3 ⎜ x, y, z0 − 2 ⎟ ⎥ ΔxΔy = ∂z ⎜ x, y, z0 + 2 θ3 ⎟ ΔxΔyΔz + ρ3ΔxΔyΔz
⎣ ⎝ ⎠ ⎝ ⎠⎦ ⎝ ⎠
onde θ3 ∈ (−1,1)
Logo
1 1 ⎛ ∂F1 ⎛ Δx ⎞ ∂F ⎛ Δy ⎞ ∂F ⎛ Δz ⎞ ⎞
lim
ΔV → 0 ΔV ∫
S
F , n dS = lim
Δ V → 0 Δx Δ y Δ z
⎜
⎝ ∂x ⎝
⎜ p + i θ1 ⎟ + 2 ⎜ p + j θ 2 ⎟ + 3 ⎜ p + k θ3 ⎟ ⎟ ΔxΔyΔz
2 ⎠ ∂y ⎝ 2 ⎠ ∂z ⎝ 2 ⎠⎠
1 ⎡ ∂F ⎛ Δx ⎞ ∂F ⎛ Δy ⎞ ∂F ⎛ Δz ⎞ ⎤
lim
ΔxΔyΔz → 0 ΔV ∫
S
F , n dS = lim ⎢ 1 ⎜ p + i θ1 ⎟ + 2 ⎜ p + j θ 2 ⎟ + 3 ⎜ p + k θ3 ⎟ ⎥ =
ΔV → 0 ∂x
⎣ ⎝ 2 ⎠ ∂y ⎝ 2 ⎠ ∂z ⎝ 2 ⎠⎦
∂F1 ∂F ∂F
= ( p) + 2 ( p) + 3 ( p)
∂x ∂y ∂z
Note ainda que lim ρ1 (Δx) = 0 , lim ρ 2 (Δy ) = 0 e lim ρ3 (Δz ) = 0 pelo
ΔxΔy Δz → 0 ΔxΔy Δz → 0 ΔxΔy Δz →0
função
divF : U →
dada por
∂F1 ∂F2 ∂F
divF = + + ... + n
∂x1 ∂x 2 ∂x n
Denomina-se divergente de F .
⎛ ∂ ∂ ∂ ⎞ ∂F1 ∂F2 ∂F
divF = ∇, F = ⎜ , ,..., ⎟ , ( F1 , F2 ,..., Fn ) = + + ... + n .
⎝ ∂x1 ∂x2 ∂xn ⎠ ∂x1 ∂x2 ∂xn
68
O divergente pode ser interpretado como uma taxa de variação de área (ou
volume) por unidade de tempo e unidade de área (ou volume) no ponto ( x1 ,..., x n ) .
Resolução:
2.5
1.5
0.5
0
0 1 2 3 4
Campo vetorial F ( x, y ) = ( x + y , 2 x − 4 y )
2
Resolução:
∂ 2 ∂
divF ( x, y ) = ( y ) + (2 x) = 0 .
∂x ∂y
69
3.5
2.5
1.5
0.5
0
0 1 2 3 4
Campo vetorial F ( x, y ) = ( y , 2 x )
2
Denomina-se laplaciano de ϕ .
Assim, o laplaciano de ϕ nada mais é do que o divergente do gradiente de ϕ .
Como
⎛ ∂ ∂ ⎞ ⎛ ∂ϕ ∂ϕ ⎞ ∂ 2ϕ ∂ 2ϕ
∇ 2ϕ = ∇, ∇ϕ = ⎜ ,..., ⎟ ⎜
, ,..., ⎟ = + ... +
⎝ ∂x1 ∂xn ⎠ ⎝ ∂x1 ∂xn ⎠ ∂x12 ∂xn2
Resulta que
∂ 2ϕ ∂ 2ϕ
∇ ϕ = 2 + ... + 2 = div(∇ϕ )
2
∂x1 ∂xn
70
Vejamos agora algumas outras identidades envolvendo gradiente, divergente e
rotacional. Admitimos que as derivadas parciais apropriadas existam e sejam contínuas,
ϕ é um campo escalar e U , V são campos vetoriais.
U = Pu ( x, y, z )i + Qu ( x, y, z ) j + Ru ( x, y, z )k
V = Pv ( x, y, z )i + Qv ( x, y, z ) j + Rv ( x, y, z )k
⎛ ∂R ∂Q ⎞ ⎛ ∂Pu ∂Ru ⎞ ⎛ ∂Q ∂P ⎞
rotU + rotV = ⎜ u − u ⎟i + ⎜ − ⎟ j +⎜ u − u ⎟k +
⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
⎛ ∂R ∂Q ⎞ ⎛ ∂P ∂R ⎞ ⎛ ∂Q ∂P ⎞
+⎜ v − v ⎟i + ⎜ v − v ⎟ j + ⎜ v − v ⎟k =
⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠
⎛ ⎛ ∂R ∂R ⎞ ⎛ ∂Q ∂Q ⎞ ⎞ ⎛ ⎛ ∂P ∂P ⎞ ⎛ ∂R ∂R ⎞ ⎞
= ⎜⎜ u + v ⎟ − ⎜ u + v ⎟⎟i + ⎜⎜ u + v ⎟ − ⎜ u + v ⎟⎟ j +
⎝ ⎝ ∂y ∂y ⎠ ⎝ ∂z ∂z ⎠ ⎠ ⎝ ⎝ ∂z ∂z ⎠ ⎝ ∂x ∂x ⎠ ⎠
⎛ ⎛ ∂Q ∂Q ⎞ ⎛ ∂Pv ∂Pu ⎞⎞
+⎜⎜ u + v ⎟ − ⎜ ∂y + ∂y ⎟ ⎟ k = rot (U + V )
⎝ ⎝ ∂x ∂x ⎠ ⎝ ⎠⎠
⎛ ∂U ∂U ⎞ ⎛ ∂V ∂V ⎞
divU + divV = ⎜ 1 ,..., n ⎟ + ⎜ 1 ,..., n ⎟ =
⎝ ∂x1 ∂xn ⎠ ⎝ ∂x1 ∂xn ⎠
⎛ ∂U ∂V ⎞ ⎛ ∂U ∂V ⎞
= ⎜ 1 + 1 ⎟ + ... + ⎜ n + n ⎟ = div(U + V )
⎝ ∂x1 ∂x1 ⎠ ⎝ ∂xn ∂xn ⎠
c) divϕU = ϕ divU + ∇ϕ ⋅U
∂ (ϕU1 ) ∂ (ϕU n )
divϕU = + ... + =
∂x1 ∂xn
71
⎛ ϕ∂U1 U1∂ϕ ⎞ ⎛ ϕ∂U n U n ∂ϕ ⎞
=⎜ + ⎟ + ... + ⎜ + ⎟=
⎝ ∂x1 ∂x1 ⎠ ⎝ ∂xn ∂xn ⎠
d) rotϕU = ϕ rotU + ∇ϕ × U
U = Pu ( x, y, z )i + Qu ( x, y, z ) j + Ru ( x, y, z )k
⎛ ∂ϕ R ∂ϕ Q ⎞ ⎛ ∂ϕ P ∂ϕ R ⎞ ⎛ ∂ϕ Q ∂ϕ P ⎞
rotϕU = ⎜ − ⎟i +⎜ − ⎟ j +⎜ − ⎟k =
⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂z ∂y ⎠
⎛ ϕ∂P P∂ ϕ ϕ∂R R∂ ϕ ⎞
+⎜ + − − ⎟j+
⎝ ∂z ∂z ∂x ∂x ⎠
⎛ ϕ∂Q Q∂ ϕ ϕ∂P P∂ ϕ ⎞
+⎜ + − − ⎟k =
⎝ ∂x ∂x ∂y ∂y ⎠
O que resulta em
⎛ ⎛ ϕ∂R ϕ∂Q ⎞ ⎛ ϕ∂P ϕ∂R ⎞ ⎛ ϕ∂Q ϕ∂P ⎞ ⎞
= ⎜⎜ − ⎟i + ⎜ − ⎟ j +⎜ − ⎟k ⎟+
⎝ ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠ ⎠
⎛ ⎛ ∂ ϕ R ∂ ϕQ ⎞ ⎛ ∂ ϕ P ∂ ϕ R ⎞ ⎛ ∂ ϕQ ∂ ϕ P ⎞ ⎞
+⎜⎜ − ⎟i + ⎜ − ⎟ j +⎜ − ⎟k ⎟ =
⎝ ⎝ ∂y ∂z ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂x ∂y ⎠ ⎠
i j k i j k
∂ ∂ ∂ ∂ϕ ∂ϕ ∂ϕ
ϕ ϕ ϕ + = ϕ rotU + ∇ϕ × U
∂x ∂y ∂z ∂x ∂y ∂z
P Q R P Q R
(
e) div rotU = 0 )
U = Pu ( x, y, z )i + Qu ( x, y, z ) j + Ru ( x, y, z )k
∂ ⎛ ∂R ∂Q ⎞ ∂ ⎛ ∂P ∂R ⎞ ∂ ⎛ ∂Q ∂P ⎞
(
div rotU = ) ⎜ − ⎟+ ⎜ − ⎟+ ⎜ − ⎟=
∂x ⎝ ∂y ∂z ⎠ ∂y ⎝ ∂z ∂x ⎠ ∂z ⎝ ∂x ∂y ⎠
72
⎛ ∂ 2 R ∂ 2Q ⎞ ⎛ ∂ 2 P ∂ 2 R ⎞ ⎛ ∂ 2Q ∂ 2 P ⎞
=⎜ − ⎟+⎜ − ⎟+⎜ − ⎟=
⎝ ∂x∂y ∂x∂z ⎠ ⎝ ∂y∂z ∂y∂x ⎠ ⎝ ∂z∂x ∂z∂y ⎠
⎛ ∂ 2 R ∂ 2 R ⎞ ⎛ ∂ 2 P ∂ 2 P ⎞ ⎛ ∂ 2Q ∂ 2Q ⎞
=⎜ − ⎟+⎜ − ⎟+⎜ − ⎟=
⎝ ∂x∂y ∂y∂x ⎠ ⎝ ∂y∂z ∂z∂y ⎠ ⎝ ∂z∂x ∂x∂z ⎠
Utilizando o teorema de Schwarz
⎛ ∂ 2 R ∂ 2 R ⎞ ⎛ ∂ 2 P ∂ 2 P ⎞ ⎛ ∂ 2Q ∂ 2Q ⎞
=⎜ − ⎟+⎜ − ⎟+⎜ − ⎟=0
⎝ ∂x∂y ∂x∂y ⎠ ⎝ ∂y∂z ∂y∂z ⎠ ⎝ ∂z∂x ∂z∂x ⎠
f) rot ( ∇ϕ ) = 0
⎛ ∂ 2ϕ ∂ 2ϕ ⎞ ⎛ ∂ 2ϕ ∂ 2ϕ ⎞ ⎛ ∂ 2ϕ ∂ 2ϕ ⎞
rot ( ∇ϕ ) = ⎜ − ⎟+⎜ − ⎟+⎜ − ⎟=0
⎝ ∂y∂z ∂z∂y ⎠ ⎝ ∂z∂x ∂x∂z ⎠ ⎝ ∂x∂y ∂y∂x ⎠
g) rot ( rotu ) = ∇ ( divu ) − ∇ 2u
i j k
∂ ∂ ∂
rot ( rotu ) = =
∂x ∂y ∂z
∂R ∂Q ∂P ∂R ∂Q ∂P
− − −
∂y ∂z ∂z ∂x ∂x ∂y
∂ ⎛ ∂Q ∂P ⎞ ∂ ⎛ ∂R ∂Q ⎞ ∂ ⎛ ∂P ∂R ⎞
= ⎜ − ⎟i + ⎜ − ⎟j+ ⎜ − ⎟k +
∂y ⎝ ∂x ∂y ⎠ ∂z ⎝ ∂y ∂z ⎠ ∂x ⎝ ∂z ∂x ⎠
∂ ⎛ ∂R ∂Q ⎞ ∂ ⎛ ∂P ∂R ⎞ ∂ ⎛ ∂Q ∂P ⎞
− ⎜ − ⎟k − ⎜ − ⎟i − ⎜ − ⎟j=
∂y ⎝ ∂y ∂z ⎠ ∂z ⎝ ∂z ∂x ⎠ ∂x ⎝ ∂x ∂y ⎠
⎛ ∂ 2 P ∂ 2 P ⎞ ⎛ ∂ 2Q ∂ 2Q ⎞ ⎛ ∂2R ∂2 R ⎞
= ⎜− 2 − 2 ⎟i +⎜− 2 − 2 ⎟ j +⎜− 2 − 2 ⎟k +
⎝ ∂ y ∂ z⎠ ⎝ ∂ x ∂ z⎠ ⎝ ∂ x ∂ y⎠
⎛ ∂ 2Q ∂ 2 R ⎞ ⎛ ∂ 2 R ∂ 2 P ⎞ ⎛ ∂ 2 P ∂ 2Q ⎞
+⎜ + ⎟ ⎜
i + + ⎟ j + ⎜ + ⎟k +
⎝ ∂y∂x ∂z∂x ⎠ ⎝ ∂z∂y ∂x∂y ⎠ ⎝ ∂x∂z ∂y∂z ⎠
⎛ ∂ 2 P ∂ 2 P ⎞ ⎛ ∂ 2 Q ∂ 2Q ⎞ ⎛ ∂2R ∂2 R ⎞
+ ⎜ 2 − 2 ⎟i + ⎜ 2 − 2 ⎟ j + ⎜ 2 − 2 ⎟k =
⎝ ∂x ∂x ⎠ ⎝ ∂y ∂y ⎠ ⎝ ∂z ∂z ⎠
⎛ ∂ 2 P ∂ 2 P ∂ 2 P ⎞ ⎛ ∂ 2 Q ∂ 2Q ∂ 2Q ⎞ ⎛ ∂2 R ∂2 R ∂2 R ⎞
= ⎜− 2 − 2 − 2 ⎟i + ⎜− 2 − 2 − 2 ⎟ j + ⎜− 2 − 2 − 2 ⎟k +
⎝ ∂x ∂y ∂z ⎠ ⎝ ∂x ∂y ∂z ⎠ ⎝ ∂x ∂y ∂z ⎠
⎛ ∂ 2 P ∂ 2Q ∂ 2 R ⎞ ⎛ ∂ 2 P ∂ 2 Q ∂ 2 R ⎞ ⎛ ∂ 2 P ∂ 2Q ∂ 2 R ⎞
+⎜ 2 + + ⎟ ⎜
i + + + ⎟ j + ⎜ + + 2 ⎟k =
⎝ ∂x ∂y∂x ∂z∂x ⎠ ⎝ ∂x∂y ∂y 2 ∂z∂y ⎠ ⎝ ∂x∂z ∂y∂z ∂z ⎠
73
⎛ ∂2 ∂2 ∂2 ⎞ ∂ ⎛ ∂P ∂Q ∂R ⎞
⎝ ∂x ∂y ∂z ⎠
( )
= − ⎜ 2 + 2 + 2 ⎟ ⋅ Pi + Qj + Rk + ⎜ + + ⎟i +
∂x ⎝ ∂x ∂y ∂z ⎠
∂ ⎛ ∂P ∂Q ∂R ⎞ ∂ ⎛ ∂P ∂Q ∂R ⎞
+ ⎜ + + ⎟j+ ⎜ + + ⎟k =
∂y ⎝ ∂x ∂y ∂z ⎠ ∂z ⎝ ∂x ∂y ∂z ⎠
⎛ ∂P ∂Q ∂R ⎞
= −∇ 2u + ∇ ⎜ + + ⎟ = −∇ u + ∇ ( divu ) .
2
⎝ ∂x ∂y ∂z ⎠
74
CAPÍTULO IV
OS TEOREMAS DE GREEN, GAUSS E STOKES.
Seja K o retângulo {( x, y ) ∈ 2
/ a ≤ x ≤ b, c ≤ y ≤ d } e seja γ a fronteira de K
orientada no sentido anti-horário. Suponhamos que P ( x, y ) e Q( x, y ) sejam de classe
Demonstração:
Temos que
1) ∫γ Fdl =∫γ 1
Fdl + ∫ Fdl + ∫ Fdl + ∫ Fdl
γ2 γ3 γ4
Onde
b
∫γ Fdl = ∫
1 a
P( x, c)dx
d
∫γ 2
Fdl = ∫ Q(b, y )dy
c
a b
∫γ 3
Fdl = ∫ P( x, d )dx = − ∫ P( x, d )dx
b a
e por último
75
c d
∫γ 4
Fdl = ∫ Q(a, y )dy = − ∫ Q(a, y )dy
d c
b d b d
∫γ Fdl = ∫
γ 1 +γ 2 + γ 3 +γ 4
Fdl = ∫ P( x, c)dx + ∫ Q(b, y )dy − ∫ P( x, d )dx − ∫ Q(a, y )dy =
a c a c
= ( ∫ Q(b, y)dy − ∫ Q(a, y)dy ) − ( ∫ P( x, d )dx − ∫ P( x, c)dx ) = ∫∫ ⎜⎝⎛ ∂∂Qx − ∂∂Py ⎟⎠⎞dxdy
c
d d
c
b
a
b
a K
sobre uma curva fechada, orientada no sentido anti-horário. Com esta notação, a
igualdade a que se refere o teorema de Green se escreve
⎡ ∂Q ∂P ⎤
∫ γ Pdx + Qdy = ∫∫ ⎢⎣ ∂x − ∂y ⎥⎦dxdy
k
Seja K={( x, y ) ∈ 2
/ a ≤ x ≤ b, g1 (a ) ≤ y ≤ g 2 (b)} com g1, g 2 :[a, b] →
contínuas e a fronteira de K orientada no sentido anti-horário. Suponhamos que
P( x, y ) e Q( x, y ) sejam de classe C1 num aberto U contendo K. Então
⎡ ∂Q ∂P ⎤
∫γ Pdx + Qdy = ∫∫ ⎢⎣ ∂x − ∂y ⎥⎦dxdy
k
Demonstração:
76
Vamos utilizar o fato de que o Teorema vale para retângulos, para provar que
vale para este caso particular.
Seja
Φ(u, v) = (u, vg 2 (u )) + (1 − v) g 2 (u ))
Vamos novamente calcular a integral de linha
∫γ Fdl = ∫γ 1 +γ 2 +γ 3 +γ 4
Pdx + Qdy
0 2 1 2 1
1
• γ 3 (u ) = (u, g 2 (u )) e γ 3′ (u ) = (1, g 2′ (u ))
0 2 1 2 1
1
77
− ∫ dv ⎡⎣( Q(a, vg 2 (u ) + (1 − v) g1 (u )) ⋅ ( g 2 (u ) − g1 (u ) ) (a) ⎤⎦ .
1
Q(u , vg 2 (u ) + (1 − v) g1 (u )) ⋅ ( g 2 (u ) − g1 (u ) )
b 1
∫δ1 +δ2 +δ3 +δ4 Pdx + Qdy = ∫a du ⎡⎣ P(u, 0) − P(u,1) ⎤⎦ + ∫0 dv ⎡⎣Q(b, v) − Q(a, v) ⎤⎦ =
= ∫ du ⎡⎣( P (u, g1 (u ) + Q(u , g1 (u ) ) g1′(u ) − ( P(u, g 2 (u ) − Q(u , g 2 (u ) ⋅ g 2′ (u ) ) ⎤⎦ +
b
0 γ
⎡ ∂Q ∂P ⎤
∫γ Pdx + Qdy = ∫∫ Σ
⎢ − ⎥dudv
⎣ ∂x ∂y ⎦
com
∂Q ∂Q ⎛ ∂Q ∂x ∂Q ∂y ⎞
= ( g 2 − g1 ) + Q( g 2′ − g1′) = ⎜ + ⎟ ( g 2 − g1 ) + Q( g 2′ − g1′) =
∂u ∂u ⎝ ∂x ∂u ∂y ∂u ⎠
⎛ ∂Q ∂Q ⎞
⎜ + (vg 2′ + (1 − v) g1′ ) ⎟ ( g 2 − g1 ) + Q( g 2′ − g1′)
⎝ ∂x ∂y ⎠
∂P ∂P ∂Q
= + (vg 2′ + (1 − v) g1′) + Q( g 2′ − g1′) =
∂v ∂v ∂v
∂P ∂P ∂Q
= ⋅0 + ( g 2 − g1 ) + ( g 2 − g1 )(vg 2′ + (1 − v) g1′) + Q( g 2′ − g1′)
∂x ∂y ∂y
Fazendo
∂Q ∂P ∂Q ∂P ⎛ ∂Q ∂P ⎞
− = ( g 2 − g1 ) − ( g 2 − g1 ) = ⎜ − ⎟ ( g 2 − g1 )
∂u ∂v ∂x ∂y ⎝ ∂x ∂y ⎠
78
temos
⎡ ∂Q ∂P ⎤ ⎡⎛ ∂Q ∂P ⎞ ⎤ ⎡ ∂Q ∂P ⎤
∫∫ ⎢
Σ ∂x
− ⎥dudv = ∫∫ ⎢⎜ − ⎟ ( g 2 − g1 ) ⎥dudv = ∫∫ ⎢ − ⎥dxdy
⎣ ∂y ⎦ Θ
⎣⎝ ∂x ∂y ⎠ ⎦
Θ ∂x
⎣ ∂y ⎦
⎛ ∂x ∂x ⎞
⎜ ∂u ∂v ⎟ ⎛ 1 0 ⎞
J =⎜ ⎟=⎜ ⎟
⎜ ∂y ∂y ⎟ ⎝ vg 2′ + (1 − v) g1′ g 2 − g1 ⎠
⎜ ⎟
⎝ ∂u ∂v ⎠
det J φ = g 2 − g1
Logo, está demonstrado o teorema para uma superfície limitada por duas
funções e duas retas paralelas ao eixo y. O caso de uma superfície limitada por duas
funções e duas retas paralelas ao eixo x, prova-se de forma semelhante.
Seja K ⊂ 2
um compacto, com interior não-vazio cuja fronteira é a imagem de
uma curva γ : [ a, b ] → 2
, fechada, simples7, C1 por partes e orientada no sentido anti-
Demonstração:
Temos que todo conjunto nas condições descritas podem ser divididos em
subconjuntos do tipo descrito no teorema anterior.
7
i.e., sem auto-interseções.
79
Temos ainda que a integral de linha será apenas o valor na borda da figura
inicial, pois os valores das integrais de linha no interior da figura se anularam pelo fato
de estarem em sentidos opostos.
Temos que o membro da igualdade da integral será
n
⎡ ∂Q ∂P ⎤ ⎡ ∂Q ∂P ⎤
∑ ∫∫ ⎢ ∂x − ∂y ⎥dxdy = ∫∫k ⎢ ∂x − ∂y ⎥dxdy
i =1
ki
⎣ ⎦ ⎣ ⎦
E como vale
⎡ ∂Q ∂P ⎤
∫γ Pdx + Qdy = ∫∫
1 k1 ⎢ ∂x − ∂y ⎥dxdy ,
⎣ ⎦
temos que:
n n
⎡ ∂Q ∂P ⎤ ⎡ ∂Q ∂P ⎤
∫γ Pdx + Qdy = ∑ ∫ Pdx + Qdy = ∑ ∫∫ki ⎢ ∂x
− ⎥dxdy = ∫∫ ⎢
∂y ⎦
− ⎥dxdy
i =1
γ1
i =1 ⎣ k
⎣ ∂x ∂y ⎦
∫ γ (x − y 3 )dx + ( x3 − y 5 )dy
4
Resolução:
80
Pelo teorema de Green Temos
⎛ ∂Q ∂P ⎞
∫ γ (x − y 3 )dx + ( x3 − y 5 )dy = ∫∫ ⎜ − ⎟dxdy =
4
k
⎝ ∂x ∂y ⎠
⎛ ∂( x3 − y 5 ) ∂( x 4 − y 3 ) ⎞
= ∫∫ ⎜ − ⎟dxdy = ∫∫k ( 3 x − 3 y )dxdy
2 2
k
⎝ ∂x ∂y ⎠
Passando para coordenadas polares,
2π π
= 3∫∫ ( x 2 + y 2 )dxdy = ∫
2π 1 2π 1
k 0 ∫
0
ρ 3 d ρ dθ = ∫
0 4
dθ =
4
=
2
portanto B ⊄ 2
− (0, 0) . Logo o teorema de Green não se aplica a este exemplo.
U⊂ 2
e seja Σ um compacto, com interior não-vazio, contido em U , cuja fronteira é
imagem de uma curva fechada γ (t ) = ( x(t ), y (t )) , a ≤ t ≤ b , de classe C1 , simples,
regular e orientada no sentido anti-horário. Seja n a normal unitária exterior a Σ .
Mostre que vale:
81
Resolução:
∫ γ F ⋅ ndr = ∫
b
F (γ (t )), n (γ (t )) (γ ′(t )) dt
a
com
1
n ( y (t )) = ( y′(t )i − x′(t ) j ) .
γ ′(t )
Temos então
∫ γ F ⋅ ndr = ∫
b
⎡⎣ F ( x, y ) = Fx y′(t ) + Fy x′(t ) ⎤⎦dt
a
⎛ ∂Fx ∂Fy ⎞
∫ γ F ⋅ ndr = ∫γ − F dx + F dy = ∫∫ ⎜⎝ ∂x
y x
Σ
+
∂y ⎠
( )
⎟ dxdy = ∫∫Σ divF dxdy
82
4.2 Teorema da Divergência ou de Gauss para Paralelepípedos
∫∫σ F ⋅ n ⋅ dS = ∫∫∫
B
divFdxdydz
Demonstração:
Face 1 n = −eˆ3
b d
∫∫ F ⋅ n ⋅ ds = − ∫
1 a
dx ∫ dyFz ( x, y, e)
c
Face 2 n = eˆ3
83
b d
∫∫2
F ⋅ n ⋅ ds = ∫ dx ∫ dyFz ( x, y, f )
a c
Face 3 n = −eˆ1
d f
∫∫ F ⋅ n ⋅ ds = − ∫
3 c
dy ∫ dzFx (a, y, z )
e
Face 4 n = eˆ1
d f
∫∫ F ⋅ n ⋅ ds = ∫
4 c
dy ∫ dzFx (b, y, z )
e
Face 5 n = −eˆ2
b f
∫∫ F ⋅ n ⋅ ds = − ∫
5 a
dx ∫ dzFy ( x, c, z )
e
Face 6 n = eˆ2
b f
∫∫ F ⋅ n ⋅ ds = ∫
6 a
dx ∫ dzFy ( x, d , z )
e
F ⋅ n ⋅ ds = ∫ dx ∫ dyFz [ ( x, y, f ) − Fz ( x, y, e) ] +
b d
∫∫1+ 2 + 3+ 4 + 5+ 6 a c
+ ∫ dy ∫ dz [ Fx (b, y, z ) − Fx (a, y, z )] + ∫ dx ∫ dz ⎡⎣ Fy ( x, d , z ) − Fy ( x, c, z ) ⎤⎦ =
d f b f
c e a e
b d f ⎡ ∂F ∂Fy ∂F ⎤
= ∫ dx ∫ dy ∫ dz ⎢ x ( x, y, z ) + ( x, y, z ) + z ( x, y, z ) ⎥ = ∫∫∫ (divF )dxdydz
a c e
⎣ ∂x ∂y ∂z ⎦ V
Seja B={( x, y, z ) ∈ 3
/ a ≤ x ≤ b, c ≤ y ≤ d ,ψ 1 ≤ z ≤ ψ 2 } , com
∫∫σ F ⋅ n ⋅ dS = ∫∫∫ B
divFdxdydz
84
Vamos utilizar o fato de que o Teorema vale para paralelepípedos, para provar
que vale para este caso particular.
Seja
φ (u , v, t ) = (u, v, tψ 2 (u, v)) + (1 − v)ψ 1 (u, v))
Temos que
i j k
∂φ ∂φ ∂ψ 2 ∂ψ ⎛ ∂ψ 2 ∂ψ ∂ψ 2 ∂ψ ⎞
× =1 0 t + (1 − t ) 1 = ⎜ −t − (1 − t ) 1 , −t − (1 − t ) 1 ,1⎟
∂u ∂v ∂u ∂u ⎝ ∂u ∂u ∂v ∂v ⎠
∂ψ 2 ∂ψ 1
0 1 t + (1 − t )
∂v ∂v
Vamos calcular as integrais de superfície das faces de Θ :
⎛ ∂ψ ∂ψ ⎞
Face 1 t=0 n = ⎜ 1 , 1 , −1 ⎟
⎝ ∂u ∂u ⎠
⎡ ∂ψ ∂ψ ⎤
du ∫ dv ⎢( Fx (u , v,ψ 1 (u, v) ) 1 + ( Fy (u, v,ψ 1 (u, v) ) 1 − Fz (u, v,ψ 1 (u, v) ⎥
b d
∫∫ F ⋅ n ⋅ dS = ∫
1 a c
⎣ ∂u ∂v ⎦
⎛ ∂ψ 2 ∂ψ 2 ⎞
Face 2 t =1 n = ⎜− ,− ,1⎟
⎝ ∂u ∂u ⎠
∫∫ F ⋅ n ⋅ dS =
2
⎡ ∂ψ ∂ψ ⎤
= ∫ du ∫ dv ⎢ − ( Fx (u, v,ψ 2 (u, v) ) 2 − ( Fy (u , v,ψ 2 (u, v) ) 2 + Fz (u, v,ψ 2 (u , v) ⎥
b d
a c
⎣ ∂u ∂v ⎦
85
É importante notar dz = (ψ 2 −ψ 1 ) dt , pois temos
Face 3 n = −eˆ1
Face 4 n = eˆ1
Face 5 n = −eˆ2
Face 6 n = eˆ2
F = ( F1 , F2 , F3 )
Tal que
⎛ t ∂ψ 2 (u, v) ∂ψ (u, v) ⎞
F3 = − Fx (u, v, tψ 2 (u , v) + (1 − t )ψ 1 (u , v)) ⎜ + (1 − t ) 1 ⎟+
⎝ ∂u ∂u ⎠
⎛ t ∂ψ 2 (u , v) ∂ψ (u, v) ⎞
− Fy (u, v, tψ 2 (u, v) + (1 − t )ψ 1 (u , v)) ⎜ + (1 − t ) 1 ⎟+
⎝ ∂v ∂v ⎠
86
+ Fz (u, v, tψ 2 (u, v) + (1 − t )ψ 1 (u, v))
Queremos mostrar que as integrais de superfície nos dois sólidos são iguais. Para
isso vamos calcular a integral de superfície de Σ
Face 1 n = −eˆ3
b d
∫∫ 1
F ⋅ n ⋅ ds = − ∫ du ∫ dvF3 (u, v, 0) =
a c
⎛ ∂ψ (u, v) ⎞ ⎛ ∂ψ 1 (u, v) ⎞
= − ∫ du ∫ dvFx (u , v,ψ 1 (u, v)) ⎜ 1
b d
⎟ − Fy (u , v,ψ 1 (u , v)) ⎜ ⎟ + Fz (u, v,ψ 1 (u, v))
a c
⎝ ∂u ⎠ ⎝ ∂v ⎠
Face 2 n = eˆ3
b d
∫∫ 2
F ⋅ n ⋅ ds = ∫ du ∫ dvF3 (u, v,1) =
a c
b d ⎡ ⎛ ∂ψ (u, v) ⎞ ⎛ ∂ψ (u, v) ⎞ ⎤
= ∫ dx ∫ dy ⎢ − Fx (u, v,ψ 2 (u, v)) ⎜ 2 ⎟ − Fy (u , v,ψ 2 (u, v)) ⎜ 2 ⎟ + Fz (u, v,ψ 2 (u, v)) ⎥
a c
⎣ ⎝ ∂u ⎠ ⎝ ∂v ⎠ ⎦
Face 3 n = −eˆ1
d 1
∫∫ 3
F ⋅ n ⋅ ds = − ∫ dy ∫ dzF1 (a, v, t ) =
c 0
c 0
Face 4 n = eˆ1
d 1
∫∫ F ⋅ n ⋅ ds = ∫
4 c
dv ∫ dtF1 (b, v, t ) =
0
Face 5 n = −eˆ2
b f
∫∫ F ⋅ n ⋅ ds = − ∫
5 a
du ∫ dtF2 (u, c, t )
e
b 1
− ∫ du ∫ dt ⎡⎣ Fy (u, c, tψ 2 (u, c) + (1 − t )ψ 1 (u, c))(ψ 2 (u , c) −ψ 1 (u, c)) ⎤⎦
a 0
Face 6 n = eˆ2
b 1
∫∫ 6
F ⋅ n ⋅ ds = ∫ du ∫ dtF2 (u, d , t ) =
a 0
87
b 1
= ∫ du ∫ dtFy (u, d , tψ 2 (u, d ) + (1 − t )ψ 1 (u, d ))(ψ 2 (u, d ) −ψ 1 (u, d ))
a 0
∫∫ ∂Σ
F ⋅ n ⋅ dS = ∫∫ F ⋅ n ⋅ dS
∂Θ
1 b d
∫ 0
dt ∫ du ∫ dv(divF ) = ∫∫∫ (divF )dxdydz
a c ∂Θ
De fato:
1 0 0
Jφ = 0 1 0
∂ψ 2 ∂ψ ∂ψ 2 ∂ψ
t + (1 − t ) 1 t + (1 − t ) 1 ψ 2 −ψ 1
∂u ∂u ∂v ∂v
det J φ = ψ 2 −ψ 1
dxdydz = (ψ 2 −ψ 1 ) dudvdt
e temos
∂F3 ∂F ⎡ ∂ψ 2 ∂ψ ⎤ ⎛ ∂ψ 2 ∂ψ 1 ⎞
= − x (ψ 2 −ψ 1 ) ⎢t + (1 − t ) 1 ⎥ + Fx ⎜ − ⎟+
∂t ∂z ⎣ ∂u ∂u ⎦ ⎝ ∂u ∂u ⎠
∂Fy ⎡ ∂ψ 2 ∂ψ ⎤ ⎡ ∂ψ ∂ψ ⎤ ∂F
− (ψ 2 −ψ 1 ) ⎢t + (1 − t ) 1 ⎥ − Fy ⎢ 2 − 1 ⎥ + z (ψ 2 −ψ 1 )
∂z ⎣ ∂v ∂v ⎦ ⎣ ∂v ∂v ⎦ ∂z
88
∂F1 ∂F2 ∂F3 ∂Fx ∂Fy ∂F
divF = + + = (ψ 2 −ψ 1 ) + (ψ 2 −ψ 1 ) + z (ψ 2 −ψ 1 ) =
∂u ∂v ∂t ∂x ∂y ∂z
⎛ ∂F ∂Fy ∂Fz ⎞
=⎜ x + + ⎟ (ψ 2 −ψ 1 ) = (divF )(ψ 2 −ψ 1 )
⎝ ∂x ∂y ∂z ⎠
B = {( x, y, z ) ∈ 3
/ x 2 + y 2 ≤ 1, 0 ≤ z ≤ 1} , F ( x, y, z ) = xi + yj + z 2 k e na normal
apontando para fora de B .
89
Resolução:
Temos
⎡ 1 (2 + 2 z )dz ⎤ dxdy = 3dxdy
∫∫∫B divFdxdydz = ∫∫∫B (2 + 2 z ) dxdydz = ∫∫K ⎢⎣∫0 ⎥⎦ ∫∫K
Onde K é o círculo x 2 + y 2 ≤ 1 . Portanto
∫∫∫B
divFdxdydz = 3π .
Seja σ :K → 3
uma porção de superfície regular dada por
σ (u , v) = ( x(u, v), y (u, v), z (u, v)) onde x = x(u, v) , y = y (u, v) e z = z (u, v) são supostas
∫ Γ
(
Fdr = ∫∫ rotF ⋅ ndS
σ
)
Onde Γ é uma curva fronteira de σ orientada positivamente em relação à normal
∂σ ∂σ
×
n= ∂u ∂v
∂σ ∂σ
×
∂u ∂v
Temo então
90
⎛ ∂σ ∂σ ⎞
∫∫σ ( rotF ) ⋅ ndσ = ∫∫ K
rotF (σ (u , v)), ⎜ × ⎟ dydv
⎝ ∂u ∂v ⎠
com
i j k
⎛ ∂σ ∂σ ⎞ ∂x ∂y ∂z ⎛ ∂y ∂z ∂y ∂z ⎞ ⎛ ∂x ∂z ∂x ∂z ⎞ ⎛ ∂x ∂y ∂x ∂y ⎞
⎜ × ⎟= =⎜ − ⎟i + ⎜ − ⎟ j+⎜ − ⎟k =
⎝ ∂u ∂v ⎠ ∂u ∂u ∂u ⎝ ∂u ∂v ∂v ∂u ⎠ ⎝ ∂v ∂u ∂u ∂v ⎠ ⎝ ∂u ∂v ∂v ∂u ⎠
∂x ∂y ∂z
∂v ∂v ∂v
Logo, temos
⎡⎛ ∂R ∂Q ⎞ ⎛ ∂y ∂z ∂y ∂x ⎞ ⎛ ∂P ∂R ⎞ ⎛ ∂x ∂z ∂x ∂z ⎞ ⎤
∫∫σ ( rotF ) ⋅ ndσ = ∫∫ ⎢
K ⎜ ∂y
⎣⎝
− ⎟⋅⎜ − ⎟+⎜ − ⎟⋅⎜ − ⎟ ⎥ dudv +
∂z ⎠ ⎝ ∂u ∂v ∂v ∂u ⎠ ⎝ ∂z ∂x ⎠ ⎝ ∂v ∂u ∂u ∂v ⎠ ⎦
⎡⎛ ∂Q ∂P ⎞ ⎛ ∂x ∂y ∂x ∂y ⎞ ⎤
+ ∫∫ ⎢⎜ − ⎟⋅⎜ − ⎟ ⎥dudv =
⎣⎝ ∂x ∂y ⎠ ⎝ ∂u ∂v ∂v ∂u ⎠ ⎦
K
⎡ ∂P ⎛ ∂x ∂z ∂x ∂z ⎞ ∂P ⎛ ∂x ∂y ∂x ∂y ⎞ ∂Q ⎛ ∂x ∂y ∂x ∂y ⎞ ⎤
= ∫∫ ⎢ ⋅ ⎜ − ⎟− ⋅⎜ − ⎟+ ⋅⎜ − ⎟ ⎥ dudv +
K ∂z
⎣ ⎝ ∂v ∂u ∂u ∂v ⎠ ∂y ⎝ ∂u ∂v ∂v ∂u ⎠ ∂x ⎝ ∂u ∂v ∂v ∂u ⎠ ⎦
⎡ ∂Q ⎛ ∂y ∂z ∂y ∂z ⎞ ∂R ⎛ ∂y ∂z ∂y ∂z ⎞ ∂R ⎛ ∂x ∂z ∂x ∂z ⎞ ⎤
+ ∫∫ ⎢ − ⋅⎜ − ⎟+ ⋅⎜ − ⎟− ⋅⎜ − ⎟ ⎥dudv
K
⎣ ∂z ⎝ ∂u ∂v ∂v ∂u ⎠ ∂y ⎝ ∂u ∂v ∂v ∂u ⎠ ∂x ⎝ ∂v ∂u ∂u ∂v ⎠ ⎦
∂z ∂x
⎛ ∂x ∂z ∂x ∂z ⎞ ∂u ∂u ∂ ( z , x)
Note que ⎜ − ⎟= =
⎝ ∂v ∂u ∂u ∂v ⎠ ∂z ∂x ∂ (u, v)
∂v ∂v
Usaremos a última notação para representar os determinantes jacobianos.
⎡ ∂P ⎛ ∂ ( z , x) ⎞ ∂P ⎛ ∂ ( x, y ) ⎞ ∂Q ⎛ ∂ ( x, y ) ⎞ ⎤
∫∫σ ( rotF ) ⋅ ndσ = ∫∫⎢ ⋅
K ∂z ⎜ ∂ (u , v ) ⎟
⎣ ⎝
− ⋅⎜ ⎟+ ⋅⎜ ⎟ ⎥ dudv +
⎠ ∂y ⎝ ∂ (u , v) ⎠ ∂x ⎝ ∂ (u , v) ⎠ ⎦
⎡ ∂Q ⎛ ∂ ( y, z ) ⎞ ∂R ⎛ ∂ ( y, z ) ⎞ ∂R ⎛ ∂ ( z , x) ⎞ ⎤
+ ∫∫ ⎢ − ⋅⎜ ⎟+ ⋅⎜ ⎟− ⋅⎜ ⎟ ⎥dudv
K
⎣ ∂z ⎝ ∂ (u , v ) ⎠ ∂y ⎝ ∂ (u , v ) ⎠ ∂x ⎝ ∂ (u , v ) ⎠⎦
91
Faremos a seguinte substituição
⎡ ∂P ⎛ ∂ ( z , x) ⎞ ∂P ⎛ ∂ ( x, y ) ⎞ ⎤
A = ⎢ ⋅⎜ ⎟− ⋅⎜ ⎟⎥
⎣ ∂z ⎝ ∂ (u , v) ⎠ ∂y ⎝ ∂ (u , v) ⎠ ⎦
⎡ ∂Q ⎛ ∂ ( x, y ) ⎞ ∂Q ⎛ ∂ ( y, z ) ⎞ ⎤
B=⎢ ⋅⎜ ⎟− ⋅⎜ ⎟⎥
⎣ ∂x ⎝ ∂ (u , v ) ⎠ ∂z ⎝ ∂ (u , v) ⎠ ⎦
⎡ ∂R ⎛ ∂ ( y, z ) ⎞ ∂R ⎛ ∂ ( z , x) ⎞ ⎤
C = ⎢ ⋅⎜ ⎟− ⋅⎜ ⎟⎥
⎣ ∂y ⎝ ∂ (u , v) ⎠ ∂x ⎝ ∂ (u, v) ⎠ ⎦
Logo a integral resume-se a
As derivadas parciais são calculadas no ponto σ (u, v) = ( x(u, v), y (u, v), x(u, v)) e os
determinantes jacobianos no ponto (u , v) .
De fato, temos
b dx
∫Γ
Pdx = ∫ P(σ (u (t ), v(t ))
a dt
dt
dx ∂x du ∂x dv
= +
dt ∂u dt ∂v dt
92
O que resulta
b⎡ ∂x ∂x ⎤
∫Γ Pdx = ∫a ⎢⎣ P(σ (u(t ), v(t )) ∂u du + P(σ (u (t ), v(t )) ∂v dv ⎥⎦
⎡∂ ⎛ ∂x ⎞ ∂ ⎛ ∂x ⎞ ⎤
∫Γ
Pdx = ∫∫ ⎢ ⎜ P (σ (u (t ), v(t )) ⎟ − ⎜ P(σ (u (t ), v(t )) ⎟ ⎥dudv
K ∂u
⎣ ⎝ ∂v ⎠ ∂v ⎝ ∂u ⎠ ⎦
∂ ⎛ ∂x ⎞ ⎡ ∂P ∂x ∂P ∂y ∂P ∂z ⎤ ∂x ∂2 x
⎜ σ ⎟ = + + + σ =
∂v ⎠ ⎢⎣ ∂x ∂u ∂y ∂u ∂z ∂u ⎥⎦ ∂v
P ( (u (t ), v (t )) P ( (u , v ))
∂u ⎝ ∂u∂v
∂P ∂x ∂x ∂P ∂x ∂y ∂P ∂x ∂z ∂2 x
= + + + P(σ (u , v))
∂x ∂u ∂v ∂y ∂v ∂u ∂z ∂v ∂u ∂u∂v
e
∂ ⎛ ∂x ⎞ ⎡ ∂P ∂x ∂P ∂y ∂P ∂z ⎤ ∂x ∂2 x
⎜ P(σ (u (t ), v(t )) ⎟ = ⎢ + + + P(σ (u , v)) =
∂v ⎝ ∂u ⎠ ⎣ ∂x ∂v ∂y ∂v ∂z ∂v ⎥⎦ ∂u ∂v∂u
∂P ∂x ∂x ∂P ∂x ∂y ∂P ∂x ∂z ∂2 x
= + + + P(σ (u , v))
∂x ∂u ∂v ∂y ∂u ∂v ∂z ∂u ∂v ∂v∂u
∂ ⎛ ∂x ⎞ ∂ ⎛ ∂x ⎞
⎜ P(σ (u (t ), v(t )) ⎟ − ⎜ P(σ (u (t ), v(t )) ⎟ =
∂u ⎝ ∂v ⎠ ∂v ⎝ ∂u ⎠
∂P ⎛ ∂x ∂z ∂x ∂z ⎞ ∂P ⎛ ∂x ∂y ∂x ∂y ⎞ ∂P ⎛ ∂x ∂z ∂x ∂z ⎞ ∂P ⎛ ∂x ∂y ∂x ∂y ⎞
= ⎜ − ⎟+ ⎜ − ⎟= ⎜ − ⎟− ⎜ − ⎟=
∂z ⎝ ∂v ∂u ∂u ∂v ⎠ ∂y ⎝ ∂v ∂u ∂u ∂v ⎠ ∂z ⎝ ∂v ∂u ∂u ∂v ⎠ ∂y ⎝ ∂u ∂v ∂v ∂u ⎠
∂P ⎛ ∂ ( z , x) ⎞ ∂P ⎛ ∂ ( x, y ) ⎞
= ⋅⎜ ⎟− ⋅⎜ ⎟= A
∂z ⎝ ∂ (u, v) ⎠ ∂y ⎝ ∂ (u, v) ⎠
93
Note que
∂P ∂x ∂x ∂P ∂x ∂x ∂2 x ∂2 x
= e P (σ (u, v)) = P(σ (u, v)) por Schwartz.
∂x ∂u ∂v ∂x ∂u ∂v ∂u∂v ∂v∂u
∫Γ
Pdx = ∫∫ Adudv
K
∫ Qdy =∫∫
Γ K
Bdudv
∫Γ
Rdz = ∫∫ Cdudv
K
94
Exemplo 5: Calcule ∫∫σ ( rotF ) ⋅ ndS onde F ( x, y, z ) = yi + ( x + y )k ,
∫Γ
( )
Fdr = ∫∫ rotF ⋅ ndS
σ
Temos
2π 2π
∫Γ
Fdr = ∫ ⎡⎣ senti + (cos t + sent )k ⎤⎦ ⎡⎣ − senti + cos tj ⎤⎦ dt = ∫ − sen 2tdt .
0 0
Como
2π 2π ⎡ 1 1 ⎤
∫0
− sen 2tdt = − ∫ ⎢ − cos 2t ⎥ dt = −π
0
⎣2 2 ⎦
95
CONCLUSÕES
O intuito deste trabalho é estudar temas não vistos durante a minha formação
acadêmica, aprofundar-se em alguns conceitos já conhecidos e satisfazer algumas
curiosidades que tinha.
O enfoque foi neste conteúdo, pois tinha uma curiosidade a respeito do cálculo
vetorial, devido a minha formação de técnico em telecomunicações, eletromagnetismo
em específico. O trabalho proporcionou-me também uma busca em temas de diversas
áreas da matemática como: Análise, Álgebra Linear, Cálculos, Softwares Matemáticos
entre outras, além de um fortalecimento na minha formação de matemático.
Outro dos objetivos foi de organizar e descrever de forma mais clara possível os
teoremas e definições de forma que se tenha um material de auxilio para o estudo do
cálculo vetorial.
Por fim, venho destacar a importância de disciplinas que possibilitem ao
acadêmico, buscar respostas e satisfazer suas curiosidades a respeito da matemática e do
ensino da matemática.
96
REFERÊNCIAS BILBIOGRÁFICAS
97