Interpretacion intuitiva del rotacional

El rotacional de un campo vectorial

F(x, y, z) = (U(x, y, z), V (x, y, z), W(x, y, z)) se dene como
rot F = F = (W
y
V
z
, U
z
W
x
, V
x
U
y
). (1)
Pensemos que F es el campo de velocidades de un uido; U es la
componente x, V es la componente y y W es la componente z de F.
1 / 122
Consideremos una situacion mas simple: supongamos que F es un
campo que describe el comportamiento de un uido bidimensional,
F(x, y) = (U(x, y), V (x, y), 0).
Entonces,
rot F = F = (0, 0, V
x
U
y
). (2)
2 / 122
Imaginemos una rueda con aspas inmersa en el uido, colocada de
manera tal que el eje de rotacion de la rueda este en la direccion del
vector k = (0, 0, 1).
3 / 122
Consideremos, primero, un ujo muy simple, en el que las
componentes U y V son lineales en x y y :
U(x, y) = a +u
1
x +u
2
y,
V (x, y) = b +v
1
x +v
2
y.
_
_
_
(3)
Consideremos primero el caso en el que el uido se mueve s olo en la
direccion x :
F
1
= (U(x, y), 0) = (a +u
1
x +u
2
y, 0).
4 / 122
Observese que la componente a +u
1
x es constante a lo large de
cualquier recta vertical, de manera que esta componente no causar a
ninguna rotacion. Sin embargo, si u
2
> 0, la componente (u
2
y, 0) se
incrementa a lo largo de rectas verticales, haciendo que la velocidad
en la parte superior de la rueda sea mayor que la velocidad en la parte
inferior. Esto provocar a que que la rueda gire en direccion de las
agujas del reloj. Si u
2
< 0, la rueda tender a a girar en direccion
contraria a la direccion de las manecillas del reloj.
5 / 122
6 / 122
George Green
Matem atico y fsico Ingles. Naci o en 1793, Sneinton, Nottingham
Escribio An Essay on the Application of Mathematical Analysis to
the Theories of Electricity and Magnetism
Green fue practicamente autodidacta, pues s olo tuvo un a no de
educacion escolar formal, a la edad de 8 a nos. Ingres o a la
Universidad de Cambridge (como estudiante de licenciatura
-undergraduate-) en 1833 (a los 40 a nos de edad). Se graduo de
licenciatura en 1837. Despues de graduarse estudio y escribi o sobre
optica, ac ustica e hidrodin amica. En 1840 enfermo y regreso a
Nottingham, donde muri o al a no siguiente.
http://www-history.mcs.st-andrews.ac.uk/Biographies/Green.html
7 / 122
Curva cerrada
Una curva diferenciable c: [a, b] R
2
es cerrada cuando c(a) = c(b).
Si adem as, la funcion c es inyectiva en el intervalo (a, b), entonces se
dice que la curva es una curva cerrada simple.
Por ejemplo, la curva c: [0, 1] R
2
dada por:
c(t) = (a cos(2t), b sin(2t))
es una curva diferenciable cerrada (es una elipse de semiejes a y b.)
8 / 122
Curva suave
Se le llama curva suave a la curva que no posee picos. Formalmente,
una curva C representada por la ecuacion parametrica:
_
x = f(t)
y = g(t)
en un intervalo I cualquiera, es suave si sus derivadas son continuas
en el intervalo I y no son simult aneamente nulas, excepto
posiblemente en los puntos terminales del intervalo.
9 / 122
Curva suave por partes
Una curva C es suave por partes si es suave en todo intervalo de
alguna particion de I; es decir que el intervalo puede dividirse en un
n umero nito de subintervalos, en cada uno de los cuales C es suave.
Por ejemplo, la frontera de un rectangulo es una curva suave por
partes.
10 / 122
Teorema de Green
Sea C una curva cerrada, simple, suave por pedazos en el plano x-y y
sea D la regi on limitada por C.
Sean P = P(x, y) y Q = Q(x, y) dos funciones reales de dos variables
de clase C
1
(D)
Entonces
_
C
Pdx +Qdy =
__
D
_
Q
x

P
y
_
dA
.
11 / 122
Demostraci on
El teorema de Green se demuestra probando que primero que
_
C
Pdx =
__
D
P
y
dA (4)
y despues que
_
C
Qdy =
__
D
Q
x
dA (5)
Al sumar las ecuaciones (4) y (5) se obtiene la conclusion del teorema
de Green.
12 / 122
Para demostrar (4), hay que ver a la regi on de integraci on D de la
siguiente manera:
Entonces:
__
D
P
y
dA =
_
b
a
_ _
g
2
(x)
g
1
(x)
P
y
(x, y)dy
_
dx
=
_
b
a
_
P(x, y)

