ESPACIO EUCLÍDEO

Sea X espacio vectorial sobre cuerpo K (R ó C)

Producto Escalar en X es una aplicación

⋅, ⋅ : X × X → K / ∀x, y, z ∈ X ; ∀α , β ∈ K

i) α x + β y , z = α x, z + β y , z
ii) x, y = y , x
iii) x, x ≥ 0
iv) x, x = 0 ⇔ x = 0

( X , ⋅,⋅ ) se denomina Espacio Euclídeo

1
EJEMPLOS

• Espacio Euclídeo n-dimensional Rn

X = Rn ∧ K = R
n
x, y = ∑ xi yi
i =1

• Espacio euclídeo C ([a, b]; R )

X = C [a, b] ∧ K = R
b
f , g = ∫ f ( x) g ( x)dx
a
Espacio euclídeo de dimensión infinita ( ∀n podemos encontrar un
sistema de n funciones linealmente independientes).

2
El sistema finito { f i }i =1 es linealmente independiente si
n

α1 f1 ( x) + K + α n f n ( x) = 0, ∀x ∈ [a, b] ⇒ α1 = K = α n = 0

El sistema infinito { f i }i∈ N es linealmente independiente si todos sus

subsistemas finitos lo son (equivalente a que { f i }i =1 sea linealmente
n

independiente ∀n ∈ N ).

Definición

Un espacio euclídeo es completo si verifica que toda sucesión de

Cauchy del mismo es convergente.

3
ESPACIOS DE FUNCIONES EUCLÍDEOS A CONSIDERAR

• C ([a, b]; K )

• CT ([a, b]; K ) (suponiendo que dos funciones son iguales si

coinciden en casi todo punto)

• R 2 ([a, b] ; K ) (suponiendo que dos funciones son iguales si

coinciden en casi todo punto)
Es posible completar este espacio trabajando con la integral de
Lebesgue. Este espacio “completado” se denomina L2 ([a, b] ; K )
b b
f , g = ∫ f ( x) g ( x)dx , si K=R f , g = ∫ f ( x) g ( x)dx , si K= C
a a

f : [a, b] → C / f ( x) = u ( x) + iv( x); u , v : [a, b] → R

4
NORMA EUCLIDEA
En todo espacio euclídeo ( X , ⋅,⋅ ) , el producto escalar induce una norma
⋅ :X →R
x→ x = x, x
Propiedades
i) x ≥ 0 ∀x ∈ X
ii) x = 0 ⇔ x = 0
iii) α x = α x ∀α ∈ K , ∀x ∈ X
iv) x+ y ≤ x + y ∀x, y ∈ X (desigualdad triangular)
Desigualdad de Cauchy-Schwarz:
x, y ≤ x y ∀x, y ∈ X
• Distancia asociada a la norma: d ( x, y ) = x − y
5
SISTEMAS ORTOGONALES

Sea ( X , ⋅,⋅ ) espacio euclídeo de dimensión infinita

• x, y ∈ X , no nulos son ortogonales si x, y = 0 ,

• Un sistema infinito numerable {xi }i∈N de vectores no nulos de X es

ortogonal si
∀m, n ∈ N / m ≠ n ⇒ xm , xn = 0

• Un sistema infinito numerable {xi }i∈N de vectores no nulos de X es

ortonormal si es ortogonal y ∀n ∈ N, xn = 1

• Los vectores de un sistema ortogonal son linealmente independientes.

6
EJEMPLOS DE SISTEMAS INFINITO NUMERABLES
ORTOGONALES

• En (C ([− π , π ]; R ), ⋅,⋅ ) el sistema trigonométrico{1, cos nx, sen nx}n∈N

⎧ 1 cos nx sen nx ⎫
es ortogonal y el sistema ⎨ , , ⎬ es ortonormal.
⎩ 2π π π ⎭n∈N

• En (C ([− π , π ]; C), ⋅,⋅ ) el sistema exponencial { e ikx }k∈Z es ortogonal

⎧ e ikx ⎫
y el sistema ⎨ ⎬ es ortonormal.
⎩ 2π ⎭ k∈Z

7
APROXIMACIÓN EN ESPACIOS EUCLÍDEOS

Sea ( X , ⋅,⋅ ) y T ⊂ X
• x ∈ X es ortogonal a T si x, t = 0, ∀t ∈ T
•~x ∈ T se denomina mejor aproximación de x ∈ X en T si
x−~ x ≤ x − t , ∀t ∈ T
x = d ( x, T ) = inf { x − t
i.e., si x − ~ }
t∈T

Teorema de la Proyección Ortogonal (caracterización de la mejor

aproximación)

Sea ( X , ⋅,⋅ ) y T ⊂ X subespacio de X.

~
x ∈ T es mejor aproximación de x ∈ X ⇔ x − ~
x es ortogonal a T

8
APROXIMACION EN SUBESPACIOS DE DIMENSION FINITA
Sea ( X , ⋅,⋅ ) espacio euclídeo de dimensión infinita y sea { f i }i∈N un
sistema infinito numerable ortogonal.

Sean Tn , n ∈ N subespacios de dimensión finita generados por { f i }i =1

n

• Dado x ∈ X , su mejor aproximación ~

xn en Tn es:
n
x, f i
xn = ∑ ci f i , ci =
~
2
se denominan coeficientes de Fourier
i =1 fi
• El error cometido en la aproximación es:
n 2 n
x−~ = x − ∑ ci f i = x − ∑ ci
2 2 2 2
xn fi
i =1 i =1
n

∑c f i ≤ x ∀n ∈ N Desigualdad de Bessel
2 2 2
• i
i =1
9
SERIE DE FOURIER
Sea ( X , ⋅,⋅ ) espacio euclídeo de dimensión infinita, { f i }i∈ N un sistema
ortogonal de X y x ∈X. Se llama Serie de Fourier de x respecto al
sistema ortogonal considerado a la serie
∞
∑ ci fi
i =1
x, f i x, f i
ci = = 2 coeficientes de Fourier
fi , fi fi

¿Bajo qué condiciones la Serie de Fourier de x converge a x, en el

sentido de la norma de X?

Por la Desigualdad de Bessel, las sumas parciales de la serie de Fourier

forman sucesión de Cauchy. Si X es completo, la serie converge en X.

10
¿Cuándo podemos garantizar que converge a x?

SISTEMAS COMPLETOS

El sistema ortogonal { f i }i∈N de X es un sistema completo si

x = 0 ⇔ x, f n = 0, ∀ n ∈ N .

Sea { f i }i∈N un sistema ortogonal de X y sea x ∈ X . Si X es completo y

{ f i }i∈N es un sistema completo se verifica que
n
x − ∑ ci f i → 0
n→∞
i =1

∑c = x
2 2 2
Identidad de Parseval: i fi
i =1

11
RECAPITULACIÓN ( SERIE DE FOURIER)
Sea ( X , ⋅,⋅ ) espacio euclídeo de dimensión infinita, { f i }i∈ N un sistema
ortogonal de X y x ∈X. La Serie de Fourier de x respecto al sistema
ortogonal considerado verifica que:

Si el espacio euclídeo es completo y el sistema ortogonal { f i }i∈N de X

es un sistema completo,
n ∞
x − ∑ ci f i → 0 ∑ cn 2 2 2
⇔ fi = x Identidad de Parseval
i =1 n →∞ i =1

y se dice que la serie de Fourier de x converge en media (o en el

sentido de la norma inducida por el producto escalar) a x en X.

12
BASE

Si { f i }i∈N es un sistema ortogonal y completo de X y X es un espacio

completo se dice que el sistema { f i }i∈N es una base de X.

El sistema ortogonal trigonométrico {1, cos nx, sen nx}n∈N es completo y

( )
por tanto base en el espacio euclídeo L2 ([− π , π ]; R ), ⋅,⋅ .

El sistema ortogonal exponencial {e ikx }k∈Z es completo y por tanto base

( )
en el espacio euclídeo L2 ([− π , π ]; C), ⋅,⋅ .

13
SERIE DE FOURIER TRIGONOMÉTRICA

⎛ 2 ⎡ T T⎤ ⎞
En el espacio euclídeo ⎜ L ( ⎢− , ⎥ ; R ), ⋅,⋅ ⎟ el sistema ortogonal
⎝ ⎣ 2 2⎦ ⎠
2π
{1, cos nω x, sen nω x}n∈N , ω =
T
es completo, y por tanto base, y además sus funciones verifican ser
periódicas con periodo fundamental T.

La serie de Fourier de una función f de este espacio relativa al sistema

ortogonal anterior se denomina S.F. trigonométrica y se escribe:

a0 ∞
f ( x) ≈ + ∑ (an cos nω x + bn sen nω x )
2 n=1

14
a0 f ,1 1 T / 2
2
=
1
2
= ∫
T −T / 2
f ( x)dx

f , cos nω x
T /2
2
an =
cos nωx
2
= ∫ f ( x) cos nω xdx, ∀n ∈ N
T −T / 2

f , sen nω x 2
T /2
bn =
sen nωx
2
= ∫
T −T / 2
f ( x)sen nω xdx, ∀n ∈ N

15
En el espacio euclídeo considerado la serie de Fourier trigonométrica de
f :

• Converge en media ( o en el sentido de la norma inducida por el

producto escalar) a f

⎛ a0 n ⎞
f ( x) − S n ( x) = f ( x) − ⎜ + ∑ (ak cos kω x + bk sen kω x )⎟ → 0
⎝ 2 k =1 ⎠ n →∞

• Satisface Identidad de Parseval:

∞
2 T /2 2
∫ f ( x ) dx =
a02
+ ∑ (a 2
n + bn )
2

T −T / 2 2 n =1

16
SERIE DE FOURIER EXPONENCIAL

⎛ 2 ⎡ T T⎤ ⎞
En el espacio euclídeo ⎜ L ( ⎢− , ⎥ ; C), ⋅,⋅ ⎟ el sistema ortogonal
⎝ ⎣ 2 2⎦ ⎠
{eikω x }k∈Z , ω = 2π
T
es completo, y por tanto base, y además sus funciones verifican ser
periódicas con periodo fundamental T.

La serie de Fourier de una función f de este espacio relativa al sistema

ortogonal anterior se denomina S.F. exponencial y se escribe:

∞
f ( x) ≈ ∑k
c e ikω x

k = −∞
17
 f , e ikω x 1 T /2
∫
− ikωx
ck = = f ( x ) e dx, ∀k ∈ Z
ikωx 2 T −T / 2
e

En el espacio euclídeo considerado la S.F. exponencial de f :

• Converge en media ( o en el sentido de la norma inducida por el

producto escalar) a f.

⎛ n ikω x ⎞
f ( x ) − S n ( x ) = f ( x ) − ⎜ ∑ ck e
⎜ ⎟ → 0
⎟ n →∞
⎝ k = −n ⎠
T /2 ∞
1
• Satisface Identidad de Parseval: ∫ f ( x) dx = ∑ ck
2 2

T −T / 2 k = −∞
18
RELACIÓN ENTRE LOS COEFICIENTES DE LAS SERIES DE
FOURIER EXPONENCIAL Y TRIGONOMÉTRICA

1
T /2
1 ⎧ T /2 T /2
⎫
∫ dx = ⎨ ∫ f ( x) cos kω xdx − i ∫ f ( x)senkω x ⎬, ∀k ∈ Z
−ikω x
ck = f ( x )e
T −T / 2 T ⎩−T / 2 −T / 2 ⎭

Luego
a0
c0 =
2
1
ck = (ak − ibk ), k > 0
2
1
c− k = (ak + ibk ), k > 0
2

19
SERIE DE FOURIER TRIGONOMÉTRICA DE FUNCIONES
PARES E IMPARES

• Serie de Fourier de una función par

T T
f ( x) = f (− x), − ≤x≤
2 2
∞
a0
f ( x) ≈ + ∑ an cos nωx
2 n =1

4 T /2
an = ∫ f ( x) cos nω xdx, n ∈ N U {0}
T 0

bn = 0, ∀n ∈ N
20
• Serie de Fourier de una función impar

T T
f ( x) = − f (− x), − ≤ x ≤
2 2
∞
f ( x) ≈ ∑ bn sen nωx
n =1

an = 0, ∀n ∈ N ∪ {0}

T /2
4
bn =
T ∫ f ( x)sen nω xdx,
0
n∈N

21
Las funciones pares e impares verifican las siguientes propiedades en
relación al producto:

• Si f y g son pares, f ⋅ g es par

• Si f y g son impares, f ⋅ g es par

• Si f es par y g es impar, f ⋅ g es impar

Además:
l l
• Si f es par ∫ f ( x)dx = 2 ∫ f ( x)dx
−l 0
l
• Si f es impar ∫ f ( x)dx = 0
−l

22
CONVERGENCIA PUNTUAL Y UNIFORME DE LAS SERIES
DE FOURIER

Teorema (convergencia puntual)

⎡ T T⎤
Si f y f ′ son funciones continuas a trozos en el intervalo ⎢− , ⎥ , la
⎣ 2 2⎦
S.F. Trigonométrica / Exponencial relativa a f converge puntualmente a

⎛ T+ ⎞ ⎛T − ⎞
f ⎜⎜ − ⎟⎟ + f ⎜⎜ ⎟⎟
f (x+ ) + f (x− ) ⎛ T T⎞ ⎝ 2 ⎠ ⎝ 2 ⎠, x = ±T
, ∀x ∈ ⎜ − , ⎟ ∧
2 ⎝ 2 2⎠ 2 2

23
Teorema (convergencia uniforme)

⎡ T T⎤
Si f es una función continua en el intervalo ⎢− , ⎥ con
⎣ 2 2⎦
⎛ T⎞ ⎛T ⎞
f ⎜ − ⎟ = f ⎜ ⎟ y f ′ es una función continua a trozos en el intervalo
⎝ 2⎠ ⎝ 2⎠
⎡ T T⎤
⎢⎣− 2 , 2 ⎥⎦ , la S.F. trigonométrica / exponencial relativa a f converge
⎡ T T⎤
uniformemente a f en el intervalo ⎢− , ⎥ .
⎣ 2 2⎦

24