polinomios asociados de Legendre son las soluciones canónicas de la ecuación de Legendre
o de forma equivalente
donde los índices ℓ y
m (los cuales son enteros) son el grado y el orden del polinomio asociado de Legendre respectivamente. Esta ecuación tiene soluciones distintas de cero que son no singulares en [−1, 1] sólo si ℓ y
m son enteros con 0 ≤
m ≤ ℓ, o con valores negativos trivialmente equivalentes. Si 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 enteros, las soluciones regulares a veces son llamadas "polinomios asociados de Legendre", incluso cuando estas no son
polinomios en el caso de que
m sea impar. La clase de funciones en el caso completamente general con valores reales o complejos de ℓ y
m son llamadas funciones de Legendre. En este caso los parámetros son usualmente etiquetados con letras griegas.
Definición para valores no negativos de ℓ y m
Estas funciones son denotadas como
, donde el superíndice indica el orden, y no la potencia de
P. Su definición más directa se da en términos de las derivadas de los
polinomios de Legendre ordinarios (
m ≥ 0)
El factor (−1)
m en esta fórmula es conocido como la
fase de Condon–Shortley. Algunos autores la omiten. Las funciones descritas por esta ecuación satisfacen la ecuación diferencial de Legendre dado un parámetro ℓ, y
m indica las veces que se deriva la ecuación de Legendre
Pℓ
Más aún, dado que por la fórmula de
Rodrigues
el Pm
ℓ puede ser expresado de la forma
Esta ecuación permite la extensión del rango de m a: −ℓ ≤ m ≤ ℓ. Las definiciones de Pℓ±m obtenidas de esta expresión por sustitución de ±m, son proporcionales. Es decir, se igualan los coeficientes de la misma potencia a la izquierda y derecha de
y se tiene que la constante de proporcionalidad es
de manera que
Notaciones alternativas
Las siguientes definiciones alternativas también son usadas en la literatura:
Ortogonalidad
Asumiendo que 0 ≤ m ≤ ℓ, se satisface la condición de ortogonalidad para un m fijo:
Similarmente, también se satisface la condición de ortogonalidad para un ℓ fijo:
m y/o ℓ negativos
La ecuación diferencial es claramente invariante bajo un cambio de signo de m.
Se vio arriba que para las funciones con un m negativo, estas debían ser proporcionales a las funciones donde se tenía un m positivo:
(Esto se obtiene de la definición de la fórmula de Rodrigues. Esta definición también hace que las diferentes fórmulas de recurrencia funcionen para valores de m positivos o negativos.)
La ecuación diferencial también es invariante bajo un cambio de ℓ a −ℓ − 1, y las funciones para ℓ negativo son definidas por
- .
Los primeros polinomios asociados de legendre
A continuación se muestran los primeros polinomios asociados de Legendre, incluyendo aquellos para los que se tienen valores negativos de m:
Fórmulas de recurrencia
Estas funciones tienen algunas propiedades de recurrencia:
Algunas identidades útiles (valores iniciales para la primera recursión):
Polinomios de Legendre
Una variedad de las funciones especiales que se encuentra en la solución de problemas físicos es la clase de funciones llamadas Polinomios de Legendre. Son la solución a una ecuación diferencial muy importante llamada ecuación de Legendre:
Los polinomios se indican por medio de Pn(x) , llamados polinomio de Legendre de orden n. Los polinomios pueden ser tanto funciones par como impar de x, para ordenes de n par o impar. Abajo se muestran los primeros polinomios.
La forma general de un polinomio de Legendre de orden n está dado por el sumatorio:
De los polinomios de Legendre se pueden generar otra clase importante de funciones para los problemas físicos, las funciones de Legendre asociadas.
La ecuación toma su nombre de Adrien Marie Legendre (1752-1833), un matemático francés que fué profesor en París en 1775. Realizó importantes contribuciones a las funciones especiales, integrales elípticas, teoría de números y el cálculo de variaciones. (Kreyszig). | Índice
Referencia Kreyszig Sec 4.3 |
| Atrás |
Funciones de Legendre Asociadas
De los polinomios de Legendre se pueden derivar una clase importante de funciones especiales, llamadas funciones de Legendre asociadas. La fórmula que los define es
donde Pn(x) es el polinomio de Legendre de orden n. Estas funciones son de gran importancia en la física cuántica, porque aparecen en las soluciones de la ecuación de Schrodinger en coordenadas polares esféricas. En ese contexto, la variable x se reemplaza por cosq, donde q es el ángulo que forma con la latitud. También en aquel contexto, las funciones de ondas que son soluciones a la ecuación de Schrodinger, necesitan ser normalizadas, de modo que la lista de funciones de abajo, incluirán el factor de normalización
Las funciones normalizadas son de la forma
y aparecen en la función de onda del átomo de hidrógeno. Abajo se listan las primeras pocas funciones de Legendre asociadas.
Las funciones de Legendre asociadas se pueden usar para construir otro conjunto importante de funciones, las armónicas esféricas. |
No hay comentarios:
Publicar un comentario