Universidad Tecnolgica Nacional

Facultad Regional Santa Fe

Anlisis numrico y clculo avanzado
Trabajo prctico: Series de Fourier
Docentes a cargo:
Pastorelli, Sonia
Frausin, Adriana
Alumno: Giancarelli, Federico
Carrera: Ingeniera Industrial
N de libreta universitaria: 21292
D.N.I.: 37.570.118
Correo electrnico: fgiancarelli@gmail.com
Fecha de entrega: 16-10-2014
Ao de cursado: 2014
Grilla de evaluacin:
1. a) 1. b) 1. c) 1. d) 2. a) 2. b) 2. c) 2. d) Total
20

15

10

20

15

10 100(*)

Para el desarrollo analtico del trabajo prctico se utiliz el programa Maxima 5.30. En cuanto a
las grficas, estas fueron realizadas con el graficador gnuplot 4.6, a travs de la interfaz del
programa anterior, y luego editadas -por esttica- en Inkscape 0.48, un programa de dibujo
vectorial.

Enunciado Trabajo Prctico:

Siendo n=

n1 +n2 +n 3+ n4 +n5
,
5

Ejercicio N 1:
Dada: f (x)=n 1( xn2)(x n3) ; nx <2 n ; siendo f ( x)=f (x +3 n) x
a) Obtenga el desarrollo en Serie de Fourier de f(x), al que llamar g(x) . Analice la
convergencia de g(x).
Se asignan los valores de las variables correspondientes al nmero de libreta universitaria del
estudiante. En este caso, el nmero es 21292.
>
>
>
>
>
>

n1():= 2$
n2():= 1$
n3():= 2$
n4():= 9$
n5():= 2$
n():= (n1()+n2()+n3()+n4()+n5())/5$

Acorde a la consigna, se define la funcin f(x).

> f(x):= n1()*(x-n2())*(x-n3())$

La funcin que resulta de los nmeros asignados es: f(x) = 2*(x-2)*(x-1) -una parbola-. Esta
definicin de la funcin ser vlida para el intervalo -n x < 2n, mientras que para conocer la
funcin en el resto del dominio real, habr que utilizar la identidad f(x)=f(x+3n).
En primer lugar, se grafica f(x), para tener una idea del lugar en el que estamos parados.
Para ello, definimos una funcin auxiliar F(x), que se valdr de la funcin y = floor(x) (Definicin:
floor (x )=x =n x=n+k ; n 0k <1 ) para llegar a una definicin de f(x) que
sea vlida a lo largo de toda la recta real. De esta manera ser ms sencillo graficarla, ya que de lo
contrario deberamos graficar una funcin diferente por cada intervalo de longitud 3n.
> F(x):= f(x-(floor((1/3)*(x/n()+1)))*3*n());

Esto se podra entender como una funcin que se auto-corrige, ya que cuando la variable x est
dentro de un cierto intervalo, la funcin floor (piso) indica cuntos intervalos hacia la izquierda o
hacia la derecha se deber correr la funcin f(x) -a lo largo del eje x- de tal manera que la funcin
F(x) cumpla con la relacin F(x)=F(x+3n), que le corresponde a f(x).
Pgina 2 de 26

Con la siguiente funcin, se carga la librera encargada de realizar los grficos a travs del
graficador gnuplot.
> load(draw);

Se grafica, entonces, F(x) (Que es una funcin que verifica la definicin por intervalos de f(x)).
> draw2d(
>
file_name = "Grafico 1 f(x)",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=2,
>
color=magenta,
>
key="F(x)=f(x)",
>
explicit(F(x),x,-5*n(),5*n())
> );

El resultado obtenido es el siguiente:

F(x)=f(x)

45

40

35

30

25

20

15

10

0
-15

-10

-5

10

15

Grfico N 1
Pgina 3 de 26

Con el grfico podemos ver que cada ciertas unidades (3n unidades, el perodo), la funcin
presenta una discontinuidad de salto finito, es decir que la funcin es continua por intervalos -de
longitud igual a un perodo, o 3n-.
Estas discontinuidades traen consigo un problema al calcular los coeficientes que emplea la Serie
de Fourier, ya que para hallarlos hay que integrar determinadas funciones entre - Medio perodo
y + Medio perodo (Intervalo simtrico), funciones que son productos entre la f(x) -continua a
trozos- y otras que son continuas en todo su dominio (y=Sen(x), y=Cos(x), y=1), lo que convierte a
las funciones resultantes en continuas a trozos. Por esta razn -y porque el intervalo de
continuidad no es simtrico con respecto al origen de coordenadas ni coincide con el intervalo de
integracin- al querer integrar estas funciones, se debern separar las integrales en diferentes
tramos en los cuales -individualmente- las funciones sean continuas.
Esto no es algo que no se pueda hacer, sino que es un trabajo adicional que a veces resulta
molesto.
Para evitarlo, se definir otra funcin auxiliar F2(x) que sea igual a F(x) (Graficada arriba) pero
desplazada alunas unidades sobre el eje x, de modo de cumplir con la condicin de continuidad en
un intervalo simtrico (F2(x) continua en -L x < L). As, se trabajar sobre la expansin de F2(x)
como Serie de Fourier y, luego, la expansin de F(x) como tal ser igual a la de F2(x) desplazada la
misma cantidad de unidades en el sentido opuesto.
Si F(x) es continua en -n x < 2n,
Entonces F2(x)=F(x+u) continua en -n x+u < 2n
-n
-n-u

