# Solvability of a second-order Hamiltonian system with impulsive effects

## Abstract

In this paper, a class of second-order Hamiltonian systems with impulsive effects are considered. By using critical point theory, we obtain some existence theorems of solutions for the nonlinear impulsive problem. We extend and improve some recent results.

MSC:334B18, 34B37, 58E05.

## 1 Introduction and main results

Consider the second-order Hamiltonian systems with impulsive effects

(1.1)

where $0={t}_{0}<{t}_{1}<{t}_{2}<â‹¯<{t}_{p}<{t}_{p+1}=T$, $u\left(t\right)=\left({u}^{1}\left(t\right),{u}^{2}\left(t\right),â€¦,{u}^{N}\left(t\right)\right)$, ${I}_{ij}:Râ†’R$ ($i=1,2,â€¦,N$; $j=1,2,â€¦,p$) are continuous and $F:\left[0,T\right]Ã—{R}^{n}â†’R$ satisfies the following assumption:

1. (A)

$F\left(t,x\right)$ is measurable in t for every $xâˆˆ{R}^{n}$ and continuously differentiable in x for a.e. $tâˆˆ\left[0,T\right]$ and there exist $aâˆˆC\left({R}^{+},{R}^{+}\right)$, $bâˆˆ{L}^{1}\left(0,T;{R}^{+}\right)$ such that

$|F\left(t,x\right)|â‰¤a\left(|x|\right)b\left(t\right),\phantom{\rule{2em}{0ex}}|\mathrm{âˆ‡}F\left(t,x\right)|â‰¤a\left(|x|\right)b\left(t\right)$

for all $xâˆˆ{R}^{n}$ and a.e. $tâˆˆ\left[0,T\right]$.

When ${I}_{ij}â‰¡0$ ($i=1,2,â€¦,N$; $j=1,2,â€¦,p$), (1.1) is the Hamiltonian system

(1.2)

In the past years, the existence of solutions for the second-order Hamiltonian systems (1.2) has been studied extensively via modern variational methods by many authors (see [1â€“13]).

When the gradient $\mathrm{âˆ‡}F\left(t,x\right)$ is bounded, that is, there exists $gâˆˆ{L}^{1}\left(0,T;{R}^{+}\right)$ such that

$|\mathrm{âˆ‡}F\left(t,x\right)|â‰¤g\left(t\right)$

for all $xâˆˆ{R}^{N}$ and a.e. $tâˆˆ\left[0,T\right]$, Mawhin-Willem in [1] proved the existence of solutions for problem (1.2) under the condition

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=+\mathrm{âˆž}$

or

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=âˆ’\mathrm{âˆž}.$

When the gradient $\mathrm{âˆ‡}F\left(t,x\right)$ is bounded sublinearly, that is, there exist $f,gâˆˆ{L}^{1}\left(0,T;{R}^{+}\right)$ and $\mathrm{Î±}âˆˆ\left[0,1\right)$ such that

$|\mathrm{âˆ‡}F\left(t,x\right)|â‰¤f\left(t\right){|x|}^{\mathrm{Î±}}+g\left(t\right)$

for all $xâˆˆ{R}^{N}$ and a.e. $tâˆˆ\left[0,T\right]$, Tang [2] proved the existence of solutions for problem (1.2) under the condition

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=+\mathrm{âˆž}$

or

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=âˆ’\mathrm{âˆž},$

which generalizes Mawhin-Willemâ€™s results.

For , problem (1.1) gives less results (see [14â€“16]). In [14], Zhou and Li extended the results of [2] to impulsive problem (1.1); they proved the following theorems.

Theorem A [14]

Assume that (A) and the following conditions are satisfied:

(h1) There exist $f,gâˆˆ{L}^{1}\left(0,T;{R}^{+}\right)$ and $\mathrm{Î±}âˆˆ\left[0,1\right)$ such that

$|\mathrm{âˆ‡}F\left(t,x\right)|â‰¤f\left(t\right){|x|}^{\mathrm{Î±}}+g\left(t\right)$

for all $xâˆˆ{R}^{n}$ and a.e. $tâˆˆ\left[0,T\right]$.

(h2) ${lim}_{|x|â†’+\mathrm{âˆž}}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=+\mathrm{âˆž}$.

(h3) For any $i=1,2,â€¦,N$; $j=1,2,â€¦,p$,

$t{I}_{ij}\left(t\right)â‰¥0,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆR.$

Then problem (1.1) has at least one weak solution.

Theorem B [14]

Suppose that (A) and the condition (h1) of Theorem  A hold. Assume that:

(h4) ${lim}_{|x|â†’+\mathrm{âˆž}}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=âˆ’\mathrm{âˆž}$.

(h5) For any $i=1,2,â€¦,N$; $j=1,2,â€¦,p$,

$t{I}_{ij}\left(t\right)â‰¤0,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆR.$

(h6) There exist ${a}_{ij},{b}_{ij}>0$ and ${\mathrm{Î²}}_{ij}âˆˆ\left(0,1\right)$ such that

$|{I}_{ij}\left(t\right)|â‰¤{a}_{ij}+{b}_{ij}{|t|}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}},\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆR,i=1,2,â€¦,N;j=1,2,â€¦,p.$

Then problem (1.1) has at least one weak solution.

Let

$F\left(t,x\right)=f\left(t\right){|x|}^{1+\mathrm{Î±}}+C\left(x\right)âˆ’\frac{\mathrm{Î»}}{2}{|x|}^{2}+\left(h\left(t\right),x\right),$
(1.3)

