# Multiplicity of solutions for the Dirichlet boundary value problem to a fractional quasilinear differential model with impulses

## Abstract

This paper aims to consider the multiplicity of solutions for a kind of boundary value problem to a fractional quasilinear differential model with impulsive effects. By establishing a new variational structure and overcoming the difficulties brought by the influence of impulsive effects, some new results are acquired via the symmetry mountain-pass theorem, which extend and enrich some previous results.

## 1 Introduction

In this paper, we are concerned with the following fractional quasilinear differential model with impulsive effects.

$$\textstyle\begin{cases} {}_{t} D_{T}^{\alpha}({}_{0} D_{t}^{\alpha}u(t)) + b(t)u(t)+2u(t) \vert {}_{0} D_{t}^{\alpha}u(t) \vert ^{2}+2{}_{t} D_{T}^{\alpha}( \vert u(t) \vert ^{2}{}_{0} D_{t}^{ \alpha}u(t)) \\ \quad = f(t,u(t)),\quad \text{a.e. } t\in J, \\ \Delta (_{t} I_{T}^{1 - \alpha } (_{0} D_{t}^{\alpha }u(t_{j} ))) = I_{1j} (u(t_{j} )), \quad j=1,2,\ldots,m, \\ \Delta (_{t} I_{T}^{1 - \alpha } ( \vert u(t_{j}) \vert ^{2} {_{0} D_{t}^{\alpha}} u(t_{j} ))) = I_{2j} (u(t_{j} )),\quad j=1,2,\ldots,m, \\ u(0) = u(T)=0, \end{cases}$$
(1)

where $$D_{t}^{\alpha}$$ and $${}_{t} D_{b}^{\alpha}$$ are the left and right Riemannâ€“Liouville fractional derivatives, respectively, $${}_{t} I_{b}^{\alpha}$$ is the right Riemannâ€“Liouville fractional integral, $$f(t,u)=g(t,u)+\zeta h(t)|u(t)|^{\nu -2}u(t)$$, $gâˆˆC\left(\left[0,T\right]Ã—\mathbb{R},\mathbb{R}\right)$, $$\alpha \in (\frac{1}{2},1]$$, $b,hâˆˆC\left(\left[0,T\right],\mathbb{R}\right)$, $$t_{0}=0< t_{1}< t_{2}<\cdots <t_{m}<t_{m+1}=T$$, $$J=[0,T]\setminus \{t_{1},t_{2},\ldots ,t_{m}\}$$, $mâˆˆ\mathbb{N}$, ${I}_{j}âˆˆC\left(\mathbb{R},\mathbb{R}\right)$, $\mathrm{Î¶}âˆˆ\mathbb{R}$, $$v\in [1,2)$$,

\begin{aligned}& \Delta \bigl(_{t} I_{T}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u(t_{j} ) \bigr) \bigr) ={_{t} I_{T}}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u \bigl(t_{j}^{+} \bigr) \bigr) - {_{t} I_{T}}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u \bigl(t_{j}^{-} \bigr) \bigr), \\& {_{t} I_{T}}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u \bigl(t_{j}^{+} \bigr) \bigr) = \lim_{t\rightarrow t_{j}^{+}} {_{t} I_{T}^{1 - \alpha } \bigl(_{0} D_{t}^{ \alpha }u(t_{j} ) \bigr)}, \\& {_{t} I_{T}}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u \bigl(t_{j}^{-} \bigr) \bigr) =\lim_{t\rightarrow t_{j}^{-}} {_{t} I_{T}^{1 - \alpha } \bigl(_{0} D_{t}^{\alpha }u(t_{j} ) \bigr)}, \\& \Delta \bigl(_{t} I_{T}^{1 - \alpha } \bigl( \bigl\vert u(t_{j}) \bigr\vert ^{2} {_{0} D_{t}^{ \alpha}} u(t_{j} ) \bigr) \bigr) = {_{t}I}_{T}^{1 - \alpha } \bigl( \bigl\vert u \bigl(t_{j}^{+} \bigr) \bigr\vert ^{2} {_{0} D_{t}^{\alpha}} u \bigl(t_{j}^{+} \bigr) \bigr)- {_{t}I}_{T}^{1 - \alpha } \bigl( \bigl\vert u \bigl(t_{j}^{-} \bigr) \bigr\vert ^{2} {_{0} D_{t}^{\alpha}} u \bigl(t_{j}^{-} \bigr) \bigr), \\& {_{t} I_{T}}^{1 - \alpha } \bigl( \bigl\vert u \bigl(t_{j}^{+} \bigr) \bigr\vert ^{2} _{0} D_{t}^{\alpha }u \bigl(t_{j}^{+} \bigr) \bigr) =\lim_{t\rightarrow t_{j}^{+}} {_{t} I_{T}^{1 - \alpha } \bigl( \bigl\vert u(t_{j}) \bigr\vert ^{2} _{0} D_{t}^{\alpha }u(t_{j} ) \bigr)}, \\& {_{t} I_{T}}^{1 - \alpha } \bigl( \bigl\vert u \bigl(t_{j}^{-} \bigr) \bigr\vert ^{2} _{0} D_{t}^{ \alpha }u \bigl(t_{j}^{-} \bigr) \bigr) =\lim_{t\rightarrow t_{j}^{-}} {_{t} I_{T}^{1 - \alpha } \bigl( \bigl\vert u(t_{j}) \bigr\vert ^{2} _{0} D_{t}^{\alpha }u(t_{j} ) \bigr)}. \end{aligned}

In fact, the idea of a fractional quasilinear differential model comes from the standing-wave solutions ($$\varphi (t,x)=e^{-iwt}u(x)$$, $wâˆˆ\mathbb{R}$) of the following integer quasilinear SchrÃ¶dinger equation.

$i{\mathrm{âˆ‚}}_{t}\mathrm{Ï†}=âˆ’{\mathrm{âˆ‚}}_{xx}\mathrm{Ï†}+V\left(x\right)\mathrm{Ï†}âˆ’{\mathrm{âˆ‚}}_{xx}\left(|\mathrm{Ï†}{|}^{2}\right)\mathrm{Ï†}âˆ’|\mathrm{Ï†}{|}^{vâˆ’1}\mathrm{Ï†},\phantom{\rule{1em}{0ex}}xâˆˆ\mathbb{R},v>1,$
(2)

which plays an important role in some research fields of physics (see [1, 2] and the references therein). An interesting question as to whether the existence or multiplicity of solutions to this fractional quasilinear differential model with suitable boundary conditions generated by impulsive effects can be obtained naturally comes to mind. It is well known that the impulsive differential models describe the discontinuous process and originate from some important research fields. In recent years, critical-point theory has been successfully applied to deal with the existence and multiplicity of solutions of boundary value problems (BVPs for short) to differential equations with impulsive effects. Based on some critical-point theorems, Nieto and Oâ€™Regan [3] considered the impulsive Dirichlet BVP

