On the degree of complex rational approximation to real functions

Iff∈C[?1, 1] is real-valued, letE _R ^mn (f) andE _C ^mn (f) be the errors in best approximation tof in the supremum norm by rational functions of type (m, n) with real and complex coefficients, respectively. We show that form≥n?1≥0 $$\gamma _{mn} = \inf \{ {{E_{mn}^C (f)} \mathord{\left/ {\vphantom {{E_{mn}^C (f)} {E_{mn}^R (f)}}} \right. \kern-\nulldelimiterspace} {E_{mn}^R (f)}}:f \in C[ - 1,1]\} = \tfrac{1}{2}.$$      

Absolute convergence of Walsh-Fourier series and related results

We consider the Walsh orthonormal system on the interval [0, 1) in the Paley enumeration and the Walsh-Fourier coefficients $ \hat f $ (n), n ∈ ?, of functions f ∈ L ^p for some 1 < p ≤ 2. Our aim is to find best possible sufficient conditions for the finiteness of the series Σ _n=1 ^∞ a _n | $ \hat f $ (n)| ^r , where {a _n } is a given sequence of nonnegative real numbers satisfying a mild assumption and 0 < r < 2. These sufficient conditions are in terms of (either global or local) dyadic moduli of continuity of f. The sufficient conditions presented in the monograph [2] are special cases of our ones.     

Regions of variability for convex functions

Let ?? be the class of convex univalent functions f in the unit disc ?? normalized by f (0) = f ′(0) – 1 = 0. For z ₀ ∈ ?? and |λ | ≤ 1 we shall determine explicitly the regions of variability {log f ′(z ₀): f ∈ ??, f ″(0) = 2λ }. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on strong summability of two-dimensional Walsh-Fourier series

The paper deals with the strong summability of Marcinkiewicz means with a variable power. Let $$H_n \left( {f,x,y,A_n } \right): = \tfrac{1} {n}\sum\nolimits_{l = 1}^n {\left( {e^{\left. {A_n } \right|\left. {S_{ll} \left( {f,x,y} \right) - f\left( {x,y} \right)} \right|^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } - 1} \right)} .$$ It is shown that if A _n ↑ ∞ arbitrary slowly, there exists f ∈ C(I ²) such that lim _n→∞ H _n (f, 0, 0, A _n ) = +∞. At the same time, for every f ∈ C (I ²) there exists A _n (f) ↑ ∞ such that lim _n→∞ H _n (f, x, y, A _n ) = 0 uniformly on I ².     

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.     

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

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.     

Неравенства типа Джексона-Стечкина и значения поперечников некоторых классов функций из L 2

The exact values of diverse n-widths of periodical functions belong L ₂ space and satisfying the following condition: $\left( {\int_0^h {t\tilde \Omega _m^p (f^{(r)} ,t)dt} } \right)^{1/p} \leqslant \Phi (h),$ , where m, n, r ∈ ?, 2/r < p ≤ 2, h ∈ ?₊, $\tilde \Omega _m (f^{(r)} ,t)$ is the generalized modulus of continuity of m-order derivative f ^(r) ∈ L ₂, r ∈ ?, while Φ(t) is an arbitrary increasing function and Φ(0) = 0 are found in the article.     

Metric diophantine approximation in Julia sets of expanding rational maps

