Theory and Modern Applications

# Initial functions defining dominant positive solutions of a linear differential equation with delay

## Abstract

Linear differential equation

$\stackrel{˙}{y}\left(t\right)=-c\left(t\right)y\left(t-r\right),$

where $c\left(t\right)$ is a positive continuous function and delay r is a positive constant, is considered for $t\to \mathrm{\infty }$. It is proved that, under certain assumptions on the function $c\left(t\right)$ and delay r, a class of positive linear initial functions defines dominant positive solutions with positive limit for $t\to \mathrm{\infty }$.

MSC:34K15, 34K25.

## 1 Introduction

This article is devoted to the problem of the asymptotic behavior of solutions of delayed equations of the type

$\stackrel{˙}{y}\left(t\right)=-c\left(t\right)y\left(t-r\right)$
(1)

with a positive continuous function $c\left(t\right)$ on the set $\left[{t}_{0}-r,\mathrm{\infty }\right)$, ${t}_{0}\in \mathbb{R}$, $0 in the non-oscillatory case. The following results on the asymptotic behavior of solutions, needed in the following analysis, are taken from  (see  as well).

Theorem 1 (Theorem 18 in )

Let there exist a positive solution $\stackrel{˜}{y}$ of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$. Then there are two positive solutions ${y}_{1}$ and ${y}_{2}$ of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ satisfying

$\underset{t\to \mathrm{\infty }}{lim}\frac{{y}_{2}\left(t\right)}{{y}_{1}\left(t\right)}=0.$
(2)

Moreover, every solution y of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ is represented by the formula

$y\left(t\right)=K{y}_{1}\left(t\right)+O\left({y}_{2}\left(t\right)\right),$
(3)

where $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$ and a coefficient $K\in \mathbb{R}$ depends on y.

In  it is shown that in representation (3) an arbitrary couple ${y}_{1}$ and ${y}_{2}$ of two positive solutions of (1) satisfying (2) can be used, i.e., the following theorem holds.

Theorem 2 Assume that ${y}_{1}$ and ${y}_{2}$ are two positive solutions of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ satisfying (2). Then every solution y of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ is represented by formula (3), where $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$ and a coefficient $K\in \mathbb{R}$ depends on y.

This is the reason for introducing the following definition.

Definition 1 

Let ${y}_{1}$ and ${y}_{2}$ be fixed positive solutions of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ with property (2). Then $\left({y}_{1},{y}_{2}\right)$ is called a pair of dominant and subdominant solutions on $\left[{t}_{0}-r,\mathrm{\infty }\right)$.

We note that in the literature one can find numerous criteria of positivity of solutions not only to (1), but more complicated, as well as lots of properties of such solutions and explanation of their importance (see, e.g., books , papers [1, 2, 1020], and the references therein). They are formulated as implicit criteria (simultaneously both sufficient and necessary) or as explicit sufficient criteria. In the paper we employ the following explicit criterion (assumptions are slightly modified to restrict the criterion to the considered case).

Theorem 3 

If

