Skip to main content

A Pata-type fixed point theorem in modular spaces with application

Abstract

In this paper, we present a Pata-type fixed point theorem in modular spaces which generalizes and improves some old results. As an application, we study the existence of solutions of integral equations in modular function spaces.

MSC:47H10, 46A80, 45G10.

1 Introduction and preliminaries

In 1950 Nakano [1] introduced the theory of modular spaces in connection with the theory of ordered spaces. Musielak and Orlicz [2] in 1959 redefined and generalized it to obtain a generalization of the classical function spaces L p . Khamsi et al. [3] investigated the fixed point results in modular function spaces. There exists an extensive literature on the topic of the fixed point theory in modular spaces (see, for instance, [414]) and the papers referenced there.

Recently, Pata [15] improved the Banach principle. Using the idea of Pata, we prove a fixed point theorem in modular spaces. Then we show how our results generalize old ones. Also, we prepare an application of our main results to the existence of solutions of integral equations in Musielak-Orlicz spaces.

In the first place, we recall some basic notions and facts about modular spaces.

Definition 1.1 Let X be an arbitrary vector space over K (=R or ).

  1. (a)

    A function ρ:X[0,+] is called a modular if for all x,yX.

    1. (i)

      ρ(x)=0 if and only if x=0;

    2. (ii)

      ρ(αx)=ρ(x) for every scalar α with |α|=1;

    3. (iii)

      ρ(αx+βy)ρ(x)+ρ(y) if α+β=1 and α0, β0

  2. (b)

    If (iii) is replaced by we say that ρ is convex modular.

    1. (iv)

      ρ(αx+βy)αρ(x)+βρ(y) if α+β=1 and α0, β0,

  3. (c)

    A modular ρ defines a corresponding modular space, i.e., the vector space X ρ given by

    X ρ = { x X : ρ ( λ x ) 0  as  λ 0 } .

Example 1.2 Let (X,) be a norm space, then is a convex modular on X. But the converse is not true.

In general the modular ρ does not behave as a norm or a distance because it is not subadditive. But one can associate to a modular the F-norm (see [16]).

Definition 1.3 The modular space X ρ can be equipped with the F-norm defined by

|x | ρ =inf { α > 0 ; ρ ( x α ) α } .

Namely, if ρ is convex, then the functional

x ρ =inf { α > 0 ; ρ ( x α ) 1 } ,

is a norm called the Luxemburg norm in X ρ which is equivalent to the F-norm | | ρ .

Definition 1.4 Let X ρ be a modular space.

  1. (a)

    A sequence { x n } n N in X ρ is said to be:

    1. (i)

      ρ-convergent to x if ρ( x n x)0 as n.

    2. (ii)

      ρ-Cauchy if ρ( x n x m )0 as n,m.

  2. (b)

    X ρ is ρ-complete if every ρ-Cauchy sequence is ρ-convergent.

  3. (c)

    A subset B X ρ is said to be ρ-closed if { x n } n N B with x n x, then xB.

  4. (d)

    A subset B X ρ is called ρ-bounded if

    δ ρ (B)=sup { ρ ( x y ) : x , y B } <,

where δ ρ (B) is called the ρ-diameter of B.

  1. (e)

    We say that ρ has the Fatou property if

    ρ(xy)lim infρ( x n y n ),

whenever ρ( x n x)0, ρ( y n y)0 as n.

  1. (f)

    ρ is said to satisfy the 2 -condition if

    ρ( x n )0ρ(2 x n )0(as n).

It is easy to check that for every modular ρ and x,y X ρ ,

  1. (1)

    ρ(αx)ρ(βx) for each α,β R + with αβ,

  2. (2)

    ρ(x+y)ρ(2x)+ρ(2y).

Now we recall some basic concepts about modular function spaces as formulated by Kozlowski [17].

