Polinomios de Legendre

Polinomios de Legendre

Polinomios de Legendre

En matemáticas al resolver la formula de Rodrigues, las Funciones de Legendre son las soluciones a las Ecuaciones Diferenciales de Legendre:

{d \over dx} \left[ (1-x^2) {d \over dx} P(x) \right] + n(n+1)P(x) = 0.

llamadas así por el matemático francés Adrien-Marie Legendre. Estas ecuaciones se encuentran frecuentemente en Física y en otros campos técnicos. En particular, aparecen cuando se resuelve la ecuación de Laplace (un tipo de ecuación en derivadas parciales) en coordenadas esféricas.

La ecuación diferencial de Legendre puede resolverse usando el método de serie de potencias. En general la serie de potencias obtenida converge cuando |x| < 1 y en el caso particular de que n sea un entero no negativo (0, 1, 2,...) las soluciones forman una familia de polinomios ortogonales llamados Polinomios de Legendre.

Cada polinomio de Legendre Pn(x) es un polinomio de grado n. Éste puede ser expresado usando la Fórmula de Rodrigues:

P_n(x) = {1 \over 2^n n!} {d^n \over dx^n } \left[ (x^2 -1)^n \right].

Contenido

Una Expresión explícita

Desarrollando la fórmula de Rodrigues se obtiene la siguiente expresión para los Polinomios de Legendre

P_n(x) \, = \, \frac{1}{2^n}\sum_{k=0}^{n}{n \choose k}^2(x+1)^{n-k}(x-1)^k

esta expresión es útil en caso de por ejemplo de querer elaborar un programa que grafique los polinomios de Legendre, de ésta expresión es relativamente fácil obtener una para los Polinomios Asociados de Legendre, que aperecen en la práctica en la resolución de problemas como el átomo de hidrógeno por ejemplo.

La propiedad de ortogonalidad

Una importante propiedad de los polinomios de Legendre es que éstos son ortogonales con respecto al producto escalar definido en L2 en el intervalo −1 ≤ x ≤ 1:

\int_{-1}^{1} P_m(x) P_n(x)\,dx = {2 \over {2n + 1}} \delta_{mn}

(donde δmn denota la delta de Kronecker, igual a 1 si m = n y 0 para otros casos). De hecho, una derivación alternativa de los polinomios de Legendre es llevando a cabo procesos de Gram-Schmidt en los polinomiales {1, x, x2,...} con respecto a un producto interno. La razón de esta propiedad de ortogonalidad es que la ecuación diferencial de Legendre puede ser vista como un problema de Sturm-Lioville

{d \over dx} \left[ (1-x^2) {d \over dx} P(x) \right] = -\lambda P(x),

donde los valores propios λ corresponden a n(n+1).

Ejemplos de polinomios de Legendre

Unos pocos primeros polinomios de Legendre:

n P_n(x)\,
0 1\,
1 x\,
2 \begin{matrix}\frac12\end{matrix} (3x^2-1) \,
3 \begin{matrix}\frac12\end{matrix} (5x^3-3x) \,
4 \begin{matrix}\frac18\end{matrix} (35x^4-30x^2+3)\,
5 \begin{matrix}\frac18\end{matrix} (63x^5-70x^3+15x)\,
6 \begin{matrix}\frac1{16}\end{matrix} (231x^6-315x^4+105x^2-5)\,
7 \begin{matrix}\frac1{16}\end{matrix} (429x^7-693x^5+315x^3-35x)\,
8 \begin{matrix}\frac1{128}\end{matrix} (6435x^8-12012x^6+6930x^4-1260x^2+35)\,
9 \begin{matrix}\frac1{128}\end{matrix} (12155x^9-25740x^7+18018x^5-4620x^3+315x)\,
10 \begin{matrix}\frac1{256}\end{matrix} (46189x^{10}-109395x^8+90090x^6-30030x^4+3465x^2-63)\,

Los gráficos de estos polinomios (menores a n=5) se grafican abajo:

Legendre poly.svg

Aplicaciones de los Polinomios de Legendre en Física

