# Variational approach to instantaneous and noninstantaneous impulsive system of differential equations

## Abstract

In this paper, the existence and multiplicity of solutions for a coupled system of differential equations with instantaneous and noninstantaneous impulses are studied. By the virtue of variational methods, some new existence theorems of solutions are obtained. In addition, two examples are given to demonstrate our main results.

## 1 Introduction

In this paper, we consider the following impulsive differential system

$$\textstyle\begin{cases} -u''(t) = D_{u}F_{i}(t,u(t),v(t)), & t \in (s_{i},t_{i+1}], i=0,1,2, \dots ,N, \\ -v''(t) = D_{v}F_{i}(t,u(t),v(t)), & t \in (s_{i},t_{i+1}], i=0,1,2, \dots ,N, \\ \Delta u'(t_{i}) =I_{i}(u(t_{i})), & i =1,2,\dots ,N, \\ \Delta v'(t_{i}) =S_{i}(v(t_{i})), & i =1,2,\dots ,N, \\ u'(t) =u'(t_{i}^{+}), & t \in (t_{i},s_{i}], i=1,2,\dots ,N, \\ v'(t) =v'(t_{i}^{+}), & t \in (t_{i},s_{i}], i=1,2,\dots ,N, \\ u'(s_{i}^{+}) =u'(s_{i}^{-}), & i =1,2,\dots ,N, \\ v'(s_{i}^{+}) =v'(s_{i}^{-}), & i =1,2,\dots ,N, \\ u(0) =u(T)=v(0)=v(T)=0, \end{cases}$$
(1.1)

where $$0=s_{0}< t_{1}< s_{1}< t_{2}< s_{2}<\cdots <t_{N}<s_{N}<t_{N+1}=T$$, $$D_{u}F_{i}, D_{v}F_{i}:(s_{i},t_{i+1}]\times \mathbb{R}^{2}\to \mathbb{R}$$, $$i=0,1,\dots ,N$$, are continuous; $$I_{i}, S_{i}: \mathbb{R}\to \mathbb{R}$$, $$i=1,2,\dots ,N$$ are continuous; $$\Delta u'(t_{i})=u'(t_{i}^{+})-u'(t_{i}^{-})$$, $$\Delta v'(t_{i})=v'(t_{i}^{+})-v'(t_{i}^{-})$$. The noninear functions $$D_{u}F_{i}(t,u,v)$$, $$D_{v}F_{i}(t,u,v)$$ are the derivatives of $$F_{i}(t,u,v)$$ at u and v, respectively. The instantaneous impulses occur at the points $$t_{i}$$ and the noninstantaneous impulses continue on the intervals $$(t_{i},s_{i}]$$.

In recent years, the study of existence and multiplicity of solutions for the differential equations with impulsive effects via variational methods has attracted much attention. Impulsive differential equations describe the dynamics of processes whose states change abruptly at certain moments of time. There are a number of classical tools to investigate impulsive differential equations [1â€“6], such as fixed point theory, topological degree theory, comparison method, and variational approach.

The pioneering work of boundary value problems for impulsive differential equations via variational approach was initiated by Tianâ€“Ge [7] and Nietoâ€“Oâ€™Regan [8]. Since then, a number of research results have emerged in this field, see, for instance, [9â€“14]. However, these studies merely focus on the differential equations with instantaneous impulsive effects. Due to the limitations of instantaneous impulses, which cannot describe all the phenomena in real life, such as earthquakes and tsunamis, HernÃ¡ndezâ€“Oâ€™Regan [15] introduced the noninstantaneous impulsive differential equations. The existence of solutions for noninstantaneous impulsive differential equations have been investigated via some methods [15â€“21], such as the theory of analytic semigroups, fixed point theory, and variational methods. Since the variational structure of general noninstantaneous impulsive differential equations is relatively difficult to establish, Baiâ€“Nieto [21] first studied the linear equation with noninstantaneous impulses via variational methods and continued until 2017. On the basis of [21], Tianâ€“Zhang [22] took the instantaneous impulses into the noninstantaneous impulsive differential equations and extended the linear terms to the nonlinear terms. The second-order differential equation with instantaneous and noninstantaneous impulses is considered below:

$$\textstyle\begin{cases} -u''(t) =f_{i}(t,u(t)), &t \in (s_{i},t_{i+1}], i=0,1,2,\dots ,N, \\ \Delta u'(t_{i}) =I_{i}(u(t_{i})), & i =1,2,\dots ,N, \\ u'(t) =u'(t_{i}^{+}), & t \in (t_{i},s_{i}], i=1,2,\dots N, \\ u'(s_{i}^{+}) =u'(s_{i}^{-}), & i =1,2,\dots ,N, \\ u(0) =u(T)=0, \end{cases}$$
(1.2)

where $$0=s_{0}< t_{1}< s_{1}< t_{2}< s_{2}<\cdots <s_{N}<t_{N+1}=T$$, $$f_{i}\in C((s_{i},t_{i+1}]\times \mathbb{R},\mathbb{R})$$, $$I_{i}\in C(\mathbb{R},\mathbb{R})$$, $$\Delta u'(t_{i})=u'(t_{i}^{+})-u'(t_{i}^{-})$$, the instantaneous impulses occur at the points $$t_{i}$$, and the noninstantaneous impulses continue on the intervals $$(t_{i},s_{i}]$$. The authors showed that the problem (1.2) has at least one classical solution by using Ekelandâ€™s variational principle. Based on [22], Zhangâ€“Liu [23], Zhouâ€“Dengâ€“Wang [24], and Chenâ€“Guâ€“Ma [25] also studied the fractional differential equations with instantaneous and noninstantaneous impulses. They extended the results of [22] and obtained the existence of solutions by using variational methods.

On the other hand, the coupled systems of differential equations play a very important role in various fields such as biology, chemistry, and physics. They present some new phenomena, which are not appeared in the study of a single equation. From [26â€“29], we know that many authors have done lots of works in this field. In recent years, the coupled systems involving differential equations with impulsive effects are also widely studied by the variational approach. More precisely, in [30], Wuâ€“Liu considered the following coupled system of instantaneous impulsive differential equations:

$$\textstyle\begin{cases} -u''(t)+g(t)u(t) =f_{u}(u(t),v(t)), & \text{a.e. } t\in [0,T], \\ -v''(t)+h(t)v(t) =f_{v}(u(t),v(t)), & \text{a.e. } t\in [0,T], \\ u(0) =u(T)=v(0)=v(T)=0, \\ \Delta u'(t_{k}) =u'(t_{k}^{+})-u'(t_{k}^{-})=I_{k}(u(t_{k})), \\ \Delta v'(t_{k}) =v'(t_{k}^{+})-v'(t_{k}^{-})=J_{k}(v(t_{k})), & k =1,2, \dots ,n, \end{cases}$$
(1.3)

where $$0=t_{0}< t_{1}< t_{2}<\cdots <t_{n}<t_{n+1}=T$$, $$g,h\in L^{\infty}[0,T]$$, $$f_{u},f_{v}:\mathbb{R}^{2}\rightarrow \mathbb{R}$$ are continuous, and $$I_{j},J_{j}:\mathbb{R}\rightarrow \mathbb{R}$$, $$j=1,2,\dots ,n$$ are continuous. They obtained that the problem (1.3) has at least one nontrivial solution via variational methods. For the recent works about instantaneous impulsive differential systems, the interested readers may refer to [31â€“34].

In [35], Nesmouiâ€“Abdelkadeâ€“Nietoâ€“Ouahab considered the following noninstantaneous impulsive system of differential equations:

