# Fixed point theorems for a class of nonlinear operators in Hilbert spaces with lattice structure and application

## Abstract

We discuss the existence of a fixed point for a class of nonlinear operators in Hilbert spaces with lattice structure by a combination of variational and partial ordered methods. An application to second-order ordinary differential equations is included.

## 1 Introduction

Let E be a Banach space with a cone P. Then E becomes an ordered Banach space under the partial ordering ‘≤’ which is induced by P. For the concepts and properties of the cone, we refer to [1, 2].

We call E a lattice under the partial ordering ‘≤’ if $sup\left\{x,y\right\}$ and $inf\left\{x,y\right\}$ exist for arbitrary $x,y\in E$. For $x\in E$, let

${x}^{+}=sup\left\{x,\theta \right\},\phantom{\rule{2em}{0ex}}{x}^{-}=inf\left\{x,\theta \right\},$
(1.1)

${x}^{+}$ and ${x}^{-}$ are called the positive part and the negative part of x, respectively, and obviously $x={x}^{+}+{x}^{-}$. Take $|x|={x}^{+}-{x}^{-}$, then $|x|\in P$. One can refer to  for the definition and properties of the lattice.

In recent years, many mathematicians have studied a fixed point theorem of nonlinear operators in an ordered Banach space by using topological methods and partial ordered methods (see  and references therein). However, to the best of our knowledge, few authors have studied the fixed point theorem in Hilbert spaces with lattice structure by applying variational and partial ordered methods. As a result, the goal of this paper is to fill the gap in this area.

Motivated by [7, 8], we obtain some new theorems for nonlinear operators which are not cone mappings by means of variational and partial ordered methods. This paper is organized as follows. Section 2 is devoted to our main results. Section 3 gives examples to indicate the application of our main results.

At the end of this section, we give the following basic concept and lemma from literature which will be used in Section 2.

We consider two real ordered Hilbert spaces in this paper, H with the inner product, norm and cone $\left(\cdot ,\cdot \right)$, $\parallel \cdot \parallel$, P, and X with the inner product, norm and cone ${P}_{1}$, and we assume that $H\subset X$ and $P\subset {P}_{1}$, X is dense in H, the injection being continuous.

Definition 1.1 Let $D\subset H$ and $F:D\to X$ be a nonlinear operator. F is said to be quasi-additive on lattice, if there exists $y\in X$ such that

$Fx=F{x}^{+}+F{x}^{-}+y,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in D,$
(1.2)

where ${x}^{+}$ and ${x}^{-}$ are defined by (1.1). Note that if $F\theta =\theta$, (1.2) becomes $Fx=F{x}^{+}+F{x}^{-}$.

Let $B:X\to H\subset X$ be a bounded linear operator. B is said to be positive if $B\left({P}_{1}\right)\subset P$. In this case, B is an increase operator, namely for $x,y\in X$, $x\le y$ implies $Bx\le By$. We have the following conclusion.

Lemma 1.1 ([1, 7])

Suppose that $B:X\to H\subset X$ is a positive bounded linear operator. If the spectral radius $r\left(B\right)<1$, then ${\left(I-B\right)}^{-1}$ exists and is a positive bounded linear operator. Furthermore,

${\left(I-B\right)}^{-1}=I+B+{B}^{2}+\cdots +{B}^{n}+\cdots .$

## 2 Fixed point theorems

Let H be an ordered real Hilbert space with an ordering given by a closed cone P and suppose that the gradient ${\mathrm{\Phi }}^{\prime }:H\to H$ of a given functional $\mathrm{\Phi }\in {C}^{1}\left(H,R\right)$ has the expression ${\mathrm{\Phi }}^{\prime }=I-A$. Obviously, the critical points of the functional Φ are the fixed points of the operator A, and vice versa.

We will show that, under additional assumptions on the operator A, Φ satisfies the Palais-Smale compactness condition on a closed convex set $M\subset H$, which ensures the existence of a critical point of Φ, see [15, 16].

1. (PS)

Every sequence ${\left\{{v}_{m}\right\}}_{m\in N}\subset M$, satisfying the conditions has a subsequence which converges strongly in M.

1. (i)

${\left\{\mathrm{\Phi }\left({v}_{m}\right)\right\}}_{m\in N}$ is bounded,

2. (ii)

${lim}_{m\to +\mathrm{\infty }}\parallel {\mathrm{\Phi }}^{\prime }\left({v}_{m}\right)\parallel =0$,

The next lemma, the mountain pass lemma [17, 18] on a closed convex subset of a Hilbert space H, is crucial in the proof of our first result.

Lemma 2.1 Assume that H is a Hilbert space, M is a closed convex subset of H, Φ is a ${C}^{1}$ functional defined on H, ${\mathrm{\Phi }}^{\prime }\left(u\right)$ can be expressed in the form ${\mathrm{\Phi }}^{\prime }\left(u\right)=u-Au$, and $A\left(M\right)\subset M$. Assume also that Φ satisfies the PS condition on M, Ω is an open subset of M, and there are two points ${u}_{0}\in \mathrm{\Omega }$, ${u}_{1}\in M\mathrm{\setminus }\mathrm{\Omega }$ such that $max\left\{\mathrm{\Phi }\left({u}_{0}\right),\mathrm{\Phi }\left({u}_{1}\right)\right\}<{inf}_{u\in {\partial }_{M}\mathrm{\Omega }}\mathrm{\Phi }\left(u\right)$. Then

$c=\underset{h\in {\mathrm{\Phi }}_{M}}{inf}\underset{t\in \left[0,1\right]}{max}f\left(h\left(t\right)\right)$

is a critical value of Φ and there is at least one critical point in M corresponding to this value, where .

Theorem 2.1 Let X, H be two ordered real Hilbert spaces. Suppose that $\mathrm{\Phi }\in {C}^{1}\left(H,R\right)$ satisfies the following hypotheses.

1. (i)

Φ satisfies the PS condition on H and its gradient ${\mathrm{\Phi }}^{\prime }$ admits the decomposition $I-A$ such that $A=BF$, where $F:H\to X$ is quasi-additive on lattice, $B:X\to H$ is a positive bounded linear operator satisfying:

1. (1)

$\left(Bx,y\right)\ge 0$ for $\mathrm{\forall }x\in {P}_{1}$, $y\in P$;

2. (2)

There exists $\phi \in P$ with $\parallel \phi \parallel =1$ such that

$B\phi =r\left(B\right)\phi ,$

that is, φ is the normalized first eigenfunction.

2. (ii)

There exist ${a}_{1}>{r}^{-1}\left(B\right)$ and ${y}_{1}\in {P}_{1}$ such that

$Fx\ge {a}_{1}x-{y}_{1},\phantom{\rule{1em}{0ex}}x\in P.$
(2.1)
3. (iii)

There exist $0<{a}_{2}<{r}^{-1}\left(B\right)$ and ${y}_{2}\in {P}_{1}$ such that

$Fx\ge {a}_{2}x-{y}_{2},\phantom{\rule{1em}{0ex}}x\in \left(-P\right).$
(2.2)
4. (iv)

There exist ${M}_{1}\ge {M}_{2}>0$ such that ${M}_{2}\parallel x\parallel \le {\parallel x\parallel }_{1}\le {M}_{1}\parallel x\parallel$, where ${\parallel x\parallel }_{1}$ denotes the norm of $|x|$.

5. (v)

There exist $0<{a}_{3}<\frac{1}{{M}_{1}r\left(B\right)}$ and a positive number r such that

$|Fx|\le {a}_{3}|x|,\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right),{B}_{r}\left(\theta \right)=\left\{x:\parallel x\parallel \le r\right\}.$

Then A has a nontrivial fixed point.

Remark 2.1 From Theorem 3.1 below, we point out that conditions (i) and (iv) of Theorem 2.1 appear naturally in the applications for nonlinear differential equations and integral equations.

Proof of Theorem 2.1 It follows from condition (v) that

$Fx=F{x}^{+}+F{x}^{-}.$

Thus, we have

