Winter School

Abstracts

Richard M. Aron, Department of Mathematical Sciences, Kent State University, Kent, Ohio, USA

    3 lectures


Norm attaining operators
We describe work with D. García, D. Pellegrino, and E. Teixeira studying the so-called weak maximizing property (wmp) of operators between Banach spaces. A pair of Banach spaces $(E,F)$ has the wmp means that if $T\in\mathcal L(E,F)$ is such that it has a non-weakly null norm-one maximizing sequence, then $T$ attains its norm. We investigate the relation of this property to norm attainment of linear and polynomial operators.

Analytic structure in fibers of $\mathcal H^\infty(B_{c_0})$
We describe recent work with V. Dimant, S. Lassalle, M. Maestre, and others about the fiber structure of the set of homomorphisms (i.e. maximal ideal space) for the algebras $A_u(B)$, resp. $H^\infty(B)$, of uniformly continuous holomorphic functions, resp. bounded holomorphic functions, on the open unit ball $B$ of a complex Banach space $X$. We pay particular attention to the case $X=c_0$, providing (reasonably) good, complete information about cluster sets, the structure of the fibers, and Gleason parts for these algebras.

Olga Maleva, School of Mathematics, University of Birmingham, Birmingham, UK

    3 lectures


A dichotomy of sets via typical differentiability
The classical Rademacher Theorem guarantees that every set of positive Lebesgue measure in a finite-dimensional Euclidean space contains points of differentiability of every Lipschitz (real-valued) function defined on the whole space. A major direction in geometric measure theory research of the last two decades was to explore to what extent this is true for Lebesgue null subsets of finite-dimensional spaces. First, Zahorski showed in the 1940s that for any null subset N of R there is a Lipschitz function defined on R nowhere differentiable in N. In contrast, Preiss proved in 1990 that every finite-dimensional space of dimension at least 2 has Lebesgue null subsets S such that every Lipschitz function on the whole space has points of differentiability in S. Sets with the latter property are called universal differentiability sets (UDS), and examples with additional important features (such as closed of Minkowski dimension 1) of such sets were constructed in joint works with Dore and with Dymond.
But if there exists a Lipschitz function nowhere differentiable on a given set N, one naturally wonders what happens with a typical (in the sense of Baire category) Lipschitz function on N. In these lectures, I will present a recent joint work with Dymond, where we show how a question of differentiability of a typical Lipschitz function inside a given analytic subset of a finite-dimensional space is settled. Namely, we give a complete characterisation of the sets in which a typical 1-Lipschitz function has points of differentiability: these are the sets which cannot be covered by an F-sigma purely unrectifiable set. We also show that for all remaining sets a typical 1-Lipschitz function is nowhere differentiable, even directionally, at each point. The proof involves a topological Banach-Mazur game, an introduction to which will also be given in these lectures.

José Orihuela, Departamento de Matemáticas, Universidad de Murcia, Murcia, Spain

    3 lectures


Compactness, Optimality and Risk
One of the most important achievements in optimisation in Banach space theory is the James's weak compactness theorem. It says that a weakly closed subset $A$ of a Banach space $E$ is weakly compact if, and only if, every linear form $x^*\in E^*$ attains its supremum over $A$ at some point of $A$. We propose a tour around it with three lectures in the natural framework of variational analysis. Of course, we shall bring related open questions in every one of them. We will concentrate on recent extensions of James's theorem. Among them we shall study the following one:
Theorem 1. Let $A$ be a closed, convex, bounded and not weakly compact subset of a Banach space $E$. Let us fix a convex and weakly compact subset $D$ of $E$, a functional $z^*_0 \in E^*$ and $\epsilon>0$. Then there is a linear form $x^*_0\in B_{p_W}(z^*_0, \epsilon)$, i.e. $$|x^*_0(d)-z^*_0(d)|<\epsilon$$ for all $d\in D$, which does not attain its supremum on $A$. Moreover, if $z^*_0(A)<0$ the same can be provided for the former non attaining linear form : $x^*_0(A)<0$ (one sided James's theorem).
In the first lecture we shall concentrate in the case of Banach spaces with $w^*$-sequentially compact dual unit ball. We shall present one-sided versions of the well known results by Bishop and Phelps, Simons, Fonf and Lindenstrauss, which play their job and go back to ideas of a joint work with B. Cascales and A. Pérez. (2017), finishing with new versions of the classical James's theorem (preprint 2019).
In the second lecture we shall provide techniques for a proof of Theorem 1 in arbitrary Banach spaces. Our approach comes from Ruíz Galán and Simons and it goes back to the Pryce's undetermined function technique. We will show the strong connection of James theorem with variational principles and optimisation theory. In order to do it, we will study unbounded versions of the former results. The first case should be the epigraph of a weakly lower semicontinuous function $$\alpha: E\longrightarrow (-\infty, +\infty],$$ where we shall see that $\partial \alpha(E)=E^*$ if, and only if, the level sets $\{\alpha \leq c\}$ are weakly compact (the Fenchel conjugate $\alpha^*$ should be finite for the "if" implication), which goes back to ideas of Ruíz Galán, Simons, Calvert and Fitzpatrick we have collected in a joint work with M. Ruíz Galán (2012). Moors deserves special mention here since he has recently obtained a closely related variational principle too. For a coercive function $\alpha$ with non-empty Mackey-interior for $\partial \alpha(E)$ the level sets $\{\alpha \leq c\}$ are weakly compact too (preprint 2019).
In the third lecture we shall present some new applications. We will see that reflexive spaces are the natural frame to develop variational analysis and we will show a robust representation theorem for a {\it risk measure} $\rho: \LL^\infty\longrightarrow \R$ in natural dual pairs appearing in financial mathematics, both applications are based in a joint work with M. Ruíz Galán. We shall study the Mackey topology $\tau(\LL^\infty, \LL^1)$ and a new characterisation for risk measures $\rho$ verifying the Lebesgue dominated convergence theorem, as the expectated value does. The proof of Theorem \ref{theo} together with these applications have been obtained in joint work with F. Delbaen and T. Pennanen ( preprint 2019). We shall finish our programme with $\sigma(E^*,E)$ versions of the discussed results. Indeed, we shall look for conditions that provide $\sigma(E^*,E)$-closedness of norm closed convex (not necessarily bounded) subsets of a dual Banach space $E^*$. One-sided versions of classical Godefroy's results will be presented and new applications considered. Some of them comes from the same joint work with B. Cascales and A. Pérez (2017).

Antonín Slavík, Katedra didaktiky matematiky, Matematicko-fyzikální fakulta, Univerzita Karlova, Praha, Czech Republic

    2 lectures


Kurzweil-Stieltjes integral
We provide a basic overview of the Kurzweil-Stieltjes integral on the real line. This nonabsolutely convergent integral generalises the well-known Henstock-Kurzweil integral, and is useful in the study of ordinary differential equations with discontinuous solutions. We focus on existence theorems, relations to other Stieltjes-type integrals, etc.

Regulated functions
Regulated functions are ubiquitous in the Kurzweil-Stieltjes integration theory. We present some equivalent definitions of regulated functions, and provide a characterisation of relatively compact sets in the Banach space of regulated functions (a counterpart to the Arzela-Ascoli theorem). Finally, we describe continuous linear functionals on the space of regulated functions (analogue of the Riesz representation theorem).