y=g
2
(x)
y=g
1
(x)
dx
=
_
b
a
_
P(x, g
2
(x)) P(x, g
1
(x))
_
dx (6)
13 / 122
Ahora, notese que una parametrizaci on de C
1
es
C
1
: x = x (par ametro) , y = g
1
(x), a x b,
mientras que una parametrizaci on de C
2
es
C
2
: x = x (par ametro) , y = g
2
(x), a x b.
Entonces,
_
C
P(x, y)dx =
_
C
1
P(x, y)dx +
_
C
2
P(x, y)dx
=
_
C
1
P(x, y)dx
_
C
2
P(x, y)dx
=
_
b
a
_
P(x, g
1
(x)) P(x, g
2
(x))
_
dx (7)
14 / 122
Comparando (6) y (7) se concluye que
__
D
P
y
dA =
_
C
P(x, y)dx
que es (4).
15 / 122
Para probar (5), hay que ver ahora a la regi on de integraci on D de
la siguiente manera:
16 / 122
Ahora tenemos
__
D
Q
x
dA =
_
d
c
_ _
h
2
(x)
h
1
(x)
Q
x
(x, y)dx
_
dy
=
_
d
c
_
Q(x, y)

x=h
2
(y)
x=h
1
(y)
dy
=
_
d
c
_
Q(h
2
(y), y) Q(h
1
(y), y)
_
dy (8)
17 / 122
Ahora, notese que
_
C
Q(x, y)dy =
_
C

1
Q(x, y)dy +
_
C

2
Q(x, y)dy
=
_
C

1
Q(x, y)dy +
_
C

2
Q(x, y)dy
=
_
d
c
Q(h
1
(y), y)dy +
_
d
c
Q(h
2
(y), y)dy
=
_
d
c
_
Q(h
2
(y), y) Q(h
1
(y), y)

dy (9)
Comparando (8) y (9) se concluye que
__
D
Q
x
dA =
_
C
Q(x, y)dy
que es (5).
18 / 122
El teorema de Stokes (para supercies denidas
explcitamente)
Si S es una supercie denida explcitamente por z = f(x, y), con
(x, y) D R
2
, entonces S se puede parametrizar en la forma
x(u, v) = (u, v, z(u, v)), (u, v) D.
El vector normal a esta supercie es
n =
x
u

x
v
=
_
1, 0,
z
x
_

_
0, 1,
z
y
_
=
_

z
x
,
z
y
, 1
_
.
Recuerdese que elemento vectorial de area, dS, es
dS = ndA =
_

z
x
,
z
y
, 1
_
dA.
19 / 122
Teorema
(de Stokes). Sea S una supecie orientada denda por una funcion de
clase C
2
, z = f(x, y), donde (x, y) D y D es una regi on en el plano
en la que es v alido el teorema de Green. Sea F un campo vectorial de
clase C
k
sobre la supercie S. Entonces
__
S
rot F dS =
__
S
(F) dS =
_
S
F ds,
donde S denota la frontera de S orientada positivamente.
20 / 122
Demostraci on.
Si F(x, y, z) = (F
1
(x, y, z), F
3
(x, y, z), F
3
(x, y, z)) entonces
rot F =
_
F
3
y

F
2
z
,
F
1
z

F
3
x
,
F
2
x

F
1
y
_
.
Entonces,

S
rot FdS =

F
3
y

F
2
z
,
F
1
z

F
3
x
,
F
2
x

F
1
y

z
x
,
z
y
, 1

dA
=

F
3
y

F
2
z

z
x

F
1
z

F
3
x

z
y

F
2
x

F
1
y

dA.
(10)
Ahora calcularemos
_
S
F ds y veremos que coincide con (10).
21 / 122
Sea C : [a, b]R
3
, c(t) = (x(t), y(t), z(t)), una parametrizaci on (que
preserve la orientaci on) de S. Entonces
_
S
F ds =
_
b
a
_
F
1
dx
dt
+F
2
dy
dt
+F
3
dz
dt
_
dt.
Por la regla de la cadena,
dz
dt
=
z
x
dx
dt
+
z
y
dy
dt
.
Sustituyendo:
_
S
F ds =
_
b
a
_
F
1
dx
dt
+F
2
dy
dt
+F
3
dz
dt
_
dt
=
_
b
a
_
F
1
dx
dt
+F
2
dy
dt
+F
3
_
z
x
dx
dt
+
z
y
dy
dt
__
dt
=
_
b
a
_ _
F
1
+F
3
z
x
_
dx
dt
+
_
F
2
+F
3
z
y
_
dy
dt
_
dt
=
_
c
_
F
1
+F
3
z
x
_
dx +
_
F
2
+F
3
z
y
_
dy =
22 / 122
. . .aplicamos el teorema de Green. . .
=
__
D
_
_