$$\textstyle\begin{cases} -u''(t) = D_{u}f_{i}(t,u(t)-u(t_{i+1}),v(t)-v(t_{i+1})),\quad t\in (s_{i},t_{i+1}], i=0,1,\dots ,m, \\ -v''(t) = D_{v}f_{i}(t,u(t)-u(t_{i+1}),v(t)-v(t_{i+1})),\quad t\in (s_{i},t_{i+1}], i=0,1,\dots ,m, \\ u'(t) =\alpha _{i},\quad t\in (t_{i},s_{i}], i=1,2,\dots ,m, \\ v'(t) =\beta _{i}, \quad t\in (t_{i},s_{i}], i=1,2,\dots ,m, \\ u'(s_{i}^{+}) =u'(s_{i}^{-}), \quad i=1,2,\dots ,m, \\ v'(s_{i}^{+}) =v'(s_{i}^{-}), \quad i=1,2,\dots ,m, \\ u'(0^{+}) =\alpha _{0}, \qquad v'(0^{+})=\beta _{0}, \\ u(0) =u(T)=v(0)=v(T), \end{cases}$$
(1.4)

where $$0=s_{0}< t_{1}< s_{1}< t_{2}< s_{2}<\cdots <t_{m}<s_{m}<t_{m+1}=T$$, the impulses start abruptly at points $$t_{i}$$, $$i=0,1,2,\dots ,m$$, and keep the derivative constant on a finite time interval $$(t_{i},s_{i}]$$. Here $$u'(s_{i}^{\pm})=\lim_{s\to s_{i}^{\pm}}u'(s)$$, and $$\alpha _{i}$$, $$\beta _{i}$$, $$i=0,1,2,\dots ,m$$, are given constants. For each $$i=0,1,2,\dots ,m$$, the nonlinear functions $$D_{u}f_{i}$$, $$D_{v}f_{i}$$ (the derivatives of $$f_{i}(t,u,v)$$ at u and v respectively) are CarathÃ©odory functions on $$(s_{i},t_{i+1}]\times \mathbb{R}^{2}$$. They obtained that the problem (1.4) has at least one solution.

Inspired by the above facts, in this paper, our aim is to study the variational structure of problem (1.1) in an appropriate space of functions and the existence and multiplicity of solutions for the problem (1.1) by using variational methods. Under the assumption that the nonlinearities and the impulsive functions satisfy different growth conditions, we obtain the existence of at least one classical solution and infinitely many classical solutions. Our main results generalize the existing result in [22].

Throughout this paper, we need the following conditions:

1. (H1)

There exist $$a_{i}, b_{i} >0$$, and $$\gamma _{1}, \gamma _{2}\in [0,1)$$, $$i=0,1,\dots ,N$$, such that

$$\bigl\vert D_{x}F_{i}(t,x,y) \bigr\vert \leq a_{i}+b_{i} \vert x \vert ^{\gamma _{1}}, \quad \text{for every } (t,x,y)\in (s_{i},t_{i+1}]\times \mathbb{R}^{2},$$

and

$$\bigl\vert D_{y}F_{i}(t,x,y) \bigr\vert \leq a_{i}+b_{i} \vert y \vert ^{\gamma _{2}},\quad \text{for every } (t,x,y)\in (s_{i},t_{i+1}]\times \mathbb{R}^{2}.$$
2. (H2)

There exist $$c_{i}, d_{i} >0$$, and $$\beta _{i}\in [0,1)$$, $$i=1,2,\dots ,N$$, such that

$$\bigl\vert I_{i}(x) \bigr\vert , \bigl\vert S_{i}(x) \bigr\vert \leq c_{i}+d_{i} \vert x \vert ^{\beta _{i}},\quad \text{for every } x\in \mathbb{R},$$
3. (H3)
1. (i)

$$I_{i}$$, $$S_{i}$$, $$i=1,2,\dots ,N$$ satisfy $$I_{i}(x)x, S_{i}(x)x\geq 0$$, for all $$x\in \mathbb{R}$$;

2. (ii)

There exist $$\theta >2$$, $$\delta _{i}>0$$, $$i=1,2,\dots ,N$$, such that $$\int _{0}^{x}I_{i}(s)\,ds$$, $$\int _{0}^{x}S_{i}(s)\,ds\leq \delta _{i}|x|^{\theta}$$, for $$x\in \mathbb{R}\backslash \{0\}$$;

3. (iii)

$$I_{i}(x)x\leq \theta \int _{0}^{x}I_{i}(s)\,ds$$, $$S_{i}(x)x\leq \theta \int _{0}^{x}S_{i}(s)\,ds$$ for $$x\in \mathbb{R}\backslash \{0\}$$;

4. (H4)

$$|D_{x}F_{i}(t,x,y)|,|D_{y}F_{i}(t,x,y)|=o(|x|+|y|)$$, as $$|x|+|y|\to 0$$.

5. (H5)

There exist $$C>0$$, $$M>0$$, and $$2<\theta <\beta$$ such that

$$F_{i}(t,x,y) \geq C\bigl( \vert x \vert ^{\beta}+ \vert y \vert ^{\beta}\bigr), \quad \vert x \vert + \vert y \vert \geq M,$$

and

$$\theta F_{i}(t,x,y)\leq xD_{x}F_{i}(t,x,y)+yD_{y}F_{i}(t,x,y).$$

The main results of this paper are as follows.

### Theorem 1.1

Assume that (H1) and (H2) hold. Then, problem (1.1) has at least one classical solution.

### Theorem 1.2

Assume that (H3)â€“(H5) hold, Then, problem (1.1) has at least one classical solution.

### Theorem 1.3

Assume that (H3)â€“(H5) and the following conditions hold:

(H6):

$$D_{x}F_{i}(t,x,y)$$, $$D_{y}F_{i}(t,x,y)$$, $$i=0,1,\dots ,N$$, are odd as functions of x, y, respectively;

(H7):

$$I_{i}(x)$$, $$S_{i}(x)$$, $$i=1,2,\dots ,N$$ are odd functions of x.

Then, problem (1.1) has infinitely many classical solutions.

### Theorem 1.4

Assume that (H2), (H4)â€“(H7) hold. Moreover, suppose that $$I_{i}(x)$$, $$S_{i}(x)$$, $$i=1,2,\dots ,N$$, are nondecreasing. Then, problem (1.1) has infinitely many classical solutions.

The rest of this paper is organized as follows. In Sect.Â 2, we present some preliminaries. In Sect.Â 3, we prove the Theorems 1.1â€“1.4 via the variational approach.

## 2 Preliminaries

In this section, we first introduce some definitions and theorems which will be needed in our argument.

### Definition 2.1

Let X be a Banach space and $$\Phi : X \to (-\infty ,+\infty ]$$. Functional Î¦ is said to be weakly lower semicontinuous if $$\liminf_{m\to \infty}\Phi (x_{m})\geq \Phi (x)$$ as $$x_{m}\rightharpoonup x$$ in X.

### Definition 2.2

([36], (PS) condition)

Let X be a real reflexive Banach space. For any sequence $$\{u_{m}\}\subset X$$, if $$\{\Phi (u_{m})\}$$ is bounded and $$\Phi '(u_{m})\to 0$$ as $$m\to \infty$$ possesses a convergent subsequence, then we say that Î¦ satisfies the Palaisâ€“Smale condition.

### Theorem 2.3

([36])

Let X be a reflexive Banach space. If $$\Phi : X \to (-\infty ,+\infty ]$$ is coercive, then Î¦ has a bounded minimizing sequence.

### Theorem 2.4

