2.

4 T EOREMA

DE

S TONE -W EIERSTRASS

54

2.4 Teorema de Stone-Weierstrass

En esta seccin estudiaremos el teorema de Weierstrass en espacios de funciones ms generales. Iniciamos con un teorema que da condiciones generales de densidad. A partir de este punto, utilizaremos una notacin especial para el mximo y el mnimo de dos nmeros. Si a , b R, entonces escribiremos a b = max {a , b} , a b = min {a , b} . Lema 2.4.1 Si a , b R, entonces 1 {a + b + |a b|} , 2 1 a b = {a + b |a b|} . 2 ab = Teorema 2.4.2 (Stone) Sea K R p un compacto. Sea F C ( K ) una familia de funciones continuas que cumple las siguientes hiptesis. a) Si f , g F , entonces f g F, f g F.

b) Si , R y x = y K , entonces existe un elemento de la familia f F tal que f (x ) = y f ( y ) = . EntoncesF es un conjunto denso en C ( K ). Demostracin Sea C ( K ), y > 0. Tenemos que demostrar que existe h F tal que h < . Sabemos que para cada par de puntos x = y K existe gx y F tal que gx y (x ) = (x ), gx y ( y ) = ( y ).

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

55

Para cada x = y K , denimos A x y = z K : (z ) gx y (z ) < . Observemos que A x y = ( gx y )1 (, ) y que (, ) es abierto en R. Por lo tanto, para cada x = y K , A x y es abierto. Adems, por la denicin de gx y , tenemos que x , y A x y . Fijando x , entonces K
y K

Ax y

y por lo tanto A x y : y K es una cubierta abierta de K . Escogemos una subcubierta nita. Esto es, existen y1 , y2 , . . . , yr K tales que
r

K
i =1

A x yi

Sea h x = max gx y1 , gx y2 , . . . , gx yr = gx y1 gx y2 . . . gx yr . Por hiptesis, h x F . Adems, si z K entonces z A x yl para algn punto yl . Por lo tanto, h x (z ) gx yl (z ) > (z ) . En conclusin, para todo x K , existe una funcin h x tal que a) (z K ) : (z ) h x (z ) < , b) h x (x ) = (x ). Ahora denimos Bx = {z K : h x (z ) (z ) < }. Vemos que x Bx y Bx = (h x )1 (, ). Por lo tanto, { Bx : x K } es una cubierta abierta de K . Esto implica que existen x1 , x2 , . . . , xs tales que K
j =1 s

Bx j

Sea h = min h x1 , h x2 , . . . , h xs = h x1 h x2 . . . h xs . Por hiptesis h F . Adems, si z K entonces existe l tal que z Bxl y h (z ) (z ) h xl (z ) (z ) < .

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

56

Sabemos que para todo x K , (z ) h x (z ) < , y esto implica que, para todos los ndices j = 1, . . . , s se tiene que h x j (z ) > (z ) . Por lo tanto, h (z ) = min h x1 (z ), h x2 (z ), . . . , h xs (z ) > (z ) . Concluimos que < h (z ) (z ) < . Por ende, para todo z K , |h (z ) (z )| < , lo cual implica que h < . Esto demuestra que F es denso en C ( K ). Denicin 2.4.3 Sea X un espacio mtrico. Un subconjunto A C ( X ), se dice que A es un sublgebra si a) A es un subespacio vectorial. b) f , g A entonces f g A. Ejemplo 2.4.4 A = C ( X ) C ( X ) es sublgebra. Ejemplo 2.4.5 Sea x0 X y A = { f C ( X ) | f (x0 ) = 0}. Entonces A es un sublgebra de C ( X ). Denicin 2.4.6 Sea X un espacio mtrico. Sea F C ( X ) una familia de funciones continuas. Decimos que F separa puntos si para todo x = y X , existe f F tal que f (x ) = f ( y ).

E JERCICIOS

2.23 Demostrar el lema 2.4.1. 2.24 Una funcin continua f : [a, b] R es lineal por pedazos si existe una particin
del intervalo a = a0 < a1 < a2 < an = b , tal que f es lineal en cada subintervalo [ak 1 , ak ]. Esto es, existen nmeros k , k R tales que si x [ak 1 , ak ], entonces f (x ) = k x + k . Sea en C [a , b]. C [a , b] el conjunto de es denso funciones lineales por pedazos denidas en el intervalo [a , b]. Demostrar que

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

57

2.25 Sea {x0, x1, . . . , xn } X y denamos

A = { f C ( X ) | f ( x 0 ) = f ( x 1 ) = . . . = f ( x n ) = 0} . Demostrar que A es un sublgebra de C ( X ).

2.26 Sea X R p . Demostrar que los polinomios en X forman un sublgebra. 2.27 Sean x0 = x1 X y F = { f C ( X ) | f (x0) = 0 = f (x1)}. Demostrar que F
es un sublgebra que no separa puntos.

2.28 Sean f , g C [a, b]. Sea fn la sucesin dada por f0 = f , fn+1 = fn g, donde
0 < < 1. Demostrar que f n converge y encontrar el lmite.

Teorema 2.4.7 (Stone-Weierstrass) Sea K R p un compacto. Sea A C ( K ) un sublgebra tal que a) 1 A. b) A separa puntos. Entonces A es denso en C ( K ). Esto es, cualquier funcin continua en K puede ser aproximada uniformemente por funciones en A. Demostracin Sea B = { f C ( K ) : ( > 0) (g A) : f g < }. Claramente, A es un subconjunto denso de B y B C ( K ). En virtud del ejercicio 1.12, basta demostrar que B es denso en C ( K ). Demostraremos primero que B es sublgebra de C ( K ). Sean p , q B y > 0. Por denicin de B, existen a1 , a2 A tales que p a1 < , 2 q a2 < . 2

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

58

Por lo tanto, ( p + q ) (a1 + a2 ) p a1 + q a2 < + = 2 2

