Home Analysis of F-contractions in function weighted metric spaces with an application
Article Open Access

Analysis of F-contractions in function weighted metric spaces with an application

  • Zhenhua Ma , Awais Asif , Hassen Aydi EMAIL logo , Sami Ullah Khan and Muhammad Arshad
Published/Copyright: June 22, 2020

Abstract

In this work, we show that the existence of fixed points of F-contraction mappings in function weighted metric spaces can be ensured without third condition ( F 3 ) imposed on Wardowski function F :(0,  ) . The present article investigates (common) fixed points of rational type F-contractions for single-valued mappings. The article employs Jleli and Samet’s perspective of a new generalization of a metric space, known as a function weighted metric space. The article imposes the contractive condition locally on the closed ball, as well as, globally on the whole space. The study provides two examples in support of the results. The presented theorems reveal some important corollaries. Moreover, the findings further show the usefulness of fixed point theorems in dynamic programming, which is widely used in optimization and computer programming. Thus, the present study extends and generalizes related previous results in the literature in an empirical perspective.

1 Introduction and preliminaries

Throughout this article, the notions N , R and R + denote the set of natural numbers, real numbers and the set of positive real numbers, respectively. In recent years, various authors presented interesting generalizations of a metric space [1,2,3,4,5,6,7]. Among them, Jleli and Samet [8] introduced an interesting generalization of metric spaces, known as F-metric spaces, and proved its generality to a metric space with the help of concrete examples. They also compared the idea of F-metrics with b-metrics and s-relaxed metrics. A fixed point theorem of Banach contraction was established in the frame of F-metric spaces. For other related results, see [9]. In contrast, Wardowski [10] extended the Banach contraction principle to a more generalized form, known as F-contractions, and established a fixed point theorem in complete metric spaces. Klim and Wardowski [11] further discussed F-contractions in the frame of dynamic process and proved fixed point results of F-contractions for multivalued mappings. Along the same line, the class of F-contractions was further extended by various authors, see [12,13,14,15,16,17,18,19,20,21,22,23,24,25]. Also, numerous results on F-contractions have been proved, while imposing the contraction on the closed ball.

The present article relaxes the restrictions of the function F by eliminating its third condition and we prove common fixed point results of both locally and globally rational type F-contractions in F-metric spaces. The article is organized in four sections. Section 1 contains a short history of the previous literature that becomes a departure point for this article. There are some basic definitions and a lemma which help us in the sequel. In Section 2, we establish theorems ensuring the existence of (common) fixed points of single-valued F-contractions in F-metric spaces. An example is provided to explain the results. Section 3 deals with fixed point theorems of rational type F-contractions on closed balls in F-metric spaces. A related example is constructed in support of the result. Additionally, Section 4 is concerned with the application of the aforementioned results to the functional equations in dynamic programming.

Definition 1.1

[8] Let be the collection of functions f :(0,  ) R such that the following conditions hold:

  • ( F 1) f is non-decreasing, i.e., 0 < a < u implies f ( a ) f ( u ) ;

  • ( F 2) For any sequence ( ω n ) (0,  ) , we have

lim n ω n = 0 if and only if lim n f ( ω n ) = 0 .

The definition of an F-metric space is as follows.

Definition 1.2

[8] Suppose U is a non-empty set and d : U × U [0,  ) is a given function. Suppose that there exists ( f , σ ) × [ 0 , ) such that

  • ( D 1) ( a , u ) U × U , d ( a , u ) = 0 if and only if a = u ;

  • ( D 2) for all ( a , u ) U × U , d ( a , u ) = d ( u , a ) ;

  • ( D 3) for every ( a , u ) U × for each n N , n 2 and for every ( ω m ) m = 1 n X with ( ω 1 , ω n ) = ( a , u ) , we have

d ( a , u ) > 0 f ( d ( a , u ) ) f m = 1 n 1 d ( ω m , ω m + 1 ) + σ .

The function d is known as an F-metric on U, and the pair ( U , d ) is called an F-metric space.

It is also called a function weighted metric space. From now on, we keep this last notation.

Example 1.1

[8] Let U = N and d : U × U (0,  ) be defined as

d ( a , u ) = ( a u ) 2 , ( a u ) [ 0 , 3 ] × [ 0 , 3 ] , | a u | , ( a u ) [ 0 , 3 ] × [ 0 , 3 ] ,

for all ( a , u ) U × U with f ( t ) = ln t , t > 0 and α = ln 3 , then d is a function weighted metric on U.

Example 1.2

[8] Let U = N and d : U × U (0,  ) be defined as

d ( a , u ) = 0 , a = u , e | a u | , a u ,

for all ( a , u ) U × U . Then, d is a function weighted metric on U.

Definition 1.3

[8] Let d be an -metric space. Suppose ( a n ) is a sequence in U. Then,

  1. ( a n ) is -convergent to a point a U if lim n d ( a n , a ) = 0 ;

  2. ( a n ) is -Cauchy if lim n d ( a n , a m ) = 0 ;

  3. the space ( U , d ) is -complete if every Cauchy sequence ( a n ) U is convergent to a point a U .

Definition 1.4

[8] Let ( U , d ) be a function weighted metric space. A subset O of U is said to be F-open if for every a O , there is some r > 0 such that B ( a , r ) O , where

B ( a , r ) = { u U : d ( a , u ) < r } .

We say that a subset C of U is F-closed if U \ C is F-open.

Proposition 1.1

[8] Let ( U , d ) be a function weighted metric space and V be a non-empty subset of U. Then, the following statements are equivalent:

  1. V is -closed.

  2. For any sequence ( a n ) V , we have

lim n d ( a n , a ) = 0 , a U

implies a V .

Theorem 1.1

[8] Suppose ( U , d ) is a complete function weighted metric space, and let g : U U be a given mapping. Suppose that there exists k (0,1) such that

d ( g ( a ) , g ( u ) ) d ( a , u ) , ( a , u ) U × U .

Then, g has a unique fixed point a U . Moreover, for any a 0 U , the sequence ( a n ) U defined by a n + 1 = g ( a n ) , n N is convergent to a .

Theorem 1.2

[26] Suppose U is a complete metric space (d is the metric) and let g : U U be a function such that

d ( g ( a ) , g ( u ) ) α d ( a , u ) + β d ( a , g ( a ) ) + γ d ( u , g ( u ) )

for all a , u U , where α , β , γ are non-negative and satisfy α + β + γ < 1 . Then, g has a unique fixed point. Next, let W : ( , 0] R be given continuous bounded initial function. Let C be the space of all continuous functions from R to R and define the set B ( W ) by B ( W ) = { ϕ : R R , ϕ ( t ) = W ( t ) i f t 0 , ϕ ( t ) 0 a s t , ϕ C } . Then, equipped with the supremum norm , S ξ is a Banach space.

Lemma 1.1

[27] The Banach space B ( W ) , endowed with the metric d defined by

d ( g , h ) = g h = max n W | g ( a ) , h ( u ) |

for h B ( W ) , is a function weighted metric space.

