## Abstract

This paper presents some theorems of the fixed point for decreasing operators in Banach spaces with lattice structure. The results are applied to nonlinear second-order elliptic equations.

**MSC:**47H10, 34B15.

Skip to main content
# Fixed point theorems for decreasing operators in ordered Banach spaces with lattice structure and their applications

## Abstract

## 1 Introduction and preliminaries

## 2 Main results

## 3 Corollaries and relative results

## 4 Applications

## References

## Acknowledgements

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

### Authors’ contributions

## Rights and permissions

## About this article

### Cite this article

### Keywords

- Research
- Open Access
- Published:

*Fixed Point Theory and Applications*
**volume 2013**, Article number: 18 (2013)

This paper presents some theorems of the fixed point for decreasing operators in Banach spaces with lattice structure. The results are applied to nonlinear second-order elliptic equations.

**MSC:**47H10, 34B15.

The fixed point theory for monotone operators in ordered Banach spaces has been investigated extensively in the past 30 years [1–8]. Many new fixed point theorems have been proved under the nonlinear contractive condition by using the theorem of cone and monotone iterative technique. These results have been applied to study the ordinary differential equations, partial differential equations, and integral equations.

In this paper, we investigate decreasing operators in ordered Banach spaces with lattice structure. The theoretical results of fixed points are extended by using the famous Schauder fixed point theorem for the operators. We weaken the conditions of the Schauder fixed point theorem. The results of this paper have no need for the closed bounded and convex property of domains for the operators. To demonstrate the applicability of our results, we apply them to study a problem of nonlinear second-order elliptic equations in the final section of the paper, and the existence of solution is obtained.

Let *E* be a Banach space and *P* be a cone of *E*. We define a partial ordering ≤ with respect to *P* by x\le y if only if y-x\in P. A cone P\subset E is called normal if there is a constant N>0 such that \theta \le x\le y implies \parallel x\parallel \le N\parallel y\parallel for all x,y\in E. The least positive constant *N* satisfying the above inequality is called the normal constant of *P*.

Let *E* be a partially ordered set. We call *E* a lattice in the partial ordering ≤. For arbitrary x,y\in E, sup\{x,y\} and inf\{x,y\} exist. One can see [7] for the definition and the properties of the lattice.

Let D\subset E, the operator A:D\u27f6E is said to be an increasing operator if x,y\in D, x\le y, implies Ax\le Ay; the operator A:D\u27f6E is said to be a decreasing operator if x,y\in D, x\le y, implies Ay\le Ax.

**Lemma 1.1** [9]

*Let* *E* *be a real Banach space*, D\subset E *be nonempty*, *closed bounded convex*, *and* A:D\to D *be condensing*. *Then* *A* *has a fixed point in* *D*.

**Lemma 1.2** [10]

*Let* *E* *be a real Banach space*, D\subset E *be nonempty*, *closed bounded convex*, *and* A:D\to D *be completely continuous*. *Then* *A* *has a fixed point in* *D*.

**Lemma 1.3** [11]

*Let* *E* *be a real Banach space*, D\subset E *be nonempty*, *closed bounded convex*, *and* A:D\to D *be strict*-*set*-*contraction mappings*. *Then* *A* *has a fixed point in* *D*.

**Remark 1** Lemma 1.1 is the famous Sadovskii fixed point theorem; Lemma 1.2 is the famous Schauder fixed point theorem; Lemma 1.3 is the famous Darbo fixed point theorem.

**Theorem 2.1** *Let* *E* *be an ordered Banach space with lattice structure*, D\subset E *be bounded*, *and* A:D\u27f6D *be a decreasing and condensing operator*. *Then the operator* *A* *has a fixed point in* *D*.

*Proof* For any x\in D, since A:D\u27f6D, we have Ax\in D.

Since *E* is a Banach space with lattice structure and D\subset E is bounded, there exists {u}_{0}\in D such that

inf\{Ax,x\}={u}_{0}.

That is,

{u}_{0}\le Ax,\phantom{\rule{2em}{0ex}}{u}_{0}\le x.

(2.1)

Since *A* is a decreasing operator, we have

{A}^{2}x\le A{u}_{0},\phantom{\rule{2em}{0ex}}Ax\le A{u}_{0}.

(2.2)

(2.1) and (2.2) show that

{u}_{0}\le A{u}_{0}.

(2.3)

Similar to the proof of (2.3), there exists {v}_{0}\in D such that

sup\{Ax,x\}={v}_{0}.

That is,

Ax\le {v}_{0},\phantom{\rule{2em}{0ex}}x\le {v}_{0}.

(2.4)

Since *A* is a decreasing operator, we have

A{v}_{0}\le {A}^{2}x,\phantom{\rule{2em}{0ex}}A{v}_{0}\le Ax.

(2.5)

(2.4) and (2.5) show that

A{v}_{0}\le {v}_{0}.

(2.6)

(2.3) and (2.6) together with {u}_{0}\le {v}_{0} show that

{u}_{0}\le A{v}_{0}\le A{u}_{0}\le {v}_{0}.

