Source author record

Aldo Pratelli

Aldo Pratelli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

23 published item(s)

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^\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^\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$ 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:\mathbb R^N\times\mathbb R^N\to \mathbb R^+$, multiplied by a "mass parameter" $\varepsilon$. We show that, whenever $g$ is admissible, radial and decreasing, the unique minimizer of this functional among sets of given volume is the ball as soon as $\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 $E$ 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 $E$ 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:Ω\to Δ$, one has $Du(x)=0$ for almost every point $x$ for which $J_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 $W^{1,1}$ homeomorphism $u$ with $W^{1,1}$ inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) $u_n$ in such a way that $u_n$ converges to $u$ in $W^{1,1}$ and, at the same time, $u_n^{-1}$ converges to $u^{-1}$ in $W^{1,1}$. This positively answers an open conjecture (see for instance~\cite[Question~4]{arXiv:1009.0286}) for the case $p=1$.

preprint2015arXiv

On the piecewise approximation of bi-Lipschitz curves

In this paper we deal with the task of uniformly approximating an $L$-biLipschitz curve by means of piecewise linear ones. This is rather simple if one is satisfied to have approximating functions which are $L'$-biLipschitz, for instance this was already done with $L'= 4L$ in [Daneri-Pratelli, Lemma 5.5]. The main result of this paper is to do the same with $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 $\mathbb{R}^N$

In this paper, we consider the isoperimetric problem in the space $\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 $Ω^\ast\subset\mathbb{R}^d$ for spectral functionals $F\big(λ_1(Ω),\dots,λ_p(Ω)\big)$, which are bi-Lipschitz with respect to each of the eigenvalues $λ_1(Ω),\dots,λ_p(Ω)$ of the Dirichlet Laplacian on $Ω$, a prototype being the problem $$ \min{\big\{λ_1(Ω)+\dots+ λ_p(Ω)\;:\;Ω\subset\mathbb{R}^d,\ |Ω|=1\big\}}. $$ We prove the Lipschitz regularity of the eigenfunctions $u_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(Ω)$ or $λ_{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 $\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 $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.

preprint2011arXiv

Existence of minimizers for spectral problems

In this paper we show that any increasing functional of the first k eigenvalues of the Dirichlet Laplacian admits a (quasi-)open minimizer among the subsets of R^N of unit measure. In particular, there exists such a minimizer which is bounded, where the bound depends on k and N, but not on the functional. In the meantime, we show that the ratio λ_k(Ω)/λ_1(Ω) is uniformly bounded for sets Ω\in R^N.

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\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} $c_r$ of the cost $c$, so that the Monge-Kantorovich duality holds true replacing $c$ by $c_r$. In particular, passing from $c$ to $c_r$ only changes the value of the primal Monge-Kantorovich problem. Finally, the rectified function $c_r $ is lower semi-continuous as soon as $X$ and $Y$ are endowed with proper topologies, thus emphasizing the role of lower semi-continuity in the duality-theory of optimal transport.