Skip to main content

A singular fractional Kelvin–Voigt model involving a nonlinear operator and their convergence properties

Abstract

In this paper, we focus on a generalized singular fractional order Kelvin–Voigt model with a nonlinear operator. By using analytic techniques, the uniqueness of solution and an iterative scheme converging to the unique solution are established, which are very helpful to govern the process of the Kelvin–Voigt model. At the same time, the corresponding eigenvalue problem is studied and the property of solution for the eigenvalue problem is established. Some examples are given to illuminate the main results.

1 Introduction

Many physical phenomena in natural sciences and engineering often exhibit some singular behavior; for example, in linear elastic fracture mechanics, the stress near the crack tip possesses a singularity of \(r^{-0.5}\) [1], where r is the distance measured from the crack tip. Recently, Fisk [2] found that quantum fluctuations at absolute zero may push a system into a different phase or state, and the singular phenomenon happens near the quantum critical points in certain materials. In recent years, because of the importance of the singular behavior in critical point, the study of the singular problems has attracted much attention, for details, see [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18] and the references cited therein.

On the other hand, relaxation processes deviating from the classical exponential (Debye) behavior are often encountered in the dynamics of complex materials [19]. In many cases a stretched exponential (Kohlrausch–Williams–Watts) decay is often exhibited by experimentally observed relaxation functions [19]

$$ \varPhi (t)e^{- (\frac{t}{\tau } )^{\alpha }}, \quad 1< \alpha < 1, $$
(1.1)

or a scaling decay

$$ \varPhi (t) \biggl(\frac{t}{\tau } \biggr)^{-\beta }, \quad 1< \beta < 1. $$
(1.2)

The above processes (1.1) and (1.2) show that an appropriate tool to describe phenomenologically hybrid dynamical features is fractional calculus, which is incorporated into standard constitutive equations in a variety of works, mainly in the field of viscoelasticity. Defining that \(\sigma (t)\) is the stress and \(\epsilon (t)\) is the strain, Schiessel et al. [19] considered a system whose stress decays after a shear jump in an algebraic manner and obtained a standard fractional order viscoelasticity Kelvin–Voigt model

$$ \sigma (t)=E\tau ^{\alpha }\frac{d^{\alpha }}{dt^{\alpha }}\epsilon (t)+E \tau ^{\beta }\frac{d^{\beta }}{dt^{\beta }}\epsilon (t), $$
(1.3)

where \(\alpha >\beta >0\), E is a constant, and \(\frac{d^{\alpha }}{dt ^{\alpha }}\) is the Riemann–Liouville derivative \(\pmb{\mathscr{D}_{t}}^{\alpha }\) with an order of α. Thus the fractional order Kelvin–Voigt model (1.3) can be generalized by the following mathematical model:

$$ \frac{d^{\alpha }}{dt^{\alpha }}\epsilon (t)=f \biggl(t, \frac{d^{ \beta }}{dt^{\beta }}\epsilon (t) \biggr), $$

with \(\alpha >\beta >0\).

In this paper, we focus on the following generalized singular Kelvin–Voigt model:

$$ \mathfrak{B} \bigl(\pmb{\mathscr{D}_{t}}^{\alpha }\epsilon (t) \bigr) \pmb{\mathscr{D}_{t}}^{\alpha }\epsilon (t)=f\bigl(t,- \epsilon (t), - \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (t)\bigr), \quad t\in (0,1), $$
(1.4)

subject to nonlocal boundary condition

$$ \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (0)=0,\qquad \pmb{ \mathscr{D}_{t}} ^{\gamma }\epsilon (1)= \int ^{1}_{0}\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon (s)\,d\chi (s), $$
(1.5)

where \(\pmb{\mathscr{D}_{t}}^{\alpha }\), \(\pmb{\mathscr{D}_{t}}^{\gamma }\) are the standard Riemann–Liouville derivatives with the order of \(0<\gamma <1<\alpha \le 2\), \(\alpha -\gamma >1\), \(\int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (s)\,d\chi (s)\) is denoted by a Riemann–Stieltjes integral, χ is a function of bounded variation, and can be a signed measure, \(\mathfrak{B}\in \mathcal{Y}\) is a nonlinear operator with an individual property

$$\begin{aligned} \mathcal{Y} =&\bigl\{ \mathfrak{B}\in C^{2}\bigl([0,+\infty ),[0,+\infty )\bigr): \mbox{there exists a constant } \sigma >0 \\ &\mbox{such that, for any } 0< c< 1, \mathfrak{B}(cs)\le c^{\sigma } \mathfrak{B}(s)\bigr\} . \end{aligned}$$

In particular, in the generalized Kelvin–Voigt model (1.4)–(1.5), we allow that the nonlinearity \(f(t,u,v)\) has singularity at both \(u=0\) and (or) \(v=0\).

In the past decades, a large number of numerical and analytical results have been obtained for various differential equations with physical background [20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77]. Recently, some new type functions and inequalities such as noninstantaneous impulsive inequalities [78], Gronwall–Bellman–Bihari inequalities [79], Mittag-Leffler functions [80], generalized Gauss hypergeometric functions [81], and asymptotical-analytic technique [82] have been developed to improve and perfect fractional calculus and its application. In particular, Saoudi and Agarwal et al. [83] employed the method of Nehari manifold combined with the fibering maps to establish the existence of solutions to the boundary value problem for the nonlinear fractional differential equations with Riemann–Liouville fractional derivative. This work shows that the critical point theory and variational methods are also very effective tools in determining the existence of solutions for fractional order differential equations.

However, up to now, few results have been reported for the generalized Kelvin–Voigt model (1.4)–(1.5) when f has singularity on the strain. This present paper aims to study the singular case for the generalized fractional order Kelvin–Voigt model (1.4)–(1.5). Notice that model (1.4)–(1.5) involves a nonlinear operator, which implies that model (1.4)–(1.5) includes many interesting and important models as special cases such as Marwell model, Zener model, Poynting–Thoinson model. If \(\mathfrak{B}(x)=E \tau ^{\alpha }\), \(f=\sigma (t)-E\tau ^{ \beta }\frac{d^{\beta }\epsilon (t)}{dt^{\beta }}\), then model (1.4)–(1.5) reduces to the standard fractional order viscoelasticity Kelvin–Voigt model (1.3). If \(\mathfrak{B}(x)=|x|^{p-2}\), \(p\ge 2\), model (1.4)–(1.5) becomes the form

$$ \textstyle\begin{cases} \varphi _{p} (\pmb{\mathscr{D}_{t}}^{\alpha }\epsilon (t) )=f(t,- \epsilon (t), -\pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (t)),\quad t\in (0,1), \\ \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (s)\,d\chi (s), \end{cases} $$

which is a p-Poisson equation [10, 84]. Thus model (1.4)–(1.5) is more generalized than viscoelasticity Kelvin–Voigt model (1.3). To the best of our knowledge, no results have been reported on the existence and uniqueness of solutions for model (1.4)–(1.5) when f can be singular at the points of the strain vanishing.

2 Preliminaries and lemmas

Before we give a detailed description of preliminaries and lemmas, we first establish some properties of an inverse operator for the operator \(s\mathfrak{B}(s)\).

Proposition 2.1

If \(\mathfrak{B}\in \mathcal{Y}\), let \(\mathfrak{L}(s)=s\mathfrak{B}(s)\), then \(\mathfrak{L}\) has a nonnegative increasing inverse mapping \(\mathfrak{L}^{-1}(s)\), and for any \(0< c<1\),

$$ \mathfrak{L}^{-1}(cs)\ge c^{\frac{1}{1+\sigma }}\mathfrak{L}^{-1}(s). $$
(2.1)

Proof

Firstly, we prove that \(\mathfrak{B}\) is an increasing operator if \(\mathfrak{B}\in \mathcal{Y}\). In fact, for any \(\mathfrak{B}\in \mathcal{Y}\) and \(s,t \in [0,+\infty )\), without loss of generality, let \(0 \le s < t\). If \(s=0\), obviously \(\mathfrak{B}(s) \le \mathfrak{B}(t)\) holds. If \(s\neq0\), let \(c_{0} = s/t\), then \(0< c_{0}<1\). It follows from the property of \(\mathfrak{B}\) that

$$ \mathfrak{B}(s)=\mathfrak{B}(c_{0}t) \le c_{0}^{\sigma } \mathfrak{B}(t) < \mathfrak{B}(t), $$

which implies that \(\mathfrak{B}\) is an increasing operator. Thus we have \(\mathfrak{L}'(s)=(s\mathfrak{B(}s))'>0\) for any \(s>0\), i.e, \(\mathfrak{L}\) is a bijection on \((0,\infty )\) and has a nonnegative increasing inverse mapping \(\mathfrak{L}^{-1}(s)\).

On the other hand, for any \(0< c<1\), let \(b=c^{\frac{1}{1+\sigma }}\), then \(0< b<1\). Thus we have

$$ \mathfrak{L}(bx)=bx\mathfrak{B}(bx)\le b^{1+\sigma }x\mathfrak{B}(x)=b ^{1+\sigma }\mathfrak{L}(x) \quad \mbox{for } x>0. $$

Consequently, let \(s=\mathfrak{L}(x)\), then

$$ b\mathfrak{L}^{-1}(s)=bx\le \mathfrak{L}^{-1} \bigl(b^{1+\sigma } \mathfrak{L}(x)\bigr)=\mathfrak{L}^{-1}(cs), $$

that is,

$$ c^{\frac{1}{1+\sigma }}\mathfrak{L}^{-1}(s)\le \mathfrak{L}^{-1}(cs). $$

The proof is completed. □

Remark 2.1

Clearly, if \(r\ge 1\), we have

$$ \mathfrak{L}^{-1}(rs)\le r^{\frac{1}{1+\sigma }}\mathfrak{L}^{-1}(s). $$
(2.2)

Remark 2.2

The operator set \(\mathcal{Y}\) includes a large class of operators, and the standard type of operators is \(\mathfrak{B}(s)=\sum_{i=1}^{n}s^{\alpha _{i}}\), \(\alpha _{i}>0 \). In fact, take \(\sigma =\min \{\alpha _{1},\ldots,\alpha _{n}\}>0\), then for any \(0< c<1\), one has

