Related papers: Poincar\'e inequality on subanalytic sets

The classical Poincar\'e inequality establishes that for any bounded regular domain $\Omega\subset \R^N$ there exists a constant $C=C(\Omega)>0$ such that $$ \int_{\Omega} |u|^2\, dx \leq C \int_{\Omega} |\nabla u|^2\, dx \ \ \forall u \in…

We first define the trace on a domain $\Omega$ which is definable in an o-minimal structure. We then show that every function $u\in W^{1,p}(\Omega)$ vanishing on the boundary in the trace sense satisfies Poincar\'e inequality. We finally…

The usual Sobolev inequality in $\mathbb{R}^N$, asserts that $\|\nabla u\|_{L^p(\mathbb{R}^N)} \geq \mathcal{S}\|u\|_{L^{p^*}(\mathbb{R}^N)}$ for $1<p<N$ and $p^*=\frac{pN}{N-p}$, with $\mathcal{S}$ being the sharp constant. Based on a…

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…

Let $p \in (1,\infty)$, $\alpha\in \mathbb{R}$, and $\Omega\subsetneq \mathbb{R}^N$ be a $C^{1,\gamma}$-domain with a compact boundary $\partial \Omega$, where $\gamma\in (0,1]$. Denote by $\delta_{\Omega}(x)$ the distance of a point $x\in…

Let $\Omega \subset \rr^2$ be a bounded simply connected domain. We show that, for a fixed (every) $p\in (1,\fz),$ the divergence equation $\mathrm{div}\,\mathbf{v}=f$ is solvable in $W^{1,p}_0(\Omega)^2$ for every $f\in L^p_0(\Omega)$, if…

For any convex set $\Omega \subset {\mathbb R} ^N$, we provide a lower bound for the inverse of the Poincar\'e constant in $W ^ {1, 1}(\Omega)$: it refines an inequality in terms of the diameter due to Acosta-Duran, via the addition of an…

This paper studies the inclusions between different Sobolev-Lorentz spaces $W^{1,(p,q)}(\Omega)$ defined on open sets $\Omega \subset {\mathbf{R}^n},$ where $n \ge 1$ is an integer, $1<p<\infty$ and $1 \le q \le \infty.$ We prove that if $1…

The Poincare Inequality is an extremely useful tool in the analysis of PDEs. A significant amount of literature has dealt with finding the optimal constant $C(p,\Omega)$, depending only the domain $\Omega$, and the $L^p$ norm in question.…

For $p \in (1,N)$ and $\Omega \subseteq \mathbb{R}^N$ open, the Beppo-Levi space $\mathcal{D}^{1,p}_0(\Omega)$ is the completion of $C_c^{\infty}(\Omega)$ with respect to the norm $\left( \int_{\Omega}|\nabla u|^p \right)^ \frac{1}{p}.$…

We make explicit the $p$-dependence of $C$ in the gradient estimate $\left\Vert \nabla u\right\Vert _{\infty}^{p-1}\leq C\left\Vert f\right\Vert _{N,1}$ by Cianchi and Maz'ya (2011). In such inequality, the constant $C$ is uniform with…

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and $1 < p < \infty$. We characterize $(1,p)$-extension domains in terms of inequalities of Bourgain--Brezis--Mironescu type. More precisely, we show that $\Omega$ is a $(1,p)$-extension…

It is shown that the $p$-Poincar\'e inequality holds on an open set $\Omega$ in $\mathbb{R}^n$ if and only if the strict $p$-capacitary inradius of $\Omega$ is finite. To that end, new upper and lower bounds for the infimum for the…

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

Classical boundary Hardy inequality, that goes back to 1988, states that if $1 < p < \infty, \ ~\Omega$ is bounded Lipschitz domain, then for all $u \in C^{\infty}_{c}(\Omega)$, $$\int_{\Omega} \frac{|u(x)|^{p}}{\delta^{p}_{\Omega}(x)} dx…

Given a bounded convex open set $\Omega\subseteq \mathbb R^N$, we prove that the Poincar\'e-Sobolev constants $\lambda_{p,q}(\Omega)$ can be bounded from below by the $p$-power of the ratio between the perimeter of $\Omega$ and a suitable…

In this paper we prove that if $\Omega\in\mathbb{R}^n$ is a bounded John domain, the following weighted Poincare-type inequality holds: $$ \inf_{a\in \mathbb{R}}\| (f(x)-a) w_1(x) \|_{L^q(\Omega)} \le C \|\nabla f(x) d(x)^\alpha w_2(x)…

We prove the solvability of the Dirichlet problem for the variable exponent $p$-Laplacian with boundary data in $W^{1,p(x)}(\Omega)$ on a bounded, smooth domain $\Omega \subset {\mathbb R}^n$. Our main focus will be on an a.e. finite…

For each $p>n$ we use local oscillations to give intrinsic characterizations of the trace of the Sobolev space $W^1_p(\Omega)$ to the boundary of an arbitrary domain $\Omega\subset R^n$.

Let $\Omega\subset\mathbb{R}^\nu$, $\nu\ge 2$, be a $C^{1,1}$ domain whose boundary $\partial\Omega$ is either compact or behaves suitably at infinity. For $p\in(1,\infty)$ and $\alpha>0$, define \[…