Skip to main content

Theory and Modern Applications

Positive solutions to nonlinear first-order impulsive dynamic equations on time scales

Abstract

By using the classical fixed point theorem for operators on a cone, in this paper, some results of single and multiple positive solutions to a class of nonlinear first-order periodic boundary value problems of impulsive dynamic equations on time scales are obtained. It is worth noticing that the nonlinearity f and the pulse function in this paper are not positive.

1 Introduction

The theory of dynamic equations on time scales has been a new important mathematical branch [13] since it was initiated by Hilger [4]. At the same time, the boundary value problems of impulsive dynamic equations on time scales have received considerable attention [521] since the theory of impulsive differential equations is much richer than the corresponding theory of differential equations without impulse effects [2224].

In [18], by using the Guo-Krasnoselskii fixed point theorem, when the nonlinearity f and the pulse function are positive, Wang considered the existence of one or two positive solutions to the following PBVPs of impulsive dynamic equations on time scales:

$$ \left \{ \begin{array}{l} x^{\bigtriangleup}(t)+p(t)x(\sigma(t))=f(t,x(\sigma(t))),\quad t\in J:= [ 0,T ]_{\mathbb{T}}, t\neq t_{k}, \\ x(t_{k}^{+})-x(t_{k}^{-})=I_{k}(x(t_{k}^{-})), \quad k=1,2,\ldots,m, \\ x(0)=x(\sigma(T)). \end{array} \right . $$
(1.1)

In [20], by using the Schaefer fixed point theorem, Wang and Weng obtained the existence of at least one solution to the problem (1.1).

Motivated by the results mentioned above, in this paper, we shall obtain the existence of single and multiplicity positive solutions to the problem (1.1) where \(\mathbb{T}\) is an arbitrary time scale, \(T>0\) is fixed, \(0,T\in\mathbb{T}\), \(f\in C ( J\times [ 0,\infty ) ,\mathbb{R} ) \), \(I_{k}\in C ( [ 0,\infty ) ,\mathbb{R} ) \), \(p: [ 0,T ]_{\mathbb{T}}\rightarrow(0,\infty)\) is right-dense continuous, \(t_{k}\in ( 0,T )_{\mathbb{T}}\), \(0< t_{1}<\cdots<t_{m}<T\), and for each \(k=1,2,\ldots,m\), \(x(t_{k}^{+})=\lim_{h\rightarrow0^{+}}x(t_{k}+h)\) and \(x(t_{k}^{-})=\lim_{h\rightarrow0^{-}}x(t_{k}+h)\) which represent the right and left limits of \(x(t)\) at \(t=t_{k}\). The main tool used in this paper is the classical fixed point theorem for operators on a cone.

It is worth noticing that: (i) The nonlinearity f and the pulse function in this paper are not positive, so our hypotheses on the nonlinearity f and the pulse function are weaker than condition of [18]. (ii) For the case \(I_{k}(x)\equiv0\), \(k=1,2,\ldots,m \), the problem (1.1) reduces to the problem studied by [25, 26]; for the case \(p(t)=0 \), the problem (1.1) reduces to the problem studied by [12, 19]; for the case \(p(t)=0\) and \(\mathbb{T}=\mathbb {Z}\), the problem (1.1) reduces to the problem studied by [27]. This paper’s ideas come from [28].

Throughout this work, we assume the knowledge of time scales and time-scale notation, first introduced by Hilger [4]. For more information on time scales, please see the texts by Bohner and Peterson [2, 3].

In the remainder of this section, we state the following fixed point theorem [29].

Theorem 1.1

[29]

Let X be a Banach space and K is a cone in X. Assume \(\Omega_{1}\), \(\Omega_{2}\) are open subsets of X with \(0\in \Omega_{1}\), \(\overline{\Omega}_{1}\subset\Omega_{2}\). Let

$$\Phi:K\cap(\overline{\Omega}_{2}\setminus\Omega_{1}) \rightarrow K $$

be a continuous and completely continuous operator such that

  1. (i)

    \(\Vert \Phi x\Vert \leq \Vert x\Vert \) for \(x\in K\cap \partial\Omega_{1}\);

  2. (ii)

    there exists \(e\in K\setminus\{0\}\) such that \(x\neq\Phi x+\lambda e\) for \(x\in K\cap\partial\Omega_{2}\) and \(\lambda>0\).

Then Φ has a fixed point in \(K\cap(\overline{\Omega}_{2}\setminus \Omega_{1})\).

Remark 1.1

In Theorem 1.1, if (i) and (ii) are replaced by

  1. (i)

    \(\Vert \Phi x\Vert \leq \Vert x\Vert \) for \(x\in K\cap \partial\Omega_{2}\);

  2. (ii)

    there exists \(e\in K\setminus\{0\}\) such that \(x\neq\Phi x+\lambda e\) for \(x\in K\cap\partial\Omega_{1}\) and \(\lambda>0\),

then Φ has also a fixed point in \(K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\).

2 Main results

Throughout the rest of this paper, we always assume that the points of impulse \(t_{k}\) are right-dense for each \(k=1,2,\ldots,m\).

We define

$$\begin{aligned} PC =&\bigl\{ x\in\bigl[0,\sigma(T)\bigr]_{\mathbb{T}}\rightarrow\mathbb {R}:x_{k}\in C(J_{k},\mathbb{R}), k=0,1,2,\ldots,m, \text{and there exist} \\ &x\bigl(t_{k}^{+}\bigr)\text{ and }x\bigl(t_{k}^{-} \bigr)\text{ with }x\bigl(t_{k}^{-} \bigr)=x(t_{k}), k=1,2,\ldots,m\bigr\} , \end{aligned}$$

where \(x_{k}\) is the restriction of x to \(J_{k}= \left .( t_{k},t_{k+1} ] \right ._{\mathbb{T}}\subset \left .(0,\sigma(T)] \right ._{\mathbb{T}}\), \(k=1,2,\ldots,m\), and \(J_{0}=[0,t_{1}]_{\mathbb{T}}\), \(t_{m+1}=\sigma(T)\).

Let

$$X= \bigl\{ x:x\in PC, x(0)=x\bigl(\sigma(T)\bigr) \bigr\} $$

with the norm \(\Vert x\Vert =\sup_{ t\in[0,\sigma (T)]_{\mathbb{T}}}\vert x(t)\vert \), then X is a Banach space.

Lemma 2.1

[18]

Suppose \(h:[0,T]_{\mathbb{T}}\rightarrow \mathbb{R}\) is rd-continuous, then x is a solution of

$$x(t)=\int_{0}^{\sigma(T)}G(t,s)h(s)\triangle s+\sum _{k=1}^{m}G(t,t_{k})I_{k} \bigl(x(t_{k})\bigr),\quad t\in\bigl[0,\sigma(T)\bigr]_{\mathbb{T}}, $$

where

$$ G(t,s)= \left\{ \begin{array}{l@{\quad}l} \frac{e_{p}(s,t)e_{p}(\sigma(T),0)}{e_{p}(\sigma(T),0)-1}, & 0\leq s\leq t\leq \sigma(T), \\ \frac{e_{p}(s,t)}{e_{p}(\sigma(T),0)-1}, & 0\leq t< s\leq\sigma(T), \end{array} \right. $$

if and only if x is a solution of the boundary value problem

$$\left \{ \begin{array}{l} x^{\bigtriangleup}(t)+p(t)x(\sigma(t))=h(t),\quad t\in J, t\neq t_{k}, \\ x(t_{k}^{+})-x(t_{k}^{-})=I_{k}(x(t_{k}^{-})),\quad k=1,2,\ldots,m, \\ x(0)=x(\sigma(T)). \end{array} \right . $$

Lemma 2.2

Let \(G(t,s)\) be defined as in Lemma  2.1, then

$$A=\frac{1}{e_{p}(\sigma(T),0)-1}\leq G(t,s)\leq\frac{e_{p}(\sigma(T),0)}{e_{p}(\sigma(T),0)-1}=B\quad \textit{for all }t,s \in\bigl[0,\sigma(T)\bigr]_{\mathbb{T}}. $$

Remark 2.1

Let \(G(t,s)\) be defined as in Lemma 2.1, then \(\int_{0}^{\sigma(T)}G(t,s)p(s)\triangle s=1\).

Let

$$K= \bigl\{ x\in X:x(t)\geq\delta \Vert x\Vert , t\in \bigl[0,\sigma (T) \bigr]_{\mathbb{T}} \bigr\} , $$

where \(\delta=\frac{A}{B}\in(0,1)\). It is not difficult to verify that K is a cone in X.

For convenience, we denote

$$\begin{aligned}& f^{0}=\lim_{ x\rightarrow0^{+}}\sup\max_{t\in [ 0,T ] _{\mathbb{T}}} \frac{f(t,x)}{p(t)x},\qquad I^{0}(k)=\lim_{ x\rightarrow 0^{+}}\sup \frac{I_{k}(x)}{x}; \\& f_{0}=\lim_{ x\rightarrow0^{+}}\inf\min_{t\in [ 0,T ] _{\mathbb{T}}} \frac{f(t,x)}{p(t)x},\qquad I_{0}(k)=\lim_{ x\rightarrow 0^{+}}\inf \frac{I_{k}(x)}{x}; \\& f^{\infty}=\lim_{ x\rightarrow\infty}\sup\max_{t\in [ 0,T ] _{\mathbb{T}}} \frac{f(t,x)}{p(t)x},\qquad I^{\infty}(k)=\lim_{ x\rightarrow\infty}\sup \frac{I_{k}(x)}{x}; \\& f_{\infty}=\lim_{ x\rightarrow\infty}\inf\min_{t\in [ 0,T ] _{\mathbb{T}}} \frac{f(t,x)}{p(t)x},\qquad I_{\infty}(k)=\lim_{ x\rightarrow\infty}\inf \frac{I_{k}(x)}{x}; \\& f^{u}=\sup_{x\in[\delta u,u]}\max_{t\in [ 0,T ] _{\mathbb {T}}} \frac{f(t,x)}{p(t)x},\qquad I^{u}(k)=\sup_{x\in[\delta u,u]} \frac{I_{k}(x)}{x}; \\& f_{u}=\inf_{x\in[\delta u,u]}\min_{t\in [ 0,T ] _{\mathbb {T}}} \frac{f(t,x)}{p(t)x},\qquad I_{u}(k)=\inf_{x\in[\delta u,u]} \frac{I_{k}(x)}{x}. \end{aligned}$$

Now we state our main results.

Theorem 2.1

Suppose there exist \(0<\alpha<\beta\) such that

$$f(t,x)\geq0\quad \textit{and}\quad I_{k}(x)\geq0,\quad t\in [ 0,T ] _{\mathbb{T}}, x\in[\delta\alpha,\beta]. $$

Then the problem (1.1) has at least one positive solution if one of the following two conditions holds:

  1. (i)

    \(f_{\alpha}+A\sum_{k=1}^{m}I_{\alpha}(k)\geq1\), \(f^{\beta}+B\sum_{k=1}^{m}I^{\beta}(k)\leq1\);

  2. (ii)

    \(f^{\alpha}+B\sum_{k=1}^{m}I^{\alpha}(k)\leq1\), \(f_{\beta}+A\sum_{k=1}^{m}I_{\beta}(k)\geq1\).

Proof

We define an operator \(\Phi:K\rightarrow X\) by

$$\Phi(x) (t)=\int_{0}^{\sigma(T)}G(t,s)f\bigl(s,x\bigl( \sigma(s)\bigr)\bigr)\triangle s+\sum_{k=1}^{m}G(t,t_{k})I_{k} \bigl(u(t_{k})\bigr),\quad t\in\bigl[0,\sigma(T)\bigr]_{\mathbb{T}}. $$

It is obvious that fixed points of Φ are solutions of the problem (1.1). Similar to [18], \(\Phi:K\rightarrow X\) is completely continuous.

Define the open sets

$$\begin{aligned}& \Omega_{1} = \bigl\{ x\in X:\Vert x\Vert < \alpha\bigr\} , \\& \Omega_{2} = \bigl\{ x\in X:\Vert x\Vert <\beta\bigr\} . \end{aligned}$$

Firstly, we claim that \(\Phi:K\cap(\overline{\Omega}_{2}\setminus \Omega _{1})\rightarrow K\).

In fact, for any \(x\in K\cap(\overline{\Omega}_{2}\setminus\Omega _{1})\), we have \(\delta\alpha\leq x\leq\beta\), by Lemma 2.2

$$\Vert \Phi x\Vert \leq B \Biggl[ \int_{0}^{\sigma(T)}f \bigl(s,x\bigl(\sigma (s)\bigr)\bigr)\triangle s+\sum _{k=1}^{m}I_{k}\bigl(x(t_{k}) \bigr) \Biggr] $$

and

$$\begin{aligned} ( \Phi x ) (t) =&\int_{0}^{\sigma(T)}G(t,s)h_{x}(s) \triangle s+\sum_{k=1}^{m}G(t,t_{k})I_{k} \bigl(x(t_{k})\bigr) \\ \geq&A \Biggl[ \int_{0}^{\sigma(T)}f\bigl(s,x\bigl( \sigma(s)\bigr)\bigr)\triangle s+\sum_{k=1}^{m}I_{k} \bigl(x(t_{k})\bigr) \Biggr] . \end{aligned}$$

So

$$( \Phi x ) (t)\geq\frac{A}{B}\Vert \Phi x\Vert =\delta \Vert \Phi x \Vert ,\quad \textit{i.e.},\Phi x\in K. $$

Therefore, \(\Phi:K\cap(\overline{\Omega}_{2}\setminus\Omega _{1})\rightarrow K\).

Secondly, we prove the result provided condition (i) holds.

Since

$$f(t, x)\geq f_{\alpha}p(t)x,\qquad I_{k}(x)\geq I_{\alpha}(k)x,\quad k=1,2,\ldots,m, x\in[\delta\alpha,\alpha]. $$

Let \(e\equiv1\), then \(e\in K\). We assert that

$$ x\neq\Phi x+\lambda e\quad \text{for }x\in K\cap\partial\Omega_{1} \text{ and }\lambda>0. $$
(2.1)

If not, there would exist \(x_{0}\in K\cap\partial\Omega_{1}\) and \(\lambda _{0}>0 \) such that \(x_{0}=\Phi x_{0}+\lambda_{0}e\).

Since \(x_{0}\in K\cap\partial\Omega_{1}\), then \(\delta\alpha=\delta \Vert x_{0}\Vert \leq x_{0}(t)\leq\alpha\). Let \(\mu=\min_{t\in[0,\sigma (T)]_{\mathbb{T}}}x_{0}(t)\), then for any \(t\in[0,\sigma(T)]_{\mathbb{T}}\), by the first inequality of (i) we have

$$\begin{aligned} x_{0}(t) =& ( \Phi x_{0} ) (t)+\lambda_{0} \\ =&\int_{0}^{\sigma(T)}G(t,s)f\bigl(s, x_{0} \bigl(\sigma(s)\bigr)\bigr)\triangle s+\sum_{k=1}^{m}G(t,t_{k})I_{k} \bigl(x_{0}(t_{k})\bigr)+\lambda_{0} \\ \geq&\int_{0}^{\sigma(T)}G(t,s)f_{\alpha}p(s)x_{0}\bigl(\sigma(s)\bigr)\triangle s+A\sum _{k=1}^{m}I_{\alpha}(k)x(t_{k})+ \lambda_{0} \\ \geq&\mu \Biggl[ f_{\alpha}+A\sum_{k=1}^{m}I_{\alpha}(k) \Biggr] +\lambda _{0} \\ \geq&\mu+\lambda_{0}. \end{aligned}$$

This implies that \(\mu\geq\mu+\lambda_{0}\), and this is a contradiction. Therefore (2.1) holds.

On the other hand, by using the second inequality of (i), we have

$$f(t, x)\leq \Biggl[ 1-B\sum_{k=1}^{m}I^{\beta}(k) \Biggr] p(t)x,\quad t\in[0,T]_{\mathbb{T}}, x\in [ \delta\beta,\beta ] . $$

We assert that

$$ \Vert \Phi x\Vert \leq \Vert x\Vert \quad \text{for }x\in K\cap \partial \Omega_{2}. $$
(2.2)

In fact, for any \(x\in K\cap\partial\Omega_{2}\), then \(\delta\beta =\delta \Vert x\Vert \leq x(t)\leq\beta\), we have

$$\begin{aligned} ( \Phi x ) (t) =&\int_{0}^{\sigma(T)}G(t,s)f\bigl(s, x \bigl(\sigma (s)\bigr)\bigr)\triangle s+\sum_{k=1}^{m}G(t,t_{k})I_{k} \bigl(x(t_{k})\bigr) \\ \leq& \Biggl( 1-B\sum_{k=1}^{m}I^{\beta}(k) \Biggr) \int_{0}^{\sigma (T)}G(t,s)p(s)x\bigl(\sigma(s) \bigr)\triangle s+B\sum_{k=1}^{m}I^{\beta}(k)x(t_{k}) \\ \leq& \Biggl[ \Biggl( 1-B\sum_{k=1}^{m}I^{\beta}(k) \Biggr) \int_{0}^{\sigma (T)}G(t,s)p(s)\triangle s+B\sum _{k=1}^{m}I^{\beta}(k) \Biggr] \Vert x\Vert \\ =&\Vert x\Vert . \end{aligned}$$

Therefore, \(\Vert \Phi x\Vert \leq \Vert x\Vert \).

It follows from Remark 1.1, (2.1), and (2.2) that Φ has a fixed point \(x\in K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\).

In a similar way, we can prove the result by Theorem 1.1 if condition (ii) holds. □

Theorem 2.2

Suppose there exist \(0<\alpha<\rho<\beta\) such that

$$f(t,x)\geq0\quad \textit{and}\quad I_{k}(x)\geq0, \quad t\in [ 0,T ] _{\mathbb{T}}, x\in[\delta\alpha,\beta]. $$

Then the problem (1.1) has at least two positive solution if one of the following two conditions holds:

  1. (i)

    \(f_{\alpha}+A\sum_{k=1}^{m}I_{\alpha}(k)\geq1\), \(f^{\rho}+B\sum_{k=1}^{m}I^{\rho}(k)<1\), \(f_{\beta}+A\sum_{k=1}^{m}I_{\beta}(k)\geq1\);

  2. (ii)

    \(f^{\alpha}+B\sum_{k=1}^{m}I^{\alpha}(k)\leq1\), \(f_{\rho}+A\sum_{k=1}^{m}I_{\rho}(k)>1\), \(f^{\beta}+B\sum_{k=1}^{m}I^{\beta}(k)\leq1\).

Proof

We only prove the result when condition (i) holds. In a similar way we can obtain the result if condition (ii) holds.

Define \(\Omega_{1}\), \(\Omega_{2}\) as in Theorem 2.1 and define

$$\Omega_{3}=\bigl\{ x\in X:\Vert x\Vert < \rho\bigr\} . $$

Similar to the proof of Theorem 2.1, we can prove that

$$\begin{aligned}& x\neq\Phi x+\lambda e\quad \text{for }x\in K\cap\partial\Omega_{1} \text{ and } \lambda>0, \end{aligned}$$
(2.3)
$$\begin{aligned}& x\neq\Phi x+\lambda e\quad \text{for }x\in K\cap\partial\Omega_{2} \text{ and } \lambda>0, \end{aligned}$$
(2.4)

where \(e\equiv1\in K\), and

$$ \Vert \Phi x\Vert < \Vert x\Vert \quad \text{for }x\in K\cap \partial \Omega_{3}. $$
(2.5)

Thus we can obtain the existence of two positive solutions \(x_{1}\) and \(x_{2}\) by using Theorem 1.1 and Remark 1.1, respectively. It is easy to see that \(\alpha\leq \Vert x_{1}\Vert <\rho<\Vert x_{2}\Vert \leq \beta\). □

Theorem 2.3

Suppose that there exist positive \(0<\alpha _{1}<\beta _{1}<\alpha_{2}<\beta_{2}<\cdots<\alpha_{n}<\beta_{n}\) such that

$$f(t,x)\geq0\quad \textit{and} \quad I_{k}(x)\geq0,\quad t\in [ 0,T ] _{\mathbb{T}}, x\in[\delta\alpha_{1},\beta_{n}]. $$

Then the problem (1.1) has at least n positive solutions \(x_{i}\) (\(1\leq i\leq n\)) satisfying \(\alpha_{i}\leq \Vert x_{i}\Vert \leq \beta_{i}\), \(1\leq i\leq n\), if one of the following two conditions holds:

  1. (i)

    \(f_{\alpha_{i}}+A\sum_{k=1}^{m}I_{\alpha_{i}}(k)\geq1\), \(f^{\beta _{i}}+B\sum_{k=1}^{m}I^{\beta_{i}}(k)\leq1\);

  2. (ii)

    \(f^{\alpha_{i}}+B\sum_{k=1}^{m}I^{\alpha_{i}}(k)\leq1\), \(f_{\beta _{i}}+A\sum_{k=1}^{m}I_{\beta_{i}}(k)\geq1\).

Remark 2.2

In Theorem 2.3, assume (i) and (ii) are replaced by

  1. (i)

    \(f_{\alpha_{i}}+A\sum_{k=1}^{m}I_{\alpha_{i}}(k)>1\), \(f^{\beta _{i}}+B\sum_{k=1}^{m}I^{\beta_{i}}(k)<1\);

  2. (ii)

    \(f^{\alpha_{i}}+B\sum_{k=1}^{m}I^{\alpha_{i}}(k)<1\), \(f_{\beta _{i}}+A\sum_{k=1}^{m}I_{\beta_{i}}(k)>1\).

Then the problem (1.1) has at least \(2n-1\) positive solutions.

3 Application

In this section, we are going to apply our main existence results obtained in Section 2 to some illustrating examples.

Theorem 3.1

Suppose that \(f(t,x)\geq0\) and \(I_{k}(x)\geq0\), \(t\in [ 0,T ] _{\mathbb{T}}\), \(x\in\mathbb{R}^{+}=[ 0,\infty) \). Then the problem (1.1) has at least one positive solution if one of the following two conditions holds:

  1. (i)

    \(f_{0}+A\sum_{k=1}^{m}I_{0}(k)>1\), \(f^{\infty}+B\sum_{k=1}^{m}I^{\infty}(k)<1\);

  2. (ii)

    \(f^{0}+B\sum_{k=1}^{m}I^{0}(k)<1\), \(f_{\infty}+A\sum_{k=1}^{m}I_{\infty}(k)>1\).

Proof

It is a direct consequence of Theorem 2.1 taking α small enough and β large enough, respectively. □

In particular, we have the following results, the main results of [18].

Corollary 3.1

Suppose that \(f(t,x)\geq0\) and \(I_{k}(x)\geq0\), \(t\in [ 0,T ] _{\mathbb{T}}\), \(x\in\mathbb{R}^{+}\). Then the problem (1.1) has at least one positive solution if one of the following two conditions holds:

  1. (i)

    \(f_{0}=\infty\) or \(\sum_{k=1}^{m}I_{0}(k)=\infty\), \(f^{\infty}=0\), \(\sum_{k=1}^{m}I^{\infty}(k)=0\);

  2. (ii)

    \(f_{\infty}=\infty\) or \(I_{\infty}(k)=\infty\), \(f^{0}=0\), \(\sum_{k=1}^{m}I^{0}(k)=0\).

Example 3.1

We consider the following problem on \(\mathbb{T}\):

$$ \left \{ \begin{array}{l} x^{\bigtriangleup}(t)+p(t)x(\sigma(t))=(x(\sigma(t)))^{a}+(x(\sigma (t)))^{b},\quad t\in J, t\neq t_{k}, \\ x(t_{k}^{+})-x(t_{k}^{-})=(x(t_{k}^{-}))^{a^{\prime }}+(x(t_{k}^{-}))^{b^{\prime}},\quad k=1,2,\ldots,m, \\ x(0)=x(\sigma(T)), \end{array} \right . $$
(3.1)

where \(p: [ 0,T ] _{\mathbb{T}}\rightarrow(0,\infty)\) is right-dense continuous, \(0< a, b<1\), \(0< a^{\prime}, b^{\prime}<1\) or \(a, b>1\), \(a^{\prime}, b^{\prime}>1\).

Then it is easy to see that

$$\begin{aligned}& f_{0}=\infty, \qquad \sum_{k=1}^{m}I_{0}(k)= \infty,\qquad f^{\infty}=0,\qquad \sum_{k=1}^{m}I^{\infty}(k)=0 \quad \\ & \quad \text{for }0< a,b<1,0<a^{\prime },b^{\prime}<1, \\& f_{\infty}=\infty,\qquad I_{\infty}(k)=\infty,\qquad f^{0}=0,\qquad \sum_{k=1}^{m}I^{0}(k)=0 \\ & \quad \text{for }a,b>1,a^{\prime},b^{\prime}>1. \end{aligned}$$

Therefore, by Corollary 3.1, it follows that the problem (3.1) has at least one positive solution.

Theorem 3.2

Suppose that \(f(t,x)\geq0\) and \(I_{k}(x)\geq0\), \(t\in [ 0,T ] _{\mathbb{T}}\), \(x\in\mathbb{R}^{+}\). Then the problem (1.1) has at least two positive solutions if one of the following two conditions holds:

  1. (i)

    \(f_{0}+A\sum_{k=1}^{m}I_{0}(k)>1\), \(f_{\infty}+A\sum_{k=1}^{m}I_{\infty}(k)>1\) and there exists a \(\rho>0\) such that \(\delta\rho\leq x\leq\rho\) implies

    $$f(t,x)/p(t)x+B \sum_{k=1}^{m}I^{\rho}(k)< 1, \quad t\in [ 0,T ] _{\mathbb{T}}; $$
  2. (ii)

    \(f^{0}+B\sum_{k=1}^{m}I^{0}(k)<1\), \(f^{\infty}+B\sum_{k=1}^{m}I^{\infty}(k)<1\) and there exists a \(\rho>0\) such that \(\delta\rho\leq x\leq\rho\) implies

    $$f(t,x)/p(t)x+A \sum_{k=1}^{m}I_{\rho}(k)>1, \quad t\in [ 0,T ] _{\mathbb{T}}. $$

Corollary 3.2

Suppose that \(f(t,x)\geq0\) and \(I_{k}(x)\geq0\), \(t\in [ 0,T ] _{\mathbb{T}}\), \(x\in\mathbb{R}^{+}\). Then the problem (1.1) has at least two positive solutions if one of the following two conditions holds:

  1. (i)

    \(f_{0}=\infty\) or \(\sum_{k=1}^{m}I_{0}(k)=\infty\), \(f_{\infty}=\infty\) or \(I_{\infty}(k)=\infty\), and there exists a \(\rho>0\) such that \(\delta \rho \leq x\leq\rho\) implies

    $$f(t,x)/p(t)x+B \sum_{k=1}^{m}I^{\rho}(k)< 1, \quad t\in [ 0,T ] _{\mathbb{T}}; $$
  2. (ii)

    \(f^{\infty}=0\), \(\sum_{k=1}^{m}I^{\infty}(k)=0\), \(f^{0}=0\), \(\sum_{k=1}^{m}I^{0}(k)=0 \), and there exists a \(\rho>0\) such that \(\delta \rho \leq x\leq\rho\) implies

    $$f(t,x)/p(t)x+A \sum_{k=1}^{m}I_{\rho}(k)>1, \quad t\in [ 0,T ] _{\mathbb{T}}. $$

Example 3.2

We consider the following problem on \(\mathbb{T}\):

$$ \left \{ \begin{array}{l} x^{\bigtriangleup}(t)+p(t)x(\sigma(t))=q(t) [ (x(\sigma (t)))^{a}+(x(\sigma(t)))^{b} ] , \quad t\in J, t\neq t_{k}, \\ x(t_{k}^{+})-x(t_{k}^{-})=a_{k}x(t_{k}^{-}),\quad k=1,2,\ldots,m, \\ x(0)=x(\sigma(T)), \end{array} \right . $$
(3.2)

where \(0< a<1<b\), \(p: [ 0,T ] _{\mathbb{T}}\rightarrow (0,\infty)\) is right-dense continuous and \(q: [ 0,T ] _{\mathbb {T}}\rightarrow (0,\infty)\) is continuous such that

$$\max_{t\in [ 0,T ] _{\mathbb{T}}}\frac{q(t)}{p(t)}< \delta \bigl(1-mBa^{+} \bigr)\sup_{x\in(0,\infty)}\frac{x}{x^{a}+x^{b}} $$

holds, where \(a^{+}=\max\{a_{1},a_{2},\ldots, a_{m}\}\).

In fact, \(f(t,x)=q(t)(x^{a}+x^{b})\), it is easy to see that

$$f_{0}=\lim_{ x\rightarrow0^{+}}\inf\frac{f(t,x)}{x}=\infty,\qquad f_{\infty}=\lim_{ x\rightarrow\infty}\inf\frac{f(t,x)}{x}= \infty ,\quad \text{uniformly for }t\in [ 0,T ] _{\mathbb{T}}. $$

Set

$$F(x)=\frac{x}{x^{a}+x^{b}}, \quad x>0, $$

then \(F(0+)=F(\infty)=0\), so there exists a \(\rho>0\) such that

$$F(\rho)=\sup_{x\in(0,\infty)}F(x). $$

So, for \(\delta\rho\leq x\leq\rho\), we have

$$\begin{aligned} f(t,x)/p(t)x+B \sum_{k=1}^{m}I^{\rho}(k) =&\frac {q(t)}{p(t)} \biggl( \frac{x^{a}+x^{b}}{x} \biggr) +mB a^{+} \\ \leq&\max_{t\in [ 0,T ] _{\mathbb{T}}}\frac{q(t)}{p(t)} \biggl( \frac{\rho^{a}+\rho^{b}}{\delta\rho} \biggr) +mB a^{+}< 1. \end{aligned}$$

Therefore, together with Corollary 3.2, it follows that the problem (3.2) has at least two positive solutions.

References

  1. Agarwal, RP, Bohner, M: Basic calculus on time scales and some of its applications. Results Math. 35, 3-22 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bohner, M, Peterson, A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)

    Book  Google Scholar 

  3. Bohner, M, Peterson, A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)

    Book  MATH  Google Scholar 

  4. Hilger, S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 18, 18-56 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  5. Belarbi, A, Benchohra, M, Ouahab, A: Existence results for impulsive dynamic inclusions on time scales. Electron. J. Qual. Theory Differ. Equ. 2005, 12 (2005)

    MathSciNet  Google Scholar 

  6. Benchohra, M, Henderson, J, Ntouyas, SK, Ouahab, A: On first order impulsive dynamic equations on time scales. J. Differ. Equ. Appl. 6, 541-548 (2004)

    Article  MathSciNet  Google Scholar 

  7. Benchohra, M, Ntouyas, SK, Ouahab, A: Existence results for second-order boundary value problem of impulsive dynamic equations on time scales. J. Math. Anal. Appl. 296, 65-73 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  8. Benchohra, M, Ntouyas, SK, Ouahab, A: Extremal solutions of second order impulsive dynamic equations on time scales. J. Math. Anal. Appl. 324, 425-434 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  9. Chen, HB, Wang, HH: Triple positive solutions of boundary value problems for p-Laplacian impulsive dynamic equations on time scales. Math. Comput. Model. 47, 917-924 (2008)

    Article  MATH  Google Scholar 

  10. Geng, F, Xu, Y, Zhu, D: Periodic boundary value problems for first-order impulsive dynamic equations on time scales. Nonlinear Anal. 69, 4074-4087 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  11. Graef, JR, Ouahab, A: Extremal solutions for nonresonance impulsive functional dynamic equations on time scales. Appl. Math. Comput. 196, 333-339 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  12. Guan, W, Li, DG, Ma, SH: Nonlinear first-order periodic boundary value problems of impulsive dynamic equations on time scales. Electron. J. Differ. Equ. 2012, 198 (2012)

    Article  MathSciNet  Google Scholar 

  13. Henderson, J: Double solutions of impulsive dynamic boundary value problems on time scale. J. Differ. Equ. Appl. 8, 345-356 (2002)

    Article  MATH  Google Scholar 

  14. Li, JL, Shen, JH: Existence results for second-order impulsive boundary value problems on time scales. Nonlinear Anal. 70, 1648-1655 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  15. Li, YK, Shu, J: Multiple positive solutions for first-order impulsive integral boundary value problems on time scales. Bound. Value Probl. 2011, 12 (2011)

    Article  MathSciNet  Google Scholar 

  16. Liu, HB, Xiang, X: A class of the first order impulsive dynamic equations on time scales. Nonlinear Anal. 69, 2803-2811 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  17. Wang, C, Li, YK, Fei, Y: Three positive periodic solutions to nonlinear neutral functional differential equations with impulses and parameters on time scales. Math. Comput. Model. 52, 1451-1462 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  18. Wang, DB: Positive solutions for nonlinear first-order periodic boundary value problems of impulsive dynamic equations on time scales. Comput. Math. Appl. 56, 1496-1504 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  19. Wang, DB: Periodic boundary value problems for nonlinear first-order impulsive dynamic equations on time scales. Adv. Differ. Equ. 2012, 12 (2012)

    Article  Google Scholar 

  20. Wang, ZY, Weng, PX: Existence of solutions for first order PBVPs with impulses on time scales. Comput. Math. Appl. 56, 2010-2018 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  21. Zhang, HT, Li, YK: Existence of positive periodic solutions for functional differential equations with impulse effects on time scales. Commun. Nonlinear Sci. Numer. Simul. 14, 19-26 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  22. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)

    MATH  Google Scholar 

  23. Benchohra, M, Henderson, J, Ntouyas, SK: Impulsive Differential Equations and Inclusions, vol. 2. Hindawi Publishing Corporation, New York (2006)

    Book  MATH  Google Scholar 

  24. Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)

    MATH  Google Scholar 

  25. Dai, QY, Tisdell, CC: Existence of solutions to first-order dynamic boundary value problems. Int. J. Differ. Equ. 1, 1-17 (2006)

    MATH  MathSciNet  Google Scholar 

  26. Sun, JP, Li, WT: Existence of solutions to nonlinear first-order PBVPs on time scales. Nonlinear Anal. 67, 883-888 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  27. Guan, W, Ma, SH, Wang, DB: Periodic boundary value problems for first order difference equations. Electron. J. Qual. Theory Differ. Equ. 2012, 52 (2012)

    Article  MathSciNet  Google Scholar 

  28. Torres, PJ: Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem. J. Differ. Equ. 190, 643-662 (2003)

    Article  MATH  Google Scholar 

  29. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)

    MATH  Google Scholar 

Download references

Acknowledgements

The author express her gratitude to the anonymous referee for his/her valuable suggestions. The research was supported by Natural Science Foundation of Gansu Province of China (Grant No. 1310RJYA080).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wen Guan.

Additional information

Competing interests

The author declares that she has no competing interests.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Guan, W. Positive solutions to nonlinear first-order impulsive dynamic equations on time scales. Adv Differ Equ 2015, 60 (2015). https://doi.org/10.1186/s13662-015-0376-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0376-z

MSC

Keywords