CALCULO IV

UNIDAD 5
SERIES DE FOURIER
5.1. Definiciones preliminares
1. Función seccionalmente continua
Se dice que una función seccional f, f: [a, b]→R, es seccionalmente continua es un intervalo
[a, b] si:
a) f está definida y es continua en todos, excepto un numero finito de puntos de [a, b] y
b) los limites
f(t+0 )= lim + f(t0 +h)
h→0

f(t-0 )= lim - f(t0 -h)

h→0

existen (y son finitos) en cada punto t0 ϵ [a, b].

Observar que solo uno de estos límites es apropiado si t0 es un punto extremo

de [a, b]. Es decir, deben existir f(a+) y f(b-).

Si t0 es punto de continuidad entonces f(t+0 )=f(t-0 )=f(t0 ).

De la definición se deduce que las únicas discontinuidades que puede tener

una función seccionalmente continua son saltos finitos.

Observaciones
1) Sí una función f es seccionalmente continua en [a, b], entonces:
b
∫ f(t)dt
a
Existe y es independiente de los valores que tome f (si los toma) en sus puntos de
discontinuidad.
2) Si f y g son seccionalmente continuas en [a, b], también lo es su producto f.g.
Esto, junto con la observación 1), implica que la integral del producto de dos
funciones seccionalmente continuas siempre existe.
3) Cada función continua en [a, b] es seccionalmente continua en ese intervalo.

2. Espacio CSC[a, b]
Llamaremos CSC[a, b] al conjunto de todas las funciones reales seccionalmente
continuas en [a, b]:
CSC[a, b] = {f: [a, b]→R, f seccionalmente continua en [a, b]}.
Se puede probar que este conjunto tiene estructura de espacio vectorial real con las
operaciones suma de funciones y producto por escalar standards. O sea
(CSC[a, b], +, R, . ) E.V.
Y notaremos simplemente CSC[a, b].

Cabe aclarar que en dicho espacio, consideraremos como idénticas a dos funciones
seccionalmente continuas, siempre que estas difieran en un número finito de puntos.

5.2. Serie trigonométrica de Fourier

1
 CALCULO IV

T T
Definición: Sea f una función seccionalmente continua en [- 2 , 2], con T una constante positiva. La
serie trigonométrica de Fourier de f es una serie funcional de la forma:
∞
a0 2π
+ ∑(an cos nω0 t + bn sin nω0 t) , ω0 = (5.1)
2 T
n=1
donde a0, an, bn con n ϵ ℕ se denominan coeficientes de Fourier y están dados por las fórmulas:
T
2 2
a0 = ∫ f(t) dt (5.2)
T -T
2
T
2 2
an = ∫ f(t)cos nω0 t dt (5.3)
T -T
2
T
2 2
bn = ∫ f(t)sen nω0 t dt (5.4)
T -T
2
denominadas fórmulas de Euler.

Observaciones
1. Si la función f dada es seccionalmente continua en el intervalo [a, a + T] donde a es constante
real entonces la serie tiene la misma forma que la indicada anteriormente y en las fórmulas
para el cálculo de los coeficientes la integral debe efectuarse en este intervalo; por ejemplo, el
coeficiente a0 se calcula como:
2 𝑎+𝑇
a0 = ∫ f(t) dt
T a
2. Para definir serie trigonométrica de Fourier asociada a una función f el requisito es que la
misma sea seccionalmente continua en un intervalo de longitud T; por lo tanto, no es necesario
que la función dada f sea periódica. Si la función f fuera periódica, entonces T corresponde al
periodo de la misma.

5.3. Teorema de convergencia puntual de una serie trigonométrica de Fourier

Sea F una función periódica de periodo T tal que F y F´ sean seccionalmente continuas en
T T
[- 2 , 2].
Entonces:
∞
a0 F(t+0 ) + F(t-0 )
+ ∑(an cos nω0 t + bn sin nω0 t) = , ∀ t0 ϵ ℝ.
2 2
n=1
Con a0 , an , bn dados por (5.2), (5.3) y (5.4) respectivamente.

Observaciones:
F(t+0 ) + F(t-0 )
1. Si t0 es un punto de continuidad de F entonces = F(t0 )
2
T T
2. Si f es seccionalmente continua en [- 2 , 2] y llamamos F a la expresión periódica de f con
periodo T entonces
∞
a0 f(t+0 ) + f(t-0 ) T T
+ ∑(an cos nω0 t + bn sin nω0 t) = , ∀ t0 ϵ [- , ].
2 2 2 2
n=1

