UNIVERSIDAD POLITCNICA SALESIANA. Espinoza, Cristian. Ortogonalidad y Ortonormalidad de Funciones.

.


1
ORTOGONALIDAD Y ORTONORMALIDAD DE FUNCIONES

Cristian Espinoza L.
e-mail: cespinozalo@est.ups.edu.ec



RESUMEN: En ciertas operaciones con
funciones, como los productos interiores, podemos
encontrar dos condiciones importantes:

Cuando este producto es igual a cero se cumple la
condicin de ortogonalidad:



En cambio, todo conjunto de funciones e

(x)(r =
1, 2, S, ) es de funciones ortonormales en (u, l) si

] e

(x)e
6
(x)Jx = o
s
(r, s = 1, 2, S, . . )
I
0



Un conjunto de funciones ortonormales e

(x) es
completo si es imposible aadir otra funcin no nula que
sea ortogonal a cada una de las e

(x).


PALABRAS CLAVE: Ortogonalidad, Ortonormalidad,
Conjuntos, Series, Fourier, Combinacin.


1 INTRODUCCIN

Este ensayo trata de demostrar las condiciones de
ortogonalidad y ortonormalidad para funciones y su
aplicacin en Conjuntos y Series de Funciones como
Fourier.

As, empezando desde los productos interiores de
funciones demostraremos ciertas condiciones para
cumplir la ortonormalidad y ortogonalidad de funciones.

2 ORTOGONALIDAD

2.1 PRODUCTOS INTERIORES DE
FUNCIONES

El producto interior de dos funciones f
1
y f
2
en un
intervalo [a, b] es el nmero





2.2 ORTOGONALIDAD

Dos funciones f
1
y f
2
son ortogonales en un
intervalo [a, b] si



Resumiendo, dos funciones son ortogonales si su
Producto Interno es igual a cero.

A diferencia del anlisis vectorial, en donde la
palabra ortogonal es sinnimo de "perpendicular", en el
presente contexto el trmino ortogonal y la expresada
anteriormente no tienen significado geomtrico.


Las funciones f
1
(x) = x
2
, f
2
(x) = x
3
son ortogonales en
el intervalo [1, 1] puesto que:






2.3 CONJUNTO ORTOGONAL

Se dice que un conjunto de funciones de valores
reales {
0
(x),
1
(x),
2
(x), } es ortogonal en un
intervalo [a, b] si:





Demuestre que el conjunto {1, cos x, cos 2x, }
es ortogonal en [, ].

Sea
0
(x) = 1,
n
(x) = cos nx, comprobamos que








2.4 DESARROLLO EN SERIES
ORTOGONALES

Suponga que {
n
(x)} es un conjunto ortogonal en [a,
b]. Si f(x) est definida en [a, b], escribimos primero