$$ \mathfrak{B}(cs)\le c^{\sigma }\mathfrak{B}(s). $$

Now based on Proposition 2.1, we transform model (1.4)–(1.5) to a convenient form

$$ \textstyle\begin{cases} \pmb{\mathscr{D}_{t}}^{\alpha }\epsilon (t)=\mathfrak{L}^{-1} (f(t,- \epsilon (t), -\pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (t)) ), \quad t\in (0,1), \\ \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon (s)\,d\chi (s), \end{cases} $$
(2.3)

and then, with the help of a simple transformation \(y=-\epsilon \), (2.3) can be rewritten as follows:

$$ \textstyle\begin{cases} -\pmb{\mathscr{D}_{t}}^{\alpha }y(t)=\mathfrak{L}^{-1} (f(t,y(t), \pmb{\mathscr{D}_{t}}^{\gamma }y(t)) ), \quad t\in (0,1), \\ \pmb{\mathscr{D}_{t}}^{\gamma }y(0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\gamma }y(1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\gamma }y(s)\,d\chi (s). \end{cases} $$
(2.4)

Next we recall the theory of Riemann–Liouville fractional calculus, which will be used in the rest of this paper.

Definition 2.1

([85])

The Riemann–Liouville fractional integral of order \(\alpha >0\) of a function \(x:(0,+\infty )\rightarrow \mathbb{R}\) is given by

$$ I^{\alpha }x(t)=\frac{1}{\varGamma (\alpha )} \int ^{t}_{0}(t-s)^{\alpha -1}x(s)\,ds $$

provided that the right-hand side is pointwise defined on \((0,+\infty )\).

Definition 2.2

([85])

The Riemann–Liouville fractional derivative of order \(\alpha >0\) of a continuous function \(x:(0,+\infty )\rightarrow \mathbb{R}\) is given by

$$ \pmb{\mathscr{D}}^{\alpha }x(t)=\frac{1}{\varGamma (n-\alpha )} \biggl(\frac{d}{dt} \biggr) ^{n} \int ^{t}_{0}(t-s)^{n-\alpha -1}x(s)\,ds, $$

where \(n=[\alpha ]+1\), \([\alpha ]\) denotes the integer part of the number α, provided that the right-hand side is pointwisely defined on \((0,+\infty )\).

Proposition 2.2

([85])

  1. (1)

    If \(x,y:(0,+\infty )\rightarrow \mathbb{R}\) with order \(\alpha > 0\), then

    $$ \pmb{\mathscr{D}_{t}}^{\alpha }\bigl(u(t)+v(t)\bigr)=\pmb{ \mathscr{D}_{t}}^{ \alpha }u(t)+\pmb{\mathscr{D}_{t}}^{\alpha }v(t). $$
  2. (2)

    If \(u\in L^{1}(0, 1)\), \(\nu >\gamma > 0\), then

    $$ I^{\nu }I^{\gamma }x(t)=I^{\nu +\gamma }u(t),\qquad \pmb{ \mathscr{D}_{t}}^{\gamma }I^{\nu } u(t)=I^{\nu -\gamma } u(t),\qquad \pmb{\mathscr{D}_{t}}^{\gamma }I^{\gamma } u(t)=u(t). $$
    (2.5)
  3. (3)

    If \(\alpha >0\), \(\gamma >0\), then

    $$ \pmb{\mathscr{D}_{t}}^{\alpha } t^{\gamma -1}= \frac{\varGamma (\gamma )}{ \varGamma (\gamma -\alpha )}t^{\gamma -\alpha -1}. $$
  4. (4)

    Let \(\alpha > 0\), and \(f(x)\) is integrable, then

    $$ I^{\alpha }\pmb{\mathscr{D}_{t}}^{\alpha }f(x)=f(x)+c_{1}x^{\alpha -1}+c _{2}x^{\alpha -2}+\cdots +c_{n}x^{\alpha -n}, $$
    (2.6)

    where \(c_{i}\in \mathbb{R}\) (\(i=1,2,\ldots ,n\)), n is the smallest integer greater than or equal to α.

Lemma 2.1

Let \(y(t)=I^{\gamma }\varphi (t)\), \(\varphi (t) \in C[0,1]\), then model (2.4) is equivalent to the following integro-differential equation:

$$ \textstyle\begin{cases} -\pmb{\mathscr{D}_{t}}^{\alpha -\gamma } \varphi (t)= \mathfrak{L} ^{-1} (f(t,I^{\gamma }\varphi (t), \varphi (t)) ), \\ \varphi (0)=0,\qquad \varphi (1)=\int ^{1}_{0}\varphi (s)\,d\chi (s). \end{cases} $$
(2.7)

Proof

In fact, let \(y(t)=I^{\gamma }\varphi (t)\), \(\varphi (t)\in C[0,1]\), then from (2.5) one has

$$ \pmb{\mathscr{D}_{t}}^{\gamma }y(t)= \pmb{ \mathscr{D}_{t}}^{\gamma }I ^{\gamma }\varphi (t)= \varphi (t). $$
(2.8)

On the other hand, notice \(1<\alpha \le 2\) and \(1<\alpha -\gamma <2\), so by Definitions 2.1, 2.2 and (2.5), we also have

$$ \begin{aligned}[b] \pmb{\mathscr{D}_{t}}^{\alpha }y(t) &=\frac{d^{2}}{dt^{2}} \bigl(I^{2- \alpha }y(t) \bigr)=\frac{d^{2}}{dt^{2}} \bigl(I^{2-\alpha }I^{\gamma } \varphi (t) \bigr) =\frac{d^{2}}{dt^{3}} \bigl(I^{2-\alpha +\gamma } \varphi (t) \bigr) \\ &=\pmb{\mathscr{D}_{t}}^{\alpha -\gamma }\varphi (t). \end{aligned} $$
(2.9)

By (2.8), we have \(\pmb{\mathscr{D}_{t}}^{\gamma }y(0)=\varphi (0)=0\), \(\varphi (1)=\int ^{1}_{0}\varphi (s)\,d\chi (s)\). And then it follows from (2.8) and (2.9) that

$$ -\pmb{\mathscr{D}_{t}}^{\alpha -\gamma } \varphi (t)= \mathfrak{L}^{-1} \bigl(f\bigl(t,I^{\gamma }\varphi (t), \varphi (t) \bigr) \bigr). $$

Thus, model (2.4) is transformed into the integro-differential equation (2.7).

Conversely, if \(\varphi \in C([0,1],[0,+\infty ))\) is a solution for the integro-differential equation (2.7). Then letting \(y(t)=I^{ \gamma }\varphi (t)\) and using (2.8)and (2.9), we get

$$ -\pmb{\mathscr{D}_{t}}^{\alpha }y(t) =-\pmb{\mathscr{D}_{t}}^{\alpha -\gamma } \varphi (t)=\mathfrak{L}^{-1} \bigl(f\bigl(t,I^{\gamma }\varphi (t), \varphi (t)\bigr) \bigr) =\mathfrak{L}^{-1} \bigl(f\bigl(t,y(t), \pmb{ \mathscr{D}_{t}}^{\gamma }y(t)\bigr) \bigr),\quad 0< t< 1, $$

and \(\pmb{\mathscr{D}_{t}}^{\gamma }y(0)=\varphi (0)=0\), \(\pmb{\mathscr{D}_{t}} ^{\gamma }y(1)=\int ^{1}_{0} \pmb{\mathscr{D}_{t}} ^{\gamma }y(s)\,d\chi (s)\). Consequently, the integro-differential equation (2.7) is transformed into model (2.4). □

Thus in order to establish the existence and uniqueness of solution of model (1.4)–(1.5), we only need to focus on the integro-differential equation (2.7). We have the following lemma.

Lemma 2.2

([86])

Assume \(1<\alpha -\gamma <2\), for a given function \(h\in L^{1}(0, 1)\), the boundary value problem

$$ \textstyle\begin{cases} -\pmb{\mathscr{D}_{t}}^{\alpha -\gamma }\varphi (t)=h(t) ,\quad 0< t< 1 , \\ \varphi (0)=\varphi (1)=0, \end{cases} $$
(2.10)

has the unique solution

$$ \varphi (t)= \int _{0}^{1}G(t,s)h(s)\,ds, $$

where

$$ G(t,s)=\frac{1}{\varGamma (\alpha -\gamma )} \textstyle\begin{cases} {[t(1-s)]}^{\alpha -\gamma -1}, &0\leq t\leq s\leq 1 , \\ {[t(1-s)]}^{\alpha -\gamma -1}-(t-s)^{\alpha - \gamma -1},& 0\leq s\leq t\leq 1. \end{cases} $$

On the other hand, it follows from (2.6) that the unique solution of the following problem

$$ \textstyle\begin{cases} -\pmb{\mathscr{D}_{t}}^{\alpha -\gamma }\varphi (t)=0 ,\quad 0< t< 1 , \\ \varphi (0)=0, \qquad \varphi (1)=1, \end{cases} $$

is \(t^{\alpha -\gamma -1}\). Let

$$ \mathcal{C}= \int _{0}^{1}t^{\alpha -\gamma -1}\,d\chi (t),\qquad \mathcal{G}(s)= \int _{0}^{1}G(t, s)\,d\chi (t). $$

According to the strategy of [87], the Green function of the integro-differential equation (2.7) is

$$ H(t,s)=\frac{t^{\alpha -\gamma -1}}{1-\mathcal{C}}\mathcal{G}(s)+G(t,s). $$
(2.11)

Lemma 2.3

([87])

Assume \(0\le \mathcal{C} < 1\) and \(\mathcal{G}(s) \ge 0\) for \(s\in [0, 1]\), then the functions \(G(t,s)\) and \(H(t,s)\) have the following properties:

  1. (1)

    \(G(t,s) > 0\), \(H(t,s)>0\) for \(t, s\in (0,1)\).

  2. (2)

    There exist two positive constants a, b such that

    $$ a{t^{\alpha -\gamma -1}}\mathcal{G}(s)\le H(t,s)\le b{t^{\alpha - \gamma -1}},\quad t,s\in [0,1]. $$