x+u
x

<
<

2n
2n-u

A la vez se impone la condicin de que:

-L

<

2n-u = L
2n-u = L

Por lo que:
-n-u = -L
+n+u = +L

=> n+u = L = 2n-u

=> n+u = 2n-u
=> 2u = n
=> u = n/2
Es decir que la funcin F2(x) = F(x+n/2) cumple con el requisito de intervalo de continuidad
simtrico. A su vez, como se dijo en el primer prrafo -despus del Grfico N 1-, este intervalo de
continuidad posee una longitud igual a un perodo, o 3n. Gracias a esto se podrn integrar las
Pgina 4 de 26

funciones resultantes del producto de F2(x) con otras sin necesidad de dividir el intervalo de
integracin.
Se define F2(x) en el programa, teniendo en cuenta que para los clculos de coeficientes slo hay
que integrar en -n x+u < 2n, en donde f(x+u) representa correctamente a la funcin descripta en
el enunciado, y a su vez es ms fcil de integrar que F(x+u) -por la ausencia de la funcin floor(x)-.
> u():= n()/2$
> F2(x):= f(x+u())$

Y como ltimo paso, previo a encontrar la Serie de Fourier correspondiente a la funcin, se

calcular el valor de L, que servir para definir los extremos de integracin.
Si T = 3n, y T = 2L, entonces 3n = 2L. Despejando L, resulta L = 3n/2.
> L():= 3*n()/2$

Se calculan, entonces, los coeficientes y la Serie de Fourier para F2(x).

> a0():= (1/L())*integrate(F2(t), t, -L(), L());
> ak(k):= (1/L())*integrate(F2(t)*cos((k*(%pi)/L())*t), t, -L(), L());
> bk(k):= (1/L())*integrate(F2(t)*sin((k*(%pi)/L())*t), t, -L(), L());
> gfalsa(x,q):= (1/2)*a0()+sum(ak(k)*cos((k*(%pi)/L())*x), k, 1, q)
+sum(bk(k)*sin((k*(%pi)/L())*x), k, 1, q);

Por la gran cantidad de parntesis y signos diversos en las ltimas expresiones, se pierde un poco
de vista lo que se est haciendo, por eso se reescribe lo anterior en notacin normal con el fin de
entenderlo mejor.
L()

ao () :=

1
F 2(t) dt
L( ) L()
L()

( )

L()

( )

1
k
ak (k ):=
F 2(t )cos
t dt

L() L()
L()
1
k
bk (k ):=
F 2(t )sen
t dt

L() L()
L( )
q

( )

( )

1
k
k
gfalsa(x , q):= ao ()+ a k (k , t )cos
x + bk ( k ,t) sen
x
2
L()
L( )
k=1
k=1

En lo anterior, la letra q representa la cantidad de trminos a calcular en la sumatoria. A

continuacin se presenta la funcin gfalsa(x,q) que se obtiene (gfalsa en lugar de g porque
gfalsa es la Serie de Fourier para F2(x), y la g que pide el enunciado es para F(x)).
> ratsimp(gfalsa(x,q));

Este comando devuelve el siguiente resultado.

Pgina 5 de 26

96
gfalsa(x ,q)=

(1) k sin