(2.7)

For any x\in [{u}_{0},{v}_{0}], since *A* is a decreasing operator, we have

A{v}_{0}\le Ax\le A{u}_{0}.

By (2.7), we have

A[{u}_{0},{v}_{0}]\u27f6[{u}_{0},{v}_{0}].

It is easy to know that [{u}_{0},{v}_{0}] is a closed convex set. Since D\subset E is bounded, we have [{u}_{0},{v}_{0}] is bounded. Hence, [{u}_{0},{v}_{0}] is a closed bounded convex set. Thus, Lemma 1.1 implies that the operator *A* has a fixed point in *D*. □

**Theorem 2.2** *Let* *E* *be an ordered Banach space with lattice structure*, P\subset E *be a normal cone*, *and* A:E\u27f6E *be a decreasing and condensing operator*. *Then the operator* *A* *has a fixed point in* *E*.

*Proof* For any x\in E, since A:E\u27f6E, we have Ax\in E.

Since *E* is a Banach space with lattice structure, there exists {u}_{0}\in E such that

inf\{Ax,x\}={u}_{0}.

That is,

{u}_{0}\le Ax,\phantom{\rule{2em}{0ex}}{u}_{0}\le x.

(2.8)

Since *A* is a decreasing operator, we have

{A}^{2}x\le A{u}_{0},\phantom{\rule{2em}{0ex}}Ax\le A{u}_{0}.

(2.9)

(2.8) and (2.9) show that

{u}_{0}\le A{u}_{0}.

(2.10)

Similar to the proof of (2.10), there exist {v}_{0}\in E such that

sup\{Ax,x\}={v}_{0}.

That is,

Ax\le {v}_{0},\phantom{\rule{2em}{0ex}}x\le {v}_{0}.

(2.11)

Since *A* is a decreasing operator, we have

A{v}_{0}\le {A}^{2}x,\phantom{\rule{2em}{0ex}}A{v}_{0}\le Ax.

(2.12)

(2.11) and (2.12) show that

A{v}_{0}\le {v}_{0}.

(2.13)

(2.10) and (2.13) together with {u}_{0}\le {v}_{0} show that

{u}_{0}\le A{v}_{0}\le A{u}_{0}\le {v}_{0}.

(2.14)

For any x\in [{u}_{0},{v}_{0}], since *A* is a decreasing operator, we have

A{v}_{0}\le Ax\le A{u}_{0}.

By (2.14), we have

A[{u}_{0},{v}_{0}]\u27f6[{u}_{0},{v}_{0}].

It is easy to know that [{u}_{0},{v}_{0}] is a closed convex set. Since *P* is a normal cone of *E*, we have [{u}_{0},{v}_{0}] is bounded. Hence, [{u}_{0},{v}_{0}] is a closed bounded convex set. Thus, Lemma 1.1 implies that the operator *A* has a fixed point in *D*. □

Similar to the proof of Theorem 2.1, by Lemma 1.2 and Lemma 1.3, we can get the following corollaries and relative results.

**Corollary 3.1** *Let* *E* *be an ordered Banach space with lattice structure*, D\subset E *be bounded*, *and* A:D\u27f6D *be a decreasing and completely continuous operator*. *Then the operator* *A* *has a fixed point in* *D*.

**Corollary 3.2** *Let* *E* *be an ordered Banach space with lattice structure*, P\subset E *be a normal cone*, *and* A:E\u27f6E *be a decreasing and completely continuous operator*. *Then the operator* *A* *has a fixed point in* *E*.

**Corollary 3.3** *Let* *E* *be an ordered Banach space with lattice structure*, D\subset E *be bounded*, *and* A:D\u27f6D *be a decreasing and strict*-*set*-*contraction mapping*. *Then the mapping* *A* *has a fixed point in* *D*.

**Corollary 3.4** *Let* *E* *be an ordered Banach space with lattice structure*, P\subset E *be a normal cone*, *and* A:E\u27f6E *be a decreasing and strict*-*set*-*contraction mapping*. *Then the mapping* *A* *has a fixed point in* *E*.

In this section, we use Theorem 2.1 to show the existence of a solution for the uniformly elliptic differential problem. Let Ω be a bounded convex domain in {R}^{n} (n\ge 2) whose boundary *∂* Ω is assumed to be sufficiently smooth. Consider a uniformly elliptic differential operator on \overline{\mathrm{\Omega}}

Lu=-\sum _{i,j=1}^{n}{a}_{ij}(x)\frac{{\partial}^{2}u}{\partial {x}_{i}{x}_{j}}+\sum _{i,j=1}^{n}{b}_{i}(x)\frac{\partial u}{\partial {x}_{i}}+c(x)u

*i.e.*, there exists a positive constant {\mu}_{0} such that {\sum}_{i,j=1}^{n}{a}_{ij}(x){\xi}_{i}\xi j\ge {\mu}_{0}{|\xi |}^{2} for any x\in \overline{\mathrm{\Omega}} and \xi =({\xi}_{1},{\xi}_{2},\dots ,{\xi}_{n})\in {R}^{n}, where {a}_{ij}(x)={a}_{ji}(x), c(x)\ge 0. For the sake of simplicity, we will assume that all functions {a}_{ji}(x), {b}_{i}(x), c(x) are sufficiently smooth.