${\int }_{t-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\le \frac{1}{\mathrm{e}}$

for $t\in \left[{t}_{0},\mathrm{\infty }\right)$, then (1) has a non-oscillatory solution on $\left[{t}_{0}-r,\mathrm{\infty }\right)$.

In this paper we prove that every positive linear initial function given on the initial interval $\left[{t}_{0}-r,{t}_{0}\right]$ and satisfying certain restrictions, defines a positive solution $y=y\left(t\right)$ of (1) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$. Moreover, we show that this positive solution is a dominant solution and its limit $y\left(\mathrm{\infty }\right)$ is positive.

The paper is organized as follows. The main result (Theorem 5 below) in Section 3 is proved by the sensitive and flexible retract method. It is shortly described in Section 2. Its applicability is performed via Theorem 4, where an important role is played by a system of initial functions (see Definition 3). Proper choice of such a system of initial functions together with the application of Theorem 4 form the mainstay of the proof of Theorem 5.

## 2 Preliminaries - Ważewski’s retract principle

Let $C\left(\left[a,b\right],{\mathbb{R}}^{n}\right)$, where $a,b\in \mathbb{R}$, $a, be the Banach space of the continuous mappings from the interval $\left[a,b\right]$ into ${\mathbb{R}}^{n}$ equipped with the supremum norm

${\parallel \psi \parallel }_{C}=\underset{\theta \in \left[a,b\right]}{sup}\parallel \psi \left(\theta \right)\parallel ,\phantom{\rule{1em}{0ex}}\psi \in C\left(\left[a,b\right],{\mathbb{R}}^{n}\right),$

where $\parallel \cdot \parallel$ is the maximum norm in ${\mathbb{R}}^{n}$. In the case $a=-r<0$ and $b=0$, we shall denote this space as ${\mathrm{C}}_{r}^{n}$, that is,

${\mathrm{C}}_{r}^{n}:=C\left(\left[-r,0\right],{\mathbb{R}}^{n}\right).$

If $\sigma \in \mathbb{R}$, $A\ge 0$, and $y\in C\left(\left[\sigma -r,\sigma +A\right],{\mathbb{R}}^{n}\right)$, then, for each $t\in \left[\sigma ,\sigma +A\right]$, we define ${y}_{t}\in {\mathrm{C}}_{r}^{n}$ by ${y}_{t}\left(\theta \right)=y\left(t+\theta \right)$, $\theta \in \left[-r,0\right]$.

In this section we present Ważewski’s principle for a system of retarded functional differential equations

$\stackrel{˙}{y}\left(t\right)=F\left(t,{y}_{t}\right),$
(4)

where is a continuous quasi-bounded map which satisfies a local Lipschitz condition with respect to the second argument and ${\mathrm{\Omega }}^{\ast }$ is an open subset in .

The principle below was for the first time introduced by Ważewski  for ordinary differential equations and later extended to retarded functional differential equations by Rybakowski .

We recall that the functional F is quasi-bounded if F is bounded on every set of the form $\left[{t}_{1},{t}_{2}\right]×{\mathrm{C}}_{r,L}^{n}\subset {\mathrm{\Omega }}^{\ast }$, where ${t}_{1}<{t}_{2}$, ${\mathrm{C}}_{r,L}^{n}:=C\left(\left[-r,0\right],L\right)$ and L is a closed bounded subset of ${\mathbb{R}}^{n}$ (see [, p.305]).

In accordance with , a function $y\left(t\right)$ is said to be a solution of the system (4) on $\left[\sigma -r,\sigma +A\right)$ if there are and $A>0$ such that , $\left(t,{y}_{t}\right)\in {\mathrm{\Omega }}^{\ast }$ and $y\left(t\right)$ satisfies the system (4) for $t\in \left[\sigma ,\sigma +A\right)$. For given , $\phi \in {\mathrm{C}}_{r}^{n}$, we say $y\left(\sigma ,\phi \right)$ is a solution of the system (4) through $\left(\sigma ,\phi \right)\in {\mathrm{\Omega }}^{\ast }$ if there is an $A>0$ such that $y\left(\sigma ,\phi \right)$ is a solution of the system (4) on $\left[\sigma -r,\sigma +A\right)$ and ${y}_{\sigma }\left(\sigma ,\phi \right)=\phi$. In view of the above conditions, each element $\left(\sigma ,\phi \right)\in {\mathrm{\Omega }}^{\ast }$ determines a unique solution $y\left(\sigma ,\phi \right)$ of the system (4) through $\left(\sigma ,\phi \right)\in {\mathrm{\Omega }}^{\ast }$ on its maximal interval of existence ${I}_{\sigma ,\phi }=\left[\sigma ,a\right)$, $\sigma which depends continuously on initial data . A solution $y\left(\sigma ,\phi \right)$ of the system (4) is said to be positive if ${y}_{i}\left(\sigma ,\phi \right)>0$ on $\left[\sigma -r,\sigma \right]\cup {I}_{\sigma ,\phi }$ for each $i=1,2,\dots ,n$.

As usual, if a set , then intω and ∂ω denote the interior and the boundary of ω, respectively.

Definition 2 

Let the continuously differentiable functions ${l}_{i}\left(t,y\right)$, $i=1,2,\dots ,p$ and ${m}_{j}\left(t,y\right)$, $j=1,2,\dots ,q$, ${p}^{2}+{q}^{2}>0$ be defined on some open set . The set

${\omega }^{\ast }=\left\{\left(t,y\right)\in {\omega }_{0}:{l}_{i}\left(t,y\right)<0,{m}_{j}\left(t,y\right)<0,i=1,\dots ,p,j=1,\dots ,q\right\}$
(5)

is called a regular polyfacial set with respect to the system (4), provided it is nonempty and the conditions (α) to (γ) below hold:

(α) For such that $\left(t+\theta ,\pi \left(\theta \right)\right)\in {\omega }^{\ast }$ for $\theta \in \left[-r,0\right)$, we have $\left(t,\pi \right)\in {\mathrm{\Omega }}^{\ast }$.

(β) For all $i=1,2,\dots ,p$, all $\left(t,y\right)\in \partial {\omega }^{\ast }$ for which ${l}_{i}\left(t,y\right)=0$, and all $\pi \in {\mathrm{C}}_{r}^{n}$ for which $\pi \left(0\right)=y$ and $\left(t+\theta ,\pi \left(\theta \right)\right)\in {\omega }^{\ast }$, $\theta \in \left[-r,0\right)$, it follows that $D{l}_{i}\left(t,y\right)>0$, where

$D{l}_{i}\left(t,y\right)\equiv \sum _{k=1}^{n}\frac{\partial {l}_{i}\left(t,y\right)}{\partial {y}_{k}}{f}_{k}\left(t,\pi \right)+\frac{\partial {l}_{i}\left(t,y\right)}{\partial t}.$

(γ) For all $j=1,2,\dots ,q$, all $\left(t,y\right)\in \partial {\omega }^{\ast }$ for which ${m}_{j}\left(t,y\right)=0$, and all $\pi \in {\mathrm{C}}_{r}^{n}$ for which $\pi \left(0\right)=y$ and $\left(t+\theta ,\pi \left(\theta \right)\right)\in {\omega }^{\ast }$, $\theta \in \left[-r,0\right)$, it follows that $D{m}_{j}\left(t,y\right)<0$, where

$D{m}_{j}\left(t,y\right)\equiv \sum _{k=1}^{n}\frac{\partial {m}_{j}\left(t,y\right)}{\partial {y}_{k}}{f}_{k}\left(t,\pi \right)+\frac{\partial {m}_{j}\left(t,y\right)}{\partial t}.$

The elements in the sequel are assumed to be such that $\left(t,\pi \right)\in {\mathrm{\Omega }}^{\ast }$.

Definition 3 A system of initial functions ${p}_{A,{\omega }^{\ast }}$ with respect to the nonempty sets A and ${\omega }^{\ast }$, where , is defined as a continuous mapping $p:A\to {\mathrm{C}}_{r}^{n}$ such that (i) and (ii) below hold:

1. (i)

If $z=\left(t,y\right)\in A\cap int{\omega }^{\ast }$, then $\left(t+\theta ,p\left(z\right)\left(\theta \right)\right)\in {\omega }^{\ast }$ for $\theta \in \left[-r,0\right]$.

2. (ii)

If $z=\left(t,y\right)\in A\cap \partial {\omega }^{\ast }$, then $\left(t+\theta ,p\left(z\right)\left(\theta \right)\right)\in {\omega }^{\ast }$ for $\theta \in \left[-r,0\right)$ and $\left(t,p\left(z\right)\left(0\right)\right)=z$.

Definition 4 

If $\mathcal{A}\subset \mathcal{B}$ are subsets of a topological space and $\pi :\mathcal{B}\to \mathcal{A}$ is a continuous mapping from onto $\mathcal{A}$ such that $\pi \left(p\right)=p$ for every $p\in \mathcal{A}$, then π is said to be a retraction of onto $\mathcal{A}$. When a retraction of onto $\mathcal{A}$ exists, $\mathcal{A}$ is called a retract of .

The following lemma describes the main result of the paper .

Lemma 1 Let ${\omega }^{\ast }\subset {\omega }_{0}$ be a regular polyfacial set with respect to the system (4), and let W be defined as follows:

$W=\left\{\left(t,y\right)\in \partial {\omega }^{\ast }:{m}_{j}\left(t,y\right)<0,j=1,2,\dots ,q\right\}.$

Let $Z\subset W\cup {\omega }^{\ast }$ be a given set such that $Z\cap W$ is a retract of W but not a retract of Z. Then, for each fixed system of initial functions ${p}_{Z,{\omega }^{\ast }}$, there is a point ${z}_{0}=\left({\sigma }_{0},{y}_{0}\right)\in Z\cap {\omega }^{\ast }$ such that for the corresponding solution $y\left({\sigma }_{0},p\left({z}_{0}\right)\right)\left(t\right)$ of (4) we have

$\left(t,y\left({\sigma }_{0},p\left({z}_{0}\right)\right)\left(t\right)\right)\in {\omega }^{\ast }$

for each $t\in {D}_{{\sigma }_{0},p\left({z}_{0}\right)}$.

Remark 1 When Lemma 1 is applied, a lot of technical details should be fulfilled. In order to simplify necessary verifications, it is useful, without loss of generality, to vary the first coordinate t in the definition of the set ${\omega }^{\ast }$ in (5) within a half-open interval open at the right. Then the set ${\omega }^{\ast }$ is not open, but tracing the proof of Lemma 1, it is easy to see that for such sets it remains valid. Such possibility is used below. Similar remark and explanation can be applied to sets of the type Ω, ${\mathrm{\Omega }}^{\ast }$ which serve as domains of definitions of functionals on the right-hand sides of equations considered.

Continuously differentiable functions ${l}_{i}\left(t,y\right)$, $i=1,2,\dots ,p$ and ${m}_{j}\left(t,y\right)$, $j=1,2,\dots ,q$, ${p}^{2}+{q}^{2}>0$ mentioned in Definition 2 are often used in the form:

$\begin{array}{c}{l}_{i}\left(t,y\right)=\left({y}_{i}-{\rho }_{i}\left(t\right)\right)\left({y}_{i}-{\delta }_{i}\left(t\right)\right),\phantom{\rule{1em}{0ex}}i=1,2,\dots ,p,\hfill \\ {m}_{j}\left(t,y\right)=\left({y}_{j}-{\rho }_{j}\left(t\right)\right)\left({y}_{j}-{\delta }_{j}\left(t\right)\right),\phantom{\rule{1em}{0ex}}j=p+1,p+2,\dots ,n,\hfill \\ {m}_{n+1}\left(t,y\right)=-t+{t}_{0}-r,\hfill \end{array}$

where ρ, δ are continuous vector functions

$\rho =\left({\rho }_{1},{\rho }_{2},\dots ,{\rho }_{n}\right),\phantom{\rule{2em}{0ex}}\delta =\left({\delta }_{1},{\delta }_{2},\dots ,{\delta }_{n}\right):\left[{t}_{0}-r,\mathrm{\infty }\right)\to {\mathbb{R}}^{n},$

with $\rho \left(t\right)\ll \delta \left(t\right)$ for $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$ (the symbol here and below means ${\rho }_{i}\left(t\right)<{\delta }_{i}\left(t\right)$ for all $i=1,2,\dots ,n$), continuously differentiable on $\left[{t}_{0},\mathrm{\infty }\right)$. Hence, the shape of the regular polyfacial set ${\omega }^{\ast }$ from Definition 2 can be simplified to

${\omega }^{\ast }:=\left\{\left(t,y\right):t\in \left[{t}_{0}-r,\mathrm{\infty }\right),\rho \left(t\right)\ll y\ll \delta \left(t\right)\right\}.$

In the sequel we employ the result from [, Theorem 1].

Theorem 4 Let there be a $p\in \left\{0,\dots ,n\right\}$ such that:

1. (i)

If $t\ge {t}_{0}$, $\varphi \in {\mathrm{C}}_{r}^{n}$ and $\left(t+\theta ,\varphi \left(\theta \right)\right)\in {\omega }^{\ast }$ for any $\theta \in \left[-r,0\right)$, then

(6)
(7)

for any $i=1,2,\dots ,p$. (If $p=0$, this condition is omitted.)

1. (ii)

If $t\ge {t}_{0}$, $\varphi \in {\mathrm{C}}_{r}^{n}$ and $\left(t+\theta ,\varphi \left(\theta \right)\right)\in {\omega }^{\ast }$ for any $\theta \in \left[-r,0\right)$, then

for any $i=p+1,p+2,\dots ,n$. (If $p=n$, this condition is omitted.)

Then, for each fixed system of initial functions ${p}_{Z,{\omega }^{\ast }}$, where the set Z is defined as

$Z=\left\{\left({t}_{0},y\right),y\in \left[\rho \left({t}_{0}\right),\delta \left({t}_{0}\right)\right]\right\},$

there is a point ${z}_{0}=\left({\sigma }_{0},{y}_{0}\right)\in Z\cap {\omega }^{\ast }$ such that for the corresponding solution $y\left({\sigma }_{0},p\left({z}_{0}\right)\right)\left(t\right)$ of (4) we have

$\left(t,y\left({\sigma }_{0},p\left({z}_{0}\right)\right)\left(t\right)\right)\in {\omega }^{\ast }$

for each $t\in {D}_{{\sigma }_{0},p\left({z}_{0}\right)}$, i.e., then there exists an uncountable set $\mathcal{Y}$ of solutions of (4) on $\left[{t}_{0}-r,\mathrm{\infty }\right)$ such that each $y\in \mathcal{Y}$ satisfies

$\rho \left(t\right)\ll y\left(t\right)\ll \delta \left(t\right),\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right).$