y a1 + a2 A. As concluimos que p + q B. Sean R y q B. Sea > 0. Si = 0 entonces q = 0 A B. Por otro lado, si = 0, entonces existe g A, tal que qg < . | |

Por lo tanto, g A y q g < , lo que implica que q B. Finalmente, sabemos que f g= 1 ( f + g )2 ( f g )2 . 4

Por lo tanto, para demostrar la condicin del producto basta vericar que para todo h B, se cumple h h = h 2 B. Sean h B y > 0. Sea < min 1, f h < . Por lo tanto 2 h +1 . Por hiptesis, existe f A tal que

h 2 f 2 = (h f )(h + f ) h f h+ f = h f h+hh+ f

h f (2 h + f h ) h f (2 h + 1) < . Se concluye de este modo que B es un sublgebra de C ( K ). Para terminar la demostracin vamos a demostrar que B cumple con las hiptesis del teorema de Stone 2.4.2, que enunciamos a continuacin. a) f , g B f g B, f g B.

b) Si , R y x = y K , entonces existe un elemento de la familia f B tal que f (x ) = y f ( y ) = .

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

59

Demostraremos primero la parte b). Sean x = y K y , R. Sabemos que existe h A tal que h (x ) = h ( y ). Consideremos el sistema algebraico uh (x ) + v 1 = , uh ( y ) + v 1 = . Ya que h (x ) h ( y ) = 0, el sistema tiene solucin para cualquier , . Sea f = uh + v 1. La funcin f satisface f A B, f (x ) = y f ( y ) = . Esto demuestra la parte b) de las hiptesis del teorema de Stone. Para la parte a), basta demostrar la siguiente implicacin, en virtud del lema 2.4.1 y del hecho que B es un sublgebra de C ( K ), f B | f | B. Sean > 0, f B y M = f > 0. Por el lema 2.1.8, existe un polinomio p (t ) | p (t ) |t || < . 2 La funcin f satisface, para todo x K , | f (x )| M , es decir, f (x ) [ M , M ] . Por lo tanto, para cada x K se tiene | p ( f (x )) | f (x )|| < donde p (t ) es un polinomio de la forma p (t ) = 0 + 1 t + 2 t 2 + + m t m y por lo tanto p f = 0 + 1 f + 2 ( f )2 + + m ( f )m . Sabemos que B es un sublgebra de C ( K ), por lo tanto p f B. 2

P [ M , M ] tal que, para todo t [ M , M ],

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

60

Por denicin, existe una funcin g A, tal que |g (x ) ( p f )(x )| < para todo x K . Esto implica |g (x ) | f (x )|| |g (x ) ( p f )(x )| + |( p f )(x ) | f (x )|| < En conclusin, | f | B. Por lo tanto, B es denso en C ( K ) y, dado que A es denso en B, se concluye que A es denso en C ( K ). Corolario 2.4.8 Sea K Rn un conjunto compacto. Entonces las funciones polinomiales con dominio en K y codominio en Rm forman un subconjunto denso de C ( K , Rm ). (Sugerencia: usar el teorema de Stone-Weierstrass 2.4.7 para demostrar primero el caso m = 1.) Existe un segundo resultado llamado teorema de Weierstrass para funciones peridicas. Para enunciarlo primero necesitamos una denicin. Denicin 2.4.9 Sea [a , b] un intervalo. El espacio de funciones continuas peridicas en [a , b] es el conjunto PC [a , b] = { f C [a , b] : f (a ) = f (b)} Se puede ver que este conjunto es un subespacio de C [a , b] y que es cerrado bajo la norma uniforme. Tenemos el siguiente teorema, resultado que se probar en el ejercicio 2.33. Teorema 2.4.10 (Weierstrass) El conjunto de funciones de la forma x a0 + a1 cos x + b1 sin x + + an cos nx + bn sin nx es denso en PC [, ]. 2

2.4 T EOREMA

DE

S TONE -W EIERSTRASS

61

E JERCICIOS

2.29 Demostrar el corolario 2.4.8. 2.30 Sea {x0, . . . , xn } [a, b] y

A = p P [a , b] : p (x0 ) = p (xn ) = 0 Demostrar que A es denso en C [a , b].

2.31 Sea C [0, 1]. Demostrar que cada f C [0, 1] puede ser aproximado por un
polinomio en si y slo si es una funcin inyectiva.

2.32 Sean K Rs y J Rt dos conjuntos compactos. Para cada nmero natural n,

denimos
n

An =
k =1

u k vk | (k = 1, . . . , n ) : u k C ( K ), vk C ( J ) .

Demostrar a) An C ( K J ). b) Si n < m entonces An Am .

c) Si denimos A =
n =1

An entonces A es un sublgebra de C ( K J ).

d) A es denso en C ( K J ).

2.33 Sea S1 =

(x , y ) R2 : x 2 + y 2 = 1 , el crculo unitario. Se dene una familia

de polinomios con dominio en S 1 , usando las siguientes frmulas recursivas P0 (x , y ) = 1, Q 0 ( x , y ) = 0,

Pn +1 (x , y ) = x Pn (x , y ) y Q n (x , y ), Q n +1 (x , y ) = y Pn (x , y ) + x Q n (x , y ). Sea el conjunto de combinaciones lineales de estos polinomios.

2.5 T EOREMA

DE

KOROVKIN

62

a) Calcular P1 , Q 1 , P2 y Q 2 . b) Demostrar que es un sublgebra de C ( S 1 ). (Sugerencia: demostrar y usar el hecho

de que Pn (cos t , sin t ) = cos nt y Q n (cos t , sin t ) = sin nt .) c) Demostrar que el conjunto es denso en C ( S 1 ).

d) Usando los incisos anteriores, demostrar el teorema 2.4.10.

2.5 Teorema de Korovkin

Una manera alternativa de demostrar varios teorema de aproximacin est basada en el teorema de Korovkin. En esta seccin damos una pequea introduccin a este poderoso resultado. Todas las demostraciones se dejan como ejercicio. Denicin 2.5.1 Se dice que una funcin f C ( X ) es positiva si para todo x X se cumple f (x ) 0. En tal caso escribiremos f 0. Se dice que un operador lineal L : C ( X ) C ( X ) es positivo si se cumple lo siguiente: f 0 L ( f ) 0.