\begin{aligned} \textstyle\begin{cases} - u''(t) + \lambda u(t) = f(t,u(t)), \quad \text{a.e. } t \in J, \\ \Delta (u'(t_{j} )) = I_{j} (u(t_{j} )),\quad j = 1,2,\ldots,m, \\ u(0) = u(T) = 0 \end{cases}\displaystyle \end{aligned}
(3)

and obtained some existence results. Subsequently, more and more scholars have paid attention to this problem, such as Sun and Chen [4], Zhou and Li [5], Zhang and Yuan [6], etc. Moreover, for the case of impulsive BVPs with p-Laplacian operator, one can refer to [7, 8] and references therein.

On the other hand, recently, Jiao and Zhou [9] proved that under the Dirichlet boundary condition $$u(0) = u(T) = 0$$, the operator $${}_{t}^{c} D_{T}^{\alpha}{}_{0} D_{t}^{\alpha}$$ has a variational structure. Also, by the mountain-pass theorem, the existence of solutions to the following systems was obtained under the Ambrosettiâ€“Rabinowitz condition:

$$\textstyle\begin{cases} {}_{t} D_{T}^{\alpha}({}_{0} D_{t}^{\alpha}u(t)) =\nabla F(t,u(t)),\quad \text{a.e. } t\in [0,T], \\ u(0) = u(T) = 0, \end{cases}$$
(4)

where $$\alpha \in (\frac{1}{2},1]$$. After that, Bonanno, RodrÃ­guez-LÃ³pez and Tersian [10] discussed the existence of three solutions to the following problem with impulsive effects and parameters:

$$\textstyle\begin{cases} _{t} D_{T}^{\alpha }(_{0} ^{c} D_{t}^{\alpha }u(t)) + a(t)u(t) = \lambda f(t,u(t)),\quad \text{a.e. }t \in J \\ \Delta (_{t} I_{T}^{1 - \alpha } (_{0} ^{c} D_{t}^{\alpha }u(t_{j} ))) = \mu I_{j} (u(t_{j} )),\quad j = 1,2,\ldots,m, \\ u(0) = u(T) = 0, \end{cases}$$
(5)

where $$\alpha \in (\frac{1}{2},1]$$. Nyamoradi and RodrÃ­guez-LÃ³pez [11] extended the scalar model of (1.5) to the case of Hamiltonian systems and obtained the multiplicity of solutions by the variant Fountain theorems. Moreover, by the gene property and the mountain-pass theorem, Ledesma and Nyamoradi [12] investigated the eigenvalue problem $${}_{t} D_{T}^{\alpha }\phi _{p}(_{0} D_{t}^{\alpha }u) = \lambda \phi _{p}(u)$$ with the Dirichlet boundary conditions $$u(0) = u(T) = 0$$ and obtained the existence of solutions to the Dirichlet boundary problem of a fractional p-Laplacian equation with impulsive effects. Liu, Wang and Shen [13] extended the results of [12] to the case of combined nonlinearity. Furthermore, for the Dirichlet BVPs and other BVPs of fractional differential equations with or without impulsive effects, one can refer to [14â€“21] and references therein.

Motivated by the works mentioned above, we are concerned with the multiplicity of solutions to the fractional quasilinear differential model with impulsive effects (1.1). Let us present our paperâ€™s contribution: To begin with, the variational structure of (1.1) is established, which makes the critical-point theory applicable to discuss the existence and multiplicity of solutions to this problem. Moreover, the impulsive effects produced by the quasilinear term $$u|{}_{0} D_{t}^{\alpha}u|^{2}+{}_{t} D_{T}^{\alpha}(|u|^{2}{}_{0} D_{t}^{ \alpha}u)$$ are more complex than the case of $${}_{t}^{c} D_{T}^{\alpha}({}_{0} D_{t}^{\alpha}u)$$, which make this problem challenging. Furthermore, there are few papers considering this problem.

In order to describe our main conclusion, the following assumptions are presented:

1. (I1)

For any $tâˆˆ\mathbb{R}$, $$I_{1j}(t)$$ and $$I_{2j}(t)$$ are odd on t and

$$\int _{0}^{t} \bigl(I_{1j}(s)+I_{2j}(s) \bigr)\,ds\geq 0.$$
2. (I2)

There exist constants $$a_{1j},a_{2j},d_{1j},d_{2j}>0$$ such that

3. (I3)

For any $tâˆˆ\mathbb{R}$, $$I_{1j}(t)$$ and $$I_{2j}(t)$$ satisfy

$$\theta \int _{0}^{t} \bigl(I_{1j}(s)+I_{2j}(s) \bigr)\,ds- \bigl(I_{1j}(t)+I_{2j}(t) \bigr)t \geq 0,$$

where $$\theta \geq 4$$ is a constant.

4. (G1)

$$\lim_{|u|\to +\infty} \frac{G(t,u)}{|u|^{4}}= +\infty$$ uniformly for $$t\in [0,T]$$.

5. (G2)

There exist constants $$M_{1}>0$$, $$L_{1}>0$$ such that for $$t\in [0,T]$$, $$|u|\geq L_{1}$$,

$$u g(t,u)-\theta G(t,u)\geq -M_{1} \vert u \vert ^{2}.$$
6. (G3)

There exist constants $$M_{2}>0$$, $$L_{2}>0$$, $$\mu >\theta$$ such that for $$t\in [0,T]$$, $$|u|\geq L_{2}$$,

$$G(t,u)\leq M_{2} \vert u \vert ^{\mu}.$$
7. (G4)

$$g(t,u)=o(|u|)$$ as $$|u|\to 0$$ uniformly for $$t\in [0,T]$$.

8. (G5)

$$g(t,u)$$ is odd on u.

Now, we state our main results.

### Theorem 1.1

Assuming that the conditions (I1)â€“(I3) and (G1)â€“(G5) are satisfied, there exists a constant $$\zeta _{*}>0$$ such that the problem (1.1) has infinitely many nontrivial weak solutions, provided that $$\zeta \in [0,\zeta _{*})$$.

### Remark 1.2

It should be pointed out that if $$\zeta =0$$, the condition (G3) can be removed. Moreover, the conditions (G1) and (G2) are weaker than the following classical Ambrosettiâ€“Rabinowitz condition:

$0<\mathrm{Î¸}G\left(t,u\right)â‰¤ug\left(t,u\right),\phantom{\rule{1em}{0ex}}\mathrm{Î¸}>4,uâˆˆ\mathbb{R}âˆ–\left\{0\right\}.$

### Remark 1.3

If $$\alpha =1$$, the quasilinear term $$2 u|{}_{0} D_{t}^{\alpha}u|^{2}+2{}_{t} D_{T}^{\alpha}(|u|^{2}{}_{0} D_{t}^{ \alpha}u)$$ is equal to $$-(|u|^{2})''u$$. Moreover, $$I_{2j} (u)=|u|^{2}I_{1j} (u)$$.

### Corollary 1.4

If the assumptions (I2) and (G1) in Theorem 1.1are replaced by

(I2)âˆ—:

there exist constants $$a_{1j},a_{2j},d_{1j},d_{2j}>0$$ such that

(G1)âˆ—:

$$\lim_{|u|\to +\infty} \frac{F(t,u)}{|u|^{\theta}}= +\infty$$ uniformly for $$t\in [0,T]$$.

Then, the conclusion of Theorem 1.1is also true.

### Remark 1.5

It should be pointed out that the impulsive nonlinearity $$I_{1j}$$ could be superlinear growth when $$\theta >4$$.

## 2 Preliminaries

Set $C:=C\left(\left[0,T\right],\mathbb{R}\right)$ with norm $$\| u \|_{\infty}=\max_{t\in [0,T]}|u(t)|$$ and ${L}^{p}:={L}^{p}\left(\left[0,T\right],\mathbb{R}\right)$ with norm $$\| u \|_{L^{p}}=(\int _{0}^{T}|u(t)|^{p}\,dt)^{\frac{1}{p}}$$. For the definitions of fractional integrals and derivatives relating to the well-known left and right Riemannâ€“Liouville and Caputo, one can refer to references [22, 23]. Next, some of the necessary results and properties will be presented. Define the Sobolev space

${E}_{0}^{\mathrm{Î±}}=\left\{u:\left[0,T\right]â†’\mathbb{R}âˆ£u,{}_{0}{D}_{t}^{\mathrm{Î±}}uâˆˆ{L}^{2},u\left(0\right)=u\left(T\right)=0\right\}$

by ${\stackrel{â€¾}{{C}_{0}^{\mathrm{âˆž}}\left(\left[0,T\right],\mathbb{R}\right)}}^{{âˆ¥â‹\dots âˆ¥}_{\mathrm{Î±}}}$, where $$\|\cdot \|_{\alpha}=\langle\cdot ,\cdot \rangle^{\frac{1}{2}}$$,

$$\langle u,v\rangle = \int _{0}^{T} \big( \bigl(u(t)v(t)+{}_{0} D_{t}^{\alpha}u(t) {}_{0} D_{t}^{\alpha}v(t) \bigr)\,dt .$$

Let

\begin{aligned} P(u) =&\frac{1}{2} \Vert u \Vert ^{2}_{\alpha}- \frac{1}{2} \int _{0}^{T} \bigl(1-b(t) \bigr)u^{2}(t) \,dt. \end{aligned}

By the method of [24], the space $$E_{0}^{\alpha}$$ can be decomposed as follows. In fact, based on the Riesz representation theorem, we can find a linear self-adjoint operator $$Q:E_{0}^{\alpha}\to E_{0}^{\alpha}$$ such that

\begin{aligned} \langle Qu,v\rangle = \int _{0}^{T} \bigl(1-b(t) \bigr)u(t)v(t)\,dt \quad \text{for } u,v\in E_{0}^{ \alpha}, \end{aligned}

which implies that

\begin{aligned} P(u)=\frac{1}{2}\bigl\langle (I-Q)u,u\bigr\rangle . \end{aligned}

Noting that the embedding $$E_{0}^{\alpha}\hookrightarrow C$$ is compact (see [9]), it implies that Q is compact. In view of the well-known compact operatorâ€™s spectral theory, for the operator $$I-Q$$, we can decompose the Sobolev space $$E_{0}^{\alpha}$$ into the orthogonal sum of invariant subspaces as

$$E_{0}^{\alpha}=E^{-}\oplus E^{0}\oplus E^{+},$$

where $$E^{-}$$ and $$E^{+}$$ are negative and positive spectral subspaces corresponding to the operator $$I-Q$$, $$E^{0}=N(I-Q)$$. Moreover, letting $$\Pi =\{1,2,\ldots,\iota \}$$ with $\mathrm{Î¹}âˆˆ\mathbb{N}$, Q possesses only finitely many eigenvalues $$\{\lambda _{i}\}_{i\in \Pi}$$ satisfying $$\lambda _{i}>1$$ because Q is compact on $$E_{0}^{\alpha}$$, which implies that the dimension of subspace $$E^{-}$$ is finite. By the classical self-adjoint operator theory, for $$I-Q$$ that can be viewed as a compact perturbation relating to the self-adjoint operator I, it is clear that 0 is excluded in the essential spectrum of $$I-Q$$. Thus, the dimension of subspace $$E^{0}$$ is also finite. Furthermore, there exists a positive constant Îº such that

$$\pm P(u)\geq \kappa \Vert u \Vert ^{2}_{\alpha},\quad u\in E^{\pm}.$$
(6)

### Lemma 2.1

([22, 23])

Let $nâˆˆ\mathbb{N}$ and $$n-1 < \alpha < n$$. If u is a function defined on $$[a, b]$$ for which the Caputo fractional derivatives $${}_{a}^{c} D_{t}^{\alpha}u(t)$$ and $${}_{t}^{c} D_{b}^{\alpha}u(t)$$ of order Î± exist together with the Riemannâ€“Liouville fractional derivatives $${}_{a} D_{t}^{\alpha}u(t)$$ and $${}_{t} D_{b}^{\alpha}u(t)$$, then

\begin{aligned}& {}_{a}^{c} D_{t}^{\alpha }u(t) = {}_{a} D_{t}^{\alpha }u(t) - \sum _{j = 0}^{n - 1} { \frac{{u^{j} (a)}}{{\Gamma (j - \alpha + 1)}}} (t - a)^{j - \alpha } ,\quad t \in [a,b], \end{aligned}
(7)
\begin{aligned}& {}_{t}^{c} D_{b}^{\alpha }u(t) = {}_{t} D_{b}^{\alpha }u(t) - \sum _{j = 0}^{n - 1} { \frac{{u^{j} (b)}}{{\Gamma (j - \alpha + 1)}}} (b - t)^{j - \alpha } ,\quad t \in [a,b]. \end{aligned}
(8)

### Remark 2.2

From (2.2) and (2.3), one has $${_{0}^{c}D_{t}^{\alpha}}u(t)={_{0}D_{t}^{\alpha}}u(t)$$, $${_{t}^{c}D_{T}^{\alpha}}u(t)={_{t}D_{T}^{\alpha}}u(t)$$, $$t\in [0,T]$$ by $$u(0)=u(T)=0$$.

### Proposition 2.3

([23])

The following property of fractional integration

$$\int _{a}^{b} \bigl[_{a} I_{t}^{\alpha}f(t) \bigr] g(t)\,dt = \int _{a}^{b} \bigl[_{t} I_{b}^{ \alpha}g(t) \bigr] f(t)\,dt, \quad \alpha > 0$$

holds, provided that $uâˆˆ{L}^{p}\left(\left[a,b\right],{\mathbb{R}}^{N}\right)$, $gâˆˆ{L}^{q}\left(\left[a,b\right],{\mathbb{R}}^{N}\right)$ and $$p \ge 1$$, $$q \ge 1$$, $$1/p + 1/q \le 1 + \alpha$$ or $$p \neq 1$$, $$q \neq 1$$, $$1/p + 1/q = 1 + \alpha$$, where $${}_{a} I_{t}^{\alpha}$$ and $${}_{t} I_{b}^{\alpha}$$ are the left and right Riemannâ€“Liouville fractional integrals, respectively.

### Lemma 2.4

([9])

Let $$0 < \alpha \leq 1$$. If $$u\in E_{0}^{\alpha}$$, one has

\begin{aligned}& \Vert u \Vert _{L^{2}} \le S_{\alpha} \bigl\Vert {}_{0} D_{t}^{\alpha}u \bigr\Vert _{L^{2}}, \end{aligned}
(9)

where $$S_{\alpha} =\frac{T^{\alpha}}{\Gamma (\alpha +1)}$$. Moreover, if $$\alpha >\frac{1}{2}$$, then

\begin{aligned}& \Vert u \Vert _{\infty} \le S_{\infty} \|_{0} D_{t}^{\alpha} u\|_{L^{2}}, \end{aligned}
(10)

where $$S_{\infty}= \frac{T^{\alpha - 1/2}}{\Gamma (\alpha )(2(\alpha -1)+1)^{1/2}}$$. Based on (2.4), clearly, the norm of $$E_{0}^{\alpha}$$ is equivalent to $$\|_{0} D_{t}^{\alpha} u\|_{L^{2}}$$.

### Proposition 2.5

([9])

Let $$0 < \alpha \leq 1$$. Assume that $$\alpha >\frac{1}{2}$$ and the sequence $${u_{n}}$$ converges weakly to u in $$E_{0}^{\alpha}$$, i.e., $$u_{n}\rightharpoonup u$$. Then, $$u_{n}\rightarrow u$$ in C, i.e., $$\Vert {u_{n} - u} \Vert _{\infty }\to 0$$, $$n \to +\infty$$.

If $$u\in E_{0}^{\alpha}$$ is a solution of the problem (1.1), for $$v\in E_{0}^{\alpha}$$, based on Lemma 2.1 and Proposition 2.3, it implies that

\begin{aligned}& \int _{0}^{T}{}_{t} D_{T}^{\alpha} \bigl( \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t) \bigr)v(t)\,dt \\& \quad =-\sum_{j = 0}^{m} { \int _{t_{j} }^{t_{j + 1} }} v(t)\,d \bigl[{}_{t} I_{T}^{1-\alpha} \bigl( \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{ \alpha}u(t) \bigr) \bigr] \\& \qquad {} -\sum_{j = 0}^{m} {}_{t} I_{T}^{1- \alpha} \bigl( \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t) \bigr)v(t)|_{t_{j}^{+}}^{t_{j+1}^{-}}+ \sum_{j = 0}^{m} { \int _{t_{j} }^{t_{j + 1} }} \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t){}_{0} D_{t}^{\alpha}v(t)\,dt \\& \quad =\sum_{j = 1}^{m} \bigl({}_{t} I_{T}^{1- \alpha} \bigl( \bigl\vert u \bigl(t_{j}^{+} \bigr) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u \bigl(t_{j}^{+} \bigr) \bigr)v(t_{j})-{}_{t} I_{T}^{1-\alpha} \bigl( \bigl\vert u \bigl(t_{j}^{-} \bigr) \bigr\vert ^{2} {}_{0} D_{t}^{\alpha}u \bigl(t_{j}^{-} \bigr) \bigr)v(t_{j}) \bigr) \\& \qquad {} +{ \int _{0}^{T }} \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{ \alpha}u(t){}_{0} D_{t}^{\alpha}v(t)\,dt \\& \quad =\sum_{j = 1}^{m} I_{2j} \bigl(u(t_{j} ) \bigr)v(t_{j})+{ \int _{0}^{T }} \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t){}_{0} D_{t}^{ \alpha}v(t)\,dt. \end{aligned}

