Source author record

Aldo Pratelli

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

23works
8topics
4close collaborators

Published work

23 publications

preprint2022arXiv

On the existence and boundedness of minimizing measures for a general form of non-local energies

In this paper we consider a very general form of a non-local energy in integral form, which covers most of the usual ones (for instance, the sum of a positive and a negative power). Instead of admitting only sets, or L∞L^\infty functions, as admissible objects, we define the energy for all the Radon measures. We prove the existence of optimal measures in a wide generality, and we show that in several cases the optimal measures are actually L∞L^\infty functions, providing an a priori bound on their norm. We also derive a uniqueness result for minimizers.

preprint2020arXiv

Comparison between the non-crossing and the non-crossing on lines properties

In the recent paper [2], it was proved that the closure of the planar diffeomorphisms in the Sobolev norm consists of the functions which are non-crossing (NC), i.e., the functions which can be uniformly approximated by continuous one-to-one functions on the grids. A deep simplification of this property is to consider curves instead of grids, so considering functions which are non-crossing on lines (NCL). Since the NCL property is way easier to check, it would be extremely positive if they actually coincide, while it is only obvious that NC implies NCL. We show that in general NCL does not imply NC, but the implication becomes true with the additional assumption that det⁡(Du)>0\det(Du)>0 a.e., which is a very common assumption in nonlinear elasticity.

preprint2020arXiv

Minimality of balls in the small volume regime for a general Gamow type functional

We consider functionals given by the sum of the perimeter and the double integral of some kernel g:RN×RN→R+g:\mathbb R^N\times\mathbb R^N\to \mathbb R^+, multiplied by a "mass parameter" ε\varepsilon. We show that, whenever gg is admissible, radial and decreasing, the unique minimizer of this functional among sets of given volume is the ball as soon as ε≪1\varepsilon\ll 1.

preprint2020arXiv

Sharp quantitative stability for isoperimetric inequalities with homogeneous weights

We prove the sharp quantitative stability for a wide class of weighted isoperimetric inequalities. More precisely, we consider isoperimetric inequalities in convex cones with homogeneous weights. Inspired by the proof of such isoperimetric inequalities through the ABP method, we construct a new convex coupling (i.e., a map that is the gradient of a convex function) between a generic set EE and the minimizer of the inequality (as in Gromov's proof of the isoperimetric inequality). Even if this map does not come from optimal transport, and even if there is a weight in the inequality, we adapt the methods of Figalli-Maggi-Pratelli and prove that if EE is almost optimal for the inequality then it is quantitatively close to a minimizer up to translations. Then, a delicate analysis is necessary to rule out the possibility of translations. As a step of our proof, we establish a sharp regularity result for restricted convex envelopes of a function that might be of independent interest.

preprint2016arXiv

On the continuity of the total cost in the mass transport problem with relativistic cost functions

In this paper we consider the mass transport problem in the case of a relativistic cost; we can establish the continuity of the total cost, together with a general estimate about the directions in which the mass can actually move, under mild assumptions. These results generalize those recently obtained by J.Bertrand, A.Pratelli and M.Puel, also positively answering some of the open questions there.

preprint2015arXiv

On the bi-Sobolev planar homeomorphisms and their approximation

The first goal of this paper is to give a short description of the planar bi-Sobolev homeomorphisms, providing simple and self-contained proofs for some already known properties. In particular, for any such homeomorphism u:Ω→Δu:Ω\to Δ, one has Du(x)=0Du(x)=0 for almost every point xx for which Ju(x)=0J_u(x)=0. As a consequence, one can prove that \begin{equation} \int_Ω|Du| = \int_Δ|Du^{-1}|\,. \end{equation} Notice that this estimate holds trivially if one is allowed to use the change of variables formula, but this is not always the case for a bi-Sobolev homeomorphism.\par As a corollary of our construction, we will show that any W1,1W^{1,1} homeomorphism uu with W1,1W^{1,1} inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) unu_n in such a way that unu_n converges to uu in W1,1W^{1,1} and, at the same time, un−1u_n^{-1} converges to u−1u^{-1} in W1,1W^{1,1}. This positively answers an open conjecture (see for instance~\cite[Question~4]{arXiv:1009.0286}) for the case p=1p=1.

preprint2015arXiv

On the piecewise approximation of bi-Lipschitz curves

In this paper we deal with the task of uniformly approximating an LL-biLipschitz curve by means of piecewise linear ones. This is rather simple if one is satisfied to have approximating functions which are L′L'-biLipschitz, for instance this was already done with L′=4LL'= 4L in [Daneri-Pratelli, Lemma 5.5]. The main result of this paper is to do the same with L′=L+εL'=L+ \varepsilon (which is of course the best possible result); in the end, we generalize the result to the case of closed curves.

preprint2014arXiv

Existence of isoperimetric sets with densities "converging from below" in RN\mathbb{R}^N

In this paper, we consider the isoperimetric problem in the space RN\mathbb{R}^N with density. Our result states that, if the density f is l.s.c. and converges to a positive limit at infinity, being smaller than this limit far from the origin, then isoperimetric sets exist for all volumes. Several known results or counterexamples show that the present result is essentially sharp. The special case of our result for radial and increasing densities positively answers a conjecture made in [10].

