You are on page 1of 106

Hugo F.

Arellano Departamento de F sica - FCFM Universidad de Chile

Primavera de 2006

Indice

1.

Elementos de an alisis complejo


1.1. Variables complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Derivada y analiticidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1. La exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.2. El logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4. Propiedades geom etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

M etodos Matem aticos para la F sica

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.

Coordenadas curvil neas ortogonales


2.2. Coecientes m etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3. Elementos geom etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. Operadores diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.1. El gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.2. La divergencia y el teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.3. El laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.4. El rotor y el teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.

Series y transformada de Fourier


4.1. El Teorema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Bases de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

59
59 60

U de Chile

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

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 . . . . . . . . . . . . . . . . . . . . .

62 63 64 65 65

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

5.8.3. La ecuaci on hipergeom etrica conuente . . . . . . . . . . . . . . . . . . . . . . . . 101

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.

Hugo F. Arellano Santiago, primavera de 2006

M etodos Matem aticos para la F sica

U de Chile

FCFM

Cap tulo 1

Elementos de an alisis complejo

1.1.

Variables complejas

Comenzamos nuestro estudio suponiendo alguna familiaridad con los n umeros complejos ordinarios, as de la es decir, aquellos formados por la combinaci on del tipo x iy , con x e y variables reales adem propiedad i2 1. Para uniformizar la notaci on, usaremos la letra z para simbolizar las variables complejas. 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 z2 z1 z2
def def

x1 x2 i y1 y2 , x1 x2 y1 y2 i x1 y2 x2 y1 .

Con estas deniciones, y al igual que en el cuerpo de los reales, los n umeros complejos satisfacen las siguientes propiedades para la suma y el producto:

1. Asociatividad para la suma y el producto, z 1 z 2 z 3

z 1 z 2 z 3 ,
z2 z1 ,

z1 z2 z3 z1 z2

z1 z2 z3 ;

2. Conmutatividad de la suma y el producto, z1 z2 z2 z1 ;

3. Distributividad de la suma con respecto al producto, z1 z2 z3 4. Existencia del cero (0 0 i 0) y de la unidad (1 z0 0z z, z1 z2 z1 z3 ; z1 1 i 0): 1z

z;

5. Existencia del inverso aditivo. Si z cumple

x i y , entonces z z

z x i y es su inverso aditivo y
0;

z z
9

M etodos Matem aticos para la F sica

6. Existencia del inverso multiplicativo. Si z x i y , entonces1 z 1 plicativo y cumple z z 1 z 1 z 1 ; Se dene el m odulo ( z ) de un n umero complejo z mediante z z1 z2 z1

1 z 2z es su inverso multi-

zz , la cual conduce a la desigualdad

z2 .

1.2.

Funciones de variable compleja

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 f z ux, y i v x, y wx, y .

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 w u iv wo

Fig. 1.1: Cuando z f z f z


2 z 2 z

z , entonces w z z z z

w . z z .

Adem as la desigualdad triangular permite z z f f z y f f z , entonces f f

z z 2z 2 z .

z z

2 z

2 z . Si denotamos

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

z .

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. 1 A todo complejo z x iy se le asocia el complejo conjugado, z , denido por z x iy . Con esta denici on resulta evidente que zz z z x2 y 2 .

U de Chile

10

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

1.3.

Derivada y analiticidad

Consideremos el cuociente

f z f z . z z

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 cual es que el l mite sea independiente de como z se aproxima a z . As , denimos f z l m f z z f z . z x, con z x i y.

Calculemos f z mediante un acercamiento z Entonces, f z

z paralelo al eje real, es decir z

ux x, y i vx x, y ux, y i vx, y
ux x, y ux, y x u v i x . x x y v x, y i vx x,x

An alogamente, calculemos f z mediante un acercamiento z z iy , con lo cual f z

z paralelo al eje imaginario. En tal caso

ux, y y i vx, y y ux, y i vx, y


ux, y y ux, y i y v . i u y y iy vx, y i vx, y y iy

Para que ambos procedimientos lleven al mismo resultado imponemos que tanto la parte real como imaginaria sean coincidentes, vale decir, u x v , y u y

v . x

A 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
2

u x2

u y2

0,

v x2

v y2

0,

que corresponden a ecuaciones de Laplace en 2D. En tal sentido, las componentes de real e imaginaria de funciones anal ticas son arm onicas como funciones de x e y .

FCFM

11

U de Chile

M etodos Matem aticos para la F sica

Resumen: Analiticidad: Sea f : C

C una funci on compleja. La derivada de f en z es df dz z

l m

f z
0

z f z
z

(1.3.1) 0.

provisto de que el l mite exista y sea independiente de la forma como z u x, y Teorema: La funci on f z condiciones de Cauchy-Riemann, (o, equivalentemente, f z en esa regi on. En tal caso

ivx, y es diferenciable en una regi on del plano complejo si y s olo si las u v u v x (1.3.2) x y y
0), son satisfechas y todas las primeras derivadas parciales de u y v son continuas df dz u x

v x

v y

u y

(1.3.3)

C se denomina anal tica en z si es diferenciable en z y todo punto de su vecindad. Deniciones: La 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.

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 ux, y 2x; v x, y 0. La derivada df dz obtenida mediante variaciones de z paralelas al eje real es u x i v x 2. De igual forma, variaciones paralelas al eje complejo (z iy ) conducen a i u y v y 0. Este resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistem atica de vericar la analiticidad de una funci on es examinando la condici on de Cauchy-Riemann. Para este ejemplo v y . En general, cualquier funci on de z y z resulta no anal tica. se observa que u x Examinemos un ejemplo simple: f z z 2 . Considerando z x i y es f acil vericar que f z 2 2 wx, y x y i 2xy . Identicamos u x2 y 2 , y v 2xy , con lo cual u x 2x ; u y

2 y ; i
v x

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 2 x i 2 y 2z ,

coincidente con el resultado conocido para variables reales. En general, se puede demostrar que para todo n entero, d n z n z n1 . dz Su 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

M etodos Matem aticos para la F sica

variable compleja z , que denotadaremos por f , que satisface las siguientes propiedades: a) f z es anal tica y univaluada en C; b) f z f z ; y c) f z1 z2 f z1 f z2 . Procedemos entonces a la construcci on de la exponencial. De la condici on c) se tiene f 0 0 Imponemos que f z f 0f 0, por lo que f 02 f 0. Soluciones son f 0 f z f z 1.

0; 1.

De la condici on c) vemos que f z z f z f z . Examinamos

f z f z f z

f z z f z z Cuando z Imponemos f f , expresando f z

f z f z 1 . z 0. S olo f 0 1 permite analiticidad.

0, vemos que f z 1z diverge si f 0

ux, y i v x, y . Entonces, u x u; v x v,

de lo cual ux, y

ay ex , y v x, y

by ex . a y b y

La condici on de analiticidad de C.R. conduce a u x v x v y u y db , dy , da dy

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 Imponemos f 0 A cos y B sin y , b y A sin y B cos y .

1, con cual u0, 0 v 0, 0 1 0

a 0 b0

1 0

A B

1 0

Construimos f

uiv

wx, y , obteniendo wx, y ex cos y i sin y


def

ez . cos y i sin y . De igual

Del resultado anterior resulta evidente que para z modo, si z x (real), entonces ez ex .

iy , con y real, se tiene eiy

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

eiz
2

sin z

eiz

eiz
2i

FCFM

13

U de Chile

M etodos Matem aticos para la F sica

-3 -2 -1 0 1 0.5 0 -0.5 -1 0 5 10 15 0 1 0.5 0 -0.5 -1 0 5 -1 -2

-3

10 15

Fig. 1.2: Partes real e imaginaria de ez . Adem as, se dene sin z . cos z Esta ultima no es anal tica en los ceros de cos z . De forma an aloga se introducen las deniciones tan z cosh z ez

ez
2

sinh z

ez

e z
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 ez2iN ,

con N un entero arbitrario. Esto conduce a que la inversa de la exponencial resulte multivaluada en su parte imaginaria. En principio eso puede ser un inconveniente. Por ahora subsanamos tal 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 ultima, claramente que ew z . De esta z eui v w. Esta construcci on se basa en exigir

eu cos v i sin v .

Tomando m odulo a ambos lados y luego el logaritmo en variables reales obtenemos u Adem as, si representamos z ln z .
def

z cos i sin , es claro que v w ln z

arg z . De tal forma que

i arg z .
y
x .

En t erminos de las componentes de z , w ln x2 y 2 i arctan

U de Chile

14

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Con este resultado calculemos su derivada d ln z dz Por lo tanto, d ln z dz 1 . z w x

yx2 i x2 y 2 1 y x2
x

x iy x2 y 2

1 . x iy

Contando con la denici on del logaritmo podemos denir la potenciaci on a un n umero real a, za
def

ea ln z .

Con esta denici on es directo calcular la derivada de z a : d za dz d a ln z e dz ea ln z a z a z a1 .

1.4.

Propiedades geom etricas

Geom etricamente el gradiente de una funci on de dos variables, x, y , apunta en la direcci on de mayor crecimiento. Si consideramos ux, y y v x, y , componentes de una funci on anal tica f z , entonces u v u v x x

u v . y y

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 ux, y son perpendiculares a las de v x, y . A modo de ilustraci on, consideremos nuevamente la funci o n 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

0.5

0.5

-0.5

-0.5

-1 -1 -0.5 0 0.5 1

-1 -1 -0.5 0 0.5 1

Fig. 1.3: Curvas de nivel de ux, y (izquierda) y v x, y (derecha). se puede apreciar visualmente la perpendicularidad de las curvas de nivel.

FCFM

15

U de Chile

M etodos Matem aticos para la F sica

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

f v u

Fig. 1.4: Un mapa. es anal tica, los mapas resultantes tienen propiedades interesantes. Comencemos examinando la geometr a de dos desplazamientos arbitrarios en z y veamos en qu 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 unica. 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 s eia , y zb s eib . Claramente el angulo entre estos dos desplazamientos se obtiene examinando el cuociente zb za : zb za wb wa eib a .

Nos preguntamos entonces por el angulo relativo entre las variaciones wa y wb respectivas: f z zb f z za eib a .

En otras palabras, el 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

iy zb za x
Fig. 1.5: Si f z

b a

iv

wb wa
a b

u
0 entonces

za , zb

wa , wb .

esto no ocurre hay que examinar 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 on de orden m, entonces wa , wb m za , zb . Cuando m 1 nos referimos a una transformaci conforme.

U de Chile

16

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

1.5.1.

Ejemplos
1z .

Inversi on: w

Consideremos la transformaci on f z 1z 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: a ei , w :0 a; : .

1 1 . z a ei Mediante manipulaci on algebraica directa obtenemos w a cos a2 2 2a cos sin i a2 2 2a cos .

El centro del c rculo es mapeado a w En tal caso representando una recta con u

1a. Los puntos del contorno de D quedan determinados con w

a.

1 1 i tan2 , 2a 2a 12a y v barriendo


A

u+iv = 1/(x+iy)
1/2a 1/a

C A

B a

Fig. 1.6: La transformaci on f(z)=1/z, aplicada a un c rculo.

1.6.

Integraci on

Sean f : C C y una trayectoria cont nua que une los puntos extremos za y zb . Denimos la integral mediante la suma innita de elementos innitesimales, zb n f z dz l m f j zj zj 1 f z dz .
n

0. Adem as, convenimos en que f En esta construcci on exigimos que para todo segmento, zj zj 1 on f no experimenta es evaluada en cualquier punto j en el segmento zj 1 zj . Suponemos que la funci saltos a lo largo de . Para jar ideas hemos considerado z0 za , y zn zb .

j 1

za

FCFM

17

U de Chile

M etodos Matem aticos para la F sica

iy
n1 n2 n

za
0 1

Fig. 1.7: Integral a lo largo de una trayectoria .

1.7.

Teorema de Cauchy-Goursat
C es anal tica sobre y dentro de una trayectoria cerrada C , entonces f z dz 0 .
C

Cuando la una funci on f : C

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 i vx i y u dx v dy i v dx u dy .
z xy xy xy

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 A u, v y B v, u, respectivamente. Por el teorema de Stokes, tales integrales son independientes de la trayectoria si es que A 0 y B 0, lo cual es efectivo al considerar la condici on de C.R. para las funciones u y v : B A

x By
x Ay

y Ax y Bx

v y u x u y v

0, 0.

zb 2 1 za (a) za

zb

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

M etodos Matem aticos para la F sica

trayectorias intermedias, entonces

zb
za 1

f z dz

zb
za 2

f z dz ,

donde ambas trayectorias parten de za y llegan a zb . Al cambiar de orden la segunda integral, tambi en cambiamos el signo [ver (b)]: zb za zb za f z dz f z dz f z dz f z dz 0 .
za 1

zb 2

za 1

zb 2

De esta ultima obtenemos [ver (c)]

f z dz

0.

Ejemplos i.- Calculemos I

z dz para las trayectorias a, b y c indicadas en la gura.


1+2i

a b 0 c

Fig. 1.9: Tres curvas de integraci on.

a) Para la trayectoria a podemos parametrizar z de la forma z t Entonces, dz dt 2i dt. Sustituyendo, t 2it , t:0 1.

1
Ia
0

t 2itdt 2i dt
z t

1
0

3t dt 4it dt 3 2i . 2

b) Para la trayectoria b podemos parametrizar z de la forma t 2it2 , t:0 1.

Entonces, dz

dt 4it dt, con lo cual 1 t 2it2 dt 4it dt Ib


0

3 2i . 2
U de Chile

FCFM

19