Our main tool is the fixed point theorem of mixed monotone operator. For convenience of the reader, here we first recall some definitions, notations, and known results; for details, see [88].

Let \((E, \|\cdot \|)\) be a real Banach space and P be a cone of E. Define a partial ordering ≤ with respect to P by \(x\le y\) if and only if \(y-x \subset P\). The cone P is called solid cone if its interior \(\overset{\circ }{P}\) is nonempty and P is called normal if there exists a constant \(M> 0\) such that, for all \(x, y \in E\), \(\theta \le x\le y\) implies \(\|x\|\le M\|y\|\). The least positive number satisfying the above is called the normal constant of P.

Given \(e\in P\) with \(\|e\|\le 1\), \(e\neq \theta \). Define a subset of P as follows:

$$ P_{e} = \{\varphi \in P: \mbox{there exist } \lambda > 0 \mbox{ and } \mu > 0 \mbox{ such that } \lambda e \le \varphi \le \mu e\}. $$

Obviously \(P_{e}\subset P\), and if \(e\in \overset{\circ }{P}\), then \(P_{e} = \overset{\circ }{P}\).

Definition 2.3

Let P be a normal cone of a Banach space E. \(A: P_{e} \times P_{e} \to P_{e}\) is called mixed monotone operator if \(A(u, v)\) is nondecreasing in u and nonincreasing in v, i.e.,

$$ u_{1}\le u_{2}, u_{1}, u_{2} \in P \quad \mbox{implies}\quad A(u_{1}, v)\le A(u_{2}, v) $$

for any \(v\in P_{e}\), and

$$ v_{1}\le v_{2}, v_{1}, v_{2} \in P_{e} \quad \mbox{implies}\quad A(u, v_{1})\ge A(u, v_{2}) $$

for any \(u\in P_{e}\). The element \(w^{*}\in P_{e}\) is called a fixed point of A if \(A(w^{*},w^{*})=w^{*}\).

Lemma 2.4

([89])

Assume that \(A: P_{e}\times P_{e}\to P_{e} \) is a mixed monotone operator. If there exists a constant \(0 \le \kappa < 1\) such that

$$ A \biggl(cx,\frac{1}{c}y \biggr) \ge c^{\kappa }A(x,y), \quad x,y\in P_{e}, 0 < c < 1. $$
(2.12)

Then the operator A has a unique fixed point \(w^{*}\in P_{e}\). Moreover, for any initial value \((x_{0}, y_{0})\in P_{e}\times P_{e}\), by constructing successively the sequences \(x_{n} = A(x_{n-1}, y_{n-1})\), \(y_{n} = A(y_{n-1}, x_{n-1})\), \(n = 1, 2,\ldots\) , we have \(\|x_{n} - w^{*}\|\to 0\), \(\|y_{n} - w^{*}\|\to 0\) as \(n\to +\infty \), and

$$ \bigl\Vert x_{n}-w^{*} \bigr\Vert =o \bigl(1-r^{\kappa ^{n}}\bigr),\qquad \bigl\Vert y_{n}-w^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr), $$

where \(0< r<1\), r is a constant from \((x_{0},y_{0})\).

Lemma 2.5

([88])

Assume that \(A: P_{e}\times P_{e}\to P_{e} \) is a mixed monotone operator and there exists \(0< \kappa < 1\) such that (2.12) holds. If \(w_{\lambda }^{*}\) is a unique solution of the equation

$$ A (x,x ) = \lambda x,\quad \lambda >0, $$

in \(P_{e}\), then \(\|w_{\lambda }^{*}-w_{\lambda _{0}}^{*}\|\to 0\), \(\lambda \to \lambda _{0}\). If \(0<\kappa <\frac{1}{2}\), then \(0<\lambda _{1}<\lambda _{2}\) implies that \(w_{\lambda _{1}}^{*}\ge w_{\lambda _{2}} ^{*}\), \(w_{\lambda _{1}}^{*}\neq w_{\lambda _{2}}^{*}\), and

$$ \lim_{\lambda \to 0^{+}} \bigl\Vert w^{*}_{\lambda } \bigr\Vert =+\infty ,\qquad \lim_{\lambda \to +\infty } \bigl\Vert w^{*}_{\lambda } \bigr\Vert =0. $$

3 Main results

To ensure the nonnegativity of Green function of model (2.7) and the development of our work, the following conditions are necessary:

  1. (A0)

    χ is a function of bounded variation satisfying \(\mathcal{G}(s)\ge 0\) for \(s\in [0, 1]\) and \(0\le \mathcal{C} < 1\).

  2. (A1)

    There exist two continuous functions \(g:[0,1]\times [0,+\infty )^{2} \to [0,+\infty )\), \(h:[0,1]\times (0,+\infty )^{2} \to [0,+\infty )\) with \(g(t,1,1)>0\), \(h(t,1,1)>0\) such that

    $$ f(t,x,y)=g(t,x,y)+h(t,x,y), $$

    and for all \(t\in [0,1]\), \(g(t,x,y)\) is nondecreasing and \(h(t,x,y)\) is nonincreasing in \(x,y>0\), respectively.

  3. (A2)

    There exists a constant \(0<\kappa <1+\sigma \) such that, for all \(x,y> 0\), \(t\in [0,1]\) and for any \(c\in (0,1)\),

    $$ g(t,cx,cy)\ge c^{\kappa }g(t,x,y), \qquad h\bigl(t,c^{-1}x,c^{-1}y \bigr)\ge c^{ \kappa }h(t,x,y). $$

Remark 3.1

It follows from (A2) that for \(r\ge 1\) and for all \(x,y>0\), \(t\in [0,1]\)

$$ g(t,rx,ry)\le r^{\kappa }g(t,x,y),\qquad h\bigl(t,r^{-1}x,r^{-1}y \bigr)\le r^{\kappa }h(t,x,y). $$

Remark 3.2

Condition (A2) implies that h can be allowed to be singular on \(x=y=0\), and the order of singularity can be larger than 1, for example, \(h(t,x,y)=x^{-\rho }+y^{-\theta }\), \(\rho ,\theta \in (1,1+\sigma )\).

Now define our work space \(E= C[0,1]\) with the norm \(\|\varphi \|:= \max_{t \in [0,1]}|\varphi (t)|\) and a cone \(P=\{\varphi \in E: \varphi (t)\ge 0,t\in [0,1]\}\). Clearly, P is a normal cone of E with normal constant 1.

Denote

$$\begin{aligned} &m_{1}=\min_{t\in [0,1]}g(t,1,1),\qquad m_{2}= \min_{t\in [0,1]}h(t,1,1), \\ & M_{1}=\max_{t\in [0,1]}g(t,1,1),\qquad M_{2}= \max_{t\in [0,1]}h(t,1,1), \end{aligned}$$

and

$$ e(t)=t^{\alpha -\gamma -1},\quad t\in [0,1]. $$

Take a subset of P

$$ P_{e}= \biggl\{ \varphi \in P: \frac{1}{\eta }e(t)\le \varphi (t) \le \eta e(t), t\in [0,1] \biggr\} , $$
(3.1)

where

$$\begin{aligned} \eta >&\max \biggl\{ \biggl[ \frac{b(1+\sigma )}{1+\sigma -\kappa ( \alpha -1)}\mathfrak{L}^{-1} \bigl( \rho ^{\kappa }M_{1} + \varrho ^{-\kappa } M_{2} \bigr) \biggr]^{\frac{1+\sigma }{1+\sigma - \kappa }},1, \rho ^{-1}, \\ & 2\varrho , \biggl[a\mathfrak{L}^{-1} \bigl(\rho ^{-\kappa }m _{2} \bigr) \int _{0}^{1}\mathcal{G}(s)\,ds \biggr]^{-{\frac{1+\sigma }{1+ \sigma -\kappa }}} \biggr\} , \end{aligned}$$

and

$$ \rho =\max \biggl\{ \frac{ \varGamma (\alpha -\gamma )}{\varGamma (\alpha )},1 \biggr\} , \qquad \varrho =\min \biggl\{ \frac{ \varGamma (\alpha -\gamma )}{\varGamma ( \alpha )},1 \biggr\} . $$

Then \(P_{e}\) is nonempty since \(e(t)\in P_{e}\).

Now we state our main result as follows.

Theorem 3.1

Assume that (A0)(A2) hold. Then the singular Kelvin–Voigt model (1.4)(1.5) has a unique solution \(\epsilon ^{*}\), and there exist two constants \(0<\nu <\mu \) such that

$$ -\mu t^{\alpha -1}\le \epsilon ^{*}(t)\le -\nu t^{\alpha -1}. $$
(3.2)

Moreover, for any initial \(u_{0}, v_{0} \in P_{e}\), where \(P_{e}\) is defined by (3.1), construct successively two sequences

$$\begin{aligned}& u_{n}= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }u _{n-1}(s),u_{n-1}(s) \bigr) +h \bigl(s,I^{\gamma }v_{n-1}(s),v_{n-1}(s) \bigr) \bigr)\,ds, \\& \quad n = 1, 2, \ldots , \end{aligned}$$
(3.3)
$$\begin{aligned}& v_{n}= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }v _{n-1}(s),v_{n-1}(s) \bigr) +h \bigl(s,I^{\gamma }u_{n-1}(s),u_{n-1}(s) \bigr) \bigr)\,ds, \\& \quad n= 1, 2, \ldots , \end{aligned}$$
(3.4)

then \(u_{n}(t)\), \(v_{n}{(t)}\) converge uniformly to \(- \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), i.e.,

$$ \bigl\Vert u_{n} +\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} \bigr\Vert \to 0,\qquad \bigl\Vert v_{n} + \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon ^{*} \bigr\Vert \to 0, \quad n \to \infty . $$
(3.5)

Furthermore, there exists a constant \(0< r<1\) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr), $$
(3.6)

where r depends on the initial value \((u_{0},v_{0})\).

Proof

