Documente Academic
Documente Profesional
Documente Cultură
Complementos de Matemticas
Santiago, Chile
2011.
1
1 NOTACION VECTORIAL.
Un vector es una cantidad que posee tanto magnitud como direccin. Un vector puede expresarse
mediante tres componentes escalares segn una terna de referencia convenientemente elegida. Los
sistemas de coordenadas ms comunes son el cartesiano, esfrico y cilndrico.
En el sistema de coordenadas cartesianas (fig. A.1) un vector queda representado por:
donde i,
j, k son vectores unitarios en las direcciones O x , O y , O z respectivamente.
ya que
i j j k k i 0
i i j j k k 1
Si U V 0, los dos vectores deben ser perpendiculares.
2
En trminos de los componentes vectoriales, UxV est dado por:
UxV (U x i U y j U z k ) x (V x i V y j V z k)
UxV (U yV z U zV y )i (U z V x U xV z ) j (U xV y U yV x ) k
| k |
UxV = | Ux Uy Uz |
| Vx Vy Vz |
1
U lim( U n ds)
v 0 v S
U x U x
(U x x)yz U xyz xyz
x x
3
U x U y U z
U
x y z
Para demostrar este teorema, subdividimos el volumen en un gran nmero de pequeos elementos.
Si el elemento i tiene un volumen vi y est limitado por una superficie S i , tenemos:
i
Si
U n ds U n ds
S
donde en cada integral del primer miembro la normal est dirigida hacia afuera del volumen vi .
Como cada superficie comn interior entre los volmenes diferenciales tiene el flujo saliendo de un
volumen y entrando exactamente al volumen adyacente, la contribucin neta al flujo para la
integral de superficie es cero para todas las superficies interiores. Contribuciones al flujo, diferentes
de cero, se obtienen nicamente para aquellas superficies que limitan la superficie exterior S de
v.
El teorema de la divergencia se obtiene haciendo que el nmero de elementos tienda a infinito de
modo que vi 0 . En estas condiciones:
1
U n ds lim Si nds vi
U
vi
S vi 0
i
4
El rotacional de un vector U se define en trminos de una integral de lnea alrededor de un camino
infinitesimal, dividida por el rea encerrada por el camino. El rotacional
de un vector y la
componente en cualquier direccin est dada por la integral de lnea de U por unidad de rea, para
un rea elemental normal a la direccin escogida; la normal positiva esta determinada por la regla
del tirabuzn.
Consideremos un rea elemental como la indicada en la Fig. A.4, con dimensiones y , z .
Rotando alrededor de esta rea segn los punteros del reloj, al mirar en direccin O x tenemos:
1 U z U y U z U y
(xU ) x U y y (U z y ) (U y z ) U z z
yz y z y z
Calculando (xU ) y y (xU ) z en forma anloga, obtenemos:
U z U y U x U z U y U x
xU ( )i ( )j( )k
y z z x x y
i j k
x U
x y z
Ux Uy Uz
5
Teorema de Stokes.
La integral del rotacional de un vector U sobre una
superficie arbitraria S limitada por un
contorno C es igual a la integral de lnea del vector U sobre ese contorno.
U dl
C
xU n ds
S
C
U dl
dS1
U dl U dl ....
dS 2
(xU ) dS1 (xU ) dS 2 ....
xU ds
S
6
El gradiente de una funcin escalar es un vector cuya magnitud es la mxima derivada direccional
en el punto considerado y cuya direccin es aquella de la mxima derivada direccional en ese
punto.
i j k
x y z
i j k
x y z
y tiene propiedades anlogas a las de un vector ordinario. Se denomina tambin operador nabla.
2 2 2
2
x 2 y 2 z 2
( )
( A B) A B
x ( A B ) xA xB
( )
(A) A A
x (A) xA xA
x ( AxB ) A B B A ( B ) A ( A ) B
2
xA 0
xxA ( A) 2 A
( A B ) ( A ) B ( B ) A Ax (xB ) Bx (xA)
A BxC B CxA C AxB
Ax ( BxC ) B ( A C ) C ( A B )
x 0
( AxB ) B xA A xB
7
2 SISTEMAS DE COORDENADAS ORTOGONALES
Teniendo como base las coordenadas cartesianas o rectangulares, cualquier nuevo sistema de
coordenadas u1 , u 2 , u 3 puede ser definido en el espacio mediante la transformacin:
x f (u1 , u 2 , u 3 )
y g (u1 , u 2 , u 3 )
z h(u1 , u 2 , u 3 )
Asumiremos que las funciones f , g , h estn definidas y tienen derivadas parciales de primer orden
continuas en un dominio D del espacio u1u 2 u 3 y que las ecuaciones anteriores tienen como
nica solucin para u1 , u 2 y u 3 las ecuaciones:
u1 F ( x, y , z )
u 2 G ( x, y , z )
u 3 H ( x, y , z )
( x, y , z )
J
(u1 , u 2 , u 3 )
es positivo y no nulo en D .
Un punto P , puede especificarse por las coordenadas cartesianas ( x, y , z ) y por las coordenadas
curvilneas ( u1 , u 2 , u 3 ).
8
r p xi yj zk f (u1 , u 2 , u 3 )i g (u1 , u 2 , u 3 ) j h(u1 , u 2 , u 3 )k
r r r
dr du1 du 2 du 3
u1 u 2 u 3
r
El vector es tangente a la coordenada u i en P . Si u i es el vector unitario en la direccin de
u i
r
en P , entonces:
u i
r r
hi u i donde hi
u i u i
con lo cual:
dr h1 du1u1 h2 du 2 u 2 h3 du 3 u 3
dS k hi h j du i du j u k
dV h1 h2 h3 du1 du 2 du 3
Adems, si es una funcin escalar y A una funcin vectorial de las coordenadas curvilneas
ortogonales u1 , u 2 , u 3 :
9
1 1 1
u1 u 2 u 3
h1 u1 h2 u 2 h3 u 3
1
A ( h2 h3 A1 ) (h1 h3 A2 ) (h h2 A3 )
h1 h2 h3 u1 u 2 u 3
10
2.2 Coordenadas Rectangulares ( x, y , z )
a) Ecuaciones de transformacin.
u1 x ; x
u2 y ; y
u3 z ; z
b) Factores de Escala:
hx 1 h y 1 hz 1
c) Elementos Diferenciales:
dl dxx
dyy
dzz
dS dydzx
dxdzy
dxdyz
Figura A.6
dV dxdydz
d) Superficies Coordenadas:
x 0 cte
y 0 cte
z 0 cte
e) Ecuaciones Importantes:
x y z
x y z
11
E x E y E z
E
x y z
E z E y E z E x E y E x
E x y z
y z x z x y
2 2 2
2
x 2 y 2 z 2
12
2.3 Coordenadas Cilndricas Circulares ( r , , z ).
a) Ecuaciones de Transformacin.
u1 r ; 0 r
u2 ; 0 2
u3 z ; x
x r cos( ) r x 2 y 2
y
y r sen( ) tg 1
x
zz
b) Factores de Escala:
hr 1 h 1 hz 1
c) Elementos Diferenciales:
dl drr rd rdrd z
dS rd dzr drdz rdrd z
dV rdrd dz
Figura A.7
d) Superficies Coordenadas:
r0 cte x 2 y 2 r02
0 cte y x tg( 0 )
z 0 cte plano paralelo al plano xy
e) Ecuaciones Importantes:
1
r z
r r z
1
E ( rE r ) ( E ) ( rE z )
r r z
1 E x E z E r
E
rE r r rE E r z
r z r z r
1 1 1
2 r
r r r r z r z
13
a) Ecuaciones de transformacin.
u1 ; 0
u2 ; 0 2
u3 z ; z
x a cosh( ) cos( )
y a senh( ) sen( )
zz
b) Factores de Escala:
hz 1
h a senh 2 ( ) sen 2 ( ) h
c) Elementos Diferenciales:
dl h ( d d ) dzz
dS h ddz
dS h ddz
dS z h h ddz
dV a 2 (senh 2 ( ) sen 2 ( ))dddz
Figura A.8
d) Superficies Coordenadas:
2 2
x y
0 cte 1 cilindros elpticos
a cosh( )
0 a senh( )
0
2 2
x y
0 cte 1 cilindros hiperblicos
a cos( 0 ) a sen( 0 )
e) Ecuaciones Importantes
1
z z
a senh ( ) sen ( )
2 2
a) Ecuaciones de transformacin. u2 ;
u3 z ; z
u1 ;
14
x a senh( )(cosh( ) cos( )) 1
h h a (cosh( ) cos( )) 1
hz 1
c) Elementos Diferenciales
dl h ( d d) dzz
dS h ddz
dS h ddz
dS z h h ddz
dV a 2 (cosh( ) cos( )) 2 dddz
Figura A.9
d) Superficies Coordenadas
a r 2 2
z cte plano paralelo a xy
15
2.6 Coordenadas Esfricas ( r , , )
a) Ecuaciones de Transformacin
u1 r ; 0 r
u2 ; 0
u3 ; 0 2
x r sen( ) cos( ) r x 2 y 2 z 2
x 2 y 2
y r sen( ) sen( ) tg 1
z
z r sen( ) tg 1 y
x
b) Factores de Escala
hr 1
h r
h r sen( )
c)Elementos Diferenciales
dl drr rd r sen( )d
dS r 2 sen( )ddr r sen( )drd rdrd
dV r 2 sen( ) dddr
Figura A.10
d) Superficies Coordenadas
r0 cte x 2 y 2 z 2 r02
0 cte z 2 cot g 2 ( 0 )( x 2 y 2 )
0 cte y (tg( 0 )) x
e) Ecuaciones Importantes
1 1
r
r r r sen( )
1
A 2 (r 2 sen( ) Ar ) ( r sen( ) A ) ( rA )
r sen( ) r
1 A
A 2 (r sen( ) A ) (rA ) r ( r sen( ) A ) r r
r sen( ) r
( rA ) ( Ar ) r sen( )
r
1 2 1
2 (r sen( ) ) (sen( ) )
r sen( ) r
2
r sen( )
1. Ecuaciones de Transformacin
16
u1 0
u2 0
u3 0 2
x a senh( ) sen( ) cos( )
y a senh( ) sen( ) sen( )
z a cosh( ) cos( )
2. Factores de Escala
h h a senh 2 ( ) sen 2 ( )
h a senh( ) sen( )
3. Elementos Diferenciales
dl a sen 2 ( ) sen 2 ( ) (d d)
asenh ( )sen ( )d
dS h h dd
dS h h dd
dS a 2 (senh 2 ( ) sen 2 ( ))dd
Figura A.11
4. Superficies Coordenadas
x2 y2 x2
0 cte 1
a 2 senh 2 ( 0 ) a 2 senh 2 ( 0 ) a 2 cosh 2 ( 0 )
x2 y2 z2
0 cte 1
a 2 sen 2 ( ) a 2 sen 2 ( ) a 2 cos 2 ( )
0 cte y (tg( 0 )) x
5. Ecuaciones Importantes
1
a senh( ) sen( )
a senh ( ) sen ( )
2 2
1. Ecuaciones de Transformacin u2 0
u3 0 2
u1 0
17
x a cosh( ) sen( ) cos( )
y a cosh( ) sen( ) sen( )
z a senh( ) cos( )
2. Factores de Escala
h h a cosh 2 ( ) sen 2 ( )
h a cosh( ) sen( )
3 Elementos Diferenciales
dl a cosh 2 ( ) sen 2 ( ) (d d)
a cosh( )sen ( )d
dS h h dd
dS h h dd
dS a 2 (cosh 2 ( ) sen 2 ( ))
Figura A.12
dV a 2 (cosh 2 ( ) sen 2 ( )) cosh( ) sen( ) ddd
4. Superficies Coordenadas
x2 y2 z2
0 cte 1
a 2 cosh 2 ( 0 ) a 2 cosh 2 ( 0 ) a 2 senh 2 ( 0 )
x2 y2 z2
0 cte 1
a 2 sen 2 ( ) a 2 sen 2 ( ) a 2 cos 2 ( )
0 cte y (tg( 0 )) x
5. Ecuaciones Importantes
1
a cosh( ) sen( )
a cosh ( ) sen ( )
2 2
18
1 h2 h3 h1 h3 h1 h2
2 ( ) ( ) ( ) 0
h1 h2 h3 u1 h1 u1 u 2 h2 u 2 u 3 h3 u 3
En el mtodo de separacin de variables, se supone que las funciones soluciones tendrn la forma:
hi h j
Si los trminos son funciones slo de u k entonces necesariamente los trminos
hk
hi h j k
( )
u k hk u k
k
debern ser iguales a una constante para que pueda cumplirse la igualdad a cero para todo (
u1 , u 2 , u 3 ).
Esta situacin se puede producir en aquellos sistemas coordenados en los cuales hi , h j , hk son
constantes o bien existe algn par de factores de escala iguales ( hi h j ).
2 2 2
0
x 2 y 2 z 2
a) Para independiente de z
Sea ( x, y ) X ( x )Y ( y ) entonces:
d2X d 2Y
X 0 Y 0
dx 2 dy 2
Soluciones:
Si p 2 , X ( x) Ae px Be px
, Y ( y ) A sen py B cos py
si p 2 , X ( x) A sen px B cos px
, Y ( y ) Ae py B e py
si 0 , X ( x) Ax B
, Y ( y ) A y B
19
b) Para independiente de z e y
d 2 ( x) Ax B
0 ,
dx 2
2 1 1 2 2
0
r 2 r r r 2 2 z 2
a) Para independiente de z
Sea (r , ) R ( r )T ( ) entonces:
d 2 R 1 dR d 2T
T 0
R0
dr 2 r dr r 2 d 2
Soluciones:
Si p 2 , R(r ) Ar p Br p
, T ( ) A sen p B cos p
si 0 , R (r ) A ln r B
, T ( ) A B
b) Para independiente de
Sea (r , z ) R ( r ) Z ( z ) entonces:
d 2 R 1 dR d 2Z
R 0 Z 0
dr 2 r dr dz 2
Soluciones:
Si q 2 , R ( r ) AJ 0 (iqr ) BY0 (iqr )
, Z ( z ) A sen qz B cos qz
si q 2
, R( r ) AJ 0 ( qr ) BY0 ( qr )
, Z ( z ) Ae qz B e qz
si 0 , R (r ) A ln r B
, Z ( z ) A z B
c) Para independiente de z y de r
d 2
0 ( ) A B
d 2
d) Para independiente de z y
20
d 2 1 d
0 (r ) ALn r B
dr 2 r dr
e) Relaciones importantes
J 0 es la funcin de Bessel de orden cero e Y0 es la funcin de Bessel de segundo tipo y orden
cero.
La funcin de Bessel de orden n es:
(1) k ( 2x ) 2 k n
J n ( x)
k 0 k!( n k )!
Yn ( x ) J n ( x )Lnx G (k ) G(n k )
2 k 0 k! 2 2 k 0 k! (n k )!
k
1
con G (k ) G ( 0) 0
m 1 m
( 1) k ( 2x ) 2 k
J 0 ( x)
k 0 ( k!) 2
(1) k 1 x 2 k k 1
Y0 ( x ) J 0 ( x )Lnx
k 1 2 k k! m 1 m
2 2n 1
Yn ( x) sen( x )
x 4
i) Recurrencia
2p
F p 1 (ax ) F p 1 ( ax ) F p ( ax)
ax
21
F p 1 (ax ) F p 1 ( ax )
2 d
F p (ax)
a dx
ii) Diferenciacin
d
F p (ax) p F p (ax) aF p 1 (ax)
dx a
d2
2
Fp (ax) p( p 2 1) a 2 Fp (ax) a Fp1 (ax)
dx x x
iii) Integracin
x p 1
x F p (ax)dx
p 1
F p 1 ( ax)
a
x 1 p
x F p (ax)dx
1 p
F p 1 ( ax )
a
iv) Ortogonalidad
Las funciones de Bessel son ortogonales en el intervalo (a, b) con respecto a la funcin de
peso x
b
xF
a
p (a m x ) F p (a n x )dx 0 para m n
k 1Fp (a m x ) k 2 Fp (a m x ) 0 en xa y xb
b
1
Am xf ( x) F Nm xF
2
donde p (a m x) dx y p ( a m x) dx
Nm a
22
Figura A.13
Figura A.14
2 2 2
a 2
(senh 2
sen 2
) 0
2 2 z 2
a) Para independiente de z
Sea ( , ) U ( )V ( ) entonces:
23
d 2U d 2V
U 0 V 0
d 2 d 2
Soluciones:
Si p 2 , U ( ) Ae p Be p
, V ( ) A sen p B cos p
b) Para independiente de z y
d 2
0 , ( ) A B
d 2
c) Para independiente de z y
d 2
0 , ( ) A B
d 2
2 2 2
a 2
(cosh 2
cos 2
) 0
2 2 z 2
a) Para independiente de z
Sea ( , ) G ( ) L( ) entonces:
d 2L d 2G
L 0 G 0
d 2 d 2
Soluciones:
Si p 2 , L( ) Ae p Be p
, G ( ) A sen p B cos p
b) Para independiente de z y
d 2
0 , ( ) A B
d 2
c) Para independiente de z y
d 2
0 , ( ) A B
d 2
24
3.6 Solucin en Coordenadas Esfricas ( r , , )
2 2 1 2 cot 1 2
0
r 2 r r r 2 2 r 2 r 2 sen 2 2
a) Para independiente de
Sea (r , ) R (r )T ( ) entonces:
d 2 R 2 dR d 2T dT
R0 cot 0
dr 2 r dr r 2 d 2
d
Soluciones:
Si p ( p 1) , R (r ) Ar p Br p 1
, T ( ) APp (cos ) B Qq (cos )
b) Para independiente de r
Sea ( , ) T ( ) ( ) entonces:
d 2T dT d 2
0
cos 0
d 2
d sen 2 d 2
Soluciones:
Si q 2 , T ( ) AP0q (cos ) BQ0q (cos )
, ( ) A sen q B cos q
c) Para independiente de y
d 2 2 d
0 ( ) Ar 1 B
dr 2 r dr
d) Para independiente de r y
d 2 d
cot 0 ( ) ALn(cot )B
d 2
d 2
e) Relaciones importantes
P0q y Q0p son funciones de Legendre y Pp y Qq son las funciones ordinarias de Legendre.
A continuacin se presentan sus expresiones.
Pl m ( x) 1
x2
2!
l (l 1) m 2
x4
4!
l (l 1) l (l 1) 2m 2 14 m 4 20m 2 24 ...
25
Qlm ( x) x 1
x2
3!
l (l 1) m 2 2
x4
l (l 1) l (l 1) 2m 2 14 m 4 20m 2 24 ...
5!
l 1,2,3,...
m l ,...,0,..., l
1 dn
Pn ( x) ( x 2 1) n
2 n n! dx n
P0 ( x) 1 Q0 ( x) 12 ln( 11 xx ) x 1
P1 ( x) x Q1 ( x) xQ0 ( x) 1
P2 ( x) 12 (3x 2 1) Q2 ( x) P2 ( x)Q0 ( x) 32 x
Ortogonalidad:
1 0 mn
P m (x)Pn (x)dx 2
1
2n1 m n
Esta relacin permite expresar una funcin f (x ) en el intervalo (-1,1) mediante el desarrollo en
serie en trminos de funciones de Legendre.
f ( x) A
m 0
m Pm ( x )
2m 1 1
donde Am
2 1 f ( x) Pm ( x)dx
Los polinomios de Legendre son:
26
a) Polinomios de Legendre de primer tipo
Figura A.15
a) Para independiente de y
d 2 d
coth 0
d 2 d
27
( ) ALn(coth ) B ALn(tanh ) B
2 2
b) Para independiente de y
d 2 d
cot 0
d 2
d
( ) ALn(cot ) B ALn(tan ) B
2 2
c) Relaciones de inters
d ( ) A
d senh
a) Para independiente de y
d 2 d
tanh 0
d 2
d
b) Para independiente de y
d 2 d
cot 0
d 2
d
( ) ALn(cot ) B ALn(tan ) B
2 2
c) Relaciones de inters
d ( ) A
d sen
28