A note on the regularity of the free boundaries in the optimal partial transport problem

In this work we study the global regularity of the free boundaries arising in the optimal partial transport problem. Assuming the supports of both the source and the target measure to be convex, we show that the free boundaries of the active regions are globally C ^0,1/2.      

Sharp boundary behaviour of solutions to semilinear nonlocal elliptic equations

We investigate quantitative properties of nonnegative solutions \(u(x)\ge 0\) to the semilinear diffusion equation \(\mathcal {L}u= f(u)\), posed in a bounded domain \(\Omega \subset \mathbb {R}^N\) with appropriate homogeneous Dirichlet or outer boundary conditions. The operator \(\mathcal {L}\) may belong to a quite general class of linear operators that include the standard Laplacian, the two most common definitions of the fractional Laplacian \((-\Delta )^s\) (\(0<s<1\)) in a bounded domain with zero Dirichlet conditions, and a number of other nonlocal versions. The nonlinearity f is increasing and looks like a power function \(f(u)\sim u^p\), with \(p\le 1\). The aim of this paper is to show sharp quantitative boundary estimates based on a new iteration process. We also prove that, in the interior, solutions are Hölder continuous and even classical (when the operator allows for it). In addition, we get Hölder continuity up to the boundary. Particularly interesting is the behaviour of solution when the number \(\frac{2s}{1-p}\) goes below the exponent \(\gamma \in (0,1]\) corresponding to the Hölder regularity of the first eigenfunction \(\mathcal {L}\Phi _1=\lambda _1 \Phi _1\). Indeed a change of boundary regularity happens in the different regimes \(\frac{2s}{1-p} \gtreqqless \gamma \), and in particular a logarithmic correction appears in the “critical” case \(\frac{2s}{1-p} = \gamma \). For instance, in the case of the spectral fractional Laplacian, this surprising boundary behaviour appears in the range \(0<s\le (1-p)/2\).     

Composing dinatural transformations: Towards a calculus of substitution

Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were discovered by Dubuc and Street in 1970. Many ad hoc solutions to this remarkable shortcoming have been found, but a general theory of compositionality was missing until Petri?, in 2003, introduced the concept of g-dinatural transformations, that is, dinatural transformations together with an appropriate graph: he showed how acyclicity of the composite graph of two arbitrary dinatural transformations is a sufficient and essentially necessary condition for the composite transformation to be in turn dinatural. Here we propose an alternative, semantic rather than syntactic, proof of Petri?'s theorem, which the authors independently rediscovered with no knowledge of its prior existence; we then use it to define a generalised functor category, whose objects are functors of mixed variance in many variables, and whose morphisms are transformations that happen to be dinatural only in some of their variables.We also define a notion of horizontal composition for dinatural transformations, extending the well-known version for natural transformations, and prove it is associative and unitary. Horizontal composition embodies substitution of functors into transformations and vice-versa, and is intuitively reflected from the string-diagram point of view by substitution of graphs into graphs.This work represents the first, fundamental steps towards a substitution calculus for dinatural transformations as sought originally by Kelly, with the intention then to apply it to describe coherence problems abstractly. There are still fundamental difficulties that are yet to be overcome in order to achieve such a calculus, and these will be the subject of future work; however, our contribution places us well in track on the path traced by Kelly towards a calculus of substitution for dinatural transformations.     

