Integrais de linha de um campo escalar

Anatolie Sochirca ACM DEETC ISEL
1
INTEGRAIS DE LINHA DE UM CAMPO ESCALAR.
(Integrais de linha de
a
1 espcie)

1. Representao paramtrica de uma linha. Conceito de trajectria.

Seja dada uma funo vectorial de varivel real, continua,
[ ]
3
, : ) ( R R b a t r .
Portanto
)) ( ), ( ), ( ( ) , , ( ) ( t t t z y x t r = =
onde )) ( ), ( ), ( ( t t t so as coordenadas de um ponto ) (t P , isto ,

+ + = k t j t i t t r ) ( ) ( ) ( ) ( .

A funo )) ( ), ( ), ( ( ) ( t t t t r = recebe o nome de trajectria e
=
=
=
), (
), (
), (
t z
t y
t x
[ ] b a t ,
a representao paramtrica da trajectria.
Se a funo )) ( ), ( ), ( ( ) ( t t t t r = de classe
1
C em [ ] b a, , ento existe e continua

+ + = = k t j t i t t t t t r ) ( ) ( ) ( )) ( ), ( ), ( ( ) (
e
2 2 2
)) ( ( )) ( ( )) ( ( ) ( t t t t r + + = .

Analogamente, se a funo vectorial continua de varivel real
[ ]
2
, : ) ( R R b a t r , ento
)) ( ), ( ( ) , ( ) ( t t y x t r = =
onde )) ( ), ( ( t t so as coordenadas de um ponto ) (t P , isto ,

+ = j t i t t r ) ( ) ( ) ( .
A funo )) ( ), ( ( ) ( t t t r = recebe o nome de trajectria e
=
=
), (
), (
t y
t x
[ ] b a t ,
a representao paramtrica da trajectria.
Se a funo )) ( ), ( ( ) ( t t t r = de classe
1
C em [ ] b a, , ento existe e continua

+ = = j t i t t t t r ) ( ) ( )) ( ), ( ( ) (
e
2 2
)) ( ( )) ( ( ) ( t t t r + = .

Definio 1.1. Se a funo )) ( ), ( ), ( ( ) ( t t t t r = de classe
1
C em [ ] b a, e ) (t r
nunca se anula, dizemos que )) ( ), ( ), ( ( ) ( t t t t r = uma trajectria regular em
3
R .
Definio 2.1. Se a funo )) ( ), ( ( ) ( t t t r = de classe
1
C em [ ] b a, e ) (t r nunca
se anula, dizemos que )) ( ), ( ( ) ( t t t r = uma trajectria regular
2
R .

A trajectria ser seccionalmente regular se a podermos decompor num nmero finito
de trajectrias regulares.

2
Nota 1.1. Uma trajectria no plano Oxy , )) ( ), ( ( ) , ( ) ( t t y x t r = = , regular se
) 0 , 0 ( )) ( ), ( ( ) ( = t t t r , isto , existe a recta tangente em qualquer ponto
)) ( ), ( ( ) , ( t t y x = .

Exemplo 1.1.
a) A elipse 1
2
2
2
2
= +
b
y
a
x
.

A representao paramtrica da elipse [ ] 2 , 0
,
, cos
=
=
t
bsent y
t a x
.
Portanto ) cos , ( ) , ( t b asent y x = e a equao
0 ) ( ) (
2 2
= + y x ou 0 cos
2 2 2 2
= + t b t sen a no tem raizes reais, isto , a elipse uma
trajectria regular.

b) A astride
3
2
3
2
3
2
a y x = + .

A representao paramtrica da astride [ ] 2 , 0
,
, cos
3
3
=
=
t
t asen y
t a x
.
Portanto ) cos 3 , cos 3 ( ) , (
2 2
t t sen a sent t a y x = e a equao
0 ) ( ) (
2 2
= + y x ou 0 cos 9
2 2 2
= t t sen a tem no segmento [ ] 2 , 0 quatro raizes
reais,
2
3
, ,
2
, 0

= = = = t t t t isto , a astride uma trajectria seccionalmente

regular e pode ser decomposta em quatro trajectrias regulares:
1)
(
=
=
2
, 0
,
, cos
3
3
t
t asen y
t a x
;

2)
(
=
=
,
2

,
, cos
3
3
t
t asen y
t a x
;

3

3)
(
=
=
2
3
,
,
, cos
3
3
t
t asen y
t a x
;

4)
(
=
=
2 ,
2
3

,
, cos
3
3
t
t asen y
t a x
.

Na trajectria ) (t r o ponto ) (a r recebe o nome de origem e o ponto ) (b r o
nome de extremidade e se ) ( ) ( b r a r = teremos uma trajectria fechada.
Se ) (t r uma trajectria fechada no plano a podermos percorrer em dois
sentidos:
a) Positivo, em contrario dos ponteiros do relgio (a trajectria fica sempre do lado
esquerdo);
b) Negativo, em direco dos ponteiros do relgio (a trajectria fica sempre do
lado direito);

A trajectria ) (t r ser simples se [ ] b a t t t r t r , , ), ( ) (
2 1 2 1
, excepto da
trajectria ser fechada, isto , ) , ( , ), ( ) (
2 1 2 1
b a t t t r t r e ) ( ) ( b r a r = com ) (a r
origem (extremidade) e ) (b r extremidade (origem).
Se [ ] b a t t t t t t t r t r t r
k k k
, , , , ; com ), ( ) ( ) (
2 1 2 1 2 1
= = = L L L o ponto
da trajectria diz-se de multiplicidade k .
Definio 3.1. Duas trajectrias [ ]
3
1
, : ) ( R R b a t r e [ ]
3
2
, : ) ( R R d c t r
( [ ]
2
1
, : ) ( R R b a t r e [ ]
2
2
, : ) ( R R d c t r ) so equivalentes se existir uma
bijeco crescente [ ] [ ] d c b a , , : tal que = o
2 1
r r .

A astride
3
2
3
2
3
2
a y x = + , quando percorrida no sentido positivo, pode ser
dada pelas trajectrias:
[ ] 2 , 0 ), , cos ( ) (
3 3
1
= t t asen t a t r ;
ou por
[ ] , 0 ), 2 , 2 cos ( ) (
3 3
2
= t t asen t a t r ;
e quando percorrida no sentido negativo, pode ser dada pelas trajectrias:
2 - at 0 de ), , cos ( ) (
3 3
3
t t sen a t a t r = ;
ou por
- at 0 de ), 2 , 2 cos ( ) (
3 3
4
t t sen a t a t r = .
As trajectrias ) ( e ) (
2 1
t r t r so equivalentes. Neste caso a bijeco crescente
[ ] [ ] , 0 2 , 0 :
12
dada por
2
) (
12
t
t = (ou [ ] [ ] 2 , 0 , 0 :
21
dada por
t t 2 ) (
21
= ).
4 3
t r t r so equivalentes. Neste caso a bijeco crescente
[ ] [ ] 0 , 0 , 2 :
34
dada por
2
) (
34
t
t = (ou [ ] [ ] 0 , 2 0 , :
43
dada por
t t 2 ) (
21
= ).

4
3 1
t r t r no so equivalentes. Neste caso a bijeco
[ ] [ ] 0 , 2 2 , 0 :
13
dada por t t = ) (
13
(ou [ ] [ ] 2 , 0 0 , 2 :
31
dada por
t t = ) (
31
). Ambas bijeces so decrescentes, as trajectrias so percorridas nos
sentidos opostos.
Nota 2.1. Duas trajectrias equivalentes sempre representam a mesma linha.
Duas trajectrias no equivalentes tambm podem representar a mesma linha.

2. Comprimento de uma linha.
2.1 Generalidades.
Seja L
)
uma linha simples no espao
3
R com a origem A e a extremidade B .
Efectuemos uma partio de L
)
com os pontos: B M M M M M A M
n n
= =

, , , , , ,
1 3 2 1 0
L
(Figura 1).

Figura 1.

Unindo os pontos vizinhos na linha por segmentos de recta, obtemos uma linha
poligonal, constituda pelos segmentos
n n n n
M M M M M M M M M M
1 1 2 3 2 2 1 1 0
, , , , ,

L .
Denotamos por l o comprimento da linha poligonal e por
i
l o comprimento do
segmento
i i
M M
1
. Ento
=
=
n
i
i
l l
1
. Seja ) ( max
1
i
n i
l l

= .
Definio 1.2. O limite L dos comprimentos das linhas poligonais, inscritas na linha
L
)
, quando o comprimento mximo dos segmentos, l , tende para o zero, diz-se o
comprimento da linha L
)
.
De outro modo temos: L o comprimento da linha L
)
, se 0 0 > > tal que
< l implica < L l e denota-se
=

=
n
i
i
l
l L
1
0
lim .
Se L finito, a linha L
)
diz-se rectificvel.

2.2 Comprimento de uma linha em
2
R (reviso).

a) Seja L
)
um arco de uma linha plana com origem A e extremidade B , dada
explicitamente por frmula ) (x f y = , com ) (x f , ) (x f continuas no segmento [ ] b a,
e B b f A a f = = ) ( , ) ( . Demonstraremos que o comprimento l do arco L
)
dado por

5
dx x f l
b
a
+ =
2
)) ( ( 1 .
Efectuemos uma partio do arco L
)
com os pontos:
B M M M M M A M
n n
= =

, , , , , ,
1 3 2 1 0
L , e denotamos por
1 3 2 1
, , , ,
n
x x x x L as
abcissas dos pontos da partio, tal que b x x x x x x a
n n
= < < < < < < =
1 3 2 1 0
L
(Figura 2 a)).

figura 2
O comprimento da linha poligonal soma dos comprimentos dos todos segmentos
inscritos na linha. Consideremos o segmento
i i
M M
1
(Figura 2 b)). O comprimento
do segmento
. )) ( ) ( ( ) (
) ( ) ( ) ( ) (
2
1
2
1
2
1
2
1
2 2
1

+ =
= + = + =
i i i i
i i i i i i i i
x f x f x x
y y x x y x M M

Na base do teorema de Lagrange temos que
) )( ( ) ( ) (
1 1
=
i i i i i
x x f x f x f
com
i i i
x x < <

1
. Portanto, substituindo sob radical, temos
. )) ( ( 1
)) ( ( 1 ) ( ) ( )) ( ( ) (
2
2
1
2
1
2 2
1 1
i i
i i i i i i i i i i
x f
f x x x x f x x M M
+ =
= + = + =

Ento o comprimento da linha poligonal
=
+ =
n
i
i i p
x f L
1
2
)) ( ( 1
e na base da definio 1.2 temos
+ =
n
i
i i
M M
x f l
i i
1
2
0 max
)) ( ( 1 lim
1
.
Mas se 0
1

i i
M M , ento e 0
i
x , e reciprocamente: se 0 ) max(
i
x , ento
0
1

i i
M M . Daqui resulta que
=

+ =
n
i
i i
x
x f l
i
1
2
0 max
)) ( ( 1 lim (1)

6
A expresso (1) pode ser considerada como limite da soma integral da funo
2
)) ( ( 1
i
f + , e porque
2
)) ( ( 1
i
f + uma funo continua em [ ] b a, , o limite
existe, finito e temos
dx x f l
b
a
+ =
2
)) ( ( 1 . (2)

Exemplo 1.2. Calcular o comprimento do arco da linha e x x x y = 1 , ln
2
1
4
1
2
.
Resoluo.
Temos
x
x y
x
2
1
2
1
= e aplicando a frmula dx x f l
b
a
+ =
2
)) ( ( 1 obtemos
( ). 1
4
1
1 ln
2
1
ln
2 2
1
ln
2 2
1 1
2
1 1
2
1 1
2
2
1
4
1
2
1
4
1
4
1
2
1
2
1
2
4
1
1
2
1
2
1
1
2
2
1
2
1 1
2
1
2
2
1
2
2
1
2
2
1
2
+ =
|
|
\
|
+ =
=
|
|
\
|
+ =
|
\
|
+ =
|
\
|
+ = + + =
= + + = + + = |
\
|
+ =

e e
e
x
x
dx
x
x dx
x
x dx
x
x
dx
x
x dx
x x
x x dx
x
x l
e
e e e
e e e

b) Analisemos o caso quando o arco L
)
dado pela representao paramtrica
=
=
), (
), (
t y
t x
[ ] , t
onde b a = = ) ( , ) ( .
Substituindo na frmula (2)
) (
) (
, ) ( ), (
t
t
y dt t dx t x
x
= = =
obtemos
dt t t dt t
t
t
dx x f l
b
a

+ =
|
|
\
|
+ = + =
2 2
2
2
)) ( ( )) ( ( ) (
) (
) (
1 )) ( ( 1 .
Portanto
dt t t l
+ =

2 2
)) ( ( )) ( ( . (3)

Exemplo 2.2. Calcular o comprimento da astride
3
2
3
2
3
2
a y x = + .

Resoluo.
A representao paramtrica da astride [ ] 2 , 0
,
, cos
3
3
=
=
t
t asen y
t a x
.
Temos

7
t t asen y sent t a x
t t
cos 3 , cos 3
2 2
= = .
Levando em conta a simetria da astride e relao aos eixos de coordenadas e
aplicando a frmula dt t t l
+ =

2 2
)) ( ( )) ( ( obtemos
. 6
2
12
) ( 12 cos 3 4 ) (cos cos 9 4
cos 9 cos 9 4 ) cos 3 ( ) cos 3 ( 4
2
0
2
2
0
2
0
2
0
2 2 2 2 2
2
0
2 4 2 2 4 2
2
0
2 2 2 2
a
t sen
a
sent d sent a dt sent t a dt t sen t t sen t a
dt t t sen a t sen t a dt t t asen sent t a l
=
|
|
\
|
=
= = = + =
= + = + =

Nota 1.2 A frmula (3) foi obtida considerando que ) (x f continua em [ ] b a, . Mas
porque
) (
) (
t
t
y
x
= , resulta que ) (x f ser continua se ) ( e ) ( t t so continuas em

[ ] , .

c) Analisemos o caso quando o arco L
)
dado pela representao em
coordenadas polares = ), ( . Recordamos que as relaes entre as
coordenadas ortogonais e as coordenadas polares so

, ) (
, cos ) (
=
=

sen y
x
(4)
Considerando as relaes (4) como representao paramtrica do arco e que
) ( funo de classe
1
C em [ ] , , podemos calcular o comprimento do arco
aplicando a frmula (3). Fazendo

, ) ( ) (
, cos ) ( ) (
= =
= =

sen t y
t x

temos:
. cos ) ( ) ( ) (
, ) ( cos ) ( ) (

+ =
=
sen t
sen t

Ento
. )) ( ( )) ( ( ) cos ) ( ( ) cos ) ( ) ( 2 ) ) ( (
) ) ( ( cos ) ( ) ( 2 ) cos ) ( (
) cos ) ( ) ( ( ) ) ( cos ) ( ( )) ( ( )) ( (
2 2 2 2 2
2 2
2 2 2 2

+ = + + +
+ + =
= + + = +
sen sen
sen sen
sen sen t t

Substituindo em (3) obtemos

d l
+ =
2 2
)) ( ( )) ( ( . (5)

8

Exemplo 3.2. Calcular o comprimento da primeira espira da espiral de Arquimedes
dada em coordenadas polares por ) 0 ( > = a a r .

espiral de Arquimedes
Resoluo.

A primeira espira da espiral de Arquimedes corresponde [ ] 2 , 0 . Temos
a r =
e aplicando a frmula
d l
+ =
2 2
)) ( ( )) ( ( obtemos
. 1 ) (
2
0
2
2
0
2 2

d a d a a l

+ = + =
Integrando por partes ( ( ) dU V V U dV U
b
a
b
a
b
a

= ) fazemos d dV U = + = , 1
2

e ento
=
+
= V d dU ,
1
2
.
Portanto
( )
=
+
+
+
+
+ =
=
+
+
+ =
+
+ = +

d d
d d d
2
0
2
2
0
2
2
2
2
0
2
2
2
2
0
2
2
2
0
2
2
0
2
1
1
1
1
1 4 2
1
1 1
1 4 2
1
1 1

( )
. ) 1 4 2 ln( 1 1 4 2
) 1 ln( 1 1 4 2
2
2
0
2 2
2
0
2
2
0
2 2
+ + + + + =
= + + + + + =
d
d

Obtemos a relao
) 1 4 2 ln( 1 1 4 2 1
2
2
0
2 2
2
0
2
+ + + + + = +

d d .

9
Resolvendo em relao
+
2
0
2
1 temos
( ) ) 1 4 2 ln( 1 4 2
2
1
1
2 2
2
0
2
+ + + + = +
d
e portanto
( ) ) 1 4 2 ln( 1 4 2
2
1
2 2
2
0
2
+ + + + = + =
a
d a l .

2.3 Comprimento de uma linha em
3
R .

Seja L
)
uma linha, com origem A e extremidade B , no espao
3
R e
=
=
=
), (
), (
), (
t z
t y
t x
[ ] , t (6)
a representao paramtrica da linha, onde )) ( ), ( ), ( ( = A e
)) ( ), ( ), ( ( = B
Teorema1.2. Se as funes ) ( e ) ( ), ( t z t y t x = = = so de classe
1
C
em [ ] , , ento a linha L
)
dada na representao paramtrica (6) rectificvel e tem
o comprimento
dt t t t l
+ + =

2 2 2
)) ( ( )) ( ( )) ( ( . (7)

Demonstrao. No inicio demonstraremos que a linha L
)
rectificvel. Seja
= < < < < < =
n n
t t t t t
1 2 1 0
L uma partio arbitrria T do segmento [ ] , .
Denotemos por B M M M M M A M
n n
= =

, , , , , ,
1 3 2 1 0
L (Figura 1) os pontos
correspondentes na linha L
)
. Obtemos uma linha poligonal, constituda pelos segmentos
n n n n
M M M M M M M M M M
1 1 2 3 2 2 1 1 0
, , , , ,