To obtain the uniqueness of positive solution for problem (1.4)–(1.5), we define an operator \(A: P_{e}\times P_{e} \to P\) by

$$ A(u,v) (t)= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{ \gamma }u(s),u(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr)\,ds. $$
(3.7)

Firstly we show that \(A: P_{e}\times P_{e}\to P\) is well defined. In fact, from the definition of Riemann–Liouville fractional integral, we have

$$ I^{\gamma }e(t)=\frac{1}{\varGamma (\gamma )} \int ^{t}_{0}(t-s)^{\gamma -1}s ^{\alpha -\gamma -1} \,ds=\frac{\varGamma (\alpha -\gamma )}{\varGamma (\alpha )} t^{\alpha -1}\le \rho t^{\alpha -1}, \quad t\in [0,1]. $$
(3.8)

On the other hand, for any \(u,v\in P_{e}\), we have

$$ \frac{1}{\eta } e(t)\le u(t)\le \eta e(t), \frac{1}{\eta } e(t)\le v(t) \le \eta e(t), \quad t\in [0,1]. $$
(3.9)

Thus it follows from (3.8)–(3.9), (A1)–(A2), and \(\eta \rho >1\) that

$$ g \bigl(t,I^{\gamma }u(t),u(t) \bigr)\le g \bigl(t,\eta \rho t ^{\alpha -1},\eta t^{\alpha -\gamma -1} \bigr) \le g (t,\eta \rho , \eta \rho ) \le \rho ^{\kappa }\eta ^{\kappa }M_{1}, $$
(3.10)

and

$$ \begin{aligned}[b] h \bigl(t,I^{\gamma }v(t),v(t) \bigr)&\le h \biggl(t,\frac{ \varGamma ( \alpha -\gamma )}{\eta \varGamma (\alpha )}t^{\alpha -1},\frac{1}{\eta }t ^{\alpha -\gamma -1} \biggr) \\ &\le h \biggl(t,\frac{\varrho }{\eta }t ^{\alpha -1},\frac{\varrho }{\eta }t^{\alpha -\gamma -1} \biggr) \le \biggl(\frac{\varrho }{\eta }t^{\alpha -1} \biggr)^{-\kappa } h (t, 1,1 ) \\ &\le \varrho ^{-\kappa } \eta ^{\kappa }t^{-\kappa (\alpha -1)}M_{2}. \end{aligned} $$
(3.11)

And then (3.10)–(3.11) and (2.2) yield

$$ \begin{aligned}[b] &\mathfrak{L}^{-1} \bigl(s,g \bigl(I^{\gamma }u(s),u(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr) \\ &\quad \le \mathfrak{L}^{-1} \bigl(\rho ^{\kappa }\eta ^{\kappa }M_{1} +\varrho ^{-\kappa } \eta ^{\kappa }s^{-\kappa (\alpha -1)}M_{2} \bigr) \\ &\quad \le s^{-\frac{ \kappa (\alpha -1)}{1+\sigma }}\eta ^{\frac{\kappa }{1+\sigma }} \mathfrak{L}^{-1} \bigl(\rho ^{\kappa }M_{1}+\varrho ^{-\kappa }M_{2} \bigr). \end{aligned} $$
(3.12)

Notice that \(0<\kappa <1+\sigma \), we have

$$ \frac{\kappa (\alpha -1)}{1+\sigma }< 1. $$
(3.13)

Thus, by using Lemma 2.3 and combining (3.12) and (3.13), one gets

$$ \begin{aligned} A(u,v) (t) &\le \frac{b(1+\sigma )}{1+\sigma -\kappa (\alpha -1)} \eta ^{\frac{\kappa }{1+\sigma }}\mathfrak{L}^{-1} \bigl( \rho ^{\kappa }M_{1} +\varrho ^{-\kappa } M_{2} \bigr){t^{\alpha -\gamma -1}}\le \eta {t^{\alpha -\gamma -1}} \\ &< +\infty ,\quad t\in [0,1], \end{aligned} $$

which implies that \(A: P_{e}\times P_{e}\to P\) is well defined and

$$ A(u,v) (t)\le \eta {t^{\alpha -\gamma -1}},\quad t\in [0,1]. $$
(3.14)

On the other hand, notice that \(\eta \rho >1\), it follows from (3.8) (3.9) and (A1)–(A2) that

$$ \begin{aligned} h \bigl(t,I^{\gamma }v(t),v(t) \bigr)&\ge h \biggl(t,\frac{ \eta \varGamma (\alpha -\gamma )}{\varGamma (\alpha )}t^{\alpha -1}, \eta t^{ \alpha -\gamma -1} \biggr) \\ &\ge h \bigl(t, \eta \rho t^{\alpha -1}, \eta \rho t^{\alpha -\gamma -1} \bigr) \\ &\ge h (t,\eta \rho ,\eta \rho ) \ge \eta ^{-\kappa } \rho ^{-\kappa } h (t,1,1 ) \ge \eta ^{-\kappa }\rho ^{- \kappa }m_{2}, \end{aligned} $$

which implies

$$ \begin{aligned}[b] A(u,v) (t) &= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{ \gamma }u(s),u(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr) \\ &\ge \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr) \\ &\ge a\mathfrak{L}^{-1} \bigl(\eta ^{- \kappa }\rho ^{-\kappa } h (s,1,1 ) \bigr) \int _{0}^{1} \mathcal{G}(s)dst^{\alpha -\gamma -1} \\ &\ge a \eta ^{-\frac{\kappa }{1+\sigma }}\mathfrak{L}^{-1} \bigl(\rho ^{- \kappa }m_{2} \bigr) \int _{0}^{1}\mathcal{G}(s)dst^{\alpha -\gamma -1} \\ &\ge \frac{1}{\eta }t^{\alpha -\gamma -1}, \quad t\in [0,1]. \end{aligned} $$
(3.15)

Hence, (3.14) and (3.15) guarantee that \(A: P_{e}\times P _{e}\to P_{e}\).

Next, we prove that \(A: P_{e}\times P_{e}\to P_{e}\) is a mixed monotone operator. In fact, for any \(u_{1}, u_{2}\in P_{e}\) and \(u_{1}\le u _{2}\), from the monotonicity of \(I^{\gamma }\), \(\mathfrak{L}^{-1}\), and g, we have

$$ \begin{aligned}[b] A(u_{1},v) (t) &= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I ^{\gamma }u_{1}(s),u_{1}(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr)\,ds \\ &\le \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }u_{2}(s),u_{2}(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr)\,ds \\ &=A(u_{2},v) (t), \end{aligned} $$
(3.16)

which implies that

$$ A(u_{1},v) (t)\le A(u_{2},v) (t), \quad v\in P_{e}, $$
(3.17)

that is, \(A(u,v)\) is nondecreasing in u for any \(v\in P_{e}\). Similar to (3.16), if \(v_{1} \ge v_{2}\), \(v_{1},v_{2} \in P_{e}\), the following formula is also valid:

$$ A(u,v_{1}) (t)\le A(u,v_{2}) (t), \quad u\in P_{e}. $$
(3.18)

So it follows from (3.17) and (3.18) that \(A: P_{e} \times P_{e}\to P_{e}\) is a mixed monotone operator.

Finally, we prove that the operator A satisfies condition (2.12). For any \(u,v\in P_{e}\) and \(0< c<1\), it follows from (A2) that

$$ \begin{aligned}[b] A \biggl(cu,\frac{1}{c}v \biggr) (t)&= \int _{0}^{1}H(t,s)\mathfrak{L} ^{-1} \bigl(g \bigl(s,cI^{\gamma }u(s),cu(s) \bigr) + h \bigl(s,c ^{-1}I^{\gamma }v(s),c^{-1}v(s) \bigr) \bigr)\,ds \\ &\ge \int _{0}^{1}H(t,s) \mathfrak{L}^{-1} \bigl(c^{\kappa }g \bigl(s,I^{\gamma }u(s),u(s) \bigr) +c^{\kappa } h \bigl(s,I^{ \gamma }v(s),v(s) \bigr) \bigr)\,ds \\ &\ge c^{\frac{\kappa }{1+\sigma }} \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }u(s),u(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr)\,ds \\ &=c^{\frac{\kappa }{1+\sigma }}A(u,v) (t),\quad t\in [0,1]. \end{aligned} $$
(3.19)

Since \(0<\kappa <1+\sigma \), we have \(0<\frac{\kappa }{1+\sigma }<1\). It follows from (3.19) that (2.12) holds, thus Lemma 2.4 assures that the operator A has a unique fixed point \(\varphi ^{*} \in P_{e}\). Moreover, for any initial value \((u_{0}, v_{0})\in P_{e} \times P_{e}\), construct successively the sequences:

$$\begin{aligned}& u_{n}= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }u _{n-1}(s),u_{n-1}(s) \bigr) +h \bigl(s,I^{\gamma }v_{n-1}(s),v_{n-1}(s) \bigr) \bigr)\,ds, \quad n = 1, 2, \ldots , \\& v_{n}= \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }v _{n-1}(s),v_{n-1}(s) \bigr) +h \bigl(s,I^{\gamma }u_{n-1}(s),u_{n-1}(s) \bigr) \bigr)\,ds, \quad n= 1, 2, \ldots. \end{aligned}$$

Then \(u_{n}(t)\), \(v_{n}{(t)}\) converge uniformly to \(\varphi ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), i.e., \(\|u_{n} -\varphi ^{*}\|\to 0\), \(\|v _{n} -\varphi ^{*}\|\to 0\) as \(n\to \infty \), and there exists a constant \(0< r<1\) which depends on \((x_{0},y_{0})\) such that

$$ \bigl\Vert u_{n}-\varphi ^{*} \bigr\Vert =o \bigl(1-r^{\kappa ^{n}}\bigr),\qquad \bigl\Vert v_{n}-\varphi ^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr). $$

In the end, by Lemma 2.1, the abstract Kelvin–Voigt model (1.4)–(1.5) has a unique solution \(\epsilon ^{*}=-I^{ \gamma }\varphi ^{*}(t)\). Since \(\varphi ^{*}\in P_{e}\), we have