Similarly, one has

\begin{aligned} \int _{0}^{T}{}_{t} D_{T}^{\alpha} \bigl({}_{0} D_{t}^{\alpha}u(t) \bigr)v(t)\,dt =& \sum _{j = 1}^{m} I_{1j} \bigl(u(t_{j} ) \bigr)v(t_{j} ) + { \int _{0}^{T }} {}_{0} D_{t}^{\alpha}u(t){}_{0} D_{t}^{\alpha}v(t) \,dt. \end{aligned}

As a conclusion, the definition of a weak solution is shown as follows.

### Definition 2.6

A function $$u\in E_{0}^{\alpha}$$ is a weak solution of problem (1.1) if

\begin{aligned}& \int _{0}^{T} {{}_{0} D_{t}^{\alpha}u(t){}_{0} D_{t}^{\alpha}v(t) \,dt}+ \int _{0}^{T} b(t)u(t)v(t)\,dt + \int _{0}^{T} 2 \bigl\vert {}_{0}D_{t}^{\alpha}u(t) \bigr\vert ^{2}u(t)v(t)\,dt \\& \qquad {} + \int _{0}^{T} {2 \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t){}_{0} D_{t}^{ \alpha}v(t)\,dt} + \sum_{j = 1}^{m} \bigl( I_{1j} \bigl(u(t_{j} ) \bigr)+ I_{2j} \bigl(u(t_{j} ) \bigr) \bigr)v(t_{j} ) \\& \quad = \int _{0}^{T} {f \bigl(t,u(t) \bigr)v(t)\,dt} \end{aligned}

