The ergodicity of service systems with an infinite number of servomechanisms

Existence, uniqueness, and ergodicity are proved for a stationary distribution for a service system having countably many servomechanisms with input flow rate μ_k depending on the number k of servomechanisms occupied, and with arbitrary (identical) distribution of the service time with finite mean μ, under the condition \(\mu \mathop {\overline {\lim } }\limits_{k \to \infty } \frac{{\lambda _k }}{{k + 1}}< 1\) . For this system we have, in particular, Erlang's formula $$p_k (t)\mathop \to \limits_{k + \infty } p_k = \frac{{\lambda _0 ...\lambda _{k - 1} \mu ^k }}{{k!}}p_0 ,k = 0,1,...,p_0^{ - 1} = \sum\nolimits_{k = 0}^\infty {\frac{{\lambda _0 ...\lambda _{k - 1} \mu ^k }}{{k!}}} ,\lambda _{ - 1} = 1.$$      

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.     

The domain of regularity of the limit function of a sequence of analytic functions

Letf (z) be an entire function λ_n(n=0,1,2,...) complex numbers, such that the system f(λ_{n n=0} ^∞ is not complete in the circle ¦z¦n(z) have the form \(\sum\nolimits_{k = 0}^{p_n } {\alpha _{nk} } f(\lambda _k \cdot z)\) . We study the properties of the limit function of the sequence Q_n(z) in the case when $$f(z) = 1 + \sum\nolimits_{n = 1}^\infty {\frac{{z^n }}{{P(1)P(2)...P(n)}}} ,$$ . where P(z) is a polynomial having at least one negative integral root.     

Conditions for the representability of analytic functions by series of rational functions

With a functionf(z), analytic in the unit circle, we associate by a specific rule the series \(\sum\nolimits_{n = 1}^\infty {\frac{{A_n }}{{1 - \lambda _n z}},\left| {\lambda _n } \right|< 1} \) . we derive a (necessary and sufficient) condition for the convergence of the series in the unit circle. We derive further conditions under which the series converges to the functionf(z) itself.     

Degenerate differential operators in weighted Hölder spaces

A differential operator ?, arising from the differential expression $$lv(t) \equiv ( - 1)^r v^{[n]} (t) + \sum\nolimits_{k = 0}^{n - 1} {p_k } (t)v^{[k]} (t) + Av(t),0 \leqslant t \leqslant 1,$$ , and system of boundary value conditions $$P_v [v] = \sum\nolimits_{k = 0}^{n_v } {\alpha _{vk} } r^{[k]} (1) = 0.v - 1, \ldots ,\mu ,0 \leqslant \mu< n$$ is considered in a Banach space E. Herev ^[k](t)=(a(t) d/dt) ^k v(t)a(t) being continuous fort?0, α(t) >0 for t > 0 and \(\int_0^1 {\frac{{dz}}{{a(z)}} = + \infty ;}\) the operator A is strongly positive in E. The estimates , are obtained for ?: n even, λ varying over a half plane.     

Sufficient conditions for absolute asymptotic stability of linear equations in a Banach space

For a linear differential equation of the type (1) $$\frac{{dx}}{{dt}} = A_0 x(t) + A_1 x(t - \Delta _1 ) + ... + A_n x(t - \Delta _n )$$ we establish the followingTHEOREM. If $$\overline {\left| {z_1 } \right| = ...\underline{\underline \cup } \left| z \right|_n = 1\sigma \left( {A_0 + \sum\nolimits_{k = 1}^n {z_k A_k } } \right)} \subset \left\{ {\lambda :\operatorname{Re} \lambda< 0} \right\}$$ then system (1) is absolutely asymptotically stable.     

Estimates for the coefficients of univalent functions in terms of the second coefficient

For the coefficients b_n of an odd function \(f(z) = z + \sum\nolimits_{k = 1}^\infty {{}^bk^{z^{2k + 1} } } \) , regular in the unit disk, we obtain the estimate $$|b_n | \leqslant \frac{1}{{\sqrt 2 }}\sqrt {1 + |b_1 |^2 } \exp \frac{1}{2}\left( {\delta + \frac{1}{2}|b_1 |^2 } \right),where \delta = 0.312,$$ (1) from which it follows that ¦b_n¦≤1, if ¦b₁¦≤0.524. It follows from (1) that the coefficients c_n, n = 3, 4,..., of a regular function \(f(2) = z + \sum\nolimits_{k = 2}^\infty {{}^ck^{z^k } } \) , univalent in the unit desk, satisfy $$|c_n | \leqslant \frac{1}{2}\left( {1 + \frac{{|c_2 |^2 }}{4}} \right)n\exp \left( {\delta + \frac{{|c_2 |^2 }}{8}} \right),where \delta = 0.312,$$ in particular, ¦c_n¦≤n, if ¦c₂¦≤1.046.     

Criterion of polynomial increase of a function and its derivatives

ДОкАжАНО, ЧтО Дль тОгО, ЧтОБы Дльr РАж ДИФФЕРЕНцИРУЕМОИ НА пРОМЕжУткЕ [А, + ∞) ФУНкцИИf сУЩЕстВОВА л тАкОИ МНОгОЧлЕН (1) $$P(x) = \mathop \Sigma \limits_{\kappa = 0}^{r - 1} a_k x^k ,$$ , ЧтО (2) $$\mathop {\lim }\limits_{x \to + \infty } (f(x) - P(x))^{(k)} = 0,k = 0,1,...,r - 1,$$ , НЕОБхОДИМО И ДОстАтО ЧНО, ЧтОБы схОДИлсь ИН тЕгРАл (3) $$\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{r - 1} }^{ + \infty } {f^{(r)} (t)dt.}$$ ЕслИ ЁтОт ИНтЕгРАл сх ОДИтсь, тО Дль кОЁФФИц ИЕНтОВ МНОгОЧлЕНА (1) ИМЕУт МЕс тО ФОРМУлы $$\begin{gathered} a_{r - m} = \frac{1}{{(r - m)!}}\left( {\mathop \Sigma \limits_{j = 1}^m \frac{{( - 1)^{m - j} f^{(r - j)} (x_0 )}}{{(m - j)!}}} \right.x_0^{m - j} + \hfill \\ + ( - 1)^{m - 1} \left. {\mathop \Sigma \limits_{l = 0}^{m - 1} \frac{{x_0^l }}{{l!}}\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{m - l - 1} }^{ + \infty } {f^{(r)} (t_{m - 1} )dt_{m - 1} } } \right),m = 1,2,...,r. \hfill \\ \end{gathered}$$ ДОстАтОЧНыМ, НО НЕ НЕОБхОДИМыМ Усл ОВИЕМ схОДИМОстИ кРА тНОгО ИНтЕгРАлА (3) ьВльЕтсь схОДИМОсть ИНтЕгРАл А \(\int\limits_a^{ + \infty } {x^{r - 1} f^{(r)} (x)dx}\)      

