 Research
 Open Access
 Published:
Lower and upper estimates of solutions to systems of delay dynamic equations on time scales
Boundary Value Problems volume 2013, Article number: 260 (2013)
Abstract
In this paper we study a system of delay dynamic equations on the time scale \mathbb{T} of the form
where f:\mathbb{T}\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}, {y}_{\tau}(t)=({y}_{1}({\tau}_{1}(t)),\dots ,{y}_{n}({\tau}_{n}(t))) and {\tau}_{i}:\mathbb{T}\to \mathbb{T}, i=1,\dots ,n, are the delay functions. We are interested in the asymptotic behavior of solutions of the mentioned system. More precisely, we formulate conditions on a function f, which guarantee that the graph of at least one solution of the abovementioned system stays in the prescribed domain. This result generalizes some previous results concerning the asymptotic behavior of solutions of nondelay systems of dynamic equations or of delay dynamic equations. A relevant example is considered.
MSC:34N05, 39A10.
1 Introduction
1.1 Time scale calculus
Time scale calculus, first introduced by Stefan Hilger in his PhD thesis in 1988 (see [1]) is nowadays wellknown calculus and often studied in applications. Recall that a time scale \mathbb{T} is an arbitrary nonempty closed subset of reals. Note that {[a,b]}_{\mathbb{T}}:=[a,b]\cap \mathbb{T} (resp. {(a,b)}_{\mathbb{T}}:=(a,b)\cap \mathbb{T} etc., we define any combination of right and left open or closed intervals), {[a,\mathrm{\infty})}_{\mathbb{T}}:=[a,\mathrm{\infty})\cap \mathbb{T}, σ, ρ, μ and {f}^{\mathrm{\Delta}} stand for the finite time scale interval, infinite time scale interval, forward jump operator, backward jump operator, graininess and Δderivative of f. Further, we use the symbols {C}_{\mathrm{rd}}(\mathbb{T}) and {C}_{\mathrm{rd}}^{1}(\mathbb{T}) to stand for the class of rdcontinuous and rdcontinuous Δdifferentiable functions defined on the time scale \mathbb{T}. Finally, we work with all types of points on the time scale \mathbb{T}, i.e., with rightdense points or rightscattered points, respectively with leftdense points or leftscattered points. See [2], which is the initiating paper of the time scale theory, and [3] containing a lot of information on time scale calculus.
Now we remind further aspects of time scales calculus, which will be needed later (see, e.g., [3]). We use the standard symbol \parallel \cdot \parallel for an arbitrary vector norm. Note that (in this paper) a type of a norm is not important.
Definition 1 Let \mathbb{T} be a time scale. A function f:\mathbb{T}\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n} is called

(i)
rdcontinuous if g defined by g(t):=f(t,y(t)) is rdcontinuous for any rdcontinuous function y:\mathbb{T}\to {\mathbb{R}}^{n};

