99-00c4-44b7-b15d-a09f24701edd.jpg width=15.675 height=18.525  /> be a continuous t-norm and M a fuzzy set on. If the following conditions satisfy:

1);

2) if and only if;

3);

4);

5) is continuous, for any and, then the 3-tuple is called a fuzzy metric space.

Remark 3. For any, is a non-decreasing function (see [9,10]).

Definition 9 [9,10]. Let be a fuzzy metric space and M a fuzzy set on. is said to satisfies the n-property on ifwhenever and.

Definition 10. Let be a fuzzy metric space and a fuzzy set on. is said to satisfies the property on iffor all and.

Definition 11 [11]. A function is said to satisfy condition, if f is a strictly increasing function satisfying f(0) = 0 and for any, where.

Remark 4. If a function satisfies the condition, then the following inequalities hold (see [11]):

1), for all;

2), for each and for all.

Definition 12. Let be a fuzzy metric space, the fuzzy set is said to have property wheneverfor all wheresatisfying the condition.

Definition 13 [9,10]. Let be a fuzzy metric space and a fuzzy set on.

1) A sequence in is said to fuzzy-convergent to a point, if for all.

2) A sequence in is called a fuzzy-Cauchy sequence, if for each and, there exists, such that for each.

3) A fuzzy metric space is called fuzzy-complete, if every fuzzy-Cauchy sequence is fuzzy-convergent.

Definition 14 [9,10]. Let be a fuzzy metric space. The fuzzy set is said to be fuzzy-continuous on, whenever any in which fuzzy-converges to implies

.

Remark 5. M is a continuous function on (see [9,10]).

Definition 15 [12]. Let be a fuzzy metric space and M the fuzzy set on. Denote by the set of all compact subsets of and define a function by

for any and any, where

and

.

Lemma 1 [6]. Let be a complete metric space, , for the iterate of , the following statements hold:

1) If has a unique fixed point, then has a unique fixed point.

2) If there exists, such that the orbit of converges to, then the orbit of converges to.

3) If the orbit of is a bounded sequence, then the orbit of is a bounded sequence.

Lemma 2. Let be a complete metric space and an expansive and surjective mapping on, then has a unique fixed point.

Proof. We claim first that is injective. To show this claim, assume, by the way of contradiction, that there exist such that. Since, then holds. Since is an expansive mapping, it implies . It contradicts to, that is, , which implies is a bijection. Hence T1 exists and is a contraction mapping. By the contractive mapping priciple, there exists a unique, such that, that is . The proof is complete.

Lemma 3 [5]. Let be a complete metric space and f a self mapping on X. If the following condition satisfies, for any, there exists, such that implies, then f has a unique fixed point on, andfor any.

Lemma 4 [7]. Let be a sequentially compact cone metric space with respect to a Banach space and a regular cone in. Suppose a mapping satisfies the contractive condition: , for all, then has a unique fixed point in.

Lemma 5 [4]. Let be a compact metric space and a self mapping on. Assume that implies for any, then has a unique fixed point.

Lemma 6 [9,10]. Let be a fuzzy metric space, for all and M satisfy property. Let be a sequence in X such that for all, for every, then is a Cauchy sequence in X.

3. The Existence Theorem of Fixed Points

In this section, we apply the concepts and lemmas provided in Section 2 to prove some existence theorems of fixed points for some mappings. These results will be used in the following section.

Theorem 1. Let be a complete metric space and a surjective mapping. If there exist and such that

holds for any, then there exists a unique fixed point of f.

Proof. For each, since is a surjective, then there exists, such that, in the same way, there exist,such that, i.e. there exists, such that. We deduce by induction that is also surjective, which combining (I) shows that is an expansive mapping. By Lemma 2, there exists a unique fixed point of, then we know by Lemma 1 that there exists a unique fixed point of f. The proof is complete.

Remark 6. It is obvious that we can get Lemma 2 from Theorem 1. An example satisfying Theorem 1 is given below.

Example 1. Define by

it is clear that f is a surjective self-mapping on R and. satisfies condition (I), i.e., then f has a fixed point, 0 is the fixed point in this example.

Theorem 2. Let be a sequentially compact cone metric space with respect to a Banach space and a normal cone in with normal constant. Assume that is a self mapping on and satisfies for any, implies, then has a unique fixed point.

Proof. We claim first that where is defined by

Using reduction to absurdity, we suppose. Since is sequentially compact, we deduce from the definition of that there exists a sequence such that

and

for some. Observe that the normal constant, there exists such that for any the inequality

holds, which combining the given conditions shows that for any,

By calculations we then have

which contradicts to the definition of.

We prove next that T has a fixed point. We proceed once more by using reduction to absurdity and suppose that T has no fixed point. Then for each,

which implies that for each,

By the triangle inequality in cone metric spaces, we have

then,

We claim that at least one of the following two inequalities should be hold:

otherwise, we reach a contradiction by the following calculations:

If the first inequality of the above two holds, then

if the the other one holds, then

which show that in each case, and the proof of the existence of the fixed point is complete.

We finally prove the uniqueness of the fixed point. Suppose and. Since, then, we reach a contradiction which completes the proof.

