10. Campos conservativos. Independencia de la trayectoria.

Una condición para que la integral de línea no dependa de la trayectoria que une a A con B es que exista φ tal que F = ∇ ⁡φ con φ ∈C1. En este caso podemos calcular la integral de línea usando cualquier camino que una A con B o también, usando el Teorema Fundamental para la integral de línea.

Definición 50.

Un conjunto D ⊂ ℝn se dice conexo si todo par de puntos de D se pueden unir con una curva regular a trozos contenida en D. Es decir, D es de "una sola pieza".

Un conjunto D ⊂ ℝn abierto y conexo se dice simplemente conexo si toda curva cerrada simple C en D, encierra una región que está también en D. Es decir, los conjuntos simplemente conexos no tienen "agujeros".

Un conjunto D ⊂ ℝn se dice convexo si para todo par de puntos A,B ∈D, el segmento de recta que une A con B está contenido en D, es decir, {A + t(B − A) : t ∈[0,1]}⊂ D.

PIC

Fig. 9.48:

Definición 51.

Sea F un campo vectorial definido sobre un conjunto abierto U. Si φ es una función diferenciable sobre U tal que F = ∇ ⁡φ, decimos que φ es una función potencial de F. También decimos que F es conservativo.

Si U es conexo y F conservativo, las funciones potenciales de F son iguales salvo constantes. También se puede mostrar que si F = (P,Q) y si Py≠Qx, entonces F no es conservativo (no tiene función potencial). La condición Py = Qx es solo necesaria para que F sea conservativo. La condición es necesaria y suficiente si U es simplemente conexo2 .

Teorema 44 — Test de derivadas mixtas.

1
Sea F = Pi + Qj es de clase C1 en un conjunto simplemente conexo D del plano. F es conservativo sii

∂P ∂y = ∂Q ∂x

2
Sea F = Pi + Qj + Rk es de clase C1 en un conjunto simplemente conexo D del espacio. F es conservativo sii

∂P ∂y = ∂Q ∂x ,∂P ∂z = ∂R ∂x ,∂Q ∂z = ∂R ∂y

Esto es equivalente a que la matriz jacobiana de F sea simétrica:

JF = ( ∂P ∂x ∂P ∂y ∂P ∂z ∂Q ∂x ∂Q ∂y ∂Q ∂z )

Si F es conservativo, las derivadas mixtas que enuncia el teorema son iguales, sin pedir nada sobre D.

Pero lo recíproco es lo delicado: si D es simplemente conexo y las derivadas mixtas son iguales, entonces sí se puede afirmar que F es conservativo. Sin D simplemente conexo, la igualdad de las derivadas mixtas podría no implicar que F sea conservativo.

Un ejemplo clásico es F = −y x2 + y2i + x x2 + y2j. Tiene derivadas mixtas iguales!. Pero F no es conservativo.

Este campo es de clase C1 en D = ℝ2 ∖{(0,0)}, que no es simplemente conexo (tiene un "agujero" en el origen).

Teorema 45 — Teorema Fundamental para integrales de línea.

Sea φ : D ⊂ ℝn→ℝ una función de clase C1 donde D es conexo y abierto. Sea C una curva regular a trozos en D parametrizada por r y sean A = r(a) y B = r(b); se tiene

∫ C∇ ⁡φ ⋅dr = φ(B) − φ(A)

Teorema 46 — Campos conservativos.

Sea D simplemente conexo. Sea C una curva orientada y simple contenida en D y parametrizada por r. Suponemos que C inicia en A y termina en B. Sea F un campo definido en D.

1
F es conservativo ⟺ existe φ de clase C1 tal que F = ∇ ⁡φ, sobre D.
2
Si F es conservativo, existe φ de clase C1 tal que ∫ CF ⋅dr = φ(B) − φ(A)
3
Independencia del camino. Si F es conservativo, ∫ CF ⋅dr = ∫ C′F ⋅dr donde C′ es cualquier curva, contenida en D, regular a trozos y que va de A a B.
4
F es conservativo ⟺ ∫ CF ⋅dr = 0 para cualquier curva cerrada simple C contenida en D.

Observe que si ∫ CF ⋅dr = 0 para alguna curva cerrada simple C, esto no significa que F sea conservativo. En la parte 3.) del Ejemplo 292 tenemos un campo con integral nula sobre una elipse pero que no es conservativo.

Ejemplo295Cálculo con una función potencial

Sea F(x,y,z) = (2xln ⁡ (yz) − 5yex)i + (x2 y − 5ex)j + (x2 z + 2z)k

