Bounded oscillation of second order unstable neutral type difference equations

In this paper the authors present sufficient conditions for all bounded solutions of the second order neutral difference equation $$\Delta ^2 (y_n - py_{n - k} ) - q_n f(y_{n - \ell } ) = 0, n \in \mathbb{N}$$ to be oscillatory. Examples are provided to illustrate the results.     

Mean value of weyl sums

We give a simple proof of a mean value theorem of I. M. Vinogradov in the following form. Suppose P, n, k, τ are integers, P≥1, n≥2, k≥n (τ+1), τ≥0. Put $$J_{k,n} (P) = \int_0^1 \cdots \int_0^1 {\left| {\sum\nolimits_{x = 1}^P {e^{2\pi i(a_1 x + \cdots + a_n x^n )} } } \right|^{2k} da_1 \ldots da_n .} $$ Then $$J_{k,n} \leqslant n!k^{2n\tau } n^{\sigma n^2 u} \cdot 2^{2n^2 \tau } P^{2k - \Delta } ,$$ where $$\begin{gathered} u = u_\tau = min(n + 1,\tau ), \hfill \\ \Delta = \Delta _\tau = n(n + 1)/2 - (1 - 1/n)^{\tau + 1} n^2 /2. \hfill \\ \end{gathered} $$      

Oscillation theorems for second-order nonlinear delay difference equations

By means of Riccati transformation technique, we establish some new oscillation criteria for second-order nonlinear delay difference equation $$\Delta (p_n (\Delta x_n )^\gamma ) + q_n f(x_{n - \sigma } ) = 0,\;\;\;\;n = 0,1,2,...,$$ when $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} = \infty }$ . When $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} < \infty }$ we present some sufficient conditions which guarantee that, every solution oscillates or converges to zero. When $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} = \infty }$ holds, our results do not require the nonlinearity to be nondecreasing and are thus applicable to new classes of equations to which most previously known results are not.     

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 the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$      

Solvability of the Dirichlet problem for degenerate quasilinear elliptic equations

In a bounded domain of the n -dimensional (n?2) space one considers a class of degenerate quasilinear elliptic equations, whose model is the equation $$\sum\limits_{i = 1}^n {\frac{{\partial F}}{{\partial x_i }}} (a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i - 2} u_{x_i } ) = f(x),$$ where x =(x₁,..., x_r), l_i?0, m_i>1, the function f is summable with some power, the nonnegative continuous function a(u) vanishes at a finite number of points and satisfies \(\frac{{lim}}{{\left| u \right| \to \infty }}a(u) > 0\) . One proves the existence of bounded generalized solutions with a finite integral $$\int\limits_\Omega {\sum\limits_{i = 1}^n {a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i } dx} }$$ of the Dirichlet problem with zero boundary conditions.     

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

On positive solutions of a reciprocal difference equation with minimum

In this paper we consider positive solutions of the following difference equation $$x_{n + 1} = \min \left\{ {\frac{A}{{x_n }},\frac{B}{{x_{n - 2} }}} \right\}, A, B > 0.$$ We prove that every positive solution is eventually periodic. Also, we present here some results concerning positive solutions of the difference equation $$x_{n + 1} = \min \left\{ {\frac{A}{{x_n x_{n - 1} ...x_{n - k} }},\frac{B}{{x_{n - (k + 2)} ...x_{n - (2k + 2)} }}} \right\}, A, B > 0.$$      

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

Asymptotics of solutions of a system of linear inhomogeneous singularly perturbed differential equations

Solutions with asymptotics in integral and fractional powers of the parameter ? are constructed for the vector differential equation $$\varepsilon ^h \dot X = A(t,\varepsilon ) X + \varepsilon ^{\alpha _1 } p(t,\varepsilon ) \exp \left( {\varepsilon ^{ - h} \int\limits_0^t {\lambda (\tau )d\tau } } \right)$$ in the case of resonance and multiple spectrum of the limit matrix. $$\varepsilon ^h \dot X = A(t,\varepsilon ) X + \varepsilon ^{\alpha _1 } p(t,\varepsilon ) \exp \left( {\varepsilon ^{ - h} \int\limits_0^t {\lambda (\tau )d\tau } } \right)$$      

On the order of the error function of the square-full integers,II

