arxiv: v1 [math.ca] 12 Dec 2015

Transcription

1 Caristi-Kirk type ad Boyd&Wog Browder-Matkowski-Rus type fixed poit results i b-metric spaces arxiv: v [math.ca] 2 Dec 205 Radu MICULESCU ad Alexadru MIHAIL Abstract. I this paper, based o a lemma givig a sufficiet coditio for a sequece with elemets from a b-metric space to be Cauchy, we obtai Caristi- Kirk type ad Boyd&Wog Browder-Matkowski-Rus type fixed poit results i the framework of b-metric spaces. I additio, we exted Theorems,2 ad 3 from [M. Bota,V. Ilea, E. Karapiar, O. Mleşiţe, O α ϕ-cotractive multi-valued operators i b-metric spaces ad applicatios, Applied Mathematics & Iformatio Scieces, 9 (205), ]. 200 Mathematics Subject Classificatio: 54H25, 47H0 Key words ad phrases: fixed poit theorems, b-metric spaces, compariso fuctios, α -ϕ-cotractive multivalued operators. Itroductio The otio of b-metric space was itroduced by I. A. Bakhti [3] ad S. Czerwik [4], [5] i coectio with some problems cocerig the covergece of measurable fuctios with respect to measure. I the last decades a cosiderable amout of fixed poit results i the framework of b-metric spaces were obtaied (see, for example, [], [2], [6], [7], [8], [3], [7], [20], [2], [22], [23], [24], [25], [27], [28] ad the refereces therei). I this paper we preset a sufficiet coditio for a sequece with elemets from a b-metric space to be Cauchy (see Lemma 2.2). The, usig this result, i Sectio 3, we obtai Caristi-Kirk type ad Boyd&Wog Browder- Matkowski-Rus type fixed poit results i the framework of b-metric spaces (see Theorems 3. ad 3.2). Sectio 4 is devoted to the presetatio of a class of compariso fuctios, deoted by Γ γ, satisfyig the hypotheses of the above metioed Boyd&Wog Browder-Matkowski-Rus type fixed poit result. We also poit out that Γ γ is larger that Beride s class Ψ b. I Sectio 5, we show how to exted, usig Lemma 2.2, the results from [9] cocerig α -ϕ-cotractive multivalued operators by cosiderig compariso fuctios ϕ from Γ γ rather tha from Ψ b.

2 2. Prelimiaries I this sectio we recall some basic facts that will be used i the sequel. Defiitio 2.. Give a oempty set X ad a real umber s [, ), a fuctio d : X X [0, ) is called b-metric if it satisfies the followig properties: i) d(x,y) = 0 if ad oly if x = y; ii) d(x,y) = d(y,x) for all x,y X; iii) d(x,y) s(d(x,z)+d((z,y)) for all x,y,z X. The pair (X,d) is called b-metric space (with costat s). Besides the classical spaces l p (R) ad L p [0,], where p (0,), more examples of b-metric spaces could be foud i [2], [4], [8], [4] ad [5]. Remark 2.. Every metric space is a b-metric space (with costat ), There exist b-metric spaces which are ot metric spaces (see, for example, [2], [3] or [2]). Defiitio 2.2. A sequece (x ) N of elemets from a b-metric space (X,d) is called: - coverget if there exists l R such that limd(x,l) = 0; - Cauchy if lim d(x m,x ) = 0, i.e. for every ε > 0 there exists ε N m, such that d(x m,x ) < ε for all m, N, m, ε. The b-metric space (X,d) is called complete if every Cauchy sequece of elemets from (X, d) is coverget. Remark 2.2. A b-metric space ca be edowed with the topology iduced by its covergece. Usig the method of mathematical iductio, oe ca easily establish the followig result: Lemma 2.. For every sequece (x ) N of elemets from a b-metric space (X, d), with costat s, the iequality k d(x 0,x k ) s d(x i,x i+ ) i=0 2

3 is valid for every N ad every k {,2,3,...,2,2 }. The followig lemma is the key igrediet i the proof of Theorems 3., 3.2 ad 5.. Lemma 2.2. A sequece (x ) N of elemets from a b-metric space (X,d), with costat s, is Cauchy provided that there exists γ > log 2 s such that the series γ d(x,x + ) is coverget. = Proof. With the otatio α := γlog s 2 >, we have lims (+)(+2) α2 = 0sice lim(+)(+2) α 2 =. Thereforethesequece(s (+)(+2) α2 ) N, i.e. ( s(+)(+2) ) (2 2 ) γ N, is bouded ad sice sup(x+)(x+2) αx 2 = 2+ 9, 4() we have We claim that x R s (+)(+2) sup s 2+ 9 N (2 2 ) γ 4() := M. () d(x,x +m ) M i γ d(x i,x i+ ), (2) for all m, N. Ideed, with the otatio l = [ log 2 (m+)] (havig i mid that 2 l2 m < 2 (l+)2 ), we get i= d(x,x +m ) sd(x,x + )+sd(x +,x +m ) sd(x ,x +2 (0+)2 )+s2 d(x +2 2,x )+s2 d(x ,x +m)... l s i+ d(x +2 i 2,x +2 (i+)2 )+sl d(x +2 l 2,x +m) Lemma i=0 l s i+ s (i+)2 ( i=0 2 (i+)2 j=2 i2 d(x +j,x +j ))+s l+ s (l+)2 2 (l+)2 j=2 l2 d(x +j,x +j )) = = l s i+ s (i+)2 ( i=0 2 (i+)2 j=2 i2 d(x +j,x +j )) 3