([36])

Let X be a reflexive Banach space and let $$\Phi : X \to (-\infty ,+\infty ]$$ be weakly lower semicontinuous on X. If Î¦ has a bounded minimizing sequence, then Î¦ has a minimum on X.

### Theorem 2.5

([37], Mountain Pass Theorem)

Let X be a real Banach space and suppose $$\Phi \in C^{1}(X,\mathbb{R})$$ satisfies the (PS) condition with $$\Phi (0)=0$$. If Î¦ satisfies the following conditions:

1. (i)

there exist constants $$\rho , \alpha >0$$ such that $$\Phi |_{\partial B_{\rho}}\geq \alpha$$;

2. (ii)

there exists an $$e\in X\backslash B_{\rho}$$ such that $$\Phi (e)\leq 0$$,

then Î¦ possesses a critical value $$c\geq \alpha$$. Moreover, c is given by $$c=\inf_{g\in \Gamma}\max_{s\in [0,1]}\Phi (g(s))$$, where

$$\Gamma = \bigl\{ g\in C\bigl([0,1],X\bigr)\mid g(0)=0,g(1)=e\bigr\} .$$

### Theorem 2.6

([37], Symmetric Mountain Pass Theorem)

Let X be an infinite-dimensional real Banach space. Let $$\Phi \in C^{1}(X,\mathbb{R})$$ be an even functional which satisfies the (PS) condition, and $$\Phi (0)=0$$. Suppose that $$X=V\oplus Y$$, where V is finite dimensional, and Î¦ satisfies:

1. (i)

there exist $$\alpha >0$$ and $$\rho >0$$ such that $$\Phi |_{\partial B_{\rho}\cap Y}\geq \alpha$$;

2. (ii)

for each finite-dimensional subspace $$W\subset X$$, there is $$R=R(W)$$ such that $$\Phi (u)\leq 0$$ on $$W\backslash B_{R(W)}$$,

then Î¦ possesses an unbounded sequence of critical values.

In the Sobolev space $$H_{0}^{1}(0,T)$$, we consider the inner products

$$(u,v)_{1}= \int _{0}^{T}u'(t)v'(t)\,dt$$

and

$$(u,v)_{2}= \int _{0}^{T}u(t)v(t)\,dt+ \int _{0}^{T}u'(t)v'(t)\,dt,$$

which induce the corresponding norms

$$\Vert u \Vert _{1}= \biggl( \int _{0}^{T} \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}}$$

and

$$\Vert u \Vert _{2}= \biggl( \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{2}\,dt+ \int _{0}^{T} \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}}.$$

We also define the norms in $$C[0,T]$$, $$L^{2}(0,T)$$ as $$\|u\|_{\infty}=\max_{t\in [0,T]}|u(t)|$$ and $$\|u\|_{L^{2}}= (\int _{0}^{T}|u(t)|^{2}\,dt )^{\frac{1}{2}}$$, respectively.

Obviously, $$H_{0}^{1}(0,T)$$ is a Hilbert space. By PoincarÃ© inequality,

$$\int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{2}\,dt\leq \frac{1}{\lambda _{1}} \int _{0}^{T} \bigl\vert u'(t) \bigr\vert ^{2}\,dt,$$

where $$\lambda _{1}=\frac{\pi ^{2}}{T^{2}}$$ is the first eigenvalue of the Dirichlet problem

$$\textstyle\begin{cases} -u''(t)= \lambda u(t), & t\in [0,T], \\ u(0)=u(T)=0. \end{cases}$$
(2.1)

It is easy to verify that the norms $$\|u\|_{1}$$ and $$\|u\|_{2}$$ are equivalent. Set $$X=H_{0}^{1}(0,T)\times H_{0}^{1}(0,T)$$. In the Hilbert space X, for any $$(u,v)\in X$$, we consider the norm

$$\bigl\Vert (u,v) \bigr\Vert _{X}= \bigl( \Vert u \Vert _{1}^{2}+ \Vert v \Vert _{1}^{2} \bigr)^{\frac{1}{2}}.$$

Taking $$(x,y)\in X$$ and multiplying the two sides of the equalities

$$-u''(t)= D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)$$

and

$$-v''(t)= D_{v}F_{i} \bigl(t,u(t),v(t)\bigr)$$

by x and y, respectively, then integrating from $$s_{i}$$ to $$t_{i+1}$$, we have

$$- \int _{s_{i}}^{t_{i+1}}u''(t)x(t)\,dt= \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt$$
(2.2)

and

$$- \int _{s_{i}}^{t_{i+1}}v''(t)y(t)\,dt= \int _{s_{i}}^{t_{i+1}}D_{v}F_{i} \bigl(t,u(t),v(t)\bigr)y(t)\,dt.$$
(2.3)

The first term of (2.2) is

\begin{aligned} - \int _{s_{i}}^{t_{i+1}}u''(t)x(t)\,dt=-u' \bigl(t_{i+1}^{-}\bigr)x\bigl(t_{i+1}^{-} \bigr)+u'\bigl(s_{i}^{+}\bigr)x \bigl(s_{i}^{+}\bigr)+ \int _{s_{i}}^{t_{i+1}}u'(t)x'(t)\,dt. \end{aligned}

Hence,

\begin{aligned} &\sum_{i=0}^{N}-u' \bigl(t_{i+1}^{-}\bigr)x\bigl(t_{i+1}^{-} \bigr)+\sum_{i=0}^{N}u' \bigl(s_{i}^{+}\bigr)x\bigl(s_{i}^{+} \bigr)+ \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}u'(t)x'(t)\,dt \\ &\quad {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt=0. \end{aligned}
(2.4)

Since $$u'(t)=u'(t_{i}^{+})$$, $$t\in (t_{i},s_{i}]$$, $$i=1,2,\dots ,N$$,

$$\int _{t_{i}}^{s_{i}}u'(t)x'(t)\,dt=u' \bigl(t_{i}^{+}\bigr)x\bigl(s_{i}^{-} \bigr)-u'\bigl(t_{i}^{+}\bigr)x \bigl(t_{i}^{+}\bigr).$$

Therefore,

$$\sum_{i=1}^{N} \int _{t_{i}}^{s_{i}}u'(t)x'(t)\,dt- \sum_{i=1}^{N}u' \bigl(t_{i}^{+}\bigr)x\bigl(s_{i}^{-} \bigr)+ \sum_{i=1}^{N}u' \bigl(t_{i}^{+}\bigr)x\bigl(t_{i}^{+} \bigr)=0.$$
(2.5)

Combining (2.4) and (2.5), one has

\begin{aligned} &\int _{0}^{T}u'(t)x'(t)\,dt- \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt \\ &\quad {}+\sum_{i=1}^{N}\bigl(u' \bigl(t_{i}^{+}\bigr)-u'\bigl(t_{i}^{-} \bigr)\bigr)x(t_{i})=0, \end{aligned}

i.e.,

$$\int _{0}^{T}u'(t)x'(t)\,dt- \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt+ \sum_{i=1}^{N}I_{i} \bigl(u(t_{i})\bigr)x(t_{i})=0.$$
(2.6)

On the other hand, similarly we obtain

$$\int _{0}^{T}v'(t)y'(t)\,dt- \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i} \bigl(t,u(t),v(t)\bigr)y(t)\,dt+ \sum_{i=1}^{N}S_{i} \bigl(v(t_{i})\bigr)y(t_{i})=0.$$
(2.7)

It follows from (2.6) and (2.7) that

