Pointwise and uniform estimates for convex approximation of functions by algebraic polynomials

Let Δ ^q be the set of functionsf for which theqth difference, is nonnegative on the interval [? 1,1],P _n is the set of algebraic polynomials of degree not exceedingn, τ _k (f, δ) _p is the averaged Sendov-Popov modulus of smoothness in theL _p [?1,1] metric for 1≦p≦∞, ω _k (f, δ) and $\omega _\phi ^k (f,\delta ),\phi (x): = \sqrt {1 - x^2 } ,$ , are the usual modulus and the Ditzian-Totik modulus of smoothness in the uniform metric, respectively. For a functionf∈C[?1,1]?Δ² we construct a polynomialp _n ∈P _n ?Δ² such that $$\begin{gathered} \left| {f(x) - p_n (x)} \right| \leqslant C\omega _3 (f,n^{ - 1} \sqrt {1 - x^2 } + n^{ - 2} ),x \in [ - 1,1]; \hfill \\ \left\| {f - p_n } \right\|_\infty \leqslant C\omega _\phi ^3 (f,n^{ - 1} ); \hfill \\ \left\| {f - p_n } \right\|_p \leqslant C\tau _3 (f,n^{ - 1} )_p . \hfill \\ \end{gathered}$$ As a consequence, for a functionf∈C ²[?1,1]?Δ³ a polynomialp _n ^* ∈P _n ?Δ³ exists such that $$\left\| {f - p_n^* } \right\|_\infty \leqslant Cn^{ - 1} \omega _2 (f\prime ,n^{ - 1} ),$$ wheren≥2 andC is an absolute constant.     

Monotone polynomial approximation inL p space

We prove that for monotone functionf(x)∈L _p [?1, 1], 1≤p<∞, there exists a monotone algebraic polynomialL _n (f,x) of degreen such that \(\left\| {f(x) - L_n (f,x)} \right\|_p \leqslant C\omega _{2,\varphi } \left( {f,\frac{1}{n}} \right)_p \) , where \(\varphi (x) = \sqrt {1 - x^2 } \) and ω_2,?, is the second-order modulus of smoothness which weighs differently the behavior off(x) in the middle of the interval and near the endpoints. This estimate improves the known result of Shvedov.     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.     

On rational approximations of functions of complex variable integrable over plane domains

пУстьE — ИжМЕРИМОЕ пО лЕБЕгУ ОгРАНИЧЕННОЕ МНОжЕстВО пОлОжИтЕльНОИ плОЩА ДИ mes₂ E кОМплЕксНОИ плОск ОстИ с. кАк ОБыЧНО, пРИp≧1 ОБОжНАЧИМ ЧЕРЕжL ^p (E) БА НАхОВО пРОстРАНстВО ИжМЕРИ Мых пО лЕБЕгУ НАE кОМплЕксНОжНАЧНых Ф УНкцИИf с сУММИРУЕМО Иp—стЕпЕНьУ Их МОДУль И ОБыЧНОИ НОРМОИ \(\left\| \cdot \right\|_p = \left\| \cdot \right\|_{L_p (E)}\) . ЧЕР ЕжL ^p R _n (f,E) ОБОжНАЧИМ НАИМЕН ьшЕЕ УклОНЕНИЕf?L ^p (E) От РАц ИОНАльНых ФУНкцИИ ст ЕпЕНИ ≦n кОМплЕксНОгО пЕРЕМЕ ННОгОz пО НОРМЕ ∥ · ∥. пОлОжИМf(z)=0 Дльz?¯CE,E _δ —δ-ОкРЕстНОсть МНО жЕстВАE (δ>0), И $$\omega _p (\delta ,f) = \mathop {\sup {\mathbf{ }}}\limits_{\left| h \right|< \delta } \{ \int\limits_{E_\sigma } {\int {{\mathbf{ }}|f(z + h) - f(z)|^p } d\sigma } \} ^{1/p} .$$ тЕОРЕМА.пУсть 1≦p<2,f?L _p (E),n≧4.тОгДА $$\begin{array}{*{20}c} {L^p R_n (f,E) \leqq 12\omega _p \left( {\frac{{\delta + \ln n}}{{\sqrt n }},f} \right){\mathbf{ }}npu{\mathbf{ }}p = 1,} \\ {L^p R_n (f,E) \leqq \frac{{24}}{{(p - 1)(2 - p)}}\omega _p (n^{(p - 2)/2p} ,f){\mathbf{ }}npu{\mathbf{ }}1< p< 2,} \\ {L^1 R_n (\bar z,[0,1] \times [0,1]) \geqq \frac{1}{{32\sqrt n }}.} \\ \end{array} $$ .     

L p-approximation by Kantorovič operators

Оператор Канторович а дляf∈L _p(I), I=[0,1], определяе тся соотношением $$P_n (f,x) = (n + 1)\sum\limits_{k = 0}^n {\left( {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right)} x^k (1 - x)^{n - 1} \int\limits_{I_k } {f(t)dt,} $$ гдеI _k=[k/(n}+1),(k+1)/(n+ 1)],n∈N. Доказывается, что есл ир>1 иf∈W _p ² (I), т.е.f абсол ютно непрерывна наI иf″∈L _p(I), то $$\left\| {P_n f - f} \right\|_p = O(n^{ - 1} ).$$ Далее, установлено, чт о еслиf∈L _p(I),p>1 и ∥P _n f-f∥_р=О(n ^?1), тоf∈S, гдеS={f∶f аб-солютно непрерывна наI, x(1?x)f′(x)=∝ ₀ ^x h(t)dt, гдеh∈L _p(I) и ∝ ₀ ¹ h(t)dt=0}. Если жеf∈L_p(I),p>1, то из условия ∥P _n(f)?f∥_pL=o(n^?1) вытекает, чтоf постоянна почти всюду.     

Moduli of continuity defined by zero continuation of functions andK-functionals with restrictions

We consider the followingK-functional: $$K(\delta ,f)_p : = \mathop {\sup }\limits_{g \in W_{p U}^r } \left\{ {\left\| {f - g} \right\|_{L_p } + \delta \sum\limits_{j = 0}^r {\left\| {g^{(j)} } \right\|_{L_p } } } \right\}, \delta \geqslant 0,$$ where ? ∈L _p :=L _p [0, 1] andW _p,U ^r is a subspace of the Sobolev spaceW _p ^r [0, 1], 1≤p≤∞, which consists of functionsg such that $\int_0^1 {g^{(l_j )} (\tau ) d\sigma _j (\tau ) = 0, j = 1, ... , n} $ . Assume that 0≤l _l ≤...≤l _n ≤r-1 and there is at least one point τ _j of jump for each function σ _j , and if τ _j =τ _s forj ≠s, thenl _j ≠l _s . Let $\hat f(t) = f(t)$ , 0≤t≤1, let $\hat f(t) = 0$ ,t<0, and let the modulus of continuity of the functionf be given by the equality $$\hat \omega _0^{[l]} (\delta ,f)_p : = \mathop {\sup }\limits_{0 \leqslant h \leqslant \delta } \left\| {\sum\limits_{j = 0}^l {( - 1)^j \left( \begin{gathered} l \hfill \\ j \hfill \\ \end{gathered} \right)\hat f( - hj)} } \right\|_{L_p } , \delta \geqslant 0.$$ We obtain the estimates $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 ]} (\delta ,f)_p $ and $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 + 1]} (\delta ^\beta ,f)_p $ , where β=(pl _l + 1)/p(l ₁ + 1), and the constantc>0 does not depend on δ>0 and ? ∈L _p . We also establish some other estimates for the consideredK-functional.     

Strong approximation of Riesz means at critical index on Hp(T) (0<p≤1)

