ESCUELA SUPERIOR POLITECNICA DE CHIMBORAZO

MATEMATICAS III

Nombre: Bryan Aguirre Codigo:1030

Fecha: 02/05/2018
Tema: Funciones Ortogonales

TRABAJO DE INVESTIGACIÓN # 1
FUNCIONES ORTOGONALES
En matemáticas superior se considera que una función es la generalización
de un vector.
Existe una relación entre dos conceptos vectoriales de producto
interno(punto) y ortogonalidad dichos conceptos se pueden ampliar para
abarcar las funciones.
Supongamos que u y v son vectores en el espacio tridimensional. El producto
interno (u,v) de los vectores, que también se escriben u.v, poseen las
siguientes propiedades:
 (u,v) = (v,u)
 (ku,v) = k(u,v), donde k es un escalar
 (u,u) = 0, si u=0, y (u,u)>0 si u≠0
 (u + v,w) = (u,w) + (v,w)

Esperemos que una generalización del concepto de producto interno debe

tener las mismas propiedades.
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 concepto
de ortogonalidad a elementos cuyo producto interior es nulo.
En particular, si consideramos el espacio vectorial de las funciones
seccionalmente continúas 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.

Definición:
Dos funciones f1 y f2 seccionalmente continúas 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 cualesquiera son ortogonales. Por
ejemplo, si consideramos las funciones
f1(x) = k y f2(x) = c x en [-a, a], para cualquier valor real k y c, tenemos:

Observación:
Este ejemplo sirve para demostrar que el concepto geométrico de
perpendicularidad nada tiene que ver con la ortogonalidad de funciones.
Geométricamente, las funciones mostradas en el gráfico de la derecha no son
perpendiculares, pero son ortogonales en el sentido del producto interior
definido mediante la integral.

Ortogonalidad de senos y cosenos

Aunque los ejemplos anteriores se limitaron a un par de funciones, el
siguiente es un conjunto de una infinidad de funciones ortogonales en el
intervalo -T/2<t<T/2 .
1,cosω0 t, cos2ω0 t, cos3ω0 t,...,senω0 t,sen2ω0 t,sen3ω0 t,... (para
cualquier valor de ω0= 2π /T ).
Para verificar lo anterior podemos probar por pares: 1.- f(t)=1 Vs. cos(mω0
t):

Ya que m es un entero.
2.- f(t)=1 Vs. sen(mω0 t):
3.- cos(mω0 t) Vs. cos(nω0 t):

4.- sen(mω0 t) Vs. sen(nω0 t):

5.- sen(mω0 t) Vs. cos(nω0 t):

Ortogonalidad en otros contextos

El concepto de ortogonalidad puede extenderse a otros objetos geométricos
diferente de los vectores. Por ejemplo dos curvas suaves se consideran
ortogonales en un punto si sus respectivos vectores tangentesson
ortogonales. Dos familias de curvas se llaman ortogonales si en el punto de
intersección de una curva de la primera familia con una curva de la segunda
familia ambas resultan ser ortogonales. Un ejemplo de esto es el de las líneas
isostáticas de tracción y compresión en una viga, las cuales son
las envolventes de las tensiones principales.
Sistemas de coordenadas ortogonales
Un sistema de coordenadas sobre una variedad de Riemann o un
espacio localmente euclídeo es ortogonal cuando las líneas coordenadas
asociadas a los valores constantes de alguna de las coordenadas tienen
vectores tangentes que son ortogonales entre sí. Las coordenadas cartesianas,
las coordenadas cilíndricas y las coordenadas esféricas son ejemplos de
sistemas de coordenadas ortogonales.
Los sistemas de coordenadas ortogonales son interesantes porque el tensor
métrico expresado en ese sistema de coordenadas es diagonal. Si además
todos los términos del tensor métrico son +1 (o también -1 si estamos en
una Variedad pseudoriemanniana) el sistema de coordenadas se califica
además de ortonormal.
Los sistemas de coordenadas ortogonales las líneas coordenadas forman
familias de curvas ortogonales entre sí.

CONJUNTOS ORTOGONALES

Definición:
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, ... es
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 sen(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:

Resulta
Como m y n son números naturales todos los términos de esta última
expresión son cero, dado que sen(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:

ORTOGONALIDAD CON RESPECTO A UNA FUNCIÓN

DE PESO

Algunos conjuntos importantes de funciones g1(x), g2 (x), g3 (x), ... que

ocurren en las aplicaciones ( como las funciones de Bessel ) no son
ortogonales pero tienen la propiedad de que para alguna función no
negativa p (x),

Se dice que tal conjunto es ortogonal con respecto a la función de peso p(x)
en el intervalo a ≤ x ≤ b.
La norma de gm(x) se define ahora como

y si la norma de cada función es 1, se dice que el conjunto es ortonormal en

ese intervalo con respecto a la función p(x) .

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 de la definición de producto interior es

Como las ci son constantes escalares se puede utilizar la propiedad 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

Si ahora, dentro del conjunto de funciones seccionalmente continúas

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

{φn, n = 1, 2, ...}
¿Se podrá generalizar ésta 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 de la definición de
producto interior, se requiere la condición de que el conjunto sea 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, tenemos que

De aquí podemos despejar los coeficientes

Entonces, con los coeficientes dados en, 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, se la llama desarrollo en

series ortogonales de f o serie de Fourier generalizada.

Bibliografía
C.Lamoureux,C.(2001).Series de Furier. Recuperado de
http://electronica.ugr.es/~amroldan/asignaturas/curso10_11/analisis_circuitos/complemento
s/Series_Fourier.

Algebra yGeometria.Recuperado de
http://www.dma.uvigo.es/~aurea/Transparencias_tema4.pdf

Ortogonalidad con respecto.Recuperado de

http://www.uacj.mx/CGTI/CDTE/JPM/Documents/IIT/sterraza/mate2016/EDorto2_6/orto2.ht
ml

Conceptos Basicos. Recuperado de Frsn.utn.edu.ar