Los polinomios de Legendre, igual que los de Hermite y Laguerre, son útiles en ramas de la Física como el Cálculo Numérico ya que permiten el cálculo de integrales definidas sin necesidad de resolver el integrando, tan sólo haciendo que los intervalos de integración vayan desde -1 a +1 (con el correspondiente cambio de variable). Ésto es especialmente interesante en programas de cómputo que tratan de resolver una integral definida.

Los polinomios de Legendre son útiles en la expansión de funciones como


\frac{1}{\left| \mathbf{x}-\mathbf{x}^\prime \right|} = \frac{1}{\sqrt{r^2+r^{\prime 2}-2rr'\cos\gamma}} = \sum_{\ell=0}^{\infty} \frac{r^{\prime \ell}}{r^{\ell+1}} P_{\ell}(\cos \gamma)

donde r y r' son las longitudes de los vectores \mathbf{x} y \mathbf{x}^\prime respectivamente y γ es el ángulo entre los dos vectores. La expansión mantiene r > r'. Esta expresión esta usada, por ejemplo, para obtener el potencial de una carga puntual, que se siente en un punto \mathbf{x} mientras la carga esta localizada en el punto \mathbf{x}'. La expansión usando polinomios de Legendre puede ser útil para integrar esta expresión sobre una carga continua distribuida.

Los polinomios de Legendre aparecen en la solución de una Ecuación de Laplace de un potencial, \nabla^2 \Phi(\mathbf{x}), en una región del espacio de carga libre, usando el método de separación de variables, donde las condiciones limite tienen simetría axial (no depende del ángulo azimuthal). Donde \widehat{\mathbf{z}} es el eje de simetría y θ es el ángulo entre la posición del observador y el eje \widehat{\mathbf{z}}, la solución del potencial podría ser


\Phi(r,\theta)=\sum_{\ell=0}^{\infty} \left[ A_\ell r^\ell + B_\ell r^{-(\ell+1)} \right] P_\ell(\cos\theta).

A_\ell y B_\ell están determinados de acuerdo con las condiciones limite de cada problema.[1]

Polinomios de Legendre en expansión multipolo

Figure 2

Los polinomios de Legendre son también útiles en la expansión de funciones de la forma (esto es similar al caso anterior, escrito un poco diferente):


\frac{1}{\sqrt{1 + \eta^{2} - 2\eta x}} = \sum_{k=0}^{\infty} \eta^{k} P_{k}(x)

que aparece naturalmente en expansión multipolo. La parte izquierda de la ecuación es la función generadora de los polinomios de Legendre.

Como en el ejemplo, del potencial eléctrico Φ(r,θ) (en coordenadas esféricas) debido a una carga puntual localizada en el eje z en z = a (Fig. 2) varia como


\Phi (r, \theta ) \propto \frac{1}{R} = \frac{1}{\sqrt{r^{2} + a^{2} - 2ar \cos\theta}}

Si el radio r del punto de observación P es más grande que a, el potencial puede expanderse en polinomios de Legendre


\Phi(r, \theta) \propto
\frac{1}{r} \sum_{k=0}^{\infty} \left( \frac{a}{r} \right)^{k} 
P_{k}(\cos \theta)

donde se define η = a / r < 1 y x = cosθ. Esta expansión es usada para mejorar la expansión multipolo normal.

Por el contrario, si el radio r del punto de observación P es más pequeño que a, el potencial puede aun ser expandido en los polinomios de Legendre como por encima, pero con a y r cambiados.

Propiedades adicionales de los polinomios de Legendre

Los polinomios de Legendre son simétricos o antisimetricos, tal que

P_k(-x) = (-1)^k P_k(x). \,

Desde que la ecuación diferencial y la propiedad ortogonal son escalarmente independientes, los polinomios de Legendre definidos son estandarizados (a veces llamados normalizados, pero notese que la real norma no es la unidad) por ser escalar tal que

P_k(1) = 1. \,

La derivada en un punto final esta dado por

P_k'(1) = \frac{k(k+1)}{2}. \,

Los polinomios de Legendre pueden construirse usando las tres relaciones de recurrencia

 (n+1) P_{n+1} = (2n+1) x P_n - n P_{n-1}\,

y

{x^2-1 \over n} {d \over dx} P_n = xP_n - P_{n-1}.

Útil para la integración de polinomios de Legendre es

(2n+1) P_n = {d \over dx} \left[ P_{n+1} - P_{n-1} \right].

Traslación de los polinomios de Legendre

La traslación de los polinomios de Legendre \tilde{P_n}(x) están definidos como un intervalo unitario ortogonal [0,1]

\int_{0}^{1} \tilde{P_m}(x) \tilde{P_n}(x)\,dx = {1 \over {2n + 1}} \delta_{mn}.

Una expresión explicita para estos polinomios viene dado por

\tilde{P_n}(x)=(-1)^n \sum_{k=0}^n {n \choose k} {n+k \choose k} (-x)^k.

La analogía a la Fórmula de Rodríguez para la traslación de los polinomios es:

\tilde{P_n}(x) = ( n!)^{-1} {d^n \over dx^n } \left[ (x^2 -x)^n \right].\,

La primera traslación de los polinomios de Legendre es:

n \tilde{P_n}(x)
0 1
1 2x − 1
2 6x2 − 6x + 1
3 20x3 − 30x2 + 12x − 1

Polinomios de Legendre de orden fraccional

Los polinomios de Legendre de orden fraccional existen y siguen a la inserción de la derivada fraccional como definición al Cálculo Fraccional y a los factoriales no enteros (definidos por una función gamma) en una Fórmula de Rodrígues. Los exponentes, seguramente, tienen de exponentes fraccionarios que representan raíces.

Véase también

Enlaces externos

Referencias

  1. Jackson, J.D. Classical Electrodynamics, 3rd edition, Wiley & Sons, 1999. page 103
Obtenido de "Polinomios de Legendre"

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Polinomios asociados de Legendre — Saltar a navegación, búsqueda Los polinomios asociados de Legendre son una familia de polinomios ortogonales que tienen una aplicación muy importante en áreas como física e ingeniería, aquí se tratará de forma breve algunas de las cosas mas… …   Wikipedia Español

  • Polinomios de Laguerre — Saltar a navegación, búsqueda Los polinomios de Laguerre son una familia de polinomios ortogonales, llamados así en honor de Edmond Laguerre, surgen al examinar las soluciones a la ecuación diferencial: Desarrollando y en serie de potencias se… …   Wikipedia Español

  • Polinomios ortogonales — Saltar a navegación, búsqueda Los polinomios ortogonales son conjuntos de polinomios que forman una base ortogonal son importantes porque aparecen en la teoría de ecuaciones diferenciales, muy especialmente en la teoría de Sturm Liouville, la… …   Wikipedia Español

  • Polinomios de Chebyshov — En matemática, los polinomios de Chebyshov, nombrados en honor a Pafnuti Chebyshov, son una familia de polinomios ortogonales que están relacionados con la fórmula de De Moivre y son definidos de forma recursiva con facilidad, tal como ocurre con …   Wikipedia Español

  • polinomios ortogonales — Sistema de polinomios que son mutuamente ortogonales (ortogonalidad es el análogo de perpendicularidad en mayores dimensiones), útil en la solución de ecuaciones diferenciales de la física e ingeniería. El estudio de tales sistemas empezó con… …   Enciclopedia Universal

  • Adrien-Marie Legendre — Archivo:Marie Legendre.jpg Marie Legendre Adrien Marie Legendre. Adrien Marie Legendre (París, 18 de septiembre de 1752 Auteuil, Francia, 10 de enero de 1833) fue un matemático francés. Hizo importantes contribuciones a la estadística …   Wikipedia Español

  • Adrien-Marie Legendre — (París, 1752 Auteuil, Francia, 1833), Matemático francés. Hizo importantes contribuciones a la estadística, la teoría de números, el álgebra abstracta y el …   Enciclopedia Universal

  • Átomo de hidrógeno — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… …   Wikipedia Español

  • Polinomio de Chebyshov — Saltar a navegación, búsqueda En matemática, los polinomios de Chebyshov, nombrados en honor a Pafnuti Chebyshov, son una familia de polinomios ortogonales que están relacionados con la fórmula de De Moivre y son definidos de forma recursiva con… …   Wikipedia Español

  • Armónicos esféricos — Saltar a navegación, búsqueda 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… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”