One side James Compactness Theorem



Similar documents
Convex analysis and profit/cost/support functions

Law Invariant Risk Measures have the Fatou Property

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Duality of linear conic problems

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

Separation Properties for Locally Convex Cones

Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

9 More on differentiation

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

1 Norms and Vector Spaces

Error Bound for Classes of Polynomial Systems and its Applications: A Variational Analysis Approach

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space

Mathematical Methods of Engineering Analysis

1 if 1 x 0 1 if 0 x 1

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

Fuzzy Differential Systems and the New Concept of Stability

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES

MINIMIZATION OF ENTROPY FUNCTIONALS UNDER MOMENT CONSTRAINTS. denote the family of probability density functions g on X satisfying

Extremal equilibria for reaction diffusion equations in bounded domains and applications.

A NEW LOOK AT CONVEX ANALYSIS AND OPTIMIZATION

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

Some other convex-valued selection theorems 147 (2) Every lower semicontinuous mapping F : X! IR such that for every x 2 X, F (x) is either convex and

Date: April 12, Contents

A domain of spacetime intervals in general relativity

Max-Min Representation of Piecewise Linear Functions

BANACH AND HILBERT SPACE REVIEW

On the existence of multiple principal eigenvalues for some indefinite linear eigenvalue problems

Metric Spaces. Lecture Notes and Exercises, Fall M.van den Berg

2.3 Convex Constrained Optimization Problems

A new continuous dependence result for impulsive retarded functional differential equations

Metric Spaces. Chapter 1

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Some representability and duality results for convex mixed-integer programs.

Metric Spaces. Chapter Metrics

Introduction to Topology

MA651 Topology. Lecture 6. Separation Axioms.

The Banach-Tarski Paradox

3. Convex functions. basic properties and examples. operations that preserve convexity. the conjugate function. quasiconvex functions

Tail inequalities for order statistics of log-concave vectors and applications

Lecture Notes on Measure Theory and Functional Analysis

Parallel Total Variation Minimization. Diplomarbeit

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

Mathematics for Econometrics, Fourth Edition

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

Fixed Point Theorems For Set-Valued Maps

Chapter 5. Banach Spaces

Notes on metric spaces

Numerical Verification of Optimality Conditions in Optimal Control Problems

Columbia University in the City of New York New York, N.Y

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

Implementation of optimal settlement functions in real-time gross settlement systems

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

Optimal Investment with Derivative Securities

The Markov-Zariski topology of an infinite group

Hedging bounded claims with bounded outcomes

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Cost Minimization and the Cost Function

Advanced Microeconomics

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

1 Introduction, Notation and Statement of the main results

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2

Existence and multiplicity of solutions for a Neumann-type p(x)-laplacian equation with nonsmooth potential. 1 Introduction

Two-Stage Stochastic Linear Programs

Numerisches Rechnen. (für Informatiker) M. Grepl J. Berger & J.T. Frings. Institut für Geometrie und Praktische Mathematik RWTH Aachen

t := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

An optimal transportation problem with import/export taxes on the boundary

Fuzzy Probability Distributions in Bayesian Analysis

University of Miskolc

Pacific Journal of Mathematics

Adaptive Online Gradient Descent

RACSAM. A note on Fréchet-Urysohn locally convex spaces. 1 Introduction. Jerzy Ka kol and M. López Pellicer

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

THE BANACH CONTRACTION PRINCIPLE. Contents

A survey on multivalued integration 1

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Point Set Topology. A. Topological Spaces and Continuous Maps

Walrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.

A FIRST COURSE IN OPTIMIZATION THEORY

Finite speed of propagation in porous media. by mass transportation methods

Transcription:

One side James Compactness Theorem 1 1 Department of Mathematics University of Murcia Topological Methods in Analysis and Optimization. On the occasion of the 70th birthday of Prof. Petar Kenderov

A birthday Theorem P. Kenderov 2003 J. Lindenstrauss 2006 M. Valdivia 2010 W. Schachermayer 2010 J. Borwein 2011 I. Karatzas 2012 F. Delbaen 2012 A. Defant 2013 P. Kenderov 2013 N. Ghoussoub 2013

