In this paper, we prove contact Poincaré and Sobolev inequalities in Heisenberg groups $\mathbb{H}^{n}$, where the word ‘contact’ is meant to stress that de Rham’s exterior differential is replaced by the exterior differential of the so-called Rumin complex $(E_{0}^{\bullet },d_{c})$, which recovers the scale invariance under the group dilations associated with the stratification of the Lie algebra of $\mathbb{H}^{n}$. In addition, we construct smoothing operators for differential forms on sub-Riemannian contact manifolds with bounded geometry, which act trivially on cohomology. For instance, this allows us to replace a closed form, up to adding a controlled exact form, with a much more regular differential form.

Barnard and Steinerberger [‘Three convolution inequalities on the real line with connections to additive combinatorics’, Preprint, 2019, arXiv:1903.08731] established the autocorrelation inequality

$$\begin{eqnarray}\min _{0\leq t\leq 1}\int _{\mathbb{R}}f(x)f(x+t)\,dx\leq 0.411||f||_{L^{1}}^{2}\quad \text{for}~f\in L^{1}(\mathbf{R}),\end{eqnarray}$$

$0.411$

$0.37$

$f$

$$\begin{eqnarray}\max _{x_{1}\in \mathbb{R}}\min _{0\leq t\leq 1}\left[f(x_{1}-t)+f(x_{1}+t)\right]\leq \min _{x_{2}\in \mathbb{R}}\max _{0\leq t\leq 1}\left[f(x_{2}-t)+f(x_{2}+t)\right].\end{eqnarray}$$

$f$

$||f||_{L^{1}}$

$d,n\in \mathbb{Z}^{+}$

$f\in L^{1}$

$A$

$d\times n$

$a_{i}$

$1\leq i\leq n$

$C$

$A$

$f$

$$\begin{eqnarray}\min _{\mathbf{t}\in [0,1]^{d}}\int _{\mathbb{R}}\mathop{\prod }_{i=1}^{n}~f(x+\mathbf{t}\cdot a_{i})\,dx\leq C||f||_{L^{1}}^{n}.\end{eqnarray}$$

We completely characterize the validity of the inequality $\| u \|_{Y(\mathbb R)} \leq C \| \nabla^{m} u \|_{X(\mathbb R)}$, where X and Y are rearrangement-invariant spaces, by reducing it to a considerably simpler one-dimensional inequality. Furthermore, we fully describe the optimal rearrangement-invariant space on either side of the inequality when the space on the other side is fixed. We also solve the same problem within the environment in which the competing spaces are Orlicz spaces. A variety of examples involving customary function spaces suitable for applications is also provided.

We present some inequalities for the mappings defined by Dragomir [‘Two mappings in connection to Hadamard’s inequalities’, J. Math. Anal. Appl.167 (1992), 49–56]. We analyse known inequalities connected with these mappings using a recently developed method connected with stochastic orderings and Stieltjes integrals. We show that some of these results are optimal and others may be substantially improved.

We establish inequalities of Jensen’s and Slater’s type in the general setting of a Hermitian unital Banach $\ast$-algebra, analytic convex functions and positive normalised linear functionals.

Zacharias [‘Proof of a conjecture of Merca on an average of square roots’, College Math. J.49 (2018), 342–345] proved Merca’s conjecture that the arithmetic means $(1/n)\sum _{k=1}^{n}\sqrt{k}$ of the square roots of the first $n$ integers have the same floor values as a simple approximating sequence. We prove a similar result for the arithmetic means $(1/n)\sum _{k=1}^{n}\sqrt[3]{k}$ of the cube roots of the first $n$ integers.

The Friedgut–Kalai–Naor (FKN) theorem states that if ƒ is a Boolean function on the Boolean cube which is close to degree one, then ƒ is close to a dictator, a function depending on a single coordinate. The author has extended the theorem to the slice, the subset of the Boolean cube consisting of all vectors with fixed Hamming weight. We extend the theorem further, to the multislice, a multicoloured version of the slice.

As an application, we prove a stability version of the edge-isoperimetric inequality for settings of parameters in which the optimal set is a dictator.

