Sharp Estimates for Deviations of Linear Approximation Methods for Periodic Functions by Linear Combinations of Moduli of Continuity of Different Order

Estimates for deviations are established for a large class of linear methods of approximation of periodic functions by linear combinations of moduli of continuity of different orders. These estimates are sharp in the sense of constants in the uniform and integral metrics. In particular, the following assertion concerning approximation by splines is proved: Suppose that is odd, . Then

Truncation error bounds for modified continued fractions with applications to special functions

Much recent work has been done to investigate convergence of modified continued fractions (MCF's), following the proof by Thron and Waadeland [35] in 1980 that a limit-periodic MCFK(a _n , 1;x ₁), with andnth approximant

An accurate approximation of zeta-generalized-Euler-constant functions

Zeta-generalized-Euler-constant functions,

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.     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

On a relationship in the theory of Fourier series

In this paper we prove the validity of the inequality $$\begin{array}{*{20}c} {\sup } \\ n \\ \end{array} \int_{ - \pi }^\pi {\left| {\frac{{f(0)}}{2} + \sum\nolimits_{k = 1}^n f \left( {\frac{{k\pi }}{n}} \right)e^{ikt} } \right|} dt \leqslant C\sum\nolimits_{m = 0}^\infty {\left| {\int_0^\pi {f(t)e^{imt} dt} } \right|}$$ for an arbitrary continuous function (C is an absolute constant). An inequality in the opposite sense was obtained by one of us earlier.     

A note on parameterized Marcinkiewicz integrals with variable kernels

In this paper,the parameterized Marcinkiewicz integrals with variable kernels defined by μΩ^ρ（f）（x）=（∫0^∞│∫│1-y│≤t Ω（x,x-y）/│x-y│^n-p f（y）dy│^2dt/t1＋2p）^1/2 are investigated.It is proved that if Ω∈ L∞（R^n） × L^r（S^n-1）（r〉（n-n1p＇/n） is an odd function in the second variable y,then the operator μΩ^ρ is bounded from L^p（R^n） to L^p（R^n） for 1 〈 p ≤ max{（n＋1）/2,2}.It is also proved that,if Ω satisfies the L^1-Dini condition,then μΩ^ρ is of type（p,p） for 1 〈 p ≤ 2,of the weak type（1,1） and bounded from H1 to L1.     

THE ASYMPTOTIC BEHAVIOUR OF ANALYTIC FUNCTIONS

AIn this paper, the author obtains the following results:(1) If Taylor coeffiients of a function satisfy the conditions:(i),(ii),(iii)A_k=O(1/k) the for any h>0 the function φ(z)=exp{w(z)} satisfies the asymptotic equality the case h>1/2 was proved by Milin.(2) If f(z)=z α_2z~2 …∈S~* and,then for λ>1/2     

Precise Asymptotics in the Baum-Katz and Davis Laws of Large Numbers of ρ-mixing Sequences

Let {X,Xn;n ≥ 1} be a strictly stationary sequence of ρ-mixing random variables with mean zeros and finite variances. Set Sn =∑k=1^n Xk, Mn=maxk≤n｜Sk｜,n≥1.Suppose limn→∞ESn^2/n=：σ^2〉0 and ∑n^∞=1 ρ^2/d（2^n）〈∞,where d=2 if 1≤r〈2 and d〉r if r≥2.We prove that if E｜X｜^r 〈∞,for 1≤p〈2 and r〉p,then limε→0ε^2（r-p）/2-p ∑∞n=1 n^r/p-2 P{Mn≥εn^1/p}=2p/r-p ∑∞k=1（-1）^k/（2k＋1）^2（r-p）/（2-p）E｜Z｜^2（r-p）/2-p,where Z has a normal distribution with mean 0 and variance σ^2.     

Sharp Kolmogorov-Type Inequalities for Moduli of Continuity and Best Approximations by Trigonometric Polynomials and Splines

In what follows, $C$ is the space of -periodic continuous functions; P is a seminorm defined on C, shift-invariant, and majorized by the uniform norm; is the mth modulus of continuity of a function f with step h and calculated with respect to P; , ( ), ,

On the normalizing multiplier of the generalized Jackson kernel

We consider the question of evaluating the normalizing multiplier $$\gamma _{n,k} = \frac{1}{\pi }\int_{ - \pi }^\pi {\left( {\frac{{sin\tfrac{{nt}}{2}}}{{sin\tfrac{t}{2}}}} \right)^{2k} dt} $$ for the generalized Jackson kernel J _n,k (t). We obtain the explicit formula $$\gamma _{n,k} = 2\sum\limits_{p = 0}^{\left[ {k - \tfrac{k}{n}} \right]} {( - 1)\left( {\begin{array}{*{20}c} {2k} \\ p \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {k(n + 1) - np - 1} \\ {k(n - 1) - np} \\ \end{array} } \right)} $$ and the representation $$\gamma _{n,k} = \sqrt {\frac{{24}}{\pi }} \cdot \frac{{(n - 1)^{2k - 1} }}{{\sqrt {2k - 1} }}\left[ {1\frac{1}{8} \cdot \frac{1}{{2k - 1}} + \omega (n,k)} \right],$$ , where $$\left| {\omega (n,k)} \right| < \frac{4}{{(2k - 1)\sqrt {ln(2k - 1)} }} + \sqrt {12\pi } \cdot \frac{{k^{\tfrac{3}{2}} }}{{n - 1}}\left( {1 + \frac{1}{{n - 1}}} \right)^{2k - 2} .$$ .     

THROREMS OF DISTORTION FOR SCHLICHT FUNCTIONS

Let \[f(z) = z + \sum\limits_{n = 1}^\infty {{a_n}{z^n} \in S} {\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \log \frac{{f(z) - f(\xi )}}{{z - \xi }} - \frac{{z\xi }}{{f(z)f(\xi )}} = \sum\limits_{m,n = 1}^\infty {{d_{m,n}}{z^m}{\xi ^n},} \], we denote \[{f_v} = f({z_v})\] , \[\begin{array}{l} {\varphi _\varepsilon }({z_u}{z_v}) = {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\frac{1}{{(1 - {z_u}{{\bar z}_v})}},\g_m^\varepsilon (z) = - {F_m}(\frac{1}{{f(z)}}) + \frac{1}{{{z^m}}} + \varepsilon {{\bar z}^m}, \end{array}\], where \({F_m}(t)\) is a Faber polynomial of degree m. Theorem 1. If \[f(z) \in S{\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{u,v = 1}^N {{A_{u,v}}{x_u}{{\bar x}_v} \ge 0} \] and then \[\begin{array}{l} \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\exp \{ \alpha {F_l}({z_u},{z_v})\} \ \le \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} \varphi _\varepsilon ^\alpha ({z_u}{z_v})l = 1,2,3, \end{array}\], where \[\begin{array}{l} {F_1}({z_u},{z_v}) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} g_n^\varepsilon ({z_u})\bar g_n^\varepsilon ({z_v}),\{F_2}({z_u},{z_v}) = \frac{1}{{1 + {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}),\{F_3}({z_u},{z_v}) = \frac{1}{{1 - {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}). \end{array}\] The \[F({z_u},{z_v}) = \frac{1}{2}{g_1}({z_u}){{\bar g}_2}({z_v})\] is due to Kungsun. Theorem 2. If \(f(z) \in S\) ,then \[P(z) + \left| {\sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {{\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}\frac{{{z_u}{z_v}}}{{{f_u}{f_v}}}} \right|}^\varepsilon }} \right| \le \sum\limits_{u,v = 1}^N {{\lambda _u}{{\bar \lambda }_v}} \frac{1}{{1 - {z_u}{{\bar z}_v}}}\], where \[\begin{array}{l} P(z) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} {G_n}(z),\{G_n}(z) = {\left| {\left| {\sum\limits_{n = 1}^N {{\beta _u}({F_n}(\frac{1}{{f({z_u})}}) - \frac{1}{{z_u^n}})} } \right| - \left| {\sum\limits_{n = 1}^N {{\beta _u}z_u^n} } \right|} \right|^2}, \end{array}\], \(P(z) \equiv 0\) is due to Xia Daoxing.     

On the application of linear positive operators for approximation of functions

For the linear positive Korovkin operator \(f\left( x \right) \to {t_n}\left( {f;x} \right) = \frac{1}{\pi }\int_{ - \pi }^\pi {f\left( {x + t} \right)E\left( t \right)dt} \), where E(x) is the Egervary–Szász polynomial and the corresponding interpolation mean \({t_{n,N}}\left( {f;x} \right) = \frac{1}{N}\sum\limits_{k = - N}^{N - 1} {{E_n}\left( {x - \frac{{\pi k}}{N}} \right)f\left( {\frac{{\pi k}}{N}} \right)} \), the Jackson-type inequalities \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \left( {1 + \pi } \right){\omega _f}\left( {\frac{1}{n}} \right),\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant 2{\omega _f}\left( {\frac{\pi }{{n + 1}}} \right)\), where ωf (x) denotes the modulus of continuity, are proved for N > n/2. For ωf (x) ≤ Mx, the inequality \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \frac{{\pi M}}{{n + 1}}\). is established. As a consequence, an elementary derivation of an asymptotically sharp estimate of the Kolmogorov width of a compact set of functions satisfying the Lipschitz condition is obtained.     

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.     