E JERCICIO

2.34 Demostrar que si L es positivo y f , g C ( X ) son dos funciones tales que, para
todo x X se cumple | f (x )| g (x ), entonces | L ( f )(x )| L (g )(x ).

Sea X un conjunto compacto. Sea f C ( X ). La diagonal de f se dene como el conjunto ( f ) = {(x , t ) X X : f (x ) = f (t )} .

2.5 T EOREMA

DE

KOROVKIN

63

Sea g C ( X X ) positiva. Dado t X escribiremos g (x , t ) = gt (x ). Por lo tanto, dado un operador lineal L : C ( X ) C ( X ), la funcin L (gt ) corresponder a aplicar el operador slo en la primera variable, manteniendo jo a t . Esta notacin se utilizar en el siguiente resultado. Lema 2.5.2 Sea f C ( X ) y g C ( X X ) positiva. Sea L 0 , L 1 . . . una sucesin de operadores positivos. Suponer lo siguiente: a) Z (g )
u

( f ).

b) L n (1) 1 c) L n (gt )(t ) 0 (la convergencia es uniforme, independiente de t )

u

Entonces L n ( f ) f .
u

En base al lema anterior podemos demostrar los siguientes teoremas. Teorema 2.5.3 (Korovkin) Sea I un intervalo compacto de R. Sean pk (x ) = x k . Suponer que ( L n ) es una sucesin de operadores positivos en C ( I ) tales que L n ( pk ) pk
u

para k = 0, 1, 2. Demostrar que L n ( f ) f para toda f C ( I )

u

Teorema 2.5.4 (Korovkin para funciones peridicas) Sean I = [, ] y PC ( I ) = { f C ( I ) : f ( ) = f ( )} . Suponer que ( L n ) es una sucesin de operadores positivos en C ( I ) tales que L n ( p ) p
u

para p = 1, cos, sin. Entonces L n ( f ) f para toda f PC ( I )

u

2.5 T EOREMA

DE

KOROVKIN

64

E JERCICIOS

2.35 Demostrar el lema 2.5.2.

(x t )2 en el lema 2.5.2.)

(Sugerencia: usar el resultado del ejercicio 1.43 con

K = X X , (x , t ) = | f (x ) f (t )| y (x , t ) = g (x , t ).)

2.36 Demostrar el teorema de Korovkin 2.5.3. (Sugerencia:

usar g (x , t ) = 1 cos(x t ) en el lema 2.5.2.)

usar la funcin g (x , t ) =

2.37 Demostrar el teorema de Korovkin para funciones peridicas 2.5.4. (Sugerencia: 2.38 Demostrar que los operadores de Bernstein Bn satisfacen las hiptesis del teorema
de Korovkin y por lo tanto Bn ( f ) f para toda f C [0, 1].
u

2.39 Sea [a, b] un intervalo de nmero reales tal que [a, b] (c, d ). Es cierto que,
para toda f C [a , b] la siguiente sucesin de funciones converge uniformemente a f ? n f n (x ) =
d c

1 + n 2 (s

f (s ) ds x )2

(Sugerencia: usar el teorema de Korovkin.)

2.40 Sean f C [a, b] y [a, b]. Demostrar que la siguiente sucesin de funciones
continuas converge uniformemente a f . fn (x ) =
0 1

ns n f ((1 s ) + sx )ds .

(Sugerencia: usar nuestra versin del teorema de Korovkin con (x , t ) = (x t )2 o (x , t ) = | x t |.)

2.41 Sea f
r 1

PC [, ] una funcin peridica. Demostrar que la siguiente funcin

satisface lim u (r, ) = f ( ) u (r, ) = 1 2

1 r 2 f (s ) ds 1 2r cos ( s ) + r 2

2.6 T EOREMA

DE

A RZEL -A SCOLI

65

y que la convergencia es uniforme en . (Sugerencia: Demostrar que lim u (r, ) = f ( ) uniformemente en si y slo si para toda sucesin que satisfaga rn 1 se tiene u (rn , ) f . Usar el teorema de Korovkin para funciones peridicas o directamente g (x , t ) = 1 cos(x t ) en el lema 2.5.2.)
u r 1

2.6 Teorema de Arzel-Ascoli

Queremos estudiar a los conjuntos compactos del espacio de funciones C ( X ), o tambin de C ( X , Rn ). En general, podemos caracterizar a los conjuntos compactos en espacios mtricos usando la compacidad por sucesiones (cf. teorema 1.3.3). En el ejercicio 1.24 se pide demostrar que C ( X , Rm ) es de Banach. Proposicin 2.6.1 Si K C ( X , Rm ) es un conjunto compacto, entonces K es cerrado y acotado. Demostracin Primero demostraremos que K es acotado. Necesitamos demostrar que existe un nmero M > 0 tal que para todo f K , se tiene que acotado. Entonces (n > 0) ( f n K ) : f n > n . De este modo, podemos construir una sucesin en K tal que f n . Cualquier subsucesin f n k tambin satisfara tonces existira f K tal que f n k f fnk f Por lo tanto fnk f 0. Pero fnk f 0 fnk . Si f n k convergiera, enf M . Supongamos que K no es

< , lo cual es una contradiccin. Concluimos que en K ,

existe una sucesin que no tiene subsucesiones convergentes, y por la caracterizacin de compacidad por sucesiones (teorema 1.3.3), K no sera compacto.

2.6 T EOREMA

DE

A RZEL -A SCOLI

66

Para demostrar la cerradura, tomemos f n una sucesin convergente en K , que converge a f C ( X , Rm ), es decir, f n f 0. Nuevamente, por la compacidad por subsucesiones, existe una subsucesin convergente en K , es decir, g K y f n k tal que f n k g 0. Sabemos que si { f n } converge y una subsucesin converge, entonces cualquier subsucesin converge al mismo lmite. Por lo que se tiene que g = f K . Y con eso queda demostrado que K es un conjunto cerrado. Notemos que la proposicin anterior es un caso particular de la proposicin 1.3.4. Nos interesa ahora caracterizar a los subconjuntos compactos de C ( X , Rm ), en donde X es un compacto de Rn . Ya se vio que, necesariamente, si K C ( X , Rm ) es compacto entonces es cerrado y acotado. Nos preguntamos si estas son tambin condiciones sucientes. En general, estas dos condiciones nos son sucientes. Afortunadamente, existen caracterizaciones basadas en propiedades que no son muy difciles de vericar. Denicin 2.6.2 Sea X compacto de Rn . Una familia F C ( X , Rm ) es equicontinua si para todo > 0, existe () > 0 tal que para toda f F se cumple x y n < () f (x ) f ( y ) m < . El ejemplo acaso ms simple es el siguiente. Ejemplo 2.6.3 Sea F = { f 1 , . . . , fr } C ( X ) un conjunto nito. Entonces F es una familia equicontinua. Solucin Sea > 0. Por ser { f 1 , . . . , fr } uniformemente continuas sabemos que existen escalares 1 (), 2 (), . . . , r () tales que x y n < k () f k (x ) f k ( y ) m < , para todo k = 1, 2, . . . , r . Basta escoger = min {1 , 2, . . . , r }.

2.6 T EOREMA

DE

A RZEL -A SCOLI

67

Teorema 2.6.4 (Arzel-Ascoli) Sea X un compacto de R p , y sea F C ( X , Rm ) una familia de funciones continuas. Entonces, las siguientes propiedades son equivalentes. a) F es una familia acotada y equicontinua. b) Toda sucesin en F tiene una subsucesin convergente. Demostracin Primero demostraremos b) a). Supongamos que F es una familia tal que toda sucesin en F tiene una subsucesin convergente. Demostraremos primero que F es una familia acotada. Supongamos que F no es acotada. Entonces existe una sucesin {gn } en F tal que gn . Si gn k convergiera a g C ( X , Rm ) entonces gn k g . Esto es una contradiccin pues g < . Por lo tanto, si F no es acotada, existen sucesiones sin subsucesiones convergentes. Ahora demostraremos que F es equicontinua. Supongamos que la familia F no es equicontinua. Entonces existe 0 > 0, una sucesin en f n F , y sucesiones { xn } , { yn } en X , tal que f n (xn ) f n ( yn ) m > 0 , 1 xn yn p < . n Esto implica que no hay subsucesin convergente en F . En efecto, supongamos que f n k convergiera a f , es decir, fnk f 0.

