1.

Espacio de funciones seccionalmente continuas

Diremos que una función f : [a, b] → R es seccionalmente continua o continua por partes si f es continua en [a, b]
salvo quizás en un número finito de puntos {x1 , x2 , ..., xn } en los cuales f tiene una discontinuidad de salto finito,
esto es, para cada i ∈ {1, 2, ..., n} existen

f (x+
i ) = lı́m f (xi + h) ∈ R
h→0+

f (x−
i ) = lı́m f (xi − h) ∈ R
h→0−

−
La magnitud del salto es igual a |f (x+
i ) − f (xi )|. Al espacio de todas las funciones continuas por partes sobre [a, b]

lo denotaremos por CP ([a, b]). Es decir

CP([a, b]) = {f : [a, b] → R : f es seccionalmente continua}.

Ejemplo 1 Considere las siguientes funciones

  
1 1



x, si x 6= 0  sin
x2 , si x 6= 0  0, si x < 0
f (x) = g(x) = h(x) =
 0, si x = 0  10, si x = 0  1, si x ≥ 0

Rb
Observación 1 Para f ∈ CP ([a, b]) se tiene que a
f (x)dx existe y es independiente de los saltos en los puntos de
discontinuidad.

Las siguientes propiedades nos serán útiles en lo que sigue. Recordemos antes que, para f : [a, b] → R función se
dice que

(i) f es par si ∀ x ∈ [−a, a] : f (−x) = f (x).

(ii) f es impar si ∀ x ∈ [−a, a] : f (−x) = −f (x).

Propiedad 1 Sea f : [a, b] → R función integrable. Entonces

Z a Z a
1. Si f es par entonces f (x)dx = 2 f (x)dx.
−a 0
Z a
2. Si f es impar entonces f (x)dx = 0.
−a

Observación 2

1. Toda función f : [a, b] → R puede descomponerse como la suma de una función par fp y una función impar
fi , donde
f (x) + f (−x) f (x) − f (−x)
fp (x) = y fi (x) = .
2 2

Puede verse directamente que f = fp + fi .

2. Toda función f : [0, a] → R puede extenderse a:

 (a) una función par

f1 : −→ R

 f (−x), si − a ≤ x < 0
x 7−→ f1 (x) =
 f (x), si 0 ≤ x ≤ a

(b) una función impar

f2 : −→ R

 −f (−x), si − a ≤ x < 0
x 7−→ f2 (x) =
 f (x), si 0 ≤ x ≤ a

Por otro lado, si consideramos el espacio X = CP ([a, b]), dotado de la suma y producto escalar usuales en el espacio
de funciones, se tiene que (X, +, ·) constituye un espacio vectorial sobre R (C). Se define la forma bilineal

h·, ·i : X × X −→ R
Z b
(f, g) 7−→ hf, gi = f (x)g(x)dx.
a

Tenemos que la forma bilineal anterior, satisface las propiedades de producto interior, salvo que
Z a
hf, f i = f (x)dx = 0 No implica que f = 0.
a

De esta manera, se introduce la relación de equivalencia

f v g ⇐⇒ f (x) = g(x) ∀x ∈ [a, b] \ F

para F subconjunto de medida nula.

Usualmente lo anterior se expresa diciendo que f = g casi en todas partes (c.t.p.). De esta forma, bajo esta relación
de equivalencia, toda función que sea equivalente a la función nula, se entenderá como la función nula.
Esto nos permite definir una norma (inducida) sobre X, como

Z b
kf k = f (x)2 dx,
a

lo que hace a (X, k · k) un espacio vectorial normado.

1.1. Convergencia en el espacio CP ([a, b])

Definición 1 Sea S ⊆ R un conjunto y {fn }n∈N una sucesión de funciones fn : S → R y sea también f una
función de S en R. Decimos que la sucesión fn converge puntualmente a f en S si, para todo x ∈ S, la sucesión
{fn (x)}n∈N converge a f (s), esto es:
f (x) = lı́m fn (x)
n→∞

y entonces escribimos fn → f (puntualmente). En detalle, para cada x ∈ S y cada  > 0 existe N = N (x, ) ∈ N
tal que
|fn (x) − f (x)| < , con n ≥ N

Es fundamental observar que la elección de N se hace luego de conocer x y , de modo que en general N puede
depender de ambos.

Ejemplo 2

1. Sean S = [0, 1] y fn : S → R definidas por:


 1 − nx 1
; si 0 ≤ x ≤ n
fn (x) =
1
 0 ; si n <x≤1

y sea f : S → R definida por: 

 0 ; si 0 < x ≤ 1
f (x) =
 1 ; si x = 0