Let Ω be a nonempty set and let Σ be a nontrivial σ-algebra of subsets of Ω. Let be a δ-ring of subsets of Σ such that EAP for any EP and AΣ. Let us assume that there is an increasing sequence of sets K n P such that Ω= K n .

In other words, the family plays the role of δ-ring of subsets of finite measure. By we denote the linear space of all simple functions with supports from .

By we denote the space of all measurable functions, i.e., all functions f:ΩR such that there exists a sequence { g n }E, | g n ||f| and g n (w)f(w) for all wΩ. By 1 A we denote the characteristic function of the set A.

Definition 1.5 A function ρ:E×Σ[0,+] is called a function modular if

  1. (i)

    ρ(0,E)=0 for any EΣ;

  2. (ii)

    ρ(f,E)ρ(g,E) whenever |f(w)||g(w)| for any wΩ, f,gE and EΣ;

  3. (iii)

    ρ(f,):Σ[0,+] is a σ-sub-additive measure for every fE;

  4. (iv)

    ρ(α,A)0 as α decreases to 0 for every AP, where ρ(α,A)=ρ(α 1 A ,A);

  5. (v)

    for any α>0, ρ(α,) is order continuous on , that is, ρ(α, A n )0 if { A n }P and decreases to ϕ.

The definition of ρ is then extended to fM by

ρ(f,E)=sup { ρ ( g , E ) ; g E , | g ( w ) | | f ( w ) | , w Ω } .

For simplicity, we write ρ(f) instead of ρ(f,Ω).

One can verify that the functional ρ:M[0,+] is a modular in the sense of Definition 1.1. The modular space determined by ρ will be called a modular function space and will be denoted by L ρ . Recall that

L ρ = { f M : lim α 0 ρ ( α f ) = 0 } .

Example 1.6 (1) The Orlicz modular is defined for every measurable real function f by the formula

ρ(f)= R φ ( | f ( t ) | ) dμ(t),

where μ denotes the Lebesgue measure in and φ:R[0,) is continuous. We also assume that φ(u)=0 if and only if u=0 and φ(t) as t.

The modular space induced by the Orlicz modular, is a modular function space and is called the Orlicz space. (2) The Musielak-Orlicz modular spaces (see [2]).

Let

ρ(f)= Ω φ ( ω , | f ( ω ) | ) dμ(ω),

where μ is a σ-finite measure on Ω and φ:Ω×R[0,) satisfy the following:

  1. (i)

    φ(ω,u) is a continuous even function of u, which is non-decreasing for u>0, such that φ(ω,0)=0, φ(ω,u)>0 for u0 and φ(ω,u) as u;

  2. (ii)

    φ(ω,u) is a measurable function of ω for each uR;

  3. (iii)

    φ(ω,u) is a convex function of u for each ωΩ.

It is easy to check that ρ is a convex modular function and the corresponding modular space is called the Musielak-Orlicz space and is denoted by L φ .

In the following we give some notions which will be used in the next sections.

Definition 1.7 (Khamsi [18])

Let C be a subset of a modular function space L ρ . A mapping T:CC is called ρ-strict contraction if there exists λ<1 such that

ρ(TfTg)λρ(fg)

for all f,gC.

Theorem 1.8 (Khamsi [18])

Let C be a ρ-complete, ρ-bounded subset of L ρ and let T:CC be a ρ-strict contraction. Then T has a unique fixed point zC. Moreover, z is the ρ-limit of the iterate of any point in C under the action of T.

Definition 1.9 (Taleb and Hanebaly [4])

The function u:I L φ , where I=[0,A] for all A>0, is said to be continuous at t 0 I if for t n I and t n t 0 , then ρ(u( t n )u(t))0 as n.

If we consider the Musielak-Orlicz modular with 2 -condition, then the continuity of u at t 0 is equivalent to

( t n t 0 ) u ( t n ) u ( t 0 ) ρ 0(as n).

Let C φ =C(I, L φ ) be the space of all continuous mappings from I=[0,A] into L φ .