L
correspondente a partio considerada T do segmento [ ] , . Assim como o
comprimento do segmento
i i
M M
1

[ ] [ ] [ ]
2
1
2
1
2
1
) ( ) ( ) ( ) ( ) ( ) ( ) (

+ + =
i i i i i i i
t t t t t t t l
obtemos que o comprimento da linha poligonal
[ ] [ ] [ ]

=

=
+ + = =
n
i
i i i i i i
n
i
i
t t t t t t t l T l
1
2
1
2
1
2
1
1
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( . (8)
Porque as funes ) ( e ) ( ), ( t z t y t x = = = so derivveis em [ ] , , na base
do teorema de Lagrange temos:

i i i i
t t t =

) ( ) ( ) (
1
com
1
=
i i i
t t t e
i i i
t t < <

1
;
i i i i
t t t =

) ( ) ( ) (
*
1
com
1
=
i i i
t t t e
i i i
t t < <
*
1
;
i i i i
t t t =

) ( ) ( ) (
* *
1
com
1
=
i i i
t t t e
i i i
t t < <
* *
1
.
Substituindo as relaes obtidas na parte direita de (8) obtemos

10
[ ] [ ] [ ] ; ) ( ) ( ) ( ) ( ) (
1
2 * * 2 * 2
1

= =
+ + = =
n
i
i i i i
n
i
i
t t t t l T l
[ ] [ ] [ ] . ) ( ) ( ) ( ) (
1
2 * * 2 * 2
i
n
i
i i i
t T l + + =

=
(9)
Levando em conta que as funes ) ( e ) ( ), ( t z t y t x = = = so de classe
[ ] ,
1
C , isto , ) ( e ) ( ), ( t t t so continuas em [ ] , , resulta que existe
+
R k , tal que [ ] , t tem-se k t k t k t ) ( e ) ( , ) ( e da frmula
(9) vem
) ( 3 3 ) ( 0
1 1
2 2 2
= = + + < <

= =
k t k t k k k T l
n
i
i i
n
i
.
Porque T uma partio arbitrria, resulta que o conjunto { } ) (T l dos comprimentos
das todas linhas poligonais inscritas em L
)
limitado e portanto a linha L
)

rectificvel. Denotamos por l o comprimento desta linha e demonstramos que o
comprimento dela pode ser calculado com utilizao da frmula (7).
Reparamos que a parte direita da frmula (9) semelhante a soma integral
{ } [ ] [ ] [ ]
i
n
i
i i i i i
t t I + + =

=1
2 2 2
) ( ) ( ) ( , (10)
para a funo [ ] [ ] [ ]
2 2 2
) ( ) ( ) ( t t t + + , correspondente a partio T do segmento
[ ] , com
i i i
t t < <

1
(
i
determinados na base do teorema de Lagrange aplicada
a funo ) (t x = ).
Demonstraremos que 0 0 > > tal que para < ( ) max(
1
i
n i
t

= ) tem-se
2
) (

< I T l , (11)
onde
{ } dt t t t t I I
i i

+ + = =

2 2 2
0
)) ( ( )) ( ( )) ( ( , lim (limite das somas integrais (10)).
Temos
{ }
[ ] [ ] [ ] [ ] [ ] [ ]
i
n
i
i i i i
n
i
i i i
i i
t t
t I T l
+ + + + =
=

= = 1
2 2 2
1
2 * * 2 * 2
) ( ) ( ) ( ) ( ) ( ) (
, ) (

[ ] [ ] [ ] [ ] [ ] [ ] ( )
[ ] [ ] [ ] [ ] [ ] [ ] = + + + +
+ + + + =
=
=
i
n
i
i i i i i i
n
i
i i i i i i i
t
t
1
2 2 2 2 * * 2 * 2
1
2 2 2 2 * * 2 * 2
) ( ) ( ) ( ) ( ) ( ) (
) ( ) ( ) ( ) ( ) ( ) (

[ ] [ ] [ ] [ ] [ ] [ ]
[ ] [ ] [ ] [ ] [ ] [ ]
=
+ + + + +
+ +
=

=
i
n
i
i i i i i i
i i i i i i
t
1
2 2 2 2 * * 2 * 2
2 2 2 2 * * 2 * 2
) ( ) ( ) ( ) ( ) ( ) (
) ( ) ( ) ( ) ( ) ( ) (


11

[ ] [ ] [ ] [ ]
[ ] [ ] [ ] [ ] [ ] [ ]

+ + + + +
+
=

=
i
n
i
i i i i i i
i i i i
t
1
2 2 2 2 * * 2 * 2
2 2 2 * * 2 *
) ( ) ( ) ( ) ( ) ( ) (
) ( ) ( ) ( ) (

[ ] [ ]
[ ] [ ] [ ] [ ] [ ] [ ]
+
+ + + + +

=
i
n
i
i i i i i i
i i
t
1
2 2 2 2 * * 2 * 2
2 2 *
) ( ) ( ) ( ) ( ) ( ) (
) ( ) (

[ ] [ ]
[ ] [ ] [ ] [ ] [ ] [ ]

+ + + + +

+
=
i
n
i
i i i i i i
i i
t
1
2 2 2 2 * * 2 * 2
2 2 * *
) ( ) ( ) ( ) ( ) ( ) (
) ( ) (

[ ] [ ]
[ ] [ ]
+
+

=
i
n
i
i i
i i
t
1
2 2 *
2 2 *
) ( ) (
) ( ) (

[ ] [ ]
[ ] [ ]
=
+

=
i
n
i
i i
i i
t
1
2 2 * *
2 2 * *
) ( ) (
) ( ) (

[ ] [ ] [ ] [ ]
=
+

+
+

=

= =
i
n
i
i i
i i
i
n
i
i i
i i
t t
1
* *
2 2 * *
1
*
2 2 *
) ( ) (
) ( ) (
) ( ) (
) ( ) (

=
+
+
+
+
+
=

= =
i
n
i
i i
i i i i
i
n
i
i i
i i i i
t t
1
* *
* * * *
1
*
* *
) ( ) (
) ( ) ( ) ( ) (
) ( ) (
) ( ) ( ) ( ) (

+ =

= =
i
n
i
i i i
n
i
i i
t t
1
* *
1
*
) ( ) ( ) ( ) (

( ) ( ) ( ) ( )

s S s S t m M t m M
i
n
i
i i i
n
i
i i
+ = +

= = 1 1

onde
( ) ) ( max
i i
M
= , ( ) ) ( min
i i
m
= , ( ) ) ( max
i i
M
= e ( ) ) ( min
i i
m
= para
i i i
t t < <

1
;

s S s S e , , so as somas de Darboux das funes ) (
i
e ) (
i

correspondentes a partio T do segmento [ ] , .
Portanto temos demonstrado que
{ } ( ) ( )

s S s S t I T l
i i
+ , ) ( (12)
Da continuidade das funes ) ( e ) ( ), ( t t t em [ ] , resulta
integrabilidade das funes [ ] [ ] [ ]
2 2 2
) ( ) ( ) ( t t t + + , ) ( e ) ( t t . Levando
em conta as definies das somas de Darboux e a definio do integral definido temos
que 0 0 > > tal que para < ( ) max(
1
i
n i
t

= ) tem-se
{ }
4
,

< I t I
i i
,
8

< s S e
8

< s S . (13)

12
Portanto com < na base de (12) e (13) obtemos
{ } { }
{ } { } ,
2 8 8 4
, , ) (
, , ) ( ) (

= + + < +
+ =
I t I t I T l
I t I t I T l I T l
i i i i
i i i i

isto , temos demonstrado a relao (11) (significa que 0 > existe uma linha
poligonal o comprimento da qual difere do integral
dt t t t I
+ + =

2 2 2
)) ( ( )) ( ( )) ( (
com
2
).
A seguir demonstraremos que no conjunto das linhas poligonais os
comprimentos das quais verificam a relao (11) existam linhas os comprimentos das
quais diferem do comprimento l da linha L
)
com um valor inferior
2
.
Porque l o valor mximo do conjunto { } ) (T l dos comprimentos das todas
linhas poligonais inscritas em L
)
, resulta que exista uma partio
*
T do segmento
[ ] , , tal que o comprimento ) (
*
T l da linha poligonal correspondente verifica a
relao
2
) ( 0
*

< T l l . (14)
Na continuao partimos cada segmento [ ]
i i
t t ,
1
da partio
*
T para obter uma partio
T do segmento [ ] , com < . bvio, que o comprimento ) (T l da linha
poligonal correspondente a partio T verifica a relao (11). Porque todos vrtices da
linha poligonal correspondente a partio
*
T so vrtices da linha poligonal
correspondente a partio T facilmente se verifica que l T l T l < ) ( ) ( 0
*
e utilizando
a relao (14) obtemos
2
) ( 0

< T l l . (15)
Ento de (11) e (15) obtemos: 0 0 > > tal que para < temos

= + < + + =
2 2
) ( ) ( ) ( ) ( I T l T l l I T l T l l I l .
Porque escolhido arbitrariamente conclumos que
{ } dt t t t t I I l
i i

+ + = = =

2 2 2
0
)) ( ( )) ( ( )) ( ( , lim .
O teorema esta demonstrado.

Nota 2.2 Se as derivadas das funes ) ( e ) ( ), ( t z t y t x = = = so limitadas
em [ ] , , ento a linha L
)
dada por representao paramtrica (6) rectificvel.
Nota 3.2 A frmula (7) verdadeira se as derivadas ) ( e ) ( ), ( t t t so
definidas e integrveis em [ ] , .
Nota 4.2 Sendo L
)
uma linha simples, rectificvel, com origem A e extremidade B ,
no espao
3
R e

13
=
=
=
), (
), (
), (
t z
t y
t x
[ ] , t
a representao paramtrica dela, onde )) ( ), ( ), ( ( = A e
)) ( ), ( ), ( ( = B , o comprimento do arco com origem A e extremidade
)) ( ), ( ), ( ( t t t P calculado por
dt t t t t l
t
+ + =

2 2 2
)) ( ( )) ( ( )) ( ( ) ( (16)
ou

d t l
t
+ + =
2 2 2
)) ( ( )) ( ( )) ( ( ) ( . (16.1)
Nota 5.2 bvio que os resultados obtidos em
3
R , analogamente, podem ser
demonstrados se L
)
uma linha, com origem A e extremidade B , no espao
2
R e
=
=
), (
), (
t y
t x
[ ] , t
a representao paramtrica dela, onde )) ( ), ( ( = A e )) ( ), ( ( = B .
O comprimento do arco com origem A e extremidade )) ( ), ( ( t t P calculado por
dt t t t l
t
+ =

2 2
)) ( ( )) ( ( ) ( (17)
ou

d t l
t
+ =
2 2
)) ( ( )) ( ( ) ( . (17.1)

Exemplo 4.2. Calcular o comprimento da linha helicoidal cnica
, , ) ( ) ( ) cos ( ) ( R t k ae j sent ae i t ae t r
t t t
+ + =

desde o ponto ) 0 , 0 , 0 ( O at o ponto ) , 0 , ( a a A .
Resoluo.
Facilmente conclumos que o ponto ) , 0 , ( a a A corresponde 0 = t .
Observamos que
) 0 , 0 , 0 ( 0 0 0 ) ( ) ( ) cos ( lim ) ( lim = + + =
|
\
|
+ + =

k j i k ae j sent ae i t ae t r
t t t
t t
,
isto , o ponto ) 0 , 0 , 0 ( O corresponde t .
Porque
( )
t t t
ae t sent ae sent t ae t z t y t x t r ), cos ( ), (cos )) ( ), ( ), ( ( ) ( + = =
obtemos
= + + + =

dt e a t sent e a sent t e a l
t t t
0
2 2 2 2 2 2 2 2
) cos ( ) (cos

. 3 ) ( lim 3 ) ( lim 3 lim 3 3 3
0
0
0 0 0
2 2
a e e a e a dt e a dt e a dt e a
c
c c
t
c
c
t
c
t t
= = =
|
|
\
|
= = =


14
3. Integrais de linha de
a
1 espcie.
(Integrais de linha de um campo escalar).

3.1. Definio do integral de linha de
a
1 espcie.

Seja L
)
uma linha simples, rectificvel no espao
3
R com a origem A e a
extremidade B dada pela representao paramtrica
=
=
=
), (
), (
), (
t z
t y
t x
[ ] , t
e ) , , ( z y x f uma funo real de varivel vectorial definida sobre L
)
. Fazemos uma
partio P do segmento [ ] , por
= < < < < < =
n n
t t t t t
1 2 1 0
L
e seja { } B M M M M A M T
n n
= = =