Let T : J → J be an expanding rational map of the Riemann sphere acting on its Julia set J andf : J →R denote a Hölder continuous function satisfyingf(x)?log | T′(x vb for allx in J. Then for any pointz ₀ in J define the set D_{z 0}(f) of “well-approximable” points to be the set of points in J which lie in the Euclidean ball $B(\gamma ,{\text{ exp(}} - \sum {_{i - 0}^{\mathfrak{n} - 1} } f(T^\ell x)))$ for infinitely many pairs (y, n) satisfying T ⁿ (y)=z₀. We prove that the Hausdorff dimension of D_{z 0}(f) is the unique positive numbers(f) satisfying the equation P(T,?s(f).f)=0, where P is the pressure on the Julia set. This result is then shown to have consequences for the limsups of ergodic averages of Hölder continuous functions. We also obtain local counting results which are analogous to the orbital counting results in the theory of Kleinian groups.     

Weighted tight frames of exponentials on a finite interval

Given a finite intervalI?R, a characterization is given for those discrete sets of real numbers Λ and associated sequences {c _λ}_λ∈Λ, withc _λ>0, having the properties that every functionf∈L ²(I) can be expanded inL ²(I) as the unconditionally convergent series $$f = \sum\limits_{\lambda \in \Lambda } {\hat f} (\lambda )c_\lambda e^{2\pi i\lambda x} $$ and that the range of the mappingL ²(I)→L _μ ² :f→f has finite codimension inL _μ ² , iff denotes the Fourier transform off and μ is the measure μ = ∑_λ∈Λ c _λ δ_λ.     

Simultaneous approximation by algebraic polynomials

Some estimates for simultaneous polynomial approximation of a function and its derivatives are obtained. These estimates are exact in a certain sense. In particular, the following result is derived as a corollary: Forf∈C ^r[?1,1],m∈N, and anyn≥max{m+r?1, 2r+1}, an algebraic polynomialP _n of degree ≤n exists that satisfies $$\left| {f^{\left( k \right)} \left( x \right) - P_n^{\left( k \right)} \left( {f,x} \right)} \right| \leqslant C\left( {r,m} \right)\Gamma _{nrmk} \left( x \right)^{r - k} \omega ^m \left( {f^{\left( r \right)} ,\Gamma _{nrmk} \left( x \right)} \right),$$ for 0≤k≤r andx ∈ [?1,1], where ω^υ(f^(k),δ) denotes the usual vth modulus of smoothness off ^(k), and Moreover, for no 0≤k≤r can (1?x ²)( ^{r?k+1)/(r?k+m)}(1/n²)^{(m?1)/(r?k+m)} be replaced by (1-x²)^αkn^2αk-2, with α_k>(r-k+a)/(r-k+m).     

Copositive pointwise approximation

We prove that if a functionf ∈C ⁽¹⁾ (I),I: = [?1, 1], changes its signs times (s ∈ ?) within the intervalI, then, for everyn > C, whereC is a constant which depends only on the set of points at which the function changes its sign, andk ∈ ?, there exists an algebraic polynomialP _n =P _n (x) of degree ≤n which locally inherits the sign off(x) and satisfies the inequality $$\left| {f\left( x \right) - P_n \left( x \right)} \right| \leqslant c\left( {s,k} \right)\left( {\frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right)\omega _k \left( {f'; \frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right), x \in I$$ , where ω _k (f′;t) is thekth modulus of continuity of the functionf’. It is also shown that iff ∈C (I) andf(x) ≥ 0,x ∈I then, for anyn ≥k ? 1, there exists a polynomialP _n =P _n (x) of degree ≤n such thatP _n (x) ≥ 0,x ∈I, and |f(x) ?P _n (x)| ≤c(k)ω _k (f;n ^?2 +n ^?1 √1 ?x ²),x ∈I.     

Widths of classes of periodic differentiable functions in the space L 2[0, 2π]

We obtain exact values of different n-widths for classes of differentiable periodic functions in the space L ₂[0, 2π] satisfying the constraint $$ \left( {\int_0^h {\omega _m^p \left( {f^{\left( r \right)} ;t} \right)dt} } \right)^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} \leqslant \Phi \left( h \right) $$ , where 0 < h < ∞, 1/r < p ≤ 2, r ∈ ?, and ω _m (f ^(r); t) is the modulus of continuity of mth order of the derivative f ^(r)(x) ∈ L ₂[0, 2π].     

Inequalities between best polynomial approximations and some smoothness characteristics in the space <Emphasis Type="Italic">L</Emphasis> <Subscript>2</Subscript> and widths of classes of functions

We obtain exact constants in Jackson-type inequalities for smoothness characteristics Λ_k(f), k ∈ N, defined by averaging the kth-order finite differences of functions f ∈ L₂. On the basis of this, for differentiable functions in the classes L₂^r, r ∈ N, we refine the constants in Jackson-type inequalities containing the kth-order modulus of continuity ω_k. For classes of functions defined by their smoothness characteristics Λ_k(f) and majorants Φ satisfying a number of conditions, we calculate the exact values of certain n-widths.     

Estimation of the remainder of a cubature formula on a Chebyshev grid

Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r ₁, r ₂) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R _{m, n} (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??.     

Estimates for sums of moduli of blocks in trigonometric Fourier series

We consider the following two problems. Problem 1: what conditions on a sequence of finite subsets A _k ? ? and a sequence of functions λ _k : A _k → ? provide the existence of a number C such that any function f ∈ L ₁ satisfies the inequality ‖U _A,Λ(f)‖ _p ≤ C‖f‖₁ and what is the exact constant in this inequality? Here, \(U_{\mathcal{A},\Lambda } \left( f \right)\left( x \right) = \sum\nolimits_{k = 1}^\infty {\left| {\sum\nolimits_{m \in A_k } {\lambda _k \left( m \right)c_m \left( f \right)e^{imx} } } \right|}\) and c _m (f) are Fourier coefficients of the function f ∈ L ₁. Problem 2: what conditions on a sequence of finite subsets A _k ? ? guarantee that the function \(\sum\nolimits_{k = 1}^\infty {\left| {\sum\nolimits_{m \in A_k } {c_m \left( h \right)e^{imx} } } \right|}\) belongs to L _p for every function h of bounded variation?     

Sharp estimates for operator\bar \partial _M on aq-concave CR manifoldon aq-concave CR manifold

We construct integral operatorsR _r andH _r on the spaces of differential forms of the type (o, r) withr <q on a regularq-concave CR manifoldM such that $$f(z) = \bar \partial _M R_r (f)(z) + R_{r + 1} (\bar \partial _M f)(z) + H_r (f)(z),$$ for a differential formf ∈ L _(0,r) ^s (M) and forz ∈ M′ ?M, whereH _r is compact andR _r admits sharp estimates.     

A constructive description of Hölder classes on closed Jordan curves

Let Γ be a closed, Jordan, rectifiable curve, whose are length is commensurable with its subtending chord, leta ε int Γ, and let R_n(a) be the set of rational functions of degree ≤n, having a pole perhaps only at the pointa. Let Λ^α(Γ), 0 < α < 1, be the Hölder class on Γ. One constructs a system of weights γ_n(z) > 0 on Γ such that f∈Λ^α(Γ) if and only if for any nonnegative integer n there exists a function R_n, R_n ε R_n(a) such that ¦f(z) ? R_n(z)¦ ≤ c_f·γ_n(z), z ε Γ. It is proved that the weights γ_n cannot be expressed simply in terms of ρ ₁ ⁺ /n^(z) and ρ ₁ ^- /n^(z), the distances to the level lines of the moduli of the conformal mappings of ext Γ and int Γ on \(\mathbb{C}\backslash \mathbb{D}\) .     

Centralizers of generalized skew derivations on multilinear polynomials

Let R be a prime ring of characteristic different from 2, let Q be the right Martindale quotient ring of R, and let C be the extended centroid of R. Suppose that G is a nonzero generalized skew derivation of R and f(x ₁,..., x _n ) is a noncentral multilinear polynomial over C with n noncommuting variables. Let f(R) = {f(r ₁,..., r _n ): r _i ∈ R} be the set of all evaluations of f(x ₁,..., x _n ) in R, while A = {[G (f(r ₁,..., r _n )), f(r ₁,..., r _n )]: r _i ∈ R}, and let C _R (A) be the centralizer of A in R; i.e., C _R (A) = {a ∈ R: [a, x] = 0, ? _x ∈ A }. We prove that if A ≠ (0), then C _R (A) = Z(R).