Regularized sums of half-integer powers of a Sturm-Liouville operator

We investigate the question of the regularized sums of part of the eigenvalues z_n (lying along a direction) of a Sturm-Liouville operator. The first regularized sum is $$\sum\nolimits_{n = 1}^\infty {(z_n - n - \frac{{c_1 }}{n} + \frac{2}{\pi } \cdot z_n arctg \frac{1}{{z_n }} - \frac{2}{\pi }) = \frac{{B_2 }}{2} - c_1 \cdot \gamma + \int_1^\infty {\left[ {R(z) - \frac{{l_0 }}{{\sqrt z }} - \frac{{l_1 }}{z} - \frac{{l_2 }}{{z\sqrt z }}} \right]} } \sqrt z dz,$$ where the z_n are eigenvalues lying along the positive semi-axis, z _n ² =λ_n, $$l_0 = \frac{\pi }{2}, l_1 = - \frac{1}{2}, l_2 = - \frac{1}{4}\int_0^\pi {q(x) dx,} c_1 = - \frac{2}{\pi }l_2 ,$$ , B₂ is a Bernoulli number, γ is Euler's constant, and \(R(z)\) is the trace of the resolvent of a Sturm-Liouville operator.     

On the strong approximation by the (C, α)-means of Fourier series. II