$Ax=BFx=B\left(F{x}^{+}+F{x}^{-}\right)=A{x}^{+}+A{x}^{-}.$

By virtue of (2.1) and (2.2), we have

$Ax=BFx\ge {a}_{1}Bx-{u}_{1},\phantom{\rule{1em}{0ex}}x\in P$
(2.3)

and

$Ax=BFx\ge {a}_{2}Bx-{u}_{2},\phantom{\rule{1em}{0ex}}x\in \left(-P\right),$
(2.4)

where ${u}_{1}=B{y}_{1}\in P$ and ${u}_{2}=B{y}_{2}\in P$. Since $0<{a}_{2}<{r}^{-1}\left(B\right)$, Lemma 1.1 yields that ${\left(I-{a}_{2}B\right)}^{-1}$ is a positive linear operator. Let ${u}_{0}={u}_{1}+{u}_{2}$ and $w=-2{\left(I-{a}_{2}B\right)}^{-1}{u}_{0}$, then $w\in \left(-P\right)$ and $w-{a}_{2}Bw=-2{u}_{0}$. This shows ${a}_{2}Bw-{u}_{0}=w+{u}_{0}\ge w$. For $x\ge w$, by $w\in \left(-P\right)$ we infer $\theta \ge {x}^{-}\ge w$. On account of (2.3) and (2.4), we arrive at

$Ax=A{x}^{+}+A{x}^{-}\ge {a}_{1}B{x}^{+}-{u}_{1}+{a}_{2}B{x}^{-}-{u}_{2}\ge {a}_{1}B{x}^{+}+{a}_{2}Bw-{u}_{0}\ge {a}_{1}B{x}^{+}+w.$

This implies

$A\left({P}_{w}\right)\subset {P}_{w},\phantom{\rule{2em}{0ex}}Ax\ge {a}_{1}Bx+w,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in {P}_{w}=\left\{x\in H,x\ge w\right\}.$

It is easy to see that ${P}_{w}$ is a closed convex subset of H.

By the definition of gradient operator and $\mathrm{\Phi }\in {C}^{1}\left({P}_{w},R\right)$, we have

$\mathrm{\Phi }\left(x\right)=\frac{1}{2}{\parallel x\parallel }^{2}-{\int }_{0}^{1}\left(A\left(sx\right),x\right)\phantom{\rule{0.2em}{0ex}}ds.$

Noticing $\mathrm{\Phi }\left(\theta \right)=0$, we claim that there is a mountain surrounding θ and $\mathrm{\exists }\alpha >0$, $\mathrm{\exists }\rho >0$ and ${x}_{0}\in {P}_{w}-{B}_{\rho }\left(\theta \right)$ with $\mathrm{\Phi }\left({x}_{0}\right)=0$. Indeed, from (v), we have $r>0$ such that

$|Fx|\le {a}_{3}|x|,\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right).$

Replacing x by ${x}^{+}$ in the above inequality, we have $|F{x}^{+}|\le {a}_{3}{x}^{+}$. Thus,

$-{a}_{3}{x}^{+}\le F{x}^{+}\le {a}_{3}{x}^{+},\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right).$

Similarly, we have

${a}_{3}{x}^{-}\le F{x}^{-}\le -{a}_{3}{x}^{-},\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right).$

Thus by (i), for $x\in {B}_{r}\left(\theta \right)$, we have

$\begin{array}{rcl}\left(A\left(sx\right),x\right)& =& \left(A\left(s{x}^{+}\right)+A\left(s{x}^{-}\right),{x}^{+}+{x}^{-}\right)\\ =& \left(A\left(s{x}^{+}\right),{x}^{+}\right)+\left(A\left(s{x}^{+}\right),{x}^{-}\right)+\left(A\left(s{x}^{-}\right),{x}^{+}\right)+\left(A\left(s{x}^{-}\right),{x}^{-}\right)\\ \le & \left({a}_{3}B\left(s{x}^{+}\right),{x}^{+}\right)-\left({a}_{3}B\left(s{x}^{+}\right),{x}^{-}\right)-\left({a}_{3}B\left(s{x}^{-}\right),{x}^{+}\right)+\left({a}_{3}B\left(s{x}^{-}\right),{x}^{-}\right)\\ =& s{a}_{3}\left(B\left(|x|\right),|x|\right).\end{array}$