Proposition 1.10 (Taleb and Hanebaly [4])

Suppose that the Musielak-Orlicz modular ρ satisfies 2 -condition and B L φ is a ρ-closed and convex subset of L φ . For a0, let ρ a (u)=sup{ e a t ρ(u(t)):tI} for u C φ , then

  1. (1)

    ( C φ , ρ a ) is a modular space, and ρ a is a convex modular satisfying the Fatou property and the 2 -condition;

  2. (2)

    C φ is ρ a -complete;

  3. (3)

    C 0 φ =C(I,B) is a ρ a -closed, convex subset of C φ .

2 Main results

Let X ρ be a modular function space, C be a nonempty, ρ-complete and ρ-bounded subset of X ρ , x 0 be an arbitrary point in C and let ψ:[0,+)[0,+) be an increasing function vanishing with continuity at zero. Also, consider the vanishing sequence depending on α1, w n (α)= ( α n ) α k = 1 n ψ( α k ). Let T:CC be a mapping. For notational purposes, we define T n (x), x X ρ and n{0,1,2,} inductively by T 0 (x)=x and T n + 1 (x)=T( T n (x)).

Theorem 2.1 Let α1, β>0 and k0 be fixed constants. If the inequality

ρ(TxTy)(1ϵ)ρ(xy)+ ϵ α ψ(ϵ) ( ρ ( x y ) + k ) β
(2.1)

is satisfied for every ϵ[0,1] and every x,yC, then T has a unique fixed point z=T(z) which is the ρ-lim of the iterate of x 0 under the action of T.

Proof We first show existence. Let ϵ=0 in (2.1), thus we get

ρ(TxTy)ρ(xy)
(2.2)

for all x,yC. We construct a sequence { x n } n = 0 such that x n =T( x n 1 ) for all nN. Now we claim { x n } is ρ-Cauchy sequence in C. By (2.1), (2.2) for all m,nN, we have

ρ( x n + m x n )(1ϵ)ρ( x n + m 1 x n 1 )+ ϵ α ψ(ϵ) ( ρ ( x n + m 1 x n 1 ) + k ) β .
(2.3)

Let M:= ( δ ρ ( C ) + k ) β . Since C is ρ-bounded, M is finite and from (2.3) we have

ρ( x n + m + 1 x n + 1 )(1ϵ)ρ( x n + m x n )+ ϵ α ψ(ϵ)M.

Letting ϵ=1 ( n n + 1 ) α , we have ϵ α n + 1 . Keeping in mind that ψ is an increasing function,

ρ ( x n + m + 1 x n + 1 ) n α ( n + 1 ) α ρ ( x n + m x n ) + α α ( n + 1 ) α ψ ( α n + 1 ) M ( n + 1 ) α ρ ( x n + m + 1 x n + 1 ) n α ρ ( x n + m x n ) + α α ψ ( α n + 1 ) M .
(2.4)

Letting r n := n α ρ( x n + m x n ), we have from (2.4)

r n + 1 r n + α α ψ ( α n + 1 ) M r n 1 + α α ψ ( α n ) M + α α ψ ( α n + 1 ) M r 0 + α α M k = 1 n + 1 ψ ( α k ) = α α M k = 1 n + 1 ψ ( α k ) .

Therefore

ρ( x n + m x n ) ( α n ) α M k = 1 n ψ ( α k ) =M w n (α).
(2.5)

Taking limit as n from both sides of (2.5), we get ρ( x n + m x n )0 as n. Then { x n } is ρ-Cauchy sequence in C. Since C is ρ-complete, there exists zC such that ρ( x n z)0 as n. From (2.1) we get

ρ ( T z z 2 ) ρ ( T z x n ) + ρ ( x n z ) ( 1 ϵ ) ρ ( z x n 1 ) + ϵ α ψ ( ϵ ) ( ρ ( z x n 1 ) + k ) β + ρ ( x n z ) .