_
F
2
+F
3
z
y
_
x

_
F
1
+F
3
z
x
_
y
_
_
dA. (11)
23 / 122
Usando la regla de la cadena, y el hecho de que F
i
= F
i
(x, y, z),
i = 1, 2, 3, y que z = z(x, y), obtenemos

_
F
2
+F
3
z
y
_
x
=
F
2
x
+
F
2
z
z
x
+F
3

2
z
xy
+
z
y
_
F
3
x
+
F
3
z
z
x
_
y

_
F
1
+F
3
z
x
_
y
=
F
1
y
+
F
1
z
z
y
+F
3

2
z
xy
+
z
x
_
F
3
y
+
F
3
z
z
y
_
de modo que el integrando en (11) es

_
F
2
+F
3
z
y
_
x

_
F
1
+F
3
z
x
_
x
=
_
F
2
x
+
F
2
z
z
x
+

F
3

2
z
xy
+
z
y
_
F
3
x
+

F
3
z
z
x
__

_
F
1
y
+
F
1
z
z
y
+

F
3

2
z
xy
+
z
x
_
F
3
y
+

F
3
z
z
y
_
_
24 / 122
=
_
F
2
x
+
F
2
z
z
x
+ +
z
y
F
3
x
_

_
F
1
y
+
F
1
z
z
y
+
z
x
F
3
y
_
=
_
F
3
y

F
2
x
__

z
x
_
+
_
F
1
z

F
3
x
__

z
y
_
+
_
F
2
x