2 Fixed point results of globally rational type F-contractions

This section deals with fixed point theorems of rational type F-contractions in the setting of function weighted metric spaces.

Definition 2.1

Let ( U , d ) be a function weighted metric space and ( F , τ ) , ( f , σ ) × [0,  ) with σ < τ . Let S , T : U U be self-mappings. Then, the pair ( T , S ) is called a rational type F-contraction if there exist α , β , γ , δ , λ , μ , η [0,  ) such that α + 2 β + 2 γ + δ + μ < 1 for all ( a , u ) U × U , we have

(1) d ( S a , T u ) > 0 implies τ + F ( d ( S a , T u ) ) F ( M 1 ( a , u ) ) ,

where

M 1 ( a , u ) = α d ( a , u ) + β ( d ( a , S a ) + d ( u , T u ) ) + γ ( d ( u , S a ) + d ( a , T u ) ) + δ d ( u , T u ) [ 1 + d ( a , S a ) ] 1 + d ( a , u ) + λ d ( u , S a ) [ 1 + d ( a , T u ) ] 1 + d ( a , u ) + μ d ( a , u ) [ 1 + d ( a , S a ) + d ( u , S a ) ] 1 + d ( a , u ) + η d ( u , S a ) .

Theorem 2.1

Let U , d be a complete function weighted metric space and S , T : U U be self-mappings such that ( T , S ) is a rational type F-contraction. Then, S and T have at most one common fixed point in U.

Proof

Suppose s 0 is an arbitrary point. Define a sequence ( s n ) by

(2) S s 2 v = s 2 v + 1 and T s 2 v + 1 = s 2 v + 2 , where v = 0 , 1 , 2 , .

Using (1) and (2) and letting a = s 2 v and u = s 2 v + 1 , we can write

τ + F ( d ( s 2 v + 1 , s 2 v + 2 ) ) = τ + F ( d ( S s 2 v , T s 2 v + 1 ) ) F [ a ( d ( s 2 v , s 2 v + 1 ) + β d ( S s 2 v , s 2 v ) + d ( s 2 v + 1 , T s 2 v + 1 ) ] + γ ( d ( s 2 v + 1 , S s 2 v ) + d ( s 2 v , T s 2 v + 1 ) ) + δ d ( s 2 v + 1 , T s 2 v + 1 ) ( 1 + d ( s 2 v , S s 2 v ) ) 1 + d ( s 2 v , s 2 v + 1 ) + λ d ( s 2 v + 1 , S s 2 v + 1 ) ( 1 + d ( s 2 v , T s 2 v + 1 ) ) 1 + d ( s 2 v , s 2 v + 1 ) + μ d ( s 2 v , s 2 v + 1 ) ( 1 + d ( s 2 v , S s 2 v ) ) + d ( s 2 v + 1 , S s 2 v ) 1 + d ( s 2 v , s 2 v + 1 ) + η d ( s 2 v + 1 , S s 2 v ) = F [ α d ( s 2 v , s 2 v + 1 ) + β ( d ( s 2 v , s 2 v + 1 ) + d ( s 2 v + 1 , s 2 v + 2 ) ) + γ d ( s 2 v , s 2 v + 2 ) + δ d ( s 2 v + 1 , s 2 v + 2 ) + μ d ( s 2 v , s 2 v + 1 ) ] .

By ( D 3 ) ,

τ + F ( d ( s 2 v + 1 , s 2 v + 2 ) ) F [ α d ( s 2 v , s 2 v + 1 ) + β ( d ( s 2 v , s 2 v + 1 ) + d ( s 2 v + 1 , s 2 v + 2 ) ) + γ d ( s 2 v , s 2 v + 1 ) + d ( s 2 v + 1 , s 2 v + 2 ) + δ d ( s 2 v + 1 , s 2 v + 2 ) + μ d ( s 2 v , s 2 v + 1 ) ] + σ .

By hypothesis and ( F 1) , we can write

d ( s 2 v + 1 , s 2 v + 2 ) < α d ( s 2 v , s 2 v + 1 ) + β ( d ( s 2 v , s 2 v + 1 ) + d ( s 2 v + 1 , s 2 v + 2 ) ) + γ d ( s 2 v , s 2 v + 1 ) + d ( s 2 v + 1 , s 2 v + 2 ) + δ d ( s 2 v + 1 , s 2 v + 2 ) + μ d ( s 2 v , s 2 v + 1 ) .

That is,

d ( s 2 v + 1 , s 2 v + 2 ) < α + β + γ + μ 1 β γ δ d ( s 2 v , s 2 v + 1 ) = ω d ( s 2 v , s 2 v + 1 ) ,

where α + β + γ + μ 1 β γ δ = ω .

Note that ω < 1 . Similarly,

d ( s 2 v + 2 , s 2 v + 3 ) < α + β + γ + μ 1 β γ δ d ( s 2 v + 1 , s 2 v + 2 ) = ω d ( s 2 v + 1 , s 2 v + 2 ) .

Hence,

d ( s n , s n + 1 ) < ω d ( s n 1 , s n ) , for all n N .

It yields that

d ( s n , s n + 1 ) < ω d ( s n 1 , s n ) < ω 2 d ( s n 2 , s n 1 ) < ω n d ( s 0 , s 1 ) , n N ,

i.e.,

d ( s n , s n + 1 ) < ω n d ( s 0 , s 1 ) , n N .

Using the above inequality, we can write

k = n m 1 d ( s k , s k + 1 ) < ω n 1 + ω + ω 2 + ω m n 1 d ( s 0 , s 1 ) ω n 1 ω d ( s 0 , s 1 ) , m > n .

Since

lim n ω n 1 ω d ( s 0 , s 1 ) = 0 ,

for any δ > 0 , there exists some n N such that

(3) 0 < ω n 1 ω d ( s 0 , s 1 ) < δ , n n .

Furthermore, suppose ( f , α ) × [ 0 , ) such that ( D 3 ) is satisfied. Suppose ε > 0 is fixed. By ( F 2) there is some δ > 0 such that

(4) 0 < t < δ implies f ( t ) < f ( ε ) α .

Using (3) and (4), we write

f k = n m 1 d ( s k , s k + 1 ) f w n 1 ω d ( s 0 , s 1 ) < f ( ε ) α , m > n n .

Using ( D 3) and the above equation, we obtain

d ( s n , s m ) > 0 , m > n > n implies f d ( s n , s m ) < f ( ε ) ,

which shows

d ( s n , s m ) < ε , m > n n .

Therefore, it is proved that the sequence ( s n ) is Cauchy in U. Since ( U , d ) is complete, there exists s U such that ( s n ) is convergent to s , i.e.,

lim n d ( s n , s ) = 0 .

To prove that s is a fixed point of S, assume that d ( S s , s ) > 0 . Then,

τ + F ( d ( S s , s 2 v + 2 ) ) = F ( d ( S s , T s 2 v + 1 ) ) F α d ( s , s 2 v + 1 ) + β ( d ( s , S s ) + d ( s 2 v + 1 , s 2 v + 2 ) ) + γ d ( s 2 v + 1 , S s ) + d ( s , T s 2 v + 1 ) + δ d ( s 2 v + 1 , s 2 v + 2 ) ( 1 + d ( s , S s ) ) 1 + d ( s , s 2 v + 1 ) + λ d ( s 2 v + 1 , S s ) ( 1 + d ( s , T s 2 v + 1 ) ) 1 + d ( s , s 2 v + 1 ) + μ d ( s 2 v + 1 , s ) ( 1 + d ( s , S s ) ) + d ( s 2 v + 1 , S s ) 1 + d ( s , s 2 v + 1 ) + η d ( s 2 v + 1 , S s ) ] .

