Related papers: Poincar\'e inequality on subanalytic sets

We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$. We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator)…

We prove a sharp Poincar\'e inequality for subsets $\Omega$ of (essentially non-branching) metric measure spaces satisfying the Measure Contraction Property $\textrm{MCP}(K,N)$, whose diameter is bounded above by $D$. This is achieved by…

Let $n \geq 2$, let $\Omega \subset \mathbf{R}^n$ be a bounded domain with smooth boundary, and let $1 \leq p \leq 2$. We prove a reverse-Holder inequality for functions $u$ realizing the best constant in the Sobolev inequality, that is…

Let $\Omega$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq2.$ For $p>N$ and $1\leq q(p)<\infty$ set \[ \lambda_{p,q(p)}:=\inf\left\{ \int_{\Omega}\left\vert \nabla u\right\vert ^{p}\mathrm{d}x:u\in W_{0}^{1,p}(\Omega)\text{ \ and…

We show that the Poincar\'{e} inequality holds on an open set $D\subset\mathbb{R}^n$ if and only if $D$ admits a smooth, bounded function whose Laplacian has a positive lower bound on $D$. Moreover, we prove that the existence of such a…

In this paper we study the $\Gamma$-limit, as $p\to 1$, of the functional $$ J_{p}(u)=\frac{\displaystyle\int_\Omega |\nabla u|^p + \beta\int_{ \partial \Omega} |u|^p}{\displaystyle \int_\Omega |u|^p}, $$ where $\Omega$ is a smooth bounded…

In this note, we establish a Poincar\'e-type inequality on the hyperbolic space $\mathbb H^n$, namely \[ \|u\|_{p} \leqslant C(n,m,p) \|\nabla^m_g u\|_{p} \] for any $u \in W^{m,p}(\mathbb H^n)$. We prove that the sharp constant $C(n,m,p)$…

Let $\Omega$ be an open subset of $\mathbb R^n$, and let $f: \Omega \to \mathbb R$ be differentiable $\mathcal H^k$-almost everywhere, for some nonnegative integer $k < n$, where $\mathcal H^k$ denotes the $k$=dimensional Hausdorff measure.…

Consider the following inequalities due to Caffarelli, Kohn and Nirenberg {\it (Compositio Mathematica,1984):} $$\Big(\int_\Omega \frac{|u|^r}{|x|^s}dx\Big)^{\frac{1}{r}}\leq C(p,q,r,\mu,\sigma,s)\Big(\int_\Omega \frac{|\nabla…

In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…

Let $1<q<p$ and $a\in C(\overline{\Omega})$ be sign-changing, where $\Omega$ is a bounded and smooth domain of $\mathbb{R}^{N}$. We show that the functional \[ I_{q}(u):=\int_{\Omega}\left( \frac{1}{p}|\nabla…

Let $\Omega$ be a bounded domain of $\mathbf{R}^{N},$ $N\geq2.$ Let, for $p>N,$ \[ \Lambda_{p}(\Omega):=\inf\left\{ \left\Vert \nabla u\right\Vert _{p}^{p}:u\in W_{0}^{1,p}(\Omega)\quad and\quad\left\Vert u\right\Vert _{\infty}=1\right\} .…

Let $\Omega$ be a domain in $\mathbb{R}^d$, $d\geq 2$, and $1<p<\infty$. Fix $V\in L_{\mathrm{loc}}^\infty(\Omega)$. Consider the functional $Q$ and its G\^{a}teaux derivative $Q^\prime$ given by $$Q(u):=\int_\Omega (|\nabla…

Consider a regular domain $\Omega \subset \mathbb{R}^N$ and let $d(x)=\operatorname{dist}(x,\partial\Omega)$. Denote $L^{1,\infty}_a(\Omega)$ the space of functions from $L^{1,\infty}(\Omega)$ having absolutely continuous quasinorms. This…

Let $\Omega \subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(\Omega) \subset L^r(\Omega)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on…

In unbounded subset $\Omega$ in $R^n$ we study the operator $u\rightarrow gu$ as an operator defined in the Sobolev space $W^{r,p}(\Omega)$ and which takes values in $L^p(\Omega)$. The functions $g$ belong to wider spaces of $L^p$ connected…

Let $\Omega$ be an unbounded open subset of ${\mathbb R}^n$, $n \ge 2$, and $A : \Omega \times {\mathbb R}^n \to {\mathbb R}^n$ be a function such that $$ C_1 |\zeta|^p \le \zeta A (x, \zeta), \quad |A (x, \zeta)| \le C_2 |\zeta|^{p-1} $$…

We consider solutions $u\in W^{1,p}\big(\Omega;\mathbb{R}^{N}\big)$ of the $p$-Laplacian PDE \begin{equation} \nabla\cdot\big(a(x)|Du|^{p-2}Du\big)=0,\notag \end{equation} for $x\in\Omega\subseteq\mathbb{R}^{n}$, where $\Omega$ is open and…

We consider integral inequalities in the sense of Choquet with respect to the Hausdorff content $\mathcal{H}_\infty^{\delta}$. In particular, if $\Omega$ is a bounded John domain in $\mathbb{R}^n$, $n\geq 2$, and $0 <\delta \le n$, we prove…

In the context of Sobolev spaces with variable exponents, Poincar\'e--Wirtinger inequalities are possible as soon as Luxemburg norms are considered. On the other hand, modular versions of the inequalities in the expected form…