\begin{aligned} & \int _{0}^{T}u'(t)x'(t)\,dt+ \int _{0}^{T}v'(t)y'(t)\,dt+ \sum_{i=1}^{N}I_{i} \bigl(u(t_{i})\bigr)x(t_{i})+\sum _{i=1}^{N}S_{i}\bigl(v(t_{i}) \bigr)y(t_{i}) \\ &\quad =\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt+ \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i} \bigl(t,u(t),v(t)\bigr)y(t)\,dt. \end{aligned}
(2.8)

Now, we introduce the concept of a weak solution for problem (1.1).

### Definition 2.7

We say that a pair of functions $$(u,v)\in X$$ is a weak solution for problem (1.1) if identity (2.8) holds for any $$(x,y)\in X$$.

For any $$(u,v)\in X$$, we define the following functional on X:

\begin{aligned} \Phi (u,v)={}&\frac{1}{2} \int _{0}^{T} \bigl\vert u'(t) \bigr\vert ^{2}\,dt+ \frac{1}{2} \int _{0}^{T} \bigl\vert v'(t) \bigr\vert ^{2}\,dt+\sum_{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds \\ & {}+\sum_{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds-\sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}\bigl(t,u(t),v(t) \bigr)\,dt \\ ={}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds+ \sum _{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}\bigl(t,u(t),v(t) \bigr)\,dt. \end{aligned}
(2.9)

Using the continuity of $$D_{u}F_{i}$$, $$D_{v}F_{i}$$, $$i=0,1,\dots ,N$$, and $$I_{i}$$, $$S_{i}$$, $$i=1,2,\dots ,N$$, we can show that the functional $$\Phi \in C^{1}(X,\mathbb{R})$$. For any $$(x,y)\in X$$, we have

\begin{aligned} \Phi '(u,v) (x,y)={}& \int _{0}^{T}u'(t)x'(t)\,dt+ \int _{0}^{T}v'(t)y'(t)\,dt+ \sum_{i=1}^{N}I_{i} \bigl(u(t_{i})\bigr)x(t_{i}) \\ & {}+\sum_{i=1}^{N}S_{i} \bigl(v(t_{i})\bigr)y(t_{i})-\sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i} \bigl(t,u(t),v(t)\bigr)x(t)\,dt \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i} \bigl(t,u(t),v(t)\bigr)y(t)\,dt. \end{aligned}
(2.10)

Thus, the weak solutions of problem (1.1) are the corresponding critical points of Î¦.

### Lemma 2.8

If $$(u,v)\in X$$ is a weak solution of problem (1.1), then $$(u,v)\in X$$ is a classical solution of problem (1.1).

### Proof

Proceeding as in the proof of LemmaÂ 2.2 in [22], we can prove that LemmaÂ 2.8 holds. Thus, the proof is omitted here.â€ƒâ–¡

### Lemma 2.9

For any $$(u,v)\in X$$, there exists a constant $$c>0$$ such that $$\|u\|_{\infty}, \|v\|_{\infty}\leq c\|(u,v)\|_{X}$$.

### Proof

For any $$(u,v)\in X$$, it follows from the mean value theorem that

$$u(\tau )=\frac{1}{T} \int _{0}^{T}u(s)\,ds$$

for some $$\tau \in [0,T]$$. Furthermore, using HÃ¶lder and PoincarÃ© inequality, we have

\begin{aligned} \bigl\vert u(t) \bigr\vert &= \biggl\vert u(\tau )+ \int _{\tau}^{T}u'(s)\,ds \biggr\vert \\ &\leq \frac{1}{T} \int _{0}^{T} \bigl\vert u(s) \bigr\vert \,ds+ \int _{0}^{T} \bigl\vert u'(s) \bigr\vert \,ds \\ &\leq T^{-\frac{1}{2}} \Vert u \Vert _{L^{2}}+T^{\frac{1}{2}} \bigl\Vert u' \bigr\Vert _{L^{2}} \\ &\leq \bigl((\lambda _{1} T)^{-\frac{1}{2}}+T^{\frac{1}{2}}\bigr) \bigl\Vert u' \bigr\Vert _{L^{2}} \\ &\leq \bigl((\lambda _{1} T)^{-\frac{1}{2}}+T^{\frac{1}{2}}\bigr) \bigl\Vert (u,v) \bigr\Vert _{X}. \end{aligned}

Hence, there exists a constant $$c=(\lambda _{1} T)^{-\frac{1}{2}}+T^{\frac{1}{2}}>0$$ such that

$$\Vert u \Vert _{\infty}\leq c \bigl\Vert (u,v) \bigr\Vert _{X}.$$

Similarly, we can obtain

$$\Vert v \Vert _{\infty}\leq c \bigl\Vert (u,v) \bigr\Vert _{X}.$$

â€ƒâ–¡

## 3 Main results

In this section, we give the proofs of our main results.

### Lemma 3.1

The functional $$\Phi : X \to \mathbb{R}$$ is weakly lower semicontinuous.

### Proof

Let $$\{(u_{m},v_{m})\}\subset X$$ with $$(u_{m},v_{m})\rightharpoonup (u,v)$$, then we obtain that $$\{u_{m}\}$$ and $$\{v_{m}\}$$ converge uniformly to u and v on $$[0,T]$$, respectively (see [36, PropositionÂ 1.2]). In connection with the fact that $$\|(u,v)\|_{X}\leq \liminf_{m\to \infty}\|(u_{m},v_{m})\|_{X}$$, one has

\begin{aligned} \liminf_{m\to \infty}\Phi (u_{m},v_{m})={}&\liminf _{m \to \infty} \Biggl\{ \frac{1}{2} \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N} \int _{0}^{u_{m}(t_{i})}I_{i}(s)\,ds \\ &{}+\sum_{i=1}^{N} \int _{0}^{v_{m}(t_{i})}S_{i}(s)\,ds-\sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}\bigl(t,u_{m}(t),v_{m}(t) \bigr)\,dt \Biggr\} \\ \geq {}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds \\ & {}+\sum_{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds-\sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}\bigl(t,u(t),v(t) \bigr)\,dt \\ ={}& \Phi (u,v). \end{aligned}

This implies that Î¦ is a weakly lower semicontinuous functional.â€ƒâ–¡

### Proof of TheoremÂ 1.1

For any $$(u,v)\in X$$, by (H1), (H2), and LemmaÂ 2.9, we have

\begin{aligned} \Phi (u,v)={}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+\sum_{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds+ \sum _{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}\bigl(t,u(t),v(t) \bigr)\,dt \\ \geq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}- \sum_{i=1}^{N} \int _{0}^{u(t_{i})}\bigl(c_{i}+d_{i} \vert s \vert ^{ \beta _{i}}\bigr)\,ds-\sum_{i=1}^{N} \int _{0}^{v(t_{i})}\bigl(c_{i}+d_{i} \vert s \vert ^{ \beta _{i}}\bigr)\,ds \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl(a_{i} \vert u \vert +b_{i} \vert u \vert ^{ \gamma _{1}+1}+a_{i} \vert v \vert +b_{i} \vert v \vert ^{\gamma _{2}+1}\bigr)\,dt \\ \geq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}-NC \Vert u \Vert _{\infty}-D\sum_{i=1}^{N} \Vert u \Vert _{\infty}^{\beta _{i}+1}-NC \Vert v \Vert _{\infty} \\ & {}-D\sum_{i=1}^{N} \Vert v \Vert _{\infty}^{\beta _{i}+1}-(N+1)AT \Vert u \Vert _{ \infty}-(N+1)BT \Vert u \Vert _{\infty}^{\gamma _{1}+1} \\ & {}-(N+1)AT \Vert v \Vert _{\infty}-(N+1)BT \Vert v \Vert _{\infty}^{\gamma _{2}+1} \\ \geq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}-2NCc \bigl\Vert (u,v) \bigr\Vert _{X}-2D\sum _{i=1}^{N}c^{ \beta _{i}+1} \bigl\Vert (u,v) \bigr\Vert _{X}^{\beta _{i}+1} \\ & {}-2(N+1)ATc \bigl\Vert (u,v) \bigr\Vert _{X}-(N+1)BTc^{\gamma _{1}+1} \bigl\Vert (u,v) \bigr\Vert _{X}^{ \gamma _{1}+1} \\ & {}-(N+1)BTc^{\gamma _{2}+1} \bigl\Vert (u,v) \bigr\Vert _{X}^{\gamma _{2}+1}, \end{aligned}

