Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lecciones
de
F´ı́ıssica Matem´ attica
á
Alonso Sepúlveda
Sep´
ulveda S.
Institu
Ins tituto
to de F´ı́ısica
si ca
Universidad de Antioquia
Medellı́n,
Medell´
ın, Agosto de 2004
Colecci´
Colección
on Ciencia
Cien cia y Tecnolog
Tecnol og´ıa
ı́a
c Alons
Alonsoo Sepúlveda
Sep´ulveda
c Editorial Universidad de Antioquia
ISBN: xxxxxxxxxx(volumen)
ISBN: xxxxxxxxxx(obra completa)
Dise˜
Diseño
no de cubierta:
cubierta: xxxxxxxxxx
xxxxxxxxxx
Dibujos interiores: Giovanny Atehortúa
Atehort´
ua
Diseño
Dise˜
no interno
interno y diagramaci´
diagramación:
on: xxxxxxxxxx
Impresión
Impresi´on y terminación:
terminaci´on: xxxxxxxxxx
A mis estudiantes
Prefacio
diferentes direcciones
mento angular.
an gular. También
ambi´en dellas
espacio f´euclidiano,
leyes fı́sicas que implica
ısicas son invariantes resla
respecto conservaci´
conservación
pecto a la on del mo-
l a escogencia
es cogencia del
cero de la coordenada temporal, vale decir, son las mismas en todos los instantes,
lo que corresponde a la homogeneidad del tiempo en la f´ısica ı́sica clásica:
cl´asica: todos los in-
stantes son cualitativamente
cualitativamente idénticos.
id´enticos. Implica la conservaci´
conservación on de la energ´energı́ıa.
a. Es
cierto además
adem´as que las leyes preservan su forma en los m´ múltiples
ultiples sistemas de referen-
cia en movimiento relativo uniforme, lo que equivale a la aceptación aceptaci´on del principio
de inercia y a la imposibilidad de encontrar el reposo absoluto en el espacio; este es
el principio de relatividad especial si ademásadem´as se exige la existencia de una velocidad
invariante, la de la luz.
Estas amplias invarianzas
invarianzas de las leyes f´ısicas
ı́sicas (hay otras, como simetr´ simetrıası́as de re-
flexión,
flexi´ on, de inversión,
inversi´on, o aún
a´un más
m´as abstractas como las de cambio de signo de las cargas
el´
eléctricas
ectricas)) exigen una forma
f orma ded e escritura
escr itura matem´
ma temática
atica que exprese su invarianza ante
estos conjuntos de transformaciones. Ello se logra en el ´ambito ámbito de la f´ısica ı́sica newto-
niana mediante la implementación
implementaci´on del análisis
an´alisis vectorial 3-dimensional, el que hace
manifiestos estos diversos principios de relatividad posicional, de orientación orientaci´on y de
movimiento.
Por ello comenzaremos este curso proponiendo las bases del análisis an´alisis vectori-
al 3-dimensional, independientemente
independientemente de la escogencia espec´ espec ıfica
ı́fica de un sistema de
coordenadas,
coorden adas, lo que garantiza
garantiza la idént
id´entica
ica escritura
escritura de las leyes
leyes en todos ellos y
i
ii PREFACIO
fvibraciones
´ı́ısic
s icaa matem
ma tem´ atica:
ática:
en la ecuación
s´olidos,
sólidos,ecuaci´ on de on
de conducción
conducci´ ondas para cuerdas,
del calor, Poisson, membranas
Schr¨ odinger,yy sonido,
Schrödinger, y de
proponemos
las ecuaciones
ecuaciones de Maxwell.
Maxwell. Las primeras
primeras son exponentes
exponentes t´ıpicas,ı́picas, de ecuaciones
ecuaciones
hiperbólica,
hiperb´ olica, parabólica
parab´olica y el´elıptica.
ı́ptica. Estas ecuaciones
ecuacio nes ser´
se rán
an aqu
a qu´ıı́ expresada
exp resadass en la for-
f or-
ma invarian
invariantete desarrollada
desarrollada en el prime primerr cap´
capıtulo,
ı́tulo, lo que las hace aptas para ser
escritas en cualquier sistema de coordenadas curvil´ curvilıneas
ı́neas ortogonales.
Es cierto que una muy amplia familia de ecuaciones diferenciales presenta solu-
ciones expresables como combinaciones lineales de funciones. Esto da la idea de
ampliar la noción noci´on de espacios vectoriales (en los que un vector es expresable co-
mo una combinación
combinaci´on lineal de vectoresvectores de una base) extendi´
extendiendolaéndola hacia lo que
serán
ser´ an espacios de funciones, o espacios de Hilbert, en los cuales los vectores uni-
tarios son funciones linealmente independientes. En el capı́tulo cap´ıtulo 5 exploraremos los
espacios
espac ios de Hilbert discretos
discretos y continuo
continuos,s, detallando
detallando las propiedades
propiedades de ortogonal-
ortogonal-
idad y completez de sus infinitos ejes. Veremos cómo c´omo la idea de vector ordinario
en espacios
espacios 3-dimensionales
3-dimensionales se extiende
extiende para permitir
permitir la expansi´
expansión on de funciones en
espacios abstractos, cuyo ejemplo más m´as conocido es la serie de Fourier, a cuyo estudio
dedicaremos la ultima última
´ parte del cap´
capı́tulo.
ıtulo.
Los desarrollos del capı́tulo
cap´ıtulo 3, donde hemos mostrado la posibilidad de descom-
poner las EDP E DP en un conjunto
c onjunto ded e EDO, alcanzan
alcanz an en el cap
ca p´ıtulo
ı́tulo 6 un clı́max,
cl´ımax, en tanto
que en ´el él lograremos demostrar que todas las EDO lineales de segundo orden tienen
iii
una arquitectu
arquitectura
ra común
com´ un que está
est´a compendiada
compendiada en la teor´
teorı́ıaa de Sturm-Liouvi
Sturm-Liouville.
lle.
El estudio que aqu´
aquıı́ haremos enlaza ideas exploradas en cap´
capıtulos
ı́tulos anteriores, pues
muestra que bajo una apropiada escogencia de condiciones de frontera y del dominio
de la variable independiente, las EDO exhiben un conjunto infinito de soluciones
ortogonales que corresponden a bases de un espacio de Hilbert, de análoga
an´aloga manera
a como los vectores unitarios de la base cartesiana expanden un espacio vectori-
al ordina
ordinario.rio. Veremos aquı́ aqu´ı cómo
c´omo la noción
noci´on de autovalores, tan cara a la mecánica mec´anica
cu´
cuánt
antica
ica y a la teor´ teorı́ıaa de matrices,
matrices, est´estáa asociada a la existencia de espacios de
Hilbert. Consideramos que este cap´ capıtulo
ı́tulo es el centro de esta obra en tanto que cada
una de sus conclusione
conclusioness ilumina,
ilumina, desde la teor´ teorı́ıaa de espacios,
espacios, el tema general de
las soluciones a las EDO y aclara los temas relativos a las frecuencias naturales
de oscilación
oscilaci´on de sistemas clásicos cl´asicos o cuánticos,
cu´anticos, como un espectro de autovalores. La
teor´ıa
teor ı́a de Sturm-Liouville describe las frecuencias espec´ espec ı́ıficas
ficas de oscilación
oscilaci´on de una
cuerda o las frecuencias de emisión emisi´on de los ´atomos.
átomos. Después
Despu´es de extender estas consid-
eraciones a las EDP finalizamos el capı́tulo cap´ıtulo con un tema sugestivo: el isomorfismo
entre operadores diferenciales y matrices, que está est´ a en el centro de la equivalencia
matemática
matem´ atica entre la mecánica
mec´anica ondulatoria de Schrödinger Schr¨odinger y la mec´ mecánica
anica matricial
de Heisenberg.
Ahora bien: puesto puesto que muchasmuchas de las ED que utilizamos utilizamos en f´ısica ı́sica son inho-
mogéneas
mog´ eneas es pertinente
pertin ente introdu
introducir cir m´
método
etodoss de soluci
soluci´on
ón que vayan más m´as allá
all´a de los
utilizados para las ED homogéneas homog´eneas y de los conocidos métodos m´etodos de variación
variaci´ on de
parámet
par´ametros ros o coeficiente
coeficientess indetermin
indeterminados. ados. Por ello en el cap´ capıtulo
ı́tulo 7 introducim
introducimos os
las funciones de Green, cuyo alcance está est´a limitado a los casos lineales, pero cuya
aplicación
aplicaci´ on a los problemas f´ısicos ı́sicos se extiende desde la f´ısica ı́sica cl´
clásica
asica a la cuántica,
cu´antica,
independientemente de la dimensión dimensi´on del espacio.
La teor
teor´ı́ıaa de Sturm-Liouvi
Sturm-Liouville lle es, ciert
ciertamen
amente,te, la gran arquitectu
arquitectura ra de las ED
lineales,
linea les, pero ella misma no es fuente fuente de m´ métodos
etodos de soluci´
solucion.ón. En el cap´
capıtulo
ı́tulo 8
implementaremos una t´ técnica
ecnica bastante general basada en expansiones en series y
conocida como método m´etodo de Frobenius, que permite resolver una vasta cantidad de
ED lineales y homogéneas.
homog´eneas. Haremos ´enfasis énfasis en las ecuaciones de Bessel, Legendre,
Hermite y Laguerre, y esbozaremos lo fundamental de las ecuaciones de Chevishev,
hipergeom´
hiper geométrica
etrica e hipergeom´
hiper geométrica
etrica confluente. Dispersa
Disper sa en el capı́tulo
cap´ıtulo navegará
navegar´a la
idea de familias
de familias de de EDO: las ecuaciones de Bessel, Bessel esférica esf´erica y Airy,
Airy, p por
or ejem-
plo, pertenecen a la misma familia. Esto sugiere que a partir de la solución soluci´on a una
ED especı́fica
espec´ıfica puede proponerse la correspondiente para una amplia familia de ED
conectada con ella por algún alg´un tipo de transformaci´
transformación. on. Encontraremos la aplicaci´aplicaciónon
de esta idea en la descripción
descripci´ on mecánico
mec´anico cu´ cuántica
antica del oscilador armónico
arm´onico y del ´atomoátomo
de hidrógeno.
hidr´ogeno.
Y aquı́
aqu´ı te
termina
rmina la obra.
Cierto es que el tema que aqu´aquıı́ hemos explorado es pequeño,
peque˜no, en tanto que no in-
cluimos la sofisticación
sofisticaci´on que
q ue pod
podrr´ıa
ı́a introducir
intro ducir la te
teor
or´ıa
ı́a de grupos,
grupo s, el
e l c´
cálculo
alculo tensorial
iv PREFACIO
Alonso Sepúlveda
Sep´ulveda S.
Medell´ın, Agosto de 2004
Medellı́n,
´
ÍIndice
ndice general
Prefacio I
v
vi ´
ÍNDICE GENERAL
INDICE
1.12.5
2.5. Coor
oordenadas bipo
pollares . . . . . . . . . . . . . . . . . . . . . . 67
1.12
1.12.6
.6.. Coord
oorden
enad
adas
as eli
lips
psoi
oida
dale
less . . . . . . . . . . . . . . . . . . . . . 69
2. Unicidad 73
2.1. Introducci
Introducci´óon
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.2.
2.2. Ecu
Ecuacio
acione
ness dife
difere
renc
ncia
iale
less or
ord
din
inar
aria
iass . . . . . . . . . . . . . . . . . . . 73
2.3.
2.3. Ecu
Ec u.1.
acio
acione
2.3.1.
2.3 ness aci´
dife
difere
Ecuaci
Ecu nrenc
óon dncia
e iale
Ples
oissspa
parc
onrcia
iale
. les
. s. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. 775
5
2.3.2.
2.3 .2. Ecuaci
Ecuaci´óonn de difusi´
difusióon
n . . . . . . . . . . . . . . . . . . . . . . . 76
2.3.3.
2.3 .3. Ecuaci
Ecuaci´óonn de ondas . . . . . . . . . . . . . . . . . . . . . . . . 79
2.3.4.
2.3 .4. Ecuaci
Ecuaci´óonn de Schr¨
Schröoddinger . . . . . . . . . . . . . . . . . . . . . 81
2.4. Ecuaciones vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.4.1.
2.4 .1. Ecuaci
Ecuaci´óonn de Poisson vector oriial . . . . . . . . . . . . . . . . . . 84
2.4.2. Ondas vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . 85
3. Ecuaciones Diferenciales 87
3.1.
3.1. Ecu
Ecuacio
acione
ness dife
difere
renc
ncia
iale
less or
ord din
inar
aria
iass . . . . . . . . . . . . . . . . . . . 87
3.1.1. Ecuaciones de primer orden . . . . . . . . . . . . . . . . . . . 88
3.1.2. Ecuaciones de orden supe perrior . . . . . . . . . . . . . . . . . . 92
3.1.
3.1.3.
3. SoSolu
luci
cion
ones
es ho
homo
mog´ gén
enea ea e in
inho
homo
mog´
gén
enea
ea . . . . . . . . . . . . . 96
3.1.4. Segunda
Segunda soluc
soluci´
ióon
n . . . . . . . . . . . . . . . . . . . . . . . . . 104
3.1.5. Una transformac
transformaci´ ióon
n . . . . . . . . . . . . . . . . . . . . . . . 105
3.2.
3.2. Ecu
Ecuacio
acione
ness dife
difere
rencncia iale
less pa parcrcia
iale
less . . . . . . . . . . . . . . . . . . . . 10
1088
3.2.1.
3.2.1. Clasifi
Clasificac
caci´ ióon
n de las EDP . . . . . . . . . . . . . . . . . . . . 109
3.2.
3.2.2.
2. Ecua
Ecuaci cion
onees ho homo
mogg´éenea neass . . . . . . . . . . . . . . . . . . . . . 11
1144
3.2.3.
3.2.3. Separac
Separaci´ ióon
n de variables . . . . . . . . . . . . . . . . . . . . . 114
3.3.. Separac
3.3 Separaci´ión
on de la ecuació
ecuaci´on n de Laplace . . . . . . . . . . . . . . . . . . 11 9
3.3.
3.3.1.
1. Coor
Coord den
enad
adas as car arttesia
esiananass en 2D . . . . . . . . . . . . . . . . . 11
1199
3.3.
3.3.2.
2. Coor
Coord den
enad
adas as car arttesia
esiananass en 3-D
3-D . . . . . . . . . . . . . . . . 12
1244
3.3.
3.3.3.
3. Coor
Coord den
enad
adas as cil il´ı́ındr
ndriica
cass . . . . . . . . . . . . . . . . . . . . . 12
1255
3.3.
3.3.4.
4. Coor
Coord den
enad
adas as esf sf´éeri
rica
cass . . . . . . . . . . . . . . . . . . . . . . 12
1288
3.4.. La ecuaci
3.4 ecuaci´óon
n de onda unidimensional . . . . . . . . . . . . . . . . . . 131
3.5.
3.5. ANANEXEXO O 3.1:
3.1: ClClas asifiifica
caci ci´on
ón de las
las ecuacio
ecuaciones
nes difer
diferenc
encial
iales
es en 3D . . 135
3.6.
3.6. ANANEXEXO O 3.2:
3.2: SoSolu lucici´on
ón a ecuaciones cú c´ub
bicas . . . . . . . . . . . . . 138
4. Ec
E cuaciones de la F´ı́ıssica Matem´ attica
á 139
4.1. Introducci
Introducci´óon
n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
4.2. Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 0
4.2.1. Ondas en cuerdas . . . . . . . . . . . . . . . . . . . . . . . . . 140
4.2.2. Ondas en membranas . . . . . . . . . . . . . . . . . . . . . . 142
4.2.3. Ondas longitudina
longitudinales
les en s´sóo l i d o s . . . . . . . . . . . . . . . . . 146
4.2.4.
4.2.4. Ondas
Ondas elásticas
el´
asticas en só
s´ollidos . . . . . . . . . . . . . . . . . . . . 148
´
ÍNDICE GENERAL
INDICE vii
6. Teor´ı́ıa
a de Sturm-Liouville 206
6.1. Introducci
Introducci´óon
n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
6.2. Ope
perrado
adores de segundo orden . . . . . . . . . . . . . . . . . . . . . . 206
6.2.1. El operperador adjunto . . . . . . . . . . . . . . . . . . . . . . . 206
6.2.2. 3 ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
6.2.3. Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
6.2.
6.2.4.4. Hermi
ermittic
icid
idad
ad y fr
fron
onttera
rass . . . . . . . . . . . . . . . . . . . . . 21
2111
6.3.
6.3. Autof
utofununccion
iones y auauttoval
alor
orees . . . . . . . . . . . . . . . . . . . . . . . 21
2122
6.3.1.
6.3 .1. Ecuaci
Ecuaci´óon
n de Sturm-Li Liou
ouv ville . . . . . . . . . . . . . . . . . . 212
6.3.
6.3.2.2. El prob
proble lem
ma de au
auttoval
alor
ores
es . . . . . . . . . . . . . . . . . . . 21
2144
6.4. Funciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
viii ´
ÍNDICE GENERAL
INDICE
6.5.
6.5. Nota
Nota sobr
sobree aut
autovoval
alor
ores
es y aut
autofofun
unci
cion
oneses . . . . . . . . . . . . . . . . . 21
2199
6.6.. El probl
6.6 problema
ema peri´
perióod
dico . . . . . . . . . . . . . . . . . . . . . . . . . . 224
6.7.
6.7. Ope
Operad
radore
ores en 3D 3D y St
Stur
urm-
m-Li
Liou
ouvi
vill
llee . . . . . . . . . . . . . . . . . . 22
2255
6.7.1. El operperador adjunto . . . . . . . . . . . . . . . . . . . . . . . 225
6.7.
6.7.2.
2. Auto
Autofufuncncio
ione
ness y aut
autooval
alor
ores
es en 3D . . . . . . . . . . . . . . . 22
2277
6.7.3.
6.7.3. Soluci
Soluci´óon
n de la ecuaci´
ecuación
on de on
ondadass hom
homogog´enea
é nea . . . . . . . . . 22
2299
6.7.4.
6.7.4. Soluci
Soluci´óon
n de la ecuaci´
ecuación
on ho
homo
mog´ gén
enea
ea de Fou
Fouririer
er . . . . . . . . . 231
231
6.8.
6.8. Ope
Operad
radore
ores dif
diferen
erenci
cial
ales
es y m
mat
atri
rice
cess . . . . . . . . . . . . . . . . . . . 23
2355
6.9.. ANEX
6.9 ANEXO O 6.1:
6.1: Operado
Operadoresres dif
difere
erenci
nciale
aless de
de oorde
rden
n p . . . . . . . . . . 238
6.10
6.10.. ANEXO
EXO 6.2:
6.2: LosLos Bra y KeKetts de Dir irac
ac . . . . . . . . . . . . . . . . 24
2422
´
ÍNDICE GENERAL
INDICE ix
8.5.2. El osci
8.5.2. oscilad
ladoror arm´
armónico
onico cuá
cu´anntico . . . . . . . . . . . . . . . . . 3 41
8.6. Polinomios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . 346
8.6.1.
8.6.1. Ecuaci
Ecuaci´óon
n as
asoc
ociiada de Laguerre . . . . . . . . . . . . . . . . . 350
350
8.6.2.
8.6.2. La famili
familiaa de la ecuac
ecuaci´
ióon
n de Laguerre . . . . . . . . . . . . . 3 51
8.6.
8.6.3.
3. El atomo
´átomo de hidró
hidr´oggeno . . . . . . . . . . . . . . . . . . . . . . 352
8.7.. Ecuaci
8.7 Ecuaci´óon
n de Gegenbauer . . . . . . . . . . . . . . . . . . . . . . . . . 355
8.8. Polinomios de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
8.9.. Ecuaci
8.9 Ecuaci´óon
n hipe
perrgeom´éettrica . . . . . . . . . . . . . . . . . . . . . . . . 360
8.10.
8.10. AN
ANEX
EXO O 8.1:
8.1: La funci´
funcióon n Gamma . . . . . . . . . . . . . . . . . . . 363
Ap´
en
é ndice 366
Co orde
Coor dena
nada
dass cu
curv
rvil
il´ı́ınea
neass
ortogonales
1.1.
1.1. Intr
Introduc
oducci
ci´
ó
onn
En el espacio euclidiano tridimensional las coordenadas cartesianas se definen
en términos
t´erminos de tres familias de planos perpendiculares x = x0 , y = y0 , z = z0 . La
intersección
intersecci´ on de los planos
planos x = x 0 y y = y 0 genera una l´ınea ı́nea recta paralela al eje
eje z
y que pasa por el punto (x (x0 , y0 , 0). La intersección
intersecci´on de los tres planos x = x0 , y =
y0 , z = z 0 genera un punto de coordenadas (x (x0 , y0, z0 ).
Las coordenadas
coordenadas esf esf´ericas
éricas se definen
definen en t´ términ
erminos os de tres superficies:
superficies: esferas
esferas
concéntricas,
conc´ entricas, conos con el mismo v´ vértice
ertice y planos meridianos. Un punto tiene co-
ordenadas (r,θ,ϕ (r,θ,ϕ)) y las tres superficies son perpendiculares en cada punto. La
intersección
intersecci´ on del cono y la esfera genera
g enera una circunferencia a lo largo de la cual var´ varı́ıaa
sólo
s´olo la coordenada
coordenada ϕ. La intersección
intersecci´on de la esfera y el plano meridiano genera un
arco de meridiano a lo largo del cual sólo s´olo θ var
var´ı́ıa,
a, y la intersección
intersecci´on del cono y el
plano genera una recta radial a lo largo de la cual sólo s´olo r var´
varı́a.
ıa. La conexi´
con exión
on entre
coordenadas cartesianas y esféricasesf´ericas tiene la forma:
x = r
= r sen θ cos ϕ, y = r
= r sen θ sen ϕ, z = r
= r cos θ
Consideraciones análogas
an´alogas pueden realizarse para las coordenadas cil´
cilındricas,
ı́ndricas, que
se construyen con tres superficies perpendiculares: cilindros concéntricos,
conc´entricos, planos
meridianos y planos horizontales, a cada una de las cuales se asocian, respectiva-
mente, las coordenadas (ρ,ϕ,z (ρ,ϕ,z).
). Las reglas de transformación
transformaci´on entre coordenadas
cartesianas
cartesia nas y cil
c il´ındricas
ı́ndrica s tienen la forma:
fo rma:
1
2 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
ˆz
ê
e
ρ = cte
= cte P e
ê
ˆϕ
z = cte e
ê
ˆr
e
t
c
=
φ
y
x ϕ
Figura 1.1: coordenadas
coord enadas cilı́ndrica
cil´ındricass y esféricas
esf´ericas
x = ρ
= ρ cos ϕ , y = ρ
= ρ sen ϕ, z = z
= z..
Una generalización
generalizaci´on directa permite pensar en tres familias de superficies, en
general curvas, que en cada punto del espacio se intersectan en ´angulo
ángulo recto. Estas
superficies pueden describirse mediante las ecuaciones:
u1 = f
= f 1 (x,y,z
x,y,z)), u2 = f
= f 2 (x,y,z
x,y,z)), u3 = f 3(x,y,z
x,y,z))
Equivalentemente:
x = x
= x((ui ), y = y
= y((ui ), z = z
z((ui )
Estas ecuaciones son a la vez las reglas de transformación transformaci´on entre coordenadas
cartesianas y y coordenadas
coordenadas curvil´curv ilı́neas ortogon ales .
ıneas ortogonales
Las superfic
superficies ies u1 = cte y u 2 = cte se intersectan en una curva a lo largo de la
cual sólo
s´olo u
u 3 var
var´ıa,
ı́a, esta
e sta curva
cu rva define la coordenada
coord enada u u 3 ; análogamente
an´alogamente las superficies
u1 = cte
cte y u3 = cte generan
cte generan la curva u2 ; y u2 = cte cte y u3 = cte generan
cte generan la curva
u1 . La intersección
intersecci´on de las tres superficies genera un punto cuyas coordenadas son
(u1 , u2 , u3 ). Dado un punto (x,y,z ( x,y,z)) es posible asignarle un un´ıvocamente
ı́vocamente un conjunto
(u1 , u2 , u3 ) de coordenadas
coord enadas curvilı́neas.
curvil´ıneas.
El sistema de coordenadas
co ordenadas curvil´curvil ıneas
ı́neas construido con estas superficies tiene las
siguient
sig uienteses caracter´
carac terı́sti ısticas
cas::
a) Los ejes coordenados son en general curvas que se intersectan en ´angulo ángulo rec-
to, de modo que los vectores unitarios ê e
ˆi , tangentes a las curvas, generan una
{ }
1.1. INTR
INTRODU
ODUCCI ´ N
CCI ON
Ó 3
ˆ
e2
ê
ˆ
e3
ê ˆ
ê
e1
4 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
1.2. Nociones b´
básicas
asicas
1.2.1. Teor´
eorıa
ı́a de transformaci´
transformació
onn
En el espaci
espacioo euclid
euclidian
ianoo es siempr
siempree posible
posible con
constr
struir
uir un sissistem
temaa coorde
coordenadnadoo
cartesiano
cartesia no que se extienda
extien da indefinidamente;
indefin idamente; a partir
pa rtir de ´el
él podemos
po demos generar
gen erar múltiples
m´ultiples
sistemas coordenados, mediante la introducción superficies u i = f
introducci´on de las superficies u = f ((x,y,z
x,y,z)).
Puesto
Pues to que, rec´
r ecı́pro
ıprocam
camente,
ente, x,y,z
x,y,z son
son funciones de u
de u i , esto es: x=x(ui ),
), y
y=
=y (ui ),
), z
z =
z (ui), podemos escribir:
∂x ∂x ∂x
dx
dx =
= du1 + du2 + du3
∂u 1 ∂u 2 ∂u 3
∂z ∂z ∂z
dz
dz =
= du1 + du2 + du3 ,
∂u 1 ∂u 2 ∂u 3
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 5
3
∂ r ∂ r ∂ r ∂ r
dr = du1 + du2 + du3 = dui (1.1)
∂u 1 ∂u 2 ∂u 3 i=1
∂u i
En general, el factor
factor ∂ r/∂u i que aparece en (1.1) es un vector no unitario que
toma en cuenta la variación
variaci´on de r
de r s´
sólo
olo en dirección
direcci´on de u
de u i y es, por tanto, tangente a
coordenada u i . Con el fin de introducir una base normalizada ê
la curva coordenada u ˆi , es decir,
e
vectores unitarios ê
un conjunto de vectores unitarios ˆi , escribimos
e
∂ r
ˆi
= h i ê
e (1.2)
∂u i
ˆi = 1 y hi son funciones de
donde ê
e | | de ui , que serán
ser´an llamadas factores
llamadas factores de escala . Se
sigue que
3
dr = hi ˆê
ei dui
i=1
êˆi ê
e ˆj = δ iijj
e (1.3)
·
Es decir:
ê
e ˆ2 = ê
ˆ1 ê
e· eˆ3 = ê
ˆe2 ê ˆe3 ê
e
ˆ1 = 0
· ·
y
ˆ1 ê
ê
e ˆ1 = ê
e
· ˆ1
e | |2 = |êeˆ2|2 = |êeˆ3|2 = 1
δ ij
ij , conocido como
como delta de Kronecker , se define as as´ı́ı:
: δ iijj = 0 si i = j y δ ij
ij = 1 si
i = j
= j . Dicho de otro modo, los δ
los δ iijj son los elementos de la matriz identidad.
De (1.2):
∂ r
= h
= h i
(1.4)
∂u i
expresi´
expresión
on que es util
útil
´ en el cálculo
c´alculo de los factores de escala; en consecuencia, de (1.2),
los vectores unitarios en coordenadas curvil´
curvilıneas
ı́neas se escriben:
1 ∂ r
ˆi =
ê
e (1.5)
hi ∂u i
Ejercicio:
Ejercic io: De cartesian
cart esianas
as a esf´
es féricas
ericas
6 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
−∞ ≤ x ≤ ∞, −∞ ≤ y ≤ ∞,
−∞ ≤ z ≤ ∞, y
r ≥ 0, 0 ≤ θ ≤ π, 0 ≤ ϕ ≤ 2π
r = r es la coordenada radial, θ es la coordenada polar y ϕ es la coordenada
| |
azimutal.
F´
Fácilmente
acilmente se deduce de la gráfica
gr´afica que la conexión
conexi´on entre coordenadas cartesianas
y esf´
esféricas
ericas es como sigue:
x = r
= r sen θ cos ϕ, r =
x2 + y 2 + z 2
= r sen θ sen ϕ, θ = cos−1 z/
y = r x2 + y 2 + z 2
z = r cos θ, ϕ = tan−1 (y/x
y/x))
Ası́ı pues
As´ pu es::
Entonces:
⇒ | ∂ ∂rr | =
sen 2 θ cos2 ϕ + sen 2 θ sen 2 ϕ + cos2 θ = 1
∂ r
⇒ | ∂θ |=
r2 (cos2 θ cos2 ϕ + cos2 θ sen 2 ϕ + sen 2 θ ) = r
de donde: h
donde: h 2 = h
= h θ = r
∂ r/∂ϕ = ˆîi r
/∂ϕ = − r sen jˆ r sen
sen θ sen ϕ + j r sen θ cos ϕ
∂ r
⇒ | ∂ϕ |= r2 (sen 2 θ sen 2 ϕ + sen 2 θ cos2 ϕ) = r sen θ
por lo cual: h
cual: h 3 = h
= h ϕ = r sen θ
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 7
En sı́
s´ıntesi
nt esis:
s:
hr = 1, hθ = r, hϕ = r sen θ (1.7)
Adem´
Además,
as, reemplazan
reemplazando
do en (1.5)
(1.5),, los vectores
vectores unitarios en coordenadas
coordenadas esféricas
esf´
ericas
pueden expresarse en t´
términos
erminos de coordenadas cartesianas, como:
Donde (ˆ
(ê ˆ2 , ê
e1 , ê
e eˆ3 ) = (ˆ ( ê ˆθ , ê
er , ê
e ˆϕ ) Estas ecuaciones pueden invertirse algebraicamente
e
para expresar ˆ îi,, j
ˆ, k̂
j, ˆ en t´
k en térmi
erminos de ê
nos de ˆr , ê
e ˆθ , ê
e ˆϕ; se obtiene:
e
ˆîi = ê
ˆr sen θ cos ϕ + ê
e ˆeθ cos θ cos ϕ ê
eˆϕ sen ϕ
−
jˆ = e ˆr sen θ sen ϕ + ê
ê ˆeθ cos θ sen ϕ + ê
ˆeϕ cos ϕ
ˆ = ê
k
k̂ ˆr cos θ ê
e −e
ˆθ sen θ
matricial: ê
En forma matricial: ˆ = A ˆ̂, ˆ̂ =
e = ˆ,
Aê
e, con:
ˆ =
ê
e =
e
ê
ˆ1
ˆ2
ê
e =
e
ê
ˆr
ˆθ
ê
e , ˆ̂ =
ˆ̂1
ˆ̂2 =
ˆîi
jˆ
ˆ
ˆ3
e
ê ˆϕ
e
ê ˆ̂3 k̂
k
sen θ cos ϕ sen θ sen ϕ cos θ
A = cos θ cos ϕ cos θ sen ϕ −
sen θ
− sen ϕ cos ϕ 0
| |
que A = 1.
Es cierto que AA = I , de modo que la matriz A es ortogonal, y es fácil
f´acil verificar
Nota:
ˆr . Esto muestra que la
De las ecuaciones (1.6) y (1.9) se sigue que: r = r ê
e
expresión:
expresi´
on:
r = ˆ
= ê + ê
e1 u1 + ˆ + ê
e2 u2 + ˆe3 u 3 (1.9)
no es válida
v´alida en coordenadas esféricas,
esf´ericas, pues dar´
darı́ıaa lugar a la expresión
expresi´
on incorrecta
(incluso dimensionalmente!):
r = r er + θê
ê
= rˆ ˆθ + ϕê
e e
ˆϕ .
8 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
La ecuación
ecuaci´on (1.9) es válida
v´alida s´
olo en coordenadas cartesianas, donde
olo en donde u i =xi . No ob-
stante, es cierto que cualquier
que cualquier vector A
vector A,, diferente de
de r, en coor
coordenadas
denadas curvilı́neas
curvil´ıneas
ortogonales, se escribe:
A =
ˆi Ai = ê
ê
e ˆe1 A1 + ˆ
+ ê + ê
e2 A2 + ˆe3 A3
i
∂ r ∂ r
ˆj y
= h j ê
e eˆi
= h i ê
∂u j ∂u i
∂ 2 r ∂ ∂ 2 r ∂
= ˆj ) ,
(hj ê
e = eˆi )
(hi ê
∂u i ∂u j ∂u i ∂u j ∂u i ∂u j
∂ ê
e ˆj ∂h j
ˆi ê
e
=
∂u j hi ∂u i
v´
válida
alida para i
para i = j .
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 9
y que en co
coordenadas
ordenadas esf´
esféricas
ericas sólo
s´
olo las siguientes son no nulas:
ˆr ˆθ
∂ ê
∂θ
e
= ê
ˆeθ ,
∂ ê
∂θ
e
= −êeˆr , ∂ ∂ϕêeˆr = ê
ˆeϕ sen θ,
ˆθ
∂ ê
e ˆϕ
∂ ê
e
= ê
ˆeϕ cos θ, = −êeˆr sen θ − êeˆθ cos θ
∂ϕ ∂ϕ
1.2.2.
1.2.2. Jacobian
Jacobianos
os y transform
transformacio
aciones
nes
En componentes, la ecuación
ecuaci´on (1.1) puede escribirse:
dxi =
∂x i
∂u j
duj =
J iijj duj (1.10)
j j
con:
J iijj = ∂x
∂ xi /∂u j (1.11)
ementos son
J es la matriz de transformación
transformaci´on de los diferenciales de coordenadas, cuyos el-
| |
son J iijj = ∂ xi /∂u j . El determinante J se conoce como el Jacobiano
el Jacobiano,, que
ha de ser diferente de cero para garantizar que la transformación
transformaci´on sea invertible.
Tambi´
Tamb ién co n r = îix
en,, con ˆ ˆ
x + jy k̂
ˆ
jy + kzz , (1.5) toma la forma:
10 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
e
ê
ˆi =
1 ˆ ∂x
îi
∂ x ˆ ∂ y k̂
+ j + ˆ
k
∂ z
(1.12)
hi ∂u i ∂u i ∂u i
que es la regla de transformación transformaci´on entre vectores unitarios. Introduciendo la notación
notaci´on
ˆ ˆ
(ˆ̂1 , ˆ̂2 , ˆ̂3 ) = (îi,, j ˆ
j,, k̂
k), escribimos r = j ̂
), escribimos r ˆj xj , tal
ta l que
qu e (1.5)
(1.5 ) también
tambi´en se escribe:
escrib e:
eˆi =
ê
j
ˆj ∂x j
̂
hi ∂u i
=
j
aji ˆ̂j (1.13)
A es
e =
ê
ˆ =
A
la transpuesta de A. Es cierto, de acuerdo a las ecuaciones (1.11) y (1.14), que
(1.15)
J ji
ji = a ji hi , ´
óo matricialmente:
J = AH (1.16)
con
h1 0 0
H = 0 h2 0 (1.17)
0 0 h3
Ahora bien, un postulado básico
b´asico de la teor´
teorı́ıaa de transformación
transformaci´
on asegura la in-
ı́nea dr, y en general de cualquier vector, bajo transfor-
varianza del elemento de l´ınea
mación
maci´on de coordenadas. En consecuencia los módulos
m´odulos de los vectores son también
tambi´en
2
invariantes. Es cierto que en coordenadas cartesianas dl = i dxi dxi , y que en
coorde
coo rdenad
nadas
as curvilı́nea
curvil´ıneas:
s:
dl 2 = d
drr dr = ˆj e
hj hk ê
e ˆk duj duk =
ê hj hk duj duk δ jk
jk
.
· jk
jk · jk
jk
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 11
dxi dxi =
hj hk duj duk δ jk
jk ,
i jk
ijk
ijk J ij J ik duj duk = jk
jk hj hk duj duk δ jk ,
AA = I
AA (1.18)
de modo que la matriz A es ortogonal : A = A −1 .
De AA
AA = I se sigue A = 1. Ahora bien, los tipos posibles de transformación
| | ± transformaci´on
son: a) De un S cartesiano a otro S’ rotado,
rotado, o reflejado,
reflejado, o invertido
invertido.. b) De un S
cartesiano a uno c
uno cur urvi
vil´ n eo..
lı́ıneo
En el caso de rotación,
rotaci´on, o del paso de cartesianas
cartesianas a curvil
curvil´ıneas,
ı́neas, puesto que la
matriz de transformación
transformaci´on ha de contener la identidad, entonces A = +1. Para
reflexi´
reflexión
on e inversión:
Obs´
Ob sérv
inversi´on:
erves
esee que
|A| = −1. | |
|J| = ∂u∂ r1 · ∂u∂ r2 × ∂u∂ r3 = h1h2h3 ê ˆe1 · êeˆ2 × êeˆ3
es diferente de cero pues ˆ ˆ3 no son coplanares. De hecho, puesto que ê
ˆ2 , ê
e1 , ê
pues ê e e ˆe1 ê
e
ˆ2 · ×
e
ê
ˆ3 = 1 se sigue J = h 1 h2 h3 .
| |
1.2.
1.2.3.
3. Rota
Rotaci
ci´
on
ón de coordenadas
Como una aplicación
aplicaci´on simple de las ecuaciones (1.5) o (1.12) consideremos la
transformación
transformaci´ on de un sistema cartesiano (x,y,z j, ˆ) a
ˆ, k̂
(x,y,z)) con vectores unitarios (ˆîi,, j k)
otro sistema cartesiano (x (x , y , z ) rotado un angulo θ
´
ángulo θ respecto
respecto al eje z
eje z y
y con vectores
ˆ ˆ ˆ
unitarios (îi , j , k̂
k ). La regla de transformación
transformaci´on es:
x = x
= x cos θ y sen θ, y = x sen θ + y
− + y cos θ, z
z = z
Por aplicación
aplicaci´on de (1.12) y teniendo en cuenta que que hi = 1 se sigue:
ˆîi = ˆîi cos θ + jˆ sen θ, jˆ = −ˆîi sen θ + jˆ cos θ, k̂kˆ = k̂ ˆk
12 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
Estas expresiones
expresiones pueden escribirse
escribirse en la forma matricial:
matricial:
ˆîi ˆîi
cos θ sen θ 0
jˆ = A jˆ , con A = − sen θ cos θ 0
0 0 1
k̂
k
ˆ k
k̂
ˆ
Observemos que A = 1, 1 , caracter´
caracterıstico
| | ı́stico de transformaciones que pueden ser real-
izadas partiendo de la identidad. En efecto: si θ 0, entonces A I. −→ | | −→
1.2.4.
1.2.4. Vectore
ectoress Axial
Axiales
es y Pola
Polares
res
La definición
definici´on de vector que hemos adoptado en este capı́tulo cap´ıtulo es la siguiente: Un
siguiente: Un
vector es una forma lineal invariante bajo transformaci´ on de coordenadas . Esto es,
si B
si B y B son vectores en
en S y S , entonces:
B = B
con B = i Bi ei y B = j B j ej
= B , con B
Cuando se realiza una transformación
transformaci´on de un sistema cartesiano
cartesiano S
S a
a otro carte-
siano S
siano
S (transformaci´
(transformación
on que puede consistir en una rotación,
rotaci´on, inversi´
inversión
on o reflexi´
reflexión),
on),
los vectores unitarios se transforman de acuerdo a (1.13).
Puestoo que, por definici´
Puest definición,
on, el vector B
vector B es una forma invariante bajo la transfor-
mación
maci´
on es cierto que B =
i
Bi ê
ˆi = B
e B =
=
i
Bi ê
e
ˆi . (1.19)
De acuerdo a (1.18): AA
La rotación
AA = I ; se sigue, tomando el determinante: A = 1.
| |
rotaci´on de coordenadas tiene A = 1 (lo que proviene de que la rotación
rotaci´on debe
| | ±
contener como caso l´ımite
ı́mite la transformación
transformaci´
on de identidad, para la cual A = 1), | |
mientras la inversión
inversi´on y la reflexión
reflexi´on de coordenadas tienen, como veremos, A = 1. | | −
Problema: Definimos la siguentes matrices:
ˆ = (ê
ê
e = ˆ1 , ê
e ˆ2 , ê
e ˆ3 ),
e B = (B1 , B2 , B3 )
ˆ =
ê
e =
0@ 1A e 0@ 1A e 0@
ˆ1
ê
e
ˆ2
e
ê , B =
B1
B2 , A =
a11 a12 a13
a21 a22 a23
1A
ˆ3
e
ê B3 a31 a32 a33
B B =
· = B
B B ·
e
Demuestre que: B = B ê
e ê
e
ˆ = ê
eB e
B , B = AB , B = AB , ê
e ˆ , e
ˆ = Ae
ê ê e
ˆ = Ae,
ê
ˆ,
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 13
y y
B B
x x
z z
Consideremos Reflexión
Consideremos Reflexi´ on de
de coordenadas:
S´
Sólo
olo la componente
componente x
x cambia de signo bajo reflexión:
reflexi´on:
B1 =
−B1, B2 = B = B 2 , B3 = B
= B 3
B × C = (B 2 C 3 − B3 C 2 , B3 C 1 − B1 C 3 , B1 C 2 − B2 C 1 )
= (B2 C 3 − B3 C 2 , −(B3 C 1 − B1 C 3 ), −(B1 C 2 − B2 C 1 ))
−1 0 0 −1 0 0
0 1 0 , 0 1 0
| |
0 0 1 − −
−
y para las cuales A = 1. Estas ultimas
últimas
´
0 0 1
se llaman transformaciones impropias
y no pueden obtenerse de la identidad, ni se reducen a ella en algún
alg´
un l´ımite.
ı́mi te. Esto
contrasta con las transformaciones propias
transformaciones propias , que están
est´an conectadas con la identidad
14 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
φ = φ , η = A η
| |
Son escalares
escalares:: masa,
ma sa, carga
c arga el´
e léctrica,
ectrica, potencial
potenc ial el´
eléctrico,
ectrico, potencial
potenci al gravitacional
gravita cional,,
temperatura,
tempera tura, energı́a,
energ´ıa, trabajo,
traba jo, entropı́a,
entrop´ıa, tiempo,
tiempo , corriente el´eléctrica,
ectrica, permitividad,
permiti vidad,
permeabilida
permea bilidad d magnética,
magn´etica, flujo del campo magnético.
magn´etico.
Son pseudoescalares
pseudoescalares:: densidad volumétrica
volum´ etrica de masa y de carga, volumen, angu- ángu-
´
lo sólido,
s´
olido, densidad
densida d volumétrica
volum´etrica de energ´
energı́a,
ıa, potencial
potenc ial escalar
escala r magn´
magnético,
etico, flujo del
campoo el´
camp eléctr
ectrico
ico..
Conviniendo en que que A, B, C...son vectores axiales y P, Q, R... son vectores po-
vectores axiales
lares, es fácil
f´acil demostrar que:
1.2.. NO
1.2 NOCIO
CIONES ´ SICAS
NES BASICAS
Á 15
A (P· × Q) = escalar
Ejemplos f´ısicos
ı́sicos de estas relaciones son los siguientes:
siguientes: p = mv, F = ma, L =
r p, τ = r F, v =
× × v = ω r, E =
E =
× φ, F =
F = q
−∇ q E, F =
F = q
q v B, F =
F = m
mg×g.
Paridad e invarianza
Teorema:
Las ecuaciones vectoriales son invariantes bajo transformaciones coordenadas s´
olo
tipo .
si contienen sumas (o restas) de vectores del mismo tipo.
Por ejemplo, si A
si A,, B, C son axiales,
A + B = C
= C −→ Ai + Bi = C i
3
∴ A | | aij (Aj + Bj ) = | |
A aij C j
j i=1
| |
∴ A Aj + Bj = Q j ´
óo |A|A + P = Q
= Q , ,
ecuaci´
ecuación
on que no es de la forma A + P = Q = Q..
En consecuencia la mezcla de vectores axiales y polares genera ecuaciones que
no son invariantes bajo reflexión
reflexi´on e inversi´
inversión.
on. Se dice entonces que este tipo de
ecuaciones viola
ecuaciones viola la paridad.
Análogamente,
An´alogamente, ecuaciones que mezclan escalares y pseudoescalares no son in-
variantes bajo inversión
inversi´on y reflexi´
reflexión:
on:
Si e
Si e,, f,g son
conservan f,gla son escalares
paridad, peroy p,q,
y p
pero e e,q, pr = f
+ p = son
f pseudoescalares,
no la conserva. entonces e
entonces e + f = g y
g y p
p + q = r
= r
Es posible combinar escalares, pseudoescalares, vectores y pseudovectores para
formar ecuaciones invariantes (o no invariantes) bajo reflexión reflexi´on e inversión,
inversi´on, como en
los siguientes problemas.
16 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
S´
olo las interacciones
interacciones d´
débiles
ebiles violan la paparidad.
ridad. Las interacciones
interacciones fuertes, elec-
tromagnéticas
tromagn´eticas y gravitacionales son invariantes
i nvariantes bajo reflexi´
on e inversi´
on de coor-
denadas. Y todas
todas las leyes f´ısicas
ı́sicas son invariantes bajo rotaci´
rotaci´
on (y traslaci´
on) de
coordenadas.
1.3. Dife
Diferenci
renciales
ales de l´ı́ınea,
nea, superficie y volum
volumen
en
Utilizando
Utilizando (1.5) en (1.1) podemos escribir:
escribir:
3 3
dr = hi ê
e
ˆi dui = dli , (1.21)
i=1 i=1
donde
eˆi dui
dli = h i ê (1.22)
representa el elemen
el elemento ı́nea a
to diferencial de l´ınea a lo largo del eje u
eje u i . La expresión
expresi´on (1.21)
asegura que cualquier elemento de l´ınea
ı́nea con orientaci´
orientaciónon arbitraria puede descom-
ponerse en una suma vectorial. En coordenadas esféricas:
esf´ericas:
dlr = ê
ˆer dr −→ dlr = dr
dlθ = ê
ˆeθ r dθ −→ dlθ = rdθ
dlϕ = ê
ˆeϕ r sen θ dϕ −→ dlϕ = r = r sen θ d ϕ
d ϕ
Las superficies
Las superficies diferenciales
diferenciales se describen como vectores perpendiculares al ´area
área
diferencial y orientadas según
seg´
un la regla de la mano derecha:
dS1 = d
= dll2 × dl3
dS2 = d
= dll3 × dl1
= dll1 × dl2
dS3 = d
As´
sı́ı::
dS1 = h 2 h3 ê
ˆe2 × êeˆ3 du2 du3 = h2h3 ê ˆe1 du2 du3 = ê ˆe1 dS 1
dS2 = h 3 h1 ê eˆ1 du3 du1 = h 3 h1 ê
ˆe3 × ê ˆe2 du3 du1 = ê
ˆe2 dS 2
dS3 = h 1 h2 ê
ˆe1 × ê
e
ˆ2 du1 du2 = h ˆe3 du1 du2 = ê
= h 1 h2 ê ˆe3 dS 3 ,
1.3. DIFE
DIFERENC
RENCIALES DE L´
IALES ÍNEA, SUPERFICIE Y VOLUMEN
INEA, 17
u2
dS1 dS3
u1
dS2
u3
ˆ1
ê
e × êeˆ2 = ê ˆe3, êeˆ2 × êeˆ3 = ê ˆe1, êeˆ3 × êeˆ1 = ê ˆe2,
v´
válidas
alidas en sistemas coordenados
co ordenados curvilı́neos
curvil´ıneos ortonormales en espacios 3D euclidia-
nos. En forma sintética:
sint´etica:
3
ˆi
ê
e × êeˆj = ˆk
ijk ê
e (1.23)
k=1
ijk es el llamado s´
sımbolo
ı́mbolo de Levi-Civit a , definido como: 123 = 1 y antisim´
Levi-C ivita antisimétrico
etrico
para cada pareja de ´ındices
ı́ndices contiguos . Es decir:
ijk = − ikj
= jki = − jik
= kij = − kji
de modo que:
18 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
En coordenadas
coor denadas esféricas
esf´ericas::
Problemas: Calcu
Calcular
lar los fac
factores
tores de es
escala
cala y los eleelemen
mentos
tos de l´
lı́ınea,
nea,
superficie y volumen en coordenadas cil´
cilı́ındricas.
ndricas.
Demostrar que:
1. A
PP
× B = ijk ê ˆei Aj Bk ijk
1.3. DIFE
DIFERENC
RENCIALES DE L´
IALES ÍNEA, SUPERFICIE Y VOLUMEN
INEA, 19
de modo que:
3
ijk lmk = δ iill δ jm
jm − δ iimmδ jjll (1.24)
k=1
Esta ecuación
ecuaci´on puede escribirse
escribirse como:
3
ijk lmk =
δ iill δ iim
δ jjll δ jm
m
jm
(1.25)
k=1
Es fácil
f´acil demostrar que:
1.
3
jk =1 ijk ljk =
j
δ iill δ iijj
δ jjll δ jjjj
= 2δ il
2.
3
ijk =1 ijk ijk = 6
3.
3
j =1 δ iijj ijk = 0
La ecuaci´
ecuación
on (1.25) es la suma en k,
k , con n
con n =
= k
k,, de la expresión:
expresi´on:
δ iill δ iim
m δ iin
n
ijk lmn = δ jjll δ jm
jm δ jn
jn
El s´ımbolo
ı́mbolo de Levi-Civita
Levi-Civita puede utilizarse
utilizarse para escribir
δ kl
kl δ k
escribir determinan
km
determinantes.
m δ k
tes. Es en
kn n
efecto cierto que
A ijk = lmn ail ajm akn
| |
lmn
20 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
1.4..
1.4 Opera
Operador
dores
es dif
difere
erenci
nciale
aless
Entenderemos por campo
campo un sistema fı́sico
f´ısico con valores definidos en cada punto
del espacio. Un campo escalar
campo escalar está
est´a carac
caracteriz
terizado
ado por
p or una función
on f
una funci´ f ((u 1, u2 , u3 ) que
lo determina por entero en cada punto del espacio. La temperatura en cada punto
de un sólido,
s´olido, la presión
presi´on y la densidad de la atmósfera,
atm´osfera, los potenciales gravitacional y
electrostático,
electrost´atico, la amplitud de una onda de sonido, son campos escalares. φ = z = zyy 3 x2
−
es un campo escalar.
Un campo vectorial
campo vectorial se se caracteriza con tres
con tres funciones
funciones escalares (es decir, una fun-
ción
ci´
on vectoria
vectorial)l) en cada punto del espacio.
espacio. La velocidad
velocidad de una part´ partı́ıcula
cula de un
fluido, el campo eléctrico
el´ectrico de una distribución
distribuci´ on de cargas el´ eléctricas
ectricas,, los campos
campo s grav-
gr av-
itacionales,
itaciona les, el campo magnético
magn´etico terrestre,
te rrestre, las ondas
o ndas electroma
e lectromagn´ gnéticas,
eticas, el campo
ca mpo de
velocidades en un tornado, son campos vectoriales. A
vectoriales. A = yzz 2ˆîi 2zx 3 jˆ + xy 2 k̂
= y − ˆ es un
k es
campo vectorial.
Asumiremos que los campos en consideración
consideraci´on son funciones regulares, continuas y
derivables, excepto posiblemente en puntos aislados. Todos los campos pueden ser,
además,
adem´ as, funciones
funciones del tiempo.
tiempo. En general los campos serán ser´an descritos por ecuaciones
diferenciales parciales cuyas variables independientes serán ser´an la posición
posici´on y el tiempo.
1.4.1.
1.4.1. Gradi
Gradien
ente
te
3
∂φ ∂φ ∂φ ∂φ
dφ
dφ =
= du1 + du2 + du3 = dui (1.26)
∂u 1 ∂u 2 ∂u 3 i=1
∂u i
3
dr = ˆj duj
hj ê
e (1.27)
j =1
por ê
Multiplicando escalarmente por ˆi :
e
3 3
dr e
ê
ˆi =
·
j =1
hj ê
e
ˆj e
êˆi duj =
·
j =1
hj δ ij duj = h i dui
1
= ⇒ dui = ˆi ,
dr ê
e ·
hi
dφ
dφ =
=
3
∂φ 1
ˆê
ei dr = d
= drr
·
·
3
êˆi ∂φ
e
i=1
∂u i hi j =1
hi ∂u i
El t´
término
ermino entre paréntesis
par´entesis lo denotaremos
denotare mos ∇φ, donde ∇ es conocido como el
operador nabla
operador nabla . Ası́
As´ı::
3 3
ˆi ∂φ
ê
e
∇φ ≡ = e
ê
ˆi (∇φ)i (1.28)
i=1
hi ∂u i i=1
y lo llamaremos gradiente
llamaremos gradiente de
de la función
funci´on escalar φ
escalar φ((ui ). por tanto
dφ
dφ = drr
= d · ∇φ (1.29)
que dr = n̂
Puesto que ˆ dl,, se sigue: dφ/dl
ndl sigue: dφ/dl = n̂
ˆ · ∇φ, que corresponde a la definición
n definici´on
de
de derivada direccional de
de la función
funci´on φ direcci´on n̂
φ en dirección ˆ.
n.
Para estudiar las propiedades del gradiente tomemos un par de superficies in-
finitesimalmente cercanas, sobre cada una de las cuales la función funci´on φ toma valores
constantes e infinitesimalmente diferentes,
diferentes, φ y φ + dφ
+ dφ.. En teor´
teorı́ıaa de campos se les
llama superficies equipotenciales.
De (1.29) se sigue :
dφ =
dφ = d
drr ∇φ = dr ∇φ cos θ
· | || |
donde θ es el ´angulo
donde entre dr y ∇φ. Si el vector
ángulo entre vector dr se sitúa
sit´
ua en el plano φ = cte,
cte,
entonces dφ
entonces dφ =
= 0; por tanto:
0 = dr ∇φ cos θ
| || |
Como ∇φ es en general diferente de cero, pues pues φ(ui ) es una función
funci´on arbitraria, y
como dr = 0 se sigue que cos θ = 0, por lo cual θ
| | cual θ = 90 .0
dφmáx
ax =
m´ |∇φ||dr| = |∇φ| dl
dφ
o:
dl
= |∇φ|
máx
m´
ax
As´ı pues
Ası́ pu es,, el m´
y el gradiente apunta en la dirección
cional y
cional
odulo del gradiente corresponde al valor m´ aximo de la derivada direc-
direcci´on en que tal derivada es m´
máxima.
axima.
Ahora bien: puesto que desde cada punto de una l´ıneaı́nea o superficie equipotencial es
posible trazar el vector ∇φ, resulta entonces posible construir una red coordenada
22 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
∇φ
φ + dφ
dr
φ
ortogonal a las equipotenciales; por lo cual, dada una familia de curvas en el plano (o
de superficies curvas en el espacio) es posible obtener otras que le son ortogonales. De
acáa surge un método
ac´ m´etodo eficaz de construcción
construcci´on de sistemas
sistemas de coordenadas
coordenadas curvilineas
curvilineas
ortogonales que implementaremos en la sección
secci´on 1.12.
Hemos de tener en cuenta que ∇ no es un vector sino un operador vectorial:
no es operador vectorial: ∇
no tiene dirección,
direcci´on, a menos que opere sobre una funci´
función.
on.
En coordenadas
coor denadas esféricas
esf´ericas::
3
ˆi ∂φ ê
ê
e e ˆθ ∂φ ê
ˆr ∂φ ê
e ˆϕ ∂φ
e ∂φ ê
ˆθ ∂φ
e ê
eˆϕ ∂φ
∇φ = = + + = ê
ˆer + +
i=1
hi ∂u i hr ∂r hθ ∂θ hϕ ∂ϕ ∂r r ∂θ r sen θ ∂ϕ
Demuestre que:
∂ r
∇uj = δ ij .
·
∂u i
Esto significa que las dos familias de vectores ∂ r/∂u i y ∇uj son
ortogonales, y forman bas
bases
es recı́p
rec´ rocas.
ıprocas
Pa
Parti
rtiend
endo
o de la forma
P forma carte
cartesia
siana
na del gra
gradie
dient
ntee de un escal
escalar:
ar:
∇ϕ = ˆ
i ∂ϕ/∂xi y utilizand
̂ utilizandoo argum
argument
entos
os de la secc
secci´
ión
on 1,2
obtenga
obte nga la forma (1.28). Esto demdemuest
uestra
ra la inv
invarian
arianza
za del gra-
diente bajo transformación
transformaci´
on de coordenadas.
El poten
potencial
cial elec
electrost
trost´á
atico
tico de un dipolo eléctrico
el´
ectrico p = p 0 e
ê
ˆz es:
= p 0 cos θ/r 2 , con p
φ = p con p 0 constante. Calcule el campo electrostático
electrost´ atico
−
E = ∇φ en coord coordenadas
enadas esf´
esféricas.
ericas.
La ecua
ecuaci´
ción
on b´
bási
asica
ca de la hidros
hidrost´tátic
aticaa (ve
(verr secc
secci´
ión
on 4.3) tiene la
forma: ∇P ++ ρ∇ = 0, donde P
G donde P ,, ρ y son la presión,
G presi´on, la densidad
y el poten
potencial
cial gravitac
gravitacional
ional.. Demu
Demuestreestre que, en cada punto
punto,, las
normales
norma les a las superficie
superficiess de presi´
presiónon y poten
potencial
cial constan
constante
te son
paralelas.
1.4.2.
1.4.2. Dive
Diverge
rgenc
ncia
ia
Dada una superficie diferencial orientada dS, definimos el flujo
el flujo del
del campo vectorial
B a tr
trav´
avés
es de d
dSS como:
dΦ = flujo diferencial = B
= B dS ·
dS
campo B
Figura 1.6: Flujo del campo B
a través
trav´es de una superficie
super ficie abierta
24 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
B1
dS1
B2
dS1
u1
∂ (B1 h2 h3 )
∂ (
(B1 h2 h3 )u1 +du1 = (B1 h2 h3 )u1 + du1 + ···
∂u 1
En consecuencia:
∂ (B2 h3 h1 ) dV
dΦ2 =
∂u 2 h1 h2 h3
∂ (B3 h1 h2 ) dV
dΦ3 =
∂u 3 h1 h2 h3
El flujo total d
total dΦ
Φ que atraviesa el volumen dV
volumen dV es entonces
dΦ = d
dΦΦ1 + dΦ2 + dΦ3 =
+
∂ (B2 h3 h1 ) ∂ (
∂ (B1 h2 h3 ) ∂ (
+
∂ (B3 h1 h2 ) dV
∂u 1 ∂u 2 ∂u 3 h1 h2 h3
Introduciendo la convención:
convenci´on: h
h ≡ h1h2 h3:
dΦ =
∂
∂u 1
B1 h
h1
+
∂
∂u 2
B2 h
h2
+
∂
∂u 3
B3 h
h3
dV
h
= Div B dV
Div B =
1
h
3
∂
∂u i
Bi h
hi
(1.30)
i=1
En consecuencia: la
consecuencia: la divergencia es el flujo por unidad de volumen :
dΦ
Div B =
dV
La anterior formulación
formulaci´on ha sido realizada para un volumen diferencial. Para un
volumen finito:
Φ= ·
B dS
don de el s´ımbolo
donde ı́mb olo representa integración
integraci´on sobre una superficie cerrada . Para rea-
lizar esta integral
integral (que equivale
equivale a sumar flujos diferencia
diferenciales)
les) descomponemos
descomponemos el
volumen V
volumen V en un conjunto de volúmenes
vol´
umenes diferenciales dV ;
; las caras comunes de
los paralelepı́pedos
paralelep´ıpedos diferenciales contribuyen con flujos iguales y opuestos en signo,
que se cancel
cancelanan al hac
hacer
er la sum
suma,
a, de modo que en s´ı́ıntes
ntesis,is, las parte
partess no nulas
nulas
de la integral de ´área
area son aquellas que corresponden a caras en la frontera. En
consecuencia:
Φ=
·
B dS = Div B dV
26 1. CO
COOR
ORDE
DENA
NADA
DAS
S CU
CURVIL´
RVIL ÍNEAS ORTOGONALES
INEAS
De modo alterno: ·
B dS
Div B = l´
lı́ım
m
∆V →0 ∆V
Es cierto en coordenadas curvil´
curvilıneas
ı́neas ortogonales que:
Div B = ∇ B ·
El lado izquierdo de la igualdad se calcula utilizando (1.30) y el derecho utilizando
el operador gradiente de (1.28). En coordenadas esféricas
esf´ericas :
∇ · B = Div B =
1
∂ Bi h
h i ∂u i hi
3
=1
1 ∂ ∂ ∂
= 2
(Br r2 sen θ) + (r sen θBθ ) + (rBϕ )
r sen θ ∂r ∂θ ∂ϕ
1 ∂ 2 1 ∂ 1 ∂B ϕ
= 2
(r Br ) + (sen θBθ ) +
r ∂r r sen θ ∂θ r sen θ ∂ϕ
∇ · (φA) =
1
h
∂
∂u i
h
φ Ai
hi
i
= 1 φ
h
i
∂
∂u i
h Ai +
hi
i
h Ai ∂φ
hi ∂u i
= φ
1 ∂ h
Ai
+ Ai
1 ∂φ
h ∂u i hi hi ∂u i
i i
= φ∇ A + A· · ∇φ.
Problemas: Utilizan
Utilizando
do coorden
coordenadas
adas cartesia
cartesianas
nas y cilı́ndrica
cil´ındricass demuestre
que ∇ B = Div B .
·
Escriba · B en coordenadas
∇ coor denadas cartesian
cartesianas
as y cilı́ndricas
cil´ındricas..
Evaluar ∇ · (rrn ) y ∇ · (r∇rn ) en coordenadas cartesianas.
Demostrar, en coordenadas cartesianas, que ∇ · (r/r 3 ) = 0
Compruebe el teorema de la divergencia para el campo vectorial
A = 4xˆîi 2y jˆ + z 2 k̂
− ˆ , sobre la superficie y volumen de una esfera
k,
de radio 4.
Hallar
Hal lar el fluj
flujo campo A = zˆîi +
o del campo + x jˆ 3y ˆ a trav´
3 y 2 z k
k̂ través
es de la
cilindro x 2 + y 2 = 16.
superficie del cilindro x −
Hallar la divergencia de
A = ˆîi((x2 + yz jˆ(y 2 + xz
yz)) + j( xz)) + k̂
ˆ
k((z 2 + xy
xy))
H ·
Demuestre que r dS = 3V.