The original Theorem 1 is in  proved using the retract technique combined with Razumikhin-type ideas known in the theory of stability of retarded functional differential equations.

## 3 Main result

In this section we consider scalar differential equation (1), where $r>0$ and $c:\left[{t}_{0}-r,\mathrm{\infty }\right)\to {\mathbb{R}}^{+}=\left(0,\mathrm{\infty }\right)$ is a continuous function satisfying

${\int }_{t-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\le \frac{1}{\mathrm{e}}$
(8)

for $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$ and

${\int }^{\mathrm{\infty }}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s<\mathrm{\infty }.$
(9)

The first condition (8), in accordance with Theorem 3, guarantees the existence of a positive solution $y=y\left(t\right)$ on the interval $\left[{t}_{0}-r,\mathrm{\infty }\right)$. Then Theorems 1 and 2 are valid and equation (1) has two different positive solutions (dominant and subdominant) $y={y}_{1}\left(t\right)$ and $y={y}_{2}\left(t\right)$ on the interval $\left[{t}_{0}-r,\mathrm{\infty }\right)$. Condition (9), as will be seen from the explanation below, implies that the dominant solution has a positive limit for $t\to \mathrm{\infty }$.

We set

$C:=exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{\mathrm{\infty }}c\left(t\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t\right)>0,$

where the constant C is well defined due to (9), and

$\phi \left(t\right):=exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)-C>0,\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right).$