Considering the Dirichlet problem

Lu=f(x,u),\phantom{\rule{1em}{0ex}}u{|}_{\partial \mathrm{\Omega}}=0,

(4.1)

we have the following conclusions.

**Theorem 4.1** *Suppose that* f(x,u)\in C(\overline{\mathrm{\Omega}}\times [0,\mathrm{\infty}),[0,\mathrm{\infty})), *which is decreasing on* *u*, *then the problem* (4.1) *has a positive solution*.

*Proof* It is easy to know that E=C(\overline{\mathrm{\Omega}}) is a Banach space with a maximum norm \parallel \cdot \parallel and it is also a lattice. Let P=\{u\in E\mid u(t)\ge 0,\mathrm{\forall}t\in I\} and *P* be a normal cone in *E*. It is well known (see [1, 10]) that the solution of the Dirichlet problem (4.1) is equivalent to the fixed point of the integral operator *A*

Au(x)={\int}_{\overline{\mathrm{\Omega}}}G(x,y)f(y,u(y))\phantom{\rule{0.2em}{0ex}}dy,

where G(x,y) denotes the Green function of a differential operator L with boundary condition u{|}_{\partial \mathrm{\Omega}}=0. It is also well known that G(x,y) satisfies the following inequality:

0<G(x,y)<\{\begin{array}{cc}{K}_{0}{|x-y|}^{2-n},\hfill & n>2,\hfill \\ {K}_{0}|ln|x-y||,\hfill & n=2\hfill \end{array}\phantom{\rule{1em}{0ex}}(x,y\in \mathrm{\Omega},x\ne y).

Hence, the linear integral operator

Bv(x)={\int}_{\overline{\mathrm{\Omega}}}G(x,y)v(y)\phantom{\rule{0.2em}{0ex}}dy

is a completely continuous operator from *E* into *E*. Clearly, the superposition operator F\varphi (x)=f(x,\varphi (x)) that maps *P* into *P* is continuous and bounded. Therefore, the operator A=BF that maps *P* into *P* is completely continuous, and thus *A* is condensing.

Moreover, the mapping *A* is decreasing in *u*. In fact, by hypotheses, for u\ge v,

f(t,u(x))\le f(t,v(x)),

implies that

\begin{array}{rl}(Au)(x)& ={\int}_{\overline{\mathrm{\Omega}}}G(x,y)f(y,u(y))\phantom{\rule{0.2em}{0ex}}dy\\ \le {\int}_{\overline{\mathrm{\Omega}}}G(x,y)f(y,v(y))\phantom{\rule{0.2em}{0ex}}dy=(Av)(x),\phantom{\rule{1em}{0ex}}x\in \overline{\mathrm{\Omega}},\end{array}

so *A* is decreasing.

So, the condition of Theorem 2.1 holds, Theorem 4.1 is proved. □

Guo D: Positive fixed points and eigenvectors of noncompact decreasing operators with applications to nonlinear integral equations.

*Chin. Ann. Math., Ser. B*1993, 4: 419–426.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(12):2203–2212.O’Regan D, Petrusel 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.026Nieto 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-1Sadarangani K, Caballero J, Harjani J: Contractive-like mapping principles in ordered metric spaces and application to ordinary differential equations.

*Fixed Point Theory Appl.*2010., 2010: Article ID 916064Nieto JJ: An abstract monotone iterative technique.

*Nonlinear Anal.*1997, 28: 1923–1933. 10.1016/S0362-546X(97)89710-6Wu Y: New fixed point theorems and applications of mixed monotone operator.

*J. Math. Anal. Appl.*2008, 341: 883–893. 10.1016/j.jmaa.2007.10.063Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications.

*Nonlinear Anal. TMA*2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017Sadovskii BN: A fixed point principle.

*Funct. Anal. Appl.*1967, 1: 151–153.Gnana Bhaskar T, Bose RK:

*Some Topics in Nonlinear Functional Analysis*. Wiley, New Delhi; 1985.Darbo G: Punti uniti in trasformazioni a condominio non compatto.

*Rend. Semin. Mat. Univ. Padova*1955, 24: 84–92.

The first author was supported financially by the NSFC (71240007, 11001151), NSFSP (ZR2010AM005).

The authors declare that they have no competing interests.

XL carried out the the main theorem and the main conclusion. ZW carried out the application of the main theorem. All authors read and approved the final manuscript.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Li, X., Wang, Z. Fixed point theorems for decreasing operators in ordered Banach spaces with lattice structure and their applications.
*Fixed Point Theory Appl* **2013**, 18 (2013). https://doi.org/10.1186/1687-1812-2013-18

Received:

Accepted:

Published:

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

- decreasing operators
- lattice structure
- nonlinear
- elliptic equations