The inequalities tag has no usage guidance.

**0**

votes

**0**answers

29 views

### Brunn-Minkowski Inequality : A Partucular Example of a 2 dimensional set

I had this question on Mathematics StackExchange unanswered for a month or so. Hence, it came here which it seems is a more natural place.
I have an inequality - $(R_{C+D})^{2} \geqslant (R_{C})^{2} ...

**3**

votes

**1**answer

257 views

### inequality with exponents

We are given a graph $G$, each vertex $v$ has an assigned value $\gamma_v\in [0,1]$, and it happens that for every $v$ we have $\gamma_v+\sum_{u\in \delta(v)} \gamma_u = 1$. Assume that $\sum_v ...

**1**

vote

**2**answers

206 views

### Looking for (information about) long diamonds

I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...

**7**

votes

**0**answers

61 views

### Which ordering of factors is needed to obtain this kind of determinantal inequalities?

Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices. The curious determinantal inequality given here, which can be stated as $$\det (A^{4}+ ABBA+BAAB+B^{4})\ge\det(A^{4}+ ...

**0**

votes

**0**answers

33 views

### variant of gronwall inequality (squared) [closed]

does anyone knows if there is an gronwall inequality for
$\varphi^\prime (t) \leq a \varphi(t)^2$? Where $a$ is a positive constant.
My idea is something like $\varphi(t) \leq e^{a^2} \varphi(0)$.

**1**

vote

**2**answers

271 views

### Mapping multivariate polynomial inequalities system to subspace

What I will ask, more than a solution, is better mathematical definition of my problem and directions to find the solution.
I have a set of linear equations, e.g.:
\begin{align}
d_1 &= L_1 - ...

**9**

votes

**2**answers

620 views

### Is this ergodic inequality true?

Is anything similar to the following inequality true,
$\displaystyle P\{\max_{n \leq k \leq m} |A_k f - A_n f| > \epsilon\} \leq C \frac{||A_m f - A_n f||_1}{\epsilon}$
where $A_n f = ...

**12**

votes

**1**answer

333 views

### Hlawka inequality for determinants of positive definite matrices

It is mentioned here that if $A, B, C\in M_{n}(\mathbb C)$ are positive semidefinite, then $$\det (A+B+C)+\det C\ge \det (A+C)+\det (B+C)$$ (quoted from this article) and the special case ($C=\bf 0$) ...

**2**

votes

**3**answers

358 views

### Hard inequality and number theory [closed]

Let $m,n \in \mathbb{N}$ and $m \geq n \geq 2$ and $x_1,x_2,...x_n \in \mathbb{N}_{\geq 1}$ such as $x_1+x_2+...+x_n=m$.
Find $\min P$ with $P= \sum_{i=1}^{n} x_i^2.$

**6**

votes

**1**answer

136 views

### Exchange determinant and integral of a matrix-valued function

Assume $A(x)=(a_{ij}(x))_{k\times k}$ is a Hermitian matrix function on some manifold $M$, is there any inequality relates the integral of its determinant $\int_M det(A)$ and the determinant of its ...

**0**

votes

**1**answer

115 views

### For a set of positive integers, is this inequality always true?

The input consists of a set of positive integers $\{b_1,...,b_2\}$ such that $$\sum_{i=1}^nb_i=CK,$$ with $C$ and $K$ two positive integers.
The question is the following, is there $k\in\{1,...,n\}$ ...

**2**

votes

**1**answer

59 views

### Proof of Binet-Cauchy identity through the polarization transformation [closed]

This questions is motivated by exercise 3.7 in Steele's "The Cauchy-Schwarz Master Class." This is not a homework (I am trying to learn some math by myself) and I have already posted the question on ...

**3**

votes

**1**answer

657 views

### Number of solutions in a sum of squares Diophantine equation

Let $n$ be an integer. I'm interested in upper bounding the number of integer solutions of
\begin{equation*}
x_1^2+x_2^2+\ldots+x_p^2=y_1^2+y_2^2+\ldots+y_p^2,
\end{equation*}
where for all ...

**2**

votes

**0**answers

87 views

### Intuitive (?) inequality extremal inequality

Consider $N$ pairs of random variables $(X_i, Y_i)$. $X_i$ are iid, with $EX_i=0$ and $EX_i^2=1$. The same conditions hold for $Y_i$. Moreover all $X_i$ are independent of all $Y_j$. It seems very ...

**0**

votes

**0**answers

81 views

### Integral inequality with Hardy's inequality

Let $f\in C_{0}^{\infty}((-1,1))$. Prove that for any $t\in (-1,1)$ we have
$$(f(t))^4\le ...

**0**

votes

**0**answers

25 views

### Looking to derive bound for modulus of harmonic eigenfunction on weighted graph

We have a homogeneous graph $G = (V,E)$ with a function $f:V\rightarrow \mathbb{R}$. We define the following modulus:
$\displaystyle \omega(s) = \sup\{f(x)-f(y) \ | \ |x-y|=s \}$
and wish to lower ...

**2**

votes

**1**answer

468 views

### concentration inequality for averages of dependent random variables

Let $X \in R^n$ be a random vector such that
$$P(|X_i| > \epsilon) > e^{-\epsilon^2}$$
What is a tight bound on
$$P(\sum_{i=1}^n |X_i| > \epsilon)$$
and on
$$P(\max_{1\le i\le n} |X_i| ...

**-4**

votes

**1**answer

527 views

### How i show this beautiful inequality :$\frac{x^n}{x^m+y^m}+\frac{y^n}{y^m+z^m}+\frac{z^n}{z^m+x^m}\geq \frac{3} {2}(\frac{1}{\sqrt{3}})^{n-m}$? [closed]

This question accross to this question from SE which there some answers but they r n't
enough to me hop to see MO what can they say about it .
let $m,n$ be integers, show that if $ n>m\geq 0 $ :
...

**0**

votes

**0**answers

138 views

### Asymptotics to Taylor expansions?

I posted a question on MSE about approximating Taylor series but Despite a bounty I did not receive any answers or comments.
Maybe you guys can help.
...

**2**

votes

**1**answer

62 views

### interpret of Picone inequality for non-regular functions

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set.
There is a well-known picone identity that says
Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...

**2**

votes

**1**answer

94 views

### maximal inequalities for dependent random variables

I want to know literature about maximal inequalities for dependent random variables i.e. upper bound for $P(\max_{n\ge k\ge 1}\sum_{i=1}^{k}X_i > \delta)$ where $X_i$ are dependent random ...

**0**

votes

**1**answer

78 views

### Constrained optimal control problem

I am trying to solve an optimization problem which is probably reminiscent of optimal control theory but all of this is not exactly my field of expertize and I am a little bit lost in translation. If ...

**3**

votes

**0**answers

146 views

### Dynamics of an inequality

The dynamics $D\ni(r_i,r_{i+1})\mapsto(r_{i+1},r_{i+2})\in D$ on the set $D:=\{(x,y)\in\mathbb{R}^2\colon x>0,y>x^2/2\}$ is given by the recurrence
$$r_{i+2}=\frac{r_{i+1}^2}2+\frac1{r_{i+1}^3}
...

**7**

votes

**7**answers

882 views

### Almost-converses to the AM-GM inequality

Let us consider the Arithmetic Mean -- Geometric Mean inequality for nonnegative real numbers:
$$ GM := (a_1 a_2 \ldots a_n)^{1/n} \le \frac{1}{n} \left( a_1 + a_2 + \ldots + a_n \right) =: AM. $$
...

**21**

votes

**3**answers

1k views

### Curious inequality

Set
$$
g(x)=\sum_{k=0}^{\infty}\frac{1}{x^{2k+1}+1} \quad \text{for} \quad x>1.
$$
Is it true that
$$
\frac{x^{2}+1}{x(x^{2}-1)}+\frac{g'(x)}{g(x)}>0 \quad \text{for}\quad x>1?
$$
The ...

**8**

votes

**2**answers

549 views

### Inequality for a gamma function

Let $s=\sigma+it$ and $\Gamma(s)$ be the Euler gamma function.
Does the inequality hold?
$$
\left|\frac{\Gamma(s)}{\Gamma(2-s)}\right|\leq |s|^{2(\sigma-1)},\, 1<\sigma<2,\, t\in \mathbb{R}.
...

**4**

votes

**3**answers

410 views

### Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb ...

**3**

votes

**1**answer

141 views

### Gagliardo Nirenberg inequality for the laplacian

It is a classical result due to Gagliardo and Nirenberg that there exists a constant C such that it holds
$$
||\nabla \psi|| _{L ^\infty (\mathbb{R}^2)} ^2
\le ||D ^2 \psi|| _{L ^\infty ...

**0**

votes

**1**answer

171 views

### Matrix equation

Let $A$ be $k\times n$ matrix i.e., $A=(a_{1},\ldots, a_{n})$ where $a_{j} \in \mathbb{R}^{k}$, $rank(A)=k$ and $1\leq k \leq n$. Let $q=(q_{1},\ldots, q_{n})\in\mathbb{R}^{n}$ be such that ...

**2**

votes

**0**answers

130 views

### $\frac{1}{2}<\sigma<1$, is $f(n) = \Bigl| \,1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|$ from $O(\log n)$?

We have $\frac{1}{2} < \sigma < 1$ and
$$
f(n) = \Bigl|\, 1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|
$$
. My goal is proving this statement that $|f(n)|$ is ...

**36**

votes

**4**answers

2k views

### The sum of squared logarithms conjecture

I am searching for the first proof of (or counterexample to) the following conjecture.
(The sum of squared logarithms conjecture)
For all natural numbers $n$ and positive numbers $x_1,x_2, \ldots , ...

**4**

votes

**1**answer

195 views

### Dependence of the constant in Korn's inequality on the domain

Let $\Omega \subset \mathbb{R}^N$ be an open, connected set with Lipschitz boundary, $N \geqslant 2$ and
$$ \mathcal{E} ( v) := \int_{\Omega} \sum_{i, j} \varepsilon_{i
j} ( v) \varepsilon_{i j} ...

**0**

votes

**1**answer

85 views

### Forbidden Tripartite Graphs

I was looking at extremal graph theory. I have understood the proofs of upper bounds for the Zarankiewicz problem which basically states: What can you say about the edges of a graph with $n$ vertices ...

**24**

votes

**2**answers

2k views

### How often are irrational numbers well-approximated by rationals?

Suppose $x\in \mathbb{R}$ is irrational, with irrationality measure $\mu=\mu(x)$; this means that the inequality $|x-\frac{p}{q}|< q^{-\lambda}$ has infinitely many solutions in integers $p,q$ if ...

**4**

votes

**0**answers

345 views

### Elementary treatment of elementary functions in constructive math

I would appreciate a reference to constructive math literature with elementary proofs that elementary functions are locally non-constant (i. e. densely apart from any real in any interval with ...

**1**

vote

**0**answers

96 views

### Norm inequalities between difference operators

Assume $(v_i)$ to be a sequence in $\ell_\infty(\mathbb{R})$ for $i=1,\dotsc,N$. Define the difference operator as $\Delta v_i:=v_{i+1}-v_i$ and $\Delta^n v_i:=\Delta(\Delta^{n-1} v_i)$. Then, how can ...

**2**

votes

**0**answers

101 views

### Vector inequation problem [closed]

$${A_i} = \left( {\begin{array}{*{20}{c}}{{A_{i1}}}\\{{A_{i2}}}\\ \vdots \\{{A_{in}}}\end{array}} \right),{B_i} = \left( {\begin{array}{*{20}{c}}{{B_{i1}}}\\{{B_{i2}}}\\ \vdots ...

**4**

votes

**0**answers

95 views

### Dimension reduction for low-order moments of Rademacher-weighted sums of vectors

Let $x_1,\dots,x_n$ be vectors in a Euclidean space $H$. Let $\varepsilon_1,\dots,\varepsilon_n$ be independent Rademacher random variables (r.v.'s), so that $P(\varepsilon_i=\pm1)=1/2$ for all $i$.
...

**1**

vote

**1**answer

66 views

### A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.)
Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ...

**2**

votes

**2**answers

239 views

### Entropy inequality

Let $P,Q$ be probabilities on a finite set $A$ with $Q(a)\gt 0$, for all $a\in A$, and let $H(P)$, $H(Q)$ denote their entropies and $D(P\,\|\,Q)$ denote their Kullback-Leibler distance.
Is it always ...

**4**

votes

**0**answers

121 views

### Inequality about moments of a random variable and of its conditional expectation

This is a follow-up to a question I asked earlier: Moments of a random variable and of its conditional expectation
My claim turned out to be false. Here is a new claim.
Let $X$ be a bounded random ...

**2**

votes

**1**answer

135 views

### Finding matrices $A$ such that the entries of $A^n$ have specified signs

What techniques are there for ensuring nonnegativity of various entries of matrix powers?
Specific Question: Consider a matrix $A\in SL_2(\mathbb R)$. Let $(A^n)_{i,j}$ denote the $(i,j)$ entry of ...

**7**

votes

**1**answer

175 views

### Moments of a random variable and of its conditional expectation

Let $X$ be a bounded random variable with $\mathbb{E}X=0$. Since $X$ is bounded, all its moments exist. Let $\mathcal{G}$ be any $\sigma$-field and let $Y:=\mathbb{E}[X|\mathcal{G}].$ I am interested ...

**0**

votes

**0**answers

38 views

### Column Inner Products vs. Row Inner Products

Given two matrices $A,B\in\mathbb{R}^{n\times r}$ where $A$ has orthogonal columns and $A^TB$ is symmetric, are there any non-trivial interesting relationships / inequalities between the following ...

**1**

vote

**2**answers

162 views

### Lower bound for $ \sum_{i=1}^n x_i f(x_i)$ when $\sum_{i=1}^{n}x_i = K$

Considering,
the set of all n dim. vectors $\{x_i\}_{i=1,...,n} $ such that $x_i \geq 0 $ and $\sum_{i=1}^{n}x_i = K$
Any continuous and strictly increasing function $f^+(x)$ : $ \mathbb R^+ \to ...

**30**

votes

**3**answers

2k views

### A curious determinantal inequality

In my study, I come across the following curious inequality, which I do not know a proof yet (so I am asking it here).
Let $A, B$ be $n\times n$ (Hermitian) positive definite matrices. It is very ...

**29**

votes

**4**answers

8k views

### Is the Jaccard distance a distance?

Wikipedia defines the Jaccard distance between sets A and B as $$J_\delta(A,B)=1-\frac{|A\cap B|}{|A\cup B|}.$$ There's also a book claiming that this is a metric. However, I couldn't find any ...

**4**

votes

**0**answers

133 views

### Do more generalizations of Schur's inequality exist?

I meet this following problem
If $$n\ge 3,\sum_{i=1}^{n}\left(\prod_{j\neq i}(a_{i}-a_{j})\right)\ge 0$$
where $a_{i}$ are real numbers.
when $n=3$, it is Schur's inequality
so which $n$ ...

**10**

votes

**0**answers

141 views

### When is alternating sum $\sum_{i}f(a_i)-\sum_{i<j}f(a_i+a_j)+\ldots+(-1)^{n-1}f(a_1+\ldots+a_n)$ always positive?

Let $a_1,a_2,\ldots,a_n\geq 1$, and let $f:\mathbb{R}^+\rightarrow\mathbb{R}^+$. Consider the sum
...

**1**

vote

**1**answer

53 views

### An inequality with critical Sobolev exponent

Let $\Omega\subset \mathbb{R}^n, n\geq 3$ be a nice bounded domain and $2^*=2n/(n-2)$ the critical Sobolev exponent. One may expect that $\forall \epsilon>0$, $\exists C_\epsilon<\infty$ such ...