Bellman function approach to the sharp constants in uniform convexity
|
|
- Prosper Moody
- 6 years ago
- Views:
Transcription
1 Adv. Calc. Var. 08; (): 89 9 Research Article Paata Ivanisvili* Bellman function approach to the sharp constants in uniform convexity DOI: 0.55/acv Received February 9 06; revised May 5 06; accepted July 5 06 Abstract: We illustrate a Bellman function technique in finding the modulus of uniform convexity of L p spaces. Keywords: Uniform convexity Bellman function concave envelopes MSC 00: 8A0 6A06 5A0 5A40 4B0 4B5 47A0 Communicated by: Frank Duzaar Uniform convexity Let I be an interval of the real line. For an integrable function f over I we set f I := f(s) ds and f p := f p /p I. We recall the definition of uniform convexity of a normed space (X ) (see []). Definition ([]). The space X is uniformly convex if for any ε > 0 there exists δ > 0 such that if x = y = and x y ε then x+y δ. The modulus of convexity of the normed space X is defined as follows: δ X (ε) = inf( f + g ) : f = g = f g ε}. We notice that (X ) space is uniformly convex if and only if for any ε > 0 we have δ X (ε) > 0. Hanner (see []) gave an elegant proof of finding the constant δ L p(ε) > 0 for p ( ) in 955. He proved two necessary inequalities (further called Hanner s inequalities) in order to obtain the constant δ L p(ε). Namely f + g p p + f g p p ( f p + g p ) p + f p g p p p [ ] (.) and inequality (.) is reversed if p. Hanner mentions in his note [] that his proof is a reconstruction of some Beurling s ideas given at a seminar in Upsala in 945. In [] the non-commutative case of Hanner s inequalities was investigated. Namely Hanner s inequality holds for p [ /4] [4 ) and the case p (/4 4) (where p = ) was left open. In this paper we present a general systematic approach to some class of extremal problems by using a Bellman function technique where absolutely no background is required only elementary calculus. As an application we illustrate this approach in finding the constant δ L p(ε). We also show that the Bellman function (.) which arises naturally is a minimal concave function with the given boundary condition (.). *Corresponding author: Paata Ivanisvili: Department of Mathematics Kent State University Kent OHIO 4440 USA pivanisv@kent.edu Download Date /4/8 6: AM
2 90 P. Ivanisvili Bellman function approach to the sharp constants in uniform convexity Minimal concave functions: An abstract theorem Let Ω R n and let m and H be some arbitrary maps such that m : Ω R k and H : Ω R. Let Ω(I) denote the class of piecewise constant vector-valued functions φ : I Ω which take only finite number of values. Let conv(ω) denote the convex hull of the set Ω. We define the Bellman function as follows: B(x) = sup φ Ω(I) H(φ(t)) dt : Theorem. The following properties hold: () B is defined on the convex set conv[m(ω)] () B(m(y)) H(y) for all y Ω () B is concave function (4) B is minimal among those who satisfy properties () () and (). m(φ(t)) dt = x}. Proof. Fist we show property (). Let Dom B denote the domain where B is defined. Since m(φ) m(ω) we have m(φ) I conv[m(ω)]. Therefore Dom B conv[m(ω)]. Now we show the opposite inclusion. Carathéodory s theorem implies that for any x conv[m(ω)] we have x = n+ j= a jx j where a j 0 n+ j= a j = and x j m(ω). Let the points y j Ω be such that m(y j ) = x j. We choose φ so that t I : φ(t) = y j } = a j I. Then φ Ω(I). Hence m(φ) I = m(φ(t)) dt = n+ j= I t:φ(t)=y j } m(φ(t)) dt = To verify the second property take φ 0 (t) = y t I. Then m(φ 0 ) I = m(y). Thus B(m(y)) = For the third property it is enough to show that n+ j= sup H(φ) I H(φ 0 ) I = H(y). φ Ω(I): m(φ) I =m(y) B(θx + ( θ)y) θb(x) + ( θ)b(y) for all x y conv[m(ω)] and θ [0 ]. There exist functions φ ψ Ω(I) such that I x j I a j = x. m(φ) I = x m(ψ) I = y H(φ) I B(x) ε H(ψ) I > B(y) ε. We split the interval I into two disjoint subintervals I and I so that I = θ I. Let L j : I j I j = be linear bijections. We consider the concatenation as follows: Clearly η(t) Ω(I) m(η) I = θx + ( θ)y and η(t) = φ(l (t)) t I φ(l (t)) t I. B(θx + ( θ)y) H(η) I = θ H(φ) I + ( θ) H(ψ) I > θb(x) + ( θ)b(y) ε. Now we show property (4). Let G satisfy properties () () and (). Then Jensen s inequality implies that for any φ Ω(I) we have H(φ) I G(m(φ)) I G( m(φ) I ) = G(x). Before we proceed to the applications let us make the following observations. The requirement that φ(t) is piecewise constant and it takes finite number of values is excessive. We made this requirement in order to avoid issues with measurability. For example if H and m are arbitrary maps then the compositions m(φ) Download Date /4/8 6: AM
3 P. Ivanisvili Bellman function approach to the sharp constants in uniform convexity 9 and H(φ) may not be measurable and the integral averages H(φ) I and m(φ) I will not make sense. However if H m and φ are Borel measurable then the above argument does not change. We note that property () of Theorem namely B(m(y)) H(y) for all y Ω can be rewritten as B(x) sup y m (x) H(y) for all y m(ω). We define the obstacle by R(x) := sup y m (x) H(y). Then it is clear that B(x) = sup R(m(φ)) I : m(φ) I = x} φ Ω(I) and property () takes the form B(x) R(x) for all x m(ω). The Bellman function B does not depend on the choice of the interval I and B(x) = R(x) at the extreme points of the set conv[m(ω)]. This follows from the fact that a minimal concave function must coincide with its obstacle at the extreme points of its domain. If conv[m(ω)] = m(ω) and the obstacle R(x) is concave then B(x) = R(x) for all x m(ω). In the next section we apply Theorem to find δ L p(ε). The Bellman function in uniform convexity. The domain and the boundary condition The definition of the modulus of uniform convexity tells us to consider the following function: B(x) = sup θf + ( θ)g p I ( f p g p f g p ) I = x} (.) fg where θ = / and the supremum is taken over real valued Borel measurable functions f g L p (I). Then it is clear that δ L p(ε) = sup p x ε p(b( x )) /p. Theorem implies that if we set Ω = R φ(t) = (f(t) g(t)) m(x y) = ( x p y p x y p ) and H(x y) = θx + ( θ)y p then B is the minimal concave function on the domain conv[m(ω)] such that B(m(x y)) H(x y). If we set m(φ) I = x = (x x x ) then all variables x x x are nonnegative. We notice that Λ := conv[m(ω)] = x x x 0 : x /p + x /p x /p x /p + x /p x /p x /p + x /p x /p }. Λ is the convex cone and Λ = m(ω). Minkowski s inequality implies that whenever x m(ω) we must have f = λg for an appropriate λ. This allows us to find the boundary data for B B(x x x ) = θx/p (θx /p (x /p ( θ)x /p p x /p + x /p = x /p + x /p )p x /p + x /p = x /p + ( θ)x /p )p x /p + x /p = x /p (.) where x x and x are nonnegative numbers. Thus Theorem implies that B is a minimal concave function on Λ with the given boundary condition (.). So the questions becomes purely geometrical: given the convex domain Λ find the minimal concave function B in the convex domain Λ with the given boundary condition (.) on Λ. Then δ L p(ε) = sup (B( x )) /p. p x ε p We notice that the knowledge of B gives more information about the structure of uniform convexity and not just the value δ L p(ε). Remark. For the application one can avoid finding the exact value of B(x x x ). Indeed one can take an arbitrary concave function B on Λ which dominates B on Λ (the set where the obstacle H lives) and then by Theorem (namely property (4)) we have B B on Λ automatically. By the appropriate choice of B one may obtain the exact value of δ L p(ε). In the next subsection we will illustrate this idea. Download Date /4/8 6: AM
4 9 P. Ivanisvili Bellman function approach to the sharp constants in uniform convexity. Sharp constants in uniform convexity First we consider the case p. Let us consider the following function: B(x x x ) = x + x x p. (.) It is clear that B is concave in Λ. We notice that (B B) Λ 0 (see Lemma ). Therefore Theorem (4) implies that B B in Λ. Thus δ(ε) = sup (B( x )) /p p x ε p sup (B( x )) /p p x ε p = (B( ε p )) /p = ( εp p ) /p. If we show that B( ε p ) = B( ε p ) then this would imply that the estimate obtained above for δ L p(ε) is sharp. For the benefit of the reader we include the proof of this equality in Appendix A. Now we consider the case < p <. We set (g(s) f(s)) = ( s /p p (s /p /) p ) for s p and for all p ( ). Let s [ p ) be the solution of the equation ε p = s + g(s ). Consider the function B(x x x ) = x f(s ) + f (s ) + g (s ) [x + x ε p x ] (.4) which is concave in Λ. By Lemma we have (B B) Λ 0. Therefore Theorem (4) implies that B B in Λ. Thus δ(ε) = sup (B( x )) /p p x ε p sup (B( x )) /p p x ε p = (B( ε p )) /p = ε(f(s )) /p. We have used the fact that B( x ) is decreasing in x. Indeed the inequality B x ( x ) 0 follows from the inequality f(s)( + g (s)) f (s)(s + g(s)) 0 for all s p which can be seen by direct computation. The equality B( ε p ) = B( ε p ) (see Lemma ) implies that the estimate obtained above for δ L p(ε) is sharp. It is clear that the constant δ L p(ε) [0 ] is the solution of the equation ( δ(ε) + ε )p + δ(ε) ε p =. One can ask how did we find the functions B. These functions are tangent planes to the graph of the actual Bellman function B at the point ( ε p ). Unlike the actual Bellman function B which has the implicit expression the tangent planes B to the graph B have simple expression so it was easy to work with the tangent planes B rather than with the actual Bellman function B. The actual Bellman function B can be constructed by using the methods recently developed in [4 6]. Finally we should explain the appearance of the functions f(s) and g(s) for s p. Let us consider the section of the convex set Λ and the hyperplane x = in R. The result Λ (x x x ) : x = } is a convex set in the x x plane and it has a boundary. The boundary as a curve is symmetric along the line x = x which intersects it at the point ( p p ) and it can be identified with the union of the set of points (s g(s)) : s p )} (g(s) s) : s p )}. The function f(s) represents the value of B on the curve (s g(s)) i.e. it follows from (.) that B(s g(s) ) = B(g(s) s) = f(s) for s p. So the appearance of the curve (g(s) f(s)) for s p is natural and the point ( p p ) should be understood as the vertex of the curve (Λ (x x x ) : x = }) in R. Download Date /4/8 6: AM
5 P. Ivanisvili Bellman function approach to the sharp constants in uniform convexity 9 A Appendix Lemma. Let B be defined as in (.) for p and as in (.4) for < p <. Let B be defined as in (.) with the boundary conditions (.). Then (B B) Λ 0. Proof. Notice that (.) implies that B is -homogeneous function i.e. B(λx) = λb(x). It is clear that B is also -homogeneous as a linear function passing through the origin. It follows that without loss of generality we can assume x =. In this case boundary condition (.) can be rewritten as B(s g(s) ) = B(g(s) s ) = f(s) for all s p. It is enough to show that U(s) = B(s g(s) ) f(s) 0 for s p because the other cases can be covered by symmetry i.e. B(s g(s) ) = B(g(s) s ) and B(s g(s) ) = B(g(s) s ). The case p. Let V(s) = U(s p ). Note that V( ) = 0 and V (s) 0 for s. Note also that W(s) = V (s )p s p = (s ) p ( s )p is a concave function for s ( ) and it is nonnegative at the endpoints of this interval. Hence V (s) 0 for s. The case < p <. Note that U(s ) = 0 the function clear that U (s)( + g (s)) = f (s) +g (s) is decreasing and + g (s) > 0 for s p. It is f (s ) + g (s ) f (s) + g (s). Thus we see that U (s) < 0 for s [ p s ) U (s ) = 0 and U (s) > 0 for s (s ). Hence U(s) 0. Lemma. Let B and B be defined as above. Then B( ε p ) = B( ε p ) for all p ( ) and all > ε > 0. Proof. The -homogeneity of the functions B and B implies that it is enough to prove the equality B(ε p ε p ) = B(ε p ε p ). The case p. We show that B(s s ) = B(s s ) for all s p. Take an arbitrary s ( p ). Consider the points A = ( p p ) and D(s) = (s s /p p ). Clearly A D(s) Λ. Let L s (x) be a linear function such that L s (A) = B(A) = 0 and L s (D(s)) = B(D(s)) = ( / + s /p ) p. The concavity of B implies that B L on the chord [A D(s)] joining the points A and D(s). On the other hand one can easily see that for all a > 0 there exists sufficiently large s such that L s (x) B(x) < a for the points x belonging to the chord [A D(s)]. The continuity of B and B proves the assertion. The case < p <. Consider the points A = (s g(s ) ) and D = (g(s ) s ). Clearly A D Λ. Let L(x) be a linear function such that L(A) = B(A) = f(s ) and L(D) = B(D) = f(s ). The concavity of B implies that B(x) L(x) on the chord [A D] joining the points A and D. On the other hand one can easily see that B(x) = L(x) for the points x belonging to the chord [A D]. Thus the fact (ε p ε p ) [A D] which follows from the equality ε p = s + g(s ) finishes the proof. References [] K. Ball E. A. Carlen and E. H. Lieb Sharp uniform convexity and smoothness inequalities for trace norms Invent. Math. 5 (994) no [] J. A. Clarkson Uniformly convex spaces Trans. Amer. Math. Soc 40 (96) no [] O. Hanner On the uniform convexity of L p and l p Ark. Mat. (956) [4] P. Ivanisvili Inequality for Burkholder s martingale transform Anal. PDE 8 (05) no [5] P. Ivanisvili N. Osipov D. Stolyarov V. Vasyunin and P. Zatitskiy Bellman function for extremal problems in BMO Trans. Amer. Math. Soc. 68 (06) no [6] P. Ivanisvili D. Stolyarov V. Vasyunin and P. Zatitskiy Bellman function for extremal problems in BMO II: Evolution Mem. Amer. Math. Soc. to appear. Download Date /4/8 6: AM
for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationarxiv: v1 [math.ca] 31 Dec 2014
INEQUALITIES FOR BMO ON -TREES LEONID SLAVIN AND VASILY VASYUNIN arxiv:150100097v1 [mathca] 31 Dec 2014 Abstract We develop technical tools that enable the use of Bellman functions for BMO defined on -trees,
More informationClarkson Inequalities With Several Operators
isid/ms/2003/23 August 14, 2003 http://www.isid.ac.in/ statmath/eprints Clarkson Inequalities With Several Operators Rajendra Bhatia Fuad Kittaneh Indian Statistical Institute, Delhi Centre 7, SJSS Marg,
More informationChapter 2 Convex Analysis
Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS C. Sonoc Abstract: A sufficient condition for uniqueness of solutions of ordinary
More informationarxiv: v3 [math.dg] 19 Jun 2017
THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS OF PLANAR CURVES arxiv:160505361v3 [mathdg] 19 Jun 017 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Abstract In this paper we study global properties
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationFENCHEL DUALITY, FITZPATRICK FUNCTIONS AND MAXIMAL MONOTONICITY S. SIMONS AND C. ZĂLINESCU
FENCHEL DUALITY, FITZPATRICK FUNCTIONS AND MAXIMAL MONOTONICITY S. SIMONS AND C. ZĂLINESCU This paper is dedicated to Simon Fitzpatrick, in recognition of his amazing insights ABSTRACT. We show in this
More informationConvex Functions. Pontus Giselsson
Convex Functions Pontus Giselsson 1 Today s lecture lower semicontinuity, closure, convex hull convexity preserving operations precomposition with affine mapping infimal convolution image function supremum
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationMath 5052 Measure Theory and Functional Analysis II Homework Assignment 7
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked
More informationGeometric and isoperimetric properties of sets of positive reach in E d
Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space
More informationLet D = R R and let V : D R be a function, not necessarily Borel or
Chapter 2 Burkholder s Method We start by introducing the main tool which will be used in the study of semimartingale inequalities. For the sake of clarity, in this chapter we focus on the description
More informationCHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.
1 ECONOMICS 594: LECTURE NOTES CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS W. Erwin Diewert January 31, 2008. 1. Introduction Many economic problems have the following structure: (i) a linear function
More informationExtreme Abridgment of Boyd and Vandenberghe s Convex Optimization
Extreme Abridgment of Boyd and Vandenberghe s Convex Optimization Compiled by David Rosenberg Abstract Boyd and Vandenberghe s Convex Optimization book is very well-written and a pleasure to read. The
More informationNOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017
NOTES ON VECTOR-VALUED INTEGRATION MATH 58, SPRING 207 Throughout, X will denote a Banach space. Definition 0.. Let ϕ(s) : X be a continuous function from a compact Jordan region R n to a Banach space
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationFlux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks
Flux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks C. Imbert and R. Monneau June 24, 2014 Abstract We study Hamilton-Jacobi equations on networks in the case where Hamiltonians
More informationEnergy method for wave equations
Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationLagrangian Duality and Convex Optimization
Lagrangian Duality and Convex Optimization David Rosenberg New York University February 11, 2015 David Rosenberg (New York University) DS-GA 1003 February 11, 2015 1 / 24 Introduction Why Convex Optimization?
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
More informationOn Discontinuous Differential Equations
On Discontinuous Differential Equations Alberto Bressan and Wen Shen S.I.S.S.A., Via Beirut 4, Trieste 3414 Italy. Department of Informatics, University of Oslo, P.O. Box 18 Blindern, N-316 Oslo, Norway.
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationON THE MODULI OF CONVEXITY
ON THE MODULI OF CONVEXITY A. J. GUIRAO AND P. HAJEK Abstract. It is known that, given a Banach space (X, ), the modulus of convexity associated to this space δ X is a non-negative function, nondecreasing,
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationIn English, this means that if we travel on a straight line between any two points in C, then we never leave C.
Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationBoundary value problems for the infinity Laplacian. regularity and geometric results
: regularity and geometric results based on joint works with Graziano Crasta, Roma La Sapienza Calculus of Variations and Its Applications - Lisboa, December 2015 on the occasion of Luísa Mascarenhas 65th
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationGinés López 1, Miguel Martín 1 2, and Javier Merí 1
NUMERICAL INDEX OF BANACH SPACES OF WEAKLY OR WEAKLY-STAR CONTINUOUS FUNCTIONS Ginés López 1, Miguel Martín 1 2, and Javier Merí 1 Departamento de Análisis Matemático Facultad de Ciencias Universidad de
More informationA sharp Rogers Shephard type inequality for Orlicz-difference body of planar convex bodies
Proc. Indian Acad. Sci. (Math. Sci. Vol. 124, No. 4, November 2014, pp. 573 580. c Indian Academy of Sciences A sharp Rogers Shephard type inequality for Orlicz-difference body of planar convex bodies
More informationA PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS
A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS EMANUELA RADICI Abstract. We prove that a planar piecewise linear homeomorphism ϕ defined on the boundary of the square can be extended
More informationA note on the convex infimum convolution inequality
A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More information1 An Elementary Introduction to Monotone Transportation
An Elementary Introduction to Monotone Transportation after K. Ball [3] A summary written by Paata Ivanisvili Abstract We outline existence of the Brenier map. As an application we present simple proofs
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationConvex analysis and profit/cost/support functions
Division of the Humanities and Social Sciences Convex analysis and profit/cost/support functions KC Border October 2004 Revised January 2009 Let A be a subset of R m Convex analysts may give one of two
More informationLecture 2: Convex functions
Lecture 2: Convex functions f : R n R is convex if dom f is convex and for all x, y dom f, θ [0, 1] f is concave if f is convex f(θx + (1 θ)y) θf(x) + (1 θ)f(y) x x convex concave neither x examples (on
More informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More information1 Convexity explains SVMs
1 Convexity explains SVMs The convex hull of a set is the collection of linear combinations of points in the set where the coefficients are nonnegative and sum to one. Two sets are linearly separable if
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationHalf of Final Exam Name: Practice Problems October 28, 2014
Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationDIMENSION FREE PROPERTIES OF STRONG MUCKENHOUPT AND REVERSE HÖLDER WEIGHTS FOR RADON MEASURES
DIMENSION FEE POPETIES OF STONG MUCKENHOUPT AND EVESE HÖLDE WEIGHTS FO ADON MEASUES O BEZNOSOVA AND A EZNIKOV ABSTACT In this paper we prove self-improvement properties of strong Muckenhoupt and everse
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationNOTES ON CALCULUS OF VARIATIONS. September 13, 2012
NOTES ON CALCULUS OF VARIATIONS JON JOHNSEN September 13, 212 1. The basic problem In Calculus of Variations one is given a fixed C 2 -function F (t, x, u), where F is defined for t [, t 1 ] and x, u R,
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationPCA sets and convexity
F U N D A M E N T A MATHEMATICAE 163 (2000) PCA sets and convexity by Robert K a u f m a n (Urbana, IL) Abstract. Three sets occurring in functional analysis are shown to be of class PCA (also called Σ
More informationOptimality conditions in global optimization and their applications
Math. Program., Ser. B DOI 0.007/s007-007-042-4 FULL LENGTH PAPER Optimality conditions in global optimization and their applications A. M. Rubinov Z. Y. Wu Received: 5 September 2005 / Accepted: 5 January
More informationGEOMETRICAL PROOF OF NEW STEFFENSEN S INEQUALITY AND APPLICATIONS
Available online at http://scik.org Adv. Inequal. Appl. 214, 214:23 ISSN: 25-7461 GEOMETRICAL PROOF OF NEW STEFFENSEN S INEQUALITY AND APPLICATIONS MOHAMMED M. IDDRISU 1,, CHRISTOPHER A. OKPOTI 2, KAZEEM
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationOn the infinity Laplace operator
On the infinity Laplace operator Petri Juutinen Köln, July 2008 The infinity Laplace equation Gunnar Aronsson (1960 s): variational problems of the form S(u, Ω) = ess sup H (x, u(x), Du(x)). (1) x Ω The
More informationTHE TWO-PHASE MEMBRANE PROBLEM REGULARITY OF THE FREE BOUNDARIES IN HIGHER DIMENSIONS. 1. Introduction
THE TWO-PHASE MEMBRANE PROBLEM REGULARITY OF THE FREE BOUNDARIES IN HIGHER DIMENSIONS HENRIK SHAHGHOLIAN, NINA URALTSEVA, AND GEORG S. WEISS Abstract. For the two-phase membrane problem u = λ + χ {u>0}
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationBonnesen s inequality for John domains in R n
Bonnesen s inequality for John domains in R n Kai Rajala Xiao Zhong Abstract We prove sharp quantitative isoperimetric inequalities for John domains in R n. We show that the Bonnesen-style inequalities
More informationLevel-set convex Hamilton-Jacobi equations on networks
Level-set convex Hamilton-Jacobi equations on networks C. Imbert and R. Monneau January 17, 2014 Abstract The paper deals with Hamilton-Jacobi equations on networks with level-set convex (in the gradient
More information1 Cheeger differentiation
1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationMODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS
MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS HIROAKI AIKAWA Abstract. Let D be a bounded domain in R n with n 2. For a function f on D we denote by H D f the Dirichlet solution, for the Laplacian,
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationAn example related to Whitney extension with almost minimal C m norm
An example related to Whitney extension with almost minimal C m norm Charles Fefferman and Bo az Klartag Department of Mathematics Princeton University Washington Road Princeton, NJ 8544, USA Abstract
More informationAppendix E : Note on regular curves in Euclidean spaces
Appendix E : Note on regular curves in Euclidean spaces In Section III.5 of the course notes we posed the following question: Suppose that U is a connected open subset of R n and x, y U. Is there a continuous
More informationNOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS
NOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS SAMEER CHAVAN Abstract. This is the first part of Notes on Multivariable Calculus based on the classical texts [6] and [5]. We present here the geometric
More informationRichard F. Bass Krzysztof Burdzy University of Washington
ON DOMAIN MONOTONICITY OF THE NEUMANN HEAT KERNEL Richard F. Bass Krzysztof Burdzy University of Washington Abstract. Some examples are given of convex domains for which domain monotonicity of the Neumann
More informationConvex Analysis and Economic Theory AY Elementary properties of convex functions
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory AY 2018 2019 Topic 6: Convex functions I 6.1 Elementary properties of convex functions We may occasionally
More informationLIPSCHITZ SLICES AND THE DAUGAVET EQUATION FOR LIPSCHITZ OPERATORS
LIPSCHITZ SLICES AND THE DAUGAVET EQUATION FOR LIPSCHITZ OPERATORS VLADIMIR KADETS, MIGUEL MARTÍN, JAVIER MERÍ, AND DIRK WERNER Abstract. We introduce a substitute for the concept of slice for the case
More informationSome Background Math Notes on Limsups, Sets, and Convexity
EE599 STOCHASTIC NETWORK OPTIMIZATION, MICHAEL J. NEELY, FALL 2008 1 Some Background Math Notes on Limsups, Sets, and Convexity I. LIMITS Let f(t) be a real valued function of time. Suppose f(t) converges
More informationMass transportation methods in functional inequalities and a new family of sharp constrained Sobolev inequalities
Mass transportation methods in functional inequalities and a new family of sharp constrained Sobolev inequalities Robin Neumayer Abstract In recent decades, developments in the theory of mass transportation
More informationAliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
More informationConvex Functions and Optimization
Chapter 5 Convex Functions and Optimization 5.1 Convex Functions Our next topic is that of convex functions. Again, we will concentrate on the context of a map f : R n R although the situation can be generalized
More information