Obviously, $\phi \left(\mathrm{\infty }\right)=0$. Denote

$m=\underset{\left[{t}_{0}-r,{t}_{0}\right]}{min}\left\{|{\phi }^{\prime }\left(t\right)|\right\}=\underset{\left[{t}_{0}-r,{t}_{0}\right]}{min}\left\{\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right\}.$

Due to positivity of $c\left(t\right)$ on $\left[{t}_{0}-r,{t}_{0}\right]$, we have $m>0$.

Let ${\phi }_{K,\mu }\in {\mathrm{C}}_{r}^{1}$ be a linear initial function defined on the interval $\left[{t}_{0}-r,{t}_{0}\right]$ as

${\phi }_{K,\mu }\left({t}_{0}+\theta \right):=K+\mu \theta ,\phantom{\rule{1em}{0ex}}\theta \in \left[-r,0\right],$
(10)

where $K,\mu \in \mathbb{R}$ and $|\mu |\le m$. The following theorem gives sufficient conditions for the property

$y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)>0,\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$

together with

$\underset{t\to +\mathrm{\infty }}{lim}y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)={K}^{\ast }\left({\phi }_{K,\mu }\right),$

where ${K}^{\ast }\left({\phi }_{K,\mu }\right)$ is a positive constant depending on the choice of the initial linear function ${\phi }_{K,\mu }$.

