Notas 11

Bases Ortogonales
1. Bases discretas:
Reconocemos un espacio lineal ó vectorial si para las cantidades ABC
, , , ⋯ y los números
reales y , se cumplen los siguientes axiomas:
𝛼 𝛽

• A B es un vector ( Cerradura )
A B B A . ( Conmutatividad )
+

•
A B C A B C . ( Asociatividad )
+ = +

•
A A . ( Elemento neutro de la suma )
( + )+ = +( + )

•
A B B - A . ( Inverso aditivo )
+0 =

• + = 0 → =

Adicionalmente, se cumple que:

• Si es un escalar A es un vector
• Si y son escalares A A A
𝛼 𝛼

A A A
𝛼 𝛽 𝛼(𝛽 ) = 𝛽(𝛼 ) = (𝛼𝛽)

•
• A B A B
(𝛼 + 𝛽) = 𝛼 +𝛽

𝛼( + ) = 𝛼 +𝛼

Diremos adicionalmente que un espacio vectorial tiene dimensión n si hay n elementos

linealmente independientes tal que todo elemento del espacio es una combinación lineal de estos
n elementos. Cualquier combinación lineal de n elementos es necesariamente, linealmente +1

dependiente.
Definimos el espacio Euclídeo, como un espacio vectorial con producto escalar o producto
interno. De esta manera, debe cumplirse que:
• AA( , de manera que A A
, ) > 0 A ( , ) = 0 → = 0

• A A A ( Norma )
• AB BA
‖ ‖ = ( , )

• AB AB
( , ) = ( , )

• AB C AB AC
(𝛼 , ) = 𝛼( , )

• Si A B A B , A y B son ortogonales.
( , + ) = ( , )+( , )

( , ) = 0 ∧ ≠ 0 ∧ ≠ 0

Ahora bien si los objetos del espacio son funciones, en general complejas y los escalares son
números complejos, tendremos un espacio de Hilbert. En este caso, el producto interno podremos
escribirlo de forma general, con las siguientes propiedades:
b
n m ∫a n x m x dx (𝜑 , 𝜑 (1)
) ≡
*
𝜑 ( )𝜑 ( )

De esta forma:
• n m
(𝜑 , 𝜑 m n ) = (𝜑 ,𝜑 )
*

• a n b m l a n l b m l
( 𝜑 + 𝜑 ,𝜑 ) =
*
(𝜑 , 𝜑 ) +
*
(𝜑 ,𝜑 )

b
• n ‖𝜑 ‖ =
a n dx y claro n n
∫ |𝜑 |
2
para n (𝜑 , 𝜑 ) > 0 𝜑 ≠ 0

• Si n , se dirá que la función está normalizada.

‖𝜑 ‖ = 1

• Si el conjunto n x es tal que {𝜑 ( )}

 b
∫
a n 𝜑 (
*
x )𝜑 m ( x dx
) = 𝛿 mn (2)
y genera a todo el espacio de funciones, diremos que se tiene una base ortonormal.
El producto interno más general, puede escribirse de la forma:
b
(𝜑( x x ), 𝜓( )) = ∫
a 𝜑( x x p x dx
)𝜓( ) ( ) (3)
Donde la función p x recibirá el nombre de funciones de peso.
( )

2. Relación de completez
Asumiendo que el conjunto n x es una base ortonormal con funciones de peso p x para el
{𝜑 ( )} ( )

conjunto de funciones, entonces podemos afirmar que:

f x ∑ an n x
∞

( ) = 𝜑 ( ) (4)
n
Luego, multiplicando a ambos lados por p x m x e integramos desde a hasta b
=0

*
( )𝜑 ( )

a
b
∫ p x f x m x dx
( ) ( ∑
n
a
)𝜑n a
*
b
∫ p x m x n x dx
( ) =
∞

( )𝜑
*
( )𝜑 ( ) (5)
Como n x es una base ortonormal, es cierto que:
=0

{𝜑 ( )}

a
b
∫ p x f x m x dx ∑ an mn
( ) ( )𝜑
*
( ) =
n
∞

=0
𝛿 (6)
b
∴ am = ∫
apxfx m ( ) ( )𝜑
*
( x dx) (7)
así
b
an = ∫
apxfx n( ) ( )𝜑 (
*
x dx) (8)
Si sustituimos a an en (4), tenemos:

fx ( ) = ∑n abp x f x n x n x dx
∞

