Integral de Linea Campo Gradiente Conservativo2
Integral de Linea Campo Gradiente Conservativo2
Integral de Linea Campo Gradiente Conservativo2
Unidad 3
Integral de línea de un campo de gradientes
Campos conservativoss
𝐹⃗ = (2𝑥𝑦, 𝑥 2 + 𝑦)
y cada una de las siguientes curvas
𝐶1 : 𝑦 = 𝑥 2 , 0 ≤ 𝑥 ≤ 1 𝑟⃗1 (𝑡) = (𝑡, 𝑡 2 ), 0 ≤ 𝑡 ≤ 1
𝐶2 : 𝑦 = 𝑥, 0 ≤ 𝑥 ≤ 1
𝐶3 : 𝑥 = 𝑦 2 , 0 ≤ 𝑦 ≤ 1
𝐶4 : 𝑥 2 + 𝑦 2 = 1 recorrida en cualquier sentido
1
3
∫ 𝐹⃗ ⋅ 𝑑𝑟⃗1 = ∫ 𝐹⃗ [𝑟⃗1 (𝑡)] ⋅ 𝑟⃗1′ (𝑡) 𝑑𝑡 =
𝐶1 2
𝑡=0
1
3
∫ 𝐹⃗ ⋅ 𝑑𝑟⃗2 = ∫ 𝐹⃗ [𝑟⃗2 (𝑡)] ⋅ 𝑟⃗2′ (𝑡) 𝑑𝑡 =
𝐶2 2
𝑡=0
1
3
∫ 𝐹⃗ ⋅ 𝑑𝑟⃗3 = ∫ 𝐹⃗ [𝑟⃗3 (𝑡)] ⋅ 𝑟⃗3′ (𝑡) 𝑑𝑡 =
𝐶3 2
𝑡=0
Que estas tres integrales den lo mismo, nos estaría indicando que el campo vectorial en una integral de
línea que una los puntos 𝐴 y 𝐵, no estaría dependiendo de la trayectoria.
2𝜋
Volviendo a nuestro ejercicio introductorio a campos gradientes, lo aquí ocurrido está vinculado con
𝑦 2
dos cuestiones, una, que el campo 𝐹⃗ = (2𝑥 𝑦, 𝑥 2 + 𝑦) y el gradiente de 𝑔(𝑥, 𝑦) = 𝑥 2 𝑦 + 2 son iguales,
∇𝑔(𝑥, 𝑦) = (2𝑥𝑦, 𝑥 2 + 𝑦), y otra cuestión más novedosa, es que el dominio de 𝐹⃗ , es un conjunto
simplemente conexo, esto último lo aclararemos más adelante.
Surgen entonces dos preguntas sobre la primera cuestión, una, por qué, el hecho de que
𝐹⃗ = ∇𝑔, hace que el resultado de la integral de línea entre dos puntos sea independiente del camino
(curva orientada), y otra pregunta, cómo hallar la función 𝑔 y, si hay algunas condiciones que aseguren
la existencia de dicha función 𝑔.
Para responder a la primera pregunta, debemos recordar el caso I de la regla de la cadena, esto es:
𝑆𝑖 𝑟⃗: [𝑎, 𝑏] → ℝ2 , 𝑟⃗(𝑡) = (𝑥(𝑡), 𝑦(𝑡)), 𝑦 𝑔: 𝑈 ⊆ ℝ2 → ℝ, 𝑧 = 𝑔(𝑥, 𝑦)
𝑠𝑖𝑒𝑛𝑑𝑜 𝑟⃗ 𝑦 𝑔 𝑓𝑢𝑛𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒 𝑐𝑙𝑎𝑠𝑒 𝐶 1 𝑦 además 𝑟⃗([𝑎, 𝑏]) ⊆ 𝑈 , entonces para ℎ(𝑡) = 𝑔 ∘ 𝑟⃗(𝑡) , su
derivada viene dada por la expresión
𝑑𝑔
ℎ′ (𝑡) = (𝑟⃗(𝑡)) = ∇𝑔[𝑟⃗(𝑡)] ⋅ 𝑟⃗′(𝑡)
𝑑𝑡
De esta manera, si 𝐹⃗ (𝑥, 𝑦) = ∇𝑔(𝑥, 𝑦)
𝑏 𝑏
∗
∫𝐹⃗ ⋅ 𝑑𝑟⃗ = ∫ 𝐹⃗ [𝑟⃗(𝑡)] ⋅ 𝑟⃗ ′ (𝑡) 𝑑𝑡 = ∫ ∇𝑔[𝑟⃗(𝑡)] ⋅ 𝑟⃗ ′ (𝑡) 𝑑𝑡 =
⏞
𝐶
𝑡=𝑎 𝑡=𝑎
Veamos a continuación cuál es la condición que debe cumplir 𝐹⃗ para que exista la función escalar 𝑔, tal
que 𝐹⃗ = ∇𝑔.
Escribiendo
𝐹⃗ (𝑥, 𝑦) = (𝑃(𝑥, 𝑦), 𝑄(𝑥, 𝑦))
Y
Derivando la primera ecuación respecto de la variable "𝑦" , la segunda ecuación respecto de "𝑥" , se tiene
𝑃𝑦 (𝑥, 𝑦) = 𝑔𝑥𝑦 (𝑥, 𝑦)
𝑄𝑥 (𝑥, 𝑦) = 𝑔𝑦𝑥 (𝑥, 𝑦)
Resumiendo, dado el campo 𝐹⃗ (𝑥, 𝑦) = (𝑃(𝑥, 𝑦), 𝑄(𝑥, 𝑦)), si 𝑃𝑦 (𝑥, 𝑦) = 𝑄𝑥 (𝑥, 𝑦), entonces existe
Como 𝑃(𝑥, 𝑦) = 𝑔𝑥 (𝑥, 𝑦), es sensato pensar que si integramos 𝑃 respecto a 𝑥, recuperaremos la parte
de 𝒈 vinculada con 𝒙.
Dóne ℎ(𝑦) es una función hasta ahora desconocida sólo de la variable "𝑦", que contendrá los posibles
términos faltantes de 𝒈 que sólo contienen la variable 𝒚, no 𝒙.
O también
Dóne k(𝑥) es una función hasta ahora desconocida sólo de 𝑥, que contendrá los posibles términos
faltantes de 𝑔 que sólo contienen la variable 𝑥, no 𝑦.
Si se parte de
𝑔(𝑥, 𝑦) = ∫ 𝑃(𝑥, 𝑦) 𝑑𝑥 + ℎ(𝑦) (Incompleta ¿ ℎ(𝑦)?)
𝜕
∫ ℎ′ (𝑦) 𝑑𝑦 = ℎ(𝑦) = ∫ [𝑄(𝑥, 𝑦) − ∫ 𝑃(𝑥, 𝑦) 𝑑𝑥] 𝑑𝑦
𝜕𝑦
Finalmente
𝜕
𝑔(𝑥, 𝑦) = ∫ 𝑃(𝑥, 𝑦) 𝑑𝑥 + ∫ [𝑄(𝑥, 𝑦) − ∫ 𝑃(𝑥, 𝑦) 𝑑𝑥] 𝑑𝑦
𝜕𝑦
Se halla la primitiva de 𝑄(𝑥, 𝑦), se deriva respecto de 𝑥 la nueva expresión obtenida para 𝑔, y se compara
esta derivada con 𝑃, esto es:
𝜕
𝑔𝑥 (𝑥, 𝑦) = ( ∫ 𝑄(𝑥, 𝑦) 𝑑𝑦) + 𝑘 ′ (𝑥) = 𝑃(𝑥, 𝑦)
𝜕𝑥
𝜕
𝑘 ′ (𝑥) = 𝑃(𝑥, 𝑦) − ∫ 𝑄(𝑥, 𝑦) 𝑑𝑦
𝜕𝑥
𝜕
𝑘(𝑥) = ∫ [𝑃(𝑥, 𝑦) − ∫ 𝑄(𝑥, 𝑦) 𝑑𝑦] 𝑑𝑥
𝜕𝑥
Finalmente
𝜕
𝑔(𝑥, 𝑦) = ∫ 𝑄(𝑥, 𝑦) 𝑑𝑦 + ∫ [𝑃(𝑥, 𝑦) − ∫ 𝑄(𝑥, 𝑦) 𝑑𝑦] 𝑑𝑥
𝜕𝑥
Veamos como sería este procedimiento en la práctica aplicado al campo del ejercicio introductorio
𝐹⃗ = (2𝑥𝑦, 𝑥 2 + 𝑦) = (𝑃(𝑥, 𝑦), 𝑄(𝑥, 𝑦))
𝑦2
𝑔(𝑥, 𝑦) = 𝑥 2 𝑦 + +𝑐 Función potencial
2
𝑥
𝑔2 (𝑥, 𝑦) = − atan ( )
𝑦
𝑑𝑜𝑚(𝑔2 ) = ℝ2 − {(𝑥, 𝑦) ∈ ℝ2 ∶ 𝑦 = 0}
Si calculamos
∫𝐹⃗ ⋅ 𝑑𝑟⃗ =
𝐶
Conjunto conexo: diremos que 𝐴 ⊆ ℝ2 es un conjunto conexo, si para cualesquiera dos puntos de 𝐴,
existe una curva totalmente contenida en 𝐴 𝑞𝑢𝑒 𝑙𝑜𝑠 𝑢𝑛𝑒.
En el dibujo de la derecha, la curva cerrada roja contenida en 𝐴, no puede contraerse todo lo que se
quiera sin salirse de 𝐴.
Campo conservativo
Dado un campo vectorial 𝐹⃗ de clase 𝐶 1 , diremos que es un campo conservativo si 𝑃𝑦 (𝑥, 𝑦) = 𝑄𝑥 (𝑥, 𝑦)
para el caso del plano o, 𝑟𝑜𝑡 𝐹⃗ = ⃗0⃗ para el caso del espacio y además su dominio es un conjunto
simplemente conexo.
Teorema
Dado un campo vectorial 𝐹⃗ de clase 𝐶 1 y 𝐹⃗ = ∇𝑔 , en una región 𝑅 del espacio definida por 𝑎1 ≤ 𝑥 ≤
𝑎2 , 𝑏1 ≤ 𝑦 ≤ 𝑏2 , 𝑐1 ≤ 𝑧 ≤ 𝑐2 , para una función escalar 𝑔 de clase 𝐶 1 , y se cumplen
𝑃
(a) ∫𝑃 2 𝐹⃗ ⋅ 𝑑𝑟⃗ es independiente de la trayectoria 𝐶 que une a 𝑃1 con 𝑃2 en 𝑅.
1
Ejercicio
Comprobar que el campo vectorial 𝐹⃗ = (3𝑦 2 𝑧 + 𝑦𝑒 𝑥 , 6𝑥𝑦𝑧 + 𝑒 𝑥 , 3𝑥𝑦 2 ) es conservativo en ℝ3 y hallar
su potencial escalar.
𝑖̂ 𝑗̂ 𝑘̂ 𝜕𝐹3 𝜕𝐹2 𝜕𝐹1 𝜕𝐹3 𝜕𝐹2 𝜕𝐹1
𝑟𝑜𝑡 𝐹⃗ = ∇ × 𝐹⃗ = |𝜕/𝜕𝑥 𝜕/𝜕𝑦 𝜕/𝜕𝑧| = ( − ) 𝑖̂ + ( − ) 𝑗̂ + ( − ) 𝑘̂
𝜕𝑦 𝜕𝑧 𝜕𝑧 𝜕𝑥 𝜕𝑥 𝜕𝑦
𝐹1 𝐹2 𝐹3
Del T P 3 (3699) puede resolver los ejercicios del 14 al 18. Guía de Trabajos Prácticos
Bibliografía digital MIeL, Cálculo en varias Variables, W Mora, Cap 9, pag 405.
Integrales de Linea Campos Gradientes-Capítulo 9-Página 405-W Mora-ITCR-CalculoVariasVariables