where $C\left(x\right)$ is convex in ${R}^{N}$ (e.g., $C\left(x\right)=\frac{\mathrm{Î»}}{2}\left({|{x}^{1}|}^{4}+{|{x}^{2}|}^{2}+â‹¯+{|{x}^{N}|}^{2}\right)$), $\mathrm{Î»}<\frac{4{\mathrm{Ï€}}^{2}}{{T}^{2}}$, $fâˆˆ{L}^{1}\left[0,T\right]$ satisfying ${âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt>0$ (e.g., $f\left(t\right)=\frac{2T}{3}âˆ’t$), $0<\mathrm{Î±}<1$, $hâˆˆ{L}^{1}\left(0,T;{R}^{N}\right)$ and $x=\left({x}^{1},{x}^{2},â€¦,{x}^{N}\right)âˆˆ{R}^{N}$. It is easy to see that $F\left(t,x\right)$ satisfies the condition (h2) but does not satisfy the condition (h1). The above example shows that it is valuable to further improve Theorem A.

Let

$F\left(t,x\right)=f\left(t\right){|x|}^{1+\mathrm{Î±}}+C\left(x\right)âˆ’\frac{\mathrm{Î»}}{2}{|x|}^{2}+\left(h\left(t\right),x\right),$
(1.4)

where $C\left(x\right)$ satisfies that the gradient $\mathrm{âˆ‡}C\left(x\right)$ is Lipschitz continuous and monotone in ${R}^{N}$ (e.g., $C\left(x\right)=\frac{\mathrm{Î»}}{2}\left(|{x}^{1}|+{|{x}^{2}|}^{2}+â‹¯+{|{x}^{N}|}^{2}\right)$), $0<\mathrm{Î»}<\frac{4{\mathrm{Ï€}}^{2}}{{T}^{2}}$, $fâˆˆ{L}^{1}\left[0,T\right]$ satisfies ${âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt>0$ (e.g., $f\left(t\right)=\frac{T}{3}âˆ’t$), $0<\mathrm{Î±}<1$, $hâˆˆ{L}^{1}\left(0,T;{R}^{N}\right)$ and $x=\left({x}^{1},{x}^{2},â€¦,{x}^{N}\right)âˆˆ{R}^{N}$. It is easy to see that $F\left(t,x\right)$ satisfies the condition (h4) but does not satisfy the condition (h1). The above example shows that it is valuable to further improve Theorem B.

In this paper, we further study the existence of solutions for impulsive problem (1.1). Our main results are the following theorems.

Theorem 1.1 Suppose that $F\left(t,x\right)=H\left(t,x\right)+G\left(x\right)$ satisfies assumption (A) and the following conditions hold:

(H1) There exist $f,gâˆˆ{L}^{1}\left(0,T;{R}^{+}\right)$ and $\mathrm{Î±}âˆˆ\left[0,1\right)$ such that

$|\mathrm{âˆ‡}H\left(t,x\right)|â‰¤f\left(t\right){|x|}^{\mathrm{Î±}}+g\left(t\right)$
(1.5)

for all $xâˆˆ{R}^{N}$ and a.e. $tâˆˆ\left[0,T\right]$.

(H2) There exists a positive number $\mathrm{Î»}<\frac{4{\mathrm{Ï€}}^{2}}{{T}^{2}}$ such that

$\left(\mathrm{âˆ‡}G\left(x\right)âˆ’\mathrm{âˆ‡}G\left(y\right),xâˆ’y\right)â‰¥âˆ’\mathrm{Î»}{|xâˆ’y|}^{2}$
(1.6)

for all $x,yâˆˆ{R}^{n}$.

(H3)

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=+\mathrm{âˆž}.$
(1.7)

(H4) For any $i=1,2,â€¦,N$; $j=1,2,â€¦,p$,

$t{I}_{ij}\left(t\right)â‰¥0,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆR.$
(1.8)

Then impulsive problem (1.1) has at least one weak solution.

Remark 1.1 Theorem 1.1 generalizes Theorem A, which is a special case of our Theorem 1.1 corresponding to $G\left(x\right)â‰¡0$.

Example 1.1 Let $N=3$, $p=1$. Consider the following impulsive problem:

where

$\begin{array}{c}F\left(t,x\right)=\left(\frac{2T}{3}âˆ’t\right){|x|}^{\frac{3}{2}}âˆ’\mathrm{Î»}cos{x}^{1}+\left(h\left(t\right),x\right),\hfill \\ hâˆˆ{L}^{1}\left(0,T;{R}^{3}\right),\phantom{\rule{2em}{0ex}}{I}_{i1}\left(t\right)={t}^{\frac{1}{3}}\phantom{\rule{1em}{0ex}}\left(i=1,2,3\right).\hfill \end{array}$

Take

$G\left(x\right)=âˆ’\mathrm{Î»}cos{x}^{1},\phantom{\rule{1em}{0ex}}x=\left({x}^{1},{x}^{2},{x}^{3}\right)âˆˆ{R}^{3},$

which is bounded and

$H\left(t,x\right)=\left(\frac{2T}{3}âˆ’t\right){|x|}^{\frac{3}{2}}+\left(h\left(t\right),x\right),$

$\mathrm{Î±}=\frac{1}{2}$, $f\left(t\right)=\frac{3}{2}\left(\frac{2T}{3}âˆ’t\right)$, $g\left(t\right)=|h\left(t\right)|$. Then all the conditions of Theorem 1.1 are satisfied. According to Theorem 1.1, the above problem has at least one weak solution. However, F does not satisfy the condition (h1) in Theorem A. Therefore, our result improves and generalizes the Theorem A.

Theorem 1.2 Suppose that $F\left(t,x\right)=H\left(t,x\right)+G\left(x\right)$ satisfies assumption (A) and the condition (H1) of Theorem  1.1. Furthermore, assume that

(H5) There exist $0â‰¤A<\frac{4{\mathrm{Ï€}}^{2}}{{T}^{2}}$, $Bâ‰¥0$ such that

$|\mathrm{âˆ‡}G\left(x\right)âˆ’\mathrm{âˆ‡}G\left(y\right)|â‰¤A|xâˆ’y|+B$
(1.9)

for all $xâˆˆ{R}^{n}$.

(H6)

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{|x|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,x\right)\phantom{\rule{0.2em}{0ex}}dt=âˆ’\mathrm{âˆž}.$
(1.10)

(H7) For any $i=1,2,â€¦,N$; $j=1,2,â€¦,p$,

$t{I}_{ij}\left(t\right)â‰¤0,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆR.$
(1.11)

(H8) There exist ${a}_{ij},{b}_{ij}>0$ and ${\mathrm{Î²}}_{ij}âˆˆ\left(0,1\right)$ such that

$|{I}_{ij}\left(t\right)|â‰¤{a}_{ij}+{b}_{ij}{|t|}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}}$
(1.12)

for every $tâˆˆR$, $i=1,2,â€¦,N$; $j=1,2,â€¦,p$.

Then impulsive problem (1.1) has at least one weak solution.

Remark 1.2 Theorem 1.2 generalizes Theorem B, which is a special case of our Theorem 1.2 corresponding to $G\left(x\right)â‰¡0$.

Example 1.2 Let $N=3$, $p=1$. Consider the following impulsive problem:

where

$\begin{array}{c}F\left(t,x\right)=\left(\frac{T}{3}âˆ’t\right){|x|}^{\frac{4}{3}}âˆ’\frac{\mathrm{Î»}}{2}{|{x}_{1}|}^{2}+\left(h\left(t\right),x\right),\hfill \\ hâˆˆ{L}^{1}\left(0,T;{R}^{3}\right),\phantom{\rule{2em}{0ex}}{I}_{i1}\left(t\right)=âˆ’{t}^{\frac{1}{9}}\phantom{\rule{1em}{0ex}}\left(i=1,2,3\right).\hfill \end{array}$

Take

$G\left(x\right)=âˆ’\frac{\mathrm{Î»}}{2}{|{x}_{1}|}^{2},\phantom{\rule{1em}{0ex}}x=\left({x}^{1},{x}^{2},{x}^{3}\right)âˆˆ{R}^{3},$

which is bounded from above, and

$H\left(t,x\right)=\left(\frac{T}{3}âˆ’t\right){|x|}^{\frac{4}{3}}+\left(h\left(t\right),x\right),$

$\mathrm{Î±}=\frac{1}{3}$, $f\left(t\right)=\frac{4}{3}\left(\frac{T}{3}âˆ’t\right)$, $g\left(t\right)=|h\left(t\right)|$, ${a}_{i1}={b}_{i1}=1$, ${\mathrm{Î²}}_{i1}=\frac{1}{3}$ ($i=1,2,3$). Then all the conditions of Theorem 1.2 are satisfied. According to Theorem 1.2, the above problem has at least one weak solution. However, F does not satisfy the condition (h4) in Theorem B. Therefore, our result improves and generalizes Theorem B.

Theorem 1.3 Suppose that $F\left(t,x\right)=H\left(t,x\right)+G\left(x\right)$ and ${I}_{ij}\left(t\right)$ satisfy the assumptions (A), (H1), (H2), (H7) and (H8). Furthermore, assume that

(H9)

$\underset{|x|â†’+\mathrm{âˆž}}{lim}{|x|}^{âˆ’2\mathrm{Î±}}F\left(t,x\right)=âˆ’\mathrm{âˆž}$
(1.13)

uniformly for all $tâˆˆ\left[0,T\right]$.

Then impulsive problem (1.1) has at least one weak solution.

Example 1.3 Let $N=3$, $p=1$. Consider the following impulsive problem:

where

$F\left(t,x\right)=âˆ’{|x|}^{1+\mathrm{Î±}}âˆ’\frac{\mathrm{Î»}}{2}{|{x}_{1}|}^{2},\phantom{\rule{2em}{0ex}}{I}_{i1}\left(t\right)=âˆ’{t}^{\frac{\mathrm{Î±}}{3}}\phantom{\rule{1em}{0ex}}\left(i=1,2,3\right),0<\mathrm{Î±}<1,0<\mathrm{Î»}<\frac{4{\mathrm{Ï€}}^{2}}{{T}^{2}}.$

Take

$H\left(t,x\right)=âˆ’{|x|}^{1+\mathrm{Î±}},\phantom{\rule{2em}{0ex}}G\left(x\right)=âˆ’\frac{\mathrm{Î»}}{2}{|{x}_{1}|}^{2},\phantom{\rule{1em}{0ex}}x=\left({x}^{1},{x}^{2},{x}^{3}\right)âˆˆ{R}^{3}.$

Then all the conditions of Theorem 1.3 are satisfied. According to Theorem 1.3, the above problem has at least one weak solution. However, $F\left(t,x\right)$ is neither superquadratic in X nor subquadratic in X.

## 2 Preliminaries

Let with the inner product

$\left(u,v\right)={âˆ«}_{0}^{T}\left(u\left(t\right),v\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\stackrel{Ë™}{u}\left(t\right),\stackrel{Ë™}{v}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}u,vâˆˆ{H}_{T}^{1},$

inducing the norm

$âˆ¥uâˆ¥={\left({âˆ«}_{0}^{T}{|u\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}},\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}uâˆˆ{H}_{T}^{1}.$

The corresponding functional Ï• on ${H}_{T}^{1}$ given by

$\mathrm{Ï•}\left(u\right)=\frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ«}_{0}^{{u}^{i}\left({t}_{j}\right)}{I}_{ij}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt$
(2.1)

is continuously differentiable and weakly lower semi-continuous on ${H}_{T}^{1}$. For the sake of convenience, we denote

$\mathrm{Ï•}\left(u\right)={\mathrm{Ï•}}_{1}\left(u\right)+{\mathrm{Ï•}}_{2}\left(u\right),$

where

${\mathrm{Ï•}}_{1}\left(u\right)=\frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt$

and

${\mathrm{Ï•}}_{2}\left(u\right)=\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ«}_{0}^{{u}^{i}\left({t}_{j}\right)}{I}_{ij}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$

For any $u,vâˆˆ{H}_{T}^{1}$, we have

$\begin{array}{rcl}ã€ˆ{\mathrm{Ï•}}^{â€²}\left(u\right),vã€‰& =& {âˆ«}_{0}^{T}\left(\stackrel{Ë™}{u}\left(t\right),\stackrel{Ë™}{v}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}^{i}\left({t}_{j}\right)\right){v}^{i}\left({t}_{j}\right)\\ +{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}F\left(t,u\left(t\right)\right),v\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt.\end{array}$
(2.2)

Definition 2.1 We say that a function $uâˆˆ{H}_{T}^{1}$ is a weak solution of (1.1) if the identity

${âˆ«}_{0}^{T}\left(\stackrel{Ë™}{u}\left(t\right),\stackrel{Ë™}{v}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}^{i}\left({t}_{j}\right)\right){v}^{i}\left({t}_{j}\right)+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}F\left(t,u\left(t\right)\right),v\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt=0$

holds for any $vâˆˆ{H}_{T}^{1}$.

It is well known that the solutions of impulsive problem (1.1) correspond to the critical point of Ï•.

Definition 2.2 [1]

Let X be a Banach space, $\mathrm{Ï•}âˆˆ{C}^{1}\left(X,R\right)$ and $câˆˆR$.

1. (1)

Ï• is said to satisfy the ${\left(PS\right)}_{c}$-condition on X if the existence of a sequence $\left\{{x}_{n}\right\}âŠ†X$ such that $\mathrm{Ï•}\left({x}_{n}\right)â†’c$ and ${\mathrm{Ï•}}^{â€²}\left({x}_{n}\right)â†’0$ as $nâ†’\mathrm{âˆž}$ implies that c is a critical value of Ï•.

2. (2)