стАтьь ьВльЕтсь пРОД ОлжЕНИЕМ пРЕДыДУЩЕИ ОДНОИМЕННОИ РАБОты АВтОРА, гДЕ ИжУ ЧАлсь пОРьДОк ВЕлИЧИН пРИ УслОВИьх, ЧтО α>-1/2, Рα >- 1 И ЧтО МАтРИцАt _nk УДОВлЕтВОРьЕт НЕкОт ОРОМУ УслОВИУ РЕгУльРНОстИ. жДЕсь ДОкАжыВАЕтсь, Ч тО ЕслИf∈H ^Ω, тО ВыпОлНь Етсь ОцЕНкА $$\left\{ {\frac{1}{{\lambda _n }}\mathop \Sigma \limits_{k = n - \lambda _n + 1}^n \left| {\sigma _k^\alpha \left( x \right) - f\left( x \right)} \right|^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} = O\left( {\left\{ {\frac{1}{{\lambda _n }}\mathop \Sigma \limits_{k = n - \lambda _n + 1}^n \left( {\frac{1}{k}\mathop \smallint \limits_{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}}^{2\pi } \frac{{\omega \left( t \right)}}{{t^2 }}dt} \right)^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} + \left( {\frac{{\lambda _n }}{n}} \right)^\alpha \omega \left( {\frac{1}{n}} \right)} \right)$$ (λ₁=1, λ_n+1-λ_n≦1), А тАкжЕ ЧтО Ёт А ОцЕНкА ОкОНЧАтЕльН А В сВОИх тЕРМИНАх; пОДОБ НыИ РЕжУль-тАт спРАВЕДлИВ тАкжЕ И Дль сОпРьжЕННОИ ФУНкцИИ . ДОкАжыВАЕтсь, ЧтО Усл ОВИьα>?1/2 Иpα>?1, кОтОРыЕ Б ылИ НАлОжЕНы В УпОМьНУтО И ВышЕ ЧАстИ I, сУЩЕстВЕН Ны.     

Precise Asymptotics in the Law of the Iterated Logarithm of Moving-Average Processes

In this paper, we discuss the moving-average process Xk = ∑i=-∞ ^∞ ai＋kεi, where {εi;-∞ 〈 i 〈 ∞} is a doubly infinite sequence of identically distributed ψ-mixing or negatively associated random variables with mean zeros and finite variances, {ai;-∞ 〈 i 〈 -∞） is an absolutely solutely summable sequence of real numbers.     

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.     

On an equality equivalent to the Riemann hypothesis

We prove that the Riemann hypothesis on zeros of the zeta function (s) is equivalent to the equality

The Kontorovich-Lebedev integral transform

One considers the Kontorovich-Lebedev integral transform