Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apunte Metodos
Apunte Metodos
Hugo F. Arellano Departamento de F sica - FCFM Universidad de Chile
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. Integraci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.7. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.8. F ormula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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. Prolongaci on anal tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.16. Relaciones de dispersi on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.17. M etodo del descenso m as empinado (steepest descent) . . . . . . . . . . . . . . . . . . . .
33 35 37 40 40
2.
45
46 47 48 49 49 51 52
3.
La delta de Dirac
3.1. Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
55 56 57
4.
59
59 60
U de Chile
FCFM
H. F. Arellano
!
62 63 64 65 65
4.3. Paso del discreto al cont nuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4.1. El teorema de convoluci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4.2. Relaci on de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4.3. Potencial debido a una distribuci on de cargas . . . . . . . . . . . . . . . . . . . . .
5.
Ecuaciones diferenciales
5.2. Separaci on de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2.1. Ecuaci on de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3. La ecuaci on de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.2. Funciones modicadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.3. Diferenciaci on y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.4. Una identidad u til . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.5. La ecuaci on de Laplace en una cavidad cil ndrica . . . . . . . . . . . . . . . . . . . 5.4. Ecuaci on de Helmoltz con simetr a axial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.4.1. Los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.4.2. Propiedades de los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . 5.4.3. Las funciones esf ericas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.5. Ecuaci on de Laplace en una cavidad esf erica . . . . . . . . . . . . . . . . . . . . . . . . . . 5.6. Los esf ericos arm onicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.6.1. Construcci on de los esf ericos arm onicos . . . . . . . . . . . . . . . . . . . . . . . .
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 a de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.8. Ecuaciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.8.1. Aplicaci on del m etodo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.8.2. La ecuaci on hipergeom etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91 93 93 95 96 99
6.
Funciones de Green
103
6.0.1. Problema con C.B. homog eneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 6.0.2. Un ejemplo cl asico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
Pre-texto
Estos apuntes son una transcripci on de mi primer manuscrito de c atedras del semestre de primavera de 2005. Al igual que otros de mis apuntes, son informales en su presentaci on y carecen de desarrollos detallados que comunmente se discuten en clases o encuentran en textos. El tema de m etodos matem aticos para la f sica es sumamente extenso y hay varios textos de excelente calidad donde encontrar desarrollos y discusiones interesantes, adem as de buenos ejemplos o problemas t picos. As entonces, no pretendo con estos apuntes hacer un aporte en esa l nea. El sentido de escribirlos es m as bien registrar el enfasis de algunos aspectos discutidos en clases y de como ellos se estructuran hacia los temas m as avanzados. Espero que esto sea de ayuda.
U de Chile
FCFM
Cap tulo 1
1.1.
Variables complejas
Comenzamos nuestro estudio suponiendo alguna familiaridad con los n umeros complejos ordinarios, es decir, aquellos formados por la combinaci on del tipo x iy , con x e y variables reales adem as de la 1. Para uniformizar la notaci on, usaremos la letra z para simbolizar las variables complejas. propiedad i2 Las operaciones de suma y multiplicaci on entre n umeros complejos est an denidas de la siguiente forma. Sean z1 x1 i y1 , y z2 x2 i y2 , entonces
#%$ # "
# "
"
z1
z1 z2
"
# & " '" & " ' ( # & $ '" & "
z2
def
x1
x2
i y1
y2 ,
def
x1 x2
y1 y2
i x 1 y2
x 2 y1 .
'
Con estas deniciones, y al igual que en el cuerpo de los reales, los n umeros complejos satisfacen las siguientes propiedades para la suma y el producto: 1. Asociatividad para la suma y el producto, z1 2. z2 z3 z1
3.
4.
5.
# & " '" " & " '% " # " & " '# # " # " # " # # " " &+$ ' #%&*$
z2 z3 , z2 z1 , 0 i 0) y de la unidad (1 z 0 0 z z, x z z 9
z1
z 1 z2
z3 ;
z 1
i y , entonces z
"
"
y es su inverso aditivo y
6.
//
1 z
z es su inverso multi-
1;
z2 .
1.2.
Al igual que con variables reales, las m ultiples operaciones entre variables complejas permite la construcci on de funciones. Tales funciones resultan, en general, tambi en complejas y se descomponen en parte real e imaginaria. Si f z es una funci on de la variable compleja z x i y , entonces podemos escribir
&'
Se subentiende que la aplicaci on f toma elementos z en un dominio del plano complejo (C). Se dice que f es cont nua en z si para todo 0 existe un 0 tal que z z f z f z . Un ejemplo de funci on cont nua es f z z 2 . En efecto,
iy z zo x iv w u wo
# " & '# & '" & 9 '8 & ' ; / $ :5/5< =>/ & ' $ & : ' /0< &'# ;
f z u x, y i v x, y w x, y .
Aqu resulta claro que la separaci on innitamente peque na entre f y f est a siempre garantizada. De la desigualdad de arriba inferimos que para un dado, entonces el requerido est a dado por z
2
Notamos que en este caso depende de z , lo que es en general el caso. Sin embargo, si el dominio de R, entonces se expresa independiente de z . Ello se denomina continuidad f est a acotado por z uniforme.
todo complejo z resulta evidente que zz
1A
? : ? : / & ' $ & : ' / # / $ : / # @B/ ACAE$DF I AGAE:5H / / " :J/0< / " :5/ / " :K/ # / $ :L" :J/046/ $ :K/C" / :K/54 " / :K/ # & ' : # & :' / $ :J/04 @BAM& ANAEAM"AEDF O AE/AEANAM:JAE/H ' : #P / :J/ " $ / :J/ : / /Q4 : T TR V U TWR R S T R S
Fig. 1.1: Cuando z f z z2 z2 z , entonces w z z z z w . f z z z .
z z
2z
z z
2z
2 z . Si denotamos
2z
z .
U de Chile
10
FCFM
H. F. Arellano
1.3.
Derivada y analiticidad
Consideremos el cuociente
Este cuociente no est a denido para z z . Sin embargo, al igual como se hace para funciones de variable z . En variable compleja imponemos una exigencia no trivial, real, quisieramos construir el l mite cuando z , denimos cual es que el l mite sea independiente de como z se aproxima a z . As f z
X& '
X&
Para que ambos procedimientos lleven al mismo resultado imponemos que tanto la parte real como imaginaria sean coincidentes, vale decir,
# Z& " # & " ? \\ " \\ ? : X& ' # Z & " ' " & " 'C[ $ Z & # & " '$ & '" & " ? $ \\ " \\
iv x ux u x x, y x v i . x u x, y x, y x v x i u x, y i u y y u x, y i y v . y
& ' $$ & : ' : :? : : '# Y & " '$ & ' ? : ' " & " 'G[ $ Z & '$ & '" & "
f z z f z z .
z
l m
f z
z z
f z
u x, y
x, y x
x, con z
# "
x
i y.
y u x, y i v x, y iy v x, y y v x, y i iy
A esta se le denomina condici on de Cauchy-Riemann y constituye una condici on necesaria para la analiticidad de una funci on. La suciencia viene cuando las derivadas son cont nuas. De la condici on de Cauchy-Riemann surgen trivialmente
\\ # \\
u x
2
v , y
#$\ \\ % \
u y v x2
2
v . x
que corresponden a ecuaciones de Laplace en 2D. En tal sentido, las componentes de real e imaginaria de funciones anal ticas son arm onicas como funciones de x e y .
\\ " \\ #
2
u x2
u y2
0,
\\ " \\ #
v y2
2
0,
FCFM
11
U de Chile
provisto de que el l mite exista y sea independiente de la forma como z Teorema: La funci on f z u x, y condiciones de Cauchy-Riemann,
C se denomina anal tica en z si es diferenciable en z y todo punto de su vecindad. Deniciones: La funci on f : C 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 funci on para la cual todos los puntos en C son regulares se llama funci on entera.
__
0), son satisfechas y todas las primeras derivadas parciales de u y v son continuas df dz u x i v x v y i u y (1.3.3)
La analiticidad de una funci on no es una propiedad que est e garantizada a cualquier funci on cont nua. Por ejemplo, consideremos z x i y , y denamos f z z z . Claramente u x, 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 iy ) conducen a i u y v y 0. Este igual forma, variaciones paralelas al eje complejo (z resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistem atica de vericar la analiticidad de una funci on es examinando la condici on de Cauchy-Riemann. Para este ejemplo se observa que u x v y . En general, cualquier funci on de z y z resulta no anal tica.
# "
&'# " 1 #
z 2 . Considerando z x i y es f acil vericar que f z Examinemos un ejemplo simple: f z 2 2 w x, y x y i 2xy . Identicamos u x2 y 2 , y v 2xy , con lo cual u x 2x ; u y 2y ; v x 2y ; v y 2x .
Estas derivadas cruzadas satisfacen las condiciones de C.R. La derivada es u nica y la podemos evaluar: f z u x i v x 2x i 2y 2z ,
coincidente con el resultado conocido para variables reales. En general, se puede demostrar que para todo n entero, d n z n zn 1 . dz Su demostraci on queda propuesta.
& '#& & # '# & $ & \ \ . . \ \ ' ' " " & \ \ . \ . \ ' '#
&'#
1.3.1.
La exponencial
Un ejemplo de gran valor es el caso de la funci on exponencial. Esta funci on puede ser denida de varias formas. Consideremos en este caso la siguiente construcci on. La exponencial es una funci on de la
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 f z ; y c) f z1 z2 f z1 f z2 . Procedemos entonces a la construcci on y univaluada en C; b) f z de la exponencial.
&'
De la condici on c) se tiene f 0
Cuando z
Imponemos f
de lo cual u x, y
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 s olo dos las constantes arbitrarias de integraci on. Si consideramos ay A cos y B sin y , by A sin y B cos y .
Imponemos f 0
Construimos f
Del resultado anterior resulta evidente que para z modo, si z x (real), entonces ez ex .
& " '# &' &' &' # &' &'# & " ' $ & ' # & ' & ' $ & ' # & 'Z & ' $ [ X& ' # & ' & " ' $ & ' # & 'Z & ' $ [ & ' $ [. &'# &'# ? Z & '# & '" & ' X# \\ # \\ # & '# &' & '# &' \\ # \\ ? & ' # \\ #%$ \\ ? & ' #3$ no" # np" # &'# $ " = &'# &'# && ' ## q ? & & ' # # q ? ## q ' ' # " 8 & ' & '# & " '# # # " # #
0 f 0 f 0 , por lo que f 0 f z f z
2
f 0 . Soluciones son f 0 f z f z 1.
0; 1.
f z
f z . Examinamos f z z z
f z
f z f z z
0, vemos que f z
1 z diverge si f 0 u x, y u x
0. S olo f 0
1 permite analiticidad.
f , expresando f z
i v x, y . Entonces, v x v,
u;
a y ex , y v x, y
b y ex .
ay by
v x
db , dy da , dy
1, con cual
u 0, 0 v 0, 0
1 0
a0 b0
1 0
A B
1 0
iv
w x, y , obteniendo w x, y
ex cos y
i sin y
def
ez .
cos y
i sin y . De igual
La exponencial es anal tica en todo C, de modo que es una funci on entera. Una g raca de la supercie 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 e 2
iz
sin z
# $ ,
eiz e 2i
iz
FCFM
13
U de Chile
-3
10
15
sin z . cos z Esta u ltima no es anal tica en los ceros de cos z . De forma an aloga se introducen las deniciones tan z cosh z
# " ,
ez e 2
sinh z
# $ ,
ez e 2
tanh z
sinh z . cosh z
1.3.2.
El logaritmo
Al igual que en variable real, se dene el logaritmo como la funci on inversa de la exponencial. Notar, sin embargo, que la exponencial es una funci on peri odica, vale decir, ez
# r
ez
2iN
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 ambig uedad si restringimos la parte imaginaria a s olo un sector. Buscamos una forma expl cita, en t erminos de x e y , para ln z que ew z . De esta u ltima, claramente
eu cos v
i sin v .
z cos
# #
y x
def
# P " "
ln x2 y2 14
i arctan
t u
U de Chile
FCFM
H. F. Arellano
!
1 iy x .
x x2
iy y2
d ln z dz
Contando con la denici on del logaritmo podemos denir la potenciaci on a un n umero real a, za
def
ea ln z .
d a ln z e dz
ea ln z
a z
# ,
a za
1.4.
on de mayor Geom etricamente el gradiente de una funci on de dos variables, x, y , apunta en la direcci crecimiento. Si consideramos u x, y y v x, y , componentes de una funci on anal tica f z , entonces u v u v x x
Al hacer uso de la condici on de C.R. se obtiene que u v 0 Esto implica que, en un punto z x iy , la direcci on de mayor crecimiento de u es perpendicular a la de v . En otras palabras, las curvas de nivel de u x, y son perpendiculares a las de v x, y .
& ' #
A modo de ilustraci on, consideremos nuevamente la funci on f z z 2 . En tal caso u x2 y 2 , y 2 2 2xy . Las curvas de nivel est an dadas por x y u y 2xy v , ilustradas en la Fig. (1.3), donde
1 1
& '
"\\ \\ # :
&'
u v . y y
# "
#& ' : #
# $
0.5
0.5
-0.5
-0.5
-1 -1 -0.5 0 0.5
-1
Fig. 1.3: Curvas de nivel de u x, y (izquierda) y v x, y (derecha). se puede apreciar visualmente la perpendicularidad de las curvas de nivel.
& '
-1
-0.5
& '
0.5
FCFM
15
U de Chile
1.5.
Transformaciones conformes
La aplicaci on w f z asocia a cada par x, y de z x i y otro u, v de w u i v . As entonces, mediante la aplicaci on f podemos identicar la regi on u, v que resulta de considerar todos los puntos x, y correspondientes a z en un dominio D. A esta construcci on se le llama mapa. Cuando la transformaci on f
# &'
y x
& '
# "
& '
w 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 e se traducen para w. 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 peque no desde z , z z z , conlleva una variaci on w dado por w f z z. Al ser f anal tica, f z es u nica. Contemplemos dos desplazamientos independientes, za y zb , ambos de igual magnitud (s) pero con orientaciones distintas. Si los angulos relativos al eje real son a y b , respectivamente, entonces sus desplazamientos en el plano C son za
X& : '
s eia ,
s eib .
Nos preguntamos entonces por el angulo relativo entre las variaciones w a y wb respectivas: wb wa f z f z zb za ei
b a
En otras palabras, el angulo relativo entre wa y wb es el mismo que entre za y zb , lo que se ilustra en la Fig. (1.5). Es importante resaltar que la preservaci on de los angulos est a garantizada s olo cuando f z 0. Si
# v , w # XX && :: '' # v , w
zb za ei
b a
iy
zb za
b a
iv
wb wa
a b
X& : ' m
Fig. 1.5: Si f z
X& : ' m
0 entonces
x&
za , zb
esto no ocurre hay que examinar m as detalladamente considerando t erminos de orden superior. M as adelante estudiaremos expansiones en series de Taylor en torno a puntos regulares. Si el t ermino no nulo m as bajo es de orden m, entonces wa , wb m za , zb . Cuando m 1 nos referimos a una transformaci on conforme.
x&
'
'# x& #
u
wa , wb .
'
U de Chile
16
FCFM
H. F. Arellano
1.5.1.
Ejemplos
Inversi on: w
# .
1 z.
Consideremos la transformaci on f z 1 z y estudiemos la regi on que resulta al considerar el conjunto 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:
#3{ | } $ }94 ~
&'# .
w
El centro del c rculo es mapeado a w En tal caso representando una recta con u
# "
a
ei ,
:0
a;
$ ?
sin . 2a cos
a.
1 1 i tan 2 , 2a 2a 1 2a y v barriendo
u+iv = 1/(x+iy)
1/2a 1/a
C A
1.6.
Integraci on
Sean f : C C y una trayectoria cont nua que une los puntos extremos z a y zb . Denimos la integral mediante la suma innita de elementos innitesimales,
En esta construcci on exigimos que para todo segmento, zj zj 1 0. Adem as, convenimos en que f es evaluada en cualquier punto j en el segmento zj 1 zj . Suponemos que la funci on f no experimenta saltos a lo largo de . Para jar ideas hemos considerado z0 za , y zn zb .
f z dz
l m
f j
zj
zj
f z dz .
j 1
za
FCFM
17
U de Chile
iy
n2
n1
za
0
2 1
1.7.
Teorema de Cauchy-Goursat
& # '
iy
A este teorema se le llama Teorema de Cauchy-Goursat. Sin pretender una demostraci on rigurosa sino m as bien dar una justicaci on razonable, consideremos una trayectoria no cerrada y que une dos puntos extremos, za y zb . Expresemos la integral en t erminos de las partes real e imaginaria y desarrollamos. I
& # & " & " # & $ " & " ' ' ' '
f z dz u iv x u dx v dy i v dx
z xy xy xy
u dy .
'
En estas hacemos una distinci on entre la trayectoria en C, denotada por z , y aquella equivalente en 2 , xy . Las dos integrales de la derecha se pueden expresar como integrales de camino de los campo vectoriales u, v y B v, u , respectivamente. Por el teorema de Stokes, tales integrales son independientes A on de C.R. de la trayectoria si es que A 0 y B 0, lo cual es efectivo al considerar la condici para las funciones u y v :
#-& $ '
0, 0.
x By
y Bx
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 funci on f z es anal tica sobre cada una de las
&'
U de Chile
18
FCFM
H. F. Arellano
za
zb
za 1
f z dz
f z dz ,
za 2
donde ambas trayectorias parten de za y llegan a zb . Al cambiar de orden la segunda integral, tambi en cambiamos el signo [ver (b)]:
zb
za 1
f z dz
f z dz
f z dz
0.
za 1
zb 2
f z dz
0.
8%
a b 0 c
Entonces, dz
# "
dt Ia
z t
&'# "
t
2it ,
t:0
? " ?
1.
2i dt. Sustituyendo,
1
2i dt
&+$ # '
1 0
3t dt
4it dt
2i .
Entonces, dz
# "
dt
z t
&'# "
t
2it2 ,
t:0
1.
Ib
4it dt
2i .
FCFM
19
U de Chile
c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t t, (dz dt), 1. En el segundo podemos hacer z t 1 it, (dz idt), con t : 0 2. De esta forma, con t : 0
1 2
Ic
&'# " # # & ' & ' " & " ' & ' # ( (( #3$ "
t dt 1 it i dt
0 0
&'#
3 2
2i .
ii.- Calculemos
dz z
En este caso los puntos z en la trayectoria est an dados por z 2 . As , :0 2 dz Rei i d 2i . z Rei 0
&'#
Rei , (dz
Este resultado permite el c alculo de dz erez para cualquier trayectoria que encierre el origen. Para ello consid 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
Fig. 1.10: Trayectoria evitando la singularidad en el origen. c y d no encierra singularidad alguna. Adem as, cuidamos que c corresponda a una circunferencia conc entrica al origen. Por lo tanto, dz 0. z a b c d Al hacer los tramos paralelos b y d innitamente pr oximos, la suma de ambas integrales se anula. Por lo tanto quedan dos integrales cerradas, una sobre y la otra sobre la circunferencia recorrida en sentido horario. Por lo tanto dz dz 2i . z z
# """ # #3$ #
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 este 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
Para demostrar este teorema podemos hacer uso nuevamente de la Fig. (1.10), donde se construye una na de radio . Con trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia peque f z tico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat: ello el integrando z z es anal
, v w`
Al hacer los tramos b y d innitamente pr oximos, las integrales (recorridas en sentidos opuestos) se cancelan pues los integrandos coinciden en el l mite. En tal caso a , con lo que f z dz z z
c
mite Necesitamos evaluar c en el l 0. Parametrizando (en sentido horario), z e i i d), con : 0 2 , obtenemos
2
$ ,
Este resultado se extiende a las derivadas de una funci on anal tica. Para ello hagamos un cambio de notaci on. Primero z , y luego z z , con lo cual f z
:?
&' # """ # $ : & ' #%$ ?& ' $ : $ : ? #3$ & :" , ((( ' & :J" , ' ? & : ' ? & : ' # $& ':
f z dz z z
a b c d
&' $ :
f z dz z z
f z dz z z
&'# b :" ,
z e
(dz
f z
d . 0. Por lo tanto
f z
cuando
((( ? $
c
2if z .
& :'
f z
1 2i
f z dz. z z
&'#
1 2i
&' $
1 2i
f d . z
v w& ' #
n
# #
dn dz n 1 2i 1 2i
&
dn 1 f d dz n z n! z n
1
f d
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 este un tema sumamente amplio, nos limitaremos a resumir s olo algunas nociones b asicas.
FCFM
21
U de Chile
Consideremos la sucesi on innita de n umeros reales o complejos w1 , w2 , w3 , . . . y construimos la suma parcial de k t erminos,
Decimos que la serie S l mk Sk existe, vale decir, es nito. En relaci on 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
Sk
n 1
wn .
/ /
n 1 n 1
/ /
n 1
wn diverge.
En relaci on a criterios para examinar la convergencia de una serie mencionamos tres de ellos. 1. El test de comparaci on, que consiste en descomponer los elementos de la sucesi on en sus partes real e imaginaria, wn un ivn . Se analizan separadamente n 1 un y n 1 vn , y suponemos que as, una serie conocida n 1 an es convergente, con un an n, entonces un 0 y vn 0. Si adem u es convergente. Un criterio an alogo es utilizado para examinar la convergencia de la parte n 1 n imaginaria. wn 1 wn . Denamos adem as El test del cuociente, que consiste en construir el cuociente n R l mn 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. El test de Cauchy, donde se dene l mn wn 1 n . Si 1, entonces la serie es convergente; si 1 la convergencia queda indeterminada; si 1 la serie diverge.
2.
3.
# Y #
# "
<
;<
Y / ; /
z2
#/ r. / #
Un ejemplo simple y de mucho inter es consiste en la serie geom etrica deninda por Sn
Puesto que l mn
Y #
zn
0 para z
/ /<
Sn
1.
1, entonces
# $
1
1 z
1. M as alla de si Esta expresi on cerrada para la suma de innitos t erminos se obtiene suponiendo z existe una expresi on cerrada, la existencia de un resultado nito est a condicionada, independientemente, por los criterios del cuociente y de Cauchy. Ambos garantizan convergencia de la serie para todo z 1. Al 1 se le denomina c rculo de convergencia. sector delimitado por z
/ /<
/ /<
/ /<
La extensi on de series en un sentido general a lo que denominaremos serie de funciones es relativamente 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
!
b si 1 1 0 N : n
Denimos adem as
f z
z Esta serie es uniformemente convergente en la regi on anular a f z Sn z . Al analizar la serie geom etrica y denominando f z
&'# Y &'
n
l m Sn z .
Buscamos N para el
dado y obtenemos
=
N
1.10.
Cuando una funci on es anal tica dentro de un c rculo centrado en un punto z , entonces es factible on se le reconoce como serie de expandir tal funci on en serie de potencias de z z . A esta expansi Taylor. Concretamente, f z
& ' # & : ' " X & : ' & $ : ' " ((( # v w & : ' & $ : '
f z f z z z f
n n 0
& $ :'
z n!
La demostraci on de este teorema es bastante directa si consideramos la f ormula integral de Cauchy para una trayectoria circunferencial C centrada en z , como se ilustra en la Fig. (1.11). En tal caso aplicamos
z
zo
con
&'#
1 2i
&' $
f d . z
z , z
FCFM
U de Chile
La propiedad 1 es evidente puesto que est a en el contorno del c rculo, mientras que z est a al interior. n As entonces, 1 1 , que al combinar con las tres expresiones anteriores conduce a n 0 2if z 1 z z z z
n
Utilizando la f ormula integral de Cauchy para la derivada, v alida si f es anal tica, resulta evidente f z f
n
/ . /5& < $ ' # :: & ' & ' # & $ : ' $$ & ' # v w & : ' & :
C n 0 n 0
f d
f d z n
z n!
$ :'
z
La expansi on de Laurent no tiene contraparte en variable real, permitiendo la expansi on en serie de potencias en regiones anulares en cuyo interior la funci on es no anal tica. Consideremos y dos c rculos conc entricos de radios r y R, respectivamente. Ambos est an centrados en z , con r R, como se ilustra en la Fig. (1.12). Sea f : C C anal tica en la regi on anular S comprendida entre y . Entonces, para
<
z zo
todo punto z
| &'
donde
& ' # & $ : ' " & $ : ' # & $ & ': ' r # & $ :' , & '
an z z
n n 0 n 1
bn z z
an
1 2i 1 2i
f d z n z
bn
n 1
f d .
Para demostrar este resultado recurrimos nuevamente a la f ormula integral de Cauchy, esta vez cuidando que la trayectoria cerrada a considerar excluya eventuales puntos singulares. En la Fig. (1.13) se consideran los arcos casi cerrados y , adem as de dos tramos paralelos muy pr oximos entre s . La analiticidad de f z dentro de la trayectoria escogida permite el uso de la integral de Cauchy,
& $ ' " & $ ' " ((( " ((( # @BACv EA, AEAEw ANAEAEACAEYDFACANAEvMAEr AEAEw AEAAEH & " ' &*$ ' & ' # & $' $ & $'
f d z
f d z
2if z .
&'
&'
f z
U de Chile
24
FCFM
H. F. Arellano
55 55 55 55 55 5 5
(+) ()
Al igual que como se hizo con la serie de Taylor, buscamos expresiones adecuadas para 1 z y etrica, que involucren potencias de z z . En esa l nea, es f acil vericar 1 z , al estilo de la serie geom que n 1 1 z z n . z z z n 0 z z z z n 1 n 0 Por otro lado ya obtuvimos
.& $ '
$ # $ : $
1 f d z n
1
&'#
1 2i
.& $ ' $ : $ : # & & $ $ : ' $ : :' r # & & $ $ : ': ' r $ :' " & $ : ' & ' & $ : ' r
z z
n n 0
n 1
f d
n 0
1 z
n 1
A modo de ilustraci on (trivial) busquemos la serie de Laurent para f z 1 z 1 en torno a z 1. Los coecientes an y bn se deteminan mediante integraci on directa en torno a z 1. Comencemos por a n ,
Parametrizamos:
# "
1
ei , (d
Parametrizamos nuevamente:
&' &$ 'r # ? = &'# , . = # r ,vrw # m # & $ ', &' # " # ? = &'# , . = # , v,w
an
1 2i
f d 1n 2
ei id), : 0 1 2n
f d
an
i n 1
0.
bn
f d
ei , (d
ei id), : 0
2
bn
1 n 2
ei
n 1
d .
FCFM
25
U de Chile
En este caso n 1. Cuando n 1 se obtiene directamente b1 entonces la serie de Laurent para f z 1 z que bn 1 0. As previsible.
# :
Como en la ilustraci on anterior, las series de Laurent se pueden aplicar en torno a puntos singulares. En particular, si z es una singularidad aislada, entonces podemos expandir
on a esta expansi on se denen las La contribuci on fP z se denomina parte principal de f en z . En relaci siguientes denominaciones.
& ' # & $ : ' " B@ & A EAEAE$ AEAEAEAN:AEAE' AEAE"AEAEAEAE(AN(A E( DF& A NAE$ AEAEAEAEAE: AE'ANAEAEAEAE" AEAEAE(KA E(H ( &' :
f z an z z
n n 0
bn z z
fP
&' &'
Si fP z consta de innitos t erminos entonces z es una singularidad escencial. Una singularidad es removible cuando f z est a indenida pero l mz z f z existe. Por ejemplo, f z sin z z , y g z ez z 1 z 2 tienen singularidades removibles en z 0.
&'#
.& $ :' # : & ' #%& $ $ ' . & : ' & '
Y ` & '#
1.11.
on meromorfa en sobre y dentro de una trayectoria cerrada C . Nos planteamos el Sea f z una funci c alculo de la integral 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, aisl andolos y retornando por el mismo trayecto. Esto es posible si la funci on es continua en todo el trayecto. Las integraciones de ida y vuelta en los tramos
Fig. 1.14: Trayectoria cerrada excluyendo los polos de una funci on meromorfa. hacia los polos se cancelan. Si denominamos k a la trayectoria cerrada que enlaza al k esimo polo, entonces f z dz f z dz f z dz 0
& " & " " & " # ' ' ((( ' (((
1 , k ,
U de Chile
26
FCFM
H. F. Arellano
De aqu obtenemos
donde hemos omitido indicar el s mbolo en las integrales de la derecha. Abordamos ahora el c alculo de z dz , encerrando el k e simo polo que suponemos de orden m . Denamos entonces f k k z
&'
f z dz
Deniendo
obtenemos
& # &' # ' & $ ' & $ ' & '98 & $ ' & # '
k
f z ,
l m z
zk
bm;k ,
v , w& '
m 1 m 1
zk ,
(por Cauchy).
Res f zk
1!
f z dz
2i
Res f zk ,
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
z
zk f z ;
Res f zk
l m
zk
d dz
El teorema de los res duos es particularmente u til para el c alculo de integrales denidas cuyos integrandos no cuenten con primitivas. Examinemos algunos casos t picos.
1.
# # &
2 0
# $
i
z2 1 , 2iz
cos
# "
z2 1 . 2z
La integral se reduce entonces al c alculo, a lo largo de la circunferencia z I Calculemos, por ejemplo, I dz z 2 1 z 2 1 F , . z 2iz 2z
2
#3$
# "
0
& $
b
" '
/ /#
1, de
d . cos
FCFM
27
U de Chile
iy
Polos para b=1
|z|=1 x
Polos (conjugados) para b<1
Fig. 1.15: Ubicaci on de las raices de z 2 Haciendo las sustituciones descritas se obtiene I 2i
" " #
2bz 1 1 .
0.
b b2 1, ilustrados en la Fig. (1.15). Se puede vericar que s olo Los polos del integrando son z b b2 1, se localiza al interior de la circunferencia. Para en el caso b 1 uno de los polos, z el caso b 1 los polos yacen sobre la trayectoria, situaci on que obviaremos en este caso. Evaluemos entonces el residuo. Resf z
4;
2.
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 x Q x por f x . Examinamos entonces
R
Si z f z
&'?
0 cuando R
Los residuos en este caso son los ubicados en el semiplano complejo superior.
dx
f z dz
f x dx
f z dz
, entonces
f z dz
f x dx
? & '. & ' & ' " 5 & ' # & ' # # # &' &' ? # & '
f z dz 2i Res f zj . Rei , (dz i z f z d .
0
izd), : 0
2i
U de Chile
28
FCFM
H. F. Arellano
Examinamos
Con ello,
3.
Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Dependiendo de cual sea la funci on, cos ax o sin ax, consideramos la parte real o imaginaria de R x e iax . Luego extendemos al plano complejo, R z eiaz , e integramos sobre una semicircunferencia cerrando por arriba o por abajo. A este punto hay que tener precauci on por donde cerrar, puesto que el signo de . a es determinante para la convergencia de la integraci on sobre la semicircinferencia cuando R Hay que examinar caso a caso. Ilustramos con el siguiente ejemplo,
, " &'# " # r# & rf' #%& $ ' " ? " ? # # " , q # , & ' &'
1 dx . x2 f z i, pero s olo z Res f z z i dz 1 z2 2i 1 z i 1 dx x2 1 2i . Rx cos ax sin ax dx
1 . 2i
&' ?
Debemos decidir si cerramos por arriba ( ) o por abajo ( ). Para ello analizamos la exponencial evaluada en la semicircunferencia, z R cos i sin :
la exponencial tiende a cero s olo para 0 , motivo por el cual cerramos por Cuando R arriba puesto que as 0 queda garantizado. Consecuentemente, eikz 1 2 x2 2i Res f zj .
?>
eikz
, & " # # v
eikR
Los ceros del denominador son z Evaluamos para el residuo d dz y se obtiene para la integral
' ? &" ' & " ' r w# , < < # & ' &" ' #. & $ .'&" '&$ 'Y # " ,
cos kx 1 2 x2
2
Re
eikz 1 2 x2
cos i sin
eikR cos e
kR sin
r# .
i .
iz
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,
, ,
eikx
bx2
dx
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
$ #3$
e
k2 . 4b
I4
k2 4b
b x
ik 2b
dx .
$ .
d
Rik/2b
b a
Rik/2b
,
e
bz 2
dz
debido a que el integrando es anal tico al interior de . Por lo tanto, adem as lo siguiente: La integraci on en el trayecto a representa I en el l mite R z x ik 2b, (dz dx), con x : R R, obtenemos e
bz 2 R
# $ .
La integraci on en el trayecto c representa la integral de una gaussiana en el eje real, cuyo valor es conocido. En efecto, hacemos z x, (dz dx), con x : R R, e
bz 2 R
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, e
bz 2 0
$ ? , # # , # , # " # $ . ? , # ,v, ,
dz
a
dz
dz
b R it
k b
0, 0. Observamos
. En efecto, parametrizando
b x ik 2b
dx
I .
bx2
dx
bx2
. b
idt
ie
bR2
2iRbt
ebt dt
k b
U de Chile
30
FCFM
H. F. Arellano
!
0
, , r
0
2iRbt bt2
dt
k b
r 4 , , # ,
0
2iRbt bt2
dt
ebt dt
k b
k b
4
kek b
La u ltima desigualdad surge de tomar el m aximo del integrando y multiplicarlo por el ancho del intervalo. Este valor resulta independiente de R, de modo que su contribuci on se anula al ser 2 . Un procedimiento an alogo se emplea para examinar d . multiplicada por e bR y tomar R
?
0
:" $ " #
I4
# ,
e b
k 2 4b
1.12.
Hasta ahora hemos evitado la presencia de singularidades en el eje de integraci on, usualmente en el eje 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 signicaci on a la integral de arriba, den amosla como el valor l mite x f x f x dx 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 sistem atica de obtenerla mediante integraci on en el plano complejo. on simple Supongamos que podemos extender la funci on f x al plano complejo mediante una sustituci f x f z . Tal sustituci on dene una funci on meromorfa en C. Si consideramos la trayectoria cerrada descrita en la Fig. (1.17). La integral cerrada se descompone en dos semicircunferencias, una evitando x y
& :' m
# $& ' : ,
&'? &'
iy
x
R
xo
otra cerrada por arriba. Adem as, se incluye la integraci on en el eje real acerc andose a x , lo que dene la
FCFM
31
U de Chile
Si adem as, f z 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
Hay que tener presente que en esta versi on se ha excluido x del contorno de integraci on. Adem as, f z en la semicircunferencia superior cuando su radio R se hace innito. A modo de ilustraci on evaluemos la integral I e ix 2i, es f acil vericar que iI sin x x dx. Recordando que sin x
eix dx . x Calculamos P de esta integral, para lo cual identicamos un u nico polo en x 0. Tal polo queda fuera de la trayectoria pues el contorno lo excluye, por lo que no hay aporte de residuos. Adem as, e iz 0 sobre la . En resumen, semicircinferencia superior, cuando R
por lo que I
&' # &' " &' $ : $ : $ &$ ' # : & ' / ? / ? ? # # :" ? ? & :" ' &' : ? &$ ' # & : ' " : : # , & , '. # , ? # &'# #
f z dz z x P f x dx x x Res
f z dz z x
2i
f zk zk x
" :
f z dz z x
&$ '
f x
ei d .
.'
eix dx x
if 0
i ,
Sin embargo el t ermino de la izquierda es el mismo si se cambia levemente la trayectoria de integraci on a la 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,
De esta forma,
f x dx f x dx P if x . x x i x x Este resultado es abreviado usualmente mediante 1 1 P i x x , x x i x x con la funci on delta de Dirac a ser revisada m as adelante.
&' # &' $ &: ' $ : $ : & " '? &' $ ? &' # & " ' ? &' $ : , $ :" , $ :" &' # &' $ &: ' $ : , $ :" $ : # $ :z & $ : '
f z dz z x f x i dx x x i x 32
# "
f x dx . x i
U de Chile
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 de estas f z es multivaluada, vale decir, f toma valores diferentes al representar z r e i y cambiar 2 . continuamente
&'
&' ? "
2 2
& ' # 2 #& 2 8 & ' # ' & '# 2 # 2 & $ ' # 2 , #3$ 2 & ' # $
i r; f r, re
i 2
representan al mismo
i r.
Esta propiedad ilustra una caracter stica muy general para los ejemplos descritos en el p arrafo anterior, conduciendo a la denici on de lo que se denomina punto de rama (branch point). Se dice que z es un punto de rama si, para una trayectoria cerrada que lo encierra
f z
& :"
r ei
Examinemos con m as detenci on el caso f z z . Descomponiendo f 2 ), podemos tabular el comportamiento radial de u y v . Obtenemos, ( : 0
&'# 2
# "
u 7 2
iv , con z
r ei
u r,
v r,
4 r 0
Notar que si bi en
0y
l m
Y 2 #2
0
l m
Y 2 #3$ 2
2
z es distinta:
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 m as claros indican mayor cercan a al ojo del observador. La discontinuidad de u se observa en la regi on de 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
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 funci on f coincide y el manto (supercie) empalma el borde inicial. Esta propiedad se observa claramente en la Tabla I, al constatar que u iv para 0 y 4 son id enticas.
"
n Resulta evidente entonces que, en general, la supercie formada por f z z z 1 n 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.
&'# 2 #
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 funci on a su alrededor lleva a un valor distinto al on f z exhibe una del punto de partida. En la Fig. (1.20) se ilustra un punto z en torno al cual una funci 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
La uni on de estas hojas se realiza en los cortes. La uni on de todas estas hojas conforma la supercie de Riemann. En el caso de raices n- esimas, el n umero de hojas de Riemann distintas es nita, en tanto que 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 colecci on de innitas hojas denen la supercie de Riemann. Lo interesante es que esta construcci on permite la continuidad de la funci on en toda la supercie, a pesar de que hayan cortes.
-2 2 1
-2 2 1 0 -1 -2 0 -1
2n
# / /"
-1
0
0 1
-1
2
-2 6
4
-2
2 1.5 2 1 0 -1 0 1 -1 2 -2
2
1
-4
0.5 0 -2
Fig. 1.21: Re ln z (izquierda), una (centro) y tres hojas (derecha) de Riemann para Im ln 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 relaci on
& # '
f z dz
2i
Res f zj ,
j
& '
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
con 0
< <
p
, "
0
xp 1 dx , x2 1
Al ser p un real cualquiera entre 0 y 2, entonces la funci on resulta multivaluada. Al representar z e i , 2 , esta funci on tiene un punto de rama en z 0 y exhibe un corte en el eje real positivo. con : 0 Estas consideraciones motivan examinar la trayectoria indicada en la Fig. (1.23). La trayectoria cerrada
zp 1 z2 1
R
+i
r
i
(+) ()
corte
Fig. 1.22: Trayectoria cerrada para una integraci on sobre trayectoria cerrada evitado un corte. est a formada por cuatro curvas.
v , w Mv r w
y
?
R
0.
: dos tramos rectos radiales muy pr oximos al corte, uno a cada lado de este.
0. Se encuentra que
Podemos escribir
?
r
0.
Resf zj .
j
& '
Para z
z2
#
e3i
Para z
& $ ' & $ ' ,& $ ' # & $ , # & $ ' & $ ' ,& $ ' # &
z z1 z zp 1 z1 z z2 z2 evaluamos el residuo: z z2 z zp 1 z1 z z2
z1 evaluamos el residuo:
zp 1 z z2
zp 1 z z1
z1
z2
1 p z 2i 1
1 p z 2 1
1 ip e 2
p z2
z2
z1
1 p z 2 2
1 3ip e 2
U de Chile
36
FCFM
H. F. Arellano
! & '
p . 2
Res
? $ & "
1 ip e 2
2
e3ip
' #3$
2
eip cos
Para
vMr w v, w
parametrizamos z
Para
parametrizamos z
0
# , v, w J " # v ,w # # , v , wv , w v v , w" K
ei , (dz
0
d ei ), con : 0
p 1
p 1 ei 2 e2i , (dz
ei d
2
ei
d ei
2
p 1 ei p 2 e2i 2
1 2
ei
r ? ? ", v ,w ? r , $ w , ? "
0
. Entonces,
p 1 d 2 1
), con :
0 . Entonces,
e2ip
p 1 d 2 1
&$
1
2ip
p 1 d 2 1
2i eip cos
p 2
p 1 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 este no enlaza singularidades; 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 f ormula integral de Cauchy,
Adem as de estos teoremas surgen otros que apuntan a la unicidad de las funciones anal ticas. En otras palabras, dada una funci on anal tica f1 z denida sobre un dominio D1 C , entonces de las innitas funciones anal ticas denidas en D2 , s olo una de ellas, f2 z , empalma completamente con f1 en D1 D2 . Este argumento permite la prolongaci on (o extensi on) de cualquier funci on anal tica a regiones en el plano complejo que van m as all a de su dominio original de denici on.
&'# &'
f z
1 2i
&' $
f d d . z
&'
Teorema: Sean f1 z , f2 z : C C , anal ticas en una regi on S . Si f1 f2 en una vecindad de un punto z S (o segmento de curva en S ), entonces f1 z f2 z z S . La demostraci on de este teorema es bastante simple. Si f1 z f2 z en una vecindad de un punto z S entonces tambi en lo son todas sus
:|
FCFM
U de Chile
Fig. 1.23: Expansiones de Taylor desde los bordes de los discos de convergencia. derivadas en z . As , ambas conducen a id enticos los coecientes para sus respectivas series de Taylor. Si ellas tienen radio de convergencia R1 , entonces ambas conducen a id enticos coecientes en sus expansiones en torno a un punto z1 cerca de la periferia del disco de convergencia. Desde tal punto se expanden nuevamente, dos nuevas series (id enticas). Este procedimiento se repite, tomando puntos cerca del borde de los discos de convergencia, hasta cubrir toda la regi on S . a comUn corolario del teorema anterior es que el comportamiento de una funci on anal tica en S C est pletamente determinada por su comportamiento en una vecindad en torno a cualquier punto regular en S . Por lo tanto, una funci on anal tica puede ser extendida m as all a de su dominio de denici on, siendo esta prolongaci on u nica. Tal construcci on se denomina extensi on anal tica o prolongaci on anal tica. Ilustremos un par de ejemplos.
n on est a denida para z 1, caso en que converge a Consideremos f1 z n 0 z . Esta expansi f1 z 1 1 z . Para z 1, f1 queda indenida. Por otro lado consideremos g z 1 1 z , funci on 1. Claramente g z f1 z para todo z 1. Por lo tanto, g z es la anal tica denida para todo z prolongaci on anal tica de f1 en la regi on z 1.
Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z e zt dt , expresi on denida z 0 S1 z : Re z 0 , regi on en la cual f1 z 1 z . Bajo esta denici on f1 z queda indenida para Re z 0. Por otro lado, consideremos la expansi on
iy Re{z}>0
/ /)< & ' # . & $ ' &'# &' &' / ) / < / J/ ; , # & ' | &'# . &'
f2 z
|z+i|<1
expresi on convergente a 1 z en la regi on S2 z: z C z i 1 . Podemos decir entonces que f1 z es la prolongaci on anal tica de f2 z en S1 , del mismo modo que f2 es la prolongaci on anal tica en S2 de
&'
&'# #3{
f2 .
n 0
&'
U de Chile
38
FCFM
H. F. Arellano
f1 z . Teorema: Sean f1 anal tica en S1 y f2 anal tica en S2 . Sea adem as B la frontera com un de S1 y S2 . Si nua en S1 B y f2 cont nua en S2 B , entonces f1 f2 en B , con f1 cont f z es anal tica en S1
&' #
S2
&'#
f1 f2
z z
||
S1 S2
B B
La demostraci on 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 que C f z dz 0 para C arbitraria. Puesto que f1 y f2 son cont nuas en el borde, es v alida la siguiente
&' # &' #
&'
S2
C2 C1
S1
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 a garantizada si C se mantiene en cualquiera de los dominios S1 o S2 . Un corolario de este teorema es el llamado principio de reexi on de Schwartz que prescribe una forma de extender anal ticamente una funci on denida en una regi on del plano complejo. Denotemos por C el semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C R C, anal tica. Si f z para z R, entonces la funci on g : C C, denida por adem as f z
&' #
es la prolongaci on anal tica de f en C . Una constataci on directa de este corolario es vericando que la condici on de Cauchy-Riemann es cumplida por g . Descomponiendo f z u x, y iv x, y , y g z a x, y ib x, y , entonces g z f z
& ' # 1& 1' = & ' # & $ ' & ' #3$ & \ .\ # \ .\ \ . \ #3$ \ . \
a x, y u x, y , b x, y b y , y que a y 39
g z
,?
,
r ?
v x, y .
b x.
FCFM
U de Chile
1.16.
Relaciones de dispersi on
La condici on de Cauchy-Riemann establece relaciones diferenciales (locales) entre las partes real e imaginaria de una funci on anal tica. En contraste, las relaciones de dispersi on permiten establecer relaciones integrales (globales) entre ellas. A tales relaciones tambi en se les reconoce como representaciones espectrales, relaciones de Kr oning-Kramers o transformaciones de Hilbert. Consideremos una cantidad 0. Consideremos f sica anal tica en el semiplano complejo superior. Podemos suponer que l m entonces la integral sobre una semicircunferencia (innita) C abarcando el semiplano complejo superior. Si es real, entonces
Por lo tanto,
Descomponiendo
Re
"
& ' $ &: ' , $ : & ' , $ : & : ' # $& ' : & : ' # $ , $& ' : ,
P 0 d i P d .
1.17.
Este m etodo es particularmente u til para obtener formas asint oticas de funciones expresadas como integrales en el (o prolongables al) plano complejo. Consideremos la integral
con f y g funciones anal ticas, y una variable real, grande y positiva. Si denotamos f ef
z
g z dz ,
# "
u
eu cos v
i sin v
Al ser grande, entonces una peque na variaci on de v hace que las funciones seno y coseno oscilen r apidamente. 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 deformaci on de C y para el cual f z 0. Puesto que f es anal tica, entonces tanto u como v son arm onicas 2 2 2 2 u u v v 0 0 (1.17.6) 2 2 2 x y x y2 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 f z 1 f z 2
&'
\\ " \\ #
(1.17.7)
U de Chile
40
FCFM
H. F. Arellano
!
v
u steepest
v constante
Plano Complejo
z z f z
&n $ : ' : # #
rei 2Rei
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 , s olo aquellos para n 1 (C1 ) y n 3 (C3 ) u x, y pasa por un m aximo local. As , examinamos el integrando de I en
<#
f z f z
& '
& ' & ' = & ' $ & :' # v r w & : 'G[ # & " ' & : 'G[ # & " ' # # $ ' = & '$ & :' #
f z f z r 2 R ei
2
Plano Complejo
(1.17.8)
r2 R cos 2 r2 R sin 2
, .
(1.17.9)
n 2
. 2
(1.17.10)
Por lo tanto ef z ef z e t . Puesto que es grande, entonces e t es muy aguzada, lo que permite contener la integraci on a una peque na regi on cerca de z , a lo largo de C1 C3 . Denotando C aquel trayecto que consiste en una deformaci on de C que pasa por z siguiendo C1 C3 , entonces aproximamos la Ec. ( 1.17.4), I e f
z t2
& '
rR2
f z
2
(1.17.11)
g z dz
ef
t2
g z dz .
(1.17.12)
FCFM
41
U de Chile
Buscamos ahora una correspondencia (parametrizaci on) entre t y z . Combinando Ec. ( 1.17.8) para r y Ec. t R ei . Conviniendo t 0 en C1 , con 0 1 , ( 1.17.11) para t es f acil vericar que z z entonces z C3 queda naturalmente representados por t 0. As ,
4 <
zo
t>0
C3
t<0
z=z o+
t e i R
Esta forma aproximada de I involucra integrales expl citas en t. Si expandimos g z en serie de Taylor en 2 torno a z , entonces las integrales en t se reducen a integrandos del tipo tn e t , conducentes a integrales perfectamente calculables (notar que para n impar las integrales en t se anulan). Al orden m as bajo en esta expansi on obtenemos 2 ei1 g z ef z , (1.17.15) I f z donde hemos sustituido 2R por f z
# :" 2
z
&'
t i1 e R
=
e
t2
dz
# 2
ei1 dt . R
(1.17.13)
ei1 R
g z
t i1 dt . e R
& ' v ` w P / n & & : : '' / / n& :'/ , # , & '98 & " ' # ,
y utilizado e
t2
&' ,
'
(1.17.14)
dt
(1.17.16)
z dz .
Buscamos una forma asint otica ( grande) para esta integral. Para aplicar el m etodo reci en visto al integrando le damos una forma del tipo ef g . Se puede vericar f acilmente que
con lo cual f z
&'#
, # v ,w
z
ln z z
1. Entonces,
=
42
f z
X& ' #
0 para z
:#
U de Chile
FCFM
H. F. Arellano
Evaluamos f z en z ,
n& ' :
!
1 2
Identicamos :
1 z2 1 i e 2
2. Para
1 tenemos 1
# =
0 .
ei1
1.
/? 2 ,w
.
2 e
v ,w
ln 1
N !, con lo cual N.
FCFM
43
U de Chile
U de Chile
44
FCFM
Cap tulo 2
M as adelante nos avocaremos al estudio de ecuaciones del tipo 2 0, 2 k 2 0, etc. En muchos casos es posible reducirlas a ecuaciones diferenciales ordinarias, conducentes a expansiones en t erminos de funciones especiales. El grado de convergencia de estas expansiones est a en gran medida condicionada a la anidad entre las simetr as del problema y la base de funciones especiales a expandir. Resulta adecuado entonces hacer una breve revisi on de consideraciones generales en el manejo de coordenadas curvilineas ortogonales. Nuestro punto de partida lo constituyen las coordenadas rectangulares o cartesianas. En ellas, un ericamente punto P queda caracterizado por tres par ametros geom etricos, x, y, z , que denotaremos gen por x1 , x2 , x3 . El mismo punto P puede ser descrito por otro conjunto de par ametros tales como r, , , , , z , etc. Denotaremos a cualquiera de estos por u1 , u2 , u3 . As como las coordenadas rectangulares y esf ericas, o rectangulares y cil ndricas pueden relacionarse entre s , suponemos relaciones funcionales x1 , x 2 , x 3 u1 , u2 , u3 , es decir
' &
'
&
&
'
'
& '
f1 u1 , u 2 , u 3 ,
'
x2
# &
x1 u1 x u2 x1 u3
1
f2 u1 , u 2 , u 3 ,
'
u2
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 orientaci on de las supercies coordenadas cambia de punto a punto, entonces nos referiremos a coordenadas curvil neas generales. Si estas supercies son ortogonales en todo punto P entonces hablaremos de coordenadas curvil neas ortogonales.
&
'
#
# &
'
x3
F2 x 1 , x 2 , x 3 ,
'
u3
m
x3 u1 x u2 x3 u3
3
# & # &
f3 u1 , u 2 , u 3 .
'
F3 x 1 , x 2 , x 3 .
'
45
y = Cte
z
= Cte
z = Cte = Cte
x
Fig. 2.1: Supercies coordenadas en coordenadas rectangulares y esf ericas.
2.2.
Coecientes m etricos
Consideremos un vector r posicionado un punto P en el espacio. Un desplazamiento innitesimal de tal punto queda dado por
# 8 \\ ( #%& '
dr ds
r du1 u1 ds
2
" \\
r du2 u2
" \\
r du3 u3
8 \\
r duj uj
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
e j
# / /
aj aj
e3 e2 e1 u1
ai aj dui duj
U de Chile
46
FCFM
H. F. Arellano
# (
Un sistema se dice ortogonal cuando los e i son ortogonales entre s . En tal caso los coecientes gij conforman una matriz diagonal, i.e. gij gii ij . En tal caso se tiene
& ' 8
ds
2
ds2
g22 du2
ds2
2
g33 du3
ds3
2
Esta relaci on exhibe la misma estructura que el teorema de Pit agoras. Observamos que los elementos de longitud dsi escalan con dui via un factor de escala hi , dsi En coordenadas rectangulares, g11
#2 # # # 8
hi dui g22 g33
gii dui ; 1.
(i=1,2,3).
Para obtener los coecientes m etricos de un cierto juego de coordenadas supongamos que las coordenadas cartesianas xi dependen de coordenadas ortogonales uj . Vale decir, xi xi u1 , u2 , u3 , para i 1, 2, 3. Podemos escribir entonces, ds2
dxk dxk
k i
gij du du
ij
# \ \
k i j
xk dui ui
\ \
j
xk duj uj
# & ' # \ \ \ \
ij k
xk ui
xk uj
dui duj
# \ \ \ \
k
xk ui
xk . uj
2.3.
La determinaci on de los coecientes m etricos permite la construcci on de elementos de l nea, supercie y de volumen asociados a algun juego de coordenadas. En general, podemos denir estos elementos mediante
ds
# # #
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 x x3 De estas se obtienen Z
2
? ?
x y z
# # #
cos sin Z
# P " # &.' #
x2 y 2 arctan y x z
k
# \ .\ ##
# \ \ \ .\ # \ .\ # # " "
h2 xk 2 d2
. 0, con lo cual h dZ 2 .
1. En forma an aloga se
2.4.
Operadores diferenciales
Los coecientes m etricos permiten el c alculo directo de los operadores , , y 2 en cualquier juego de coordenadas ortogonales. Los siguientes resultados los justicaremos m as adelante.
&'
( #
A1 e 1 1 h1 h2 h3
"
e 1 h1
\&
A2 e 2
A 1 h2 h3 u1
y #
A
1 h1 h2 h3
\\ " \\ " \\ " ' "\ & ' "\ & ' \ \ \ \ \ \
u1 e 2 h2 u2 e 3 h3 . u3 A3 e 3 , entonces h1 A 2 h3 u2 h2 e 2
2
h1 h2 A 3 u3
h1 e 1
1
h3 e 3
3
h1 A 1
h2 A 2
h3 A 3
U de Chile
48
FCFM
H. F. Arellano
!
u3 h1 h2 h3
1 h1 h2 h3
h1
# #
A modo de ilustraci on, calculemos el laplaciano en coordenadas cil ndricas. En este caso vimos que h 1; h2 h ; y h3 hZ 1, con lo cual h1 h2 h3 . Sustituyendo, 2 1
# #
\ \ \ \ # # # \ \ \ \
u1 h2 h3 h1 u1
" \\
u2
h3 h1 h2
\\ " \ \
u2 . Z2
2
\\
u3
" \\ " \\
1 2 2 2
2.4.1.
El gradiente
du1 du2 du3 . u1 u2 u3 Estas mismas variaciones en las coordenadas denen un desplazamiento innitesimal ds dado por ds Deniendo convenientemente e 1 h1 du1 e 2 h1 du2
"\ \ "
e 3 h1 du3 .
resulta evidente entonces que d ds. De esta forma se interpreta geom etricamente como la m axima variaci on de por unidad de desplazamiento. En efecto, podemos escribir
con el angulo entre y la direcci on del desplazamiento ds. Si se hace coincidir la direcci on de ds con ds d ds M ax . la de , entonces 0 y dM ax
\\ "
e 2
1 h2 u 2
\\ "
e 3
1 , h3 u 3
\\
2.4.2.
La divergencia y el Teorema de Gauss est an estrechamente relacionados. En efecto, consideremos un campo vectorial A dado por 1 A2 e 2 A3 e 3 . A A1 e Supongamos adem as Ai
# &
'
"
"
Aqu , dS d n , con d un elemento innitesimal de supercie de , con n la normal exterior en el punto. La integral anterior se puede descomponer en la suma de dos contribuciones, una sobre una supercie 1
A dS .
FCFM
49
U de Chile
dS dS
dS
dS 1 d S2
2
Fig. 2.4: Integral sobre una supercie cerrada y su equivalente en dos contribuciones. y otra sobre 2 . La uni on de ambas reconstituyen la supercie original y sus normales en la regi on de contacto apuntan en sentidos opuestos, garantizando la cancelaci on de las contribuciones mutuas. Entonces,
A dS
1
( "
A dS .
2
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
( # #
i
i
1 i
A dS
i
En el u ltimo paso se ha introducido el elemento de volumen i de la i- esima celda. En el l mite de celdas innitamente peque nas tenemos A d , donde hemos denido
y denotado por V el volumen contenido por la supercie . En esta expresi on denota una supercie de on la divergencia tama no innitesimal en la ubicaci on dada por las coordenadas u1 , u2 , u3 . Con esta denici 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 h 1 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:
&'
vw ( ( # Y
V
l m
A dS
&
'
Sumemos el primer par de caras opuestas (la 1 seg un e 1 y la 6 seg un e 1 ). Los campos en la cara 1 se evaluan en u1 u1 , u 2 , u 3 , mientras que en la 6 en u1 , u 2 , u 3 . Aqu u 2 y u 3 representan valores medios de las coordenadas. El elemento de area (vectorial) en la cara 1 es S1 e 1 h2 h3 u2 u3 , mientras que en 2 3 la cara 6 es S6 e 1 h2 h3 u u .
& "
#%$
'
&'? &'?
1 6
A1 S 1 A6 S 6
#&
'
A dS
Ak Sk .
k 1
A 1 h2 h3
u1 u1 u1
u2 u3
A 1 h2 h3
u2 u3
U de Chile
50
FCFM
H. F. Arellano
!
()
d 1(+) u1
-- -----
u3
d 1 u2
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 A 1 h2 h3
u1 u1
&
' r $&
A 1 h2 h3 h1 h2 h3 u1
' ?
u1
Un procedimiento an alogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen A
( #
1 h1 h2 h3
Si el ujo neto por unidad de volumen es nulo, entonces todo el ujo entrante a una celda innitesimal sale de este. Tales campos tienen divergencia nula.
A 2 h1 h3 u2
0, obtenemos
. z , h1
# # #
h2 h3
1.
2.4.3.
El laplaciano
1 h1 h2 h3
\\
u1
h2 h3 h1 u 1
h1 h2 h3 u 3
\\
y2
. z2
FCFM
51
U de Chile
2.4.4.
Como vimos recientemente, la divergencia surge de la descomposici on de una integral de ujo en la suma de ujos netos sobre volumenes innitesimales. En forma an aloga, veremos que el rotor emerge de la descomposici on de una integral de camino cerrada en la suma de circulaciones netas sobre trayectorias elementales. 1 A2 e 2 A3 e 3 , el cual es integrado a lo largo Consideremos nuevamente un campo vectorial A A1 e de una trayectoria cerrada C . Denotando d a los elementos de l nea de la curva, entonces W
# (
A
C
"
"
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: Descomposici on progresiva de una trayectoria en dos y m as circulaciones. 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
# ( " ( ? (
N i
A d
A d
A d .
C1
C2
Ci
i
i
1 i
A d
Ci
( #
i n i
i
n i i
A d
Ci
En la u ltima igualdad hemos introducido un vector normal unitario n i cuyo sentido obedece la regla de la mano derecha aplicada a la circulaci on de la i- esima celda elemental. Al pasar al l mite de innitas subdivisiones se obtiene el conocido Teorema de Stokes, W
donde se ha denido
# ( #vw y ( # y Y (
A d
C C
A d ,
l m
A d .
De esta denici on resulta evidente el signicado del rotor como una medida de la circulaci on de un campo vectorial por unidad de supercie. Para el c alculo de las tres componentes vectoriales del rotor es necesario analizar la circulaci on en circuitos elementales perpendiculares al e i correspondiente.
U de Chile
52
FCFM
H. F. Arellano
!
(a)
e3
u +du
3 3 (b)
(c)
3 (d)
e2
u
2
u +du
e 1 .
Evaluemos la componente e 1 del rotor en coordenadas ortogonales. Para ello descomponemos circulaci on sobre cuatro tramos ortogonales como se ilustra en la Fig. (2.7)
En este caso particular, a h3 du3 e 3 , y b h3 du3 e 3 . Adem as, c h2 du2 e 2 ; d h2 du2 e 2 . 1 2 2 3 u , u , mientras que en b se evaLas funciones h3 y A3 en el tramo a son evaluadas en u , u luan en u1 , u2 , u 3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro contribuciones obtenemos
&
a,b,c,d
Este procedimiento se aplica de igual forma para las otras dos componentes. Ello conduce la expresi on para el rotor resumida en la Ec. ( 2.4.1), que en el caso de coordenadas rectangulares conduce a
( ? ( # ( # & #%$ ' ' ? Z @ANAEAEAEDF / ANr AEAEAEH $ @A AEDFA / AEH [ vK w vK w # & y ' # \& \
A d Ai
i
en la
Aa
i a,b,c,d
h3 A 3
u2 u2
h3 A 3
u2
u3
1 h2 h3
h3 A 3 u2
" ( " ( " ( #$ & " ' $ Z @BANAEAEAEDF / AEr AEAEAEH $ @BA AEDFA / AEH [ vK w vKY w ' $ \& ' \
Ab
b
Ac
Ad
#&
'
h2 A 2
u3 u3
h2 A 2
u3
u2 .
h2 A 2 u3
& y ' # \ $\ \ \
A
x
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 e introducida por Dirac en los a nos 20 del siglo pasado y ha sido utilizada extensivamente por los f sicos desde entonces. Su formalizaci on matem atica ocurre bastante despues, hacia los a nos 50, por Laurent Schwartz con la introducci on de la teor a de funciones generalizadas o distribuciones. En esta secci on revisaremos algunas nociones acerca de delta de Dirac funci on sin profundizar demasiado en sus aspectos formales.
3.1.
Denici on
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
Para hacerse una idea, se trata de una funci on que es nula en todo el espacio salvo en las vecindades de x 0, donde se hace innita. La delta de Dirac no es una funci on pues no tiene imagen denida. Su signicaci on se maniesta en el contexto de integrales. Por tal motivo Dirac denomin o a x una funci on impropia.
0 1
para x
&'
Estos resultados son tambi en v alidos cuando f representa vectores u operadores. Con respecto a los l mites de
f 0 x dx f x x
f 0
a dx
f 0 . De este resultado es
integraci on, estos no necesariamente deben ir desde a , pudiendo tambien ser nitos. Por simplicidad en la escritura omitiremos los l mites de las integrales en el subentendido de que ellos no son ambiguos.
3.2.
Propiedades
' ## & ' ' ' # // &' & $ ' # / / Z & $ ' " & " 'C[ & $ & & ' $ & $ ' ## & & ' $ & $ ' ' X& & ' # $ X& ' ' ' ' X & ' # $ & ' Z & & 'C[ # / X & ' / & $ '
x2 f x x a x 0 1 x a 1 x a 2a f a x a b x a a x x b dx a x f x dx x x f 0 x f x
k
1 f xk
xk
con xk cero de f x
&'
(3.2.1h) (3.2.1i)
Para la primera de ellas consideremos una funci on f x arbitraria y hacemos el cambio de variable z x. Entonces
#%$
Por lo tanto x x act ua, en el sentido de una distribuci on, como el cero.
En el caso de la identidad ( 3.2.1c) consideremos una funci on f x arbitraria y a introducimos un cambio de variable z ax. Entonces, f x ax dx 1 a f z z dz a 1 a f 0 z dz f z 1 z a
& *& $ 3 , *& $ & # $ r ' ' , ' ' &' &+$ ' # & & # & ' Z 'G[ Z &' &' ; # & & # & & # & & # & & ' ' ' ' ' ' ' '
f x x dx f z z dz x f 0 z dz x. 0. 56
&' # & ' & ' # & ' & ' , , &' &' 'C[ & ' # & ' / #
f x x dx .
0. Adem as
dz .
U de Chile
FCFM
H. F. Arellano
!
f x x2 a2 dx a2 dx
0
Una propiedad menos directa es la ( 3.2.1d). Consideremos una funci on f arbitraria. Entonces,
0
$ .2 "
Un procedimiento an alogo se aplica para la segunda integral y que conduce a un id entico resultado. Por lo tanto, 1 1 f x x2 a2 dx f a f a . 2a 2a De esto se inere entonces 1 x 2 a2 x a x a 2a Las demostraciones del resto de las propiedades quedan propuestas.
# &' & $ ' " &' & $ ' , # &+$ ' & $ ' " & ' & $ ' , # $ & $ # , & $ # ' '2 " // , & & $ # &+$ " & ' ' // ' // ' & $ ' # / / Z & $ ' " & " '[
a2 dx f x x2
0
a2 dx
x2
a2 dx
f a
x2
x2
a2 , con lo cual dz
x2
a2 dx
dz
2 z
a2
1 . 2a
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. 2 2 n e nx ; x l m n sin nx x ; l m n x 1 n x l m n 1 n 2 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 eik x x dx x x 2 sin K x x x x l m K x x 1 x x l m 0 2 x x 2
FCFM
U de Chile
U de Chile
58
FCFM
Cap tulo 4
El teorema de Fourier permite la representaci on de una funci on en un intervalo a, b mediante una expansi on de las funciones trigonom etricas seno y coseno. A esta serie se le denomina serie de Fourier. La demostraci on de este teorema data de poco mas de dos d ecadas despu es, en 1829, por Dirichlet.
Z [
4.1.
El Teorema de Dirichlet
on acotada en el intervalo , , con un n umero nito de m aximos, m nimos y Sea f x una funci discontinuidades. Sea adem as f x peri odica en la forma f x 2 f x para aquellos argumentos fuera del intervalo. Entonces, la sucesi on
&'
1 2
converge a
# :" Z ? Z & " ' " & $ 'C[ # &' # , & ' , & ' # : " Z
sN a 2
N n 1
&'
0
an cos nx
[ ( ((' ((('
f x
f x
cuando N
an bn
1 1
f x cos nx dx f x sin nx dx
& # & #
n n
0, 1, 2, 1, 2, 3,
n 1
"
bn sin nx .
En aquellos puntos x donde la funci on exhibe una discontinuidad, s N tiende a la semisuma de los valores de la funci on a cada lado de la discontinuidad. La adaptaci on del teorema anterior a una funci on f cuya periodicidad es 2L es bastante simple. Si la
59
donde
En vez de hacer uso de funciones trigonom etricas en las expansiones anteriores, muchas veces resulta pr actica su expansi on en t erminos de las funciones exponenciales de argumento complejo. Si representamos cos p eip e ip 2, sin p eip e ip 2i, obtenemos f x a 2 1 2n a n ei .
nx L
Z $ [ & '# :" t u # &' t u , # &' t u , & " , '. % # & $ , '. v w" , v & ' # : " 8 , v w ; : # : # $ , # "
L, L , entonces an cos a 2
n 1
nx L
"
bn sin
t ui
nx L 1, 2, 3,
an
1 L 1 L
f x cos f x sin
L L L
nx L
dx
bn
nx L
dx
& # & #
n n
0, 1, 2,
( ((' ((('
e
i
nx L
w $
ibn ei
v w $ , v w
nx L nx L
c n ei
nx L
0)
cn
a 2 an an
i bn i bn
2 2
Una forma m as directa de obtener los coecientes cn , partiendo directamente de f x y por tanto prescindiendo de los coecientes an y bn surge directamente del siguiente desarrollo:
c n ei cn
f x e
imx L
dx
mx L
dx
L
ei
n m x L
dx .
2Lnm
# &', ,
f x e
L
imx L
dx .
4.2.
Bases de funciones
Antes de continuar con el tema es oportuno hacer una breve digresi on sobre lo que posteriormente llamaremos base de funciones. Consideremos el espacio vectorial euclidiano R N , donde un vector arbitrario
U de Chile
60
FCFM
H. F. Arellano
F puede ser expandido en t erminos de los elementos de la base ortonormal b 1 , b2 , , bN . Bajo el producto interno usual (producto punto), los elementos de esta base satisfacen bi bj ij Entonces podemos escribir F
{ # ((( ~ (
i 1
c i bi .
A este punto s olo F y los elementos de la base son conocidos. Para obtener los coecientes c i nos valemos del producto interno y de sus propiedades lineales. Multiplicando por b k a ambos lados obtenemos bk F N ck . N otese la notable similitud entre este procedimiento y el empleado para obtener i 1 c i bk bi los coecientes cn en la serie de Fourier. La analog a se hace evidente al establecer un paralelo entre los einx L como elementos de una base de funciones. La elementos bn de la base en RN y las funciones analog a es completa al introducir un producto interno entre funciones. El despeje realizado para obtener los coecientes cn en la expansi on de Fourier sugiere el producto interno en este caso.
& ( '#
( #
Para el ejemplo reci en visto denimos los siguientes elementos de la base de funciones,
f g
x g x dx .
f x
Esta igualdad se da para cual sea la funci on f x cont nua en el intervalo la delta de Dirac, x x n x n x .
n
&' # &' & & # 1& , ' ' ,& ' ' & ' # & X' & X' X & ' # X , @ AEAEAE, AEANAEAEAEAEAEAEAEAEDFAEANAEAEAEAEAEAEAEANAEAEAEH &' & X $ ' # & X' & '
f x c n n x
L n L
k x
k x f x dx
cn
k x n x dx
dx
L
ck ,
n x f x dx
cn
n x
dx
f x .
FCFM
61
U de Chile
A esta relaci on se le denomina completitud, que en el caso de la base de Fourier toma la forma x x 1 2L ein
n
& X$ '#
v , w
x x
Es importante tener presente que la denici on del producto interno permite el uso de intervalos arbitrarios 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
Z [
, ((( ? (((
4.3.
Las series de Fourier resultan muy u tiles para la descripci on de funciones peri odicas, aunque esta no es una propiedad restrictiva. En efecto, cualquier funci on denida en un intervalo del tipo L, L puede ser 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 .
?
n
Z$ [
1
Como hemos visto, la base de funciones ortonormales cuyos elementos n x satisfacen la relaci on de completitud x
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 $ ' # ,
x kn
n L x
& X $ ' # ,
x
kn
1 ikn e 2
v wv , w # . # . v , w ? v , w ,
1 i e 2L
n L x x
1 2
eik
dk .
& '? & '# 2 & X $ ' # & X' 1 & ' ,
k x 1 2 ei
2 k p
1 eikx , 2
k x k x dk .
Examinemos la condici on de ortogonalidad, que para la base discreta de funciones expresamos nm . Esta vez consideremos
n x m x dx
dx
p ,
que constituye la forma que adopta la relaci on de ortogonalidad de los elementos de la base. Un motivo por 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 expansi on de la funci on f x como una combinaci on lineal de los elementos de la base k x . Los C k corresponden a los coecientes de tal expansi on. El uso de la ortonormalidad de las funciones k x permite obtener tales coecientes. Para ello multiplicamos ambos lados por p x , integramos en x y hacemos uso de ortogonalidad. Entonces, C k
&'
!
(4.3.1)
C k k x dk ,
Esta integral est a totalmente denida si es que resulta acotada. En tal sentido examinemos,
Entonces, si
, / & ' /
/ & '/#
C k
f x k x dx
& ' # & ' 1 & ' , & ' 1 & ' 4 2 / & ' / , &'
f x k x dx . 1 2
1& '
(4.3.2)
f x dx .
Hasta ahora s olo hemos ilustrado la extensi on de las series de Fourier a rangos espaciales innitos. Vimos que mediante este recurso de tambi en posible expresar funciones como la superposici on de funciones arm onicas representadas por exponenciales de argumento imaginario [c.f. Ec. ( 4.3.1)]. Los coecientes de on original [c.f. Ec. ( tales superposiciones, los C k , exhiben una estructura bastante similar a la funci on que la funci on de partida 4.3.2)]. En cierta forma tales elementos C k contienen la misma informaci on alternativa de la funci on de partida f . f x , constituyendo una representaci
&'
&'
&'
4.4.
Transformada de Fourier
&'
k F k . As entonces, de acuerdo a la discusi on de la secci on anterior, Otra notaci on equivalente es f la transformada de Fourier representa los coecientes de la expansi on de una funci on dada en una base de funciones arm onicas. El signo en la exponencial es por un asunto de uniformidad con la usanza en mec anica cu antica, aunque es totalmente v alido el uso del signo +. S olo hay que mantener consistencia. La extensi on de la denici on de la transformada de Fourier a funciones en R 3 , del tipo f x, y, z , es natural mediante F kx , ky , kz
dx .
&
&
F k
dx dy dz f x, y, z e
&
d3 rf r e
&' ,
' ,v r r w
i k x x k y y kz z
'
ik r
FCFM
63
U de Chile
La transformada de Fourier presenta viarias propiedades de inter es. En algunos casos resultar a u til denotar mediante F la transformada de Fourier en el sentido de una aplicaci on. En tal sentifo F representa F f . Considerando el caso 1D, listamos las siguientes un funcional cuyos argumentos son funciones. As , f propiedades cuyas demostraciones son sencillas.
1. 2. 3. 4. 5.
F f x , entonces f
6. 7.
&'
4.4.1.
El teorema de convoluci on
En f sica es frecuente encontrarse con integrales cuya estructura es la de una convoluci on, vale decir, x Rx
x f x dx .
(4.4.3)
A estas integrales tambi en se les reconocen como folding. En algunos casos se identica a como el output, R como la respuesta y f como el input. Un ejemplo cl asico de una convoluci on lo vemos en el c alculo del potencial en un punto r debido a una distribuci on de carga r . Mediante la aplicaci on directa del principio de superposici on se tiene que el potencial en r est a dado por r d3 r r 1 r r .
Consideremos el caso 1D y examinemos la transformada de Fourier de la convoluci on expresada por la Ec. ( 4.4.3). Multiplicando por e ikx 2 e integrando en x obtenemos k 1 2 dx e dx R x xf x .
RX
X X , , & X $ ' & ' & X' ? & X' X # X $ & X' , & ' # 2 & ' & ' ,
X, X , con X x dX e
ikX
x,
f X
k . k f 2 R
U de Chile
64
FCFM
H. F. Arellano
Por lo tanto,
cuya lectura es directa: la transformada de Fourier de una convoluci on es proporcional al producto de las transformadas de Fourier. La constante de proporcionalidad, 2 , tiene su origen en la denici on que hemos 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 representaci on inicial.
&'# 2
k , k f 2 R
&' &' 2
4.4.2.
Relaci on de Parseval
Esta es otra de las relaciones importantes en las transformadas de Fourier, cuyo uso es extensivo en o ptica y en el estudio de fen omenos ondulatorios en general. Esta relaci on establece
Esta simetr a notable tiene implicaciones muy importantes en la construcci on de representaciones en mec anica cu antica. Para demostrarla consideremos f x 1 2 k eikx dk , f g x 1 2 g k eik x dk .
Entonces,
La integral en dx conduce a 2 k
el resultado esperado.
1& & , ' & ' # 2 & ' , 1& & # , ' ' , 1& & # , ' ' & $ , X 1 '& & , '
f f x g x dx 1 2 f
x g x dx
dx
k dk f
1& & # ' , ' ' & ' # 2 & , 1& , ' , , &1 ' X & X ' , , 1& & # ' , ' '
k g k dk . f k e f
ikx
X' X
dk
g k eik x dk
dk g k
dx ei
& X' X v , w X
k k x
En la discusi on reciente acerca de bases de funciones, introdujimos la noci on de producto interno de funciones. En ella f g f g dx. Tambi en vimos que la transformada de Fourier contiene la misma informaci on contenida en la funci on de partida. La relaci on de Parseval refuerza la noci on de un ente m as abstracto, f , que proyectado adecuadamente toma la forma de una funci on en el sentido convencional. El producto interno no depende de la representaci on adoptada para f , sea esta en espacio el real x o en el espacio de Fourier k .
/# 1
4.4.3.
k - debido a una distribuci Calculemos la transformada de Fourier del potencial coulombiano - on uniforme de carga. Como vimos anteriormente, la transformada de Fourier es el producto de las convoluciones.
&'
FCFM
65
U de Chile
c k k V
& '# .
2 1 . k2
4 k . k2
(4.4.5)
Necesitamos determinar , la cual se obtiene f acilmente suponiendo simetr a esf erica. Entonces, k
La integraci on la realizamos con las variables esf ericas r, , , con el eje azimutal seg un k. Con ello k r kr cos . La integraci on en d es directa, con lo que k
( #
& '# & ' & ' , & '# &' & '
2 2 3
d rr
r2 dr r
sin d e
ikr cos
r dr r sin kr .
Considerando cargas uniformemente distribuidas en la extenci on de una esfera de radio R, entonces R r , donde representa la funci on escal on de Heaviside. Por lo tanto, k
& '# :
2 k
R 0
r dr sin kr
sin t dj0 , j1 t . t dt Estas dos u ltimas corresponden a las funciones esf ericas de Bessel de orden 0 y 1, respectivamente. Si 4 3 Zq , entonces se obtiene normalizamos la densidad de carga a Zq , vale decir, 3 R j0 t
& '#
& ' # : &+$ \ ' @ A AEAEAEAEANAEDFA ANAE&AEAEANAEH ' \ v w : & ' & ' #3$ :y # & '
2 k
R
dr sin kr .
sin kR k
2 R2 j1 kR , k
2 Zq 3 j1 kR . k2 kR
Esta factorizaci on para la transformada de Fourier de una distribuci on extendida es deliberada (en este ejemplo). La idea es examinar el caso l mite de una distribuci on uniforme en un entorno esf erico con R 0. Se puede vericar que j1 t 1 , l m t 0 t 3
&'#
U de Chile
66
FCFM
H. F. Arellano
! #
1.
con lo cual,
t
k l m
0
coincidente con el resultado debido a una fuente puntual por s sola [c.f. Ec. ( 4.4.4)] luego de hacer Zq
Y & '#
2 Zq , k2
Antes de abandonar este ejemplo resulta instructivo hacer contacto con un planteamiento alternativo . Recordemos que el potencial electrost para la obtenci on de atico satisface la ecuaci on de Poisson, 2 r Si denimos, separadamente, r
k e
2 r
&'# & ' & ' , &*$ & , & ' ' ' , & '# & ' ,
ik r
&'3 #$ &'
, r
4 r .
(4.4.6)
1 2 3
k e
ik r
1 2 3
k e k2
ik r
ik r
4 k , k2
resultado coincidente con la Ec. ( 4.4.5) para la misma funci on. Este enfoque permite resolver muchas ecuaciones diferenciales parciales mediante m etodos de integraci on directos.
FCFM
67
U de Chile
U de Chile
68
FCFM
Cap tulo 5
Ecuaciones diferenciales
Para la descripci on cuantitativa de una enorme variedad de sistemas f sicos se recurre a ecuaciones diferenciales, las que suponen que las propiedades a describir son funciones cont nuas del espacio, del tiempo u otro par ametro caracter stico. Una primera clasicaci on a estas ecuaciones permite subdividirlas en lineales y no lineales. Por ahora nos ocuparemos de las ecuaciones lineales, las cuales tambi en se subdividen en el pticas, parab olicas e hiperb olicas. A modo de ilustraci on mencionamos las siguientes ecuaciones seg un clasicaci on. La forma de estas ha sido simplicada mediante reescalamiento de las variables, a n de focalizar la participaci on de los operadores diferenciales.
El pticas: en ellas todos los operadores de segundo orden tienen el mismo signo. Laplace: 2
Helmholtz: 2 Poisson: 2
"
k2
Parab olicas: en ellas alguno de los operadores de segundo orden est a ausente. Difusi on: 2 u Schr odinger:
#\ $ " 3 #$\
tu
i t
Hiperb olicas: en ellas alguno de los operadores de segundo orden tiene signo opuesto al resto. Ondas mec anicas: 2 Klein-Gordon: 2
$\ # $ #\
2 t
0
2 t
m2
Todas estas ecuaciones constituyen un problema denido una vez que se especican las condiciones de borde (C.B.). Usualmente estas se traducen en valores de la funci on en los bordes (C.B. de Dirichlet), valores de las derivadas en los bordes (C.B. de Newman), o mixtas.
69
5.2.
Separaci on de variables
El m etodo de separaci on de variables es una estrategia que permite estudiar en forma sistem atica problemas que involucren la suma de operadores diferenciales actuando sobre espacios diferentes. Con la excepci on del problema de Poisson, todos las ecuaciones mencionadas anteriormente tienen la estructura Dr Dt , donde Dr y Dt representan operadores diferenciales en las coordenadas espaciales y temporales, R r T t , entonces respectivamente. Si se plantea una soluci on del tipo r , t
Dr R r Rr
Puesto que r y t son par ametros independientes, necesariamente cada lado de la igualdad debe ser constante, Dr R r Dt T t R r , T t .
Notar que el problema se ha reducido a un problema de valores propios y funciones propias. Si bi en este esquema tiene aspecto de ser de alcance ilimitado, sus limitaciones pr acticas radican en la implementaci on de las condiciones de borde. Como es de esperar, aquellos sistemas cuya simetr a sea particularmente simple permitir an el uso de funciones especiales que ayuden a una buena convergencia de la soluci on. Ese no siempre es el caso.
5.2.1.
Consideremos la ecuaci on de Laplace para un campo f sobre un dominio circular bidimensional. El disco es de radio R, en cuyo contorno el campo est a dado por f R, f , con f una funci on conocida y el angulo polar en coordenadas cil ndricas. En estas coordenadas la ecuaci on de Laplace, 2 f 0, se expresa 2 f 1 f 1 2f f 0 0 2 2 2 Esta u ltima ecuaci on ha sido obtenida a n de poder aplicar separaci on de variables, para lo cual es necesario
\\ \\ " \\ #
\\ \\ "6\\ #
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,
\\ #3$
2
c ,
U de Chile
70
FCFM
H. F. Arellano
! "
con c la constante de separaci on. Siendo una cantidad f sica, es razonable exigir que ella sea univaluada. Por lo tanto exigimos 2 , para lo cual necesariamente c debe ser positiva. As , denotamos c
\\ #3$
2
k2
ecuaci on diferencial homog enea cuya soluci on tentativa se puede suponer de la forma constante por determinar. Sustituyendo en al ecuaci on anterior se obtiene p 2 k 2 , o bi en p entonces, dk . k c k k k Cuando k 0, examinamos en detalle.
Ak cos k
&'? &'# =
"
p , con p una k . Si k 0,
Puesto que el centro del disco es parte del dominio de la soluci on. Si adem as exigimos regularidad de la soluci on en todo este, necesariamente dk 0 para todo k 0. Todo lo anterior restringe la forma de las soluciones fk k k ,
\\ \\ #
k k
0 0
Todas ellas son soluciones de la ecuaci on diferencial, de modo que su superposici on tambi en lo es. Escribimos convenientemente, A f , An cos n Bn sin n n 2 n 1
&
:&
& ' ? :& ' # :" : # : && ' ## : : & " ' ' : # & " " ' ' # " ' # : " & ' , ((( : # , :& ' # :& ' & ' # , :& ' & ' ,
0 c d ln . f , fk , c A ck k Ak cos k Bk sin k R, A 2 An cos n Bn sin n Rn ,
n 1
y obtenemos
f d
An
Bn
1 Rn 1 Rn
f cos n d f sin n d
A este punto el problema est a resuelto dado que se han obtenido todos los coecientes necesarios para la expansi on. Buscamos ahora una forma m as compacta para la serie. Si reemplazamos los coecientes obtenidos en la expansi on podemos vericar f ,
f d
n 1
n Rn
:& X , '
cos n cos n
"
sin n sin n d
FCFM
71
U de Chile
cos n
se obtiene d .
Esta suma se puede reordenar mediante la aplicaci on adecuada de la serie geom etrica 1 , conducente al siguiente resultado para la soluci on f ,
R2
R 2 2 d . 2 2R cos
X X
A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario vericar que la soluci on obtenida es efectivamente la soluci on al problema. Ello implica constatar que 2 f 0, y que f . Ambas vericaciones quedan propuestas como ejercicio2 . f R,
5.3.
La ecuaci on de Bessel
Recientemente abordamos el problema de la ecuaci on de Laplace en un dominio circular. Si el problema consiste en el de ondas de presi on dentro de una cavidad cil ndrica, la ecuaci on a resolver es 2 1 c2
2
Mediante separaci on de variables, r T t , podemos llevar esta ecuaci on a la de Helmholtz para . Si adem as expresamos el laplaciano en coordenadas cil ndricas se obtiene 2 2 c2 0 1 1 2
2
on de variables de la forma , , z donde hemos denotado k 2 2 c2 . Introducimos separaci que al ser reemplazada en la ecuaci on anterior conduce a 1 1 d R R d 1 1 F 2 F 1 k2 0.
En esta ecuaci on se ha hecho uso de que R R , F F y z . Tal dependencia en s olo una variable permite el uso no ambiguo de la notaci on d dx, o primas para las derivadas. Adem as, la suma de los u ltimos dos t erminos del lado izquierdo de la ecuaci on depende, en principio, s olo de la variable z , mientras que el resto s olo de , . La independencia de estos dos juegos de variables exige que cada uno de los t erminos sea constante, es decir z k2 p2 z 0.
$ \ # # &' &' \ \\ \\ " \\ " \\ " # " # ? # . & '# &' & ' &' n " @A ANA AEnDF" A ANA AEH # X " # &' # &' # &' . & ' n& '" & $ ' & ' # S R S S R S S R
t2 0. 2
2
z2
k2
0,
R F z ,
(5.3.1)
p2
(5.3.2)
U de Chile
72
FCFM
H. F. Arellano
El motivo por el cual se ha optado por p2 en la constante de separaci on y no por p2 es por el tipo de soluci on que surge para . Esta consideraci on queda m as clara m as adelante, cuando abordemos las funciones modicadas de Bessel. Volviendo a la Ec. ( 5.3.1), multiplicando por 2 y reagrupando t erminos se obtiene
"
2 p2
1 F F
n# #
En esta separaci on se ha introducido la constante n2 , el cuadrado de un entero, a n de garantizar que F sea univaluada ante 2 . Entonces, la ecuaci on denitiva para R es
? "
d R d p ; n
X$
n2 R
"
&'
2 p2 R
0.
, escribimos dR dz
d dz
la ecuaci on de Bessel en coordenads cil ndricas. En esta u ltima permitimos que el par ametro tome cualquier valor. Para el caso particular del ejemplo introductorio este es un entero.
2 R
"
z2 R
0,
(5.3.3)
5.3.1.
Funciones de Bessel
Buscamos una soluci on en serie para la ecuaci on de Bessel. A n de permitir generalidad intentemos Rz zr ak z k
Entonces,
z zR
k 0
zr S .
zr
Al sustituir en la ecuaci on de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplicaciones se obtiene r2 k 2 ak z k
2
:Q"
r2 2 a r 1 2 2 a1 2rk k 2 ak ak 2
& " ' " ' $ r # " # & $ ' : # Z & " " '' $ " [ ## ,
k 1
zr
kak z k 2rk
k 2 ak z k .
k 1
ak z k
0.
k 0
B1 z
Bk z k
73
U de Chile
Si a
:Wm
0, necesariamente r ,
Para r
#"
# = #
a1
a partir de a . Alternativamente, Esta relaci on de recurrencia permite determinar a2 , a4 , a6 , podemos denir los nuevos coecientes bm (m 0, 1, 2, ) mediante bm a2m . Entonces, bm bm 1 , 4 mm
m
con lo cual
Todos los coecientes resultan proporcionales a b , el cual puede ser denido a gusto. Es standard denir m 1 b b . m 2 1 2 22m m 1 As entonces R z
:#
J z , con
Para r se genera J z , la cual es en general linealmente independiente de J z . Sin n Jn z , lo que las hace embargo, cuando es entero positivo ( n), entonces J n z linealmente dependientes. La generaci on de una funci on linealmente independiente en este caso es, por ahora, menos directa. Es posible demostrar que las funciones de Newman denidas por Yn z l m J z cos J sin
# $
mite aplicamos lHo pital son linealmente independientes de Jn z . Para evaluar este l Yn z
&'#
1
dJ d
cos
&'# #
l m
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 la serie: a1 , a3 , a5 .
(((
"
#3$ & " , ' # (((((( #: #%$ & " , ' # & " &*$ '(' (( & : " ' : &*& $ ' # & " ' = " " ' & '98 &*$ ' & &" ' " r ' &' &' # + & $ & & ? , ' ' ' & '98 Y & ' $ , & ' &' $ $ # $&*$ ' , Y & '$ t " u 9 Y " " " ((( $ &' # :#
ak bm b 4m m 1 m! .
m
J z
z 2m 2
m 0
m!
(5.3.4)
J sin cos
dJ d
1 dJ d
n dJ
ln
z 2
Jn z
(serie regular en z)
1 2
1 3
ln n
0.577216 ,
, con a
U de Chile
74
FCFM
H. F. Arellano
Para r
# $
!
2
1 resolvemos ak , ak
#3$ & " ' , $ ? $ & $ ' & , " $ ' # r # ((( #%$ & " , '
k ak 2 r 2 2 k ak 1 2 k 1 a2m
1,
con m
0, 1,
, se obtiene
bm
bm 1 . 4 mm
Se observa entonces la serie generada por los coecientes impares coincide con la generada por los coecientes pares. En esta l nea, no estamos m as que replicando lo obtenido.
Existen muchas fuentes que permiten la evaluaci on num erica de las funciones de Bessel. En la Fig. 0, 2, 4. Estas funciones tienen un par de caracter sticas (5.2) se ilustran las gr acas de Jn e Yn para n 1, que conviene tener presentes. Por ejemplo, s olo J z es no nula y nita en el origen. De hecho J 0
#& : '
:& ' #
10
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 m aximo de ubica cada vez m as alejado del origen. En relaci on a las 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 1 z n .
&'#
0, 2, 4.
:& '
Haciendo uso de los resultados anteriores es posible demostrar los siguientes comportamientos cerca del origen J z Jn z Y z Yn z
z 2
2 z ln 2 n n
1!
2 z
Para efectos de estimaciones no est a de m as tener presentes los primeros ceros de la funci on J z : {2.40, 5.52, 8.65, 11.8, 14.9, ...}.
:& '
FCFM
75
U de Chile
5.3.2.
La ecuaci on diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la siguiente forma
Si es real y 2 0, entonces las soluciones y son combinaciones lineales de J x e Y x . Sin embargo, tambi en nos podr amos encontrar con la siguiente ecuaci on, x2 y
x2 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 K x i J ix I I 2 sin 1er tipo
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.
2do tipo
0,
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.
1. 2. 3. 4.
&' &'
? ?
. .
U de Chile
76
FCFM
H. F. Arellano
5.3.3.
Diferenciaci on y recurrencia
Las funciones de Bessel satisfacen diversas propiedades, muchas de ellas bastante u tiles. Listamos algunas de ellas. z dJ dz dJ z dz J 1
# #
J zJ
d z J dz d z J dz
Para demostrar ( 5.3.5a) derivamos con respecto a z la expansi on ( 5.3.4) para J . Es directo vericar
El factor 2k permite separar el lado derecho en dos sumas, una partiendo de k 1 y la otra desde on de ndices es directo obtener la identidad ( 5.3.5a). La identidad ( 5.3.5b) k 0. Mediante una traslaci 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 u ltimas surgen de las dos primeras.
dJ dz
2 z J
1
z J z
z 2k 2
k !
(5.3.5a) (5.3.5b)
1
2k
1 2
$ ,
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 , f 2 ; x
&
(5.3.6)
En efecto, puesto que u y v son combinaciones lineales de J e Y , ambas satisfacen la ecuaci on de Bessel, vale decir
v z u z
Z & '
'G[ #
0.
A n de ilustrar un posible uso de este tipo de identidades, consid erese la derivada del cuociente v u, W u, v ; z . u2
t u # X$ X # &
77
FCFM
U de Chile
t u# ? ?
J ; v Y
A, entonces A zu2
u B
Y ; con lo cual J B A
permitiendo expresar la funci on de Bessel del segundo tipo en t erminos de la de primer tipo. Evidentemente la relaci on es no lineal, como es de esperar.
"
A dz zu2 .
5.3.4.
En la manipulaci on de expansiones que involucran funciones de Bessel es usual encontrarse con la integral I , xJ x J x dx
Esta integral t picamente viene con l mites de integraci on denidos. M as a un, resulta de particular inter es el caso , para el cual se obtiene
Para su demostraci on consideremos las ecuacions diferenciales para J x y J x , denotadas por simplicidad como u x y v x respectivamente, x d du x dx dx d dv x x dx dx 2 x2 2 u 2 v 0;
Luego de multiplicar la primera de ellas por v x y la segunda por u x, restamos los lados correspondientes para obtener d dv x u dx dx con lo cual v du dx 2 2 xuv x u dv dx v du dx
R 0 R
A este punto nos anticipamos a dos escenarios muy comunes. Uno de ellos es es .
& # ' Z X& & ' & ' & "& " . $ #& $ ' ? & $ '
2 xJ x dx R
Cuando , pero R y R son ra ces de J z o J z , entonces el lado derecho de la integral es nulo. Ello implica que
R 0
& $ '
2 2
xJ x J x dx
'C[ " & $ . ' & ' & ' & ' $ ' # $ ' # . $ #%& $ ' # X$ X m & ' X& ' & ' & ' # & m '
x2
2 2 2 J x
(5.3.7)
2 x2
0.
xuv dx ,
0
xuv dx
R uv
vu
0;
U de Chile
78
FCFM
H. F. Arellano
Para el caso
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
l m
RJ R J R 2
Utilizando la ecuaci on z z J
R
Como hemos visto, las funciones J z son oscilantes en z , lo que permite asociar a cada valor de una . Si es tal que R coincide con uno de los ceros de J , entonces colecci on de ceros z1 , z2 , z3 ,
R 2 xJ x dx
Esta u ltima relaci on surge de la Ec. ( 5.3.5a) evaluada en un cero de J . Resumiendo, si Knm R n- esimo cero de Jm z , entonces
R
& ' Z X & # & # ' Z X [ X #%& $ ' & ' # &' { ((( ~ & # ' Z X & 'G[ &' & ' &
J R
2 xJ x dx 0
RJ R
'C[ $ $
RJ R 2
y denotamos z R2 2
J R
R. Entonces, z
z J z
z 2 J , obtenemos nalmente 1 2 R 2
2 xJ x dx
2 2 z 2 J z
(5.3.8)
1 2 R J z 2
R 0
2 xJ x dx
& ' #
1
1 2 2 R J 2
r&'
1
z .
znm , el
' #
n1 n2
R2 2 J 2 m
r&
Kn 1 m R .
'
(5.3.9)
5.3.5.
Resolvamos la ecuaci on de Laplace 2 V 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 a dado por una funci on conocida. Utilizamos coordenadas cil ndricas con el eje z coincidente con el eje del cilindro, mientras 0. El potencial es una funci on V V , , z cuyas condiciones de borde la tapa inferior se ubica en z son
&
&
&
# &
'
\\ \ \ " \ \ " \\ #
V V z2 79
0.
FCFM
U de Chile
fo (,)
L b
Fig. 5.4: Problema de Laplace en una cavidad cil ndrica. Introduciendo separaci on de variables, V 1 1 d R d
1 d2 dz 2
0.
(5.3.10)
Antes de proseguir es conveniente anticipar el escenario. Primero, esperamos que F sea c clica, lo que 2 1d necesariamente implica que el t ermino F debe ser negativo. Adem as, el t ermino necesariamente es 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 , s olo I es aceptable puesto que K es singular en el eje. Las soluciones I nunca se anulan fuera del origen, por lo que no es posible imponer que cumplan la condici on de borde en el contorno en b.
Exigiendo 0
&'#
1 d2 dz 2 0, entonces z
&'# X
m2 F
K2
? "
dR d
&'# "
AeKz
" ,
Be
Kz
d R d
0.
#3$
& '#
De esta, s olo las funciones de Bessel Jm K pueden participar en la soluci on puesto que Nm K es singular en 0. Sin perder generalidad podemos escribir R Jm K .
&' $ ' #
m2 R
A1 cos m
"
A2 sin m ,
0.
& '
U de Chile
FCFM
H. F. Arellano
Al exigir R b 0, entonces Jm Kb 0. Esta exigencia restringe K a valores tales que Kb coincidan esima raiz de Jm . As , con las ra ces de Jm z . A ellas las denotaremos por xnm , representando la n- K Knm xnm b. Esto nos permite escribir soluciones de la forma
Cada una de estas funciones satisface las condiciones de borde en la base y manto, de modo que una combinaci on lineal de todas ellas tambi en: V , , z Jm Knm Anm cos m
&'# & & '# # . ' & ' & '& & ' # & '&
V , , z
m n
! '
"
"
La determinaci on de los coecientes Anm y Bnm surge de imponer V , , L f , Jm Knm Anm cos m
'&
"
&
'
'
f , , es decir, (5.3.11)
A este punto conviene tener presente las siguientes identidades para n y n enteros,
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
, ,
X X X
# # #
mm mm 0
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
As ,
cos m f , d
& ' #
&
' &
'
( (( & ' & '# & ' r& # , & & '' &r & ' & ' ' ?
d cos m f ,
b2 2 J 2 m
Knm b .
'
b d f 0 b2 sinh K
, cos m Jm Knm
2 Jm 1
nm L
Knm b
(5.3.12)
sin m.
5.4.
En la secci on anterior abordamos las ecuaciones de Laplace y de Helmholtz en coordenadas cil ndricas. El uso de separaci on de variables condujo a funciones arm onicas (trigonom etricas) para la variable angular
FCFM
81
U de Chile
Fig. 5.5: Sistema con simetr a axial. y de Bessel para la radial . Consideremos esta vez la ecuaci on de Helmholtz en coordenadas esf ericas pero bajo el supuesto adicional de que el sistema presenta simetr a axial, una exigencia tanto para la geometr 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 1 r2 r
Separando r, R r P y denotando la constante de separaci on por , se obtiene el siguiente juego de ecuaciones para R y P , d dr dR k2 r2 dr 1 d dP sin sin d d r2 R P 0; 0. (5.4.13a) (5.4.13b)
La primera de estas conduce a las funciones esf ericas de Bessel mientras que la segunda a los polinomios de Legendre. Comencemos analizando esta u ltima, para la cual es conveniente introducir el cambio de variables u cos . Mediante una manipuladi on algebraica simple se obtiene
# & ' \ \\ " \ \\ " \ \ & '# &' &' & $ ' # " # " "
k2 0, con 1 r2 r2 r 1 sin sin d du
& '
0.
&$ ' $
1 u2 d2 P du2
0,
(5.4.14)
" #
P
0.
(5.4.15)
5.4.1.
De la misma forma a como se procedi o para resolver la ecuaci on de Bessel, resolvemos la ecuaci on de Legendre intentando una soluci on en serie de la forma P u
& ' #
ur
ak u k
k 0
dP du
# ,
rur
1
ak u k
k 0
"
ur
kak uk
k 1
U de Chile
82
FCFM
H. F. Arellano
!
ak u k ur
Entonces,
& $ ' # ,
1 u2 dP du rur
1
ak u k
k 0
"
ur r r rur r r
kak uk
k 1
1 ur
kak uk
k 1
1 ur
rur
kak uk
k 1
rur
kak uk
k 0
k 1
ak u k
1
rur
kak uk
k 0
k 1
ur
k k
1 a k uk
k 1
ak u k
1
rur
kak uk 1 kak uk
k 0
k 1
ur
k 1
Al sustituir en la Ec. ( 5.4.14) surge una ecuaci on que involucra una serie de potencias en u. Imponiendo la igualdad sobre t erminos de igual potencia es directo obtener las siguientes relaciones sobre los coeciente ak ,
Notar que para k , ak 2 ak , lo que conduce a una funci on divergente en u 1, es decir 0. Si sico, debemos imponer que la relaci on de 0 no constituye una singularidad aceptable en el problema f recurrencia para los ak se interrumpa, lo que es factible si es de la forma l l 1 , con l un entero positivo o nulo. Tomemos entonces l l 1 . En rigor hemos de analizar cuatro escenarios que surgen de r r 1a 0yr r 1 a1 0.
&$ ': # &" ' # Z & $ ' " & " ' " & " ' & " 'G[ r # Z & " r # & " & ' & " " " $ ' & ' "" & " " ? r ? # # &" '
r r 1a 0; r r 1 2r k 2 k r r 1 k 2 1 a1 ak 2 0; r r ak k
2
r k r 1 k r 1 k
k r r 2
Si a
Si a1 0, entonces r a1 , a 3 , a 5 , .
{ m ((( ~
:Wm
0, entonces r
# $
' $ " & " ' " & $ C' [ '' $ # # &" ' & $ ':# & " ' # { ((( ~ .
2r 1k k k 1 ak . ak .
El an alisis de estas cuatro posibilidades permite demostrar que s olo dos de ellas son independientes, conduciendo a series de potencias pares e impares en u. Ambas series pueden ser obtenidas exigiendo r 0. As , k k 1 l l 1 ak , ak 2 k 1 k 2
FCFM
83
U de Chile
con a o a1 no nulos. Puesto que estos est an denidos salvo una constante, sus valores son estandarizados de modo que conlleven a la serie P u donde 2K
l (2K
# $
l
Pl u
k 0
2l k !
2l 2k ! ul k ! l 2k !
2k
2k
& '#
1 dl u2 2l l! dul
Z& $ ' [
1
l
(5.4.16)
A esta se le reconoce como la f ormula de Rodrigues para los polinomios de Legendre. Para los o rdenes m as bajos se tiene P u P1 u P2 u P3 u
: && ' ## & '' # & $ ' . & ' # & $ '.
1 u 3u2 5u3
1 2 3u 2
5.4.2.
& $ ' n $ X" & " ' & $ ' " &" ' & " ' r $& " ' " , X r $ $ X$$& & " ' X r X , " &*$ '
Pl Pl 1
1
# # # # #
0 0 0 0 0
uPl Pl 1
l 2l
1 Pl 1 Pl u
Pl
Pl u
# 2 $ "
1 1 2ut t2 Pl u Pm u du
1
tl Pl u .
l 0
&'
(5.4.18)
Por u ltimo, los polinomios de Legendre satisfacen relaciones de ortogonalidad an alogas a las vistas para las funciones arm onicas y de Bessel. En este caso
2 1
2l
lm ,
(5.4.19)
U de Chile
84
FCFM
H. F. Arellano
! m #
con l, m enteros. La demostraci on de esta identidad es directa para el caso l m. Considerando la identidad ( 5.4.17b) para los ndices l y m, multipl quese por Pm y Pl , respectivamente. Restar los lados correspondientes y reagrupar, obteni endose
Integrando
de la cual resulta directa la ortogonalidad de los polinomios de legendre cuando m 1 evaluamos 1 du Pl2 u , cuyo c alculo queda propuesto como ejercicio.
& $ ' X $& $ ' X " Z & " ' $ & " 'G[ , ((( & $ & # Z " ' " 'G[ , , & '
d du 1 u 2 Pm Pl 1 u 2 Pl Pm l l 1 mm
1 1
1 P l Pm
0.
du
, se encuentra
l l
mm
du Pl Pm
0,
l. En el caso m
5.4.3.
Los polinomios de Legendre surgieron luego de aplicar separaci on de variables a la ecuaci on de Helmholtz. La constante de separaci on se denot o por , los cuales ante argumentos de regularidad de la soluci on toman on diferencial para la parte radial dada por la Ec. ( 5.4.13a), la forma l l 1 . Estudiamos ahora la ecuaci con l l 1 . Denotando t kr se obtiene
d dt
El aspecto de esta ecuaci on es muy similar a la de Bessel, por lo cual intentamos una soluci on del tipo R t p J t ,
n" Z
l l
2p
# &"
R1
Estas dos soluciones dan origen a las funciones esf ericas de Bessel del primer y segundo tipo, denotadas por jl t y nl t , respectivamente. Es tambi en usual denominarlas funciones esf ericas de Bessel y de Newman, respectivamente. La denici on standard es jl t nl t
&' &'
$ & " 'G[ # " Z # &' " [ X " Z " & " ' $ & " 'G[ # #3$ . " # n " X " Z @B$ A EAN.AEAEAEA$EDFA & NAEAE" AEANA EH ' [ # , #%& " .' '" . # &" .' 2 r &' 2 ,, &'
t2 dR dt t2 l l 1 R 0. 2 tJ t2 pp 1 l l 1 J 2 1, es decir p 1 J l tJ t
2
0,
1 2. De esta forma
1 4
l l
0.
1 4, de donde surge 2 l 1 2 ,
1 2 2 . As ,
1 Jl t
1 2
R2
1 J t
l 1 2
t .
Jl
1 2
Bessel; Newman.
(5.4.20a) (5.4.20b)
l 1
2t
1 2
l 1 2
FCFM
85
U de Chile
j t n t
sin t t cos t t
Es frecuente encontrarse con combinaciones lineales del tipo hl de Hankel de primer y segundo tipo.
8
jl
Con todo lo anterior, la soluci on general a la ecuaci on de Helmholtz resulta una combinaci on lineal del tipo r, Al jl kr Bl nl kr Pl cos .
5.5.
Consideremos la ecuaci on de Laplace al interior de una cavidad esf erica de radio b. Los hemisferios est an sometidos a potenciales V y el sistema exhibe simetr a axial. Resolvemos entonces 2 V 0, R r P . Mediante separaci on de variables, considerando los procedimientos discutidos en esta con V
# &' &'
+Vo
V o
Fig. 5.6: Problema de Laplace dentro de una cavidad esf erica. secci on, es directo encontrar que P
&'
Regularidad en el origen exige que Bl 0. Para encontrar los coecientes Al evaluamos el potencial en el borde del cascar on, para el cual V b, f u , con u cos . Entonces, al igual como se ha hecho en oportunidades anteriores, f u A l bl P l u .
l 0
? & ' &" ' # $ & # & " ' " ' & ' # " r & ' # & 'W8 : & ' # &' : & ' #
1 d r2 dr r2 dR dr l l 1 r2 R 0. 1 l l Al r l
l 0
l; p
1,
Bl rl 1
Pl cos .
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
Para el caso f u sign u V 2, una funci on impar en u, claramente los coecientes de orden par se l . Para aquellos coecientes de la forma A2k 1 se observa anulan. Ello porque Pl u tiene paridad A2k
1
&'
2l 2 2 bl
f u Pl u du .
2k 3 2 b2k 1
"r.
P2k
0
r&'
1
u du .
Esta u ltima integral se puede evaluar utilizando, por ejemplo, la f ormula de Rodrigues. Ello queda propuesto como ejercicio3 .
5.6.
En la secci on anterior se abordaron los problema de Helmholtz y de Laplace considerando sistemas con simetr a axial. Ciertamente ese no es el caso general, por lo que se hace necesario abordar el problema donde se haga maniesta la dependencia en el angulo . Como es de anticipar, una forma de abordar este nuevo problema es mediante separaci on de variables. Consideremos la ecuaci on de Laplace para un campo y apliquemos separaci on de variables de la forma r, , R r P F . Entonces, 1 1 d r2 R dr
r2
dR dr
"
1 1 r2 P
1 d sin d
sin
dP d
" @BAEDFAEH # ,
1 d2 F F d2
m2
0.
im
El resto del procedimiento es m as o menos anticipable. Para un valor dado de m se separan las dependencias en R y en P . Nuevamente nos encontraremos con un problema para P el cual se resuelve mediante el m etodo de series, esquema que puede ser consultado en alg un texto. Otro esquema tambi en frecuente es aquel donde se introducen operadores diferenciales de subida y bajada capaces de generar nuevas soluciones a partir de soluciones b asicas. En ambos casos se obtienen funciones soluciones de la parte angular , del laplaciano, 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 soluci on elemental de la ecuacion de laplace, 2 soluci on podemos generar otra que llamaremos 1 ,
3 Hacerlo.
1 r, (r
1 r
ai
xi r3
a r . r3
FCFM
87
U de Chile
Puesto que a es arbitrario, esta soluci on conlleva a tres soluciones linealmente independientes, una por cada cita, pueden ser componente ai ; i 1, 2, 3. Estas soluciones, en forma expl 1x
x ; r3
1y
y ; r3
1z
z . r3
Al escoger orientaciones independientes para a1 y a2 se generan 3 3 posibles combinaciones, tres de las cuales se repiten por simetr a. Ello reduce a 6 combinaciones diferentes ilustradas en el arreglo 3x2 r2 3xy 3y 2 r2 3xz 3yz 3z 2 .
$& ( ' #%& ( ' & ( ' #3$& ( ' ( # & ( ' & ( ' y $ $ yy $ y
a1 r r3 3 a1 r a2 r r5 r2
a 1 a2 r 2
Sin embargo, de los 3 elementos de la diagonal s olo 2 son independientes. En efecto, al sumar los dos primeros se genera el tercero, salvo un signo. Esto reduce a 5 el n umero de combinaciones independientes. La extensi on del procedimiento ilustrado anteriormente permite generar una gran familia de soluciones a la ecuaci on de Laplace. En general, es f acil ver que l r se escribe de la forma
con fl r una funci on homog enea de grado l, vale decir, fl r l fl r . Notamos adem as que fl r es tambi en una soluci on de la ecuaci on de Laplace, en virtud al teorema de inversi on. En este se establece 2 on de la ecuaci on de Laplace, entonces 1 tambi en lo es. En nuestro caso, que si r es soluci r r r 1 fl r r2l 1 1 fl r r r2 l 1 fl r r 2 r
&' &'
&'# r &' & '# &. & r & ' # & '' # &
l r 1 r2l 1 fl r ,
&'
. '
'
&'
(5.6.21)
&'
Antes de proceder a una construcci on sistem atica de las soluciones, es u til contar el n umero de soluciones independientes que se pueden obtener para un l dado. Como hemos visto, el numerador el la Ec. ( 5.6.21) l. Nos preguntamos por est a formado por combinaciones de potencias del tipo xa y b z c , con a b c el n umero posible de combinaciones a, b, c independientes que cumplan con la condici on a b c l. Analicemos, a 0 b c l l 1 combinaciones a 1 b c l 1 l combinaciones a 2 b c l 2 l 1 combinaciones . . . a Con esto el n umero total de combinaciones es 1 2 l 1 l 1 l 2 2. Al construir una 2 2 2 combinaci on lineal fl de todos estos t erminos y exigir que cumplan la ecuaci on de laplace, x 0, y z fl nos planteamos entonces el n umero de polinomios homeg eneos de grado l 2 independientes: l l 1 2. Con ello, el n umero de polinomios independientes de grado l que satisfacen Laplace es 1 l 2 1 l 2 1 l l 2 1 2l 1.
" " # & ' " " # ## ? " ## $ " # ?? "" # $ $ # ? " # " " ((( " & " ' # & " ' & " ' . & " " ' # \ \ \& $ ' . $ & " '& " ' $ & $ ' # "
l a b 0 1 combinaci on. 88
U de Chile
FCFM
H. F. Arellano
Con estos argumentos esperamos formar 2l 1 polinomios de orden l que satisfacen la ecuaci on de Laplace. Para el caso l 2 surgen 5 polinomios, como vimos al comienzo. Denotamos las soluciones de grado l por Yl r , llamados s olidos arm onicos. Entonces, Yl r r l Yl r .
"
A las funciones Yl r se les denomina funciones esf ericas arm onicas, o simplemente esf ericos arm onicos
&'
t u#
# r &'
1 rl 1
. Yl r
5.6.1.
Nos planteamos esta vez bajo qu e condiciones el elemento a r l , con a un vector de tres componentes, satisface la ecuaci on de Laplace. Calculamos
& (' #
a r
l a r
l 1
l l
1 a r
l 2
a a.
a1 , a2 , a3 sea un vector
'
a3 3
Esta condici on4 es posible con s olo dos constantes complejas puesto que siempre habr a una constante multiplicativa indeterminada. As denimos convenientemente a1 Entonces,
"
i a2
# ,
2 ;
a1
i a2
#3$ r
2 ;
a3
# r,
# &, $ r' # &, " r' # r, ( # $ r " " , $ " r , t u && "$ ' . ## ### , = . # '.
a1 a2 a3 1 2 2 2 1 2 2 2i . 1 2 2 x iy r 2 x iy r 2 z r r sin cos r sin sin r cos
.
FCFM
89
U de Chile
Entonces,
2 cos
2
2 ei 2 sin 2 ei 2 sin
sin e
cos
a r
sin e
cos
la cual puede ser expandida en serie de Taylor en b. Obs ervese la siguiente manipulaci on: Fl b, u
&
& (' # r # ,
a r
l l m
2 ei 2 sin 2l
e m sin l m !
entonces
&
Ylm ,
a r l!
2l 1 4
Puesto que los coecientes lm son arbitrarios en la Ec. (5.6.2), las soluciones Ylm son soluciones separadas de la ecuaci on de Laplace. As , son soluciones de la ecuaci on de Laplace los Y lm . En otras palabras,
& ' # & " ' $ ' # \\ & " ' $ # \ $ ? $ \ , \, $ # & $ , ' \ , & (' 8 &$ , , , \, $ , ' r \ , rr ,, & $ ' \ ,, $ \ 8 P & " r r ' ,& , $ ' ('8 " & ' , , & $ ' && "$ ''
b u
2
2l
bk k k ! bk 0
b 0
2l
bk k u2 k k ! u 0 bl m l m!
l m
ul
u2
1 l m!
sin e
l m
l m
l m
u2
l m l m im
l m
l m
u2
lm
m l m
m!l
m!
(5.6.22)
rl
lm
4 Y m , , 2l 1 l
(5.6.23)
l l
m ! im 1 d e m m! sin d cos
l m
cos2 1 2l l !
(5.6.24)
\\ \ \ "
sin
2 1 2 sin 2
0.
U de Chile
90
FCFM
H. F. Arellano
Adem as de los Ylm , es frecuente encontrarse con la funci on lm , la cual est a denida por Ylm , Para este caso se tiene
& '#
1 im e lm . 2
&'
&'
m2 lm sin2
&'#
0.
# "
& '
# 2 # #
En cuanto a la notaci on de los esf ericos arm onicos, ella no es u nica. Es frecuente encontrarse con las siguientes notaciones equivalentes, Ylm , Ylm ,
Es tambi en frecuente utilizar el vector unitario r para representar la dependencia en los angulos esf ericos , . As , Ylm , Ylm r .
5.6.2.
Relaciones de ortogonalidad
Entre las propiedades importantes de los esf ericos arm onicos guran las relaciones de ortogonalidad, d Ylm
con a un vector nulo. El resultado de esta integral es un escalar que depender a de a , a y a a . Puesto que a es nulo, entonces la dependencia ser a s olo de D a a , que podemos expresar Ill D . Ante el cambio a a observamos que necesariamente
1 & ' 1 & ' # & ' & ' # & 1 & # (' (' 8 & 1( ' & 1 ' & ' & ' # &/ / '
, Ylm , ll mm ll . sin l m lm
0
a r
l Ill D
Ill 2 D ,
FCFM
91
U de Chile
En esta relaci on los factores Cl son coecientes num ericos independiantes de a. Para su obtenci on podemos considerar la elecci on particular a 1, i, 0 a 1, i, 0 , con lo cual a r sin ei sin ei 2.
para la cual
:#
# X / / & ' # &/ / ' ' & 1 ( '& ( ' # & 1 ( ' #%& ' = 1 #%& $ ' # ( 1 ( ## 1( # X # # &$ ' y &$ 8 ' & #
ll . Entonces, para l 2l Ill D
Ill 2 D ,
Dl , de modo que r
l
d a
a r
Cl a
a l ll .
(5.6.25)
a a
r a
l , luego de sustituir u
1
cos , se obtiene
Cl
2l
u2 l du .
u2 l du ,
# " ,
2l 2l 1 l a r
l
De esta forma
con lo cual
Ahora buscamos una forma de introducir en esta identidad los esf ericos arm onicos Y lm . Recordemos la Ec. (5.6.2) donde se introducen los esf ericos arm onicos. En ella
# && " ' ' & 1( '& ( ' # & & 1( ' " '
Cl 4
l
l 2l l ! 2 , 2l 1 ! 2l
2l l ! 2 . 2l 1 !
l!
a r l!
2l
1!
a l ll .
(5.6.26)
& ('8
a r l!
l
rl
mm
Es conveniente expresar el lado derecho de esta identidad en t erminos de los coecientes lm . Para ello completar los siguientes pasos intermedios
5 Demostrarla.
lm
l
"
4 Y m , , 2l 1 l
& '
a l ll .
U de Chile
92
FCFM
H. F. Arellano
Demostrar que a
!
l m l m
Con lo anterior es f acil vericar (las sumas en m, m se subentienden entre d l m lm Ylm , Ylm ,
mm
El argumento de Schwinger es que l m lm representan coecientes independiantes6 , lo que conduce a d Ylm , Ylm , ll mm ,
& & & ' $ r1 r , 1 , ,, , " ' ' & 1( ' # & ' 1 , $ X Z 1 [ 1 & ' & ' # Z 1 [ Z 1 1 [& & # ' '
1
l
r r1 '
l
2l
1 !m
2l ! m!l m!
2l ! 2l m
lm lm .
l y l)
l m lm ll mm .
m,m
5.6.3.
Otras identidades
Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad. Ellas son
Ylm , Ylm ,
lm
& X$ ' & X$ ' # " rI 1 & X ' # " 1 & X' & ' # & $ " ' #%&+$ '
1 sin Ylm ,
4 rl Ym r Ylm r l 1 l 2 l 1 r lm 4 Ylm r Ym r 2l 1 m l
l
&'
Ylm r
&'
5.7.
Teor a de Sturm-Liouville
Muchos de los problemas estudiados hasta ahora se pueden reducir a ecuaciones diferenciales cuya forma general est a dada por du d px q x u x u 0 . (5.7.27) dx dx
6 Vericarlo.
FCFM
U de Chile
T picamente proviene de la constante de separaci on. A esta ecuaci on se le denomina ecuaci on de SturmLiouville (SL). En general, toda ecuaci on de la forma d2 u dx2
Rx ,
& '# vw
e Lu
P x dx
x q x . px
& '98 & ' $ & ' & '" & '#
d du px dx dx Lu x 0. j uj k uk
Esta ecuaci on es de valores propios en el sentido de que las condiciones de borde y regularidad de las soluciones u conlleva a un espectro de valores para . Supongamos que el intervalo de denici on de las funciones es a, b y consideremos los autovalores j y k , tales que
Z [
L uj L uk
# #
0 0
y y
uk uj
Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene d p uj uk dx
Al suponer j
X $ X #%& $ '
puj uk k
b
j uj uk
(((
b
dx
k , entonces
Notemos que si
uj uk
p uj uk
uj uk
p uj uk
uj uk
X ' '
b
b a
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:
/ 8
uk
(5.7.28)
b a
uj uk dx. Las
i.- u a
&'# &'# X& ' # X& ' # & $ X ' / #%& $ X ' / # & ' # & ' X& ' # X& '
ub u b
a
0 (Dirichlet). 0 (Newman). u
b
0 (Mixta).
ub;u a
u b , con a
&'# &'
b (Peri odica).
U de Chile
94
FCFM
H. F. Arellano
Aceptando que las autofunciones de SL conforman un conjunto completo de funciones, entonces cualquier funci on f x en el intervalo a, b se puede expandir de la forma f x ck uk x ; ck
&'
# &' &'&'
b a
f x uk x x dx .
Para los casos estudiados y otros similares se observan las identicaciones mostradas en la Tabla (5.1). En general toda autofunci on SL, fn x , satisface una relaci on con la n esima derivada de otra funci on. A esta se le reconoce como f ormula generalizada de Rodrigues,
La funci on g x es un polinomio y los coecientes an obedecen convenciones de standarizaci on. Para el caso x2 1, x 1. de los polinomios de Legendre an 2n n!, g x Otro tipo de relaci on importante en las funciones SL es la que se reconoce como funci on generatriz. Este es un tipo de construcci on del tipo G x, t
&'
&' $ & ' # & ' { & ' Z & 'G[ ~ # &'# $ &'#
fn x 1 dn x g x an x dxn
n
donde la funci on G x, t es una expresi on cerrada. Si bien existe una forma sistem atica de obtener tales funciones, nos remitiremos a los ejemplos cl asicos en que participan los polinomios de Legendre y de Hermite. Para ellos,
& '
& ' #
1 2xt t2
an f n x t n ,
n 0
&'
# 2 $ " , #
1 e2xt
x2 n
tn Pn x
n 0
tn Hn x n! 0
&' &'
5.8.
Ecuaciones especiales
0,
(5.8.29)
$$
&'
FCFM
95
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 soluci on a este problema. Existen casos en los cuales las caracter sticas de los t erminos que participan imponen restricciones importantes en la obtenci on de las soluciones. Un m etodo para abordar este problema general es mediante el m etodo de series debido a Frobenius y Fuchs. La idea es buscar una soluci on en torno al origen o cualquier otro punto de inter es. El problema es abordado siguiendo los siguientes esquemas alternativos.
a) Buscando una soluci on en base a la naturaleza anal tica de p z y q z . b) Buscando una soluci on en base a la naturaleza de las condiciones de borde.
&' &'
&' &'
0, con zp z y z 2 q z singulares en z 0, entonces puede a3) Si p z y q z son irregulares en z no existir soluci on a la Ec. ( 5.8.29). En este caso no se sabe de m etodo para resolver la ecuaci on planteada.
5.8.1.
e intentamos una soluci on u z z r n 0 cn z n . En esta expansi on el par ametro r est a por ser determinado. Derivando y sustituyendo en la Ec. ( 5.8.29), luego de multiplicar por z 2 r , se obtiene n r n r 1 cn z n
n 0
Est a claro que para separar t erminos de igual potencia es necesario multiplicar series. Para ello recurrimos al n n n siguiente procedimiento general. Si F FG n An z , y G n Bn z , entonces H n Cn z , con
n
an z n ;
z2q z
n 0
&'#
bn z n ,
n 0
an z n
Cn
r cn z n
n 0
"
bn z n
n 0
n 0
cn z n
0.
An
m Bm
m 0
U de Chile
96
FCFM
H. F. Arellano
!
m
As entonces,
n 0
& " '& " $ ' " & " '& " $ ' "
r n
1 cn
m 0
bn
cm z n
0.
o bi en,
r a
Entonces,
relaci on que permite obtener los coecientes cn recursivamente. Al hacer n 0, entonces r 0, o bi en Escogiendo c r2 a 1r b 0.
:Wm
n cn
& " ' , " , [ # Z ' :" : [ " , Z & " ' , " , [ # & $ ' " :" : " ; < 'G[ #3$ , Z , & " 'G[ # :& ' : # " &:$ ' " :#
n
r an
bn
cm
m 0
n 1
b cn
r an
bn
cm
m 0
ss sai 0
1 bi
sa
n 1
m cm ,
(5.8.30) 0.
m 0
0 se tiene r c
A esta ecuaci on se le denomina ecuaci on indicial, cuyas ra ces determinan la naturaleza de la soluci on. Ellas est an dadas por r1,2
4b
Re r2 , entonces Re r1
a .
i.- Siempre va a existir una soluci on a la Ec. ( 5.8.29). ii.- Una segunda ecuaci on linealmente independiente tambi en existe si es que r 1 iii.- Si r1 r2 N , con N entero, entonces se cumplen, simult aneamente,
# "
r2 no es entero.
r2
r1 N
' ## '
0 0
Cuando esto ocurre, una segunda soluci on no se puede obtener a partir de la ecuaci on de recurrencia. Ello es evidente7 luego de observar la Ec. ( 5.8.30) para los cn .
7 Examine
FCFM
97
U de Chile
Cuando existe una soluci on a la ecuaci on ( 5.8.29) podemos buscar una segunda soluci on mediante el m etodo de variaci on de par ametros. Consideremos u
y supongamos que u1 es la soluci on que se obtiene con la raiz r1 de la ecuaci on indicial. Construimos u2 hu1 , (5.8.31)
n " LX " # #
pu qu
0,
con h una funci on por determinar. Sustituyendo directamente en la ecuaci on diferencial y dividiendo por h u se obtiene u h d 2 1 p 0, ln h ln u2 p. 1 h u1 dz Integrando, reordenando y considerando una constante c de integraci on, c h e p z dz . u2 1 Examinemos ahora el argumento de la exponencial, p z dz
Con ello
Puesto que u1
as r1 r2 a 1, adem as de r1 r2 N , La funci on F z es claramente regular. Considerando adem entonces c h F z . z1 N A este punto conviene tener presente que todos los coecientes que denen F z son conocidos, de modo que podemos expresar, sin p erdida de generalidad, cF z con la cual h
n" X" # X
XL"
#3$
a ln z
an n z . n 1
c e u2 1
a ln z
e n
an n
zn
a u2 1z
e n
an n
zn
z r1
n 0 cn z
, entonces c z 2r1
e n
an n
zn
n 0 cn
zn
c z 2r1
F z .
# "
X # # # # #
& ' #
2 z 2
&'
n z n ,
n 0
1 2 N N z z 1 0 1 N ln z N N z z 1 1 N ln z 0 1 z zN zN 1 N ln z n z n
n 0
zN 1
1 z
"
" ( (( , " ((( " " ((( , " ((( " " (((
N z 98
integrando
U de Chile
FCFM
H. F. Arellano
En esta u ltima se han introducido los coeciente n provenientes de la integraci on. Puesto que u2 entonces, u1 n z n . u2 N u1 ln z zN n 0
A este punto sustituimos u1 z r1 cn z n en el segundo sumando del t ermino del lado derecho. Recordando on anterior se puede escribir de la forma que r1 N r2 , entonces la expresi u2
$ #
"
!
hu1 ,
N u1 ln z
Este resultado permite identicar la estructura de la segunda soluci on a la Ec. ( 5.8.29). La forma como se procede a obtenerla expl citamente es sustituyendola en la ecuaci on diferencial original para obtener los etodos descritos. coecientes n mediante los m
" X
z r2
n 0
n z n .
5.8.2.
con lo cual
Si c
m $
1
8 Hacerlo.
& $ ' " Z $& " " ' [ $ # & ' # $& & " $ " ' ' & ' # &$ $ ' & ' # $& " $ " ' ? : # &' # $$ ? :# # # $ "&$ '" # & '98 & ' # # & " &$ " ' & $ " ' $ ' # & " '((( & & " " $ '((' ( && "" '$ ((( ' & " $ ' # & & " ' ' & &" ' ' & &" ' ' & & " ' '
a b 1z du dz abu 0. pz q z a b 1z z 1 z ab , z 1 z c zp z c z2q z a b 1z 1 z abz 1 z a c b 0. 1 cn z n .
n 0
(5.8.32)
c. Para r
0 planteamos la
cn
n 1 b n nc n 1
a n 1bb 1 b n n!c c 1 c n 1 a n b n c 1 . a b c n n 1 aa
FCFM
99
U de Chile
De esta forma,
F a, b, c; z
&
' # & ' & ' & ' && " "
c ab
n
a n 0
nb 1c
''
n n z . n
(5.8.33)
F a, b, c; z
& ' 8 & &" ' ' & ' # & ' & &' '
n 0
n , an bn n z . n! c n
&
'# &
2 F1
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 par ametros a, b, c, las series hipergeom etricas pueden representar diversas funciones conocidas. Listamos algunas de ellas F 1, 1, 1; z
1 3 2 zF 1 2, 2, 2; z F n, n 1, 1; z
&*$
zF 1, 1, 2; z F a, b, b; z
&+$
&
&
&
' # $ / /J< $ ' # &" ' $ ' # &" ' # ' " ' # &$ '
1 1 z ln 1 z 1 z a z arcsin z Pn 1 2z w z1
c
Una segunda soluci on a la ecuaci on hipergeom etrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo g z
3z
Claramente se trata de la ecuaci on hipergeom etrica al identicar La segunda soluci on es, entonces,
9 Hacerlo.
w z
&'#
z1
# , &' $ AEH [ XL" & @ A E$ A EDFA " EA EH ' & @BA $AAEDFA" AMAEH ' # " @ANDF , # $ " # $ " # $ , & '
c 2 g a c 1 b c 1g
0.
a b 2
c c
2 F1
, , ; z .
U de Chile
100
FCFM
H. F. Arellano
! :#
(5.8.34) 0. Las ra ces son nuevamente
5.8.3.
Se trata de la ecuaci on
Para este caso los coecientes para la ecuaci on indicial son a on para r 0 es del tipo r 0 y r 1 c. La soluci u a, c; z
# $
0. c, y b
cn z n .
a, c; z
denominada funci on hipergeom etrica conuente y que converge para todo valor de z . Por la estructura de los s mbolos de Pockhammer, a esta serie se le denota 1 F1 . Son casos particulares de las funciones hipergeom etricas conuentes las siguientes Jn z Ln z H2n z
& '#
n n
n 0
n n
zn ,
&' # t u & " & ' # &+$ ' & ' # *& $ ' & ' &+$
"
'
'
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 resoluci on se recurre a estrategias espec cas anes con los t erminos que participan en la ecuaci on. Ello es particularmente el caso cuando se estudia un problema lineal en presencia de un t ermino no homog eneo o fuente. La introducci on de las funciones de Green permite un enfoque distinto basado en la estructura de los operadores que intervienen, permitiendo una soluci on formal al problema cual sea la fuente. Este concepto fu e introducido por George Green hacia 1828 y se mantuvo casi desconocido por un buen tiempo. De hecho sus contempor aneos calicaron esta contribuci on de bajo perl. Fu e Lord Kelvin qui en apreci o la profundidad de este aporte, el que hoy en d a constituye una herramienta standard en muchas areas de la f sica. A modo de ilustraci on consideremos Lx un operador diferencial lineal y nos planteamos la ecuaci on
con f x una funci on arbitraria pero conocida. Para resolver este problema consideremos una funci on de dos variables G x, t , tal que Lx G x, t x t . Podemos vericar entonces que una soluci on a la Ec. ( 6.0.1) est a dada por ux G x, t f t dt .
As , estamos en condiciones de dar una soluci on formal al problema original. Un aspecto importante en la construcci on de la funci on G x, t lo constituye el tema de las condiciones de bordes impuestas sobre u. Notar que G x, t no depende de la naturaleza de la fuente.
& '
& '
& '# & ' & '# & $ ' &'# & ' &'
Lx u x f x ,
(6.0.1)
6.0.1.
Consideremos la ecuaci on diferencial de segundo orden para la funci on u x en el intervalo a, b con condiciones de Dirichlet (homog eneas), Lu
&'
Z [
f x .
(6.0.2)
Consideremos y1 x y y2 x soluciones de Lu 0, tales que y1 a y2 b 0. A partir de estas busquemos una soluci on a la ecuaci on no homeg enea ( 6.0.2) construida de la siguiente forma,
&' &'
En esta caso v1 x y v2 x son funciones auxiliares por determinar. Ellas representan dos grados adicionales de libertad que, sin p erdida de generalidad, pueden ser reducidos a s olo uno. La forma de restringirlas se ver a en seguida. Luego de sustituir u x en la Ec. ( 6.0.2) y hacer uso de Ly 1 Ly2 0, se obtiene v1 y 1
&' &'
ux
&' # # n " X X " n " X X " & 'Z X " X [ # & ' X " X # X X" X X# & '
2v1 y1 v2 y 2 f x . v1 y 1 v2 y 2 0. f x ,
lo que se resume en el siguiente sistema de ecuaciones diferenciales para nuestras inc ognitas v 1 y v2 ,
Este sistema de 2
entonces
v1
X #%$
1 y2 x f x ; W x
y1 x
ux
y2 x
XX # & ' X X & '98 X $ X &' &' &' X# &' & ' && '' & ' " & ' & ' && '' & ' " & '
y1 y1 y2 y2 v1 v2 0 f x y2 y1 , v2 y2 x f x dx W x y2 x
x a
1 y1 x f x . W x
y1 x f x dx . W x
y1 t f t dx W t
y1 x
y2 t f t dx . W t
&' &' &' && ' & ' ' && ' & ' '
Vemos que G x, t depende de las soluciones homog eneas y1 e y2 . Resulta u til en ocasiones hacer referencia a la variable t como coordenada de la fuente y a la variable x como coordenada del campo. En el caso particular de esta ilustraci on, y a un m as generalmente, la funci on de Green satisface cinco propiedades importantes.
& '
G x, t
&'# & ' &' & ' # && ' ' & & '' .. && '' 44 44
b
ux
G x, t f t dt ,
y1 t y 2 x W t , y1 x y 2 t W t ,
a x
t t
x b
U de Chile
104
FCFM
H. F. Arellano
1. 2.
nua en t x. G x, t es cont En efecto, para 0 y denotando x x y1 x y2 x W x . De forma an aloga, G x, x mente entonces, G x, x G x, x 0. La derivada G x, t En este caso t es discont nua en t G t G t
3.
& '# & $ ' & ' # ; & ' & ' . & ' & r $ & & # r ' # & ' & r '& . ,'? ' # \ & '. \ \ \ # & ' \ \ && '' ? & \ \ # & ' \ \ && '' ? & &' # & ' X& ' $ $ #3$ \\ \\
x t. x. y2 x y1 x
t x t x
! & $ r ' ' ? # & & ' , ' & '& . ' . & '& , ' ?
y1 x W y2 x W y 1 x y2 x W x y1 x y2 x W x . Clara-
tenemos G x, x y1 x y 2 x W x
y1 t W y2 t W
t t t t
y2 x y1 x
y 1 x y2 x
y2 x y1 x , se verica
t x
G t
1.
t x
G(x,t)
t t=x
4. 5.
La funci on de Green es sim etrica en sus argumentos, G x, t La funci on de Green cumple con las C.B. G x, a G x, b
\ & '. \ & '# & ' & '# & '#
t. 0
G t, x .
6.0.2.
Un ejemplo cl asico
donde u 0
n"
k2 u
f x ,
sin k x
L .
FCFM
105
U de Chile
& ' #
ux
Vericamos que en x 0 la primera integral es nula, mientras que la segunda contribuci on se anula al evaluar sin kx . De igual forma, en x L la segunda integral no contribuye, en tanto que sin k x L se anula. Estas dos observaciones permiten que la expresi on obtenida para u x cumpla las condiciones de bordes homog eneas.
& '
&'#
& ' && ' Z & & $$ ' Z & '# & & $ 'G[ & ' ' #
L
k cos kx sin k x
L L
G x, t f t dt, es decir,
L
f t dt
'C[ =
0 x t t
W x
& '#
k sin kL .
& '
k sin kL k sin kL
44 &'
x L
f t dt .
Z & $ 'C[
U de Chile
106
FCFM