Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Solution of the Szili type conjugate problem on the roots of the laguerre polynomials

Let ?1<α≤0 and let $$L_n^{(\alpha )} (x) = \frac{1}{{n!}}x^{ - \alpha } e^x \frac{{d^n }}{{dx^n }}(x^{\alpha + n} e^{ - x} )$$ be the generalizednth Laguerre polynomial,n=1,2,… Letx ₁,x ₂,…,x _n andx*₁,x*₂,…,x* _n?1 denote the roots ofL _n ^(α) (x) andL _n ^(α)′ (x) respectively and putx*₀=0. In this paper we prove the following theorem: Ify ₀,y ₁,…,y _n ?1 andy ₁ ^′ ,…,y _n ^′ are two systems of arbitrary real numbers, then there exists a unique polynomialP(x) of degree 2n?1 satisfying the conditions $$\begin{gathered} P\left( {x_k^* } \right) = y_k (k = 0,...,n - 1) \hfill \\ P'\left( {x_k } \right) = y_k^\prime (k = 1,...,n). \hfill \\ \end{gathered} $$ .     

On the boundedness of operators rearranging the Haar system in the spacesL p

Operators of the form Tπχ _n ^k =χ _n ^πn(k) where {χ _n ^k (t)} is the Haar system and π_n is a rearrangement of the numbers 1,2, ?.2ⁿ (n=1,2,?) are studied. Criterion for the boundedness of such operators from the spaceL _p intoL _p is obtained.     

О приближении функци й средними Чезаро вто рого

Let σ _n ² (f, x) be the Cesàro means of second order of the Fourier expansion of the function f. Upper bounds of the deviationf(x)-σ _n ² (f, x) are studied in the metricC, while f runs over the class \(\bar W^1 C\) , i. e., of the deviation $$F_n^2 (\bar W^1 ,C) = \mathop {\sup }\limits_{f \in \bar W^1 C} \left\| {f(x) - \sigma _n^2 (f,x)} \right\|_c$$ . It is proved that the function $$g^* (x) = \frac{4}{\pi }\mathop \sum \limits_{v = 0}^\infty ( - 1)^v \frac{{\cos (2v + 1)x}}{{(2v + 1)^2 }}$$ , for whichg ^*′(x)=sign cosx, satisfies the following asymptotic relation: $$F_n^2 (\bar W^1 ,C) = g^* (0) - \sigma _n^2 (g^* ,0) + O\left( {\frac{1}{{n^4 }}} \right)$$ , i.e.g ^* is close to the extremal function. This makes it possible to find some of the first terms in the asymptotic formula for \(F_n^2 (\bar W^1 ,C)\) asn → ∞. The corresponding problem for approximation in the metricL is also considered.     

Modification of a Finsler space by a normalized semi-parallel vector field

LetF _n be a Finsler space with metric functionF(x, y). M. Matsumoto [6] has defined a modified Finsler spaceF _n ^* whose metric functionF ^*(x, y) is given byF ^*2 = = F² + (X_i(x)yⁱ)², whereX _i are the components of a covariant vector which is a function of coordintae only. Since a concurrent vector is a function of coordinate only, Matsumoto and Eguchi [9] have studied various properties of the modified Finsler spaceF _n ^* under the assumption thatX _i are the components of a concurrent vector field inF _n. In this paper we shall introduce the concept of semi-parallel vector field inF _n and study the properties of modified Finsler spaceF _n ^* .     

Empirical bayes testing for mean life time of Rayleigh distribution

Consider a Rayleigh distribution withpdfp(x|θ) = 2xθ ^{- 1} exp(- x ²/θ) and mean lifetime μ = √πθ/2. We study the two-action problem of testing the hypothesesH ₀: μ≤ μ₀ againstH ₁: μ > μ₀ using a linear error loss of |μ- μ ₀ | via the empirical Bayes approach. We construct a monotone empirical Bayes test δ _n ^* and study its associated asymptotic optimality. It is shown that the regret of δ _n ^* converges to zero at a rate $\frac{{\ln ^2 n}}{n}$ , wheren is the number of past data available when the present testing problem is considered.     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

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.     

A new modification of the Hermite-Fejér interpolation