2
 CALCULO IV

T
Si t0 = ± 2 , la serie converge a
T+ T-
f (- 2 ) + f ( 2 )
2
Es decir, en el caso en que trabajamos con una función seccionalmente continua es un
T T
intervalo[- 2 , 2] no periódica, la serie encontrada converge a una función periódica de
periodo T, dada en un periodo por lo indicado en la observación 2.

5.4. Series de Fourier para funciones pares e impares

Ciertas propiedades de las funciones se reflejan en sus series de Fourier. A continuación
veremos como el hecho de que una función sea par o impar, conlleva a una forma particular para la
serie Fourier correspondiente. Recordemos que:
• Una función f en par si
f(t) = f(t) ꓯ t ϵ dom f

• Una función f es impar si

f(-t) = -f(t) ꓯ t ϵ dom f
para tales funciones se cumple:
a a
i. Si f es par ⟹ ∫-a f(t)dt = 2 ∫0 f(t)dt, con a ϵ ℝ
a
ii. Si f es impar ⟹ ∫-a f(t)dt=0. con a ϵ ℝ
iii. Si f1 ∧f2 son pares ⟹ f1 .f2 es par
Si f1 ∧f2 son impares ⟹ f1 .f2 es par
Si f1 es par y f2 es impar o viceversa ⟹ f1 .f2 es par

5.4.1. Serie de Fourier asociada a una función con simetría par

T T
Si f es una función seccionalmente continua en [- 2 , 2], con simetría par, entonces su serie
trigonométrica se Fourier es de la forma:
∞
a0 2π
+ ∑ an cos nω0 t , ω0 =
2 T
n=1
donde
T
4 2
a0 = ∫ f(t) dt
T 0
T
4 2
an = ∫ f(t)cos nω0 t dt
T 0
T
2 2
an = ∫ f(t)cos nω0 t dt
T -T
2

bn = 0 ꓯ n ϵ ℕ

Demostración:

3
 CALCULO IV

T T
2 2 4 2
a0 = ∫ f(t) dt=a0 = ∫ f(t) dt por i), ya que f es par.
T -T T 0
2
T
2 2
an = ∫ f(t)cos nω0 t dt
T -T
2
Como f es par y la función cos nω0 t es par, entonces el producto f(t) cos nω0 t es par (por
iii)), por lo cual
T
4 2
an = ∫ f(t)cos nω0 t dt, por i);
T 0
T
2 2
bn = ∫ f(t)
⏟⏟ sen nω0 t dt ∀ n ∈ N por ii)
T -T par
2 impar
5.4.2. Serie de Fourier asociada a una función con simetría impar
T T
Si f es una función seccionalmente continua en [- 2 , 2], con simetría impar, entonces su serie
trigonométrica de Fourier es de la forma:
∞
2π
∑ bn sin nω0 t , ω0 =
T
n=1
donde
T
4 2
bn = ∫ f(t)sen nω0 t dt
T 0
a0 = 0, n= 1,2, …
Demostración:
T
2 2
a0 = ∫ f(t) dt , por i) ya que f es impar.
T -T
2
T
2 2
an = ∫ f(t)cos nω0 t dt
T -T
2
Como f es impar y la función cos nω0 t es par, entonces el producto f(t) cos nω0 t es impar
(por iii)), por lo cual
an = 0 ꓯ n ϵ ℕ por ii);
T
2 2
bn = ∫ f(t)sen nω0 t dt
T -T
2

Como f es impar y la función sen nω0 t es impar, entonces el producto f(t) sen nω0 t es par,
por lo cual:
T
4 2
bn = ∫ f(t)sen nω0 t dt∀ n ∈ N (por i)
T 0

5.5. Simetría de media onda. Serie de Fourier asociada a una función con simetría de media onda

5.5.1. Simetría de media onda

4
 CALCULO IV

Definición
Una función periódica de periodo T posee simetría de media onda si satisface la condición:
T
f(t)= - f (t ± ) ∀ t ∈ dom f
2
Gráficamente esto puede visualizarse de la siguiente manera: si tomo la gráfica de f en un
T T
intervalo de amplitud 2, desplazo 2, e invierto y las gráficas coinciden, la función tiene simetría de
media onda.

5.5.2. Serie de Fourier asociada a funciones con simetría de media onda