The coauthors M. Ruiz Galán and J.O. A coercive and nonlinear James s weak compactness theorem Nonlinear Analysis 75 (2012) 598-611. M. Ruiz Galán and J.O. Lebesgue Property for Convex Risk Meausures on Orlicz Spaces Math. Finan. Econ. 6(1) (2012) 15 35. B. Cascales, M. Ruiz Gal an and J.O. Compactness, Optimality and Risk Computational and Analytical Mathematics. Conference in honour of J.M Borwein 60 th birthday. Chapter 10, Springer Verlag 2013, 153 208. B. Cascales and J. O. One side James Theorem Preprint 2013.

Contents Compactness and Optimization. Variational problems and reflexivity. One-side James Theorem. Conic Godefroy s Theorem. Dual variational problems.

Compactness and Optimization Compactness, Convex Analysis and Risk Risk Measures in Orlicz spaces Variational problems and reflexivity One-Perturbation Variational Principle Compact domain ) lsc functions attain their minimum Theorem (Borwein-Fabian-Revalski) Let X be a Hausdorff topological space and : X! ( 1, +1] proper, lsc map s.t. { apple c} is compact for all c 2 R. Then for any proper lsc map f : X! ( 1, +1] bounded from below, the function + f attains its minimum. Theorem (Borwein-Fabian-Revalski) If X is metrizable and : X! ( 1, +1] is a proper function such that for all bounded continuous function f : X! ( 1, +1], the function + f attains its minimum, then is a lsc map, bounded form below, whose sublevel sets { apple c} are all compact An interplay between Topology, Functional Analysis and Risk

Weak Compactness Theorem of R.C. James Theorem A Banach space is reflexive if, and only if, each continuous linear functional attains its supremum on the unit ball Theorem A bounded and weakly closed subset K of a Banach space is weakly compact if, and only if, each continuous linear functional attains its supremum on K R.C. James 1964, 1972, J.D. Pryce 1964, S. Simons 1972, G. Rodé 1981, G. Godefroy 1987, V. Fonf, J. Lindenstrauss, B. Phelps 2000-03, M. Ruiz, S. Simons 2002, B. Cascales, I. Namioka, J.O. 2003, O. Kalenda 2007, the boundary problem...

Weak Compactness Theorem of R.C. James Theorem A Banach space is reflexive if, and only if, each continuous linear functional attains its supremum on the unit ball Theorem A bounded and weakly closed subset K of a Banach space is weakly compact if, and only if, each continuous linear functional attains its supremum on K R.C. James 1964, 1972, J.D. Pryce 1964, S. Simons 1972, G. Rodé 1981, G. Godefroy 1987, V. Fonf, J. Lindenstrauss, B. Phelps 2000-03, M. Ruiz, S. Simons 2002, B. Cascales, I. Namioka, J.O. 2003, O. Kalenda 2007, the boundary problem...

Weak Compactness Theorem of R.C. James Theorem A Banach space is reflexive if, and only if, each continuous linear functional attains its supremum on the unit ball Theorem A bounded and weakly closed subset K of a Banach space is weakly compact if, and only if, each continuous linear functional attains its supremum on K R.C. James 1964, 1972, J.D. Pryce 1964, S. Simons 1972, G. Rodé 1981, G. Godefroy 1987, V. Fonf, J. Lindenstrauss, B. Phelps 2000-03, M. Ruiz, S. Simons 2002, B. Cascales, I. Namioka, J.O. 2003, O. Kalenda 2007, the boundary problem...

The Theorem of James as a minimization problem Let us fix a Banach space E with dual E K is a closed convex set in the Banach space E K (x) =0 if x 2 K and +1 otherwise x 2 E attains its supremum on K at x 0 2 K, k (y) K (x 0 ) x (y x 0 ) for all y 2 E The minimization problem min{ K ( ) x ( )} on E for every x 2 E has always solution if and only if the set K is weakly compact When the minimization problem min{ ( )+x ( )} on E has solution for all x 2 E and a fixed proper function : E! ( 1, +1]?

