Contains a further development of the V.G. Maz'ya concept of polynomial capacities.A different different approach is given together with new results. The primary application is for Hardy inequalities. This is treated in a later report. Here is given an application which consists of a reformulation of the Spectral synthesis question in terms of polynomial capacities. However so far this does not give a new proof, though a similar but different question for the nonnegative cone in Sobobolev space of order 2 is resolved.
In a previous paper we developed a new method to obtain symmetrization inequalities of Sobolev type for functions in $W_{0}^{1,1}(Ω)$. In this paper we extend our method to Sobolev functions that do not vanish at the boundary.
In this note, we establish a $L^p-$version of the Poincaré--Sobolev inequalities in the hyperbolic spaces $\mathbb H^n$. The interest of this result is that it relates both the Poincaré (or Hardy) inequality and the Sobolev inequality with the sharp constant in $\mathbb H^n$. Our approach is based on the comparison of the $L^p-$norm of gradient of the symmetric decreasing rearrangement of a function in both the hyperbolic space and the Euclidean space, and the sharp Sobolev inequalities in Euclidean spaces. This approach also gives the proof of the Poincaré--Gagliardo--Nirenberg and Poincaré--…
We provide sufficient conditions for boundary Hardy inequality to hold in bounded Lipschitz domains, complement of a point (the so-called point Hardy inequality), domain above the graph of a Lipschitz function, the complement of a bounded Lipschitz domain in fractional Orlicz-Sobolev setting. As a consequence, we get sufficient conditions for regional fractional Orlicz Poincaré inequality in bounded Lipschitz domains. Necessary conditions for fractional Orlicz Hardy and regional fractional Orlicz Poincaré inequalities are also given for bounded Lipschitz domains. Various sufficient conditions …
By using quasi-Banach techniques as key ingredient we prove Poincaré- and Sobolev- type inequalities for $m$-subharmonic functions with finite $(p,m)$-energy. A consequence of the Sobolev type inequality is a partial confirmation of Błocki's integrability conjecture for $m$-subharmonic functions.
We introduce a class of weak solutions to the quasilinear equation $-Δ_p u = σ|u|^{p-2}u$ in an open set $Ω\subset\mathbf{R}^n$. Here $p>1$, and $Δ_p u$ is the $p$-Laplacian operator. Our notion of solution is tailored to general distributional coefficients $σ$ satisfying a certain weighted Sobolev-Poincare inequality. We also study weak solutions of the closely related equation $-Δ_p v = (p-1)|\nabla v|^p + σ$, under the same conditions on $σ$. Our results for this latter equation will allow us to characterize the class of distributions $σ$ which satisfy the Sobolev-Poincare inequality, there…
Let $Ω$ be an open set in a metric measure space $X$. Our main result gives an equivalence between the validity of a weighted Hardy-Sobolev inequality in $Ω$ and quasiadditivity of a weighted capacity with respect to Whitney covers of $Ω$. Important ingredients in the proof include the use of a discrete convolution as a capacity test function and a Maz'ya type characterization of weighted Hardy-Sobolev inequalities.
We establish several Poincaré--Sobolev type inequalities for the Lapalce--Beltrami operator $Δ_g$ in the hyperbolic space $\mathbb H^n$ with $n\geq 5$. These inequalities could be seen as the improved second order Poincaré inequality with remainder terms involving with the sharp Rellich inequality or sharp Sobolev inequality in $\mathbb H^n$. The novelty of these inequalities is that it combines both the sharp Poincaré inequality and the sharp Rellich inequality or the sharp Sobolev inequality for $Δ_g$ in $\mathbb H^n$. As a consequence, we obtain the Poincaré--Sobolev inequality for the seco…
In these notes, we present versions of trace theorems for Sobolev spaces over an interval in the real line, and also a one-dimensional version of the well-known Poincare inequality.
This article studies strong A-infinity weights in Ahlfors Q-regular and geodesic metric spaces satisfying a weak (1,s)-Poincare inequality for some 1<s<=Q, where Q is finite. It is shown that whenever max(1,Q-1)<s<=Q, a function u yields a strong A-infinity weight of the form w=exp(Qu) if u has a minimal s-weak upper gradient with sufficiently small Morrey norm. Similarly, it is proved that if 1<Q<p for some finite p, then w=exp(Qu) is a strong A-infinity weight whenever u has sufficiently small Besov p-seminorm.
We derive weighted Sobolev-Poincaré type inequalities in function spaces concerned with parabolic partial differential equations. We consider general weights depending on both space and time variables belonging to a Muckenhoupt class, so-called the parabolic $A_p$-class, where only the parabolic cubes are involved in the definition.
Log-Sobolev and Beckner inequalities and stability of Poincaré inequality with weighted Gaussian measures
School of Science and the Environment, Grenfell Campus, Memorial University of Newfoundland（纪念大学格伦菲分校科学与环境学院）；Department of Mathematics, University of Connecticut（康涅狄格大学数学系）
In this paper we will establish different weighted Poincaré inequalities with variable exponents on Carnot-Carathéodory spaces or Carnot groups. We will use different techniques to obtain these inequalities. For vector fields satisfying Hörmander's condition in variable non-isotropic Sobolev spaces, we consider a weight in the variable Muckenhoupt class $% A_{p(\cdot ),p^{\ast }(\cdot )}$, where the exponent $p(\cdot )$ satisfies appropriate hypotheses, and in this case we obtain the first order weighted Poincaré inequalities with variable exponents. In the case of Carnot groups we also set up…
We prove an improved version of Poincaré-Hardy inequality in suitable subspaces of the Sobolev space on the hyperbolic space via Bessel pairs. As a consequence, we obtain a new Hardy type inequality with an improved constant (than the usual Hardy constant). Furthermore, we derive a new kind of improved Caffarelli-Kohn-Nirenberg inequality on the hyperbolic space.
The notions of higher-order weighted multilinear Poincaré and Sobolev inequalities in Carnot groups are introduced. As an application, weighted Leibnitz-type rules in Campanato-Morrey spaces are established.
We prove generalizations of the Poincare and logarithmic Sobolev inequalities corresponding to the case of fractional derivatives in measure spaces with only a minimal amount of geometric structure. The class of such spaces includes (but is not limited to) spaces of homogeneous type with doubling measures. Several examples and applications are given, including Poincare inequalities for graph Laplacians, Fractional Poincare inequalities of Mouhot, Russ, and Sire [16], and implications for recent work of the author and R. M. Strain on the Boltzmann collision operator [10, 11, 9].
We study the a priori estimates,existence/nonexistence of radial sign changing solution, and the Palais-Smale characterisation of the problem $-\De_{\Bn}u - \la u = |u|^{p-1}u, u\in H^1(\Bn)$ in the hyperbolic space $\Bn$ where $1<p\leq\frac{N+2}{N-2}$. We will also prove the existence of sign changing solution to the Hardy-Sobolev-Mazya equation and the critical Grushin problem.
Let $X$ be a noncomplete metric space satisfying the usual (local) assumptions of a doubling property and a Poincaré inequality. We study extensions of Newtonian Sobolev functions to the completion $\widehat{X}$ of $X$ and use them to obtain several results on $X$ itself, in particular concerning minimal weak upper gradients, Lebesgue points, quasicontinuity, regularity properties of the capacity and better Poincaré inequalities. We also provide a discussion about possible applications of the completions and extension results to $p$-harmonic functions on noncomplete spaces and show by examples…
We use the distances introduced in a previous joint paper to exhibit the gradient flow structure of some drift-diffusion equations for a wide class of entropy functionals. Functional inequalities obtained by the comparison of the entropy with the entropy production functional reflect the contraction properties of the flow. Our approach provides a unified framework for the study of the Kolmogorov-Fokker-Planck (KFP) equation.
We present a unified strategy to derive Hardy-Poincaré inequalities on bounded and unbounded domains. The approach allows proving a general Hardy-Poincaré inequality from which the classical Poincaré and Hardy inequalities immediately follow. The idea also applies to the more general context of variable exponent Sobolev spaces. The argument, concise and constructive, does not require a priori knowledge of compactness results and retrieves geometric information on the best constants.
In this paper we study the existence and non-existence of minimizers for a type of (critical) Poincaré-Sobolev inequalities. We show that minimizers do exist for smooth domains in $\mathbb{R}^d$, an also for some polyhedral domains. On the other hand, we prove the non-existence of minimizers in the rectangular isosceles triangle in $\mathbb{R}^2$.
If $Ω\subset \R^n$ is a smooth bounded domain and $q \in (0, \frac{n}{n-1})$ we consider the Poincare-Sobolev inequality \[ c \Bigl(\int_Ω \abs{u}^\frac{n}{n-1}\Bigr)^{1-\frac{1}{n}} \le \int_Ω \abs{Du}, \] for every $u \in \mathrm{BV}(Ω)$ such that $\int_Ω \abs{u}^{q-1} u = 0$. We show that the sharp constant is achieved. We also consider the same inequality on an $n$--dimensional compact Riemannian manifold $M$. When $n \ge 3$ and the scalar curvature is positive at some point, then the sharp constant is achieved. In the case $n \ge 2$, we need the maximal scalar curvature to satisfy some st…
The purpose is to study the CR-manifold with a contact structure conformal to the Heisenberg group. In our previous work \cite{WY}, we have proved that if the $Q'$-curvature is nonnegative, and the integral of $Q'$-curvature is below the dimensional bound $c_1'$, then we have the isoperimetric inequality. In this paper, we manage to drop the condition on the nonnegativity of the $Q'$-curvature. We prove that the volume form $e^{4u}$ is a strong $A_\infty$ weight. As a corollary, we prove the Sobolev-Poincaré inequality on a class of CR-manifolds with integrable $Q'$-curvature.
Given $(M, g)$ a smooth compact $(n+1)$-dimensional Riemannian manifold with boundary $\partial M$. Let $ρ$ be a defining function of $M$ and $σ\in(0,1)$. In this paper we study a weighted Sobolev-Poincaré type trace inequality corresponding to the embedding of $W^{1,2}(ρ^{1-2 σ}, M) \hookrightarrow L^{p}(\partial M)$, where $p=\frac{2 n}{n-2 σ}$. More precisely, under some assumptions on the manifold, we prove that there exists a constant $B>0$ such that, for all $u \in W^{1,2}(ρ^{1-2σ}, M)$, $$ \Big(\int_{\partial M}|u|^{p} \,\ud s_{g}\Big)^{2/p} \leq μ^{-1} \int_{M} ρ^{1-2 σ}|\nabla_{g} u|^…
In this paper we unify and improve some of the results of Bourgain, Brezis and Mironescu and the weighted Poincaré-Sobolev estimate by Fabes, Kenig and Serapioni. More precisely, we get weighted counterparts of the Poincaré-Sobolev type inequality and also of the Hardy type inequality in the fractional case under some mild natural restrictions. A main feature of the results we obtain is the fact that we keep track of the behaviour of the constants involved when the fractional parameter approaches to $1$. Our main method is based on techniques coming from harmonic analysis related to the self-i…
We investigate the dependence of optimal constants in Poincaré- Sobolev inequalities of planar domains on the region where the Dirichlet condition is imposed. More precisely, we look for the best Dirichlet regions, among closed and connected sets with prescribed total length $L$ (one-dimensional Hausdorff measure), that make these constants as small as possible. We study their limiting behaviour, showing, in particular, that Dirichler regions homogenize inside the domain with comb-shaped structures, periodically distribuited at different scales and with different orientations. To keep track of…
This note is devoted to the proof of convex Sobolev (or generalized Poincaré) inequalities which interpolate between spectral gap (or Poincaré) inequalities and logarithmic Sobolev inequalities. We extend to the whole family of convex Sobolev inequalities results which have recently been obtained by Cattiaux and Carlen and Loss for logarithmic Sobolev inequalities. Under local conditions on the density of the measure with respect to a reference measure, we prove that spectral gap inequalities imply all convex Sobolev inequalities with constants which are uniformly bounded in the limit approach…
We prove a long standing conjecture concerning the fencing problem in the plane: among planar convex sets of given area, prove that the disc, and only the disc maximizes the length of the shortest area-bisecting curve. Although it may look intuitive, the result is by no means trivial since we also prove that among planar convex sets of given area the set which maximizes the length of the shortest bisecting chords is the so-called Auerbach triangle.
We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also show that they are strictly monotone in the direction of this line. In particular, they take their maximum and minimum precisely at two antipodal points on the boundary of $B$. We also prove that, for…
Our main result is an estimate for a sharp maximal function, which implies a Keith-Zhong type self-improvement property of Poincaré inequalities related to differentiable structures on metric measure spaces. As an application, we give structure independent representation for Sobolev norms and universality results for Sobolev spaces.
We prove Sobolev-Poincaré and Poincaré inequalities in variable Lebesgue spaces $L^{p(\cdot)}(Ω)$, with $Ω\subset{\mathbb R}^n$ a bounded John domain, with weaker regularity assumptions on the exponent $p(\cdot)$ that have been used previously. In particular, we require $p(\cdot)$ to satisfy a new \emph{boundary $\log$-Hölder condition} that imposes some logarithmic decay on the oscillation of $p(\cdot)$ towards the boundary of the domain. Some control over the interior oscillation of $p(\cdot)$ is also needed, but it is given by a very general condition that allows $p(\cdot)$ to be discontinu…
In this paper we study several inequalities of log-Sobolev type for Dunkl operators. After proving an equivalent of the classical inequality for the usual Dunkl measure $μ_k$, we also study a number of inequalities for probability measures of Boltzmann type of the form $e^{-|x|^p} dμ_k$. These are obtained using the method of $U$-bounds. Poincaré inequalities are obtained as consequences of the log-Sobolev inequality. The connection between Poincaré and log-Sobolev inequalities is further examined, obtaining in particular tight log-Sobolev inequalities. Finally, we study application to exponen…
The previous "Polynomial Capacities, Poincare' type inequalities and Spectral synthesis in Sobolev space" is a prerequisite. A parallell reading is recommended.
Let $Ω$ be an arbitrary bounded domain of $\R^n$. We study the right invertibility of the divergence on $Ω$ in weighted Lebesgue and Sobolev spaces on $Ω$, and rely this invertibility to a geometric characterization of $Ω$ and to weighted Poincaré inequalities on $Ω$. We recover, in particular, well-known results on the right invertibility of the divergence in Sobolev spaces when $Ω$ is Lipschitz or, more generally, when $Ω$ is a John domain, and focus on the case of $s$-John domains.
Consider the Poincaré-Sobolev inequality on the hyperbolic space: for every $n \geq 3$ and $1 < p \leq \frac{n+2}{n-2},$ there exists a best constant $S_{n,p, λ}(\mathbb{B}^{n})>0$ such that $$S_{n, p, λ}(\mathbb{B}^{n})\left(~\int \limits_{\mathbb{B}^{n}}|u|^{p+1} \, {\rm d}v_{\mathbb{B}^n} \right)^{\frac{2}{p+1}} \leq\int \limits_{\mathbb{B}^{n}}\left(|\nabla_{\mathbb{B}^{n}}u|^{2}-λu^{2}\right) \, {\rm d}v_{\mathbb{B}^n},$$ holds for all $u\in C_c^{\infty}(\mathbb{B}^n),$ and $λ\leq \frac{(n-1)^2}{4},$ where $\frac{(n-1)^2}{4}$ is the bottom of the $L^2$-spectrum of $-Δ_{\mathbb{B}^n}.$ It …
We provide new characterizations of Sobolev ad BV spaces in doubling and Poincare metric spaces in the spirit of the Bourgain-Brezis-Mironescu and Nguyen limit formulas holding in domains of R^N.