Let ${B}_{1}={a}_{3}{M}_{1}B$. Then by (iv) we get

$\begin{array}{rcl}\mathrm{\Phi }\left(x\right)& \ge & \frac{1}{2}{\parallel x\parallel }^{2}-{\int }_{0}^{1}s{a}_{3}\left(B|x|,|x|\right)\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{1}{2}\left({\parallel x\parallel }^{2}-\left({a}_{3}B|x|,|x|\right)\right)\\ \ge & \frac{1}{2{M}_{1}}\left({\parallel x\parallel }_{1}^{2}-\left({B}_{1}|x|,|x|\right)\right)=\frac{1}{2{M}_{1}}\left(\left(I-{B}_{1}\right)|x|,|x|\right),\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right).\end{array}$

Since $r\left({B}_{1}\right)<1$, Lemma 1.1 yields that ${\left(I-{B}_{1}\right)}^{-1}$ exists and

${\left(I-{B}_{1}\right)}^{-1}=I+{B}_{1}+{B}_{1}^{2}+\cdots +{B}_{1}^{n}+\cdots .$
(2.5)

It follows from ${B}_{1}\left(P\right)\subset P$ that ${\left(I-{B}_{1}\right)}^{-1}\left(P\right)\subset P$. So we know that

${\parallel x\parallel }_{1}\le \parallel {\left(I-{B}_{1}\right)}^{-1}\parallel \parallel y\parallel ,\phantom{\rule{1em}{0ex}}y=\left(I-{B}_{1}\right)\left(|x|\right).$

Combining with (2.5), we have

$\begin{array}{rcl}\mathrm{\Phi }\left(x\right)& \ge & \frac{1}{2{M}_{1}}\left(\left(I-{B}_{1}\right)\left(|x|\right),|x|\right)=\frac{1}{2{M}_{1}}\left(y,{\left(I-{B}_{1}\right)}^{-1}y\right)\\ \ge & \frac{1}{2{M}_{1}}\left(y,y\right)\ge \frac{1}{2{M}_{1}}{\parallel {\left(I-{B}_{1}\right)}^{-1}\parallel }^{-2}{\parallel x\parallel }_{1}^{2}\\ \ge & \frac{{M}_{2}^{2}}{2{M}_{1}}{\parallel {\left(I-{B}_{1}\right)}^{-1}\parallel }^{-2}{\parallel x\parallel }^{2},\phantom{\rule{1em}{0ex}}x\in {B}_{r}\left(\theta \right).\end{array}$

Therefore $\mathrm{\exists }\alpha >0$, $\mathrm{\exists }{\rho }^{\prime }>0$ such that $\mathrm{\Phi }{|}_{{\partial }_{{P}_{w}}{B}_{{\rho }^{\prime }}\left(\theta \right)}\ge \alpha$.

Next, we take ${x}_{0}=s\phi$, where $\phi >\theta$ is the normalized first eigenfunction of B, and $s>0$ is to be determined. Set

$g\left(s\right)=\mathrm{\Phi }\left(s\phi \right)=\frac{{s}^{2}}{2}-{\int }_{0}^{1}\left(A\left(\tau s\phi \right),s\phi \right)\phantom{\rule{0.2em}{0ex}}d\tau .$

From (2.3), we have

$\begin{array}{rcl}g\left(s\right)& \le & \frac{{s}^{2}}{2}-{\int }_{0}^{1}\left({a}_{1}B\left(\tau s\phi \right),s\phi \right)\phantom{\rule{0.2em}{0ex}}d\tau +s\parallel B{y}_{1}\parallel \\ =& \frac{{s}^{2}}{2}\left(1-\left({a}_{1}B\phi ,\phi \right)\right)+s\parallel B{y}_{1}\parallel \\ =& \frac{{s}^{2}}{2}\left(1-{a}_{1}r\left(B\right)\right)+s\parallel B{y}_{1}\parallel .\end{array}$