where $$A=\max \{a_{0},a_{1},\dots ,a_{N}\}$$, $$B=\max \{b_{0}, b_{1},\dots ,b_{N}\}$$, $$C=\max \{c_{1},c_{2},\dots ,c_{N}\}$$, and $$D=\max \{d_{1},d_{2},\dots ,d_{N}\}$$. Since $$\gamma _{1}, \gamma _{2}\in [0,1)$$, $$i=0,1,\dots ,N$$, $$\beta _{i}\in [0,1)$$, $$i=1,2,\dots ,N$$, the above equation implies $$\lim_{\|(u,v)\|_{X}\to \infty}\Phi (u,v)=+\infty$$, i.e., Î¦ is coercive. By LemmaÂ 3.1 and TheoremÂ 2.3, we obtain that functional Î¦ satisfies all the conditions of TheoremÂ 2.4. So Î¦ has a minimum on X, which is a critical point of Î¦. Hence, problem (1.1) has at least one classical solution.â€ƒâ–¡

### Corollary 3.2

Assume that $$D_{u}F_{i}$$, $$D_{v}F_{i}$$, $$i=0,1,\dots ,N$$, $$I_{i}$$, $$S_{i}$$, $$i=1,2,\dots ,N$$, are bounded. Then, problem (1.1) has at least one classical solution.

### Proof of TheoremÂ 1.2

Obviously, $$\Phi \in C^{1}(X,\mathbb{R})$$ and $$\Phi (0,0)=0$$. We divide the proof into three parts.

First, we will show that Î¦ satisfies the (PS) condition. Let $$\{(u_{m},v_{m})\}\subset X$$ be a sequence such that $$\{\Phi (u_{m},v_{m})\}$$ is bounded and $$\Phi '(u_{m},v_{m})\to 0$$. By (2.9), (2.10), (H3), and (H5), we have

\begin{aligned} &\theta \Phi (u_{m},v_{m})-\Phi '(u_{m},v_{m}) (u_{m},v_{m}) \\ &\quad =\frac{\theta}{2} \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}+\theta \sum_{i=1}^{N} \int _{0}^{u_{m}(t_{i})}I_{i}(s)\,ds+\theta \sum _{i=1}^{N} \int _{0}^{v_{m}(t_{i})}S_{i}(s)\,ds \\ & \qquad {}-\theta \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}(t,u_{m},v_{m})\,dt- \int _{0}^{T} \bigl\vert u_{m}'(t) \bigr\vert ^{2}\,dt- \int _{0}^{T} \bigl\vert v_{m}'(t) \bigr\vert ^{2}\,dt \\ & \qquad {}-\sum_{i=1}^{N}I_{i} \bigl(u_{m}(t_{i})\bigr)u_{m}(t_{i})- \sum_{i=1}^{N}S_{i} \bigl(v_{m}(t_{i})\bigr)v_{m}(t_{i}) \\ &\qquad {}+\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i}(t,u_{m},v_{m})u_{m}\,dt+ \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i}(t,u_{m},v_{m})v_{m}\,dt \\ &\quad = \biggl(\frac{\theta}{2}-1 \biggr) \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}+ \Biggl( \theta \sum _{i=1}^{N} \int _{0}^{u_{m}(t_{i})}I_{i}(s)\,ds-\sum _{i=1}^{N}I_{i}\bigl(u_{m}(t_{i}) \bigr)u_{m}(t_{i}) \Biggr) \\ & \qquad {}+ \Biggl(\theta \sum_{i=1}^{N} \int _{0}^{v_{m}(t_{i})}S_{i}(s)\,ds- \sum _{i=1}^{N}S_{i}\bigl(v_{m}(t_{i}) \bigr)v_{m}(t_{i}) \Biggr) \\ & \qquad {}+ \Biggl(\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i}(t,u_{m},v_{m})u_{m}\,dt +\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i}(t,u_{m},v_{m})v_{m}\,dt \\ &\qquad {}-\theta \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}(t,u_{m},v_{m})\,dt \Biggr) \\ &\quad \geq \biggl(\frac{\theta}{2}-1 \biggr) \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}. \end{aligned}

Since $$\theta >2$$, it follows that $$\{(u_{m},v_{m})\}$$ is bounded in X. Passing, if necessary, to a subsequence, we can assume that there exist $$\{(u_{m},v_{m})\}\in X$$ such that

\begin{aligned} &(u_{m},v_{m})\rightharpoonup (u,v)\quad \text{in } X, \\ &u_{m} \rightarrow u,\qquad v_{m} \rightarrow v \quad \text{uniformly in } C\bigl([0,T]\bigr), \end{aligned}

as $$m\to +\infty$$. Hence