Sea C una curva simple que une A = (2,2,1) con B = (3,1,e).

Calcule ∫ CF ⋅dr.


Solución. Vamos a calcular con una función potencial φ, es decir,

∫ CF ⋅dr = φ(B) − φ(A)

1
Región simplemente conexa. Hay muchas curvas que unen A = (2,2,1) con B = (3,1,e) en el primer octante (sin tomar fronteras). Esta región no tiene huecos, es simplemente conexa.

F es de clase C1 en la región D = {(x,y,z) : x > 0,y > 0,z > 0}. Esta región es simplemente conexa.

2
El campo es conservativo en esta región. Aplicamos el test:

∂P ∂y = −5ex + 2x y = ∂Q ∂x ,∂P ∂z = 2x z = ∂R ∂x ,∂Q ∂z = 0 = ∂R ∂y

Para algunos podría ser más cómodo expresarlo en términos de la simetría de la matriz Jacobiana:

JFJ = ( ∂P ∂x ∂P ∂y ∂P ∂z ∂Q ∂x ∂Q ∂y ∂Q ∂z ∂R ∂x ∂R ∂y ∂R ∂z ) = ( ∂P ∂x − 5ex + 2x y 2x z − 5ex + 2x y ∂Q ∂y 0 2x z 0 ∂R ∂z )

3
Función potencial. Podemos ahora calcular la integral usando una función potencial φ.

Como existe φ(x,y,z) tal que ∇ ⁡φ = F, entonces φx = P,φy = Q, y φz = R.

φx = 2xln ⁡ (yz) − 5yex ⟹ φ = ∫ 2xln ⁡ (yz) − 5yexdx = x2 ln ⁡ (yz) − 5yex + K 1(y,z). φy = x2 y − 5ex ⟹ φ = ∫ x2 y − 5exdy = x2 ln ⁡ y − 5yex + K 2(x,z). φz = x2 z + 2z ⟹ φ = ∫ x2 z + 2zdz = x2 ln ⁡ z + z2 + K 3(x,y).

Observemos que x2 ln ⁡ y + x2 ln ⁡ z = x2 ln ⁡ (yz).

Recolectando primitivas podemos "adivinar" que

φ(x,y,z) = x2 ln ⁡ (yz) − 5yex + z2 + K

lo cual podemos aceptar después de verificar que φx = P,φy = Q, y φz = R.

Finalmente,

∫ CF ⋅dr = φ(B) − φ(A) = −5e3 + 11e2 + 8 − 4log ⁡ (2) ≈−13.9207.

Ejemplo296Cálculo con "independencia del camino" y "función potencial"
Considere el campo de fuerzas
F(x,y,z) = 4xezi + cos ⁡ (y)j + 2x2ezk.

Sea C la curva de la Figura 9.49.

Calcule ∫ CF ⋅dr.

PIC

Fig. 9.49: Curva C.


Solución. Vamos a verificar que F es conservativo. Eso nos da derecho a calcular usando un camino C′ más sencillo o, usando la función potencial. Lo vamos a hacer de las dos maneras.

a
Simplemente conexo. F es de clase C1 sobre D = ℝ3 que es simplemente conexo (sin huecos).
b
Conservativo. F es conservativo. En efecto

∂P ∂y = 0 = ∂Q ∂x ,∂P ∂z = 4xez = ∂R ∂x , y ∂Q ∂z = 0 = ∂R ∂y

Cálculo.

1
Primer Manera: Como el campo es conservativo podemos usar un camino C′ que una A con B.

En este caso escogemos un camino C′ sencillo que inicia en (2,0,4) y termina en (0,0,0) (Figura 9.50).
{ −C1 : r1(t) = (t,0,4) con t ∈[0,2] −C2 : r2(t) = (0,0,t) con t ∈[0,4]

PIC

Fig. 9.50: C′= C 1 ∪C2.

∫ C′F ⋅dr = ∫ C 1F ⋅dr + ∫ C 2F ⋅dr = −∫ 02F(t,0,4) ⋅r 1′(t)dt −∫ 04F(0,0,t) ⋅r 2′(t)dt = −∫ 02(4e4t,1,2e4t2) ⋅(1,0,0)dt −∫ 04(0,1,0) ⋅(0,0,1)dt = −∫ 024te4dt = −8e4.

2
Segunda Manera: Con una función potencial φ.

Como existe φ(x,y,z) tal que ∇ ⁡φ = F = (P,Q,R), entonces φx = P,φy = Q, y φz = R.

{ φx = 4xez ⟹ φ = ∫ 4xezdx = 2x2ez + K 1(y,z), φy = cos ⁡ (y) ⟹ φ = ∫ cos ⁡ ydy = sen ⁡ y + K2(x,z) φz = 2x2ez ⟹ φ = ∫ 2x2ezdz = 2x2ez + K 3(x,y).

Recolectando primitivas podemos "adivinar" que

φ(x,y,z) = 2x2ez + sen ⁡ y + K

lo cual podemos aceptar después de verificar que φx = P,φy = Q, y φz = R.

Finalmente, ∫ CF ⋅dr = φ(0,0,0) − φ(2,0,4) = −8e4.

11.
Ejercicios

11.1Sea F un campo de fuerzas tal que F(x,y,z) = (2xy + z3)i + x2j + 3xz2k.
a.)
Demostrar que F es un campo de fuerzas conservativo.
b.)
Hallar una función potencial de F.
c.)
Determinar el trabajo realizado para desplazar un cuerpo en este campo desde la posición (1,1,1) hasta (1,1,2) .
Se omite.

