Estoy leyendo el Análisis de Fourier de Stein y Shakarchi y me parece que hay un error en la prueba del Lema 2.3 en el Capítulo 3. Me pregunto si hay algo que me estoy perdiendo o si alguien podría sugerir una prueba alternativa. ¡Cualquier idea sería apreciada!
El Lema 2.3 dice: "Supongamos que Abel significaAr=∑∞norte = 1rnorteCnorte
de la serie∑∞norte = 1Cnorte
están delimitados comor
tiende a 1 (conr < 1
). SiCnorte= O ( 1 / norte )
, entonces las sumas parcialesSnorte=∑nortenorte = 1Cnorte
están acotados".
La prueba es como sigue.
Dejarr = 1 - 1 / norte
y eligeMETRO
de modo quenorte |Cnorte| ≤METRO
. Estimamos la diferencia
Snorte−Ar=∑nortenorte = 1(Cnorte−rnorteCnorte) -∑∞norte = norte+ 1rnorteCnorte
como sigue:
|Snorte−Ar| ≤∑nortenorte = 1|Cnorte| (1−rnorte) +∑∞norte = norte+ 1rnorte|Cnorte| ≤METRO∑nortenorte = 1( 1 - r ) +METROnorte∑∞norte = norte+ 1rnorte≤ METROnorte( 1 - r ) +METROnorte11 - r= 2 M
,
donde hemos utilizado la simple observación de que
1 -rnorte= ( 1 - r ) ( 1 + r + ⋯ +rnorte - 1) ≤ norte ( 1 - r )
.
Entonces vemos que siMETRO
satisface ambos|Ar| ≤METRO
ynorte |Cnorte| ≤METRO
, entonces|Snorte| ≤3M_
.
El error que noto aquí está en la línea donde los autores afirman queMETROnorte( 1 - r ) +METROnorte11 - r= 2 M
. Según mis cálculos, usando su suposición de quer = 1 - 1 / norte
, en su lugar tenemos lo siguiente:
METROnorte( 1 - r ) +METROnorte11 - r= METRO( norte− 1 ) +METROnorte− 1= METRO(( norte− 1)2+ 1norte− 1) = METROnorte2− 2 norte+ 2norte− 1= METRO( norte− 1 ) ( norte− 2 )norte− 1= METRO( norte− 2 )
. Esto claramente no está limitado.
¡Gracias de nuevo! ¡Cualquier idea sería apreciada!
kobe
ben phronesis