On oscillation of solutions of second-order systems of deviated differentaial equations

Sufficient conditions are found for the oscillation of proper solutions of the system of differential equations $$\begin{array}{*{20}c} {u'_1 (t) = f_1 (t,u_1 (\tau _1 (t)),...,u_1 (\tau _m (t)),u_2 (\sigma _1 (t)),...,u_2 (\sigma _m (t))),} \\ {u'_2 (t) = f_2 (t,u_1 (\tau _1 (t)),...,u_1 (\tau _m (t)),u_2 (\sigma _1 (t)),...,u_2 (\sigma _m (t))),} \\ \end{array}$$ wheref _i: R₊×R^2m→R (i=1,2) satisfy the local Carathéodory conditions andσ _i , τ _i :R ₊ →R (i=1,...,m) are continuous functions such that $\sigma _i (t) \leqslant t for t \in R_ + ,\mathop {\lim }\limits_{t \to + \infty } \sigma _i (t) = + \infty ,\mathop {\lim }\limits_{t \to + \infty } \tau _i (t) = + \infty (i = 1,...,m)$      

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.     

A class of functions of a real variable

An investigation of measurable almost-everywhere finite functions ξ(t), -∞ $$\varphi _T^\xi (\tau _{(n)} , \lambda _{(n)} ) = \frac{1}{{2T}}\int_{ - T}^T {\exp i} \sum\nolimits_{k - 1}^n {\lambda _k \xi (t - \tau _k )dt} $$ tends to an asymptotic characteristic function? _∞ ^ξ (τ _(n), λ_(n)) when T → ∞. Here n is any positive integer and T_(n)=(τ₁; τ₂, ..., τ_n) is arbitrary. It is proved that the class of such functions ξ(t) is larger than the class of Besicovich almost-periodic functions.     

Group pursuit in Pontryagin’s nonstationary example

On the interval [t ₀, ∞), we consider the following group pursuit problem with one evader: 1 $$ z_i^{(l)} + a_1 (t)z_i^{(l - 1)} + a_2 (t)z_i^{(l - 2)} + \cdots + a_l (t)z_i = u_i - v, u_i ,v \in V, z_i^{(q)} (t_0 ) = z_i^q , $$ where z _i , u _i , v ∈ R ^v , (v ≥ 2), V is a strictly convex compact set in R ^v , the functions a ₁(t), a ₂(t), …, a _l (t) are continuous, i = 1, 2, …, n and q = 0, 1, …, l ? 1. Let ? _q (t, s) be the solution of the Cauchy problem $$ \begin{gathered} \omega ^{(l)} + a_1 (t)\omega ^{(l - 1)} + a_2 (t)\omega ^{(l - 2)} + \cdots + a_l (t)\omega = 0, \omega ^{(q)} (s) = 1, \hfill \\ \omega ^{(r)} (s) = 0, r = 0, \ldots q - 1,q + 1, \ldots ,l - 1, \hfill \\ \end{gathered} $$ and let $$ \xi _\iota (t) = \varphi _0 (t,t_0 )Z_i^0 + \varphi _1 (t,t_0 )Z_i^1 + \cdots + \varphi _{l - 1} (t,t_0 )Z_i^{l - 1} . $$ We prove that if there exist continuous functions α _i (t) and ξ _i ¹ (t) such that the ξ _i ¹ (t) are Bohr almost periodic on [t ₀, ∞), α _i (t) > 0 for all t ≥ t ₀, lim _t→∞(ξ _i ¹ (t) ? α _i (t)ξ _i (t)) = 0, lim _t→∞(min _i α _i (t) ∝ _t0 ^t |? _l?1(t, s)| ds) = ∞, and there exist points h _i ⁰ ∈ H _i ¹ = {ξ _i ¹ (t), t ∈ [0, ∞)} such that 0 ∈ Int co{h _i ⁰ }, then the pursuit problem with evader discrimination is solvable.     

ОптИМАльНыЕ кВАДРАт УРНыЕ ФОРМУлы Дль клА ссОВ ФУНкцИИ с ИНтЕгРИРУЕ МОИ ВL p r-ОИ пРОИжВОДНОИ

On the classW ^r L _p (1≦p≦∞;r=1, 2,…) of 1-periodic functions ?(x) having an absolutely continuous (r? l)st derivative such that $$\parallel f^{(r)} \parallel _{L_p } \leqq 1 (\parallel f^{(r)} \parallel _{L_\infty } = vrai \sup |f^{(r)} (x)|)$$ vrai sup ¦?(^r)(x)¦) an optimal quadrature formula of the form (0 ≦? ≦r?1, 0 ≦x ₀ < x₁ <…< x_m ≦ 1) is found in the cases ?=r?2 and ?=r? 3 (r=3, 5, …). An exact error bound is established for this formula. The statements proved forW ^r L _p allowed us also to obtain, under certain restrictions posed on the coefficientsp _kl, and the nodesx ₀ andx _m, optimal quadrature formulae for the classes $$W_0^r L_p = \{ f:f \in W^r L_p , f^{(i)} (0) = 0 (i = 0,1,...,r - 2)\} $$ and $$W_0^r L_p = \{ f:f \in \tilde W^r L_p , f^{(i)} (0) = f^{(i)} (1) = 0 (i = 0,1,...,r - 2)\} $$ for the same values ofp andr as above.     

