Search results for "equality"

Robustness of the Gaussian concentration inequality and the Brunn–Minkowski inequality

2016

We provide a sharp quantitative version of the Gaussian concentration inequality: for every $r>0$, the difference between the measure of the $r$-enlargement of a given set and the $r$-enlargement of a half-space controls the square of the measure of the symmetric difference between the set and a suitable half-space. We also prove a similar estimate in the Euclidean setting for the enlargement with a general convex set. This is equivalent to the stability of the Brunn-Minkowski inequality for the Minkowski sum between a convex set and a generic one.

Sobolev-type spaces from generalized Poincaré inequalities

2007

We de ne a Sobolev space by means of a generalized Poincare inequality and relate it to a corresponding space based on upper gradients. 2000 Mathematics Subject Classi cation: Primary 46E35, Secondary 46E30, 26D10

Notions of Dirichlet problem for functions of least gradient in metric measure spaces

2019

We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a (1, 1)-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of Juutinen and Mazón-Rossi–De León, solutions by considering the Dirichlet problem for p-harmonic functions, p>1, and letting p→1. Tools developed and used in this paper include the inner perimeter measure of a domain. Peer reviewed

Heisenberg quasiregular ellipticity

2016

Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $\pi_1(M)$ into the existence of a supersolution to the $4$-harmonic…

Hardy–Littlewood Inequality

2019

Generalized Harnack inequality for semilinear elliptic equations

2015

Abstract This paper is concerned with semilinear equations in divergence form div ( A ( x ) D u ) = f ( u ) , where f : R → [ 0 , ∞ ) is nondecreasing. We introduce a sharp Harnack type inequality for nonnegative solutions which is a quantified version of the condition for strong maximum principle found by Vazquez and Pucci–Serrin in [30] , [24] and is closely related to the classical Keller–Osserman condition [15] , [22] for the existence of entire solutions.

Self-improvement of pointwise Hardy inequality

2019

We prove the self-improvement of a pointwise p p -Hardy inequality. The proof relies on maximal function techniques and a characterization of the inequality by curves.

Korn inequality on irregular domains

2013

Abstract In this paper, we study the weighted Korn inequality on some irregular domains, e.g., s-John domains and domains satisfying quasihyperbolic boundary conditions. Examples regarding sharpness of the Korn inequality on these domains are presented. Moreover, we show that Korn inequalities imply certain Poincare inequality.

Sharp inequalities via truncation

2003

Abstract We show that Sobolev–Poincare and Trudinger inequalities improve to inequalities on Lorentz-type scales provided they are stable under truncations.

Improved Bounds for Hermite–Hadamard Inequalities in Higher Dimensions

2019

Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Ome…