Polinomios de Legendre

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 29 de diciembre de 2021; la verificación requiere 1 edición .
Polinomios de Legendre
información general
Fórmula
producto escalar
Dominio
características adicionales
Ecuación diferencial
Norma
Lleva el nombre de Legendre, Adrien Marie

El polinomio de Legendre  es el polinomio que se desvía menos de cero en el sentido del cuadrado medio . Forma un sistema ortogonal de polinomios sobre un segmento en el espacio . Los polinomios de Legendre se pueden obtener a partir de polinomios mediante la ortogonalización de Gram-Schmidt .

Llamado así por el matemático francés Adrien Marie Legendre .

Definición

Polinomios de Legendre y funciones de Legendre asociadas de primer y segundo tipo

Considere una ecuación diferencial de la forma

(una)

donde  es una variable compleja . Las soluciones de esta ecuación para números enteros tienen la forma de polinomios , llamados polinomios de Legendre . El polinomio de grado de Legendre se puede representar mediante la fórmula de Rodrigues en la forma [1]

A menudo, en cambio , escriba el ángulo polar del coseno :

La ecuación ( 1 ) se puede obtener de un caso especial de la ecuación hipergeométrica , llamada ecuación de Legendre

(2)

donde ,  son constantes complejas arbitrarias. De interés son sus soluciones, que son univaluadas y regulares para (en particular, para real ) o cuando la parte real del número es mayor que uno. Sus soluciones se denominan funciones asociadas de Legendre o funciones esféricas (armónicas) . La sustitución de la forma en ( 2 ) da la ecuación de Gauss , cuya solución en la región toma la forma

donde  es la función hipergeométrica . La sustitución en ( 2 ) conduce a una solución de la forma

definido en . Las funciones y se denominan funciones de Legendre de primera y segunda especie . [2]

Las siguientes relaciones son válidas [3]

y

Expresión en términos de sumas

Los polinomios de Legendre también se definen mediante la siguiente fórmula:

Fórmula recurrente

También se pueden calcular mediante la fórmula recursiva (para ) [4] :

(3)

y las dos primeras funciones tienen la forma

La derivada del polinomio de Legendre

Calculado por la fórmula [5]

(cuatro)

Raíces del polinomio de Legendre

Calculado iterativamente por el método de Newton [5] :

y la aproximación inicial para la raíz -ésima ( ) se toma según la fórmula [5]

El valor de un polinomio se puede calcular utilizando una fórmula recursiva para un valor de x específico . La derivada también se puede calcular para un valor particular de x usando la fórmula de la derivada .

Fórmulas con expansiones

Los polinomios de Legendre también están definidos por las siguientes expansiones:

  por     por  

Como consecuencia,

Polinomios de Legendre asociados

Los polinomios de Legendre asociados se definen mediante la fórmula

que también se puede representar como

Porque , la función es la misma que .

Normalización según la regla de Schmidt

Los polinomios de Legendre normalizados de acuerdo con la regla de Schmidt se ven así [6] :

Polinomios desplazados de Legendre

Los polinomios desplazados de Legendre se definen como , donde la función de desplazamiento (esta es una transformación afín ) se elige para mapear de forma única el intervalo de ortogonalidad de los polinomios en el intervalo en el que los polinomios desplazados ya son ortogonales :

La expresión explícita para los polinomios de Legendre desplazados se da como

Un análogo de la fórmula de Rodrigues para los polinomios de Legendre desplazados es

Expresiones para algunos polinomios de Legendre desplazados primero:

norte
0
una
2
3
cuatro

Matriz de función polinomial de Legendre

Esta matriz es triangular superior . Su determinante es igual a cero, y los autovalores son , donde .

Ejemplos

Los primeros polinomios de Legendre en forma explícita:

porque entonces

Propiedades

  • si , entonces
  • Para el grado es .
  • La suma de los coeficientes del polinomio de Legendre es 1.
  • La ecuación tiene raíces exactamente diferentes en el segmento
  • deja _ Después
  • Los polinomios de Legendre asociados son soluciones de la ecuación diferencial
En , la ecuación toma la forma ¿ Dónde  está el símbolo de Kronecker ?
  • Porque la norma es
  • La función polinomial de Legendre normalizada está relacionada con la norma por la siguiente relación:
  • Para cada uno , el sistema de funciones de Legendre asociadas se completa en .
  • Dependiendo de y , los polinomios de Legendre asociados pueden ser funciones pares o impares:  es una función par,  es una función impar.
  • , desde , y .
  • Para se realiza .

Serie de polinomios de Legendre

Expansión de una función de Lipschitz en una serie de polinomios de Legendre

La función de Lipschitz es una función con la propiedad

, donde .

Esta función se expande en una serie de polinomios de Legendre.

Sea  el espacio de aplicaciones continuas en el segmento , y .

Dejar

entonces satisface la siguiente condición:

Sea y satisfaga las siguientes condiciones:

  1. , dónde

La función de Lipschitz se puede escribir de la siguiente manera:

Descomposición de una función holomorfa

Cualquier función holomorfa dentro de una elipse con focos −1 y +1 se puede representar como una serie:

Teorema de la suma

Para cantidades que satisfacen las condiciones , , ,  es un número real , podemos escribir el teorema de la suma para polinomios de Legendre del primer tipo: [7]

o, alternativamente a través de la función gamma :

Para los polinomios de Legendre del segundo tipo, el teorema de la suma se parece a [8]

en condiciones , , , .

Funciones de Legendre

Los polinomios de Legendre (junto con las funciones de Legendre asociadas ) surgen naturalmente en la teoría del potencial .

Las funciones esféricas son funciones (en coordenadas esféricas ) de la forma (hasta una constante)

y

donde  están los polinomios de Legendre asociados. También se pueden representar como , donde  son funciones esféricas .

Las funciones esféricas satisfacen la ecuación de Laplace en todas partes en .

Notas

  1. Gradstein, Ryzhik, 1963 , pág. 1039.
  2. Bateman, Erdeyi, Vol. 1, 1973 , pág. 126-127.
  3. Bateman, Erdeyi, Vol. 1, 1973 , pág. 140.
  4. Zimring, 1988 , pág. 196.
  5. 1 2 3 Zimring, 1988 , pág. 197.
  6. John W. Eaton, David Bateman, Søren Hauberg, Rik Wehbring. Octava GNU . - Edición 4 para Octave versión 4.4.1. - 2018. - S. 530-531.
  7. Gradstein, Ryzhik, 1963 , pág. 1027.
  8. Gradstein, Ryzhik, 1963 , pág. 1028.

Literatura

  • Bateman G., Erdeyi A. Funciones trascendentales superiores = Funciones trascendentales superiores / Per. N. Ya. Vilenkina. - Ed. 2º,. - M. : Nauka, 1973. - T. 1. - 296 p. - 14.000 copias.
  • Vladimirov V. S., Zharinov V. V. Ecuaciones de física matemática. - M. : Fizmatlit, 2004. - ISBN 5-9221-0310-5 .
  • Gradshtein I.S. , Ryzhik I.M. Tablas de integrales, sumas, series y productos. - Ed. 4º, revisado. - M. : Editorial estatal de literatura física y matemática, 1963. - 19.000 ejemplares.
  • Campe de Ferrier J., Campbell R., Petio G., Vogel T. Funciones de la física matemática. — M .: Fizmatlit, 1963.
  • Nikolsky S. M. Fórmulas de cuadratura. — M .: Nauka, 1988.
  • Zimring Sh. E. Funciones especiales e integrales definidas. Algoritmos. Programas para calculadoras: un manual. - M. : Radio y comunicación, 1988.

Enlaces