Armónicos esféricos

De Wikipedia, la enciclopedia libre

Tienes mensajes nuevos (Dif. entre las dos últimas versiones).

En matemáticas, los armónicos esféricos son funciones armónicas que representan la variación espacial de un conjunto ortogonal de soluciones de la ecuación de Laplace cuando la solución se expresa en coordenadas esféricas.

Los armónicos esféricos son importantes en muchas aplicaciones teóricas y prácticas, en particular en la física atómica (dado que la función de onda de los electrones contienen armónicos esféricos), la teoría del potencial que resulta relevante tanto para el campo gravitatorio como para la electrostática.

Uno o más wikipedistas están trabajando actualmente en extender este artículo.

Es posible que, a causa de ello, haya lagunas de contenido o deficiencias de formato. Por favor, antes de realizar correcciones mayores o reescrituras, contacta con ellos en su página de usuario o la página de discusión del artículo para poder coordinar la redacción.

Tabla de contenidos

1 Introducción
2 Normalización
- 2.1 Convención de fase de Condon-Shortley
3 Expansión en armónicos esféricos
4 Análisis espectral
5 Teorema de la suma
6 Visualización de los armónicos esféricos
7 Ejemplos de los primeros armónicos esféricos
8 Generalizaciones
9 Véase también
10 Referencias
11 Software

[editar] Introducción

Armónicos esféricos de variable real Y_lm, para l =0,...,4 (de arriba a abajo) y m = 0,...,4 (de izquierda a derecha). Los armónicos con m negativo Y_l-m son idénticos pero rotados 90º/m grados alrededor del eje Z con respecto a los positivos.

La ecuación de Laplace en coordenadas esféricas viene dada por:

$\nabla^2 f = {1 \over r^2}{\partial \over \partial r}\left(r^2 {\partial f \over \partial r}\right) + {1 \over r^2\sin\theta}{\partial \over \partial \theta}\left(\sin\theta {\partial f \over \partial \theta}\right) + {1 \over r^2\sin^2\theta}{\partial^2 f \over \partial \varphi^2} = 0$

(véase también nabla y laplaciano en coordenadas esféricas). Si en esta expresión se consideran soluciones particulares de la forma, $f(r,\theta,\phi) = R(r) Y(\theta, \varphi)$ , la parte angular Y, se le denomina armónico esférico y satisface la relación:

${1 \over \sin\theta}{d \over d\theta}\left(\sin\theta {dY(\theta,\varphi) \over d\theta} \right) + {1 \over \sin^2 \theta}{d^2Y(\theta,\varphi) \over d\varphi^2} + l(l+1)Y(\theta,\varphi) = 0$

Si a su vez se usa la separación de variables a esta última ecuación se puede ver que la ecuación anterior admite soluciones periódicas en las dos coordenadas angulares l es un número entero. Entonces la solución periódica del sistema anterior dependerá de los dos enteros (l, m) y vendrá dada en términos de funciones trigonométricas y de Polinomios asociados de Legrendre:

$Y_\ell^m (\theta, \varphi ) = N \, e^{i m \varphi } \, P_\ell^m (\cos{\theta} )$ ,

Donde $Y_\ell^m$ se llama función armónica esférica de grado $\ell$ y orden $m$ , $P_\ell^m$ es el polinomio asociado de Legendre, $N$ es una constante de normalización y $θ$ y $\varphi$ representan las variables angulares (el ángulo azimutal o colatitud y polar o longitud, respectivamente).

Las coordenadas esféricas utilizadas en este artículo son consistentes con las utilizadas por los físicos, pero difieren de las utlizadas por los matemáticos (ver coordenadas esféricas). En particular, la colatitud $θ$ , o ángulo polar, se encuentra en el rango $0\leq\theta\leq\pi$ y la longitud $\varphi$ , o azimuth, posee el rango $0\leq\varphi<2\pi$ . Por lo tanto, $θ$ es 0 en el Polo Norte, $π / 2$ en el Ecuador, y $π$ en el Polo Sur.

Cuando la ecuación de Laplace se resuelve sobre un dominio esférico, las condiciones de periodicidad sobre la frontera en la coordenada $\varphi$ así como las condiciones de regularidad en el "polo norte" y "sur" de la esfera, conllevan como se ha dicho que los números el grado l y el orden m necesarios para que se satisfagan deben ser enteros que cumplen: $\ell \ge 0$ y $|m| \le \ell$ .

[editar] Normalización