The Theorem of James as a minimization problem Let us fix a Banach space E with dual E K is a closed convex set in the Banach space E K (x) =0 if x 2 K and +1 otherwise x 2 E attains its supremum on K at x 0 2 K, k (y) K (x 0 ) x (y x 0 ) for all y 2 E The minimization problem min{ K ( ) x ( )} on E for every x 2 E has always solution if and only if the set K is weakly compact When the minimization problem min{ ( )+x ( )} on E has solution for all x 2 E and a fixed proper function : E! ( 1, +1]?

The Theorem of James as a minimization problem Let us fix a Banach space E with dual E K is a closed convex set in the Banach space E K (x) =0 if x 2 K and +1 otherwise x 2 E attains its supremum on K at x 0 2 K, k (y) K (x 0 ) x (y x 0 ) for all y 2 E The minimization problem min{ K ( ) x ( )} on E for every x 2 E has always solution if and only if the set K is weakly compact When the minimization problem min{ ( )+x ( )} on E has solution for all x 2 E and a fixed proper function : E! ( 1, +1]?

Minimizing { (x)+x (x) :x 2 E} Theorem (M. Ruiz and J. O.) Let E be a Banach space, : E! ( semicontinuous) function with (x) lim kxk!1 kxk =+1 1, +1] proper, (lower Suppose that there is c 2 R such that the level set { apple c} fails to be (relatively) weakly compact. Then there is x 2 E such that,the infimum inf x2e {hx, x i + (x)} is not attained.

Minimizing { (x)+x (x) :x 2 E} Theorem (M. Ruiz and J. O.) Let E be a Banach space, : E! ( semicontinuous) function with (x) lim kxk!1 kxk =+1 1, +1] proper, (lower Suppose that there is c 2 R such that the level set { apple c} fails to be (relatively) weakly compact. Then there is x 2 E such that,the infimum inf x2e {hx, x i + (x)} is not attained.

{ apple c} not w.c.) 9x : inf E {x ( )+ ( )} not attained Lemma Let A be a bounded but not relatively weakly compact subset of the Banach space E. If (a n ) A is a sequence without weak cluster point in E, then there is (xn) B E, g 0 = P 1 n=1 nxn with 0 apple n apple 1 for all n 2 N and P 1 n=1 n = 1 such that: for every h 2 l 1 (A), with lim inf n xn(a) apple h(a) apple lim sup xn(a) n for all a 2 A, we will have that g 0 + h doest not attain its minimum on A

{ apple c} not w.c.) 9x : inf E {x ( )+ ( )} not attained Lemma Let A be a bounded but not relatively weakly compact subset of the Banach space E. If (a n ) A is a sequence without weak cluster point in E, then there is (xn) B E, g 0 = P 1 n=1 nxn with 0 apple n apple 1 for all n 2 N and P 1 n=1 n = 1 such that: for every h 2 l 1 (A), with lim inf n xn(a) apple h(a) apple lim sup xn(a) n for all a 2 A, we will have that g 0 + h doest not attain its minimum on A

Maximizing {x (x) (x) :x 2 E} Theorem (M. Ruiz, J. O. and J. Saint Raymond) Let E be a Banach space, : E! ( 1, +1] proper, lower semicontinuous function, then we have: If @ (E) =E then the level sets { apple c} are weakly compact for all c 2 R. If has weakly compact level sets and the Fenchel-Legendre conjugate is finite, i.e. sup{x (x) (x) :x 2 E} < +1 for all x 2 E, then @ (E) =E

Compactness and Optimization Compactness, Convex Analysis and Risk Risk Measures in Orlicz spaces Variational problems and reflexivity Risk meausures Definition A monetary utility function is a concave non-decreasing map U : L 1 (, F, P)! [ 1, +1) with dom(u) ={X : U(X) 2 R} 6= ; and U(X + c) =U(X)+c, for X 2 L 1, c 2 R Defining (X) = U(X) the above definition of monetary utility function yields the definition of a convex risk measure.both U, are called coherent if U(0) =0, U( X) = U(X) for all > 0, X 2 L 1 An interplay between Topology, Functional Analysis and Risk

