Theory and Modern Applications

# Variational approach to a class of p-Laplacian systems on time scales

## Abstract

In this paper, we present a recent approach via variational methods and critical point theory to obtain the existence of nontrivial periodic solutions for a class of p-Laplacian systems on time scales. By establishing a proper variational setting, three existence results are obtained. Finally, two examples are presented to illustrate the feasibility and effectiveness of our results.

MSC:34N05, 37J45, 34C25.

## 1 Introduction

Consider the p-Laplacian system on the time scale $\mathcal{T}$

(1.1)

where $p>1$, ${u}^{\mathrm{\Delta }}\left(t\right)$ denotes the delta (or Hilger) derivative of u at t, ${u}^{{\mathrm{\Delta }}^{2}}\left(t\right)={\left({u}^{\mathrm{\Delta }}\right)}^{\mathrm{\Delta }}\left(t\right)$, σ is the forward jump operator, T is a positive constant, $\mathcal{T}$ is T-periodic and 0, $T\in \mathbb{T}$, $F:\mathbb{T}×{\mathbb{R}}^{N}\to \mathbb{R}$ satisfies the following assumption:

1. (A)

$F\left(t,x\right)$ is Δ-measurable and T-periodic in t for every $x\in {\mathbb{R}}^{N}$ and continuously differentiable in x for $t\in {\left[0,T\right]}_{\mathbb{T}}$, and there exist $a\in C\left({\mathbb{R}}^{+},{\mathbb{R}}^{+}\right)$, ${b}^{\sigma }\in {L}_{\mathrm{\Delta }}^{1}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{+}\right)$ such that

$|F\left(t,x\right)|\le a\left(|x|\right)b\left(t\right),\phantom{\rule{2em}{0ex}}|\mathrm{\nabla }F\left(t,x\right)|\le a\left(|x|\right)b\left(t\right)$

for all $x\in {\mathbb{R}}^{N}$ and $t\in {\left[0,T\right]}_{\mathbb{T}}$, where $\mathrm{\nabla }F\left(t,x\right)$ denotes the gradient of $F\left(t,x\right)$ in x.

Problem (1.1) covers the p-Laplacian system (for when $\mathbb{T}=\mathbb{R}$)

(1.2)

the second-order Hamiltonian system on time scale $\mathcal{T}$ (for when $p=2$)

(1.3)

and the second-order Hamiltonian system (for when $p=2$, $\mathbb{T}=\mathbb{R}$)

$\stackrel{¨}{u}\left(t\right)=\mathrm{\nabla }F\left(t,u\left(t\right)\right),\phantom{\rule{1em}{0ex}}t\in \mathbb{R}$
(1.4)

as well as the second-order discrete Hamiltonian system (for when $p=2$, $\mathbb{T}=\mathbb{Z}$, $T\ge 2$)

${\mathrm{\Delta }}^{2}u\left(t\right)=\mathrm{\nabla }F\left(t+1,u\left(t+1\right)\right),\phantom{\rule{1em}{0ex}}t\in \mathbb{Z}.$
(1.5)

In recent years, many authors have been devoted to the investigation concerning the existence of periodic solutions of (1.2) by using critical point theory (see [1, 2]). In , the authors studied Sobolev’s spaces on time scales and their properties. As applications, they presented a recent approach via variational methods and the critical point theory to obtain the existence of solutions of (1.3). System (1.4) has also been investigated by several authors using various techniques and different conditions on the nonlinearities, such as the bounded or convex potential conditions (see ), the coercive type potential condition (see ), the even type potential condition (see ), the subquadratic potential condition in the Rabinowitz sense (see ) and the sublinear nonlinearity condition (see ). Moreover, many authors have paid much attention to study the periodic solutions of (1.5) (see [9, 10]). But, to the best of our knowledge, the existence of solutions for problems (1.1) have not been studied yet.

The study of dynamical systems on time scales is now an active area of research. One of the reasons for this is the fact that the study on time scales unifies the study of both discrete and continuous processes, besides many others. The pioneering works in this direction are Refs. . The theory of time scales was initiated by Hilger in his Ph.D. thesis in 1988, providing a rich theory that unifies and extends discrete and continuous analysis [15, 16]. A time scale $\mathcal{T}$ is an arbitrary nonempty closed subset of the real numbers, which has the topology inherited from the real numbers with the standard topology. The two most popular examples are $\mathbb{T}=\mathbb{R}$ and $\mathbb{T}=\mathbb{Z}$. The time scales calculus has a tremendous potential for applications in some mathematical models of real processes and phenomena studied in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, social sciences (see ). For example, it can model insect populations that are continuous while in season (and may follow a difference scheme with variable step-size), die out in winter, while their eggs are incubating or dormant, and then hatch in a new season, giving rise to a nonoverlapping population.

In recent years, dynamic equations on time scales have generated a considerable amount of interest and attracted many researchers (see ). There have been many approaches to study the existence and multiplicity of solutions for dynamic equations on time scales, such as the method of lower and upper solutions, fixed-point theory, coincidence degree theory and so on. In , authors used the fixed point theorem of strict-set-contraction to study the existence of positive periodic solutions for functional dynamic equations with impulse effects on time scales. However, the study of the existence and multiplicity of solutions for dynamic equations on time scales using variational method has received considerably less attention (see, for example, [3, 20, 24]). Also, as is well known, it is very difficult to use Hilger’s integral to deal with the existence of solutions to a dynamic equation on time scales since it is only concerned with antiderivatives. Therefore, it is still worth making an attempt to extend variational methods to study of periodic solutions for various Hamiltonian systems because there are tremendous applications on periodic solutions to discrete or continuous Hamiltonian systems theoretically and practically .

Our purpose of this paper is to study the variational structure of problem (1.1) in an appropriate space of functions and the existence of periodic solutions for problem (1.1) by some critical point theorems.

## 2 Preliminaries and statements

In this section, we present some fundamental definitions and results from the calculus on time scales and Sobolev’s spaces on time scales that will be required below. We first briefly recall some basic definitions and results concerning time scales.

Definition 2.1 ([, Definition 1.1])

Let $\mathcal{T}$ be a time scale, for $t\in \mathbb{T}$, the forward jump operator $\sigma :\mathbb{T}\to \mathbb{T}$ is defined by

while the backward jump operator $\rho :\mathbb{T}\to \mathbb{T}$ is defined by

(supplemented by $inf\mathrm{\varnothing }=sup\mathbb{T}$ and $sup\mathrm{\varnothing }=inf\mathbb{T}$, where denotes the empty set). A point $t\in \mathbb{T}$ is called right-scattered, left-scattered if $\sigma \left(t\right)>t$, $\rho \left(t\right) hold, respectively. Points that are right-scattered and left-scattered at the same time are called isolated. Also, if $t and $\sigma \left(t\right)=t$, then t is called right-dense, and if $t>inf\mathbb{T}$ and $\rho \left(t\right)=t$, then t is called left-dense. Points that are right-dense and left-dense at the same time are called dense. The set ${\mathbb{T}}^{\kappa }$ is derived from the time scale $\mathcal{T}$ as follows: If $\mathcal{T}$ has a left-scattered maximum m, then ${\mathbb{T}}^{\kappa }=\mathbb{T}-\left\{m\right\}$; otherwise, ${\mathbb{T}}^{\kappa }=\mathbb{T}$.

