Escolar Documentos
Profissional Documentos
Cultura Documentos
Primavera de 2006
Indice
1.
9
9 10 11 12 14 15 16 17 17 18 20 21 23 26 31
1.5.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.6. Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.7. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.8. Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.9. Sucesiones y series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.10. Series de Taylor y de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.11. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.12. La parte principal de una integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.13. Hojas y supercie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.14. Integrales que involucran funciones multivaluadas . . . . . . . . . . . . . . . . . . . . . . . 1.15. Prolongacin anal o tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.16. Relaciones de dispersin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.17. Mtodo del descenso ms empinado (steepest descent) . . . . . . . . . . . . . . . . . . . . e a
33 35 37 40 40
2.
45
46 47 48 49 49 51 52
3.
La delta de Dirac
3.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 3.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
55 56 57
4.
59
59 60
U de Chile
FCFM
H. F. Arellano
4.3. Paso del discreto al cont nuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4.1. El teorema de convolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.4.2. Relacin de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.4.3. Potencial debido a una distribucin de cargas . . . . . . . . . . . . . . . . . . . . . o
62 63 64 65 65
5.
Ecuaciones diferenciales
5.2. Separacin de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.2.1. Ecuacin de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.3. La ecuacin de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.2. Funciones modicadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.3. Diferenciacin y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.3.4. Una identidad til . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 5.3.5. La ecuacin de Laplace en una cavidad cil o ndrica . . . . . . . . . . . . . . . . . . . 5.4. Ecuacin de Helmoltz con simetr axial . . . . . . . . . . . . . . . . . . . . . . . . . . . . o a 5.4.1. Los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.4.2. Propiedades de los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . 5.4.3. Las funciones esfricas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 5.5. Ecuacin de Laplace en una cavidad esfrica . . . . . . . . . . . . . . . . . . . . . . . . . . o e 5.6. Los esfricos armnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e o 5.6.1. Construccin de los esfricos armnicos . . . . . . . . . . . . . . . . . . . . . . . . o e o
69
70 70 72 73 76 77 78 79 81 82 84 85 86 87 89
FCFM
U de Chile
5.6.2. Relaciones de ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.6.3. Otras identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.7. Teor de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 5.8. Ecuaciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.8.1. Aplicacin del mtodo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o e 5.8.2. La ecuacin hipergeomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o e
91 93 93 95 96 99
6.
Funciones de Green
103
6.0.1. Problema con C.B. homogneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 e 6.0.2. Un ejemplo clsico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 a
Pre-texto
Estos apuntes son una transcripcin de mi primer manuscrito de ctedras del semestre de primavera de o a 2005. Al igual que otros de mis apuntes, son informales en su presentacin y carecen de desarrollos detallados o que comunmente se discuten en clases o encuentran en textos. El tema de mtodos matemticos para la f e a sica es sumamente extenso y hay varios textos de excelente calidad donde encontrar desarrollos y discusiones interesantes, adems de buenos ejemplos o problemas a t picos. As entonces, no pretendo con estos apuntes hacer un aporte en esa l nea. El sentido de escribirlos es ms bien registrar el nfasis de algunos aspectos discutidos en clases y de como ellos se estructuran hacia a e los temas ms avanzados. Espero que sto sea de ayuda. a e
U de Chile
FCFM
Cap tulo 1
1.1.
Variables complejas
Comenzamos nuestro estudio suponiendo alguna familiaridad con los nmeros complejos ordinarios, u a es decir, aquellos formados por la combinacin del tipo x iy, con x e y variables reales adems de la o propiedad i2 1. Para uniformizar la notacin, usaremos la letra z para simbolizar las variables complejas. o Las operaciones de suma y multiplicacin entre nmeros complejos estn denidas de la siguiente forma. o u a Sean z1 x1 i y1 , y z2 x2 i y2 , entonces z1 z2 z1 z2
def def
x1 x2 i y1 y2 , x1 x2 y1 y2 i x1 y2 x2 y1 .
Con estas deniciones, y al igual que en el cuerpo de los reales, los nmeros complejos satisfacen las siguientes u propiedades para la suma y el producto: 1. Asociatividad para la suma y el producto, z1 z2 z3
z1 z2 z3 ,
z2 z1 ,
z1 z2 z3 z1 z2
z1 z2 z3 ;
3. Distributividad de la suma con respecto al producto, z1 z2 z3 4. Existencia del cero (0 0 i 0) y de la unidad (1 z0 0z z, z1 z2 z1 z3 ; z1 1 i 0): 1z
z;
x i y, entonces z z
z x i y es su inverso aditivo y
0;
z z
9
6. Existencia del inverso multiplicativo. Si z x i y, entonces1 z 1 plicativo y cumple z z 1 z 1 z 1 ; Se dene el mdulo ( z ) de un nmero complejo z mediante z o u z1 z2 z1
1 z 2z es su inverso multi-
z2 .
1.2.
Al igual que con variables reales, las mltiples operaciones entre variables complejas permite la consu truccin de funciones. Tales funciones resultan, en general, tambin complejas y se descomponen en parte o e real e imaginaria. Si f z es una funcin de la variable compleja z x i y, entonces podemos escribir o f z ux, y i v x, y wx, y .
Se subentiende que la aplicacin f toma elementos z en un dominio del plano complejo (C). Se dice que f o es cont nua en z si para todo 0 existe un 0 tal que z z f z f z . Un ejemplo de funcin cont o nua es f z z 2 . En efecto,
iy z zo x w u iv wo
z , entonces w z z z
w . z z .
z z 2z 2 z .
z z
2 z
2 z . Si denotamos
Aqu resulta claro que la separacin innitamente pequea entre f y f est siempre garantizada. De la o n a desigualdad de arriba inferimos que para un dado, entonces el requerido est dado por a z
2
z .
Notamos que en este caso depende de z , lo que es en general el caso. Sin embargo, si el dominio de f est acotado por z a R, entonces se expresa independiente de z . Ello se denomina continuidad uniforme.
todo complejo z resulta evidente que zz
1A
U de Chile
10
FCFM
H. F. Arellano
1.3.
Derivada y analiticidad
f z f z . z z
Consideremos el cuociente
Este cuociente no est denido para z z . Sin embargo, al igual como se hace para funciones de variable a real, quisieramos construir el l mite cuando z z . En variable compleja imponemos una exigencia no trivial, cual es que el l mite sea independiente de como z se aproxima a z . As denimos , f z l m f z z f z . z x, con z x i y.
ux x, y i vx x, y ux, y i vx, y
ux x, y ux, y x u v i x . x x y i vx x,x vx, y
Para que ambos procedimientos lleven al mismo resultado imponemos que tanto la parte real como imaginaria sean coincidentes, vale decir, u x v , y u y
v . x
A sta se le denomina condicin de Cauchy-Riemann y constituye una condicin necesaria para la e o o analiticidad de una funcin. La suciencia viene cuando las derivadas son cont o nuas. De la condicin de Cauchy-Riemann surgen trivialmente o
2
u x2
u y2
0,
v x2
v y2
0,
que corresponden a ecuaciones de Laplace en 2D. En tal sentido, las componentes de real e imaginaria de funciones anal ticas son armnicas como funciones de x e y. o
FCFM
11
U de Chile
l m
f z
0
z f z
z
(1.3.1) 0.
provisto de que el l mite exista y sea independiente de la forma como z u x, y Teorema: La funcin f z o condiciones de Cauchy-Riemann, (o, equivalentemente, f z en esa regin. En tal caso o
v y
v x
(1.3.2)
0), son satisfechas y todas las primeras derivadas parciales de u y v son continuas df dz u x
v x
u y
(1.3.3)
C se denomina anal tica en z si es diferenciable en z y todo punto de su vecindad. Deniciones: La funcin f : C o Aquel punto donde f es anal tica se denomina punto regular de f . Un punto donde f no es anal tica se denomina punto singular o singularidad de f . Una funcin para la cual todos los puntos en C son regulares se llama funcin o o entera.
La analiticidad de una funcin no es una propiedad que est garantizada a cualquier funcin cont o e o nua. Por ejemplo, consideremos z x i y, y denamos f z z z . Claramente ux, y 2x; v x, y 0. La derivada df dz obtenida mediante variaciones de z paralelas al eje real es u x i v x 2. De igual forma, variaciones paralelas al eje complejo (z iy) conducen a i u y v y 0. Este resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistemtica a de vericar la analiticidad de una funcin es examinando la condicin de Cauchy-Riemann. Para este ejemplo o o se observa que u x v y. En general, cualquier funcin de z y z resulta no anal o tica. Examinemos un ejemplo simple: f z z 2 . Considerando z x i y es fcil vericar que f z a 2 2 wx, y x y i 2xy . Identicamos u x2 y 2 , y v 2xy, con lo cual u x 2x ; u y
2y ; i
v x
v x
2y ;
v y
2x .
Estas derivadas cruzadas satisfacen las condiciones de C.R. La derivada es nica y la podemos evaluar: u f z u x 2x i2y 2z ,
coincidente con el resultado conocido para variables reales. En general, se puede demostrar que para todo n entero, d n z n z n1 . dz Su demostracin queda propuesta. o
1.3.1.
La exponencial
Un ejemplo de gran valor es el caso de la funcin exponencial. Esta funcin puede ser denida de o o varias formas. Consideremos en este caso la siguiente construccin. La exponencial es una funcin de la o o
U de Chile
12
FCFM
H. F. Arellano
variable compleja z, que denotadaremos por f , que satisface las siguientes propiedades: a) f z es anal tica y univaluada en C; b) f z f z ; y c) f z1 z2 f z1 f z2 . Procedemos entonces a la construccin o de la exponencial. De la condicin c) se tiene f 0 0 o Imponemos que f z f 0f 0, por lo que f 02 f 0. Soluciones son f 0 f z f z 1.
0; 1.
f z f z f z
ux, y i v x, y . Entonces, u x u; v x v,
de lo cual ux, y
ay ex , y v x, y
by ex . ay by
de donde se obtienen a a 0; b b 0. Las ecuaciones de arriba son dos ecuaciones acopladas de primer orden, de modo que son slo dos las constantes arbitrarias de integracin. Si consideramos o o a y Imponemos f 0 A cos y B sin y , by A sin y B cos y .
a0 b0
1 0
A B
1 0
Construimos f
uiv
Del resultado anterior resulta evidente que para z modo, si z x (real), entonces ez ex .
La exponencial es anal tica en todo C, de modo que es una funcin entera. Una gaca de la supercie o r de ez para sus componentes real e imaginaria se muestran el la Fig. (1.2). Asociadas a la exponencial se denen las siguientes funciones de variable compleja, ambas enteras: cos z eiz
eiz
2
sin z
eiz
eiz
2i
FCFM
13
U de Chile
-3
10 15
sin z . cos z Esta ltima no es anal u tica en los ceros de cos z. De forma anloga se introducen las deniciones a tan z cosh z ez
ez
2
sinh z
ez
ez
2
tanh z
sinh z . cosh z
1.3.2.
El logaritmo
Al igual que en variable real, se dene el logaritmo como la funcin inversa de la exponencial. Notar, o sin embargo, que la exponencial es una funcin peridica, vale decir, o o ez ez2iN ,
con N un entero arbitrario. Esto conduce a que la inversa de la exponencial resulte multivaluada en su parte imaginaria. En principio eso puede ser un inconveniente. Por ahora subsanamos tal ambigedad si u restringimos la parte imaginaria a slo un sector. o Buscamos una forma expl cita, en trminos de x e y, para ln z e que ew z. De esta ltima, claramente u z eui v w. Esta construccin se basa en exigir o
eu cos v i sin v .
Tomando mdulo a ambos lados y luego el logaritmo en variables reales obtenemos o u Adems, si representamos z a ln z .
def
i arg z .
y
U de Chile
14
FCFM
H. F. Arellano
2 i 1 yyxx2
x y2 d ln z dz 1 . z
x iy x2 y 2
1 . x iy
Contando con la denicin del logaritmo podemos denir la potenciacin a un nmero real a, o o u za
def
ea ln z .
1.4.
Propiedades geomtricas e
Geomtricamente el gradiente de una funcin de dos variables, x, y , apunta en la direccin de mayor e o o crecimiento. Si consideramos ux, y y v x, y , componentes de una funcin anal o tica f z , entonces u v u v x x
u v . y y
Al hacer uso de la condicin de C.R. se obtiene que u v 0 Esto implica que, en un punto z x iy, o la direccin de mayor crecimiento de u es perpendicular a la de v. En otras palabras, las curvas de nivel de o ux, y son perpendiculares a las de v x, y . A modo de ilustracin, consideremos nuevamente la funcin f z o o z 2 . En tal caso u x2 y 2 , y 2 2 2xy. Las curvas de nivel estn dadas por x y a u y 2xy v , ilustradas en la Fig. (1.3), donde
1 1
0.5
0.5
-0.5
-0.5
-1 -1 -0.5 0 0.5 1
-1 -1 -0.5 0 0.5 1
Fig. 1.3: Curvas de nivel de ux, y (izquierda) y v x, y (derecha). se puede apreciar visualmente la perpendicularidad de las curvas de nivel.
FCFM
15
U de Chile
1.5.
Transformaciones conformes
La aplicacin w f z asocia a cada par x, y de z x i y otro u, v de w u i v. As entonces, o mediante la aplicacin f podemos identicar la regin u, v que resulta de considerar todos los puntos x, y o o correspondientes a z en un dominio D. A esta construccin se le llama mapa. Cuando la transformacin f o o
y x
f v u
Fig. 1.4: Un mapa. es anal tica, los mapas resultantes tienen propiedades interesantes. Comencemos examinando la geometr a de dos desplazamientos arbitrarios en z y veamos en qu se traducen para w. e Sea z un punto en el dominio de partida y w f z su imagen respectiva. Sin perder generalidad, podemos armar que un desplazamiento muy pequeo desde z , z n z z , conlleva una variacin w o dado por w f z z.
u Al ser f anal tica, f z es nica. Contemplemos dos desplazamientos independientes, za y zb , ambos de igual magnitud (s) pero con orientaciones distintas. Si los ngulos relativos al eje real son a y b , a respectivamente, entonces sus desplazamientos en el plano C son za s eia , y zb s eib . Claramente el ngulo entre estos dos desplazamientos se obtiene examinando el cuociente zb za : a zb za wb wa eib a .
Nos preguntamos entonces por el angulo relativo entre las variaciones wa y wb respectivas: f z zb f z za eib a .
En otras palabras, el ngulo relativo entre wa y wb es el mismo que entre za y zb , lo que se ilustra en la Fig. a (1.5). Es importante resaltar que la preservacin de los ngulos est garantizada slo cuando f z 0. Si o a a o
iy zb za x
Fig. 1.5: Si f z
b a
iv
wb wa
a b
u
0 entonces
za , zb
wa , wb .
esto no ocurre hay que examinar ms detalladamente considerando trminos de orden superior. Ms adelante a e a estudiaremos expansiones en series de Taylor en torno a puntos regulares. Si el trmino no nulo ms bajo es e a de orden m, entonces wa , wb m za , zb . Cuando m 1 nos referimos a una transformacin o conforme.
U de Chile
16
FCFM
H. F. Arellano
1.5.1.
Ejemplos
1z.
Inversin: w o
Consideremos la transformacin f z 1z y estudiemos la regin que resulta al considerar el conjunto o o D z C : z a a. Se subentiende que a es un real positivo. En este caso los puntos en D quedan convenientemente descritos por z Construimos w: a ei , w :0 a; : .
El centro del c rculo es mapeado a w En tal caso representando una recta con u
a.
u+iv = 1/(x+iy)
1/2a 1/a
C A
B a
1.6.
Integracin o
Sean f : C C y una trayectoria cont nua que une los puntos extremos za y zb . Denimos la integral mediante la suma innita de elementos innitesimales,
f z dz
l m
n j 1
f j zj
zj1
zb
za
f z dz .
En esta construccin exigimos que para todo segmento, zj zj 1 o 0. Adems, convenimos en que f a es evaluada en cualquier punto j en el segmento zj 1 zj . Suponemos que la funcin f no experimenta o saltos a lo largo de . Para jar ideas hemos considerado z0 za , y zn zb .
FCFM
17
U de Chile
iy
n1 n2 n
za
0 1
1.7.
Teorema de Cauchy-Goursat
C es anal tica sobre y dentro de una trayectoria cerrada C, entonces
f z dz
0.
A este teorema se le llama Teorema de Cauchy-Goursat. Sin pretender una demostracin rigurosa sino o ms bien dar una justicacin razonable, consideremos una trayectoria no cerrada y que une dos puntos a o extremos, za y zb . Expresemos la integral en trminos de las partes real e imaginaria y desarrollamos. e
I
z
f z dz
xy
u i vx i y
xy
u dx v dy i
xy
v dx u dy .
En stas hacemos una distincin entre la trayectoria en C, denotada por z , y aquella equivalente en 2 , e o xy . Las dos integrales de la derecha se pueden expresar como integrales de camino de los campo vectoriales A u, v y B v, u, respectivamente. Por el teorema de Stokes, tales integrales son independientes de la trayectoria si es que A 0 y B 0, lo cual es efectivo al considerar la condicin de C.R. o para las funciones u y v: B A
x By
x Ay
y Ax y Bx
v y u x u y v
0, 0.
zb 2 1 za (a) za
zb
C 1
(b)
(c)
Fig. 1.8: Integral a lo largo de una trayectoria . El resultado anterior permite comenzar con una integral a lo largo de un camino 1 y deformarlo gradualmente hasta transformarlo en 2 [ver (a)]. Si la funcin f z es anal o tica sobre cada una de las
U de Chile
18
FCFM
H. F. Arellano
f z dz
zb
za 2
f z dz ,
donde ambas trayectorias parten de za y llegan a zb . Al cambiar de orden la segunda integral, tambin e cambiamos el signo [ver (b)]:
zb
za 1
f z dz
za
zb 2
f z dz
zb
za 1
f z dz
za
zb 2
f z dz
0.
f z dz
0.
a b 0 c
t 2it ,
1
0
t:0
1.
Ia
0
t 2itdt 2i dt
z t
3t dt 4it dt 3 2i . 2
t:0 1.
Entonces, dz
Ib
0
t 2it2 dt 4it dt 3 2i . 2
19
U de Chile
FCFM
c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t t, (dz dt), con t : 0 1. En el segundo podemos hacer z t 1 it, (dz idt), con t : 0 2. De esta forma,
1
Ic
0
tdt
2
0
1 iti dt 3 2i . 2
dz z
ii.- Calculemos
para una trayectoria circunferencial cerrada en torno al origen. Rei , (dz Rei i d), con
En este caso los puntos z en la trayectoria estn dados por z a :0 2. As , 2 dz Rei i d 2i . z Rei 0
e Este resultado permite el clculo de dz para cualquier trayectoria que encierre el origen. Para ello considrea z se el trayecto de la derecha de la Fig. (1.10) Notar que la trayectoria cerrada compuesta por los tramos a, b,
b a d
c a
Fig. 1.10: Trayectoria evitando la singularidad en el origen. c y d no encierra singularidad alguna. Adems, cuidamos que c corresponda a una circunferencia concntrica a e al origen. Por lo tanto, dz 0. z a b c d Al hacer los tramos paralelos b y d innitamente prximos, la suma de ambas integrales se anula. Por lo tanto o quedan dos integrales cerradas, una sobre y la otra sobre la circunferencia recorrida en sentido horario. Por lo tanto dz dz 2i . z z
c
Resumiendo,
dz z
2i 0
1.8.
El siguiente teorema (de Cauchy) es de gran trascendencia en el estudio de funciones anal ticas. En ste e se establece que si f : C C es anal tica sobre y dentro de un contorno simple cerrado , con z un punto
U de Chile
20
FCFM
H. F. Arellano
en el interior de , entonces
f z
1 2i
f z dz z z
Para demostrar este teorema podemos hacer uso nuevamente de la Fig. (1.10), donde se construye una n trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia pequea de radio . Con f z ello el integrando zz es anal tico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat:
f z dz z z
b c
0
d
Al hacer los tramos b y d innitamente prximos, las integrales (recorridas en sentidos opuestos) se cancelan o pues los integrandos coinciden en el l mite. En tal caso a , con lo que
f z dz z z
f z dz z z
Necesitamos evaluar c en el l mite 0. Parametrizando (en sentido horario), z ei i d), con : 0 2, obtenemos
z ei (dz
i
f z
2
0
f z ei d . 0. Por lo tanto
c
f z cuando 1 2i
2if z.
f z dz. z z
Este resultado se extiende a las derivadas de una funcin anal o tica. Para ello hagamos un cambio de notacin. o Primero z , y luego z z, con lo cual f z 1 2i
f d . z
1 2i
f d z
dn 1 f d dz n z
z n1 f d
n!
1.9.
Sucesiones y series
Un tema de bastante importancia en el estudio de funciones de variable compleja es su desorrollo en series de potencias. Siendo ste un tema sumamente amplio, nos limitaremos a resumir slo algunas nociones e o bsicas. a
FCFM
21
U de Chile
Consideremos la sucesin innita de nmeros reales o complejos w1 , w2 , w3 , . . . y construimos la suma o u parcial de k trminos, e Sk
k n 1
wn .
Decimos que la serie S l k m Sk existe, vale decir, es nito. En relacin o n 1 wn es convergente si S a las caracter sticas de convergencia de las series, se denen dos tipos: a) Series absolutamente convergentes, cuando b) Series condicionalmente convergentes, cuando wn es convergente; y wn converge pero
n 1
n 1
n 1
wn diverge.
En relacin a criterios para examinar la convergencia de una serie mencionamos tres de ellos. o 1. El test de comparacin, que consiste en descomponer los elementos de la sucesin en sus partes o o real e imaginaria, wn un ivn . Se analizan separadamente n 1 un y n 1 vn , y suponemos que un 0 y vn 0. Si adems, una serie conocida n 1 an es convergente, con un an n, entonces a un es convergente. Un criterio anlogo es utilizado para examinar la convergencia de la parte a n 1 imaginaria. 2. El test del cuociente, que consiste en construir el cuociente n wn1 wn . Denamos adems a R l n m n . Bajo este criterio, si R 1 la serie converge absolutamente; si R 1 entonces la convergencia queda indeterminada; si R 1 la serie es divergente. 3. El test de Cauchy, donde se dene l n m wn 1n . Si 1, entonces la serie es convergente; si 1 la convergencia queda indeterminada; si 1 la serie diverge. Un ejemplo simple y de mucho inters consiste en la serie geomtrica deninda por e e Sn 1 z z 2 z n1 . 1 zn , 1z 1
z
.
1.
1, entonces S 1z
Esta expresin cerrada para la suma de innitos trminos se obtiene suponiendo z o e 1. Ms alla de si a existe una expresin cerrada, la existencia de un resultado nito est condicionada, independientemente, por o a los criterios del cuociente y de Cauchy. Ambos garantizan convergencia de la serie para todo z 1. Al sector delimitado por z 1 se le denomina c rculo de convergencia. La extensin de series en un sentido general a lo que denominaremos serie de funciones es relativamente o simple. En este caso consideramos la secuencia de funciones w1 z , w2 z , . . . y denimos Sn z
n k 1
wk z .
U de Chile
22
FCFM
H. F. Arellano
Denimos adems a
f z
l Sn z . m b si 0 N : n 11 z , N
Esta serie es uniformemente convergente en la regin anular a o z f z Sn z . Al analizar la serie geomtrica y denominando f z e f z SN z Buscamos N para el dado y obtenemos N ln 1 z . z zN 1z .
1.10.
Cuando una funcin es anal o tica dentro de un c rculo centrado en un punto z , entonces es factible expandir tal funcin en serie de potencias de z z . A esta expansin se le reconoce como serie de o o Taylor. Concretamente, f z f z f z z z
f n z
n 0
n!
z z n .
La demostracin de este teorema es bastante directa si consideramos la frmula integral de Cauchy para o o una trayectoria circunferencial C centrada en z , como se ilustra en la Fig. (1.11). En tal caso aplicamos
z
zo
f d . z
z z z
z z , z 23
z 1 ,
1.
FCFM
U de Chile
La propiedad 1 es evidente puesto que est en el contorno del c a rculo, mientras que z est al interior. a As entonces, 11 n , que al combinar con las tres expresiones anteriores conduce a n 0 2if z
z n
z z z
f d
d z z n f z n1 . 0
C
Utilizando la frmula integral de Cauchy para la derivada, vlida si f es anal o a tica, resulta evidente f z la serie de Taylor de f en torno a z . La expansin de Laurent no tiene contraparte en variable real, permitiendo la expansin en serie de o o potencias en regiones anulares en cuyo interior la funcin es no anal o tica. Consideremos y dos c rculos concntricos de radios r y R, respectivamente. Ambos estn centrados en z , con r e a R, como se ilustra en la Fig. (1.12). Sea f : C C anal tica en la regin anular S comprendida entre y . Entonces, para o
z zo
f n z
n 0
z z n , n!
n 0
an z z n
bn z z n , 1
donde an bn 1 2i 1 2i
f d z n1 ,
z n1 f d .
Para demostrar este resultado recurrimos nuevamente a la frmula integral de Cauchy, esta vez cuidando o que la trayectoria cerrada a considerar excluya eventuales puntos singulares. En la Fig. (1.13) se consideran los arcos casi cerrados y , adems de dos tramos paralelos muy prximos entre s La analiticidad de f z a o . dentro de la trayectoria escogida permite el uso de la integral de Cauchy,
f d z
f d z
2if z .
Cuando los tramos y se hacen innitamente prximos, la suma de la integrales se cancela y o podemos escribir 1 f d 1 f d f z 2i . 2i z z
U de Chile
24
FCFM
H. F. Arellano
11111 00000 11111 00000 11111 00000 11111 00000 11111 00000 00000 11111
(+) ()
Fig. 1.13: Trayectoria cerrada que excluye singularidades. Se ha antepuesto signo a la integral positivo (antihorario).
,
Al igual que como se hizo con la serie de Taylor, buscamos expresiones adecuadas para 1 z y e nea, es fcil vericar a 1 z , al estilo de la serie geomtrica, que involucren potencias de z z . En esa l que z n z n 1 1 z z z n 0 z z z z n1 . n 0 Por otro lado ya obtuvimos z
z z n , z n1 0
n 0
f d z zn n1 z n 0
1 z n f d z z n1
De esta expresin resultan evidentes los coecientes an y bn de la serie de Laurent. o A modo de ilustracin (trivial) busquemos la serie de Laurent para f z 1z 1 en torno a z 1. o Los coecientes an y bn se deteminan mediante integracin directa en torno a z 1. Comencemos por an , o an 1 ei , (d an Este ltimo paso es evidente porque n u bn 1 2i
f d 1n1 . 2 f ei 0.
Parametrizamos:
ei id), : 0 1 2n1
2
0
ein1 d
1n1 f d
ei id), : 0
2
0
Parametrizamos nuevamente:
1 ei , (d bn
ei
1 n1 2
ein1 d .
FCFM
25
U de Chile
En este caso n 1. Cuando n 1 se obtiene directamente b1 1. De igual forma se verica fcilmente a que bn 1 0. As entonces la serie de Laurent para f z 1z 1 es la misma funcin, algo totalmente o previsible. Como en la ilustracin anterior, las series de Laurent se pueden aplicar en torno a puntos singulares. En o particular, si z es una singularidad aislada, entonces podemos expandir f z
n 0
an z z n
fP
b z nz n . z z b1
La contribucin fP z se denomina parte principal de f en z . En relacin a esta expansin se denen las o o o siguientes denominaciones. Si fP z consta de slo el primer trmino b1 z z , entonces z es un polo simple de f . o e Si fP es truncada en n Si fP z consta de innitos trminos entonces z es una singularidad escencial. e m, entonces f tiene un polo de orden m en z .
Una singularidad es removible cuando f z est indenida pero l z z f z existe. Por ejemplo, a m f z sin z z, y g z ez z 1z 2 tienen singularidades removibles en z 0.
1.11.
Sea f z una funcin meromorfa en sobre y dentro de una trayectoria cerrada C. Nos planteamos el o clculo de la integral a f z dz .
C
Supongamos que dentro de C hay polos. Lo que hacemos es construir una trayectoria cerrada que siga el contorno C, con eventuales virajes dirijidos hacia los polos, aislndolos y retornando por el mismo trayecto. a Esto es posible si la funcin es continua en todo el trayecto. Las integraciones de ida y vuelta en los tramos o
Fig. 1.14: Trayectoria cerrada excluyendo los polos de una funcin meromorfa. o hacia los polos se cancelan. Si denominamos k a la trayectoria cerrada que enlaza al k simo polo, entonces e
f z dz
f z dz
f z dz
1 ,
k ,
U de Chile
26
FCFM
H. F. Arellano
De aqu obtenemos
f z dz
k k
f z dz
en las integrales de la derecha. Abordamos ahora el clculo de a f z dz, encerrando el k simo polo que suponemos de orden m. Denamos entonces e k k z
z zk m f z ,
zk
l z m
bm;k ,
f z dz
k z dz z zk m Res f zk
m 1!
1
2i
m1 zk , (por Cauchy). m1 zk ,
Deniendo
m 1!
2i
obtenemos
f z dz
Res f zk ,
el denominado teorema de los residuos. Para los polos de primer orden se tiene Res f zk en el caso de los polos de segundo orden Res f zk
z z
l z zk f z ; m
zk
l m
zk
d dz
z zk 2 f z
El teorema de los res duos es particularmente til para el clculo de integrales denidas cuyos integrandos u a no cuenten con primitivas. Examinemos algunos casos t picos. F sin , cos d ei id), entonces podemos escribir sin z2 1 , 2iz
2 0
cos
z2 1 . 2z 1, de
dz z 2 1 z 2 1 F , . z 2iz 2z
2
d . b cos
FCFM
27
U de Chile
iy
Polos para b=1
|z|=1 x
Polos (conjugados) para b<1
Fig. 1.15: Ubicacin de las raices de z 2 2bz 1 o Haciendo las sustituciones descritas se obtiene I
0.
2i
dz . z 2 2bz 1
Los polos del integrando son z b b2 1, ilustrados en la Fig. (1.15). Se puede vericar que slo o en el caso b 1 uno de los polos, z b b2 1, se localiza al interior de la circunferencia. Para el caso b 1 los polos yacen sobre la trayectoria, situacin que obviaremos en este caso. Evaluemos o entonces el residuo. Resf z 1 z z z z z z 1 z z 1 z z 1 2 b2 1
P x Q x
dx
Las integrales de este tipo resultan bastante simples si cambiamos x z. La trayectoria a considerar es una semicircunferencia ( o ) cerrada por el eje real. Denotemos P xQx por f x. Examinamos entonces f z dz
R
f xdx
f z dz
2i
izd), : 0
f z dz
f xdx
2i
Res f zj .
Los residuos en este caso son los ubicados en el semiplano complejo superior.
U de Chile
28
FCFM
H. F. Arellano
Examinamos f z
dx . 1 x2
i, pero slo z o
Res f z
zi 1 2i .
1 . 2i
Con ello,
Rx
2i
cos ax sin ax
dx
Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Dependiendo de cual sea la funcin, cos ax o sin ax, consideramos la parte real o imaginaria de Rxeiax . o Luego extendemos al plano complejo, Rz eiaz , e integramos sobre una semicircunferencia cerrando por arriba o por abajo. A este punto hay que tener precaucin por donde cerrar, puesto que el signo de o a es determinante para la convergencia de la integracin sobre la semicircinferencia cuando R o . Hay que examinar caso a caso. Ilustramos con el siguiente ejemplo,
cos kx 1 2 x2 2
Re
eikz 1 2 x2 2 .
Debemos decidir si cerramos por arriba ( ) o por abajo ( ). Para ello analizamos la exponencial evaluada en la semicircunferencia, z Rcos i sin : eikz eikRcos i sin eikR cos ekR sin .
Cuando R la exponencial tiende a cero slo para 0 , motivo por el cual cerramos por o arriba puesto que as 0 queda garantizado. Consecuentemente,
eikz 1 2 x2 2
2i
Res f zj . i.
Los ceros del denominador son z Evaluamos para el residuo d dz y se obtiene para la integral
z i2 1 iz e21 iz 2
I 2
ek .
FCFM
29
U de Chile
4. La integral I4
Esta integral es muy recurrente en el estudio ondulatorio de paquetes o pulsos gaussianos. Su caracter stica es que el integrando tiene una componente imaginaria (ikx) en la exponencial. Formamos primero un cuadrado de binomio para x, ikx bx2 Ello permite escribir I4 ek
b
2
ik 2b
k . 4b
2
4b
ebx 2b dx .
ik
Nos ocupamos entonces de I , para lo cual consideramos la trayectoria rectangular descrita en la Fig. (1.16) formada por un segmento R, R en el eje real, otro paralelo que une los extremos R ik 2b y dos tramos paralelos al eje imaginario que cierran la trayectoria. Consideramos entonces la identidad
R
d
Rik/2b
b a
Rik/2b
ebz dz
2
0,
debido a que el integrando es anal tico al interior de . Por lo tanto, adems lo siguiente: a La integracin en el trayecto a representa I en el l o mite R R, obtenemos z x ik 2b, (dz dx), con x : R
b c
0. Observamos
. En efecto, parametrizando
ebz dz
2
ebxik2b dx
2
I .
La integracin en el trayecto c representa la integral de una gaussiana en el eje real, cuyo valor o es conocido. En efecto, hacemos z x, (dz dx), con x : R R,
c
2 ebz dz
R
R
2 ebx dx
2 ebx
. b
Las integrales sobre b y d se anulan al hacer R . Examinemos el tramo b, donde hacemos z R it, (dz idt), con t : k b 0. Entonces,
ebz dz
2
kb
ebRit idt
2
i ebR
kb
e2iRbt ebt dt
2
U de Chile
30
FCFM
H. F. Arellano
kb
kb
ebt dt
kekb b
La ltima desigualdad surge de tomar el mximo del integrando y multiplicarlo por el ancho del u a intervalo. Este valor resulta independiente de R, de modo que su contribucin se anula al ser o 2 multiplicada por ebR y tomar R . Un procedimiento anlogo se emplea para examinar d . a De las observaciones anteriores se obtiene I 0
I4
k2 4b e . b
1.12.
Hasta ahora hemos evitado la presencia de singularidades en el eje de integracin, usualmente en el eje o real. Consideremos la integral f x dx . I x x Ciertamente al pasar el integrando por x nos encontramos con una singularidad que hemos de evitar, en particular si f x 0. A n de darle una signicacin a la integral de arriba, denmosla como el valor o a l mite x f x f xdx f x I l m dx dx P . 0 x x x x x x x A esta cantidad se le denomina parte principal de f y veremos una forma sistemtica de obtenerla mediante a integracin en el plano complejo. o Supongamos que podemos extender la funcin f x al plano complejo mediante una sustitucin simple o o f z . Tal sustitucin dene una funcin meromorfa en C. Si consideramos la trayectoria cerrada o o f x descrita en la Fig. (1.17). La integral cerrada se descompone en dos semicircunferencias, una evitando x y
iy
x
R
xo
Fig. 1.17: Trayectoria que excluye el polo en el eje real. otra cerrada por arriba. Adems, se incluye la integracin en el eje real acercndose a x , lo que dene la a o a
FCFM
31
U de Chile
f z dz z x
P 2i
f xdx x x Res
f zk zk x
f z dz z x
f z dz z x
Si adems, f z a 0 sobre , cuando R , entonces 0. Falta evaluar , para lo cual parametrii i zamos z x e , (dz e id), con : 0. As luego de sustituir y simplicar ,
0
f x ei d .
en la semicircunferencia superior cuando su radio R se hace innito. A modo de ilustracin evaluemos la integral I o eix 2i, es fcil vericar que a iI
if x . Combinando los resultados f zk zk x Hay que tener presente que en esta versin se ha excluido x del contorno de integracin. Adems, f z o o a 0
sin xx dx. Recordando que sin x
eix
eix dx . x Calculamos P de esta integral, para lo cual identicamos un nico polo en x 0. Tal polo queda fuera de u la trayectoria pues el contorno lo excluye, por lo que no hay aporte de residuos. Adems, eiz a 0 sobre la semicircinferencia superior, cuando R . En resumen,
P por lo que I .
eix dx x
if 0
i ,
f z dz z x
f xdx x x
if x .
Sin embargo el trmino de la izquierda es el mismo si se cambia levemente la trayectoria de integracin a la e o del lado derecho de la Fig. (1.18). Todo ello si es que f x i f x cuando 0, una exigencia de continuidad de f en el eje. Entonces, la integral de la izquierda se puede parametrizar mediante z x i, (dz dx), con x : . Por lo tanto,
f z dz z x
f x idx x x i
f xdx . x x i
De esta forma,
f xdx f xdx P if x . x x i x x Este resultado es abreviado usualmente mediante 1 1 P ix x , x x i x x con la funcin delta de Dirac a ser revisada ms adelante. o a
U de Chile
32
FCFM
H. F. Arellano
1.13.
Una clase especial de funciones de variable compleja es aquella de funciones multivaluadas. Consideremos f z cualquiera de las siguientes funciones: z, n z (n entero), z ( irracional) y ln z. Para cualquiera r ei y cambiar de stas f z es multivaluada, vale decir, f toma valores diferentes al representar z e continuamente 2. Para jar ideas consideremos f z z r ei2 f r, . Si bien z en el plano complejo, 1, al reemplazar en f r, obtenemos f r, r ei2 i r; f r, r ei2
representan al mismo i
r.
Esta propiedad ilustra una caracter stica muy general para los ejemplos descritos en el prrafo anterior, a conduciendo a la denicin de lo que se denomina punto de rama (branch point). Se dice que z es un o punto de rama si, para una trayectoria cerrada que lo encierra f z r ei En los ejemplos precedentes, z f z r ei2 .
Examinemos con ms detencin el caso f z a o z. Descomponiendo f ( : 0 2), podemos tabular el comportamiento radial de u y v. Obtenemos,
7 2 r2
4 r 0
r2
r2
r2 r2
r2
z es distinta:
0y
l m
l m
r.
FCFM
33
U de Chile
Esta discontinuidad se ilustra en la Fig. (1.19), donde se representan las curvas de nivel de u y v. El origen z 0 se localiza en el centro de cada cuadro, con el eje real positivo horizontal hacia la derecha. Las zonas ms claros indican mayor cercan al ojo del observador. La discontinuidad de u se observa en la regin de a a o mayor contraste claro/oscuro.
1 1
0.5
0.5
-0.5
-0.5
-1 -1 -0.5 0 0.5 1
-1 -1 -0.5 0 0.5 1
z.
Es interesante hacer notar que si continuamos incrementando , desde 2 hasta 4, ambas u y v vuelven a coincidir. En otras palabras, luego de dos vueltas alrededor de z 0, la funcin f coincide y el manto o (supercie) empalma el borde inicial. Esta propiedad se observa claramente en la Tabla I, al constatar que u iv para 0 y 4 son idnticas. e
n Resulta evidente entonces que, en general, la supercie formada por f z z z 1n se cierra luego de n vueltas alrededor de z 0. Esta idea, observada originalmente por Riemann, lleva a la construccion de lo que se denomina hoja de Riemann. El empalme de estas hojas lleva a la supercie de Riemann.
Las hojas de Riemann se construyen identicando los puntos de rama (branch points), es decir aquellos puntos en C en torno a los cuales un seguimiento de la funcin a su alrededor lleva a un valor distinto al o del punto de partida. En la Fig. (1.20) se ilustra un punto z en torno al cual una funcin f z exhibe una o discontinuidad luego de una vuelta en 2. Una vez identicado el punto de rama y una direccion del corte,
Discontinuidad
zo
Corte
Punto de rama
Fig. 1.20: Seguimiento de f z en una trayectoria cerrada en torno a z . se construyen secuencialmente las hojas de Riemann haciendo corresponder barridos completos en 2. As ,
U de Chile
34
FCFM
H. F. Arellano
f z
. . .
: 2 : 2 4 : 2n 1 2n
f r,
La unin de estas hojas se realiza en los cortes. La unin de todas estas hojas conforma la supercie de o o Riemann. En el caso de raices n-simas, el nmero de hojas de Riemann distintas es nita, en tanto que e u potencias irracionales y logaritmos conllevan a innitas hojas: la supercie nunca se cierra. En el caso del logaritmo, lnz ln z i, la parte imaginaria tiene una discontinuidad en cada ciclo. En la Fig. (1.21) se ilustra la parte real de ln z (izquierda), un ciclo de la parte imaginaria (centro) y el empalme de tres de ellas (derecha). La coleccin de innitas hojas denen la supercie de Riemann. Lo interesante o es que esta construccin permite la continuidad de la funcin en toda la supercie, a pesar de que hayan o o cortes.
-2 2 1
-2 2 1 0 -1 -2 -1
-1
0
0 1 2
-1 -2 6
-2
2 1.5 1 2 1
-4
0.5 0 -2 -1 0 1 2 -2 -1 0
Fig. 1.21: Reln z (izquierda), una (centro) y tres hojas (derecha) de Riemann para Imln z .
1.14.
Cuando el integrando de una integral de variable compleja es multivaluada hay que tener cuidado de no pasar inadvertidamente sobre discontinuidades. En particular, la relacin o
f z dz
2i
Res f zj ,
exige analiticidad (y continuidad) del integrando a lo largo de la trayectoria. Si f z es multivaluada, hay que buscar una trayectoria que evite el paso sobre un corte.
FCFM
35
U de Chile
xp1 dx , x2 1 z p1 z2 1
con 0
Al ser p un real cualquiera entre 0 y 2, entonces la funcin resulta multivaluada. Al representar z ei , o con : 0 2, esta funcin tiene un punto de rama en z o 0 y exhibe un corte en el eje real positivo. Estas consideraciones motivan examinar la trayectoria indicada en la Fig. (1.23). La trayectoria cerrada
R
+i
r
i
(+)
corte
()
Fig. 1.22: Trayectoria cerrada para una integracin sobre trayectoria cerrada evitado un corte. o est formada por cuatro curvas. a
0.
y : dos tramos rectos radiales muy prximos al corte, uno a cada lado de ste. o e r : circunferencia casi cerrada de radio r, donde r 0. Se encuentra que
r
0.
Podemos escribir
in
out
2i
r
Resf zj .
Para z
z1 evaluamos el residuo:
z z1 z zz z z
1 2
p 1
z p1 z z2 z p1 z z1 36
p z1 1 z 1 z 2
1 p1 z 2i 1
p 1 z1 1 eip2 . 2 2
Para z
z2 evaluamos el residuo:
z z2 z zz z z
1 2
p 1
p z2 1 z2 z1
p 1 z2 2
1 e3ip2 . 2
FCFM
U de Chile
H. F. Arellano
Res
ei , (dz
d ei ), con : 0
. Entonces, p1 d 2 0 1 0 . Entonces,
2ip
p1 eip1 i e d 2 2i 1 0 e
Para parametrizamos z
ei2 , (dz
d ei2 ), con :
p1 eip12 i2 e d 2 e2i2 1
p1 d 2 0 1
1 e
que luego de simplicar conduce a
2ip
p1 d 2 0 1
2i eip cos p 2
p1 d 2 1
p . cosec 2 2
1.15.
Como ya hemos visto, las funciones anal ticas exhiben una serie de propiedades muy particulares, entre las cuales resaltan que la integral sobre cualquier contorno cerrado es nula si ste no enlaza singularidades; e que las integrales a lo largo de trayectorias diferentes con extremos comunes son iguales si una de las trayectorias es deformable a la otra sin pasar por singularidades; que ellas pueden ser expandidas en series de Taylor o de Laurent; o que ellas satisfacen la frmula integral de Cauchy, o f z 1 2i
f d d . z
Adems de estos teoremas surgen otros que apuntan a la unicidad de las funciones anal a ticas. En otras palabras, dada una funcin anal o tica f1 z denida sobre un dominio D1 C, entonces de las innitas funciones anal ticas denidas en D2 , slo una de ellas, f2 z , empalma completamente con f1 en D1 D2 . o Este argumento permite la prolongacin (o extensin) de cualquier funcin anal o o o tica a regiones en el plano complejo que van ms all de su dominio original de denicin. a a o Teorema: Sean f1 z , f2 z : C C, anal ticas en una regin S. Si f1 f2 en una vecindad de un punto o z S (o segmento de curva en S), entonces f1 z f2 z z S. La demostracin de este teorema es o bastante simple. Si f1 z f2 z en una vecindad de un punto z S entonces tambin lo son todas sus e
FCFM
37
U de Chile
Fig. 1.23: Expansiones de Taylor desde los bordes de los discos de convergencia. , e derivadas en z . As ambas conducen a idnticos los coecientes para sus respectivas series de Taylor. Si ellas tienen radio de convergencia R1 , entonces ambas conducen a idnticos coecientes en sus expansiones en e torno a un punto z1 cerca de la periferia del disco de convergencia. Desde tal punto se expanden nuevamente, dos nuevas series (idnticas). Este procedimiento se repite, tomando puntos cerca del borde de los discos de e convergencia, hasta cubrir toda la regin S. o Un corolario del teorema anterior es que el comportamiento de una funcin anal o tica en S C est coma pletamente determinada por su comportamiento en una vecindad en torno a cualquier punto regular en S. Por lo tanto, una funcin anal o tica puede ser extendida ms all de su dominio de denicin, siendo sta a a o e prolongacin nica. Tal construccin se denomina extensin anal o u o o tica o prolongacin anal o tica. Ilustremos un par de ejemplos.
n o a 1, caso en que converge a Consideremos f1 z n 0 z . Esta expansin est denida para z f1 z 11 z . Para z 1, f1 queda indenida. Por otro lado consideremos g z 11 z , funcin o anal tica denida para todo z 1. Claramente g z f1 z para todo z 1. Por lo tanto, g z es la prolongacin anal o tica de f1 en la regin z o 1.
zt dt , expresin denida z Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z o 0 e S1 z : Re z 0, regin en la cual f1 z 1z. Bajo esta denicin f1 z queda indenida para o o Re z 0. Por otro lado, consideremos la expansin o
iy Re{z}>0 x
1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000
f2 z
n 0
|z+i|<1
f2 .
zi i
expresin convergente a 1z en la regin S2 z : z C o o zi 1. Podemos decir entonces que f1 z es la prolongacin anal o tica de f2 z en S1 , del mismo modo que f2 es la prolongacin anal o tica en S2 de
U de Chile
38
FCFM
H. F. Arellano
f1 z . Teorema: Sean f1 anal tica en S1 y f2 anal tica en S2 . Sea adems B la frontera comn de S1 y S2 . Si a u f1 f2 en B, con f1 cont nua en S1 B y f2 cont nua en S2 B, entonces f z es anal tica en S1 S2 f1 f2 z z
S1 S2
B B
o La demostracin de este teorema es directa haciendo uso del teorema de Morera, el cual establece que si C f z dz 0, para todo C D, entonces f z es anal tica en D. Consideremos entonces una trayectoria cerrada, arbitraria que pasa por las dos regiones S1 y S2 , como se ilustra en la Fig. (1.25). Demostraremos 0 para C arbitraria. Puesto que f1 y f2 son cont nuas en el borde, es vlida la siguiente a que C f z dz
C B
S2 C2 C1
S1
f z dz
C1
f1 z dz
C2
f2 z dz .
Puesto que f1 y f2 son anal ticas en sus dominios respectivos, las integrales sobre C1 y C2 son nulas, por lo que C f z dz 0. Claramente la nulidad de esta integral est garantizada si C se mantiene en cualquiera a de los dominios S1 o S2 . Un corolario de este teorema es el llamado principio de reexin de Schwartz que prescribe una forma o de extender anal ticamente una funcin denida en una regin del plano complejo. Denotemos por C el o o semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C R C, anal tica. Si adems f z f z para z R, entonces la funcin g : C a o C, denida por g z f z ,
es la prolongacin anal o tica de f en C . Una constatacin directa de este corolario es vericando que la o condicin de Cauchy-Riemann es cumplida por g. Descomponiendo f z o ux, y iv x, y , y g z ax, y ibx, y , entonces g z f z ax, y Resulta directo demostrar que a x ux, y , bx, y
vx, y . b
x.
b y, y que a y
FCFM
39
U de Chile
1.16.
Relaciones de dispersin o
La condicin de Cauchy-Riemann establece relaciones diferenciales (locales) entre las partes real e imao ginaria de una funcin anal o tica. En contraste, las relaciones de dispersin permiten establecer relaciones o integrales (globales) entre ellas. A tales relaciones tambin se les reconoce como representaciones espece trales, relaciones de Krning-Kramers o transformaciones de Hilbert. Consideremos una cantidad o f sica anal tica en el semiplano complejo superior. Podemos suponer que l m 0. Consideremos entonces la integral sobre una semicircunferencia (innita) C abarcando el semiplano complejo superior. Si es real, entonces
P 0
Por lo tanto,
Descomponiendo
d .
1.17.
Este mtodo es particularmente til para obtener formas asintticas de funciones expresadas como e u o integrales en el (o prolongables al) plano complejo. Consideremos la integral I
ef z g z dz ,
con f y g funciones anal ticas, y una variable real, grande y positiva. Si denotamos f ef z eu cosv i sinv
Al ser grande, entonces una pequea variacin de v hace que las funciones seno y coseno oscilen rpidan o a mente. Puesto que el integrando es anal tico, entonces cabe preguntarse si existe una trayectoria que permita un buen control de tales oscilaciones. Supongamos que existe un punto z en C el cual puede ser alcanzado por una deformacin de C y para el cual f z 0. Puesto que f es anal o tica, entonces tanto u como v son armnicas o 2 2 2 2 u v yu 0 yv 0 (1.17.6) 2 2 2 2 x x Al evaluar estas ecuaciones en z ellas expresan que se trata de un punto de silla, como se ilustra en la Fig. (1.26). Expandimos f z en serie de Taylor en torno a z hasta segundo orden f z 1 f z f z z z 2 . 2 (1.17.7)
U de Chile
40
FCFM
H. F. Arellano
u
u steepest v constante
Plano Complejo
Plano Complejo
Fig. 1.26: Mantos ux, y y v x, y en torno al punto silla. Denotamos z z rei f z 2Rei
f z f z
r2 R ei2 .
(1.17.8)
0, 1, 2, 3
Para estos valores examinamos la parte real de f z f z. Claramente para n 1, 3, Re f z f z r2 R 0. Vale decir, de los cuatro segmentos perpendiculares en C que convergen en z , slo aquellos o para n 1 (C1 ) y n 3 (C3 ) ux, y pasa por un mximo local. As examinamos el integrando de I en a ,
n 2
. 2
(1.17.10)
C
Fig. 1.27: A lo largo de C1
rR2 t2
1 z z 2 f z . 2
2
(1.17.11)
Por lo tanto ef z ef z et . Puesto que es grande, entonces et es muy aguzada, lo que permite contener la integracin a una pequea regin cerca de z , a lo largo de C1 C3 . Denotando C aquel o n o trayecto que consiste en una deformacin de C que pasa por z siguiendo C1 C3 , entonces aproximamos o la Ec. ( 1.17.4), 2 f z t2 f z I e g z dz e et g z dz . (1.17.12) C C
FCFM
41
U de Chile
Buscamos ahora una correspondencia (parametrizacin) entre t y z. Combinando Ec. ( 1.17.8) para r y Ec. o t Rei . Conviniendo t 0 en C1 , con 0 1 , ( 1.17.11) para t es fcil vericar que z z a entonces z C3 queda naturalmente representados por t 0. As ,
C1
z(t) t>0
zo
z=z o+ t e i R
C3
t<0
t i1 e R
dz
ei1 dt . R
(1.17.13)
citas en t. Si expandimos g z en serie de Taylor en Esta forma aproximada de I involucra integrales expl 2 torno a z , entonces las integrales en t se reducen a integrandos del tipo tn et , conducentes a integrales perfectamente calculables (notar que para n impar las integrales en t se anulan). Al orden ms bajo en esta a expansin obtenemos o
2 ei1 g z f z I e , (1.17.15) f z
2 et dt
et g z
2
t i1 e dt . R
(1.17.14)
(1.17.16)
ez z dz .
Buscamos una forma asinttica ( grande) para esta integral. Para aplicar el mtodo recin visto al integrando o e e le damos una forma del tipo ef g. Se puede vericar fcilmente que a ez z con lo cual f z ln z z ; g z 0: f z 1 z 1 f z 0 para z 1. Entonces, eln zz ,
U de Chile
42
FCFM
H. F. Arellano
Evaluamos f z en z ,
f z f z
z12
1 i e 2
f z
1 2
Identicamos :
yn
0 ei1 1.
n 2 2. Para
1 tenemos 1
Sustituyendo los resultados parciales I eln 1 1 ei0 2 12 2 eln 1 . N !, con lo cual 2 eln 1 . 1,
De esta forma se obtiene la reconocida aproximacin de Stirling para o 1 En particular, si es entero (N ), entonces 1 ln N !
N ln N
N .
FCFM
43
U de Chile
U de Chile
44
FCFM
Cap tulo 2
Ms adelante nos avocaremos al estudio de ecuaciones del tipo 2 0, 2 k 2 0, etc. En mua chos casos es posible reducirlas a ecuaciones diferenciales ordinarias, conducentes a expansiones en trminos e de funciones especiales. El grado de convergencia de estas expansiones est en gran medida condicionada a a la anidad entre las simetr del problema y la base de funciones especiales a expandir. Resulta adecuaas do entonces hacer una breve revisin de consideraciones generales en el manejo de coordenadas curvilineas o ortogonales. Nuestro punto de partida lo constituyen las coordenadas rectangulares o cartesianas. En ellas, un e punto P queda caracterizado por tres parmetros geomtricos, x, y, z , que denotaremos genricamente a e por x1 , x2 , x3 . El mismo punto P puede ser descrito por otro conjunto de parmetros tales como r, , , a , , z , etc. Denotaremos a cualquiera de estos por u1 , u2 , u3 . As como las coordenadas rectangula res y esfricas, o rectangulares y cil e ndricas pueden relacionarse entre s suponemos relaciones funcionales , x1 , x2 , x3 u1 , u2, u3 , es decir x1 f1 u1 , u2 , u3 , x2 f2 u1 , u2 , u3 , x3 f3 u1 , u2 , u3 .
F2 x1 , x2 , x3 ,
u3
F3 x1 , x2 , x3 .
Consideremos un punto P u1 , u2 , u3 . Al variar arbitrariamente u1 y u2 , manteniendo u3 jo, se genera una supercie. Lo mismo ocurre al variar arbitrariamente u2 y u3 , manteniendo u1 jo. A estas supercies se les denomina supercies coordenadas. En la Fig. (2.1) se ilustran dos supercies coordenadas. Las l neas donde estas se intersectan se denominan l neas coordenadas. Las tangentes a las l neas coordenadas conforman los ejes coordenados. Si la orientacin de las supercies coordenadas cambia de punto a punto, entonces o nos referiremos a coordenadas curvil neas generales. Si estas supercies son ortogonales en todo punto P entonces hablaremos de coordenadas curvil neas ortogonales.
45
y = Cte
z
= Cte
z = Cte = Cte
x
Fig. 2.1: Supercies coordenadas en coordenadas rectangulares y esfricas. e
2.2.
Coecientes mtricos e
Consideremos un vector r posicionado un punto P en el espacio. Un desplazamiento innitesimal de tal punto queda dado por dr Exigimos que el escalar dr dr de coordenadas. r r r du1 2 du2 3 du3 u1 u u ds r duj uj
ds2 sea invariante, vale decir, que su magnitud no dependa del sistema
Notar que r uj es tangente a la l nea uj , vale decir, aquella l nea desde el punto P que surge de j incrementar u manteniendo el resto de las coordenadas jijas. Denamos aj Claramente entonces, r uj ej aj aj
e3 e2 e1 u1
ds2
i,j
i j ai aj du du gij
i,j
U de Chile
46
FCFM
H. F. Arellano
Un sistema se dice ortogonal cuando los ei son ortogonales entre s En tal caso los coecientes gij . conforman una matriz diagonal, i.e. gij gii ij . En tal caso se tiene
ds2
ds2
ds1 2
ds2 2
ds3 2
Esta relacin exhibe la misma estructura que el teorema de Pitgoras. Observamos que los elementos de o a longitud dsi escalan con dui via un factor de escala hi , dsi En coordenadas rectangulares, g11 hi dui g22 g33 gii dui ; 1. (i=1,2,3).
Para obtener los coecientes mtricos de un cierto juego de coordenadas supongamos que las coordenae das cartesianas xi dependen de coordenadas ortogonales uj . Vale decir, xi xi u1 , u2 , u3 , para i 1, 2, 3. Podemos escribir entonces, ds
2
ij k
dx dx
i
xk
i
ui
du
xk
j
uj
du
ij
xk
k
ui
xk uj
dui duj
gij du du
ui
xk . uj
2.3.
Elementos geomtricos e
La determinacin de los coecientes mtricos permite la construccin de elementos de l o e o nea, supercie y de volumen asociados a algun juego de coordenadas. En general, podemos denir stos elementos mediante e
ds
Fig. 2.3: Elementos de longitud, supercie y de volumen. dsi dij d hi dui hi hj dui duj h1 h2 h3 du1 du2 du3 elemento de l nea elemento de rea a elemento de volumen
FCFM
47
U de Chile
Las conocidas expresiones para el gradiente, divergencia y rotor en coordenadas curvil neas surgen de estas representaciones. Antes de continuar revisemos los resultados que arrojan las deniciones anteriores para las coordenadas cil ndricas. En tal caso las coordenadas x, y, z se relacionan con , , Z mediante x1 x2 x3 De stas se obtienen e Z arctany x z x2 y 2 x y z cos sin Z
xk
d2 2 d2 dZ 2 .
2.4.
Operadores diferenciales
Los coecientes mtricos permiten el clculo directo de los operadores , , y 2 e a en cualquier juego de coordenadas ortogonales. Los siguientes resultados los justicaremos ms adelante. a
Para un campo escalar , su gradiente est dado por a Para un campo vectorial A A e1 h1 u1 e h2 u2 e h3 . u3
A1 e1 A2 e2 A3 e3 , entonces 1 h1 h2 h3 u1 u2
A1 h2 h3 h1A2 h3 h1 h2 A3
u3 h2 e 2
2
h1 e 1 1 1 h1 h2 h3 h1 A1
h3 e 3
3
h2 A2
h3 A3
U de Chile
48
FCFM
H. F. Arellano
1 h1 h2 h3
u1
h2 h3 h1
u1
u2
h3 h1 h2
u2
u3
h1 h2 h3
u3
h1
A modo de ilustracin, calculemos el laplaciano en coordenadas cil o ndricas. En este caso vimos que h 1; h2 h ; y h3 hZ 1, con lo cual h1 h2 h3 . Sustituyendo, 2 1
12
. Z2
2.4.1.
El gradiente
u1 , u2 , u3 y calculemos su variacin bajo variaciones arbitrarias o
du1 2 du2 3 du3 . u1 u u Estas mismas variaciones en las coordenadas denen un desplazamiento innitesimal ds dado por d ds e1 h1 du1 e2 h1 du2 e3 h1 du3 .
Deniendo convenientemente e1 1 h1 u 1
e2 h1
u2
1 e3 h
, u3
resulta evidente entonces que d ds. De esta forma se interpreta geomtricamente como la e mxima variacin de por unidad de desplazamiento. En efecto, podemos escribir a o d ds cos ,
con el ngulo entre y la direccin del desplazamiento ds. Si se hace coincidir la direccin de ds con a o o la de , entonces 0 y dMax ds ddsMax .
2.4.2.
La divergencia y el Teorema de Gauss estn estrechamente relacionados. En efecto, consideremos un a campo vectorial A dado por A A1 e1 A2 e2 A3 e3 . Supongamos adems Ai a A dS .
Aqu dS d , con d un elemento innitesimal de supercie de , con n la normal exterior en el punto. , n La integral anterior se puede descomponer en la suma de dos contribuciones, una sobre una supercie 1
FCFM
49
U de Chile
dS
dS dS dS 1 dS2
2
Fig. 2.4: Integral sobre una supercie cerrada y su equivalente en dos contribuciones. y otra sobre 2 . La unin de ambas reconstituyen la supercie original y sus normales en la regin de o o contacto apuntan en sentidos opuestos, garantizando la cancelacin de las contribuciones mutuas. Entonces, o
1
A dS
2
A dS .
Este procedimiento se puede repetir subdividiendo 1 y 2 , y as sucesivamente. Se obtiene entonces una suma de muchas integrales sobre celdas, tantas como resulten de las subparticiones del volumen de partida. Entonces,
A dS
i i
1 i
A dS .
i
En el ltimo paso se ha introducido el elemento de volumen i de la i-sima celda. En el l u e mite de celdas innitamente pequeas tenemos n A d ,
V
l m
A dS
y denotado por V el volumen contenido por la supercie . En esta expresin denota una supercie de o tamao innitesimal en la ubicacin dada por las coordenadas u1 , u2 , u3 . Con esta denicin la divergencia n o o cuantica el ujo por unidad de volumen de un campo vectorial. Calculemos este l mite utilizando coordenadas curvil neas ortogonales. Para ello consideremos una celda innitesimal como la que se ilustra en la Fig. (2.5). La longitud de sus aristas son h1 u1 , h2 u2 y h3 u3 , respectivamente, de modo que su volumen es h1 h2 h3 u1 u2 u3. La integral de ujo sobre la celda es una suma de seis contribuciones, una por cada cara del cubo: A dS
6 k 1
Ak Sk .
Sumemos el primer par de caras opuestas (la 1 segn e1 y la 6 segn e1 ). Los campos en la cara 1 se u u evaluan en u1 u1 , u2 , u3 , mientras que en la 6 en u1 , u2 , u3 . Aqu u2 y u3 representan valores medios de las coordenadas. El elemento de rea (vectorial) en la cara 1 es S1 e1 h2 h3 u2 u3 , mientras que en a la cara 6 es S6 e1 h2 h3 u2 u3 .
1 6
U de Chile
A1 S1 A6 S6
A1 h2 h3 u u u2 u3 A1 h2 h3 u u2 u3
1 1 1
50
FCFM
H. F. Arellano
u3
1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 1111111 0000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000
d 1 u2
()
d1(+) u1
Fig. 2.5: Suma de los ujos en dos de las seis caras de una celda innitesimal. Sumando este par, dividiendo por el volumen y tomando el l mite u1 0, obtenemos
A1 h2 h3 u u A1 h2 h3 u
1 1
h1 h2 h3 u1
1 h1 h2 h3
A1 h2 h3 .
u1
Un procedimiento anlogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen a A 1 h1 h2 h3
A1 h2 h3 A2 h1 h3 A3 h1 h2
u1 u2 u3 y, u3
. z, h1 h2 h3 1.
Si el ujo neto por unidad de volumen es nulo, entonces todo el ujo entrante a una celda innitesimal sale de ste. Tales campos tienen divergencia nula. e
2.4.3.
El laplaciano
x2
u2
h3 h1 h2 u 2
u3
h1 h2 h3 u 3
y2
. z2
FCFM
51
U de Chile
2.4.4.
Como vimos recientemente, la divergencia surge de la descomposicin de una integral de ujo en la o suma de ujos netos sobre volumenes innitesimales. En forma anloga, veremos que el rotor emerge de a la descomposicin de una integral de camino cerrada en la suma de circulaciones netas sobre trayectorias o elementales. Consideremos nuevamente un campo vectorial A A1 e1 A2 e2 A3 e3 , el cual es integrado a lo largo de una trayectoria cerrada C. Denotando d a los elementos de l nea de la curva, entonces
W
C
A d .
Para efectos de esta integral, el camino C original se puede descomponer en la suma de dos trayectorias
C C1 C2
Fig. 2.6: Descomposicin progresiva de una trayectoria en dos y ms circulaciones. o a cerradas, C1 y C2 como se ilustra en la Fig. (2.6). Estas dos subtrayectorias se descomponen nuevamente en dos cada una y as sucesivamente. De esta forma,
W
C1
A d
C2
A d
N i Ci
A d .
1 i
Ci
A d
N i
i ni
ni i
Ci
A d
En la ltima igualdad hemos introducido un vector normal unitario ni cuyo sentido obedece la regla de u la mano derecha aplicada a la circulacin de la i-sima celda elemental. Al pasar al l o e mite de innitas subdivisiones se obtiene el conocido Teorema de Stokes,
W
C
A d
A d ,
donde se ha denido
n l m 0
A d .
De esta denicin resulta evidente el signicado del rotor como una medida de la circulacin de un campo o o vectorial por unidad de supercie. Para el clculo de las tres componentes vectoriales del rotor es necesario a analizar la circulacin en circuitos elementales perpendiculares al ei correspondiente. o
U de Chile
52
FCFM
H. F. Arellano
e3
u +du
3 3 (b) 3
(c)
(a)
u
(d)
e2
u
2
u +du
e1 .
Evaluemos la componente e1 del rotor en coordenadas ortogonales. Para ello descomponemos circulacin sobre cuatro tramos ortogonales como se ilustra en la Fig. (2.7) o
en la
A d
i a,b,c,d
Ai i .
Aa a Ab b Ac c Ad d .
En este caso particular, a h3 du3 e3 , y b h3 du3 e3 . Adems, c h2 du2 e2 ; d h2 du2 e2 . a Las funciones h3 y A3 en el tramo a son evaluadas en u1 , u2 u2 , u3 , mientras que en b se eva luan en u1 , u2 , u3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro contribuciones obtenemos
a,b,c,d
h3 A3 u u h3 A3 u u3 h2 A2 u u u2 . h2 A2 u
2 2 2 3 3 3
A1
1 h2 h3
h3 A3 h2A2
u2 u3
Este procedimiento se aplica de igual forma para las otras dos componentes. Ello conduce la expresin para o el rotor resumida en la Ec. ( 2.4.1), que en el caso de coordenadas rectangulares conduce a
Ax
Az y
Ay . z
FCFM
53
U de Chile
U de Chile
54
FCFM
Cap tulo 3
La delta de Dirac
La delta de Dirac fu introducida por Dirac en los aos 20 del siglo pasado y ha sido utilizada e n extensivamente por los f sicos desde entonces. Su formalizacin matemtica ocurre bastante despues, hacia los o a aos 50, por Laurent Schwartz con la introduccin de la teor de funciones generalizadas o distribuciones. n o a En esta seccin revisaremos algunas nociones acerca de delta de Dirac funcin sin profundizar demasiado en o o sus aspectos formales.
3.1.
Denicin o
La delta de Dirac es introducida para representar cierto tipo de innitos y sus argumentos son variables reales. Ella se denota mediante la letra griega y se dene mediante
0 1
para x
x dx
Para hacerse una idea, se trata de una funcin que es nula en todo el espacio salvo en las vecindades o de x 0, donde se hace innita. La delta de Dirac no es una funcin pues no tiene imagen denida. Su o signicacin se maniesta en el contexto de integrales. Por tal motivo Dirac denomin a x una funcin o o o impropia. Una propiedad importante que emerge de su denicin es la relacin o o
f x x dx
f 0 .
f 0 x dx
f 0
x dx
f 0. De este resultado es
f x x a dx
f a .
Estos resultados son tambin vlidos cuando f representa vectores u operadores. Con respecto a los l e a mites de
55
integracin, stos no necesariamente deben ir desde a , pudiendo tambien ser nitos. Por simplicidad o e en la escritura omitiremos los l mites de las integrales en el subentendido de que ellos no son ambiguos.
3.2.
Propiedades
Listamos algunas propiedades importantes de la delta. x x x ax x 0 1 x a 1 x a x a 2a f a x a a b (3.2.1a) (3.2.1b) (3.2.1c) (3.2.1d) (3.2.1e) (3.2.1f) (3.2.1g) (3.2.1h) con xk cero de f x (3.2.1i)
x2 a2
a x x b dx
f x x a
xf x dx f x x x
f 0 x
1 x xk f xk
Examinemos algunas de estas identidades. Para la primera de ellas consideremos una funcin f x arbitraria y hacemos el cambio de variable o z x. Entonces
f x x dx
f z z dz x.
f 0 z dz
f x x dx .
f xx x dx
xf x x dx
xf x x
0.
Por lo tanto x x acta, en el sentido de una distribucin, como el cero. u o En el caso de la identidad ( 3.2.1c) consideremos una funcin f x arbitraria y a o introducimos un cambio de variable z ax. Entonces,
0. Adems a
f x ax dx
1 a
z z dz a
1 a
f 0 z dz
f z
1 z dz . a
U de Chile
56
FCFM
H. F. Arellano
Una propiedad menos directa es la ( 3.2.1d). Consideremos una funcin f arbitraria. Entonces, o
f x x2 a2 dx
f x x2 a2 dx
0
f x x2 a2 dx
f a
a dx f a
2
x2 a2 dx
x2
a2 , con lo cual dz
x2 a2 dx
a2
dz 2 z a2
1 . 2a
Un procedimiento anlogo se aplica para la segunda integral y que conduce a un idntico resultado. a e Por lo tanto, 1 1 f x x2 a2 dx f a f a . 2a 2a De sto se inere entonces e 1 x2 a2 x a x a 2a Las demostraciones del resto de las propiedades quedan propuestas.
3.3.
Representaciones
Las propiedades anteriores son bastante generales y resultan independientes de las representaciones utilizadas para la delta. Las representaciones de la delta son construcciones basadas en funciones ordinarias en la forma de sucesiones. Normalmente, las propiedades exhibidas por la delta son obtenidas por tales sucesiones en el l mite n . Los siguientes tres ejemplos constituyen representaciones del la delta de Dirac. n n2 x2 x l m e ; n sin nx x l m ; n x n 1 x l m n 1 n2 x2 Es importante tener presente que en el uso de las representaciones, las integrales se realizan primero y luego se toma el l mite n . El orden no conmuta. En muchas aplicaciones de la f sica no encontraremos con las siguientes representaciones equivalentes de la delta: 1 x x eikxx dx 2 sinK x x x x l m K x x 1 x x l m 0 2 x x 2
FCFM
57
U de Chile
U de Chile
58
FCFM
Cap tulo 4
El teorema de Fourier permite la representacin de una funcin en un intervalo a, b mediante una o o expansin de las funciones trigonomtricas seno y coseno. A esta serie se le denomina serie de Fourier. La o e demostracin de este teorema data de poco mas de dos dcadas despus, en 1829, por Dirichlet. o e e
4.1.
El Teorema de Dirichlet
Sea f x una funcin acotada en el intervalo , , con un nmero nito de mximos, m o u a nimos y discontinuidades. Sea adems f x peridica en la forma f x 2 f x para aquellos argumentos fuera a o del intervalo. Entonces, la sucesin o sN converge a
1 2
a 2
N n 1
an
cos nx bn sin nx
f x 0 f x 0 cuando N
an bn
1 f x cos nx dx 1 f x sin nx dx
n n
0, 1, 2, 1, 2, 3,
n 1
an
cos nx bn sin nx .
En aquellos puntos x donde la funcin exhibe una discontinuidad, sN tiende a la semisuma de los valores de o la funcin a cada lado de la discontinuidad. o La adaptacin del teorema anterior a una funcin f cuya periodicidad es 2L es bastante simple. Si la o o
59
L, L, entonces
a 2
n 1
an cos
nx
bn
sin
nx
L L
L L
f x cos f x sin
nx
L
nx
dx dx
n n
0, 1, 2, 1, 2, 3, .
En vez de hacer uso de funciones trigonomtricas en las expansiones anteriores, muchas veces resulta prctica e a su expansin en trminos de las funciones exponenciales de argumento complejo. Si representamos cos p o e eip eip 2, sin p eip eip 2i, obtenemos f x a 2
1 2
n 1
an ei
nx L
nx L
ei nx L
ibn
ei
nx L
ei nx L
cn ei
.
0) c cn cn a 2 an i b n 2 an i b n 2
Una forma ms directa de obtener los coecientes cn , partiendo directamente de f x y por tanto prescina diendo de los coecientes an y bn surge directamente del siguiente desarrollo: f x
L
n
cn ei cn
nx L
ei
mx L
f x eimxL dx
dx
L
2Lnm
einmxL dx .
f x eimxL dx .
4.2.
Bases de funciones
Antes de continuar con el tema es oportuno hacer una breve digresin sobre lo que posteriormente o llamaremos base de funciones. Consideremos el espacio vectorial euclidiano RN , donde un vector arbitrario
U de Chile
60
FCFM
H. F. Arellano
F puede ser expandido en trminos de los elementos de la base ortonormal b1 , b2 , , bN . Bajo el producto e interno usual (producto punto), los elementos de esta base satisfacen bi bj ij Entonces podemos escribir F
N i 1
ci bi .
A este punto slo F y los elementos de la base son conocidos. Para obtener los coecientes ci nos valemos o del producto interno y de sus propiedades lineales. Multiplicando por bk a ambos lados obtenemos bk F N ck . Ntese la notable similitud entre este procedimiento y el empleado para obtener o i 1 ci bk bi los coecientes cn en la serie de Fourier. La analog se hace evidente al establecer un paralelo entre los a elementos bn de la base en RN y las funciones einxL como elementos de una base de funciones. La analog es completa al introducir un producto interno entre funciones. El despeje realizado para obtener a los coecientes cn en la expansin de Fourier sugiere el producto interno en este caso. o Para el ejemplo recin visto denimos los siguientes elementos de la base de funciones, e n x 1 einxL , 2L
L
f g
Claramente, bajo esta denicin n m o las siguientes propiedades:
f xg x dx .
f f 0 f g h f g h
f g f h
f h f h
cn n x
L
x
k
L
ck ,
dx
xf x dx
k
cn
x n x dx k
L
cn
x f x dx n x n
dx
x n x f x . n
Esta igualdad se da para cual sea la funcin f x cont o nua en el intervalo la delta de Dirac, x x x n x . n
n
FCFM
61
U de Chile
A esta relacin se le denomina completitud, que en el caso de la base de Fourier toma la forma o x x 1 inxx L e . 2L n
Es importante tener presente que la denicin del producto interno permite el uso de intervalos arbitrarios o a, b, no necesariamente acotados, consistentes con el dominio de las funciones a estudiar. Para tales casos L b hacemos simplemente L dx dx. a
4.3.
Las series de Fourier resultan muy tiles para la descripcin de funciones peridicas, aunque sta no es u o o e una propiedad restrictiva. En efecto, cualquier funcin denida en un intervalo del tipo L, L puede ser o representada, en ese intervalo, mediante los elementos de la base de Fourier. En particular, la transformada de Fourier emerge cuando se pasa al l mite L . Como hemos visto, la base de funciones ortonormales cuyos elementos n x satisfacen la relacin de completitud o x x
n
2L einLx
1 inLx x e . 2L
Nos interesa preservar esta propiedad pero dando cabida a un intervalo innitamente extenso en x. La suma se realiza sobre el ndice discreto n, de modo que si denimos kn n L, kn L, entonces podemos reescribir la identidad anterior x x
kn
1 ikn x x kn e 2
1 2
eikx x dk .
Esto sugiere redenir los elementos n de la base n x los cuales satisfacen la relacin de completitud o x x
k x
1 eikx , 2
k x x dk . k
L L n xm x dx
Examinemos la condicin de ortogonalidad, que para la base discreta de funciones expresamos o nm . Esta vez consideremos
x p x dx k
1 eipkx dx 2
2 k p
k p ,
que constituye la forma que adopta la relacin de ortogonalidad de los elementos de la base. Un motivo por o el cual al lado derecho no queda la delta de Kroneker sino la de Dirac es porque la variable k no es discreta.
U de Chile
62
FCFM
H. F. Arellano
lo que constituye una expansin de la funcin f x como una combinacin lineal de los elementos de la base o o o k x. Los C k corresponden a los coecientes de tal expansin. El uso de la ortonormalidad de las funciones o k x permite obtener tales coecientes. Para ello multiplicamos ambos lados por x, integramos en x p y hacemos uso de ortogonalidad. Entonces, C k
C k k x dk ,
f x x dx . k
(4.3.2)
Esta integral est totalmente denida si es que resulta acotada. En tal sentido examinemos, a C k Entonces, si
f x x dx k
1 2
f x dx .
Hasta ahora slo hemos ilustrado la extensin de las series de Fourier a rangos espaciales innitos. o o Vimos que mediante este recurso de tambin posible expresar funciones como la superposicin de funciones e o armnicas representadas por exponenciales de argumento imaginario [c.f. Ec. ( 4.3.1)]. Los coecientes de o o tales superposiciones, los C k , exhiben una estructura bastante similar a la funcin original [c.f. Ec. ( 4.3.2)]. En cierta forma tales elementos C k contienen la misma informacin que la funcin de partida o o f x, constituyendo una representacin alternativa de la funcin de partida f . o o
4.4.
Transformada de Fourier
f x dx sea acotada. Se dene la transformada de Fourier de f ,
F k 1 2
f x eikx dx .
o o Otra notacin equivalente es f k F k . As entonces, de acuerdo a la discusin de la seccin anterior, o la transformada de Fourier representa los coecientes de la expansin de una funcin dada en una base o o de funciones armnicas. El signo en la exponencial es por un asunto de uniformidad con la usanza en o mecnica cuntica, aunque es totalmente vlido el uso del signo +. Slo hay que mantener consistencia. a a a o La extensin de la denicin de la transformada de Fourier a funciones en R3 , del tipo f x, y, z , es o o natural mediante F kx , ky , kz F k
232 232
1
FCFM
63
U de Chile
La transformada de Fourier presenta viarias propiedades de inters. En algunos casos resultar util e a denotar mediante F la transformada de Fourier en el sentido de una aplicacin. En tal sentifo F representa o un funcional cuyos argumentos son funciones. As f F f . Considerando el caso 1D, listamos las siguientes , propiedades cuyas demostraciones son sencillas. F f1 f2 F f x F f1 F f2
F f x, entonces f k F f x, entonces
4.4.1.
El teorema de convolucin o
En f sica es frecuente encontrarse con integrales cuya estructura es la de una convolucin, vale decir, o x
Rx x f x dx .
(4.4.3)
A estas integrales tambin se les reconocen como folding. En algunos casos se identica a como el output, e R como la respuesta y f como el input. Un ejemplo clsico de una convolucin lo vemos en el clculo del a o a potencial en un punto r debido a una distribucin de carga r . Mediante la aplicacin directa del principio o o de superposicin se tiene que el potencial en r est dado por o a r d3 r r 1 . r r
Consideremos el caso 1D y examinemos la transformada de Fourier de la convolucin expresada por la o Ec. ( 4.4.3). Multiplicando por eikx 2 e integrando en x obtenemos k 1 2
dx eikx
dx Rx xf x .
X, X , con X
2 Rk f k .
x,
dX eikX RX
dX eikX f X
U de Chile
64
FCFM
H. F. Arellano
Por lo tanto,
2 Rk f k ,
cuya lectura es directa: la transformada de Fourier de una convolucin es proporcional al producto de las o transformadas de Fourier. La constante de proporcionalidad, 2, tiene su origen en la denicin que hemos o adoptado de la transformada de Fourier. Tales factores son convencionales, pero es importante mantener coherencia en todas sus expresiones, particularmente cuando se requiere volver a la representacin inicial. o
4.4.2.
Relacin de Parseval o
Esta es otra de las relaciones importantes en las transformadas de Fourier, cuyo uso es extensivo en o ptica y en el estudio de fenmenos ondulatorios en general. Esta relacin establece o o
f x g x dx
f k g k dk .
Esta simetr notable tiene implicaciones muy importantes en la construccin de representaciones en mecnica a o a cuntica. Para demostrarla consideremos a f x Entonces,
1 2
f k eikx dk ,
g x
1 2
g k eik x dk .
f x g x dx
1 2
dx
f k eikx dk
g k eik x dk
f x g x dx
1 2
dk f k
dk gk
dx e
i k k x
el resultado esperado.
f x g x dx
f k g k dk ,
En la discusin reciente acerca de bases de funciones, introdujimos la nocin de producto interno de o o f g dx. Tambin vimos que la transformada de Fourier contiene la misma e funciones. En ella f g informacin contenida en la funcin de partida. La relacin de Parseval refuerza la nocin de un ente ms o o o o a abstracto, f , que proyectado adecuadamente toma la forma de una funcin en el sentido convencional. El o producto interno no depende de la representacin adoptada para f , sea sta en espacio el real x o en el o e espacio de Fourier k.
4.4.3.
Calculemos la transformada de Fourier del potencial coulombiano -k- debido a una distribucin o uniforme de carga. Como vimos anteriormente, la transformada de Fourier es el producto de las convoluciones.
FCFM
65
U de Chile
Puesto que esta aplicacin es 3D, tenemos o 232 k Vc k El potencial de Coulomb debido a una carga puntual unitaria es Vc r k Vc k Por lo tanto, k
2 1 . k2
4 k . k2
(4.4.5)
Necesitamos determinar , la cual se obtiene fcilmente suponiendo simetr esfrica. Entonces, a a e k 1 232 eikr d3 r r
La integracin la realizamos con las variables esfricas r, , , con el eje azimutal segn k. Con ello o e u k r kr cos . La integracin en d es directa, con lo que o k 2 232
r2 dr r
2 1 k
r dr r sinkr .
Considerando cargas uniformemente distribuidas en la extencin de una esfera de radio R, entonces o R r, donde representa la funcin escaln de Heaviside. Por lo tanto, o o k
2 k
R
0
r dr sinkr
2 k
0 sin kR k
dr sinkr .
2 R 2 j1 kR , k
sin t dj0 , j1 t . t dt Estas dos ltimas corresponden a las funciones esfricas de Bessel de orden 0 y 1, respectivamente. Si u e normalizamos la densidad de carga a Zq, vale decir, 4 R3 Zq, entonces se obtiene 3 k
2 Zq 3 j1 kR . k2 kR
Esta factorizacin para la transformada de Fourier de una distribucin extendida es deliberada (en este o o ejemplo). La idea es examinar el caso l mite de una distribucin uniforme en un entorno esfrico con R o e 0. Se puede vericar que j1 t 1 l m , t 0 t 3
U de Chile
66
FCFM
H. F. Arellano
con lo cual,
t
l k m
0
2 Zq , k2 1.
coincidente con el resultado debido a una fuente puntual por s sola [c.f. Ec. ( 4.4.4)] luego de hacer Zq
Antes de abandonar este ejemplo resulta instructivo hacer contacto con un planteamiento alternativo para la obtencin de . Recordemos que el potencial electrosttico satisface la ecuacin de Poisson, o a o 2 r Si denimos, separadamente, r resulta evidente vericar 1 232
4r .
r
(4.4.6)
k eikr , 1 232
1 232
k eikr ,
2 r
k2 k eikr .
resultado coincidente con la Ec. ( 4.4.5) para la misma funcin. Este enfoque permite resolver muchas o ecuaciones diferenciales parciales mediante mtodos de integracin directos. e o
FCFM
67
U de Chile
U de Chile
68
FCFM
Cap tulo 5
Ecuaciones diferenciales
Para la descripcin cuantitativa de una enorme variedad de sistemas f o sicos se recurre a ecuaciones diferenciales, las que suponen que las propiedades a describir son funciones cont nuas del espacio, del tiempo u otro parmetro caracter a stico. Una primera clasicacin a estas ecuaciones permite subdividirlas en lineales o y no lineales. Por ahora nos ocuparemos de las ecuaciones lineales, las cuales tambin se subdividen en e el pticas, parablicas e hiperblicas. A modo de ilustracin mencionamos las siguientes ecuaciones segn o o o u clasicacin. La forma de stas ha sido simplicada mediante reescalamiento de las variables, a n de focalizar o e la participacin de los operadores diferenciales. o
El pticas: en ellas todos los operadores de segundo orden tienen el mismo signo. Laplace: 2 0 0
Helmholtz: 2 k 2 Poisson: 2 f
Parablicas: en ellas alguno de los operadores de segundo orden est ausente. o a Difusin: 2 u o Schrdinger: o
tu t
2 U i
Hiperblicas: en ellas alguno de los operadores de segundo orden tiene signo opuesto al resto. o Ondas mecnicas: 2 a
2 t
0
2 t
Klein-Gordon: 2 m2
Todas estas ecuaciones constituyen un problema denido una vez que se especican las condiciones de borde (C.B.). Usualmente stas se traducen en valores de la funcin en los bordes (C.B. de Dirichlet), valores de e o las derivadas en los bordes (C.B. de Newman), o mixtas.
69
5.2.
Separacin de variables o
El mtodo de separacin de variables es una estrategia que permite estudiar en forma sistemtica e o a problemas que involucren la suma de operadores diferenciales actuando sobre espacios diferentes. Con la excepcin del problema de Poisson, todos las ecuaciones mencionadas anteriormente tienen la estructura o Dr Dt , donde Dr y Dt representan operadores diferenciales en las coordenadas espaciales y temporales, respectivamente. Si se plantea una solucin del tipo r, t Rr T t, entonces o Dr Rr Rr Dt T t . T t
Puesto que r y t son parmetros independientes, necesariamente cada lado de la igualdad debe ser constante, a Dr Rr Rr , Dt T t T t . Notar que el problema se ha reducido a un problema de valores propios y funciones propias. Si bin este e esquema tiene aspecto de ser de alcance ilimitado, sus limitaciones prcticas radican en la implementacin a o de las condiciones de borde. Como es de esperar, aquellos sistemas cuya simetr sea particularmente simple a permitirn el uso de funciones especiales que ayuden a una buena convergencia de la solucin. Ese no siempre a o es el caso.
5.2.1.
Consideremos la ecuacin de Laplace para un campo f sobre un dominio circular bidimensional. El disco o es de radio R, en cuyo contorno el campo est dado por f R, a f , con f una funcin conocida o y el ngulo polar en coordenadas cil a ndricas. En estas coordenadas la ecuacin de Laplace, 2 f o 0, se expresa 2 2 1 f f 12 f 0 f 0 2 2 Esta ltima ecuacin ha sido obtenida a n de poder aplicar separacin de variables, para lo cual es necesario u o o
Fig. 5.1: Problema de Laplace en un disco. expresar los operadores diferenciales como la suma de operadores donde las variables no se mezclen. A este punto planteamos f , . Sustituyendo y separando ecuaciones se obtienen
c,
c ,
FCFM
U de Chile
70
H. F. Arellano
con c la constante de separacin. Siendo una cantidad f o sica, es razonable exigir que ella sea univaluada. Por lo tanto exigimos 2 , para lo cual necesariamente c debe ser positiva. As denotamos c ,
2
k 2 , con lo cual
k2
Ak cos k Bk sin k ,
k2 , p , con p una k. Si k 0,
ecuacin diferencial homognea cuya solucin tentativa se puede suponer de la forma o e o constante por determinar. Sustituyendo en al ecuacin anterior se obtiene p2 k 2 , o bin p o e entonces, dk k ck k k . Cuando k 0, examinamos en detalle.
c d ln .
Puesto que el centro del disco es parte del dominio de la solucin. Si adems exigimos regularidad de la o a solucin en todo ste, necesariamente dk o e 0 para todo k 0. Todo lo anterior restringe la forma de las soluciones fk k k , k k 0 0 fk , f , c A ck k Ak cos k Bk sin k
Todas ellas son soluciones de la ecuacin diferencial, de modo que su superposicin tambin lo es. Escribimos o o e convenientemente, A f , An cos n Bn sin n n 2 n 1 Para determinar los coecientes evaluamos en f A 2 R, cos n Bn sin n Rn ,
d y obtenemos
n 1
An
1 f cosn d Rn 1 f sinn d Rn
f d
A este punto el problema est resuelto dado que se han obtenido todos los coecientes necesarios a para la expansin. Buscamos ahora una forma ms compacta para la serie. Si reemplazamos los coecientes o a obtenidos en la expansin podemos vericar o f , 1 2
f d
n 1
n Rn
FCFM
71
U de Chile
f 1 2
n
n 1
cos n
d .
Esta suma se puede reordenar mediante la aplicacin adecuada de la serie geomtrica1, conducente al o e siguiente resultado para la solucin o f , 1 2
R 2 2 d . R2 2 2R cos
A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario vericar que la solucin obtenida es efectivamente la solucin al problema. Ello implica constatar que 2 f o o 0, y que f R, f . Ambas vericaciones quedan propuestas como ejercicio2 .
5.3.
La ecuacin de Bessel o
Recientemente abordamos el problema de la ecuacin de Laplace en un dominio circular. Si el problema o consiste en el de ondas de presin dentro de una cavidad cil o ndrica, la ecuacin a resolver es o 2 1 2 c 2 t2 0.
Mediante separacin de variables, r T t, podemos llevar esta ecuacin a la de Helmholtz para . o o Si adems expresamos el laplaciano en coordenadas cil a ndricas se obtiene 2 2 c2 0 1
12
z2
k2
0, R F z ,
donde hemos denotado k 2 2 c2 . Introducimos separacin de variables de la forma , , z o que al ser reemplazada en la ecuacin anterior conduce a o 1 1 d 1 1 1 R 2 F k2 R d F
p2
0.
(5.3.1)
En esta ecuacin se ha hecho uso de que R R, F o F y z . Tal dependencia en slo una o variable permite el uso no ambiguo de la notacin ddx, o primas para las derivadas. Adems, la suma o a de los ltimos dos trminos del lado izquierdo de la ecuacin depende, en principio, slo de la variable z, u e o o mientras que el resto slo de , . La independencia de estos dos juegos de variables exige que cada uno o de los trminos sea constante, es decir e z k 2 p2 z 0. (5.3.2)
1 Consideremos S n in i n i n . Si x 1 entonces 1 2 1 xn cos n 1 ein 1 1x e 1 xe 1 xe podemos hacer uso de las expresiones para la serie geomtrica innita. Luego de sustituir y simplicar se obtiene S e 1x2 . 1x2 2x cos 2 Hacerlo.
U de Chile
72
FCFM
H. F. Arellano
El motivo por el cual se ha optado por p2 en la constante de separacin y no por p2 es por el tipo de o solucin que surge para . Esta consideracin queda ms clara ms adelante, cuando abordemos las funciones o o a a modicadas de Bessel. Volviendo a la Ec. ( 5.3.1), multiplicando por 2 y reagrupando trminos se obtiene e 1 d 1 R 2 p2 F R d F
n2
En esta separacin se ha introducido la constante n2 , el cuadrado de un entero, a n de garantizar que F o sea univaluada ante 2. Entonces, la ecuacin denitiva para R es o Introduciendo las nueva variables z d R n2 R 2 p2 R d p ; n d z dz
0.
, escribimos
dR z dz
2 R z2 R
0,
(5.3.3)
la ecuacin de Bessel en coordenads cil o ndricas. En esta ltima permitimos que el parmetro tome u a cualquier valor. Para el caso particular del ejemplo introductorio ste es un entero. e
5.3.1.
Funciones de Bessel
Buscamos una solucin en serie para la ecuacin de Bessel. A n de permitir generalidad intentemos o o Rz Entonces, zR z zR rz r S z r
k 1
zr
k 0
ak z k
zr S .
kak z k
r2 z r S z r
2rk k2 ak z k .
k 0
k 1
Al sustituir en la ecuacin de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplicaciones se obtiene o
r2 2 S
k 1
2rk k2 ak z k
2
ak z k2
0.
Bk z k
r2 2 a r 12 2 a1 r2 2 ak 2rk k2 ak ak2
Analizamos posibles escenarios.
FCFM
73
U de Chile
Si a
0, necesariamente r
a1
Para r
,
ak
Esta relacin de recurrencia permite determinar a2 , a4 , a6 , a partir de a . Alternativamente, o podemos denir los nuevos coecientes bm (m 0, 1, 2, ) mediante bm a2m . Entonces, bm con lo cual bm 4m
m 4b1 m , m
m b m 1 m! .
Todos los coecientes resultan proporcionales a b , el cual puede ser denido a gusto. Es standard denir 1 m b bm . 2 1 2 22m m 1 As entonces Rz J z , con
J z
m z 2m . 2 m! m 1 0
(5.3.4)
Para r se genera J z , la cual es en general linealmente independiente de J z . Sin embargo, cuando es entero positivo ( n), entonces Jn z n Jn z , lo que las hace linealmente dependientes. La generacin de una funcin linealmente independiente en este caso o o es, por ahora, menos directa. Es posible demostrar que las funciones de Newman denidas por Yn z l m J z cos J z , sin
dJ d n
1 dJ d
n dJ d
ln
2 1 2
1 3
Jn z (serie regular en z)
l m
ln n
0.577216 ,
la constante de Euler. Claramente Yn z tiene una singularidad logar tmica en el origen, algo reconocido en el problema de Coulomb de un alambre delgado. Para a1 0, necesariamente r 1 la serie: a1 , a3 , a5 .
, con a
74
U de Chile
FCFM
H. F. Arellano
Para r
1 resolvemos ak , ak
k ark2 2 2
bm
k 2 k 1a2 k 1 .
a2m1 , con m
0, 1, , se obtiene
m 4b1 m . m
Se observa entonces la serie generada por los coecientes impares coincide con la generada por los coecientes pares. En esta l nea, no estamos ms que replicando lo obtenido. a
Existen muchas fuentes que permiten la evaluacin numrica de las funciones de Bessel. En la Fig. o e (5.2) se ilustran las grcas de Jn e Yn para n a 0, 2, 4. Estas funciones tienen un par de caracter sticas que conviene tener presentes. Por ejemplo, slo J z es no nula y nita en el origen. De hecho J 0 1, o
1 0.75 0.5 0.25 2 -0.25 -0.5 -0.75 -1 4 6 8 10 -0.25 -0.5 -0.75 -1 1 0.75 0.5 0.25 2 4 6 8 10
0, 2, 4.
mientras que para n 1, Jn 0 0. Una caracter stica que tienen las funciones de Bessel es que a medida que aumenta su orden, el primer mximo de ubica cada vez ms alejado del origen. En relacin a las a a o funciones de Newman, todas ellas son singulares en el origen. En particular, la singularidad de Y z es de tipo logar tmica, mientras que para n 1 ella es del tipo 1z n. Haciendo uso de los resultados anteriores es posible demostrar los siguientes comportamientos cerca del origen J z Jn z Y z Yn z 1
z 2
2 1
z n
n 1 2
z 2 ln 2
n 1! n
2 z
Para efectos de estimaciones no est de ms tener presentes los primeros ceros de la funcin J z : {2.40, a a o 5.52, 8.65, 11.8, 14.9, ...}.
FCFM
75
U de Chile
5.3.2.
La ecuacin diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la o siguiente forma x2 y xy 2 x2 2 y 0.
Si es real y 2 0, entonces las soluciones y son combinaciones lineales de J x e Y x. Sin embargo, tambin nos podr e amos encontrar con la siguiente ecuacin, o x2 y xy 2 x2 2 y 0.
En este caso las soluciones son del tipo J ix e Y ix, conducentes a las funciones modicadas de Bessel. En este caso es usual denir I x i J ix I I 2 sin 1er tipo 2do tipo 0,
K x
Estas funciones se ilustran en la Fig. (5.3) para 0, 2, 4. Con l nea cont nua se gracan los casos mientras que las de segmento largo y corto corresponden a 2 y 4, respectivamente.
10 8 6 4 2 10 8 6 4 2
0.5
1.5
2.5
3.5
0.5
1.5
2.5
3.5
Fig. 5.3: Funciones modicadas de Bessel del primer (izquierda) y segundo (derecha) tipo para n
0, 2, 4.
Las funciones modicadas de Bessel presentan las siguientes propiedades 1. I x es regular en el origen y divergente para x 2. K x es singular en el origen y se anula para x
. .
U de Chile
76
FCFM
H. F. Arellano
5.3.3.
Diferenciacin y recurrencia o
Las funciones de Bessel satisfacen diversas propiedades, muchas de ellas bastante tiles. Listamos algunas u de ellas. dJ dz dJ z dz J 1 z J
zJ1
zJ 1 J z J 1
d z J dz d z J dz
2 z J J1 z J1
.
Para demostrar ( 5.3.5a) derivamos con respecto a z la expansin ( 5.3.4) para J . Es directo vericar o z dJ dz
k z 2k 2k 1 2 2 k! k 1 0
El factor 2k permite separar el lado derecho en dos sumas, una partiendo de k 1 y la otra desde k 0. Mediante una traslacin de o ndices es directo obtener la identidad ( 5.3.5a). La identidad ( 5.3.5b) se puede obtener reagrupando z dJ zJ 1 . La identidad ( 5.3.5c) es una consecuencia directa de las dos dz anteriores, mientras que las dos ltimas surgen de las dos primeras. u Entre las identidades importantes para las funciones de Bessel, y en general muchas de las funciones especiales, son aquellas que involucran el wronskiano. Sean f1 x y f2 x dos funciones diferenciables, entonces se dene el wronsquiano W mediante W f1 , f2 ; x
f1 f2 f1 f2
d zW u, v; z dz
det
f1 f2
f1 f2
(5.3.6)
En efecto, puesto que u y v son combinaciones lineales de J e Y , ambas satisfacen la ecuacin de Bessel, o vale decir du d z z z 2 2 u dz dz d dv z z z 2 2 v dz dz
0 0
v u
Multiplicando cada ecuacin por v z y uz, y restando los lados respectivos se obtiene o d u dz dv z dz d v dz du z dz 0 d zW u, v; z dz 0.
A n de ilustrar un posible uso de este tipo de identidades, considrese la derivada del cuociente v u, e d v dz u uv v u u2 W u, v; z . u2
FCFM
77
U de Chile
u BA
dz zu2
dz 2 zJ z
permitiendo expresar la funcin de Bessel del segundo tipo en trminos de la de primer tipo. Evidentemente o e la relacin es no lineal, como es de esperar. o
5.3.4.
En la manipulacin de expansiones que involucran funciones de Bessel es usual encontrarse con la o integral I , xJ xJ x dx
Esta integral t picamente viene con l mites de integracin denidos. Ms an, resulta de particular inters el o a u e caso , para el cual se obtiene
2 xJ x dx
1 2 2 x J x2 x2 2 2 J x 2
(5.3.7)
Para su demostracin consideremos las ecuacions diferenciales para J x y J x, denotadas por simplio cidad como ux y v x respectivamente, x d du x 2 x2 2 u dx dx d dv x x 2 x2 2 v dx dx
0; 0.
Luego de multiplicar la primera de ellas por v x y la segunda por ux, restamos los lados correspondientes para obtener dv d x u dx dx con lo cual
du v dx
xuv
2 2
dv x u dx
R v du dx 0
2 2
xuv dx ,
0
2 2
xuv dx
0
R uv vu
A este punto nos anticipamos a dos escenarios muy comunes. Uno de ellos es es .
Cuando , pero R y R son ra de J z o J z , entonces el lado derecho de la integral es ces nulo. Ello implica que
2 2
R
0
xJ xJ x dx
0;
U de Chile
78
FCFM
H. F. Arellano
Para el caso
l m
RJ RJ R RJ RJ R 2 2
Tener presente que J denota derivada con respecto al argumento, a diferencia de la derivada con respecto a x. Ellas dieren en una constante multiplicativa. As derivando con respecto a el numerador y el , denominador obtenemos para el cuociente
J R A este punto sustituimos sin riesgo
R
0
RJ R RJ R J R . 2
y denotamos z R2 2 R. Entonces,
2 xJ x dx
J z 2 1 J z zJ z z
Utilizando la ecuacin z zJ o
R
0
2 z 2J , obtenemos nalmente
1 2 R 2
2 xJ x dx
J z 2 1 2 z 2J2 z
(5.3.8)
Como hemos visto, las funciones J z son oscilantes en z, lo que permite asociar a cada valor de una coleccin de ceros z1 , z2 , z3 , . Si es tal que R coincide con uno de los ceros de J , entonces o
R
0 2 xJ x dx
1 2 R J z 2 2
R
0
2 xJ x dx
1 2 2 R J 1 z . 2 znm , el
Esta ltima relacin surge de la Ec. ( 5.3.5a) evaluada en un cero de J . Resumiendo, si Knm R u o n-simo cero de Jm z , entonces e
R
0
n1 n2
R2 2 J Kn1m R . 2 m1
(5.3.9)
5.3.5.
Resolvamos la ecuacin de Laplace 2 V o 0 al interior de una cavidad cil ndrica de radio b y altura L. El potencial es nulo en todo el contorno salvo en una de las tapas, donde el potencial est dado por una a funcin conocida. Utilizamos coordenadas cil o ndricas con el eje z coincidente con el eje del cilindro, mientras la tapa inferior se ubica en z 0. El potencial es una funcin V o V , , z cuyas condiciones de borde son V , , L V , , 0 V b, , z
f , 0 0
12
V 2
V z2
0.
FCFM
79
U de Chile
fo (,)
Fig. 5.4: Problema de Laplace en una cavidad cil ndrica. Introduciendo separacin de variables, V o 1 1 d R d
RF z , dR d
1 F
1 d2 F 2 d2
d 1 dz 2
0.
(5.3.10)
Antes de proseguir es conveniente anticipar el escenario. Primero, esperamos que F sea c clica, lo que 2 necesariamente implica que el trmino F debe ser negativo. Adems, el trmino 1 d necesariamente es e a e 2 dz constante, quedando por determinar si es positivo o negativo. Si lo suponemos negativo ello conduce a funciones modicadas de Bessel para R, lo que no es aceptable por las siguientes consideraciones: De los dos tipos de soluciones I y K , slo I es aceptable puesto que K es singular en el eje. o Las soluciones I nunca se anulan fuera del origen, por lo que no es posible imponer que cumplan la condicin de borde en el contorno en b. o
dR d
1 K 2 2 F d F d2
0.
m2 F
d d
A1 cos m A2 sin m ,
K 2 2 m2 R
0.
De sta, slo las funciones de Bessel Jm K pueden participar en la solucin puesto que Nm K es e o o singular en 0. Sin perder generalidad podemos escribir R Jm K .
U de Chile
80
FCFM
H. F. Arellano
Al exigir Rb 0, entonces Jm Kb 0. Esta exigencia restringe K a valores tales que Kb coincidan con las ra ces de Jm z . A ellas las denotaremos por xnm , representando la n-sima raiz de Jm . As e , K Knm xnm b. Esto nos permite escribir soluciones de la forma V , , z Jm Knm Anm cos m Bnm sin m sinh Knm z .
Cada una de estas funciones satisface las condiciones de borde en la base y manto, de modo que una combinacin lineal de todas ellas tambin: o e V , , z
m n
m n
A este punto conviene tener presente las siguientes identidades para n y n enteros,
mm mm 0
Con ellas se puede proceder a despejar los coecientes Anm y Bnm de la Ec. ( 5.3.11). Primero multiplicamos por cos m e integramos en , conduciendo a
cos m f , d
El despeje denitivo es posible haciendo uso de la Ec. ( 5.3.9) de ortogonalidad de las funciones de Bessel. b Multiplicando por Jm Kn m e integrando 0 d obtenemos
b
0
dJm Knm
d cosm f ,
Anm sinhKnm L
b2 2 J Knm b . 2 m1
As , Anm 2
(5.3.12)
sin m.
5.4.
En la seccin anterior abordamos las ecuaciones de Laplace y de Helmholtz en coordenadas cil o ndricas. El uso de separacin de variables condujo a funciones armnicas (trigonomtricas) para la variable angular o o e
FCFM
81
U de Chile
Fig. 5.5: Sistema con simetr axial. a y de Bessel para la radial . Consideremos esta vez la ecuacin de Helmholtz en coordenadas esfricas pero o e bajo el supuesto adicional de que el sistema presenta simetr axial, una exigencia tanto para la geometr a a del sistema como de sus condiciones de borde. En la Fig. (5.5) se ilustra un sistema con tales caracter sticas. Resolvemos entonces 2 k 2 1 r2 r
0, con
r, . En coordenadas esfricas r, , , e
1 r2
1 sin
sin
k2
0.
Separando r, RrP y denotando la constante de separacin por , se obtiene el siguiente juego o de ecuaciones para R y P , d dr dR k2 r2 R dr dP 1 d sin P sin d d r2
0; 0.
(5.4.13a) (5.4.13b)
La primera de stas conduce a las funciones esfricas de Bessel mientras que la segunda a los polinomios e e de Legendre. Comencemos analizando esta ltima, para la cual es conveniente introducir el cambio de u variables u cos . Mediante una manipuladin algebraica simple se obtiene o d du
1 u2 dP P du
2
0,
(5.4.14)
1 u2 d P 2u dP P du2 du
5.4.1. Los polinomios de Legendre
0.
(5.4.15)
De la misma forma a como se procedi para resolver la ecuacin de Bessel, resolvemos la ecuacin de o o o Legendre intentando una solucin en serie de la forma o P u ur
k 0
ak u k
dP du
rur1
k 0
ak u k u r
k 1
kak uk1 .
U de Chile
82
FCFM
H. F. Arellano
Entonces,
1 u2 dP du
d du
rur1
k 0
ak u k u r
k 1
k 0
ak u k u r
k 1
kak uk1 .
1 u2 dP du
rr 1ur2 rur1
k 1
k 0
ak uk rur1
k 1
k 1
kak uk1
kak uk1 ur
k 0
k k 1ak uk2
k 1
rr 1ur
rur1
k 1
ak uk rur1
k 1
kak uk
kak uk1 ur
k 1kak uk
Al sustituir en la Ec. ( 5.4.14) surge una ecuacin que involucra una serie de potencias en u. Imponiendo o la igualdad sobre trminos de igual potencia es directo obtener las siguientes relaciones sobre los coeciente e ak , rr 1a rr 1a1 0; 0;
rr 1 2rk 2 k 1k 2 ak2
De esta ltima resulta evidente u ak2
rr 1 2r 1k kk 1 ak .
k rk r 1 k r a . k k r 1k r 2
Notar que para k , ak2 ak , lo que conduce a una funcin divergente en u 1, es decir 0. Si o 0 no constituye una singularidad aceptable en el problema f sico, debemos imponer que la relacin de o recurrencia para los ak se interrumpa, lo que es factible si es de la forma ll 1, con l un entero positivo o nulo. Tomemos entonces ll 1. En rigor hemos de analizar cuatro escenarios que surgen de rr 1a Si a 0, entonces r 0 y rr 1a1 0.
0, 1. La sumatoria es multiplicada por 1 u, con coecientes a0 , a2 , a4 , . o 0, 1. En este caso la sumatoria es multiplicada por 1 1u, con coecientes o
Si a1 0, entonces r a1 , a3 , a5 , .
El anlisis de estas cuatro posibilidades permite demostrar que slo dos de ellas son independientes, cona o duciendo a series de potencias pares e impares en u. Ambas series pueden ser obtenidas exigiendo r 0. As , k k 1 ll 1 ak2 k 1k 2 ak , 83
FCFM
U de Chile
con a o a1 no nulos. Puesto que stos estn denidos salvo una constante, sus valores son estandarizados e a de modo que conlleven a la serie P u donde 2K l (2K Pl u
K k 0
2l k!
A sta se le reconoce como la frmula de Rodrigues para los polinomios de Legendre. Para los ordenes e o ms bajos se tiene a P u P3 u P1 u P2 u 1 u 3u2 12
5u3 3u2
5.4.2.
1 u2 Pl 2uPl ll 1Pl d 1 u2 dPl ll 1Pl du du l 1Pl1 2l 1uPl lPl1 Pl1 uPl l 1Pl P 2l 1Pl Pl1 l 1 Pl u
Adems de stas mencionamos la funcin generatriz, que se expresa a e o 1 1 2ut t2
l 0
0 0 0 0 0
l Pl u
tl Pl u .
(5.4.18)
Por ltimo, los polinomios de Legendre satisfacen relaciones de ortogonalidad anlogas a las vistas para las u a funciones armnicas y de Bessel. En este caso o
1
1
U de Chile
Pl uPm u du
2 lm , 2l 1
(5.4.19)
84
FCFM
H. F. Arellano
con l, m enteros. La demostracin de esta identidad es directa para el caso l m. Considerando la identidad ( o 5.4.17b) para los ndices l y m, multipl quese por Pm y Pl , respectivamente. Restar los lados correspondientes y reagrupar, obtenindose e d du Integrando
1
1 u2Pm Pl 1 u2 Pl Pm ll 1 mm 1 Pl Pm
1
0.
1 du , se encuentra
ll 1 mm 1
du Pl Pm
0, l. En el caso m l
de la cual resulta directa la ortogonalidad de los polinomios de legendre cuando m 1 evaluamos 1 du Pl2 u, cuyo clculo queda propuesto como ejercicio. a
5.4.3.
Los polinomios de Legendre surgieron luego de aplicar separacin de variables a la ecuacin de Helmholtz. o o La constante de separacin se denot por , los cuales ante argumentos de regularidad de la solucin toman o o o o la forma ll 1. Estudiamos ahora la ecuacin diferencial para la parte radial dada por la Ec. ( 5.4.13a), con ll 1. Denotando t kr se obtiene d dt
2 dR
dt
t2 ll 1R
tp J t ,
0.
El aspecto de esta ecuacin es muy similar a la de Bessel, por lo cual intentamos una solucin del tipo o o R
t2 J 2p 2tJ
l 12 ,
R2
l 122. As ,
de modo que las dos soluciones linealmente independientes para R son R1 1 Jl12 t t 1 Jl12 t . t
Estas dos soluciones dan origen a las funciones esfricas de Bessel del primer y segundo tipo, denotadas e por jl t y nl t, respectivamente. Es tambin usual denominarlas funciones esfricas de Bessel y de Newman, e e respectivamente. La denicin standard es o jl t nl t
12
2t
l1
12
Jl12 t 2t Jl12 t
Bessel; Newman.
(5.4.20a) (5.4.20b)
FCFM
85
U de Chile
Es frecuente encontrarse con combinaciones lineales del tipo h l de Hankel de primer y segundo tipo.
jl
Con todo lo anterior, la solucin general a la ecuacin de Helmholtz resulta una combinacin lineal del o o o tipo r,
l 0
Al jl kr Bl nl krPl cos .
5.5.
Consideremos la ecuacin de Laplace al interior de una cavidad esfrica de radio b. Los hemisferios o e estn sometidos a potenciales V y el sistema exhibe simetr axial. Resolvemos entonces 2 V a a 0, con V RrP . Mediante separacin de variables, considerando los procedimientos discutidos en esta o
+Vo
V o
Fig. 5.6: Problema de Laplace dentro de una cavidad esfrica. e seccin, es directo encontrar que P o Pl cos , con lo que la ecuacin para la parte real queda o 1 d r2 dr
r2
dR dr
ll r 1 R 2
0. l; p
l 0
l 1,
Al r
Regularidad en el origen exige que Bl 0. Para encontrar los coecientes Al evaluamos el potencial en el borde del cascarn, para el cual V b, o f u, con u cos . Entonces, al igual como se ha hecho en oportunidades anteriores, f u
Al bl Pl u .
l 0
U de Chile
86
FCFM
H. F. Arellano
Multiplicando por Pm u, integrando y haciendo uso de ortogonalidad [c.f. Ec. ( 5.4.19)] se obtiene Al 2l 2 2 bl
1
f uPl u du .
Para el caso f u signuV 2, una funcin impar en u, claramente los coecientes de orden par se o anulan. Ello porque Pl u tiene paridad l . Para aquellos coecientes de la forma A2k1 se observa A2k1 V 2k 32 b2k1
1
0
P2k1 u du .
Esta ltima integral se puede evaluar utilizando, por ejemplo, la frmula de Rodrigues. Ello queda propuesto u o como ejercicio3 .
5.6.
En la seccin anterior se abordaron los problema de Helmholtz y de Laplace considerando sistemas con o simetr axial. Ciertamente ese no es el caso general, por lo que se hace necesario abordar el problema donde a se haga maniesta la dependencia en el ngulo . Como es de anticipar, una forma de abordar este nuevo a problema es mediante separacin de variables. o Consideremos la ecuacin de Laplace para un campo y apliquemos separacin de variables de la forma o o r, , RrP F . Entonces, 1 1 d r2 R dr
r2
dR dr
1 r12 P
1 d sin d
sin
dP d
1 Fd F d2
0.
m 2
El resto del procedimiento es ms o menos anticipable. Para un valor dado de m se separan las dependencias a en R y en P . Nuevamente nos encontraremos con un problema para P el cual se resuelve mediante el mtodo e de series, esquema que puede ser consultado en algn texto. Otro esquema tambin frecuente es aquel donde u e se introducen operadores diferenciales de subida y bajada capaces de generar nuevas soluciones a partir de soluciones bsicas. En ambos casos se obtienen funciones soluciones de la parte angular , del laplaciano, a t picamente denotadas de la forma Y , con un par de ndices adicionales. No redundaremos en estos procedimientos. En cambio, seguiremos el esquema de Schwinger cuyo enfoque desde el punto de vista conceptual es bastante interesante. Una solucin elemental de la ecuacion de laplace, 2 o solucin podemos generar otra que llamaremos 1 , o
3 Hacerlo.
0, es
1r, (r
a 1 r
ai
1 r
ai
xi a r . r3 r3
FCFM
87
U de Chile
Puesto que a es arbitrario, esta solucin conlleva a tres soluciones linealmente independientes, una por cada o componente ai ; i 1, 2, 3. Estas soluciones, en forma expl cita, pueden ser 1x x ; r3 1y y ; r3 1z z . r3
a2 a1 1 a2 a1 3 r r r
3x2 r2
3a1 r a2 r a1 a2 r2 . r5
Al escoger orientaciones independientes para a1 y a2 se generan 3 3 posibles combinaciones, tres de las cuales se repiten por simetr Ello reduce a 6 combinaciones diferentes ilustradas en el arreglo a.
3xy 3y 2 r2
3xz 3yz . 3z 2 r2
Sin embargo, de los 3 elementos de la diagonal slo 2 son independientes. En efecto, al sumar los dos o primeros se genera el tercero, salvo un signo. Esto reduce a 5 el nmero de combinaciones independientes. u La extensin del procedimiento ilustrado anteriormente permite generar una gran familia de soluciones o a la ecuacin de Laplace. En general, es fcil ver que l r se escribe de la forma o a l r 1 r2l 1
fl r ,
(5.6.21)
con fl r una funcin homognea de grado l, vale decir, fl r l fl r . Notamos adems que fl r es o e a tambin una solucin de la ecuacin de Laplace, en virtud al teorema de inversin. En ste se establece e o o o e 1 que si r es solucin de la ecuacin de Laplace, entonces r r r2 tambin lo es. En nuestro caso, o o e 1 fl r r2l1 1 fl r r r2 l 1 fl r r2 . r
Antes de proceder a una construccin sistemtica de las soluciones, es til contar el nmero de soluciones o a u u independientes que se pueden obtener para un l dado. Como hemos visto, el numerador el la Ec. ( 5.6.21) est formado por combinaciones de potencias del tipo xa y b z c , con a b c a l. Nos preguntamos por el nmero posible de combinaciones a, b, c independientes que cumplan con la condicin a b c u o l. Analicemos, a 0 bc l l 1 combinaciones a 1 bc l1 l combinaciones a 2 b c l 2 l 1 combinaciones . . . a l Con sto el nmero total de combinaciones es 1 2 l 1 e u l 1l 22. Al construir una 2 2 2 combinacin lineal fl de todos estos trminos y exigir que cumplan la ecuacin de laplace, x y z fl 0, o e o nos planteamos entonces el nmero de polinomios homegneos de grado l 2 independientes: ll 12. u e Con ello, el nmero de polinomios independientes de grado l que satisfacen Laplace es u 1 l 1l 2 1 ll 1 2 2 2l 1 . ab 0 1 combinacin. o
U de Chile
88
FCFM
H. F. Arellano
Con estos argumentos esperamos formar 2l 1 polinomios de orden l que satisfacen la ecuacin de Laplace. o Para el caso l 2 surgen 5 polinomios, como vimos al comienzo. Denotamos las soluciones de grado l por Yl r , llamados slidos armnicos. Entonces, o o Yl r
rl Yl r .
rl 1
A las funciones Yl r se les denomina funciones esfricas armnicas, o simplemente esfricos armnicos e o e o
5.6.1.
Nos planteamos esta vez bajo qu condiciones el elemento a r l , con a un vector de tres componentes, e satisface la ecuacin de Laplace. Calculamos o a r l la r l1 a 2 a r l ll 1a r l2 a a .
Al exigir 2 0 surge evidentemente que a a 0, lo que implica que a de componentes complejas. Entonces, a2 a2 a3 0 . 1 2 3
a1 , a2 , a3 sea un vector
Esta condicin4 es posible con slo dos constantes complejas puesto que siempre habr una constante o o a multiplicativa indeterminada. As denimos convenientemente a 1 i a2 Entonces, a1 a2 a3 Con sto es fcil probar entonces e a ar Considerando x y z
4 Un
2 ;
a 1 i a2
2 ;
a3
1 2 2 2 1 2 2 2i .
1 2
x iy r
x iy r
sin ei sin ei .
FCFM
89
U de Chile
Entonces, ar 1 2
2 2 sin ei sin ei 2 cos 2 ei 2 sin 2 ei 2 sin
sin ei cos
1 1
l
a rl
sin ei cos
b u2 1 l
k
k! bk
k
b u2 1 l b
u2 1
l
2l bk k 0
k! uk
lm
l m
b l m l l m!
l u2 1 . u lm
l m
a r l
2 ei 2 sin
l m
2l
e
m
1 l m! l
sin ei
l m
l u2 1 l m u
l m
l m l m im
sin l m!
l u2 1 lm u
l m
l m!l m!
l m
l l m m
(5.6.22)
a r l
l!
lm
4 Y m , , 2l 1 l
(5.6.23)
2l 1 4
l m! eim 1 l m! sinm
d d cos
l m
cos2 1l .
2l l!
(5.6.24)
Puesto que los coecientes lm son arbitrarios en la Ec. (5.6.2), las soluciones Ylm son soluciones separadas de la ecuacin de Laplace. As son soluciones de la ecuacin de Laplace los Ylm . En otras palabras, o , o 1 sin
sin
sin12
90
ll 1
Ylm ,
0.
U de Chile
FCFM
H. F. Arellano
Adems de los Ylm , es frecuente encontrarse con la funcin lm , la cual est denida por a o a Ylm , Para este caso se tiene 1 sin
1 im e lm . 2
2
sin
m ll 1 sin2
lm
0.
Con la denicin anterior resulta directo o Yl0 Adems, a Y00 Y10 Y11
En cuanto a la notacin de los esfricos armnicos, ella no es nica. Es frecuente encontrarse con las o e o u siguientes notaciones equivalentes, Ylm , Ylm , Messiah, Cohen-Tannoudji, Shankar Landau, Greiner, Jackson
Es tambin frecuente utilizar el vector unitario r para representar la dependencia en los ngulos esfricos e a e , . As Ylm , Ylm r . ,
5.6.2.
Relaciones de ortogonalidad
Entre las propiedades importantes de los esfricos armnicos guran las relaciones de ortogonalidad, e o
d Ylm , Ylm ,
ll mm ll .
sin l m lm
a rl
con a un vector nulo. El resultado de esta integral es un escalar que depender de a , a y a a. Puesto a que a es nulo, entonces la dependencia ser slo de D a a, que podemos expresar Ill D. Ante el a o cambio a a observamos que necesariamente l l Ill D Ill 2D ,
FCFM
91
U de Chile
Ill 2 D ,
Dl , de modo que
l
Ill
d a r
a rl
Cl a al ll .
(5.6.25)
En esta relacin los factores Cl son coecientes numricos independiantes de a. Para su obtencin podemos o e o considerar la eleccin particular a 1, i, 0 o a 1, i, 0, con lo cual a r a a Reemplazando en la Ec. ( 5.6.25) para l
1
ar
l , luego de sustituir u 4
0
Cl 2l
1 u2 l du .
l
0
1 u2 l du , 2l l!2 . 2l 1!
para la cual
2l l!2 , 2l 1!
l 2l 1! a a ll .
2l (5.6.26)
a rl a rl d
l! l!
Ahora buscamos una forma de introducir en esta identidad los esfricos armnicos Ylm . e o Recordemos la Ec. (5.6.2) donde se introducen los esfricos armnicos. En ella e o
a r l
l!
l m
lm
4 Y m , , 2l 1 l
Es conveniente expresar el lado derecho de esta identidad en trminos de los coecientes lm . Para ello e completar los siguientes pasos intermedios
5 Demostrarla.
U de Chile
92
FCFM
H. F. Arellano
Demostrar que a a
1 2
2 .
l
2l! l l m!l m!
l m
lm
lm
a al 2ll! 2
lm lm .
mm
l y l)
l m lm Ylm , Ylm ,
m,m
l m lm ll mm .
5.6.3.
Otras identidades
Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad. Ellas son
lm
1 sin
Ylm ,
l Ylm r
5.7.
Teor de Sturm-Liouville a
Muchos de los problemas estudiados hasta ahora se pueden reducir a ecuaciones diferenciales cuya forma general est dada por a d du px qxu xu 0 . (5.7.27) dx dx
6 Vericarlo.
FCFM
93
U de Chile
T picamente proviene de la constante de separacin. A esta ecuacin se le denomina ecuacin de Sturmo o o Liouville (SL). En general, toda ecuacin de la forma o d2 u dx2
P x du Qxu dx
P x dx
Rx ,
Qx
x q x . px
qxu ,
0.
Esta ecuacin es de valores propios en el sentido de que las condiciones de borde y regularidad de las o soluciones u conlleva a un espectro de valores para . Supongamos que el intervalo de denicin de las o funciones es a, b y consideremos los autovalores j y k , tales que Luj j uj Luk k uk
uk uj
Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene
d p uj u pu uk k j dx
k j uj uk
b
a
dx
Al suponer j
k , entonces
k j
Notemos que si
uj uk dx
a
p uj u u uk a . k j p uj u u uk b , k j uk
b a
p uj u u uk a k j
entonces las funciones uk y uj son ortogonales bajo el producto interno uj condiciones de borde expresadas en la Ec. ( 5.7.28) se cumplen cuando: i.- ua ii.- u a u b u b
0 (Dirichlet). 0 (Newman).
iii.- u u a iv.-
U de Chile
H. F. Arellano
Aceptando que las autofunciones de SL conforman un conjunto completo de funciones, entonces cualquier funcin f x en el intervalo a, b se puede expandir de la forma o f x
k 1
ck uk x ;
ck
a
f xuk xx dx .
Para los casos estudiados y otros similares se observan las identicaciones mostradas en la Tabla (5.1). o e o En general toda autofuncin SL, fn x, satisface una relacin con la nsima derivada de otra funcin. o A sta se le reconoce como frmula generalizada de Rodrigues, e o fn x 1 dn xgxn . an x dxn
La funcin g x es un polinomio y los coecientes an obedecen convenciones de standarizacin. Para el caso o o de los polinomios de Legendre an 2n n!, g x x2 1, x 1. Otro tipo de relacin importante en las funciones SL es la que se reconoce como funcin generatriz. o o Este es un tipo de construccin del tipo o Gx, t
n 0
an fn x tn ,
donde la funcin Gx, t es una expresin cerrada. Si bien existe una forma sistemtica de obtener tales o o a funciones, nos remitiremos a los ejemplos clsicos en que participan los polinomios de Legendre y de Hermite. a Para ellos, 1 1 2xt t2 e2xtx
2
n 0
tn Pn x Hn x
tn
n 0
n!
5.8.
Ecuaciones especiales
x x 1 1 2 ex
1 n n 1 n n 1 2n
FCFM
95
U de Chile
con condiciones de borde denidas. Muchas ecuaciones de la f sica se pueden reducir a esta forma. Es importante tener presente que no siempre se puede obtener una solucin a este problema. Existen casos en o los cuales las caracter sticas de los trminos que participan imponen restricciones importantes en la obtencin e o de las soluciones. Un mtodo para abordar este problema general es mediante el mtodo de series debido a Frobenius y e e Fuchs. La idea es buscar una solucin en torno al origen o cualquier otro punto de inters. El problema es o e abordado siguiendo los siguientes esquemas alternativos. a) Buscando una solucin en base a la naturaleza anal o tica de pz y q z . b) Buscando una solucin en base a la naturaleza de las condiciones de borde. o
Dentro del primer esquema contemplamos tres escenarios de inters. e a1) Si pz y q z son regulares en z forma
k 0
ak z k .
a3) Si pz y q z son irregulares en z 0, con zpz y z 2 q z singulares en z 0, entonces puede no existir solucin a la Ec. ( 5.8.29). En este caso no se sabe de mtodo para resolver la ecuacin o e o planteada.
5.8.1.
n 0
an z n ;
z 2 q z
n 0
bn z n ,
o a a e intentamos una solucin uz z r n 0 cn z n . En esta expansin el parmetro r est por ser determinado. o Derivando y sustituyendo en la Ec. ( 5.8.29), luego de multiplicar por z 2r , se obtiene
n rn r 1cn z
n
n 0
an z
n rcn z
n 0
bn z
n 0
cn z
0.
n 0
n 0
Est claro que para separar trminos de igual potencia es necesario multiplicar series. Para ello recurrimos al a e n n n siguiente procedimiento general. Si F FG n An z , y G n Bn z , entonces H n Cn z , con Cn
n m 0
Anm Bm .
U de Chile
96
FCFM
H. F. Arellano
As entonces,
n 0
n rn r 1cn
n m 0
m ranm bnm cm
zn
0.
n rn r 1cn
o bin, e
n m 0
m ranm bnm cm
n 1 m 0
n rn r 1 n ra b cn
Guiados por esta relacin, denamos las funciones o s i s i s
m ranm bnm cm
ss 1 sa b sai bi 0 i i
n 1
0 0
Entonces,
r ncn
nm r mcm ,
(5.8.30) 0 se tiene r c 0.
m 0
relacin que permite obtener los coecientes cn recursivamente. Al hacer n o Escogiendo c 0, entonces r 0, o bin e r2 a 1r b 0.
A esta ecuacin se le denomina ecuacin indicial, cuyas ra determinan la naturaleza de la solucin. Ellas o o ces o estn dadas por a r1,2
1 a 1 a 2 4b
2 Re r2 , entonces Re r1
r1 r2
1 a .
i.- Siempre va a existir una solucin a la Ec. ( 5.8.29). o ii.- Una segunda ecuacin linealmente independiente tambin existe si es que r1 r2 no es entero. o e iii.- Si r1 r2 N , con N entero, entonces se cumplen, simultneamente, a r2 N r1 0 0
Cuando sto ocurre, una segunda solucin no se puede obtener a partir de la ecuacin de recurrencia. e o o Ello es evidente7 luego de observar la Ec. ( 5.8.30) para los cn .
7 Examine
esta observacin. o
FCFM
97
U de Chile
Cuando existe una solucin a la ecuacin ( 5.8.29) podemos buscar una segunda solucin mediante el mtodo o o o e de variacin de parmetros. Consideremos o a u pu qu 0,
y supongamos que u1 es la solucin que se obtiene con la raiz r1 de la ecuacin indicial. Construimos o o u2 hu1 , (5.8.31) con h una funcin por determinar. Sustituyendo directamente en la ecuacin diferencial y dividiendo por h u o o se obtiene h u d 1 ln h ln u2 p . 1 2 u1 p 0 , h dz Integrando, reordenando y considerando una constante c de integracin, o c pzdz h e . u2 1 Examinemos ahora el argumento de la exponencial,
pz dz
1 an z n dz zn 0
an
n 1
a ln z Con ello z r1 h
n 0 cn z n
zn .
c a ln z e e u2 1 , entonces z 2r1 a c e h
an n
zn
u2 z a 1
an n
zn
Puesto que u1
an n
zn
La funcin F z es claramente regular. Considerando adems r1 r2 o a a 1, adems de r1 a r2 N , entonces c h F z . z 1N A este punto conviene tener presente que todos los coecientes que denen F z son conocidos, de modo que podemos expresar, sin prdida de generalidad, e cF z con la cual h
2 1 z 2 z 1 N zN z N2 1 z N 1 z
n 0 cn
zn
c F z . z 2r1 a
n 0
n z n ,
zN 1
integrando
N ln z N ln z N ln z
0 zN1 1 N z 1 0 1 z zN
n 0
n z n
U de Chile
98
FCFM
H. F. Arellano
En esta ltima se han introducido los coeciente n provenientes de la integracin. Puesto que u2 u o entonces, u1 u2 N u1 ln z N n z n . z n 0
hu1 ,
e A este punto sustituimos u1 z r1 cn z n en el segundo sumando del trmino del lado derecho. Recordando que r1 N r2 , entonces la expresin anterior se puede escribir de la forma o u2 N u1 ln z z r2
n 0
n z n .
Este resultado permite identicar la estructura de la segunda solucin a la Ec. ( 5.8.29). La forma como o se procede a obtenerla expl citamente es sustituyendola en la ecuacin diferencial original para obtener los o coecientes n mediante los mtodos descritos. e
5.8.2.
La ecuacin hipergeomtrica o e
La ecuacin hipergeomtrica tiene la forma o e z 1 z En este caso identicamos pz q z con lo cual zpz z 2 q z d2 u dz 2
c a b 1z du abu dz
c a b 1z z 1 z ab , z 1 z a b
0.
(5.8.32)
c a b 1z 1z abz 1z
c 0. 1 c. Para r 0 planteamos la
cn z n .
n 0
Al sutituir en la ecuacin diferencial se obtiene para los coecientes, o cn Si c 1 n, con n entero, entonces cn
a n 1b n 1 . nc n 1
aa 1 a n 1bb 1 b n 1 n!cc 1 c n 1 a n b n c 1 . a b c n n 1
8 Hacerlo.
FCFM
99
U de Chile
De esta forma, F a, b, c; z
c a nb n n z . ab n 0 n 1c n
(5.8.33)
A esta funcin se le llama serie hipergeomtrica. o e Es comn hacer uso de los s u mbolos de Pockhammer, denidos por
n
con los cuales expresamos F a, b, c; z
n ,
a
n
n bn z n . n!cn 0 a, b, c; z ,
donde se indica que dos de ellos van en el numerador y uno en el denominador. Como resultado de valores espec cos adoptados por los parmetros a, b, c, las series hipergeomtricas a e pueden representar diversas funciones conocidas. Listamos algunas de ellas F 1, 1, 1; z 1z ln1 z 1 z a arcsin z Pn 1 2z 1 z 1
3 zF 1 , 1 , 2 ; z 2 2 2 F n, n 1, 1; z
zF 1, 1, 2; z F a, b, b; z
Una segunda solucin a la ecuacin hipergeomtrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo o o e w z 1c g z
0.
ac1 bc1 2c
wz
z 1c 2 F1 , , ; z .
U de Chile
100
FCFM
H. F. Arellano
5.8.3.
Se trata de la ecuacin o
0. c, y b
Para este caso los coecientes para la ecuacin indicial son a o r 0 y r 1 c. La solucin para r 0 es del tipo o u a, c; z
n 0
cn z n .
an , cn
a
n
a, c; z
n z n , cn 0
denominada funcin hipergeomtrica conuente y que converge para todo valor de z. Por la estructura o e de los s mbolos de Pockhammer, a esta serie se le denota 1 F1 . Son casos particulares de las funciones hipergeomtricas conuentes las siguientes e Jn z eiz z F1 n 1 , 2n 1; 2iz (Bessel) 2 n! 2 1 (Legendre) 1 F1 n, 1; z n 2n! 1 F1 n, 1 ; z 2 (Hermite) 2 n!
L n z H2n z
10 Hacerlo.
FCFM
101
U de Chile
U de Chile
102
FCFM
Cap tulo 6
Funciones de Green
Una amplia clase de problemas de la f sica se cuantican en el marco de ecuaciones diferenciales sujetas a condiciones de borde denidas. Para su resolucin se recurre a estrategias espec o cas anes con los trminos e que participan en la ecuacin. Ello es particularmente el caso cuando se estudia un problema lineal en o presencia de un trmino no homogneo o fuente. La introduccin de las funciones de Green permite un e e o enfoque distinto basado en la estructura de los operadores que intervienen, permitiendo una solucin formal o al problema cual sea la fuente. Este concepto fu introducido por George Green hacia 1828 y se mantuvo casi e desconocido por un buen tiempo. De hecho sus contemporneos calicaron esta contribucin de bajo perl. a o Fu Lord Kelvin quin apreci la profundidad de este aporte, el que hoy en d constituye una herramienta e e o a standard en muchas reas de la f a sica. A modo de ilustracin consideremos Lx un operador diferencial lineal y nos planteamos la ecuacin o o Lx ux f x , (6.0.1) con f x una funcin arbitraria pero conocida. Para resolver este problema consideremos una funcin de dos o o variables Gx, t, tal que Lx Gx, t x t . Podemos vericar entonces que una solucin a la Ec. ( 6.0.1) est dada por o a ux
Gx, tf t dt .
As estamos en condiciones de dar una solucin formal al problema original. Un aspecto importante en la , o construccin de la funcin Gx, t lo constituye el tema de las condiciones de bordes impuestas sobre u. o o Notar que Gx, t no depende de la naturaleza de la fuente.
6.0.1.
Consideremos la ecuacin diferencial de segundo orden para la funcin ux en el intervalo a, b con o o condiciones de Dirichlet (homogneas), e Lu u pxu q xu f x . (6.0.2)
103
Consideremos y1 x y y2 x soluciones de Lu 0, tales que y1 a y2 b 0. A partir de stas busquemos e una solucin a la ecuacin no homegnea ( 6.0.2) construida de la siguiente forma, o o e ux v1 xy1 v2 xy2 . En esta caso v1 x y v2 x son funciones auxiliares por determinar. Ellas representan dos grados adicionales de libertad que, sin prdida de generalidad, pueden ser reducidos a slo uno. La forma de restringirlas se e o ver en seguida. Luego de sustituir ux en la Ec. ( 6.0.2) y hacer uso de Ly1 Ly2 0, se obtiene a
f x .
v1 v2
0 f x
y1 y2 y2 y1 , v2
1 y1 x f x . W x
v1
W1x y2 x f x ;
y1x
y2 x f x dx y2 x W x y1 t f t dx y1 x W t
y1 x f x dx . W x y2 t f t dx . W t
b
x
La solucin encontrada tiene la forma o ux donde denimos la funcin de Green o Gx, t y1 ty2 xW t, y1 xy2 tW t, a x t t x b .
b
a
Gx, tf t dt ,
Vemos que Gx, t depende de las soluciones homogneas y1 e y2 . Resulta til en ocasiones hacer referencia e u a la variable t como coordenada de la fuente y a la variable x como coordenada del campo. En el caso particular de esta ilustracin, y an ms generalmente, la funcin de Green satisface cinco propiedades o u a o importantes.
U de Chile
104
FCFM
H. F. Arellano
x t. y1 x y2 xW x y1 xy2 xW x. Clara-
2. Gx, t es cont nua en t x. En efecto, para 0 y denotando x x tenemos Gx, x y1 xy2 xW x. De forma anloga, Gx, x y1 xy2 x W x a mente entonces, Gx, x Gx, x 0. nua en t 3. La derivada Gx, t t es discont En este caso G t t G t t
x x
x. y 1 t t W t y 2 t t W t
y2 x y1 x
x x
y2 x y1 x
y1 x x W x y2 x x W x
1 .
G(x,t)
t t=x
Fig. 6.1: Discontinuidad de Gx, t t. 4. La funcin de Green es simtrica en sus argumentos, Gx, t o e 5. La funcin de Green cumple con las C.B. Gx, a o Gx, b Gt, x. 0
6.0.2.
Un ejemplo clsico a
FCFM
105
U de Chile
A partir de sta construimos el wronskiano, e W x sinkx k cosk x L k coskx sink x L sinkt sink x Lk sinkL 0 sinkx sink t Lk sinkL x Gx, tf tdt, es decir,
L
x
W x
k sinkL .
Vericamos que en x 0 la primera integral es nula, mientras que la segunda contribucin se anula al o evaluar sinkx. De igual forma, en x L la segunda integral no contribuye, en tanto que sink x L se anula. Estas dos observaciones permiten que la expresin obtenida para ux cumpla las condiciones de o bordes homogneas. e
U de Chile
106
FCFM