M to dos Matem ticos I I e a

Dr. David Del pine 1 e

Instituto de F sica de la Universidadde Guanajuato Loma del Bosque,N 103 Col. Lomas del Campestre CP-37150L on, Gto e

Noviembre 11, 2003

email: delepine@sica.ugto.mx;tel: ext. 8424

Con tenido
1 In tro duccion 2 No ciones de geometr diferencial y vectorial. a 2.1 Propiedadestensorialesdel gradiente . . . . 2.2 Gradiente, rotacional y divergencia . . . . . . 2.3 Identidades importantes . . . . . . . . . . . . 2.4 Teoremasintegrales. . . . . . . . . . . . . . . 2.5 C lcul en coordenadasno-cartesianas . . . . a o 2.5.1 Gradiente . . . . . . . . . . . . . . . . 2.5.2 Divergencia . . . . . . . . . . . . . . . 2.5.3 Laplaciano . . . . . . . . . . . . . . . 2.5.4 Rotacional . . . . . . . . . . . . . . . 3 Ecuaciones diferenciales parciales lineales de 3.1 La cuerda vibrante y sus generalizaci . . . on 3.1.1 Generalizaci . . . . . . . . . . . . . on 3.2 Ecuaci n del calor . . . . . . . . . . . . . . . o 3.3 Ecuaci n de Laplace y sus generalizaciones . o 7 9 9 12 15 16 17 17 18 18 18 19 19 20 21 22 25 25 25 26 28 28 30 32 32 35 35 38

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

la f sica . . . . . . . . . . . . . . . . . . . .

cl sica a . . . . . . . . . . . . . . . . . . . .

. . . .

4 Series e in tegrales de Fourier 4.1 Serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.1 Motiv aciones: principio de superposici . . . . . . . . on 4.2 Aproximaci n en media cuadr tica sobre un dominio acotado o a 4.2.1 Forma equivalente . . . . . . . . . . . . . . . . . . . . 4.2.2 Propiedades. . . . . . . . . . . . . . . . . . . . . . . . 4.3 Convergenciapuntual de la serie de Fourier . . . . . . . . . . 4.4 Integrales de Fourier . . . . . . . . . . . . . . . . . . . . . . . 4.4.1 La transformaci n de Fourier . . . . . . . . . . . . . . o 4.4.2 Teoremade convoluci n . . . . . . . . . . . . . . . . . o 4.4.3 Signicaci intuitiv a de la transformaci n de Fourier: on o funcion de Dirac . . . . . . . . . . . . . . . . . . . 4.4.4 Lema de Riemann . . . . . . . . . . . . . . . . . . . . 3

. . . . . . . . . . . . . . . . . . la . . . .

4 5 Clasicaci on de las ecuaciones y condiciones de unicidad soluciones 5.1 Clasicaci de las ecuaciones. . . . . . . . . . . . . . . . on 5.2 Condici n de unicidad de las soluciones . . . . . . . . . . o 5.2.1 Ecuacioneshiperb licas, condicionesde Cauchy . . o 5.2.2 ecuacionesparabolicas: condicionesde frontera . . 5.2.3 ecuaci de Laplace, funcionesarm nicas . . . . . on o 5.3 Propiedadesde las funcionesarm nicas . . . . . . . . . . o 5.3.1 Primera propiedad . . . . . . . . . . . . . . . . . . 5.3.2 Segundapropiedad . . . . . . . . . . . . . . . . . . 5.3.3 Tercera propiedad . . . . . . . . . . . . . . . . . . 5.4 Ecuaci n de Poissony funcionesde Green del Laplaciano o 5.4.1 Noci n de funci n de Green . . . . . . . . . . . . . o o 5.4.2 Ecuaci n de Poissonen R 3 . . . . . . . . . . . . . o 5.4.3 Ecuaci n de Poissonen un dominio . . . . . . . o 6 Resolucion de las ecuaciones 6.1 Sistemasacotados . . . . . . . . . . . . . . . . . . . . . . 6.1.1 Caso hiperb lico: la cuerda vibrante . . . . . . . . o 6.1.2 Caso parab lico: difusi n del calor . . . . . . . . . o o 6.1.3 Caso el ptico: ecuaci de Laplace . . . . . . . . . on 6.1.4 Resoluci general de la ecuaci de las ondas . . on on 6.2 Sistemasno acotados . . . . . . . . . . . . . . . . . . . . . 6.2.1 Propagaci de una onda sin o con dispersi . . . on on 6.2.2 Ejemplo de fen meno de dispersi . . . . . . . . . o on 6.2.3 Forma general de las ondas progresivas . . . . . . . 6.2.4 Ejemplo: difusi n del calor sobre una barra innita o de las . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 41 43 44 48 52 54 54 54 56 57 57 59 61 65 65 65 68 69 71 75 75 77 79 81 83 83 83 84 85 85 86 86 89 90 91 92

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

7 M to dos div ersos de resolucion de ecuaciones diferenciales. e 7.1 M todo de Wronsky . . . . . . . . . . . . . . . . . . . . . . . e 7.1.1 Caso homog neo . . . . . . . . . . . . . . . . . . . . . e 7.1.2 Propiedadesdel Wronskiano . . . . . . . . . . . . . . . 7.1.3 Caso inhomog neo . . . . . . . . . . . . . . . . . . . . e 7.1.4 Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2 Transformaci integral sobre un dominio innito . . . . . . on 7.2.1 Transformaci de Laplace . . . . . . . . . . . . . . . on 7.2.2 Transformaci de Fourier . . . . . . . . . . . . . . . . on 7.3 M todo de la funcion de Green . . . . . . . . . . . . . . . . . e 7.3.1 Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . 7.4 Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Geometr y separacion a 8.1 Ecuaci n de Helmoltz o 8.2 Ecuaci n de Helmoltz o 8.3 Ecuaci n de Helmoltz o

. . . . . . . . . . .

. . . . . . . . . . .

de variables 95 en coordenadascartesianas. . . . . . . . . 97 en coordenadascil ndricas . . . . . . . . . 98 en coordenadasesfericas . . . . . . . . . . 98

5 9 Espacio de Hilb ert 9.1 El problema de la aproximaci n . . . . . . . . . . . . . . . . o 9.2 Realizaci y propiedadeselemen on tales del espaciode Hilb ert 9.3 Sobre-espacios Hilb ertianos . . . . . . . . . . . . . . . . . . 9.4 Basesortonormales . . . . . . . . . . . . . . . . . . . . . . . 10 Polinomios ortogonales sobre un in t rv alo nito: e Legendre 10.1 Polinomios ortogonalessobre un int rvalo nito . e 10.2 Construcci n de los polinomos de Legendre . . . o 10.3 La f rmula de Rodrigues . . . . . . . . . . . . . . o 10.4 La ecuaci diferencial de Legendre. . . . . . . . on 10.5 La funci n de generaci . . . . . . . . . . . . . . o on 10.6 Relaci n de recurrencia . . . . . . . . . . . . . . o 101 101 104 106 108

. . . .

. . . .

. . . .

p olinomios de 111 . . . . . . . . . 111 . . . . . . . . . 114 . . . . . . . . . 116 . . . . . . . . . 117 . . . . . . . . . 120 . . . . . . . . . 121 123 123 130 130 133 133 135 136 139 143 157

11 Polinomios ortogonales sobre R: p olinomios dHermite 11.1 Funcionesy polinomios de Hermite . . . . . . . . . . . . . . . . . 11.2 Aplicaciones de las funcionesde Hermite . . . . . . . . . . . . . . 11.2.1 Ejemplo: aplicaci n en mec ica cu ntica: el oscillator o n a arm nico . . . . . . . . . . . . . . . . . . . . . . . . . . . o 12 Polinomios ortogonales sobre R + : p olinomios de Laguerre 12.1 Los polinomios de Laguerre ordinarios . . . . . . . . . . . . . . . 12.2 Los polinomios de Laguerre asociados . . . . . . . . . . . . . . . 12.3 Aplicaci n al tomo de Hidrogenoen mec o a anica cu ntica . . . . . a 13 Teor general de los p olinomios ortogonales a 14 Ejercicios 15 Bibliograa

Capitulo 1

In tro duccion
Las ecuacionesdiferencialesparcialesson de uso cotidiano para los f sicoscomo por los ingenierosy sin importa cual essu especialidad. El tema de estecurso es de dar el herramienta matem tico para poder resolver las ecuaciones a linealeslas m s comunes de la f a sica cl sica y cu ntica. As este curso es primero un curso a a de matem ticas pero como su destino son estudiantes en f a sica o ingeniera en f sica, tratamos siemprede ver las aplicacionesen f sica cl sicao cu ntica de los a a diferentes m todos matem ticos que vamosa estudiar al largo de estesemestre. e a El objectivo que los estudientes tienen que poder complir al n des este curso es de poder resolver cualquier tip o de ecuacionesdiferenciales lineales mas comunes o mismo si todavia no conocen algunasfuncionesespecialescomo funciones de Besselo arm nicas esfericas para llegar a la soluci nal de la o on ecuaci diferencial, saber cual metodo usar para simplicar el problema y en on muchas vecespoder llegar al resultado nal. El tema de este curso va de la clasicaci de las ecuacionesdiferenciales on parciales a la determinaci n de las condiciones de unicidad de la soluci y o on resoluci de esasecuacionesdiferenciales,de algunas transformadas integrales on (las m s utiles por la resoluci de ecuacionesdiferenciales parciales) tal que a on transformaci n de Fourier y de Laplace hasta los polinomios ortogonales(Lego endre, Hermite y Laguerre). La parte que no esta incluida en este curso es la parte funcionesespecialescomo arm nicasesfericas o funcionesde Bessel. Esas o funciones especiales y su uso en la resoluci de las ecuacionesdiferenciales on parciales es el tema del curso de m todos matem ticos I I I. e a La secci 2 espara recordar las propriedadesde geometra vectorial y diferon encial necesariaspor las secciones siguientes. La secci 3 servir para dar ejemplosde los principales tip os de ecuaciones on a diferencialesde la f sica cl sica. a La secci 4 es para recordar a los estudiantes las propiedadesfundamenon tales de las seriese integralesde Fourier, necesariaspara resolver las ecuaciones diferenciales. En la secci 5, clasicamoslas ecuacionesdiferencialesparciales on lineales en 3 categoriasy estudiamospara cada categoria, cualesson las condicionesde unicidad de las soluciones.Tambi n intro ducimos la funci n de Green e o 7

8 del Laplaciano y estudiamos unas propiedadesde las funciones arm nicas ( o soluci de la ecuaci de Laplace). En la secci 6 damos el m todo genon on on e eral para resolver esasecuacionesdiferenciales. De un manera, este capitulo es el capitulo central al temario del curso. En este capitulo, ponemos todos los herramientas estudiados anteriormente en aplicaci n a la resoluci de los o on ecuacionesdiferencialesparciales. En la secci 7 estudiamos unos m todos para resolver ecuacionesdiferenon e ciales por ejemplo, el m todo de la funci n de Green que generalisamospor e o cualquier operador diferencial y unos metodos de transformaci n integral (por o ejemplo, Fourier o Laplace) que nos permite de transformar una ecuaci diferon enciale parciale en una ecuaci diferencial ordinaria, mucho m s facil de reon a solver. Tambi n, recordamoscomo usar el m todo de Wronsky para encon e e trar solucionesparticulares a una ecuaci diferencial ordinaria. on La secci 8 nos ayuda a intro ducir la relaci n muy estrec entre geometria on o ha de los problemas y los m todos de resoluci de esasecuacionesdiferencialesy e on su relaci n con unos grupo de simetr ligado intrinsicamente a la geometria del o a problema y la relacionesentre las funciones especialesy los diferentes tip os de geometra que podemosencon trar en f sica. Eso va servirnos de intro ducci n al o estudio de las funcionesespeciales. Como el contexto natural para estudiar las funcionesespecialesy en particular los polinomios ortogonalesesel espaciode Hilb ert, la secci 9 esdedicada on al estudio y a la denici n de nociones fundamentales como distancia, norma, o convergenciay producto escalar. Esasnocionesvan a conducirnos a intro ducir la noci n de espaciode Hilb ert de dimensi innita y nita 1 . o on Los 4 capitulos siguientes (de la secci 10 a 13) son completamen dedion te cados al estudio de los polinomios ortogonales los mas utiles para los f sicos o ingenieros, a saber polinomios de Legendre , de Hermite y de Laguerre. Cada ves, vemos unos ejemplo de uso de esospolinomios en problema concreto de f sica como el problema del oscillator arm nico para las funciones de Hermite o o la resoluci de la ecuaci de Schrodinger para el electr n en el tomo de on on o a hidr ogenopara los polinomios de Laguerre. La secci 14 contiene una serie de ejercicios sobre todo el curso. Esos on ejercicios son ejercicios modelos y el estudiante puede buscar en la literatura (ver bibliograa) mas ejercicios. El objectivo de esta secci es de incitar los on estudientes a poner en pr ctica el contenido de los captulos anteriores. Muchas a veces,las solucionesde esosmismos ejercicios estan a dentro de esasmismas notas.

1 El

caso de dimensi nita, fue estudiado en detalle en el curso de algebra lineal on

Capitulo 2

No ciones de geometr a diferencial y vectorial.

2.1 Propiedades tensoriales del gradien te

Consideremosun campo escalar f (x) denido sobre R 3 . translacion innitesimal: 0= , x x x

Si hacemosuna

(2.1)

tenemosque f f 0 con f 0( 0, t) = f ( , t), o de otra manera, f 0( , t) = x x x + , t). El cambio (o variaci n) del campo escalar por la translaci n inf(x o o nitesimal se escribe f ( + , t) f ( , t) x x f f 1 f = + 2 2 + 3 3 + ... (2.2) x 1 x x q 2 2 2 dondelos t rminosdespreciables e sonpeque oscomparadoa ( 1 ) + ( 2 ) + ( 3 ) . n Los t rminos lineales en son el producto escalar entre el vector y de e un vector ( xf 1 , xf 2 , xf 3 ) gr ad f f llamado el gradiente de f . = f ( + , t) f ( , t) = ( gr ad f | ) + ... x x Propriedades: f se transforma como un vector covariante sobre rotacion (R i 9 (2.3) f 0( , t) f ( , t) x x

):

10

x i x i = Ri

xj

= Ri x i x 0i

x j

(2.4)

As y setransforma de manera inversauno del otro. Este propiedad x no importa en el caso de las rotaciones en R 3 por que en este caso la m trica que denio la nocion de distancia esla matriz identidad (ver punto e siguiente) pero en el casode la generalizaci del gradiente a las transforon macionesde Lorentz, este propriedad es muy importante!! grupo de las rotaciones deja invariant el producto scalar denido como siguiente1 : ( | ) x i yj gij x y (2.5)

donde gij es la m trica del espacio considerado. En el caso de R 3 y e del grupo de las rotaciones, gij = ij . Pero en el caso del espacio de Mink owsky y de las transformacionesde Lorentz (ver curso de relatividad esp ecial ), la matriz g es dada por g 1 1 1 1 Toda estediscusi segeneralizamuy f cilmente en el casode las transforon a macionesde Lorentz (relatividad especial) sobre M 4 y puedemosdenir un cuadrivector gradiente covariante: , x 0 g = , x 0 = x

(2.6) (2.7)

Por denici n propia, los operatores y son o ntimamente relacionado al los generadoresinnitesimales del grupo de los translacionesrespectiv amente denida sobre R 3 o M 4 . A partir de y , puedemosconstruir otros camposvectorialeso scalares: sobre R 3 , si ( , t) es un campo vectorial, puedemosdenir los v x campos siguiente usando ,
1 en esas notas, usamos siempre la convenci n de hacer la suma sobre los o ndices que se repiten (en el caso que no hay una suma, estar escrito claramente en el texto). a

11 a) El rotacional de ( , t) v x ( , t) ( , t) = ot w x v x r v (2.8) ( , t) es el rotacional de y es un campo vectorial. Otra w x v v manera de escribirlo, wk = k l m xml donde k l m es el tensor 123 completamen antisim trico y te e = +1. b) La divergenciade ( , t) v x s( , t) . ( , t) ( | ( , t)) = div ( , t) x v x v x v x es un campo scalar llamado divergenciade . v (2.9)

sobre M 4 , si A es un cuadrivector covariant, tenemos a) A A A es un campo tensorial antisim trico a 2 e ndices covariant. b) S A es un campo escalarllamado cuadri-divergencia.

Otros operatores que puedemosdenir a partir del gradiente: a) El Laplaciano . div gr ad 4 , (2.10)

deniendoun campo scalar. Este operator sellama el Laplaciano y es muy importante en f sica por que es invariante sobre las rotaciones. b) El DAlem bertiano 1 2 4, (2.11) c2 t 2 tambi n esta deniendo un campo escalarsobre el grupo de las e transformacionesde Lorentz y se llama el DAlembertiano.

12

2.2

Gradien te, rotacional y div ergencia

En esta secci por simplicidad, vamosa limitarnos al casode R 3 . Es un bueno on, ejercicio de generalizarlo a M 4 o R n . Signicado geom trico e (A) Rotacional Consideramosel campo vectorial (x) y C, un circuito cerrado. u alrededor de C, la integral curvil Vamosa llamar la circulaci n de u o nea I ( | dl ) u (2.12)

donde dl designael traslado innitesimal a lo largo del circuito C. Si S es la supercie de la rea delimitada por el circuito C y , la a n normal (unidad) a , tenemos,por denici n: o ( r ot | ) = lim u n H ( | dl ) u S 0 S

(2.13)

(B)

Divergencia . Tenemosque es un campo vectorial , una supercie cerrada y V el u volumen contenido dentro de . Llamamos eel ux saliendo a trav s de e , la cuantidad ( ) denida como u ( ) = u ZZ

( | )d = u n

ZZ

( |dS) u

(2.14)

donde dS es el elemen de supercie orientado. to Por denici n, la divergenciaes: o ( ) u div ( ) = lim u V 0 V (C) Consecuencias - r ot es un pseudo-v u ector o vector axial. -div ( ) es un scalar. u

(2.15)

13 C lculo del rotacional a

Consideramos un circuito rectangular ABCD, de dimensiones innitesimales 2 ,3 y situado en el plano x 1 = a1 y de lados paralelos a los ejes x 2 y x 3 . El punto (a1 , a2 , a3 ) es el centro de esorect ngulo. Podemosf cilmente calcular a a la circulaci n a lo largo de eserect ngulo ABCD. o a I
AB C D

( | dl ) u

Z = =

Z u2 dx 2 +
1 2

Z u3 dx 3 +

Z u2 dx 2 +

u3 dx 3
D

(2.16)

A Z a3 + a3
1 2

B 3

dx 3 u3 (a1, a2 +
3
1 2

1 1 2 , x 3 ) u3 (a1, a2 2 , x 3 ) 2 2 1 1 3 ) u3 (a1, x 2 , a3 + 3 ) 2 2

Z +

a2 +
1 2

