Related papers: Generalized Gr\"unbaum inequality

In this article, we look for the weight functions (say $g$) that admits the following generalized Hardy-Rellich type inequality: $ \int_{\Omega} g(x) u^2 dx \leq C \int_{\Omega} |\Delta u|^2 dx, \forall u \in \mathcal{D}^{2,2}_0(\Omega), $…

Using a natural representation of a $1/s$-concave function on $\mathbb{R}^d$ as a convex set in $\mathbb{R}^{d+1},$ we derive a simple formula for the integral of its $s$-polar. This leads to convexity properties of the integral of the…

We consider the central limit theorem for stable laws in the case of the standardized sum of independent and identically distributed random variables with regular probability density function. By showing decay of different entropy…

Motivated by a discrete inequality problem proposed by Duanyang Zhang as Problem 6 of the 2022 Spring NSMO, we prove a median version of Hardy's inequality. For a nonnegative function $f\in L^p(0,\infty)$, $p>1$, let $A(t)$ be the average…

The Trudinger-Moser inequality states that for functions $u \in H_0^{1,n}(\Omega)$ ($\Omega \subset \mathbb R^n$ a bounded domain) with $\int_\Omega |\nabla u|^ndx \le 1$ one has $\int_\Omega (e^{\alpha_n|u|^{\frac n{n-1}}}-1)dx \le c…

Let $K$ be a finite simplicial complex, let $g\colon K\to K$ be a simplicial map and let $f$ be a discrete Morse-Bott function on $K$ satisfying $f(g(\sigma))\leq f(\sigma)$ for all simplices $\sigma$ in $K$. We establish a set of…

A classical result of Hensley provides a sharp lower bound for the functional $\int_\mathbb{R} t^2f$, where $f$ is a non-negative, even log-concave function. In the context of studying the minimal slabs of the unit cube, Barthe and…

In this paper, we prove that all finite solvable groups satisfy the Isaacs-Seitz conjecture namely the derived lenght of a finite solvable group G is less than or equal to the number of distinct irreducible complex character degrees of G.

For a real-valued measurable function $f$ and a nonnegative, nondecreasing function $\phi$, we first obtain a Chebyshev type inequality which provides an upper bound for $\displaystyle \phi(\lambda_{1}) \mu(\{x \in \Omega : f(x) \geq…

Let $E$ be a measurable subset in a segment $[0,r]$ in the positive part of the real axis in the complex plane, and $U=u-v$ be the difference of subharmonic functions $u\not\equiv -\infty$ and $v\not\equiv-\infty$ on the complex plane. An…

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which…

Let $\es$ be the family of analytic and univalent functions $f$ in the unit disk $\D$ with the normalization $f(0)=f'(0)-1=0$, and let $\gamma_n(f)=\gamma_n$ denote the logarithmic coefficients of $f\in {\es}$. In this paper, we study…

It is shown that, if nu >= 1/2 then the generalized Marcum Q function Q_nu(a, b) is log-concave in 0<=b <infty. This proves a conjecture of Sun, Baricz and Zhou (2010). We also point out relevant results in the statistics literature.

We prove a higher order generalization of Glaeser inequality, according to which one can estimate the first derivative of a function in terms of the function itself, and the Holder constant of its k-th derivative. We apply these…

We prove a generalized version of the classic deformation lemma from Morse Theory that considers functions going to $-\infty$ at a compact set, and allowing the lower value of the deformation to be $-\infty$. The result is valid for a class…

Let $f(z)=\sum_{n=1}^\infty a(n)q^n\in S^{\text{new}}_ k (\Gamma_0(N))$ be a newform with squarefree level $N$ that does not have complex multiplication. For a prime $p$, define $\theta_p\in[0,\pi]$ to be the angle for which $a(p)=2p^{( k…

The logarithmic coefficients $\gamma_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ is defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…

For an entire mapping $f:\mathbb C\mapsto\mathbb C$ and a triple $(p,\alpha, r)\in (0,\infty)\times(-\infty,\infty)\times(0,\infty]$, the Gaussian integral means of $f$ (with respect to the area measure $dA$) is defined by $$ {\mathsf…

In a statistical mechanics model with unbounded spins, we prove uniqueness of the Gibbs measure under various assumptions on finite volume functional inequalities. We follow the approach of G. Royer (1999) and obtain uniqueness by showing…

Let $F:[a,b]\longrightarrow \R$ have zero derivative in a dense subset of $[a,b]$. What else we need to conclude that $F$ is constant in $[a,b]$? We prove a result in this direction using some new Mean Value Theorems for integrals which are…