A class of inequalities for non-negative sequences

В работе для неотрица тельных последовате льностей (...,a _?1 ⁱ ), aa ₀ ⁱ ),a ₁ ⁱ ), ...), удовлетв оряющих условию \(0< \mathop {\sup }\limits_k a_k^{(i)}< \infty\) (i=1,...,т), доказ а но неравенство (1) $$\begin{gathered} \mathop \sum \limits_{k = - \infty }^\infty \mathop {\sup }\limits_{k \leqq k_1 + \ldots + k_m \leqq k + l} (a_{k_1 }^{(1)} \ldots a_{k_m }^{(m)} ) \geqq \hfill \\ \geqq \mathop \prod \limits_{i = 1}^m (\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )\left[ {\mathop \sum \limits_{i = 1}^m \frac{{\mathop \sum \limits_{k = - \infty }^\infty (a_k^{(i)} )^{p_i } }}{{(\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )^{p_i } }} + l - m + 1} \right], \hfill \\ \end{gathered}$$ гдеl произвольное не отрицательное целое число, 1≦p ₁, ...,p _m ≦∞ и \(\mathop \sum \limits_{i = 1}^m p_i^{ - 1} = 1\) . Это неравенство явля ется обобщением и уто чнением неравенств А. Прекопа, Ш. Данча и Л. Лейндлера. Доказано также, что ес ли все последователь ности содержат только коне чное число ненулевых членов, то н еобходимым условием для равенства в (1) является существование такого числа α>0, чтоa _k( ⁱ )=а илиa _k( ⁱ )=0 для всехi=1,...,m;?∞<k<∞.     

Oscillatory Properties of Solutions of Impulsive Differential Equations With Several Retarded Arguments

The impulsive differential equation $\begin{gathered} x\prime (t) + \sum\limits_{i = 1}^m {p_i (t)x(t - \tau _i ) = 0,} {\text{ }}t \ne \xi _k , \\ \Delta x(\xi _k ) = b_k x(\xi _k ) \\ \end{gathered} $ with several retarded arguments is considered, where p _i(t) ≥ 0, 1 + b _k > 0 for i = 1, ..., m, t ≥ 0, $k \in \mathbb{N}$ . Sufficient conditions for the oscillation of all solutions of this equation are found.     

On the Kolmogorov inequality for fractional derivatives on the half-line

В РАБОтЕ пРИВЕДЕНы НЕ ОБхОДИМыЕ И ДОстАтОЧ НыЕ УслОВИь сУЩЕстВОВАНИь НЕРАВ ЕНстВА НА пОлУпРьМОИ R₊=[0, ∞): $$\left\| {(D^\alpha x)( \cdot )} \right\|_{C(R_ + )} \leqq K\left\| {x( \cdot )} \right\|_{L_2 (R_ + )}^{v_1 } \left\| {(D^n x)( \cdot )} \right\|_{L_2 (R_ + )}^{v_2 } ,$$ гДЕ А-пРОИжВОльНОЕ ВЕ ЩЕстВЕННОЕ ЧИслО,n≧1 — цЕлОЕ Иv _i>0,i=1,2. ДРОБНАь пРОИжВОД НАьD ^α пОНИМАЕтсь В сМыслЕ г. ВЕИль. ВыЧИслЕНА НАИ лУЧшАь (т.Е. НАИМЕНьшАь Иж ВОжМ ОжНых) кОНстАНтАк=к(п, А) В ЁтО М НЕРАВЕНстВЕ И ВыпИс АНА ЁкстРЕМАльНАь ФУНкц Иь, НА кОтОРОИ НЕРАВЕНстВО пРЕВРАЩАЕтсь В РАВЕН стВО.     

Moduli of continuity defined by zero continuation of functions andK-functionals with restrictions

