La Integral Curvilnea

UNA INTRODUCCIN BSICA

Carmen SNCHEZ DEZ 01. Una introduccin La integral de Riemann unidimensional requiere una funcin definida y continua sobre el intervalo [a,b] de integracin:

f ( x).dx
a

Considerando Rn, podemos extender el concepto de integracin sustituyendo el intervalo unididimensional por una curva vectorial

= (1 , 2 ,..., n ) .

Si el integrando es la funcin

[ r ] descrita mediante una funcin r

f = ( f1 , f 2 ,..., f n ),

definida y acotada sobre dicha curva, la integral curvilnea se puede expresar por

donde f .d es el producto interior de ambas funciones vectoriales. Pueden ser consideradas estas integrales, por consiguiente, integrales de RiemannStieltjes, en las que el integrando y el integrador son funciones vectoriales.

r r

r r f r .d [ ]

02. Definicin de integral curvilnea Sea

P = {t0 , t1 ,..., tm } una particin de [a,b] ( P [a, b ]) rk [tk 1 , tk ], k = 1,..., m r Sea f = ( f1 ,..., f n ) una funcin vectorial definida sobre
Sea Sea finalmente la expresin suma de productos interiores
m r r r r r r S ( P, f , ) = f ( (rk )). (tk ) (tk 1 ) k =1

= (1 ,...,n ) definida en [a,b].

una

curva

de

Rn descrita por la funcin vectorial

y sea

(1)

En estas condiciones, decimos que existe la integral curvilnea de

, o bien, la integral de lnea de f respecto de , a lo largo r si existe un nmero real I con la siguiente propiedad:

r f respecto de

[]

de la trayectoria

r r > 0, P [a, b]/ P P ( , , ) < I S P f rk [tk 1 , tk ], k = 1,..., n

Cuando tal nmero real existe, es nico, y se puede representar por

I=

r r f r .d [ ]

03. Teorema de la expresin escalar Si son , P, tiene que

r f los indicados antes en la definicin de integral curvilnea, se

[]
r

r r n b r f .d = f j (t ) .d j (t )
j =1 a

[ ]

siempre que existan las integrales Riemann-Stieltjes del segundo miembro. Demostracin: Desarrollando los productos internos de la expresin (1) escribimos:
n m r r r S ( P, f , ) = f j ( (rk )). j (t k ) j (t k 1 )

j =1 k =1

y para cada ndice j es:

m r r r S j ( P, f , ) = f j ( (rk )). j (t k ) j (t k 1 )

k =1

con I j =