, , , , ,
1 2 1 0
L a partio correspondente da linha
L
)
, onde )) ( ), ( ), ( (
i i i i
t t t M = . Denotamos por
i
l o comprimento do arco
i i
M M
1

e seja
i
n i
l l =
1
max . Escolhemos, arbitrariamente, os pontos
n i M M N
i i i i i i
, , 1 , ) , , (
1
L = =

e denotamos { }
n n
N N N N N , , , ,
1 2 1
= L .
Definio 1.3.
=
=
n
i
i i i i
l f N P I
1
) , , ( ) , ( chama-se soma integral de Riemann
da funo ) , , ( z y x f sobre a linha L
)
, correspondente partio P e aos pontos
intermedirios
n n
N N N N , , , ,
1 2 1
L .

Definio 2.3. O nmero I chama-se limite das somas integrais de Riemann
quando 0 l , se 0 0 > > tal que para qualquer partio T da linha L
)
(ou
para qualquer partio P do segmento [ ] , ) com < l e para qualquer escolha dos
pontos
i
N se tem < I N P I ) , ( .

Definio 3.3. Se existir o limite finito I N P I
l
=

) , ( lim
0
, ento o nmero I chama-se
integral de linha de
a
1 espcie da funo ) , , ( z y x f ao longo da linha L
)
e denota-se
por
dl z y x f
L
)
) , , ( .
Se a linha L
)
no fechada e tem origem A e extremidade B , ento o integral pode ser
denotado por
dl z y x f
AB
) , , ( .
Nota 1.3. Analogamente definimos o integral de linha de
a
1 espcie da funo
) , ( y x g ao longo da linha
2
R L
)
e denotamo-lo por
dl y x g
L
)
) , ( ou dl y x g
AB
) , (
Nota 2.3. Na base da definio 2.3. e definio 3.3. conclumos que pela definio

15
=
=
n
i
i i i i
l
AB
l f dl z y x f
1 0
) , , ( ) , , (
lim
(18)

=
=
n
i
i i i
l
AB
l g dl y x g
1 0
) , ( ) , (
lim
(18.1)

3.2. Propriedades dos integrais de linha de
a
1 espcie.

De (18), levando em conta as propriedades do limite, obtm-se as seguintes
propriedades dos integrais de linha de
a
1 espcie:

P1. O valor do integral de linha de
a
1 espcie no depende de direco de integrao ao
longo da linha, isto ,
dl z y x f dl z y x f
BA AB

= ) , , ( ) , , (
P2. Linearidade: Com R b a , tem-se:

( ) dl z y x f b dl z y x f a dl z y x f b z y x f a
AB AB AB

+ = + ) , , ( ) , , ( ) , , ( ) , , (
2 1 2 1
.

P3. Aditividade: Se C um ponto da linha AB ento:

dl z y x f dl z y x f dl z y x f
CB AC AB

+ = ) , , ( ) , , ( ) , , ( .
P4. Monotonia: Se ) , , ( ) , , (
2 1
z y x f z y x f em qualquer ponto da linha AB ento:

dl z y x f dl z y x f
AB AB

) , , ( ) , , (
2 1
.
P5. Se em qualquer ponto da linha AB se tem 1 ) , , ( = z y x f ento o integral
AB
dl
igual ao comprimento l da linha AB (
=
AB
dl l ).

P6. dl z y x f dl z y x f
AB AB

) , , ( ) , , ( .

Definio 4.3. A funo ) , , ( z y x f diz-se continua no ponto M da linha AB , se para
qualquer sucesso de pontos da linha AB L L , , , , ,
1 2 1 n n
M M M M

convergente para
M , se tem ) ( ) (
lim
M f M f
n
n
=

.
Definio 5.3. A funo ) , , ( z y x f diz-se continua sobre a linha AB se continua
em todos pontos desta linha e diz-se seccionalmente continua sobre a linha AB se
continua em todos pontos desta linha com excepo de um nmero finito de pontos que
so pontos de descontinuidade de primeira espcie.


16
P7. Teorema do valor mdio: Se a funo ) , , ( z y x f continua sobre a linha AB ,
ento exista pelo menos um ponto ) , , ( N da linha AB tal que
l f dl z y x f
AB
=
) , , ( ) , , (
onde l o comprimento da linha AB .

3.3. Clculo dos integrais de linha de
a
1 espcie.

Seja ) , , ( z y x f uma funo real de varivel vectorial continua sobre a linha AB
e
=
=
=
), (
), (
), (
t z
t y
t x
[ ] , t
a representao paramtrica dela, onde as funes ) ( e ) ( ), ( t t t so de classe
1
C
em [ ] , , com )) ( ), ( ), ( ( = A e )) ( ), ( ), ( ( = B .
Para qualquer ponto ) (t M da linha AB o comprimento )) ( ( t M l do arco AM
dado por
dt t t t t s t M l
t
+ + = =

2 2 2
)) ( ( )) ( ( )) ( ( ) ( )) ( ( . (19)
Ento
0 )) ( ( )) ( ( )) ( ( ) ( )) ( (
2 2 2
= + + = =
dt t t t A l M l

e
l dt t t t B l M l = + + = =

2 2 2
)) ( ( )) ( ( )) ( ( ) ( )) ( ( ,
onde l o comprimento da linha AB .

A funo ) (t s s = continua e crescente em [ ] , . Quando t cresce de at , s
cresce de 0 at l . Por conseguinte a funo ) (t s s = bijectiva e podemos considerar
t como funo de s ( ) (s t t = ). Deste modo podemos considerar s como parmetro de

17
qual dependem as coordenadas do ponto M (figura 2) e obter outra representao
paramtrica da linha AB :
=
=
=
), (
), (
), (
s z z
s y y
s x x
[ ] l s , 0 .

Portanto )) ( ), ( ), ( ( ) , , ( s z s y s x f z y x f = com [ ] l s , 0 .
Calculemos a soma integral desta funo em [ ] l , 0 .
Na soma
n
i
i i i i
l f
1
) , , ( temos
) ( ), ( ), (
i i i i i i
y x = = ,
i i i i i
s t s s t s = =

) ( ) (
1 1
e
1
=
i i i
s s s .
Portanto

= =
=
n
i
i i i i
n
i
i i i i
s z y x f l f
1 1
)) ( ), ( ), ( ( ) , , ( . (20)
A parte esquerda de (20) representa a soma integral da funo ) , , ( z y x f ao longo da
linha AB e a parte direita representa a soma integral da funo de uma varivel
)) ( ), ( ), ( (
i i i
z y x f no segmento [ ] l , 0 . Passando para o limite quando 0 l ,
obtemos
ds s z s y s x f dl z y x f
l
AB

=
0
)) ( ), ( ), ( ( ) , , ( . (21)
Portanto podemos concluir que o integral de
a
1 espcie da funo ) , , ( z y x f ao longo
da linha AB exista se:
a) a funo ) , , ( z y x f continua sobre a linha AB ;
b) as funes ) ( ), ( ), ( t z t y t x = = = da representao paramtrica da
linha so de classe
1
C em [ ] , , com )) ( ), ( ), ( ( = A e
)) ( ), ( ), ( ( = B .

De (21) resulta que o clculo de um integral de linha de
a
1 espcie reduz-se ao clculo
de um integral definido de uma funo composta de uma varivel: no integral definido
do frmula (21) substitumos a varivel s por ) (t s e na base de (19) temos
dt t t t t s d
2 2 2
)) ( ( )) ( ( )) ( ( )) ( ( + + = .
Portanto
. )) ( ( )) ( ( )) ( ( ))) ( ( )), ( ( )), ( ( (
)) ( ), ( ), ( ( ) , , (
2 2 2
0
dt t t t t s z t s y t s x f
ds s z s y s x f dl z y x f
l
AB

+ + =
= =

Ou
dt t t t t t t f dl z y x f
AB
2 2 2
)) ( ( )) ( ( )) ( ( )) ( ), ( ), ( ( ) , , (
+ + =

. (22)
Generalizando os resultados obtidos temos:


18
Teorema 1.3 Se AB uma linha seccionalmente regular dada pela representao
paramtrica (6), e ) , , ( z y x f seccionalmente continua ao longo de AB , ento o
integral dl z y x f
AB
) , , ( exista, independente de representao paramtrica e tem-se:

dt t t t t t t f dl z y x f
AB
2 2 2
)) ( ( )) ( ( )) ( ( )) ( ), ( ), ( ( ) , , (
+ + =

Nota 2.3. Em particular:
a) Se AB uma linha plana dada pela representao paramtrica

=
=
), (
), (
t y
t x
[ ] , t
ento
dt t t t t f dl y x f
AB
2 2
)) ( ( )) ( ( )) ( ), ( ( ) , (
+ =

(22.1)
b) Se AB uma linha plana dada em coordenadas cartesianas por ) (x g y = com
[ ] b a x , , onde )) ( , ( a g a A = e )) ( , ( b g b B = (figura 3), ento considerando x como
parmetro obtemos uma representao paramtrica de AB :

=
=
), (
,
x g y
x x
[ ] b a x , .

Portanto de (22.1) obtemos:

dx x g x g x f dl y x f
b
a AB
2
)) ( ( 1 )) ( , ( ) , ( + =

(22.2)

c) Se AB uma linha plana dada em coordenadas polares por

=
=
, ) (
, cos ) (

sen r y
r x
[ ] ,
e ) ( r de classe
1
C em [ ] , ento

19
. )) ( ( )) ( ( ) ) ( , cos ) ( ( ) , (
2 2

d r r sen r r f dl y x f
AB
+ =

(22.3)
c) Se L uma linha plana fechada, ento
L
dl y x f ) , ( diz-se circulao de ) , ( y x f
em L .

Exemplo 1.3. Calcular dl y
AB
2
, onde AB o primeiro arco da ciclide (figura 4)
=
=
), cos 1 (
), (
t a y
sent t a x
[ ] 2 , 0 t .

Resoluo.

AB uma linha plana dada por representao paramtrica, portanto para
calcular o integral aplicaremos a frmula (22.1).

Temos sent a t y t a t x = = ) ( ), cos 1 ( ) ( e portanto
= = + + =
= + =

dt t t a dt sent t t t a
dt sent a t a t a dl y
AB
cos 2 2 ) cos 1 ( cos cos 2 1 ) cos 1 (
) cos 1 ( ) cos 1 (
2
0
2 3 2 2
2
0
2 3
2 2 2 2
2
0
2 2 2

=
|
\
|
=
|
\
|
=
=
|
\
|
= =

)
2
(cos
2
cos 1 16
2 2
8
2
2
2
2 2 cos 2 2 ) cos 1 (
2
0
2
2 3
2
0
2
2 3
2
2
0
2
2 3
2
0
2 3
t
d
t
a dt
t
sen
t
sen a
dt
t
sen
t
sen a dt t t a

.
15
256
)
5
1
3
2
1 ( )
5
1
3
2
1 ( 16
2
cos
5
1
2
cos
3
2
2
cos 16 )
2
(cos
2
cos
2
cos 2 1 16
3 3
2
0
5 3 3
2
0
4 2 3
a a
t t t
a
t
d
t t
a
= |
\
|
+ + =
= |
\
|
+ = |
\
|
+ =


20
Exemplo 2.3. Calcular dl y x
AB
+ ) ( , onde AB o lao da direita da lemniscata de

Bernoulli 2 cos
2 2
a r = .

Resoluo.

A equao da linha impe a condio 0 2 cos e para o lao da direita temos
2
2
2
, isto ,
4 4
. Tomemos como parmetro o ngulo .

Utilizando as relaes entre as coordenadas cartesianas e polares
sen r y r x = = , cos , e levando em conta que 2 cos 2 cos
2 2
a r a r = =
obtemos a seguinte representao paramtrica do lao da direita da lemniscata de
Bernoulli:
=
=
, 2 cos
, cos 2 cos

sen a y
a x

4 4

Para calcular o integral aplicaremos a frmula (22.1):
Temos
;
2 cos
3
2 cos
2 cos cos 2
2 cos
2 cos
cos 2
) (
|
|
\
|
=
|
|
\
|
+
=
=
|
|
\
|

sen
a
sen sen
a
sen
sen
a x

;
2 cos
3 cos
2 cos
cos 2 cos 2
cos 2 cos
2 cos 2
2 2
) (
|
|
\
|
=
|
|
\
|
+
=
=
|
|
\
|
+

=
a
sen sen
a
sen sen
a y

2 cos 2 cos
3 cos
2 cos
3
)) ( ( )) ( (
2 2 2 2 2
2 2
a a sen a
y x = + = + .
Portanto

21
= + =
= + = +
d sen a
d
a
sen a a dl y x
AB
2 cos
1
) 2 cos cos 2 cos (
2 cos
) 2 cos cos 2 cos ( ) (
4
4
2
2 4
4

( ) . 2
2
2
2
2
2
2
2
2
cos ) cos (
2 2
4
4
2
4
4
2
a a sen a d sen a =
(
(
|
|
\
|

|
|
\
|
= = + =

Exemplo 3.3. Calcular dl z y
L
+
2 2
2 , onde L a circunferncia da figura 5 dada

por
=
= + +
;
,
2 2 2 2
x y
a z y x

Resoluo. Determinemos a representao paramtrica da circunferncia. Seja
) , , ( z y x M um ponto qualquer da circunferncia. Denotamos por o ngulo antre o
raio OM e a recta y x = do plano xOy . Traamos a recta perpendicular que passa por
) , , ( z y x M e denotamos por N o ponto de interseco desta recta com a recta y x = do
plano xOy . Ento

sen OM z sen ON y ON x = = = ,
4
,
4
cos e cos = a ON .

Portanto obtemos a seguinte representao paramtrica da circunferncia:


22
=
=
=
,
, cos
2
2
, cos
2
2
sen a z
a
y
a
x
[ ] 2 , 0 . Portanto
=
=
=
, cos ) (
,
2
2
) (
,
2
2
) (

a z
sen
a
y
sen
a
x
[ ] 2 , 0

Aplicando a frmula (22) obtemos:

. 2
cos
2 2
cos 2
2
0
2 2
2 2 2
2
2
2 2
0
2 2 2 2 2 2

= =
= + + + = +

a d a
d a sen
a
sen
a
a sen a dl z y
L

3.4. Aplicaes dos integrais de linha de
a
1 espcie em Fsica.

Seja AB uma linha em
3
R . Consideremos um fio com espessura desprezvel
que tem a forma da linha AB e densidade linear ) , , ( z y x , onde ) , , ( z y x um ponto
de AB .

1) A Massa m de um fio:

dl z y x m
AB
= ) , , ( .

2) Os momentos estticos de um fio em relao aos planos Oxy Ozx Oyz , , :

dl z y x x M
AB
z y O

= ) , , ( ; dl z y x y M
AB
x z O

= ) , , ( ; dl z y x z M
AB
y x O

= ) , , ( .

3) As coordenadas do centro de massa de um fio:

;
) , , (
) , , (
dl z y x
dl z y x x
m
M
x
AB
AB
z y O
c
= =
;
) , , (
) , , (
dl z y x
dl z y x y
m
M
y
AB
AB
x z O
c
= =

;
) , , (
) , , (
dl z y x
dl z y x z
m
M
z
AB
AB
y x O
c
= =


23
4) Os momentos de inrcia de um fio:

Os momentos de inrcia do fio so dados por

[ ] dl z y x S z y x M d I
AB
S

= ) , , ( ) ), , , ( (
2
,

onde S um plano, ou uma recta, ou um ponto e ) ), , , ( ( S z y x M d a distncia de um
ponto ) , , ( z y x M do fio S .

Em particular temos os momentos de inrcia:
4.1) em relao aos planos y x O x z O z y O , , :

dl z y x x I
AB
z y O

= ) , , (
2
; dl z y x y I
AB
x z O

= ) , , (
2
; dl z y x z I
AB
y x O

= ) , , (
2
.

4.2) em relao aos eixos Oz Oy Ox , , :

dl z y x z y I I I
AB
y x O x z O x O

+ = + = ) , , ( ) (
2 2
;

dl z y x z x I I I
AB
y x O z y O y O

+ = + = ) , , ( ) (
2 2
;

dl z y x y x I I I
AB
z x O z y O z O

+ = + = ) , , ( ) (
2 2
.

4.3) em relao a origem do sistema de coordenadas (momento de inrcia
polar) :

dl z y x z y x I I I I
AB
y x O z x O z y O O

