La Mecnica Cuntica

Aspectos matemticos de las ondas esfricas

Cualquier nio que haya arrojado una piedra a un estanque de agua est familiarizado ya
intuitivamente con el concepto de las ondas esfricas al ver los rizos de anillos concntricos sobre
la superficie del agua que se van ampliando y se van alejando del punto en donde cay la piedra:

Extendiendo este concepto de las ondas esfricas hacia un espacio verdaderamente

tridimensional, aunque resulta ms difcil representar este clase de ondas en tres dimensiones
podemos hacer una esquematizacin como la siguiente en donde el centro generador de las ondas
esfricas est representado como una pequea cruz roja (se puede apreciar
enWikipediaunademostracin dinmicaen tres dimensiones de estas ondas esfricas conformen
se van expandiendo hacia el exterior):

Puesto que la esfera, simtricamente hablando, es el cuerpo ms perfecto que existe en la

Naturaleza, parecera a primera vista que la representacin matemtica de las ondas esfricas
debera ser algo realmente sencillo. Sin embargo, a diferencia de las ondas senoidales
unidimensionales, no lo es, y los matemticos de antao fueron los primeros en darse cuenta de
ello. Esta es la razn por la cual nos vemos casi obligados a elevar el grado de complejidad en
cualquier anlisis que involucre este tipo de fenmenos.
En la entrada previa abarcamos algunos tpicos de naturaleza puramente matemtica sin entrar
en mayor detalle sobre los mismos. Aqu exploraremos un poco ms a fondo tales detalles, con la
finalidad de darle alguna justificacin a las bases que estamos cimentando. Mantendremos, por lo
pronto y al igual que como se hizo en la entrada previa, el anlisis clsico de este tipo de
fenmenos en la forma en que se lleva a cabo en el campo de la electrodinmica clsica.
Empezaremos por repasar la ecuacin differencial de Bessel. Decimos que cualquier ecuacin
diferencial que pueda ser escrita en la forma:

es una ecuacin diferencial de Bessel. Observando que esta ecuacin diferencial es singular en el
puntou.=.0, en la bsqueda de una solucin a dicha ecuacin diferencial el camino ms expedito
consiste en buscar una solucin con una expansin en una serie de trminos deR(u) con respecto
a este punto, escribiendo lo siguiente:

Tomando diferenciales de esta expansin, se tiene entonces:

Substituyendo estas expresiones en la ecuacin diferencial de Bessel, vemos que:

Puesto que las distintas potencias deuson linearmente independientes, el coeficiente de cada
potencia se debe desvanecer separadamente. Por lo tanto, igualando a cero el coeficiente deu k+b ,
encontramos que:
[(k + b)(k + b- 1) + (k + b) -n2 ]a k+a k-2 = 0
o lo que es lo mismo:
[(k + b)2 -n2 ]a k+a k-2 = 0
Para el caso en el quelk.=.0 (obsrvese quea -2 .=.0) obtenemos laecuacin indicial:
b 2 -n2 = 0
la cual tiene dos races sencillas:
b 1=n(siendon 0 )
b 2 = -n
Para el caso en el cualk.=.1, se tiene:
[(b+ 1) 2 -n2 ]a 1= 0
De esto se deduce quea 1es igual a cero para ambas de las racesb 1yb 2 .
Si usamosb 1=nen la expresin:
[(k + b)2 -n2 ]a k+a k-2 = 0
entonces se produce la relacin:

Esta es precisamente la relacin recursiva para la ecuacin de Bessel. Puesto que ya encontramos
quea 1.=.0 , esta ltima expresin requiere que todos losa kpara los cualesksea impar tambin se

desvanezcan. Por lo tanto,kest restringido a tomar valores pares. Si hacemos la substitucin de

2 porken la expresin, entonces podemos permitir que tome los valores 0, 1, 2, etctera:

Por lo tanto, para = 1:

y para = 2, haciendo uso de la recursividad para meter el resultado obtenido arriba:

De este modo, llegamos a la siguiente relacin general:

De este modo, para el casob 1=n, la solucin es:

Excepto para algunos valores especiales den, esta no es una funcin elemental. Se acostumbra
definir aa 0como 1/(2n n!). Cuando esto se hace, entoncesR 1(u) se convierte en unafuncin de
Bessel de ordenn:

Histricamente, aunque fueFriedrich Besselel primero que di en 1824 un tratamiento

sistemtico a la ecuacin diferencial que lleva su nombre y a este tipo de soluciones, estas

funciones fueron estudiadas por vez primera porLeonhard Euleren 1764 en sus estudios sobre la
vibracin de las membranas circulares.
Si recurrimos a la definicin matemtica de lafuncin gamma, podemos darle a lo anterior una
forma un poco ms compacta:

En cualesquier caso, la expansin de la funcin de Bessel como una serie infinita de trminos est
dada por la siguiente relacin general:

De acuerdo a esta relacin, las primeras dos funciones de Bessel J0(u) y J1(u) se pueden escribir
de la siguiente manera:

A estas alturas, resulta instructivo graficar estas funciones de Bessel para losrdenes0 y 1 junto
con las funciones de Bessel para otros rdenes superiores:

Si tomamos la funcin de Bessel de orden cero, y la hacemos girar en torno al eje vertical, la
grfica tridimensional resultante revela ntidamente la manera en la que estas funciones son
precisamente la clave para la representacin de ondas esfricas:

Los puntos en los cuales una funcin de Bessel cruza del eje vertical positivo al eje vertical
negativo (o viceversa) son conocidos como losceroso lasracesde la funcin de Bessel. La
primera raz de la funcin de Bessel de orden ceroJ0(u)es igual 2.4048, como podemos verlo
arriba. La siguiente tabla nos da los valores de varias races para las primeras cuatro funciones de
Bessel:

Un resultado obtenido porGeorge Stokesen 1850 indica que conforme el ordennde la funcin de
Bessel se vuelve muy grande, el valor de la-raz est dado aproximadamente por la relacin:
+ [n- ( )](/2)
Comparando (con la ayuda de una calculadora de bolsillo) los valores obtenidos mediante la
frmula de Stokes con los valores dados en la tabla de arriba revela que la aproximacin de Stokes
es precisa con un margen de error inferior al 10% inclusive paran.=.2.
Las funciones de Bessel, extendindose en ambas direcciones del argumento ( tanto en la
direccin positiva hacia la derecha como en la direccin negativa hacia la izquierda), pueden ser
simtricas o antisimtricas, como puede apreciarse en la siguiente grfica:

Pero si las funciones de Bessel van a ser utilizadas para representarondas de materiaesfricas,
cmo podemos adecuar a un sentido fsico real los valores negativos de tales funciones de onda?
Esto no ofrece problema alguno, porque al igual que como ocurre en la Mecnica Cuntica en
donde no es la funcin de onda sino elcuadradode la funcin de onda, o sea 2 , lo que d una

medida de ladensidad de probabilidadpara encontrar una partcula en cierta regin del espacio
(el criterio probabilista de Born), en la electrodinmica clsica lo que proporciona la intensidad de
la magnitud (energtica) de una onda electromagntica no es la magnitud de la onda
electromagntica sino elcuadradode la amplitud de la onda electromagntica, lo cual se deshace
del signo negativo. La siguiente grfica nos muestra los cuadrados de algunas funciones de Bessel:

Todas las funciones de Bessel son de carcter oscilatorio con una amplitud decreciente conforme
va aumentando el orden de la funcin. La siguiente grfica en donde abarcamos ms ciclos de
las funciones de Bessel resalta el carcter oscilatorio de las mismas:

En la grfica anterior podemos observar que en el extremo izquierdo de la misma las funciones de
Bessel parecen comportarse como ondas senoidales puras. Este es precisamente
elcomportamiento asintticode una funcin de Bessel, y no se requieren valores extremadamente
grandes der(la condicinr) para que pueda usarse dicha aproximacin, esto llega despus de
una cantidad moderada de ciclos, y es lo que permite que a distancias relativamente grandes las
ondas esfricas representadas mediante funciones de Bessel puedan ser consideradas
(aproximadamente) como ondas planares. Esto lo podemos destacar con mayor claridad mediante
la grfica extendida de una sola de ellas (J0):

La solucin para la razb 2 .=.-nviene siendo:

Hasta aqu hemos hablado de funciones de Bessel de orden integral. Pero como lo vimos en la
entrada previa, no slo hay funciones de Bessel de orden integral, tambin hay funciones de Bessel
de medio orden integral. Sinno es un entero, entoncesJn (u)yJ-n (u)son soluciones linearmente
independientes. Sin embargo, sines un entero, las soluciones son linearmente dependientes como
lo demostraremos a continuacin.
PROBLEMA:Demustrese que:
J-m(u)= (-1) mJm(u)
Para resolver este problema, podemos empezar con la definicin de una funcin de
BesselJn (u)mediante la serie infinita:

Haciendo la substitucinn..-m, se tiene:

Ahora bien, la funcin gamma es divergente para:

 -m+ 1 0
m- 1
Por lo tanto, el primer trmino de la sumacin que sobrevive es.=.m. Substituyendo (en la
sumatoria) un nuevo sub-ndice:

= -m
la sumatoria se vuelve entonces:

Usando la serie paraJn (u)y el hecho de que(k+1).=.k! por las propiedades de la funcin
Gamma, todo lo anterior se reduce al resultado deseado:

PROBLEMA:SiZn (u)simboliza ya sea una funcin de BesselJn (u)o una funcin de

NeumannNn (u),demustrese que:

La expresin proporcionada expresa la derivada de una funcin de Bessel o de Neumann en la

forma de una relacin recursiva. Para resolver este problema en lo que toca a las funciones de
Bessel, recurrimos a la siguiente expansin en series:

Diferenciando el productou n u 2 se tiene entonces:

El primer trmino puede ser factorizado de la siguiente manera:

En lo que toca al segundo trmino, podemos redefinir de la siguiente manera el ndice de la

sumatoria:
- 1
Con esto, el segundo trmino se convierte en lo siguiente:

El trmino = -1 en la primera sumatoria es cero en virtud de que 0/0! = 0/1 = 0. Por lo tanto:

La metodologa para demostrar la validez de la relacin recursiva general en el caso de las

funciones de Neumann es exactamente la misma, y no es necesario repetirla aqu.
Las funciones de Bessel que hemos visto hasta este punto sonfunciones de Bessel del primer
gnero. Para el caso en el cualnsea un entero (e inclusive para el caso en el cualnno sea un
entero), la solucin general de la ecuacin diferencial de Bessel usualmente se escribe en funcin
de las funciones linearmente independientesJn (u)y Nn (u), en donde lasNn (u)son lasfunciones
de Neumann. Las funciones de Neumann tambin son llamadas frecuentementefunciones de

Bessel del segundo gnero, de modo tal que la solucin general de la ecuacin diferencial de
Bessel est dada por una combinacin linear de funciones de Bessel del primer gnero y del
segundo gnero. (Advertencia: las funciones de Bessel del segundo gnero frecuentemente se
representan como Yn (u), pero nos abstendremos aqu de hacer tal cosa porque esto se presta a
confusiones con la notacin que hemos estado utilizando para simbolizar a las armnicas esfricas
que aunque son un concepto similar no se trata de la misma cosa). Las funciones de Neumann se
definen formalmente mediante la siguiente relacin:

De este modo, la solucin general R n (u) = R n (kr) de la ecuacin diferencial de Bessel se puede
expresar en forma sencilla de la siguiente manera:

Las funciones de BesselJn (kr)son regulares en el origen, y para valores pequeos dekr(esto
es,kr1), stas varan de acuerdo a la relacin:

Por el otro lado, las formas asintticas para valores relativamente grandes dekr(esto es,kr1)
estn dadas por (la expresin asinttica para J0fue obtenida en 1817 porPoisson, mientras que el
resultado general para cualquiernfue obtenido porJacobi):

Las funciones de Bessel, por lo tanto, exhiben una variacin asinttica senoidal a medida que
aumentakr, pero con una disminucin en la amplitud al ir creciendokr. La regin de transicin
entre la aproximacin para valores pequeos dekry la aproximacin para valores grandes
dekres cercana al puntokr..n.
A estas alturas, resulta instructivo echarle un vistazo a las grficas de varias funciones de
Neumann para varios rdenes:

Lo primero que resalta es que todas las funciones de Neumann son irregulares en el origen, en
donde su valor se va hacia el infinito (negativo). Es por ello que debemos usar mucha precaucin
en los usos que le demos a estas funciones en problemas de la fsica, y es por ello que en virtud de
esta irregularidad de las funcionesNn (kr)escogemos nicamente a las funciones Jn (kr)en
problemas en los que el origen est involucrado.
Para valores pequeos dekr(esto es,kr1) y paran.=.0, la funcin de Neumann vara de la
siguiente manera:

Para valores pequeos dekr(esto es,kr1) y para cualquier otro valor dendifefente den.=.0, la
funcin de Neumann vara de la siguiente manera:

Las expresiones asintticas de las funciones de Neumannpara valores relativamente grandes

dekr(esto es,kr1) son:

Conforme nos alejamos de la singularidad en el origen, todas las funciones de Neumann son de
carcter oscilatorio con una amplitud decreciente conforme va aumentando el argumento de la
funcin. La siguiente grfica en donde abarcamos ms ciclos de las funciones de Neumann
resalta el carcter oscilatorio de las mismas:

Comprese la forma asinttica algebraica de las funciones de Neumann con la forma asinttica de
las funciones de Bessel del primer gnero. Son casi la misma cosa, ambas con la misma amplitud,
excepto que una forma es senoidal y la otra cosenoidal.
Se ha afirmado que es posible llevar a cabo la representacin de una onda plana mediante una
suma (infinita) de ondas esfricas. De la quintaesencia del anlisis de Fourier, sabemos ya que
para que esto se pueda llevar a cabo las funciones que representan cada onda esfrica
necesariamente tienen que serortogonalesentre s. Afortunadamente, esto est garantizado,
porque se puede demostrar que las funciones de Bessel Jn (kr) son ortogonales.Si km es la mraz deJn (kr), esto es,Jn (km).=.0, entonces la condicin de ortogonalidad sobre las funciones de
Besseldentro de cierto intervalo 0..r.. afirma que:

Es un hecho que las funciones de Bessel forman un conjunto ortogonal completo de funciones
para la expansin de una funcinf(r) en el intervalo0..r..:

PROBLEMA:Obtnganse loscoeficientes Fourier Dmn para la expansin de una funcin de r

en trminos de una serie (infinita) de funciones de Bessel.
Si multiplicamos ambos miembros de la expansin anterior por:

y llevamos a cabo la integracin en el intervalo0..r.., se tiene entonces:

El lado derecho puede ser evaluado usando la condicin de ortogonalidad dada arriba:

Por lo tanto:

Obviamente, las series que son generadas de esta manera son conocidas comoseries FourierBessel.
Aunque la evaluacin numrica de las funciones de Bessel usando una expansin en series pueda
parecer algo sencillo y directo recurriendo un programa de computacin para el clculo numrico
de dichas series, la lentitud en la convergencia hacia una respuesta con un grado aceptable de
precisin (digamos cuatro o cinco cifras significativas) hace que tal procedimiento sea de valor
escaso para argumentos que sean muy superiores a la unidad.No entraremos a fondo en los
detalles de las dificultades enfrentadas en una situacin de este tipo ya que, afortunadamente,
tales detalles en la evaluacin de cmputos numricos pueden ser solventados recurriendo a lo
que se conoce como lasrepresentaciones integrales de las funciones de Bessel:

PROBLEMA:Demustrese que:

es equivalente a la relacin recursiva:

Llevando a cabo la diferenciacin indicada y usando la relacin recursiva, se tiene:

PROBLEMA:Usando el resultado del problema previo junto con la representacin integral

para la funcin de BesselJ0(u),obtngase la representacin integral para la funcin de
BesselJ1(u).Generalcese el procedimiento para obtener la representacin integral de cualquier
funcin de Bessel demostrando que, en general:

Usando el resultado previo haciendon.=.0, y recurriendo a la representacin integral para la

funcin de BesselJ0(u), se tiene que:

Podemos diferenciar bajo el signo de la integral para obtener lo siguiente (los colores son para
resaltar las partes con las cuales se llevar a cabo unasubstitucin de variablescon la finalidad de
facilitar el proceso deintegracin por partes):

Es evidente que las variables monigote son tales que lo siguiente debe ser cierto:

Llevando a cabo la integracin por partes, se tiene entonces:

El trmino uv se desvanece en ambos lmites. Procediendo de modo similar repitiendo la tcnica

de integracin por partes, obtenemos:

Cadasubsecuenteintegracin por partes va recogiendo los factores adicionales sen 2 (),u, y un

coeficiente en la progresin 1/3, 1/5, 1/7, etc. Por lo tanto, la generalizacin deseada es:

La representacin integral deJ0(u)se puede demostrar llevando a cabo la expansin del

integrando en una serie de potencias, llevando a cabo la integracin trmino por trmino, y
efectuando la comparacin con la expansin en series paraJ0(u).
PROBLEMA:Utilcense los resultados vistos previamente para demostrar las siguientes
relaciones:

De lo que se ha visto con anterioridad, se tiene que:

Paran.=.1/2, se vuelve necesario recurrir a las propiedades de lafuncin Gammaen la forma en la

que se aplica para argumentos de medio orden integral. En este caso, consultando la bibliografa
matemtica, se tiene que:

De este modo, la serie toma el siguiente aspecto:

De modo semejante, paran.=.-1/2:

Entonces para este casola serie toma el siguiente aspecto:

Un procedimiento alterno de solucin consiste en recurrir a la siguiente substitucin:

tomandon.=.1/2 en la ecuacin diferencial de Bessel, lo cual reduce la ecuacin a la forma

familiar:

PROBLEMA:Obtnganse expresiones para las siguientes funciones de Bessel y de Neumann de

medio orden integral:

Las funciones de BesselJ+1/2 yJ-1/2 pueden ser obtenidas directamente de la expansin en series
dada arriba:

Puesto que ya se obtuvieronJ+1/2 yJ-1/2 en el problema anterior, no ser necesario repetir aqu la
solucin de los mismos.
En lo que respecta a la funcin de BesselJ+3/2 , esta puede ser obtenida con la ayuda de la
relacin recursiva:

Usando los resultados obtenidos arriba,

Por otra parte, paraJ-3/2,se tiene:

Para valores medios integrales den, la relacin:

nos conduce a:

Por lo tanto:

Del mismo modo:

Usando los factores de normalizacin e indexacin que corresponden propiamente a las

funcionesesfricasde Bessel, tenemos primero que:

Del mismo modo:

En lo que toca a las funciones esfricas de Neumann, se tiene primero que:

Del mismo modo:

PROBLEMA:Usando la relacin:

demustrese lo siguiente:

Usando la expresin as obtenida, demustrese que:

Finalmente, utilcese la expresin anterior para demostrar que:

Obtnganse de esta ltima relacin las primeras tres funciones esfricas de Bessel, y
comprubese que se obtiene lo mismo que lo que haba sido dado previamente.
Utilizaremos el muy conocido procedimiento deinduccin matemticapara demostrar lo primero.
Param.=.0, la relacin a ser demostrada se reduce al siguiente resultado que es trivialmente
cierto:

Suponemos ahora que la relacin es vlida para cualquier valor dem. Tenemos que demostrar
que ello implica que ser vlida tambin param+1. Si el teorema a ser demostrado es vlido
param, entonces param+1 se tiene:

Esto se reduce a la forma:

al llevar a cabo el reemplazonn+m. Puesto que hemos demostrado la validez de la hiptesis

param.=.0 y param+1, ser vlida para cualquier valor entero dem, con lo cual se d por
concluida la demostracin.

Ahora bien, hgasen.=.1/2 yml. La relacin demostrada se vuelve entonces:

Pero:

y se tiene tambin que:

Entonces, para la funcin de Bessel de medio orden integral:

Y en lo que respecta a la funcinesfricade Bessel correspondiente:

Paral= 0, 1 y 2, esta ltima relacin que acabamos de obtener nos produce las primeras tres
funciones esfricas de Bessel que resultan ser idnticas a lo dado previamente:

PROBLEMA:Verifquese por integracin directa que la expresin:

produce las primeras tres funciones esfricas de Bessel.

La ecuacin proporcionada es una forma integral de las funciones esfricas de Bessel, que con un
ligero cambio en la notacin toma el siguiente aspecto:

Usando los polinomios de Legendre:

se tiene entonces por principio de cuentas:

Del mismo modo, y llevando a cabo una integracin por partes:

Finalmente:

PROBLEMA:Lasfunciones generadoraspara las funciones esfricas de Bessel y Neumann son

las siguientes:

en donde, por ejemplo, operacionalmente hablando:

y as sucesivamente para valores crecientes de l.Utilcense estas funciones generadoras para

obtener las primeras tres funciones esfricas de Bessel y de Neumann.
Las funciones jl paral.=.0, 1, y 2 fueron obtenidas en uno de los problemas resueltos arriba
precisamente por este procedimiento. Podemos escribir la funcin generadora de la siguiente
manera:

Por lo tanto:

Las funciones esfricasnl pueden ser obtenidas de las funciones esfricas de Besseljl mediante la
substitucin (el signo negativo viene del signo negativo extra en la funcin generadora):

sen(u) - cos(u)
y la substitucin (el signo es invertido por el signo negativo adicional en la diferenciacin hacia el
coseno):

cos(u) + sen(u)
As, por ejemplo:

Sin entrar en tanto detalle en torno a las funciones esfricas de Bessel y Neumann, resulta posible
entender cmo siempre debe ser posible representar una ondaplana(escrita ya sea como una
funcin senoidal o cosenoidal multiplicada por un factor que representa la amplitud de la onda)
mediante una combinacin en serie (infinita) de funciones de Bessel, en virtud de las siguientes
relaciones matemticas cuya demostracin puede ser encontrada en Internet y en muchos textos
de matemticas propias de la fsica:

Si es posible representar una onda plana en funcin de una combinacin de un nmero infinito de
ondas esfricas, puede surgir entonces la pregunta: ser posible hacer lo opuesto, esto es,
representar una onda esfrica utilizando ondas planas? La respuesta, como pudiera sospecharse,
es afirmativa. En efecto, y utilizando como referencia la definicin para una transformada de
Fourier en una dimensin:

pero extendida a tres dimensiones, se encuentra queuna onda esfrica definida comoYlm.j(kr)
puede ser expandida en trminos de ondas esfricas mediante el clculo de los coeficientes A(k)
de la siguiente relacin:

Lo que se lleva a cabo, en efecto, es una transformada de Fourier en el sentido inverso. Aunque el
lector posiblemente ya sospechaba desde un principio que esta era la forma de llevarlo a cabo.