On a result of Hardy and Littlewood concerning Fourier series

Let f ∈ L ¹( $ \mathbb{T} $ ) and assume that $$ f\left( t \right) \sim \frac{{a_0 }} {2} + \sum\limits_{k = 1}^\infty {\left( {a_k \cos kt + b_k \sin kt} \right)} $$ Hardy and Littlewood [1] proved that the series $ \sum\limits_{k = 1}^\infty {\frac{{a_k }} {k}} $ converges if and only if the improper Riemann integral $$ \mathop {\lim }\limits_{\delta \to 0^ + } \int_\delta ^\pi {\frac{1} {x}} \left\{ {\int_{ - x}^x {f(t)dt} } \right\}dx $$ exists. In this paper we prove a refinement of this result.     

On Kantorovich-Stieltjes operators

Let ν be a finite Borel measure on[0,1]The Kantorovich-Stieltjes polynomials are de-fined byK_n ν=(n+1)N_(k,n)(nN),where N_(k,n)(x)=x~k(1-x)~(n-k)(x[0,1],k=1,2,…,n)are the basic Bernsteinpolynomials and I_(k,n):=[k/(n+1),(k+1)/(n+1)](k=0,1,…,n;nN).We prove that the maximaloperator of the sequence(K_n)is of weak type and the sequence of polynomials(K_n ν)con-verges a.e.on[0,1]to the Radon-Nikodym derivative of the absolutely continuous part of     

Asymptotic properties for the loglog laws under positive association

