Teora de Campos

Electromagnticos
FACULTAD DE I NGENI ERI A ELECTRI CA Y
ELECTRONI CA
Curso:
Teora de Campos Electromagnticos.

Profesor:
Lavan Quiroz David Alfonso.

Tema:
Demostraciones.

Integrante:

Machaca Paitan Pedro Javier. Cd.: 1113210023

Laboratorio / Grupo:

Martes / 92 G

Aula / Turno:

121192 / 19:30 a 22:00


2013




Sea V un slido simple de
3
y S V = c su borde, orientado con la normal unitaria exterior n.
Sea
3
: F V un campo vectorial de clase
1
C . Entonces:
.
V S
divF F ndS =
} }

Demostracin:
Haremos la demostracin suponiendo que V es un slido proyectable xy, proyectable xz. Que
V sea proyectable xy significa que V puede escribirse de la manera siguiente:
{ }
3
( , , ) : ( , ) , ( , ) ( , ) , V x y z x y D x y z x y = e e s s
Donde D es una regin del plano xy limitada por una curva cerrada simple regular a trozos, y
, : D son funciones de clase
1
C en D; es decir, V puede verse como lo que queda
entre las grficas de dos funciones de clase
1
C definidas en la proyeccin de V sobre el plano
xy. Anlogamente se define el ser proyectable xz o proyectable yz.
Sea ( , , ). F P Q R = Como V es proyectable a xy podemos escribir
{ }
3
( , , ) : ( , ) , ( , ) ( , ) , V x y z x y D x y z x y = e e s s
Donde , , D cumplen las condiciones explicitas anteriores, y tenemos, aplicando el teorema
de Fubini, que:
( , , ( , )) ( , , ( , )) . (4)
V D
R
dxdydz R x y x y R x y x y dxdy
z

c
=
c
} }

Calculemos por otra parte la integral
(0, 0, ) .
S
R ndS
}

Podemos descomponer S en tres piezas,
1 2 3
S S S S = , donde
{ } { }
{ }
1 2
3
( , , ( , )) : ( , ) , ( , , ( , )) : ( , ) ,
( , , ) : ( , ) , ( , ) ( , )
S x y x y x y D S x y x y x y D
S x y z x y D x y z x y


= e = e
= e c s s

En
3
S el vector normal exterior unitario n es perpendicular al eje z y por tanto tambin al
campo (0,0,R), de modo que:
3
(0, 0, ) 0
S
R ndS =
}

Por otro lado la normal n apunta hacia arriba en
2
S y hacia abajo en
1
S , de modo que, al
calcular las integrales (0, 0, )
i
S
R ndS
}
obtenemos:
2
(0, 0, ) (0, 0, ( , , ( , ))) , ,1 ( , , ( , )) .
S D D
R ndS R x y x y dxdy R x y x y dxdy
x y


| | c c
= =
|
c c
\ .
} } }

Mientras que:
1
(0, 0, ) (0, 0, ( , , ( , ))) , , 1 ( , , ( , )) .
S D D
R ndS R x y x y dxdy R x y x y dxdy
x y


| | c c
= =
|
c c
\ .
} } }

Por tanto
( )
1 2 3
(0, 0, ) (0, 0, ) (0, 0, ) (0, 0, )
( , , ( , )) ( , , ( , )) 0
( , , ( , )) ( , , ( , )) ,
S S S S
D D
D
R ndS R ndS R ndS R ndS
R x y x y dxdy R x y x y dxdy
R x y x y R x y x y dxdy


= + + =
+ =

} } } }
} }
}

Lo que combinado con (4) nos da
(0, 0, ) . (5)
V S
R
dxdydz R ndS
z
c
=
c
} }

Anlogamente, usando que V es proyectable en xz y proyectable en yz, se comprueba que:
(0, , 0) (6)
V S
Q
dxdydz Q ndS
y
c
=
c
} }

Y que
( , 0, 0) (7)
V S
P
dxdydz P ndS
y
c
=
c
} }

Finalmente, sumando (5), (6) y (7) obtenemos que:
( , , ) ,
V S
P Q R
dxdydz P Q R ndS
x y z
| | c c c
+ + =
|
c c c
\ .
} }