Hölder Continuity and Injectivity of Optimal Maps

Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x, y). If the source density f ⁺(x) is bounded away from zero and infinity in an open region ${U' \subset \mathbf{R}^n}$ , and the target density f ^?(y) is bounded away from zero and infinity on its support ${\overline{V} \subset \mathbf{R}^n}$ , which is strongly c-convex with respect to U′, and the transportation cost c satisfies the ${\mathbf{A3}_{\rm w}}$ condition of Trudinger and Wang (Ann Sc Norm Super Pisa Cl Sci 5, 8(1):143–174, 2009), we deduce the local Hölder continuity and injectivity of the optimal map inside U′ (so that the associated potential u belongs to ${C^{1,\alpha}_{loc}(U')}$ ). Here the exponent α > 0 depends only on the dimension and the bounds on the densities, but not on c. Our result provides a crucial step in the low/interior regularity setting: in a sequel (Figalli et al., J Eur Math Soc (JEMS), 1131–1166, 2013), we use it to establish regularity of optimal maps with respect to the Riemannian distance squared on arbitrary products of spheres. Three key tools are introduced in the present paper. Namely, we first find a transformation that under ${\mathbf{A3}_{\rm w}}$ makes c-convex functions level-set convex (as was also obtained independently from us by Liu (Calc Var Partial Diff Eq 34:435–451, 2009)). We then derive new Alexandrov type estimates for the level-set convex c-convex functions, and a topological lemma showing that optimal maps do not mix the interior with the boundary. This topological lemma, which does not require ${\mathbf{A3}_{\rm w}}$ , is needed by Figalli and Loeper (Calc Var Partial Diff Eq 35:537–550, 2009) to conclude the continuity of optimal maps in two dimensions. In higher dimensions, if the densities f ^± are Hölder continuous, our result permits continuous differentiability of the map inside U′ (in fact, ${C^{2,\alpha}_{loc}}$ regularity of the associated potential) to be deduced from the work of Liu et al. (Comm Partial Diff Eq 35(1):165–184, 2010).     

Layered solutions with multiple asymptotes for non autonomous Allen–Cahn equations in {\mathbb {R}^{3}}

We consider a class of semilinear elliptic equations of the form $$ \label{eq:abs}-\Delta u(x,y,z)+a(x)W'(u(x,y,z))=0,\quad (x,y,z)\in\mathbb {R}^{3},$$ where ${a:\mathbb {R} \to \mathbb {R}}$ is a periodic, positive, even function and, in the simplest case, ${W : \mathbb {R} \to \mathbb {R}}$ is a double well even potential. Under non degeneracy conditions on the set of minimal solutions to the one dimensional heteroclinic problem $$-\ddot q(x)+a(x)W^{\prime}(q(x))=0,\ x\in\mathbb {R},\quad q(x)\to\pm1\,{\rm as}\, x\to \pm\infty,$$ we show, via variational methods the existence of infinitely many geometrically distinct solutions u of (0.1) verifying u(x, y, z) → ± 1 as x → ± ∞ uniformly with respect to ${(y, z) \in \mathbb {R}^{2}}$ and such that ${\partial_{y}u \not \equiv0, \partial_{z}u \not\equiv 0}$ in ${\mathbb {R}^{3}}$ .     

Perimeter of sets and BMO-type norms

The aim of this note is to announce some recent results showing that an isotropic variant of the BMO-type norm introduced in [3] can be related via a precise formula to the perimeter of sets.     

Bubble dispersion patterns in bubbly-flow released from a porous plug into a gas-stirred ladle

Bubbles released from a porous plug into a gas-stirred ladle present different bubbly dispersion patterns that can be studied by CFD means. Recent modeling (Alexiadis et al.) has, in fact, led to numerical results in accord with experimental data. However, due to the high number of equations involved, it is not easy to understand the physical reasons of the transitions between these patterns. In the present paper, attention was focused on the role of fragmentation and coalescence and the pattern-transition modeled by means of intersection points between these functions.     

Freudenthal duality and generalized special geometry

Freudenthal duality, introduced in Borsten et al. (2009) [1] and defined as an anti-involution on the dyonic charge vector in d=4 space-time dimensions for those dualities admitting a quartic invariant, is proved to be a symmetry not only of the classical Bekenstein-Hawking entropy but also of the critical points of the black hole potential.Furthermore, Freudenthal duality is extended to any generalized special geometry, thus encompassing all N>2 supergravities, as well as N=2 generic special geometry, not necessarily having a coset space structure.