Se puede cheaquear (TAREA) que fn (0) converge a f (0) = 1, mientras que si 0 < x ≤ 1 y  > 0 tenemos que

1
|fn (x) − f (x)| = |fn (x)| = 0 < , si n > .
x

Por lo tanto, fn → f puntualmente en S.

La convergencia de sucesiones de funciones en el espacio CP ([a, b]) se denomina convergencia en media cuadrática.

Definición 2 Sean {fn }n∈N ⊆ CP ([a, b]) y f ∈ CP ([a, b]. Diremos que la sucesión fn converge en media cuadrática
si y sólo si
lı́m kfn − f k = 0.
n→∞

Se denota f = lı́m fn en media cuadrática en [a, b].

n

Observación 3

1. Si f = lı́mn fn en media cuadrática en [a, b], entonces

Z b
lı́m (fn (x) − f (x))2 dx = 0.
n→∞ a

2. Recordemos que si fn → f uniformemente en [a, b], entonces limn (fn (x) − f (x)) = 0 uniformemente en [a, b]
y Z b Z b Z b
2
lı́m (fn (x) − f (x)) dx = lı́m(fn (x) − f (x))dx = 0dx = 0
n a a n a

lo que muestra que fn converge en media cuadrática a f en [a, b].

 ∞
X
3. Para una sucesión Snn∈N de sumas parciales de la serie S = fn , tenemos que si Sn converge a una función
n=1
f ∈ CP ([a, b]), escribiremos
∞
X
f∼ fn
n=1

1.2. Base ortogonal del espacio de funciones

Definición 3 Sea (X, h·, ·i) un espacio de funciones dotado de un producto interior. Se dice que

B = {φ1 , φ2 , ..., φn , ...} = {φn }n∈N

es una base ortogonal de X si

(i) Para todo i, j ∈ N, i 6= j se tiene hφi , φj i = 0.

P∞
(ii) Para cada f ∈ X existe un a sucesión de escalares {αn }n∈N tales que f ∼ n=1 φn .

Una base ortogonal se denomina también un sistema ortogonal completo.

∞
X
Cuando f ∼ φn , los coeficientes se determinan como sigue:
n=1
Fijado k ∈ N, se tiene

∞
* +
X
hf, φk i = αn φn , φk
n=1
∞
X
= αn hφn , φk i
n=1
= αk hφk , φk i.

De donde
hf, φk i
αk =
kφk k2
Definición 4 Sea f una función continua por partes, entonces
hf, φk i
(i) a los coeficientes αk = se les denomina coeficientes generalizados de Fourier.
kφk k2
∞
X
(ii) a la serie αn φn se le denomina serie generalizada de Fourier de f .
n=1

Series de Fourier trigonométricas (SFT)

Las SFT son una representación periódica de una función f definida en un intervalo [−L, L] a valores en R, mediante
una suma de funciones sinosoidales y el valor medio de f en su intervalo de definición.

Observación 4 El valor medio de una función f : [−L, L] −→ R integrable, es

Z L
1
M (f, [−L, L]) = f (t) dt
2L −L
 a0
Seguimos la tradición y designamos dicha media por .
2

En lo que sigue el signo ∼ se utiliza para relacionar f con su respectiva SFT. Este signo es reemplazado por =
cuando se realiza el análisis de convergencia.

a0
f (t) ∼ + A1 cos(wt + φ1 ) + A2 cos(2wt + φ2 ) + A3 cos(3wt + φ3 ) + · · ·
2      
a0
= + a1 cos(wt) + b1 sin(wt) + a2 cos(2wt) + b3 sin(2wt) + a3 cos(3wt) + b2 sin(3wt) + · · ·
2

∞  
a0 X
= + an cos(nwt) + bn sin(nwt)
2 n=1

donde

2π π
Frecuencia angular de oscilación: w = 2L = L

an = An cos(φn ), bn = An sin(φn ), n = 1, 2, . . .

¿Cómo se determinan los coeficientes ?

El objetivo es que la representación periódica sea la aproximación de mı́nimos cuadrados ortogonales, esto significa
que la N -ésima suma parcial de la serie trigonométricas sea la proyección ortogonal FN de f sobre el subespacio
generado por el sistema ortogonal   nπ   nπ  ∞
1, cos t , sin t ,
L L n=1

con respecto al producto interior y la norma inducida:

Z L Z L
2
hu, vi = u(x)v(x)dx ∧ kuk = u2 (x)dx.
−L −L

Antes de continuar la exposición se debe indicar que la función f verifique

Z L
kf k2 = f 2 (t)dt < ∞,
−L

en este caso se dice que f es de energı́a finita.

Observaciones sobre la ortogonalidad

L
Z L 
h1, cos( nπ cos( nπ L
sin( nπ


t)i = t)dt = t) = 0.

L L nπ L
−L 
−L
L
Z L 
h1, sin( nπ sin( nπ L
cos( nπ


t)i = t)dt = − t) = 0.

L L nπ L
−L 
−L
Geométricamente, se observa que las dos funciones armónicas completan n ciclos en el intervalo
fundamental [−L, L] y en consecuencia su media es nula. Por otra parte, tenemos que las siguientes
propiedades permiten obtener las otras propiedades de ortogonalidad. Por ejemplo, el par

2cos(α) cos(β) = cos(α − β) + cos(α + β) ∧ 2 sin(α) sin(β) = cos(α − β) − cos(α + β)

infiere para n 6= m:
Z L Z L
1 1
hcos( nπ
L
t), cos( mπ
L
t)i = cos( (n−m)π
L
t)dt + cos( (n+m)π
L
t)dt = 0 + 0
2 −L 2 −L
L
1 L
Z Z
1 (n−m)π
hsin( nπ
L
t), sin( mπ
=
L
t)i cos( L t)dt − cos( (n+m)π
L
t)dt = 0 − 0
2 −L 2 −L
Resta probar que las funciones armónicas pares e impares son ortogonales cualesquiera sea su
frecuencia de oscilación angular.

Z L Z L
1 1
hcos( nπ
L
t), sin( mπ
L
t)i = sin( (n+m)π
L
t)dt − sin( (n−m)π
L
t)dt = 0 − 0
2 −L 2 −L

Normas.
Z L
2
k1k = 1dt = 2L
−L
Z L Z L
1
k cos( nπ
L
t)k2 = cos2 ( nπ
L
t)dt = (1 + cos( 2nπ
L
t))dt = L + 0
−L 2 −L
L
1 L
Z Z
k sin( nπ
L
t)k2
= = sin2 ( nπ
(1 − cos( 2nπ
L
t)dt L
t))dt = L − 0
−L 2 −L
Ahora presentamos el Teorema de las Serie Trigonométrica de Fourier
Z L
Theorem 1 Toda función integrable f tal que f 2 (t)dt < ∞
−L
1° Admite la representación periódica
∞   nπ  
a0 X  nπ 
f (t) ∼ + an cos t + bn sin t
2 n=1
L L

donde
Z L
a0 hf,1i 1
= k1k2
= f (t)dt
2 2L −L

hf, cos nπ


t i 1 L
Z
L
an = = f (t) cos( nπ t)dt
k cos( nπ
L
t)k 2 L −L
L

hf, sin nπ


t i 1 L
Z
L
bn = nπ 2
= f (t) sin( nπ
L
t)dt
k sin( L t)k L −L
2° Reemplazando los coeficientes en la serie:

L ∞
1 L
Z Z
1 X
nπ


f (t) ∼ f (s)ds + f (s) cos L
(t − s) ds
2L −L n=1
L −L

(llamado Teorema de Fourier)

3° la serie converge en media cuadrática

N 2
a 0
X
lı́m f − − [a n cos(nwt) + b n sin(nwt)] =0
N →∞ 2 n=1

es decir,

N
!2
Z L
1 X
lı́m En (f ) = 0 ⇐⇒ lı́m f (t) − {an cos(nwt) − bn sin(nwt)} dt = 0
N →∞ N →∞ 2L −L n=1
1.3. STF de funciones 2L periódicas

Si f es 2L-periódicas, entonces para todo a ∈ R

Z 2L+a Z L
f (t)dt = f (t)dt
a −L

esto significa que se puede construir los coeficientes de Fourier en cualquier intervalo [a, a + 2L]
considerando la definición de f sobre ese intervalo.
la gráfica ilustra lo anterior como un balance de áreas

Figura 1: Igualdad de áreas en el perı́odo T = 2L.

1.4. Simetrı́a de media onda

a) Si f tiene simetrı́a par en [−L, L], es decir, f (x) = f (−x), −L ≤ x ≤ 0, entonces