∫ ( ') ( ')𝜑 (
*
')𝜑 ( ) ' (9)

∑
=0

b
a n f x p x n x n x dx
∞

= ∫ ( ') ( ')𝜑 (
*
')𝜑 ( ) ' (10)

afx ∑
=0

b
p x n x n x dx
∞

= ∫ ( ') ( ')𝜑 (
*
')𝜑 ( ) ' (11)
n =0

Relación de completez:
𝛿( x-x ') = ∑n p x
∞

=0
( ')𝜑 (n
*
x ')𝜑 ( n x ) (12)

Teoremas:
• El conjunto n
{𝜑 ( x
)} es completo, si para toda función f x de cuadrado integrable ( )

∫
a
b
| (f x dx )|
2
= ∑n Cn
∞

=0
| |
2
(13)
 Prueba: sea

fx ( ) = ∑n Cn n x
∞

𝜑 ( )

∑
=0

f x Cm m x
∞

* * *
( ) = 𝜑 ( )
m =0

Luego

af
∫
b *
( x f x dx
) ( ) = ∑
mn
Cm Cn a b m x
∞

*
∫ 𝜑
*
( n
)𝜑 ( x dx
)

∑ CmCn mn
, =0

b
f x dx
∞

∫
a
2 *
| ( )| = 𝛿
mn
∑n Cn
, =0

b
f x dx
∞

∫
a
2 2
| ( )| = | |
=0

• El producto interno en el espacio de Hilbert es:

fg
( , ) = ∑n CnDn
∞

=0
*
(14)
Prueba:
b
( , fg ) = ∫
a f x g x dx
*
( ) ( )

= ∫
b
∑ ∑ Dm m dx
a n Cn n m
∞

*
𝜑
*
∞

∑
=0 =0

CnDm a b n mdx
∞

* *
= ∫ 𝜑 𝜑
mn
∑ CnDm mn
, =0

*
= 𝛿
mn
∑n CnDn
. =0

*
=
=0

Un conjunto n
{𝜑 ( x
)} que es ortogonal es linealmente independiente. Esto quiere decir,
que si
∑n an n x 𝜑 ( ) = 0 → an = 0

Demostración: Sí
∑n an n x 𝜑 ( ) = 0

multiplicando por m x a ambos lados lados e integrando entre a y b, se tienen que:

𝜑
*
( )

∑n an ab m ndx ∫ 𝜑
*
𝜑 = 0
 ∑n an mn 𝛿 = 0

∴ an = 0

Base discreta de Fourier:

El siguiente listado de bases nos permite representar funciones periódicas con funciones reales,
n = 1, 2, 3, ⋯

a) n x nx x L
L L
2 𝜋
{𝜑 ( )} = sin , 0 ≤ ≤

b) n
{ 𝜑 (𝜙) } =
2
sin
n 𝜋𝜙
, 𝛽 < 𝜋, 0 ≤ 𝜙 ≤ 𝛽
𝛽 𝛽

c) n
{ 𝜑 (𝜙) } =
2

𝜋
n sin(
sin ( 𝜙) , 0 ≤ 𝜙 ≤ 𝜋

d) x nx x L
L L
2 𝜋 1
n
L
{𝜑 ( )} = cos , , 0 ≤ ≤

e) n
{ 𝜑 (𝜙) } =
2 n cos
𝜋𝜙
,
1
, 𝛽 < 𝜋, 0 ≤ 𝜙 ≤ 𝛽
𝛽 𝛽
𝛽

f) n
{ 𝜑 (𝜙) } =
2

𝜋
n cos(
cos ( 𝜙),
1
, 0 ≤ 𝜙 ≤ 𝜋
𝜋

g) x nx nx c x c L
L L L
1 𝜋 1 𝜋 1
n
L L
{𝜑 ( )} = sin , cos , , ≤ ≤ +2
2

h) n
{ 𝜑 (𝜙) } =
1 n sin
𝜙𝜋
,
1
cos
n 𝜙𝜋
,
1
, c ≤ 𝜙 ≤ c + 2𝛽
𝛽 𝛽
𝛽 𝛽 2𝛽

i) n
{ 𝜑 (𝜙) } =
1
sin(
sin ( n 𝜙),
1
cos(
cos ( n 𝜙),
1
, c ≤ 𝜙 ≤ c + 2𝜋
𝜋 𝜋 2𝜋

j) n x 1
ein x L c x c L
L
𝜋 /
{𝜑 ( )} = , ≤ ≤ +2
2

k) n
{ 𝜑 (𝜙) } =
1
ein 𝜋𝜙/𝛽
, c ≤ 𝜙 ≤ c + 2𝛽
2𝛽

l) n
{ 𝜑 (𝜙) } =
1
ein c 𝜙
, ≤ 𝜙 ≤ c + 2𝜋
2𝜋

m) n x 1
e in x L x L
L
2 𝜋 /
{𝜑 ( )} = , 0 ≤ ≤

n) n
{ 𝜑 (𝜙) } =
1
e in2 𝜋𝜙/𝛽
, 0 ≤ 𝜙 ≤ 𝛽
𝛽

o) n
{ 𝜑 (𝜙) } =
1
e in
2 𝜙
, 0 ≤ 𝜙 ≤ 𝜋
𝜋

• Las anteriores son bases para expandir en series funciones periódicas.

 • En el caso en que la función periódica sea par, es decir, f x f -x , una base que ( ) = ( )

expanda en "cosenos" sería completa para expandir en serie la función