Existen varias normalizaciones utilizadas para las funciones de armónicos esféricos. En física y sismología estas funciones son generalmente definidas como

$Y_\ell^m( \theta , \varphi ) = \sqrt{{(2\ell+1)\over 4\pi}{(\ell-m)!\over (\ell+m)!}} \, P_\ell^m ( \cos{\theta} ) \, e^{i m \varphi }$

las que son ortonormalizadas

$\int_{\theta=0}^\pi\int_{\varphi=0}^{2\pi}Y_\ell^m \, Y_{\ell'}^{m'*} \, d\Omega=\delta_{\ell\ell'}\, \delta_{mm'}$ ,

donde δ_aa = 1, δ_ab = 0 if a ≠ b, (ver delta de Kroenecker) y $d\Omega=\sin\theta\,d\varphi\,d\theta$ . Mientras que en las áreas de geodésica y análisis espectral se utiliza

$Y_\ell^m( \theta , \varphi ) = \sqrt{{(2\ell+1) }{(\ell-m)!\over (\ell+m)!}} \, P_\ell^m ( \cos{\theta} )\, e^{i m \varphi }$

que posee una potencia unitaria

${1 \over 4 \pi} \int_{\theta=0}^\pi\int_{\varphi=0}^{2\pi}Y_\ell^m \, Y_{\ell'}^{m'*} d\Omega=\delta_{\ell\ell'}\, \delta_{mm'}$ .

En temas de magnetismo, en cambio, se utilizan los armónicos de Schmidt semi-normalizados

$Y_\ell^m( \theta , \varphi ) = \sqrt{{(\ell-m)!\over (\ell+m)!}} \, P_\ell^m ( \cos{\theta} ) \, e^{i m \varphi }$

que poseen la sigiente normalización

$\int_{\theta=0}^\pi\int_{\varphi=0}^{2\pi}Y_\ell^m \, Y_{\ell'}^{m'*}d\Omega={4 \pi \over (2 \ell + 1)}\delta_{\ell\ell'}\, \delta_{mm'}$ .

Utilizando la identidad (ver funciones asociadas de Legendre)

$P_\ell ^{-m} = (-1)^m \frac{(\ell-m)!}{(\ell+m)!} P_\ell ^{m}$

se puede demostrar que todas las funciones armónicas esféricas normalizadas mencionadas en los párrafos anteriores satisfacen

$Y_\ell^{m*} (\theta, \varphi) = (-1)^m Y_\ell^{-m} (\theta, \varphi)$ ,

donde el símbolo * significa conjugación compleja.

[editar] Convención de fase de Condon-Shortley

Una fuente de confusión con la definición de los esféricos armónicos es el factor de fase de $(-1)^m\,$ , comúnmente identificado como la fase de Condon-Shortley en la literatura relacionada con mecánica cuántica. En el área de mecánica cuántica, es práctica usual incluir este factor de fase en la definición de las funciones asociadas de Legendre, o acoplarlo a la definición de las funciones armónicas esféricas. No existe ningún requerimiento que obligue a utilizar la fase de Condon-Shortley en la definición de las funciones esféricas armónicas, pero si es que se la incluye entonces algunas operaciones en el campo de la mecánica cuántica son más simples. Por el contrario en los campos de geodesia y magnetismo nunca se incluye el factor de fase de Condon-Shortley en la definición de los esféricos armónicos.

[editar] Expansión en armónicos esféricos

Los armónicos esféricos forman un conjunto completo ortonormal de funciones y por lo tanto forman un espacio vectorial análogo a vectores unitarios de la base. Sobre la esfera unitaria, toda square-integrable función puede por lo tanto ser expandida en una combinación lineal de:

$f(\theta,\varphi)=\sum_{\ell=0}^{\infty} \sum_{m=-\ell}^\ell f_\ell^m \, Y_\ell^m(\theta,\varphi)$ .

Esta expansión es exacta siempre y cuando $\ell$ se extienda a infinito. Se producirá un error de truncamiento al limitar la suma sobre $\ell$ a un ancho de banda finito $L$ . Los coeficientes de la expansión pueden obtenerse multiplicando la ecuación precedente por el complejo conjugado de los esféricos armónicos, integrando sobre un ángulo sólido $\Omega\!\,$ , y utilizando las relaciones de ortogonalidad indicadas previamente. Para el caso de armónicos ortonormalizados, se obtiene