1 L
Z
a0
= f (t)dt
2 L 0
2 L
Z  nπ 
an = f (t) cos t dt, n = 1, 2, 3, . . .
L 0 L
bn = 0, n = 1, 2, 3, . . .
Ilustración: La siguiente fórmula es conocida desde la trigonometrı́a, una función par
es suma de armónicos pares

f (t) = cos3 (t) = ( 43 ) cos(t) + 14 cos(3t)

b) Si f tiene simetrı́a impar en [−L, L], es decir, f (x) = −f (−x), −L ≤ x ≤ 0, entonces

a0
2
=0

an =, n = 1, 2, 3, . . .

2 L
Z  nπ 
bn = f (t) sin t dt, n = 1, 2, 3, . . .
L 0 L
Ilustración: La siguiente fórmula es conocida desde la trigonometrı́a, una función
impar es suma de armónicos impares

f (t) = sin3 (t) = ( 43 ) sin(t) + (− 41 ) sin(3t)

2. Convergencia

La figura permite recordar la noción de limites laterales, esto es:

lı́m f (t0 − ) = f (t0 − 0) =: f (t−

0) ∧ lı́m f (x0 + ) = f (t0 + 0) =: f (t+
0)
→0 →0

Definición 5 .

1. Una función definida en [−L, L] es continua por tramos si tiene un número finito de puntos
de discontinuidad y en cada uno de ellos los limites laterales existen.

