arxiv: v1 [math.ca] 19 Nov 2012

Transcription

1 Publ. Math. Debrecen , /PMD arxiv: v1 [math.ca] 19 Nov 01 ON ϕ-convexity JUDIT MAKÓ AND ZSOLT PÁLES Abstract. In this paper, approximate convexity and approximate midconvexity properties, called ϕ-convexity and ϕ-midconvexity, of real valued function are investigated. Various characterizations of ϕ-convex and ϕ-midconvex functions are obtained. Furthermore, the relationship between ϕ-midconvexity and ϕ-convexity is established. 1. Introduction The stability theory of functional inequalities started with the paper [13] of Hyers and Ulam who introduced the notion of ε-convex function: If D is a convex subset of a real linear space X and ε is a nonnegative number, then a function f : D R is called ε-convex if 1 ftx+1 ty tfx+1 tfy+ε for all x,y D, t. The basic result obtained by Hyers and Ulam states that if the underlying space X is of finite dimension then f can be written as f = g +h, where g is a convex function and h is a bounded function whose supremum norm is not larger than k n ε, where the positive constant k n depends only on the dimension n of the underlying space X. Hyers and Ulam proved that k n nn+3/4n+1. Green [11], Cholewa [5] obtained much better estimations of k n showing that asymptotically k n is not bigger than log n/. Laczkovich [] compared this constant to several other dimension-depending stability constants and proved that it is not less than log n//4. This result shows that there is no analogous stability results for infinite dimensional spaces X. A counterexample in this direction was earlier constructed by Casini and Papini [4]. The stability aspects of ε-convexity are discussed by Ger [10]. An overview of results on δ-convexity can be found in the book of Hyers, Isac, and Rassias [1]. If t = 1/ and 1 holds for all x,y D, then f is called an ε-jensen-convex function. There is no analogous decomposition for ε-jensen-convex functions by the counterexample given by Cholewa [5]. However, one can get Bernstein-Doetsch type regularity theorems which show that ε-jensen-convexity and local upper boundedness imply ε-convexity. This 010 Mathematics Subject Classification. Primary 39B6, 6A51. Key words and phrases. Approximate convexity, Jensen convexity, ϕ-convexity. This research has been supported by the Hungarian Scientific Research Fund OTKA Grant NK8140 and by the TÁMOP 4..1./B-09/1/KONV project implemented through the New Hungary Development Plan co-financed by the European Social Fund, and the European Regional Development Fund. 1

2 J. MAKÓ AND ZS. PÁLES result is due to Bernstein and Doetsch [] for ε = 0, and to Ng and Nikodem [8] in the case ε 0. For some recent extensions of these results to more general convexity concepts, see [9]. For locally upper bounded ε-jensen-convex functions one can obtain the existence of an analogous stability constant j n defined similarly as k n above. The sharp value of this stability constant has recently been found by Dilworth, Howard, and Roberts [6] who have shown that j n = 1 n [log n] [log n] log n is the best possible value forj n. Here[ ] denotes the integer-part function. The connection between ε-jensen-convexity and ε-q-convexity has been investigated by Mrowiec [6]. If D R and 1 is supposed to be valid for all x,y D except a set of -dimensional Lebesgue measure zero then one can speak about almost ε-convexity. Results in this direction are due to Kuczma [0] the case ε = 0 and Ger [9] the case ε 0. In a recent paper [30], the second author introduced a more general notion than ε- convexity. Let ε and δ be nonnegative constants. A function f : D R is called ε,δ- convex, if f tx+1 ty tfx+1 tfy+δ +εt1 t x y for every x,y D and t. The main results of the paper [30] obtain a complete characterization of ε, δ-convexity if D R is an open real interval by showing that these functions are of the form f = g +h+l, where g is convex, h is bounded with h δ/ and l is Lipschitzian with Lipschitz modulus Lipl ε. In the papers [17], [18], the notion of ε, p-convexity and ε, p-midconvexity were introduced: If ε,p 0 and t, then a function f : D R is called ε,p,t-convex, if f tx+1 ty tfx+1 tfy+εt1 t x y p for every x,y D. If the above property holds for t = 1/ and for all t, then we speak about ε, p-midconvexity and ε, p-convexity, respectively. The main result in [18] shows that, for locally upper bounded functions, ε, p-midconvexity implies cε, p- convexity for some constant c. Another, but related, notion of approximate convexity, the concept of so-called paraconvexity was introduced by Rolewicz [33, 34, 35] in the late 70s. It also turned out that Takagi-like functions appear naturally in the investigation of approximate convexity, see, for example, Boros [3], Házy [15, 16], Házy and Páles [17, 18, 19], Makó and Páles [4, 5], Mrowiec, Tabor and Tabor [7], Tabor and Tabor [36, 37], Tabor, Tabor, and Żołdak [39, 38]. The aim of this paper is to offer a unified framework for most of the mentioned approximate convexity notions by introducing the notions of ϕ-convexity and ϕ-midconvexity and to extend the previously known results to this more general setting. We also introduce the relevant Takagi type functions which appear naturally in the description of the connection of ϕ-convexity and ϕ-midconvexity.

