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.     

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.     

On the Fourier coefficients of contracted functions

РАБОтА пОсВьЩЕНА ИжУ ЧЕНИУ сВьжИ кОЁФФИцИ ЕНтОВ ФУРьЕ ФУНкцИИ ?(x) И g(x) тАкИх ЧтО (1) $$\parallel \Delta _h^m g(x)\parallel _{L^2 } \leqq \parallel \Delta _h^m f(x)\parallel _{L^2 } $$ Дль ВськОгОh≧0 И НЕкОт ОРОгОт. пОкАжАНО, ЧтО сУЩЕстВ УУт НЕпРЕРыВНыЕ ФУНк цИь ?(x) Иg(x), УДОВлЕтВОРьУЩИЕ сОО т-НОшЕНИУ (1), И тАкИЕ, ЧтО $$\mathop \sum \limits_{n = 0}^\infty [a_n^2 (f) + b_n^2 (f)]^{\alpha /2}< \infty $$ Дль ВськОгО α>0 И $$\mathop \sum \limits_{n = 0}^\infty [a_n^2 (g) + b_n^2 (g)]^{\beta /2} = \infty $$ Дль ВськОгОΒ<2. АНАлОгИЧНыИ РЕжУльт Ат ДОкАжыВАЕтсь И Дль пЕРИОДИЧЕскИх МУльт ИплИкАтИВНых ОР-тОНО РМИРОВАННых сИстЕМ.     

Finite-difference method for solving the first boundary-value problem for a second-order nonlinear ordinary differential equation with a divergent principal part

The approximation is studied of the first boundary-value problem for the equation (1) $$- \frac{d}{{dx}}K(x,\frac{{du}}{{dx}}) + f(x,u) = 0,0< x< 1,$$ with boundary conditions (2) $$u(0) = u(1) = 0$$ by difference boundary-value problems of form (3) $$- \left[ {a(x,w_{\bar x} )} \right]_x + \varphi (x,w) = 0,x \in w_r ,$$ (4) $$w(0) = w(1) = 0.$$ Theorems are established on the solvability of problem (3), (4). Theorems are proved on uniform convergence and on the order of uniform convergence. Here, as usual, boundedness is not assumed, but just the summability of the corresponding derivatives of the solutions of problem (1), (2). Also considered are singular boundary-value problems of form (1), (2), where uniform convergence with order h is proved under assumption of piecewise absolute continuity of the functionf(x,u(x)).     

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.     

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

LetL(x) denote the number of square full integers ≤x. By a square-full integer, we mean a positive integer all of whose prime factors have multiplicity at least two. It is well known that $$\left. {L(x)} \right| \sim \frac{{\zeta ({3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2})}}{{\zeta (3)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta ({2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3})}}{{\zeta (2)}}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 basis of the Riemann hypothesis (R.H.), it is known that \(\Delta (x) = O(x^{\tfrac{{13}}{{81}} + \varepsilon } )\) for every ε>0. In this paper, we prove the following results on the assumption of R.H.: (1) $$\frac{1}{x}\int\limits_1^x {\Delta (t)dt} = O(x^{\tfrac{1}{{12}} + \varepsilon } ),$$ (2) $$\int\limits_1^x {\frac{{\Delta (t)}}{t}\log } ^{v - 1} \left( {\frac{x}{t}} \right) = O(x^{\tfrac{1}{{12}} + \varepsilon } )$$ for any integer ν≥1. In fact, we prove some general results and deduce the above from them. On the basis of (1) and (2) above, we conjecture that \(\Delta (x) = O(x^{{1 \mathord{\left/ {\vphantom {1 {12}}} \right. \kern-0em} {12}} + \varepsilon } )\) under the assumption of R.H.     

Convergent approximations in parabolic variational inequalities II: Hamilton-jacobi inequalities

In this paper we consider two-sided parabolic inequalities of the form (li) $$\psi _1 \leqslant u \leqslant \psi _2 , in{\mathbf{ }}Q;$$ (lii) $$\left[ { - \frac{{\partial u}}{{\partial t}} + A(t)u + H(x,t,u,Du)} \right]e \geqslant 0, in{\mathbf{ }}Q,$$ for alle in the convex support cone of the solution given by $$K(u) = \left\{ {\lambda (\upsilon - u):\psi _1 \leqslant \upsilon \leqslant \psi _2 ,\lambda > 0} \right\}{\mathbf{ }};$$ (liii) $$\left. {\frac{{\partial u}}{{\partial v}}} \right|_\Sigma = 0, u( \cdot ,T) = \bar u$$ where $$Q = \Omega \times (0,T), \sum = \partial \Omega \times (0,T).$$ Such inequalities arise in the characterization of saddle-point payoffsu in two person differential games with stopping times as strategies. In this case,H is the Hamiltonian in the formulation. A numerical scheme for approximatingu is obtained by the continuous time, piecewise linear, Galerkin approximation of a so-called penalized equation. A rate of convergence tou of orderO(h ^1/2) is demonstrated in theL ²(0,T; H ¹(Ω)) norm, whereh is the maximum diameter of a given triangulation.     