When $a,b\in \mathbb{T}$, $a, we denote the intervals ${\left[a,b\right]}_{\mathbb{T}}$, ${\left[a,b\right)}_{\mathbb{T}}$ and ${\left(a,b\right]}_{\mathbb{T}}$ in $\mathcal{T}$ by

${\left[a,b\right]}_{\mathbb{T}}=\left[a,b\right]\cap \mathbb{T},\phantom{\rule{2em}{0ex}}{\left[a,b\right)}_{\mathbb{T}}=\left[a,b\right)\cap \mathbb{T},\phantom{\rule{2em}{0ex}}{\left(a,b\right]}_{\mathbb{T}}=\left(a,b\right]\cap \mathbb{T},$

respectively. Note that ${}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa }={\left[a,b\right]}_{\mathbb{T}}$ if b is left-dense and ${}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa }={\left[a,b\right)}_{\mathbb{T}}={\left[a,\rho \left(b\right)\right]}_{\mathbb{T}}$ if b is left-scattered. We define ${}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa ^{2}}={\left({}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa }\right)}^{\kappa }$, therefore ${}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa ^{2}}={\left[a,b\right]}_{\mathbb{T}}$ if b is left-dense and ${}_{\left[a,b\right]}^{{}_{\mathbb{T}}\kappa ^{2}}={\left[a,\rho \left(b\right)\right]}_{\mathbb{T}}^{\kappa }$ if b is left-scattered.

Definition 2.2 ([, Definition 1.10])

Assume that $f:\mathbb{T}\to \mathbb{R}$ is a function, and let $t\in {\mathbb{T}}^{\kappa }$. Then we define ${f}^{\mathrm{\Delta }}\left(t\right)$ to be the number (provided it exists) with the property that given any $ϵ>0$, there is a neighborhood U of t (i.e., $U=\left(t-\delta ,t+\delta \right)\cap \mathbb{T}$ for some $\delta >0$) such that

We call ${f}^{\mathrm{\Delta }}\left(t\right)$ the delta (or Hilger) derivative of f at t. The function f is delta (or Hilger) differentiable on ${\mathbb{T}}^{\kappa }$ provided ${f}^{\mathrm{\Delta }}\left(t\right)$ exists for all $t\in {\mathbb{T}}^{\kappa }$. The function ${f}^{\mathrm{\Delta }}:{\mathbb{T}}^{\kappa }\to \mathbb{R}$ is then called the delta derivative of f on ${\mathbb{T}}^{\kappa }$.

Definition 2.3 ([, Definition 2.3])

Assume that $f:\mathbb{T}\to {\mathbb{R}}^{N}$ is a function $f\left(t\right)=\left({f}^{1}\left(t\right),{f}^{2}\left(t\right),\dots ,{f}^{N}\left(t\right)\right)$, and let $t\in {\mathbb{T}}^{\kappa }$. Then we define ${f}^{\mathrm{\Delta }}\left(t\right)=\left({f}^{{1}^{\mathrm{\Delta }}}\left(t\right),{f}^{{2}^{\mathrm{\Delta }}}\left(t\right),\dots ,{f}^{{N}^{\mathrm{\Delta }}}\left(t\right)\right)$ (provided it exists). We call ${f}^{\mathrm{\Delta }}\left(t\right)$ the delta (or Hilger) derivative of f at t. The function f is delta (or Hilger) differentiable provided ${f}^{\mathrm{\Delta }}\left(t\right)$ exists for all $t\in {\mathbb{T}}^{\kappa }$. The function ${f}^{\mathrm{\Delta }}:{\mathbb{T}}^{\kappa }\to {\mathbb{R}}^{N}$ is then called the delta derivative of f on ${\mathbb{T}}^{\kappa }$.

Definition 2.4 ([, Definition 2.7])

For a function $f:\mathbb{T}\to \mathbb{R}$, we shall talk about the second derivative ${f}^{{\mathrm{\Delta }}^{2}}$ provided ${f}^{\mathrm{\Delta }}$ is differentiable on ${\mathbb{T}}^{{\kappa }^{2}}={\left({\mathbb{T}}^{\kappa }\right)}^{\kappa }$ with the derivative ${f}^{{\mathrm{\Delta }}^{2}}={\left({f}^{\mathrm{\Delta }}\right)}^{\mathrm{\Delta }}:{\mathbb{T}}^{{\kappa }^{2}}\to \mathbb{R}$.

Definition 2.5 ([, Definition 2.5])

For a function $f:\mathbb{T}\to {\mathbb{R}}^{N}$, we shall talk about the second derivative ${f}^{{\mathrm{\Delta }}^{2}}$ provided ${f}^{\mathrm{\Delta }}$ is differentiable on ${\mathbb{T}}^{{\kappa }^{2}}={\left({\mathbb{T}}^{\kappa }\right)}^{\kappa }$ with the derivative ${f}^{{\mathrm{\Delta }}^{2}}={\left({f}^{\mathrm{\Delta }}\right)}^{\mathrm{\Delta }}:{\mathbb{T}}^{{\kappa }^{2}}\to {\mathbb{R}}^{N}$.

The Δ-measure ${\mu }_{\mathrm{\Delta }}$ and Δ-integration are defined as those in .

Definition 2.6 ([, Definition 2.7])

Assume that $f:\mathbb{T}\to {\mathbb{R}}^{N}$ is a function, $f\left(t\right)=\left({f}^{1}\left(t\right),{f}^{2}\left(t\right),\dots ,{f}^{N}\left(t\right)\right)$, and let A be a Δ-measurable subset of $\mathcal{T}$. f is integrable on A if and only if ${f}^{i}$ ($i=1,2,\dots ,N$) are integrable on A, and ${\int }_{A}f\left(t\right)\mathrm{\Delta }t=\left({\int }_{A}{f}^{1}\left(t\right)\mathrm{\Delta }t,{\int }_{A}{f}^{2}\left(t\right)\mathrm{\Delta }t,\dots ,{\int }_{A}{f}^{N}\left(t\right)\mathrm{\Delta }t\right)$.

Definition 2.7 ([, Definition 2.3])

Let $B\subset \mathbb{T}$. B is called a Δ-null set if ${\mu }_{\mathrm{\Delta }}\left(B\right)=0$. Say that a property P holds Δ-almost everywhere (Δ-a.e.) on B, or for Δ-almost all (Δ-a.a.) $t\in B$ if there is a Δ-null set ${E}_{0}\subset B$ such that P holds for all $t\in B\mathrm{\setminus }{E}_{0}$.

For $p\in \mathbb{R}$, $p\ge 1$, we set the space

${L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)=\left\{u:{\left[0,T\right)}_{\mathbb{T}}\to {\mathbb{R}}^{N}:{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|f\left(t\right)|}^{p}\mathrm{\Delta }t<+\mathrm{\infty }\right\}$