Theorem 5 Let inequalities (8), (9) be valid, a constant $C\ge 3/4$ and ${\phi }_{K,\mu }\in {\mathrm{C}}_{r}^{1}$ be defined by (10). Then the solution $y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)$, where ${\phi }_{K,\mu }$ is defined by (10), $K,\mu \in \mathbb{R}$ and $|\mu |\le m$, is positive including the value $y\left({t}_{0},{\phi }_{K,\mu }\right)\left(\mathrm{\infty }\right)$, i.e.

$y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)>0,\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$

and

$\underset{t\to +\mathrm{\infty }}{lim}y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)={K}^{\ast }\left({\phi }_{K,\mu }\right)>0.$

Proof We will employ Theorem 4 with $p=n=1$, i.e., the case (i) only. Set

$F\left(t,\varphi \right):=-c\left(t\right)\varphi \left(-r\right),\phantom{\rule{2em}{0ex}}\rho \left(t\right):={\phi }_{1}\left(t\right),\phantom{\rule{2em}{0ex}}\delta \left(t\right):={\phi }_{2}\left(t\right),$

where functions ${\phi }_{j}:\left[{t}_{0}-r,\mathrm{\infty }\right)\to \mathbb{R}$ are defined as

$\begin{array}{c}{\phi }_{2}\left(t\right):=C+\phi \left(t\right),\hfill \\ {\phi }_{1}\left(t\right):=C-\phi \left(t\right).\hfill \end{array}$

We have

$\underset{t\to \mathrm{\infty }}{lim}{\phi }_{i}\left(t\right)=C,\phantom{\rule{1em}{0ex}}i=1,2$
(11)

and since $C\ge 3/4>1/2$ (i.e., $C>\phi \left({t}_{0}-r\right)$): ${\phi }_{2}\left(t\right)>{\phi }_{1}\left(t\right)>0$ on $\left[{t}_{0}-r,\mathrm{\infty }\right)$. Now, we define

