Campos vectoriales conservativos e independencia del camino

Empecemos la leccin con este ejemplo:

Ejemplo 1:-
Dibujar algunos vectores del campo vectorial dado por:
F (x,y) = (2x , y)

Figura 3.6.1
En la Figura 3.6.1 todos los vectores parecen ser normales a la curva de nivel de la que
emergen. Puesto que esto es una propiedad de los gradientes, cabe preguntarse si el
campo vectorial F (x,y) = (2x , y) es el campo gradiente de alguna funcin diferenciable
f. La respuesta es que cientos campos vectoriales, a los que se denominan
conservativos, son campos gradientes de funciones diferenciables
Definicin de Campos Vectoriales conservativos:
Un campo vectorial gradiente F = L f se le denomina conservativo y a la funcin
escalar f se le conoce como funcin potencial del campo F.
El campo vectorial del ejemplo anterior es conservativo. Para comprobarlo basta tomar
la funcin potencial:
f(x , y) = x
2
+ y
2

si calculamos el gradiente de f, obtenemos:
L f = (2x , y) = F (x,y)
Criterio para campos conservativos:
El campo vectorial F (x, y, z) = (P, Q, R), donde P, Q, R son funciones escalares en R
3

es conservativo si y slo si:
rot F (x , y, z) = (0, 0, 0)
El criterio anterior es aplicable a campos vectoriales en el plano, solo recordemos que
este tipo de campos se pueden interpretar como campos vectoriales en el espacio
tridimensional, para los cuales la tercera componente es cero y las otras dos
componentes son independientes de la coordenada z.
Ejemplo 2.-
Hallar una funcin potencial para:
F (x, y, z) = (2xy , x
2
+ y
2
, 2zy)
Solucin:
Calculemos el rotacional:
> f := [2*x*y,x^2+z^2,2*z*y]; v := [x, y, z]:

> curl(f, v);

Si f es una funcin tal que F = L f entonces:



Integrando con respecto a x , y , z por separado obtenemos:



:= f [ ] , , 2 x y + x
2
z
2
2 z y
[ ] , , 0 0 0
xy
x
f
2 =
c
c 2 2
z x
y
f
+ =
c
c
zy
z
f
2 =
c
c
}
+ = = ) , ( 2 ) , , (
2
z y g y x xydx z y x f
}
+ + = + = ) , ( ) ( ) , , (
2 2 2 2
z x h y z y x dy y x z y x f
}
+ = = ) , ( 2 ) , , (
2
y x k y z zydx z y x f
Comparando estas tres versiones de f(x , y , z) deducimos que:
g(y, z) = z
2
y + k
h(x, z) = k
k(x,y) = x
2
y + k
Por tanto:
f(x , y, z) = x
2
y + z
2
y + k
Definicin de regin conexa:
Una regin del plano (o del espacio) se dice conexa si todo par de puntos en ella pueden
ser unidos por una curva suave a trozos contenida por completo en la regin.

Para campos vectoriales F conservativos en regiones abiertas y conexas la integral de
lnea es independiente del camino
Teorema:
Si F es continuo en una regin abierta y conexa, la integral de lnea:

es independiente del camino si y slo si F es conservativo (campo gradiente)

Ejemplo 3.-
Calcular el trabajo realizado por el campo de fuerzas:
F (x , y) = ( xy , x
2
)
Sobre una partcula que se mueve desde (0,0) hasta (1,1) a lo largo de cada uno de los
caminos siguientes:
a).- c
1
: y = x
b).- c
2
: x = y
2

c).- c
2
: y = x
3


}

c
F ds
Solucin:
a).- Para c(t) = (t, t) con 0 # t # 1, tenemos:
c(t) = (1, 1) F (c(t)) = ( t
2
, t
2
)
entonces:
F (c(t))A c(t) = t
2


b).- Para con 0 # t # 1, tenemos:

entonces:
F (c(t))A c(t) = 5/8 t
3/2



c).- Para c(t) = ( t, 1/8 t
3
) con 0 # t # 2, tenemos:

entonces:
F (c(t))A c(t) = 5/128 t
4




4
1
4
1
4
3
1
0
3 2
1
0
=
(

=
}
t dt t
( ) t t t , ) ( = c
|
|
.
|

\
|
=
t
t
2
1
, 1 ) ( c
|
|
.
|

\
|
=
2
2
3
4
1
,
2
1
)) ( ( t t t c F
4
1
4
1
8
5
1
0
2
5
2
3 1
0
=
(

=
}
t dt t
|
.
|

\
|
=
2
8
3
,
2
1
) ( t t c |
.
|

\
|
=
2 4
16
1
,
32
1
)) ( ( t t t c F
4
1
128
1
128
5
2
0
5 4
2
0
=
(

=
}
t dt t