Algebra Lineal y Series de Fourier

Similitudes entre el espacio y las series de Fourier
Funciones Ortogonales
En esta seccin se muestra la forma en que los conceptos vectoriales de producto

interno, o producto escalar, y el de ortogonalidad de vectores pueden extenderse
fcilmente a espacios de funciones. Es decir, una funcin se considerara como una
generalizacin de vector.
Preliminares de algebra lineal
a) Producto interno: Si y son vectores de , se define

su producto punto, producto interno o producto escalar como
El producto punto a veces se escribe
Se recuerda que el producto interno o producto escalar tiene las siguientes

propiedades:
1) ;
2) ;
f3) si ;
4)
Por qu el producto interno es un concepto clave ? Las siguientes razones motivan

su importancia
b) Vectores ortogonales: Dos vectores diferentes de cero de son perpendiculares u

ortogonales, si y slo si
c) La norma o longitud de un vector : La longitud de un vector esta dada por
d)Angulo entre dos vectores El ngulo entre dos vectores y esta dado por
Jos Humberto Serrano Devia Pgina 1

Una de las grandes ideas de los matemticos del siglo XX fu dotar otros espacios
diferentes de de un producto interno de tal manera que fuera posible una
geometra en dicho espacio.
e) Espacio Vectorial: Se dice que un conjunto no vacio es un espacio vectorial real

si esta provisto de:
i) Una operacin de adicin:
La cual es conmutativa, asociativa, existe elemento neutro e inverso aditivo nicos.

Es decir, para todo
Existe un nico elemento en denotado tal que
para todo existe un nico elemento denotado tal que
ii) Una operacin exterior entre y
La cual satisface las siguientes propiedades para , y nmeros reales

arbitrarios:
Ejemplo 1

[ ] { [ ] [ ] } es un espacio vectorial real
con las operaciones usuales de suma de funciones y multiplicacin por escalar . Es
decir,
, para todo [ ]
, para todo
f) es un espacio vectorial sobre se encuentra equipado de un producto interno

que representamos por , si existe una funcin
tal que :
1)
2)
3)
4)
g) Norma: El producto interno d origen al concepto de longitud o norma ( la norma

inducida por el producto interno ) definida por :
La norma tiene las siguientes propiedades, para , y
1) y si y slo si
2) | |
3) (Desigualdad triangular )
En este caso se dice es una norma y que es un espacio vectorial normado.
h) Propiedades del producto interno y la norma
Sea un espacio vectorial y un producto interno en dicho espacio. Sea la

norma inducida por

h1) Desigualdad de Cauchy Schwarz- Bunyakovski:
Si , Entonces
| |
h2) Desigualdad triangular: Si , . Entonces
Demostracion de h2
Ejemplo 2 ( Producto interno entre funciones ).
Sea [ ] se define un producto interno en este espacio por
para todo
i) Funciones ortogonales
Dos funciones y son ortogonales en un intervalo [ ] si y slo si
Ejemplo 3
Las funciones yg son ortogonales en el intervalo [ ], ya que

j) Angulo entre dos funciones El ngulo entre dos funciones y g est dado por
k) Norma: La longitud o norma (la norma inducida por el producto interno) de un

elemento esta dada por
En el caso del ejemplo 2, la norma inducida es :
. [ ] /
El espacio
En el estudio de las series de Fourier, el espacio con producto interno ms importante

es [ ]). Este es el espacio de funciones definidas en el intervalo [ ] tales
que
[ ]
Es decir, el conjunto de todas las funciones definidas en el intervalo [ ] de

cuadrado integrable en [ ]
El producto interno en este espacio es obviamente

La desigualdad de Cauchy Schwarz- Bunyakovski en i , , entonces
| | [ ] [ ]
Notese que en virtud de la desigualdad anterior, si , [ ] entonces la

integral existe y es finita ( luego el producto interior esta bien
definido )
Otro espacio vectorial ( De Hilbert ) muy importante en el anlisis de Fourier discreto

es el espacio
El espacio
Ejemplo 4 Sea {{ } | | },
es un espacio vectorial con las operaciones usuales de suma de sucesiones y

multiplicacin por escalar. Se define el producto interno como
La longitud o norma de una sucesin { } est dada por
{ } | |
Ejercicios
1) Demostrar la ley del paralelogramo en el espacio : En un paralelogramo la

suma de los cuadrados de las longitudes de las diagonales es igual a la suma de
los cuadrados de las longitudes de sus lados .

2) Demostrar el teorema de Pitgoras en el espacio : la funcin es ortogonal a

la funcin si y slo si

3) En el espacio , demostrar que si es continua y entonces

para todo
4) Demostrar la desigualdad de CauchySchwarz- Bunyakovski en , ,
Entonces

| |
(Sugerencia: Considerar la funcin auxiliar y observar que la

grfica es una parbola que se abre hacia arriba del eje y por lo tanto el
discriminante es negativo )
5) Conjuntos Ortogonales de funciones

Un conjunto de funciones { } con valores reales se denomina ortogonal en un
intervalo [ ] si
[ ]
Conjuntos ortonormales
Un conjunto ortogonal de funciones { } definidas en el intervalo

en un intervalo [ ] se denomina ortonormal en el intervalo cuando , para
.Es decir:
[ ]
Cualquier conjunto { } ortogonal de funciones diferentes de la funcin cero

puede normalizarse dividiendo cada elemento de entre su norma .
Es decir, un conjunto de funciones { } se dice que es ortonormal en un

intervalo [ ] cuando
i) es un conjunto de funciones mutuamente ortogonales en [ ] y adems
, para toda y para todo entero no negativo
En este caso,

Ejercicios
1) a) Demostrar que el conjunto de funciones definidas el el intervalo [ ]:
{ } { }
cos ( )
( )
{ } , ( ) ( )-
es decir, es el conjunto formado por las funciones :
( ) ( ) ( ) ( ) ( ) ( )
es un conjunto ortogonal en el intervalo [ ]. Este conjunto ortogonal fue

introducido por Fourier en 8 en su obra THEORIE ANALYTIQUE DE LA CHALEUR
Para la demostracin se utilizan las identidades trigonomtricas producto suma.
Las normas son:
( ) ( )
Para determinar las correspondientes constantes de normalizacin del conjunto dado

en(a) dividimos cada elemento del conjunto por su correspondiente norma, de
modo que el conjunto sea ortonormal en [ ]
( ) ( ) ( ) ( )

Ejercicio: a) Demostrar que el conjunto de funciones
{ }
forma un conjunto ortogonal ( incompleto ) en el intervalo [ ] . Encontrar la

norma de cada funcin en el conjunto.
b) Determinar las correspondientes constantes de normalizacin del conjunto dado

en (a), de modo que el conjunto sea ortonormal en [ ].

Una analoga ms entre vectores y funciones
Sea { } un conjunto de tres vectores diferentes de cero y mutuamente

ortogonales en . Luego es una base para . Esto es, cualquier vector se
puede expresar como combinacin lineal de los elementos de la base
donde los , son escalares reales llamados componentes del vector
Formando el producto interior de cada miembro de la expresin anterior con y

aplicando propiedades del producto interior , se obtiene
Ahora, puesto que y
Se tiene que
de manera anloga
por lo tanto
En Particular si es una base ortonormal, cada .
Luego
En general si { } es una base ortogonal de . Entonces cualquier

vector puede ser escrito como combinacin lineal de los elementos de la
base.

Entonces sus componentes relativas a la base son
En particular si si es una base ortonormal, cada .
Luego
Serie generalizada de Fourier- Motivacion
Si { } { } un conjunto de funciones mutuamente ortogonales

en el intervalo [ ]. Se supone que cualquier funcin [ ] puede ser
expresada como combinacin lineal infinita de los elementos de
(Serie generalizada de Fourier),donde son los coeficientes de Fourier de respecto

a este conjunto ortogonal
( )
de donde
Otra forma

Sea { } un conjunto de funciones mutuamente ortogonales en el intervalo
[ ]. Si es una funcin definida en [ ] existen escalares tales
que
Demostraremos que si converge uniformemente a en .

Entonces
En efecto:
Multiplicando ambos miembros de
Por e integrando de a , se obtiene
Donde el intercambio de integracin y sumatoria esta justificado debido a que la serie

de funciones converge uniformemente a . Ahora , como las funciones del
conjunto son mutuamente ortogonales en el intervalo [ ], se tiene que
Por lo tanto,
o bien
Puesto que { } es un conjunto ortogonal se tiene que

Esto implica que

Luego
La serie

Se denomina serie generalizada de Fourier de respecto al conjunto ortogonal