M etodos Matem aticos para la F sica

c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t t, (dz dt), con t : 0 1. En el segundo podemos hacer z t 1 it, (dz idt), con t : 0 2. De esta forma,

1
Ic
0

tdt

2
0

1 iti dt 3 2i . 2

Los pasos intermedios se verican trivialmente.

ii.- Calculemos

dz z

para una trayectoria circunferencial cerrada en torno al origen. Rei , (dz Rei i d), con

En este caso los puntos z en la trayectoria est an dados por z :0 2 . As , 2 dz Rei i d 2i . z Rei 0

ereEste resultado permite el c alculo de dz z 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

c a

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
c

Resumiendo,

dz z

2i 0

si encierra el origen si no encierra el origen

1.8.

F ormula integral de Cauchy

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

M etodos Matem aticos para la F sica

en el interior de , entonces

f z

1 2i

f z dz z z

Para demostrar este teorema podemos hacer uso nuevamente de la Fig. (1.10), donde se construye una trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia peque na de radio . Con f z es anal tico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat: ello el integrando z z f z dz 0 z z a b c d Al hacer los tramos b y d innitamente pr oximos, las integrales (recorridas en sentidos opuestos) se cancelan , con lo que pues los integrandos coinciden en el l mite. En tal caso a f z dz z dz fz z z z c

Necesitamos evaluar c en el l mite 0. Parametrizando (en sentido horario), z i e i d), con : 0 2, obtenemos 2 i f z ei d . Puesto que f es cont nua, entonces f z ei Sustituyendo es evidente f z
c 0

z ei (dz

f z cuando

0. Por lo tanto

2if z.

1 2i

f z dz. z z

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 1 f d . f z 2i z

Aceptando que la derivada de la integral es la integral de la derivada, es inmediato observar f n z dn dz n 1 2i 1 2i 1 2i

f d z

dn 1 f d dz n z n! z n1 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

M etodos Matem aticos para la F sica

Consideremos la sucesi on innita de n umeros reales o complejos w1 , w2 , w3 , . . . y construimos la suma parcial de k t erminos, k wn . Sk
n 1

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 b) Series condicionalmente convergentes, cuando

n 1

wn es convergente; y wn converge pero


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 un 0 y vn 0. Si adem as, una serie conocida n 1 an es convergente, con un an n, entonces u es convergente. Un criterio an alogo es utilizado para examinar la convergencia de la parte n n 1 imaginaria. 2. El test del cuociente, que consiste en construir el cuociente n wn1 wn . Denamos adem as mn n . Bajo este criterio, si R 1 la serie converge absolutamente; si R 1 entonces la R l convergencia queda indeterminada; si R 1 la serie es divergente. 3. El test de Cauchy, donde se dene l mn wn 1n . Si 1, entonces la serie es convergente; si 1 la convergencia queda indeterminada; si 1 la serie diverge.

Un ejemplo simple y de mucho inter es consiste en la serie geom etrica deninda por Sn 1 z z 2 z n1 . 1 zn , 1z

Es directo vericar el siguiente resultado exacto Sn Puesto que l mn zn 0 para z

1 .

1, entonces S 1 . 1z

Esta expresi on cerrada para la suma de innitos t erminos se obtiene suponiendo z 1. M as alla de si existe una expresi on cerrada, la existencia de un resultado nito est a condicionada, independientemente, por 1. Al los criterios del cuociente y de Cauchy. Ambos garantizan convergencia de la serie para todo z sector delimitado por z 1 se le denomina c rculo de convergencia. 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 S n z
n k 1

wk z .

U de Chile

22

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Denimos adem as

f z

l m Sn z . b si 0 N : n 11 z , N

z Esta serie es uniformemente convergente en la regi on anular a f z S n z . Al analizar la serie geom etrica y denominando f z f z SN z Buscamos N para el dado y obtenemos N ln 1 z . z zN 1z .

1.10.

Series de Taylor y de Laurent

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 f z f z z z

f n z z z n . n ! n 0

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

Fig. 1.11: Trayectoria circunferencial C en torno a z . directamente f z Reagrupando los t erminos en 1 z tenemos z con 1 1 1 2i

f d . z

z z z
z z , z 23

z 1 ,
1.

FCFM

U de Chile

M etodos Matem aticos para la F sica

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, 11 n 0 , que al combinar con las tres expresiones anteriores conduce a z z n 1 f d n 2if z z n 0 z f d n 0z z z n1 .
C C

Utilizando la f ormula integral de Cauchy para la derivada, v alida si f es anal tica, resulta evidente f z la serie de Taylor de f en torno a 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 R, como se ilustra conc entricos de radios r y R, respectivamente. Ambos est an centrados en z , con r C anal tica en la regi on anular S comprendida entre y . Entonces, para en la Fig. (1.12). Sea f : C
z zo

f n z z z n , n ! n 0

Fig. 1.12: Sector anular comprendido entre y , conc entricas en z . todo punto z

S , f z est a dada por


f z

n 0

an z z n

z z n , 1

bn

donde an bn 1 2i 1 2i

f d z n1 ,

z n1 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, f d f d 2if z . z z Cuando los tramos y se hacen innitamente pr oximos, la suma de la integrales se cancela y podemos escribir 1 f d 1 f d . f z 2i 2i z z
0

U de Chile

24

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

11111 00000 00000 11111 00000 11111 00000 11111 00000 11111 11111 00000

(+) ()

Fig. 1.13: Trayectoria cerrada que excluye singularidades. Se ha antepuesto signo a la integral positivo (antihorario).
,

pero se subentiende entonces que esta se realiza en el sentido

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 z n z n 1 1 z z z n 0 z z z z n1 . n 0 Por otro lado ya obtuvimos z 1

z z n , z n1 0

de modo que al sustituir en las integrales respectivas tenemos 1 f d 1 n n f z 2i n 0 z n1 z z n 0 z f d z z n1


De esta expresi on resultan evidentes los coecientes an y bn de la serie de Laurent. A modo de ilustraci on (trivial) busquemos la serie de Laurent para f z 1z 1 en torno a z 1. Los coecientes an y bn se deteminan mediante integraci on directa en torno a z 1. Comencemos por an , 1 f d an . 2i 1n1

Parametrizamos:

1 ei , (d an

ei id), : 0 1 2n1

ei 0.

2
0

ein1 d

Este ultimo paso es evidente porque n

0. Calculemos ahora los coecientes bn : 1 bn 1n1 f d 2i

Parametrizamos nuevamente:

1 ei , (d bn

ei id), : 0

ei

1 n1 2

2
0

ein1 d .

FCFM

25

U de Chile

M etodos Matem aticos para la F sica

En este caso n 1. Cuando n 1 se obtiene directamente b1 1. De igual forma se verica f acilmente que bn 1 0. As entonces la serie de Laurent para f z 1z 1 es la misma funci on, algo totalmente 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 f z

n 0

an z z n

b1 bn z . z z z n
fP

La contribuci on fP z se denomina parte principal de f en z . En relaci on a esta expansi on se denen las siguientes denominaciones. Si fP z consta de s olo el primer t ermino b1 z z , entonces z es un polo simple de f . Si fP es truncada en n Si fP z consta de innitos t erminos entonces z es una singularidad escencial. m, entonces f tiene un polo de orden m en z .

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 1z 2 tienen singularidades removibles en z 0.

1.11.

Teorema de los residuos

Sea f z una funci on meromorfa en sobre y dentro de una trayectoria cerrada C . Nos planteamos el 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
C 1 , k ,

U de Chile

26

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

De aqu obtenemos

f z dz

k k

f z dz

donde hemos omitido indicar el s mbolo en las integrales de la derecha. Abordamos ahora el c alculo de f z dz , encerrando el k e simo polo que suponemos de orden m . Denamos entonces k k z

z zk m f z ,
zk

Si f es expandida en serie de Laurent en torno a zk , entonces


z

l m z

b m; k ,

donde bm;k representa el coeciente de mayor orden de la parte principal de f . As , k z dz 2i m1 zk , (por Cauchy). f z dz z zk m m 1!
k k

Deniendo

Res f zk

m 1!
2i

m1 zk ,

obtenemos

f z dz

Res f zk ,

el denominado teorema de los residuos. Para los polos de primer orden se tiene Res f zk en el caso de los polos de segundo orden Res f zk l m d dz
z

l m z zk f z ;
zk

zk

z zk 2 f z

El teorema de los res duos es particularmente util para el c alculo de integrales denidas cuyos integrandos no cuenten con primitivas. Examinemos algunos casos t picos.
2 0

1. Integrales del tipo I1 Si hacemos z ei , (dz

F sin , cos d ei id), entonces podemos escribir sin z2 1 , 2iz cos z2 1 . 2z 1, de

La integral se reduce entonces al c alculo, a lo largo de la circunferencia z dz z 2 1 z 2 1 F , . I i z 2iz 2z Calculemos, por ejemplo, I
0

d . b cos

FCFM

27

U de Chile

M etodos Matem aticos para la F sica

iy
Polos para b=1

|z|=1 x
Polos (conjugados) para b<1

Polos para b>1

Fig. 1.15: Ubicaci on de las raices de z 2 2bz 1 Haciendo las sustituciones descritas se obtiene I

0.

2i

dz . z 2 2bz 1

Los polos del integrando son z b b2 1, ilustrados en la Fig. (1.15). Se puede vericar que s olo en el caso b 1 uno de los polos, z b b2 1, se localiza al interior de la circunferencia. Para el caso b 1 los polos yacen sobre la trayectoria, situaci on que obviaremos en este caso. Evaluemos entonces el residuo. Resf z 1 z z z z z z 1 z z 1 z z 1 2 b2 1

Con esto la integral buscada resulta I 2 . b2 1

2. Integrales del tipo I2

P x Q x

dx

Las integrales de este tipo resultan bastante simples si cambiamos x z . La trayectoria a considerar es una semicircunferencia ( o ) cerrada por el eje real. Denotemos P xQx por f x. Examinamos entonces R f z dz f xdx f z dz 2i Res f zj .

La integral sobre se analiza en alg un detalle. Consideramos z Entonces, f z dz i z f z d . Si z f z 0 cuando R , entonces f z dz


0

Rei , (dz

izd), : 0

0. Bajo este supuesto entonces,

f xdx

2i

Res f zj .

Los residuos en este caso son los ubicados en el semiplano complejo superior.

U de Chile

28

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Consideremos un ejemplo elemental:

Examinamos f z

dx . 1 x2

Sus polos son z en

i, pero s olo z

dz , 1 z2 i yace en el semiplano superior. Para el residuo evaluamos z dz z i 1 z2 dx 1 x2 2i 1 2i 1 zi . 1 . 2i

Res f z

Con ello,

Rx

3. Integrales del tipo I3

cos ax sin ax

dx

Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Dependiendo de cual sea la funci on, cos ax o sin ax, consideramos la parte real o imaginaria de Rxeiax . Luego extendemos al plano complejo, Rz 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,

cos kx 1 2 x2 2

Re

eikz 1 2 x2 2 .

Debemos decidir si cerramos por arriba ( ) o por abajo ( ). Para ello analizamos la exponencial evaluada en la semicircunferencia, z Rcos i sin : eikz eikRcos i sin eikR cos ekR sin .

Cuando R la exponencial tiende a cero s olo para 0 , motivo por el cual cerramos por 0 queda garantizado. Consecuentemente, arriba puesto que as

eikz 1 2 x2 2

2i

Res f zj . i.

Los ceros del denominador son z Evaluamos para el residuo d dz y se obtiene para la integral

i, de segundo orden, pero s olo hay que considerar z


ikz

z i2 1 iz e 21 iz 2
I 2

ek .

FCFM

29

U de Chile

M etodos Matem aticos para la F sica


ikxbx dx e
2

4. La integral I4

Esta integral es muy recurrente en el estudio ondulatorio de paquetes o pulsos gaussianos. Su caracter stica es que el integrando tiene una componente imaginaria (ikx) en la exponencial. Formamos primero un cuadrado de binomio para x, ikx bx Ello permite escribir I4
2

2 2 ik b x 2 b k . 4b
2

ek

4b

ebx 2b dx .
ik 2

Nos ocupamos entonces de I , para lo cual consideramos la trayectoria rectangular descrita en la Fig. (1.16) formada por un segmento R, R en el eje real, otro paralelo que une los extremos R ik 2b y dos tramos paralelos al eje imaginario que cierran la trayectoria. Consideramos entonces la identidad
R

d
Rik/2b

b a
Rik/2b

Fig. 1.16: Trayectoria rectangular cerrada para abordar la integral gaussiana.

ebz dz
2

0,

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

b c

0. Observamos

. En efecto, parametrizando

2 ebz dz

ebxik2b dx
2

I .

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,

ebz dz
2

R
R

ebx dx
2

ebx

. b

Las integrales sobre b y d se anulan al hacer R . Examinemos el tramo b, donde hacemos 0. Entonces, z R it, (dz idt), con t : k b

2 ebz dz

kb

2 ebRit idt

2 i ebR

kb

e2iRbt ebt dt
2

U de Chile

30

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

El l mite tomado en el ultimo paso es directo al analizar el m odulo de la integral:

0 2 e2iRbtbt dt kb

kb

2iRbtbt2 e dt

kb

ebt dt

kekb 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 ebR y tomar R De las observaciones anteriores se obtiene I 0 b

I4

k2 4b e . b

1.12.

La parte principal de una integral

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 f xdx m dx dx P . I l 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. Supongamos que podemos extender la funci on f x al plano complejo mediante una sustituci on simple 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

iy

x
R

xo

Fig. 1.17: Trayectoria que excluye el polo en el eje real. 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