k=1

) (

( 524 k x) 4608 (1) cos( 524 k x) 372

k

k=1

25 2

Luego de esto, se define la funcin g(x,q) como la gfalsa(x,q) desplazada u unidades en el sentido
opuesto al que se desplaz F2(x).
Si F2(x) = f(x+u) => f(x) = F2(x-u)
Y si se expresan las funciones como las Series de Fourier que las representan, se llega a lo
siguiente.
g(x) = gfalsa(x-u)
Finalmente, se define g(x) como indica esta relacin.
> g(x,q):= gfalsa(x-u(),q)$
> g(x,q);

96
g( x , q)=

k =1

(1)k sin

( ( ))
5k
8
x
24
5
k

) (
+ 4608
25

(1)k cos

k=1

( ( ))
5k
8
x
24
5
k

+ 372 2

Donde q es la cantidad de trminos a calcular en la sumatoria.

Se presenta un grfico con el fin de corroborar que la Serie de Fourier calculada se asemeje a la
funcin F(x).
> draw2d(
>
file_name = "Grafico 2 f(x) y g(x)",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=4,
>
line_type=dots,
>
color=magenta,
>
key="F(x)=f(x)",

Pgina 6 de 26

>
>
>
>
>
>
> );

explicit(F(x),x,-5*n(),5*n()),
line_width=2,
line_type=solid,
color=blue,
key="g(x,10)",
explicit(g(x,10),x,-5*n(),5*n())

El cdigo anterior genera el siguiente grfico.

F(x)=f(x)
g(x,10)

45

40

35

30

25

20

15

10

0
-15

-10

-5

10

15

Grfico N 2
All se pueden ver superpuestas las funciones F(x) -en rosado- y su Serie de Fourier
correspondiente g(x) -en azul transparente-. Se observa que para un nmero razonable de
trminos de g(x) (10, en el caso de la grfica) las funciones son semejantes.
El teorema de la convergencia de las Series de Fourier establece que si una funcin f(x) es suave
a pedazos en un intervalo [-L,L], entonces para todo -L < x < L la expansin en Serie de Fourier de la
misma converge en todo punto a la semisuma de los lmites laterales de la funcin original en ese
punto.
Teniendo en cuenta que la funcin funcin que se analiza en este ejercicio est definida para todo
valor de x, y que la misma es la composicin de diferentes polinomios de grado dos (Parbolas a
lo largo del eje x, unidas), sabemos que al separarla en tramos coincidentes con las porciones de
los polinomios tomados, obtendremos funciones suaves en cada una de las divisiones, con lo que
se cumple la hiptesis del teorema de convergencia.
Como dentro de cada una de esas divisiones realizadas tendremos meramente un polinomio
-distinto en cada divisin-, los lmites laterales izquierdo y derecho en puntos interiores a cada uno
Pgina 7 de 26

resultarn iguales entre s, por lo que la Serie de Fourier converge al valor real de la funcin f(x)
original siempre y cuando est dentro de los intervalos armados ( -n + w*3n < x 2n + w*3n ; con
w entero).
Slo resta estudiar la convergencia de la Serie en los puntos frontera de los intervalos anteriores
(Donde existen discontinuidades). Ellos son todos los valores de x de la forma x = 2n + w*3n,
donde w toma valores enteros.
Se calcularn, entonces, los lmites laterales de la funcin F(x) original en cada uno de esos puntos.
Ya que todos los puntos a analizar (x = 2n + w*3n) difieren entre s por distancias que son mltiplos
enteros del perodo de la funcin original, bastar con conocer los lmites laterales en al menos
uno de ellos para conocer los lmites laterales correspondientes a los dems (Porque lim f(x) = lm
f(x+w*T), siendo w un nmero entero, x un real y T el perodo de la funcin).
Recordemos la funcin.
> draw2d(
>
file_name = "Grafico 3 - f(x) en otro intervalo",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=2,
>
color=magenta,
>
key="F(x)=f(x)",
>
explicit(F(x),x,-2.3*n(),2.3*n())
> );

Pgina 8 de 26

F(x)=f(x)

45

40

35

30

25

20

15

10

0
-6

-4

-2

Grfico N 3
Se elige el punto x = -n para calcular los lmites laterales de la funcin.
> print("Lmite lateral por izquierda:",float(limit(F(x), x, -n(), minus)))$
> print("Lmite lateral por derecha:",float(limit(F(x), x, -n(), plus)))$

Lo que arroja los siguientes resultados.

> Lmite lateral por izquierda: 47.52
> Lmite lateral por derecha: 43.68

Como se cumple la hiptesis del teorema de la convergencia, la serie converge en cada punto a la
semisuma de los lmites laterales de la funcin original en el punto.
En el caso particular de los puntos de discontinuidad (x = 2n + w*3n, con w entero), la Serie
converger al valor: 45.6 (Que es la semisuma de los lmites laterales en esos puntos), mientras
que en el resto de los casos ser convergente al valor real de la funcin original en el punto.

b) De la suma parcial de orden 4 de g(x).

Especificamos la cantidad de trminos de sumatoria que queremos calcular (Variable q) en la
funcin g(x,q) y se llega al resultado.
> ratsimp(g(x,4));

Se obtiene la siguiente funcin.

Pgina 9 de 26

24 sin
g( x ,q)=

(5 x8
)288 cos(5 x8
)32 sin (5 x8
)+512cos (5 x8
)
6
6
8
8

25 2
5 x8
5 x8
5 x8
5 x8
48 sin
1152 cos
96 sin
+ 4608 cos
372 2
12
12
24
24

2
25

c) Calcule f(x) y g(x) para los x = { -20 ; 60 ; -7n ; 9n }. Comente. Justifique.

Para poder comparar los valores ms cmodamente, se crea una funcin Comparar(x,q), que
para un valor de x y otro de q, arroja el resultado de f(x), g(x,q) y a su vez muestra el error real
de g(x,q) para el q elegido.
> Comparar(x,q):= block(
print("f(",float(x),")=",float(F(x))),
print("g(",float(x),",",q,")=",float(g(x,q))),
print("Error real=",float(F(x)-g(x,q)))
)$

Con esta nueva funcin, se calcula el valor de f(x) y de g(x,q) en los puntos sealados por la
consigna utilizando 25 trminos en la sumatoria de g(x,q).
>
>
>
>
>
>
>

Comparar2(-20,25)$
print("")$
Comparar2(60,25)$
print("")$
Comparar2(-7*n(),25)$
print("")$
Comparar2(9*n(),25)$

Lo que arroja lo siguiente.

>
>
>
>
>
>
>
>
>
>
>
>
>
>
>

f(-20.0) = 10.08
g(-20.0,25) = 10.07139819226209
Error real = 0.0086018077379126
f(60.0) = 1.12
g(60.0,25) = 1.127240628093908
Error real = -0.0072406280939075
f(-22.4) = 43.68
g(-22.4,25) = 44.86772045181729
Error real = -1.187720451817292
f(28.8) = 4.0
g(28.8,25) = 3.972716548796801
Error real = 0.027283451203199

En los primeros dos casos y en el ltimo (x = { -20, 60, 9n }), el error cometido es aceptable,
mientras que el error en el calculo de la funcin con g(x,25) cuando x = -7n es mucho mayor al
resto (De dos a tres rdenes mayor que en los otros tres casos). Esto se debe a que x = -7n es el
nico de los cuatro puntos que verifica la ecuacin x = 2n + w*3n con un valor de w entero (w =
Pgina 10 de 26

-3), y en el inciso b de este punto mostramos que, en esos puntos, la funcin g(x,q) no era
convergente al valor real de f(x) sino que converga a 45.6, por lo que el error en ese punto estara
mal calculado, ya que lo que hace la funcin Comparar(x,q) es restar a f(x), g(x,q); mientras que
lo correcto para el caso de los puntos que verifican x = 2n + w*3n con un w entero sera calcular
el error como la resta entre 45.6 (Que no es el valor de la funcin en el punto) y g(x,q).
Para verificar esto, se calcula el error real corregido para el punto x = -7n.
> ErrorDiscontinuidades(x,q):= print("Error real para los puntos de
discontinuidad calculando ",q," trminos: ",float(45.6-g(x,q)))$
> ErrorDiscontinuidades(-7*n(),25)$
> Error real para los puntos de discontinuidad calculando 25 trminos:
0.73227954818271

Aunque sigue siendo elevado en comparacin a lo errores en los otros tres puntos, este s es el
error real de g(x,q) en el punto x = -7n, para los primeros 25 trminos de la sumatoria.

d) Grafique la suma parcial de orden 8 de g(x) en [-5n; 5n] y f(x) en un mismo grfico.
Comente los resultados obtenidos y/o visualizados.
> draw2d(
>
file_name = "Grafico 4 - f(x) y g(x,8)",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=4,
>
line_type=dots,
>
color=magenta,
>
key="F(x)=f(x)",
>
explicit(F(x),x,-5*n(),5*n()),
>
line_width=2,
>
line_type=solid,
>
color=blue,
>
key="g(x,8)",
>
explicit(g(x,8),x,-5*n(),5*n())
> );

Pgina 11 de 26

F(x)=f(x)
g(x,8)

45

40

35

30

25

20

15

10

0
-15

-10

-5

10

15

Grfico N 4
Se observa que en los puntos alejados de los extremos de los intervalos de continuidad, la funcin
g(x,8) es una muy buena aproximacin de f(x) (Aproximacin porque no se calculan infinitos
trminos en la sumatoria, sino solamente 8). Mientras que en los puntos ms cercanos a las
discontinuidades, para una misma cantidad de trminos en la sumatoria de la serie, el error de
g(x,q) aumenta considerablemente, convirtindose g(x,8) en una -no muy buena- aproximacin de
f(x) en esos pequeos entornos de los puntos de discontinuidad de f(x). Esto no es otra cosa ms
que el fenmeno de Gibbs, que se manifiesta por la existencia de una discontinuidad en la funcin
que se busca representar por medio de una Serie de Fourier.

Ejercicio N 2:
Dada la funcin j( x )=

