Series Taylor Fourier

Calculo: Series Funcionales.
Taylor y Fourier
Antonio Garvn
Curso 04/05
Sucesiones de funciones
De forma analoga a como hicimos con las sucesiones de n

umeros reales,
podemos definir una sucesion de funciones como una aplicacion : N F,
siendo F el conjunto formado por todas las funciones reales. Si (n) = fn ,
denotamos la sucesion por {fn } o tambien f1 , f2 , f3 , , fn ,
.c
om
Lmite puntual de una sucesi

on de funciones
at
ic
a1
1.1
ww
w.
at
em
Supongamos que tenemos una sucesion de funciones {fn } definidas en un

cierto dominio D, fn : D R.
Dado un x0 D, tenemos la sucesion numerica {fn (x0 )}. Supongamos
que existe el lmite de esta sucesion numerica, l0 = lim fn (x0 ), y es un
n
umero real l0 R. Si para cada x0 D se puede hacer esto podermos
definir una funcion f: D R haciendo f (x0 ) = l0 . A esta fun cion se la
denomina lmite puntual de la sucesion {fn }.
f (x) = lim fn (x)
1.2
x D.
Ejemplo
1. Sea fn (x) = nx, solo existe lim fn (x) para x = 0.

Por tanto no existe en R la funcion lmite puntual de fn (x) = nx.
2. Consideremos la sucesion fn (x) = xn definidas en el intervalo [0, 1]
fn : [0, 1] R
x 7 fn (x) = xn
El lmite puntual de la sucesion fn (x) = xn es la funcion

n
f (x) = 0 si x [0, 1) .
1 si x = 1
1
www.cienciamatematica.com
sennx
sennx
. El lmite puntual de fn (x) =
3. Sea ahora la funcion fn (x) =
n
n
es la funcion nula
f (x) = 0
x R.
Convergencia puntual y uniforme
Como ya hemos visto, el lmite puntual de una sucesion de funciones no

tiene porque existir. En el caso de que si exista que quiere decir que
fn converge puntualmente a f ? Para analizar esto consideremos un punto
x1 D, fn : D R, y la sucesion fn (x1 ). Debe ser f (x1 ) = lim fn (x1 ), es
decir que
> 0 N1 / | fn (x1 ) f (x1 ) |< si n N1
.c
om
Si ahora considero otro punto x2 D, fn : D R, y la sucesion fn (x2 ).

Debe ser f (x2 ) = lim fn (x2 ), es decir que
a1
> 0 N2 / | fn (x2 ) f (x2 ) |< si n N2
at
ic
En general dado x D, debe ser f (x) = lim fn (x), es decir que
em
> 0 Nx / | fn (x) f (x) |< si n Nx .
ww
w.
at
En general el lugar N a partir del cual se cumple que | fn (x) f (x) |<
depende de x ya que para cada x, fn (x) es una sucesion distinta.
Pues bien cuando sea posible elegir un N que sirva para todos los x
diremos que la convergencia es uniforme y que f es el lmite uniforme de fn .
2.1
Definici
on:
Supongamos que existe f el lmite puntual de fn . Decimos que f es el lmite

uniforme de fn o que fn converge uniformemente a f si dado > 0 N /
| fn (x) f (x) |< , x D.
Por definicion la convergencia uniforme implica la convergencia puntual.
Por otro lado esta definicion no es muy operativa en la practica, de esta forma
nos planteamos lo siguiente Como se sabe en la practica si la convergencia
es puntual o uniforme?
2.2
Propiedades:
1. Si fn f (uniformemente) y fn es continua n, entonces f es continua.

2
2. Si fn f (uniformemente) y fn es continua n, entonces

Z
lim
a
fn (x)dx =
lim fn (x)dx.
3. Supongamos que | fn (x) f (x) | an , n, x D, siendo {an } una

sucesi
on de n
umeros que tiende a cero, lim an = 0. Entonces fn f
(uniformemente).
2.3
Ejemplos:
sennx
hemos visto que converge puntualmente
n
a f (x) = 0, la funcion nula. Converge uniformemente? Fijemonos
sennx
1
sen nx
0 |=|
| , x R. Por tanto aplicando la
que |
n
n
n
sen nx (unif.)
0.
propiedad 3 tenemos que
n
.c
o
1. La sucesion fn (x) =
ww
w.
M
at
em
at
ic
a1
n
2. Hemos visto que la sucesion de funciones
n fn (x) = x definidas en
[0, 1] convergen puntualmente a f (x) = 0 si x [0, 1) . Lo hacen
1 si x = 1
uniformemente? Si tratamos de hacer que | fn (x) f (x) | an , para
alguna sucesion numerica an , con an 0, no se nos ocurre cual tomar.
El no encontrarla no es suficiente para negar la convergencia uniforme,
pero si lo sera si encontramos alguna propiedad que respeta la convergencia uniforme y que en este caso no lo hace. Esto es lo que ocurre
ya que todas las funciones xn son continuas y si la convergencia fuese
uniforme por la propiedad 1 f debera ser continua, y no lo es, ya
que no lo es en 0. Como conclusion obtenemos que la convergencia no
es uniforme. xn f (puntualmente), pero xn 6 f (uniformemente).
Este ejemplo nos muestra que la convergencia puntual 6 uniforme.
Series de funciones, o series funcionales
Al igual que con n

umeros reales podemos asociar a una sucesion {fn } de
funciones una serie, la sucesion de sus sumas parciales. As S1 = f1 , S2 =
f1 + f2 , S3 = f1 + f2 + f3 , y en general Sn = f1 + f2 + + fn . Tenemos
as las sucesion {Sn } de sumas parciales de la sucesion {fn }. Supongamos
que Sn (x) g(x) puntualmente x D, en este caso decimos que la serie
X
fn , converge puntualmente a g
de termino general fn , que notamos por
n=1
y escribimos
fn = g. Esto es:
n=1
fn = lim Sn = g
o tambien,
en D
(punt.)
n=1
fn (x) = lim Sn (x) = g(x)
x D
(punt.)
n=1
A D se le llama el campo de convergencia de la serie funcional
fn .
n=1
Si ocurre que ademas Sn (x) g(x) uniformemente en D, decimos que
X
la serie
fn converge uniformemente a g. Esto es:
at
ic
a1
.c
om
n=1
fn = lim Sn = g
(unif.)
at
e
o tambien,
n=1
en D
fn (x) = lim Sn (x) = g(x)

(unif.)
x D
n=1
ww
w.
C
omo ver en la practica que una serie converge uniformemente?
3.1
Teorema:
Supongamos que la serie
fn de funciones fn : D R es tal que:
n=1
| fn (x) | Mn
x D,
n 1
Mn converge
n=1
Entonces para cada x D la serie numerica
fn (x) converge absoluta-
n=1
mente (esto ya lo sabamos, es aplicacion directa del criterio de acotacion),

en particular converge puntualmente en D. Se verifica ademas que la convergencia es uniforme en D.
4
3.2
Ejemplos:
X
cos nx
,xR
1.
n n
n=1
1
cos nx
| = Mn ,
n n
n n
|
X
Mn
converge
X
cos nx
converge absolutamente x R,
n n
n=1
en particular converge, y ademas

en R.
2. Sea x [2, ), estudiemos
X
cos nx
converge uniformemente
n n
n=1
nx .
X
1
converge.
n2
a1
.c
1
1
= x < 2,
n
n
n=1
ic
om
n=1
at
3.3
at
n=1
nx converge uniformemente en [2, ).
n=1
nx converge absolutamente. Ademas
ww
w.
em
Por tanto para cada x [2, )
Propiedades(Consecuencia de las propiedades para sucesiones funcionales):
1. Si todas las fn son continuas y

f , entonces f es continua.
fn converge uniformemente en D a
n=1
2. Si todas las fn son integrables en [a, b] y la serie converge uniforme

X
mente en [a, b],
fn = f (unif.). Entonces
n=1
Z bX
a n=1
fn =
Z
X
n=1 a
fn
es decir
f=
a
4
4.1
Z
X
n=1 a
fn .
Series de Potencias
Definici
on:
Una serie de potencias es una serie de funciones polinomicas de la forma
X
an (x a)n . Decimos que esta centrada en x = a ya que cada fn (x) =
n=1
an (x a)n es una potencia de (x a), es decir un monomio en x a.

Vamos a estudiar las que estan centradas en x = 0, ya que el cambio
y = x a nos reduce a este caso.
an (x a)n =
an y n ,
n=1
y = x a]
at
ic
a1
n=1
om
.c
Por tanto realizamos el estudio para series del tipo
n=1
at
e
Teorema
4.2
an xn , centradas en
0.
ww
w.
Toda serie de potencias del tipo
an xn , esta en uno de los siguientes casos:
n=1
a) La serie converge unicamente en el valor x = 0.

b) La serie converge absolutamente en todo R.
c) La serie converge absolutamente en un intervalo de la forma (R, R) y
diverge fuera de [R, R]. En los extremos, x = R y x = R puede
converger o no.
En el primer caso se dice que el radio de convergencia es 0. En el segundo
que es . En el tercer caso se dice que el radio de convergencia es R.
Si fijamos un x R la serie funcional se convierte en una serie numerica.
Podemos considerar la serie en valor absoluto e intentar aplicar los criterios
p
que vimos para series de terminos positivos. Si suponemos que l = lim n | an |
X
X
n
y aplicamos el criterio de la raiz a la serie
| an x |=
| an || x |n
n=1
n=1
lim
p
p
n
| an || x |n =| x | lim n | an | =| x | l
As pues si | x | l < 1 la serie converge absolutamente, y si | x | l > 1 la

serie diverge. Es decir seg
un que | x |< 1l o que | x |> 1l hay convergencia
absoluta o divergencia. Por tanto y de acuerdo con el teorema enunciado
anteriormente el radio de convergencia es R = 1l . A falta de analizar los
casos l = 0 y l = que son inmediatos, tenemos el siguiente resultado:
4.3
Proposici
on:
Supongamos que l = lim
X
an xn . Entonces:
p
n
| an | y R es el radio de convergencia de la serie
n=1
om
1
l
1.c
1. Si l (0, ) R =
ic
a
2. Si l = 0 R =
Nota
em
4.4
at
3. Si l = R = 0
ww
w.
at
Recordemos que si existe el lmite del cociente, entonces existe el lmite de

la raiz y son iguales,
l = lim
4.5
(1)
| an+1 |
| an |
l = lim
p
n
| an |
Ejemplos:
X
(1)n xn
n=1
n
p
n
, aqu an =
| an | =
r
n
1
,
n
(1)n
n
| an+1 |
1/(n + 1)
n
=
=
1
| an |
1/n
n+1
As pues l = 1, de donde R = 1/l = 1
X
(1)n
que converge por Leibnitz.
Para x = 1 queda
n
n=1
X
1
que diverge.
Para x = 1 queda
n
n=1
Por tanto el campo de convergencia es (1, 1]
X
X
x2 n
, aqu identificando con
(2)
(1)n
an xn resulta que | an |= 0
2n
n=1
n=1
p
1
si n es impar, y | an |= si n es par. De esta forma no existe lim n | an |
n
y por tanto no podemos aplicar el criterio anterior. En este caso nos vemos
obligados a estudiar directamente la convergencia para cada x.
X
x2n
.
Dado un x fijo estudio (en valor absoluto) la serie numerica (
(1)n
2n
n=1
Aplico el criterio del cociente
2n
x2n+2 /(2n + 2)
=
x2 x2
x2n /(2n)
2n + 2
4.6
ww
w.
at
em
at
ic
a1
.c
om
Por tanto converge si x2 < 1 x (1, 1), y diverge si si x2 > 1

x (, 1) (1, ). As el radio de convergencia es 1.
X
(1)n
que converge. El campo de
Para x = 1 y x = 1 se obtiene
n
n=1
convergencia es, por tanto, el intervalo [1, 1].
Hasta aqu la convergencia que hemos analizado es puntual, sin embargo
se tiene el siguiente resultado que nos indica que este analisis es suficiente
para las series de potencias.
Teorema
Sea S la funcion dada por S(x) =
n
n=1 an x .
1. La serie converge uniformemente a S en todo intervalo cerrado contenido en su campo de convergencia.

2. S es continua en todo su campo de convergencia.
3. Las primitivas de S son series de potencias que tienen el mismo radio
de convergencia que S, y que se obtienen integrando termino a termino.
Concretamente
Z X
Z
X
X
an n+1
n
n
x
+C
an x =
an x + C =
n+1
n=1
n=1
n=1
4. S es derivable. Su derivada es otra serie de potencias que tiene igual

radio de convergencia que S, y que se obtienen derivando termino a
termino.
X
X
d
d X
n
n
an x
=
(an x ) =
nan xn1
dx
dx
n=1
4.7
n=1
n=2
Ejemplo:
Vamos a calcular la suma de la serie

Leibnitz.
Dada la serie
1
(1)n , que sabemos converge por
n
n=1
xn , para cada x es geometrica de razon x, y por tanto
n=1
xn =
at
ic
a1
n=1
1
1x
.c
o
converge solo si | x |< 1. Ademas lo hace a
Por ser una serie de potencias la convergencia es uniforme, y el lmite uniforme es una funcion integrable, continua y derivable. En particular
Z
X
xn+1
1
dx =
+ C x (1, 1)
1x
n+1
at
e
n=0
w.
X
xn+1
log(1 x) = C +
n+1
ww
n=0
evaluando en x = 0, obtenemos C = 0, y evaluando en x
X
xn
log(1 + x) =
(1)n , x (1, 1)
n
n=1
Fijemonos en que ahora la serie de la dercha converge en x = 1 (se ha

modificado el campo de convergencia al integrar). Por la continuidad de la
X
xn
en el punto x = 1, se tiene que
serie
(1)n
n
n=1
log(2) =
X
n=1
de donde
(1)n
n=1
(1)n
1
n
1
= log 2
n
9
Series de Taylor
Vamos a recordar algunas cosas que ya vimos al hablar del polinomio de

Taylor y vamos a justificarlas usando los resultados que hemos estado viendo.
5.1
Definici
on
Sea f infinitas veces derivable en I, intervalo abierto, y sea a I. La serie

de Taylor de f en I centrada en a, es la serie funcional
X
f (n) (a)
n!
n=0
5.2
(x a)n
Observaci
on
X
f (n) (a)
at
f (x0 ) =
em
at
ic
a1
.c
o
Fijemonos en que la serie de Taylor es una serie de potencias, por tanto se

verifican todas las propiedades que hemos estudiado.
Supongamos que la serie converge en un punto x = x0 , entonces tenemos
X
f (n) (a)
(x0 a)n . Decimos que la serie de Taylor representa a f en x0 ,
el n
umero
n!
n=0
si ocurre que el n
umero anterior es exactamente f (x0 )
(x0 a)n
n=0
n!
ww
w.
Fijemonos en que al menos en el punto x = a la serie representa a la

funcion, ya que trivialmente se tiene la igualdad
X
f (n) (a)
n!
n=0
(a a)n = f (a) + f 0 (a)(a a) + = f (a) + 0 + 0 + = f (a)
Tambien vimos que se tena el siguiente resultado
5.3
Teorema
La serie de Taylor de f en a representa a f en x0 si y solo si lim Rn (x0 ) = 0

y como consecuencia de esto y teniendo en cuenta que
Rn (x0 ) =
f (n+1) (c)
(x0 a)n+1 ,
(n + 1)!
c entre x0 y a
obtenamos la siguiente
10
5.4
Consecuencia:
Si | f n) (x) | M , M R, n, x I. Entonces la serie de Taylor de f