Ejemplo: Sea la función periódica f x ( ) = x 2
periódica cada . 2𝜋

La gráfica representa a dicha función

fx ( )

-3𝜋 - 𝜋 0 𝜋 3𝜋 x

Observemos que esta función es periódica par. Por lo tanto una base conveniente para hacer una
expansión en Fourier es:
n
{ 𝜑 (𝜙) } =
2

𝜋
cos(
cos ( n 𝜙),
1
(15)
𝜋

Esta base es ortonormal, comprobémoslo

∫
0
𝜋
2

𝜋
cos(
cos ( n 𝜙)
2

𝜋
cos(
cos ( m d 𝜙) 𝜙 = ∫
0
𝜋
2

𝜋
cos(
cos ( n𝜙)cos
cos(( m d
𝜙) 𝜙 (16)

Utilizando nuevamente la identidad trigonométrica

cos A B cos =
1

2
{ cos
cos(( A B - A-B
+ ) cos(
cos ( )} (17)

m n m-n d m n 𝜋
m-n 𝜋

m n m-n
1 2 1 sin
sin((( + )𝜙) 1 sin
sin((( )𝜙)
∫ { cos
cos((( + )𝜙) + cos
cos((( )𝜙) } 𝜙 = +
0 2 𝜋 𝜋 + 𝜋
0 0

= 𝛿 mn (18)
También se debe probar que 1
y 2

𝜋
cos(
cos ( n 𝜙) son ortogonales
𝜋

∫
0
𝜋
1 2

𝜋
cos(
cos ( n d
𝜙) 𝜙 =
2

𝜋
∫
0
𝜋

cos(
cos ( n d n
𝜙) 𝜙,
𝜙, ≥ 1
𝜋
 n 𝜋

n
2 sin
sin(( 𝜙)
=
𝜋
0

= 0

y
∫
0
𝜋
1 1
d𝜙 =
𝜋

𝜋
= 1
𝜋 𝜋

Por lo tanto es una base ortonormal.

De esta manera hagamos la expansión:
𝜙
2
=
a 0

𝜋
+ ∑n an
∞

=1
2

𝜋
cos(
cos ( n 𝜙)

Multiplicando por 1
e integro entre y 0 𝜋
𝜋

∫
𝜋

𝜙
2
1
d 𝜙 =
a 0
∫
𝜋

d 𝜙
0 2 0
𝜋 𝜋

𝜋
𝜙

3
3 𝜋

0
= a 0

a 0 =
1 𝜋

3
3

a 0 =
𝜋

3
5/2

(19)

Ahora para encontrar los am , se multiplica por 2

𝜋
cos(
cos ( m𝜙) a ambos lados de la igualdad y se
integra entre y
0 𝜋

∫
0
𝜋

𝜙
2
2

𝜋
cos(
cos ( m d 𝜙) 𝜙 = ∑n an
∞

=1
∫
0
𝜋
2

𝜋
cos(
cos ( n 𝜙)cos
cos(( m d𝜙) 𝜙

an mn 𝛿 =
2

𝜋
∫
0
𝜋

𝜙
2
cos(
cos ( m d 𝜙) 𝜙

La integral se resuelve por partes, de esta manera,

u = 𝜙
2
dv m d = cos
cos(( 𝜙) 𝜙

du = 2𝜙 𝜙 d v m m =
1
sin(
sin ( 𝜙)

m d m 𝜋

-∫ 𝜋
m d
m m
sin(
sin ( 𝜙) sin(
sin ( 𝜙)
∫ 𝜙
2
cos(
cos ( 𝜙) 𝜙 = 𝜙
2
2𝜙 𝜙
0 0
0

= -m∫ 2

0
𝜋

𝜙 sin
sin(( m d 𝜙) 𝜙

Nuevamente, integramos por partes y se obtiene:

u = 𝜙 dv = sin
sin(( m d𝜙) 𝜙
 du d = 𝜙 v -m=
1
cos(
cos ( m 𝜙)

-m∫ 𝜋

m d -m - m 𝜋 𝜋
m d
m m
2 2 cos(
cos ( 𝜙) cos(
cos ( 𝜙)
𝜙 sin
sin(( 𝜙) 𝜙 = 𝜙 +∫ 𝜙
0 0
0

=
m
2
2
𝜋 cos
cos(( m 𝜋)

Luego
am =
2 2𝜋

𝜋 m 2
cos(
cos ( m𝜋)

donde en forma definitiva la serie se convierte en:

x 2
=
𝜋

3
2

+ ∑
m
∞

𝜋
2𝜋

m 2
cos(
cos ( m 𝜋)cos
cos(( mx )

∑
=1

𝜋
2
∞

cos(
cos ( m 𝜋)
mx (20)
=
3
+4
m =1
m2
cos(
cos ( )

Tarea:
• Utilizando una expansión en "senos", construya la serie para x periódica cada seis 3

unidades.
• Demuestre que la base que toma es completa y además ortonormal.