ESCUELA SUPERIOR POLITÉCNICA DE

CHIMBORAZO
FACULTAD DE INFORMÁTICA Y ELECTRÓNICA

INGENIERÍA ELECTRÓNICA EN CONTROL Y REDES INDUSTRIALES

Tema:

Funciones ortogonales

Realizado por:

JUAN PINTAG ‘940’

RIOBAMBA-2018
 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

FUNCIONES ORTOGONALES

El conjunto de funciones seccionalmente continuas definidas sobre un

intervalo [a, b], con la suma de funciones y el producto de una función por
un número real es un espacio vectorial. Es muy fácil verificar que se cumplen
las propiedades de la definición.

Así como en los espacios vectoriales V2 y V3 está definido el producto escalar,

que se utiliza para definir analíticamente la noción de vectores
perpendiculares o vectores ortogonales, en forma más general se define en
los espacios vectoriales el producto interior, extendiendo el concepto
de ortogonalidad a elementos cuyo producto interior es nulo.

Si u, v y w son tres elementos de un espacio vectorial V, entonces el producto

interior es una función que satisface las siguientes
propiedades:

En análisis funcional, se dice que dos funciones f y g de un cierto espacio son

ortogonales si su producto escalar {F,G} es nulo.

Que dos funciones particulares sean ortogonales depende de cómo se haya

definido su producto escalar, es decir, de que el conjunto de funciones haya
sido dotado de estructura de espacio prehilbertiano. Una definición muy
común de producto escalar entre funciones es:
𝒃

⟨𝒇, 𝒈⟩ = ∫ 𝒇∗(𝒙) 𝒈(𝒙)𝒘(𝒙) ⅆ𝒙

𝒂

con límites de integración apropiados y donde * denota complejo

conjugado y w(x) es una función peso (en muchas aplicaciones se toma w(x)
= 1).

Las soluciones de un problema de Sturm-Liouville, es decir, las soluciones de

ecuaciones diferenciales lineales con condiciones de borde adecuadas pueden
 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

escribirse como una suma ponderada de funciones ortogonales (conocidas

también como funciones propias). Así las soluciones del problema:

ⅆ ⅆ𝒚
− [𝒑(𝒙) ] + 𝒒(𝒙)𝒚 = 𝝀𝒘(𝒙)
{ ⅆ𝒙 ⅆ𝒙
𝟏 (𝒂)
𝒚(𝒂) 𝐜𝐨𝐬 𝜶 − 𝒑(𝒂)𝒚 𝐬𝐢𝐧 𝜶 = 𝟎, 𝒚(𝒃) 𝐜𝐨𝐬 𝑩 − 𝒑(𝒃)𝒚𝟏 (𝒃) 𝐬𝐢𝐧 𝑩 = 𝟎

En particular, si consideramos el espacio vectorial de las funciones

seccionalmente contìnuas definidas en el intervalo [a, b], el siguiente
operador es un producto interior sobre este conjunto:

Teniendo en cuenta las propiedades de la integral, con respecto a la suma de

funciones y producto de una función por un número real, es fácil verificar que
se cumplen las propiedades de la definición. Definimos entonces el concepto
de funciones ortogonales en un intervalo.

Dos funciones f1 y f2 seccionalmente contìnuas definidas en el intervalo [a, b]

son ortogonales en dicho intervalo si

Ejemplos:

1.- Las funciones f1(x) = x2 y f2(x) = x3 son ortogonales en [-2, 2].

Es fácil verificarlo:

2.- En un intervalo simétrico respecto al origen, una función lineal que pasa
por el origen y una función constante cualquiera es ortogonal. Por ejemplo,
 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

si consideramos las funciones f1(x) = k y f2(x) = c x en [-a, a], para cualquier

valor real k y c, tenemos:

CONJUNTOS ORTOGONALES

Un conjunto de funciones reales {φ0(x), φ1(x), φ2(x), …} es ortogonal en el

intervalo [a, b] si el producto interior de dos funciones cualesquiera del
conjunto es cero, es decir:

Ejemplos:

1.- El siguiente conjunto infinito es ortogonal en el intervalo [-p, p]

Para comprobar esto, se debe verificar que el producto interior entre dos
funciones cualesquiera del conjunto es nulo.

Comencemos por calcular el producto interior entre la función 1 y las

funciones coseno.

Para n = 1, 2, 3, ...

Ahora calculamos el producto interior entre la función 1 y las funciones seno.

 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

Para n = 1, 2, 3, ...

Para calcular el producto interior entre un seno y un coseno de dicho

conjunto, usamos la siguiente identidad trigonométrica:

Entonces,

dado que la función sin(ax) es impar, por lo tanto, integrada en un intervalo

simétrico el resultado será nulo.

Verificamos ahora que el producto interior entre dos cosenos cualesquiera es

nulo:

Teniendo en cuenta la identidad:

 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

Resulta

Como m y n son números naturales todos los términos de esta última

expresión son cero, dado que sin(kπ) = 0 si k pertenece a los naturales.

Ahora verificamos que el producto interior entre dos senos cualesquiera es

nulo.

Teniendo en cuenta la identidad trigonométrica

para n ≠ m resulta:

CONJUNTOS ORTONORMALES

En un espacio vectorial, se define la norma de un elemento u como el

número real dado por:
 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

Por lo tanto, en el espacio vectorial de funciones seccionalmente continuas

en el intervalo [a, b], la norma de una función queda definida por:

Si {φn(x)} es un conjunto ortogonal de funciones en el intervalo [a, b] con la

propiedad:

Entonces se dice que {φn(x)} es un conjunto ortonormal en el intervalo [a,

b].

Desarrollo en series ortogonales

En álgebra y geometría analítica se estudió que tres vectores cualesquiera v1,

v2 y v3 no nulos y mutuamente ortogonales en el espacio tridimensional V3,
forman una base de dicho espacio, y cualquier vector u de ese espacio puede
escribirse como combinación lineal de ellos, es decir:

Donde las ci con i = 1, 2, 3 son escalares (reales) llamados componentes del

vector en dicha base. Se puede obtener una expresión para las ci en términos
del vector u y los vectores vi. Realizando el producto interior del vector u con
cada uno de los elementos de la base tenemos, comenzando por v1:

Por la propiedad (4) de la definición de producto interior es

 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

Como las ci son constantes escalares se puede utilizar la propiedad (2) de la

definición de producto interior en cada término

Al ser {v1, v2, v3} un conjunto ortogonal, el producto interior entre dos
cualesquiera de ellos es cero, y a partir de la definición de la norma de un
vector podemos reescribir:

Despejando resulta:

Realizando el mismo razonamiento con los otros dos vectores podemos

expresar de manera análoga las otras ci.

Por lo tanto, podemos escribir al vector u como

(2)

Si ahora, dentro del conjunto de funciones seccionalmente continuas

definidas en un intervalo [a,b] consideramos un conjunto ortogonal infinito

{φn, n = 1, 2, ...} (3)

¿Se podrá generalizar esta característica de los vectores a funciones y escribir

una y = f(x) como combinación lineal de las funciones del conjunto ortogonal?
Es decir, nos preguntamos si existirán constantes c1, c2, ...,cn, ... tales que

Supongamos que se puede escribir f como esta combinación lineal infinita.

Hacemos el producto interior de f con una función cualquiera φj del conjunto
ortogonal. En este caso, para poder aplicar la propiedad (4) de la definición
de producto interior, se requiere la condición de que el conjunto (3) sea
 Escuela Superior Politécnica De
Chimborazo
Facultad de informática y electrónica
Ingeniería electrónica en control y redes industriales

completo. Esto significa que las únicas funciones del espacio vectorial que son
ortogonales a las funciones de dicho conjunto son sólo las que pertenecen al
conjunto.

Si expresamos el producto interior como la integral (1), tenemos que

De aquí podemos despejar los coeficientes

(4)

Entonces, con los coeficientes dados en (4), podemos escribir a la función f

como:

Si además optamos por usar la notación de producto interior tenemos:

Esta expresión análoga a la expresión vectorial (2), se la llama desarrollo en

series ortogonales de f o serie de Fourier generalizada.