T T
Si f es una función seccionalmente continua en [- 2 , 2], con simetría de media onda (SMO),
su serie trigonométrica de Fourier contiene solamente armónicos impares (o sea a 2n = b2n = 0 ꓯ n
ϵ ℕ). Su serie tiene la forma:
∞
2π
∑[a2n-1 cos (2n - 1)ω0 t + b2n-1 sin (2n - 1)ω0 t] , ω0 = (5.5)
T
n=1
donde
T
4 2
a2n-1 = ∫ f(t)cos (2n - 1)ω0 t dt
T 0
T
4 2
b2n-1 = ∫ f(t)sen (n - 1)ω0 t dt
T 0
Demostración:
En primer lugar, demostraremos la forma del coeficiente an. partimos de la forma original
del coeficiente an que es:
T
2 2
an = ∫ f(t)cos nω0 t dt
T -T
2
Expresado como suma de integrales:
T
2 0 2 2
an = ∫ f(t)cos nω0 t dt + ∫ f(t)cos nω0 t dt (5.6)
T -T T 0
2
En la primera integral de la suma anterior hacemos el cambio de variable
T
t=u-2
con lo dt = du; hallaremos los nuevos límites para la integral:
T
t = - ⟹u = 0
2
T
t= 0 ⟹ u=
2
Reemplazando en la primera ecuación de la ecuación 5.6:
T T
2 2 T T 2 2
an = ∫ f (u - ) cos nω0 (u - ) du+ ∫ f(t)cos nω0 t dt (5.7)
T 0 2 2 T 0
Analicemos la primera integral
• Debido a que la función tiene SMO se cumple:

5
 CALCULO IV

T
f (u - ) = - f(u)
2
T T T
• cos nω0 (u - 2) = cos nω0 u. cos (nω0 2) + sen(nω0 u). sen (nω0 2)
T
cos nω0 (u - ) = cos nω0 u. cos ⏟ nπ = (- 1)n . cos nω0 u
⏟ nπ + sen(nω0 u). sen
2 (-1)n ∀ n =0∀n
con lo que:
T T
2 2 2
an = [- (- 1)n ∫ f(u) cos nω0 u du + ∫ f(t)cos nω0 t dt] (5.8)
T 0 0

