Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

On some new identities for the Fibonomial coefficients

Let F _n be the nth Fibonacci number. The Fibonomial coefficients \(\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F\) are defined for n ≥ k > 0 as follows $$\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F = \frac{{F_n F_{n - 1} \cdots F_{n - k + 1} }} {{F_1 F_2 \cdots F_k }},$$ with \(\left[ {\begin{array}{*{20}c} n \\ 0 \\ \end{array} } \right]_F = 1\) and \(\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F = 0\) . In this paper, we shall provide several identities among Fibonomial coefficients. In particular, we prove that $$\sum\limits_{j = 0}^{4l + 1} {\operatorname{sgn} (2l - j)\left[ {\begin{array}{*{20}c} {4l + 1} \\ j \\ \end{array} } \right]_F F_{n - j} = \frac{{F_{2l - 1} }} {{F_{4l + 1} }}\left[ {\begin{array}{*{20}c} {4l + 1} \\ {2l} \\ \end{array} } \right]_F F_{n - 4l - 1} ,}$$ holds for all non-negative integers n and l.     

On certain estimates for orthogonal polynomials depending on parameters

Рассматривается сис тема ортогональных м ногочленов {P _n (z)} ₀ ^∞ , удовлетворяющ их условиям $$\frac{1}{{2\pi }}\int\limits_0^{2\pi } {P_m (z)\overline {P_n (z)} d\sigma (\theta ) = \left\{ {\begin{array}{*{20}c} {0,m \ne n,P_n (z) = z^n + ...,z = \exp (i\theta ),} \\ {h_n > 0,m = n(n = 0,1,...),} \\ \end{array} } \right.} $$ где σ (θ) — ограниченная неу бывающая на отрезке [0,2π] функция с бесчисленным множе ством точек роста. Вводится последовательность параметров {а_{n 0} ^∞ , независимых дру г от друга и подчиненных единств енному ограничению { ¦а_n¦<1} ₀ ^∞ ; все многочлены {Р _n (z)} 0/∞ можно найти по формуле $$P_0 = 1,P_{k + 1(z)} = zP_k (z) - a_k P_k^ * (z),P_k^ * (z) = z^k \bar P_k \left( {\frac{1}{z}} \right)(k = 0,1,...)$$ . Многие свойства и оце нки для {P _n (z)} ₀ ^∞ и (θ) можн о найти в зависимости от этих параметров; например, условие \(\mathop \Sigma \limits_{n = 0}^\infty \left| {a_n } \right|^2< \infty \) , бо лее общее, чем условие Г. Cerë, необходимо и достато чно для справедливости а симптотической форм улы в области ¦z¦>1. Пользуясь этим ме тодом, можно найти также реш ение задачи В. А. Стекло ва.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

Rank formulae for factorized groups

The following inequalities for the torsion-free rank r₀(G) of the group G=AB and for the p^∞-rank r_p(G) of the soluble-by-finite group G=AB are stated: $$\begin{gathered} r_0 (G) \leqslant r_0 (A) + r_0 (B) - r_0 (A \cap B), \hfill \\ r_p (G) \leqslant r_p (A) + r_p (B) - r_p (A \cap B). \hfill \\ \end{gathered} $$      

Padé tables of entire functions of very slow and smooth growth,II

Letf(z):=Σ _j=0 ^∞ a _j z ^j , where a_j ≠ 0,j large enough, and for someq ε C such that ¦q¦ $$q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q,j \to \infty .$$ Define for m,n = 0,1,2,..., the Toeplitz determinant $$D(m/n): = \det (a_{m - j + k} )_{j,k = 1}^n .$$ Given ? > 0, we show that form large enough, and for everyn = 1,2,3,..., $$(1 - \varepsilon )^n \leqslant \left| {{{D(m/n)} \mathord{\left/ {\vphantom {{D(m/n)} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right. \kern-\nulldelimiterspace} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right| \leqslant (1 + \varepsilon )^n .$$ We apply this to show that any sequence of Padé approximants {[m _k /n _k ]} ₁ ^∞ tof, withm _k →∞ ask→ ∞, converges locally uniformly in C. In particular, the diagonal sequence {[n/n]} ₁ ^∞ converges throughout C. Further, under additional assumptions, we give sharper asymptotics forD(m/n).     

Congruences involving generalized central trinomial coefficients

For integers b and c the generalized central trinomial coefficient Tn(b,c)denotes the coefficient of xnin the expansion of(x2+bx+c)n.Those Tn=Tn(1,1)(n=0,1,2,...)are the usual central trinomial coefficients,and Tn(3,2)coincides with the Delannoy number Dn=n k=0n k n+k k in combinatorics.We investigate congruences involving generalized central trinomial coefficients systematically.Here are some typical results:For each n=1,2,3,...,we have n-1k=0(2k+1)Tk(b,c)2(b2-4c)n-1-k≡0(mod n2)and in particular n2|n-1k=0(2k+1)D2k;if p is an odd prime then p-1k=0T2k≡-1p(mod p)and p-1k=0D2k≡2p(mod p),where(-)denotes the Legendre symbol.We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms.     

On some boundary value problems with integral conditions for functional differential equations

For the functional differential equationu ⁽ⁿ⁾ (t)=f(u)(t) we have established the sufficient conditions for solvability and unique solvability of the boundary value problems $$u^{(i)} (0) = c_i (i = 0,...,m - 1), \smallint _0^{ + \infty } |u^{(m)} (t)|^2 dt< + \infty $$ and $$\begin{gathered} u^{(i)} (0) = c_i (i = 0),...,m - 1, \hfill \\ \smallint _0^{ + \infty } t^{2j} |u^{(j)} (t)|^2 dt< + \infty (j = 0,...,m), \hfill \\ \end{gathered} $$ wheren≥2,m is the integer part of $\tfrac{n}{2}$ ,c _i ∈R, andf is the continuous operator acting from the space of (n?1)-times continuously differentiable functions given on an interval [0,+∞] into the space of locally Lebesgue integrable functions.     

Determination of the infinite Jacobi matrix with respect to two-spectra

The inverse problem about two-spectra for the equation (1) $$\begin{gathered} b_0 y_0 + a_0 y_1 = \lambda y_0 , \hfill \\ a_{n - 1} y_{n - 1} + b_n y_n + a_n y_{n + 1} = \lambda y_n \left( {n = 1, 2, 3, ...} \right), \hfill \\ \end{gathered} $$ where {y_n} ₀ ^∞ is the desired solution, λ is a complex parameter and $$a_n > 0, \operatorname{Im} b_n = 0 \left( {n = 0, 1 ,2, ...} \right)$$ is studied. Necessary and sufficient conditions for the solvability of the inverse problem about two-spectrafor Eq. (1) are established and also the procedure of reconstruction of the equation from its two-spectra is indicated.     

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\}$$ расходится почти всю ду

.     

Approximation of the function sign x in the uniform and integral metrics by means of rational functions

Estimates are obtained for the nonsymmetric deviations R_n [sign x] and R_n [sign x]_L of the function sign x from rational functions of degree ≤n, respectively, in the metric $$c([ - 1, - \delta ] \cup [\delta ,1]), 0< \delta< exp( - \alpha \surd \overline n ), \alpha > 0,$$ and in the metric L[?1, 1]: $$\begin{gathered} R_n [sign x] _{\frown }^\smile exp \{ - \pi ^2 n/(2 ln 1/\delta )\} , n \to \infty , \hfill \\ 10^{ - 3} n^{ - 2} \exp ( - 2\pi \surd \overline n )< R_n [sign x_{|L}< \exp ( - \pi \surd \overline {n/2} + 150). \hfill \\ \end{gathered} $$ Let 0 < δ < 1, Δ (δ)=[?1, ? δ] ∪ [δ, 1]; $$\begin{gathered} R_n [f;\Delta (\delta )] = R_n [f] = inf max |f(x) - R(x)|, \hfill \\ R_n [f;[ - 1,1] ]_L = R_n [f]_L = \mathop {inf}\limits_{R(x)} \smallint _{ - 1}^1 |f(x) - R(x)|dx, \hfill \\ \end{gathered} $$ where R(x) is a rational function of order at most n. Bulanov [1] proved that for δ ε [e^?n, e^?1] the inequality $$\exp \left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta }}} \right) \leqslant R_n [sign x] \leqslant 30 exp\left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta + 4 ln ln (e/\delta ) + 4}}} \right)$$ is valid. The lower estimate in this inequality was previously obtained by Gonchar ([2], cf. also [1]).     