${\omega }^{\ast }:=\left\{\left(t,y\right):t\in \left[{t}_{0}-r,\mathrm{\infty }\right),{\phi }_{1}\left(t\right)

and

$Z:=\left\{\left({t}_{0},y\right),y\in \left[{\phi }_{1}\left({t}_{0}\right),{\phi }_{2}\left({t}_{0}\right)\right]\right\}.$

We verify inequality (6). For $t\ge {t}_{0}$, $\varphi \in {\mathrm{C}}_{r}^{1}$, and $\left(t+\theta ,\varphi \left(\theta \right)\right)\in {\omega }^{\ast }$, $\theta \in \left[-r,0\right)$, with $\varphi \left(0\right)=\delta \left(t\right)={\phi }_{2}\left(t\right)=C+\phi \left(t\right)$, i.e., for

$\begin{array}{r}{\phi }_{1}\left(t+\theta \right)<\varphi \left(\theta \right)<{\phi }_{2}\left(t+\theta \right),\phantom{\rule{1em}{0ex}}\theta \in \left[-r,0\right),\\ \varphi \left(0\right)={\phi }_{2}\left(t\right)=C+\phi \left(t\right),\end{array}$

we have

$\begin{array}{rl}F\left(t,\varphi \right)-{\delta }^{\prime }\left(t\right)& =-c\left(t\right)\varphi \left(-r\right)-{\phi }_{2}^{\prime }\left(t\right)\\ =-c\left(t\right)\varphi \left(-r\right)+\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ >-c\left(t\right){\phi }_{2}\left(t-r\right)+\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =-c\left(t\right)\left[C+\phi \left(t-r\right)\right]+\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =-c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t-r}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)+\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\left[\mathrm{e}-exp\left(\mathrm{e}{\int }_{t-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right]\\ \ge \left[\text{we use (8)}\right]\\ \ge c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\left[\mathrm{e}-exp\left(\mathrm{e}\cdot \frac{1}{\mathrm{e}}\right)\right]=0.\end{array}$

Therefore, $F\left(t,\varphi \right)>{\delta }^{\prime }\left(t\right)$ and (6) holds. Inequality (7) holds as well because for $t\ge {t}_{0}$, $\varphi \in {\mathrm{C}}_{r}^{1}$ and $\left(t+\theta ,\varphi \left(\theta \right)\right)\in {\omega }^{\ast }$, $\theta \in \left[-r,0\right)$, with $\varphi \left(0\right)=\rho \left(t\right)={\phi }_{1}\left(t\right)=C-\phi \left(t\right)$, i.e., for

$\begin{array}{r}{\phi }_{1}\left(t+\theta \right)<\varphi \left(\theta \right)<{\phi }_{2}\left(t+\theta \right),\phantom{\rule{1em}{0ex}}\theta \in \left[-r,0\right),\\ \varphi \left(0\right)={\phi }_{1}\left(t\right)=C-\phi \left(t\right)\end{array}$

we have

$\begin{array}{rl}F\left(t,\varphi \right)-{\rho }^{\prime }\left(t\right)& =-c\left(t\right)\varphi \left(-r\right)-{\phi }_{1}^{\prime }\left(t\right)\\ =-c\left(t\right)\varphi \left(-r\right)+\left[-\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right]\\ <-c\left(t\right){\phi }_{1}\left(t-r\right)-\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =-c\left(t\right)\left[C-\phi \left(t-r\right)\right]-\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =-c\left(t\right)\left[2C-exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t-r}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right]-\mathrm{e}c\left(t\right)exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\\ =c\left(t\right)\left[-2C-\mathrm{e}exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)+exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t-r}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right]\\ =c\left(t\right)\left[-2C+exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\left(-\mathrm{e}+exp\left(\mathrm{e}{\int }_{t-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\right)\right]\\ \le \left[\text{we use (8)}\right]\\ \le c\left(t\right)\left[-2C+exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{t}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right)\left(-\mathrm{e}+exp\left(\mathrm{e}\cdot \frac{1}{\mathrm{e}}\right)\right)\right]\\ =-2c\left(t\right)C<0.\end{array}$

Now, we will specify the system of initial functions ${p}_{Z,{\omega }^{\ast }}$ mentioned in Theorem 4. For

$z=\left({t}_{0},{y}^{\ast }\right)\in Z,$

(${y}^{\ast }$ varies within the interval $\left[{\phi }_{1}\left({t}_{0}\right),{\phi }_{2}\left({t}_{0}\right)\right]$), we define

$p\left(z\right)\left(\theta \right):={y}^{\ast }+\mu \theta ,\phantom{\rule{1em}{0ex}}\theta \in \left[-r,0\right],|\mu |\le m,$

i.e., every initial function is a linear function described by formula (10). Since ${\phi }^{\prime }\left(t\right)<0$, $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$, for the system of functions ${p}_{Z,{\omega }^{\ast }}$, both assumptions (i), (ii) in Definition 3 are valid. Indeed, this property implies

${\phi }_{2}^{\prime }\left(t\right)={\phi }^{\prime }\left(t\right)<0\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{\phi }_{1}^{\prime }\left(t\right)=-{\phi }^{\prime }\left(t\right)>0$

if $t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$,

$\underset{\left[{t}_{0}-r,{t}_{0}\right]}{min}\left\{|{\phi }_{2}^{\prime }\left(t\right)|\right\}=\underset{\left[{t}_{0}-r,{t}_{0}\right]}{min}\left\{|{\phi }_{1}^{\prime }\left(t\right)|\right\}=m$

and

$-m\le {\phi }_{i}^{\prime }\left(t\right)\le m,\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,{t}_{0}\right],i=1,2.$

Therefore, every segment

$y\left(t\right)={y}^{\ast }+\mu t,\phantom{\rule{1em}{0ex}}|\mu |\le m,t\in \left[{t}_{0}-r,{t}_{0}\right]$

satisfies inequalities

${\phi }_{2}\left(t\right)
(12)

if ${y}^{\ast }\in intZ$, $t\in \left[{t}_{0}-r,{t}_{0}\right]$. Consequently, (i) in Definition 3 holds.

If ${y}^{\ast }\in \partial Z$, then inequalities (12) hold if $t\in \left[{t}_{0}-r,{t}_{0}\right)$ and (ii) is also valid.

Theorem 4 is also valid for this system. Consequently, there exists a point

${z}_{0}=\left({t}_{0},{y}_{0}^{\ast }\right)\in Z\cap {\omega }^{\ast }$

such that

$\left(t,y\left({t}_{0},p\left({z}_{0}\right)\right)\left(t\right)\right)\in {\omega }^{\ast },\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right),$

i.e.,

${\phi }_{1}\left(t\right)
(13)

From inequalities (13) we conclude

$\underset{t\to +\mathrm{\infty }}{lim}y\left({t}_{0},p\left({z}_{0}\right)\right)\left(t\right)=C$

because of (11). This solution is positive, i.e.,

$y\left({t}_{0},p\left({z}_{0}\right)\right)\left(t\right)>0,\phantom{\rule{1em}{0ex}}t\in \left[{t}_{0}-r,\mathrm{\infty }\right)$

due to positivity of ${\phi }_{1}\left(t\right)$.

Since the statement of the theorem holds for initial functions with $\mu =0$, we can also conclude that due to linearity of equation (1), every constant positive initial function defines a positive solution.

