• ### Exact periodic stripes for a minimizers of a local/non-local interaction functional in general dimension(1702.07334)

June 5, 2018 math.AP, math-ph, math.MP
We study the functional considered in~\cite{2011PhRvB..84f4205G,2014CMaPh.tmp..127G,GiuSeirGS} and a continuous version of it, analogous to the one considered in~\cite{GR}. The functionals consist of a perimeter term and a non-local term which are in competition. For both the continuous and discrete problem, we show that the global minimizers are exact periodic stripes. One striking feature of the functionals is that the minimizers are invariant under a smaller group of symmetries than the functional itself. In the continuous setting, to our knowledge this is the first example of a model with local/nonlocal terms in competition such that the functional is invariant under permutation of coordinates and the minimizers display a pattern formation which is one dimensional. Such behaviour for a smaller range of exponents in the discrete setting was already shown in~\cite{GiuSeirGS}.
• ### Non-uniqueness and h-principle for H\"older-continuous weak solutions of the Euler equations(1603.09714)

Jan. 19, 2017 math.AP
In this paper we address the Cauchy problem for the incompressible Euler equations in the periodic setting. Based on estimates developed in [Buckmaster-De Lellis-Isett-Sz\'ekelyhidi], we prove that the set of H\"older $1\slash 5-\eps$ wild initial data is dense in $L^2$, where we call an initial datum wild if it admits infinitely many admissible H\"older $1\slash 5-\eps$ weak solutions. We also introduce a new set of stationary flows which we use as a perturbation profile instead of Beltrami flows to recover arbitrary Reynolds stresses.
• ### On Sudakov's type decomposition of transference plans with norm costs(1311.1918)

Jan. 7, 2014 math.CA
We consider the original strategy proposed by Sudakov for solving the Monge transportation problem with norm cost $|\cdot|_{D^*}$ $\min \bigg\{\int |\mathtt T(x) - x|_{D^*} d\mu(x), \ \mathtt T : \mathbb R^d \to \mathbb R^d, \ \nu = \mathtt T_\# \mu \bigg\},$ with $\mu$, $\nu$ probability measures in $\mathbb R^d$ and $\mu$ absolutely continuous w.r.t. $\mathcal L^d$. The key idea in this approach is to decompose (via disintegration of measures) the Kantorovich optimal transportation problem into a family of transportation problems in $Z_\mathfrak a\times\mathbb R^d$, where $\{Z_\mathfrak a\}_{\mathfrak a\in\mathfrak A} \subset \mathbb R^d$ are disjoint regions such that the construction of an optimal map $\mathtt T_\mathfrak a : Z_\mathfrak a \to \mathbb R^d$ is simpler than in the original problem, and then to obtain $\mathtt T$ by piecing together the maps $\mathtt T_\mathfrak a$. In this paper we show how the original idea of Sudakov can be successfully implemented. The results yield a complete characterization of the Kantorovich optimal transportation problem, whose straightforward corollary is the solution of the Monge problem in each set $Z_\mathfrak a$ and then in $\mathbb R^d$. The strategy is sufficiently powerful to be applied to other optimal transportation problems.
• ### Cauchy problem for dissipative H\"older solutions to the incompressible Euler equations(1302.0988)

Feb. 5, 2013 math.AP
We consider solutions to the Cauchy problem for the incompressible Euler equations on the 3-dimensional torus which are continuous or H\"older continuous for any exponent $\theta<\frac{1}{16}$. Using the techniques introduced in \cite{DS12} and \cite{DS12H}, we prove the existence of infinitely many (H\"older) continuous initial vector fields starting from which there exist infinitely many (H\"older) continuous solutions with preassigned total kinetic energy.
• ### A planar bi-Lipschitz extension Theorem(1110.6124)

Oct. 28, 2011 math.AP, math.FA
We prove that, given a planar bi-Lipschitz homeomorphism $u$ defined on the boundary of the unit square, it is possible to extend it to a function $v$ of the whole square, in such a way that $v$ is still bi-Lipschitz. In particular, denoting by $L$ and $\widetilde L$ the bi-Lipschitz constants of $u$ and $v$, with our construction one has $\widetilde L \leq C L^4$ (being $C$ an explicit geometrical constant). The same result was proved in 1980 by Tukia (see \cite{Tukia}), using a completely different argument, but without any estimate on the constant $\widetilde L$. In particular, the function $v$ can be taken either smooth or (countably) piecewise affine.
• ### Smooth approximation of bi-Lipschitz orientation-preserving homeomorphisms(1106.1192)

Oct. 28, 2011 math.AP
We show that a planar bi-Lipschitz orientation-preserving homeomorphism can be approximated in the $W^{1,p}$ norm, together with its inverse, with an orientation-preserving homeomorphism which is piecewise affine or smooth.
• ### Lecture Notes on Gradient Flows and Optimal Transport(1009.3737)

Sept. 20, 2010 math.DG, math.AP, math.CA, math.PR
We present a short overview on the strongest variational formulation for gradient flows of geodesically $\lambda$-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009.
• ### Eulerian calculus for the displacement convexity in the Wasserstein distance(0801.2455)

Jan. 16, 2008 math.DG, math.AP
In this paper we give a new proof of the (strong) displacement convexity of a class of integral functionals defined on a compact Riemannian manifold satisfying a lower Ricci curvature bound. Our approach does not rely on existence and regularity results for optimal transport maps on Riemannian manifolds, but it is based on the Eulerian point of view recently introduced by Otto-Westdickenberg and on the metric characterization of the gradient flows generated by the functionals in the Wasserstein space.