Soluciones canónicas de la ecuación general de Legendre.
En matemáticas , los polinomios de Legendre asociados son las soluciones canónicas de la ecuación general de Legendre.
o equivalente
donde los índices ℓ y m (que son números enteros) se denominan grado y orden del polinomio de Legendre asociado, respectivamente. Esta ecuación tiene soluciones distintas de cero que no son singulares en [−1, 1] solo si ℓ y m son números enteros con 0 ≤ m ≤ ℓ , o con valores negativos trivialmente equivalentes. Cuando además m es par, la función es un polinomio . Cuando m es cero y ℓ entero, estas funciones son idénticas a los polinomios de Legendre . En general, cuando ℓ y m son números enteros, las soluciones regulares a veces se denominan "polinomios asociados de Legendre", aunque no son polinomios cuando m es impar. La clase completamente general de funciones con valores arbitrarios reales o complejos de ℓ y m son funciones de Legendre . En ese caso los parámetros suelen estar etiquetados con letras griegas.
Definición de parámetros enteros no negativos ℓ y m
Estas funciones se denotan , donde el superíndice indica el orden y no una potencia de P . Su definición más sencilla es en términos de derivadas de polinomios ordinarios de Legendre ( m ≥ 0)
El factor (−1) m en esta fórmula se conoce como fase de Condon-Shortley . Algunos autores lo omiten. Que las funciones descritas por esta ecuación satisfacen la ecuación diferencial general de Legendre con los valores indicados de los parámetros ℓ y m se deduce derivando m por la ecuación de Legendre para P ℓ : [1]
Esta ecuación permite la extensión del rango de m a: − ℓ ≤ m ≤ ℓ . Las definiciones de P ℓ ± m , resultantes de esta expresión por sustitución de ± m , son proporcionales. De hecho, igualar los coeficientes de potencias iguales en el lado izquierdo y derecho de
Notaciones alternativas
Las siguientes notaciones alternativas también se utilizan en la literatura: [2]
Formulario cerrado
El polinomio asociado de Legendre también se puede escribir como: [ cita necesaria ]
Los polinomios de Legendre asociados no son mutuamente ortogonales en general. Por ejemplo, no es ortogonal a . Sin embargo, algunos subconjuntos son ortogonales. Suponiendo 0 ≤ m ≤ ℓ , satisfacen la condición de ortogonalidad para m fijo :
Además, satisfacen la condición de ortogonalidad para ℓ fijo :
Negativo m y/o negativo ℓ
La ecuación diferencial es claramente invariante ante un cambio de signo de m .
Las funciones para m negativo se mostraron arriba como proporcionales a las de m positivo :
(Esto se deriva de la definición de la fórmula de Rodrigues. Esta definición también hace que las diversas fórmulas de recurrencia funcionen para m positivo o negativo ).
La ecuación diferencial también es invariante bajo un cambio de ℓ a − ℓ − 1 , y las funciones para ℓ negativo están definidas por
Paridad
A partir de su definición, se puede verificar que las funciones de Associated Legendre son pares o impares según
Las primeras funciones de Legendre asociadas
Funciones de Legendre asociadas para m = 0Funciones de Legendre asociadas para m = 1Funciones de Legendre asociadas para m = 2
Las primeras funciones de Legendre asociadas, incluidas aquellas para valores negativos de m , son:
Fórmula de recurrencia
Estas funciones tienen varias propiedades de recurrencia:
Identidades útiles (valores iniciales para la primera recursión):
La integral sobre el producto de tres polinomios de Legendre asociados (con órdenes coincidentes como se muestra a continuación) es un ingrediente necesario al desarrollar productos de polinomios de Legendre en una serie lineal en los polinomios de Legendre. Por ejemplo, esto resulta necesario cuando se realizan cálculos atómicos de la variedad Hartree-Fock donde se necesitan elementos matriciales del operador de Coulomb . Para esto tenemos la fórmula de Gaunt [3]
los grados son números enteros no negativos
los tres órdenes son números enteros no negativos
es el mayor de los tres órdenes
los pedidos se resumen
los grados obedecen
Otras cantidades que aparecen en la fórmula se definen como
La integral es cero a menos que
la suma de grados es par por lo que es un numero entero
se cumple la condición triangular
Dong y Lemus (2002) [4] generalizaron la derivación de esta fórmula a integrales sobre un producto de un número arbitrario de polinomios de Legendre asociados.
Generalización mediante funciones hipergeométricas.
En realidad, estas funciones pueden definirse para parámetros y argumentos complejos generales:
Se denominan funciones de Legendre cuando se definen de esta forma más general. Satisfacen la misma ecuación diferencial que antes:
Dado que se trata de una ecuación diferencial de segundo orden, tiene una segunda solución, definida como:
y ambos obedecen a las diversas fórmulas de recurrencia dadas anteriormente.
Reparametrización en términos de ángulos.
Estas funciones son más útiles cuando el argumento se reparametriza en términos de ángulos, dejando :
Usando la relación , la lista dada arriba produce los primeros polinomios, parametrizados de esta manera, como:
Las relaciones de ortogonalidad dadas anteriormente se convierten en esta formulación: para fijo m , son ortogonales, parametrizadas por θ sobre , con peso :
Además, para ℓ fijo :
En términos de θ, ¿son soluciones de
Más precisamente, dado un número entero m 0, la ecuación anterior tiene soluciones no singulares solo cuando para ℓ
un número entero ≥ m , y esas soluciones son proporcionales a .
Aplicaciones en física: armónicos esféricos
En muchas ocasiones en física , se producen polinomios de Legendre asociados en términos de ángulos donde interviene la simetría esférica . El ángulo de colatitud en coordenadas esféricas es el ángulo utilizado anteriormente. El ángulo de longitud, aparece en un factor multiplicador. Juntos forman un conjunto de funciones llamadas armónicos esféricos . Estas funciones expresan la simetría de las dos esferas bajo la acción del grupo de Lie SO(3). [ cita necesaria ]
Lo que hace que estas funciones sean útiles es que son fundamentales para la solución de la ecuación en la superficie de una esfera. En coordenadas esféricas θ (colatitud) y φ (longitud), el laplaciano es
se resuelve mediante el método de separación de variables , se obtiene una parte dependiente de φ o para un entero m≥0, y una ecuación para la parte dependiente de θ
para lo cual las soluciones son con
y .
Por lo tanto, la ecuación
tiene soluciones separadas no singulares sólo cuando , y esas soluciones son proporcionales a
y
Para cada elección de ℓ , hay 2ℓ + 1 funciones para los distintos valores de my opciones de seno y coseno. Todos son ortogonales tanto en ℓ como en m cuando se integran sobre la superficie de la esfera.
Las funciones armónicas esféricas forman un conjunto ortonormal completo de funciones en el sentido de la serie de Fourier . Los trabajadores en los campos de la geodesia, el geomagnetismo y el análisis espectral utilizan una fase y un factor de normalización diferentes a los indicados aquí (ver armónicos esféricos ).
Cuando una ecuación diferencial parcial tridimensional esféricamente simétrica se resuelve mediante el método de separación de variables en coordenadas esféricas, la parte que queda después de eliminar la parte radial suele tener la forma
y por tanto las soluciones son armónicos esféricos.
Generalizaciones
Los polinomios de Legendre están estrechamente relacionados con las series hipergeométricas . En forma de armónicos esféricos, expresan la simetría de las dos esferas bajo la acción del grupo de Lie SO(3). Hay muchos otros grupos de Lie además de SO (3), y existen generalizaciones análogas de los polinomios de Legendre para expresar las simetrías de grupos de Lie semisimples y espacios simétricos de Riemann . En términos generales, se puede definir un laplaciano en espacios simétricos; Las funciones propias del laplaciano pueden considerarse como generalizaciones de los armónicos esféricos a otros entornos.
^ Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [junio de 1964]. "Capítulo 8". Manual de funciones matemáticas con fórmulas, gráficas y tablas matemáticas . Serie de Matemáticas Aplicadas. vol. 55 (Novena reimpresión con correcciones adicionales de la décima impresión original con correcciones (diciembre de 1972); primera ed.). Washington DC; Nueva York: Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas; Publicaciones de Dover. pag. 332.ISBN 978-0-486-61272-0. LCCN 64-60036. SEÑOR 0167642. LCCN 65-12253.
^ De John C. Slater Quantum Theory of Atomic Structure , McGraw-Hill (Nueva York, 1960), Volumen I, página 309, que cita el trabajo original de JA Gaunt, Philosophical Transactions of the Royal Society of London , A228:151 ( 1929)
^ Dong SH, Lemus R., (2002), "La integral de superposición de tres polinomios de Legendre asociados", Appl. Matemáticas. Letón. 15, 541-546.
^ Esta identidad también se puede demostrar relacionando los armónicos esféricos con las matrices D de Wigner y el uso de la propiedad de inversión de tiempo de estas últimas. La relación entre las funciones de Legendre asociadas de ± m puede entonces demostrarse a partir de la identidad de conjugación compleja de los armónicos esféricos.
Arfken, GB; Weber, HJ (2001), Métodos matemáticos para físicos , Academic Press, ISBN 978-0-12-059825-0; Sección 12.5. (Utiliza una convención de signos diferente).
Belousov, SL (1962), Tablas de polinomios de Legendre asociados normalizados , Tablas matemáticas, vol. 18, Prensa de Pérgamo.
Condón, UE; Shortley, GH (1970), La teoría de los espectros atómicos , Cambridge, Inglaterra: Cambridge University Press, OCLC 5388084; Capítulo 3.
Courant, Ricardo ; Hilbert, David (1953), Métodos de física matemática, volumen 1 , Nueva York: Interscience Publischer, Inc..
Schach, SR (1973) Nuevas identidades para funciones asociadas de orden integral y grado de Legendre , Revista de análisis matemático de la Sociedad de Matemáticas Industriales y Aplicadas, 1976, vol. 7, núm. 1: págs. 59–69