If the solution $y\left({t}_{0},p\left({z}_{0}\right)\right)\left(t\right)$ does not coincide with the solution $y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)$, i.e., if ${y}_{0}^{\ast }\ne K$, then due to linearity, the sum or the difference of $y\left({t}_{0},p\left({z}_{0}\right)\right)\left(t\right)$ and a suitable positive solution generated by a positive constant initial function gives the solution $y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)$. It is only necessary to show that the solution $y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)$ will be again positive. The condition for positivity is

${\phi }_{1}\left({t}_{0}-r\right)>{\phi }_{2}\left({t}_{0}\right)-{\phi }_{1}\left({t}_{0}\right)$

or, after some computations,

$4C\ge 1+2exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{{t}_{0}}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right).$

The last inequality holds since

$4C\ge 3>1+2exp\left(-\mathrm{e}{\int }_{{t}_{0}-r}^{{t}_{0}}c\left(s\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s\right).$

We finish the proof with the conclusion that the existence of positive limit ${K}^{\ast }\left({\phi }_{K,\mu }\right)$ is proved. □

Theorem 6 Let all assumptions of Theorem  5 be valid. Then the solution $y\left({t}_{0},{\phi }_{K,\mu }\right)$ of equation (1) is a positive dominant solution.

Proof Every positive solution $y=y\left(t\right)$ of equation (1) on $\left[{t}_{0}-r,+\mathrm{\infty }\right)$ is decreasing and therefore its limit ${lim}_{t\to \mathrm{\infty }}y\left(t\right)$ exists and is finite. The value of the limit can be either positive or zero. In the case of solution $y\left({t}_{0},{\phi }_{K,\mu }\right)$ of equation (1), we have

$\underset{t\to \mathrm{\infty }}{lim}y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)={K}^{\ast }\left({\phi }_{K,\mu }\right)>0.$

By Theorem 1 there must exist another positive solution $y=Y\left(t\right)$ of equation (1) on $\left[{t}_{0}-r,+\mathrm{\infty }\right)$ such that either

$\underset{t\to \mathrm{\infty }}{lim}\frac{y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)}{Y\left(t\right)}=0$
(14)

or

$\underset{t\to \mathrm{\infty }}{lim}\frac{Y\left(t\right)}{y\left({t}_{0},{\phi }_{K,\mu }\right)\left(t\right)}=0.$
(15)

The first possibility (14) is impossible since in such a case there should exist a positive solution $Y\left(t\right)$ of equation (1) on $\left[{t}_{0}-r,+\mathrm{\infty }\right)$ with the property

$\underset{t\to \mathrm{\infty }}{lim}Y\left(t\right)=\mathrm{\infty },$

which is obviously false. The possibility (15) remains. Then, by Definition 1, a solution $y\left({t}_{0},{\phi }_{K,\mu }\right)$ of equation (1) is a dominant solution on $\left[{t}_{0}-r,+\mathrm{\infty }\right)$. □

Remark 2 It is well known [, Theorem 3.3.1] that every continuous initial function φ, defined on the interval $\left[{t}_{0}-r,{t}_{0}\right]$, such that $\phi \left({t}_{0}\right)>0$, $\phi \left({t}_{0}\right)\ge \phi \left(s\right)$, $s\in \left[{t}_{0}-r,{t}_{0}\right)$, defines a positive solution on $\left[{t}_{0}-r,+\mathrm{\infty }\right)$ if the assumptions of Theorem 5 hold. But it is not known if such a solution is dominant or subdominant or if its limit for $t\to \mathrm{\infty }$ is positive or equals zero. The statements of Theorems 5 and 6 give new results in this direction since, for a class of linear initial positive functions (not fully covered by known results), positivity of generated solutions (including positivity of their limits) is established together with dominant character of their asymptotical behavior. It is a problem for future investigation to find values of positive limits of solutions considered in the paper (e.g., by methods used in ) or to enlarge the presented method to more general classes of equations and initial functions.

The topic considered in this paper is also connected with problems on the existence of bounded solutions. We refer, e.g., to recent papers  and to the references therein.

## References

1. Diblík J: Behaviour of solutions of linear differential equations with delay. Arch. Math. 1998, 34(1):31–47.

2. Diblík J, Koksch N:Positive solutions of the equation $\stackrel{˙}{x}\left(t\right)=-c\left(t\right)x\left(t-\tau \right)$ in the critical case. J. Math. Anal. Appl. 2000, 250: 635–659. 10.1006/jmaa.2000.7008

3. Agarwal RP, Berezansky L, Braverman E, Domoshnitsky A: Nonoscillation Theory of Functional Differential Equations and Applications. Springer, Berlin; 2011.

4. Agarwal RP, Bohner M, Li W-T: Nonoscillation and Oscillation: Theory for Functional Differential Equations. Dekker, New York; 2004.

5. Driver RD: Ordinary and Delay Differential Equations. Springer, Berlin; 1977.

6. Erbe LH, Kong Q, Zhang BG: Oscillation Theory for Functional Differential Equations. Dekker, New York; 1994.

7. Gopalsamy K: Stability and Oscillations in Delay Differential Equations of Population Dynamics. Kluwer Academic, Dordrecht; 1992.

