Two ideals connected with strong right upper porosity at a point

Let $SP$ be the set of upper strongly porous at $0$ subsets of $\mathbb R^{+}$ and let $\hat I(SP)$ be the intersection of maximal ideals $I \subseteq SP$. Some characteristic properties of sets $E\in\hat I(SP)$ are obtained. It is shown that the ideal generated by the so-called completely strongly porous at $0$ subsets of $\mathbb R^{+}$ is a proper subideal of $\hat I(SP).$Comment: 18 page

SBV regularity for Hamilton-Jacobi equations in Rn\mathbb R^n

In this paper we study the regularity of viscosity solutions to the following Hamilton-Jacobi equations $$\partial_t u + H(D_{x} u)=0 \qquad \textrm{in} \Omega\subset \mathbb R\times \mathbb R^{n} .$$ In particular, under the assumption that the Hamiltonian $H\in C^2(\mathbb R^n)$ is uniformly convex, we prove that $D_{x}u$ and $\partial_t u$ belong to the class $SBV_{loc}(\Omega)$.Comment: 15 page

A compact null set containing a differentiability point of every Lipschitz function

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is constructed explicitly.Comment: 28 pages; minor modifications throughout; Lemma 4.2 is proved for general Banach space rather than for Hilbert spac

On the number of Mather measures of Lagrangian systems

In 1996, Ricardo Ricardo Ma\~n\'e discovered that Mather measures are in fact the minimizers of a "universal" infinite dimensional linear programming problem. This fundamental result has many applications, one of the most important is to the estimates of the generic number of Mather measures. Ma\~n\'e obtained the first estimation of that sort by using finite dimensional approximations. Recently, we were able with Gonzalo Contreras to use this method of finite dimensional approximation in order to solve a conjecture of John Mather concerning the generic number of Mather measures for families of Lagrangian systems. In the present paper we obtain finer results in that direction by applying directly some classical tools of convex analysis to the infinite dimensional problem. We use a notion of countably rectifiable sets of finite codimension in Banach (and Frechet) spaces which may deserve independent interest

Surfaces Meeting Porous Sets in Positive Measure

Let n>2 and X be a Banach space of dimension strictly greater than n. We show there exists a directionally porous set P in X for which the set of C^1 surfaces of dimension n meeting P in positive measure is not meager. If X is separable this leads to a decomposition of X into a countable union of directionally porous sets and a set which is null on residually many C^1 surfaces of dimension n. This is of interest in the study of certain classes of null sets used to investigate differentiability of Lipschitz functions on Banach spaces