Es decir el enunciado del teorema para solidos proyectables en cualquiera de las tres
direcciones de los ejes. En general todos los slidos convexos de
3
.




























Definicin de la rotacional
Definimos ahora la componente n-esima del rotacional del campo vectorial A en un punto
dado, en cierta direccin
n
a arbitraria, la cual se escribe abreviadamente ( )
n
x A V , como la
densidad de fuentes vectoriales de A en la direccin
n
a por unidad de superficie transversal en
dicho punto:
0
( )
( ) lim
n
n
S
fuentes vectoriales de A
x A
S
A
V =
A

O en modo equivalente:
0
1
( ) lim (1)
n
S
x A A d
S
A
I
V =
A
}

Donde el camino I de integracin es el contorno de la superficie S A donde se encuentra el
punto donde se desea calcular el rotacional de A y cuya normal coincide con la direccin de la
componente del rotacional. La ecuacin (1) se lee: la componente del rotacional de un campo
vectorial A en un punto dado en una direccin arbitraria
n
a se obtiene tomando una pequea
superficie que contenga el punto y otagonal a dicha direccin, calculando la integral de lnea
de A a lo largo del contorno de dicha superficie (la circulacin), y dividiendo esta circulacin
entre la superficie en la medida que esta se hace disminuir hasta dimensiones infinitesimales.
La cantidad que se obtiene (la componente del rotacional en la direccin normal a la
superficie) tiene dimensiones de una densidad superficial de circulacin o de fuentes
vectoriales.
Para obtener el rotacional de A se deben calcular las
componentes de este segn las tres direcciones bases de
un sistema de coordenadas dado. En coordenadas
curvilneas generalizadas ser:
1 1 2 2 3 3
( ) ( ) ( ) (2) x A x A a x A a x A a V = V + V V
Para calcular la componente
1
( ) x A V del rotacional en
un punto genrico
1 2 3
( , , ) p u u u se toma una superficie
incremental
1
S A con centro en el punto p , o con p
como uno de sus vrtices (ver figura) y se calcula la circulacin
1
A
C
I
del campo a lo largo del
contorno
1
I de dicha superficie.
Con la relacin a la figura se obtiene:
2 3 2 3 ln
1
( ) (3)
pl mn mp
x A A d A d A d A d
h h u u
| |
V ~ + |
|
A A
\ .
} } } }

Dnde:
2
2 2 2
( ) ( )
( ) (4)
pl
A d A en p a longitud del tramo pl
A h u
~
~ A
}

El clculo de .
mn
Ad
}

se puede calcular a partir del resultado dado por la Ec (4), asumiendo
que el campo A

sea de buen comportamiento (continuo y derivable), tanto en S A como en
I, mediante el desarrollo en serie de Taylor
( ) 3
3
. . . . . .
mn pl pl
Ad Ad Ad u T O S
u
c
= + A +
c
} } }
donde los trminos de orden superior contienen potencias del incremento
( )
3 3
n
u u A A , con
2 n > ; los cuales se pueden despreciar en virtud del proceso de limite. De esta forma:
( )
2 2 2 2 2 2 3
3
.
mn
Ad A h u A h u u
u
c
~ A + A A
c
}

Y:
( )
2 2 2 2 2 2 3
3
.
mn
Ad A h u A h u u
u
c
~ A A A
c
}
. (5)
Por otro lado:
3
( ).( )( )
mp
Ad A en p a longitud del tramonp ~
}

3 3 3
A h u ~ A

(6)
Finalmente, para el clculo de .
nl
Ad
}
se puede proceder de manera similar a como se
procedi con .
mn
Ad
}
:
( )
3 3 3 3 3 3 2
3
.
nl
Ad A h u A h u u
u
c
~ A A A
c
}


