# Tagged Questions

**-1**

votes

**0**answers

56 views

### Rising Sun Inequality (Dunford-Schwartz maximal inequality) [migrated]

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an absolutely integrable function, and let $f^*:\mathbb{R} \rightarrow \mathbb{R}$ be the one-sided signed Hardy-Littlewood maximal function
$$f^*(x) := ...

**6**

votes

**2**answers

152 views

### Local-to-global inequalities for measures: Brunn-Minkowski, Ahlswede-Daykin, what else?

This question is motivated by an obvious formal analogy between two well-known inequalities:
Log-concavity and Brunn-Minkowski inequality
Let $\mu(dx) := m(x) dx$ be an absolutely continuous ...

**0**

votes

**1**answer

180 views

### Is this Holder-type inequality true $\;(\int fg )\,(\int f^2 + g^2)\leq \int f^2g+fg^2\;$? [closed]

Suppose $f$ and $g$ are non-negative functions such that $\int f(x)dx = \int g(x)dx=1$. Is it true that
$$\Big(\int fg \Big)\,\Big(\int f^2 + g^2\Big)\leq \int f^2g+fg^2\quad?$$

**7**

votes

**3**answers

274 views

### Rosenthal like inequality for weak $\mathbb L^p$-norms

Let $p$ be a real number greater than $1$. It is well known (see Hall and Heyde's Martingale limit theory and its applications, Theorem 2.10) that there exists a constant $C_p$ such that if ...

**0**

votes

**1**answer

128 views

### A Poincaré-type inequality with logarithmic function

For any function $f(x)$ we denote $\bar{f}:=\frac{1}{\Omega}\int_\Omega f(x)\,dx$.
Let $\Omega\subset \mathbb{R}^n$ be a bounded smooth domain and $u(x)> 0$ be a smooth function defined on ...

**3**

votes

**0**answers

88 views

### Comparison of Hardy's inequality and Sobolev's inequality

Both, Hardy's inequality and Sobolev's inequality, are estimates that compare the Laplacian of a function and to the function itself, admittedly in a slightly different fashion.
Still they seem to be ...

**2**

votes

**0**answers

145 views

### An inequality for Lp-functions

I am interested in the following inequality:
\begin{equation}
\int\limits_\Omega \left\vert f_1 - f_2 \right\vert^p ~ d\mu \le C_p \left[ \int\limits_\Omega \left\vert f_1 \right\vert^p ~ d\mu + ...

**2**

votes

**1**answer

133 views

### AM-GM interpolation in the limit

Given a sequence of positive numbers $X = (x_1, x_2, \dots)$, define the $k$th elementary symmetric mean of the first $n$ entries to be
$$ S(X, n, k) := \frac{\displaystyle\sum_{1 \leq i_1 < ...

**12**

votes

**0**answers

318 views

### Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...

**0**

votes

**1**answer

235 views

### An interpolation inequality.

For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...

**2**

votes

**1**answer

229 views

### on an inequality of Brezis-Lieb

In their 1983 JFA paper Brezis and Lieb have shown, among many other things, a PoincarĂ©-type inequality: in the case of a harmonic function $f$ on a bounded domain $\Omega$, their inequality ((3.14) ...

**3**

votes

**2**answers

113 views

### a monotone relation for s-numbers

Assume $A, B$ are self-ajoint compact operators. Is it true that $\|A+iB\|\le \|2A+iB\|$? Do we have a stronger inequality $\prod_{k=1}^ns_k(A+iB)\le \prod_{k=1}^ns_k(2A+iB)$ or even stronger one ...

**3**

votes

**1**answer

186 views

### A Wirtinger-like inequality involving two functions

Let $f(t)$ and $g(t)$ be periodic functions on $t\in[0,2\pi]$. By using the Fourier series of the two functions, we can easily prove the inequality
$$\left|\int_0^{2\pi}f(t)g'(t)dt\right|=
...

**6**

votes

**2**answers

638 views

### (sharp)Garding's inequality and inequality with lower bounds

The origin of Garding's inequality was an effort to solve Dirichlet's problem for linear elliptic operators of high even order.Let $$P(x,D)= \sum a_{\alpha}(x)D^{\alpha}$$ with principal part ...

**1**

vote

**0**answers

115 views

### Boundedness of Integral

Suppose we operate on the unit simplex $\Delta \subset \mathbb{R}^d$ with $0$ as a corner point.
Define the integral
$$
Iu(x):=\int_0^1 t^{|\beta|-1}x^\beta u(tx)\mathrm{d}t,\quad x\in \Delta
$$
and ...

**1**

vote

**0**answers

94 views

### Inequality involving BV norm and a regularizing kernel

In the same article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/# (related to this ...

**2**

votes

**1**answer

482 views

### A singular value inequality

Let $s_1,s_2: \mathbb{R}^{2\times 2} \mapsto \mathbb{R}_+$,
$s_{1}\left(\cdot\right)\ge s_{2}\left(\cdot\right)\ge 0$, be the
singular values of a $2\times2$ matrix. Is it true that
...

**7**

votes

**2**answers

762 views

### Generalization of the positive semidefinite Grothendieck inequality

In a recent paper, S. Khot and A. Naor show a natural generalization of the positive semidefinite Grothendieck's inequality. Grothendieck showed that there exists a constant $K > 0$ such that for ...

**61**

votes

**15**answers

5k views

### Why do we care about L^p spaces besides p = 1, p = 2, and p = infinity?

I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...