campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

Equivalencia entre campos irrotacionales

y campos conservativos

Jana Rodriguez Hertz

Cálculo 3

IMERL

17 de marzo de 2015
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

motivación

Z
Xdα
C1
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

motivación

Z Z
?
Xdα = Xdα
C1 C2

cómo distinguir cuándo?

campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

un caso positivo

teorema (campos conservativos)

X campo conservativo
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

un caso positivo

teorema (campos conservativos)

X campo conservativo
X = ∇f
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

un caso positivo

teorema (campos conservativos)

X campo conservativo
X = ∇f
α : [a, b] → R3 curva C 1
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

un caso positivo

teorema (campos conservativos)

X campo conservativo
X = ∇f
α : [a, b] → R3 curva C 1
⇒ Z
Xdα = f (α(b)) − f (α(a))
α
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena

d
f (α(t)) = ∇f (α(t)).α0 (t)
dt
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena

d
f (α(t)) = ∇f (α(t)).α0 (t) = X(α(t))α0 (t)
dt
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena

d
f (α(t)) = ∇f (α(t)).α0 (t) = X(α(t))α0 (t)
dt

Z Z b
d
Xdα = f (α(t))dt
α a dt
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena

d
f (α(t)) = ∇f (α(t)).α0 (t) = X(α(t))α0 (t)
dt

x teorema fundamental del cálculo

Z Z b
d
Xdα = f (α(t))dt = f (α(b)) − f (α(a))
α a dt
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

teorema campos conservativos

demostración
x regla de la cadena

d
f (α(t)) = ∇f (α(t)).α0 (t) = X(α(t))α0 (t)
dt

x teorema fundamental del cálculo

Z Z b
d
Xdα = f (α(t))dt = f (α(b)) − f (α(a))
α a dt
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
R
calcular α ydx + xdy
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
R
calcular α ydx + xdy
?
X = ∇f
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
R
calcular α ydx + xdy
?
X = ∇f → f (x, y ) = xy
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
R
calcular α ydx + xdy
?
X = ∇f → f (x, y ) = xy
⇒ Z
ydx + xdy = f (α(1)) − f (α(0))
α
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

ejemplo

ejemplo
4
α(t) = ( t4 , sin3 ( tπ
2 ), 0) con t ∈ [0, 1]
R
calcular α ydx + xdy
?
X = ∇f → f (x, y ) = xy
⇒ Z
1
ydx + xdy = f (α(1)) − f (α(0)) =
α 4
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

observación

observación
X conservativo
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

observación

observación
X conservativo
⇒ Z
Xdα
α
no depende de la trayectoria.
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

campos conservativos

problema

problema
¿ cuándo un campo X es conservativo?
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
son equivalentes:
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
son equivalentes:
1 Z
Xdα = 0 ∀C cerrada
C
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
son equivalentes:
1 Z
Xdα = 0 ∀C cerrada
C
2 Z Z
Xdα = Xdα ∀Ci (p, q)
C1 (p,q) C2 (p,q)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
son equivalentes:
1 Z
Xdα = 0 ∀C cerrada
C
2 Z Z
Xdα = Xdα ∀Ci (p, q)
C1 (p,q) C2 (p,q)

3 X = ∇f es conservativo
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

teorema

teorema equivalencia irrotacional=conservativo

el rotor y las rotaciones - aplicación - fluido

X : R3 \ {p1 , . . . , pn } → R3 diferenciable
son equivalentes:
1 Z
Xdα = 0 ∀C cerrada
C
2 Z Z
Xdα = Xdα ∀Ci (p, q)
C1 (p,q) C2 (p,q)

3 X = ∇f es conservativo
4 X es irrotacional: rot(X ) ≡ ~0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 1 ⇒ 2

?
Z Z
Xdα = Xdα
C1 (p,q) C2 (p,q)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 1 ⇒ 2

?
Z Z
Xdα = Xdα
C1 (p,q) C2 (p,q)

⇐⇒
Z
Xdα = 0
C1 (p,q)−C2 (p,q)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 1 ⇒ 2

?
Z Z
Xdα = Xdα
C1 (p,q) C2 (p,q)

⇐⇒
Z
Xdα = 0
C1 (p,q)−C2 (p,q)

pero C1 (p, q) − C2 (p, q)