Ï• is said to satisfy the $\mathit{P}.\mathit{S}.$ condition on X if any sequence $\left\{{x}_{n}\right\}âŠ†X$ for which $\mathrm{Ï•}\left({x}_{n}\right)$ is bounded and ${\mathrm{Ï•}}^{â€²}\left({x}_{n}\right)â†’0$ as $nâ†’\mathrm{âˆž}$ possesses a convergent subsequence in X.

Remark 2.1 It is clear that the $\mathit{P}.\mathit{S}.$ condition implies the ${\left(PS\right)}_{c}$-condition for each $câˆˆR$.

Lemma 2.1 [1]

If Ï• is weakly lower semi-continuous on a reflexive Banach space X (i.e., if ${u}_{k}â‡€u$, then ${limâ€‰inf}_{kâ†’\mathrm{âˆž}}\mathrm{Ï•}\left({u}_{k}\right)â‰¥\mathrm{Ï•}\left(u\right)$) and has a bounded minimizing sequence, then Ï• has a minimum on X.

Remark 2.2 The existence of a bounded minimizing sequence will be in particular ensured when Ï• is coercive, i.e., such that

Lemma 2.2 [1]

Let X be a Banach space and let $\mathrm{Ï•}âˆˆ{C}^{1}\left(X,R\right)$. Assume that X splits into a direct sum of closed subspaces $X={X}^{âˆ’}âŠ•{X}^{+}$ with $dim{X}^{âˆ’}<\mathrm{âˆž}$ and

$\underset{{S}_{R}^{âˆ’}}{sup}\mathrm{Ï•}<\underset{{X}^{+}}{inf}\mathrm{Ï•},$

where

${S}_{R}^{âˆ’}=\left\{uâˆˆ{X}^{âˆ’}:âˆ¥uâˆ¥=R\right\}.$

Let

${B}_{R}^{âˆ’}=\left\{uâˆˆ{X}^{âˆ’}:âˆ¥uâˆ¥â‰¤R\right\},\phantom{\rule{2em}{0ex}}M=\left\{hâˆˆC\left({B}_{R}^{âˆ’},X\right):h\left(s\right)=s\phantom{\rule{0.1em}{0ex}}\mathit{\text{if}}\phantom{\rule{0.1em}{0ex}}sâˆˆ{B}_{R}^{âˆ’}\right\}$

and

$c=\underset{hâˆˆM}{inf}\underset{sâˆˆ{B}_{R}^{âˆ’}}{max}\mathrm{Ï•}\left(h\left(s\right)\right).$

Then if Ï• satisfies the ${\left(PS\right)}_{c}$-condition, c is a critical value of Ï•.

Lemma 2.3 [1]

If the sequence $\left\{{u}_{k}\right\}$ converges weakly to u in ${H}_{T}^{1}$, then $\left\{{u}_{k}\right\}$ converges uniformly to u on $\left[0,T\right]$.

Lemma 2.4 [1]

If $uâˆˆ{H}_{T}^{1}$ and ${âˆ«}_{0}^{T}u\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=0$, then

