Related papers: A sharp Wirtinger inequality and some related func…

We consider the problem of the stability (with sharp exponent) of the Lieb--Solovej inequality for symmetric $SU(N)$ coherent states, which was obtained only recently by the authors. Here, we propose an elementary proof of this result,…

Let $u$ be a nonnegative, local, weak solution to the porous medium equation for $m\ge2$ in a space-time cylinder $\Omega_T$. Fix a point $(x_o,t_o)\in\Omega_T$: if the average \[…

We prove a contractive Hardy-Littlewood type inequality for functions from $H^p(\mathbb{T})$, $0 < p \le 2$ which is sharp in the first two Taylor coefficients and asymptotically at infinity.

Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0…

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 $\Omega$ be an unbounded open subset of ${\mathbb R}^n$, $n \ge 2$, and $A : \Omega \times {\mathbb R}^n \to {\mathbb R}^n$ be a function such that $$ C_1 |\zeta|^p \le \zeta A (x, \zeta), \quad |A (x, \zeta)| \le C_2 |\zeta|^{p-1} $$…

We extend to a functional setting the concept of quermassintegrals, well-known within the Minkowski theory of convex bodies. We work in the class of quasi-concave functions defined on the Euclidean space, and with the hierarchy of their…

We prove a sharp Hardy inequality for fractional integrals for functions that are supported on a general domain. The constant is the same as the one for the half-space and hence our result settles a recent conjecture of Bogdan and Dyda.

We derive a new criterion for a real-valued function $u$ to be in the Sobolev space $W^{1,2}(\R^n)$. This criterion consists of comparing the value of a functional $\int f(u)$ with the values of the same functional applied to convolutions…

We completely characterize the validity of the inequality $\|u\|_{Y(\mathbb{R}^n)}\leq C \|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$ are rearrangement-invariant spaces, by reducing it to a considerably simpler one-dimensional…

In this work, we prove a critical version of a Hardy-Rellich type inequality. We show that for $N\geq 1$ there exists a constant $C_N>0$ such that \[ \int_{\mathbb R^N}\left|\nabla\left(\frac{u(x)}{|x|}\right)\right|^N\,\mathrm{d}x\leq…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

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…

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…

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…

In this paper, using a more generalized inequality instead of triangle inequality, the notion of \theta-metric space is introduced. Some important properties of induced topology by such spaces are presented. Also, Banach and Caristi type…

In this paper we prove a Moser-Trudinger inequality for the Euler-Lagrange functional of a general singular Liouville system. We characterize the values of the parameters which yield coercivity for the functional and we give necessary…

Given a smooth positive function $f$ defined on the unit circle satisfying a simple condition, we obtain a Poincar\'{e}-type inequality for an arbitrary function $u$ whose weighted average with respect to $f$ is zero. The proof uses…

We prove sharp inequalities of Hardy type for functions in the Sobolev space $W^{1,p}$ on the unit sphere $\mathbb{S}^{n-1}$ in $\mathbb{R}^{n}$. We achieve this in both the subcritical and critical cases. The method we use to show…

For $f$ convex and increasing, we prove the inequality $ \int f(|U'|) \geq \int f(nT')$, every time that $U$ is a Sobolev function of one variable and $T$ is the non-decreasing map defined on the same interval with the same image measure as…