0 ) ( ) ( ) , (
2 1 2 1
= =

b
a
dx x f x f f f
0 ) ( ) ( ) , (
2 1 2 1
= =

b
a
dx x f x f f f

=
b
a
dx x f x f f f ) ( ) ( ) , (
2 1 2 1
0
6
1
) , (
1
1
6 3
1
1
2
2 1
= = =

x x d x x f f
n m dx x x
b
a
n m n m
= =

, 0 ) ( ), ( ) , (
0 , 0 sin
1
cos ) ( ) ( ) , (
0 0
= =
= =

n for nx
n
nxdx dx x x
n n

? ) ( ) ( ) ( ) (
1 1 0 0
L L + + + + = x c x c x c x f
n n

UNIVERSIDAD POLITCNICA SALESIANA. Espinoza, Cristian. Ortogonalidad y Ortonormalidad de Funciones.
.


2


Entonces:













Como {
n
(x) } es un conjunto ortogonal en [a, b],
cada trmino en el lado derecho es nulo, excepto m = n.
En este caso tenemos









Desarrollando:










De la funcin anterior tenemos:














3 ORTONORMALIDAD


3.1 COMBINACIN LINEAL

u(x, t) = (C

cos
nct
I
+

scn
nct
I
)scn
nx
I

=1


Las constantes arbitrarias C

satisfacen las
condiciones en t = u.

(x) = `C

scn
rnx
l

=1


Se satisface derivando la ecuacin anterior
respecto de t y haciendo t = u.

g(x)=
nc
I
r

scn
nx
I

=1



Ahora podemos determinar los conjuntos de
coeficientes C

, a partir de la tcnica de las

series de Fourier.


C

=
2
l
J (x)scn
I
0
rnx
l
Jx

=
2
rnc
J g(x)scn
I
0
rnx
l
Jx


De modo si podemos escribir las funciones
anteriores se puedan expresar como suma de series.

Por integracin directa se tiene

J scn
rnx
l
scn
snx
l
I
0
Jx = {
u, r = s,

l
2
, r = s(= u),


En donde r y s son enteros positivos. Este es el mtodo
de las series de Fourier.

Podemos expresarla como:

J |

2
l
scn
rnx
l

I
0
|

2
l
scn
snx
l
Jx = |
u, r = s,
1, r = s(= u)
|

De donde se hace

e(x) =

2
l
scn
rnx
l
, r = 1, 2, .,



Se tiene

] e(x)e
6
(x)Jx =
I
0
|
u, r = s,
1, r = s(= u)
|


L L
L
L
+ + + + =
+ +
+ + =

) , ( ) , ( ) , (
) ( ) (
) ( ) ( ) ( ) (
) ( ) (
1 1 0 0
1 1 0 0
m n n m m
b
a
m n n
b
a
m
b
a
m
b
a
m
c c c
dx x x c
dx x x c dx x x c
dx x x f

,... 2 , 1 , 0 ,
) (
) ( ) (
) ( ) , ( ) ( ) (
2
2
= =
= =

n
dx x
dx x x f
c
dx x c c dx x x f
b
a
n
b
a
n
n
b
a
n n n n n
b
a
n

=
=
0
), ( ) (
n
n n
x c x f
2
|| ) ( ||
) ( ) (
x
dx x x f
c
n
b
a
n
n

=
=
0
2
) (
|| ) ( ||
) , (
) (
n
n
n
n
x
x
f
x f

UNIVERSIDAD POLITCNICA SALESIANA. Espinoza, Cristian. Ortogonalidad y Ortonormalidad de Funciones.
.


3
Funciones e

tales que la integral de e

(x)e
6
(x)
se anula para r = s en el intervalo (u, l), se llaman
funciones ortogonales en el intervalo (u, l).

Estas funciones son normalizadas a la unidad en
(u, l) si para r = s(= u) la integral anterior es igual a la
unidad.



3.1 FUNCIONES ORTONORMALES


Funciones como:


e(x) =

2
l
scn
rnx
l
, r = 1, 2, .,

Se llaman funciones ortonormales en (u, l).

Todo conjunto de funciones e

(x)(r = 1, 2, S, ) es
de funciones ortonormales en (u, l) si

] e

(x)e
6
(x)Jx = o
s
(r, s = 1, 2, S, . . )
I
0


En general, un conjunto de funciones e

(x) se
llama ortonormal en el intervalo (o, b) respecto de la
funcin de peso (x), si

] (x)e

(x)e
s
(x)Jx =
b
u
o
s
(r, s = 1, 2, S, . . )

Un conjunto de funciones ortonormales e

(x) es
completo si es imposible aadir otra funcin no nula que
sea ortogonal a cada una de las e

(x).

Definiremos como norma cuadrtica de una funcin
en el intervalo [a, b] a la integral:

0 ||n(x||^2 = (n(x)^2 dx).

Obsrvese que siempre podemos convertir un conjunto
ortogonal de funciones {n(x)} en un conjunto
ortonormal dividiendo por la norma de cada una de ellas:

n(x) = n(x) / ||n(x)||.

De este modo tenemos asegurado que:

||n(x)|| = 1, y {n(x)} es entonces un conjunto
ortonormal.

Sea ahora {n(x)} una sucesin ortonormal de funciones
en el intervalo [a,b]. Dada una funcin f(x) cualquiera,
podemos intentar expresarla mediante el siguiente
desarrollo en el intervalo [a, b]:

f(x) = (ak k(x)).

Para determinar los coeficientes an multiplicamos
ambos lados de la ecuacin anterior por k(x):

f(x) n(x) = (ak k(x) n(x)).

Vamos a suponer que podemos realizar la integracin en
el intervalo [a, b]. Entonces tenemos:

(f(x) n(x) dx) = [ak (ak k(x) dx)] = (ak
kn) = an.

Estos nmeros se denominan coeficientes de Fourier de
f(x) respecto a la sucesin ortonormal {n(x)}, y la serie
asociada siguiente es la serie de Fourier de f(x)
respecto a {n(x)}.

(ak k(x)).

A este tipo de serie se le denomina serie de Fourier
generalizada.


La descomposicin de una funcin f(x) en trminos de
funciones {n(x)} es anloga a la descomposicin de un
vector en componentes referidas a una cierta base, por
ello se puede definir de modo anlogo un producto
escalar o interior de funciones:

(f, g) = (f(x) g(x) dx).

que verifica las propiedades usuales de linealidad y
simetra:

(f1 + f2, g) = (f1, g) + (f2, g).
(c f, g) = c (f, g).
(f, g) = (g, f).

Con esta notacin, dos funciones se dicen ortonormales
si su producto escalar es cero:

(f, g) = 0.

Y adems su norma al cuadrado es:

||f||^2 = (f, f).

Los coeficientes de Fourier vendran dados entonces por
el siguiente producto escalar:

an = (f, n).



Comparemos esto con la expansin de un vector de R^3
en trminos de una base ortonormal {e1, e2, e3}.
Tendramos:

v = a1 e1 + a2 e2 + a3 e3.
an = (v, en) = (en, v) = v en.

UNIVERSIDAD POLITCNICA SALESIANA. Espinoza, Cristian. Ortogonalidad y Ortonormalidad de Funciones.
.


4
A pesar de esta comparacin, hemos de tener
en cuenta que en el caso de series de Fourier
trabajamos con espacios lineales de funciones definidas
en un cierto intervalo [a, b], y no con un espacio lineal
vectorial ordinario.

Estos espacios lineales de funciones tienen
dimensin infinita, en el sentido de que es necesaria una
sucesin ortonormal infinita para poder representar una
funcin arbitraria f(x) definida en [a, b].

En realidad, no todas las funciones admiten un
desarrollo en serie de Fourier, como ya sabemos.

Denotaremos por R el espacio de todas las
funciones f(x) definidas en [a, b] que admiten un
desarrollo en serie de Fourier.

Este espacio est constitudo por todas las
funciones integrables Riemann sobre dicho intervalo.
Adems, no todas las sucesiones ortonormales de
funciones son adecuadas para representar una funcin
arbitraria de R.

Para ello necesitamos que el conjunto {n} sea
maximal, esto es, que pueda reproducir de modo
exhaustivas todas las funciones de R.

Se dice que una sucesin ortonormal {n(x)} es
completa o maximal respecto al intervalo [a, b] si la
nica funcin ortogonal a todas las funciones n(x) es
la funcin cero o nula.

Una funcin f es nula si cumple:

||f^2|| = (f, f) = 0.

Lo que es equivalente:

(|f(x)|^2 dx) = 0.

Con la definicin de producto dado para nuestro espacio
de funciones R, tenemos tambin una definicin de
distancia entre funciones:

d(f, g) = ||f g|| = [((f(x) - g(x))^2 dx)]^1/2.

Un espacio lineal en el que hemos definido una distancia
que satisface las propiedades usuales, se llama espacio
mtrico. Dos funciones de R se consideran iguales si
difieren en una funcin nula.




3.3 LA ECUACIN DE STURM-LIOUVILLE

El mtodo de separacin de variables, cuando se
aplica a ecuaciones en derivadas parciales lineales de
segundo orden, con frecuencia conduce a una ecuacin
diferencial ordinaria

J
Jx
|p
Je(x)
Jx
+ + (o + yr)e(x) = u,

En la que p, o y r son funciones dadas, de la variable
independiente x, definidas en el intervalo o < x < b, y es
un parmetro y e(x) es la variable dependiente.


4 CONCLUSIONES

Al concluir el presente trabajo, podemos observar el
desarrollo de una serie de funciones comprobando su
relacin de ortogonalidad, el cual define la posibilidad de
escoger dos puntos de un conjunto o serie de
ecuaciones y relacionarlas entre si.

As, con las condiciones de ortonormalidad podemos
convertir un conjunto ortogonal de funciones {n(x)} en
un conjunto ortonormal dividiendo por la norma de cada
una de ellas:

n(x) = n(x) / ||n(x)||.

De este modo tenemos asegurado que:

||n(x)|| = 1, y {n(x)} es entonces un conjunto
ortonormal.

Tambin, con la ecuacin de Sturn-Liouville podemos
trabajar con variables separadas en ecuaciones
diferenciales ordinarias.



5 BIBLIOGRAFA

[1]
http://www.unizar.es/analisis_matematico/mperez/preprints/t
esisMPerez.pdf(ORTOGONAL_FOURIER)
[2]
http://www.ie.itcr.ac.cr/palvarado/PDS/cap04.pdf(ortoganalidad
y serie de fourier)
[3]
http://lic.mat.uson.mx/tesis/001TesisVelarde.pdf(sobre la
ortogonalidad y sus causas)