We expose different methods of regularizations of subsolutions in the context of discrete weak KAM theory. They allow to prove the existence and the density of $C^{1,1}$ subsolutions. Moreover, these subsolutions can be made strict and smooth outside of the Aubry set.

The squared distance curvature is a kind of two-point curvature the sign of which turned out crucial for the smoothness of optimal transportation maps on Riemannian manifolds. Positivity properties of that new curvature have been established recently for all the simply connected compact rank one symmetric spaces, except the Cayley plane. Direct proofs were given for the sphere, an indirect one via the Hopf fibrations) for the complex and quaternionic projective spaces. Here, we present a direct proof of a property implying all the preceding ones, valid on every positively curved Riemannian locally symmetric space.

A body moves in a rarefied medium composed of point particles at rest. The particles make elastic reflections when colliding with the body surface, and do not interact with each other. We consider a generalization of Newton's minimal resistance problem: given two bounded convex bodies $C_1$ and $C_2$ such that $C_1 \subset C_2 \subset \mathbb{R}^3$ and $\partial C_1 \cap \partial C_2 = \emptyset$, minimize the resistance in the class of connected bodies $B$ such that $C_1 \subset B \subset C_2$. We prove that the infimum of resistance is zero; that is, there exist "almost perfectly streamlined" bodies.

The regularity of solutions to optimal transportation problems has become a hot topic in current research. It is well known by now that the optimal measure may not be concentrated on the graph of a continuous mapping unless both the transportation cost and the masses transported satisfy very restrictive hypotheses (including sign conditions on the mixed fourth-order derivatives of the cost function). The purpose of this note is to show that in spite of this, the optimal measure is supported on a Lipschitz manifold, provided only that the cost is $C^{2}$ with non-singular mixed second derivative. We use this result to provide a simple proof that solutions to Monge's optimal transportation problem satisfy a change of variables equation almost everywhere.

We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded sectional curvature.

The space of Monge-Ampère functions, introduced by J. H. G. Fu, is a space of rather rough functions in which the map $u\mapsto \operatorname{Det} D^2 u$ is well defined and weakly continuous with respect to a natural notion of weak convergence. We prove a rigidity theorem for Lagrangian integral currents that allows us to extend the original definition of Monge-Ampère functions. We also prove that if a Monge-Ampère function $u$ on a bounded set $\Omega\subset\mathcal{R}^2$ satisfies the equation $\operatorname{Det} D^2 u=0$ in a particular weak sense, then the graph of $u$ is a developable surface, and moreover $u$ enjoys somewhat better regularity properties than an arbitrary Monge-Ampère function of $2$ variables.

We explicitly describe the best approximation in geodesic submanifolds of positive definite matrices obtained from involutive congruence transformations on the Cartan-Hadamard manifold ${\mathrm{Sym}}(n,{\Bbb R})^{++}$ of positive definite matrices. An explicit calculation for the minimal distance function from the geodesic submanifold ${\mathrm{Sym}}(p,{\mathbb R})^{++}\times {\mathrm{Sym}}(q,{\mathbb R})^{++}$ block diagonally embedded in ${\mathrm{Sym}}(n,{\mathbb R})^{++}$ is given in terms of metric and spectral geometric means, Cayley transform, and Schur complements of positive definite matrices when $p\leq 2$ or $q\leq 2.$

We prove a strong variant of the Borwein-Preiss variational principle, and show that on Asplund spaces, Stegall's variational principle follows from it via a generalized Smulyan test. Applications are discussed.

In this article we characterize the univalent harmonic mappings from the exterior of the unit disk, $\Delta$, onto a simply connected domain $\Omega$ containing infinity and which are solutions of the system of elliptic partial differential equations $\fzbb = a(z)f_z(z)$ where the second dilatation function $a(z)$ is a finite Blaschke product. At the end of this article, we apply our results to nonparametric minimal surfaces having the property that the image of its Gauss map is the upper half-sphere covered once or twice.

In this paper we establish conditions that guarantee, in the setting of a general Banach space, the Painlev\'e-Kuratowski convergence of the graphs of the subdifferentials of convexly composite functions. We also provide applications to the convergence of multipliers of families of constrained optimization problems and to the generalized second-order derivability of convexly composite functions.

We develop a method of separable reduction for Fr\'{e}chet-like normals and $\epsilon$-normals to arbitrary sets in general Banach spaces. This method allows us to reduce certain problems involving such normals in nonseparable spaces to the separable case. It is particularly helpful in Asplund spaces where every separable subspace admits a Fr\'{e}chet smooth renorm. As an applicaton of the separable reduction method in Asplund spaces, we provide a new direct proof of a nonconvex extension of the celebrated Bishop-Phelps density theorem. Moreover, in this way we establish new characterizations of Asplund spaces in terms of $\epsilon$-normals.