So we have $g\left(s\right)\to -\mathrm{\infty }$ as $s\to +\mathrm{\infty }$. Therefore there exists ${s}_{0}>0$ satisfying $g\left({s}_{0}\right)=0$, set $s={s}_{0}$, ${x}_{0}$ is as required. Hence Theorem 2.1 holds by Lemma 2.1. □

## 3 Application

Consider the two-point boundary value problem

$\left\{\begin{array}{l}{x}^{″}\left(t\right)=f\left(t,x\left(t\right)\right),\phantom{\rule{1em}{0ex}}t\in \left(0,1\right),\\ x\left(0\right)=x\left(1\right)=0.\end{array}$
(3.1)

Here f is a continuous function from into .

Let $H={H}_{0}^{1}\left(0,1\right)$ with the inner product and norm

$\left(u,v\right)={\int }_{0}^{1}{u}^{\prime }{v}^{\prime }\phantom{\rule{0.2em}{0ex}}dt,\phantom{\rule{2em}{0ex}}\parallel u\parallel ={\left({\int }_{0}^{1}{\left({u}^{\prime }\right)}^{2}\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}},$

and $P=\left\{u\in H\mid u\left(t\right)\ge 0\right\}$, then H is a lattice under the partial ordering induced by P.

Let $X={L}^{2}\left(0,1\right)$ with the cone

${P}_{1}=\left\{u\in X\mid u\left(t\right)\ge 0\right\}.$

For any $x\in H$, it is evident that

and hence ${\parallel x\parallel }_{1}=\parallel x\parallel$ and so condition (iv) of Theorem 2.1 holds with ${M}_{1}={M}_{2}=1$.

Let

$\left(Bx\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)x\left(s\right)\phantom{\rule{0.2em}{0ex}}ds$
(3.2)

with

$G\left(t,s\right)=\left\{\begin{array}{ll}t\left(1-s\right),& 0\le t\le s\le 1,\\ s\left(1-t\right),& 0\le s\le t\le 1.\end{array}$

It is easy to see that $B:{P}_{1}\to P$ is a positive bounded linear operator satisfying ${\left(Bx\right)}^{″}\left(t\right)=-x$. For any $x\in {P}_{1}$, $y\in P$, we have

$\begin{array}{rcl}\left(Bx,y\right)& =& {\int }_{0}^{1}{\left(Bx\right)}^{\prime }\left(t\right){y}^{\prime }\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& -{\int }_{0}^{1}{\left(Bx\right)}^{″}\left(t\right)y\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{1}x\left(t\right)y\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\ge 0\end{array}$

and so condition (1) of Theorem 2.1 holds.

As is well known, B has an unbounded sequence of eigenvalues:

${\lambda }_{n}={n}^{2}\pi ,\phantom{\rule{1em}{0ex}}n=1,2,\dots .$

The algebraic multiplicities of every eigenvalue are simple, and the spectral radius $r\left(B\right)={\lambda }_{1}^{-1}=\frac{1}{{\pi }^{2}}$ and ${\lambda }_{1}B\left(sin\pi t\right)=sin\pi t$.

Theorem 3.1 Let $f\left(t,u\right):\left[0,1\right]×\mathbb{R}\to \mathbb{R}$ be continuous. Suppose that there exists $\epsilon >0$ such that

(3.3)
(3.4)
(3.5)

Then (3.1) has at least one nontrivial solution.

Proof We define the functional $\mathrm{\Phi }:H\to \mathbb{R}$ as

$\mathrm{\Phi }\left(u\right)={\int }_{0}^{1}\left(\frac{1}{2}{|{u}^{\prime }\left(t\right)|}^{2}-{\int }_{0}^{u\left(t\right)}f\left(t,\tau \right)\phantom{\rule{0.2em}{0ex}}d\tau \right)\phantom{\rule{0.2em}{0ex}}dt.$
(3.6)

One has that ${\mathrm{\Phi }}^{\prime }\left(x\right)y={\int }_{0}^{1}{x}^{\prime }{y}^{\prime }\phantom{\rule{0.2em}{0ex}}dt-{\int }_{0}^{1}\left(Fx\right)\left(t\right)y\phantom{\rule{0.2em}{0ex}}dt={\int }_{0}^{1}\left({x}^{\prime }-{\left(BFx\right)}^{\prime }\left(t\right)\right){y}^{\prime }\phantom{\rule{0.2em}{0ex}}dt$, which implies that ${\mathrm{\Phi }}^{\prime }\left(x\right)=x-BFx$ in H, where B is given by (3.2) and $\left(Fx\right)\left(t\right)=f\left(t,x\left(t\right)\right)$. Furthermore, from the properties of H, the regularity properties of Φ, it is easy to assert that the solutions to (3.1) are precisely the critical points of Φ.

By means of (3.3), (3.4) and (3.5), we know that there exist ${R}_{0}>r>0$ such that

$\begin{array}{c}f\left(u\right)\ge \left({\lambda }_{1}-\frac{\epsilon }{2}\right)u,\phantom{\rule{1em}{0ex}}u\le -{R}_{0},\hfill \\ f\left(u\right)\ge \left({\lambda }_{1}+\frac{\epsilon }{2}\right)u,\phantom{\rule{1em}{0ex}}u\ge {R}_{0},\hfill \\ |f\left(u\right)|\le \left({\lambda }_{1}-\frac{\epsilon }{2}\right)|u|,\phantom{\rule{1em}{0ex}}|u|\le r,\hfill \end{array}$

and therefore there exists a constant $M>0$ such that

$\begin{array}{c}Fx\ge \left({\lambda }_{1}-\frac{\epsilon }{2}\right)x-M,\phantom{\rule{1em}{0ex}}-x\in P,\hfill \\ Fx\ge \left({\lambda }_{1}+\frac{\epsilon }{2}\right)x-M,\phantom{\rule{1em}{0ex}}x\in P,\hfill \\ |Fx|\le \left({\lambda }_{1}-\frac{\epsilon }{2}\right)|x|,\phantom{\rule{1em}{0ex}}\parallel x\parallel \le r,\hfill \end{array}$

and so conditions (ii), (iii) and (iv) of Theorem 2.1 hold.

From the above discussion, in order to apply Theorem 2.1, we only need to verify that Φ satisfies the PS condition. Suppose that $\left\{{x}_{n}\right\}\subset H$ satisfies ${\mathrm{\Phi }}^{\prime }\left({x}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$ and $|\mathrm{\Phi }\left({x}_{n}\right)|\le C$. Taking the inner product of ${\mathrm{\Phi }}^{\prime }\left({x}_{n}\right)$ and ${x}_{n}^{-}$, we have

$\circ \left(1\right)\parallel {x}_{n}^{-}\parallel ={\parallel {x}_{n}^{-}\parallel }^{2}-{\int }_{0}^{1}f\left(t,{x}_{n}\right){x}_{n}^{-}\phantom{\rule{0.2em}{0ex}}dt.$

We have

$\begin{array}{rcl}-{\int }_{0}^{1}f\left(t,{x}_{n}\right){x}_{n}^{-}\phantom{\rule{0.2em}{0ex}}dt& \ge & -{\int }_{x\left(t\right)\le {R}_{0}}f\left(t,{x}_{n}\right){x}_{n}^{-}\phantom{\rule{0.2em}{0ex}}dt\\ \ge & -{\int }_{x\left(t\right)\le -{R}_{0}}f\left(t,{x}_{n}\right){x}_{n}^{-}\phantom{\rule{0.2em}{0ex}}dt-{C}_{1}\parallel {x}_{n}^{-}\parallel ,\end{array}$

which implies

$-{\int }_{0}^{1}f\left(t,{x}_{n}\right){x}_{n}^{-}\phantom{\rule{0.2em}{0ex}}dt\ge -\left({\lambda }_{1}-\frac{1}{2}\epsilon \right){\int }_{0}^{1}{|{x}_{n}^{-}|}^{2}\phantom{\rule{0.2em}{0ex}}dt-{C}_{1}\parallel {x}_{n}^{-}\parallel .$

Then we have

$\circ \left(1\right)\parallel {x}_{n}^{-}\parallel \ge {\parallel {x}_{n}^{-}\parallel }^{2}-\left({\lambda }_{1}-\frac{1}{2}\epsilon \right){\int }_{0}^{1}{|{x}_{n}^{-}|}^{2}\phantom{\rule{0.2em}{0ex}}dt-{C}_{1}\parallel {x}_{n}^{-}\parallel \ge \frac{\epsilon }{2{\lambda }_{1}}{\parallel {x}_{n}^{-}\parallel }^{2}-{C}_{1}\parallel {x}_{n}^{-}\parallel ,$

which gives a bound for $\left\{{x}_{n}^{-}\right\}$. Then both $\mathrm{\Phi }\left({x}_{n}^{-}\right)$ and $\mathrm{\Phi }\left({x}_{n}^{+}\right)$ are bounded. In order to find a bound for $\left\{{x}_{n}^{+}\right\}$, we use a contradiction argument and assume that $\parallel {x}_{n}^{+}\parallel \to \mathrm{\infty }$ as $n\to \mathrm{\infty }$. Defining ${v}_{n}=\frac{{x}_{n}^{+}}{\parallel {x}_{n}^{+}\parallel }$ and selecting a subsequence if necessary, we have ${v}_{n}\to v$ weakly in H and strongly in X as $n\to \mathrm{\infty }$ for some $v\in H$, $v\ge 0$. Since ${\int }_{0}^{u}f\left(t,\tau \right)\phantom{\rule{0.2em}{0ex}}d\tau \le {C}_{2}{|u|}^{2}$ for $u\ge 0$ and $\mathrm{\Phi }\left({x}_{n}^{+}\right)$ is bounded, it follows from (3.6) that

$\frac{1}{2}=\frac{\mathrm{\Phi }\left({x}_{n}^{+}\right)}{{\parallel {x}_{n}^{+}\parallel }^{2}}+{\int }_{0}^{1}\frac{{\int }_{0}^{{x}_{n}^{+}}f\left(t,\tau \right)\phantom{\rule{0.2em}{0ex}}d\tau }{{\parallel {x}_{n}^{+}\parallel }^{2}}\phantom{\rule{0.2em}{0ex}}dt\le \circ \left(1\right)+{C}_{2}{\int }_{0}^{1}{v}_{n}^{2}\phantom{\rule{0.2em}{0ex}}dt,$

which implies that $v\ne 0$. The embedding theorem and the boundedness of $\left\{{x}_{n}^{-}\right\}$ in H guarantee that there exists ${M}_{1}>0$ such that ${x}_{n}^{-}\ge -{M}_{1}$ for all n. So $f\left(t,u\right)$ is bounded for $-{M}_{1}\le u\le {R}_{0}$. Taking the inner product of $\frac{{\mathrm{\Phi }}^{\prime }\left({x}_{n}\right)}{\parallel {x}_{n}^{+}\parallel }$ and $sin\pi t$, we see that

$\begin{array}{rcl}\left({v}_{n},sin\pi t\right)& =& \left(\frac{{\mathrm{\Phi }}^{\prime }\left({x}_{n}\right)}{\parallel {x}_{n}^{+}\parallel },sin\pi t\right)-\left(\frac{{x}_{n}^{-}}{\parallel {x}_{n}^{+}\parallel },sin\pi t\right)+{\int }_{0}^{1}\frac{f\left(t,{x}_{n}\right)}{\parallel {x}_{n}^{+}\parallel }sin\pi t\phantom{\rule{0.2em}{0ex}}dt\\ \ge & \circ \left(1\right)+{\int }_{0}^{1}\frac{\left({\lambda }_{1}+\frac{\epsilon }{2}\right){x}_{n}^{+}-M}{\parallel {x}_{n}^{+}\parallel }sin\pi t\phantom{\rule{0.2em}{0ex}}dt\\ \ge & \circ \left(1\right)+\left({\lambda }_{1}+\frac{\epsilon }{2}\right){\int }_{0}^{1}{v}_{n}sin\pi t\phantom{\rule{0.2em}{0ex}}dt.\end{array}$

Letting $n\to \mathrm{\infty }$, we obtain

${\lambda }_{1}{\int }_{0}^{1}{v}_{n}sin\pi t\phantom{\rule{0.2em}{0ex}}dt\ge \left({\lambda }_{1}+\frac{\epsilon }{2}\right){\int }_{0}^{1}{v}_{n}sin\pi t\phantom{\rule{0.2em}{0ex}}dt,$

which is a contradiction. Thus, $\left\{{x}_{n}\right\}$ is bounded in H and it has a convergent subsequence, as a standard consequence. □

## References

1. Deimling K: Nonlinear Functional Analysis. Springer, New York; 1985.

2. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego; 1988.

3. Luxemburg WAJ, Zaanen AC 1. In Riesz Space. North-Holland, London; 1971.

4. Cui Y, Sun J: Fixed point theorems for a class of nonlinear operators in Hilbert spaces and applications. Positivity 2011, 15: 455–464. 10.1007/s11117-010-0095-3

5. Krasnoselskii MA: Positive Solutions of Operator Equations. Noordhoff, Groningen; 1964.

6. Liu X, Sun J: Computation of topological degree of unilaterally asymptotically linear operators and its applications. Nonlinear Anal. 2009, 71: 96–106. 10.1016/j.na.2008.10.032

7. Sun J, Liu X: Computation of topological degree for nonlinear operators and applications. Nonlinear Anal. 2008, 69: 4121–4130. 10.1016/j.na.2007.10.042

8. Sun J, Liu X: Computation of topological degree in ordered Banach spaces with lattice structure and its application to superlinear differential equations. J. Math. Anal. Appl. 2008, 348: 927–937. 10.1016/j.jmaa.2008.05.023

9. Sun J, Liu X: Computation for topological degree and its applications. J. Math. Anal. Appl. 1996, 202: 785–796. 10.1006/jmaa.1996.0347

10. Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc. 2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1

11. O’Regan D, Petruşel A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026

12. Nieto JJ, Rodríguez-López R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 2007, 23: 2205–2212. 10.1007/s10114-005-0769-0

13. Chifu C, Petruşel G: Fixed-point results for generalized contractions on ordered gauge spaces with applications. Fixed Point Theory Appl. 2011., 2011: Article ID 979586

14. Siegfried C, Seppo H: Fixed Point Theory in Ordered Sets and Applications. From Differential and Integral Equations to Game Theory. Springer, New York; 2011.

15. Chong KG: Infinite Dimensional Theory and Multiple Solution Problems. Birkhäuser, Boston; 1993.

16. Rabinowitz PH CBMS Reg. Conf. Ser. Math. 65. In Minimax Methods in Critical Point Theory with Applications to Differential Equations. Conference Board of the Mathematical Sciences, Washington; 1986.

17. Liu Z, Sun J: Invariant sets of descending flow in critical point theory with applications to nonlinear differential equations. J. Differ. Equ. 2001, 172: 257–299. 10.1006/jdeq.2000.3867

18. Guo D, Sun J, Qi G: Some extensions of the mountain pass lemma. Differ. Integral Equ. 1988, 1: 351–358.

## Acknowledgements

The authors would like to thank the referees for carefully reading this article and making valuable comments and suggestions. This work is supported by the Foundation items: NSFC (10971179, 11371221, 11071141, 61201431), the Postdoctoral Science Foundation of Shandong Province, NSF (BS2010SF023, BS2012SF022) of Shandong Province.

## Author information

Authors

### Corresponding author

Correspondence to Yujun Cui.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly to this research work. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Cui, Y., Sun, J. Fixed point theorems for a class of nonlinear operators in Hilbert spaces with lattice structure and application. Fixed Point Theory Appl 2013, 345 (2013). https://doi.org/10.1186/1687-1812-2013-345

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2013-345

### Keywords

• Hilbert Space
• Lattice Structure
• Fixed Point Theorem
• Bounded Linear Operator
• Nonlinear Operator 