Integral de linha (funes vectoriais)

Seja r um caminho regular por seces em

Seja f uma funo vectorial em

e definida em I [a, b]

, definida e limitada no grfico de r .

Ento f .dr o integral de linha de f ao longo r e definido por

b

f .dr f [r (t )] . r(t ) dt
a

se o integral existir.

()
()

[ ]
1

Propriedades bsicas dos integrais de linha:

Linearidade:

Aditividade:

(af bg ).dr

a f .dr b g .dr

f .dr f .dr f .dr

C

C1

; C C1 C2

C2

Teorema
Se r e q forem dois caminhos equivalentes regulares por seces, ento

f .dr
C

f .dq
C

se r e q originarem C no mesmo sentido e

f .dr
C

f .dq
C

se r e q originarem C em sentidos opostos.

2 Teorema Fundamental do Clculo para Integrais de Linha

Seja um campo escalar diferencivel em que o gradiente

num conjunto aberto conexo S

contnuo

Ento para cada dois pontos a e b ligados por um caminho regular r em S

tem-se que :

. dr (b ) (a )

Consequncia: O integral de linha de um gradiente de um campo escalar

independente do caminho em qualquer conjunto aberto
conexo em S no qual o gradiente contnuo.

Seja f um campo vectorial contnuo num conjunto aberto conexo S

Ento as proposies seguintes so equivalentes:

a) f gradiente de um campo escalar em S;
b) o integral de linha de f independente do caminho em S ;
c) o integral de linha de f em torno de qualquer caminho fechado, regular por
seces, em S nulo.

Condies necessrias para um campo vectorial ser um gradiente

Seja f (f1 , f 2 ,

, f n ) um campo vectorial contnuo num conjunto

aberto conexo S

Se f um gradiente em S ento as derivadas parciais das componentes de f

esto relacionadas pelas equaes:
f i (x ) f j (x )

x j
xi

i, j 1, n

x S

(nota: a condio tambm suficiente se o conjunto S for convexo)

Integrais de linha relativamente ao comprimento de arco

(integral de linha de funes escalares)
Sejam um campo escalar definido e limitado em C ,
um caminho regular por seces, e grfico de r
Ento o integral de linha de relativamente ao comprimento de arco
ao longo de C representado por

ds
C

e definido por
b

ds ( r(t )) r(t ) dt
a

se o integral existir.
7

Teorema de Green
( para regies planas limitadas por curvas de Jordan regulares por seces)
Sejam P( x, y ) e Q ( x, y ) campos escalares continuamente diferenciveis
num conjuno aberto do plano XOY .
Seja C uma curva de Jordan, regular por seces e seja R a unio de C
com o seu interior e R S .
Ento verifica-se a identidade:

(
R

Q P
) dxdy
x y

Pdx Qdy
C

onde o integral de linha calculado ao longo de C no sentido directo.