holds for any $$v\in E_{0}^{\alpha}$$.

Define the functional $\mathrm{Î¦}:{E}_{0}^{\mathrm{Î±}}â†’\mathbb{R}$ by

\begin{aligned} \Phi (u) =& \frac{1}{2} \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u(t) \bigr\vert ^{2}\,dt + \frac{1}{2} \int _{0}^{T} b(t) \bigl\vert u(t) \bigr\vert ^{2}\,dt + \sum_{j = 1}^{m} { \int _{0}^{u(t_{j} )} { \bigl(I_{1j} (t)+I_{2j} (t) \bigr)\,dt } } \\ & {}+ \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u(t) \bigr\vert ^{2} \bigl\vert u(t) \bigr\vert ^{2}\,dt- \int _{0}^{T} {G \bigl(t,u(t) \bigr)}\,dt - \frac{\zeta}{\nu} \int _{0}^{T} h(t) \bigl\vert u(t) \bigr\vert ^{\nu}\,dt, \end{aligned}

where $$G(t,u)=\int _{0}^{u}g(t,s)\,ds$$. Since g, $$I_{1j}$$ and $$I_{2j}$$ are continuous, by the standard arguments, one can obtain that $\mathrm{Î¦}\left(u\right)âˆˆ{C}^{1}\left({E}_{0}^{\mathrm{Î±}},\mathbb{R}\right)$. Moreover, it is clear that the critical points of $$\Phi (u)$$ are weak solutions of the problem (1.1).

### Lemma 2.7

([25])

Let E be a Banach space and $\mathrm{Î¦}âˆˆ{C}^{1}\left(E,\mathbb{R}\right)$ be even with $$\Phi (0)=0$$. Assume that $$E = V \oplus X$$, where V is finite-dimensional. Moreover, Î¦ satisfies the (PS)-condition and the following conditions.

1. (i)

There exist constants $$\rho , \sigma > 0$$ such that $$\Phi \mid _{\partial B_{\rho}\cap X}\geq \sigma$$.

2. (ii)

For each finite-dimensional subspace $$\widetilde{X}\subset E$$, there exists an $$l = l(\widetilde{X})$$ such that $$\Phi \leq 0$$ on $$\widetilde{X}\setminus B_{l}$$.

Then, Î¦ has an unbounded sequence of critical values.

## 3 Main results

In order to prove our main conclusions, we need the following lemmas. First, in $$E_{0}^{\alpha}$$, let $$V=E^{-}\oplus E^{0}$$ and $$X=E^{+}$$, then the dimension of subspace V is finite and $$E_{0}^{\alpha}=V \oplus X$$.

### Lemma 3.1

Assuming that the conditions (I1), (G3), and (G4) are satisfied, we can find constants $$\rho , \sigma , \zeta ^{*}> 0$$ such that $$\Phi{|_{\partial {B_{\rho }} \cap X }}\geq \sigma$$, provided that $$\zeta \in [0,\zeta ^{*})$$.

### Proof

Based on (G3) and (G4), for any $$\varepsilon >0$$, we can find a constant $$c_{\varepsilon}$$ such that for $$t\in [0,T]$$,

\begin{aligned} G(t,u)\leq \varepsilon \vert u \vert ^{2}+c_{\varepsilon} \vert u \vert ^{\mu}, \end{aligned}
(11)

which shows that

\begin{aligned} \int _{0}^{T}G(t,u)\,dt \leq & \varepsilon \int _{0}^{T} \vert u \vert ^{2} \,dt+c_{ \varepsilon} \int _{0}^{T} \vert u \vert ^{\mu}\,dt \\ \leq &\varepsilon T S^{2}_{\infty} \Vert u \Vert ^{2}_{\alpha}+c_{\varepsilon} T S^{\mu}_{\infty} \Vert u \Vert ^{\mu}_{\alpha}. \end{aligned}

Hence, for $$u\in E_{0}^{\alpha}$$, by (I1), one has