representa a la f en todos los puntos de I, f (x) = Tf,a (x).
5.5
Ejemplos
(1)
sen x = x
x3 x5 x7
x2n+1
+
+ + (1)n
+
3!
5!
7!
(2n + 1)!
cos x = 1
x2 x4 x6
x2n
+
+ + (1)n
+
2!
4!
6!
(2n)!
x2 x3
xn
+
+ +
+
2!
3!
n!
Desarrollos de Taylor en x = 0. sen x y cos x tienen derivadas acotadas por
tanto representan en todo R. La igualdad es valida x R.
Para la exponencial, dado x0 elegimos M talque x0 (M, M ). Entonces eM acota la derivada n x (M, M ). En particular representa en
el punto x = x0 . Como se puede hacer para todos los puntos, representa en
todo R. La igualda es valida en todo R.
(2) Encontrar el desarrollo de log x en el punto 1 ( o log(1+x) en x = 0)no
es tan inmediato ya que las sucesivas derivadas se van complicando, si bien
no es imposible existen maneras mas sencillas aplicando las propiedades de
las series de potencias.
1
1
.
que podemos expresar como
La derivada de log(1+x) es
1+x
1 (x)
Lo anterior es precisamente la suma de una serie geometrica de razon x.
Como estas series convergen si | x |< 1, resulta que si x (1, 1) se tiene
la igualdad
ww
w.
at
em
at
ic
a1
.c
om
ex = 1 + x +
(x)n =
n=0
1
1
d
=
(log(1 + x))
=
1 (x)
1+x
dx
es decir
(1)n xn =
n=0
d
(log(1 + x))
dx
Si integramos se tiene que en (1, 1)
X
n=0
(1)n
xn+1
= log(1 + x) + C
n+1
11
Haciendo x = 0 determinamos que C = 0. Por la continuidad y dado que

la serie obtenida converge en x = 1 (y diverge en x = 1) podemos afirmar
que
x2 x3 x4
xn
+
+ + (1)n+1
+
log(1 + x) = x
2
3
4
n
desarrollo valido en (1, 1]. Mejorando ligeramente el resultado que veamos
al hablar de las series de Taylor dentro de las series numericas.
(3)
1
Si f (x) = arctag x f 0 (x) =
, que puedo pensarlo como la suma
1 + x2
de una geometrica de razon x2 y termino inicial 1, que converge si
| x2 |< 1 x2 < 1 | x |< 1 x (1, 1)
om
As f 0 (x) = 1 x2 + x4 x6 + + (1)n x2n + , x (1, 1).