M etodos Matem aticos para la F sica

parte principal de la integral. f z dz z x

Si adem as, f z 0 sobre , cuando R , entonces 0. Falta evaluar , para lo cual parametrii i e id), con : 0. As , luego de sustituir y simplicar zamos z x e , (dz 0 i f x ei d .

f xdx f z dz x x z x f zk 2i Res z k x k
P

f z dz z x

if x . Combinando los resultados f zk zk x Hay que tener presente que en esta versi on se ha excluido x del contorno de integraci on. Adem as, f z 0
Si f z es cont nua en x , entonces al hacer 0 se obtiene anteriores obtenemos f xdx P if x 2i Res x x k en la semicircunferencia superior cuando su radio R se hace innito. A modo de ilustraci on evaluemos la integral I eix 2i, es f acil vericar que

sin xx dx. Recordando que sin x

eix

eix dx . x Calculamos P de esta integral, para lo cual identicamos un u nico polo en x 0. Tal polo queda fuera de 0 sobre la la trayectoria pues el contorno lo excluye, por lo que no hay aporte de residuos. Adem as, eiz semicircinferencia superior, cuando R . En resumen, ix e dx if 0 i , P x iI .

por lo que I

Un resultado importante de la discusi on basada en la Fig. (1.17) est a sintetizado en la identidad f z dz f xdx if x . P z x x x Sin embargo el t ermino de la izquierda es el mismo si se cambia levemente la trayectoria de integraci on a la f x cuando 0, una exigencia de del lado derecho de la Fig. (1.18). Todo ello si es que f x i continuidad de f en el eje. Entonces, la integral de la izquierda se puede parametrizar mediante z x i , . Por lo tanto, (dz dx), con x : f z dz f x i dx f xdx . z x x x i x x i

f xdx f xdx if x . P x x x x i Este resultado es abreviado usualmente mediante 1 1 P ix x , x x i x x


con la funci on delta de Dirac a ser revisada m as adelante.

De esta forma,

U de Chile

32

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Fig. 1.18: Trayectorias equivalentes que evitan el polo.

1.13.

Hojas y supercie de Riemann

Una clase especial de funciones de variable compleja es aquella de funciones multivaluadas. Consideremos f z cualquiera de las siguientes funciones: z , n z (n entero), z ( irracional) y ln z . Para cualquiera r ei y cambiar de estas f z es multivaluada, vale decir, f toma valores diferentes al representar z continuamente 2 . Para jar ideas consideremos f z z r ei2 f r, . Si bien z en el plano complejo, 1, al reemplazar en f r, obtenemos f r, r ei2 i r; f r, r ei2

representan al mismo i
r.

Esto ilustra que f r, exhibe una discontinuidad en

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 En los ejemplos precedentes, z f z r ei2 .

0 corresponde a un punto de rama. u iv , con z r ei

Examinemos con m as detenci on el caso f z z . Descomponiendo f ( : 0 2 ), podemos tabular el comportamiento radial de u y v . Obtenemos,

Tabla I.- ur, y v r, para distintos valores de . 0 ur, v r, r 0 2 r2 r2 0 r 3 2 2 r 0 5 2 3 0 r

7 2 r2

4 r 0

r2
r2

r2 r2

r2
z es distinta:

Notar que si bi en

0y

2 representan el mismo complejo z , la raiz

l m

l m

r.

FCFM

33

U de Chile

M etodos Matem aticos para la F sica

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 1

Fig. 1.19: Partes real (izquierda) e imaginaria (derecha) de

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 enticas. u iv para 0 y 4 son id
n Resulta evidente entonces que, en general, la supercie formada por f z z z 1n se cierra luego de n vueltas alrededor de z 0. Esta idea, observada originalmente por Riemann, lleva a la construccion de lo que se denomina hoja de Riemann. El empalme de estas hojas lleva a la supercie de Riemann.

Las hojas de Riemann se construyen identicando los puntos de rama (branch points), es decir aquellos puntos en C en torno a los cuales un seguimiento de la funci on a su alrededor lleva a un valor distinto al del punto de partida. En la Fig. (1.20) se ilustra un punto z en torno al cual una funci on f z exhibe una 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

M etodos Matem aticos para la F sica

una secuencia de n hojas queda denida por f r, f r, f z . . . f r,

: 2 : 2 4 : 2n 1 2n

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 2 -1

-1

0
0 1 2

-1 -2 2 6

-2
2 1.5 1 2 1 0 -1 0 1 2 -2 -1

-4

0.5 0 -2

Fig. 1.21: Reln z (izquierda), una (centro) y tres hojas (derecha) de Riemann para Imln z .

1.14.

Integrales que involucran funciones multivaluadas

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

M etodos Matem aticos para la F sica

A modo de ilustraci on, calculemos la integral


0

xp1 dx , x2 1 z p1 z2 1

con 0

2. Para evaluar esta integral consideremos la funci on de variable compleja f z

Al ser p un real cualquiera entre 0 y 2, entonces la funci on resulta multivaluada. Al representar z ei , 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

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.

R : circunferencia casi cerrada de radio R (

). Se demuestra que en el l mite

0.

y : dos tramos rectos radiales muy pr oximos al corte, uno a cada lado de este. r : circunferencia casi cerrada de radio r, donde r 0. Se encuentra que
r

0.

Podemos escribir

in

out

2i
r

Resf zj .

Los polos de f son

i, que representamos consistentemente con la notaci on polar, vale decir


z1 ei2 , z2 e3i2 .

Para z

z1 evaluamos el residuo:

z z1 z zz z z
1 2

p 1

z p1 z z2 z p1 z z1 36

p1 z1 z 1 z 2

1 p1 z 2i 1

1 ip2 p z1 e 1 . 2 2

Para z

z2 evaluamos el residuo:

z z2 z zz z z
1 2

p 1

p1 z2 z2 z1

zp 1 2 2

e3ip2 . 1 2

U de Chile

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

La suma de los residuos,

Res

p 1 eip2 e3ip2 eip cos . 2 2

Las integrales sobre los tramos radiales: Para parametrizamos z ei , (dz d ei ), con : 0

. Entonces, p1 d 2 1 0 . Entonces,

p1 eip1 i e d 2 e2i 1

Para parametrizamos z

ei2 , (dz

d ei2 ), con :

p1 eip12 i2 e d 2 e2i2 1

e2ip

p1 d 2 1

Combinando los resultados anteriores se obtiene p1 d 1 e2ip 21 0 que luego de simplicar conduce a

2i eip cos p 2

p1 d 2 1

p cosec . 2 2

1.15.

Prolongaci on anal tica

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, 1 f d d . f z 2i z 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. C , anal ticas en una regi on S . Si f1 f2 en una vecindad de un punto Teorema: Sean f1 z , f2 z : C on de este teorema es z S (o segmento de curva en S ), entonces f1 z f2 z z S . La demostraci bastante simple. Si f1 z f2 z en una vecindad de un punto z S entonces tambi en lo son todas sus

FCFM

37

U de Chile

M etodos Matem aticos para la F sica

00 S 11 00 11 x x 11 00 00 11
R
x

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 enticos coecientes en sus expansiones en tienen radio de convergencia R1 , entonces ambas conducen a id 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 . Un corolario del teorema anterior es que el comportamiento de una funci on anal tica en S C est a completamente 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 Consideremos f1 z on est a denida para z 1, caso en que converge a n 0 z . Esta expansi f1 z 11 z . Para z 1, f1 queda indenida. Por otro lado consideremos g z 11 z , funci on anal tica denida para todo z 1. Claramente g z f1 z para todo z 1. Por lo tanto, g z es la on z 1. prolongaci on anal tica de f1 en la regi

zt dt , expresi on denida z Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z 0 e S1 z : Re z 0, regi on en la cual f1 z 1z . Bajo esta denici on f1 z queda indenida para Re z 0. Por otro lado, consideremos la expansi on
iy Re{z}>0 x

1111 0000 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111
f 2 z

|z+i|<1

Fig. 1.24: Regiones de denici on de f1 y f2 . En el semic rculo achurado f1

f2 .

z i n i , i n 0

expresi on convergente a 1z en la regi on S2 z : z C zi 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

U de Chile

38

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

f1 z . tica en S1 y f2 anal tica en S2 . Sea adem as B la frontera com un de S1 y S2 . Si Teorema: Sean f1 anal f1 f2 en B , con f1 cont nua en S1 B y f2 cont nua en S2 B , entonces f z es anal tica en S1 S2 f1 f2 z z

S1 S2

B B

B . Con ello, f1 es la prolongaci on anal tica de f2 en S1 y vice versa.

on de este teorema es directa haciendo uso del teorema de Morera, el cual establece que La demostraci si C f z dz 0, para todo C D, entonces f z es anal tica en D. Consideremos entonces una trayectoria y S , cerrada, arbitraria que pasa por las dos regiones S 1 2 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

C B

S2 C2 C1

S1

Fig. 1.25: Una trayectoria arbitraria pasando por S1 y S2 . descomposici on

f z dz

C1

f1 z dz

C2

f2 z dz .

Puesto ticas en sus dominios respectivos, las integrales sobre C1 y C2 son nulas, por lo que f1 y f2 son anal 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 C, anal tica. Si semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C R adem as f z f z para z R, entonces la funci o n g : C C, denida por g z f z ,

es la prolongaci on anal tica de f en C . Una constataci on directa de este corolario es vericando que la ux, y iv x, y , y g z condici on de Cauchy-Riemann es cumplida por g . Descomponiendo f z ax, y ibx, y , entonces g z f z ax, y Resulta directo demostrar que a x ux, y , bx, y

vx, y . b
x.

b y , y que a y

FCFM

39

U de Chile

M etodos Matem aticos para la F sica

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 d d P i
C

0 Por lo tanto, i Descomponiendo P

Re iIm , entonces al igualar las respectivas partes real e imaginaria obtenemos 1 Im d P ; Re 1 Re d P Im .

d .

1.17.

M etodo del descenso m as empinado (steepest descent)

Este m etodo es particularmente util para obtener formas asint oticas de funciones expresadas como integrales en el (o prolongables al) plano complejo. Consideremos la integral I ef z g z dz , (1.17.4)
C

con f y g funciones anal ticas, y una variable real, grande y positiva. Si denotamos f ef z eu cosv i sinv

u iv , entonces (1.17.5)

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) x2 y2 x2 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 1 f z f z z z 2 . 2 (1.17.7)

U de Chile

40

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

u
u steepest v constante

Plano Complejo

Plano Complejo

Fig. 1.26: Mantos ux, y y v x, y en torno al punto silla. Denotamos z z rei f z 2Rei

f z f z

r2 R ei2 .

(1.17.8)

Separando por componentes, Im f z f z 2 Re f z f z r2 R cos2 , r2 R sin2 . (1.17.9)

Para que la parte imaginaria sea constante se debe cumplir n

0, 1, 2, 3

r 2 R

Para estos valores examinamos la parte real de f z f z. Claramente para n 1, 3, Re f z f z 0. Vale decir, de los cuatro segmentos perpendiculares en C que convergen en z , s olo aquellos aximo local. As , examinamos el integrando de I en para n 1 (C1 ) y n 3 (C3 ) ux, y pasa por un m

n 2

. 2

(1.17.10)

f(z)f(z o)=t < 0


1

C
Fig. 1.27: A lo largo de C1

C3 ux, y pasa por un m aximo.

las vecindades de z , pasando por los trayectos C1 y C3 . Para aquellos z en C1 y C3 denamos f z f z


2

rR2 t2

1 z z 2 f z . 2
2

(1.17.11)

Por lo tanto ef z ef z et . Puesto que es grande, entonces et es muy aguzada, lo que permite contener la 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
C

ef z t g z dz
2

ef z

et g z dz .
2

(1.17.12)

FCFM

41

U de Chile

M etodos Matem aticos para la F sica

Buscamos ahora una correspondencia (parametrizaci on) entre t y z . Combinando Ec. ( 1.17.8) para r y Ec. ( 1.17.11) para t es f acil vericar que z z t Rei . Conviniendo t 0 en C1 , con 0 1 , entonces z C3 queda naturalmente representados por t 0. As ,

C1
z(t) t>0

zo

z=z o+ t e i R

C3

t<0

Fig. 1.28: Parametrizaci on z t pasando por z . z Sustituyendo en Ec. ( 1.17.12), I e e


f z i1

t i1 e R

dz

ei1 dt . R

(1.17.13)

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 et , 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 , (1.17.15) I ef z f z donde hemos sustituido 2R por f z y utilizado 2 et dt .

et g z
2

t i1 e dt . R

(1.17.14)

(1.17.16)

Ilustremos con un ejemplo cl asico. La funci on gamma est a denida por I 1 ez z dz .


0

Buscamos una forma asint otica ( grande) para esta integral. Para aplicar el m etodo reci en visto al integrando acilmente que le damos una forma del tipo ef g . Se puede vericar f ez z con lo cual f z ln z z ; g z 0: f z 1 z 1 f z 0 para z 1. Entonces, eln zz ,

Buscamos z tal que f

U de Chile

42

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Evaluamos f z en z ,

f z f z

z12
1 i e 2

f z

1 2

Identicamos :

yn

0 ei1 1.

Evaluamos ei1 , donde n

n 2 2. Para

1 tenemos 1

Sustituyendo los resultados parciales I eln 1 1 ei0 2 12 2 eln 1 . N !, con lo cual 2 eln 1 .

De esta forma se obtiene la reconocida aproximaci on de Stirling para 1, 1 En particular, si es entero (N ), entonces 1 ln N !

N ln N

N .

FCFM

43