Compactness and Optimization Compactness, Convex Analysis and Risk Risk Measures in Orlicz spaces Variational problems and reflexivity Representing risk measures Theorem A convex (resp. coherent) risk measure : L 1 (, F, P)! R admits a representation (X) =sup{µ( X) (µ) :µ 2 ba,µ 0µ( ) =1} (resp. (X) =sup{µ( X) :µ 2 S {µ 2 ba,µ 0,µ( ) =1}}) If in addition is (L 1, L 1 )-lower semicontinuous we have: (X) =sup{e Q ( X) (Q) :Q << P and E P (dq/dp) =1}} (resp. (X) =sup{e Q ( X)) : Q 2 {Q << P and E P (dq/dp) =1}}) An interplay between Topology, Functional Analysis and Risk

Minimizing { (Y )+E(X Y ):Y 2 L 1 } Theorem (Jouini-Schachermayer-Touzi) Let U : L 1 (, F, P)! R be a monetary utility function with the Fatou property and U : L 1 (, F, P)! [0, 1] its Fenchel-Legendre transform. They are equivalent: 1 {U apple c} is (L 1, L 1 )-compact subset for all c 2 R 2 For every X 2 L 1 the infimum in the equality is attained U(X) = inf Y 2L 1 {U (Y )+E[XY ]}, 3 For every uniformly bounded sequence (X n ) tending a.s. to X we have lim U(X n)=u(x). n!1

Order Continuity of Risk Measures Theorem (Lebesgue Risk Measures on Orlicz spaces) Let (X) =sup Y 2M {E P [ XY ] (Y )} be a finite convex risk measure on L with :(L (, F, P)! ( 1, +1] a penalty function w -lower semicontinuos. T.F.A.E.: (i) For all c 2 R, 1 (( 1, c]) is a relatively weakly compact subset of M (, F, P). (ii) For every X 2 L (, F, P), the supremum in the equality is attained. (X) = sup {E P [ XY ] (Y )} Y 2M (iii) is sequentially order continuous

Applications to nonlinear variational problems Theorem (Reflexivity frame) Let E be a real Banach space and : E! R [ {+1} a a function such that dom( ) has nonempty interior and for all x 2 E there exists x 0 2 E with Then E is reflexive. (x 0 )+x (x 0 )= inf x2e { (x)+x (x)}

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

[@ (E) =E ] ) E = E Fix an open ball B dom( ) B = S +1 p=1 B \ 1 (( 1, p]) (E,E ) Baire Category Theorem ) there is q 2 N : B \ 1 (( 1, q]) (E,E ) has non void interior relative to B There is G open in E such that ;6= B \ G B \ 1 (( 1, q]) (E,E ) 1 (( inf, q]) (E,E ) weakly compact ) G contains an open relatively weakly compact ball B E is weakly compact

Applications to nonlinear variational problems Given an operator : E! E it is said to be monotone provided that for all x, y 2 E, ( x y)(x y) 0, and symmetric if for all x, y 2 E, < (x), y >=< (y), x > Corollary A real Banach space E is reflexive whenever there exists a monotone, symmetric and surjective operator : E! E Question Let E be a real Banach space and : E! 2 E a monotone multivalued map with non void interior domain. [ (E) =E ] ) E = E?

Applications to nonlinear variational problems Given an operator : E! E it is said to be monotone provided that for all x, y 2 E, ( x y)(x y) 0, and symmetric if for all x, y 2 E, < (x), y >=< (y), x > Corollary A real Banach space E is reflexive whenever there exists a monotone, symmetric and surjective operator : E! E Question Let E be a real Banach space and : E! 2 E a monotone multivalued map with non void interior domain. [ (E) =E ] ) E = E?