(ii)
bounded on a set S\subset \mathbb{T}\times {\mathbb{R}}^{n} if there exists a constant M>0 such that
\parallel f(t,y)\parallel \le M\phantom{\rule{1em}{0ex}}\text{for all}(t,y)\in S; 
(iii)
Lipschitz continuous on a set S\subset \mathbb{T}\times {\mathbb{R}}^{n} if there exists a constant L>0 such that
\parallel f(t,{y}_{1})f(t,{y}_{2})\parallel \le L\parallel {y}_{1}{y}_{2}\parallel \phantom{\rule{1em}{0ex}}\text{for all}(t,{y}_{1}),(t,{y}_{2})\in S.
1.2 System of delay dynamic equations on time scales
Let {\tau}_{i}:\mathbb{T}\to \mathbb{T}, i=1,\dots ,n, n\in \mathbb{N}, be increasing rdcontinuous functions satisfying {\tau}_{i}(t)\le t for all t\in \mathbb{T}, and let {y}_{\tau}(t)=({y}_{1}({\tau}_{1}(t)),\dots ,{y}_{n}({\tau}_{n}(t))) be a vector, where its every component {y}_{i} is with an own delay {\tau}_{i}. Let the function f:\mathbb{T}\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n} be rdcontinuous. We consider the system of n delay dynamic equations
i.e.,
on the time scale \mathbb{T}.
For given {t}_{0}\in \mathbb{T} and {\alpha}_{0}:=min{\{{\tau}_{i}({t}_{0})\}}_{i=1}^{n}, a function y:{[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}\to {\mathbb{R}}^{n} is said to be a solution of (1) on {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} provided y\in {C}_{\mathrm{rd}}({[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}), y\in {C}_{\mathrm{rd}}^{1}({[{t}_{0},\mathrm{\infty})}_{\mathbb{T}}) and y satisfies (1) for all t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}}. If, moreover, we are given an initial function \phi :{[{\alpha}_{0},{t}_{0}]}_{\mathbb{T}}\to {\mathbb{R}}^{n}, \phi \in {C}_{\mathrm{rd}}({[{\alpha}_{0},{t}_{0}]}_{\mathbb{T}}) such that
then we say that y is a solution of initial problem (IP) (1), (2).
1.3 Existence and uniqueness of solutions of delay dynamic equations
For the next study, it is important to known whether a solution of IP (1) and (2) exists and if it is uniquely defined. However, the following theorem (in a more general form) can be found in [[4], Theorem 2.1].
Theorem 1 (PicardLindelöf theorem)
Let {t}_{1}\in \mathbb{T}, {t}_{1}>{t}_{0}, m>0. Let
where the properties of φ and the definition of {\alpha}_{0} are described in previous Section 1.2. Assume that f\in {C}_{\mathrm{rd}}({[{t}_{0},{t}_{1}]}_{\mathbb{T}}\times {Y}_{m}) is on {[{t}_{0},{t}_{1}]}_{\mathbb{T}}\times {Y}_{m} bounded with bound M>0 andLipschitz continuous. Then initial problem (1) and (2) has a unique solution y on the interval {[{\alpha}_{0},\sigma (\xi )]}_{\mathbb{T}}\subset {[{\alpha}_{0},{t}_{1}]}_{\mathbb{T}}, where
and
Carefully tracing the proof of Theorem 1 in [4], it is easy to verify that if Theorem 1 holds, then the solution of IP (1), (2) depends continuously on the initial data.
2 Problem under consideration
Throughout this paper, we assume that the time scale \mathbb{T} is unbounded above with {t}_{0}\in \mathbb{T}. Furthermore (throughout this paper), {\alpha}_{0}\in \mathbb{T} has the same meaning as in the previous section. Let
be Δdifferentiable functions such that {b}_{i}(t)<{c}_{i}(t) for each t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}, i=1,\dots ,n, and
where {\phi}_{i}(t) are coordinates of an initial function \phi (t) used in (2). We define a set \mathrm{\Omega}\subset \mathbb{T}\times {\mathbb{R}}^{n} as
where
Then the closure \overline{\mathrm{\Omega}} equals
with
Moreover, we define the yboundary {\partial}_{y}\mathrm{\Omega} of Ω as
with
Consider delay system (1) and initial problem (2). Let {t}_{1}\in \mathbb{T}, where {t}_{1}>{t}_{0}. Let a function f be bounded and Lipschitz continuous on an open set S=S(t,y)\subset \mathbb{T}\times {\mathbb{R}}^{n} and
This condition says that, by Theorem 1, every initial problem (1) and (2) with φ satisfying (3) has exactly one solution on an interval {[{\alpha}_{0},\sigma (\xi )]}_{\mathbb{T}} where \sigma (\xi )>{t}_{0}. It is also easy to show that this solution depends continuously on the initial function φ.
Throughout the paper, we assume that the function f is bounded and Lipschitz continuous on an open set S and \overline{\mathrm{\Omega}}\subset S, which implies that every initial problem (1) and (2) has exactly one solution on an interval {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}.
The aim of this paper is to establish sufficient conditions on the function f of equation (1) such that there exists at least one solution y(t) of (1) defined on {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} such that (t,y(t))\in \mathrm{\Omega} for each t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}. The main result generalizes some previous results of the first author (and his coauthors) concerning the asymptotic behavior of solutions of discrete and dynamic equations (see, e.g., [5–9]).
In papers [5, 6], to our best knowledge, the retract principle is for the first time extended to discrete equations. In [10] delayed discrete equations are considered by retract technique, and in [8] the retract principle is given for discrete time scales. Paper [7] is devoted to extension of the retract principle to dynamic equations. In [11] the retract principle is extended (under different conditions) to a system of dynamic equations in the plane. In [9] we extended the retract principle to scalar delayed dynamic equations. In the present paper we give an attempt to enlarge the retract principle to systems of delayed dynamic equations.
2.1 Points of strict egress
We define auxiliary sets which are subsets of yboundary {\partial}_{y}\mathrm{\Omega}:
where i=1,2,\dots ,n. Obviously, {\partial}_{y}\mathrm{\Omega}={\bigcup}_{i=1}^{n}({\mathrm{\Omega}}_{B}^{i}\cup {\mathrm{\Omega}}_{C}^{i}).
Definition 2 Let {\alpha}_{t}:=min{\{{\tau}_{i}(t)\}}_{i=1}^{n}. A point
is called the point of strict egress for the set Ω with respect to system (1) if
where u=({u}_{1},\dots ,{u}_{n}):{[{\alpha}_{t},t]}_{\mathbb{T}}\to {\mathbb{R}}^{n} is an arbitrary rdcontinuous function such that for every j=1,\dots ,n,
and {u}_{i}(t)={b}_{i}(t).
A point
is called the point of strict egress for the set Ω with respect to system (1) if
where u=({u}_{1},\dots ,{u}_{n}):{[{\alpha}_{t},t]}_{\mathbb{T}}\to {\mathbb{R}}^{n} is an arbitrary rdcontinuous function such that for every j=1,\dots ,n,
and {u}_{i}(t)={c}_{i}(t).
Remark 1 We will explain the geometrical meaning of the point of strict egress. If a point
is a point of strict egress for the set Ω with respect to (1) and y(t)=({y}_{1}(t),\dots ,{y}_{n}(t)) is a (unique) solution of (1) satisfying ({t}^{\ast},y({t}^{\ast}))={M}_{iB}^{\ast}, then, due to (4),
From the definition of Δderivative and the property {y}_{i}({t}^{\ast}){b}_{i}({t}^{\ast})=0, we get {y}_{i}(t){b}_{i}(t)<0 (or (t,y(t))\notin \overline{\mathrm{\Omega}}) for t\in {({t}^{\ast},{t}^{\ast}+\delta )}_{\mathbb{T}} with a small positive δ if {t}^{\ast} is a rightdense point and for t=\sigma ({t}^{\ast}) if {t}^{\ast} is rightscattered.
By analogy, if
is a point of strict egress for the set Ω with respect to (1) and y(t)=({y}_{1}(t),\dots ,{y}_{n}(t)) is a (unique) solution of (1) satisfying ({t}^{\ast},y({t}^{\ast}))={M}_{iC}^{\ast}, then, due to (5), {y}_{i}(t){c}_{i}(t)>0 (or (t,y(t))\notin \overline{\mathrm{\Omega}}) for t\in {({t}^{\ast},{t}^{\ast}+\delta )}_{\mathbb{T}} with a small positive δ if {t}^{\ast} is a rightdense point and for t=\sigma ({t}^{\ast}) if {t}^{\ast} is rightscattered.
We see that in all the cases considered, the solution y=y(t) of (1) with the initial condition y(t)=\phi (t), t\in {[{\alpha}_{{t}^{\ast}},{t}^{\ast}]}_{\mathbb{T}}, and ({t}^{\ast},y({t}^{\ast}))\in {\partial}_{y}\mathrm{\Omega} satisfies (t,y(t))\notin \overline{\mathrm{\Omega}} for t\in {({t}^{\ast},{t}^{\ast}+\delta )}_{\mathbb{T}} with a small positive δ if {t}^{\ast} is a rightdense point and for t=\sigma ({t}^{\ast}) if {t}^{\ast} is rightscattered.
Definition 3 [12]
If A\subset B are subsets of a topological space and \pi :B\to A is a continuous mapping from B onto A such that \pi (p)=p for every p\in A, then π is said to be a retraction of B onto A. When a retraction of B onto A exists, A is called a retract of B.
3 Existence theorem
The following theorem is proved by utilizing the idea of a retract method, which is well known for ordinary differential equations and goes back to Ważewski [13]. In the next theorem, we assume that the function f, except for the indicated conditions, satisfies all the assumptions given in Section 2. Namely, we assume that the function f is bounded and Lipschitz continuous on an open set S and \overline{\mathrm{\Omega}}\subset S.
Theorem 2 Let f:\mathbb{T}\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}. Let {b}_{i},{c}_{i}:\mathbb{T}\to \mathbb{R}, i\in \{1,\dots ,n\} be Δdifferentiable functions on \mathbb{T} such that {b}_{i}(t)<{c}_{i}(t) for each t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}. If, moreover, every point M\in {\partial}_{y}\mathrm{\Omega} is the point of strict egress for the set Ω with respect to system (1), then there exists an rdcontinuous initial function {\phi}^{\ast}:{[{\alpha}_{0},{t}_{0}]}_{\mathbb{T}}\to {\mathbb{R}}^{n} satisfying
such that the initial problem
defines a solution y of (1) on the interval {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} satisfying
Proof The idea of the proof is the following. By contrary, we assume that a solution y satisfying (8) does not exist. Then we are able to prove (by a construction of a chain of auxiliary mappings) an existence of a retraction of an ndimensional ball into its boundary. However, it is well known that the boundary of an ndimensional ball cannot be its retract (see, e.g., [12]) and we get a contradiction.
Without any special comment, throughout the proof, we use the fact that the initial value problem has a unique solution and this solution depends continuously on the initial data (this is guaranteed by Theorem 1). Suppose now that the initial function {\phi}^{\ast} satisfying (6) generates the solution y=y(t) which does not satisfy (8) for at least one t\in {({t}_{0},\mathrm{\infty})}_{\mathbb{T}}. This means, in general, that for any rdcontinuous initial function {\phi}_{0} satisfying the inequality
there exists {t}^{0}\in \mathbb{T}, {t}^{0}>{t}_{0} such that, for a corresponding solution y={y}^{0}(t) of the initial problem
we have
and
Let us define auxiliary mappings {P}_{1}, {P}_{2} and {P}_{3}. Note that in this part of the proof, without loss of generality, we admit the eventuality that the function {\phi}_{0}(t) instead of (9) satisfies weaker restrictions
and {\phi}_{0}({t}_{0})\in \overline{\omega}({t}_{0}).
First, define a mapping {P}_{1}. For ({t}_{0},{\phi}_{0}({t}_{0})) with {\phi}_{0}({t}_{0})\in \overline{\omega}({t}_{0}),
with {t}^{0} having the value defined above except for the case {\phi}_{0}({t}_{0})\in \partial \omega ({t}_{0}). In the latter case, we put {t}^{0}={t}_{0}.
Second, we define a mapping {P}_{2} for every ({t}^{0},{y}^{0}({t}^{0})). For this we will need a set
with {\omega}_{\mathbb{R}}(t)\equiv \omega (t) if t\in \mathbb{T} and
if t\notin \mathbb{T} and {t}_{a}\in \mathbb{T}, {t}_{b}\in \mathbb{T} are such that {t}_{a}<{t}_{b}, t\in ({t}_{a},{t}_{b}) and ({t}_{a},{t}_{b})\cap \mathbb{T}=\mathrm{\varnothing}. It is clear that \mathrm{\Omega}\subseteq {\mathrm{\Omega}}_{\mathbb{R}}. Further,
is obviously convex. We define, moreover, the ypart of the boundary of {\mathrm{\Omega}}_{\mathbb{R}} as
where \partial {\omega}_{\mathbb{R}}(t)\equiv \partial \omega (t) if t\in \mathbb{T} and
if t\notin \mathbb{T}, where {t}_{a}\in \mathbb{T} and {t}_{b}\in \mathbb{T} are as above.
Now we are ready to consider an auxiliary mapping {P}_{2}. Let ({t}^{0},{y}^{0}({t}^{0}))\notin \mathrm{\Omega}. Then, due to the convexity of V({t}_{a},{t}_{b}), there exists a unique intersection of the segment connecting the points (\rho ({t}^{0}),{y}^{0}(\rho ({t}^{0}))) and ({t}^{0},{y}^{0}({t}^{0})) with {\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}}. We denote this point as {M}^{0} and define
Note that if ({t}^{0},{y}^{0}({t}^{0}))\in {\partial}_{y}\mathrm{\Omega}, we get the particular case {M}^{0}=({t}^{0},{y}^{0}({t}^{0})) and {P}_{2}({t}^{0},{y}^{0}({t}^{0}))=({t}^{0},{y}^{0}({t}^{0})).
Third, we define a mapping {P}_{3}. For this we need a subset of the yboundary {\partial}_{y}\mathrm{\Omega}. For s\in \mathbb{T}, let
Now we are ready to consider an auxiliary continuous mapping {P}_{3},
defined for {M}^{0}=(t,y)\in {\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}} as a point {M}^{\ast}=({t}_{0},{y}^{\ast}), where {y}^{\ast}\in \partial \omega ({t}_{0}) with
It is easy to see that the {\partial}_{y}\mathrm{\Omega}{}_{t={t}_{0}} is a retract of {\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}} and satisfies all the assumptions from Definition 3 (with A:={\partial}_{y}\mathrm{\Omega}{}_{t={t}_{0}} and B:={\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}}).
We show that the composite mapping
is continuous due to the continuous dependence of the solutions on the initial data, the convexity of sets of the type V({t}_{a},{t}_{b}) defined above and the continuity of the mapping {P}_{3}. Let \delta >0 be sufficiently small and {\phi}_{0},{\phi}_{0,\delta}:{[{\alpha}_{0},{t}_{0}]}_{\mathbb{T}}\to {\mathbb{R}}^{n} be the initial functions such that
and
Further, let
Suppose now that {\phi}_{0}({t}_{0}),{\phi}_{0,\delta}({t}_{0})\in \omega ({t}_{0}) (which is equivalent to {t}^{0}>{t}_{0}). We consider all the possible settings of ({t}^{0},{y}^{0}({t}^{0})) and characters of {t}^{0}.
(I)Point ({t}^{0},{y}^{0}({t}^{0}))\in {\partial}_{y}\mathrm{\Omega}.
First, assume that the point {t}^{0} is dense, i.e., \rho ({t}^{0})={t}^{0}=\sigma ({t}^{0}). Then, due to the solutions depending continuously on initial data, we have {lim}_{\delta \to 0}{t}^{0,\delta}={t}^{0} and, consequently,
In this case the mapping {P}_{1} is continuous and the composite mapping {P}_{2}\circ {P}_{1} is continuous as well because
and
Further, {P}_{3}\circ {P}_{2}\circ {P}_{1} is also continuous because of the continuity of mappings {P}_{3} and {P}_{2}\circ {P}_{1}.
Second, if the point {t}^{0} is leftscattered and rightdense, i.e., \rho ({t}^{0})<{t}^{0}=\sigma ({t}^{0}), we can proceed analogously as in the case before. In this case, for fixed δ, either {t}^{0,\delta}={t}^{0} (if {y}^{0,\delta}({t}^{0})\notin \omega ({t}^{0})) or {t}^{0,\delta}>{t}^{0} (if {y}^{0,\delta}({t}^{0})\in \omega ({t}^{0})). In the alternative {t}^{0,\delta}={t}^{0}, it is obvious that
and thus
Hence the composite mapping {P}_{2}\circ {P}_{1} is continuous. Further, {P}_{3}\circ {P}_{2}\circ {P}_{1} is also continuous because of the continuity of mappings {P}_{3} and {P}_{2}\circ {P}_{1}. The alternative {t}^{0,\delta}>{t}^{0} with {lim}_{\delta \to 0}{t}^{0,\delta}={t}^{0} can be proved by the same limit process as in the first case, where the point {t}^{0} is dense.
Third, let the point {t}^{0} be leftdense and rightscattered, i.e., \rho ({t}^{0})={t}^{0}<\sigma ({t}^{0}). Then the approach used in previous cases can be modified as follows. Let, as before, (11), (12) and (13) hold. Then, for fixed δ, either {t}^{0,\delta}\le {t}^{0} (if {y}^{0,\delta}({t}^{0})\notin \omega ({t}^{0})) or {t}^{0,\delta}=\sigma ({t}^{0}) (if {y}^{0,\delta}({t}^{0})\in \omega ({t}^{0})). The alternative {t}^{0,\delta}\le {t}^{0} with {lim}_{\delta \to 0}{t}^{0,\delta}={t}^{0} can be proved by the same limit process as in the first case, where the point {t}^{0} is dense. However, the alternative {t}^{0,\delta}=\sigma ({t}^{0}) takes into account a possibility that the mapping {P}_{1} cannot be continuous. If {t}^{0,\delta}=\sigma ({t}^{0}) is valid for \delta \to 0, then, due to the convexity of V({t}^{0},\sigma ({t}^{0})), there exists a unique intersection of the segment connecting the points ({t}^{0},{y}^{0,\delta}({t}^{0})) and (\sigma ({t}^{0}),{y}^{0,\delta}(\sigma ({t}^{0}))) with {\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}}. We denote this point as {M}^{0,\delta} and, in accordance with the above definition, {P}_{2}(\sigma ({t}^{0}),{y}^{0,\delta}(\sigma ({t}^{0})))={M}^{0,\delta}. We wish to show that {M}^{0,\delta}\to {M}^{0}=({t}^{0},{y}^{0}({t}^{0})) if \delta \to 0. However, in view of the definition of the mapping {P}_{2} and its geometric meaning,
and
Hence the continuity of {P}_{2}\circ {P}_{1} is proved. Further, {P}_{3}\circ {P}_{2}\circ {P}_{1} is also continuous (for the same reason as before).
Fourth, suppose now that {t}^{0} is an isolated point, i.e., \rho ({t}^{0})<{t}^{0}<\sigma ({t}^{0}). Let, as before, (11), (12) and (13) hold. Then, for sufficiently small δ, we have either {t}^{0,\delta}={t}^{0} (if {y}^{0,\delta}({t}^{0})\notin \omega ({t}^{0})) or {t}^{0,\delta}=\sigma ({t}^{0}) (if {y}^{0,\delta}({t}^{0})\in \omega ({t}^{0})). Without any special comment, in the alternative {t}^{0,\delta}={t}^{0}, we proceed in the same way as in the second case, where {t}^{0} is leftscattered and rightdense. Furthermore, in the alternative {t}^{0,\delta}=\sigma ({t}^{0}), we proceed in the same way as in the third case, where {t}^{0} is leftdense and rightscattered.
(II)Point ({t}^{0},{y}^{0}({t}^{0}))\notin {\partial}_{y}\mathrm{\Omega}. Then the point {t}^{0} is leftscattered and only two cases are possible (either {t}^{0} is leftscattered and rightdense or {t}^{0} is isolated). In both mentioned cases, we can proceed in the same way. Let, as before, {\phi}_{0}({t}_{0}),{\phi}_{0,\delta}({t}_{0})\in \omega ({t}_{0}) and (11), (12) and (13) hold. Then, for sufficiently small δ, we have only {t}^{0,\delta}={t}^{0} and, of course, {y}^{0,\delta}({t}^{0})\notin \overline{\omega}({t}^{0}). Further,
Due to the convexity of V(\rho ({t}^{0}),{t}^{0}), there exists a unique intersection of the segment connecting the points (\rho ({t}^{0}),{y}^{0,\delta}(\rho ({t}^{0}))) and ({t}^{0},{y}^{0,\delta}({t}^{0})) with {\partial}_{y}{\mathrm{\Omega}}_{\mathbb{R}}. We denote this point by {M}^{0,\delta}. In view of the definition of the mapping {P}_{2} and its geometric meaning, we can observe that
Hence the composite mapping {P}_{2}\circ {P}_{1} is continuous. Moreover, {P}_{3}\circ {P}_{2}\circ {P}_{1} is also continuous because of the continuity of mappings {P}_{3} and {P}_{2}\circ {P}_{1}.
We proved that the composite mapping {P}_{3}\circ {P}_{2}\circ {P}_{1} is continuous. Note that we omitted the special case {\phi}_{0}({t}_{0})\in \partial \omega ({t}_{0}) (which is equivalent to {t}^{0}={t}_{0}). However, this part can be shown in an analogous and simpler way to the one used above.
Now we are able to finish the proof. We proved that
where A:={\partial}_{y}\mathrm{\Omega}{}_{t={t}_{0}}, B:=\{({t}_{0},y):y\in \overline{\omega}({t}_{0})\} is continuous. Moreover,
is an identity mapping. In this situation, we have proved that there exists a retraction of the set B onto the set A (see Definition 3). In view of the abovementioned fact, this is impossible. Our assumption is false and there exists initial problem (7) such that the corresponding solution y={y}^{\ast}(t) satisfies (8) for every t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}. The theorem is proved. □
4 Example
Let us consider a dynamic system of type (1)
defined for each t\in {[1,\mathrm{\infty})}_{\mathbb{T}} with \mathbb{T}={\{{2}^{n}\}}_{n=0}^{\mathrm{\infty}}. Note that in this case \mu (t)=t. Let delays be defined as follows:
Let, moreover, {t}_{0}\ge 16, {t}_{0}\in \mathbb{T} and {\alpha}_{0}=min\{{\tau}_{1}({t}_{0}),{\tau}_{2}({t}_{0})\}={\tau}_{2}({t}_{0})={t}_{0}/4.
With the aid of Theorem 2, we will show that there exists an initial function {\phi}^{\ast},
which defines a solution y for all t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} of dynamic system (14), (15) satisfying
We define Δdifferentiable functions {b}_{i},{c}_{i}:\mathbb{T}\to \mathbb{R}, i=1,2, satisfying {b}_{i}(t)<{c}_{i}(t) for each t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} as
and
We will verify that every point M\in {\bigcup}_{i=1}^{2}({\mathrm{\Omega}}_{B}^{i}\cup {\mathrm{\Omega}}_{C}^{i}), where
is a point of strict egress for the set Ω with respect to the dynamic system (14), (15).
(1a) Let (t,{b}_{1}(t),{y}_{2})\in {\mathrm{\Omega}}_{B}^{1}. For arbitrary functions {u}_{1},{u}_{2}:{[{\alpha}_{t},t]}_{\mathbb{T}}\to \mathbb{R}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}} such that (for j=1,2) {b}_{j}(s)<{u}_{j}(s)<{c}_{j}(s), s\in {[{\alpha}_{t},t)}_{\mathbb{T}} and {u}_{1}(t)={b}_{1}(t), {b}_{2}(t)\le {u}_{2}(t)\le {c}_{2}(t), we need (see (4))
(1b) Let (t,{c}_{1}(t),{y}_{2})\in {\mathrm{\Omega}}_{C}^{1}. For arbitrary functions {u}_{1},{u}_{2}:{[{\alpha}_{t},t]}_{\mathbb{T}}\to \mathbb{R}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}} such that (for j=1,2) {b}_{j}(s)<{u}_{j}(s)<{c}_{j}(s), s\in {[{\alpha}_{t},t)}_{\mathbb{T}} and {u}_{1}(t)={c}_{1}(t), {b}_{2}(t)\le {u}_{2}(t)\le {c}_{2}(t), we need (see (5))
Inequalities (18) and (19) are valid if the inequality
holds for arbitrary {u}_{j} such that {t}^{1}\le {u}_{j}(t)\le {t}^{1}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}}, j=1,2 ({t}_{0}\ge 16). Indeed,
(2a) Let (t,{y}_{1}(t),{b}_{2}(t))\in {\mathrm{\Omega}}_{B}^{2}. For arbitrary functions {u}_{1},{u}_{2}:{[{\alpha}_{t},t]}_{\mathbb{T}}\to \mathbb{R}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}} such that (for j=1,2) {b}_{j}(s)<{u}_{j}(s)<{c}_{j}(s), s\in {[{\alpha}_{t},t)}_{\mathbb{T}} and {u}_{2}(t)={b}_{2}(t), {b}_{1}(t)\le {u}_{1}(t)\le {c}_{1}(t), we need (see (4))
(2b) Let (t,{y}_{1}(t),{c}_{2}(t))\in {\mathrm{\Omega}}_{C}^{2}. For arbitrary functions {u}_{1},{u}_{2}:{[{\alpha}_{t},t]}_{\mathbb{T}}\to \mathbb{R}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}} such that (for j=1,2) {b}_{j}(s)<{u}_{j}(s)<{c}_{j}(s), s\in {[{\alpha}_{t},t)}_{\mathbb{T}} and {u}_{2}(t)={c}_{2}(t), {b}_{1}(t)\le {u}_{1}(t)\le {c}_{1}(t), we need (see (5))
Inequalities (20) and (21) are valid if the inequality
holds for arbitrary {u}_{j} such that {t}^{1}\le {u}_{j}(t)\le {t}^{1}, t\in {[{t}_{0},\mathrm{\infty})}_{\mathbb{T}}, j=1,2 ({t}_{0}\ge 16). Indeed,
In view of Definition 2, every point M\in {\bigcup}_{i=1}^{2}({\mathrm{\Omega}}_{B}^{i}\cup {\mathrm{\Omega}}_{C}^{i}) is a point of strict egress for the set Ω. Therefore, all the assumptions of Theorem 2 hold and there exists an initial value function {\phi}^{\ast} with property (16) such that the initial problem y(t)={\phi}^{\ast}(t) defines a solution y on the interval {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}} of dynamic system (14), (15) satisfying inequalities (17) for every t\in {[{\alpha}_{0},\mathrm{\infty})}_{\mathbb{T}}. This solution (due to (17)) tends to zero as t\to \mathrm{\infty}.
Remark 2 Note that the choice \mathbb{T}={\{{2}^{n}\}}_{n=0}^{\mathrm{\infty}} in the previous example is not important, and system (14), (15) can be considered on an arbitrary time scale \mathbb{T} with \mu (t)=O(t) (it means that there exists q>1 such that \mu (t)\le (q1)t for each t\in \mathbb{T}). Indeed, let us slightly modify the previous example. Consider system (14), (15) on an arbitrary time scale with \mu (t)=O(t). (For example, \mathbb{T}={\{{q}^{n}\}}_{n=0}^{\mathrm{\infty}} with q>1 satisfies this condition.) Let, moreover, {\tau}_{1}=t/q, {\tau}_{2}=t/{q}^{k} with q>1, k\in \mathbb{N}. Then one can show that all calculations used in the previous example are true for sufficiently large {t}_{0}\in \mathbb{T}.
5 Concluding remarks
The difference between delay dynamic equations and nondelay dynamic equations (resp. a system of delay dynamic equations and a system of nondelay dynamic equations) with respect to controlling their solutions is as follows. The conditions on the function f to get a bounded solution in a ‘delay’ case are a little bit harder than in a ‘nondelay’ case. More precisely, the bigger the delays {\tau}_{i} are, the harder it is to construct a set Ω of considered equations to get a bounded solution y\in \mathrm{\Omega}. The reason is that in a delay case the history of solutions plays an important role and influences conditions for points, which are strict egress with respect to the investigated equation. It corresponds to the form of Definition 2, where functions {u}_{i}(t) have to satisfy some conditions before they touch or pass the boundary of the set Ω.
A further possible complication in dynamic equations (resp. a system of dynamic equations)  the graininess of the time scale \mathbb{T}  was discussed in [9]. Moreover, it is obvious that the bigger the graininess is, the bigger the delays are. This fact also implies a problem to control the solution to stay in domain Ω.
Finally, let us consider initial problem (1), (2) with {\tau}_{i}(t)=t for every i=1,\dots ,n. In this case, we get a nondelay dynamic system and the initial function φ defined in (2) can be replaced by the initial condition y({t}_{0})={y}_{0}. Moreover, in this case, carefully tracing the proof of Theorem 2, we can observe that it does not need any change. Hence we can say that Theorem 2 generalizes a result given in [7] as well.
References
Hilger, S: Ein Masskettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten. PhD thesis, Universität Würzburg (1988)
Hilger S: Analysis on measure chains  a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 1856. 10.1007/BF03323153
Bohner M, Peterson A: Dynamic Equations on Time Scales. Birkhäuser, Basel; 2001.
Karpuz B: Existence and uniqueness of solutions to systems of delay dynamic equations on time scales. Int. J. Math. Comput. 2011, 10(M11):4858. (Special volume)
Diblík J: Discrete retract principle for systems of discrete equations. Comput. Math. Appl. 2001, 42: 515528. 10.1016/S08981221(01)001742
Diblík J: Retract principle for difference equations. In Communications in Difference Equations: Proceedings of the Fourth International Conference on Difference Equations. Edited by: Elaydi S, Ladas G, Popenda J, Rakowski J. Gordon & Breach, New York; 2000:107114. Poznan, Poland, 2731 August 1998
Diblík J, Růžičková M, Šmarda Z: Ważewski’s method for systems of dynamic equations on time scales. Nonlinear Anal. 2009, 71: e1124e1131. 10.1016/j.na.2009.01.098
Diblík J, Růžičková M, Václavíková B: A retract principle on discrete time scales. Opusc. Math. 2006, 26(3):445455.
Diblík J, Vítovec J: Bounded solutions of delay dynamic equations on time scales. Adv. Differ. Equ. 2012., 2012: Article ID 183 10.1186/168718472012183
Baštinec J, Diblík J, Zhang B: Existence of bounded solutions of discrete delayed equations. In Proceedings of the Sixth International Conference on Difference Equations. CRC Press, Boca Raton; 2004:359366.
Gabor G, Ruszkowski S: Ważewski theorem on time scales with a set of egress points that is not the whole boundary. Nonlinear Anal. 2012, 75: 65416549. 10.1016/j.na.2012.07.033
Borsuk K: Theory of Retracts. PWN, Warsaw; 1967.
Ważewski T: Sur un principe topologique de l’examen de l’allure asymptotique des intégrales des équations différentielles ordinaires. Ann. Soc. Pol. Math. 1947, 20: 279313.
Acknowledgements
The first author was supported by Grant No. P201/10/1032 of Czech Grant Agency (Prague). The second author was supported by the project CZ.1.07/2.3.00/30.0039 of Brno University of Technology. The work of the first author was partially realized in CEITEC  Central European Institute of Technology with research infrastructure supported by the project CZ.1.05/1.1.00/02.0068 financed from European Regional Development Fund.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Diblík, J., Vítovec, J. Lower and upper estimates of solutions to systems of delay dynamic equations on time scales. Bound Value Probl 2013, 260 (2013). https://doi.org/10.1186/168727702013260
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702013260
Keywords
 time scale
 dynamic system
 delay
 asymptotic behavior of solution
 retract
 retraction