U de Chile

M etodos Matem aticos para la F sica

U de Chile

44

FCFM

Cap tulo 2

Coordenadas curvil neas ortogonales

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 , x2 , x3 u1 , u2, u3 , es decir x1 f1 u1 , u2 , u3 , x2 f2 u1 , u2 , u3 , x3 f3 u1 , u2 , u3 .

Adem as, suponemos que es posible representar la inversa, vale decir u1 F1 x1 , x2 , x3 , u2 F2 x1 , x2 , x3 ,


x3 u1 x3 u2 x3 u3

u3

F3 x1 , x2 , x3 .

Para que estas transformaciones sean invertibles exigimos 1 x x2 u1 u1 x1 x2 J u u2 2 x1 x2 3 3


u u

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.

45

M etodos Matem aticos para la F sica

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 dr Exigimos que el escalar dr dr de coordenadas. r r r du1 2 du2 3 du3 1 u u u ds r duj uj

ds2 sea invariante, vale decir, que su magnitud no dependa del sistema

Notar que r uj es tangente a la l nea uj , vale decir, aquella l nea desde el punto P que surge de j incrementar u manteniendo el resto de las coordenadas jijas. Denamos aj Claramente entonces, r uj e j aj aj

e3 e2 e1 u1

Fig. 2.2: Vectores unitarios asociados a coordenadas ortogonales. i j ds2 a a du du gij dui duj . i j
i,j gij i,j

U de Chile

46

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

A las cantidades gij coordenadas.

ai aj , se les denomina coecientes m etricos y caracterizan la naturaleza de las

. En tal caso los coecientes gij Un sistema se dice ortogonal cuando los e i son ortogonales entre s conforman una matriz diagonal, i.e. gij gii ij . En tal caso se tiene

ds2

ds2

1 2 g g22 du2 2 g33 du3 2 . 11 du

ds1 2

ds2 2

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 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, xk xk xk xk 2 k k i j ds dx dx du du dui duj i j i j u u u u i j ij k k k i j gij du du
ij

Considerando variaciones arbitrarias dui y duj , entonces identicamos gij

xk ui k

xk . uj

2.3.

Elementos geom etricos

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

Fig. 2.3: Elementos de longitud, supercie y de volumen. dsi dij d hi dui hi hj dui duj h1 h2 h3 du1 du2 du3 elemento de l nea elemento de area elemento de volumen

FCFM

47

U de Chile

M etodos Matem aticos para la F sica

Las conocidas expresiones para el gradiente, divergencia y rotor en coordenadas curvil neas surgen de estas representaciones. Antes de continuar revisemos los resultados que arrojan las deniciones anteriores para las coordenadas cil ndricas. En tal caso las coordenadas x, y, z se relacionan con , , Z mediante x1 x2 x3 De estas se obtienen Z arctany x z x2 y 2 x y z cos sin Z

Calculamos primero h , h y hZ . Para determinar h recordamos h2 Es f acil vericar x obtienen h , y hZ

xk 2 . k
0, con lo cual h 1. En forma an aloga se

cos ; y sin ; y z 1. De esta forma resulta directo ds2

d2 2 d2 dZ 2 .

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.

Para un campo escalar , su gradiente est a dado por Para un campo vectorial A A e 1 h1 u1 e 2 h u2 e 3 h . u3

A1 e 1 A2 e 2 A3 e 3 , entonces 1 h1 h2 h3 u1 u2

A1 h2 h3 h1A2 h3 h1 h2 A3
u3 h2 e 2
2

h1 e 1 1 1 h1 h2 h3 h1 A1

h2 A2

h3 e 3 . 3 h3 A3

U de Chile

48

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Para un campo escalar o vectorial 2 1 h1 h2 h3

u1

h2 h3 h1

u1

u2

h3 h1 h2

u2

u3

h1 h2 h3

u3

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 1 2 2 . 2 2 Z2

2.4.1.

El gradiente
u1 , u2 , u3 y calculemos su variaci on bajo variaciones arbitrarias

Consideremos un campo escalar du , du2 y du3


1

du1 2 du2 3 du3 . 1 u u u Estas mismas variaciones en las coordenadas denen un desplazamiento innitesimal ds dado por d ds e 1 h1 du1 e 2 h1 du2 e 3 h1 du3 .

Deniendo convenientemente e 1 1 h1 u 1 1 e 2 h
2

u2

1 e 3 h

, u3

ds. De esta forma se interpreta geom etricamente como la resulta evidente entonces que d m axima variaci on de por unidad de desplazamiento. En efecto, podemos escribir d ds cos ,

con el angulo entre y la direcci on del desplazamiento ds. Si se hace coincidir la direcci on de ds con ds ddsMax . la de , entonces 0 y dMax

2.4.2.

La divergencia y el teorema de Gauss

La divergencia y el Teorema de Gauss est an estrechamente relacionados. En efecto, consideremos un campo vectorial A dado por A A1 e 1 A2 e 2 A3 e 3 . Supongamos adem as Ai Ai u1 , u2 , u3 y consideremos la integral de ujo sobre una supercie cerrada

A dS .

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

FCFM

49

U de Chile

M etodos Matem aticos para la F sica

dS

dS dS dS 1 d S2

2
Fig. 2.4: Integral sobre una supercie cerrada y su equivalente en dos contribuciones. on de ambas reconstituyen la supercie original y sus normales en la regi on de y otra sobre 2 . La uni contacto apuntan en sentidos opuestos, garantizando la cancelaci on de las contribuciones mutuas. Entonces,
1

A dS
2

A dS .

Este procedimiento se puede repetir subdividiendo 1 y 2 , y as sucesivamente. Se obtiene entonces una suma de muchas integrales sobre celdas, tantas como resulten de las subparticiones del volumen de partida. Entonces, 1 A dS i A dS . i i i
i i

esima celda. En el l mite de celdas En el ultimo paso se ha introducido el elemento de volumen i de la i- innitamente peque nas tenemos A d ,
V

donde hemos denido

l m

A dS

on denota una supercie de y denotado por V el volumen contenido por la supercie . En esta expresi 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 h1 u1 , h2 u2 y h3 u3 , respectivamente, de modo que su volumen es h1 h2 h3 u1 u2 u3. La integral de ujo sobre la celda es una suma de seis contribuciones, una por cada cara del cubo: A dS
6 k 1

Ak Sk .

Sumemos el primer par de caras opuestas (la 1 seg un e 1 y la 6 seg u n 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 1 h2 h3 u2 u3 , mientras que en de las coordenadas. El elemento de area (vectorial) en la cara 1 es S1 e 2 3 la cara 6 es S6 e 1 h2 h3 u u .

1 6
U de Chile

A1 S1 A6 S6

A1 h2 h3 u u u2 u3 A1 h2 h3 u u2 u3
1 1 1

50

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

u3
111111 000000 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111

d 1 u2

()

d 1(+) u1

Fig. 2.5: Suma de los ujos en dos de las seis caras de una celda innitesimal. Sumando este par, dividiendo por el volumen y tomando el l mite u1 0, obtenemos

A1 h2 h3 u u A1 h2 h3 u
1 1

h1 h2 h3 u1

1 h1 h2 h3

A1 h2 h3 .
u1

Un procedimiento an alogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen A 1 h1 h2 h3

A1 h2 h3 A2 h1 h3 A3 h1 h2
u1 u2 u3 y , u3

. z , h1 h2 h3 1.

En el caso particular de las coordenadas rectangulares tenemos u1 x, u2 Por lo tanto Ax Ay Az A . x y z

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.

2.4.3.

El laplaciano

Se dene el laplaciano como la divergencia del gradiente, vale decir, 2 .

Reemplazando las expresiones anteriores para la divergencia y el gradiente obtenemos 1 h2 h3 h3 h1 h1 h2 2 u2 h u u3 h u . h1 h2 h3 u1 h1 u 1 2 2 3 3 Nuevamente, en el caso de coordenadas rectangulares obtenemos 2
2

x2

y2

. z2

FCFM

51

U de Chile

M etodos Matem aticos para la F sica

2.4.4.

El rotor y el teorema de Stokes

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. Consideremos nuevamente un campo vectorial A A1 e 1 A2 e 2 A3 e 3 , el cual es integrado a lo largo de una trayectoria cerrada C . Denotando d a los elementos de l nea de la curva, entonces W A d .
C

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
C1

A d

C2

A d

N i Ci

A d .

Si la trayectoria elemental i- esima tiene una supercie i , entonces podemos escribir W


N i

1 i

Ci

A d

N i

i n i

n i i

Ci

A d

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 A d A d ,
C C

donde se ha denido

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

M etodos Matem aticos para la F sica

e3
u +du
3 3 (b) 3

(c)

(a)

u
(d)

e2
u
2

u +du

Fig. 2.7: An alisis de una circulaci on elemental en el plano u2 u3

e 1 .

en la

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) Ad Ai i . Aa a Ab b Ac c Ad d .
i a,b,c,d

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 Las funciones h3 y A3 en el tramo a son evaluadas en u , u u , u , mientras que en b se eva3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro luan en u1 , u2 , u contribuciones obtenemos 3 h h2 A2 u3 u2 . 3 A3 u2 u2 h 3 A3 u2 u h 2 A2 u3 u3
a,b,c,d

Al dividir por la supercie

h2 h3 u2 u3 y tomar el l mite se obtiene el rotor en seg un e 1 ,

A1

1 h2 h3

h3 A3 h2A2
u2 u3

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

Ax

Az y

Ay . z

FCFM

53

U de Chile

M etodos Matem aticos para la F sica

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

0 1

para x

x dx

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. Una propiedad importante que emerge de su denici on es la relaci on f x x dx f 0 .

En efecto, f x x dx inmediato vericar entonces que

f 0 x dx

f 0

x dx

f 0. De este resultado es

f x x a dx

f a .

Estos resultados son tambi en v alidos cuando f representa vectores u operadores. Con respecto a los l mites de

55

M etodos Matem aticos para la F sica

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

Listamos algunas propiedades importantes de la delta. x x x x 0 1 x a 1 x a x a 2a f a x a a b (3.2.1a) (3.2.1b) (3.2.1c) (3.2.1d) (3.2.1e) (3.2.1f) (3.2.1g) (3.2.1h) con xk cero de f x (3.2.1i)

ax

x2 a2

a x x b dx xf x dx x x

f x x a

f x Examinemos algunas de estas identidades.

f 0 x

1 x xk f xk

Para la primera de ellas consideremos una funci on f x arbitraria y hacemos el cambio de variable z x. Entonces

f x x dx

f z z dz x.

f 0 z dz

f x x dx .

Puesto que f x es arbitraria, entonces x

Para la propiedad ( 3.2.1b) consideremos nuevamente una funci on arbitraria f x. Entonces,

f xx x dx

xf x x dx

xf x x

0.

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, 0. Adem as

f x ax dx

1 a

z f z dz a

1 a

f 0 z dz

f z

1 z dz . a

U de Chile

56

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Una propiedad menos directa es la ( 3.2.1d). Consideremos una funci on f arbitraria. Entonces, 0 f x x2 a2 dx f x x2 a2 dx f x x2 a2 dx

f a

Para la primera de las integrales hacemos el cambio de variables z x2 a2 , con lo cual dz 2 dx z a2 . Por lo tanto, 0 a2 dz 1 2 2 x a dx z . 2 2a 2 za 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 x2 a2 x a x a 2a Las demostraciones del resto de las propiedades quedan propuestas.

x2 a2 dx f a

x2 a2 dx

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 . Los siguientes tres ejemplos constituyen representaciones del la delta de sucesiones en el l mite n Dirac. n n2 x2 e l m ; x n sin nx ; x l m n x 1 n x l m n 1 n2 x2 Es importante tener presente que en el uso de las representaciones, las integrales se realizan primero y luego se toma el l mite n . El orden no conmuta. En muchas aplicaciones de la f sica no encontraremos con las siguientes representaciones equivalentes de la delta: 1 x x eikxx dx 2 sinK x x x x l m K x x 1 x x l m 0 2 x x 2

FCFM

57

U de Chile

M etodos Matem aticos para la F sica

U de Chile

58

FCFM

Cap tulo 4

Series y transformada de Fourier

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.

4.1.

El Teorema de Dirichlet

Sea f x una funci on acotada en el intervalo , , con un n umero nito de m aximos, m nimos y odica en la forma f x 2 f x para aquellos argumentos fuera discontinuidades. Sea adem as f x peri del intervalo. Entonces, la sucesi on sN converge a
1 2

a 2

N n 1

an

cos nx bn sin nx

f x 0 f x 0 cuando N
an bn

. Los coecientes an y bn est an dados por las f ormulas

1 f x cos nx dx 1 f x sin nx dx

n n

0, 1, 2, 1, 2, 3,

Es claro que si la funci on f es cont nua en x, entonces f x a 2

n 1

an

cos nx bn sin nx .

En aquellos puntos x donde la funci on exhibe una discontinuidad, sN 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

M etodos Matem aticos para la F sica

funci on es cont nua en el intervalo f x donde an bn 1 L 1 L

L, L, entonces
a 2

n 1

an cos

nx
L

bn

sin

nx
L

L L

L L

f x cos f x sin

nx
L

dx dx

n n

0, 1, 2, 1, 2, 3, .

nx
L

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 eip 2, sin p eip eip 2i, obtenemos f x a 2

1 2

n 1

an ei
nx L

nx L

ei nx L

ibn

ei

nx L

ei nx L

cn ei

.
0) c cn cn a 2 an i b n 2 an i b n 2