пУсть жАДАНы Ужлы $$ - \infty< x_1< x_2< ...< x_k< x_{k + 1}< ...< x_n< + \infty ,$$ , И пУстьx ₁ ^* <x ₂ ^* <...<x _n-1 ^* — кОРНИ МНОгО ЧлЕНА Ω′(х). гДЕ $$\omega (x) = \prod\limits_{k = 1}^n {(x - x_k ).} $$ В РАБОтЕ ИсслЕДУЕтсь жАДАЧА: кАк ОпРЕДЕлИт ь МНОгОЧлЕНР(х) МИНИМАльНОИ стЕп ЕНИ, Дль кОтОРОгО ВыпОлНь Утсь слЕДУУЩИЕ ИНтЕР пОльцИОННыЕ УслОВИь гДЕ {y _k И {y _k′}-жАДАННы Е сИстЕМы жНАЧЕНИИ.     

On positive linear interpolation operators

В этой работе мы даем о бобщение понятия нор мальной системы точек, введен ного Фейером [3]. Наше определ ение включает и случа й бесконечного интерв ала (0, ∞). Доказано, в частности, что систе ма точек 0<x ₁ ⁽ⁿ⁾ /(n)<... _n ⁽ⁿ⁾ <∞ является нормальной в смысле нашего определения тогда и т олько тогда, когда вып олняются оценки — фиксированное чис ло, 0≦?<1. Мы доказываем, что есл и точкиx _k ⁽ⁿ⁾ /(n) являются ну лями многочлена ЛагерраL _n ^(α) (x), то они образуют норма льную систему в том и т олько том случае, когда ?1<α≦0. Мы получаем, таким обр азом, положительный интерполяционный пр оцесс для каждой нормальной системы т очек и устанавливаем теорему сходимости для того с лучая, когда эти точки являются ну лямиL _n ^(α) (x) при — 1相似文献   

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

On a problem of Chebyshev and Markov

п. л. ЧЕБышЕВыМ БылА пОс тАВлЕНА И РЕшЕНА жАДА ЧА: пРИ пРОИжВОльНО жАДАННО М НА [?1,1] пОлОжИтЕльНОМ МНОг ОЧлЕНЕP _l (x) жАДАННОИ ст ЕпЕНИl НАИтИ пРИ кАжДОМn≧1 МНОгОЧлЕНР _n ^* (x) стЕпЕН Ип с кОЁФФИцИЕНтОМ п РИx ⁿ , РАВНыМ 1, кОтОРыИ ьВл ьлсь Бы МНОгО-ЧлЕНОМ, НАИМЕНЕЕ УклОНьУЩИМ сь От НУль с ВЕсОМP _l ^?1 (x) В МЕтРИкЕC[? 1,1]. А. А. МАРкОВ ОБОБЩИл ЁтО т РЕжУльтАт И пРИ тЕх ж Е УслОВИьх НАP _l (x) пОстРО Ил Дль≧1/2 МНОгОЧлЕНыP _n ^* (x) стЕп ЕНИ п, НАИМЕНЕЕ УклОНьУЩИЕсь От НУль с ВЕсОМP _l ^-1/2 (x). В ДАННОИ стАтьЕ УкАжы ВАЕтсь БОлЕЕ пРОстОИ, ЧЕМ В [3], спОсОБ пОстРОЕНИь МН ОгОЧлЕНОВP _n ^* (x), ДАУЩИх РЕшЕНИЕ жАД АЧИ МАРкОВА, И пРИ ЁтОМ, ВО-пЕРВых, УстАНОВлЕН О, ЧтО ВськИИ тАкОИ МНОгОЧлЕН МОжН О пРЕДстАВИть В ВИДЕ л ИНЕИНОИ кОМБИНАцИИ НЕ БОлЕЕ Ч ЕМ Ижl+1 МНОгОЧлЕНОВ ЧЕБышЕВ АT _j (x)=cos (jarc cosx): $$P_n^* (x) = \mathop \Sigma \limits_{k = 0}^l \gamma _k T_{|n - l + k|} (x)$$ , В кОтОРОИ кОЁФФИцИЕН тыγ _k НЕ жАВИсьт Отп И, ВО-ВтОРых, УкАжАН спОс ОБ ЁФФЕктИВНОгО РАжы с-кАНИь кОЁФФИцИЕНтОВγ _k пО М НОгОЧлЕНУР _l (х).     

A system of functions

A system of functions $$f_k (x) = \sum\nolimits_{i = 1}^r a _i \varphi _\iota (x)^k + b_i \overline {\varphi _\iota } (x)^k , k = 1,2,...$$ is considered on the interval [0,l]. Under certain conditions on the? _i(x), it is proved that the system 1 ∪ {f_k(x)} _k=1 ^∞ is complete in the space L_p(0,l). In the case r=1 it is proved, under certain additional assumptions, that the system {f_k(x)} _k=0 ^∞ is minimal.     

Poles and zeros of best rational approximants of |x|

The asymptotic distribution (forn→∞) of poles and zeros of best rational approximantsr _n ^* ∈R _nn of the function |x| on [?1, 1] as well as the asymptotic distribution of extreme points of the error function |x|?r _n ^* (x) on [?1, 1] is investigated. The precision of the asymptotic formulae corresponds to that of the strong error formula $\lim _{n \to \infty } e^{\pi \sqrt n } E_{nn} (|x|,[ - 1,1]) = 8$ , which has been proved in [St1]. Here,E _nn (|x|, [?1, 1]) denotes the minimal approximation error in the uniform norm on [?1, 1]. The accuracy of the asymptotic distribution functions is so high that the location of individual poles, zeros, and extreme points can be distinguished forn sufficiently large.     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

An analog of the weyl decomposition of the spaceL q (ω, ℝ n ) for a first-order differential operatorfor a first-order differential operator

We prove the following theorem: Suppose the function f(x) belongs toL _q (ω, ? ⁿ ), ω ? ? ^m , q∈(1, ∞), and satisfies the inequality $$|\int\limits_\omega {(f(x),{\mathbf{ }}v(x)){\mathbf{ }}dx| \leqslant \mu ||} v||'_q ,{\mathbf{ }}\tfrac{1}{q} + \tfrac{1}{{q'}} = 1,$$ for all n-dimensional vector-valued functions in the kernel of a scalar-valued first-order differential operator £ for which the second-order operatorLL ^* is elliptic. Then there exists a function p(x)∈W _q ¹ (ω) such that $$||f(x) - \mathfrak{L}^* p(x)||q \leqslant C_q \mu .$$ Bibliography: 6 titles.     