curva cerrada
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 1 ⇒ 2

?
Z Z
Xdα = Xdα
C1 (p,q) C2 (p,q)

⇐⇒
Z
Xdα = 0
C1 (p,q)−C2 (p,q)

pero C1 (p, q) − C2 (p, q)

curva cerrada
sale por 1
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 1 ⇒ 2

?
Z Z
Xdα = Xdα
C1 (p,q) C2 (p,q)

⇐⇒
Z
Xdα = 0
C1 (p,q)−C2 (p,q)

pero C1 (p, q) − C2 (p, q)

curva cerrada
sale por 1
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
R
suponemos α Xdα no depende de α
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
R
suponemos Xdα no depende de α
Rα
f (x, y , z) := C(c,y ,z) Xdα

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
fR(x, y , z) =
x Ry Rz
0 X1 (t, 0, 0)dt + 0 X 2 (x, t, 0)dt + 0 X3 (x, y , t)dt

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
fR(x, y , z) =
x Ry Rz
0 X1 (t, 0, 0)dt + 0 X2 (x, t, 0)dt + 0 X3 (x, y , t)dt
⇒ fz = X 3

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
⇒ fz = X 3
cambiando C se prueba fy = X2 y fx = X1

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
⇒ fz = X 3
cambiando C se prueba fy = X2 y fx = X1
⇒ ∇f = X

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 2 ⇒ 3
⇒ fz = X 3
cambiando C se prueba fy = X2 y fx = X1
⇒ ∇f = X