Con esta construcci on identicamos (n

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: L i nx i mx L L cn e dx e f x

f x eimxL dx
n

L
cn

einmxL dx . L
2Lnm

De aqu surgen inmediatamente los coecientes cn , 1 L cn f x eimxL dx . 2L L

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 RN , donde un vector arbitrario

U de Chile

60

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

F puede ser expandido en t erminos de los elementos de la base ortonormal b1 , b2 , , bN . Bajo el producto interno usual (producto punto), los elementos de esta base satisfacen bi bj ij Entonces podemos escribir F
N i 1

ci bi .

A este punto s olo F y los elementos de la base son conocidos. Para obtener los coecientes ci nos valemos del producto interno y de sus propiedades lineales. Multiplicando por bk a ambos lados obtenemos bk F N ck . N otese la notable similitud entre este procedimiento y el empleado para obtener i 1 ci bk bi los coecientes cn en la serie de Fourier. La analog a se hace evidente al establecer un paralelo entre los elementos bn de la base en RN y las funciones einxL como elementos de una base de funciones. La analog a es completa al introducir un producto interno entre funciones. El despeje realizado para obtener on de Fourier sugiere el producto interno en este caso. los coecientes cn en la expansi Para el ejemplo reci en visto denimos los siguientes elementos de la base de funciones, n x 1 einxL , 2L

acompa nadas de la siguiente denici on de producto interno f g entre dos funciones, f y g :

f g
Claramente, bajo esta denici on n m las siguientes propiedades:

f xg x dx .

nm . Adem as, bajo esta denici on el producto interno satisface

f f 0 f g h f g h

f g f h

f h f h

Observese el siguiente desarrollo, f x

cn n x

k x

k xf x dx

L
cn

L
ck ,

dx

k x n x dx

on original para f x y reordenando t erminos se obtiene con lo cual, al sustituir ck en la expansi f x

L
n

n x n x f x dx L
cn

dx

n x n x f x .

nua en el intervalo Esta igualdad se da para cual sea la funci on f x cont la delta de Dirac, x x n x n x .
n

L, L, con lo cual identicamos

FCFM

61

U de Chile

M etodos Matem aticos para la F sica

A esta relaci on se le denomina completitud, que en el caso de la base de Fourier toma la forma x x 1 inxx L e . 2L n

a, b, no necesariamente acotados, consistentes con el dominio de las funciones a estudiar. Para tales casos L b hacemos simplemente L dx dx. a
4.3. Paso del discreto al cont nuo

Es importante tener presente que la denici on del producto interno permite el uso de intervalos arbitrarios

Las series de Fourier resultan muy utiles 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 . Como hemos visto, la base de funciones ortonormales cuyos elementos n x satisfacen la relaci on de completitud x x
n

2L einLx

1 inLx x e . 2L

Nos interesa preservar esta propiedad pero dando cabida a un intervalo innitamente extenso en x. La suma se realiza sobre el ndice discreto n, de modo que si denimos kn n L, kn L, entonces podemos reescribir la identidad anterior 1 ikn x x 1 e kn eikx x dk . x x 2 2 k
n

Esto sugiere redenir los elementos n de la base n x los cuales satisfacen la relaci on de completitud x x k x 1 eikx , 2

k x k x dk .
L L n xm x dx

Examinemos la condici on de ortogonalidad, que para la base discreta de funciones expresamos nm . Esta vez consideremos 1 x x dx eipkx dx k p , p k 2
2 k 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

M etodos Matem aticos para la F sica

Consideremos una funci on f x denida para x y supongamos que esta se puede expresar de la siguiente forma, f x C k k x dk , (4.3.1) lo que constituye una expansi on de la funci on f x como una combinaci on lineal de los elementos de la base on. El uso de la ortonormalidad de las funciones k x. Los C k corresponden a los coecientes de tal expansi 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

f x k x dx .

(4.3.2)

Esta integral est a totalmente denida si es que resulta acotada. En tal sentido examinemos, 1 C k f x x dx f x dx . k 2 Entonces, si

f x dx es nita, entonces los coecientes C k existen.

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 tales superposiciones, los C k , exhiben una estructura bastante similar a la funci on original [c.f. Ec. ( 4.3.2)]. En cierta forma tales elementos C k contienen la misma informaci on que la funci on de partida f x, constituyendo una representaci on alternativa de la funci on de partida f .

4.4.

Transformada de Fourier
f x dx sea acotada. Se dene la transformada de Fourier de f ,
F k 1 2

Sea f una funci on tal que denotada por F k , mediante

f x eikx dx .

k F k . As Otra notaci on equivalente es f entonces, de acuerdo a la discusi on de la secci on anterior, 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 R3 , del tipo f x, y, z , es natural mediante F kx , ky , kz F k 1 232 1 232 dx dy dz f x, y, z eikx xky ykz z d3 rf r eikr

FCFM

63

U de Chile

M etodos Matem aticos para la F sica

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. F f1 f2 F f x F f1 F f2

1. Linealidad en las funciones: 2. F F f k 3. Si f k 5. Si f f

k F f x, entonces f F f x, entonces

tambi 4. Si f es par (o impar), entonces f en lo es. 1 k f F f x

0 es proporcional al 6. f area entre f x y el eje x. 7. F x 1 2.

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)

Esta estructura en el caso 1D se extiende a funciones en 3D de la forma r Rr r f r d3 r .

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

La integraci on dx dx abarca todo el plano R2 . Cambiando variables: x, x X, X , con X X x, entonces dx dx dX dX . Por lo tanto, 1 ikX k . k f k dX e R X dX eikX f X 2 R 2 64

Consideremos el caso 1D y examinemos la transformada de Fourier de la convoluci on expresada por la Ec. ( 4.4.3). Multiplicando por eikx 2 e integrando en x obtenemos 1 k dx eikx dx Rx xf x . 2 x

x,

U de Chile

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Por lo tanto,

k , k f 2 R

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.

4.4.2.

Relaci on de Parseval

Esta es otra de las relaciones importantes en las transformadas de Fourier, cuyo uso es extensivo en optica y en el estudio de fen omenos ondulatorios en general. Esta relaci on establece k g f x g x dx k dk . f

Esta simetr a notable tiene implicaciones muy importantes en la construcci on de representaciones en mec anica cu antica. Para demostrarla consideremos 1 1 ikx g x g k eik x dk . f k e dk , f x 2 2 Entonces,

f x g x dx

1 2

dx

k eikx dk f

g k eik x dk

Reordenando consistentemente las integrales, 1 k f x g x dx dk f dk g k dx eik kx 2

La integral en dx conduce a 2 k k , la que al participar en la integraci on en dk conlleva a k g f x g x dx k dk , f

el resultado esperado. 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 on en el sentido convencional. El abstracto, f , que proyectado adecuadamente toma la forma de una funci 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 .

4.4.3.

Potencial debido a una distribuci on de cargas

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

M etodos Matem aticos para la F sica

Puesto que esta aplicaci on es 3D, tenemos c k 232 k V El potencial de Coulomb debido a una carga puntual unitaria es Vc r k c k V Por lo tanto, k 2 1 . k2 4 k . k2 1r, de modo que (4.4.4)

(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 2 2 ikr cos . k 232 0 r dr r 0 sin d e La integraci on en se realiza f acilmente, conduciendo a 2 1 r dr r sinkr . k k 0 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

232

eikr d3 r r

R
0

r dr sinkr

2 k

dr sinkr . k 0
sin kR k

Este resultado conduce a k donde hemos utilizado j0 t

2 R 2 j1 kR , k

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 3 Zq , entonces se obtiene normalizamos la densidad de carga a Zq , vale decir, 4 3 R 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 0. ejemplo). La idea es examinar el caso l mite de una distribuci on uniforme en un entorno esf erico con R Se puede vericar que j1 t 1 l m , t 0 t 3

U de Chile

66

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

con lo cual,
t

k l m
0

2 Zq , k2 1.

coincidente con el resultado debido a una fuente puntual por s sola [c.f. Ec. ( 4.4.4)] luego de hacer Zq

Antes de abandonar este ejemplo resulta instructivo hacer contacto con un planteamiento alternativo . Recordemos que el potencial electrost para la obtenci on de atico satisface la ecuaci on de Poisson, 2 r Si denimos, separadamente, r resulta evidente vericar 1 232

4r .
r 1 232

(4.4.6)

k eikr , 1 232

k eikr ,

r
2

k eikr . k2

Al sustituirl en la en Ec. ( 4.4.6), multiplicar por eik r y posteriormente integrar en d3 r se obtiene, k 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

M etodos Matem aticos para la F sica

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 0 0

Helmholtz: 2 k 2 Poisson: 2 f

Parab olicas: en ellas alguno de los operadores de segundo orden est a ausente. Difusi on: 2 u Schr odinger:
tu t

2 U i

Hiperb olicas: en ellas alguno de los operadores de segundo orden tiene signo opuesto al resto. Ondas mec anicas: 2
2 t

0
2 t

Klein-Gordon: 2 m2

Todas estas ecuaciones constituyen un problema denido una vez que se especican las condiciones de borde (C.B.). Usualmente 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

M etodos Matem aticos para la F sica

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, respectivamente. Si se plantea una soluci on del tipo r , t Rr T t, entonces Dr Rr Rr Dt T t . T t

Puesto que r y t son par ametros independientes, necesariamente cada lado de la igualdad debe ser constante, Dr Rr Rr , Dt T t T t . Notar que el problema se ha reducido a un problema de valores propios y funciones propias. Si 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.

Ecuaci on de Laplace en un disco

Consideremos la ecuaci on de Laplace para un campo f sobre un dominio circular bidimensional. El disco f , con f una funci on conocida es de radio R, en cuyo contorno el campo est a dado por f R, y el angulo polar en coordenadas cil ndricas. En estas coordenadas la ecuaci on de Laplace, 2 f 0, se expresa 2 f 1 2f f f 1 0 0 2 2 2 Esta ultima ecuaci on ha sido obtenida a n de poder aplicar separaci on de variables, para lo cual es necesario

Fig. 5.1: Problema de Laplace en un disco. expresar los operadores diferenciales como la suma de operadores donde las variables no se mezclen. A este punto planteamos f , . Sustituyendo y separando ecuaciones se obtienen

c,

c ,
FCFM

U de Chile

70

H. F. Arellano

M etodos Matem aticos para la F sica

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
2

k 2 , con lo cual

k2

Ak cos k Bk sin k ,

con k entero. Para determinar resolvemos

k2 , p , con p una k. Si k 0,

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 p2 k 2 , o bi en p entonces, dk k ck k k . Cuando k 0, examinamos en detalle. 0 c d ln .

Puesto que el centro del disco es parte del dominio de la soluci on. Si adem as exigimos regularidad de la 0 para todo k 0. Todo lo anterior restringe la forma de las soluci on en todo este, necesariamente dk soluciones fk k k , k k 0 0 fk , f , c A ck k Ak cos k Bk sin k

Todas ellas son soluciones de la 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 Para determinar los coecientes evaluamos en f A 2 R, cos n Bn sin n Rn ,
d y obtenemos

n 1

An

y multiplicamos separadamente por 1, cos m y sin m. Luego integramos 1 f d A 1 f cosn d An Rn 1 f sinn d Bn Rn

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 1 n f , f d f cos n cos n sin n sin n d . 2 Rn n 1

FCFM

71

U de Chile

M etodos Matem aticos para la F sica

Reagrupando t erminos e identicando entre los par entesis cuadrados cos n se obtiene f , 1 2

f 1 2

n cos n R n 1

d .

Esta suma se puede reordenar mediante la aplicaci on adecuada de la serie geom etrica1, conducente al siguiente resultado para la soluci on 1 R 2 2 f , f 2 d . 2 R 2 2R cos A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario vericar que la 0, y que soluci on obtenida es efectivamente la soluci on al problema. Ello implica constatar que 2 f f R, f . Ambas vericaciones quedan propuestas como ejercicio2 .

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 2 c 2 t2 0.

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 1 1 2 2 2 0 k2 0 , 2 2 c z2 donde hemos denotado k 2 2 c2 . Introducimos separaci on de variables de la forma , , z que al ser reemplazada en la ecuaci on anterior conduce a 1 1 1 1 1 d F k2 R 2 R d F
p2

R F z ,

0.

(5.3.1)

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 ddx, o primas para las derivadas. Adem as, la suma de los ultimos 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 k 2 p2 z 0. (5.3.2)

1 Consideremos S 1 2 1 xn cos n 1 1 xn ein ein 1 1 xei n 1 xei n . Si x 1 entonces podemos hacer uso de las expresiones para la serie geom etrica innita. Luego de sustituir y simplicar se obtiene S 1x2 . 1x2 2x cos 2 Hacerlo.

U de Chile

72

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

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 1 1 d R 2 p2 F R d F
n2

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 Introduciendo las nueva variables z d R n2 R 2 p2 R d 0.

p ; n , escribimos dR d z 2 R z2 R z dz dz

0,

(5.3.3)

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.

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 Entonces, zR z zR rz r S z r zr

k 0

ak z k

zr S .

k 1

kak z k

r2 z r S z r

k 1

2rk k2 ak z k .

k 0

Al sustituir en la ecuaci on de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplicaciones se obtiene

r2 2 S

k 1

2rk k2 ak z k
2

ak z k2

0.

Esta igualdad se puede escribir de la forma B B1 z coecientes Bi se anula. Por lo tanto,

Bk z k

0, la cual se cumple si cada uno de los 0 0 0.

r2 2 a r 12 2 a1 r2 2 ak 2rk k2 ak ak2
Analizamos posibles escenarios.

FCFM

73

U de Chile

M etodos Matem aticos para la F sica

Si a