Using (2) and ( F 1) and letting j , we get

( 1 β γ λ η ) d ( s , S s ) < 0 .

It is a contradiction. Hence, d ( s , S s ) = 0 , i.e., S s = s . Following the same steps, we get T s = s . Hence, S s = s = T s .

Uniqueness: say s is another common fixed point of S and T, i.e., d ( s , s ) > 0 . Then,

τ + F ( d ( s , s ) ) = F ( d ( S s , T s ) ) F [ α d ( s , s ) + β ( d ( s , S s ) + d ( s , T s ) ) + γ d ( s , S s ) + d ( s , T s ) + δ d ( s , T s ) ( 1 + d ( s , S s ) ) 1 + d ( s , s ) + λ d ( s , S s ) ( 1 + d ( s , T s ) ) 1 + d ( s , s ) + μ d ( s , s ) ( 1 + d ( s , S s ) ) + d ( s , S s ) 1 + d ( s , s ) + η d ( s , S s ) ] = F [ α d ( s , s ) + γ d ( s , s + d ( s , s ) ) + λ d ( s , s ) + μ d ( s , s ) + η d ( s , s ) ] .

Using ( F 1) , we write

( 1 2 γ λ μ η ) d ( s , s ) < 0 ,

which is a contradiction. Hence, d ( s , s ) = 0 , i.e., s = s .□

Example 2.1

Suppose U = N , F ( a ) = ln a = f ( a ) and S , T : U U and d : U × U R are defined as

S a = 1 , a = 1 , 2 , a = 2 , a 2 , a > 2 ,

T a = 1 , a = 1 , 2 , a 1 , a > 2 ,

and

d ( a , u ) = 0 , a = u , e | a u | , a u ,

for ( a , u ) U × U . Observe that f and F satisfy ( F 1) ( F 2) and d is the function weighted metric on U. Fix α = β = γ = λ = δ = μ = 0 and η = e 2 . Now, if d ( S a , T u ) > 0 , then

F ( d ( S a , T u ) ) = F ( d ( a 2 , u 1 ) ) = ln ( e | a u 1 | ) < ln ( e 2 e | a u 2 | ) < F ( η d ( u , S a ) ) = F 0 d ( a , u ) + 0 ( d ( a , S a ) + d ( u , T u ) ) + 0 ( d ( u , S a ) + d ( a , T u ) ) + 0 d ( u , T u ) ( 1 + d ( a , S a ) ) 1 + d ( a , u ) + 0 d ( u , S a ) ( 1 + d ( a , T u ) ) 1 + d ( a , u ) + 0 d ( a , u ) ( 1 + d ( a , S a ) + d ( u , S a ) ) 1 + d ( a , u ) + η d ( u , S a )

and

τ ( 0 , ln ( e 2 e | a u 2 | ) ln ( e | a u 1 | ) ) = ( 0 , ln e )

and σ can be chosen according to τ . Therefore (1) holds. Moreover, it is clear that 1 is the unique common fixed point of S and T. Taking S = T in Theorem 2.1, the following result for single-valued mappings is obtained.

Corollary 2.1

Suppose ( U , d ) is a complete function weighted metric space and ( F , τ ) , ( f , σ ) × [0,  ) with σ < τ . Let T : U U be a self-mapping and there exist α , β , γ , δ , λ , μ , η [0,  ) with α + 2 β + 2 γ + δ + μ < 1 such that for all ( a , U ) U U ,

τ + F ( d ( T a , T u ) ) F ( M 1 ( a , u ) ) ,

where

M 1 ( a , u ) = α d ( a , u ) + β ( d ( a , T a ) + d ( u , T u ) ) + γ ( d ( u , T a ) + d ( a , T u ) ) + δ d ( u , T u ) [ 1 + d ( a , T a ) ] 1 + d ( a , u ) + λ d ( u , T a ) [ 1 + d ( a , T u ) ] 1 + d ( a , u ) + μ d ( a , u ) [ 1 + d ( a , T a ) + d ( u , T a ) ] 1 + d ( a , u ) + η d ( u , T a )

provided that d ( T a , T u ) > 0 . Then, T has at most one fixed point in U.

Put δ = λ = μ = η = 0 in Theorem 2.1, the following result for Hardy-Rogers-type F-contraction is obtained.

Corollary 2.2

Suppose ( U , d ) is a complete function weighted metric space and ( F , τ ) , ( f , σ ) × [0,  ) with σ < τ . Let S , T : U U be a self-mapping and there exist α , β , γ [0,  ) with α + 2 β + 2 γ < 1 such that for all ( a , U ) U U ,

τ + F ( d ( T a , T u ) ) F ( M ( a , u ) ) ,

where

M ( a , u ) = α d ( a , u ) + β ( d ( a , S a ) + d ( u , T u ) ) + γ ( d ( u , S a ) + d ( a , T u ) )

provided that d ( T a , T u ) > 0 . Then, S and T have at most one common fixed point in U. Similarly, by putting α = β = 0 , α = γ = 0 and γ = 0 , we can obtain fixed point theorems of Chatterjea-type F-contractions, Kannan-type F-contractions and Reich-type F-contractions, respectively.

3 Fixed point results of locally rational type F-contractions

In this portion, we ensure the existence of fixed points of rational type F-contraction mappings on the closed ball rather than that on the whole function weighted metric space. As a consequence, Hardy and Rogers-type F-contraction is also established. An example is provided to illustrate the result.

Definition 3.1

Suppose ( U , d ) is a complete function weighted metric space and ( F , τ ) , ( f , σ ) × [0,  ) with σ < τ . Let S , T : B ( a 0 , r ) U be a self-mapping. Then, the pair ( T , S ) is called a rational type F-contraction on B ( a 0 , r ) if there exist α , β , γ , δ , λ , μ , η [0,  ) with α + 2 β + 2 γ + δ + μ < 1 such that for all ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) ,

(5) d ( S a , T u ) > 0 implies τ + F ( d ( S a , T u ) ) F ( M 1 ( a , u ) ) ,

where F ( M 1 ( a , u ) ) is given in Definition 2.1.

Theorem 3.1

Let ( U , d ) be a complete function weighted metric space and S , T : U U be self-mappings such that the pair ( T , S ) is a rational type F-contraction on B ( s 0 , r ) . Let r > 0 so that the following conditions hold:

  1. B ( s 0 , r ) is -closed.

  2. d ( s 0 , s 1 ) (1 ω ) r , for s 1 U and ω = α + β + γ + μ 1 β γ δ .

  3. There exists 0 < ε < r such that B ( s 0 , r ) f ( ( 1 ω k + 1 ) r ) f ( ε ) α , where k N . Then, S and T have at most one common fixed point in B ( s 0 , r ) .

Proof

Suppose s 0 is an arbitrary point. Define a sequence ( s n ) by

S s 2 v 1 = s 2 v , T s 2 v = s 2 v + 1 , where j = 0 , 1 , 2 , .

We need to show that ( s n ) is in B ( s 0 , r ) for all n N . It is clear from definition that ω < 1 , therefore, by using mathematical induction and by (b), we write

d ( s 0 , s 1 ) ( 1 ω ) r < r .

Therefore s 1 B ( s 0 , r ) . Suppose s 2 , , s k B ( s 0 , r ) for some k N . Now, if s 2 v + 1 s k , then by 5, we write

τ + F ( d ( s 2 v , s 2 v + 1 ) ) = τ + F ( d ( S s 2 v 1 , T s 2 v ) ) F [ α d ( s 2 v 1 , s 2 v ) + β ( d ( s 2 v 1 , S s 2 v 1 ) + d ( s 2 v , T s 2 v ) ) + γ ( d ( s 2 v , S s 2 v 1 ) + d ( s 2 v 1 , T s 2 v ) ) + δ d ( s 2 v , T s 2 v ) ( 1 + d ( s 2 v 1 , S s 2 v 1 ) ) 1 + d ( s 2 v 1 , s 2 v ) + λ d ( s 2 v , S s 2 v 1 ) ( 1 + d ( s 2 v 1 , T s 2 v ) ) 1 + d ( s 2 v 1 , s 2 v ) + μ d ( s 2 v 1 , s 2 v ) ( 1 + d ( s 2 v 1 , S s 2 v 1 ) ) + d ( s 2 v , S s 2 v 1 ) 1 + d ( s 2 v 1 , s 2 v ) + η d ( s 2 v , S s 2 v 1 ) = F [ α d ( s 2 v 1 , s 2 v ) + β ( d ( s 2 v 1 , s 2 v + d ( s 2 v , s 2 v + 1 ) ) ) + γ d ( s 2 v 1 , s 2 v + 1 ) + δ d ( s 2 v , s 2 v + 1 ) + μ d ( s 2 v 1 , s 2 v ) ] .

Using (D3), we write

τ + F ( d ( s 2 v , s 2 v + 1 ) ) F α d ( s 2 v 1 , s 2 v ) + β ( d ( s 2 v 1 , s 2 v ) + d ( s 2 v , s 2 v + 1 ) ) + γ d ( s 2 v 1 , s 2 v ) + d ( s 2 v , s 2 v + 1 ) + δ d ( s 2 v , s 2 v + 1 ) + μ d ( s 2 v 1 , s 2 v ) + σ .

Using ( F 1) we write

(6) d ( s 2 v , s 2 v + 1 ) < α + β + γ + μ 1 β γ δ d ( s 2 v 1 , s 2 v ) = ω d ( s 2 v 1 , s 2 v ) .

Similarly, if s 2 v s k , then

(7) d ( s 2 v 1 , s 2 v ) < α + β + γ + μ 1 β γ δ d ( s 2 v 2 , s 2 v 1 ) = ω d ( s 2 v 2 , s 2 v 1 ) .

Therefore, from inequalities (6) and (7), we write

(8) d ( s 2 v , s 2 v + 1 ) < ω d ( s 2 v 1 , s 2 v ) < < ω 2 v d ( s 0 , s 1 )

and

(9) d ( s 2 v 1 , s 2 v + 1 ) < ω d ( s 2 v 2 , s 2 v 1 ) < < ω 2 v 1 d ( s 0 , s 1 ) .

From (8) and (9), we write

(10) d ( s k , s k + 1 ) < ω k d ( s 0 , s 1 ) for some k N .

Now, using the above equation, we write

f ( d ( s 0 , s k + 1 ) ) < f i = 1 k + 1 d ( s i 1 , s i ) + σ = f ( d ( s 0 , s 1 ) + + d ( s k , s k + 1 ) ) + σ f [ ( 1 + ω + ω 2 + + ω k ) ( d ( s 0 , s 1 ) ) ] + σ = f 1 ω k + 1 1 ω d ( s 0 , s 1 ) + σ .

Using (b) and (c), we can write

f ( d ( s 0 , s k + 1 ) ) f ((1 ω k + 1 ) r ) + σ f ( ε ) < f ( r ) .

Hence by (F1), we argue that

s k + 1 B ( s 0 , r ) .

Therefore, s n B ( s 0 , r ) for all n N . Again, we have by 5,

τ + F ( d ( s 2 v + 1 , s 2 v + 2 ) ) = τ + F ( d ( S s 2 v , T s 2 v + 1 ) ) F [ α d ( s 2 v , s 2 v + 1 ) + β ( d ( s 2 v , S s 2 v ) + d ( s 2 v + 1 , T s 2 v + 1 ) ) + γ ( d ( s 2 v + 1 , S s 2 v ) + d ( s 2 v , T s 2 v + 1 ) ) + δ d ( s 2 v + 1 , T s 2 v + 1 ) ( 1 + d ( s 2 v , S s 2 v ) ) 1 + d ( s 2 v , s 2 v + 1 ) + λ d ( s 2 v + 1 , S s 2 v ) ( 1 + d ( s 2 v , T s 2 v + 1 ) ) 1 + d ( s 2 v , s 2 v + 1 ) + μ d ( s 2 v , s 2 v + 1 ) ( 1 + d ( s 2 v , S s 2 v ) ) + d ( s 2 v + 1 , S s 2 v ) 1 + d ( s 2 v , s 2 v + 1 ) + η d ( s 2 v + 1 , S s 2 v ) ] .

Following the same steps of Theorem 2.1 and using (a), we obtain that the sequence ( s n ) is convergent to some s in B ( s 0 , r ) . s can be proved as a common fixed point of S and T in the same way as in Theorem 2.1.□ Putting S = T in Theorem 3.1, the following result for single mappings is obtained.

Corollary 3.1

Suppose ( f , α ) × [0,  ) . Let ( U , d ) be a complete function weighted metric space and T : U U be a self-mapping and there exist α , β , γ , δ , λ , μ , η [0,  ) with α + 2 β + 2 γ + δ + μ < 1 . Suppose a 0 U and r > 0 such that the following conditions are satisfied:

  1. B ( a 0 , r ) is F-closed;

  2. d ( a 0 , a 1 ) (1 ω ) r , for a 1 U and ω = α + β + γ + μ 1 β γ δ ;

  3. There exists 0 < ε < r such that f ( (1 ω k + 1 ) r ) f ( ε ) α , where k N ;

  4. For all ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) , which d f ( T a , T u ) > 0 implies τ + F ( d ( T a , T u ) ) F ( M 1 ( a , u ) ) , where

M 1 ( a , u ) = α d ( a , u ) + β ( d ( a , T u ) + d ( a , T u ) ) + γ ( d ( a , T a ) + d ( a , T u ) ) + δ d ( u , T u ) [ 1 + d ( a , T a ) ] 1 + d ( a , u ) + λ d ( u , T a ) [ 1 + d ( a , T u ) ] 1 + d ( a , u ) + μ d ( a , u ) [ 1 + d ( a , T a ) + d ( u , T a ) ] 1 + d ( a , u ) + η d ( u , T a ) .

Then, T has at most one fixed point in B ( a 0 , r ) .

Example 3.1

Let U R 0 + and F ( u ) = ln u = f ( u ) . Define T : U U by

T u = u 3 , u [ 0 , 1 ] , u 2 , u ( 1 , )

and define d as

d ( a , u ) = ( a u ) 2 , ( a , u ) [ 0 , 1 ] × [ 0 , 1 ] , | a u | , ( a , u ) [ 0 , 1 ] × [ 0 , 1 ] .

It can be easily verified that d is an F-metric and both f and F satisfy (F1)–(F2). Fix a 0 = r = 1 2 , then B ( a 0 , r ) = [0, 1] . Clearly, B ( a 0 , r ) is F-closed, so condition (a) of Corollary 3.1 is satisfied. Now if α = 2 9 and β = γ = δ = μ = λ = η = 0 , then ω = α and

d ( a 0 , a 1 ) = d ( a 0 , T a 0 ) = 1 2 1 6 2 = 1 9 < 1 2 9 1 2 = ( 1 ω ) r ,

which shows that condition (b) is fulfilled. Furthermore, suppose k = 1 , then

f ( ( 1 ω k + 1 ) r ) = ln 1 1 9 2 1 2 = ln 77 162 = ln 78 162 ln 78 77 = f ( ε ) σ

is satisfied, i.e., ε = 78 162 1 2 = r and σ = ln 78 77 . Similarly, for all values of k N , we can find some 0 < ε < r and σ such that condition (c) is fulfilled. Now, if ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) , then

F ( d ( T a , T u ) ) = ln a 3 u 3 2 < ln 2 9 ( a u ) 2 = ln [ α d ( a , u ) + 0 ( d ( a , T a ) + d ( u , T u ) ) + 0 ( d ( u , T a ) + d ( a , T u ) ) + 0 d ( u , T u ) ( 1 + d ( a , T a ) ) 1 + d ( a , u ) + 0 d ( u , T a ) ( 1 + d ( a , T u ) ) 1 + d ( a , u ) + 0 d f ( a , u ) ( 1 + d ( a , T a ) + d ( u , T a ) ) 1 + d ( a , u ) + 0 d ( u , T a ) ] ,

where

τ ln 78 77 , ln 2 9 ( a u ) 2 a 3 u 3 2 = ln 78 77 , ln 2 9 ( a u ) 2 1 9 ( a u ) 2 = ln 78 77 , ln 2 = ( σ , ln 2 ) .

Therefore, for all ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) , condition (d) is also satisfied. On the other side, if ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) , i.e., a = 2 and u = 3 , then

F ( d ( T a , T u ) ) = ln | 2 2 3 2 | > ln 2 9 | 2 3 | = F ( α d ( a , u ) ) = F ( M 1 ( a , u ) ) .

Hence, condition (d) holds only for B ( a 0 , r ) and not on U × U . Moreover, 0 B ( a 0 , r ) is the fixed point of T.

Fixed point result of Hardy-Rogers-type F-contraction can be obtained by putting δ = μ = λ = η = 0 in Theorem 3.1.

Corollary 3.2

Let ( U , d ) be a complete function weighted metric space and S , T : U U be a self-mapping such that ( T , S ) is a rational type F-contraction on B ( a 0 , r ) . Suppose a 0 B and r > 0 such that the following conditions are satisfied:

  1. B ( a 0 , r ) is F-closed;

  2. d ( a 0 , a 1 ) ( 1 ω ) r , for a 1 U and ω = α + β + γ 1 β γ ;

  3. There exists 0 < ε < r such that f ( (1 ω k + 1 ) r ) f ( ε ) α , where k N ;

  4. For all ( a , u ) B ( a 0 , r ) × B ( a 0 , r ) ,

τ + F ( d ( T a , T u ) ) F [ α d ( a , u ) + β ( d ( a , S a ) + d ( u , T u ) ) + γ ( d ( u , S a ) + d ( a , T u ) ) ] .

Then, S and T have at most one common fixed point in B ( a 0 , r ) .

Proof

Taking δ = λ = μ = η = 0 in proof of Theorem 3.1, we get the required proof.□

4 Application in dynamic programing

In this part, we use our results to assure the existence of a unique common solution of functional equations in dynamic programming. The problems of dynamic programming comprise two main parts. One is a state space, which is a collection of parameters representing different states including transitional states, initial states and action states. The other one is a decision space, that is, the series of decisions taken to solve the problems. This setting formulates the problems of a computer programming and a mathematical optimization. Particularly, the problems of dynamic programming are transformed into the problems of functional equations:

(11) p ( a ) = max b B { G ( a , b ) + g 1 ( a , b , p ( η ( a , b ) ) ) } , for a A

and

(12) q ( a ) = max b B { G ( a , b ) + g 2 ( a , b , p ( η ( a , b ) ) ) } , for a A ,

where U and V are Banach spaces such that A U , B U and

η : A × B A G : A × B R g 1 , g 2 : A × B × R R .

Assume that the decision spaces and state spaces are A and B, respectively. Our aim is to assure that equations (11) and (12) have at most one common solution. Suppose W ( A ) represents the collection of all real-valued bounded mappings on A. Suppose that h is an arbitrary element of W ( A ) . Define h = max a A | h ( a ) | . Then, W ( A ) , is a Banach space along with the metric d f is given by

(13) d ( h , k ) = max a A | h ( a ) k ( a ) | .

Assume the following conditions hold:

(C1) G , g 1 , g 2 are bounded;

(C2) For a A and h W ( A ) , define S , T : W ( A ) W ( A ) by

(14) Sh ( a ) = max b B { G ( a , b ) + g 1 ( a , b , h ( η ( a , b ) ) ) } , for a A ,

(15) Th ( a ) = max b B { G ( a , b ) + g 2 ( a , b , h ( η ( a , b ) ) ) } , for a A .

Clearly, if the functions G , g 1 and g 2 are bounded, then S and T are well-defined.

(C3) For σ < τ : R + R + , ( a , b ) A × B , h , k W ( A ) and t A , we have

(16) | g 1 ( a , b , h ( t ) ) g 2 ( a , b , k ( t ) ) | e τ M 1 ( h , k ) ,

where

M 1 ( h , k ) = α d ( h , k ) + β ( d ( h , S h ) + d ( k , T k ) ) + γ ( d ( k , S h ) + d ( h , T k ) ) + δ d ( k , T k ) [ 1 + d ( h , S h ) ] 1 + d ( h , k ) + λ d ( k , S h ) [ 1 + d ( h , T k ) ] 1 + d ( h , k ) + μ d ( h , k ) [ 1 + d ( h , S h ) + d ( k , S h ) ] 1 + d ( h , k ) + η d ( k , S h )

for α , β , γ , δ , λ , μ , η [0,  ) such that α + 2 β + 2 γ + δ + μ < 1 , where min { d ( S h , T k ) , M 1 ( h , k ) } > 0 . Now, we prove the following result.

Theorem 4.1

Suppose conditions (C1)–(C3) hold, then equations ( 11 ) and ( 12) have at most one common bounded solution.

Proof

By Lemma 1.1, we have W ( A ) , d is a complete function weighted metric space, where d is given by (13). By (C1), S and T are self-mappings on W ( A ) . Suppose λ is an arbitrary positive number and h 1 , h 2 W ( A ) . Take a A and b 1 , b 2 B such that

(17) Sh j < G ( a , b j ) + g 1 ( a , b j , h j ( η ( a , b j ) ) + λ ,

(18) Th j < G ( a , b j ) + g 2 ( a , b j , h j ( η ( a , b j ) ) + λ ,

(19) Sh 1 G ( a , b 2 ) + g 1 ( a , b 2 , h 1 ( η ( a , b 2 ) )

and

(20) Th 2 G ( a , b 1 ) + g 2 ( a , b 1 , h 2 ( η ( a , b 1 ) ) .

Then, using (17) and (20), we get

Sh 1 ( a ) Th 2 ( a ) < g 1 ( a , b 1 , h 1 ( η ( a , b 1 ) ) g 2 ( a , b 1 , h 2 ( η ( a , b 1 ) ) + λ g 1 ( a , b 1 , h 1 ( η ( a , b 1 ) ) g 2 ( a , b 1 , h 2 ( η ( a , b 1 ) ) + λ e τ M 1 ( h 1 ( a ) , h 2 ( a ) ) + λ .

Similarly, by (18) and (19), we get

Th 2 ( a ) Sh 1 ( a ) < e τ M 1 ( h 1 ( a ) , h 2 ( a ) ) + λ .

Combining the above two inequalities, we get

Sh 1 ( a ) Th 2 ( a ) < e τ M 1 ( h 1 ( a ) , h 2 ( a ) ) + λ

for all λ > 0 . Hence,

d ( Sh 1 ( a ) , Th 2 ( a ) ) e τ M 1 ( h 1 ( a ) , h 2 ( a ) ) ,

that is,

d ( Sh 1 , Th 2 ) e τ M 1 ( h 1 , h 2 )

for each a A . Using logarithms, we have

τ + ln ( d ( Sh 1 , Th 2 ) ) ln ( e τ M 1 ( h 1 , h 2 ) ) .

Now, it is clear that, for the mapping F : R + R defined as F ( a ) = ln a , all the conditions of Theorem 3.1 are fulfilled, so by applying Theorem 3.1, S and T have a unique common and bounded solution of equations (11) and (12).□

Acknowledgments

The research was supported by the China Postdoctoral Science Foundation (Grant No. 2019M661047), the Natural Science Foundation of Hebei Province (Grant No. A2019404009) and Postdoctoral Foundation of Hebei Province (Grant No. B2019003016).

  1. Conflict of interest: The authors declare no conflicts of interest.

References

[1] A. Branciari, A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces, Publ. Math. Debr. 57 (2000), 31–37.10.5486/PMD.2000.2133Search in Google Scholar

[2] M.A. Khams and N. Hussain, KKM mappings in metric type spaces, Nonlinear Anal. 7 (2010), no. 9, 3123–3129.10.1016/j.na.2010.06.084Search in Google Scholar

[3] M. Jleli and B. Samet, A generalized metric space and related fixed point theorems, Fixed Point Theory Appl. 2015 (2015), 61, 10.1186/s13663-015-0312-7.Search in Google Scholar

[4] N. Mlaiki, H. Aydi, N. Souayah, and T. Abdeljawad, Controlled metric type spaces and the related contraction principle, Mathematics 6 (2018), no. 10, 194, 10.3390/math6100194.Search in Google Scholar

[5] S. Czerwik, Contraction mappings in b-metric spaces, Acta Math. Univ. Ostrav. 1 (1993), no. 1, 5–11.Search in Google Scholar

[6] S. G. Matthews, Partial metric topology, Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994) 183–197.10.1111/j.1749-6632.1994.tb44144.xSearch in Google Scholar

[7] Z. Mustafa and B. Sims, A new approach to generalized metric spaces, J. Nonlinear Convex Anal. 7 (2006), no. 2, 289–297.Search in Google Scholar

[8] M. Jleli and B. Samet, On a new generalization of metric spaces, J. Fixed Point Theory Appl. 20 (2018), 128, 10.1007/s11784-018-0606-6.Search in Google Scholar

[9] Z. D. Mitrović, H. Aydi, N. Hussain, and A. Mukheimer, Reich, Jungck, and Berinde common fixed point results on ℱ-metric spaces and an application, Mathematics 7 (2019), 387, 10.3390/math7050387.Search in Google Scholar

[10] D. Wardowski, Fixed points of a new type of contractive mappings in complete metric spaces, Fixed Point Theory Appl. 2012 (2012), 94, 10.1186/1687-1812-2012-94.Search in Google Scholar

[11] D. Klim and D. Wardowski, Fixed points of dynamic processes of set-valued F-contractions and application to functional equations, Fixed Point Theory Appl. 2015 (2015), 22, 10.1186/s13663-015-0272-y.Search in Google Scholar

[12] J. Ahmad, H. Aydi, and N. Mlaiki, Fuzzy fixed points of fuzzy mappings via F-contractions and an application, J. Intell. Fuzzy Syst. 37 (2019), no. 4, 5487–5493.10.3233/JIFS-190580Search in Google Scholar

[13] M. Cosentino and P. Vetro, Fixed point results for F-contractive mappings of Hardy-Rogers type, Filomat 28 (2014), no. 4, 715–722.10.2298/FIL1404715CSearch in Google Scholar

[14] H. Kaddouri, H. Isik, and S. Beloul, On new extensions of F-contraction with application to integral inclusions, U.P.B. Sci. Bull. Series A 81 (2019), no. 3, 31–42.Search in Google Scholar

[15] E. Ameer, H. Aydi, M. Arshad, H. Alsamir, and M. S. Noorani, Hybrid multivalued type contraction mappings in αK-complete partial b-metric spaces and applications, Symmetry 11 (2019), 86, 10.3390/sym11010086.Search in Google Scholar

[16] N. Alamgir, Q. Kiran, H. Isik, and H. Aydi, Fixed point results via a Hausdorff controlled type metric, Adv. Differ. Equ. 2020 (2020), 24, 10.1186/s13662-020-2491-8.Search in Google Scholar

[17] G. Minak, A. Halvaci, and I. Altun, Ciric type generalized F-contractions on complete metric spaces and fixed point results, Filomat 28 (2014), no. 6, 1143–1151.10.2298/FIL1406143MSearch in Google Scholar

[18] H. Qawaqneh, M.S. Noorani, W. Shatanawi, H. Aydi, and H. Alsamir, Fixed point results for multi-valued contractions in b-metric spaces, Mathematics 7 (2019), 132, 10.3390/math7020132.Search in Google Scholar

[19] M. Nazam, C. Park, A. Hussain, M. Arshad, and J. R. Lee, Fixed point theorems for F-contractions on closed ball in partial metric spaces, J. Comput. Anal. Appl. 27 (2019), no. 5, 759–769.Search in Google Scholar

[20] T. Rasham, A. Shoaib, B. S. Alamri, and M. Arshad, Multivalued fixed point results for new generalized F-dominated contractive mappings on dislocated metric space with application, J. Funct. Spaces (2018), 4808764, 10.1155/2018/4808764.Search in Google Scholar

[21] T. Rasham, G. Marino, A. Shoaib, B. S. Alamri, and M. Arshad, Sufficient conditions to solve two systems of integral equations via fixed point results, J. Ineq. Appl. 2019 (2019), 182, 10.1186/s13660-019-2130-7.Search in Google Scholar

[22] T. Rasham, A. Shoaib, N. Hussain, M. Arshad, and S. U. Khan, Common fixed point results for new Ciric-type rational multivalued F-contraction with an application, J. Fixed Point Theory. Appl. 20 (2018), 45, 10.1007/s11784-018-0525-6.Search in Google Scholar

[23] A. Shoaib and A. Asif, Generalized dynamic process for generalized multivalued F-contraction of Hardy Rogers type in b-metric spaces, Turkish J. Anal. Number Theory 6 (2018), no. 2, 43–48, 10.12691/tjant-6-2-2.Search in Google Scholar

[24] E. Ameer, H. Aydi, M. Arshad, and M. De la Sen, Hybrid Ćirić type graphic (γ,Λ)-contraction mappings with applications to electric circuit and fractional differential equations, Symmetry 12 (2020), 467, 10.3390/sym12030467.Search in Google Scholar

[25] S. Shukla, S. Radenović, and C. Vetro, Set-valued Hardy-Rogers type contraction in 0-complete partial metric spaces, Int. J. Math. Math. Sci. 2014 (2014), 652925, 10.1155/2014/652925.Search in Google Scholar

[26] S. Reich, Some remarks concerning contraction mappings, Canad. Nth. Bull. 14 (1971), 121–124.10.4153/CMB-1971-024-9Search in Google Scholar

[27] A. Hussain and T. Kanwal, Existence and uniqueness for a neutral differential problem with unbounded delay via fixed point results, Trans. A. Razmadze Math. Inst. 172 (2018), 481–490.10.1016/j.trmi.2018.08.006Search in Google Scholar

Received: 2019-08-22
Revised: 2020-02-28
Accepted: 2020-04-28
Published Online: 2020-06-22

© 2020 Zhenhua Ma et al., published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. Non-occurrence of the Lavrentiev phenomenon for a class of convex nonautonomous Lagrangians
  3. Strong and weak convergence of Ishikawa iterations for best proximity pairs
  4. Curve and surface construction based on the generalized toric-Bernstein basis functions
  5. The non-negative spectrum of a digraph
  6. Bounds on F-index of tricyclic graphs with fixed pendant vertices
  7. Crank-Nicolson orthogonal spline collocation method combined with WSGI difference scheme for the two-dimensional time-fractional diffusion-wave equation
  8. Hardy’s inequalities and integral operators on Herz-Morrey spaces
  9. The 2-pebbling property of squares of paths and Graham’s conjecture
  10. Existence conditions for periodic solutions of second-order neutral delay differential equations with piecewise constant arguments
  11. Orthogonal polynomials for exponential weights x2α(1 – x2)2ρe–2Q(x) on [0, 1)
  12. Rough sets based on fuzzy ideals in distributive lattices
  13. On more general forms of proportional fractional operators
  14. The hyperbolic polygons of type (ϵ, n) and Möbius transformations
  15. Tripled best proximity point in complete metric spaces
  16. Metric completions, the Heine-Borel property, and approachability
  17. Functional identities on upper triangular matrix rings
  18. Uniqueness on entire functions and their nth order exact differences with two shared values
  19. The adaptive finite element method for the Steklov eigenvalue problem in inverse scattering
  20. Existence of a common solution to systems of integral equations via fixed point results
  21. Fixed point results for multivalued mappings of Ćirić type via F-contractions on quasi metric spaces
  22. Some inequalities on the spectral radius of nonnegative tensors
  23. Some results in cone metric spaces with applications in homotopy theory
  24. On the Malcev products of some classes of epigroups, I
  25. Self-injectivity of semigroup algebras
  26. Cauchy matrix and Liouville formula of quaternion impulsive dynamic equations on time scales
  27. On the symmetrized s-divergence
  28. On multivalued Suzuki-type θ-contractions and related applications
  29. Approximation operators based on preconcepts
  30. Two types of hypergeometric degenerate Cauchy numbers
  31. The molecular characterization of anisotropic Herz-type Hardy spaces with two variable exponents
  32. Discussions on the almost 𝒵-contraction
  33. On a predator-prey system interaction under fluctuating water level with nonselective harvesting
  34. On split involutive regular BiHom-Lie superalgebras
  35. Weighted CBMO estimates for commutators of matrix Hausdorff operator on the Heisenberg group
  36. Inverse Sturm-Liouville problem with analytical functions in the boundary condition
  37. The L-ordered L-semihypergroups
  38. Global structure of sign-changing solutions for discrete Dirichlet problems
  39. Analysis of F-contractions in function weighted metric spaces with an application
  40. On finite dual Cayley graphs
  41. Left and right inverse eigenpairs problem with a submatrix constraint for the generalized centrosymmetric matrix
  42. Controllability of fractional stochastic evolution equations with nonlocal conditions and noncompact semigroups
  43. Levinson-type inequalities via new Green functions and Montgomery identity
  44. The core inverse and constrained matrix approximation problem
  45. A pair of equations in unlike powers of primes and powers of 2
  46. Miscellaneous equalities for idempotent matrices with applications
  47. B-maximal commutators, commutators of B-singular integral operators and B-Riesz potentials on B-Morrey spaces
  48. Rate of convergence of uniform transport processes to a Brownian sheet
  49. Curves in the Lorentz-Minkowski plane with curvature depending on their position
  50. Sequential change-point detection in a multinomial logistic regression model
  51. Tiny zero-sum sequences over some special groups
  52. A boundedness result for Marcinkiewicz integral operator
  53. On a functional equation that has the quadratic-multiplicative property
  54. The spectrum generated by s-numbers and pre-quasi normed Orlicz-Cesáro mean sequence spaces
  55. Positive coincidence points for a class of nonlinear operators and their applications to matrix equations
  56. Asymptotic relations for the products of elements of some positive sequences
  57. Jordan {g,h}-derivations on triangular algebras
  58. A systolic inequality with remainder in the real projective plane
  59. A new characterization of L2(p2)
  60. Nonlinear boundary value problems for mixed-type fractional equations and Ulam-Hyers stability
  61. Asymptotic normality and mean consistency of LS estimators in the errors-in-variables model with dependent errors
  62. Some non-commuting solutions of the Yang-Baxter-like matrix equation
  63. General (p,q)-mixed projection bodies
  64. An extension of the method of brackets. Part 2
  65. A new approach in the context of ordered incomplete partial b-metric spaces
  66. Sharper existence and uniqueness results for solutions to fourth-order boundary value problems and elastic beam analysis
  67. Remark on subgroup intersection graph of finite abelian groups
  68. Detectable sensation of a stochastic smoking model
  69. Almost Kenmotsu 3-h-manifolds with transversely Killing-type Ricci operators
  70. Some inequalities for star duality of the radial Blaschke-Minkowski homomorphisms
  71. Results on nonlocal stochastic integro-differential equations driven by a fractional Brownian motion
  72. On surrounding quasi-contractions on non-triangular metric spaces
  73. SEMT valuation and strength of subdivided star of K 1,4
  74. Weak solutions and optimal controls of stochastic fractional reaction-diffusion systems
  75. Gradient estimates for a weighted nonlinear parabolic equation and applications
  76. On the equivalence of three-dimensional differential systems
  77. Free nonunitary Rota-Baxter family algebras and typed leaf-spaced decorated planar rooted forests
  78. The prime and maximal spectra and the reticulation of residuated lattices with applications to De Morgan residuated lattices
  79. Explicit determinantal formula for a class of banded matrices
  80. Dynamics of a diffusive delayed competition and cooperation system
  81. Error term of the mean value theorem for binary Egyptian fractions
  82. The integral part of a nonlinear form with a square, a cube and a biquadrate
  83. Meromorphic solutions of certain nonlinear difference equations
  84. Characterizations for the potential operators on Carleson curves in local generalized Morrey spaces
  85. Some integral curves with a new frame
  86. Meromorphic exact solutions of the (2 + 1)-dimensional generalized Calogero-Bogoyavlenskii-Schiff equation
  87. Towards a homological generalization of the direct summand theorem
  88. A standard form in (some) free fields: How to construct minimal linear representations
  89. On the determination of the number of positive and negative polynomial zeros and their isolation
  90. Perturbation of the one-dimensional time-independent Schrödinger equation with a rectangular potential barrier
  91. Simply connected topological spaces of weighted composition operators
  92. Generalized derivatives and optimization problems for n-dimensional fuzzy-number-valued functions
  93. A study of uniformities on the space of uniformly continuous mappings
  94. The strong nil-cleanness of semigroup rings
  95. On an equivalence between regular ordered Γ-semigroups and regular ordered semigroups
  96. Evolution of the first eigenvalue of the Laplace operator and the p-Laplace operator under a forced mean curvature flow
  97. Noetherian properties in composite generalized power series rings
  98. Inequalities for the generalized trigonometric and hyperbolic functions
  99. Blow-up analyses in nonlocal reaction diffusion equations with time-dependent coefficients under Neumann boundary conditions
  100. A new characterization of a proper type B semigroup
  101. Constructions of pseudorandom binary lattices using cyclotomic classes in finite fields
  102. Estimates of entropy numbers in probabilistic setting
  103. Ramsey numbers of partial order graphs (comparability graphs) and implications in ring theory
  104. S-shaped connected component of positive solutions for second-order discrete Neumann boundary value problems
  105. The logarithmic mean of two convex functionals
  106. A modified Tikhonov regularization method based on Hermite expansion for solving the Cauchy problem of the Laplace equation
  107. Approximation properties of tensor norms and operator ideals for Banach spaces
  108. A multi-power and multi-splitting inner-outer iteration for PageRank computation
  109. The edge-regular complete maps
  110. Ramanujan’s function k(τ)=r(τ)r2(2τ) and its modularity
  111. Finite groups with some weakly pronormal subgroups
  112. A new refinement of Jensen’s inequality with applications in information theory
  113. Skew-symmetric and essentially unitary operators via Berezin symbols
  114. The limit Riemann solutions to nonisentropic Chaplygin Euler equations
  115. On singularities of real algebraic sets and applications to kinematics
  116. Results on analytic functions defined by Laplace-Stieltjes transforms with perfect ϕ-type
  117. New (p, q)-estimates for different types of integral inequalities via (α, m)-convex mappings
  118. Boundary value problems of Hilfer-type fractional integro-differential equations and inclusions with nonlocal integro-multipoint boundary conditions
  119. Boundary layer analysis for a 2-D Keller-Segel model
  120. On some extensions of Gauss’ work and applications
  121. A study on strongly convex hyper S-subposets in hyper S-posets
  122. On the Gevrey ultradifferentiability of weak solutions of an abstract evolution equation with a scalar type spectral operator on the real axis
  123. Special Issue on Graph Theory (GWGT 2019), Part II
  124. On applications of bipartite graph associated with algebraic structures
  125. Further new results on strong resolving partitions for graphs
  126. The second out-neighborhood for local tournaments
  127. On the N-spectrum of oriented graphs
  128. The H-force sets of the graphs satisfying the condition of Ore’s theorem
  129. Bipartite graphs with close domination and k-domination numbers
  130. On the sandpile model of modified wheels II
  131. Connected even factors in k-tree
  132. On triangular matroids induced by n3-configurations
  133. The domination number of round digraphs
  134. Special Issue on Variational/Hemivariational Inequalities
  135. A new blow-up criterion for the Nabc family of Camassa-Holm type equation with both dissipation and dispersion
  136. On the finite approximate controllability for Hilfer fractional evolution systems with nonlocal conditions
  137. On the well-posedness of differential quasi-variational-hemivariational inequalities
  138. An efficient approach for the numerical solution of fifth-order KdV equations
  139. Generalized fractional integral inequalities of Hermite-Hadamard-type for a convex function
  140. Karush-Kuhn-Tucker optimality conditions for a class of robust optimization problems with an interval-valued objective function
  141. An equivalent quasinorm for the Lipschitz space of noncommutative martingales
  142. Optimal control of a viscous generalized θ-type dispersive equation with weak dissipation
  143. Special Issue on Problems, Methods and Applications of Nonlinear analysis
  144. Generalized Picone inequalities and their applications to (p,q)-Laplace equations
  145. Positive solutions for parametric (p(z),q(z))-equations
  146. Revisiting the sub- and super-solution method for the classical radial solutions of the mean curvature equation
  147. (p,Q) systems with critical singular exponential nonlinearities in the Heisenberg group
  148. Quasilinear Dirichlet problems with competing operators and convection
  149. Hyers-Ulam-Rassias stability of (m, n)-Jordan derivations
  150. Special Issue on Evolution Equations, Theory and Applications
  151. Instantaneous blow-up of solutions to the Cauchy problem for the fractional Khokhlov-Zabolotskaya equation
  152. Three classes of decomposable distributions
Downloaded on 28.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2020-0035/html?lang=en
Scroll to top button