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.     

Summation of weakly dependent sequences by Cesàro methods

Пусть (X, A, u) — пространст во с конечной мерой, (ξ_k) ₁ ^∞ — последовательност ь функций, \(\xi _k \varepsilon L_{2r} (X), r > 1, \int\limits_X {\xi _k d\mu = 0} \) . Изучаются условия, п ри которых справедли вgа - у. з. б.ч., т. e. (ξ _k) суммируется к ну лю почти всюду методо м (С, а),а > 0. Приведем два резу льтата. 1) Если (ξ _k) — слабо мульт ипликативная систем а (в частности, мартингал-разности или независимая сист ема), то условие $$\mathop \sum \limits_1^\infty \mathop {\smallint }\limits_X \left| {\xi _k } \right|^{2r} d\mu \cdot c_r (k,\alpha )< \infty $$ влечетβ - у.з.б.ч. Здесьc _r(k,α)=k ^-2rα при 0<α<(r+1)/2r, c_r=k^?(r+1) In3r-1 k приа=(r+1)/2r, с_r=k^?(r+1) при а >(r+1)/2r. 2) Если (ξ _k) независимы,Mξ _k=0, (r+1)/2r<α=1, то условия $$\mathop \sum \limits_{k = 1}^\infty \frac{{(M\xi _k^2 )^r }}{{k^{r + 1} }}< \infty ,\mathop \sum \limits_{k = 1}^\infty \frac{{M|\xi _k |^{2r} }}{{k^{2r\alpha } }}< \infty $$ влекут за собой а - у. з. б. ч.     

Orthogonal rational functions and modified approximants