0, necesariamente r

a1

0. En este caso s olo t erminos pares participan en la serie. ak2 2 kk .

Para r

,
ak

Esta relaci on de recurrencia permite determinar a2 , a4 , a6 , a partir de a . Alternativamente, podemos denir los nuevos coecientes bm (m 0, 1, 2, ) mediante bm a2m . Entonces, bm con lo cual bm
m1 , 4b mm

m b . 4m m 1 m!

As entonces Rz

Todos los coecientes resultan proporcionales a b , el cual puede ser denido a gusto. Es standard denir 1 m bm . b 2 m 2 1 2 2 m 1 J z , con

J z

2m m z 2 . m! m 1 0

(5.3.4)

Para r se genera J z , la cual es en general linealmente independiente de J z . Sin embargo, cuando es entero positivo ( n), entonces Jn z n Jn z , lo que las hace linealmente dependientes. La 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 z , n sin

A esta funci on J z se le denomina funci on de Bessel del primer tipo.

mite aplicamos lHo pital son linealmente independientes de Jn z . Para evaluar este l Yn z 1

dJ
d

cos J sin cos

dJ d n

1 dJ d

n dJ d

Evaluando las derivadas y reordenando se obtiene Yn z Aqu se denota,


n

ln

z
2 1 2

Jn z (serie regular en z) .
0.577216 ,

l m

1 ln n 3

tmica en el origen, algo la constante de Euler. Claramente Yn z tiene una singularidad logar reconocido en el problema de Coulomb de un alambre delgado. Para a1 0, necesariamente r 1 la serie: a1 , a3 , a5 .

, con a

0. En este caso s olo se dan t erminos impares de

U de Chile

74

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Para r

1 resolvemos ak , ak
2 k ark 2 2 2 k 1a2k . k 1

Haciendo esta vez bm

a2m1 , con m bm

0, 1, , se obtiene
m1 . 4b 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. (5.2) se ilustran las gr acas de Jn e Yn para n 0, 2, 4. Estas funciones tienen un par de caracter sticas que conviene tener presentes. Por ejemplo, s olo J z es no nula y nita en el origen. De hecho J 0 1,
1 0.75 0.5 0.25 2 -0.25 -0.5 -0.75 -1 4 6 8 10 -0.25 -0.5 -0.75 -1 1 0.75 0.5 0.25 2 4 6 8 10

Fig. 5.2: Funciones de Bessel (izquierda) y de Newman (derecha) para n

0, 2, 4.

mientras que para n 1, Jn 0 0. Una caracter stica que tienen las funciones de Bessel es que a medida que aumenta su orden, el primer 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 1z n. Haciendo uso de los resultados anteriores es posible demostrar los siguientes comportamientos cerca del origen J z Jn z Y z Yn z 1

z 2
2 1

n 1 2 z 2 ln 2 n n 1! 2 n z

z n

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

M etodos Matem aticos para la F sica

5.3.2.

Funciones modicadas de Bessel

La ecuaci on diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la siguiente forma x2 y xy 2 x2 2 y 0.

Si es real y 2 0, entonces las soluciones y son combinaciones lineales de J x e Y x. Sin embargo, tambi en nos podr amos encontrar con la siguiente ecuaci on, x2 y xy 2 x2 2 y 0.

En este caso las soluciones son del tipo J ix e Y ix, conducentes a las funciones modicadas de Bessel. En este caso es usual denir I x i J ix I I 2 sin 1er tipo 2do tipo 0,

K x

Estas funciones se ilustran en la Fig. (5.3) para 0, 2, 4. Con l nea cont nua se gracan los casos mientras que las de segmento largo y corto corresponden a 2 y 4, respectivamente.
10 8 6 4 2 10 8 6 4 2

0.5

1.5

2.5

3.5

0.5

1.5

2.5

3.5

Fig. 5.3: Funciones modicadas de Bessel del primer (izquierda) y segundo (derecha) tipo para n

0, 2, 4.

Las funciones modicadas de Bessel presentan las siguientes propiedades 1. I x es regular en el origen y divergente para x 2. K x es singular en el origen y se anula para x

. .

3. I y K no tienen raices no nulas, salvo I0 en el origen. 4. I y K son reales.

U de Chile

76

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

5.3.3.

Diferenciaci on y recurrencia

Las funciones de Bessel satisfacen diversas propiedades, muchas de ellas bastante utiles. Listamos algunas de ellas. z dJ dz dJ z dz J 1 J

zJ1

(5.3.5a) (5.3.5b) (5.3.5c) (5.3.5d) (5.3.5e)

d z J dz d z J dz

2 z J J1
z J 1

zJ 1 J

z J1
.

Para demostrar ( 5.3.5a) derivamos con respecto a z la expansi on ( 5.3.4) para J . Es directo vericar z dJ dz

El factor 2k permite separar el lado derecho en dos sumas, una partiendo de k 1 y la otra desde k 0. Mediante una traslaci on de ndices es directo obtener la identidad ( 5.3.5a). La identidad ( 5.3.5b) se puede obtener reagrupando z dJ dz zJ 1 . La identidad ( 5.3.5c) es una consecuencia directa de las dos anteriores, mientras que las dos u ltimas surgen de las dos primeras. 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 f f2 det f1 f1 W f1 , f2 ; x f1 f2 (5.3.6) . 1 f2 f2 Demostremos que si u y v son combinaciones lineales independientes de J z e Y z , entonces d zW u, v; z dz 0.

2k k z 2 k 1 2 2 k ! k 1 0

En efecto, puesto que u y v son combinaciones lineales de J e Y , ambas satisfacen la ecuaci on de Bessel, vale decir v du d z z 2 2 u 0 z dz dz z u dv d z z 2 2 v 0 z dz dz z Multiplicando cada ecuaci on por v z y uz , y restando los lados respectivos se obtiene d d dv d du u z v z 0 zW u, v; z 0 . dz dz dz dz dz A n de ilustrar un posible uso de este tipo de identidades, consid erese la derivada del cuociente v u, d v uv v u W u, v ; z . dz u u2 u2

FCFM

77

U de Chile

M etodos Matem aticos para la F sica

Puesto que zW es constante, zW d v dz u En particular, podemos hacer u

A, entonces A zu2 J ; v Y v

dz u BA . zu2

Y ; con lo cual dz J B A 2 z zJ

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.

5.3.4.

Una identidad util

En la manipulaci on de expansiones que involucran funciones de Bessel es usual encontrarse con la integral I , xJ xJ 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 2 x2 x2 2 2 J 2 x xJ x dx 1 x2 J (5.3.7) 2 Para su demostraci on consideremos las ecuacions diferenciales para J x y J x, denotadas por simplicidad como ux y v x respectivamente, d du x x 2 x2 2 u 0; dx dx d dv x x 0. 2 x2 2 v dx dx Luego de multiplicar la primera de ellas por v x y la segunda por ux, restamos los lados correspondientes para obtener

dv d x u dx dx
con lo cual

du v dx

2 2 xuv
2 2

dv x u dx

du v dx

R
0

2 2

R
xuv dx ,
0

R
xuv dx
0

R uv vu
, mientras que el otro

A este punto nos anticipamos a dos escenarios muy comunes. Uno de ellos es es .

z , entonces el lado derecho de la integral es Cuando , pero R y R son ra ces de J z o J nulo. Ello implica que R 2 2 xJ xJ x dx 0 ; .
0

U de Chile

78

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Para el caso

, primero dividimos por 2 2 y luego tomamos el l mite usando lH opital,

R
0

2 xJ x dx

l m

R RJ RJ R RJ RJ 2 2

denota derivada con respecto al argumento, a diferencia de la derivada con respecto Tener presente que J a x. Ellas dieren en una constante multiplicativa. As , derivando con respecto a el numerador y el denominador obtenemos para el cuociente
J R A este punto sustituimos sin riesgo

RJ R RJ R J R . 2
y denotamos z R2 2 R. Entonces,

R
0

2 xJ x dx

J z 2 1 z J z zJ z

Utilizando la ecuaci on z zJ
R
0

2 z 2J , obtenemos nalmente
1 2 R 2

2 xJ x dx

J z 2 1 2 z 2J2 z

(5.3.8)

Como hemos visto, las funciones J z son oscilantes en z , lo que permite asociar a cada valor de una colecci on de ceros z1 , z2 , z3 , . Si es tal que R coincide con uno de los ceros de J , entonces

R
0

2 xJ

x dx

1 2 R J z 2 2

R
0

2 xJ x dx

1 2 2 R J 1 z . 2 znm , el

Esta ultima 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
0

xJm Kn1 m xJm Kn2 m x dx

n1 n2

R2 2 J Kn1m R . 2 m1

(5.3.9)

5.3.5.

La ecuaci on de Laplace en una cavidad cil ndrica

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 , , L V , , 0 V b, , z f , 0 0

La ecuaci on de Laplace se expresa 1

12

V 2

V z2

0.

FCFM

79

U de Chile

M etodos Matem aticos para la F sica

fo (,)

Fig. 5.4: Problema de Laplace en una cavidad cil ndrica. Introduciendo separaci on de variables, V RF z , 1 1 d 1 1 d2 F dR R d d F 2 d2

d 1 dz 2

0.

(5.3.10)

Antes de proseguir es conveniente anticipar el escenario. Primero, esperamos que F sea c clica, lo que 1 d2 necesariamente implica que el t ermino F debe ser negativo. Adem as, el t ermino dz2 necesariamente es 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.

Con lo anterior, resolvemos 1 d2 dz 2 Exigiendo 0 0, entonces z K2 z AeKz BeKz .

A sinh Kz . Volviendo a la Ec. ( 5.3.10) nos quedamos con d 1 d2 F dR K 2 2 0. R d d F d2

La ciclicidad de las soluciones en el angulo exige que d2 F d2

m2 F

A1 cos m A2 sin m ,

con m un entero. De esta forma, la ecuaci on diferencial para R se reduce a d dR K 2 2 m2 R 0 . d d 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 .

U de Chile

80

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Al exigir Rb 0, entonces Jm Kb 0. Esta exigencia restringe K a valores tales que Kb coincidan con las ra ces de Jm z . A ellas las denotaremos por xnm , representando la n- esima raiz de Jm . As , K Knm xnm b. Esto nos permite escribir soluciones de la forma V , , z Jm Knm Anm cos m Bnm sin m sinh Knm z .

Cada una de estas funciones satisface las condiciones de borde en la base y manto, de modo que una combinaci on lineal de todas ellas tambi en: Jm Knm Anm cos m Bnm sin m sinh Knm z . V , , z
m n

La determinaci on de los coecientes Anm y Bnm surge de imponer V , , L f , , es decir, f , Jm Knm Anm cos m Bnm sin m sinh Knm L . (5.3.11)
m n

A este punto conviene tener presente las siguientes identidades para n y n enteros, cos m cos m d mm sin m sin m d mm sin m cos m d 0

Con ellas se puede proceder a despejar los coecientes Anm y Bnm de la Ec. ( 5.3.11). Primero multiplicamos por cos m e integramos en , conduciendo a cos m f , d Anm Jm Knm sinhKnm L .

El despeje denitivo es posible haciendo uso de la Ec. ( 5.3.9) de ortogonalidad de las funciones de Bessel. b Multiplicando por Jm Kn m e integrando 0 d obtenemos

b
0

dJm Knm

d cosm f ,

Anm sinhKnm L

b2 2 Knm b . J 2 m1

As , Anm 2

b d 0 d f , cosm Jm Knm . 2 b2 sinhKnm L Jm 1 Knm b

(5.3.12)

Los coecientes Bnm se obtienen de forma an aloga, sustituyendo cos m

sin m.

5.4.

Ecuaci on de Helmoltz con simetr a axial

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

M etodos Matem aticos para la F sica

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 k 2 0, con r, . En coordenadas esf ericas r, , , 1 1 1 2 r sin k2 0 . r2 r r r2 sin Separando r, RrP y denotando la constante de separaci on por , se obtiene el siguiente juego de ecuaciones para R y P , d 2 dR r k2 r2 R 0; (5.4.13a) dr dr 1 d dP sin P 0. (5.4.13b) sin d d 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 d du

1 u2 dP P du
2

0,

(5.4.14)

la que en su forma m as standard cobra la reconocida forma le la ecuaci on de Legendre, P 1 u2 d 2u dP P du2 du 0. (5.4.15)

5.4.1.

Los polinomios de Legendre

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

k 0

ak u k

dP du

rur1

k 0

ak u k u r

k 1

kak uk1 .

U de Chile

82

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Entonces,

1 u2 dP du
d du

rur1

k 0

ak u k u r

k 1

kak uk1 rur1

k 0

ak u k u r

k 1

kak uk1 .

Derivando con respecto a u y reagrupando t erminos

1 u2 dP du

r r 1 u r 2 rur1

k 0

ak uk rur1

k 1

kak uk1

k 1

kak uk1 ur

k 1

k k 1ak uk2

r r 1 u r
rur1

k 0

ak uk rur1

k 1

kak uk

k 1

kak uk1 ur

k 1

k 1kak uk

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 , rr 1a rr 1a1 0; 0;

rr 1 2rk 2 k 1k 2 ak2
De esta ultima resulta evidente ak2

rr 1 2r 1k kk 1 ak .

k rk r 1 k r a . k k r 1k r 2

, ak2 ak , lo que conduce a una funci on divergente en u 1, es decir 0. Si Notar que para k 0 no constituye una singularidad aceptable en el problema f sico, debemos imponer que la relaci on de recurrencia para los ak se interrumpa, lo que es factible si es de la forma ll 1, con l un entero positivo o nulo. Tomemos entonces ll 1. En rigor hemos de analizar cuatro escenarios que surgen de rr 1a Si a 0, entonces r 0 y r r 1 a 1 0.