Sea > 0. Existe N tal que si n N y x X entonces f n k ( x ) f ( x ) m < Adems, f es uniformemente continua. Entonces existe = () > 0 tal que x y p < f (x ) f ( y ) m < .

2.6 T EOREMA

DE

A RZEL -A SCOLI

68

Tomemos k0 sucientemente grande de tal modo que 1/ n k0 < y k0 N . Entonces f n k (xn k ) f n k ( yn k ) m f n k (xn k ) f (xn k ) m + f (xn k ) f ( yn k ) m + f n k ( yn k ) f ( yn k ) m Concluimos 0 < 0 < f n k (xn k ) f n k ( yn k ) < + + = 3. Y esto es una contradiccin, pues fue arbitrario. Por lo tanto F es equicontinua. Queda por demostrar a) b). Dado que X es cerrado, existe un subconjunto de X que es denso y numerable (cf. teorema 1.2.16). Sea { x1 , x2 , . . .} ese conjunto. Sea { f n } una sucesin de funciones de F . La sucesin es acotada, es decir, existe M tal que (x X ) (n N) : f n (x ) m M . En particular, { f n (x1 )} es una sucesin de elementos de Rm que est acotada. Entonces, por el teorema de Bolzano 1.3.13, existe una subsucesin convergente
1 ( x ) , donde fn 1 1 es la subsucesin de funciones correspondientes. Del mismo modo, f 1 ( x ) es una fn n 2

sucesin de puntos de Rm que est acotada. Existe una subsucesin convergente, digamos
2 ( x ) donde la sucesin de funciones correspondiente es f 2 . Esta sucesin converge fn 2 n

en { x1 , x2 }. Hagamos esto un nmero innito de veces y sean f n1

2 fn 3 fn

k conlas subsucesiones de funciones escogidas. Es claro que para cada k la sucesin f n

verge en los puntos { x1 , x2 , . . . , xk }. Denamos gn = f nn . Demostraremos que {gn } es una sucesin de Cauchy. Primero se ver que {gn } converge en el denso numerable. Si xl es un elemento de
l , y por lo tanto converge en { x1 , x2 , . . .}, entonces {gl , gl +1, . . .} es una subsucesin de f n

el punto xl . Sea > 0. Por ser F una familia equicontinua, existe () tal que para todo x , y X y, para todo n , se cumple x y < () gn (x ) gn ( y ) < 3

2.6 T EOREMA

DE

A RZEL -A SCOLI

69

para todo n . Por ser X un conjunto compacto, existe un nmero nito de elementos del denso {z 1 , z 2, . . . .zr } { x1 , x2 , . . .} , tales que, para todo x X , existe algn z j tal que x z j < . Es decir, el conjunto de bolas { B (z 1 ), . . . , B (zr )} cubren al compacto. Cada sucesin {gn (z 1 )} , {gn (z 2 )} , . . . , {gn (zr )} es de Cauchy. Por lo tanto existen N1 , N2 , . . . , Nr tales que m , n N 1 gn ( z 1 ) gm ( z 1 ) < , 3 m , n N 2 gn ( z 2 ) gm ( z 2 ) < , 3 . . . m , n Nr gn (zr ) gm (zr ) < . 3

