Polinomios ortogonales

Los polinomios
ortogonales son
conjuntos
de
polinomios
que
forman
una base ortogonal de cierto espacio de Hilbert. Los polinomios ortogonales son
importantes porque aparecen en la teora de ecuaciones diferenciales, muy
especialmente en la teora de Sturm-Liouville, la teora de espacios de Hilbert, la
teora de la aproximacin de funciones y la mecnica cuntica.

Espacios de Hilbert
La mayora de las familias

de polinomios ortogonales ms usados son bases

ortogonales de un espacio de Hilbert

de funciones de cuadrado integrable

respecto al producto escalar con funcin de ponderacin

. Es decir:

Donde:
es el producto escalar del espacio

es un factor de normalizacin que vale 1 si la familia de polinomios es adems

ortonormal.
es el delta de Kronecker.
Adems estos polinomios suelen ser los vectores propios de un operador
diferencial lineal autoadjunto de segundo orden u operador Sturm-Liouville de
la forma:

Polinomios de Legendre
Los polinomios de Legendre son soluciones de la ecuacin diferencial:1

Polinomios de Hermite
Los polinomios de Hermite son soluciones de la ecuacin diferencial:2

Polinomios de Laguerre
Los polinomios de Laguerre son soluciones de la ecuacin diferencial:3

Los polinomios asociados de Laguerre son soluciones de la ecuacin

diferencial:4

Polinomios de Chebyshov
Los polinomios de Chebyshov son soluciones de la ecuacin diferencial:5

Mecnica cuntica
En mecnica cuntica son de uso comn las siguientes familias de polinomios
ortogonales:
Los polinomios de Hermite aparecen en mecnica cuntica como soluciones
del oscilador armnico unidimensional.
Los polinomios
problemas

de

Legendre y

cunticos

con

sus

simetra

funciones
esfrica,

asociadas
ya

que

aparecen

en

los armnicos

esfricos son funciones ortogonales sobre la esfera expresables mediante

estos polinomios.

Y que son los grupos, campos, anillos, anillos aveleanos (todo eso son
estructuras de conjunto)
Estructura algebraica
En lgebra abstracta, una estructura algebraica, tambin conocida como sistema
algebraico,1 es una n-tupla (a1, a2, ..., an), donde a1 es un conjunto dado no vaco, y
{a2, ..., an} un conjunto de operaciones aplicables a los elementos de dicho
conjunto.

Definicin
Un

grupo es un conjunto, G, conjuntamente con una operacin binaria que

compone dos elementos cualesquiera a y b de G para formar otro elemento notado

como a b oab. Para poder calificar como un grupo a (G, ), deben satisfacer
cuatro axiomas:4
Cerradura o Clausura
Para todo a, b de G, el resultado de la operacin a b tambin pertenece
a G.
Asociatividad
Para todos a, b y c de G, se cumple la ecuacin (a b) c = a (b c).
Elemento neutro
Existe un elemento e de G, tal que para todos los elementos a de G, se
cumpla la ecuacin e a = a e = a. El elemento de identidad de un
grupo G se escribe a menudo como 1 o 1G,5 una notacin heredada de la
identidad multiplicativa.

Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.

El orden en el que se hace la operacin de grupo puede ser significativo. En

otras palabras, el resultado de operar el elemento a con el elemento b no
debe dar necesariamente el mismo que operando b con a; la ecuacin
ab=ba
puede no ser siempre cierta. Esta ecuacin siempre se cumple en el grupo
de enteros con la adicin: a + b = b + a para dos enteros cualesquiera
(propiedad conmutativa de la adicin). Sin embargo, este grupo de simetra
no siempre se cumple como se especificar ms abajo. Los grupos para los
cuales

la

ecuacin

se

cumple

siempre

se

denominan abelianos (en honor a Niels Abel). As, el grupo de los enteros
con la adicin es abeliano, pero el grupo de simetra siguiente no lo es.

Definicin
Sea A un conjunto no vaco, y sean

dos operaciones binarias en A. Se dice que

es un anillo si se cumplen las siguientes propiedades:

el conjunto

1. A es cerrado bajo la operacin

2. La operacin

es asociativa.

3.

