Teoremas Integrales
Teoremas Integrales
Teoremas Integrales
Denición 1. Rotacional Supongamos un campo F : U ⊂ R3 → R3 , F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z))
diferenciable denido en el conjunto abierto U de R3 . Se dene el rotacional de F en el punto p de U,
denotado por rot F(p), como
∂F3 ∂F2 ∂F1 ∂F3 ∂F2 ∂F1
rot F (p) = (p) − (p), (p) − (p), (p) − (p)
∂y ∂z ∂z ∂x ∂x ∂y
Denición 3. Divergencia Supongamos un campo F : U ⊂ R3 → R3 , F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z))
diferenciable denido en el conjunto abierto U de R3 . Se dene la divergencia de F en el punto p de U,
denotado por div F(p), como
∂F1 ∂F2 ∂F3
div F (p) = (p) + (p) + (p)
∂x ∂y ∂z
con ϕ : U ⊂ R3 → R, entonces
div F = div (∇ ϕ)
∂2ϕ ∂2ϕ ∂2ϕ
= + +
∂x2 ∂y 2 ∂z 2
a esta expresión se le conoce con el nombre de Laplaciano de ϕ se le denota como ∇2 ϕ, es decir
∂2ϕ ∂2ϕ ∂2ϕ
∇2 ϕ = + +
∂x2 ∂y 2 ∂z 2
Campos Solenoides
El teorema de Stokes relaciona una integral de línea de un campo F sobre el borde de una supercie S,
con una integral de supercie sobre S del rotacional del campo F.
Lo que querría decir esto, es que, para ciertos campos vectoriales G, la integral de supercie del campo
G, se reduce a una integral de línea de un campo F.
Reconstrucción de un campo vectorial a partir de su rotacional
Dado un campo vectorial G = Lî + M ĵ + N k̂ ¾hay un campo F = P î + Qĵ + Rk̂ tal que rot F=G?
Teorema 1. Si G es un campo vectorial de clase c1 denido en R3 tal que div G = 0 entonces existe un
campo vectorial F de clase c1 de modo que
rot F = G
se debe cumplir
∂R ∂Q
− =L
∂y ∂z
∂P ∂R
− =M
∂z ∂x
∂Q ∂P
− =N
∂x ∂y
tomando P = 0 se tiene
∂R ∂Q
− =L
∂y ∂z
∂R
− =M
∂x
∂Q
=N
∂x
Integrando la segunda expresión se tiene
Z x
R(x, y, z) = − M (t, y, z) dt + f (y, z)
x0
tomamos f (y, z) = 0 Z x
R(x, y, z) = − M (t, y, z) dt
x0
∂g
⇒ L(x, y, z) − L(x0 , y, z) − =L
∂z
esto quiere decir
Z z
∂g ∂g
−L(x0 , y, z) − =0 ⇒ = −L(x0 , y, z) ⇒ g(y, z) = − L(x0 , y, u) du
∂z ∂z z0
es tal que
rot F = G
G(x, y, z) = (−z, 0, xy) = (L(x, y, z), M (x, y, z), N (x, y, z)) ⇒ M (x, y, z) = 0
G(x, y, z) = (−z, 0, xy) = (L(x, y, z), M (x, y, z), N (x, y, z)) ⇒ N (x, y, z) = xy
de esta manera
L(x, y, z) = −z ⇒ L(x0 , y, u) = −u
M (x, y, z) = 0 ⇒ M (t, y, z) = 0
N (x, y, z) = xy ⇒ N (t, y, z) = ty
por lo tanto si x0 = z0 = 0
P (x, y, z) = 0
x z
yt2 x u2 z yx2 z2
Z Z
Q(x, y, z) = ty dt − −u du = |0 + |0 = +
0 0 2 2 2 2
Z x
R(x, y, z) = − 0 du = 0
0
de esta manera
yx2 z2
F (x, y, z) = 0, + ,0
2 2
es tal que
î ĵ k̂
∂ ∂ ∂
rot F = ∇ × F = ∂x ∂y ∂z
2 2
yx
+ z2 0 0 2
2
z2 ∂ yx2 z2
∂ yx
= − + , 0, +
∂z 2 2 ∂x 2 2
= (−z, 0, xy)
= G(x, y, z)
Ejemplo Sea G(x, y, z) = 2î + ĵ + 3k̂. Hallar F tal que rot F=G
Solución En este caso se tiene
G(x, y, z) = (2, 1, 3) = (L(x, y, z), M (x, y, z), N (x, y, z)) ⇒ L(x, y, z) = 2
∂(−x) ∂(3x − 2z) ∂(−x) ∂(3x − 2z)
= − ,− ,
∂y ∂z ∂x ∂x
= (2, 1, 3)
= G(x, y, z)
G = rot F
Para un campo dado G : R3 → R3 con div G = 0, hemos encontrado un campo F : R3 → R3 tal que
rot F = G, pero esta función F no es única. Si sumamos al campo F cualquier gradiente derivable con
continuidad ∇ϕ obtenemos otra solución ya que
rot (F + ∇ϕ) = rot F + rot ∇ϕ = rot F = G
⇒ rot H − rot F = 0
⇒ rot(H − F ) = 0
⇒ H − F = ∇ϕ, p. a. ∇ϕ
⇒ H = F + ∇ϕ