{ } en el intervalo [ ].
Si el conjunto { } es ortonormal en [ ] Entonces
En este caso la serie generalizada de Fourier de respecto al conjunto ortonormal

{ } es
Ejemplo. El conjunto
{ } { }
( )
( )
es ortogonal en el intervalo [ ].
( ) ( )
suponga que

* +
[ ]
Utilizando las relaciones de ortogonalidad se obtiene
Luego ,
( )
( )
Conjuntos ortogonales y funcin peso
En el espacio vectorial [ ] definimos el producto interior:
donde es una funcin positiva fija en [ ]. La funcin se denomina funcin

peso.
El conjunto
{ } , ( ) ( )-
Es ortogonal en el intervalo [ ]respecto a la funcin peso .
Ortogonalidad respecto a una funcin peso
Un conjunto de funciones { } definidas en el intervalo [ ] se denomina

ortogonal respecto a una funcin de peso en el intervalo [ ] cuando

[ ]
Sea { } un conjunto de funciones definidas que son mutuamente ortogonales

respecto a la funcin de peso en el intervalo [ ]. Fcilmente se demuestra que
si
converge uniformemente a en [ ], entonces

[ ]
Conjuntos ortogonales completos
Para desarrollar en una serie de funciones ortogonales, es necesario suponer que

no es ortogonal a cada elemento del conjunto ortogonal { } . Si fuera as ,
entonces implica que para y . Para evitar esta
dificultad suponemos que el conjunto es completo, es decir satisface la siguiente
condicin
Definicion Un conjunto ortogonal { } de funciones definidas en el intevalo

[ ] se denomina completo si la nica funcin de [ ] ortogonal a cada funcin
del conjunto es la funcin cero.
Definicion
Un sistema ortonormal { } es completo si para cualquier [ ] tal

que entonces
(Nota: obsrvese nuevamente que si es ortogonal a cada . Entonces )
Ejemplo
{ } donde es ortogonal en el intervalo [ ] pero no es

completo.
Conjunto de funciones linealmente independiente

Sea espacio vectorial y sea { } un subconjunto finito de Se dice que es
linealmente dependiente si existen escalares reales no todos nulos
tales que
Si no es linealmente dependiente en este caso se dice que es linealmente

independiente.
Si es un subconjunto de ( no necesariamente finito ) , se dice que es linealmente

independiente si todo subconjunto de es linealmente independiente . En otro caso
se dice que es linealmente dependiente
Ejemplo
{ } { } es un conjunto linealmente
independiente en [ ].
El proceso de ortogonalizacion de Gram-Schmidt
Sea { } un subconjunto de [ ] si es linealmente independiente .

Entonces puede ortogonalizarse , es decir , convertirse en un conjunto ortogonal
utilizando el procedimiento de ortogonalizacion de Gram Schmidth. Para lo cual se
define el siguiente conjunto de funciones
Ejercicio s
1)
a) Escribir y
b) Por construccin el conjunto { } es ortogonal en [ ]. Demostrar
que son mutuamente ortogonales

2) Considerar el conjunto de funciones { } {
} definidas en el intervalo [ ] . Aplicar a este conjunto el procedimiento de
ortogonalizacion de Gram-Schmidth para encontrar las tre primeras funciones del
conjunto { }.
Ejercicios
1) Sea [ ] { [ ] [ ] } el espacio vectorial de

todas las funciones reales continuas en el intervalo [ ]. Se define
a) Si , calcular
b) Hallar un polinomio de primer grado que sea ortogonal a la funcin

constante .
2) Sea [ ]y
Se consideran las tres funciones
Demostrar que dos de ellas son ortogonales, dos de ellas forman entre si un ngulo de
, y dos forman entre si un ngulo de
En el siguiente ejercicio se solicita verificar que las funciones dadas son ortogonales
respecto a la funcin de peso indicada en el intervalo dado
3) Los tres primeros polinomios de Legendre son
Verificar que son mutuamente ortogonales en el intervalo [ ].
Sea
Encontrar los tres primeros coeficientes en el desarrollo de

4) Repetir el ejercicio anterior para la funcin | |
5) Los tres primeros polinomios de Hermite son
Verificar que son mutuamente ortogonales en el intervalo con