Let {X _n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X ₁|^2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x ₊ = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function.     

The completeness of a functional sequence

Let π_n(u) be a sequence of polynomials with a biorthogonal system, and let {? _n (z)} be functions defined in the singly connected domain D. We consider the problem of the completeness of the system $$A(z,\lambda _n ) = \sum\nolimits_{s = 0}^\infty {P_\mathfrak{s} } (z)\pi _s (\lambda _n ),n = 1,2,...,$$ in the class of functions F(z) having the representation $$F(z) = \sum\nolimits_{k = 0}^\infty d _k P_k (z).$$ .     

Estimate for the spectrum of an operator bundle and its application to stability problems

Simple estimates are obtained for the spectrum of the operator bundle \(R(\lambda ) = \sum\nolimits_{i = 0}^n {A_{n - i} \lambda ^i }\) in terms of estimates of the maximum and minimum eigenvalues of the operators \(\frac{1}{2}(A_{n - i} - A_{n - i}^* )(i = 0,1,2, \ldots n)\) and the norms of the operators \(\frac{1}{2}(A_{n - i} - A_{n - i}^* )(i = 0,1,2, \ldots n)\) We formulate a criterion of the asymptotic stability of the differential equations $$\sum\nolimits_{i = 1}^n {A_{n - i} } \frac{{d^{(i)} x}}{{dt^i }} = 0.$$ We present examples of the stability conditions for equations with n=2 and n=3.     

On the difference equationx_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}

We study, firstly, the dynamics of the difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}$ , withp ∈ (0,1) and α∈ [0, ∞). Then, we generalize our results to the (k + 1)th order difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - k}^p }}$ ,k = 2, 3,... with positive initial 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 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.     

Exact constants in inequalities between norms of derivatives of functions

In this article we shall concern ourselves with determining exact (least possible) constants in the inequalities of the form $$\parallel f^{(k)} \parallel _{L_q } \leqslant K\parallel f\parallel _{L_p } ^{\tfrac{{l - k - r - 1 + q - 1}}{{l - r - 1 + p - 1}}} \parallel f^{(l)} \parallel _{L_r } ^{\tfrac{{k - q - 1 + p - 1}}{{l - r - 1 + p^{n - 1} }}} $$ for functions defined on the entire (?∞, ∞), absolutely continuous on any interval together with their (l?1)-th derivatives, and having finite $$l = 2,k = 0,k = 1,q = r = \infty ,1 \leqslant p< \infty $$ is considered.     

A conjecture of Erdős and Reddy and the rational approximation of Mittag-Leffler type functions

Пусть \(f(z) = \mathop \sum \limits_{k = 0}^\infty a_k z^k ,a_0 \ne 0, a_k \geqq 0 (k \geqq 0)\) — целая функци я,π _n — класс обыкновен ных алгебраических мног очленов степени не вы ше \(n,a \lambda _n (f) = \mathop {\inf }\limits_{p \in \pi _n } \mathop {\sup }\limits_{x \geqq 0} |1/f(x) - 1/p(x)|\) . П. Эрдеш и А. Редди высказали пр едположение, что еслиf(z) имеет порядок ?ε(0, ∞) и $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (f)< 1, TO \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (f) > 0$$ В данной статье показ ано, что для целой функ ции $$E_\omega (z) = \mathop \sum \limits_{n = 0}^\infty \frac{{z^n }}{{\Gamma (1 + n\omega (n))}}$$ , где выполняется $$\lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{{\omega (n)}}{{e + 1}}} \right\}$$ , т.е. $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{1}{{\rho (e + 1)}}} \right\}< 1, a \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) = 0$$ . ФункцияE _ω (z) имеет порядок ?.     

On a relationship in the theory of Fourier series

In this paper we prove the validity of the inequality $$\begin{array}{*{20}c} {\sup } \\ n \\ \end{array} \int_{ - \pi }^\pi {\left| {\frac{{f(0)}}{2} + \sum\nolimits_{k = 1}^n f \left( {\frac{{k\pi }}{n}} \right)e^{ikt} } \right|} dt \leqslant C\sum\nolimits_{m = 0}^\infty {\left| {\int_0^\pi {f(t)e^{imt} dt} } \right|}$$ for an arbitrary continuous function (C is an absolute constant). An inequality in the opposite sense was obtained by one of us earlier.     

The absolute convergence of lacunary series

A theorem is proved from which it follows that there exists a complete U-set E and a number p such that: a) if the p-lacunary trigonometric series $$\sum\nolimits_{k = 1}^\infty {a_k \sin (n_k x + \varepsilon _k ),} \frac{{\lim }}{{k \to \infty }}n_{k + 1} /n_k > p,$$ converges on E, the series of the moduli of its coefficients converges; b) if the sum of the p-lacunary trigonometric series is differentiable on E, it is continuously differentiable everywhere.