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.     

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

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.     

On the primes withp n+1 -p n = 8 and the Sum of their Reciprocals

We introduce the counting function π _2,8 ^* (x) of the primes with difference 8 between consecutive primes ( ****p _n,p_n+1 =p _n + 8) can be approximated by logarithm integralLi _2,8 ^* . We calculate the values of π _2,8 ^* (x) and the sumC _2,8(x) of reciprocals of primes with difference 8 between consecutive primes (p _n,p_n+1 =p _n +8)) wherex is counted up to 7 x 10¹⁰. From the results of these calculations, we obtain π _2,8 ^* (7 x 10¹⁰) = 133295081 andC _2,8(7 x 10¹⁰) = 0.3374 ±2.6 x 10^-4.     

On the number of divisors of binomial coefficients

This paper deals with the problems of the upper and lower orders of growth of the ratios of the divisor functions of “adjacent” binomial coefficients, i.e., of the numbers of combinations of the form C _n ^k and C _n ^k+1 or C _n ^k and C _n+1 ^k . The suprema and infima of the corresponding ratios are obtained.     

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.     

Convergence of the Vallée-Poussin means for Fourier-Jacobi sums

Letf εC[?1, 1], ?1<α,β≤0, let $f \in C[ - 1, 1], - 1< \alpha , \beta \leqslant 0$ , letS _n ^{α, β} (f, x) be a partial Fourier-Jacobi sum of ordern, and let $$\nu _{m, n}^{\alpha , \beta } = \nu _{m, n}^{\alpha , \beta } (f) = \nu _{m, n}^{\alpha , \beta } (f,x) = \frac{1}{{n + 1}}[S_m^{\alpha ,\beta } (f,x) + ... + S_{m + n}^{\alpha ,\beta } (f,x)]$$ be the Vallée-Poussin means for Fourier-Jacobi sums. It was proved that if 0<a≤m/n≤b, then there exists a constantc=c(α, β, a, b) such that ‖ν _{m, n} ^{α, β} ‖ ≤c, where ‖ν _{m, n} ^{α, β} ‖ is the norm of the operator ν _{m, n} ^{α, β} inC[?1,1].     

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

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .

     

A remark concerning Pincherle bases