$f_\ell^m=\int_{\Omega} f(\theta,\varphi)\, Y_\ell^{m*}(\theta,\varphi)d\Omega = \int_0^{2\pi}d\varphi\int_0^{\pi}d\theta\sin\theta f(\theta,\varphi)Y_\ell^{m*} (\theta,\varphi)$ .

Un conjunto alternativo de armónicos esféricos para funciones reales puede ser obtenido a partir del conjunto

$Y_{\ell m} = \begin{cases} Y_\ell^0 \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad\quad\mbox{ si } m=0\\ {1\over\sqrt2}\left(Y_\ell^m+(-1)^m \, Y_\ell^{-m}\right) = \sqrt{2} N P_\ell^m(\theta) \cos m\varphi \qquad\quad\quad \mbox{si } m>0 \\ {1\over i\sqrt2}\left(Y_\ell^{|m|}-(-1)^{|m|}\, Y_\ell^{-|m|}\right) = \sqrt{2} N P_\ell^{|m|}(\theta) \sin |m|\varphi \quad\mbox{ si } m<0. \end{cases}$

Estas funciones tienen las mismas propiedades de normalización que las funciones complejas indicadas previamente. En esta notación, una función real integrable puede ser expresada como una suma de armónicos esféricos de infinitos términos como

$f(\theta, \varphi) = \sum_{\ell=0}^\infty \sum_{m=-\ell}^\ell f_{lm} \, Y_{lm}(\theta, \varphi)$ .

[editar] Análisis espectral

La potencia total de una función $f$ es definida en la literatura de procesamiento de señales electrónicas como la integral de la función elevada al cuadrado, divida por el área que abarca. Usando las propiedades de ortonormalidad de las funciones esfericas armónicas de potencia real unitaria, es facil verificar que la potencia total de una función definida sobre la esfera unitaria se relaciona con sus coeficientes espectrales a través de una generalización del teorema de Parseval:

$\frac{1}{4 \, \pi} \int_\Omega f(\Omega)^2\, d\Omega = \sum_{l=0}^\infty S_{f\!f}(l)$ ,

donde

$S_{f\!f}(l) = \sum_{m=-l}^l f_{lm}^2$

se define como el espectro de potencia angular. En forma similar, se puede definir la potencia cruzada entre dos funciones como

$\frac{1}{4 \, \pi} \int_\Omega f(\Omega) \, g(\Omega) \, d\Omega = \sum_{l=0}^\infty S_{fg}(l)$ ,

donde

$S_{fg}(l) = \sum_{m=-l}^l f_{lm} g_{lm}$

se define como el espectro cruzado en este caso. Si las funciones $f$ y $g$ tienen un valor promedio igual a cero (o sea los coeficientes espectrales $f 00$ y $g 00$ son nulos), entonces $S_{f\!f}(l)$ y $S f g (l)$ representan las contribuciones a la varianza y covarianza de la función para el grado $\ell$ , respectivamente. Es común que el espectro de potencia cruzado se pueda aproximar por una power law del tipo

$S_{f\!f}(l) = C \, \ell^{\beta}$ .

Cuando $β = 0$ , el espectro es "blanco" dado que cada grado posee idéntica potencia. Cuando $β < 0$ , el espectro se denomina "rojo" ya que existe mayor potencia a grados bajos con longitudes de onda largas que a altos grados. Finalmente, cuando $β > 0$ , el espectro es denominado "azul".

[editar] Teorema de la suma

Un resultado matemático de sumo interés y utilidad es el llamado teorema de la suma para los armónicos esféricos. Dos vectores r y r', con coordenadas esféricas $(r,\theta,\varphi)$ y $(r ',\theta ',\varphi ')$ , respectivamente, tienen un ángulo $γ$ entre ellos dado por la expresión