Sup-limsup Theorem Theorem (Simons) Let be a set and (z n ) n a uniformly bounded sequence in `1( ). If is a subset of such that for every sequence of positive numbers ( n ) n with P 1 n=1 n = 1 there exists b 2 such that then we have: 1X sup{ sup 2 n=1 lim sup k!1 nz n (y) :y 2 } = x k ( )=sup 2 1X n=1 nz n (b), lim sup x k ( ) k!1

Sup-limsup Theorem Theorem (Simons) Let be a set and (z n ) n a uniformly bounded sequence in `1( ). If is a subset of such that for every sequence of positive numbers ( n ) n with P 1 n=1 n = 1 there exists b 2 such that then we have: 1X sup{ sup 2 n=1 lim sup k!1 nz n (y) :y 2 } = x k ( )=sup 2 1X n=1 nz n (b), lim sup x k ( ) k!1

Weak Compactness through Sup limsup Theorem Theorem Let E be a separable Banach space and K E a closed convex and bounded subset. They are equivalent: 1 K is weakly compact. 2 For every sequence (x n) B E we have sup k2k {lim sup xn(k)} = sup {lim sup xn(apple)} n!1 apple2k w n!1

Sup limsup Theorem ) Compactness If K is not weakly compact there is x0 2 K w E with x0 /2 E The Hahn Banach Theorem provide us x 2 B E \ E? with x (x0 )= > 0 The separability of E, Ascoli s and Bipolar Theorems permit to construct a sequence (xn) B E such that: 1 lim n!1 xn (x) =0 for all x 2 E 2 xn (x0 ) > /2 for all n 2 N Then 0 = sup{ lim x k2k n!1 n(k)} = sup{lim sup xn(k)} k2k n!1 = sup {lim sup xn(v )} = lim sup xn(x 0 ) /2 > 0 v 2K w n!1 n!1

Sup limsup Theorem ) Compactness If K is not weakly compact there is x0 2 K w E with x0 /2 E The Hahn Banach Theorem provide us x 2 B E \ E? with x (x0 )= > 0 The separability of E, Ascoli s and Bipolar Theorems permit to construct a sequence (xn) B E such that: 1 lim n!1 xn (x) =0 for all x 2 E 2 xn (x0 ) > /2 for all n 2 N Then 0 = sup{ lim x k2k n!1 n(k)} = sup{lim sup xn(k)} k2k n!1 = sup {lim sup xn(v )} = lim sup xn(x 0 ) /2 > 0 v 2K w n!1 n!1

Sup limsup Theorem ) Compactness If K is not weakly compact there is x0 2 K w E with x0 /2 E The Hahn Banach Theorem provide us x 2 B E \ E? with x (x0 )= > 0 The separability of E, Ascoli s and Bipolar Theorems permit to construct a sequence (xn) B E such that: 1 lim n!1 xn (x) =0 for all x 2 E 2 xn (x0 ) > /2 for all n 2 N Then 0 = sup{ lim x k2k n!1 n(k)} = sup{lim sup xn(k)} k2k n!1 = sup {lim sup xn(v )} = lim sup xn(x 0 ) /2 > 0 v 2K w n!1 n!1

Sup limsup Theorem ) Compactness If K is not weakly compact there is x0 2 K w E with x0 /2 E The Hahn Banach Theorem provide us x 2 B E \ E? with x (x0 )= > 0 The separability of E, Ascoli s and Bipolar Theorems permit to construct a sequence (xn) B E such that: 1 lim n!1 xn (x) =0 for all x 2 E 2 xn (x0 ) > /2 for all n 2 N Then 0 = sup{ lim x k2k n!1 n(k)} = sup{lim sup xn(k)} k2k n!1 = sup {lim sup xn(v )} = lim sup xn(x 0 ) /2 > 0 v 2K w n!1 n!1