es decir
T
2 2
an = [1- (- 1)n ] ∫ f(t)cos nω0 t dt (5.9)
T 0
0 si n es par
T
an = {4 2 (5.10)
∫ f(t)cos nω0 t dt
T 0
Es decir:
Si n = 2k, a2k = 0 ꓯ k ϵ ℕ
T
4
Si n = 2k – 1, a2k = ∫02 f(t)cos (2k - 1)ω0 t dt ꓯ k ϵ ℕ
T
En forma análoga se prueba que:
0 si n es par
T
bn = {4 2 (5.11)
∫ f(t)sen nω0 t dt
T 0
Y que ao = 0.
Esto queda como ejercicio para el alumno.

5.6. Simetría de cuarto de onda par e impar. Series de Fourier asociadas a funciones con
simetría de cuarto de onda par o impar.

5.6.1. Simetría de cuarto de onda par

Si una función tiene simetría de media onda y además es par, se dice que tiene simetría de
cuarto de onda par.
Es fácil identificar que es par, ya que su grafica es simétrica respecto al eje vertical.

5.6.2. Simetría de cuarto de onda impar

Si una función tiene simetría de media onda y además es impar, se dice que tiene simetría
de cuarto de onda impar.
Es fácil identificar que es impar, ya que su grafica es simétrica respecto al origen.

5.6.3. Serie de Fourier asociada a una función con simetría de cuarto de onda par

6
 CALCULO IV

T T
Si f es una función seccionalmente continua en [- 2 , 2], con simetría de cuarto de onda par
(SCOP), su serie trigonométrica de Fourier contiene solamente armónicos impares de términos
cosenoidales, es decir:
∞
2π
∑ a2n-1 cos (2n - 1)ω0 t , ω0 = (5.12)
T
n=1
donde
T
8 4
a2n-1 = ∫ f(t)cos (2n - 1)ω0 t dt
T 0
Demostración
La función f tiene SCOP, es decir que:
i. es par, por lo que bn = 0 ꓯ n
ii. tiene SMO por lo que a2n = 0 ꓯ n
T
4
y a2n-1 = T ∫0 f(t)cos (2n - 1)ω0 t dt ∀ n ϵ ℕ
2

Expresaremos la integral en esta última expresión como una suma de integrales:

T T
4 4 2
a2n-1 = [∫ f(t)cos (2n - 1)ω0 t dt + ∫ f(t)cos (2n - 1)ω0 t dt]
T 0 T
4
Trabajaremos con la segunda integral de la suma anterior; en esta hacemos el cambio de
variable
T
t= - u
2
con lo cual dt = - du; hallaremos los nuevos límites para la integral:
T T
t = ⟹u =
4 4
T
t = ⟹u = 0
2
Reemplazando:
T
0
2 T T
∫ f(t)cos (2n - 1)ω0 t dt = ∫ f ( - u) cos [(2n - 1)ω0 ( - u)] (- du)
T T 2 2
4 4
T T
Por ser f par, vale que: f (2 - u) =f (u- 2)
T
Y además por tener f una SMO se cumple que: f (u - 2) = - f(u).
Por otra parte:
T
cos [(2n - 1)ω0 ( - u)] = cos[(2n - 1)π- (2n - 1)ω0 u]=
2
= cos (2n - 1)π. cos(2n - 1)ω0 u + ⏟
sen (2n - 1)π . sen(2n - 1)ω0 u
=0 ∀ n
= (-1)cos(2n - 1)ω0 u
Por lo dicho anteriormente:

7
 CALCULO IV

T T
2 4
∫ f(t)cos (2n - 1)ω0 t dt = ∫ f(u)cos (2n - 1)ω0 u du
T
0
4
Con lo cual:
T T
4 4 8 4
a2n-1 = .2 ∫ f(t)cos (2n - 1)ω0 t dt= ∫ f(t)cos (2n - 1)ω0 t dt
T 0 T 0
que es lo que se quería probar.

5.6.4. Serie de Fourier asociada a una función con simetría de cuarto de onda impar
T T
Si f es una función seccionalmente continua en [- 2 , 2], con simetría de cuarto de onda impar
(SCOI), su serie trigonométrica de Fourier contiene solamente armónicos impares de términos
senoidales, es decir tiene la forma:
∞
2π
∑ b2n-1 sin(2n-1)ω0 t , ω0 = (5.13)
T
n=1
donde
T
8 4
b2n-1 = ∫ f(t)sen (2n - 1)ω0 t dt
T 0
La demostración es similar a la anterior y queda como ejercicio para los alumnos.

5.7. Desarrollos de medio rango

T T
Hasta aquí hemos considerado funciones seccionalmente continuas en [- 2 , 2] que pueden o
no ser periódicas con periodo T, o no. Asociada a esta función podemos determinar una serie
trigonométrica de Fourier se la forma
∞
a0 2π
+ ∑(an cos nω0 t + bn sin nω0 t) , ω0 =
2 T
n=1
Dicha función puede a no tener simetría y esto determina una forma particular para la serie; hemos
visto por ejemplo que una función par tiene asociada una serie cosenoidal, etc. Sin embargo, en
muchas situaciones practicas (como las que veremos más adelante en problemas de contorno en
ecuaciones diferenciales parciales) surge la necesidad de presentar una función f seccionalmente
continua en [0, c] (con dominio contenido en el intervalo [0, c]) por una serie de Fourier de senos o
de cosenos, según sean las condiciones de contorno del problema.
El primer paso es la extensión de f al intervalo (-c, 0). Diferentes elecciones de dicha extensión
darán lugar a diferentes series de Fourier que representarán a la función f en el intervalo original. A
continuación detallaremos este procedimiento.

5.7.1. Desarrollo de medio rango cosenoidal (DMRC)

Dada una función f seccionalmente continua en [0, c] buscamos representarla a través de
una serie cosenoidal. Notar que el dominio de esta función está contenido en el intervalo [0, c].

8
 CALCULO IV

Para conseguir dicha representación “generamos” una función fp de simetría par seccionalmente
continua en [-c, c] que coincide con f en el intervalo (0, c); esto lo realizaremos haciendo una
extensión par de f al intervalo (-c, 0), con periodo T = 2c. es decir que fp estará definida en un
periodo por:
f(t) 0<t<c
fp (t)= { (5.14)
f(-t) -c < t < 0
Visualicemos gráficamente esta extensión. En la figura 5.6 se muestra una función arbitraria que se
quiere representar mediante una serie de Fourier cosenoidal.

Figura 5.6: función f dada

En la figura 5.7 se muestra la extensión par de f al intervalo (-c, 0) de modo de generar una función
fp.

Figura 5.7: fp: extensión par de f

Por ser fp función par, tal como se demostró anteriormente, su serie de Fourier es de la forma:
∞
a0 2π
+ ∑ an cos nω0 t , ω0 =
2 T
n=1
donde
T
4 2
a0 = ∫ fp (t) dt ,
T 0
T
4 2
an = ∫ fp (t)cos nω0 t dt
T 0
bn = 0 ꓯ n ϵ ℕ
π
ya que T = 2c, ω0 = c y fp coincide con f en (0, c), las fórmulas de los coeficientes quedan:

9
 CALCULO IV

2 𝑐
a0 = ∫ f(t) dt
c 0
2 c π
an = ∫ f(t)cos n t dt
c 0 c
bn = 0 ꓯ n ϵ ℕ
fp (t+ )+fp (t- )
si se cumplen las hipótesis del teorema de convergencia, dicha serie converge a ∀ t ϵ ℝ.
2
Como nuestro interés es representar a f en su intervalo de definición, podemos decir que la serie
converge a f(t) en los puntos de continuidad en (0, c).

5.7.2. Desarrollo de medio rango senoidal (DMRS)

Dada una función f seccionalmente continua en [0, c], buscamos representarla a través de
una serie senoidal. Notar que el dominio de esta función está contenido en el intervalo [0, c]. Para
ello “generamos” una función fi de simetría impar seccionalmente continua en [-c, c]que coincide
con f en el intervalo (0, c); esto lo realizamos haciendo una expresión impar de f al intervalo (-c, 0),
con periodo T = 2c. es decir que fi estará definida en un periodo por:
f(t) 0<t<c
fp (t)= { (5.15)
- f(-t) -c < t < 0
Visualicemos gráficamente esta extensión. En la figura 5.11 se muestra una función arbitraria que
se quiere representar mediante una serie de Fourier senoidal.

Figura 5.11: función f dada

En la figura 5.12 se muestra la extensión impar de f al intervalo (-c, 0) de modo de generar una
función fi.

Figura 5.12: fi: extensión impar de f

10
 CALCULO IV

Por ser fi una función impar, tal como se demostró anteriormente, su serie de Fourier es de la
forma:
∞
2π
∑ bn sen nω0 t , ω0 =
T
n=1
donde
T
4 2
bn = ∫ fi (t)sen nω0 t dt
T 0
a0 = 0, an= 0, n = 1,2, …
π
ya que T = 2c, ω0 = y fi coincide con f en (0, c), las fórmulas de los coeficientes quedan:
c
2 c π
bn = ∫ f(t)sen n t dt
c 0 c
a0 = 0, an= 0, n = 1,2, …
fi (t+ )+fi (t- )
si se cumplen las hipótesis del teorema de convergencia, dicha serie converge a ∀ t ϵ ℝ.
2
Como nuestro interés es representar a f en su intervalo de definición, podemos decir que la serie
converge a f(t) en los puntos de continuidad en (0, c).

5.8. Otros desarrollos

5.8.1. Desarrollo cosenoidal con múltiplos impares

A veces en las practicas, es necesario representar una función f seccionalmente continua en
[0, c], por una serie cosenoidal con múltiplos impares solamente, es decir de la forma:
∞
2π
∑ a2n-1 cos (2n – 1)ω0 t , ω0 = (5.16)
T
n=1
donde
T
8 4
a2n-1 = ∫ f(t)cos (2n – 1)ω0 t dt
T 0
Notar que el dominio de la función f esta contenido en el intervalo [0, c]. Para poder expresarla
como una serie de este tipo, debemos “generar” una función periódica fp* que tenga simetría de
cuarto de onda impar, que coincida con f en el intervalo (0, c); esto lo realizaremos haciendo una
extensión conveniente. La elección del periodo T estará determinado por el ω0 dado; en general el
periodo es T = 4c. En caso que no se requiera un ω0 determinado y al hacer la extensión par, la
función resultante ya tiene la SMO requerida, entonces T = 2c, aunque en general esta situación es
poco frecuente.
Visualicemos gráficamente esta extensión, suponiendo que T = 4c. en la figura 5.6 se muestra una
función arbitraria que se quiere representar mediante una serie de Fourier cosenoidal con
múltiplos impares solamente.

11
 CALCULO IV

Figura 5.16: función f dada

Como primer paso, se efectúa una extensión par al intervalo (-c, 0), tal como se muestra en la figura
5.17.

Figura 5.17
Como segundo paso se toma la porción de la grafica comprendida en el intervalo (0, c) y se desplaza
2c unidades hacia la izquierda, es decir se traslada medio periodo.

Figura 5.18
Como tercer paso, se invierte la porción trasladada de la gráfica, lo que se muestra en la figura 5.19

Figura 5,19:
Como ultimo paso debido a que la función generada debe ser par, su grafica debe ser simétrica
respecto al eje vertical, por lo que se completa la porción en el intervalo (c, 2c) y fp* estará dada en
un periodo a través de la gráfica 5.20:

12
 CALCULO IV

Figura 5.20:
Por ser fp* una función que tiene SCOP, tal como se demostró anteriormente, su serie de Fourier es
de la forma:
∞
2π
∑ a2n-1 cos (2n – 1)ω0 t , ω0 = (5.17)
T
n=1
donde
T
8 4
a2n-1 = ∫ f*p (t)cos (2n – 1)ω0 t dt
T 0
π
Ya que T = 4c, ω0 = y fp* coincide con f en (0, c), las formulas de la serie y del coeficiente queda:
2c
∞
π
∑ a2n-1 cos (2n – 1)ω0 t , ω0 = (5.18)
2c
n=1
donde
2 𝑐 π
a2n-1 = ∫ f(t)cos (2n – 1) t dt
c 0 2c
fp * (t+ )+fp * (t- )
Si se cumplen las hipótesis del teorema de convergencia, dicha serie converge a ∀ t ϵ ℝ.
2
Como nuestro interés es representar a f en su intervalo de definición, podemos decir que la serie
converge a f(t) en los puntos de continuidad en (0, c).

5.8.2. Desarrollo senoidal con múltiplos impares

Otras veces, en las aplicaciones prácticas, es necesario representar una función f
seccionalmente continua en [0, c], por una serie senoidal con múltiplos impares solamente, es decir
de la forma:
∞
2π
∑ b2n-1 sin(2n-1)ω0 t , ω0 = fijo (5.19)
T
n=1
donde
T
8 4
b2n-1 = ∫ f(t)sen (2n - 1)ω0 t dt
T 0
Notar que el dominio de la función f está contenido en el intervalo [0, c]. Para poder expresarla con
una serie de este tipo, debemos “generar” una función periódica fI* que tenga simetría de cuarto de
onda impar, que coincida con f en el intervalo (0, c); esto lo realizaremos haciendo una extensión
conveniente. La elección del periodo T estará determinado por el ω0 dado; en general el periodo es
T = 4c. en caso que no se requiera un ω0 determinado y al hacer la extensión impar, la función

13
 CALCULO IV

resultante ya tiene la SMO requerida, entonces T = 2c, aunque en general esta situación es poco
frecuente.
Visualicemos gráficamente esta extensión, suponiendo que T = 4c. en la siguiente figura se muestra
la función arbitraria que se requiere representar mediante una serie de Fourier senoidal con
múltiplos impares solamente.

Figura 5.23: función f dada

Como primer paso, se efectúa una extensión impar al intervalo (-c, 0), tal como se muestra en la
figura 5.24.

Figura 5.24
Como segundo paso se toma la porción de la grafica comprendida en el intervalo (0, c) y se desplaza
2c unidades hacia la izquierda, es decir se traslada medio periodo.

Figura 5.25
Como tercer paso, se invierte la porción trasladada de la gráfica, lo que se muestra en la figura 5.26.

14
 CALCULO IV

Figura 5.26
Como ultimo paso, debido que la función generada debe ser impar, su grafica debe ser simétrica
respecto al origen de coordenadas, por lo que se completa la porción en el intervalo (c, 2c) y fI*
estará dada en un periodo a través de la gráfica 5.27:

Figura 5.27
Por ser fI* una función que tiene SCOI, tal como se demostró anteriormente, su serie de Fourier es
de la forma:
∞
2π
∑ b2n-1 sin(2n-1)ω0 t , ω0 = (5.20)
T
n=1
donde
T
8 4
b2n-1 = ∫ fI* (t)sen (2n - 1)ω0 t dt
T 0
π
Ya que T = 4c, ω0 = y fI* (t) coincide con f en (0, c), las fórmulas de la serie y del coeficiente
2c
quedan:
∞
π
∑ b2n-1 sin(2n-1)ω0 t , ω0 = (5.21)
2c
n=1
donde
2 c π
b2n-1 = ∫ f(t)sen (2n - 1) t dt
c 0 2c
fI * (t+ )+fI * (t- )
Si se cumplen las hipótesis del teorema de convergencia, dicha serie converge a ∀ t ϵ ℝ.
2
Como nuestro interés es representar a f en su intervalo de definición, podemos decir que la serie
converge a f(t) en los puntos de continuidad en (0, c).

15