PROBLEMAS DEL TEOREMA FUNDAMENTAL DE LAS INTEGRALES DE LNEA

TEOREMA 1 (TEOREMA FUNDAMENTAL) Sea C una curva suave dada por la funcin vectorial r(t), a t b. Sea f una funcin derivable de 2 3 variables, cuyo vector gradiente f es continuo sobre C. Entonces:

f dr = f (r(b)) f (r(a))
C

TEOREMA 2

F dr
C

es independiente de la trayectoria en D si y slo si

F dr = 0
C

para toda

trayectoria cerrada C en D. TEOREMA 3 Sea F un campo vectorial continuo sobre una regin abierta conexa D. Si

F dr es
C

independiente de la trayectoria en D, entonces F es un campo vectorial conservativo sobre D; es decir, existe una funcin f tal que f = F. TEOREMA 4 Si F(x;y) = P(x;y) i + Q(x;y) j es un campo vectorial conservativo, donde P y Q tienen derivadas parciales de primer orden continuas sobre un dominio D, entonces en todo D tenemos que P Q = y x Este teorema se puede extender a 3 variables (se ver al estudiar el rotacional). TEOREMA 5 Sea F(x;y) = P(x;y) i + Q(x;y) j un campo vectorial sobre una regin simplemente conexa D. Supngase que P y Q tienen derivadas parciales continuas de 1 orden y que: P Q = y x Entonces F es conservativo (extensible a 3 variables). EQUIVALENCIAS

F conservativo. F dr independiente de la trayectoria.

C

F dr = 0 en una trayectoria cerrada.

C

Derivadas parciales cruzadas de F iguales en una regin simplemente conexa.

PROBLEMAS RESUELTOS 1.) Independencia del camino en una integral de lnea. Calcular el trabajo llevado a cabo por el campo de fuerza F al llevar un objeto desde A hasta B, siguiendo a) un camino compuesto de un tramo horizontal seguido de uno vertical; y b) un camino compuesto por un tramo vertical seguido de uno horizontal. Discutir si el resultado es lgico o no.

2 F( x; y ) = y 2 i 2 y j ; A(1;1) ; B(4;2) 4 x3 2x 12 1 3 4 Q P
y C1 (1;1) x C2 (4;-2)

SOLUCIN: a) Si llamamos C a la curva indicada, la podemos subdividir en las curvas C1 y C2 mostradas en la figura. En tal caso tendremos:

C1

C2

Ejecutando ambas integrales por separado tendremos (escogiendo parametrizaciones simples):

3 x = 1 + t 3 1 1 = C1 dt = , 0 t 3 Pdx + Qdy = 0 (1 + t ) 0 (1 + t )2 y = 1 C1 3 4

x = 4 3 2(1 t ) C2 , 0 t 3 Pdx + Qdy = dt = 0 4 y = 1 t C2 Con lo cual resulta:

1 2

t 1 t2 4

3 0

= 39 =3 2 4 4

Pdx + Qdy = 3 + (- 3 ) = 0 4 4

y b) Llamando C a este nuevo camino, vemos que lo podemos separar en dos tramos C3 y C4. Tendremos entonces, igual que en el apartado anterior, que C4
*

(1;1)

C3 x

C*

C3

C4

(4;-2)

Realizando parametrizaciones parecidas a las ejecutadas en el apartado anterior, llegamos a lo siguiente: x = 1 3 2(1 t ) C3 , 0 t 3 Pdx + Qdy = (1)dt = 2t t 2 0 1 y = 1 t C3

3 0

= 3

2 x = 1 + t 3 ( 2) 4 C2 , 0 t 3 Pdx + Qdy = dt = 2 0 (1 + t ) 1+ t y = 2 C4

=3
0

Sumando esto se obtiene:

C*

Pdx + Qdy = 3 + 3 = 0

Por ambas vas obtenemos el mismo resultado. Esto es lgico, ya que vemos que: P 2 y Q = = y x 2 x Las derivadas cruzadas son iguales, excepto cuando x = 0, pero esto ltimo no ocurre dentro de un dominio simplemente conexo que abarca a ambos caminos analizados. Por lo tanto, por el teorema 5 las integrales sobre ambos caminos deben ser iguales. 2) Clculo de una integral de lnea usando una funcin potencial. Calcular la integral de lnea del campo vectorial F(x;y) = P(x;y)i + Q(x;y)j = eyi + xeyj a lo largo de la trayectoria: r(t) = (senh(5t4)/senh5; t4 + 5t3 - 3t2 - 2t) , =0 t 1 SOLUCIN: P Q = ey = F es conservativo. Por lo tanto puede expresarse como el gradiente de y x una funcin potencial f; esto es: f = F. Si obtenemos tal funcin f, podremos aplicar el teorema fundamental de las integrales de lnea. Para ello notemos que:

f = P = e y f = xe y + g ( y ) x