0, 1. La sumatoria es multiplicada por 1 o u, con coecientes a0 , a2 , a4 , . 0, 1. En este caso la sumatoria es multiplicada por 1 o 1u, con coecientes

Si a1 0, entonces r a1 , a3 , a5 , .

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 ak2 k 1k 2 ak , 83

FCFM

U de Chile

M etodos Matem aticos para la F sica

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 Pl u
K k

k 2l 2k! ul2k , 2l k !l k !l 2k ! 0 2l 2k! ul2k , l 2k!


(5.4.16)

l 1) para l par (impar). Observando que dl u2l2k dul

es posible demostrar, utilizando la f ormula binomial, que Pl u 1 dl u2 1l . 2l l! dul

A esta se le reconoce como la f ormula de Rodrigues para los polinomios de Legendre. Para los ordenes m as bajos se tiene P1 u P2 u P3 u P u 1 u 3u2 12

5u3 3u2

5.4.2.

Propiedades de los polinomios de Legendre

Entre las propiedades m as relevantes de los polinomios de Legendre notamos

1 u2 Pl 2uPl ll 1Pl d dPl 1 u2 ll 1Pl du du l 1Pl1 2l 1uPl lPl1 Pl1 uPl l 1Pl Pl1 Pl1 2l 1Pl Pl u
Adem as de estas mencionamos la funci on generatriz, que se expresa 1 1 2ut t2

0 0 0 0 0

(5.4.17a) (5.4.17b) (5.4.17c) (5.4.17d) (5.4.17e) (5.4.17f)

l Pl u

l 0

tl Pl u .

(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

1
U de Chile

Pl uPm u du

2l 1

lm ,

(5.4.19)

84

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

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 d du Integrando
1

ll 1 mm 1 Pl Pm 1 u2Pm Pl 1 u2 Pl Pm
1

0.

1 du , se encuentra

ll 1 mm 1

du Pl Pm

0, l. En el caso m l

de la cual resulta directa la ortogonalidad de los polinomios de legendre cuando m 1 alculo queda propuesto como ejercicio. evaluamos 1 du Pl2 u, cuyo c

5.4.3.

Las funciones esf ericas de Bessel

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 ll 1. Estudiamos ahora la ecuaci con ll 1. Denotando t kr se obtiene dR d t2 t2 ll 1R 0 . dt dt El aspecto de esta ecuaci on es muy similar a la de Bessel, por lo cual intentamos una soluci on del tipo R tp J t ,

con p, par ametros a determinar. Sustituyendo en la ecuaci on diferencial para R obtenemos

t2 pp 1 ll 1J 0 , cuya forma se aproxima a la de Bessel si exigimos 2p 2 1, es decir p 12. De esta forma tJ t2 14 ll 1J 0 . t2 J


Finalmente imponemos 2 ll 1 14, de donde surge 2

2p 2tJ t2 J

l 12 ,
R2

l 122. As ,

de modo que las dos soluciones linealmente independientes para R son R1 1 Jl12 t t 1 Jl12 t . t

Estas dos soluciones dan origen a las funciones esf ericas de Bessel del primer y segundo tipo, denotadas en usual denominarlas funciones esf ericas de Bessel y de Newman, por jl t y nl t, respectivamente. Es tambi respectivamente. La denici on standard es 12 jl t Jl12 t Bessel; (5.4.20a) 2t 12 nl t l1 2 Jl12 t Newman. (5.4.20b) t

FCFM

85

U de Chile

M etodos Matem aticos para la F sica

Para los ordenes m as bajos se tiene j t n t sin t t cos t t

Es frecuente encontrarse con combinaciones lineales del tipo h l de Hankel de primer y segundo tipo.

jl

inl , correspondientes a funciones

tipo

Con todo lo anterior, la soluci on general a la ecuaci on de Helmholtz resulta una combinaci on lineal del Al jl kr Bl nl krPl cos . r,
l 0

Las constantes Al , Bl se determinan a partir de las condiciones de borde.

5.5.

Ecuaci on de Laplace en una cavidad esf erica

Consideremos la ecuaci on de Laplace al interior de una cavidad esf erica de radio b. Los hemisferios a axial. Resolvemos entonces 2 V 0, est an sometidos a potenciales V y el sistema exhibe simetr con V RrP . Mediante separaci on de variables, considerando los procedimientos discutidos en esta

+Vo

V o

Fig. 5.6: Problema de Laplace dentro de una cavidad esf erica. secci on, es directo encontrar que P Pl cos , con lo que la ecuaci on para la parte real queda 1 d dR 1 r2 ll r R 0. 2 r2 dr dr l; p

Probando Rr rp , es directo vericar que pp 1 ll 1. Sus soluciones son p por lo que la soluci on m as general se expresa Bl V r, Al rl l1 Pl cos . r l 0

l 1,

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, Al bl Pl u . f u
l 0

U de Chile

86

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Multiplicando por Pm u, integrando y haciendo uso de ortogonalidad [c.f. Ec. ( 5.4.19)] se obtiene Al 2l 2 2 bl

f uPl u du .

signuV 2, una funci on impar en u, claramente los coecientes de orden par se Para el caso f u anulan. Ello porque Pl u tiene paridad l . Para aquellos coecientes de la forma A2k1 se observa A2k1 2k 32 V b2k1

1
0

P2k1 u du .

Esta ultima integral se puede evaluar utilizando, por ejemplo, la f ormula de Rodrigues. Ello queda propuesto como ejercicio3 .

5.6.

Los esf ericos arm onicos

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, , RrP F . Entonces, 1 1 d 1 1 1 d 1 d2 F dP 2 dR r sin 0. r2 R dr dr r2 P sin d d F d2

m2

De aqu surge un requerimiento directo cual es F F

m2F , con m entero. Por lo tanto,


eim .

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.

0, es

1r, (r

0). A partir de esta

a 1 r

1 ai i r

ai

xi a r . r3 r3

FCFM

87

U de Chile

M etodos Matem aticos para la F sica

Puesto que a es arbitrario, esta soluci on conlleva a tres soluciones linealmente independientes, una por cada componente ai ; i 1, 2, 3. Estas soluciones, en forma expl cita, pueden ser 1x x ; r3 1y y ; r3 1z z . r3

En forma an aloga podemos construir otra soluci on, 2

r a2 a1 1 a2 a1 r r3
3x2 r2

3a1 r a2 r a1 a2 r2 . r5

Al escoger orientaciones independientes para a1 y a2 se generan 3 3 posibles combinaciones, tres de las cuales se repiten por simetr a. Ello reduce a 6 combinaciones diferentes ilustradas en el arreglo

3xy 3y 2 r 2

3xz 3yz . 3z 2 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 l r 1 f l r , r2l1 (5.6.21)

on homog enea de grado l, vale decir, fl r l fl r . Notamos adem as que fl r es con fl r una funci 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 en lo es. En nuestro caso, que si r es soluci r r r tambi fl r2l 1 1

1 fl r r r2 l

1 fl r r2 . r

Antes de proceder a una construcci on sistem atica de las soluciones, es util 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, bc l l 1 combinaciones a 0 a 1 bc l1 l combinaciones b c l 2 l 1 combinaciones a 2 . . . a l

l 1l 22. Al construir una Con esto el n umero total de combinaciones es 1 2 l 1 2 2 2 combinaci on lineal fl de todos estos t erminos y exigir que cumplan la ecuaci on de laplace, x y z f l 0 , nos planteamos entonces el n umero de polinomios homeg eneos de grado l 2 independientes: ll 12. Con ello, el n umero de polinomios independientes de grado l que satisfacen Laplace es
1 ll 1 l 1l 2 1 2 2 2l 1 .

ab

1 combinaci on.

U de Chile

88

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

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. olidos arm onicos. Entonces, Denotamos las soluciones de grado l por Yl r , llamados s Yl r rl Yl r .

Observar que por el teorema de inversi on tambi en es soluci on de la Ecuaci on de Laplace 1 r 1 1 1 Yl 2 Yl r Yl r . r r r r rl1 A las funciones Yl r se les denomina funciones esf ericas arm onicas, o simplemente esf ericos arm onicos

5.6.1.

Construcci on de los esf ericos arm onicos

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 la r l1 a 2 a r l ll 1a r l2 a a .

Al exigir 2 0 surge evidentemente que a a 0, lo que implica que a de componentes complejas. Entonces, 2 3 0. a2 1 a2 a3

a1 , a2 , a3 sea un vector

Esta condici on4 es posible con s olo dos constantes complejas puesto que siempre habr a una constante multiplicativa indeterminada. As denimos convenientemente a 1 i a2 Entonces, a1 a2 a3 Con esto es f acil probar entonces ar Considerando x y z
4 Un

2 ;

a 1 i a2

2 ;

a3

1 2 2 2 1 2 2 2i .

1 2

x iy r

x iy r

z
r

r sin cos r sin sin r cos

x iyr x iyr z r cos

sin ei sin ei .

vector que cumpla esta propiedad de denominar a vector nulo.

FCFM

89

U de Chile

M etodos Matem aticos para la F sica

Entonces, ar 1 2
2 2 sin ei sin ei 2 cos 2 i e 2 sin 2 i e 2 sin

sin ei cos

1 1
l

a r

sin ei cos

La expansi on anterior es de la forma gen erica Fl b, u

b u2 1 l

la cual puede ser expandida en serie de Taylor en b. Obs ervese la siguiente manipulaci on: Fl b, u
2l bk k k ! bk k 0

b u2 1 l b
l

2l bk k u2 1 k ! uk k 0 l m

lm

b l m l l m!

l u2 1 . u lm
l m

Con este resultado, denominando u

cos , obtenemos para a r l ,

a r

2 i e 2 sin

l l
m

l m

l l 2 sin l m! m

1 l l m!

sin ei

lm

l u2 1 l m u
l m

l m l m im

l u2 1 u lm
l m

Deniendo los coecientes lm entonces

l m!l m!
l m

lm lm

(5.6.22)

a r l
l! 2l 1 4

rl

lm

4 Y m , , 2l 1 l

(5.6.23)

lo que lleva t acita la denici on de los esf ericos arm onicos Ylm ,

l m! eim 1 l m! sinm

d d cos

l m

cos2 1l .
2l l !

(5.6.24)

Puesto que los coecientes lm son arbitrarios en la Ec. (5.6.2), las soluciones Ylm son soluciones separadas de la ecuaci on de Laplace. As , son soluciones de la ecuaci on de Laplace los Ylm . En otras palabras, 2 1 1 sin ll 1 Ylm , 0 . sin sin2 2

U de Chile

90

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

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 sin 1 im e lm . 2
2

sin

m ll 1 sin 2

lm

0.

Con la denici on anterior resulta directo Yl0 Adem as, Y00 Y10 Y11 1 4 3 cos 4 83 sin ei 2l 1 Pl cos . 4

En cuanto a la notaci on de los esf ericos arm onicos, ella no es unica. Es frecuente encontrarse con las siguientes notaciones equivalentes, Ylm , Ylm , Messiah, Cohen-Tannoudji, Shankar Landau, Greiner, Jackson

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 ll mm , Ylm , sin l m lm ll .
0

Para la demostraci on de la primera de ellas consideremos la integral l l Ill d a r a r , 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

l l Ill D

Ill 2 D ,

FCFM

91

U de Chile

M etodos Matem aticos para la F sica

condici on que s olo se cumple si Ill

ll . Entonces, para l 2l Ill D

Ill 2 D ,

condici on que se cumple s olo si Ill D Dl , de modo que l Ill d a r a r l

Cl a al ll .

(5.6.25)

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 a a Reemplazando en la Ec. ( 5.6.25) para l ar sin ei sin ei 2.

l , luego de sustituir u cos , se obtiene 1 Cl 2l 4 1 u2 l du .


0

La determinaci on de Cl se centra ahora en la evalucai on de la integral 1 l 1 u2 l du ,


0

para la cual

1 y que satisface la relaci on de recurrencia5 l 2l 1 2l l1 l

2l l!2 . 2l 1!

De esta forma Cl con lo cual 4

2l l!2 , 2l 1!
l 2l 1! a a ll .
2l (5.6.26)

l l a r a r

l!

l!

Ahora buscamos una forma de introducir en esta identidad los esf ericos arm onicos Ylm . Recordemos la Ec. (5.6.2) donde se introducen los esf ericos arm onicos. En ella

a r l
l!

rl

l m

lm

4 Y m , , 2l 1 l

de modo que al sustituir en Ec. ( 5.6.26) obtenemos lm Y m , Y m , d lm l l


mm

2l l 2l! a a ll .

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.

U de Chile

92

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

Demostrar que a a

1 2

2 .
l

Utilizar la f ormula del binomio para demostrar 1 a al 2l 1! m

2l! l m !l m! l
l m

lm

lm

Utilizar la denici on de los lm [c.f. Ec. ( 5.6.22)] para obtener l ! a al 2 2l

lm . lm

Con lo anterior es f acil vericar (las sumas en m, m se subentienden entre l y l) l m lm Ylm , Ylm , l m lm ll mm . d
mm m,m

6 El argumento de Schwinger es que l m lm representan coecientes independiantes , lo que conduce a d Ylm , Ylm , ll mm ,
la relaci on que busc abamos.

5.6.3.

Otras identidades

Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad. Ellas son 1 Ylm , Ylm , sin lm r r Pl r r Ylm r 1

4 rl Y m r Ylm r l1 l 2 l 1 r lm 4 m Y r Ylm r 2l 1 m l
Ylm ,

Teorema de adici on Inversi on

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 d du px (5.7.27) qxu xu 0 . dx dx
6 Vericarlo.

FCFM

93

U de Chile

M etodos Matem aticos para la F sica

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

P x du Qxu dx
P x dx

Rx ,

puede ser escrita de la forma SL. Para ello basta la sustituci on px e

Qx

x q x . px

Denamos el operador de Liouville L mediante Lu de modo que la ecuaci on SL se escribe d du px dx dx Lu x

qxu ,
0.

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 Luj j uj Luk k uk

0 0

uk uj

Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene d p uj u k puj uk dx Al suponer j k , entonces

k j uj uk

b
a

dx

k j
Notemos que si

b
uj uk dx
a

b p uj u k uj uk a . p uj u k uj uk b ,
uk
b a

p u j u k uj uk a

(5.7.28) uj uk dx. Las

entonces las funciones uk y uj son ortogonales bajo el producto interno uj condiciones de borde expresadas en la Ec. ( 5.7.28) se cumplen cuando: i.- ua ii.- u a u b u b

0 (Dirichlet). 0 (Newman).

iii.- u u a iv.-

u u b 0 (Mixta). odica). ua ub; u a u b, con a b (Peri


94
FCFM

U de Chile

H. F. Arellano

M etodos Matem aticos para la F sica

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

k 1

ck uk x ;

b
ck
a

f xuk xx 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, fn x 1 dn xgxn . an x dxn

on. Para el caso La funci on g x es un polinomio y los coecientes an obedecen convenciones de standarizaci de los polinomios de Legendre an 2n n!, g x x2 1, x 1. 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 Gx, t

n 0

an fn x tn ,

donde la funci on Gx, 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 1 2xt t2 e2xtx
2

n 0

tn Pn x

tn Hn x n! n 0

5.8.

Ecuaciones especiales

Se trata esta vez de abordar el problema general u pz u q z u 0, (5.8.29)

Ecuaci on Bessel Legendre Legendre asoc. Hermite

Tabla 5.1: Ejemplos cl asicos de SL Autofunci on px q x Jn x n2 x Pn 1 x2 0 nm 1 x2 m2 1 x2 2 Hn ex 0

x x 1 1 2 ex

1 n n 1 nn 1 2n

FCFM

95

U de Chile

M etodos Matem aticos para la F sica

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 pz y q z . b) Buscando una soluci on en base a la naturaleza de las condiciones de borde.