| n4n5| +1
2

x , definida en [0; 2)

a) Obtenga la Serie de Fourier de seno de la funcin j(x) (Desarrollo de medio rango) a la

que llamar h(x).
Se comienza por definir la funcin j(x).
> j(x):= (abs(n4()-n5())+1)*x/2$

Definimos, luego, una funcin auxiliar J(x), que se valdr de la funcin y=piso(x) ( y=floor(x) ) para
llegar a una definicin de j(x) que sea vlida a lo largo de toda la recta real (Debido a que la
definicin anterior es vlida nicamente para 0 x 2). De esta manera ser ms sencillo
graficarla, ya que de lo contrario deberamos graficar una funcin diferente por cada intervalo de
Pgina 12 de 26

longitud 2.
> J(x,T):= j(x-floor(x/T)*T);

Esto se podra entender como una funcin que se auto-corrige, ya que cuando la variable x est
dentro de un cierto intervalo, la funcin floor (piso) indica cuntos intervalos hacia la izquierda o
hacia la derecha se deber correr la funcin j(x) -a lo largo del eje x- de tal manera que la funcin
J(x) cumpla con la relacin J(x) = J(x+T) -con T = 2-, que le corresponde a j(x).

J (x ,T )=4 xfloor

( Tx ) T) ; T =2

Se grafica, entonces, J(x,2) (Que es una funcin que verifica la definicin por intervalos de j(x)).
> draw2d(
>
file_name = "Grafico 5 j(x)",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=2,
>
color=orange,
>
key="J(x,2)=j(x)",
>
explicit(J(x,2),x,-5,5)
> );

El grfico que arroja el cdigo anterior es el siguiente.

Pgina 13 de 26

8
J(x)=j(x)
7

0
-4

-2

Grfico 5
La funcin graficada es similar a una funcin impar, ya que se nota que si se lograra desplazarla
algunas unidades hacia abajo, se conseguira una funcin de tal caracterstica, con la cual se puede
llegar a la expansin en Serie de Fourier mediante un desarrollo senoidal de medio rango.
Para facilitar los clculos, se buscar un valor s -real- que cumpla con la condicin J2(x) = - J2(-x)
(Definicin de funcin impar), donde J2(x)=J(x) + s. Luego, se calcular la Serie de Fourier para la
funcin J2(x) y, finalmente, la Serie de Fourier correspondiente a J(x) ser, por la ecuacin que
define a J2(x), J(x) = J2(x) - s (Con J2(x) expresada como Serie de Fourier).
Sea J 2(x)=J 2(x ) , Con J 2( x)=J (x )+ s .
(J (x)+ s)=( J (x)+ s)
J ( x)+s=J (x)s
2 s=(J (x)+ J (x ))
s=

( J ( x)+ J (x))
2

Si J (x)=4 xfloor

( Tx ) T)
Pgina 14 de 26

[(

4 xfloor

s=

( ) )] [ (
x
T
T

( ) )]

+ 4 xfloor

x
T
T

Aspectos a tener en cuenta para trabajar con la funcin floor(x):

Definicin: floor (x )=x =n x=n+k ; n 0k <1
Propiedad: x +n=x +n ; n
Propiedad: x=n+ k x ; n 0k <1 . Adems, n y k son nicos
para cada x.

[ ( )] [ ( )]
4 x

s=

+ 4 x

x
T
T

4 x
s=

s=2 T

x
x
T x T
T
T
2

( )
( )

s=2

Sea

x
T
T

x
x
T T
T
T

x
x
+
T
T

x
=n+ k ; n 0k <1 .
T

s=2 T ( n+ k +(n+k ) )
s=2 T ( n+ k +nk )

s=2 T [ (n+0+k )+(n+0k ) ] ; por definicin, 0+ k =0

s=2 T [ (n+ 0)+(n+0k +(11)) ]
s=2 T 1+(1k )
Si 0< k< 1
Si k =0

0<1k <1

1+(1k )=1

1+(1k )=1+( 10)=0=0

s=2 T .

s=0 .

Recordando la relacin que se estableci entre x y T, se nota que si k = 0 se obtiene lo

siguiente.

Pgina 15 de 26

x
=n+ k ; n 0k <1
T
x
=n ; n k =0
T
x=n T ; n k=0
Esto nos est diciendo que k va a ser igual a cero en todos los puntos en los que x sea mltiplo
entero del perodo, es decir, k es cero -y por lo tanto s = 0- en todos los puntos de discontinuidad
de la funcin J(x).
La meta al comienzo de este tratamiento de la funcin, era hallar un valor s tal que
J 2(x)=J ( x )+ s sea una funcin simtrica.
Si x=n T ; n

