PROTOCOLO DE TESIS

Nombre del alumno: Reinaldo Martnez Cruz

Grado actual: Maestro en Ciencias.
Grado a obtener: Doctor en Ciencias Matematicas
Lnea de investigacion: Analisis Matematico, Teora de Aproximacion.
Nombre del proyecto: Construccion de polinomios de la mejor aproximacion
unilateral y temas anes
Director: Dr. Jorge Bustamante Gonzalez
Antecedentes
La Teora de la aproximacion tiene una larga historia, aunque aparece como
una rama independiente de la matematica en los inicios del siglo pasado.
La Teora de la aproximacion encuentra aplicaciones en otras ramas de las
matematicas. En el proyecto se consideran problemas concretos relacionados con
la construccion de polinomios que permitan obtener buenas aproximaciones unilat-
erales para funciones acotadas inferior y/o superiormente.
La aproximacion unilateral en la metrica de L
1
fue estudiada por Markov 1884.
El considero ciertas relaciones con las formulas de cuadratura (ver [9] p. 15). En
un trabajo de Weyl en 1916 tambien se consideraron problemas de aproximacion
unilateral ([11], p. 565).
Se conoce que, para cualquier funcion f, Riemann integrable en [a, b], y > 0,
existen polinomios p y P tales que
(0.1) p(x) f(x) P(x) y

b
a
(P(t) p(t))dt < .
Un caso especial de este resultado corresponde a la funcion
f(x) =

0, x [0,
1
e
]
1
x
, x [
1
e
, 1].
Esta funcion jugo un papel importante en la demostracion de Karamata del teorema
tauberiano de Hardy y Littlewood [5]. Freud [1] obtuvo una mejora al metodo de
Karamata, basada en un estimado mas preciso de las aproximaciones unilaterales
para la misma funcion f anterior. Resultados mas generales fueron presentados
luego por Ganelius [2]. Esto fue el inicio de la teora de la aproximacion unilateral.
Planteamiento del problema
Se conocen metodos para construir polinomios que aproximen a ciertas fun-
ciones tanto en la norma uniforme como en los espacios L
p
. Para el caso de la
aproximacion unilateral se tiene pocos resultados. En particular, se tiene los tra-
bajos [7], [3] y [4]. La construccion dada en los dos ultimos trabajos es bastante
complicada y la dada en [7] no se puede aplicar a todas las funciones en L
p
(ademas
no da el grado optimo de convergencia).
Seg un lo dicho anteriormente podemos formular el problema siguiente: buscar
metodos de construccion de polinomios que permitan obtener buenos estimados
para la mejor approximacion unilateral.
1
2
En terminos tecnicos el problema se formula como sigue: sea L
p
[a, b] (1 p <
) el espacio de todas (las clases de equivalencia de) funciones medibles f para las
cuales
f
p,[a,b]
=

b
a
| f(t) |
p
dt

1/p
< .
Denotamos por C[a, b] al espacio de las funciones continuas en [a, b], con la
norma del supremo y mediante R[a, b] al espacio de las funciones integrables en el
sentido de Riemann en el intervalo [a, b].
Finalmente, denotemos por P
n
al espacio de los polinomios algebraicos de grado
no mayor que n.
Formalmente, la mejor approximacion unilateral se dene en los terminos sigu-
ientes. Si f L
p
[1, 1] esta acotada inferiormente (superiormente) casi donde-
quiera, se dene la mejor aproximacion inferior (superior) de grado n mediante la
expresion
E

n
(f)
p,[a,b]
= nf

f P
p,[a,b]
: P P
n
, P f a.e.

E
+
n
(f)
p,[a,b]
= nf

f P
p,[a,b]
: P P
n
, f P a.e.

.
Si f es una funcion esencialmente acotada, entonces la mejor aproximacion
unilateral se dene como
E
n
(f)
p,[a,b]
= nf

QP
p,[a,b]
: P, Q P
n
, P f Qa.e.

