
This paper develops an analytic framework to design both stresscontrolled
and displacementcontrolled Tperiodic loadings which make the quasistatic
evolution of a onedimensional network of elastoplastic springs converging to a
unique periodic regime. The solution of such an evolution problem is a function
t> (e(t),p(t)), where e_i(t) and p_i(t) are the elastic and plastic
deformations of spring i, defined on [t0,\infty) by the initial condition
(e(t0),p(t0)).
After we rigorously convert the problem into a Moreau sweeping process with a
moving polyhedron C(t) in a vector space E of dimension d, it becomes natural
to expect (based on a result by Krejci) that the solution t>(e(t),p(t)) always
converges to a Tperiodic function. The achievement of this paper is in
spotting a class of loadings where the Krejci's limit doesn't depend on the
initial condition (e(t0),p(t0)) and so all the trajectories approach the same
Tperiodic regime. The proposed class of sweeping processes is the one for
which the normal vectors of any d different facets of the moving polyhedron
C(t) are linearly independent. We further link this geometric condition to
mechanical properties of the given network of springs. We discover that the
normal vectors of any d different facets of the moving polyhedron C(t) are
linearly independent, if the number of displacementcontrolled loadings is two
less the number of nodes of the given network of springs and when the magnitude
of the stresscontrolled loading is sufficiently large (but admissible). The
result can be viewed as an analogue of the highgain control method for
elastoplastic systems. In continuum theory of plasticity, the respective result
is known as FrederickArmstrong theorem.

We consider a switched system of two subsystems that are activated as the
trajectory enters the regions $\{(x,y):x>\bar x\}$ and $\{(x,y):x<\bar x\}$
respectively, where $\bar x$ is a positive parameter. We prove that a regular
asymptotically stable equilibrium of the associated Filippov equation of
sliding motion (corresponding to $\bar x=0$) yields an orbitally stable limit
cycle for all $\bar x>0$ sufficiently small. The research is motivated by an
application to a dcdc power converter, where $\bar x>0$ is used in place of
$\bar x=0$ to avoid sliding motions.

We develop a theory which allows making qualitative conclusions about the
dynamics of both monotone and nonmonotone Moreau sweeping processes.
Specifically, we first prove that any sweeping processes with almost periodic
monotone righthandsides admits a globally exponentially stable almost
periodic solution. And then we describe the extent to which such a globally
stable solution persists under nonmonotone perturbations.

We describe the behavior of solutions of switched systems with multiple
globally exponentially stable equilibria. We introduce an ideal attractor and
show that the solutions of the switched system stay in any given
$\varepsilon$inflation of the ideal attractor if the frequency of switchings
is slower than a suitable dwell time $T$. In addition, we give conditions to
ensure that the $\varepsilon$inflation is a global attractor. Finally, we
investigate the effect of the increase of the number of switchings on the total
time that the solutions need to go from one region to another.

An antilock braking system (ABS) is the primary motivation for this
research. The ABS controller switches the actions of charging and discharging
valves in the hydraulic actuator of the brake cylinder based on the wheels'
angular speed and acceleration. The controller is, therefore, modeled by
discontinuous differential equations where two smooth vector fields are
separated by a switching manifold S. The goal of the controller is to maximize
the tireroad friction force during braking (and, in particular, to prevent the
wheel lockup). Since the optimal slip L of the wheel is known rather
approximately, the actual goal of the controller is to achieve such a switching
strategy that makes the dynamics converging to a limit cycle surrounding the
region of prospective values of L. In this paper we show that the required
limit cycle can be obtained as a bifurcation from a point x0 of S when a
suitable parameter D crosses 0. The point x0 turns out to be a foldfold
singularity (the vector fields on the two sides of S are tangent one another at
x0) and the parameter D measures the deviation of the switching manifold from a
hyperplane. The proposed result is based on an extension of the classical fold
bifurcation theory available for smooth maps. Construction of a suitable smooth
map is a crucial step of the proof.

Aim of the paper is to provide a method to analyze the behavior of
$T$periodic solutions $x_\eps, \eps>0$, of a perturbed planar Hamiltonian
system near a cycle $x_0$, of smallest period $T$, of the unperturbed system.
The perturbation is represented by a $T$periodic multivalued map which
vanishes as $\eps\to0$. In several problems from nonsmooth mechanical systems
this multivalued perturbation comes from the Filippov regularization of a
nonlinear discontinuous $T$periodic term. \noindent Through the paper,
assuming the existence of a $T$periodic solution $x_\eps$ for $\eps>0$ small,
under the condition that $x_0$ is a nondegenerate cycle of the linearized
unperturbed Hamiltonian system we provide a formula for the distance between
any point $x_0(t)$ and the trajectories $x_\eps([0,T])$ along a transversal
direction to $x_0(t).$

