Dado que los armónicos esféricos forman un conjunto completo de funciones ortogonales y, por lo tanto, una base ortonormal , cada función definida en la superficie de una esfera se puede escribir como una suma de estos armónicos esféricos. Esto es similar a las funciones periódicas definidas en un círculo que se pueden expresar como una suma de funciones circulares (senos y cosenos) a través de la serie de Fourier . Al igual que los senos y cosenos en la serie de Fourier, los armónicos esféricos se pueden organizar por frecuencia angular (espacial) , como se ve en las filas de funciones en la ilustración de la derecha. Además, los armónicos esféricos son funciones base para representaciones irreducibles de SO(3) , el grupo de rotaciones en tres dimensiones, y, por lo tanto, juegan un papel central en la discusión teórica de grupos de SO(3).
Los armónicos esféricos se originan al resolver la ecuación de Laplace en los dominios esféricos. Las funciones que son soluciones de la ecuación de Laplace se denominan armónicos . A pesar de su nombre, los armónicos esféricos toman su forma más simple en coordenadas cartesianas , donde pueden definirse como polinomios homogéneos de grado en que obedecen a la ecuación de Laplace. La conexión con las coordenadas esféricas surge inmediatamente si se utiliza la homogeneidad para extraer un factor de dependencia radial del polinomio de grado mencionado anteriormente ; el factor restante puede considerarse como una función de las coordenadas angulares esféricas y solo, o equivalentemente, del vector unitario orientacional especificado por estos ángulos. En este contexto, pueden verse como la parte angular de un conjunto de soluciones de la ecuación de Laplace en tres dimensiones, y este punto de vista a menudo se toma como una definición alternativa. Obsérvese, sin embargo, que los armónicos esféricos no son funciones en la esfera que sean armónicas con respecto al operador de Laplace-Beltrami para la métrica redonda estándar en la esfera: las únicas funciones armónicas en este sentido en la esfera son las constantes, ya que las funciones armónicas satisfacen el principio de máximo . Los armónicos esféricos, como funciones en la esfera, son funciones propias del operador de Laplace-Beltrami (véase Dimensiones superiores).
Un conjunto específico de armónicos esféricos, denotados o , se conocen como armónicos esféricos de Laplace, ya que fueron introducidos por primera vez por Pierre Simon de Laplace en 1782. [1] Estas funciones forman un sistema ortogonal y, por lo tanto, son básicas para la expansión de una función general en la esfera como se mencionó anteriormente.
Cada término de la suma anterior es un potencial newtoniano individual para una masa puntual. Justo antes de esa fecha, Adrien-Marie Legendre había investigado la expansión del potencial newtoniano en potencias de r = | x | y r 1 = | x 1 | . Descubrió que si r ≤ r 1 entonces
donde γ es el ángulo entre los vectores x y x 1 . Las funciones son los polinomios de Legendre y pueden derivarse como un caso especial de armónicos esféricos. Posteriormente, en sus memorias de 1782, Laplace investigó estos coeficientes utilizando coordenadas esféricas para representar el ángulo γ entre x 1 y x . (Véase Polinomios de Legendre § Aplicaciones para más detalles.)
En 1867, William Thomson (Lord Kelvin) y Peter Guthrie Tait introdujeron los armónicos esféricos sólidos en su Tratado de filosofía natural , y también introdujeron por primera vez el nombre de "armónicos esféricos" para estas funciones. Los armónicos sólidos eran soluciones polinómicas homogéneas de la ecuación de Laplace .
Al examinar la ecuación de Laplace en coordenadas esféricas, Thomson y Tait recuperaron los armónicos esféricos de Laplace. (Véase Representación polinómica armónica.) El término "coeficientes de Laplace" fue empleado por William Whewell para describir el sistema particular de soluciones introducido a lo largo de estas líneas, mientras que otros reservaron esta designación para los armónicos esféricos zonales que habían sido introducidos correctamente por Laplace y Legendre.
El desarrollo de las series de Fourier en el siglo XIX hizo posible la solución de una amplia variedad de problemas físicos en dominios rectangulares, como la solución de la ecuación del calor y la ecuación de onda . Esto se podía lograr mediante la expansión de funciones en series de funciones trigonométricas . Mientras que las funciones trigonométricas en una serie de Fourier representan los modos fundamentales de vibración en una cuerda , los armónicos esféricos representan los modos fundamentales de vibración de una esfera de la misma manera. Muchos aspectos de la teoría de las series de Fourier se podían generalizar tomando expansiones en armónicos esféricos en lugar de funciones trigonométricas. Además, de manera análoga a cómo las funciones trigonométricas pueden escribirse de manera equivalente como exponenciales complejas , los armónicos esféricos también poseían una forma equivalente como funciones de valor complejo. Esto fue una bendición para los problemas que poseían simetría esférica , como los de la mecánica celeste estudiados originalmente por Laplace y Legendre.
La ecuación de Laplace impone que el laplaciano de un campo escalar f sea cero. (Aquí se entiende que el campo escalar es complejo, es decir, que corresponde a una función (suave) ). En coordenadas esféricas esto es: [2]
Consideremos el problema de hallar soluciones de la forma f ( r , θ , φ ) = R ( r ) Y ( θ , φ ) . Mediante la separación de variables , resultan dos ecuaciones diferenciales imponiendo la ecuación de Laplace:
La segunda ecuación se puede simplificar bajo el supuesto de que Y tiene la forma Y ( θ , φ ) = Θ( θ ) Φ( φ ) . Aplicando nuevamente la separación de variables a la segunda ecuación se obtiene el par de ecuaciones diferenciales
para algún número m . A priori, m es una constante compleja, pero como Φ debe ser una función periódica cuyo período divide exactamente a 2 π , m es necesariamente un entero y Φ es una combinación lineal de las exponenciales complejas e ± imφ . La función solución Y ( θ , φ ) es regular en los polos de la esfera, donde θ = 0, π . Imponer esta regularidad en la solución Θ de la segunda ecuación en los puntos límite del dominio es un problema de Sturm–Liouville que obliga al parámetro λ a tener la forma λ = ℓ ( ℓ + 1) para algún entero no negativo con ℓ ≥ | m | ; esto también se explica a continuación en términos del momento angular orbital . Además, un cambio de variables t = cos θ transforma esta ecuación en la ecuación de Legendre , cuya solución es un múltiplo del polinomio de Legendre asociado Pmetro (cos θ ) . Finalmente, la ecuación para R tiene soluciones de la forma R ( r ) = A r ℓ + B r − ℓ − 1 ; requiriendo que la solución sea regular en todo R 3 fuerzas B = 0 . [3]
Aquí se supuso que la solución tenía la forma especial Y ( θ , φ ) = Θ( θ ) Φ( φ ) . Para un valor dado de ℓ , hay 2 ℓ + 1 soluciones independientes de esta forma, una para cada entero m con − ℓ ≤ m ≤ ℓ . Estas soluciones angulares son un producto de funciones trigonométricas , aquí representadas como una exponencial compleja , y polinomios de Legendre asociados:
que cumplen
Aquí se denomina función armónica esférica de grado ℓ y orden m , es un polinomio de Legendre asociado , N es una constante de normalización, [4] y θ y φ representan la colatitud y la longitud, respectivamente. En particular, la colatitud θ , o ángulo polar, varía de 0 en el Polo Norte, a π /2 en el Ecuador, a π en el Polo Sur, y la longitud φ , o acimut , puede asumir todos los valores con 0 ≤ φ < 2 π . Para un entero fijo ℓ , cada solución Y ( θ , φ ) , , del problema de valor propio
es una combinación lineal de . De hecho, para cualquier solución de este tipo, r ℓ Y ( θ , φ ) es la expresión en coordenadas esféricas de un polinomio homogéneo que es armónico (ver más abajo), y por lo tanto el conteo de dimensiones muestra que hay 2 ℓ + 1 polinomios linealmente independientes de este tipo.
La solución general de la ecuación de Laplace en una bola centrada en el origen es una combinación lineal de las funciones armónicas esféricas multiplicadas por el factor de escala apropiado r ℓ ,
donde son constantes y los factores r ℓ Y ℓ m se conocen como armónicos sólidos ( regulares ) . Tal expansión es válida en la esfera
Para , se eligen en cambio los armónicos sólidos con potencias negativas de (los armónicos sólidos irregulares ). En ese caso, es necesario expandir la solución de las regiones conocidas en la serie de Laurent (aproximadamente ), en lugar de la serie de Taylor (aproximadamente ) utilizada anteriormente, para hacer coincidir los términos y encontrar los coeficientes de expansión de la serie .
Momento angular orbital
En mecánica cuántica, los armónicos esféricos de Laplace se entienden en términos del momento angular orbital [5]
El ħ es convencional en mecánica cuántica; es conveniente trabajar en unidades en las que ħ = 1. Los armónicos esféricos son funciones propias del cuadrado del momento angular orbital Los
armónicos esféricos de Laplace son las funciones propias conjuntas del cuadrado del momento angular orbital y el generador de rotaciones sobre el eje azimutal:
Si Y es una función propia conjunta de L 2 y L z , entonces, por definición,
para algunos números reales m y λ . Aquí, de hecho, m debe ser un entero, ya que Y debe ser periódica en la coordenada φ con período un número que divida exactamente a 2 π . Además, dado que
y cada uno de L x , L y , L z son autoadjuntos, se deduce que λ ≥ m 2 .
Denotemos este espacio propio conjunto por E λ , m , y definamos los operadores de elevación y descenso por
Entonces L + y L − conmutan con L 2 , y el álgebra de Lie generada por L + , L − , L z es el álgebra de Lie lineal especial de orden 2, , con relaciones de conmutación
Por lo tanto L + : E λ , m → E λ , m +1 (es un "operador de elevación") y L − : E λ , m → E λ , m −1 (es un "operador de descenso"). En particular, Lk + : E λ , m → E λ , m + k debe ser cero para k suficientemente grande, porque la desigualdad λ ≥ m 2 debe cumplirse en cada uno de los espacios propios conjuntos no triviales. Sea Y ∈ E λ , m una función propia conjunta distinta de cero, y sea k el menor entero tal que
Entonces, puesto que
se sigue que
Por lo tanto λ = ℓ ( ℓ + 1) para el entero positivo ℓ = m + k .
Todo lo anterior se ha resuelto en la representación de coordenadas esféricas, pero se puede expresar de forma más abstracta en la base esférica ortonormal completa .
Representación polinómica armónica
Los armónicos esféricos se pueden expresar como la restricción a la esfera unitaria de ciertas funciones polinómicas . Específicamente, decimos que una función polinómica (de valor complejo) es homogénea de grado si
para todos los números reales y todos . Decimos que es armónica si
donde es el laplaciano . Luego, para cada , definimos
Por ejemplo, cuando , es simplemente el espacio tridimensional de todas las funciones lineales , ya que cualquier función de este tipo es automáticamente armónica. Mientras tanto, cuando , tenemos un espacio de cinco dimensiones:
Para cualquier , el espacio de armónicos esféricos de grado es simplemente el espacio de restricciones a la esfera de los elementos de . [6] Como se sugiere en la introducción, esta perspectiva es presumiblemente el origen del término “armónico esférico” (es decir, la restricción a la esfera de una función armónica ).
Por ejemplo, para cualquier la fórmula
define un polinomio homogéneo de grado con dominio y codominio , que resulta ser independiente de . Se ve fácilmente que este polinomio es armónico. Si escribimos en coordenadas esféricas y luego restringimos a , obtenemos
que puede reescribirse como
Después de usar la fórmula para el polinomio de Legendre asociado , podemos reconocer esto como la fórmula para el armónico esférico [7] (Ver Casos especiales).
Convenciones
Ortogonalidad y normalización
Se utilizan habitualmente varias normalizaciones diferentes para las funciones armónicas esféricas de Laplace . A lo largo de la sección, utilizamos la convención estándar que para (ver polinomios de Legendre asociados )
que es la normalización natural dada por la fórmula de Rodrigues.
En acústica , [8] los armónicos esféricos de Laplace se definen generalmente como (esta es la convención utilizada en este artículo)
mientras que en mecánica cuántica : [9] [10]
donde están asociados los polinomios de Legendre sin la fase Condon-Shortley (para evitar contar la fase dos veces).
En ambas definiciones, los armónicos esféricos son ortonormales
, donde δ ij es el delta de Kronecker y d Ω = sin( θ ) dφ dθ . Esta normalización se utiliza en mecánica cuántica porque garantiza que la probabilidad esté normalizada, es decir,
Las disciplinas de la geodesia [11] y el análisis espectral utilizan
que poseen potencia unitaria
La comunidad del magnetismo [11] , por el contrario, utiliza armónicos seminormalizados de Schmidt.
que tienen la normalización
En mecánica cuántica a veces también se utiliza esta normalización y se denomina normalización de Racah en honor a Giulio Racah .
Se puede demostrar que todas las funciones armónicas esféricas normalizadas anteriores satisfacen
donde el superíndice * denota conjugación compleja. Alternativamente, esta ecuación se deduce de la relación de las funciones armónicas esféricas con la matriz D de Wigner .
Fase Condon-Shortley
Una fuente de confusión con la definición de las funciones armónicas esféricas se refiere a un factor de fase de , comúnmente denominado fase de Condon -Shortley en la literatura de mecánica cuántica. En la comunidad de mecánica cuántica, es una práctica común incluir este factor de fase en la definición de los polinomios de Legendre asociados o agregarlo a la definición de las funciones armónicas esféricas. No hay ningún requisito para usar la fase de Condon-Shortley en la definición de las funciones armónicas esféricas, pero incluirla puede simplificar algunas operaciones de mecánica cuántica, especialmente la aplicación de operadores de elevación y descenso . Las comunidades de geodesia [12] y magnetismo nunca incluyen el factor de fase de Condon-Shortley en sus definiciones de las funciones armónicas esféricas ni en las de los polinomios de Legendre asociados. [13]
Forma real
Se puede definir una base real de armónicos esféricos en términos de sus análogos complejos estableciendo
La convención de fase de Condon-Shortley se utiliza aquí para lograr coherencia. Las ecuaciones inversas correspondientes que definen los armónicos esféricos complejos en términos de los armónicos esféricos reales son
Los armónicos esféricos reales se conocen a veces como armónicos esféricos tesserales . [14] Estas funciones tienen las mismas propiedades de ortonormalidad que las complejas anteriores. Se dice que los armónicos esféricos reales con m > 0 son de tipo coseno, y aquellos con m < 0 de tipo seno. La razón de esto se puede ver escribiendo las funciones en términos de los polinomios de Legendre como
Los mismos factores seno y coseno se pueden ver también en la siguiente subsección que trata de la representación cartesiana.
Consulte aquí una lista de armónicos esféricos reales hasta inclusive , que pueden considerarse consistentes con el resultado de las ecuaciones anteriores.
Uso en química cuántica
Como se sabe a partir de las soluciones analíticas para el átomo de hidrógeno, las funciones propias de la parte angular de la función de onda son armónicos esféricos. Sin embargo, las soluciones de la ecuación de Schrödinger no relativista sin términos magnéticos pueden hacerse reales. Por eso, las formas reales se utilizan ampliamente en las funciones base de la química cuántica, ya que los programas no necesitan utilizar álgebra compleja. En este caso, las funciones reales abarcan el mismo espacio que las complejas.
Por ejemplo, como se puede ver en la tabla de armónicos esféricos , las funciones p habituales ( ) son complejas y mezclan direcciones de ejes, pero las versiones reales son esencialmente solo x , y y z .
Armónicos esféricos en forma cartesiana
Los armónicos esféricos complejos dan lugar a los armónicos sólidos al extenderse desde a todos como una función homogénea de grado , es decir, estableciendo
Resulta que es base del espacio de polinomios armónicos y homogéneos de grado . Más específicamente, es la base de Gelfand-Tsetlin (única hasta la normalización) de esta representación del grupo rotacional y se puede derivar una fórmula explícita para en coordenadas cartesianas a partir de ese hecho.
La función generadora de Herglotz
Si se adopta la convención mecánica cuántica para , entonces
Aquí, es el vector con componentes , , y es un vector con coordenadas complejas:
La propiedad esencial de es que es nula:
Basta con tomar y como parámetros reales. Al nombrar esta función generadora en honor a Herglotz , seguimos a Courant y Hilbert 1962, §VII.7, quienes atribuyen su descubrimiento a notas inéditas suyas.
Esencialmente todas las propiedades de los armónicos esféricos pueden derivarse de esta función generadora. [15] Un beneficio inmediato de esta definición es que si el vector se reemplaza por el operador de vector de espín mecánico cuántico , de modo que es el operador análogo del armónico sólido , [16] se obtiene una función generadora para un conjunto estandarizado de operadores tensoriales esféricos , :
El paralelismo de las dos definiciones asegura que las de se transformen bajo rotaciones (ver más abajo) de la misma manera que las de , lo que a su vez garantiza que sean operadores tensoriales esféricos, , con y , que obedecen todas las propiedades de tales operadores, como el teorema de composición de Clebsch-Gordan y el teorema de Wigner-Eckart . Son, además, un conjunto estandarizado con una escala fija o normalización.
Forma cartesiana separada
La definición herglotziana produce polinomios que, si se desea, pueden factorizarse en un polinomio de y otro de y , como sigue (fase de Condon-Shortley):
y para m = 0 :
Aquí
y
Para esto se reduce a
El factor es esencialmente el polinomio de Legendre asociado , y los factores son esencialmente .
Ejemplos
Utilizando las expresiones para , , y enumeradas explícitamente arriba obtenemos:
Se puede verificar que esto concuerda con la función enumerada aquí y aquí .
Formas reales
Utilizando las ecuaciones anteriores para formar los armónicos esféricos reales, se ve que solo se incluyen los términos (cosenos), y solo se incluyen los términos (cosenos):
Cuando , o más simplemente en coordenadas cartesianas,
En el polo norte, donde , y no está definido, todos los armónicos esféricos excepto aquellos con se desvanecen:
Propiedades de simetría
Los armónicos esféricos tienen propiedades profundas y consecuentes bajo las operaciones de inversión espacial (paridad) y rotación.
Paridad
Los armónicos esféricos tienen paridad definida. Es decir, son pares o impares con respecto a la inversión sobre el origen. La inversión se representa mediante el operador . Entonces, como se puede ver de muchas maneras (quizás la más simple a partir de la función generadora de Herglotz), al ser un vector unitario,
En términos de los ángulos esféricos, la paridad transforma un punto con coordenadas en . El enunciado de la paridad de los armónicos esféricos es entonces
(Esto se puede ver de la siguiente manera: Los polinomios de Legendre asociados dan (−1) ℓ + m y de la función exponencial tenemos (−1) m , dando en conjunto para los armónicos esféricos una paridad de (−1) ℓ .)
La paridad sigue siendo válida para los armónicos esféricos reales y para los armónicos esféricos en dimensiones superiores: aplicar una reflexión puntual a un armónico esférico de grado ℓ cambia el signo en un factor de (−1) ℓ .
Rotaciones
Consideremos una rotación sobre el origen que envía el vector unitario a . Bajo esta operación, un armónico esférico de grado y orden se transforma en una combinación lineal de armónicos esféricos del mismo grado. Es decir,
donde es una matriz de orden que depende de la rotación . Sin embargo, esta no es la forma estándar de expresar esta propiedad. En la forma estándar se escribe,
donde es el conjugado complejo de un elemento de la matriz D de Wigner . En particular, cuando es una rotación del acimut obtenemos la identidad,
El comportamiento rotacional de los armónicos esféricos es quizás su característica por excelencia desde el punto de vista de la teoría de grupos. Las de grado proporcionan un conjunto básico de funciones para la representación irreducible del grupo SO(3) de dimensión . Muchos hechos sobre los armónicos esféricos (como el teorema de la adición) que se demuestran laboriosamente utilizando los métodos de análisis adquieren pruebas más simples y un significado más profundo utilizando los métodos de simetría.
Expansión de armónicos esféricos
Los armónicos esféricos de Laplace forman un conjunto completo de funciones ortonormales y, por lo tanto, forman una base ortonormal del espacio de Hilbert de funciones integrables al cuadrado . En la esfera unitaria , cualquier función integrable al cuadrado puede, por lo tanto, desarrollarse como una combinación lineal de estas:
Esta expansión se cumple en el sentido de convergencia cuadrática media —convergencia en L 2 de la esfera—, es decir que
Los coeficientes de expansión son análogos de los coeficientes de Fourier y se pueden obtener multiplicando la ecuación anterior por el conjugado complejo de un armónico esférico, integrando sobre el ángulo sólido Ω y utilizando las relaciones de ortogonalidad anteriores. Esto se justifica rigurosamente mediante la teoría básica del espacio de Hilbert. Para el caso de armónicos ortonormalizados, esto da:
Una función integrable al cuadrado también se puede expandir en términos de los armónicos reales anteriores como una suma
La convergencia de la serie se cumple nuevamente en el mismo sentido, es decir, los armónicos esféricos reales forman un conjunto completo de funciones ortonormales y, por lo tanto, forman una base ortonormal del espacio de Hilbert de funciones integrables al cuadrado . El beneficio de la expansión en términos de las funciones armónicas reales es que para las funciones reales se garantiza que los coeficientes de expansión sean reales, mientras que sus coeficientes en su expansión en términos de (considerándolas como funciones ) no tienen esa propiedad.
Análisis del espectro
Espectro de potencia en el procesamiento de señales
La potencia total de una función f se define en la literatura sobre procesamiento de señales como la integral de la función al cuadrado dividida por el área de su dominio. Utilizando las propiedades de ortonormalidad de las funciones armónicas esféricas de potencia unitaria real, es sencillo verificar que la potencia total de una función definida en la esfera unitaria está relacionada con sus coeficientes espectrales mediante una generalización del teorema de Parseval (aquí, el teorema se enuncia para los armónicos seminormalizados de Schmidt, la relación es ligeramente diferente para los armónicos ortonormales):
dónde
se define como el espectro de potencia angular (para armónicos seminormalizados de Schmidt). De manera similar, se puede definir la potencia cruzada de dos funciones como
donde
se define como el espectro de potencia cruzada. Si las funciones f y g tienen una media cero (es decir, los coeficientes espectrales f 00 y g 00 son cero), entonces S ff ( ℓ ) y S fg ( ℓ ) representan las contribuciones a la varianza y covarianza de la función para el grado ℓ , respectivamente. Es común que el espectro de potencia (cruzada) se aproxime bien mediante una ley de potencia de la forma
Cuando β = 0 , el espectro es "blanco", ya que cada grado posee la misma potencia. Cuando β < 0 , el espectro se denomina "rojo", ya que hay más potencia en los grados bajos con longitudes de onda largas que en los grados superiores. Finalmente, cuando β > 0 , el espectro se denomina "azul". La condición sobre el orden de crecimiento de S ff ( ℓ ) está relacionada con el orden de diferenciabilidad de f en la siguiente sección.
La técnica general consiste en utilizar la teoría de los espacios de Sobolev . Las afirmaciones que relacionan el crecimiento de S ff ( ℓ ) con la diferenciabilidad son entonces similares a resultados análogos sobre el crecimiento de los coeficientes de las series de Fourier . Específicamente, si
entonces f está en el espacio de Sobolev H s ( S 2 ) . En particular, el teorema de incrustación de Sobolev implica que f es infinitamente diferenciable siempre que
para todo s .
Propiedades algebraicas
Teorema de la adición
Un resultado matemático de considerable interés y utilidad es el llamado teorema de adición para armónicos esféricos. Dados dos vectores r y r′ , con coordenadas esféricas y , respectivamente, el ángulo entre ellos está dado por la relación
en la que el papel de las funciones trigonométricas que aparecen en el lado derecho lo desempeñan los armónicos esféricos y el del lado izquierdo lo desempeñan los polinomios de Legendre .
El teorema de la adición establece [17]
donde P ℓ es el polinomio de Legendre de grado ℓ . Esta expresión es válida tanto para armónicos reales como complejos. [18] El resultado se puede demostrar analíticamente, utilizando las propiedades del núcleo de Poisson en la bola unitaria, o geométricamente aplicando una rotación al vector y de modo que apunte a lo largo del eje z , y luego calculando directamente el lado derecho. [19]
En particular, cuando x = y , esto da el teorema de Unsöld [20]
que generaliza la identidad cos 2 θ + sen 2 θ = 1 a dos dimensiones.
En la expansión ( 1 ), el lado izquierdo es un múltiplo constante del armónico esférico zonal de grado ℓ . Desde esta perspectiva, se tiene la siguiente generalización a dimensiones superiores. Sea Y j una base ortonormal arbitraria del espacio H ℓ de armónicos esféricos de grado ℓ en la n -esfera. Entonces , el armónico zonal de grado ℓ correspondiente al vector unitario x , se descompone como [21]
Además, el armónico zonal se da como un múltiplo constante del polinomio de Gegenbauer apropiado :
Combinando ( 2 ) y ( 3 ) se obtiene ( 1 ) en dimensión n = 2 cuando x e y se representan en coordenadas esféricas. Finalmente, evaluando en x = y se obtiene la identidad funcional
donde ω n −1 es el volumen de la ( n −1)-esfera.
Regla de contracción
Otra identidad útil expresa el producto de dos armónicos esféricos como una suma sobre armónicos esféricos [22]
. Muchos de los términos en esta suma son trivialmente cero. Los valores de y que resultan en términos distintos de cero en esta suma están determinados por las reglas de selección para los 3j-símbolos .
Coeficientes de Clebsch-Gordan
Los coeficientes de Clebsch-Gordan son los coeficientes que aparecen en la expansión del producto de dos armónicos esféricos en términos de los armónicos esféricos mismos. Hay una variedad de técnicas disponibles para hacer esencialmente el mismo cálculo, incluido el símbolo 3-jm de Wigner , los coeficientes de Racah y las integrales de Slater . De manera abstracta, los coeficientes de Clebsch-Gordan expresan el producto tensorial de dos representaciones irreducibles del grupo de rotación como una suma de representaciones irreducibles: adecuadamente normalizados, los coeficientes son entonces las multiplicidades.
Visualización de los armónicos esféricos
Los armónicos esféricos de Laplace se pueden visualizar considerando sus " líneas nodales ", es decir, el conjunto de puntos en la esfera donde , o alternativamente donde . Las líneas nodales de están compuestas de ℓ círculos: hay | m | círculos a lo largo de las longitudes y ℓ −| m | círculos a lo largo de las latitudes. Se puede determinar el número de líneas nodales de cada tipo contando el número de ceros de en las direcciones y respectivamente. Considerando como una función de , los componentes reales e imaginarios de los polinomios de Legendre asociados poseen cada uno ℓ −| m | ceros, cada uno dando lugar a una 'línea de latitud' nodal. Por otro lado, considerando como una función de , las funciones trigonométricas seno y coseno poseen 2| m | ceros, cada uno de los cuales da lugar a una 'línea de longitud' nodal.
Cuando el orden armónico esférico m es cero (arriba a la izquierda en la figura), las funciones armónicas esféricas no dependen de la longitud y se denominan zonales . Estos armónicos esféricos son un caso especial de funciones esféricas zonales . Cuando ℓ = | m | (abajo a la derecha en la figura), no hay cruces por cero en latitud y las funciones se denominan sectoriales . En los demás casos, las funciones rodean la esfera y se denominan tesserales .
Los armónicos esféricos más generales de grado ℓ no son necesariamente los de la base de Laplace , y sus conjuntos nodales pueden ser de un tipo bastante general. [23]
Lista de armónicos esféricos
Expresiones analíticas para los primeros armónicos esféricos de Laplace ortonormalizados que utilizan la convención de fase de Condon-Shortley:
Dimensiones superiores
Los armónicos esféricos clásicos se definen como funciones de valor complejo en la esfera unitaria dentro del espacio euclidiano tridimensional . Los armónicos esféricos se pueden generalizar al espacio euclidiano de dimensiones superiores de la siguiente manera, lo que conduce a funciones . [24] Sea P ℓ el espacio de polinomios homogéneos de valor complejo de grado ℓ en n variables reales, consideradas aquí como funciones . Es decir, un polinomio p está en P ℓ siempre que para cualquier real , se tenga
Sea A ℓ el subespacio de P ℓ que consiste en todos los polinomios armónicos : Estos son los armónicos esféricos sólidos
(regulares) . Sea H ℓ el espacio de funciones en la esfera unitaria
obtenido por restricción de A ℓ
Se cumplen las siguientes propiedades:
La suma de los espacios H ℓ es densa en el conjunto de funciones continuas en con respecto a la topología uniforme , por el teorema de Stone-Weierstrass . Como resultado, la suma de estos espacios también es densa en el espacio L 2 ( S n −1 ) de funciones integrables al cuadrado en la esfera. Por lo tanto, cada función integrable al cuadrado en la esfera se descompone de manera única en una serie de armónicos esféricos, donde la serie converge en el sentido L 2 .
Para todo f ∈ H ℓ , se tiene donde Δ S n −1 es el operador de Laplace–Beltrami en S n −1 . Este operador es el análogo de la parte angular del Laplaciano en tres dimensiones; es decir, el Laplaciano en n dimensiones se descompone como
Del teorema de Stokes y de la propiedad precedente se deduce que los espacios H ℓ son ortogonales respecto del producto interno de L 2 ( S n −1 ) . Es decir, para f ∈ H ℓ y g ∈ H k para k ≠ ℓ .
Por el contrario, los espacios H ℓ son precisamente los espacios propios de Δ S n −1 . En particular, una aplicación del teorema espectral al potencial de Riesz proporciona otra prueba de que los espacios H ℓ son ortogonales por pares y completos en L 2 ( S n −1 ) .
Todo polinomio homogéneo p ∈ P ℓ puede escribirse de forma única en la forma [25] donde p j ∈ A j . En particular,
Una base ortogonal de armónicos esféricos en dimensiones superiores se puede construir inductivamente mediante el método de separación de variables , resolviendo el problema de Sturm-Liouville para el laplaciano esférico
donde φ es la coordenada axial en un sistema de coordenadas esféricas en S n −1 . El resultado final de dicho procedimiento es [26]
donde los índices satisfacen | ℓ 1 | ≤ ℓ 2 ≤ ⋯ ≤ ℓ n −1 y el valor propio es − ℓ n −1 ( ℓ n −1 + n −2) . Las funciones en el producto se definen en términos de la función de Legendre.
The elements of Hℓ arise as the restrictions to the sphere of elements of Aℓ: harmonic polynomials homogeneous of degree ℓ on three-dimensional Euclidean space R3. By polarization of ψ ∈ Aℓ, there are coefficients symmetric on the indices, uniquely determined by the requirementThe condition that ψ be harmonic is equivalent to the assertion that the tensor must be trace free on every pair of indices. Thus as an irreducible representation of SO(3), Hℓ is isomorphic to the space of traceless symmetric tensors of degree ℓ.
More generally, the analogous statements hold in higher dimensions: the space Hℓ of spherical harmonics on the n-sphere is the irreducible representation of SO(n+1) corresponding to the traceless symmetric ℓ-tensors. However, whereas every irreducible tensor representation of SO(2) and SO(3) is of this kind, the special orthogonal groups in higher dimensions have additional irreducible representations that do not arise in this manner.
The special orthogonal groups have additional spin representations that are not tensor representations, and are typically not spherical harmonics. An exception are the spin representation of SO(3): strictly speaking these are representations of the double cover SU(2) of SO(3). In turn, SU(2) is identified with the group of unit quaternions, and so coincides with the 3-sphere. The spaces of spherical harmonics on the 3-sphere are certain spin representations of SO(3), with respect to the action by quaternionic multiplication.
Connection with hemispherical harmonics
Spherical harmonics can be separated into two set of functions.[28] One is hemispherical functions (HSH), orthogonal and complete on hemisphere. Another is complementary hemispherical harmonics (CHSH).
Generalizations
The angle-preserving symmetries of the two-sphere are described by the group of Möbius transformations PSL(2,C). With respect to this group, the sphere is equivalent to the usual Riemann sphere. The group PSL(2,C) is isomorphic to the (proper) Lorentz group, and its action on the two-sphere agrees with the action of the Lorentz group on the celestial sphere in Minkowski space. The analog of the spherical harmonics for the Lorentz group is given by the hypergeometric series; furthermore, the spherical harmonics can be re-expressed in terms of the hypergeometric series, as SO(3) = PSU(2) is a subgroup of PSL(2,C).
More generally, hypergeometric series can be generalized to describe the symmetries of any symmetric space; in particular, hypergeometric series can be developed for any Lie group.[29][30][31][32]
See also
Wikimedia Commons has media related to Spherical harmonics.
Cubic harmonic (often used instead of spherical harmonics in computations)
^A historical account of various approaches to spherical harmonics in three dimensions can be found in Chapter IV of MacRobert 1967. The term "Laplace spherical harmonics" is in common use; see Courant & Hilbert 1962 and Meijer & Bauer 2004.
^The approach to spherical harmonics taken here is found in (Courant & Hilbert 1962, §V.8, §VII.5).
^Physical applications often take the solution that vanishes at infinity, making A = 0. This does not affect the angular portion of the spherical harmonics.
^Weisstein, Eric W. "Spherical Harmonic". mathworld.wolfram.com. Retrieved 2023-05-10.
^Edmonds 1957, §2.5
^Hall 2013 Section 17.6
^Hall 2013 Lemma 17.16
^Williams, Earl G. (1999). Fourier acoustics : sound radiation and nearfield acoustical holography. San Diego, Calif.: Academic Press. ISBN 0080506909. OCLC 181010993.
^Messiah, Albert (1999). Quantum mechanics : two volumes bound as one (Two vol. bound as one, unabridged reprint ed.). Mineola, NY: Dover. ISBN 9780486409245.
^Claude Cohen-Tannoudji; Bernard Diu; Franck Laloë (1996). Quantum mechanics. Translated by Susan Reid Hemley; et al. Wiley-Interscience: Wiley. ISBN 9780471569527.
^ a bBlakely, Richard (1995). Potential theory in gravity and magnetic applications. Cambridge England New York: Cambridge University Press. p. 113. ISBN 978-0521415088.
^Heiskanen and Moritz, Physical Geodesy, 1967, eq. 1-62
^Weisstein, Eric W. "Condon-Shortley Phase". mathworld.wolfram.com. Retrieved 2022-11-02.
^Whittaker & Watson 1927, p. 392.
^See, e.g., Appendix A of Garg, A., Classical Electrodynamics in a Nutshell (Princeton University Press, 2012).
^Edmonds, A. R. (1996). Angular Momentum In Quantum Mechanics. Princeton University Press. p. 63.
^This is valid for any orthonormal basis of spherical harmonics of degree ℓ. For unit power harmonics it is necessary to remove the factor of 4π.
^Whittaker & Watson 1927, p. 395
^Unsöld 1927
^Stein & Weiss 1971, §IV.2
^Brink, D. M.; Satchler, G. R. Angular Momentum. Oxford University Press. p. 146.
^Eremenko, Jakobson & Nadirashvili 2007
^Solomentsev 2001; Stein & Weiss 1971, §Iv.2
^Cf. Corollary 1.8 of Axler, Sheldon; Ramey, Wade (1995), Harmonic Polynomials and Dirichlet-Type Problems
^Higuchi, Atsushi (1987). "Symmetric tensor spherical harmonics on the N-sphere and their application to the de Sitter group SO(N,1)". Journal of Mathematical Physics. 28 (7): 1553–1566. Bibcode:1987JMP....28.1553H. doi:10.1063/1.527513.
^Hall 2013 Corollary 17.17
^Zheng Y, Wei K, Liang B, Li Y, Chu X (2019-12-23). "Zernike like functions on spherical cap: principle and applications in optical surface fitting and graphics rendering". Optics Express. 27 (26): 37180–37195. Bibcode:2019OExpr..2737180Z. doi:10.1364/OE.27.037180. ISSN 1094-4087. PMID 31878503.
^N. Vilenkin, Special Functions and the Theory of Group Representations, Am. Math. Soc. Transl., vol. 22, (1968).
^J. D. Talman, Special Functions, A Group Theoretic Approach, (based on lectures by E.P. Wigner), W. A. Benjamin, New York (1968).
^W. Miller, Symmetry and Separation of Variables, Addison-Wesley, Reading (1977).
^A. Wawrzyńczyk, Group Representations and Special Functions, Polish Scientific Publishers. Warszawa (1984).
Unsöld, Albrecht (1927), "Beiträge zur Quantenmechanik der Atome", Annalen der Physik, 387 (3): 355–393, Bibcode:1927AnP...387..355U, doi:10.1002/andp.19273870304.
Albert Messiah, Mecánica cuántica , volumen II. (2000) Dover. ISBN 0-486-40924-4 .
Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Sección 6.7. Armónicos esféricos", Recetas numéricas: el arte de la computación científica (3.ª ed.), Nueva York: Cambridge University Press, ISBN 978-0-85-0-312-0978-0-521-88068-8
DA Varshalovich, AN Moskalev, VK Khersonskii Teoría cuántica del momento angular (1988) World Scientific Publishing Co., Singapur, ISBN 9971-5-0107-4