An application of the sampling theorem

Let B_σ,p,1 <-p<-∞, be the set of all functions from L₈(R) which can be continued to entire functions of exponential type <-σ. The well known Shannon sampling theorem and its generalization [1] state that every f∈B_σ,p, 1 $$f(x) = \mathop \Sigma \limits_{j \in z} f(j\pi /\sigma )\tfrac{{sin\sigma (x - j\pi /\sigma )}}{{\sigma (x - j\pi /\sigma )}}, \sigma > 0$$ It is well known that the Shannon sampling theorem plays an important role in many applied fields [1,2,7]. In this paper we give an application of sampling theorem to approximation theory.     

On the divergence of de la Vallée Poussin means of Fourier series

Пусть {λ _{n 1} ^t8 — монотонн ая последовательнос ть натуральных чисел. Дл я каждой функции fεL(0, 2π) с рядом Фурье строятся обобщенные средние Bалле Пуссена $$V_n^{(\lambda )} (f;x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{k = 1}^n (a_k \cos kx + b_k \sin kx) + \mathop \sum \limits_{k = n + 1}^{n + \lambda _n } \left( {1 - \frac{{k - n}}{{\lambda _n + 1}}} \right)\left( {a_k \cos kx + b_k \sin kx} \right).$$ Доказываются следую щие теоремы.

1. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность {V_n ^(λ)(?;x)} расходится почти вс юду.
2. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность $$\left\{ {\frac{1}{\pi }\mathop \smallint \limits_{ - \pi /\lambda _n }^{\pi /\lambda _n } f(x + t)\frac{{\sin (n + \tfrac{1}{2})t}}{{2\sin \tfrac{1}{2}t}}dt} \right\}$$ расходится почти всю ду

.     

On the approximation of conjugate functions from Holder classes by Fejér means

Получены асимптотич еские равенства для в еличин гдеr≧0 — целое, ω(t) — выпу клый модуль непрерыв ности и $$\bar \sigma _n (f;x) = - \frac{1}{\pi } \mathop \smallint \limits_{ - \pi }^\pi f(x + t)\left( {\frac{1}{2}ctg\frac{t}{2} - \frac{1}{{4(n + 1)}}\frac{{\sin (n + 1)t}}{{\sin ^2 \tfrac{1}{2}t}}} \right)dt$$ сумма Фейера функцииf(х), сопряженной сf(x).     

Bulk universality holds in measure for compactly supported measures

Let μ be a measure with compact support, with orthonormal polynomials {p _n } and associated reproducing kernels {K _n }. We show that bulk universality holds in measure in {ξ: μ′(ξ) > 0}. More precisely, given ɛ, r > 0, the linear Lebesgue measure of the set {ξ: μ′(ξ) > 0} and for which

A proximal point algorithm for minimax problems

This paper presents a proximal point algorithm for solving discretel _∞ approximation problems of the form minimize ∥Ax−b∥_∞. Let ε_∞ be a preassigned positive constant and let ε _l ,l = 0,1,2,... be a sequence of positive real numbers such that 0 < ε _l < ε_∞. Then, starting from an arbitrary pointz ₀, the proposed method generates a sequence of points z _l ,l= 0,1,2,..., via the rule . One feature that characterizes this algorithm is its finite termination property. That is, a solution is reached within a finite number of iterations. The smaller are the numbers ε _l the smaller is the number of iterations. In fact, if ε ₀ is sufficiently small then z₁ solves the original minimax problem. The practical value of the proposed iteration depends on the availability of an efficient code for solving a regularized minimax problem of the form minimize where ∈ is a given positive constant. It is shown that the dual of this problem has the form maximize , and ify solves the dual thenx=A ^T y solves the primal. The simple structure of the dual enables us to apply a wide range of methods. In this paper we design and analyze a row relaxation method which is suitable for solving large sparse problems. Numerical experiments illustrate the feasibility of our ideas.     

Sequences of maximal terms and central exponents of derivatives of Dirichlet series

For the Dirichlet series corresponding to a functionF with positive exponents increasing to ∞ and with abscissa of absolute convergenceA ∈ (−∞, +∞], it is proved that the sequences (μ(σ, F ^(m) )) of maximal terms and (Λ(σ, F ^(m) )) of central exponents are nondecreasing to ∞ asm → ∞ for any givenσ <A, and

On the decay rate of (p, A)-lacunary series

A power series with radius of convergence equal 1 is called a (p,A)-lacunary one if n_k ≥ Ak^p, A > 0, 1 < p < ∞. It is proved that if 1 < p < 2 and f(x) is a (p,A)-lacunary series that satisfies the condition

Characterization of Besov-Triebel-Lizorkin spaces via approximation by Whittaker's cardinal series and related unconditional Schauder bases

Let

Approximating periodic functions in Hölder type metrics by singular integrals with positive Kernels

Let M be either the space of 2π-periodic functions L_p, where 1 ≤ p < ∞, or C; let ω_r(f, h) be the continuity modulus of order r of the function f, and let

Limsup deviations on trees

The vertices of an infinite locally finite tree T are labelled by a collection of i.i.d. real random variables {Xσ}σ∈T which defines a tree indexed walk Sσ = ∑θ＜r≤σXr. We introduce and study the oscillations of the walk:Exact Hausdorff dimension of the set of such ξ 's is calculated. An application is given to study the local variation of Brownian motion. A general limsup deviation problem on trees is also studied.     

On the equivalence of some conditions for weighted Hardy spaces

Let G ∈ H _σ ^p (ℂ₊), where H _σ ^p (ℂ₊) is the class of functions analytic in the half plane ℂ₊ = {z: Re z > 0} and such that

Lp convergence of Cesàro means on sphere

LetR ⁿ be n-dimensional Euclidean space with n>-3. Demote by Ω _n the unit sphere inR ⁿ. ForfɛL(Ω _n ) we denote by σ _N ^δ its Cesàro means of order σ for spherical harmonic expansions. The special value l = \tfracn - 22\lambda = \tfrac{{n - 2}}{2} of σ is known as the critical one. For 0<σ≤λ, we set p₀ = \tfrac2ld+ lp_0 = \tfrac{{2\lambda }}{{\delta + \lambda }} . This paper proves that

Asymptotic property of approximation to x αsgn x by Newman Type Operators

Approximation to the function ｜x｜ plays an important role in approximation theory. This paper studies the approximation to the function xαsgn x, which equals ｜x｜ if α = 1. We construct a Newman Type Operator rn（x） and prove max ｜x｜≤1｜xαsgn x-rn（x）｜～Cn1/4e-π1/2（1/2）αn.     

The convergence of moments in the central limit theorem for stationary ϕ-mixing processes

Пусть {X_j} - строго стац ионарная последоват ельностьс ?перемешиванием, EXj-Q,E¦-X _j¦^r<∞ для некоторогоr>2. Положим \(S_n = \mathop \sum \limits_{j = 1}^n X_j \) . Ибрагимов (1962) доказал, что если приn →∞, то 1 $$\mathop {\lim }\limits_{n \to \infty } P\{ S_n /\sigma _n< x\} = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^x e^{{{ - u^2 } \mathord{\left/ {\vphantom {{ - u^2 } 2}} \right. \kern-\nulldelimiterspace} 2}} du.$$ В работе установлено, что при указанных выш е условиях в этой центральной пр едельной теореме имеет место т акже и сходимостьr-ых абсолютных моментов, т.е. если σ _n ² →∞ приn→ ∞, то $$\mathop {\lim }\limits_{n \to \infty } E|S_n /\sigma _n |^r = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^{ + \infty } |u|^r e^{ - u^2 /2} du.$$ Этот результат обобщ ает один более ранний результат автора (1980 г.).     

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

Optimal recovery methods for the integral on classes of differentiable functions

Найдены методы восст ановления интеграла по информации $$I\left( f \right) = \left\{ {f^{(j)} \left( {x_i } \right)\left( {j = 0, ..., \gamma _i - 1; i = 1, ..., n; 1 \leqq \gamma _i \leqq r; \gamma _i + ... + \gamma _n \leqq N} \right.} \right\},$$ оптимальные на класс ахW _p ^r ,r=1,2,...; 1≦p≦∞. Это позволило, в частност и, получить наилучшие для классаW _p ^r квадратурные форму лы вида $$\mathop \smallint \limits_0^1 f\left( x \right)dx = \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 1}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right)$$ И $$\mathop \smallint \limits_0^1 f\left( x \right)dx = af\left( 0 \right) + \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 0}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + bf\left( 1 \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right).$$      

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

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.     

Sufficient and necessary conditions for limit laws on lag sums of I. I. D. R. V. S

Let {X, X _n ;n>-1} be a sequence of i.i.d.r.v.s withEX=0 andEX ²=σ²(0 < σ < ∞). we obtain some sufficient and necessary conditions for

The Cauchy-Dirichlet problem for the heat equation in Besov spaces

The solvability in anisotropic spaces , σ ∈ ℝ₊, p, q ∈ (1, ∞), of the heat equation u_t − Δu = f in Ω^T ≡ (0, T) × Ω is studied under the boundary and initial conditions u = g on S^T, u|_t=0 = u₀ in Ω, where S is the boundary of a bounded domain Ω ⊂ ℝⁿ. The existence of a unique solution of the above problem is proved under the assumptions that and under some additional conditions on the data. The existence is proved by the technique of regularizers. For this purpose the local-in-space solvability near the boundary and near an interior point of Ω is needed. To show the local-in-space existence, the definition of Besov spaces by the dyadic decomposition of a partition of unity is used. This enables us to get an appropriate estimate in a new and promising way without applying either the potential technique or the resolvent estimates or the interpolation. Bibliography: 26 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 348, 2007, pp. 40–97.