- Research
- Open Access

# Existence and uniqueness of positive solutions to boundary value problem with increasing homeomorphism and positive homomorphism operator

- Fenghua Miao
^{1}, - Chenxing Zhou
^{1}and - Yueqiang Song
^{2}Email author

**2014**:20

https://doi.org/10.1186/1687-1847-2014-20

© Miao et al.; licensee Springer. 2014

**Received: **5 August 2013

**Accepted: **17 December 2013

**Published: **16 January 2014

## Abstract

In this paper, we consider the following nonlinear boundary value problem: ${(\phi ({u}^{\prime}(t)))}^{\prime}+a(t)f(u(t))=0$, $0<t<1$, $u(0)={\sum}_{i=1}^{m-2}{\alpha}_{i}u({\xi}_{i})$, ${u}^{\prime}(1)=0$, where $\phi :\mathbb{R}\u27f6\mathbb{R}$ is an increasing homeomorphism and positive homomorphism with $\phi (0)=0$. By using a fixed-point theorem on partially ordered sets, we obtain sufficient conditions for the existence and uniqueness of positive and nondecreasing solutions to the above boundary value problem.

**MSC:**34B18, 34B27.

## Keywords

- partially ordered sets
- fixed-point theorem
- positive solution

## 1 Introduction

where $\phi :\mathbb{R}\to \mathbb{R}$ is an increasing homeomorphism and positive homomorphism with $\phi (0)=0$. Here ${\xi}_{i}\in (0,1)$ with $0<{\xi}_{1}<{\xi}_{2}<\cdots <{\xi}_{m-2}<1$ and ${\alpha}_{i}$ satisfy ${\alpha}_{i}\in [0,+\mathrm{\infty})$, $0<{\sum}_{i=1}^{m-2}{\alpha}_{i}<1$.

- (1)
$\phi (x)\le \phi (y)$, for all $x,y\in \mathbb{R}$ with $x\le y$;

- (2)
*φ*is a continuous bijection and its inverse mapping is also continuous; - (3)
$\phi (xy)=\phi (x)\phi (y)$, for all $x,y\in {\mathbb{R}}_{+}$.

- (4)
$\phi (xy)=\phi (x)\phi (y)$, for all $x,y\in \mathbb{R}$, where $\mathbb{R}=(-\mathrm{\infty},+\mathrm{\infty})$.

**Remark 1.1** If conditions (1), (2), and (4) hold, then it implies that *φ* is homogeneous generating a *p*-Laplace operator, *i.e.* $\phi (x)={|x|}^{p-2}x$, for some $p>1$.

Recently, the existence and multiplicity of positive solutions for the *p*-Laplacian operator, *i.e.*, $\phi (x)={|x|}^{p-2}x$, for some $p>1$, have received wide attention, see [1–3] and references therein. We know that the oddness of a *p*-Laplacian operator is key to the proof. However, in this paper we define a new operator, which improves and generates a *p*-Laplacian operator for some $p>1$, and *φ* is not necessarily odd. Moreover research of increasing homeomorphisms and positive homomorphism operators has proceeded very slowly, see [4, 5].

where $\phi :\mathbb{R}\to \mathbb{R}$ is an increasing homeomorphism and positive homomorphism and $\phi (0)=0$. They obtain the existence of one or two positive solutions by using a fixed-point index theorem in cones. But the uniqueness of the solution is not treated.

In [5], the authors showed that there exist countably many positive solutions by using the fixed-point index theory and a new fixed-point theorem in cones. They also assumed that the operator $\phi :\mathbb{R}\to \mathbb{R}$ is an increasing homeomorphism and a positive homomorphism, and $\phi (0)=0$.

In [6], the authors established the existence and uniqueness of a positive and nondecreasing solution to a singular boundary value problem of a class of nonlinear fractional differential equation. Their analysis relies on a fixed-point theorem in partially ordered sets. The existence of a fixed point in partially ordered sets has been considered recently in [6–10].

But whether or not we can obtain the existence and uniqueness of a positive and nondecreasing solution to the boundary value problem (1.1)-(1.2) still remains unknown. So, motivated by all the works above, we will prove the existence and uniqueness of a positive and nondecreasing solution for the boundary value problems (1.1)-(1.2) by using a fixed-point theorem on partially ordered sets.

## 2 Some definitions and fixed-point theorems

**Definition 2.1**Let $(E,\parallel \cdot \parallel )$ be a real Banach space. A nonempty, closed, convex set $P\subset E$ is said to be a cone provided the following are satisfied:

- (a)
if $y\in P$ and $\lambda \ge 0$, then $\lambda y\in P$;

- (b)
if $y\in P$ and $-y\in P$, then $y=0$.

If $P\subset E$ is a cone, we denote the order induced by *P* on *E* by ≤, that is, $x\le y$ if and only if $y-x\in P$.

The following fixed-point theorems in partially ordered sets are fundamental and important to the proofs of our main results.

**Theorem 2.1** ([7])

*Let*$(E,\le )$

*be a partially ordered set and suppose that there exists a metric*

*d*

*in*

*E*

*such that*$(E,d)$

*is a complete metric space*.

*Assume that*

*E*

*satisfies the following condition*:

*Let*$T:E\to E$

*be a nondecreasing mapping such that*

*where* $\psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ *is a continuous and nondecreasing function such that* *ψ* *is positive in* $(0,+\mathrm{\infty})$, $\psi (0)=0$ *and* ${lim}_{t\to \mathrm{\infty}}\psi (t)=\mathrm{\infty}$. *If there exists* ${x}_{0}\in E$ *with* ${x}_{0}\le T({x}_{0})$, *then* *T* *has a fixed point*.

then we have the following result.

**Theorem 2.2** ([8])

*Adding condition* (2.2) *to the hypotheses of Theorem * 2.1, *we obtain uniqueness of the fixed point*.

## 3 Main results

*E*is a real Banach space with the norm $\parallel u\parallel ={max}_{0\le t\le 1}|u(t)|$. Note that this space can be equipped with a partial order given by

satisfies condition (2.1) of Theorem 2.1. Moreover, for $x,y\in C[0,1]$ as the function $max\{x,y\}\in C[0,1]$, $(C[0,1],\le )$ satisfies condition (2.2).

The main result of this paper is the following.

**Theorem 3.1**

*The boundary value problem*(1.1)-(1.2)

*has a unique positive solution*$u(t)$

*which is strictly increasing if the following conditions are satisfied*:

- (A)$a(t)$
*is a nonnegative measurable function defined in*$[0,1]$*and*$a(t)$*does not identically vanish on any subinterval of*$[0,1]$*and*$0<{\int}_{0}^{1}a(t)\phantom{\rule{0.2em}{0ex}}dt<+\mathrm{\infty};$

(f_{1}) $f:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ *is continuous and nondecreasing respect to* *u* *and* $f(u(t))\not\equiv 0$ *for* $t\in Z\subset [0,1]$ *with* $\mu (Z)>0$ (*μ* *denotes the Lebesgue measure*);

_{2})

*there exists*$1<\lambda +1<\frac{1-{\sum}_{i=1}^{m-2}{\alpha}_{i}}{{\phi}^{-1}({\int}_{0}^{1}a(\tau )\phantom{\rule{0.2em}{0ex}}d\tau )}$

*such that for*$u,v\in [0,+\mathrm{\infty})$

*with*$u\ge v$

*and*$t\in [0,1]$

*Proof*Consider the cone

As *K* is a closed set of $C[0,1]$, *K* is a complete metric space with the distance given by $d(u,v)={sup}_{t\in [0,1]}|u(t)-v(t)|$.

*T*defined by

By conditions (A), (f_{1}), we have $T(K)\subset K$.

We now show that all the conditions of Theorem 2.1 and Theorem 2.2 are satisfied.

_{1}), for $u,v\in K$ and $u\ge v$, we have

