INSTRUCCIONES MXIMA

- load("fourie"): Carga paquete de series de Fourier

- fourier(x,x,%pi):
Calcula SF (f(x),x,semiperiodo)
- foursimp(%):
Hacer simplificaciones sobre los coeficientes

Forma I
load("fourie");
fourier(x,x,%pi);
foursimp(%);

Forma II
(1/%pi)*integrate(f(x),x,-%pi/2,%pi/2);
a(n):=(1/%pi)*integrate(cos(n*x),x,-%pi/2,%pi/2);
a(n);
b(n):= (1/%pi)*integrate(sin(n*x),x,-%pi/2,%pi/2);

Para llamar sumas parciales
-S(N,x):=(1/2)+sum(a(n)*cos(n*x),n,1,N);

Para N=3
-s(3,x);
FUNCIONES S.C EN [(a,b)]
1) F(x), definida en [(a,b)] excepto en No. finito de puntos.
2) lim ( )
x a
f x
+

y lim ( )
x b
f x

, existen y son finitos

3) Si Xo (a,b) y f no es continua en Xo
0
lim ( )
x x
f x
+

y
0
lim ( )
x x
f x

,
existen y son finitos. f es discontinua en Xo.
Condiciones
a) f(x), no existe.
b)
0
lim ( )
x x
f x
+

y
0
lim ( )
x x
f x

no existen
c)
0
lim ( )
x x
f x
+

y
0
lim ( )
x x
f x

existen y son diferentes.

Discontinuidad de salto
d)
0
lim ( )
x x
f x
+

= y
0
lim ( )
x x
f x
+

= Discontinuidad
infinita
e)
0
lim ( )
x x
f x

, Existe pero el lmite es diferente de f(x

0
) x
0
Es
Discontinuidad. Removible.

Propiedades
1) Si f(x) es S.C. en (a,b) f(x) es integrable en (a,b).
2) , ( ) ( )
b
a
f g f x g x dx =
}
, f y g S.C en (a,b)
3)
2
, ( ) 0
b
a
f f f x dx = =
}
, f(x) 0
f g f g es una funcin nula, tiene propiedades:
- Reflexiva f f
- Simtrica f g f g
- Transitiva f g y h g f h
ORTOGONALIDAD
, u v V e V: Espacio vectorial. Son ortogonales si
, 0 u v =
Coef. De Fourier de w respecto a B.O.
,
,
k
j
j k
w v
v v
o =
Serie de Fourier de w respecto a B.O
1
,
,
n
j
j
j
j j
w v
w v
v v
=
=

Serie de Fourier de w respecto a S.O
1
,
,
j
j
j
j j
w v
w v
v v

=
=

Norma Euclidiana
| | , v v v =
Propiedades
1) |v|0, para todo v V
2) |v|=0, si y solo si v = 0
v

3) |v|= |||v|, || k para todo v V.
4) |v+w||v|+|w| Desigualdad triangular,
para todo v,w V
Convergencia de una serie
1
,
0
,
n
j
j
j j
n
w v
U
v v
=