$$ -\mu t^{\alpha -1}=-\frac{\eta \varGamma (\alpha -\gamma )}{\varGamma ( \alpha )} t^{\alpha -1}\le \epsilon ^{*}(t)=-I^{\gamma }\varphi ^{*}(t) \le - \frac{\varGamma (\alpha -\gamma )}{\eta \varGamma (\alpha )} t^{\alpha -1}=-\nu t^{\alpha -1} $$

and \(\|u_{n} -\varphi ^{*}\|=\|u_{n} +\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*}\|\to 0\), \(\|v_{n} -\varphi ^{*}\|=\|v_{n} + \pmb{\mathscr{D}_{t}}^{\gamma }\epsilon ^{*}\|\to 0\) as \(n\to \infty \). Moreover, there exists a constant \(0< r<1\) (which depends on the initial value \((u_{0},v_{0})\)) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{\kappa ^{n}}\bigr). $$

Thus (3.2)–(3.6) hold and the proof of Theorem 3.1 is completed. □

Next we consider the following eigenvalue problem of model (1.4)–(1.5):

$$ \textstyle\begin{cases} \mathfrak{B} (\frac{1}{\lambda }\pmb{\mathscr{D}_{t}}^{\alpha }x(t) )\pmb{\mathscr{D}_{t}}^{\alpha }x(t)=\lambda f(t,-x(t), - \pmb{\mathscr{D}_{t}}^{\gamma }x(t)), \quad t\in (0,1), \\ \pmb{\mathscr{D}_{t}}^{\gamma }x(0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\gamma }x(1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\gamma }x(s)\,d\chi (s). \end{cases} $$
(3.20)

According to Theorem 3.1 and Lemma 2.1, define an operator \(A_{\lambda }: P_{e}\times P_{e}\to P\)

$$ A_{\lambda }(u,v) (t)=\lambda \int _{0}^{1}H(t,s)\mathfrak{L}^{-1} \bigl(g \bigl(s,I^{\gamma }u(s),u(s) \bigr) +h \bigl(s,I^{\gamma }v(s),v(s) \bigr) \bigr)\,ds, $$
(3.21)

we have the following property of solution.

Theorem 3.2

Assume that (A0)(A2) hold. Then the eigenvalue problem (3.20) has a unique solution \(w_{\lambda }^{*}\). Moreover, \(0<\lambda _{1}<\lambda _{2}\) implies that \(w_{\lambda _{1}}^{*}\le w_{\lambda _{2}}^{*}\), \(w_{\lambda _{1}}^{*} \neq w_{\lambda _{2}}^{*}\). If \(\kappa \in (0,\frac{1+\sigma }{2})\), then

$$ \lim_{\lambda \to 0^{+}} \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} _{\lambda } \bigr\Vert =+\infty ,\qquad \lim _{\lambda \to +\infty } \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*}_{\lambda } \bigr\Vert =0. $$
(3.22)

Proof

It follows from Theorem 3.1 that the operator \(A_{\lambda }\) (3.21) has a unique fixed point \(\varphi _{\lambda }^{*}\in P _{e}\), which implies that the eigenvalue problem (3.20) has a unique solution \(w_{\lambda }^{*}=-I^{\gamma }\varphi _{\lambda }^{*}\). By Lemma 2.5, we have \(0<\lambda _{1}<\lambda _{2}\) implies that \(\varphi _{\lambda _{1}}^{*}\le \varphi _{\lambda _{2}}^{*}\), \(\varphi _{\lambda _{1}}^{*}\neq\varphi _{\lambda _{2}}^{*}\), that is, \(w_{\lambda _{1}}^{*}\ge w_{\lambda _{2}}^{*}\), \(w_{\lambda _{1}}^{*} \neq w_{\lambda _{2}}^{*}\), and if \(\kappa \in (0,\frac{1+\sigma }{2})\), then

$$ \lim_{\lambda \to 0^{+}} \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} _{\lambda } \bigr\Vert =+\infty ,\qquad \lim _{\lambda \to +\infty } \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*}_{\lambda } \bigr\Vert =0, $$

that is (3.22), so this completes the proof of Theorem 3.2. □

4 Numerical examples

Now we give some examples to illustrate our results.

Example 4.1

Let \(\mathfrak{B}(x)=x^{2}\), consider the following abstract singular Kelvin–Voigt model:

$$ \textstyle\begin{cases} \mathfrak{B} (\pmb{\mathscr{D}_{t}}^{\frac{3}{2}}\epsilon (t) ) \pmb{\mathscr{D}_{t}}^{\frac{3}{2}}\epsilon (t)=\frac{2+t^{2}}{1+t ^{2}} (\epsilon ^{\frac{2}{3}}(t)+ [-\pmb{\mathscr{D}_{t}} ^{\frac{1}{4}}\epsilon (t) ]^{2}+\epsilon ^{-\frac{4}{3}}(t)+ [-\pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (t) ]^{- \frac{2}{3}} ), \\ \pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (s)\,d\chi (s), \end{cases} $$
(4.1)

where χ is a bounded variation function satisfying

$$ \chi (t)= \textstyle\begin{cases} 0,& t\in [0,\frac{1}{2} ) , \\ 2,& t\in [\frac{1}{2},\frac{3}{4} ), \\ 1,& t\in [\frac{3}{4},1 ]. \end{cases} $$

Thus by simple computation, the problem (4.1) reduces to the following singular multipoint boundary value problem:

$$ \textstyle\begin{cases} \mathfrak{B} (\pmb{\mathscr{D}_{t}}^{\frac{3}{2}}\epsilon (t) ) \pmb{\mathscr{D}_{t}}^{\frac{3}{2}}\epsilon (t)=\frac{2+t^{2}}{1+t ^{2}} (\epsilon ^{\frac{2}{3}}(t)+ [-\pmb{\mathscr{D}_{t}} ^{\frac{1}{4}}\epsilon (t) ]^{2}+\epsilon ^{-\frac{4}{3}}(t)+ [-\pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (t) ]^{- \frac{2}{3}} ), \\ \pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\frac{1}{4}}\epsilon (1)=2 \pmb{\mathscr{D}_{t}}^{\frac{1}{4}} (\frac{1}{2} )- \pmb{\mathscr{D}_{t}}^{\frac{1}{4}} (\frac{3}{4} ). \end{cases} $$
(4.2)

Corollary 4.1

The abstract singular Kelvin–Voigt model (4.1) has a unique positive solution \(\epsilon ^{*}\), and there exist two constants \(0<\nu <\mu \) such that

$$ -\mu t^{\frac{1}{2}}\le \epsilon ^{*}(t)\le -\nu t^{\frac{1}{2}}. $$
(4.3)

Moreover, for any initial \(u_{0}, v_{0} \in P_{e}\), construct successively two sequences:

$$\begin{aligned}& \begin{aligned} u_{n} &= \int _{0}^{1} \bigl[4t^{\frac{1}{4}} \mathcal{G}(s)+G(t,s) \bigr] \biggl(\frac{2+s^{2}}{1+s^{2}} \biggr)^{\frac{1}{3}} \\ &\quad{}\times \bigl( \bigl(I ^{\frac{1}{4}}u_{n-1}(s) \bigr)^{\frac{2}{3}}+u^{2}_{n-1}(s) + \bigl(I ^{\frac{1}{4}}v_{n-1}(s) \bigr)^{-\frac{4}{5}}+v^{\frac{2}{3}}_{n-1}(s) \bigr) ^{\frac{1}{3}}\,ds,\quad n = 1, 2, \ldots , \end{aligned} \\& \begin{aligned} v_{n} &= \int _{0}^{1} \bigl[4t^{\frac{1}{4}} \mathcal{G}(s)+G(t,s) \bigr] \biggl(\frac{2+s^{2}}{1+s^{2}} \biggr)^{\frac{1}{3}} \\ &\quad{}\times \bigl( \bigl(I ^{\frac{1}{4}}v_{n-1}(s) \bigr)^{\frac{2}{3}}+v^{2}_{n-1}(s) + \bigl(I ^{\frac{1}{4}}u_{n-1}(s) \bigr)^{-\frac{4}{5}}+u^{\frac{2}{3}}_{n-1}(s) \bigr) ^{\frac{1}{3}}\,ds, \quad n = 1, 2, \ldots , \end{aligned} \end{aligned}$$

which converge uniformly to \(-\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), and there exists a constant \(0< r<1\) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr). $$

Proof

We only need to consider the equivalent equation (4.2). Firstly, comparing with the general model (1.4)–(1.5), one gets

$$ \gamma =\frac{1}{4}, \qquad \alpha =\frac{3}{2}, \qquad \sigma =2, \qquad f(t,u,v)=\frac{2+t ^{2}}{1+t^{2}} \bigl(u^{\frac{2}{3}}+v^{2}+u^{-\frac{4}{5}}+v^{- \frac{2}{3}} \bigr) $$

and

$$ \mathcal{C}= \int _{0}^{1}t^{\alpha -1}\,d\chi (t)=2\times \biggl(\frac{1}{2} \biggr) ^{\frac{1}{4}}- \biggl(\frac{3}{4} \biggr)^{\frac{1}{4}}=0.7512< 1, \qquad \mathcal{G}(s)\ge 0. $$

Next let \(g(t,u,v)=\frac{2+t^{2}}{1+t^{2}} (u^{\frac{2}{3}}+v ^{2} )\), \(h(t,u,v)=\frac{2+t^{2}}{1+t^{2}} ( u^{- \frac{4}{5}}+v^{-\frac{2}{3}} )\), then for any \(u,v>0\) and \(0< c<1\), we have

$$\begin{aligned}& g (t,cu,cv)=\frac{2+t^{2}}{1+t^{2}} \bigl(c^{\frac{2}{3}}u^{ \frac{2}{3}}+c^{2}v^{2} \bigr)\ge c^{2}g(t,u,v), \\& h\bigl(t,c^{-1}u,c ^{-1}v\bigr)=\frac{2+t^{2}}{1+t^{2}} \bigl( \bigl(c^{-1}u\bigr)^{-\frac{4}{5}}+\bigl(c^{-1}v \bigr)^{- \frac{2}{3}} \bigr)\ge c^{2}h(t,u,v). \end{aligned}$$