F
1
y
_
.
25 / 122
De aqu se concluye que
_
S
F ds =
__
S
rot F S.
26 / 122
Comentario
Recuerdese que F ds es la componente tangencial del campo F sobre
c mientras que rot F S es la componente normal del campo rot F.
Entonces, el teorema de Stokes establece que la integral de la
componente normal de rot F sobre la supercie S es igual a la integral
de la componente tangencial de F a lo largo de la frontera de S.
27 / 122
Ejemplo (Marsden/Tromba, 5ta. Ed., Secc. 8.2, #7)
Calcule la integral
__
S
(F) dS
donde S es la porci on de la superce de la esfera denida por
x
2
+y
2
+z
2
= 1, x +y +z 1, y donde F = r (i +j +k).
Solucion
La supercie S.
x
2
+y
2
+z
2
= 1, x +y +z 1.
Despejar z de x +y +z = 1 y sustituir en x
2
+y
2
+z
2
= 1 :
x
2
+y
2
+ (1 x y)
2
= 1.
Simplicar:
x
2
+y
2
x y +xy = 0. (12)
28 / 122
Dado que
1
1
4(1)(1) < 0,
la ecuacion (12) representa una en el plano xy y un cilindro elptico
recto en el espacio xyz
x
y
Gr aca de la elipse x
2
+ y
2
x y + xy = 0
29 / 122
El angulo que debe rotarse el sistema de coordenadas xy para
obtener un sistema de coordenadas XY en el que no aparezca el
termino xy est a dado por
tan(2) =
1
1 1
= .
As que
=

4
.
x
y
/4
X
Y
30 / 122
El cambio de coordenadas (para que desaparezca el termino xy) es
x = X cos Y sen , y = Xsen +Y cos ,
es decir
x =

2
2
X

2
2
Y, y =

2
2
X +

2
2
Y. (13)
Sustituyendo (13) en (12) obtenemos
3X
2
+Y
2
2

2X = 0,
que se puede escribir (completando trinomio cuadrado perfecto en X):
9
2
_
X

2
3
_
2
+
3
2
Y
2
= 1. (14)
31 / 122
La parametrizaci on de la elipse (14) es
X =

2
3
cos t +

2
3
, Y =
_
2
3
sen t, 0 t 2. (15)
Y
X
Gr aca de la elipse 3X
2
+ Y
2
2

2X = 0
Para obtener la parametrizaci on de la elipse (12) tenemos ahora que
rotar el sistema de coordenadas en = /4. Es decir, tenemos que
hacer
X = xcos(/4) ysen(/4) =

2
2
x +

2
2
y,
Y = xsen (/4) +y cos(/4) =

2
2
x +

2
2
y
en (15).
32 / 122
Obtenemos
x =

2
2
(X Y ) =
1
3
_
cos t

3sen t + 1
_
y =

2
2
(X +Y ) =
1
3
_
cos t +

3sen t + 1
_
0 t 2.
(16)
x
y
Parametrizacion de x
2
+ y
2
x y + xy = 0
33 / 122
La frontera S de la supercie S es la im agen de la curva (16) sobre
el plano x +y +z = 1 (o sobre la esfera). De manera que la
parametrizaci on de la frontera de S es
c(t) =
1
3
_
(cos t

3sen t + 1), (cos t +

3sen t + 1), (1 2 cos t)

_
,
t [0, 2].
(17)
x
y
z
34 / 122
x
y
z
35 / 122
x
y
z
36 / 122
x
y
z
37 / 122
x
y
z
38 / 122
x
y
z
39 / 122
x
y
z
40 / 122
x
y
z
41 / 122
x
y
z
42 / 122
x
y
z
43 / 122
x
y
z
44 / 122
x
y
z
45 / 122
x
y
z
46 / 122
x
y
z
47 / 122
x
y
z
48 / 122
x
y
z
49 / 122
x
y
z
50 / 122
x
y
z
51 / 122
x
y
z
52 / 122
x
y
z
53 / 122
x
y
z
54 / 122
x
y
z
55 / 122
x
y
z
56 / 122
x
y
z
57 / 122
x
y
z
58 / 122
x
y
z
59 / 122
x
y
z
60 / 122
x
y
z
61 / 122
x
y
z
62 / 122
x
y
z
63 / 122
x
y
z
64 / 122
x
y
z
65 / 122
x
y
z
66 / 122
x
y
z
67 / 122
x
y
z
68 / 122
x
y
z
69 / 122
x
y
z
70 / 122
x
y
z
71 / 122
x
y
z
72 / 122
x
y
z
73 / 122
x
y
z
74 / 122
x
y
z
75 / 122
x
y
z
76 / 122
x
y
z
77 / 122
x
y
z
78 / 122
x
y
z
79 / 122
x
y
z
80 / 122
x
y
z
81 / 122
x
y
z
82 / 122
x
y
z
83 / 122
x
y
z
84 / 122
x
y
z
85 / 122
x
y
z
86 / 122
x
y
z
87 / 122
x
y
z
88 / 122
x
y
z
89 / 122
x
y
z
90 / 122
x
y
z
91 / 122
x
y
z
92 / 122
x
y
z
93 / 122
x
y
z
94 / 122
x
y
z
95 / 122
x
y
z
96 / 122
x
y
z
97 / 122
x
y
z
98 / 122
x
y
z
99 / 122
x
y
z
100 / 122
x
y
z
101 / 122
x
y
z
102 / 122
x
y
z
103 / 122
x
y
z
104 / 122
x
y
z
105 / 122
x
y
z
106 / 122
x
y
z
107 / 122
x
y
z
108 / 122
x
y
z
109 / 122
x
y
z
110 / 122
x
y
z
111 / 122
x
y
z
112 / 122
x
y
z
113 / 122
x
y
z
114 / 122
x
y
z
115 / 122
x
y
z
116 / 122
x
y
z
117 / 122
x
y
z
118 / 122
x
y
z
119 / 122
x
y
z
120 / 122
Entonces, la frontera S est a parametrizada por
c(t) =
1
3
_
(cos t

3sen t + 1), (cos t +

3sen t + 1), (1 2 cos t)

_
,
t [0, 2],
por lo que
x =
1
3
(cos t

3sen t + 1),
y =
1
3
(cos t +

3sen t + 1),
z =
1
3
(1 2 cos t).
El campo es
F = r (i +j +k) = = (y z, z x, x y)
121 / 122
Por el teorema de Stokes,
__
S
(F) dS =
_
S
F ds
El campo F evaluado sobre la frontera de S es
F(c(t)) =
_
cos t +

3 sin t
3
, cos t +

3 sin t
3
,
2

3 sin t
3
_
,
mientras que el elemento vectorial de longitud de arco, ds, es
ds = c

(t)dt =
1
3
_
sen t

3 cos t, sen t +

3 cos t,
2
3
sen t,
_
dt.
El producto interior de estos dos campos es
F dc =
2

3
3
dt,
por lo que
__
S
(F)dS =
_
S
Fds =
_
2
0

3
3
det t =
2

3
3
2 =
4

3
3
.
122 / 122