
We give an answer to a question posed in [P. Amorim, R. Colombo, and A.
Teixeira, ESAIM Math. Model. Numerics. Anal. 2015], which can be loosely
speaking formulated as follows. Consider a family of continuity equations where
the velocity depends on the solution via the convolution by a regular kernel.
In the singular limit where the convolution kernel is replaced by a Dirac
delta, one formally recovers a conservation law: can we rigorously justify this
formal limit? We exhibit counterexamples showing that, despite numerical
evidence suggesting a positive answer, one in general does not have convergence
of the solutions. We also show that the answer is positive if we consider
viscous perturbations of the nonlocal equations. In this case, in the singular
local limit the solutions converge to the solution of the viscous conservation
law.

We prove that optimal traffic plans for the mailing problem in $\mathbb{R}^d$
are stable with respect to variations of the given coupling, above the critical
exponent $\alpha=11/d$, thus solving an open problem stated in the book
"Optimal transportation networks", by Bernot, Caselles and Morel. We apply our
novel result to study some regularity properties of the minimizers of the
mailing problem. In particular, we show that only finitely many connected
components of an optimal traffic plan meet together at any branching point.

We adapt the method of Simon [JDG '93] to prove a $C^{1,\alpha}$regularity
theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an
equiangular geodesic net. For varifold classes admitting a "nohole" condition
on the singular set, we additionally establish $C^{1,\alpha}$regularity near
the cone $\bf{C}_0^2 \times \mathbb R^m$. Combined with work of Allard [Ann. of
Math. '72], Simon [JDG '93], Taylor [Ann. of Math. '76], and NaberValtorta
[Ann. of Math. '17], our result implies a $C^{1,\alpha}$structure for the top
three strata of minimizing clusters and sizeminimizing currents, and a
Lipschitz structure on the $(n3)$stratum.

For the thin obstacle problem, we prove by a new direct method that in any
dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in
\mathbb N$, satisfy an epiperimetric inequality, in the latter case of
logarithmic type. In particular, at difference from the classical statements,
we do not assume any a priori closeness to a special class of homogeneous
functions. In dimension $2$, we also prove the epiperimetric inequality at any
free boundary point.
As a first application, we improve the set of admissible frequencies for blow
ups, previously known to be $\lambda \in \{\frac32\} \cup [2,\infty)$, and we
classify the global $\lambda$homogeneous minimizers, with $\lambda\in
[\frac32,2+c]\cup\bigcup_{m\in \mathbb N}(2mc_m^,2m+c_m^+)$, showing as a
consequence that the frequencies $\frac32$ and $2m$ are isolated.
Secondly, we give a short and selfcontained proof of the regularity of the
free boundary previously obtained by AthanasopoulosCaffarelliSalsa (Amer. J.
Math., 130(2) (2008), 485498) for regular points and GarofaloPetrosyan
(Invent. Math., 177(2) (2009), 415461) for singular points, by means of an
epiperimetric inequality of logarithmic type which applies for the first time
also at all singular points of thinobstacle free boundaries. In particular we
improve the $C^1$ regularity of the singular set with frequency $2m$ by an
explicit logarithmic modulus of continuity.

We prove sharp regularity results for a general class of functionals of the
type $$ w \mapsto \int F(x, w, Dw) \, dx\;, $$ featuring nonstandard growth
conditions and nonuniform ellipticity properties. The model case is given by
the double phase integral $$ w \mapsto \int b(x,w)(Dw^p+a(x)Dw^q) \,
dx\;,\quad 1 <p < q\,, \quad a(x)\geq 0\;, $$ with $0<\nu \leq b(\cdot)\leq L
$. This changes its ellipticity rate according to the geometry of the level set
$\{a(x)=0\}$ of the modulating coefficient $a(\cdot)$. We also present new
methods and proofs, that are suitable to build regularity theorems for larger
classes of nonautonomous functionals. Finally, we disclose some new
interpolation type effects that, as we conjecture, should draw a general
phenomenon in the setting of nonuniformly elliptic problems. Such effects
naturally connect with the Lavrentiev phenomenon.

We prove the illposedness of Leray solutions to the Cauchy problem for the
ipodissipative NavierStokes equations, when the dissipative term is a
fractional Laplacian $(\Delta)^\alpha$ with exponent $\alpha < \frac{1}{5}$.
The proof follows the ''convex integration methods'' introduced by the second
author and L\'aszl\'o Sz\'ekelyhidi Jr. for the incomprresible Euler equations.
The methods yield indeed some conclusions even for exponents in the range
$[\frac{1}{5}, \frac{1}{2}[$.

For the general obstacle problem, we prove by direct methods an epiperimetric
inequality at regular and singular points, thus answering a question of Weiss
(Invent. Math., 138 (1999), 2350). In particular at singular points we
introduce a new tool, which we call logarithmic epiperimetric inequality, which
yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of
the singular set, thus improving previous results of Caffarelli and Monneau.

In this note we prove an explicit formula for the lower semicontinuous
envelope of some functionals defined on real polyhedral chains. More precisely,
denoting by $H \colon \mathbb{R} \to \left[ 0,\infty \right)$ an even,
subadditive, and lower semicontinuous function with $H(0)=0$, and by $\Phi_H$
the functional induced by $H$ on polyhedral $m$chains, namely \[ \Phi_{H}(P)
:= \sum_{i=1}^{N} H(\theta_{i}) \mathcal{H}^{m}(\sigma_{i}), \quad\mbox{for
every }P=\sum_{i=1}^{N} \theta_{i} [[ \sigma_{i} ]]
\in\mathbf{P}_m(\mathbb{R}^n), \] we prove that the lower semicontinuous
envelope of $\Phi_H$ coincides on rectifiable $m$currents with the $H$mass \[
\mathbb{M}_{H}(R) := \int_E H(\theta(x)) \, d\mathcal{H}^m(x) \quad \mbox{ for
every } R= [[ E,\tau,\theta ]] \in \mathbf{R}_{m}(\mathbb{R}^{n}). \]

We discuss $L^p$ integrability estimates for the solution $u$ of the
advectiondiffusion equation $\partial_t u + \mathrm{div} (bu) = \Delta u$,
where the velocity field $b \in L^r_t L^q_x$. We first summarize some classical
results proving such estimates for certain ranges of the exponents $r$ and $q$.
Afterwards we prove the optimality of such ranges by means of new original
examples.

Models involving branched structures are employed to describe several
supplydemand systems such as the structure of the nerves of a leaf, the system
of roots of a tree and the nervous or cardiovascular systems. Given a flow
(traffic path) that transports a given measure $\mu^$ onto a target measure
$\mu^+$, along a 1dimensional network, the transportation cost per unit length
is supposed in these models to be proportional to a concave power $\alpha \in
(0,1)$ of the intensity of the flow.
In this paper we address an open problem in the book "Optimal transportation
networks" by Bernot, Caselles and Morel and we improve the stability for
optimal traffic paths in the Euclidean space $\mathbb{R}^d$, with respect to
variations of the given measures $(\mu^,\mu^+)$, which was known up to now
only for $\alpha>1\frac1d$. We prove it for exponents $\alpha>1\frac1{d1}$
(in particular, for every $\alpha \in (0,1)$ when $d=2$), for a fairly large
class of measures $\mu^+$ and $\mu^$.

We prove a quantitative estimate on the number of certain singularities in
almost minimizing clusters. In particular, we consider the singular points
belonging to the lowest stratum of the FedererAlmgren stratification (namely,
where each tangent cone does not split a $\R$) with maximal density. As a
consequence we obtain an estimate on the number of triple junctions in
$2$dimensional clusters and on the number of tetrahedral points in $3$
dimensions, that in turn implies that the boundaries of volumeconstrained
minimizing clusters form at most a finite number of equivalence classes modulo
homeomorphism of the boundary, provided that the prescribed volumes vary in a
compact set. The method is quite general and applies also to other problems:
for instance, to count the number of singularities in a codimension 1
areaminimizing surface in $\R^8$.

The existence of minimizers in the fractional isoperimetric problem with
multiple volume constraints is proved, together with a partial regularity
result.

We prove that a general condition introduced by Colombo and Gobbino to study
limits of curves of maximal slope allows also to characterize minimizing
movements along a sequence of functionals as curves of maximal slope of a limit
functional.

Extending a result of Caffarelli, we provide global Lipschitz changes of
variables between compactly supported perturbations of logconcave measures.
The result is based on a combination of ideas from optimal transportation
theory and a new Pogorelovtype estimate. In the case of radially symmetric
measures, Lipschitz changes of variables are obtained for a much broader class
of perturbations.

We disprove a conjecture in Density Functional Theory, relative to
multimarginal optimal transport maps with Coulomb cost. We also provide
examples of maps satisfying optimality conditions for special classes of data.

The VlasovPoisson system is a classical model in physics used to describe
the evolution of particles under their selfconsistent electric or
gravitational field. The existence of classical solutions is limited to
dimensions $d\leq 3$ under strong assumptions on the initial data, while weak
solutions are known to exist under milder conditions. However, in the setting
of weak solutions it is unclear whether the Eulerian description provided by
the equation physically corresponds to a Lagrangian evolution of the particles.
In this paper we develop several general tools concerning the Lagrangian
structure of transport equations with nonsmooth vector fields and we apply
these results: (1) to show that weak solutions of VlasovPoisson are
Lagrangian; (2) to obtain global existence of weak solutions under minimal
assumptions on the initial data.

We consider the continuity equation with a nonsmooth vector field and a
damping term. In their fundamental paper, DiPerna and Lions proved that, when
the damping term is bounded in space and time, the equation is well posed in
the class of distributional solutions and the solution is transported by
suitable characteristics of the vector field. In this paper, we prove existence
and uniqueness of renormalized solutions in the case of an integrable damping
term, employing a new logarithmic estimate inspired by analogous ideas of
Ambrosio, Lecumberry, and Maniglia, Crippa and De Lellis in the Lagrangian
case.

In this paper we provide a complete analogy between the CauchyLipschitz and
the DiPernaLions theories for ODE's, by developing a local version of the
DiPernaLions theory. More precisely, we prove existence and uniqueness of a
maximal regular flow for the DiPernaLions theory using only local regularity
and summability assumptions on the vector field, in analogy with the classical
theory, which uses only local regularity assumptions. We also study the
behaviour of the ODE trajectories before the maximal existence time. Unlike the
CauchyLipschitz theory, this behaviour crucially depends on the nature of the
bounds imposed on the spatial divergence of the vector field. In particular, a
global assumption on the divergence is needed to obtain a proper blowup of the
trajectories.

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.

Characterization results for equality cases and for rigidity of equality
cases in Steiner's perimeter inequality are presented. (By rigidity, we mean
the situation when all equality cases are vertical translations of the
Steiner's symmetral under consideration.) We achieve this through the
introduction of a suitable measuretheoretic notion of connectedness and a fine
analysis of barycenter functions for sets of finite perimeter having segments
as orthogonal sections with respect to an hyperplane.

We provide a geometric characterization of rigidity of equality cases in
Ehrhard's symmetrization inequality for Gaussian perimeter. This condition is
formulated in terms of a new measuretheoretic notion of connectedness for
Borel sets, inspired by Federer's definition of indecomposable current.

In this paper we make a survey of some recent developments of the theory of
Sobolev spaces $W^{1,q}(X,\sfd,\mm)$, $1<q<\infty$, in metric measure spaces
$(X,\sfd,\mm)$. In the final part of the paper we provide a new proof of the
reflexivity of the Sobolev space based on $\Gamma$convergence; this result
extends Cheeger's work because no Poincar\'e inequality is needed and the
measuretheoretic doubling property is weakened to the metric doubling property
of the support of $\mm$. We also discuss the lower semicontinuity of the slope
of Lipschitz functions and some open problems.

Exploiting recent regularity estimates for the MongeAmp\`ere equation, under
some suitable assumptions on the initial data we prove globalintime existence
of Eulerian distributional solutions to the semigeostrophic equations in
3dimensional convex domains.

In this paper we use the new regularity and stability estimates for
Alexandrov solutions to MongeAmpere equations estabilished by G.De Philippis
and A.Figalli to provide a global in time existence of distributional solutions
to a semigeostrophic equation on the 2dimensional torus, under very mild
assumptions on the initial data. A link with Lagrangian solutions is also
discussed.

We prove that solutions of a mildly regularized PeronaMalik equation
converge, in a slow time scale, to solutions of the total variation flow. The
convergence result is globalintime, and holds true in any space dimension.
The proof is based on the general principle that "the limit of gradientflows
is the gradientflow of the limit". To this end, we exploit a general result
relating the Gammalimit of a sequence of functionals to the limit of the
corresponding maximal slope curves.