2. Sea f una función definida en [−L, L] continua por tramos. Entonces la N -ésima suma parcial
 Figura 2: Gráfica función continua por tramos y punto medio del “salto”
.

de su SFT
N
a0 X π
FN (t) = + an cos(nwt) + bn sin(nwt), w= .
2 n=1
L

Esto es la N -ésima proyección de f sobre el espacio generado por el conjunto orto-

gonal {1, cos(nwt), sin(nwt)}N
n=1 .

En estas nociones, se formula el teorema de convergencia puntual:

Theorem 2 Sea f una función continua por tramos al igual que su derivada. Entonces

 f (t0 ) si f continua en t0
∀t0 ∈] − L, L] : lı́m FN (t0 ) = f (t− + f (t+
N →∞ 0) 0)
 caso contrario.
2

Nota. No se considera t0 = L, pues, es la copia 2L-periódica de t0 = L, esto es, −L = L − 2L.

Ejemplo 3 La función f de la gráfica genera una onda 4-periódica

Como f y su derivada son continua por tramos , entonces para cada t ∈] − 2, 2].
 Figura 3: Convergencia de la STF en x0 hacia el punto medio m
.




 f (t) si −2 ≤ t < −1

 f (−1− )+f (−1+ ) 1



 2
= 2
si t = −1





 f (t) si −1 < t < 0
f (0− )+f (0+ )

 1

2
= 2
si t=0
lı́m FN (t) =
N →∞ 

 f (t) si 0<t<1

f (1− )+f (1+ )

= −1 si t=1




 2

f (t) si 1<t<2





 f (2− )+f (−2+ ) 3

2
= 2
si t=2

donde FN es la N -ésima suma parcial de la SFT de f .

Observación, En t = 2 se debe tener presente que f (2+ ) = f (−2+ ) debido a la repetición 4-periódica
de la forma de onda.

2.1. Comportamiento asintótico de los Coeficientes de Fourier

El siguiente teorema dice que si los coeficientes de Fourier no tienden asintóticamente a cero,
entonces f no es función, ella es una función generalizada (ver Wikipedia). El teorema es conocido
como lema de Riemann-Lebesgue que es crucial en la demostración de los teoremas de convergencia
de la STF.

Theorem 3 Sea f integrable en el intervalo [a, b] entonces

Z b Z b
lı́m f (t) cos(rt)dt = 0 ∧ lı́m f (t) sin(rt)dt = 0
r→∞ a r→∞ a

Corolario 1 Si f : [−L, L] → R integrable y

∞  
a0 X
f ∼ + an cos(nwt) + bn sin(nwt)
2 n=1

entonces
lı́m an = 0 ∧ lı́m bn = 0
n→∞ n→∞

Notación:

Se dice que una sucesión {cn }∞

n=1 es de orden
1
nk
si existen C positivo N ∈ N tal que

C
|cn | < , n>N
nk

y se escribe cn = O(1/nk )

El siguiente teorema ofrece una información a tener presente cuando se está analizando los coefi-
cientes de Fourier.

Theorem 4 Sea f una función definida en [−L, L]. Si las primeras m derivadas de f , esto es,
f 0 , f 00 , . . . , f (m) existen, donde las primeras (m − 1) derivadas son todas continuas y f (m) es solo
continua y no nula por tramos. Entonces, los coeficientes de Fourier verifican que an = O(1/nm+1 )
y bn = O(1/nm+1 ).

Los siguientes corolarios permiten aplicar el teorema anterior en los casos más prácticos.

Corolario 2 Si f es solo continua por tramos en [−L, L] entonces an = O(1/n) y bn = O(1/n)

Corolario 3 Si f es continua en ] − π, π[ y f (−L+ ) = f (L− ) y f 0 existe y es solo continua por

tramos. Entonces, an = O( n12 ) y bn = O( n12 ).