\begin{aligned}& \sum_{i=1}^{N}(I_{i}(u_{m}(t_{i})-I_{i} \bigl(u(t_{i})\bigr) \bigl(u_{m}(t_{i})-u(t_{i}) \bigr) \to 0, \\ &\sum_{i=1}^{N}(S_{i}(v_{m}(t_{i})-S_{i} \bigl(v(t_{i})\bigr) \bigl(v_{m}(t_{i})-v(t_{i}) \bigr) \to 0, \\ &\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl(D_{u}F_{i}(t,u_{m},v_{m})-D_{u}F_{i}(t,u,v) \bigr) (u_{m}-u)\,dt \to 0, \\ &\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl(D_{v}F_{i}(t,u_{m},v_{m})-D_{v}F_{i}(t,u,v) \bigr) (v_{m}-v)\,dt \to 0, \end{aligned}
(3.1)

as $$m\to +\infty$$. Moreover, by (2.10), we have

\begin{aligned} &\bigl(\Phi '(u_{m},v_{m})- \Phi '(u,v)\bigr) (u_{m}-u,v_{m}-v) \\ &\quad = \bigl\Vert (u_{m}-u,v_{m}-v) \bigr\Vert ^{2}+\sum_{i=1}^{N}(I_{i} \bigl(u_{m}(t_{i})-I_{i}\bigl(u(t_{i}) \bigr)\bigr) \bigl(u_{m}(t_{i})-u(t_{i})\bigr) \\ & \qquad {}+\sum_{i=1}^{N}(S_{i} \bigl(v_{m}(t_{i})-S_{i}\bigl(v(t_{i}) \bigr)\bigr) \bigl(v_{m}(t_{i})-v(t_{i})\bigr) \\ & \qquad {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl(D_{u}F_{i}(t,u_{m},v_{m})-D_{u}F_{i}(t,u,v) \bigr) (u_{m}-u)\,dt \\ & \qquad {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl(D_{v}F_{i}(t,u_{m},v_{m})-D_{v}F_{i}(t,u,v) \bigr) (v_{m}-v)\,dt. \end{aligned}
(3.2)

Since $$\Phi '(u_{m},v_{m})\to 0$$ and $$(u_{m},v_{m})\rightharpoonup (u,v)$$, we have

$$\bigl(\Phi '(u_{m},v_{m})-\Phi '(u,v)\bigr) (u_{m}-u,v_{m}-v)\to 0, \quad \text{as } m\to +\infty .$$
(3.3)

Therefore, (3.1), (3.2), and (3.3) yield $$\|(u_{m}-u,v_{m}-v)\|\to 0$$ as $$m\to +\infty$$. That is, $$(u_{m},v_{m})\to (u,v)$$ in X, which means that the (PS) condition holds for Î¦.

Second, we verify that Î¦ satisfies assumption (i) of TheoremÂ 2.5. By the Sobolev embedding theorem, there exists $$\gamma >0$$ such that

$$\Vert u \Vert _{L^{2}}^{2}+ \Vert v \Vert _{L^{2}}^{2}\leq \gamma \bigl\Vert (u,v) \bigr\Vert _{X}^{2}.$$
(3.4)

By (H4), we have

$$F_{i}(t,u,v)=o\bigl( \vert u \vert ^{2}+ \vert v \vert ^{2}\bigr),\quad \text{as } \vert u \vert + \vert v \vert \to 0.$$

Let $$\varepsilon =\frac{1}{4(N+1)\gamma}$$, then there exists $$\delta >0$$ such that $$|u|+|v|<\delta$$ implies

$$F_{i}(t,u,v)\leq \frac{1}{4(N+1)\gamma} \bigl( \vert u \vert ^{2}+ \vert v \vert ^{2}\bigr),\quad \forall (u,v)\in X.$$
(3.5)

In addition, it follows from (i) of (H3) that

$$\int _{0}^{u(t_{i})}I_{i}(s)\,ds\geq 0\quad \text{and}\quad \int _{0}^{v(t_{i})}S_{i}(s)\,ds \geq 0.$$
(3.6)

It is clear that $$\|(u,v)\|_{X}\leq \frac{\delta}{c}$$, where c is defined in LemmaÂ 2.9, implies that $$\|u\|_{\infty}, \|v\|_{\infty}<\delta$$. By (2.9), (3.4), (3.5), and (3.6), we have

\begin{aligned} \Phi (u,v)={}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+\sum_{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds+ \sum _{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}(t,u,v)\,dt \\ \geq {}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}- \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}} \frac{1}{4(N+1)\gamma} \bigl( \vert u \vert ^{2}+ \vert v \vert ^{2}\bigr)\,dt \\ \geq {}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}- \frac{1}{4\gamma} \int _{0}^{T} \bigl( \vert u \vert ^{2}+ \vert v \vert ^{2}\bigr)\,dt \\ \geq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}- \frac{1}{4\gamma}\bigl( \Vert u \Vert _{L^{2}}^{2}+ \Vert v \Vert _{L^{2}}^{2}\bigr) \\ ={}& \frac{1}{4} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}. \end{aligned}

Choose $$\alpha =\frac{\delta ^{2}}{4c^{2}}$$, $$\rho =\frac{\delta}{c}$$, then $$\Phi (u,v)\geq \alpha >0$$ for any $$(u,v)\in \partial B_{\rho}$$.

Finally, we prove that assumption (ii) of TheoremÂ 2.5 is satisfied. According to (H3), (H5), and LemmaÂ 2.9, we have

\begin{aligned} \Phi (u,v)={}&\frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+\sum _{i=1}^{N} \int _{0}^{u(t_{i})}I_{i}(s)\,ds+\sum _{i=1}^{N} \int _{0}^{v(t_{i})}S_{i}(s)\,ds \\ & {}-\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}(t,u,v)\,dt \\ \leq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N}\delta _{i} \bigl\vert u(t_{i}) \bigr\vert ^{ \theta}+\sum _{i=1}^{N}\delta _{i} \bigl\vert v(t_{i}) \bigr\vert ^{\theta}-\sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}C\bigl( \vert u \vert ^{\beta}+ \vert v \vert ^{\beta}\bigr)\,dt \\ \leq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N}\delta _{i} \Vert u \Vert _{ \infty}^{\theta}+\sum_{i=1}^{N} \delta _{i} \Vert v \Vert _{\infty}^{\theta}-C \sum _{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl( \vert u \vert ^{\beta}+ \vert v \vert ^{\beta}\bigr)\,dt \\ \leq{}& \frac{1}{2} \bigl\Vert (u,v) \bigr\Vert _{X}^{2}+ \sum_{i=1}^{N}\delta _{i}c^{ \theta} \bigl\Vert (u,v) \bigr\Vert _{X}^{\theta}+\sum _{i=1}^{N}\delta _{i}c^{\theta} \bigl\Vert (u,v) \bigr\Vert _{X}^{\theta} \\ & {}-C\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl( \vert u \vert ^{\beta}+ \vert v \vert ^{ \beta}\bigr)\,dt \end{aligned}
(3.7)

Now, for any given $$(u,v)\in X$$ with $$\|u\|_{1}=\|v\|_{1}=1$$, by (3.7), we have

\begin{aligned} \Phi (\xi u,\xi v) \leq& \frac{1}{2} \bigl\Vert (\xi u,\xi v) \bigr\Vert _{X}^{2}+ \sum _{i=1}^{N}\delta _{i}c^{\theta} \bigl\Vert (\xi u,\xi v) \bigr\Vert _{X}^{\theta}+ \sum _{i=1}^{N}\delta _{i}c^{\theta} \bigl\Vert (\xi u,\xi v) \bigr\Vert _{X}^{\theta} \\ & {}-C\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl( \vert \xi u \vert ^{\beta}+ \vert \xi v \vert ^{ \beta}\bigr)\,dt \\ =&\xi ^{2}+2(\sqrt{2}c)^{\theta}\xi ^{\theta}\sum _{i=1}^{N}\delta _{i}-C \xi ^{\beta}\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}\bigl( \vert u \vert ^{\beta}+ \vert v \vert ^{ \beta}\bigr)\,dt. \end{aligned}

Since $$2<\theta <\beta$$, the above inequality implies that $$\Phi (\xi u,\xi v)\to -\infty$$ as $$\xi \to +\infty$$. Therefore, there exists $$\xi _{0} \in \mathbb{R}\backslash \{0\}$$ with $$\xi _{0}>\rho$$ such that $$\Phi (\xi _{0} u,\xi _{0} v)\leq 0$$. By TheoremÂ 2.5, problem (1.1) has at least one classical solution.â€ƒâ–¡

### Proof of TheoremÂ 1.3

We apply TheoremÂ 2.6 to show this result. In view of the proof of TheoremÂ 1.2, we obtain that $$\Phi \in C^{1}(X,\mathbb{R})$$ with $$\Phi (0,0)=0$$ satisfies the (PS) condition. Conditions (H6) and (H7) imply that Î¦ is even.

The set of all eigenvalues of (2.1) is given by the sequence of positive numbers $$\lambda _{n}=(\frac{n\pi}{T})^{2}$$ ($$n=1,2,\dots$$). Let $$E_{n}$$ denote the feature space corresponding to $$\lambda _{n}$$, then we obtain $$H_{0}^{1}(0,T)=\overline{\bigoplus_{i\in \mathbb{N}}E_{i}}$$ and $$X=\overline{\bigoplus_{i\in \mathbb{N}}E_{i}\times E_{i}}$$. Assume that $$V=\bigoplus_{i=1}^{2}E_{i}\times E_{i}$$ and $$Y=\overline{\bigoplus_{i=3}^{+\infty}E_{i}\times E_{i}}$$, then $$X=V+Y$$, where V is finite dimensional. As in the proof of TheoremÂ 1.2, there exist $$\rho , \alpha >0$$ such that $$\Phi (u,v)\geq \alpha$$ for any $$(u,v)\in \partial B_{\rho}\cap Y$$. In addition, in the same way as in the proof of TheoremÂ 1.2, we can obtain that $$\Phi (\xi u,\xi v)\to -\infty$$ as $$\xi \to \infty$$ for any $$(u,v)\in W$$. Hence, there exists $$R=R(W)$$ such that $$\Phi (\xi u,\xi v)\leq 0$$ on $$W\backslash B_{R(W)}$$. By TheoremÂ 2.6, problem (1.1) has infinitely many classical solutions.â€ƒâ–¡

### Proof of TheoremÂ 1.4

Obviously, $$\Phi \in C^{1}(X,\mathbb{R})$$ with $$\Phi (0,0)=0$$ is even. First, we prove that Î¦ satisfies the (PS) condition. As in the proof of TheoremÂ 1.2, by (2.9), (2.10), (H2), (H5), and LemmaÂ 2.9, we have

\begin{aligned}& \theta \Phi (u_{m},v_{m})-\Phi '(u_{m},v_{m}) (u_{m},v_{m}) \\& \quad = \biggl(\frac{\theta}{2}-1 \biggr) \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}+\theta \sum _{i=1}^{N} \int _{0}^{u_{m}(t_{i})}I_{i}(s)\,ds-\sum _{i=1}^{N}I_{i}\bigl(u_{m}(t_{i}) \bigr)u_{m}(t_{i}) \\& \qquad {}+\theta \sum_{i=1}^{N} \int _{0}^{v_{m}(t_{i})}S_{i}(s)\,ds- \sum _{i=1}^{N}S_{i}\bigl(v_{m}(t_{i}) \bigr)v_{m}(t_{i}) \\& \qquad {}+ \Biggl(\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{u}F_{i}(t,u_{m},v_{m})u_{m}\,dt +\sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}D_{v}F_{i}(t,u_{m},v_{m})v_{m}\,dt \\& \qquad {}-\theta \sum_{i=0}^{N} \int _{s_{i}}^{t_{i+1}}F_{i}(t,u_{m},v_{m})\,dt \Biggr) \\& \quad \geq \biggl(\frac{\theta}{2}-1 \biggr) \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}-\theta \sum _{i=1}^{N}\bigl(c_{i} \Vert u_{m} \Vert _{\infty}+d_{i} \Vert u_{m} \Vert _{\infty}^{ \beta _{i}+1}\bigr) \\& \qquad {}-\sum_{i=1}^{N}\bigl(c_{i} \Vert u_{m} \Vert _{\infty}+d_{i} \Vert u_{m} \Vert _{ \infty}^{\beta _{i}+1}\bigr)-\theta \sum _{i=1}^{N}\bigl(c_{i} \Vert v_{m} \Vert _{\infty}+d_{i} \Vert v_{m} \Vert _{\infty}^{\beta _{i}+1}\bigr) \\& \qquad {}-\sum_{i=1}^{N}\bigl(c_{i} \Vert v_{m} \Vert _{\infty}+d_{i} \Vert v_{m} \Vert _{ \infty}^{\beta _{i}+1}\bigr) \\& \quad \geq \biggl(\frac{\theta}{2}-1 \biggr) \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{2}-2(\theta +1) \Biggl(\sum _{i=1}^{N}c_{i}c \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X} \\& \qquad {}+\sum_{i=1}^{N}d_{i}c^{\beta _{i}+1} \bigl\Vert (u_{m},v_{m}) \bigr\Vert _{X}^{ \beta _{i}+1} \Biggr). \end{aligned}

It follows that $$\{(u_{m},v_{m})\}$$ is bounded in X. The rest of the proof showing that the (PS) condition holds is similar to that in TheoremÂ 1.2. Secondly, since $$I_{i}$$, $$S_{i}$$, $$i=1,2,\dots ,N$$, are odd and nondecreasing, we obtain $$\int _{0}^{u(t_{i})}I_{i}(s)\,ds\geq 0$$ and $$\int _{0}^{v(t_{i})}S_{i}(s)\,ds\geq 0$$. As in the proofs of Theorems 1.2 and 1.3, we can easily verify that condition (i) of TheoremÂ 2.6 is satisfied. Finally, the proof of condition (ii) of TheoremÂ 2.6 is also the same as that in TheoremÂ 1.3. Hence, by TheoremÂ 2.6, problem (1.1) has infinitely many classical solutions.â€ƒâ–¡

## 4 Examples

In this section, we give two examples to illustrate our main results.

### Example 4.1

Let $$T = 1$$, consider the following problem:

$$\textstyle\begin{cases} -u''(t) =D_{u}F_{i}(t,u(t),v(t)), & t \in (s_{i},t_{i+1}], i=0,1, \\ -v''(t) = D_{v}F_{i}(t,u(t),v(t)),& t \in (s_{i},t_{i+1}], i=0,1, \\ \Delta u'(t_{1}) =I_{1}(u(t_{1})), \\ \Delta v'(t_{1}) =S_{1}(v(t_{1})), \\ u'(t) =u'(t_{1}^{+}), & t \in (t_{1},s_{1}], \\ v'(t) =v'(t_{1}^{+}), & t \in (t_{1},s_{1}], \\ u'(s_{1}^{+}) =u'(s_{1}^{-}), \\ v'(s_{1}^{+}) =v'(s_{1}^{-}), \\ u(0) =u(1)=v(0)=v(1)=0. \end{cases}$$
(4.1)

where $$D_{u}F_{i}(t,u,v)=t+u^{\frac{1}{2}}$$, $$D_{v}F_{i}(t,u,v)= t^{2}+v^{\frac{1}{4}}$$, $$I_{1}(u)=\sin u+u^{\frac{1}{2}}$$, $$S_{1}(v)=2\cos v+v^{\frac{1}{3}}$$. Let $$a_{i}=1$$, $$b_{i}=1$$, $$\gamma _{1}=\frac{1}{2}$$, $$\gamma _{2}=\frac{1}{4}$$, $$c_{i}=2$$, $$d_{i}=1$$, $$\beta _{i}=\frac{1}{2}$$, then conditions (H1) and (H2) hold. Therefore, problem (4.1) has at least one classical solution by TheoremÂ 1.1.

### Example 4.2

Let $$T = 1$$, consider the following problem:

$$\textstyle\begin{cases} -u''(t) =D_{u}F_{i}(t,u(t),v(t)), & t \in (s_{i},t_{i+1}], i=0,1, \\ -v''(t) = D_{v}F_{i}(t,u(t),v(t)), & t \in (s_{i},t_{i+1}], i=0,1, \\ \Delta u'(t_{1}) =I_{1}(u(t_{1})), \\ \Delta v'(t_{1}) =S_{1}(v(t_{1})), \\ u'(t) =u'(t_{1}^{+}), & t \in (t_{1},s_{1}], \\ v'(t) =v'(t_{1}^{+}), & t \in (t_{1},s_{1}], \\ u'(s_{1}^{+}) =u'(s_{1}^{-}), \\ v'(s_{1}^{+}) =v'(s_{1}^{-}), \\ u(0) =u(1)=v(0)=v(1)=0. \end{cases}$$
(4.2)

where $$D_{u}F_{i}(t,u,v)=u^{7}$$, $$D_{v}F_{i}(t,u,v)= v^{9}$$, $$I_{1}(u)=u^{4}$$, $$S_{1}(v)=v^{6}$$. Let $$\beta =8$$, $$\theta =4$$, $$C=\frac{1}{2}$$. By simple calculations, we show that condition (H3)â€“(H5) are satisfied. So problem (4.2) has at least one classical solution by TheoremÂ 1.2. Furthermore, if we take $$I_{1}(u)=u^{5}$$ and $$S_{1}(v)=v^{5}$$, conditions (H6) and (H7) are also satisfied. Applying TheoremÂ 1.3, problem (4.2) has infinitely many classical solutions.

Not applicable.

## References

1. Li, J.L., Nieto, J.J.: Existence of positive solutions for multipoint boundary value problem on the half-line with impulses. Bound. Value Probl. 2009, 834158 (2009)

2. Qian, D.B., Li, X.Y.: Periodic solutions for ordinary differential equations with sublinear impulsive effects. J. Math. Anal. Appl. 303(1), 288â€“303 (2005)

3. Chen, L.J., Sun, J.T.: Nonlinear boundary value problem of first order impulsive functional differential equations. J.Â Math. Anal. Appl. 318(2), 726â€“741 (2006)

4. Ahmad, B., Nieto, J.J.: Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with anti-periodic boundary conditions. Nonlinear Anal., Theory Methods Appl. 69(10), 3291â€“3298 (2008)

5. Wei, Y.F., Shang, S.M., Bai, Z.B.: Applications of variational methods to some three-point boundary value problems with instantaneous and noninstantaneous impulses. Nonlinear Anal., Model. Control 27(3), 466â€“478 (2022)

6. Tian, Y., Zhang, Y.: The existence of solution and dependence on functional parameter for BVP of fractional differential equation. J. Appl. Anal. Comput. 12(2), 591â€“608 (2022)

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

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

9. Wang, H.H., Lu, D., Lu, H.Q.: Multiplicity results for second order impulsive differential equations via variational methods. Engineering 13(2), 82â€“93 (2021)

10. Nieto, J.J.: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett. 23(8), 940â€“942 (2010)

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

12. Graef, J.R., Heidarkhani, S., Kong, L.G., Moradi, S.: Three solutions for impulsive fractional boundary value problems with p-Laplacian. Bull. Iranian Math. Soc. 48(4), 1413â€“1433 (2022)

13. Liu, Z.S., Chen, H.B., Zhou, T.J.: Variational methods to the second-order impulsive differential equation with Dirichlet boundary value problem. Comput. Math. Appl. 61(6), 1687â€“1699 (2011)

14. Ferrara, M., Heidarkhani, S., Pizzimenti, P.F.: Multiple solutions for Dirichlet impulsive equations. Adv. Nonlinear Anal. 3(S1), 89â€“98 (2014)

15. HernÃ¡ndez, E., Oâ€™Regan, D.: On a new class of abstract impulsive differential equations. Proc. Am. Math. Soc. 141(5), 1641â€“1649 (2013)

16. Pierri, M., Oâ€™Regan, D., Rolnik, V.: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219(12), 6743â€“6749 (2013)

17. Colao, V., Muglia, L., Xu, H.K.: Existence of solutions for a second-order differential equation with non-instantaneous impulses and delay. Ann. Mat. Pura Appl. 195(3), 697â€“716 (2016)

18. Yao, W.J.: Variational approach to non-instantaneous impulsive differential equations with p-Laplacian operator. AIMS Math. 7(9), 17269â€“17285 (2022)

19. Zhao, Y.L., Luo, C.L., Chen, H.B.: Existence results for non-instantaneous impulsive nonlinear fractional differential equation via variational methods. Bull. Malays. Math. Sci. Soc. 43(3), 2151â€“2169 (2020)

20. Bai, L., Nieto, J.J., Wang, X.Y.: Variational approach to non-instantaneous impulsive nonlinear differential equations. J.Â Nonlinear Sci. Appl. 10(5), 2440â€“2448 (2017)

21. Bai, L., Nieto, J.J.: Variational approach to differential equations with not instantaneous impulses. Appl. Math. Lett. 73, 44â€“48 (2017)

22. Tian, Y., Zhang, M.: Variational method to differential equations with instantaneous and non-instantaneous impulses. Appl. Math. Lett. 94, 160â€“165 (2019)

23. Zhang, W., Liu, W.B.: Variational approach to fractional Dirichlet problem with instantaneous and non-instantaneous impulses. Appl. Math. Lett. 99, 105993 (2020)

24. Zhou, J.W., Deng, Y.M., Wang, Y.N.: Variational approach to p-Laplacian fractional differential equations with instantaneous and non-instantaneous impulses. Appl. Math. Lett. 104, 106251 (2020)

25. Chen, Y.R., Gu, H.B., Ma, L.N.: Variational method to p-Laplacian fractional Dirichlet problem with instantaneous and noninstantaneous impulses. J. Funct. Spaces 2020, 1â€“8 (2020)

26. Defigueiredo, D.G.: Nonlinear elliptic systems. An. Acad. Bras. CiÃªnc. 72(4), 453â€“469 (2000)

27. Zhao, Y.L., Chen, H.B., Qin, B.: Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods. Appl. Math. Comput. 257, 417â€“427 (2015)

28. Zhao, Y.L., Chen, H.B., Zhang, Q.M.: Infinitely many solutions for fractional differential system via variational method. J.Â Appl. Math. Comput. 50(1), 589â€“609 (2016)

29. Sun, S.R., Li, Q.P., Li, Y.N.: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 64(10), 3310â€“3320 (2012)

30. Wu, Y.Q., Liu, W.B.: Variational approach to impulsive differential system. Adv. Differ. Equ. 2015(1), 1 (2015)

31. Heidarkhani, S., Cabada, A., Afrouzi, G.A., Moradi, S., Caristi, G.: A variational approach to perturbed impulsive fractional differential equations. J. Comput. Appl. Math. 341, 42â€“60 (2018)

32. Li, D.P., Chen, F.Q., An, Y.K.: The existence of solutions for an impulsive fractional coupled system of $$(p,q)$$-Laplacian type without the Ambrosettiâ€“Rabinowitz condition. Math. Methods Appl. Sci. 42(5), 1449â€“1464 (2019)

33. Heidarkhani, S., Salari, A.: Nontrivial solutions for impulsive fractional differential systems through variational methods. Math. Methods Appl. Sci. 43(10), 6529â€“6541 (2020)

34. Heidarkhani, S., Salari, A.: Existence of three solutions for impulsive fractional differential systems through variational methods. TWMS J. Appl. Eng. Math. 9(3), 646â€“657 (2019)

35. Nesmoui, R., Abdelkader, D., Nieto, J.J., Ouahab, A.: Variational approach to non-instantaneous impulsive system of differential equations. Nonlinear Stud. 28(2), 563â€“573 (2021)

36. Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)

37. 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., Providence (1986)

Not applicable.

## Funding

This research is supported by the Natural Science Foundation of Fujian Province (No. 2021J01230869), and the Program for Innovative Research Team in Science and Technology in Fujian Province University (2018-39).

## Author information

Authors

### Contributions

Wangjin Yao wrote the main manuscript text and reviewed the manuscript. The author read and approved the final manuscript.

### Corresponding author

Correspondence to Wangjin Yao.

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## Rights and permissions

Reprints and permissions

Yao, W. Variational approach to instantaneous and noninstantaneous impulsive system of differential equations. Bound Value Probl 2022, 71 (2022). https://doi.org/10.1186/s13661-022-01653-7