Você está na página 1de 62

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.
Anatolie Sochirca ACM DEETC ISEL

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
;
Anatolie Sochirca ACM DEETC ISEL

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
= ).
As trajectrias ) ( e ) (
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
= ).
Anatolie Sochirca ACM DEETC ISEL

4
As trajectrias ) ( e ) (
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
Anatolie Sochirca ACM DEETC ISEL

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)
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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)
Anatolie Sochirca ACM DEETC ISEL

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 .
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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



Anatolie Sochirca ACM DEETC ISEL

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)
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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

\
|
= = =




Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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.

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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:

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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

\
|
+ + =
= |

\
|
+ = |

\
|
+ =


Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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:

Anatolie Sochirca ACM DEETC ISEL

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

= =



Anatolie Sochirca ACM DEETC ISEL

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

= ) , ( ;


Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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 .

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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

t sen t sen t sen t sen


a


= |

\
|
+ + + + +

2
4
7
2 2
4
) 2 ( 3 1 ) 2 ( 3 ln ) 2 ( 3 1 ) 2 ( 3
3 4
t sen t sen t sen t sen
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:

Anatolie Sochirca ACM DEETC ISEL

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
,

Anatolie Sochirca ACM DEETC ISEL

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 .
Anatolie Sochirca ACM DEETC ISEL

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
) (
Anatolie Sochirca ACM DEETC ISEL

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
l o comprimento do arco
i i
M M
1
. Seja
i
n i
l l =
1
max .
Escolhemos, arbitrariamente, os pontos
Anatolie Sochirca ACM DEETC ISEL

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)
Anatolie Sochirca ACM DEETC ISEL

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 | ) , , ( ) , , ( ) , , ( ) , , ( .
Anatolie Sochirca ACM DEETC ISEL

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
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
,
Anatolie Sochirca ACM DEETC ISEL

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.
Anatolie Sochirca ACM DEETC ISEL

36
4.3. Clculo dos integrais 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 ,
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
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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 .

Anatolie Sochirca ACM DEETC ISEL

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.

Calculemos o integral utilizando a frmula (10.4).
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);
Anatolie Sochirca ACM DEETC ISEL

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
Calculemos o integral utilizando a frmula (11.4).
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


Anatolie Sochirca ACM DEETC ISEL

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
: )) , , ( ), , , ( ), , , ( ( ) , , ( R R D z y x R z y x Q z y x P z y x F
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 ).
Anatolie Sochirca ACM DEETC ISEL

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
dz z y x R dy z y x Q dx 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( ) , ( ) , ( ) , (

Anatolie Sochirca ACM DEETC ISEL

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

Anatolie Sochirca ACM DEETC ISEL

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
l o comprimento do arco
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

Anatolie Sochirca ACM DEETC ISEL

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 .
Anatolie Sochirca ACM DEETC ISEL

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 =
Anatolie Sochirca ACM DEETC ISEL

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 .
Anatolie Sochirca ACM DEETC ISEL

49

Teorema de Green. Seja
1) ( ) ) , ( ), , ( ) , ( , :
2 2
y x Q y x P y x F R R D F
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 ) ( ) (
) , ( ) , (

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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
y x Q y x P y x F R R D F
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 .

Anatolie Sochirca ACM DEETC ISEL

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

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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

+
= .
Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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.


Anatolie Sochirca ACM DEETC ISEL

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 .
Anatolie Sochirca ACM DEETC ISEL

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 ) , , ( ) , , ( ) , , ( = + +

dz z y x R dy z y x Q dx z y x P
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
=
|
|

\
|

.

Anatolie Sochirca ACM DEETC ISEL

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

Anatolie Sochirca ACM DEETC ISEL

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
Anatolie Sochirca ACM DEETC ISEL

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 .

Interesses relacionados