respecto a la funcin de peso ( esto implica que
).
Para la funcin | |
6) ) Los tres primeros polinomios de Chebyshev son
Verificar que son mutuamente ortogonales en el intervalo [ ] con

respecto a la funcin de peso ( esto implica nuevamente que
).
Para la funcin
Ejercicios
1) Sea { } un conjunto ortonormal en [ ]. Demostrar que
[ ]
es un mnimo cuando , donde

2) Si se aproxima por la suma de los primeros trminos de una serie de Fourier
donde las funciones { } son ortonormales en [ ]
a) Demostrar que
[ ] [ ]
b) Si
[ ]
es el error cuadrtico medio. Establecer la desigualdad de Bessel
[ ]
c) Demostrar que si son los coeficientes de Fourier de respecto al conjunto

ortonormal { } , entonces
[ ]
Este resultado se conoce como frmula o identidad de Parseval
Conjuntos Ortogonales de funciones complejas
Un conjunto de funciones de valores complejos { } definidas en el intervalo

[ ] se denomina ortogonal en dicho intervalo si
| |
Conjuntos ortonormales de funciones complejas

Un conjunto ortogonal de funciones de valores complejos { } definidas en el
intervalo [ ] se denomina ortonormal en dicho intervalo cuando , para
s decir
| |
Cualquier conjunto { } ortogonal de funciones complejas diferentes de la

funcin cero puede normalizarse.
Para funciones (o seales ) peridicas es conveniente escoger como base ortogonal el

conjunto de las exponenciales complejas armnicamente relacionadas. Esta eleccin
es adecuada ya que las exponenciales complejas [ ] son funciones peridicas
de periodo .
Veamos que el conjunto de funciones complejas [ ] para

forma un conjunto ortogonal en el intervalo [ ]
[ ] [ ]
Por lo tanto, el conjunto { [ ] } donde forma un

conjunto ortonormal en el intervalo [ ].
Los conjuntos ortonormales son de utilidad ya que los desarrollos en serie de Fourier
son ms sencillos.
Podemos utilizar la ortogonalidad del conjunto de exponenciales complejas

armnicamente relacionadas { [ ]} para determinar los coeficientes del
desarrollo en serie de Fourier de exponenciales complejas: Sea una seal
peridica con periodo , y sea el desarrollo en serie de Fourier en exponenciales
complejas dado por
[ ]
donde

Multiplicando ambos lados por [ ], e integrando en el intervalo[ ], se
obtiene que
[ ] [ ] [ ]
Por lo tanto,
[ ]
Debido a la periodicidad el intervalo de integracin [ ] en esta ecuacin puede

sustituirse por , donde representa cualquier intervalo de longitud .
El producto interno de dos funciones y de perodo y de valor complejo se

define en la siguiente forma ( donde la barra sobre indica conjugacin compleja )
Debido a la periodicidad el valor del producto interno no cambia si usamos un

intervalo de longitud en la integral.
Con frecuencia la funcin se conoce solo en los puntos equidistantes ,

. En este caso se define:
Como la norma usual de la funcin esta definida por
Se pueden hacer clculos con este producto interno en la misma forma como con el
producto interno definido en , con ciertas obvias modificaciones. Ntese
especialmente que en el caso continuo se tiene que
Donde
es el complejo conjugado de . En particular

Relaciones de ortogonalidad para las exponenciales complejas armnicamente
relacionadas
[ ],
Caso continuo:
Caso discreto
Demostracion
En el caso continuo , si se tiene que
[ ] [ ]
e p
0 1
con lo cual la ortogonalidad esta probada.
Ahora, para
[ ] [ ]
En el caso discreto, sea , luego ,
[ ] [ ]
[ ] [ ]
Esta es una suma geomtrica finita con razn [ ]. Si ( es un

entero. Entonces y la suma es igual a . De otra forma si . Entonces
[ ] . Aplicando la frmula para la suma de un serie geomtrica
finita se tiene que

Si sabemos que la funcin tiene una expansin de la forma
Donde en el caso continuo y en el caso discreto.

Entonces formalmente se sigue que
Como para . Por lo tanto, cambiando por , se obtiene :
Caso continuo

[ ]

Caso discreto

[ ]

Estos coeficientes se denominan coeficientes de Fourier. El tratamiento puramente

formal se puede justificar fcilmente en el caso discreto. Para caso continuo, se
requieren mtodos avanzados que se escapan del objetivo de este curso.
Las matemticas son el alfabeto con el cual Dios ha escrito el universo
Jos Humberto Serrano D-Universidad distrital Electrnica.

Algebra Lineal y Series de Fourier

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Algebra Lineal y Series de Fourier

Diunggah oleh

Hak Cipta:

Format Tersedia

Similitudes entre el espacio y las series de Fourier

En esta seccin se muestra la forma en que los conceptos vectoriales de producto

Preliminares de algebra lineal

a) Producto interno: Si y son vectores de , se define