\begin{aligned} \Phi (u) \geq & \kappa \Vert u \Vert _{\alpha}^{2}+ \sum _{j = 1}^{m} { \int _{0}^{u(t_{j} )} { \bigl(I_{1j} (t)+I_{2j} (t) \bigr)\,dt } } + \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u(t) \bigr\vert ^{2} \bigl\vert u(t) \bigr\vert ^{2}\,dt \\ &{} - \int _{0}^{T} {G \bigl(t,u(t) \bigr)}\,dt - \frac{\zeta}{\nu} \int _{0}^{T} h(t) \bigl\vert u(t) \bigr\vert ^{ \nu}\,dt \\ \geq & \kappa \Vert u \Vert _{\alpha}^{2} - \int _{0}^{T} {G \bigl(t,u(t) \bigr)}\,dt - \frac{\zeta}{\nu} \int _{0}^{T} h(t) \bigl\vert u(t) \bigr\vert ^{\nu}\,dt \\ \geq & \Vert u \Vert ^{\nu}_{\alpha} \biggl( \bigl(\kappa - \varepsilon TS^{2}_{\infty} \bigr) \Vert u \Vert ^{2-\nu}_{\alpha}-c_{\varepsilon} TS^{\mu}_{\infty} \Vert u \Vert ^{\mu - \nu}_{\alpha}-\frac{\zeta}{\nu} TS^{v}_{\infty} \Vert h \Vert _{L^{1}} \biggr). \end{aligned}

Letting $$\varepsilon =\frac{\zeta}{2T{S}^{2}_{\infty}}$$, leads to

$$\Phi (u)\geq \Vert u \Vert ^{\nu}_{\alpha} \biggl( \frac{\kappa}{2} \Vert u \Vert ^{2-\nu}_{ \alpha}-c_{\varepsilon} TS^{\mu}_{\infty} \Vert u \Vert ^{\mu -\nu}_{\alpha}- \frac{\zeta}{\nu} TS^{v}_{\infty} \Vert h \Vert _{L^{1}} \biggr).$$

Set

$$y(t)=\frac{\kappa}{2}t^{2-\nu}-c_{\varepsilon} TS^{\mu}_{\infty}t^{ \mu -\nu},\quad t\geq 0.$$

Clearly, there exists a $$\rho = [ \frac{\kappa (2-\nu )}{2c_{\varepsilon} TS^{\mu}_{\infty}(\mu -\nu )} ]^{\frac{1}{\mu -2}}$$ such that

$$y(\rho )=\max_{t\geq 0}y(t)=\frac{\kappa (\mu -2)}{2(\mu -\nu )} \biggl[ \frac{\kappa (2-\nu )}{2c_{\varepsilon} TS^{\mu}_{\infty}(\mu -\nu )} \biggr]^{\frac{2-\nu}{\mu -2}}>0.$$

Therefore, we can find

$$\zeta ^{*}= \frac{\nu \kappa (\mu -2)}{TS^{v}_{\infty}(\mu -\nu ) \Vert h \Vert _{L^{1}}} \biggl[ \frac{\kappa (2-\nu )}{2c_{\varepsilon} TS^{\mu}_{\infty}(\mu -\nu )} \biggr]^{\frac{2-\nu}{\mu -2}}.$$

If $$\zeta \in [0,\zeta ^{*})$$, there exists a constant $$\sigma >0$$ such that $$\Phi{|_{X \cap \partial {B_{\rho }}}}\geq \sigma$$.â€ƒâ–¡

### Lemma 3.2

If the conditions (I2) and (G1) are satisfied, there exists a constant $$l>0$$ such that for each finite-dimensional subspace $$\widetilde{X}\subset E_{0}^{\alpha}$$, $$\Phi (u) \le 0$$, $$\forall u \in {\widetilde{X}}\backslash {B_{l}}$$, provided that $$\zeta \in [0,+\infty )$$.

### Proof

Actually, for $$\zeta \in [0,+\infty )$$, the key point is to prove that $$\Phi (u)$$ is anticoercive, i.e.,

\begin{aligned} \Phi (u)\to -\infty \quad \text{as } \Vert u \Vert _{\alpha}\to +\infty \text{ for } u\in \widetilde{X}. \end{aligned}
(12)

If not, let the sequence $$\{u_{n}\}\subset \widetilde{X}$$ and $\mathrm{Ï„}âˆˆ\mathbb{R}$ such that

\begin{aligned} \Phi (u_{n})\geq \tau \quad \text{when } \Vert u_{n} \Vert _{\alpha}\to +\infty \text{ as } n\to +\infty . \end{aligned}
(13)

Setting $$\omega _{n}=\frac{u_{n}}{\|u_{n}\|_{\alpha}}$$, then $$\|\omega _{n}\|_{\alpha}=1$$. Since dim $$\widetilde{X}<\infty$$, we can find a subsequence of $$\{\omega _{n}\}$$ (named again $$\{\omega _{n} \}$$) such that $$\omega _{n}\rightarrow \omega$$ in $$E_{0}^{\alpha}$$, which implies $$\|\omega \|_{\alpha}=1$$. From $$\omega \neq 0$$, one has $$|u_{n}(t)|\to +\infty$$ as $$n\to +\infty$$. Define

$$W(t,u)=G(t,u)+\frac{\zeta}{\nu}h(t) \vert u \vert ^{\nu}- \frac{1}{2}b(t) \vert u \vert ^{2}.$$

In view of (G1), it follows that for any $$t\in [0,T]$$,

\begin{aligned} \lim_{ \vert u \vert \to +\infty} \frac{W(t,u)}{ \vert u \vert ^{4}}=+ \infty . \end{aligned}
(14)

Moreover, by a standard measure estimation on a finite-dimensional space (see [4]), it follows that there exists a positive constant $$\epsilon >0$$ such that

\begin{aligned} \text{meas} \bigl\{ t\in [0,T]: \bigl\vert u(t) \bigr\vert \geq \epsilon \Vert u \Vert _{\alpha} \bigr\} \geq \epsilon\quad \text{for } u\in \widetilde{X} \setminus \{0\}. \end{aligned}
(15)

Let $$\Pi =\{t\in [0,T]:|u(t)|\geq \epsilon \|u\|_{\alpha}\}$$. Based on (3.4), it means that for $$\frac{2S_{\infty}^{2}}{\epsilon ^{4}}>0$$, there exists $$\eta >0$$ such that

\begin{aligned} W(t,u)\geq \frac{2S_{\infty}^{2}}{\epsilon ^{4}} \vert u \vert ^{4}\quad \text{for } \vert u \vert \geq \eta . \end{aligned}
(16)

Hence, for $$u\in \widetilde{X}$$ with $$\|u\|_{\alpha}\geq \frac{\eta}{\epsilon}$$, we can obtain that

\begin{aligned} W(t,u)\geq 2S_{\infty}^{2} \Vert u \Vert ^{4}_{\alpha} \quad \text{for } t\in \Pi . \end{aligned}
(17)

Let $$\|u_{n}\|_{\alpha}\geq \frac{\eta}{\epsilon}$$ for n large enough. From (I2), one has

\begin{aligned} \Phi (u) =& \frac{1}{2} \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}(t) \bigr\vert ^{2}\,dt + \sum_{j = 1}^{m} { \int _{0}^{u_{n}(t_{j} )} { \bigl(I_{1j} (t)+I_{2j} (t) \bigr)\,dt } } \\ &{} + \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}(t) \bigr\vert ^{2} \bigl\vert u_{n}(t) \bigr\vert ^{2}\,dt \\ &{} - \int _{0}^{T} {W \bigl(t,u_{n}(t) \bigr)}\,dt \\ \leq & \frac{1}{2} \Vert u_{n} \Vert ^{2}_{\alpha}+ \sum_{j = 1}^{m} a_{1j}S_{\infty} \Vert u_{n} \Vert _{\alpha}+ \sum _{j = 1}^{m} a_{2j}S_{\infty} \Vert u_{n} \Vert _{\alpha}+\sum_{j = 1}^{m} d_{1j}S^{ \gamma _{1j}+1}_{\infty} \Vert u_{n} \Vert ^{\gamma _{1j}+1}_{\alpha} \\ &{}+\sum_{j = 1}^{m} d_{2j}S^{\gamma _{2j}+1}_{\infty} \Vert u_{n} \Vert ^{\gamma _{2j}+1}_{\alpha}+S^{2}_{\infty} \Vert u_{n} \Vert ^{4}_{\alpha}- \int _{0}^{T} {W \bigl(t,u(t) \bigr)}\,dt \\ =& \Vert u_{n} \Vert ^{4}_{\alpha} \Biggl( \frac{1}{2 \Vert u_{n} \Vert ^{2}_{\alpha}}+\sum_{j = 1}^{m} a_{1j}S_{\infty}\frac{1}{ \Vert u_{n} \Vert ^{3}_{\alpha}}+\sum _{j = 1}^{m} a_{2j}S_{\infty} \frac{1}{ \Vert u_{n} \Vert ^{3}_{\alpha}} \\ &{} +\sum_{j = 1}^{m} d_{1j}S_{\infty}^{\gamma _{1j}+1} \frac{1}{ \Vert u_{n} \Vert ^{3-\gamma _{1j}}_{\alpha}} \\ &{}+ {\sum_{j = 1}^{m} d_{2j}S_{\infty}^{\gamma _{2j}+1} \frac{1}{ \Vert u_{n} \Vert ^{3-\gamma _{j}}_{\alpha}}}+S_{\infty}^{2}- \int _{0}^{T} \frac{W(t,u_{n})}{ \Vert u_{n} \Vert ^{4}_{\alpha}}\,dt \Biggr) \\ \leq & \Vert u_{n} \Vert ^{4}_{\alpha} \Biggl( \frac{1}{2 \Vert u_{n} \Vert ^{2}_{\alpha}}+\sum_{j = 1}^{m} a_{1j}S_{\infty}\frac{1}{ \Vert u_{n} \Vert ^{3}_{\alpha}}+\sum _{j = 1}^{m} a_{2j}S_{\infty} \frac{1}{ \Vert u_{n} \Vert ^{3}_{\alpha}} \\ &{} +\sum_{j = 1}^{m} d_{1j}S_{\infty}^{\gamma _{1j}+1} \frac{1}{ \Vert u_{n} \Vert ^{3-\gamma _{1j}}_{\alpha}} \\ &{}+ {\sum_{j = 1}^{m} d_{2j}S_{\infty}^{\gamma _{2j}+1} \frac{1}{ \Vert u_{n} \Vert ^{3-\gamma _{j}}_{\alpha}}}+S_{\infty}^{2}- \int _{ \Pi} \frac{W(t,u_{n})}{ \Vert u_{n} \Vert ^{4}_{\alpha}}\,dt \Biggr) \\ \to& -\infty\quad \text{if } \Vert u_{n} \Vert _{\alpha}\to + \infty \text{ as } n \to +\infty , \end{aligned}

which is in contradiction to (3.3). Hence, $$\Phi (u)$$ is anticoercive. Therefore, there exists a constant $$l>0$$ such that $$\Phi (u) \le 0$$, $$\forall u \in {\widetilde{X}}\backslash {B_{l}}$$ for $$\zeta \in [0,+\infty )$$.â€ƒâ–¡

### Lemma 3.3

If the assumptions (I2), (I3), (G1), (G2), and (G4) are satisfied, $$\Phi (u)$$ meets the (PS)-condition, provided that $$\zeta \in [0,+\infty )$$.

### Proof

Let $$\{ u_{n} \} \subset E_{0}^{\alpha}$$ such that $$\Phi (u_{n})$$ is bounded and $$\Phi '(u_{n})\to 0$$ as $$n\to +\infty$$, which implies that there exists a constant $$\beta >0$$ such that

$$\bigl\vert \Phi (u_{n}) \bigr\vert \leq \beta ,\qquad \bigl\Vert \Phi '(u_{n}) \bigr\Vert _{(E_{0}^{\alpha})^{*}} \leq \beta .$$

We claim that the sequence $$\{ u_{n} \}$$ is bounded. If not, let $$\| u_{n}\|\to +\infty$$ as $$n\to +\infty$$. Setting $$\omega _{n}=\frac{u_{n}}{\|u_{n}\|_{\alpha}}$$, it follows that $$\omega _{n}$$ is bounded in $$E_{0}^{\alpha}$$. Noting that $$E_{0}^{\alpha}$$ is a reflexive Banach space, it implies that $$\{\omega _{n}\}$$ has a convergent subsequence (named again $$\{\omega _{n} \}$$) such that $$\omega _{n}\rightharpoonup \omega$$ in $$E_{0}^{\alpha}$$ and $$\omega _{n}\rightarrow \omega$$ uniformly in C.

In view of (I2), one has

\begin{aligned} \int _{0}^{T} W \bigl(t,u_{n}(t) \bigr) \,dt =&\frac{1}{2} \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{ \alpha}u_{n}(t) \bigr\vert ^{2}\,dt + \sum_{j = 1}^{m} { \int _{0}^{u_{n}(t_{j} )} { \bigl(I_{1j} (t)+I_{2j} (t) \bigr)\,dt } } \\ &{}+ \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}(t) \bigr\vert ^{2} \bigl\vert u_{n}(t) \bigr\vert ^{2}\,dt- \Phi (u_{n}) \\ \leq & \frac{1}{2} \Vert u_{n} \Vert ^{2}_{\alpha}+ \sum_{j = 1}^{m} a_{1j}S_{\infty} \Vert u_{n} \Vert _{\alpha}+ \sum _{j = 1}^{m} a_{2j}S_{\infty} \Vert u_{n} \Vert _{\alpha} \\ &{}+\sum_{j = 1}^{m} d_{1j}S^{ \gamma _{1j}+1}_{\infty} \Vert u_{n} \Vert ^{\gamma _{1j}+1}_{\alpha} \\ &{}+\sum_{j = 1}^{m} d_{2j}S^{\gamma _{2j}+1}_{\infty} \Vert u_{n} \Vert ^{\gamma _{2j}+1}_{\alpha} +S^{2}_{\infty} \Vert u_{n} \Vert ^{4}_{\alpha}+ \beta , \end{aligned}

which shows that for n large enough,

\begin{aligned} \int _{0}^{T} \frac{W(t,u_{n})}{ \Vert u_{n} \Vert ^{4}_{\alpha}}\,dt\leq S^{2}_{ \infty}+o(1). \end{aligned}
(18)

Based on the continuity of g, we can find a constant $$\vartheta _{1}>0$$ such that

\begin{aligned} \bigl\vert ug(t,u)-\theta G(t,u) \bigr\vert \le \vartheta _{1} \quad \text{for } \vert u \vert \leq L_{1}, t\in [0,T], \end{aligned}

which together with (G2) yields

(19)

In view of (I3) and (3.9), we have