= max { N1 , N2 , . . . , Nr }. Denimos N Sea x0 X . Existe algn z i tal que x0 z i entonces se tiene gn ( x 0 ) gm ( x 0 ) gn ( x 0 ) gn ( z i ) + gn ( z i ) gm ( z i ) + gm ( z i ) gm ( x 0 ) < + + = . 3 3 3 Como x0 X es arbitrario, entonces gn gm C ( X ,m ) < . Por lo tanto, la sucesin {gn } es de Cauchy y converge. Corolario 2.6.5 Sea X un subconjunto compacto de R p . Entonces un conjunto de funciones F C ( X , Rm ) es compacto si y slo si es cerrado, acotado y equicontinuo. Ejemplo 2.6.6 Sean fn (x ) = x n f n (x ) : [0, 1] R Entonces F = { f n : n = 1, 2, 3, . . .} no es compacto. , < . Esto implica que, si n , m N

2.6 T EOREMA

DE

A RZEL -A SCOLI

70

Solucin La norma de cada elemento f n de la familia es acotado. Quisiramos estimar la siguiente norma f n f m = max x n x m : 0 x 1 Supongamos m > n , entonces x n x m = x n x m 0. El mximo satisface nx n 1 mx m 1 = 0 n = x m n m 1 n (m n) x= m Adems, este mximo satisface 0< y la distancia es, por lo tanto, f n fm = x n x m = n x (1 x )= m Si tomamos el lmite m , obtenemos lim
n m n
1 (m n )

fn

C [0,1]

= 1. Por lo tanto F es

n m

1 (m n )

< 1,

fn fm

n (2.5) m = 1. Ahora, supongamos que

existiera una subsucesin convergente gk = f n k Si k < m entonces gk gm = como uno quiera, tales que 1 2 Como m es arbitrario, gn no puede ser de Cauchy, y esto es una contradiccin. Por lo tanto, gk gm > el conjunto { f n } no es compacto. f n k f n m . Por (2.5) existen nmeros m tan grandes

2.6 T EOREMA

DE

A RZEL -A SCOLI

71

E JERCICIOS

2.42 Sea F = { fn C [a, b] : n = 0, 1, . . .} una sucesin de funciones que converge

uniformemente a f C [a , b]. Demostrar lo siguiente. a) F es una familia acotada. b) F es una familia equicontinua. c) F { f } es un conjunto compacto en C [a , b].

2.43 Sea F una familia de funciones equicontinuas de C [a, b]. Sea h 0 C [a, b] y
G = { f + h0 : f F } . Demostrar que G es una familia equicontinua.

2.44 Sea fn : R R diferenciable para cada n = 1, 2, . . . con

n y x . Suponer que se cumple
n

f n (x ) 1 para todas

lim f n (x ) = g (x )

para toda x . Demostrar que g : R R es continua.

2.45 Sea X un conjunto compacto de R p . Sea F C ( X ) una familia equicontinua y

acotada. Demostrar que ambas f (x ) = sup{ f (x ) : f F } y f (x ) = inf{ f (x ) : f F } son funciones continuas en X .

2.46 Sea { fn } una sucesin de funciones reales de clase C 1 en [0, 1] tal que, para toda
n , y para todo 0 < x 1 se tiene que fn (x ) x 2 ,
1

2.6 T EOREMA

DE

A RZEL -A SCOLI f n (0) = 0.

72

Demostrar que esta sucesin tiene una subsucesin que converge en C [0, 1].

2.47 Sea K una funcin real continua en [0, 1] [0, 1]. Sea F la familia de funciones
f de la forma f (x ) =
0 1

g ( y ) K (x , y )dy

con g una funcin real continua en [0, 1] que satisface |g ( y )| 1 en todas partes. Demostrar que la familia F es equicontinua.

2.48 Sean , > 0. Sea K C 1[a, b] C [a, b] el conjunto

K = f C 1 [a , b] : f
C [a , b ]

,
a

| f (t )| dt .

a) Es K un conjunto acotado en C [a , b] ? b) Es K un conjunto equicontinuo en C [a , b] ?

2.49 Sea { fn } una sucesin de funciones de clase C 1 tal que ambas sucesiones { fn } y
{ f n } convergen en C [a , b]. Es decir, existen funciones f , g C [a , b] tales que fn f 0 y f n g 0. Sea h (x ) = f (a ) +
a x

g (t ) dt .

a) Demostrar que f = h . b) Demostrar que f es de clase C 1 y f = g .

2.50 Sea C 1[a, b] el conjunto de funciones de clase C 1 en [a, b]. Por denicin, es
claro que f C [a , b].

2.6 T EOREMA

DE

A RZEL -A SCOLI

73

a) Demostrar que la siguiente es un norma en C 1 [a , b]. f

C 1 [a , b ]

= f

C [a , b ]

+ f

C [a , b ]

b) Demostrar que, bajo esta norma, C 1 [a , b] es un espacio de Banach. c) Cules subconjuntos de C 1 [a , b] son compactos?

2.51 Sea (cn ) una sucesin de nmeros reales distintos de cero. Sea la gn una sucesin
de C [a , b] dada por 1 sin cn x + cos(x + cn ). cn Demostrar que sucesin anterior contiene una subsucesin convergente. gn ( x ) =

2.52 Sea una funcin positiva y continua en [a, b). Suponer que el siguiente lmite
existe
x b a x

lim

(x ) d x .

Sea { f n } una sucesin de funciones en C [a , b] tal que para toda n y para todo a x < b se tiene que | f n (x )| (x ). Demostrar que la siguiente sucesin tiene una subsucesin convergente. gn ( x ) =
a x

f n (t ) dt .

2.7 P OLINOMIOS

DE

T CHEBYCHEV

74

2.7 Polinomios de Tchebychev

