Related papers: An Elegant Inequality
The celebrated Hardy inequality can be written in the form $$\int_0^\infty \mathcal{P}_p \big(f|_{[0,x]}\big)dx \le (1-p)^{-1/p} \int_0^\infty f(x)\:dx \qquad \text{ for }p\in(0,1)\text{ and }f \in L^1\text{ with }f\ge0,$$ where…
We give a~new proof of the known criteria for the inequality \begin{equation*} \left(\int_{0}^{\infty}\left(\int_{0}^{t}f\right)^{q}w(t)\,dt\right)^{\frac{1}{q}} \leq C \left(\int_{0}^{\infty}f^{p}v\right)^{\frac{1}{p}}. \end{equation*} The…
A well-known conjecture asserts that there are infinitely many primes $p$ for which $p - 1$ is a perfect square. We obtain upper and lower bounds of matching order on the number of pairs of distinct primes $p,q \le x$ for which $(p - 1)(q -…
In this paper we give an extension of the classical Caffarelli-Kohn-Nirenberg inequalities: we show that for $1<p,q<\infty$, $0<r<\infty$ with $p+q\geq r$, $\delta\in[0,1]\cap\left[\frac{r-q}{r},\frac{p}{r}\right]$ with $\frac{\delta…
Young's integral inequality is complemented with an upper bound to the remainder. The new inequality turns out to be equivalent to Young's inequality, and the cases in which the equality holds become particularly transparent in the new…
In this article, we present four issues and provide a creative and concise proof for each of them. The four issues are: 1- Inequality $\frac{1}{\sqrt{n\pi+\frac{\pi}{2}}}<\frac{\binom{2n}{n}}{2^{2n}}<\frac{1}{\sqrt{n\pi}}$ 2- A special case…
We refine the classical Cauchy--Schwartz inequality $\|X\|_{1} \leq \|X\|_{2}$ by demonstrating that for any $p$ and $q$ with $q>p>2$, there exists a constant $C=C(p,q)$ such that $\|X\|_1 \leq 1 - C \Big{(}\|X\|_p^p -…
The celebrated Heinz inequality asserts that $ 2|||A^{1/2}XB^{1/2}|||\leq |||A^{\nu}XB^{1-\nu}+A^{1-\nu}XB^{\nu}|||\leq |||AX+XB|||$ for $X \in \mathbb{B}(\mathscr{H})$, $A,B\in \+$, every unitarily invariant norm $|||\cdot|||$ and $\nu \in…
We improve the classical discrete Hardy inequality for $ 1<p<\infty $ for functions on the natural numbers. For integer values of $ p $ the Hardy weight is an absolutely monotonic function.
Let $p>1$ and $1/p+1/q=1$. Consider H\"older's inequality $$ \|ab^*\|_1\le \|a\|_p\|b\|_q $$ for the $p$-norms of some trace ($a,b$ are matrices, compact operators, elements of a finite $C^*$-algebra or a semi-finite von Neumann algebra).…
Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}}…
We show that for real numbers $p,\,q$ with $q<p$, and the related power means $\mathscr{P}_p$, $\mathscr{P}_q$, the inequality $$\frac{\mathscr{P}_p(x)}{\mathscr{P}_q(x)} \le \exp \bigg( \frac{p-q}8 \cdot \bigg(\ln\bigg(\frac{\max x}{\min…
We prove fractional boundary Hardy's inequality in dimension one for the critical case $sp =1$. Optimality of the inequality is obtained for any $p$. The extra logarithmic correction term appears in usual fashion. We also provide a concrete…
In this paper, we prove the twin prime conjecture showing that \begin{align} \sum \limits_{\substack{p\leq x\\p,p+2\in \mathbb{P}}}1\geq (1+o(1))\frac{x}{2\mathcal{C}\log^2 x}\nonumber \end{align} where $\mathcal{C}:=\mathcal{C}(2)>0$ fixed…
Motivated by the inequality $\|f+g\|_{2}^{2} \leq \|f\|_{2}^{2}+2\|fg\|_{1}+\|g\|^{2}_{2}$, Carbery (2006) raised the question what is the "right" analogue of this estimate in $L^{p}$ for $p \neq 2$. Carlen, Frank, Ivanisvili and Lieb…
Ratios of quantiles are often computed for income distributions as rough measures of inequality, and inference for such ratios have recently become available. The special case when the quantiles are symmetrically chosen; that is, when the…
For $p\in (1,\infty)$ and $\alpha\in\mathbb{R}$, we consider measurable functions $g$ on $\mathbb{S}^{N-1}$ that satisfy the following weighted Hardy inequality: \begin{equation}\label{abs} \int_{\mathbb{R}^N}\frac{ g…
The goal of this note is to provide an alternative proof of Theorem 1.1 (i) in [4], that is, if $n\geq 2$ and $M^{\alpha}$ is bounded on $L^{p}(\mathbb{R}^{n})$ for some $\alpha\in \mathbb{C}$ and $p\geq 2$, then we have \begin{align*}…
We provide an elementary proof of the left side inequality and improve the right inequality in \bigg[\frac{n!}{x-(x^{-1/n}+\alpha)^{-n}}\bigg]^{\frac{1}{n+1}}&<((-1)^{n-1}\psi^{(n)})^{-1}(x)…
In this paper authors establish the two sided inequalities for the following two new means $$X=X(a,b)=Ae^{G/P-1},\quad Y=Y(a,b)=Ge^{L/A-1}.$$ As well as many other well known inequalities involving the identric mean $I$ and the logarithmic…