Determination of an infinite non-self-adjoint Jacobi matrix from its generalized spectral function

Restoration from the generalized spectral function of the equations $$b_0 y_0 + a_0 y_1 = \lambda y_{0,} a_{n - 1} y_{n - 1} + b_n y_n + a_n y_{n + 1} = \lambda y_{n,} n = 1,2,3,...,$$ wherea _n and b_n are arbitrary complex numbers,a _n≠ 0 (n = o, i, 2,...), λ is a complex parameter, and {P _n (λ)} ₀ ^∞ is the required solution, is investigated. Necessary and sufficient conditions for solvability of the inverse problem are obtained, and the restoration procedure is described.     

Existence of a solution of a difference scheme for one variational problem

The problem of minimizing the functional (A) $${}_a\smallint ^b \varphi (x,y,y',y'')dx$$ under the conditions (B) $$y(a) = a_0 ,y'(a) = a_1 ,y(b) = b_0 ,y'(b) = b_1$$ is replaced by the problem of finding the vector (y₁,y₂,...,y_n?1) on which the sum (C) $$\sum\limits_{\kappa = 0}^n {C_\kappa \varphi (x_\kappa ,y_\kappa ,\left. {\frac{{y_{\kappa + 1} - y_\kappa }}{h},\frac{{y_{\kappa + 1} - 2y_\kappa + y_{\kappa + 1} )}}{{h^2 }}} \right)}$$ takes a minimal value. Under certain conditions on ? andC _k it is proved that a solution exists for the difference scheme constructed. The method of differentiation with respect to a parameter is used for the proof.     

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}\)      

A maximum principle for time-lag control problems with bounded state

A maximum principle is obtained for control problems involving a constant time lag τ in both the control and state variables. The problem considered is that of minimizing $$I(x) = \int_{t^0 }^{t^1 } {L (t,x(t), x(t - \tau ), u(t), u(t - \tau )) dt} $$ subject to the constraints 1 $$\begin{gathered} \dot x(t) = f(t,x(t),x(t - \tau ),u(t),u(t - \tau )), \hfill \\ x(t) = \phi (t), u(t) = \eta (t), t^0 - \tau \leqslant t \leqslant t^0 , \hfill \\ \end{gathered} $$ 1 $$\psi _\alpha (t,x(t),x(t - \tau )) \leqslant 0,\alpha = 1, \ldots ,m,$$ 1 $$x^i (t^1 ) = X^i ,i = 1, \ldots ,n$$ . The results are obtained using the method of Hestenes.     

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.     

Multiple rational trigonometric sums and multiple integrals

We obtain an estimate of the modulus of a complete multiple rational trigonometric sum: $$\left| {\sum {_{x_{1, \ldots ,} x_r = 1^{\exp \left( {{{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} \mathord{\left/ {\vphantom {{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} q}} \right. \kern-\nulldelimiterspace} q}} \right)} }^q } } \right| \ll q^{{{r - 1} \mathord{\left/ {\vphantom {{r - 1} {n + \varepsilon }}} \right. \kern-\nulldelimiterspace} {n + \varepsilon }}} ,$$ where $$\begin{gathered} f\left( {x_{1, \ldots ,} x_r } \right) = \sum {_{0 \leqslant t_1 , \ldots ,t_r \leqslant n^a t_1 , \ldots ,t_r x_1^{t_1 } \ldots x_r^{t_r } ,} } \hfill \\ a_{0, \ldots ,0} = 0,\left( {a_{0, \ldots ,0,1} , \ldots ,a_{n, \ldots ,n,} q} \right) = 1 \hfill \\ \end{gathered} $$ , and an estimate of the modulus of a multiple trigonometric integral.     

Certain linear differential operators and generalized differences

The solution of the problem of finding the quantity 1 $$|\vartriangle \mathop n\nolimits_{v_k }^{\sup } | \leqslant 1 1\begin{array}{*{20}c} {1nf} \\ {(k) = 1/_k } \\ {(k = 0, \pm 1. \pm 2, ...)} \\ \end{array} || /^{(n)} (x)||_C ( - \infty ,\infty )'$$ obtained by Subbotin, is extended to the case of formally self-adjoint differential operators with constant coefficients and corresponding generalized differences.     