Denicin 2.7.1 Sea X un espacio vectorial. Se dice que X es de dimensin innita si existe un nmero innito de elementos de X linealmente independientes. Ejemplo 2.7.2 El espacio C [a , b] es de dimensin innita. Es decir, existen { f k } k =1 tales que para cualquier combinacin lineal 1 f k1 + 2 f k2 + + r f kr = 0 entonces 1 = 2 = = r = 0. Por ejemplo, f k (x ) = x k . Denicin 2.7.3 Sea X un espacio de Banach. Un subespacio Y X es de dimensin nita si existen elementos {w1 , w2 , . . . , wm } Y tales que cualquier elemento de Y puede ser escrito como: w = 1 w1 + 2 w2 + + m wm Teorema 2.7.4 (Aproximacin nita) Sea X un espacio normado. Sea Y un subespacio de X de dimensin nita. Entonces, dado x0 X , existe y Y tal que x0 y x0 y , para todo y Y . Se dir que y es un punto de Y que minimiza la distancia al punto x0 . Demostracin Sea x0 X y sea M = x0 . Sabemos que 0 X Y , por lo que la mejor aproximacin debe satisfacer x0 y x0 0 X = M . Adems y y x0 + x0 2 M . Sean w1 , w2 , . . . , wm vectores que generan a Y , es decir, ( y Y ) (1 , 2 , . . . , m ) : y = 1 w1 + 2 w2 + + m wm .

2.7 P OLINOMIOS

DE

T CHEBYCHEV

75

Sin prdida de generalidad, se puede suponer que estos vectores son linealmente independientes. Vamos a denir dos funciones continuas f , g : Rm R, dadas por f (1 , . . . , m ) = x0 (1 w1 + 2 w2 + + m wm ) , g (1 , . . . , m ) = 1 w1 + 2 w2 + + m wm . Sea K = {(1 , . . . , m ) Rm : g (1 , . . . , m ) 2 M }. Si y fuera el punto que buscamos, entonces
y = 1 w1 + 2 w2 + + m wm . y por lo tanto, ( 1 , . . . , m ) sera un mnimo global para f . Adems 2M, g ( 1 , . . . , m ) = y por lo que ( 1 , . . . , m ) K . Es decir, todos los mnimos globales de la funcin f estn

en el conjunto K . Demostraremos que K Rm es compacto. Claramente K = g 1 (, 2 M ] es un conjunto cerrado en Rm . Sea F = (1 , . . . , m ) Rm :

m j =1

j = 1 .

Dado que F es compacto, para todo (1 , . . . , m ) F se cumple g (1 , . . . , m ) = min {g (1 , . . . , m ) : (1 , . . . , m ) F } 0. 1, . . . , m ) F tal que Si suponemos que = 0, entonces existe un punto ( m ) = 0. 1, . . . , g ( Esto implica que 2 w2 + + m wm = 0, 1 w1 + y por lo tanto, 2 w2 + + m wm = 0. 1 w1 +

2.7 P OLINOMIOS

DE

T CHEBYCHEV

76

Por ser linealmente independientes, concluimos que 2 = = m = 0. 1 = m ) F , lo cual es un contradiccin. Por lo tanto, > 0. Sea 1, . . . , Tenemos que ( 0 = (1 , . . . , m ) K . Es fcil ver que 1 y esto implica,
m

(1 , . . . , m ) F ,

j =1

m j =1 m j =1

1 j 1 j

(1 , . . . , m ) =

g (1 , . . . , m ) > 0. j .

Esto implica

2 M g (1 , . . . , m ) Por lo tanto j
j =1 m

m j =1

2M < .

De aqu concluimos que K es un conjunto acotado de Rm y que la funcin f asume el mnimo en K , y por lo tanto tiene un mnimo global en Rm . Denicin 2.7.5 Se dene Pn [a , b] como el espacio de polinomios de grado menor o igual que n, con dominio en [a , b]. Corolario 2.7.6 Sea f C [a , b]. Para cada n existe p Pn [a , b] tal que f p f p para todo p Pn [a , b].

2.7 P OLINOMIOS

DE

T CHEBYCHEV

77

El resultado del corolario anterior tambin puede escribirse del siguiente modo,
a x b

max

f (x ) p (x ) max | f (x ) p (x )| ,
a x b

para todo p Pn [a , b].1 Ejemplo 2.7.7 Encontrar la mejor aproximacin lineal, en el intervalo [0, 1], de la funcin f (x ) = 1 + x 2 . Esto es, encontrar un polinomio p P1 [0, 1] tal que f p para todo p P1 [0, 1]. Solucin Sea h C [0, 1] una funcin tal que h (0) = h (1) = 0 y h (x ) > 0, para todo x (0, 1). Denimos = h entonces h p h p = 2.
C [0,1] C [0,1]

f p

C [0,1] ,

y proponemos p (x ) = 2 . Demostraremos que si p P1 [0, 1],

p (1) < 2 . Sea x 0 un punto en donde h ( x 0 ) = . Podemos escribir p (x ) = x p (1) + (1 x ) p (0)

1 El

Sea p P1 [0, 1]. Supongamos h p < 2 . Entonces p (0) < 2 . Del mismo modo

problema de encontrar la mejor aproximacin en Pn [a , b ] de una funcin continua est relacionado

con el siguiente problema. Encontrar nmeros x 0 , x 1 , . . . , x n tales que

a x b

max |(x x 0 )(x x 1 )(x x 2 ) (x x n )|

sea mnima. Esto es equivalente a encontrar un polinomio p Pn tal que (x ) tenga n + 1 races reales en [a , b ]. a) x n+1 p b) p (x ) sea la mejor aproximacin uniforme de x n+1 en [a , b ], es decir
a x b

max x n+1 p (x ) max x n+1 p (x )

a x b

para todo p Pn [a , b]. En esta seccin se intenta resolver estos problemas usando los llamados polinomios de Tchebychev.

2.7 P OLINOMIOS

DE

T CHEBYCHEV

78

y, por lo tanto, p (x0 ) = x0 p (1) + (1 x0 ) p (0) < x0 Adems |h (x0 ) p (x0 )| = | p (x0 )| > + (1 x0 ) = . 2 2 2 , 2