Take \(\kappa =2\), then \(0<\kappa <1+\sigma \), and \(g:[0,1]\times [0,+ \infty )^{2} \to [0,+\infty )\), \(h:[0,1]\times (0,+\infty )^{2} \to [0,+ \infty )\) are continuous, and for all \(t\in [0,1]\), \(g(t,u,v)\) is nondecreasing and \(h(t,u,v)\) is nonincreasing in \(u,v>0\), respectively. Thus all the conditions of Theorem 3.1 hold, according to Theorem 3.1, the singular Kelvin–Voigt model (4.1) has a unique positive solution \(\epsilon ^{*}\), and there exist two constants \(0<\nu <\mu \) such that (4.3) holds.

Moreover, for any initial \(u_{0}, v_{0} \in P_{e}\), construct successively two sequences:

$$\begin{aligned}& \begin{aligned} u_{n} &= \int _{0}^{1} \bigl[4t^{\frac{1}{4}} \mathcal{G}(s)+G(t,s) \bigr] \biggl(\frac{2+s^{2}}{1+s^{2}} \biggr)^{\frac{1}{3}} \\ &\quad {}\times\bigl( \bigl(I ^{\frac{1}{4}}u_{n-1}(s) \bigr)^{\frac{2}{3}}+u^{2}_{n-1}(s) + \bigl(I ^{\frac{1}{4}}v_{n-1}(s) \bigr)^{-\frac{4}{5}}+v^{\frac{2}{3}}_{n-1}(s) \bigr) ^{\frac{1}{3}}\,ds, \quad n = 1, 2, \ldots , \end{aligned} \\& \begin{aligned} v_{n} &= \int _{0}^{1} \bigl[4t^{\frac{1}{4}} \mathcal{G}(s)+G(t,s) \bigr] \biggl(\frac{2+s^{2}}{1+s^{2}} \biggr)^{\frac{1}{3}} \\ &\quad {}\times\bigl( \bigl(I ^{\frac{1}{4}}v_{n-1}(s) \bigr)^{\frac{2}{3}}+v^{2}_{n-1}(s) + \bigl(I ^{\frac{1}{4}}u_{n-1}(s) \bigr)^{-\frac{4}{5}}+u^{\frac{2}{3}}_{n-1}(s) \bigr) ^{\frac{1}{3}}\,ds, \quad n = 1, 2, \ldots , \end{aligned} \end{aligned}$$

which converge uniformly to \(-\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), and there exists a constant \(0< r<1\) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr). $$

 □

Example 4.2

Let \(\mathfrak{B}(x)=x^{\frac{1}{2}}\), consider the following eigenvalue problem of singular Kelvin–Voigt model:

$$ \textstyle\begin{cases} \mathfrak{B} (\pmb{\mathscr{D}_{t}}^{\frac{5}{3}}\epsilon (t) ) \pmb{\mathscr{D}_{t}}^{\frac{5}{3}}\epsilon (t)=\lambda [\frac{2+ \sin t }{1+e^{t}+\cos t}+2t^{2} [-\pmb{\mathscr{D}_{t}}^{ \frac{1}{3}}\epsilon (t) ]^{\frac{2}{3}}+\epsilon ^{-\frac{1}{2}}(t) ], \\ \pmb{\mathscr{D}_{t}}^{\frac{1}{3}}\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\frac{1}{3}}\epsilon (1)= \int ^{1}_{0} \pmb{\mathscr{D}_{t}}^{\frac{1}{3}}\epsilon (s)\,d\chi (s), \end{cases} $$
(4.4)

where χ is a bounded variation function satisfying

$$ \chi (t)= \textstyle\begin{cases} 0,& t\in [0,\frac{1}{3} ) , \\ \frac{5}{2},& t\in [\frac{1}{3},\frac{2}{3} ), \\ 2,& t\in [\frac{2}{3},1 ]. \end{cases} $$

Thus by simple computation, the problem (4.4) reduces to the following singular multipoint boundary value problem:

$$ \textstyle\begin{cases} \mathfrak{B} (\pmb{\mathscr{D}_{t}}^{\frac{5}{3}}\epsilon (t) ) \pmb{\mathscr{D}_{t}}^{\frac{5}{3}}\epsilon (t)=\lambda [\frac{2+ \sin t }{1+e^{t}+\cos t}+2t^{2} [-\pmb{\mathscr{D}_{t}}^{ \frac{1}{3}}\epsilon (t) ]^{\frac{2}{3}}+\epsilon ^{-\frac{1}{2}}(t) ], \\ \pmb{\mathscr{D}_{t}}^{\frac{1}{3}}\epsilon (0)=0,\qquad \pmb{\mathscr{D}_{t}}^{\frac{1}{3}}\epsilon (1)=\frac{5}{2} \pmb{\mathscr{D}_{t}}^{\frac{1}{3}} (\frac{1}{3} )- \frac{1}{2}\pmb{\mathscr{D}_{t}}^{\frac{1}{3}} (\frac{2}{3} ). \end{cases} $$
(4.5)

Corollary 4.2

The abstract singular Kelvin–Voigt model (4.4) has a unique positive solution \(\epsilon ^{*}\), and there exist two constants \(0<\nu <\mu \) such that

$$ -\mu t^{\frac{2}{3}}\le \epsilon ^{*}(t)\le -\nu t^{\frac{2}{3}}. $$
(4.6)

Moreover, for any initial \(u_{0}, v_{0} \in P_{e}\), construct successively two sequences:

$$\begin{aligned}& u_{n} =\lambda \int _{0}^{1} \biggl[\frac{t^{\frac{1}{3}}}{0.9815} \mathcal{G}(s)+G(t,s) \biggr] \biggl(\frac{2+\sin s }{1+e^{s}+\cos s}+2s ^{2}u^{\frac{2}{3}}_{n-1}(s) + \bigl(I^{\frac{1}{3}}v_{n-1}(s) \bigr) ^{-\frac{1}{2}} \biggr)^{\frac{2}{3}}\,ds, \\& \quad n = 1, 2, \ldots , \\& v_{n} =\lambda \int _{0}^{1} \biggl[\frac{t^{\frac{1}{3}}}{0.9815} \mathcal{G}(s)+G(t,s) \biggr] \biggl(\frac{2+\sin s }{1+e^{s}+\cos s}+2s ^{2}v^{\frac{2}{3}}_{n-1}(s) + \bigl(I^{\frac{1}{3}}u_{n-1}(s) \bigr) ^{-\frac{1}{2}} \biggr)^{\frac{2}{3}}\,ds, \\& \quad n = 1, 2, \ldots , \end{aligned}$$

which converge uniformly to \(-\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), and there exists a constant \(0< r<1\) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{4}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr). $$

In addition, we also have

$$ \lim_{\lambda \to 0^{+}} \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} _{\lambda } \bigr\Vert =+\infty ,\qquad \lim _{\lambda \to +\infty } \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*}_{\lambda } \bigr\Vert =0. $$

Proof

We consider equation (4.5). Let

$$ \gamma =\frac{1}{3},\qquad \alpha =\frac{5}{3}, \qquad \sigma = \frac{1}{2}, \qquad f(t,u,v)=\frac{2+ \sin t }{1+e^{t}+\cos t}+2t^{2}u^{\frac{2}{3}}+v^{-\frac{1}{2}} $$

and

$$ \mathcal{C}= \int _{0}^{1}t^{\alpha -1}\,d\chi (t)= \frac{5}{2}\times \biggl(\frac{1}{3} \biggr)^{\frac{2}{3}}- \frac{1}{2}\times \biggl(\frac{2}{3} \biggr) ^{\frac{2}{3}}=0.0185< 1, \qquad \mathcal{G}(s)\ge 0. $$

Take \(g(t,u,v)=\frac{2+\sin t }{2(1+e^{t}+\cos t)}+2t^{2}u^{ \frac{2}{3}}\), \(h(t,u,v)=\frac{2+\sin t }{2(1+e^{t}+\cos t)}+v^{- \frac{1}{2}}\), then \(g(t,1,1)>0\), \(h(t,1,1)>0\), and for any \(u,v>0\) and \(0< c<1\), we have

$$\begin{aligned}& \begin{aligned} g (t,cu,cv)&=\frac{2+\sin t }{2(1+e^{t}+\cos t)}+2t^{2}(cu)^{ \frac{2}{3}}\ge c^{\frac{2}{3}} \biggl[\frac{2+\sin t }{2(1+e^{t}+ \cos t)}+2t^{2}u^{\frac{2}{3}} \biggr] \\ &=c^{\frac{2}{3}}g(t,u,v), \end{aligned} \\& \begin{aligned} h\bigl(t,c^{-1}u,c^{-1}v\bigr)&=\frac{2+\sin t }{2(1+e^{t}+\cos t)}+(cv)^{- \frac{1}{2}} \ge c^{\frac{2}{3}} \biggl[\frac{2+\sin t }{2(1+e^{t}+ \cos t)}+(cv)^{-\frac{1}{2}} \biggr] \\ &=c^{\frac{2}{3}}h(t,u,v). \end{aligned} \end{aligned}$$

Take \(\kappa =\frac{2}{3}\), then \(0<\kappa <1+\sigma =\frac{3}{2}\), and \(g:[0,1]\times [0,+\infty )^{2} \to [0,+\infty )\), \(h:[0,1]\times (0,+ \infty )^{2} \to [0,+\infty )\) are continuous, and for all \(t\in [0,1]\), \(g(t,u,v)\) is nondecreasing and \(h(t,u,v)\) is nonincreasing in \(u,v>0\), respectively. Thus all the conditions of Theorem 3.1 hold, according to Theorem 3.1, the singular Kelvin–Voigt model (4.4) has a unique positive solution \(\epsilon ^{*}\), and there exist two constants \(0<\nu <\mu \) such that (4.6) holds.

Moreover, for any initial \(u_{0}, v_{0} \in P_{e}\), construct successively two sequences:

$$\begin{aligned}& u_{n} =\lambda \int _{0}^{1} \biggl[\frac{t^{\frac{1}{3}}}{0.9815} \mathcal{G}(s)+G(t,s) \biggr] \biggl(\frac{2+\sin s }{1+e^{s}+\cos s}+2s ^{2}u^{\frac{2}{3}}_{n-1}(s) + \bigl(I^{\frac{1}{3}}v_{n-1}(s) \bigr) ^{-\frac{1}{2}} \biggr)^{\frac{2}{3}}\,ds, \\& \quad n = 1, 2, \ldots , \\& v_{n} =\lambda \int _{0}^{1} \biggl[\frac{t^{\frac{1}{3}}}{0.9815} \mathcal{G}(s)+G(t,s) \biggr] \biggl(\frac{2+\sin s }{1+e^{s}+\cos s}+2s ^{2}v^{\frac{2}{3}}_{n-1}(s) + \bigl(I^{\frac{1}{3}}u_{n-1}(s) \bigr) ^{-\frac{1}{2}} \biggr)^{\frac{2}{3}}\,ds, \\& \quad n = 1, 2, \ldots , \end{aligned}$$

which converge uniformly to \(-\pmb{\mathscr{D}_{t}}^{\frac{1}{3}} \epsilon ^{*}(t)\) on \([0,1]\) as \(n\to \infty \), and there exists a constant \(0< r<1\) such that

$$ \bigl\Vert u_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{3}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr),\qquad \bigl\Vert v_{n}+\pmb{\mathscr{D}_{t}}^{\frac{1}{3}} \epsilon ^{*} \bigr\Vert =o\bigl(1-r^{2^{n}}\bigr). $$

In particular, if we take \(\lambda =3,5\), then \(\epsilon _{3}^{*}(t) \le \epsilon _{5}^{*}(t)\). Since \(\kappa =\frac{2}{3}\in (0,\frac{1+ \sigma }{2})=(0,\frac{3}{4})\), we have

$$ \lim_{\lambda \to 0^{+}} \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*} _{\lambda } \bigr\Vert =+\infty ,\qquad \lim _{\lambda \to +\infty } \bigl\Vert \pmb{\mathscr{D}_{t}}^{\gamma } \epsilon ^{*}_{\lambda } \bigr\Vert =0. $$

 □

5 Conclusion

In this work, we introduce a new nonlinear operator to generalize a standard Kelvin–Voigt model. By using the fixed point theorem of the mixed monotone operator, we not only establish the uniqueness of solution of this model, but also give an iterative scheme converging to the unique solution of the model. Especially, a nonlinear function of the model may have stronger singularity at some points of the strain vanishing, which can describe the case of instantaneous fracture of relaxation processes.

