ON SOME INEQUALITIES EQUIVALENT to the WRIGHT-CONVEXITY 451 and ( + )+ ( − ) − ( ) 2 ( ) = F X H F X H 2 F X

Total Page:16

File Type:pdf, Size:1020Kb

ON SOME INEQUALITIES EQUIVALENT to the WRIGHT-CONVEXITY 451 and ( + )+ ( − ) − ( ) 2 ( ) = F X H F X H 2 F X Journal of Mathematical Inequalities Volume 9, Number 2 (2015), 449–461 doi:10.7153/jmi-09-38 ON SOME INEQUALITIES EQUIVALENT TO THE WRIGHT–CONVEXITY ANDRZEJ OLBRYS´ (Communicated by J. Pecari´ˇ c) Abstract. In the present paper we establish some conditions and inequalities equivalent to the Wright-convexity. 1. Introduction and terminology Let X be a real linear space, and let D ⊂ X be a convex set. A function f : D → R is called convex if f (λx +(1 − λ)y) λ f (x)+(1 − λ) f (y). (1) x,y∈D λ ∈[0,1] , ∈ λ = 1 If the above inequality holds for all x y D with 2 then f is said to be Jensen convex. In 1954 E.M. Wright [23] introduced a new convexity property. A function f : D → R is called Wright-convex if f (λx +(1 − λ)y)+ f ((1 − λ)x + λy) f (x)+ f (y). (2) x,y∈D λ ∈[0,1] One can easily see that convex functions are Wright-convex, and Wright-convex func- tions are Jensen-convex. On the other hand, if f : X → R is additive, that is, f (x + y)= f (x)+ f (y), x,y ∈ X; then f is also Wright-convex. The main result concerning Wright-convex functions is the much more surprising statement that any Wright-convex function can be decom- posed as the sum of such functions. The following theorem has been proved by Ng [14] for functions defined on convex subsets of Rn and was extended by Kominek [10] for functions defined on convex subsets of more general structures (see also [13]). THEOREM 1. Let X be a real linear space, and let D ⊂ X be an algebraically open and convex set. A function f : D → R is Wright-convex if and only if there exist a convex function F : D → R and an additive function a : X → R such that f (x)=F(x)+a(x), x ∈ D. (3) Mathematics subject classification (2010): 39B62, 26A51, 26B25. Keywords and phrases: Convexity, Jensen-convexity, Wright-convexity. Ð c ,Zagreb 449 Paper JMI-09-38 450 ANDRZEJ OLBRYS´ It follows immediately from the above representation that Wright-convex func- tions are either very regular or very irregular. It is known that quite week conditions e.g. locally boundedness from above or below at some point, Christensen measurabil- ity, continuity at least one point, imply the continuity of such functions. On the other hand, if they are discontinuous, they have a dense graph. A survey of other results concerning Wright-convex functions may be found in the papers [10], [13], [14], [16], [17], [24]. 2. Regularity properties Recall (see [22]) that a function f : D → R,whereD is an open subset of topo- logical space X , is said to be symmetric at a point x ∈ D,if lim[ f (x + h)+ f (x − h) − 2 f (x)] = 0. h→0 Of course, every continuous function is symmetric, but the converse is not true. Let us start with the following THEOREM 2. Let D ⊂ Rn be a convex and open set. If f : D → R is a Wright- convex function, then it is symmetric at every point x ∈ D. Proof. By Theorem 1 f has the form f (x)=a(x)+F(x), x ∈ D, where F : D → R is a convex function and a : Rn → R an additive function. Because convex functions defined on a subset of finite dimensional real linear space are contin- uous, then by additivity of a we get lim[ f (x + h)+ f (x − h) − 2 f (x)] = lim[F(x + h)+F(x − h) − 2F(x)] = 0. h→0 h→0 As we know from the classical theory of convex functions the convexity of a twice differentiable function can be inferred from the sign of its second derivative. Namely, the following theorem holds true (see [1], [12], [15], [19], [20]). THEOREM 3. Let I ⊂ R be an open interval, and let f : I → R be a convex func- tion. Then f is twice differentiable almost everywhere in I . Whenever the second derivative exists, f (x) 0. Moreover, if f is twice differentiable, then it is convex if and only if the function f is non-negative in I . Let us recall that the upper and the lower second symmetric derivative of f at x, are respectively defined by the formulas ( + )+ ( − ) − ( ) 2 ( ) = f x h f x h 2 f x , Ds f x : limsup 2 h→0 h ON SOME INEQUALITIES EQUIVALENT TO THE WRIGHT-CONVEXITY 451 and ( + )+ ( − ) − ( ) 2 ( ) = f x h f x h 2 f x . Ds f x : liminf h→0 h2 If the two extreme derivatives are equal and finite at a point x then f is said to have a 2 ( ) symmetric derivative at this point and the common value is denoted by Ds f x . It is easy to check that if f is twice differentiable at x,then 2 ( )= 2 ( )= ( ), Ds f x Ds f x f x 2 ( ) however, Ds f x can exist even at points of discontinuity. For example, for an arbitrary additive function a : R → R we have 2 ( )= , ∈ R, Ds a x 0 x and as we know (see [12]) such functions may be discontinuous at every point. For Wright-convex functions we have the following counterpart of Theorem 3 THEOREM 4. Let I ⊂ R be an open interval, and let f : I → R be a Wright- convex function. Then there exists a second symmetric derivative almost everywhere in 2 ( ) I . Whenever it exists, Ds f x 0. Proof. Let f : I → R be a Wright-convex function. By the representation (3) f has the form f = a + F ,wherea : R → R is an additive and F : I → R is a convex function. Observe that for all x ∈ I and h ∈ R such that x − h, x + h ∈ I we have f (x + h)+ f (x − h) − 2 f (x)=F(x + h)+F(x − h) − 2F(x) 0. By the above equality, convexity of F and on account of Theorem 3 we obtain 2 ( )= 2 ( )= ( ) , Ds f x Ds F x F x 0 almost everywhere in I . The proof of our theorem is complete. Since the second symmetric derivative of a Wright-convex function may not exist, we need to use the concept of the lower and upper second symmetric derivative to characterize this kind of convexity. Inspired by methods contained in [15, p. 24] we prove the following THEOREM 5. Let I ⊂ R be an open interval. A function f : I → R is Wright- convex if and only if the map x + y I × I (x,y) −→ f (x)+ f (y) − 2 f , (4) 2 2 ( ) ∈ is continuous, and Ds f x 0,x I. 452 ANDRZEJ OLBRYS´ Proof. If f is Wright-convex then f = a+F for some additive function a : R → R and a convex function F : I → R. Because f (x + h)+ f (x − h) − 2 f (x)=F(x + h)+F(x − h) − 2F(x) 2 ( ) ∈ then by convexity of F we get Ds f x 0, x I . The continuity of a map given by (4) follows from the continuity of F . 2 ( ) Conversely, suppose that the map given by (4) is continuous and Ds f x 0, x ∈ I . Let us consider the sequence of functions fn : I → R given by the formula 1 f (x) := f (x)+ x2, n ∈ N. n n Clearly, the mapping x + y I × I (x,y) −→ f (x)+ f (y) − 2 f , n n n 2 is continuous, for all n ∈ N, moreover, ( ) −→ ( ), , 2 ( ) > , ∈ , ∈ N. fn x n→∞ f x and Ds fn x 0 x I n We shall show that fn is a Wright-convex function for all n ∈ N. On account of The- orem 12 from [17] it is enough to show that fn is a convex function in the sense of Jensen, n ∈ N. Assume the contrary, that there exists a subinterval I0 =[a0,b0] ⊂ I such that f (a )+ f (b ) a + b J (a ,b ) := n 0 n 0 − f 0 0 < 0. fn 0 0 2 n 2 An easy calculation shows that a + b a + b a + 3b 3a + b J (a ,b )=J a , 0 0 + J 0 0 ,b + 2J 0 0 , 0 0 < 0, fn 0 0 fn 0 2 fn 2 0 fn 4 4 consequently, one of the intervals a + b a + b a + 3b 3a + b a , 0 0 , 0 0 ,b , 0 0 , 0 0 0 2 2 0 4 4 − =[ , ] − = b0 a0 can be chosen to replace I0 by a smaller interval I1 a1 b1 , with b1 a1 2 ( , ) < and Jfn a1 b1 0. Using induction, we can construct a sequence of intervals Ik =[ak,bk], k ∈ N such that b0 − a0 I + ⊂ I , b − a = , J (a ,b ) < 0, k ∈ N. k 1 k k k 2k fn k k Denote by x0 the unique element of the intersection { } = ∩∞ [ , ]. x0 k=1 ak bk Obviously, from the choice of the sequence {Ik}k∈N and by continuity of the function given by (4) we obtain 2 ( ) Ds fn x0 0 which is a contradiction. ON SOME INEQUALITIES EQUIVALENT TO THE WRIGHT-CONVEXITY 453 3. Characterizations Let start this section with the following THEOREM 6. A function f : D → R is Wright-convex if and only if for all x,y ∈ , λ ∈ [ , ], , ∈ N, ,..., , ,..., ∈ [ , ] k = n = λ D 0 1 k n s1 sk t1 tn 0 1 such that ∑ j=1 s j ∑i=1 ti the following inequality holds k n ∑ f (s jx +(1 − s j)y)+∑ f ((1 −ti)x +tiy) kf(y)+nf(x).
Recommended publications
  • Quasi-Mean Value Theorems for Symmetrically Differentiable Functions
    Tamsui Oxford Journal of Information and Mathematical Sciences 27(3) (2011) 279-301 Aletheia University Quasi-Mean Value Theorems for Symmetrically Differentiable Functions∗ Prasanna K. Sahooy Department of Mathematics, University of Louisville, Louisville, Kentucky 40292 USA Received September 14, 2009, Accepted October 13, 2010. Abstract In this paper, we give a survey of results related the various quasi- mean value theorems for symmetrically differentiable functions and pres- ent some new results. The symmetric derivative of a real function is discussed and it's elementary properties are pointed out. Some results leading to the quasi-Lagrange mean value theorem for the symmetrically differentiable functions are presented along with some generalizations. We also present several results concerning the quasi-Flett mean value theorem for the symmetrically differentiable functions. A new result that eliminate the boundary condition in the quasi-Flett mean theorem is also included. The quasi-Flett mean value theorem of Cauchy like is surveyed along with some related results. A new result that eliminate the boundary condition is presented related to the quasi-Flett mean value theorem of Cauchy like for the symmetrically differentiable func- tions. Further, by identifying several other new auxiliary functions, we present corresponding new quasi-mean value theorems which are variant of quasi-Lagrange mean value theorem, quasi-Flett mean value theorem, and quasi-Flett mean value theorem of Cauchy like for the symmetrically differentiable functions. Keywords and Phrases: Auxiliary function, Darboux property, Flett's mean value theorem, Lagrange mean value theorem, Lagrange mean value theorem of Cauchy like, Quasi-Flett mean value theorem, Quasi-Flett mean value theorem of Cauchy like, Quasi-Lagrange mean value theorem, Symmetric derivative.
    [Show full text]
  • Qualitative Differentiation
    transactions of the american mathematical society Volume 280, Number 1, November 1983 QUALITATIVEDIFFERENTIATION BY MICHAEL J. EVANS AND LEE LARSON Abstract. Qualitative dérivâtes and derivatives, as well as qualitative symmetric dérivâtes and derivatives, are studied in the paper. Analogues of several results known for ordinary dérivâtes and derivatives are obtained in the qualitative setting. 1. Introduction. The notions of qualitative limits, qualitative continuity, and qualitative derivatives were introduced by S. Marcus [13-15]. The purpose of the present paper is to examine qualitative differentiation and qualitative symmetric differentiation and, in particular, to present analogues of results known to hold for ordinary differentiation, symmetric differentiation, approximate differentiation, and approximate symmetric differentiation. Loosely speaking, qualitative differentiation and qualitative symmetric differentiation may be thought of as category analogues of approximate differentiation and approximate symmetric differentiation, where the set neglected near a point in the computation of difference quotients is of first category at the point in the former setting instead of density zero at the point as in the latter. We state our definitions in §2. In §3 we examine qualitative derivatives and dérivâtes. There we show that a qualitatively differentiable function on the real line is actually differentiable everywhere and obtain what may be viewed as qualitative analogues of the Denjoy-Young-Saks theorem [18]. In §4 we consider qualitative symmetric derivatives and dérivâtes. We show that with mild continuity restrictions on the primitive, a qualitative symmetric derivative must belong to Baire class one and actually be the symmetric derivative of a closely related function except at countably many points. A monotonicity theorem and related results are given.
    [Show full text]
  • Geyser Mathematicae Cassoviensis
    GEYSER MATHEMATICAE CASSOVIENSIS Košice August 2019 GEYSER MATHEMATICAE CASSOVIENSIS Košice 2019 GEYSER MATHEMATICAE CASSOVIENSIS Erika Fecková Škrabuľáková (Eds.) Cover design by: Erika Fecková Škrabuľáková Published by: Technical University of Košice, Košice, Slovakia All rights reserved c 2019 ISBN 978 - 80 - 553 - 3327 - 4 This work was supported by the Slovak Research and Development Agency under the contract No. APVV-14-0892. This work was also supported by the Union of Slovak Mathematicians and Physicists, division Košice (JSMF), SSAKI by URIVP FBERG, SAV and ZSVTS. After completing the double blind peer reviewed process of the collection of papers Geyser Ma- thematicae Cassoviensis the acceptance rate was 80 %. Introduction to GMC Dear reader, you are opening a peer review publication dedicated to new trends in Košice’s ma- thematics - Geyser Mathematicae Cassoviensis (GMC) with contributions soundly based in research or scholarship. It seeks to cover the whole field of post-school mathematical education and/or research in all areas of mathematics. It aims to take a problem-oriented approach; to help formulate the problems of higher education, to consider alternative solutions and to test them. Lastly, it seeks to inform about the up to date research in Košice and Košice’s surround via research papers, review articles and/or short communications. The education reveals abilities but do not create them. Universities educate new generations that form the national elite. Well educated people become new workers and open-minded researchers. This points out to the fact that educational activities and problems have their important place in nowadays scientific discussions. A successful academic career is increasingly linked to a track record of publishing research which is able to reach a large audience.
    [Show full text]
  • Typical Properties of Continuous Functions / Linda Szpitun.
    TYPICAL PROPERTIES OF CONTINUOUS FUNCTIONS Linda Szpitun B.Sc., Simon Fraser University, 1987 THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in the Department of ath he ma tics and Statistics @ Linda Szpitun 1988 SIMON FRASER UNIVERSITY July 1988 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without permission of the author. APPROVAL Name: Linda Szpitun Degree: Master of Science Title of thesis: Typical Properties of Continuous Functions Examining Committee: Chai rman : Dr. G. Bojadziev -. Dr. B.S. Thomson Senior Supervisor Dr. T.C. ~rown I&. G.A.C. Graham External Examiner Date Approved: ~uly19, 1988 i i PARTIAL COPYRIGHT LICENSE I hereby grant to Simon Fraser University the right to lend my thesis, project or extended essay (the title of which is shown below) to users of the Simon Fraser University Library, and to make partial or single copies only for such users or in response to a request from the library of any other university, or other educational Institution, on its own behalf or for one of its users. I further agree that permission for multiple copying of this work for scholarly purposes may be granted by me or the Dean of Graduate Studies. It is understood that copying or publication of this work for financial gain shall not be allowed without my written permission. Title of Thesis/Project/Extended Essay Author: - (= gnaiy/ej In this thesis we survey the typical properties of continuous functions defined on [O,1]. A property is typical if the set of functions which have this property is the complement of a set of first category in ~[0,1].We begin by focusing on typical differentiation properties of continuous functions.
    [Show full text]
  • A New, Harder Proof That Continuous Functions with Schwarz Derivative 0 Are Lines
    A New, Harder Proof That Continuous Functions With Schwarz Derivative 0 Are Lines J. Marshall Ash Abstract. The Schwarz derivative of a real-valued function of a real variable F is de…ned at the point x by F (x + h) 2F (x) + F (x h) lim : h 0 h2 ! The usual proof that a function with identically 0 Schwarz derivative must be a line depends on the fact that a continuous function on a closed interval attains a maximum. Here we give an alternate proof which avoids this dependence. 1. Introduction The Schwarz derivative is de…ned to be F (x h) 2F (x) + F (x + h) (1) DF (x) := lim : h 0 h2 ! Throughout this work, all functions denoted by capital Roman letters or by Greek letters will be real-valued functions of a real variable, and all functions denoted by lower case Roman letters will be maps from R2 to R. The above limit is sometimes called the second Riemann or second symmetric derivative. To see why it is a generalized second derivative, assume that F is twice di¤erentiable at a …xed point x. Then Peano’spowerful version of Taylor’sTheorem asserts that even though F 00 is not even assumed to exist at any point other than x; much less be continuous at x, we still must have1 h2 (2) F (x + h) = F (x) + F (x) h + F (x) + o h2 : 0 00 2 1991 Mathematics Subject Classi…cation. Primary 26A24, 26A51; Secondary 42A63. Key words and phrases. Schwarz derivative, second symmetric derivative, partition.
    [Show full text]
  • Readingsample
    Elements of Mathematics Functions of a Real Variable Elementary Theory Bearbeitet von N. Bourbaki, P. Spain 1. Auflage 2003. Buch. xiv, 338 S. Hardcover ISBN 978 3 540 65340 0 Format (B x L): 15,5 x 23,5 cm Gewicht: 723 g Weitere Fachgebiete > Mathematik > Mathematische Analysis Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. CHAPTER I Derivatives § 1. FIRST DERIVATIVE As was said in the Introduction, in this chapter and the next we shall study the infinitesimal properties of functions which are defined on a subset of the real field R and take their values in a Hausdorff topological vector space E over the field R;for brevity we shall say that such a function is a vector function of a real variable. The most important case is that where E R (real-valued functions of a real variable). When E Rn, consideration of a vector function with values in E reduces to the simultaneous consideration of n finite real functions. Many of the definitions and properties stated in chapter I extend to functions which are defined on a subset of the field C of complex numbers and take their values in a topological vector space over C (vector functions of a complex variable). Some of these definitions and properties extend even to functions which are defined on a subset of an arbitrary commutative topological field K and take their values in a topological vector space over K.
    [Show full text]
  • Elementary Real Analysis, 2Nd Edition (2008) Section 7.2
    ClassicalRealAnalysis.com Chapter 7 DIFFERENTIATION 7.1 Introduction Calculus courses succeed in conveying an idea of what a derivative is, and the students develop many technical skills in computations of derivatives or applications of them. We shall return to the subject of derivatives but with a different objective. Now we wish to see a little deeper and to understand the basis on which that theory develops. Much of this chapter will appear to be a review of the subject of derivatives with more attention paid to the details now and less to the applications. Some of the more advanced material will be, however, completely new. We start at the beginning, at the rudiments of the theory of derivatives. 7.2 The Derivative Let f be a function defined on an interval I and let x0 and x be points of I. Consider the difference quotient determined by the points x0 and x: f(x) f(x ) − 0 , (1) x x − 0 representing the average rate of change of f on the interval with endpoints at x and x0. 396 Thomson*Bruckner*Bruckner Elementary Real Analysis, 2nd Edition (2008) Section 7.2. The Derivative ClassicalRealAnalysis.com 397 f f(x) f(x0) x0 x Figure 7.1. The chord determined by (x, f(x)) and (x0, f(x0)). In Figure 7.1 this difference quotient represents the slope of the chord (or secant line) determined by the points (x, f(x)) and (x0, f(x0)). This same picture allows a physical interpretation. If f(x) represents the distance a point moving on a straight line has moved from some fixed point in time x, then f(x) f(x ) − 0 represents the (net) distance it has moved in the time interval [x0, x], and the difference quotient (1) represents the average velocity in that time interval.
    [Show full text]
  • MATHEMATICIANS with a Ph.D•••••••••••••• 562 SUPPLEMENTARY PROGRAM- No
    AMERICAN SOCIETY ISSUE NO. 70 OCTOBER 1963 THE AMERICAN MATHEMATICAL SOCIETY Edited by John W. Green and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 540 Program of the October Meeting in Brooklyn, New York • • • • • • • • • • 541 Abstracts for the Meeting on pages 567-573 PRELIMINARY ANNOUNCEMENTS OF MEETINGS ••••••••••••••••••••• 544 REPORT ON THE AFFAIRS OF THE SOCIETY.. • • • • • • • • • • • • • • • • • • • • • 548 ACTIVITIES OF OTHER ASSOCIATIONS. • • • • • • • • • • • . • • • • • • • • • • • • • • • 550 NEW AMS PUBLICATIONS. • • • • • • • • • • • • • • • • • • • • • . • • • • • • • • • • • • • • 551 PERSONAL ITEMS • • • • • • • . • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 552 NEWS ITEMS AND ANNOUNCEMENTS. • • • • • • • • • • • • • • • • • • • • • 547, 549, 556 MEMORANDA TO MEMBERS Summer Meeting - 1964 • • • • • • • • • • • • • • • • . • • • • • • • • • • • • • • • 556 LETTERS TO THE EDITOR ••••••••••••••••.•••••••••••••••.•••• 557 THE ANNUAL SALARY SURVEY • . • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 559 STARTING SALARIES FOR MATHEMATICIANS WITH A Ph.D•••••••••••••• 562 SUPPLEMENTARY PROGRAM- No. 20 ••••.•••••••••••••••••••.•••• 563 ABSTRACTS OF CONTRIBUTED PAPERS ••••••••••••••••••••••••••• 566 ERRATA ••••••••••••••••••••••••••••••••••••••••••••••••• 595 INDEX TO ADVERTISERS • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 603 RESERVATION FORM •••••••••••••••••••••••••.••••••••••••••
    [Show full text]
  • Notices of the American Mathematical Society
    OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 13, NUMBER 3 ISSUE NO. 89 APRIL, 1966 cNotiaiJ OF THE AMERICAN MATHEMATICAL SOCIETY Edited by John W. Green and Gordon L. \\' alker CONTENTS MEETINGS Calendar of Meetings • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 2 84 Program of the April Meeting in New York. • • • . • • • • • • • . • • • • • • • • 285 Abstracts for the Meeting- Pages 324-347 Program of the April Meeting in Honolulu • • • • • • • • • • • • • • • • • • • • • • 293 Abstracts for the Meeting- Pages 348-357 Program of the April Meeting in Chicago • • • • • • • • • • • • • • • • • . • • • • 297 Abstracts for the Meeting- Pages 358-375 PRELIMINARY ANNOUNCEMENTS OF MEETINGS.. • • • • • • • • • • • • • • • • • • 304 ACTIVITIES OF OTHER ASSOCIATIONS • • • • • • • • • • • • • • • • • . • • • • • • . • 311 1966 INTERNATIONAL CONGRESS OF MATHEMATICIANS . • . • • • • • • • . • • • 312 COMMITTEE ON SUPPORT OF RESEARCH IN THE MATHEMATICAL SCIENCES................ 314 ASSISTANTSHIPS AND FELLOWSHIPS............................ 316 GRADUATE COURSES....................................... 316 PERSONAL ITEMS......................................... 318 NEWS ITEMS AND ANNOUNCEMENTS. •••.•••••.•••••••••••• 313, 315, 320 SUPPLEMENTARY PROGRAM- Number 38........................ 321 MEMORANDA TO MEMBERS The Mathematical Sciences Employment Register • • • • • • • • • • • • • • • • 323 Change of Address • • • • • • • • • • • . • • • • • • • • • • . • • • • • • • • • • • • • • 323 ABSTRACTS OF CONTRIBUTED PAPERS.........................
    [Show full text]
  • Symmetric Properties of Sets and Real Functions
    Symmetric Properties of Sets and Real Functions Hongjian Shi B.Sc., Henan Normal University, China, 1984 M.Sc., Peking University, China, 1987 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in the Department of Mathematics and Statistics @ Hongjian Shi 1995 SIMON FRASER UNIVERSITY February 1995 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. APPROVAL Name: Hongjian Shi Degree: Master of Science Title of thesis: Symmetric Properties of Sets and Real Functions Examining Committee: Dr. G. A. C. Graham Chair Dr. B. S. Thomson, Senior Supervisor Dr. P. Bbrwein Dr. A. Freedman Dr. T. Tang, External Examiner Date Approved: March 1, 1995 Partial Copyright License I hereby grant to Simon Fraser University the right to lend my thesis, project or extended essay (the title of which is shown below) to users of the Simon Fraser Uni- versity Library, and to make partial or single copies only for such users or in response to a request from the library of any other university, or other educational institution, on its own behalf or for one of its users. I further agree that permission for multi- ple copying of this work for scholarly purposes may be granted by me or the Dean of Graduate Studies. It is understood that copying or publication of this work for financial gain shall not be allowed without my written permission. Title of Thesis/Project /Extended Essay: Author: (signature) (name) (date) Abstract In this thesis some symmetric properties of real functions are investigated and several problems are solved.
    [Show full text]
  • The Cantor Function O
    Expo. Math. 24 (2006) 1–37 www.elsevier.de/exmath The Cantor function O. Dovgosheya, O. Martiob,∗, V. Ryazanova, M. Vuorinenc aInstitute of Applied Mathematics and Mechanics, NAS of Ukraine, 74 Roze Luxemburg Str., Donetsk 83114, Ukraine bDepartment of Mathematics and Statistics, P.O. Box 68 (Gustaf Hällströmin Katu 2b), University of Helsinki, FIN - 00014, Finland cDepartment of Mathematics, University of Turku, FIN - 20014, Finland Received 4 January 2005 Abstract This is an attempt to give a systematic survey of properties of the famous Cantor ternary function. ᭧ 2005 Elsevier GmbH. All rights reserved. MSC 2000: primary 26-02; secondary 26A30 Keywords: Singular functions; Cantor function; Cantor set 1. Introduction The Cantor function G was defined in Cantor’s paper [10] dated November 1883, the first known appearance of this function. In [10], Georg Cantor was working on extensions of the Fundamental Theorem of Calculus to the case of discontinuous functions and G serves as a counterexample to some Harnack’s affirmation about such extensions [33, p. 60]. The interesting details from the early history of the Cantor set and Cantor function can be found in Fleron’s note [28]. This function was also used by H. Lebesgue in his famous “Leçons sur l’intégration et la recherche des fonctions primitives” (Paris, Gauthier-Villars, 1904). For this reason G is sometimes referred to as the Lebesgue function. Some interesting function ∗ Corresponding author. Fax: +35 80 19122879. E-mail addresses: [email protected] (O. Dovgoshey), [email protected].fi (O. Martio), [email protected] (V. Ryazanov), vuorinen@csc.fi (M.
    [Show full text]
  • Topics in Generalized Differentiation
    Topics in Generalized Differentiation J. Marshall Ash Abstract The course will be built around three topics: (1) Prove the almost everywhere equivalence of the Lp n-th sym- metric quantum derivative and the Lp Peano derivative. (2) Develop a theory of non-linear generalized derivatives, for ex- ample of the form anf(x + bnh)f(x + cnh). X (3) Classify which generalized derivatives of the form anf(x + bnh) satisfy the mean value theorem. X 1 Lecture 1 I will discuss three types of difference quotients. The first are the additive linear ones. These have been around for a long time. One can see their shadow already in the notation Leibnitz used for the dth derivative, dd . dxd For an example with d = 2, let h = dx, and consider the Schwarz generalized second derivative d2f (x) f (x + h) 2f (x) + f (x h) lim = lim − − . (1) h 0 h2 h 0 h2 → → The difference quotient associated with the generalized additive linear deriva- tive has the form Duwf (x)= lim Duwf (x,h) h 0 → ∆ f (x,h) = lim uw h 0 hd (2) → d+e w f (x + u h) = lim i=0 i i . h 0 hd → P 57 58 Seminar of Mathematical Analysis Here f will be a real-valued function of a real variable. The wi’s are the weights and the u h’s are the base points, u > u > > u . This is a i 0 1 ··· d+e generalized dth derivative when w and u satisfy d+e 0 j =0, 1,...,d 1 j − w u = .
    [Show full text]