Let $P_e\in C^0(R^n,R^n)$ be the PoincareAndronov operator over period $T>0$
of the $T$periodically perturbed autonomous system $x'=f(x)+e g(t,x,e),$ where
$e>0$ is small. Assuming that for $e=0$ this system has a $T$periodic limit
cycle $x_0$ we evaluate the topological degree $d(IP_e,U)$ of $IP_e$ on an
open bounded set $U$ whose boundary contains $x_0([0,T])$ and does not contain
other fixed points of $P_0.$ We give an explicit formula connecting
$d(IP_e,U)$ with topological indexes of zeros of the associated Malkin's
bifurcation function. The goal of the paper is to prove Mawhin's conjecture
which claims that $d(IP_e,U)$ can be any integer in spite of the fact that the
measure of the set of fixed points of $P_0$ on $\partial U$ is zero.

By means of a linear scaling of the variables we convert a singular
bifurcation equation in $\R^n$ into an equivalent equation to which the
classical implicit function theorem can be directly applied. This allows to
deduce the existence of a unique branch of solutions as well as a relevant
property of the spectrum of the derivative of the singular bifurcation equation
along the branch. We use these results to show the existence, uniqueness and
the asymptotic stability of periodic solutions of a $T$periodically perturbed
autonomous system bifurcating from a $T$periodic limit cycle of the autonomous
unperturbed system. This problem is classical, but the novelty of the method
proposed is that it allows us to solve the problem without any reduction of the
dimension of the state space as it is usually done in the literature by means
of the LyapunovSchmidt method.

We prove asymptotic stability of periodic oscillations in twobodies
vibrating screen model under assumption that the frequencies w1 and w2 of the
generating system (without obstacle and periodic driving) satisfy the
assumption w1:w2=1:2. We also assume that the frequency of the external
periodic driving equals to w1. These settings correspond to nonlinear resonance
which is a well known phenomenon in industrial implementation of the vibrating
screen. The justification is performed over nonsmooth analog of the second
Bogolyubov's theorem proposed by the author in his previous papers. It is
rigorously proven that the periodic oscillations obtained have two frequencies,
in contrast with the case when the obtacle is absent.

In this paper the statement of the second Bogolyubov's theorem on periodic
solutions of smooth systems with small parameter is justified for
discountinuous systems. It is assumed that the generating solution intersects
the discontinuity hyperplanes transversally and that the system is smooth
outside of these hyperplanes. Such a situation is natural for mechanical
systems with dry friction and without constraints and sticking of oscillations.
To illustrate the result we prove stability of the velocity of
vibrationinduced displacement.

Let $y=f(x)$ be a continuously differentiable implicit function solving the
equation $F(x,y)=0$ with continuously differentiable $F.$ In this paper we show
that if $F_\eps$ is a Lipschitz function such that the Lipschitz constant of
$F_\epsF$ goes to 0 as $\eps\to 0$ then the equation $F_\eps(x,y)=0$ has a
Lipschitz solution $y=f_\eps(x)$ such that the Lipschitz constant of $f_\epsf$
goes to 0 as $\eps\to 0$ either. As an application we evaluate the length of
time intervals where the right hand parts of some nonautonomous discontinuous
systems of ODEs are continuously differentiable with respect to state
variables. The latter is done as a preparatory step toward generalizing the
second Bogolyubov's theorem for discontinuous systems.

The smooth second Bogolyubov's theorem is generalized for Lipschitz systems.

In this paper we provide conditions to ensure the existence, for $e>0$
sufficiently small, of periodic solutions of given period $T>0$ in a prescribed
domain $U$ for a class of singularly perturbed first order differential
systems. Here $e>0$ is the perturbation parameter. Our approach, based on the
topological degree theory and the averaging theory, permits to weaken the
conditions in [K.R. Schneider, Vibrational control of singularly perturbed
systems, in "Lectures Notes in Control and Information Science", 259, 397408,
Springer, London, 2001, Theorem 2] under which the existence of periodic
solutions is proved.

In this paper we consider a class of nonlinear periodic differential systems
perturbed by two nonlinear periodic terms with multiplicative different powers
of a small parameter $e>0$. For such a class of systems we provide conditions
which guarantee the existence of periodic solutions of given period $T>0$.
These conditions are expressed in terms of the behaviour on the boundary of an
open bounded set $U$ of $R^n$ of the solutions of suitably defined linearized
systems. The approach is based on the classical theory of the topological
degree for compact vector fields. An application to the existence of periodic
solutions to the van der Pol equation is also presented.

A topological degree based averaging principle has been proposed by J. Mawhin
in his PhD thesis [J. Mawhin, Le Probleme des Solutions Periodiques en
Mecanique non Lineaire, These de doctorat en sciences, Universite de Liege,
1969]. In the present paper we extend this result for the case when the
unperturbed system is nonlinear but possesses a set of Tperiodic solutions
whose initial conditions constitute a boundary of some open set.