with the norm

${\parallel f\parallel }_{{L}_{\mathrm{\Delta }}^{p}}={\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|f\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}.$

We have the following theorem.

Theorem 2.1 ([, Theorem 2.1])

Let $p\in \mathbb{R}$ be such that $p\ge 1$. Then the space ${L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a Banach space together with the norm ${\parallel \cdot \parallel }_{{L}_{\mathrm{\Delta }}^{p}}$. Moreover, ${L}_{\mathrm{\Delta }}^{2}\left({\left[a,b\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a Hilbert space together with the inner product given for every $\left(f,g\right)\in {L}_{\mathrm{\Delta }}^{p}\left({\left[a,b\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)×{L}_{\mathrm{\Delta }}^{p}\left({\left[a,b\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ by

${〈f,g〉}_{{L}_{\mathrm{\Delta }}^{2}}={\int }_{{\left[a,b\right)}_{\mathbb{T}}}\left(f\left(t\right),g\left(t\right)\right)\mathrm{\Delta }t,$

where $\left(\cdot ,\cdot \right)$ denotes the inner product in ${\mathbb{R}}^{N}$.

Definition 2.8 ([, Definition 2.11])

A function $f:{\left[a,b\right]}_{\mathbb{T}}\to {\mathbb{R}}^{N}$, $f\left(t\right)=\left({f}^{1}\left(t\right),{f}^{2}\left(t\right),\dots ,{f}^{N}\left(t\right)\right)$. We say that f is absolutely continuous on ${\left[a,b\right]}_{\mathbb{T}}$ (i.e., $f\in AC\left({\left[a,b\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$) if for every $ϵ>0$, there exists $\delta >0$ such that if ${\left\{{\left[{a}_{k},{b}_{k}\right)}_{\mathbb{T}}\right\}}_{k=1}^{n}$ is a finite pairwise disjoint family of subintervals of ${\left[a,b\right]}_{\mathbb{T}}$ satisfying ${\sum }_{k=1}^{n}\left({b}_{k}-{a}_{k}\right)<\delta$, then ${\sum }_{k=1}^{n}|f\left({b}_{k}\right)-f\left({a}_{k}\right)|<ϵ$.

Now, we recall the Sobolev space ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ on ${\left[0,T\right]}_{\mathbb{T}}$ defined in . For the sake of convenience, in the sequel, we let ${u}^{\sigma }\left(t\right)=u\left(\sigma \left(t\right)\right)$.

Definition 2.9 ([, Definition 2.12])

Let $p\in \mathbb{R}$ be such that $p>1$ and $u:{\left[0,T\right]}_{\mathbb{T}}\to {\mathbb{R}}^{N}$. We say that $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ if and only if $u\in {L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ and there exists $g:{\left[0,T\right]}_{\mathbb{T}}^{\kappa }\to {\mathbb{R}}^{N}$ such that $g\in {L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ and

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(u\left(t\right),{\varphi }^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t=-{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(g\left(t\right),{\varphi }^{\sigma }\left(t\right)\right)\mathrm{\Delta }t,\phantom{\rule{1em}{0ex}}\mathrm{\forall }\varphi \in {C}_{T,rd}^{1}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right).$
(2.1)

For $p\in \mathbb{R}$, $p>1$, we denote

${V}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)=\left\{x\in AC\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right):{x}^{\mathrm{\Delta }}\in {L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right),x\left(0\right)=x\left(T\right)\right\}.$

It follows from Remark 2.2 in  that

${V}_{\mathrm{\Delta }}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}_{N}\right)\subset {W}_{\mathrm{\Delta }}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$

is true for every $p\in \mathbb{R}$ with $p>1$. These two sets are, as a class of functions, equivalent. It is the characterization of functions in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ in terms of functions in ${V}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ too. That is the following theorem.

Theorem 2.2 ([, Theorem 2.5])

Suppose that $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ for some $p\in \mathbb{R}$ with $p>1$, and that (2.1) holds for $g\in {L}_{\mathrm{\Delta }}^{p}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. Then there exists a unique function $x\in {V}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ such that the equalities

(2.2)

are satisfied and

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}g\left(t\right)\mathrm{\Delta }t=0.$
(2.3)

By identifying $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ with its absolutely continuous representative $x\in {V}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ for which (2.2) holds, the set ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ can be endowed with the structure of a Banach space. That is, the following theorem.

Theorem 2.3 ([, Theorem 2.21])

Assume $p\in \mathbb{R}$ and $p>1$. The set ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a Banach space together with the norm defined as

$\begin{array}{r}{\parallel u\parallel }_{{}_{W}^{{}_{\mathrm{\Delta },T}1,p}}={\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}},\\ \phantom{\rule{1em}{0ex}}\mathrm{\forall }u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right).\end{array}$
(2.4)

Moreover, the set ${H}_{\mathrm{\Delta },T}^{1}={W}_{\mathrm{\Delta },T}^{1,2}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a Hilbert space together with the inner product

${〈u,v〉}_{{H}_{\mathrm{\Delta },T}^{1}}={\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(u\left(t\right),v\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left({u}^{\mathrm{\Delta }}\left(t\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t,\phantom{\rule{1em}{0ex}}\mathrm{\forall }u,v\in {H}_{\mathrm{\Delta },T}^{1}.$

Similar to the general Banach space ${W}_{T}^{1,p}$, ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a reflexive and uniformly convex Banach space.

The Banach space ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ has some important properties.

Theorem 2.4 ([, Theorem 2.23])

There exists $K=K\left(p\right)>0$ such that the inequality ${\parallel u\parallel }_{\mathrm{\infty }}\le K{\parallel u\parallel }_{{W}_{\mathrm{\Delta },T}^{1,p}}$ holds for all $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, where ${\parallel u\parallel }_{\mathrm{\infty }}={max}_{t\in {\left[0,T\right]}_{\mathbb{T}}}|u\left(t\right)|$. Moreover, if ${\int }_{{\left[0,T\right)}_{\mathbb{T}}}u\left(t\right)\mathrm{\Delta }t=0$, then ${\parallel u\parallel }_{\mathrm{\infty }}\le K{\parallel {u}^{\mathrm{\Delta }}\parallel }_{{L}_{\mathrm{\Delta }}^{p}}$.

Theorem 2.5 ([, Theorem 2.25])

If the sequence ${\left\{{u}_{k}\right\}}_{k\in \mathbb{N}}\subset {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ converges weakly to u in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, then ${\left\{{u}_{k}\right\}}_{k\in \mathbb{N}}$ converges strongly in $C\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ to u.

Remark 2.1 ([, Remark 2.26])

The immersion ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)↪C\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is compact.

Theorem 2.6 ([, Theorem 2.27])

Let $L:{\left[0,T\right]}_{\mathbb{T}}×{\mathbb{R}}^{N}×{\mathbb{R}}^{N}\to \mathbb{R}$, $\left(t,x,y\right)\to L\left(t,x,y\right)$ be Lebesgue Δ-measurable in t for each $\left(x,y\right)\in {\mathbb{R}}^{N}×{\mathbb{R}}^{N}$ and continuously differentiable in $\left(x,y\right)$ for every $t\in {\left[0,T\right]}_{\mathbb{T}}$. If there exist $a\in C\left({\mathbb{R}}^{+},{\mathbb{R}}^{+}\right)$, $b,c\in {\left[0,T\right]}_{\mathbb{T}}\to {\mathbb{R}}^{+}$, ${b}^{\sigma }\in {L}_{\mathrm{\Delta }}^{1}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{+}\right)$ and ${c}^{\sigma }\in {L}_{\mathrm{\Delta }}^{q}\left({\left[0,T\right)}_{\mathbb{T}},{\mathbb{R}}^{+}\right)$ ($1) such that for Δ-almost $t\in {\left[0,T\right]}_{\mathbb{T}}$ and every $\left(x,y\right)\in {\mathbb{R}}^{N}×{\mathbb{R}}^{N}$, one has

$\begin{array}{c}|L\left(t,x,y\right)|\le a\left(|x|\right)\left(b\left(t\right)+{|y|}^{p}\right),\hfill \\ |{L}_{x}\left(t,x,y\right)|\le a\left(|x|\right)\left(b\left(t\right)+{|y|}^{p}\right),\hfill \\ |{L}_{y}\left(t,x,y\right)|\le a\left(|x|\right)\left(c\left(t\right)+{|y|}^{p-1}\right),\hfill \end{array}$

where $\frac{1}{p}+\frac{1}{q}=1$, then the functional $\mathrm{\Phi }:{W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)\to \mathbb{R}$, defined as

$\mathrm{\Phi }\left(u\right)={\int }_{{\left[0,T\right)}_{\mathbb{T}}}L\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right),{u}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t,$

is continuously differentiable on ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ and

$〈{\mathrm{\Phi }}^{\prime }\left(u\right),v〉={\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left[\left({L}_{x}\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right),{u}^{\mathrm{\Delta }}\left(t\right)\right),{v}^{\sigma }\left(t\right)\right)+\left({L}_{y}\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right),{u}^{\mathrm{\Delta }}\left(t\right)\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\right]\mathrm{\Delta }t.$

To prove our main results, we need the following definitions and theorems.

Theorem 2.7 ([, Lemma 2.7])

Let $\mathcal{T}$ be a T-periodic time scale, then $\sigma \left(t+T\right)=\sigma \left(t\right)+T$ for all $t\in \mathbb{T}$.

Definition 2.10 ([, P81])

Let X be a real Banach space, $I\in {C}^{1}\left(X,\mathbb{R}\right)$ and $c\in \mathbb{R}$. I is said to be satisfying the ${\left(\mathrm{PS}\right)}_{c}$-condition on X if the existence of a sequence $\left\{{x}_{n}\right\}\subseteq X$, such that $I\left({x}_{n}\right)\to c$ and ${I}^{\prime }\left({x}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$, implies that c is a critical value of I.

Definition 2.11 ([, P81])

Let X be a real Banach space and $I\in {C}^{1}\left(X,\mathbb{R}\right)$. I is said to be satisfying the P.S. condition on X if any sequence $\left\{{x}_{n}\right\}\subseteq X$, for which $I\left({x}_{n}\right)$ is bounded and ${I}^{\prime }\left({x}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$, possesses a convergent subsequence in X.

Remark 2.2 It is clear that the P.S. condition implies the ${\left(\mathrm{PS}\right)}_{c}$-condition for each $c\in \mathbb{R}$.

Theorem 2.8 ([, Theorem 4.7])

Let X be a Banach space and let $\mathrm{\Phi }\in {C}^{1}\left(X,\mathbb{R}\right)$. Assume that X splits into a direct sum of closed subspace $X={X}^{-}\oplus {X}^{+}$ with

$dim{X}^{-}<\mathrm{\infty }\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\underset{{S}_{R}^{-}}{sup}\mathrm{\Phi }<\underset{{X}^{+}}{inf}\mathrm{\Phi },$

where ${S}_{R}^{-}=\left\{u\in {X}^{-}:\parallel u\parallel =R\right\}$. Let

and

$c=\underset{h\in M}{inf}\underset{s\in {B}_{R}^{-}}{max}\mathrm{\Phi }\left(h\left(s\right)\right).$

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

As shown in , a deformation lemma can be proved with the weaker condition (C) replacing the usual P.S. condition, and it turns out that the saddle point theorem (Theorem 2.7) holds true under condition (C).

## 3 Variational setting

In this section, in order to apply the critical point theory, we make a variational structure. From this variational structure, we can reduce the problem of finding solutions of problem (1.1) to the one of seeking the critical points of a corresponding functional.

Consider the functional $\phi :{W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)\to \mathbb{R}$ defined by

$\phi \left(u\right)=\frac{1}{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t.$
(3.1)

We have the following facts.

Theorem 3.1 The functional φ is continuously differentiable on ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ and

$〈{\phi }^{\prime }\left(u\right),v〉={\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}|}^{p-2}\left({u}^{\mathrm{\Delta }}\left(t\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right),{v}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t$
(3.2)

for all $v\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$.

Proof Let $L\left(t,x,y\right)=\frac{1}{p}{|y|}^{p}+F\left(t,x\right)$ for all $x,y\in {\mathbb{R}}^{N}$ and $t\in {\left[0,T\right]}_{\mathbb{T}}$. Then, by condition (A), $L\left(t,x,y\right)$ satisfies all the assumptions of Theorem 2.6. Hence, by Theorem 2.6, we know that the functional φ is continuously differentiable on ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ and

$〈{\phi }^{\prime }\left(u\right),v〉={\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}|}^{p-2}\left({u}^{\mathrm{\Delta }}\left(t\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right),{v}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t$

for all $v\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. □

Theorem 3.2 If $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a critical point of φ in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, i.e., ${\phi }^{\prime }\left(u\right)=0$, then u is solution of problem (1.1).

Proof Since ${\phi }^{\prime }\left(u\right)=0$, it follows from Theorem 3.1 that

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}|}^{p-2}\left({u}^{\mathrm{\Delta }}\left(t\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right),{v}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t=0$

for all $v\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, that is,

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}|}^{p-2}\left({u}^{\mathrm{\Delta }}\left(t\right),{v}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t=-{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right),{v}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t$

for all $v\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. From condition (A) and Definition 2.10, we have that ${|{u}^{\mathrm{\Delta }}|}^{p-2}{u}^{\mathrm{\Delta }}\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. By Theorem 2.2 and (2.3), there exists a unique function $x\in {V}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ such that

(3.3)

and

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}\mathrm{\nabla }F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t=0.$
(3.4)

Combining (3.3) and (3.4), we obtain

$x\left(0\right)-x\left(T\right)=0,\phantom{\rule{2em}{0ex}}{x}^{\mathrm{\Delta }}\left(0\right)-{x}^{\mathrm{\Delta }}\left(T\right)=0.$

We identify $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ with its absolutely continuous representative $x\in {V}_{\mathrm{\Delta },T}^{1,2}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ for which (3.3) holds. By Theorem 2.7, u is a T-periodic solution of problem (1.1). □

## 4 Main results

For $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, let $\overline{u}=\frac{1}{T}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}u\left(t\right)\mathrm{\Delta }t$ and $\stackrel{˜}{u}\left(t\right)=u\left(t\right)-\overline{u}$. Set ${\stackrel{˜}{W}}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)=\left\{u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right):{\int }_{{\left[0,T\right)}_{\mathbb{T}}}u\left(t\right)\mathrm{\Delta }t=0\right\}$, then ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)={\stackrel{˜}{W}}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)\oplus {\mathbb{R}}^{N}$ and we have the following lemma.

Theorem 4.1 In the Sobolev space ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, for $u\in {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, $\parallel u\parallel \to \mathrm{\infty }$ if and only if

${\left({|\overline{u}|}^{p}+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}\to \mathrm{\infty }.$

Proof On the one hand, from Theorem 2.4, we get

$\begin{array}{rcl}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t& =& {\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|\overline{u}+\stackrel{˜}{u}\left(t\right)|}^{p}\mathrm{\Delta }t\\ \le & {2}^{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left({|\overline{u}|}^{p}+{|\stackrel{˜}{u}\left(t\right)|}^{p}\right)\mathrm{\Delta }t\\ \le & {2}^{p}T{|\overline{u}|}^{p}+{2}^{p}T{\parallel \stackrel{˜}{u}\left(t\right)\parallel }_{\mathrm{\infty }}^{p}\\ \le & {2}^{p}T{|\overline{u}|}^{p}+{2}^{p}T{K}^{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t.\end{array}$

Therefore, one has

$\begin{array}{rcl}\parallel u\parallel & =& {\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}\\ \le & {\left({2}^{p}T{|\overline{u}|}^{p}+{2}^{p}T{K}^{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}\\ \le & {\left({2}^{p}T+{2}^{p}T{K}^{p}+1\right)}^{\frac{1}{p}}{\left({|\overline{u}|}^{p}+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}.\end{array}$
(4.1)

On the other hand, by the Hölder inequality, we have

$|\overline{u}|=|\frac{1}{T}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}u\left(t\right)\mathrm{\Delta }t|\le {T}^{-\frac{1}{p}}{\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}.$

Hence, we get

$\begin{array}{rcl}{\left({|\overline{u}|}^{p}+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}& \le & {\left({T}^{-1}\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t\right)+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}\\ \le & {\left({T}^{-1}+1\right)}^{\frac{1}{p}}\parallel u\parallel .\end{array}$
(4.2)

It follows from (4.1) and (4.2) that $\parallel u\parallel \to \mathrm{\infty }$ if and only if

${\left({|\overline{u}|}^{p}+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right)}^{\frac{1}{p}}\to \mathrm{\infty }.$

□

Theorem 4.2 Suppose that (A) and the following conditions are satisfied.

(F1) There exist $0<\mu , $M>0$ such that

$\left(\mathrm{\nabla }F\left(t,x\right),x\right)\ge \mu F\left(t,x\right)$

for all $|x|>M$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$.

(F2) There exists ${g}^{\sigma }\in {L}_{\mathrm{\Delta }}^{1}\left({\left[0,T\right]}_{\mathbb{T}},\mathbb{R}\right)$ such that

$F\left(t,x\right)\le g\left(t\right)$

for all $x\in {\mathbb{R}}^{N}$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$.

(F3) There exists a subset D of ${\left[0,T\right]}_{\mathbb{T}}$ with ${\mu }_{\mathrm{\Delta }}\left(D\right)>0$ such that

for Δ-a.e. $t\in D$.

Then problem (1.1) has at least one T-periodic solution.

Proof We will use the saddle point theorem only to prove that

1. (i)

φ satisfies (C)-condition.

2. (ii)

$\phi \left(u\right)\to -\mathrm{\infty }$ as $u\in {\mathbb{R}}^{N}$, $\parallel u\parallel \to \mathrm{\infty }$.

3. (iii)

$\phi \left(u\right)\to +\mathrm{\infty }$ as $u\in {\stackrel{˜}{W}}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, $\parallel u\parallel \to \mathrm{\infty }$.

Firstly, we prove (i).

Set $\left\{{u}_{n}\right\}\subset {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ is a (C)-sequence, that is, $\phi \left({u}_{n}\right)$ is bounded and $\left(1+\parallel {u}_{n}\parallel \right){\phi }^{\prime }\left({u}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$. Then there exists a positive constant ${C}_{1}$ such that

$|\phi \left({u}_{n}\right)|\le {C}_{1},\phantom{\rule{2em}{0ex}}\left(1+\parallel {u}_{n}\parallel \right)\parallel {\phi }^{\prime }\left({u}_{n}\right)\parallel \le {C}_{1}$
(4.3)

for all $n\in \mathbb{N}$. Using (A), (F1), (3.1) and (3.2), one has

$\begin{array}{rcl}{C}_{1}+p{C}_{1}& \ge & \left(1+\parallel {u}_{n}\parallel \right)\parallel {\phi }^{\prime }\left({u}_{n}\right)\parallel -p\phi \left({u}_{n}\right)\\ \ge & 〈{\phi }^{\prime }\left({u}_{n}\right),{u}_{n}〉-p\phi \left({u}_{n}\right)\\ =& {\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left[\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right),{u}_{n}^{\sigma }\left(t\right)\right)-pF\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\right]\mathrm{\Delta }t\\ \ge & \left(\mu -p\right){\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t-\left(p+M\right)\underset{|x|\le M}{max}a\left(|x|\right){\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\end{array}$

for all $n\in \mathbb{N}$. This implies that there exists a constant ${C}_{2}$ such that

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\ge {C}_{2}$
(4.4)

for all $n\in \mathbb{N}$. From (3.1), (4.3) and (4.4), we have

$\begin{array}{rcl}{C}_{1}& \ge & \phi \left({u}_{n}\right)\\ \ge & \frac{1}{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t+{C}_{2}\end{array}$

for all $n\in \mathbb{N}$. This implies that there exists a constant ${C}_{3}$ such that

${\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\le {C}_{3}$
(4.5)

for all $n\in \mathbb{N}$. It follows from Theorem 2.4 and (4.5) that there exists a constant ${C}_{4}$ such that

${\parallel {\stackrel{˜}{u}}_{n}\parallel }_{\mathrm{\infty }}\le {C}_{4}$
(4.6)

for all $n\in \mathbb{N}$.

Now, we will prove that the sequence $\left\{{\overline{u}}_{n}\right\}$ is bounded. Otherwise, we may assume, without loss of generality, that $|{\overline{u}}_{n}|\to \mathrm{\infty }$ as $n\to \mathrm{\infty }$. Set ${v}_{n}=\frac{{u}_{n}}{\parallel {u}_{n}\parallel }=\frac{{\overline{u}}_{n}}{\parallel {u}_{n}\parallel }+\frac{{\stackrel{˜}{u}}_{n}}{\parallel {u}_{n}\parallel }={\overline{v}}_{n}+{\stackrel{˜}{v}}_{n}$, then $\left\{{v}_{n}\right\}$ is bounded in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. By Remark 2.1, there is a subsequence of $\left\{{v}_{n}\right\}$ (for simplicity denoted again by $\left\{{v}_{n}\right\}$) such that

Combining with (4.6), $\left\{{\stackrel{˜}{u}}_{n}\right\}$ is bounded in $C\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, thereby, $v\in {\mathbb{R}}^{N}$, $v\ne 0$. So, $|{u}_{n}\left(t\right)|\to \mathrm{\infty }$ as $n\to \mathrm{\infty }$ for all $t\in {\left[0,T\right]}_{\mathbb{T}}$. By (F3), we have

$\begin{array}{r}\underset{n\to \mathrm{\infty }}{lim sup}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\\ \phantom{\rule{1em}{0ex}}\le \underset{n\to \mathrm{\infty }}{lim sup}{\int }_{D}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}|{g}^{\sigma }\left(t\right)|\mathrm{\Delta }t\\ \phantom{\rule{1em}{0ex}}\to -\mathrm{\infty },\end{array}$

Then, by Theorem 4.1, $\left\{{u}_{n}\right\}$ is bounded in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. Again, from Remark 2.1, there is a subsequence of $\left\{{u}_{n}\right\}$ (for simplicity denoted again by $\left\{{u}_{n}\right\}$) such that

(4.7)
(4.8)

By (4.8), $\left\{{u}_{n}\right\}$ is bounded in $C\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$, then by assumption (A), there exists a positive constant ${C}_{5}$ such that

$\begin{array}{rcl}|{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left(\mathrm{\nabla }F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right),{u}^{\sigma }\left(t\right)-{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t|& \le & {\int }_{{\left[0,T\right)}_{\mathbb{T}}}|\mathrm{\nabla }F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)||{u}^{\sigma }\left(t\right)-{u}_{n}^{\sigma }\left(t\right)|\mathrm{\Delta }t\\ \le & {C}_{5}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)|{u}^{\sigma }\left(t\right)-{u}_{n}^{\sigma }\left(t\right)|\mathrm{\Delta }t\\ \le & {C}_{5}{\parallel u-{u}_{n}\parallel }_{\mathrm{\infty }}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t.\end{array}$

Combining with (4.8), we obtain

Note that

$\begin{array}{rl}〈{\phi }^{\prime }\left({u}_{n}\right),u-{u}_{n}〉=& {\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}^{\mathrm{\Delta }}|}^{p-2}\left({u}_{n}^{\mathrm{\Delta }}\left(t\right),{u}^{\mathrm{\Delta }}\left(t\right)-{u}_{n}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t\\ +{\int }_{{\left[0,T\right)}_{\mathbb{T}}}\left[\mathrm{\nabla }F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right),{u}^{\sigma }\left(t\right)-{u}_{n}^{\sigma }\left(t\right)\right]\mathrm{\Delta }t\end{array}$

and

Hence, we have

Furthermore, it is easy to derive from (4.8) that

Let

$\varphi \left(u\right)=\frac{1}{p}{\parallel u\parallel }^{p}=\frac{1}{p}\left({\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\right).$

Then one has

$\begin{array}{r}〈{\varphi }^{\prime }\left({u}_{n}\right),u-{u}_{n}〉\\ \phantom{\rule{1em}{0ex}}={\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}^{\mathrm{\Delta }}|}^{p-2}\left({u}_{n}^{\mathrm{\Delta }}\left(t\right),{u}^{\mathrm{\Delta }}\left(t\right)-{u}_{n}^{\mathrm{\Delta }}\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}\left(t\right)|}^{p-2}\left({u}_{n}\left(t\right),u\left(t\right)-{u}_{n}\left(t\right)\right)\mathrm{\Delta }t\\ \phantom{\rule{1em}{0ex}}\to 0\end{array}$
(4.9)

as $n\to \mathrm{\infty }$. By Hölder inequality, we get

$0\le \left(\parallel {u}_{n}\parallel -\parallel u\parallel \right)\left({\parallel {u}_{n}\parallel }^{p-1}-{\parallel u\parallel }^{p-1}\right)\le 〈{\varphi }^{\prime }\left({u}_{n}\right)-{\varphi }^{\prime }\left(u\right),{u}_{n}-u〉.$

This combined with (4.9) yields $\parallel {u}_{n}\parallel \to \parallel u\parallel$. It follows from (4.7) and uniform convexity of ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ that ${u}_{n}\to u$ in ${W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$.

Secondly, we prove (ii).

$\mathrm{\forall }u\in {\mathbb{R}}^{N}$, by (3.1), (F2) and (F3), we obtain

$\begin{array}{rcl}\phi \left(u\right)& =& {\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\\ \le & {\int }_{D}F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}\setminus D}{g}^{\sigma }\left(t\right)\mathrm{\Delta }t\\ \le & {\int }_{D}F\left(\sigma \left(t\right),{u}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t+{\int }_{{\left[0,T\right)}_{\mathbb{T}}}|{g}^{\sigma }\left(t\right)|\mathrm{\Delta }t\\ \to & -\mathrm{\infty }\end{array}$

as $n\to \mathrm{\infty }$. This implies that (ii) holds.

Thirdly, we prove (iii).

For $s\in \mathbb{R}$, $|x|\ge M$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$, let

$G\left(s\right)=F\left(t,sx\right),\phantom{\rule{2em}{0ex}}H\left(s\right)={G}^{\prime }\left(s\right)-\frac{\mu }{s}G\left(s\right).$
(4.10)

Using (F1), when $s\ge \frac{M}{|x|}$,

$H\left(s\right)=\frac{1}{s}\left(\left(\mathrm{\nabla }F\left(t,sx\right),sx\right)-\mu F\left(t,sx\right)\right)\ge 0$
(4.11)

holds. Furthermore, by (4.10), $G\left(s\right)$ satisfies

${G}^{\prime }\left(s\right)=H\left(s\right)+\frac{\mu }{s}G\left(s\right).$

Hence, when $s\ge \frac{M}{|x|}$,

$F\left(t,sx\right)={s}^{\mu }\left(F\left(t,x\right)+{\int }_{1}^{s}{\tau }^{-\mu }H\left(\tau \right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}\tau \right).$

Again, by virtue of assumption (A) and (4.11), for $|x|\ge M$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$, we assert

${\left(\frac{M}{|x|}\right)}^{\mu }F\left(t,x\right)\ge F\left(t,x\frac{M}{|x|}\right)\ge -{a}_{0}b\left(t\right),$

where ${a}_{0}={max}_{|x|\le M}a\left(|x|\right)$. This implies that

$F\left(t,x\right)\ge -{a}_{0}b\left(t\right)\left({\left(\frac{|x|}{M}\right)}^{\mu }+1\right)$

for all $x\in {\mathbb{R}}^{N}$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$. Moreover, by Theorem 2.4 and (3.1), we get

$\begin{array}{rcl}\phi \left(u\right)& \ge & \frac{1}{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t-\left(\frac{{a}_{0}}{{M}^{\mu }}\right){\parallel u\parallel }_{\mathrm{\infty }}^{\mu }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t-{a}_{0}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\\ =& \frac{1}{p}{\parallel u\parallel }^{p}-\frac{1}{p}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|u\left(t\right)|}^{p}\mathrm{\Delta }t\\ -\left(\frac{{a}_{0}}{{M}^{\mu }}\right){\parallel u\parallel }_{\mathrm{\infty }}^{\mu }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t-{a}_{0}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\\ \ge & \frac{1}{p}{\parallel u\parallel }^{p}-\frac{1}{p}T{\parallel u\parallel }_{\mathrm{\infty }}^{p}-\left(\frac{{a}_{0}}{{M}^{\mu }}\right){\parallel u\parallel }_{\mathrm{\infty }}^{\mu }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t-{a}_{0}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\\ \ge & \frac{1}{p}{\parallel u\parallel }^{p}-\frac{T{K}^{p}}{p}{\parallel u\parallel }^{p}-\left(\frac{{a}_{0}{K}^{p}}{{M}^{\mu }}\right){\parallel u\parallel }^{\mu }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t-{a}_{0}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\end{array}$

for all $u\in {\stackrel{˜}{W}}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$. This implies that (ii) holds.

It follows from the saddle point theorem and Theorem 3.2 that Theorem 4.2 holds. □

Example 4.1 Let $\mathbb{T}={\bigcup }_{k=0}^{\mathrm{\infty }}\left[2k,2k+1\right]$, $T=2$, $N=4$. Consider the 4-Laplacian system on the time scale $\mathcal{T}$

(4.12)

where $F\left(t,x\right)=-{|x|}^{2}-|\left(\left(1,1,2,3\right),x\right)|$.

Since $F\left(t,x\right)=-{|x|}^{2}-|\left(\left(1,2,2,3\right),x\right)|$, $\mathrm{\nabla }F\left(t,x\right)=-2x-\frac{\left(\left(1,1,2,3\right),x\right)}{|\left(\left(1,1,2,3\right),x\right)|}\left(1,1,2,3\right)$, all the conditions of Theorem 4.2 hold with $p=4$, $\mu =3$, $M=1$, $g\left(t\right)\equiv 0$. According to Theorem 4.2, problem (4.12) has at least one 2-periodic solution. Moreover, 0 is not the solution of problem (4.12). Thus, problem (4.12) has at least one nontrivial 2-periodic solution.

From Theorem 4.2, we have the following corollary.

Corollary 4.1 Suppose that (A), (F1) and the following condition are satisfied.

(F4) $F\left(t,x\right)\to -\mathrm{\infty }$ as $|x|\to \mathrm{\infty }$ uniformly for Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$.

Then problem (1.1) has at least one T-periodic solution.

Theorem 4.3 Suppose that (A), (F1) and the following conditions are satisfied.

(F5) ${\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),x\right)\mathrm{\Delta }t\to -\mathrm{\infty }$ as $|x|\to \mathrm{\infty }$.

(F6) Assume that $-F\left(t,\cdot \right)$ is $\left(\beta ,\gamma \right)$-subconvex with $\gamma >0$ Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$, that is,

$F\left(t,\beta \left(x+y\right)\right)\ge \gamma \left(F\left(t,x\right)+F\left(t,y\right)\right)$

for all $x,y\in {\mathbb{R}}^{N}$ and Δ-a.e. $t\in {\left[0,T\right]}_{\mathbb{T}}$.

Then problem (1.1) has at least one T-periodic solution.

Proof It follows directly from (F5) that

Similar to the proof of Theorem 4.2, we can prove

Next, we will prove that φ satisfies (C)-condition. Let $\left\{{u}_{n}\right\}\subset {W}_{\mathrm{\Delta },T}^{1,p}\left({\left[0,T\right]}_{\mathbb{T}},{\mathbb{R}}^{N}\right)$ be a (C)-sequence, that is, $\phi \left({u}_{n}\right)$ is bounded and $\left(1+\parallel {u}_{n}\parallel \right){\phi }^{\prime }\left({u}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$. In a way similar to (4.4), (4.5) and (4.6) in the proof of (i) in Theorem 4.2, there exist constants ${C}_{6}$, ${C}_{7}$, ${C}_{8}$ such that

$\begin{array}{c}{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\ge {C}_{6},\hfill \\ {\int }_{{\left[0,T\right)}_{\mathbb{T}}}{|{u}_{n}^{\mathrm{\Delta }}\left(t\right)|}^{p}\mathrm{\Delta }t\le {C}_{7}\hfill \end{array}$

and

${\parallel {\stackrel{˜}{u}}_{n}\parallel }_{\mathrm{\infty }}\le {C}_{8}$
(4.13)

for all $n\in \mathbb{N}$. Using (F6), we obtain

$\begin{array}{rcl}{C}_{6}& \le & {\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),{u}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\\ \le & \frac{1}{\gamma }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),\beta {\overline{u}}_{n}\right)\mathrm{\Delta }t-{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),-{\stackrel{˜}{u}}_{n}^{\sigma }\left(t\right)\right)\mathrm{\Delta }t\\ \le & \frac{1}{\gamma }{\int }_{{\left[0,T\right)}_{\mathbb{T}}}F\left(\sigma \left(t\right),\beta {\overline{u}}_{n}\right)\mathrm{\Delta }t-\underset{|x|\le {C}_{8}}{max}a\left(|x|\right){\int }_{{\left[0,T\right)}_{\mathbb{T}}}{b}^{\sigma }\left(t\right)\mathrm{\Delta }t\end{array}$

for all $n\in \mathbb{N}$, which implies that $\left\{{\overline{u}}_{n}\right\}$ is bounded. Combining with (4.13), we assert that $\left\{{u}_{n}\right\}$ is bounded. Using the same method as that of the proof of (i) in Theorem 4.2, we can prove that $\left\{{u}_{n}\right\}$ has a convergent subsequence, thus, φ satisfies condition (C).

By the saddle point theorem and Theorem 3.2, Theorem 4.3 holds. □

Example 4.2 Let $\mathbb{T}=\mathbb{Z}$, $T=20$, $N=3$. Consider the 5-Laplacian system on the time scale $\mathcal{T}$

(4.14)

where $F\left(t,x\right)=-{|x|}^{3}-|\left(\left(1,1,1\right),x\right)|$.

Since $F\left(t,x\right)=-{|x|}^{3}-|\left(\left(1,1,1\right),x\right)|$, $\mathrm{\nabla }F\left(t,x\right)=-3|x|x-\frac{\left(\left(1,1,1\right),x\right)}{|\left(\left(1,1,1\right),x\right)|}\left(1,1,1\right)$, all the conditions of Theorem 4.3 hold $p=5$, $\mu =4$, $M=2$. According to Theorem 4.3, problem (4.14) has at least one 20-periodic solution. Moreover, 0 is not the solution of problem (4.14). Thus, problem (4.14) has at least one nontrivial 20-periodic solution.

## References

1. Ma SW, Zhang YX: Existence of infinitely many periodic solutions for ordinary p -Laplacian systems. J. Math. Anal. Appl. 2009, 351: 469-479. 10.1016/j.jmaa.2008.10.027

2. Li C, Ou ZQ, Tang CL: Three periodic solutions for p -Hamiltonian systems. Nonlinear Anal. 2011, 74: 1596-1606. 10.1016/j.na.2010.10.030

3. Zhou JW, Li YK: Sobolev’s spaces on time scales and its applications to a class of second order Hamiltonian systems on time scales. Nonlinear Anal. 2010, 73: 1375-1388. 10.1016/j.na.2010.04.070

4. Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin; 1989.

5. Berger MS, Schechter M: On the solvability of semilinear gradient operator equations. Adv. Math. 1977, 25: 97-132. 10.1016/0001-8708(77)90001-9

6. Long YM: Nonlinear oscillations for classical Hamiltonian systems with bi-even subquadratic potentials. Nonlinear Anal. 1995, 24: 1665-1671. 10.1016/0362-546X(94)00227-9

7. Rabinowitz PH: On subharmonic solutions of Hamiltonian systems. Commun. Pure Appl. Math. 1980, 33: 609-633. 10.1002/cpa.3160330504

8. Tang CL: Periodic solutions for nonautonomous second systems with sublinear nonlinearity. Proc. Am. Math. Soc. 1998, 126: 3263-3270. 10.1090/S0002-9939-98-04706-6

9. Xue YF, Tang CL: Multiple periodic solutions for superquadratic second-order discrete Hamiltonian systems. Appl. Math. Comput. 2008, 196: 494-500. 10.1016/j.amc.2007.06.015

10. Yu JS, Deng XQ, Guo ZM: Periodic solutions of a discrete Hamiltonian system with a change of sign in the potential. J. Math. Anal. Appl. 2006, 324: 1140-1151. 10.1016/j.jmaa.2006.01.013

11. Aulbach B, Hilger S: Linear dynamic processes with inhomogeneous time scale. Mathematical Research 59. In Nonlinear Dynamics and Quantum Dynamical Systems. Akademie Verlag, Berlin; 1990:9-20.

12. Erbe L, Hilger S: Sturmanian theory on measure chains. Differ. Equ. Dyn. Syst. 1993, 1(3):223-244.

13. Lakshmikantham V, Sivasundaram S, Kaymakcalan B: Dynamic Systems on Measure Chains. Kluwer Academic, Dordrecht; 1996.

14. Agarwal RP, Bohner M: Basic calculus on time scales and some of its applications. Results Math. 1999, 35(1-2):3-22. 10.1007/BF03322019

15. Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston; 2001.

16. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

17. Zhang HT, Li YK: Existence of positive periodic solutions for functional differential equations with impulse effects on time scales. Commun. Nonlinear Sci. Numer. Simul. 2009, 14: 19-26. 10.1016/j.cnsns.2007.08.006

18. Li YK, Zhao LL, Zhang TW: Global exponential stability and existence of periodic solution of impulsive Cohen-Grossberg neural networks with distributed delays on time scales. Neural Process. Lett. 2011, 33: 61-81. 10.1007/s11063-010-9166-5

19. Hao ZC, Xiao TJ, Liang J: Existence of positive solutions for singular boundary value problem on time scales. J. Math. Anal. Appl. 2007, 325: 517-528. 10.1016/j.jmaa.2006.01.083

20. Jiang LQ, Zhou Z: Existence of weak solutions of two-point boundary value problems for second-order dynamic equations on time scales. Nonlinear Anal. 2008, 69: 1376-1388. 10.1016/j.na.2007.06.034

21. Agarwal RP, Bohner M, Řehák P: Half-linear dynamic equations. 1. In Nonlinear Analysis and Applications: To V. Lakshmikantham on His 80th Birthday. Kluwer Academic, Dordrecht; 2003:1-57.

22. Agarwal RP, Bohner M, Wong PJY: Sturm-Liouville eigenvalue problems on time scales. Appl. Math. Comput. 1999, 99: 153-166. 10.1016/S0096-3003(98)00004-6

23. Rynne BP:${L}^{2}$ spaces and boundary value problems on time-scales. J. Math. Anal. Appl. 2007, 328: 1217-1236. 10.1016/j.jmaa.2006.06.008

24. Li YK, Zhou JW: Existence of solutions for a class of damped vibration problems on time scales. Adv. Differ. Equ. 2010., 2010: Article ID 727486

25. Li YK, Wang C: Pseudo almost periodic functions and pseudo almost periodic solutions to dynamic equations on time scales. Adv. Differ. Equ. 2012., 2012: Article ID 77

26. Bonanno G, Livrea R: Multiple periodic solutions for Hamiltonian systems with not coercive potential. J. Math. Anal. Appl. 2010, 363: 627-638. 10.1016/j.jmaa.2009.09.025

27. Tang CL, Wu XP: Some critical point theorems and their applications to periodic solution for second order Hamiltonian systems. J. Differ. Equ. 2010, 248: 660-692. 10.1016/j.jde.2009.11.007

28. Chen SJ, Tang CL: Multiple periodic solutions for superquadratic first-order discrete Hamiltonian systems. Appl. Math. Comput. 2009, 208: 495-500. 10.1016/j.amc.2008.12.021

29. Yu J, Deng X, Guo Z: Periodic solutions of a discrete Hamiltonian system with a change of sign in the potential. J. Math. Anal. Appl. 2006, 324: 1140-1151. 10.1016/j.jmaa.2006.01.013

30. Davidson FA, Rynne BP:Eigenfunction expansions in ${L}^{2}$ spaces for boundary value problems on time-scales. J. Math. Anal. Appl. 2007, 335: 1038-1051. 10.1016/j.jmaa.2007.01.100

31. Rynne BP:${L}^{2}$ spaces and boundary value problems on time-scales. J. Math. Anal. Appl. 2007, 328: 1217-1236. 10.1016/j.jmaa.2006.06.008

32. Su YH, Feng Z: A non-autonomous Hamiltonian system on time scales. Nonlinear Anal. 2012, 75: 4126-4136. 10.1016/j.na.2012.03.003

33. Zhou JW, Li YK: Variational approach to a class of second order Hamiltonian systems on time scales. Acta Appl. Math. 2012, 117(1):47-69. 10.1007/s10440-011-9649-z

34. Guseinov GS: Integration on time scales. J. Math. Anal. Appl. 2003, 285: 107-127. 10.1016/S0022-247X(03)00361-5

## Acknowledgements

This work was supported by the National Natural Sciences Foundation of People’s Republic of China under Grant 11361072 and the Natural Sciences Foundation of Yunnan Province under Grant 2012FB111.

## Author information

Authors

### Corresponding author

Correspondence to Yongkun Li.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the manuscript and typed, read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Zhou, J., Li, Y. Variational approach to a class of p-Laplacian systems on time scales. Adv Differ Equ 2013, 297 (2013). https://doi.org/10.1186/1687-1847-2013-297

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2013-297

### Keywords

• variational approach
• time scales
• p-Laplacian systems
• critical points 