3 . ϕ-convexity and ϕ-midconvexity Throughout the paperr,r +, andndenote the sets of real, nonnegative real, and natural numbers, respectively. Assume that D is a nonempty convex subset of a real normed space X and denote D + := { x y : x,y D}. Let ϕ : D + R + be a given function. Definition 1. A function f : D R is called ϕ-convex on D, if ftx+1 ty tfx+1 tfy+tϕ 1 t x y +1 tϕ t x y holds for all t and for all x,y D. If holds for t = 1/, i.e., if, for all x,y D, x+y 3 f fx+fy x y +ϕ, then we say that f is ϕ-midconvex. In the case ϕ 0, the meaning of inequalities and 3 is the convexity and midconvexity Jensen-convexity of f, respectively. An important particular case occurs when ϕ : D + R + is of the form ϕx := εx p, where p, ε 0 are arbitrary constants. Then the function f is called ε, p-convex and ε,p-midconvex on D, respectively cf. [30]. The next results describe the structure of ϕ-convex functions and ϕ-midconvex functions. Proposition.. i If, for j = 1,...,n, ϕ j : D + R +, the function f j : D R is ϕ j -convex and c j is a nonnegative number, then c 1 f c n f n is c 1 ϕ c n ϕ n -convex. In particular, the set of ϕ-convex functions on D is convex. ii Let {f γ : D R γ Γ} be a family of ϕ-convex functions. Assume, for all x D, that fx := sup γ Γ f γ x < +. Then f is ϕ-convex. iii Let {f γ : D R γ Γ} be a downward directed family of ϕ-convex functions in the following sense: for all γ 1,γ Γ and x 1,x D, there exists γ Γ such that f γ x i f γi x i for i = 1,. Assume, for all x D, that fx := inf γ Γ f γ x >. Then f is ϕ-convex. Proof. i is easy to prove. ii Let x,y D and t. For all γ Γ, we have f γ tx+1 ty tf γ x+1 tf γ y+tϕ 1 t x y +1 tϕ t x y Thus, tfx+1 tfy+tϕ 1 t x y +1 tϕ t x y. ftx+1 ty = supf γ tx+1 ty γ Γ tfx+1 tfy+tϕ 1 t x y +1 tϕ t x y. Hence f is ϕ-convex. iii Let x,y D and t. Let δ > 0 be arbitrary. Then fx < fx + δ and fy < fy+δ. Thus there exist γ 1,γ, such that f γ1 x < fx+δ and f γ y < fy+δ. 3

4 4 J. MAKÓ AND ZS. PÁLES By the conditions of the proposition, there exists γ Γ, such that Then we get f γ x f γ1 x < fx+δ, f γ y f γ y < fy+δ. ftx+1 ty f γ tx+1 ty tf γ x+1 tf γ y+tϕ 1 t x y +1 tϕ t x y This proves that f is ϕ-convex. tfx+1 tfy+δ +tϕ 1 t x y +1 tϕ t x y. The following statements concern midconvex funtions, they are analogous to those of Proposition. Proposition 3.. i If, for j = 1,...,n, ϕ j : D + R +, the function f j : D R is ϕ j -midconvex and c j is a nonnegative number, then c 1 f 1 + +c n f n is c 1 ϕ 1 + +c n ϕ n -midconvex. In particular, the set of ϕ-midconvex functions on D is convex. ii Let {f γ : D R γ Γ} be a family of ϕ-midconvex functions. Assume, for all x D, that fx := sup γ Γ f γ x < +. Then f is ϕ-midconvex. iii Let {f γ : D R γ Γ} be a downward directed family of ϕ-midconvex functions in the following sense: for all γ 1,γ Γ and x 1,x D, there exists γ Γ such that f γ x i f γi x i for i = 1,. Assume, for all x D, that fx := inf γ Γ f γ x >. Then f is ϕ-midconvex. Definition 4. A function f : D R is said to be of ϕ-hölder class on D or briefly f is called ϕ-hölder on D if there exists a nonnegative constant H such that, for all x,y D, 4 fx fy Hϕ x y. The smallest constant H such that 4 holds is said to be the ϕ-hölder modulus of f and is denoted by H ϕ f. A relationship between the ϕ-hölder property and ϕ-convexity is obtained in the following result. Proposition 5. Let f : D R be of ϕ-hölder class on D. Then f is H ϕ f ϕ -convex on D. Proof. Let x,y D and let t. Then ftx+1 ty tfx 1 tfy = t ftx+1 ty fx +1 t ftx+1 ty fy th ϕ fϕ tx+1 ty x +1 th ϕ fϕ tx+1 ty y, which is equivalent to the H ϕ f ϕ -convexity of f. For functions ϕ : D + R, we introduce the following subadditivity-type property:

5 Definition 6. We say that ϕ is increasingly subadditive on D + if, for all u,v,w D + with u v +w, 5 ϕu ϕv+ϕw holds. Clearly, if ϕ : R + R is nondecreasing and subadditive then it is also increasingly subadditive on R +. Proposition 7. Assume that ϕ : D + R is increasingly subadditive. Then, for all z D, the map x ϕ x z is of ϕ-hölder class on D with ϕ-hölder modulus 1, and therefore, it is also ϕ-convex on D. Proof. Let z D be fixed. To prove the ϕ-hölder property of the map x ϕ x z, let x,y D. Then u = x z, v = x y, and w = y z are elements of D + such that 5 holds. Therefore, by the increasing subadditivity, we get ϕ x z ϕ y z ϕ x y +ϕ y z ϕ y z = ϕ x y. Interchanging x and y, we also have ϕ y z ϕ x z ϕ y x. These two inequalities imply ϕ x z ϕ y z ϕ x y, which means that the map x ϕ x z is ϕ-hölder on D with ϕ-hölder modulus 1. The next lemma is well known, for completeness we provide its short proof. Lemma 8. Let 0 p 1 be an arbitrary constant. Then the map x x p is subadditive and nondecreasing on R + and hence it is also increasingly subadditive on R +. Proof. For s ]0,1[, we have s s p. Hence If x,y R + then, with s := x x+y 1 = s+1 s s p +1 s p. ]0,1[, we get x 1 x+y p + y x+y which shows the subadditivity of the function x x p. Definition 9. Let 0 < p 1 be an arbitrary constant. For all t D + let ϕt := t p, then if f : D R is a ϕ-hölder function, then it is called classical p-hölder functions. In this case the ϕ-hölder modulus is called p-hölder modulus of f and it is denoted by H p f. The next corollary gives a relationship between the p-hölder functions and the p-convex functions. Corollary 10. Let 0 < p 1 be an arbitrary constant and z X. Then x x z p is of p-hölder class on X with the p-hölder modulus 1, and therefore, it is 1,p-convex on X. p, 5

6 6 J. MAKÓ AND ZS. PÁLES The subsequent theorem, which is one of the main results of this paper, offers equivalent conditions for ϕ-convexity. It generalizes the result of [30, Thm. 1]. Theorem 11. Let D be an open real interval and f : D R. Then the following conditions are equivalent. i f is ϕ-convex on D. ii For x,u,y D with x < u < y, 6 fu fx ϕu x u x fy fu+ϕy u. y u iii There exists a function a : D R such that, for x, u D, 7 fx fu aux u ϕ x u. Proof. i ii Assume that f : D R is ϕ-convex and let x < u < y be arbitrary elements of D. Choose t such that u = tx + 1 ty, that is let t := y u. Then, y x applying the ϕ-convexity of f, we get fu y u u x y u u x fx+ fy+ y x y x y x ϕ y x y x + u x y u y x ϕ y x y x, which is equivalent to y u fu fx ϕu x u x fy fu+ϕy u. Dividing by y uu x > 0, we arrive at 6. ii iii Assume that ii holds and, for u D, define Then in view of ii, we get 8 au := inf y D,u<y fx fu ϕu x x u fy fu+ϕy u. y u au fy fu+ϕy u, y u for all x < u < y in D. The left-hand side inequality in 8 yields 7 in the case x < u, and analogously, the right-hand side inequality with the substitution y := x reduces to 7 in the case x > u. The case x = u is obvious. iii i Let x,y D, t, and set u := tx+1 ty. Then, by iii, we have fx fu aux u ϕ x u, fy fu auy u ϕ y u. Multiplying the first inequality by t and the second inequality by 1 t and adding up the inequalities so obtained, we get. Remark 1. In the vector variable setting i.e., when D is an open convex subset of a normed space X, instead of condition iii, the following analogous property can be formulated: iii There exists a function a : D X such that, for x,u D, fx fu aux u ϕ x u.

7 One can easily see by the same argument as above that iii implies i, that is, the ϕ-convexity of f. The validity of the reversed implication is an open problem. The next theorem gives another characterization of ϕ-convex functions, if ϕ is increasingly subadditive. Theorem 13. Let D be an open real interval and let ϕ : D + R + be increasingly subadditive. Then a function f : D R is ϕ-convex if and only if there exist two functions a : D R and b : D R such that 9 fx = sup aux+bu ϕ x u, u D for all x D. Proof. Assume that f is ϕ-convex. By Theorem 11, there exists a function a : D R such that fx fu+aux u ϕ x u, for all u,x D. Define bu := fu auu, for u D. Thus, for u,x D, fx aux+bu ϕ x u and we have equality for u = x. Therefore, 9 holds. Conversely, assume that 9 is valid for x D. By Proposition 7, for fixed u D, the mapping x ϕ x u is ϕ-convex. The map x aux+bu is affine, and hence the function f u : D R defined by f u x := aux+bu ϕ x u is ϕ-convex for all fixed u D. Now applying ii of Proposition, we obtain that f is ϕ-convex. Remark 14. In the vector variable setting i.e., when D is an open convex subset of a normed space X, the following implication can be formulated: If ϕ : D + R + is increasingly subadditive and there exist two function a : D X and b : D R such that, for x D, fx = sup aux+bu ϕ x u, u D then f is ϕ-convex. The validity of the reversed implication is an open problem. Corollary 15. Let D be an open real interval and let 0 < p 1 and ε 0 be arbitrary constants. Then a function f : D R is ε,p-convex if and only if there exist two functions a : D R and b : D R such that fx = sup aux+bu ε x u p, u D for all x D. The subsequent theorem offers a sufficient condition for the ϕ-midconvexity. The result is analogous to the implication iii i of Theorem 11. Unfortunately, we were not able to obtain the necessity of this condition, i.e., the reversed implication. Theorem 16. Let f : D R and assume that, for all u D, there exists an additive function A u : X X such that 10 fx fu A u x u ϕ x u x D. Then, f is ϕ-midconvex. 7

8 8 J. MAKÓ AND ZS. PÁLES Proof. Let x,y D and set u := x+y. Then, by 10, we have x y ϕ, y x ϕ. fx fu A u x u ϕ x u = A u x y fy fu A u y u ϕ y u = A u y x Adding up the inequalities and multiplying the inequality so obtained by 1, we get 3. The following result is analogous to Theorem 13, however it offers only a sufficient condition for ϕ-midconvexity. Theorem 17. Let ϕ : D + R + be increasingly subadditive and let f : D R. Assume that, for all u D, there exists an additive function A u : X X and there exists a function b : D R such that 11 fx = sup Au x+bu ϕ x u, u D for all x D. Then f is ϕ-midconvex. Proof. Assume that 11 is valid for x D. By Proposition 7, for fixed u D, the mapping x ϕ x u is ϕ-convex, so it is ϕ-midconvex. The map x A u x+bu is affine, and hence the function f u : D R defined by f u x := A u x + bu ϕ x u is ϕ-midconvex for all fixed u D. Now applying ii of Proposition 3, we obtain that f is ϕ-midconvex. Henceforth we search for relations between the local upper-bounded ϕ-midconvex functions and ϕ-convex functions with the help of the results from the papers [14] and [18] by Házy and Páles. Define the function d Z : R R + by d Z t = distt,z := min{ t k : k Z}. It is immediate to see that d Z is 1-periodic and symmetric with respect to t = 1/, i.e., d Z t = d Z 1 t holds for all t R. For a fixed ϕ : 1 D+ R +, we introduce the Takagi type function T ϕ : R D + R + by ϕ d Z n tu 1 T ϕ t,u := t,u R D +. n n=0 Applying the estimate 0 d Z 1, one can easily see that T ϕt,u ϕ u for u D + whenever ϕ is nondecreasing. For p 0, we also define the Takagi type function T p : R R + by dz n t p 13 T p t := t R. n n=0 In the case when ϕ is of the form ϕt = ε t p for some constants ε 0 and p 0, the following identity holds: T ϕ t,u = εt p tu p t,u R D +.

9 Observe that T ϕ and T p are also 1-periodic and symmetric with respect to t = 1/ in their first variables. In order to obtain lower and upper estimates for the functions T ϕ and T p defined above, we need to recall de Rham s classical theorem [31]. By BR,R we denote the space of bounded functions f : R R equipped with the supremum norm. Theorem 18. Let ψ BR,R,a,b R, a < 1. Let F ψ : BR,R BR,R be an operator defined as follows Fψ f t := afbt+ψt for f BR,R, t R. Then i F ψ is a contraction on BR,R with a unique fixed point f ψ which is given by the formula f ψ t = a n ψb n t t R; n=0 ii if a 0 and the functions g,h BR,R satisfy the inequalities g F ψ g and F ψ h h, then g f ψ h. Remark 19. In view of the first assertion of this theorem, observe that the functions T ϕ,u and T p defined in 1 and 13 are the fixed points of the operator: 9 14 Fψ f t := 1 ft+ψt for f BR,R, t R where ψ BR,R is given by ψt := ϕ d Z tu and ψt := d Z t p, respectively. In the results below, we establish upper and lower bounds for T ϕ in terms of the function τ ϕ : R D + R defined by τ ϕ t,u := d Z tϕ 1 d Z tu +1 d Z tϕ d Z tu t,u R D +. Observe that, for t, we have τ ϕ t,u := tϕ 1 tu +1 tϕ tu u D +, which is exactly the error term related to ϕ-convexity. Proposition 0. Let ϕ : D + R + be subadditive. Then, for all t,u R D +, 15 τ ϕ t,u T ϕ t,u. Proof. Let u D + be arbitrarily fixed. By the 1-periodicity and symmetry with respect to the point t = 1/, it suffices to show that 15 holds for all t [ 0, ] 1. If t = 0 then 15 is obvious. Now assume that 0 < t 1. Then there exists a unique k N such that 1 < t 1. Then, one can easily see that k+1 k 16 d Z t = t, d Z t = t,..., d Z k 1 t = k 1 t, d Z k t = 1 k t. On the other hand, by the well-known identity k 1 j=0 j = k 1, we have 1 tu = tu+tu+ + k 1 tu+1 k tu.

10 10 J. MAKÓ AND ZS. PÁLES Then, by the subadditivity of ϕ, and by t 1 < 1 < < 1, it follows that k k 1 tϕ1 tu tϕtu+tϕtu+ +tϕ k 1 tu+tϕ1 k tu tϕtu+ ϕtu + + ϕk 1 tu k 1 + ϕ1 k tu k. Adding 1 tϕtu to the previous inequality and using 16, we get τ ϕ t,u := tϕ1 tu+1 tϕtu ϕtu+ ϕtu k = Which completes the proof of 15. j=0 + + ϕk 1 tu + ϕ1 k tu k 1 k ϕd Z j tu j T ϕ t,u. Proposition 1. Let ϕ : D + R + be nondecreasing with ϕs > 0 for s > 0 and assume that ϕs γ ϕ := sup 0<s 1 ϕs <. D+ Then, for all t,u R D +, 17 T ϕ t,u γ ϕ τ ϕ t,u holds. Proof. To prove 17, we fix an arbitrary element u D +. By Remark 19, the function T ϕ,u is the fixed point of the operator F ϕ ft = 1 ft+ϕd Ztu. Define the function g : R R by gt := γ ϕ τ ϕ t,u. In view of Theorem 18, in order to prove inequality 17, it is enough to show that 18 F ϕ gt gt t R. Since g is periodic by 1 and symmetric with respect to t = 1/, it suffices to prove that 18 is satisfied on [ 0, ] 1. Trivially, γϕ 1, hence the inequality 18 is obvious for t = 0 or for u = 0. Thus, we may assume that u > 0 and 0 < t 1. By the definition of the constant γ ϕ, we have that 19 ϕtu 1 γ ϕ ϕtu ϕtu. Since t t and 1 t 1 t and ϕ is nondecreasing we also have that 0 tϕ1 tu ϕ1 tu+tϕtu tϕtu.

11 11 Adding ϕtu ϕtu to the previous inequality and also using 19, we obtain ϕtu 1 γ ϕ ϕtu ϕtu t ϕ1 tu ϕ1 tu 1 +1 tϕtu t ϕtu. Rearranging this inequality, we finally obtain that 1 γ ϕ tϕ 1 tu +1 tϕ tu +ϕtu γ ϕ tϕ 1 tu +1 tϕ tu, which means that 18 is satisfied for all 0 < t 1. Let µ be a nonnegative finite Borel measure on and let suppµ denote the support of µ. Lemma. Let µ be a nonnegative and nonzero finite Borel measure on and let χ :]0, [ R + be defined by χs = sp dµp sp dµp. Then χ is nondecreasing on ]0, [ and 0 lim s χs = p 0, where p 0 := supsuppµ. Proof. The function x x is strictly increasing, hence, for p,q R, we have p q p q 0. It suffices to show that χ 0. For s > 0, we obtain p ps p 1 dµp sp dµp p s dµp p χ s = = = sp dµp p ps p 1 dµp sq dµq+ q qs q 1 dµq sp dµp p s p dµp qsq 1 dµq+ q s dµq q sp dµp p q p qs p+q 1 dµpdµq sp dµp 0, which proves that χ is nondecreasing. Using suppµ [0,p 0 ], for s > 0, we obtain s p dµp = p s pdµp p 0 s pdµp, which proves that χs p 0, and hence, lim s χs p 0. psp 1 dµp sp dµp psp 1 dµp

12 1 J. MAKÓ AND ZS. PÁLES To show that in 0 the equality is valid, assume that lim s χs < p 0. Choose q < q 0 < p 0 so that lim s χs q. Then, for all s > 0, s p dµp q s p dµp, i.e., for all s 1, 0 q p s p dµp = q p s p dµp+ [0,q[ [0,q[ [0,q[ Therefore, for s 1, 0 q p s p dµp+ q p s p dµp+ [0,q[ [q,q 0 [ [q 0,1] [q 0,1] q p s p dµp+ q p s p dµp q p s q 0 dµp. q p s p q 0 dµp+ [q 0,1] [q 0,1] q p dµp. q p s p dµp The first integrand converges uniformly to 0 on [0, q[ as s. Thus, by taking the limit s, we get 1 0 q p dµp. [q 0,1] On the other hand, the inequality q 0 < p 0 = supsuppµ implies µ[q 0,1] > 0 and, obviously, q p < 0 for p [q 0,1]. Hence the right hand side of 1 is negative. The contradiction so obtained proves 0. Proposition 3. Let µ be a nonnegative and nonzero finite Borel measure on. Denote α := supd + and p 0 := supsuppµ and define ϕ : D + R + by ϕs := s p dµp for all s D +. Then ϕ is subadditive and nondecreasing, furthermore, αp dµp, if α <, γ ϕ = α/p dµp p 0, if α = and γ ϕ < if either α < and µ is not concentrated at the singleton {1} or p 0 < 1. In addition, for all t and u D +, [ 3 t1 t p +1 tt p] u p dµp T p tu p dµp

13 and, provided that γ ϕ <, 4 T p tu p dµp γ ϕ [ t1 t p +1 tt p] u p dµp. Proof. It can be easily seen that ϕ is nondecreasing. The subadditivity is a consequence of Lemma 8. Let α <. Then, by Lemma, the map s ϕs = sp dµp = χs ϕs sp dµp is nondecreasing on 1 D+, so it attains its supremum at α/. Thus, in this case, γ ϕ = αp dµp α/p dµp. To prove that γ ϕ <, we use the inequality p < for p to obtain: α p dµp = p α pdµp α pdµp. < In the case α =, by Lemma, we have that γ ϕ = lim s χs = p 0. Obviously, γ ϕ < if p 0 < 1. The inequalities 3 and 4 are immediate consequences of Proposition 0 and Proposition 1, respectively. In the case when the measure µ is concentrated at a singleton {p}, Proposition 3 simplifies to the following result. Corollary 4. Let 0 p 1 be an arbitrary constant. Then, for all t [0, 1], and, provided that p < 1, t1 t p +1 tt p T p t T p t p t1 t p +1 tt p. The proof of the next theorem is analogous to that in [18]. Theorem 5. Let ϕ : D + R + be nondecreasing. If f : D R is ϕ-midconvex and locally bounded from above at a point of D, then f is locally bounded from above on D. The following theorem generalizes the analogous result of the paper [18] obtained for ε,p-convexity. A similar result was also established by Tabor and Tabor [36], [37]. Theorem 6. Let f : D R be locally bounded from above at a point of D and let ϕ : 1 D+ R + be nondecreasing. Then f is ϕ-midconvex on D, i.e., 3 holds for all x,y D if and only if 5 ftx+1 ty tfx+1 tfy+t ϕ t, x y for all x,y D and t. 13

14 14 J. MAKÓ AND ZS. PÁLES Proof. Assume that f is ϕ-midconvex on D and locally bounded from above at a point of D. From Theorem 5, it follows that f is locally bounded from above at each point of D. Thus f is bounded from above on each compact subset of D, in particular, for each fixed x,y D, f is bounded from above on [x,y] = {tx+1 ty t }. Denote by K x,y a finite upper bound of the function 6 t ftx+1 ty tfx 1 tfy t. We are going to show, by induction on n, that 7 ftx+1 ty tfx+1 tfy+ K x,y + n 1 n j=0 ϕ d Z j t x y for all x,y D and t. For n = 0, the statement follows from the definition of K x,y with the convention that the summation for j = 0 to 1 is equal to zero. Now assume that 7 is true for some n N. Assume that t [0,1/]. Then, due to the ϕ-midconvexity of f, we get y +tx+1 ty ftx+1 ty = f On the other hand, by 7, we get that j fy+ftx+1 ty ftx+1 ty tfx+1 tfy+ K x,y + n 1 n j=0 +ϕt x y. ϕ d Z j+1 t x y j. Combining these two inequalities, we obtain ftx+1 ty tfx+1 tfy+ 1 Kx,y + n 1 ϕ d Z j+1 t x y +ϕt x y n j j=0 = tfx+1 tfy+ K n x,y + ϕ d Z j t x y. n+1 j In the case t [1/,1], the proof is similar. Thus, 7 is proved for all n N. Finally, taking the limit n in 7, we get the desired inequality 5. To see that 5 implies the ϕ-midconvexity of f, substitute t = 1/ into 5 and use the easy-to-see identity T 1 ϕ,u = ϕ u u R. The optimality of the error term in 5 and the appropriate convexity properties of T ϕ have recently been obtained in [3]. Theorem 7. Let ϕ : D + R + be nondecreasing with ϕs > 0 for s > 0 and assume ϕs that γ ϕ := sup 0<s 1 <. If f : D R is locally bounded from above a point of D D+ ϕs and it is also ϕ-midconvex, then f is γ ϕ ϕ -convex on D. Proof. By Proposition 1 and by Theorem 6, the proof of this theorem is evident. j=0

15 Corollary 8. Let µ be a nonnegative and nonzero finite Borel measure on. Denote α := supd + and p 0 := supsuppµ and assume that either α < and µ is not concentrated at the singleton {1} or p 0 < 1. Define ϕ : D + R + by ϕs := s p dµp for all s D +. If f : D R is locally bounded from above a point of D and it is also ϕ-midconvex, then f is γ ϕ ϕ -convex on D, where γ ϕ is given by. Corollary 9. Let 0 p < 1 and ε 0 be arbitrary constants. If f : D R is locally bounded from above a point of D and it is also ε,p-midconvex, then f is ε,p -convex p on D. 15 References [1] J. Aczél. A generalization of the notion of convex functions. Norske Vid. Selsk. Forh., Trondhjem, 194:87 90, [] F. Bernstein and G. Doetsch. Zur Theorie der konvexen Funktionen. Math. Ann., 764:514 56, [3] Z. Boros. An inequality for the Takagi function. Math. Inequal. Appl., 114: , 008. [4] E. Casini and P. L. Papini. A counterexample to the infinity version of the Hyers-Ulam stability theorem. Proc. Amer. Math. Soc., 118: , [5] P. W. Cholewa. The stability problem for a generalized Cauchy type functional equation. Rev. Roumaine Math. Pures Appl., 96: , [6] S. J. Dilworth, R. Howard, and J. W. Roberts. Extremal approximately convex functions and estimating the size of convex hulls. Adv. Math., 1481:1 43, [7] S. J. Dilworth, R. Howard, and J. W. Roberts. Extremal approximately convex functions and the best constants in a theorem of Hyers and Ulam. Adv. Math., 171:1 14, 00. [8] S. J. Dilworth, R. Howard, and J. W. Roberts. A general theory of almost convex functions. Trans. Amer. Math. Soc., 3588: electronic, 006. [9] R. Ger. Almost approximately convex functions. Math. Slovaca, 381:61 78, [10] R. Ger. Stability aspects of delta-convexity. In Stability of mappings of Hyers-Ulam type, pages Hadronic Press, Palm Harbor, FL, [11] J. W. Green. Approximately convex functions. Duke Math. J., 19: , 195. [1] D. H. Hyers, G. Isac, and Th. M. Rassias. Stability of Functional Equations in Several Variables. Progress in Nonlinear Differential Equations and their Applications, 34. Birkhäuser Boston Inc., Boston, MA, [13] D. H. Hyers and S. M. Ulam. Approximately convex functions. Proc. Amer. Math. Soc., 3:81 88, 195. [14] A. Házy. On approximate t-convexity. Math. Inequal. Appl., 83:389 40, 005. [15] A. Házy. On stability of t-convexity. In Proc. MicroCAD 007 Int. Sci. Conf., volume G, pages 3 8, 007. [16] A. Házy. On the stability of t-convex functions. Aequationes Math., 743:10 18, 007. [17] A. Házy and Zs. Páles. On approximately midconvex functions. Bull. London Math. Soc., 363: , 004. [18] A. Házy and Zs. Páles. On approximately t-convex functions. Publ. Math. Debrecen, 66: , 005. [19] A. Házy and Zs. Páles. On a certain stability of the Hermite Hadamard inequality. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 465: , 009. [0] M. Kuczma. Almost convex functions. Colloq. Math., 1:79 84, 1970.

16 16 J. MAKÓ AND ZS. PÁLES [1] M. Kuczma. An Introduction to the Theory of Functional Equations and Inequalities, volume 489 of Prace Naukowe Uniwersytetu Śląskiego w Katowicach. Państwowe Wydawnictwo Naukowe Uniwersytet Śląski, Warszawa Kraków Katowice, [] M. Laczkovich. The local stability of convexity, affinity and of the Jensen equation. Aequationes Math., 58:135 14, [3] J. Makó and Zs. Páles. Approximate convexity of Takagi type functions. J. Math. Anal. Appl., 369: , 010. [4] J. Makó and Zs. Páles. On approximately convex Takagi type functions. manuscript. [5] J. Makó and Zs. Páles. Strengthening of strong and approximate convexity. Acta Math. Hungar., 131-:78 91, 011. [6] J. Mrowiec. Remark on approximately Jensen-convex functions. C. R. Math. Rep. Acad. Sci. Canada, 31:16 1, 001. [7] J. Mrowiec, Ja. Tabor, and Jó. Tabor. Approximately midconvex functions. In C. Bandle, A. Gilányi, L. Losonczi, M. Plum, and Zs. Páles, editors, Inequalities and Applications Noszvaj, 007, volume 157 of International Series of Numerical Mathematics, pages Birkhäuser Verlag, 008. [8] C. T. Ng and K. Nikodem. On approximately convex functions. Proc. Amer. Math. Soc., 1181: , [9] Zs. Páles. Bernstein Doetsch-type results for general functional inequalities. Rocznik Nauk.-Dydakt. Prace Mat., 17:197 06, 000. [30] Zs. Páles. On approximately convex functions. Proc. Amer. Math. Soc., 1311:43 5, 003. [31] G. de Rham. Sur un exemple de fonction continue sans dérivée. Enseignement Math., 3:71 7, [3] A. W. Roberts and D. E. Varberg. Convex Functions, volume 57 of Pure and Applied Mathematics. Academic Press, New York London, [33] S. Rolewicz. On paraconvex multifunctions. In Third Symposium on Operations Research Univ. Mannheim, Mannheim, 1978, Section I, volume 31 of Operations Res. Verfahren, pages Hain, Königstein/Ts., [34] S. Rolewicz. On γ-paraconvex multifunctions. Math. Japon., 43:93 300, 1979/80. [35] S. Rolewicz. Paraconvex analysis. Control Cybernet., 343: , 005. [36] Ja. Tabor and Jó. Tabor. Generalized approximate midconvexity. Control Cybernet., 383: , 009. [37] Ja. Tabor and Jó. Tabor. Takagi functions and approximate midconvexity. J. Math. Anal. Appl., 356:79 737, 009. [38] Ja. Tabor, Jó. Tabor, and M. Żołdak. Approximately convex functions on topological vector spaces. Publ. Math. Debrecen, 77:115 13, 010. [39] Ja. Tabor, Jó. Tabor, and M. Żołdak. Optimality estimations for approximately midconvex functions. Aequationes Math., 80:7 37, 010. Institute of Mathematics, University of Debrecen, H-4010 Debrecen, Pf. 1, Hungary address: {makoj,pales}@science.unideb.hu