Dentro del primer esquema contemplamos tres escenarios de inter es. a1) Si pz y q z son regulares en z forma

0, entonces la Ec. ( 5.8.29) posee dos soluciones distintas de la uz

k 0

ak z k .

a2) Si pz y q z son singulares en z una soluci on a la Ec. ( 5.8.29).

0, pero zpz y z 2 q z son regulares, entonces existe al menos

a3) Si pz y q z son irregulares en z 0, con zpz y z 2 q z singulares en z 0, entonces puede no existir 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.

Aplicaci on del m etodo de series

Examinemos el caso a2, para el cual an z n ; zpz


n 0

z 2 q z

n 0

bn z n ,

e intentamos una soluci on uz 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 2r , se obtiene n rn r 1cn z n an z n n rcn z n bn z n cn z n 0.
n 0 n 0 n 0 n 0 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 Cn
n m 0

Anm Bm .

U de Chile

96

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

As entonces,

n 0

n rn r 1cn

n m 0

m ranm bnm cm

zn 0.

De aqu surge la relaci on para los coecientes

n rn r 1cn
o bi en,

n m 0

m ranm bnm cm
n 1 m 0

n rn r 1 n ra b cn
Guiados por esta relaci on, denamos las funciones s i s i s

m ranm bnm cm

ss 1 sa b sai bi 0 i i
n 1

0 0

Entonces,

r ncn

m 0

nm r mcm ,

(5.8.30) 0 se tiene r c 0.

relaci on que permite obtener los coecientes cn recursivamente. Al hacer n Escogiendo c 0, entonces r 0, o bi en r2 a 1r b 0.

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

1 a 1 a 2 4b
2 Re r2 , entonces Re r1

r1 r2

1 a .

Con esta ultima, si suponemos Re r1 algunas consecuencias a considerar.

Re1 a 2. De estos resultados surgen

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 r1 r2 no es entero. iii.- Si r1 r2 N , con N entero, entonces se cumplen, simult aneamente, r2 N r1 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

esta observaci on.

FCFM

97

U de Chile

M etodos Matem aticos para la F sica

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 pu qu 0,

on que se obtiene con la raiz r1 de la ecuaci on indicial. Construimos y supongamos que u1 es la soluci u2 hu1 , (5.8.31) con h una funci on por determinar. Sustituyendo directamente en la ecuaci on diferencial y dividiendo por h u se obtiene h d u 1 p . 2 p 0, ln h ln u2 1 h u1 dz Integrando, reordenando y considerando una constante c de integraci on, c pzdz e . h u2 1 Examinemos ahora el argumento de la exponencial, 1 pz dz an z n dz zn 0 a ln z Con ello h z r1
n 0 cn z n

an zn . n n 1
n 1 an n

c a ln z e e u2 1 , entonces z 2r1 a c e h

an n

zn

c e a u2 z 1

zn

Puesto que u1

an n

zn

La funci on F z es claramente regular. Considerando adem as r1 r2 a 1, adem as de r1 r2 N , entonces c F z . h 1 z 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
2 1 z 2 z 2 N 1 zN zN 1 z z N 1

n 0 cn z

c F z . z 2r1 a

n 0

n z n ,

zN 1

integrando

N ln z N ln z N ln z

0 1 zN 1 zN 1 0 1 z zN n z n
n 0

U de Chile

98

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

En esta u ltima se han introducido los coeciente n provenientes de la integraci on. Puesto que u2 entonces, u1 u2 N u1 ln z N n z n . z n 0

hu1 ,

ermino del lado derecho. Recordando A este punto sustituimos u1 z r1 cn z n en el segundo sumando del t que r1 N r2 , entonces la expresi on anterior se puede escribir de la forma u2 N u1 ln z z r2

n 0

zn . n

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 mediante los m etodos descritos. coecientes n

5.8.2.

La ecuaci on hipergeom etrica

La ecuaci on hipergeom etrica tiene la forma z 1 z En este caso identicamos pz q z con lo cual zpz z 2 q z d2 u dz 2

c a b 1z du abu dz
c a b 1z z 1 z ab , z 1 z a b

0.

(5.8.32)

La ecuaci on indicial es r2 c 1t 0 0, cuyas ra ces son r 0 y r n c z , la cual depende de a, b, c . Denotaremos soluci on u1 n n 0 u1 z F a, b, c; z cn z n .


n 0

c a b 1z 1z abz 1z

c 0. 1 c. Para r 0 planteamos la

Al sutituir en la ecuaci on diferencial se obtiene para los coecientes, cn Si c 1 n, con n entero, entonces cn

a n 1b n 1 . n c n 1

aa 1 a n 1bb 1 b n 1 n!cc 1 c n 1 a n b n c 1 . a b c n n 1

8 Hacerlo.

FCFM

99

U de Chile

M etodos Matem aticos para la F sica

De esta forma, F a, b, c; z

c a nb n n z . ab n 0 n 1c n

(5.8.33)

A esta funci on se le llama serie hipergeom etrica. Es com un hacer uso de los s mbolos de Pockhammer, denidos por

n
con los cuales expresamos F a, b, c; z

n ,

an bn zn . n ! c n n 0

Una forma de denotar la ubicaci on de los s mbolos de Pockhammer es mediante F a, b, c; z


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 z 1z ln1 z 1 z a arcsin z Pn 1 2z 1

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

Una segunda soluci on a la ecuaci on hipergeom etrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo w z 1c g z

Luego de reemplazar en la ecuaci on original se obtiene9 z z 1g a b 2c 3z c 2g a c 1 b c 1g


1

0.

Claramente se trata de la ecuaci on hipergeom etrica al identicar La segunda soluci on es, entonces,
9 Hacerlo.

ac1 bc1 2c

wz

z 1c 2 F1 , , ; z .

U de Chile

100

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

5.8.3.

La ecuaci on hipergeom etrica conuente


zu c z u au

Se trata de la ecuaci on

0.

(5.8.34) 0. Las ra ces son nuevamente

Para este caso los coecientes para la ecuaci on indicial son a c, y b r 0 y r 1 c. La soluci on para r 0 es del tipo u a, c; z cn z n .
n 0

Al sustituir en la ecuaci on se obtiene10 para los coecientes cn Entonces,

an , cn
an n cn z , n 0

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 eiz z F1 n 1 (Bessel) 2 , 2n 1; 2iz n! 2 1 (Legendre) 1 F1 n, 1; z 2 n ! 2 n n! 1 F1 n, 1 (Hermite) 2; z

Ln z H2n z

10 Hacerlo.

FCFM

101

U de Chile

M etodos Matem aticos para la F sica

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. on A modo de ilustraci on consideremos Lx un operador diferencial lineal y nos planteamos la ecuaci Lx ux f x , (6.0.1) on arbitraria pero conocida. Para resolver este problema consideremos una funci on de dos con f x una funci variables Gx, t, tal que Lx Gx, t x t . Podemos vericar entonces que una soluci on a la Ec. ( 6.0.1) est a dada por Gx, tf t dt . ux As , estamos en condiciones de dar una soluci on formal al problema original. Un aspecto importante en la construcci on de la funci on Gx, t lo constituye el tema de las condiciones de bordes impuestas sobre u. Notar que Gx, t no depende de la naturaleza de la fuente.

6.0.1.

Problema con C.B. homog eneas

Consideremos la ecuaci on diferencial de segundo orden para la funci on ux en el intervalo a, b con condiciones de Dirichlet (homog eneas), Lu u pxu q xu f x . (6.0.2)

103

M etodos Matem aticos para la F sica

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, ux v1 xy1 v2 xy2 .

En esta caso v1 x y v2 x son funciones auxiliares por determinar. Ellas representan dos grados adicionales de libertad que, sin p erdida de generalidad, pueden ser reducidos a s olo uno. La forma de restringirlas se ver a en seguida. Luego de sustituir ux en la Ec. ( 6.0.2) y hacer uso de Ly1 Ly2 0, se obtiene

y1 2v y v y2 2v y pxv y1 v y2 v1 1 1 2 2 2 1 2 y1 v y2 v1 2 y v y v1 1 2 2
0.

f x .

A este punto podemos imponer, para todo x,

Derivando y sustituyendo en la ecuaci on anterior obtenemos f x ,

lo que se resume en el siguiente sistema de ecuaciones diferenciales para nuestras inc ognitas v1 y v2 , y1 y2 v1 0 . y1 y2 v2 f x Este sistema de 2 2 se resuelve en forma simple. Denotando W x entonces

y2 y , y1 y2 1 v2
1 y1 x f x . W x

v1

Integrando con respecto a x y reemplazando en la construcci on para ux tenemos y2 x y1 x ux y1 x f x dx y2 x f x dx . W x W x En forma equivalente, ux y2 x

W1 x y2 x f x ;

x
a

y 1 t f t dx y1 x W t

b
x

y2 t f t dx . W t

La soluci on encontrada tiene la forma ux donde denimos la funci on de Green Gx, t y1 ty2 xW t, y1 xy2 tW t, a x t t x b .

b
a

Gx, tf t dt ,

Vemos que Gx, t depende de las soluciones 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.

U de Chile

104

FCFM

H. F. Arellano

M etodos Matem aticos para la F sica

1. La funci on de Green satisface Lx Gx, t

x t . y1 x y2 xW x y1 xy2 xW x. Clara-

nua en t x. 2. Gx, t es cont En efecto, para 0 y denotando x x tenemos Gx, x y1 xy2 xW x. De forma an aloga, Gx, x y1 xy2 x W x mente entonces, Gx, x Gx, x 0. nua en t x. 3. La derivada Gx, t t es discont En este caso G y 1 t y2 x t t x t W t G y 2 t y1 x t t x t W t

y2 x y1 x

y1 x x W x y2 x x W x

x y2 xy1 x, se verica Restando ambas derivadas y reconociendo W x y1 xy2 G G 1 . t t x t t x


G(x,t)

t t=x
Fig. 6.1: Discontinuidad de Gx, t t. 4. La funci on de Green es sim etrica en sus argumentos, Gx, t 5. La funci on de Green cumple con las C.B. Gx, a Gx, b Gt, x. 0

6.0.2.

Un ejemplo cl asico

Consideremos la ecuaci on de Helmholtz en 1D u k 2 u donde u0 u L f x ,

0. Claramente, dos soluciones independientes de la homog enea son y1 x y2 x sinkx sink x L.

FCFM

105

U de Chile

M etodos Matem aticos para la F sica

A partir de esta construimos el wronskiano, W x sinkx k cosk x L k coskx sink x L sinkt sink x Lk sinkL 0 sinkx sink t Lk sinkL x Gx, tf tdt, es decir, W x k sinkL .

Por lo tanto la funci on de Green est a dada por Gx, t t t x L

De esta forma la soluci on est a dada por ux ux

x
0

sinkt sink x L f t dt k sinkL

L
x

sinkx sink t L f t dt . k sinkL

0 la primera integral es nula, mientras que la segunda contribuci on se anula al Vericamos que en x evaluar sinkx. De igual forma, en x L la segunda integral no contribuye, en tanto que sink x L se anula. Estas dos observaciones permiten que la expresi on obtenida para ux cumpla las condiciones de bordes homog eneas.

U de Chile

106

FCFM

You might also like