+ + = + + = ) , , ( ) (
2 2 2
.
Para um fio com espessura desprezvel que tem a forma de uma linha plana
2
R AB ( Oxy AB ) e densidade linear ) , ( y x , onde ) , ( y x um ponto de AB ,
temos frmulas anlogas:

5) A Massa m de um fio:

dl y x m
AB
= ) , ( .
6) Os momentos estticos de um fio em relao aos eixos , , Ox Oy :

dl y x x M
AB
y O

= ) , ( ; dl y x y M
AB
x O

= ) , ( ;


24
7) As coordenadas do centro de massa de um fio:
;
) , (
) , (
dl y x
dl y x x
m
M
x
AB
AB
y O
c
= =
;
) , (
) , (
dl y x
dl y x y
m
M
y
AB
AB
x O
c
= =

8) Os momentos de inrcia de um fio:
Os momentos de inrcia do fio so dados por

[ ] dl y x S y x M d I
AB
S

= ) , ( ) ), , ( (
2
,
onde S uma recta, ou um ponto e ) ), , ( ( S y x M d a distncia de um ponto ) , ( y x M
do fio S .
Em particular temos os momentos de inrcia:

8.1) em relao aos eixos Oy Ox, :

dl y x x I
AB
y O

= ) , (
2
; dl y x y I
AB
x O

= ) , (
2
;

8.2) em relao a origem do sistema de coordenadas (momento de inrcia
polar) :
dl y x y x I I I
AB
y O x O O

