Abstract:The classic Poincare inequality bounds the $L^q$-norm of a function $f$ in a bounded domain $\Omega \subset \R^n$ in terms of some $L^p$-norm of its gradient in $\Omega$. We generalize this in two ways: In the first generalization we remove a set $\Gamma$ from $\Omega$ and concentrate our attention on $\Lambda = \Omega \setminus \Gamma$. This new domain might not even be connected and hence no Poincare inequality can generally hold for it, or if it does hold it might have a very bad constant. This is so even if the volume of $\Gamma$ is arbitrarily small. A Poincare inequality does hold, however, if one makes the additional assumption that $f$ has a finite $L^p$ gradient norm on the whole of $\Omega$, not just on $\Lambda$. The important point is that the Poincare inequality thus obtained bounds the $L^q$-norm of $f$ in terms of the $L^p$ gradient norm on $\Lambda$ (not $\Omega$) plus an additional term that goes to zero as the volume of $\Gamma$ goes to zero. This error term depends on $\Gamma$ only through its volume. Apart from this additive error term, the constant in the inequality remains that of the `nice' domain $\Omega$. In the second generalization we are given a vector field $A$ and replace $\nabla $ by $\nabla +i A(x)$ (geometrically, a connection on a U(1) bundle). Unlike the A=0 case, the infimum of $\|(\nabla +i A)f\|_p $ over all $f$ with a given $\|f\|_q$ is in general not zero. This permits an improvement of the inequality by the addition of a term whose sharp value we derive. We describe some open problems that arise from these generalizations.

Hearing pseudoconvexity in Lipschitz domains with holes via $\overline\partial$

$\bar\partial$ Poincaré inequality and an improved $L^2$-estimate of $\bar\partial$ on bounded strictly pseudoconvex domains

Global regularity for the $\bar\partial$-Neumann problem on pseudoconvex manifolds

Sobolev and Hölder estimates for the $\overline \partial$ equation on pseudoconvex domains of finite type in $\mathbb C^2$

The $\bar\partial$-problem on $Z(q)$-domains

Boundary value problems for holomorphic functions on Lipschitz planar domains

Hearing the type of a domain in C^2 with the d-bar-Neumann Laplacian

On regularity of $\overline\partial$-solutions on $a_q$ domains with $C^2$ boundary in complex manifolds

Essential normality of quotient submodules over strongly pseudoconvex finite manifolds

Hermite--Hadamard inequalities for nearly-spherical domains

Poincare Inequalities in Punctured Domains

Discreteness of spectrum for the $\overline\partial$-Neumann Laplacian on manifolds of bounded geometry

Characterizations of the Sobolev space $\mathrm{H}^{1}$ on the boundary of a strong Lipschitz domain in 3-D

On generalized eigenvalue problems of fractional $(p,q)$-Laplace operator with two parameters

$L^2$ estimates and existence theorems for the $\overline{\partial}$ operators in infinite dimensions, II

A new way to express boundary values in terms of holomorphic functions on planar Lipschitz domains

On elliptic problems with mixed operators and Dirichlet-Neumann boundary conditions

On Convexity And Weak Closeness For The Set Of Phi-Superharmonic Functions

Tower multitype and global regularity of the $\bar\partial$-Neumann operator

Asymptotic characterizations of strong pseudoconvexity on pseudoconvex domains of finite type in $\mathbb{C}^2$

On the geometry of star domains and the spectra of Hodge-Laplace operators under domain approximation