Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
con
x(0) = x0
y(0) = y0
z(0) = z0
Geométricamente el problema de hallar una lı́nea de flujo que pase por x0 es el de hallar
una curva que “colocada” en el campo vectorial, su vector tangente (a la curva) “coincida”
con el campo vectorial, como se muestra en la figura (??) El problema de valor inicial
Figura 10:
P Q R
∇ · (∇ × F ) = ∇ · (Ry − Qz , Pz − Rx , Qx − Py )
∂ ∂ ∂
= (Ry − Qz ) + (Pz − Rx ) + (Qx − Py )
∂x ∂y ∂z
= Ryx − Qzx + Pzy − Rxy + Qxz − Pyz
= 0
Teorema 3.12. Sean f y g campos escalares de clase C 2 . Se cumple que div(∇f × ∇g) = 0
Demostración : Para realizar la demostración de nuevo hay que realizar las operaciones
indicadas:
i j k
∇f × ∇g = fx fy fz = (fy gz − fz gy , fz gx − fx gz , fx gy − fy gx )
gx gy gz
luego
∂ ∂ ∂
div(∇f × ∇g) = (fy gz − fz gy ) + (fz gx − fx gz ) + (fx gy − fy gx )
∂x ∂y ∂z
al calcular las derivadas de los productos y tomando en cuenta que las derivadas cruzadas
son iguales porque f y g son de clase C 2 se obtiene que div(∇f × ∇g) = 0.
Ası́ por ejemplo, para probar (h), si G = (g1 , g2 , g3 ), entonces f G = (f g1 , f g2 , f g3). Luego
i j k
Rot f G = ∂x ∂ ∂ ∂
∂y ∂z
f g1 f g2 f g3
∂ ∂ ∂ ∂ ∂ ∂
= (f g3) − (f g2 ) , (f g1 ) − (f g3 ) , (f g2) − (f g1 )
∂y ∂z ∂z ∂x ∂x ∂y
∂g3 ∂g2 ∂g1 ∂g3 ∂g2 ∂g1
= f − , − , −
∂y ∂z ∂z ∂x ∂x ∂y
∂f ∂f ∂f ∂f ∂f ∂f
+ g3 − g2 , g1 − g3 , g2 − g1
∂y ∂z ∂z ∂x ∂x ∂y
i j k
= f Rot G + fx fy fz
g1 g2 g3
= f Rot G + ∇f × G.
Teorema 4.2 (Stokes). Sea S una superficie de clase C 1 en R3 orientada, con vector normal
η unitario. Supongamos que su curva frontera, denotada por ∂S, se orienta de manera que
la superficie S queda a la izquierda de la curva (contrario al movimiento de las agujas del
reloj). Sea F un campo vectorial C 1 en un conjunto abierto que contiene a W S y su frontera
∂S, entonces ZZ Z
Rot F · η dS = F · dσ
S ∂S
∂S
z
D
x
∂D
Figura 11:
Teorema 4.3 (Stokes para Gráfica). Sea S la superficie orientada definida por una función
C 2 , z = f (x, y), (x, y) ∈ D y sea F un campo vectorial C 1 en S. Si ∂S denota la curva
frontera orientada que acota a S, entonces
ZZ Z
Rot F · dS = F · dσ
S
RR RR
Recordemos que S
Rot F · S = S
Rot F · η dS. Ası́ el teorema de Stokes afirma que
la integral de la componente normal del rotor de un campo vectorial F sobre una superficie
S es igual a la integral de la componente tangencial de F alrededor de la frontera ∂S.
La demostración puede verse en el libro Cálculo Vectorial de Marsden-Tromba, simple-
mente realizando los cálculos que se indican al suponer F = (P, Q, R), la parametrizacón
de ∂S dada por η(t) = (x(t), y(t), f (x(t), y(t))) y aplicaciones de la regla de la cadena y el
teorema de Green.
A continuación enunciaremos el teorema para superficies parametrizadas.
Teorema 4.4 (Stokes Para Superficies Parametrizadas). Sea S una superficie orientada
definida por una parametrización φ inyectiva φ : DR2 → R3 . Si ∂S denota la curva frontera
orientada que acota a S y F es un campo vectorial C 1 en S, entonces
Z ZZ
F · dσ = Rot F · dS
∂S S
η
S
y
D
Figura 12:
tenemos
Z ZZ ZZ
F · dσ = Rot F · dS = D(0, 0, −2) · (−2x, −2y, 1) dxdy
C S
ZZ
= −2 dxdy = −2Área(D) = −2π
D
R
Ejemplo 4.6. Calcule la integral C
F · dl, donde el campo vectorial F está dado por
F (x, y, z) = (2y + z, x + z, x + y) y la curva C es la intersección del plano z = y con el
cilindro x2 + y 2 = 2y son sentido anti-horario vista desde abajo.
Solución. Calculamos Rot F = (0, 0, −1). C encierra una superficie S acotada sobre el
plano z = y, como se muestra en la figura (13), con orientación η hacia abajo.
Parametrizando dicho plano φ(x, y) = (x, y, y), z = f (x, y) = y, Tx ×Ty = (−fx , −fy , 1) =
(0, −1, 1) y la parametrización invierte la orientación. Como F es C 1 , aplicando el teorema
de Stokes
Z ZZ ZZ
F · dl = Rot F · dS = − (0, 0, −1) · (0, −1, 1) dxdy
C S,η x2 +y 2 ≤2y
ZZ ZZ
= − − dA = dA = Área(D) = π
D D
η
y
Figura 13:
Definición 4.7. Se dice que F es conservativo en D si para toda curva cerrada orientada
R
simple en D se cumple que C F · dl = 0.
R
Definición 4.8. Se dice que la integral de lı́nea C
F ·dl = 0 es independiente de la trayectoria
(o que depende sólo de los puntos extremos de la curva) si para cualesquiera dos curvas C1
y C2 en D con idénticos puntos extremos se cumple que
Z Z
F · dl = F · dl
C1 C2
Es claro que estas dos definiciones son equivalentes: si suponemos que se cumple (4.8) para
probar (4.7), tomamos una curva C cerrada, se tiene que C y −C tienen los mismos extremos.
R R R R R
Por (4.8) es C F · dl = −C F · dl = − C F · dl, ası́ 2 C F · dl = 0 y C F · dl = 0 cumpliéndose
(4.7). Suponiendo ahora que se cumple (4.7), elegimos dos curvas arbitrarias C1 y C2 con
R
extremos iguales. Luego C1 − C2 es cerrada, ver figura (14). Por (4.7) es C1 −C2 F · dl = 0,
R R R R
es decir, C1 F · dl − C2 F · dl = 0 y ası́ C1 F · dl = C2 F · dl, cumpliéndose (4.8).
R R
Si F (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)) en la integral C F · dl = C P dx + Qdy +
Rdz aparece la expresión P dx + Qdy + Rdz. Diremos que esta expresión es una diferencial
C1
C2
Figura 14:
Luego
Teorema 4.10. Sea F un campo vectorial C 1 definido en R3 . Las siguientes condiciones son
equivalentes:
(i) F es conservativo.
R
(ii) La integral de lı́nea C
F · dl es independiente de la trayectoria.
(v) Rot F = 0
Demostración : Sólo resta ver que (ii) ⇒ (iii), lo cual se hace considerando la función
Z x Z y Z z
f (x, y, z) = P (t, 0, 0) dt + Q(x, t, 0) dt + R(x, y, t) dt
0 0 0
Ejemplo 4.11. Considere el campo vectorial F , F (x, y, z) = (2xy + z 3 , x2 , 3xz 2 + z).
(b) Para calcular el potencial f , es decir, el campo escalar f tal que F = ∇f , resolvemos el
sistema: fx = P , fy = Q y fz = R:
3
fx = 2xy + z
fy = x2
f = 3xz 2 + z
z
derivando respecto de y
∂f ∂ϕ
= x2 + = x2
∂y ∂y
∂ϕ ∂ϕ
Z
ası́, = 0. Integrando ϕ(y, z) = dy + ψ(z) = ψ(z). Luego f (x, y, z) = x2 y +
∂y ∂y
z 3 x + ψ(z), al derivar respecto de z, fz = 3z 2 x + ψ ′ (z) = 3xz 2 + z. Ası́ ψ ′ (z) = z,
ψ(z) = z 2 /2 + k. Por último
z2
f (x, y, z) = x2 y + z 3 x + + k.
2
415
Z Z
(c) F · dl = ∇f · dl = f (p1 ) − f (p0 ) = f (3, 1, 4) − f (1, −2, 1) =
2
C C
R R R
Observación 5. Se puede obtener f muy fácilmente calculando P dx, Q dy y R dz:
Z Z
P dx = 2xy + z 3 dx = x2 y + z 3 x + k
Z Z
Q dy = x2 dy = x2 y + k
Z Z
R dz = 3xz 2 + z dz = xz 3 + z 2 /2 + k
Se toman los términos semejantes sin repetirlos (deben tener los mismos coeficientes), ası́
z2
f (x, y, z) = x2 y + z 3 x + + k.
2
Si los términos semejantes tienen coeficientes distintos el sistema no es conservativo.
(a) Obtener la función real derivable h(z) para que el campo sea conservativo.
(b)
F (x, y, z) = (y 2 + 2xyz + sin(z), 2xy + x2 z + 2yz 2 , x2 y + 2y 2z + x cos(z))
Teorema 4.13 (Divergencia). Sea V una región el el espacio de tipo IV y denotemos por
∂V la superficie cerrada orientada que acota a V . Si F es un campo vectorial C 1 definido en
V , entonces ZZ ZZZ
F · dS = divF dv
∂V V
Teorema 4.14 (Ley de Gauss). Sea V una región en el espacio de tipo IV y denotemos por
∂V la superficie cerrada orientada con η que acota a V . Consideremos el campo vectorial
p
r(x, y, z) = (x, y, z) y kr(x, y, z) = x2 + y 2 + z 2 k. Si el origen no está en ∂V , entonces
(
r·η 4π si (0, 0, 0) ∈ V ;
ZZ
3
dS =
krk 0 si (0, 0, 0) 6∈ V.
∂V
Teorema 4.15. Sea B(t) la región esférica de radio t, con centro en el punto P en R3 . La
esfera (superficie) de radio t, denotada por S(t), es la frontera de B(t) con vector normal
unitario η exterior. Si V (t) denota el volumen de B(t) y F es un campo vectorial (en las
esferas), entonces
1
ZZ
(divF )(P ) = lı́m F · η dS
t→0 V (t)
S(t)
1
ZZZ
ahora podemos probar que lı́m h dv = 0. Por ser h(x) → 0, para x → P es
t→0 V (t)
B(t)
máx kh(x)k → 0 si t → 0. Luego
kx−P k≤t
1 Z Z Z 1
ZZZ
h dv ≤ máx |h(x)| dv ≤ máx kh(x)k
V (t) V (t)
kx−P k≤t kx−P k≤t
B(t) B(t)
tomando lı́mite es
1 ZZZ
0 ≤ lı́m h dv ≤ lı́m máx |h(x)| = 0
t→0 V (t) t→0 kx−P k≤t
B(t)
1 1
ZZZ ZZ
Ası́, lı́m h dv = 0 y f (P ) = lı́m F · η dS
t→0 V (t) t→0 V (t)
B(t) S(t)
p p
Ejemplo 4.16. Considere el campo vectorial F dado por F (x, y, z) = (zx z 2 − y 2 , 2yz, y x2 − y 2 − z 2 )
y las superficies S1 = {(x, y, z) : x2 +y 2 ≤ 9, z = 3}, S2 = {(x, y, z) : x2 +y 2 = z 2 , 1 ≥ z ≤ 3},
S3 = {(x, y, z) : x2 + y 2 ≤ 1, zZ Z
= 1}. Sea S = S1 ∪ S2 ∪ S3 con la orientación de los vectores
normales exteriores. Calcule F · dS
S
Solución. Se cumplen
ZZ las condiciones
ZZZ del teorema de la divergencia. Calculamos divF =
p
z z 2 − y 2 . Ası́ F · dS = divF dV
S V
η1
S1
η2
S2
S3
η3
Figura 15:
ZZZ Z 3 Z z Z √z 2 −y2 p
divF dV = √ z z 2 − y 2 dx dy dz
1 −z − z 2 −y 2
V
Z 3Z z 3
8
Z
2 2
= 2 z(z − y ) dy dz = z 4 dz
1 −z 3 1
3
8 z 5
=
3 5
1
1936
=
15
Ejemplo 4.17. Consideremos el cilindro de ecuación x2 +y 2 = 2y. Este cilindro corta al cono
p
z = x2 + y 2 en una superficie acotada S1 . La superficie lateral del cilindro comprendida
entre el cono y el plano z=0 se denota por S2 y sea S = S1 ∪ S2 con la Z
orientación
Z exterior. Si
el campo vectorial F está dado por F (x, y, z) = (2x, x, z + 1) calcule F · dS = Flujo(S).
S
Solución. Sea S3 la tapa inferior dada por z = 0, x2 + y 2 ≤ 2y. Ası́ S ∪ S3 acota (encierra)
una región de volumen V . El campo F es suave y aplicando el teorema de la divergencia es
ZZZ ZZ ZZ ZZ
divF dV = F · dS = F · dS + F · dS
V S∪S3 S S3
RR RRR RR
De aquı́ es S
F · dS = V
divF dV − S3
F · dS. Calculemos la integral de volumen
de la divergencia y el flujo en S3 (la tapa inferior). Sobre S3 será z = 0 = f (x, y), D :
x2 + (y − 1)2 ≤ 1. La parametrización usual es φ(x, y) = (x, y, f (x, y)) = (x, y, 0), Tx × Ty =
(−fx , −fy , 1) = (0, 0, 1). La orientación exterior η3 está dada η3 = (0, 0, −1). Luego φ invierte
η1 S1
S2 η2
S3 η3
Figura 16:
la orientación y ası́
ZZ ZZ
Flujo(S3 ) = F · dS = − (2x, x, 1) · (0, 0, 1) dx dy
S3 D
ZZ
= − dA
D
= −Area(D) = −π
√
2 2
ZZZ ZZ Zx +y ZZ p
Calculemos divF dV == 3 dz dx dy = 3 x2 + y 2 dx dy. Usando coor-
V D 0 D
denadas polares x = r cos(t), y = r sin(t), y sustituyendo en x2 + y 2 = 2y es r 2 = 2r sin(t),
r = 0, r = 2 sin(t), 0 ≤ t ≤ π
ZZZ ZZ p
divF dV = 3 x2 + y 2 dx dy
V D
π 2 sin(t) Z π
8
Z Z
2
= 3 r dr dt = · 3 sin3 (t) dt
3
Z0 π 0 Z π 0
32
= 8 sin2 (t) sin(t) dt = 8 (1 − cos2 (t)) sin(t) =
0 0 3
sustituyendo
32 32
ZZ ZZZ ZZ
F · dS = divF dV − F · dS = − (−π) = +π
3 3
S V S3