curva C(x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
X = ∇f
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
X = ∇f
⇒ rot(X )
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
X = ∇f
⇒ rot(X ) = ∇ ∧ ∇f
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
X = ∇f
⇒ rot(X ) = ∇ ∧ ∇f = ~0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 3 ⇒ 4
lo vimos la clase pasada:
X = ∇f
⇒ rot(X ) = ∇ ∧ ∇f = ~0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 4 ⇒ 1
todavía no
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 4 ⇒ 1
todavía no
lo veremos en la segunda mitad del curso
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 4 ⇒ 1
todavía no
lo veremos en la segunda mitad del curso
cuando veamos el Teorema de Stokes
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

demostración

demostración

demostración 4 ⇒ 1
todavía no
lo veremos en la segunda mitad del curso
cuando veamos el Teorema de Stokes
continuará...
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

X vector velocidad
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

X vector velocidad
X .∆α ≈ componente tgcial
de X .k∆αk
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

X vector velocidad
X .∆α ≈ componente tgcial
de X .k∆αk
R
C Xdα comp tgcial neta
alr de C
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

X vector velocidad
X .∆α ≈ componente tgcial
de X .k∆αk
R
C Xdα comp tgcial neta
alr de C
R
C Xdα 6= 0 ⇒ la rueda
gira alr de su eje
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

E campo eléctrico
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

E campo eléctrico
la corriente fluye alrededor
de C
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

E campo eléctrico
la corriente fluye alrededor
de C
R
si C Edα 6= 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

interpretación física

interpretación física

interpretación física

E campo eléctrico
la corriente fluye alrededor
de C
R
si C Edα 6= 0
o equivalentemente, si
rot(E) 6= ~0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

 
 i j k 
 
rot(X ) =  ∂x ∂y ∂z 

 y y + z cos yz + x y cos yz 
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

 
 i j k 
 
rot(X ) =  ∂x ∂y ∂z 

 y y + z cos yz + x y cos yz 
= (cos yz − yz sin yz − cos yz + yz sin yz, 0 − 0, 1 − 1)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

 
 i j k 
 
rot(X ) =  ∂x ∂y ∂z 

 y y + z cos yz + x y cos yz 
= (cos yz − yz sin yz − cos yz + yz sin yz, 0 − 0, 1 − 1)
= ~0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

Z x Z y Z z
f = X1 (t, 0, 0)dt + X2 (x, t, 0)dt + X3 (x, y , t)dt
0 0 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

Z x Z y Z z
f = X1 (t, 0, 0)dt + X2 (x, t, 0)dt + X3 (x, y , t)dt
0 0 0
Z x Z y Z z
= 0dt + xdt + y cos ytdt
0 0 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

Z x Z y Z z
f = X1 (t, 0, 0)dt + X2 (x, t, 0)dt + X3 (x, y , t)dt
0 0 0
Z x Z y Z z
= 0dt + xdt + y cos ytdt
0 0 0
= xy + sin yz
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X

Z x Z y Z z
f = X1 (t, 0, 0)dt + X2 (x, t, 0)dt + X3 (x, y , t)dt
0 0 0
Z x Z y Z z
= 0dt + xdt + y cos ytdt
0 0 0
= xy + sin yz

otra forma:
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X
f (x, y , z) = xy + Cyz
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X
f (x, y , z) = xy + Cyz
f (x, y , z) = xy + sin yz + Cxz
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X
f (x, y , z) = xy + Cyz
f (x, y , z) = xy + sin yz + Cxz
f (x, y , z) = sin yz + Cxy
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1
X = (y , z cos yz + x, y cos yz)
mostrar que X irrotacional y encontrar potencial de X
f (x, y , z) = xy + Cyz
f (x, y , z) = xy + sin yz + Cxz ⇒ f (x, y , z) = xy + sin yz
f (x, y , z) = sin yz + Cxy
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1 - octave
[x,y,z]=meshgrid(-pi:.2*pi:pi);
quiver3(x,y,z,y,z.*cos(y.*z)+x,y.*cos(y.z),2);
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1 - octave
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1 - octave
[x,y,z]=meshgrid(-pi:.2*pi:pi);
quiver3(x,y,z,y,z.*cos(y.*z)+x,y.*cos(y.z),2);
view(30,90);
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 1

ejemplo 1 - octave
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
M masa situada en el origen
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
M masa situada en el origen
m masa colocada en el punto r = (x, y , z)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
M masa situada en el origen
m masa colocada en el punto r = (x, y , z)
campo gravitatorio:

GMmr
X (x, y , z) = −
r3
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:

GMmr
X (x, y , z) = −
r3
X es irrotacional. Encontrar un potencial para X
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
r
rot
r3
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
r 1 1
rot 3
= ∇ 3 ∧ r + 3∇ ∧ r
r r r
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
r 1 1
rot 3
= ∇ 3 ∧ r + 3∇ ∧ r
r r r

 
1 3r
∇ =−
r3 r5
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
r 1 1
rot 3
= ∇ 3 ∧ r + 3∇ ∧ r
r r r

 
1 3r
∇ =− ∇ ∧ r = ~0
r3 r5
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
r 1 1
rot 3
= ∇ 3 ∧ r + 3 ∇ ∧ r = ~0
r r r

 
1 3r
∇ =− ∇ ∧ r = ~0
r3 r5
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z
xdx
f = 3
(x 2 + y 2 + z 2 ) 2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z
xdx
f = 3
(x 2 + y 2 + z 2 ) 2

Z
ydy
f = 3
(x 2 + y 2 + z 2 ) 2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z
xdx
f = 3
(x 2 + y 2 + z 2 ) 2

Z
ydy
f = 3
(x 2 + y 2 + z 2 ) 2

Z
zdz
f = 3
(x 2 + y 2 + z 2) 2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z Z
xdx rx dx
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

Z
ydy
f = 3
(x 2 + y 2 + z 2 ) 2

Z
zdz
f = 3
(x 2 + y 2 + z 2) 2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z Z
xdx rx dx
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

ry dx
Z Z
ydy
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

Z
zdz
f = 3
(x 2 + y 2 + z 2) 2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z Z
xdx rx dx
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

ry dx
Z Z
ydy
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

Z Z
zdz rz dx
f = 3
=
(x 2 + y2 + z 2) 2 r2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2
ejemplo 2
Z Z
xdx rx dx
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

ry dx
Z Z
ydy
f = 3
=
(x 2 + y 2 + z 2 ) 2 r2

Z Z
zdz rz dx
f = 3
=
(x 2 + y2 + z 2) 2 r2

⇒
1
f (x, y , z) = −
r
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:

GMmr
X =−
r3
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:

GMmr
X =−
r3
tiene potencial gravitatorio
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:

GMmr
X =−
r3
tiene potencial gravitatorio

GMm
V (r ) =
r
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2
campo gravitatorio:

GMmr
X =−
r3
tiene potencial gravitatorio

GMm
V (r ) =
r

X = ∇V
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2 - octave
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2 - octave
[x,y,z]=meshgrid(-.5:.1:.5);
r=sqrt(x.ˆ2+y.ˆ2+z.ˆ2);
quiver3(x,y,z,-x./r.3̂,-y./r.3̂,-z./r.3̂);
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2 - octave
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

ejemplos

ejemplo 2

ejemplo 2 - octave
[x,y,z]=meshgrid(-.5:.1:.5);
r=sqrt(x.ˆ2+y.ˆ2+z.ˆ2);
quiver3(x,y,z,-x./r.3̂,-y./r.3̂,-z./r.3̂);
hold on;
patch(isosurface(x,y,z,1./r,8),’facecolor’,’none’,’e
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

cuidado

cuidado
si no se cumplen las hipótesis dominio X = R3 \ {p1 , . . . , pn },
entonces:

X irrotacional 6⇒ X tiene potencial escalar

campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
α(t) = (cos t, sin t, 0)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
α(t) = (cos t, sin t, 0)
⇒
Z
Xdα =
α
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
α(t) = (cos t, sin t, 0)
⇒
Z Z 2π
Xdα = (− sin t, cos t, 0)(− sin t, cos t, 0)
α 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
α(t) = (cos t, sin t, 0)
⇒
Z Z 2π
Xdα = (− sin t, cos t, 0)(− sin t, cos t, 0) = 2π 6= 0
α 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

excepciones

ejemplo - un campo irrotacional SIN potencial escalar

ejemplo - un campo irrotacional SIN potencial escalar

(−y , x, 0)
X (x, y , z) =
x2 + y2
rot(X ) = ~0 en R3 \ eje z (clase pasada)
α(t) = (cos t, sin t, 0)
⇒
Z Z 2π
Xdα = (− sin t, cos t, 0)(− sin t, cos t, 0) = 2π 6= 0
α 0

⇒ no tiene potencial escalar

campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

el caso plano

el caso plano
X : R2 → R2 diferenciable (sin puntos excepcionales)
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

el caso plano

el caso plano
X : R2 → R2 diferenciable (sin puntos excepcionales)
son equivalentes:
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

el caso plano

el caso plano
X : R2 → R2 diferenciable (sin puntos excepcionales)
son equivalentes:
1 Z
CXdα ∀C cerrada
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

el caso plano

el caso plano
X : R2 → R2 diferenciable (sin puntos excepcionales)
son equivalentes:
1 Z
CXdα ∀C cerrada

2 X = ∇f conservativo
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

el caso plano

el caso plano
X : R2 → R2 diferenciable (sin puntos excepcionales)
son equivalentes:
1 Z
CXdα ∀C cerrada

2 X = ∇f conservativo
3 X irrotacional
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
Determinar si X = (2x cos y , −x 2 sin y ) es de gradientes
X diferenciable en todo R2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
Determinar si X = (2x cos y , −x 2 sin y ) es de gradientes
√
X diferenciable en todo R2
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
Determinar si X = (2x cos y , −x 2 sin y ) es de gradientes
√
X diferenciable en todo R2
Py − Qx = −2x sin y + 2x sin y
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
Determinar si X = (2x cos y , −x 2 sin y ) es de gradientes
√
X diferenciable en todo R2
Py − Qx = −2x sin y + 2x sin y = 0
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
Determinar si X = (2x cos y , −x 2 sin y ) es de gradientes
√
X diferenciable en todo R2
Py − Qx = −2x sin y + 2x sin y = 0
⇒ es de gradientes.
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
con α(t) = (et−1 , sin πt ), t ∈ [1, 2]
R
calcular α Xdα
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
calcular α Xdα con α(t) = (et−1 , sin πt ), t ∈ [1, 2]
R

f = 2x cos ydx = x 2 cos y + Cy

R
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
calcular α Xdα con α(t) = (et−1 , sin πt ), t ∈ [1, 2]
R

f = 2x cos ydx = x 2 cos y + Cy

R

f = − x 2 sin ydy = x 2 cos y + cx

R
campos conservativos teorema equivalencia irrotacional=conservativo el caso plano

el caso plano

ejemplo

ejemplo
calcular α Xdα con α(t) = (et−1 , sin πt ), t ∈ [1, 2]
R

f = 2x cos ydx = x 2 cos y + Cy

R

f = − x 2 sin ydy = x 2 cos y + cx

R
R
α Xdα = f (α(2)) − f (α(1))