In this paper, we prove several new Hardy type inequalities (such as the weighted Hardy inequality, weighted Rellich inequality, critical Hardy inequality and critical Rellich inequality) related to the radial derivation (i.e., the derivation along the geodesic curves) on the Cartan–Hadamard manifolds. By Gauss lemma, our new Hardy inequalities are stronger than the classical ones. We also establish the improvements of these inequalities in terms of sectional curvature of the underlying manifolds which illustrate the effect of curvature to these inequalities. Furthermore, we obtain some improvements of Hardy and Rellich inequalities on the hyperbolic space ℍn. Especially, we show that our new Rellich inequalities are indeed stronger than the classical ones on the hyperbolic space ℍn.

The Hardy-Rellich inequality in the whole space with the best constant was firstly proved by Tertikas and Zographopoulos in Adv. Math. (2007) in higher dimensions N ⩾ 5. Then it was extended to lower dimensions N ∈ {3, 4} by Beckner in Forum Math. (2008) and Ghoussoub-Moradifam in Math. Ann. (2011) by applying totally different techniques.

In this note, we refine the method implemented by Tertikas and Zographopoulos, based on spherical harmonics decomposition, to give an easy and compact proof of the optimal Hardy–Rellich inequality in any dimension N ⩾ 3. In addition, we provide minimizing sequences which were not explicitly mentioned in the quoted papers in lower dimensions N ∈ {3, 4}, emphasizing their symmetry breaking. We also show that the best constant is not attained in the proper functional space.

The aim of this paper is to find a broad family of means defined on a subinterval of $I\subset [0,+\infty )$ such that

$$\begin{eqnarray}\mathop{\sum }_{n=1}^{\infty }\mathscr{M}(a_{1},\ldots ,a_{n})<+\infty \quad \text{for all }a\in \ell _{1}(I).\end{eqnarray}$$

$(a_{1},\,a_{2},a_{3}\,,\ldots )\mapsto (a_{1},\,\mathscr{M}(a_{1},a_{2}),\,\mathscr{M}(a_{1},a_{2},a_{3}),\ldots )$

$\ell _{1}(I)$

$f^{-1}(\sum f(a_{i})/n)$

$f:I\rightarrow \mathbb{R}$

$n\in \mathbb{N}$

$a\in I^{n}$

In this paper, we prove some reverse discrete inequalities with weights of Muckenhoupt and Gehring types and use them to prove some higher summability theorems on a higher weighted space $l_{w}^{p}({\open N})$ form summability on the weighted space $l_{w}^{q}({\open N})$ when p>q. The proofs are obtained by employing new discrete weighted Hardy's type inequalities and their converses for non-increasing sequences, which, for completeness, we prove in our special setting. To the best of the authors' knowledge, these higher summability results have not been considered before. Some numerical results will be given for illustration.

We prove optimal improvements of the Hardy inequality on the hyperbolic space. Here, optimal means that the resulting operator is critical in the sense of Devyver, Fraas, and Pinchover (2014), namely the associated inequality cannot be further improved. Such inequalities arise from more general, optimal ones valid for the operator $ P_{\lambda }:= -\Delta _{{\open H}^{N}} - \lambda $ where 0 ⩽ λ ⩽ λ1(ℍN) and λ1(ℍN) is the bottom of the L2 spectrum of $-\Delta _{{\open H}^{N}} $, a problem that had been studied in Berchio, Ganguly, and Grillo (2017) only for the operator $P_{\lambda _{1}({\open H}^{N})}$. A different, critical and new inequality on ℍN, locally of Hardy type is also shown. Such results have in fact greater generality since they are proved on general Cartan-Hadamard manifolds under curvature assumptions, possibly depending on the point. Existence/nonexistence of extremals for the related Hardy-Poincaré inequalities are also proved using concentration-compactness technique and a Liouville comparison theorem. As applications of our inequalities, we obtain an improved Rellich inequality and we derive a quantitative version of Heisenberg-Pauli-Weyl uncertainty principle for the operator $P_\lambda.$

