UNADM

LICENCIATURA EN MATEMTICAS
Anlisis matemtico II
Aproximacin de funciones continas.
Evidencia de aprendizaje:
Aproximacin de funciones continuas

Alumno: Claudio Ramn Rodrguez Mondragn.

Matrcula: AL13503064

Evidencia de aprendizaje. Aproximacin de funciones continuas

Instrucciones: resuelve correctamente lo que se solicita en cada ejercicio.

1. Prueba que, si

a1 an

,y

an

converge, entonces

lim n an=0

Tenemos que tratar y analizar a sucesiones y a series:

Para:
a1 an ,
Notamos que los elementos de la sucesin:
a1 , a2 , a3 , , a n
Y como estn ordenados:
an an+ 1 n N
Con lo que deducimos que la citada es una sucesin montona decreciente, una sucesin
montona decreciente es una sucesin no creciente, por eso, en su serie:

a n converge
n=1

Una sucesin montona decreciente puede tener algunos o incluso todos sus trminos iguales;
por eso, de forma equivalente, se la llama sucesin no creciente.
Y para la serie:
Son los elementos que componen a la serie:

a n=a 1+ a2+ a3 ++ an
n=1

Analizando para:
lim n an=0 n N por lotanto :n=constante .
n

Lo podemos reescribir como:

( n ) lim an=0
n

