FUNCIONES ORTOGONALES

DEFINICIN DE ORTOGONALIDAD DE DOS FUNCIONES: Sean g m ( x) y g n ( x) dos funciones reales que estn definidas en un intervalo a e x e b, de tal manera que la integral del producto g ( x ) g n ( x) existe en el intervalo Denotaremos esta integral por ( g
b

, gn )

, entonces:

dx ( g m , g n ) ! ?g m ( x) g n ( x )A
a

Condicin para que dos funciones

g m y g n sean ortogonales en el intervalo

ae xeb

(g , gn )

?g
b a

( x) g n ( x)A dx

0 para m { n

EJEMPLO 1: Comprobar que las funciones f ( x ) ! x y g ( x ) ! x 2 en el intervalo ? 1,1A

son ortogonales

SOLUCIN:
4 1

x ( x, x ) ! ( x)( x )dx ! x dx ! 1 1 4
2 1 2 1 3

Como (x, x2) = 0 se concluye que las dos funciones son ortogonales

1 1 !  !0 4 4 1

EJERCICIO 1: Comprobar que las funciones f1 ( x) ! x 2 y f 2 ( x) ! x 3 son ortogonales en el intervalo ? 1,1A

3 EJERCICIO 2: Comprobar que las funciones f1 ( x) ! x y f 2 ( x) ! x son ortogonales en el intervalo? 3,3A

CONJUNTOS ORTOGONALES: Un conjunto g ( x), g ( x),...., g ( x) de funciones reales es llamado conjunto ortogonal de funciones en el intervalo a e x e b si todas estn definidas en el intervalo y si todas las integrales ( g m , g n ) existen y son cero para todos los pares distintos de funciones.
1 2 n

La raz cuadrada de ( g m , g m ) es llamada norma de g m y generalmente se denota por g m La representacin matemtica de la norma de g m es la siguiente:

g ( x )dx

Es claro que un conjunto ortogonal g1 ( x), g 2 ( x),...., g n ( x) de funciones reales en el intervalo a e x e b cuyas funciones tienen norma 1 satisfacen la siguiente expresin: (y decimos que forman un conjunto ortonormal)

(g , gn ) !

0 si m { n g ( x) g n ( x)dx ! 1 si m ! n

Un conjunto de funciones_f 0 ( x), f1 ( x), f 2 ( x),..., f n ( x ),...ase dice que es un conjunto , ortogonal con respecto a una funcin de peso w(x) en el intervalo a e x e bsi:

! 0 para m n a w( x) f n ( x) f m( x)dx 0 para m ! n

b

TEOREMA DE ORTOGONALES

EXISTENCIA

DE

UN

CONJUNTO

DE

FUNCIONES

Dado un conjunto de funciones J0 ( x ), J1 ( x ), J2 ( x ),..., Jn ( x ),... , linealmente ae xeb independientes y continuas en el intervalo y dada una funcin de peso w(x) positiva y continua en el mismo intervalo existir un conjunto de funciones

_f 0 ( x), f1 ( x), f 2 ( x),..., f n ( x),...a

Con las propiedades siguientes: a) Cada f n (x ) es una combinacin lineal de J b) Las f n (x ) son linealmente independientes en el intervalo a e x e b c)

_f n (x)a es un conjunto ortogonal con respecto a la funcin de peso w(x) en el

intervalo a e x e b