[
b a

r f j (t ) .d j (t )

Como consecuencia, podemos expresar la integral curvilnea como la suma

[]
r

r r b f .d = f1.d1 + ... + f n .dn

a

04. Propiedad de linealidad Si son

r r f1 , f 2 funciones vectoriales definidas y acotadas en , se cumple que si existen

P,

los indicados antes en la definicin de integral curvilnea, y son

las integrales

f .d
[r]
1

f .d
[r]
2

tambin existe la integral

(c f
[]
r

1 1

r r + c2 f 2 .d , c1 , c2 R

y adems se verifica la igualdad:

r r r ( ) c f + c f . d = c f . d + c f . d , [] [] [] r r r r
r
1 1 2 2 1

c1 , c2 R

Demostracin: Si hacemos

r r r g = c1 f1 + c2 f 2 , podemos escribir:

m m r r r r r r r r r r S ( P, g , ) = g ( (rk )). (t k ) (t k 1 ) = c1 f1 ( (rk )). (t k ) (t k 1 ) + k =1 k =1 m r r r r r r r r + c 2 f 2 ( (rk )). (t k ) (t k 1 ) = S ( P, f 1 , ) + S ( P, f 2 , ) k =1

> 0, elijamos particiones p' P, p" P tales que

r r S ( P, f1 , )

f .d
[r]
1

<

2 c1

r r S ( P, f 2 , )

f .d
[r]
2

<

2 c2

Tomando la particin p = p ' p" , se tiene que para una particin P mas fina que p ser:

r r S ( P, f1 , ) c1
de lo cual

[]
r

r r f1.d c2

r r + c2 = f 2 .d < c1 r 2 c1 2 c2 [ ]

(c f
[]
r

1 1

r r + c2 f 2 .d = c1

f .d + c f .d ,
[]
r

[]
r

c1 , c2 R

05. Propiedad de aditividad Si es = 1 + 2 la curva descrita por la funcin vectorial , se tiene que, si existen dos de las integrales siguientes, tambin existir la tercera integral, cumplindose que

(r) (r) (r)

r r r r r r f . d = f . d + f r r r .d [ ] 1 [ ] 2 [ ]
Demostracin: Consideremos un punto c del interior del intervalo sobre el cual est definida la funcin vectorial

, de modo que

[a, c ] = 1 c ( a, b) / v [c, b] = 2

Sea tambin la particin verifica obviamente que

P P[a, b], y sean P ' = P [a, c ], P" = P [c, b] . Se

r r r r r r S ( P, f , ) = S ( P' , f , ) + S ( P" , f , )
Por otra parte, si existen las integrales
1

f .d , f .d
[r]
2

r r

r r

[r]

entonces, para un

> 0, P' P[a, c ] P" P[c, b]

' "

tales que, para cualesquiera

particiones ms finas P ' P , P" P , se verifica:

r r f r .d < 2 1 [ ] r r r r S ( P" , f , ) f .d < r 2 2 [ ] r r S ( P' , f , )

Tomando ahora la particin de todo el intervalo, unin de las particiones consideradas antes:

P = P' P" , se tiene que para toda particin P ms fina, P P , se cumple que P ' P' , P" P" . De lo cual:
r r r r S ( P' , f , ) + S ( P" , f , )
o bien:

[r]

r r f .d c2

r r f r .d < 2 + 2 = 2 [ ]

r r S ( P, f , )
por lo que

[r]

r r f .d c2

r r f r .d < 2 [ ]

r r r r r r f . d = f . d + f r r r .d [ ] 1 [ ] 2 [ ]

06. Equivalencia. Propiedad de equivalencia Dos funciones vectoriales continuas,

intervalos reales a, b y c, d , se dicen propiamente equivalentes sii existe una funcin continua h, estrictamente creciente:

[ ] [

definidas respectivamente en los

h : [c, d ] [a, b]
con h(c ) = a y h( d ) = b , tal que

r r t [c, d ], (t ) = [h(t )]
Obviamente, h es uno a uno en c, d , existiendo, por consiguiente, la funcin inversa h
1

: [a, b] [c, d ] , que es tambin uno a uno.

Si la funcin h : c, d a, b fuera estrictamente decreciente, ambas funciones vectoriales continuas,

] [ ]

r
y

, se dicen impropiamente equivalentes.

Se verifica la siguiente propiedad de equivalencia: Sean

dos funciones vectoriales equivalentes definidas respectivamente en

los intervalos reales a, b y c, d si existe la integral

[ ] [

] que describen la misma curva .

r r f r .d [ ]

Se cumple que

tambin existe la integral

[ ]

r r f .d

y, adems:

(si, respectivamente, es Demostracin:

r r r r f . d = f r r .d [ ] [ ] r

= [ ] )

[]

P P[a, b] / P = {y 0 , y1 ,..., y n } le corresponde la particin P ' P[a, b] / P' = {x0 , x1 ,..., x n } tal que x r = h( y r ), r = 0,1,..., n . r r Como existe la integral f .d , se cumplir: r [ ] r r r r > 0, P' P[a, b] / si P' P' S ( P' , f , ) f .d < r [ ]
que a toda particin

Si es h la funcin continua de la equivalencia ( t c, d ,

r (t ) = [h(t )] ), se tiene ]

Como h es uno a uno, h

: [a, b] [c, d ]
'

Sea P P c, d / P = h ( P ) , y sea P P c, d / P P . Consideremos:

n r r r r r r S ( P, f , ) = f [ (u k )][ . ( y k ) ( y k 1 )] , siendo u k [ y k 1 , y k ] k =1

O bien, por ser equivalentes las funciones

n r r n r r r r r r r r S ( P, f , ) = f (h(u k )) . (h( y k )) (h( y k 1 )) = f (v k )) . ( x k ) ( x k 1 ) =

r r = S ( P' , f , )
de lo cual

k =1

][

k =1

][

r r S ( P, f , )
resultando, pues, que

f .d []
r

r r

<

r r r r f . d = f .d r r [ ] [ ] r
y

Si h fuera estrictamente decreciente ( obtiene de forma anloga:

impropiamente equivalentes) se

r r r r f . d = f r r .d [ ] [ ]

07. Propiedad de acotacin en curvas rectificables Sea

continua

definida sobre el intervalo [a, b ] . r Si f est definida y acotada sobre , esto es, si

una curva rectificable de longitud L( ) descrita por la funcin vectorial

r r r M R / f ( x ) M , x
se verifica que caso de existir la integral

r r f r .d ( )
entonces

f .d ()
r

r r

M .L( )

Demostracin:

r r S ( P, f , ) =

[ f ( (s ))].[ (t
m

r r

k =1

m r r r r r ) (t k 1 ) f ( s k ) . (t k ) (t k 1 ) k =1

m r r M . (t k ) (t k 1 ) M .L( ) k =1

por tanto:

f .d ()
r

r r

M .L( )

08. Integral curvilnea de un gradiente

vectorial

r S R n abierto, sea : S R / C 1 en S y sea f : S R n continua en S tal que r r r r r f ( x ) = ( x ), x S . r r Para toda curva entre x , y S , regular a trozos en S y descrita por la funcin r

regular a trozos, se verifica que

[ ]
r r x, y

r r f .d =

.d = ( y) ( x ) [ ]
r r x, y

Demostracin:

: [a, b] R n , eligiendo [a, b] de modo r funcin derivada ' = (1 ' ,..., n ') . Consideremos
Sea la forma

que

(a ) = x , (b) = y ,

r r

y sea su

P = {t 0 = a, t1 ,..., t m = b} y definamos la funcin real F : [a, b ] R por:

r t [a, b ], F (t ) = ( (t ) )

la particin P del intervalo a, b de

[ ]

de lo cual

r r r r r r F ' (t ) = ( (t )). ' (t ) = f [ (t )]. ' (t )

vlida para cada t de cada subintervalo abierto Por la propiedad de la expresin escalar:

(t k 1 , t k )
tk

r r x, y]

m r r n b r f .d = f r [ (t )].d r (t ) = r =1 a tk

tk

k =1 t k 1 r =1

m r f r [ (t )]. r ' (t ).dt =

k =1 t k 1

f [ (t )]. ' (t ).dt =

r r

m m r r t = F ' (t ).dt = F (t ) t k = [F (tk ) F (tk 1 )] = F (tm ) F (t0 ) = F (b) F (a ) = ( y ) ( x ) k =1 t k 1 k =1

k 1

k =1

09. Bibliografa APOSTOL, T.M., Anlisis Matemtico. Editorial Revert, 1972 CASTRO BRZEZICKI, A., Complementos de Matemticas. Ed. SAETA, 1970 DIEUDONNE, J., Elementos de Anlisis Matemtico. Editorial Revert, 1972 SPIVAK, M., Clculo en Variedades. Editorial Revert, 1979

Carmen SANCHEZ DEZ titakrmen@hotmail.com