Next Article in Journal
A Model and an Algorithm for a Large-Scale Sustainable Supplier Selection and Order Allocation Problem
Next Article in Special Issue
Robust Approximate Optimality Conditions for Uncertain Nonsmooth Optimization with Infinite Number of Constraints
Previous Article in Journal
Soft Neutrosophic Modules
Previous Article in Special Issue
Some PPF Dependent Fixed Point Theorems for Generalized α-F-Contractions in Banach Spaces and Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Existence of Fixed Point Results in Generalized Pseudodistance Functions with Its Application to Differential Equations

Department of Mathematics, Statistics and Computer Sciences, Faculty of Liberal Arts and Science, Kasetsart University, Kamphaeng-Saen Campus, Nakhonpathom 73140, Thailand
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(12), 324; https://doi.org/10.3390/math6120324
Submission received: 8 November 2018 / Revised: 5 December 2018 / Accepted: 5 December 2018 / Published: 12 December 2018
(This article belongs to the Special Issue Fixed Point Theory and Related Nonlinear Problems with Applications)

Abstract

:
The purpose of this article is to prove some existences of fixed point theorems for generalized F -contraction mapping in metric spaces by using the concept of generalized pseudodistance. In addition, we give some examples to illustrate our main results. As the application, the existence of the solution of the second order differential equation is given.

1. Introduction

In recent years, several generalizations of standard metric spaces have appeared in connection with generalizing a Banach contraction theorem. In 1996, Kada, Suzuki and Takahashi [1] defined the notions of a w-distance which is a generalized metric and also provided a generalized Caristi’s fixed point theorem. Later, Wlodarczyk and Plebaniak [2] defined the notion of generalized pseudodistance which is generalized w-distance. In 2011, a fixed point results in uniform spaces for the Subrahmanyam type is proven [3]. In 2013, by using the concept of Meir–Keeler, Suzuki, irić, Achymski, and Matkowski mappings, the fixed point results in uniform spaces were given [4]. Recently, Mongkolkeha and Kumam [5] used the notion of generalized weak contraction to prove the existence results of fixed point in b -metric spaces. On the other hand, in 2012, Wardowski [6] established a new contraction called F -contraction and acquired a fixed point result which generalized a Banach contraction in many ways. In 2014, Pili and Kumam [7] revealed a large class of functions by changing condition ( F 3 ) to ( F 3 ) in the condition of F function. Afterwards, many authors used this mapping for studying the existences of fixed points and applied it to several problems [8,9,10,11]. Hence, by using the notion of F -contraction, we prove some new existence theorems of fixed points in generalized pseudodistances. Moreover, we also give some examples to support our main results. As an application, we establish the existence solution of a second order differential equation by using our fixed point results.

2. Preliminaries

In this section, we recall the notions, notations and basic knowledge for our consideration. First, we denote the sets of positive integers, positive real numbers and real numbers by N , R + and R , respectively.
Definition 1.
Let X be a nonempty set. A point x X is called a fixed point of a mapping T: X X if x = T x . We note that F i x ( T ) : = { x X | x = T x } .

2.1. w-Distance and Generalized Pseudodistance