Elabore su respuesta. Si tiene dudas, consulte con su prefesor preferiblemente. También puede comparar su respuesta con una consulta a la IA, para este ejercicio particular

Consultar una solución paso a paso
La IA puede cometer errores; verifique los procedimientos y resultados.

11.2Sea F un campo de fuerzas tal que F(x,y,z) = (yz − y2 + 2xz)i + (xz − 2xy)j + (xy + x2)k.
a.)
Demostrar que F es un campo de fuerzas conservativo.
b.)
Hallar una función potencial de F.
c.)
Determinar el trabajo realizado para desplazar un cuerpo en este campo desde la posición (0,1,0) hasta (−1,−1,0) .
Una función potencial es ϕ(x,y,z) = xyz − y2x + x2z

11.3
Sea F(x,y,z) = (2x + 5)i + (3y2)j + 1 zk
Sea C la trayectoria que va de A = (0,1,1) hasta B = (1,0,1) de acuerdo a la Figura 9.51.

1.
Verifique que el campo vectorial F es conservativo.
2.
Calcule la integral de línea ∫ CF ⋅dr utilizando una función potencial.
3.
Calcule la integral de línea ∫ CF ⋅dr, sin usar una función potencial.

PIC

Fig. 9.51: C
(a)
Como RotF = (0,0,0), entonces F es conservativo sobre cualquier región simplemente conexa donde z≠0.
(b)
∇ ⁡ϕ = F⟹ ϕ = ∫ 2x + 5dx = x2 + 5x + K1(y,z) ϕ = ∫ 3y2dy = y3 + K 2(x,z) ϕ = ∫ 1 zdz = ln ⁡ |z| + K3(x,y) ⟹ϕ(x,y,z) = x2+5x+y3+ln ⁡ z.

Luego, ∫ CF ⋅dr = ϕ(B) − ϕ(A) = 6 − 1 = 5

(c)
Como F es conservativo en regiones simplemente conexas, donde z no se anula, podemos tomar el camino C′ = C1 + C2 para integrar.
−C1 : r1(t) = (0,t,1) con t ∈[0,1].r1′(t) = (0,1,0) C2 : r2(t) = (t,0,1) con t ∈[0,1].r2′(t) = (1,0,0)

PIC

Fig. 9.52: C

Entonces,
∫ C′F ⋅dr = −∫ 01(5,3t2,1) ⋅ (0,1,0)dt + ∫ 01(2t + 5,0,1) ⋅ (1,0,0)dt = − 1 + 6 = 5

11.4
Sea F definido por F(x,y,z) = (yz + ycos ⁡ (xy))i + (xz + xcos ⁡ (xy))j + xyk

y C la trayectoria que va de A hasta B de acuerdo a la Figura 9.53.

1.
Verifique que el campo vectorial F es conservativo.
2.
Calcule la integral de línea ∫ CF ⋅dr utilizando una función potencial.
3.
Calcule la integral de línea ∫ CF ⋅dr sin usar una función potencial.

PIC

Fig. 9.53: C
1.
rotF = | i j k ∂ ∂x ∂ ∂y ∂ ∂z | = (x − x)i + (−y + y)j +(z + cos ⁡ (xy) + xycos ⁡ (xy) − (z + cos ⁡ (xy) + xycos ⁡ (xy)))k = (0,0,0)

2.
Sea G(x,y,z) una función potencial, así

•Gx(x,y,z) = yz + ycos ⁡ (xy)⟹G(x,y,z) = xyz + sen ⁡ (xy) + C1(y,z)

• ∂ ∂y(xyz + sen ⁡ (xy) + C1(y,z)) = xz + xcos ⁡ (xy)⟹C1y(y,z) = 0⟹C1(y,z) = C2(z)

• ∂ ∂z(xyz + sen ⁡ (xy) + C2(z)) = xy⟹C2′(z) = 0⟹C 2(z) = K

Así, G(x,y,z) = xyz + sen ⁡ (xy) + K, por lo que

∫ CF ⋅dr = G(0,0,0) − G(2,1,2) = K − (4 + sen ⁡ (2) + K) = −4 −sen ⁡ (2).

•Se seguirá la siguiente ruta

− C1 : r1(t) = (2,1,t),t ∈ [0,2]

− C2 : r2(t) = (t,1,0),t ∈ [0,2]

− C3 : r3(t) = (0,t,0),t ∈ [0,1]

PIC

Fig. 9.54: C

Así

∫ CF ⋅dr = −∫ 02(t + cos ⁡ (2),2t + 2cos ⁡ (2),2) ⋅ (0,0,t)dt −∫ 02(cos ⁡ t,tcos ⁡ t,t) ⋅ (1,0,0)dt −∫ 01(t,0,0) ⋅ (0,1,0)dt = −∫ 022tdt −∫ 02 cos ⁡ tdt − 0 = −t2 | 02 −sen ⁡ t | 02 = −4 −sen ⁡ (2)

11.5
Sea F definido por F(x,y,z) = xi −yj + zk

y C = C1 + C2 + C3 + C4 la curva que se muestra en la Figura 9.55.

1.
Verifique que el campo vectorial F es conservativo.
2.
Calcule la integral de línea ∫ CF ⋅dr utilizando una función potencial.
3.
Calcule la integral de línea ∫ CF ⋅dr sin usar una función potencial.

PIC

Fig. 9.55: C
∫ CF ⋅dr = 0

11.6
Sea F un campo de fuerzas tal que F(x,y,z) = (ycos ⁡ (xy) + 1 x + 1,xcos ⁡ (xy), 1 z + 1).

a.)
Demostrar que F es un campo de fuerzas conservativo.
b.)
Calcule la integral de línea ∫ CF ⋅dr donde C se muestra en la Figura 9.56.

PIC

Fig. 9.56: C
Se omite.

11.7
Sea F un campo de fuerzas
F(x,y,z) = − (2x + 3x2z2)i − (2y + 3y2z4)j − (2x3z + 4y3z3)k

a.)
Demostrar que F es un campo de fuerzas conservativo.
b.)
Calcule la integral de línea ∫ CF ⋅dr donde C se muestra en la Figura 9.57.

PIC

Fig. 9.57: C
Calcule usando el camino que va de (2,5,0) a (−2,5,0)

11.8
Considere el campo vectorial
F(x,y,z) = (yz2 −sen ⁡ xsen ⁡ (π − y))i + (xz2 −cos ⁡ (π − y)cos ⁡ x)j + 2xyzk

Sea C la curva que une los puntos (π,0,0) con (0,π,0), como se ve en la Figura 9.58.

1.
Verifique que F es conservativo.
2.
Calcule ∫ CF ⋅dr usando una función potencial.

PIC

Fig. 9.58: C

•F = (P,Q,R) es conservativo pues Py = z2 + sen ⁡ xcos ⁡ (π − y) = Qx, ry = 2xz = Qz y rx = 2yz = Pz.

•una función potencial es ϕ(x,y,z) = xyz2 + cos ⁡ (x)sen ⁡ (π − y) + K. Por lo tanto

∫ CF ⋅dr = ϕ(0,π,0) − ϕ(π,0,0) = 0

11.9 Sea F(x,y) = ( −y x2 + y2, x x2 + y2) definido en ℝ2 −{(0,0)}.
1.
Verifique que Py = Qx
2.
Verifique que ∫ CF ⋅ dr = 2π si C es la curva cerrada circunferencia x2 + y2 = 1
3.
¿Es F conservativo?
Si F fuera conservativo, ∫ CF ⋅ dr = 0 pero eso no es cierto. No se cumple la hipótesis de que el dominio de F sea simplemente conexo, tiene un hueco en (0,0).

11.10 Considere la curva orientada C y la superficie S tal y como se muestran en la Figura 9.59.
La curva C es la unión de dos curvas: C = C1 + C2

La superficie S : y2 = x − 1 está limitada por el plano S1 : y + z = 2.

Sea F(x,y,z) = cos ⁡ xsen ⁡ zi + 5j + cos ⁡ zsen ⁡ xk.