Weak Compactness through I-generation Theorem (Fonf and Lindenstrauss) Let E be a separable Banach space and K E a closed convex and bounded subset. They are equivalent: 1 K is weakly compact. 2 For any covering K [ 1 n=1 D n by an increasing sequence of closed convex subsets D n K, we have [ 1 n D n w k k = K w. The proof uses Krein Milman and Bishop Phelps theorems

Fonf-Lindenstrauss = Simons Theorem (Cascales, Fonf, Troyanski and J.O., J.F.A.-2010) Let E be a Banach space, K E be w B K, TFAE: compact convex, 1 For any covering B [ 1 n=1 D n by an increasing sequence of convex subsets D n K, we have 1[ n=1 k k w D n = K. 2 sup f 2B (lim sup k f (x k )) = sup g2k (lim sup k g(x k )) for every sequence {x k } B X. 3 sup f 2B (lim sup k f (x k )) inf P i =1, i 0(sup g2k g( P ix i )) for every sequence {x k } B X.

Fonf-Lindenstrauss = Simons Theorem (Cascales, Fonf, Troyanski and J.O., J.F.A.-2010) Let E be a Banach space, K E be w B K, TFAE: compact convex, 1 For any covering B [ 1 n=1 D n by an increasing sequence of convex subsets D n K, we have 1[ n=1 k k w D n = K. 2 sup f 2B (lim sup k f (x k )) = sup g2k (lim sup k g(x k )) for every sequence {x k } B X. 3 sup f 2B (lim sup k f (x k )) inf P i =1, i 0(sup g2k g( P ix i )) for every sequence {x k } B X.

Fonf-Lindenstrauss = Simons Theorem (Cascales, Fonf, Troyanski and J.O., J.F.A.-2010) Let E be a Banach space, K E be w B K, TFAE: compact convex, 1 For any covering B [ 1 n=1 D n by an increasing sequence of convex subsets D n K, we have 1[ n=1 k k w D n = K. 2 sup f 2B (lim sup k f (x k )) = sup g2k (lim sup k g(x k )) for every sequence {x k } B X. 3 sup f 2B (lim sup k f (x k )) inf P i =1, i 0(sup g2k g( P ix i )) for every sequence {x k } B X.

F. Delbaen problem Let C be a convex, bounded and closed, but not weakly compact subset of the Banach space E with 0 /2 C. The following problem has been posed by F. Delbaen motivated by risk measures theory: Question Is it possible to find a linear functional not attaining its minimum on C and that stays strictly positive on C? Example (R. Haydon) In every non reflexive Banach space there is a closed, convex and bounded subset C with non void interior and 0 /2 C such that every linear form x 2 E such that x (C) > 0 attains its minimum on C.

F. Delbaen problem Let C be a convex, bounded and closed, but not weakly compact subset of the Banach space E with 0 /2 C. The following problem has been posed by F. Delbaen motivated by risk measures theory: Question Is it possible to find a linear functional not attaining its minimum on C and that stays strictly positive on C? Example (R. Haydon) In every non reflexive Banach space there is a closed, convex and bounded subset C with non void interior and 0 /2 C such that every linear form x 2 E such that x (C) > 0 attains its minimum on C.

F. Delbaen problem Let C be a convex, bounded and closed, but not weakly compact subset of the Banach space E with 0 /2 C. The following problem has been posed by F. Delbaen motivated by risk measures theory: Question Is it possible to find a linear functional not attaining its minimum on C and that stays strictly positive on C? Example (R. Haydon) In every non reflexive Banach space there is a closed, convex and bounded subset C with non void interior and 0 /2 C such that every linear form x 2 E such that x (C) > 0 attains its minimum on C.

Positive results Theorem (Birthday s Theorem) Let E be a separable Banach space. Let C be a closed, convex and bounded subset of E \{0}, D C a relatively weakly compact set of directions such that, for every x 2 E, we have that inf{x (c) :c 2 C} is attained at some point of C whenever Then C is weakly compact. x (d) > 0 for every d 2 D.

Positive results Theorem (Birthday s Theorem) Let E be a separable Banach space. Let C be a closed, convex and bounded subset of E \{0}, D C a relatively weakly compact set of directions such that, for every x 2 E, we have that inf{x (c) :c 2 C} is attained at some point of C whenever Then C is weakly compact. x (d) > 0 for every d 2 D.

Unbounded Simon s inequality Theorem (Simons s Theorem in R X ) Let X be a nonempty set, let (f n ) be a pointwise bounded sequence in R X and let Y be a subset of X such that for every g 2 co p {f n : n 1} there exists y 2 Y with g(y) =sup{g(x) :x 2 X}. Then the following statements hold true: inf{sup g(x) :g 2 co p {f n : n x2x 1}} apple sup(lim sup f n (y)) (1) y2y n and sup{lim sup n f n (x) :x 2 X} = sup{lim sup f n (y) :y 2 Y }. (2) n

Unbounded Rainwater s Theorem Theorem (Unbounded Rainwater-Simons s theorem) If E is a Banach space, B C are nonempty subsets of E and (x n ) is a bounded sequence in E such that for every x 2 co {x n : n 1} there exists b 2 B with hx, b i = sup{hx, c i : c 2 C}, then sup b 2B lim suphx n, b i n = sup c 2C lim suphx n, c i n. As a consequence (E, B) lim n x n = 0 ) (E, C) lim n x n = 0.

Unbounded Godefroy s Theorem Theorem (Unbounded Godefroy s Theorem) Let E a Banach space and B a nonempty subset of E. Let us assume there is a relatively weakly compact subset D E such that: 1 0 /2 co(b [ D) k k 2 For every x 2 E with x(d ) < 0 for all d 2 D we have sup{x(c ):c 2 B} = x(b ) for some b 2 B. 3 For every convex bounded subset L E and every Then x 2 L (E,B[D w ) there is a sequence (xn ) in L such that hx, z i = lim n hx n, z i for every z 2 B [ D w co(b) w [ {co(b) k k + co(d) k k : 2 [0, +1)}.

Conic Godefroy s Theorem Theorem (Conic Godefroy s Theorem) Let E a Banach space and B a nonempty subset of E. Let us assume 0 /2 co(b) k k and fix D B, a relatively weakly compact set so that: 1 For every x 2 E with x(d ) > 0 for every d 2 D, we have inf{x(c ):c 2 B} = x(b ) > 0 for some b 2 B. 2 For every convex bounded subset L E, and every x 2 L (E,B[D w ), there is a sequence (xn ) in L such that hx, z i = lim n hx n, z i, for every z 2 B [ D w. Then the norm closed convex truncated cone C generated by B, i.e. C := S { co(b) : 2 [1 + 1)} k k, is w -closed.

Dual variational problems Theorem Let E be a separable Banach space without copies of `1(N), f : E! R [ {+1} norm lower semicontinuous, convex and proper map, such that for all x 2 E, x f attains its supremum on E. Then the map f is w -lower semicontinuous and for every µ 2 R, the sublevel set f 1 (( 1,µ]) is w -compact.

Dual variational problems Theorem Let E be a Banach space, f : E! R [ {+1} convex, proper and lower semicontinuous map with either a weakly Lindelöf- or a strongly pseudocompact epigraph, such that for all x 2 E, x f attains its supremum on E. Then f is w -lower semicontinuous and for every µ 2 R, the sublevel set f 1 (( 1,µ]) is w -compact.

Dual variational problems Theorem Let E be a Banach space without copies of `1(N), f : E! R [ {+1} convex, proper and norm lower semicontinuous map with w -K-analytic epigraph, such that for all x 2 E, x f attains its supremum on E. Then f is w -lower semicontinuous and for every µ 2 R, the sublevel set f 1 (( 1,µ]) is w -compact.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.

THANK YOU VERY MUCH FOR YOUR ATTENTION AND MY FAVORITE POEM FOR PETAR: Cultivo la rosa blanca I grow the white rose tanto en julio como en enero, as much in July as January, para el amigo sincero for the real friend que me da su mano franca. who gives me his frank hand. Y para el cruel que arranca And for the cruel who drags el corazón con que vivo, the heart with I am living, cardo ni oruga cultivo neither thistle or larve I am growing cultivo la rosa blanca. I grow the white rose.