1 Introduction
The Gronwall-Bellman inequality [1, 2] is an important tool in the study of existence, uniqueness, boundedness, stability, invariant manifolds, and other qualitative properties of solutions of differential equations and integral equations. There can be found a lot of its generalizations in various cases in the literature (e.g. [3‐6]). Lipovan [7] investigated the retarded integral inequality Their results were further generalized by Agarwal et al. [8] in 2005 to the inequality
$$\begin{aligned} u(t)\leq c+ \int_{t_{0}}^{t} f(s)\omega \bigl(u(s) \bigr)\,ds+ \int_{\alpha(t_{0})}^{\alpha(t)}g(s)\omega \bigl(u(s) \bigr)\,ds,\quad t_{0}\leq t < t_{1}. \end{aligned}$$
$$\begin{aligned} u(t)\leq a(t)+\sum_{i=1}^{n} \int_{\alpha_{i}(t_{0})}^{\alpha_{i}(t)}f_{i}(t,s) \omega_{i} \bigl(u(s) \bigr)\,ds,\quad t_{0}\leq t< t_{1}. \end{aligned}$$
Another aspect of integral inequalities is to consider the unknown u composed with a given function on the left hand side, which has been developed (see [9‐13]). On the basis of discussion (see [14‐16]) on integral inequalities in multi-variables.
Anzeige
In recent years, many researchers have devoted many efforts to investigating weakly singular integral inequalities and their applications (see [17‐22]). In 1979 McKee [17] considered the following initial value problem: when \(\alpha=\frac{1}{2}\) for the diffusion of discrete particle in a turbulent fluid. Henry [18] used integral inequality with singular kernel to prove global existence and exponential decay results for a parabolic differential equation. Medved [19] presented a new method to discuss nonlinear singular integral inequalities of Henry type In 2008 Ma and Pečairé [21] considered the following nonlinear singular inequalities with power nonlinearity: Along with the development of automatic control theory and its applications to computational mathematics and modeling, attention was also put to integral inequalities with the maxima of the unknown function. Actually, many problems in the control theory can be modeled in the form of differential equations with the maxima of the unknown function [23, 24]. For example, the equation describing the work of the regulator [25] can be presented as where \(T_{0}\) and q are constants. Equations involving maxima of an unknown function are called differential equations with maxima [23, 24]. Such a problem again requires a new type of integral inequalities as a tool to investigate its qualitative properties. There have been given some results for integral inequalities containing the maxima of the unknown function [26‐29].
$$\begin{aligned} y'(t)=f(t,y)+c \int_{0}^{t}\frac{y'(s)}{(t-s)^{\alpha}}\,ds+q(t),\quad 0\le t \le T,\qquad y(0)=y_{0}, \end{aligned}$$
(1.1)
$$\begin{aligned} u(t)\le a(t)+b(t) \int_{t_{0}}^{t}(t-s)^{\beta-1}s^{\gamma -1}F(s)u(s) \,ds,\quad t\ge0. \end{aligned}$$
(1.2)
$$\begin{aligned} u^{p}(t)\le a(t)+b(t) \int_{t_{0}}^{t} \bigl(t^{\alpha}-s^{\alpha} \bigr)^{\beta -1}s^{\gamma-1}f(s)u^{q}(s)\,ds,\quad t\ge0. \end{aligned}$$
(1.3)
$$\begin{aligned} T_{0}u'(t)+u(t)+q\max_{s\in[t-h,t]}u(s)=f(t), \end{aligned}$$
(1.4)
In 2014 Thiramanus et al. [30] considered the following system of integral inequalities: where \(\alpha>0\), \(0<\beta<1\), r, p, q, and ϕ are nonnegative continuous functions.
$$ \begin{aligned} &u(t) \leq r(t)+ \int_{t_{0}}^{t}(t-s)^{\alpha-1} \Bigl[p(s)u(s)+q(s) \max_{\xi\in[\beta s,s]} u(\xi) \Bigr]\,ds,\quad t\in[t_{0},T), \\ &u(t)\leq \phi(t),\quad t\in[\beta t_{0},t_{0}], \end{aligned} $$
(1.5)
In this paper we generally consider the system of integral inequalities where a, f, \(g_{i}\)’s, and \(\omega_{i}\)’s are nonnegative continuous functions, \(b_{i}\)’s are nonnegative continuously differentiable and nondecreasing functions and \(b^{*}(t_{0}):=\min\{\min_{1\le i\le{m}}b_{i}(t_{0}), \min_{m+1\le j\le{m}}c_{j}(b_{j}(t_{0}))\}\). As required in previous work [26, 27], we suppose that \(0 \le b_{i}(t) \le t\), \(h>0\), is a constant and the \(\omega_{i}\)’s are definite positive, i.e., \(\omega_{i}(s)>0\) for \(s>0\). In this paper we require neither monotonicity of a, \(\omega_{i}\)’s, \(g_{i}\)’s and g nor \(a(t)\geq1\). We monotonize those \(\omega_{i}\)’s to make a sequence of functions in which each possesses stronger monotonicity than the previous one so as to give an estimation for the unknown function. Finally, we apply the obtained result to a boundary value problem of integro-differential equations with maxima for uniqueness.
$$\begin{aligned} &\varphi\bigl(u(t)\bigr)\leq a(t)+\sum _{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{k_{i}(\beta_{i}-1)}s^{q_{i}(\gamma _{i}-1)}g_{i}(t,s)\omega_{i} \bigl(u(s)\bigr)\,ds \\ &\hphantom{\varphi(u(t))\leq}{}+\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{k_{j}(\beta_{j}-1)}s^{q_{j}(\gamma_{j}-1)}g_{j}(t,s) \\ &\hphantom{\varphi(u(t))\leq}{}\times \omega_{j}\Bigl(\max_{\xi\in[c_{j}(s)-h, c_{j}(s)]}f \bigl(u(\xi)\bigr)\Bigr)\,ds,\quad t\in[t_{0},t_{1}), \\ &u(t)\leq\psi(t),\quad t\in\bigl[b^{*}(t_{0})-h,t_{0} \bigr], \end{aligned}$$
(1.6)
2 Main result
Consider system (1.6) of integral inequalities with \(t_{0}< t_{1}\) in \(\mathbb{R}_{+}:=[0,\infty)\). \(C(M,S)\) denotes the class of all continuous functions defined on set M with range in the set S. \(B(\xi,\eta)=\int^{1}_{0}s^{\xi-1}(1-s)^{\eta-1}\,ds\) (\(\xi, \eta\in\mathbb{C}\), \(\operatorname{Re} \xi>0\), \(\operatorname{Re} \eta>0\)) is the well-known beta function. As in [9], we say \(\mu_{1}\propto\mu_{2}\) for \(\mu_{1},\mu_{2}: A\subset\mathbb{R}\rightarrow\mathbb{R}\setminus\{ 0\}\) if \({\mu_{2}(s)}/{\mu_{1}(s)} \) is nondecreasing on A.
Anzeige
Suppose that
(H1)
all \(b_{i}: [t_{0},t_{1})\rightarrow\mathbb{R}_{+}\) (\(i=1,2,\ldots,m+n\)), \(c_{j}: [t_{0},t_{1})\rightarrow\mathbb{R}_{+}\) (\(j=m+1,m+2,\ldots,m+n\)) are continuously differentiable and nondecreasing such that \(b_{i}(t)\leq t\), \(c_{j}(t)\le t\) on \([t_{0},t_{1})\);
(H2)
\(f, \varphi: \mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\), and \(\psi: [b^{*}(t_{0})-h, t_{0}]\rightarrow\mathbb{R}_{+}\) are continuous functions, φ is strictly increasing such that \(\lim_{t\rightarrow +\infty}\varphi(t)=+\infty\);
(H3)
all \(g_{i}(t,s)\) (\(i=1,2,\ldots,m+n\)) are continuous and nonnegative functions on \([t_{0},t_{1})\times[b^{*}(t_{0}),t_{1})\);
(H4)
all \(\omega_{i}\) (\(i=1,2,\ldots,m+n\)) are continuous on \(\mathbb{R}_{+}\) and positive on \((0,+\infty)\);
(H5)
\(a(t)\) is continuous and nonnegative function on \([t_{0}, t_{1})\);
(H6)
\(k_{i}, q_{i}\in[0,1]\), \(\alpha_{i}\in(0,1]\), \(\beta_{i}\in(0,1)\), \(pq_{i}(\gamma_{i}-1)+1>0\), \(pk_{i}(\beta_{i}-1)+1>0\) such that \(\frac {1}{p}+k_{i}\alpha_{i}(\beta_{i}-1)+q_{i}(\gamma_{i}-1)\ge0\) (\(p>1\), \(i=1,2,\ldots,m+n\)).
For those \(\omega_{i}\)’s given in (H4), define \(\tilde{\omega}_{i}(t)\) inductively by where \(\hat{\omega}_{j}(t):=\max_{\tau\in[0, t] }\{\bar{\omega }_{j}(\tau)\}\) for \(j=m+1,\ldots, m+n\), \(\bar{\omega}_{i}(t):=\omega_{i}(t)+\varepsilon_{i}\) for \(t\ge0\), \(\epsilon_{i}:= \varepsilon_{1}\) if \(\omega_{i}(0)=0 \mbox{ or }:=0\) if \(\omega_{i}(0)\neq0\) for \(i=1,2,\ldots, m+n\), and \(\varepsilon_{1}>0\) be a given very small constant.
$$ \left \{ \textstyle\begin{array}{@{}l} \tilde{\omega}_{1}(t):=\max_{\tau\in[0, t] }\{\bar{\omega}_{1}(\tau )\},\quad t\ge0,\\ \tilde{\omega}_{i+1}(t):=\max_{\tau\in[0, t] }\{\frac{\bar {\omega}_{i+1}(\tau)}{\tilde{\omega}_{i}(\tau)}\}\tilde{\omega}_{i}(t),\quad t\ge0, i=1,2,\ldots,m-1,\\ \tilde{\omega}_{m+1}(t) := \max_{\tau\in[0, t] }\{\frac {\hat{\omega}_{m+1}(\max_{s\in[0, \tau] }\{f(s)\})}{\tilde{\omega}_{m}(\tau)}\}\tilde{\omega}_{m}(t), \quad t\ge0,\\ \tilde{\omega}_{j+1}(t) := \max_{\tau\in[0, t] }\{\frac {\hat{\omega}_{j+1}(\max_{s\in[0, \tau] }\{f(s)\})}{\tilde{\omega}_{j}(\tau)}\}\tilde{\omega}_{j}(t),\quad t\ge0, j=m+1, \ldots,m+n-1, \end{array}\displaystyle \right . $$
(2.1)
Remark 1
If f and \(\omega_{i}(u)\) (\(i=1,\ldots,m\)) are continuous and nondecreasing functions on \(\mathbb{R}+ \) and are positive on \((0,\infty)\) such that \(\omega_{1}\varpropto\cdots \varpropto\omega_{m}\varpropto\omega_{m+1}\circ f\propto\cdots\varpropto \omega_{m+n}\circ f\), then define function \(\tilde{\omega}_{i}(u): =\omega_{i}(u) \) (\(i=1, \ldots, m\)), \(\tilde{\omega }_{j}(u): =\omega_{i}(f(u))\) (\(j=m+1, \ldots, m+n\)).
Theorem 2.1
Suppose that (H1)-(H6) hold, \(\max_{s\in[b^{*} (t_{0})-h,t_{0}]}\psi(s)\leq\varphi^{-1}( (1+m+n)^{1-1/q} a(t_{0}))\), and
\(u\in C([b^{*}(t_{0})-h,t_{1}),\mathbb{R}_{+})\)
satisfies system (1.6) of integral inequalities.
Then
for all
\(t\in[t_{0},T]\), where
\(W_{i}^{-1}\)
is the inverse of the function
\(u_{i}>0\)
is a given constant, \(\tilde{\omega}_{i}\) (\(i=1,2,\ldots,m+n\)) are defined by (2.1), \(r_{i}(t)\)
is defined by
\(r_{1}(t):=\hat{a}(t)\)
and
$$\begin{aligned} u(t)\leq\varphi^{-1} \biggl\{ \biggl(W_{m+n}^{-1} \biggl(W_{m+n} \bigl(r_{m+n}(t) \bigr) + \int_{b_{m+n}(t_{0})}^{b_{m+n}(t)}\tilde{g}_{m+n}(t,s)\,ds \biggr) \biggr)^{\frac{1}{q}} \biggr\} \end{aligned}$$
(2.2)
$$ W_{i}(u):= \int_{u_{i}}^{u}\frac{dx}{\tilde{\omega}^{q}_{i}(\varphi^{-1}(x^{\frac {1}{q}}))},\quad u\ge u_{i}>0, i=1, \ldots,m+n, $$
(2.3)
$$\begin{aligned}& r_{i+1}(t):=W_{i}^{-1} \biggl(W_{i} \bigl(r_{i}(t) \bigr)+ \int_{b_{i}(t_{0})}^{b_{i}(t)}\tilde {g}_{i}(t,s)\,ds \biggr),\quad i=1,2,\ldots,m+n-1, \end{aligned}$$
(2.4)
$$\begin{aligned}& \tilde{g_{i}}(t,s):=(1+m+n)^{q-1}d^{q}_{i}(t) \Bigl(\max_{\iota\in [t_{0}, t ]}g_{i}(\iota,s) \Bigr)^{q},\quad t\ge t_{0}, \end{aligned}$$
(2.5)
\(\hat{a}(t):=(1+m+n)^{q-1}(\max_{\tau\in[t_{0}, t] }\{a(\tau)\})^{q}\), \(d_{i}(t):=\alpha_{i}^{-\frac{1}{p}}t^{\alpha_{i}k_{i}(\beta _{i}-1)+q_{i}(\gamma_{i}-1)+1/p}B(\frac{pq_{i}(\gamma_{i}-1)+1}{\alpha_{i}}, pk_{i}(\beta_{i}-1)+1)^{\frac{1}{p}}\), \(\frac{1}{p}+\frac{1}{q}=1\), and
\(T< t_{1}\)
is the largest number such that
$$\begin{aligned} W_{i} \bigl(r_{i}(T) \bigr)+ \int_{\alpha_{i}(t_{0})}^{\alpha_{i}(T)}\max_{\iota\in [t_{0}, T]}f(\iota,s) \,ds\leq \int_{u_{i}}^{\infty}\frac{dz}{\tilde{\omega }^{q}_{i}(\varphi^{-1}(z^{\frac{1}{q}}))},\quad i=1,2,3, \ldots,m+n. \end{aligned}$$
(2.6)
In order to prove the theorem, we need the following lemma.
Lemma 2.1
Let
α, β, γ, and
p
be positive constants, a
and
b
be nonnegative constants. Then
where
\(\delta:=p[a\alpha(\beta-1)+b(\gamma-1)]+1\ge0\).
$$ \int^{t}_{0} \bigl(t^{\alpha}-s^{\alpha} \bigr)^{pa(\beta-1)}s^{pb(\gamma -1)}\,ds=\frac{t^{\delta}}{\alpha}B \biggl( \frac{pb(\gamma-1)+1}{\alpha}, pa(\beta-1)+1 \biggr),\quad t\in{\mathbb{R}_{+}}, $$
Proof
Change the variable v: \(t^{\alpha}v=s^{\alpha}\), then \(ds=\frac {t}{\alpha}v^{(1-\alpha)/\alpha}\,dv\), and we have This completes the proof. □
$$\begin{aligned} \int^{t}_{0} \bigl(t^{\alpha}-s^{\alpha} \bigr)^{pa(\beta-1)}s^{pb(\gamma -1)}\,ds =& \int_{0}^{1} \bigl(t^{\alpha}-t^{\alpha}v \bigr)^{pa(\beta-1)} \bigl(tv^{1/\alpha} \bigr)^{pb(\gamma-1)} \frac{t}{\alpha}v^{(1-\alpha)/\alpha}\,dv \\ =&\frac{1}{\alpha}t^{p[a\alpha(\beta-1)+b(\gamma-1)]+1} \int _{0}^{1}v^{\frac{pb(\gamma-1)+1}{\alpha}-1}(1-v)^{pa(\beta-1)} \,dv \\ =&\frac{t^{\delta}}{\alpha}B \biggl(\frac{pb(\gamma-1)+1}{\alpha}, pa(\beta -1)+1 \biggr),\quad t \ge0. \end{aligned}$$
Lemma 2.2
(Discrete Jensen inequality)
Let If
\(A_{1},\ldots, A_{n}\)
be nonnegative for real numbers and
\(r>1\). Then
$$(A_{1}+\cdots+A_{n})^{r}\le n^{r-1} \bigl(A^{r}_{1}+\cdots+A^{r}_{n} \bigr). $$
Lemma 2.3
(see [8])
Suppose that
If
\(u(t)\)
is a continuous and nonnegative function on
\([t_{0},t_{1})\)
satisfying
then
where for all
\(t\in[t_{0},T_{1}]\), where
\(H_{i}^{-1}\)
is the inverse of the function
\(\hat{r}_{n}(t)\)
is defined by
\(\hat{r}_{1}(t):=a(t_{0})+\int_{t_{0}}^{t} |a'(s)|\,ds\), and
and
\(T_{1}< t_{1}\)
is the largest number such that
(C1)
all
\(h_{i}\) (\(i=1,2,\ldots,n\)) are continuous and nondecreasing on
\(\mathbb{R}_{+}\)
and are positive on
\((0,\infty)\)
such that
\(h_{1}\propto h_{2}\propto\cdots\propto h_{m+n}\);
(C2)
\(a(t)\)
is continuously differentiable in
t
and nonnegative on
\([t_{0},t_{1})\)
where
\(t_{0}\), \(t_{1}\)
are constants and
\(t_{0}< t_{1}\);
(C3)
all
\(b_{i}: [t_{0},t_{1})\rightarrow\mathbb{R}_{+}\) (\(i=1,2,\ldots,n\)) are continuously differentiable and nondecreasing such that
\(b_{i}(t)\leq t\)
on
\([t_{0},t_{1})\);
(C4)
all
\(f_{i}(t,s)\), \(i=1,\ldots, n\), are continuous and nonnegative functions on
\([t_{0},t_{1})\times[t_{0},t_{1})\).
$$\begin{aligned} u(t) \le a(t)+\sum_{i=1}^{n} \int_{b_{i}(t_{0})}^{b_{i}(t)} f_{i}(t,s)h_{i} \bigl(u(s) \bigr)\,ds,\quad t_{0}\le t< t_{1}, \end{aligned}$$
$$\begin{aligned} u(t)\leq W_{n}^{-1} \biggl[W_{n} \bigl({r}_{n}(t) \bigr)+ \int _{b_{n}(t_{0})}^{b_{n}(t)}\max_{t_{0}\le\tau\le t}f_{i}( \tau,s)\,ds \biggr],\quad t_{0}\le t\le T_{1}, \end{aligned}$$
$$\begin{aligned} H_{i}(u):= \int_{u_{i}}^{u}\frac{dx}{h_{i}(x)},\quad u\ge u_{i}>0, i=1,2,\ldots,n, \end{aligned}$$
$$\begin{aligned} \hat{r}_{i+1}(t):= H_{i}^{-1} \biggl(H_{i} \bigl(\hat{r}_{i}(t) \bigr)+ \int_{\alpha _{i+1}(t_{0})}^{\alpha_{i+1}(t)}\max_{t_{0}\le\tau\le t}f_{i}( \tau ,s)\,ds \biggr),\quad i=1,2,\ldots,n-1, \end{aligned}$$
$$\begin{aligned} H_{i} \bigl(\hat{r}_{i}(T_{1}) \bigr)+ \int_{\alpha_{i}(t_{0})}^{\alpha_{i}(T_{1})}\max_{t_{0}\le\tau\le t}f_{i}( \tau,s)\,ds\leq \int_{u_{i}}^{\infty}\frac {dz}{h_{i}(z)} ,\quad i=1,2,3, \ldots,n. \end{aligned}$$
Proof of Theorem 2.1
First of all, we monotonize some given functions f, \(\omega_{i}\), and a in system (1.6) of integral inequalities. Let From (2.3) we see that the function \(W_{i}\) is strictly increasing and therefore its inverse \(W_{i}^{-1}\) is well defined, continuous, and increasing in its domain. The sequence \(\{\tilde{\omega}_{i}(t)\}\), defined by \(\omega_{i}(s)\), consists of nondecreasing nonnegative functions on \(\mathbb{R}_{+} \) and satisfies Moreover, because the ratios \({\tilde{\omega}_{i+1}(t)}/{\tilde{\omega}_{i}(t)}\), \(i=1,2,\ldots,m+n\), are all nondecreasing. Furthermore, let which is nondecreasing in t for each fixed s and satisfies \(\hat {g}_{i}(t,s)\geq g_{i}(t,s)\geq0\) for all \(i=1,2,\ldots,m+n\). We note that \(\tilde{a}(t)\ge a(t)\) and \(\hat{g}_{i}(t,s)\ge f_{i}(t,s)\) and they are continuous and nondecreasing in t. From the monotonicity of \(\tilde{f}(t)\) we obtain the inequality
$$\begin{aligned} \tilde{f}(t):=\max_{\tau\in[0, t] } \bigl\{ f(\tau) \bigr\} ,\quad t\ge0, \qquad\tilde{a}(t):=\max_{\tau\in[t_{0}, t] } \bigl\{ a(\tau) \bigr\} , \quad t\ge t_{0} . \end{aligned}$$
(2.7)
$$ \begin{aligned} &\omega_{i}(t) \le \tilde{ \omega}_{i}(t),\quad i=1,2,\ldots ,m, \\ &\omega_{i}(t) \le \hat{\omega}_{i}(t),\quad i=m+1,\ldots ,m+n, \\ &\hat{\omega}_{i} \bigl(\tilde{f}(t) \bigr)\le \tilde{ \omega}_{i}(t),\quad i=m+1,\ldots,m+n. \end{aligned} $$
(2.8)
$$\begin{aligned} \tilde{\omega}_{i}\varpropto\tilde{\omega}_{i+1},\quad i=1,2, \ldots,m+n, \end{aligned}$$
(2.9)
$$\begin{aligned} \hat{g}_{i}(t,s) :=\max_{\iota\in[t_{0}, t ]}g_{i}( \iota,s), \end{aligned}$$
(2.10)
$$\begin{aligned} \max_{\xi\in[c_{i}(s)-h,c_{i}(s)]} f \bigl(u(\xi) \bigr) \le& \max _{\xi\in[c_{i}(s)-h,c_{i}(s)]} \tilde{f} \bigl(u(\xi) \bigr) \\ \le& \tilde{f} \Bigl(\max_{\xi\in[c_{i}(s)-h,c_{i}(s)]} u(\xi) \Bigr), \quad\forall s \in\bigl[b^{*}(t_{0}), t_{1}\bigr). \end{aligned}$$
(2.11)
From (1.6), (2.8), (2.11), and the definition of \(\hat{g}_{i}(t,s)\), we obtain
$$ \begin{aligned} &\varphi \bigl(u(t) \bigr) \leq \tilde{a}(t)+\sum _{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{k_{i}(\beta_{i}-1)}s^{q_{i}({\gamma }_{i}-1)}\hat{g}_{i}(t,s)\tilde{ \omega}_{i} \bigl(u(s) \bigr)\,ds \\ &\hphantom{\varphi (u(t) ) \leq}{} +\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{k_{j}(\beta_{j}-1)}s^{q_{j}(\gamma_{j}-1)}\hat {g}_{j}(t,s) \\ &\hphantom{\varphi (u(t) ) \leq}{} \times\hat{\omega}_{j} \Bigl(\tilde{f} \Bigl(\max _{\xi\in [c_{j}(s)-h,c_{j}(s)]}u(\xi) \Bigr) \Bigr)\,ds \\ &\hphantom{\varphi (u(t) )}\leq \tilde{a}(t)+\sum_{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{k_{i}(\beta_{i}-1)}s^{q_{i}({\gamma }_{i}-1)}\hat{g}_{i}(t,s)\tilde{ \omega_{i}} \bigl(u(s) \bigr)\,ds \\ &\hphantom{\varphi (u(t) ) \leq}{} +\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{k_{j}(\beta_{j}-1)}s^{q_{j}(\gamma_{j}-1)}\hat {g}_{j}(t,s) \\ &\hphantom{\varphi (u(t) ) \leq}{}\times\tilde{\omega}_{j} \Bigl(\max _{\xi\in[c_{j}(s)-h,c_{j}(s)]}u(\xi) \Bigr)\,ds,\quad t\in\bigl[b_{j}(t_{0}),t_{1}\bigr), \\ &u(t) \leq \psi(t),\quad t\in \bigl[b^{*}(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(2.12)
Let \(\frac{1}{p}+\frac{1}{q}=1\), \(p>1\), then \(q>0\). Since \(pq_{i}(\gamma_{i}-1)+1>0\), \(pk_{i}(\beta_{i}-1)+1>0\), and \(\frac {1}{p}+k_{i}\alpha_{i}(\beta_{i}-1)+q_{i}(\gamma_{i}-1)\ge0\) for \(i=1,\ldots ,m+n\). By Lemma 2.1, Hölder’s inequality, and (2.12) we get for \(t\in[t_{0}, t_{1})\)
where we use \(0\le b_{i}(t)\le t\) and the definition of \(d_{i}(t)\).
$$\begin{aligned} \varphi \bigl(u(t) \bigr) \leq& \tilde{a}(t)+\sum _{i=1}^{m} \biggl( \int _{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{pk_{i}(\beta _{i}-1)}s^{pq_{i}(\gamma_{i}-1)}\,ds \biggr)^{\frac{1}{p}} \biggl( \int_{b_{i}(t_{0})}^{b_{i}(t)} \hat{g}^{q}_{i}(t,s) \tilde{\omega}^{q}_{i} \bigl(u(s) \bigr)\,ds \biggr)^{\frac{1}{q}} \\ &{} +\sum_{j=m+1}^{m+n} \biggl( \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{pk_{j}(\beta_{j}-1)}s^{pq_{j}(\gamma _{j}-1)}\,ds \biggr)^{\frac{1}{p}} \\ &{}\times \biggl( \int_{b_{j}(t_{0})}^{b_{j}(t)} \hat{g}^{q}_{j}(t,s) \tilde{\omega}^{q}_{j} \Bigl(\max_{\xi\in [c_{j}(s)-h,c_{j}(s)]}u( \xi) \Bigr)\,ds \biggr)^{\frac{1}{q}} \\ \le& \tilde{a}(t)+\sum_{i=1}^{m} \biggl( \int_{0}^{t} \bigl(t^{\alpha _{i}}-s^{\alpha_{i}} \bigr)^{pk_{i}(\beta_{i}-1)}s^{pq_{i}((\gamma_{i}-1))}\,ds \biggr)^{\frac{1}{p}} \biggl( \int_{b_{i}(t_{0})}^{b_{i}(t)} \hat{g}^{q}_{i}(t,s) \tilde{\omega}^{q}_{i} \bigl(u(s) \bigr)\,ds \biggr)^{\frac{1}{q}} \\ &{} +\sum_{j=m+1}^{m+n} \biggl( \int_{0}^{t} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{pk_{j}(\beta_{j}-1)}s^{pq_{j}(\gamma _{j}-1)}\,ds \biggr)^{\frac{1}{p}} \\ &{}\times \biggl( \int_{b_{j}(t_{0})}^{b_{j}(t)} \hat{g}^{q}_{j}(t,s) \tilde{\omega}^{q}_{j} \Bigl(\max_{\xi\in[c_{j}(s)-h,c_{j}(s)]}u( \xi) \Bigr)\,ds \biggr)^{\frac{1}{q}} \\ \le& \tilde{a}(t)+\sum_{i=1}^{m} d_{i}(t) \biggl( \int_{b_{i}(t_{0})}^{b_{i}(t)} \hat{g}^{q}_{i}(t,s) \tilde{\omega}_{i}^{q} \bigl(u(s) \bigr)\,ds \biggr)^{\frac{1}{q}} \\ &{} +\sum_{j=m+1}^{m+n} d_{j}(t) \biggl( \int_{b_{j}(t_{0})}^{b_{j}(t)}\hat {g}^{q}_{j}(t,s) \tilde{\omega}_{j}^{q} \Bigl(\max_{\xi\in[c_{j}(s)-h,c_{j}(s)]}u( \xi) \Bigr)\,ds \biggr)^{\frac{1}{q}}, \end{aligned}$$
(2.13)
By Lemma 2.2 and (2.13), we get for \(t\in[t_{0}, t_{1})\)
Then from (2.4), we see that \(\hat{r}_{1}(t)\) is nondecreasing on \([t_{0},t_{1})\). By the definition of \(\tilde{g}_{i}(t,s)\) and \(\hat{r}_{1}(t)\), and (2.14), we have Consider the auxiliary system of inequalities with (2.15) for all \(t\in[t_{0},\sigma]\), where σ is chosen arbitrarily such that \(t_{0}\leq\sigma\leq T_{1}\).
$$\begin{aligned} \varphi^{q} \bigl(u(t) \bigr) \le& (1+m+n)^{q-1} \Biggl[\tilde{a}^{q}(t)+\sum _{i=1}^{m} d^{q}_{i}(t) \int _{b_{i}(t_{0})}^{b_{i}(t)} \hat{g}^{q}_{i}(t,s) \tilde{\omega}^{q}_{i} \bigl(u(s) \bigr)\,ds \\ &{} + \sum_{j=m+1}^{m+n} d^{q}_{j}(t) \int_{b_{j}(t_{0})}^{b_{j}(t)}\hat {g}^{q}_{j}(t,s) \tilde{\omega}^{q}_{j} \Bigl(\max_{\xi\in [c_{j}(s)-h,c_{j}(s)]}u( \xi) \Bigr)\,ds \Biggr]. \end{aligned}$$
(2.14)
$$ \begin{aligned} &\varphi^{q} \bigl(u(t) \bigr) \le \hat{r}_{1}(t)+\sum_{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \tilde{g}_{i}(t,s)\tilde{ \omega}^{q}_{i} \bigl(u(s) \bigr)\,ds \\ &\hphantom{\varphi^{q} (u(t) ) \le}{} +\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)}\tilde {g}_{j}(t,s)\tilde{ \omega}^{q}_{j} \Bigl(\max_{\xi\in [c_{j}(s)-h,c_{j}(s)]}u(\xi) \Bigr)\,ds,\quad t\in[t_{0}, t_{1}), \\ &u(t) \le \psi (t),\quad t\in \bigl[b^{*}(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(2.15)
$$\begin{aligned} \varphi^{q} \bigl(u(t) \bigr) \le& \hat{r}_{1}(\sigma)+\sum_{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \tilde{g}_{i}(\sigma,s) \tilde{\omega}^{q}_{i} \bigl(u(s) \bigr)\,ds \\ &{} +\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)}\tilde{g}_{j}(\sigma ,s) \tilde{\omega}^{q}_{j} \Bigl(\max_{\xi\in[c_{j}(s)-h,c_{j}(s)]}u( \xi ) \Bigr)\,ds, \end{aligned}$$
(2.16)
Notice that \(\max_{s\in[b^{*}(t_{0})-h,t_{0}]}\psi(s)\leq\varphi^{-1}(\hat {r}^{1/q}_{1}(\sigma)) \) because \(\max_{s\in[J(t_{0})-h,t_{0}]}\psi(s)\le\varphi^{-1} ((1+m+n)^{\frac{p-1}{p}}a^{\frac{1}{q}}(t_{0}))\le\varphi^{-1}(\hat {r}_{1}(\sigma))\). Define a function \(z(t): [B^{*}(t_{0})-h, \sigma]\rightarrow\mathbb{R}_{+}\) such that Clearly, \(z(t)\) is nondecreasing. By (2.16) and the definition of \(z(t)\) we have Since \(z(t)\) is nondecreasing, from (2.17) we obtain It follows from (2.17), (2.18), and the definition of \(z(t)\) that In order to demonstrate the basic condition of monotonicity, let \(e(t):=\varphi^{-1}(t^{\frac{1}{q}})\), which is clearly a continuous and nondecreasing function on \(\mathbb{R}_{+}\). Thus, for each i, \(\tilde{\omega}_{i}(e(t))\) is continuous and nondecreasing on \(\mathbb{R}_{+}\) and \(\tilde{\omega}_{i}(e(t))>0 \) for \(t>0\). Moreover, since \(\tilde{\omega }_{i}(t)\propto\tilde{\omega}_{i+1}(t)\), we see that the ratio \(\tilde{\omega}_{i+1}(b(t))/\tilde{\omega }_{i}(e(t))\) is also a continuous and nondecreasing function on \(\mathbb{R}_{+}\) and satisfies \(\tilde{\omega}_{i}(e(t))>0\) for \(t>0\), implying that \(\tilde{\omega}^{q}_{i}(e(t))\varpropto\tilde{\omega}^{q}_{i+1}(e(t))\), \(i=2,\ldots, m+n-1\). Applying Lemma 2.3 to the case that \(f_{i}(t,s)=\tilde{g}_{i}(\sigma ,s)\), \(a(t)=\hat{r}_{1}(\sigma)\), and \(\omega_{i}(t)=\tilde{\omega}^{q}_{i}(\varphi^{-1}(t^{\frac{1}{q}}))\), \(i=1,2,\ldots,m+n\), from (2.19) we obtain for all \(t_{0}\le t \le\min\{\sigma,T_{1}\}\), where and \(T_{1}< t_{1}\) is the largest number such that for \(i=1,2,3,\ldots,m+n\). Notice that \(T\leq T_{1}\). In fact, \(W_{i}\) is strictly increasing by (2.3), so its inverse \(W_{i}^{-1}\) is continuous and increasing in its corresponding domain by (2.3). It follows from (2.21) and the definition of \(\tilde{g}_{i}(\sigma,s)\) that \(\tilde{r}_{i}(\sigma,t)\) and \(\tilde{g}_{i}(\sigma,s)\) are nondecreasing in σ. Thus, \(T_{1}\) satisfying (2.22) gets smaller as σ is chosen larger. In particular, \(T_{1}\) satisfies the same equation (2.6) as T when \(\sigma=T\). It follows from (2.17) and (2.20) that Taking \(t=\sigma\) in (2.23), we have for \(0\le\sigma\le T\). It is easy to verify \(\tilde{r}_{i}(\sigma,\sigma)=\hat{r}_{i}(\sigma)\).
$$\begin{aligned} z(t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \hat{r}_{1}(\sigma)+\sum_{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \tilde{g}_{i}(\sigma,s)\tilde{\omega}_{i}^{q}(u(s))\,ds\\ \quad{}+\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \tilde{g}_{j}(\sigma,s)\tilde{\omega}_{j}^{q} (\max_{\xi\in [c_{j}(s)-h,c_{j}(s)]}u(\xi) )\,ds,& t\in[t_{0},\sigma],\\ \hat{r}_{1}(\sigma),& t\in[b^{*}(t_{0})-h, t_{0}]. \end{array}\displaystyle \right . \end{aligned}$$
$$ u(t)\leq \varphi^{-1} \bigl(z^{\frac{1}{q}}(t) \bigr), \quad t \in \bigl[b^{*}(t_{0})-h, \sigma \bigr]. $$
(2.17)
$$\begin{aligned} \max_{\xi\in[c_{j}(s)-h,c_{j}(s)]} u(\xi) \le& \max _{\xi\in[c_{j}(s)-h,c_{j}(s)]} \varphi^{-1} \bigl(z^{\frac{1}{q}}(\xi) \bigr) \\ \le& \varphi^{-1} \bigl(z^{\frac{1}{q}} \bigl(c_{j}(s) \bigr) \bigr)\le\varphi ^{-1} \bigl(z^{\frac{1}{q}}(s) \bigr),\quad s\in \bigl[b_{j}(t_{0}), b_{j}(\sigma) \bigr]. \end{aligned}$$
(2.18)
$$\begin{aligned} z(t) \leq& \hat{r}_{1}(\sigma)+\sum _{i=1}^{m} \int _{b_{i}(t_{0})}^{b_{i}(t)} \tilde{g}_{i}(\sigma,s) \tilde{\omega}^{q}_{i} \bigl(\varphi^{-1} \bigl(z^{\frac {1}{q}}(s) \bigr) \bigr)\,ds \\ &{} +\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \tilde{g}_{j}(\sigma,s) \tilde{\omega}^{q}_{j} \bigl(\varphi^{-1} \bigl(z^{\frac {1}{q}}(s) \bigr) \bigr)\,ds,\quad t\in[t_{0},\sigma]. \end{aligned}$$
(2.19)
$$\begin{aligned} z(t)\leq W_{m+n}^{-1} \biggl(W_{m+n} \bigl( \hat{r}_{m+n}(\sigma,t) \bigr)+ \int _{b_{m+n}(t_{0})}^{b_{m+n}(t)}\tilde{g}_{m+n}(\sigma,s) \,ds \biggr) \end{aligned}$$
(2.20)
$$\begin{aligned} &\tilde{r}_{1}(\sigma,t) := \hat{r}_{1}( \sigma ), \\ &\tilde{r}_{i+1}(\sigma,t) := W_{i}^{-1} \biggl(W_{i} \bigl(\tilde {r}_{i}(\sigma,t) \bigr) + \int_{b_{i}(t_{0})}^{b_{i}(t)}\tilde{g}_{i}(\sigma,s)\,ds \biggr),\quad i=1,2,\ldots,m+n-1, \end{aligned}$$
(2.21)
$$\begin{aligned} W_{i} \bigl(\tilde{r}_{i}(\sigma,T_{1}) \bigr)+ \int_{b_{i}(t_{0})}^{b_{i}(T_{1})}\tilde {g}_{i}(\sigma,s) \,ds \leq \int_{u_{i}}^{\infty}\frac{dz}{\tilde{\omega }^{q}_{i}(\varphi^{-1}(z^{\frac{1}{q}}))} \end{aligned}$$
(2.22)
$$\begin{aligned} u(t)\leq\varphi^{-1} \biggl( \biggl(W_{m+n}^{-1} \biggl(W_{m+n} \bigl(\tilde {r}_{m+n}(\sigma,t) \bigr)+ \int_{b_{m+n}(t_{0})}^{b_{m+n}(t)}\tilde {g}_{m+n}(\sigma,s) \,ds \biggr) \biggr)^{1/q} \biggr) . \end{aligned}$$
(2.23)
$$\begin{aligned} u(\sigma)\leq\varphi^{-1} \biggl( \biggl( W_{m+n}^{-1} \biggl(W_{m+n} \bigl( \tilde{r}_{m+n}(\sigma,\sigma) \bigr)+ \int _{b_{m+n}(t_{0})}^{b_{m+n}(\sigma)}\tilde{g}_{m+n}(\sigma,s) \,ds \biggr) \biggr)^{1/q} \biggr) \end{aligned}$$
(2.24)
Thus, (2.24) can be written for \(0\le\sigma\le T\). Since σ is arbitrary, replacing σ with t, we get for \(t_{0}\le t \le T\). This completes the proof. □
$$\begin{aligned} u(\sigma)\leq\varphi^{-1} \biggl( \biggl(W_{m+n}^{-1} \biggl(W_{m+n} \bigl(\tilde {r}_{m+n}(\sigma) \bigr) + \int_{b_{m+n}(t_{0})}^{b_{m+n}(\sigma)}\tilde{g}_{m+n}(\sigma,s)\,ds \biggr) \biggr)^{1/q} \biggr) \end{aligned}$$
(2.25)
$$\begin{aligned} u(t)\leq\varphi^{-1} \biggl( \biggl(W_{m+n}^{-1} \biggl(W_{m+n} \bigl(\tilde{r}_{m+n}(t) \bigr) + \int_{b_{m+n}(t_{0})}^{b_{m+n}(t)}\tilde{g}_{m+n}(t,s)\,ds \biggr) \biggr)^{1/q} \biggr) \end{aligned}$$
(2.26)
Corollary 2.1
Suppose that (H1)-(H6) hold, and
\(u\in C((b^{*}(t_{0})-h,t_{1}),\mathbb{R}_{+})\)
satisfies
where
\(c\ge0\)
is a constant. Then
for all
\(t\in[t_{0},t_{3})\), where
\(W_{i}^{-1}\)
is the inverse of
\(W_{i}\), \(W_{i}\)
is defined in (2.3), \(\bar{r}_{i}(t)\)
is defined by
\(\bar{r}_{1}(t):=\varphi^{q}(M)\)
and
\(M:=\max(\max_{s\in[b^{*}(t_{0})-h,t_{0}]}\psi(s) ,\varphi ^{-1}((1+m+n)^{1-1/q}c))\), \(\frac{1}{p}+\frac{1}{q}=1\), \(t_{3}< t_{1}\)
is the largest number such that
and
\(\tilde{\omega}_{i}\)
and
\(\tilde{g}_{i}\)
are defined by (2.1) and (2.5), respectively.
$$ \begin{aligned} &\varphi\bigl(u(t)\bigr)\leq c+\sum _{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{k_{i}(\beta_{i}-1)}s^{q_{i}(\gamma _{i}-1)}g_{i}(t,s)\omega_{i} \bigl(u(s)\bigr)\,ds \\ &\hphantom{\varphi(u(t))\leq}{}+\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{k_{j}(\beta_{j}-1)}s^{q_{j}(\gamma_{j}-1)}g_{j}(t,s) \\ &\hphantom{\varphi(u(t))\leq}{}\times\omega_{j} \Bigl(\max_{\xi\in[c_{j}(s)-h, c_{j}(s)]}f \bigl(u(\xi)\bigr)\Bigr)\,ds,\quad t\in[t_{0},t_{1}), \\ & u(t) \leq\psi(t), \quad t\in\bigl[b^{*}(t_{0})-h,t_{0} \bigr], \end{aligned} $$
(2.27)
$$\begin{aligned} u(t)\leq\varphi^{-1} \biggl\{ \biggl( W_{m+n}^{-1} \biggl(W_{m+n} \bigl(\bar{r}_{m+n}(t) \bigr) + \int_{b_{m+n}(t_{0})}^{b_{m+n}(t)}\tilde{g}_{m+n}(t,s)\,ds \biggr) \biggr)^{1/q} \biggr\} \end{aligned}$$
(2.28)
$$\begin{aligned} \bar{r}_{i+1}(t):= W_{i}^{-1} \biggl(W_{i} \bigl(\bar{r}_{i}(t) \bigr)+ \int _{b_{i}(t_{0})}^{b_{i}(t)}\tilde{g}_{i}(t,s)\,ds \biggr),\quad i=1,2,\ldots,m+n-1, \end{aligned}$$
(2.29)
$$\begin{aligned} W_{i} \bigl(\bar{r}_{i}(t_{3}) \bigr)+ \int_{b_{i}(t_{0})}^{b_{i}(t_{3})}\tilde{g}_{i}(t_{3},s) \,ds\leq \int_{u_{i}}^{\infty}\frac{dz}{\tilde{\omega}^{q}_{i} (\varphi^{-1}(z^{\frac{1}{q}}))},\quad i=1,2,3, \ldots,m+n, \end{aligned}$$
(2.30)
Proof
From (2.27) and the definition of M we get Then from (2.31) we obtain (2.28) by Theorem 2.1, where we choose \(a(t)(1+m+n)^{1/q-1}\varphi(M)\). This completes the proof. □
$$ \begin{aligned} &\varphi\bigl(u(t)\bigr) \leq (1+m+n)^{1/q-1}\varphi(M)\\ &\hphantom{\varphi(u(t)) \leq}{}+\sum_{i=1}^{m} \int_{b_{i}(t_{0})}^{b_{i}(t)} \bigl(t^{\alpha_{i}}-s^{\alpha_{i}} \bigr)^{k_{i}(\beta_{i}-1)}s^{q_{i}(\gamma _{i}-1)}g_{i}(t,s)\omega_{i} \bigl(u(s)\bigr)\,ds \\ &\hphantom{\varphi(u(t)) \leq}{}+\sum_{j=m+1}^{m+n} \int_{b_{j}(t_{0})}^{b_{j}(t)} \bigl(t^{\alpha_{j}}-s^{\alpha_{j}} \bigr)^{k_{j}(\beta_{j}-1)}s^{q_{j}(\gamma_{j}-1)}g_{j}(t,s) \\ &\hphantom{\varphi(u(t)) \leq}{}\times\omega_{j} \Bigl(\max_{\xi\in[c_{j}(s)-h, c_{j}(s)]}f \bigl(u(\xi)\bigr)\Bigr)\,ds,\quad t\in[t_{0},t_{1}), \\ &u(t)\leq M, \quad t\in\bigl[b^{*}(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(2.31)
3 Applications
In this section, we apply our result to estimate solutions for the nonlinear integral equation and integral equation with a weakly singular kernel and maxima separately.
3.1 Differential equation with the maxima
Consider a system of differential equations with maxima where c, λ (\(0<\lambda<1\)), \(t_{0}\ge0\), and \(h>0\) are constants, \(\psi_{1}\in C([\alpha(t_{0})-h,t_{0}], \mathbb{R})\), \(F\in C(\mathbb{R}_{+}\times\mathbb{R}^{2},\mathbb{R})\), \(\alpha, \beta\in C^{1}([t_{0},\infty),\mathbb{R}_{+})\), \(\alpha(t)\) is a nondecreasing function, \(\beta(t)\leq t\), \(\alpha(t)\leq t\), and \(0< \alpha(t)-\beta(t)\leq h\) for \(t\geq t_{0}\).
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} x'(t)= F(t,x(t),\max_{s\in[\beta(t),\alpha(t)]} x(s))+c\int _{0}^{t}(t-s)^{-\lambda}x'(s)\,ds, & t\ge t_{0},\\ x(t)=\psi_{1}(t),& t\in[\alpha(t_{0})-h, t_{0}], \end{array}\displaystyle \right . \end{aligned}$$
(3.1)
Equation (3.1) is more general than the equation considered in Section 3 of [26] so that the results of the integral inequalities obtained in [26] do not work. We will give an estimate for solutions of system (3.1).
Corollary 3.1
Suppose in system (3.1) that
where
\(h_{i}\in C(\mathbb{R}_{+},\mathbb{R}_{+})\) (\(i=1,2,3\)), all
\(\mu_{i}\) (\(i=1,2\)) are continuous and nondecreasing on
\(\mathbb{R}_{+}\)
and are positive on
\((0,\infty)\)
such that
\(\mu_{1}\propto\mu_{2}\), \(1< p<1/\lambda\), \(\frac {1}{p}+\frac{1}{q}=1\). For given
\(u_{1}>0\)
and
\(u_{2}>0\), let
$$\begin{aligned} \bigl|F(t,x,y) \bigr|\leq h_{1}(t)|x|\mu_{1} \bigl(|x| \bigr)+h_{2}(t)|y| \mu_{2} \bigl(|y| \bigr)+h_{3}(t),\quad t\ge 0,x,y\in\mathbb{R}, \end{aligned}$$
(3.2)
$$\begin{aligned}& Q_{1}(u) := \int_{u_{1}}^{u_{2}}\frac{ds}{s^{q}\mu ^{q}_{1}(s^{1/q})}\,ds,\quad u\ge u_{1}>0, \\& Q_{2}(u) := \int_{u_{2}}^{u}\frac{ds}{s^{q}\mu ^{q}_{2}(s^{1/q})}\,ds,\quad u\ge u_{2}>0. \end{aligned}$$
Then every solution
\(x(t,t_{0},\psi_{1})\)
of system (3.1) has the estimate
where
\(\gamma_{i}(t)\)
are defined by
\(\gamma(t):=4^{q-1}N^{q}(t)\exp (4^{q-1}t^{q(1-p\lambda)/p+1}|c|^{q}B(1,1-p\lambda)^{q/p})\)
and
\(N(t):=\max_{s\in[\alpha(t_{0})-h,t_{0}]}|\psi_{1}(s)| +|\psi_{1}(t_{0})|(1+|c|t^{1-\lambda}/(1-\lambda))+\int_{t_{0}}^{t}|h_{3}(s)|\,ds\)
for
\(t\ge t_{0}\), and
\(t^{*}\)
is the largest number such that
$$\begin{aligned} \bigl|x(t,t_{0},\psi_{1}) \bigr|\leq \biggl( Q_{2}^{-1} \biggl(Q_{2} \bigl(\gamma_{2}(t) \bigr)+4^{q-1}t^{q/p} \int _{t_{0}}^{t}h^{q}_{2}(s)\,ds \biggr) \biggr)^{1/q},\quad \forall t\in \bigl[t_{0},t^{*} \bigr], \end{aligned}$$
(3.3)
$$\begin{aligned}& \gamma_{1}(t): = Q_{1}^{-1} \biggl(Q_{1} \bigl(\gamma(t) \bigr)+4^{q-1}t^{q/p} \int _{t_{0}}^{t}h_{1}^{q}(s)\,ds \biggr), \\& \gamma_{2}(t): = Q_{1}^{-1} \biggl(Q_{2} \bigl(\gamma_{1}(t) \bigr)+4^{q-1}t^{q/p} \int _{t_{0}}^{t}h_{2}^{q}(s)\,ds \biggr), \end{aligned}$$
$$ \begin{aligned} &Q_{1} \bigl(\gamma_{1} \bigl(t^{*} \bigr) \bigr)+4^{q-1}t^{q/p} \int_{t_{0}}^{t^{*}}h^{q}_{1}(s)\,ds \leq \int_{u_{1}}^{\infty} \frac{ds}{s^{q}\mu^{q}_{1}(s^{1/q})}, \\ &Q_{2} \bigl(r_{2} \bigl(t^{*} \bigr) \bigr)+4^{q-1}t^{q/p} \int_{t_{0}}^{t^{*}}h_{2}^{q}(s)\,ds \leq \int_{u_{2}}^{\infty}\frac{ds}{s^{q}\mu^{q}_{2}(s^{1/q})}. \end{aligned} $$
(3.4)
Proof
Let \(M=\max_{s\in[\alpha(t_{0})-h,t_{0}]}|\psi_{1}(s)|\) and \(x(t)=x(t,t_{0},\psi_{1})\), the solution of system (3.1) defined for all \(t\geq\alpha(t_{0})-h \). The function \(x(t)\) satisfies the following integral equation: By (3.2) and the definition of \(N(t)\), we get from (3.5) Set \(u(t):=|x(t)|\) for \(t\in[\alpha(t_{0})-h,\infty)\). Then, using the inequality \(\max_{\xi\in[\beta(s),\alpha(s)]} u(\xi)\leq\max_{\xi\in[\alpha(s)-h,\alpha(s)]}u(\xi)\), we obtain Using our Theorem 2.1 to the specified \(m=2\), \(n=1\), \(\varphi(u)=u\), \(a(t)=N(t)\), \(\alpha_{i}=1\) (\(i=1,2,3\)), \(g_{1}(t,s)=1\), \(g_{i}(t,s)=h_{i-1}(s)\) (\(i=2,3\)), \(b_{i}(t)=t\) (\(i=1,2,3\)), \(\alpha _{i}=1\) (\(i=1,2,3\)), \(k_{1}=1\), \(q_{1}=0\), \(q_{i}=k_{i}=0\) (\(i=2,3\)), \(\beta_{1}=1-\lambda\), \(\omega_{1}(s)=s\), \(\omega_{2}(s)=s\mu_{1}(s)\), \(\omega_{3}(s)=s\mu_{2}(s)\), since \(\mu_{1}\varpropto\mu_{2}\), we see that the ratio \(\omega_{1}\varpropto\omega_{2}\varpropto\omega_{3}\), and from (3.7) we obtain for all \(t\in[t_{0},t^{*}]\), where \(t^{*}\) is given in (3.4). Inequality (3.8) proves the validity of inequality (3.3). □
$$ \begin{aligned} &x(t) = \psi_{1}(t_{0}) \bigl(1-c(t-t_{0})^{1-\lambda}/(1-\lambda)\bigr)+ \int_{t_{0}}^{t}F \Bigl(s,x(s),\max_{\xi\in[\beta(s),\alpha(s)]}x( \xi) \Bigr)\,ds \\ &\hphantom{x(t) =}{} +c \int_{t_{0}}^{t}(t-s)^{-\lambda}x(s)\,ds,\quad t\ge t_{0}, \\ &x(t) = \psi_{1}(t),\quad t\in \bigl[\alpha(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(3.5)
$$ \begin{aligned} & \bigl|x(t) \bigr| \le \bigl|\psi_{1}(t_{0}) \bigr| \bigl(1+|c|t^{1-\lambda}/(1-\lambda ) \bigr)+ \int_{t_{0}}^{t} \Bigl|F \Bigl(t,x(s),\max _{\xi\in[\beta(s),\alpha(s)]} x(\xi) \Bigr) \Bigr|\,ds \\ &\hphantom{ \bigl|x(t) \bigr|}\le \bigl|\psi_{1}(t_{0}) \bigr| \bigl(1+|c|t^{1-\lambda}/(1- \lambda) \bigr)+ \int _{t_{0}}^{t}h_{3}(s)\,ds+M+|c| \int_{t_{0}}^{t} (t-s)^{-\lambda} \bigl|x(s) \bigr|\,ds \\ &\hphantom{ \bigl|x(t) \bigr| \le}{} + \int_{t_{0}}^{t}h_{1}(s)\mu_{1} \bigl( \bigl|x(s) \bigr| \bigr) \bigl|x(s) \bigr|\,ds\\ &\hphantom{ \bigl|x(t) \bigr| \le}{}+ \int_{t_{0}}^{t} h_{2}(s)\mu_{2} \Bigl(\max_{\xi\in[\beta(s),\alpha(s)]} \bigl|x(\xi) \bigr| \Bigr) \Bigl(\max _{\xi\in[\beta (s),\alpha(s)]} \bigl| x(\xi) \bigr| \Bigr)\,ds \\ &\hphantom{ \bigl|x(t) \bigr|}\le N(t)+|c| \int_{t_{0}}^{t} (t-s)^{-\lambda} \bigl|x(s) \bigr|\,ds+ \int _{t_{0}}^{t}h_{1}(s)\mu_{1} \bigl( \bigl|x(s) \bigr| \bigr) \bigl|x(s) \bigr|\,ds \\ &\hphantom{ \bigl|x(t) \bigr| \le}{} + \int_{t_{0}}^{t} h_{2}(s)\mu_{2} \Bigl(\max_{\xi\in[\beta(s),\alpha(s)]} \bigl| x(\xi)\bigr| \Bigr) \Bigl(\max _{\xi\in[\beta(s),\alpha(s)]} \bigl| x(\xi)\bigr| \Bigr)\,ds,\quad t\ge t_{0}, \\ & \bigl|x(t) \bigr| \le \bigl|\psi_{1}(t) \bigr|\le M,\quad t\in \bigl[ \alpha(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(3.6)
$$ \begin{aligned} &u(t) \le N(t)+ \int_{t_{0}}^{t} (t-s)^{-\lambda}u(s)\,ds+ \int _{t_{0}}^{t}h_{1}(s)\mu_{1} \bigl(u(s) \bigr)u(s)\,ds \\ &\hphantom{u(t) \le}{} + \int_{t_{0}}^{t} h_{2}(s)\mu_{2} \Bigl(\max_{\xi\in[\alpha(s)-h,\alpha(s)]} u(\xi) \Bigr) \Bigl(\max_{\xi\in[\alpha(s)-h,\alpha(s)]} u(\xi) \Bigr)\,ds, \quad t\ge t_{0}, \\ &u(t) \le M,\quad t\in \bigl[\alpha(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(3.7)
$$\begin{aligned} u(t)\leq \biggl(Q_{2}^{-1} \biggl(Q_{2} \bigl( \gamma_{2}(t) \bigr)+4^{q-1}t^{\frac{q}{p}} \int _{t_{0}}^{t}h_{2}(s)\,ds \biggr) \biggr)^{1/q} \end{aligned}$$
(3.8)
Next, we discuss the uniqueness of solutions for system (3.1).
Corollary 3.2
Suppose that
for all
\(t\ge t_{0}\)
and all
\(x_{i},y_{i}\in\mathbb{R}\) (\(i=1,2\)), where
\(h_{i}\in C([t_{0},\infty),\mathbb{R}_{+})\). Then system (3.1) has at most one solution on
\([t_{0},t_{1})\).
$$\begin{aligned} \bigl|F(t,x_{1},y_{1})-F(t,x_{2},y_{2}) \bigr| \leq h_{1}(t)|x_{1}-x_{2}|+h_{2}(t)|y_{1}-y_{2}| \end{aligned}$$
(3.9)
Proof
Assume that (3.1) has two different solutions \(u(t)=u(t,t_{0},\psi _{1})\) and \(v(t)=v(t,t_{0},\psi_{1})\), defined for \(t\ge\alpha(t_{0})-h\). Then \(u(t)\) and \(v(t)\) satisfy the integral equations defined for all \(t\geq\alpha(t_{0})-h \). The two functions \(u(t)\) and \(v(t)\) satisfy the integral equations and \(u(t)=v(t)=\psi_{1}(t)\) for \(t\in[\alpha(t_{0})-h,t_{0}]\). It implies that Let \(\phi(t):=|u(t)-v(t)|\) for \(t\ge\alpha(t_{0})-h\). Noting that from (3.11) we obtain Here, ε is an arbitrary positive number, which is the formula of the system of integral inequalities (2.27). Applying our Corollary 2.1 to (3.12), we have
\(1< p<1/\lambda\), \(\frac{1}{p}+\frac{1}{q}=1\), letting \(\varepsilon \rightarrow0\), we obtain \(|u(t)-v(t)|\le0\), which implies that \(u(t)=v(t)\) for all \(t\in[t_{0},t_{1})\). The uniqueness is proved. □
$$ \begin{aligned} u(t)={}& \psi_{1}(t_{0}) \bigl(1-ct^{1-\lambda}/(1-\lambda)\bigr)+ \int_{t_{0}}^{t}F \Bigl(t,u(s),\max_{\xi\in[\beta(s),\alpha(s)]}u( \xi) \Bigr)\,ds \\ &{} + \int_{t_{0}}^{t}(t-s)^{-\lambda}u(s)\,ds,\quad t\ge t_{0}, \\ v(t) ={}& \psi_{1}(t_{0}) \bigl(1-ct^{1-\lambda}/(1- \lambda)\bigr)+ \int_{t_{0}}^{t}F \Bigl(t,v(s),\max_{\xi\in[\beta(s),\alpha(s)]}v( \xi) \Bigr)\,ds \\ &{} + \int_{t_{0}}^{t}(t-s)^{-\lambda}v(s)\,ds,\quad t\ge t_{0}, \end{aligned} $$
(3.10)
$$\begin{aligned} \bigl|u(t)-v(t) \bigr| \le& \int_{t_{0}}^{t} \Bigl|F \Bigl(t,u(s),\max _{\xi\in [\beta(s),\alpha(s)]} u(\xi) \Bigr) -F \Bigl(t,v(s),\max_{\xi\in[\beta(s),\alpha(s)]} v(\xi) \Bigr) \Bigr|\,Ds \\ &{} + \int_{t_{0}}^{t}(t-s)^{-\lambda} \bigl|u(s)-v(s) \bigr|\,ds \\ \le& \int_{t_{0}}^{t}(t-s)^{-\lambda} \bigl|u(s)-v(s) \bigr|\,ds+ \int _{t_{0}}^{t} h_{1}(s) \bigl( \bigl|u(s)-v(s) \bigr| \bigr)\,ds \\ &{} + \int_{t_{0}}^{t} h_{2}(s) \Bigl|\max _{\xi\in[\beta(s),\alpha(s)]}u(\xi)-\max_{\xi\in [\beta(s),\alpha(s)]}v(\xi) \Bigr|\,ds \\ \le& \int_{t_{0}}^{t}(t-s)^{-\lambda} \bigl|u(s)-v(s) \bigr|\,ds+ \int _{t_{0}}^{t} h_{1}(s) \bigl|u(s)-v(s) \bigr|\,ds \\ &{} + \int_{t_{0}}^{t} h_{2}(s) \max _{\xi\in[\beta(s),\alpha(s)]} \bigl|u(\xi)-v(\xi) \bigr|\,ds,\quad \forall t\ge t_{0}. \end{aligned}$$
(3.11)
$$\max_{\xi\in[\beta(s),\alpha(s)]} u(\xi)\leq\max_{\xi\in[\alpha(s)-h,\alpha(s)]}u(\xi), $$
$$ \begin{aligned} &\phi(t) \le \varepsilon+ \int_{t_{0}}^{t}(t-s)^{-\lambda}\phi (s)\,ds+ \int_{t_{0}}^{t} h_{1}(s)\phi(s)\,ds \\ &\hphantom{\phi(t) \le}{} + \int_{t_{0}}^{t} h_{2}(s) \max _{\xi\in[\alpha(s)-h,\alpha(s)]}\phi(\xi)\,ds,\quad t\ge t_{0}, \\ &\phi(t) \le 0,\quad t\in \bigl[\alpha(t_{0})-h,t_{0} \bigr]. \end{aligned} $$
(3.12)
$$\begin{aligned} \phi(t) \le&4^{1-1/q}\varepsilon\exp \biggl(\frac {1}{q} \biggl(4^{q-1} \biggl(B^{q/p}(1,1-p\lambda)t^{q(1-p\lambda)/p+1}+t^{q/p} \int _{t_{0}}^{t}h^{q}_{1}(s)\,ds \\ &{}+t^{q/p} \int_{t_{0}}^{t}h^{q}_{2}(s)\,ds \biggr) \biggr) \biggr), \end{aligned}$$
(3.13)
3.2 Integral equation with maxima
Consider the system of integral equations with maxima where \(\psi\in C([\alpha(t_{0})-h,t_{0}],\mathbb{R})\), \(f\in C(\mathbb{R}_{+}^{2}\times\mathbb{R}, \mathbb{R})\), \(t_{0}\geq0\), and \(h>0\) are constants. Suppose that
First of all, we give an estimate for the solutions of (3.14).
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} x(t)= a(t)+\int_{t_{0}}^{t}(t-s)^{\beta_{1}-1}s^{\gamma_{1}-1}f_{1}(t,s,x(s))\,ds\\ \hphantom{x(t)=}{}+\int_{t_{0}}^{t}(t-s)^{\beta_{2}-1} s^{\gamma_{2}-1}f_{2}(t,s,\max_{\xi\in[\beta(s),\alpha(s)]} x(\xi )))\,ds, \quad t\ge t_{0},\\ x(t)=\psi(t), \quad t\in [\alpha(t_{0})-h,t_{0}], \end{array}\displaystyle \right . \end{aligned}$$
(3.14)
(a1)
\(|f_{i}(t,s,u)|\leq p_{i}(t,s)h_{i}(|u|)\), where \(p_{i}\in C( [t_{0},\infty)\times[t_{0},\infty),\mathbb{R}_{+})\), \(h_{i}\in C(\mathbb{R}_{+},\mathbb{R}_{+})\) is continuous and nondecreasing on \(\mathbb{R}_{+}\) and is positive on \((0,\infty)\) such that \(h_{1}\propto h_{2}\), \(p_{i}(t,s)\) is nondecreasing in t for each fixed \(s, \beta_{i}\in(0,1)\), \(\gamma_{i}>1-\frac{1}{p}\) and \(\frac{1}{p}+\beta_{i}+\gamma_{i}-2\ge0\) (\(p>1\), \(i=1,2\));
(a2)
\(\alpha, \beta\in C^{1}([t_{0},\infty),\mathbb{R}_{+})\), \(\alpha(t)\) is a nondecreasing function, \(\beta(t)\leq t\), \(\alpha(t)\leq t\), and \(0< \alpha(t)-\beta(t)\leq h\) for \(t\geq t_{0}\);
(a3)
\(a(t)\) is continuous \([t_{0},\infty)\).
Corollary 3.3
Suppose that (a1)-(a3) hold, and
\(\max_{s\in[\alpha (t_{0})-h,t_{0}]}|\psi(s)|\le3^{1-1/q}|a(t_{0})|\). Then any solution
\(x(t)\)
of (3.14) has the estimate
for
\(t_{0}\le t\le t^{*}\), where
\(c_{i}(t)=t^{1/p+\alpha_{i}+\beta_{i}-2}B(p(\gamma_{i}-1)+1, p(\beta _{i}-1)+1)^{\frac{1}{p}}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(Q_{i}^{-1}\)
is the inverse of the function
and
\(t^{*}\)
is the largest number such that
$$\begin{aligned} u(t)\leq \biggl(Q_{2}^{-1} \biggl(Q_{2} \bigl(\eta_{2}(t) \bigr) +3^{q-1}c_{2}^{q}(t) \int_{t_{0}}^{t}p_{2}^{q}(t,s)\,ds \biggr) \biggr)^{\frac{1}{q}} \end{aligned}$$
(3.15)
$$\eta_{2}(t):=Q_{1}^{-1} \biggl(Q_{1} \Bigl(3^{q-1} \Bigl(\max_{\tau\in[t_{0},t]} \bigl|a(\tau ) \bigr| \Bigr)^{q}\Bigr)+3^{q-1} c_{1}^{q}(t) \int_{t_{0}}^{t}p_{1}^{q}(t,s)\,ds \biggr), $$
$$\begin{aligned} Q_{i}(u):= \int_{u_{i}}^{u}\frac{ds}{h_{i}^{q}(s^{\frac{1}{q}})},\quad u\ge u_{i}>0, i=1,2, \end{aligned}$$
$$\begin{aligned}& Q_{1} \Bigl(3^{q-1} \Bigl(\max_{\tau\in[t_{0},t^{*}]}\bigl|a( \tau )\bigr| \Bigr)^{q} \Bigr)+3^{q-1}c_{1}^{q} \bigl(t^{*} \bigr) \int_{t_{0}}^{t^{*}}p_{1}^{q} \bigl(t^{*},s \bigr)\,ds \leq \int_{u_{1}}^{\infty}\frac{ds}{h_{1}^{q}(s^{\frac{1}{q}})} , \\& Q_{2} \bigl(\eta_{2} \bigl(t^{*} \bigr) \bigr)+3^{q-1}c_{2}^{q} \bigl(t^{*} \bigr) \int _{t_{0}}^{t^{*}}p_{2}^{q} \bigl(t^{*},s \bigr)\,ds \leq \int_{u_{2}}^{\infty}\frac{ds}{h_{2}^{q}(s^{\frac{1}{q}})}. \end{aligned}$$
Proof
Let \(\tilde{a}(t):=\max_{\tau\in[0, t] }\{|a(\tau)|\}\). Then \(\tilde{a}(t)\) is a continuous and nondecreasing function on \([t_{0},\infty)\). From (3.14) and condition (a1) we obtain for all \(t\ge t_{0}\). Let \(u(t)=|x(t)|\) for \(t\in[\alpha(t_{0})-h,\infty)\). Then Using the inequality \(\max_{\xi\in[\beta(s),\alpha(s)]} u(\xi)\leq\max_{\xi\in[\alpha(s)-h,\alpha(s)]}u(\xi)\), which follows from condition (a2), we obtain Notice that \(\max_{s\in[\alpha(t_{0})-h,t_{0}]}|\psi_{2}(s)|\le 3^{1-1/q}(\tilde{a}(t_{0})) \) because \(\max_{s\in[\alpha(t_{0})-h,t_{0}]}|\psi_{2}(s)| \le3^{1-1/q} |a(t_{0})|= 3^{1-1/q}(\tilde{a}(t_{0}))\). From (3.18) and Theorem 2.1, we obtain (3.15). This completes the proof. □
$$\begin{aligned} \bigl|x(t) \bigr| \leq& \tilde{a}(t)+ \int_{t_{0}}^{t} (t-s)^{\beta _{1}-1}s^{\gamma_{1}-1}p_{1}(t,s)h_{1} \bigl( \bigl|x(s) \bigr| \bigr)\,ds \\ &{} + \int_{t_{0}}^{t} (t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}p_{2}(t,s)h_{2} \Bigl( \Bigl|\max_{\xi\in[\beta(s),\alpha(s)]}x(\xi) \Bigr| \Bigr)\,ds \\ \leq& \tilde{a}(t)+ \int_{t_{0}}^{t}(t-s)^{\beta_{1}-1}s^{\gamma _{1}-1} p_{1}(t,s)h_{1} \bigl( \bigl|x(s) \bigr| \bigr)\,ds \\ &{} + \int_{t_{0}}^{t} (t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}p_{2}(t,s)h_{2} \Bigl(\max_{\xi\in[\beta(s),\alpha(s)]} \bigl|x(\xi) \bigr| \Bigr)\,ds \end{aligned}$$
(3.16)
$$ \begin{aligned} &u(t) \leq \tilde{a}(t) + \int_{t_{0}}^{t}(t-s)^{\beta _{1}-1}s^{\gamma_{1}-1} p_{1}(t,s)h_{1} \bigl(u(s) \bigr)\,ds \\ &\hphantom{u(t) \leq}{}+ \int_{t_{0}}^{t} (t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}p_{2}(t,s)h_{2} \Bigl(\max_{\xi\in[\beta(s),\alpha(s)]}u(\xi) \Bigr)\,ds,\quad t\geq t_{0}, \\ &u(t) = \bigl|\psi _{2}(t) \bigr|,\quad t\in \bigl[\alpha (t_{0})-h, t_{0} \bigr]. \end{aligned} $$
(3.17)
$$ \begin{aligned} &u(t) \leq \tilde{a}(t) + \int_{t_{0}}^{t}(t-s)^{\beta _{1}-1}s^{\gamma_{1}-1} p_{1}(t,s)h_{1} \bigl(u(s) \bigr)\,ds\\ &\hphantom{u(t) \leq}{}+ \int_{t_{0}}^{t} (t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}p_{2}(t,s)h_{2} \Bigl(\max_{\xi\in[\alpha(s)-h,\alpha(s)]}u(\xi) \Bigr)\,ds,\quad t\geq t_{0}, \\ &u(t) = \bigl|\psi_{2}(t) \bigr|,\quad t\in \bigl[\alpha(t_{0})-h, t_{0} \bigr]. \end{aligned} $$
(3.18)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (No. 11461058) and Scientific Research Fund of SiChuan Provincial Education Department (No. 14ZA0296).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Competing interests
The author declares to have no competing interests.