$\cos\gamma=\cos\theta\cos\theta'+\sin\theta\sin\theta'\cos(\varphi-\varphi')$ .

El teorema de la suma expresa un polinomio de Legendre de orden $l$ en el ángulo $γ$ en términos de los productos de dos armónicos esféricos con coordenadas angulares $(\theta,\varphi)$ y $(\theta',\varphi')$ :

$P_l( \cos \gamma ) = \frac{4\pi}{2l+1}\sum_{m=-l}^l Y_{lm}^*(\theta',\phi') \, Y_{lm}(\theta,\varphi)$ .

Esta expresión es válida tanto para los armónicos reales como para los complejos. Sin embargo, debe enfatizarse que la fórmula indicada previamente es válida solo para armónicos esféricos ortonormalizados. Para armónicos de potencia unitaria es necesario eliminar el factor $4π$ de la expresión anterior.

[editar] Visualización de los armónicos esféricos

Representación esquemática de Y_lm sobre la esfera unitaria. Y_lm es igual a 0 a lo largo de m círculos que pasan a través de los polos, y a lo largo de l-m círculos de igual latitud. La función cambia de signo cada vez que cruza una de dichas lineas.

La función armónica esférica real Y₃₂ mostrada a lo largo de cuatro cortes.

Los armónicos esféricos son fáciles de visualizar contando el número de cruces por cero que ellos tienen tanto en dirección de las latitudes como de las longitudes. Para la dirección en las latitudes, las funciones asociadas de Legendre tienen $l - | m |$ ceros, mientras que en sentido longitudinal, las funciones trigonometricas seno y coseno tienen $2 | m |$ ceros.

Cuando el armónico esférico de orden $m$ es nulo o cero, las funciones armónicas esféricas no dependen de la longitud, y se dice que la función es zonal. Cuando $l = | m |$ , no existen cruces por cero en sentido de las latitudes, y se dice que la función es sectorial. Para otro casos, las funciones forman un damero sobre la esfera.

[editar] Ejemplos de los primeros armónicos esféricos

Expresiones analíticas de los primeros armónicos esféricos ortonormalizados, que usan la convención de fase de Condon-Shortley:

$Y_{0}^{0}(\theta,\varphi)={1\over 2}\sqrt{1\over \pi}$

$Y_{1}^{-1}(\theta,\varphi)={1\over 2}\sqrt{3\over 2\pi} \, \sin\theta \, e^{-i\varphi}$

$Y_{1}^{0}(\theta,\varphi)={1\over 2}\sqrt{3\over \pi}\, \cos\theta$

$Y_{1}^{1}(\theta,\varphi)={-1\over 2}\sqrt{3\over 2\pi}\, \sin\theta\, e^{i\varphi}$

$Y_{2}^{-2}(\theta,\varphi)={1\over 4}\sqrt{15\over 2\pi} \, \sin^{2}\theta \, e^{-2i\varphi}$

$Y_{2}^{-1}(\theta,\varphi)={1\over 2}\sqrt{15\over 2\pi}\, \sin\theta\, \cos\theta\, e^{-i\varphi}$

$Y_{2}^{0}(\theta,\varphi)={1\over 4}\sqrt{5\over \pi}\, (3\cos^{2}\theta-1)$

$Y_{2}^{1}(\theta,\varphi)={-1\over 2}\sqrt{15\over 2\pi}\, \sin\theta\,\cos\theta\, e^{i\varphi}$

$Y_{2}^{2}(\theta,\varphi)={1\over 4}\sqrt{15\over 2\pi}\, \sin^{2}\theta \, e^{2i\varphi}$

$Y_{3}^{0}(\theta,\varphi)={1\over 4}\sqrt{7\over \pi}\, (5\cos^{3}\theta-3\cos\theta)$

Tabla de armónicos esféricos hasta Y₁₀

[editar] Generalizaciones

[editar] Véase también

coeficientes de Clebsch-Gordan
función armónica
Grupo de rotaciones
Teoría de Sturm-Liouville

[editar] Referencias

Referencias citadas

Referencias Generales

A.R. Edmonds, Angular Momentum in Quantum Mechanics, (1957) Princeton University Press, ISBN 0-691-07912-9.
E. U. Condon and G. H. Shortley, The Theory of Atomic Spectra, (1970) Cambridge at the University Press, ISBN 0-521-09209-4, See chapter 3.
J.D. Jackson, Classical Electrodynamics, ISBN 0-471-30932-X
Albert Messiah, Quantum Mechanics, volume II. (2000) Dover. ISBN 0-486-40924-4.
D. A. Varshalovich, A. N. Moskalev, V. K. Khersonskii Quantum Theory of Angular Momentum,(1988) World Scientific Publishing Co., Singapore, ISBN 9971-5-0107-4

Enlaces Web

Spherical harmonics on Mathworld
Spherical Harmonic Models of Planetary Topography
Spherical harmonics generator in OpenGL
General Solution to LaPlace's Equation in Spherical Harmonics (Spherical Harmonic Analysis). Solid Earth Geophysics.

[editar] Software

-->

Obtenido de "http://es.wikipedia.org../../../a/r/m/Arm%C3%B3nicos_esf%C3%A9ricos.html"

Categorías: Wikipedia:Artículos en desarrollo | Mecánica cuántica | Física matemática | Funciones especiales | Ecuaciones en derivadas parciales