In this note we find sufficient conditions for uniqueness of expansion of any two functionsf(z) and g(z) which are analytic in the circle ¦ z ¦ < R (0 < R <∞) in series $$f(z) = \sum\nolimits_{n = 0}^\infty {(a_n f_2 (z) + b_n g_n (z))}$$ and $$g_i (z) = \sum\nolimits_{n = 0}^\infty {a_n \lambda _n f_n (z)} + b_n \mu _n f_n (x)),$$ which are convergent in the compact topology, where (f _n {z} _n=0 ^∞ and {g} _n=0 ^∞ are given sequences of functions which are analytic in the same circle while {λ _n } _n=0 ^∞ and {μ _n } _n=0 ^∞ are fixed sequences of complex numbers. The assertion obtained here complements a previously known result of M. G. Khaplanov and Kh. R. Rakhmatov.     

Orthogonal rational functions and modified approximants

Let {α _n | _n ^∞ be a sequence in the open unit disk in the complex plane and let $(\overline {\alpha _k } |\alpha _k | = - 1$ when α _k =0. Let μ be a positive Borel measure on the unit circle, and let {φ _n } _n ^∞ be the orthonormal sequence obtained by orthonormalization of the sequence {B _n } _n ^∞ with respect to μ. Let {ψ _n } _n ^∞ be the sequence of associated rational functions. Using the functions φ _n , ψ _n and certain conjugates of them, we obtain modified Padé-type approximants to the function $$F\mu (z) = \int\limits_{ - \pi }^\pi {\frac{{t + z}}{{t - z}}} d\mu (\theta ), (t = e^{i\theta } ).$$      

Kantorovič operators of second order

The Kantorovi? operators of second order are introduced byQ _n f= =(B _n+2 F)″ whereF is the double indefinite integraloff andB _n+2 the (n+2)-th Bernstein operator. The operatorsQ _n will reveal a close affinity to the so-called modified Bernstein operatorsC _n introduced bySchnabl [10] on a quite different way. The article contains investigations concerning the asymptotic behavior ofQ _n ^kn f (asn → ∞), where (k _n) is a sequence of natural numbers.     

Weak and strong convergence to common fixed points of non-self nonexpansive mappings

SupposeK is a nonempty closed convex nonexpansive retract of a real uniformly convex Banach spaceE withP as a nonexpansive retraction. LetT ₁,T ₂ andT ₃:K → E be nonexpansive mappings with nonempty common fixed points set. Letα _n ,β _n ,γ _n ,α _n ^′ ,β _n ^′ ,γ _n ^′ ,α _n ^′′ ,β _n ^′′ andγ _n ^′′ be real sequences in [0, 1] such thatα _n +β _n +γ _n =α _n ^′ +β _n ^′ +γ _n ^′ =α _n ^′′ +β _n ^′′ +γ _n ^′′ = 1, starting from arbitraryx ₁ ∈ K, define the sequencex _n by $$\left\{ \begin{gathered} z_n = P(\alpha ''_n T_1 x_n + \beta ''_n x_n + \gamma ''_n w_n ) \hfill \\ y_n = P(\alpha _n^\prime T_2 z_n + \beta _n^\prime x_n + \gamma _n^\prime v_n ) \hfill \\ x_{n + 1} = P(\alpha _n T_3 y_n + \beta _n x_n + \gamma _n u_n ) \hfill \\ \end{gathered} \right.$$ with the restrictions $\sum\limits_{n = 1}^\infty {\gamma _n }< \infty , \sum\limits_{n = 1}^\infty \gamma _n^\prime< \infty ,\sum\limits_{n = 1}^\infty {\gamma ''_n }< \infty $ . (i) If the dual E* ofE has the Kadec-Klee property, then weak convergence of ax _n to somex* ∈ F(T ₁) ∩F(T ₂) ∩ (T ₃) is proved; (ii) IfT ₁,T₂ andT ₃ satisfy condition (A′), then strong convergence ofx _n to some x* ∈F(T ₁) ∩F(T ₂) ∩ (T ₃) is obtained.     

Remarques sur un article de Israel Aharoni sur les prolongements lipschitziens dansc 0

We give a purely metric proof of the following result: let (X,d) be a separable metric space; for all ?>0 there is an injectionf ofX inC ₀ ⁺ such that: $$\forall x,y \in X,d(x, y) \leqq \parallel f(x) - f(y)\parallel _\infty \leqq (3 + \varepsilon )d(x, y).$$ It is a more precise version of a result of I. Aharoni. We extend it to metric space of cardinal α⁺ (for infinite α).     

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

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

О разложениях в ряд ы о бобщенно-абсолютно-м онотонных функций

In an earlier paper [1] the notion of the so-called 〈?, GL_J>-absolutely monotonie functions was introduced, where ?≧1, {λ_{k k=0} ^∞ is an arbitrary non-increasing sequence of positive numbers. It was found that the condition \(\sum\limits_{\lambda _{k > 0} } {\lambda _k^{ - 1} } = + \infty \) is necessary in order to have the series expansion for any function f(x)∈〈?, λ_j). HereL ^k/? f/(x) are special integro-differential operators of fractional order, is a system of functions associated with the Mittag-Leffler type functions \(E_\varrho (z;\mu ) = \sum\limits_{k = 0}^\infty {z^n /\Gamma (\mu + \kappa /\varrho )} \) and with the sequence {λ_k}. In the present paper it is proved (in particular, see Theorem 3.2) that the expansion (*) is valid almost everywhere on (0,l) if ∑ λ _k ^?1 =+∞. This result contains, as a special case (when ?=1 and λ_k=0,k≧0) the known theorem of S. N. Bernstein on absolutely monotonic functions.     

Problems similar to the additive divisor problem

For multiplicative functions ?(n), let the following conditions be satisfied: ?(n)≥0 ?(p ^r)≤A ^r,A>0, and for anyε>0 there exist constants $A_\varepsilon$ ,α>0 such that $f(n) \leqslant A_\varepsilon n^\varepsilon$ and Σ _p≤x ?(p) lnp≥αx. For such functions, the following relation is proved: $$\sum\limits_{n \leqslant x} {f(n)} \tau (n - 1) = C(f)\sum\limits_{n \leqslant x} {f(n)lnx(1 + 0(1))}$$ . Hereτ(n) is the number of divisors ofn andC(?) is a constant.     

Simultaneouse approximation to a differentiable function and its derivatives by Lagrange interpolating polynomials

This paper establishes the following pointwise result for simultancous Lagrange imterpolating approxima-tion:then|f~(k)(x)-P_n~(k)(f,x)|=O(1)△_n~(q-k)(x)ωwhere P_n(f,x)is the Lagrange interpolating potynomial of deereeon the nodesX_nUY_n(see the definition of the next).     

On the chromatic numbers of spheres in ℝ n

Let χ(S _r ^n?1 )) be the minimum number of colours needed to colour the points of a sphere S _r ^n?1 of radius $r \geqslant \tfrac{1} {2}$ in ? ⁿ so that any two points at the distance 1 apart receive different colours. In 1981 P. Erd?s conjectured that χ(S _r ^n?1 )→∞ for all $r \geqslant \tfrac{1} {2}$ . This conjecture was proved in 1983 by L. Lovász who showed in [11] that χ(S _r ^n?1 ) ≥ n. In the same paper, Lovász claimed that if $r < \sqrt {\frac{n} {{2n + 2}}}$ , then χ(S _r ^n?1 ) ≤ n+1, and he conjectured that χ(S _r ^n?1 ) grows exponentially, provided $r \geqslant \sqrt {\frac{n} {{2n + 2}}}$ . In this paper, we show that Lovász’ claim is wrong and his conjecture is true: actually we prove that the quantity χ(S _r ^n?1 ) grows exponentially for any $r > \tfrac{1} {2}$ .     

Long time small solutions to nonlinear parabolic equations

A sharp result on global small solutions to the Cauchy problem $$u_t = \Delta u + f\left( {u,Du,D^2 u,u_t } \right)\left( {t > 0} \right),u\left( 0 \right) = u_0 $$ In Rⁿ is obtained under the the assumption thatf is C^1+r forr>2/n and ‖u ₀‖C²(R ⁿ ) +‖u ₀‖W ₁ ² (R ⁿ ) is small. This implies that the assumption thatf is smooth and ‖u ₀ ‖W ₁ ^k (R ⁿ )+‖u ₀‖W ₂ ^k (R ⁿ ) is small fork large enough, made in earlier work, is unnecessary.