- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Discrete Dynamics in Nature and Society
Volume 2014 (2014), Article ID 241942, 4 pages
Fixed Point Theorems on Nonlinear Binary Operator Equations with Applications
Department of Mathematics, Shangqiu Normal College, Shangqiu 476000, China
Received 18 April 2014; Revised 11 June 2014; Accepted 11 June 2014; Published 19 June 2014
Academic Editor: Krzysztof Ciepliński
Copyright © 2014 Baomin Qiao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The existence and uniqueness for solution of systems of some binary nonlinear operator equations are discussed by using cone and partial order theory and monotone iteration theory. Furthermore, error estimates for iterative sequences and some corresponding results are obtained. Finally, the applications of our results are given.
In recent years, more and more scholars have studied binary operator equations and have obtained many conclusions; see [1–6]. In this paper, we will discuss solutions for these equations which associated with an ordinal symmetric contraction operator and obtain some results which generalized and improved those of [3–6]. Finally, we apply our conclusions to two-point boundary value problem with two-degree super-linear ordinary differential equations.
In the following, let always be a real Banach space which is partially ordered by a cone , let be a normal cone of , is normal constant of , partial order ≤ is determined by and denotes zero element of . Let denote an ordering interval of .
Definition 1. Let be a binary operator. is said to be -ordering symmetric contraction operator if there exists a bounded linear and positive operator , where spectral radius such that for any , , where is called a contraction operator of .
2. Main Results
Theorem 2. Let be -ordering symmetric contraction operator, and there exists a such that
If condition (H1) or (H2) holds, then the following statements hold.
(C1) has a unique solution , and for any coupled solutions , .
(C2) For any , we construct symmetric iterative sequences: Then , , and for any , there exists a natural number ; and if , we get error estimates for iterative sequences (2):
Proof. Set , and if condition (H1) or (H2) holds, then it is obvious that
By (1), we easily prove that is mixed monotone operator, and for any , ,
where is a bounded linear and positive operator and , is identical operator.
By the mathematical induction, we easily prove that where , , .
By the character of normal cone , it is shown that
For any , since , there exists a natural number , and if , we have , and . Considering mixed monotone operator and constant , has a unique solution and for any coupled solution , such that by Theorem 3 in .
From , and the uniqueness of solution with , then we have and .
We take note of that and have the same coupled solution; therefore, a coupled solution for must be a coupled solution for ; consequently, (C1) has been proved.
Considering iterative sequence (2), we construct iterative sequences: where , , it is obvious that by the mathematical induction and characterization of mixed monotone of ; then Hence, Moreover, if , we get Consequently, .
Corollary 4. Let be -ordering symmetric contraction operator; if there exists a such that satisfies condition of Theorem 2, the following statement holds.
(C3) For any and , we make iterative sequences: or where , .
Proof. By the character of mixed monotone of , then (1) and (C1), (C2) [in (1), (C2) where ] hold.
In the following, we will prove (C3).
Consider iterative sequence (13); since , we get By the mathematical induction, we easily prove , , hence
It is clear that
For any , , since there exists a natural number , if , such that
Moreover, Consequently, , , .
Similarly, we can prove (14).
Theorem 5. Let be a -ordering symmetric contraction operator; if there exists a such that , then the following statements hold.
(C4) Operator equation has a unique solution , and for any coupled solutions , .
(C5) For any , we make symmetric iterative sequences Then , , , , and for any , there exists a natural number , and if , then we have error estimates for iterative sequences (22) and (23), respectively,
Proof. Set or ; we can prove that this theorem imitates proof of Theorem 2.
Similarly, we can prove the following theorems.
Theorem 6. Let be -ordering symmetric contraction operator; if there exists a such that , , then the following statements hold.
(C6) Equation has a unique solution , and for any coupled solutions .
(C7) For any , we make symmetric iterative sequence: Then , ; moreover, , and there exists natural number , and if , then we have error estimates for iterative sequence (25):
(C8) For any , we make symmetry iterative sequence , ; then , , and there exists a natural number , and if , we have error estimates for iterative sequence (24).
Remark 8. The contraction constant of operator in  is expand into the contraction operator of this paper.
Remark 9. Operator of this paper does not need character of mixed monotone as operator in .
We consider that two-point boundary value problem for two-degree super linear ordinary differential equations:
Let be Green function with boundary value problem (23); that is,
Then the solution with boundary value problem (23) and solution for nonlinear integral equation with type of Hammerstein are equivalent, where .
Theorem 10. Let , be nonnegative continuous function in , , . If , then boundary value problem (23) has a unique solution such that . Moreover, for any initial function , such that we make iterative sequence: Then and are all uniformly converge to on , and we have error estimates:
Proof. Let , , denote norm of; then has become space, is normal cone of , and its normal constant . It is obvious that integral Equation (24) transforms to operator equation , where
Set , ; then denote ordering interval of , is mixed monotone operator, and .
Then is bounded linear operator, its spectral radius , and for any such that , is -ordering symmetric contraction operator, by Theorem 2 (where ); then Theorem 10 has been proved.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
This work is supported by the NSF of Henan Education Bureau (2000110019) and by the NSF of Shangqiu (200211125).
- D. J. Guo and V. Lakshmikantham, “Coupled fixed points of nonlinear operators with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 11, no. 5, pp. 623–632, 1987.
- Y. Sun, “A fixed point theorem for mixed monotone operators with applications,” Journal of Mathematical Analysis and Applications, vol. 156, no. 1, pp. 240–252, 1991.
- Q. Zhang, “Contraction mapping principle of mixed monotone mapping and applications,” Henan Science, vol. 18, no. 2, pp. 121–125, 2000.
- J. X. Sun and L. S. Liu, “An iterative solution method for nonlinear operator equations and its applications,” Acta Mathematica Scientia A, vol. 13, no. 2, pp. 141–145, 1993.
- Q. Zhang, “Iterative solutions of ordering symmetric contraction operator with applications,” Journal of Engineering Mathematics, vol. 17, no. 2, pp. 131–134, 2000.
- X. L. Yan, “Fixed-point theorems for mixed monotone operators and their applications,” Mathematica Applicata, vol. 4, no. 4, pp. 107–114, 1991.