2.5 Funciones ortogonales.

Conjunto ortonormal

2.5.

Funciones ortogonales. Conjunto ortonormal

Algunas de las propiedades de las Series de Fourier depende de resultados como:

Z

sin
= 0 ( 6= )

0
Z

cos
= 0 ( =
6 )
cos

0
sin

(2.39)

Anlogo a las propiedades de los vectores, se puede extender el concepto de vectores ortogonales
(perpendiculares) a las funciones. El producto vectorial u v = = 0 o 1 1 + 2 2 + 3 3 = 0

cuando los vectores u y v son ortogonales entre s. Esta definicin puede extenderse a vectores

con ms de tres dimensiones, aunque no se tenga un sentido geomtrico o fsico. Considerando una
funcin f (x) como un vector de componentes infinitos, el valor de cada componente se especifica
al sustituir un valor particular de que pertenece a un intevarlo ( ). As, se puede definir que
dos funciones () y () son ortogonales en ( ) si
Z

h () ()i =

()() = 0

(2.40)

La ec. (2.40) se llama producto escalar de () y ().

El vector u se denomina vector unitario o vector normalizado si su magnitud es unitaria, si
u u = u2 =1. Extendiendo este concepto la funcin () es normal o normalizada en ( ) si
h () ()i =

()2 = 1

(2.41)

Se puede considerar que un conjunto de funciones { () = 1 2 3 } tiene las siguientes

propiedades

() () =

h () ()i =

() () = 0 6=

(2.42)

()2 = 1 = 1 2 3

(2.43)

Las ecs. (2.42) y (2.43) pueden resumirse como

() () =

() () =

(2.44)

donde se denomina delta de Kronecker, la cual se define como

=

c
Gelacio
Jurez, UAM

0 6=

1=

(2.45)

92

2.5 Funciones ortogonales. Conjunto ortonormal

Ejemplo
El conjunto de funciones
() =

2
sin = 1 2 3

(2.46)

es un conjunto ortonormal en el intervalo 0 .

r
2
2
sin 1)(
sin 2) =
h1 () 2 ()i =
(

0
r
Z r
2
2
sin 1)(
sin 3) =
h1 () 3 ()i =
(

0
Z

y normalizada
r

4
3
sin = 0
3
0

2 sin 2 sin 4

=0

4
8
0

sin 2

(
h1 () 1 ()i =
=1
2
4
0
0

Z r

sin
4
2
2
=1
sin 2)2 =

(
h2 () 2 ()i =

2
8
0
0
Z

2
2
sin 1)2 =

La figura 2.18 muestra las funciones 1 (), 2 () y 3 (); la figura 2.19 los productos 1 ()2 ()
y 1 ()3 (); y a figura 2.20 los productos 1 ()2 y 2 ()2

phi(x)

0
0.5

1.0

1.5

2.0

2.5

3.0

-1

Figura 2.18: Funciones () para = 1 2 3.

phi(x)

0
0.5

1.0

1.5

2.0

2.5

3.0

-1

Figura 2.19: Producto de funciones 1 () 2 () y 1 () 3 ().

c
Gelacio
Jurez, UAM

93

2.5 Funciones ortogonales. Conjunto ortonormal

phi^2(x)

1.0
0.5
0.0
0

Figura 2.20: Funciones 2 () para = 1 2.

Ejemplo
Sean el conjunto de funciones
1 () =
2 () = 2
3 () = sin
4 () = cos
en el intervalo .

Determine el producto escalar de las funciones a) impares h1 () 3 ()i, b)par y par h2 () 3 ()i

c) impar y par h1 () 4 ()i y d) par e impar h2 () 3 ()i. Grafique estos productos.

h1 () 3 ()i =
h2 () 4 ()i =
h1 () 4 ()i =
h2 () 3 ()i =

sin = sin cos | = 2

2 cos = 2 sin 2 sin + 2 cos = 4

cos = cos + sin | = 0

2 sin = 2 cos 2 cos + 2 sin = 0

La figura 2.21 muestra las funciones 1 ()y 2 (); la figura 2.22 las funciones 3 ()y 4 (); la
figura 2.23 los productos 1 ()3 () y 2 ()4 (); y a figura 2.19 los productos 1 ()4 () y
2 ()3 ().

c
Gelacio
Jurez, UAM

94

2.5 Funciones ortogonales. Conjunto ortonormal

phi(x)
-3

-2

10

-1

-10

Figura 2.21: Funciones 1 () y 2 ().

Tarea
Sean el conjunto de funciones
1 () = 3
2 () = 4
3 () = sin 2
4 () = cos 2
en el intervalo .

Determine el producto escalar de las funciones a) impares h1 () 3 ()i, b)par y par h2 () 3 ()i

c) impar y par h1 () 4 ()i y d) par e impar h2 () 3 ()i. Grafique estos productos.

c
Gelacio
Jurez, UAM

95

2.5 Funciones ortogonales. Conjunto ortonormal

phi(x)
-3

-2

-1

-1

Figura 2.22: Funciones 3 () y 4 ().

phi(x)
-3

-2

-1

-5

-10

Figura 2.23: Producto de funciones 1 () 3 () y 2 () 4 () .

phi(x)

4
2

-3

-2

-1

1
-2

-4

Figura 2.24: Producto de funciones 1 () 4 () y 2 () 3 () .

c
Gelacio
Jurez, UAM

96