Integrando primero y haciendo x = 0 despues, para determinar la constante que aparece, obtenemos que en (1, 1)
.c
x3 x5 x7
x2n+1
+
+ + (1)n
+
3
5
7
2n + 1
ic
a1
arctag x = x
Comentario:
w.
5.6
at
em
at
Pero de nuevo por la continuidad y dado que la serie converge en los extremos
del intervalo, resulta que el desarrollo anterior es valido en [1, 1]. De nuevo
esto mejora el resultado que adelant
abamos al final de las series numericas.
ww
Hemos dicho que es la continuidad, junto con el hecho que la serie converja en
el extremo lo que nos permite asegurar que la igualdad puede ser extendida
a ese extremo. Para ser totalmente precisos el razonamiento que justifique
X
esto podroa ser el siguiente: Tenemos S(x) =
an xn para cada x I,
n=1
siendo I el campo de convergencia de la serie. Sabemos que S es continua,

es decir que lim S(x) = S(a).
xa
Por otro lado sabemos que para una cierta funcion f se tiene que en
f (x) = S(x), pero no tenemos en principio asegurado
el interior de I, I,
que en un extremo sean iguales. Esto es, en principio si x0 es un extremo
del intervalo tenemos dos n
umeros f (x0 ) y S(x0 ) que no sabemos que sean
iguales.
Resulta que si f es continua si son iguales ya que
S(x0 ) =
lim
xx0 xI
S(x) =
lim
xx0 xI
f (x) = f (x0 )
12
Series de Fourier
Seas f una funcion periodica de periodo 2 (es decir f (x) = f (x + 2),

x R) y continua a trozos en [, ]. Se llama serie de Fourier de f , a la
serie
a0 X
+
(an cos nx + bn sen nx)
2
n=1
donde los coeficientes an y bn vienen dados por:

Z
Z
1 2
1
f (x) cos nxdx =
f (x) cos nxdx
an =

0
bn =
f (x) sen nxdx =
f (x) sen nxdx

0
.c
Ejemplo:
a1
6.1
om
para cada n 0. Fijemonos que siempre b0 = 0.
at
ic
0, si x [, /2) (/2, ]
y extendida por periodicidad
1, si x [/2, /2]
fuera de [, ]. Quien es su serie de Fourier?
Es facil comprobar que a0 = 1. Para n > 0
Z
w.
bn =
1
f (x) cos nxdx =
ww
1
an =
at
em
sea f (x) =
/2
f (x) cos nxdx =

/2
1 sen nx i/2
1 2 sen (n/2)
=
n
/2
f (x) sen nxdx =
Z
/2/2 f (x) sen nxdx =
1 cos nx i/2
1
(
)= 0=0
/2
As pues la serie de Fourier es

2
2
2
1 2
+ cos x
cos 3x +
cos 5x
cos 7x +
2
3
5
7
que resulta ser una serie de cosenos.
13
El ejemplo anterior es un caso particular de un hecho que afecta a todas

las funciones que son pares. Fijemonos en que f (x) = f (x) para la funcion
f del ejemplo anterior, es decir f es par. Por tanto al ser sen nx una
funcion impar, su producto f (x)
Z sen nx resulta ser impar. De esta manera
y sin hacer el calculo explcito
f (x) sen nxdx = 0 ya que entre 0 y
toma los mismos valores, pero de signo opuesto, que entre 0 y , y as

Z
Z 0 Z
=
+
=AA=0
Por otro lado al ser cos nx una funcion par f (x) cos nx es par, y de esta
forma
toma
Z
Z los mismos valores entre y 0 que entre 0 y . Por tanto
=2
.
a1
.c
f (x) cos nxdx y bn = 0
at
ic
an = 2
om
As pues si f es una funcion par se tiene que:
at
em
por tanto su serie de Fourier es siempre una serie de cosenos (y el coseno es

par).
Por otro lado razonando analogamente si f es una funcion impar, es
decir,
f (x) = f (x), f (x) cos nx es una funcion impar y por tanto se anula
Z
f (x) cos nxdx y as an = 0. f (x) sen nx es par (al ser producto de dos
Z
Z
impares) y por tanto
f (x) sen nxdx es el doble que
f (x) sen nxdx.
ww
w.
De esta forma
bn =
f (x) sen nxdx

0
As en el caso de que f sea una funcion impar, su serie de Fourier es una

serie de senos( y el seno es impar).
6.2
Ejemplo:
x
Sea la funcion f (x) = si x [, ) y extendida por perodicidad a todo
R. Su grafica es:
14
d d
d
pues
Fijemonos que f es una funcion impar, f (x) = x
= f (x), as
an = 0 y
Z
Z
Z
2
2 x
2
f (x) sen nxdx =
sen nxdx = 2
x sen nxdx =
bn =
0
0
0
ic
a1
.c
om
(calculando una primitiva por partes, se tiene)
sen nx
2 cos n
2 cos n
2 x cos nx
+
= 2
=
= 2
2
n
n
n
n
0
at
em
at
As pues, teniendo en cuenta que
1
si n es par
cos n =
1 si n es impar
ww
w.
la serie de Fourier es la siguiente:
sen 2x
sen 3x
sen 4x
2
sen x
+
+ =
2
3
4
=
sen nx
2X
(1)n+1
n
n=1
Para definir la serie de Fourier de una funcion solo necesitamos que

sea periodica de periodo 2 y continua a trozos. Sin embargo necesitamos
algunas condiciones mas para que converja y para que represente a la funcion
f . La condicion es que sea derivable a trozos para que converja, y que sea
continua en el punto para que represente a la funcion en ese punto.
6.3
Notaci
on:
Notamos por f (x+

mites lat0 ) = lim f (x) y por f (x0 ) = lim f (x), a los l
xx+
0
xx
0
erales de f en x0 por la derecha y por la izquierda respectivamente.
15
6.4
Observaci
on:
Es equivalente que una funcion sea continua a trozos a que existan todos sus
lmites laterales. Evidentemente continua continua a trozos, al contrario
no es cierto.
Analogamente a como definimos los lmites laterales definimos las derivadas
0
laterales popr la derecha f 0 (x+
0 ), y por la izquierda f (x0 )
f 0 (x+
0 ) = lim
h0+
f (x0 + h) f (x+
0)
h
f (x0 + h) f (x
0)
h
h0
Es equivalente que una funcion sea derivable a trozos, a que existan
todas sus derivadas laterales. Claramente derivable derivable a trozos, el
recproco no es cierto.
Se tiene el siguiente resultado que nos dice cuando converge una serie de
Fourier y a quien lo hace.
Teorema( de Dirichlet)
ic
6.5
a1
.c
o
f 0 (x
0 ) = lim
6.6
ww
w.
n=1
at
em
at
Si f es derivable a trozos en el intervalo [, ], entonces para cada x0

1
[, ], la serie de Fourier de f converge al valor (f (x+

0 ) + f (x0 )), esto es,
2
a0 X
1
+
(an cos nx0 + bn sen nx0 ) = (f (x+
0 ) + f (x0 ))
2
2
Nota
Como consecuencia de este resultado podemos decir que la serie representa

