Related papers: Uniform Poincar\'e inequality in o-minimal structu…
In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in…
We prove Sobolev-Poincar\'e and Poincar\'e inequalities in variable Lebesgue spaces $L^{p(\cdot)}(\Omega)$, with $\Omega\subset{\mathbb R}^n$ a bounded John domain, with weaker regularity assumptions on the exponent $p(\cdot)$ that have…
Let $\Omega$ be a domain in a smooth complete Finsler manifold, and let $G$ be the largest open subset of $\Omega$ such that for every $x$ in $G$ there is a unique closest point from $\partial \Omega$ to $x$ (measured in the Finsler…
Given a bounded Euclidean domain $\Omega$, we consider the sequence of optimisers of the $k^{\rm th}$ Laplacian eigenvalue within the family consisting of all possible disjoint unions of scaled copies of $\Omega$ with fixed total volume. We…
We discuss the solvability of Dirichlet problems of the type $- \Delta_{p, w} u = \sigma$ in $\Omega$; $u = 0$ on $\partial \Omega$, where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$, $\Delta_{p, w}$ is a weighted $(p, w)$-Laplacian…
We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…
In this paper, we consider minimizers of integral functionals of the type \begin{equation*} \mathcal{F}(u):= \int_\Omega \dfrac{1}{p} \bigl( |Du(x)|_{\gamma(x)}-1\bigr)_+^p \ \mathrm{d}x, \end{equation*} for $p >1$, where $u : \Omega…
Here we solve the problem posed by Comte and Lachand-Robert in (2001). Take a bounded domain \Omega in R^2 and a piecewise smooth non-positive function u : \bar{\Omega} \to R vanishing on the boundary of \Omega. Consider a flow of point…
We consider minimizers of \[ F(\lambda_1(\Omega),\ldots,\lambda_N(\Omega)) + |\Omega|, \] where $F$ is a function nondecreasing in each parameter, and $\lambda_k(\Omega)$ is the $k$-th Dirichlet eigenvalue of $\Omega$. This includes, in…
We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincar\'e inequality. We show that solutions exist under…
It is a well-known fact that in a Lipschitz domain \Omega\subset R^n a p-Hardy inequality, with weight d(x,\partial\Omega)^\beta, holds for all u\in C_0^\infty(\Omega) whenever \beta<p-1. We show that actually the same is true under the…
Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.
We consider the functional $$I_\Omega(v) = \int_\Omega [f(|Dv|) - v] dx,$$ where $\Omega$ is a bounded domain and $f$ is a convex function. Under general assumptions on $f$, G. Crasta [Cr1] has shown that if $I_\Omega$ admits a minimizer in…
We prove a fractional version of Poincar\'e inequalities in the context of $\R^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non local quantity, which plays the role of the gradient in the…
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…
In the first part of this paper we prove some new Poincar\'e inequalities, with explicit constants, for domains of any hypersurface of a Riemannian manifold with sectional curvatures bounded from above. This inequalities involve the first…
Let $\Omega \subseteq \mathbb{R}^n$ be a bounded open $C^{1,1}$ set. In this paper we prove the existence of a unique second order absolute minimiser $u_\infty$ of the functional \[ \mathrm{E}_\infty (u,\mathcal{O})\, :=\, \|…
Given an unbounded domain $\Omega$ of a Hadamard manifold $M$, it makes sense to consider the problem of finding minimal graphs with prescribed continuous data on its cone-topology-boundary, i.e., on its ordinary boundary together with its…
Given a smooth positive function $f$ defined on the unit circle satisfying a simple condition, we obtain a Poincar\'{e}-type inequality for an arbitrary function $u$ whose weighted average with respect to $f$ is zero. The proof uses…
Wang and Ye conjectured in [22]: Let $\Omega$ be a regular, bounded and convex domain in $\mathbb{R}^{2}$. There exists a finite constant $C({\Omega})>0$ such that \[ \int_{\Omega}e^{\frac{4\pi u^{2}}{H_{d}(u)}}dxdy\le C(\Omega),\;\;\forall…