Unramified forcing preserving the law of double negation

Shoenfield's unramified version of Cohen's forcing is defined in two stages: one which does not preserve double negation and the other which modifies the former so as to preserve double negation. Here we express the unramified forcing, which preserves double negation, in a single stage. Surprisingly enough, the corresponding definition of forcing for equality acquires a rather simple form. In [2] forcing ∥- is expressed in terms of strong forcing \( \Vdash * \) viap∥-Q iffp \( \Vdash * \) ¬ ¬Q for every formulaQ ofZF set theory and every elementp of a partially ordered set (P, ≦). In its turn,p \( \Vdash * \) Q is defined by the following five clauses: (1) $$p \Vdash * a \in biff(\exists c)(\exists q \geqq p)((c,q) \in b \wedge p \Vdash * a = c)$$ (2) $$\begin{gathered} p \Vdash * a \ne biff(\exists c)(\exists q \geqq p)(((c,q) \in a \wedge p \Vdash * c \notin b) \hfill \\ ((c,q) \in b \wedge p \Vdash * c \notin a)) \hfill \\ \end{gathered} $$ (3) $$p \Vdash * \neg Qiff(\forall q)(q \leqq p \to \neg (q \Vdash * Q))$$ (4) $$p \Vdash * (Q \vee S)iff(p \Vdash * Q) \vee (p \Vdash * S)$$ (5) $$p \Vdash * (\exists x)Q(x)iff(\exists b)(p \Vdash * Q(b))$$ .     

Lower semicontinuous perturbations of maximal monotone differential inclusions

We prove existence of solutions to 1 $$\dot x \in - Ax + F\left( {t,x} \right),x\left( a \right) = x^0 ,$$ whereA is a maximal monotone operator inR ⁿ andF is a multifunction measurable in (t, x) and l.s.c. inx, satisfying a sublinear growth condition.     

Conditionally oscillatory half-linear differential equations