Inversion complexity of self-correcting circuits for a certain sequence of boolean functions

The asymptotics L _k ^? (f ₂ ⁿ ) ?? n min{k+1, p} is obtained for the sequence of Boolean functions $f_2^n \left( {x_1 , \ldots ,x_n } \right) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n}$ for any fixed k, p ?? 1 and growing n, here L _k ^? (f ₂ ⁿ ) is the inversion complexity of realization of the function f ₂ ⁿ by k-self-correcting circuits of functional elements in the basis B = {&, ?}, p is the weight of a reliable invertor.     

Freud's conjecture and approximation of reciprocals of weights by polynomials

LetW(x) be a function that is nonnegative inR, positive on a set of positive measure, and such that all power moments ofW ² (x) are finite. Let {p _n (W ²;x)} ₀ ^∞ denote the sequence of orthonormal polynomials with respect to the weightW ², and let {α _n } ₁ ^∞ and {β _n } ₁ ^∞ denote the coefficients in the recurrence relation $$xp_n (W^2 ,x) = \alpha _{n + 1} p_{n + 1} (W^2 ,x) + \beta _n p_n (W^2 ,x) + \alpha _n p_{n - 1} (W^2 ,x).$$ We obtain a sufficient condition, involving mean approximation ofW ^?1 by reciprocals of polynomials, for $$\mathop {\lim }\limits_{n \to \infty } {{\alpha _n } \mathord{\left/ {\vphantom {{\alpha _n } {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }} = \tfrac{1}{2}and\mathop {\lim }\limits_{n \to \infty } {{\beta _n } \mathord{\left/ {\vphantom {{\beta _n } {c_{n + 1} }}} \right. \kern-\nulldelimiterspace} {c_{n + 1} }} = 0,$$ wherec _{n 1} ^∞ is a certain increasing sequence of positive numbers. In particular, we obtain a sufficient condition for Freud's conjecture associated with weights onR.     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).