Taking limit as ϵ0 afterwards as n, we get

ρ ( T z z 2 ) ρ(z x n 1 )+ρ( x n z)0.

Then Tz=z. On the other hand, by (2.5), we have

ρ ( z T n x 0 ) = ρ ( T z T n x 0 ) = ρ ( z x n + 1 ) = lim m ρ ( x m + n + 1 x n + 1 ) M w n ( α ) 0 ( as  n ) .

Thus z is the ρ-lim of the iterate of x 0 under the action of T.

To show uniqueness, we suppose that y is another fixed point of T. Then from (2.1) we have

ρ(zy)=ρ(TzTy)(1ϵ)ρ(zy)+ ϵ α ψ(ϵ) ( ρ ( z y ) + k ) β .
(2.6)

Then ρ(zy) ϵ α 1 ψ(ϵ) ( ρ ( z y ) + k ) β 0 as ϵ0, therefore z=y.

If for each ϵ(0,1] strict inequality occurs in (2.6), then

ϵ 1 α ρ(zy)<ψ(ϵ) ( ρ ( z y ) + k ) β .

Taking limit as ϵ0, we get contradiction unless ρ(zy)=0. □

Remark 2.2 Theorem 2.1 is stronger than Theorem 1.8. Indeed, with the hypothesis of Theorem 1.8, if for each f,gC and λ(0,1), we have

ρ(TfTg)λρ(fg),

then by α=β=1, k=0 and

ψ(ϵ)= ( γ γ ( 1 + γ ) 1 + γ ( 1 λ ) γ ) ϵ γ

for arbitrary γ>0, we get

ρ(TfTg)(1ϵ)ρ(fg)+ϵψ(ϵ)ρ(fg)

is satisfied for every ϵ[0,1]. Thus from Theorem 2.1, T has a unique fixed point z which is the ρ-lim of T n f 0 for an arbitrary point f 0 in C.

3 Application

In this section, we study the existence of solution of the following integral equation:

u(t)= e t f 0 + 0 t e s t Tu(s)ds,
(3.1)

where

(H1) T:BB is ρ-Lipschitz, i.e.,

κ>0,ρ(TuTv)κρ(uv)(u,vB);

(H2) B is a ρ-closed, ρ-bounded, convex subset of the Musielak-Orlicz space L φ satisfying the 2 -condition;

(H3) f 0 B is fixed.

Theorem 3.1 Under the conditions (H1)-(H3), for all A>0, integral equation (3.1) has a solution u C φ =C([0,A], L φ ).

Proof Define the operator S on C 0 φ by

Su(t)= e t f 0 + 0 t e s t Tu(s)ds

for all tI:=[0,A].

1st step. First we show that S: C 0 φ C 0 φ . Let u C 0 φ and t n , t 0 I for all nN with t n t 0 as n. We know u is ρ-continuous thus ρ(u( t n )u( t 0 ))0. From (H1) we get ρ(Tu( t n )Tu( t 0 ))0 as n, thus Tu is ρ-continuous at t 0 . By 2 -condition Tu is ρ -continuous at t 0 , therefore Su is ρ -continuous at t 0 and consequently is ρ-continuous at t 0 . Also, we have

0 t e s t Tu(s)ds ( 0 t e s t d s ) co ¯ { T u ( s ) ; 0 s t } ( 1 e t ) co ¯ B,

where co ¯ B is a closed convex hull of B in ( L φ , ρ ).

But B is convex and ρ-closed, then co ¯ B=B B ¯ ρ =B, hence

Su(t) e t B+ ( 1 e t ) BB(tI).

2nd step. We show that C 0 φ is ρ a -complete and ρ a -bounded.

By Proposition 1.10, C 0 φ is a ρ a -closed subset of ρ a -complete space C φ , hence C 0 φ is ρ a -complete too.

Now let u,v C 0 φ . By 1st step u(t),v(t)B for all tI, then