1.
Calcular la longitud de C2
2.
Calcular ∬SF ⋅NdS
3.
Calcular ∫ CF ⋅dr
4.
Calcule el área de la superficie S

PIC

Fig. 9.59: C
1.
Si y = t,

C2 : r2(t) = (t2 + 1,t,2 − t), t ∈[0,2]

s = ∫ C1 ⋅ ds = ∫ 024t2 + 2dt ≈ 5.12401

Si x = t⟹s = ∫ 15 1 2(t −1) + 1dt. Impropia convergente. Singularidad en t = 1

2.

Primera manera: Proyectando sobre Y Z

S : x = y2 + 1. N1 = (1,−2y,0)

∬SF ⋅NdS = ∫ 02 ∫ 02−y(cos ⁡ xsen ⁡ z,5,cos ⁡ zsen ⁡ x) ⋅ (1,−2y,0)dzdy = ∫ 02 ∫ 02−y(cos ⁡ (y2 + 1)sen ⁡ z −10y)dzdy = ∫ 02 −cos ⁡ (y2 + 1)cos ⁡ z −10yz| 02−ydy = ∫ 02 −cos ⁡ (y2 + 1)cos ⁡ (2 − y) −10y(2 − y) + cos ⁡ (y2 + 1)dy

PIC

Fig. 9.60:


Segunda manera: Proyectando sobre XZ

S : y = x − 1. N2 = ( 1 2x − 1,1,0).

Este vector N2 es opuesto a N1, por tanto la integral de flujo quedará con signo contrario.

La integral es impropia en ambos órdenes "dzdx" y "dxdz".

Además en el orden "dxdz" aparecen funciones sin primitiva elemental.

( cos ⁡ (x)sen ⁡ (z),5,sen ⁡ (x)cos ⁡ (z)) ⋅ ( 1 4x − 1,1,0) = 5 −cos ⁡ (x)sen ⁡ (z) 2x − 1

∬SF ⋅NdS = ∫ 15 ∫ 02−x−1 (5 −cos ⁡ (x)sen ⁡ (z) 2x − 1 )dzdx = ∫ 15 (5 (2 −x − 1) + cos ⁡ (2 −x − 1)cos ⁡ (x) 2x − 1 − cos ⁡ (x) 2x − 1)dx ≈13.1613

PIC

Fig. 9.61:

3.
F es conservativo pues Rot F = (0,0,0). Podemos aplicar "Independencia del camino" o resolver la integral con una función potencial.

Primera manera: Resolver la integral con una función potencial

∇ ⁡ϕ = F⟹ { ϕx = ∫ cos ⁡ xsen ⁡ zdx = sen ⁡ xsen ⁡ z + K1(y,z) ϕy = ∫ 5dy = 5y + K2(x,z) ϕz = ∫ cos ⁡ zsen ⁡ xdz = sen ⁡ xsen ⁡ z + K3(x,y)

ϕ(x,y,z) = sen ⁡ xsen ⁡ z + 5y + K

∫ CF ⋅dr = ϕ(1,0,2) − ϕ(1,0,0) = sen ⁡ (1)sen ⁡ (2) ≈ 0.765147

Segunda manera: Usar independencia del camino.

Podemos usar el camino C′ : (1,0,t),t ∈[0,2]. Este camino es el segmento que une el punto (1,0,0) con el punto (1,0,2).

∫ CF ⋅dr = ∫ 02(cos ⁡ (1)sen ⁡ t,5,cos ⁡ tsen ⁡ 1) ⋅ (0,0,1)dt = ∫ 02 sen ⁡ (1)cos ⁡ tdt = sen ⁡ (1)sen ⁡ (2) ≈ 0.765147

Tercera manera: Resolver la integral "a pie"

C : { C1 : r1(t) = (t2 + 1,t,0),t ∈[0,2] −C2 : r2(t) = (t2 + 1,t,2 − t),t ∈[0,2]

∫ CF ⋅dr = ∫ C1F ⋅dr + ∫ C2F ⋅dr = ∫ 02 (0,5,sen ⁡ (t2 + 1)) ⋅ (2t,1,0)dt −∫ 02 ( sen ⁡ (2 − t)cos ⁡ (t2 + 1),5,sen ⁡ (t2 + 1)cos ⁡ (2 − t)) ⋅ (2t,1,−1)dt = ∫ 025dt−∫ 02 (2tsen ⁡ (2 − t)cos ⁡ (t2 + 1) + 5 −sen ⁡ (t2 + 1)cos ⁡ (2 − t))dt = 10 −1 2(20 −cos ⁡ (1) + cos ⁡ (3)) ≈ 0.765147