Remark 7. In [7], Long-Guang Huang and Xian Zhang have established a fixed point theorem in a sequentially compact cone metric space with respect to a Banach space and a regular cone in (see Lemma 4), where the mapping satisfies the contractive condition. In [4], Tomonari Suzuki has established a fixed point theorem in a compact metric space where the mapping T satisfying a condition similarly to condition (II) of theorem 2 (see Lemma 5). Observe that any regular cone is always normal, Theorem 2 is established under a different and weaker condition when comparing with Lemma 4 and generalize the results of Lemma 5 from compact metric spaces to sequentially compact cone metric spaces.

Theorem 3. Let be a complete fuzzy metric space, where is defined by for any and M a fuzzy set on satisfying property. For a surjective function, if for any, the following inequality holds

then has a fixed point on. If inequality (II) is strict, then has a unique fixed point on.

Proof. By choosing, we deduce from (II) that for any,

Proceed by introduction on n, we have for any

For any, we have

Observe that satisfies property, then

which shows that is a fuzzy-Cauchy sequence. Since is complete, there exists, such that

Then by (II) and the nondecreasing property of M, we have

for any. Since

We therefore deduce

which shows has a fixed point on.

If there exist such that , then by condition (II),

It is a contradiction, hence. We have now proved the uniqueness which complete the proof.

Corollary 1. Let be a complete fuzzy metric space and a bijective mapping, where * is defined by for any and M a fuzzy set on satisfying property. If for any ,

then f has a fixed point on. If the above inequality is strict, then f has a unique fixed point on.

Proof. Since f is bijective, exists and satisfies for any ,

By Theorem 3, we know has fixed point, and the fixed point of is the same as that of f, then f has fixed point on . If the inequality is strict, then the proof is the same as that in Theorem 3.

Corollary 2. Let be a complete fuzzy metric space, where is defined by for any and M a fuzzy set on satisfying property, and a surjective mapping satisfying

for any, Then f has a fixed point on . If the inequality is strict, then f has a unique fixed point on .

Proof. Let, , then by Theorem 3 we can easily propose the results of Corollary 2. We omit the details.

Example 2. Assume, , and define M by

clearly M satisfies property. For any f satisfies the conditions of Corollary 2, i.e.

we have for any , hence is a contraction mapping which has a fixed point on .

In the following, we show an example to demonstrate the conditions in Corollary 2 are only sufficient condition, not necessary conditions.

Example 3. Assume, , and define M by

Obviously is a fuzzy set which doesn’t have property, hence it can’t be judged by Corollary 3. But if is a contraction mapping, a fixed point still exist on .

Theorem 4. Let be a complete fuzzy metric space, where is defined by for any and a fuzzy set on satisfying property. is a compact setvalued mapping, satisfies for any ,

then has a fixed point on .

Proof. By the choice axioms (see [6]), there exists a single-valued function, such that for any . Then for each , there exist . By the definition of , we have

Theorem 3 shows that has a fixed point , i.e ., which is also a fixed point of on .

Corollary 3. Let be a complete fuzzy metric space and a fuzzy set on satisfying property. is a compact setvalued mapping satisfying for every ,

Then has a fixed point on .

4. Applications to Differential Equations

This section is concerned with the proof of the existence and uniqueness of the solutions to the two-point ordinary differential equations by using the fixed point theorems obtained in Section 3. The following are the main results.

Theorem 5. Assume that is a continuous function. If there exists such that the following inequalities

hold for any with , where is an ω-function, then Problem(1) has a unique solution.

Proof. Problem (1) is equivalent to the integral equation

where

Define

by

Note that if is a fixed point of , then is a solution to Problem (1). Define a order relation in by if and only if for every , for every . Denote by

for any

the distance in . For each , by the left side of (IV), . Since , for each ,

which shows that is monotone increasing. For any , if , then

Since is a increasing function, then

for , and

By the definition of , for each , there exists such that

, let

hence . It demonstrates . By Lemma 3, F has a unique fixed point, and for each, is the fixed point of , i.e. the solution of Problem (1).

Assume is a lower solution of Problem (1), we can prove as Theorem 3.1 in [13] to obtain the uniqueness of the solution.

Remark 8. Contrasted with some related results in [13-15], the conditions in Theorem 5 is relatively clearer.

Theorem 6. Assume that is a continuous function. If there exists such that for any with , the following inequalities

hold, where is an ω-function, then the solution of Problem (2) exists.

Proof. Problem (2) is equivalent to the following integral equation

Define

by

for any. Note that is a fixed point of , thenis a solution of Problem (2). For, we define if and only if for any. Denote

for.

Then by (V), for any ,

which implies

and

By the definition of function , let , there exists , such that , there exists, such that , then , and

By Lemma 3, has a unique fixed point, andfor any , u is a fixed point of , which is also a solution of Problem (2). The proof is complete.

Define satisfying for any

,

then we have the following theorem:

Theorem 7. Let be a complete fuzzy metric space, . If the following conditions hold:

1) For any,

2) For any ,

then the solution of Problem (1) is unique.