preprint2014arXiv

On the Cheeger sets in strips and non-convex domains

In this paper we consider the Cheeger problem for non-convex domains, with a particular interest in the case of planar strips, which have been extensively studied in recent years. Our main results are an estimate on the Cheeger constant of strips, which is stronger than the previous one known from a recent result by D. Krejcirik and the second-named author, and the proof that strips share with convex domains a number of crucial properties with respect to the Cheeger problem. Moreover, we present several counterexamples showing that the same properties are not valid for generic non-convex domains.

preprint2013arXiv

Lipschitz regularity of the eigenfunctions on optimal domains

We study the optimal sets Ω∗⊂RdΩ^\ast\subset\mathbb{R}^d for spectral functionals F(λ1(Ω),…,λp(Ω))F\big(λ_1(Ω),\dots,λ_p(Ω)\big), which are bi-Lipschitz with respect to each of the eigenvalues λ1(Ω),…,λp(Ω)λ_1(Ω),\dots,λ_p(Ω) of the Dirichlet Laplacian on ΩΩ, a prototype being the problem min⁡{λ1(Ω)+⋯+λp(Ω)  :  Ω⊂Rd, ∣Ω∣=1}. \min{\big\{λ_1(Ω)+\dots+ λ_p(Ω)\;:\;Ω\subset\mathbb{R}^d,\ |Ω|=1\big\}}. We prove the Lipschitz regularity of the eigenfunctions u1,…,upu_1,\dots,u_p of the Dirichlet Laplacian on the optimal set Ω∗Ω^* and, as a corollary, we deduce that Ω∗Ω^* is open. For functionals depending only on a generic subset of the spectrum, as for example λk(Ω)λ_k(Ω) or λk1(Ω)+⋯+λkp(Ω)λ_{k_1}(Ω)+\dots+λ_{k_p}(Ω), our result proves only the existence of a Lipschitz continuous eigenfunction in correspondence to each of the eigenvalues involved.

preprint2012arXiv

The ε−εβε-ε^β property, the boundedness of isoperimetric sets in RN\R^N with density, and some applications

We show that every isoperimetric set in R^N with density is bounded if the density is continuous and bounded by above and below. This improves the previously known boundedness results, which basically needed a Lipschitz assumption; on the other hand, the present assumption is sharp, as we show with an explicit example. To obtain our result, we observe that the main tool which is often used, namely a classical "ε-ε" property already discussed by Allard, Almgren and Bombieri, admits a weaker counterpart which is still sufficient for the boundedness, namely, an "ε-ε^β" version of the property. And in turn, while for the validity of the first property the Lipschitz assumption is essential, for the latter the sole continuity is enough. We conclude by deriving some consequences of our result about the existence and regularity of isoperimetric sets.

preprint2012arXiv

The Cheeger constant of curved strips

We study the Cheeger constant and Cheeger set for domains obtained as strip-like neighbourhoods of curves in the plane. If the reference curve is complete and finite (a "curved annulus"), then the strip itself is a Cheeger set and the Cheeger constant equals the inverse of the half-width of the strip. The latter holds true for unbounded strips as well, but there is no Cheeger set. Finally, for strips about non-complete finite curves, we derive lower and upper bounds to the Cheeger set, which become sharp for infinite curves. The paper is concluded by numerical results for circular sectors.

preprint2011arXiv

A planar bi-Lipschitz extension Theorem

We prove that, given a planar bi-Lipschitz homeomorphism uu defined on the boundary of the unit square, it is possible to extend it to a function vv of the whole square, in such a way that vv is still bi-Lipschitz. In particular, denoting by LL and L~\widetilde L the bi-Lipschitz constants of uu and vv, with our construction one has L~≤CL4\widetilde L \leq C L^4 (being CC 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 L~\widetilde L. In particular, the function vv can be taken either smooth or (countably) piecewise affine.

preprint2011arXiv

On the boundary of the attainable set of the Dirichlet spectrum

Denoting by E⊆R2\mathcal{E}\subseteq \R^2 the set of the pairs (λ1(Ω),λ2(Ω))(λ_1(Ω),λ_2(Ω)) for all the open sets Ω⊆RNΩ\subseteq\R^N with unit measure, and by Θ⊆RNΘ\subseteq\R^N the union of two disjoint balls of half measure, we give an elementary proof of the fact that $\partial\E$ has horizontal tangent at its lowest point (λ1(Θ),λ2(Θ))(λ_1(Θ),λ_2(Θ)).

preprint2010arXiv

Duality for rectified Cost Functions

It is well-known that duality in the Monge-Kantorovich transport problem holds true provided that the cost function c:X×Y→[0,∞]c:X\times Y\to [0,\infty] is lower semi-continuous or finitely valued, but it may fail otherwise. We present a suitable notion of \emph{rectificaton} crc_r of the cost cc, so that the Monge-Kantorovich duality holds true replacing cc by crc_r. In particular, passing from cc to crc_r only changes the value of the primal Monge-Kantorovich problem. Finally, the rectified function crc_r is lower semi-continuous as soon as XX and YY are endowed with proper topologies, thus emphasizing the role of lower semi-continuity in the duality-theory of optimal transport.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.