a la funcion f en x0 , esto es, vale igual que la funcion en x0 , si f es continua
en x0 , ya que en este caso f (x0 ) = f (x+

0 ) = f (x0 ), y por tanto
1
a0 X
)
+
(an cos nx0 + bn sen nx0 )
f (x0 ) = (f (x+
+
f
(x
))
=
0
0
2
2
n=1
6.7
Ejemplo:
Consideremos f (x) =| x | en [, ]. Al ser par su serie de Fourier es de

cosenos, as
Z
2
f (x) cos nxdx
bn = 0 n 0 y an =
0
16
Para n = 0 se tiene:
2
a0 =
Para n 1
xdx =
0
2
an =
2 2
=
2
x cos nxdx =
0
(calculando primitivas)
om
2 cos n
1
2 x sen nx cos nx i
+
=
2 =
=
n
n2 0
n2
n
(
0
si n es par
2
4
=
(cos
n
1)
=
2 si n es impar
n2
n
La serie de Fourier es
a1
.c
4 X cos(2n + 1)x
.
2
(2n + 1)2
at
ic
n=0
em
Fijemonos en que la funcion f es continua en x = , por tanto aplicando

el teorema de Dirichlet se tiene
at
4 X cos(2n + 1)
4X
1
+
=
2
2
(2n + 1)
2
(2n + 1)2
ww
w.
=| |= f () =
n=0
n=0
4X
1
1
2 X
=
=
2
2
(2n + 1)
8
(2n + 1)2
n=0
n=0
X
1
1
,
converge comparando con
Ya sabamos que la serie
2
(2n + 1)
n2
n=0
n=1
pero no sabamos su suma. Utilizando las series de Fourier hemos sido
capaces de decir exactamente a quien converge.
6.8
Serie de Fourier de una funci

on peri
odica de periodo 2T
Si f es periodica de periodo 2T podemos, mediante un simple cambio de

variable, transformarla en una funcion periodica de periodo 2. Concretamente a f de periodo 2T asociamos g de periodo 2 dada por la siguiente
composicion
17
[, ]
- [T, T ]
- x=T t
- R
- f (x) = g(t)
6
x
t
g posee las mismas propiedades que f . Por ejemplo si f es par g es par,
etc.
Definimos la serie de Fourier de f como la serie de Fourier de g
t=
n=1
1
g(t)dt =
y si n 1
1
g(t) cos ntdt =
1
f (x) dx =
T
T
f (x)dx
T
Z

1 T
f (x) cos n x
dx =
f (x) cos n x dx
T
T
T T
T
at
ww
w.
1
an =
ic
em
at
1
a0 =
a1
n=1
.c
om
a0 X
a0 X
+
(an cos nt + bn sen nt) =
+
(an cos n x + bn sen n x)
2
2
T
T
Razonando analogamente tenemos

Z

1 T
f (x) sen n x dx
bn =
T T
T
6.9
Ejemplo:
Dada la funcion, periodica de periodo , que tiene la siguiente grafica, dar

su serie de Fourier.
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
R d
@
Rd
@
R d
@
Rd
2
2
18
f (x) = x, si x [0, ). Su periodo es (2T = ), por tanto el

semiperiodo es T = /2.
a0 =
2
f (x)dx =
T
( x)dx =
0
1
T
2T
f (x)dx =
0
f (x)dx =
0
2 ( x)2
2 2
[
]0 =
=
2
2
Z
Z
1 2T
1 T
f (x) cos(n x)dx =

f (x) cos(n x)dx =
an =
T T
T
T 0
T
Z
2
( x) cos(2nx)dx = (haciendo calculos) = 0
0
Z
f (x) sin(n x)dx =

T
T
om
1
T
2T
.c
bn =
a1
n0
f (x) sin(n x)dx =

T
at
ic
n1
1
T
( x) sin(2nx)dx = =
0
at
em
n=0
1
n
As pues la serie de Fourier de f es:
ww
w.
X sin(2nx)
.
SF (x) = +
2
n
n=1
Fijemonos en que f (0+ ) = , f (0 ) = 0, y SF (0) =
6.10
f (0+ )+f (0 )
2
= 2 .
Extensiones peri
odicas par e impar
Si tenemos f definida eb [0, T ] podemos extenderla al intervalo (T, T ] de

formas diferentes. Sean
f (x), x [0, T ]
f (x), x [0, T ]
f1 (x) =
; f2 (x) =
f (x), x (T, 0)
f (x), x (T, 0)
f1 y f2 extienden a f en el sentido que coinciden con f en el intervalo
[0, T ], pero f1 es una funcion par y f2 es una funcion impar.
La serie de f1 es una serie de cosenos, es decir
Z
2 T
f (x) cos n xdx
bn = 0 n 0 y an =
T 0
T
19
La serie de f2 es una serie de senos, es decir

2
an = 0 n 0 y bn =
T
6.11
f (x) sen n xdx

T
Ejemplo:
La funcion f (x) = x en [0, ).

En el ejemplo anterior dabamos la serie de Fourier de la funcion f (x) =
x, x [0, ) y periodica de periodo . Vamos ahora a dar su serie de
Fourier como funcion periodica de periodo 2, extendiendola a (, ] como
funcion par o como funcion impar
f (x), x [0, ]
x, x [0, ]
f1 (x) =
=
f (x), x (, 0)
+ x, x (, 0)
at
em
at
ic
a1
.c
om

@
@
@
@
@
@
@
@
@
@
2
ww
w.
Z
2
f (x) cos nxdx.
Por ser par (f1 (x) = f1 (x)) bn = 0 n 0 y an =
0
Z
2
( x)dx =
a0 =
0
4
Z
2
2 1 (1)n n2 , n impar
( x) cos nxdx =
=
an =
n2
0,
n par
4
cos 3x
cos(2n + 1)x
cos x +
+
+ , x [, ],
As f (x) = +
2
9
(2n + 1)2
por ser f continua en todo R.
f2 (x) =
f (x), x [0, ]
f (x), x (, 0)
x, x [0, ]
( + x), x (, 0)
20
@
@
@
@
@
@
@
@
2
2
@
0
@
@
@
@
@
@
R
R
@
d @
d
2
Por ser impar (f2 (x) = f2 (x)) an = 0 n 0 y bn =
Z
2
2
( x) sen nxdx =
bn =
0
n
f (x) sen nxdx.

0
As para cada x [, ], x 6= 0, por ser f continua en estos puntos
.c
o
X
sen 3x
sen 2x
sen nx
= 2 sen x +
+
+
f (x) = 2
n
2
3
a1
n=1
em
at
ic
En el punto x = 0 la funcion no es continua y podemos comprobar que la

serie converge en ese punto a la semisuma de sus lmites laterales
at
X sen n 0
f (0+ ) + f (0 )
+ ()
=
=2
=0
0=
2
2
n
ww
w.
n=1
21

Series Taylor Fourier

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Series Taylor Fourier

Cargado por

Copyright:

Formatos disponibles

Calculo: Series Funcionales.

De forma analoga a como hicimos con las sucesiones de n

Lmite puntual de una sucesi

Supongamos que tenemos una sucesion de funciones {fn } definidas en un

1. Sea fn (x) = nx, solo existe lim fn (x) para x = 0.

El lmite puntual de la sucesion fn (x) = xn es la funcion

Convergencia puntual y uniforme

Como ya hemos visto, el lmite puntual de una sucesion de funciones no

Si ahora considero otro punto x2 D, fn : D R, y la sucesion fn (x2 ).

> 0 N2 / | fn (x2 ) f (x2 ) |< si n N2

En general dado x D, debe ser f (x) = lim fn (x), es decir que

> 0 Nx / | fn (x) f (x) |< si n Nx .

Supongamos que existe f el lmite puntual de fn . Decimos que f es el lmite

1. Si fn f (uniformemente) y fn es continua n, entonces f es continua.

2. Si fn f (uniformemente) y fn es continua n, entonces

3. Supongamos que | fn (x) f (x) | an , n, x D, siendo {an } una

Series de funciones, o series funcionales

Al igual que con n

fn (x) = lim Sn (x) = g(x)

A D se le llama el campo de convergencia de la serie funcional

Si ocurre que ademas Sn (x) g(x) uniformemente en D, decimos que

fn (x) = lim Sn (x) = g(x)

Supongamos que la serie

fn de funciones fn : D R es tal que:

Entonces para cada x D la serie numerica

fn (x) converge absoluta-

mente (esto ya lo sabamos, es aplicacion directa del criterio de acotacion),

en particular converge, y ademas

nx converge uniformemente en [2, ).

nx converge absolutamente. Ademas

Por tanto para cada x [2, )

Propiedades(Consecuencia de las propiedades para sucesiones funcionales):

1. Si todas las fn son continuas y

2. Si todas las fn son integrables en [a, b] y la serie converge uniforme

Una serie de potencias es una serie de funciones polinomicas de la forma

an (x a)n es una potencia de (x a), es decir un monomio en x a.

Por tanto realizamos el estudio para series del tipo

Toda serie de potencias del tipo

an xn , esta en uno de los siguientes casos:

a) La serie converge unicamente en el valor x = 0.

As pues si | x | l < 1 la serie converge absolutamente, y si | x | l > 1 la

Supongamos que l = lim

Recordemos que si existe el lmite del cociente, entonces existe el lmite de

As pues l = 1, de donde R = 1/l = 1

Por tanto el campo de convergencia es (1, 1]

Por tanto converge si x2 < 1 x (1, 1), y diverge si si x2 > 1

Sea S la funcion dada por S(x) =

1. La serie converge uniformemente a S en todo intervalo cerrado contenido en su campo de convergencia.

4. S es derivable. Su derivada es otra serie de potencias que tiene igual

Vamos a calcular la suma de la serie

xn , para cada x es geometrica de razon x, y por tanto

converge solo si | x |< 1. Ademas lo hace a

evaluando en x = 0, obtenemos C = 0, y evaluando en x

Fijemonos en que ahora la serie de la dercha converge en x = 1 (se ha

Vamos a recordar algunas cosas que ya vimos al hablar del polinomio de

Sea f infinitas veces derivable en I, intervalo abierto, y sea a I. La serie

Fijemonos en que la serie de Taylor es una serie de potencias, por tanto se

Fijemonos en que al menos en el punto x = a la serie representa a la

(a a)n = f (a) + f 0 (a)(a a) + = f (a) + 0 + 0 + = f (a)

Tambien vimos que se tena el siguiente resultado

La serie de Taylor de f en a representa a f en x0 si y solo si lim Rn (x0 ) = 0

Si | f n) (x) | M , M R, n, x I. Entonces la serie de Taylor de f

Si integramos se tiene que en (1, 1)

Haciendo x = 0 determinamos que C = 0. Por la continuidad y dado que