.
Se conoce que existen polinomios que resuelven los problemas extremales ante-
riores. Pero estos son difciles de construir.
Problema 1 Sea L
b
p
[1, 1] el espacio de las funciones esencialmente acota-
da (con la norma de L
p
[1, 1]. Construir dos sucesiones de operadores L
n
, M
n
:
L
b
p
[1, 1] P
n
tales que, si f L
b
p
[1, 1], entonces
L
n
(f, x) f(x) M
n
(f, x) a.e.
y
L
n
(f) M
n
(f)
p
0.
Problema 2 Encontrar buenos estimados para el error
L
n
(f) M
n
(f)
p
.
Resaltamos que el problema anterior es complicado. Muchas de las tecnicas
tradicionales de contruccion no funcionan, ya que los operadores que resuelven el
problema anterior no pueden ser lineales.
Consideremos la funcion de paso
(0.2) G(t) =

0, si 0 < t,
1, si t 0
y jemos dos sucesiones de polinomios {P
n
} y {Q
n
} (P
n
, Q
n
P
n
) tales que
P
n
(t) G(t) Q
n
(t), t [1, 1]
y
(0.3)
n
= Q
n
P
n

1,[1,1]
0.
3
La hipotesis fundamental del proyecto es la siguiente: a cada pareja de suce-
siones como las anteriores se le pueden asociar sucesiones de operadores que resuel-
van el problema principal.
Justicacion.
Para justicar la eleccion de este tema consideramos varios aspectos.
1.- La investigacion propuesta es perfectamente compatible con los proyectos
del grupo de la Facultad dedicado al estudio de la Teora de la Aproximacion. El
trabajo sera un factor mas para lograr la consolidacion del grupo.
2.- Los objetivos propuestos son alcanzables. En la tesis apareceran presenta-
ciones y resultados nuevos que pueden ser publicados en revistas con arbitraje. Con
esto se asegura el cumplimiento de los requisitos establecidos en la Facultad para
la presentacion de Tesis de Doctorado.
3.- En calculos previos realizados por el asesor se ha visto que las ideas de Lenze
[7] se pueden modicar y mejorar para resolver el problema que se formulo aqu.
4.- En los ultimos tiempos se ha publicado una gran variedad de trabajos ded-
icados a la aproximacion con restricciones. Para no abrumar con citas remitimos a
los trabajos [6] y [8] en los cuales se incluye una larga lista de referencias.
CRONOGRAMA
En el primer y segundo semestre el estudiante tomara los cursos complemen-
tarios para su formacion. En particular se programa un curso sobre Teora de la
medida as como, dos cursos sobre Teora de la aproximacion.
En cada semestre el estudiante debe participar en el seminario de teora de la
aproximacion.
En la primera parte se intentara resolver el problema de encontrar los poli-
nomios que dan la mejor aproximacion unilateral para la funcion de paso presen-
tada anteriormente, en la metrica de L
1
[1, 1]. Para este problema es fundamental
considerar las ideas dadas en [10].
En la segunda parte se analizaran diversas construcciones de operadores. Para
ello se consideraran variantes de operadores conocidos.
Bibliografa
[1] G. Freud, Restglied eines Tauberschen Satzes I. Acta Math. Acad. Sci. Hung. 2 (1951), 299-
308.
[2] T. Ganelius, On one-sided approximation by trigonometric polynomials, Math. Scand. 4
(1956), 247-258.
[3] V. H. Hristov, and K. G. Ivanov, Operators for onesided approximation of functions. Con-
structive Theory of Functions87, Proc. Intern. Conference, Varna, Soa 1988, 222-232.
[4] V. H. Hristov, and K. G. Ivanov, Operators for onesided approximation by algebraic polyno-
mials in L
p
([1, 1]
d
), Math. Balkanica (new series) (4) 2(1988), 374-390.
[5] J. Karamata,

Uber die Hardy - Littlewoodsche Umkehrung des Abelschen Stetigkeitssatzes.
Math. Zeitschrift, 32 (1930), 519-520.
[6] K. Kopotun, D. Leviatan and I. A. Shevchuk, Coconvex approximation in the uniform norm:
the nal frontier, Acta Math. Hungar. 110 (1-2) (2006), 117-151.
[7] B. Lenze, Operators for one-sided approximation by algebraic polynomials, J. Approx. Theory,
54 (1988), 169-179.
[8] D. Leviatan and I. A. Shevchuk, Coconvex approximation, J. Approx. Theory, 121 (2003)
100-118.
[9] A. A. Markov, Selected works, Moscow, 1948.
[10] A. Pinkus, On L
1
-approximation, Cambridge University Press, Cambridge, 1989.
[11] H. Weyl, Gesammelte Abhandlungen, Bd. 1, Springer Verlag (Berlin-Heidelberg-New York,
1968), 563-599.
4