An estimate of an incomplete linear form in several algebraic numbers

Letμ>m?1, letν be a rational number, and letω _k=b _k ^v , where b_k ≠ 0 are distinct numbers of an imaginary quadratic field K, which satisfy some additional conditions. Then $$\begin{gathered} |{}_1x_1 \omega _1 + ... + x_m \omega _m | > X^{ - \mu } , \hfill \\ X = \max |x_k | \geqslant X, > 0, \hfill \\ 1 \leqslant k \leqslant m \hfill \\ \end{gathered}$$ where x₁, ..., x_m are integers of the field K, and X₀ is an effective constant.     

Well-posedness of a semilinear heat equation with weak initial data

This article mainly consists of two parts. In the first part the initial value problem (IVP) of the semilinear heat equation $$\begin{gathered} \partial _t u - \Delta u = \left| u \right|^{k - 1} u, on \mathbb{R}^n x(0,\infty ), k \geqslant 2 \hfill \\ u(x,0) = u_0 (x), x \in \mathbb{R}^n \hfill \\ \end{gathered} $$ with initial data in $\dot L_{r,p} $ is studied. We prove the well-posedness when $$1< p< \infty , \frac{2}{{k(k - 1)}}< \frac{n}{p} \leqslant \frac{2}{{k - 1}}, and r =< \frac{n}{p} - \frac{2}{{k - 1}}( \leqslant 0)$$ and construct non-unique solutions for $$1< p< \frac{{n(k - 1)}}{2}< k + 1, and r< \frac{n}{p} - \frac{2}{{k - 1}}.$$ In the second part the well-posedness of the avove IVP for k=2 with μ₀?H ^s (? ⁿ ) is proved if $$ - 1< s, for n = 1, \frac{n}{2} - 2< s, for n \geqslant 2.$$ and this result is then extended for more general nonlinear terms and initial data. By taking special values of r, p, s, and u₀, these well-posedness results reduce to some of those previously obtained by other authors [4, 14].     