+ = + = ) , ( ) (
2 2
.
9) O movimento de um fluido.
Seja { } ) , ( ), , ( ) , ( y x v y x u y x c c = =
a velocidade de um fluido incompressvel com

espessura desprezvel num ponto ) , ( y x M . Determinaremos a quantidade Q de fluido
que sai (numa unidade de tempo) da regio plana G limitada de um contorno regular
L .
Para determinar a quantidade Q, fazemos uma partio de L em m arcos
m
l .
Denotemos por:
k
l o comprimento de
k
l ;
k
n
o vector unitrio normal a linha L no ponto

k k k k
l t s N ) , ( orientado para o
exterior de G (figura 6);
k
Q a quantidade de fluido que saiu da regio G (entrou na regio G ) numa
unidade de tempo por arco
m
l .

Obviamente, quando 0
k
l ,
k
Q
a rea do paralelogramo com os lados
k
l e
k
c , onde { }
k k k
v u c , = ,
) , (
k k k
t s u u = e ) , (
k k k
t s v v = . Portanto
) (

=
k k k k
n c l Q . Se o produto

25
interno

k k
n c positivo, o fluido sai da regio G pelo arco
k
l ( 0 >
k
Q ) e com

k k
n c negativo o fluido entra na regio G pelo arco
k
l ( 0 <
k
Q ).
Considerando a soma

=

=

=
= =
m
k
k k k
m
k
k k k
m
k
k
l n c n c l Q
1 1 1
) ( ) ( e passando
para o limite quando 0 ) max(
k
l obteremos
dl n c Q
L

= ) | ( ,
onde
n o vector unitrio normal a linha L no ponto L y x M ) , ( , orientado para o

exterior da regio G .

Nota 3.3. Recorda-se que se a funo R R D f : dada por representao
paramtrica

=
=
), (
), (
t y y
t x x
[ ] , t ,
ento o vector )) ( ), ( ( ) ( t x t y t n =
com [ ] [ ] 0 ( ) (
2 2
+ t y t x diz-se normal ao
grfico da funo ) (x f y = no ponto )) ( ), ( ( t y t x M , isto , ) (t n
o vector director da
recta, que passa pelo ponto )) ( ), ( ( t y t x M , perpendicular recta tangente ao grfico da
funo ) (x f y = no ponto )) ( ), ( ( t y t x M .

Exemplo 4.3. Calcular a massa de um fio que tem a forma da linha L dada por
( ) ( )
2 2 2
2
3
2 2
y x a y x = + , se a densidade linear
2 2
) , ( y x y x + = .

Resoluo.
Temos que y O x L e porque dl y x m
L
= ) , ( vem dl y x m
L
+ =
2 2
.
Determinemos a representao de L em coordenadas polares ) (t r r = ( 0 r e
[ ] 2 , 0 t ). Porque a relao entre as coordenadas cartesianas e as coordenadas polares
t sen r y t r x = = , cos obtemos:
( ) ( ) ( ) ( ) = + = + t sen r t r a t sen r t r y x a y x
2 2 2 2 2
2
3
2 2 2 2 2 2 2
2
3
2 2
cos cos

( ) ( ) = = + ) (cos cos cos
2 2 2 2 3 2 2 2 2 2
2
3
2 2 2 2
t sen t r a r t sen r t r a t sen r t r

) 2 cos(
2
t a r = .
Porque 0 r conclumos que 0 ) 2 cos( t e portanto temos
(
=

2 ,
4
7
4
5
,
4
3
4
, 0 U U T t .


26
Para calcular ou integral dl y x m
L
+ =
2 2
apliquemos a frmula
. )) ( ( )) ( ( ) ) ( , cos ) ( ( ) , (
2 2

d r r sen r r f dl y x f
AB
+ =

Temos
) 2 ( 3 1 ) 2 ( 4 ) 2 ( cos )) ( ( )) ( (
2 2 2 4 2 4 2 2
t sen a t sen a t a r r + = + = + ;

) 2 cos(
2 2 2
t a r y x = = + .
Ento
= + = + = + =

) 2 ( ) 2 ( 3 1
2
) 2 ( 3 1 ) 2 cos(
2
4
2 2 2 2 2
t sen d t sen
a
dt t sen a t a dl y x m
T t T t L

+ + = + =

) 2 3 ( ) 2 ( 3 1
3 2
) 2 3 ( ) 2 ( 3 1
3 2
4
0
2
4
2
4
t sen d t sen
a
t sen d t sen
a
T t

) 2 3 ( ) 2 ( 3 1
3 2
) 2 3 ( ) 2 ( 3 1
3 2
2
4
7
2
4 4
5
4
3
2
4
t sen d t sen
a
t sen d t sen
a

+ + + +
.
Calculemos, integrando por partes, [ ] [ ] ) ( ) ( 1
2
t g d t g
. ( )

=
VdU V U UdV
[ ]
[ ]
[ ]
[ ] ) (
) ( 1
) (
) ( 1
2
2
t g d
t g
t g
dU t g U
+
= + = ; [ ] ) ( ) ( t g V t g d dV = = .
Portanto

[ ] [ ] [ ]
[ ]
[ ]
[ ] =
+
|
\
|
+ = +

) (
) ( 1
) (
) ( 1 ) ( ) ( ) ( 1
2
2
2 2
t g d
t g
t g
t g t g t g d t g

[ ]
[ ]
[ ]
[ ] =
+
+
|
\
|
+ =
) (
) ( 1
1 ) ( 1
) ( 1 ) (
2
2
2
t g d
t g
t g
t g t g

[ ] ( )
[ ]
[ ]
[ ]
[ ]
[ ] =
+
+
+
+
+ =

) (
) ( 1
1
) (
) ( 1
) ( 1
) ( 1 ) (
2 2
2
2
t g d
t g
t g d
t g
t g
t g t g

[ ] ( ) [ ] [ ] [ ]

\
|
+ + + + + =
2 2 2
) ( 1 ) ( ln ) ( ) ( 1 ) ( 1 ) ( t g t g t g d t g t g t g ,
e daqui
[ ] [ ] [ ] [ ] . ) ( 1 ) ( ln ) ( 1 ) (
2
1
) ( ) ( 1
2 2 2
\
|
+ + + + = +
t g t g t g t g t g d t g
Ento, substituindo t sen t g 2 3 ) ( = , obtemos

27
+ |
\
|
+ + + + = + =
4
0
2 2
4
2 2
) 2 ( 3 1 ) 2 ( 3 ln ) 2 ( 3 1 ) 2 ( 3
3 4
t sen t sen t sen t sen

a
dl y x m
L

+ |
\
|
+ + + + +
4
5
4
3
2 2
4
) 2 ( 3 1 ) 2 ( 3 ln ) 2 ( 3 1 ) 2 ( 3
3 4

a

= |
\
|
+ + + + +
2
4
7
2 2
4
) 2 ( 3 1 ) 2 ( 3 ln ) 2 ( 3 1 ) 2 ( 3
3 4
a

( ) ( )+ + + + + + + = ) 2 3 ln( ) 2 3 ln( 3 4
3 4
) 2 3 ln( 3 2
3 4
4 4
a a

( ) ( ) = + + + = + + ) 2 3 ln( 2 ) 2 3 ln( 2 3 8
3 4
) 2 3 ln( 3 2
3 4
4 4
a a

( ) =
+
+
+ = + + + =
2 3
2 3
ln
3 2
2 ) 2 3 ln( ) 2 3 ln(
3 2
2
4
4
4
4
a
a
a
a

). 2 3 ln(
3
2 ) 2 3 ln(
3 2
2
) 2 3 )( 2 3 (
) 2 3 )( 2 3 (
ln
3 2
2
4
4 2
4
4
4
4
+ + = + + =
+ +
+ +
+ =
a
a
a
a
a
a

Exemplo 5.3. Determinar as coordenadas do centro de massa da primeira espira L da
hlice circular cilndrica, dada por

=
=
=
, ) (
, ) (
, cos ) (
bt t z
asent t y
t a t x
[ ] 2 , 0 t ;
com densidade linear constante.

Resoluo.

Temos
; ) , , (
1
dl x
m
dl z y x x
m
x
L L
c

= =

; ) , , (
1
dl y
m
dl z y x y
m
y
L L
c

= =

; ) , , (
1
dl z
m
dl z y x z
m
z
L L
c

= =

= =
L L
dl dl z y x m ) , , ( .

Com aplicao de frmula (22) temos:


28
. 2 cos
2 2
2
0
2 2
2
0
2 2 2 2 2
b a dt b a dt b t a t sen a dl m
L
+ = + = + + = =

= + = + + =

dt b a t a
m
dt b t a t sen a t a
m
x
c

2
0
2 2
2
0
2 2 2 2 2
cos cos cos

; 0 ) ( cos
2
0
2 2 2
0
2 2
=
+
=
+
=

sent
m
b a a
dt t
m
b a a

= + = + + =

dt b a sent a
m
dt b t a t sen a sent a
m
y
c

2
0
2 2
2
0
2 2 2 2 2
cos

; 0 ) cos (
2
0
2 2 2
0
2 2
=
+
=
+
=

t
m
b a a
dt sent
m
b a a

= + = + + =

dt b a t b
m
dt b t a t sen a t b
m
z
c

2
0
2 2
2
0
2 2 2 2 2
cos

.
2
2 2
2
2 2
2 2 2 2 2 2
2
0
2 2 2 2
0
2 2
=
+
+
=
+
=
|
|
\
| +
=
+
=
b
b a
b a b
m
b a b t
m
b a b
dt t
m
b a b

Exemplo 6.3. Calcular os momentos de inrcia em relao aos eixos de coordenadas da
primeira espira da hlice cilndrica dada por
=
=
=
,
2
1
) (
, ) (
, cos ) (
t t z
sent t y
t t x
[ ] 2 , 0 t ;
com densidade linear constante.

Resoluo.

Porque a densidade linear constante temos:
dl z y dl z y I
AB AB
x O

+ = + = ) ( ) (
2 2 2 2
,
dl z x dl z x I
AB AB
y O

+ = + = ) ( ) (
2 2 2 2
,
dl y x dl y x I
AB AB
z O

+ = + = ) ( ) (
2 2 2 2
,


29
onde t d t d t t sen l d
2
1 4
4
1
cos
2
2
2 2
+
= + + = .
Portanto
=
+
|
|
\
|
+ = + =

t d
t
t sen dl z y I
AB
x O
2
1 4
4
) (
2 2
0
2
2
2 2 2

=
(
+
+
=
|
|
\
|
+
+
=

2
0
2
0
2
2
2
2 2
0
2
2
2
2
4 2
1 4
4 2
1 4
dt
t
dt t sen t d
t
t sen

1 4
6
5
4
1
2
2 cos 1
2
1 4
2
2
0
2
0
2
2
2
+ =
(
+
=

dt t dt
t
;

=
+
|
|
\
|
+ = + =

t d
t
t dl z x I
AB
y O
2
1 4
4
cos ) (
2 2
0
2
2
2 2 2

=
(
+
+
=
|
|
\
|
+
+
=

2
0
2
0
2
2
2
2 2
0
2
2
2
2
4
cos
2
1 4
4
cos
2
1 4
dt
t
dt t t d
t
t

1 4
6
5
4
1
2
2 cos 1
2
1 4
2
2
0
2
0
2
2
2
+ =
(
+
+
+
=

dt t dt
t
;

. 1 4
2
1 4
2
1 4
) (cos ) (
2
2
0
2 2 2
0
2 2 2 2
+ =
+
=
+
+ = + =

t d t d t sen t dl y x I
AB
z O

Exemplo 7.3. Calcular o momento de inrcia polar da linha L com densidade linear
constante, se L representa o contorno do tringulo os vrtices do qual em coordenadas
polares ) , ( r so: )
3
4
, ( ),
3
2
, ( ), 0 , (

a R a Q a P .
Resoluo.
Para calcular o momento de inrcia polar do contorno do tringulo utilizamos a
frmula

+ = + =
L L
O
l d y x dl y x y x I ) ( ) , ( ) (
2 2 2 2
( const = ).

Levando em conta as relaes entre as
coordenadas cartesianas e as coordenadas polares
=
=
,
, cos
rsen y
r x

obtemos as coordenadas dos vrtices do tringulo
em coordenadas cartesianas:

|
|
\
|

|
|
\
|
2
3
,
2
,
2
3
,
2
), 0 , (
a a
R
a a
Q a P .

30

Obviamente a linha L seccionalmente regular e ) ( ) ( ) ( RP QR PQ L U U = .

Portanto
. ) ( ) ( ) ( ) (
2 2 2 2 2 2 2 2

+ + + + + = + =
RP QR PQ L
O
l d y x l d y x l d y x l d y x I
Determinemos as equaes das rectas que passam pelos pontos:
P R R Q Q P e ; e ; e .
Para Q P e temos:
.
3
1
3
1
3
3
2
2
3
0 1
0
0 1
0
a x y
a
a x
a
y
a
a
a x
a
y
x x
x x
y y
y y
+ =

Uma representao do segmento [ ] Q P, o grfico da funo

(
+ = a
a
x a x y ,
2
para ,
3
1
3
1
.

Para P R e , analogamente, temos:
.
3
1
3
1
3
3
2
2
3
a x y
a
a x
a
y
a
a
a x
a
y
=

Uma representao do segmento [ ] P R, o grfico da funo

(
= a
a
x a x y ,
2
para ,
3
1
3
1
.
Para R Q e temos a recta
2
a
x = e portanto a representao paramtrica do segmento
[ ] R Q, :

=
=
,
,
2
t y
a
x
com
(

2
3
,
2
3 a a
t .

Com aplicao da frmula (22.2) obtemos:

=
|
|
\
|
+
(
(
|
|
\
|
+ + = + = +

dx a x x l d y x l d y x
a
a QP PQ
2
2 2
2 2 2 2 2
3
1
1
3
1
3
1
) ( ) (

( ) ;
2
3
3
4
3 3
2
2 4
3 3
2
3
2
2 2 3
2
2 2
a x a ax x dx a ax x
a
a
a
a
= |
\
|
+ = + =

=
|
|
\
|
+
(
(
|
|
\
|
+ = +

dx a x x l d y x
a
a RP
2
2 2
2 2 2
3
1
1
3
1
3
1
) (

31

( ) ;
2
3
3
4
3 3
2
2 4
3 3
2
3
2
2 2 3
2
2 2
a x a ax x dx a ax x
a
a
a
a
= |
\
|
+ = + =

Com aplicao da frmula (22.1) obtemos:

.
2
3
3 4 4
) ( ) (
3
2
3
2
3
3 2 2
3
2
3
2
2
2 2 2 2
a
t
t
a
dt t
a
l d y x l d y x
a
a
a
a RQ QR
=
|
|
\
|
+ =
|
|
\
|
+ = + = +

Portanto
= + + + + + =

RP QR PQ
O
l d y x l d y x l d y x I ) ( ) ( ) (
2 2 2 2 2 2

.
2
3 3
2
3
2
3
2
3
3 3 3 3
a a a a = + + =

4. Integrais de linha de
a
2 espcie.
(Integrais de linha de um campo vectorial).

4.1. Definio do integral de linha de
a
2 espcie.

Seja
3 3
: )) , , ( ), , , ( ), , , ( ( ) , , ( R R D z y x R z y x Q z y x P z y x F
F
=

uma funo vectorial de varivel vectorial (uma transformao pontual) e
F
D L uma
linha simples rectificvel com a origem A e a extremidade B dada pela representao
paramtrica
=
=
=
), (
), (
), (
) (
t z
t y
t x
t r
[ ] , t , (1.4)
isto ,

+ + = k z j y i x t r ) ( .
Fazemos uma partio T do segmento [ ] , por
= < < < < < =
n n
t t t t t
1 2 1 0
L
e seja { } B M M M M A M T
n n
= = =

, , , , ,
1 2 1 0
*
L a partio correspondente da
linha L , na direco de A para B , onde ) , , (
i i i i
z y x M = .
Denotemos
, , ,
1 1 1
= = =
i i i i i i i i i
z z z y y y x x x e por
i
i i
M M
1
. Seja
i
n i
l l =
1
max .
Escolhemos, arbitrariamente, os pontos

32
n i M M N
i i i i i i
, , 1 , ) , , (
1
L = =

e denotamos { }
n n
N N N N N , , , ,
1 2 1
= L (figura 8).

Definio 1.4.
=
=
n
i
i i i i x
x P N T I
1
) , , ( ) , ( chama-se soma integral de Riemann
em relao a varivel x da funo ) , , ( z y x P ao longo da linha L , correspondente
partio T e aos pontos intermedirios
n n
N N N N , , , ,
1 2 1
L .

Definio 2.4. O nmero
x
I chama-se limite das somas integrais de Riemann em
relao a varivel x quando 0 l , se 0 0 > > tal que para qualquer
partio
*
T da linha L (ou para qualquer partio T do segmento [ ] , ) com < l
e para qualquer escolha dos pontos
i
N se tem <
x x
I N T I ) , ( .

Definio 3.4. Se existir o limite finito
x x
l
I N T I =

) , ( lim
0
, ento o nmero
x
I chama-
se integral de linha de
a
2 espcie em relao a varivel x da funo ) , , ( z y x P ao
longo da linha L e denota-se por
dx z y x P
L
) , , ( . (2.4)
Se a linha L no fechada e tem origem A e extremidade B , ento o integral pode ser
denotado por
dx z y x P
AB
) , , ( . (2.4.a)
Analogamente definimos integral de linha de
a
2 espcie da funo ) , , ( z y x Q
em relao a varivel y e integral de linha de
a
2 espcie da funo ) , , ( z y x R em
relao a varivel z ao longo da linha L e denotamos-lhe, respectivamente, por

dz z y x R I dy z y x Q I
L
z
L
y

= = ) , , ( , ) , , ( (3.4)

ou
dz z y x R I dy z y x Q I
AB
z
AB
y

= = ) , , ( , ) , , ( . (3.4.a)

33
A soma
z y x
I I I I + + = diz integral geral de linha de
a
2 espcie (ou integral de linha
de um campo vectorial) ao longo da linha L e designa-se por

dz z y x R dy z y x Q dx z y x P
L
) , , ( ) , , ( ) , , ( + +
(4.4)

Nota 1.4. Porque

+ + = k z y x R j z y x Q i z y x P z y x F ) , , ( ) , , ( ) , , ( ) , , (
e

+ + = + + = k dz j dy i dx r d k z j y i x r
temos

= + +
L L
r d z y x F dz z y x R dy z y x Q dx z y x P | ) , , ( ) , , ( ) , , ( ) , , ( (5.4)

Nota 2.4. Se a transformao pontual
2 2
: )) , ( ), , ( ( ) , ( R R D y x Q y x P y x F
F
=

F
D L uma linha simples rectificvel com a origem A e a extremidade B dada
pela representao paramtrica
=
=
), (
), (
) (
t y
t x
t r
[ ] , t ,
ento, analogamente, definimos
dy y x Q dx y x P I I I
L
y x
) , ( ) , ( + = + =
(4.4.a)

e temos

+ = = +

j y i x r r d y x F dy y x Q dx y x P
L L
com , | ) , ( ) , ( ) , ( . (5.4.a)

Nota 3.4. Em resumo temos:

a) = + + = + + =

) , ( lim ) , ( lim ) , ( lim
0 0 0
N T I N T I N T I I I I I
z
l
y
l
x
l
z y x

= |
\
|
+ |
\
|
+ |
\
|
=

=

=

=

n
i
i i i i
l
n
i
i i i i
l
n
i
i i i i
l
z R y Q x P
1
0
1
0
1
0
) , , ( lim ) , , ( lim ) , , ( lim

= + + =

L L L
dz z y x R dy z y x Q dx z y x P ) , , ( ) , , ( ) , , (

= + + =
L L
r d z y x F dz z y x R dy z y x Q dx z y x P | ) , , ( ) , , ( ) , , ( ) , , ( .

34

b) = + = + =

) , ( lim ) , ( lim
0 0
N T I N T I I I I
y
l
x
l
y x

= |
\
|
+ |
\
|
=

=

=

n
i
i i i
l
n
i
i i i
l
y Q x P
1
0
1
0
) , ( lim ) , ( lim

= + =

L L
dy y x Q dx y x P ) , ( ) , (

= +
L L
r d y x F dy y x Q dx y x P | ) , ( ) , ( ) , ( .

4.2. Propriedades dos integrais de linha de
a
2 espcie.

Da definio do integral de
a
2 espcie resultam as seguintes propriedades dos
integrais de linha de
a
2 espcie:

P1. O valor do integral de linha de
a
2 espcie dependente de direco de integrao
ao longo da linha, isto ,

. ) , , ( ) , , ( ) , , ( ) , , ( ) , , ( ) , , ( dz z y x R dy z y x Q dx z y x P dz z y x R dy z y x Q dx z y x P
BA AB
+ + = + +

P2. Linearidade: Com R b a , tem-se:

[ ] dx z y x P b dx z y x P a dx z y x bP z y x aP
L L L

+ = + ) , , ( ) , , ( ) , , ( ) , , (
2 1 2 1
;

[ ] dy z y x Q b dy z y x Q a dy z y x bQ z y x aQ
L L L

+ = + ) , , ( ) , , ( ) , , ( ) , , (
2 1 2 1
;

[ ] dz z y x R b dz z y x R a dz z y x bR z y x aR
L L L

+ = + ) , , ( ) , , ( ) , , ( ) , , (
2 1 2 1
.

P3. Aditividade: Se C um ponto da linha AB ento:

. ) , , ( ) , , ( ) , , ( ) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , (
dz z y x R dy z y x Q dx z y x P dz z y x R dy z y x Q dx z y x P
CB AC
AB
+ + + + + =
= + +

P4.
Se AB uma linha plana, pertencente a um plano perpendicular ao eixo Ox
( R c c x = , ), ento
0 ) , , ( =
dx z y x P
AB
,

35
isto ,
. ) , , ( ) , , ( ) , , ( ) , , ( ) , , (

+ = + +
AB AB
dz z y c R dy z y c Q dz z y x R dy z y x Q dx z y x P

Se AB uma linha plana, pertencente a um plano perpendicular ao eixo Oy
( R c c y = , ), ento
0 ) , , ( =
dy z y x Q
AB
,
isto ,
. ) , , ( ) , , ( ) , , ( ) , , ( ) , , (

+ = + +
AB AB
dz z c x R dx z c x P dz z y x R dy z y x Q dx z y x P
Se AB uma linha plana, pertencente a um plano perpendicular ao eixo Oz
( R c c z = , ), ento
0 ) , , ( =
dz z y x R
AB
,
isto ,
. ) , , ( ) , , ( ) , , ( ) , , ( ) , , (

+ = + +
AB AB
dy c y x Q dx c y x P dz z y x R dy z y x Q dx z y x P

Nota 4.4. Se L uma linha plana fechada simples, ento o integral de linha de
a
2
espcie denota-se por:

+L
se a direco de integrao ao longo da linha positiva, isto , a regio limitada de
linha fique sempre do lado esquerdo do observador que percorre a linha (figura 9, a)),
ou

L
se a direco de integrao ao longo da linha negativa, isto , a regio limitada de
linha fique sempre do lado direito do observador que percorre a linha (figura 9, b)).

Nota 5.4. Para os integrais de linha de
a
2 espcie no se verificam o teorema do
valor mdio e o teorema de avaliao do mdulo do integral.

36
4.3. Clculo dos integrais de linha de
a
2 espcie.

Seja
3 3
F
=

uma funo vectorial de varivel vectorial (uma transformao pontual) e
F
D L uma
linha simples rectificvel com a origem A e a extremidade B dada pela representao
paramtrica
=
=
=
), (
), (
), (
) (
t z
t y
t x
t r
[ ] , t ,
onde ) ( ), ( ), ( t z t y t x = = = so de classe
1
C em [ ] , e
( ) ) ( ), ( ), ( ) ( ) ( ) ( ) ( = + + = =

k j i r A ,

( ) ) ( ), ( ), ( ) ( ) ( ) ( ) ( = + + = =

k j i r B .
Nestas condies pode ser demonstrado que o integral de linha de
a
2 espcie ao
longo de AB exista. Sem demonstrar mas utilizando esta afirmao conclumos que
=
=
n
i
i i i i
l
x
l
x P N T I
1 0 0
) , , ( ) , (
lim lim
(6.4)
no depende do modo de partio de AB e da escolha dos pontos intermedirios
n n
N N N N , , , ,
1 2 1
L . Por isso, escolhendo um modo conveniente para formar as somas
integrais, partimos o segmento [ ] , pelos pontos
= < < < < < =
n n
t t t t t
1 2 1 0
L
na direco de para . Aos valores
i i
t t t t = =

e
1
correspondem,
respectivamente, os pontos ( ) ) ( ), ( ), (
1 1 1 1
=
i i i i
t t t M e ( ) ) ( ), ( ), (
i i i i
t t t M =
da linha AB . Na base do teorema de Lagrange dos acrscimos finitos temos
i i i i i i i
t t t x x x = = =

) ( ) ( ) (
1 1
,
com ) , (
1 i i i
t t

e
1
=
i i i
t t t .
Seja ) , , (
i i i i
N = corresponde
i
t = , isto , ) ( ), ( ), (
i i i i i i
= = = .
A soma integral para funo ) , , ( z y x P ao longo da linha AB correspondente a esta
partio
i i
n
i
i i i i
n
i
i i i
t P x P =

= =
) ( )) ( ), ( ), ( ( ) , , (
1 1
.
A parte da direita desta relao representa a soma integral da funo
) ( )) ( ), ( ), ( ( t t t t P em [ ] , e portanto
=
=
dt t t t t P x P
n
i
i i i i
l
) ( )) ( ), ( ), ( ( ) , , (
1 0
lim

e

= =
dt t t t t P dx z y x P I
AB
x
) ( )) ( ), ( ), ( ( ) , , ( (7.4)
Analogamente, obtemos

37

= =
dt t t t t Q dy z y x Q I
AB
y
) ( )) ( ), ( ), ( ( ) , , ( , (8.4)

= =
dt t t t t R dz z y x R I
AB
z
) ( )) ( ), ( ), ( ( ) , , ( . (9.4)

De (7.4), (8.4) e (9.4) obtemos

= + + = + + =
dz z y x R dy z y x Q dx z y x P I I I I
AB
z y x
) , , ( ) , , ( ) , , (

( ) . )) ( ), ( ), ( ( ) ( )) ( ), ( ), ( ( ) ( )) ( ), ( ), ( (
+ + =
dt t t t R t t t t Q t t t t P (10.4)

Nota 6.4. Para
2 2
: )) , ( ), , ( ( ) , ( R R D y x Q y x P y x F
F
=

funo vectorial de varivel vectorial (transformao pontual) e
F
D L linha simples
rectificvel com a origem A e a extremidade B dada pela representao paramtrica

=
=
), (
), (
) (
t y
t x
t r
[ ] , t ,

onde ) ( ), ( t y t x = = so de classe
1
C em [ ] , e
( ) ) ( ), ( ) ( ) ( ) ( = + = =

j i r A ,

+ = = j i r B ) ( ) ( ) (
temos:

= =
dt t t t P dx y x P I
AB
x
) ( )) ( ), ( ( ) , ( (7.4 a))

= =
dt t t t Q dy y x Q I
AB
y
) ( )) ( ), ( ( ) , ( , (8.4 a))

( ) (11.4) . ) ( )) ( ), ( ( ) ( )) ( ), ( ( ) , ( ) , (

+ = + = + =
dt t t t Q t t t P dy y x Q dx y x P I I I
AB
y x

Nota 7.4. Para
2 2
: )) , ( ), , ( ( ) , ( R R D y x Q y x P y x F
F
=

funo vectorial de varivel vectorial (transformao pontual) e
F
D L linha simples
rectificvel com a origem A e a extremidade B dada por
) (x f y = , [ ] , x ,
onde ) (x f y = de classe
1
C em [ ] , e ( ) ) ( , f A = , )) ( , ( f B =
temos

38
[ ]dx x f x f x Q x f x P dy y x Q dx y x P I I I
AB
y x

+ = + = + =
) ( )) ( , ( )) ( , ( ) , ( ) , ( (12.4)
Exemplo 1.4.

Calcular
+ +
OA
dz zx dy yz dx xy , onde OA a parte da circunferncia
=
= + +
,
, 2
2 2 2
x z
Rx z y x

situada no primeiro octante.

Resoluo.

Para calcular o integral utilizando a frmula (10.4), determinemos a
representao paramtrica do arco OA.
Temos
2 2 2 2 2 2 2
) ( 2 R z y R x Rx z y x = + + = + + ,
isto , a esfera centrada no ponto ) 0 , 0 , (R .
A parte, mencionada, da circunferncia
representada na figura 10, onde para
claridade so trocados as posies dos eixos
Ox e Oy . O ponto A pertence ao plano
z xO , isto , 0 = y , e portanto as
coordenadas dele podem ser determinadas do
sistema que define a circunferncia, fazendo
0 = y . Obtemos

). , 0 , ( 0
2 2
,
, 2
2 1
2
2 2
R R A R x x
Rx x
x z
Rx z x
= = =
=
=
= +

Considerando x como parmetro, t x = , das equaes da circunferncia obtemos
t z = e ) 0 ( , 2
2
= y t Rt y . Portanto a representao paramtrica do arco OA

=
=
=
,
, 2
,
2
t z
t Rt y
t x
[ ] R t , 0 .
Ento
=
|
|
\
|
+
+ = + +

dt t
t t R
t R
t t R t t t R t dz zx dy yz dx xy
R
OA 0
2
2
2 2
2
) 2 ( 2
2 2

( ) = + = + =

dt t dt t R dt t t R t dt t t R t t R t
R R R R
0
2
0 0
2
0
2 2
2 2

39

.
6
2
3 2
2
3
0
2
0
3 2
0
2
R
dt t t R t dt
t t R
dt t t R t
R
R
R
+ =
|
|
\
|
+ =

Calculemos, separadamente, o integral dt t t R t
R

0
2
.
Porque

2
2
2
2 2
2
2 2
2
2 4 2
2
4 4 2
2
4 4
|
\
|
=
|
|
\
|
+ = + =
R
t
R
t t
R R R
t t
R R R
t t R
temos
.
2 4
0
2
2
0
2
dt
R
t
R
t dt t t R t
R R

|
\
|
=

Fazendo a substituio sen
R R
t
2 2
= temos:

sen
R R
t
2 2
+ = e d
R
dt cos
2
= ;
2
;
2
0

= = = = R t t .

Portanto na continuao temos:
= |
\
|
|
\
|
+ = |
\
|

d sen
R R
sen
R R
dt
R
t
R
t
R
2
2 2
2
0
2
2
2 4 2 2 2 4

( ) ( ) = + = + =

d sen
R
d
R
sen
R
cos 1
4
cos
4
1
2
2
2
2
2
2 2
2

( ) ( )
( )
.
2 2
1
4
) 1 ( 1
4
) ( 1
4
2 2
2
2 2 2
2
2 2
2
2
R sen R
sen d sen
R
sen d sen
R
=
|
|
\
|
+
= + + = + =

Finalmente obtemos

.
6
2 3
6 2
2
6
2
3 2 3 2 3
0
2
R R R R R
dt t t R t dz zx dy yz dx xy
R
OA
+
= + = + = + +

Exemplo 2.4.

Calcular
+ +
L
dy y x dx y x ) ( ) ( , onde L a circunferncia 4 ) 1 ( ) 1 (
2 2
= + y x .


40

Resoluo.

A representao paramtrica desta circunferncia
+ =
+ =
, 2 1
, cos 2 1
sent y
t x
[ ] 2 , 0 t
Calculemos o integral utilizando a frmula (11.4).
Temos dt t dy dt sent dx cos 2 , 2 = = e portanto
( )( ) ( )( ) = + + + = + +

dt t sent t dt sent sent t dy y x dx y x
L
cos 2 2 cos 2 2 2 cos 2 2 ) ( ) (
2
0

( ) ( ) = + = + =

2
0
2
0
2 2
2 cos 2 4 cos cos cos 4 dt t t sen sent dt t sent t t sen tsent sent

( ) ( ) ( ) . 0 2 2 cos cos ) 2 ( 2 ) 2 (cos 2 ) (cos 4
2
0
2
0
2
0
2
0
2
0
2
0
= + + = + + =

t sen t t t sen d t d t d

Exemplo 3.4.

Calcular
+
AB
dz x yzdy dx z y
2 2 2
2 ) ( , onde AB dada por

=
=
=
,
,
,
3
2
t z
t y
t x
[ ] 1 , 0 t e ( ) ( ) ) 1 , 1 , 1 ( ) 1 ( ), 1 ( ), 1 ( ); 0 , 0 , 0 ( ) 0 ( ), 0 ( ), 0 ( = = = = z y x B z y x A

Resoluo.

Temos dt t dz dt t dy dt dx
2
3 , 2 , = = = e portanto

= + = +

) 3 ( ) 2 ( 2 ) ( 2 ) (
2 2
1
0
5 6 4 2 2 2
dt t t tdt t dt t t dz x yzdy dx z y
AB

35
1
7
3
5
2
7
3
5
2
) 3 2 ( ) 3 4 (
1
0
7 5 1
0
6 4 4
1
0
6 6 4
= + =
|
|
\
|
+ = + = + =

t t
dt t t dt t t t t .

Exemplo 4.4.

Calcular
+
AB
dy x xydx
2
2 , ao longo da linha plana que une os pontos
) 1 , 1 ( e ) 0 , 0 ( = = B A se:
a) AB representa o arco da parbola
2
x y = (figura 11);

41
b) { } { } 1 0 : ) , 1 ( 1 0 : ) 0 , ( = y y x x AB U (figura 11);
c) AB representa o arco maior da circunferncia 1 ) 1 (
2 2
= + y x (figura 12).

Resoluo.

a) Calculemos o integral utilizando a frmula (10.4).
Temos dx x dy x y 2 ,
2
= = e portanto

. 1
4
4 4 2 2 2
1
0
4 1
0
3
1
0
2 2 2
=
|
|
\
|
= = + = +

x
dx x xdx x dx x x dy x xydx
AB

b) Neste caso a linha AB seccionalmente regular e CB AC AB U = . Portanto

= + + + = +

CB AC AB
dy x xydx dy x xydx dy x xydx
2 2 2
2 2 2

Porque { } { } 1 0 : ) , 1 ( , 1 0 : ) 0 , ( = = y y CB x x AC na continuao temos

. 1 2 0
1
0
1
0
2
= = = + + =

y dy dy x xydx
CB

c) A representao paramtrica deste arco
=
+ =
,
, cos 1
sent y
t x

(

2
,

t
Temos dt t dy dt sent dx cos , = = e portanto

= + + + = +

tdt t dt sent sent t dy x xydx
AB
cos ) cos 1 ( ) ( ) cos 1 ( 2 2
2
2
2


42
[ ] = + + + =
dt t t t t sen t t sen
2
3 2 2 2
cos cos 2 cos cos 2 2

[ ] = + + =
dt t t sen t t sen t
2
2 2 2 2
) cos 2 1 ( cos ) (cos 2

+ = + + =

) 2 ( 2 cos ) cos 2 1 ( cos ) (cos 2
2 2
2 2
2
2 2
t d t dt t t sen t dt t sen t

( ) . 1
3
3 2 2 ) ( ) 3 2 (
2
3
2
2
2
=
|
|
\
|
+ = +
t sen
sent t sen sent d t sen

Nota 8.4. Notamos que o valor do integral calculado neste exemplo no depende de
forma da linha AB ( no depende de caminho).

4.4. A relao entre os integrais de linha de
a
1 espcie e os integrais de linha de
a
2 espcie.

Seja AB uma linha simples seccionalmente regular dada pela representao
paramtrica
=
=
=
), (
), (
), (
) (
t z
t y
t x
t r
[ ] b a t , ,
isto , ) ( ), ( ), ( t z t y t x = = = so de classe
1
C em [ ] b a, e
( ) ) ( ), ( ), ( ) ( ) ( ) ( ) ( a a a k a j a i a a r A = + + = =

,

( ) ) ( ), ( ), ( ) ( ) ( ) ( ) ( b b b k b j b i b b r B = + + = =

,

( ) [ ] b a t t t t k t j t i t t r , ) 0 , 0 , 0 ( ) ( ), ( ), ( ) ( ) ( ) ( ) ( = + + =

.
Seja
3 3
F
=

,

+ + = k z y x R j z y x Q i z y x P z y x F ) , , ( ) , , ( ) , , ( ) , , ( ,
uma funo vectorial de varivel vectorial (uma transformao pontual) seccionalmente
continua sobre AB (

F
D AB ).

43
Designemos por ) , , ( e ) , , ( ), , , ( z y x z y x z y x = = = os ngulos directores do
vector tangente unitrio, ) , , ( z y x

= , linha AB no ponto ) , , ( z y x M ( e ,
so, respectivamente, os ngulos entre
e os eixos Oz Oy Ox e , ), sendo que o sentido

de
corresponde orientao de AB , isto ,

+ + = k z y x j z y x i z y x z y x M )) , , ( cos( )) , , ( cos( )) , , ( cos( )) , , ( ( ,
com
1 )) , , ( ( cos )) , , ( ( cos )) , , ( ( cos
2 2 2
= + + z y x z y x z y x .
Levando em conta a definio da derivada direccional ao longo de uma linha
3
) ( R t r

temos:
dl z y x dx
dl
dx
z y x )) , , ( cos( , )) , , ( cos( = = ,

dl z y x dy
dl
dy
z y x )) , , ( cos( , )) , , ( cos( = = ,

dl z y x dz
dl
dz
z y x )) , , ( cos( , )) , , ( cos( = = .
Portanto a relao entre os integrais de linha de
a
1 espcie e os integrais de linha de
a
2
espcie :

( )
(13.4) . ) , , ( F
)) , , ( cos( ) , , ( )) , , ( cos( ) , , ( )) , , ( cos( ) , , (

) , , ( ) , , ( ) , , (
dl z y x
dl z y x z y x R z y x z y x Q z y x z y x P
AB
AB
AB
|
|
|
\
|
=
= + + =
= + +

Se
2 2
: )) , ( ), , ( ( ) , ( R R D y x Q y x P y x F
F
=

,

+ = j y x Q i y x P y x F ) , ( ) , ( ) , ( ,
e AB uma linha simples seccionalmente regular dada pela representao paramtrica
=
=
), (
), (
) (
t y
t x
t r
[ ] b a t , ,
com

+ = j y x i y x z y x )) , ( cos( )) , ( cos( ) , , ( , levando em conta que
) , (
2
) , ( y x y x
= , analogamente, temos:

( ) = + = +

dl y x y x Q y x y x P dy y x Q dx y x P
AB AB
)) , ( cos( ) , ( )) , ( cos( ) , ( ) , ( ) , (


44
(14.4) ) , , ( F dl z y x
AB
|
|
|
\
|
=

ou

( ) = + = +

dl y x y x Q y x y x P dy y x Q dx y x P
AB AB
)) , ( cos( ) , ( )) , ( cos( ) , ( ) , ( ) , (

( ) a) (14.4 ) , , ( F )) , ( ( ) , ( )) , ( cos( ) , ( dl z y x dl y x sen y x Q y x y x P
AB AB

|
|
|
\
|
= + =

4.5. Aplicaes dos integrais de linha de
a
2 espcie em Fsica.

a) Clculo do trabalho realizado.
Da mecanica sabemos que o trabalho W , realizado de uma fora
F , constante e
rectilnea para movimentar uma massa unitria do ponto
3
1
R M no ponto
3
2
R M
o produto interno dos vectores
F e

2 1
M M , isto ,

=
2 1
M M F W .
Calculemos o trabalho realizado quando a fora
F varivel, isto ,

+ + = k z y x R j z y x Q i z y x P z y x F ) , , ( ) , , ( ) , , ( ) , , (

e o ponto de aplicao se move ao
longo de uma linha
3
) ( R t r AB
(figura 13). Fazendo uma partio
de AB e considerando que ao longo
do arco
i i
M M
1
a fora constante
e igual ) (
i
N F
obtemos que o
trabalho realizado para movimentar
uma massa unitria do ponto
1 i
M
no ponto
i
M aproximadamente
igual ao produto

i i i
M M N F
1
) ( ,
onde

+ + = k R j Q i P N F
i i i i i i i i i i
) , , ( ) , , ( ) , , ( ) (
e

+ + = k z j y i x M M
i i i 2 1
.
Portanto
i i i i i i i i i i i i i i i
z R y Q x P M M N F + + =

) , , ( ) , , ( ) , , ( ) (
1


45
e
( )
=
+ +
n
i
i i i i i i i i i i i i
z R y Q x P W
1
) , , ( ) , , ( ) , , ( .
Passando para o limite quando 0 l (
i
n i
l l =
1
max e
i
i i
M M
1
) obtemos

dz z y x R dy z y x Q dx z y x P W
AB
) , , ( ) , , ( ) , , ( + + =
. (15.4)

Daqui conclumos que o trabalho realizado de uma fora
F para movimentar
uma massa unitria ao longo de AB um integral de linha de
a
2 espcie (15.4).

Nota 9.4. Se AB uma linha fechada ( AB L ) , ento o integral de linha de
a
2 espcie de
F diz-se circulao de
F em L e denota-se por

dz z y x R dy z y x Q dx z y x P C
AB
) , , ( ) , , ( ) , , ( + + =
. (16.4)
Nota 10.4.
Se ( ) ) , ( ), , ( ) , ( , :
2 2
y x Q y x P y x F R R D F
F
=

F
D AB , ento
dy y x Q dx y x P W
AB
) , ( ) , ( + =
(15.4 a)
Se AB uma linha fechada, ento

dy y x Q dx y x P C
AB
) , ( ) , ( + =
. (16.4 a)

b) O movimento de um fluido.

Seja { } ) , ( ), , ( ) , ( y x v y x u y x c c = =
a velocidade de um fluido incompressvel com

espessura desprezvel num ponto ) , ( y x M . Determinaremos a quantidade Q de fluido
que sai (numa unidade de tempo) da regio plana G limitada de um contorno regular L
(figura 6). Em 3.4 foi mostrado que
dl n c Q
L

= ) | ( ,
onde
n o vector unitrio normal a linha L no ponto L y x M ) , ( , orientado para o

exterior da regio G .
Se o vector tangente unitrio, ) , ( y x

= , linha fechada AB L no ponto
) , ( y x M corresponde orientao positiva de L e o ngulo entre
e o eixo
Ox , ento


46
{ }
cos ,
2
,
2
cos =
)
`
\
|
|
\
|
=
sen sen n ,
cos ) , ( ) , ( | =

y x v sen y x u n c .
Portanto de (14.4 a) obtemos

dy y x u dx y x v dx y x v dy y x u dl n c Q
L L L
) , ( ) , ( ) , ( ) , ( ) | ( + = = =

(17.4)

a quantidade Q de fluido que sai (numa unidade de tempo) da regio plana G limitada
de um contorno regular L calculada atravs de um integral de linha de
a
2 espcie.

Exemplo 5.4.
Calcular o trabalho W , realizado de fora { } x y F =
, para movimentar uma

massa unitria ao longo do arco AB da circunferncia 1
2 2
= + y x percorrido no
sentido dos ponteiros do relgio se |
\
|
= |
\
|
=
2
1
,
2
1
,
2
1
,
2
1
B A (figura 14).

Resoluo.
Uma representao paramtrica do arco BA
=
=
,
, cos
sent y
t x

(
4
5
,
4

t .
Calculemos o trabalho realizado utilizando a frmula (15.4 a).

= = = + =

dy x dx y dy x dx y dy y x Q dx y x P W
BA AB AB
) , ( ) , (

= = = + = =

4
5
4
4
5
4
4
5
4
2 2
4
5
4
) cos ( ) ( cos ) (cos t dt dt t t sen dt sent t dt t sent .

47
Exemplo 6.4.

Sabendo que a velocidade de um fluido incompressvel com espessura
desprezvel
)
`
2
,
2
y
xy c , determinar a quantidade Q de fluido que sai (numa
unidade de tempo) da regio plana { } 1 1 1 : ) , (
4
= y x x y x G (figura 15).

Resoluo.
Determinemos a quantidade Q de
fluido que sai da regio aplicando a
frmula (17.4)
dy y x u dx y x v Q
L
) , ( ) , ( + =
.
Porque ) ( ) ( BOA AB L U =
seccionalmente regular com

=
=
, 1
,
y
t x
AB [ ] 1 , 1 t ;

=
=
,
;
4
t y
t x
AOB [ ] 1 , 1 t ;
temos

= + + + = + =

BOA AB L
dy y x u dx y x v dy y x u dx y x v dy y x u dx y x v Q ) , ( ) , ( ) , ( ) , ( ) , ( ) , (

= + + = + + + =

BOA AB BOA AB
dy xy dx
y
dx dy xy dx
y
dy xy dx
y
) (
2 2
1
) (
2
) (
2
2 2 2

= + + = + =

AOB BOA AB
dy xy dx
y
dt dy xy dx
y
dx
2 2
1
2 2
1
2 1
1
2

. 0 1 1
9
1
9
1
2
9
1
9 2
9
1
2
9
1
2
1
1
1
9 1
1
8
1
1
= + =
|
\
|
+ =
|
|
\
|
+ = + = +
|
\
|
=
t
dt
t
t

4.6. Teorema de Green no plano.

Recorda-se que o domnio fechado
{ } ) ( ) ( : ) , (
2 1
2
1
x y y x y b x a R y x G =
diz-se regular segundo o eixo Oy (ou de tipo 1) se qualquer recta vertical
1
L , que passa
por um ponto interior de
1
G , intersecta a fronteira s em dois pontos (figura 16 a)).
Analogamente, o domnio fechado
{ } ) ( ) ( : ) , (
2 1
2
2
y x x y x d y c R y x G =

48
diz-se regular segundo o eixo Ox (ou de tipo 2) se qualquer recta horizontal
2
L , que
passa por um ponto interior de
2
G , intersecta a fronteira s em dois pontos (figura 16
b)).
Os segmentos das rectas d y c y b x a x = = = = e , , podem degenerar em pontos.

