Resolviendo el problema 81.


F (x, y, z) = < x y z, y, z >

Solución , se trata de calcular la divergencia del rotacional del campo vectorial F ,
trabajando de derecha a izquierda tenemos lo siguiente :
  
i j k
  ∂ ∂ ∂
  
∇ ×F = = (0 - 0) i - (0 - x y) j + (0 - x z) k = < 0, x y, - x z >
∂x ∂y ∂z
xyz y z
 
∇ × F = < 0, x y, - x z >, a continuación, calculemos la divergencia de este resultado :
   ∂ ∂ ∂
∇ · ∇ × F = < , , > · < 0, x y, - x z > = 0 + x - x = 0.
∂x ∂y ∂z

  
∇ · ∇ × F = 0. Ver ejercicio 90, Teorema 15.3, de esta sección.

Con el Mathematica :

In[2]:= A = Curl[{x y z, y, z}, {x, y, z}]

rotacional

Out[2]= {0, x y, - x z}

In[3]:= Div[A, {x, y, z}]

divergencia

Out[3]= 0

Demostración del prob. 90 con Mathematica :

Sea F = {P[x, y, z], Q[x, y, z], R[x, y, z]}

In[5]:= B = Curl[{P[x, y, z], Q[x, y, z], R[x, y, z]}, {x, y, z}]

rotacional

Out[5]= - Q(0,0,1) [x, y, z] + R(0,1,0) [x, y, z],

P(0,0,1) [x, y, z] - R(1,0,0) [x, y, z], - P(0,1,0) [x, y, z] + Q(1,0,0) [x, y, z]

In[6]:= Div[B, {x, y, z}]

divergencia

Out[6]= 0

Otro ejercicio.

Demostración.

Sean,
2 Campos e Integrales dobles.nb

  
F (x, y, z) = P (x, y, z) i + Q (x, y, z) j + R (x, y, z) k;
  
G (x, y, z) = S (x, y, z) i + T (x, y, z) j + W (x, y, z) k .
Además,
  
F + G = (P + S) i + (Q + T) j + (R + W) k.
Por lo que,
  
i j k
 ∂ ∂ ∂
∇ × (F + G) = =
∂x ∂y ∂z
P+S Q+T R+W
∂ ∂  ∂ ∂  ∂ ∂ 
(R + W) - (Q + T) i - (R + W) - (P + S) j + (Q + T) - (P + S) k =
∂y ∂z ∂x ∂z ∂x ∂y

 ∂R ∂W ∂Q ∂T  ∂R ∂W ∂P ∂S  ∂Q ∂T ∂P ∂S 
∇ × (F + G) =  + - - i- + - - j+ + - - k =
∂y ∂y ∂z ∂z ∂x ∂x ∂z ∂z ∂x ∂x ∂y ∂y

 ∂R ∂Q  ∂W ∂T  ∂R ∂P  ∂W ∂S  ∂Q ∂P  ∂T ∂S 
∇ × (F + G) = - i+ - i- - j- - j+ - k+ - k
∂y ∂z ∂y ∂z ∂x ∂z ∂x ∂z ∂x ∂y ∂x ∂y

 ∂R ∂Q  ∂R ∂P 
∇ × (F + G) =  - i- - j+
∂y ∂z ∂x ∂z
∂Q ∂P  ∂W ∂T  ∂W ∂S  ∂T ∂S 
- k +  - i- - j+ - k
∂x ∂y ∂y ∂z ∂x ∂z ∂x ∂y
  
∇ × (F + G) = ∇ × F + ∇ × G. Ee demuestra que efectivamente,
el rotacional de la suma de campos vectoriales es la suma de los rotaciones de estos campos.

al comparar con lo siguiente, se llegó a esa conclusión.

  
i j k
 ∂ ∂ ∂
∂R ∂Q ∂R ∂P ∂Q ∂P
∇ ×F = = - i- - j+ - k
∂x ∂y ∂z ∂y ∂z ∂x ∂z ∂x ∂y
P Q R
  
i j k
 ∂ ∂ ∂
∂W ∂T  ∂W ∂S  ∂T ∂S 
∇ ×G = = - i- - j+ - k
∂x ∂y ∂z ∂y ∂z ∂x ∂z ∂x ∂y
S T W

  
i j k
F×G = P Q R = (Q W - R T) i - ... + ...
S T W
 ∂ ∂ ∂
∇ · (F × G) = < , , > · < Q W - R T, ..., ... >
∂x ∂y ∂z

∂W ∂Q ∂T ∂R
= Q +W -R -T + ... + ...
∂x ∂x ∂x ∂x
 Campos e Integrales dobles.nb 3

Integrales iteradas y área en el plano

Área de una región plana

En los ejercicios 11 a 30, evaluar la integral iterada.

solución.

Observando la integral, vemos que los elementos diferenciales son dx dy,

comparando con el recuadro anterior,
notamos que corresponde al caso 2. Es decir, integral horizontalmente simple.
2 4 2 4
2 2 2 2
  x - 2 y  ⅆ x ⅆ y =   x - 2 y  ⅆ x ⅆ y,
1 0 1 0
estamos utilizando el teorema de Fubinni, para resolver.
2 4 2 4 4
2 2 2 2
  x - 2 y  ⅆ x ⅆ y =   x ⅆ x - 2 y  ⅆ x ⅆ y,
1 0 1 0 0
2
sacamos 2 y , porque es una constante para la integral en x.
2
2
4
2 2
2
2
4 4 2 1
  x - 2 y  ⅆ x ⅆ y =   x ⅆ x - 2 y  ⅆ x ⅆ y =   x3 x=4
x=0 - 2 y2 x x=4
x=0  ⅆy →
1 0 1 0 0 1 3
2 4
2 2
  x - 2 y  ⅆ x ⅆ y =
1 0
2 1 2 1 2 64
  43 - 0 - 2 y2 (4 - 0) ⅆ y =   × 43 - 2 y2 (4) ⅆ y =   - 8 y2  ⅆ y →
1 3 1 3 1 3
4 Campos e Integrales dobles.nb

2
2 2
4 2 64
  x - 2 y  ⅆ x ⅆ y =  - 8 y2 ⅆ y =
1 0 1 3
64 2 2
2
64 y=2 8 y=2 64 8 64 56 8
 ⅆy - 8  y ⅆy = y y=1 - y3 y=1 = (2 - 1) - 23 - 1 = - = . Esto es,
3 1 1 3 3 3 3 3 3 3
2
2
4
2
8
  x - 2 y  ⅆ x ⅆ y = .
1 0 3
Cotejando con Mathematica tenemos :

2 4
2 2
In[1]:=   x - 2 y  ⅆ x ⅆ y
1 0
8
Out[1]=
3

Lo cual indica que nuestros cálculos son correctos.