lo cual es una contradiccin. Por lo tanto h p 2. Sea h (x ) = 1 + x 2 2 1 x 1. Lo anterior muestra que la mejor aproximacin polinomial a h en P1 [0, 1] es h C [0,1] /2. Por lo tanto, la mejor aproximacin a 1 + x 2 h C [0,1] . en P1 [0, 1] es 21 x 1+ 2 Proposicin 2.7.8 La funcin cos n se puede escribir como un polinomio en cos , es decir, existe un polinomio de grado n, Tn (x ) tal que cos n = Tn (cos ) Estos polinomios son llamados polinomios de Tchebychev. Ejemplo 2.7.9 Calcular explcitamente el polinomio T2 . Solucin Usaremos que cos 2 = cos2 sin2 = 2 cos2 1. Por lo tanto, se cumple que T2 (x ) = 2 x 2 1. Proposicin 2.7.10 Los polinomios de Tchebychev denidos anteriormente, satisfacen las siguientes frmulas recursivas. T0 (x ) = 1, T1 (x ) = x , Tn +1 (x ) = 2 x Tn (x ) Tn 1 (x ). Corolario 2.7.11 Si n 1, entonces Tn (x ) = 2n 1 x n + qn (x )

2.7 P OLINOMIOS

DE

T CHEBYCHEV

79

donde qn Pn 1 [1, 1]. Es decir, el polinomio de Tchebychev es la suma de 2n 1 x n con trminos de grado menor a n. Proposicin 2.7.12 Para cada n 1, Tn tiene n races en el intervalo [1, 1], en los puntos xk = cos y puntos crticos en xk = cos Demostracin La demostracin consiste en clculos simples. Tn (xk ) = Tn cos 2k 1 2n (2k 1) = 0. = cos 2 2k 1 , k = 1, 2, . . . , n 2n k , k = 1, 2, . . . , n 1. n

Adems Tn (cos ) = cos n , Tn (cos ) sin = n sin n . Por lo tanto, Tn cos por lo tanto Tn k k k sin = n sin k = 0. Si 0 < k < n , entonces sin = 0, y n n n k cos = 0. n

n [1, 1] el conjunto de polinomios mnicos, entonTeorema 2.7.13 (Tchebychev) Sea P n [1, 1] se cumple la desigualdad ces para todo p P p Adems 1 2n 1 .

1 Tn = n 1 . n 1 2 2 Tn n [1, 1]. minimiza la norma en P 2n 1

Es decir,

2.7 P OLINOMIOS

DE

T CHEBYCHEV

80

Demostracin El mximo de Tn (x ) es un punto crtico o un punto frontera. Sabemos que si xk es un k , n para k = 1, . . . , n 1. Los puntos frontera corresponden a xk = cos 1 = xn = cos , 1 = x0 = cos 0. El polinomio de Tchebychev en xk es k ) = cos k = (1)k . n Concluimos que Tn en puntos frontera y en puntos crticos vale 1 1. Por lo tanto, Tn (xk ) = Tn (cos Tn = max {|Tn (x )| : x [1, 1]} = 1. n [1, 1]. Supongamos p < Sea p P q (x ) =
1 . 2n 1

punto crtico, entonces

Sea

Tn (x ) p (x ). 2n 1 Claramente q es un polinomio de grado a lo ms n 1. Observemos que (1)k p (xk ), 2n 1 donde k = 0, 1, 2, . . . , n . Si k es par, por la suposicin, se tiene que 1 q (xk ) = n 1 p (xk ) > 0. 2 Si k es impar 1 q (xk ) = n 1 p (xk ) < 0 2 Se puede concluir que, en cada intervalo xk 1 , xk , existe una raz de q (x ), para k = q (xk ) = 1, 2, . . . , n . Es decir, el polinomio q tiene n races distintas, y es de grado a lo ms n 1. Tn Por lo tanto q 0, y entonces n 1 = p y 2 Tn 1 p = n 1 = n 1 2 2 Esto es una contradiccin, por lo que debe ser p
1 . 2n 1

2.7 P OLINOMIOS

DE

T CHEBYCHEV

81

Corolario 2.7.14 Si p (x ) = a0 + a1 x + a2 x 2 + + an x n y p C [1, 1], entonces p | an | . 2n 1

Para el caso general, podemos transformar el intervalo. Sea 1 (x ) = (a + b + x (b a )) 2 Si p C [a , b] entonces p C [1, 1]. Tenemos por lo tanto, p
C [1,1]

= p

C [a , b ]

El polinomio p tiene la forma p (x ) = 0 + 1 x + 2 x 2 + + n x n , lo cual implica que (b a )n . Por lo tanto (cf. ejercicio 2.56) se cumple el coeciente principal de p es n 2n |n | (b a )n 1 p C [a,b] = p C [1,1] . 2n 2n 1 As, hemos demostrado el siguiente corolario. Corolario 2.7.15 Si p Pn [a , b] entonces p
C [a , b ]

|n | (b a )n 22n 1

donde n es el coeciente principal de p.

E JERCICIOS

2.53 Demostrar la proposicin 2.7.8. 2.54 Demostrar la proposicin 2.7.10. 2.55 Calcular min ,
x [a ,b]

max |x 2 ( x + )| .

2.56 Demostrar que el polinomio mnico de menor norma en Pn [a, b] es de la forma

(b a )n 1 Tn 2n 2n 1 2 b+a x . ba ba

2.8 I NTERPOLACIN L AGRANGIANA

82

2.57 Sea p un polinomio mnico de grado n 1. Suponer que, para todo x [a, b],
se cumple | p (x )| 2. Demostrar que b a 4.

2.58 Resolver los siguientes incisos.

a) Demostrar que cualquier polinomio p en Pn [1, 1], puede ser escrito como una combinacin lineal de los polinomios de Tchebychev de grados menores o iguales a n . b) Sea [0, ] C [0, ], el conjunto de funciones continuas de la forma x a0 + a1 cos x + a2 cos 2 x + + an cos nx . Demostrar que [0, ] es denso en C [0, ].

2.59 Sea PC [, ] el conjunto de funciones continuas

f C [, ] tales que