J 2(x)=J ( x )+0=J (nT )=0 .

Si xn T ; n

J 2( x)=J (x )2 T .

En puntos particulares del dominio de la funcin, s toma el valor cero, mientras que en el resto
de los puntos es igual al doble negativo del perodo ( -2T ).
Por qu el valor de s que convierte a la funcin en otra impar vara segn el punto analizado?
Para entender esto, hay que pensar qu pasara si s fuera el mismo para todos los puntos. Aqu,
un grfico en calidad de borrador ser de ayuda (Tener en cuenta que las cruces representan
puntos de la grfica que no pertenecen a la funcin, y los crculos representan puntos que s
pertenecen a la funcin).
Se asume que s es el mismo en todos los puntos y se grafica J 2(x)=J (x )+ s .

Pgina 16 de 26

J2*(x)=J(x)-4
4

-2

-4

-6

-4

-2

Grfico N 6
Se contina con J 2(x ) .
J2*(-x)=J(-x)-4
4

-2

-4

-6

-4

-2

Grfico N 7
Y se finaliza con J 2(x) .

Pgina 17 de 26

-J2*(-x)=-J(-x)+4
4

-2

-4

-6

-4

-2

Grfico N 8
Si J2(x) fuera una funcin impar, los grficos 6 y 8 seran iguales. Sin embargo, se ve que entre estas
dos imgenes los puntos y las cruces intercambiaron sus lugares. Es decir que al espejar la grfica
de la funcin J2(x) respecto de ambos ejes coordenados, la definicin de la funcin cambia ( J2(x)
-J2(-x) ) en los puntos de discontinuidad.
Por lo tanto, s no puede ser el mismo para todos los puntos, porque si lo fuera, pasara lo
anterior y la funcin no sera impar.
La matemtica resuelve esto definiendo J2(x) = 0 en los puntos problemticos (Todos los puntos de
discontinuidad). El problema que esto trae consigo es que ya no estaramos calculando la Serie de
Fourier para J2(x) = J(x) + k, sino que la estaramos calculando para otra funcin parecida.
A pesar de esto, lo que se calcul hasta el momento servir igual, ya que a la Serie de Fourier no le
importa el valor real que toma en cada punto la funcin que intenta representar, sino que lo que le
interesa es el valor de la semisuma de los lmites laterales en cada punto de la funcin (La Serie de
Fourier no quiere parecerse a la funcin, quiere parecerse a la semisuma de los lmites laterales de
la funcin en cada punto). Por esto, si queremos que J2(x) funcione con la definicin que se obtuvo
matemticamente, debemos verificar que la semisuma de los lmites laterales de la J(x) desplazada
verticalmente hacia abajo (s constante en todos los puntos) sea igual a la semisuma de los
lmites laterales de la funcin J2(x) hallada matemticamente (s vara segn el punto).
Y esto se verifica, debido a que el lmite de una funcin en un determinado punto, no depende de
la definicin de la funcin en ese punto, sino que depende de la definicin de la funcin a la
izquierda y a la derecha del mismo, y en los puntos de discontinuidad esas definiciones laterales
son iguales en los dos casos. Para el resto de los puntos tambin se cumple, porque dentro de los
invervalos de continuidad, las funciones J(x) desplazada verticalmente hacia abajo (s constante
Pgina 18 de 26

en todos los puntos) y J2(x) hallada matemticamente (s vara segn el punto) son directamente
iguales.
Finalmente, y por lo que se dijo en los ltimos prrafos, para calcular la Serie de Fourier de J(x)
podremos usar tranquilamente J2(x)=J(x)+s (Con s constante), sin preocuparnos por los valores
de la funcin en los puntos de discontinuidad, ya que estos no afectarn al resultado final.
Se define J2(x), teniendo en cuenta que para los clculos de coeficientes hay que integrar entre x =
0 y x = L, y que J(x) en ese intervalo es igual a j(x), que es ms fcil de integrar que J(x) -por la
ausencia de la funcin floor(x)-.
> s(T):= -2*T;
> J2(x,T):= j(x)+s(T);

A continuacin, se determinan los coeficientes de la funcin sen(x) para la Serie de Fourier, y la

Serie en s.
> LJ2(T):= T/2;
> bkJ2(k,T):= (2/LJ2(T))*integrate(J2(t,T)*sin(k*%pi*t/LJ2(T)), t, 0, LJ2(T));
> hfalsa(x,q,T):= sum(bkJ2(k,T)*sin((k*%pi*x)/LJ2(T)), k, 1, q);

bk J 2 (k , T ):=

2
LJ 2 (T )

LJ 2(T )

J 2(t , T ) sen

hfalsa(x , q , T ) := bk J 2 ( k ,T ) sen
k=1