dx 2 u3 (a1, x 2 , a3
2

a2

Usando 2 3
a3
1 2

1 u3 (a1, a2 + 1 Z

1 2 2 , x 3 )

u3 (a1, a2 2

1 2 2 , x 3 )

u3 (a1 , a2 , x 3 )(2.17) x 2 (2.18)

a3 +

1 2

u3 u3 (a1 , a2 , x 3 )dx 3 3 (a1 , a2 , a3 ) x 2 x 2

Finalmente, tenemos I
AB C D

( | dl ) = 2 3 u

u3 u2 x 2 x 3

(2.19)
( a 1 ,a 2 ,a 3 )

Aplicando la denici n del rotacional y tomando el l o mite 2 3 0, tenemos r ot u = u3 u2 x 2 x 3 (2.20)

Por los otros componentes, podemos proceder de la misma manera. Una manera f cil de memorizar la expresi del rotacional en coordenadas cartea on sianasy de calcular el determinante de la matriz siguiente: e1 b
x1

e2 b
x2

e3 b
x3

u1

u2

u3

14 Ejercicio: H Calcular AB C ( | dl ) y probar que u I ( | dl ) = S( r ot | ) u u n

AB C

con S la supercie del triangulo AB C. Pistas: usar los resultadosprocedentesy H H H H (1) AB C ( | dl ) = O B C ( | dl )+ O C A ( | dl )+ O AB ( | dl ). u u u u (2) expresar el rea de OB C, OCA y OAB en t rminos de los componentes a e de y de S. n

C lculo de la div ergencia a

Consideramosun paralelipipedo innitesimal de lados 1 , 2 y 3 . La contribu cion al ux saliendo de a trav s de los lados perpendiculares al eje x 1 , 1 ( u e ) vale u ZZ 1 1 1 ( ) = u dx 2 dx 3 u1 (a1 + 1 , x 2 , x 3 ) u1 (a1 1 , x 2 , x 3 2 2 Tomando el l mite 1 0, obtenemos 1 ( ) u u1 = 1 2 3 x 1

(2.21)

Usando la denici n de la divergenciay sumandosobrelos contribuciones al o ux saliendo de de todos los lados, tenemos u div = u u1 u2 u3 + + x 1 x 2 x 3 (2.22)

15

2.3

Iden tidades imp ortan tes

Lema de Poincar e r ot( gr ad f ) div ( r ot ) u

= =

0 0

(2.23) (2.24)

El punto importante del lema de Poincareesque,lo calmen te 2 , tiene una recproca: r ot u div u = = 0 un campo scalar tal que = gr ad u 0 A un campo vectorial tal que = r ot A u (2.25) (2.26)

Esos campos se llaman respectivamente potential escalar (para ) y potencial vector (para A ). Un campo vectorial se llamari u a (a) irrotacional si r ot u = 0 (b) solenoidal si div = 0 u Otra consecuencia importante del lema de Poincareesel teorema de Helmholtz : Un campo vectorial , sucientementeregular y nulo al innito es la suma u de un campo irr otacional y de un campo solenoidal: gr ad r = + ot u A

Otras iden tidades: gr ad(f g) r ot(f ) u div (f ) u ) div ( u v r ot( r ot u )

2 localmente

= = = = =

f gr adg + g gr adf f r ot( ) + gr adf u u ) + ( gr adf |) f div ( u u r |ot ) ( r ot u | v ) ( u v ) 4 gr ad(div u u

(2.27) (2.28) (2.29) (2.30) (2.31)

signica que la rec pro ca del lema de Poincare es v lida si en cada punto del a x conjun to donde la funcion es denida se puede construir un rect angulo centrado en el punto y interior al dominio de denicion de la funcion. Por ejemplo, si el dominio de denicion x es R 3 \{ 0} , el lema de Poincare no tiene rec pro ca

16

2.4

Teoremas in tegrales

(A) Integral de l nea de un gradiente: ZQ ( gr adf |d l ) = f (Q) f (P )

P

(2.32)

(B) Teoremade Stokes: ZZ

( r ot | )d = u n

( |d l ) u

(2.33)

(C) Teoremade Gauss: ZZZ

div d = u

ZZ

( | )d u n

(2.34)

Aplicaci on: idendidad de Green que vamos a utilizar cuando vamos a estudiar la ecuaci de Laplace. on Tenemos = una supercie cerrada cercando un volumen . f y g son dos funciones de clasa C 2 sobre . En este caso, usando las identitades proceden tes, tenemos div (f g) div (gf ) = = f 4 g + ( f | g) g4 f + ( g| f ) (2.35) (2.36) (2.37)

div (f g gf ) = f 4 g g4 f

Integramos dentro de y usando el teorema de la divergencia,tenemos ZZZ (f g gf ) = d (f 4 g g4 f ) (2.38)

y como podemosexpresarel ux de la manera siguiente: ZZ g f (f g gf ) = (f g )d n n

(2.39)

g donde n es la diferencial en la direcci n de la normal a la supercie . o Entonces, obtenemosel identitad de Green: ZZ ZZZ g f (f g )d = d (f 4 g g4 f ) (2.40) n n Esta relaci n va a estar muy util cuando vamos a estudiar las funciones o arm nicas (soluci n de la ecuaci de Laplace, 4 g = 4 f = 0 dentro de .) o o on

17

2.5

C lculo en coordenadas no-cartesianas a

Muchas veceslas simetr del sistema sobre investigaci nos hacen usar sisas on temas de coordenadasno cartesianas. Por ejemplo, coordenadaspolares planas. coordenadaspolares esfericas. coordenadaspolares cil ndricas. Todos esossistemasde coordenadastienen la propiedad de ser ortogonales. Un sistema de coordenadas(, , ) en R 3 es ortogonal si satisfacelos 3 condicionesequivalentes siguientes: 1. en cada punto (, , ), las supercies de coordenadas = constante, =constante y =constante son 2 a 2 ortogonales. 2. en cada punto (, , ), las normalesb , , a las superciesde coordenadas e = constante, =constante y =constante son 2 a 2 ortogonales. 3. el elemen de l to nea3 se escribio
2 2 2 ds2 = g d2 + g d2 + g d2

(2.41)

sin t rminos crusadoscomo dd. e Vamos a calcular los operadoresgradiente, divergencia, laplaciano y rotacional en coordenadas ortogonales generalizadas(, , ). En este sistema de coordenadas,cualquier campo vectorial va a poder escribirsecomo u = u e + u e + u e u b b b (2.42)

2.5.1

Gradien te

Por eso, vamos a seguir el mismo m todo que antes. Consideramosun campo e escalar f y calculamos la variaci n de f despu s de hacer la transformaci n o e o + d. En este caso,tenemos f f f d + d + d 1 f 1 f 1 f ( )g d + ( )g d + ( )g d g g g ( gr adf | )

d f

= =

(2.43) (2.44) (2.45)

3 es imp ortan te recordar que g d representa la distancia entre la supercie de coordenada = 0 y la supercie vecina = 0 + d.

18 Entonces, tenemos 1 f 1 f 1 f gr adf = ( )b + ( e )b + ( e )b e g g g (2.46)

2.5.2

Div ergencia

Vamos a proceder de la misma forma que antes, aplicando la denici n de la o divergenciaa un paralelipipedode lados(gxi d, g d, g d), centrado en el punto , , . Procediendoas, obtenemosel resultado siguiente: div = u 1 { (g g u ) + (g g u ) + (g g u )} g g g

(2.47)

2.5.3

Laplaciano

Obtenemosdirectamente el laplaciano de su denici n en t rminos de gradiente o e y divergencia. 1 g g f g g f g g f { ( )+ ( )+ ( )} g g g g g g

4f =

(2.48)

2.5.4

Rotacional

Por ser completo, damos el resultado por el rotacional. Para obtenerlo, es suciente de usar el mismo m todo que en los captulos proceden e tes. r ot u e (g u ) b (g u ) e (g u ) b (g u ) ( )+ ( ) g g g g e (g u ) b (g u ) ( ) (2.49) g g

Capitulo 3

Ecuaciones diferenciales parciales lineales de la f sica cl sica a

3.1 La cuerda vibran te y sus generalizacion

Tenemosuna cuerda el stica estirada de tensi n T y de masa para unidad a o de longitud. Esta cuerda puede hacer un movimiento de vibraci n en el plano o vertical. Escogimospor eje x, la posici de quilibrio de la cuerda (cuerda en on reposo) y le llamamos w(x, t) la separaci respecto a la posici de equilibrio on on del punto x al tiempo t. Adem s, vamos a suponer que una fuerza transversal f para unidad de lona gitud act a sobre la cuerda (por ejemplo la gravedad). u Tomamosla secci (x, x + dx) de la cuerda: on su masa es dx su aceleraci (solamen es transversal): on te la fuerza exterior transversal f dx la componente transversal de la tensi n en x: T w , por que o x coeciente angular de la tangente a la cuerda en el punto x. la componen transversal de la tensi n en x + dx: te o T w w 2 w (x + dx) = T ( + dx) x x 2 x 19
w x 2w 2 t

es el

20 Con todo eso,podemosmuy f cilmente escribir las ecuacionesde Newton y a obtenemos:

2 2w w = T 2 dx + f dx 2 t x

( dx)

(3.1)

Podemossimplicar el expresi y obtenemosla tradicional ecuaci de la on on cuerda vibrante: 2w 1 2w f 2 2 + = 0 2 x c t T

(3.2)

dondec2 T/ contiene toda la informaci n sobrelas propiedadesf o sicasde la cuerda.c tiene la dimensi de una velocidad y vamosa ver que efectivamente on c es la velocidad de propagaci de una deformaci al largo de la cuerda. on on Para f = 0, tenemosla ecuaci cl sica de la cuerda vibrante: on a 2w 1 2w 2 2 = 0 2 x c t

(3.3)

3.1.1

Generalizaci on

En el caso de una membrana el stica de densitad y de tensi n uniforme T a o con una fuerza transversal f por unidad de supercie, podemosmuy f cilmente a obtener la ecuaci de Newton correspondiente a las vibraciones de la memon brana. Por eso,escogimosel plano (x, y) como la posici de equilibrio de la memon brana y llamamosw(x, y, t) la diferencia en el punto (x, y) respecto a su posici on de equilibrio. Tenemosun rect ngulo dx dy y escribimoslas ecuaci a onesde Newton. Nadamas tenemosque recordar que la tracci n transversal en la direcci n x es igual a o o
2 w w w (x + dx, y) (x, y)} = T dy dx x x 2 x

dy T {

(3.4)

De la misma manera, tenemospor la tracci n transversal en la direcci n y: o o

2 w 2 y

T dx dy

(3.5)

21 La ecuaci de Newton es on dx dy
2 w 2w 2w = T dx dy ( 2 + ) + f dx dy 2 t x 2 y

(3.6)

En el casof = 0, tenemos 1 2w = 0 (3.7) c2 2 t Estasecuaci onesvan a describir ondasacusticas,electromagneticas,sismicas, 4

2

...

3.2

Ecuacion del calor

Consideramosun medio homogenode masa (para unidad de volumen) y de calor especco cv (para unidad de masa). Vamosa estudiar la propagaci del on calor en este medio y por eso lo consideramoscomo un u do de densitad de corriente Q . w(x, t) es la temperatura al punto x al momento t. Suponemosque una aportaci n de calor puede solamen aumen la temo te tar peratura, es decir que vamos a no tomar en cuenta cualquier otro efecto. En tal caso, la conserv on de la energ a va a tomar la forma de una aci ecuaci de contin uidad. Para un volumen , la aportaci n total de calor es on o

22 igual al aumen de energ debido a la variaci n de la temperatura: to a o ZZ ZZZ w Q .d S = cv d t El signo negativo proviene de la evaluci n del ux entrando. o Usando el teorema de la divergencia,tenemos ZZZ w ( cv + div Q ) d t

(3.8)

(3.9)

Como el volumen esarbitrario, estaley de conserv on macrosc aci opica tiene que ser v lida tambi n al nivel microsc a e opico y tenemos w + div Q ) = 0 (3.10) t Admitimos que el ux de calor Q es dirigido seg n la l u nea de la cada la m s grande de temperatura, esoes decir que a ( cv Q = k gr ad w (3.11) Esta hip tesis (que implica r ot Q = 0) supone que el medio es isotropo y o es v lida solamen en un dominio pequeno de variaci n de la temperatura. a te o En los casosmas generales,k, llamada conductividad t rmica, cambia con la e temperatura y al n, tenemosuna ecuaci no-lineal. on Suponiendo k = constante, tenemos 1 w = 0 (3.12) t donde = k/ (cv ). Es la ecuaci tradicional del calor. Este ecuaci sirve on on para describir muchos casosde fen menosde difusi n. o o 4 w

3.3

Ecuacion de Laplace y sus generalizaciones

Si en el problema proceden queremosdescribir la distribucion del calor al te, equilibrio, tenemosque usar una soluci estacionaria de la ecuaci del calor, on on es decir independiente del tiempo. w(x) seria una soluci estacionaria s on 4w= 0 (3.13)

Es la ecuaci de Laplace. Tambi n esta ecuaci se llama ecuaci del on e on on potencial. En presenciade fuentes, de densidad (x, y), tenemosla ecuaci inhoon mogenacorrespondiente, llamada ecuaci n de Poisson: o 4w= (3.14)

23 Otra ecuaci similar a la ecuaci de Laplace es la ecuaci de Helmholtz: on on on 4 u + k2 u = 0 (3.15)

Esta misma ecuaci se encuen tambi n en mec on tra e anica cu ntica (ecuaci a on de Schr dinger para una part o cula libre, por ejemplo).

24

Capitulo 4

Series e in tegrales de Fourier

4.1
4.1.1

Serie de Fourier
Motiv aciones: principio de sup erp osici on

Serie e integrales de Fourier constituyen una t cnica que permite usar la line earidad de un ecuaci diferencial ordinaria o parcial, gracias al principio de on superposici on: Dada un ecuaci n diferencial, lineal en la funci n incognita y susderivadas, o o cualquier combinaci n lineal de las soluciones es todava una soluci n y la o o soluci n la mas gener l es una combinaci n lineal de soluciones particular es o a o (David Bernoulli) Por ejemplo, la cuerda vibrante F (x, t): 2F 1 2F 2 2 = 0 2 x c t Primero, vamos a buscar una soluci factorizada: F (x, t) = f (x) g(t), on f (x) + k 2 f (x) 00 g (t) + c2 k 2 g(t)
00

(4.1)

= 0 = 0

(4.2)

con la misma constante k 2 . Si tenemos F |t =0 = 0 , tenemosuna soluci (ver on t captulos siguientes): F k (x, t) = (A sin(k x) + B cos(k x)) cos k t) (c (4.3)

Si, adem eslimitado a un dominio acotado,tenemosuna sucesi innita asx on k1 , k2 , ... de soluci on. Usando el principio de superposici la soluci generalpuedeescribirse on, on de la forma: 25

26

F (x, t) =
n =1

(A n sin(kn x) + B n cos(kn x)) cos kn t) (c

(4.4)

Pero que sen tido tenemosque dar a la suma innita? Si consideramosuna PN soluci truncada F N (x, t) = on n =0 F n (x, t). Para N sucientemente grande, esperamos que F N se aproxime a la soluci general, pero que sen on tido se va a dar a este concepto?

4.2

Apro ximacion en media cuadr tica sobre un a dominio acotado

Consideremos dominio denido como[ l, l] con los dosextremosidenticadas un ( equivalente a un c rculo de radio l/ ). Sobre este dominio, consideremosla familia de funcionessiguientes: uo (x) un (x) vn (x) = = = 1 2l 1 nx cos( ) para n = 1, 2, ... l l 1 nx sin( ) para n = 1, 2, ... l l (4.5) (4.6) (4.7)

Podemosvericar muy facilmente que esasfuncionessatisfacenlas siguientes condiciones: Z

+l

um (x)un (x) dx
l Z +l

= = =

mn mn 0

(4.8) (4.9) (4.10)

vm (x)vn (x) dx
l Z +l

vm (x)un (x) dx
l

De este modo, cualquier combinaci n lineal f (x) o

X X

f (x) =
n =0

n un (x) +
n =1

n vn (x)

(4.11)

es una funci n peri dica de per o o odo 2l. Para denir estas sumas innitas, vamos a considerar la suma truncada f N (x):
N X N X

f N (x) =
n =0

n un (x) +
n =1

n vn (x)

(4.12)

27 Vamosa medir la separaci entre f y f N usandola diferencia cuadr tica media on a N: Z N =

l l

|f (x) f N (x)|2 dx

(4.13)

Para N jo, aproximar f en media cuadr tica va a consistir en encon a trar los coecientes n y n que minimizan N lo m s posible. Es claro que eso a tiene sen tido solamen si te Z
l

|f (x)|2 dx <
l

(4.14)

Vamos a decir que f (x) es un funci n de cuadrado integrable si o Z

l

|f (x)|2 dx < .
l

(4.15)

Estos coecientes se calculan facilmente usando las propiedadesde ortogonalidad de las funcionesun (x) y vm (x). Calculando N y usandolas deniciones de un (x) y vm (x), tenemos Z N = |f (x)|2 dx +
n =0 N X N X N X n =0

|A n n |2 |B n n |2

|A n |2 |B n |2 (4.16)

N X n =1

+
n =1

donde A n , B n son denidos como Z An Bn =

l Zl l

un (x) f (x) dx vn (x) f (x) dx

l

(4.17) (4.18) (4.19)

Es muy f cil de demonstrar que N es minima cuando tenemos: a

n n

= =

An Bn

(4.20) (4.21)

Estos coecen son los coecientes de Fourier de la funci n f . tes o

28

4.2.1

Forma equiv alente

Tambi n, en lugar de usar las funcionesun (x) o vn (x), podemosusar la repree sen on en t rminos de la exponencial compleja y usar la serie de funciones taci e wm (x) denida como: 1 wm (x) = eim x/l 2l (4.22)

Podemas vericar que estas funciones satisfacen tambi n las relacionesde e ortogonalidad: Z
l

wm (x) wn (x) dx = mn
l

(4.23)

As podemos denir los coecien de Fourier de la funci n f como los , tes o coecientes Cm denido de la manera siguiente: Z Cm =
l l

wm (x) f (x) dx

(4.24)

Y formalmente, la funci n f va a poder escribirsecomo o

+ X

f (x) =
n =

Cn wn (x)

(4.25)

4.2.2

Propiedades.

1. Desigualdad de Bessel:
+ XN N

Z |Cm |2

|f (x)|2 dx
l

(4.26)

2. Vamos a decir que f es completamen aproximable si f verica uno de te los condicionesequivalentes siguientes: (i) (f ) = 0 (ii) Igualdad de Parsev al:
+ X

Z |Cm |2 =

|f (x)|2 dx
l

(4.27)

(iii) f = lim N f N en media cuadr tica, lo que signica que a Z

N l + XN

lim
l

|f (x)
N

Cm wm (x)|2 dx = 0

(4.28)

29 Y en este caso,vamos a poder escribir f (x) como

+ X

f (x) =

Cm wm (x)

(4.29)

3. Teorema: (i) cualquier funci n de cuadrado integrable es completamen aproxo te imable. P + P + 2 (ii) Si f (x) = Cm wm (x) con |Cm | < , entonces f es de 1 cuadrado integrable y tenemos Z
l

|f (x)|2 dx <
l

(4.30)

Todos esosresultados se simplican mucho si intro ducimos el espacio de Hilb ert L 2 ([ l, l], dx). Por denici n, el espaciode Hilb ert es un conjunto de o clasede equivalencia de las funcionesde cuadrado integrablesdenidas sobreel dominio [ l, + l]. La relaci n de equivalencia es o f g f (x) = g(x) (4.31)

excepto sobreun conjunto de medida nula, esdecir un conjunto denombrable de puntos. Sobre este espacio,el producto escalares denido como Z (f |g)
l l

f (x) g(x) dx

(4.32)

Y la norma de una funci n f L 2 (] l, l[, dx) es denida como o Z kf k2

l l

|f (x)|2 dx

(4.33)

Las relacionesde ortogonalidad de { um , vm } y { wm } signican que esosdos sistemasson basesortonormales de este espaciode Hilb ert L 2 ([ l, l], dx). Por consecuencia, ualquier elemen f L 2 ([ l, l], dx) puede escribirsede manera c to unica como una combinaci n lineal de los vectoresde la base. o
1 la integral tiene que estar tomada en el sentido del integral de Lebesgue (v er curso de calculo).

30

4.3

Con vergencia pun tual de la serie de Fourier

La llave de la convergenciapuntual de la serie de Fourier va ser la regularidad de la funci n f : m s regular es, m s rapido sus coecientes de Fourier Cm o o a a A m , B m decrecenen m. Para ilustrar, esta propiedad vamos a considerar varios ejemplo para f . 1. f de clase C1 , es decir que f y f son cont nuas y limitadas. Primero, vamosa hacer una integraci n por parte y obtenemospara los coecien o tes de Fourier Cm : Z 2lCm = =
l
0

e im x/l f (x) dx e 1 f (x)|l l + im/l im/l

l im x/l

e im x/l f (x) dx (4.34)

l

Como el primer t rmino es igual a cero, tenemos e 1 1 m r l 2 Z

l
0

Cm

|f | dx =
l

1 M1 m

(4.35)

donde M 1 es independiente de m.
+ X 2 |Cm |2 M 1 + X m =

m =

1 < m2

(4.36)

2. f de clase C2 . En este caso, vamos a poder hacer dos integracionespor partes y obtenemos 1 l 2 |Cm | ( ) m 2l Z
l

|f |dx =
l

00

M2 m2

(4.37)

En consecuencias,(Cm ) es sumable y la serie de Fourier convergera absolumen es decir que te,

+ X m = + X m =

|Cm | M 2

1 < m2

(4.38)

3. si f Ck |Cm |

1 mk

Mk

En particular, si la funci n es de clase C , los coecientes Cm decrecen o m s rapidamente que cualquier potencia inverso de m(decimos que (Cm ) a es una se guida a decrecimiento rapido).

31 4. Si f C0 (es solamen contin ua), en este caso, f no tiene siempre una te serie de Fourier convergen te. 5. A fortiori, tenemosqueesperar unaspatolog assi la funci n esdiscontin ua. o Por ejemplo, el fen meno de Gibbs: o En un punto de discontin uidad x 0 , la suma truncada a N t rminos de e la serie de Fourier NO tiende al valor f (x 0 ) pero al valor A f (x 0 ) con A > 1.17.

32

4.4
4.4.1

In tegrales de Fourier
La transformaci on de Fourier

Tenemosf (x) una funci n peri dica, de periodo 2l y de cuadrado integrable o o sobre[ l, l]. De la secci preceden sabemosque esta funci n tiene una serie on te, o de Fourier convergen en el sen te tido L 2 :
X

f (x)

=
n = X

Cn wn (x) Z
l

(4.39) ! ein x/l 2l

=
n = l

e in /l f ()d 2l

(4.40)

Que pasa si tomamos el l mite l ? Al limite, vamosa tener una funci n NO-peri dica y de cuadrado integrable o o sobre R. Vamos a denir kn = n/l , el par metro k va cambiar de hasta + a por salto de longitud kn kn +1 kn = /l y entonces 1/l = kn / . l , vamos a tener: (i) la integral Rl
l

va a devenir

(ii) kn va a tender a una variable contin ua k. f (x) va a devenir:

X

f (x)

=
n = X l

e ik n f ()d 2
ik n x

eik n x kn 2

(4.41) (4.42) (4.43)

=
n =

e fb(kn ) Z

kn

1 2

fb(k)eik x dk

suponiendo que el l mite l existe!. Obtenemosas los dosrelacionessiguientes, quevan a denir lo quellamamos la transformaci n de Fourier y su inverso: o Z 1 f (x) e ik x dx 2 Z 1 fb(k) eik x dk 2

fb(k) f (x)

= =

(4.44) (4.45)

33 Notas: encon tramos tambi n en la literatura otras convencionestal que el e intercambio entre eik x y e ik x , o de los factores num ricos pero siempre el e producto de estosfactores es igual a 1/ 2 (otra convenci por ejemplo, tomar on 1 y 1/ 2). La denici n seextiende imediatamente en dimensi n > 1 con la notacion o on Pn usual del producto escalaren R n , ( k | ) = x i =1 ki x i . 1 (2) n/ 1 (2) n/ Z
2

fb(k) f (x)

= =

f (x) e i ( k | x ) dn x Z
fb(k) ei ( k | x ) dn k

(4.46) (4.47)

La pregunta natural que nos viene a la mente es determinar por cual clase de funciones f , la transformaci n de Fourier es valida. Para responder a esta o duda, vamos a denir la claseS de Schwartz de la siguiente manera: f S f C f y todas sus derivadas son a decrecimien r pido, es decir que m, j , to a tenemos |x|m |f
(j )

(4.48)

| 0 para |x|

(4.49)

Para una funci n f S, la integral deniendosu transformada de Fourier va o a converger absolutamen y adem f L 2 , es decir que S L 2 . Y tenemos te as tambi n, e f S fb S Prova: (i) f C fb es a decrecimien r pido, es decir que to a m, |k|m |fb| 0 para k (4.51) (4.50)

Para demostrar eso,essuciente de integrar por partes la integral deniendo fb(k). Como f S, el termino todo integrado es cero y tenemos

34

fb(k)

= . . . =

1 2

f (x)

e ik x dx ik

(4.52)

1 2

(n)

(x)

e ik x dx (ik ) n

(4.53)

(ii) f es a decrecimien r pido fb C . to a Podemosderivar a bajo del signo de integraci n, lo que da o Z

dfb (k) dk

= . . .

1 2

f (x) ( ix ) e ik x dx

(4.54)

dn fb (k) dkn

1 2

f (x) ( ix ) n e ik x dx

(4.55)

Todas esasintegrales son absolutamen convergen as la funci n fb es te te, o bien de claseC . Nos queda a determinar el dominio de denici n de la transformaci n de o o Fourier. Por eso,consideramosf , g S fb, g S, entonces tenemos b Z

Z fb(k) g dk = b

f (x) g(x) dx

(4.56)

Podemospermutar las integracionesen x y en k por que f , g, fb y g son funciones b de S. En particular, tomando f = g, obtenemoslas relacionesde Plancherel: Z

Z fb(k) g dk b |fb(k)|2 dk =

f (x) g(x) dx
Z

(4.57) (4.58)

|f (x)|2 dx

Podemosreconocer el producto escalary la norma denida sobre el espacio de Hilb ert L 2 (R, dx):

35

(f |g) kf k
2

= =

( fb|b) g bk2 kf

(4.59) (4.60)

Eso signica que la transformaci n de Fourier f fb es una aplicaci n o o unitaria (isomorsmo) de L 2 sobre L 2 .

4.4.2

Teorema de convolucion

f , g S, podemosdenir el producto de convoluci n de f y g. Por denici n, o o el producto de convoluci n de f y g es dado por la relaci n siguiente: o o Z (f g)( x) = f (x y) g(y)dy (4.61)

Si f , g S, es f cil de demonstrar que (f g) S. Y tenemos el teorema a siguiente muy importante en sus aplicaciones: c 2f g = fd g = fb g b 2fbg b

(4.62) (4.63)

La demonstraci de esto teorema se hace muy f cilmente usando el hecho on a que podemosintercambiar los dos integrales. Este teorema tiene muchas aplicaciones en f sica, en particular en la descripci n matem tica del procesode medir, si tomamos en cuenta el incertidumo a bre estat stica sobre los resultados medidos.

4.4.3

Signicacion in tuitiv a de la transformaci on de Fourier: la funci on de Dirac

Para darnos cuenta del papel de la transformaci n de Fourier, vamosa calcular o dos casosparticulares: una impulsi n cuadrada. o una gaussiana. Transformada de Fourier de una impulsion cuadrada.

Consideramosla funci n f l (x) denida de la manera siguiente: o x < l 0 1 l x l f l (x) = 0 x> l

(4.64)

36 Podemoscalcular muy f cilmente la transformada de Fourier: a r fbl (k) = 2 sin kl l kl (4.65)

Tenemostambi n que e Z

r fbl (k)dk = =

sin t dt con t = kl t

(4.66) (4.67)

Ahora, podemostomar el l mite l : f l (x) va a tender a una impulsi n innita (f l (x) 1). o fbl va a tender verso un pico innitamente alto y innitamente estrec ho que vamos a notar 2(k), donde es lo que llamamos usualmen la te funci n de Dirac. o (k) NO es una funci n en el sen o tido usual por que ella tiene que ser la funci n nula en todos los puntos exceptoen cero dondeella vale el innito! o Adem s, tenemos a Z

(k) dk = lim
l

1 2

fbl (k) dk = 1

(4.68)

En hecho, la funci n de Dirac puede solamen denirse de manera o te correcta como una medida o una distribucion. Ahora, vamos a denir la funci n por el l o mite: (k) = lim
l

l sin kl kl

(4.69)

37 La transformada de Fourier de una gaussiana.

Consideramosuna gaussianaf a (x) de altura 1 y de anchura 1/a : f a (x) = e a

2

x2/ 2

(4.70)

Su transformada de Fourier tiene la siguiente forma: Z 2 2 1 e a x / 2 e ik x dx 2 1 k 2 / 2a 2 e a

fb (k) a

= =

(4.71) (4.72)

As fb (k) es igual una gaussianapero de altura 1/a y de anchura a. , a

Ahora, pasamosal l mite a 0, entonces, tenemos f a (x) 1. fb (k) va a tender verso una gaussianainnitamente alta y innitamente a estrec ha. fb (k) a 2 (4.73)

Nos queda a vericar que es bien la misma funci n de Dirac que o estudiamosen la secci preceden Pero, esoresulta imediatemen de on te. te la normalizaci n, o Z

(k) dk = lim

e k / 2a dk = 1 a 0 a 2

(4.74)

La conclusi de estosdos c lculos esmuy importante para las aplicaciones. on a De hecho, podemosconsiderar, en cada caso,que la anchura del pico represen ta el incertidumbre sobre la variable x o k. Si llamamos esta anchura x y k respectivamentem tenemosen los dos casos:

38 1er caso: x l, k 1/l x k 1 l. 2o caso: x 1/a, k a x k 1 a. Estas relaciones,expresadasen las buenasunidades, son a la basedel principio de incertidumbre de Heisen berg de la mec anica cu ntica! a Regresamos momento sobre la funci n de Dirac, lo intro ducimos como un o la transformada de Fourier de la funci n constante f 0 (x) = 1/ (2). Usando o formalmente esta denici n y en el teorema de convoluci n, tenemos o o 2do g = f g = b = fb g o b g b Z (k l) g(l) dl b

(4.75) (4.76) (4.77)

g(k) b

Esta relaci n es la denici n usual de la funcion . Es equivalente a la o o relaci n simb lica siguiente: o o Z 1 (k) = e ik x dx (4.78) 2 En hecho, todas esasrelacionesformales pueden justicarse rigurosamen te con el ayudo de la teori de las distribuciones, en particular, (4.77) signica que a es el aplicaci n quien a cada funci n b va asociar su valor en un punto k. o o g

4.4.4

Lema de Riemann

Vamos acabar este captulo por un resultado sencillo pero muy importante, el lema de Riemann: Rb Si a |f (x)|dx < , entonces tenemos Z
k b

lim |
a

f (x)eik x dx| = 0

(4.79)

Otra manera de escribirlo, si f (x) satisface la misma condici n que antes, o tenemostambi n: e Z
k b

lim |
a Zb

f (x) sin kx dx| f (x) coskx dx|

a

= =

0 0

(4.80) (4.81)

lim |

39 Prova: Tenemos(a, b) nito y f constante sobre (a, b) : f (x) = c si x (a, b). Z lim |
k a b

c eik x dx|

= =

lim c (

eik b eik a ) k

(4.82) (4.83)

Si f es una funci n en escala,es decir una suma de una cuantidad nita o de funci n del tip o preceden entonces, tenemosel mismo resultado. o tes, Consideramosf una funci n integrable en el sen o tido de Riemann, esdecir + que existe dos seguidas{ E n } y { E n } de funciones en escalerastal que + E n f (x) E n y Z
n b En a

Z dx =
a

lim

f (x)dx

(4.84)

As consideramos > 0 sucientemente peque o, N > 0 tal que n > N , , n tenemos Z

a b (f (x) E n (x)) dx

(4.85)

Entonces, tenemos Z |
a b

Z f (x)eik x dx| |
a

b E n (x)eik x dx|

Z Z
a a

b (f (x) E n (x)) eik x dx b |f (x) E n (x)|dx

Y entonces, Z |
a b

(4.86)

Z f (x)eik x dx| + |
a

b E n (x)eik x dx|

(4.87)

Para k sucientemente grande, el 2o t rmino del miembro derec es are ho bitrariamente peque o, lo que demuestra el lema. n

40

Capitulo 5

Clasicacion de las ecuaciones y condiciones de unicidad de las soluciones

5.1 Clasicacion de las ecuaciones

ConsideramosL (u) = 0 como una ecuaci derivada parciale, lineal, del 2o on grado y con coecien constantes, donde u u( ), = (x 1 , x 2 , ..x n ) R n . tes x x La parte de la ecuaci quien contiene solamen las derivadas segundasse on te escribo como: L (2) (u) Xn cij
i,j =1

2u i x j x

(5.1)

donde podemossuponer sin perder generalidad,que los cij son simetricos: cij = cj i . Por transformaci n de Fourier k , tenemos o x d u i kj u b x j Y entonces, d L (2) (u) = Xn cij ki kj u b
i,j =1

(5.2)

(5.3)

Esta expresi esuna forma cuadr tica en kj . Sabemosque tal forma puede on a P ser diagonalizada con una transformaci n regular y real ki kj = o l j l kl , es d decir que podemosreescribir L (2) (u) como una suma de cuadradoscon el signo + o -. 41

42

d L (2)

Xp (u)
i =1

( ki ) 2 +

Xq
j =1

( kp+ j ) 2 , p + q n.

(5.4)

Y el n mero de t rminosde cadasigno, p y q respectivamente , va a depender u e solamen de la forma cuadr tica (teorema de Silvester). Haciendo sobre (5.4), te a la transformaci n de Fourier inversa kj yj , obtenemosla forma diagonalizada o de (5.1): d L (2) (u) = L (2) ( u) = Xp 2 u 2 Xq 2 u i y p+ j y2 i =1 j =1 (5.5)

Como estan los terminos en derivadas de segundogrado quien determinan la natura de las soluciones(vamos a ver despu s que los t rminos en derivada e e de primer grado son t rminos de amortizaci n y los t rminos proporcionalesa e o e la funci n son t rminos dispersivos), obtenemosasi una clasicaci de todas o e on las ecuacionessobre estudios en 3 clases: (1) p + q = n, p = 0 o q = 0: todas las variables estan presen en las tes derivadas de segundogrado y todas con el mismo signo. ecuaciones el ptic as Por ejemplo, ecuaci de Laplace: 4 u = 0 on ecuaci de Helmholtz: 4 u + k 2 u = 0 on (2) p + q = n, p = 1 o q = 1: todas las variables estan presen pero una de tes ellas aparececon el signo opuesto. ecuaciones hip erb olic as Por ejemplo, ecuaci de la cuerda vibrante: 4 u on ecuaci de los telegrastas: on 2V 1 2V ( + ) V 2 2 2V = 0 2 x c t c2 t c ecuaci de los telegrastas reducida: on 2V 1 2V 2 2 2 + ( ) V = 0 2 x c t 2c (5.7) (5.6)
1 2u c2 2 t

= 0.

ecuaci de Klein-Gordon (part on cula cu ntica libre, relativista, de a masa m y de spin 0): 2 1 2 mc2 2 2 2 ( ) = 0 x 2 c t h (5.8)

43 (3) p+ q < n: una variable (al menos)NO apareceen las derivadasde segundo grado. ecuaciones par ab lic as o Por ejemplo, ecuaci del calor: 4 w on
1 w t

= 0

ecuaci de Schr dinger libre (part on o cula cu ntica libre, no-relativista a y sin spin): h 2 4 i h = 0 2m t (5.9)

Notas En general,las ecuaciones hiperb licas estan denidas con la condici n siguo o iente: p + q = n, p 1 y q 1. Podemosdistinguir entre: - ecuacionespropiamente hiperb licas: p = 1 o q = 1. o - ecuacionesultrahip erb licas: p 2 y q 2. Tal ecuaci se encuen en o on tra relatividad general (Univ erso de Sitter) y en algunos modelos de f sica de las particulas elemen tales. En hecho, la clasicaci en 3 tip os(el on ptico, hiperb lico y parab lica) puede o o extendersea las ecuacionesa derivadas parciales de segundogrado con coecientes variables es decir con coecientes cij quien son ellos mismos funciones , de . Pero en tal caso, una misma ecuaci puede pertenecer a varios tip os x on dependiendo de los valores de consideradas. No obstante, esta clasicaci x on juga un papel fundamental en la naturaleza de las soluciones.

5.2

Condicion de unicidad de las soluciones

En los tres proximas secciones,vamos a etablecer las condicionesnecesariasy suciente para la unicidad de las ecuacionesde los 3 tip os: (i) ecuaci de la cuerda vibrante (hip erb lica). on o (ii) ecuaci de la calor (parab lica). on o (iii) ecuaci de Laplace (el on ptica). Para decirlo de otra forma, vamos a demostrar cuales son los datos quien determinan una soluci unica. En el proximo capitulo, vamos a construir on explicitamente estas soluciones,estableciendosu existencia. Por supuesto, los resultados obtenidos son mucho mas generalesque los 3 casos estudiados y son t picos para cada una de las 3 clases: hiperb licas, parab licas y el o o pticas, respectivamente.

44

5.2.1

Ecuaciones hip erbolicas, condiciones de Cauc hy

Empenzamoscon la ecuaci de la cuerda vibrante, prototip o de la ecuaci on on hiperb lica: o 2w 1 2w 2 2 = 0 (5.10) 2 x c t p en cual c = T/ tiene la dimensi de una velocidad; T es la tensi n y la on o masa para unidad de longitud. Tomamosun pedazode la cuerda, de longitud x al descanso.Su energ se a compone de (i) energ cin tica: a e
1 w 2 2 x( t ) .

(ii) energ potencial inducida por el alargamiento que vale entoncesT multi a plicado por el alargamiento de longitud: p T (l x) = T ( (x) 2 + (w) 2 x) r w 2 = T x( 1 + ( ) 1) x 1 w 2 ' T x(1 + ( ) 1) 2 x 1 w 2 = T x( ) (5.11) 2 x

La energ total vale entonces, a 1 x{ 2 w t

2

E tot (x)

= =

+ T w t
2

w x w x

}
2

(5.12) } (5.13)

1 1 x T { 2 2 c

La variaci n de esta energ en funci n del tiempo es proporcional a o a o 1 { t c2 w t

2

w x

= = =

1 w 2 w w 2 w + } c2 t 2 t x t x w 2 w w 2 w 2{ + } t 2 x x t x w w {2 } x x t 2{

(5.14)

45 donde usamosla ecuaci del movimiento (ecuaci de la cuerda vibrante). on on Vamosa denir un vector a 2 componientes U (Ux , Ut ) por las relaciones siguientes: w w x t 1 w { 2 c t 2

Ux Ut

(5.15)
2

w x

(5.16)

Con estasdeniciones,la relaci n (6.94) se escribo: o Ux Ut + div 2 U = 0 x t Podemosnotar que tenemostambien esosrelaciones: 1 Ux Ut c 1 ( Ux + Ut ) c 1 w w 2 + ) 0 c t x 1 w w 2 ( ) 0 c t x ( (5.17)

= =

(5.18)

Vamos a usar la relaci n (6.96) con la ayuda del teor ma de la divergencia o e en 2 dimensionespara determinar las condicionesde unicidad de soluci de la on ecuaci de la cuerda vibrante. on

Consideramosun punto (P) arbitrario del plano (x, t). A partir de P, dibujamos unas lineas de pendiente 1/c quien cortan en A, B , respectivamente 0 0 0 0 0 A , B , las horizontales t = 0 y t = t > 0. Integramossobreel trap ezio AB B A la divergencianula de U I 0 = AB B 0 A 0 ( U ) ( U | )dl n (5.19)
AB B 0 A 0

donde es la normal exterior al trap ezio de norma igual a la unidad. Sus n componen valen respectivamente: tes

46 sobre AB : (0, 1). sobre B B : (n x , n t ) con n x /n t = 1/c y n t > 0. sobre B A : (0, 1). sobre A A: (n x , n t ) con n x /n t = 1/c y n t > 0. Entonces, tenemos Z Z Z Z 0 = ( Ut )dx + (Ux n x + Ut n t )dl + Ut dx + (Ux n x + Ut n t )dl AB BB0 A 0B 0 A 0A Z Z Z Z 1 1 0 = ( Ut )dx ( Ut )dx + n t ( Ux + Ut )dl + n t ( Ux + Ut )dl AB A 0B 0 BB0 c AA 0 c Multiplicando por T/ 2, podemos ver que los 2 primeros t rminos represen e tan 0 0 la energ calculada respectivamente sobre AB y sobre A B . Desdeentonces, a usando la relaci n (6.97), tenemos o nt T E tot (AB ) E tot (A B ) = 2
0 0 0 0 0 0

1 w w 2 ( ) dl + 0 c t x BB
0 0

Z
AA
0

1 w w 2 + ) dl 0 c t x (5.20) (5.21)

Entonces, tenemos E tot (AB ) E tot (A B ) 0 Suponemos que tenemos sobre AB , w = 0 y w = 0 (y entonces tambien t 0 0 w t x = 0). En consecuencia, enemosE tot (AB ) = 0 y entonces E tot (A B ) = 0. R 0 0 2 2 Dado que tenemos E tot (A B ) = T A 0 B 0 { c1 w + w } dx = 0, eso es 2 2 t x 0 0 posible solamen si w = w = 0 sobre A B . El mismo razonamien se te to t x 0 aplica para todo tiempo t entre 0 y t 0 , es decir que w(x, t) es constante y entonces w = 0 en todo el triangulo P AB . Este resultado nos permite de establecerlas condicionesinitiales necesarias a la resoluci del problema de la cuerda vibrante. on w Consideramos,en efecto, w1 y w2 , dos solucionestal que w1 = w2 y t 1 = w2 on t sobre AB . La diferencia w = w1 w2 es todavia una soluci de la misma ecuaci como la ecuaci es lineal, y esta soluci verica w = 0 y w = 0 on, on on t sobre AB . Entonces, w(x, t) = 0, es decir que w1 (x, t) = w2 (x, t) en todo el triangulo P AB . Eso signica queel dado de w y de w sobre el se gmento AB determina unit vocamente la soluci n w en todo el triangulo P AB . Inversamente, la soluci n o o al punto P (x 0 , t 0 ) es completamentedeterminada por los valores de movimiento w y de velo cidad w sobre el se gmento(x 0 ct0 , x 0 + ct0 ) al tiempo t 0 . Estas dos t funciones (w y w a t = 0) se llaman datos de Cauc hy del problema. Decit mos que la soluci n de la ecuaci n de la cuerda vibrante se obtiene resolviendo o o un problemade Cauchy. Esto es caracterstico de un ecuaci hiperb lica. on o

47 Notas (1) el mismo razonamien seaplica textualmente a los problemascorresponto diente a 2 dimensiones (membrana vibrante ) y a 3 dimensiones. En dimension 2, por ejemplo, la construccion an loga se hace haciendo girar a la gura alrededorde la vertical pasandopor P, el segmen AB va devenir to un disco en el plano t = 0 y PAB es un cono de quien la generatriz tiene una pendiente igual a 1/c . La situaci n esidentica en 3 dimensiones,pero o es mas dicile de visualizar: cono de dimension 4 y que tiene como base una esferade dimension 3, eso es la situaci n encon o trada en relatividad especial. (2) En el contexto de la relatividad (donde la propagaci de la luz es deon 1 2w scrita por una ecuaci de onda 4 w c2 2 = 0, el punto a remarcar on t seria puesto sobre la noci n de causalidad El parametro c en el ecuaci o . on represen la velocidad de propagaci de la informaci n (por ejemplo, una ta on o perturbaci n) a lo largo de la cuerda , la membrana,etc... Como esta veo locidad esnita, la region t > 0 va a dividirse en 3 partes, en comparaci on con el segmen arbitrario AB en el plano t = 0. to

(I) el cono PAB, en cual la soluci es completamen determinada por on te los datos de Cauchy sobre AB. (I I) la regi n CAPBD (cono abierto verso el futuro), en cual la soluci o on es inuenciada por los datos sobre AB pero tambi n por los datos al e exterior de AB. (I I I) la regi n exterior a CABD, quien es causalmen separadasde AB, o te es decir que no es inuenciada por los datos de AB. El existencia de la region I I I que no puede comunicar con AB es una consecuenciadel car cter nito de la velocidad de propagacion de la luz a c: esoesexactemen lo que va diferenciar la relatividad de Einstein de la te relatividad de Galileo. (3) podemos simplicar un poco el c lculo haciendo el cambio de variable a 0 t t = ct

48

5.2.2

ecuaciones parab olicas: condiciones de fron tera

Vamos a tratar unicamen el caso mas sencillo, la ecuaci del calor a una te on dimensi pero tambi n el razonamien es general y se generalizaa cualquier on, e to dimension. Seaentonces w(x, t) una solucion de la ecuaci del calor on 2w 1 w = 0 2 x t (5.22)

Como la constante de difusi n es positiva, podemos cambiarla por el valor o uno, cambiando nada m s la escaladel tiempo. Entonces, vamos a estudiar la a ecuaci on: 2 w w = 0 (5.23) 2 x t Tenemosque distinguir 2 casos: casode una barra de longitud nita. casode una barra innita. Difusi on de la calor en una barra nita Sea AB un segmen de la barra a t = 0, A B el mismo segmen al tiempo to to 0 0 0 t 1 > 0. Asi, AB B A es un rectangulo en el plano (x, t), AA represen la ta 0 historia del punto A y B B , la historia del punto B .
0 0

Vamos a demostrar que la funci n w(x, t), soluci de la ecuaci (5.23)., o on on 0 0 va a alcanzar su m ximo en un punto de la linea A AB B y para probar eso, a vamos a hacer uno razonamien por el absurdo. to Sea: * M el m ximo de w(x, t) en el rect ngulo alcanzadoen el punto (x 0 , t 0 ). a a * m el m ximo de w(x, t) sobre la linea A AB B . a
0 0

49 Suponemos que m < M , es decir que (x 0 , t 0 ) 6 A AB B . Denimos la = funci n: o (x x 0 ) 2 u(x, t) = w(x, t) + (M m) (5.24) 4l 2 donde l es la longitud de AB . Tenemos: * u(x 0 , t 0 ) = w(x 0 , t 0 ) = M * SobreA AB B , como|x x 0 | < l, u(x, t) m+ 1 (M m) < M . La funci n o 4 u va a alcanzar su m ximo en un punto que no seencuen sobrela linea a tra 0 0 0 0 A AB B . Llamamos esto punto (x , t ). Dos casospueden presen tarse: 0 0 0 0 (x , t ) es estrictamente dentro del rect ngulo o (x , t ) se encuen sobre a tra 0 0 A B . (A) 1er caso: u 0 0 (x , t ) x u 0 0 (x , t ) t 2u 0 0 (x , t ) 2 x
0 0 0 0

= =

0 0 0 (5.25)

(B) 2o caso: u 0 0 (x , t ) x u 0 0 (x , t ) t 2u 0 0 (x , t ) 2 x

0 0 0 (5.26)

50

En los dos casos,tenemos 2 u u 2 x t Pero, por denici n, tenemos o (x , t ) 0

0 0

(5.27)

2 u u 2 x t

= = >

2 w w 2 x t (M m) 2l 2 0

(M m) 2l 2

(5.28)

Entonces, hay contradicciones, excepto si M = m, al contrario de nuestra hip tesis. Entonces la funci n w(x, t) alcanza su m ximo sobre la linea o o a 0 0 A AB B . Podemosaplicar el mismo razonamien por la funci n w(x, t), to o quien es todavia una soluci de (5.23) y entonces w(x, t) va a alcanzar on 0 0 su m nimo sobre A AB B , por que minw = max( w). En consecuencia,si w(x, t) = 0 sobre la linea A AB B , w(x, t) = 0 en todo el rect ngulo por que 0 = wmax w(x, t) wmin = 0. a Este resultado va a darnos las condicionesde unicidad de la soluci de la on ecuaci de calor. Seaw1 , w2 , dos solucionesde (5.23), igual sobrela linea on 0 0 0 0 A AB B . Entonces, w = w1 w2 es una soluci nula sobre A AB B y on entonces nula sobre todo el rectangulo, es decir que w1 y w2 coinciden en todo el rectangulo. Desdeentonces, para especicar univocamen la te soluci de la ecuaci de calor para una barra dada AB , se necesita la on on distribucion initial de temperatura w(x, 0) en toda la barra y las valores w(x A , t) y w(x B , t) de la temperatura en las extremidades para todas las valores posible del tiempo. Eso es un ejemplo de condiciones a las fronteras.
0 0

51 Difusi on de la calor en una barra innita En el casode una barra innita, no podemosimponer condicionesa las fronteras. En su lugar, vamosa suponer que la soluci esacotadapara todo tiempo t > 0. on Con este condici n, vamos a demostrar que una soluci de (5.23), nula para o on t = 0, quedaidenticamente nula para todo tiempo t > 0 y por eso,vamosa usar los resultados preceden tes. Seaw(x, t) soluci de (5.23) tal que w(x, t) M y w(x, 0) = 0. Notamos on que x 2 + 2t es tambi n una soluci de (5.23) lo que permite construir nuevas e on 0 0 0 solucionespor combinaci n lineal. Sea(x , t ) un punto arbitrario, con t > 0 y o denimos las solucionessiguientes, en cual > 0 es cualquier n mero positivo: u w (x, t) w(x, t)
0 0

x 2 + 2t x 02 + 2t 0

(5.29)

Constuimos alrededor de (x , t ) un gran rect ngulo L x L y con a 0 t T . Para > 0 dado, podemos siempre escogerL tal que el segundo t rmino en (5.29) seael dominante en x = L . Eso esposible por que el primer e t rmino de (5.29) es limitado por M . e

Asi, para L sucen tamente grande, tenemos * w+ (x, t) 0 sobrela frontera del rectangulo, en particular minw+ (x, t) 0 como el m nimo se alcanza sobre las fronteras (ver secci preceden on te), y entonces, tenemos w+ (x , t ) = w(x , t ) +
0 0 0 0 0 0

min ( x,t ) w+ (x, t) 0

(5.30)

* w (x , t ) 0 sobrela frontera y desdeentonces,de la misma manera que antes, tenemos w (x , t ) = w(x , t ) Al n, tenemos w(x , t )
0 0 0 0 0 0

max( x,t ) w (x, t) 0

(5.31)

(5.32)

52 Como es arbitrario, w(x , t ) = 0 Este resultado nos da la condici n de unicidad de la soluci en el casode o on la barra innita: si dos solucionesacotadas w1 y w2 coinciden a t = 0, ellas van a coincidir para todo tiempo t > 0. Una soluci acotada es, entonces, on univocamen especicadapor la distribucion inicial de temperatura, en el caso te de una barra innita.
0 0

5.2.3

ecuaci de Laplace, funciones armonicas on

Vamos a estudiar la ecuaci de Laplace: on 4h= 0 (5.33)

en 2 o 3 dimensiones. Una funci n de clase C2 , en un dominio abierto y o vericando la ecuaci de Laplaceen estedominio, sellama funci on armonic a on en ( la funci n puede ser discontin ua sobre la frontera ). o Ejemplos de funciones armonicas (A) Parte imaginaria y real de una funci n holomorca. o En dos dimensiones,seaf (z) una funci n holomorca en un dominio o C ' R 2 . Si lo decomponemosen sus parte real y imaginaria, tenemos f (z) f (x, y) = u(x, y) + iv (x, y) (5.34)

El holomorsmo de f signica que u y v satisfacen las ecuacionesde Cauchy-Riemann: u v u v = , = x y y x (5.35)

Podemosvericar inmediatemente que u y v satisfacenlas ecuacionesde Laplace: 4 u = 0, 4 v = 0 (5.36)

eso es decir que u y v son funciones arm nicas en . Hablamos en este o casode par de funciones arm nicas conjugadas o . (B) Seaf (x 1 , ..., x n ) una funci n armonica en R n \ 0, solamen radial, esdecir o te que la funci n f depende solamen del radio r y NO de los ngulos. En o te a estecaso,sepuederesolver explicitamente la ecuaci de Laplace. Usando on la expresi del Laplaciano en coordenadaspolares sobre R n , tenemos on 4 = 2 (n 1) 1 + + 2 n 2 r r r r (5.37)

53 donde n represen el operador diferencial portando solamen sobrelas ta te variables angulares. As` para f ( ) = f (r ), tenemosque resolver la ecuaci siguiente: , x on d2 f (n 1) d f + = 0 dr 2 r dr Denimos
df dr

(5.38)

g(r ), la ecuaci (5.38) se puede reescribir como on

n 1 g r 0 g n 1 + g r d d (ln g) + (n 1) (ln r ) dr dr d ln(r n 1 g) dr ln(r n 1 g) g +

0

= = = = = =

0 0 0 0 constante constante r
( n 1)

(5.39) (5.40) (5.41) (5.42) (5.43) (5.44)

g(r ) Tenemosque distinguir dos casos: (i) n = 2

df dr

= g(r ) =

c r

f (r ) = cln r + d = ln( dr c ) (ii) n > 2

df dr

(5.45)

= g(r ) =

c rn

f (r ) =

c + d r n 2

(5.46)

Entonces, para los dos casosque nos interesan lo mas n = 2, 3, las unicas funcionesarm nicas radial son: o

n= 2 n= 3

f (r ) ln r 1 f (r ) r

(5.47) (5.48)

Condiciones de unicidad de las soluciones de la ecuacion de Laplace Usando la identidad de Green, con f = g = h, tenemos div(h h) = h4 h + k hk2 (5.49)

54 Sea un dominio en cual h es arm nica, es decir 4 h = 0. Entonces, o tenemos,usando el teorema de la divergencia: Z Z Z Z Z Z Z Z h div( h h) = h d = k hk2 d (5.50) n h donde n ( h| ) es la derivad normal de h(es decir que es la componente n normal (exterior) de h sobre la supercie . De (5.50), podemosencon trar las condiciones de unicidad de la soluci de la ecuaci de Laplace, usando on on siempre el mismo razonamien to: (i) h = 0 sobr e : por ecuaci (5.50), h = 0 en , es decir que h es on una funci n constante en y en consecuencia,h = 0. Desdeentonces, si o h1 = h2 sobre , h1 h2 es arm nica en y nula sobre , y entonces o es nula en todo , es decir que h1 = h2 . Entonces, h arm nica en es o univocamen determinada por sus valores sobre la frontera . te = 0 sobr e : de la misma manera, usando (5.50), h es constante sobre . Entonces, si h 1 = h 2 sobre , tenemos h1 = h2 +constante n n en . Eso signica que h es determinado a una constante cerca por las valores de su derivada normal a la frontera .
h n

(ii)

h (iii) h = 0 sobr e una parte de , n = 0 sobr e la parte complementaria. : por el mismo razonamien h = 0 en , y entonces h es univocato, h mente determinada por el dato de h sobre una parte de y de n sobre su complemen taria.

5.3
5.3.1

Propiedades de las funciones armonicas

Primera propiedad

Si h es armonic a, el ujo de h a tr av s de una supercie cerr ada e es nula Provar: Sea h arm nica en , integrando 4 h = 0 en y usando el teorema de la o divergencia,tenemos Z Z Z Z Z h div( gr adh)d = d= 0 (5.51) n

5.3.2

Segunda propiedad

Tenemos h(P ) = < h > P ( R ) , es decir que el valor de h en un punto P es la media aritm tic a de sus valor es sobr e una cualquier esfer a e P (R) centr ada en P (y contenida en el dominio de armonicidad de h. Provar:

55 Seah arm nica en y P , sea P (R), la esferade radio R y de centro o P, contenida a dentro de

Vamosa aplicar la identidad de Green al volumen , comprendido entre S y P (R); entonces, tenemos = P (R). La normal exterior a es la normal exterior a y es la normal interior a P (R), (lo que va a darnos un cambio de signo). Ademas, si usamoslas coordenadaspolares (r, , ) centrada en P , tenemos sobre P (R), n r . Aplicando la identidad de Green a , con f = 1/ (4r ) y g = h,(estas dos tenemos funcionesson arm nicas sobre ), o Z Z {
P (R )

1 h 1 h ( )} d = 4r r 4r r

Z Z {

1 h 1 h ( )} d (5.52) 4r n 4r n

Por el miembro izquierdo, tenemos 1 h d = r P ( R ) 4r Z Z 1 h ( )d = r P ( R ) 4r = = Entonces, tenemos Z Z < h > P (R ) =

Z Z

1 4R Z Z

Z Z
P (R)

h d= 0 r

1 h d 2 P ( R ) 4r Z Z 1 hd 4R 2 P (R) (5.53)

< h > P (R)

{ ...} d

(5.54)

donde el miembro derec de este ecuaci es independiente de R. Entonces, ho on < h > P ( R ) esindependiente de R y esigual a su l mite por R 0, esoesdecir < h > P ( R ) es igual al valor de h al punto P como h es contin ua en P . Nota: Podemos demostrar la misma propiedad en dimension 2 usando la funci n arm nica radial apropriada (es decir ln r ). o o

56

5.3.3

Tercera propiedad

Una funci on h, armonic a en alcanza su m aximo sobr e . Provar: Este propiedad sedemuestra usandola propiedad preceden y sedemuestra te por el absurdo. Sea h arm nica en y suponemosque h alcanza su m ximo en un punto o a P estrictamente a dentro de . Consideramosuna esfera centrada en P y inscrita en . SeaQ el punto de contacto entre y , tenemosentonces \ 0 0 h(P ) h(P ), P (5.55) y en particular h(P ) h(Q). Eso es en contradicci con la propiedad preceon 0 dente por queh(P ) deberia serla media de todasla valoresh(P , h(Q). Entonces P tiene que estar sobre , es decir que P = Q.

Como h estambien arm nica, min h max ( h) estambi n alcanzado o e sobre . Eso permite de encon trar de nuevo la primera condici n de unicidad o a saber si h = 0 sobre , h = 0 en todo . Otra consecuencia esta propiedad es que una funci n arm nica radial es de o o necesariamen monot na. te o

57

5.4
5.4.1

Ecuacion de Poisson y funciones de Green del Laplaciano

No ci n de funcion de Green o

En un sistemade coordenadaspolarescentrada en P , tenemosde las propiedades preceden la represen on siguiente para la funci n h, arm nica en : tes, taci o o Z Z h(P ) = Z Z =
( R )

{h {h

1 4r r 1 4r

1 4r 1 4r

h } d r h } d n
0

(5.56) (5.57)

En cualquier coordenadas, si es la posici del punto P y x el punto x on 0 |. corriendo, tenemosr = | x x Si denimos 1 1 0 G0 ( , ) x x = 4r 4| 0 | x x Las relaciones(5.57) se escriben h( ) x Z Z = = 0 G0 ( , 0 ) x x 0 h 0 { h( x ) G0 ( , ) ( )} d (5.59) x x x n n ( R ) Z Z 0 0 G0 ( x , x ) G ( , 0 ) h ( 0 )} d (5.60) { h( ) x x 0 x x n n (5.58)

Si estambi n una esferacentrada en P ( , el segundot rmino en el mieme x e bro derec esc ro (usando la primera propiedad de las funcionesarm nicas) y ho e o obtenemosbien el valor de h( ) a partir de la valores de h sobre . x Z Z h(x) =
( R )

h( ) x
0

0 G0 ( , ) x x n

(5.61)

Pero, eso es tambi n posible para otro tip o de supercie . En hecho, e 0 la funci n G0 (x, x ), bien adaptada a una esfera centrada en x, no lo es para o cualquier otra supercie . En este caso,vamos a substituir G0 por una otra 0 0 funci n G(x, x ), nula para x pero tal que la relaci n (5.61) queda v lida o o a si integramos sobre en lugar de ( R).

58 Por eso, denimos G, l lamada funci on de Gr een del Laplaciano sobr e , como una funci on que veric a los dos condiciones siguientes: (i) G(x, x ) = G0 (x, x ) + K (x ) dondeK esuna funci n armonica (y entonces o contin ua) sobre todo , incluido en P . (ii) G(x, x )|x 0 = 0 Con esta denici n, podemossiempreescribir la funci n h(x) en t rminos de o o e sus valores sobre la frontera y de la funci n de Green del Laplaciano sobre o : Z Z h(x) =

0 0 0 0

h(x )

G(x, x ) d n

(5.62)

La unicidad de G esevidente: K esarm nica en y su valor sobrela frontera o es ja: K | = G0 | . Entonces, K es univocamen determinada en . te 0 Notamos que por la denici n misma, la funci n de Green G(x, x ) tiene en o o 0 0 el punto x = x , la misma singularidad que G0 (x, x ).

Notas: Podemos tambi n intro ducir una otra funci n de Green que satisface la e o relaci n siguiente: o GN | = 0 (5.63) n Si G| = 0, decimos que G satisface una condici on de Dirichlet ; si GN n | = 0, decimosque G satisfaceuna condici on de Neumann. ejemplos (a) = ( R 1 ), una esferacentrada en P y de radio R 1 , G= (b) = R 3 y = esferaal innito: G= K 1 4r (5.65) 1 1 4R 1 4r (5.64)

Al innito, G| = K | = 0, K es entonces una funci n arm nica en o o todo R 3 , nula al innito, y en consecuencia,K 0 por la propiedad del m ximo. Entonces, tenemos a GR 3 = G0 = 1 4r (5.66)

59 (c) casogeneral: en todoslos otros casos,la funci n de GreenG del laplaciano tiene queser o calculada expl citamente, lo que es, muchas veces,muy dif cil. Notamos que las dos propiedadesque sirven a denir la funci n de Green implican o 4 G (x, x ) G (x, x )
0 0

= =

0 para x 6 x = 0 para x
0

(5.67) (5.68)

lo que explica que G es relacionada al mismo tiempo al Laplaciano e al dominio . Una noci n analoga puede denirse por otros operadores o diferenciales.

5.4.2

Ecuacion de Poisson en R 3

Seala ecuaci de Poissonen R 3 , on (5.69) | . donde es una funci n decreciendosucientemente rapida para | x o Vamos a vericar que la funci n o 1 f ( ) = x 4 Z
R3

4f =

0 0 ( x ) dx 0| |x x

(5.70)

es una soluci de (5.69). La soluci general es obtenida adicionando una on on funci n arm nica arbitraria denida sobre R 3 . o o Como 4 f = div ( gr adf ), vamos a evaluar el gradiente de f : Z 1 1 0 0 gr adf ( ) = x d ( ) gr adx x x (5.71) 4 R 3 | 0 | x x Sea cualquier volumen acotado, usando el teorema de la divergencia,tenemos Z 4 f d3 x

Z = Z = = =

div ( gr adf )dx

(5.72) (5.73) 1 0| |x x (5.74) (5.75)

f d (x) n Z Z 0 1 0 d(x) dx ( ) x 4 n R3 Z 0 0 0 1 dx ( )( ) x x 4 R 3

0 con ( ), el ujo a trav s de del vector gr ad | 1 0 | x e x x 0 ( ) = x Z d(x)

1 | 0 | x x

(5.76)

60 Usando las propiedadesde las funcionesarm nicas, podemosfacilmente ver o 0 0 0 0 que (x ) = 0 si x no pertenecea y (x ) = 4 si x .

Provar: 0 Si x no pertenecea , esosignica que la funci n |x 1x 0 | es arm nica sobre o o , entonces, el ujo de su gradiente a trav s de es nulo. e 0 0 Si x , en tal caso,(x ) = 4

Aplicamos la primera propiedad de las funciones arm nicas sobre el voluo men comprendido entre y ( R). Sobre este volumen, la funci n |x 1x 0 | es o arm nica. Entonces, tenemos o Z (x )
0

= =

(x )

= =

1 |x x 0 | Z 00 1 d(x ) 00 r |x x 0 | ( R ) Z 00 1 d(x ) r r ( R ) 1 4R 2 2 = 4 R d(x)

(5.77) (5.78) (5.79) (5.80)

Finalmente, tenemos Z 4 f d3 x

= =

Z 0 0 0 1 d3 x (x )(x ) 4 R 3 Z 0 0 d3 x (x )

(5.81) (5.82)

Como es cualquier, tenemos4 f = .

61 Tambi n podemos resolver la ecuaci de Poisson directamente usando la e on transformada de Fourier. Aplicandola sobre los dos miembros de 4 f = , tenemos X3
i =1

ki2 fb = fb =

b P 1
3 i =1

(5.83) = g b bb (5.84)

ki2

donde g es la transformada de Fourier inversa de 1/k 2 . Usando el teorema de convoluci n, (sobre R 3 , el teorema de convoluci n nos o o dice:fd g = ( 2) 3 fbb), tenemos g f = 1 g (2) 3/ 2 (5.85)

1 Usandoel hecho que d1 = (2 ) 3 / 2 k12 (ver transformada de Fourier del potencial 4r de Yukawa (con l mite m 0), obtenemospara la funci n f : o

= =

1 4r Z 0 1 3 0 1 d x (x ) 4 |x x 0 | R3

(5.86) (5.87)

5.4.3

Ecuacion de Poisson en un dominio

En el casode R 3 , la soluci de la ecuaci de Poissones dada por la funci n on on o 0 1 de Green G0 ( , ) = 4| 0 | del laplaciano: x x x x f ( ) = x Z
R3
0 0 0 d3 x G0 ( , )( ) x x x

(5.88)

De otro lado, una funci n arm nica en un dominio es dada en funci n o o o de sus valores sobre , usando la funci n de Green G . Esos dos resultados o pueden combinarse, eso signica que podemos escribir la soluci de Poisson on 4 f = en en funci n de sus valores sobre y de la funci n de Green G . o o Para probar eso,es suciente de partir de la identidad de Green cambiando

62 h por la funci n f que buscamos: o

Como anteriormente, empenzamoscon la identidad de Green sobre el volue men y con las funcionesf y G . Z
e

Z (f 4 G G 4 f ) =

G f G d n n Z G f f G d r r ( R ) f

(5.89)

e En el miembro de izquierda, 4 G = 0 por que G es arm nica en y o 4 f = . En el miembro de derec G = 0 sobre y ha, Z G lim f d= f ( ) x R 0 ( R ) r

(5.90)

Tambi n, podemos f cilmente calcular el segundo termino de la segunda e a integral: Z

R 0

lim

f G d = r ( R ) =

Z f ( ) x 1 lim + K d (5.91) r R 0 ( R ) 4r f ( ) x 1 lim + K ( ) 4R 2 = 0 (5.92) x r R 0 4R

por que K y f ( ) = x

f r

son contin uas en . Entonces, nos quedamoscon x

0 0 0 ( )G ( , )d3 x + x x x

0 0 G ( x , x ) d f ( ) x n

(5.93)

Notamos que la soluci (5.93) puede escribirse como f = f 1 + f 2 donde on 4 f 1 = y f 1 = 0 sobre , y donde 4 f 2 = 0 y f 2 toma sobre las valores

63 prescritas. Esta soluci contiene todos los otros casospreceden como casosparticon tes ulares: para = 0, la soluci (5.93) se reduce a ecuaci (5.62). on on si imponemosf = 0 sobre , obtenemosf = f 1 . en el caso = R 3 , encon tramos la ecuaci (5.70) y GR 3 = G0 on G |( n
)

G0 |( r

= lim
R

1 = 0 4R 2

(5.94)

En conclusi si conocemosla funci n de Green G del Laplaciano en la on, o regi n , podemosresolver la ecuaci de Poisson4 f = para cualquier tero on mino no-homogeneo y los valores prescritos de f sobre . Desafortunadamente, G es en general muy dif de calcular. cil

64

Capitulo 6

Resolucion de las ecuaciones

En el captulo anterior, vimos que las ecuacionesderivadasparcialesde la f sica cl sica (lineales y de orden m ximo 2) se reparten en 3 clases: h a a perbolica, parab lica y el o ptica. Los prototip os de cada clase son respectivamente la ecuaci de ondas, de calor y de Laplace. Establecemosen el captulo anteon rior la naturaleza de los datos necesariospara especicar, en cada caso, una soluci unica (condiciones iniciales, condicionesa la frontera). Nos queda a on construir explicitamente estassoluciones. El met do general que vamos a usar o es el m t do de la separ acion de variables . Como ya lo hicimos por eo la ecuaci de calor, tenemos que distinguir dos casos: sistemas acotados y on sistemasinnitos. En efecto, los fen meno f o sicoscorrespondientes son de naturaleza fundamentalemente diferentes y eso va a reproducirse en las t cnicas e matem ticas usadas: serie de Fourier en el caso acotado e integral de Fourier a en el casoinnito.

6.1
6.1.1

Sistemas acotados
Caso hip erbolico: la cuerda vibran te

Seauna cuerda vibrante de longitud l, ja a sus dos extremidades. Esto problema es descrito por la ecuaci on: 2w 1 2w 2 2 = 0 2 x c t con condicionesa la frontera: w(0, t) = w(l, t) = 0 t 65 (6.2) (6.1)

66 Vamosa aplicar el met do de separaci de variable. Por eso,buscamosprimero, o on las solucionesparticulares de la forma: w(x, t) = u(x)f (t) (6.3)

que verica las condiciones a la frontera (6.2). Esto va a permitir dividir la ecuaci derivada parcial inicial en dos ecuacionesdiferencialesordinarias, una on en u, la otra en f . En efecto, usando (6.3) en (6.1), obtenemos
00 0 1 u(x)f (t) 2 c 00 u (x) u(x)

u (x)f (t)

= =

0 1 f (t) c2 f (t)
00

(6.4)

El miembro de izquierda depende solamen de x y el de derec solamen te ho te de t. Como las dos variables x y t son independiente, la igualdad (6.4) es solamen posible si los dos miembros son iguales a una misma constante que te llamamos k 2 . La ecuaci (6.1) es entonces equivalente a los dos ecuaciones: on u (x) + k 2 u(x) f (t) + (kc) f (t) La soluci general de (6.5) es on u(x) = A sin kx + B coskx Aplicando las C.F (6.2) que se aplica solamen sobre u(x) te w(0, t) = 0 w(l, t) = 0 u(0) = 0 B = 0 n u(l) = 0 k = n = 1, 2, ... l (6.7)
00 00

= =

0 0

(6.5) (6.6)

Entonces, hay una innidad de solucionesposibles, correspondientes a los valores sucesiv kn = n/l . Por estosvalores, las solucionescorrespondientes os de (6.6) se escriben: f n (t) = A n sin n t + B n cosn t (6.8)

con n kn c = n c . Combinando (6.7) y (6.8), obtenemosuna innidad de l solucionesfactorizadas: wn (x, t) = (A n sin n t + B n cosn t) sin kn x (6.9)

Las soluciones(6.9) sonllamadasondas estacionarias por que ellasdescriben movimientos en cualestodoslos puntos x vibran en fase;la conguraci tomada on por la cuerda vibrante no se propaga, la conguraci es estacionaria. Estas on ondas estacionarias juegan el mismo papel que los modos normales para un

67 sistema a un n mero nito de grados de lib ertad. Asi la soluci general de u on (6.1) es una superposici lineal arbitraria de ondas estacionarias: on
X

w(x, t) =
n =1

(A n sin n t + B n cosn t) sin kn x

(6.10)

Notas Escogimosuna constante negativa k 2 , en (6.4). Si tomamos una constante positiva (por ejemplo, + k 2 ), no podemos satisfacer las C.F. En esto caso, la ecuaci (6.5) es igual a: on 00 u (x) k 2 u(x) = 0 (6.11) Y la soluci de tal ecuaci es on on u(x) = Aek x + B e k x (6.12)

La C.F. u(0) = 0 implica A + B = 0, es decir que u(x) = csinh(kx) y la C.F. u(l) = 0 es imposible a satisfacer, como sinh (kl) = 0 solamen si k = 0. te El mismo razonamien permite el excluir tambi n una valor compleja de la to e constante. Regresamosa la soluci general (6.10). Aplicando lo que vimos en el on captulo anterior, la soluci unica esdeterminada por las condicionesde Cauchy on w(x, 0) = g(x) y w (x, 0) = h(x). Usando (6.10), obtenemos t
X

w(x, 0) w (x, 0) t

=
n =1 X

B n sin kn x = g(x) A n n sin kn x = h(x)

n =1

(6.13) (6.14)

Entonces,los coecientes A n y B n puedenser obtenidos univocamen como te coecientes de Fourier de g(x), respect. h(x). Claro, tenemosque suponer que h y g son funcionesque pueden escribirseen t rminos de serie de Fourier sobre e el intervalo [0, l]. Podemosremarcar que en t rmino de espaciode Hilb ert, todo este proceso e toma una signicaci muy sencilla: las ondasestacionariaswn (x, t) constituyen on una baseortonormal. La soluci (6.10) es un vector arbitrario del espaciode on Hilb ert correspondiente y las condiciones iniciales (6.13,6.14) determinan un vector unico de esto espacio,que es soluci del problema. on En resumen,el m t do de separaci de variable tiene los 3 etapassiguientes: eo on (1) buscar las ondas estacionarias,es decir las solucionesfactorizadas vericando las C.F. (2) escribir la soluci general (6.10) on (3) determinar la soluci unica correspondiente a las condicionesiniciales o on fronteras dadas.

68

6.1.2

Caso parabolico: difusion del calor

2w 1 w = 0 2 x t

Aplicamos el mismo m t do a la ecuaci de calor: eo on (6.15)

describiendola difusion de calor sobre una barra de longitud l. Como visto en el captulo anterior, la soluci va a estar determinada univocamen por los on te datos siguientes: la temperatura a las extremidades: w(0, t) = 0, w(l, t) = 0 t la distribucion inicial de temperatura. w(x, 0) = h(x) (6.17) (6.16)

Si queremosuna soluci contin ua en x y t, tenemosque imponer que esas on condicionesseancompatibles, es decir que h(0) = h(l) = 0 (6.18)

Como antes, vamos a buscar una soluci factorizada w(x, t) = u(x)f (t) verion cando las C.F. de (6.16), es decir u(o) = u(l) = 0. Usando esta soluci en on (6.15), obtenemos 00 0 u (x) 1 f (t) = = k2 (6.19) u(x) f (t) lo que da las ecuaciones: u (x) + k 2 u(x) f (t) + k f (t) La soluci de (6.20) vericando las C.F. es on u(x) = C sin kn x con kn = n , n = 1, 2, 3, ... l (6.22)
0 00

= =

0 0

(6.20) (6.21)

Cuando a la ecuaci (6.21), ella tiene por soluci on on: f (t) = e k n t

2

(6.23)

Podemosnotar que de nuevo aqu tenemosque tomar k 2 < 0, por que de otra manera con una constante positiva, no podemossatisfacer las C.F. La soluci general vericando las C.F (6.21) se escribe entonces como: on
X

w(x, t) =
n =1

cn sin kn x e k n t

(6.24)

69 Imp oniendo a (6.24), la condici n inicial, tenemos o

X

w(x, 0) = h(x) =
n =1

cn sin kn x

(6.25)

esdecir que los cn son determinadosunivocamen como coecientes de Fourier te de h. Nos queda a estudiar el casode C.F. generales,por ejemplo w(0, t) = T0 y w(l, t) = T1 . Seaw0 (x, t) la soluci generalcorrespondiente a los C.F. homogeon neas: w0 (0, t) = 0 = w0 (l, t). Pero, tambi n una funci n lineal w1 (x, t) = ax + b e o es soluci de la ecuaci de calor. Entonces, vamos a tomar como soluci on on on general, la funci n w(x, t) denida como siguiente: o w(x, t) = ax + b+ w0 (x, t) Imp oniendo las C.F., obtenemos T0 T1 lo que nalmente da, w(x, t) = (T1 T0 ) x + T0 + w0 (x, t) l (6.29) = = b al + b (6.27) (6.28) (6.26)

En lo que concierne a la condici n inicial, si w(x, 0) = h(x), tenemos que imo poner a w0 la condici n inicial siguiente: o w0 (x, 0) = h(x) (T1 T0 ) y proceder como antes. x T0 l (6.30)

6.1.3

Caso el ptico: ecuaci de Laplace on

Usando siempre el mismo m t do, vamos a estudiar la ecuaci de Laplace a eo on dos dimensiones: 2w 2w 4 2w = + = 0 (6.31) 2 x 2 y en un rect ngulo 0 x a, 0 y b. Como visto al captulo anterior, una a soluci de la ecuaci de Laplace es univocamen determinada al interior del on on te rect ngulo por el dado de w sobre la frontera. a La ecuaci (6.31) esta descibiendopor ejemplo un potencial electrost on atico determinado por el potencial sobre la frontera, o una distribucion estacionaria de temperatura correspondiente a una distribucion dada sobre la frontera. Imp onemoslas C.F. siguientes: w(0, y) = w(a, y) = w(x, b) = 0 f (x) (6.32) (6.33)

w(x, 0) =

70 (excepto si f (0) = f (a), w(x, y) es discontin ua sobre la frontera, lo que no impide a la soluci de ser arm nica al interior del rect ngulo). on o a Separamoslas variables, buscandouna soluci de la forma on w(x, y) = u(x)v(y) Obtenemos u (x) v (y) = = k2 u(x) v(y) lo que da las dos ecuacionessiguientes con las C.F. correspondientes: u (x) + k 2 u(x) = 0 , v (y) k v(y) = 0 , La soluci de (6.36) es on un (x) = sin kn x, kn = n/a (n = 1, 2, ...) Cuanto a (6.37), obtenemos vn (y) = Aek n y + B e k n y Imp oniendo las C.F., obtenemos vn (b) B Y entonces, tenemos vn (y) = = Aek n b(ek n ( y b) e k n ( y b) ) C sinh kn (b y) (6.42) (6.43) = = Aek n b + B e k n b = 0 Ae2k n b (6.40) (6.41) (6.39) (6.38)
00 00 00 00

(6.34)

(6.35)

u(0) = u(a) = 0 v(b) = 0

(6.36) (6.37)

Entonces,la soluci generalde (6.31) vericando las C.F (6.32) va a escribirse on como: X w(x, y) = cn sinh(kn (b y)) sin kn x (6.44)
n =1

Imp oniendo (6.33), obtenemos

X

w(x, 0) = f (x) =
n =1

cn sinh kn bsin kn x

(6.45)

es decir que cn es igual al nieme coeciente de Fourier de f (x) dividido por sinh kn b.

71

6.1.4

Resolucion general de la ecuaci de las ondas on

Antes de acabar estesecci vamosa considerarel casode la ecuaci de ondas on, on en general, que es de tip o hiperb lico: o 1 2w = 0, w w( , t). x c2 2 t Separamoslas variables w( , t) = u( )f (t), lo que da x x 4 w 4u 1f = 2 = k 2 , con k C u c f Tenemosdos ecuaciones 4 u + k2u f
00 00

(6.46)

(6.47)

= =

0 ( ec. de Helmholtz) 0

(6.48) (6.49)

+ kc f

La ecuaci (6.49) tiene por soluci on on: f (t) = ei t f (0), w = kc C (6.50)

Esta soluci represen una onda ordinaria si k esreal, una onda amortida si k on ta tiene una parte imaginaria: k = k1 + ik 2 , da en efecto, f (t) = eik 1 ct e k 2 ct f (0). Nos limitamos en las proximas seccionesen el caso k real en la ecuaci on de Helmholtz (6.48), que es una ecuaci de tip o el on ptico, cuando la ecuaci on inicial estaba hiperb lica. o Vamos a estudiar varios casos: (1) en dimensi on 1 u + k2 u = 0
00

(6.51)

Esta ecuaci es del mismo tip o que lo que estudiamosen la secci anon on terior en detalles. (2) en dimensi on 2 o 3, en coor denadas cartesianas. 2u 2u + + k 2 u = 0, u u(x, y) 2 x 2 y Poniendo u(x, y) = X (x)Y (y), obtenemos X Y + + k2 = 0 X Y Vamos a escribir XX = p2 , las dos ecuacionesid nticas: e X
00 00 00

(6.52)

(6.53)

Y Y
00 00

00

= q2 con k 2 = p2 + q2 , lo que nos da = = 0 0 (6.54) (6.55)

+ p2 X
2

Y + qY

Y el problema se vuelve a un problema de dimensi 1. El an lisis es on a id ntico en tres dimensiones. e

72 (3) en dimensi on 2, en coor denadas polar es. Usando la expresi del laplaciano 4 on ecuaci de Helmholtz se escribe on
2

en coordenadaspolares (r, ), la

2u 1 u 1 2u + + 2 2 + k 2 u = 0, u u(r, ) 2 r r r r Como siempre, escribimosu(r, ) = R(r )(), y obtenemos R + Y entonces, r2

00 00

(6.56)

R R 00 + 2 + k 2 R = 0 r r
0 00

(6.57)

R R + r + k2r 2 = = m2 R R lo que da las dos ecuacionessiguientes: + m2 = R +

00 00

(6.58)

0 0

(6.59) (6.60)

R m + (k 2 2 )R r r

La ecuaci (6.59) tiene como soluci () = eim pero necesita de on on restringirse a valores de m enteras para obtener una soluci unievaluada on por que, como es un ngulo, tenemos que imponer una condici n de a o periodicidad: ( + 2) = () m Z (6.61) Cuando a la ecuaci (6.60), que se llama ecuacion de Bessel tiene on como soluci las funciones de Besselque son funciones transcendan on tes generalizandolas funcionestrigonom tricas. Vamosa estudiarlas con m s e a detalle en los pr ximos captulos. o Sin embargo, la ecuaci (6.60) puede resolversede manera elemen en on tal el casok = 0, es decir en el casode la ecuaci de Laplace. En efecto, en on este caso,la ecuaci (6.60) se reduce a la ecuaci siguiente: on on R R R + m2 2 = 0 r r
00 0

(6.62)

Esta ecuaci eshomogeneaen r y entoncesadmite solucionesde la forma on R(r ) = r . En efecto, tenemospara m 6 m = ( 1) + m 2 r 2 = 0 (6.63)

es decir que = m. En el caso m = 0, nos quedamoscon la ecuaci on 00 0 R + R /r = 0 que tiene como soluci R(r ) = c + d ln r . on Reunicando todos esosresultados, obtenemosla soluci general de la on ecuaci de Laplace en dimensi 2: on on

73

u(r, ) = D ln r +
m =0

(A m r m + B m r m )( Cm eim + D m e im )

(6.64)

Las diferentes constantes van a depender del problema sobre estudio. En general, tenemosque distinguir 3 casos (i) problema interior: 0 r r 0 . En este caso, el origen r = 0 hace parte del dominio consideradoy tenemos que exclu las solucionessingulares al origen, es decir que r tenemosque imponer D = 0, B m = 0 m 0. Nos quedamoscon:
X

uint (r, ) =
m =0

A m r m eim + A m r m e im

o (6.65)

lo que puedetodav escribirse,intro duciendo la notaci n z = r ei y a o z = r e i , o X n 0 uint (z, z) = A m zm + A m zm (6.66)

m =0

Si, adem imponemosa la soluci de ser real (A m = A m ), obtenas, on emos, ! X m uint (z, z) = 2Re Am z (6.67)
m =0

lo que comprueba muy bien que tenemos una funci n arm nica. Y o o esta soluci esdeterminada univocamen por susvaloresa la fronon te tera r = r 0 : uint (r 0 , ) = f () (6.68) lo que da
X

f () =
m =0
0

m r0

A m eim + A m e im

o (6.69)

Los coecientes A m , A m son entonces determinados univocamen a te partir de los coecientes de Fourier de f (). (ii) problema exterior: r 0 r En esto caso,tenemosque excluir los t rminos que divergeal innito, e lo que da D = A m = 0 m 1
X

uext (r, ) =
m =0

r m B m eim + B m e im

(6.70)

lo dem de la discussi es an loga al casopreceden as on a te.

74 (iii) problemas intermediarios 0 < r 1 r r 2 < En estecaso,tenemosque guardar todas las constantes en la soluci on general. La soluci esuna funci n arm nica en el anillo r 1 r r 2 on o o univocamen determinada por las C.F. te u(r 1 , ) u(r 2 , ) = = f 1 () f 2 () (6.71) (6.72)

Por ejemplo, si tomamos el caso a simetr axial, tenemos f 1 () = a constante y f 2 () = constante y el unico t rmino de la soluci gen e on eral que sobrevive a las C.F. es el t rmino m = 0: e uint (r ) = C + D ln r (6.73) con C + D ln r 1 = f 1 , C + D ln r 2 = f 2 , lo que determina C y D . (3) en dimensi on 3, en coor denadas esf ric as. e El analisis essimilar. Expresando4 3 en coordenadasesfericas(r, , ), la ecuaci de Helmholtz va a escribirsecomo: on 2u 2 u 1 + + 2 , u + k 2 u = 0 (6.74) 2 r r r r donde , es el operador diferencial en y . Separandolas variables u(r, , ) = R(r )Y (, ), tenemos R , Y r + 2r + k2r 2 = = l(l + 1) R R Y Obtenemosentonces las dos ecuacionessiguientes:
2R
00 0

(6.75)

, Y + l(l + 1)Y = 0 (6.76) 2 l(l + 1) R + R + (k 2 )R = 0 (6.77) r r2 La ecuaci (6.76) admite solucionesregulares en el caso l = 0, 1, 2, ... on (es la raz n po la cual llamamos l(l + 1) la constante de separaci o on). Estas soluciones, llamadas armonic as esf ric as van a ser estudiadas e mas tarde. Cuanto a la ecuaci (6.77), es de nuevo una ecuaci de on on Bessel.
00 0

Aqu tambi n podemosescribir la soluci solamen en el casok = 0, es , e on te decir de Laplace. 2 0 l(l + 1) R R r r2 2 R = r { ( 1) + 2 l(l + 1)} r ( 1) R +
00

= = = o ,

0 0 l(l + 1) = (l + 1) l = 0, 1, 2, ...

= l R l (r ) = A l r + B l r
l ( l +1)

Lo dem asdel an lisis esid ntica al casopreceden y tambi n aqu tenemos a e te e que distinguir entre problemas interiores, exteriores y intermediarios.

75

6.2
6.2.1

Sistemas no acotados
Propagacion de una onda sin o con disp ersi on

Las diferentes ecuacionesderivadas parciales que clasicamos anteriormente pueden escribirsesobre la forma general: L ( n ) w + L ( n 1) w + ... + L (0) w = 0 (6.78)

dondeL ( k ) es el conjunto de los t rminos conteniendo las derivadas de orden k e en las variables t, x, y, .... Vamos a limitarnos al caso unidimensional y a las ecuacionesde orden al m ximo igual a 2 pero el argumento es general. a Llamamos ondas pr ogresivas , una soluci de la ecuaci (6.78) de forma on on w(x, t) = f (x vt), donde v es una constante. Ella represen una onda que se ta propaga a lo largo de x, con velocidad v, sin cambiar de forma. La pregunta es de saber cuando la ecuaci (6.78) admite tal soluci Notando que w = on on. x 0 0 f (x vt) y que w = vf (x vt), vemosque (6.78) implica: t Pn (v)f
(n )

+ Pn 1 (v)f

( n 1)

+ ... + P0 (v)f = 0

(6.79)

donde Pk (v) es un polinomio de orden k en v. Dos casospueden presen tarse: (i) un solo t rmino (6.79) no es iden ticamen te cero. e Entonces (6.79) se escribe como Pk (v)f
(k)

(x vt) = 0

(6.80)

Si la ecuaci Pk (v) = 0 admite una ra v0 , entoncesf (x v0 t) essoluci on z on de (6.78)., por cualquier funci n f . La onda se propaga entonces a la o velocidad v0 , independientemente de su forma. En tal caso,hablamos de pr opagacion sin disp ersion . ejemplo: la cuerda vibrante 2w 1 2w 2 2 = 0 2 x c t Poniendo w(x, t) = f (x vt), obtenemos (1 v2 )f c2
00

(6.81)

= 0

(6.82)

Entonces, v = c son las raices buscadas y la soluci general de la on ecuaci de la cuerda vibrante es entonces, on w(x, t) = f 1 (x ct) + f 2 (x + ct) (6.83)

El primer t rmino represen una onda x propag e ta andoseversoa la derec ha con velocidad c, el segundo,una onda propagandoseverso a la izquierda con la misma velocidad, en los dos casossin deformaci on.

76 Es dAlembert (1746) quien fue el primero a encon trar esta soluci Tal on. soluci es univocamen determinada por sus datos de Cauchy: on te w(x, 0) w t h(x) = f 1 (x) + f 2 (x) g(x) = c(f 1 (x) f 2 (x))
0 0

(6.84) (6.85)

Estas dos relacionespermiten determinar f 1 and f 2 en funci n de h(x) y o Rx g(x)dx. (ii) hay varios t rminos de (6.78) no-iden ticamen te nulos. e Entonces, hay varios polinomios Pk (v) no-cero en (6.79). Para v jo, esta relaci n diferencial ordinaria en f , a coecientes constante. La soluci de o on tal ecuaci es una superposici de exponencialescomplejas: la onda es on on sinusoidal amortida, y la velocidad de propagaci dependede la longitud on de onda. Vamos a decir que en este caso,hay pr opagacion con disp ersion , por que la onda se deforma cuando se mueve. ejemplo: la ecuaci de calor: on 2w 1 w = 0 2 x t Una soluci sinusoidal es una soluci de la forma: on on w(x, t) = ei ( k x t ) (6.87) (6.86)

donde = (k) represen la frecuenciay w/k = v, la velocidad. Usando ta esta expresi en la ecuaci de calor, tenemos on on k2 + i = 0 o (k) = i k 2 (6.88)

2 p lo que da k = 2 (1 + i ) por que 1+2i = i (vamos a suponer que la frecuenciaes real). Las solucionesrealesson entonces:

f + (x) f (x) 1 L

= = =

x e x/L cos( t + ) L x e x/L cos( + t + ) L r 2

(6.89) (6.90) (6.91)

donde esuna fasearbitraria. La soluci f + esuna onda que sepropaga on verso x = + , f se propaga verso x = y las dos ondas son amorq
2 tidas exponencialemen La cantidad L = te. se llama profundidad de penetraci n: ella esta mediando la distancia al n de la cual la amplitud o

77 a decrecidade un factor e, esta distancia cambia como la raiz inversa de la frecuencia. Eso signica que las ondas de alta frecuencia son menos amortidas que las ondasde alta frecuencia. Eso seaplica por ejemplo a la penetraci de ondast rmicasen el suelo: las variacionesanualesde temon e peratura penetran a una profundidad m s o menos20 vecesm s grande a a que las variacionesdiurnas de temperatura.

6.2.2

Ejemplo de fen meno de disp ersi o on

El ejemplo t pico de fen meno de dispersi es el casode la propagaci de la o on on luz en un medio material. La velocidad de propagaci de la luz en un medio on material dependede su frecuencia. Para decirlo de otra manera, la luz blanca va a dispersarseen sus diferentes componentes cuando paso a trav s de un medio e material, es el ejemplo del prismo de Newton. Un otro ejemplo de fen meno de dispersi nos es dado por la ecuacion o on de los telegrastas que vamos a derivar. Consideramosdos cables paralelos y llamamos C su capacidad, L su selfinductancia y R su resistancia por unidad de longitud. SeaI (x, t), la corriente el ctrica circulando en el cable y I (x, t) la corriente e circulando en el otro cable. V = V (x, t) es la diferencia de potencial entre los dos cables. Suponemosque la isolaci no es perfecta y que una cantidad de on carga gV por segundopasa de un cable al otro. La conserv on de La carga se escribe: aci I V + C + gV = 0 (6.92) x t donde el segundot rmino es la carga acumulada (condensador)y el tercera la e perdida por segundo. La cada de tensi n por unidad de longitud vale: o V I + L + RI = 0 x t (6.93)

donde el segundo t rmino es la cada de potencial por self-inductancia y el e tercero la cada debida a la resistancia. Eliminando I entre esosdos ecuaciones,obtenemos
2 2V V V LC 2 (gL + RC) RgV = 0 2 x t t

(6.94)

Denimos los parametros: LC 1 R g , = , = c2 L C (6.95)

que contienen las caractersticas f sicasde la l nea; c tiene la dimension de una velocidad, y son peque os. As tenemos n 2V 1 2V 2 2 2 x c t + c2 V 2V = 0 t c (6.96)

78 que llamamos la ecuacion de los telegrastas . Encontramos la ecuaci de on onda con un t rmino de amortizaci n en ( + ) y un t rmino de dispersion e o e en (). Para eliminar el t rmino de amortizaci n, podemos intro ducir una e o funci n v(x, t) por la relaci n: o o V (x, t) = e t v(x, t) (6.97)

Substituendo (6.97) en la ecuaci (6.96), podemosver que el t rmino de amoron e tizaci n seanula cuando = 1 ( + ). La funci n v verica entoncesla ecuaci o o on 2 reducida siguiente: 2v 1 2v 2 2 + 2 x c t 2c
2

v= 0

(6.98)

quien tiene siempre de la dispersi excepto cuando = . En efecto, intro duon ciando en (6.98) una soluci sinusoidal de la forma on v(x, t) = ei ( k x t ) Y obtenemos 2 + = 0 2 c 2c s 2 2 k= + c2 2c k2 +
2

(6.99)

(6.100) (6.101)

Para = , tenemosk = /c , esdecir que = kc y no hay dispersi Para on. 6 , la velocidad de propagaci /k , cambia con k y la onda se deforma. = on, Asi tenemosque escogerlas caracteristicas de la linea tal que ( )/ 2c sealo mas peque o que posible! n Un otro ejemplode propagaci con dispersi esla propagaci de las ondas on on on a la sup ercie del agua . Seaun canal de profundidad h, consideradocomounidimensional. Aplicando las leyes de la hidrodin mica, obtenemosque las ondas pueden propagarsea la a supercie de este canal a la velocidad: r (k) tanh kh v(k) = = gh (6.102) k kh con g, la constante de gravitacion. Si el canal es de peque a profundidad, n kh 1, tenemos que tanh kh kh y encon tramos una velocidad constante v = gh y no hay dispersi A contrario, en agua profunda kh 1, tenemos p on. que tanh kh 1 y v g/k , y hay dispersi on. Citamos todavia dos otros ejemplosde ecuacionescon dispersion: (i) ecuaci de Klein-Gordon on 2 1 2 2 2 m2 = 0 x 2 c t (6.103)

que describe una particula relativista de masam y de spin 0 (la dispersi on viene del t rmino proporcional a m 2 . e

79 (ii) ecuaci de la barra vibrante: on 4u 1 2u + 2 2 = 0 4 x c t (6.104)

Por esta ecuaci tenemos(k) = ck2 , entonces hay dispersi on, on. En hecho, el fen meno de dispersi es la regla m s que la excep on para o on a ci las ecuacioneslineales. Unicamente las ecuacioneslo m s sencillas pueden esa capar a la dispersi Entonces, la unica manera de tener una propagaci sin on. on deformaci es de usar una ecuacion no-line al , por que en algunos casos, on la no-linealdad puede compensar la dispersi y la ecuaci admite soluciones on on describiendo propagaci de ondas sin deformaci llamadas solitons on on, o ondas solitarias . Los dos casosm s conocidos son: a (i) ecuaci de Korteweg- de Vries (1895) on u u 3u 6u + = 0 t x 3 x que describen ondas a la supercie de un canal poco profundo. (ii) ecuacionde Sine-Gordon: 2u 2 2 sin u = 0 2 x t (6.106) (6.105)

que describe, por ejemplo, la propagaci de una dislocaci en un cristal. on on El estudio de esasecuacionesy de muchas del mismo tip o constituyen un campo de actividad intensa en la investigaci actual tan por las aplicaciones on sicas que para sus propiedadesmatem ticas. a

6.2.3

Forma general de las ondas progresiv as

Podemos aplicar aqu tambi n el principio de superposici e on. Si una ecuaci on de onda admite una soluci sinusoidal de forma ei ( k x t ) , con (k) = , la on soluci general de esta ecuaci va a escribirsecomo: on on Z w(x, t) = dkb(k)ei ( k x t ) g (6.107) donde g(k) es una amplitud a determinar por la condici n inicial: b o Z w(x, 0) = dkb(k)eik x g

(6.108)

Esta ecuaci signica que w(x, 0) esproporcional a la transformada de Fourier on inversa de g(k). b Tenemosque distinguir dos casos:

80 (1) sin disp ersion : = kv y tenemos Z w(x, t) = dkb(k)ei ( k x t ) = g 2g(x vt) (6.109)

donde g(x) es la transformada de Fourier inversa de g(k). b (2) con disp ersion: , podemossiempre escribir g(k) como b g(k) = |b(k)|ei ( k ) b g (6.110)

Y podemos suponer que |b(k)| tiene un pico pronunciado alrededor de g k = k0 de anchura k, entonces tenemos Z w(x, t) = dk|b(k)|ei ( k ) g (6.111)

con (k) = kx (k)t + (k). Si la funci n ei ( k ) oscilla rapidamente o en la regi n de anchura k donde |b(k)| es lo m s importante, va a tener o g a interferenciasdestructivas y w(x, t) va a quedarsedespreciados. A contrario, esono va a pasar si (k) var poco en el dominio, es decir a que d |k = k 0 0. Vamos a llamar centro del tren de ondas , el punto dk denido para la condici n d |k = k 0 = 0, lo que da o dk x= t d(k) d |k = k 0 |k = k 0 dk dk (6.112)

Este punto esanimado de un movimiento lineal, de velocidad vg = d( k ) |k = k 0 dk que llamamos la velocidad de grup o del tr en de ondas . La cantidad vph
( k ) k

va a llamarse la velocidad de fase .

La imagenf sicaessencilla: el tren de ondassepropagadeform ndosepero a su centro se mueve a velocidad constante vg . Entonces, esla velocidad de grupo quien represen la velocidad de propagaci de la se al y no la ta on n velocidad de fase. Por ejemplo, en el casode una ola de mar, la velocidad de la ola esdada por la velocidad de grupo, cuando la velocidad de faserepresen la velocidad ta de propagaci de las particulas de agua a dentro de la ola. Igualmente, on en relativista especial, esprohibido a cualquier informaci n de propagarse o a velocidad superior a la velocidad de la luz. Esta restricci n se aplica a o la velocidad de grupo y no a la velocidad de fase. En el casode propagaci sin dispersi tenemos (k) = kv y entonces on on, d = v = constante, y entonces vg = vph . Si hay dispersi tenemos on, dk siempre vg 6 vph . =

81

6.2.4

Ejemplo: difusion del calor sobre una barra innita

2w 1 w = 2 x t

Para acabar, vamos a resolver completamen la ecuaci de calor: te on (6.113)

sobre una barra innita, con la condici n inicial w(x, 0) = f (x). En este caso, o sabemosque tenemos(k) = i k 2 . As la soluci general se escribe como: , on Z 2 w(x, t) = dkb(k)eik x e k t g (6.114) La soluci quedandoacotada para todo tiempo t. Podemosimponer ahora on la condici n inicial (f (x) es de cuadrado integrable), tenemos o Z w(x, 0) = f (x) = = dkb(k)eik x g (6.115) = 2g(x) (6.116) O, para decir las cosasde manera diferentes, tenemosque g(k) = b 1 b f (k) 2 (6.117)

Entonces, la soluci va a escribirsecomo: on Z 2 1 w(x, t) = dkfb(k)eik x e k t 2

(6.118)

Esta forma puede todav simplicarse usando el teorema de convoluci n: a o Z Z dkeik x fb(k)b(k) = g dyf (x y)g(y) (6.119) Si nos recordamosque la transformada de Fourier inversade b h(k) = e a k / 2 es 1 x 2 / (2 a 2 ) h(x) = a e , encon tramos Z 2 1 1 y2 g(y) = dkeik y e k t = e 4 t (6.120) 2 2t Finalmente la soluci del problema se escribe: on Z y2 1 w(x, t) = dyf (x y)e 4 t 4t Z (x )2 1 = df ()e 4 t 4t Z 2 1 = due u f (x + u 4t)
2 2

(6.121) (6.122) (6.123)

82 La soluci del problema preceden nos da tambi n la resoluci del probon te e on lema de la difusi n de calor sobre una barra semi-innita (x 0). o Seala distribucion inicial w(x, 0) = f (x) para x 0 y guardando la extremidad x = 0 a temperatura nula:w(0, t) = 0. Podemosprolongar la funci n f (x) o sobre el eje negativo por simetr (f ( x) = f (x) para volver al problema a: anterior. La funci n prolongada es impar, entonces nula a x = 0 como se debe o por las condicionesa la frontera pero la funci n f (x) puede eventualmente ser o discont nua en este punto. Tomamos,por ejemplo, el casode una distribucion inicial constante, f (x) = T0 para x > 0. La distribucion prolongada es entonces discont nua: T0 (x < 0) 0 (x = 0) f (x) = (6.124) T0 (x > 0) La soluci de este problema es dada por la ecuaci (6.123) con la denici n on on o de f (x) (ver ec. (6.124)). As tenemoscomo soluci , on: w(x, t) = = = = Z Z u0 2 T0 u2 e du e u du u0 Z Z 2 2 T0 e u du e u du u0 u0 Z u0 2 T0 e u du u0 Z 2T0 x/ 4t u 2 e du 0 (6.125) (6.126) (6.127) (6.128)

con u0 = x/ 4t. Esta soluci tiene las propiedadessiguientes: on w(x, t) es C para x > 0 y t > 0. w(0, t) = 0 y w(x, 0) = T0 discontin uidad al origen. w(x, t) = constante sobre cada parab la x = C 4t, lo que corresponde o a una onda progressiv con dispersi a on. para x jo, x 6 0, tenemoslim t w(x, t) = 0 = para t jo, t 6 0, tenemoslim x w(x, t) = T0 =

Capitulo 7

M to dos div ersos de e resolucion de ecuaciones diferenciales.

7.1
7.1.1

M to do de W ronsky e
Caso homog neo e
00 0

Seauna ecuaci diferencial general de segundogrado a coeciente variable: on y (x) + P (x)y (x) + Q(x)y(x) = 0 (7.1)

Seay1 y y2 dos solucionesdiferentes de esta ecuaci y1 y y2 son linealemen on. te dependiente si existe , 6 0 tal que = y1 (x) + y2 (x) = 0 Y entonces, y1 (x) + y2 (x) = 0
0 0

(7.2) (7.3)

Eso es posible solamen si el determinante de los coecien de estas dos te tes ecuacionesen , , es igual a cero: W (x) = y1 (x) 0 y1 (x) y2 (x) 0 = 0 y2 (x) (7.4)

Este determinante se llama el Wr onskiano de las solucionesy1 y y2 . Si W (x) 6 0, y1 y y2 son linealmente independiente. =

83

84

7.1.2

Propiedades del W ronskiano

W = y1 y2 y2 y1
0 0

Tenemospor denici n, o (7.5)

Y entonces, W = y1 y2 y2 y1 Usando la ecuaci (7.1), tenemos on W

0 0 00 00

(7.6)

= = =

y1 (P y2 + Qy2 ) + y2 (P y1 + Qy1 ) P (y1 y2 y2 y1 ) PW

0 0

(7.7) (7.8) (7.9)

d ln W (x) = P (x) dx

(7.10)

Podemosintegrar f cilmente esta ecuaci diferencial ordinaria y tenemos a on W (x) = W (a)e

Rx
a

P ( y ) dy

(7.11)

A notar que si W (a) 6 0, entonces W (x) 6 0 para todo x. = = Muchas vecesqueremosobtener una segunda soluci y2 independiente a on partir de una soluci conocida y1 . Eso puede f cilmente hacerseusando las on a ecuaciones(7.5) y(7.10). Para llegar al resultado, podemossiempre escribir la segundasoluci de la siguiente forma: on y2 (x) = y1 (x)f (x) Entonces, la ecuaci (7.5) se transforma como: on
2 W (x) = y1 (x)f (x)
0

(7.12)

(7.13)

Y obtenemos f (x) =

Z
a

dx

W (x) 2 y1 (x)

(7.14)

En resumen,tenemos Z y2 (x) W (x) = = y1 (x) W (a)e

x

dy

a R ax dy P ( y )

W (y) 2 y1 (y)

(7.15) (7.16)

85

7.1.3

Caso inhomog neo e

Seala ecuaci inhomog nea: on e y (x) + P (x)y + Q(x)y = R(x)

00 0

(7.17)

Y suponemosque conocemosdos soluciones{ y1 (x), y2 (x)} de la ecuaci hoon mog nea, linealmente independientes. Vamos a buscar una soluci de (7.17) e on de la siguiente forma: y(x) = v1 (x)y1 (x) + v2 (x)y2 (x) (7.18)

donde v1 (x) y v2 (x) son a determinar. Diferenciando la ecuaci (7.18) en on respecto a la variable x, tenemos y =
0

v1 y1 + v2 y2 +

v1 y1 + v2 y2

(7.19)

Vamosa escogeruna soluci tal que el segundot rmino de (7.19) seanula, tal on e que 0 0 v1 y1 + v2 y2 = 0 (7.20) Diferenciando de nuevo (7.19) respecto a la variable x y usando esta expresi on con las ecuaciones(7.18,7.19,7.20)y (7.17), obtenemos v1 y1 + v2 y2 = R(x)
0 0 0 0

(7.21)

Ecuaciones (7.20) y (7.21) constituyen dos ecuacionesalgebr aicas a dos 0 0 incognitas, v1 (x) y v2 (x). Resolviendo estas dos ecuacionesalgebr aicas, tenemos y2 (x)R(x) W (y1 (x), y2 (x)) y1 (x)R(x) W (y1 (x), y2 (x))

v1 (x) v2 (x)
0

= =

(7.22) (7.23)

donde W (y1 , y2 ) esel Wronskiano de la ecuaci homogenea. Podemosintegrar on estasecuacionesy obtenemosuna soluci particular de (7.17). on Z y(x) = y1 (x)
x

y2 (y)R(y) dy + y2 (x) W (y1 (y), y2 (y))

y1 (y)R(y) dy W (y1 (y), y2 (y))

(7.24)

7.1.4

Ejemplo
y + y = cscx
00

Seala ecuaci on (7.25)

86 a resolver. Las solucionesde la ecuaci homogenea,y + y = 0 sony1 (x) = sin x on y y2 (x) = cosx. Entonces, el Wronskiano es igual a ( 1). Usando la ecuaci on (7.24), obtenemos Zx cosy cscy v1 (x) = dy = ln(sin x) (7.26) 1 Zx sin y cscy v2 (x) = dy = x (7.27) 1 Entonces, una soluci particular de la ecuaci no-homog neaes on on e y(x) = sin x ln(sin x) x cosx (7.28)
00

7.2

Transformaci on in tegral sobre un dominio innito

La idea general del m todo de transformaci n integral como m todo de rese o e oluci n de ecuacionesdiferencialeslineales es de transformar la ecuaci inicial o on de tal forma que la ecuaci transformada seam s facil a resolver (por ejemplo, on a transformar una ecuaci diferencial parcial en una ecuaci diferencial ordion on naria). Una vez encon trada la soluci de la ecuaci transformada hacemosla on on transformaci n inversa para expresarla soluci en el espacioinicial. o on Despuesde encon trar la soluci de la ecuaci inicial por estem todo tenon on e emosque vericar que la soluci satisfacelos requisitos de la transformaci n. on o Por ejemplo, para una funci n tener su transformada de Fourier o de Laplace, o esta funci n tiene que ser de cuadrado integrable (lo que signica que la funci n o o tiene que pertenecera el espaciode Hilb ert L 2 ). Existen varios transformadas integrales. Ya vimos la transformaci n de o Fourier que es un ejemplo t pico de transformaci n integral. En esta secci o on, vamos a ver dos ejemplosde resoluci de ecuacionesdiferenciales,una usando on la transformaci n de Laplace y la otra manera usando la transformaci n de o o Fourier. Pero, este m todo se puede generalizar a cualquier transformaci n ine o tegral. La elecci del tip o de transformaci n va a depender sobrecual dominio on o la ecuaci inicial tiene que ser resuelta. En caso de un dominio innito, en on general vamos a usar la transformaci n de Fourier. En el caso de un dominio o semi-innito, vamos a escogerm s facilmente la transformaci n de Laplace1 . a o

7.2.1

Transformaci on de Laplace

La transformaci n de Laplace es denida como siguiente: o Z f (s) = e st F (t)dt

0

(7.29)

1 Por otro tip o de dominio, podemos usar la transformacion que se dene sobre este dominio.Una lista de las transformaciones integral sobre dominio acotado o no-acotado puede encontrarse f cilmente en la literatura a

87 donde f (s) es la transformada de Laplace de F (t) y las variable s y t son las variables conjugadaspor la transformaci n de Fourier. Tambi n, podemos o e escribir f (s) L (F (t)) (7.30) La transformaci n inversa de Laplace es igual a o Z + i 1 F (t) = est f (s)ds 2i i

(7.31)

donde es una constante arbitraria. Usualmen escogemos sucientamente te, grande para que todos los polos de f (s) sean a la izquierda del dominio de integraci n. Para calcular la transformada inversa de Laplace, tenemos que o usar el teorema de los residuosy teorema de Cauchy. Ahora, vamosa probar, usandola transformaci n de Fourier queestadenici n o o de la transformada inversa de Laplace nos da el buen resultado. Usando la denici n de f (s), tenemos o 1 2i 1 2i Z
+ i

F (t)

F (s) est ds
i Z + i i

(7.32) (7.33)

Z
0

es( t u ) F (u) du ds

Deniendo s = + iv , ds = i dv, esta ecuaci se transforma en on Z Z 1 t = e eiv t e iuv [eu F (u)] du 2 0 Z 1 t iv t u = e e e dF (u) (v) 2 = F (t)

(7.34) (7.35) (7.36)

Para obtener este resultado, prolongamos la funci n F (t) para t < 0 tal que o F (t < 0) = 0 y usamosla denici n de la transformaci n de Fourier y de su o o inversa. Propiedades de la transformaci on de Laplace 1. Si f (s) = L (F (t)), tenemos L (F (t)) L (F (t)) L (F
(n )
00 0

= = =

sf (s) F (0) s f (s) sF (0) F (0) s f (s) s

n n 1 2
0

(7.37) (7.38)
( n 2)

(t))

F (0) ... sF

(0) F

( n 1)

(0)

2. Si f (s) = L (F (t)), tenemos L (t n F (t)) = ( 1)n dn f (s) dsn (7.39)

88 3. Teoremade convoluci n para la transformaci n de Laplace. o o Seaf (s) y g(s), las transformadas de Laplace respect. de F (t) y G(t). Z Z f (s)g(s) = e su F (u) du e sv G(v) dv (7.40) 0 0 Z Z = e s( u + v ) F (u) G(v) du dv (7.41) 0 0 Z Z = e st F (u) G(t u) du dt (7.42)
0 0

L (F G)( s)

(7.43)

donde para pasar la penultima l nea, hicimos el cambio de variables t = v + u), u = u. Ejemplo En el pr ximo ejemplo, vamos a ver como podemosusar la transformaci n de o o Laplace para resolver ecuacionesdiferenciales. Seala ecuaci derivada parcial correspondiente a la difusi n de calor, on o ut
2 u u = uxx 2 t x

(7.44)

con las condicionesiniciales y frontera siguientes: u(x, 0) u(0, t) u( , t) = = = 0 u0 para t > 0 0 para t > 0 (7.45) (7.46) (7.47)

u0 es una constante. Como esteproblema esdenido en un dominio semi-innito (t va a cambiar de 0 a ), podemossosp echar que la transformaci n de Laplace en t puedeser o util para encon trar la soluci de la ecuaci de difusi n de calor. on on o Z f (x, s) L (u(x, t)) = e st u(x, t) dt (7.48)
0

Vamosa aplicar la transformaci n de Laplace sobrela ecuaci (7.44) y usando o on las propiedadesde la transformac n de Laplace, obtenemos o sf (x, t) u(x, 0) =
2 f (x, s) x 2

(7.49)

Tambi n tenemos que tomar la transformada de Laplace de las condiciones e iniciales y frontera: Z u0 f (0, s) = e st u0 dt = (7.50) s 0 f ( , s) = 0 (7.51)

89 Usando la condici n inicial sobre la ecuaci (7.49), obtenemos la ecuaci o on on diferencial en x, sf (x, s) = f xx (x, s) (7.52) Una soluci de estaecuaci puedeencon on on trarse f cilmente y usandola condici n a o frontera (7.51), obtenemoscomo soluci de esta ecuaci on on u0 x s/a f (x, s) = e (7.53) s Usandolas tablas de transformada inversade Laplace,podemoshallar f cilmente a la soluci a la ecuaci inicial on on u(x, t) = L (f (x, s)) u0 1 erf x 4t (7.54) (7.55)

La denici n de la funci n especial erf (x) es o o Zx 2 2 erf (x) e t dt 0 As la soluci puede escribirsecomo , on " u(x, t) = u0 2 1 Z
0

(7.56)

x 4 t

# e
t2

dt

(7.57)

Es interesan de comparar esta soluci con la soluci (6.128). te on on Ahora que tenemosla soluci nal, tenemosque vericar que esta soluci on on esbien una soluci de la ecuaci inicial y de las condicionesiniciales y frontera. on on Tambi n tenemos que vericar que cada etapas que hicimos para obtener la e soluci seanjusticadas. En estecaso,tenemosque vericar que la soluci es on on de cuadrado integrable y claramente, la soluci satisfaceesta condici n. on o

7.2.2

Transformaci on de Fourier

No vamos a repetir en esta secci las propiedades de la transformaci n de on o Fourier (por eso, ver capitulo 4). Nadam s, vamos a recordar las principales a propiedadesde la transformaci n de Fourier que usamosen estetip o de m todo o e de resoluci de ecuacionesdiferenciales: on fb0 x d (x) f d dn f dx n x nd (x) f = = = = ik fb dfb i dk (ik ) n fb in dn fb dkn (7.58) (7.59) (7.60) (7.61)

90 Tambi n, lo que vamos a usar muy frecuen e temente es el teorema de convoluci n: o n 2 fc.g = fb g b (7.62) n fdg = 2 fb.b g (7.63) para R n . x Un ejemplo t pico de resoluci de ecuacionesdiferencialesusando la transon formaci n de Fourier es el ejemplo de la ecuaci de Poisson(ver capitulo 5) o on 4 f ( ) = ( ) x x (7.64)

7.3

M to do de la funcion de Green e

El objectivo de estom todo esdar la soluci de una ecuaci diferencial parcial e on on sobre la forma de un integral. En esta secci vamosa generalizar la noci n de on o funci n de Green que intro ducimos en el capitulo 5 para el operador diferencial o del laplaciano. Aqu vamos a generalizar este m todo para cualquier operador diferencial. , e Suponemosque tenemos una ecuaci diferencial linela para u( ) y on x x Rn , L [u(x)] = f (x) (7.65) donde L [.] esun operador diferencial. Tambi n tenemoslas condicionesfrontera e e iniciales que se pueden escribir como B i [u] = ai (7.66)

para i = 1, 2, ..n. Y suponemosque podemosresolver las ecuacionessiguientes L [G( , )] x z , )] B [G( x z

i

= =

( ) x z 0

(7.67) (7.68)

La funci n G( , ) va a llamarsefunci on de Gr een del operador L [.] sobr e o x z el dominio . En este caso,es f cil de vericar que la soluci de la ecuaci a on on inicial va a poder escribirsecomo Z u( ) = x G( , )f ( )d + f 1 ( ) x y y y x (7.69)

donde f 1 (x) es una soluci de la ecuaci homog nea on on e L [f 1 ] = 0 con condicionesfrontera, B i [f 1 ] = ai (7.71) (7.70)

91 Inversamen podemosresolver una ecuaci del tip o siguiente: te on )] = 0 L [v( x B (v) = h( ) x En este caso,si podemosencon trar la funci n g( , ) tal que o x z , )] = 0 L [g( x z B [g( , )] = ( ) x z x z Entonces, la soluci de la ecuaci inicial va a escribirsecomo on on Z v( ) = x g( , )h( )d x z z z

(7.72) (7.73)

(7.74) (7.75)

(7.76)

donde d dn z. g(x, z) se l lama tambi n funci on de Gr een del operz e ador L [.] sobr e el dominio .

7.3.1

Ejemplo

Vamosa derivar la soluci de la difusi n de calor en una barra innita usando on o el m todo de la funci n de Green. Claramente, tenemosque encon e o trar la misma soluci que encon on tramos en el capitulo 6. Seala ecuaci de difusi n de calor on o uxx = ut con condicionesinicial y frontera u(x, 0) = f (x), u( , t) = 0 (7.78) (7.77)

Usando el m todo de la funci n de Green, queremosescribir la soluci u(x, t) e o on como Z u(x, t) =

g(x, t, z) h(z) dz

(7.79)

donde g(x, t, z) esla funci n de Green del operador diferencial L [.] correspondio ente a la ecuaci de difusi n del calor, on o
2 2 (7.80) t x As por denici n, g(x, t, z) tiene que satisfacerlas ecuacionessiguientes: , o

L [.] =

L [g(x, t, z)] g(x, 0, z)

= =

gt (x, t, z) gxx (x, t, z) = 0 (x z)

(7.81) (7.82)

Aplicando la transformaci n de Fourier (en la variable x) de la ecuaci para o on g(x, t, z), obtenemos db(k, t, z) g dt g(k, 0, z) b = = k 2 g(k, t, z) b 1 ik z d e (x z) 2 (7.83) (7.84)

92 Esta ecuaci es f cil a resolver y obtenemoscomo soluci on a on g(k, t, z) = g(k, 0, z)e k b b

2

1 ik z k 2 t e e 2

(7.85)

Usando la transformaci n de Fourier inversa, podemosencon o trar la funci n de o Green g(x, t, z) Z 1 g(x, t, z) = g(k, t, z)eik x dk b (7.86) 2 Z 2 1 1 e k t eik ( x z) dk = (7.87) 2 2 2 1 = e ( x z) / (4 t ) (7.88) 4t donde para pasar a la ultima l nea, usamosel resultado siguiente F 1 (ea
2

k2/ 2

)=

1 x 2 / (2 a 2 ) e a

(7.89)

dondeF 1 ( fb(k) signica aplicar la transformaci n de Fourier inversaa la funci n o o b(k). f Entonces, la soluci de la ecuaci de la difusi n de calor sobre una barra on on o innita es Z 2 1 u(x, t) = h(z)e ( x z) / (4 t ) dz (7.90) 4t a comparar con la soluci (6.123) que obtenemosusando otro m todo de reson e oluci n. o

7.4

Ejemplo

Vamos en esta secci a resolver la ecuaci de la cuerda vibrante usando la on on transformaci n de Laplace y el m todo de Wronsky. o e Seala ecuaci on wtt (x, t) = c2 wxx (x, t) (7.91) para 0 x 1 y t > 0 y con las condicionesinicial y frontera siguiente: w(0, t) w(x, 0) wt (x, 0) = = = w(1, t) = 0 F (x) 0 (7.92) (7.93) (7.94)

Primero, vamos a reescribir la ecuaci inicial de la siguiente manera: on wtt = wxx (7.95)

93 Para obtener el resultado nal, vamos nadam a tener que sustituir t por ct. as Aplicando la transformaci n de Laplace en la variable t, obtenemos o s2 f (x, s) sw(x, 0) wt (x, 0) = s2 f (x, s) sF (x) con las condicionesfrontera: f (0, s) f (1, s) = = 0 0 (7.98) (7.99) = f xx (x, s) f xx (x, s) (7.96) (7.97)

donde f (x, s) L (w(x, t)). Podemosencon trar una soluci particular de esta on ecuaci usandoel m todo de Wronsky. En efecto,las solucionesindependientes on e de la ecuaci homogeneaf xx s2 f = 0, pueden escribirsecomo on y1 (x) y2 (x) = = coshsx sinh sx (7.100) (7.101)

El wronskiano de estas solucioneses igual a s. As una soluci particular es on igual a Zx Zx y(x, s) = cosh(sx) sinh(sy)F (y) dy sinh(sx) cosh(sy)F (y) dy 0 0 Zx = sinh (( x y)s) F (y) dy (7.102)
0

Asi, una soluci general de la ecuaci para f (x, s) va a escribirsecomo la on on suma de las solucionesde la ecuaci homogeneam s la soluci particular de on a on la ecuaci no-homog nea. on e Z f (x, s) = A cosh(sx) + B sinh(sx)
0 x

sinh ((x y)s) F (y) dy

(7.103)

Ahora, tenemosque imponer las condicionesa la frontera, f (0, s) = 0 f (1, s) = 0 A= 0 Z B =

0

(7.104)
1

sinh(s(1 y)) F (y) dy sinh s

(7.105)

Entonces, tenemoscomo soluci on Z f (x, s) =

0 1

F (y)

sinh(s(1 y)) sinh(sx)dy sinh s

Z
0

F (y) sinh(s(x y)) dy (7.106)

Tenemosque encon trar la transformada inversa de Laplace. Por eso, vamos a usar la formula de inversi compleja de la transformaci n inversa de Laplace on o y el teorema de los residuos Z + i 1 u(x, t) = est f (x, s) ds (7.107) 2i i

94 Esta integral, usando el teorema de Cauchy es igual a la suma de los residuos en los polos simples. Podemosf cilmente ver que el primer t rmino de (7.106) a e tiene polos simplespara s = ni . A contrario, el segundot rmino no tiene polo e y entonces su contribucion a la integral es nula. As tenemos ,
X

u(x, t) =
n =

en it Res(f (x, s), ni )

(7.108)

Para calcular esosresiduos, tenemos que recordar que si una funci n q(z) = o r (z)/ (z) tiene un polo de primer grado en z0 y si r (z0 ) 6 0, tenemos = Res(q(z), z0 ) = r (z0 ) 0 (z0 ) (7.109)

Aplicando esto al c lculo de la soluci u(x, t), obtenemos a on

X

Z ein t
0

u(x, t)

= =

n = X n = X

F (y) Z
0 1

sin(n(1 y)) sin(nx) cos(n)

(7.110) (7.111) (7.112)

ein t

F (y) sin(ny)dy sin(nx) Z

0 1

=
n =1

cos(nt) sin(nx) 2

F (y) sin(ny)dy

Podemos comparar esto resultado a la soluci (6.10) y (6.13). En efecto, si on prolongamosla funci n F (x) de manera impar sobre el intervalo [ 1, 1] tal que o F (x) = F ( x) para 1 x 0 Tenemosque Z 2
0 1

(7.113)

Z F (y) sin(ny)dy =

F (y) sin(ny)dy
1

(7.114) (7.115)

donde n es el coeciente de Fourier de F (x) sobre el intervalo [ 1, 1]. As nuestro resultado es consisten con la soluci de la ecuaci de la cuerda te on on vibrante usando el m todo de separaci de variables (ver capitulo 6). e on

Capitulo 8

Geometr y separacion de a variables

Varios problemas de f sica est descrito escencialmen por las mismas ecuaan te ciones,ecuacioneslineales basadassobre el laplaciano en dimensi 1,2, o 3 (al on menosen la aproximaci n lineal, describiendofen meno de intensidad d bil, es o o e decir de energ d bil) Excepci n: las ecuacionesde elasticidad ( en 44 : 4o a e o grado), ecuacionesde la mec anica de los u dos (Navier-Stokes, no-lineal). Entonces, lo que va diferenciar los problemas son las condiciones a la fr onter a de la r egi considerada,as que las condicionesiniciales si neceon sarias. Un papel escencialesta jugado, en la resoluci de las ecuaciones,por la on geometra de . Es la geometra de que va a determinar las propiedadesde simetr del problema y de sussoluciones.Aqu aparecetoda la importancia de a la elecci de un buen sistema de coordenadasadaptada a la geometra del on problema. De manera general, los problemas f sicos van a repartirse en tres grandes clasescorrespondiente respectivamente a un tip o de geometra: cartesiana: problema a una dimensi on. cil ndrica: problema a dos dimensiones. esferica: problema a tres dimensiones. A Cada clase corresponden una o varias familias de funciones especialesy tambi n corresponden un tip o de simetr propia (grupo de invariancia de la e a geometra) y un sistema de coordenadasadaptada. Vamos a pasar la revisi n de los 3 tip os de geometra. o 1. geometr cartesiana (pr oblema a una dimensi on) a * tip o de problema: 95

96 -cuerda vibrante; -membrana vibrante cuadrada o rectangular; -ecuaci de Schrodinger (1 dim.); on -oscillator arm nica (1,2,3 dimensiones); o - difusi n de calor (1 dim.). o * funcionesespecialesasociadas: - funcionestrigonom tricas (+ generalizaciones) e - exponenciales,funcioneshiperbolicas. -polinomios y funcionesde Hermite. * simetr reexi n : x x a: o * coordenadas cartesianas(x, y, z) : 2. geometr cil a ndric a * tip o de problemas: -membrana vibrante circular o anular; -gu de ondas: propagaci de ondas; a on -ondas estacionarias: tub eria de un rgano; o -calor: difusi n en una basecil o ndrica; - ptica: difracci n por una apertura circular. o o -generalizaci problemas a secci el on: on pticas. * funcionesespecialesasociadas: - funcionesde Bessel(parte radial) - funcioneslogaritmicas (parte radial) - funcionestrigonom tricas (parte angular) e * simetr SO(2), E (2) a: * coordenadas: cil ndricas (r, , z) + el pticas. 3. geometr esf ric a a e * tip o de problema: -hidrodin mica : esferaen un u a do, vibraci n de una guta, vibraci n o o a dentro de una estrella. -f sica del s olido: vibraci n de la tierra, ondasssmicas(propagaci o on, difracci n en las discontin uidades). o -mec anica cu ntica: t ora de la difusi n del tomo de Hidrogeno. a e o a -calor: difusi n en una esfera(temperatura a dentro de una estrella) o * funcionesespecialesasociadas: - funcionesde Besselesfericas (parte radial). - polinomios de Laguerre (parte radial del tomo de H). a - arm nicas esfericas (parte angular). o

97 * simetr SO(3), E (3) a: * coordenadas esfericas + elipsoidales. : A cada de esostres casosson asociados una o varias familias de funciones especialesque tienen todas propiedadessimilares. En efecto, estaspropiedades tienen un origen com n relacionada a los dos hechos siguientes: u (i) las funcionesespecialessonfuncionespropias de un operador auto-adjun to, ligado a el laplaciono sobre , lo que signica que siempre vamos a tener para las funcionesespeciales: - solucionesde una ecuaci a valor propio. on - spectra real y discreto. - relacionesde ortogonalidad (ii) relacionadosa una represen on irreductible del grupo de simetr del taci a problema (SO(2), E (2), SO(3), E (3), ...) lo que implica - un teorema de adici n o - relaci n de recurencia o - funci n generadora. o Como ejemplo, vamos a estudiar la ecuaci de Helmholtz en los 3 casos: on 4 u + k2u = 0 (8.1)

8.1

Ecuacion de Helmoltz en coordenadas cartesianas

4 u(x, y, z)
00 00

= =
00

2 2 2 + + x 2 y2 z2 X (x)Y (y)Z (z)

(8.2) (8.3) (8.4) (8.5) (8.6) (8.7) (8.8) (8.9)

X Y Z + + + k2 = 0 X Y Z 00 X 2 = k1 X 00 Y 2 = k2 Y 00 Z 2 = k3 Z 2 2 2 k1 + k2 + k3 = k 2 X
00

2 k1 X

= 0 X = A sin k1 x + B cosk1 x

98

8.2

Ecuacion de Helmoltz en coordenadas cil ndricas

2u 1 u 1 2u 2u + + 2 2 + + k2u = 0 2 r r r r 2 z u(r, , z) = R(r )()Z (z) R 1R 1 Z + + 2 + + k2 = 0 R r R r Z
00 0 00 00

(8.10) (8.11)

(8.12)

00

= m 2 = Aeim + B e im

(periodicidad: () = ( + 2) m Z )
Z Z
00

+ k2 = 2 Z = =
C

p p 0 C cosh 2 k 2 z + D sinh 2 k 2 z
0

2 k2z

+ D e

2 k2z

(8.13) (8.14)

(funciones hiperbolicas si 2 > k 2 , lineales si 2 = k 2 , trigonom tricas si e < k2) R +

00

1 0 r R

+ ( 2

m2 r2

)R = 0

Sear = ( 6 0), entonces, la ecuaci radial va a transformarse como = on 2R 1 R m2 + + (1 2 )R = 0 2 (8.15)

Esta ecuaci llamada ecuacion de Bessel de or den m, tiene como on, solucioneslas funciones de Bessel o m gener almente las funas ciones cil ndric as, notadas gen ric amente Z m (). Vamos a estudie arlas mas en detalle en los pr ximos captulos. o

8.3

Ecuacion de Helmoltz en coordenadas esf ricas e

4 = 2 2 1 + + 2 D , 2 r r r r (8.16) (8.17)

con D ,

2 1 1 sin + 2 2 sin sin

La ecuaci de Helmholtz se escribe entonces como on 2u 2 uu 1 + + 2 D , u + k 2 u = 0 2 r r r r (8.18)

99 Seau(r, , ) = R(r )Y (, ), tenemos R 2R 1 D , Y + + 2 + k2 = 0 R r R r Y

00 0

(8.19)

D , Y + l(l + 1)Y = 0 tiene como soluciones las arm nicas esfericas o Yl m (, ), l = 0, 1, 2, ... R +
00

2 0 r R

+ (k 2

l ( l +1) r2

)R = 0

Seakr = , obtenemos d2 R 2 dR l(l + 1) + + (1 )R = 0 d2 d 2 (8.20)

Esta ecuaci esparecida a la ecuaci de Besselpero diero por el factor on on 2 en frente del t rmino dR . Podemos regresar a la forma de la ecuaci e on d de Besselusando la sustituci n siguiente: o R() = S()
0 0

(8.21)

Eso va a dar para el t rmino en S : (2 + 2) 1 S . Usando el valor de e 1/ 2 para , obtenemosla ecuaci de Bessel on S +
00

1 0 (l + 1/ 2)2 S + (1 S= 0 2

(8.22)

Las solucionesde la ecuaci radial son entonces las funciones de Bessel on de orden (l + 1/ 2) quien es semi-en tero como l es entero por la t ora de e las arm nicas esfericas. o R(r ) = 1 kr Z l +1 / 2 (kr ) (8.23)

Estas funcionesse llaman funciones de Bessel esf ric as. e Es interesan hacerel mismo c lculo para un espaciode dimensi cualquier te a on d. En este caso,la ecuaci radial se escribe on d2 r d 1 dR l(l + d 2) + + (1 )R = 0 2 d d 2 (8.24)

El ultimo t rmino proviene de la ecuaci de las arm nicas hiperesf ricas, base e on o e ortonormal en L 2 (Sd 1 ), Sd 1 es la esferaunidad en R d . D 1 ,.., n 2 , Y + l(l + d 2)Y = 0, Y Y (1 , .., n 2 , ) (8.25)

donde (1 , ..n 2 , ) son las coordenadasesfericas sobre Sd 1 . Como antes, esta ecuaci radial puede escribirse como una ecuaci de on on Besselhaciendo la sistituci on R() =
d 2 2

S()

(8.26)

100 lo que da, S + y entonces, R(r ) = (kr )

d 2 2 00

1 0 (l + (d 2)/ 2)2 S + (1 )S = 0 2 Zl+

d 2 2

(8.27)

(kr )

(8.28)

Tenemos que distinguir dos casos, seg n la paridad de d, dimensi del u on espacio (i) d = 2 : R(r ) = (kr ) ( 1) Z l + 1 (kr ), funciones de Bessel a ndice entero . (ii) d = (2 + 1) : R(r ) = (kr ) (2 1) / 2 Z l + esf ricas (a e ndice semi-en tero) .
2 1 2

(kr ), funciones de Bessel

Esta distincci n entre espaciode dimensi par e impar es bastante fundao on mental. Lo encon tramos en muchas situaciones: comportamiento de soluciones de la ecuaci de ondas (cl sica y cu ntica), estructura del grupo de las rotaon a a ciones(SO(2n), SO(2n + 1)), propiedadesde los spinors,... Resolvimos completamen la ecuaci de Helmholtz en cada una de las te on 3 geometras, cartesiana, cil ndrica y esferica. Las solucionesson obtenidas en t rminosde funcioneselemen e tales (exponenciales,trigonom tricas, hiperbolicas) e y de dos clasesde funciones especiales: las arm nicas esfericas y las funciones o de Bessel.

Capitulo 9

Espacio de Hilb ert

9.1 El problema de la apro ximacion

La teor` de Fourier se trata del problema de la aproximaci n de una funci n a o o f () con la ayuda de un sistema de funciones trigonom tricas, wn (), n Z . e Ahora vamosa estudiar el problema generalde la aproximaci n de una funci n o o f (x) con la ayuda de un sistemade funcionesun (x), n = 0, 1, 2, ... con x I R:
X

f (x)
n =0

cn un (x)

(9.1)

Dos preguntas se hacen (i) como medir la precisi de la aproximaci n, es decir la distancia entre f on o PN y la suma truncada f N = cn un ? n =0 (ii) que clasede funcionespodemosaproximar as? Claro estasdos preguntas no son independientes y la respuestadependedel problema sobre estudio. Primero, vemosla primera duda y vamos a dar unos ejemplosde distancias comunmente usadas: (1) d0 (f , f N ) (2) d1 (f , f N ) (3) d (f , f N ) (4) dL 2 (f , f N ) (5) dL 2 (f , f N ) Z
I I 1/ 2

supx |f (x) f N (x)| supx |f (x) f N (x)| + supx |f (x) f N (x)| () X supx |f ( ) (x) f (x)|
N =0
0 0

(9.2) (9.3) (9.4) (9.5) , con (x) > 0 (9.6)

1 + supx |f

( ) (x)

f N (x)|
1/ 2

()

|f (x) f N (x)|2 dx |f (x) f N (x)|2 (x) dx 101

102 Cada una de esasdistancias corresponden a un problema muy bien denido. La distancia d0 va a denir la convergencia uniforme de las funciones, d1 es usada en c lculo de las variaciones, d va a jugar un papel importante en la a teor de las distribuciones, dL 2 y dL 2 van a denir la diferencia cuadr tica a a mediana y van a conducir a la noci n de espacio de Hilb ert, como lo vimos o anteriormente. La funci n de peso (x), que da un peso diferente a diferentes o partes del int rvalo considerado se encuen en particular cuando queremos e tra aproximar sobre un dominio innito usando polinomios. Para responder a la duda (ii), claro que cada distancia tiene sen tido solamente por algunos tip os de funciones: as, d puede aplicarse solamen a te funcionesde claseC y dL 2 a funcionesde cuadrado integrable. A cada distancia corresponde una clase natural de funciones. Por ejemplo, si nos limitamos al dominio [ 1, 1], tenemos (1) d0 : espacioC0 ( 1, 1) de las funcionescontin uas sobre [ 1, 1]. (2) d1 : espacioC1 ( 1, 1) de las funcionesuna vez contin uamente diferenciable sobre [ 1, 1]. (3) d : espacioC ( 1, 1) de las funcionesde claseC sobre [ 1, 1]. (4) dL 2 : espacioL 2 ([ 1, 1], dx) de las funcionesde cuadrado integrable Z1 |f (x)|2 dx < (9.7)
1

(5) dL 2 : espacioL 2 ([ 1, 1], (x) dx) de las funciones de cuadrado integrable en relaci n a la funci n de peso(x) o o Z1 |f (x)|2 (x) dx < (9.8)
1

Podemosvericar facilmente que cada una de esasdistancias satisfacenlas 3 condicionessiguientes que dan una denici n precisa de la noci n de distancia o o sobre un espaciovectorial E. Llamamos distancia sobr e un espacio vectorial E una funci on d: E E R + que satisfac e los condiciones siguientes: (1m) d(f , g) (2m) d(f , g) (3m) d(f , g) = 0 y d(f , g) = 0 f = g d(g, f ) d(f , h) + d(h, g)(desigualdad del triangulo) (9.9) (9.10) (9.11)

Un espacioE con una tal distancia sellama espacio m tric o. Una distancia e d sobre E permite determinar cuando dos elemen de E son vecinos. Para tos decirlo de manera diferente, la distancia deno sobre E una top olog . En a particular, d va a denir sobre E una nocion de conver gencia . f n f > 0 n 0 t.q. n > n 0 , d(f n, f ) < (9.12)

103 De la misma manera vamosa decir que { f n } E esuna seguida de Cauchy par a la distancia d si tenemos > 0, n 0 t.q. n m > n 0 d(f n , f m ) < (9.13)

Y el espaciom trico (E, d) esdicho completo si todas seguidasde Cauchy es e convergen te: { f n } Cauchy f E t.q. f n f , es decir d(f , f n ) 0 para n (9.14) Consideramosahora la distancia de f E al elemen nulo. En el casod0 , d1 , dL 2 to y dL 2 (pero no de d ), cuantidad d(f , 0) ||f || verica las condiciones de denici n de una norma. o Llamamos norma sobr e un espacio vectorial E, una funci on ||.|| : E R + que veric a las condiciones siguientes : (1n) ||f || (2n) ||cf || (3n) ||f + g|| = 0 y ||f || = 0 ssi f = 0 |c| ||f ||, c C ||f || + ||g|| (desigualdad de Mink owski) (9.15) (9.16) (9.17)

Podemosfacilmente vericar que cadanorma deneuna distancia por la relaci n o d(f , g) = ||f g|| (9.18)

pero el inverso NO es cierto: la distancia d no viene de una norma por que d (f , 0) no verica la condici n de homogeneidad(2n). o Consecuenciade eso, es que una norma va a denir una topologa sobre E. Vamos a decir que (E, ||.||) es un espacio normado y si el espacio es completo, lo l lamamos espacio de Banach . El espacio C ( 1, 1), con la distancia d es entonces un espaciom trico (en hecho, completo) pero no e normado. Entre las 4 normas correspondiente a d0 , d1 , dL 2 y dL 2 , los 2 ultimos se distinguen por el hecho de provenir de un producto escalar. Llamamos pr oducto escalar sobr e un espacio vectorial E una funci on < .|. > : E E C que satisfac en las 3 condiciones : (1s) < f |g + h > (2s) < f |g > (3s) < f |g > = = < f |g > + < f |h >, , C < g|f > 0 y < f |f >> 0ssi = 0 f

Entonces,el pr oducto escalar es una forma hermitiana denida positiva sobr e E E. De nuevo, un producto escalardeno una norma y entonces una topologa por la relaci n o ||f || f |f > 1/ 2 < (9.19)

104 pero de nuevo, el inversono escierto: las normas correspondientes a d0 y d1 no derivan de un producto escalar; de la misma manera la norma L p para p 6 2, = denido por Z 1/p ||f || p |f (x)|p dx (9.20) (p = 1 se usa en probabilidad) no deriva de un producto escalar. Podemosprobar que una norma deriva de un producto escalar si la norma verica la idendidad del par alelo gramo : ||f + g|| 2 + ||f g|| 2 = 2(||f || 2 + ||g||2 ) (9.21)

Un espacio vectorial con un producto escalar se llama espacio prehilbertiano y si este espacioes completo, se llama espaciode Hilb ert. En el casode L 2 ([ 1, 1], (x)dx), el producto escalares evidente Z < f |g >
1 1

f (x)g(x)(x)dx

(9.22)

En resumen,tenemosel esquemasiguiente, esp. prehilbert. esp. Hilb ert esp. normado esp. de Banach esp. m trico e esp. m trico completo e

donde la segundal nea corresponde a los espacioscompletos. La clase de los espaciosde Hilb ert es entonces la m s restrictiv a, pero es a tambi n la claseque juega un papel de lo m s fundamental. e a del punto de vista matem tica, es la clasela m s sencilla de espaciofuna a cional de dimensi innita y con estructura muy rica. on para el f sico, el espaciode Hilb ert seencuen en el contexto matem tico tra a de las teor cuanticas: esentoncespara el f as sico, una herramienta escencial y de usocotidiano si estudia la f sicacuantica. Pero, m sgeneralmen a te el espaciode Hilb ert esel contexto natural para la resoluci de ecuaciones on diferencialesen presenciade una norma cuadratica, llamamda energ a.

9.2

Realizacion y propiedades elemen tales del espacio de Hilb ert

SeaE un espacioprehilbertiano, con un producto escalar< .|. > . Ejemplo: Pn (i) Cn con < x|y > = e j =1 x j yj , este espacioes tambi n completo. (ii) espacioC0 (a, b) con < f |g > = Rb
a

f (x)g(x)dx. Este espaciono escompleto.

105 De la denici n del producto escalar se deriva 3 desigualdadesfundameno tales: (1) desigualdad de Schwartz(-Cauchy-Bunjakowski) : (9.23)

| < f |g > | ||f ||.||g||, ||f || f |f > 1/ 2 ; < con igualdad ssi1 f = g, C (2) desigualdad de Minkowski : ||f + g|| ||f || + ||g|| (3) desigualdad del triangulo : ||f g|| ||f h|| + ||h g||

(9.24)

(9.25)

As un espacioprehilbertiano E puedenaturalmente serdotado de la topologa , asociada a esta distancia. Esta topologa vamos a llamarla top olog fuerte a o top olog de la norma . Vamos a hablar de conver gencia fuerte de una a seguidasi: f n f d(f n , f ) ||f n f || 0 (9.26) En la topologa fuerte, el producto escalaresuna forma sesquilinealcontin ua en virtud de la desigualdadde Schwartz: f n 0 < g|f n > 0 g E (9.27)

En este curso, vamos a interesarnosa un espaciode Hilb ert H , es decir un espacioprehilbertiano completo o, para decirlo de otra manera, un espacioen cual cualquier seguidade Cauchy convergeversoun elemen del mismo espacio. to
N ,M

lim

||f N f M || = 0 f = lim f N , f H
N

(9.28)

Es en hecho su caracter completo que da toda su importancia al espaciode Hilb ert en las aplicaciones. Vamos a decir que esta espacioes de dimensi nita N si existe N vectores linealmente independiente pero on NO N + 1. ejemplo: C N . dimensi innita si N , N vectoreslinealmente independiente on ejemplo: L 2 ([a, b], dx) Entre los realizacionesconcretasdel espaciode Hilb ert, vamosa dar 3 ejemplos que son muy importante en los aplicaciones:
1 ssi=si

y solamente si

106 (1) espaciol 2 de las seguidasde cuadrado integrable. l 2 = { c = (cn ) , cn C t.q. 1

X n =1

|cn |2 < }

(9.29)

(2) espacioL 2 (D ) de las funcionesde cuadrado integrable sobre D R L 2 (D ) = { f : D C, D |f (x)|2 dx < } con el producto escalar Z < f |g > =
D

(9.30)

f (x) g(x) dx

(9.31)

Cuanto a su caracter completo, tenemosque decir: - si usamosla integral de Riemann, el espaciono es completo. - con el integral de Lebesgue,el espacioes completo (es el contenido del teorema de Riesz-Fisc her). Pero en este caso, un elemen de to L 2 (D ) no es una funci n pero es una clasede equivalencia f g si o f (x) = g(x) excepto sobre un conjunto de medida nula. Entonces, la valor en un punto x de un elemen f de L 2 (D ) no es en general to denido. (3) el espaciode Bargmann H de funcionesenteras H = { f : C C, f holomorca en todo el plano complejo y Z |f (z)|2 e| z| dz < (dz dxdy)
C
2

(9.32)

con el producto escalar Z < f |g > =

C

f (z)g(z)e| z| dz

(9.33)

Este espacioes usado en diferentes problemas de mec anica cu ntica (repa resen taciones de las relacionesde comutaciones canonicas,estadoscoherentes, ptica cu ntica, lasers,...) o a

9.3

Sobre-espacios Hilb ertianos

(1) Sea H un espacio de Hilb ert, K una parte de H . Decimos que K es cerr ada si K contiene todos sus puntos de acumulaci n , es decir que o si f n f y f n K f K (9.34)

107 (2) la cerr adur a (o adher encia) de K , notada K esla m speque a parte a n cerrada de H conteniendo K . La obtenemosjuntando a los elemen de tos K los l mites de los seguidasconvergen contenidas en K . tes (3) una parte K de H es densa si K = H . (4) Llamamos sub-espaciohilb ertiano, un sub-espaciocerrado de H . Como H es completo, todo sub-espaciocerrado de H es tambi n completo, y e entonces son ellos mismos un espaciode Hilb ert. (5) SeaK una parte de H , llamamos - sub-espacio vectorial engendr ado por K , el conjunto de combinaci n lineal nita de elemen de K o tos Xn < K > spanK = {
j =1

j f j , f j K , j C}

(9.35)

- sub-espacio hilb ertiano engendr ado por K , el conjunto [K ] < K > , es decir lo m s peque o sub-espaciohilb ertiano conteniendo a n K. (6) la parte K es dicha total o base (hilb ertiana) de H si [K ] = H .

(7) El producto escalardene una relaci n de ortogonalidad o f < f |g > = 0 (8) SeaK H , el ortogonal de K es el conjunto K tal que K = { g H , < g|f > = 0 f K } (9.37) (9.36)

Pr oposicion 1 : SeaH un espaciode Hilb ert, K una parte de H , entonces tenemos (i) K es un sub-espaciohilb ertiano de H (ii) K K donde K (K ) y K = K

(iii) K = [K ], es decir K = K ssi K es un sub-espaciohilb ertiano. Prova: 1 K es evidentemente un subespaciovectorial y es cerrado en virtud de la contin uidad del producto escalar(desigualdad de Schwarz). Si f n K y f n f , entonces, f K por que g K , tenemos < f |g > = < f f n |g > + < f n |g > = < f f n |g > por que f n K | < f |g > | ||f f n ||.||g|| 0 (9.39) (9.38)

108 2 Si f K , f g g K , es decir f K , tenemosentonces K K y K K , pero tambi n K (K ) y entonces K = K e 3 Como [K ] es lo m s peque o sub-espaciohilb ertiano conteniendo K , tena n emos que [K ] K . Por (i), [K ] = K . La igualdad se deriva del teorema siguiente: Teorema2: Teor ema de la descomp osicion orto gonal Seaun H un hilb ertiano y F un subespaciohilb ertiano. Entonces,H puede decomponerseen suma directa: H = F F (9.40) es decir que f H m, f tiene una decomposici unica tal que f = f F + f F on con f F F y f F F y < f F |f F > = 0. Este teorema generaliza la situaci n conocida en dimensi nita. La deo on mostraci n de este teoremo se basa en el uso de una base hilb ertiana. Este o teorema esfundamental por que caracteriza el espaciode Hilb ert: un espaciode Banach de cual todo sub-espaciocerradotiene un suplemen tario cerradoesnecesariamen un espaciode Hilb ert (conjectura de Grothendieck en 1955,provado te por Lindenstrauss y Tzafriri en 1971). Notamos que si K esun cualquier sub-espaciovecotrial de H , tenemossiempre H = [K ] K = K K (9.41)

9.4

Bases ortonormales
si (9.42) < f n |f m > = nm

Una familia de vectores{ f n } H es dicha ortonormale

Un espaciode Hilb ert esdicho separ able si contiene un conjunto enumerable { h } denso. Teor ema 4.1 : Se H un esp a acio de Hilbert sep arable. Entonces, todo subesp acio de Hilbert F de H (y entonces H mismo) tiene una base ortonormal enumerable. Prova: F esseparablecomo H , esosignica que existe una seguida{ f n } F densa en F , es decir una base enumerable de F : [{ f n } ] = F . Nos queda a construir una base ortonormal a partir de { f n } , lo que se hace usando el pr oceso de Gr am-Schmidt : h1 = f 1 y e1 = h1 ||h1 || h2 ||h2 || h3 ||h3 || (9.43) (9.44) (9.45) (9.46)

h2 = f 2 < e1 |f 2 > e1 y e2 =

h3 = f 3 < e1 ||f 3 > e1 < e2 |f 3 > e2 y e3 = ....

109

(hN )

h1 h2 . . . hN

0 1

. 0 1

. . 0 1

. . . 0 1

0 . . . 0 1

f1 f2 . . . fN

M (f N )

Podemos notar que la matriz M que transforma los vectores { f N } en los vectores { hN } es una matriz innita, triangular inferior con uno sobre la diagonal. Entonces, M es inversible, de determinante igual a 1 y M 1 es tambien triangular inferior . Eso va a garantizar la unicidad de la transformaci n o (f n ) = M 1 (hn ). Las propiedadesde las basesortonormales son resumida en el teorema siguiente: Teor ema 4.2 : (i) (ii) todos las bases ortonormales de un esp acio de Hilbert tiene el mismo numero de elementos,llamada la dimensi n del esp o acio. dos esp acios de Hilbert H 1 , H 2 de misma dimensi n son isomorcos, es o decir que existe una bijecci n: U : H 1 H 2 tal que o < Uf |Ug > H 2 = < f |g > H 1 Un tal bijecci n sellama operador unitaria o unitariamente equivalente. (9.47)

y los dosespaciosson dichos

(iii) un esp acio de Hilbert essep arablessi tiene una baseortonormal numerable. (iv) todo esp acio de Hilbert H sep arablees unitariamente equivalentese a C N a si dimH = N , N < , se a l 2 si dimH = . La equivalencia unitaria a es dada con la ayuda de cualquier base ortonormal { en } : X f H f =
n

cn en (cn ) l 2 o C N

(9.48)

Ejemplo de espacioseparable: l 2 con base{ en } , ej = (0, ..., 0, 1(j o coordenada), 0, ...) L 2 (R) espaciode Bargmann H con la base{ zn , n = 0, 1, 2, ...} Ahora necesitamosun criterio para determinar si un sistema ortonormal de vectoreses una base.

110 Sea{ en } un sistemaortonormal de vectoresde H . Si notamoscn < en |f > , los coecientes de Fourier de f H en este sistema en , tenemos,exactamen te como en el casode la serie de Fourier, la desigualdadde Bessel:
X n =1

|cn |2 ||f ||2

(9.49)

Decimos que f verica la igualdad de Parsev si tenemos al

X n =1

|cn |2 = ||f ||2

(9.50)

Teor ema 4.23 :Teor ema de las bases ortonormales . Se { en } un a sistema ortonormal en un esp acio de Hilbert H . Entonces, los tres condiciones siguientesson equivalentes: (i) { en } es una base hilbertiana de H . (ii) todo f H verica la igualdad de Parseval en relaci n a { en } . o (iii) < en |f > = 0 n f = 0 En este caso, todo f H es representada por una serie convergente en norma: X N o f = cn en (9.51)
n =1

El inter s de este teorema es que en general es m s comodo, en pr ctica, e a a de vericar la condici n (iii) que la denici n (i) para vericar que un sistema o o ortonormal dado es una base. Vamos a establecer,por este m todo, que todos los sistemasde polinomios e ortogonales que vamos a construir en las pr ximos captulos son basesen los o espaciosde Hilb ert respectivos.

Capitulo 10

Polinomios ortogonales sobre un in t rv alo nito: e p olinomios de Legendre

10.1 Polinomios ortogonales sobre un in t rv alo e nito

En estecaptulo vamosa considerarel casode un int rvalo nito (en los captulos e siguientes pasamosal caso de un int rvalo innito o semi-innito. Vamos a e tratar de aproximar un funci n por polinomios al ejemplode las seriesde Fourier. o Rb Vamosa seguirusandola diferencia cuadr tica mediana N (f ) a |f f N |2 dx a para medir la diferencia entre la funci n y su aproximaci n. o o Vamos a considerar el espaciode Hilb ert H = L 2 ([a, b], dx). El problema es entoncesconstruir una baseortonormal de H , constituada de polinomios Pn (x), de grado n, lo que implica que todas funciones f H puede desarrollarseen una serie convergen (al sen te tido de L 2 ):

f (x) =
n =0

cn Pn (x)

(10.1)

Teor ema 1: las potencias{ x n , n = 0, 1, 2, ...} forman un conjunto TOT AL de L 2 ([a, b], dx) para cualquier int rvalo nito [a, b]. e 111

112 Prova: Seaf una funci n ortogonal a todoslos x n y entoncesa todoslos polinomios. o Vamos a probar que f (x) = 0 y vamos a usar un razonamien por el absurdo. to (1) suponemosprimero que f contin ua sobre[a, b]. Seaf (x 0 ) = > 0. Como la funci n escontin ua, existe un int rvalo [x 0 , x 0 + ] sobrecual f (x) o e . 2 Consideramosla par bola: p(x) = 1 a
( x x 0 ) 2 2 ( b a)

p(x) > 0 p(x) = 1 p(x) > 1

para para para

a x b x = x0 x0 < x < x0 +

(10.2) (10.3) (10.4)

n N , pn (x) es un polinomio y entonces Z

a b

pn (x)f (x)dx = 0 Podemosdecomponer la integral como: Z 0=

a b

(10.5)

Z =
a

x0

Z +

x0+

Z +

(10.6)
x0+

x0

Entonces tenemos,

113

Z |

x0+

Z pn f dx|
a

x0

Z pn f dx| + | Z f dx| + | Z +

| Z | Z ( Z
a b a x0 a x0

pn f dx|
x0+ b

x0

f dx| ( porque |pn | < 1)

x0+

)|f |dx
x0+

|f |dx c

(10.7)

De otro lado, tenemos Z x0+

x0

p f dx

x0+

pn dx

pn dx 2 x 0 / 2 n 2

x0 Z x 0 + / 2

(10.8)

donde = min { p(x), x 0 / 2 x x 0 + / 2} > 1. Entonces, tenemos Z x0+ n | pn f dx| < c (10.9) 2 x0 lo que es imposible por que el miembro de izquierda deviene arbitrariamente grandepara n sucientamente grande. Entonces,tenemosque tener f (x) = 0. (2) Seaf una funci n de cuadrado integrable arbitraria. Entonces, o Zx F (x) f (y) dy
a

(10.10)

donde el integral estomada en el sen tido de Lebesgue. (x) esuna funci n F o contin ua y F (a) = 0. Tambi n, tenemosque F (b) = 0 por que e Zb F (b) = 1.f (y) dy = 0 (10.11)
a

Tal funci n es diferenciable y o = f (x) en todos los puntos x (excepto sobreun conjunto de medida nula o para decirlo de otra manera, sobreun conjunto de punto numerable)1
1 eso es debido al hecho que L 2 es completo solamente si usamos la integral en el sentido de Lebesgue. As los elementos de L 2 no son funciones pero son clase de equivalencia de funciones y decimos que dos funciones son equivalentes si son igual en to dos los puntos excepto sobre un conjun to numerable de puntos o para decirlo de otra manera, sobre un conjun to de medida nula.

dF dx

114 Entonces, para cualquier polinomio P (x), tenemos Zb Zb dP 0= P (x)f (x)dx = [P (x)F (x)] b F (x) dx a dx a a

(10.12)

Como dP es todav un polinomio, la funci n F es cont a o nua y entonces dx ortogonal a todos los polinomios. Entonces, usando el resultado anterior ( de (1)), F (x) = 0 f (x) = 0( excepto sobre un conjunto numerable de puntos), es decir que f (x) es el vector nulo de L 2 ([a, b], dx).

10.2

Construcci on de los polinomos de Legendre

Vamos a empezar por el casom s sencillo, el casodel int rvalo [ 1, 1]. Usando a e el metodo de Gram-Schmidt vamosa construir los p olinomios de Legendre .

Pr oposicion 2.1 : Las condiciones de ortogonalidad Z < Pn |Pm >

1 1

Pn (x)Pm (x)dx = 0, m 6 n =

(10.13)

y de normalizaci n o Pn (1) = 1, n N (10.14) determinar uno y un solo sistema de polinomios Pn (x), de grado n llamada los polinomios de Legendre. La condici n de normalizaci n es escogidapor razoneshistoricas. o o Prova: para demostrar este resultado construimos los polinomios Pn (x) usando el m todo de Gram-Schmidt: e n = 0 P0 (x) = 1 n = 1 P1 (x) = a0 x + a1 . Usando (10.13), tenemosa1 = 0 y de (10.14), a0 = 1 P1 (x) = x n = 2 P2 (x) = b0 x 2 + b1 x + b2 . Las condiciones de ortogonalidad dan b1 = 0 y 2 b0 + 2b2 = 0; por la normalizaci n tenemos nalmente o 3 P2 (x) = 3 x 2 1 2 2 .... La unicidad de la soluci puede demostrarsedirectamente en virtud de la on unicidad del proceso de Gram-Schmidt. A notar que la unicidad permite de inversar la construcci y de expresarlos x j en funci n de los Pn (x). on o Los polinomios Pn son de paridad bien determinada, alternativ amen par e te impar:

115

Pn ( x) = ( 1)n Pn (x)

(10.15)

Esta propiedad se verica usando la unicidad: Pn ( x) es un polinomio de grado n, ortogonal a todoslos polinomios de gradosinferior y entoncesPn ( x) = n Pn (x). Pero, tambi n, tenemos e Z1 Z1 Z1 (Pn ( x)) 2 dx = |Pn (x)|2 dx = 2 |Pn (x)|2 dx n
1 1 1

es decir que 2 = 1 n = 1. n El polinomio Pn tiene entoncesuna paridad bien denidad y necesariamen te n = ( 1)n como Pn es de grado n. Por construcci los polinomios de Legendre se obtienen a partir de las on, potencias x n usando el procesode Gram-Schmidt. Entonces, tenemos < x n , n = 0, 1, 2, .., N > f x , n = 0, 1, ... Esto probo el resultado siguiente:
n

< Pn , n = 0, 1, .., N > f Pn , n = 0, 1, 2, ...

Teor ema 2.2: El sistema de polinomios de Legendre { Pn (x), n = 0, 1, ...} es una base ortogonal en el esp acio de Hilbert L 2 ([ 1, 1], dx). Los polinomios de Legendreson muy utiles en la pr ctica experimental. En a mec anica cu ntica, por ejemplo, en un proceso de difusi n de una part a o cula por un potencial central (coulombiano por ejemplo), la distribucion angular de las part culas saliendo es una funci n de cos, done es el ngulo de difusi n. o a o Entonces, el experimentador va a aproximar esta cuandidad medida por sus primeros t rminos de su serie en polinomios de Legendre: e Xk f ()
n =0

cn Pn (cos), cos [ 1, 1]

(10.16)

Antes de pasar a un estudio m s detallado de los polinomios de Legendre, a podemos notar que el razonamien usado en la demonstraci del teorema 1 to on puedeaplicarsesin problema al casode L 2 ([a, b], (x)dx) con una funci n de peso o (x) > 0. Obtenemosas otros tip os de polinomios sobre[ 1, 1] correspondiente a la elecci de (x) = (1 x) (1 + x) . on

, arbitrarios > 1 = > 1 = = 1/ 2 = = 0

(x) (1 x) (1 + x) (1 x 2 ) (1 x 2 ) 1/ 2 1

tip o de polinomios ( , ) Pol. de Jacobi Pn (x) ( +1 / 2) Pol. de Gegen bauer Cn (x) Pol. de Tc hebychev Tn (x) Pol. de LegendrePn (x)

116 Teor ema 2.3: El sistema de polinomios de Jacobi Pn (x), n = 0, 1, .. es una base ortogonal en L 2 )([ 1, 1], ( , ) (x)dx donde ( , ) (x) (1 x) (1 + x) . En particular, los sistemas de polinomios de Gegenb auer ( = ) , de Tchebychev( = = 1/ 2) y de Legendre ( = = 0) son base ortogonal en el esp acio de Hilbert corresp ondiente.
( , )

Este resultado puede todav reformularse nuevamente. En efecto, los dos a enunciados siguientes son equivalentes: (i) el sistema de polinomios pn (x), n = 0, 1, ... es una base ortonormal en L 2 ([a, b], (x)dx) (ii) el sistema de funci n f n (x) = pn (x)1/ 2 (x), n = 0, 1, ... es una base o ortonormal de L 2 ([a, b], dx).

10.3

La f rm ula de Ro drigues o

No es muy pr ctico de tener que calcular los polinomios de Legendre de cerca a en cerca: una f rmula compacta dando directamente Pn (x) es necesaria. La o f rmula nos fue dada por O. Rodrigues: o Pn (x) = 1 2n n! d dx
n

(x 2 1)n

(10.17)

La funci n denida por (10.17) es un polinomio de grado n. En virtud de o la unicidad de los polinomios de Legendre,estepolinomio va a ser exactamen te el polinomio de Legendrecorrespondiente si probamos que la expresi (10.17) on verica las relaciones(10.13) y (10.14). Por eso, vamos a usar la f rmula de Liebniz para la derivaci n de un proo o ducto: n j n j Xn d v(x) j d u(x) d (u(x)v(x)) = Cn (10.18) j dx dx dx n j j =0
j donde Cn = n! j !( n j )!

.
d dx

Usando la notaci n dx o Pn (x) = =

, tenemos (10.19) (10.20)

1 n d [(x + 1)n (x 1)n ] 2n n! x n 1 X C j dj (x + 1)n dn j (x 1)n x 2n n! j =0 n x

Para x = 1, el unico t rmino no cero esel t rmino con j = 0, entoncestenemos, e e Pn (1) = 1 2n n!

0 Cn 2n n! = 1

(10.21)

117 Para la relaci n de ortogonalidad, tenemosque integrar por parte unas veces: o Z1 1 < Pn |Pm > = n + m dn (x 2 1)n dm (x 2 1)m dx (10.22) x 2 n!m! 1 x Suponemosque m < n, tenemosintegrando por parte, < Pn |Pm > = 1 2n + m n!m! Z
1

dm (x 2 1)m dn 1 (x 2 1)n |1 1 x x (10.23)

dm +1 (x 2 1)m dn 1 (x 2 1)n dx x x

El primer t rmino esigual a ceroy podemositerar el procesom veces,obtenemos e Z ( 1)m (2m)! 1 n m 2 < Pn |Pm > = d (x 1)n dx (10.24) 2n + m n!m! 1 x por que d2m (x 2 1)m = (2m)!. x Para m < n, el resultado es nulo por que dn m 1 (x 2 1)n |1 1 = 0,lo que x demuestra la ortogonalidad. Para m = n, obtenemosla norma de Pn , Z1 (2n)! < Pn |Pm > = n 2 (1 x 2 ) n dx (10.25) (2 n!) 1 Calculamos esta integral por substituci n x = sin . o Z / 2 (2n)! < Pn |Pm > = cos2n +1 d (2n n!) 2 / 2 2 = 2n + 1 donde usamosel resultado de la integral en 2 Tenemosnalmente, < Pn |Pm > = 2 mn 2n + 1 (10.27)

(10.26)

10.4

La ecuaci diferencial de Legendre on

Los polinomios de Legendreverican una ecuaci diferencial de segundogrado on que se deriva f cilmente de la f rmula de Rodrigues. Sear (x) (x 2 1)l , a o dx r = 2lx(x 2 1)l 1 = o escrito de manera diferente, (1 x 2 )dx r (x) + 2lxr (x) = 0
2 esta

2lx r (x) (x 2 1)

(10.28)

(10.29)

integral puede encontrarse en cualquier libro de tablas de integrales y funciones especiales.

118 Derivamos esta relaci n (l + 1) vecesusando la f rmula de Leibniz: o o dlx+1 (1 x 2 )dx r + 2lxr
l +1 X

=
j =0

Clj +1 djx (1 x 2 )dlx+2 j r (10.30)

+2 ldjx xd lx+1 j r = 0

Solo los 3 primeros t rminos son no-cero por culpa del primer factor en cada e t rmino, as obtenemos e j = 0 (1 x 2 )dlx+2 r + 2lxd lx+1 r (1 x 2 )d2 + 2lxd x dlx x j = 1 (1 + l)( 2xd lx+1 r + 2ldlx r ) [ 2(l + 1)xd x + 2l(l + 1)] dlx r j = 2 l(l + 1) ( 2)dlx r [ l(l + 1)] dlx r 2 Adicionando estastres contribuciones, obtenemosnalmente (1 x 2 )d2 2xd x + l(l + 1) dlx r = 0 x Y usando la f rmula de Rodrigues, dlx r = 2l l!Pl (x), obtenemos o (1 x 2 )d2 2xd x + l(l + 1) Pl (x) = 0 x (10.35) (10.34) (10.33) (10.32) (10.31)

Para decirlo de manera diferente, los polinomios de Legendre verican la ecuaci siguiente, llamada ecuacion de Legendr e: on (1 x 2 )y 2xy + l(l + 1)y = 0 que podemosescribir sobre las formas siguientes: d dy (1 x 2 ) + l(l + 1)y dx dx d d (1 x 2 ) y = l(l + 1)y dx dx = 0 (10.37) (10.38)
00 0

(10.36)

Esta ultima ecuaci es una ecuaci a valores propios de la forma on on L( d )y = cy con c = valores propios dx (10.39)

Rem.: una ecuaci de la forma (10.37) o m s generalmen de la forma on a te d dy (f (x) ) + g(x)y = 0 dx dx (10.40)

119 es llamada formalmente autoadjunta o de Sturm-Liouville. En la derivada de (10.35) el grado de Pl es un entero positivo. Pero, la ecuaci (10.35) tiene sen on tido para cualquier valor de l complejo. Por la teor a general de las ecuacionesdiferenciales, sabemos que para cualquier l C, la ecuaci (10.35) tiene dos solucioneslinealmente independientes. De todas esas on soluciones,las unicas que sean de cuadrado integrable y regular sobre todo el int rvalo [ 1, 1] son los polinomios de Legendrey hay uno solo para cada valor e de l = 0, 1, 2, .... M s precisamen tenemos: a te, (i) l N , - una soluci L 2 y regular, el polinomio Pl (x). on - una soluci L 2 pero irregular en x = 1, notada Ql (x) y llamada on funci n de Legendrede 2nd specie que se escribe: o Ql (x) = 1 1+ x Pl (x) ln f l (x) 1 x (10.41)

donde f l (x) es un polinomio de grado (l 1). Por ejemplo, tenemos, 1 1+ x ln 1 x 1 1+ x x ln 2 1 x 1 1+ x P2 (x) ln 3x 1 x

Q0 (x) Q1 (x) Q2 (x)

= = =

(10.42) (10.43) (10.44)

La relaci n (10.41) muestra expl o citamente que Ql (x) esuna funci n o transcenden que divergelogar tal tmicamente para x 1. Adem s, a Ql (x) L 2 ( 1, 1), pero susderivadasno son de cuadrado integrable. Tenemostambi n la f rmula remarcable: e o Z1 1 Pl (y) Ql (x) = (P ) dy (10.45) y x 1 R donde (P ) designoel valor principal de la integral. Estas funciones Ql tiene un papel importante en astronoma. (ii) l no pertenecea N : dos solucioneslinealmente independientes y transcendentes, las funciones de Legendre generalizadas(ninguna es regular o de cuadrado integrable).

120

10.5

La funcion de generacion

Muchas veceses m s comodo de poder tratar todos los polinomios Pn en una a vez. Un m todo posibleesde usar la funci n de generaci o funci n generadora. e o on o Una funci n generadoraesuna funci n a dos variables f (x, t) anal o o tica (real) en t, y tal que su seriede Taylor en t tiene por coecien los polinomios buscados: tes
X

f (x, t) =
n =0

Pn (x)t n

(10.46)

para |x| 1 y |t| < 1. La funci n generadorade los polinomios de Legendreesta o ntimamente ligada al potencial newtoniano o coulombiano. Para mostrar eso, consideramosuna carga (de carga el ctrica 1) situada al punto (0, 0, a) en coordenadascartesianas e y calculamosel potencial electrost atico en un punto cualquieraP de coordenadas polares (r, , ). Primero, suponemosque r > a, seala relaci n siguiente: o R = r a con Este potencial vale 1 R = h r 1+ r (1 + t2 1
a 2 r

(10.47) (10.48)

R 2 = || || 2 = r 2 + a2 2ar cos r a

a r

i 1/ 2 cos

(10.49)

1 2xt ) 1/ 2

(10.50)

donde t = a/r y t < 1, x = cos y entonces |x| 1. Vamosa probar que la funci n generadorade los polinomios de Legendrees o la funci n: o X r 1 f (x, t) = = Pn (x)t n (10.51) R (1 + t 2 2xt ) 1/ 2 n =0 Primero, vamosa vericar que los Pn (x) obedecena las relacionesde ortogonalidad y de normalizaci n (10.13) y (10.14). Por esovamos a calcular o Z
1

Z f (x, t)f (x, u)dx = =

dx (10.52) (1 + t 2 2tx ) 1/ 2 (1 + u2 2ux) 1/ 2 1 1 1 + ut ln (10.53) ut 1 ut

Usando la serie,

X x 2n +1 1+ x ln = 2 1 x 2n + 1 n =0

(10.54)

121 para |x| < 1, obtenemos Z1 f (x, t)f (x, u)dx

1

=
m =0 n =0 X 1

Pm (x)Pn (x)dx t m un (10.55) (10.56) (10.57)

=
n =0 X

2 t m un 2n + 1
X

=
m =0 n =0

mn

2 t m un 2n + 1

Podemoshacer un c lculo similar en la regi n r < a, usando la serie a o 1 = R a(1 1

r 2 a

r a

cos) 1/ 2

1X r Pn (cos) a n =0 a

(10.58)

El an lisis que hicimos es fundamental para los aplicaciones(electrost tica o a a gravitacion) por que es la basede las seriesmultip olares.

10.6

Relacion de recurrencia

Usandola funci n generadoraobtenemosf cilmente las relacionesde recurrencia o a entre los Pn (x). En virtud de la analicidad, podemosderivar en la variable t los dos miembros de la relaci n siguiente: o f (x, t) = (1 + t 2 2xt ) 1/ 2 = As obtenemos, ,
X d f (x, t) = Pn nt n 1 dt n =1 X n =0

Pn (x)t n

(10.59)

= =

1 (1 + t 2 2xt ) 3/ 2 (2t 2x) 2 x t f (x, t) (1 + t 2 2xt ) X (x t) Pn (x)t n

n =0 X

(1 + t 2 2xt )
X n =1

X n =1

Pn nt n 1

= =

Pn (x)( nt n 1 + nt n +1 2xnt n )

Pn (x)( xt n t n 1 )

(10.60)

n =0

P1 (x)

+
n =1

[(n + 1)Pn +1 (x) + (n 1)Pn 1 (x) 2xnP n (x)] t n

X

xP 0 (x) +
n =1

[xP n (x) Pn 1 (x)] t n

(10.61)

122 Igualizando los coecientes de t n en los dos miembros, obtenemoslos relaciones de recurrencia a 3 t rminos: e n= 0 n 1 : : P1 xP 0 = 0 (n + 1)Pn +1 (2n + 1)xP n + nPn 1 = 0 (10.62) (10.63)

De la misma manera, derivando la ecuaci deniciando la funci n generon o adora en la variable x tenemos
X n =0

Pn (x)t n

= =

1 (1 + t 2 2xt ) 3/ 2 ( 2t) 2 t 1 + t 2 2xt

X n =0

(10.64) (10.65)

Pn (x)t n

Procesandode la misma manera, obtenemos Pn +1 + Pn 1 2xP n Pn = 0

0 0 0

(10.66)

Combinando las tres ecuacionesde recurrencia que tenemos, podemosobtener mucho m s relacionesde recurrencia. Por ejemplo, podemosobtener, a Pn +1 Pn 1 (2n + 1)Pn = 0 O todav a, Pn +1 xP n (n + 1)Pn = 0 Pn 1 xP n + nPn = 0
0 0 0 0 0 0

(10.67) (10.68) (10.69)

De la misma manera, podemos usar esasrelaciones para obtener la ecuaci on diferencial de Legendre: (1 x 2 )Pn 2xP n + n(n + 1)Pn = 0
00 0

(10.70)

Capitulo 11

Polinomios ortogonales sobre R: p olinomios dHermite

11.1 Funciones y p olinomios de Hermite

Vamosa pasar a R y claro que sobreR o R + , no podemosconstruir una familia de polinomios ortogonales sin tomar una funci n de peso en la integral. La o 2 gaussianae x es la m s sencilla. Para llegar a nuestro n, vamos a partir de a una ecuaci diferencial. M s precisamen vamos a buscar las solucionesde on a te, cuadrado integrable, es decir las solucionesque pertenecena L 2 (R, (x)dx) de la ecuaci a valores propios: on Hf 1 d2 2 f + x2f 2 dx = Ef (11.1)

Vamosa procederde manera pura algebraca usandosistem aticamente las anotaciones del espaciode Hilb ert: Z < f |g > f (x) g(x) dx (11.2) Z ||f || 2 |f (x)|2 dx (11.3)

En hecho, vamos siempre a tomar funciones f y g sucientemente regular, por ejemplo, funciones de la clase de Schwartz, S, quien es densa en L 2 (R, (x)dx). Recordamosque f S si satisface los dos condiciones siguientes: f C 123

124 f y todassusderivadassona decrecimien r pido: m, j , |x m ||f to a 0 para |x| . Intro ducimos las abreviacionessiguientes: a = a 1 (x + dx ) 2 1 (x dx ) 2 (11.4) (11.5)
(j )

(x)|

Para f , g S, tenemos,por integraci n por parte, o < f |ag > = < af |g > Z (x dx )g(x) dx = f (x) (x + dx )f (x) g(x) dx

(11.6) (11.7)

por que el t rmino todo integrado es cero a . Los ob jectos H , a y a e son llamados operadores lineales en L 2 (R, (x)dx). Ahora vamos a estudiar las propiedadesalgebracas de tal objecto y todas las relacionesque vamos a obtener se aplica a elemen de S. tos Primero, vamos a calcular el comutator de a y a, [a, a]f = = = Entonces, tenemos [a, a] = 1 (11.11) De la misma manera, podemoscalcular el anti-comutator de a y a, y tenemos, { a, a} f = = es decir, { a, a} = 2H Entonces tenemoslas relacionessiguientes, 1 2 1 H 2 H +

(aa aa)f 1 [(x + dx )( x dx ) (x dx )( x + dx )] f 2 f

(11.8) (11.9) (11.10)

(aa + aa)f x f f 2H f
2
00

(11.12) (11.13) (11.14) (11.15)

= =

aa aa

(11.16) (11.17) (11.18) (11.19)

[H , a] = a [H , a ] = a

125 Regresamosa la ecuaci de los valores propios iniciales. Primero, vamos a on probar que si existe un valor propio E , este valor propio tiene que ser positivo: E 0. E ||f || 2 = = = < f |H f > 1 < f |(aa + aa)f > 2 1 (||af || 2 + ||af || 2 2 0 (11.20) (11.21) (11.22) (11.23)

Nos queda a probar que existen solucionesde cuadrado integrable. Por eso, vamosa suponer que f n esun soluci cuadrado integrable, de valor propio E n : on Hfn H (af n ) = = En f n (aH + [H , a])f n (E n 1)af n (11.24) (11.25) (11.26)

esdecir que af n estambi n un vector propio de valor propio E n 1 E n 1. e De la misma manera, tenemos H af n = (E n + 1)af n (11.27)

es decir que af n es tambi n un vector propio de valor propio E n +1 = E n + 1. e Repitiendo la operaci obtenemosa partir de f n una seguidade vectores on, propios ak f n de valores propios E n k = E n k, con k = 0, 1, 2, 3, .... Pero, como todos los valores propios tienen que ser positivos, debe existir un vector f 0 en esta seguidade vectorespropios tal que af 0 = 0 es decir que f 0 satisfacela ecuaci diferencial ordinaria siguiente: on (x + dx )f 0 = 0 Podemosresolver f cilmente esta ecuaci y la soluci es a on on f (x) = e x
2

(11.28)

(11.29)

/2

(11.30)

El valor propio correspondiente es E 0 = 1/ 2 como se puede vericar por la identidad siguiente: 1 1 H f 0 = (aa + )f 0 = f 0 (11.31) 2 2 y esta soluci no es degenerada.Es f cil de vericar que f 0 S. on a A partir de esta soluci minimal, podemosobtener una seguidainnita de on vectorespropios: f n = (a) n f 0 (11.32)

126 de valores propios E n = E 0 + n = n + 1/ 2. Cada uno de esosvectorespropios son no-degenerados.As todas esassolucionestienen la misma forma: f n (x) = =
2 1 (x dx ) n e x / 2 2n/ 2 2 1 H n (x)e x / 2 2n/ 2

(11.33) (11.34)

donde H n (x) es un polinomio de grado n, llamado polinomio de Hermite . Los vectorespropios f n satisfacenlos dos propiedadessiguientes: los vectorespropios f n son 2 a 2 ortogonales: E m < f n |f m > = = = es decir que (E n E m ) < f n |f m > < f n |f m > cuanto a la normalizaci n, tenemos o ||f n || 2 = = = = ||af n 1 ||2 = < af n 1 |af n 1 > < f n 1 |aaf n 1 > 1 < f n 1 |(H + )f n 1 > 2 n||f n 1 || 2 (11.40) (11.41) (11.42) (11.43) = = 0 0 si n 6 m = (11.38) (11.39) < f n |H f m > < H f n |f m > E n < f n |f m > (11.35) (11.36) (11.37)

Y entonces, por iteraci n tenemos, o ||f n || = n!||f 0 ||2 y para f 0 , podemoshacer el c lculo expl a cito de la norma, Z 2 ||f 0 ||2 = e x dx =

(11.44)

(11.45)

As podemosdenir las funciones de Hermite , n (x) = p

como
2

1 H n (x)e x / 2 f n (x) = (2n n! ) 1/ 2 n!

(11.46)

Teor ema 11.1.1: el sistemade los polinomios de Hermite { H n (x), n = 0, 1, 2, ...} 2 es una base ortogonal sobre L 2 (R, e x dx), o de manera equivalente, el sistema

127 de funciones de Hermite { n (x), n = 0, 1, 2, ...} es una base ortonormal sobre L 2 (R, dx). Regresamosa las propiedadesde las funciones de Hermite n . Obtenemos muy f cilmente las relacionesde recurrencia: a an a n xn 1 dx n i

= = = =

nn 1 n + 1n +1 r r n n+ 1 n 1 + n +1 2 2 r r 1 n 1 n+ 1 n 1 n +1 i 2 i 2

(11.47) (11.48) (11.49) (11.50)

Usando la base{ n } , podemosrealizar el espacioL 2 (R, dx) como el espaciode Hilb ert l 2 1 c0 c1 c2 X = cn n (cn ) . (11.51) . n =0 . . En particular, tenemos 0 =

1 0 0 . . . .

, 1 =

0 1 0 . . . .

, 2 =

0 0 1 0 . . .

, ...

(11.52)

En esta realizaci los operadores a y a son represen on, tados por matrices innita A yA : 0 1 0 0 ... 0 0 2 0 ... 0 0 A= (11.53) 0 3 ... .. .. .. .. ... 0 0 0 0 0 A = At
1 ver

(11.54)

cap tulo sobre espacio de Hilb ert para encontrar la denicion del espacio de Hilb ert

l2.

128 Es f cil de ver que estasdos matrices son hermitiana a otra y verican las siguientes relaciones: 1 0 0 0 0 3 0 0 [A, A ] = 1, { A, A } = 0 0 5 0 .. .. .. .. Si consideramoslas matrices Q Q= 1 P= i
1 (A 2

conjuguada una de la ... ... ... ...

i 1 2

(11.55)

+ A ) y P

(A A ), tenemos

p 1/ 2 p 0 0 p 0 1/ 2 p 0 2/ 2 p 0 0 2/ 2 p 0 3/ 2 0 0 3/ 2 0 .. .. .. ..

... ... ... ... ... ... ... ... ... ...

, (11.57) (11.56)

p 1/ 2 0 p0 p 0 1/ 2 0 2/ 2 p 0 p 0 2/ 2 3/ 2 p0 0 0 3/ 2 0 .. .. .. ..

Estas dos matrices son hermitiana y verican la relaci n o [Q, P ] = i 1 (11.58)

d y realizan la acci del operador x y 1 dx en la base { n } . Podemos vericar on i d muy f cilmente que estosdos operadoresx y 1 dx satisfacenla misma relaci n a o i de comutaci n que Q yP , a saber o

[x,

1 d ] = i1 i dx

(11.59)

Para acabar, vamosa estudiar los polinomios de Hermite H n (x) quesondenidos a partir de la relaci n o H n (x) = ex
2

/2

(x dx ) n e x

/2

(11.60)

Esta relaci n es una f rmula de Rodrigues pero usualmen la f rmula de Roo o te, o drigues tiene esta expresi on: H n (x) = ( 1)n ex
2

d dx

e x

(11.61)

La igualdad entre esosdos expresionesresulta de la idendidad siguiente, v lida a para cualquier funci n h(x) sucientamente regular: o (x dx )( h(x)e x
2

/2

= ex

/2

dx (he x )

(11.62)

129 Para probarlo, vamos a proceder por recurrencia. Para n = 1, la demostraci on es inmediata. Vamosa suponer la igualdad para n = N y vamosa vericar que la relaci n es v lida para n = N + 1 o a ex
2

/2

(x dx )e x

/2

= = = = =

ex

2 2

/2

(x dx )(( x dx ) N e x
2

/2

(11.63) (11.64) (11.65) (11.66) (11.67)

( e (x dx )( H N x)e x / 2 ) 2 2 ex dx (H N (x)e x ) x /2
2 e dx (( 1) dN e x ) x 2 2 ( 1)N +1 ex dN +1 e x x

x2

donde usamos la igualdad justo anterior para pasar de la 2o a la 3o l nea. Pasamosde la 3o a la 4o l neausandoel hecho quesuponemosquela equivalencia entre las dos formulas de Rodrigues es v lida para N . a A partir de la f rmula de Rodrigues, de nuevo podemosobtener las relaciones o de recurrencia para los polinomios de Hermite H n (x): 2x H n 2x H n Hn
0

= = =

H n +1 + H n H n +1 + 2nH n 1 2n H n 1

(11.68) (11.69) (11.70)

Tambi n obtenemosla ecuaci diferencial de los polinomios de Hermite: e on H n 2xH n + 2nH n = 0

00

(11.71)

esdecir que los polinomios de Hermite H n sonsolucionesde la ecuaci a valores on propios: 00 0 y 2xy + 2ny = 0 (11.72) Para n N , las solucionesde cuadradointegrable sonlos polinomios de Hermite. 2 Esospolinomios son ortogonalespara la medida gaussianaex dx, es decir Z 2 H n (x)H m (x)e x dx = 2n n! nm (11.73)

Los polinomios de Hermite tienen tambi n su funci n de generaci f (x, t): e o on, f (x, t) = e t
2

+2 xt

=
n =0

H n (x)

tn n!

(11.74)

130

11.2

Aplicaciones de las funciones de Hermite

Las funcionesde Hermite tienen un papel muy importante en varios camposde la f sica y de las matem ticas: en mec a anica cu ntica, en teor cu ntica relativista a a a de los campos, en probabilidad, en teor de las distribuciones. Vamosa illustrar a nadamassu importancia en mec anica cu ntica. a

11.2.1

Ejemplo: aplicacion en mec ica cu ntica: el osciln a lator armonico

Las funciones de Hermite n son funciones propias del oscillator arm nico a 1 o dimensi en mec on anica cu ntica. El Hamiltoniano cl sicodel oscillator arm nico a a o es p2 H cl = + q2 (11.75) 2m 2 donde P es la cuantidad de movimiento y q la posici del oscillator arm nico. on o La ecuaci de Schrodinger correspondiente a H cl es on H= 2 h 2m d2 dx 2 + 2 x (x) = E (x) 2 (11.76)

es decir, a la constante cerca, la ecuaci diferencial (11.1). La ecuaci on on (11.76) esuna ecuaci a valorespropios y sussolucionesde cuadradointegrable on son las funcionesde onda de los estadospropios del sistemay los valorespropios son los nivelesde energ correspondiente. Esassoluci a onesson las funcionesde Hermite n (x), n = 0, 1, ... y los niveles de energ son E n = n + 1/ 2, esos a niveles son equidistantes y no-degenerados. El hamiltoniano H del oscillator arm nico describe un sistema en vibraci n alrededor de un punto de equilibrio o o (por ejemplo, tomos en un cristal, tomos en una mol cula). a a e Adem s, podemos dar un sen a tido f sico directo a los operadores a y a y aa N . El operador a: n n 1 disminuye la energ de una unidad a o cuantum, as vamos a llamarlo operador de anihilaci on . De la misma manera, a: n n +1 aumenta la energia de un cuantum, es un operador de creaci N = aa contra el n mero de cuanta presen por que podemos on. u tes f cilmente vericar que a N n = nn (11.77) N es el operador n umer o de cuanta . Podemosprocederde maneraidentica para un oscillator arm nico a d grados o de lib ertad: para cada grado de lib ertad, intro ducimos un operador de anihilaci n aj , un operador de creaci a y un operador n mero de cuanta N j = aaj o on j u j de valores propios n j = 0, 1, 2, .... Estos operadoresverican las r elaciones de conmutaci on can onic a : [aj , ak ] = 0 [a, a ] = 0 j k (11.78) (11.79)

131 [aj , a ] = j k 1 k (11.80)

Es Dirac quien fue el primero a tener la idea de pasar al l mite d para describir la versi cuanticada del campo electromagn tico. Dirac encon as on e tro la hip tesis inicial de Planck: del punto de vista energ tico, el campo electroo e magn tico es completamen equivalente a una familia innita de oscilladores e te arm nicos. o Esta manera de hacer, basadasobreel operador de creaci y de anihilaci n, on o esmuy generaly seaplica a cualquier sistemacu ntica comportando un n mero a u indeterminado de ob jectos elemen tales id nticos (cuanta). Este formalismo, e llamado se gunda cuantic acion se encuen en f tra sica del estado s olido (fonons, por ejemplo), en electrodin mica cu ntica (fotons), en f a a sica nuclear y de las part culas elemen tales (para todo tip o de part culas).

132

Capitulo 12

Polinomios ortogonales sobre R + : polinomios de Laguerre

12.1 Los p olinomios de Laguerre ordinarios

Vamos a necesitar como para los polinomios de Hermite una funci n de peso. o La elecci natural como funci n de peso es una exponencial e x . La teor on o a sobre[0, ] sedesarrolla de manera an loga al captulo anterior. Pero estevez, a vamos a empezar con la funci n de generaci o on:
xt X e (1 t ) L p (x)t p , |t| < 1 (1 t) p=0

(12.1)

Los coecientes L p (x) son polinomios de grado p, llamados polinomios Laguerr e.

X

de

f (x, t)

=
m =0 X

( 1)m xm tm m! (1 t) m +1
X

(12.2) (12.3)

=
m =0 n =0

( 1)m (m + n)! m m + n x t m! m!n!

donde usamosla siguiente serie para llegar al resultado anterior:

X (m + n)! 1 = tn (1 t) m +1 m!n! n =0

(12.4)

133

134 Entonces, tenemos L p (x) = =

m =0

Xp ( 1)m p! xm m! m!(p m)! m =0 Xp

m ( 1)m Cp

(12.5) (12.6)

xm m!

En particular, tenemos L 0 (x) L 1 (x) = = 1 1 x (12.7) (12.8) (12.9)

1 L 2 (x) = 1 2x + x 2 2 Tambi n tenemosuna f rmula de Rodrigues: e o L p (x) = 1 x e p! d dx

p

(ex x p )

(12.10)

A partir de esta relaci n, vericamos f cilmente la ortogonalidad sobre R + : o a Z L p (x)L q (x)e x dx = pq (12.11)
0

De esta relaci n podemosderivar dos enunciados equivalentes: o las funciones{ L p (x)} forman un sistemaortonormal sobreL 2 (R + , e x dx). las funciones{ L p (x)e x/ 2 } forman un sistemaortonormal sobreL 2 (R + , dx). A partir de la funci n de generaci podemosobtener las relacionesde reo on currencia exactamen como por los polinomios de Legendre: te (i) Derivando en la variable t la funci n de generaci tenemos o on, (p + 1)L p+1 + (x 2p 1)L p + pL p 1 = 0 (ii) Derivando en la variable x la funci n de generaci tenemos o on, L p+1 L p + L p = 0
0 0

(12.12)

(12.13)

Combinando estasdos ecuaciones, btenemosla ecuaci diferencial de los polio on nomios de Laguerre: 00 0 xL p + (1 x)L p + pL p = 0 (12.14) Los polinomios de Laguerre son solucionesde la ecuaci de Laguerre quien es on de nuevo una ecuaci a valores propios: on x y + (1 x)y + py = 0
00 0

(12.15)

y es la unica soluci de cuadrado integrable, es decir es la unica soluci on on perteneciendoa L 2 (R + , e x dx) y regular en x = 0.

135 para p = 0, 1, 2, ...: tenemosuna soluci de cuadrado integrable (soluci n on o L 2 ), el polinomio de Laguerre L p (x) y una otra soluci que no es de on cuadrado integrable (no L 2 ). para p 6 0, 1, 2, ...: dos solucioneslinealmente independiente pero ningu= nas es de cuadrado integrable. En Resumentenemos,como para los polinomios de Legendreo de Hermite, Teor ema 12.3.1 : el sistema de los polinomios de Laguerre { L p (x), p = 0, 1, 2, ..} es una base ortogonal sobre L 2 (R + , e x dx).

12.2

Los p olinomios de Laguerre asociados

De hecho, no sonlos polinomios L p (x) quesonlos m s utiles pero sonpolinomios a m s generales,llamados polinomios de Laguerr e asociados denido por la a funci n de generaci siguiente: o on e1 t (1 t) +1 L ( ) (x) p
xt

=
p=0 Xp

L ( ) (x)t p , ( Ry 0) p
p m ( 1)m Cp+

(12.16)

=
m =0

xm m!

(12.17)

El coecien binomial estando denido de manera apropriada para valores te no-entera de los par metros: para eso, es suciente de cambiar la factorial m! a por ( m + 1) donde Gamma(x) es la funci n Gamma de Euler. o Como en los casosanteriores, tenemos una f rmula de Rodrigues: o L ( ) (x) = p 1 x e x p! d dx
p

(e x x p+ )

(12.18)

una relaci n de ortogonalidad: o Z ( + p)! L ( ) (x)L ( ) e x x = pq p q p! 0 una ecuaci diferencial: on x(L ( ) ) + ( + 1 x)( L ( ) ) + pL ( ) = 0 p p p
00 0

(12.19)

(12.20)

Teor ema 12.2.1 : > 1, el sistemade polinomios de Laguerre aso ciados ( ) { L p (x), p = 0, 1, 2, ...} es una base ortogonal sobre L 2 (R + , e x x dx).

136

12.3

Aplicaci on al tomo de Hidr ogeno en mec nica a a cu ntica a

La principal aplicaci n de los polinomios de Laguerre asociadosseencuen en o tra mec anica cu ntica en el estudio del tomo de hidr a a ogeno. El problema consiste a resolver la ecuaci de Schrodinger con un potencial coulombiano e2 /r , es on decir encon trar las solucionesde cuadrado integrable de la ecuaci a valores on propios: 2 h e2 4 ( ) = E ( ) r r (12.21) 2m r Para eliminar las constantes vamos a intro ducir las siguientes cuantidades: (i) r b
h2 me 2
4

es el radio de Bohr del tomo de hidr a ogeno.

(ii) E 0 me2 esel energ de ionizaci n del tomo de hidr a o a ogenoen su estado 2 h fundamental. Tambi n vamos a traba jar, por simplicidad, en unidades at micas (sin die o mensi r /r b y E /E 0 . En este caso,la ecuaci de Schrodinger se transforma on) on en 2 (4 + + E ) = 0 (12.22) r donde ahora las derivadas son en las variables expresadaen unidadesat micas. o Haciendo la separaci de variables en coordenadaspolares esfericas, on (r ) = R l (r )Yl m (, ) (12.23)

donde Yl m (, ) son las arm nicas esfericas. Por la parte radial, tenemos la o ecuaci on 00 2 0 2 l(l + 1) Rl + Rl + ( + E )R l = 0 (12.24) r r r2 Las solucionesde cuadrado integrable corresponden a los estados ligados, es decir a E < 0. Para encon trarlos, vamos primero a buscar el comportamiento asimptotico de las solucionesa los puntos cr ticos que son r = 0 y r = . (i) r , la parte dominante de la ecuaci es on Rl + E Rl = 0

00

(12.25)

Las solucionesde esta ecuaci son R l = e E r . El signo m s es a on a rechazar y nos queda como soluci para r , on R l (r ) e / 2 , con 2r E (12.26) (ii) r 0: para l 6 0, la parte dominante de la ecuaci es = on Rl +
00

2 0 l(l + 1) R Rl = 0 r l r2

(12.27)

137 Esta ecuaci es homogenea en r y admite entonces una soluci de la on on forma R l (r ) = r satisfaciendola relaci n: o ( + 1) = l(l + 1) (12.28)

es decir que = l o = (l + 1). La segundasoluci correspondiente a on = (l + 1) no es de cuadrado integrable en r = 0 y entonces tenemos que rechazarlo. Para l = 0, el mismo razonamien da ( + 1) = 0, es to decir = 0 o = 1. La soluci en r 1 es de cuadrado integrable en on r = 0 pero no su gradiente, lo que no es sicamen admisible. Tenemos te entonces que rechazar esta soluci on. En conclusi tenemosen todos los casosl 0, R l (r ) r l si r 0. on, Basadosobreesosdos comportamientos asimpt ticos, vamosa intro ducir en o la ecuaci de Schrodinger el Anzatz siguiente: on R l () = e / 2 l L () lo que da para L () la ecuaci siguiente: on L + (2l + 2 )L + (
00 0

(12.29)

1 l 1)L = 0 E

(12.30)

Comparando esta ecuaci con la ecuaci de los polinomios de Laguerre asoon on ciados, vemosque son iguales si hacemoslas identicaciones siguientes: = 2l + 1 1 l 1 E (12.31) (12.32)

p =

Para que la soluci sea de cuadrado integrable y aceptable sicamen on te, necesitamosque p seaun entero positivo, es decir Y entonces, E = 1 , n = 1, 2, .... n2 (12.34) 1 = p+ l + 1= n 1 E (12.33)

Eso nos da directamente la ley de Balmer sobre los nivelesde energ de los a estadosligados del tomo de hidr a ogeno. Ahora, podemosescribir completamen la soluci de la ecuaci de Schrodinger te on on del tomo de hidr a ogeno,es decir la funci n de onda del electr n ligado: o o nl m (r, , ) = e r /n 2r n
l

L n l 1(

(2 l +1)

2r m )Y (, ) n l

(12.35)

138 La energ correspondiente es E n = 1/n 2 y es entonces independiente de l a y m. Los valores de los par metros son a n l m = = = 1, 2, ... 0, 1, ..., n 1 l, ..., l (12.36) (12.37) (12.38)

Si cambiamos el potencial coulombiano e2 /r por cualquier potencial central V (r ), los valores propios de la energ van a depender de l y de n y la multipli a cidad de cada nivel E nl sera igual a (2l + 1) expresandola simetr esferica del a potencial. En el casocoulombiano, tenemosadem una P as degenerescencia l, en n 1 dicha accidental y la multiplicidad de cada nivel E n es l =0 (2l + 1) = n 2 .

Capitulo 13

Teor general de los a p olinomios ortogonales

Estudiamos sucesiv amente los sistemasde polinomios ortogonalesde Legendre sobre [ 1, 1], de Hermite sobre R y de Laguerre sobre R + . Claramente esos3 sistemasde polinomios tienen muchos puntos en com n y no es una sorpresa u que podemoshacer una t ora general de los polinomios ortogonales. e Seaun int rvalo [a, b] acotadoo no, buscamosentoncesa construir un sistema e ortogonal de polinomios { pn (x), n = 0, 1, 2...} sobre[a, b], esdecir que para cada n, tenemosla siguiente relaci n: o Zb pn (x)pm (x)(x)dx = cn nm (13.1)
a

Pr oposicion 13.1 : El polinomio pn (x) tiene n ra ces reales sobre [a, b]

Prova: Sea { x j } k todas las ra ces de pn (x) de multiplicidad impar y sea (x) 1 Qk j =1 (x x j ). Entonces el polinomio (x)p( x) no cambia de signo sobre [a, b] por que todas sus ra cesson de multiplicidad par y entonces, Zb (x) pn (x) (x) dx 6 0 = (13.2)
a

Pero, en virtud de la ortogonalidad de los pn , esoimplica que (x) es de grado n, es decir que pn (x) tiene n ra cesx j sobre [a, b].

Pr oposicion 13.2: Los polinomios pn (x) pue den ser representadopor una 139

140 f rmula de Rodrigues. o

Prova: Consideramosla funci n: o F n (x) = donde W (x) = (b x)( x a) W (x) = (x a) W (x) = 1 si a, b < si a < y b = si a = , b = (13.4) (13.5) (13.6) 1 (x) d dx
n

((x)W n (x))

(13.3)

Buscamosa cualescondicionesla f rmula (13.3) deno una familia de polio nomios ortogonalesal sen tido de (13.1). Tenemosque tratar los tres casos(a, b nitos, a nito y b = , a = y b = ) separamen te: (1) a, b nitos W (x) = (b x)( x a), F 1 (x) tiene que ser un polinomio de grado uno. SeaF 1 (x) = Ax + B
0 1 d (W) = W + W = Ax + B dx 0

(13.7)

d = ln = dx = = Por integraci n, obtenemos o ln (x) = =

Ax + B W W (A + 2)x (a + b B ) (b x)( x a) + b x x a

(13.8) (13.9) (13.10)

ln( b x) + ln( x a) + ln ln (b x) (x a)

(13.11) (13.12) (13.13)

+ ln

(x) = (b x) (x a)

Adem s, F 0 (x) = constante y usando (13.1), obtenemos a Z

a b 2 F 0 (x)(x)dx

Z = cst
a

(x)dx <

(13.14)

lo que implica que , > 1 (pero no necesariamen enteros). te

141 Obtenemosentonces la f rmula de Rodrigues: o

( F n , ) = (b x) (x a)

d dx

(b x) + n (x a) + n

(13.15)
( , )

Usando la f rmula de Liebniz, vemos inmediatamente que F n o es un polinomio de grado n. La relaci n de ortogonalidad (13.1) es una conseo cuencia de (13.15) por integraci n por parte. En efecto, (x) se anula a o los l mites x = a y x = b. Escogiendolos valoresde y , obtenemoslas diferentes familias de polinomios ortogonalescitado en el captulo 10 sobre los polinomios de Leg endre.

(2) a nito, b = , W (x) = (x a) Razonamien an logo al caso anterior, tenemos F 1 (x) = Ax + B y ento a tonces, = ln = (x) =
2 F 0 (x) (x)dx a
0

Ax + B 1 = A+ x a x a Ax + ln( x a) + ln CeAx (x a) Z eAx (x a) dx <

a

(13.16) (13.17) (13.18) (13.19)

esoimplica A < 0 y > 1, normalizamos a A = 1 y = 1. (x) = e x (x a)

()

(13.20)

Sobre[0, ], obtenemoslos polinomios de LaguerreasociadosL p (x) ( > 1) y los polinomios de Laguerre L p (x) para = 0.

(3) a = y b = , W (x) = 1. F 1 (x) = = Ax + B x2 A + Bx + C 2 2 1 e2 Ax + B x + C

0

(13.21) (13.22) (13.23)

ln = (x) R =

Para que (x)dx < , tenemosque tener A < 0. Adem s, podemos a eliminar el t rmino B por una transformaci n x x j , lo que nalmente e o nos da como funci n de peso: o (x) = e x
2

/2

(13.24)

142 En resumen, en cada uno de los tres casos,la funci n de peso es determio nada por la condici n de ortogonalidad y de integrabilidad (ecuaci (13.1)). o on Obtenemos una familia ortogonales de polinomios perteneciendo a el espacio de Hilb ert L 2 ([a, b], (x)dx). Provamos adem que es a cada vez una basede as esteespaciode Hilb ert. De la misma manera que para la f rmula de Rodrigues, o podemosestableceren toda generalidad: una f rmula de recurrencia a 3 t rminos: o e pn +1 = (A n x + B n )pn (x) + Cn pn 1 (x) (13.25)

dondetodoslos coecientes A n , B n y Cn puedenserobtenidosexpl citamente. una ecuaci diferencial de 2o grado que essiempreuna ecuaci a valores on on propios: 00 0 W (x)pn (x) + K 1 p1 (x)pn (x) + n pn (x) = 0 (13.26) Notamosantes de acabarestecaptulo quetodosesaspropiedadesremarcable de esasfamilias de polinomios ortogonalesvienen de la relaci n estrec entre o ha esospolinomios y los elemen de latrices de las represen tos taciones de algunos algebra de Lie pero esta tema va muy adelante del temario de este curso.

Capitulo 14

Ejercicios
H 1. Sea A = (3x 2 + 6y, 14yz, 20xz 2 ), hal lar C A dl entr e los puntos (0, 0, 0) y (1, 1, 1) (a) Con C igual a (t, t 2 , t 3 ). (b) Con C igual a la linea derec que va de (0, 0, 0) a (1, 1, 1). ha 2. Inte grar (4x + 2y)dx + (2x 6y)dy sobr e una curva de (0, 0) a (1, 1) y ense ar que esta inte gral es indep endiente del camino seguido. n 3. Hal lar el ujo de A = (y, x, 3y2 z) a tr aves de la supercie de un cilindr o de ecuacion: x 2 + y2 = 16 y 0 z 5 usando dos m todos e difer entes. 4. Sea el camp o vectorial F = (x 2 + y2 + z2 ) 3/ 2 (x, y, z) denido sobr e { (x, y, z) tal que x 2 + y2 + z2 > 0} (a) Provar que F es solenoidal. (b) Pero que F 6 rot A (indicio: evaluar el ujo de F a trav s de la = e esferax 2 + y2 + z2 = 1). 5. Sea el camp o F = (x 2 + y2 ) 1 ( y, x) denido sobr e { (x, y) tal que x 2 + y2 > 0} . (a) Provar que F es irrotacional. (b) Pero que F 6 grad (indicio: evaluar la integral de F a lo largo de = 2 2 x + y = 1). 6. Pr ovar que: (a) R H ( r )dV = S ( )d S (indicio: poner f = con un r u u V vector constante). 143

144 (b) R H V ( ) = S d S V ( ) (indicio: poner f = V con r r u u V un vector constante).

7. demostr ar las idenditades vectoriales seguientes:

~ (~ ~) a b c ~ (~ ~) a b c (~ ~ (~ d) a b) c ~ ( ~) a ( ~) a (~) a (~) a (~ ~ a b) (~ ~ a b) (~ ~ a b)

= = = = = = = = = =

~ (~ ~) b c a (~ ~)~ (~ ~ c a c b a b)~ (~ ~)(~ d) (~ d)(~ ~) a c b ~ a ~ b c 0 0 ( ~) 2~ a a ~ + ~ a a ~ + ~ a a (~ )~ (~ )~ a b+ b a + ~ ( ~ + ~ ( ~) a b) b a ~ ( ~) ~ ( ~ b a a b) ~( ~ ~ ~) + (~ )~ a b) b( a b a (~ )~ a b

(14.1) (14.2) (14.3) (14.4) (14.5) (14.6) (14.7) (14.8) (14.9) (14.10) (14.11) en

8. demostr ar la forma del gradiente, diver gencia y r otacional coor denadas no-c artesianas (a) coordenadaspolares(2 dim.): (r, ) ds2 = dr 2 + r 2 d2 (b) coordenadaspolares esfericas: (r, , ) ds2 = dr 2 + r 2 d2 + r 2 sin2 d2 (c) coordenadaspolares cil ndricas: (, , z) ds2 = d2 + 2 d2 + dz2

9. Obtener las series de Fourier de las funciones seguientes (siempr e expr esar el r esultado con funciones r eales)

145

f (x)

c l < x < 0 c 0< x < l con f (x) denida sobre ] l, l[

(14.12)

f (x) f (x)

= =

x sobre ]0, 2[ x 2 sobre ]0, 2[ (1 a)x a(1 x) f ( x) 0 x a a x 1 1 x 0

(14.13) (14.14)

f (x)

(14.15)

con f (x) denida sobre ] 1, 1[ f (x) = x 2x < x < 0 0< x < (14.16)

con f (x) denida sobre ] , [ f (x) = sin(x) sobre ]0, [ (14.17)

10. Calcular val:

las sumas seguientes usando la desigualdad de Parse-

X n =1 X n =1

1 n2 1 n4

(14.18) (14.19)

11. Calcular ientes:

las tr ansformadas

de Fourier

de las funciones

sigu-

146

f (x) f (x) f (x) f (x) f (x)

= = = = =

e a( x m ) e a|x | a> 0 Z + y 2 +( x y ) 2 2 dy e

(14.20) (14.21) (14.22) (14.23) (14.24)

x e x / 2 Z + dy g(y) g(x y)

con g(x) =

x ( l x l) 0

12. Usar el teor ema de Plancher el le y los r esultados pr ecedentes par a calcular las inte grales siguientes: Z
+

Z +

dk (k 2 + a2 )( k 2 + b2 ) (k 2 + a2 )(( k dk p) 2 + b2 )

(14.25) (14.26)

13. Resolver el ecuacion difer encial de un cir cuito RLC (ver curso de electr omagnetismo) usando las inte grales de Fourier El ecuaciondiferencial de un circuito RLC se escribo como d2 I dI 1 + R + I = f (t) 2 dt dt C con I (t) como la corriente electrica y f (t) una funci n conocida. Una o soluci particular de estaecuaci puedeencon on on trarse usandolas propiedades de la transformada de Fourier: L a. Hacer la transformada de Fourier de los dos miembros de la ecuaci RLC y expresar la transformada de Fourier (TF) de on I (t) en funcion de la TF de f (t). b. Calcular I (t) a partir de su TF usando el teorema de convoluci n. o c. Calcular la soluci general de la ecuaci homog na correon on e spondiente. As la soluci general de la ecuaci va poder se , on on escribir como la suma de la soluci particular y de la soluci on on de la ecuaci homogena. on d. Calcular la soluci completa en el casode f (t) = E sin t on si t 0 y 0 si t 0. ( !! f (t) no es un funcion de cuadrado R 2 integrable ( 0 |f (t)| dt ). Entonces, ustedes necesitan regularizar f (t) multiplicandolo, por ejemplo, por e t y despues pasar por el limite 0)

147 14. Hal lar las soluciones gener ales u(x, y) de las ecuaciones difer enciales siguientes:

uxx ux uy uxy uxx uy y x ux y uy x ux + y uy 15. Clasic ar las ecuaciones siguientes:

= = = = = =

0 0 0 0 0 nu

(14.27) (14.28) (14.29) (14.30) (14.31) (14.32)

4uxx + 5uxy + uy y + ux + uy uxx 4uxy + 4uy y uxx + uxy + uy y + ux 3uxx + 4uxy uy y uxx 2uxy + uy y + u 4uxx + uy y + 5xy uxx + 4uxy + 4uy y uy y

= = = = = = = =

2 e 0 e x 0
3x 2 2 y

(14.33) (14.34) (14.35) (14.36) (14.37) (14.38)

2

e3x + 2xyu 2uxx + 3xyu2

(14.39) (14.40)

16. Resolver la ecuacion de la cuer da vibr ante de longitud l ja a los dos extr emidades con las condiciones initiales siguientes : x l x 0 (0 x l/ 2) (l/ 2 x l)

w(x, 0) w(x, 0) t

= =

(14.41) (14.42) en los 3

17. Resolver la ecuacion de Laplac e en dos dimensiones casos siguientes:

(a) en un cuadrado: 0 x 1 y 0 y 1 con condicionesa la frontera:

w(0, y)

w(1, y) = 0 0 x (1 x) (0 x 1/ 2) (1/ 2 x 1)

(14.43) (14.44) (14.45)

w(x, 1) = w(x, 0) =

148
2 2 (b) en un anillo: r 1 x 2 + y2 r 2 con condicionesa la frontera:

w |r = r 1 r w|r = r 2

= =

1 0

(14.46) (14.47)

(c) en el mismo anillo pero con otras condicionesa la frontera: w |r = r 1 r w|r = r 2 = = B cos Ar 2 cos (14.48) (14.49) con dis-

18. Resolver la ecuacion de calor par a una barr a innita tribuci on initial: f (x) = e a
2

x2/ 2

(14.50)

19. Resolver la ecuacion de calor par a una barr a de longitud unidad 0 x 1 y t > 0 con condiciones initiales: w(x, 0) = Tratar los dos casossiguientes: (a) condicionesa la frontera homogenes:w(0, t) = w(1, t) = 0. (b) condicionesa la frontera no-homogenes: x l x (0 x l/ 2) (l/ 2 x l) (14.51)

w(0, t) w(1, t)

= =

T0 T1

(14.52) (14.53)

20. Sea una esfer a de r adio a que se mueve a velocidad constante v en un u do ideal, es decir que el u do es no-visc oso, inc ompr esible e irr otacional. (a) provar que = y que satisfaceel ecuaci de Laplace (inv on dicio: usar ecuaci de contin uidad y teorema de la divergencia). on (b) resolver la ecuaci de Laplace y calcular la distribucion de velociad on del u do. Las condicionesa la frontera sondeterminadaspor la sica del problema. 21. Resolver la ecuacion del oscil lator armonic a a dos dimensiones: H= 1 2 2 x y + x 2 + y2 = E 2 (14.54)

149 Sabiendoque las solucionessobre L 2 (R, dx) de la ecuaci siguiente son on las funcionesde Hermite normalizadas n (x): 1 1 d2 + x 2 n (x) = (n + )n (x) x 2 2 (14.55)

(a) usar el m todo de separaci de variables. e on (b) cualesson las valores { E n |n N } permitida para E ? (c) calcular la degeneraci para cada valor de E , es decir el n mero de on u solucionesindependientes para cada valor de E n . 22. Usando de nuevo las pr opie dades de las funciones de Hermite (ver ejer cicio pr ecedente), hal lar la unic a solucion de la ecuacion siguiente: 1 2 x + x 2 1 u = 2 u(x, 0) =

t u 0 (x) + 42 (x)

(14.56) (14.57)

tal que u(x, t) L 2 (R, dx) para todo tiempo t. 23. Hal lar la unic a solucion r egular de 4 f = en una esfer a de r adio L y veric ando la condicion a la fr onter a:
2 f (r = L, , ) = cos

(14.58)

(a) usar el m todo de separaci de variable en el sistemade coordenadas e on adequadasy poner la constante igual a l(l + 1). P j (b) Poner la parte radial R(r ) = j Z aj r y determinar para cual valor de j , R(r ) satisfacela ecuaci de Laplace (por la parte radial) y es on tambi n una funci n regular. e o (c) Usandoel hecho que las solucionesde la parte angular del laplaciano: 3 Y (, ) = l(l + 1)Y (, )
m

(14.59)

son las arm nicas esfericas : Y (, ) Yl (, ) con l m o l (solamen las arm nicas esfericas con m = 0 no depende de la te o variable angular ).Y sabiendoque Y00 (, ) Y10 (, ) Y20 (, ) = = = 1 4 r 3 cos 4 r 5 2 (3 cos 1), 16 (14.60) (14.61) (14.62)

determinar la soluci unica que satisfacela condici n a la frontera on o dada.

150 24. Resolver ecuacion siguiente: utt = uxx + a (14.63)

0 < x < 1, t > 0. Con condicionesa la frontera y datos de Cauchy iguales a u(0, t) = u(x, 0) = ut (x, 0) = 25. Resolver ut = uxx + 2x con 0 < x < 1, t > 0 y con condicionesa la frontera y iniciale: u(0, t) u(1, t) = = 0 0 x x2 (14.68) (14.69) (14.70) (14.67) u(1, t) = 0 mx (1 x) 0 (14.64) (14.65) (14.66)

u(x, 0) =

26. Pr obar que todo espacio pr ehilb ertiano ( E, < .|. > ) es un espacio vectorial normado por la norma denida por p ||x|| = < x|x > (14.71) Usar por la demostaci la desigualdadde Schwarz: on | < x|y > | ||x||.||y|| (14.72)

27. Pr obar que toda norma que deriva de un pr oducto escalar veric a la igualdad del par alelo gramo: ||x + y|| 2 + ||x y|| 2 = 2||x||2 + 2||y|| 2 (14.73)

Encontrando una norma que no verica esta igualdad, probar que existe norma que no derivan de un producto escalar. 28. Par a p 1, denimos L p (R, dx) como espacio de las clases de equivalencia de funciones f de una variable r eal satisfaciendo la condici on: Z dx|f (x)|p < Para tales funciones,la norma es Z ||f || p dx|f (x)|p
1/p

(14.74)

(14.75)

151 Hal lar las valor es de p por cuales ||.||p deriva de un pr oducto escalar. Usar por eso, la idendidad del paralelogramo por las funciones caracter sticas de los int rvalos [0, 1] y [1, 2]. Para las valores de p as encone trada, verica que las normas correspondientes derivan efectivamente de producto escalares dando expl citamente la denici n del producto escalar. o 29. Sea E un espacio vectorial sobr e C. Podemos dar a E una distancia (l lamada discr eta) deniendo x, y E, d(x, y) = 0 1 si x = y si x 6 y = (14.76)

Pr obar que es bien una distancia y que esta distancia no deriva de una norma si suponemos que C tiene la norma compleja usual. 30. Pr obar que el espacio E del ejer cicio anterior 31. Pr obar que Q no es completo ( Q conjunto r acionales) . es completo. de los n umer os

32. Pr obar que todo espacio vectorial E de dimensi on nita sobr e R ( C) es un espacio de Hilb ert. 33. Seq H = L 2 ([ 1, 1], dx), seaf H , denimos la parte par e impar de f como 1 f (x) = { f (x) f ( x)} (14.77) 2 De la misma manera, consideramoslos sub-espaciospar e impar denido como H = = Probar que
H = H

{ f |f H } { f H |f (x) = f ( x)} { f H |f = 0} (14.78) (14.79)

Deducir de eso que H + y H son sub-espacios de Hilb ert de H y que H puede escribirse como suma dir ecta de esos 2 espacios: H = H + H 34. Pr obar usando la orto gonalidad de los Pl que Z1 dx p(x) Pl (x) = 0
1

(14.80)

(14.81)

si p(x) es un polinomio de grado estrictamente inferior a l.

152 35. Pr obar que Pl ( x) = ( 1)l Pl (x) (14.82) Por eso, usando el resultado anterior, probar que primero que Pl ( x) = l Pl (x). Hallar despuesque 2 = 1 y deducir que l = ( 1)l . l 36. Pr obar que djx (x a) n |x = a = n!nj (14.83) 37. Pr obar que los polinomios de Legendr e Pl denido por la f ormula de Rodrigues 1 Pl (x) = l dlx (x 2 1)l (14.84) 2 l! veric an la ecuacion de Legendr e y la condici on de normalizacion . Pl (1) = 1 (14.85) 38. Pr obar usando la f ormula de Rodrigues, que los polinomios Legendr e veric an la condici on de normalizaci on < Pl |Pl > = 2 2l + 1 de

(14.86)

39. Hal lar P3 usando la orto gonalidad, la simetr y la normala izacion de los polinomios de Legendr e P0 (x) P1 (x) P2 (x) = = = 1 2 1 (3x 2 1) 2 (14.87) (14.88) (14.89) de Legendr e P25 (x).

40. Hal lar el coeciente de x 16 en el polinomio 41. Hal lar la serie de Legendr e de la funci on: f (x) = 0 1

si 1 x si x 1

(14.90)

donde 1 < < 1. Usar la f rmula de recurrenciassabiendoque o X f (x) cl Pl (x) (14.91)

l

con cl = < Pl |f > ||Pl ||2 Z1 1 (l + ) dx f (x) Pl (x) 2 1 (14.92) (14.93)

153 42. Hal lar la serie de polinomios de Legendr e de la funci on f (x) = x 2 . 43. Pr obar, usando la funci on de gener acion, que P2n (0) P2n +1 (0) 44. las funciones ecuacion de Hermite = = ( 1)n 0 (2n 1)! n!2n (14.94) (14.95)

son denidas como soluciones de la (14.96)

( d2 + x 2 )f = f x

Como es una ecuaci diferencial de segundogrado, existe una segunda on soluci independiente. Hallar, usando el m todo de Wronsky, esta seon e gunda soluci y probar que es igual a on Zx 2 2 g(x) = e x / 2 dtet (14.97)
0

Vericar que la funci n g(x) no es un elemen de L 2 (R, dx). o to 45. Pr obar que las funciones de Hermite f n son funciones pr opias de la tr ansformaci on de Fourier, denida por Z 1 fb(k) F (f )( k) = dxe ik x f (x) (14.98) 2 M s precisamen demostrar la relaci n: a te, o F (f n ) = ( i ) n f n (14.99)

Por eso, se mostrar por c lculo directo para f 0 y despu s proceder por a a e recurrencia para las otras funcionesde Hermite. 46. Pr obar, usado la funci on de gener acion que los polinomios Hermite son de paridad bien denida: H n ( x) = ( 1)n H n (x) de

(14.100)

47. Obtener, usando la funci on de gener acion y la serie de Taylor de eu : X un u e = (14.101) n! n =0 la expr esi n: o
[n/ 2]

H n (x) =
k =0

( 1)k n! (2x) n 2k k!(n 2k)!

(14.102)

154 48. Pr obar que H 2n (0) = ( 1)n (2n)! y H 2n +1 (0) = 0 n! (14.103)

49. Usando la funci on gener ador a, deducir la f ormula de adic cion par a los polinomios de Hermite: H n (x + y) =
n 1 X

2n/ 2

k =0

n! H k ( 2x)H n k ( 2y) k!(n k)!

(14.104)

50. Obtener las r elaciones de r ecurr encia (11.69) y (11.70) usando la funci on de gener acion. 51. Hal lar la serie en polinomios de Hermite de la funci on siguiente f (x) = 1 x> 0 1 x < 0 (14.105)

usando la propiedad de H n (x) siguiente: e x H n (x) =

2 2 d e x H n 1 (x) dx

(14.106)

52. Sea (x) una funci on de peso sobr e [ 1, 1] y sea { pn (x)} n N el sistema orto gonal de polinomios corr espondiente. Z
1

(x)pm (x)pn (x) = cn mn

1

(14.107)

Probar que si ( x) = (x) entonces, tenemos pn ( x) = ( 1)n pn (x) (14.109) (14.108)

53. Los polinomios de Tchebychev Tn (x) par a n = 0, 1, 2, ... son polinomios orto gonales en r elacion a la funci on de peso (x) = (1 x 2 ) 1/ 2 , y veric an la r elacion de orto gonalidad: Z < Tn |Tm > =
1 1

dx(1 x 2 ) 1/ 2 Tn (x)Tm (x) = cn mn

(14.110)

para cualquier m, n N . La manera convencional de normalizar esos polinomios es de imponer Tn (1) = 1 (14.111)

155 Usando esas dos condiciones y el r esultado anterior, hal lar los 5 primer os polinomios de Tchebychev T0 .T1 , T2 , T3 y T4 . Por eso, vamos a necesitar la integral denida siguiente: Z1 ( + 1)( + 1) dxx (1 x) = (14.112) ( + + 2) 0 donde ( x) es la funci n Gamma de Euler y tiene como propiedades: o ( n + 1) = (1) = (1/ 2) = ( n + 1/ 2) = (2n 1)!! 54. Los polinomios Rodrigues:
( Pn , ) =

n! (2) = 1 (2n 1)!! 2n 1.3.5....(2n 1)

(14.113) (14.114) (14.115) (14.116) (14.117)

de Jac obi Pn

( , )

son denido por la f ormula de

( 1)n dn (1 x) (1 x) n (1 x) n + (1 + x) + n n n! 2 dx

(14.118)

con > 1 y > 1, n = 0, 1, 2, .... Probar que los polinomios de Jacobi verican los propiedadessiguientes: (a) Pn
( , )

satisfacenla ecuaci diferencial siguiente: on

00 0

(1 x 2 )u + ( ( + + 2)x) u + n(n + + + 1)u = 0 (b) los polinomios Pn

( , )

son ortogonalescon peso (x) = (1 x) (1 + x) (14.119)

sobre el int rvalo [ 1, 1]. e (c) la funci n de generaci de Pn o on

( , )

es
X n =0 ( Pn , ) (x)t n

w(x, t) = 2 + R 1 (1 t + R) (1 + t + R) = donde R = (1 2xt + t 2 ) 1/ 2 .

(14.120)

156

Capitulo 15

Bibliograa
En esta secci vamos a dar varias referenciasbibliogr on acas. Claramente, un libro puede ser inclu en varias categorias. Esta bibliogr do aa no tiene la ambici n de ser exhaustiva y el objectivo de estas listas es de ayudar y de guiar o a los estudiantes a buscar informacionessobre el temario de este curso y poder profundizar susconocimientos en el campo de la resoluci de ecuacionesdiferon encialesparciales de la F sica. Sobre las ecuaciones diferenciales m to dos de resolucion: e parciales lineales en general y

1. A. Sommerfeld,P artial dierencialequationsin Physics, AcademicPress (1949). 2. notas del curso PHYS1140 Ph ysique th orique et math matique, de e e Prof. J.P. Antoine, J. Weyers y J. Pestieau (frances), Universite de Louvain, Belgica (frances). 3. G. Stephenson, In tro ducci n a las ecuacionesen derivadas parciales, o editorial reverte,s.a. (1982). 4. M. R. Spiegel,T ransformadasde Laplace, McGraw-Hill, Schaum (1998). 5. D. Zwillinger, Handb ook of dieren equations, 2nd editions,Academic tial Pres, inc. (1992). Sobre las series de Fourier y transformada de Fourier , cualquier libro que trata del tema es recomendable pero quiero atraer la atenci n de o los lectores sobre el hecho de que existe en la literatura varias denici n de los o coecientes de Fourier y de la transformada de Fourier. Escogimosen estenotas la denici n la m s sim trica para la transformada de Fourier y decidimos de o a e intro ducir los coecien Fourier usando una base ortonormal del espaciode tes Hilb ert L 2 ([ l, l], dx). En muchos libros particularmente libros para ingenieros, los coecientes de Fourier son nada m s que los coecientes que multiplican las a 157

158 funcionessenosy cosenosen la serie de Fourier. Claramente, esta diferencia en la denici n va a traducirse en las propiedadesde las seriesde Fourier. As en o los aplicacionesde las series de Fourier y de sus propiedades, el lector si usa otras referenciasdeber siempre vericar que aplica la propiedad adecuadaa a la denici n que usa. o Sobre el espacio de Hilb ert y op eradores diferenciales: 1. S.K. Berberian, In tro duction to Hilb ert Space, Oxford Univ. Oxford, 1961. Press,

2. R.D. Richtmyer, Principles of AdvancedMathematical PhysicsI, Springerverlag, Berlin, 1980. Sobre los p olinomios ortogonales: 1. N. Vilenkine, F onctions speciales et theorie de la represen tation des groupes, Dunod, Paris 1969. 2. notas del curso PHYS2121 de Prof. J.P. Antoine, Universite de Louvain, Belgica (frances). 3. M.N. Lebedev, Special functions and their applications, Dover Publications,INC, New-York (1972). Sobre c lculo y an lisis: a a 1. R. Courant, F. John, In tro duction to calculus and analysis, Volume I I, Springer (1989). 2. J. Mawhin, Analyse- Fondemen techniques, evolution, 2nd editions, ts, De Boeck-Univ ersite, 1997.