Oscillations and Convergence in an Almost Periodic Competition System

Sufficient conditions are derived for the existence of a globally attractive almost periodic solution of a competition system modelled by the nonautonomous Lotka–Volterra delay differential equations $$\begin{gathered} \frac{{{\text{d}}N_1 (t)}}{{{\text{d}}t}} = N_1 (t)\left[ {r_1 (t) - a_{11} (t)N_1 (t - \tau (t)) - a_{12} (t)N_2 (t - \tau (t))} \right], \hfill \\ \frac{{{\text{d}}N_2 (t)}}{{{\text{d}}t}} = N_2 (t)\left[ {r_2 (t) - a_{21} (t)N_1 (t - \tau (t)) - a_{22} (t)N_2 (t - \tau (t))} \right], \hfill \\ \end{gathered} $$ in which $ \tau ,r_i ,a_{ij} (i,j = 1,2) $ are continuous positive almost periodic functions; conditions are also obtained for all positive solutions of the above system to 'oscillate' about the unique almost periodic solution. Some ecobiological consequences of the convergence to almost periodicity and delay induced oscillations are briefly discussed.     

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

The problem of the solvability of nonlinear two-point boundary-value problems

We establish sufficient conditions for the solvability of boundary-value problems of the form $$\begin{gathered} u'' = f(t,u,u'); \hfill \\ \begin{array}{*{20}c} {(u(0),} & {u'(0)) \in S_0 ,} & {(u(1),} & {u'(1)) \in S_1 .} \\ \end{array} \hfill \\ \end{gathered} $$      

Optimal methods for the approximate calculation of functional on classesW r L ∞

Пусть T_n(f)={L₁(f), ..., L_n(f)} — набор линейных функционал ов, заданных на простран стве \(C_{(r - 1)} (\parallel f\parallel _{C_{(r - 1)} } = \mathop {\max }\limits_{0 \leqq i \leqq r - 1} \parallel f^{(i)} \parallel _C );A_{n,r}\) — множество всех так их наборов функцио налов; С_{2n, 2} — множество всех н аборов из 2n функциона лов вида $$T_{2n} (f) = \{ f(x_1 ), \ldots ,f(x_n ),f'(x_1 ), \ldots ,f'(x_n )\}$$ и s: Е_n→Е₁. Доказано, что е слиW _∞ ^r множество всех 2π-периодических функ цийfεW∞0, 2π_r, то приr=1,2,3,... ирε(1, ∞) и $$\begin{gathered} \mathop {\inf }\limits_{T_{2n} \in A_{2n,r} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \varphi _{n,r} \parallel _p \hfill \\ \mathop {\inf }\limits_{T_{2n} \in C_{2n,2} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \parallel \varphi _{n,r} \parallel _\infty - \varphi _{n,r} \parallel _p , \hfill \\ \end{gathered}$$ где ?_n,r —r-й периодичес кий интеграл, в средне м равный нулю на периоде, от фун кции ?_n, 0t=sign sinnt. При этом указан ы оптимальные методы приближенного вычис ления.     

On some properties of trigonometric series with monotone decreasing coefficients

В статье рассматрива ются одномерные и дву мерные тригонометрические ряды с моно-тонными коэффициентами. Дает ся пример двойного тригонометрическог о ряда (1) $$\mathop \sum \limits_{n,k = 1}^\infty a_{nk} \sin nx\sin ky,$$ , коэффициенты которо го монотонны поk и поп, любая последовательность \(\{ S_{n_k m_k } (x,y)\} _{k = 1}^\infty\) прямоугольных части чных сумм ряда (1), где min(n _k ,m _k )→∞ приk→∞, расходится по чти всюду на (0,n)². Кроме того, изучается мера множеств нулей ф ункций (2) $$f(x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{n = 1}^{a_0 } a_n \cos nx\tilde f(x) = \mathop \sum \limits_{n = 1}^\infty a_n \sin nx,$$ , гдеа _n ↓ приn→ ∞, и доказ ьшается несколько те орем о скорости убывания ко эффициентовa _n рядов (2), если все част ичные суммыS _n (f,x) или \(S_n (\tilde f,x)\) дляn=1,2,... неотрицате ль-ны на (0,n).     

Remarks on eigenvalues and eigenfunctions of a special elliptic system

LetΛ ₁(Ω) be the first eigenvalue of the vector-valued problem $$\begin{gathered} \Delta u + \alpha grad div u + \Delta u = 0 in \Omega , \hfill \\ u = 0 in \partial \Omega , \hfill \\ \end{gathered} $$ , withα>0. Letλ ₁(Ω) be the first eigenvalue of the scalar problem $$\begin{gathered} \Delta u + \lambda u = 0 in \Omega , \hfill \\ u = 0 on \partial \Omega . \hfill \\ \end{gathered} $$ . The paper contains a proof of the inequality $$\left( {1 + \frac{\alpha }{n}} \right)\lambda _1 \left( \Omega \right) > \Lambda _1 \left( \Omega \right) > \left( \Omega \right)$$ and improves recent estimates of Sprössig [15] and Levine and Protter [11]. Moreover we show, ifΩ is a ball, that an eigensolution u₁, associated withΛ ₁(Ω) is not unique and that the eigensolutions for this and higher eigenvalues are never rotationally invariant. Finally we calculate some eigensolutions explicitly.     

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

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.     

Metric results on the approximation of zero by linear combinations of independent and of dependent rationals

We give some “rational analoga” to metric results in the classical theory of the diophantine approximation of zero by linear forms. That is: we study the behaviour of expressions of the form $$\begin{gathered} \lim _{m \to \infty } \frac{1}{{\left| {P_s (m)} \right|}}|\{ (x_1 , \ldots ,x_s ) \in P_s (m): \hfill \\ \parallel a_1 \frac{{x_1 }}{m} + \ldots + a_s \frac{{x_s }}{m}\parallel _m \geqslant \psi (a_1 , \ldots ,a_s ,m) \hfill \\ for all - \frac{m}{2}< a_1 , \ldots ,a_s \leqslant \frac{m}{2}, \hfill \\ with (a_1 , \ldots ,a_s ) \ne (0, \ldots ,0)\} |, \hfill \\ \end{gathered} $$ whereP _s (m) is a certain subset of {1, …,m} ^s , ψ is a certain nonnegative function, and ‖ · ‖ _m means the maximum of 1/m and the distance to the nearest integer. Some of the investigations are also motivated by problems in the theory of uniform distribution and of pseudo-random number generation. The results partly depend on the validity of the generalized Riemann hypothesis.     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

Bang-bang property for Bolza problems in two dimensions

Consider the following Bolza problem: $$\begin{gathered} \min \int {h(x,u) dt,} \hfill \\ \dot x = F(x) + uG(x), \hfill \\ \left| u \right| \leqslant 1, x \in \Omega \subset \mathbb{R}^2 , \hfill \\ x(0) = x_0 , x(1) = x_1 . \hfill \\ \end{gathered} $$ We show that, under suitable assumptions onF, G, h, all optimal trajectories are bang-bang. The proof relies on a geometrical approach that works for every smooth two-dimensional manifold. As a corollary, we obtain existence results for nonconvex optimization problems.     

The lattice point discrepancy of a torus in ℝ3

This article provides an asymptotic formula for the number of integer points in the three-dimensional body $$ \left( \begin{gathered} x \hfill \\ y \hfill \\ z \hfill \\ \end{gathered} \right) = t\left( \begin{gathered} (a + r\cos \alpha )\cos \beta \hfill \\ (a + r\cos \alpha )\sin \beta \hfill \\ r\sin \alpha \hfill \\ \end{gathered} \right),0 \leqq \alpha ,\beta < 2\pi ,0 \leqq r \leqq b, $$ for fixed a > b > 0 and large t.