
In this paper nontransversal 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 blowup 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 BMOestimates, $C^{1,1}$ regularity
up to the fixed boundary, and a description of the behavior of blowup
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 KantorovichWasserstein distance. We similarly investigate the
deficit in the Talagrand quadratic transportation cost inequality this time by
means of an ${\rm L}^1$KantorovichWasserstein 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 obstacletype 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 MaTrudingerWang
condition (A3): if the nonnegative 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 MongeAmpere 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}^{n2}$
$\sigma$finite in the general case and $\mathcal{H}^{n2}$ finite if $\Omega$
and $\Lambda$ are separated by a hyperplane.

We prove a sharp, dimensionfree 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.