(1),

donde g(y) es una funcin que depende solamente de la variable y. Si ahora derivamos la funcin f obtenida respecto a y, debemos llegar a una expresin equivalente a la otra funcin coordenada, esto es, Q. f = xe y + g ( y ) = Q = xe y g ( y ) = 0 g ( y ) = K y Reemplazando este ltimo resultado en (1), tenemos: f = xe y + K (2)

Ya tenemos la funcin potencial. Ahora podemos aplicar el teorema fundamental de las integrales de lnea:

F dr = f dr = f (r(1)) f (r(0))
C C

Calculando los puntos extremos de la curva con los valores correspondientes del parmetro tenemos:

senh 0 r (0) = ;0 = (0;0) senh 5

1 senh 1 4 ee r (1) = ;1 + 5 13 3 12 2 1 = 5 ;1 5 senh 5 e e

Aplicando ahora la funcin f dada por (2) a estos dos puntos tenemos: f (r (0)) = 0 + K f (r (1)) = e e 1 e+ K e5 e 5 e e 1 e e 5 e 5

Y finalmente:

F dr = f (r(1)) f (r(0)) =
C

De esta manera nos evitamos ejecutar una integral de lnea sumamente engorrosa. 2) Clculo de un trabajo mediante una funcin potencial. Dado el campo vectorial de fuerzas F(x;y;z) =4xez i + cosy j + (2x2ez + z) k , a) Determinar una funcin f tal que f = F.

b) Hallar el trabajo que desarrolla F cuando mueve una partcula desde el punto 2 2 2 al 0; 3 ;0 siguiendo el camino ms corto sobre la esfera x 2 + y 2 + z 2 = 3 , 2 2 ; 2 ; 2 2 expresndolo con 3 cifras decimales.

) (

SOLUCIN a) La funcin f que buscamos debe cumplir con las condiciones: (i) fx = 4xez (ii) fy = cosy (iii) fz = 2x2ez Integrando la condicin (i) tenemos:
f = 4 xe z dx = 2 x 2 e z + g 1 ( y; z )

Derivando ahora con respecto a y e introduciendo el resultado en la ecuacin (ii) tenemos:

f g1 = cos y g 1 = sen y + g 2 ( z ) = y y

Y ahora podemos introducir esta expresin en la correspondiente a f, y derivarlo con respecto a z e introducir el resultado en (iii):
f ( x; y; z ) = 2 x 2 e z + sen y + g 2 ( z ) f z = 2 x 2 e z + g 2 ( z ) = 2 x 2 e z + z g 2 ( z ) = 1 z 2 + K 2

Con esta expresin para g2, tenemos ahora la expresin final de f:

f ( x; y; z ) = 2 x 2 e z + sen y + 1 z 2 + K 2

b) Por el teorema fundamental de las integrales de lnea, podemos ahora calcular el trabajo como la diferencia de valores de la funcin potencial entre sus extremos final e inicial:
f (0; f(
1 2 3 2

;0) = 0,94072 + K
1 2

1 2

)+K

W = 0,94072 2,9278 = 1,987

-2,269 es un resultado incorrecto que se obtiene con la calculadora puesta en grados. 2) Limitaciones en la aplicacin del Teorema Fundamental de las integrales de lnea. yi + xj Sea F ( x; y ) = 2 x + y2 P Q a) Probar que en todo el dominio. = y x 5

b) Calcule F dr
C1

F dr
C2

, donde C1 y C2 son las mitades superior e inferior de la

circunferencia x2 + y2 = 1 de (1;0) a (-1;0). Cmo se explica que la integral dependa del camino en vista del resultado de (a)? SOLUCIN a)
P= y y2 x2 P (1) x 2 + y 2 2 y ( y ) = = 2 2 y x2 + y2 x2 + y2 x2 + y2 P Q = y y 2 2 2 2 x y x Q 1 x + y x(2 x) Q= 2 = = 2 2 2 2 2 y x +y x +y x2 + y2

Ntese que este resultado es vlido en todo el dominio, ya que, si bien las derivadas parciales no estn definidas en el (0;0), este ltimo no pertenece al dominio. b) Las curvas estn indicadas en la Parametrizando C1 e integrando F se tiene: x = cos t C1 , 0 t y = sen t figura. y

C1

(-1;0)

(1;0) C2

F dr =
C1 0

C1

Pdx + Qdy =

= sen t ( sen t )dt + cos t cos tdt =

Haciendo un trabajo similar para C2 es: x = cos t C1 , 0 t y = sen t

F dr = Pdx + Qdy = sen t ( sen t )dt + cos t ( cos t )dt = cos 2tdt = 0
C1 C1

La explicacin es que cualquier regin que abarque ambos caminos necesariamente debe ser no simplemente conexa (debe excluirse alguna subregin que incluya el (0;0), que no pertenece al dominio), y por ende no vale el teorema 5.