4 i=0 i=0 s (i+)(i+2) 2 (i+)2 ( (j +) γ d(x (2 i2 ) γ +j,x +j )) () j=2 i2 M (i+) γ d(x +i,x +i+ ) M (+i) γ d(x +i,x +i+ ) = As the series = M i=0 i γ d(x i,x i+ ). i= γ d(x,x + ) is coverget, from (2), we ifer that = (x ) N is Cauchy. Usig the compariso test, from the above lemma, we obtai the followig two results. Corollary 2.. A sequece (x ) N of elemets from a b-metric space (X,d), with costat s, is Cauchy provided that there exist γ > log 2 s ad a sequece (a ) N of positive real umbers such that: a) the series a d(x,x + ) is coverget; b) lim a > 0. γ = Corollary 2.2. A sequece (x ) N of elemets from a b-metric space (X,d) is Cauchy provided that there exists α > such that the series α d(x,x + ) is coverget. = 3. Caristi-Kirk type ad Boyd&Wog Browder-Matkowski-Rus type fixed poit results i b-metric spaces I this sectio, usig Lemma 2.2, we obtai two fixed poit theorems i the framework of b-metric spaces. Our first result is a Caristi-Kirk type fixed poit result (see [2], [6] ad [8]). Theorem 3.. Let (X,d) be a complete b-metric space, ϕ : X [0, ), f : X X ad α > such that: 4

5 a) f is cotiuous; b) d(x,f(x)) ϕ(x) αϕ(f(x)) for every x X. The, for every x 0 X, the sequece (f [] (x 0 )) N is coverget ad its limit is a fixed poit of f. Proof. With the otatio x := f [] (x 0 ), accordig to b), we have d(x,x + ) ϕ(x ) αϕ(f(x + )), so α d(x,x + ) α ϕ(x ) α + ϕ(f(x + )), for every N ad cosequetly the series α d(x,x + ) is coverget, its partial sums beig betwee 0 ad αϕ(x ). Accordig to Corollary 2.2, the sequece (x ) N is coverget ad if we deote by u its limit, the passig to limit as i the relatio x + = f(x ), based o a), we ifer that f(u) = u, i.e. u is a fixed poit of f. Remark 3.. The above result gives us a sufficiet coditio for f to be a weakly Picard operator. Our secod result is a Boyd&Wog Brower-Matkowski-Rus type fixed poit result (see [0], [], [9] ad [26]). Theorem 3.2. Let (X,d) be a complete b-metric space, with costat s, γ > log 2 s, ϕ : [0, ) [0, ) ad f : X X such that: a) ϕ(r) < r for every r > 0; b) the series γ ϕ [] (r) is coverget for every r > 0; = c) f is a ϕ-cotractio, i.e. d(f(x),f(y)) ϕ(d(x,y)) for all x,y X. The f has a uique fixed poit u ad the sequece (f [] (x 0 )) N is coverget to u for every x 0 X. Proof. With the otatio x := f [] (x 0 ), takig ito accout c), we have = γ d(x,x + ) γ ϕ [] (d(x,x 0 )), () for every N. Based o (), b) ad the compariso test, we coclude that the series γ d(x,x + ) is coverget ad Lemma 2.2 assures us that the sequece = (x ) N is coverget. If we deote by u its limit, the passig to limit as 5

6 i the relatio x + = f(x ), sice f is cotiuos (see c)), we ifer that f(u) = u, i.e. u is a fixed poit of f. Now let us prove that u is uique. Ideed, ifthereexistsv X {u}havigthepropertythatf(v) = v,the we get the followig cotradictio: d(u,v) = d(f(u),f(v)) ϕ(d(u,v)) < a) d(u,v). Remark 3.2. We have d(x,u) sd(x,x +m )+sd(x +m,u) sm i γ d(x i,x i+ )+sd(x +m,u), i= (2) from the proof of Lemma 2.2 for all m, N. By passig to limit as m i the above iequality we get the followig estimatio of the speed of covergece for (f [] (x 0 )) N : for every N. d(x,u) sm i γ d(x i,x i+ ), i= Remark 3.3. The above result gives us a sufficiet coditio for f to be a Picard operator. 4. Some classes of compariso fuctios satisfyig coditios a) ad b) from the hypotheses of Theorem 3.2 I this sectio we itroduce ad study the class Γ γ of x γ -summable compariso fuctios - which is larger that Beride s class Ψ b - ad whose elemets satisfy coditios a) ad b) from the hypotheses of Theorem 3.2. Defiitio 4.. A fuctio ϕ : [0, ) [0, ) is called a compariso fuctio if: i) ϕ is icreasig; ii) lim ϕ [] (r) = 0 for every r [0, ). Remark 4.. Every compariso fuctio ϕ has the property that ϕ(r) < r for every r (0, ). 6

7 Defiitio 4.2. A fuctio ϕ : [0, ) [0, ) is called a x γ -summable compariso fuctio, where γ > 0, if: i) ϕ is icreasig; ii) the series γ ϕ [] (r) is coverget for every r [0, ). = We deote the family of x γ -summable compariso fuctios by Γ γ. Remark 4.2. Every ϕ Γ γ, where γ > 0, is a compariso fuctio, so it satisfies coditios a) ad b) from the hypotheses of Theorem 3.2. Hece we are iterested i fidig sufficiet coditios for a compariso fuctio ϕ to belog to Γ γ. Defiitio 4.3. Give α >, we deote by Γ α the family of all compariso fuctios ϕ for which there exist a > 0 ad ε > 0 such that ϕ(x) x ax α for every x [0,ε]. Lemma 4.. Let us cosider α >, ε > 0ad a > 0 such that x ax α 0 for every x [0,ε]. The the sequece (x ) N, give by x 0 [0,ε] ad x + = x ax α for every N, has the followig property: lim x ( ) = ( a() ) Proof. It is clear that (x ) N is decreasig ad limx = 0, so (x α ) N is icreasig ad limx α =. As (+) lim x+ α = lim x α x α (( x + x ) α ) = = lim x α (( ax ) α ) = lim. a ( ax ) α ax i virtue of Stolz-Cesaro lemma we obtai that lim lim x ( ) = ( a() ). x α = a(), = a(), i.e. Lemma 4.2. Give α >, for every ϕ Γ α ad every r 0, we have lim ϕ[] (r) ( ) [0, ). 7

8 Proof. Takig ito accout ii) from the defiitio of a compariso fuctio, there exists 0 N such that ϕ [0] (r) [0,ε]. Sice ϕ Γ α, we ifer that ϕ [+0] (r) x for every N, where (x ) N is give by x 0 = ϕ [0] (r) [0,ε] ad x + = x ax α for every N. Cosequetly so lim ϕ[] (r) ( ) lim ϕ[+ 0] (r) ( + 0 ) lim ( ) x [0, ). = lim ϕ[+ 0] (r) ( ) ( + 0 ) Lemma 4. ( + 0 ) = ( a() ) Our ext result provides a sufficiet coditio for the validity of the iclusio Γ α Γ γ. Propositio 4.. For every α (,2) ad γ (0, 2 α ), we have Γ α Γ γ. Proof. It suffices to prove that the series γ ϕ [] (r) is coverget for =, every r 0. I virtue of Lemma 4.2, there exists 0 N such that ϕ[] (r) ( ) lim ϕ[] (r) ( ) + R, i.e. γ ϕ [] (r) = γ ( ) ϕ[] (r) ( ) C := C for every γ N, 0. Sice the series is coverget (as γ > ), = γ based o the compariso test, we coclude that the series γ ϕ [] (r) is coverget. Now we provide some other sufficiet coditios for a compariso fuctio ϕ to belog to Γ γ. Let us suppose that for the compariso fuctio ϕ there exist the sequeces (a ) N ad (b ) N such that: i) a (0,) ad b (0, ) for every N; ii) ϕ [+] (r) a ϕ [] (r)+b for every N ad every r 0. The ϕ [+] (r) a a...a 2 a r+a a...a 2 b +a a...a 3 b a a b 2 +a b +b, 8 =

9 so, with the covetio that b 0 = r ad j=+ γ ϕ [+] (r) γ b k a j, a j =, we have j=k+ for every N, r 0 ad γ > 0. Cosequetly, a sufficiet coditio for ϕ to belog to Γ γ is the covergeceof the series ( γ b k a j ), i.e. of the series (b k γ a j ). j=k+ =k j=k+ Now we are goig to take a closer look o this sufficiet coditio i two particular cases. The first particular case is the oe for which the sequece (a ) N is costat (so there exists a (0,) such that a = a for every N). We claim that, i this case, the series (b k γ a k ) is coverget if ad oly if the series k γ b k is coverget. The implicatio is obvious as k γ γ a k for every k N. For the implicatio let us ote that (b k γ a k ) ca be rewrit- te as (b k (k+j) γ a j ) ad that there exists C γ R such that (k+j) γ =k C γ (k γ + j γ ) for every j,k N. As the series =k =k k γ b k is coverget, i virtue of the compariso test, we ifer that the series (b k C γ k γ a j ) ad (b k C γ j γ a j ) are coverget (as, with the otatio C a,γ := j γ a j, we have b k C γ k γ a j b k k γ C γ ad b a k C γ j γ a j b k k γ C γ C a,γ for every k N). Cosequetly (b k C γ (k γ +j γ )a j ) is coverget, ad, based o the com- pariso test, we coclude that (b k (k +j) γ a j ), i.e. 9 (b k γ a k ), is =k

10 coverget. So we proved the followig: Propositio 4.2. A compariso fuctio ϕ for which there exist a (0,) ad b (0, ), N, such that ϕ [+] (r) aϕ [] (r) + b for every N ad every r 0, belogs to Γ γ, where γ > 0, provided that the series γ b is coverget. The secod particular case is the oe for which there exists a icreasig sequece (c ) N covergig to such that a = c c for every N. A sufficiet coditio for the covergece of the series (b k γ c k c ), =k i.e. (b k c γ k c ), is the covergece of the series γ c ad b k c k. This =k happes, for example, if c = ε++γ for every N, where ε > 0 ad the series b k k ε++γ is coverget. So we proved the followig: Propositio 4.3. A compariso fuctio ϕ for which there exist ε > 0 ad b (0, ), N, such that ϕ [+] (r) ( )ε++γ ϕ [] (r) + b for every N ad every r 0, belogs to Γ γ, where γ > 0, provided that the series b ε++γ is coverget. Let us recall (see [5]) the followig: Defiitio 4.4. For a give b >, by Ψ b we uderstad the class of fuctios ϕ : [0, ) [0, ) such that: i) ϕ is icreasig; ii) there exist a (0,) ad a coverget series b, where b (0, ) for every N, such that b + ϕ [+] (r) ab ϕ [] (r)+b for every N ad every r 0. Propositio 4.4. Ψ b Γ γ for every γ >. Proof. If ϕ Ψ b, the, with the otatio x = b for every N, we b + have ϕ [+] (r) a b ϕ[] (r) + x for every N ad the series γ x, i.e. γ b b +, is coverget for every γ > 0. The, accordig to Propositio 4.2, we coclude that ϕ Γ γ. 0