\begin{aligned} \theta \beta +\beta \Vert u_{n} \Vert _{\alpha} \geq & \theta \Phi (u_{n} ) - \bigl\langle \Phi '(u_{n}),u_{n} \bigr\rangle \\ =& \biggl(\frac{\theta}{2}-1 \biggr) \Vert u_{n} \Vert ^{2}_{\alpha} +( \theta -4) \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}(t) \bigr\vert ^{2} \bigl\vert u_{n}(t) \bigr\vert ^{2}\,dt \\ &{} + \biggl( \frac{\theta}{2}-1 \biggr) \int _{0}^{T} b(t)u_{n}^{2}(t) \,dt \\ &{}+\theta \sum_{j = 1}^{m} \int _{0}^{{u_{n}}(t_{j} )} \bigl(I_{1j} (t)+I_{2j} (t) \bigr)\,dt -\sum_{j = 1}^{m} { \bigl(I_{1j} \bigl({u_{n}} (t_{j} ) \bigr)+I_{1j} \bigl({u_{n}} (t_{j} ) \bigr) \bigr){u_{n}}(t_{j} )} \\ &{}+ \int _{0}^{T} { \bigl(u_{n} (t) g \bigl(t,u_{n} (t) \bigr) - \theta G \bigl(t,u_{n} (t) \bigr) \bigr)}\,dt-\zeta \frac{\theta -\nu}{\nu} \int _{0}^{T} h(t) \bigl\vert u_{n}(t) \bigr\vert ^{\nu}\,dt \\ \geq & \biggl(\frac{\theta}{2}-1 \biggr) \Vert u_{n} \Vert ^{2}_{\alpha} + \int _{0}^{T} { \bigl(u_{n} (t) g \bigl(t,u_{n} (t) \bigr) - \theta G \bigl(t,u_{n} (t) \bigr) \bigr)}\,dt \\ &{}+ \biggl(\frac{\theta}{2}-1 \biggr) \int _{0}^{T} b(t)u_{n}^{2}(t) \,dt-\zeta \frac{\theta -\nu}{\nu} \int _{0}^{T} h(t) \bigl\vert u_{n}(t) \bigr\vert ^{\nu}\,dt \\ \geq & \biggl(\frac{\theta}{2}-1 \biggr) \Vert u_{n} \Vert ^{2}_{\alpha}- \biggl( M_{1}T+ \biggl( \frac{\theta}{2}-1 \biggr) \Vert b \Vert _{L^{1}} \biggr) \Vert u_{n} \Vert _{\infty}^{2} \\ &{}- \zeta \frac{\theta -\nu}{\nu}S^{\nu}_{\infty} \Vert h \Vert _{L^{1}} \Vert u_{n} \Vert ^{\nu}_{ \alpha}- \vartheta _{1}T, \end{aligned}

which means that there exists a positive constant $$\vartheta _{2}$$ such that

$$\lim_{n\to +\infty} \Vert \omega _{n} \Vert _{\infty}= \lim_{n\to +\infty} \frac{ \Vert u_{n} \Vert _{\infty}}{ \Vert u_{n} \Vert _{\alpha}}\geq \vartheta _{2} >0.$$

Therefore, we can obtain $$\omega \neq 0$$. Define

$$\Xi _{1}= \bigl\{ t\in [0,T]:\omega \neq 0 \bigr\} ,\qquad \Xi _{2}=[0,T]\setminus \Xi _{1}.$$

In view of (G1), there exists a constant $$\vartheta _{3}>0$$ such that $$G(t,u)\geq 0$$, $$\text{for} t\in [0,T]$$, $$|u|\geq \vartheta _{3}$$, which together with (G4) yields that there exist constants $$\vartheta _{4}, \vartheta _{5}>0$$ such that

Based on Fatouâ€™s lemma, it follows that

$$\mathop {\lim \inf} _{n\to +\infty} \int _{\Xi _{2}} \frac{G(t,u_{n})}{ \Vert u_{n} \Vert ^{4}_{\alpha}}\,dt>-\infty .$$

By (G1), for $$t\in [0,T]$$, we can obtain that

\begin{aligned}& \mathop {\lim \inf} _{n\to +\infty} \int _{0}^{T} \frac{G(t,u_{n})}{ \Vert u_{n} \Vert ^{4}_{\alpha}}\,dt \\& \quad =\mathop {\lim \inf} _{n\to +\infty} \biggl( \int _{\Xi _{1}} \frac{G(t,u_{n})}{ \vert u_{n} \vert ^{4}} \vert \omega _{n} \vert ^{4}\,dt+ \int _{\Xi _{2}} \frac{G(t,u_{n})}{ \vert u_{n} \vert ^{4}} \vert \omega _{n} \vert ^{4}\,dt \biggr)\to +\infty , \end{aligned}
(20)

which is in contradiction to (3.8). Thus, $$\{u_{n}\}$$ is bounded, which implies that $$\{u_{n}\}$$ possesses a convergent subsequence (named again $$\{u_{n} \}$$) such that $$u_{n}=u_{n}^{+}+u_{n}^{-}+u_{n}^{0}\rightharpoonup u= u^{+}+u^{-}+u^{0}$$ and $$u_{n}^{+}\rightharpoonup u^{+}$$ in $$E^{\alpha}_{0}$$. Moreover, $$u_{n}\rightarrow u$$ and $$u_{n}^{+}\rightarrow u^{+}$$ uniformly in C. It should be mentioned that the dimensions of subspaces $$E^{-}$$ and $$E^{0}$$ are finite. Hence, $$u_{n}^{-}\rightarrow u^{-}$$ and $$u_{n}^{0}\rightarrow u^{0}$$ in $$E^{\alpha}_{0}$$. Furthermore, if $$n\to +\infty$$, one has

\begin{aligned}& \bigl\langle \Phi '(u_{n})-\Phi '(u),u_{n}^{+}-u^{+} \bigr\rangle \rightarrow 0, \\& \int _{0}^{T} b(t) \bigl(u_{n}(t)-u(t) \bigr) \bigl(u_{n}^{+}(t)-u^{+}(t) \bigr)\,dt \rightarrow 0, \\& \sum_{j = 1}^{m} \bigl(I_{1j} \bigl(u_{n}(t_{j} ) \bigr)-I_{1j} \bigl(u(t_{j} ) \bigr) \bigr) \bigl(u_{n}^{+}(t_{j} )-u^{+}(t_{j} ) \bigr)\to 0, \\& \sum_{j = 1}^{m} \bigl(I_{2j} \bigl(u_{n}(t_{j} ) \bigr)-I_{2j} \bigl(u(t_{j} ) \bigr) \bigr) \bigl(u_{n}^{+}(t_{j} )-u^{+}(t_{j} ) \bigr)\to 0, \\& \int _{0}^{T} \bigl(f \bigl(t,u_{n}(t) \bigr)-f \bigl(t,u(t) \bigr) \bigr) \bigl(u_{n}^{+}(t)-u^{+}(t) \bigr)\,dt\to 0, \\& \int _{0}^{T} \bigl( \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}(t) \bigr\vert ^{2}u_{n}(t)- \bigl\vert {}_{0} D_{t}^{ \alpha}u(t) \bigr\vert ^{2}u(t) \bigr) \bigl(u_{n}^{+}(t)-u^{+}(t) \bigr)\,dt\to 0 \end{aligned}

and

\begin{aligned}& \int _{0}^{T} \bigl( \bigl\vert u_{n}(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u_{n}(t)- \bigl\vert u(t) \bigr\vert ^{2}{}_{0} D_{t}^{\alpha}u(t) \bigr) \bigl({}_{0} D_{t}^{\alpha}u_{n}^{+}(t)-{}_{0} D_{t}^{ \alpha}u^{+}(t) \bigr)\,dt \\& \quad = \int _{0}^{T} \bigl( \bigl( \bigl\vert u_{n}(t) \bigr\vert ^{2}- \bigl\vert u(t) \bigr\vert ^{2} \bigr){}_{0} D_{t}^{\alpha}u_{n}(t) - \bigl\vert u(t) \bigr\vert ^{2} \bigl({}_{0} D_{t}^{\alpha}u_{n}(t)-{}_{0} D_{t}^{\alpha}u(t) \bigr) \bigr) \\& \qquad {}\times \bigl({}_{0} D_{t}^{ \alpha}u_{n}^{+}(t)-{}_{0} D_{t}^{\alpha}u^{+}(t) \bigr)\,dt \\& \quad = \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{2} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}^{+}(t)-{}_{0} D_{t}^{ \alpha}u^{+}(t)) \bigr\vert ^{2} \,dt+o(1), \end{aligned}