k
t dt
LJ 2 (T )

k
x
LJ 2 (T )

Luego de esto, se define la funcin h(x,q) como la hfalsa(x,q) desplazada s unidades en el sentido
opuesto al que se desplaz j(x).
Si J 2( x)= j( x)+s

j(x )=J 2(x)s

Y si se expresan las funciones como las Series de Fourier que las representan, se llega a lo
siguiente.
h( x , q)=hfalsa ( x , q)s
Finalmente, se define h(x,q) como indica esta relacin.
> h(x,q,T):= hfalsa(x,q,T)-s(T)$
> h(x,q,2);
q

h( x , q ,2)=2

k=1

[(

4 sen( k) 4

sen ( k x ) +4
k
2 k 2

Donde q es la cantidad de trminos a calcular en la sumatoria.

Pgina 19 de 26

Se presenta un grfico con el fin de corroborar que la Serie de Fourier calculada se asemeje a la
funcin J(x).
> draw2d(
>
file_name = "Grafico 9 h(x)",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=2,
>
color=orange,
>
key="J(x,2)",
>
explicit(J(x,2),x,-5,5),
>
color=blue,
>
key="h(x,10,2)",
>
explicit(h(x,10,2),x,-5,5)
> );

J(x)
h(x,10,2)

0
-4

-2

Grfico N 9
All se pueden ver superpuestas las funciones J(x) -en naranja- y su Serie de Fourier
correspondiente h(x) -en azul transparente-. Se observa que para un nmero razonable de
trminos de h(x) (10, en el caso de la grfica) las funciones son semejantes.
Pgina 20 de 26

b) De los primeros 10 sumandos de h(x).

Especificamos la cantidad de trminos de sumatoria que queremos calcular (Variable q) en la
funcin h(x,q,T) y se llega al resultado.
> h(x,10,2);

Se obtiene la siguiente funcin.

8 sen(1 x) sen(2 x ) sen (3 x) sen( 4 x ) sen (5 x) sen(6 x) sen(7 x )

h( x , q)=4
+
+
+
+
+
+
1
2
3
4
5
6
7
8 sen(8 x) sen(9 x ) sen (10 x)

+
+
8
9
10

c) Analice la convergencia de h(x). Justifique.

El teorema de la convergencia de las Series de Fourier establece que si una funcin f(x) es suave
a pedazos en un intervalo [-L,L], entonces para todo -L < x < L la expansin en Serie de Fourier de la
misma converge en todo punto a la semisuma de los lmites laterales de la funcin original en ese
punto.
Teniendo en cuenta que la funcin que se analiza en este ejercicio est definida para todo valor de
x, y que la misma es la composicin de diferentes polinomios de grado uno (Muchas rectas a lo
largo del eje x, unidas), sabemos que al separarla en tramos coincidentes con las porciones de los
polinomios tomados, obtendremos funciones suaves en cada una de las divisiones, con lo que se
cumple la hiptesis del teorema de convergencia.
Como dentro de cada una de esas divisiones realizadas tendremos meramente un polinomio
-distinto en cada divisin-, los lmites laterales izquierdo y derecho en puntos interiores a cada uno
resultarn iguales entre s, por lo que la Serie de Fourier converge al valor real de la funcin f(x)
original siempre y cuando est dentro de los intervalos armados ( 0 + w*2 < x 2 + w*2 ; con w
entero).
Slo resta estudiar la convergencia de la Serie en los puntos frontera de los intervalos anteriores
(Donde existen discontinuidades). Ellos son todos los valores de x de la forma x = w*2, donde w
toma valores enteros.
Se calcularn, entonces, los lmites laterales de la funcin J(x) original en cada uno de esos puntos.
Ya que todos los puntos a analizar (x = w*2) difieren entre s por distancias que son mltiplos
enteros del perodo de la funcin original, bastar con conocer los lmites laterales en al menos
uno de ellos para conocer los lmites laterales correspondientes a los dems (Porque lim f(x) = lm
f(x+w*T), siendo w un nmero entero, x un real y T el perodo de la funcin).
Recordemos la funcin.

Pgina 21 de 26

> draw2d(
>
file_name = "Grafico 10 - j(x) en otro intervalo",
>
dimensions = [1000,600],
>
terminal = 'svg,
>
xaxis=true,
>
xlabel="x",
>
xaxis_width=2,
>
xaxis_type=solid,
>
xaxis_color=black,
>
yaxis=true,
>
ylabel="y",
>
yaxis_width=2,
>
yaxis_type=solid,
>
yaxis_color=black,
>
grid=true,
>
line_width=2,
>
color=orange,
>
key="J(x)=j(x)",
>
explicit(J(x),x,-3,3)
> );
8
J(x)=j(x)
7

0
-3