8. Györi I, Ladas G: Oscillation Theory of Delay Differential Equations. Clarendon Press, Oxford; 1991.

9. Kolmanovskii V, Myshkis A Mathematics and Its Application (Soviet Series) 85. In Applied Theory of Functional Differential Equations. Kluwer Academic, Dordrecht; 1992.

10. Čermák J: On a linear differential equation with a proportional delay. Math. Nachr. 2007, 280: 495–504. 10.1002/mana.200410498

11. Diblík J: A criterion for existence of positive solutions of systems of retarded functional differential equations. Nonlinear Anal. 1999, 38: 327–339. 10.1016/S0362-546X(98)00199-0

12. Diblík J, Kúdelčíková M:Two classes of asymptotically different positive solutions of the equation $\stackrel{˙}{y}\left(t\right)=-f\left(t,{y}_{t}\right)$. Nonlinear Anal. 2009, 70: 3702–3714. 10.1016/j.na.2008.07.026

13. Diblík J, Kúdelčíková M: Two classes of positive solutions of first order functional differential equations of delayed type. Nonlinear Anal. 2012, 75: 4807–4820. 10.1016/j.na.2012.03.030

14. Diblík J, Růžičková M: Asymptotic behavior of solutions and positive solutions of differential delayed equations. Funct. Differ. Equ. 2007, 14(1):83–105.

15. Dorociaková B, Kubjatková M, Olach R: Existence of positive solutions of neutral differential equations. Abstr. Appl. Anal. 2012., 2012: Article ID 307968

16. Dorociaková B, Najmanová A, Olach R: Existence of nonoscillatory solutions of first-order neutral differential equations. Abstr. Appl. Anal. 2011., 2011: Article ID 346745

17. Koplatadze RG, Chanturia TA: On the oscillatory and monotonic solutions of first order differential equation with deviating arguments. Differ. Uravn. 1982, 18: 1463–1465. (In Russian)

18. Kozakiewicz E: Über das asymptotische Verhalten der nichtschwingenden Lösungen einer linearen Differentialgleichung mit nacheilendem Argument. Wiss. Z. Humboldt Univ. Berlin, Math. Nat. R. 1964, 13(4):577–589.

19. Kozakiewicz E: Zur Abschätzung des Abklingens der nichtschwingenden Lösungen einer linearen Differentialgleichung mit nacheilendem Argument. Wiss. Z. Humboldt Univ. Berlin, Math. Nat. R. 1966, 15(5):675–676.

20. Kozakiewicz E: Über die nichtschwingenden Lösungen einer linearen Differentialgleichung mit nacheilendem Argument. Math. Nachr. 1966, 32(1/2):107–113.

21. 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: 279–313. (Krakow 1948)

22. Rybakowski KP: Ważewski’s principle for retarded functional differential equations. J. Differ. Equ. 1980, 36: 117–138. 10.1016/0022-0396(80)90080-7

23. Hale JK, Lunel SMV: Introduction to Functional Differential Equations. Springer, Berlin; 1993.

24. Lakshmikantham V, Leela S: Differential and Integral Inequalities, Vol. I - Ordinary Differential Equations. Academic Press, New York; 1969.

25. Arino O, Pituk M: More on linear differential systems with small delays. J. Differ. Equ. 2001, 170: 381–407. 10.1006/jdeq.2000.3824

26. Bereketoğlu H, Huseynov A: Convergence of solutions of nonhomogeneous linear difference systems with delays. Acta Appl. Math. 2010, 110(1):259–269. 10.1007/s10440-008-9404-2

27. Györi I, Horváth L: Asymptotic constancy in linear difference equations: limit formulae and sharp conditions. Adv. Differ. Equ. 2010., 2010: Article ID 789302. doi:10.1155/2010/789302

28. Stević S: Existence of bounded solutions of some systems of nonlinear functional differential equations with complicated deviating argument. Appl. Math. Comput. 2012, 218: 9974–9979. 10.1016/j.amc.2012.03.085

29. Stević S: Bounded solutions of some systems of nonlinear functional differential equations with iterated deviating argument. Appl. Math. Comput. 2012, 218: 10429–10434. 10.1016/j.amc.2012.03.103

30. Stević S: Globally bounded solutions of a system of nonlinear functional differential equations with iterated deviating argument. Appl. Math. Comput. 2012, 219: 2180–2185. 10.1016/j.amc.2012.08.063

## Acknowledgements

This research was supported by the Grant No 1/0090/09 of the Grant Agency of Slovak Republic (VEGA).

## Author information

Authors

### Corresponding author

Correspondence to Josef Diblík.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors have made the same contribution. All 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.

Reprints and Permissions

Diblík, J., Kúdelčíková, M. Initial functions defining dominant positive solutions of a linear differential equation with delay. Adv Differ Equ 2012, 213 (2012). https://doi.org/10.1186/1687-1847-2012-213

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2012-213

### Keywords

• linear differential equation with delay
• initial function
• retract method
• dominant solution
• asymptotic behavior of solution 