Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.El segundo teorema del valor medio, sea x ∈ (a, b) y f (x), g(x) integrables en el intervalo y
ademas f (x) no es creciente ni decreciente en el intervalo, (no tiene puntos de cambio), entonces
Z b Z e Z b Z b Z b
f (x)g(x)dx = f (a) g(x)dx + f (b) g(x)dx = f (a) g(x)dx + [f (b) − f (a)] g(x)dx
a a e a e
f (a) = f (a + 0) = lim f (a + e)
e→0
f (b) = f (b − 0) = lim f (b − e)
e→0
donde Z π Z π
1 1
Ar = f (a)cos(ra)da, Br = f (a)sin(ra)da
π −π π −π
Entonces Z π n
1 1 X
S2n+1 = f (a)[ + cos(r(x − a))]da
π −π 2 r=1
π
sin[(2n + 1) a−x
2 ]
Z
1
= f (a) a−x da
π −π 2sin( 2 )
a−x
con el cambio u = 2 , tenemos (3.1)
Z π−x Z π+x
1 2 sin((2n + 1)a) 1 2 sin((2n + 1)a)
S2n+1 = f (x + 2a) da + f (x − 2a) da
π 0 sin(a) π 0 sin(a)
Esta por verse que salvo en los puntos de discontinuidad, la diferencia entre S2n+1 y 12 (f (x +
0) − f (x − 0)) puede ser tan pequena como querramos salvo en x = + − π. En otras palabras la
convergencia de la serie esta por verse como uniforme.
Rb
3. Consideremos a s(x)sin(mx)dx con m ∈ Q y s(x) con las mismas restricciones que f (x).
Sea a1 , · · ·, ap los puntos de discontinuidad de s(x) y sea G la cota superior de s(x). Dividamos
el intervalo (a, b) en p+1 intervalos, tales que (a, a1 ), · · ·, (ap , b) y tomemos el intervalo (ar , ar+1 ),
por el teorema 1 tenemos
1
Z ar+1 Z e Z ar+1
s(x)sin(mx)dx = s(ar ) sin(mx)dx + s(ar+1 ) sin(mx)dx
ar ar e
Z π−x Z π−x
2 sin(ma) 2 sin(ma)
f (x + 2a) da = ϕ(x, a) da
0 sin(a) 0 a
π−x
Z δ Z
sin(ma) 2 sin(ma)
= ϕ(x, a) da + ϕ(x, a) da
0 a δ a
Por 4, aplicamos en la primera integral y sabemos que
Z π−x ′
2 sin(ma) G
ϕ(x, a0) da <
δ a mδ
′
con G la cota superior de ϕ(x, a).
Ahora en la primera integral, y escogiendo δ de tal forma que ϕ(x, a) no tenga puntos de cambio,
podemos aplicar el teorema 1, y tenemos que
Z δ Z δ Z δ
sin(ma) sin(ma) sin(ma)
ϕ(x, a) da = ϕ(x, 0) da + [ϕ(x, δ) − δ(x, 0)] da
0 a 0 a e a
Por tanto,
Z δ Z mδ Z mδ
sin(ma) sin(ma) sin(ma)
ϕ(x, a) da = f (x + 0) da + [ϕ(x, δ) − ϕ(x, 0)] ds(8)
0 a 0 a me a
con e ∈ (0, δ). Por tanto, podemos tomar un δ pequeno y finito tal que ϕ(x, δ) − ϕ(x, 0) sea
menor a un ϵ arbitrario. Mientras que
2
Z mδ Z ∞
sin(ms) sin(ms) π
ds ≯ ds ≯
me s 0 s 2
Entonces por 5, podemos acotar 8 de la siguiente manera, (9)
Z δ
sin(ma) π 2 πe π 2G πe
ϕ(x, a) da < f (x + 0)( + )+ < f (x + 0) + +
0 a 2 mδ 2 2 mδ 2
(10)
′′
π G πe
< f (x + 0) + +
2 (2n + 1)δ 2
πe ϵ
Entonces, supongamos un ϵ dado, podemos escoger un e tal que 2 < 2 ; escogemos un δ que
′′
G ϵ
satisfaga este valor de e ; n es lo suficientemente grande para que (2n+1)δ < 2 . entonces tenemos
que 10 queda expresado como
Z π−x
2 sin((2n + 1)a) π
f (x + 2a) da < f (x + 0) + ϵ
0 sin(a) 2
.
Similarmente esto se aplica a la segunda integral de (3.1) por lo que podemos ver que
Z π+x
2 sin((2n + 1)a) π
f (x − 2a) da < f (x − 0) + ϵ
0 sin(a) 2
Por tanto,
1 2ϵ
S2n+1 < (f (x + 0) + f (x − 0)) +
2 π
y por tanto podemos ver que lim S2n+1 = 12 [f (x + 0) + f (x − 0)] y por tanto la convergencia
n→∞
es uniforme.