A topological degree based averaging principle has been proposed by J. Mawhin
in his PhD thesis [J. Mawhin, Le Probleme des Solutions Periodiques en
Mecanique non Lineaire, These de doctorat en sciences, Universite de Liege,
1969]. In his thesis the author gives analogous topological degree versions of
classical bifurcation results due to I.G. Malkin and V.K. Melnikov, namely the
conditions for bifurcation of periodic solutions from families are expressed in
term of the topological degree of the bifurcation function. Moreover, the
topological index of bifurcated periodic solutions is evaluated over that
degree. A third part of the thesis is devoted to the rate the bifurcated
periodic solutions converge when the perturbation vanishes. The
differentiability of perturbed systems is not assumed.

In this paper we propose an approach to evaluate the domain of attraction of
asymptotically stable periodic solutions obtained via averaging principle
(second Bogolubov's theorem or Mel'nikov's method). We discuss also how this
result is extended in the case when the right hand part is nonsmooth.

Aim of this paper is to investigate the existence of periodic solutions of a
nonlinear planar autonomous system having a limit cycle x_0 of least period
T_0>0 when it is perturbed by a small parameter, T_1periodic, perturbation. In
the case when T_0/T_1 is a rational number l/k, with l, k prime numbers, we
provide conditions to guarantee, for the parameter perturbation e>0
sufficiently small, the existence of klT_0periodic solutions x_e of the
perturbed system which converge to the trajectory x_1 of the limit cycle as
e>0. Moreover, we state conditions under which T=klT_0 is the least period of
the periodic solutions x_e. We also suggest a simple criterion which ensures
that these conditions are verified. Finally, in the case when T_0/T_1 is an
irrational number we show the nonexistence, whenever T>0 and e>0, of Tperiodic
solutions x_e of the perturbed system converging to x_1. The employed methods
are based on the topological degree theory.

In this paper we evaluate the topological index of periodic solutions otained
via the MalkinLoud bifurcation result. Incidentally, we do not assume that the
perturbation is differentiale.

Let A:D(A)\to E be an infinitesimal generator either of an analytic compact
semigroup or of a contractive C_0semigroup of linear operators acting in a
Banach space E. In this paper we give both necessary and sufficient conditions
for bifurcation of $T$periodic solutions for the equation x'=Ax+f(t,x)+e
g(t,x,e) from a kparameterized family of Tperiodic solutions of the
unperturbed equation corresponding to e=0. We show that by means of a suitable
modification of the classical Mel'nikov approach we can construct a bifurcation
function and to formulate the conditions for the existence of bifurcation in
terms of the topological index of the bifurcation function. To do this, since
the perturbation term g is only Lipschitzian we need to extend the classical
LyapunovSchmidt reduction to the present nonsmooth case.

The basic tool of classical results by Malkin and Melnikov on bifurcation of
periodic solutions from nondegenerate cycles of autonomous systems with
periodic perturbations is an implicit function theorem. In this paper the
Poincare index is used to avoid the requirement of nondegeneracity for the
unperturbed cycles and to provide additional geometrical properties of periodic
solutions of the perturbed system.

In this paper we study the existence, uniqueness and asymptotic stability of
the periodic solutions for a Lipschitz system with a small right hand side.
Classical hypotheses in the periodic case of second Bogolyubov's theorem imply
our ones. By means of the results established we construct the curves of
dependence of the amplitude of asymptotically stable $2\pi$periodic solutions
of the nonsmooth van der Pol oscillator on the detuning parameter and the
amplitude of the perturbation. After, we compare the resonance curves obtained,
with the resonance curves of the classical van der Pol oscillator which were
first constructed by Andronov and Witt.

In this paper we consider a class of planar autonomous systems having an
isolated limit cycle x_0 of smallest period T>0 such that the associated
linearized system around it has only one characteristic multiplier with
absolute value 1. We consider two functions, defined by means of the
eigenfunctions of the adjoint of the linearized system, and we formulate
conditions in terms of them in order to have the existence of two geometrically
distinct families of Tperiodic solutions of the autonomous system when it is
perturbed by nonsmooth Tperiodic nonlinear terms of small amplitude. We also
show the convergence of these periodic solutions to x_0 as the perturbation
disappears and we provide an estimation of the rate of convergence. The
employed methods are mainly based on the theory of topological degree and its
properties that allow less regularity on the data than that required by the
approach, commonly employed in the existing literature on this subject, based
on various versions of the implicit function theorem.

We consider an autonomous system in R^n having a limit cycle x_0 of period
T>0 which is nondegenerate in a suitable sense. We then consider the perturbed
system obtained by adding to the autonomous system a Tperiodic, not
necessarily differentiable, term whose amplitude tends to 0 as a small
parameter e>0 tends to 0. Assuming the existence of a Tperiodic solution x_e
of the perturbed system and its convergence to x_0 as e>0, the paper
establishes the existence of d_e>0 as e>0 such that \x_e(t+d_e)x_0(t)\<=eM
for some M>0 and any e>0 sufficiently small.