Let {α _n | _n ^∞ be a sequence in the open unit disk in the complex plane and let $(\overline {\alpha _k } |\alpha _k | = - 1$ when α _k =0. Let μ be a positive Borel measure on the unit circle, and let {φ _n } _n ^∞ be the orthonormal sequence obtained by orthonormalization of the sequence {B _n } _n ^∞ with respect to μ. Let {ψ _n } _n ^∞ be the sequence of associated rational functions. Using the functions φ _n , ψ _n and certain conjugates of them, we obtain modified Padé-type approximants to the function $$F\mu (z) = \int\limits_{ - \pi }^\pi {\frac{{t + z}}{{t - z}}} d\mu (\theta ), (t = e^{i\theta } ).$$      

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.     

О раэложении мероморфных функций специального вида на простейщие дроби

The paper is devoted to study the entire functions L(λ) with simple real zeros λ_k, k = 1, 2, ..., that admit an expansion of Krein’s type: $$\frac{1}{{\mathcal{L}(\lambda )}} = \sum\limits_{k = 1}^\infty {\frac{{c_k }}{{\lambda - \lambda _k }}} ,\sum\limits_{k = 1}^\infty {\left| {c_k } \right| < \infty } .$$ We present a criterion for these expansions in terms of the sequence {L′ (λ _k )} _k=1 ^∞ . We show that this criterion is applicable to certain classes of meromorphic functions and make more precise a theorem of Sedletski? on the annihilating property in L ² systems of exponents.     

On mappings preserving orthogonality of non-singular vectors

Letq be a regular quadratic form on a vector space (V,F) and letf be the bilinear form associated withq. Then, \(\dot V: = \{ z \in V|q(z) \ne 0\} \) is the set of non-singular vectors ofV, and forx, y ∈ \(\dot V\) , ?(x, y) ?f(x, y) ²/(q(x) · q(y)) is theq-measure of (x, y), where ?(x,y)=0 means thatx, y are orthogonal. For an arbitrary mapping \(\sigma :\dot V \to \dot V\) we consider the functional equations $$\begin{gathered} (I)\sphericalangle (x,y) = 0 \Leftrightarrow \sphericalangle (x^\sigma ,y^\sigma ) = 0\forall x,y \in \dot V, \hfill \\ (II)\sphericalangle (x,y) = \sphericalangle (x^\sigma ,y^\sigma )\forall x,y \in \dot V, \hfill \\ (III)f(x,y)^2 = f(x^\sigma ,y^\sigma )^2 \forall x,y \in \dot V, \hfill \\ \end{gathered} $$ and we state conditions on (V,F,q) such thatσ is induced by a mapping of a well-known type. In case of dimV ∈N?{0, 1, 2} ∧ ∣F∣ > 3, each of the assumptions (I), (II), (III) implies that there exist aρ-linear injectionξ :V →V and a fixed λ ∈F?{0} such thatF x ^σ =F x ^ξ ?x ∈ \(\dot V\) andf(x ^ξ,y ^ξ)=λ · (f(x, y))^ρ ?x, y ∈V. Moreover, (II) implies ρ =id _F ∧q(x ^ξ) = λ ·q(x) ?x ∈ \(\dot V\) , and (III) implies ρ=id _F ∧ λ ∈ {1,?1} ∧x ^σ ∈ {x ^ξ, ?x ^ξ} ?x ∈ \(\dot V\) . Other results obtained in this paper include the cases dimV = 2 resp. dimV ?N resp. ∣F∣ = 3.     

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.     

Large deviations of the first passage time for a random walk with semiexponentially distributed jumps

Suppose that ξ, ξ(1), ξ(2), ... are independent identically distributed random variables such that ?ξ is semiexponential; i.e., $P( - \xi \geqslant t) = e^{ - t^\beta L(t)} $ is a slowly varying function as t → ∞ possessing some smoothness properties. Let E ξ = 0, D ξ = 1, and S(k) = ξ(1) + ? + ξ(k). Given d > 0, define the first upcrossing time η ₊(u) = inf{k ≥ 1: S(k) + kd > u} at nonnegative level u ≥ 0 of the walk S(k) + kd with positive drift d > 0. We prove that, under general conditions, the following relation is valid for $u = (n) \in \left[ {0, dn - N_n \sqrt n } \right]$ : 0.1 $P(\eta + (u) > n) \sim \frac{{E\eta + (u)}}{n}P(S(n) \leqslant x) as n \to \infty $ , where x = u ? nd < 0 and an arbitrary fixed sequence N _n not exceeding $d\sqrt n $ tends to ∞. The conditions under which we prove (0.1) coincide exactly with the conditions under which the asymptotic behavior of the probability P(S(n) ≤ x) for $x \leqslant - \sqrt n $ was found in [1] (for $x \in \left[ { - \sqrt n ,0} \right]$ it follows from the central limit theorem).     

On the continuity of functions in connection with a problem of V. G. Krotov

В РАБОтЕ ДАЕтсь ОтВЕт НА ОДИН ВОпРОс, пОстАВ лЕННыИ В. г. кРОтОВыМ. УстАНОВлЕН О, ЧтО ЕслИ Ф(х) — МОНОтОННО ВО жРАстАУЩАь ФУНкцИь,Ф (0)=0, Ф(2х)≦кФ(х), х[0, ∞), тО $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {S_k - f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\mu _k } \Phi (\lambda _k ) = \infty $$ Дль пРОИжВОльНых НЕО тРИцАтЕльНых ЧИслОВ ых пОслЕДОВАтЕльНОстЕ И {Μ_k} И {λ_k}. (жДЕсьS _k ОБОжНАЧАЕт ЧАстНУУ с УММУ пОРьДкАk РьДА ФУ РьЕ ФУНкцИИf). УстАНОВлЕН О тАкжЕ, ЧтО ВО МНОгИх слУЧАьх $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {\tilde S_k - \tilde f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\frac{1}{{k\lambda _k }}} \Phi ^{ - 1} \left( {\frac{1}{{k\mu _k }}} \right)< \infty .$$      

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

On a strengthened extremal property of the Carathéodory-Fejér functions

Для заданной на едини чной окружности огра ниченной функцииω(ξ) рассматр ивается усложненная задача а ппроксимации аналит ическими функциями: $$\mathop {\inf }\limits_{\varphi \in H^\infty } \left[ {\left\| {\omega - \varphi } \right\| + \mathop \Sigma \limits_{k = 0}^\infty \varepsilon _k \left| {\lambda _k } \right|} \right],$$ где ∥·∥ понимается вL ^∞,ε _k ≧0 — заданные чис ла, $$\mathop \Sigma \limits_{k = 0}^\infty \varepsilon _k< + \infty ,\varphi (z) = \mathop \Sigma \limits_{k = 0}^\infty \lambda _k z^k .$$ Доказывается, что при всех достаточно малы хε _k экстремальной в этой задаче будет функция обычного наилучшего приближения (та же, что и приε _k =0,k=0, 1, ...). В частности, при $$\omega (\zeta ) = \frac{{\gamma _0 }}{{\zeta ^n }} + \frac{{\gamma _1 }}{{\zeta ^{n - 1} }} + ... + \frac{{\gamma _{n - 1} }}{\zeta }$$ экстремальной оказы вается дробь Каратео дори—Фейера. Переход к двойственн ой задаче позволяет получить т очные оценки для клас са интегралов типа Коши, выделяемого огранич ениями, наложенными на велич ины коэффициентов ря да Тейлора.     

Optimal stationary linear control of the Wiener process

In the present paper, we consider the following stochastic control problem: to minimize the average expected total cost $$J(x,u) = \mathop {\lim \inf }\limits_{T \to \infty } (1/T)E_x^u \int_0^T {\left[ {\phi (\xi _t ) + |u_t (\xi )|} \right]} dt,$$ 〈subject to $$d\xi _t = u_1 (\xi )dt + dw_t , \xi _0 = x, |u| \leqslant 1,$$ (w _t) a Wiener process, with all measurable functions on the past of the state process {ξ _s ;s≤t} and bounded by unity, admissible as controls. It is proved that, under very mild conditions on the running cost function φ(·), the optimal law is of the form $$\begin{gathered} u_t^* (\xi ) = - sign\xi _t , |\xi _t | > b, \hfill \\ u_t^* (\xi ) = 0, |\xi _t | > b. \hfill \\ \end{gathered} $$ The cutoff pointb and the performance rate of the optimal lawu* are simultaneously determined in terms of the function φ(·) through a simple system of integrotranscendental equations.     

Interpolation in certain Hilbert spaces of analytic functions

In this article we study, for a Hilbert spaceB of analytic functions in the open unit disk, the dependence of the structure of the space of sequencesB(Z)={{f(z_k)} _k=1 ^∞ :f∈B} on the choice of the sequence Z={z_k} _k=1 ^∞ of distinct points of the unit disk [6].     

On a certain class of infinitely divisible distributions

We characterize the class of distribution functions Φ(x), which are limits in the following sense: there exist a sequence of independent and equally distributed random variables {ξ _n }, numerical sequences {a _k }, {b _k } and natural numbers {n _k } such that $$\mathop {lim}\limits_{k \to \infty } Prob\left\{ {\frac{1}{{a_k }}\mathop {\Sigma }\limits_{k = 1}^{n_k } \xi _k - b_k< x} \right\} = \Phi (x)$$ and $$\mathop {\lim \inf }\limits_{k \to \infty } (n_k /n_{k + 1} ) > 0$$ .     

О кОЁФФИцИЕНтАх тРИг ОНОМЕтРИЧЕскИх НУль-РьДОВ

Let {? _k } _k=0 ^∞ be a numerical sequence satisfying the conditions $$\varrho _k \downarrow 0(k \to \infty )and\mathop \sum \limits_{k = 0}^\infty \varrho _k^2 = + \infty .$$ It is proved that there exists a trigonometric series $$\mathop \sum \limits_{k = 0}^\infty \varrho '_k \cos 2\pi (kx + \theta _k )$$ where ¦?′ _k ¦≦? _k ,k=0, 1, 2, ..., possessing the following property. For each measurable and a.e. finite functionF(x), x?[0, 1], the numbersδ _k =0 or 1,k=0, 1, ..., may be chosen in such a way that the series $$\mathop \sum \limits_{k = 0}^\infty \delta _k \varrho '_k \cos 2\pi (kx + \theta _k )$$ converges toF(x) a.e. on [0,1]. In addition, ifF(x)=0, then \(\delta _{k_0 } \varrho '_{k_0 } \ne 0\) for at least onek ₀≧0. Certain generalizations are discussed, too.     

Finite union theorem with restrictions

The aim of this paper is to prove the following extension of the Folkman-Rado-Sanders Finite Union Theorem: For every positive integersr andk there exists a familyL of sets having the following properties:

1. ifS ₁,S ₂, ...,S _{k + 1} are distinct pariwise disjoint elements ofL then there exists nonemptyI ? {1, 2, ...,k + 1} with ∪ _i∈I S _i ?L
2. ifL =L ₁ ?...?L _r is an arbitrary partition then there existsj ≤ r and pairwise disjoint setsS ₁,S ₂, ...,S _k ∈L _j , such thatL _i∈I S _i ∈L _j for every nonemptyI ? {1, 2, ...,k}.

     

Bergman type operators on a class of weakly pseudoconvex domains

A necessary and sufficient condition for the boundedness of the operator: $(T_{s,u,u} f)(\xi ) = h^{u + \tfrac{v}{a}} (\xi )\smallint _{\Omega _a } h^s (\xi ')K_{s,u,v} (\xi ,\xi ')f(\xi ')dv(\xi ') on L^p (\Omega _a ,dv_\lambda ),1< p< \infty $ , is obtained, where $\Omega _a = \left\{ {\xi = (z,w) \in \mathbb{C}^{n + m} :z \in \mathbb{C}^n ,w \in \mathbb{C}^m ,|z|^2 + |w|^{2/a}< 1} \right\},h(\xi ) = (1 - |z|^2 )^a - |w|^2 $ andK _x,u,v (ξ,ξ′).This generalizes the works in literature from the unit ball or unit disc to the weakly pseudoconvex domain ω _a . As an appli cation, it is proved thatf?L _H ^p (ω _a ,dv _λ) implies $h\tfrac{{|a|}}{a} + |\beta |(\xi )D_2^a D_z^\beta f \in L^p (\Omega _a ,dv_\lambda ),1 \leqslant p< \infty $ , for any multi-indexa=(α₁,?,α _n and ß = (ß₁, —ß). An interesting question is whether the converse holds.     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.