O domnio fechado G diz-se regular se pode ser decomposto numa reunio de um
nmero finito de regies de tipo1 ou de tipo2, onde interseco de quaisquer duas
regies no tem pontos interiores. Na figura 17 representada a partio de um anel em
regies de tipo 1 (figura 17 a)) e de tipo 2 (figura 17 b)).

Recorda-se que as linhas planas, fechadas e simples dizem-se linhas de Jordan.
O domnio fechado
2
R G diz-se simplesmente conexo, se qualquer linha de Jordan
includa em G delimita em
2
R uma regio includa em G .
Obviamente os domnios regulares so simplesmente conexos, mas no reciprocamente.
Por exemplo:
1) Circulo e rectngulo so domnios simplesmente conexos.

2) O domnio
{ } ) 0 ( ) ( ) ( : ) , (
2 1 2
2 2
1
2 2 2
r r r y x r y x R y x G < + + = ,
determinado de duas circunferncias concntricas centradas na origem no
simplesmente conexo, porque qualquer circunferncia de raio r , centrada na origem,
com
2 1
r r r < < , delimita em
2
R uma regio no includa em G .

49

Teorema de Green. Seja
1) ( ) ) , ( ), , ( ) , ( , :
2 2
F
=

,
2)
F
D G um domnio regular com fronteira L ,
3) ) (
1
G C F
,
ento
dy dx
y
P
x
Q
dy y x Q dx y x P r d y x F
G L L
|
|
\
|
= + =
+ +

) , ( ) , ( | ) , ( .

Demonstrao.
Seja
F
D G um domnio regular com fronteira L (figura 18) que reunio dos
arcos ) ( e ) ( ), ( ), ( DA BD CB AC .

Sejam ) ( ), (
2 1
x y x y = = , respectivamente, as equaes dos arcos
) ( ), ( ADB ACB e ) ( ), (
2 1
y x y x = = , respectivamente, as equaes dos arcos
) ( ), ( CBD CAD .
Da continuidade da derivada parcial
y
P
resulta a existncia do integral duplo

dy dx
y
P
G
. Integrando em relao varivel y obtemos:

( ) = = =

b
a
x
x
b
a
x
x
b
a G
dx x x P x x P dx y x P dy
y
P
dx dy dx
y
P
)) ( , ( )) ( , ( ) , (
1 2
) (
) (
) (
) (
2
1
2
1

= =

b
a
b
a
dx x x P dx x x P )) ( , ( )) ( , (
1 2

Considerando x como parmetro e utilizando a frmula (7.4 a)) na continuao temos

= =

dx y x P dx y x P
ACB ADB ) ( ) (
) , ( ) , (


50

+
=
|
|
\
|
+ = =
L ACB BDA ACB BDA
dx y x P dx y x P dx y x P dx y x P dx y x P ) , ( ) , ( ) , ( ) , ( ) , (
) ( ) ( ) ( ) (
.
Portanto

+
=
L G
dx y x P dy dx
y
P
) , ( . (18.4)

Analogamente, da continuidade da derivada parcial
x
Q
resulta a existncia do
integral duplo dy dx
x
Q
G
. Integrando em relao varivel x obtemos:

( ) = = =

d
c
y
y
d
c
y
y
d
c G
dy y y Q y y Q dy y x Q dx
x
Q
dy dy dx
x
Q
) ), ( ( ) ), ( ( ) , (
1 2
) (
) (
) (
) (
2
1
2
1

= =

d
c
d
c
dy y y Q dy y y Q ) ), ( ( ) ), ( (
1 2

Considerando y como parmetro e utilizando a frmula (8.4 a)) na continuao temos

+
= + = =
L DAC CBD CAD CBD
dy y x Q dy y x Q dy y x Q dy y x Q dy y x Q ) , ( ) , ( ) , ( ) , ( ) , (
) ( ) ( ) ( ) (
.

Portanto

+
=
L G
dy y x Q dy dx
x
Q
) , ( . (19.4)
Subtraindo (18.4) de (19.4) obtemos a frmula de Green:

dy dx
y
P
x
Q
dy y x Q dx y x P r d y x F
G L L
|
|
\
|
= + =
+ +

) , ( ) , ( | ) , ( . (20.4)

Nota 10.4.
O teorema de Green verdadeiro no s para domnios regulares mas e para
quaisquer domnios limitados de uma linha seccionalmente regular. Caso o domnio
no regular fazemos uma partio dele em subdomnios regulares (onde interseco de
quaisquer dois no tem pontos interiores).

Por exemplo o domnio limitado de linha L
(figura 19) no regular, mas traando a linha
1
L , obtemos uma partio dele em dois
domnios regulares,
1
G e
2
G . Aplicando a
estes domnios a frmula (20.4) temos que
para
1
G a linha
1
L percorrida numa
direco e para
2
G na direco inversa.
Portanto na base das propriedades dos
integrais de linha de
a
2 espcie ( P1 e P3) na
parte esquerda da frmula de Green

51

dy dx
y
P
x
Q
dy y x Q dx y x P
G L
|
|
\
|
= +
+
) , ( ) , (
obtemos o integral ao longo de
+
L e na parte direita o integral duplo em G .
Para os domnios multiplamente conexos procedemos analogamente (figura 17).

Nota 11.4.
Utilizando a frmula de Green podemos obter uma frmula que permite
calcular a rea duma figura plana com a aplicao do integral de linha de
a
2 espcie.
Fazendo na frmula (20.4) x y x Q y x P = = ) , ( e 0 ) , ( obtemos
( )
G
G G L
S dy dx dy dx xdy dx = = = +

+
0 1 0 .
Fazendo na frmula (20.4) 0 ) , ( e ) , ( = = y x Q y y x P obtemos
( )
G
G G L
S dy dx dy dx dy ydx = = + = +

+
1 0 0 .
Portanto

+ + +
+ = + + + =
L L L
G
xdy ydx dy ydx xdy dx S 0 0 2
ou
+
+ =
L
G
xdy ydx S
2
1
. (21.4)

Exemplo 7.4.

Calcular o integral
+
+ +
L
dy x y dx y x ) 3 2 ( ) 4 ( onde L a circunferncia 2
2 2
= + y x .
Resoluo.
Aplicando o teorema de Green temos:
( ) 8 2 4 4 ) 1 3 ( ) 3 2 ( ) 4 (
2
= = = = + +

+
G G L
dxdy dxdy dy x y dx y x .
(Aqui levamos em conta que
G
dxdy representa a rea do circulo de raio 2 .)

Exemplo 8.4.

Calcular o integral
+
AO
x x
dy y e dx y seny e ) 4 cos ( ) 4 ( ,
onde AO a semicircunferncia
) 0 , 0 ( e ) , 0 ( , 0 com , 0
4 2
2
2
2
B a A a y
a
y
a
x > = +
|
\
|
(figura 20).

Resoluo.
Temos 4 cos ) , ( , 4 ) , ( = = y e y x Q y seny e y x P
x x
.
Acrescentando a semicircunferncia AO com o segmento OA do eixo Ox obtemos
uma linha fechada L e

52
. ) 4 cos ( ) 4 (
) 4 cos ( ) 4 ( ) 4 cos ( ) 4 (

+
+ = +
+
OA
x x
L
x x
AO
x x
dy y e dx y seny e
dy y e dx y seny e dy y e dx y seny e

Calculemos o integral

+
+
L
x x
dy y e dx y seny e ) 4 cos ( ) 4 (
aplicando a frmula de Green.
Porque
4 ) 4 cos ( cos = =
y e y e
y
P
x
Q
x x

obtemos

2
4 4 ) 4 cos ( ) 4 (
2
a
dxdy dxdy dy y e dx y seny e
G G L
x x

= = = +

+
.
(Aqui levamos em conta que
G
dxdy representa a rea do semicrculo de raio
2
a
.)
Calculemos o integral
+
OA
x x
dy y e dx y seny e ) 4 cos ( ) 4 ( ao longo do
segmento OA do eixo Ox .
Ao longo do segmento OA do eixo Ox se tem 0 = y e portanto 0 ) , ( = y x P ,
0 e 4 ) , ( = = dy e y x Q
x
. Ento
0 ) 4 cos ( ) 4 ( = +
OA
x x
dy y e dx y seny e
e
.
2
0
2
) 4 cos ( ) 4 (
2 2
a a
dy y e dx y seny e
AO
x x

=
= +

4.7. Independncia de caminho dos integrais de linha de
a
2 espcie em
2
R e
3
R .

No exemplo 4.4 o valor do integral calculado ao longo das trs linhas no
depende de forma da linha AB .
Geralmente, se para ( ) ) , ( ), , ( ) , ( , :
2 2
F
=

e para
qualquer linha
F
D AB se tem que o valor do integral dy y x Q dx y x P W
AB
) , ( ) , ( + =

mesmo, ento dizemos que o integral no depende de caminho e o campo vectorial
2 2
: R R D F
F

diz-se conservativo em
F
D .


53
Teorema 1.4.
Seja ( ) ) , ( ), , ( ) , ( y x Q y x P y x F =
de classe
1
C no domnio fechado, simplesmente
conexo
2
R G . Ento as seguintes quatro condies so equivalentes:
I. Para qualquer linha fechada, seccionalmente regular G L tem-se
0 ) , ( ) , ( = +
L
dy y x Q dx y x P .
II. Para quaisquer dois pontos G B A , o integral de linha de
a
2 espcie
+
AB
dy y x Q dx y x P ) , ( ) , (
no depende do caminho de integrao em G , mas depende da posio dos
pontos G B A , .

III. Existe uma funo real R R G y x U
2
: ) , ( tal que
dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + =
e para qualquer linha seccionalmente regular G AB tem-se

) ( ) ( ) , ( ) , ( A U B U dy y x Q dx y x P
AB
= +
. (22.4)

IV. No domnio G tem-se

.
x
Q
y
P
(23.4)
Demonstrao.

Demonstremos o teorema seguindo a esquema 1 4 3 2 1 .

2 1 . Consideremos em G dois caminhos (linhas seccionalmente regulares)
arbitrrios que unem os pontos G B A , : G ADB G ACB (figura 21 a)).
A reunio das linhas ADB ACB e uma linha fechada em G . Ento na base
de I temos
= + + + = +