11 A example. We preset a example of compariso fuctio ϕ which belogs to Γ γ for every γ (0,2), but ot to Ψ b, for every b >. Let us cosider the compariso fuctio ϕ : [0, ) [0, ), give by 3, ϕ(x) = { x x4 x [0, 27 ] 64 27, x 256 (27, ). 64 Claim. ϕ Γ γ for every γ (0,2). Justificatio of claim. Note that ϕ Γ4 (just take a = ad ε = 27 i 3 64 Defiitio 4.3), so, accordig to Propositio 4., ϕ Γ γ for every γ (0,2). Claim 2. There is o b > such that ϕ Ψ b. Justificatio of claim 2. If this is ot the case, there exist a (0,) ad a coverget series b, where b (0, ) for every N, such that b + ϕ [+] (r) ab ϕ [] (r)+b for every N ad every r 0. Hece, for a fixed r 0 (0, 27), we have 64 b+ ϕ [+] (r 0 ) ab ϕ [] (r 0 )+b, ad therefore b + [( 3 + )3 ( + ) 3 ϕ [+] (r 0 ) a b 3 ϕ [] (r 0 )] b for every N. Sice lim 3 ϕ [] (r 0 ) = 27 (see Lemma 4.), by passig to limit as i the previous iequality, we get that limb =. This is a cotradictio sice the series b is coverget. 5. A fixed poit theorem for α -ϕ-cotractive multivalued operators i b-metric spaces I this sectio, ispired by the ideas from [9], we preset a fixed poit theorem for α -ϕ-cotractive multivalued operator i b-metric spaces. First of all let us recall some otios. Defiitio 5.. For T : X P(X) := {Y Y X} ad α : X X [0, ), where (X,d) is a b-metric space, we say that T is α -admissible if, for all x,y X, the followig implicatio is valid: α(x,y) α (T(x),T(y)) := if{α(u,v) u T(x),v T(y)}. Defiitio 5.2. For T : X P cl (X) := {Y P(X) Y is closed}, α : X X [0, ) ad ϕ Γ γ, where (X,d) is a b-metric space ad

12 γ >, we say that T is a α -ϕ-cotractive multivalued operator of type (b) if α (T(x),T(y))h(T(x),T(y)) ϕ(d(x,y)) for all x,y X, where h stads for Hausdorff-Pompeiu metric. Defiitio 5.3. For T : X P cl (X), where (X,d) is a b-metric space, we say that T is a multivalued weakly Picard operator if for every x X ad every y T(x) there exists a sequece (x ) N of elemets from X such that: a) x 0 = x ad x = y; b) x + T(x ) for every N; c) (x ) N is coverget ad its limit is a fixed poit of T. Now we ca state our result. = Theorem 5.. Let us cosider T : X P cl (X), α : X X [0, ) ad ϕ Γ γ, where (X,d) is a complete b-metric space with costat s > ad γ > log 2 s, such that: a) T is a α -ϕ-cotractive multivalued operator of type (b); b) T is α -admissible; c) there exists x 0 X ad x T(x 0 )satisfyig the iequality α(x 0,x ) ; d) for every coverget sequece (y ) N of elemets from X havig limit y, the followig implicatio is valid: (α(y,y + ) for every N) (α(y,y) for every N). The T has a fixed poit. Proof. The same lie of argumets give i the proof of Theorem from [9] gives us a sequece (x ) N of elemets from X, with x 0 x, such that: i) x + T(x ) for every N; ii) α(x,x + ) for every N; iii) d(x,x + ) ϕ [] (d(x 0,x )) for every N. As ϕ Γ γ, theseries γ ϕ [] (d(x 0,x )) iscoverget, so, takig ito ac- coutthecomparisotestadiii),wecametothecoclusiothat γ d(x,x + ) is coverget. Cosequetly, accordig to Lemma 2.2, (x ) N is Cauchy. The same argumets as the oes used i the proof of Theorem from [9] assure us that the limit of (x ) N is a fixed poit of T. = 2