Let ρ be a monotone quasinorm defined on ${\rm {\frak M}}^ + $, the set of all non-negative measurable functions on [0, ∞). Let T be a monotone quasilinear operator on ${\rm {\frak M}}^ + $. We show that the following inequality restricted on the cone of λ-quasiconcave functions

$$\rho (Tf) \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

$1\les p\les \infty $

$$\left( {\int_0^\infty {{\left( {\int_0^x f u} \right)}^q} w(x){\rm d}x} \right)^{1/q} \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

We prove that if p > 1, $w\in A_p^ +$, b ∈ CMO and $C_b^ + $ is the commutator with symbol b of a Calderón–Zygmund convolution singular integral with kernel supported on (−∞, 0), then $C_b^ + $ is compact from Lp(w) into itself.

In this paper, we study under what boundary conditions the inequality

$${\rm \Vert }\nabla \omega {\rm \Vert }_{L^2(\Omega )}^2 \les C({\rm \Vert }{\rm curl}\omega {\rm \Vert }_{L^2(\Omega )}^2 + {\rm \Vert }{\rm div}\omega {\rm \Vert }_{L^2(\Omega )}^2 + {\rm \Vert }\omega {\rm \Vert }_{L^2(\Omega )}^2 )$$

In this paper, we will use optimal mass transport combining with suitable transforms to study the sharp constants and optimizers for a class of the Gagliardo–Nirenberg and Caffarelli–Kohn–Nirenberg inequalities. Moreover, we will investigate these inequalities with and without the monomial weights $x_{1}^{A_{1}} \cdots x_{N}^{A_{N}}$ on ℝN.

We establish some weighted integral inequalities of Ostrowski, Čebyšev and Lupaş type and give applications for continuous probability density functions supported on infinite intervals.

In this paper, we focus on the multivariate Hausdorff operator of the form

$$\begin{eqnarray}\mathbf{H}_{\unicode[STIX]{x1D6F7}}(f)(x)=\int _{(0,+\infty )^{n}}{\displaystyle \frac{\unicode[STIX]{x1D6F7}\big(\frac{x_{1}}{t_{1}},\frac{x_{2}}{t_{2}},\ldots ,\frac{x_{n}}{t_{n}}\big)}{t_{1}t_{2}\cdots t_{n}}}f(t_{1},t_{2},\ldots ,t_{n})\,\mathbf{dt},\end{eqnarray}$$

$\mathbf{dt}=dt_{1}\,dt_{2}\cdots \,dt_{n}$

$\mathbf{dt}=d_{q}t_{1}\,d_{q}t_{2}\cdots d_{q}t_{n}$

$q$

$L^{p}$

$p\in \mathbb{R}\backslash \{0\}$

For bounded domains Ω, we prove that the Lp-norm of a regular function with compact support is controlled by weighted Lp-norms of its gradient, where the weight belongs to a class of symmetric non-negative definite matrix-valued functions. The class of weights is defined by regularity assumptions and structural conditions on the degeneracy set, where the determinant vanishes. In particular, the weight A is assumed to have rank at least 1 when restricted to the normal bundle of the degeneracy set S. This generalization of the classical Poincaré inequality is then applied to develop a robust theory of first-order Lp-based Sobolev spaces with matrix-valued weight A. The Poincaré inequality and these Sobolev spaces are then applied to produce various results on existence, uniqueness and qualitative properties of weak solutions to boundary-value problems for degenerate elliptic, degenerate parabolic and degenerate hyperbolic partial differential equations (PDEs) of second order written in divergence form, where A is calibrated to the matrix of coefficients of the second-order spatial derivatives. The notion of weak solution is variational: the spatial states belong to the matrix-weighted Sobolev spaces with p = 2. For the degenerate elliptic PDEs, the Dirichlet problem is treated by the use of the Poincaré inequality and Lax–Milgram theorem, while the treatment of the Cauchy–Dirichlet problem for the degenerate evolution equations relies only on the Poincaré inequality and the parabolic and hyperbolic counterparts of the Lax–Milgram theorem.

We study some Hardy-type inequalities involving a general norm in ℝn and an anisotropic distance function to the boundary. The case of the optimality of the constants is also addressed.