We consider the followingK-functional: $$K(\delta ,f)_p : = \mathop {\sup }\limits_{g \in W_{p U}^r } \left\{ {\left\| {f - g} \right\|_{L_p } + \delta \sum\limits_{j = 0}^r {\left\| {g^{(j)} } \right\|_{L_p } } } \right\}, \delta \geqslant 0,$$ where ? ∈L _p :=L _p [0, 1] andW _p,U ^r is a subspace of the Sobolev spaceW _p ^r [0, 1], 1≤p≤∞, which consists of functionsg such that $\int_0^1 {g^{(l_j )} (\tau ) d\sigma _j (\tau ) = 0, j = 1, ... , n} $ . Assume that 0≤l _l ≤...≤l _n ≤r-1 and there is at least one point τ _j of jump for each function σ _j , and if τ _j =τ _s forj ≠s, thenl _j ≠l _s . Let $\hat f(t) = f(t)$ , 0≤t≤1, let $\hat f(t) = 0$ ,t<0, and let the modulus of continuity of the functionf be given by the equality $$\hat \omega _0^{[l]} (\delta ,f)_p : = \mathop {\sup }\limits_{0 \leqslant h \leqslant \delta } \left\| {\sum\limits_{j = 0}^l {( - 1)^j \left( \begin{gathered} l \hfill \\ j \hfill \\ \end{gathered} \right)\hat f( - hj)} } \right\|_{L_p } , \delta \geqslant 0.$$ We obtain the estimates $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 ]} (\delta ,f)_p $ and $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 + 1]} (\delta ^\beta ,f)_p $ , where β=(pl _l + 1)/p(l ₁ + 1), and the constantc>0 does not depend on δ>0 and ? ∈L _p . We also establish some other estimates for the consideredK-functional.     

Interpolation with lagrange polynomials a simple proof of Markov inequality and some of its generalizations

The following theorem is provedTheorem 1.Let q be a polynomial of degree n(qP_n)with n distinct zeroes lying inthe interval[-1,1] and△'_q={-1}∪{τ_i:q'(τ_i)=0,i=1,n-1}∪{1}.If polynomial pP_n satisfies the inequalitythen for each k=1,n and any x[-1,1]its k-th derivative satisfies the inequality丨p~(k)(x)丨≤max{丨q~((k))(x)丨,丨1/k(x~2-1)q~(k+1)(x)+xq~((k))(x)丨}.This estimate leads to the Markov inequality for the higher order derivatives ofpolynomials if we set q=T_n,where Tn is Chebyshev polynomial least deviated from zero.Some other results are established which gives evidence to the conjecture that under theconditions of Theorem 1 the inequality ‖p~((k))‖≤‖q~(k)‖holds.     

Lebesgue-Banach points of functions in symmetric spaces

For a symmetric space E (Ref. Zh. Mat. IIB391) of measurable functions in the interval [0, 1] we introduce a characteristic $$\Pi \left( E \right) = \inf \left\| {\sum\nolimits_{i = 1}^n {x_i \left( {\frac{{t - \tau _{i - 1} }}{{\tau _i - \tau _{i - 1} }}} \right)\kappa \left[ {\tau _{i - 1} , \tau _i } \right]^{\left( t \right)} } } \right\|$$ where κ[τ _i?1, τ _i ](t) is a characteristic function and the inf is taken over all n and the setsx _i ∈E, ∥x _i ∥ _E =1 and τ _i ∈[0,1] (0=τ₀<τ₁<...<τ _n =1,i=1, 2, ...,n). We prove the following.     

Existence of solution for a class of nth-order multi-point boundary value problem

In this paper, we are concerned with the following nth-order ordinary differential equation $$x^{(n)}(t)+f(t,x(t),x'(t),\ldots,x^{(n-1)}(t))=0,\quad t\in (0,1),$$ with the nonlinear boundary conditions $$\begin{array}{l}x^{(i)}(0)=0,\quad i=0,1,\ldots,n-3,\\[3pt]g(x^{(n-2)}(0),x^{(n-1)}(0),x(\xi_1),\ldots,x(\xi_{m-2}))=A,\\[3pt]h(x^{(n-2)}(1),x^{(n-1)}(1),x(\eta_1),\ldots,x(\eta_{l-2}))=B,\end{array}$$ here A,B∈R, f:[0,1]×R ⁿ →R is continuous, g:[0,1]×R ^m →R is continuous, h:[0,1]×R ^l →R is continuous, ξ _i ∈(0,1), i=1,…,m?2, and η _j ∈(0,1), j=1,…,l?2. The existence result is given by using a priori estimate, Nagumo condition, the method of upper and lower solutions and Leray-Schauder degree. We also give an example to demonstrate our result.     

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 the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms

ПустьM ^m,α - множество 2π-п ериодических функци йf с конечной нормой $$||f||_{p,m,\alpha } = \sum\limits_{k = 1}^m {||f^{(k)} ||_{_p } + \mathop {\sup }\limits_{h \ne 0} |h|^{ - \alpha } ||} f^{(m)} (o + h) - f^{(m)} (o)||_{p,} $$ где1 ≦ p ≦ ∞, 0≦α≦1. Рассмотр им средние Bалле Пуссе на $$(\sigma _{n,1} f)(x) = \frac{1}{\pi }\int\limits_0^{2x} {f(u)K_{n,1} (x - u)du} $$ и $$(L_{n,1} f)(x) = \frac{2}{{2n + 1}}\sum\limits_{k = 1}^{2n} {f(x_k )K_{n,1} } (x - x_k ),$$ де0≦l≦n и x _k=2kπ/(2n+1). В работе по лучены оценки для вел ичин \(||f - \sigma _{n,1} f||_{p,r,\beta } \) и $$||f - L_{n,1} f||_{p,r,\beta } (r + \beta \leqq m + \alpha ).$$      

A moment problem associated to rational Szegő functions

Leta ₁,...,a _p be distinct points in the finite complex plane ?, such that |a _j|>1,j=1,..., p and let \(b_j = 1/\bar \alpha _j ,\) j=1,..., p. Let μ₀, μ _π ^(j) , ν _π ^(j) j=1,..., p;n=1, 2,... be given complex numbers. We consider the following moment problem. Find a distribution ψ on [?π, π], with infinitely many points of increase, such that $$\begin{array}{l} \int_{ - \pi }^\pi {d\psi (\theta ) = \mu _0 ,} \\ \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - a_j )^n }} = \mu _n^{(j)} ,} \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - b_j )^n }} = v_n^{(j)} ,} j = 1,...,p;n = 1,2,.... \\ \end{array}$$ It will be shown that this problem has a unique solution if the moments generate a positive-definite Hermitian inner product on the linear space of rational functions with no poles in the extended complex plane ?^* outside {a ₁,...,a _p,b ₁,...,b _p}.     