13 Remark 5.. If hypothesis c) is replace by the followig coditio: α(x 0,x ) for every x 0 X ad every x T(x 0 ), the the coclusio of the above result is that T is a multivalued weakly Picard operator. Remark 5.2. Usig the same techique, oe ca geeralize Theorems 2 ad 3 from [9]. Refereces [] A. Aghajai, M. Abbas ad J.R. Rosha, Commo fixed poit of geeralized weak cotractive mappigs i partially ordered b-metric spaces, Math. Slovaca, 64 (204), [2] H. Aydi, M.F. Bota, E. Karapiar ad S. Mitrović, A fixed poit theorem for set-valued quasi-cotractios i b-metric spaces, Fixed Poit Theory Appl., 202, 202:88. [3] I. A. Bakhti, The cotractio mappig priciple i quasimetric spaces, Fuct. Aal., Uiaowsk Gos. Ped. Ist., 30 (989), [4] V. Beride, Geeralized cotractios i quasimetric spaces, Semiar o Fixed Poit Theory, 993, 3-9. [5] V. Beride, Sequeces of operators ad fixed poits i quasimetric spaces, Stud. Uiv. Babeş-Bolyai, Math., 6 (996), [6] M. Boriceau, M. Bota ad A. Petruşel, Multivalued fractals i b- metric spaces, Cet. Eur. J. Math., 8 (200), [7] M. Boriceau, A. Petruşel ad A.I. Rus, Fixed poit theorems for some multivalued geeralized cotractio i b-metric spaces, It. J. Math. Stat., 6 (200), [8] M. Bota, A. Molár ad C. Varga, O Ekelad s variatioal priciple i b-metric spaces, Fixed Poit Theory, 2 (20), [9] M. Bota,V. Ilea, E. Karapiar, O. Mleşiţe, O α ϕ-cotractive multi-valued operators i b-metric spaces ad applicatios, Applied Mathematics & Iformatio Scieces, 9 (205), [0] D.W. Boyd ad J.S. Wog, O oliear cotractios, Proc. Amer Math. Soc., 20 (969), [] F.E. Browder, O the covergece of succesive approximatios for oliear fuctioal equatios, Nederl. Akad. Wet., Proc., Ser. A 7, 30 (968), [2] J. Caristi, Fixed poit theorems for mappigs satisfyig iwardess coditios, Tra. Amer. Math. Soc., 25 (976),

14 [3] C. Chifu ad G. Petruşel, Fixed poits for multivalued cotractios i b-metric spaces with applicatios to fractals, Taiwaese J. Math., 8 (204), [4] S. Czerwik, Cotractio mappigs i b-metric spaces, Acta Math. Iform. Uiv. Ostraviesis, (993), 5-. [5] S. Czerwik, Noliear set-valued cotractio mappigs i b-metric spaces, Atti Sem. Mat. Fis. Uiv. Modea, 46 (998), [6] J. Jachymski, Caristi s fixed poit theorem ad selectios of setvalued cotractios, J. Math. Aal. Appl., 227 (998), [7] M.A. Khamsi ad N. Hussai, KKM mappigs i metric type spaces, Noliear Aal., 73 (200), [8] W. A. Kirk, Caristi s fixed poit theorem ad metric covexity. Colloq. Math., 36 (976), [9] J. Matkowski, Itegrable solutios of fuctioal equatios, Dissertatios Math. (Rozprawy), 27 (976). [20] S. K. Mohata, Some fixed poit theorems usig wt-distace i b- metric spaces, Fasc. Math., 54 (205), [2] H.N. Nashie ad Z. Kadelburg, Cyclic geeralized ϕ-cotractios i b-metric spaces ad a applicatio to itegral equatios, Filomat, 28 (204), [22] M.O. Olatiwo, A fixed poit theorem for multi-valued weakly Picard operators i b-metric spaces, Demostratio Math., 42 (2009), [23] M. Păcurar, Sequeces of almost cotractios ad fixed poits i b- metric spaces, A. Uiv. Vest Timiş. Ser. Mat.-Iform., 48 (200), [24] J.R. Rosha, N. Hussai, S. Sedghi ad N. Shobkolaei, Suzuki-type fixed poit results i b-metric spaces, Math. Sci. (Spriger), 9 (205), [25] B.D. Rouhai ad S. Moradi, Commo fixed poit of multivalued geeralized ϕ-weak cotractive mappigs, Fixed Poit Theory Appl., 200, Article ID [26] I. A. Rus, Geeralized ϕ-cotractios, Math., Rev. Aal. Numér. Théor. Approximatio, Math., 47 (982), [27] S. Shukla, Partial b-metric spaces ad fixed poit theorems, Mediterr. J. Math., (204), [28] H. Yigtaweesittikul, Suzuki type fixed poit for geeralized multivalued mappigs i b-metric spaces, Fixed Poit Theory ad Applicatios, 203, 203:25. 4

15 Uiversity of Bucharest Faculty of Mathematics ad Computer Sciece Str. Academiei 4, 0004 Bucharest, Romaia mihail 5