La Mecánica Cuántica - Aspectos Matemáticos de Las Ondas Esféricas - Funciones de Bessel

22/1/2014
La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas
La Mecnica Cuntica
MA R TE S , 1 1 DE A GOS TO DE 2 009
Aspectos matemticos de las ondas esfricas

Cualquier nio que hay a arrojado una piedra a un estanque de agua est familiarizado y a intuitiv amente con el concepto de las ondas esfricas al v er los rizos de anillos concntricos sobre la superficie del agua que se v an ampliando y se v an alejando del punto en donde cay la piedra:
Uso de las funciones de Bessel

Ex tendiendo este concepto de las ondas esfricas hacia un espacio
A R CHI V O DE L B LOG
v erdaderamente 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 en Wikipedia una demostracin dinmica en tres dimensiones de estas ondas esfricas conformen se v an ex pandiendo hacia el ex terior):
2009 (1 36) agosto (1 36) Indice Prlogo El modelo atmico planetario de Bohr I El modelo atmico planetario de Bohr II La espectroscopa de ray osX La ex traa ecuacin de Max Born V ectores y matrices I V ectores y matrices II El anlisis de Fourier La regla de multiplicacin
http://la-mecanica-cuantica.blogspot.mx/2009/08/aspectos-matematicos-de-las-ondas.html
1/32
22/1/2014
de Heisenberg Observ ables compatibles e incompatibles Oscilador armnico simple: solucin matricial Matrices y probabilidad El principio de incertidumbre I El principio de incertidumbre II El ex perimento SternGerlach El spin del electron Momento angular: tratamiento matricial I Momento angular: tratamiento matricial II Momento angular: tratamiento matricial III La energa rotacional Matrices y sub-matrices Solucin matricial del tomo de hidrgeno Funciones matriciales De la mecnica clsica a la mecnica matricial La matriz momentum como generadora de traslacin La matriz generadora de rotacin Rotaciones de las matrices de Pauli El aspecto estadstico de la Mecnica Matricial Ev olucin temporal de los sistemas fsicos Matrices continuas Ondas de materia La ecuacin de Schrdinger Solucin matemtica de la ecuacin de onda Solucin numrica de la ecuacion de Schrdinger
http://la-mecanica-cuantica.blogspot.mx/2009/08/aspectos-matematicos-de-las-ondas.html 2/32
Puesto que la esfera, simtricamente hablando, es el cuerpo ms perfecto que ex iste en la Naturaleza, parecera a primera v ista 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 v emos casi obligados a elev ar el grado de complejidad en cualquier anlisis que inv olucre este tipo de fenmenos. En la entrada prev ia abarcamos algunos tpicos de naturaleza puramente matemtica sin entrar en may or detalle sobre los mismos. Aqu ex ploraremos 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 prev ia, el anlisis clsico de este tipo de fenmenos en la forma en que se llev a 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:
22/1/2014
Interpretacin probabilista de I Interpretacin probabilista de II Operadores y esperanzas matemticas I Operadores y esperanzas matemticas II Oscilador armnico simple: solucin ondulatoria La funcin delta de Dirac Transmisin y reflex in de partculas I Transmisin y reflex in de partculas II Transmisin y reflex in de partculas III Transmisin y reflex in de partculas IV El potencial delta de Dirac Ondas de simetra circular y esfrica La notacin bra-ket de Dirac El espacio de Hilbert I El espacio de Hilbert II
Bitdefender Internet Security
es una ecuacin diferencial de Bessel. Observ ando que esta ecuacin diferencial es singular en el punto u .=.0, en la bsqueda de una solucin a dicha ecuacin diferencial el camino ms ex pedito consiste en buscar una solucin con una ex pansin en una serie de trminos de R(u ) con respecto a este punto, escribiendo lo siguiente:
Tomando diferenciales de esta ex pansin, se tiene entonces:
Substituy endo estas ex presiones en la ecuacin diferencial de Bessel, v emos que:
Operadores Hermitianos Los operadores escalera I Los operadores escalera II El principio de incertidumbre, rev isitado El acto de medicin Momento angular orbital: anlisis ondulatorio I Momento angular orbital: anlisis ondulatorio II Momento angular orbital: funciones de onda I Momento angular orbital: funciones de onda II Polinomios de Legendre: aspectos matemticos Puesto que las distintas potencias de u son linearmente independientes, el coeficiente de cada potencia se debe desv anecer separadamente. Por lo tanto, igualando a cero el coeficiente de u 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
3/32
22/1/2014
La funcin de onda radial La funcin de onda del momento angular del spin El principio de ex clusin de Pauli El proceso de construccin Aufbau El acoplamiento LS La suma de momentos angulares Las reglas de seleccin Tcnicas de aprox imacin I Tcnicas de aprox imacin II Tcnicas de aprox imacin III El mtodo de aprox imacin WKB I El mtodo de aprox imacin WKB II El mtodo de aprox imacin WKB III El mtodo de aprox imacin WKB IV El enlace molecular I El enlace molecular II La hibridacin de los orbitales atmicos La teora de los orbitales moleculares Teora del campo cristalino Operadores clase T El espacio-posicin y el espacio-momentum I El espacio-posicin y el espacio-momentum II El espacio-posicin y el espacio-momentum III El espacio-posicin y el espacio-momentum IV La partcula libre I Por lo tanto, para = 1 :
4/32
Para el caso en el quel k.=.0 (obsrv ese que a -2 .=.0) obtenemos la ecuacin indicial: b 2 - n2 = 0 la cual tiene dos races sencillas: b 1 = n (siendo n 0 ) b2 = - n Para el caso en el cual k.=.1 , se tiene: [(b + 1 )2 - n2 ]a 1 = 0 De esto se deduce que a 1 es igual a cero para ambas de las races b 1 y b 2 . Si usamos b 1 = n en la ex presin: [(k + b )2 - n2 ]a k + a k -2 = 0 entonces se produce la relacin:
Esta es precisamente la relacin recursiv a para la ecuacin de Bessel. Puesto que y a encontramos que a 1 .=.0 , esta ltima ex presin requiere que todos los a k para los cuales k sea impar tambin se desv anezcan. Por lo tanto, k est restringido a tomar v alores pares. Si hacemos la substitucin de 2 por k en la ex presin, entonces podemos permitir que tome los v alores 0, 1 , 2, etctera:
22/1/2014
La partcula libre II La ecuacin de mov imiento de Heisenberg Mecnicas Matricial y Ondulatoria: equiv alencia Ev olucin temporal de las ondas de materia I Ev olucin temporal de las ondas de materia II El operador de traslacin El operador de ev olucin del tiempo Las representaciones de Heisenberg y Schrdinger Operadores de rotacin I Operadores de rotacin II Los grupos de rotacin I Los grupos de rotacin II Los grupos de rotacin III La simetra como piedra angular Representaciones irreducibles I Representaciones irreducibles II Los coeficientes ClebschGordan I Los coeficientes ClebschGordan II Los coeficientes ClebschGordan III Operadores tensoriales El momento de cuadripolo El teorema Wigner-Eckart I El teorema Wigner-Eckart II Mecnica Estadstica Cuntica I Mecnica Estadstica Cuntica II Mecnica Estadstica Ex cepto para algunos v alores especiales de n, esta no es una funcin elemental. Se acostumbra definir a a 0 como 1 /(2 n n!). Cuando esto se hace, entonces R1 (u ) se conv ierte en una funcin de Bessel de orden n : De este modo, para el caso b 1 = n, la solucin es: y para = 2, haciendo uso de la recursiv idad para meter el resultado obtenido arriba:
De este modo, llegamos a la siguiente relacin general:
Histricamente, aunque fue Friedrich Bessel el primero que di en 1 824 un tratamiento sistemtico a la ecuacin diferencial que llev a su nombre y a este tipo de soluciones, estas funciones fueron estudiadas por v ez primera por Leonhard Euler en 1 7 64 en sus
5/32
22/1/2014
Cuntica III Mecnica Estadstica Cuntica IV Mecnica Estadstica Cuntica V Mecnica Estadstica Cuntica V I La matriz densidad I La matriz densidad II El lser El teorema v irial Espectroscopas de resonancia magntica I Espectroscopas de resonancia magntica II Espectroscopas de resonancia magntica III Espectroscopas de resonancia magntica IV Esparcimiento clsico de partculas Esparcimiento de las ondas de luz Aspectos matemticos de las ondas esfricas El mtodo de las ondas parciales La aprox imacin de Born I La aprox imacin de Born II El teorema ptico La ecuacin LippmannSchwinger El teorema adiabtico I El teorema adiabtico II La Mecnica Cuntica Relativ ista Recursos de software Constantes fundamentales y factores de conv ersin Bibliografa
estudios sobre la v ibracin de las membranas circulares. Si recurrimos a la definicin matemtica de la funcin gamma , podemos darle a lo anterior una forma un poco ms compacta:
En cualesquier caso, la ex pansin 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 instructiv o graficar estas funciones de Bessel para los rdenes 0 y 1 junto con las funciones de Bessel para otros rdenes superiores:
6/32
22/1/2014
DA TOS P E R S ON A L E S
A R MA NDO MA R T NEZ T L L EZ V E R TODO MI P E R F I L
Si tomamos la funcin de Bessel de orden cero, y la hacemos girar en torno al eje v ertical, la grfica tridimensional resultante rev ela ntidamente la manera en la que estas funciones son precisamente la clav e para la representacin de ondas esfricas:
Los puntos en los cuales una funcin de Bessel cruza del eje v ertical positiv o al eje v ertical negativ o (o v icev ersa) son conocidos como los ceros o las races de la funcin de Bessel. La primera raz de la funcin de Bessel de orden cero J0 (u ) es igual 2.4048, como podemos v erlo arriba. La siguiente tabla nos da los v alores de v arias races para las primeras cuatro funciones de Bessel:
7/32
22/1/2014
Un resultado obtenido por George Stokes en 1 850 indica que conforme el orden n de la funcin de Bessel se v uelv e muy grande, el v alor de la -raz est dado aprox imadamente por la relacin: + [n - ( )](/2) Comparando (con la ay uda de una calculadora de bolsillo) los v alores obtenidos mediante la frmula de Stokes con los v alores dados en la tabla de arriba rev ela que la aprox imacin de Stokes es precisa con un margen de error inferior al 1 0% inclusiv e para n.=.2. Las funciones de Bessel, ex tendindose en ambas direcciones del argumento ( tanto en la direccin positiv a hacia la derecha como en la direccin negativ a hacia la izquierda), pueden ser simtricas o antisimtricas, como puede apreciarse en la siguiente grfica:
8/32
22/1/2014
Pero si las funciones de Bessel v an a ser utilizadas para representar ondas de materia esfricas, cmo podemos adecuar a un sentido fsico real los v alores negativ os 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 el cuadrado de la funcin de onda, o sea 2 , lo que d una medida de la densidad de probabilidad para 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 el cuadrado de la amplitud de la onda electromagntica, lo cual se deshace del signo negativ o. 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 v a aumentando el orden de la funcin. La siguiente grfica en donde abarcamos ms ciclos de
22/1/2014
las funciones de Bessel resalta el carcter oscilatorio de las mismas:
En la grfica anterior podemos observ ar que en el ex tremo izquierdo de la misma las funciones de Bessel parecen comportarse como ondas senoidales puras. Este es precisamente el comportamiento asinttico de una funcin de Bessel, y no se requieren v alores ex tremadamente grandes de r (la condicin r) para que pueda usarse dicha aprox imacin, esto llega despus de una cantidad moderada de ciclos, y es lo que permite que a distancias relativ amente grandes las ondas esfricas representadas mediante funciones de Bessel puedan ser consideradas (aprox imadamente) como ondas planares. Esto lo podemos destacar con may or claridad mediante la grfica ex tendida de una sola de ellas (J0 ):
10/32
22/1/2014
La solucin para la raz b 2 .=.- n v iene siendo:
Hasta aqu hemos hablado de funciones de Bessel de orden integral. Pero como lo v imos en la entrada prev ia, no slo hay funciones de Bessel de orden integral, tambin hay funciones de Bessel de medio orden integral. Si n no es un entero, entonces Jn (u ) y J-n (u ) son soluciones linearmente independientes. Sin embargo, si n es un entero, las soluciones son linearmente dependientes como lo demostraremos a continuacin. PROBLEMA : Demustrese que: J-m (u ) = (-1 )m Jm (u ) Para resolv er este problema, podemos empezar con la definicin de una funcin de Bessel Jn (u ) mediante la serie infinita:
Haciendo la substitucin n. .-m , se tiene:
Ahora bien, la funcin gamma es div ergente para: -m+1 0 m-1 Por lo tanto, el primer trmino de la sumacin que sobrev iv e es .=. m . Substituy endo (en la sumatoria) un nuev o sub-ndice:
= -m
22/1/2014
la sumatoria se v uelv e entonces:
Usando la serie para Jn (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 : Si Zn (u ) simboliza ya sea una funcin de Bessel Jn (u ) o una funcin de Neumann Nn (u ), demustrese que:
La ex presin proporcionada ex presa la deriv ada de una funcin de Bessel o de Neumann en la forma de una relacin recursiv a. Para resolv er este problema en lo que toca a las funciones de Bessel, recurrimos a la siguiente ex pansin en series:
Diferenciando el producto u n u 2 se tiene entonces:
El primer trmino puede ser factorizado de la siguiente manera:

22/1/2014
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 conv ierte en lo siguiente:
El trmino = -1 en la primera sumatoria es cero en v irtud de que 0/0! = 0/1 = 0. Por lo tanto:
La metodologa para demostrar la v alidez de la relacin recursiv a general en el caso de las funciones de Neumann es ex actamente la misma, y no es necesario repetirla aqu. Las funciones de Bessel que hemos v isto hasta este punto son funciones de Bessel del prim er gnero . Para el caso en el cual n sea un entero (e inclusiv e para el caso en el cual n no sea un entero), la solucin general de la ecuacin diferencial de Bessel usualmente se escribe en funcin de las funciones linearmente independientes Jn (u ) y Nn (u ), en donde las Nn (u ) son las funciones de Neum ann . Las funciones de Neumann tambin son llamadas frecuentemente funciones 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. (Adv ertencia: las funciones de Bessel del segundo gnero
22/1/2014
frecuentemente se representan como Y n (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 Rn (u ) = Rn (kr) de la ecuacin diferencial de Bessel se puede ex presar en forma sencilla de la siguiente manera:
Las funciones de Bessel Jn (kr) son regulares en el origen, y para v alores pequeos de kr (esto es, kr1 ), stas v aran de acuerdo a la relacin:
Por el otro lado, las formas asintticas para v alores relativ amente grandes de kr (esto es, kr1 ) estn dadas por (la ex presin asinttica para J0 fue obtenida en 1 81 7 por Poisson, mientras que el resultado general para cualquier n fue obtenido por Jacobi):
Las funciones de Bessel, por lo tanto, ex hiben una v ariacin asinttica senoidal a medida que aumenta kr, pero con una disminucin en la amplitud al ir creciendo kr. La regin de transicin entre la aprox imacin para v alores pequeos de kr y la aprox imacin para v alores grandes de kr es cercana al punto kr.. n. A estas alturas, resulta instructiv o echarle un v istazo a las grficas de v arias funciones de Neumann para v arios rdenes:
22/1/2014
Lo primero que resalta es que todas las funciones de Neumann son irregulares en el origen, en donde su v alor se v a hacia el infinito (negativ o). 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 v irtud de esta irregularidad de las funciones Nn (kr) escogemos nicamente a las funciones Jn (kr) en problemas en los que el origen est inv olucrado. Para v alores pequeos de kr (esto es, kr1 ) y para n.=.0, la funcin de Neumann v ara de la siguiente manera:
Para v alores pequeos de kr (esto es, kr1 ) y para cualquier otro v alor de n difefente de n.=.0, la funcin de Neumann v ara de la siguiente manera:
Las ex presiones asintticas de las funciones de Neumann para v alores relativ amente grandes de kr (esto es, kr1 ) son:
15/32
22/1/2014
Conforme nos alejamos de la singularidad en el origen, todas las funciones de Neumann son de carcter oscilatorio con una amplitud decreciente conforme v a 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, ex cepto que una forma es senoidal y la otra cosenoidal. Se ha afirmado que es posible llev ar a cabo la representacin de una onda plana mediante una suma (infinita) de ondas esfricas. De la quintaesencia del anlisis de Fourier, sabemos y a que para que esto se pueda llev ar a cabo las funciones que representan cada onda esfrica necesariamente tienen que ser ortogonales entre s. Afortunadamente, esto est garantizado, porque se puede demostrar que las funciones de Bessel Jn (kr) son ortogonales. Si km es la m-raz de Jn (kr), esto es, Jn (km ).=.0, entonces la condicin de ortogonalidad sobre las funciones de Bessel dentro de cierto interv alo 0.. r. . afirma que:
Es un hecho que las funciones de Bessel forman un conjunto ortogonal completo de funciones para la ex pansin de una funcin f(r) en el interv alo 0.. r. .:
22/1/2014
PROBLEMA : Obtnganse los coeficientes Fourier Dm n para la expansin de una funcin de r en trminos de una serie (infinita) de funciones de Bessel. Si multiplicamos ambos miembros de la ex pansin anterior por:
y llev amos a cabo la integracin en el interv alo 0.. r. ., se tiene entonces:
El lado derecho puede ser ev aluado usando la condicin de ortogonalidad dada arriba:
Por lo tanto:
17/32
22/1/2014
Obv iamente, las series que son generadas de esta manera son conocidas como series Fourier-Bessel . Aunque la ev aluacin numrica de las funciones de Bessel usando una ex pansin en series pueda parecer algo sencillo y directo recurriendo un programa de computacin para el clculo numrico de dichas series, la lentitud en la conv ergencia hacia una respuesta con un grado aceptable de precisin (digamos cuatro o cinco cifras significativ as) hace que tal procedimiento sea de v alor 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 y a que, afortunadamente, tales detalles en la ev aluacin de cmputos numricos pueden ser solv entados recurriendo a lo que se conoce como las representaciones integrales de las funciones de Bessel:
PROBLEMA : Demustrese que:
es equivalente a la relacin recursiva:
Llev ando a cabo la diferenciacin indicada y usando la relacin recursiv a, se tiene:
18/32
22/1/2014
PROBLEMA : Usando el resultado del problema previo junto con la representacin integral para la funcin de Bessel J0 (u ), obtngase la representacin integral para la funcin de Bessel J1 (u ). Generalcese el procedimiento para obtener la representacin integral de cualquier funcin de Bessel demostrando que, en general:
Usando el resultado prev io haciendo n.=.0, y recurriendo a la representacin integral para la funcin de Bessel J0 (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 llev ar a cabo una substitucin de variables con la finalidad de facilitar el proceso de integracin por partes ):
19/32
22/1/2014
Es ev idente que las v ariables monigote son tales que lo siguiente debe ser cierto:
Llev ando a cabo la integracin por partes, se tiene entonces:
El trmino uv se desv anece en ambos lmites. Procediendo de modo similar repitiendo la tcnica de integracin por partes, obtenemos:
20/32
22/1/2014
Cada subsecuente integracin por partes v a recogiendo los factores adicionales sen2 (), u , y un coeficiente en la progresin 1 /3, 1 /5, 1 /7 , etc. Por lo tanto, la generalizacin deseada es:
La representacin integral de J0 (u ) se puede demostrar llev ando a cabo la ex pansin del integrando en una serie de potencias, llev ando a cabo la integracin trmino por trmino, y efectuando la comparacin con la ex pansin en series para J0 (u ). PROBLEMA : Utilcense los resultados vistos previamente para demostrar las siguientes relaciones:
De lo que se ha v isto con anterioridad, se tiene que:
Para n.=.1 /2, se v uelv e necesario recurrir a las propiedades de la funcin Gamma en la forma en la que se aplica para argumentos de medio orden integral. En este caso, consultando la bibliografa matemtica, se tiene que:
21/32
22/1/2014
De este modo, la serie toma el siguiente aspecto:
De modo semejante, para n.=.-1 /2:
Entonces para este caso la serie toma el siguiente aspecto:
22/32
22/1/2014
Un procedimiento alterno de solucin consiste en recurrir a la siguiente substitucin:
tomando n.=.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 Bessel J+1/2 y J-1/2 pueden ser obtenidas directamente de la ex pansin en series dada arriba:
Puesto que y a se obtuv ieron J+1/2 y J-1/2 en el problema anterior,

22/1/2014
no ser necesario repetir aqu la solucin de los mismos. En lo que respecta a la funcin de Bessel J+3/2 , esta puede ser obtenida con la ay uda de la relacin recursiv a:
Usando los resultados obtenidos arriba,
Por otra parte, para J-3/2 , se tiene:
Para v alores medios integrales de n, la relacin:
nos conduce a:
24/32
22/1/2014
Por lo tanto:
Del mismo modo:
Usando los factores de normalizacin e index acin que corresponden propiamente a las funciones esfricas de Bessel, tenemos primero que:
Del mismo modo:
En lo que toca a las funciones esfricas de Neumann, se tiene primero que:
Del mismo modo:
25/32
22/1/2014
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 de induccin matemtica para demostrar lo primero. Para m .=.0, la relacin a ser demostrada se reduce al siguiente resultado que es triv ialmente cierto:
Suponemos ahora que la relacin es v lida para cualquier v alor de m . Tenemos que demostrar que ello implica que ser v lida tambin para m +1 . Si el teorema a ser demostrado es v lido para m , entonces para m +1 se tiene:
26/32
22/1/2014
Esto se reduce a la forma:
al llev ar a cabo el reemplazo nn+ m . Puesto que hemos demostrado la v alidez de la hiptesis para m .=.0 y para m +1 , ser v lida para cualquier v alor entero de m , con lo cual se d por concluida la demostracin.
Ahora bien, hgase n.=.1 /2 y m l. La relacin demostrada se v uelv e entonces:
Pero:
y se tiene tambin que:

22/1/2014
Entonces, para la funcin de Bessel de medio orden integral:
Y en lo que respecta a la funcin esfrica de Bessel correspondiente:
Para l = 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 prev iamente:
PROBLEMA : V erifquese por integracin directa que la

22/1/2014
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 llev ando a cabo una integracin por partes:
29/32
22/1/2014
Finalmente:
PROBLEMA : Las funciones generadoras para 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 para l.=.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:
22/1/2014
Por lo tanto:
Las funciones esfricas nl pueden ser obtenidas de las funciones esfricas de Bessel jl mediante la substitucin (el signo negativ o v iene del signo negativ o ex tra en la funcin generadora): sen(u ) - cos(u) y la substitucin (el signo es inv ertido por el signo negativ o 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 onda plana (escrita y a 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 v irtud de las siguientes relaciones matemticas cuy a demostracin puede ser encontrada en Internet y en muchos tex tos de matemticas propias de la fsica:
31/32
22/1/2014
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 afirmativ a. En efecto, y utilizando como referencia la definicin para una transformada de Fourier en una dimensin:
pero ex tendida a tres dimensiones, se encuentra que una onda esfrica definida como Y lm . j(kr) puede ser ex pandida en trminos de ondas esfricas mediante el clculo de los coeficientes A(k ) de la siguiente relacin:
Lo que se llev a a cabo, en efecto, es una transformada de Fourier en el sentido inv erso. Aunque el lector posiblemente y a sospechaba desde un principio que esta era la forma de llev arlo a cabo.
P U B LI CA DO P OR A R MA N DO MA R T N E Z T LLE Z E N 1 2 :4 4
Entrada ms reciente
Pgina principal
Entrada antigua
32/32

La Mecánica Cuántica - Aspectos Matemáticos de Las Ondas Esféricas - Funciones de Bessel

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

La Mecánica Cuántica - Aspectos Matemáticos de Las Ondas Esféricas - Funciones de Bessel

Încărcat de

Drepturi de autor:

Formate disponibile

22/1/2014

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Aspectos matemticos de las ondas esfricas

Uso de las funciones de Bessel

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Tomando diferenciales de esta ex pansin, se tiene entonces:

Substituy endo estas ex presiones en la ecuacin diferencial de Bessel, v emos que:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

De este modo, llegamos a la siguiente relacin general:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

A R MA NDO MA R T NEZ T L L EZ V E R TODO MI P E R F I L

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

las funciones de Bessel resalta el carcter oscilatorio de las mismas:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La solucin para la raz b 2 .=.- n v iene siendo:

Haciendo la substitucin n. .-m , se tiene:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

la sumatoria se v uelv e entonces:

Diferenciando el producto u n u 2 se tiene entonces:

El primer trmino puede ser factorizado de la siguiente manera:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

y llev amos a cabo la integracin en el interv alo 0.. r. ., se tiene entonces:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

PROBLEMA : Demustrese que:

es equivalente a la relacin recursiva:

Llev ando a cabo la diferenciacin indicada y usando la relacin recursiv a, se tiene:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Llev ando a cabo la integracin por partes, se tiene entonces:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

De lo que se ha v isto con anterioridad, se tiene que:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

De este modo, la serie toma el siguiente aspecto:

De modo semejante, para n.=.-1 /2:

Entonces para este caso la serie toma el siguiente aspecto:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

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

Puesto que y a se obtuv ieron J+1/2 y J-1/2 en el problema anterior,

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Usando los resultados obtenidos arriba,

Por otra parte, para J-3/2 , se tiene:

Para v alores medios integrales de n, la relacin:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Del mismo modo:

Del mismo modo:

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

Del mismo modo:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

PROBLEMA : Usando la relacin:

Usando la expresin as obtenida, demustrese que:

Finalmente, utilcese la expresin anterior para demostrar que:

La Mecnica Cuntica: Aspectos matemticos de las ondas esfricas

Esto se reduce a la forma:

Ahora bien, hgase n.=.1 /2 y m l. La relacin demostrada se v uelv e entonces: