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).} $$ .     

Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

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.     

О РАцИОНАльНых сОстА ВльУЩИх МЕРОМОРФНых ФУНкцИИ И Их пРОИжВОД Ных

LetG be an arbitrary domain in \(\bar C\) ,f a function meromorphic inG, $$M_f \mathop = \limits^{def} \mathop {\lim \sup }\limits_{G \mathrel\backepsilon z \to \partial G} \left| {f(z)} \right|< \infty ,$$ andR the sum of the principal parts in the Laurent expansions off with respect to all its poles inG. We set $$f_G (z) = R(z) - \alpha ,{\mathbf{ }}where{\mathbf{ }}\alpha = \mathop {\lim }\limits_{z \to \infty } (f(z) - R(z))$$ in case ∞?G, andα=0 in case ∞?G. It is proved that $$\left\| {f_G } \right\|_{C(\partial G)} \leqq 50(\deg f_G )M_f ,{\mathbf{ }}\left\| {f'_G } \right\|_{L_1 (\partial G)} \leqq 50(\deg f_G )V(\partial G)M_f ,$$ where $$V(\partial G) = \sup \left\{ {\left\| {r'} \right\|_{L_1 (\partial G)} :r(z) = a/(z - b),{\mathbf{ }}\left\| r \right\|_{G(\partial G)} \leqq 1} \right\}.$$      

Evaluation of the limits of maximal means

It is proved that the limit $$\mathop {\lim }\limits_{\Delta \to \infty } \mathop {\sup }\limits_\gamma \tfrac{1}{\Delta }\int_0^\Delta {f(\gamma (t))dt} $$ , wheref: ? → ? is a locally integrable (in the sense of Lebesgue) function with zero mean and the supremum is taken over all solutions of the generalized differential equation γ ∈ [ω1, ω2], coincides with the limit $$\mathop {\lim }\limits_{T \to \infty } \mathop {\sup }\limits_{c \geqslant 0} \varphi _f (k,{\mathbf{ }}T,{\mathbf{ }}c)$$ , where $$\varphi _f = \frac{{(k - 1)\bar I_f (T,c)}}{{1 + (k - 1)\bar \lambda _f (T,c)}},k = \frac{{\omega _2 }}{{\omega _1 }}$$ . Here ¯λf = λf /T, ¯ I_f =If/T, and λf is the Lebesgue measure of the set $$\{ \gamma \in [\gamma _0 ,\gamma _0 + T]:f(\gamma ) \geqslant c\} = A_f ,I_f = \int_{A_f } {f(\gamma )d\gamma } $$ . It is established that this limit always exists for almost-periodic functionsf.     

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).     

A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$      

Some properties of elliptic Riesz means at critical index on Hp(TH)

Suppose f∈H^p(Tⁿ), 0 _r ^δ , δ=n/p?(n+1)/2. In this paper we eastablish the following inequality $$\mathop {\sup }\limits_{R > 1} \left\{ {\frac{1}{{\log R}}\int_1^R {\left\| {\sigma _r^\delta } \right\|_{H^p (T^R )}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqslant C_{R,p} \left\| f \right\|_{H^p (T^R )} $$ It implies that $$\mathop {\lim }\limits_{R \to \infty } \frac{1}{{\log R}}\int_1^R {\left\| {\sigma _r^\delta - f} \right\|_{H^p (T^R )}^p \frac{{dr}}{r}} = 0$$ Moreover we obtain the same conclusion when p=1 and n=1.     

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.     

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 постоянна почти всюду.     

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.     

On the similarity problem for polynomially bounded operators on hilbert space

Partial solutions are obtained to Halmos’ problem, whether or not any polynomially bounded operator on a Hilbert spaceH is similar to a contraction. Central use is made of Paulsen’s necessary and sufficient condition, which permits one to obtain bounds on ‖S‖ ‖S ^?1‖, whereS is the similarity. A natural example of a polynomially bounded operator appears in the theory of Hankel matrices, defining $$R_f = \left( {\begin{array}{*{20}c} {S*} \\ 0 \\ \end{array} \begin{array}{*{20}c} {\Gamma _f } \\ S \\ \end{array} } \right)$$ onl ² ⊕l ², whereS is the shift and Γ _f the Hankel operator determined byf withf′ ∈ BMOA. Using Paulsen’s condition, we prove thatR _f is similar to a contraction. In the general case, combining Grothendieck’s theorem and techniques from complex function theory, we are able to get in the finite dimensional case the estimate $$\left\| S \right\|\left\| {S^{ - 1} } \right\| \leqq M^4 log(dim H)$$ whereSTS ^?1 is a contraction and assuming \(\left\| {p\left( T \right)} \right\| \leqq M\left\| p \right\|_\infty \) wheneverp is an analytic polynomial on the disc.     

Оценки отклонений оп тимальных сеток в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.     

Kriterien in der Theorie der Gleichverteilung

It is the aim of this paper to introduce two new notions of discrepancy. They are defined by the formulas $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z e^2 \pi i\omega \left( n \right)} \right)} - f\left( 0 \right)} \right|, and \hfill \\ \delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z \omega \left( n \right)} \right)} \cdot z - \int\limits_0^z {f\left( \zeta \right)d\zeta } } \right|, \hfill \\ \end{gathered} $$ wheref is a holomorphic function defined in the unit disc withf ^(k) (0)≠0 for allk∈?,r<1 is a positive number, and ω is a sequence in [0, 1]. The first of these discrepancies can be generalized for multidimensional sequences. ω is uniform distributed if and only if lim _N→∞ Δ _N ^r (ω;f)=0 resp. lim _N→∞δ _N ^r (ω;f)=0. These results are proved in a quantitative way by estimating the classical discrepancyD _N (ω) by means ofΔ _N ^r (ω;f) and δ _N ^r (ω;f): $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Phi \left( {\Delta _N^r \left( {\omega ;f} \right)} \right), \hfill \\ \delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Psi \left( {\delta _N^r \left( {\omega ;f} \right)} \right). \hfill \\ \end{gathered} $$ The functions Φ and Ψ only depend onf andr. These estimations are based on the inequalities ofKoksma-Hlawka andErdös-Turán.     

О метрическом свойст ве Дарбу

A measurable functionf on [a, b] is called to possess the metric Darboux property if none of the intervalsI?[a, b] can be split into two measurable subsetsI′ andI″, of positive measure, such that $$\mathop {\sup vrai}\limits_{x \in I'} f\left( x \right)< \mathop {\inf vrai}\limits_{x \in I''} f\left( x \right)$$ It is proved that each functionfεL _p [0, 1] for which $$\mathop {\lim \inf }\limits_{\delta \to + 0} \delta ^{{{ - 1} \mathord{\left/ {\vphantom {{ - 1} p}} \right. \kern-\nulldelimiterspace} p}} \omega _p \left( {f; \delta } \right)< \infty ,$$ can be represented as a sum of a function of boundedp-variation and a function possessing the metric Darboux property. It is proved that the above condition on the modulus of continuity cannot be weakened. Certain problems connected with the lower symmetric densities of measurable sets are also considered.