which implies that

\begin{aligned}& \bigl\langle \Phi '(u_{n})-\Phi '(u),u_{n}^{+}-u^{+} \bigr\rangle \rightarrow 0 \\& \quad = \int _{0}^{T} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}^{+}(t)-{}_{0} D_{t}^{ \alpha}u^{+}(t) \bigr\vert ^{2} \,dt+ \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{2} \bigl\vert {}_{0} D_{t}^{\alpha}u_{n}^{+}(t)-{}_{0} D_{t}^{\alpha}u^{+}(t) \bigr\vert ^{2} \,dt+o(1). \end{aligned}

Since the norm of $$E_{0}^{\alpha}$$ is equivalent to $$\|_{0} D_{t}^{\alpha} u\|_{L^{2}}$$, it is clear that $$u_{n}^{+}\rightarrow u^{+}$$ in $$E^{\alpha}_{0}$$. Thus, $$u_{n}\rightarrow u$$ in $$E^{\alpha}_{0}$$. Therefore, $$\Phi (u)$$ satisfies the (PS)-condition.â€ƒâ–¡

### Proof of Theorem 1.1

From Lemma 3.1, Lemma 3.2, and Lemma 3.3, Theorem 1.1 can be proven immediately by Lemma 2.7.â€ƒâ–¡

### Proof of Corollary 1.4

The proof is similar to Theorem 1.1. Therefore, we omit the detail.â€ƒâ–¡

## 4 Conclusions

By establishing a new variational structure and overcoming the difficulties brought by the influence of impulsive effects, the multiplicity of solutions for a kind of boundary value problem to a fractional quasilinear differential model with impulsive effects is obtained, which extend and enrich some previous results. Moreover, the impulsive effects produced by the quasilinear term $$u|{}_{0} D_{t}^{\alpha}u|^{2}+{}_{t} D_{T}^{\alpha}(|u|^{2}{}_{0} D_{t}^{ \alpha}u)$$ are more complex than the case of $${}_{t}^{c} D_{T}^{\alpha}({}_{0} D_{t}^{\alpha}u)$$, which makes this problem challenging. Furthermore, there are few papers that consider this problem.

Not applicable.

## References

1. Shen, T., Liu, W.: Infinitely many solutions for second-order quasilinear periodic boundary value problems with impulsive effects. Mediterr. J. Math. 14, 1â€“12 (2017)

2. Shen, Z., Han, Z.: Existence of solutions to quasilinear SchrÃ¶dinger equations with indefinite potential. Electron. J. Differ. Equ. 2015, 91 (2015)

3. Nieto, J., Oâ€™Regan, D.: Variational approach to impulsive differential equations. Nonlinear Anal. 10, 680â€“690 (2009)

4. Sun, J., Chen, H.: Multiplicity of solutions for a class of impulsive differential equations with Dirichlet boundary conditions via variant fountain theorems. Nonlinear Anal., Real World Appl. 11, 4062â€“4071 (2010)

5. Zhou, J., Li, Y.: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. 71, 2856â€“2865 (2009)

6. Zhang, Z., Yuan, R.: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal. 11, 155â€“162 (2010)

7. Tian, Y., Ge, W.: Applications of variational methods to boundary value problem for impulsive differential equations. Proc. Edinb. Math. Soc. 51, 509â€“527 (2008)

8. Xu, J., Wei, Z., Ding, Y.: Existence of weak solutions for p-Laplacian problem with impulsive effects. Taiwan. J. Math. 17, 501â€“515 (2013)

9. Jiao, F., Zhou, Y.: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos 4, 1â€“17 (2012)

10. Bonanno, G., RodrÃ­guez-LÃ³pez, R., Tersian, S.: Existence of solutions to boundary value problem for impulsive fractional differential equations. Fract. Calc. Appl. Anal. 17, 717â€“744 (2014)

11. Nyamoradi, N., RodrÃ­guez-LÃ³pez, R.: Multiplicity of solutions to fractional Hamiltonian systems with impulsive effects. Chaos Solitons Fractals 102, 254â€“263 (2017)

12. Ledesma, C., Nyamoradi, N.: Impulsive fractional boundary value problem with p-Laplace operator. J. Appl. Math. Comput. 55, 257â€“278 (2017)

13. Liu, W., Wang, M., Shen, T.: Analysis of a class of nonlinear fractional differential models generated by impulsive effects. Bound. Value Probl. 175, 1â€“18 (2017)

14. Torres, C.: Mountain pass solution for fractional boundary value problem. J. Fract. Calc. Appl. 1, 1â€“10 (2014)

15. Chen, T., Liu, W.: Solvability of fractional boundary value problem with p-Laplacian via critical point theory. Bound. Value Probl. 175, 1â€“12 (2016)

16. Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J., Alzahrani, F.: Nonlocal boundary value problems for impulsive fractional qk $$q_{k}$$-difference equations. Adv. Differ. Equ. 124, 1â€“16 (2016)

17. Tariboon, J., Ntouyas, S.K.: Oscillation of impulsive conformable fractional differential equations. Open Math. 14, 497â€“508 (2016)

18. Yukunthorn, W., Ahmad, B., Ntouyas, S.K., Tariboon, J.: On Caputoâ€“Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 19, 77â€“92 (2016)

19. Candito, P., GasiÅ„ski, L., Livrea, R., Santos JÃºnior, J.R.: Multiplicity of positive solutions for a degenerate nonlocal problem with p-Laplacian. Adv. Nonlinear Anal. 11, 357â€“368 (2022)

20. DiblÃ­k, J.: Bounded solutions to systems of fractional discrete equations. Adv. Nonlinear Anal. 11, 1614â€“1630 (2022)

21. Gu, G., Yang, Z.: On the singularly perturbation fractional Kirchhoff equations: critical case. Adv. Nonlinear Anal. 11, 1097â€“1116 (2022)

22. Podlubny, I.: Fractional Differential Equation. Academic Press, San Diego (1999)

23. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

24. Li, X., Wu, X., Wu, K.: On a class of damped vibration problems with super-quadratic potentials. Nonlinear Anal. 72, 135â€“142 (2010)

25. Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Washington (1986)

## Acknowledgements

The authors really appreciate the reviewersâ€™ valuable comments, which helped improve the former version of this paper.

## Funding

X. Shen is supported by the National Natural Science Foundation of China (No. 12101532), the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (No. 21KJB110020) and the Research Initiation Foundation of Xuzhou Medical University (No. D2019003). T. Shen is supported by the Natural Science Foundation of Jiangsu Province (No. BK20190620) and the Fundamental Research Funds for the Central Universities (No. 2019QNA05).

## Author information

Authors

### Contributions

The authors contributed equally to this paper. All authors reviewed the manuscript.

### Corresponding author

Correspondence to Tengfei Shen.

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## Rights and permissions

Reprints and permissions

Shen, X., Shen, T. Multiplicity of solutions for the Dirichlet boundary value problem to a fractional quasilinear differential model with impulses. Bound Value Probl 2022, 60 (2022). https://doi.org/10.1186/s13661-022-01643-9