Porque:
lim n an= lim n lim an =n lim an

)(

El lmite de una constante, es la misma constante.

Entonces:

Por hiptesis, tenemos que

a1 an

Concluimos que:
an >0
Para
Si es una sucesin montona decreciente, esta est acotada superiormente por:
Y esta sucesin est acotada inferiormente por 0.
an <0
Anlogamente para
an =an +1

Inclusive, si

La sucesin est acotada tanto inferiormente como superiormente por

La sucesin al ser decreciente y acotada, esta es convergente.
Entonces para:
lim n an=n lim an
n

Tenemos que:
lim n an=n lim an=n ( 0 )=0

Puesto que

an

est acotada, es montona y es convergente.

Para sucesin montonas convergentes, corresponden al modelo:

1
an = m para m> 1
n
Ahora, para la sucesin:
1
1
1
1
an =n an=n m = 1
= m 1
m
n
n
n
n

( ) ( )( )

Entonces:
1
an = m1 para m> 0
n
Entonces, se demuestra que:
lim n an= lim

1
n

m 1

=0 para m>0

an

a1

2. Dada una sucesin de nmeros positivos

xn

, tal que

lim x n=a ,

demuestra que el

lim n x 1 x 2 x n=a .
Tomando en cuenta el teorema:

Aplicaremos el teorema de la media geomtrica, que es equivalente al criterio de la raz.

Entonces para:
y n=( x 1 ) ( x 2 )( x 3 ) ( x 4 ) ( x n1 ) ( x n )
Y sabemos que:
x n> 0 todoslos terminos son positivos:
Entonces:
y
y
lim n+1 =lim n+1
yn
n
n yn

| |

Tambin:
Entonces:
lim n |an|=lim n |x n|=lim n x n
n

Entonces:
y
( x 1 )( x2 ) ( x 3 ) ( x 4 ) ( x n1 )( x n ) ( x n+1 )
lim n +1 = lim
n y n
n
( x1 ) ( x 2 ) ( x3 ) ( x 4 ) ( x n1 ) ( x n )
Entonces:
y
lim n +1 = lim x n +1
n y n
n
Para valores muy grandes de
lim xn =lim xn +1=L

Por hiptesis del problema:

lim xn =a

los lmites convergen al mismo valor:

Entonces:
lim xn +1=a
n

Asignamos a la serie de multiplicativa:

El operador productorio o productoria, tambin conocido como multiplicatoria o simplemente
producto, es un operador matemtico que representa una multiplicacin. Entonces:
n

y n= x k
k=1

Ahora, reuniendo la informacin tenemos que:

Puesto que

x n> 0

1
n

(( ) )
n

( )

lim x 1 x 2 x n=lim ( y n ) n =lim

xk
k=1

entonces tambin

=lim ( x 1 x 2 x 3 x n ) n
n

a>0

son todos positivos.

Ahora introduciendo logaritmos:

ln lim xn =ln ( a )

Entonces, por propiedades de lmites:

lim ( ln ( x n ) ) =ln ( a )

En la parte izquierda, introducimos el concepto de lmite de media aritmtica:

n
ln ( xn )
lim
=ln ( a )
n
n k=1
Ahora, como sabemos que:
a
lim n+1 = lim n |a n|=L
n a n
n

| |

Implica que:
n

lim

( ) ( )

n k =1

xn
=lim
n n

Entonces:

k=1

1
n

x k =L

lim

n k=1

( (( ) ))

ln ( xn )
= lim ln
n
n

k=1

xk

1
n

=ln ( a )

Ahora, por la propiedad continuidad y biyectiva del logaritmo natural, entonces:

n

lim

( )

x k n =a
k=1

Lo que nos implica que:

lim n x 1 x 2 x 3 x n=a
n

3. Prueba que una serie es absolutamente convergente, si y slo si, el conjunto de todas
an
las sumas finitas formadas con los trminos
est acotado.
Si una serie el absolutamente convergente nos dice que la serie de los valores absolutos es
convergente.
Suponiendo que la serie:

an
n=1

Sea absolutamente convergente, tenemos entonces que cualquier suma finita:

S 1=a 1
S 2=a 1+ a2
S 3=a1+ a2 +a3
S 4 =a1 +a 2+ a3+ a4

S n=a1+ a2 +a3 + a4 +a 5+ +a n
Donde, cualquiera se estas, es menor de

p y mayor que q :

q< Sn < p
Ahora, con notacin se series tenemos que:

p= p n
n=1

Y tambin:

q= q n
n=1

Los nmero

pn

qn

se llaman, respectivamente, parte positiva y negativa de

Ahora, recprocamente, si las sumas finitas de trminos

an

an

forman un conjunto acotado,

entonces, en particular, las sumas parciales de las series:

n=1

n=1

p= p n y q= q n

Estn acotadas, y son convergentes, y por lo tanto:

an
n=1

Converge absolutamente.
Otro punto de vista:
Al sumar todos los trminos positivos se tiene que la suma de toda la serie es un nmero finito,
ese nmero finito tiene la parte de la suma de los trminos positivos y la parte igual al valor
absoluto de la suma de los negativos.
Luego tanto la serie de los positivos como la de los negativos son convergentes y acotadas.
Con esto tenemos que cualquier conjunto finito que tomemos tendr unos elementos positivos
y otros negativos.
La suma de los positivos est acotada por p y la de los negativos tambin por q
entonces la diferencia tambin estar acotada, estar en el intervalo:
Ahora, podemos tomar:
Sea:
an 0
Una serie es absolutamente convergente si:

|an|converge
n=1

[ q , p ]

Entonces:

a n converge
n=1

Supongamos que

n=1

n=1

|an|converge entonces a n converge

Sean el conjunto de las sumas finitas:
S 1=a 1
S 2=a 1+ a2

S n=a1+ a2 ++ an
Como las series convergen para:
{Sn }
Entonces:
lim S n=L
n

Por lo tanto:
S n converge
Adems como toda sucesin convergente est acotada, entonces el conjunto de las sumas
finitas con los trminos:
an
La sucesin

Sn

est acotado.

En otro anlisis:
Sea

{Sn }

el conjunto de las sumas finitas o parciales de la serie:

an
n=1

Donde

{Sn }

est acotada, como lo analizamos en el anterior rengln,

Como:
an 0
Las series
{Sn }
Ser montona creciente pues tendramos que todos los trminos sucesores, son mayores a
los antecesores.
S n+1 S n n N
Y como toda serie montona creciente y acotada es convergente,
{ Sn } es convergente
Por lo tanto:

a n es convergente
n=1

Como los trminos

an
Son todos positivos o cero, estos son de valor absoluto, as pues:

n=1

n=1

a n=|an|
Por lo tanto:

|an|converge
n=1

Entonces:

a n es absolutamente convergente
n=1

4. Demuestra que, si

an

es convergente y

an 0

para todo

serie:

a n xn
Es absolutamente convergente para todo

x [1, 1] , y las series:

n N , entonces la

 a n sen( nx)

a n cos (nx )
Son absolutamente convergentes para todo

xR .

Primero, analizando:

an xn
n=1

Donde:

|an x |=|a n||x n|

n

n=1

n=1

Por propiedades de valor absoluto:

Por hiptesis del problema tenemos que:

an 0

Entonces:

n=1

n=1

|an||x n|= an|x n|

Puesto que todos los

an

son positivos, por hiptesis del problema.

Analizando:

|x n| para x [ 1,1 ]
Puesto que cualquier

en ese acotamiento elevado a un exponente entero positivo

ser menor igual de 1.

Entonces:

|x n| para x [ 1,1 ]|x n|1

Al hacer la multiplicacin de los dos factores:
an|x n|1
Si hacemos una comparacin de series:

an|x n||an|

Que es lo mismo;
an|x n| an
Entonces, como sabemos por la hiptesis del problema que:

n=1

n=1

a n=|an|converge
Por lo tanto:

n=1

n=1

a n|x n|=|a n x n|converge

Por lo que podemos indicar, al aplicar el valor absoluto que:

a n x n converge absolutamente
n=1

Analizando para:

a n sen ( nx )
n=1

Sabeos que por hiptesis del problema, todos los

an

|a n|=a n 0
Entonces sabemos por la hiptesis del problema que:

n=1

n=1

a n=|an|converge
Los valores para:
sen ( nx )
En el intervalo

[ 1,1 ]

Tenemos que:
1 sen ( nx ) 1
Esto para:
n N
Y para:
x R

son positivos:

Entonces, al aplicar valor absoluto para:

|sen ( nx )|
Ahora:
0 |sen ( nx )| 1
Esto para:
n N
Y para:
x R
Aseguramos que:

|sen ( nx )| 1
Ahora adicionando el factor

an

por lo tanto:

|a n sen ( nx )|=|an||sen ( nx )|
Aplicando el valor absoluto y al saber que

an 0

esto es:

an|sen ( nx )|
Ahora, aplicamos un criterio de comparacin:
an|sen ( nx )||an|
Que es lo mismo que:
an|sen ( nx )| a n
Sabemos que:
an|sen ( nx )||an|
Y con lo que hacemos la operacin correspondiente:
a
|sen ( nx )| n
an
Resolviendo: Por lo tanto:
|sen ( nx )| 1
Y sabiendo que:

n=1

n=1

a n=|an|converge
Entonces:

|an||sen ( nx )|converge
n=1

Y si aplicamos los valores absolutos:

a n sen ( nx ) converge absolutamente

n=1

De manera anloga:
Analizando para:

a n cos ( nx )
n=1

Sabeos que por hiptesis del problema, todos los

an

|a n|=a n 0
Entonces sabemos por la hiptesis del problema que:

n=1

n=1

a n=|an|converge
Los valores para:
cos ( nx )
En el intervalo

[ 1,1 ]

Tenemos que:
1 cos ( nx ) 1
Esto para:
n N
Y para:
x R
Entonces, al aplicar valor absoluto para:
|cos ( nx )|
Ahora:
0 |cos ( nx )|1

son positivos:

Esto para:
n N
Y para:
x R
Aseguramos que:
|cos ( nx )| 1
Ahora adicionando el factor

an

por lo tanto:

|a n cos ( nx )|=|a n||cos ( nx )|

Aplicando el valor absoluto y al saber que

an 0

esto es:

an|cos ( nx )|
Ahora, aplicamos un criterio de comparacin:
an|cos ( nx )||a n|
Que es lo mismo que:
an|cos ( nx )| an
Sabemos que:
an|cos ( nx )||a n|
Y con lo que hacemos la operacin correspondiente:
a
|cos ( nx )| n
an
Resolviendo: Por lo tanto:
|cos ( nx )| 1
Y sabiendo que:

n=1

n=1

a n=|an|converge
Entonces:

|an||cos ( nx )|converge
n=1

Y si aplicamos los valores absolutos:

a n cos ( nx ) converge absolutamente

n=1

5. Considera la funcin

| 12|

f ( x)= x

definida en el intervalo

[0,1] .

a. Revisando la demostracin hecha en el documento de la Actividad 3, estima el

grado del polinomio de Bernstein necesario para tener una diferencia no mayor a
0.005 (i.e., de un 1%) entre la funcin f y el polinomio B n (f , x) .
Revisando el documento, se encontr la siguiente desigualdad:
n

M
2 2

Entonces:
|Bn ( f , x ) f ( x )|2
Donde

es la cota de la funcin,

Entonces, para:
1
f ( x )= x para [ 0,1 ]
2

| |

El valor mximo de la funcin es

de valor absoluto.
1
M=
2
Entonces para la diferencia:
2 <0.005
Ahora:
2 =0.005
Entonces:
=0.0025

1
2

por las propiedades de desplazamiento de las funciones

As pues, si =0.0025

entonces para una funcin uniformemente continua:

Entonces:
=
De donde:
0<|x x0|<
Entonces:
1
1
x x 0 =|xx 0|< =
2
2

)|

