 Research
 Open access
 Published:
Periodic solutions of semiexplicit differentialalgebraic equations with timedependent constraints
Boundary Value Problems volume 2014, Article number: 179 (2014)
Abstract
In this paper we investigate the properties of the set of Tperiodic solutions of semiexplicit parametrized differentialalgebraic equations with nonautonomous constraints of a particular type. We provide simple, degreetheoretic conditions for the existence of branches of Tperiodic solutions of the considered equations. Our approach is based on topological arguments as regards differential equations on implicitly defined manifolds, combined with elementary facts of matrix analysis.
MSC: 34A09, 34C25, 34C40.
1 Introduction
Several mathematical models arising from physical and engineering problems can be described in terms of differentialalgebraic equations (DAEs). Because of this, in recent years, there has been a lot of interest on these equations from both the point of view of pure and of applied mathematicians. Beside the more genuinely modelistic or numerical approaches, there are many books and papers that treat DAEs from an analytical perspective. Of all those, in order to avoid an impossibly long and necessarily incomplete list, we only mention [1]–[3] and references therein.
A relevant case is represented by firstorder semiexplicit DAEs in Hessenberg form (see, e.g., [1]) that is,
where f:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} is a continuous map, and \mathcal{G}:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is sufficiently smooth. If we assume that the partial derivative, {\partial}_{3}\mathcal{G}, of \mathcal{G} with respect to the third variable y is invertible, then (1.1) is said to be of index 1.
In this paper we are concerned with a parametrized special case of (1.1). In fact, we assume that the constraint \mathcal{G} has the form
where g:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is {C}^{\mathrm{\infty}}, and the squarematrixvalued maps A:\mathbb{R}\to \mathrm{O}({\mathbb{R}}^{m}) and B:\mathbb{R}\to \mathrm{GL}({\mathbb{R}}^{s}) are continuous. Here \mathrm{O}({\mathbb{R}}^{m}) denotes the group of orthogonal m\times m matrices and \mathrm{GL}({\mathbb{R}}^{s}) the group of s\times s invertible ones.
Namely, we consider parametrized DAEs of the following form:
with f as in (1.1), and we assume that {\partial}_{2}g(x,y) is invertible for all (x,y)\in {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} and (for technical reasons) that A is of class {C}^{1}.
We also treat, in parallel, the following parametrized secondorder DAEs:
In this case we assume the matrixvalued maps A and B to be of class {C}^{2} and {C}^{1}, respectively. The latter type of equations, in particular, may be used to represent some nontrivial physical systems as, for instance, constrained systems (see e.g.[2]).
We will assume throughout the paper that the matrixvalued function A satisfies the following property:
This assumption might seem unnatural, but it is not so. To understand why, consider the case when m=3. In that case, if \{{e}_{1},{e}_{2},{e}_{3}\} is a fixed reference frame in {\mathbb{R}}^{3} and \mathcal{T}(t)=\{A(t){e}_{1},A(t){e}_{2},A(t){e}_{3}\} is a moving frame, our assumption is equivalent to imposing the requirement that the angular velocity of \mathcal{T} is the zero vector. This is, in fact, an immediate consequence of the definition of angular velocity. An entirely similar statement holds for m=2.
Furthermore, in this paper we will always assume that, for some given T>0, the map f is Tperiodic in the first variable and that A and B are periodic of the same period T. Following the approach of [4]–[9], we study qualitative properties of the set of Tperiodic solutions of (1.2) and (1.3). Roughly speaking, we show the existence of an unbounded connected component of ‘nontrivial’ Tperiodic solutions of (1.2) or (1.3) emanating from the set of the ‘trivial’ ones. In this setting, a trivial solution is a solution which is constant with respect to the moving frame defined by the timedependent change of variable (x,y)\mapsto (A(t)x,B(t)y). However, precise statements will be given in Section 3.1 for firstorder equations and in Section 3.2 for secondorder ones. We also show, through some examples and remarks, how our constructions can be extended to include several equations of different forms.
Our continuation results are in the spirit of analogous ones by Furi and Pera for parametrized first and secondorder equations on differentiable manifolds (for more details see the survey [10]) and could be considered, in some sense, as consequences of recent results obtained by the last two authors in [6]–[9]. However, we wish to point out the following facts. First of all, while the continuation results on differentiable manifolds by Furi and Pera require the knowledge of the degree (often called characteristic or rotation) of suitable tangent vector fields, here (as in [6]–[9]) we give conditions only in terms of the wellknown Brouwer degree, which is also easier to compute explicitly. On the other hand, in the present paper we tackle the case of timedependent constraints (even if of a peculiar form). In other words, our results can be regarded as concerning ODEs on particular Tperiodically moving manifolds defined implicitly. As already pointed out, we slightly modify and adapt to the present context the concept of ‘trivial’ and ‘nontrivial’ Tperiodic solution. As far as we know, the techniques of Furi and Pera have never been applied to moving manifolds, and this novelty is our main original contribution to the subject.
This paper is organized as follows. In Section 2 we collect the preliminaries needed to approach the DAEs in (1.2) and (1.3). In Section 3 we give our main results and we get topological information on the set of Tperiodic pairs to the considered equations; examples of applications of our methods are provided. Finally, in the Appendix, we give the proofs of the technical results of matrix analysis used throughout the paper.
2 Notation and preliminary results
Throughout the paper, {C}_{T}({\mathbb{R}}^{k}) will denote the Banach space of all the Tperiodic continuous maps \zeta :\mathbb{R}\to {\mathbb{R}}^{k} with the usual supremum norm, and {C}_{T}^{1}({\mathbb{R}}^{k}) will be the Banach space of all the Tperiodic {C}^{1} maps \zeta :\mathbb{R}\to {\mathbb{R}}^{k} with the {C}^{1} norm.
We will make use of the (extended) theory of the Brouwer degree for maps between open sets of {\mathbb{R}}^{k}. Namely, we say that a triple (F,U,z), with z\in {\mathbb{R}}^{k} and F a proper map defined in some neighborhood of the open set U\subseteq {\mathbb{R}}^{k}, is admissible if {F}^{1}(z)\cap U is compact. For any admissible triple (F,U,z), the Brouwer degree{deg}_{B}(F,U,z) of B in U respect to z is an integer that, roughly speaking, counts algebraically the elements of {F}^{1}(z) which lie in U. See e.g.[11] for a broader definition in the more general case of maps between oriented manifolds, or [12] for a quick introduction. Since in this paper the target point z will always be the origin, for the sake of simplicity, we will always omit it and write deg(F,U) instead of {deg}_{B}(F,U,z).
2.1 Firstorder DAEs
Let us consider semiexplicit DAEs, depending on a parameter \lambda \ge 0, of the following forms:
and
where we assume that \mathfrak{f}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} and \mathfrak{h}:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} are continuous maps, \mathfrak{h} is Tperiodic in the first variable, and \mathfrak{g}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is {C}^{\mathrm{\infty}} and such that {\partial}_{2}\mathfrak{g}(x,y) is invertible for all (x,y). Notice that, consequently, \mathfrak{M}:={\mathfrak{g}}^{1}(0) is a closed submanifold of {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}. Furthermore observe that, even if (2.2) can be considered as a particular case of (2.1) (i.e. with \mathfrak{f}(x,y)=0 identically), for our purposes the two equations need to be treated separately.
Given \lambda \ge 0, by a solution of (2.1) we mean a pair of {C}^{1} functions x and y defined on an interval I with the property that the following equalities hold for all t\in I: \dot{x}(t)=\mathfrak{f}(x(t),y(t))+\lambda \mathfrak{h}(t,x(t),y(t)) and \mathfrak{g}(x(t),y(t))=0. The notion of solution of (2.2) is analogous. Notice that one might wish to ask only the continuity of y. In fact, if x is {C}^{1}, the assumptions on \mathfrak{g} together with the implicit function theorem imply that y is {C}^{1}.
In this section we recall two results from [6], [7] and [9] (see also [4], [5] for more general results) about the sets of Tpairs of (2.1) and of (2.2), namely, of those pairs (\lambda ;(x,y))\in [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) with (x,y) a Tperiodic solution of (2.1) and of (2.2), respectively. Recall that a Tpair (\lambda ;(x,y)) of (2.1) or of (2.2) is said to be trivial if \lambda =0 and (x,y) is constant. Observe that any Tpair of (2.2) of the form (0;(x,y)) is necessarily trivial, because all solutions of (2.2) corresponding to \lambda =0 are constant (because {\partial}_{2}\mathfrak{g}(x,y) is nonsingular). However, the same statement is not true for (2.1) as shown by the following trivial example with m=2 and s=1:
For the sake of simplicity we make some conventions. We will regard every space as its image in the following diagram of natural inclusions:
In particular, we will identify {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} with its image in {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) under the embedding which associates to any (p,q)\in {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} the map (\overline{p},\overline{q})\in {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) constantly equal to (p,q). Moreover, we will regard {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} as the slice \{0\}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\subset [0,\mathrm{\infty})\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} and, analogously, {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) as \{0\}\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}). We point out that the images of the above inclusions are closed.
For simplicity, given \mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}), we will denote by {\mathrm{\Omega}}_{\mathrm{\#}}\subseteq {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} the set consisting of all pairs (p,q) such that (0;(\overline{p},\overline{q}))\in \mathrm{\Omega}.
The following is a consequence of Theorem 5.1 in [9].
Theorem 2.1
Let\mathfrak{f}, \mathfrak{h}, \mathfrak{g}be as above. Define\mathcal{F}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\mathcal{F},{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (2.1) whose closure in[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Sketch of the proof
Taking U={\mathbb{R}}^{m}\times {\mathbb{R}}^{s} in [9], Theorem 5.1] we see that there exists a connected set G of nontrivial Tpairs for (2.1) whose closure in [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) meets {\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}, which, according to our identification in (2.3), means \{0\}\times ({\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}) and is not contained in any compact subset of Ω. Let Γ be the connected component of the set of nontrivial Tpairs for (2.1) that contains G. Observe that since [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) is a complete metric space, the theorem of AscoliArzelà implies that any bounded set of Tpairs for (2.1) is actually relatively compact. Hence, if Γ is bounded then it is compact (being closed), but G cannot be contained in a compact subset of Ω. This implies that Γ cannot be both compact and contained in Ω. □
The same argument of the above proof shows that the following is a consequence of Theorem 2.2 in [6].
Theorem 2.2
Let\mathfrak{h}and\mathfrak{g}be as above. Define\omega :{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\omega ,{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (2.2) whose closure in[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\omega}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
2.2 Secondorder DAEs
Consider the following secondorder parametrized DAEs:
and
where we assume that \mathfrak{f}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} and \mathfrak{h}:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} are continuous maps, \mathfrak{h} is Tperiodic in the first variable, and \mathfrak{g}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is {C}^{\mathrm{\infty}} and such that {\partial}_{2}\mathfrak{g}(x,y) is invertible for all (x,y).
Given \lambda \ge 0, by a solution of (2.4) we mean a pair of {C}^{2} functions x and y defined on an interval I with the property that the following equalities hold for all t\in I: \ddot{x}(t)=\mathfrak{f}(t,x(t),y(t),\dot{x}(t),\dot{y}(t))+\lambda \mathfrak{h}(t,x(t),y(t),\dot{x}(t),\dot{y}(t)) and \mathfrak{g}(x(t),y(t))=0. Notice that, as in the firstorder case, it is equivalent to ask only the continuity of y.
The structure of the set of solution pairs of (2.4) and of (2.5) has been studied in [8]. As in Section 2.1, we recall that by a Tpair of (2.4) and of (2.5) we mean a pair (\lambda ;(x,y))\in [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) with (x,y) a Tperiodic solution of (2.4) and of (2.5), respectively. Again, a Tpair (\lambda ;(x,y)) of (2.4) or of (2.5) is said to be trivial if \lambda =0 and (x,y) is constant. Unlike in the firstorder case, it is not necessarily true that any Tpair of (2.5) of the form (0;(x,y)) is trivial. In fact, if (x,y) were a closed geodesics of the manifold \mathfrak{M}:={\mathfrak{g}}^{1}(0) with appropriate initial velocity then (0;(x,y)) would be a nontrivial Tpair of (2.5). Similarly, it is not necessarily true that any Tpair of (2.4) of the form (0;(x,y)) is trivial.
As in Section 2.1, for simplicity we will regard every space as its image in the following diagram of natural inclusions:
with the obvious analogous identifications.
Again, given \mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}), we will denote by {\mathrm{\Omega}}_{\mathrm{\#}}\subseteq {\mathbb{R}}^{m}\times {\mathbb{R}}^{s} the set consisting of all pairs (p,q) such that (0;(\overline{p},\overline{q}))\in \mathrm{\Omega}.
The next results are straightforward consequences of Corollary 5.2 and Corollary 5.3 in [8], respectively (the arguments are similar to the proof of Theorem 2.1).
Theorem 2.3
Let\mathfrak{f}, \mathfrak{h}, \mathfrak{g}be as above. Define\mathcal{F}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
where{\mathfrak{f}}_{0}(x,y):=\mathfrak{f}(x,y,0,0). Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\mathcal{F},{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (2.4) whose closure in[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Theorem 2.4
Let\mathfrak{h}and\mathfrak{g}be as above. Define\omega :{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
where{\mathfrak{h}}_{0}(x,y):=\mathfrak{h}(x,y,0,0). Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\omega ,{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (2.5) whose closure in[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\omega}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Remark 2.5
Common manipulations employed for order reduction of differential equations, when applied to (2.4) or (2.5) might not work for deducing Theorems 2.3 or 2.4 directly from Theorems 2.1 or 2.2. In fact, those procedures usually lead to equations whose form is not suited for our firstorder results. Thus, despite the similar structure of (2.4) and (2.5) to (2.1) and (2.2), respectively, the former equations seem to need a specific study.
3 Coordinate transformation and main results
3.1 Firstorder DAEs
We first investigate parametrized DAEs of the following form:
where, as in the introduction, the map f:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} is continuous and Tperiodic in the first variable, g:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is {C}^{\mathrm{\infty}} and such that {\partial}_{2}g(\xi ,\eta ) is invertible for all (\xi ,\eta ), and A:\mathbb{R}\to \mathrm{O}({\mathbb{R}}^{m}) and B:\mathbb{R}\to \mathrm{GL}({\mathbb{R}}^{s}) are Tperiodic continuous (square)matrixvalued maps. We will assume that A is of class {C}^{1}. The constraint that appears in (3.1) forces the motion to occur on a manifold M:=\{(p,q)\in {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}:g(p,q)=0\} that moves integrally to a reference frame defined by the timedependent change of variable (x,y)\mapsto (A(t)x,B(t)y). As before, we consider the set of Tpairs of (3.1), namely, of those pairs (\lambda ;(x,y))\in [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) with (x,y) a Tperiodic solution of (3.1). A Tpair (\lambda ;(x,y)) of (3.1) is trivial if \lambda =0 and (A(t)x(t),B(t)y(t)) is constant. In other words, (0;(x,y)) is trivial if (x,y) is constant with respect to the moving reference above, i.e., to the moving manifold that constitutes the constraint. Thus, loosely speaking, we could say that in this case (x,y) is constant with respect to the ‘moving constraint’. Observe that when (0;(x,y)) is trivial, then A(t)x(t) must be constantly equal to A(0)x(0) and similarly B(t)y(t)\equiv B(0)y(0), so that for all t we have A{(0)}^{\mathrm{\top}}A(t)x(t)=x(0) and B{(0)}^{1}B(t)y(t)=y(0). The former fact has an interesting consequence for x. Since \dot{x}(t)=0, x(t)\equiv x(0)=:{x}_{0} must be constant. Thus, when (0;(x,y)) is trivial, we have A{(0)}^{\mathrm{\top}}A(t){x}_{0}\equiv {x}_{0}, i.e., x(t)\equiv {x}_{0} is invariant for A{(0)}^{\mathrm{\top}}A(t) for all t’s.
Let us apply, for all t, a change of coordinates in {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}:
Let us rewrite the first of these two equations as x(t)={A}^{\mathrm{\top}}(t)\xi (t). Differentiating with respect to t we get
Observe, in fact, that the operations of differentiation and transposition commute; that is,
From (3.3) we get \dot{\xi}(t)=A(t)\dot{A}{(t)}^{\mathrm{\top}}\xi (t)+A(t)\dot{x}(t). Thus, (3.1) can be rewritten in the new coordinates (\xi ,\eta ) as follows:
where F:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} is defined by
If we assume that the matrix M:=A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant, then we can obtain continuation results for Tpairs of (3.1) as consequences of the results in the previous section.
In the following we will adopt the same notation as in Section 2.1.
Theorem 3.1
Let f, g, A, and B be as above. Assume thatM:=A(t)\dot{A}{(t)}^{\mathrm{\top}}is constant and define\mathcal{F}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by\mathcal{F}(x,y)=(Mx,g(x,y)). Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\mathcal{F},{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (3.1) whose closure in[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Proof
Consider the transformation (3.2). As discussed above, in the new coordinates ξ, η, (3.1) becomes (3.4), which we write as
where F is defined as in (3.5). Consider also the homeomorphism \mathfrak{H}:[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})\to [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) given by \mathfrak{H}(\lambda ,(x,y))=(\lambda ,(\xi ,\eta )) with ξ and η given by (3.2). Clearly ℌ establishes a homeomorphism between the space X of Tpairs of (3.1) and the space \mathcal{X} of Tpairs of (3.6), which preserves triviality. In the sense that ℌ takes trivial Tpairs of (3.1) to trivial ones of (3.6) and, vice versa, {\mathfrak{H}}^{1} makes trivial Tpairs of (3.6) correspond to trivial ones of (3.1).
Let \mathcal{W}=\mathfrak{H}(\mathrm{\Omega}). Applying Theorem 2.1 we get the existence of a connected component, let us say ϒ, of nontrivial Tpairs for (3.6) whose closure in [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) meets {\mathcal{F}}^{1}(0)\cap \mathcal{W} and cannot be both bounded and contained in \mathcal{W}. One sees immediately that \mathrm{\Gamma}={\mathfrak{H}}^{1}(\mathrm{\Upsilon}) has the required properties. □
In the following consequence of Theorem 3.1 we further assume that M is nonsingular and use the properties of the Brouwer degree to get a continuation result with the sole assumption that {\mathrm{\Omega}}_{\mathrm{\#}}\cap (\{0\}\times {[g(0,\cdot )]}^{1}(0)) is a nonempty and compact subset of {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}.
Corollary 3.2
Let f, g, A, and B be as above. Assume thatM:=A(t)\dot{A}{(t)}^{\mathrm{\top}}is constant and nonsingular. Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open. Assume that the set{\mathrm{\Omega}}_{\mathrm{\#}}\cap (\{0\}\times {[g(0,\cdot )]}^{1}(0))is nonempty and compact. Then there exists a connected component Γ of nontrivial Tpairs for (3.1) whose closure in[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathrm{\Omega}}_{\mathrm{\#}}\cap (\{0\}\times {[g(0,\cdot )]}^{1}(0))and cannot be both bounded and contained in Ω.
Proof
Let ℱ be as in the assertion of Theorem 3.1. Since the first component of ℱ is nonsingular, the reduction property of the Brouwer degree implies
Observe now that since {\partial}_{2}g(\xi ,\eta ) is never singular,
which is finite and nonzero. □
In the next result we assume M=0 and apply Theorem 2.2.
Theorem 3.3
Let f, g, A, and B be as above. Assume thatA(t)\dot{A}{(t)}^{\mathrm{\top}}is identically zero and define\omega :{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\omega ,{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (3.1) whose closure in[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\omega}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Proof
It follows from Theorem 2.2 with the same proof as of Theorem 3.1. □
Example 3.4
Take m=2 and s=1. Let f:\mathbb{R}\times {\mathbb{R}}^{2}\times \mathbb{R}\to {\mathbb{R}}^{2} be any continuous mapping 2πperiodic in the first variable. Consider
where x=({x}_{1},{x}_{2}). It is readily verified that
where
Thus, the constraint can be regarded as the surface obeying the equation {q}^{3}+q={p}_{1}^{2}+2{p}_{2}^{2}, in the space ({p}_{1},{p}_{2},q), revolving around the q axis (a full rotation takes time 2π). With the transformation (3.2) the above DAE becomes
where
Let \mathrm{\Omega}=[0,\mathrm{\infty})\times {C}_{T}({\mathbb{R}}^{2}\times \mathbb{R}). Since M is nonsingular and {[g(0,\cdot )]}^{1}(0)=\{0\}, Corollary 3.2 yields an unbounded connected component of nontrivial 2πpairs for (3.7) that meets (0;(0,0;0))\in [0,\mathrm{\infty})\times {\mathbb{R}}^{2}\times \mathbb{R} (regarded as a 2πpair).
Remark 3.5
Notice that a similar coordinate transformation applies also to a slightly different situation. Consider the following DAE:
where A, B, f, and g are as in (3.1) and H is a matrix that commutes with A. Suppose, as above, that M:=A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant (not necessarily invertible) and apply the transformation as indicated above. Equation (3.8) becomes
with F as in (3.4), so that the results of the previous section are applicable to (3.9).
Example 3.6
Consider the following DAE:
where {f}_{i}:\mathbb{R}\times \mathbb{R}\times \mathbb{R}\times \mathbb{R}\to {\mathbb{R}}^{2}, i=1,2, are continuous mappings 2πperiodic in the first variable. If we put x=({x}_{1},{x}_{2}), (3.10) is of the form (3.8) with
and f:\mathbb{R}\times {\mathbb{R}}^{2}\to {\mathbb{R}}^{2} and g:{\mathbb{R}}^{2}\times \mathbb{R}\to \mathbb{R} defined by
respectively. Clearly, as in Remark 3.5, (3.10) becomes
where
Equation (3.11) is of the form considered in Corollary 3.2.
In our next example we consider periodic perturbations of a class of semilinear DAEs (semilinear DAEs find practical applications in robotics and electrical circuit modeling see e.g.[1], [13]). We will restrict ourselves to the case when the equation has a particular ‘separated variables’ form, that is,
F:\mathbb{R}\to {\mathbb{R}}^{n\times n}, C:\mathbb{R}\to {\mathbb{R}}^{n\times n} and S:{\mathbb{R}}^{n}\to {\mathbb{R}}^{n} are continuous maps, and E\in {\mathbb{R}}^{n\times n} is a constant matrix (here {\mathbb{R}}^{n\times n} denotes the set of real n\times n matrices). Further, we assume that F and C are Tperiodic, T>0 given.
Example 3.7
Consider (3.12) with n=4 and
and
The orthogonal matrices
realize a singular value decomposition for E. In particular, we have
Then, setting \mathbf{x}=Q\left(\begin{array}{c}x\\ y\end{array}\right) with x,y\in {\mathbb{R}}^{2} and multiplying (3.12) by {P}^{\mathrm{\top}} on the left, we can rewrite (3.12) as
that is,
where we have set {Q}^{\mathrm{\top}}S(Q\mathbf{x})=\left(\begin{array}{c}{\tilde{S}}_{1}(x,y)\\ {\tilde{S}}_{2}(x,y)\end{array}\right). This equation can be rewritten as follows:
or, in our case, as
where we have put x=\left(\begin{array}{c}{\dot{x}}_{1}\\ {\dot{x}}_{2}\end{array}\right) and y=\left(\begin{array}{c}{y}_{1}\\ {y}_{2}\end{array}\right). The above DAE is of the form (3.1) considered in Theorem 3.3. Observe that the map ω considered there is given by
The example considered above is a particular case of a more general procedure that we now roughly sketch. Take E, F, C, and S be as in (3.12), and let rankE=r. Assume that n=2r, and that
Let P, Q be orthogonal matrices realizing a singular value decomposition for E. Multiply (3.12) by {P}^{\mathrm{\top}} on the left, and put \mathbf{x}=Q\left(\begin{array}{c}x\\ y\end{array}\right) with x,y\in {\mathbb{R}}^{r}. We get, as in Example 3.7,
Since P and Q realize a singular value decomposition of E, and since E, F, and C satisfy (3.13a) and (3.13b), an inspection of the proof of [14], Lemma 5.5] (see also [15]) shows us that for all t,
Set \mathbf{x}=Q\left(\begin{array}{c}x\\ y\end{array}\right) and {Q}^{\mathrm{\top}}S(Q\mathbf{x})=\left(\begin{array}{c}{\tilde{S}}_{1}(x,y)\\ {\tilde{S}}_{2}(x,y)\end{array}\right). Then we can rewrite (3.14) as
or, equivalently
and, if {\tilde{F}}_{3}(t) is invertible for all t,
which is of type (3.1) with m=s=r if also {\tilde{F}}_{4}(t) is invertible for all t.
3.2 Secondorder DAEs
Let us now focus on parametrized secondorder DAEs and proceed as in the firstorder case. Consider
where f:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m} is continuous and Tperiodic in the first variable, g:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{s} is {C}^{\mathrm{\infty}} and such that {\partial}_{2}g(\xi ,\eta ) is invertible for all (\xi ,\eta ), and the Tperiodic matrixvalued maps A:\mathbb{R}\to \mathrm{O}({\mathbb{R}}^{m}) and B:\mathbb{R}\to \mathrm{GL}({\mathbb{R}}^{s}) are of class {C}^{2} and {C}^{1}, respectively.
As in the firstorder case, we consider the set of Tpairs of (3.16), namely, of those pairs (\lambda ;(x,y))\in [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s}) with (x,y) a Tperiodic solution of (3.16). A Tpair (\lambda ;(x,y)) of (3.16) is trivial if \lambda =0 and (A(t)x(t),B(t)y(t)) is constant. In other words, (0;(x,y)) is trivial if (x,y) is constant with respect to the moving constraint. Again, if (0;(x,y)) is trivial, then A(t)x(t) must be constantly equal to A(0)x(0). Also, \ddot{x}(t)=0, so that the periodicity condition implies that x(t)\equiv x(0)=:{x}_{0} must be constant as well. Thus, for all t, {x}_{0} is invariant for A{(0)}^{\mathrm{\top}}A(t).
Let us consider the following change of coordinates for all t:
We can rewrite the first of these equations as x(t)={A}^{\mathrm{\top}}(t)\xi (t) and, taking the derivative, we get
Let us multiply by A on the left the second of these equations. Reordering (and omitting the explicit dependence on t) we get
Moreover, since y(t)={B}^{1}(t)\eta (t),
Thus we can rewrite our DAE, in the new coordinates, as follows:
where F:\mathbb{R}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\times {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}, defined by
is clearly continuous and Tperiodic.
Now, by Proposition A.3 (see the Appendix), we find that if M:=A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant (and nonsingular), then A(t)\ddot{A}{(t)}^{\mathrm{\top}} is constant (and nonsingular) as well, as it is equal to {M}^{2}. Thus, as for firstorder equations, provided that A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant, this DAE can be treated with the methods of the previous section.
It is also worth noticing that \frac{\mathrm{d}}{\mathrm{d}t}[B{(t)}^{1}], which appears in the expression of F, can also be conveniently expressed as B{(t)}^{1}\dot{B}(t)B{(t)}^{1}. This trivial fact is readily established by differentiating the relation B(t)B{(t)}^{1}=I.
Proceeding as in the previous subsection, and using Theorems 2.3 and 2.4 in place of Theorems 2.1 and 2.2, we get the following results, remarkably similar to Theorems 3.1 and 3.3, and Corollary 3.2.
Theorem 3.8
Let f, g, A, and B be as above. Assume thatM:=A(t)\dot{A}{(t)}^{\mathrm{\top}}is constant and define\mathcal{F}:{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by\mathcal{F}(\xi ,\eta )=({M}^{2}\xi ,g(\xi ,\eta )). Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\mathcal{F},{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (3.16) whose closure in[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathcal{F}}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
Corollary 3.9
Let f, g, A, and B be as above. Assume thatM:=A(t)\dot{A}{(t)}^{\mathrm{\top}}is constant and nonsingular. Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open. Assume that the set{\mathrm{\Omega}}_{\mathrm{\#}}\cap (\{0\}\times {[g(0,\cdot )]}^{1}(0))is nonempty and compact. Then there exists a connected component Γ of nontrivial Tpairs for (3.16) whose closure in[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\mathrm{\Omega}}_{\mathrm{\#}}\cap (\{0\}\times {[g(0,\cdot )]}^{1}(0))and cannot be both bounded and contained in Ω.
Theorem 3.10
Let f, g, A, and B be as above. Assume thatA(t)\dot{A}{(t)}^{\mathrm{\top}}is identically zero and define\omega :{\mathbb{R}}^{m}\times {\mathbb{R}}^{s}\to {\mathbb{R}}^{m}\times {\mathbb{R}}^{s}by
Let\mathrm{\Omega}\subseteq [0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})be open and assume thatdeg(\omega ,{\mathrm{\Omega}}_{\mathrm{\#}})is well defined and nonzero. Then there exists a connected component Γ of nontrivial Tpairs for (3.16) whose closure in[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{m}\times {\mathbb{R}}^{s})meets{\omega}^{1}(0,0)\cap {\mathrm{\Omega}}_{\mathrm{\#}}and cannot be both bounded and contained in Ω.
In the next example we consider the same timedependent constraint as in Example 3.4, but in the case of secondorder DAEs.
Example 3.11
Let f:\mathbb{R}\times {\mathbb{R}}^{2}\times \mathbb{R}\to {\mathbb{R}}^{2} be any continuous mapping 2πperiodic in the first variable. Consider
where x=({x}_{1},{x}_{2}). Let A and g be as in Example 3.4. Applying the coordinate transformation as described above we rewrite our DAE as follows:
Here
so that A{\ddot{A}}^{\mathrm{\top}}={M}^{2}=I. Let \mathrm{\Omega}=[0,\mathrm{\infty})\times {C}_{T}^{1}({\mathbb{R}}^{2}\times \mathbb{R}). Since M is nonsingular and {[g(0,\cdot )]}^{1}(0)=\{0\}, Corollary 3.9 yields an unbounded connected component of 2πperiodic pairs emanating from (0;(0,0;0))\in [0,\mathrm{\infty})\times {\mathbb{R}}^{2}\times \mathbb{R} (regarded as a 2πpair).
Remark 3.12
As in the firstorder case, our coordinate transformation applies also to a slightly different situation. Consider the following DAE:
where A, B, f, and g are as in (3.16) and {H}_{i}, i=1,2, are matrices that commute with A. Suppose, as above, that M:=A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant (not necessarily invertible) and apply the transformation as indicated above. Equation (3.8) becomes
with F as in (3.17), so that the results of Section 2.2 are applicable to (3.19).
Remark 3.13
Let us consider the following secondorder DAE
where f, A, and B are as in (3.16) and t\mapsto C(t)\in \mathrm{O}({\mathbb{R}}^{m}) is {C}^{2} and Tperiodic. We also assume that C has the same property as A, that is, C(t)\dot{C}{(t)}^{\mathrm{\top}} is constant. Expanding the derivative on the lefthand side of the first equation in (3.20) and using the fact that C(t)\in \mathrm{O}({\mathbb{R}}^{m}), for all t\in \mathbb{R}, we rewrite (3.20) as follows:
where, to keep the notation concise, the explicit dependence on t of A, B, and C is omitted. Proposition A.3 shows that {K}_{1}:=C{(t)}^{\mathrm{\top}}\dot{C}(t) is constant and, by Remark A.4(3), it follows that {K}_{2}:=C{(t)}^{\mathrm{\top}}\ddot{C}(t) is constant as well being equal to {K}_{1}^{2}. Hence, (3.21) is of the form (3.18). Notice that if we assume that A commutes with {K}_{1}, then it commutes with {K}_{2} as well. In conclusion, if {K}_{1} commutes with A(t) for all t\in \mathbb{R}, Remark 3.12 applies with {H}_{1}=2{K}_{1} and {H}_{2}={K}_{2}.
Appendix: some lemmas of Matrix Analysis
This section gathers, for reference purposes, a few simple facts  possibly well known  concerning timedependent matrices.
Lemma A.1
Lett\mapsto A(t)be a{C}^{2}squarematrixvalued function. Suppose that the mapt\mapsto A(t){\dot{A}}^{\mathrm{\top}}(t)is constant. Then
Proof
For the sake of simplicity, we drop the explicit indication of the dependence of A on t.
Let us put M=A{\dot{A}}^{\mathrm{\top}}. Then \dot{A}{A}^{\mathrm{\top}}={(A{\dot{A}}^{\mathrm{\top}})}^{\mathrm{\top}}={M}^{\mathrm{\top}} is also constant. Taking the derivative with respect to t of both these relations, we get
Hence,
which implies (A.1).
From (A.3) and (A.1) it follows that
whence the assertion. □
Observe that under the hypothesis of Lemma A.1, since
(A.1) implies the symmetry of A{\ddot{A}}^{\mathrm{\top}}.
Lemma A.2
Lett\mapsto A(t)be a{C}^{1}squarematrixvalued function. Assume thatA(t)is orthogonal for all t, then\dot{A}(t)\dot{A}{(t)}^{\mathrm{\top}}={(A(t)\dot{A}{(t)}^{\mathrm{\top}})}^{2}.
Proof
Differentiating the relation {A}^{\mathrm{\top}}A=I we obtain {\dot{A}}^{\mathrm{\top}}A={A}^{\mathrm{\top}}\dot{A}. Multiplying this relation on the left by \dot{A} and on the right by {A}^{\mathrm{\top}}, we get
Since A{A}^{\mathrm{\top}}=I and \dot{A}{\dot{A}}^{\mathrm{\top}}={(\dot{A}{\dot{A}}^{\mathrm{\top}})}^{\mathrm{\top}}, transposing yields
as desired. □
Equation (A.2) and Lemma A.2 together yield the following fact.
Proposition A.3
Lett\mapsto A(t)be a{C}^{2}squarematrixvalued function. Assume thatA(t)is orthogonal for all t and that the mapt\mapsto A(t){\dot{A}}^{\mathrm{\top}}(t)=:Mis constant. Then\ddot{A}(t)A{(t)}^{\mathrm{\top}}={(A(t)\dot{A}{(t)}^{\mathrm{\top}})}^{2}is constantly equal to{M}^{2}. In particular, ifA(t){\dot{A}}^{\mathrm{\top}}(t)is constant and nonsingular then so is\ddot{A}(t)A{(t)}^{\mathrm{\top}}.
Remark A.4
Replacing A with {A}^{\mathrm{\top}}, it is easy to verify that results analogous to Lemma A.1, Lemma A.2 and Proposition A.3 hold if we assume the constancy of A{(t)}^{\mathrm{\top}}\dot{A}(t) instead of that of A(t)\dot{A}{(t)}^{\mathrm{\top}}. Namely, if t\mapsto A(t) is a {C}^{2} squarematrixvalued function such that A(t) is orthogonal for all t and the map t\mapsto A{(t)}^{\mathrm{\top}}\dot{A}(t) is a constant, then

(1)
\ddot{A}{(t)}^{\mathrm{\top}}A(t)=\dot{A}{(t)}^{\mathrm{\top}}\dot{A}(t) and \ddot{A}{(t)}^{\mathrm{\top}}A(t)=A{(t)}^{\mathrm{\top}}\ddot{A}(t);

(2)
\dot{A}{(t)}^{\mathrm{\top}}\dot{A}(t)={(A{(t)}^{\mathrm{\top}}\dot{A}(t))}^{2};

(3)
\ddot{A}{(t)}^{\mathrm{\top}}A(t)={(A{(t)}^{\mathrm{\top}}\dot{A}(t))}^{2}=A{(t)}^{\mathrm{\top}}\ddot{A}(t).
These facts should not surprise us in view of Proposition A.5 below.
We conclude this technical section with a curious remark. As shown by the following example:
even for matrix functions as in Proposition A.3, one may have
Nevertheless, one can prove the following fact.
Proposition A.5
Lett\mapsto A(t)be a{C}^{2}squarematrixvalued function. Assume thatA(t)is orthogonal for all t. ThenA{(t)}^{\mathrm{\top}}\dot{A}(t)is constant if and only if so isA(t)\dot{A}{(t)}^{\mathrm{\top}}.
Proof
Let us first prove that if M:=A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant then A{(t)}^{\mathrm{\top}}\dot{A}(t) is constant as well. As above, for the sake of simplicity, we drop the explicit indication of the dependence of A on t.
Clearly, we have \dot{A}{A}^{\mathrm{\top}}={M}^{\mathrm{\top}} and, since Proposition A.3 yields A{\ddot{A}}^{\mathrm{\top}}={M}^{2}, we also have A{\ddot{A}}^{\mathrm{\top}}={({M}^{2})}^{\mathrm{\top}}. Now, using these facts we get
Observe also that
because A{A}^{\mathrm{\top}}\equiv I. Thus, \frac{\mathrm{d}}{\mathrm{d}t}({A}^{T}\dot{A})=0, which implies that A{(t)}^{\mathrm{\top}}\dot{A}(t) is a constant matrix.
Conversely, if A{(t)}^{\mathrm{\top}}\dot{A}(t) is constant, and a similar proof shows that A(t)\dot{A}{(t)}^{\mathrm{\top}} is constant too. □
References
Kunkel P, Mehrmann V: DifferentialAlgebraic Equations: Analysis and Numerical Solution. 2006.
Rabier PJ, Rheinbolt WC: Theoretical and numerical analysis of differentialalgebraic equations. In Handbook of Numerical Analysis. Edited by: Ciarlet PG, Lions JL. Elsevier, Amsterdam; 2002:183540. Solution of Equations in {\mathbb{R}}^{n} (Part 4), Techniques of Scientific Computing (Part4), Numerical Methods for Fluids (Part 2)
Rheinboldt WC: Differentialalgebraic systems as differential equations on manifolds. Math. Comput. 1984, 43: 473482. 10.1090/S00255718198407581955
Bisconti L: Harmonic solutions to a class of differentialalgebraic equations with separated variables. Electron. J. Differ. Equ. 2012., 2012: 10.1186/1687184720122
Bisconti, L, Spadini, M: Harmonic perturbations with delay of periodic separated variables differential equations. Topol. Methods Nonlinear Anal. (to appear)
Calamai A: Branches of harmonic solutions for a class of periodic differentialalgebraic equations. Commun. Appl. Anal. 2011, 15(24):273282.
Calamai A, Spadini M: Branches of forced oscillations for a class of constrained ODEs: a topological approach. Nonlinear Differ. Equ. Appl. 2012, 19(4):383399. 10.1007/s0003001101341
Calamai A, Spadini M: Periodic perturbations of constrained motion problems on a class of implicitly defined manifolds. Commun. Contemp. Math. 2014.
Spadini M: A note on topological methods for a class of differentialalgebraic equations. Nonlinear Anal. 2010, 73(4):10651076. 10.1016/j.na.2010.04.038
Furi M, Pera MP, Spadini M: The fixed point index of the Poincaré operator on differentiable manifolds. In Handbook of Topological Fixed Point Theory. Edited by: Brown RF, Furi M, Górniewicz L, Jiang B. Spinger, Dordrecht; 2005.
Milnor JW: Topology from the Differentiable Viewpoint. University Press of Virginia, Charlottesville; 1965.
Benevieri, P, Furi, M, Pera, MP, Spadini, M: An Introduction to topological degree in euclidean spaces. Technical Report N. 42, Gennaio 2003, Università di Firenze, Dipartimento di Matematica Applicata, (2003)
Gerdin, M: Identification and estimation for models described by differentialalgebraic equations. Department of Electrical Engineering Linköpings universitet, SE581 83 (2006)
Bisconti L, Spadini M: On a class of differentialalgebraic equations with infinite delay. Electron. J. Qual. Theory Differ. Equ. 2011., 2011:
Bisconti L, Spadini M: Corrigendum to On a class of differentialalgebraic equations with infinite delay. Electron. J. Qual. Theory Differ. Equ. 2012., 2012: 10.1186/16871847201297
Acknowledgements
The authors thank both anonymous referees for their careful reading of the manuscript and many precious suggestions.
The authors have been supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors, L. Bisconti, A. Calamai, and M. Spadini contributed to each part of this work equally and read and approved the final version of the manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bisconti, L., Calamai, A. & Spadini, M. Periodic solutions of semiexplicit differentialalgebraic equations with timedependent constraints. Bound Value Probl 2014, 179 (2014). https://doi.org/10.1186/s1366101401792
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101401792