An Averaging Method for Singularly Perturbed Systems of Semilinear Differential Inclusions with C 0-Semigroups

We consider a system of two semilinear differential inclusions with infinitesimal generators of C ₀-semigroups. The nonlinear terms are of high frequency with respect to time and periodic with a specified period. Moreover, they are condensing in the state variables (x,y) with respect to a suitable measure of noncompactness. The goal of the paper is to give sufficient conditions to guarantee, for ∈>0 sufficiently small, the existence of periodic solutions and to study their behaviour as ∈→0. The main tool to achieve this is the topological degree theory for uppersemicontinuous, condensing vector fields.     

Stability and Optimality of Solutions to Differential Inclusions via Averaging Method

During the last three decades, the averaging method has been successfully applied to a wide range of problems involving differential inclusions, simplifying the study of the systems under consideration. In this work, the main development trends and methods in the application of the averaging method to the study of stability and optimality of solutions to differential inclusions are surveyed. A detailed list of references is given and some examples of applications are presented.     

Weak Exponential Stability for Time-Periodic Differential Inclusions via First Approximation Averaging

In this work we propose a method to study a weak exponential stability for time-varying differential inclusions applying an averaging procedure to a first approximation. Namely, we show that a weak exponential stability of the averaged first approximation to the differential inclusion implies the weak exponential stability of the original time-varying inclusion. The result is illustrated by an example.     

An Averaging Method for Singularly Perturbed Systems of Semilinear Differential Inclusions with C0-Semigroups

We consider a system of two semilinear differential inclusions with infinitesimal generators of C ₀-semigroups. The nonlinear terms are of high frequency with respect to time and periodic with a specified period. Moreover, they are condensing in the state variables (x,y) with respect to a suitable measure of noncompactness. The goal of the paper is to give sufficient conditions to guarantee, for >0 sufficiently small, the existence of periodic solutions and to study their behaviour as 0. The main tool to achieve this is the topological degree theory for uppersemicontinuous, condensing vector fields.     

On Systems of Boundary Value Problems for Differential Inclusions

Herein we consider the existence of solutions to second-order, two-point boundary value problems （BVPs） for systems of ordinary differential inclusions. Some new Bernstein-Nagumo conditions are presented that ensure a priori bounds on the derivative of solutions to the differential inclusion. These a priori bound results are then applied, in conjunction with appropriate topological methods, to prove some new existence theorems for solutions to systems of BVPs for differential inclusions. The new conditions allow of the treatment of systems of BVPs without growth restrictions.     

Averaging in Boundary-Value Problems for Systems of Differential and Integrodifferential Equations

Ukrainian Mathematical Journal - The averaging method is applied to the investigation of the problem of existence of solutions of boundary-value problems for systems of differential and...     

Bounds for Systems of Maximal Differential Polynomials without Mixed Derivatives

Mathematical Notes -     

Morse Decompositions for Periodic General Dynamical Systems and Differential Inclusions

We first establish the Morse decomposition theory of periodic invariant sets for non-autonomous periodic general dynamical systems (set-valued dynamical systems). Then we discuss the stability of Morse decompositions of periodic uniform forward attractors. We also apply the abstract results to non-autonomous periodic differential inclusions with only upper semi-continuous right-hand side. We show that Morse decompositions are robust with respect to both internal and external perturbations (upper semi-continuity of Morse sets). Finally as an application we study the effect of small time delays to asymptotic behavior of control systems from the point of view of Morse decompositions.     

Error Bounds for the Truncation of Infinite Linear Differential Systems

An infinite system of linear differential equations of the form = Ax + f, x(0) = y is considered, wherex, y and f are infinite column vectors in E, and A is a constantinfinite matrix defining a bounded operator on E, where E isl₁, (c₀), or l. Explicit error bounds are obtained for the approximationof the solution of the infinite system by the solutions of thefinite truncated systems.     

Averaging of Differential Equations Generating Oscillations and an Application to Control