ρ a (uv)=sup { e a t ρ ( u ( t ) v ( t ) ) ; t I } δ ρ (B)<,

therefore

δ ρ a ( C 0 φ ) =sup { ρ a ( u v ) ; u , v C 0 φ } <.

3rd step. For u,v C 0 φ , we have

ρ a (SuSv)κ ( 1 e ( 1 + a ) A 1 + a ) ρ a (uv).
(3.2)

Let w C φ and { t 0 , t 1 ,, t n } be any division of [0,t].

Now suppose

sup { | t i + 1 t i | , i = 0 , 1 , , n 1 } 0

as n, then

i = 0 n 1 ( t i + 1 t i ) e t i t w ( t i ) 0 t e s t w ( s ) d s ρ 0.

By 2 -condition,

ρ ( i = 0 n 1 ( t i + 1 t i ) e t i t w ( t i ) 0 t e s t w ( s ) d s ) 0.

Using the Fatou property, we get

ρ ( 0 t e s t w ( s ) d s ) lim infρ ( i = 0 n 1 ( t i + 1 t i ) e t i t w ( t i ) ) .
(3.3)

Furthermore,

i = 0 n 1 ( t i + 1 t i ) e t i t 0 t e s t ds1 e t 1 e A <1.

By the convexity of ρ, we have

ρ ( i = 0 n 1 ( t i + 1 t i ) e t i t w ( t i ) ) i = 0 n 1 ( t i + 1 t i ) e t i t ρ ( w ( t i ) ) = i = 0 n 1 ( t i + 1 t i ) e t i t e a t i e a t i ρ ( w ( t i ) ) i = 0 n 1 ( t i + 1 t i ) e ( 1 + a ) t i t ρ a ( w ) ( 0 t e ( 1 + a ) s t d s ) ρ a ( w ) .

It follows from (3.3) that

ρ ( 0 t e s t w ( s ) d s ) ( e a t e t 1 + a ) ρ a (w).
(3.4)

On the other hand,

ρ ( S u ( t ) S v ( t ) ) =ρ ( 0 t e s t ( T u ( s ) T v ( s ) ) ) ds.

Thus by (3.4), we have

ρ ( S u ( t ) S v ( t ) ) ( e a t e t 1 + a ) ρ a (TuTv),

since T is ρ-Lipschitz, we have

ρ ( S u ( t ) S v ( t ) ) ( e a t e t 1 + a ) sup t I e a t ρ ( T u ( t ) T v ( t ) ) ( e a t e t 1 + a ) κ sup t I e a t ρ ( u ( t ) v ( t ) ) = ( e a t e t 1 + a ) κ ρ a ( u v ) .

Therefore

e a t ρ ( S u ( t ) S v ( t ) ) κ ( 1 e ( 1 + a ) t 1 + a ) ρ a ( u v ) κ ( 1 e ( 1 + a ) A 1 + a ) ρ a ( u v )

for all tI, which implies (3.2).

4th step. Let α=β=1, k=0, a>0 with

e ( 1 + a ) A > κ ( 1 + a ) κ .

If we have

κ ( 1 e ( 1 + a ) A ) 1 + a (1ϵ)+ ϵ 1 + γ K

for all γ>0, ϵ[0,1] and a constant K, then (3.2) implies that the inequality (2.1) is satisfied by ψ(ϵ)=K ϵ γ . To this end, we define

F(ϵ)=(1ϵ)+ ϵ 1 + γ K κ ( 1 e ( 1 + a ) A ) 1 + a .

Now imposing the conditions on F, which implies 0F(ϵ) for all ϵ[0,1], we obtain

K= γ γ ( 1 + a ) γ ( ( 1 + a ) ( 1 + γ ) 1 + 1 γ κ ( 1 + γ ) 1 + 1 γ ( 1 e ( 1 + a ) A ) ) γ .