We consider a nonoscillatory half-linear second order differential equation (*) $$ (r(t)\Phi (x'))' + c(t)\Phi (x) = 0,\Phi (x) = \left| x \right|^{p - 2} x,p > 1, $$ and suppose that we know its solution h. Using this solution we construct a function d such that the equation (**) $$ (r(t)\Phi (x'))' + [c(t) + \lambda d(t)]\Phi (x) = 0 $$ is conditionally oscillatory. Then we study oscillations of the perturbed equation (**). The obtained (non)oscillation criteria extend existing results for perturbed half-linear Euler and Euler-Weber equations.     

On strong summahility of Fourier series and differentiability of functions

ПустьS _n (f, x) — суммы Фурье периодической сумми руемой функцииf(x). Доказано, что если фун кцияФ(u), определенная, непрерывная и выпукл ая вверх для u≧0 (Ф(0)=0), удовлетворяет ус ловию (1) $$\int\limits_{ + 0} {\frac{{du}}{{\Phi (u)}}< \infty ,} $$ то имеет место следую щее вложение классов функций (2) $$S(\Phi ) = \left\{ {f:\mathop {\max }\limits_x \sum\limits_{n = o}^\infty \Phi (\left| {f(x) - S_n (fx)} \right|)< \infty } \right\} \subset Lip1,$$ и, более того, при услов ии (1) все функции из кла ссаS(Ф) непрерывно дифферен цируемы, а их производные имеют равномерно сходящие ся ряды Фурье. Установлено также, чт о если функция Ф удовл етворяет условию lim supФ(u/2)/Ф(u)<1, то условие (1) является н е только достаточным, но и необходимым для влож ения (2).     

Eventual uniform asymptotic stability for stochastic differential equation based on semimartingale with spatial parameter

Given a stochastic differential equation based on semimartingale with spatial parameter (1) $$\varphi _t = x_0 + \int_{t_0 }^t {F(\varphi _s ,ds) } on t \geqslant t_0 $$ and it perturbed system (2) $$\psi _t = x_0 + \int_{t_0 }^t {F\left( {\psi \alpha _s , ds} \right)} + \int_{t_0 }^t {G\left( {\psi _s , ds} \right)} on t \geqslant t_0 $$ In this paper we give some sufficient conditions under which the eventual uniform asymptotic stability of Eq. (1) is shared by Eq. (2).     

An abstract functional differential equation and a related nonlinear Volterra equation

We study the existence, uniqueness, regularity and dependence upon data of solutions of the abstract functional differential equation 1 $$\frac{{du}}{{dt}} + Au \ni G(u) (0 \leqq t \leqq T), u(0) = x,$$ , whereT>0 is arbitrary,A is a givenm-accretive operator in a real Banach spaceX, and \(G:C([0,T]; \overline {D(A)} ) \to L^1 (0, T; X)\) is a given mapping. This study provides simple proofs of generalizations of results by several authors concerning the nonlinear Volterra equation 2 $$u(t) + b * Au(t) \ni F(t) (0 \leqq t \leqq T),$$ , for the case in which X is a real Hilbert space. In (2) the kernelb is real, absolutely continuous on [0,T],b*g(t)=∫ ₀ ¹ (t?s)g(s)ds, andf∈W ^1,1(0,T;X).     

On second order functional differential equations and inequalities with deviating arguments

A necessary and sufficient condition is established in order that (i) the retarded differential equation $$y''(t) = p_0 y(t) + f(y(t - \tau _1 ),...,y(t - \tau _N ))$$ has no bounded nonoscillatory solution and (ii) the advanced differential equation $$y''(t) = p_0 y(t) + f(y(t + \tau _1 ),...,y(t + \tau _N ))$$ has no unbounded nonoscillatory solution, wherep ₀≥0 and τ _j > 0,1 ?i ?N, are constants. Differential inequalities related to (^*) and (^**) are also studied. Finally, an oscillation criterion is given for a class of differential equations containing both retarded and advanced arguments.     

Automorphisms of the tensor product of Abelian and Grassmannian algebras

We consider an algebraB _n,m , over the field R with n+m generators x_i,..., x_n, ξ₁,..., η_m, satisfying the following relations: (1') $$\left[ {x_k ,x_l } \right] \equiv x_k x_l - x_l x_k = 0,[x_k ,\xi _i ] = 0,$$ , (2') $$\left\{ {\xi _i ,\xi _j } \right\} \equiv \xi _i \xi _j + \xi _j \xi _i = 0$$ , where k,l =1, ..., n and i, j=1,..., m. In this algebra we define differentiation, integration, and also a group of automorphisms. We obtain an integration equation invariant with respect to this group, which coincides in the case m=0 with the equation for the change of variables in an integral, an equation whichis well known in ordinary analysis; in the case n=0 our equation coincides with F. A. Berezin's result [1, 3] for integration over a Grassman algebra.     

On the modulus of continuity in connection with a problem of J. Szabados concerning strong approximation

Пустьf(x) — интегрируемая 2π-периодическая функция, aω(f,δ) иs _n(x)=s_n(f, x). соответственно, модуль непрерывности иn-ая сумма Фурье этой функции. В настоящей работе, продолжающей исследования Г. Фрейда, Л. Лейндлера—E. M. Никищина, И. Сабадоша и К. И. Осколкова, доказывается следующая теорема.Если Ω(u) — выпуклая или вогнутая непрерывная функция и если (1) 1 $$\left\| {\left. {\sum\limits_{k = 1}^\infty \Omega (|S_k (x) - f(x)|)} \right\|_C } \right.$$ то 1 $$\omega (f;\delta ) = O\left( {\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} } \right),$$ где ¯Ω(v) —функция, обратная к Ω(и). При этом существует функция f₀(х), удовлетворяющая условию (1), для которой $$\omega (f;\delta ) = c\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} (c > 0).$$ ЕслиΩ(u)— вогнутая функция, то интеграл \(\int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} \) можно заменить на \(\int\limits_{\bar \Omega (\delta )}^1 {\frac{{du}}{{\Omega (u)}}.} \) . Отсюда вытекает, что еслиΩ(u) — функция типа модуля непрерывности, то для того, чтобы (1) всегда влекло принадлежность f(x) классу Lip 1, необходимо и достаточно условие \(\int\limits_0^1 {\frac{{du}}{{\Omega (u)}}}< \infty .\)      

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.     

On weak solutions of linear coercive integral equations in spacesL 2(X; ℋ k )

Пусть (X,A, μ) - полное про странство с σ-конечно й мерой, и пусть \(\overline {\mu \times \mu } \) . - замык ание меры μ×μ. Пусть далееg: X×X→C - квадратично интегрируемая функц ия по мере \(\overline {\mu \times \mu } \) . Рассматривается лин ейное интегральное у равнение (слабого) типа (1) (1) $$u(t) + A(\mathop \smallint \limits_x g(t,s)u(s)d\mu ) = f(t)\Pi .B.B\,X,$$ гдеА - максимальное р асширение L _k ^′ (в простр анстве ХëрмандераH ₁=B₂к) соотв ествующего линейного (псевдодиф ференциального) опер атораL: S→S; иS обозначает класс Щварца функций Rⁿ→-C. Уст анавливается сущест вование (слабых) решений (1) при н екотором условии коэрпитивно сти на оператор (2) (2) $$(L\Psi )(t) = \Psi (t) + \int\limits_x {g(t,s)L(\Psi (s))d\mu ,} $$ где Ψ принадлежит про странстувуD(Х, S) всех конечно-значных функ ций изX→S. Далее, изучается обобщенна я обратимость максим ального расширения оператора L. Наконец, пр иводится некоторое алгебраическое усло вие, обеспечивающее коэрцитивность L.     

Minimum degree of bipartite graphs and the existence ofk-factors

LetG be a bipartite graph with bipartition (X, Y) andk a positive integer. If (i) $$\left| X \right| = \left| Y \right|,$$ (ii) $$\delta (G) \geqslant \left\lceil {\frac{{\left| X \right|}}{2}} \right\rceil \geqslant k,$$ \(\left| X \right| \geqslant 4k - 4\sqrt k + 1\) when |X| is odd and |X| ≥ 4k ? 2 when |X| is even, thenG has ak-factor.