${âˆ«}_{0}^{T}{|u\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâ‰¤\frac{{T}^{2}}{4{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\phantom{\rule{1em}{0ex}}\left(\mathit{\text{Wirtingerâ€™s inequality}}\right)$

and

${âˆ¥uâˆ¥}_{\mathrm{âˆž}}^{2}â‰¤\frac{T}{12}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\phantom{\rule{1em}{0ex}}\left(\mathit{\text{Sobolevâ€™s inequality}}\right).$

Lemma 2.5 There exists ${C}_{âˆ—}>0$ such that if $uâˆˆ{H}_{T}^{1}$, then

${âˆ¥uâˆ¥}_{\mathrm{âˆž}}â‰¤{C}_{âˆ—}âˆ¥uâˆ¥.$

Moreover, if ${âˆ«}_{0}^{T}u\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=0$, then

${âˆ¥uâˆ¥}_{\mathrm{âˆž}}â‰¤{C}_{âˆ—}{âˆ¥\stackrel{Ë™}{u}âˆ¥}_{{L}^{2}},$

where ${âˆ¥uâˆ¥}_{\mathrm{âˆž}}={max}_{tâˆˆ\left[0,T\right]}|u\left(t\right)|$ and ${âˆ¥uâˆ¥}_{{L}^{2}}={\left({âˆ«}_{0}^{T}{|u\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}$.

## 3 Proof of main results

For $uâˆˆ{H}_{T}^{1}$, let $\stackrel{Â¯}{u}=\frac{1}{T}{âˆ«}_{0}^{T}u\left(t\right)\phantom{\rule{0.2em}{0ex}}dt$ and $\stackrel{Ëœ}{u}\left(t\right)=u\left(t\right)âˆ’\stackrel{Â¯}{u}$.

Proof of Theorem 1.1 It follows from (H1) and Sobolevâ€™s inequality that

$\begin{array}{r}|{âˆ«}_{0}^{T}\left[H\left(t,u\left(t\right)\right)âˆ’H\left(t,\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt|\\ \phantom{\rule{1em}{0ex}}=|{âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(\mathrm{âˆ‡}H\left(t,\stackrel{Â¯}{u}+s\stackrel{Ëœ}{u}\left(t\right)\right),\stackrel{Ëœ}{u}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt|\\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{T}{âˆ«}_{0}^{1}f\left(t\right){|\stackrel{Â¯}{u}+s\stackrel{Ëœ}{u}\left(t\right)|}^{\mathrm{Î±}}|\stackrel{Ëœ}{u}\left(t\right)|\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}{âˆ«}_{0}^{1}g\left(t\right)|\stackrel{Ëœ}{u}\left(t\right)|\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{T}2f\left(t\right)\left({|\stackrel{Â¯}{u}|}^{\mathrm{Î±}}+{|\stackrel{Ëœ}{u}\left(t\right)|}^{\mathrm{Î±}}\right)|\stackrel{Ëœ}{u}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}g\left(t\right)|\stackrel{Ëœ}{u}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤2\left({|\stackrel{Â¯}{u}|}^{\mathrm{Î±}}+{âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}}\right){âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}g\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤\frac{3\left(4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}\right)}{4{\mathrm{Ï€}}^{2}T}{âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}^{2}+\frac{4{\mathrm{Ï€}}^{2}T}{3\left(4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}\right)}{|\stackrel{Â¯}{u}|}^{2\mathrm{Î±}}{\left({âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}\\ \phantom{\rule{2em}{0ex}}+2{âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}+1}{âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ¥\stackrel{Ëœ}{u}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}g\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤\frac{4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{1}{|\stackrel{Â¯}{u}|}^{2\mathrm{Î±}}+{C}_{2}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ \phantom{\rule{2em}{0ex}}+{C}_{3}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\end{array}$
(3.1)

for all $uâˆˆ{H}_{T}^{1}$ and some positive constants ${C}_{1}$, ${C}_{2}$ and ${C}_{3}$. By (H2) and Wirtingerâ€™s inequality, we have

$\begin{array}{rcl}{âˆ«}_{0}^{T}\left[G\left(u\left(t\right)\right)âˆ’G\left(\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt& =& {âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(\mathrm{âˆ‡}G\left(\stackrel{Â¯}{u}+s\stackrel{Ëœ}{u}\left(t\right)\right)âˆ’\mathrm{âˆ‡}G\left(\stackrel{Â¯}{u}\right),\stackrel{Ëœ}{u}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt\\ =& {âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\frac{1}{s}\left(\mathrm{âˆ‡}G\left(\stackrel{Â¯}{u}+s\stackrel{Ëœ}{u}\left(t\right)\right)âˆ’\mathrm{âˆ‡}G\left(\stackrel{Â¯}{u}\right),s\stackrel{Ëœ}{u}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt\\ â‰¥& {âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(âˆ’\mathrm{Î»}\right)s{|\stackrel{Ëœ}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt\\ =& âˆ’\frac{\mathrm{Î»}}{2}{âˆ«}_{0}^{T}{|\stackrel{Ëœ}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\\ â‰¥& âˆ’\frac{\mathrm{Î»}{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\end{array}$
(3.2)

for all $uâˆˆ{H}_{T}^{1}$.

From (H4), we obtain

${\mathrm{Ï•}}_{2}\left(u\right)â‰¥0$

for all $uâˆˆ{H}_{T}^{1}$. Therefore we have

$\begin{array}{rcl}\mathrm{Ï•}\left(u\right)& =& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[F\left(t,u\left(t\right)\right)âˆ’F\left(t,\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,\stackrel{Â¯}{u}\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)\\ =& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[H\left(t,u\left(t\right)\right)âˆ’H\left(t,\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[G\left(u\left(t\right)\right)âˆ’G\left(\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}F\left(t,\stackrel{Â¯}{u}\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)\\ â‰¥& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[H\left(t,u\left(t\right)\right)âˆ’H\left(t,\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[G\left(u\left(t\right)\right)âˆ’G\left(\stackrel{Â¯}{u}\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}F\left(t,\stackrel{Â¯}{u}\right)\phantom{\rule{0.2em}{0ex}}dt\\ â‰¥& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’\frac{4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{1}{|\stackrel{Â¯}{u}|}^{2\mathrm{Î±}}\\ âˆ’{C}_{2}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}âˆ’{C}_{3}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’\frac{\mathrm{Î»}{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}F\left(t,\stackrel{Â¯}{u}\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& \frac{4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{|\stackrel{Â¯}{u}|}^{2\mathrm{Î±}}\left({|\stackrel{Â¯}{u}|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,\stackrel{Â¯}{u}\right)\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{1}\right)\\ âˆ’{C}_{2}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}âˆ’{C}_{3}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\end{array}$
(3.3)

for all $uâˆˆ{H}_{T}^{1}$. As $âˆ¥uâˆ¥â†’\mathrm{âˆž}$ if and only if ${\left({|\stackrel{Â¯}{u}|}^{2}+{âˆ¥\stackrel{Ë™}{u}\left(t\right)âˆ¥}_{{L}^{2}}^{2}\right)}^{\frac{1}{2}}â†’\mathrm{âˆž}$, (3.3) and (H3) imply that

By Lemma 2.1 and Remark 2.1, Ï• has a minimum point on ${H}_{T}^{1}$, which is a critical point of Ï•. Therefore, we complete the proof of Theorem 1.1.â€ƒâ–¡

Lemma 3.1 Assume that the conditions of Theorem  1.2 hold. Then Ï• satisfies the $\mathit{P}.\mathit{S}.$ condition.

Proof Let $\left\{\mathrm{Ï•}\left({u}_{n}\right)\right\}$ be bounded and ${\mathrm{Ï•}}^{â€²}\left({u}_{n}\right)â†’0$ as $nâ†’\mathrm{âˆž}$. From (H1) and Lemma 2.4, we have

$\begin{array}{r}|{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}H\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt|\\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{T}|\mathrm{âˆ‡}H\left(t,{u}_{n}\left(t\right)\right)||{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{T}f\left(t\right){|{\stackrel{Â¯}{u}}_{n}+\stackrel{Ëœ}{u}\left(t\right)|}^{\mathrm{Î±}}|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}g\left(t\right)|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤2\left({|{\stackrel{Â¯}{u}}_{n}|}^{\mathrm{Î±}}+{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}}\right){âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}g\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤\frac{3\left(4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}\right)}{2{\mathrm{Ï€}}^{2}T}{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{2}+\frac{2{\mathrm{Ï€}}^{2}T}{3\left(4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}\right)}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}{\left({âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}\\ \phantom{\rule{2em}{0ex}}+2{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}+1}{âˆ«}_{0}^{T}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}{âˆ«}_{0}^{T}g\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}â‰¤\frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{4}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}\\ \phantom{\rule{2em}{0ex}}+{C}_{5}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}+{C}_{6}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\end{array}$
(3.4)

for all large n and some positive constants ${C}_{4}$, ${C}_{5}$ and ${C}_{6}$. It follows from (H5) and Lemma 2.4 that

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt|& =& |{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right)âˆ’\mathrm{âˆ‡}G\left({\stackrel{Â¯}{u}}_{n}\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt|\\ â‰¤& {âˆ«}_{0}^{T}|\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right)âˆ’\mathrm{âˆ‡}G\left({\stackrel{Â¯}{u}}_{n}\right)||{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& {âˆ«}_{0}^{T}\left(A|{u}_{n}\left(t\right)âˆ’{\stackrel{Â¯}{u}}_{n}|+B\right)|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ =& A{âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+B{âˆ«}_{0}^{T}|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& A{âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+B\sqrt{T}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ â‰¤& \frac{A{T}^{2}}{4{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}.\end{array}$
(3.5)

By (3.4), (3.5), (H8) and Youngâ€™s inequality, we have

$\begin{array}{rcl}âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥& â‰¥& ã€ˆ{\mathrm{Ï•}}^{â€²}\left({u}_{n}\right),{\stackrel{Ëœ}{u}}_{n}ã€‰\\ =& {âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}F\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}_{n}^{i}\left(t\right)\right){\stackrel{Ëœ}{u}}_{n}^{i}\left(t\right)\\ =& {âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}H\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\\ +\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}_{n}^{i}\left(t\right)\right){\stackrel{Ëœ}{u}}_{n}^{i}\left(t\right)\\ â‰¥& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{4}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’{C}_{5}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’\left({C}_{6}+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}\right){\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}\left({a}_{ij}+{b}_{ij}{|{u}_{n}^{i}\left(t\right)|}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}}\right)|{\stackrel{Ëœ}{u}}_{n}^{i}\left(t\right)|\\ â‰¥& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{4}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’{C}_{5}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’\left({C}_{6}+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}\right){\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’apN{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}\\ âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}2\left({|{\stackrel{Â¯}{u}}_{n}|}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}}+{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}}\right){âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}\\ â‰¥& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{4}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’{C}_{5}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’\left({C}_{6}+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}\right){\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’apN\sqrt{\frac{T}{12}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\mathrm{Î²}}_{ij}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’2b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}\frac{2âˆ’{\mathrm{Î²}}_{ij}}{2}{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{\frac{2}{2âˆ’{\mathrm{Î²}}_{ij}}}\\ âˆ’2b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}\\ â‰¥& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{4}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’{C}_{5}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’\left({C}_{6}+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}\right){\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’apN\sqrt{\frac{T}{12}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\mathrm{Î²}}_{ij}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}\left(2âˆ’{\mathrm{Î²}}_{ij}\right){\left(\frac{T}{12}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2âˆ’{\mathrm{Î²}}_{ij}}}\\ âˆ’2b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\left(\frac{T}{12}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}{2}},\end{array}$
(3.6)

where $a=max\left\{{a}_{ij},i=1,2,â€¦,N;j=1,2,â€¦,p\right\}$, $b=max\left\{{b}_{ij},i=1,2,â€¦,N;j=1,2,â€¦,p\right\}$. From Wirtingerâ€™s inequality, we obtain

${âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâ‰¤{âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥}^{2}â‰¤\left(1+\frac{{T}^{2}}{4{\mathrm{Ï€}}^{2}}\right){âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt.$
(3.7)

The inequalities (3.6) and (3.7) imply that

${C}_{7}{|{\stackrel{Â¯}{u}}_{n}|}^{\mathrm{Î±}}â‰¥{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’{C}_{8}$
(3.8)

for all large n and some positive constants ${C}_{7}$ and ${C}_{8}$. It follows from (H5), Cauchy-Schwarzâ€™s inequality and Wirtingerâ€™s inequality that

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left[G\left({u}_{n}\left(t\right)\right)âˆ’G\left({\stackrel{Â¯}{u}}_{n}\right)\right]\phantom{\rule{0.2em}{0ex}}dt|& =& |{âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(\mathrm{âˆ‡}G\left({\stackrel{Â¯}{u}}_{n}+s{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)âˆ’\mathrm{âˆ‡}G\left({\stackrel{Â¯}{u}}_{n}\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt|\\ â‰¤& {âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(As|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|+B\right)|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt\\ =& \frac{A}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+B{âˆ«}_{0}^{T}|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& \frac{A}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+B\sqrt{T}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ëœ}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ â‰¤& \frac{A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}.\end{array}$
(3.9)

Like in the proof of Theorem 1.1, we get

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left[H\left(t,{u}_{n}\left(t\right)\right)âˆ’H\left(t,{\stackrel{Â¯}{u}}_{n}\right)\right]\phantom{\rule{0.2em}{0ex}}dt|& â‰¤& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{1}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}\\ +{C}_{2}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ +{C}_{3}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}.\end{array}$
(3.10)

From (H7), we have

${\mathrm{Ï•}}_{2}\left(u\right)â‰¤0$

for all $uâˆˆ{H}_{T}^{1}$. Since $\left\{\mathrm{Ï•}\left({u}_{n}\right)\right\}$ is bounded, from (3.9) and (3.10), there exists a constant C such that

$\begin{array}{rcl}C& â‰¤& \mathrm{Ï•}\left({u}_{n}\right)\\ =& \frac{1}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[F\left(t,{u}_{n}\left(t\right)\right)âˆ’F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left({u}_{n}\right)\\ â‰¤& \frac{1}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[H\left(t,{u}_{n}\left(t\right)\right)âˆ’H\left(t,{\stackrel{Â¯}{u}}_{n}\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}\left[G\left({u}_{n}\left(t\right)\right)âˆ’G\left({\stackrel{Â¯}{u}}_{n}\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& \frac{12{\mathrm{Ï€}}^{2}+A{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{1}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}+{C}_{2}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ +{C}_{3}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}{\left({|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}+{âˆ«}_{0}^{T}F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& {|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}\left({|{\stackrel{Â¯}{u}}_{n}|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dt+{C}_{0}\right)\end{array}$
(3.11)

for all large n and some constant ${C}_{0}$. By the above inequality and (H6), we know that $\left\{|{\stackrel{Â¯}{u}}_{n}|\right\}$ is bounded. In fact, if not, without loss of generality, we may assume that $|{\stackrel{Â¯}{u}}_{n}|â†’\mathrm{âˆž}$ as $nâ†’\mathrm{âˆž}$. Then, from (3.8) and the above inequality, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}inf{|{\stackrel{Â¯}{u}}_{n}|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,{\stackrel{Â¯}{u}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dt>âˆ’\mathrm{âˆž},$

which contradicts (H6). Hence $\left\{|{\stackrel{Â¯}{u}}_{n}|\right\}$ is bounded. Furthermore, $\left\{{u}_{n}\right\}$ is bounded from (3.7) and (3.8). Hence, there exists a subsequence of ${u}_{n}$ defined by ${u}_{n}^{âˆ—}$ such that

By Lemma 2.3, we have

On the other hand, we get

$\begin{array}{rcl}ã€ˆ{\mathrm{Ï•}}^{â€²}\left({u}_{n}^{âˆ—}\right)âˆ’{\mathrm{Ï•}}^{â€²}\left(u\right),{u}_{n}^{âˆ—}âˆ’uã€‰& =& {âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}^{âˆ—}\left(t\right)âˆ’\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}F\left(t,{u}_{n}^{âˆ—}\left(t\right)\right)âˆ’\mathrm{âˆ‡}F\left(t,u\left(t\right)\right),{u}_{n}^{âˆ—}\left(t\right)âˆ’u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\\ +\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}\left[{I}_{ij}\left({u}_{n}^{âˆ—i}\left({t}_{j}\right)\right)âˆ’{I}_{ij}\left({u}^{i}\left({t}_{j}\right)\right)\right]\left({u}_{n}^{âˆ—i}\left({t}_{j}\right)âˆ’{u}^{i}\left({t}_{j}\right)\right).\end{array}$
(3.12)

It follows from the above equality, (A) and the continuity of ${I}_{ij}$ that

Thus, we conclude that Ï• satisfies the $\mathit{P}.\mathit{S}.$ condition.â€ƒâ–¡

Now, we give the proof of our Theorem 1.2.

Proof of Theorem 1.2 Let W be the subspace of ${H}_{T}^{1}$ given by

$W=\left\{uâˆˆ{H}_{T}^{1}|\stackrel{Â¯}{u}=0\right\}.$

Then ${H}_{T}^{1}=WâŠ•{R}^{N}$. Firstly, we show that

(3.13)

In fact, for $uâˆˆW$, then $\stackrel{Â¯}{u}=0$, by the proof of Theorem 1.1, we have

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left[H\left(t,u\left(t\right)\right)âˆ’H\left(t,0\right)\right]\phantom{\rule{0.2em}{0ex}}dt|& â‰¤& \frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{2}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ +{C}_{3}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}.\end{array}$
(3.14)

Like in the proof of Lemma 3.1, we obtain

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left[G\left(u\left(t\right)\right)âˆ’G\left(0\right)\right]\phantom{\rule{0.2em}{0ex}}dt|& =& |{âˆ«}_{0}^{T}{âˆ«}_{0}^{1}\left(\mathrm{âˆ‡}G\left(su\right)âˆ’\mathrm{âˆ‡}G\left(0\right),u\right)\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}dt|\\ â‰¤& \frac{A}{2}{âˆ«}_{0}^{T}{|u\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+B{âˆ«}_{0}^{T}|u\left(t\right)|\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& \frac{A{T}^{2}}{8{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+\frac{BT\sqrt{T}}{2\mathrm{Ï€}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}.\end{array}$
(3.15)

By (H8) and Lemma 2.5, we find

$\begin{array}{rcl}|{\mathrm{Ï•}}_{2}\left(u\right)|& =& |\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ«}_{0}^{{u}^{i}\left({t}_{j}\right)}{I}_{ij}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt|\\ â‰¤& \underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ«}_{0}^{{u}^{i}\left({t}_{j}\right)}\left({a}_{ij}+{b}_{ij}{|t|}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}}\right)\phantom{\rule{0.2em}{0ex}}dt\\ â‰¤& apN{âˆ¥uâˆ¥}_{\mathrm{âˆž}}+b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{âˆ¥uâˆ¥}_{\mathrm{âˆž}}^{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}\\ â‰¤& apN{C}_{âˆ—}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}+b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\left({C}_{âˆ—}^{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}{2}}\end{array}$
(3.16)

for all $uâˆˆW$. By (3.14), (3.15) and (3.16), we have

$\begin{array}{rcl}\mathrm{Ï•}\left(u\right)& =& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[F\left(t,u\left(t\right)\right)âˆ’F\left(t,0\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,0\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)\\ =& \frac{1}{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[H\left(t,u\left(t\right)\right)âˆ’H\left(t,0\right)\right]\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left[G\left(u\left(t\right)\right)âˆ’G\left(0\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}F\left(t,0\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)\\ â‰¥& \left(\frac{4{\mathrm{Ï€}}^{2}âˆ’A{T}^{2}}{16{\mathrm{Ï€}}^{2}}\right){âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{2}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’{C}_{3}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’\frac{BT\sqrt{T}}{2\mathrm{Ï€}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ âˆ’apN{C}_{âˆ—}{\left({âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\left({C}_{âˆ—}^{2}{âˆ«}_{0}^{T}{|\stackrel{Ë™}{u}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}{2}}\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}F\left(t,0\right)\phantom{\rule{0.2em}{0ex}}dt\end{array}$
(3.17)

for all $uâˆˆW$.

By Lemma 2.4, we have $âˆ¥uâˆ¥â†’\mathrm{âˆž}â‡”{âˆ¥\stackrel{Ë™}{u}âˆ¥}_{{L}^{2}}â†’\mathrm{âˆž}$ on W. Hence (3.13) follows from (3.17).

On the other hand, by (H7), we get

${\mathrm{Ï•}}_{2}\left(u\right)â‰¤0$
(3.18)

for all $uâˆˆ{H}_{T}^{1}$. Therefore, from (3.18) and (H6), we obtain

$\mathrm{Ï•}\left(u\right)={âˆ«}_{0}^{T}F\left(t,u\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)â‰¤{|u|}^{2\mathrm{Î±}}\left({|u|}^{âˆ’2\mathrm{Î±}}{âˆ«}_{0}^{T}F\left(t,u\right)\phantom{\rule{0.2em}{0ex}}dt\right)â†’âˆ’\mathrm{âˆž}$

as $|u|â†’\mathrm{âˆž}$ in ${R}^{N}$. It follows from Lemma 2.2 and Lemma 3.1 that problem (1.1) has at least one weak solution.â€ƒâ–¡

Proof of Theorem 1.3 First we prove that Ï• satisfies the $\mathit{P}.\mathit{S}.$ condition. Suppose that ${U}_{n}$ is a $\mathit{P}.\mathit{S}.$ sequence for Ï•, that is, ${\mathrm{Ï•}}^{â€²}\left({u}_{n}\right)â†’0$ as $nâ†’\mathrm{âˆž}$ and $\mathrm{Ï•}\left({u}_{n}\right)$ is bounded. In a way similar to the proof of Theorem 1.1, we have

$\begin{array}{rcl}|{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}H\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{n}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt|& â‰¤& \frac{4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{C}_{1}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}\\ +{C}_{2}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}+{C}_{3}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\end{array}$

and

${âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dtâ‰¥âˆ’\frac{\mathrm{Î»}{T}^{2}}{4{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt$

for all $uâˆˆ{H}_{T}^{1}$. Hence we have

$\begin{array}{rcl}âˆ¥{\stackrel{Ëœ}{u}}_{n}âˆ¥& â‰¥& ã€ˆ{\mathrm{Ï•}}^{â€²}\left({u}_{n}\right),{\stackrel{Ëœ}{u}}_{n}ã€‰\\ =& {âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}F\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}_{n}^{i}\left(t\right)\right){\stackrel{Ëœ}{u}}_{n}^{i}\left(t\right)\\ =& {âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}H\left(t,{u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\\ +{âˆ«}_{0}^{T}\left(\mathrm{âˆ‡}G\left({u}_{n}\left(t\right)\right),{\stackrel{Ëœ}{u}}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{I}_{ij}\left({u}_{n}^{i}\left(t\right)\right){\stackrel{Ëœ}{u}}_{n}^{i}\left(t\right)\\ â‰¥& \frac{3\left(4{\mathrm{Ï€}}^{2}âˆ’\mathrm{Î»}{T}^{2}\right)}{16{\mathrm{Ï€}}^{2}}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dtâˆ’{C}_{1}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’{C}_{2}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}+1}{2}}\\ âˆ’{C}_{3}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’apN\sqrt{\frac{T}{12}}{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}\\ âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\mathrm{Î²}}_{ij}{|{\stackrel{Â¯}{u}}_{n}|}^{2\mathrm{Î±}}âˆ’b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}\left(2âˆ’{\mathrm{Î²}}_{ij}\right){\left(\frac{T}{12}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2âˆ’{\mathrm{Î²}}_{ij}}}\\ âˆ’2b\underset{j=1}{\overset{p}{âˆ‘}}\underset{i=1}{\overset{N}{âˆ‘}}{\left(\frac{T}{12}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{\mathrm{Î±}{\mathrm{Î²}}_{ij}+1}{2}}.\end{array}$

From (3.7) and the above inequalities, we obtain

${C}_{9}{|{\stackrel{Â¯}{u}}_{n}|}^{\mathrm{Î±}}â‰¥{\left({âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}}âˆ’{C}_{10}$
(3.19)

for some positive constants ${C}_{9}$ and ${C}_{10}$.

By (H9) there exists $M>0$ such that

${|x|}^{âˆ’2\mathrm{Î±}}F\left(t,x\right)â‰¤0$

for all $|x|â‰¥M$ and $tâˆˆ\left[0,T\right]$, which implies that

$F\left(t,x\right)â‰¤0$

for all $|x|â‰¥M$ and $tâˆˆ\left[0,T\right]$. It follows from assumption (A) that

$F\left(t,x\right)â‰¤{a}_{0}b\left(t\right)$

for all $|x|â‰¤M$ and $tâˆˆ\left[0,T\right]$, where ${a}_{0}={max}_{0â‰¤sâ‰¤M}a\left(s\right)$.

Let$\mathrm{Î³}\left(t\right)={a}_{0}b\left(t\right)âˆˆ{L}^{1}\left(0,T\right)$, then

$F\left(t,x\right)â‰¤\mathrm{Î³}\left(t\right)$

for all $xâˆˆ{R}^{N}$ and $tâˆˆ\left[0,T\right]$.

By the boundedness of $\mathrm{Ï•}\left({u}_{n}\right)$, (H7) and (3.19), there exists a constant ${C}_{11}$ such that

$\begin{array}{rcl}{C}_{11}â‰¤\mathrm{Ï•}\left({u}_{n}\right)& =& \frac{1}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,{u}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+{\mathrm{Ï•}}_{2}\left(u\right)\\ â‰¤& \frac{1}{2}{âˆ«}_{0}^{T}{|{\stackrel{Ë™}{u}}_{n}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt+{âˆ«}_{0}^{T}F\left(t,{u}_{n}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dtâ‰¤{\left({C}_{9}{|{\stackrel{Â¯}{u}}_{n}|}^{\mathrm{Î±}}+{C}_{10}\right)}^{2}+{âˆ«}_{0}^{T}\mathrm{Î³}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\end{array}$

which implies that $|{\stackrel{Â¯}{u}}_{n}|$ is bounded. Like in the proof of Lemma 3.1, we know that Ï• satisfies the $\mathit{P}.\mathit{S}.$ condition.

Furthermore, we can prove Theorem 1.3 using the same way as in the proof of Theorem 1.2. Here, we omit it.â€ƒâ–¡

## References

1. Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, New York; 1989.

2. Tang CL: Periodic solutions of nonautonomous second order systems with sublinear nonlinearity. Proc. Am. Math. Soc. 1998, 126: 3263â€“3270.

3. Ma J, Tang CL: Periodic solutions for some nonautonomous second-order systems. J. Math. Anal. Appl. 2002, 275: 482â€“494.

4. Jiang Q, Tang CL: Periodic and subharmonic solutions of a class of subquadratic second-order Hamiltonian systems. J. Math. Anal. Appl. 2007, 328: 380â€“389.

5. Luan SX, Mao AM: Periodic solutions of nonautonomous second order Hamiltonian systems. Acta Math. Sin. Engl. Ser. 2005, 21: 685â€“690.

6. Schechter M: Periodic non-autonomous second-order dynamical systems. J. Differ. Equ. 2006, 223: 290â€“302.

7. Tang CL: Periodic solutions of nonautonomous second order systems with Î³ -quasisubadditive potential. J. Math. Anal. Appl. 1995, 189: 671â€“675.

8. Tang CL, Wu XP: Periodic solutions for second order Hamiltonian systems with a change sign potential. J. Math. Anal. Appl. 2004, 292: 506â€“516.

9. Tao ZL, Tang CL: Periodic and subharmonic solutions of second-order Hamiltonian systems. J. Math. Anal. Appl. 2004, 293: 435â€“445.

10. Tao ZL, Yan SA, Wu SL: Periodic solutions for a class of superquadratic Hamiltonian systems. J. Math. Anal. Appl. 2007, 331: 152â€“158.

11. Ye YW, Tang CL: Periodic solutions for some nonautonomous second order Hamiltonian systems. J. Math. Anal. Appl. 2008, 344: 462â€“471.

12. Yang RG: Periodic solutions of some nonautonomous second order Hamiltonian systems. Nonlinear Anal. 2008, 69: 2333â€“2338.

13. Tang XH, Meng Q: Solutions of a second-order Hamiltonian system with periodic boundary conditions. Nonlinear Anal., Real World Appl. 2010, 11: 3722â€“3733.

14. Zhou JW, Li YK: Existence of solutions for a class of second-order Hamiltonian systems with impulsive effects. Nonlinear Anal. 2010, 72: 1594â€“1603.

15. Nieto JJ, Oâ€™Regan D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 680â€“690.

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

## Acknowledgements

We express our gratitude to the referees for their valuable criticism of the manuscript and for helpful suggestions. Supported by the National Natural Science Foundation of China (11271371, 10971229).

## Author information

Authors

### Corresponding author

Correspondence to Binxiang Dai.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Dai, B., Guo, J. Solvability of a second-order Hamiltonian system with impulsive effects. Bound Value Probl 2013, 151 (2013). https://doi.org/10.1186/1687-2770-2013-151