Therefore, from steps 1 to 4 and Theorem 2.1, we conclude the existence of a fixed point of S which is the solution of integral equation (3.1). □

References

  1. Nakano H Tokyo Mathematical Book Series. In Modular Semi-Ordered Spaces. Maruzen, Tokyo; 1950.

    Google Scholar 

  2. Musielak J, Orlicz W: On modular spaces. Stud. Math. 1959, 18: 49–65.

    MathSciNet  MATH  Google Scholar 

  3. Khamsi MA, Kozlowski WM, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal. 1990, 14(11):935–953. 10.1016/0362-546X(90)90111-S

    Article  MathSciNet  MATH  Google Scholar 

  4. Taleb A, Hanebaly E: A fixed point theorem and its application to integral equations in modular function spaces. Proc. Am. Math. Soc. 2000, 128(2):419–426. 10.1090/S0002-9939-99-05546-X

    Article  MATH  MathSciNet  Google Scholar 

  5. Dhompongsa S, Domínguez Benavides T, Kaewcharoen A, Panyanak B: Fixed point theorems for multivalued mappings in modular function spaces. Sci. Math. Jpn. 2006, 63(2):161–169.

    MathSciNet  MATH  Google Scholar 

  6. Kutbi MA, Latif A: Fixed points of multivalued maps in modular function spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 786357 10.1155/2009/786357

    Google Scholar 

  7. Khamsi MA, Latif A, Al-Sulami H: KKM and KY fan theorems in modular function spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 57 10.1186/1687-1812-2011-57

    Google Scholar 

  8. Farajzadeh AP, Mohammadi MB, Noor MA: Fixed point theorems in modular spaces. Math. Commun. 2011, 16: 13–20.

    MathSciNet  MATH  Google Scholar 

  9. Hussain N, Khamsi MA, Latif A: Banach operator pairs and common fixed points in modular function spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 75 10.1186/1687-1812-2011-75

    Google Scholar 

  10. Abbas M, Khan SH, Razani A: Fixed point theorems of expansive type mappings in modular function spaces. Fixed Point Theory 2011, 12(2):235–240.

    MathSciNet  MATH  Google Scholar 

  11. Kozlowski WM: Advancements in fixed point theory in modular function spaces. Arab. J. Math. 2012, 1: 477–494. 10.1007/s40065-012-0051-0

    Article  MathSciNet  MATH  Google Scholar 

  12. Al-Mezel SA, Al-Roqi A, Khamsi MA: One-local retract and common fixed point in modular function spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 109 10.1186/1687-1812-2012-109

    Google Scholar 

  13. Mongkolkeha C, Kumam P: Some fixed point results for generalized weak contraction mappings in modular spaces. Int. J. Anal. 2013., 2013: Article ID 247378 10.1155/2013/247378

    Google Scholar 

  14. Bin Dehaish BA, Kozlowski WM: Fixed point iteration processes for asymptotic pointwise nonexpansive mapping in modular function spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 118 10.1186/1687-1812-2012-118

    Google Scholar 

  15. Pata V: A fixed point theorem in metric spaces. J. Fixed Point Theory Appl. 2011, 10: 299–305. 10.1007/s11784-011-0060-1

    Article  MathSciNet  MATH  Google Scholar 

  16. Musielak J Lecture Notes in Math. 1034. In Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.

    Google Scholar 

  17. Kozowski WM Monographs and Textbooks in Pure and Applied Mathematics 122. In Modular Function Spaces. Dekker, New York; 1988.

    Google Scholar 

  18. Khamsi MA: A convexity property in modular function spaces. Math. Jpn. 1996, 44(2):269–279.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mohadeseh Paknazar.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Paknazar, M., Eshaghi, M., Cho, Y.J. et al. A Pata-type fixed point theorem in modular spaces with application. Fixed Point Theory Appl 2013, 239 (2013). https://doi.org/10.1186/1687-1812-2013-239

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2013-239

Keywords