• In this paper non-transversal intersection of the free and fixed boundary is shown to hold in any dimension for obstacle problems generated by fully nonlinear uniformly elliptic operators. Moreover, $C^1$ regularity results of the free boundary are obtained and a classification of blow-up solutions is given.
  • We study the semilinear Poisson equation \begin{equation} \label{pro} \Delta u = f(x, u) \hskip .2 in \text{in} \hskip .2 in B_1. \end{equation} Our main results provide conditions on $f$ which ensure that weak solutions of this equation belong to $C^{1,1}(B_{1/2})$. In some configurations, the conditions are sharp.
  • In the study of classical obstacle problems, it is well known that in many configurations the free boundary intersects the fixed boundary tangentially. The arguments involved in producing results of this type rely on the linear structure of the operator. In this paper we employ a different approach and prove tangential touch of free and fixed boundary in two dimensions for fully nonlinear elliptic operators. Along the way, several $n$-dimensional results of independent interest are obtained such as BMO-estimates, $C^{1,1}$ regularity up to the fixed boundary, and a description of the behavior of blow-up solutions.
  • A sharp quantitative polygonal isoperimetric inequality is obtained.
  • We establish an improved form of the classical logarithmic Sobolev inequality for the Gaussian measure restricted to probability densities which satisfy a Poincar\'e inequality. The result implies a lower bound on the deficit in terms of the quadratic Kantorovich-Wasserstein distance. We similarly investigate the deficit in the Talagrand quadratic transportation cost inequality this time by means of an ${\rm L}^1$-Kantorovich-Wasserstein distance, optimal for product measures, and deduce a lower bound on the deficit in the logarithmic Sobolev inequality in terms of this metric. Applications are given in the context of the Bakry-\'Emery theory and the coherent state transform. The proofs combine tools from semigroup and heat kernel theory and optimal mass transportation.
  • We consider fully nonlinear obstacle-type problems of the form \begin{equation*} \begin{cases} F(D^{2}u,x)=f(x) & \text{a.e. in}B_{1}\cap\Omega,|D^{2}u|\le K & \text{a.e. in}B_{1}\backslash\Omega, \end{cases} \end{equation*} where $\Omega$ is an unknown open set and $K>0$. In particular, structural conditions on $F$ are presented which ensure that $W^{2,n}(B_1)$ solutions achieve the optimal $C^{1,1}(B_{1/2})$ regularity when $f$ is H\"older continuous. Moreover, if $f$ is positive on $\overline B_1$, Lipschitz continuous, and $\{u\neq 0\} \subset \Omega$, then we obtain local $C^1$ regularity of the free boundary under a uniform thickness assumption on $\{u=0\}$. Lastly, we extend these results to the parabolic setting.
  • We obtain a sharp lower bound on the isoperimetric deficit of a general polygon in terms of the variance of its side lengths, the variance of its radii, and its deviation from being convex. Our technique involves a functional minimization problem on a suitably constructed compact manifold and is based on the spectral theory for circulant matrices.
  • This paper concerns the regularity and geometry of the free boundary in the optimal partial transport problem for general cost functions. More specifically, we prove that a $C^1$ cost implies a locally Lipschitz free boundary. As an application, we address a problem discussed by Caffarelli and McCann \cite{CM} regarding cost functions satisfying the Ma-Trudinger-Wang condition (A3): if the non-negative source density is in some $L^p(\mathbb{R}^n)$ space for $p \in (\frac{n+1}{2},\infty]$ and the positive target density is bounded away from zero, then the free boundary is a semiconvex $C_{loc}^{1,\alpha}$ hypersurface. Furthermore, we show that a locally Lipschitz cost implies a rectifiable free boundary and initiate a corresponding regularity theory in the Riemannian setting.
  • Illuminating the surface of a convex body with parallel beams of light in a given direction generates a shadow region. We prove sharp regularity results for the boundary of this shadow in every direction of illumination. Moreover, techniques are developed for investigating the regularity of the region generated by orthogonally projecting a convex set onto another. As an application we study the geometry and Hausdorff dimension of the singular set corresponding to a Monge-Ampere equation.
  • We provide counterexamples to regularity of optimal maps in the classical Monge problem under various assumptions on the initial data. Our construction is based on a variant of the counterexample in \cite{LSW} to Lipschitz regularity of the monotone optimal map between smooth densities supported on convex domains.
  • In the optimal partial transport problem, one is asked to transport a fraction $0<m \leq \min\{||f||_{L^1}, ||g||_{L^1}\}$ of the mass of $f=f \chi_\Omega$ onto $g=g\chi_\Lambda$ while minimizing a transportation cost. If $f$ and $g$ are bounded away from zero and infinity on strictly convex domains $\Omega$ and $\Lambda$, respectively, and if the cost is quadratic, then away from $\partial(\Omega \cap \Lambda)$ the free boundaries of the active regions are shown to be $C_{loc}^{1,\alpha}$ hypersurfaces up to a possible singular set. This improves and generalizes a result of Caffarelli and McCann \cite{CM} and solves a problem discussed by Figalli \cite[Remark 4.15]{Fi}. Moreover, a method is developed to estimate the Hausdorff dimension of the singular set: assuming $\Omega$ and $\Lambda$ to be uniformly convex domains with $C^{1,1}$ boundaries, we prove that the singular set is $\mathcal{H}^{n-2}$ $\sigma$-finite in the general case and $\mathcal{H}^{n-2}$ finite if $\Omega$ and $\Lambda$ are separated by a hyperplane.
  • We prove a sharp, dimension-free stability result for the classical logarithmic Sobolev inequality for a two parameter family of functions. Roughly speaking, our family consists of a certain class of log $C^{1,1}$ functions. Moreover, we show how to enlarge this space at the expense of the dimensionless constant and the sharp exponent. As an application we obtain new bounds on the entropy.
  • The relative isoperimetric inequality inside an open, convex cone $\mathcal C$ states that, at fixed volume, $B_r \cap \mathcal C$ minimizes the perimeter inside $\mathcal C$. Starting from the observation that this result can be recovered as a corollary of the anisotropic isoperimetric inequality, we exploit a variant of Gromov's proof of the classical isoperimetric inequality to prove a sharp stability result for the relative isoperimetric inequality inside $\mathcal C$. Our proof follows the line of reasoning in \cite{Fi}, though several new ideas are needed in order to deal with the lack of translation invariance in our problem.