On a characteristic of cosine functions

This paper is concerned with the property of cosine function. It is proved that a family {T(t)} _t≥0 of strongly continuous linear operators is a cosine function on Banach space X if and only if T(0)=I and there holds $$\begin{aligned} \int_0^{t+s}T(\tau)d\tau=T(t)\int _0^s T(\tau)d\tau+\int_0^t T(\tau)d\tau T(s),\quad t,s \geq0, \end{aligned}$$ where all the integrals concerning operator valued functions are understood to be in the strong operator topology.     

An extremal problem for algebraic polynomials in the symmetric discrete Gegenbauer-Sobolev space

We study discrete Sobolev spaces with symmetric inner product $$\left\langle {f,g} \right\rangle _\alpha = \int_{ - 1}^1 {f g d\mu _\alpha } + M[f(1)g(1) + f( - 1)g( - 1)] + K[f'(1)g'(1) + f'( - 1)g'( - 1)]$$ , where M ≥ 0, k ≥ 0, and $$d\mu _\alpha (x) = \frac{{\Gamma (2\alpha + 2)}}{{2^{2\alpha + 1} \Gamma ^2 (\alpha + 1)}}(1 - x^2 )^\alpha dx, \alpha > - 1$$ , is the Gegenbauer probability measure. We obtain the solution of the following extremal problem: Calculate $$\mathop {\inf }\limits_{a_0 ,a_1 ,...,a_{N - r} } \left\{ {\langle P_N^{(r)} ,P_N^{(r)} \rangle _\alpha ,1 \leqslant r \leqslant N - 1, P_N^{(r)} (x) = \sum\limits_{j = N - r + 1}^N {a_j^0 x^j } + \sum\limits_{j = 0}^{N - r} {a_j x^j } } \right\}$$ , where the a _j ⁰ , j = N ? r + 1, N ? r + 2, ..., N ? 1, N, a _N ⁰ > 0, are fixed numbers, and find the extremal polynomial.     

Global structure of positive solutions for superlinear 2mth-boundary value problems

We consider boundary value problems for nonlinear 2mth-order eigenvalue problem $$ \begin{gathered} ( - 1)^m u^{(2m)} (t) = \lambda a(t)f(u(t)),0 < t < 1, \hfill \\ u^{(2i)} (0) = u^{(2i)} (1) = 0,i = 0,1,2,...,m - 1. \hfill \\ \end{gathered} $$ . where a ∈ C([0, 1], [0, ∞)) and a(t ₀) > 0 for some t ₀ ∈ [0, 1], f ∈ C([0, ∞), [0, ∞)) and f(s) > 0 for s > 0, and f ₀ = ∞, where $ \mathop {\lim }\limits_{s \to 0^ + } f(s)/s $ . We investigate the global structure of positive solutions by using Rabinowitz’s global bifurcation theorem.     

BOUNDARY VALUE PROBLEMS OF SINGULARLY PERTURBED INTEGRO－DIFFERENTIAL EQUATIONS

ＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＳＯＦＳＩＮＧＵＬＡＲＬＹＰＥＲＴＵＲＢＥＤＩＮＴＥＧＲＯ－ＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＺＨＯＵＱＩＮＤＥＭＩＡＯＳＨＵＭＥＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ,ＪｉｌｉｎＵｎｉｖｅ...