On a result of Hardy and Littlewood concerning Fourier series

Let f ∈ L ¹( $ \mathbb{T} $ ) and assume that $$ f\left( t \right) \sim \frac{{a_0 }} {2} + \sum\limits_{k = 1}^\infty {\left( {a_k \cos kt + b_k \sin kt} \right)} $$ Hardy and Littlewood [1] proved that the series $ \sum\limits_{k = 1}^\infty {\frac{{a_k }} {k}} $ converges if and only if the improper Riemann integral $$ \mathop {\lim }\limits_{\delta \to 0^ + } \int_\delta ^\pi {\frac{1} {x}} \left\{ {\int_{ - x}^x {f(t)dt} } \right\}dx $$ exists. In this paper we prove a refinement of this result.     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

Stability of the Derivative of a Canonical Product

With each sequence \(\alpha =(\alpha _n)_{n\in \mathbb{N }}\) of pairwise distinct and non-zero points which are such that the canonical product $$\begin{aligned} P_\alpha (z) := \lim _{r\rightarrow \infty }\prod _{|\alpha _n|\le r}\left( 1-\frac{z}{\alpha _n}\right) \end{aligned}$$ converges, the sequence $$\begin{aligned} \alpha ^{\prime } := \bigl (P_\alpha ^{\prime }(\alpha _n)\bigr )_{n\in \mathbb{N }} \end{aligned}$$ is associated. We give conditions on the difference \(\beta -\alpha \) of two sequences which ensure that \(\beta ^{\prime }\) and \(\alpha ^{\prime }\) are comparable in the sense that $$\begin{aligned} \exists \,c,C>0:\quad c|\alpha ^{\prime }_n| \le |\beta ^{\prime }_n| \le C|\alpha ^{\prime }_n|, \quad n\in \mathbb{N }. \end{aligned}$$ The values \(\alpha ^{\prime }_n\) play an important role in various contexts. As a selection of applications we present: an inverse spectral problem, a class of entire functions and a continuation problem.     

On the discrepancy function in arbitrary dimension, close to L 1

Let A _N to be N points in the unit cube in dimension d, and consider the discrepancy function $$ D_N (\vec x): = \sharp \left( {\mathcal{A}_N \cap \left[ {\vec 0,\vec x} \right)} \right) - N\left| {\left[ {\vec 0,\vec x} \right)} \right| $$ Here, $$ \vec x = \left( {\vec x,...,x_d } \right),\left[ {0,\vec x} \right) = \prod\limits_{t = 1}^d {\left[ {0,x_t } \right),} $$ and $ \left| {\left[ {0,\vec x} \right)} \right| $ denotes the Lebesgue measure of the rectangle. We show that necessarily $$ \left\| {D_N } \right\|_{L^1 (log L)^{(d - 2)/2} } \gtrsim \left( {log N} \right)^{\left( {d - 1} \right)/2} . $$ In dimension d = 2, the ‘log L’ term has power zero, which corresponds to a Theorem due to [11]. The power on log L in dimension d ≥ 3 appears to be new, and supports a well-known conjecture on the L ¹ norm of D _N . Comments on the discrepancy function in Hardy space also support the conjecture.     

Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums

Let q, h, a, b be integers with q > 0. The classical and the homogeneous Dedekind sums are defined by $$s(h,q) = \sum\limits_{j = 1}^q {\left( {\left( {{j \over q}} \right)} \right)\left( {\left( {{{hj} \over q}} \right)} \right),{\rm{ }}s(a,b,q) = \sum\limits_{j = 1}^q {\left( {\left( {{{aj} \over q}} \right)} \right)\left( {\left( {{{bj} \over q}} \right)} \right),} } $$ respectively, where $((x)) = \left\{ \begin{gathered} x - [x] - \tfrac{1} {2},if x is not an integer; \hfill \\ 0,if x is an integer. \hfill \\ \end{gathered} \right. $ The Knopp identities for the classical and the homogeneous Dedekind sum were the following: $$\sum\limits_{d|n} {\sum\limits_{r = 1}^d {s\left( {{n \over d}a + rq,dq} \right) = \sigma (n)s(a,q),} } $$ $$\sum\limits_{d|n} {\sum\limits_{{r_1} = 1}^d {\sum\limits_{{r_2} = 1}^d s \left( {{n \over d}a + {r_1}q,{n \over d}b + {r_2}q,dq} \right) = n\sigma (n)s(a,b,q),} } $$ where σ(n) =Σ _d|n d. In this paper generalized homogeneous Hardy sums and Cochrane-Hardy sums are defined, and their arithmetic properties are studied. Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums are given.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

Asymptotic properties for the loglog laws under positive association

Let {X _n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X ₁|^2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x ₊ = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function.     

A Landesman-Lazer Type Theorem for Periodic Solutions of the Resonant Asymmetric ρ-Laplacian Equation

In this paper, we give a Landesman-Lazer type theorem for periodic solutions of the asymmetric 1-dimensional p-Laplacian equation -（｜x＇｜^p-2x＇）＇=λ｜x｜^p-2x＋＋μ｜x｜^p-2x-＋f（t,x）with periodic boundary value.     

On a property of Abelian groups related to direct sums and products

Let T be an infinite set of prime numbers, $ \mathcal{M} $ be a set of groups $ \left\{ {\left. {\mathbb{Z}(p)} \right|p \in T} \right\} $ . An Abelian group A is said to be $ \mathcal{M} $ -large if $$ {\text{Hom}}\left( {A,\;\mathop { \bigoplus }\limits_{p \in T} \mathbb{Z}(p)} \right) = {\text{Hom}}\left( {A,\;\prod\limits_{p \in T} {\mathbb{Z}(p)} } \right). $$ This paper presents a characterization of $ \mathcal{M} $ -large torsion-free and mixed groups.     

On the existence and smoothness of a generalized solution of a nonlinear differential equation with degeneration

Let Ω be an arbitrary open set in R _n , and let σ(x) and g _i (x), i = 1, 2, ..., n, be positive functions in Ω. We prove a embedding theorem of different metrics for the spaces W _p ^r (Ω, σ, $ \vec g $ ), where r ∈ N, p ≥ 1, and $ \vec g $ (x) = (g ₁(x), g ₂(x), ..., g _n (x)), with the norm $$ \left\| {u;W_p^r (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\left\| {u;L_{p,r}^r (\Omega ;\sigma ,\vec g)} \right\|^p + \left\| {u;L_{p,r}^0 (\Omega ;\sigma ,\vec g)} \right\|^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where $$ \left\| {u;L_{p,r}^m (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\sum\limits_{\left| k \right| = m} {\int\limits_\Omega {(\sigma (x)g_1^{k_1 - r} (x)g_2^{k_2 - r} (x) \cdots g_n^{k_n - r} (x)\left| {u^{(k)} (x)} \right|)^p dx} } } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ We use this theorem to prove the existence and uniqueness of a minimizing element U(x) ∈ W _p ^r (Ω, σ, $ \vec g $ ) for the functional $$ \Phi (u) = \sum\limits_{\left| k \right| \leqslant r} {\frac{1} {{p_k }}\int\limits_\Omega {a_k (x)} \left| {u^{(k)} (x)} \right|^{p_k } } dx - \left\langle {F,u} \right\rangle , $$ where F is a given functional. We show that the function U(x) is a generalized solution of the corresponding nonlinear differential equation. For the case in which Ω is bounded, we study the differential properties of the generalized solution depending on the smoothness of the coefficients and the right-hand side of the equation.     

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

Estimation of the remainder of a cubature formula on a Chebyshev grid for two-variable functions

For a cubature formula of the form $$\int\limits_0^{2\pi } {\int\limits_0^{2\pi } {f(x,y)dxdy = \frac{{4\pi ^2 }} {{mn}}\sum\limits_{i = 0}^{n - 1} {\sum\limits_{j = 0}^{m - 1} {f\left( {\frac{{2\pi i}} {n},\frac{{2\pi j}} {m}} \right) + R_{n,m} (f)} } } }$$ on a Chebyshev grid, the remainder R _n,m (f) is proved to satisfy the sharp estimate $$\mathop {\sup }\limits_{f \in H\left( {r_1 ,r_2 } \right)} \left| {R_{n,m} (f)} \right| = O\left( {n^{ - r_1 + 1} + m^{ - r_1 + 1} } \right)$$ in some class of functions H(r ₁, r ₂) defined by a generalized shift operator. Here, r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in the O-term depends only on ??.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

Convergence of biorthogonal series in the system of contractions and translations of functions in the spaces L p [0, 1]

We obtain conditions for the convergence in the spaces L ^p [0, 1], 1 ≤ p < ∞, of biorthogonal series of the form $$ f = \sum\limits_{n = 0}^\infty {(f,\psi _n )\phi _n } $$ in the system {? _n } _n≥0 of contractions and translations of a function ?. The proposed conditions are stated with regard to the fact that the functions belong to the space $ \mathfrak{L}^p $ of absolutely bundleconvergent Fourier-Haar series with norm $$ \left\| f \right\|_p^ * = \left| {f,\chi _0 } \right| + \sum\limits_{k = 0}^\infty {2^{k({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} - {1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p})} } \left( {\sum\limits_{n = 2^k }^{2^{k + 1} - 1} {\left| {f,\chi _n } \right|^p } } \right)^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where (f,χ _n ), n = 0, 1, ..., are the Fourier coefficients of a function f ? L ^p [0, 1] in the Haar system {χ _n } _n≥0. In particular, we present conditions for the system {? _n } _n≥0 of contractions and translations of a function ? to be a basis for the spaces L ^p [0, 1] and $ \mathfrak{L}^p $ .     

On the best constants in the Khintchine inequality for Steinhaus variables

Let S _j : (Ω, P) → S ¹ ? ? be an i.i.d. sequence of Steinhaus random variables, i.e. variables which are uniformly distributed on the circle S ¹. We determine the best constants a _p in the Khintchine-type inequality $${a_p}{\left\| x \right\|_2} \leqslant {\left( {{\text{E}}{{\left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|}^p}} \right)^{1/p}} \leqslant {\left\| x \right\|_2};{\text{ }}x = ({x_j})_{j = 1}^n \in {{\Bbb C}^n}$$ for 0 < p < 1, verifying a conjecture of U. Haagerup that $${a_p} = \min \left( {\Gamma {{\left( {\frac{p}{2} + 1} \right)}^{1/p}},\sqrt 2 {{\left( {{{\Gamma \left( {\frac{{p + 1}}{2}} \right)} \mathord{\left/ {\vphantom {{\Gamma \left( {\frac{{p + 1}}{2}} \right)} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right. \kern-\nulldelimiterspace} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right)}^{1/p}}} \right)$$ . Both expressions are equal for p = p ₀ }~ 0.4756. For p ≥ 1 the best constants a _p have been known for some time. The result implies for a norm 1 sequence x ∈ ? ⁿ , ‖x‖₂ = 1, that $${\text{E}}\ln \left| {\frac{{{S_1} + {S_2}}}{{\sqrt 2 }}} \right| \leqslant {\text{E}}\ln \left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|$$ , answering a question of A. Baernstein and R. Culverhouse.     

Precise asymptotics of complete moment convergence on moving average

Let {ξi,-∞i∞} be a doubly infinite sequence of identically distributed-mixing random variables with zero means and finite variances,{ai,-∞i∞} be an absolutely summable sequence of real numbers and X k =∑i=-∞+∞ aiξi+k be a moving average process.Under some proper moment conditions,the precise asymptotics are established for     

Regularity for solutions to anisotropic obstacle problems

For Ω a bounded subset of R n,n 2,ψ any function in Ω with values in R∪{±∞}andθ∈W1,(q i)(Ω),let K(q i)ψ,θ(Ω)={v∈W1,(q i)(Ω):vψ,a.e.and v-θ∈W1,(q i)0(Ω}.This paper deals with solutions to K(q i)ψ,θ-obstacle problems for the A-harmonic equation-divA(x,u(x),u(x))=-divf(x)as well as the integral functional I(u;Ω)=Ωf(x,u(x),u(x))dx.Local regularity and local boundedness results are obtained under some coercive and controllable growth conditions on the operator A and some growth conditions on the integrand f.     

Lower semicontinuity and relaxation of signed functionals with linear growth in the context of {\mathcal A}-quasiconvexity

A lower semicontinuity and relaxation result with respect to weak-* convergence of measures is derived for functionals of the form $$\mu \in \mathcal{M}(\Omega; \mathbb{R}^d) \to \int \limits_\Omega f(\mu^a(x))\,{\rm {d}}x +\int \limits_\Omega f^\infty \left( \frac{{\rm{d}}\mu^s}{d|\mu^s|}(x)\right) \, d| \mu^s|(x),$$ where admissible sequences {μ _n } are such that ${\{{\mathcal{A}}\mu_{n}\}}$ converges to zero strongly in ${W^{-1 q}_{\rm loc}(\Omega)}$ and ${\mathcal {A}}$ is a partial differential operator with constant rank. The integrand f has linear growth and L ^∞-bounds from below are not assumed.     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$