-2

-1

Grfico N 10
Se elige el punto x = 0 para calcular los lmites laterales de la funcin.
> print("Lmite lateral por izquierda:",float(limit(J(x,2), x, 0, minus)))$
> print("Lmite lateral por derecha:",float(limit(J(x,2), x, 0, plus)))$

Lo que arroja los siguientes resultados.

> Lmite lateral por izquierda: 8.0
> Lmite lateral por derecha: 0.0

Pgina 22 de 26

Como se cumple la hiptesis del teorema de la convergencia, la serie converge en cada punto a la
semisuma de los lmites laterales de la funcin original en el punto.
En el caso particular de los puntos de discontinuidad (x = w*2, con w entero), la serie converger
al valor: 4 (Que es la semisuma de los lmites laterales en esos puntos), mientras que en el resto de
los casos ser convergente al valor real de la funcin original en el punto.
k+1

=
(1)
2 k1 4

d) Usando dicha serie, Puede asegurar que

k=1

? Justifique.

S. Se conoce la definicin -en trminos de una suma infinita- de h(x), y a la vez se conoce la
expresin analtica regular de la funcin que sta representa ( J(x) ), por lo que se puede construir
la ecuacin J(x) = h(x) ; q -> .
Si x = 1/2, se obtienen las siguientes expresiones.

(
( ) (
( ) (

J ( x ,T )=4 xfloor

())

x
T ; T =2
T

( ))

1
1
1 1
, 2 =4 floor
2
2
2
2 2

( ))

1
1
1
, 2 =4 floor
2
2
2
4

( 12 , 2)=4( 1202)

( 12 , 2)=2

Y por el lado de la Serie de Fourier.

q

h( x , q ,2)=2

k=1

[(

4 sen( k) 4

sen( k x ) + 4
k
2 k 2

1
, , 2 =2
2
k=1

[(

4 sen( k ) 4
1

sen k
2 2
k
2
k

) ( )]

1
, , 2 =2
2
k=1

[(

40
4
1

sen k
2 2
2
k k

) ( )]

+4

+4

Pgina 23 de 26

[( ) ( )]
) [ ( )]

1
4
1
, , 2 =2
sen k
2
k
2
k=1

1
8 1
1
, , 2 =
sen k
2
2
k=1 k

1
8 1
, , 2 = sen k
2
2
k=1 k

sen k
2

-1

...

...

+4

+4

( )] + 4

( )

Vemos que en la sumatoria slo sobreviven los trminos con k impar. Como todos los k que
aparecern en los infinitos trminos de la serie son impares, a cada uno de ellos lo podemos
expresar como k = 2m - 1, siendo m un nmero natural. Se realiza, entonces, el cambio de
variable k = 2m - 1 .
Antes de reemplazar k por su nueva definicin, hay que hallar los nuevos extremos de la
sumatoria. Si k = 1, entonces m = (k + 1) / 2 = 1, y si k tiende a infinito, entonces m tambin
tiende a infinito.
Adems, es conveniente analizar cmo se simplifica la funcin sen(x) cuando se utiliza la variable
m.

( 12 )=sen((2m1) 12 )

sen k

sen k =sen m
2
2

( )

sen k =sen (m )cos sen cos (m ) (Por identidad trigonomtrica)

2
2
2

( )

( )

( )

sen k =001cos (m )
2

( )

sen k =cos( m)
2

( )

Pgina 24 de 26

sen k =[(1)m ]
2

( )

m
sen k =[(1) ]
2

( )

sen k =(1)[(1)m ]
2

( )

sen k =(1)[(1)m ]
2

( )

m +1
sen k =(1)
2

( )

Habamos quedado en lo siguiente.

h

( )] + 4

1
8 1
, , 2 = sen k
2
2
k=1 k

Que luego del cambio de variable ( k = 2m - 1 ) y las simplificaciones correspondientes, se convierte

en la expresin que se muestra a continuacin.

1
8
1
, , 2 =
((1)m+1 ) + 4
2
m =1 2 m1

1
8 (1)
, , 2 =
+4
2
m =1 2 m1

m +1

Finalmente, las expresiones de J(x = 1/2) y de h(x = 1/2 , q -> ) debern ser iguales.
J

( 12 , 2)=2

( 12 , 2)=h( 12 , , 2)

m +1

1
8 (1)
, , 2 =
+4
2
m =1 2 m1

8 (1)m+ 1
2=
+4
m =1 2 m1

m+1

8 (1)
2=
m=1 2 m1

]
Pgina 25 de 26

m+1

= (1)
4 m=1 2 m1

Como el resultado de una serie numrica (suma infinita) no depende del nombre de la variable, se
llega a la igualdad del enunciado.

Pgina 26 de 26