La
operacin
a n como elemento neutro.

4.

Existe
simtrico para

tiene

un elemento
.

Estas cuatro condiciones definen un grupo. Una quinta condicin define

un grupo abeliano:
5. La operacin

es conmutativa.

Para definir un anillo, es necesario agregar tres condiciones ms que hablan

acerca de la segunda operacin binaria:
6.

A es cerrado bajo la
operacin .

7.

La
operacin
es asociativa.

La
operacin es
8. distributiva respecto
de .

Y agregando una novena condicin, se define un anillo conmutativo:

9. La operacin

es conmutativa.

Si un anillo cuenta con un elemento neutro para la segunda operacin se

llama anillo unitario. A dicho elemento se le suele llamar la unidad (1) para
diferenciarlo del elemento neutro de la primera operacin (usualmente el 0).
Definicin sinttica
Un

anillo R es

un

conjunto

con

dos

leyes

de

composicin,

llamadas adicin y multiplicacin, cumpliendo las condiciones siguientes:2

R1. R es grupo abeliano para la adicin; el elemento neutro en esta adicin se

nombra cero del anillo, y se denota usualmente 0;

R2. R es un semigrupo para la multiplicacin;

R3. La multiplicacin es distributiva (por los dos lados) respecto de la adicin.

Definicin
Un cuerpo es un anillo de divisin conmutativo, es decir, un anillo conmutativo
y unitario en el que todo elemento distinto de cero es invertible respecto del
producto. Por tanto un cuerpo es un conjunto K en el que se han definido
dos operaciones, + y , llamadas adicin y multiplicacin respectivamente, que
cumplen las siguientes propiedades:
K es cerrado para la adicin y la multiplicacin
Para todo a, b en K, a + b y a b pertenecen a K (o ms formalmente, + y
son operaciones matemticas en K);
Asociatividad de la adicin y la multiplicacin
Para toda a, b, c en K, a + (b + c) = (a + b) + c y a (b c) = (a b) c.
Conmutatividad de la adicin y la multiplicacin
Para toda a, b en K, a + b = b + a y a b = b a.
Existencia de un elemento neutro para la adicin y la multiplicacin
Existe un elemento 0 en K, tal que para todo a en K, a + 0 = a.
Existe un elemento 1 en K, diferente de 0, tal que para todo a en K, a 1 = a.
Existencia de elemento opuesto y de inversos:
Para cada a en K, existe un elemento -a en K, tal que a + (- a) = 0.
Para cada a 0 en K, existe un elemento a

-1

en K, tal que a a-1 = 1.

Distributividad de la multiplicacin respecto de la adicin

Para toda a, b, c, en K, a (b + c) = (a b) + (a c).
El requisito a 0 asegura que el conjunto que contiene solamente un cero
no sea un cuerpo, y de paso elimina la posibilidad de que en el cuerpo

existan divisores de cerodistintos de 0, lo que lo convierte tambin en

un dominio de integridad. Directamente de los axiomas, se puede demostrar
que (K, +) y (K - { 0 }, ) son grupos conmutativos y que por lo tanto (vase
la teora

de

grupos)

el opuesto -a y

el inverso a-1 son

determinados

nicamente por a. Adems, el inverso de un producto es igual al producto de

los inversos:
(ab)-1 = a-1 b-1
con tal que a y b sean diferentes de cero. Otras reglas tiles incluyen
-a = (-1) a
y ms generalmente
- (a b) = (-a) b = a (-b)
as como
a 0 = 0,
todas reglas familiares de la aritmtica elemental.
Definiciones alternativas
Sintticamente, Un anillo P se llama cuerpo, si consta no slo del cero y en l
es posible la divisin en todos los casos( salvo la divisin por cero),
determinndose

esta

unvocamente,

esto

es,

si

para

cualesquiera

elementos m y n de P, de los cuales n es diferente de cero, existe en P un

elemento q, y slo uno, que cumple la igualdad nq = m. El elemento q se
denomina cociente de los elementos m y n y se denota q = m/n.2

Un cuerpo F es un dominio de integridad que contiene para cada elemento a

0 un inverso a-1 que verifica la igualdad:
a-1a = 1.3