*T*is a nondecreasing operator. On the other hand, for $u\ge v$ and by (f

_{2}) we have

_{2}), then we have

_{1}), we know that

Therefore, by Theorem 2.1 we know that problem (1.1)-(1.2) has at least one nonnegative solution. As $(K,\le )$ satisfies condition (2.2), thus, Theorem 2.2 implies the uniqueness of the solution. By definition of *T* and conditions (A), (f_{1}), it is easy to prove that this solution $u(t)$ is strictly increasing. □

## 4 Example

**Example 4.1**Consider the boundary value problem

$a(t)=\frac{1}{5}{t}^{4}$ and $f(x)={[ln(x+2)]}^{2}$ for $x\in [0,+\mathrm{\infty})$.

*Proof*Note that

*f*is a continuous function and $f(x)>0$. Moreover,

*f*is nondecreasing with respect to

*x*since $\frac{\partial f}{\partial x}=\frac{2}{x+2}ln(x+2)>0$. On the other hand, for $u\ge v$, we have

In this case, $\lambda =1$ because $1<\lambda +1<\frac{1-{\sum}_{i=1}^{m-2}{\alpha}_{i}}{{\phi}^{-1}({\int}_{0}^{1}a(\tau )\phantom{\rule{0.2em}{0ex}}d\tau )}=\frac{5}{2}$. Thus Theorem 3.1 implies that the boundary value problem (4.1) has a unique positive solution which is strictly increasing. □

## Declarations

### Acknowledgements

The authors would like to express sincere thanks to the anonymous referee for his/her carefully reading the manuscript and valuable comments and suggestions. The authors are supported by the National Natural Science Foundation of China (Grant No. 11301038), Research Foundation during the 12st Five-Year Plan Period of Department of Education of Jilin Province, China (Grant [2013] No. 252), Youth Foundation for Science and Technology Department of Jilin Province (20130522100JH).

## Authors’ Affiliations

## References

- Bai C, Fang J: Existence of multiple positive solution for nonlinear
*m*-point boundary value problems.*Appl. Math. Comput.*2003, 140: 297-305. 10.1016/S0096-3003(02)00227-8MathSciNetView ArticleGoogle Scholar - Liu B: Positive solutions three-points boundary value problems for one-dimensional
*p*-Laplacian with infinitely many singularities.*Appl. Math. Lett.*2004, 17: 655-661. 10.1016/S0893-9659(04)90100-0MathSciNetView ArticleGoogle Scholar - Wang Y, Ge W: Existence of multiple positive solutions for multi-point boundary value problems with a one-dimensional
*p*-Laplacian.*Nonlinear Anal.*2007, 67: 476-485. 10.1016/j.na.2006.06.011MathSciNetView ArticleGoogle Scholar - Liu BF, Zhang JH: The existence of positive solutions for some nonlinear boundary value problems with linear mixed boundary conditions.
*J. Math. Anal. Appl.*2005, 309: 505-516. 10.1016/j.jmaa.2004.09.036MathSciNetView ArticleGoogle Scholar - Liang SH, Zhang JH: The existence of countably many positive solutions for nonlinear singular
*m*-point boundary value problems.*J. Comput. Appl. Math.*2008, 214: 78-89. 10.1016/j.cam.2007.02.020MathSciNetView ArticleGoogle Scholar - Caballero Mena J, Harjani J, Sadarangani K: Existence and uniqueness of positive and nondecreasing solutions for a class of singular fractional boundary value problems.
*Bound. Value Probl.*2009., 2009: Article ID 421310 10.1155/2009/421310Google Scholar - Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets.
*Nonlinear Anal.*2009, 71: 3403-3410. 10.1016/j.na.2009.01.240MathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodríguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.
*Order*2005, 22: 223-239. 10.1007/s11083-005-9018-5MathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodríguez-López R: Fixed point theorems in ordered abstract spaces.
*Proc. Am. Math. Soc.*2007, 135(8):2505-2517. 10.1090/S0002-9939-07-08729-1View ArticleGoogle Scholar - 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.026MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.