The inequalities tag has no usage guidance.

**3**

votes

**1**answer

49 views

### An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following:
Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...

**3**

votes

**1**answer

148 views

### A generalization of Erdős–Mordell inequality

I proposed my conjecture generalization of Erdős–Mordell inequality as following:
Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...

**1**

vote

**0**answers

34 views

### Concentration of functional of Gaussian random variable

Suppose I have two Gaussian distributions
$p(x) = \frac{1}{(2\pi)^{d/2}|\Sigma_p|^{1/2}}\exp(-\frac{1}{2}x^\top \Sigma_p^{-1} x)$ and $q(x) = \frac{1}{(2\pi)^{d/2}|\Sigma_q|^{1/2}}\exp(-\frac{1}{2}x^\...

**4**

votes

**1**answer

64 views

### uniform one-sided van der Corput inequality

Is the following true (and if yes, where the best proof is written?)?
For any $c>0$ for large enough positive integers $N$ we have $\sum_{k=0}^{N-1} \cos(k^2t)\geqslant -cN$ for all real $t$?
Hm,...

**2**

votes

**1**answer

53 views

### How to compute bounding coefficients for McDiarmid's inequality?

I am trying to understand the proof in Sec. A2 of Gretton et al.. To make the question self-contained, I summarize below the key ingredients. At the end of the post, I state my question.
Given a ...

**0**

votes

**0**answers

21 views

### Interpolation inequality for fractional Sobolev spaces

In Theorem 5.2 of the book
Robert A. Adams and John J. F. Fournier, MR 2424078 Sobolev spaces, ISBN: 0-12-044143-8.
is stated that, for any integers $0 \leq j \leq m$ and $u \in W^{m,p}(\Omega)$ (...

**1**

vote

**1**answer

111 views

### Global Poincaré type estimate

For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...

**3**

votes

**1**answer

86 views

### maybe this conjecture also hold to this complex inequality

I have solve this following
Question: Complex numbers ${x_i},{y_i}$ satisfy $\left| {{x_i}} \right| = \left| {{y_i}} \right| = 1$ for $i=1,2,\ldots ,n$. Let $x=\frac{1}{n}\sum\limits_{i=1}^n{{...

**0**

votes

**0**answers

52 views

### deriving concave upper bounds of a domain constrained nonconvex function over a simplex

Consider a nonconvex function $h(X)=f(X^\dagger AX)$, where $X\in C^{r \times n}$, $A$ is a positive semidefinite matrix, and $f$ satisfies the following two properties:
\begin{align}
&f(W): H_{+}^...

**1**

vote

**1**answer

99 views

### An inequality for real numbers [closed]

I need to prove the following inequality.
For every $a,b,x,y \in [0,1]$, it holds that:
$abx + (1-a)(1-b)y \leq \left( a^2b^2x^4 + (1-a)^2(1-b)^2y^4 \right)^{1/4}$
I don't know if this is correct ...

**6**

votes

**4**answers

410 views

### Find the best constant to this bounded inequality

Let $n$ be postive integer number, and $x_{i}\ge 0$, such
$$x_{i}x_{j}\le 4^{-|i-j|},1\le i,j\le n$$
then I have prove
$$x_{1}+x_{2}+\cdots+x_{n}<\dfrac{5}{3}$$
Edit Add Proof:since $x^2_{i}\le 1,...

**2**

votes

**1**answer

83 views

### Differential equation with inequality constraints

Does there exist a $\gamma > 0$ and functions $g$ and $f$ s.t. we have the following for all $x \in [0, 1]$:
$$
g(x) \in [0, 1] \\
f(x) \in [0, x] \\
x \frac{d}{dx}g(x) - \frac{d}{dx}(g(x)f(x)) = 0 ...

**23**

votes

**1**answer

512 views

### Inequality for hook numbers in Young diagrams

Consider a Young diagram $\lambda = (\lambda_1,\ldots,\lambda_\ell)$. For a square $(i,j) \in \lambda$, define hook numbers $h_{ij} = \lambda_i + \lambda_j' -i - j +1$ and complementary hook numbers $...

**2**

votes

**1**answer

104 views

### estimation of a vector-function

Let $x(t)\in C^1(\mathbb{R}_+,\mathbb{R}^m)$ be a vector-function such that
1) $\|x(t)\|+\|\dot x(t)\|\to 0$ as $t\to\infty$ and
2) for some real $c_1>0$ and all $t>0$ one has $\|x(t)\|\le c_1\...

**4**

votes

**2**answers

237 views

### Negative probabilities - what are two ordinary pgfs that correspond to the gf of a half-coin?

In Half of a Coin: Negative Probabilities, author considers pgf of a fair coin represented by random variable, $X = 1_H$:
$$G_X(z) = E[z^X] = \sum_{x=0,1} z^xP(X=x) = (z^0)(1/2) + (z^1)(1/2) = \frac{...

**6**

votes

**1**answer

118 views

### L1 analog of Bernstein's inequality

Let $p(x)$ be a degree $n$ polynomial over $[-1, 1]$, and let $q(x) = p'(x) \sqrt{1-x^2}$. Is it true that
$$
\|q\|_1 \leq O(n) \|p\|_1
$$
where we define $\|f\|_p := \left(\int_{-1}^1 |f(x)|^pdx\...

**2**

votes

**0**answers

70 views

### If $N = q^k n^2$ is an odd perfect number, if $n < q^{k+1}$, does it follow that $k > 1$?

Let $N = q^k n^2$ be an odd perfect number with Euler prime $q$. According to Dickson (as pointed out recently by Beasley), Descartes conjectured $k=1$ in a letter to Mersenne in 1638, with Frenicle'...

**2**

votes

**1**answer

73 views

### Symmetry of concentration bounds on mean

Question summary:
If I have a two-sided bound, can I immediately get a one-sided bound with tighter constants?
Question details:
Let $\mathbf X = X_1,...,X_n$ be $n$ i.i.d. real-valued random ...

**2**

votes

**0**answers

107 views

### On the conjectured nonexistence of even almost perfect numbers (other than powers of two) and odd perfect numbers [closed]

(Note: This question has been cross-posted to MSE.)
Let $\sigma(a) = \sigma_{1}(a)$ be the sum of the divisors of the positive integer $a$.
A number $M$ is called almost perfect if $\sigma(M) = 2M -...

**7**

votes

**2**answers

234 views

### Why $M_1 \subset M_2 \not \Rightarrow N_{M_1} (\lambda) \leq N_{M_2} (\lambda)$ for eigenvalue problem? (EDIT)

We know that for a direct problem with Dirichlet Boundary Condition (with Laplacian operator) that if two domains $M_1$ and $M_2$ are such that $M_1 \subset M_2$, then $\lambda(M_2) \leq \lambda(M_1)$,...

**3**

votes

**1**answer

117 views

### Analytic Combinatorics: upper bound for sum of absolute values of two complex functions: $|z f'(z)| + |2 f(z) - zf'(z)| \leq 2f(|z|)$

Let $f \colon \mathbb C \to \mathbb C$ be a complex-valued analytic function with non-negative coefficients of Taylor series at 0 (suppose that radius of convergence is $+\infty$ for simplicity):
$$
...

**4**

votes

**2**answers

176 views

### A Stochastic Taylor Expansion/Asymptotics

Question:
Let $B(t)$ be the standard Brownian motion, $\mu(t,x)$ and $\sigma(t,x)$ are continuous functions, and
$$dr(t) = \mu(t,r(t))dt+\sigma(t,r(t))dB(t).$$
$(\mu,\sigma)$ obeys the linear growth ...

**12**

votes

**0**answers

306 views

### Inequalities for marginals of distribution on hyperplane

Let $H = \{ (a,b,c) \in \mathbb{Z}_{\geq 0}^3 : a+b+c=n \}$. If we have a probability distribution on $H$, we can take its marginals onto the $a$, $b$ and $c$ variables and obtain three probability ...

**-1**

votes

**1**answer

144 views

### Prove this conjecture inequality 2 [closed]

Let $n$ be postive integer,I conjecture
$$(1+2n)^n\ge 1^n+2^n+4^n+6^n+\cdots+(2n)^n \tag{1}$$
This problem when I solve this equation
$$(1+2n)^n=1^n+2^n+4^n+6^n+\cdots+(2n)^n\tag{2}$$
if this $(1)$...

**1**

vote

**0**answers

37 views

### Differential inequalities for a strictly diagonal dominant system of linear ODEs

Let $A$ be a real $d\times d$ matrix. The diagonal elements are strictly negative ($a_{ii}<0$) and the off-diagonal elements are non-negative ($a_{ij}\geq 0$ for $i\neq j$). $A$ is strictly column ...

**0**

votes

**1**answer

69 views

### Matrix norm inequality for C*-Algebras [closed]

Let A a $C^*$-Algebra. I have already shown that the maps $Tr, \sigma: M_n(A)\rightarrow A$ given by $Tr((a_{ij})):=\sum_{i}a_{ii}$ and $\sigma\left(\left(a_{ij}\right)\right)=\sum_{i\text{, }j}a_{ij}$...

**14**

votes

**3**answers

656 views

### An inequality concerning Lagrange's identity

we know Lagrange's identity
$$(a^2_{1}+a^2_{2}+a^2_{3})(b^2_{1}+b^2_{2}+b^2_{3})=(a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3})^2+\sum_{i=1}^{2}\sum_{j=i+1}^{3}(a_{i}b_{j}-a_{j}b_{i})^2$$
then we have Cauchy-...

**4**

votes

**1**answer

89 views

### Does the Nash inequality hold on manifolds with Lipschitz boundary?

Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...

**7**

votes

**1**answer

204 views

### Is this simple-looking moment inequality true?

Let $p \ge 1$ be an integer. Does there exist a constant $C_p$ such that for every random variable $X \ge 0$,
$$
\mathbb{E} \left[ \left(X - \mathbb{E} \left[ X \right] \right)^{2p} \right] \le C_p \...

**4**

votes

**1**answer

218 views

### Prove this conjecture inequality

This following problem is from my Conjecture many years ago,
Question :
Let $a,b>0,n\in N^{+},n\ge 3$,such
$$a^n+b^n+(2n+2)(ab)^n\le 2n$$
Conjecture: then $a+b\le 2$
or
$a+b>2.a>0.b>0,...

**0**

votes

**2**answers

221 views

### Absolute value inequality with complex numbers

Following a problem I found on mathstack, with no solution, and no comment, so I think this inequality is not easy, so I post it here (because I think there are more some good math job, maybe someone ...

**2**

votes

**1**answer

261 views

### upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here.
You can skip examples below and read from "General setting" at ...

**1**

vote

**0**answers

65 views

### Lower bound the ratio of the combinatorial quantities

Suppose $p < q$, $s = p^{d}$ for some fixed $d \in (0,1)$, let $p$ goes to infinity, define the following quantity,
\begin{aligned}
\quad f(j) = \sum_{i = 0}^{\min(j,s)}{s \choose i}{p-s \choose i}{...

**2**

votes

**1**answer

81 views

### Bounding entries of the inverse of certain zero-one matrices

It is known that the entries of the inverse of an (invertible) $n \times n$ zero-one matrix $A$ can grow exponentially in $n$. See this MO question:
Bounding the absolute sum of entries of the ...

**2**

votes

**1**answer

88 views

### A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...

**2**

votes

**3**answers

241 views

### Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$.
Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$
$$f(a;b):=\prod\limits_{k=1}^\infty ...

**1**

vote

**1**answer

63 views

### Inequality implies locally uniform convergence of a series

We have the inequality
$$\alpha_n(t) \le 4\pi(3\pi)^{1/3} \exp\left\{\int_0^t(1+3F_P(\sigma)) \, d\sigma \right\} \cdot \int_0^t P(\sigma)^2(3CD_1^2)^{1/3}\alpha_{n-1}(\sigma) \, d\sigma$$
for $n=2,3,\...

**5**

votes

**1**answer

216 views

### Estimate of incomplete binomial integral

Let $0\le k \le n$. Prove that
$$
n\binom{n}{k}\int_{0}^{\frac{k}{n+1}}t^k(1-t)^{n-k}\,dt \le 1/2.
$$
As far as I know
1) it is proved for $\frac{k}{n+1}\le 1/2$ and
2) not proved for $1/2 <\frac{...

**4**

votes

**1**answer

261 views

### Time-efficient way of calculating the least number of 1s in a representation of $n$ using only the operations $+,!$

This was inspired by the following paper:
J. Arias de Reyna, J. van de Lune, "How many $1$s are needed?" revisited, arXiv link.
It might help explain my question better, because my question is ...

**8**

votes

**1**answer

270 views

### An inequality on the simplex involving $x^x$

Is anything known about the behavior of the function $$f(x)=\prod_{i=1}^n x_i^{x_i}$$ on the standard simplex, i.e. the set $\{x\in\mathbb{R}^n:\sum_{i=1}^n x_i=1, x_i\geq0\}$? I ask because I have ...

**19**

votes

**1**answer

1k views

### A curious eigenvalue inequality

Suppose $A, B$ are positive definite Hermitian matrices, $U$ is a unitary matrix such that $AUB$ is Hermitian. The spectral radius of a square matrix $X$ is denoted by $\rho(X)$. In my study, I ...

**2**

votes

**1**answer

93 views

### Inverse Hadamard determinant inequality

As far as I remembered there is an inverse Hadamard inequality for the determinant of the form
$$
|D|>\prod_j \sqrt{(a_{jj}^2-\sum_{i\neq j}a_{ij}^2)}
$$
providing all values in $(\cdot)>0$.
...

**3**

votes

**1**answer

113 views

### Sharpened Pinsker inequality for special case

Let $B(p)$ denote the Bernoulli distribution over $\{0,1\}$ and $B(p)^n$ the corresponding product distribution over $\{0,1\}^n$. For $n>1$ and $0<x<1$, define
$$P_n(x):=B(\frac12+\frac x2)^n$...

**-1**

votes

**1**answer

130 views

### Find the values of $n$ that satisfy this inequality involving a product over prime numbers [closed]

Inequality
What values of $n$ satisfy the following inequality?
$$2(n-2) < Ap_n\prod_{i=3}^n \left(\frac{p_i-2}{p_i}\right)$$
$p$ are prime numbers and the notation $p_i$ indicates the $i$th ...

**1**

vote

**1**answer

81 views

### On Wazewski's theorem on system of differential inequalities

According to Springer's Encyclopedia of Math entry on differential inequalities, T. Wazewski proved in 1950 the following theorem:
Consider the system of differential inequalities given by
$$ \...

**4**

votes

**1**answer

245 views

### The values of $n$ which satisfy an inequality about prime numbers

For which values of $n$ does the following inequality hold for?
$$2(n-2) < Ap_n\prod_{i=3}^n \left(\frac{p_i-1}{p_i}\right)$$
$p$ are prime numbers and the notation $p_i$ indicates the $i$-...

**1**

vote

**1**answer

107 views

### Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan.
I have a problem understanding one step ...

**3**

votes

**1**answer

153 views

### How to use Gronwall's inequality? [closed]

I am just trying to understand the role of Grownwall's Lemma to show global wellposedness results, in the paper I have been reading. And So I hope this is OK for MO.
Let $u\in C(\mathbb R, L^{2})$...

**2**

votes

**1**answer

101 views

### Sufficient conditions for weak majorization

Suppose $x_1\ge x_2\ge \cdots \ge x_n\ge 0$ and $y_1\ge y_2\ge\cdots\ge y_n\ge0$ be reals such that for any positive integer $p$,
$$
\sum_{i=1}^n x_i^p \geq \sum_{i=1}^n y_i^p.
$$
Question: Is ...

**1**

vote

**0**answers

60 views

### Finding the infimum of the range of a certain non-negative function associated to a $ C^{*} $-algebra

Let $ A $ be a non-trivial $ C^{*} $-algebra and $ n \in \mathbb{N} $. Setting $ \mathcal{D} \stackrel{\text{df}}{=} A^{n} \setminus \{ (0_{A},\ldots,0_{A}) \} $, we can define a function $ f: \...