Por lo tanto:
=0.0025
Sustituyendo en la desigualdad:
n

M
2 2

Por lo que:
n

( 12 )
2 ( 0.0025 )2 ( 0.0025 )

Entonces:
n 16 000000
El grado de este polinomio es totalmente incalculable, pero se suele aproximar, a un grado lo
suficientemente grande, para poder observar el comportamiento del polinomio de Bernstein.
b. Usando Maple (o Mathematica), calcula el polinomio
n

B n (f , x) . con el grado

encontrado en el inciso anterior (a), y dibuja la funcin y el polinomio en una

misma grfica.
Buscando una aplicacin indicada, todas son compradas, Maple es de paga, y no hay trial, al
menos no le encontr, Para C++, no corri el script que encontr y modifiqu, en Matlab
(Octave en versin libre) las paqueteras no son compatibles, entonces, realic el desarrollo en
base al modelo de aproximacin del polinomio de Bernstein, en una Texas Instruments TINspireCAS en Ipad:

El desarrollo del polinomio de grado 20, ya no entra en la pantalla de la Ipad, pero es:
20

19

18

17

16

15

14

13

12

4682 x +48620 x 217360 x +570570 x 969969 x +1108536 x 852720 x + 426360 x 125970 x +167

El desarrollo del polinomio de grado 25, ya no entra en la pantalla de la Ipad, pero es:

58786 x 20 +705432 x 233863080 x22 +1274816 x 2128180152 x 20+ 43835792 x 1948992944 x18 +39369330 x 17 22

La grafica de los polinomios que se aproximan a la funcin dada en el intervalo

[ 0,1 ]

Segn aumenta el grado del polinomio, este se aproxima a la funcin, se nota como el mnimo
local, se va acercando al vrtice de la funcin valor absoluto.
Se enlista los polinomios segn el grado y segn el color que lo identifica:

Gracias.