Boundary Value Problems
Sign-constancy of Green's functions for impulsive nonlocal boundary value problems
A. Domoshnitsky1 &
Iu. Mizgireva ORCID: orcid.org/0000-0002-4576-26021,2
Boundary Value Problems volume 2019, Article number: 175 (2019) Cite this article
We consider the following second order impulsive differential equation with delays:
$$ \textstyle\begin{cases} (Lx)(t)\equiv x''(t)+\sum_{j=1}^{p} a_{j}(t) x'(t-\tau _{j}(t)) + \sum_{j=1}^{p} b_{j}(t) x(t-\theta _{j}(t)) = f(t), \quad t \in [0, \omega ], \\ x(t_{k})=\gamma _{k} x(t_{k}-0), \quad\quad x'(t_{k})=\delta _{k} x'(t_{k}-0), \quad k=1,2,\ldots,r. \end{cases} $$
In this paper we consider sufficient conditions of nonpositivity of Green's function for impulsive differential equation with nonlocal boundary conditions.
Impulsive differential equations have attracted an attention of a number of recognized mathematicians and have applications in many spheres of science from physics, biology, medicine to economical studies. The following well-known books can be noted in this context [35, 41, 44, 54]. In Ref. [4], the concept of the general theory of functional differential equations was presented. In the frame of this concept finite fundamental system, the Wronskian and Green's functions can be introduced. On the basis of this concept nonoscillation for the first order impulsive functional differential equations was considered in [10], where positivity of the Cauchy and Green's functions of the periodic problem was firstly studied. Nonoscillation for the first order impulsive differential equations is also considered in the book [1]. The positivity of Green's function of one- and two-point boundary value problems for impulsive functional differential equations of the first order was considered in [10] and of the second order in [2, 11, 12, 14, 19, 24, 28, 29, 36, 38].
The study of nonlocal boundary value problems has its own history (see, for example, its description in [8]). Multi-point and integral boundary conditions are widely studied in the case of ordinary differential equations. Maybe the work by Picone [42], where the multi-point boundary conditions are studied, is the first one. Note the review by Whyburn [52] of 1942 on problems with the Stieltjes integral in boundary conditions. Note also the works by Ma [37], Ntouyas [39], Webb and Infante [50, 51]. The positivity of solutions to non-impulsive ordinary differential equations with nonlocal boundary conditions was studied in Refs. [32, 50, 51]. The existence of positive solutions for nonlocal functional differential boundary value problems was studied in [31] and then in [30]. For example, in [31] the nonlocal boundary value problem
$$ \begin{aligned} & x''(t)+F\bigl(t,x(t) \bigr) = 0, \quad t \in [0,1], \quad\quad x(t) = \varphi (t), \quad t \in [-\delta , 0], \\ & x(0) = 0, \quad\quad x(1) = \int _{t_{1}} ^{t_{2}} x(s) \,d R(s), \quad t_{1},t_{2} \in (0,1), \end{aligned} $$
was considered. Positivity of Green's functions for the first order impulsive functional differential equations with nonlocal boundary conditions was studied in [15,16,17]. Nonlocal boundary value problems for systems of impulsive functional differential equations were considered in [6]. Functional differential equations of second order with nonlocal conditions were considered in [8].
Various applications with nonlocal problems for ordinary and partial differential equations were presented in the known works by Skubachevskii [45, 46]. Ordinary differential equations with integral boundary conditions arise in the theory of turbulence [47], in the theory of Markov processes [18], in heat flow problems [22, 25, 27, 48, 49], in the study of the response of a spherical cap [3, 5, 40]. In the references in [7], one can find works on applications of nonlocal problems in modeling of thermostats, beams and suspension bridges.
Questions of representation solutions and solvability of nonlocal problems for functional differential equations were considered in [4, 23, 33, 34]. The positivity of solutions for nonlocal boundary value problems for ordinary differential equations was studied in [20, 21, 50, 51, 53]. The method is to reduce nonlocal boundary value problems to the Hammerstein integral equation and then scrupulous analysis of Green's functions leads researchers to estimates (of the norm or spectral radii in linear case and the fact of a contraction in nonlinear one) of integral operators and conclusions about positivity of solutions. It seems that some of these results can be generalized also on particular cases of delay or functional differential equations, where Green's functions of ordinary differential equations could be used [1, 16, 17, 20, 21, 23]. For functional differential equations, forms of Green's functions are essentially more complicated. That is why quite a different approach was proposed for nonlocal problems with functional differential equations [1, 9], where various results on positivity/negativity of Green's functions were obtained. One of the main ideas is to obtain a connection between sign-constancy of Green's functions for different problems with functional differential equations. This approach presents a basic method for analysis of the solution's positivity (see, for example, Theorem 15.3 in [1]). The main results are obtained in the form of theorems about differential inequalities. Choosing the test functions, researchers can get coefficient tests for positivity of Green's functions. Note that all these works concern positivity of solutions to nonlocal problems only for scalar differential equations and not for systems. There are almost no results on positivity of solutions of nonlocal problems in the case of systems. Among the results we can note results on the existence [7, 26, 33, 34, 43] and results on the positivity of solution-vectors in [26].
In our paper, we consider the following impulsive equation:
$$\begin{aligned}& (Lx) (t)\equiv x''(t)+\sum _{j=1}^{p} a_{j}(t) x'\bigl(t-\tau _{j}(t)\bigr) + \sum _{j=1}^{p} b_{j}(t) x\bigl(t-\theta _{j}(t)\bigr) = f(t), \quad t \in [0, \omega ], \end{aligned}$$
$$\begin{aligned}& \begin{aligned} & x(t_{k})=\gamma _{k} x(t_{k}-0), \quad\quad x'(t_{k})= \delta _{k} x'(t_{k}-0), \quad k=1,2, \ldots,r, \\ & 0 = t_{0} < t_{1} < t_{2} < \cdots < t_{r} < t_{r+1} = \omega , \end{aligned} \end{aligned}$$
$$\begin{aligned}& x(\zeta )=0, \quad\quad x'(\zeta )=0, \quad \zeta < 0, \end{aligned}$$
where f, \(a_{j}\), \(b_{j}\): \([0,\omega ] \to \mathbb{R}\) are summable functions and \(\tau _{j}\), \(\theta _{j}\): \([0,\omega ] \to [0,+\infty )\) are measurable functions for \(j=1,2,\ldots,p\), p and r are natural numbers, \(\gamma _{k}\) and \(\delta _{k}\) are real positive numbers.
Let \(D(t_{1},t_{2},\ldots, t_{r})\) be a space of functions x: \([0,\omega ] \to \mathbb{R}\) such that their derivative \(x'(t)\) is absolutely continuous on every interval \(t \in [t_{i}, t_{i+1})\), \(i = 0, 1,\ldots, r\), \(x'' \in L_{\infty }\), we assume also that there exist the finite limits \(x(t_{i}-0) = \lim_{t \to t_{i}^{-}} x(t)\) and \(x'(t_{i}-0) = \lim_{t \to t_{i}^{-}} x'(t)\) and condition (1.3) is satisfied at points \(t_{i}\) (\(i = 0, 1,\ldots,r\)). As a solution x we understand a function \(x \in D(t_{1},t_{2},\ldots, t_{r})\) satisfying (1.2)–(1.4).
In this paper we obtain new results on sign-constancy of Green's functions of nonlocal boundary value problems. Comparing our results with [25,26,27, 50, 51], we study an essentially more general object: impulsive differential equations with delays. Note that combining the approach of [25,26,27] and our results, nonlinear nonlocal impulsive functional differential boundary value problems can be considered in future research. Thus, the technique we proposed in this paper opens new opportunities in the study of positivity/negativity of solutions for a wide class of impulsive functional differential equations.
The general solution of (1.2)–(1.4) can be represented in the form [10]
$$ x(t)=\nu _{1}(t)x(0)+C(t,0)x'(0)+ \int _{0}^{t} C(t,s)f(s)\,ds, $$
\(\nu _{1}(t)\) is a solution of the homogeneous equation
$$\begin{aligned}& (Lx) (t)\equiv x''(t)+\sum _{j=1}^{p} a_{j}(t) x'\bigl(t-\tau _{j}(t)\bigr) + \sum _{j=1}^{p} b_{j}(t) x\bigl(t-\theta _{j}(t)\bigr) = 0, \quad t \in [0,\omega ], \end{aligned}$$
with the initial conditions \(x(0)=1\), \(x'(0)=0\).
\(C(t,s)\), called the Cauchy function of (2.2)–(2.4), is the solution of the equation
$$\begin{aligned}& (L_{s}x) (t)\equiv x''(t)+ \sum_{j=1}^{p} a_{j}(t) x'\bigl(t-\tau _{j}(t)\bigr) + \sum _{j=1}^{p} b_{j}(t) x\bigl(t-\theta _{j}(t)\bigr) = 0, \quad t \in [s,\omega ], \end{aligned}$$
$$\begin{aligned}& \begin{aligned} & x(t_{k})=\gamma _{k} x(t_{k}-0), \quad\quad x'(t_{k})= \delta _{k} x'(t_{k}-0), \quad k=m, \ldots,r, \\ & 0 = t_{0} < t_{1} < t_{2} < \cdots < t _{r} < t_{r+1} = \omega , \end{aligned} \end{aligned}$$
where m is a number, such that \(t_{m-1}< s \leq t_{m}\),
$$ x(\zeta )=0, \quad\quad x'(\zeta )=0, \quad \zeta < s, $$
satisfying the initial conditions \(C(s,s)=0\), \(C_{t}'(s,s)=1\) and \(C(t,s)=0\) for \(t< s\).
Below the following definition will be used.
Definition 2.1
We call \([0,\omega ]\) a semi-nonoscillation interval of (2.2)–(2.4), if every nontrivial solution having a zero of derivative does not have a zero on this interval.
In Ref. [11] for (1.2)–(1.4) the following assertion was proven.
Lemma 2.1
\(b_{j}(t) \leq 0\)for \(t \in [0,\omega ]\).
The Cauchy function \(C_{1}(t,s)\)of the first order impulsive equation
$$ \begin{aligned} & y'(t)+\sum _{j=1}^{p} a_{j}(t) y\bigl(t-\tau _{j}(t)\bigr) =0, \quad t \in [0, \omega ], \\ & y(t_{k})=\delta _{k} y(t_{k}-0), \quad k=1,2,\ldots,r, \\ & y(\zeta )=0, \quad \zeta < 0, \end{aligned} $$
is positive for \(0 \leq s \leq t \leq \omega \).
Then the Cauchy function \(C(t,s)\)of the second order impulsive equation (1.2)–(1.4) and its derivative \(C_{t}'(t,s)\)are positive in \(0 \leq s \leq t \leq \omega \).
In the lemma below, we formulate the results of [10] on the conditions of positivity of Cauchy function of the first order impulsive differential equation
$$ \begin{aligned} & y'(t)+ a_{1}(t) y\bigl(t-\tau _{1}(t)\bigr) =0, \quad t \in [0, \omega ], \\ & y(t_{k})=\delta _{k} y(t_{k}-0), \quad k=1,2,\ldots,r, \\ & y(\zeta )=0, \quad \zeta < 0. \end{aligned} $$
Let \(0<\delta _{j} \leq 1\)for \(j = 1,\ldots,r\)and the following inequality be fulfilled:
$$ \frac{1+\ln B(t)}{e} \geq \int _{m(t)}^{t} a_{+}(s)\,ds, $$
where \(B(t) = \prod_{j \in D_{t}} \delta _{j}\), \(D_{t} = \{i : t_{i} \in [t- \tau _{1}(t),t]\}\), \(a_{+}(t) = \max \{a_{1}(t),0\}\)and \(m(t) = \max \{t-\tau _{1}(t),0\}\). Then the Cauchy function of the first order impulsive differential equation (2.9) is positive in \(0 \leq s \leq t \leq \omega \).
In the case when the number of terms with delays \(p>1\) the following sufficient condition of nonnegativity of the Cauchy function \(C_{1}(t,s)\), proven in [10], can be used.
Let \(a_{j}(t) \geq 0\)for \(j=1,\ldots,p\), \(0<\delta _{k} \leq 1\)for \(k = 1,\ldots,r\)and
$$ \int _{0}^{\omega } \sum_{j=1}^{p} a_{j}(s)\,ds < \prod_{k=1}^{r} \delta _{k}, $$
then the Cauchy function of the first order impulsive differential equation (2.8) is positive in \(0 \leq s \leq t \leq \omega \).
Sign-constancy of Green's function for nonlocal boundary value problem in the case of \(b_{j}(t) \leq 0\)
For (1.2)–(1.4) we consider the following nonlocal boundary conditions:
$$ x(0)=0, \quad\quad x(\omega )=lx, $$
where \(l: D(t_{1},t_{2},\ldots,t_{r}) \to \mathbb{R}^{1}\) is a linear bounded vector-functional.
Let us consider the following particular case of boundary conditions:
$$ x(0)=0, \quad\quad x(\omega )= \int _{0}^{\omega } A(s)x(s)\,ds. $$
If the boundary value problem (1.2)–(1.4), (3.2) is uniquely solvable, then its solution can be represented as
$$ x(t)= \int _{0}^{\omega } G_{1}(t,s)f(s)\,ds, $$
where \(G_{1}(t,s)\) is Green's function of problem (1.2)–(1.4), (3.2).
Using general representation of the solution, the following formula for Green's function can be written:
$$ G_{1}(t,s) = C(t,s) - C(t,0)\frac{\int _{s}^{\omega } A(r) C(r,s)\,dr - C( \omega ,s) }{\int _{0}^{\omega } A(r) C(r,0) \,dr - C(\omega ,0)}. $$
For the boundary value problem (1.2)–(1.4), (3.2) the following lemma can be obtained.
If the conditions (1) and (2) of Lemma 2.1are fulfilled and \(A(t)\)for \(t \in [0,\omega ]\)satisfies the conditions
$$ A(t) \geq 0, \quad\quad \int _{0}^{\omega } A(t)\,dt < 1, $$
and \(\gamma _{k} \geq 1\), \(\delta _{k} \geq 0\), \(k=1,2,\ldots,r\), then the Green's function \(G_{1}(t,s)\)exists and there exists an interval \((0,\epsilon _{s})\), such that \(G_{1}(t,s) <0\)for \(t \in (0,\epsilon _{s})\).
It is clear that
$$ G_{1}(0,s) = -C(0,0)\frac{\int _{s}^{\omega } A(r) C(r,s)\,dr - C(\omega ,s) }{\int _{0}^{\omega } A(r) C(r,0) \,dr - C(\omega ,0)} = 0. $$
According to Lemma 2.1, \(C(t,s) \geq 0\), then
$$ \begin{aligned}[b] {G_{1}}_{t}'(0,s) &= -C_{t}'(0,0) \frac{\int _{s}^{\omega } A(r) C(r,s)\,dr - C(\omega ,s) }{\int _{0}^{\omega } A(r) C(r,0) \,dr - C(\omega ,0)} \\ &= -\frac{ \int _{s}^{\omega } A(r) C(r,s)\,dr - C(\omega ,s) }{\int _{0}^{\omega } A(r) C(r,0) \,dr - C(\omega ,0)} < 0. \end{aligned} $$
This means that there exists an interval \((0,\epsilon _{s})\), such that \(G_{1}(t,s) <0\) for \(t \in (0,\epsilon _{s})\). □
Remark 3.1
Let us assume that the functional l is positive, i.e. \(lx \geq 0\) if \(x \geq 0\), and can be presented in the form of Stieltjes integral \(lx = \int _{0}^{\omega } x(s)\,dR(s)\). In this case, a generalization of Lemma 3.1 can be obtained by repeating the proof for problem (1.2)–(1.4), (3.1). For this case, instead of the condition (3.5), the following ones can be used:
$$ l: D(t_{1},t_{2},\ldots,t_{r}) \to \mathbb{R}^{1} \text{ is positive functional}\quad \text{and} \quad \Vert l \Vert < 1. $$
Theorem 3.1
Assume that the following conditions are fulfilled:
\(a_{j}(t) \geq 0\), \(b_{j}(t) \leq 0\)for \(t \in [0,\omega ]\).
The Wronskian \(W(t)\)of the fundamental system of solutions of a homogeneous equation (2.2)–(2.4) satisfies \(W(t) \neq 0\), \(t \in [0,\omega ]\).
The Cauchy function \(C_{1}(t,s)\)of the first order equation (2.8) is positive for \(0 \leq s \leq t \leq \omega \).
\(A(t)\)satisfies (3.5) for \(t \in [0,\omega ]\).
\(\gamma _{k} \geq 1\), \(\delta _{k} \geq 0\), \(k=1,2,\ldots,r\).
Then \(G_{1}(t,s) \leq 0\)for \(t,s \in [0,\omega ]\).
In order to prove Theorem 3.1, we will need the following lemmas from [14].
\(a_{j}(t) \geq 0\), \(b_{j}(t) \leq 0\), \(j = 1,\ldots,p\), \(t \in [0,\omega ]\).
The Wronskian \(W(t)\)of the fundamental system of solutions of homogeneous equation (2.2)–(2.4) satisfies the inequality \(W(t) \neq 0\), \(t \in [0,\omega ]\).
Then the interval \([0,\omega ]\)is a semi-nonoscillation interval of (2.2)–(2.4).
If \(a_{j}(t) \geq 0\), \(b_{j}(t) \leq 0\), then the following assertions are equivalent:
The Green's function \(G^{\xi }(t,s)\)with boundary conditions \(x(\xi )=0\), \(x'(\xi ) =0\)is nonnegative for \(t,s \in [0,\xi ]\)for every \(0<\xi <\omega \).
Proof of Theorem 3.1
Let us assume that \(G_{1}(t,s)\) changes its sign. This means that there exists a right-hand side \(f(t) \geq 0\) such that the solution \(x(t)\) changes sign (see Fig. 1). According to Lemma 3.1, \(x(t)<0\) for t which are close to 0. Thus, there exist the points η and ξ, such that \(x(\eta )=0\), \(x'(\xi )=0\), \(0<\eta <\xi <\omega \), and \(x(t)>0\) for \(t \in (\eta , \xi )\).
Solution \(x(t)\) of problem (1.2)–(1.4), (3.2)
The fact of the existence of such point ξ follows from the inequalities (3.5). Actually, if there is no such point ξ, the solution is nondecreasing for \(t \in [\eta , \omega ]\), since the condition (5) of Theorem 3.1 is fulfilled, and, in this case, the equality \(x(\omega ) = \int _{0}^{\omega } A(s)x(s)\,ds\) is impossible. The solution \(x(t)\) satisfies the conditions
$$ x(\xi )=\alpha >0, \quad\quad x'(\xi )=0. $$
Consider now the problem (1.2)–(1.4) with the boundary conditions \(x(\xi )=0\), \(x'(\xi )=0\). According to Lemma 3.3, its Green's function \(G^{\xi }(t,s)\) is nonnegative for \(t,s \in [0, \omega ]\).
It is clear that our solution \(x(t)\) of (1.2)–(1.4), (3.2) has the following representation:
$$ x(t) = \int _{0}^{\xi } G^{\xi }(t,s)f(s)\,ds + X(t), $$
where \(X(t)\) is the solution of the homogeneous impulsive equation (2.2)–(2.4), satisfying the conditions (3.9).
The first term \(\int _{0}^{\xi } G^{\xi }(t,s)f(s)\,ds \geq 0\), since \(G^{\xi }(t,s)\geq 0\), \(f(s) \geq 0\), \(t,s \in [0, \xi ]\).
We see that all the conditions of Lemma 3.2 are fulfilled. This means that the interval \([0,\omega ]\) is a semi-nonoscillation interval of (2.2)–(2.4). The solution \(X(t)\) of homogeneous equation (2.2)–(2.4) cannot change its sign. Thus, the solution \(x(t)\) is nonnegative as the sum of two nonnegative terms.
We got the contradiction with the assumption about changing sign of the solution \(x(t)\). This proves that \(G_{1}(t, s)\) should be nonpositive. □
The conditions (2)–(3) of Theorem 3.1 look very difficult for verification, but the known previous results demonstrate that this is not the case. Lemmas 2.2–2.3 give simple inequalities implying positivity of the Cauchy function \(C_{1}(t,s)\). Tests of the nonnegativity of Green's function \(G^{\xi }(t,s)\) were obtained in [12, 14].
For boundary value problem (1.2)–(1.4), (3.1), an analogue of Theorem 3.1 can be formulated, where instead of the condition (3.5), the functional l satisfies the condition (3.8).
Example 3.1
Let us consider the following differential equation:
$$ x''(t)+x' \bigl(h(t)\bigr)-x\bigl(h(t)\bigr)=f(t), \quad t \in [0, 1.6], $$
with impulses (1.3), where \(r=2\) and
$$ \begin{aligned} &t_{1} =0.4,\quad\quad \gamma _{1} = 1.2,\quad\quad \delta _{1}=0.7, \\ &t_{2} =1, \quad\quad \gamma _{2} = 1.3,\quad\quad \delta _{2}=0.95. \end{aligned} $$
Let us assume that the deviation of the argument \(h(t)\) has the following form:
$$ h(t) = t_{k}, \quad t \in [t_{k}, t_{k+1}), k=0,1,2. $$
According to [14], the Cauchy function of the first order impulsive equation
$$ y'(t)+y\bigl(h(t)\bigr)=0, \quad t \in [0, 1.6], $$
$$ \begin{aligned} &t_{1} =0.4,\quad\quad \gamma _{1} = 1.2,\quad\quad \delta _{1}=0.7, \\ &t_{2} =1, \quad\quad \gamma _{2} = 1.3,\quad\quad \delta _{2}=0.95 \end{aligned} $$
satisfies the inequality \(C_{1}(t,s) \geq 0\), if
$$ \max_{k=1,\ldots,3}(t_{k}-t_{k-1})< 1, $$
where \(t_{0} = 0\), \(t_{3} = 1.6\).
In our example, the condition (3.16) holds. Solving the homogeneous impulsive equation with the same left-hand side as in (3.11) with the initial conditions \(x_{1}(0)=1\), \(x_{1}'(0)=0\) and \(x_{2}(0)=0\), \(x_{2}'(0)=1\), we obtain
$$\begin{aligned}& x_{1}(t)= \textstyle\begin{cases} 0, & t < 0, \\ 0.5t^{2} + 1, & t \in [0,0.4), \\ 0.508(t - 0.4)^{2} + 0.28t+ 1.184, & t \in [0.4,1), \\ 0.648(t - 1.0)^{2} + 0.845t + 1.296, & t \in [1,1.6), \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& x_{2}(t)= \textstyle\begin{cases} 0, & t < 0, \\ -0.5t^{2} + t, & t \in [0,0.4), \\ - 0.018(t - 0.4)^{2}+ 0.42t + 0.216, & t \in [0.4,1), \\ 0.22(t - 1.0)^{2} + 0.378t + 0.44, & t \in [1,1.6), \end{cases}\displaystyle \end{aligned}$$
see Fig. 2(a).
Calculating the Wronskian of the fundamental system of solutions of a homogeneous equation
Calculating the Wronskian, we obtain
$$ W(t)= \textstyle\begin{cases} 0, & t < 0, \\ -0.5t^{2} - t + 1, & t \in [0,0.4), \\ -0.218t^{2} - 0.262t + 0.577, & t \in [0.4,1), \\ -0.059t^{2} + 0.178, & t \in [1,1.6), \end{cases} $$
see Fig. 2(b).
Thus, the conditions (1)–(3), (5) of Theorem 3.1 are fulfilled. According to Theorem 3.1, for each \(A(t)\), satisfying the condition (3.5), the Green's function \(G_{1}(t,s)\) is nonpositive.
Sign-constancy of Green's function for nonlocal boundary value problem in the case when \(b_{j}(t)\) can change sign
For the case when \(b_{j}(t)\) changes its sign, there can be considered an auxiliary impulsive differential equation:
$$\begin{aligned}& \bigl(L^{-} x\bigr) (t)\equiv x''(t)+ \sum_{j=1}^{p} a_{j}(t) x'\bigl(t-\tau _{j}(t)\bigr) + \sum _{j=1}^{p} b_{j}^{-}(t) x \bigl(t-\theta _{j}(t)\bigr) = z(t), \quad t \in [0, \omega ], \end{aligned}$$
$$ b_{j}^{-}(t) = \textstyle\begin{cases} b_{j}(t), & b_{j}(t) \leq 0,\\ 0, & b_{j}(t) > 0. \end{cases} $$
The solution for the boundary value problems (4.1)–(4.3), (3.2) can be written in the form
$$ x(t)= \bigl(G_{1}^{-}z \bigr) (t) \equiv \int _{0}^{\omega } G_{1}^{-}(t,s)z(s) \,ds. $$
The given equation (1.2) can be written as
$$ (L x) (t) = \bigl(L^{-} x\bigr) (t) + \sum _{j=1}^{p} b_{j}^{+}(t) x\bigl(t-\theta _{j}(t)\bigr) = f(t), $$
$$ b_{j}^{+}(t) = \textstyle\begin{cases} b_{j}(t), & b_{j}(t) > 0, \\ 0, & b_{j}(t) \leq 0. \end{cases} $$
After substituting (4.5) into (4.6) we obtain
$$ z(t) + \sum_{j=1}^{p} b_{j}^{+}(t) \int _{0}^{\omega } G_{1}^{-} \bigl(t- \theta _{j}(t),s \bigr) \chi _{[0,\omega ]} \bigl(t- \theta _{j}(t) \bigr) z(s)\,ds = f(t). $$
Define the integral operator \(K : L_{\infty }\to L_{\infty }\) by the equality
$$ (Kz) (t) = - \sum_{j=1}^{p} b_{j}^{+}(t) \int _{0}^{\omega } \bigl[ G _{1}^{-} \bigl(t-\theta _{j}(t),s \bigr) \chi _{[0,\omega ]} \bigl(t- \theta _{j}(t) \bigr) \bigr] z(s) \,ds. $$
Let us denote its spectral radius by \(\rho (K)\).
We prove the assertion about the nonpositivity of the Green's function of (1.2)–(1.4), (3.2) without the assumption about the sign-constancy of \(b_{j}(t)\).
\(a_{j}(t) \geq 0\), \(j=1,\ldots,p\), \(t \in [0,\omega ]\).
The spectral radius \(\rho (K)\)of the operator \(K : L_{\infty }\to L _{\infty }\), defined by (4.9), satisfies the inequality \(\rho (K) < 1\).
Then Green's function \(G_{1}(t,s)\)of the nonlocal problem (1.2)–(1.4), (3.2) is nonpositive for \(t,s \in [0, \omega ]\).
The conditions (1)–(5) of Theorem 4.1 correspond to all the conditions of Theorem 3.1, so they imply that the Green's function \(G_{1}^{-}(t,s)\) of the auxiliary boundary value problem (4.1)–(4.3), (3.2) is nonpositive for \(t,s \in [0, \omega ]\).
We have noted above, in Eq. (4.7), that \(b_{j}^{+}(t) \geq 0\). Together with the fact that \(G_{1}^{-}(t,s) \leq 0\), this implies that the operator K is positive.
If the condition \(\rho (K) <1\) holds, then Eq. (4.8) can be written as follows:
$$ z =(I-K)^{-1}f = \Biggl[\sum_{j=0}^{\infty } K^{j} \Biggr]f. $$
It follows from the inequality \(G_{1}^{-}(t,s) \leq 0\) that all operators \(K^{j}\) are positive and, consequently, for this case, the operator \(\sum_{j=0}^{\infty } K^{j}\) is positive.
The solution \(x(t)\) of the given boundary value problem (1.2)–(1.4), (3.2) can be written in the form
$$ x = \Biggl( G_{1}^{-} \sum_{j=0}^{\infty } K^{j} \Biggr) f, $$
where the Green's operator for the problem (1.2)–(1.4), (3.2) can be presented in the form
$$ G_{1} = G_{1}^{-} \sum _{j=0}^{\infty } K^{j}. $$
The operator \(G_{1}\) is nonpositive, if the condition \(\rho (K) <1\) holds. □
In order to verify the condition (6) we can use the results obtained in [13]. This condition is satisfied when the following inequality is fulfilled:
$$ \begin{aligned}[b] &\frac{\omega }{\prod_{k=1}^{r} \delta _{k}} \underset{t \in [0, \omega ]}{\operatorname{ess\,sup}}\sum_{j=1}^{p} \bigl\vert a_{j}(t) \bigr\vert \\ &\quad{} + \omega \Biggl(\sum_{i=1}^{r} \frac{t_{i}-t_{i-1}}{\prod_{k=i}^{r} \delta _{k} \prod_{k=1}^{i}\gamma _{k}}\gamma _{i} + \frac{\omega -t_{r}}{ \prod_{k=1}^{r}\gamma _{k}} \Biggr) \underset{t \in [0,\omega ]}{ \operatorname{ess\,sup}}\sum _{j=1}^{p} \bigl\vert b_{j}(t) \bigr\vert < 1. \end{aligned} $$
$$ x''(t)+0.2x' \bigl(h(t)\bigr)-0.2(t-1)x\bigl(h(t)\bigr)=f(t), \quad t \in [0, 1.6], $$
$$ y'(t)+0.2y\bigl(h(t)\bigr)=0, \quad t \in [0, 1.6], $$
$$ \begin{aligned} &t_{1} =0.4,\quad\quad \gamma _{1} = 1.2,\quad\quad \delta _{1}=0.7, \\ &t_{2} =1, \quad\quad \gamma _{2} = 1.3,\quad\quad \delta _{2}=0.95, \end{aligned} $$
$$ 0.2\max_{k=1,\ldots,3}(t_{k}-t_{k-1})< 1, $$
$$\begin{aligned}& x_{1}(t)= \textstyle\begin{cases} 0, & t < 0, \\ -0.1t^{3}+ 1, & t \in [0,0.4), \\ -0.121t(t - 0.4)^{2} + 0.0224t + 1.203, & t \in [0.4,1), \\ -0.159t(t - 1.0)^{2} - 0.0202t + 1.613, & t \in [1,1.6), \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& x_{2}(t)= \textstyle\begin{cases} 0, & t < 0, \\ t, & t \in [0,0.4), \\ -0.048t(t - 0.4)^{2} + 0.7t + 0.2, & t \in [0.4,1), \\ -0.117t(t - 1.0)^{2} + 0.649t + 0.521, & t \in [1,1.6), \end{cases}\displaystyle \end{aligned}$$
$$ W(t)= \textstyle\begin{cases} 0, & t < 0, \\ 0.2t^{3} + 1, & t \in [0,0.4), \\ 0.167t^{3} - 0.167t^{2} + 0.0536t + 0.832, & t \in [0.4,1), \\ 0.211t^{3} - 0.528t^{2} + 0.423t + 0.951, & t \in [1,1.6), \end{cases} $$
Let us verify, whether the condition \(\rho (K)<1\) is satisfied. For our example, after substitution into (4.13), this inequality has the form \(0.965<1\). Thus, the spectral radius \(\rho (K)<1\).
Thus, the conditions (1)–(3), (5)–(6) of Theorem 4.1 are fulfilled. According to Theorem 4.1, for each \(A(t)\), satisfying the condition (3.5), the Green's function \(G_{1}(t,s)\) is nonpositive.
Agarwal, R.P., Berezansky, L., Braverman, E., Domoshnitsky, A.: Nonoscillation Theory of Functional Differential Equations with Applications. Springer, New York (2012)
Agarwal, R.P., O'Regan, D.: Multiple nonnegative solutions for second order impulsive differential equations. Appl. Math. Comput. 114(1), 51–59 (2000)
Agarwal, R.P., O'Regan, D.: Upper, lower solutions for singular problems with nonlinear boundary data. NoDEA Nonlinear Differ. Equ. Appl. 9, 419–440 (2002)
Azbelev, N.V., Maksimov, V.P., Rakhmatullina, L.F.: Introduction to the Theory of Functional Differential Equations: Methods and Applications. Hindawi, New York (2007)
Baxley, J.: A singular nonlinear boundary value problem: membrane response of a spherical cap. SIAM J. Appl. Math. 48, 497–505 (1988)
Bolojan-Nica, O., Infante, G., Pietramala, P.: Existence results for impulsive systems with initial nonlocal conditions. Math. Model. Anal. 18(5), 599–611 (2013)
Bolojan-Nica, O., Infante, G., Precup, R.: Existence results for systems with coupled nonlocal initial conditions. Nonlinear Anal. 94, 231–242 (2014)
Calamai, A., Infante, G.: Nontrivial solutions of boundary value problems for second order functional differential equations. arXiv:1406.7508v1 [math. CA] (2014)
Domoshnitsky, A.: Maximum principles and nonoscillation intervals for first order Volterra functional differential equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 15, 769–814 (2008)
Domoshnitsky, A., Drakhlin, M.: Nonoscillation of first order impulsive differential equations with delay. J. Math. Anal. Appl. 206(1), 254–269 (1997)
Domoshnitsky, A., Landsman, G.: Semi-nonoscillation intervals in the analysis of sign constancy of Green's functions of Dirichlet, Neumann and focal impulsive problems. Adv. Differ. Equ. 2017, 81 (2017)
Domoshnitsky, A., Landsman, G., Yanetz, S.: About sign-constancy of Green's functions of one-point problem for impulsive second order delay equations. Funct. Differ. Equ. 21(1–2), 3–15 (2014)
Domoshnitsky, A., Mizgireva, Iu.: Sign-constancy of Green's functions for two-point impulsive boundary value problems. Miskolc Math. Notes 20, 193–208 (2019)
Domoshnitsky, A., Mizgireva, Iu., Raichik, V.: Semi-nonoscillation intervals and sign-constancy of Green's functions of two-point impulsive boundary value problems. Ukr. Math. J. (accepted) (2019)
Domoshnitsky, A., Volinsky, I.: About positivity of Green's functions for nonlocal boundary value problems with impulsive delay equations. Sci. World J. 2014, Article ID 978519 (2014)
Domoshnitsky, A., Volinsky, I.: About differential inequalities for nonlocal boundary value problems with impulsive delay equations. Math. Bohem. 140(2), 121–128 (2015)
Domoshnitsky, A., Volinsky, I., Shklyar, R.: About Green's functions for impulsive differential equations. Funct. Differ. Equ. 20, 55–81 (2013)
Feller, W.: Diffusion processes in one dimension. Trans. Am. Math. Soc. 77, 1–31 (1954)
Feng, M., Xie, D.: Multiple positive solutions of multi-point boundary value problem for second-order impulsive differential equations. J. Math. Anal. Appl. 223(1), 438–448 (2009)
Graef, J.R., Henderson, J., Yang, B.: Existence and nonexistence of positive solutions of an n-th order nonlocal boundary value problem. Proc. Dyn. Syst. Appl. 5, 86–191 (2007)
Graef, J.R., Yang, B.: Positive solutions of a third order nonlocal boundary value problem. Discrete Contin. Dyn. Syst., Ser. S 1, 89–97 (2008)
Guidotti, P., Merino, S.: Gradial loss of positivity and hidden invariant cones in a scalar heat equation. Differ. Integral Equ. 13, 1551–1568 (2000)
Hakl, R., Lomtatidze, A., Sremr, J.: Some boundary value problems for first order scalar functional differential equations. FOLIA, Masaryk University, Brno, Czech Republic (2002)
Hu, L., Liu, L., Wu, Y.: Positive solutions of nonlinear singular two-point boundary value problems for second-order impulsive differential equations. Nonlinear Anal., Theory Methods Appl. 69(11), 3774–3789 (2008)
Infante, G.: Positive solutions of some nonlinear BVPs involving singularities and integral BCs. Discrete Contin. Dyn. Syst., Ser. S 1(1), 99–106 (2008)
Infante, G., Minhos, F., Pietramala, P.: Non-negative solutions of systems of ODEs with coupled boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 17(12), 4952–4960 (2012)
Infante, G., Webb, J.: Nonlinear non-local boundary-value problems and perturbed Hammerstein integral equations. Proc. Edinb. Math. Soc. 49(3), 637–656 (2006)
Jankowsky, T.: Positive solutions to second order four-point boundary value problems for impulsive differential equations. Appl. Math. Comput. 202(2), 550–561 (2008)
Jiang, D., Lin, X.: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations. J. Math. Anal. Appl. 321(2), 501–514 (2006)
Karaca, I.Y.: On positive solutions for second-order boundary value problems of functional differential equations. Appl. Math. Comput. 219, 5433–5439 (2013)
Karakostas, I.Y., Mavridis, K.G., Tsamatos, P.Ch.: Triple solutions for a nonlocal functional boundary value problem by Leggett–Williams theorem. Appl. Anal. 83, 957–970 (2004)
Karakostas, I.Y., Tsamatos, P.Ch.: Existence of multiple positive solutions for a nonlocal boundary value problem. Topol. Methods Nonlinear Anal. 19, 109–121 (2002)
Kiguradze, I., Puza, B.: On boundary value problems for systems of linear functional differential equations. Czechoslov. Math. J. 47(2), 341–373 (1997)
Kiguradze, I., Puza, B.: Boundary value problems for systems of linear functional differential equations. FOLIA, Brno, Czech Republic (2002)
Lakshmikantham, V., Bainov, D.D., Simeonov, P.S.: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Lee, E.K., Lee, Y.H.: Multiple positive solutions of singular two point boundary value problems for second order impulsive differential equations. Appl. Math. Comput. 158(3), 745–759 (2004)
Ma, R.: A survey on nonlocal boundary value problems. Appl. Math. E-Notes 7, 257–279 (2001)
Mizgireva, Iu.: On positivity of Green's functions of two-point impulsive problems. Funct. Differ. Equ. 25(3–4), 189–200 (2018)
Ntouyas, S.K.: Nonlocal Initial and Boundary Value Problems: A Survey, Handbook of Differential Equations: Ordinary Differential Equations, Volume II. Elsevier, Amsterdam (2005)
O'Regan, D.: Upper and lower solutions for singular problems arising in the theory of membrane response of a spherical cap. Nonlinear Anal. 47, 1163–1174 (2001)
Pandit, S.G., Deo, S.G.: Differential Systems Involving Impulses. Springer, Berlin (1982)
Picone, M.: Su un problema al contorno nelle equazioni differenziali lineari ordinarie del secondo ordine. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 10, 1–95 (1908)
Precup, R., Trif, D.: Multiple positive solutions of non-local initial value problems for first order differential systems. Nonlinear Anal. 75, 5961–5970 (2012)
Samoilenko, A.M., Perestyuk, N.A.: Impulsive Differential Equations. World Scientific, Singapore (1995)
Skubachevskii, A.L.: Elliptic Functional Differential Equations and Applications. Birkhäuser, Basel (1997)
Skubachevskii, A.L.: Nonclassical boundary value problems. J. Math. Sci. 155(2), 199–334 (2008)
Sommerfeld, S.: Ein beitrag zur hydrodynamiscen Erklarung der turbulenten Flussigkeitsbewegungen. In: Atti del IV Congr. Intern dei Matem. Rome, vol. 3, pp. 116–124 (1909)
Webb, J.: Multiple positive solutions of some nonlinear heat flow problems. Discrete Contin. Dyn. Syst. 2005(suppl.), 895–903 (2005)
Webb, J.: Optimal constants in a nonlocal boundary value problem. Nonlinear Anal. 63, 672–685 (2005)
Webb, J., Infante, G.: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 74, 673–693 (2006)
Webb, J., Infante, G.: Positive solutions of nonlocal boundary value problems involving integral conditions. NoDEA Nonlinear Differ. Equ. Appl. 15, 45–67 (2008)
Whyburn, W.M.: Differential equations with general boundary conditions. Bull. Am. Math. Soc. 48, 692–704 (1942)
Yang, Z.: Positive solutions of a second-order integral boundary value problem. J. Math. Anal. Appl. 321, 751–765 (2006)
Zavalishchin, S.G., Sesekin, A.N.: Dynamic Impulse Systems: Theory and Applications. Springer, Dordrecht (1997)
This paper is part of the second author's Ph.D. thesis, which is being carried out in the Department of Mathematics at Ariel University.
Department of Mathematics, Ariel University, Ariel, Israel
A. Domoshnitsky
& Iu. Mizgireva
Laboratory of Cryptoeconomics and Blockchain Systems, Perm State University, Perm, Russia
Iu. Mizgireva
Search for A. Domoshnitsky in:
Search for Iu. Mizgireva in:
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Correspondence to Iu. Mizgireva.
Domoshnitsky, A., Mizgireva, I. Sign-constancy of Green's functions for impulsive nonlocal boundary value problems. Bound Value Probl 2019, 175 (2019) doi:10.1186/s13661-019-1290-1
Second order impulsive differential equations
Sign-constancy of Green's functions