Questions tagged [inequalities]
for questions involving inequalities, upper and lower bounds.
1,700
questions
1
vote
2
answers
194
views
Huygens' trigonometric inequality
Prove that $$1-(4/3(\sin^3 \theta/2))/(\theta-\sin\theta)<(1-\cos\theta/2)(3/5-(3/1400)\pi^2/n^2)$$ holds for $0\le\theta\le\pi/2.$ Here $n$ is an integer greater than or equal to two.
This an ...
0
votes
0
answers
40
views
A question on a quantitative form of Farkas' lemma
Suppose A is an $m \times n$ matrix whose entries are non-negative integers and $\mathbf{b}$ is a vector with rational entries. A version of Farkas lemma implies that if the equation $$A\mathbf{x}=\...
2
votes
0
answers
46
views
A generalization of Barrow's inequality
More than seven years ago. I posted this problem in stackexchange:
Let $ABC$ be a triangle, $P$ be arbitrary point inside of $ABC$. Let $A_1B_1C_1$ be the tangential traingle of $ABC$. Let $A'$, $B'$,...
3
votes
1
answer
186
views
Bounds on relative entropy for MLE in Bernoulli coin tosses
In the context of estimating the parameter $p$ from a dataset of $n$ i.i.d Bernoulli coin tosses, we often use the relative entropy $D(p \parallel \hat{p})$ to measure the performance of an estimator $...
1
vote
0
answers
30
views
Moments on the Stiefel manifold
Let $S_{n, k} = \{V \in \mathbb{R}^{n \times k} : V^T V = I_k\}$ denote the Stiefel manifold, $1 \leq k \leq n$.
Let $P \in \mathbb{R}^{n \times n}$ denote a symmetric real, positive definite matrix, ...
0
votes
0
answers
26
views
The reciprocal of the normalized tail of the Maclaurin power series expansion of the hyperbolic sinc function is a convex function
The classical Bernoulli numbers $B_j$ are generated by
\begin{equation}\label{Bernoulli-No-Generating}
\frac{x}{\operatorname{e}^x-1}=\sum_{j=0}^\infty B_j\frac{x^j}{j!}=1-\frac{x}2+\sum_{j=1}^\infty ...
3
votes
1
answer
60
views
Multiplicative approximation for a negative moment of the binomial distribution
Let $X$ be a binomial random variable with parameters $n,p$.
Define the function
$f(n, p, t) = E\frac{1}{1 + t X},
$
where $t > 0$.
Question: Can we find an elementary function $F(n, p, t)$ such ...
5
votes
1
answer
274
views
Lower bound for the rank of the sum of $n$ matrices
I found a mathematical note by George Marsaglia entitiled "Bounds for the rank of the sum of two matrices", where he proves the following result.
Let $A_1$ and $A_2$ be two complex matrices ...
1
vote
0
answers
53
views
inequality involving factorials
Let $p>1$ be a positive integer and let $a_0,a_1$ be non-negative integers with $0\le a_0\le p-1$ and $1\le p\le a_1$. Show that
$$\prod_{b=1}^{a_1}\left(\frac{(a_0+bp)!}{a_0!b!}\right)^{{a_1\...
6
votes
1
answer
158
views
+50
Determinantal inequality for difference of substochastic matrices
Let $A=(A_{ij})_{1\le i,j\le n}$ be a square matrix with nonnegative real entries. Recall that $A$ is called a substochastic matrix if
$$
\forall i,\ \ \sum_j A_{ij}\le 1\ .
$$
In the course of my ...
1
vote
1
answer
142
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
2
votes
1
answer
96
views
Sharp approximation to expectation of a ratio of a Gaussian vector
Let $g =(g_1, ..., g_n)$ denote a sequence of standard Gaussian variables. Let $p = (p_1, ..., p_n)$ denote a vector in the simplex $\mathcal{P}_n$, given by
$$
\mathcal{P}_n = \{p \in \mathbb{R}^n : ...
1
vote
0
answers
90
views
Poincaré-Wirtinger inequality for more general "means"
Let $\Omega$ be a ball of radius $r$. It is well known that given a function $f \in W^{1,p} (\Omega)$, it holds the Poincaré-Wirtinger inequality
$$ \left(\int_\Omega |f - f_\Omega|^p dx \right)^{1/p} ...
1
vote
1
answer
91
views
Bound measure of difference of advected sets by norm of difference of vector fields
Consider two smooth vector fields $v$ and $u$ in $\mathbb{R}^n$, and a smooth set $\Omega$. Consider the flow of $\Omega$ via $v$ and $u$ for a time $T$, namely let
$$ \Omega_v =\{x(T, x_0) | x \text{ ...
2
votes
1
answer
190
views
Hypergeometric function ratio inequality
Related to a recent question (Concavity of hypergeometric function ratio), I actually only need the following inequality:
$$
\frac{{}_2\mathrm{F}_1\big(\frac{1}{2},\frac{1}{2};c+1\,;x\big)}{{}_2\...