Related papers: Uniform Poincar\'e inequality in o-minimal structu…
In a statistical mechanics model with unbounded spins, we prove uniqueness of the Gibbs measure under various assumptions on finite volume functional inequalities. We follow the approach of G. Royer (1999) and obtain uniqueness by showing…
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
The goal of this paper is to continue the study of the relation between the Poincar\'e inequality and the lower bounds of Minkowski content of separating sets, initiated in our previous work [Caputo, Cavallucci: Poincar\'e inequality and…
In this paper, we obtain estimates on the quantitative strata of the critical set of non-trivial harmonic functions $u$ which vanish continuously on $V \subset \partial \Omega$, a relatively open subset of the boundary of a convex domain…
We consider the problem of the minimizer constancy in the fractional embedding theorem $\mathcal{H}^s(\Omega) \hookrightarrow L_q(\Omega)$ for a bounded Lipschitz domain $\Omega,$ depending on the domain size. For the family of domains…
In this manuscript, we delve into the study of maps $u\in W^{1,2}(\Omega;\overline M)$ that minimize the Alt-Caffarelli energy functional $$ \int_\Omega (|Du|^2 + q^2 \chi_{u^{-1}(M)})\,dx, $$ under the condition that the image $u(\Omega)$…
The Trudinger-Moser inequality states that for functions $u \in H_0^{1,n}(\Omega)$ ($\Omega \subset \mathbb R^n$ a bounded domain) with $\int_\Omega |\nabla u|^ndx \le 1$ one has $\int_\Omega (e^{\alpha_n|u|^{\frac n{n-1}}}-1)dx \le c…
We work in a class of Sobolev $W^{1,p}$ maps, with $p > d-1$, from a bounded open set $\Omega \subset \mathbb{R}^{d}$ to $\mathbb{R}^{d}$ that do not exhibit cavitation and whose trace on $\partial \Omega$ is also $W^{1,p}$. Under the…
We consider various notions of vanishing mean oscillation on a (possibly unbounded) domain $\Omega \subset \mathbb{R}^n$, and prove an analogue of Sarason's theorem, giving sufficient conditions for the density of bounded Lipschitz…
Let $\Omega \subset \mathbb{R}^n$ be a domain that supports the $p$-Poincar\'e inequality. Given a homeomorphism $\varphi \in L^1_p(\Omega)$, for $p>n$ we show the domain $\varphi(\Omega)$ has finite geodesic diameter. This result has a…
For a bounded domain $\Omega\subset\mathbb{R}^m, m\geq 2,$ of class $C^0$, the properties are studied of fields of `good directions', that is the directions with respect to which $\partial\Omega$ can be locally represented as the graph of a…
We investigate properties of measures in infinite dimensional spaces in terms of Poincar\'e inequalities. A Poincar\'e inequality states that the $L^2$ variance of an admissible function is controlled by the homogeneous $H^1$ norm. In the…
Let $\Omega \subseteq \mathbb{R}^d$ be open and $D\subseteq \partial\Omega$ be a closed part of its boundary. Under very mild assumptions on $\Omega$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k ,…
Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincar\'e inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure…
Poincar\'{e}-Sobolev-type inequalities involving rearrangement-invariant norms on the entire $\mathbb{R}^n$ are provided. Namely, inequalities of the type $\|u-P\|_{Y(\mathbb{R}^n)}\leq C\|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$…
We prove an upper bound on the trace of any 2-positive, trace-preserving map in terms of its smallest eigenvalue. We show that this spectral bound is tight, and that 2-positivity is necessary for this inequality to hold in general.…
Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.
Let $\Omega \subset \mathbb{R}^{n+1}$, $n \geq 1$, be an open and connected set. Set $\mathcal{T}_n$ to be the set of points $\xi \in \partial \Omega$ so that there exists an approximate tangent $n$-plane for $\partial\Omega$ at $\xi$ and…
We show that a class of Poincar\'e-Wirtinger inequalities on bounded convex sets can be obtained by means of the dynamical formulation of Optimal Transport. This is a consequence of a more general result valid for convex sets, possibly…
Let $\Omega \subset \mathbb{R}^n$ be a convex. If $u: \Omega \rightarrow \mathbb{R}$ has mean 0, then we have the classical Poincar\'{e} inequality $$ \|u \|_{L^p} \leq c_p \mbox{diam}(\Omega) \| \nabla u \|_{L^p}$$ with sharp constants…