f ( ) = f ( ). Sea F [, ] PC [, ] el conjunto de funciones de la forma x a0 + a1 cos x + b1 sin x + + an cos nx + bn sin nx . Demostrar que F [, ] es denso en PC [, ]. (Sugerencia: Usar el teorema de StoneWeierstrass o una modicacin del ejercicio 2.58.)

2.60 Calcular la integral

1 1

Tn (x )Tm (x )

1 1 x2

d x para m , n = 0, 1, . . . (Sugeren-

cia: Usar el cambio de variable x = cos . )

2.8 Interpolacin Lagrangiana

Denicin 2.8.1 Sean (x0 , y0), (x1 , y1 ), . . . , (xn , yn ) tales que x0 < x1 < < xn . El nico polinomio de grado menor o igual a n que pasa por los puntos es llamado el polinomio interpolador de Lagrange.2
2 Ver

ejercicio 2.61.

2.8 I NTERPOLACIN L AGRANGIANA

83

Lema 2.8.2 El polinomio interpolador de Lagrange es

n

p(x ) =
j =0

y j L j (x )

en donde L j (x ) = (x x0 )(x x1 ) (x x j 1 )(x x j +1 ) (x xn ) . (x j x0 )(x j x1 ) (x j x j 1 )(x j x j +1 ) (x j xn )

Observemos que se cumple L j ( xi ) = 0 i = j, 1 i = j.

Notar adems que la denicin y lema anteriores generalizan el resultado que dice que por cualquier par de puntos pasa una nica recta y que por tres puntos pasa una nica parbola. Denicin 2.8.3 Una funcin f : [a , b] R es de clase C r si es diferenciable r veces y f (r ) es continua. Teorema 2.8.4 (Rolle) Sea f : [a , b] R una funcin de clase C n . Sean a 0 < 1 < 2 < < n b, en donde f se anula. Entonces existe un subintervalo k 1 , k y un punto x k 1 , k tal que f (n ) (x ) = 0. El teorema de Rolle 2.8.4 implica lo siguiente. Teorema 2.8.5 (Interpolacin de Lagrange) Sea f : [a , b] R una funcin de clase C n +1 . Sean a 0 < 1 < 2 < < n b . Sea p el polinomio interpolador de Lagrange que pasa por los puntos (x0 , f (x0 )), (x1 , f (x1 )), . . . , (xn , f (xn )). Entonces, para cada x [a , b] se cumple, | f (x ) p (x )| f n +1 |(x x0 )(x x1 ) (x xn )| . (n + 1)!

2.8 I NTERPOLACIN L AGRANGIANA

84

Demostracin Sea y [a , b]. Si y = x0 , x1 , . . . , xn entonces | f ( y ) p ( y )| = 0. Supongamos que y no es igual a x0 , x1 , . . . , xn . Sea h (x ) = f (x ) p (x ) C y (x x0 )(x x1 ) (x xn ) C y se escoge de la siguiente manera. Cy = f ( y ) p( y ) . ( y x0 ) ( y xn )

Claramente h se anula en los puntos x0 , x1 , . . . , xn , y y la funcin h es de clase C n +1 . Por el teorema de Rolle 2.8.4, existe un punto x tal que h (n +1) (x ) = 0. Adems, h (n +1) (x ) = f (n +1) (x ) 0 C y (n + 1)! = 0. y esto implica que C y = f (n +1) (x ) . Por lo tanto, (n + 1)! f (n +1) (x ) |( y x0 )( y x1 ) ( y xn )| (n + 1)! f (n +1) |( y x0 )( y x1 ) ( y xn )| . (n + 1)!

| f ( y ) p ( y )| = C y ( y x0 )( y x1 ) ( y xn ) =

Y de aqu concluimos el resultado. Si q (x ) = (x x0 )(x x1 ) (x xn ), entonces f q f (n +1) q . (n + 1)!

Ahora nos preguntamos cmo escoger q de tal modo que q sea mnimo. Recordemos que la solucin de este problema tiene relacin con los polinomios de Tchebychev. Necesitamos encontrar un polinomio mnico con n + 1 races en [a , b] tal que su norma sea mnima. Esto ya fue resuelto en el intervalo [1, 1]. Es fcil ver que, en general, el problema en el intervalo [a , b] tiene la siguiente solucin: q (x ) = b+a (b a )n +1 1 2 x ), Tn +1 ( n + 1 n 2 2 ba ba

2.8 I NTERPOLACIN L AGRANGIANA

85

Claramente q tiene n + 1 races en [a , b], es mnico y de norma mnima y, por lo tanto, resuelve el problema. Escogiendo x0 , x1 , . . . , xn como las races de q obtenemos f p f q f n +1 (b a )n +1 . (n + 1)! 22n +1

donde p es la mejor aproximacin en el espacio Pn [a , b].

E JERCICIOS

2.61 Demostrar que, dados (x0, y0), (x1, y1), . . . , (xn , yn ) puntos en el plano, tales que
x0 < x1 < < xn , entonces existe un nico polinomio p , de grado menor o igual a n tal que p (xk ) = yk .

2.62 Demostrar el lema 2.8.2. 2.63 Demostrar el teorema 2.8.4. 2.64 Sea { Pn } una sucesin de polinomios reales de grado D, un entero jo. Suponer que Pn (x ) 0 puntualmente para 0 x 1. Demostrar que Pn 0 uniformemente en [0, 1]. Encontrar un ejemplo en donde la condicin sobre el grado sea necesaria.

2.65 Sea x0
a) f (x ) = x 2 . b) p (x ) = x 3 .

= 0, x1 = 1/2 y x2 = 1. Calcular p , el polinomio interpolador de

Lagrange correspondiente a { x0 , x1, x2 } para las siguientes funciones. En cada caso estimar la norma de la diferencia en el espacio C [0, 1]. c) g (x ) = sin 2 x . d) h (x ) = e x . C [a , b]. En qu espacio Pn [a , b] se debe

2.66 Sea f (x ) = exp x . Considerar f

escoger un polinomio p que aproxime a f , si se desea estar seguro que f p < ?