References

  1. Borberg, K.: Cracks and Fracture. Academic Press, San Diego (1999)

    Google Scholar 

  2. Fisk, Z.: Condensed-matter physics: singular behavior. Nature 424, 504–505 (2003)

    Article  Google Scholar 

  3. Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: The spectral analysis for a singular fractional differential equation with a signed measure. Appl. Math. Comput. 257, 252–263 (2015)

    MathSciNet  MATH  Google Scholar 

  4. Xu, Y., Zhang, H.: Positive solutions of an infinite boundary value problem for nth-order nonlinear impulsive singular integro-differential equations in Banach spaces. Appl. Math. Comput. 218(9), 5806–5818 (2012)

    MATH  Google Scholar 

  5. Hao, X., Wang, H.: Positive solutions of semipositone singular fractional differential systems with a parameter and integral boundary conditions. Open Math. 16(1), 581–596 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  6. Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018(1), 82 (2018)

    Article  MathSciNet  Google Scholar 

  7. Zhang, X., Liu, L., Wu, Y.: Existence results for multiple positive solutions of nonlinear higher order perturbed fractional differential equations with derivatives. Appl. Math. Comput. 219(4), 1420–1433 (2012)

    MathSciNet  MATH  Google Scholar 

  8. Zheng, Z., Kong, Q.: Friedrichs extensions for singular Hamiltonian operators with intermediate deficiency indices. J. Math. Anal. Appl. 461(2), 1672–1685 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  9. Li, P.: Generalized convolution-type singular integral equations. Appl. Math. Comput. 311, 314–323 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  10. Liu, H., Hao, Z.: Existence of positive solutions for a singular semipositone differential system with nonlocal boundary conditions. Bound. Value Probl. 2016(1), 207 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hao, X.: Positive solution for singular fractional differential equations involving derivatives. Adv. Differ. Equ. 2016(1), 139 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  12. Zhang, X., Mao, C., Liu, L., Wu, Y.: Exact iterative solution for an abstract fractional dynamic system model for bioprocess. Qual. Theory Dyn. Syst. 16, 205–222 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  13. Jiang, J., Liu, L., Wu, Y.: Multiple positive solutions of singular fractional differential system involving Stieltjes integral conditions. Electron. J. Qual. Theory Differ. Equ. 2012, 43 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  14. Jiang, J., Liu, L., Wu, Y.: Positive solutions to singular fractional differential system with coupled boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 18, 3061–3074 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  15. Jiang, J., Liu, L., Wu, Y.: Symmetric positive solutions to singular system with multi-point coupled boundary conditions. Appl. Math. Comput. 220, 536–548 (2013)

    MathSciNet  MATH  Google Scholar 

  16. Jiang, J., Liu, W., Wang, H.: Positive solutions to singular Dirichlet-type boundary value problems of nonlinear fractional differential equations. Adv. Differ. Equ. 2018, 169 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  17. Zhang, X., Liu, L., Wu, Y.: The eigenvalue problem for a singular higher fractional differential equation involving fractional derivatives. Appl. Math. Comput. 18, 8526–8536 (2012)

    MathSciNet  MATH  Google Scholar 

  18. Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400–1409 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  19. Schiessel, H., Metzler, R., Blumen, A., Nonnemacher, T.: Generalized viscoelastic models: their fractional equations. J. Phys. A, Math. Gen. 28, 6567–6584 (1995)

    Article  MATH  Google Scholar 

  20. Yang, Y., Meng, F.: Existence of positive solution for impulsive boundary value problem with p-Laplacian in Banach spaces. Math. Methods Appl. Sci. 36(6), 650–658 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  21. Liu, H., Meng, F.: Existence of positive periodic solutions for a predator–prey system of Holling type IV function response with mutual interference and impulsive effects. Discrete Dyn. Nat. Soc. 2015, Article ID 138984 (2015)

    MathSciNet  Google Scholar 

  22. Liu, J., Zhao, Z.: An application of variational methods to second-order impulsive differential equation with derivative dependence. Electron. J. Differ. Equ. 2014, 62 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  23. Gao, L., Wang, D., Wang, G.: Further results on exponential stability for impulsive switched nonlinear time-delay systems with delayed impulse effects. Appl. Math. Comput. 268, 186–200 (2015)

    MathSciNet  MATH  Google Scholar 

  24. Shao, J., Meng, F.: Nonlinear impulsive differential and integral inequalities with integral jump conditions. Adv. Differ. Equ. 2016(1), 112 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  25. Gao, L., Wang, D.: Input-to-state stability and integral input-to-state stability for impulsive switched systems with time-delay under asynchronous switching. Nonlinear Anal. Hybrid Syst. 20, 55–71 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  26. Gao, L., Cai, Y.: Finite-time stability of time-delay switched systems with delayed impulse effects. Circuits Syst. Signal Process. 35(9), 3135–3151 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  27. Guan, Y., Zhao, Z., Lin, X.: On the existence of solutions for impulsive fractional differential equations. Adv. Math. Phys. 2017, Article ID 1207456 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  28. Liu, J., Zhao, Z.: Multiple solutions for impulsive problems with non-autonomous perturbations. Appl. Math. Lett. 64, 143–149 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  29. Zhang, X., Wu, Y., Cui, Y.: Existence and nonexistence of blow-up solutions for a Schrödinger equation involving a nonlinear operator. Appl. Math. Lett. 82, 85–91 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  30. Wang, Y., Zhao, Z.: Existence and multiplicity of solutions for a second-order impulsive differential equation via variational methods. Adv. Differ. Equ. 2017(1), 46 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  31. Zhang, X., Liu, L., Wu, Y., Cui, Y.: Entire blow-up solutions for a quasilinear p-Laplacian Schrödinger equation with a non-square diffusion term. Appl. Math. Lett. 74, 85–93 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  32. Shao, H., Zhao, J.: A Lyapunov-like functional approach to stability for impulsive systems with polytopic uncertainties. J. Franklin Inst. 354(16), 7463–7475 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  33. Zuo, M., Hao, X., Liu, L., Cui, Y.: Existence results for impulsive fractional integro-differential equation of mixed type with constant coefficient and antiperiodic boundary conditions. Bound. Value Probl. 2017(1), 161 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  34. Zhang, X., Liu, L., Wu, Y.: The entire large solutions for a quasilinear Schrödinger elliptic equation by the dual approach. Appl. Math. Lett. 55, 1–9 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  35. Zhang, M., Gao, L.: Input-to-state stability for impulsive switched nonlinear systems with unstable subsystems. Trans. Inst. Meas. Control 40(7), 2167–2177 (2018)

    Article  Google Scholar 

  36. Gao, L., Wang, D., Zong, G.: Exponential stability for generalized stochastic impulsive functional differential equations with delayed impulses and Markovian switching. Nonlinear Anal. Hybrid Syst. 30, 199–212 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  37. Zhang, X., Liu, L., Wu, Y., Cui, Y.: The existence and nonexistence of entire large solutions for a quasilinear Schrödinger elliptic system by dual approach. J. Math. Anal. Appl. 464(2), 1089–1106 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  38. Zhang, X., Liu, L., Wu, Y., Lu, Y.: The iterative solutions of nonlinear fractional differential equations. Appl. Math. Comput. 219(9), 4680–4691 (2013)

    MathSciNet  MATH  Google Scholar 

  39. Zhao, Z.: Existence and uniqueness of fixed points for some mixed monotone operators. Nonlinear Anal. 73(6), 1481–1490 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  40. Zhang, X., Liu, L., Wu, Y., Cui, Y.: New result on the critical exponent for solution of an ordinary fractional differential problem. J. Funct. Spaces 2017, Article ID 3976469 (2017)

    MathSciNet  MATH  Google Scholar 

  41. Lin, X., Zhao, Z.: Existence and uniqueness of symmetric positive solutions of 2n-order nonlinear singular boundary value problems. Appl. Math. Lett. 26(7), 692–698 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  42. Mei, L., Wu, X.: Symplectic exponential Runge–Kutta methods for solving nonlinear Hamiltonian systems. J. Comput. Phys. 338, 567–584 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  43. Zhang, K., Wang, Y.: An H-tensor based iterative scheme for identifying the positive definiteness of multivariate homogeneous forms. J. Comput. Appl. Math. 305, 1–10 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  44. Zhang, X., Liu, L., Wu, Y.: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 55(3–4), 1263–1274 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  45. Lin, X., Zhao, Z.: Iterative technique for third-order differential equation with three-point nonlinear boundary value conditions. Electron. J. Qual. Theory Differ. Equ. 2016, 12 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  46. Zhang, X., Liu, L., Wu, Y.: Variational structure and multiple solutions for a fractional advection–dispersion equation. Comput. Math. Appl. 68(12), 1794–1805 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  47. Cui, Y., Zou, Y.: Monotone iterative method for differential systems with coupled integral boundary value problems. Bound. Value Probl. 2013(1), 245 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  48. Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: Nontrivial solutions for a fractional advection dispersion equation in anomalous diffusion. Appl. Math. Lett. 66, 1–8 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  49. Chen, H., Wang, Y.: A family of higher-order convergent iterative methods for computing the Moore–Penrose inverse. Appl. Math. Comput. 218(8), 4012–4016 (2011)

    MathSciNet  MATH  Google Scholar 

  50. Wang, M., Wei, M., Feng, Y.: An iterative algorithm for a least squares solution of a matrix equation. Int. J. Comput. Math. 87(6), 1289–1298 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  51. He, X., Qian, A., Zou, W.: Existence and concentration of positive solutions for quasilinear Schrödinger equations with critical growth. Nonlinearity 26(12), 3137–3168 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  52. Mao, A., Wang, W.: Nontrivial solutions of nonlocal fourth order elliptic equation of Kirchhoff type in \(R^{3}\). J. Math. Anal. Appl. 459(1), 556–563 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  53. Zhang, X., Liu, L., Wu, Y., Cui, Y.: Existence of infinitely solutions for a modified nonlinear Schrödinger equation via dual approach. Electron. J. Differ. Equ. 2018, 147 (2018)

    Article  MATH  Google Scholar 

  54. Zhang, J., Lou, Z., Ji, Y., Shao, W.: Ground state of Kirchhoff type fractional Schrödinger equations with critical growth. J. Math. Anal. Appl. 462(1), 57–83 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  55. Liu, J., Qian, A.: Ground state solution for a Schrödinger–Poisson equation with critical growth. Nonlinear Anal., Real World Appl. 40, 428–443 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  56. Sun, J., Wu, T., Feng, Z.: Non-autonomous Schrödinger–Poisson system in \(R^{3}\). Discrete Contin. Dyn. Syst. 38(4), 1889–1933 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  57. Zhang, J., Lou, Z., Ji, Y., Shao, W.: Multiplicity of solutions of the bi-harmonic Schrödinger equation with critical growth. Z. Angew. Math. Phys. 69, Article 42 (2018)

    Article  MATH  Google Scholar 

  58. Mao, A., Luan, S.: Sign-changing solutions of a class of nonlocal quasilinear elliptic boundary value problems. J. Math. Anal. Appl. 383(1), 239–243 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  59. Zheng, X., Shang, Y., Di, H.: The time-periodic solutions to the modified Zakharov equations with a quantum correction. Mediterr. J. Math. 14(4), 152 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  60. Wu, Y., Zhao, Z.: Positive solutions for third-order boundary value problems with change of signs. Appl. Math. Comput. 218(6), 2744–2749 (2011)

    MathSciNet  MATH  Google Scholar 

  61. Li, X., Zhao, Z.: On a fixed point theorem of mixed monotone operators and applications. Electron. J. Qual. Theory Differ. Equ. 2011, 94 (2011)

    MathSciNet  MATH  Google Scholar 

  62. Zhao, Z.: Existence and uniqueness of fixed points for some mixed monotone operators. Nonlinear Anal. 73(6), 1481–1490 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  63. Zhang, X., Liu, L., Wiwatanapataphee, B., Wu, Y.: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412–422 (2014)

    MathSciNet  MATH  Google Scholar 

  64. Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26–133 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  65. Zhang, X., Jiang, J., Wu, Y., Cui, Y.: Existence and asymptotic properties of solutions for a nonlinear Schrödinger elliptic equation from geophysical fluid flows. Appl. Math. Lett. 90, 229–237 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  66. Jiang, J., Liu, L., Wu, Y.: Positive solutions for second order impulsive differential equations with Stieltjes integral boundary conditions. Adv. Differ. Equ. 2012, 124 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  67. Jiang, J., Liu, L., Wu, Y.: Positive solutions for second-order differential equations with integral boundary conditions. Bull. Malays. Math. Sci. Soc. 37(3), 779–796 (2014)

    MathSciNet  MATH  Google Scholar 

  68. Wang, Y., Jiang, J.: Existence and nonexistence of positive solutions for the fractional coupled system involving generalized p-Laplacian. Adv. Differ. Equ. 2017, 337 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  69. Jiang, J., Liu, L., Wu, Y.: Positive solutions for p-Laplacian fourth-order differential system with integral boundary conditions. Discrete Dyn. Nat. Soc. 2012, Article ID 293734 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  70. Zhang, X., Shao, Z., Zhong, Q., Zhao, Z.: Triple positive solutions for semipositone fractional differential equations m-point boundary value problems with singularities and p-q-order derivatives. Nonlinear Anal., Model. Control 23, 889–903 (2018)

    Article  MathSciNet  Google Scholar 

  71. He, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: Existence and asymptotic analysis of positive solutions for a singular fractional differential equation with nonlocal boundary conditions. Bound. Value Probl. 2018, 189 (2018)

    Article  MathSciNet  Google Scholar 

  72. Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation. Math. Model. Anal. 23, 611–626 (2018)

    Article  MathSciNet  Google Scholar 

  73. He, J., Zhang, X., Liu, L., Wu, Y.: Existence and nonexistence of radial solutions of Dirichlet problem for a class of general k-Hessian equations. Nonlinear Anal., Model. Control 23, 475–492 (2018)

    MathSciNet  Google Scholar 

  74. Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 182 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  75. Jiang, J., Liu, W., Wang, H.: Positive solutions for higher order nonlocal fractional differential equation with integral boundary conditions. J. Funct. Spaces 2018, Article ID 6598351 (2018)

    MathSciNet  MATH  Google Scholar 

  76. Mao, J., Zhao, Z., Wang, C.: The exact iterative solution of fractional differential equation with nonlocal boundary value conditions. J. Funct. Spaces 2018, Article ID 8346398 (2018)

    MathSciNet  MATH  Google Scholar 

  77. Zhang, X., Liu, L., Wu, Y., Lou, C.: Entire large solutions for a class of Schrodinger systems with a nonlinear random operator. J. Math. Anal. Appl. 423, 1650–1659 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  78. Sitho, S., Ntouyas, S., Agarwal, P., Tariboon, J.: Noninstantaneous impulsive inequalities via conformable fractional calculus. J. Inequal. Appl. 2018, 261 (2018)

    Article  MathSciNet  Google Scholar 

  79. Liu, X., Zhang, L., Agarwal, P., Wang, G.: On some new integral inequalities of Gronwall–Bellman–Bihari type with delay for discontinuous functions and their applications. Indag. Math. 27, 1–10 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  80. Jain, S., Agarwal, P., Kilicman, A.: Pathway fractional integral operator associated with 3m-parametric Mittag-Leffler functions. Int. J. Appl. Comput. Math. 2018(4), 115 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  81. Choi, J., Agarwal, P.: Certain integral transform and fractional integral formulas for the generalized Gauss hypergeometric functions. Abstr. Appl. Anal. 2014, Article ID 735946 (2014)

    MathSciNet  MATH  Google Scholar 

  82. Feckan, M., Marynets, K., Wang, J.: Periodic boundary value problems for higher-order fractional differential systems. Math. Methods Appl. Sci. 42, 3616–3632 (2019)

    Article  Google Scholar 

  83. Saoudi, K., Agarwal, P., Kumam, P., Ghanmi, A., Thounthong, P.: The Nehari manifold for a boundary value problem involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2018, 263 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  84. Ren, T., Li, S., Zhang, X., Liu, L.: Maximum and minimum solutions for a nonlocal p-Laplacian fractional differential system from eco-economical processes. Bound. Value Probl. 2017, 118 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  85. Miller, K., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  86. Bai, Z., Lv, H.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495–505 (2005)

    Article  MathSciNet  Google Scholar 

  87. Zhang, X., Han, Y.: Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations. Appl. Math. Lett. 25, 555–560 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  88. Guo, D.: The Order Methods in Nonlinear Analysis. Shandong Technical and Science Press, Jinan (2000) (in Chinese)

    Google Scholar 

  89. Lin, X., Jiang, D., Li, X.: Existence and uniqueness of solutions for singular \((k, n- k)\) conjugate boundary value problems. Comput. Math. Appl. 52, 375–382 (2006)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the reviewers for their useful suggestions.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Funding

The authors are supported financially by the National Natural Science Foundation of China (11571296).

Author information

Authors and Affiliations

Authors

Contributions

The study was carried out in collaboration among all authors. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Jianxin He or Xinguang Zhang.

Ethics declarations

Competing interests

The authors declare that there is no conflict of interest regarding the publication of this paper.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

He, J., Zhang, X., Liu, L. et al. A singular fractional Kelvin–Voigt model involving a nonlinear operator and their convergence properties. Bound Value Probl 2019, 112 (2019). https://doi.org/10.1186/s13661-019-1228-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-019-1228-7

MSC

Keywords