Unbounded solutions of the max-type difference equation x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\}

We investigate the boundedness nature of positive solutions of the difference equation $$ x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\},n = 0,1,..., $$ where {A _n } _n=0 ^∞ and {B _n } _n=0 ^∞ are periodic sequences of positive real numbers.     

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.     

Removable singularities of some strongly nonlinear elliptic equations

Let Ω be some open subset of ?^N containing 0 and Ω′=Ω?{0}. If g is a continuous function from ? × ? into ? satisfying some power like growth assumption, then any u∈L _loc ^∞ (Ω′) satisfying $$\begin{array}{*{20}c} { - div (Du \left| {Du} \right|^{p - 2} ) + g(.,u) = 0} & {in \mathcal{D}'(\Omega ')} \\ \end{array} $$ , remains bounded in Ω and satisfies the equation in D'(Ω). We give extensions when the singular set is some compact submanifold of Ω. When g is bounded below on ?⁺ and above on ?^?, then we prove that any subset Σ with 1-capacity zero is a removable singularity for a function u∈L _loc ^∞ (ω?Σ) satisfying $$\begin{array}{*{20}c} { - div \left( {\frac{{Du}}{{\sqrt {1 + \left| {Du} \right|^2 } }}} \right) + g(.,u) = 0} & {in \mathcal{D}'(\Omega - \Sigma )} \\ \end{array} $$ .     

Upper bound for the product of nonhomogeneous linear forms

It is proved that for any unimodular lattice Λ with homogeneous minimum L>0 and any set of real numbers α₁, α₂,..., α_n there exists a point (y₁, y₂,..., y_n) of Λ such that $$\Pi _{1 \leqslant i \leqslant n} |y_i + \alpha _i | \leqslant 2^{ - n/2_\gamma n} (1 + 3L^{8/(3n)/(\gamma ^{2/3} - 2L^{8/(3n)} )} )^{ - n/2} ,$$ where γⁿ= n^n/(n?1).     

On a system of second order differential equations with periodic impulse coefficients

A thorough investigation of the systemd~2y(x):dx~2 p(x)y(x)=0with periodic impulse coefficientsp(x)={1,0≤xx_0>0) -η, x_0≤x<2π(η>0)p(x)=p(x 2π),-∞相似文献