0 ) , ( ) , ( ) , ( ) , ( 0 ) , ( ) , (
BDA ACB L
dy y x Q dx y x P dy y x Q dx y x P dy y x Q dx y x P

= + +

0 ) , ( ) , ( ) , ( ) , (
ADB ACB
dy y x Q dx y x P dy y x Q dx y x P

+ = +
ADB ACB
dy y x Q dx y x P dy y x Q dx y x P ) , ( ) , ( ) , ( ) , ( .

Portanto est demonstrado que 2 1 , isto , o integral no depende do caminho de
integrao em G , mas depende da posio dos pontos G B A , .


54

3 2 . Seja o integral
+
AB
dy y x Q dx y x P ) , ( ) , (
no depende do caminho de integrao em G , mas depende da posio dos pontos
G B A , . Fixando o ponto ) , (
0 0
y x A A = o integral uma funo das coordenadas
y x e do ponto ) , ( y x B B = :
) , ( ) , ( ) , ( y x U dy y x Q dx y x P
AB
= +
.
Demonstremos que a funo ) , ( y x U diferencivel e que
dy Q dx P dU + = . (23.4)
Para isto suficiente demonstrar que em qualquer ponto ) , ( y x B B = de G existem as
derivadas parciais
y
U
x
U
e , tais que
) , ( e ) , ( y x Q
y
U
y x P
x
U
=
(24.4)
Demonstremos a primeira igualdade de (24.4). O acrscimo da funo ) , ( y x U no
ponto ) , ( y x B B = em relao varivel x

+ = + + = + =
BC AB AC
x
dy Q dx P dy Q dx P dy Q dx P y x U y x x U U ) , ( ) , ( ,

onde G C (figura 21 b)). Porque o integral no depende do caminho consideramos
que o caminho de B para C um segmento paralelo ao eixo Ox , isto , ) , ( y x B B = ,
) , ( y x x C C + = e 0 = dy . Ento

+
= = + =
x x
x BC BC
x
dx y x P dx P dy Q dx P U ) , ( .
Aplicando o teorema do valor mdio ao integral definido obtemos
1 0 , ) , ( < < + = x y x x P U
x
.
Portanto
1 0 ), , ( < < + =
y x x P
x
U
x

e levando em conta a continuidade da funo ) , ( y x P obtemos

55
) , ( ) , ( lim lim
0 0
y x P y x x P
x
U
x
U
x
x
x
= + =

.
Analogamente se demonstra que ) , ( y x Q
y
U
=
.
Portanto 3 2 est demonstrado.

4 3 . Seja R R G y x U
2
: ) , ( tal que dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + = . Ento
) , ( y x P
x
U
=
e ) , ( y x Q
y
U
=
com ) , ( y x P e ) , ( y x Q continuas em G . Na base do

teorema de Schwarz temos :
y
P
x y
U
y x
U
x
Q
2 2
,
isto , 4 3 est demonstrado.

1 4 . Seja verificada a condio IV do teorema e seja G L linha fechada,
seccionalmente regular que delimita o domnio G . Ento aplicando o teorema de Green
obtemos
0 0 ) , ( ) , ( = =
|
|
\
|
= +

dy dx dy dx
y
P
x
Q
dy y x Q dx y x P
G G L
.
Portanto
0 ) , ( ) , ( = +
L
dy y x Q dx y x P .
O teorema est demonstrado.

Nota 12.4. Da equivalencia das condies I-IV do teorema resulta que a condio III
representa a condio necessria e suficiente da independencia de caminho dos integrais
de linha de
a
2 specie, mas na prtica e mais facil aplicar outra condio necessria e
suficiente - a condio IV do teorema (se
x
Q
y
P
, ento dy y x Q dx y x P ) , ( ) , ( +
diferencial total da funo ) , ( y x U , isto , dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + = ).

Nota 13.4. Chama-se ateno que todas as condies do teorema so essenciais para
independencia do integral de caminho.
Por exemplo, para o integral

+
+
+
L
dy
y x
x
dx
y x
y
2 2 2 2
,
onde L a circunferncia de raio R temos:

2 2 2
2 2
2 2 2
2 2 2
2 2
) ( ) (
2
, ) , (
y x
y x
y x
y y x
y
P
y x
y
y x P
+
+
=
+
+
=
= ;

2 2 2
2 2
2 2 2
2 2 2
2 2
) ( ) (
2
, ) , (
y x
y x
y x
x y x
x
Q
y x
x
y x Q
+
+
=
+
+
=
+
= .

56
A condio IV, formalmente, verificada, mas o integrqal no nulo. Realmente,
considerando a representao paramtrica da circunferncia,
[ ] 2 , 0 , , cos = = t Rsent y t R x , obtemos:
=
|
\
|

+
+
+
=
=
+
+
+
2
0
2 2 2 2 2 2 2 2
2 2 2 2
) cos (
cos
cos
) (
cos
dt t R
t sen R t R
t R
dt Rsent
t sen R t R
Rsent
dy
y x
x
dx
y x
y
L

2
cos
cos
2
0
2
0
2 2 2 2
2 2 2 2
= =
|
|
\
|
+
+
=

dt dt
t sen R t R
t R t sen R
.
Na realidade no h contradio com o teorema. Neste exemplo as funes
) , ( y x P , ) , ( y x Q e as suas derivadas
y
P
,
x
Q
no so definidas no ponto (0,0) e

portanto o domnio delimitado de circunferncia no simplesmente conexo.

Nota 14.4.
Se
, :
2 2
R R D F
F

( ) ) , ( ), , ( ) , ( y x Q y x P y x F =

de classe
1
C em
F
D G e R R G y x U
2
: ) , ( tal que
dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + = ,
ento porque
dy y x Q dx y x P dy
y
U
dx
x
U
y x dU ) , ( ) , ( ) , ( + =
=
tem-se
( ) ) , ( , ) , ( , y x Q y x P
y
U
x
U
=
|
|
\
|
.

Portanto a funo ( ) ) , ( ), , ( ) , ( y x Q y x P y x F =
diz-se um campo gradiente e a funo

) , ( y x U diz-se funo potencial geradora de
F .

Determinao da funo potencial geradora.

Do teorema resulta que para calcular um integral de linha de
a
2 espcie
+
AB
dy y x Q dx y x P ) , ( ) , ( ,
que no depende de caminho de integrao, necessrio determinar uma funo
potencial geradora.
Na demonstrao do teorema foi provado que se
, :
2 2
R R D F
F

( ) ) , ( ), , ( ) , ( y x Q y x P y x F =

de classe
1
C em
F
D G , ento

57
dy y x Q dx y x P ) , ( ) , ( + (25.4)
diferencial total de uma funo se e s se .
x
Q
y
P
A seguir foi demonstrado que

se
x
Q
y
P
, ento a funo que verifica a relao dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + =

dada por

+ = + =
) , (
) , (
0 0
) , ( ) , ( ) , ( ) , ( ) , (
y x
y x AB
dy y x Q dx y x P dy y x Q dx y x P y x U . (26.4)
Para determinar a funo ) , ( y x U consideramos que (25.4) diferencial total da funo
) , ( y x . Ento ) , ( y x P
x
=

e ) , ( y x Q
y
=

e a diferena C y x U y x = ) , ( ) , ( ,
onde C um valor constante (resulta da frmula de Lagrange dos acrescimos finitos
para funes de duas variveis, porque 0 ) ( ) ( =
U
y
U
x
). Portanto
C y x U y x + = ) , ( ) , ( . (27.4)
Fazendo
0 0
, y y x x = = de (26.4) obtemos 0 ) , (
0 0
= y x U e de (27.4) obtemos
) , (
0 0
y x C = . Substituindo em (27.4) temos
) , ( ) , ( ) , (
0 0
y x y x y x U =
e de (26.4) obtemos
) , ( ) , ( ) , ( ) , (
0 0
) , (
) , (
0 0
y x y x dy y x Q dx y x P
y x
y x
= +
(28.4)
ou
C dy y x Q dx y x P y x
y x
y x
+ + =
) , (
) , (
0 0
) , ( ) , ( ) , ( . (29.4)
Na frmula obtida fazendo
1 1
, y y x x = = obtemos a frmula
) , (
) , (
0 0 1 1
) , (
) , (
1 1
0 0
1 1
0 0
) , ( ) , ( ) , ( ) , ( ) , (
y x
y x
y x
y x
y x y x y x dy y x Q dx y x P = = +
. (30.4)
A frmula (30.4) semeliante formula de Barrow e aplicavel s no caso quando o
integral no depende de caminho de integrao.


58
Na base dos resultados obtidos podemos indicar um mtodo de determinao de
) , ( y x U .
Para determinar a funo ) , ( y x U utilizando (29.4) e suficiente escolher um ponto
G y x ) , (
0 0
e calcular o integral ao longo de qualquer linha que une ) , (
0 0
y x com
G y x ) , ( . Mas porque o integral no depende do caminho de integrao escolhemos a
linha que reunio de dois segmentos paralelos aos eixos de coordenadas (figura 22).
Ento

+ + + = +
) , (
) , (
) , (
) , (
) , (
) , (
0
0
0 0 0 0
) , ( ) , ( ) , ( ) , ( ) , ( ) , (
y x
y x
y x
y x
y x
y x
dy y x Q dx y x P dy y x Q dx y x P dy y x Q dx y x P .
Levando em conta que de ) , (
0 0
y x at ) , (
0
y x se tem
0
y y = e 0 = dy e de ) , (
0
y x at
) , ( y x se tem x constante e 0 = dx obtemos:
C dy y x Q dx y x P y x U
y
y
x
x
+ + =

0 0
) , ( ) , ( ) , (
0
,
onde o primeiro integral calculado para y constante e o segundo integral para x
constante.

Analogamente, se para
, :
3 3
R R D F
F

( ) ) , , ( ), , , ( ), , , ( ) , , ( z y x R z y x Q z y x P z y x F =

e para qualquer linha
F
D AB se tem que o valor do integral
dz z y x R dy z y x Q dx z y x P W
AB
) , , ( ) , , ( ) , , ( + + =

mesmo, ento dizemos que o integral no depende de caminho e o campo vectorial
3 3
: R R D F
F

diz-se conservativo em
F
D (figura 23).

Recorda-se, que o domnio fechado
3
R G diz-se simplesmente conexo, se para
qualquer linha de Jordan L includa em G exista pelo menos uma superfcie com o
bordo L includa em G .

59
Exemplos de domnios simplesmente conexos em
3
R so: a bola, a esfera, a
regio includa entre duas esferas concntricas. O toro um exemplo de domnio que
no simplesmente conexo (figura 24).

Teorema 2.4.
Seja ( ) ) , , ( ), , , ( ), , , ( ) , , ( z y x R z y x Q z y x P z y x F =
de classe
1
C no domnio
fechado, simplesmente conexo
3
R G . Ento as seguintes quatro condies so
equivalentes:

I. Para qualquer linha fechada, seccionalmente regular G L tem-se

0 ) , , ( ) , , ( ) , , ( = + +
L
.
II. Para quaisquer dois pontos G B A , o integral de linha de
a
2 espcie
+ +
AB
dz z y x R dy z y x Q dx z y x P ) , , ( ) , , ( ) , , (
no depende de caminho de integrao em G .

III. Existe uma funo real R R G z y x U
3
: ) , , ( tal que
dz z y x R dy z y x Q dx z y x P z y x dU ) , , ( ) , , ( ) , , ( ) , , ( + + =
e para qualquer linha seccionalmente regular G AB tem-se

) ( ) ( ) , , ( ) , , ( ) , , ( A U B U dz z y x R dy z y x Q dx z y x P
AB
= + +
. (31.4)

IV. No domnio G tem-se

. , ,
x
R
z
P
z
Q
y
R
x
Q
y
P
(32.4)

Nota 15.4.

Se
, :
3 3
R R D F
F

( ) ) , , ( ), , , ( ), , , ( ) , , ( z y x R z y x Q z y x P z y x F =

de classe
1
C em
F
D G e R R G z y x U
3
: ) , , ( tal que
dz z y x R dy z y x Q dx z y x P z y x dU ) , , ( ) , , ( ) , , ( ) , , ( + + = ,
ento porque

dz z y x R dy z y x Q dx z y x P dz
z
U
dy
y
U
dx
x
U
z y x dU ) , , ( ) , , ( ) , , ( ) , , ( + + =
=
tem-se
( ) ) , , ( , ) , , ( , ) , , ( , , z y x R z y x Q z y x P
z
U
y
U
x
U
=
|
|
\
|
.


60
Portanto a funo ( ) ) , , ( ), , , ( ), , , ( ) , , ( z y x R z y x Q z y x P z y x F =
diz-se um campo
gradiente e a funo ) , , ( z y x U diz-se funo potencial geradora de
F .

Nota 16.4. Porque

|
|
\
|
+
|
|
\
|
+
|
|
\
|
=
|
\
|
k
y
P
x
Q
j
x
R
z
P
i
z
Q
y
R
R Q P
z y x
k j i
F rot
conclumos que as condies (26.4) de IV so equivalentes

= =
|
\
|
0 ) 0 , 0 , 0 ( F rot .
Nota 17.4. Da equivalencia das condies I-IV do teorema resulta que a condio III
representa a condio necessria e suficiente da independencia de caminho dos integrais
de linha de
a
2 specie, mas na prtica e mais facil aplicar outra condio necessria e
suficiente - a condio IV do teorema (se . , ,
x
R
z
P
z
Q
y
R
x
Q
y
P
, ento
dz z y x R dy z y x Q dx z y x P z y x dU ) , , ( ) , , ( ) , , ( ) , , ( + + = ) diferencial total da funo
) , , ( z y x U , isto , dz z y x R dy z y x Q dx z y x P z y x dU ) , , ( ) , , ( ) , , ( ) , , ( + + = ).