LetL(x) denote the number of square-full integers not exceedingx. It is well-known that $$L\left( x \right) \sim \frac{{\zeta \left( {{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{\zeta \left( 3 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta \left( {{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} \right)}}{{\zeta \left( 2 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} ,$$ whereζ(s) denotes the Riemann Zeta function, LetΔ(x) denote the error function in the asymptotic formula forL(x). On the assumption of the Riemann hypothesis (R.H.), it is known that $$\Delta x = O\left( {x^{13/81 + 8} } \right)$$ for everyε > 0. In this paper, we prove on the assumption of R.H. that $$\frac{1}{x}\int\limits_x^1 {\left| {\Delta \left( t \right)} \right|dt = O\left( {x^{1/10 + ^8 } } \right)} .$$ In fact, we prove a more general result. We conjecture that $$\Delta x = O\left( {x^{1/10 + ^8 } } \right)$$ under the assumption of the R.H.     

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 convergence rate of the partial sums of positive entire Dirichlet series

Пусть Λ=(λ_n) — возрастаю щая к+∞ последователь ность неотрицательных чис ел, λ₀=0, а S₊(Λ) — класс абсолют но сходящихся в С рядо в Дирихле вида $$F\left( z \right) = \mathop \sum \limits_{k = 0}^\infty a_k \exp \left\{ {z\lambda _k } \right\},$$ где a₀=1 и a_k>0 (k∈N). Положим $$\begin{gathered} S_n \left( z \right) = \mathop \sum \limits_{k = 1}^\infty a_k \exp \left\{ {z\lambda _k } \right\}, \hfill \\ \sigma _n \left( F \right) = \max \left\{ {\frac{1}{{S_n \left( x \right)}} - \frac{1}{{F\left( x \right)}}:x \in R} \right\}. \hfill \\ \end{gathered} $$ Доказано, что для того, чтобы для любой функц ии F∈S₊(Λ) выполнялось равенст во $$\mathop {\lim \sup }\limits_{n \to \infty } \frac{1}{{\ln n}}\ln \frac{1}{{\sigma _n \left( F \right)}} = + \infty ,$$ необходимо и достато чно, чтобы $$\mathop \sum \limits_{n = 1}^\infty \frac{1}{{n\lambda _n }}< + \infty .$$ Аналогичные результ ы получены для различ ных подклассов классаS ₊ (Λ), определяемых условиями на убывани е коэффициентова _n.     

A solution of an integral equation

In this paper an integral equation $$\int\limits_0^\infty {f(u)f\left( {\tfrac{x}{u}} \right)\tfrac{{du}}{u} = g(x)} $$ is studied.     

Absolute tauberian conditions for absolute hausdorff and quasi-hausdorff methods

The purpose of this paper is to prove that for a large set of absolute Hausdorff and quasi-Hausdorff methods the condition $$\sum\limits_{k = 1}^\infty {\left| {\lambda _n a_n - \lambda _{n - 1} a_{n - 1} } \right|< } \infty $$ is a Tauberian condition, i.e., its fulfillment together with the absolute summability of \(\sum\limits_{n = 0}^\infty {a_n } \) tos implies that \(\sum\limits_{n = 0}^\infty {\left| {a_n } \right|}< \infty \) and \(\sum\limits_{n = 0}^\infty {a_n } = s.\) a _n =s.     

Difference schemes for one class of variational inequalities and fourth-order mixed boundary-value problem

A difference scheme is constructed for the solution of the variational equation $$\begin{gathered} a\left( {u, v} \right)---u \geqslant \left( {f, v---u} \right)\forall v \varepsilon K,K \{ vv \varepsilon W_2^2 \left( \Omega \right) \cap \mathop {W_2^1 \left( \Omega \right)}\limits^0 ,\frac{{\partial v}}{{\partial u}} \geqslant 0 a.e. on \Gamma \} ; \hfill \\ \Omega = \{ x = (x_1 ,x_2 ):0 \leqslant x_\alpha< l_\alpha ,\alpha = 1, 2\} \Gamma = \bar \Omega - \Omega ,a(u, v) = \hfill \\ = \int\limits_\Omega {\Delta u\Delta } vdx \equiv (\Delta u,\Delta v, \hfill \\ \end{gathered} $$ The following bound is obtained for this scheme: $$\left\| {y - u} \right\|_{W_2 \left( \omega \right)}^2 = 0(h^{(2k - 5)/4} )u \in W_2^k \left( \Omega \right),\left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0(h^{\min (k - 2;1,5)/2} ),u \in W_\infty ^k \left( \Omega \right) \cap W_2^3 \left( \Omega \right)$$ The following bounds are obtained for the mixed boundary-value problem: $$\begin{gathered} \left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0\left( {h^{\min \left( {k - 2;1,5} \right)} } \right),u \in W_\infty ^k \left( \Omega \right),\left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0\left( {h^{k - 2,5} } \right), \hfill \\ u \in W_2^k \left( \Omega \right),k \in \left[ {3,4} \right] \hfill \\ \end{gathered} $$ .     

On linear summation methods of Fourier series

Получены новые оценк иL-нормы тригонометр ических полиномов $$T_n (t) = \frac{{\lambda _0 }}{2} + \mathop \sum \limits_{k = 1}^n \lambda _k \cos kt$$ в терминах коэффицие нтовλ _k и их разностейΔλ _k=λ _k?λ _k?1: (1) $$\mathop \smallint \limits_{ - \pi }^\pi |T_n (t)|dt \leqq \frac{c}{n}\mathop \sum \limits_{k = 0}^n |\lambda _\kappa | + c\left\{ {x(n,\varphi )\mathop \sum \limits_{k = 0}^n \Delta \lambda _\kappa \mathop \sum \limits_{l = 0}^n \Delta \lambda _l \delta _{\kappa ,l} (\varphi )} \right\}^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ,$$ где $$\kappa (n,\varphi ) = \mathop \smallint \limits_{1/n}^\pi [t^2 \varphi (t)]^{ - 1} dt, \delta _{k,1} (\varphi ) = \mathop \smallint \limits_0^\infty \varphi (t)\sin \left( {k + \frac{1}{2}} \right)t \sin \left( {l + \frac{1}{2}} \right)t dt,$$ a ?(t) — произвольная фун кция ≧0, для которой опр еделены соответствующие инт егралы. Из (1) следует, что методы $$\tau _n (f;t) = (N + 1)^{ - 1} \mathop \sum \limits_{k = 0}^{\rm N} S_{[2^{k^\varepsilon } ]} (f;t), n = [2^{N\varepsilon } ],$$ являются регулярным и для всех 0<ε≦1/2. ЗдесьS _m (f, x) частные суммы ряда Фу рье функцииf(x). В статье исследуется многомерный случай. П оказано, что метод суммирования (о бобщенный метод Рисса) с коэффиц иентами $$\lambda _{\kappa ,l} = (R^v - k^\alpha - l^\beta )^\delta R^{ - v\delta } (0 \leqq k^\alpha + l^\beta \leqq R^v ;\alpha \geqq 1,\beta \geqq 1,v< 0)$$ является регулярным, когда δ > 1.     

Fourier coefficients of Siegel cusp forms of genus n

Let F(Z) be a cusp form of integral weight k relative to the Siegel modular group Sp_n(Z) and let f(N) be its Fourier coefficient with index N. Making use of Rankin's convolution, one proves the estimate (1) $$f(\mathcal{N}) = O(\left| \mathcal{N} \right|^{\tfrac{k}{2} - \tfrac{1}{2}\delta (n)} ),$$ where $$\delta (n) = \frac{{n + 1}}{{\left( {n + 1} \right)\left( {2n + \tfrac{{1 + ( - 1)^n }}{2}} \right) + 1}}.$$ Previously, for n ≥ 2 one has known Raghavan's estimate $$f(\mathcal{N}) = O(\left| \mathcal{N} \right|^{\tfrac{k}{2}} )$$ In the case n=2, Kitaoka has obtained a result, sharper than (1), namely: (2) $$f(\mathcal{N}) = O(\left| \mathcal{N} \right|^{\tfrac{k}{2} - \tfrac{1}{4} + \varepsilon } ).$$ At the end of the paper one investigates specially the case n=2. It is shown that in some cases the result (2) can be improved to, apparently, unimprovable estimates if one assumes some analogues of the Petersson conjecture. These results lead to a conjecture regarding the optimal estimates of f(N), n=2.