El producto punto a veces se escribe

Se recuerda que el producto interno o producto escalar tiene las siguientes

Por qu el producto interno es un concepto clave ? Las siguientes razones motivan

b) Vectores ortogonales: Dos vectores diferentes de cero de son perpendiculares u

c) La norma o longitud de un vector : La longitud de un vector esta dada por

Jos Humberto Serrano Devia Pgina 1

e) Espacio Vectorial: Se dice que un conjunto no vacio es un espacio vectorial real

i) Una operacin de adicin:

La cual es conmutativa, asociativa, existe elemento neutro e inverso aditivo nicos.

Existe un nico elemento en denotado tal que

para todo existe un nico elemento denotado tal que

ii) Una operacin exterior entre y

La cual satisface las siguientes propiedades para , y nmeros reales

Jos Humberto Serrano Devia Pgina 2

f) es un espacio vectorial sobre se encuentra equipado de un producto interno

g) Norma: El producto interno d origen al concepto de longitud o norma ( la norma

La norma tiene las siguientes propiedades, para , y

En este caso se dice es una norma y que es un espacio vectorial normado.

h) Propiedades del producto interno y la norma

Sea un espacio vectorial y un producto interno en dicho espacio. Sea la

Jos Humberto Serrano Devia Pgina 3

h2) Desigualdad triangular: Si , . Entonces

Ejemplo 2 ( Producto interno entre funciones ).

Sea [ ] se define un producto interno en este espacio por

Dos funciones y son ortogonales en un intervalo [ ] si y slo si

Las funciones yg son ortogonales en el intervalo [ ], ya que

Jos Humberto Serrano Devia Pgina 4

k) Norma: La longitud o norma (la norma inducida por el producto interno) de un

En el caso del ejemplo 2, la norma inducida es :

En el estudio de las series de Fourier, el espacio con producto interno ms importante

Es decir, el conjunto de todas las funciones definidas en el intervalo [ ] de

El producto interno en este espacio es obviamente

Jos Humberto Serrano Devia Pgina 5

Notese que en virtud de la desigualdad anterior, si , [ ] entonces la

Otro espacio vectorial ( De Hilbert ) muy importante en el anlisis de Fourier discreto

es un espacio vectorial con las operaciones usuales de suma de sucesiones y

La longitud o norma de una sucesin { } est dada por

1) Demostrar la ley del paralelogramo en el espacio : En un paralelogramo la

2) Demostrar el teorema de Pitgoras en el espacio : la funcin es ortogonal a

3) En el espacio , demostrar que si es continua y entonces

Jos Humberto Serrano Devia Pgina 6

(Sugerencia: Considerar la funcin auxiliar y observar que la

5) Conjuntos Ortogonales de funciones

Un conjunto ortogonal de funciones { } definidas en el intervalo

Cualquier conjunto { } ortogonal de funciones diferentes de la funcin cero

Es decir, un conjunto de funciones { } se dice que es ortonormal en un

i) es un conjunto de funciones mutuamente ortogonales en [ ] y adems

, para toda y para todo entero no negativo

1) a) Demostrar que el conjunto de funciones definidas el el intervalo [ ]:

es decir, es el conjunto formado por las funciones :

es un conjunto ortogonal en el intervalo [ ]. Este conjunto ortogonal fue

Para la demostracin se utilizan las identidades trigonomtricas producto suma.

Las normas son:

Para determinar las correspondientes constantes de normalizacin del conjunto dado

Ejercicio: a) Demostrar que el conjunto de funciones

forma un conjunto ortogonal ( incompleto ) en el intervalo [ ] . Encontrar la

b) Determinar las correspondientes constantes de normalizacin del conjunto dado

Jos Humberto Serrano Devia Pgina 8

Sea { } un conjunto de tres vectores diferentes de cero y mutuamente

donde los , son escalares reales llamados componentes del vector