Nota 18.4. Chama-se ateno que todas as condies do teorema so essenciais para
independencia do integral de caminho.

Determinao da funo potencial geradora.

Do teorema resulta que para calcular um integral de linha de
a
2 espcie
+ +
AB
dz z y x R dy z y x Q dx z y x P ) , , ( ) , , ( ) , , ( ,
que no depende de caminho de integrao, necessrio determinar uma funo
potencial geradora ) , , ( z y x U tal que
. ) , , ( ), , , ( ), , , ( z y x R
z
U
z y x Q
y
U
z y x P
x
U
=

Para determinar a funo ) , , ( z y x U e suficiente escolher um ponto G z y x ) , , (
0 0 0
e
calcular o integral ao longo de qualquer linha que une ) , , (
0 0 0
z y x com G z y x ) , , ( .
Mas porque o integral no depende do caminho de integrao escolhemos a linha que
reunio de trs segmentos paralelos aos eixos de coordenadas (figura 25).
Ento
. ) , , ( ) , , ( ) , , ( ) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , ( ) , , ( ) , , ( ) , , (
) , , (
) , , (
) , , (
) , , (
) , , (
) , , (
) , , (
) , , (
0
0
0 0
0 0
0 0 0 0 0 0

+ + + + + +
+ + + = + +
z y x
z y x
z y x
z y x
z y x
z y x
z y x
z y x


61

Levando em conta que
de ) , , (
0 0 0
z y x at ) , , (
0 0
z y x se tem 0 , ,
0 0
= = = dy z z y y e 0 = dz ,
de ) , , (
0 0
z y x at ) , , (
0
z y x se tem x constante ( 0 = dx ), ,
0
z z = e 0 = dz ,
de ) , , (
0
z y x at ) , , ( z y x se tem x constante ( 0 = dx ) e y constante ( 0 = dy )
obtemos:

. ) , , ( ) , , ( ) , , ( ) , , (
0 0 0
,
0 0 0
C dz z y x R dy z y x Q dx z y x P z y x U
z
z
y
y
x
x
+ + + =

(33.4)

onde o primeiro integral calculado para y e z constantes, o segundo integral para x e
z constantes e o terceiro para x e y constantes.

Exemplo 9.4.

Calcular o integral
dz e yz y x dy e e z z x dx y xe e yz xyz
x
AB
x x x x
) 3 2 ( ) 2 ( ) 2 4 (
2 2 3 2 3
2 2
+ + + + +
,
onde AB a linha
=
= +
, 0
, 1
2 2 2
y e
z y x
x
e ) , , 1 ( ), 0 , 1 , 0 ( e e B A = = .

Resoluo.

Neste caso no facil determinar a representao paramtrica da linha e por isso
escolhemos outro mtodo para calcular o integral.
Verifiquemos as condies:
. , ,
x
R
z
P
z
Q
y
R
x
Q
y
P

Temos

62
. 3 2 ) , , ( , 2 ) , , ( , 2 4 ) , , (
2 2 3 2 3
2 2
x x x x x
e yz y x z y x R e e z z x z y x Q y xe e yz xyz z y x P + = + = + =

x
Q
y
P
xe e z xz
x
Q
xe e z xz
y
P
x x
x x
+ =
+ =
2
2
2 4
2 4
3
3
,
z
Q
y
R
e z x
z
Q
e z x
y
R
x
x
+ =
+ =
2 2
2 2
3 2
3 2
,

z
P
x
R
e yz xy
z
P
e yz xy
x
R
x
x
+ =
+ =
2
2
3 4
3 4
.
Portanto o integral no depende do caminho de integrao e podemos aplicar a frmula

C dz z y x R dy z y x Q dx z y x P z y x U
z
z
y
y
x
x
+ + + =

0 0 0
) , , ( ) , , ( ) , , ( ) , , (
,
0 0 0

para determinar a funo potencial geradora.
Porque o domnio de
( )
x x x x x
e yz y x e e z z x y xe e yz xyz z y x F
2 2 3 2 3
3 2 , 2 , 2 4 ) , , (
2 2
+ + + =

3
R , consideremos ) 0 , 0 , 0 ( ) , , (
0 0 0
= z y x e portanto
= + + + =

C dz z y x R dy y x Q dx x P z y x U
z
z
y
y
x
x
0 0 0
) , , ( ) 0 , , ( ) 0 , 0 , ( ) , , (
,

= + + + = + + + + =

C e yz yz x ye C C dz e yz y x dy e dx
z
x x
z
z
x
y
y
x
x
x
0
3 2
1
2 2
,
) 2 ( ) 3 2 ( ) ( 0
2
0 0
2
0

C e yz yz x ye
x x
+ + + =
3 2
2
2
.
Ento
= + + + + +
dz e yz y x dy e e z z x dx y xe e yz xyz
x
AB
x x x x
) 3 2 ( ) 2 ( ) 2 4 (
2 2 3 2 3
2 2

= + + + + = = ) 0 1 0 1 0 2 1 ( 1 2 ) 0 , 1 , 0 ( ) , , 1 (
0 3 0 3 2 1
2
e e e e e e e e e U e e U

1 1 2
2 5 5 2 2
+ + = + + + = e e e e e .

Integrais de linha de um campo escalar

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Integrais de linha de um campo escalar

Загружено:

Авторское право:

Доступные форматы

Anatolie Sochirca ACM DEETC ISEL

= = = = t t t t isto , a astride uma trajectria seccionalmente

= , resulta que ) (x f ser continua se ) ( e ) ( t t so continuas em

) , , ( exista, independente de representao paramtrica e tem-se:

+ ) ( , onde AB o lao da direita da lemniscata de

. Tomemos como parmetro o ngulo .

a velocidade de um fluido incompressvel com

o vector unitrio normal a linha L no ponto

n o vector unitrio normal a linha L no ponto L y x M ) , ( , orientado para o

t sen t sen t sen t sen

t sen t sen t sen t sen

e os eixos Oz Oy Ox e , ), sendo que o sentido

corresponde orientao de AB , isto ,

a velocidade de um fluido incompressvel com

n o vector unitrio normal a linha L no ponto L y x M ) , ( , orientado para o

, para movimentar uma

resulta a existncia do integral duplo

. Integrando em relao varivel y obtemos:

. Integrando em relao varivel x obtemos:

com ) , ( y x P e ) , ( y x Q continuas em G . Na base do

no so definidas no ponto (0,0) e

diz-se um campo gradiente e a funo

A seguir foi demonstrado que

, ento a funo que verifica a relao dy y x Q dx y x P y x dU ) , ( ) , ( ) , ( + =

Вам также может понравиться