This paper is a continuation of [3]. Suppose f∈H^p(T), 0σ _r ^σ f,σ=1/p?1. When p=1, it is just the partial Fourier sums S_kf. In this paper we establish the sharp estimations on the degree of approximation: $$\left\{ { - \frac{1}{{logR}}\int\limits_1^R {\left\| {\sigma _r^\delta f - f} \right\|_{H^p (T)}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqq C{\mathbf{ }}{}_p\omega \left( {f,{\mathbf{ }}( - \frac{1}{{logR}})^{1/p} } \right)_{H^p (T)} ,0< p< 1,$$ and \(\frac{1}{{\log L}}\sum\limits_{k - 1}^L {\frac{{\left\| {S_k f - f} \right\|_H 1_{(T)} }}{k} \leqq Cp\omega (f; - \frac{1}{{\log L}})_H 1_{(T)} } \) Where $$\omega (f,{\mathbf{ }}h)_{H^p (T)} \begin{array}{*{20}c} { = Sup} \\ {0 \leqq \left| u \right| \leqq h} \\ \end{array} \left\| {f( \cdot + u) - f( \cdot )} \right\|_{H^p (T).} $$ .     

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.     

Improved error bounds for near-minimax approximations

Givenf εC ⁽ⁿ⁺¹⁾[?1, 1], a polynomialp _n, of degree ≤n, is said to be near-minimax if (*) $$\left\| {f - p_n } \right\|_\infty = 2^{ - n} |f^{(n + 1)} (\xi )|/(n + 1)!,$$ for some ζ ε (?1,1). For three sets of near-minimax approximations, by considering the form of the error ∥f ?p _n∥_∞ in terms of divided differences, it is shown that better upper and lower bounds can be found than those given by (*).     

Polynomial approximation inL p(S) forp>0

For a simple polytopeS inR ^d andp>0 we show that the best polynomial approximationE _n(f)_p≡E_n(f)L_p(S) satisfies $$E_n \left( f \right)_p \leqslant C\omega _S^r \left( {f,\frac{1}{n}} \right)p,$$ where ω _S ^r is a measure of smoothness off. This result is the best possible in the sense that a weak-type converse inequality is shown and a realization of ω _S ^r (f,t)_p via polynomial approximation is proved.     

О некоторых свойства х частичных сумм рядо в Фурье—Уолша—Пэли

In this paper we consider the behaviour of partial sums of Fourier—Walsh—Paley series on the group62-01. We prove the following theorems: Theorem 1. Let {n _k } _k ^=1/∞ be some increasing convex sequence of natural numbers such that $$\mathop {\lim sup}\limits_m m^{ - 1/2} \log n_m< \infty $$ . Then for anyf∈L ^∞(G) $$\left( {\frac{1}{m}\sum\limits_{j = 1}^m {|Sn_j (f;0)|^2 } } \right)^{1/2} \leqq C \cdot \left\| f \right\|_\infty $$ . Theorem 2. Let {n _k } _k ^=1/∞ be a lacunary sequence of natural numbers,n _k+1/n _k≧q>1. Then for anyfεL ^∞(G) $$\sum\limits_{j = 1}^m {|Sn_j (f;0)| \leqq C_q \cdot m^{1/2} \cdot \log n_m \cdot \left\| f \right\|_\infty } $$ . Theorems. Let µ _k =2 ^k +2 ^k-2+2 ^k-4+...+2^α ₀,α ₀=0,1. Then $$\begin{gathered} \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in L^\infty (G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = 0(m)^2 \} .} \hfill \\ \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = o(m)^2 \} = } \hfill \\ = \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} \hfill \\ \end{gathered} $$ . Theorem 4. {{S ₂ k(f: 0)} _k ^=1/∞ ,f∈L ^∞(G)}=m. $$\{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = c. \{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} = c_0 $$ .     

Exact and asymptotic estimates forn-widths of some classes of periodic functions

Let \(\tilde W_p^r : = \left\{ {f\left| {f \in C^{r - 1} } \right.} \right.\left[ {0,2\pi } \right],f^{(i)} (0) = f^{(i)} (2\pi ),i = 0, \ldots ,r - 1,f^{(r - 1)}\) , abs. cont. on [0, 2π] andf ^(r)∈L ^p[0, 2π]}, and set \(\tilde B_p^r : = \left\{ {f\left| {f \in \tilde W_p^r ,} \right.\left\| {f^{(r)} } \right\|_p \leqslant 1} \right\}\) . We find the exact Kolmogrov, Gel'fand, and linearn-widths of \(\tilde B_p^r\) inL ^p forn even and allp∈(1, ∞). The strong asymptotic estimates forn-widths of \(\tilde B_p^r\) inL ^p are also obtained.     

A method for summing Fourier integrals of functions from H p (E 2n + ), 0 < p < ∞

Suppose that H ^p (E _2n ⁺ ) is the Hardy space for the first octant $$E_{2n}^ + = \{ z \in \mathbb{C}^n :\operatorname{Im} z_j > 0, j = 1, \ldots ,n\} $$ and P _? ^l (f, x), l > 0, is the generalized Abel-Poisson means of a function f ? H ^p (E _2n ⁺ ). In this paper, we prove the inequalities $$C_1 (l,p)\widetilde\omega _l (\varepsilon ,f)_p \leqslant \left\| {f(x) - P_\varepsilon ^l (f,x)} \right\|_p \leqslant C_2 (l,p)\omega _l (\varepsilon ,f)_p ,$$ where $\widetilde\omega _l (\varepsilon ,f)_p $ and ω _l (?, f) _p are the integral moduli of continuity of lth order. For n = 1 and an integer l, this result was obtained by Soljanik.     

Additive functions at consecutive integers

Additive functions f ₀,…,f _k satisfying the relation $$\liminf_{x\to\infty}\frac{1}{x}\sum_{n\leqq x} \|f_0(n)+ \dots+f_k(n+k) +\Gamma\| =0 $$ are characterized for those f _j for which ∥f _j (p)∥≦η holds for every prime p, and η is a suitable small positive number, $\|z\| =\min_{k\in\mathbb{Z}} {|z-k|}$ .     

Quasikonvexe Multiplikatoren starker Konvergenz

пУсть {f _k; f _k ^* ?X×X^* — пОлНАь БИОРтОгОНАльНАь сИс тЕМА В БАНАхОВОМ пРОстРАН стВЕ X (X^* — сОпРьжЕННОЕ пРОст РАНстВО). пУсть (?→+0) $$\begin{gathered} S_n f = \sum\limits_{k = 0}^n {f_k^* (f)f_k ,} K(f,t) = \mathop {\inf }\limits_{g \in Z} (\left\| {f - g} \right\|_x + t\left| g \right|_z ), \hfill \\ X_0 = \{ f \in X:\mathop {\lim }\limits_{n \to \infty } \left\| {S_n f - f} \right\|_x = 0\} ,X_\omega = \{ f \in X:K(f,t) = 0(\omega (t))\} , \hfill \\ \end{gathered} $$ гДЕZ?X — НЕкОтОРОЕ пОД пРОстРАНстВО с пОлУН ОРМОИ ¦·¦ И Ω — МОДУль НЕпРЕРыВНО стИ УДОВлЕтВОРьУЩИИ Усл ОВИУ sup Ω(t)/t=∞. пОслЕДОВАтЕ льНОстьΤ={Τ _k} кОМплЕксНых ЧИ сЕл НАжыВАЕтсь МНОжИтЕл ЕМ сИльНОИ схОДИМОст И ДльX _Τ, жАпИсьΤ?М[X _Τ,X _Τ], ЕслИ Д ль кАжДОгО ЁлЕМЕНтАf?X _Τ сУЩЕстВ УЕт тАкОИ ЁлЕМЕНтf ^τ?х₀, ЧтОf _k ^* (f ^τ)=Τ_kf _k ^* (f) Дль ВсЕхk. ДОкА жАНО сРЕДИ ДРУгИх слЕДУУЩ ЕЕ УтВЕРжДЕНИЕ. тЕОРЕМА. пУсmь {f_k; f _k ^* } —Н ЕкОтОРыИ (с, 1)-БАжИс тАк ОИ, ЧтО ВыпОлНьУтсь НЕРАВЕН стВА тИпА НЕРАВЕНстВА ДжЕ ксОНА с пОРьДкОМ O(?_n) u тИ пА НЕРАВЕНстВА БЕРНшmЕИ НА с пОРьДкОМ O(1/?_n). ЕслИ пОслЕДОВАтЕл ьНОсть Τ кВАжИВыпУкл А И ОгРАНИЧЕНА, тО $$\tau \in M[X_{\omega ,} X_0 ] \Leftrightarrow \omega (\varphi _n )\tau _n \left\| {S_n } \right\|_{[X,X]} = o(1).$$ ЁтОт ОБЩИИ пОДхОД НЕМ ЕДлЕННО ДАЕт клАссИЧ ЕскИЕ РЕжУльтАты, ОтНОсьЩИ Есь к ОДНОМЕРНыМ тРИгОНОМЕтРИЧЕскИМ РьДАМ. НО тЕпЕРь ВОжМО жНы ДАльНЕИшИЕ пРИлОжЕН Иь, НАпРИМЕР, к РАжлОжЕНИьМ пО пОлИ НОМАМ лЕжАНДРА, лАгЕР РА ИлИ ЁРМИтА.     

A theorem concerning approximation on the sphere

Рассматривается тео рема типа Джексона и е е обращение на единичной сфереσ _n ?1≡σ пространстваR ⁿ . Сфери ческий сдвигS _y f(μ) фун кцииf(μ)∈L _p (σ), 1≦p≦∞, определяе тся как среднее значениеf(μ′) на «окружности»μ μ′=cosγ, μ,μ′∈σ. Для того, чтобы при 2k>г-2?>0 выполнялось нер авенство $$\left\| {(S_\gamma - E)^k D^\varrho f} \right\|L_p \left( \sigma \right) \leqq M\gamma ^{r - 2\varrho } $$ (гдеE — единичный опер атор, D - оператор Лапласа—Бельтрами) н еобходимо и достаточ но, чтобы наилучшее приб лижение функциf в мет рикеL _p (σ) полиномами порядкаv по сферическим гармоникам подчинял ось оценке $$E_v \left( f \right)_p \leqq \frac{K}{{v^r }} \left( {v = 1, 2, \ldots } \right).$$ Полное доказательст во дано приp=2.     

On the best polynomial approximation of entire transcendental functions in banach spaces. I

We study the behavior of the best approximationsE _n (?) _p of entire transcendental functions ?(z) of the order ρ=∞ by polynomials of at mostn th degree in the metric of the Banach space E′_p(Ω) of functions /tf(z) analytic in a bounded simply connected domain Ω with rectifiable Jordan boundary and such that $$\left\| f \right\|_{E'_p } = \left\{ {\iint_\Omega {\left| {f\left( z \right)} \right|^p }dxdy} \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}}< \infty $$ . In particular, we describe the relationship between the best approximationsE _n (?)_p and theq-order andq-type of the function ?(z).     

Оценки отклонений оп тимальных сеток вL p -норме и теория квад ратурных формул

Let E^s=[0, 1]^s be then-dimensional unit cube, 1<p<∞, anda=(a ₁, ...,a _s ) some set of natural numbers. Denote byL _p ^(a) , (E ^s ) the class of functionsf: E ^s → C for which $$\left\| {\frac{{\partial ^{b_1 + \cdots + b_s } f}}{{\partial x_1^{b_1 } \cdots \partial x_s^{b_s } }}} \right\|_p \leqslant 1,$$ where $$0< b_1< a_1 , ..., 0< b_s< a_s .$$ Set $$R_p^{\left( a \right)} \left( N \right) = \mathop {\inf }\limits_{card \mathfrak{S} = N} R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right),$$ where $R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right)$ is the error of the quadrature formulas on the mesh $\mathfrak{S}$ (for the classL _p ^(a) (E ^s )), consisting of N nodes and weights, and the infimum is taken with respect to all possibleN nodes and weights. In this paper, the two-sided estimate $$\frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }} \ll _{p, a} R^{\left( a \right)} \left( N \right) \ll _{p, a} \frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }}$$ is proved for every natural numberN > 1, whered=min{a ₁, ...,a _s }, whilel is the number of those components of a which coincide withd. An analogous result is proved for theL _p -norm of the deviation of meshes.     

Methods of summation and best approximation

Let λ={λ _k ⁿ } be a triangular method of summation,f ε L_p (1 ≤ p ≤ ∞), $$U_n (f,x,\lambda ) = \frac{{a_0 }}{2} + \sum _{k = 1}^n \lambda _k^n (a_k \cos kx + b_k \sin kx).$$ Consideration is given to the problem of estimating the deviations ∥f ? U_n (f, λ) ∥ L_p in terms of a best approximation E_n (f) L_p in abstract form (for a sequence of projectors in a Banach space). Various generalizations of known inequalities are obtained.