, si la serie converge a U
W=U
S.O.T. EN S.C.[(a,b)]
2 2 2 2
1, cos , ,..., cos ,
n n
B x sen x x sen x
b a b a b a b a
t t t t | | | | | | | |
=
`
| | | |

\ . \ . \ . \ . )

Periodicidad
Si f(x) est definida para para toda x real y existe un nmero positivo p
tal qu: f(x+p)=f(x), p: Periodo de f(x) f(x+np)=f(x)

SERIE DE FOURIER DE F(X) S.C. EN (a,b)
( )
( ) ( )
( )
( )
( ) ( )
( )
, cos , ,1
( ) *1 *cos *
1,1 cos , cos ,
f f sen f
f x sen
sen sen



+ +

0
1
2 2
( ) cos
2
n n
n
a n n
f x a x b sen x
b a b a
t t

=
( | | | |
+ +
| | (

\ . \ .

0
1
( )
2
( ) cos , 0,1, 2...
2
( ) , 1, 2, 3...
b
a
b
n
a
b
n
a
a f x dx
b a
a f x dx n
b a
b f x sen dx n
b a

= =

= =

}
}
}
, = 2nx/(b-a)

FUNCIONES PARES E IMPARES
- f(x)=f(-x), PAR: grfica simtrica respecto al eje vertical,
0
( ) 2 ( )
L L
L
f x f x

=
} }

- -f(x)=f(-x), IMPAR: Grfica simtrica respecto al origen.
( ) 0
L
L
f x

=
}


DESARROLLO SF EN [0,L]
1. Serie en sen y cos.
2. Extensin impar representacin en sen.
Extender la funcin f(x) para:
0
1
( ),...0
( )
( ),... 0
2
( )
( )
L
n
n
n
f x x L
f x
f x L x
n
b f x sen x
L L
n
f x b sen x
L
t
t

=
< <

< <

| |
=
|
\ .
| |
|
\ .
}

3. Extensin Par representacin en cos.
Extender la funcin f(x) para:
0
0
1
( ),...0
( )
( ),... 0
2 2
( ) cos
( ) cos
2
L
n
n
n
f x x L
f x
f x L x
n
a f x x
L L
a n
f x a x
L
t
t

=
< <

< <

| |
=
|
\ .
| |
+
|
\ .
}

- Propiedad de dilatacin de integral:
/
/
( ) 1/ ( / )
b b k
a a k
f x dx k f x k dx =
} }


CONVERGENCIA DE LOS SERIES DE FOURIER
1. F Definida en un punto Xo.
2. Limites por derecha e izquierda deben existir y son:
0 0
0
0 0
0
0
0
( ) lim ( ) lim ( )
( ) lim ( ) lim ( )
x x x x
x x
x x x x
x x
f x f x f x
f x f x f x
+

+

>

<
= =
= =

3. Derivadas por derecha e izquierda de Xo, deben
existir y son:
0 0
0
0
0
0 0
0
0
0
( ) ( )
'( ) lim
( ) ( )
'( ) lim
h
h
h
h
f x h f x
f x
h
f x h f x
f x
h
+
+

>

>
+
=
+
=


Teorema: f *(a,b)+, se cumplen las condiciones
anteriores, adems existen f(a+).y f(b-). Se tiene que:
- f converge a f(x), en todo punto continuo del
intervalo.
- f converge a
( ) ( )
2
f x f x
+
+
, en todo punto Xo
discontinuo.
- f converge a
( ) ( )
2
f a f b
+
+
, en los puntos a,b..

FORMA COMPLEJA DE FOURIER
Z = a+bi; Zconjugado =a bi.
a = |Z| * cos (), b = |Z| * sen ().
cos( ) ( ),..., | |
i i
e isen Z Z e
u u
u u = + = Forma polar.
cos( )
2
( )
2
i i
i i
e e
e e
sen
i
u u
u u
u
u

+
=

=

2
2
( )
1
( ) * ,..., 0, 1, 2,....
n
i x
b a
n
n
n
i x
b
b a
n
a
f x c e
c f x e dx n
b a
t
t
| |

|
\ .
=
| |

|
\ .
= =

}


ERROR EN APROXIMACIONES
Dado que las sumas de Fourier no se extienden hasta el infinito se
debe definir un N (N-sima suma parcial)
( )
1/ 2
2
| ( ) ( ) |
b
a
f x g x
}
Error cuadrtico total
2
* 2 2 2 0
1
( ) [ ]
2 2
b
N
n n
n
a
a b a
E f x da a b
=
(
= + +
(

}

2
* 2 2 2 0
1
( ) [ ]
2 2
b
N
n n
n
a
a b a
E f x da a b
=
(
= + +
(

}
, Desigualdad de
Parseval

Distribucin de funciones en parte par e impar

( ) ( )
2
( ) ( )
2
PAR
IMP
f x f x
f
f x f x
f
+
=

=