In this article we consider differential equations which generate oscillating solutions. These oscillations are due to the presence of a small parameter l>0 ; however, they are not present in the coefficients but instead they are caused by a penalty term involving an antisymmetric operator. Our aims are twofold. In the first part we study asymptotics at all orders, for lM 0 , construct approximate solutions, and derive estimates of the error between the exact solution and the approximate ones. One of the motivations of this part is the study to high orders of the geostrophic asymptotics in atmospheric science, but there are many other possible applications involving in particular the wave equation. The actual applications of our results to atmospheric science will be discussed elsewhere [STW], as well as, on the mathematical side, the application to partial differential equations [TW1]. In the second part of this article we study a control problem involving such an equation and study the behavior of the state equation, of the optimal control, and of the optimality equation as lM 0 . For the control part we restrict ourselves to a linear equation and to the first order in the asymptotics lM 0 , leaving nonlinear problems and higher orders to a future work.     

Tight Lower Bounds for Halfspace Range Searching

We establish two new lower bounds for the halfspace range searching problem: Given a set of n points in ℝ ^d , where each point is associated with a weight from a commutative semigroup, compute the semigroup sum of the weights of the points lying within any query halfspace. Letting m denote the space requirements, we prove a lower bound for general semigroups of [\varOmega\tilde](n^1-1/(d+1)/m^1/(d+1))\widetilde{\varOmega}(n^{1-1/(d+1)}/m^{1/(d+1)}) and for integral semigroups of [\varOmega\tilde](n/m^1/d)\widetilde{\varOmega}(n/m^{1/d}).     

Tight Bounds for Connecting Sites Across Barriers

Given m points (sites) and n obstacles (barriers) in the plane, we address the problem of finding a straight line minimum cost spanning tree on the sites, where the cost is proportional to the number of intersections (crossings) between tree edges and barriers. If the barriers are infinite lines, it is known that there is a spanning tree such that every barrier is crossed by tree edges, and this bound is asymptotically optimal. Asano et al. showed that if the barriers are pairwise disjoint line segments, then there is a spanning tree such that every barrier crosses at most 4 tree edges and so the total cost is at most 4n. Lower bound constructions are known with 3 crossings per barrier and 2n total cost. We obtain tight bounds on the minimum cost of spanning trees in the special case where the barriers are interior disjoint line segments that form a convex subdivision of the plane and there is a point in every cell of the subdivision. In particular, we show that there is a spanning tree such that every barrier crosses at most 2 tree edges, and there is a spanning tree of total cost 5n/3. Both bounds are the best possible. Work by Eynat Rafalin and Diane Souvaine was supported by the National Science Foundation under Grant #CCF-0431027. E. Rafalin’s research conducted while at Tufts University.     

Optimal Control of Non-convex Measure-driven Differential Inclusions

Necessary conditions for optimality in control problems with differential-inclusion dynamics have recently been developed in the non-convex case by Clarke, Vinter, and others. Using appropriate reparametrizations of the time variable, we extend these results to systems whose dynamics involve a differential inclusion where a vector-valued measure appears. An auxiliary result central to our proof is an extension of existing free end-time necessary conditions to Clarke’s stratified framework.     

微分包含的稳定性

本文通过引用生存定理，Ｌｙａｐｕｎｏｖ第二方法和比较定理，首先证明了微分包含的整体存在定理，然后讨论了微分包含解的稳定性     

Numerical Energy Conservation for Multi-Frequency Oscillatory Differential Equations

The long-time near-conservation of the total and oscillatory energies of numerical integrators for Hamiltonian systems with highly oscillatory solutions is studied in this paper. The numerical methods considered are symmetric trigonometric integrators and the St?rmer–Verlet method. Previously obtained results for systems with a single high frequency are extended to the multi-frequency case, and new insight into the long-time behaviour of numerical solutions is gained for resonant frequencies. The results are obtained using modulated multi-frequency Fourier expansions and the Hamiltonian-like structure of the modulation system. A brief discussion of conservation properties in the continuous problem is also included. AMS subject classification (2000) 65L05, 65P10     

Averaging Results for Functional Differential Equations

Under rather general assumptions, we present some improved averaging results for functional differential equations. This is achieved with the help of nonstandard analysis and extends a similar result by the first author for a delay differential equation of a particular form.