Proof. By example 2, while, a mapping satisfying the above conditions is a contraction mapping, i.e. is a contraction mapping. Then we can proceed the proof with the same arguments as that in Theorem 5.

Remark 9. If we replace condition (1) by the inequality in Example 2 or Example 3 as well as the corresponding expression of M, then Theorem 7 can also make sure the uniqueness of t he solution of Problem (1).

Define satisfying for any

,

then we have the following theorem:

Theorem 8. Let be a complete fuzzy metric space, . If the following two conditions hold:

1) for any and ,

2) for any ,

then the solution of Problem (2) exists.

Proof. By Example 2, while, a mapping satisfying the conditions above is a contraction mapping, hence h is a contraction mapping. Then we can proceed the proof with the same arguments as that in Theorem 6 and complete the proof.

5. Conclusion

The paper is devoted to several new types of fixed point theorems in different spaces such as cone metric spaces and fuzzy metric spaces together with their applications. We have also proved the existence and uniqueness of the solutions to two classes of two-point ordinary differential equation problems by using these obtained fixed point theorems.

6. Acknowledgements

The authors of this paper would like to appreciate the referee’s helpful comments and valuable suggestions which have essentially improved this paper. This work is supported by the National Natural Science Foundation (11071109) of People’s Republic of China.

REFERENCES

  1. K. Deimling, “Nonlinear Functional Analysis,” SpringerVerlag, Berlin, 1985. doi:10.1007/978-3-662-00547-7
  2. C. J. Zhang, “Set-Valued Analysis and Its Applications to Economics,” The Science Press, Beijing, 2004.
  3. W. Walter, “Remarks on a Paper by F. Browder about Contraction,” Nonlinear Analysis, Vol. 5, 1981, pp. 21-25. doi:10.1016/0362-546X(81)90066-3
  4. T. Suzuki, “A New Type of Fixed Point Theorem in Metric Spaces,” Nonlinear Analysis, Vol. 71, 2009, pp. 5313- 5317. doi:10.1016/j.na.2009.04.017
  5. A. Meir and E. Keeler, “A Theorem on Contraction Mappings,” Journal of Mathematical Analysis and Applications, Vol. 28, 1969, pp. 326-329. doi:10.1016/0022-247X(69)90031-6
  6. T. Cardinali and P. Rubbioni, “An Extension to Multifunctions of the Keeler-Meir’s Fixed Point Theorem,” Fixed Point Theory, Vol. 7, No. 1, 2006, pp. 23-36.
  7. L.-G. Huang and X. Zhang, “Cone Metric Spaces and Fixed Point Theorems of Contractive Mappings,” Journal of Mathematical Analysis and Applications, Vol. 332, No. 2, 2007, pp. 1468-1476.
  8. A. George and P. Veeramani, “On Some Result in Fuzzy Metric Space,” Fuzzy Sets and Systems, Vol. 64, 1994, pp. 395-399. doi:10.1016/0165-0114(94)90162-7
  9. S. Sedghi, I. Altunb and N. Shobe, “Coupled Fixed Point Theorems for Contractions in Fuzzy Metric Spaces,” Nonlinear Analysis, Vol. 72, 2010, pp. 1298-1304. doi:10.1016/j.na.2009.08.018
  10. X.-H. Zhu and J.-Z. Xiao, “Note on ‘Coupled Fixed Point Theorems for Contractions in Fuzzy Metric Spaces’,” Nonlinear Analysis, Vol. 74, 2011, pp. 5475-5479. doi:10.1016/j.na.2011.05.034
  11. S. S. Zhang, “Fixed Point Theorems of Mappings on Probabilistic Metric Spaces with Applications,” Scientia Sinca (Series A), Vol. 11, 1983.
  12. J. Rodriguez-Lopez and S. Romaguera, “The Hausdorff Fuzzy Metric on Compact Sets,” Fuzzy Sets and Systems, Vol. 147, No. 2, 2004, pp. 273-283.
  13. A. Amini-Harandi and H. Emami, “A Fixed Point Theorem for Contraction Type Maps in Partially Ordered Metric Spaces and Application to Ordinary Differential Equations,” Nonlinear Analysis, Vol. 72, 2010, pp. 2238-2242. doi:10.1016/j.na.2009.10.023
  14. T. G. Bhaskar and V. Lakshmikantham, “Fixed Point Theorems in Partially Ordered Metric Spaces and Applications,” Nonlinear Analysis, Vol. 65, 2006, pp. 1379- 1393. doi:10.1016/j.na.2005.10.017
  15. J. Harjani and K. Sadarangani, “Generalized Contractions in Partially Ordered Metric Spaces and Applications to Ordinary Differential Equations,” Nonlinear Analysis, Vol. 72, 2010, pp. 1188-1197. doi:10.1016/j.na.2009.08.003
  16. J. Harjani and K. Sadarangani, “Fixed Point Theorems for Weakly Contractive Mappings in Partially Ordered Sets,” Nonlinear Analysis, Vol. 71, 2009, pp. 3403-3410. doi:10.1016/j.na.2009.01.240

Journal Menu >>