Campos Conservativos
Campos Conservativos
Campos Conservativos
Campos conservativos
105
106 CAPÍTULO 10. CAMPOS CONSERVATIVOS
g(t) = f (γ(t)),
cuya derivada es
g 0 (t) = ∇f (γ(t)) · γ 0 (t).
Apligando el teorema fundamental del cálculo a esta función g obtenemos
lo que deseamos:
Z b
f (γ(b)) − f (γ(a)) = g(b) − g(a) = g 0 (t)dt
a
Z b Z b
0
= ∇f (γ(t)) · γ (t)dt = ∇f · ds. 2
a a
Ejemplo 10.2 Sea γ(t) = (t4 /4, sin3 (πt/2)). Calcular la integral de linea
Z
ydx + xdy.
γ
R R
y se deduce que γ1 F · ds = γ2 F · ds.
(3) =⇒ (1): sea a ∈ A. No hay pérdida de generalidad en suponer que A es
conexo (si no lo fuera podrı́amos trabajar en cada una de sus componentes
conexas). Como A es un abierto de Rn , resulta que A es conexo por caminos
e incluso conexo por caminos poligonales; en particular A es conexo por
caminos C 1 a trozos. Ası́, dado cualquier x ∈ A podemos escoger un camino
C 1 a trozos γx : [0, 1] −→ A tal que γx (0) = a y γx (1) = x. Definamos
entonces f : A −→ R por
Z
f (x) = F · ds
γx
puesto que tanto γx+h como γx ∗σ son caminos que empiezan en a y terminan
en x + h. Entonces tenemos que
Z Z
f (x + h) − f (x) = F · ds − F · ds
γx+h γx
Z Z 1
= F · ds = F (x + th) · hdt,
σ 0
y por tanto
Z 1
f (x + h) − f (x) − F (x) · h = F (x + th) − F (x) · hdt
0
Z 1 Z 1
≤ kF (x + th) − F (x)k · khkdt ≤ εkhkdt = εkhk,
0 0
Comprobar que
∂P ∂Q
=
∂y ∂x
en A, y que sin embargo F no es un campo gradiente: por ejemplo,
R si σ es un
camino que recorre una vez la circunferencia unidad entonces σ F · ds 6= 0.
Problemas
10.8 Calcular:
R
(a) γ xdy + ydx, si γ es un camino de (−1, 2) a (2, 3).
R
(b) γ yzdx + zxdy + xydz, si γ es un camino de (1, 1, 1) a (1, 2, 3).
10.9 Probar que dos funciones de potencial para un mismo campo vectorial
(definido en un abierto conexo) difieren a lo sumo en una constante
F (x, y) = (3x2 + y, ey + x)
en R2 .
−y x
F (x, y) = ( , ).
x2 + y 2 x2 + y 2
R
(a) Calcular γ F , siendo γ(t) = (cos t, sin t), 0 ≤ t ≤ 2π. Deducir que F
no es conservativo.
(b) Encontrar un abierto A ⊂ R2 \ {(0, 0)} tal que F|A sea conservativo.
∂Fi ∂Fj
= ,
∂xj ∂xi
i, j = 1, 2, 3, si y sólo si rotF = 0.
112 CAPÍTULO 10. CAMPOS CONSERVATIVOS