Y:
( )
3 3 3 3 3 3 2
2
.
nl
Ad A h u A h u u
u
c
~ A + A A
c
}
(7)
Al sustituir las ecuaciones 4,5,6,7 en la ecuacin 3, efectuar la suma y resolver el limite se
obtiene:
( )
3 3 2 2
1
2 3 2 3
1
( ) ( ) A A h A h
h h u u
( c c
V =
(
c c


Los componentes A V se pueden calcular de manera similar hasta obtener:
3 1 2
3 3 2 2 1 1 3 3 2 2 1 1
2 3 2 3 1 3 3 1 1 2 1 2
( ) ( ) ( ) ( ) ( ) ( ) (8)
a a a
A A h A h Ah A h A h Ah
h h u u h h u u h h u u
( ( ( c c c c c c
V = + +
( ( (
c c c c c c


La ecuacin 8 se puede escribir de forma concisa mediante el determinante:
1 1 2 2 3 3
1 2 3 1 2 3
1 1 2 2 3 3
1
h a h a h a
A
h h h u u u
h A h A h A
c c c
V =
c c c
(9)
Al especificar la ecuacin 9 para cada sistema de coordenadas se obtienen las expresiones que
se presentan en el siguiente cuadro
- Rotacional A V expresado en diferentes sistemas de coordenadas
Cartesianas Cilndricas Esfrica

A V
x y z
x y z
a a a
x y z
A A A
c c c
c c c

p z
p z
a pa a
p z
A pA A

c c c
c c c

2
1
r
r
a ra rsen a
r sen r
A rA rsen A
u
u
u
u u
u
c c c
c c c











Bastara probar las 3 igualdades siguientes:
,
,
,
S S
S S
S S
P P
Pdx dx dy dz dx
y z
Q Q
Qdy dy dz dx dy
z x
R R
Rdz dz dx dy dz
x y
c
c
c
| | c c
= +
|
c c
\ .
c c | |
= +
|
c c
\ .
| | c c
= +
|
c c
\ .
} }
} }
} }

Ya que sumndolas obtenemos:
S S
R Q P R Q P
dy dz dz dx dx dy Pdx Qdy Rdz
y z z x x y
c c
| | | | c c c c c c | |
+ + = + +
| | |
c c c c c c
\ .
\ . \ .
} }

Puesto que la demostracin de las tres frmulas es totalmente anloga, nos contentaremos
con probar la primera de ellas. Hay que demostrar que:
( , ) ( , )
(1)
( , ) ( , )
D S
P x y P z x
dudv Pdx
y u v z u v
c
| | c c c c
+ =
|
c c c c
\ .
} }

Denotaremos ( , ) ( ( , ), ( , ), ( , )) f u v P x u v y u v z u v = . Ahora utilizaremos la frmula:
( , ) ( , )
(2)
( , ) ( , )
P x y P z x x x
f f
y u v z u v u v v u
| | c c c c c c c c | | | |
+ =
| | |
c c c c c c c c
\ . \ .
\ .

Utilizando esta igualdad y el teorema de Green en el primer miembro de (1) obtenemos:
( , ) ( , )
( , ) ( , )
(3)
D D
C
P x y P z x x x
dudv f f dudv
y u v z u v u v v u
x x
f du f dv
u v
| | c c c c c c c c ( | | | |
+ =
| | | (
c c c c c c c c
\ . \ . \ .
c c
= +
c c
} }
}

Sea ( ( ), ( )), [ , ] u t v t t a b = e , una parametrizacion de
2
C c recorrida en sentido positivo,
entonces ( ) ( ( ( ), ( )), ( ( ), ( )), ( ( ), ( )), ), [ , ], o t x u t v t y u t v t z u t v t t a b | = e es una
parametrizacion admisible de S c , y
( ( ( ), ( )), ( ( ), ( )), ( ( ), ( )) ( ( ( ), ( )))
( ( ( ), ( )), ( ( ), ( )), ( ( ), ( ))
,
b
S a
b
a
C
d
Pdx P x u t v t y u t v t z u t v t x u t v t dt
dt
x du x dv
P x u t v t y u t v t z u t v t
u dt v dt
x x
f du f dv
u v
c
= =
c c | |
+ =
|
c c
\ .
c c
+
c c
} }
}
}

Es decir:
,
S C
x x
Pdx f du f dv
u v
c
c c
= +
c c
} }

Lo que combinado con (3) nos da (1).