MARGARITA MATHEMATICA EN MEMORIA DE

JOS

E JAVIER (CHICHO) GUADALUPE HERN

ANDEZ
(Luis Espa nol y Juan L. Varona, editores),
Servicio de Publicaciones, Universidad de La Rioja,
Logro no, Spain, 2001.
SERIES DE FOURIER Y FUNCIONES DE LIPSCHITZ
JORGE BUSTAMANTE Y MIGUEL ANTONIO JIM

ENEZ
A la memoria de un gran amigo
Abstract. This paper is an introductory approach to several approximation
problems of periodic functions in connection with Fourier series, Lipschitz func-
tions and related topics. Traditional results in this context are presented and
discussed in the rst two sections. Further, we introduce certain Holder spaces
of integrable functions that become homogeneous Banach (also Hilbert) spaces,
while last section considers approximation problems under Holder norms.
1. Introducci on
Sea C
2
el espacio de las funciones reales continuas y 2-peri odicas. Muchos de
los resultados que se presentar an aqu se pueden extender si dicultad al caso com-
plejo. Para simplicar la exposici on consideramos solo el caso real. Para p [1, ),
denotaremos por L
p
2
al espacio tradicional de funciones peri odicas p integrables en
[0, 2] con la norma
|f|
p
:=
_
_
1
2
2
_
0
[f(x)[
p
dx
_
_
1/p
.
En C
2
consideramos la norma de la convergencia uniforme, esto es,
|f|

:= sup
x[0,2]
[f(x)[.
En lo que sigue, X
2
denotar a a uno cualquiera de los espacios antes denidos y
|f|
X
2
indica que se considera la norma del espacio X
2
.
Para cada entero no negativo n, denotemos por T
n
a la coleccion de todos los
polinomios trigonometricos de grado no mayor que n. Esto es, f T
n
si se puede
representar en la forma
f(x) =
a
0
2
+
n

k=1
(a
k
cos kx +b
k
sen kx) .
2000 Mathematics Subject Classication. 26A16, 42A20.
Key words and phrases. Lipschitz (Holder) functions, best approximation, modulus of smoot-
hness, Fourier series, semigroup of operators, homogeneous Banach spaces.
559
560 J. BUSTAMANTE Y M. A. JIM

ENEZ
Se conoce que los polinomios trigonometricos son densos en X
2
([7], [10], [22]).
Luego, si para f X
2
y un entero no negativo n denimos
E
n
(f) := nf
gT
n
|f g|
X
2
,
se tiene que E
n
(f) 0, seg un n . Al n umero E
n
(f) se le conoce como la
mejor aproximacion de f de orden n.
Teorema 1 ([7], [19]). Si f X
2
y n es un entero no negativo, existe un unico
polinomio T
n
T
n
, tal que E
n
(f) = |f T
n
|
X
2
.
Al polinomio dado en el teorema anterior se le denomina el polinomio de la mejor
aproximacion. Su existencia se deriva del hecho que los espacios T
n
son nito dimen-
sionales. Cuando 1 < p < , la unicidad se obtiene de la estructura estrictamente
convexa de los espacios L
p
2
; para vericar la unicidad en C
2
se utiliza el teorema de
alternaci on de Chebyshev ([8]). En L
1
2
, se requiere de un trabajo m as complicado
(ver, por ejemplo, el Teorema 1.8 en [19]).
Desafortunadamente no existe una forma simple de obtener el polinomio de la
mejor aproximacion. S olo en el caso X
2
= L
2
2
, debido a su estructura de espacio
de Hilbert, se sabe que el polinomio coincide con la suma parcial de Fourier de orden
n, seg un precisaremos mas adelante. El problema general es como construir polino-
mios trigonometricos asociados a una funci on que resulten una buena aproximaci on;
aunque no sean necesariamente la mejor. Muchos de los metodos relacionados con
la aproximaci on de funciones peri odicas estan vinculados con las series de Fourier.
Recordemos que, para f L
1
2
y g L
p
2
se dene la convoluci on de f con g
mediante la expresi on
(f g)(x) =
1
2
2
_
0
f(y)g(x y) dy
y los coecientes de Fourier de f mediante las formulas
a
k
(f) :=
1

2
_
0
f(x) cos(kx) dx, k = 0, 1, 2, . . . ,
y
b
k
(f) :=
1

2
_
0
f(x) sen(kx) dx, k = 1, 2, . . .
Dado un entero positivo n, se denen las sumas parciales de orden n de la serie de
Fourier de la funci on f como
S
n
(f, x) =
a
0
2
+
n

k=1
(a
k
(f) cos kx + b
k
(f) sen kx) = (f D
n
)(x),
donde
D
n
(x) :=
sen(2n + 1)x/2
2 sen(x/2)
.
SERIES DE FOURIER Y FUNCIONES DE LIPSCHITZ 561
La funci on D
n
(x) se conoce como el n ucleo de Dirichlet ([7], [10], [11], [22]).
Un problema cl asico en la teora de las series de Fourier es el analisis de la
convergencia. Esto es, si f X
2
es cierto que |S
n
(f) f|
X
2
0? Se conoce
que si X
2
= L
p
2
, con 1 < p < , la respuesta es armativa (ver [10], [22]). Para
X
2
= L
1
2
y X
2
= C
2
, la respuesta es negativa (ver [10], [22]). Este ultimo hecho
determina la b usqueda de condiciones sucientes que impliquen la convergencia de
la series de Fourier en estos espacios, as como indagar sobre otros metodos de
sumacion que permitan recuperar las funciones a partir de sus series.
Teorema 2 ([19]). Si f C
2
y n es un entero, n > 1, entonces
|f S
n
(f)|

_
4 +
2

log n
_
E
n
(f).
Luego una condici on suciente para la convergencia de la serie de Fourier viene
dada por lmE
n
(f) log n = 0. Veamos que las funciones de Lipschitz satisfacen esta
condici on.
A cada f C
2
se le asocia su modulo de continuidad denido para t > 0 como
(f, t) := sup
0<ht
sup
x[0,2]
[f(x +h) f(x)[.
A cada (0, 1], se le asocia un espacio Lip

2
de funciones de Lipschitz del modo
siguiente: f Lip

2
si y solo si

(f) := sup
0<t2
(f, t)
t

< .
Estos espacios devienen en un espacio de Banach si consideramos la norma
|f|

:= |f|

(f).
Un resultado cl asico de la teora de la aproximaci on, debido a Jackson (ver el Teore-
ma 7 mas adelante), asegura que existe una constante positiva C tal que, para cada
f C
2
,
(1) E
n
(f) C(f, 1/n).
As que si f Lip

2
, resulta que E
n
(f) Cn

y, utilizando el Teorema 2 obte-

nemos como un corolario la convergencia uniforme de las series de Fourier para las
funciones de Lipschtiz.
Estos resultados explican en parte el interes matematico en el estudio de la funcio-
nes de Lipschitz. Otras motivaciones vienen del estudio de las ecuaciones integrales
singulares y de las ecuaciones diferenciales.
En la segunda secci on de este trabajo expondremos brevemente algunos resultados
generales relacionados con las funciones de Lipschitz en los espacios X
2
. En la
tercera seccion consideraremos problemas de aproximacion en normas de Lipschitz.
Para nalizar esta introducci on presentamos la denici on del m odulo de conti-
nuidad en los espacios L
p
2
. Si f L
p
2
se dene, para t > 0,
(f, t) := sup
0<ht
_
_
1
2
2
_
0
[f(x + h) f(x)[
p
dx
_
_
1/p
.
562 J. BUSTAMANTE Y M. A. JIM

ENEZ
Las clases de Lipschitz Lip
p,
2
de los espacios L
p
2
se denen de manera an aloga al
espacio C
2
. En el resto del trabajo Lip

(X
2
) denota al espacio de Lipschitz de
orden correspondiente a X
2
.
2. Aproximaci on en los espacios X
2
En la teora de las series de Fourier, la informaci on sobre las funciones es desplaza-
da a los coecientes de Fourier. Seg un un teorema conocido de Riemann, extendido
por Lebesgue, la sucesion de los coecientes de Fourier de una funci on de L
1
2
con-
verge a cero. En algunos casos se conocen estimados de la velocidad de convergencia
de las sucesiones:
Teorema 3 (Lebesgue, [22]). Si f Lip

(X
2
), existe una constante C(f) tal que
(2) [a
k
(f)[ +[b
k
(f)[
C(f)
n

.
Este resultado motiva la pregunta siguiente. Si para f X
2
se cumple una
desigualdad como la anterior es cierto que f Lip

(X
2
)? Hasta donde los autores
conocen, este es un problema abierto, con la excepcion del caso X
2
= L
2
2
. Esto es,
dada f L
2
2
, se tiene que f L

(L
2
2
) si y solo si se cumple (2).
Los espacios de funciones de Lipschitz suelen utilizarse para medir la efectividad
de la aproximaci on de funciones mediante polinomios trigonometricos. Una de las
maneras mas simples de construir procesos aproximativos es utilizando la convo-
luci on con una sucesi on ja de operadores sometidos a ciertas restricciones. Seg un
indicamos anteriormente, las sumas parciales de las series de Fourier se obtienen me-
diante la convoluci on con el n ucleo de Dirichlet. Luego no cualesquiera convoluciones
servir an para estos prop ositos.
Teorema 4 ([7]). Sea (I
n
) L
1
2
una sucesi on tal que:
(i) Para toda n,
(3)
1
2

I
n
(s) ds = 1.
(ii) Existe M tal que, para toda n,
|I
n
|
L
1
2
M.
(iii) Para cada (0, ),
lm
n
_
|u|
[I
n
(u)[ du = 0.
Entonces, cualquiera sea f X
2
se tiene que
|f (f I
n
)|
X
2
0.
A las sucesiones (I
n
) que satisfacen las hip otesis del teorema anterior se les de-
nomina identidades (o unidades) aproximativas. Es claro que el n ucleo de Dirichlet
(D
n
) no dene una unidad aproximativa. Es m as, considerando a (D
n
) como endo-
morsmo de L
1
2
, se tiene el estimado:
SERIES DE FOURIER Y FUNCIONES DE LIPSCHITZ 563
Teorema 5 ([7]).
|D
n
| := sup
fL
1
2
:f
L
1
2
1
|f D
n
|
L
1
2
=
4

2
log n +O(1).
Entre las identidades aproximativas m as utilizadas estan:
(i) La de Fejer, denida por
F
n
(x) :=
1
n + 1
_
sen((n + 1)x/2)
sen(x/2)
_
2
, x ,= 2j;
(ii) La de Jackson, dada por
J
n
(x) =
3
n(2n
2
+ 1)
_
sen(nx/2)
sen(x/2)
_
4
, x ,= 2j
(iii) La de Fejer-Korovkin, denida por
K
n
(x) :=
2 sen
2
(/(n + 2))
n + 2
_
cos((n + 2)x/2)
cos(/(n + 2)) cos x
_
2
, x ,=

n + 2
+ 2j.
N otese que los n ucleos anteriores son pares y positivos.
La condici on relacionada con la acotaci on uniforme de la norma de los operadores
asociados se reduce, dada la positividad de estos n ucleos, a estudiar el comporta-
miento de las sucesiones de los coecientes de Fourier (a
0
(I
n
)).
Teorema 6 ([7]). Si (I
n
) es una sucesi on de n ucleos pares y positivos que satisfacen
(3) se tiene que existe una constante C = C(X
2
) de forma que, cualquiera sea
f X
2
y n entero no negativo
|f (f I
n
)|
X
2
C
_
f,
_
1 a
1
(I
n
)
_
.
Con esto se tiene no solo la convergencia sino adem as un estimado de su velocidad.
En efecto; en la tabla que sigue tenemos el c alculo de los a
1
(I
n
) para los n ucleos
denidos anteriormente.
N ucleo Coeciente
Fejer a
1
(I
n
) = 1
1
n+1
Jackson a
1
(I
n
) = 1
3
2n
2
+1
Fejer-Korovkin a
1
(I
n
) = cos

n+2
Utilizando el n ucleo de Jackson (o el de Fejer-Korovkin) y el Teorema 6, obtene-
mos el conocido teorema de Jackson:
Teorema 7. Para cada espacio X
2
, existe una constante C = C(X
2
) de forma
que, para cada entero no negativo n y cada f X
2
,
E
n
(f) C
_
f,
1
n
_
.
564 J. BUSTAMANTE Y M. A. JIM

ENEZ
Con los resultados precedentes en mano podemos estudiar otros procesos de apro-
ximacion mediante polinomios trigonometricos. Por ejemplo, consideremos algunos
procesos de sumacion de series trigonometricas de la manera siguiente.
Fijemos una matriz triangular / = (
n,k
), n = 0, 1, 2, . . . y k = 0, 1, . . . , n.
Asumamos que se satisfacen las condiciones siguientes: (i)
0,0
= 1; (ii) cualesquiera
sean n y k jo, tales que 0 k n, se tiene que 0 <
n,k+1

n,k
y
lm
n

n,k
= 1.
Se dene en X
2
el metodo de sumacion asociado a / mediante la f ormula
A
n
(f, x) :=
a
0
(f)
2
+
n

k=1

n,k
(a
k
(f) cos(kx) +b
k
(f) sen(kx)) .
Con diferentes matrices apropiadas se puede lograr la convergencia de A
n
(f) a f en
los espacios X
2
. En particular, cuando

n,k
=
n + 1 k
n + 1
,
A
n
(f) coincide con las medias de Ces`aro denidas por

n
(f, x) :=
1
n + 1
(S
0
(f, x) +S
1
(f, x) + +S
n
(f, x)) ,
las que, a su vez, coinciden con la convoluci on de f con el n ucleo de Fejer.
El an alisis de la exactitud de los estimados relacionados con un cierto proceso
de aproximaci on, se puede realizar estudiando su comportamiento en las clases de
las funciones de Lipscthiz. En general esto se hace mediante la b usqueda de alg un
teorema de tipo inverso. En efecto, de un teorema inverso debido a Bernstein y del
Teorema de Jackson, se tiene que:
Teorema 8 ([7], [8]). Para f X
2
y (0, 1),
f Lip

(X
2
) si y s olo si E
n
(f)
C(f)
n

.
En particular se inere de este resultado que el estimado de Jackson no puede
ser mejorado (en cuanto a la velocidad de convergencia).
Existen funciones f C
2
tales que E
n
(f) C(f)/n y f / Lip
1
(X
2
). Para
caracterizar a estas funciones debemos utilizar algunas ideas de Zygmund. Dado
(0, 1], diremos que f Lip

(X
2
) si existe una constante M tal que, cualesquiera
sean x, h R,
[f(x +h) 2f(x) +f(x h)[ M[h[

.
Teorema 9 ([21]). Para f C
2
se tiene que
f Lip
1

(C
2
) si y s olo si E
n
(f)
C(f)
n
.
Se pueden caracterizar las funciones f X
2
, para las cuales existe la deriva-
da r-esima y f
(r)
Lip

(X
2
). Igualmente introducir los espacios Lip

(X
2
) y
Lip

(X
2
), con 1. Para tales estudios se necesita introducir m odulos de conti-
nuidad de orden superior [6]. Tambien en esta referencia, el lector puede consultar
SERIES DE FOURIER Y FUNCIONES DE LIPSCHITZ 565
otros resultados relacionados con identidades aproximativas y sumaci on de series de
Fourier. Por otro lado, en los trabajos de J. Prestin [15], [16], [17] y [18], el lector
puede encontrar caracterizaciones de diversas clases de funciones de Lipschitz.
3. Espacios homogeneos
El estudio de la convergencia de las series de Fourier en diversos espacios se puede
unicar mediante la introducci on de los llamados espacios homogeneos.
Necesitamos una nueva notacion: si f es una funci on 2-peri odica y t R, de-
notemos f
t
(x) := f(x t) (atendiendo al contexto, no debe confundirse la notaci on
con el elemento f
n
de la sucesion (f
n
)). Se dice que un subespacio B de L
1
2
provisto
con una norma | |
B
es un espacio homogeneo si: (i) B es un espacio de Banach; (ii)
existe una constante positiva C tal que, cualquiera sea f B, |f|
L
1
2
C|f|
B
; (iii)
B contiene los polinomios trigonometricos; (iv) cualesquiera sean f B y t R,
|f
t
|
B
= |f|
B
; (v) cualquiera sea f B, la funci on L(f, ) : R B, denida por
L(f, t)(x) = f
t
(x), es continua.
Las ideas primarias sobre los espacios homogeneos estan en un artculo de Plessner
[14]. A partir de ellas surgen trabajos de Bochner [1], Shilov [20], entre otros.
Teorema 10 ([10], [11]). Si B es un espacio homogeneo, entonces las medias de
Ces` aro de cada funci on f B convergen a f en la norma de B. En particular, los
polinomios trigonometricos son densos en B.
En realidad, conociendo la relaci on entre las sumas de Ces`aro y el n ucleo de Fejer,
este teorema es un caso particular del siguiente:
Teorema 11 ([10], [11]). Si B es un espacio homogeneo e (I
n
) es una unidad
aproximativa se tiene que, cualquiera sea f B,
|K
n
f f|
B
0.
Es f acil vericar que los espacios X
2
son homogeneos. Tambien lo son lo son los
espacios C
(k)
2
con la norma
|f| :=
k

j=0
|f
(j)
|

y otros muchos. Sin embargo, los espacios Lip

(X
2
) no son espacios homogeneos,
pues no se cumple la condicion (v) de la denici on anterior. A pesar de ello uno
puede considerar espacios homogeneos de funciones de Lipschitz si nos limitamos a
ciertos subespacios. Por ejemplo, para (0, 1) sea
lip

(X
2
) := f Lip

(X
2
) : L(f, t) es continua .
Para (0, 1), lip

(X
2
) es un espacio homogeneo (ver [13]) y se tiene que
f lip

(X
2
) si y solo si lm
t0
(f, t)
t

= 0,
donde el m odulo de continuidad es el correspondiente al denotado por X
2
. Ademas,
por el Teorema 10, lip

(X
2
) es la clausura de los polinomios trigonometricos en
lip

(X
2
).
566 J. BUSTAMANTE Y M. A. JIM

ENEZ
Existen otras formas de obtener espacios homogeneos de funciones periodicas.
Veamos un tratamiento debido a M. A. Jimenez (ver [9]).
Se trata de modicar la denici on tradicional de los espacios lip

(X
2
), para
1 p < . Consideremos en R la pseudometrica
x, y [0, 2), j, k Z, d(x + 2j, y + 2k) = mn[x y[, 2 [x y[.
Para f L
p
2
, > 0 y x, y R, denamos Lebesgue casi dondequiera
F

(x, y) :=
f(x) f(y)
d(x, y)

; si x ,= y.
Los espacios B

p
estan compuestos por aquellas funciones f L
p
2
tales que F

f
L
p
((2)
2
) y en B

p
se considera la norma
|f|
p,
:=
_
|f|
p
p
+|F

(f)|
p
p
_
1/p
.
Teorema 12 ([9]). Para cada 1 p < y 0 < 1, B

p
es un espacio homogeneo
y el espacio cl asico de Lipschitz Lip

(L
p
2
) se sumerge continuamente en B

p
.
En espacios como estos se puede aplicar el Teorema 11.
Terminamos esta seccion indicando un resultado interesante relacionado con el
espacio B

2
. A diferencia de los espacios Lip

(L
2
2
), B

2
se convierte en un espacio
de Hilbert si consideramos el producto escalar
f; g) := f; g)
L
2
2
+F

f; F

g)
L
2
(2)
2
.
A un m as, el sistema clasico de las funciones trigonometricas constituye una base
ortogonal en este espacio. Se inere entonces que las funciones en B

2
tienen for-
malmente el mismo desarrollo en serie de Fourier que en L
2
2
. En particular, dada
f B

2
y un entero no negativo n, la mejor aproximacion trigonometrica de f se
alcanza justamente en el polinomio que realiza la mejor aproximacion en la norma
original, esto es, en la norma | |
L
2
2
.
4. Aproximaci on en norma de Lipschitz
En la secci on anterior presentamos un resultado cualitativo relacionado con la
aproximacion de funciones en las clases lip

(X
2
). Veamos algunos resultados cuan-
titativos. Necesitamos algunos notaciones preliminares.
Si f X
2
, (0, 1), para cada t > 0 sea
(4)

(f, t) := sup
0<st
(f, s)
s

.
Se ha demostrado en varios trabajos ([2], [3] y [5]), que esta funci on es un m odulo
de continuidad adecuado para estudiar la aproximaci on en espacios de funciones de
Lipschitz.
En particular, se sigue de los resultados presentados en [2], que los polinomios
construidos a partir del n ucleo de Jackson para obtener una buena aproximaci on
en X
2
, tambien ofrecen una buena aproximaci on en las normas de los espacios
lip

(X
2
).
SERIES DE FOURIER Y FUNCIONES DE LIPSCHITZ 567
A partir del m odulo de continuidad (4) se puede reiterar el proceso de denici on
de los espacios de Lipschitz para obtener nuevos espacios de Lipschitz con condi-
ciones mas fuertes. Por ejemplo, si (0, 1) y (0, ) se consideran el espacio
lip
,
(X
2
) de las funciones f lip

(X
2
) para las cuales
lm
t0

(f, t)
t

= 0.
Con la norma
|f|
,
:= |f|
X
2
+

(f) + sup
0<t2

(f, t)
t

.
Se obtiene un espacio homogeneo de Banach. Seg un [2] se sabe que, si denotamos
por E
n,
(f) a la mejor aproximaci on de f en la norma de Lip

(X
2
) mediante
polinomios trigonometricos, se tiene que
E
n,
(f)
C(f)
n

si y solo si

_
f,
1
n
_

D(f)
n

.
Una ultima observaci on referente a las sumas de las series de Fourier que se
expresen a traves de la convolucion con una unidad aproximativa (I
n
), como en el
caso de las suma de Ces`aro.
Si f lip

(C
2
), entonces el modulo de continuidad (4), del producto de convo-
luci on de f con I
n
, se acota de la manera siguiente
[(I
n
f)(x + t) (I
n
f)(x)[ M|f
t
f|

,
donde M = sup |I
n
|
L
1
2
.
Luego,
sup
n

(I
n
f, t) M

(f, t) 0 (t 0).
Se dice entonces que la sucesion es equilipschitziana y se deduce tambien por esta va,
un resultado v alido incluso en contextos m as generales, la convergencia de I
n
f
a f (ver [4]). Por otra parte, esta aproximaci on se puede igualmente cuanticar
utilizando el estimado establecido en [12].
Referencias
[1] S. Bochner, Additive set functions on groups, Ann. of Math. 40 (1939), 769799.
[2] J. Bustamante y M. A. Jimenez, The degree of best approximation in the Lipschitz norm by
trigonometric polynomials, Aportaciones Matem aticas 25 (1999), 2330.
[3] J. Bustamante y M. A. Jimenez, Fourier series and convergence in Lipschitz norms, Aporta-
ciones Matem aticas 25 (1999), 147151.
[4] J. Bustamante y M. A. Jimenez, Chebyshev and Holder approximation, Aportaciones Ma-
tem aticas 27 (2000), 2331.
[5] J. Bustamante, D. Mocencahua y Carlos A. Lopez, Smoothness of the remainder and Holder
norms, Aportaciones Matem aticas 27 (2000), 3345.
[6] P. L Butzer y H. Berens, Semi-groups of operators and approximation, Springer-Verlag, Nueva
York-Berln, 1967.
[7] P. L. Butzer y R. J. Nessel, Fourier analysis and approximation theory, Vol. 1: One-
dimensional theory, Acad. Press, Nueva York y Londres, 1971.
[8] E. W. Cheney, Introduction to approximation theory, McGraw-Hill, Nueva York, 1966.
[9] M. A. Jimenez, A new approach to Lipschitz spaces of periodic integrable functions, Aporta-
ciones Matem aticas 25 (1999), 153157.
568 J. BUSTAMANTE Y M. A. JIM

ENEZ
[10] Y. Katznelson, An introduction to harmonic analysis, Wiley & Sons, 1968.
[11] R. Lasser, Introduction to Fourier Series, Pure and Applied Math., M. Dekker, Nueva York-
Basel-Hong Kong, 1996.
[12] L. Leindler, A. Meir y V. Totik, On approximation of continuous functions in Lipschitz norms,
Acta Math. Hung. 45 (1985), 411443.
[13] H. Mirkil, Continuous translation of Holder and Lipschitz functions, Can. J. Math. 12 (1960),
674685.
[14] A. Plessner, Eine Kennzeichnung der totalstetig Funktionen, J. Reine Angew. Math. 160
(1929), 2632.
[15] J. Prestin, Best approximation in Lipschitz space, Colloquia Math. Soc. J. Bolyai 49 (1985),
753759.
[16] J. Prestin, On the approximation by de la Vallee Poussin sums and interpolatory polynomials
in Lipschitz norms, Analysis Math. 13 (1987), 251259.
[17] J. Prestin, Trigonometric interpolation in Holder spaces, J. Approx. Theory 53 (1988), 145
154.
[18] J. Prestin, Approximation in Holder norms with higher order dierences, Rostock Math. Ko-
lloq. 51 (1997), 3350.
[19] T. H. Rivlin, An introduction to the approximation theory, Dover, Nueva York, 1969.
[20] G. E. Shilov, Homogeneous rings of functions (en ruso), Uspehi Matem. Nauk (N.S.) 6 (1951),
no. 1 (41), 91137. Traduccion al ingles: Amer. Math. Soc. Translation 1953 (1953), no. 92.
[21] A. Zygmund, Smooth functions, Duke Math. J. 12 (1945), 4776.
[22] A. Zygmund, Trigonometics series, Dover, Nueva York, 1955.
Universidad Aut onoma de Puebla, Apartado Postal J-27, Colonia San Manuel, Pue-
bla, 72571, Pue., Mexico
Correo electr onico: jbusta@fcfm.buap.mx, mjimenez@fcfm.buap.mx