Definition 2.
Let ( X , d ) be a metric space [1]. The mapping p: X × X [ 0 , ) is said to be a w-distance on X if it satisfies the following properties:
(a) 
p ( x , z ) p ( x , y ) + p ( y , z ) for all x , y , z X ;
(b) 
for any x X , p ( x , · ) : X [ 0 , ) is lower semi-continuous. That is,
p ( x , y ) lim inf n p ( x , y n ) ,
for any x X and sequence { y n } in X such that y n y X .
(c) 
for each ε > 0 , there exists δ > 0 such that p ( z , x ) δ and p ( z , y ) δ imply d ( x , y ) ε .
Obviously, every metric is a w-distance but not conversely (see [12]).
Definition 3.
Let ( X , d ) be a metric space and let J: X × X [ 0 , ) be a mapping [2,13]. A mapping J is called a generalized pseudodistance on X if it satisfies the following properties:
(J1) 
J ( x , y ) J ( x , z ) + J ( z , y ) for all x , y , z X ,
(J2) 
for any sequences { x m } and { y m } in X such that
lim n sup m > n J ( x n , x m ) = 0
and
lim m J ( x m , y m ) = 0 ,
we have
lim m d ( x m , y m ) = 0 .
For the examples of generalized pseudodistance, see [2,13].
Remark 1.
Let ( X , d ) be a metric space and J be a generalized pseudodistance on X:
(A) 
there exists a generalized pseudodistance J on X which is not a metric.
(B) 
Every metric d is a generalized pseudodistance on X.
(C) 
Let X J 0 = { a X : J ( a , a ) = 0 } and X J + = { a X : J ( a , a ) > 0 } ; then, X = X J 0 X J + .
(D) 
For any a , b X with a b , then J ( a , b ) > 0 J ( b , a ) > 0 (see ([13]).
Definition 4.
Let ( X , d ) be a metric space equipped with a generalized pseudodistance J [14]. We say that X is a J-complete if and only if for all a sequence { x n } in X such that
lim n sup m > n J ( x n , x m ) = 0 ,
there exists an element x in X such that
lim m J ( x m , x ) = lim m J ( x , x m ) = 0 .
Remark 2.
(A) 
If we take J = d , then the J-completeness reduces to the completeness.
(B) 
If J = p , when p is a w-distances, we call X a w-complete.

2.2. F-Contraction Mapping

Definition 5.
A function F: R + R is called F-function if it corresponds to the properties [6]:
(F1) 
s < t F ( s ) < F ( t ) f o r a l l s , t R + , i.e., F is strictly increasing.
(F2) 
lim n s n = 0 i f f lim n F ( s n ) = , for every sequence { s n } in R + .
(F3) 
there exists a number k ( 0 , 1 ) such that lim s 0 + s k F ( s ) = 0 .
We denote that F is the set of all functions F-functions.
The examples of functions F F (see [6] for more details).
Definition 6.
Let ( X , d ) be a metric space [6]. A self mapping T on X is said to be an F-contraction if, for all x , y X such that d ( T x , T y ) > 0 , we have
τ + F ( d ( T x , T y ) ) F ( d ( x , y ) )
for some τ > 0 and F F .
Remark 3.
Consider F: R + R defined by F ( α ) = ln α . Then, F satisfies (F1)–(F3) (F(3) for any k ( 0 , 1 ) ) . If T: X X be a mapping satisfying (4), then
d ( T x , T y ) e τ d ( x , y )
for all x , y X with T x T y . It is obvious that for x , y X , such that T x = T y , the inequality (4) also holds. That is, T is Banach contraction.
Remark 4.
Consider F: R + R defined by F ( α ) = ln ( α 2 + α ) . Then, F satisfies (F1)–(F3) (F(3) for any k ( 0 , 1 ) ) . If T: X X is a mapping satisfying (4), then
d ( T x , T y ) ( d ( T x , T y ) + 1 ) d ( x , y ) ( d ( x , y ) + 1 ) e τ
for all x , y X with T x T y .
Remark 5.
Let F F . Then,
(a) 
By (F1) and (4) every F-contraction, T is a contractive mapping. That is,
d ( T x , T y ) < d ( x , y )
for all x , y X with T x T y .
(b) 
Every F-contraction is a continuous mapping.
In 2013, Secelean [10] showed that the condition (F2) in F-function can be by the equivalent condition instead but a more simple as follows:
(F2′) 
inf F =
or, instead, by
(F2″) 
there exists a sequence { s n } in R + such that lim n F ( s n ) = .
In 2014, Piri and Kumam [7] changed the property ( F 3 ) by ( F 3 ) in the F-function as follows.
(F3′) 
F is continuous on ( 0 , ) . Thus, Piri and Kumam [7] generalized the result of Wordowski by using the conditions ( F 1 ) , ( F 2 ) and ( F 3 ) . Recently, Singk et al. [11] removed the condition ( F 2 ) and it is called relaxed F- contraction as follows.
Definition 7.
A function F: R + R is called relaxed F- function if it satisfies:
(F1) 
F is strictly increasing,
(F3′) 
F is continuous on ( 0 , ) .
We denoted that F is the set of all relaxed F- functions.

3. Main Results

In this section, we prove the existence of fixed point theorems for generalized F-contraction mapping. In addition, we provide some examples to support our main results.
Theorem 1.
Let ( X , d ) be a metric space equipped with a generalized pseudodistance J and let T: X X be a mapping. Assume that X is J —complete and there exists F F and τ R + such that
τ + F ( J ( T x , T y ) ) F ( m J ( x , y ) )
for all x , y X with J ( T x , T y ) > 0 , where m J ( x , y ) = min { J ( x , y ) , J ( y , x ) } . If F is a continuous from the right, then T has a unique fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N , the sequence { x n } converges to u F i x ( T ) and lim n J ( x n , u ) = 0 = lim n J ( u , x n ) .
Proof. 
Let x 0 X . We define the sequence x n by x n = T x n 1 for all n N . If x n 0 = T x n 0 , for some n 0 N , the proof is complete. Suppose that x n T x n for all n N then we have d ( T x n 1 , T x n ) > 0 . Consequently, J ( T x n 1 , T x n ) > 0 . By (F1) and Equation (6), we have
τ + F ( J ( x n , x n + 1 ) ) = τ + F ( J ( T x n 1 , T x n ) F ( m J ( x n 1 , x n ) ) ,
putting J n : = J ( x n , x n + 1 ) for all n N { 0 } .
case I Let m J ( x n 1 , x n ) = J ( x n 1 , x n ) , by Equation (7),
F ( J n ) F ( m J ( x n 1 , x n ) ) τ = F ( J n 1 ) τ .
Furthermore, by Equation (8) and (F1), we can see that
F ( J n ) F ( J n 1 ) τ F ( J n 2 ) 2 τ F ( J 0 ) n τ
and thus lim n F ( J n ) = . From (F2), we have lim n J n = 0 . Now, using (F3), there exists k ( 0 , 1 ) such that
lim n J n k F ( J n ) = 0 .
By Equation (9), for each n N , we get
J n k F ( J n ) J n k F ( J 0 ) J n k ( F ( J 0 ) n τ ) J n k F ( J 0 ) n τ J n k 0
and hence
lim n n J n k = 0 .
Therefore, we can choose n 0 N such that
n J n k 1 for all n n 0
and hence
J n 1 n 1 / k for all n n 0 .
Letting m , n be positive integer such that m > n n 0 , then
J ( x n , x m ) J ( x n , x n + 1 ) + J ( x n + 1 , x n + 2 ) + + J ( x m 1 , x m ) = J n + J n + 1 + + J m 1 n n 0 1 n 1 / k ,
which is convergent as k ( 0 , 1 ) and thus
lim n sup m > n J ( x n , x m ) = 0 .
case II Let m J ( x n 1 , x n ) = J ( x n , x n 1 ) , then J ( x n , x n 1 ) J ( x n 1 , x n ) .
By Equation (7) and (F1),
τ + F ( J ( x n , x n + 1 ) ) F ( m j ( x n 1 , x n ) ) = F ( J ( x n , x n 1 ) ) F ( J ( x n 1 , x n ) ) .
That is,
F ( J n ) F ( J n 1 ) τ .
By the same argument as in case I, we also get that Equation (12) holds. From the J-completeness of J, the sequence { x n } converges to some element x X and hence
lim n J ( x n , x ) = 0 = lim n J ( x , x n ) .
Next, we will prove that x F i x ( T ) . If J ( T x n , T x ) > 0 , by (F1) and Equation (6), we have
F ( J ( x n + 1 , T x ) ) = F ( J ( T x n , T x ) F ( m J ( x n , x ) ) τ .
If m J ( x n , x ) = J ( x n , x ) , then by Equation (14) and (F1), J ( x n + 1 , T x ) J ( x n , x ) . Hence, by Equation (13), we have
lim n J ( x n + 1 , T x ) lim n J ( x n , x ) = 0 .
Then,
lim n J ( x n + 1 , T x ) = 0 .
For any n N , define x m = x n + 1 and y m = T x for all m N ; then,
lim m J ( x m , y m ) = 0 .
By Equations (12), (15) and (J2), imply that lim m d ( x m , y m ) = 0 . That is,
d ( x , T x ) = lim n d ( x n + 1 , T x ) = lim m d ( x m , y m ) = 0
and hence x = T x . Now, let m J ( x n , x ) = J ( x , x n ) ; then, by Equation (14), (F1) and Equation (13), we have
J ( x , T x ) = lim n J ( x n + 1 , T x ) lim n J ( x , x n ) = 0 .
This implies that x = T x . Therefore, by both cases, we obtain that x F i x ( T ) .
Finally, we will prove the uniqueness part. Supposing that there exists z X such that z = T z and z x , then d ( x , z ) > 0 which implies that J ( T x , T z ) > 0 . Therefore, by Equation (6),
F ( J ( x , z ) ) = F ( J ( T x , T z ) F ( m J ( x , z ) ) τ .
If m J ( x , z ) = J ( x , z ) , then, by Equation (16), (F1) and τ > 0 , we have J ( x , z ) < J ( x , z ) , which is impossible.
If m J ( x , z ) = J ( z , x ) , then, by definition of m J , we get J ( z , x ) < J ( x , z ) . Hence, from Equation (16) and (F1),
τ + F ( J ( x , z ) ) F ( m J ( x , z ) ) = F ( ( z , x ) ) < F ( J ( x , z ) ) ,
which implies that J ( x , z ) < J ( x , z ) and it is impossible. Therefore, z = x and the proof is complete. □
Corollary 1.
Let ( X , d ) be a metric space equipped with a generalized pseudodistance J and let T: X X be a mapping with τ R + . Assume that X is a J —complete and there exists k [ 0 , e τ ) such that
J ( T x , T y ) k m J J ( x , y )
for all x , y X . Then, T has a unique fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N , the sequence { x n } converges to u F i x ( T ) and lim n J ( x n , u ) = 0 = lim n J ( u , x n ) .
Corollary 2.
Let ( X , d ) be a metric space equipped with an w-distance p and let T: X X be a mapping. Assume that X is a w-complete and there exists F F with τ R + such that
p ( T x , T y ) > 0 τ + F ( p ( T x , T y ) ) F ( m p ( x , y ) )
for all x , y X , where m p ( x , y ) = min { p ( x , y ) , p ( y , x ) } . If F is a continuous from the right, then T has a unique fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N ; the sequence { x n } converges to u F i x ( T ) and lim n p ( x n , u ) = 0 = lim n p ( u , x n ) .
Corollary 3.
Let ( X , d ) be a complete metric space and T: X X be a mapping [6]. Assume that there exists a continuous from the right function F F and τ R + such that
τ + F ( d ( T x , T y ) ) F ( d ( x , y ) )
for all x , y X with T x T y . Then, T has a unique fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N , the sequence { x n } converges to u F i x ( T ) .
Next, we provide some illustrative example to support Theorem 1.
Example 1.
Let X = [ 0 , 2 ] , E = [ 0 , 1 ] . Define a metric d on X by d ( x , y ) = | x | + | y | for all x , y X . Let J: X × X [ 0 , ) be a generalized pseudodistance on X defined by
J ( x , y ) = d ( x , y ) , E { x , y } = { x , y } , 6 , E { x , y } { x , y } .
Define a mapping T: X X by
T x = x x + 2 , x E ; x 1 , x E .
Now, we will show that the mapping T satisfies (6) with τ = 0.05 > 0 and F ( α ) = ln α . Then, F F (see [6]), and we distinguish four cases.
Case I Let x , y E . Then, the L.H.S. of (6),
τ + F ( J ( T x , T y ) ) = 0.05 + ln x x + 2 + y y + 2
and the R.H.S. of (6),
F ( m J ( x , y ) ) = ln ( x + y ) .
Next, we compare L.H.S. and R.H.S. in the 3D view (see Figure 1).
Case IILet x E , y E . Then,
τ + F ( J ( T x , T y ) ) = 0.05 + ln x x + 2 + ( y 1 ) < 0.05 + ln x x + 2 + 1 < 0.05 + ln ( 2 ) = 0.7431 < 1.7917 = ln ( 6 ) = F ( m J ( x , y ) ) .
Case IIILet x E , y E . Similarly to case II, we obtain
τ + F ( J ( T x , T y ) ) = 0.05 + ln y y + 2 + ( x 1 ) ln ( 6 ) = F ( m J ( x , y ) ) .
Case IVLet x E , y E . Then,
τ + F ( J ( T x , T y ) ) = 0.05 + ln x + y 2 0.05 + ln ( 2 ) < ln ( 6 ) = F ( m J ( x , y ) ) .
Therefore, all the hypotheses of Theorem 1 are satisfied. For this, x = 0 is only a fixed point of T and J ( 0 , 0 ) = 0 .
Theorem 2.
Let ( X , d ) be a metric space equipped with a generalized pseudodistance J and let T: X X be a mapping. Assume that X is a J —complete and there exists F F and τ R + such that
J ( T x , T y ) > 0 τ + F ( J ( T x , T y ) ) F ( α ( J ( x , T x ) + J ( y , T y ) ) )
for all x , y X , where α [ 0 , 1 2 ) . Then, T has a fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N ; the sequence { x n } converges to u F i x ( T ) and lim n J ( x n , u ) = 0 = lim n J ( u , x n ) .
Proof. 
Let x 0 X be arbitrary and define the sequence { x n } by x n = T x n 1 for all n N . If x n 0 = T x n 0 , for some n 0 N , then the proof is complete. Suppose that x n T x n for all n N . Then, d ( x n . x n + 1 ) > 0 implies that J ( x n . x n + 1 ) > 0 . Letting J n : = J ( x n . x n + 1 ) for n N { 0 } . By Equation (20), we have
τ + F ( J n ) = τ + F ( J ( T x n 1 , T x n ) F ( α ( J ( x n 1 , T x n 1 ) ) + J ( x n , T x n ) ) ) = F ( α ( J n 1 + J n ) ) .
By (F1), we get
J n α ( J n 1 + J n )
and hence
J n α 1 α J n 1
for all n N . Therefore,
J n α 1 α J n 1 α 1 α n J 0 .
Furthermore, for any positive integer m , n such that m > n ,
J ( x n , x m ) J n + J n + 1 + + J m 1 α 1 α n + α 1 α n + 1 + + α 1 α m 1 J 0 α n ( 1 α ) n 1 ( 1 2 α ) J 0 .
Taking m , n reduces to
lim n sup m > n J ( x n , x m ) = 0 .
Since J is J-complete, then the sequence { x n } converges to some element x X with
lim n J ( x n , x ) = 0 = lim n J ( x , x n ) .
Next, we will prove that x F i x ( T ) . If J ( T x n , T x ) > 0 , then by Equation (6),
F ( J ( x n + 1 , T x ) ) = τ + F ( J ( T x n , T x ) F ( α ( J ( x n , T x n ) + J ( x , T x ) ) ) τ = F ( α ( J ( x n , x n + 1 ) + J ( x , T x ) ) ) τ .
By (F1), we get J ( x n + 1 , T x ) α ( J ( x n , x n + 1 ) + J ( x , T x ) ) and thus
J ( x , T x ) = lim n J ( x n + 1 , T x ) lim n α ( J ( x n , x n + 1 ) + J ( x , T x ) ) α ( J ( x , x ) + J ( x , T x ) ) .
Consequently,
J ( x , T x ) α 1 α J ( x , x ) α 1 α J ( x , x n ) + J ( x n , x ) .
Then, Equations (24) and (25) imply that J ( x , T x ) = 0 . Now, for each n N , define x m = x n + 1 and y m = T x for all m N ; then,
lim m J ( x m , y m ) = 0 .
Equations (23), (26) and (J2) imply that lim n d ( x m , y m ) = 0 . That is,
d ( x , T x ) = lim n d ( x n + 1 , T x ) = lim m d ( x m , y m ) = 0 .
Thus, we obtain that x = T x and the proof is complete. □
Corollary 4.
Let ( X , d ) be a metric space equipped with a generalized pseudodistance J and let T: X X be a mapping. Assume that X is a J —complete and there exists λ [ 0 , α e τ ) such that
J ( T x , T y ) λ ( J ( x , T x ) + J ( y , T y ) )
for all x , y X . Then, T has a fixed point. Furthermore, for any x 0 X define x n = T x n 1 for all n N , the sequence { x n } converges to u F i x ( T ) and lim n J ( x n , u ) = 0 = lim n J ( u , x n ) .
Corollary 5.
Let ( X , d ) be a metric space equipped with a w-distance p and let T: X X be a mapping. Assume that X is a w-complete and there exists F F with τ R + such that
p ( T x , T y ) > 0 τ + F ( p T x , T y ) ) F ( α ( p ( x , T x ) + p ( y , T y ) ) )
for all x , y X . Then, T has a fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N , the sequence { x n } converges to u F i x ( T ) and lim n p ( x n , u ) = 0 = lim n p ( u , x n ) .
Corollary 6.
Let ( X , d ) be a complete metric space and T: X X be a mapping. Assume that there exists F F with τ R + such that
τ + F ( d ( T x , T y ) ) F ( α ( d ( x , T x ) + d ( y , T y ) ) )
for all x , y X such that T x T y , where α [ 0 , 1 2 ) . Then, T has a fixed point. Furthermore, for any x 0 X , define x n = T x n 1 for all n N ; the sequence { x n } converges to u F i x ( T ) .
Next, we provide some illustrative examples of Theorem 2.
Example 2.
Let X = [ 0 , 2 ] and E = { 1 n ; n N } { 0 } with the metric defined by d ( x , y ) = max { x , y } for all x , y X . Let J : X × X [ 0 , ) be a generalized pseudodistance on X defined by
J ( x , y ) = d ( x , y ) , E { x , y } = { x , y } , 6 , E { x , y } { x , y } .
Let T : X X be defined by
T ( x ) = 1 n 2 , i f x = 1 n , 0 , o t h e r w i s e .
Now, we will show that the mapping T satisfies (20) for α = 0.8 , τ = 0.75 > 0 and F ( β ) = 1 1 e β . Obviously, F F , we distinguish four cases.
Case I Let x , y E . If x = y = 0 , then J ( T x , T y ) = 0 we will not consider because it does not satisfy the assumption of F. If x = 0 and y E { 0 } (or y = 0 and x E { 0 } ), then the L.H.S. of (20),
τ + F ( J ( T x , T y ) ) = 0.75 + F ( 1 n 2 ) = 0.75 + 1 1 e 1 n 2 ,
and the R.H.S. of (20),
F ( α ( J ( x , T x ) + J ( y , T y ) ) ) = 1 1 e 0.8 · 1 n .
Next, we compare R.H.S. and L.H.S. in the 3D view (see Figure 2).
Next, let x = 1 n and y = 1 m for some m , n N such that m > n . Then, for the L.H.S. of Equation (20),
τ + F ( J ( T x , T y ) ) = 0.75 + F ( 1 n 2 ) = 0.75 + 1 1 e 1 n 2 ,
and for the R.H.S. of (20),
F ( α ( J ( x , T x ) + J ( y , T y ) ) ) = 1 1 e 0.8 · ( 1 n + 1 m ) .
In the following figures (Figure 3), we compare the L.H.S. and R.H.S. in the 3D view.
Case IILet x E , and let y E . If x = 0 , then T x = T y = 0 and J ( T x , T y ) = 0 we will not consider because it does not satisfy the assumption of F, so we are done. Suppose that x E { 0 } , then
0.75 + F ( 1 n 2 ) = 0.75 + 1 1 e 1 n 2
and for the R.H.S. of (20),
F ( α ( J ( x , T x ) + J ( y , T y ) ) ) = 1 1 e 0.8 · 1 n + 6 .
In the following figures (Figure 4), we compare R.H.S. and L.H.S. in the 3D view.
Case IIILet x E , and let y E . This is similar to case II.
Case IVLet x , y E . Then, J ( T x , T y ) = 0 . Thus, it does not satisfy the condition of F.
Thus, all the conditions of Theorem 2 are satisfied. For this, x = 0 and x = 1 are fixed points of T. Moreover, J ( 0 , 0 ) = 0 and J ( 1 , 1 ) = 0 .

4. Applications

In this section, we apply our result to prove the existence theorem for the solution of the second order differential equation of the form:
d 2 u d t 2 + c m d u d t = K ( t , u ( t ) ) , u ( 0 ) = 0 , u ( 0 ) = a ,
where I > 0 and K is a continuous function from [ 0 , I ] × R + to R .
The above differential equation shows the engineering problem of activation of a spring that is affected by an exterior force. It is well known that the Equation (30) is equivalent to the integral equation as follows:
u ( t ) = 0 t G ( t , s ) K ( s , u ( s ) ) d s , t [ 0 , I ] ,
when G ( t , s ) is the green function defined by
G ( t , s ) = ( t s ) e τ ( t s ) , if 0 s t I , 0 , if 0 t s I ,
with τ > 0 is a constant, in terms of c and m in Equation (30).
Let X: = C ( [ 0 , I ] , R + ) and τ > 0 , when C ( [ 0 , I ] , R + ) is the set of all continuous functions from [ 0 , I ] in to R + . For u X , we define
u τ = sup t [ 0 , I ] { | u ( t ) | e 2 τ t }
and the w-distance p : X × X [ 0 , ) is defined by
p ( x , y ) = min { x τ , y τ }
for all x , y X . Consider a function T : X X defined as follows:
T ( u ( t ) ) = 0 t G ( t , s ) K ( s , u ( s ) ) d s where t [ 0 , I ]
for all x X .
Clearly, the existence of a fixed point under a mapping T is equivalent to the existence of a solution of Equation (31).
Theorem 3.
Consider the nonlinear integral Equation (31). Assume that the following three conditions hold:
(A) 
K is continuous and increasing function;
(B) 
there exists τ > 0 such that
| K ( s , u ) | τ 2 e τ u ,
where s [ 0 , 1 ] and u R + ;
(C) 
T: X X satisfies (33).
Then, the Equation (31) has a solution.
Proof. 
Now, we show that the function T defined as Equation (33) satisfies Equation (18). For this, we consider
| T ( u ( s ) ) | = 0 t G ( t , s ) | K ( s , u ( s ) ) | d s 0 t G ( t , s ) τ 2 e τ | u ( s ) | d s ( by using conditions ( A ) & ( B ) ) = 0 t τ 2 e τ ( t s ) e τ ( t s ) e 2 τ s u τ d s = τ 2 e τ + τ t u τ 0 t ( t s ) e τ s d s = e τ u τ e 2 τ t 1 τ t e τ t e τ t .
Because 1 τ t e τ t e τ t 1 , we have
T ( u ( s ) τ e τ u τ .
Similarly,
T ( v ( s ) ) τ e τ v τ .
Therefore,
p ( T u , T v ) = min { T u τ , T v τ } e τ min { u τ , v τ } = e τ min min { u τ , v τ } , min { v τ , u τ } = e τ m p ( u , v )
for all u , v X .
By taking the logarithm, from the above inequality, we can write
τ + ln ( p ( T u , T v ) ) ln ( m p ( u , v ) ) .
By considering the function F defined in Remark 3, we obtain that
τ + F ( p ( T x , T y ) ) F ( m p ( x , y ) )
and hence T satisfies (18). Therefore, all the hypotheses of Corollary 2 are satisfied, and hence by Corollary 2, Equation (31) has a solution. This means that the second order differential Equation (30) has a solution. □

Author Contributions

Writing of the original draft: S.S. and W.S., Writing, review and editing: C.M.

Funding

This research was funded by the Kasetsart University Research and Development Institute (KURDI). The third author was supported by the Thailand Research Fund and the Office of the Higher Education Commission (Grant No. MRG6080244).

Acknowledgments

The authors thank Editors and Referee(s) for their valuable comments and suggestions, which were very useful to improve the paper significantly. The first author would like to thank the Kasetsart University Research and Development Institute (KURDI) for financial support.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kada, O.; Suzuki, T.; Takahashi, W. Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44, 381–391. [Google Scholar]
  2. Włodarczyk, K.; Plebaniak, R. Maximality principle and general results of Ekeland and Caristi types without lower semicontinuity assumptions in cone uniform spaces with generalized pseudodistances. Fixed Point Theory Appl. 2010, 2010, 175453. [Google Scholar] [CrossRef]
  3. Włodarczyk, K.; Plebaniak, R. A fixed point theorem of Subrahmanyam type in uniform spaces with generalized pseudodistances. Appl. Math. Lett. 2011, 24, 325–328. [Google Scholar] [CrossRef]
  4. Włodarczyk, K.; Plebaniak, R. Contractions of Banach, Tarafdar, Meir-Keeler, irić-Jachymski-Matkowski and Suzuki types and fixed points in uniform spaces with generalized pseudodistances. J. Math. Anal. Appl. 2013, 404, 338–350. [Google Scholar] [CrossRef]
  5. Mongkolkeha, C.; Kumam, P. Some Existence of coincidence point and approximate solution method for generalized weak contraction in b-generalized pseudodistance functions. Filomat 2017, 31, 6185–6203. [Google Scholar] [CrossRef]
  6. Wardowski, D. Fixed points of new type of contractive mappings in complete metric space. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef]
  7. Piri, H.; Kumam, P. Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 2014, 210. [Google Scholar] [CrossRef] [Green Version]
  8. Budhia, L.; Kumam, P.; Martinez-Moreno, J.; Gopal, D. Extensions of almost-F and F-Suzuki contractions with graph and some applications to fractional calculus. Fixed Point Theory Appl. 2016, 2016, 2. [Google Scholar] [CrossRef]
  9. Lukács, A.; Kájant, K. Fixed point theorems for various type of F-contractions in complete metric spaces. Fixed Point Theory 2018, 19, 321–334. [Google Scholar] [CrossRef]
  10. Secelean, N.A. Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 2013, 277. [Google Scholar] [CrossRef]
  11. Singh, D.; Joshi, V.; Imdad, M.; Kumam, P. Fixed point theorems via generalized F-contractions with applications to functional equations occurring in dynamic programming. J. Fixed Point Theory Appl. 2017, 19, 1453–1479. [Google Scholar] [CrossRef]
  12. Takahashi, W. Nonlinear Functional Analysis Fixed Point Theory and its Applications; Yokahama Publishers: Yokahama, Japan, 2000. [Google Scholar]
  13. Plebaniak, R. On best proximity points for set-valued contractions of Nadler type with respect to b-generalized pseudodistances in b-metric spaces. Fixed Point Theory Appl. 2014, 2014, 39. [Google Scholar] [CrossRef]
  14. Plebaniak, R. New generalized pseudodistance and coincidence point theorem in a b-metric spaces. Fixed Point Theory Appl. 2013, 2013, 270. [Google Scholar] [CrossRef]
Figure 1. The value of comparison of the L.H.S. and R.H.S. of Equation (6) in the 3D view.
Figure 1. The value of comparison of the L.H.S. and R.H.S. of Equation (6) in the 3D view.
Mathematics 06 00324 g001
Figure 2. The value of comparison of the L.H.S. and R.H.S. of Equation (20) in the 3D view.
Figure 2. The value of comparison of the L.H.S. and R.H.S. of Equation (20) in the 3D view.
Mathematics 06 00324 g002
Figure 3. The value of the comparison of L.H.S. and R.H.S. of Equation (20) in the 3D view.
Figure 3. The value of the comparison of L.H.S. and R.H.S. of Equation (20) in the 3D view.
Mathematics 06 00324 g003
Figure 4. The value of comparison of L.H.S. and R.H.S. of Equation (20) in the 3D view.
Figure 4. The value of comparison of L.H.S. and R.H.S. of Equation (20) in the 3D view.
Mathematics 06 00324 g004

Share and Cite

MDPI and ACS Style

Sanhan, S.; Sanhan, W.; Mongkolkeha, C. New Existence of Fixed Point Results in Generalized Pseudodistance Functions with Its Application to Differential Equations. Mathematics 2018, 6, 324. https://doi.org/10.3390/math6120324

AMA Style

Sanhan S, Sanhan W, Mongkolkeha C. New Existence of Fixed Point Results in Generalized Pseudodistance Functions with Its Application to Differential Equations. Mathematics. 2018; 6(12):324. https://doi.org/10.3390/math6120324

Chicago/Turabian Style

Sanhan, Sujitra, Winate Sanhan, and Chirasak Mongkolkeha. 2018. "New Existence of Fixed Point Results in Generalized Pseudodistance Functions with Its Application to Differential Equations" Mathematics 6, no. 12: 324. https://doi.org/10.3390/math6120324

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop